ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН Edu.Vsu.Ru

§ 13. О СОБЫЕ ТОЧКИ ФКП

Точки плоскости , в которых функция () не является анали-

особыми точками этой функции

В этом параграфе мы рассмотрим поведение аналитических функций в окрестности особых точек простейшего типа – изолированных особых точек.

Точка называется точкой функции () , если существует такая окрестность точки , в которой

она является единственной особой точкой функции () .

Если – изолированная особая точка () , то существует

При этом могут представиться три случая:

Разложение

не содержит главной части
и, следовательно, имеет следующий вид:

Этот ряд является степенным и его сумма есть аналитическая

к числу .

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

точки отсутствует главная часть, то точка называется

устранимой особой точкой функции

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Если принять () , то разложение

станет справедливым в круге , включая и центр . Следовательно, ()

станет аналитической в точке .

Очевидно, что в достаточно малой окрестности устранимой

Это свойство можно использовать для определения (нахожде-

В получившемся разложении отсутствует главная часть, откуда следует высказанное утверждение.

Для () не определена; если положить , то

функция станет аналитической в точке 0.

Разложение

содержит в своей главной части лишь конечное число членов
и, следовательно, имеет вид

где 0 .

Если в разложении

в ряд Лорана функции () в окрестно-

сти точки главная часть содержит лишь конечное число членов ( 0 ), то точка называется .

Разложение

содержит в главной части бесконечное множество членов
.

Если в разложении в ряд Лорана функции в окрестности точ-

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

Относительно поведения функции () в окрестности существенно особой точки имеет место теорема Ю. В. Сохоцкого.

Теорема Ю. В. Сохоцкого.
Если является существенно особой точкой функции () , то для любого числа (ко-

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

() . Показать, что 0 – существенно особая точка.

Функция аналитична во всей плоскости и представлена на

содержит бесконечное множество членов, откуда и следует, что 0

1 Нули аналитической функции

Определение.

Точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

называется нулем

аналитической функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

порядка (или кратности)

,
если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.
В случае
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

точка

называется простым
нулем

.

Тео
рема.

Для того, чтобы точка

была
нулем

-гo
порядка функции

,
аналитической
в точке


,
необходимо и достаточно, чтобы в некоторой
окрестности этой точки имело место
равенство
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
где
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аналитична в точке

и
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.

Пример
1

. Найти нули
функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и определить их порядки.

Из
уравнения
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

находим точки
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

– нули данной функции. Имеем:
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
т.е. точки
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

– нули второго порядка данной функции.

Пример
2

. Найти нули
функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и определить их порядки.

Полагая
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
получаем, что
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

или
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.
Решая
эти уравнения, находим нули функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.

Пусть
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

;
тогда

можно представить в виде
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
где функция
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

является аналитической

в точке

,
причем
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.
Это означает, что точка



есть нуль
третьего порядка.

Аналогично
доказывается, что и точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

является нулем третьего порядка.
Исследуем нули
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.
Производная
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

в точках



отлична от
нуля. Следовательно,

– простые нули функции

.

2 Изолированные особые точки

Определение
1.


Точка

называется особой
точкой

аналитической функции

,
если в этой точке аналитичность функции
нарушается.

Определение
2.


Точка

называется изолированной
особой точкой

функции

,
если существует окрестность
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

этой точки с
исключенной точкой


,
в которой

аналитична,
кроме
самой точки

.

Существует
три типа изолированных особых точек.
Приведем их
определения.

Определение
3.


Точка

называется
устранимой
особой точкой

функции

,
если разложение этой функции в ряд
Лорана в окрестности точки

не содержит главной части.

Определение
4.


Точка

называется
полюсом

кратности

функции

,
если в разложении функции в ряд Лорана
в окрестности точки

главная
часть разложения содержит конечное
число членов, причем младшим отличным
от нуля коэффициентом является
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.

Определение
5.


Точка

называется
существенно
особой точкой

функции

,
если главная часть разложения функции
в ряд Лорана в окрестности
точки

содержит бесконечное число членов.

Приведем критерии
типа изолированных особых точек.

1)
для того чтобы точка

была
устранимой особой точкой функции

,



необходимо
и достаточно, чтобы существовал
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

;

2)
для того чтобы точка

была полюсом
кратности

функции

,
необходимо и достаточно, чтобы
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.

3)
для того чтобы точка

была существенно особой точкой функции

,
необходимо и достаточно, чтобы
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

не существовал .

Теорема

(связь
между нулями и полюсами).

Для того чтобы точка

была полюсом
порядка

функции

,
нужно, чтобы она была нулем


го
порядка функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.

Пример
1.

Для функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

особой
точкой является
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

.

значит

есть устранимая особая точка.

Пример
2.

Для
функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,

является
особой точкой. Так как
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,

– это полюс. Рассмотрим функцию
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
так как
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

;
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

;
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

;
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

;
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
значит

– нуль
пятого порядка функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и по теореме о связи между нулями и
полюсами, точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

является полюсом пятого порядка для
функции

.

Пример
3.

Для
функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

является особой точкой. Разложение



в ряд Лорана:

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

в главной
части содержит бесконечное число членов;
это существенно особая
точка.

Пример
4.

Найти все особые точки функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и определить их тип.

Особыми
точками являются точка

и точки, в которых знаменатель обращается
в нуль. Имеем
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
откуда
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
причем эти точки являются нулями первого
порядка. Следовательно, в точках

,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

функция

имеет простые полюса. Точка

не является изолированной особой точкой,
так как она является пределом полюсов:
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

,
это означает, что любая окрестность
точки

содержит бесконечное число особых точек

.

Математический анализ Примеры

Найти особые точки y=x^3-4x^2-16x+5

Найдем первую производную.

Найдем первую производную.

По правилу суммы производная по имеет вид .

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

Поскольку является константой относительно , производная по равна .

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

Поскольку является константой относительно , производная по равна .

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

Продифференцируем, используя правило константы.

Поскольку является константой относительно , производная относительно равна .

Первая производная по равна .

Приравняем первую производную к , затем найдем решение уравнения .

Пусть первая производная равна .

Разложим на множители методом группировки

Для многочлена вида представим средний член в виде суммы двух членов, произведение которых равно , а сумма — .

Применим свойство дистрибутивности.

Вынесем наибольший общий делитель из каждой группы.

Сгруппируем первые два члена и последние два члена.

Вынесем наибольший общий делитель (НОД) из каждой группы.

Разложим многочлен, вынеся наибольший общий делитель .

Если любой отдельный множитель в левой части уравнения равен , все выражение равно .

Приравняем к , затем решим относительно .

Вычтем из обеих частей уравнения.

Разделим каждый член на и упростим.

Разделим каждый член на .

Сократим общий множитель .

Сократим общий множитель.

Вынесем знак минуса перед дробью.

Приравняем к , затем решим относительно .

Добавим к обеим частям уравнения.

Окончательным решением являются все значения, при которых верно.

Найдем значения, при которых производная не определена.

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

Вычислим для каждого значения , для которого производная равна или не определена.

Применим правило степени для распределения показателей.

Применим правило умножения к .

Применим правило умножения к .

Применим правило степени для распределения показателей.

Применим правило умножения к .

Применим правило умножения к .

Вынесем знак минуса перед дробью.

Найдем общий знаменатель.

Запишем в виде дроби со знаменателем .

Изменим порядок множителей в .

Объединим числители над общим знаменателем.

Упростим путем сложения и вычитания.

Упростим путем сложения и вычитания.

Математический анализ Примеры

Найти особые точки y=-x^3+2x^2+4x+2

Найдем первую производную.

Найдем первую производную.

По правилу суммы производная по имеет вид .

Поскольку является константой относительно , производная по равна .

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

Поскольку является константой относительно , производная по равна .

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

Поскольку является константой относительно , производная по равна .

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

Продифференцируем, используя правило константы.

Поскольку является константой относительно , производная относительно равна .

Первая производная по равна .

Приравняем первую производную к , затем найдем решение уравнения .

Пусть первая производная равна .

Разложим левую часть уравнения на множители.

Разложим на множители методом группировки

Для многочлена вида представим средний член в виде суммы двух членов, произведение которых равно , а сумма — .

Применим свойство дистрибутивности.

Вынесем наибольший общий делитель из каждой группы.

Сгруппируем первые два члена и последние два члена.

Вынесем наибольший общий делитель (НОД) из каждой группы.

Разложим многочлен, вынеся наибольший общий делитель .

Избавимся от ненужных скобок.

Если любой отдельный множитель в левой части уравнения равен , все выражение равно .

Приравняем к , затем решим относительно .

Вычтем из обеих частей уравнения.

Разделим каждый член на и упростим.

Разделим каждый член на .

Сократим общий множитель .

Сократим общий множитель.

Вынесем знак минуса перед дробью.

Приравняем к , затем решим относительно .

Добавим к обеим частям уравнения.

Окончательным решением являются все значения, при которых верно.

Найдем значения, при которых производная не определена.

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

Вычислим для каждого значения , для которого производная равна или не определена.

Применим правило степени для распределения показателей.

Применим правило умножения к .

Применим правило умножения к .

Умножим на , сложив экспоненты.

Применим правило степени для объединения показателей.

Применим правило степени для распределения показателей.

Применим правило умножения к .

Применим правило умножения к .

Вынесем знак минуса перед дробью.

Найдем общий знаменатель.

Запишем в виде дроби со знаменателем .

Изменим порядок множителей в .

Объединим числители над общим знаменателем.

Упростим путем сложения и вычитания.

Умножим на , сложив экспоненты.

Применим правило степени для объединения показателей.

Упростим путем добавления чисел.

Изолированные особые точки функций и полюсы


Классификация особых точек

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

Исследование функции в особой точке z_0
определяется поведением ее в окрестности этой точки, т.е. исследованием \lim\limits_{z\to z_0}f(z)
. Очевидно, имеют место три возможности:

а) \lim\limits_{z\to z_0}f(z)
не существует;

б) \lim\limits_{z\to z_0}f(z)
существует и равен конечному числу;

в) \lim\limits_{z\to z_0}f(z)
равен бесконечности.

Исследование пределов функции в комплексной области — задача более сложная, чем в действительной области, так как, согласно определению, переменная z
стремится к z_0~(z\to z_0)
по любому направлению. Вычисление пределов в точках аналитичности не представляет интереса, так как в этих случаях \lim\limits_{z\to z_0}f(z)=f(z_0)
.

Будем рассматривать \lim\limits_{z\to z_0}f(z)
, где z_0
— особая точка.

Исследовать существование \lim\limits_{z\to0}\exp \frac{1}{z},~ \lim\limits_{z\to0} \exp \frac{1}{z^2}
в случаях a) z=x\in\mathbb{R}
; б) z\in\mathbb{C}
.

a) В действительной области \lim\limits_{z\to0}\exp \frac{1}{z}
не существует, так как не равны односторонние пределы \lim\limits_{x\to0+0}\exp \frac{1}{x}=\infty,~ \lim\limits_{x\to0-0}\exp \frac{1}{x}=0
, но существует предел второй функции: \lim\limits_{x\to0}\exp \frac{1}{x^2}=\infty
.

б) В комплексной области, очевидно, \lim\limits_{z\to0}\exp \frac{1}{z}
не существует, так как он не существует в частном случае z=x
.

Но для второй функции полученного выше результата \lim\limits_{x\to0}\exp \frac{1}{x^2}=\infty
не достаточно, так как рассмотрены только два направления на плоскости — по действительной положительной и действительной отрицательной полуосям.

Рассмотрим еще какое-нибудь направление, например по мнимой оси, т.е. z=iy,~ y\to0\colon

\lim\limits_{z\to0}\exp \frac{1}{z^2}= \lim\limits_{z\to0}\exp \frac{1}{(iy)^2}= \lim\limits_{z\to0}\exp \frac{-1}{y^2}=0.

Сравнивая этот результат с полученным выше \lim\limits_{x\to0}\exp \frac{1}{x^2}=\infty
, заключаем, что в комплексной области \lim\limits_{z\to0}\exp \frac{1}{z^2}
не существует.

Аналогично можно показать, что не существует \lim\limits_{z\to0}\exp \frac{1}{z^4}
, хотя \lim\limits_{z\to0}\exp \frac{1}{z^4}=\infty
для случаев z=x
и z=iy
(по действительной и мнимой осям).

