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

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

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

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

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

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

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

Содержание 1 Случай нескольких комплексных переменных 2 Разложение в бесконечное произведение 3 Пространство целых функций 4 Порядок целой функции

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

Целая функция может рассматриваться в Cⁿ. пусть k - мультииндекс,

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

зависит от способа нумерации членов, поэтому говоря о сходимости этого ряда имеется в виду абсолютная сходимость:

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

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

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

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

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

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

Пусть

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

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

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