Существенно особая точка.

Если вообще не существует , ни конечного, ни бесконечного, то особая точка называется существенно особой точкой функции .

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

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

Теорема Сохоцкого. Каково бы ни было число А, конечное или бесконечное, существует такая последовательность - существенно особая точка функции , что .

Доказательство. 1) Пусть A – конечное число. Предположим, что не существует последовательности, о которой идет речь в теореме.

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

a) Пусть . Выразим через . . Тогда = - конечное число. Следовательно, - правильная точка функции - противоречие.

b) Пусть . .

Тогда , т.е.

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

Классификация особой точки (конечной плоскости) функции по ее разложению в ряд Лорана в окрестности этой точки.

Если разложение функции в ряд Лорана в окрестности (по степеням ):

1. Не содержит отрицательных степеней, то - правильная точка .

2. Содержит конечное число отрицательных степеней, то - полюс , причем наинизшая отрицательная степень определяет порядок полюса.

3.

Это следует из доказанных выше теорем.

Классификация бесконечно удаленной особой точки функции по ее разложению в ряд Лорана в окрестности этой точки.

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

Если разложение в ряд Лорана в окрестности точки , т.е. в области :

1 Не содержит положительных степеней, то - правильная точка .

2 Содержит конечное число положительных степеней, то - полюс , причем наивысшая положительная степень определяет порядок полюса.

3 Содержит бесконечное количество членов с положительными степенями, то - существенно особая точка .

Примеры.

1 . Это и есть разложение в ряд Лорана в окрестности точки , т.е. в области , поэтому - полюс второго порядка.

2 . Разложение по степеням : справедливо в области , т.е. в окрестности точки . Оно содержит бесконечное количество членов с положительными степенями, поэтому - существенно особая точка .

3 .

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

4. . Запишем разложение по степеням в окрестности точки .

В разложении старшая положительная степень – первая, поэтому - полюс первого порядка. Это же разложение справедливо в области , поэтому оно является разложением в окрестности точки . В нем бесконечное количество отрицательных степеней, поэтому точка - существенно особая.