Реферат: Теорема тейлора

Теорема Тейлора ~ Степенной ряд ~ Основные разложения

Теорема Тейлора (о разложении функции в степенной ряд).

Функция, аналитическая в области комплексных чисел D, в окрестности каждой точки z 0этой области представляется в виде степенного ряда :
(1)

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

Коэффициенты ряда Тейлора вычисляются по формуле:

(2)

где — произвольный контур, принадлежащий области D и охватывающий точку z 0 (в частности, — окружность ), или по формуле:

(3)

Радиус сходимости ряда Тейлора равен расстоянию от точки z 0до ближайшей особой точки функции.

Для вычисления радиуса сходимости ряда Тейлора можно также использовать формулы:

Основные разложения.

(z принадлежит области комплексных чисел);

(z принадлежит области комплексных чисел);

(z принадлежит области комплексных чисел);

(z принадлежит области комплексных чисел);

(z принадлежит области комплексных чисел);

Пример 1. Записать разложение по степеням z функции f (z ) = ch z .

Найдем производные функции:
f (n) (z ) = ch(n)z = ch z при n= 2k ,
f (n) (z ) = ch(n)z = sh z при n = 2k -1.

В данном примере z 0= 0. По формуле (3) имеем:
Cn = 0 при n = 2k; Cn = 1/n! при n = 2k- 1;
.

Так как ch z — аналитическая функция в области действительных чисел, то радиус R равен бесконечности. В результате имеем:
(z принадлежит области действительных чисел).

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 2. Разложить по степеням (z -3) функцию f (z ) = sin z .

Обозначим z -3 = t. Используя тригонометрическую формулу для функции sin (3+t), получим:
sin(3+t ) = sin3 cos t +cos3 sin t .

Используя основные разложения, имеем:

Так как t = z -3, то

т.е.

где

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 3. Разложить по степеням z функцию

Дробь правильная. Раскладываем ее на элементарные дроби:

Раскладываем элементарные дроби по степеням z:

Для исходной дроби получаем разложение:

или, складывая ряды:

Окончательный ответ:

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

Функция f (z ), аналитическая в кольце
r < | z — z 0| < R,
представляется в этом кольце сходящимся рядом по целым степеням, т.е. имеет место равенство:
(1)

Коэффициенты ряда вычисляются по формуле: (2)
где — произвольный контур, принадлежащий кольцу и охватывающий точку z 0; в частности,
— окружность

Ряд (1), коэффициенты которого вычисляются по формуле (2), называется рядом Лорана функции f (z ).

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

Для коэффициентов ряда имеет место формула оценки коэффициентов — неравенство Коши:
где
r — радиус контура интегрирования в формуле (2).

На границах кольца сходимости ряда Лорана есть хотя бы по одной особой точке функции f (z ) — его суммы.

Частными случаями рядов Лорана являются разложения функции в окрестности особой точки z 0(r = 0) и в окрестности бесконечно удаленной точки (z 0= 0, ).

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

Пример 1. Разложить функцию в ряд Лорана по степеням z .

Решение. Так как функция является рациональной дробью, то особыми точками являются нули знаменателя, т.е. z 1 = -1 и z 2 = 3. Запишем функцию в виде

Кольца аналитичности |z | < 1, 1 < |z | < 3, |z | > 3.

Раскладываем дробь на элементарные дроби:

При |z | < 1 имеем:

Таким образом, в круге |z | < 1 функция раскладывается в ряд Тейлора:

В кольце 1 < |z | < 3:

В итоге имеем:

В круге |z | > 3:

В итоге имеем:

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 2. Разложить функцию f (z ) = z 3 ·e 1/z в окрестности точки z 0= 0.

Решение. Из основного разложения получаем

или

Вычет функции ~ Вычисление вычетов

Вычетом функцииf(z) в изолированной особой точке z 0(точка принадлежит области комплексных чисел) называется интеграл вида:

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

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

Вычет функции в конечной изолированной особой точке равен коэффициенту С -1 при первой отрицательной степени в разложении функции в ряд Лорана в окрестности этой точки, т.е. при 1/(z -z 0) для z 0, принадлежащей области комплексных чисел:

ПРИМЕР 1. Вычисление вычета функции в ее конечных особых точках.

Если конечная особая точка z 0является устранимой особой точкой функции f (z ), то

ПРИМЕР 2. Вычисление вычета в устранимой особой точке.

Если z 0 — полюс порядка n функции f (z ), z 0 принадлежит области комплексных чисел, то

ПРИМЕР 3. Вычисление вычета в полюсе порядка n.

Если z 0 — простой полюс функции ,
где аналитические функции в точке z 0 и ,
то

ПРИМЕР 4. Вычисление вычета в простом полюсе.

Если z 0 — существенно особая точка функции f (z ), то вычет в ней находится, исходя из определения, т.е. как С -1 — коэффициент в разложении f (z ) в ряд Лорана в окрестности z 0.

ПРИМЕР 5. Вычисление вычета в существенной особой точке.

Пример 1. Вычислить вычет функции f (z) = (z+2)/(z2 -2z-3) в точке z = 3.

Решение.

Разложим функцию в ряд Лорана по степеням z — 3:

Из этого разложения находим

Заметим, что здесь точка z = 3 — простой полюс.

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 2. Вычислить вычет функции f(z) в точке z = 0,

Решение.

Запишем

т.е. z= 0 — устранимая особая точка. Следовательно,

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 3. Вычислить вычет функции

Так как то z = 0 для f (z ) — полюс второго порядка. Следовательно,

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 4. Вычислить вычет функции f(z) = ctg 2z во всех ее особых точках.

Решение.

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

Следовательно,

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 5. Вычислить вычет функции

Решение.

Разложим замкнутую функцию в ряд Лорана в окрестности z = 1:

Из этого разложения следует, что z = 1 является существенной особой точкой и
С -1 = 3/2, т.е.

Теорема о вычетах ~ Примеры

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

Если функция f (z — аналитична в за исключением конечного числа особых точек , то справедливо равенство

где D — односвязная область в комплексной плоскости, — граница D,
— вычет функции f (z ) в точке zk .

ПРИМЕР 1. Вычисление интеграла по теореме о вычетах.

ПРИМЕР 2. Вычисление интеграла по теореме о вычетах.

ПРИМЕР 3. Вычисление интеграла по теореме о вычетах.

Пример 1. Вычислить интеграл

Решение. Особыми точками подынтегральной функции являются нули знаменателя — корни уравнения exp(z ) — i = 0, т.е. точки

Кругу принадлежит только одна из этих точек, точка

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

Вычислим вычет в простом полюсе f (z ):

Тогда

Решение примера в среде пакета Mathcad		Теоретическая справка
Решение примера в среде пакета Mathematica

Пример 2. Вычислить интеграл

Решение. Единственная особая точка подынтегральной функции — существенно особая точка z = 0. Она принадлежит области, ограниченной контуром интегрирования.

Вычислим вычет в существенно особой точке функции f (z ): поскольку

Тогда

Решение примера в среде пакета Mathematica

Теоретическая справка

Пример 3. Вычислить интеграл

Решение. Особыми точками подынтегральной функции являются нули знаменателя — корни уравнения z 4 + 1= 0, т.е. точки

Все эти точки — простые полюсы подынтегральной функции, кругу принадлежат только две из них: и

Вычислим вычеты f (z ) в этих точках:

Тогда