
matan4_bel
.pdfТФКП (мат. анализ часть 4) семестр 4, лекция 4 стр. 6 из 7
|
3. Функция Жуковского |
w = |
1 |
z + |
1 |
|
||||||
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
2 |
z |
||
Регулярна z,z ≠ 0 |
(проверьте!) |
|
|
|
||||||||
|
′ |
1 |
1 |
|
|
|
|
|
|
|
||
|
Производная w = |
|
1− |
|
|
|
(получите!) |
|
|
|
||
|
|
|
2 |
|
|
|
||||||
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
2 |
=1 |
z = ±1 |
|
|
Конформное отображение для z ≠ ±1, т.к. w = 0 |
z |
|
|||||||||||||||
Задача для самостоятельного решения: |
|
|
|
|
|
|||||||||||||
Доказать, что любая окружность, проходящая через точки z1 =1 и z2 |
= −1, делит всю |
|||||||||||||||||
плоскость на две области однолистности функции Жуковского. |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
= r0 |
≠1 в эллипсы с полуосями |
|||||||||
Функция Жуковского переводит окружности |
z |
|||||||||||||||||
|
a = |
1 |
r0 + |
1 |
; b = |
1 |
|
r0 |
− |
1 |
|
и фокусами в z = ±1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
r0 |
|
|
|
|
|
|||||||||
|
2 |
|
r0 |
2 |
|
|
|
|
|
|
|
|
|
4. Тригонометрические и гиперболические функции.
sin z |
|
eiz − e−iz |
|
Регулярна |
Периодическая T = 2π |
||
|
|
2i |
|||||
|
|
|
|
|
|||
cos z |
|
eiz + e−iz |
Регулярна |
Периодическая T = 2π |
|||
|
2 |
|
|
||||
|
|
|
|
|
|
||
sh z |
|
|
ez − e−z |
|
Регулярна |
Периодическая T = 2πi |
|
|
2 |
|
|
||||
|
|
|
|
|
|
||
ch z |
|
|
ez + e−z |
|
Регулярна |
Периодическая T = 2πi |
|
|
2 |
|
|
||||
|
|
|
|
|
|
Отображения, осуществляемые этими функциями, являются композицией ранее изученных отображений.
Например, w = cos z - это композиция поворота на угол π , показательной функции и
2
функции Жуковского, т.е.
1)w1 = iz |
|
|
|
||
2)w = ew1 |
|
|
|
||
2 |
|
|
|
|
|
3)w = |
1 |
|
+ |
1 |
|
|
w2 |
|
|
||
2 |
|
||||
|
|
|
w2 |

ТФКП (мат. анализ часть 4) семестр 4, лекция 4 стр. 7 из 7
Пример:
Найти образ полосы M = {z :0 < Re z < π} при отображении w = cos z
Полоса М перейдет в плоскость с двумя разрезами по действительной оси: (−∞,−1] и [1,+∞)
(см. рис. 4.1)
рис. 4.1.