Эти простые примеры показывают, что исследование функции в особой точке с помощью \lim\limits_{z\to z_0}f(z)
может представлять большие сложности. Но, с другой стороны, в примере 3.36 при вычислении пределов функции в особых точках было использовано разложение функции в ряд.

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

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

В частности, конечная особая точка z_0\in\mathbb{C}
является изолированной особой точкой функции f(z)
, если существует число r>0
, такое, что в круге |z-z_0|<r
эта точка- единственная особая точка f(z)
, а в проколотой окрестности, т.е. в 0<|z-z_0|<r
функция f(z)
аналитическая.

Бесконечно удаленная особая точка z_0=\infty
является изолированной особой точкой функции f(z)
, если существует число R>0
, такое, что в области |z|>R
эта точка — единственная особая точка f(z)
, а в кольце R<|z|<\infty
функция f(z)
— аналитическая.

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

Исследовать поведение и вид ряда Лорана в окрестности особой точки z=0
функций:

а) \frac{\sin z}{z}
; б) \frac{\sin z}{z^n},~n>1
; в) \exp \frac{1}{z}
.

Эти простые примеры показывают, что поведение функции в особой точке связано с видом главной части ряда Лорана: трем отмеченным выше случаям нахождения предела функции в точке z_0
соответствуют три различных случая вида главной части ряда Лорана в окрестности точки. В примере 4.2 исследовалась конечная особая точка. Такой же результат можно получить, рассматривая точку z=\infty
, например, для функций \exp \frac{1}{z},~ z^2+\frac{1}{z}
и e^z
.



Типы особых точек функции

В зависимости от трех случаев поведения функции в особой точке (исследования \lim\limits_{z\to z_0}f(z)
) особые точки функций делят на три типа — производится классификация особых точек. В качестве определения типа особых точек можно выбрать либо поведение функции в особой точке, либо вид ряда Лорана. Выберем первый подход.

Изолированная особая точка z_0\in \overline{C}
функции f(z)
называется:

– устранимой особой точкой, если \lim\limits_{z\to z_0}f(z)
существует и конечен (4.1);

– полюсом, если \lim\limits_{z\to z_0}f(z)=\infty
(4.2);

– существенно особой точкой, если \lim\limits_{z\to z_0}f(z)
не существует (4.3).

Если в случае устранимой особой точки z_0
положить f(z_0)= \lim\limits_{z\to z_0}f(z)
, то f(z)
будет аналитической в O_{\delta}(z_0)
и точку z_0
можно считать правильной, т.е. не особой. В этом случае говорят, что в точке z_0
устранена особенность.

Определить тип особой точки z=0
для функций \frac{\sin z}{z};~~\frac{\sin z}{z^n},~n>1;~~\exp \frac{1}{z},~~ \exp \frac{1}{z^2}
.

На основании результатов решения примеров 4.1, 4.2 заключаем, что z=0
является устранимой особой точкой функции \frac{\sin z}{z}
; полюсом для \frac{\sin z}{z^n}
при любом n>1
; существенно особой точкой для функций \exp \frac{1}{z}
и \exp \frac{1}{z^2}
.

Определить тип особой точки z=\infty
для функций f_1(z)=z^n\sin \frac{1}{z}
и f_2(z)=e^z
.

Рассмотрим \lim\limits_{z\to\infty}f(z)
. Для удобства введем обозначение \frac{1}{z}=\xi
. Для функции f_1(z)
получим \lim\limits_{z\to\infty}f_1(z)= \lim\limits_{\xi\to0} \frac{\sin\xi}{\xi^n}=\infty~(n>1)
(см. пример 4.2), поэтому z=\infty
является полюсом функции f_1(z)=z^n\sin \frac{1}{z}
. Для функции f_2(z)=e^z
точка z=\infty
является существенно особой, так как \lim\limits_{z\to\infty}e^z= \lim\limits_{\xi\to0}\exp \frac{1}{\xi}
не существует (см. пример 4.1).

Найти все конечные особые точки функций: а) f_1=\frac{\sin z}{z^4+1}
б) f_2(z)= \frac{\sin z}{\sin z^{-1}}
и определить их тип.

Особыми точками дробей являются особые точки числителя, особые точки знаменателя и нули знаменателя.

а) Так как числитель и знаменатель функции f_1(z)
— функции аналитические, то ее особыми точками являются только нули знаменателя, т.е. корни уравнения z^4+1=0
. Это четыре точки z_k=\exp \frac{(\pi+2k\pi)i}{4},~k=0,1,2,3
, или в алгебраической форме: z_{1,2}= \frac{\pm1+i}{\sqrt{2}},~ z_{3,4}= \frac{\pm1-i}{\sqrt{2}}
. Заметим, что точки расположены в вершинах квадрата, вписанного в окружность радиуса R=1
с центром в начале координат, и справедливы равенства z_2=iz,~ z_3=-z_1,~ z_4= \overline{z}_1
.

Очевидно, все точки изолированные и являются полюсами, так как \lim\limits_{z\to z_k}f_1(z)=\infty
для любой точки z_k,~k=1,2,3,4
.

б) Особыми точками функции f_2(z)
являются нули знаменателя, т.е. точки, для которых \frac{1}{z_k}=k\pi
или z_k=\frac{1}{k\pi},~ k=\pm1,\pm2,\ldots
, а также z=0
— особая точка знаменателя. Точки z_k
являются полюсами, так как \lim\limits_{z\to z_k}f_2(z)=\infty
. Точка z=0
— неизолированная особая точка функции, так как в любой ее окрестности |z|<r
( r
— любое число, r>0
), кроме этой точки, расположено бесконечное множество особых точек вида z_k=\frac{1}{k\pi},~ k=\pm1,\pm2,\ldots
. Точку z=0
в таком случае называют предельной точкой полюсов z_k=\frac{1}{k\pi}
, так как \lim\limits_{k\to\infty}z_k=0
.



Теоремы Сохоцкого и Пикара

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

Теорема 4.1 (Сохоцкого).
Если r_0
— существенно особая точка функции f(z)
, то для любого A\in \overline{\mathbb{C}}
существует последовательность \{z_n\}
, сходящаяся к точке z_0
, такая, что \lim\limits_{n\to\infty}f(z_n)=A
.

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

Исследовать поведение следующих функций в существенно особых точках, проиллюстрировать теоремы Сохоцкого и Пикара:

a) f_1(z)=\exp \frac{1}{z},~ f_2(z)= \exp \frac{1}{z^2},~ z_0=0
; б) f_3(z)=e^z,~ z_0=\infty
.

В примерах 4.3 и 4.4 показано, что точки z_0=0
и z_0=\infty
являются существенно особыми точками соответствующих функций. Исследуем пределы функций.

а) Для иллюстрации теоремы Сохоцкого выбираем A=0
и A=\infty
. Используя результат примера 4.1, имеем \lim\limits_{z\to0}\exp \frac{1}{z}=0
, если z=x<0
, и \lim\limits_{z\to0}\exp \frac{1}{z}=\infty
, если z=x>0
, то есть \lim\limits_{n\to\infty}f_1(z_n)=0
для последовательности z_n=x_n
, такой, что \lim\limits_{n\to\infty}x_n=0
и x_n<0
, и \lim\limits_{n\to\infty}f_1(z_n)=0
для последовательности z_n=x_n
, такой, что \lim\limits_{n\to\infty}x_n=0
и x_n>0
.

Аналогично исследуем функцию f_2(z)
. Для числа A=0
выбираем z_n=iy_n
, где \lim\limits_{n\to\infty}y_n=0
и тогда \lim\limits_{n\to\infty}f_2(z_n)=0
, а для A=\infty
выбираем z_n= x_n
, где \lim\limits_{n\to\infty}x_n=0
и тогда \lim\limits_{n\to\infty} f_2(z_n)=\infty
.

Справедливость теоремы Пикара для этих функций следует из рассмотрения уравнений \exp \frac{1}{z}=A,~ \exp \frac{1}{z^2}=A
, которые, как известно, имеют бесконечное множество решений для любого A\in \mathbb{C},~ A\ne0
.

Например, для функции f_1(z)= \exp\frac{1}{z}
имеем \exp\frac{1}{z}=A
. Отсюда получаем

В частности, функция \exp \frac{1}{z}
в любой окрестности точки z_0=0
принимает значение A=1
бесконечное множество раз: в точках z_k=\frac{-i}{2k\pi},~ k=\pm1,\pm2,\ldots
(рис. 4.1).

Рис. 4.1.

б) Точка z=\infty
является существенно особой точкой функции e^z
(пример 4.4). Обозначив z=\frac{1}{\xi}
, можно повторить рассуждения предыдущего пункта для функции \exp\frac{1}{\xi}
и точки \xi=0
.



Ряд Лорана в окрестности особой точки

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

Для того чтобы особая точка функции была ее устранимой особой точкой, необходимо и достаточно, чтобы в разложении функции в ряд Лорана в окрестности этой точки отсутствовала главная часть. Это означает, что если z_0
— устранимая особая точка, то ряд Лорана функции f(z)
имеет вид

f(z)= \sum_{n=0}^{\infty} c_n(z-z_0)^n,\quad 0<|z-z_0|<r

для z_0
— конечной точки z_0\in\mathbb{C}
, и (для z_0=\infty
)

f(z)= c_0+\sum_{n=1}^{\infty} \frac{c_{-n}}{z^n},\quad R<|z|<\infty.

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

f(z)=\sum_{k=-n}^{\infty} c_k(z-z_0)^k,\quad 0<|z-z_0|<r,

если z_0\in\mathbb{C}
, и (если z_0=\infty
)

f(z)=\sum_{k=-\infty}^{n}c_kz^k,\quad R<|z|<\infty,

Для того чтобы особая точка функции была ее существенно особой точкой, необходимо и достаточно, чтобы главная часть ряда Лорана функции в окрестности этой точки содержала бесконечное число членов. Ряд Лорана функции f(z)
в случае z_0
— существенно особой точки имеет вид

f(z)= \sum_{n=-\infty}^{\infty} c_n(z-z_0)^n,\quad 0<|z-z_0|<r,

если z_0\in\mathbb{C}
, и (если z_0=\infty
)

f(z)= \sum_{n=-\infty}^{\infty}c_nz^n,\quad R<|z|<\infty.

Номер старшего члена главной части ряда Лорана функции в ее разложении в окрестности полюса называется порядком полюса.

Так, точка z_0\in\mathbb{C}
является полюсом порядка n
(\Pi(n))
функции f(z)
, если в разложении (4.6) c_{-n}\ne0,~ c_k=0
при k<-n
. Точка z_0=\infty
является полюсом порядка n
(\Pi(n))
функции f(z)
, если в разложении (4.7) c_n\ne0,~ c_k=0
при k>n
.

Главная часть ряда Лорана в случае полюса порядка и записывается следующим образом:

а) в случае z_0\in\mathbb{C}
в виде \sum_{k=-n}^{-1} c_k(z-z_0)^n
, или \sum_{k=1}^{n} \frac{c_{-k}}{(z-z_0)^k}
, или, подробнее:

\frac{c_{-n}}{(z-z_0)^n}+\frac{c_{-n+1}}{(z-z_0)^{n-1}}+ \ldots+ \frac{c_{-1}}{z-z_0},\quad c_{-n}\ne0\,;

б) в случае z_0=\infty
в виде \sum_{k=1}^{n}c_nz^k
, или \sum_{k=-n}^{-1} \frac{c_{-k}}{z^k}
(см. (4.7)), или, подробнее:

c_n\cdot z^n+ c_{n-1}\cdot z^{n-1}+\ldots+c_1\cdot z,\quad c_n\ne0.

Главная часть ряда Лорана в случае существенно особой точки записывается так:

а) в случае z_0\in\mathbb{C}
в виде \sum_{n=-\infty}^{-1} c_n(z-z_0)^n
, или \sum_{n=1}^{\infty} \frac{c_{-n}}{(z-z_0)^n}
(см.(4.8)), или, подробнее:

\frac{c_{-1}}{z-z_0}+ \frac{c_{-2}}{(z-z_0)^2}+ \ldots+ \frac{c_{-n}}{(z-z_0)^n}+\ldots;

б) в случае z_0=\infty
в виде \sum_{n=-\infty}^{-1} \frac{c_{-n}}{z^n}
или \sum_{n=1}^{\infty}c_nz^n
(см.(4.9)), или, подробнее:

c_1\cdot z+c_2\cdot z^2+\ldots+c_n\cdot z^n+\ldots

