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

ТФКП Половинкин

.pdf
Скачиваний:
382
Добавлен:
03.06.2015
Размер:
11 Мб
Скачать
☆

 

 

 

 

 

§ 13. Теория вычетов

 

 

 

 

81

Функция f

имеет полюсы 1-го порядка (нули знаменателя) в точ­

ках zk =

еi(1Г/4+1Гk/2), k =О, 1, 2, 3, причем точки z

0

и z

1

лежат внутри

контура 'YR·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По теореме 1 о вычетах получаем

 

 

 

 

 

 

 

· (

res f

+ res f

)

. [ 1 + ei 2f

+

1 + e2i .3f]

=

 

 

JR = 21r~

 

 

= 21r~

.37Г

.97Г

 

 

 

 

 

 

Z0

Z1

 

 

4et Т

 

4et4

 

 

 

 

 

.

[ 1

e-it + ei"i

1

e-i~ + ei~]

 

 

= 27r~

2i .

2

+ - 2i

.

2

 

 

 

 

 

 

=

1r ( cos ~- cos

3

1rv'2.

 

 

 

 

;) =

С другой стороны

 

 

 

 

 

 

 

JR = l+пf(z) dz + r f(z) dz 1:1. Ih + 11.

 

 

 

-R

 

lcR

 

 

 

 

Очевидно, что

интеграл Ih --t J

при

R --t +оо.

Позже

(см.

лемму 4) мы докажем,

что интеграл Ik --t О при R-+ +оо, откуда

в итоге получим, что J = 1r...J2.

 

 

 

 

 

Обобщая пример 2,

изучим правила вычисления интегралов раз­

личных типов с помощью теории вычетов.

1. Вычисление интегралов вида

 

J = I:Rn,m(x) dx,

где R

(х) = Рп(х) -рациональная функция,

n, m

Qm(x)

Рп(х) = xn + an_lxn-l + ... + ао,

Qm(x) = xm + bm-lxm-l + ... + Ьо,

причем полагаем, что Qm (х) f:. О при всех х Е IR1 .

Известно, что интеграл J (19) сходится при условии т>

что считаем выполненньп.1.

(19)

n + 1,

Для вычисления интеграла (19), как и в примере 2, определим

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

"fп 1:1. [-R, R] U Сп, где R > Ro = max {1411 k Е 1,1}, а {zt}i=t -

совокупность всех различных нулей многочлена Qm(z), лежащих

вверхней полуплоскости Imz ~О, полуокружность Сп 1:1. {z llzl =

=R, Im z ~ 0}. Чтобы воспользоваться теоремой о вычетах, опре-

делим интеграл

82 Е. С. Половинкин. Курс лекций по ТФКП

По теореме 1 о вычетах, при каждом R > R0

JR = 27ri (tr~Rn,m)·

k=1 zk

С другой стороны, имеет место представление интеграла JR = Jh +

+ J~, где

Jh =~ ~+RRn,m(x)dx,

J~ =~1 Rn,m(z)dz.

{20)

-R

 

 

CR

 

Очевидно, что lim Jh = J. Осталось показать, что lim

J~ = О,

R~+oo

 

 

R~+oo

откуда последует формула:

 

 

 

+oo

 

· l

 

 

l-оо

Rn т(х) dx = 21Гi "res Rn m·

(21)

'

~

+ '

 

 

k=1

zk

 

Докажем необходимое утверждение.

 

 

Лемма 4. Пусть Ф(z) -

непреръtвная фунх;ция на замх;ну-

то.м. .множестве {z 1 Imz ~О, lzl ~ Ro > 0}. Пусть Ся 6.

{z ilzl =

= R, Imz ~ 0}, R > R0 , -семейство по.луох;ру:жностей в верхней nолуп.лоскости. Обозна-чим

t{R) 6. max{IФ(z)ll z Е Ся} nри R > R0 •

Если lim e(R)R =О, то

lim

fc Ф(z) dz =,0.

R~+oo

R~+oo

R

Д о к а з а т е л ь с т в о. Из условий леммы получаем оценки

r Ф(z)dz ~

r IФ{z)lldzl ~ t{R)

r

lсн

lcR

lcR

idzl = t(R)1ГR--+ о.

•

Применим лемму 4 для случая рациональной функции Ф(z) =

= Rn т(z) из правого интеграла в {20) при сформулированных выше

' +

условиях (т. е. при т> n 1).

