Материал: Высшая математика. Теория функций комплексного переменного. Пантелеев И.Н

причем ϕ(z0 ) ≠ 0 и ϕ(z) аналитична в некоторой окрестности точки z0. Так как ϕ(z) непрерывна в точке z0 и ϕ(z0 ) ≠ 0 , то ϕ(z) не имеет нулей и в некоторой окрестности этой точки. Поэтому функция 1ϕ(z) будет также аналитической в этой окрестности и, следовательно, разлагается в ней в ряд Тейлора:

Раскрывая скобки и меняя обозначения коэффициентов, запишем последнее разложение в виде

где c−N = b0 ≠ 0 . Таким образом, главная часть лорановского

разложения функции f(z) содержит лишь конечное число членов; мы пришли к искомому равенству (7.2).

2. Пусть в проколотой окрестности точки z0 функция f(z) представляется лорановским разложением (7.2) (в более развернутом виде см. (7.3)), главная часть которого содержит лишь конечное число членов, причем c−N ≠ 0 . Надо доказать,

что z0 — полюс функции f(z). Умножая равенство (7.3) на (z — z0)N, получим функцию

h(z) = f (z)(z − z0 )N = c−n+1 (z − z0 ) +c−N +2 (z − z0 )2 +... (7.4)

151

Ряд в (7.4) является степенным рядом, сходящимся к аналитической функции не только в проколотой, но и во всей окрестности точки z0. Поэтому функция h(z) станет аналитической в этой окрестности, если доопределить ее в z0, положив h(z0) = c−N ≠ 0 . Тогда

Таким образом, точка z0 является полюсом, и теорема 7.3 доказана.

Кратность (порядок) нуля z0 функции g(z) = 1/f(z)

называется порядком полюса z0 функции f(z). Если N — порядок полюса z0, то g(z) = (z — z0)Nϕ(z) , причем ϕ(z) ≠ 0 , и,

как показано в первой части доказательства теоремы 26.3, разложение функции f(z) имеет вид (7.3), где c−N ≠ 0 . Обратно,

если f(z) раскладывается в ряд (7.3) и c−N ≠ 0 , то

т.е. N — порядок полюса функции f(z). Таким образом, порядок полюса z0 функции f(z) равен номеру старшего ненулевого коэффициента главной части лорановского разложения в проколотой окрестности точки z0 (т.е. равен такому числу N,

что c−N ≠ 0 и сп = 0 при п > N).

Докажем следующее утверждение, удобное для применений.

Следствие 7.4. Точка z0 является полюсом порядка N функции f(z) тогда и только тогда, когда f(z) представима в

где h(z) — аналитическая функция в окрестности точки z0 и h(z0 ) ≠ 0 .

152

Доказательство. Функция ϕ(z) =1h(z) аналитична в

некоторой окрестности точки z0. Условие следствия 7.4 равносильно следующему:

Поэтому z0 — нуль кратности N функции g(z), а значит, и полюс кратности N функции f(z).

Пример 7.5. Найти изолированные особые точки функции

то z = -3. Поэтому функция имеет три особые точки z1=i, z2=-i, z3= -3. Рассмотрим z1:

полюс первого порядка (мы воспользовались следствием 7.4). Аналогично доказывается, что z2 = -i тоже полюс первого порядка. Для z3 имеем

рядка.

Перейдем к рассмотрению существенно особых точек.

Теорема 7.6. Изолированная особая точка z0 функции f(z) является существенно особой тогда и только тогда, когда главная часть разложения Лорана с центром z0 имеет бесконечно много отличных от нуля коэффициентов сп.

153

Доказательство. Теорема 7.6 непосредственно вытекает из теорем 7.2 и 7.3. Действительно, если точка z0 — существенно особая, то главная часть лорановского разложения не может отсутствовать либо содержать конечное число членов (в противном случае точка z0 будет либо устранимой, либо полюсом). Поэтому число членов в главной части должно быть бесконечным.

Обратно, если главная часть содержит бесконечно много членов, то z0 не может быть ни устранимой точкой, ни полюсом. Следовательно, эта точка — существенно особая.

Согласно определению, существенно особая точка характеризуется тем, что функция f(z) не имеет ни конечного, ни бесконечного предела при z → z0 . Полное представление о

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

lim f (zn ) = A .

n→∞

Доказательство. Рассмотрим вначале случай A = ∞. В первой части доказательства теоремы 7.2 мы установили, что если f(z) ограничена в некоторой проколотой окрестности точки z0, то все коэффициенты сn, п = - 1, - 2,... главной части равны нулю (и, следовательно, особенность в z0 устранимая). Так как по условию z0 существенно особая точка, то в любой проколотой окрестности точки z0 функция f(z) является неограниченной. Возьмем некоторую проколотую окрестность

0 < z − z0 < R , в которой f(z) является аналитической. В этой окрестности найдется точка z1, такая что f (z1 ) >1 (если бы f (z1 ) <1 во всех точках, то f(z) была бы ограниченной). Точно также в проколотой окрестности 0 < z − z0 < R 2 найдется

154

образом, в случае A = ∞ теорема 26.7 доказана.

Пусть теперь A ≠ ∞ . Предположим вначале, что найдется проколотая окрестность 0 < z − z0 < R1 , в которой f (z) ≠ A .

проколотой окрестности и, следовательно, z0 является изолированной особой точкой функции ψ(z) . Покажем, что z0

— существенно особая точка ψ(z) . Пусть это неверно. Тогда

что противоречит условию теоремы. Таким образом, z0 — существенно особая точка функции ψ(z) . Согласно

доказанному выше, найдется последовательность точек zn,

Предположим теперь, что это неверно, т.е. в любой сколь угодно малой проколотой окрестности точки z0 найдется такая точка z', что f(z') = А. Тогда для любого п в проколотой

окрестности 0 < z − z0 < R n можно выбрать такую точку zn. Мы получим последовательность точек, для которых f(zn) = А и

zn → z0 . Поэтому и lim f (zn ) = A . Таким образом, нужное

n→∞

155