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

Практика ФКП

.pdf
Скачиваний:
71
Добавлен:
13.03.2016
Размер:
1.17 Mб
Скачать

Учитывая, что

1

i , получим решения уравнения

 

 

i

 

 

 

 

 

 

 

 

 

 

 

z1 2 k iln

 

1 ,

z2 2 k iln

 

1 ,

k 0, 1, 2,...

2

2

3. Дифференцируемыеианалитическиефункции

Функция f z называется дифференцируемой в точке z0 , если она имеет в этой точке производную

f z0

lim

f z f

z0

 

lim

f z0

 

z z0

 

z

 

z z0

 

 

z 0

Для функций комплексного переменного справедливы правила дифференцирования суммы, произведения, частного, правила дифференцирования элементарных функций:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u v u v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

 

 

 

 

 

 

u v

u

 

 

 

u v

 

v

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v ,

u

u v ,

 

 

 

v2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

z

 

 

1

 

z

 

 

n z

 

, sin z

cosz ,

 

sin z

,

 

e

 

 

e ,

 

.

 

 

cosz

 

 

 

ln z

z

Кроме элементарных функций, есть другие функции комплексного переменно-

го, например,

z

, Rez2 , Im

z

z3 и т.д. Как проверить их дифференцируемость?

Функция

f z u x,y iv x,y будет дифференцируемой тогда и только то-

гда, когда выполняются следующие условия Коши-Римана:

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

ux vy,

uy vx

 

 

 

Пример 3.1. Выяснить, являются ли функции а) f (z) z e3 z, б)

f (z) 5

z

3iz

аналитическими в области определения. Если да, то найти их производные.

Решение.

f (z) z e3 z является элементарной функцией,

 

 

 

а). Функция

определенной на

всей комплексной плоскости; следовательно она является аналитической на комплексной плоскости. Найдём ее производную

 

f

 

 

3z

 

e

3z

z e

3z

3 e

3z

3z 1 .

 

(z) z e

 

 

 

 

 

б). Функция f (z) 5

z

3 iz

не является элементарной функцией, поэтому сле-

дует проверить выполнение условий Коши-Римана. Для этого запишем функцию в виде

f (z) 5z 3 iz 5(x i y) 3i(x i y) 5x 3y i 5y 3x .

Отсюда действительная часть функции u 5x 3y,

мнимая часть v 5y 3x .

Найдем частные производные этих функций:

 

 

 

 

 

 

 

uy 3,

vx 3,

vy

5.

ux 5,

Так как ux vy , то функция

f (z) 5

z

3iz не является аналитической ни в од-

ной точке комплексной плоскости.

11

 

 

 

 

 

 

 

В теории функций комплексного переменного важную роль играет класс функций, называемых аналитическими. Однозначная функция f z называется

аналитической в области D, если она дифференцируема в каждой точке этой области.

Укажем ряд свойств аналитических функций.

1). Функция f z является аналитической в области D тогда и только тогда,

когда в этой области ее действительная и мнимая части удовлетворяют условиям Коши-Римана.

2). Сумма, разность, произведение, суперпозиция аналитических функций являются функциями аналитическими. Частное аналитических функций является аналитической функцией, если знаменатель не обращается в нуль.

3). Пусть функция f z u x, y iv x, y

является аналитической в области D.

Тогда в этой области функции

u x, y ,

v x, y

являются гармоническими, т.е.

удовлетворяют уравнению Лапласа:

 

 

 

 

 

 

 

 

 

 

 

 

,

 

.

 

(3.1)

 

 

 

 

uxx

uyy 0

vxx vyy 0

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что из гармоничности функций

u x, y , v x, y

не следует анали-

тичность функции

f z u x, y iv x, y .

Например,

для

функции

f z

z

x i y ее действительная и мнимая части u x, y x,

v x, y y

являют-

ся функциями гармоническими, но не удовлетворяют условиям Коши-Римана, т.е. функция f z z не является аналитической.

4). Если известна действительная или мнимая часть аналитической функции

f z ,

то с точностью до постоянной может быть восстановлена сама функция f z .

Пусть, например, известна Re f z u x, y . Требуется найти Im f z v x, y .

Воспользуемся условиями Коши-Римана:

(3.2)

vx uy , vy ux .

Первое из этих равенств проинтегрируем по x с точностью до константы c y , не зависящей от переменной интегрирования

v uy dx c y .