Определить тип особых точек функций: а) f_1(z)=\frac{z+2}{z^2-2z-3}
; б) f_2(z)=\frac{z+2}{(z+1)^2(z-3)}
.

Особыми точками функций являются z_1=-1,~z_2=3,~z_3=\infty
. Чтобы определить тип особой точки, используем разложения функций в окрестности каждой точки, полученные в примерах 3.31 , 3.33 , 3.34.

a) f_1(z)= \frac{-1}{4}\cdot \frac{1}{z+1}-\sum_{n=0}^{\infty} \frac{5(z+1)^n}{4^{n+2}},~ 0<|z+1|<4
. В главной части разложения — один член ряда: \frac{-1}{4}\cdot \frac{1}{z+1}
, здесь c_{-1}=\frac{-1}{4}\ne0
, все c_n=0
для n<-1
. Следовательно, в точке z=-1
— полюс первого порядка, т.е. простой полюс функции f_1(z)
.

Аналогично из разложения f_1(z)= \frac{5}{4}\cdot \frac{1}{z-3}+ \sum_{n=0}^{\infty} \frac{(-1)^{n+1}}{4^{n+2}}(z-3)^n,~ 0<|z-3|<4
получим такой же результат: точка z=3
— простой полюс функции f_1(z)
.

Разложение f_1(z)= \sum_{n=1}^{\infty} \frac{(-1)^n+5\cdot3^{n-1}}{4}\cdot \frac{1}{z^n},~ |z|>3
. Функции в окрестности z=\infty
не содержит главной части — разложение имеет вид (4.5). Следовательно, точка z=\infty
— устранимая особая точка функции f_1(z)
.

б) Из разложения f_2(z)= \frac{5}{16}\cdot \frac{1}{z-3}+ \sum_{n=0}^{\infty} \frac{(-1)^{n+1}(n+6)}{4^{n+3}}(z-3)^n,~ 0<|z-3|<4
следует, что z=3
— простой полюс функции f_2(z)
.

Из разложения f_2(z)= \frac{-5}{16}\cdot \frac{1}{z+1}+ \frac{-1}{4}\cdot \frac{1}{(z+1)^2}+ \sum_{n=0}^{\infty} \frac{-5(z+1)^n}{4^{n+3}},~ 0<|z+1|<4
, где c_{-2}=\frac{-1}{4}\ne0
и все c_n=0
для n<-2
, получаем, что z=-1
— полюс второго порядка функции f_2(z)
.

Разложение f_2(z)
в окрестности z=\infty
и не содержит положительных степеней, в чем можно убедиться, проанализировав разложения элементарных дробей (см. пример 3.34). Поэтому z=\infty
— устранимая особая точка функции f_2(z)
.

Определить тип конечных особых точек для функций:

а) \exp \frac{1}{z-a},~ \sin \frac{1}{z-a},~ \cos \frac{1}{z-a}
; б) \frac{\sin z}{z^n},~ \frac{1-\cos z}{z^3}
.

а) Используем разложения функций по степеням (z-a)\colon

\begin{gathered}\exp \frac{1}{z-a}= 1+\frac{1}{z-a}+ \frac{1}{2!(z-a)^2}+\ldots;\qquad \sin\frac{1}{z-a}= \frac{1}{z-a}- \frac{1}{3!(z-a)^3}+\ldots;\\ \cos\frac{1}{z-a}= 1-\frac{1}{2!(z-a)^2}+\ldots \end{gathered}

Убеждаемся, что для всех указанных функций точка z=a
является существенно особой точкой, так как в разложениях главная часть содержит бесконечное число членов, т.е. имеется бесконечное число членов с отрицательными степенями (см. п.1 утверждения 4.1).

б) Запишем разложения функций по степеням z\colon

\begin{aligned}\frac{\sin z}{z^n}&= \frac{1}{z^n}\! \left(z-\frac{z^3}{3!}+\ldots\right)= \frac{1}{z^{n-1}}-\frac{1}{z^{n-3}\cdot3!}+\ldots;\\ \frac{1-\cos z}{z^3}&= \frac{1}{z^3}\! \left(1-\left(1-\frac{z^2}{2!}+\frac{z^4}{4!}+\ldots\right)\right)= \frac{1}{2!z}-\frac{z}{4!}+\ldots \end{aligned}

Для первой функции при n=1
в разложении отсутствует главная часть — совокупность членов с отрицательными степенями. Следовательно, согласно п.1 утверждения 4.1, точка z=0
для \frac{\sin z}{z}
является устранимой особой точкой.

При n>1
главная часть разложения содержит конечное число членов, поэтому точка z=0
для \frac{\sin z}{z^n}
является полюсом (см. п.2 утверждения 4.1). Кроме того, так как при n>1
в разложении старшая отрицательная степень равна (n-1)
, то, согласно п. 1 замечаний 4.2, заключаем, что z=0
для \frac{\sin z}{z^n}
при n>1
является полюсом порядка (n-1)
. Рассуждая аналогично, получаем, что z=0
является полюсом первого порядка — простым полюсом для функции \frac{1-\cos z}{z^3}
.

Сравнивая разложения функций по степеням z
в окрестности z_0=0
(формулы (4.4),(4.6),(4.8) при z_0=0
) и z=\infty
(формулы (4.5), (4.7), (4.9)), можно сделать следующее заключение.

Чтобы z=\infty
была устранимой особой точкой функции f(z)
, необходимо и достаточно, чтобы точка \xi=0
была устранимой (или не особой) для \varphi(\xi)= f\!\left(\frac{1}{\xi}\right)
.

Чтобы z=\infty
была полюсом порядка n
функции f(z)
, необходимо и достаточно, чтобы точка \xi=0
была полюсом порядка n
функции \varphi(\xi)= f\!\left(\frac{1}{\xi}\right)
.

Чтобы z=\infty
была существенно особой точкой функции f(z)
, необходимо и достаточно, чтобы точка \xi=0
была существенно особой точкой функции \varphi(\xi)= f\!\left(\frac{1}{\xi}\right)
.

Как и в случае конечной особой точки z_0
, в которой функция не определена, но \lim\limits_{z\to z_0}f(z)=0
(см. утверждение 3.5) , так и для z=0
в случае \lim\limits_{z\to\infty}f(z)=0
, устранимую особую точку z=\infty
можно считать нулем функции f(z)
. Порядок нуля можно определить как порядок нуля функции \varphi(\xi)
в точке \xi=0
.

Исследовать точку z=\infty
для функций: a) f(z)=\frac{1}{z^2(z-2)}
; б)

; в)

.

\exp \frac{1}{z}

e^z

z_0

f(z)

f(z)= \sum_{n=0}^{\infty} c_n(z-z_0)^n,\quad 0<|z-z_0|<r

z_0

z_0\in\mathbb{C} Правила определения порядка полюса z_0=\infty

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

f(z)= c_0+\sum_{n=1}^{\infty} \frac{c_{-n}}{z^n},\quad R<|z|<\infty. Пусть

— полюс порядка

функции f(z)
. Разложение (4.6), где главная часть имеет вид (4.10) , преобразуем следующим образом:

z_0 где

— функция, аналитическая в точке

, как сумма степенного ряда, записанного в скобках, и z_0=0
.

A=1 Далее рассмотрим функцию

, то есть

или Рис. 4.1.
, где

— аналитическая в точке

и

. Из этого, согласно утверждению 3.5, следует, что z=\infty
является нулем порядка z=\frac{1}{\xi}
функции \exp\frac{1}{\xi}
. Можно доказать и обратное утверждение. z_k=\frac{-i}{2k\pi},~ k=\pm1,\pm2,\ldots

\xi=0 А именно, если функция представлена в виде
, где

— функция, аналитическая в точке
, и

, то

— полюс порядка


функции

, а также, если

— нуль порядка

функции

, то для функции

эта точка является полюсом порядка

.

Кроме того, рассмотрим частное f(z)=\frac{f_1(z)}{f_2(z)}
, где точка z_0
является нулем порядка k
для функции f_1(z)
и нулем порядка m
для функции f_2(z)
, то есть f(z)= \frac{(z-z_0)^k \varphi_1(z)}{(z-z_0)^m \varphi_2(z)}
. При m>k
получаем f(z)= \frac{\varphi(z)}{(z-z_0)^{m-k}}
, из чего, с учетом приведенных выше рассуждений, находим, что z_0
— полюс порядка (m-k)
. Заметим, что при m=k
точка z_0
— устранимая особая точка; случай m<k
рассмотрен ранее. Результаты приведенных рассуждений запишем в виде утверждения.

Для того чтобы точка z_0
была полюсом порядка n
функции f(z)
, необходимо и достаточно, чтобы ее можно было записать в виде

f(z)= \frac{\varphi(z)}{(z-z_0)^n},\quad \varphi(z_0)\ne0.

Для того чтобы точка z_0
была полюсом порядка n
функции f(z)
, необходимо и достаточно, чтобы она была нулем порядка n
функции \frac{1}{f(z)}
(связь нулей с полюсами).

Если точка z_0
является нулем порядка k
функции f_1(z)
и нулем порядка m
функции f_2(z)~(m>k)
, то она — полюс порядка (m-k)
для \frac{f_1(z)}{f_2(z)}
.

Определить порядок полюсов функций из примеров: а) 4.7 ; б) 4.8.


Так как конечными особыми точками рациональной дроби \frac{P_n(z)}{Q_m(z)}
являются только нули знаменателя, то это либо полюсы, либо устранимые особые точки функции.

Такое же заключение можно сделать и для функции вида f(z)= \frac{\varphi(z)}{Q_m(z)}
, где \varphi(z)
— аналитическая функция. При этом, используя определение устранимой особой точки (4.1) и правила определения порядка нуля и полюса (утверждения 3.5 и 4.3), можно сделать следующие выводы относительно особой точки z_0
— нуля порядка k~[0(k)]
знаменателя:

а) z_0
— полюс порядка k
функции f(z)
, если \varphi(z_0)\ne0
;

б) z_0
— полюс порядка (k-n)
, если z_0
— нуль порядка n
функции \varphi(z)
и k>n
;

в) z_0
— устранимая особая точка функции f(z)
, если z_0
— нуль порядка k
функции \varphi(z)
;

г) z_0
— нуль порядка (n-k)
функции f(z)
, если z_0
— нуль порядка n
функции \varphi(z)
и n>k
; при этом полагаем f(z_0)= \lim\limits_{z\to z_0}f(z)=0
.

▼ Примеры нахождения особых точек и определения их типа

Найти конечные особые точки следующих функций и определить их тип:

а) f(z)= \frac{z^2-4z+3}{(z-1)^3(z+2)^2}
; б) f(z)= \frac{z+2i}{z^3+8i}
.

Конечными особыми точками этих рациональных дробей являются нули знаменателя. Чтобы для каждой их этих точек определить, является ли она полюсом или устранимой особой точкой, нужно, согласно определению, найти предел функции в этой точке. В случае полюса, т.е. когда \lim\limits_{z\to z_0}f(z)=\infty
, далее следует определить его порядок. Для этого используется утверждение 4.3.

Можно поступить иначе — согласно замечанию 4.4. Для этого нужно найти и нули числителя.

а) Особые точки функции z_1=1,~ z_2=-2
. Для точки z_2=-2
можно применить формулу (4.14) и из f(z)= \frac{\varphi(z)}{(z+2)^2}
, где \varphi(z)= \frac{z^2-4z+3}{(z-1)^3}
и \varphi(-2)\ne0
, получить, что эта точка — полюс второго порядка. Для точки z_1=1
формула (4.14) не применима, так как из \varphi(z)= \frac{z^2-4z+3}{(z+2)^2}
имеем <img alt="\varphi

=0″ src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEsAAAAWBAMAAAB6cHzwAAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACnRSTlMAAf3NPoUbql1xkenAXwAAAUJJREFUKM+VkjFPwzAQhV+UhCZb7EBV1qQUsYWIdjYJA2NEBbMpA7BFVMCKhERhq+gf5my3CbGqCk6RHd99PvvuGfinfZlpspsKahokUEZ2ZP/812JGyOIUOKjs/eO5aFfPwPSJsP7IwmYibF0qyjhh7NXC5nCOmkVIBBSGVfdyTkofuR6A9zO49QYrZAfbS4E8Uh3w01y66uY8U8MbDd6FNtrhUTbCvAqldAWvNtn0X3itzWDIJXoCL/AFX3aw1jxzaBxRvlha2VrrG4xHvsACFhY0h+pKgV5N+SaIW2zZKcGhvh2rs6eXuSCaPDyjygstjcPIdAcLESgV7pPkBjikRFdJMgS+Le0HJyvVIja+VV0c6QyE2GLh8UOXMtxI34hrGdNqGv/dWiO/3v4e3UxfebAOl3I75hk/+/zTI2fRrugP1Bs05wUCFsoAAAAASUVORK5CYII=»>
. Поступаем далее согласно замечанию 4.4. Раскладываем на множители числитель и записываем функцию

