
- •29. Теория функций комплексной
- •29.1. Основные понятия теории функций
- •I уровень
- •II уровень
- •III уровень
- •29.2. Функция комплексной переменной,
- •I уровень
- •II уровень
- •III уровень
- •29.3. Дифференцирование функций
- •I уровень
- •3. Гиперболические функции
- •I уровень
- •I уровень
- •II уровень
- •III уровень
- •29.6. Интегрирование функций комплексной
- •I уровень
- •II уровень
- •III уровень
- •29.7. Ряды на комплексной плоскости
- •I уровень
- •II уровень
- •III уровень
- •29.8. Нули и особые точки функции
- •I уровень
- •I уровень
- •II уровень
- •III уровень
- •Содержание
- •М а т е м а т и к а
- •220005, Г. Минск, пр-т Независимости, 62.
I уровень
1.1.Вычислите
интегралпо прямолинейному отрезку, соединяющему
точки
и
если:
1)
2)
3)
4)
5)
1.2.Вычислите
интегралесли Г представляет собой ломануюABC,
состоящую из двух прямолинейных отрезковABиBC:
1)
2)
3)
4)
II уровень
2.1.Вычислите
интегралесли путь Г представляет собой ломануюABC, состоящую из двух
прямолинейных отрезковABиBC:
1)
2)
3)
4)
5)
2.2.Вычислите
интегралгде Г – дуга указанной кривой от точки
до точки
1)
2)
3) Г – парабола с вершиной в точке (1; 0),
проходящая через точку
4)
5)
2.3.Вычислите
интегралпо указанной замкнутой кривой
1)
2)
3)
4)
5)
III уровень
3.1.Вычислите
интегралпо указанной замкнутой кривой Г (числоm– целое, т. е.
…):
1)
2)
3)
4)
29.7. Ряды на комплексной плоскости
Пусть
– последовательность комплексных
чисел,
Выражение вида
называется числовым
рядом, числа–элементами ряда, сумма
–n-йчастичной
суммой ряда.
Если последовательность
частичных сумм сходится, то ряд называетсясходящимся, ее предел
называетсясуммой ряда, что
записывают
Если последовательность
расходится, то ряд называетсярасходящимся.
Расходящийся ряд суммы не имеет.
Величина
называется остатком сходящегося ряда. Из сходимости ряда следует равенство
Если ряды
и
сходятся и имеют
суммы соответственно SиS,
то рядсходится к сумме
Ряд
называетсядействительной частью
ряда
а ряд
–мнимой частью ряда
Ряд с комплексными элементами сходится тогда и только тогда, когда сходятся его действительная и мнимая части, причем в случае сходимости
Необходимый
признак сходимости: если ряд с
комплексными элементами сходится, то
Достаточный
признак расходимости: если(или не существует), то ряд расходится.
Ряд
называетсяабсолютно сходящимся,
если сходится ряд
который является рядом с действительными
неотрицательными элементами.
Справедливы утверждения
1.ПустьЕсли
то ряд
сходится абсолютно, если
– ряд расходится.
2.ПустьЕсли
то ряд
сходится абсолютно, если
– ряд расходится.
3.Если рядсходится абсолютно, то он сходится.
З а м е ч а н и е. Из сходимости ряда не следует его абсолютная сходимость.
Абсолютная сходимость ряда с комплексными элементами равнозначна абсолютной сходимости его действительной и мнимой частей.
Ряд вида
(29.24)
где
– коэффициенты ряда,
называется степенным рядом.
Теорема Абеля.
Если степенной рядсходится в некоторой точке
то он сходится, причем абсолютно, в любой
точкеz, которая
удовлетворяет условию
Если этот ряд
расходится в некоторой точке
то он расходится во всех точкахz,
для которых
Пусть ряд
сходится более чем в одной точке, но не
на всей комплексной плоскости. Тогда
существует действительное числоrтакое, что этот ряд абсолютно сходится
для всехz, для которых
и расходится для техz,
для которых
При этом круг
называетсякругом сходимости,
числоr–радиусом
сходимостистепенного ряда.
Пусть
функция f(z)
является аналитической в круге
Тогда внутри этого круга функцияf(z)
разлагается в степенной ряд по степеням
Такое разложение единственно.
Признаки Д’Aламбера и Коши. Если существует
(29.25)
или соответственно
(29.26)
то ряд (29.24) сходится
абсолютно во всех точках z,
для которыхи расходится, если
Степенной ряд вида
(29.27)
называется рядом
Тейлорафункцииf(z),в окрестности точкиa.
Функция f(z),
аналитическая в кругеразлагается в этом круге в ряд Тейлора:
(29.28)
С учетом формулы (29.22), равенство (29.28) можно записать в виде
где
– окружность
– круг аналитичностиf(z).
Ряд Тейлора (29.28),
у которого
называетсярядом Маклорена.
Общий вид ряда Маклорена:
Разложения в ряд Маклорена основных элементарных функций:
(29.29)
(29.30)
–геометрический
ряд. (29.31)
Ряд вида
(29.32)
называется рядом
Лорана, причемназываетсяглавной частью ряда
Лорана, а
–правильной частью ряда Лорана.
Функция f(z),
аналитическая в кольцеразлагается в этом кольце в абсолютно
сходящийся ряд Лорана
(29.33)
где коэффициенты определяются формулами:
–окружность
Разложение (29.33) в
кольце
является единственным.
Заметим, что формулы
для нахождения коэффициентов
и
можно объединить в одну:
Пример 1. Исследовать сходимость ряда:
1)
2)
Решение.
1)
Рассмотрим ряды
и
Ряд
сходится, так как это обобщенный
гармонический ряд
с
Ряд
расходится (это гармонический ряд).
Значит,
где
Так как
то
Отсюда
следует, что ряд
расходится, и, значит, исходный ряд
расходится.
2)
Ряд
исследуем на абсолютную сходимость,
для чего рассмотрим
Последний
ряд сходится (сходящаяся геометрическая
прогрессия с
).
Значит, ряд
сходится абсолютно.
Пример 2. Исследовать на сходимость ряд:
1)
2)
Решение. 1) Рассмотрим ряд из модулей его элементов:
Для выяснения вопроса сходимости полученного знакоположительного ряда используем признак Коши:
Это значит, что данный ряд сходится абсолютно, а поэтому сходится.
2) Исследование на сходимость ряда из модулей
проведем на основе признака Д’Aламбера:
Последнее означает абсолютную сходимость данного ряда, чем гарантируется его сходимость.
Пример 3. Исследовать на сходимость ряд
Решение.
Функции-слагаемые
данного ряда определены на всей плоскостиC.
Его n-я
частичная сумма есть
Методом математической индукции нетрудно убедиться в том, что
Тогда
или, то же самое,
Если
– произвольное комплексное число, то
данный функциональный ряд преобразуется
в числовой с частичной суммой
Поэтому,
откуда
Из
последнего отношения видно, что только
для того числа
для которого
выполняется условие
когда
Это означает, что
если
Произвольность
числа
приводит к заключению, что внутри круга
ряд сходится к сумме
Если
то общий элемент
данного ряда не стремится к нулю с ростомn
(необходимый признак сходимости не
выполняется), а потому ряд расходится.
Таким образом, получена формула
где
В
заключение заметим, что полученный
результат полностью соответствует
действительному случаю, где для суммы
бесконечно убывающей геометрической
прогрессии имеем
если
Пример 4. Найти множество абсолютной сходимости ряда
пользуясь
признаком Д’Aламбера.
Решение. Используя формулу (29.25), получим:
Если
то ряд является абсолютно сходящимся.
Очевидно, что это имеет место внутри
круга
Одновременно с этим признак Д’Aламбера
утверждает, что вне круга (т. е. при
)
ряд расходится, однако он не достаточно
«сильный», чтобы дать ответ о сходимости
в точках окружности
Пример
5. Найти круг
и радиус сходимости степенного ряда
Решение.
Используем признак Д'Аламбера и рассмотрим
предел
т. е.
По признаку Д'Аламбера ряд сходится, если
или
Значит,
круг сходимости есть
радиус сходимости
Пример
6. Разложить
в ряд Тейлора по степеням
функцию:
1)
2)
Найти область сходимости полученного ряда.
Решение. 1) Решим задачу двумя способами.
1-й
способ.
Используем формулу (29.28) для
Для этого найдем производные функции
и их значения в точке
………………………… ……………………
………………………… ……………………
Тогда получаем
Радиус сходимости полученного ряда найдем согласно формуле
т. е.
Значит,
ряд сходится внутри круга
2-й способ. Запишем выражение, которое задает функцию f(z), в другом виде:
Полученную
дробь рассмотрим как сумму геометрической
прогрессии со знаменателем
Если
то
Поэтому заданная функция раскладывается в ряд того же вида, который мы получили первым способом.
2) Для того чтобы получить разложение функции
в
ряд Тейлора на основе формулы (29.28),
вычислим значения ее производных в
точке
Сразу заметим, что данная функция есть
многочлен 4-й степени, а поэтому все
производные, начиная с пятой, будут
равны нулю. Получаем
Тогда
Логично, что для многочлена 4-й степени ряд Тейлора приобретает вид тоже многочлена 4-й степени. И это равенство справедливо на всей комплексной плоскости.
Пример
7. Найти круг
сходимости ряда
и исследовать его сходимость в точках
Решение.
Рассмотрим ряд из модулей членов, т. е.
и вычислим предел
Значит,
по признаку Д’Aламбера,
круг сходимости определяется неравенством
т. е.
Для
имеем
т. е.
точка
лежит внутри круга сходимости, значит,
исходный ряд в этой точке сходится
абсолютно.
Для
получаем
Точка
лежит на границе круга сходимости. Из
общей теории необходимо сделать вывод
о сходимости ряда в этой точке. Исследуем
числовой ряд, который получается из
исходного степенного ряда при значении
Имеем ряд
Ряд
расходится (как ряд Дирихле с
).
Применяя предельный признак сравнения,
делаем вывод, что ряд
расходится. Исходный ряд в точке
расходится.
Для
имеем
Точка
лежит на окружности, ограничивающей
круг сходимости. При
исходный ряд имеет вид
Этот
ряд не сходится абсолютно (как было
показано выше), но он является
знакочередующимся и для него выполняются
оба условия теоремы Лейбница. По признаку
Лейбница этот ряд сходится условно.
Исходный ряд в точке
сходится.
Для
выполняется
Значит, точка
лежит вне круга сходимости, и поэтому
исходный ряд в этой точке расходится.
Пример 8. Разложить в ряд Маклорена функцию:
1)
2)
Решение.
1) Используем формулу (29.31), заменяя в ней
переменную z
на
Тогда ряд Маклорена примет вид
Он
сходится при условии
т. е.
внутри круга
2) Сначала понизим степень косинуса:
Далее, используя разложение (29.30), получим:
Приводя подобные, приходим к ответу
что ряд сходится на всей плоскости C.
Пример
9. Разложить
в ряд Тейлора в окрестности точки
функцию
Решение. Этот пример можно решить согласно общему подходу, основываясь на формуле (29.28). Мы же используем ряд Маклорена (29.29). Для этого сделаем следующие преобразования:
Тогда
Ряд сходится на всей комплексной плоскости.
Пример 10. Найти область сходимости ряда
Решение.
Данный ряд есть сумма рядов по положительным
и отрицательным степеням разности
Для первого ряда (как для степенного)
используем признак Коши:
Ряд
сходится, если
или, то же самое,
Значит, первый ряд сходится внутри круга:
Для второго ряда применим признак Д’Aламбера:
Ряд сходится, если
или
т. е.
Полученные множества сходимости пересекаются, в результате чего мы имеем область сходимости данного ряда – кольцо
Пример 11. Разложить в ряд Лорана функцию
по
степеням z.
Решение.
Нетрудно увидеть, что
– особые точки данной функции. Это
означает, что существуют три области,
внутри которых функция аналитична:
(область
);
(область
);
(область
)
(рис. 29.3).
Рис. 29.3
В каждой из трех областей функция f(z) будет представляться своим рядом Лорана. Запишем функцию сначала в виде
Рассмотрим
область
Представим функцию
как
сумму соответствующих геометрических
прогрессий (имеем право сделать это,
так как в области
выполняется
и
).
Тогда по формуле суммы (см. формулу
(29.31)) получаем следующее представление
функции рядом Лорана
Видим,
что ряд Лорана в области
содержит только правильную часть, т. е.
имеет вид степенного. Это не случайно,
так как мы рассматриваем разложение в
круге
в котором функция аналитична.
Рассмотрим
область
Тогда имеет смысл записать функцию в
виде
Так
как в области
выполняется
и
поэтому, по формуле суммы геометрического
ряда, имеем разложение
Полученный ряд Лорана содержит и правильную, и главную части.
Рассмотрим
область
Функциюf(z)
запишем в виде
Поскольку в области
выполняется
и
то на основе формулы суммы геометрического
ряда получаем следующее разложение:
Замечаем, что полученный ряд Лорана содержит только главную часть.
Пример
12. Разложить
функцию
в ряд Лорана по степеням
Решение.
Точка
– единственная (на плоскостиC)
особая точка данной функции. Это означает,
что можно построить кольцо
в котором функция является аналитической.
Преобразуем выражение:
Далее
используем разложения в ряд Маклорена
(29.29) и (29.30), в которых вместо z
возьмем
Тогда
Видим, что полученный ряд Лорана данной функции содержит только два слагаемых правильной части и бесконечное множество слагаемых главной части.
Задания