При достаточно больших lzl > R0 очевидно справедлива оценка IФ(z)l ~ 2lzln-m, т. е. e(R)R ~ 2Rn-m+l ~О, откуда следует, что

выполнены условия леммы 4, по которой получаем равенство

lim J~ =О.

R~+oo

Таким образом, формула {21) обоснована полностью.

11. Вычисление интегралов вида

 

J = 121ГR(cos !р,sin IP) d!p,

{22)

где R(x, у) = Pn(x,y)); Pn, Qm -многочлены переменных х и у.

Qm(x,y

 

 

§ 13. Теория вычетов

 

 

83

 

Сделаем

замену

z = z(ер) = ei~P,

О ~ ер ~

21Г.

Тогда

cos ер =

= .!. (ei~P + e-i~P) = .!. (z + .!.) ; sin ер=

~

(z- !),dz = iei~P dcp, т. е.

2

2

 

z

 

2~

z

 

 

 

 

J = {21Г R (z(cp) + _1_

z{cp) _

1

)

. z'(cp)

dcp =

 

 

 

} 0

2 2z{cp)'

2i

2iz(cp)

iz(cp)

 

 

 

 

 

= {

R(!(z+!),~(z-!))~z= {

R1 (z)dz.

 

jlzl=l

2

z

2~

z

~z

}lzl=l

В итоге интеграл {22) свелся к интегралу по кругу lzl = 1 от ра­ циональной функции R1 ( z), который легко может быть вычислен с

помощью теоремы 1 о вычетах.

111. Вычисление интегралов вида

 

J = /_:ооeiax R(x) dx,

{23)

где R(x) = Pn~x)) -рациональная функция, причем т-n ~ 1, а­

Qm Х

действительное число, а> О и Qm(x) :f. О при всех х Е IR1 (т. е. ин-

теграл {23) есть преобразование Фурье рациональной функции R).

Для получения условий сходимости интеграла {23) представим

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

 

 

.

 

eiox

+О

(

1

)

при

lxl

> 1.

 

R(x)ezo:x =

 

 

xm-n+1

 

 

 

xm-n

 

 

 

 

 

Интеграл f

+оо

eiox

сходится

при т- n ~ 1

(по признаку

1

m-п dx

 

 

 

х

х .

 

 

eiox -

eio

 

 

 

 

 

 

 

 

 

 

 

 

Дирихле:

функция J1 ezo:t dt =

.

 

ограничена по модулю, а

функция

m -n

 

 

 

 

 

~а:

 

 

 

 

монотонно стремится к нулю при х ~ +оо). Инте-

 

1

 

 

 

 

 

 

 

 

 

 

 

х

 

 

 

 

 

 

 

 

 

 

грал f +oo О ( xm!nн)

dx сходится абсолютно, так как по условию

1

 

 

 

 

 

 

 

 

 

 

 

т- n + 1 ~ 2.

Сходимость интеграла {23) в -оо при т- n ~ 1 про­

веряется аналогично.

 

 

 

 

 

 

 

 

Рассмотрим, как и в пункте 1, положительно ориентирован-

ный контур 1R

д [- R, R] U СR.

 

При достаточно больших R > R0 =

= max{Jztl\ k Е l,l}

получаем

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

1eiaz R(z) dz = 27ri L r~(eiaz R(z)),

{24)

 

 

'YR

 

 

 

 

k=l zk

 

 

 

где через {zt} обозначены все различные нули многочлена Qm(z)

(знаменателя функции R(z)), лежащие в верхней полуплоскости.

84

Е. С. Половинкин. Курс лекций по ТФКП

 

С другой стороны, справедливо представление интеграла

 

1

eia:z R(z) dz = l+R ei<>x R(x) dx + r ei<>Z R(z) dz.

(25)

'"YR

-R

lcR

 

Первое слагаемое справа в (25), очевидно, стремится к искомому

значению J интеграла (23)

при R --t +оо. Необходимо исследовать

второе слагаемое в (25).

 

 

Лемма 5 ()l(ордан).

Пусть Ф(z) -

непрер'ывная фунх;-

ция на за.м:rонуто.м. .множестве {z 1 Im z ~ О,

lzl ~ R0 > О}. Пусть

'Числоа: > О иСR 6. { z lizi = R, Im z ~ О}, R > Ro, - семейство по­

.л,уох;ружностей в верхней полуплосх;ости. Обозна'Чи.м

t(R) 6. max {IФ(z)il z Е Сп}

при

R > Ro·

 

Если lim E(R) =О, то

lim fc