<img alt="f(z)= \frac{(z-1)(z-3)}{(z-1)^3(z+2)^2}= \frac{z-3}{(z-1)^2(z+2)^2}= \frac{\varphi(z)}{(z-1)^2},\quad \varphi

\ne0.» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAkgAAAA3BAMAAAAF26ihAAAAG1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABp4cHsAAAACXRSTlMAP6LLk/yBF2afITPTAAAIkUlEQVRo3u1bS3faRhS+I0CjpTAlzhLs2mFpkLGzxHWdemmMhVniUDheyhASLxUTevKzOy/JkpiRGF7uaXtPGqd6fDPz6c6de78ZA/xvmzOsuOyxH7b87re37bO3605U5ZfROf3b8OV3J95bcmT12Y/Szjph9GUMEQd6of/4LLn5/OgJCt/KZoKryq4aLEmuvT8izOXIf/heQuDHUhvg13XbfT7wVw4QQa8+7ookWUNnQ0KQdULcrLV4M3eOXYDpmq6OPz51VoUwK3GP2rqhe9nVMp2DPUKFJG4X2uB6zM/WCis9uFrVlQpBrwr+bkjKnyhJOgCYy4bno47qPQ1vuIXhqjyXAxfM7Sgo0Xbw0flEQtIA4JDS2PESUdpoqzwwxZ4Axf5/H5q29hxtgelWaMfA6thVME92Q1KB0JE/deoSksoAp5SrQSc+GpOODrU1p5f74TFx5Vb/i9ow+LMHDg1Hlx0fzJvdkYQW0iFOkg1d8sOHn4kwtlfXJ2k6OorPDavZ0u7sHuBzGDGS9mmKou3Oq5LE6KnRv/4aUfOSJHEGEbv5wL2eBG4a1nXsGxlhgmtHe3V7AMODv6ARJEm6X2odT4Ixm09PRWoLnsQZxOzmPn+JOoEmSWBRx8EOtQa/MteOKHUY0wqBehL8gN2ShOvJMigg6Yw7UiwmlSvQrOj37yURg20oa0+WKpn56ISRxHq1q+lG852Jzb1lMXDTb34RlErChifQ9PUDdwX2E9mWPkkzsqLNbLbm1ijirgK3QXz+0HHinl8cVonzXLIsIE/mRyx4TG2aJ1k3uuNDJwmS9Keb0ele1ln2ZjoOWWONjaUAfG3KK5JTMlirNb6Nx9BLxlqDpW17cPUhEXCbf5D+6uVx6KzpxnpgnmP9PAlm7keP1QETb14l0yBrgRQfJh9pCS0847SCUhnXFfmZctrQOznpOOjFnF5FkPfGCUlm1vmwgt+zwYRtT7NopmIKjg9epM3F0C1y85uwEi0rFtzPysLhhBe5qWrFjo0nLOHE/W2J6h1dxQfPU9rJ8WlwYb7XCjUNQ1EpKct59pnq6tX4LaxsR5ULnCVqkW+MOk2xPIl3OMENmAbueBTRXizFWqKUz1hPVApkvvUmJA3FlOFcZU559gAlCYXLjMl9sQ1GcMmBSA2oCj7vFeRxNIX/fYW3NNxP63nC8ZqxyMtDktmmf5iNOiOuJsz6JJ0/hf+QkUTu0OdKDyWJZcUQlg+QIyTxkgG/vy2y2Yg6nRqXPUTpUdxsj/55oCbJ5502zfQESU4A2WaQuRswuyIMtXnZYXp06aQqDLyL1KkbMw76uFnQr+uATuiqz+UCTtKh6OfgExt8hCTzXhSwrHAaJoC+/L4Bu9gG6HVyldDux08aoN9FSBrEs6QISeSfnCSWUCZJGh9swGq7ADWyX0lkqheQoxnRK0nDsEQOY5IgqXAiSLoOn/uPTLcqcSOSRbFJ1vQi063LB59/Xd2mfZ5GGUxc/JcHbhwVGQZeFSY+n2SsRBSBu/SdQ5JobdwDA5/bvNoZND7fc9njX2xWJxq479p7PbHZw0g6jYUkSsakBS69M/RYMonOS1TK15QSreMsddX6pK2/WjVv7WYVr1hu1K2u3FubVVbIdd1+mEyGoatUczxgEhD1MVKWYA/b+qL5debO2kVeX1ocZ5VbD6Y26AMHzcUWxHqsbhGDx+GQ8DtbFGUsfh/HVIblrZGpPd5BV3c8PZzlzw190C4HnSQF14iIIQrcReUn17uPlqi6m/ffsj3pNdlfftXJouBaP3ZecNBHiVwQaBVCKtmTRDL2YHA+RXYwAtnqmhdd2lkFrlywQ35KIc38XvXElxRQRT+eQ1Ac0yWGnBXhIYHopp7rKfJtSSUxUH7GFVCfk2J7cXKpIvWViZ+mv/TXAE0kEILbSmzw2muC6qOhY6FmoZ5cW8N0g5l9m9rSoPhYfM6qyqkHBBSUoFKNLwS93mZqkZfE8pzTZboobuNuQr5Fwccz7ph8a/p5WQGuBKVbL/ZXJegtA7V8QwYqiY95BjoToFszmY6OUJdFedymq1vM98UaW/ZpfkbuvIxqeqA2/DaqJkALArQvQGejYwloIQ1U3o9N2UAaIrt8yXw5JB2be4skzW/gyKcZhePIJsFcDdoir5wntiQCkm7gqk/30eSgZSWosh+bsgPa0gP4i00Hyz+lET+IvVdB0tiGo756c/KQv5IF+ihABUljn5KkBL2M9iMGuvUjSjTNKbs/W4tNB7112BO1CsRTWlJYK1PNU/bKowQ0UOMpjVO3WomSxGssJWiDg1YkoNs+DkAbqaMDUDdNaayiSy9OknWXcqCjy145lIG2X2m8DkBDktBdyk6pAPXUoFuzHq9eIDhYYy80zVJZRLdaUbFYCpSLKf2iaeNZAhQL0HIMtLck6P7uSGL4v9DPY7JzQ+fy8bBEbuI4TXGyCJ+Ft1TjKS0HmouANnRA6yEobu9gui2cqo+N5wwiu5fBdJv42E6fGRqghTB1xna6J6EPaaBbJeklWUnFYlKDuZrYCwxIqlGVXdm5s6VAS56otQohqNVPXw1egj3J3ZJEmra63+eScGi+LkTo7nvJjpJknI3IQqTaNad5BSKgtnrJJOs5ug1ACyGok3Jy7ZCBzlJAt5lMTt67vUSy33FexSeSGU6KbjeeTLqu66nzEzmo60B45KrMQO/iySQBtdUn12bsFRnouofuM42kvkV4TjgSW22C30cgSf9T+IQg6Yk9oTw/pQbNxUDtGEkCVCUMTtWg/S2TpD6VEUzB2C/g5BPd1gUty0CNpUCNfhbo1gwpXTUQM/B9WkmjCXqWCao8lKXOq49h26aqnl/FjBdVr9Ui36fVQdUlxg/9fmzKDIV8+6oDKn+91F4D1FwBVPWKt3WSVHpm5Oi7nfnEgmW/4m0DdBX7Gyzj3l5n3Z2HAAAAAElFTkSuQmCC»>

Получаем, что z=1
— полюс второго порядка для f(z)
.


б) Особые точки функции — корни уравнения e^z
, то есть f(z)
или

. Все эти точки:

— простые нули знаменателя, и так как числитель в этих точках не обращается в нуль, то они — простые полюсы функции

. f(z)= c_0+\sum_{n=1}^{\infty} \frac{c_{-n}}{z^n},\quad R&lt;|z|&lt;\infty.

z_0 Найти конечные особые точки следующих функций и определить их тип: z_0\in\mathbb{C}

z_0=\infty а)

; б)

.

f(z) z_0

Найти конечные особые точки функций и определить их тип:

а) z=\infty
; б) z=\frac{1}{\xi}
.

\exp\frac{1}{\xi}

\xi=0

Конечными особыми точками этих функций вида

, где

— аналитическая функция, являются только нули знаменателя.

а) Особые точки функции:

. Точки

и

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

— точка

или z_0
. В точках

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

— точка

или f(z)= \sum_{n=0}^{\infty} c_n(z-z_0)^n,\quad 0&lt;|z-z_0|&lt;r
. Тогда для функции f(z)
получаем

f(z)= \frac{(z-z_0)\cdot \varphi(z)}{4 \left(z-\dfrac{1}{2}\right)\!\! \left(z+ \dfrac{1}{2}\right)\! (z^2+3)}\,.

Так как \lim\limits_{z\to z_k} f(z)\ne\infty
для z_0=z_1=\frac{1}{2}
или z_0=z_2=-\frac{1}{2}
, то эти точки — устранимые особые точки функции f(z)
.

б) Особые точки функции: z_{1,2}=\pm1,~ z_{3,4}=\pm i
. Точки z_3=i
и z_4=-i
— простые полюсы.

Для точек z_1=1
и z_2=-1
проводим рассуждения, как в предыдущем пункте, и находим, что они — устранимые особые точки f(z)
.

Определить тип особой точки z=0
для следующих функций: а) f(z)= \frac{e^z-1-z}{e^{z^5}-1}
; б) f(x)= \frac{\cos z^2-1}{z^3\sin^2z^2}
.

В точке z=0
и числитель, и знаменатель каждой из функций обращается в нуль. Определим порядок нуля в каждом случае и используем п.3 утверждения 4.4.

а) Из разложений по степеням z
функций

\begin{gathered} e^z-1-z&= \left(1+z+\frac{z^2}{2!}+\ldots\right)-1-z= \frac{z^2}{2!}+\frac{z^3}{3!}+\ldots\\ e^{z^5}-1&= \left(1+z^5+\frac{z^{10}}{2!}+\ldots\right)-1= z^5+\frac{z^{10}}{2!}+\ldots \end{gathered}

находим, что z=0
— нуль второго порядка для числителя <img alt="(0

)» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADMAAAAWBAMAAACf7rmcAAAAIVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAt9G3DAAAAC3RSTlMA/AHPRhtngqYxkZG9aXQAAAFRSURBVCjPfVI9S8NQFD19TZrGLdH4saUJBenUtAbR6dVJt5SCc0odilO6OQYKVZwq/oGC6O/03JdUmsUHebnvnvtx7gfw3+nktXCUya3uef1UmqWC/SDCBujfAYMCiLUo+inU/CWl9wjuOPmGuqIyEKi7gxXgK8RUY5YNzoFFCLxK6GmG9hATrRbAvFDJFi0NNZG8tJkW6JW4JTREkqNdAj0mU2tgQmikToHHDImGMwLaO3pdSxxC7gntIvs4hOWzkCFfZ8CKkG9dGFI0sPg5/iHkCzTXTcjkMpB7gyb0IQxNwM9tR/9BQiNmXbnQsNPoUksH4JAGSN4JsMqE/Gw89jLjEZdVyVg/M9o7+Xieh6pkGQcbBfeJFxsV8QAtqk2juoWUSiHe1nOjDd5EsNP9SMta4FBsM5RoWWuiTfV3aBLnzQXomgXAwQIgbKyK2j9/Aa2FNlJjU1z2AAAAAElFTkSuQmCC»>
и нуль пятого порядка для знаменателя <img alt="(0

)» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADMAAAAWBAMAAACf7rmcAAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACnRSTlMA/HRHAbwbmtkxwgdZHwAAAUhJREFUKM99Uk1Pg0AQfcKC7VEkVG80TSNHSIymt4L040iTqleI8Y4mjb1asV7rP/bNLvhxcQ+T3Xkzb97MLPDfscL2clyKVdc0z8YzBtwJ9NudYo4FQ3uxOOZ7YDi+Y/YazvvGg3pjbKBpatgBtlNUMZyTM4ZHU8OoqhK9AkmMCHBGl3QdxVCJ1GVMFSKtcU9Il3BqIJXbLZAQWiuPzonoyRpgRhg7qiDU9E8JfUTUc+NTQcFanoF8+5xQ6A4Am0GZ/xvydZerg4asFpJajUB2iVUskOqyPgkVQjisW0gTiowl+wpFBplfS5mAyigDGxIHGJaS/lj2B6bOrDAt59sLsrFla/dUG3cq6+Cg0B/RcFB4uJJB0a0HtejWtTxA5Tl0jHoRj7vvVioD4NDxvRRZpTntajOWWxoq++8HwM8HUHmXpdlay/MFvI4zwsOYiTAAAAAASUVORK5CYII=»>
. Следовательно, z=0
— полюс третьего порядка для функции f(z)
.

