Section I.6.4

Polynomials with real coefficients

[14/0%]
Show
LaTeX
Problem I.6.4.1

Let f(X)=a0Xn+a1Xn−1+…+anf(X)=a_{0} X^{n}+a_{1} X^{n-1}+\ldots +a_{n} be a real polynomial of degree nn. Show that the values of the upper bounds for the positive roots of the polynomials f(X),Xnf(1/X),f(−X),Xnf(−1/X)f(X), X^{n} f(1 / X), f(-X), X^{n} f(-1 / X) give lower and upper bounds for both the positive and the negative roots of the polynomial f(X)f(X).

?
Problem I.6.4.2

In the notation of Exercise 1, let a0>0,ma_{0}>0, m be the smallest index for which am<0,Ba_{m}<0, B the maximum among the absolute values of the negative coefficients. Show that

c⩽1+B/a0m c \leqslant 1+\sqrt[m]{B / a_{0}}

for every positive real root of the polynomial f(X)f(X).

?
Problem I.6.4.3

Let PP be a field of characteristic zero, a∈Pa \in P. For any polynomial f∈P[X]f \in P[X] of degree nn, the formula (Taylor's formula) holds

f(X)=f(a)+f′(a)1!(X−a)+f′′(a)2!(X−a)2+…+f(n)(a)n!(X−a)n. f(X)=f(a)+\frac{f^{\prime }(a)}{1 !}(X-a)+\frac{f^{\prime \prime }(a)}{2 !}(X-a)^{2}+\ldots +\frac{f^{(n)}(a)}{n !}(X-a)^{n}.
?
Problem I.6.4.4

Show that if f(a)>0,f′(a)>0,…,f(n)(a)>0f(a)>0, f^{\prime }(a)>0, \ldots , f^{(n)}(a)>0 for a real polynomial f(X)f(X) of degree nn with positive leading coefficient a0a_{0}, then f(c)=0,c>0⟹c<af(c)=0, c>0 \Longrightarrow c<a

?
Problem I.6.4.5

Using Descartes' rule of signs, find the sign of the discriminant of the polynomials X5−X2+1,X3−6X−9X^{5}-X^{2}+1, X^{3}-6 X-9 (see the remark at the end of item 1).

?
Problem I.6.4.6

Can the polynomials X5−X−1,X3+aX+b∈Q[X]X^{5}-X-1, X^{3}+a X+b \in \mathbb {Q}{}[X] have common complex roots? Recall (see Exercise 11 from § 1) that the polynomial X5−X−1X^{5}-X-1 is irreducible over Q\mathbb {Q}.

?
Problem I.6.4.7

Show that the roots of the polynomial f(X)=X5+uX4+vX3+w∈R[X]f(X)=X^{5}+u X^{4}+v X^{3}+w \in \mathbb {R}{}[X] with nonzero constant term w≠0w \neq 0 cannot all be real.

?
Problem I.6.4.8

Any polynomial f(X)f(X) with f(x)⩾0f(x) \geqslant 0 for all x∈Rx \in \mathbb {R} can be represented in the form

f(X)=g(X)2+h(X)2 f(X)=g(X)^{2}+h(X)^{2}

where g,h∈R[X]g, h \in \mathbb {R}{}[X]

?
Problem I.6.4.9

Derive on your own the stability criterion for polynomials of degrees 3 and 4. For n=4n=4, write it as a system of inequalities:

a1>0,a4>0,a1a2>0,a3(a1a2−a3)>a12a4 a_{1}>0, \quad a_{4}>0, \quad a_{1} a_{2}>0, \quad a_{3}\left(a_{1} a_{2}-a_{3}\right)>a_{1}^{2} a_{4}
?
Problem I.6.4.10

Does the polynomial f(X)f(X) standing in the numerator of the irreducible rational fraction

f(X)g(X)=3X+2+1(X−1)2−2X−1+X−3X2+1 \frac{f(X)}{g(X)}=\frac{3}{X+2}+\frac{1}{(X-1)^{2}}-\frac{2}{X-1}+\frac{X-3}{X^{2}+1}

have real roots?

?
Problem I.6.4.11

Show that all three roots of the polynomial f(z)=z3−7z−7f(z)=z^{3}-7 z-7, irreducible over Q\mathbb {Q}, are real and lie in the interval ]−2,4[]-2,4[. Compute the positive root by Newton's method to within the third decimal place.

?
Problem I.6.4.12

Relying on Rouché's theorem (Theorem 4), show that the polynomial f(z)=z5+5z2−3f(z)=z^{5}+5 z^{2}-3 has two roots in the unit disk and three roots in the annulus between the circles ∣z∣=1\left|z\right|=1 and ∣z∣=2\left|z\right|=2.

?
Problem I.6.4.13

How many real roots does the polynomial z4+12z2+5z−9z^{4}+12 z^{2}+5 z-9 have?

?
Problem I.6.4.14

The Legendre polynomials P0(X)=1,P1(X)=X,…,Pn(X),…P_{0}(X)=1, P_{1}(X)=X, \ldots , P_{n}(X), \ldots are defined by the recurrence formula

mPm(X)−(2m−1)XPm−1(X)+(m−1)Pm−2(X)=0 m P_{m}(X)-(2 m-1) X P_{m-1}(X)+(m-1) P_{m-2}(X)=0

Show that:

?
(a)

Pn(1)=1,Pn(−1)=(−1)nP_{n}(1)=1, P_{n}(-1)=(-1)^{n};

(b)

{Pn,Pn−1,…,P0}\left\{ P_{n}, P_{n-1}, \ldots , P_{0}\right\} is a Sturm system for Pn(X)P_{n}(X) on the interval [−1,1][-1,1];

(c)

Pn(X)P_{n}(X) has nn distinct roots in the interval ]−1,1[]-1,1[.