Глава 4.1

Максимальный член и центральный индекс, максимум модуля и число нулей

[77/92%]
Показать
LaTeX
§
Задача 4.1

Вычислить μ(r)\mu (r) и ν(r)\nu (r) для степенного ряда

1+z1!+z22!+…+znn!+… 1+\frac{z}{1!}+\frac{z^{2}}{2!}+\ldots +\frac{z^{n}}{n!}+\ldots
?
Примечание.
?

Относительно 1—76 см. A. Wiman, Acta Math., т. 37, стр. 305—326, 1914; дальнейшая литература указана в книге G. Valiron, General theory of integral functions, Toulouse, E. Privat, 1923. См. также l. c. I 110.

Задача 4.2

Вычислить M(r)M(r) и N(r)N(r) для

ez=1+z1!+z22!+…+znn!+… e^{z}=1+\frac{z}{1!}+\frac{z^{2}}{2!}+\ldots +\frac{z^{n}}{n!}+\ldots
?
Задача 4.3

Вычислить μ(r)\mu (r) и ν(r)\nu (r) для

11!+z3!+z25!+…+zn(2n+1)!+… \frac{1}{1!}+\frac{z}{3!}+\frac{z^{2}}{5!}+\ldots +\frac{z^{n}}{(2 n+1)!}+\ldots
?
Задача 4.4

Вычислить M(r)M(r) и N(r)N(r) для

sin⁡zz=11!−z3!+z25!−…+(−z)n(2n+1)!+… \frac{\sin \sqrt{z}}{\sqrt{z}}=\frac{1}{1!}-\frac{z}{3!}+\frac{z^{2}}{5!}-\ldots +\frac{(-z)^{n}}{(2 n+1)!}+\ldots
?
Задача 4.5

Вычислить ν(r)\nu (r) для геометрической прогрессии

1+z+z2+…+zn+… 1+z+z^{2}+\ldots +z^{n}+\ldots
?
Задача 4.6

Вычислить N(r)N(r) для

1+z+z2+…+zn+… 1+z+z^{2}+\ldots +z^{n}+\ldots
?
Задача 4.7

Для всякого полинома nn-й степени

a0+a1z+a2z2+…+anzn(an≠0) a_{0}+a_{1} z+a_{2} z^{2}+\ldots +a_{n} z^{n} \quad \left(a_{n} \neq 0\right)

имеет место предельное соотношение

lim⁡r→∞ln⁡μ(r)ln⁡r=lim⁡r→∞ν(r)=n. \lim _{r \rightarrow \infty } \frac{\ln \mu (r)}{\ln r}=\lim _{r \rightarrow \infty } \nu (r)=n .
?
Задача 4.8

Для всякого полинома nn-й степени

f(z)=a0+a1z+a2z2+…+anzn(an≠0) f(z)=a_{0}+a_{1} z+a_{2} z^{2}+\ldots +a_{n} z^{n} \quad \left(a_{n} \neq 0\right)

имеет место предельное соотношение

lim⁡r→∞ln⁡M(r)ln⁡r=lim⁡r→∞N(r)=n. \lim _{r \rightarrow \infty } \frac{\ln M(r)}{\ln r}=\lim _{r \rightarrow \infty } N(r)=n .
?
Задача 4.9

Для всякой целой трансцендентной функции оба указанных в задаче 7 предела равны бесконечности.

?
Задача 4.10

Для целой трансцендентной функции первый из указанных в задаче 8 пределов равен бесконечности, второй — не обязательно.

?
Задача 4.11

Обозначим максимальный член и центральный индекс ряда

a0+a1zk+a2z2k+…+anznk+…(k=1,2,3,…) a_{0}+a_{1} z^{k}+a_{2} z^{2 k}+\ldots +a_{n} z^{n k}+\ldots \quad (k=1,2,3, \ldots )

соответственно через μk(r)\mu_{k}(r) и νk(r)\nu_{k}(r). Выразить μk(r)\mu_{k}(r) и νk(r)\nu_{k}(r) через μ1(r)\mu_{1}(r) и ν1(r)\nu_{1}(r).

?
Задача 4.12

Обозначим максимум модуля и число нулей функции f(zk)f\left(z^{k}\right) в круге ∣z∣⩽r\left|z\right| \leqslant r соответственно через Mk(r)M_{k}(r) и Nk(r)N_{k}(r) (k=1,2,3,…)(k=1,2,3, \ldots ). Выразить Mk(r)M_{k}(r) и Nk(r)N_{k}(r) через M1(r)M_{1}(r) и N1(r)N_{1}(r).

?
Задача 4.13

Вычислить lim⁡r→∞ν(r)ln⁡μ(r)\lim_{r \rightarrow \infty } \frac{\nu (r)}{\ln \mu (r)} для степенных рядов

