Section 4

Applications of Descartes' Rule of Signs

[13/100%]
Show
LaTeX
Problem 5.42

Let λ\lambda be a positive proper fraction, nn a positive integer. The transcendental equation

1+x1!+x22!+⋯+xnn!=λex 1 + \frac{x}{1!} + \frac{x^2}{2!} + \cdots + \frac{x^n}{n!} = \lambda e^x

has a single positive root. This increases monotonically to infinity as nn tends to infinity.

?
Problem 5.43

The function x−5(ex−1)−1x^{-5} \left(e^x - 1\right)^{-1} of the positive variable xx tends to 00 for x=0x=0 and for x=+∞x=+\infty and between these values has a maximum and no minimum.

?
Problem 5.43.1

Let R(f)R(f) denote the number of reversals of sign of the function f(x)f(x) in (0,1)(0,1) and Z(Kn)Z(K_n) the number of zeros of the polynomial

Kn(x)=∑v=0nf(vn)(nv)xv(1−x)n−v,n=0,1,2,… K_n(x) = \sum _{v=0}^{n} f\left(\frac{v}{n}\right) \binom {n}{v} x^v (1-x)^{n-v}, \qquad n = 0, 1, 2, \ldots

(see the introduction to problem 144 of Part Two) in (0,1)(0,1). Prove that

Z(Kn)≤R(f). Z(K_n) \leq R(f).
?
Problem 5.44

Let the radius of convergence of the power series a0+a1x+a2x2+⋯a_0+a_1x+a_2x^2+\cdots be ≥1\geq 1. The number of its zeros in the interval 0<x<10 < x < 1 does not exceed the number of changes of sign of the sequence

a0,a0+a1,a0+a1+a2,…,a0+a1+⋯+an,…. a_0, \quad a_0+a_1, \quad a_0+a_1+a_2, \quad \ldots , \quad a_0+a_1+\cdots +a_n, \quad \ldots .
?
Problem 5.44.1

Let CC be the number of changes of sign of the finite sequence

a0,a0+a1,a0+a1+a2,…,a0+a1+⋯+an, a_0, \quad a_0+a_1, \quad a_0+a_1+a_2, \quad \ldots , \quad a_0+a_1+\cdots +a_n,

set

P(x)=a0+a1x+a2x2+⋯+anxn, P(x) = a_0+a_1x+a_2x^2+\cdots +a_nx^n,

and assume that P(1)=0P(1)=0. Then P(x)P(x) has at most C+1C+1 positive zeros. Show also that the bound C+1C+1 can be attained.

?
Problem 5.45

Let (np)\left(\dfrac {n}{p}\right) denote the Legendre (Jacobi) symbol, defined for pp an odd prime and nn any number not divisible by pp as (np)=1\left(\dfrac {n}{p}\right) = 1 if nn is a quadratic residue of pp and (np)=−1\left(\dfrac {n}{p}\right) = -1 if nn is a quadratic non-residue of pp (Hardy--Wright, p. 68). The equation

(119)x+(219)x2+(319)x3+⋯+(1819)x18=0 \left(\frac{1}{19}\right) x + \left(\frac{2}{19}\right) x^2 + \left(\frac{3}{19}\right) x^3 + \cdots + \left(\frac{18}{19}\right) x^{18} = 0

has only one positive root, namely x=1x=1.

?
Remark.
?

The equation is reciprocal so that it is sufficient to investigate the zeros in the interval 0<x<10 < x < 1 with the aid of 44, 33.

Problem 5.46

The equation of degree 162162

(1163)x+(2163)x2+(3163)x3+⋯+(162163)x162=0 \left(\frac{1}{163}\right) x + \left(\frac{2}{163}\right) x^2 + \left(\frac{3}{163}\right) x^3 + \cdots + \left(\frac{162}{163}\right) x^{162} = 0

has exactly 55 positive roots which are all simple.

?
Remark.
?

Investigate the point x=0.7x=0.7.

Problem 5.47

If the polynomial a0+a1x+⋯+anxna_0+a_1x+\cdots +a_nx^n has only real zeros, then Z=CZ=C.

?
Problem 5.48

Let ν1,ν2,…,νn\nu_1, \nu_2, \ldots , \nu_n be integers, 0≤ν1<ν2<⋯<νn0 \leq \nu_1 < \nu_2 < \cdots < \nu_n, and 0<α1<α2<⋯<αn0 < \alpha_1 < \alpha_2 < \cdots < \alpha_n. Then the determinant (a generalization of the Vandermonde determinant, which corresponds to the case ν1=0,ν2=1,…,νn=n−1\nu_1=0, \nu_2=1, \ldots , \nu_n=n-1)

∣α1ν1α1ν2…α1νnα2ν1α2ν2…α2νn\multicolumn4c\dotfillαnν1αnν2…αnνn∣>0. \begin{vmatrix} \alpha _1^{\nu _1} & \alpha _1^{\nu _2} & \ldots & \alpha _1^{\nu _n} \\ \alpha _2^{\nu _1} & \alpha _2^{\nu _2} & \ldots & \alpha _2^{\nu _n} \\ \multicolumn {4}{c}{\dotfill } \\ \alpha _n^{\nu _1} & \alpha _n^{\nu _2} & \ldots & \alpha _n^{\nu _n} \end{vmatrix} > 0.
?
Remark.
?

First prove that it is ≠0\neq 0, 36.

Problem 5.49

Let a0≠0a_0 \neq 0, an≠0a_n \neq 0, and assume that 2m2m consecutive coefficients of the polynomial a0+a1x+⋯+anxna_0+a_1x+\cdots +a_nx^n vanish, where mm is an integer, m≥1m \geq 1. Then the polynomial has at least 2m2m non-real zeros.

?
Problem 5.50

Let the polynomial P(x)P(x) have only real zeros, and let P(0)=1P(0)=1 and P(x)P(x) not a constant. Set

1P(x)=1+b1x+b2x2+⋯+bnxn+⋯ . \frac{1}{P(x)} = 1+b_1x+b_2x^2+\cdots +b_nx^n+\cdots .

Then the polynomial 1+b1x+⋯+b2mx2m1+b_1x+\cdots +b_{2m}x^{2m} has only non-real zeros.

?
Remark.
?
Problem 5.51

Let mm be an integer, m≥1m \geq 1, and

S(x1,x2,…,xn)=∑x1l1x2l2…xnln, S(x_1, x_2, \ldots , x_n) = \sum x_1^{l_1} x_2^{l_2} \ldots x_n^{l_n},

where the sum ∑\sum is taken over all sets of non-negative integers l1,l2,…,lnl_1, l_2, \ldots , l_n for which

l1+l2+⋯+ln=2m. l_1+l_2+\cdots +l_n = 2m.

The homogeneous symmetric function S(x1,x2,…,xn)S(x_1, x_2, \ldots , x_n) of the nn real variables x1,x2,…,xnx_1, x_2, \ldots , x_n is positive definite, i.e. >0>0 for all sets of values of x1,x2,…,xnx_1, x_2, \ldots , x_n with the exception of the single set x1=0,x2=0,…,xn=0x_1=0, x_2=0, \ldots , x_n=0.

?
Problem 5.52

Let the polynomial P(x)=xn+⋯P(x) = x^n + \cdots have only positive zeros. In the power series expansion

1P(x)=1xn+Bnxn+1+Bn+1xn+2+⋯ \frac{1}{P(x)} = \frac{1}{x^n} + \frac{B_n}{x^{n+1}} + \frac{B_{n+1}}{x^{n+2}} + \cdots

all the coefficients Bn,Bn+1,…B_n, B_{n+1}, \ldots are positive.

?