Section 3

First Proof of Descartes' Rule of Signs

[14/100%]
Show
LaTeX
Problem 5.28

The polynomials P(x)P(x) and P(αx)P(\alpha x) have the same number of changes of sign if α\alpha is positive.

?
Remark.
?

By the changes of sign and the indices of change of the polynomial a0+a1x+a2x2+⋯+anxna_0+a_1x+a_2x^2+\cdots +a_nx^n or the power series a0+a1x+a2x2+a3x3+⋯a_0+a_1x+a_2x^2+a_3x^3+\cdots we mean the changes of sign and indices of change of the finite or the infinite sequence of coefficients a0,a1,a2,…,ana_0, a_1, a_2, \ldots , a_n or a0,a1,a2,a3,…a_0, a_1, a_2, a_3, \ldots respectively.

Problem 5.29

Denote the number of changes of sign of the polynomials

P(x)=a0+a1x+a2x2+⋯+anxn,P(−x)=a0−a1x+a2x2−⋯+(−1)nanxn \begin{aligned} P(x) & = a_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n, \\ P(-x) & = a_0 - a_1 x + a_2 x^2 - \cdots + (-1)^n a_n x^n \end{aligned}

by C+C^+ and C−C^- respectively. We then have

C++C−≤n. C^+ + C^- \leq n.
?
Problem 5.30

Let α>0\alpha > 0. Passing from the polynomial

a0+a1x+a2x2+⋯+anxn a_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n

to the polynomial

(α−x)(a0+a1x+a2x2+⋯+anxn)=αa0+(αa1−a0)x+(αa2−a1)x2+⋯−anxn+1 \begin{aligned} (\alpha - x)(a_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n) & \\ = \alpha a_0 + (\alpha a_1 - a_0) x + (\alpha a_2 - a_1) x^2 + \cdots & - a_n x^{n+1} \end{aligned}

the number of changes of sign increases; in fact it increases by an odd number.

?
Remark.
?

For the case α=1\alpha = 1 cf. 15.

Problem 5.31

Let α>0\alpha > 0. Passing from the power series

a0+a1x+a2x2+a3x3+⋯ a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \cdots

to the power series

(α−x)(a0+a1x+a2x2+⋯ )=αa0+(αa1−a0)x+(αa2−a1)x2+⋯ (\alpha - x)(a_0 + a_1 x + a_2 x^2 + \cdots ) = \alpha a_0 + (\alpha a_1 - a_0) x + (\alpha a_2 - a_1) x^2 + \cdots

the number of changes of sign does not decrease. In fact it increases if the original series a0+a1x+a2x2+⋯a_0 + a_1 x + a_2 x^2 + \cdots converges for x=αx = \alpha.

?
Problem 5.32

Let α>0\alpha > 0. Passing from the power series

a0+a1x+a2x2+a3x3+⋯ a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \cdots

to the power series

(α+x)(a0+a1x+a2x2+⋯ )=αa0+(αa1+a0)x+(αa2+a1)x2+⋯ (\alpha + x)(a_0 + a_1 x + a_2 x^2 + \cdots ) = \alpha a_0 + (\alpha a_1 + a_0) x + (\alpha a_2 + a_1) x^2 + \cdots

the number of changes of sign does not increase.

?
Problem 5.33

Passing from the power series

a0+a1x+a2x2+a3x3+⋯ a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \cdots

to the power series

a0+a1x+a2x2+⋯1−x=a0+(a0+a1)x+(a0+a1+a2)x2+⋯ \frac{a_0 + a_1 x + a_2 x^2 + \cdots }{1-x} = a_0 + (a_0+a_1) x + (a_0+a_1+a_2) x^2 + \cdots

the number of changes of sign does not increase.

?
Problem 5.34

Let α>0\alpha > 0. Passing from the power series

a0+a11!x+a22!x2+a33!x3+⋯ a_0 + \frac{a_1}{1!} x + \frac{a_2}{2!} x^2 + \frac{a_3}{3!} x^3 + \cdots

to the power series

