Problem 5.171

Problems and Theorems in Analysis · 1

Show
LaTeX
Problem 5.171

If we have only α>1\alpha >1, then the integral still represents an entire function. If α\alpha is not an even integer, this function has only finitely many real zeros.

?
Problem 5.171.1

Let α1,α2,…,αs\alpha_1, \alpha_2, \ldots , \alpha_s denote the zeros of G(z)G(z) in [0,m][0,m],

0≤α1<α2<⋯<αs≤m, 0 \leq \alpha _1<\alpha _2<\cdots <\alpha _s \leq m,

and set

G(z)=(z−α1)(z−α2)…(z−αs)G∗(z). G(z) = (z-\alpha _1)(z-\alpha _2)\ldots (z-\alpha _s)G^*(z).

Then argue as follows:

(1)

a0G∗(0)+a1G∗(1)z+⋯+anG∗(n)zn a_0G^*(0)+a_1G^*(1)z+\cdots +a_nG^*(n)z^n

has precisely mm changes of sign (by 47 and the definition of G∗(z)G^*(z)) and precisely mm positive zeros (by a slight modification of 167---make use of 67 more completely).

(2)

a0G∗(0)(0−α1)+a1G∗(1)(1−α1)z+⋯+amG∗(m)(m−α1)zm a_0G^*(0)(0-\alpha _1)+a_1G^*(1)(1-\alpha _1)z+\cdots +a_mG^*(m)(m-\alpha _1)z^m

has precisely m−1m-1 changes of sign (attention to the various possible cases) and so by 36 at most m−1m-1 positive zeros. Yet it has (by a slight modification of solution 66) at least m−1m-1, and so finally exactly m−1m-1, positive zeros;

(3) Introduce successively α2,α3,…,αs\alpha_2, \alpha_3, \ldots , \alpha_s and repeat appropriately the arguments of (2) (attention at each step to the changes wrought by the preceding steps) to arrive at the desired proposition.

?
Problem 5.171.2

We make the following assumptions: The entire function

g(z)=a0+a11!z+a22!z2+a33!z3+⋯ g(z) = a_0+\frac{a_1}{1!}z+\frac{a_2}{2!}z^2+\frac{a_3}{3!}z^3+\cdots

is a limit of polynomials with only positive zeros, but not itself a polynomial [161].

The entire function G(z)G(z) is either defined as in 165 or it is equal to the function defined in 165 multiplied by zz; it has precisely ss non-negative zeros which are simple and the distance between any two of them is not less than 11. (We obtain the present G(z)G(z) from the G(z)G(z) of 171.1 by making mm arbitrarily large.)

Then the entire function

a0G(0)+a1G(1)1!z+a2G(2)2!z2+⋯ a_0G(0)+\frac{a_1G(1)}{1!}z+\frac{a_2G(2)}{2!}z^2+\cdots

has precisely ss non-positive zeros.

?
Problem 5.171.3

If ν≥0\nu \geq 0 the entire function

zν2J−ν(2z1/2)=∑n=0∞(−z)nn!1Γ(n+1−ν) z^{\frac{\nu }{2}}J_{-\nu }(2z^{1/2}) = \sum _{n=0}^{\infty } \frac{(-z)^n}{n!}\frac{1}{\Gamma (n+1-\nu )}

has precisely [ν][\nu ] non-positive zeros. (This contains the result of 159.)

?
Problem 5.171.4

Let k,l,mk, l, m and qq be non-negative integers,

0≤k<l,k+ql≤m<k+(q+1)l. 0 \leq k<l, \qquad k+ql \leq m<k+(q+1)l.

If all the zeros of the polynomial

b0+b1z+b2z2+⋯+bmzm b_0+b_1z+b_2z^2+\cdots +b_mz^m

are negative, then the zeros of

bk+bk+lz+bk+2lz2+⋯+bk+qlzq b_k+b_{k+l}z+b_{k+2l}z^2+\cdots +b_{k+ql}z^q

are also all negative. (This implies, for n→∞n \to \infty, the result of 160.)

?
Problem 5.171.5

If all the zeros of the polynomial

b0+b11!z+b22!z2+⋯+bmm!zm b_0+\frac{b_1}{1!}z+\frac{b_2}{2!}z^2+\cdots +\frac{b_m}{m!}z^m

are negative, then the zeros of

bk+bk+l1!z+bk+2l2!z2+⋯+bk+qlq!zq b_k+\frac{b_{k+l}}{1!}z+\frac{b_{k+2l}}{2!}z^2+\cdots +\frac{b_{k+ql}}{q!}z^q

are also all negative; k,l,mk, l, m and qq are subject to the same conditions as in 171.4.

?