ТФКП (мат. анализ часть 4) семестр 4, лекция 5, стр. 1 из 5
Интегрирование функций комплексного переменного.
1. Определение интеграла по кривой в .
Пусть f(z) определена на . Γ – кусочногладкая кривая на комплексной плоскости, соединяющая точки А и В (без самопересечений) – см рис. 1.1. Разобьем ее на n дуг в направлении от А
|
к В точками zk |
и рассмотрим дугу, соединяющую |
||||||||
|
zk |
|
и zk+1 - см. рис. 1.2. |
|
|
|||||
|
|
|
|
|
Выберем |
Mk |
на |
этой дуге |
|
|
|
|
|
|
|
Mk (zk ; zk+1 ); |
|||||
|
zk = zk+1 − zk ; |
составим |
интегральную сумму |
|||||||
|
n |
|
|
|
|
|
|
|
|
|
|
∑ f (Mk ) zk . |
|
|
|
|
|||||
|
k=1 |
|
|
|
|
|
|
|||
|
|
|
|
|
Если |
|
существует |
|
||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
lim |
→0 |
∑ f (Mk ) |
zk |
и он не |
|
||
|
|
|
||||||||
рис. 1.1. |
max |
zk |
k=1 |
|
|
|
|
|||
|
n→∞ |
|
|
|
|
|
||||
|
|
|
|
|
|
|
||||
|
зависит от способа разбиения |
|
||||||||
|
|
|||||||||
и выбора точек Mk , то он называется интегралом f(z) по дуге |
|
|
||||||||
AB и |
|
|||||||||
обозначается ∫ f (z)dz . |
|
|
|
|
|
|
|
|
рис. 1.2. |
|
Γ |
|
|
|
|
|
|
|
|
|
2. Связь с криволинейным интегралом II рода.
Пусть f (z) = u(x; y) + i v(x; y) z = x + i y;
z = x + i y; dz = dx + i dy;
∫ f (z)dz =∫(u + i v)(dx + i dy)= ∫(u dx + i v dx + i u dy − v dy)=
Γ Γ Γ
= ∫u dx − v dy + i ∫v dx + u dy |
|
|
|
Γ |
Γ |
Re∫ f (z)dz |
Im∫ f (z)dz |
Γ |
Γ |
Re∫ f (z)dz , Im∫ f (z)dz - криволинейные интегралы II рода (см. материал II-го семестра).
ΓΓ
3. Основные свойства интеграла.
1) Теорема существования.
Если Γ - кусочно-гладкая дуга, f(z) – непрерывна на Γ , то существует ∫ f (z)dz .
Γ |
|
2) ∫dz = z1 − z0 - см. рис. 3.1. |
рис. 3.1. |
Γ

3) Линейность:
∫[C1 f1(z) + C2 f2 (z)]dz = C1 ∫ f1(z)dz + C2 ∫ f2 (z)dz
Γ Γ Γ
4)Аддитивность:
∫f (z)dz = ∫ f (z)dz + ∫ f (z)dz
Γ=Γ1 Γ2 |
Γ1 |
Γ2 |
Γ= =
AC AB BC
(см. рис. 3.2)
5)Изменение направления интегрирования:
∫f (z)dz = − ∫ f (z)dz
Γ+ |
Γ− |
|
6) Оценка модуля: |
Если f (z) ≤ M z Γ , то ∫ f (z)dz ≤ M l . где l – длина кривой Γ .
Γ
7) Теорема о среднем не верна!
ТФКП (мат. анализ часть 4) семестр 4, лекция 5, стр. 2 из 5
рис. 3.2.
4. Теорема Коши для односвязной области.
Определение односвязной области.
Область D называется односвязной, если любой замкнутый контур можно «стянуть» в любую ее точку. См. рис. 4.1. – здесь область D1 – односвязная, D2 и D3 – нет (D2 с выколотой точкой; D3 с выколотой точкой, «разрезом» и «дыркой»).
рис. 4.1.
Определение замкнутого контура.
Замкнутый контур – кусочно-гладкая замкнутая кривая без самопересечений, т.е. z(t1 ) ≠ z(t2 ), если t1 ≠ t2 (кроме концов).
То есть, исключаем линии такого вида - см. рис. 4.2:
рис. 4.2.
Теорема.
Если f(z) – регулярна в D, а D – односвязна, то интеграл по
любому замкнутому контуру γ D равен нулю: |
∫ f (z)dz = 0 |
|
|
|
|
γ |
|
|
|
|
|
|
|
|
(см. рис. 4.3). |
|
|||
Доказательство: |
рис. 4.3. |
|||
Для облегчения доказательства примем такие дополнительные |
||||
|
||||
условия: u = Re f (z); v = Im f (z) - непрерывные и дифференцируемые, и |
|