1+z22!+z44!+z66!+…+z2n(2n)!+…=ez+e−z21+2z22!+23z44!+25z66!+…+22n−1z2n(2n)!+…==(ez+e−z2)2=12+e2z+e−2z4. \begin{aligned} 1+\frac{z^{2}}{2!}+\frac{z^{4}}{4!}+\frac{z^{6}}{6!}+\ldots +\frac{z^{2 n}}{(2 n)!} & +\ldots =\frac{e^{z}+e^{-z}}{2} \\ 1+\frac{2 z^{2}}{2!}+\frac{2^{3} z^{4}}{4!}+\frac{2^{5} z^{6}}{6!}+\ldots +\frac{2^{2 n-1} z^{2 n}}{(2 n)!} & +\ldots = \\ & =\left(\frac{e^{z}+e^{-z}}{2}\right)^{2}=\frac{1}{2}+\frac{e^{2 z}+e^{-2 z}}{4} . \end{aligned}
?
(1)
(2)
Задача 4.14

Пусть теперь Mk(r)M_{k}(r) и Nk(r)N_{k}(r) обозначают максимум модуля и число нулей в круге ∣z∣⩽r\left|z\right| \leqslant r для функции (f(z))k(f(z))^{k} (а не f(zk)f\left(z^{k}\right), как в задаче 12), k=1,2,3,…k=1,2,3, \ldots Показать, что отношение Nk(r)ln⁡Mk(r)\frac{N_{k}(r)}{\ln M_{k}(r)} не зависит от kk.

?
Задача 4.15

Для a0=a1=…=aq−1=0a_{0}=a_{1}=\ldots =a_{q-1}=0, aq≠0a_{q} \neq 0 будем считать ν(0)=q\nu (0)=q. Функция ν(r)\nu (r) кусочно-постоянна, возрастает в точках разрыва на целые положительные значения и всюду непрерывна справа [I 120].

?
Задача 4.16

Если a0=a1=…=aq−1=0a_{0}=a_{1}=\ldots =a_{q-1}=0, aq≠0a_{q} \neq 0, то N(0)=qN(0)=q. Функция N(r)N(r) кусочно-постоянна, возрастает в точках разрыва на целые положительные значения и всюду непрерывна справа.

?
Задача 4.17

Для a0=0a_{0}=0, 0<r1<r2<R0<r_{1}<r_{2}<R имеем

μ(r2)μ(r1)⩾r2r1. \frac{\mu \left(r_{2}\right)}{\mu \left(r_{1}\right)} \geqslant \frac{r_{2}}{r_{1}} .
?
Задача 4.18

Для f(0)=0f(0)=0, 0<r1<r2<R0<r_{1}<r_{2}<R имеем

M(r2)M(r1)⩾r2r1. \frac{M\left(r_{2}\right)}{M\left(r_{1}\right)} \geqslant \frac{r_{2}}{r_{1}} .
?
Задача 4.19

Функция η=ln⁡μ(eξ)\eta =\ln \mu \left(e^{\xi }\right) представляется в прямоугольной системе координат ξ\xi, η\eta в виде кривой, не убывающей и не вогнутой снизу.

?
Задача 4.20

Функция η=ln⁡M(eξ)\eta =\ln M\left(e^{\xi }\right) представляется в прямоугольной системе координат ξ\xi, η\eta всюду возрастающей и выпуклой снизу кривой, за исключением некоторых полиномов весьма специального вида, для которых кривая вырождается в прямую.

?
Задача 4.21

Показать, что отношение μ(αr)μ(r)\frac{\mu (\alpha r)}{\mu (r)}, где α\alpha — фиксированное число, 0<α<10<\alpha <1, нигде не возрастает при возрастании rr.

?
Задача 4.22

Показать, что отношение M(αr)M(r)\frac{M(\alpha r)}{M(r)}, где α\alpha — фиксированное число, 0<α<10<\alpha <1, постоянно убывает с возрастанием rr.

?
Задача 4.23

Пусть R=∞R=\infty. Показать, что отношение μ(αr)μ(r)\frac{\mu (\alpha r)}{\mu (r)}, где α\alpha — фиксированное число, 0<α<10<\alpha <1, при r→∞r \rightarrow \infty стремится к нулю, если степенной ряд не обрывается, и стремится к αn\alpha^{n}, если он сводится к полиному nn-й степени.

?
Задача 4.24

Пусть f(z)f(z) — целая функция. Показать, что отношение M(αr)M(r)\frac{M(\alpha r)}{M(r)}, где α\alpha — фиксированное число, 0<α<10<\alpha <1, при r→∞r \rightarrow \infty стремится к нулю, когда f(z)f(z) — трансцендентная функция, и к αn\alpha^{n}, когда f(z)f(z) — рациональная функция степени nn.

?
Задача 4.25

Если ρn<ρn+1\rho_{n}<\rho_{n+1}, то в полузамкнутом интервале ρn⩽r<ρn+1\rho_{n} \leqslant r<\rho_{n+1}

ν(r)=n. \nu (r)=n .
?
Задача 4.26

Если rn<rn+1r_{n}<r_{n+1}, то в полузамкнутом интервале rn⩽r<rn+1r_{n} \leqslant r<r_{n+1}

N(r)=n. N(r)=n .
?
Задача 4.27

Вычислить числа ρn\rho_{n} для степенных рядов