Для отыскания c y следует подставить найденную функцию v x, y во второе из равенств (3.2).

Пример 3.2. Найти, если возможно, аналитическую функцию f z , у которой

Im f z v x, y chx sin y .

Решение.Проверимгармоничностьфункции v x,y :

vxx vyy chx sin y chx sin y 0.

Из гармоничности функции v x,y следует, что она является мнимой частью некоторой аналитической функции f z u x, y iv x, y . Для отыскания функции f z

найдем ее действительную часть из условий Коши-Римана:

12

ux vy chx cos y,

uy vx shx sin y .

(3.3)

 

 

 

 

 

Равенство ux chx cos y проинтегрируем по x:

u chx cos y dx shx cos y c y .

Дляотыскания c y подставимнайденнуюфункцию u x, y вовтороеизравенств(3.3):

 

 

 

c y c

u shx cosy c .

uy shx sin y shx sin y c y

c y 0

Подставим найденное u x,y

и заданное v x, y

в функцию

f z u iv и выразим

ее через z ,учитывая,что ch iy cos y,

sh iy isin y:

 

f z u iv shx cos y c i chx sin y shx ch iy chx sh iy sh x iy c shz c.

Следовательно, f z shz c.

4. Интегрированиефункциикомплексногопеременного

Пусть z z t

 

 

есть параметрическое уравнение дуги AB , причём концам

дуги A, B соответствуют значения параметров tA, tB.

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tB

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z dz f z t z t d t

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

AB

 

 

 

 

 

tA

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Rezdz по отрезку L

с концами в точках

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1 1 2i, z2 2 3i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Уравнение отрезка L с концами в точках z1, z2

имеет вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z1 t z2 z1 , 0 t 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В нашем случае

z 1 2i t 1 i Rez 1 t,

 

dz 1 i dt ,

 

 

 

 

 

 

 

1

1 t 1 i dt 1 i

 

 

t

2

 

1

 

3

1 i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Rezdz

 

t

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

L

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

zImz2dz, если контур L задан соотноше-

 

 

 

 

 

 

 

 

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ниями Rez 1,

 

 

Im z

 

 

2.

 

 

 

 

 

 

 

 

то уравнение контура L можно записать

 

 

 

 

 

 

 

 

 

 

Решение. Так как Rez x,

 

Imz y ,

следующим образом: x 1,

 

y

 

 

2

или x 1,

2 y 2. На линии L имеем:

 

 

 

 

 

z x i y 1 i y, Imz2 Im(1 i y)2 2y,

dz idy.

 

 

 

2

 

 

 

 

 

 

2

 

2i y i y2 dy

32

 

 

 

 

 

 

 

 

 

 

 

Тогда zImz2dz (1 i y)2yidy

.

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

(L)

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

2

 

z

 

3,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

dz по границе

L

области D : Re z 0,

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Im z 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Изобразим область D на плоскости z (рис.6).

Граница области – линия L – состоит из двух дуг окружно-

стей (дуги BC и FA) и двух отрезков ( AB и CF ), следовательно, интеграл по контуру L будет равен сумме четырёх инте-

гралов. Выберем обход контура против часовой стрелки. Вычислим каждый из интегралов.

1). На отрезке AB имеем: y 0,

z x,

z

x,

dz dx, и

 

 

z

 

3

 

 

 

dz

x

dx 1.

 

z

x

AB

 

 

2

 

 

 

y

z

B

A

 

 

3

2

0

x

 

 

2 F

 

 

 

3 C

 

 

 

Рис. 6

 

2). На отрезке CF

 

 

имеем: x 0,

z i y,

 

z

i y,

dz idy,

y [ 3, 2] и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

i y

i dy i.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

i y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

CF

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

3). На дуге BC имеем:

 

 

z

 

3, z 3ei ,

z

 

3e i ,

dz 3iei d , , 3 /2 и

 

 

 

 

 

 

z

 

 

 

 

 

3 /2

 

 

i

 

 

 

 

 

 

 

 

 

 

3 /2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

3e

3iei d

 

e3i 3id e3i

3 /2

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

BC z

 

 

 

 

 

3e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

isin

9

 

 

 

cos3 i sin3 1 i.

 

 

 

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4). На дуге FA

имеем:

 

 

z

 

 

2,

z 2ei ,

 

z

2e i ,

dz 2iei d и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

2ie3i d

e3i

 