ТФКП (мат. анализ часть 4) семестр 4, лекция 5, стр. 3 из 5
имеют непрерывные частные производные.
|
|
|
в силу доп. условий |
|
|
|
|
|
|
|
|
|
∫ |
|
∂Q |
|
∂P |
∫(u + i v)(dx + i dy)= ∫udx − v dy + i ∫vdx + u dy = для этих интегралов |
Pdx + Qdy = ∫∫ |
∂x |
− |
dxdy |
||||
γ |
γ |
γ |
|
γ |
S |
|
∂y |
|
|
|
|
верна формула Грина |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂v |
|
∂u |
|
|
|
|
∂u |
|
|
∂v |
|
= |
|
|
− |
− |
dxdy + i |
|
|
|
− |
|
dxdy |
||||
|
|
|
|
|
|
||||||||||
|
∫∫D |
|
∂x |
∂y |
|
∫∫D |
∂x |
|
∂y |
||||||
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
||
= − |
∫∫D |
∂v + |
∂u dxdy + i |
∫∫D |
∂u − |
∂v dxdy |
|||||||||
|
|
∂x |
∂y |
∂x |
∂y |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
но в силу регулярности f (z) |
|
||||
|
|
|
|
|
= |
= выполнены условия Коши-Римана: |
|||||
|
∂u |
∂v |
∂u |
∂v |
|
|
|
||||
∂x |
= ∂y |
и ∂y = − ∂x |
|
||
|
|
||||
= 0. |
|
|
|
|
|
=0 |
=0 |
|
Ч.т.д. |
Следствие: |
|
Пусть γ1 и γ2 - два контура с общим началом и концом без самопересечений, лежащие в односвязной области D (см. рис.
4.4), а |
f(z) – регулярна в |
D. Тогда: |
∫ f (z)dz = ∫ f (z)dz . То |
есть |
||
|
|
|
|
γ1 |
γ 2 |
|
интеграл от регулярной функции по контуру не зависит от |
||||||
пути интегрирования, а зависит от начальной и конечной |
||||||
точки. Действительно, |
|
|
|
|
|
|
∫ f (z)dz + ∫ f (z)dz = 0 , т.к. γ1+ |
и γ2− образуют замкнутый контур. |
|||||
γ + |
γ − |
|
|
|
|
|
1 |
2 |
|
|
|
|
|
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
B |
|
∫ f (z)dz = − ∫ f (z)dz |
∫ f (z)dz = ∫ f (z)dz = ∫ f (z)dz . |
рис. .4.4. |
||||
γ + |
γ − |
γ + |
γ + |
|
A |
|
1 |
2 |
1 |
2 |
|
|
|
Для регулярной функции в односвязной области верна формула Ньютона – Лейбница:
B |
|
|
|
|
∫ |
f (z)dz = F(z) |
B |
= F(B) − F(A) |
. |
A |
||||
A |
|
|
|
|
А, следовательно, интегралы от функций комплексного переменного в области их регулярности вычисляются методами действительного анализа.
Примеры:
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
z |
3 |
|
3iz |
2 |
|
i |
|
|
|
∫(z2 + 3iz)dz = ∫(z2 + 3iz)dz = |
|
+ |
|
|
= |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||
1) |
γ |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
3 |
2 |
|
|
0 |
|
|
|||
= |
i3 |
+ |
3i |
(−1) = − |
|
i |
|
|
− |
3 |
i = − |
11 |
i |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
2 |
3 |
2 |
6 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
(см. рис. 4.5). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
2) ∫ |
|
dz |
|
= 0; γ : |
|
z |
|
= |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
z − i |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
γ |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Контур γ области регулярности, следовательно, ∫= 0 |
рис. 4.5. |
рис. 4.6. |
|||||||||||||||||||||||||
(см. рис. 4.6.). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ТФКП (мат. анализ часть 4) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
семестр 4, лекция 5, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
стр. 4 из 5 |
|
|
|
|
|
3) ∫ |
dz |
|
; |
γ : |
|
|
z − i |
|
|
= 1 (см. рис.4.7). |
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
γ |
z − i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
Теорема |
Коши |
|
неприменима, |
|
т.к. |
в точке |
z0 = i |
нарушается регулярность. Запишем |
||||||||||||||||||||||||||||
|
|
|
|
|
параметрическое уравнение этой окружности: |
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
x − x0 |
= Rcost, |
|
|
x0 |
= 0 |
|
|
|
|
x = cost |
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
y0 |
= 1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
= Rsint |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
y − y0 |
|
|
R |
= 1 |
|
|
|
|
y = 1+ sint |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
z = x + i y = cost + i (1+ sint) = cost + i sint + i = ei t |
+ i |
(0 ≤ t ≤ 2π ) |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
dz |
|
|
|
2π |
d (ei t + i) |
|
|
|
2π |
|
dei t |
|
|
2π |
iei t dt |
|
|
2π |
|
|
|
|
||||||||||||
|
|
|
|
|
∫ |
|
|
|
|
|
= ∫ |
|
|
|
|
|
|
|
= ∫ |
|
|
|
|
|
|
= ∫ |
|
|
= i ∫ dt = 2πi |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
e |
i t |
+ i − i |
|
|
e |
i t |
|
|
e |
i t |
|
|
|
||||||||||||||||||
|
|
|
|
|
γ |
z − i |
0 |
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рис. 4.7. |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
5. Теорема Коши для многосвязной области. |
||||||||||||||||||||||||||||||
|
|
Теорема. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
Если f(z) – регулярна в области D, ограниченной кривыми: Γ0 , Γ1, Γ2 , Γ3,…,Γk , то |
|||||||||||||||||||||||||||||||||||||||
∫ f (z)dz = 0, где Γ = Γ0 + Γ1 + Γ2 +…+ Γk |
- полная граница области (см. рис. 5.1). |
||||||||||||||||||||||||||||||||||||||||
Γ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
Проведем |
|
разрезы |
γ1, γ2 ,…,γ k |
|
и |
будем |
|
обходить |
|||||||||||||||||||||||||||||||
«общий» контур в таком порядке: |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
γ1+ , Γ1,γ1− , часть Γ0 , γ2+ , Γ2 , γ 2− , часть Γ0 ,…,γ k+ , Γk ,γk− , Γ0 . |
Тогда |
мы |
|||||||||||||||||||||||||||||||||||||||
обойдем ставшую односвязной область D, следовательно: |
|||||||||||||||||||||||||||||||||||||||||
∫ +∫+ ∫ + ∫ + ∫ + ∫ +…+ ∫ + ∫ + ∫ + ∫ = 0 , но |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
γ + |
Γ |
γ |
− |
γ + |
Γ |
2 |
|
γ |
− |
|
|
|
γ |
+ |
|
Γ |
k |
|
γ |
− |
Γ |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
1 |
1 |
|
1 |
2 |
|
|
|
|
2 |
|
|
|
k |
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
∫ = − ∫, ∫ = − ∫, …, ∫ = − ∫ |
|
|
∫+ ∫ +…+ ∫ + ∫ = 0 ∫ f (z)dz = 0 . |
||||||||||||||||||||||||||||||||||||||
γ + |
|
γ − |
|
γ + |
γ |
− |
|
|
|
|
|
γ + |
|
|
γ − |
|
|
|
|
|
|
|
Γ Γ |
2 |
|
|
Γ |
k |
Γ |
0 |
|
Γ |
|
|
|
||||||
1 |
|
1 |
|
2 |
|
|
2 |
|
|
|
|
|
k |
|
|
k |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ч.т.д. |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
Следствие: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рис. 5.1. |
|||||||||
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
∫ |
= − ∑∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
Γ |
0 |
|
i=1 Γ |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание:
Обход выбран так, что область остается слева (по Γ0 против часовой стрелки, по Γi (i =1, 2,…, k) - по часовой стрелке). Такой обход принято считать обходом в положительном направлении.