eiazф(z) dz =О.

 

R~+oo

R~+oo

R

 

 

 

Д о к аз а т е ль с т в о.

Пусть

z Е CR,

тогда

z = Rei'~' =

= Rcos<p+iRsin<p, О~ <р ~ 1Г. Поэтому при z Е CR

 

leio:z 1 = leia:(x+iy) 1 = е-ау = e-o:Rsin 'Р.

 

Воспользуемся для оценки перавенетвам

 

 

 

sin rp ~ ;. rp при

rp Е

[О, ~] .

(26)

Получаем

т. е. справедливо заключение леммы.

11

Возвращаясь к формуле (25), покажем с помощью леммы Жор­

дана, что второй интеграл в (25) стремится к нулю при R --t оо. При

достаточно больших R > R0 в силу условий сходимости т - n ~ 1 по-

2 2

лучаем €(R) ~ Rm-n ~ R --t О. В силу леммы 5 имеет место равен-

 

 

 

 

 

 

§ 13. Теория вычетов

 

 

 

 

85

 

ство lim

J

= J, а потому справедлива формула

 

 

R-++oo

iR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

+oo

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

eiax R(x) dx = 2ni ·

L r~ (eiaz R(z)).

(27)·

 

-оо

 

 

 

 

 

 

k=l zk

 

 

 

 

 

 

Пример З. Вычислим интеграл Лапласа вида

 

 

 

 

 

 

 

 

 

 

+oo .

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

= j_

etOX

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J ( а)

1+х2

dx,

 

а Е

IR .

 

 

 

 

 

 

 

 

 

 

00

 

 

 

 

 

 

 

 

 

 

 

 

Здесь R(z) =

 

1

2 ; ее особые точки z1

'

2

= ±i,

т. е. в верхней полу-

 

1+z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

плоскости лежит точка z{ = i

-, полюс 1-го порядка. При а> О по

формуле (27) получаем

eioz 2) = 27ri ( eiaz 1

 

 

 

 

 

J(a) = 2ni r~s (

 

. )

 

 

 

 

 

 

 

 

~

1 + z

 

 

 

 

 

2z

 

z=~

 

 

 

При а <О делаем в интеграле замену х = -t:

 

 

 

 

 

 

 

1

-оо

·

t

 

~+оо

·1

 

lt

 

 

 

 

J( а)

=

 

e-to

( -dt) =

 

 

 

 

et а

 

dt = пe-lo:l.

 

 

 

 

 

 

+оо

1 + t2

 

 

-оо

1 + t2

 

 

 

 

Окончательно, J(a) = пe-lal.

 

 

 

 

 

 

 

 

 

 

 

 

С другой стороны, так как

 

 

 

 

 

 

 

 

 

 

 

 

 

+оооо

 

eiax dx = ~+оо cosax dx + i

~+оо

sinax dx,

 

 

/_

1 + х2

 

-оо

1 -+- х2

 

 

 

 

 

-оо

1 + х2

 

 

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

нулю, то получаем формулу

r+оо _co_s_a_~ dx -:- ne -1 Q: 1.

}_оо 1 + х

Следствие 2.

Ин.тегралъt вида

 

 

 

 

 

J 1 =/_~ах·R(x) dx и

J2 =

r+oo

 

(28)

1_s:.,nax · R(x) dx,

 

где R(x) -рациональная фун.'К;ция,

сводятся 'К; интегралу вида (23),

т. е.

 

 

 

r+oo

 

r+oo

 

 

J 1 =Re _

eiaxR(x)dx,

J2 = Im _

eiaxR(x)dx.

 

1

00

 

 

1

00

 

 

86 Е. С. Половинкин. Курс лекций по ТФКП

§ 14. Приращение аргумента z вдоль контура

Пусть z = х + iy -:1 О. Напомним, что <.р Е Arg z, если выполнены

равенства

 

 

 

 

(1)

COS ер -

х

.

-

у

lzТ ,

Slll ер -

lzТ ,

 

где Arg z = { !р + 27Гk 1 k Е Z} -

многозначная функция, определен­

ная на С\ {0}. Нас будет интересовать вопрос выделения непрерыв­

ных ветвей многозначной функции Arg z.

Теорема 1. Пусть z: [0, 1] -+С

-

неnреръtвно дифференциру­

емая функция (т. е.

класса

С1 [0, 1]),

npиttteм

z(t) -:1

О

Vt Е [О, 1].

Пусть знаtttение ер0

Е Arg z(O)

фиксировано.

