Упражнения для самостоятельной работы. 78. Вычислить интеграл , если
78. Вычислить интеграл , если
а) отрезок действительной оси от точки до ;
б) полуокружность , .
79. Вычислить , если
а) отрезок прямой, соединяющий точки и ;
б) дуга окружности от точки до точки ;
в) замкнутый контур: , .
80. Вычислить интеграл .
81. Вычислить , если
а) точки вне контура ;
б) точка лежит внутри, а вне контура ;
в) точка лежит внутри, а вне контура;
г) точки лежат внутри контура .
82. Вычислить интеграл , где окружность с центром в точке и радиусом .
83. Вычислить .
84. Вычислить:
а) ;
б) ;
в) ;
г) ;
д) .
РЯДЫ В КОМПЛЕКСНОЙ ОБЛАСТИ
Ряды с комплексными членами
Ряд
, (6.1)
где , есть числовой ряд с комплексными членами.
Если сходится ряд , то сходится и ряд (6.1), называемый в этом случае абсолютно сходящимся.
Сходимость ряда (6.1) с комплексными членами эквивалентна сходимости рядов и с действительными членами. В силу этого ряд теорем, относящихся к рядам с действительными членами, в том числе признаки сходимости, переносятся на ряды с комплексными членами.
Функциональный ряд вида
, (6.2)
где , комплексные числа, комплексное переменное, называется степенным рядомпо степеням . В частности, при имеем ряд по степеням .
Как следует из теоремы Абеля, областью степенного ряда (6.2) является круг с центром в точке , радиус которого может быть определен применением признаков Даламбера и Коши. Приведем их формулировки.
Признак Даламбера.Если существует конечный предел , то при ряд (6.1) сходится абсолютно, а при расходится (при расходится не только ряд , но и ряд (6.1)).
Признак Коши.Для числового ряда (6.1) положим . Тогда, если , то ряд сходится абсолютно, если ряд расходится.
Обобщением степенного ряда (6.2) является ряд по целым отрицательным степеням вида
(6.3)
Областью сходимости этого ряда является внешность круга , где определяется также с помощью признаков Даламбера и Коши.
Ряды Тейлора и Лорана
Функция , однозначная и аналитическая в точке , разлагается в окрестности этой точки в степенной ряд
, (6.4)
коэффициенты которого определяются по формулам
или . (6.5)
Этот ряд называется рядом Тейлора для функции .
Радиус круга сходимости ряда Тейлора (6.4) - (6.5) равен расстоянию от точки до ближайшей к особой точки функции (особая точка – это такая точка, в которой функция не является аналитической).
Приведем разложения в ряды Тейлора некоторых элементарных функции в окрестности точки .
,
, ,
, , (6.6)
, .
Функция , однозначная и аналитическая в кольце (не исключаются случаи, когда ), разлагается в этом кольце в обобщенный степенной ряд
, (6.7)
коэффициенты которого определяются по формулам
. (6.8)
Этот ряд называется рядом Лоранафункции .
В формуле (6.7) называется главной частью ряда Лорана, а ряд называется правильной частью ряда Лорана.
Формула (6.8) малоудобна для вычисления коэффициентов ряда Лорана, поэтому часто для разложения функции в ряд Лоран пользуются искусственными приемами, которые будут рассмотрены на примерах. Ряды Тейлора и Лорана функции определяются единственным образом. Эти ряды в области сходимости можно почленно дифференцировать и интегрировать.
УПРАЖНЕНИЯ
85. Исследовать на сходимость ряд .
Решение. К ряду из абсолютных величин членов данного ряда применим признак Даламбера:
.
Следовательно, ряд расходится.
86. Найти радиус и круг сходимости рядов:
а) б) .
Решение. а) Применим признак Коши к ряду из абсолютных величин данного ряда
.
Следовательно, данный ряд сходится абсолютно, для всех . Роль круга сходимости выполняется вся плоскость, радиус сходимости .
б) По признаку Даламбера имеем
Отсюда заключаем, что ряд сходится абсолютно в области , т.е. в круге радиуса с центром в точке
87. Найти область сходимости ряда .
Решение. Рассмотрим отдельно ряды по положительным и отрицательным степеням . Ряд можно рассматривать как ряд, составленный из членов геометрической прогрессии со знаменателем Такой ряд сходится при условии , т.е. в круге радиуса . Для ряда
, где
Применяя признак Даламбера, получаем
, откуда , т.е.
областью сходимости ряда по отрицательным степеням является внешность круга радиуса с центром в точке .
Таким образом, данный степенной ряд Лорана сходится в кольце .
88. Разложить функцию в ряд Тейлора в окрестности точки и указать радиус сходимости:
а) ;
б) ;
в) .
Решение. а) Воспользуемся известным разложением для (формулы (6.6)); с этой целью преобразуем функцию к виду . Заменяя в разложении на , получим следующий ряд Тейлора , для которого радиус сходимости .
б) Выделим в дроби целую часть, а затем знаменатель правильной дроби преобразуем так, чтобы в нем было слагаемое . Используя разложение функции (формулы (6.6) ), получим
.
Радиус сходимости . Так как ближайшая особая точка удалена от центра круга сходимости на расстоянии, равном 3.
в) Представим данную функцию следующим образом:
.
Тогда
.
89. Разложить в ряд Лорана функцию по степеням (приняв ).
Решение.Функция не аналитична в точках и . Следовательно, можно выделить три кольца с центром в точке , в каждом из которых является аналитической:
а) круг
б) кольцо
в) внешность круга .
Разложим функцию на сумму простейших дробей
.
а) В круге функция аналитична. Коэффициенты ряда Лорана при степенях с отрицательными показателями равны нулю, ибо они выражаются интегралами от аналитической функции по замкнутому контуру. Ряд Лорана совпадает с рядами Тейлора. Запишем каждую из дробей в виде
; и воспользуемся разложением в ряд Тейлора функции (формулы (6.6)), в силу чего имеем
, ,
, и
.
Ряд Лорана содержит только правильную часть:
, .
б) В кольце ряд для функции сходится, поэтому по-прежнему , а ряд для функции расходится, поэтому функцию преобразуем к виду . Представим в виде суммы геометрической прогрессии со знаменателем .
. Этот ряд сходится для , т.е. при . Тогда .
Таким образом, . Ряд Лорана содержит правильную и главную части: , .
в) В области ряд для функции сходится, а ряд для функции расходится. Поэтому функцию представим в виде .
Тогда имеем .
Ряд Лорана содержит только главную часть: , . Приведенный пример показывает, что для одной и той же функции ряд Лорана имеет, вообще говоря, разный вид для разных областей.
90. Разложим в ряд Лорана в окрестности точки следующие функции:
а) , ;
б) , ;
в) , .
Решение. а) Функция аналитична всюду, кроме . Поэтому ее можно разложить в ряд Лорана в кольце: . В силу (6.6) имеем .
Отсюда получим
.
б) Функция аналитична в точке . Поэтому в окрестности точки ее можно разложить в ряд Тейлора, причем ряд будет сходиться в круге с центром радиуса (расстояние от точки до ближайшей точки ). Разложим функцию на сумму простейших дробей: .
В силу (6.6) имеем
,
.
Ряд для функции найдем почленным дифференцированием ряда функции . .
Таким образом, в круге получаем
.
в) Функция аналитична в кольце , поэтому ее ряд Лорана имеет вид
.
Главная часть Лорана в окрестности , а правильная .