б) Используя правила определения порядка нуля, в частности, как и в предыдущем пункте, раскладывая функции в ряды по степеням z
, находим, что z=0
является <img alt="0

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACXRSTlMAKOhHf8OoEWHamHgWAAAA5UlEQVQY03WQvQ6CMBSFT0FAty7GsOHPAzS66NYYHNiqiTFuDurMIAOb6RP4O/C23lvAwcSbwG2/ck8PB/hbHenavN4N+HWkJwcCxZvpaQ34BmI70oiGRMQYyxyeQiHDF3AmFCYoNSxgdVTliEnTM+gd+DAz2Ct4GigJJZgAF8koPAALQjfx5IvEg8wkDfIdCum6zq1Fd0aWpH1C8RcJ9sSoR8i4wb7sSjfofLG82CGQTp5mlpJNFO9NRV8YFk3H7j+yqiITbBViRgnYNqRYtitPNYvVN0Hf1N2F01Rat+D6L+jf+gBlGybr5KyOcQAAAABJRU5ErkJggg==»>
для числителя и <img alt="0f(z)= \frac{(z-z_0)\cdot \varphi(z)}{4 \left(z-\dfrac{1}{2}\right)\!\! \left(z+ \dfrac{1}{2}\right)\! (z^2+3)}\,.» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAIVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAt9G3DAAAACnRSTlMAAUcn5nTCmhGxQqnF/AAAAPhJREFUGNN1UbFSwkAU3EsUxOoCBGdSMY5YUIUZCicV4ECdIjO2QUf+AG1TU6WS1mCXr3T3AhQyXrHvdue9d+/tAf+ediw0I0fMk3ALX2EwFD58vQHdNfqrzWZ980zFXyArcDVEVNd1iU81mWGXIrN4nATTAgl79nNEJfYAO7+SpsCO0twsYSxC0k4JjClV/kEPTS1wPXfSbeU56Z0ThdUxy/vR29K7lJKz1CYzkiJKuSsckEGFHc3laiJlhTOANVnMIdjim3CXE7KXBbRHkDDBjQr/vrBayPTkTxKf7OLaJtDl4+yglzfRmdMcu21iK/1rNEYXP2AEv1B4LJJX7XONAAAAAElFTkSuQmCC»>
для знаменателя. Следовательно, z=0
-полюс пятого порядка для f(z)
.

Найти конечные особые точки следующих функций и определить их тип:

а) f(z)= \frac{e^{2+2i}}{z^4-16}
; б) f(z)= \frac{(z+\pi) \sin \frac{\pi z}{2}}{z\sin^2z}
.

Определить тип особой точки z=0
для следующих функций:

а) f(z)= \frac{\sin z-z}{\cos z-1-\dfrac{z^2}{2}}
; б) f(z)= \frac{\sin z+z}{\operatorname{ch}z-1-\dfrac{z^2}{2}}
; в) f(z)= \frac{\sin z-z}{\cos z-1+\dfrac{z^2}{2}}
; г) f(z)= \frac{\sin z+z}{\operatorname{ch}z-1+\dfrac{z^2}{2}}
.

Точка z=0
является нулем и знаменателя, и числителя для каждой из функций. Определим порядок нуля в каждом случае, используя правило определения порядка нуля (утверждение 3.5), в частности, раскладывая соответствующую функцию по степеням z
.

а) Из разложений

\begin{aligned}\sin z-z&= \left(z-\frac{z^3}{3!}+\ldots\right)-z=-\frac{z^3}{3!}+ \frac{z^5}{5!}+\ldots\\ \cos z-1-\frac{z^2}{2}= \left(1-\frac{z^2}{2!}+ \frac{z^4}{4!}-\ldots\right)-1-\frac{z^2}{2}=-z^2+\frac{z^4}{4!}-\ldots \end{aligned}

находим, что z=0
является <img alt="0

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAIVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAt9G3DAAAACnRSTlMARwEa6MSIqWkxO3BKowAAAQhJREFUGNN1kLFOAkEQhv/dO+6M1ZpgglTLRa+gOmJicRVgY7kBtbDa4jCWJARMrLa4BzC+gadA8CmZ2SVYMcnO7P/tzmRmgJOWf7KXHS/kLfsVXb6AG8WivZwCvQmip0eL6J5INEJVIFZo2bMN8E4oHaJ0qDXKH/FLvgCuDfpzfkznYk3SASWhsXwAMqTf/AB0CTURCQwqp5GMPTpvBKO7mQWS5vBL7LgdsaXThFoHJP8UeoT6hAwnXjq8WJ/IfVku/2H4VzKk5B3qgptoK7HWSA1VqF9HPIfMn6sFEFse8qLQPBAGV6R4oGCxClHOjhsUJkS/nGDZW4gtd0QyDzU6/6uXmfaB3R4tjy/l2QcIOgAAAABJRU5ErkJggg==»>
для числителя и <img alt="0

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACXRSTlMAKOhHf8OoEWHamHgWAAAA5UlEQVQY03WQvQ6CMBSFT0FAty7GsOHPAzS66NYYHNiqiTFuDurMIAOb6RP4O/C23lvAwcSbwG2/ck8PB/hbHenavN4N+HWkJwcCxZvpaQ34BmI70oiGRMQYyxyeQiHDF3AmFCYoNSxgdVTliEnTM+gd+DAz2Ct4GigJJZgAF8koPAALQjfx5IvEg8wkDfIdCum6zq1Fd0aWpH1C8RcJ9sSoR8i4wb7sSjfofLG82CGQTp5mlpJNFO9NRV8YFk3H7j+yqiITbBViRgnYNqRYtitPNYvVN0Hf1N2F01Rat+D6L+jf+gBlGybr5KyOcQAAAABJRU5ErkJggg==»>
— для знаменателя, поэтому она — устранимая особая точка. Так как

\lim\limits_{z\to0}f(z)= \lim\limits_{z\to0} \frac{z^3\! \left(-\frac{1}{3}+ \frac{z^2}{5!}+ \ldots\right)}{z^2\! \left(-1+\frac{z^2}{4!}-\ldots\right)}=0,

то, полагая f(0)=0
, можно считать, что z=0
— нуль для f(z)
, причем <img alt="0

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACXRSTlMARgGEHObCqGkpX8TlAAAA2klEQVQY03WQsQrCQAyG/8aquNVB0O1qacFNEMWxg4ubLSKORX2AgqBrlz6Ap0vf1tylei4Gkv/yXQhJgL8WpSbS2Ca0MfFKgA8kgUlGtwsQntjPTPdM/AzLFN0AyeHJ6Z29v8O2Qq1AnkFb7hkXmJX206K4Yswop+MH9Utgwkj7jw/q5BYNtOeQbqsc8rT0cohCRjNGhauKtMw1/2m/48cLddoOobii4Fe9yOweSdM0CvHcLDlMlVkIREoWEusGorT6XtArRO1xxKZr0V71RSSHxtidnqbKiglvjaYqbPqc7/IAAAAASUVORK5CYII=»>
(см. замечания 4.4).

б) Из разложений

находим, что z=0
является <img alt="0

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACXRSTlMARgGEHObCqGkpX8TlAAAA2klEQVQY03WQsQrCQAyG/8aquNVB0O1qacFNEMWxg4ubLSKORX2AgqBrlz6Ap0vf1tylei4Gkv/yXQhJgL8WpSbS2Ca0MfFKgA8kgUlGtwsQntjPTPdM/AzLFN0AyeHJ6Z29v8O2Qq1AnkFb7hkXmJX206K4Yswop+MH9Utgwkj7jw/q5BYNtOeQbqsc8rT0cohCRjNGhauKtMw1/2m/48cLddoOobii4Fe9yOweSdM0CvHcLDlMlVkIREoWEusGorT6XtArRO1xxKZr0V71RSSHxtidnqbKiglvjaYqbPqc7/IAAAAASUVORK5CYII=»>
для числителя и <img alt="0f(z)» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAG1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABp4cHsAAAACHRSTlMAAUTCHnTnotxV7RsAAADqSURBVBjTdZE7qwJBDIXP7ONqOav4KBdFsRzxUS9cQcsFYW1VtF8QsR618Gd7MgELLzdFkvkmnEkywL/WKMSbUTiYlfirocvRzuUwvsyB1pRZxyM5MSZHVAV+5HbigZuI7LEpUVmmS6INNbsO/TpcpluibklMdDBnIPttE/VqChD55M6X54LSQ0BNHxGlJZHhq1olaG2lquVVK6DFYHjPjaA+kSMys9nyUUu72pfIA7Fo7YHoye6lCZjYWzQcs2p31Dni18uFVpEMCqsDZZkOpBbGFrt8Nhg5jWE5avaqMS6/F43Rnx+QbeMNUXAoscdBLbMAAAAASUVORK5CYII=»>
— для знаменателя. Поэтому z=0
— полюс третьего порядка для f(z)
.

в) Как и в предыдущих пунктах, находим, что z=0
является <img alt="0

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAIVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAt9G3DAAAACnRSTlMARwEa6MSIqWkxO3BKowAAAQhJREFUGNN1kLFOAkEQhv/dO+6M1ZpgglTLRa+gOmJicRVgY7kBtbDa4jCWJARMrLa4BzC+gadA8CmZ2SVYMcnO7P/tzmRmgJOWf7KXHS/kLfsVXb6AG8WivZwCvQmip0eL6J5INEJVIFZo2bMN8E4oHaJ0qDXKH/FLvgCuDfpzfkznYk3SASWhsXwAMqTf/AB0CTURCQwqp5GMPTpvBKO7mQWS5vBL7LgdsaXThFoHJP8UeoT6hAwnXjq8WJ/IfVku/2H4VzKk5B3qgptoK7HWSA1VqF9HPIfMn6sFEFse8qLQPBAGV6R4oGCxClHOjhsUJkS/nGDZW4gtd0QyDzU6/6uXmfaB3R4tjy/l2QcIOgAAAABJRU5ErkJggg==»>
для числителя и <img alt="0f(z)» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAWBAMAAAC4QDh0AAAAG1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABp4cHsAAAACHRSTlMAAUTCHnTnotxV7RsAAADqSURBVBjTdZE7qwJBDIXP7ONqOav4KBdFsRzxUS9cQcsFYW1VtF8QsR618Gd7MgELLzdFkvkmnEkywL/WKMSbUTiYlfirocvRzuUwvsyB1pRZxyM5MSZHVAV+5HbigZuI7LEpUVmmS6INNbsO/TpcpluibklMdDBnIPttE/VqChD55M6X54LSQ0BNHxGlJZHhq1olaG2lquVVK6DFYHjPjaA+kSMys9nyUUu72pfIA7Fo7YHoye6lCZjYWzQcs2p31Dni18uFVpEMCqsDZZkOpBbGFrt8Nhg5jWE5avaqMS6/F43Rnx+QbeMNUXAoscdBLbMAAAAASUVORK5CYII=»>
— для знаменателя. Поэтому z=0
— простой полюс для f(z)
.

г) Точка z=0
является простым нулем числителя, нулем второго порядка для знаменателя. Следовательно, это простой полюс для f(z)
.



Определение порядка полюса в бесконечно удаленной точке

Рассмотрим бесконечно удаленную точку. Тип особой точки можно определить, вычисляя \lim\limits_{z\to\infty}f(z)
или раскладывая функцию в ряд Лорана (см. примеры 4.4, 4.7). Можно свести задачу к исследованию конечной точки \xi=0\,\left(\frac{1}{z}= \xi\right)
(см. утверждение 4.2 и пример 4.9). В двух последних случаях определяется и порядок полюса.