Тогда

существует

действительная функция ер(·)

Е С1

[0, 1],

удовлетворяющая уравне­

ния.м

 

 

 

 

 

 

 

 

_

x(t)

.

(

) _

y(t)

[

]

( )

cos ер(t ) -

lz (t) l,

Slll ер

t

-

lz (t) l,

t Е 0, 1

2

и условию ер(О) = ер0. Более того, эта функция единственна и за­

дается явной формулой

ep(t) = ер0 + 1t ху'- ух' dт.

о х2 +у2

Д о к аз а т е ль с т в о. Рассмотрим функцию,

чис.лим ее производную

(3)

ep(t) из (3) и вы-

ep'(t) = ху'- ух'.

(4)

х2 + у2

 

Определим функции и(t) ~ cosep(t), v(t) ~ sinep(t).

Тогда, вычи­

сляя их производные, получаем

 

 

 

 

 

и' = - sin ep(t) · cp'(t) = -vep',

 

 

 

 

 

{v'

= cos ер(t) · ер'(t)

= и'{)'.

 

 

 

Определим функции u(t)

~

x(t)

и v(t)

~ ly((t))l.

Тогда

 

 

 

 

 

 

 

lz(t)l

 

 

 

z t

 

 

-

1 _

d ( х ) _ d (

 

х

) _ х'

 

х(хх' + уу') _

и

-

dt

lzТ

-

dt

Jx2+y2

 

-lzl-

 

lzl3

-

 

_

х'у2 - хуу'

_

у

ху'- ух'

 

-ху'- ух'

 

 

 

 

lzlз

 

- -lzl .

х2 + у2

= -v х2 + у2

'

- 1 _

d ( у ) _

_ х

ху' - ух' _ - ху' - ух'

 

V -

dt

lzТ

- ... -

lzТ . х2

+

у2

-

и х2 + у2 .

(5)

(6)

В силу равенства (4) видим, что функции (u, V) удовлетворяют той же системе линейных дифференциальных уравнений (5), что и функции (и, v), причем при t =О имеем равенства и(О) = u(O), v(O) =

§ 14. Приращение аргумента z вдоль контура

87

= v(O). По теореме единственности решения системы линейных диф­

ференциальных уравнений (5) получаем и(t) =u(t), v(t) =v(t)

при

t Е [0, 1], т. е. справедливы равенства (2), и функция ep(t) из (3)

есть

искомая.

Допустим, что существует другая непрерывно дифференциру­

емая функция ер1(t), удовлетворяющая равенствам (2) и условию ер1(О) = r.p0 . Тогда, дифференцируя равенства (2), получаем, в силу

(5) и (6), что ер~ (т) = ху'2

-

ух2' , откуда, интегрируя эту производную

по отрезку [0, t]

х

+у

 

 

 

 

 

 

 

(при каждом t

Е [0, 1]), получаем в силу формулы

(3), ЧТО <р1 =ер.

 

 

 

 

 

 

 

 

 

11

Замечание 1.

Формулу (3) можно переписать в более компактном

виде

 

 

 

 

 

 

 

 

 

 

 

tp(t)

= tp

о

+ Im {t z'(т) dr.

(7)

 

 

 

 

 

 

Jo

z(т)

 

 

В самом деле,•преобразовав подынтегральную в (7) функцию

z'

(х' + iy')(x- iy)

-

х'х +у'у

. у'х- ух'

- -

х2 + у2

 

 

х2

+ у2

+ z

~____;;;;..__

z

 

 

 

 

х2 + у2 '

получаем из формулы (3) формулу (7).

Итак, теорема 1 обеспечивает существование непрерывно диффе­

ренцируемой ветви ep(t)

многозначной функции Arg z(t).

 

Определение 1.

Приращением аргумента

функ;v,ии

z (·) Е

Е С1 [0, 1]

на отрезке [0, 1] назовем число

 

 

 

 

~arg z(t)

6 tp(l)- tp(O)

= {1 x(t)y'(t)- y(t)x'(t) dt = Im {

1 z'(t)

dt. (8)

 

 

Jo

x2(t) + y2(t)

Jo

z(t)

 

Теорема 2 (логарифмическое свойство).

Пусть функция

 

 

 

~

(t)z2 (t),

где функ;v,ии z1 (·), z2 (·) Е

z: [0, 1] ~С имеет вид z(t) = z1

Е С1 [0, 1],

nри'Чем z1 (t)

=/;О,

z2 (t)

=/;О \:/t

Е [0, 1]. Тогда справедливо

равенство

(9)

Д о к аз а т е ль с т в о. Из определения 1 (формула (8)) полу­

~ arg z(t) = Im 1

(т)z

(т))

 

dт = Im11z!

 

 

+

 

 

 

 

dт =

 

 

чаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z

1

 

2

 

1

 

z

2

 

z2z

1

 

 

 

10 z1 (т) · z2(т)

0

 

z 1 z2

 

 

 

 

 

 

= Im {

1 (:i. + :i) dт = ~argz

1

(t) + ~argz

2

(t). 11

 

 

Jo

 

Zt

 

z2

 

 

 

 

 

 

 

 

88

Е. С. Половинкин. Курс лекций по ТФКП

 

 

Определение 2. Приращением аргумента z вдоль контура {,

заданного параметрически с помощью функции z(t), t Е [0, 1],

назо-

вем

 

 

д" arg z = д arg z(t).

(10)

 

Заме'Чание 2. Б определении 2 приращение аргумента z

вдоль

гладкого контура т не зависит от выбора параметризации z(t), с

помощью которой задан этот контур{, т. е.

справедлива формула

д"arg z = Im 1dz.

(11)

')' z

 

Это следует из формул (8) и (10), а таl\же из свойства независимо­

сти криволинейного интеграла от выбора параметризации гладкого

контура (см. свойство 5° §6).

Определение 3. Пусть в области G дано семейство контуров

{та}, а Е [а, Ь], параметрически задаваемое функцией z(t, а), t Е Е [0, 1], у которой существует производная z~(t, а), причем функции

z(t, а),

z~(t, а) непрерывны по совокупности аргументов на [0, 1] х

х [а, Ь].

Говорят,

что семейство {'Уа} задает непреръtвную деформа­

цию гладх;ого х;онтура та в гладх;ий х;онтур ть в области G.

Заме'Чание 3.

Б частном случае, когда z(O, а) =z0 , z(1, а) =

= z1 (т. е. семейство та имеет неподвижные начальную и конечную

точки), то получаем непрерывную деформацию контура та в кон­ тур ть снеподвижными началом и концом (см. рис. 1). Б этом слу­

чае также говорят, что кривые та и ть гомотопны в области G.

Q"

 

 

 

 

 

 

 

у

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ь

 

 

 

 

 

 

z(t, а)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ql

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

zo

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1 ....

 

 

 

 

 

 

 

о

 

1 't

 

 

 

о

х

Рис. 1

Теорема 3 (устойчивость при непрерывной деформации). Пусть семейство х;онтуров {'Уа} задает непреръtвную деформацию гладх;ого х;онтура та в гладх;ий х;онтур ть в силу определения 3.

При этом пусть z(t,a) #О при всех (t,a) Е [0,1] х [а,Ь]. Пусть

существует 'Число А Е <С, А # О, тах;ое, 'Что справедливо равен­

ство z(1, а) = Az(O, а) \/а Е [а, Ь]. Определим фунх;цию от параме-

д

тра I(a) =д" arg z (т. е. I(a) =д arg z(t, а)). Тогда I(a) = const,

Q

т. е., в 'Частности, д"а arg z = д"ь arg z.

§ 14. Приращение аргумента z вдоль контура

89

До к аз а т е ль с т в о. При каждом фиксированном значении

аЕ [а, Ь] обозначим через <p(t, а) непрерывную (по t) ветвь много­

значной функции t ~ Arg z(t, а), полученную в теореме 1 (см. фор­

мулу (3)). Так как

 

<р{1, а) Е Arg z(1, а),

 

<р(О, а) Е Arg z(O, а),

 

то

<p{l, а) -

<р(О,а)

Е Arg z~l,а~,

 

 

 

 

 

 

 

 

z О,а

 

и так как по условию z~l,а~

=А, т. е. не зависит от а, то

 

 

z О,а

 

 

 

 

 

V'lj; Е ArgA

3n(a) Е Z,

 

 

 

 

 

0

<р(1, а) - <р(О, а) == 'Фо + 21rn(a), Va Е [а, Ь].

 

 

(12)

По определению 1 из равенства (12) получаем

 

I(a) ==

~ arg z(t, а) == <р(1, а) -

 

<р(О, а) == 'Фо + 21rn(a),

(13)

т. е. I(a) есть ступенчатая функция.

 

 

В свою очередь, из формулы (8)

получаем равенство

 

 

l(a)

== Im

10

'

 

 

zt(t, а) dt.

 

 

 

 

z(t, а)

 

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

теграле непрерывна по (t, а) на [О, 1] х [а, Ь], откуда следует, что ин­

теграл непрерывно зависит от параметра а. В итоге непрерывная

ступенчатая функция (13) может быть только константой.

11

Следствие 1. В силу теоре.м'ы 3 .можпо определить ~ arg z(t)

(и ~7 arg z) ne тольх;о для гладх;их, по и для пепреръtв'Н'ЫХ фупх;ций (и х;оптуров).

Покажем это.

Пусть дана непрерывная функция z : [0, 1] --+ С

(т. е.

z(·) Е С[О, 1])

и пусть z(t) ;f О при всех t Е [О, 1].

Определим

число r 6. min {lz(t)ll t Е [0, 1]}. Очевидно, что r > О.

Выберем с: =

== r /2.

Пусть ze (·) -

любая функция класса С1 [О, 1], аппроксимиру­

ющая данную функцию z(·) с точностью до Е> О, т. е. lz(t)- ze(t)l <

<Е Vt Е [0, 1], причем ze(O) == z(O), ze(1) == z(1). Такую функцию

ze (·) будем называть гладх;ой Е-аппрох;си.мацией фупх;ции z (·). Легко

показать, что гладкая Е-аппроксимация ze(·) функции z(·) суще­

ствует. Так, например, по теореме Вейерштрасса существует мно­

гочлен Рп(·) такой, что lz(t)- Pn(t)l < Е/2, Vt Е [О, 1]. Тогда функ­

ция

90 Е. С. Половинкин. Курс лекций по ТФКП

будет искомой функцией. В самом деле, она гладкая, zg(O) = z(O),

zg(1) = z(1), и

lzg(t)- z(t)l ~ lz(t)- Pn(t)l + lz(1)- Pn(1)\t+

+lz(O)- Pn(O)I(1- t) < :_ + :_ t + :_ (1- t) =е.

2 2 2

Отметим, что zg(t) =/=О при всех t Е [0, 1]. В самом деле,

lzg(t)l = l(zg(t)- z(t)) + z(t)l ~ !z(t)l-lzg(t)- z(t)l > r- е=! r >О.

 

 

 

 

 

2

Определение

4. Приращением аргумента фун'l{;ции

z(·) Е

Е С[О, 1]

на отрез'l{;е [0, 1]

назовем

 

 

 

 

 

~

 

(14)

 

 

~ arg z(t) = ~ arg zg(t),

где zg(·)

Е С1 [0, 1]- любая гладкая €-аппроксимация функции z(·)

при достаточно малом значении е > О.

 

 

Следствие 2.

Въtра:жение (14) не зависит от въtбора глад'l{;ой

е-аппро'l{;симации zg (·) для непреръtвной фун'l{;ции z (·), т. е.

опреде­

ление 4 'I{;Орре'l{;тно.

 

 

 

Д о к а з а т е л ь с т в о. Пусть zg (·) -

другая гладкая €-аппро­

ксимация функции z(·) (см. рис. 2).

 

 

у

 

 

Определим функцию

 

 

 

 

~

 

 

 

 

z(t, а) ~ azg(t) + (1- a)zg(t),

 

 

 

а Е [0, 1], t Е [0, 1].

 

 

 

 

Очевидно, что эта функция задает непре­

 

 

 

рывную деформацию. При этом

 

о

 

х

lz(t,a)- z(t)l ~

 

 

 

 

 

 

 

Рис. 2

 

 

 

 

 

~ а1zg (t) - z (t) 1 + (1 - а)1zg ( t) - z (t) 1 < е,

 

 

 

где

 

 

е= !:. < r ~ lz(t)l,

 

 

 

 

 

поэтому

 

 

2

 

 

 

 

 

 

 

 

lz(t, a)l

~ lz(t)l - jz(t, а) - z(t)l

> r- е= !:. > О,

 

 

 

 

 

2

 

и z(t, а)

=/= О V(t, а), т. е.

непрерывная деформация удовлетворяет

условиям теоремы 3, из которой получаем требуемое равенство

~argzg(t) = ~argzg(t).

11

Приведем еще одно очевидное следствие определений 1 и 4.

Следствие 3. Для вся'l{;ого зам'l{;нутого непреръtвного 'I{;Онтура

1Е С\ {О} существует 'Число по Е Z та'l{;ое,

'Что

'У

 

~о argz = 27rno.

(15)

'У

'У