ТФКП (мат. анализ часть 4) семестр 4, лекция 5, стр. 5 из 5
6. Интегральные формулы Коши.
Теорема 1.
Функция f(z) – регулярна в замкнутой односвязной области, т.е. регулярна в любой ее точке, следовательно:
f (z0 ) = |
1 |
∫ |
f (z) |
dz , |
(*) |
||
|
|
||||||
|
2πi |
|
z − z |
0 |
|
|
|
|
|
Γ |
D |
|
|
|
где z0 D - любая точка внутри области, ΓD - граница области D (см. рис. 6.1).
рис. 6.1.
Теорема 2.
Функция f(z) – регулярна в замкнутой односвязной области D (в том числе в точке z0 ), следовательно, существуют производные всех порядков в z0 и
f (n) (z0 ) = |
n! |
∫ |
f (z) |
dz |
(**) |
|
n+1 |
||||
|
2πi ΓD |
(z − z0 ) |
|
Замечание:
Формула (*) называется интегральной формулой Коши для функции; формула
(**)– интегральной формулой Коши для производной.
Применение формул (*) и (**):
1) Вычислить ∫ |
|
z2 |
dz = 0 (по теореме Коши для односвязной области) |
|
|||||||||||||||||||||||||
z − 2i |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
=1 |
|
|
|
|
|
|
|
|
||||||
см. рис. 6.2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
2) Вычислить |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
z |
2 |
(*) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
∫ |
|
|
|
|
|
dz = 2πi f (2i) = (здесь f (z) = z2 - регулярна) = 2πi (2i)2 |
= −8πi |
|
||||||||||||||||||||
|
|
|
z − 2i |
|
|||||||||||||||||||||||||
|
z |
= |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рис. 6.2. |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
см. рис. 6.3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
3) Вычислить ∫ |
|
sin zdz |
= 0 (по теореме Коши) |
|
|
|
|||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||
|
3 |
|
|
|
|||||||||||||||||||||||||
см. рис. 6.4. |
|
|
z−i |
|
=1 |
(z + i) |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
4) Вычислить |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
sin zdz |
|
|
2πi |
|
|
|
|
|
|
|
|||||||||||||||
|
|
∫ |
|
= |
|
f ′′(−i) = |
|
(здесь f (z) = sin z) =πi(sin z)′′ |
|
= πi(−sin(−i))= πisini = |
|
||||||||||||||||||
|
|
|
3 |
|
|
|
|
||||||||||||||||||||||
|
z+i |
|
=1 |
(z + i) |
2! |
|
|
|
|
|
|
|
|
|
|
|
|
z=−i |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
рис. 6.3. |
|
||||||||||||||||||||||
= πi |
ei i |
− e−i i |
|
= π |
e−1 − e1 |
|
= −π sh1 |
|
|
||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2i |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
Примечание:
Доказательство теоремы 1 можно прочесть в книге:
В.Д. Морозова «Теория функций комплексного переменного», М.: издво МГТУ им. Баумана, 2002 (Выпуск X в серии «Математика в техническом университете»), на стр. 164 – 165 (глава 5, пункт 5.5, теорема 5.8).
Доказательство теоремы 2 – там же, на стр. 170 (глава 5, пункт 5.6,
теорема 5.9).
рис. 6.4.