( 1 i).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 /2

 

 

 

 

 

 

 

 

z

 

 

 

3

3

 

 

 

FA

 

 

 

 

 

 

 

3 /2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

z

dz 1 i 1 i

2

1 i

2

1 i .

 

 

 

 

z

3

3

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интегральная теорема Коши

Пусть функция f z является аналитической в односвязной области D.

Тогда интеграл от этой функции по любой замкнутой кривой L из области D равен нулю, т.е. f z d z 0 .

L

Если функция является аналитической в односвязной области, но линия

интегрирования незамкнута, то интеграл

f z dz не зависит от формы

AB

B

 

кривой. Такой интеграл обозначают f z dz

и к нему применимы такие же

A

 

методы вычисления, как при интегрировании функции действительной переменной, например, метод подведения под знак дифференциала, метод интегрирования по частям.

14

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

 

 

zez2dz:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а) по дуге L параболы y x2

 

от точки z

0

до точки z

2

1 i,

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) по отрезку L2 прямой, соединяющему эти точки.

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Так как функция f (z) zez2

 

 

аналитична всюду на комплексной плос-

 

кости, то

zez2dz не зависит от формы пути интегрирования, т. е.

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

1 i

 

2

 

 

 

 

 

 

 

1

 

1 i

 

 

 

2

 

 

 

 

 

 

1

 

 

 

2

 

 

1 i

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zez

dz zez

dz zez

 

dz

 

 

 

 

ez

d z

2

 

 

 

 

ez

 

 

0

 

 

 

 

 

 

e(1 i)

1

 

 

 

 

2

 

 

 

 

2

 

 

2

 

 

 

(L1)

 

(L2)

 

1

 

0

 

 

1

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e2i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(cos2 1)

 

 

sin2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

5 z2 z cosz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 z

2

1 z

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 3

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Подынтегральная функция не определена в точках z i, z 3.

По-

 

строим контур интегрирования

 

z 3

 

 

 

1. Это есть окружность с центром в точ-

 

 

 

 

 

ке z 3

радиусом 1

 

(рис. 7).

 

Особые

 

 

точки

 

функции

 

 

 

 

y

 

 

 

z 3, z i, z i лежат вне этой окружности. Поэтому внут-

 

 

 

 

 

 

 

ри окружности функция

f (z)

5 z

2

 

z cosz

 

 

является ана-

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

z2 1 z 3 2

 

 

i 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

2 3 4

литической и по теореме Коши

 

 

 

 

 

 

 

 

5 z2 z cosz

dz 0.

 

 

 

 

 

 

 

 

 

 

Рис. 7

 

 

 

 

 

 

 

 

 

z

2

1 z

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 3

 

1

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интегральные формулы Коши

 

 

 

 

 

 

 

 

 

 

 

 

Интегральные формулы Коши можно записать в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z dz

 

 

 

2 i

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i f a ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

a

 

 

(4.1)

 

 

 

 

L

z a

 

 

 

 

L z a n 1

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и использовать для вычисления соответствующих интегралов при условии, что

 

 

точка a находится внутри контура L, функция

f z является аналитической

 

 

внутри контура L.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

chz

 

 

 

 

 

 

 

 

 

 

 

 

 

chz

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

dz,

I2

 

 

 

 

dz.

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

z2 1

 

 

 

 

 

 

 

 

1

z2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. В первом интеграле нули знаменателя z 1 функции

 

 

 

e

iz

 

0

1

 

2

 

 

z2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

находится вне контура

 

интегрирования

 

z 3

1

(рис. 7); поэтому

 

Рис. 8

внутри этого контура подынтегральная функция является

 

 

 

 

аналитической и по теореме Коши интеграл I1

равен нулю.

 

 

 

 

 

 

 

 

 

 

 

 

Во втором интеграле точка

z 1

находится внутри контура интегрирования

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

15

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

x

z 1

1 (рис.8),поэтомупопервойизформул(4.1) имеем

 

 

 

 

chz

 

 

 

 

 

 

 

chz

 

 

 

 

 

 

 

 

 

 

 

 

 

chz

 

chz

 

 

 

I2

z 1

 

 

dz

 

z 1

 

 

 

 

 

dz

 

 

z 1

 

 

 

 

z 1

 

 

dz 2 i

 

 

ich1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 z2 1

 

 

1 z 1 z 1

 

 

 

1

z 1

 