1+z1!+z22!+…+znn!+…1+z3!+z25!+…+zn(2n+1)!+…,1+z22!+z44!+…+z2n(2n)!+… \begin{aligned} & 1+\frac{z}{1!}+\frac{z^{2}}{2!}+\ldots +\frac{z^{n}}{n!}+\ldots \\ & 1+\frac{z}{3!}+\frac{z^{2}}{5!}+\ldots +\frac{z^{n}}{(2 n+1)!}+\ldots , \\ & 1+\frac{z^{2}}{2!}+\frac{z^{4}}{4!}+\ldots +\frac{z^{2 n}}{(2 n)!}+\ldots \end{aligned}
?
Задача 4.28

Вычислить числа rnr_{n} для функций

ez+i,sin⁡zz,cos⁡z. e^{z}+i, \quad \frac{\sin \sqrt{z}}{\sqrt{z}}, \quad \cos z .
?
Задача 4.29

Если чисел ρn\rho_{n} имеется бесконечное множество, то

lim⁡n→∞ρn=R. \lim _{n \rightarrow \infty } \rho _{n}=R .
?
Задача 4.30

Если чисел rnr_{n} имеется бесконечное множество, то

lim⁡n→∞rn=R. \lim _{n \rightarrow \infty } r_{n}=R .
?
Задача 4.31

Пусть a0≠0a_{0} \neq 0. Тогда

μ(r)=∣a0∣rnρ1ρ2…ρn \mu (r)=\frac{\left|a_{0}\right| r^{n}}{\rho _{1} \rho _{2} \ldots \rho _{n}}

для ρn⩽r⩽ρn+1\rho_{n} \leqslant r \leqslant \rho_{n+1}.

?
Задача 4.32

Пусть a0≠0a_{0} \neq 0. Тогда

M(r)⩾∣f(0)∣rnr1r2…rn[III 120]. M(r) \geqslant \frac{\left|f(0)\right| r^{n}}{r_{1} r_{2} \ldots r_{n}} \quad [\text{III } 120] .
?
Примечание.
?

Для каких целых функций здесь может стоять знак равенства?

Задача 4.33

Пусть a0≠0a_{0} \neq 0. Показать, что тогда

ln⁡μ(r)−ln⁡∣a0∣=∫0rν(t)tdt. \ln \mu (r)-\ln \left|a_{0}\right|=\int _{0}^{r} \frac{\nu (t)}{t} d t .
?
Задача 4.34

Пусть a0≠0a_{0} \neq 0. Показать, что тогда

ln⁡M(r)−ln⁡∣f(0)∣⩾∫0rN(t)tdt. \ln M(r)-\ln \left|f(0)\right| \geqslant \int _{0}^{r} \frac{N(t)}{t} d t .
?
Задача 4.35

Для всякой целой функции

lim sup⁡r→∞ln⁡ν(r)ln⁡r=lim sup⁡r→∞ln⁡ln⁡μ(r)ln⁡r. \limsup _{r \rightarrow \infty } \frac{\ln \nu (r)}{\ln r}=\limsup _{r \rightarrow \infty } \frac{\ln \ln \mu (r)}{\ln r} .
?
Задача 4.36

Для всякой целой функции

lim sup⁡r→∞ln⁡N(r)ln⁡r⩽lim sup⁡r→∞ln⁡ln⁡M(r)ln⁡r. \limsup _{r \rightarrow \infty } \frac{\ln N(r)}{\ln r} \leqslant \limsup _{r \rightarrow \infty } \frac{\ln \ln M(r)}{\ln r} .
?
Задача 4.37

Показать, что бесконечный ряд ∑n=q+1∞ρn−k\sum_{n=q+1}^{\infty } \rho_{n}^{-k} и несобственный интеграл

∫1∞r−k−1ln⁡μ(r)dr(k>0), \int _{1}^{\infty } r^{-k-1} \ln \mu (r) d r \quad (k>0),

соответствующие некоторому всюду сходящемуся степенному ряду, одновременно оба сходятся или расходятся.

?
Задача 4.38

Показать, что если несобственный интеграл

∫1∞r−k−1ln⁡M(r)dr(k>0), \int _{1}^{\infty } r^{-k-1} \ln M(r) d r \quad (k>0),

соответствующий некоторой целой функции, сходится, то сходится также бесконечный ряд

∑n=q+1∞rn−k \sum _{n=q+1}^{\infty } r_{n}^{-k}

(обратное неверно!).

?
Примечание.
?

G. Valiron, Bull. d. Sciences Math., серия 2, т. 45, стр. 258—270, 1921.

Задача 4.39

Показать, что ряд

∑n=1∞(1−ρn)k+1(k>0) \sum _{n=1}^{\infty }\left(1-\rho _{n}\right)^{k+1} \quad (k>0)

и интеграл

∫01(1−t)k−1ln⁡μ(t)dt, \int _{0}^{1}(1-t)^{k-1} \ln \mu (t) d t,

соответствующие некоторому степенному ряду, сходящемуся внутри единичного круга, либо оба сходятся, либо оба расходятся.

?
Задача 4.40

Показать, что если интеграл

∫01(1−t)k−1ln⁡M(t)dt(k>0), \int _{0}^{1}(1-t)^{k-1} \ln M(t) d t \quad (k>0),

соответствующий некоторой функции, регулярной внутри единичного круга, сходится, то сходится также ряд

