Материал: Демина Тселые и мероморфные функтсии 2015

2. Разложение целых функций в бесконечные произведения

Показатель сходимости τ, вообще говоря, не является целым. В то же время, существует число { N+, задаваемое следующими условиями. Ряд I расходится при µ = { и сходится при µ = {+1, т.е.

Другими словами, { — это наибольшее целое число, для которого ряд I при µ = { расходится. Имеет место неравенство { ≤ ≤ [τ]. Тогда многочлены pk(z) в формуле (2.3) можно определить следующим образом:

Следовательно, целая трансцендентная функция конечного порядка ϱ < ∞ представима в виде

характеризует целую трансцендентную функцию f(z) конечного порядка. Любое другое подобное представление для этой же самой функции f(z) отличается от (2.10) перенумерацией нулей с одинаковым модулем и наличием аддитивного слагаемого 2πim, m Z в многочлене p(z).

Вейерштрасс доказал теорему обратную по отношению к теореме 2.2.

16

2. Разложение целых функций в бесконечные произведения

Теорема 2.3 (Теорема Вейерштрасса). Для любой последовательности комплексных чисел вида Z всегда существует целая трансцендентная функция f(z), нули которой совпадают с числами этой последовательности.

Отметим еще одно важное свойство целых трансцендентных функций.

Теорема 2.4 (Малая теорема Пикара). Целая трансцендентная функция f(z) принимает любое конечное значение A C за исключением, быть может, одного в бесконечном множестве точек.

Из малой теоремы Пикара следует, что уравнение

имеет бесконечно много решений для всех значений A C кроме, возможно, одного, которое принято называть исключительным. Пусть для целой трансцендентной функции f(z) существует значение A0 C, принимаемое в конечном числе точек z1, . . . , zn с кратностями k1, . . . , kn. Тогда имеет место соотношение

Если же уравнение (2.11) не имеет решений при некотором A0C, то целая функция f(z) выглядит следующим образом:

В равенствах (2.12) и (2.13) g(z) — некоторая целая функция.

Задача 2.1. Разложить целую функцию f(z) = sin z в бесконечное произведение.

17

2. Разложение целых функций в бесконечные произведения

(см. раздел 1). Он конечен и равен 1, поэтому мы можем воспользоваться тем фактом, что в соотношении (2.3) функция g(z) является многочленом, степень которого не превосходит единицы. Положим g(z) = C1z + C0. Для определения многочленов {pk(z)}, стоящих в показателе экспонент, нам необходимо рассмотреть ряд

k=1

Этот ряд расходится при µ = 1 и сходится при µ = 2. Следовательно, { = 1. Тогда

Нам осталось определить параметры eC0 и C1. Заметим, что функция

является четной. Следовательно, при любых значениях z C справедливо равенство

В результате находим C1 = 0. Далее в соотношении (2.15) перейдем к пределу при z → 0, получим eC0 = 1. Тогда ответ исходной задачи примет вид

18

2. Разложение целых функций в бесконечные произведения

Задача 2.2. Разложить целую функцию f(z) = ez − 1 в бесконечное произведение.

Решение. Найдем нули функции f(z) = ez −1. Имеем z = 2πki, k Z. Все нули простые, поэтому последовательность Z имеет вид: Z = {2πi, −2πi, 4πi, −4πi, . . .}. Порядок ϱ функции f(z) = = ez −1 конечен и равен 1. Тогда в соотношении (2.3) мы можем положить g(z) = C1z + C0. Как и в примере 2.1 ряд

k=1

расходится при µ = 1 и сходится при µ = 2, поэтому { = 1. Тогда

Перейдем в этом равенстве к пределу при z → 0, в результате найдем eC0 = 1. Далее, чтобы определить коэффициент C1, рассмотрим функцию

19

2. Разложение целых функций в бесконечные произведения

где мы уже учли, что eC0 = 1, и вычислим предел при z → 0.

Задача 2.3. Разложить целую функцию f(z) = ch z − cos z в бесконечное произведение.

Решение. Будем искать нули функции f(z) = ch z−cos z. С этой целью воспользуемся соотношениями:

Таким образом, множество нулей функции f(z) состоит из всех корней уравнений e(1+i)z = 1 и e(1−i)z = 1. Решая эти уравнения,

получаем z = (1 + i)πn и z = (1 − i)πm, где n, m Z. Далее нам требуется определить кратности нулей. Вычисляя производную

20