ТФКП (мат. анализ часть 4) семестр 4, лекция 6, стр. 1 из 5
Комплексные ряды.
1. Числовые ряды с комплексными членами.
Напомним некоторые понятия и факты, изучавшиеся в курсе рядов.
Последовательность комплексных чисел {zn} называется сходящейся, а число
z ее пределом (lim zn = z), если существуют конечные пределы |
x = lim xn и |
||
n→∞ |
|
|
n→∞ |
y = lim yn , где xn = Re zn , yn = Im zn |
|
|
|
n→∞ |
|
|
|
|
∞ |
|
|
Ряд с комплексными членами w1 + w2 + ...+ wn = ∑wn называется сходящимся, |
|||
|
n=1 |
|
|
если последовательность {Sn} |
|
n |
|
|
|||
его частичных сумм сходится Sn |
= ∑wk |
||
|
|
k=1 |
|
Комплексное число S = lim Sn называется суммой сходящегося числового ряда |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
с комплексными членами. Иногда пишут ∑wn → S . |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
Ряд с комплексными членами ∑wn называется абсолютно сходящимся, если |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
∞ |
|||||
|
сходится ряд ∑ |
|
wn |
|
. В этом случае ряд ∑wn тоже сходится. Напомним, что |
|||||||||||||
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
n=1 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
wn |
|
= |
|
un + ivn |
|
|
|
= un2 + vn2 > 0 . |
|
||||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
∞ |
|
||||||||||||
Ряд ∑ |
|
wn |
|
- числовой |
знакоположительный ряд, следовательно, его |
|||||||||||||
|
|
n=1
сходимость (расходимость) можно установить с помощью известных нам признаков Даламбера и Коши.
Теорема 1.
Если существует lim
n→∞
d >1 этот ряд расходится.
Теорема 2.
∞
Если существует lim n wn = c, то при c <1 ряд ∑wn абсолютно сходится, а при
n→∞
c >1 этот ряд расходится.
|
|
|
|
|
Примеры: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
∞ |
|
ein |
|
|
|
|
|
|
|
ein |
|
cosn +isin n |
|
|
|
|
|
|
|
|
|||||||||||||||||||
1) ∑ |
|
|
|
|
; wn |
= |
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
n |
2 |
n |
2 |
|
|
|
|
|
n |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
∞ |
|
|
|
|
|
∞ |
1 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
wn |
|
= |
|
|
cos2 n +sin2 n = |
|
∑ |
wn |
=∑ |
− |
|||||||||||||||||||||||||||||||
|
2 |
|
|
2 |
|
2 |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n=1 |
|
|
|
|
n=1 |
n |
||||||||
|
|
|
∞ |
2 −i n2 |
|
|
|
|
2 −i n2 |
|
|
|
|
|
|
|
2 −i |
|
n2 |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
2) ∑ |
|
|
|
|
|
|
|
|
|
; wn |
= |
|
|
|
|
|
; |
wn |
= |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
n=1 |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
w |
= |
|
|
|
|
|
|
|
lim n |
w |
|
|
|
= lim |
|
|
|
|
|
= 0 <1 |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
n |
|
|
|
|
|
3 |
|
|
|
|
|
n→∞ |
|
|
n |
|
|
|
|
n→∞ |
3 |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α = 2 >1 ряд (1) сходится абсолютно.
ряд (2) абсолютно сходится.

