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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

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

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

Случай нескольких комплексных переменных[править | править вики-текст]

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

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

\sum_{|k|=0}^\infty a_kz^k(*)

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

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

Разложение в бесконечное произведение[править | править вики-текст]

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

Пространство целых функций[править | править вики-текст]

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

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

Порядок целой функции[править | править вики-текст]

Пусть 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\le q\le 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)