z 1

z 1

 

 

 

 

 

 

 

 

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

 

 

1

sin

 

dz.

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

1

z

 

 

z 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Внутри контура

 

z

 

1

функция

sin

 

 

является аналитической, так

 

 

 

 

z 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

как особая точка z 3 находится вне контура. Поэтому по второй из формул (4.1) при n 1 имеем

 

 

1

 

 

 

 

 

 

2 i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

I

 

 

 

dz

 

 

 

 

2 i

 

 

 

 

 

 

 

 

 

2 i cos

 

 

i

 

 

 

sin

 

 

 

 

 

sin

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

z 1 z

 

 

 

z 3

 

 

1!

z 3

 

z 0

 

z 3 z 3

 

 

z 0

 

 

3 9

 

9

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

dz

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

Решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

3 z2 2 i z 2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Нули знаменателя

z1 i,

z2 2

легко находятся

по теореме

Виета.

Поэтому

функция

 

разлагается на

множители

 

 

 

z2 2 i z 2i 3

z i 3 z 2 3 .

Точки

z1 i,

z2 2

находятся внутри контура

 

 

(рис. 9). Построим окружности

1, 2

с

центрами

 

в этих

точках

достаточно

малых

 

радиусов, таких,

чтобы

окружности не пересекались и целиком лежали внутри контура . В многосвязной

области, ограниченной внешним контуром

и внутренними контурами

1, 2 ,

подынтегральная функция является аналитической (т. к. нули

 

 

знаменателя не входят в эту область),

поэтому по теореме Коши z

 

 

для многосвязной области интеграл по внешнему контуру равен

 

1

i

сумме интегралов по внутренним контурам:

 

 

 

 

I

 

dz

 

 

 

 

dz

 

 

 

dz

 

 

0

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

3

 

 

3

 

3

 

3

 

3

3

 

 

z

 

3

z i

 

z 2

 

 

1

z i

 

z 2

2

z

i z 2

 

 

 

 

 

 

 

 

 

 

В интеграле по кривой 1 ,

окружающей точку z1

i, в знаменателе

Рис. 9

оставим z i 3 , а в интеграле по кривой

2 , окружающей точку

 

 

z2 2, в знаменателе оставим z 2 3

и применим для каждого интеграла вторую

из формул Коши (4.1) при n 2:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

z 2 3

dz

z i 3

dz

2 i

z 2

 

3

 

 

 

 

 

z i

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z i 3

 

z 2 3

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

z 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

5

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 3 4 z 2

 

 

 

z i

 

 

 

12 i

 

 

 

 

 

 

 

 

 

 

0.

 

z i

 

 

z 2

i 2 5

2 i 5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Примеры для самостоятельного решения

1.

Вычислить интеграл

 

 

z

 

 

dz ,

где L :

 

 

z

 

 

argz

 

 

 

Ответ:

2 i.

 

 

 

 

 

 

1,

 

 

 

.

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

Вычислить интеграл

 

 

 

z

 

 

z

dz

по границе

L

области

 

 

 

z

 

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/2 argz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(обход контура против часовой стрелки).

 

 

 

 

 

 

 

 

 

 

Ответ: i/2.

3. Вычислить (z 1)coszdz

 

по отрезку z1z2 :

z1

/ 2,

z2 / 2.

 

 

Ответ:

-2.

 