∑n=1∞(1−rn)k+1. \sum _{n=1}^{\infty }\left(1-r_{n}\right)^{k+1} .
?
Примечание.
?

F. и R. Nevanlinna, Acta Soc. Sc. Fennicae, т. 50, № 5, 1922.

§
Задача 4.41

Наметим на плоскости точки с прямоугольными координатами (0,−ln⁡∣a0∣),(1,−ln⁡∣a1∣),(2,−ln⁡∣a2∣),…,(n,−ln⁡∣an∣),…\left(0,-\ln \left|a_{0}\right|\right), \left(1,-\ln \left|a_{1}\right|\right), \left(2,-\ln \left|a_{2}\right|\right), \ldots , \left(n,-\ln \left|a_{n}\right|\right), \ldots (отбрасывая те точки, для которых an=0a_{n}=0) и из каждой точки восставим луч, направленный вертикально вверх. Наименьшая выпуклая область K\mathfrak {K}, охватывающая все эти лучи, простирается в бесконечность. Проведем опорную прямую (т. е. прямую, на которой лежит по крайней мере одна граничная точка и не содержится ни одной внутренней точки области K\mathfrak {K}) с угловым коэффициентом ln⁡r\ln r. Как можно интерпретировать на полученном чертеже величины ln⁡μ(r)\ln \mu (r), ν(r)\nu (r), ln⁡ρn\ln \rho_{n}?

?
Примечание.
?

J. Hadamard, Journ. de Math., серия 4, т. 9, стр. 174, 1893.

Задача 4.42

Пусть mm — одно из целых положительных значений, принимаемых функцией ν(r)\nu (r), m>ν(0)m>\nu (0). Показать, что

ρm=Max⁡(∣a0am∣1m,∣a1am∣1m−1,…,∣am−1am∣). \rho _{m}=\operatorname {Max}\left(\left|\frac{a_{0}}{a_{m}}\right|^{\frac{1}{m}},\left|\frac{a_{1}}{a_{m}}\right|^{\frac{1}{m-1}}, \ldots ,\left|\frac{a_{m-1}}{a_{m}}\right|\right) .
?
Задача 4.43

Для того чтобы каждый член степенного ряда

a0+a1z+a2z2+…+anzn+… a_{0}+a_{1} z+a_{2} z^{2}+\ldots +a_{n} z^{n}+\ldots

играл для некоторого значения r>0r>0 роль максимального члена, необходимо и достаточно выполнение условий

0<∣a0a1∣⩽∣a1a2∣⩽∣a2a3∣⩽…⩽∣anan+1∣⩽…[31,I 117]. 0<\left|\frac{a_{0}}{a_{1}}\right| \leqslant \left|\frac{a_{1}}{a_{2}}\right| \leqslant \left|\frac{a_{2}}{a_{3}}\right| \leqslant \ldots \leqslant \left|\frac{a_{n}}{a_{n+1}}\right| \leqslant \ldots \quad [31, \text{I } 117] .
?
Задача 4.44

Показать, что центральный индекс ν(r)\nu (r) степенного ряда

1+eα−11αz+eα−12αz2+…+eα−1nαzn+…(0<α<1), 1+e^{\alpha ^{-1} 1^{\alpha }} z+e^{\alpha ^{-1} 2^{\alpha }} z^{2}+\ldots +e^{\alpha ^{-1} n^{\alpha }} z^{n}+\ldots \quad (0<\alpha <1),

сходящегося в круге ∣z∣<1\left|z\right|<1, принимает последовательно все значения 0,1,2,3,…0,1,2,3, \ldots Показать далее, что при r→1r \rightarrow 1 максимальный член этого ряда удовлетворяет асимптотическому соотношению

μ(r)∼exp⁡(1−αα(−1ln⁡r)α1−α). \mu (r) \sim \exp \left(\frac{1-\alpha }{\alpha }\left(-\frac{1}{\ln r}\right)^{\frac{\alpha }{1-\alpha }}\right) .
?
Задача 4.45

(Продолжение.) Показать, что при r→1r \rightarrow 1

∑n=0∞eα−1nαrn∼2πα1−α(α1−α)1−αα[ln⁡μ(r)]12+1−ααμ(r). \sum _{n=0}^{\infty } e^{\alpha ^{-1} n^{\alpha }} r^{n} \sim \frac{\sqrt{2 \pi \alpha }}{1-\alpha }\left(\frac{\alpha }{1-\alpha }\right)^{\frac{1-\alpha }{\alpha }}[\ln \mu (r)]^{\frac{1}{2}+\frac{1-\alpha }{\alpha }} \mu (r) .
?
Задача 4.46

Вычислить ρ1,ρ2,ρ3,…\rho_{1}, \rho_{2}, \rho_{3}, \ldots для всюду сходящегося степенного ряда

1+1−αz+2−2αz2+…+n−nαzn+… 1+1^{-\alpha } z+2^{-2 \alpha } z^{2}+\ldots +n^{-n \alpha } z^{n}+\ldots

(α>0)(\alpha >0) и показать, что при r→+∞r \rightarrow +\infty его максимальный член удовлетворяет асимптотическому соотношению