Практически удобное правило определения порядка полюса z=\infty
можно получить, используя п. 2 утверждения 4.2 и правила определения порядка полюса в конечной точке (утверждение 4.3). Действительно, пусть z=\infty-\Pi(n)
для функции f(z)
, тогда \xi=0-\Pi(n)
для f\! \left(\frac{1}{\xi}\right)
и можно записать f\! \left(\frac{1}{\xi}\right)= \frac{F(\xi)}{\xi^n},~ F(\xi)\ne0
(см. (4.14)). Поэтому, обозначив f\! \left(\frac{1}{z}\right)= \varphi(z)
, для f(z)
получим

f(z)=z^n\cdot \varphi(z),\qquad \lim\limits_{z\to\infty} \varphi(z)\ne0,\qquad \lim\limits_{z\to\infty} \varphi(z)\ne\infty.

Представление функции в виде (4.15) является необходимым и достаточным условием полюса порядка n
функции f(z)
в точке z=\infty
.

Используя формулу (4.15), нетрудно убедиться, что если

для

и


для

, то

— полюс порядка

для функции

.

Определить тип особой точки

для функций: а) z_0
; б) f(z)
.

f(z)= \sum_{n=0}^{\infty} c_n(z-z_0)^n,\quad 0&lt;|z-z_0|&lt;r

Так как z_0\in\mathbb{C}
в обоих случаях, то z_0=\infty
для данных функций — полюс. Определим порядок полюса. z_0

а) Точка f(z)= c_0+\sum_{n=1}^{\infty} \frac{c_{-n}}{z^n},\quad R&lt;|z|&lt;\infty.
является полюсом третьего порядка, в чем можно убедиться любым из следующих способов.

Разложение функции по степеням

имеет вид

, все f(z)
, и по определению (см. формулы (4.7), (4.11)) заключаем, что z_0
.

Обозначим z=\frac{1}{\xi}
, получим функцию f\! \left(\frac{1}{\xi}\right)= \frac{1-2\xi}{\xi^3}
, для которой <img alt="\xi=0-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAG4AAAAWBAMAAADTBLRkAAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACnRSTlMA/oMBRMoppRBqhBfUxQAAAaRJREFUOMu9VE1PAjEQfaFYl2OJIt7YTUCPNY1ftyVi9ChEUG5LoveFhMhREkk8ghHjz3Wmi0DXNcGLk910286b13kzXeAfzIvtkJvaoRCmtuW1Ow8S05hEEA8a4jaBv0du1Ha14uLUIAhUAAyAy4Mi0GOAN1Sx47YVe/suYTOEUBr5MuQO/Aq2GfB4/+p61UMMdRbuNEZeifoNTsq02E+n50f8rJlY4I5CeAP4MQSfR+kUrqnhh1l8dZJF8wR3vGishg1rEUfXnEMG34wY5BWLWaXFepu/8onW4YKvksXna/brcir09fR2uPIwKz5pA9XW+KqckZjFFpeLkZHf9PsEtTW+BDcuWVzvOemR1TlJ4JUuJMSSj7wLHRztWFx10VtLXTAL0c+qnyBdtopgPgL503UP1vY49loOzDQv4CnD7ZXrgPOjOvR2P1P55VvzkVMGpVSDXk11P2sHe5QY1V321SgFfPlw58IYGKNtW8pGpCFL3Nfz4k+3TJPUloxP+lqim9o3+pd7O+CgtDlm+c7b95ve98mi3btLDTcz6fwn/mxM9AUxjlAfvdHyIwAAAABJRU5ErkJggg==»>
. Поэтому, согласно п. 2 утверждения 4.2, точка <img alt="z=\infty-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHkAAAAWBAMAAAAWdi71AAAAG1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABp4cHsAAAACXRSTlMAgv26OQEW2FoS++ehAAABmklEQVQ4y72UO2/CMBDH/yhxyJhHVeaE8hgNKe0aQguMERTBGNKqWaFA1TF06dfu2UGgoFBBB26xdb7f+V42cGXZZsv9JczclJJCfQBenoEkOh+ezC3HNNvLFImPUusxZbPF+TSbjGqAxQEb+I7KdbD1BZHv6SaYxRUHzL4k8R2t14Ger5CPQCQ+8fxu3k73bqlKnlFIlzaURhgvwEYpaacfzictT1L6wq5iuoZa7duFtELBY7iie6fC/TAc+KKLsiE3tFM5AidIUUqL6LFgth4hY+EH2lHfSz5Ut0l6vncaHeiRTIjyzqLAq5+nxyH15I42nSK6LGm9EWZ3i9nJRa6QbdyIwDqnIvci1d3RvQibXNX0FNqyzTEzCmlOefkzultUTVu1KoYcJikUNVuzhCfV/k9+kONayKxOSB1jq0jkLTqmpJaDAy0L4ZHGcnOTyALXrVmuy1WalkGrbZCG6qVCi8I9npm+iQjejyaVDhkLwb7orCsyrEhscuJZnJhYe8cIN388ixP6eNdgffGfr0XlmfPEv9rPVCi/CYZR9rE4cR8AAAAASUVORK5CYII=»>
для f(z)
.

Запишем функцию в виде f(z)=z^3\! \left(1-\frac{2}{z}\right)
и, так как функция \varphi(z)=\left(1-\frac{2}{z}\right)
— удовлетворяет условиям формулы (4.15), получим, что <img alt="z=\infty-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHkAAAAWBAMAAAAWdi71AAAAG1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABp4cHsAAAACXRSTlMAgv26OQEW2FoS++ehAAABmklEQVQ4y72UO2/CMBDH/yhxyJhHVeaE8hgNKe0aQguMERTBGNKqWaFA1TF06dfu2UGgoFBBB26xdb7f+V42cGXZZsv9JczclJJCfQBenoEkOh+ezC3HNNvLFImPUusxZbPF+TSbjGqAxQEb+I7KdbD1BZHv6SaYxRUHzL4k8R2t14Ger5CPQCQ+8fxu3k73bqlKnlFIlzaURhgvwEYpaacfzictT1L6wq5iuoZa7duFtELBY7iie6fC/TAc+KKLsiE3tFM5AidIUUqL6LFgth4hY+EH2lHfSz5Ut0l6vncaHeiRTIjyzqLAq5+nxyH15I42nSK6LGm9EWZ3i9nJRa6QbdyIwDqnIvci1d3RvQibXNX0FNqyzTEzCmlOefkzultUTVu1KoYcJikUNVuzhCfV/k9+kONayKxOSB1jq0jkLTqmpJaDAy0L4ZHGcnOTyALXrVmuy1WalkGrbZCG6qVCi8I9npm+iQjejyaVDhkLwb7orCsyrEhscuJZnJhYe8cIN388ixP6eNdgffGfr0XlmfPEv9rPVCi/CYZR9rE4cR8AAAAASUVORK5CYII=»>
для f(z)
.

б) Разложение функции в ряд по степеням z
представляет некоторые трудности. Используем другие способы.

Обозначим z=\frac{1}{\xi}
, получим f\! \left(\frac{1}{\xi}\right)= \frac{(\xi^5+\xi^3+1)\cdot\xi^3}{\xi^5\cdot(1-2\xi^2)}
, или f\! \left(\frac{1}{\xi}\right)= \frac{\xi^5+\xi^3+1}{\xi^2\cdot(1-2\xi^2)}
.

Поэтому \xi=0
является <img alt="\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAAWBAMAAABAoMODAAAAG1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABp4cHsAAAACXRSTlMA/YA8vhld3JmueAVuAAAAyUlEQVQY033RTQ6CMBAF4CcKsrQoe8QLoDFxawmwLgvjFiIHALkAJHpvpy2mYNS36CRf+jOTAv/zVKtT0HIIVQTcALgQZBJ5HIZNLFABJ+4BV0G6pR08AlrYLfoAbmfQqeF4yH3YvsFFB2uD5Rq4G5wVsHcKE4P7SDaU1wQjlI+qF8cozaLTKD9Q3VFO75ynuE2PEx4FUo09TdDolpqErYAHOWMBZyySzTPGat38EBpTR435TjtU9zzCaqi5GKFb6Jp9+Q6r+PFbL98tIvHoLTfmAAAAAElFTkSuQmCC»>
для f\!\left(\frac{1}{\xi}\right)
и, следовательно, <img alt="z=\infty-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHkAAAAWBAMAAAAWdi71AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACnRSTlMA+IABxTkWW6iRspv+VQAAAZ1JREFUOMu9VE1PwkAQfWFoC8eF8nWjRBO5LSkEjyBg8NYahGsh6Ln4C0g0hiMkxt/r7BYhJcUAB+bS7WbezOx7bxe4crxHn8E5mFlNRwjjEWgFwDw4HezONrlarZsLqeEh1bc9andOR5PbyAMOI26AuvQLcAsXoKkEiMAqA9/nHHyLtoog4RlCwlcHN1feczzP+vxhlobVRHSqB0zQskGNkHebosIs4kXHWOU5dbE2yuO7RHSaj+7KDM/fVOUn0veUilqQW14ZHfgVP0QqTEI31+rH5xrNpVqZB7pnPRiCa5vLXdFgj26ojuaQd9JasrkXR6clsGA56CMJrefNqMIabXxF/ttNnuHcqR2AmB/IxMlXuOfJFXoUoBdjzQphPnWXaFePsZYNaRSxZtoPzlrbQQf3ogHNl3N7vIgbeZqX5PSkUmzR71e4HLOaDp0K9mhNRD8HckTMieQLkXeE6LSK7DUhOENJZcCMevy15nhVE7wdXBOuTCS1U6PEjU52jxj7iGN3Jir9eyeP7E+3AludS54WI0LR1Lvay5QYv2BrTgZTKfaHAAAAAElFTkSuQmCC»>
для f(z)
.

Представим функцию в виде f(z)= \frac{z^5\cdot \left(1+ \dfrac{1}{z^3}+\dfrac{1}{z^2}\right)}{z^3\cdot \left(1-\dfrac{2}{z^2}\right)}
или f(z)= z^2\cdot \varphi(z)
, где \lim\limits_{z\to\infty} \varphi(z)=1
, и, согласно формуле (4.15), <img alt="z=\infty-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHkAAAAWBAMAAAAWdi71AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACnRSTlMA+IABxTkWW6iRspv+VQAAAZ1JREFUOMu9VE1PwkAQfWFoC8eF8nWjRBO5LSkEjyBg8NYahGsh6Ln4C0g0hiMkxt/r7BYhJcUAB+bS7WbezOx7bxe4crxHn8E5mFlNRwjjEWgFwDw4HezONrlarZsLqeEh1bc9andOR5PbyAMOI26AuvQLcAsXoKkEiMAqA9/nHHyLtoog4RlCwlcHN1feczzP+vxhlobVRHSqB0zQskGNkHebosIs4kXHWOU5dbE2yuO7RHSaj+7KDM/fVOUn0veUilqQW14ZHfgVP0QqTEI31+rH5xrNpVqZB7pnPRiCa5vLXdFgj26ojuaQd9JasrkXR6clsGA56CMJrefNqMIabXxF/ttNnuHcqR2AmB/IxMlXuOfJFXoUoBdjzQphPnWXaFePsZYNaRSxZtoPzlrbQQf3ogHNl3N7vIgbeZqX5PSkUmzR71e4HLOaDp0K9mhNRD8HckTMieQLkXeE6LSK7DUhOENJZcCMevy15nhVE7wdXBOuTCS1U6PEjU52jxj7iGN3Jir9eyeP7E+3AludS54WI0LR1Lvay5QYv2BrTgZTKfaHAAAAAElFTkSuQmCC»>
для f(z)
.