(L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.

Вычислить интеграл

 

 

 

 

 

ez cosz sin z2 5z 3

dz.

 

 

 

 

 

 

Ответ:

0.

 

 

 

 

 

 

 

 

z2 5z 6

2

 

 

 

 

 

 

 

 

 

z 1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5.Ряды в комплексной области

5.1.Числовые ряды

Необходимый и достаточный признак сходимости ряда:

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд zn

xn i yn сходится

 

ряды

xn , yn сходятся.

n 1

n 1

 

 

 

 

 

 

 

 

 

n 1

n 1

 

 

 

 

1

n

 

 

i

 

 

 

 

Пример 5.1. Исследовать ряд

 

 

 

 

на сходимость и найти его сумму.

 

 

 

 

 

 

 

 

2n !

3

n 1

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

Решение. Ряд

 

является знакочередующимся и сходится по признаку

 

n 0

2n !

 

 

 

 

 

 

 

 

 

 

 

Лейбница, так как его члены по абсолютной величине убывают и стремятся к нулю. Для вычисления его суммы запишем ряд Тейлора для функции cosx:

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

x4

 

 

 

 

 

 

 

 

 

1 n x2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosx 1

 

 

 

 

 

 

 

 

...

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

4!

 

 

 

 

 

 

 

n 0

 

 

 

2n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В частности, при x 1 получим n 0

 

 

 

 

 

cos1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

Ряд

 

является геометрической прогрессией с первым членом

b1

 

 

, зна-

n 1

3

n 0

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

b1

 

 

 

1/3

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

n

 

 

 

 

i

 

менателем

q

и суммой

 

 

 

 

 

. Таким образом, ряд

 

 

 

 

 

 

 

 

 

 

 

1 1/3

 

2n !

3

n 1

 

 

3

1 q

2

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится и его сумма S cos1

1

i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

27n

3

5

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 5.2. Исследовать ряд

 

 

i

 

 

 

 

 

 

 

на сходимость.

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

3n

7

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

17

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Ряд

сходится как эталонный ряд

 

 

 

 

при p 1.

2

 

 

p

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

Ряд

 

 

27n 5

 

ведет себя также, как ряд

 

 

 

 

 

27n

 

3

 

 

 

 

 

, т.е. сходится.

 

 

7

 

 

7

 

 

2

 

 

 

n 1

 

 

3n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

3n

 

 

n 1n

 

 

 

 

 

 

 

 

Следовательно, исходный ряд сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится, то lim zn 0.

Необходимый признак сходимости ряда: если ряд zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

3n4 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 5.3. Исследовать ряд

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

на сходимость.

 

 

 

 

 

 

 

4

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1 lnn

 

 

10n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Так как

 

 

 

 

 

 

1

 

 

 

 

 

 

 

3n4

1

 

 

 

 

 

3n4

 

 

 

 

3

0,

то заданный ряд

 

lim zn

lim

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

i

lim

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

расходится.

 

 

 

n

n lnn

 

 

10n4

3

 

n 10n4

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Достаточный признак сходимости ряда: если ряд

zn

сходится, то ряд zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

n 1

сходится и называется абсолютно сходящимся рядом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 i 2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 5.4. Исследовать ряд n 1

 

 

 

 

 

 

на сходимость.

 

 

 

 

 

 

 

 

 

 

 

cos in

 

 

 

 

 

 

 

 

Решение. Рассмотрим ряд из модулей

 

 

 

2

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 i 2n

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

1 i

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos in

 

 

 

 

 

 

chn

 

 

 

 

en e n

 

 

en

e n

 

 

 

 

 

 

n 1

 

 

 

n 1

 

 

 

 

 

 

 

n 1

 

 

 

 

 

n 1

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

2 n

 

 

 

 

 

 

 

 

Ряд

 

 

 

 

ведет себя также,

как ряд

 

 

 

 

 

 

 

 

 

 

.

Последний ряд

n 1 en e n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1 en

n 1

e

 

 

 

 

 

 

 

2

 

 

сходится, как геометрическая прогрессия со знаменателем q

 

меньшим

e

единицы. Поэтому исходный ряд сходится абсолютно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5.2. Степенные ряды

 

 

 

 

 

 

 

 

 

 

 

 

 

Степенной ряд в комплексной области есть ряд вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a1 z z0 a2 z z0 2 ... ,

 

 

 

 

 

 

 

 

 

 

an z z0 n a0

 

 

n 0,1,2,3,... ,

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где an

z, z0 комплексные числа.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Степенной ряд в комплексной области обладает следующими свойствами.

18

 

 

 

1). Областью сходимости степенного ряда an z z0 n является круг

z z0

R.

n 0

 

 

 

 

 

2). Сумма степенного ряда внутри круга сходимости является функцией аналитической.

3). Степенной ряд внутри круга сходимости можно почленно дифференцировать любое число раз и почленно интегрировать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

Пример 5.5. Найти и построить область сходимости ряда

z 2

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

4 3i

 

z 2

 

 

Решение. Ряд является геометрической прогрессией со знаменателем q

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 3i

 

Поэтому ряд сходится, если

 

 

q

 

1 , т.е.

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

z 2

 

 

 

 

 

 

z 2

 

 

 

 

 

 

 

 

z 2

 

 

 

z 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

5.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 3i

 

 

 

 

4 3i

 

 

 

 

5

 

 

 

 

 

3