μ(r)∼exp⁡(αe−1r1α). \mu (r) \sim \exp \left(\alpha e^{-1} r^{\frac{1}{\alpha }}\right) .
?
Задача 4.47

(Продолжение.) Показать, что при фиксированном α>0\alpha >0 и r→+∞r \rightarrow +\infty

1+1−αr+2−2αr2+…+n−nαrn+…∼2πα[ln⁡μ(r)]12μ(r)[II 209]. 1+1^{-\alpha } r+2^{-2 \alpha } r^{2}+\ldots +n^{-n \alpha } r^{n}+\ldots \sim \frac{\sqrt{2 \pi }}{\alpha }[\ln \mu (r)]^{\frac{1}{2}} \mu (r) \quad [\text{II } 209] .
?
§
Задача 4.48

Пусть для некоторой целой функции f(z)f(z)

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

Показать, что вопрос о сходимости ряда

f(z)+f′(z)+f′′(z)+…=∑n=0∞dnf(z)dzn f(z)+f^{\prime }(z)+f^{\prime \prime }(z)+\ldots =\sum _{n=0}^{\infty } \frac{d^{n} f(z)}{d z^{n}}

решается в положительном или в отрицательном смысле или же остается открытым, смотря по тому, будет ли

l<1,l>1 или l=1. l<1, l>1 \text{ или } l=1 .
?
Задача 4.49

Показать, что если параллелограмм периодов функции Вейерштрасса σ(z)\sigma (z) представляет собой квадрат со стороной 11, то при r→∞r \rightarrow \infty имеем

N(r)∼πr2,ln⁡M(r)∼π2r2. N(r) \sim \pi r^{2}, \quad \ln M(r) \sim \frac{\pi }{2} r^{2} .
?
Примечание.
?

Hurwitz-Courant, стр. 174—1751.

Footnotes

  1. Гурвиц, стр. 238—240. Гурвиц—Курант, стр. 180—181. ↩

Задача 4.49.1

Существует целая функция, для которой

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

при n=1,2,3,…n = 1, 2, 3, \ldots (см. задачу 50 части I). Построить целую функцию, для которой

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

при n=1,2,3,…n = 1, 2, 3, \ldots.

?
Задача 4.49.1

Существует целая функция, для которой

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

при n=1,2,3,…n = 1, 2, 3, \ldots (см. задачу 50 части I). Построить целую функцию, для которой

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

при n=1,2,3,…n = 1, 2, 3, \ldots.

?
Задача 4.50

Определить для целых функций

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

пределы отношений

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

при r→∞r \rightarrow \infty (соответственно n→∞n \rightarrow \infty для первого); представить результат в виде таблицы.

?
Задача 4.51

Для всех целых функций

lim sup⁡r→∞ln⁡ln⁡μ(r)ln⁡r=lim sup⁡r→∞ln⁡ln⁡M(r)ln⁡r. \limsup _{r \rightarrow \infty } \frac{\ln \ln \mu (r)}{\ln r}=\limsup _{r \rightarrow \infty } \frac{\ln \ln M(r)}{\ln r} .

(Что имеет место ⩽\leqslant, — тривиально.) Общее значение этих двух пределов называют порядком целой функции.

?
Задача 4.52

Порядок целой функции можно также определить как показатель сходимости [I, гл. 3, § 2] последовательности ρ1,ρ2,…,ρn,…\rho_{1}, \rho_{2}, \ldots , \rho_{n}, \ldots

?
Задача 4.53

Порядок целой функции f(z)=∑n=0∞anznf(z)=\sum_{n=0}^{\infty } a_{n} z^{n} с положительными коэффициентами a0,a1,a2,…,an,…a_{0}, a_{1}, a_{2}, \ldots , a_{n}, \ldots можно также определить как

lim sup⁡r→∞ln⁡[rf′(r)f(r)−1]ln⁡r. \limsup _{r \rightarrow \infty } \frac{\ln \left[r f^{\prime }(r) f(r)^{-1}\right]}{\ln r} .
?
Задача 4.54

Для целых функций конечного порядка имеет место более сильное, чем в 51, соотношение

lim⁡r→∞ln⁡M(r)ln⁡μ(r)=1. \lim _{r \rightarrow \infty } \frac{\ln M(r)}{\ln \mu (r)}=1 .
?
Задача 4.55

Интеграл

∫t0∞μ(t)[M(t)]−ldt, \int _{t_{0}}^{\infty } \mu (t)[M(t)]^{-l} d t,

где t0>0t_{0}>0 и l>1l>1, сходится для всякой нерациональной целой функции.

?
Задача 4.56

Все целые функции обладают следующим свойством: для всякого заданного ε>0\varepsilon >0 существуют произвольно большие значения rr такие, что

M(r)<μ(r)[ln⁡μ(r)]12+ε. M(r)<\mu (r)[\ln \mu (r)]^{\frac{1}{2}+\varepsilon } .
?
Примечание.
?

A. Wiman, l. c. 1.

Задача 4.57

Целые функции конечного порядка λ\lambda обладают следующим свойством, более сильным, чем 56: для всякого заданного ε>0\varepsilon >0 существуют произвольно большие значения rr такие, что

