Материал: LS-Sb87079

Подставим это разложения в интеграл и поменяем местами интеграл и сумму:

Доказанная формула позволяет дать еще одно эквивалентное определение аналитичности: функция является аналитической в области, если она допускает разложение в ряд Тейлора в окрестности любой точки.

Описанные локальные свойства аналитических функций оказывают существенное влияние на поведение функции в целом.

4. ТЕОРЕМА ЕДИНСТВЕННОСТИ. АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ

Аналитические функции в некотором отношении очень похожи на многочлены.

Теорема. Нули аналитической функции, отличной от тождественного нуля, изолированы, т. е. у каждой точки, где аналитическая функция обращается в ноль, существуетокрестность, несодержащаядругихнулейэтойфункции.

Доказательство. Пусть функция f аналитична в окрестности точки z0 и f (z0) 0 , тогда найдется достаточно малый круг z : z z0 r , в котором функция допускает разложение в ряд Тейлора. Из предположения f (z0) 0 следует, что c0 0 , но поскольку функция не равна нулю тождественно, то существуют ненулевые коэффициенты. Пусть cm – первый из них, тогда ряд Тейлора этой функции можно представить в виде

ция имеет единственный корень z0 .

Основная теорема алгебры утверждает, что многочлен n -й степени имеет n корней. Аналитическая функция как многочлен «бесконечной» степени может иметь бесконечное число корней, например sin( k) 0,

k . Но существует жесткое ограничение на расположение корней: они не могут сгущаться.

16

Теорема единственности. Если функция f является аналитической в

области G и f (zn ) 0, zn G, nlim zn z0, z0 G , то f (z) 0.

Доказательство. В силу непрерывности f (z0) 0 , и точка z0 оказывается корнем функции, в любой окрестности которого имеются другие корни. Такое возможно только для f (z) 0.

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

Определение. Если функция f является аналитической в круге

разлагается в ряд Тейлора в круге z : z z1 r1 . Если эту процедуру можно продолжать и за конечное число шагов перейти в точку z* , то говорят, что функция f допускает аналитическое продолжение из точки z0 в точку z* .

Разумеется, такая процедура для многочленов возможна всегда, но для аналитических функций общего вида это не так. Функцию f (z) 1/ z невоз-

из точки z0 1 и вернуться в ту же точку z* 1, но при этом окажется, что

значение функции будет другим. Процедура аналитического продолжения выводит на многолистные аналитические функции. Это полезные и важные объекты, познакомиться с ними можно по книге [3].

Рассмотренные свойства составляют исчерпывающую картину поведения аналитической функции во внутренних точках области аналитичности. Теперь следует обратиться к рассмотрению точек, где аналитичность нарушается.

5. ОСОБЫЕ ТОЧКИ. РЯДЫ ЛОРАНА

Функция, аналитическая в точке, обязательно аналитична в некоторой окрестности этой точки, но это не означает, что функцию можно продолжить в любую точку, двигаясь от окрестности к окрестности. Дело в том, что размер окрестности может быть очень маленьким. Рассмотрим пример того, как мо-

функции при приближении к границе области аналитичности может быть очень сложным, эти вопросы выходят далеко за рамки вводного курса.

Другая причина потери аналитичности связана с невозможностью определить функцию как однозначную в окрестности точки. Нельзя отказаться от рассмотрения этой ситуации, потому что она возникает при решении квад-

ратных уравнений. Рассмотрим функцию f (z) z . Напомним, что можно определить корень двумя способами (две ветви корня):

Вычислим значения f1 в двух близких точках:

f1 ei ei /2, f1 ei(2 ) ei( /2) .

Если 0 , то оба аргумента стремятся к 1, но значения функций стремятся соответственно к 1 и к –1. Такие точки называют точками ветвления.

Здесь будет рассмотрен только простейший вариант нарушения аналитичности.

Определение. Точка z0 называется изолированной особой точкой функции, если существует число r 0 такое, что в «проколотом круге»z : 0 z z0 r функция аналитична и однозначна, т. е. любое аналитиче-

ское продолжение функции вдоль замкнутой кривой сохраняет значение функции в стартовой точке.

Не приходится ожидать, что в окрестности изолированной особой точки функцию удастся разложить в ряд Тейлора, но представить функцию виде ряда более сложного вида всегда возможно.

Определение. Рядом Лорана называется следующее выражение:

Примеры.

n 0

Введенной конструкции достаточно, чтобы разложить в ряд любую аналитическую функцию в окрестности изолированной особой точки.

Теорема (о разложении в ряд Лорана). Если z0 – изолированная особая точка функции f , то в проколотой окрестности точки z0 она допускает разложение в ряд Лорана

План доказательства. Фиксируем точку z . Рассмотрим пару окружностей внутри кольца таких, что точка z лежит между ними:

t : t z0 r1 , t : t z0 r2 , 0 r1 z z0 r2 r .

Соединим окружности отрезком, не проходящим через точку z , и сформируем из них положительно ориентированный контур, обходящий точку z в положительном направлении и не содержащий внутри себя особых точек функции f . Представим f (z) с помощью формулы Коши и применим рас-

суждение, использованное в доказательстве теоремы о разложении в ряд Тейлора. На внешней окружности оно пройдет без изменений (важно, что z z0 t z0 ) и получится часть ряда Лорана с положительными коэффи-

циентами. На внутренней окружности справедливо противоположное нера-

19

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

различным. Этиразличияхорошоулавливаютсяследующимопределением. Определение. Классификация изолированных особых точек. Пусть z0 –

предела в точке z0 0 .

Проследим, как выглядят ряды Лорана в каждом из этих случаев:

ной особой точке z1 i , достаточно разложить в ряд второе слагаемое: