Section 3

Connection between μ(r)\mu(r), ν(r)\nu(r), M(r)M(r) and N(r)N(r)

[20/100%]
Show
LaTeX
Problem 4.48

For an entire function f(z)f(z) let

lim sup⁡r→∞log⁡M(r)r=l. \limsup _{r \to \infty } \frac{\log M(r)}{r} = l.

The convergence of the series

f(z)+f′(z)+f′′(z)+⋯=∑n=0∞dnf(z)dzn f(z) + f'(z) + f''(z) + \cdots = \sum _{n=0}^{\infty } \frac{d^{n} f(z)}{dz^{n}}

is assured, excluded or undecided according as

l<1,l>1orl=1. l < 1, \qquad l > 1 \qquad \text{or} \qquad l = 1.
?
Problem 4.49

For the Weierstrass σ(z)\sigma (z) function, in the case when the period parallelogram is a square with sides of length 11,

N(r)∼πr2,log⁡M(r)∼π2r2, N(r) \sim \pi r^{2}, \qquad \log M(r) \sim \frac{\pi }{2} r^{2},

as rr tends to ∞\infty.

?
Remark.
?

See Hille, Vol. II pp. 132-133 and Hurwitz-Courant, pp. 174-175.

Problem 4.49.1

There is an entire function for which

ρn=rn−1 \rho _{n} = r_{n} - 1

for n=1,2,3,…n = 1, 2, 3, \ldots (see Problem 50 of Part I). Construct an entire function for which

ρn=rn+(−1)n−1 \rho _{n} = r_{n} + (-1)^{n-1}

for n=1,2,3,…n = 1, 2, 3, \ldots.

?
Problem 4.50

For the entire functions

sin⁡zz,cos⁡z,cos⁡2z,ez+i,ez,σ(z) \frac{\sin \sqrt{z}}{\sqrt{z}}, \qquad \cos z, \qquad \cos ^{2} z, \qquad e^{z} + i, \qquad e^{z}, \qquad \sigma (z)

determine the limits of the quotients

rnρn,N(r)ν(r),N(r)log⁡M(r),ν(r)log⁡μ(r),M(r)μ(r)log⁡μ(r),log⁡N(r)log⁡r \frac{r_{n}}{\rho _{n}}, \qquad \frac{N(r)}{\nu (r)}, \qquad \frac{N(r)}{\log M(r)}, \qquad \frac{\nu (r)}{\log \mu (r)}, \qquad \frac{M(r)}{\mu (r) \sqrt{\log \mu (r)}}, \qquad \frac{\log N(r)}{\log r}

as rr (or nn in the first quotient) tends to infinity, and collect the results in a table.

?
Remark.
?

For eze^{z} the first and last quotients are meaningless, for σ(z)\sigma (z) only the third and the last are to be determined under the assumption that the period parallelogram is a square. The last quotient gives the exponent of convergence of the zeros, see Problem 149 of Part II. Use problems 1-4, 13, 27, 28 and Stirling's formula for the asymptotic value of μ(r)\mu (r).

Problem 4.51

For any entire function

lim sup⁡r→∞log⁡log⁡μ(r)log⁡r=lim sup⁡r→∞log⁡log⁡M(r)log⁡r \limsup _{r \to \infty } \frac{\log \log \mu (r)}{\log r} = \limsup _{r \to \infty } \frac{\log \log M(r)}{\log r}

(it is obvious that the inequality ≤\leq holds). The common value of these two limits is called the order of the entire function.

?
Problem 4.52

The order of an entire function may also be defined as the exponent of convergence (this is the notation of Part I, Chapter 3, Section 2) of the sequence ρ1,ρ2,…,ρn,…\rho_{1}, \rho_{2}, \ldots , \rho_{n}, \ldots.

?
Problem 4.53

The order of an entire function f(z)=∑n=0∞anznf(z) = \sum_{n=0}^{\infty } a_{n} z^{n} with positive coefficients a0,a1,a2,…,an,…a_{0}, a_{1}, a_{2}, \ldots , a_{n}, \ldots may also be defined as the following limit:

lim sup⁡r→∞log⁡[rf′(r)f(r)−1]log⁡r. \limsup _{r \to \infty } \frac{\log \left[r f'(r) f(r)^{-1}\right]}{\log r}.
?
Problem 4.54

For entire functions of finite order we have the following result (stronger than problem 51):

lim⁡r→∞log⁡M(r)log⁡μ(r)=1. \lim _{r \to \infty } \frac{\log M(r)}{\log \mu (r)} = 1.
?
Problem 4.55

For transcendental entire functions the integral

∫t0∞μ(t)[M(t)]−1 dt,t0>0, \int _{t_{0}}^{\infty } \mu (t) [M(t)]^{-1} \, dt, \qquad t_{0} > 0,

is convergent for l>1l > 1.

?
Problem 4.56

For any entire function, given any arbitrary ε\varepsilon, ε>0\varepsilon > 0, there exist arbitrarily large values of rr such that

M(r)<μ(r)[log⁡μ(r)]12+ε. M(r) < \mu (r) \left[\log \mu (r)\right]^{\frac{1}{2}+\varepsilon }.
?
Problem 4.57

For an entire function of finite order λ\lambda we have the following result (stronger than problem 56): given any arbitrary ε\varepsilon, ε>0\varepsilon > 0, there exist arbitrarily large values of rr such that

M(r)<(λ+ε)2πlog⁡μ(r) μ(r). M(r) < (\lambda + \varepsilon ) \sqrt{2\pi \log \mu (r)} \, \mu (r).
?
Problem 4.58

The order of an entire function of genus zero is equal to the exponent of convergence of its zeros (see Volume I, pp. 25-26, Titchmarsh p. 250, Hille Vol. II, p. 188).

?
Problem 4.59

For an entire function of finite order λ\lambda, λ>0\lambda > 0, whose central index has the jump-points ρ1,ρ2,ρ3,…,ρn,…\rho_{1}, \rho_{2}, \rho_{3}, \ldots , \rho_{n}, \ldots which are regularly spaced in the sense of Chapter 4, Section 1 of Part II, we have

lim⁡r→∞ν(r)log⁡μ(r)=λ. \lim _{r \to \infty } \frac{\nu (r)}{\log \mu (r)} = \lambda .
?
Remark.
?

See Problem 159 of Part II. Problems 59-63 are also discussed in G. Polya: Math. Ann. 88, pp. 177-183 (1923).

Problem 4.60

For entire functions of finite order λ\lambda, λ>0\lambda > 0, without any special conditions of regularity we have

lim inf⁡r→∞ν(r)log⁡μ(r)≤λ≤lim sup⁡r→∞ν(r)log⁡μ(r). \liminf _{r \to \infty } \frac{\nu (r)}{\log \mu (r)} \leq \lambda \leq \limsup _{r \to \infty } \frac{\nu (r)}{\log \mu (r)}.
?
Remark.
?

See Problem 160 of Part II.

Problem 4.61

Let λ\lambda be the exponent of convergence of the sequence r1,r2,r3,…,rn,…r_{1}, r_{2}, r_{3}, \ldots , r_{n}, \ldots, which is regularly spaced in the sense of Chapter 4, Section 1 of Part II, and let 0<λ<10 < \lambda < 1. For the entire function of genus zero

f(z)=(1+zr1)(1+zr2)⋯(1+zrn)⋯ f(z) = \left(1+\frac{z}{r_{1}}\right)\left(1+\frac{z}{r_{2}}\right) \cdots \left(1+\frac{z}{r_{n}}\right) \cdots

we have

lim⁡r→∞log⁡f(reiϑ)N(r)=eiϑλπsin⁡πλ, \lim _{r \to \infty } \frac{\log f(r e^{i\vartheta })}{N(r)} = \frac{e^{i\vartheta \lambda } \pi }{\sin \pi \lambda },

if ϑ\vartheta is a fixed number, −π<ϑ<π-\pi < \vartheta < \pi.

?
Remark.
?

See Problem 159 of Part II.

Problem 4.62

For the entire function discussed in problem 61 we have, even without assuming the regular spacing of the sequence r1,r2,r3,…,rn,…r_{1}, r_{2}, r_{3}, \ldots , r_{n}, \ldots,

lim sup⁡r→∞N(r)log⁡M(r)≥sin⁡πλπ. \limsup _{r \to \infty } \frac{N(r)}{\log M(r)} \geq \frac{\sin \pi \lambda }{\pi }.
?
Remark.
?

See Problem 161 of Part II.

Problem 4.63

For an entire function whose zeros have a finite exponent of convergence λ\lambda

lim inf⁡r→∞N(r)log⁡M(r)≤λ. \liminf _{r \to \infty } \frac{N(r)}{\log M(r)} \leq \lambda .
?
Remark.
?

See problem 32.

Problem 4.64

Let f(z)f(z) be an entire function and let G(r)\mathfrak {G}(r) and g(r)\mathfrak {g}(r) be defined as the geometric means of ∣f(z)∣\left|f(z)\right| on the circle ∣z∣=r\left|z\right| = r, and in the circular disc ∣z∣≤r\left|z\right| \leq r, respectively (this is the notation of Problem 121 of Part III). If the moduli of the zeros of f(z)f(z) are regularly spaced (this is the notation of Chapter 4, Section 1 of Part II), then

lim⁡r→∞(g(r)G(r))1N(r)=e−1λ+2, \lim _{r \to \infty } \left(\frac{\mathfrak {g}(r)}{\mathfrak {G}(r)}\right)^{\frac{1}{N(r)}} = e^{-\frac{1}{\lambda +2}},

where λ\lambda, 0<λ<∞0 < \lambda < \infty, denotes the exponent of convergence of the zeros. For polynomials the above limit also exists and equals e−1/2e^{-1/2}.

?
Problem 4.65

(Continued from problem 64.) Without assuming the regular spacing of the zeros we have

lim inf⁡r→∞(g(r)G(r))1N(r)≤e−1λ+2≤lim sup⁡r→∞(g(r)G(r))1N(r). \liminf _{r \to \infty } \left(\frac{\mathfrak {g}(r)}{\mathfrak {G}(r)}\right)^{\frac{1}{N(r)}} \leq e^{-\frac{1}{\lambda +2}} \leq \limsup _{r \to \infty } \left(\frac{\mathfrak {g}(r)}{\mathfrak {G}(r)}\right)^{\frac{1}{N(r)}}.
?
Problem 4.66

Let f(z)f(z) be an entire function of finite order λ\lambda and M(r)\mathfrak {M}(r) and m(r)\mathrm{m}(r) the arithmetic means of ∣f(z)∣2\left|f(z)\right|^{2} on the circle ∣z∣=r\left|z\right| = r and in the circular disc ∣z∣≤r\left|z\right| \leq r respectively. Then

lim inf⁡r→∞(m(r)M(r))1log⁡r=e−λ. \liminf _{r \to \infty } \left(\frac{\mathrm{m}(r)}{\mathfrak {M}(r)}\right)^{\frac{1}{\log r}} = e^{-\lambda }.
?