M(r)<(λ+ε)2πln⁡μ(r)μ(r). M(r)<(\lambda +\varepsilon ) \sqrt{2 \pi \ln \mu (r)} \mu (r) .
?
Примечание.
?

A. Wiman, l. c. 1.

Задача 4.58

Порядок каждой целой функции рода нуль равен показателю сходимости последовательности ее нулей.

?
Задача 4.59

Для целой функции конечного порядка λ>0\lambda >0, центральный индекс которой обладает точками разрыва ρ1,ρ2,ρ3,…,ρn,…\rho_{1}, \rho_{2}, \rho_{3}, \ldots , \rho_{n}, \ldots, распределенными регулярно в смысле II, гл. 4, § 1, lim⁡r→∞ν(r)ln⁡μ(r)\lim_{r \rightarrow \infty } \frac{\nu (r)}{\ln \mu (r)} существует и равен λ\lambda.

?
Примечание.
?

По поводу 59—63 см. также G. Pólya, Math. Ann., т. 88, стр. 177—183, 1923.

Задача 4.60

Для целых функций конечного порядка λ>0\lambda >0 независимо от особых предположений относительно регулярности имеют место неравенства

lim inf⁡r→∞ν(r)ln⁡μ(r)⩽λ⩽lim sup⁡r→∞ν(r)ln⁡μ(r). \liminf _{r \rightarrow \infty } \frac{\nu (r)}{\ln \mu (r)} \leqslant \lambda \leqslant \limsup _{r \rightarrow \infty } \frac{\nu (r)}{\ln \mu (r)} .
?
Задача 4.61

Пусть λ\lambda, 0<λ<10<\lambda <1, — показатель сходимости последовательности r1,r2,…,rn,…r_{1}, r_{2}, \ldots , r_{n}, \ldots, регулярной в смысле II, гл. 4, § 1. Показать, что для целой функции рода нуль

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

имеет место предельное соотношение

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

при всяком фиксированном ϑ\vartheta, −π<ϑ<π-\pi <\vartheta <\pi.

?
Задача 4.62

Для целой функции задачи 61 независимо от предположения регулярности распределения последовательности r1,r2,…,rn,…r_{1}, r_{2}, \ldots , r_{n}, \ldots имеет место неравенство

lim sup⁡r→∞N(r)ln⁡M(r)⩾sin⁡πλπ. \limsup _{r \rightarrow \infty } \frac{N(r)}{\ln M(r)} \geqslant \frac{\sin \pi \lambda }{\pi } .
?
Задача 4.63

Для каждой целой функции, последовательность нулей которой обладает конечным показателем сходимости λ\lambda,

lim inf⁡r→∞N(r)ln⁡M(r)⩽λ. \liminf _{r \rightarrow \infty } \frac{N(r)}{\ln M(r)} \leqslant \lambda .
?
Задача 4.64

Пусть f(z)f(z) — целая функция и G(r)\mathfrak {G}(r), соответственно g(r)\mathfrak {g}(r), геометрическое среднее модуля f(z)f(z) на окружности ∣z∣=r\left|z\right|=r, соответственно в круге ∣z∣⩽r\left|z\right| \leqslant r [III 121]. Если модули нулей функции f(z)f(z) распределены регулярно [II, гл. 4, § 1], то тогда

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

где λ\lambda означает показатель сходимости последовательности нулей, 0<λ<∞0<\lambda <\infty. Для полиномов интересующий нас предел точно так же существует и равен e−12e^{-\frac{1}{2}}.

?
Задача 4.65

(Продолжение.) Независимо от предположения регулярности распределения нулей имеют место неравенства

lim inf⁡r→∞(g(r)G(r))1N(r)⩽e−1λ+2⩽lim sup⁡r→∞(g(r)G(r))1N(r). \liminf _{r \rightarrow \infty }\left(\frac{\mathfrak {g}(r)}{\mathfrak {G}(r)}\right)^{\frac{1}{N(r)}} \leqslant e^{-\frac{1}{\lambda +2}} \leqslant \limsup _{r \rightarrow \infty }\left(\frac{\mathfrak {g}(r)}{\mathfrak {G}(r)}\right)^{\frac{1}{N(r)}} .
?
Задача 4.66

Пусть f(z)f(z) — целая функция конечного порядка λ\lambda и M(r)\mathfrak {M}(r), соотв. m(r)\mathfrak {m}(r), — арифметическое среднее ∣f(z)∣2\left|f(z)\right|^{2} на окружности ∣z∣=r\left|z\right|=r, соответственно в круге ∣z∣⩽r\left|z\right| \leqslant r. Тогда

lim inf⁡r→∞(m(r)M(r))1ln⁡r=e−λ. \liminf _{r \rightarrow \infty }\left(\frac{\mathfrak {m}(r)}{\mathfrak {M}(r)}\right)^{\frac{1}{\ln r}}=e^{-\lambda } .
?
§
Задача 4.67

Пусть целая функция

f(z)=a0+a1z+a2z2+…+anzn+… f(z)=a_{0}+a_{1} z+a_{2} z^{2}+\ldots +a_{n} z^{n}+\ldots

удовлетворяет условию

