Целая функция

Целая функция — функция, регулярная во всей комплексной плоскости. Типичным примером целой функции может служить многочлен или экспонента, а также суммы, произведения и суперпозиции этих функций. Ряд Тейлора целой функции сходится во всей плоскости комплексного переменного. Логарифм, квадратный корень не являются целыми функциями.

Отметим, что целая функция может иметь особенность (в т.ч. даже существенную особенность) в бесконечности. Как следует из теоремы Лиувилля, функция, которая не имеет особых точек на всей расширенной комплексной плоскости, должна быть постоянной (это свойство может быть использовано для элегантного доказательства основной теоремы алгебры).

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

Малая теорема Пикара значительно усиливает теорему Лиувилля: не равная тождественно постоянной целая функция принимает все комплексные значения, кроме, возможно, одного. Примером является экспоненциальная функция, принимающая в качестве значений все комплексные числа, кроме нуля.

Дж. Литлвуд в одной из своих книг указывает сигма-функцию Вейерштрасса в качестве «типичного» примера целой функции.

Случай нескольких комплексных переменных

Целая функция может рассматриваться в $\mathbb {C} ^{n}$. пусть $k$ — мультииндекс, $z\in \mathbb {C} ^{n}$

Понятие сходимости ряда

$\sum _{|k|=0}^{\infty }a_{k}z^{k}(*)$

зависит от способа нумерации членов, поэтому говоря о сходимости этого ряда имеется в виду абсолютная сходимость: $\sum _{|k|=0}^{\infty }|a_{k}||z^{k}|<\infty$

Таким образом, если ряд (*) сходится в $\mathbb {C} ^{n}$, то функция, представимая этим рядом, называется целой.

Разложение в бесконечное произведение

Подобно тому, как мероморфные функции могут рассматриваться в качестве обобщения рациональных дробей, целые функции можно рассматривать как обобщение многочленов. В частности, если для мероморфных функций можно обобщить разложение на простейшие дроби (теорема Миттаг-Леффлера о разложении мероморфной функции), то для целых функций существует обобщение разложения на множители — теорема Вейерштрасса о целых функциях.

Пространство целых функций

Все целые функции образуют линейное пространство. Пространство целых функций обозначают как $E$ (от слова entire) и $E_{n}$ для случая $C^{n}$.

(В более новой литературе пространство целых функций обозначается $H$)

Порядок целой функции

Пусть $M(r)=\max _{|z|=r}\left|f(z)\right|$

Целая функция $f(x)$ называется целой функцией конечного порядка, если существует $\mu >0$ такое, что выполняется асимптотическое неравенство $M(r)<\exp(r^{\mu })$ (*)

Порядок целой функции $f(z)$ — это число $\rho \geq 0:$ $\rho =\inf \left\{\mu \right\}$

Для целой функции, обладающей конечным порядком $p$ и родом $q$ справедливо следующее соотношение: $p\leq q\leq p+1$. На самом деле, из конечности одной из характеристик следует конечность второй.

Тип целой функции

Целая функция $f(z)$ имеет конечный тип при порядке $\rho$, если $\exists a>0$, что

$M(r)<_{ac.}e^{ar^{\rho }}$

Тип целой функции $f(z)$ при порядке $\rho$ - это число $\sigma \geq 0$:

$\sigma =\inf \left\{a>0:M(r)<_{ac.}e^{ar^{\rho }}\right\}$

из определения следует что:

$\sigma =\limsup _{r\rightarrow \infty }{\frac {\ln(M(r))}{r^{\rho }}}.$

1. Если для данного $0<\rho <\infty$ тип $f(z)$ бесконечен, то говорят, что $f(z)$ максимального типа.
2. Если $0<\sigma <\infty$, то $f(z)$ - нормального типа.
3. Если $\sigma =0$, то $f(z)$ - минимального типа.

Целая функция экспоненциального типа

Целая функция порядка $\rho =1$ и нормального типа называется целой функцией экспоненциального типа.

Пространство ц.ф.э.т. часто обозначают как $P$.

Функция, ассоциированная по Борелю

Пусть ц.ф.э.т. представляется в виде:

$f(z)=\sum _{k=0}^{\infty }{\frac {a_{k}}{k!}}z^{k}$

Каждой ц.ф.э.т. ставится в соответствие функция:

$\gamma (t)=\sum _{k=0}^{\infty }{\frac {a_{k}}{t^{k+1}}}$

функцию $\gamma (z)$ называют ассоциированной по Борелю. Этот ряд сходится при $|t|>\sigma$, а на границе имеется, по меньшей мере, одна особенность функции $\gamma (t)$