Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

matan4_bel

.pdf
Скачиваний:
25
Добавлен:
10.05.2015
Размер:
6.91 Mб
Скачать

ТФКП (мат. анализ часть 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 eiz

 

Регулярна

Периодическая T = 2π

 

 

2i

 

 

 

 

 

cos z

 

eiz + eiz

Регулярна

Периодическая T = 2π

 

2

 

 

 

 

 

 

 

 

sh z

 

 

ez ez

 

Регулярна

Периодическая T = 2πi

 

2

 

 

 

 

 

 

 

 

ch z

 

 

ez + ez

 

Регулярна

Периодическая 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

 

 

Γ

Γ

Ref (z)dz

Imf (z)dz

Γ

Γ

Ref (z)dz , Imf (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.

 

 

zi

 

=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

ei i

 

= π

e1 e1

 

= π sh1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

Примечание:

Доказательство теоремы 1 можно прочесть в книге:

В.Д. Морозова «Теория функций комплексного переменного», М.: издво МГТУ им. Баумана, 2002 (Выпуск X в серии «Математика в техническом университете»), на стр. 164 – 165 (глава 5, пункт 5.5, теорема 5.8).

Доказательство теоремы 2 – там же, на стр. 170 (глава 5, пункт 5.6,

теорема 5.9).

рис. 6.4.

с показателем
обобщенный гармонический ряд
n=1
wn
wn+1 = d , то при
n=1
d <1
ряд wn абсолютно сходится, а при

ТФКП (мат. анализ часть 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

 

 

 

zz

 

 

 

 

 

 

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!

 

 

 

 

 

 

 

 

 

 

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]