1. Целые функции
φ |
≤ |
|
π. Приравнивая нулю производную G′(φ) = |
|
|
− |
4 sin 2φ + |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
+ 2 cos 2φ |
|
= |
0, приходим к |
равенству |
tg 2φ = |
1 |
. Решения |
||||||||||||||||||||||||
|
2 |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
этого тригонометрического уравнения будут иметь вид φ = φ + |
|||||||||||||||||||||||||||||||
|
|
π |
|
|
|
|
|
|
|
1 |
|
1 |
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|||||
+ |
|
|
k, |
|
где |
0 |
< φ = |
|
arctg ( |
|
) |
< |
|
, k Z. В интервал |
|||||||||||||||||
|
2 |
2 |
2 |
2 |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и φ + |
π |
|
|
|
|
|
|
|||
0 ≤ φ ≤ π попадают два значения: φ |
|
|
. Построим |
||||||||||||||||||||||||||||
2 |
|||||||||||||||||||||||||||||||
прямоугольный треугольник с катетами 1, 2 и гипотенузой √ |
|
. |
|||||||||||||||||||||||||||||
5 |
|||||||||||||||||||||||||||||||
Пользуясь этим треугольником, найдем |
cos 2φ = 2 |
|
, |
sin 2φ = |
|||||||||||||||||||||||||||
|
√ |
|
|
|
|
|
|||||||||||||||||||||||||
|
5 |
|
√ |
|
|
||||||||||||||||||||||||||
|
|
|
|
1 |
|
. Заметим, что G(0) |
= 2, |
|
= 2, G(φ ) = |
|
, |
||||||||||||||||||||
= |
|
|
|
|
|
G(π) |
5 |
||||||||||||||||||||||||
|
|
√5 |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
( |
|
|
|
|
|
π |
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
G φ |
+ |
2 |
|
= − 5. Следовательно, φ |
доставляет максимум |
||||||||||||||||||||||||||
функции G(φ) на рассматриваемом интервале. Тогда M(r; f) = |
|
= e√5r2 . Окончательно находим |
|
ϱf = 2, σf = √5. |
(1.29) |
Задача 1.4. Найти порядок и тип целой функции f(z) = sin z+ + e2z.
Решение. Действуя так же как и при решении примера 1.2,
получаем ϱsin z = 1, σsin z = 1. Далее имеем ϱe2z |
= 1, σe2z = 2. |
Пользуясь утверждением 1.2, находим ответ задачи |
|
ϱf = 1, σf = 2. |
(1.30) |
Задача 1.5. Найти порядок и тип целой функции f(z),
заданной степенным рядом |
|
|
|
|
|
∞ |
( |
ln n |
) |
αn |
|
∑ |
|
zn, |
(1.31) |
||
f(z) = n=1 |
n |
где α > 0.
11
1. Целые функции
Решение. Воспользовавшись соотношением (1.13), получим
|
|
|
|
|
|
|
n ln n |
|
|
|
ln n |
|
|
||
|
|
|
|
|
|
|
|
|
|
||||||
ϱ = −nlim |
|
|
= − nlim |
|
|
|
= |
||||||||
|
ln n αn |
|
ln n |
|
|||||||||||
|
|
|
→∞ln |
n |
|
|
→∞ α ln |
n |
|
|
|||||
= |
1 |
lim |
|
(ln n) |
= |
1 |
. |
|
( |
) |
|
||||
|
|
|
|
|
|
||||||||||
|
α n→∞ ln n − ln ln n |
|
α |
|
|
|
|||||||||
Целая функция f(z) имеет конечный положительный порядок. Вычислим ее тип:
(σeϱ)α = lim nα (ln n)α = lim (ln n)α = ∞.
n→∞ n n→∞
Таким образом, ответ исходной задачи имеет вид
ϱf = |
1 |
, σf = ∞. |
α |
Задача 1.6. Найти порядок и тип целой функции f(z)
√
= cos z.
1
Ответ: ϱf = 2 , σf = 1.
Задача 1.7. Найти порядок и тип целой функции f(z) = ez sin z.
√
Ответ: ϱf = 1, σf = 2.
Задача 1.8. Найти порядок и тип целой функции f(z) = e5z
+ 6e2z4 .
Ответ: ϱf = 4, σf = 2.
=
=
+
Задача 1.9. Пусть целая трансцендентная функция f(z) имеет порядок 0 < ϱf < ∞ и тип σf . Найти порядок и тип функции g(z) = P (z)+Q(z)f(z), где P (z), Q(z) ̸≡0 — некоторые многочлены.
12
2. Разложение целых функций в бесконечные произведения
Ответ: ϱg = ϱf , σg = σf .
Задача 1.10. Найти порядок целой функции f(z), заданной степенным рядом
|
∑ |
|
f(z) = |
∞ e−n2 zn. |
(1.32) |
n=0
Ответ: ϱf = 0.
Задача 1.11. Найти порядок и тип целой функции f(z), заданной степенным рядом
|
|
∞ |
1 |
|
αn |
|
|
|
|
∑ |
( |
|
) |
zn, |
(1.33) |
|
|
f(z) = n=2 |
n ln n |
||||
где α > 0. |
|
|
|
|
|
|
|
Ответ: ϱf = |
1 |
, σf = 0. |
|
|
|
|
|
α |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
Задача 1.12. Найти порядок и тип целой функции f(z),
заданной степенным рядом |
∞ |
ch √nzn. |
|
||
f(z) = |
(1.34) |
||||
|
∑ |
|
|
|
|
|
n=0 |
n! |
|
||
Указание. Воспользоваться формулой Стирлинга, дающей асимптотическое представление для факториала.
Ответ: ϱf = 1, σf = 1.
2.Разложение целых функций в бесконечные произведения
Вэтом разделе мы будем интересоваться общим видом целой трансцендентной функции в зависимости от поведения последовательности ее нулей. Нетрудно убедиться в том, что количество нулей целой функции f(z) ̸≡const конечно или счетно. Прежде всего рассмотрим случай конечного числа нулей.
13
2. Разложение целых функций в бесконечные произведения
Теорема 2.1. Каждую целую трансцендентную функцию f(z), имеющую нули кратности k1, . . ., kn в точках z1, . . ., zn (zj ≠ ≠ zk, j ≠ k) и только в них, можно представить в виде
f(z) = (z − z1)k1 . . . (z − zn)kn eg(z), |
(2.1) |
где g(z) — некоторая целая функция.
Из этой теоремы следует, что целая трансцендентная функция, вообще не имеющая нулей, выглядит следующим образом: f(z) = eg(z), где g(z) — целая функция.
Пусть теперь целая трансцендентная функция f(z) обладает бесконечным множеством нулей. В каждом круге |z| ≤ R будет содержаться лишь конечное число нулей. Следовательно, их все можно пронумеровать в порядке неубывающих модулей. Пусть f(0) ≠ 0. Тогда, повторяя каждый нуль столько раз, какова его кратность, получим последовательность комплексных чисел
Z = {z1, z2, . . . , zn, . . .}, |
(2.2) |
обладающую свойствами 0 < |zn| ≤ |zn+1|, lim |zn| = ∞. Если
n→∞
же f(0) = 0, то функция f(z) будет иметь в начале координат еще один нуль некоторой кратности λ N. Справедливо утверждение, обобщающее теорему 2.1 на случай бесконечного числа нулей.
Теорема 2.2. Каждую целую трансцендентную функцию f(z) с нулями в точках последовательности Z и, быть может, в начале координат, можно представить в виде
∞ |
(1 − |
|
)epk(z), |
|
∏ |
z |
|
||
f(z) = eg(z)zλ k=1 |
zk |
(2.3) |
||
где g(z) – некоторая целая функция, λ |
N+, а pk(z) |
|||
— многочлены, обеспечивающие сходимость бесконечного произведения.
14
2. Разложение целых функций в бесконечные произведения
Отметим, что под (равномерной) сходимостью бесконечного произведения понимается (равномерная) сходимость последовательности частичных произведений. Можно показать, что при надлежащем выборе многочленов, бесконечное произведение в соотношении (2.3) равномерно сходится на любом компакте K C. В самом общем случае в качестве многочлена pk(z) можно взять выражение
|
z |
|
z2 |
|
zk |
(2.4) |
|
pk(z) = |
|
+ |
|
+ . . . + |
|
, |
|
zk |
2z2 |
kzk |
|||||
|
|
|
k |
|
k |
|
|
отличающееся знаком от суммы первых k членов ряда Тейлора
( )
для функции ln 1 − z в окрестности точки z = 0. zk
Если целая трансцендентная функция f(z) имеет конечный порядок ϱ < ∞, то формулы (2.3), (2.4) допускают упрощения. Во-первых, целая функция g(z) на самом деле является многочленом, причем deg g(z) ≤ [ϱ]. Во-вторых, многочлены, стоящие в показателе экспоненты, можно выбрать так, чтобы их степень не возрастала бесконечно вместе с ростом k, но сохраняла одно и то же значение, которое связано с величинами параметра µ, обеспечивающими сходимость числового ряда вида
∞ |
| |
| |
|
|
∑ |
|
|
||
I = |
|
1 |
. |
(2.5) |
|
zk µ |
|||
k=1 |
|
|
|
|
|
|
|
|
Точная нижняя грань значений µ, для которых ряд I сходится, называется показателем сходимости последовательности Z. Обозначим эту точную нижнюю грань символом τ. Таким образом, τ является неотрицательным числом и определяется по правилу
∞ |
|
1 |
|
|
|
|
∑ |
|
|
|
|
|
(2.6) |
| |
zk |
| |
µ < ∞. |
|||
τ = inf µ : |
|
|
||||
k=1 |
|
|
|
|
|
≤ ϱ и |
Можно показать, что справедливы |
|
неравенство τ |
||||
15