ТФКП (мат. анализ часть 4) семестр 4, лекция 6, стр. 2 из 5
2. Комплексные степенные ряды.
∞
Степенным рядом ранее мы называли ряд вида ∑Cn (z − z0 )n , где Cn и z0 -
n=0
комплексные числа, а z - комплексная переменная.
Те значения переменной z , при которых ряд сходится, образуют область сходимости.
Для любого степенного ряда существует круг с центром в точке z0 , внутри которого степенной ряд абсолютно сходится, а вне его – расходится.
Этот круг 0 ≤ z − z0 < R < +∞ называется кругом сходимости, а его радиус R - радиусом сходимости.
Для степенных рядов верна теорема Абеля (см. предыдущий семестр).
Верны также следующие два утверждения:
Теорема 1.
Во всех точках z внутри круга сходимости степенной ряд абсолютно
∞
сходится и его сумма S(z) = ∑Cn (z − z0 )n - регулярна.
n=0
Теорема 2.
Если степенной ряд абсолютно сходится в какой-либо точке границы круга, то он абсолютно сходится и на всей границе.
Рассмотрим теперь ряды по отрицательным степеням разности (z − z0 ):
∞ |
bn |
|
|
|
∑ |
|
|
. |
|
(z − z |
|
)n |
||
n=1 |
0 |
|
||
|
|
|
|
Для рядов такого вида областью сходимости будет являться не внутренность, а внешность круга, т.е. множество вида z − z0 > r ≥ 0 .
Примеры:
Найти область сходимости степенного ряда
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 n |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
1) ∑ |
|
|
n |
zn ; |
∑ |
n |
|
zn |
; |
|
|
lim n |
wn |
|
= lim |
n |
|
|
z |
= |
|
|
< 1 |
|
z |
< 2 (см. рис. 2.1) |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
n |
n |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
n=1 |
2 |
|
|
|
|
|
|
n=1 2 |
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
n→∞ 2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
z |
|
= 2 ∑n − расходится абсолютной сходимости на границе нет. |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2) ∑(z − 2i) |
n |
+ ∑ n |
2 |
+ 5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
(2) − ряд по всем целым |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
степеням (z − 2i) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
n=0 |
|
|
2n (n |
+1) |
|
n=1 (z − 2i)n |
|
|
|
|
|
|
|
|
|
|
|
рис. 2.1 |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
wI |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
wn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
wn+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2n (n |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
I : lim |
|
|
|
|
= |
z |
− 2i |
lim |
|
|
= |
z − 2i |
< 1 |
|
|
z − 2i |
|
< 2 |
− область D |
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
n→∞ |
w |
|
|
|
|
|
|
|
|
|
|
n→∞ 2n+1(n + 2) 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
wn+1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
(n +1)2 + 5 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
< 1 |
|
|
z − 2i |
|
> 1 |
− область D |
|
|
|
||||||||||||||||||||||||||||
|
II : lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
II |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
z − 2i |
+ 5 |
|
|
|
z − |
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
n→∞ |
w |
|
|
|
|
|
n→∞ n2 |
|
|
|
|
|
2i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
D = DI |
|
|
∩DII |
= {z :1< |
|
z − 2i |
|
< 2} |
(см. рис. 2.2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рис. 2.2

ТФКП (мат. анализ часть 4) семестр 4, лекция 6, стр. 3 из 5
3. Ряды Тейлора и Лорана.
Функция f (z) , регулярная в круге z − z0 < R, 0 ≤ R < +∞ , раскладывается в ряд по
|
∞ |
|
степеням (z − z0 ) |
вида: f (z) = ∑an (z − z0 )n . Этот ряд называется рядом Тейлора. В силу |
|
|
n= |
0 |
существования у регулярной функции производных любого порядка, коэффициенты an определяются аналогично коэффициентам ряда Тейлора для действительных функций:
an = f (n) (z0 )
n!
Это выражение для коэффициентов называется дифференциальным. В силу
интегральной формулы Коши для производной |
f (n) (z0 ) = |
n! |
|
∫ |
|
|
f (z)dz |
можно получить |
|||||||||||||||||||||||||||||||||
2πi |
|
|
n+1 |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
γ |
|
(z − z |
) |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
интегральное выражение для коэффициентов: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
an |
= |
1 |
|
n! |
∫ |
|
|
f (z)dz |
|
= |
1 |
∫ |
f (z)dz |
, где γ : |
|
z − z0 |
|
= r . |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
n+1 |
|
|
n+1 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
n! 2πi |
γ |
|
(z − z |
) |
|
|
|
|
|
2πi |
γ |
(z − z |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Если функция f (z) |
регулярна в области D |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
(см. рис. 3.1), а точка |
z0 D , то ряд Тейлора |
|
этой |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
функции |
|
f (z) сходится к ней внутри максимального |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
круга К с центром в z0 , лежащего в области D |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑an (z − z0 )n → f (z) |
в К . То есть радиус сходимости |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R = min |
|
z1 − z0 |
|
|
|
|
(ГD − граница области) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рис. 3.1 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
z1 ГD |
|
|
|
|
|
f (z) , регулярная в кольце r < |
|
z − z0 |
|
|
< R, |
0 ≤ r < R < +∞ , |
||||||||||||||||||||||||
|
|
Функция |
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
раскладывается в |
ряд |
по степеням |
|
(z − z0 ) |
|
вида: |
f (z) = ∑ an (z − z0 )n , где |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=−∞ |
|
|
|
|
an = |
|
1 |
|
|
|
z−z∫ |
|
|
|
|
|
|
f (z)dz |
, n = 0;±1;±2;... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
2πi |
|
=ρ (z − z0 )n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
r<ρ< |
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Этот ряд называется рядом Лорана. Его можно представить в виде суммы |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
−1 |
∞ |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
двух рядов: ∑ an (z − z0 )n = ∑ an (z − z0 )n + ∑an (z − z0 )n |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=−∞ |
|
|
n=−∞ |
n=0 |
|
|
|
|
|
|
|
|
|
Первое слагаемое этой суммы называется главной частью ряда Лорана, а второе – правильной частью.
Ряды Тейлора и Лорана определяются единственным образом (докажите!)
Ряды Тейлора и Лорана можно почленно дифференцировать и
интегрировать (сформулируйте и докажите соответствующие теоремы).
|
|
Примеры: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Разложить в ряд по степеням z функции e3z , |
z3e1 z , |
|
1 |
|
. |
|
|
|
|
|||||||||||||||||
|
z − |
2 |
||||||||||||||||||||||||
1) |
|
f1(z) = e3z |
|
|
|
регулярна |
во |
|
всей |
|
комплексной |
плоскости ( |
|
z |
|
< +∞) , следовательно, |
||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||
раскладывается в ряд Тейлора, сходящийся к |
f1(z) |
при любом z : |
||||||||||||||||||||||||
an |
= |
f (n) (0) |
= |
3n |
|
, т.к. (e3z )(n) |
= 3n e3z |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
n! |
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
∞ |
|
n |
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|||
f1 (z) = e3z = ∑ |
3 |
zn = 1+ 32 + |
9z |
|
+ |
27z |
|
+... |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
n=0 |
|
n! |
2! |
3! |
|
|
|
|
|
|
|
|
|
|
|