0 2

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Областью сходимости ряда является круг с центром в точке z0 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и радиусом R 5 (рис. 10).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

z i n .

 

 

 

 

 

Пример5.6.Найтиипостроитьобластьсходимостиряда

 

Рис. 10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

3n

 

 

 

 

Решение. Применим признак Даламбера для ряда из модулей:

lim

 

un 1

 

lim

n 1

 

z i

 

n 1

 

 

3n

 

 

z i

 

 

lim

n 1

 

 

 

z i

 

 

.

z

4i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

un

 

 

n

3n 1

n

z i

n

 

 

3 n n

3

 

 

 

 

 

Если

 

z i

 

3, то ряд расходится; если

 

z i

 

3, то ряд схо-

 

i

 

 

 

 

 

дится, т.е. областью сходимости ряда

является круг с центром в

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точке z0 i и радиусом R 3 (рис. 11). На границе круга, т.е. при

z i 3 нужны дополнительные исследования, которые

Рис. 11

проводить не будем.

5.3. Ряды Тейлора и Лорана

 

Функция

f z ,

аналитическая

в круге

 

z z0

 

R,

 

 

 

 

 

 

разлагается в этом круге в ряд Тейлора по степеням z z0 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z Cn z z0 n .

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция

f z ,

аналитическая в

кольце

r

 

z z0

 

 

R ,

 

 

 

 

разлагается в этом кольце в ряд Лорана по степеням z z0

 

 

 

 

f z

Cn z z0 n .

 

n

 

19

3)2 4 ln 4 1

Ряды Лорана и Тейлора внутри их области сходимости можно почленно интегрировать и дифференцировать, при этом область сходимости вновь полученных рядов не изменится.

При разложении функции в ряд сначала нужно найти область сходимости; для этого не надо использовать признак Даламбера (в отличие от функции действительного переменного); достаточно найти круг или кольцо аналитичности функции.

Пример 5.7. Функцию f (z) ez2 2z разложить в ряд в окрестности точки z0 1. Указать область сходимости полученного ряда.

Решение. Функция f (z) ez2 2z является аналитической на всей комплексной плоскости, следовательно, её можно разложить в ряд Тейлора по степеням z z0

в круге

 

z z

0

 

. Преобразуем функцию

f (z) ez2 2z

e(z 1)2 1 e 1 e(z 1)2 и вос-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

пользуемся известным разложением функции ez

 

z

 

 

;

 

z

 

. Получим

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

1

 

2

1

(z 1)2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)

 

e(z 1)

 

 

 

 

 

,

 

z 1

.

 

 

 

 

 

e

e

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

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

z

f (z) ln z2 6z 13 ; указать область сходимости ряда.

Решение. 1). Найдем сначала точки, где функция не определена:

 

z2 6z 13 0 z 3

 

 

 

3 2i

 

9 13

 

Расстояние от этих точек до точки z0 3 равно 2 (рис. 12). По-

 

этому функция f (z) аналитична в круге

 

z 3

 

2 и разлагается в

 

 

 

 

этом круге в ряд по степеням z 3 .

 

2). Преобразуем функцию

 

3 2i

3 0

3 2i

Рис. 12

f (z) ln z2 6z 13 ln (z

Известно, что ln(1 z) ( 1)n 1 zn . Тогда n

n 1

(z 3)2

 

(z 3)2

 

 

ln4 ln 1

 

.

4

4

 

 

 

 

 

 

 

 

(z 3)2

 

 

 

 

 

 

(z 3)2n

 

 

 

 

f (z) ln4 ln 1

 

 

 

 

 

 

 

 

 

 

 

ln4

 

( 1)n 1

 

 

 

 

 

 

 

 

 

, если

z 3

 

2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

4

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

Пример 5.9. Функцию f (z)

z 2

разложить в ряд по степеням z .

 

z 3

 

Решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция f (z)

имеет особую точку

z 3, следовательно, является

аналитической а) в круге

 

z

 

3,

б) в кольце 3

 

z

 

. Найдём ряды для функ-

 

 

 

 

ции f (z)

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

 

 

 

f (z)

z 2

 

z 3 5

1

 

 

 

5

 

.

 

 

 

 

 

 

 

 

 

 

z 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 3

z 3

 

 

 

 

 

 

 

 

 

а). Для разложения в круге

 

z

 

3 в знаменателе из двух величин z

и 3 вынесем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

20