Используем замечание 4.5. Можно определить порядок полюса z=\infty
для дроби \frac{f_1(z)}{f_2(z)}
, зная соответствующие порядки полюсов числителя и знаменателя. Здесь, очевидно, <img alt="z=\infty-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHkAAAAWBAMAAAAWdi71AAAAIVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAt9G3DAAAAC3RSTlMAgf3KARZBMVqpkdMasOkAAAGoSURBVDjLvZQ7T8MwFIVPVacJnfoYEGx1iqCd+oSWKWoydDSNgBUCVIwRFYgxwB8IAga2qBUSP5PrBFolpAg6YClxcuXPPj732sA/t7uo2/sLc1AMmwe1CwUQsMXvYetgWikWW00P9gmc/lOXDRu/p5k1qAIlIsqAw2sC1u5fpH/RO8DZmFSz2Qq0tkV0GHDkxpVX9zQ+Tnt6I5f6hVQ60yH66EIGPHqZrXqXupuxbDKK8iYP1Nr1RiqdJfFnzSmRppz+1pi4MothQtbpS23gqn7lIeOl0gEwEXnSb/oyrCTynnehcvJG8eeTigU9CDeUqyFUAdhunM4awP02mfqcRpNedoycbkS0+hLV31z5Go0d6QKM/IGRVG4GYFxI2pT0RKATc03zoOy3fAwLy1zThVaLXFPazXKwKEhai+0x27f164d4IY+qBit1DJmxd6xtRRnLeqV6oi7sdoWW4XEzHc6rJc4bOeLsxzZ55dCjQvl2WI6lgkMrUegWGDPAevRzeU6vWeiJteRYLDkusoiYxHo/nskl8dFngrXGKleL+klN3H+7mVLbB1iyUd8cHFCIAAAAAElFTkSuQmCC»>
для числителя и <img alt="\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAAWBAMAAABAoMODAAAAGFBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAABoAtTLAAAAB3RSTlMAhLhDG+Rm9+O2hAAAAMlJREFUGNN9kTEPgkAMhZ9wwMolElbABFaIA+vFxF0kkZWwOKsk9/dtT/DAqB3a9Euvfe0B/21rvNuTq6QxBYcyl8COYZFK2aUKA3DIGuCoiMYhUJRACzS4hnASC/0ThFY1+dFCh0KGmsouFgY81fTJLKwpFRVXRQtIQ4VsGCygkc49608YPNawhJvDu62fk6q7qZwHdSW8Hn5repKkWOuw0Lpk8ZE8K172bbQmxJ7FjotztlPcJAs4TNGcbjanf8X8y3f4/Y/fegL30B3bHq3WuQAAAABJRU5ErkJggg==»>
— для знаменателя (см. формулы (4.7), (4.11)). Поэтому <img alt="z=\infty-\Pi

» src=»https:/mathhelpplanet.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHkAAAAWBAMAAAAWdi71AAAAHlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABaVcReAAAACnRSTlMA+IABxTkWW6iRspv+VQAAAZ1JREFUOMu9VE1PwkAQfWFoC8eF8nWjRBO5LSkEjyBg8NYahGsh6Ln4C0g0hiMkxt/r7BYhJcUAB+bS7WbezOx7bxe4crxHn8E5mFlNRwjjEWgFwDw4HezONrlarZsLqeEh1bc9andOR5PbyAMOI26AuvQLcAsXoKkEiMAqA9/nHHyLtoog4RlCwlcHN1feczzP+vxhlobVRHSqB0zQskGNkHebosIs4kXHWOU5dbE2yuO7RHSaj+7KDM/fVOUn0veUilqQW14ZHfgVP0QqTEI31+rH5xrNpVqZB7pnPRiCa5vLXdFgj26ojuaQd9JasrkXR6clsGA56CMJrefNqMIabXxF/ttNnuHcqR2AmB/IxMlXuOfJFXoUoBdjzQphPnWXaFePsZYNaRSxZtoPzlrbQQf3ogHNl3N7vIgbeZqX5PSkUmzR71e4HLOaDp0K9mhNRD8HckTMieQLkXeE6LSK7DUhOENJZcCMevy15nhVE7wdXBOuTCS1U6PEjU52jxj7iGN3Jir9eyeP7E+3AludS54WI0LR1Lvay5QYv2BrTgZTKfaHAAAAAElFTkSuQmCC»>
для f(z)
.

Определить порядок полюса в точке z=\infty
для следующих функций: а) f(z)= \frac{z^3}{z-1}
; б) f(z)=z^2+1+\frac{1}{z^2-1}
.



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

Пусть z_0
— особая точка функций f_1(z)
и f_2(z)
и тип особой точки для каждой из функций известен. Требуется определить тип особой точки для функций f_1(z)\pm f_2(z);~ f_1(z)\cdot f_2(z);~ \frac{f_1(z)}{f_2(z)}
. Рассмотрим следующие случаи.

Пусть точка го является полюсом порядка m~(\Pi(m))
для функции f_1(z)
и полюсом порядка k~(\Pi(k))
для функции f_2(z)
.

а) При исследовании суммы f(z)= f_1(z)+ f_2(z)
воспользуемся формулой (4.14) (п.1 утверждения 4.3) и запишем слагаемые в виде

f_1(z)=\frac{\varphi_1(z)}{(z-z_0)^m},~~ f_2(z)=\frac{\varphi_2(z)}{(z-z_0)^k}
, где \varphi_1(z_0)\ne0,~\varphi_2(z_0)\ne0
.

При k=m
для суммы f(z)= f_1(z)+ f_2(z)
получаем f(z)= \frac{\varphi_1(z)+\varphi_2(z)}{(z-z_0)^m}
или f(z)=\frac{\varphi(z)}{(z-z_0)^m}
, где \varphi(z)= \varphi_1(z)+ \varphi_2(z)
. Если \varphi(z_0)\ne0
, то z_0-\Pi(m)
для функции f(z)
. Однако для функций f_1(z),\, f_2(z)
может выполняться условие \varphi_1(z_0)+ \varphi_2(z_0)=0
и’ следовательно, \varphi(z_0)=0
. В этом случае формула (4.14) не применима и точка z_0
не будет полюсом порядка m
для f(z)
. В соответствии с п.3 утверждения 4.3 порядок полюса будет меньше, чем m
, и равен (m-p)
в случае m&gt;p
, где p
— порядок нуля функции \varphi(z)
. Если p=m
, то z_0
— устранимая особая точка для f(z)
.

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

б) Для исследования произведения f_1(z)\cdot f_2(z)
воспользуемся формулой связи нулей с полюсами (п.2 утверждения 4.3) и рассмотрим вспомогательные функции F_1(z)= \frac{1}{f_1(z)},~ F_2(z)= \frac{1}{f_2(z)}
. Для первой из этих функций z_0-0(m)
, для второй соответственно z_0-0(k)
. а поэтому для F(z)= F_1(z)\cdot F_2(z)
она будет 0(m+k)
. Согласно п.2 утверждения 4.3, z_0
является \Pi(m+k)
для f(z)= f_1(z)\cdot f_2(z)
.

в) Аналогичные рассуждения для частного \frac{f_1(z)}{f_2(z)}
приводят к результату: при m&gt;k
точка z_0
является \Pi(m-k)
для \frac{f_1(z)}{f_2(z)}
.

Пусть точка z_0
является полюсом, устранимой особой точкой или не особой для f_1(z)
и существенно особой для f_2(z)
. Так как \lim\limits_{z\to z_0}f_2(z)
не существует, то по свойству пределов он не существует для каждой из рассматриваемых комбинаций f_1(z)\pm f_2(z);~ f_1(z)\cdot f_2(z);~ \frac{f_1(z)}{f_2(z)}
. Следовательно, для каждой из них z_0
— существенно особая точка. Заметим, что для функции \frac{1}{f_2(z)}
эта точка является либо существенно особой точкой, либо не является изолированной особой точкой. Последнее проиллюстрировано в примере 4.5 для функции \frac{1}{\sin z^{-1}}
.

Пусть z_0
— полюс порядка n
для f_1(z)
и устранимая особая точка для f_2(z)
. Разложения этих функций в ряд в окрестности z_0
имеют вид (4.6) и (4.4) соответственно.

а) При сложении рядов в общей области сходимости получится ряд, главную часть которого будет составлять главная часть ряда функции f_1(z)
. Следовательно, для f(z)= f_1(z)\pm f_2(z)
точка z_0
— полюс порядка n
.

б) Аналогичные рассуждения приводят к заключению, что такой же результат получится и для f(z)= f_1(z)\cdot f_2(z)
, если \lim\limits_{z\to z_0}f_2(z)\ne0
.

Если \lim\limits_{z\to z_0}f_2(z)=0
и z_0-0(p),~ p&lt;n
для функции f_2(z)
, то из равенства

f_1(z)\cdot f_2(z)= \frac{\varphi_1(z)}{(z-z_0)^n}\cdot \varphi_2(z)\cdot (z-z_0)^p= \frac{\varphi(z)}{(z-z_0)^{n-p}}
заключаем, что z_0-\Pi(n-p)
.

в) Для частного \frac{f_1(z)}{f_2(z)}
при условии \lim\limits_{z\to z_0} f_2(z)\ne0
из равенства f(z)= \frac{f_1(z)}{f_2(z)}= \frac{\varphi_1(z)}{(z-z_0)^n f_2(z)}= \frac{\varphi(z)}{(z-z_0)^n}
заключаем, что z_0-\Pi(n)
для f(z)
.

Если \lim\limits_{z\to z_0}f_2(z)=0
и z_0-0(p)
для f_2(z)
, то, используя условие кратного нуля, из равенства

f(z)= \frac{f_1(z)}{f_2(z)}= \frac{\varphi_1(z)}{(z-z_0)^n \varphi_2(z) (z-z_0)^p}= \frac{\varphi(z)}{(z-z_0)^{n+p}}

заключаем, что z_0
является \Pi(n+p)
для \frac{f_1(z)}{f_2(z)}
, где n
— порядок полюса функции f_1(z),~p
— порядок нуля функции f_2(z)
в точке z_0
.

Подводя итог, запишем следующее утверждение.

Пусть точка z_0
является \Pi(m)
для функции f_1(z)
и \Pi(k)
для функции f_2(z)
. Тогда:

а) для f_1(z)\pm f_2(z)
она будет \Pi(n),~ n \leqslant \max(m,k)
, а при n=0
— устранимой особой точкой;

б) для f_1(z)\cdot f_2(z)
она является \Pi(n),~ n=m+k
;

в) для \frac{f_1(z)}{f_2(z)}
она будет \Pi(n),~ n=m-k
.

Пусть z_0
— существенно особая точка для функции f_2(z)
и устранимая особая точка или полюс для функции f_1(z)
. Тогда z_0
— существенно особая точка для f_1(z)\pm f_2(z);~ f_1(z)\cdot f_2(z);~ \frac{f_1(z)}{f_2(z)}
.

Пусть точка z_0
является \Pi(n)
для функции f_1(z)
и устранимой особой точкой для функции f_2(z)
. Тогда:

а) для f_1(z)\pm f_2(z)
она будет \Pi(n)
;

б) для f_1(z)\cdot f_2(z)
она является \Pi(n)
, если \lim\limits_{z\to z_0}f_2(z)\ne0
, и \Pi(n-p)
, если \lim\limits_{z\to z_0}f_2(z)=0
и p
— порядок нуля f_2(z)
в точке z_0
;

в) для \frac{f_1(z)}{f_2(z)}
она будет \Pi(n)
, если \lim\limits_{z\to z_0}f_2(z)\ne0
, и \Pi(n+p)
, если \lim\limits_{z\to z_0}f_2(z)=0
и p
— порядок нуля f_2(z)
в точке z_0
;

Если точка z_0-\Pi(n)
для \varphi(z)
, то она существенно особая точка для сложной функции f(\varphi(z))
. В этом можно убедиться, рассматривая ряды для \varphi(z)
и f(\varphi(z))
в окрестности z_0
.

Определить тип особой точки z=0
для функции f(z)
, если f(z)= f_1(z)+ f_2(z)
, где f_1(z)= \frac{1}{z^2}
, а функция f_2(z)
определяется следующим образом:

а) f_2(z)= \frac{1}{z}-\frac{2}{z^2}
; б) f_2(z)= \frac{1}{z}-\frac{1}{z^2}
; в) f_2(z)=1-\frac{1}{z}
.

Найти особые точки функции f(z)= \frac{1}{e^z-1}-\frac{1}{z}
. Определить их тип.

Особыми точками функции являются особые точки первого слагаемого z=2k\pi i,~ k\in\mathbb{Z}
, особая точка второго слагаемого z=0
входит в это множество. Точки z_k=2k\pi i,~k\ne0
являются простыми нулями знаменателя и поэтому простыми полюсами первой функции; для второго слагаемого эти точки не являются особыми. Поэтому точки z_k=2k\pi i,~k\ne0
-простые полюсы f(z)
(см. п. 3 «а» утверждения 4.4).

Точка z=0
— простой полюс и для первого, и для второго слагаемого. Для f(z)
— это или простой полюс, или устранимая особая точка (см. п.1 «а» утверждения 4.4). Преобразуем разность в дробь: f(z)= \frac{z-e^z+1}{(e^z-1)z}
. Точка z=0
является нулем второго порядка и для числителя, и для знаменателя. Следовательно, это — устранимая особая точка, в чем можно убедиться, используя определение, т.е. находя \lim\limits_{z\to0}f(z)
. Действительно,