eαx(a0+a11!x+a22!x2+⋯ )=∑n=0∞a0αn+(n1)a1αn−1+⋯+ann!xn e^{\alpha x} \left(a_0 + \frac{a_1}{1!} x + \frac{a_2}{2!} x^2 + \cdots \right) = \sum _{n=0}^{\infty } \frac{a_0 \alpha ^n + \binom {n}{1} a_1 \alpha ^{n-1} + \cdots + a_n}{n!} x^n

the number of changes of sign does not increase.

?
Remark.
?

Laguerre, op. cit. 1, p. 22. The proof has gaps.

Problem 5.35

Let p1,p2,…,pnp_1, p_2, \ldots , p_n be positive numbers. Set

a0+a1xp1−x+a2x2(p1−x)(p2−x)+⋯+anxn(p1−x)(p2−x)⋯(pn−x)=A0+A1x+A2x2+⋯ \begin{aligned} a_0 + \frac{a_1 x}{p_1-x} + \frac{a_2 x^2}{(p_1-x)(p_2-x)} + \cdots + \frac{a_n x^n}{(p_1-x)(p_2-x)\cdots (p_n-x)} & \\ = A_0 + A_1 x + A_2 x^2 + \cdots & \end{aligned}

(the power series expansion is convergent for sufficiently small values of xx). The number of changes of sign of the finite sequence a0,a1,a2,…,ana_0, a_1, a_2, \ldots , a_n is not less than the number of changes of sign of the infinite sequence A0,A1,A2,…A_0, A_1, A_2, \ldots.

?
Remark.
?

Mathematical induction, 31.

Problem 5.36

Let ZZ be the number of positive zeros of the polynomial a0+a1x+a2x2+⋯+anxna_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n and CC the number of changes of sign of the sequence of its coefficients. We then have

C−Z≥0. C - Z \geq 0.
?
Remark.
?
Problem 5.37

Continuation of 36. C−ZC-Z is an even number.

?
Problem 5.38

Let the radius of convergence of the power series a0+a1x+a2x2+⋯a_0 + a_1 x + a_2 x^2 + \cdots be ρ\rho, let the number of its zeros in the interval 0<x<ρ0 < x < \rho be ZZ and let the number of changes of sign in the sequence of its coefficients be CC. Then

Z≤C. Z \leq C.

Hence, in particular: If CC is finite then ZZ is also finite.

?
Remark.
?

Besides 31, the theory of functions of a complex variable must be used.

Problem 5.39

The power series

2−x1⋅2−x22⋅3−x33⋅4−⋯ 2 - \frac{x}{1\cdot 2} - \frac{x^2}{2\cdot 3} - \frac{x^3}{3\cdot 4} - \cdots

has no zeros in its circle of convergence. (The sequence of its coefficients has one change of sign---37 cannot be extended to power series without some essential additional condition.)

?
Problem 5.40

If ρ=∞\rho = \infty or if ρ\rho is finite and a0+a1ρ+a2ρ2+⋯a_0+a_1 \rho +a_2 \rho^2+\cdots is divergent, then, provided CC is finite, C−ZC-Z is a non-negative even number.

?
Problem 5.41

Let the minimum of the real numbers ξ1,ξ2,…,ξn\xi_1, \xi_2, \ldots , \xi_n be denoted by ξα\xi_{\alpha } and their maximum by ξω\xi_{\omega }. The number of zeros of the polynomial

a0+a1(x−ξ1)+a2(x−ξ1)(x−ξ2)+⋯+an(x−ξ1)(x−ξ2)…(x−ξn) a_0+a_1(x-\xi _1)+a_2(x-\xi _1)(x-\xi _2)+\cdots +a_n(x-\xi _1)(x-\xi _2)\ldots (x-\xi _n)

in the interval ξω<x<∞\xi_{\omega } < x < \infty is equal to, or less by an even number than, the number of changes of sign of the sequence

a0,a1,a2,…,an, a_0, a_1, a_2, \ldots , a_n,

and the number of zeros in the interval −∞<x<ξα-\infty < x < \xi_{\alpha } is equal to, or less by an even number than, the number of changes of sign of the sequence

a0,−a1,a2,−a3,…,(−1)nan. a_0, -a_1, a_2, -a_3, \ldots , (-1)^n a_n.

(For ξ1=ξ2=⋯=ξn\xi_1 = \xi_2 = \cdots = \xi_n equivalent to 36, 37.)

?
Remark.
?