lim⁡r→∞r−αln⁡M(r)=a, \lim _{r \rightarrow \infty } r^{-\alpha } \ln M(r)=a,

где α\alpha и aa — положительные постоянные. Доказать, что

?
(1)

если b>ab>a, то при достаточно больших nn

∣an∣<(αben)nα; \left|a_{n}\right|<\left(\frac{\alpha b e}{n}\right)^{\frac{n}{\alpha }} ;
(2)

каковы бы ни были фиксированные kk и ε\varepsilon, где kk вещественно, 0<ε<10<\varepsilon <1, всегда существует такое δ>0\delta >0, что, начиная с некоторого значения rr,

(∑1αarα(1−ε)+∑αarα(1+ε)∞)nk∣an∣rn<M(r)e−δrα. \left(\sum _{1}^{\alpha a r^{\alpha }(1-\varepsilon )}+\sum _{\alpha a r^{\alpha }(1+\varepsilon )}^{\infty }\right) n^{k}\left|a_{n}\right| r^{n}<M(r) e^{-\delta r^{\alpha }} .

Если бы мы взяли k=0k=0 и произвели суммирование от 00 до ∞\infty, не выбрасывая центральной части ряда, то сумма была бы больше или равна M(r)M(r). Это означает, что центральная часть ряда значительно перевешивает оба его «фланга».

Задача 4.68

Если для целой функции имеет место одно из трех предельных соотношений

  1. ln⁡M(r)∼arα\ln M(r) \sim a r^{\alpha },

  2. ln⁡μ(r)∼arα\ln \mu (r) \sim a r^{\alpha },

  3. ν(r)∼αarα\nu (r) \sim \alpha a r^{\alpha }, то имеют место также два других (r→∞r \rightarrow \infty, aa и α\alpha — положительные постоянные). Без предположений о регулярности распределения имеют место 51, 54, 35, 60.

?
Задача 4.69

Если коэффициенты a0,a1,a2,…a_{0}, a_{1}, a_{2}, \ldots целой функции f(z)f(z) задачи 67 положительны и удовлетворяют неравенствам

a0⩾a1⩾a2⩾…⩾an⩾…, a_{0} \geqslant a_{1} \geqslant a_{2} \geqslant \ldots \geqslant a_{n} \geqslant \ldots ,

то можно утверждать, что

ln⁡an∼−nln⁡nα; \ln a_{n} \sim -\frac{n \ln n}{\alpha } ;

если же они удовлетворяют неравенствам

a1a0⩾a2a1⩾a3a2⩾…⩾an+1an⩾…, \frac{a_{1}}{a_{0}} \geqslant \frac{a_{2}}{a_{1}} \geqslant \frac{a_{3}}{a_{2}} \geqslant \ldots \geqslant \frac{a_{n+1}}{a_{n}} \geqslant \ldots ,

то тогда, более того,

ann∼(αaen)1α. \sqrt[n]{a_{n}} \sim \left(\frac{\alpha a e}{n}\right)^{\frac{1}{\alpha }} .
?
(1)
(2)
Задача 4.70

Присоединим к предположениям задачи 67, что an⩾0a_{n} \geqslant 0 для n=0,1,2,…n=0,1,2, \ldots Тогда для всякого фиксированного вещественного kk

lim⁡r→∞∑n=1∞nkanrn(αarα)kf(r)=1. \lim _{r \rightarrow \infty } \frac{\sum _{n=1}^{\infty } n^{k} a_{n} r^{n}}{\left(\alpha a r^{\alpha }\right)^{k} f(r)}=1 .
?
Задача 4.71

В предположениях задач 67, 70 предельное соотношение

ln⁡f(r)∼arα \ln f(r) \sim a r^{\alpha }

можно «продифференцировать», т. е. заключить из его наличия, что

f′(r)f(r)∼αarα−1. \frac{f^{\prime }(r)}{f(r)} \sim \alpha a r^{\alpha -1} .
?
Задача 4.72

(Обобщение теоремы I 94.) Пусть

b0+b1z+b2z2+…+bnzn+…=f(z) b_{0}+b_{1} z+b_{2} z^{2}+\ldots +b_{n} z^{n}+\ldots =f(z)

— всюду сходящийся степенной ряд. Показать, что если

bn>0(n=0,1,2,…),lim⁡r→+∞r−βln⁡f(r)=b,lim⁡n→∞annkbn=s b_{n}>0 \quad (n=0,1,2, \ldots ), \quad \lim _{r \rightarrow +\infty } r^{-\beta } \ln f(r)=b, \quad \lim _{n \rightarrow \infty } \frac{a_{n}}{n^{k} b_{n}}=s

(β\beta, bb — положительные, kk и ss — любые вещественные постоянные), то

lim⁡r→+∞a0+a1r+a2r2+…+anrn+…(βbrβ)kf(r)=s. \lim _{r \rightarrow +\infty } \frac{a_{0}+a_{1} r+a_{2} r^{2}+\ldots +a_{n} r^{n}+\ldots }{\left(\beta b r^{\beta }\right)^{k} f(r)}=s .
?
Задача 4.73

Показать, что при r→+∞r \rightarrow +\infty