\lim\limits_{z\to0}f(z)= \lim\limits_{z\to0} \frac{-1-z-\dfrac{z^2}{2!}+\ldots+z+ 1}{\left(-1-z-\dfrac{z^2}{2!}+\ldots-1 \right)\!z}= \lim\limits_{z\to0} \frac{-\dfrac{z^2}{2!}-\dfrac{z^3}{3!}-\ldots}{z^2\! \left(1+\dfrac{z}{2!}+\ldots\right)}= \lim\limits_{z\to0} \frac{-z^2\! \left(\dfrac{1}{2!}+ \dfrac{z}{3!}+\ldots\right)}{ z^2\!\left(1+\dfrac{z}{2!}+\ldots\right)}=-\frac{1}{2}\,.

Точка z=\infty
для данной функции является неизолированной особой точкой, так как в любой ее окрестности |z|&gt;R
содержится бесконечное множество особых точек вида z_k=2k\pi i
. Эта точка- предельная точка полюсов. Заметим, что для знаменателя первого слагаемого функции она — существенно особая точка.

Найти особые точки следующих функций, определить их тип:

а) f(z)= \frac{z-\pi}{\sin^2z}\cos \frac{1}{z-2i}+ \frac{1}{z^6+1}
; б) f(z)= \frac{1}{z^2-1} \sin \frac{\pi z}{2z+1}+ \frac{1}{e^z+i}
.

Обозначим f_1(z)
— первое слагаемое, f_2(z)
— второе слагаемое функции f(z)
, т.е. имеем f(z)=f_1(z)+f_2(z)
.

а) Для f_1(z)
точка z=2i
является существенно особой точкой, так как это существенно особая точка для \cos \frac{1}{z-2i}
множителя этой функции. Поэтому она — существенно особая точка для f(z)
(п. 2 утверждения 4.4).

Точки z_k=k\pi,~k\ne1
— полюсы второго порядка функции f_1(z)
, так как ее можно записать в виде f_1(z)=\frac{\varphi(z)}{\sin^2z}
, где \varphi(z_k)\ne0
, а для знаменателя эти точки — нули второго порядка . Так как для f_2(z)
эти точки не особые, то z_k=k\pi,~z\ne\pi
— полюсы второго порядка для f(z)
(п. 3 утверждения 4.4).

С помощью аналогичных рассуждений получаем, что z=\pi
— простой полюс для f(z)
.

Особыми точками f_2(z)
являются корни уравнения z^6+1=0
, то есть z_k=\exp \frac{(-\pi+2k\pi)i}{6},~ k=0,1,\ldots,5
. Все они — простые нули знаменателя- функции F(z)
, а потому — простые полюсы для f_2(z)= \frac{1}{F(z)}
. Так как эти точки не являются особыми для f_1(z)
, то для f(z)
— это простые полюсы.

Точка z=\infty
— неизолированная особая точка f(z)
.

б) Точка z=\frac{-1}{2}
— полюс дроби \frac{\pi z}{2z+1}
является существенно особой точкой для \sin\frac{\pi z}{2z+1}
(п.4 утверждения 4.4), поэтому она — существенно особая точка для f_1(z)
и, следовательно, для f(z)
.

Точка z=1
— простой полюс для f_1(z)
, так как можно записать f_2(z)= \frac{\varphi(z)}{z-1},~ \varphi(z)\ne0
. Поскольку z=1
не является особой точкой для f_2(z)
, то она — простой полюс для f(z)
.

Точка z=-1
— устранимая особая точка для f_1(z)
, так как она — простой нуль и для числителя, и для знаменателя дроби \frac{\sin\dfrac{\pi z}{2z+1}}{z^2-1}
. Так как z=-1
не является особой точкой для f_2(z)
, то она — устранимая особая точка для f(z)
.

Особыми точками f_2(z)
являются простые нули знаменателя — корни уравнения e^z+i=0
, или e^z=-i
, то есть z=\operatorname{Ln}(-i)
. Все точки

являются простыми полюсами для f_2(z)
и, следовательно, простыми полюсами для f(z)
.

Точка z=\infty
— неизолированная особая точка f(z)
.

Математический форум
(помощь с решением задач, обсуждение вопросов по математике).

Кнопка "Поделиться"

Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Особые точки функций комплексного переменного

Опр.

Особой точкой функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

называется точка в которой
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

не определена или не дифференцируема.

Опр.

Особая точка называется изолированной,
если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

такая ее окрестность, в которой нет
других особых точек.

Утв. Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

изолированная особая точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то в окрестности
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

раскладывается в ряд Лорана.

Опр1.

Особая точка называется устранимой,
если в ряде Лорана в окрестности этой
точки отсутствует главная часть.

Опр2.

Изолированная особая точка называется
полюсом, если главная часть ряда Лорана
в окрестности этой точки имеет конечное
число членов:

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Число N
называется кратностью (порядком полюса).

Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

— полюс
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Опр3.

Изолированная особая точка называется
существенно особой, если главная часть
разложения в ряд Лорана в окрестности
этой точки содержит бесконечное число
членов.

Связь между нулем
и полюсом

Утв1.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет в точке
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

нуль порядка n
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет в точке
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

полюс порядка n.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Утв2.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет существенно особую точку в точке
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет в
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

неизолированную особую точку ИЛИ
существенно особую точку.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

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

то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет при:

1)m ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
n
устранимую особую точку,

2)m>n
полюс порядка n-m.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-существенно
особая точка функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ограничена в
окрестности точки
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
при
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
(т.е.
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ограничена в окрестности
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
).

г)В круге
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

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

д) Из б), в), г)
следует
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ограничена на всей комплексной плоскости.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

е)
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ограничена на С,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аналитическая, по теореме Ляувилля
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
противоречие.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

а)
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
имеет
не изолированную особую точку.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет изолированную
особую точку в
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет существенно особую точку
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

по Утв2
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет существенно особую точку в
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Особые точки в
бесконечности

Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-изолированная
особая точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Пусть
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.
Раскладываем
z_0

в окрестности нуля:


f(z) Опр.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-изолированная
особая точка.
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

называется вычетом, где
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

— коэффициент при -1 степени в разложении
ряда Лорана:
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Основная теорема
о вычетах.

Если G
– односвязная область, Г – замкнутый
контур, Г ограничевает G,
G
содержит конечное число изолированных
особых точек
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН


ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Окружит каждую
особую точку
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

окружностью
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

так, чтобы внутри
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

не было других особых точек, и чтобы
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

не пересекались(i ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
j).

Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

— устранимая особая точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
(Т.к.
главная часть ряда Лорана не содержит
ни одного члена
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
)

а) Утв
.
Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-простой
полюс
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
(полюс
кратности 1), то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет простой полюс.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

б) Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
, ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
, ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
, ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-полюс
порядка n
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Переходим к
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и делим на
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
:

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Опр.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

— изолированная особая точка
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
где Г- замкнутый контур.

Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Теорема.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-изолированная
особая точка, кроме
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеется конечное число особых точек,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Возьмем замкнутый
контур С, охватывающий все особые точки,
кроме
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Опр.

Логарифмическим вычетом называется:

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
если С – замкнутый контур,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

— аналитическая внутри С и на нем за
исключением конечного числа особых
точек, все особые точки лежат внутри С,
все особые точки – полюсы.

Утв1.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

нуль кратности
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

фунции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Для функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

полюс I
порядка.

Утв2.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-полюс
кратности n
функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Теорема.

Логарифмический вычет функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

относительно контура С равен приращению
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аргумента
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

при обходе контура С, деленному на
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
равно разности между числом нулей М и
числом полюсов N
функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

в облости D,
ограниченной контуром С:

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Z


W

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

2) Внутри С
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

будет иметь конечное число нулей, т.к.
она аналитическая в замкнутой области.
В силу Утв1 и Утв2 :
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ЕСЛИ G
– односвязная область, С – замкнутый
контур, ограничивающий G,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аналитические в G
и на С,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
на
С,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
на
С,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

сумма кратностей всех лежащих в G
нулей функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

сумма кратностей всех лежащих в G
нулей функции
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
+ ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ТО
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Вектор из начала
координат в точку, при такой конфигурации
образа С, ни одного оборота не совершит.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Пример.

Найти количество нулей, которые имеет
функция
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

в круге
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН


z_0

имеет нуль кратности
5
f(z)

w
имеет 5 нулей.

Утв. f(z)= \sum_{n=0}^{\infty} c_n(z-z_0)^n,\quad 0&lt;|z-z_0|&lt;r

Если


,
то

имеет n
корней.

z_0 z_0=\infty


z_0\in\mathbb{C}

f(z)= c_0+\sum_{n=1}^{\infty} \frac{c_{-n}}{z^n},\quad R&lt;|z|&lt;\infty.

f(z)
имеет
нуль кратности n,
т.о.
z_0

имеет n
нулей.

Теорема.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аналитическая в G
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

— аналитическая.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

  1. Из пунктов 1) и 2)
    следует, что для F
    выполнены условия Коши-Римана,
    следовательно F
    аналитическая.

Вычисление
несобственных интегралов с помощью
вычетов

Теорема.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

при x=z,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-изолированная
особая точка f(z),
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет в
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

нуль не ниже II
порядка,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

не имеет особых точек на действительной
оси,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

имеет конечное число особых точек, то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
где
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
распространяется
на особые точки, лежащие выше действительной
оси.

Возьмем круг такого
радиуса, чтобы на нем и вне его не было
особых точек, кроме бесконечности.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Опр.

Функция
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

называется оригиналом, если:

1)
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

определена при
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

и
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
являются
кусочно-непрерывными на любом конечном
интервале,

Утв.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-многочлен
степени n,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
по
правилу Лопиталя
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
; ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Опр.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

называется изображением, соответствующим
оригиналу f(t),
если F(p)
– интеграл Лапласа:

Теорема.

Если f(t)
оригинал, то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

изображение
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,

1)
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
сходится
в полуплоскости
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,

2)
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
является
в полуплоскости
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аналитической функцией от p.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН


ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
таким образом F(p)
сходится.

2) Аналитичность
следует из теоремы, доказанной в
предыдущей лекции.

След. Если F(p)
– изображение некоторого оригинала,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Зам. Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то F(p)
сходится равномерно.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Док-во для 2:

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Теорема о
дифференцировании оригинала.

Если f(t)
– оригинал,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-оригинал,
F(p)-изображение
f(t),
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Следствие.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-оригиналы,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

далее по индукции.

Теорема о
дифференцировании изображения.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Теорема об
интегрировании оригинала.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

1) Докажем, что
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-оригинал.
а)
кусочная гладкость – по свойству
интеграла.

Теорема об
интегрировании изображения

Если f(t)
– оригинал,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

оригинал, то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
-оригинал,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

1.
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Опр.

Сверткой функций f
и g
называется

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
z_0=\infty

z_0

Утв. z_0

Если
z_0\in\mathbb{C}
,
g(t)
– оригиналы, то f*g(t)
– оригинал.

Пункты 1) и 2) в
определении оригинала очевидно выполнены.
Докажем выполнение пункта 3).

f(z)= c_0+\sum_{n=1}^{\infty} \frac{c_{-n}}{z^n},\quad R&lt;|z|&lt;\infty.

f(z) Теорема о свертках.

Если f(t),
g(t)
– оригиналы,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Лемма1.

Если f(z)
– аналитическая в верхней полуплоскости,
за исключением, быть может, конечного
числа точек,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

полуокружность в верхней полуплоскости

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Лемма2.

Если f(z)
– аналитическая в левой полуплоскости,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Если f(z)
аналитическая,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
то ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

  1. Докажем, что
    ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
    ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
    .

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

2)Если
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

аналогично.

3)
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

по Лемме 2.

4) Из пунктов
1), 2), 3) следует
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

Лемма4.

Если f(z)
аналитическая
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,

Докозательство
следует из Леммы3.

Теорема об
интеграле Фурье.

Если f(t)
кусочно непрерывна и кусочно дифференцируема
на R,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
(сходится
абсолютно).

Теорема обращения
преобразования Лапласа.

Если f(t)
– оригинал,
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Теорема разложения.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
,
для
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

выполнены условия леммы Жордана, то
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН
.

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ОНЛАЙН

Соседние файлы в папке Лекции и семинары

Оцените статью