J0(ir)=∑n=0∞1n!n!(r2)2n∼2πr∑n=0∞r2n(2n)!∼er2πr. (II 204.)  J_{0}(i r)=\sum _{n=0}^{\infty } \frac{1}{n!n!}\left(\frac{r}{2}\right)^{2 n} \sim \sqrt{\frac{2}{\pi r}} \sum _{n=0}^{\infty } \frac{r^{2 n}}{(2 n)!} \sim \frac{e^{r}}{\sqrt{2 \pi r}} \text{. (II 204.) }
?
Задача 4.74

Пусть a1,a2,…,ap,b1,b2,…,bqa_{1}, a_{2}, \ldots , a_{p}, b_{1}, b_{2}, \ldots , b_{q} — вещественные постоянные, отличные от 0,−1,−2,−3,…0,-1,-2,-3, \ldots, и p<qp<q, далее

P(z)=(z+a1−1)(z+a2−1)…(z+ap−1),Q(z)=(z+b1−1)(z+b2−1)…(z+bq−1). \begin{aligned} & P(z)=\left(z+a_{1}-1\right)\left(z+a_{2}-1\right) \ldots \left(z+a_{p}-1\right), \\ & Q(z)=\left(z+b_{1}-1\right)\left(z+b_{2}-1\right) \ldots \left(z+b_{q}-1\right) . \end{aligned}

Показать, что при r→∞r \rightarrow \infty сумма всюду сходящегося степенного ряда

1+P(1)Q(1)r+P(1)P(2)Q(1)Q(2)r2+…+P(1)P(2)…P(n)Q(1)Q(2)…Q(n)rn+… 1+\frac{P(1)}{Q(1)} r+\frac{P(1) P(2)}{Q(1) Q(2)} r^{2}+\ldots +\frac{P(1) P(2) \ldots P(n)}{Q(1) Q(2) \ldots Q(n)} r^{n}+\ldots

асимптотически равна

Γ(b1)Γ(b2)…Γ(bq)Γ(a1)Γ(a2)…Γ(ap)(2π)1−l2l−12r2Δ+l+12lelr1l, \frac{\Gamma \left(b_{1}\right) \Gamma \left(b_{2}\right) \ldots \Gamma \left(b_{q}\right)}{\Gamma \left(a_{1}\right) \Gamma \left(a_{2}\right) \ldots \Gamma \left(a_{p}\right)}(2 \pi )^{\frac{1-l}{2}} l^{-\frac{1}{2}} r^{\frac{2 \Delta +l+1}{2 l}} e^{l r^{\frac{1}{l}}},

где

l=q−p,Δ=a1+a2+…+ap−b1−b2−…−bq. l=q-p, \quad \Delta =a_{1}+a_{2}+\ldots +a_{p}-b_{1}-b_{2}-\ldots -b_{q} .
?
Задача 4.75

Получить асимптотическую формулу задачи 74 без помощи теоремы 72, опираясь на 194 и II 207.

?
Задача 4.76

Пусть все коэффициенты a0,a1,a2,…,an,…a_{0}, a_{1}, a_{2}, \ldots , a_{n}, \ldots степенного ряда a0+a1z+a2z2+…+anzn+…a_{0}+a_{1} z+a_{2} z^{2}+\ldots +a_{n} z^{n}+\ldots положительны и удовлетворяют условию

lim⁡n→∞n(an2an−1an+1−1)=1λ(0<λ<∞). \lim _{n \rightarrow \infty } n\left(\frac{a_{n}^{2}}{a_{n-1} a_{n+1}}-1\right)=\frac{1}{\lambda } \quad (0<\lambda <\infty ) .

(Этому условию удовлетворяет, например, ряд 74.) Доказать, что

?
(1)

указанный ряд представляет целую функцию порядка λ\lambda;

(2)

ν(r)∼λln⁡μ(r)\nu (r) \sim \lambda \ln \mu (r) при r→∞r \rightarrow \infty;

(3)

намеченные в плоскости xx, yy точки с прямоугольными координатами

(lν(r),aν(r)+lrν(r)+lμ(r)),l=−ν(r),−ν(r)+1,…,−1,0,1,2,… \left(\frac{l}{\sqrt{\nu (r)}}, \frac{a_{\nu (r)+l} r^{\nu (r)+l}}{\mu (r)}\right), \quad l=-\nu (r),-\nu (r)+1, \ldots ,-1,0,1,2, \ldots

стремятся в своей совокупности к гауссовой кривой распределения ошибок, т. е.

lim⁡r→∞aν(r)+lrν(r)+lμ(r)=e−x22λ, если lim⁡r→∞lν(r)=x. \lim _{r \rightarrow \infty } \frac{a_{\nu (r)+l} r^{\nu (r)+l}}{\mu (r)}=e^{-\frac{x^{2}}{2 \lambda }}, \quad \text{ если } \quad \lim _{r \rightarrow \infty } \frac{l}{\sqrt{\nu (r)}}=x .

Сравнить с площадью под гауссовой кривой распределения сумму площадей прямоугольников с нижними основаниями ν(r)−12\nu (r)^{-\frac{1}{2}} на оси xx и с верхними основаниями, делящимися пополам точками, указанными в 3).