ТФКП Половинкин
.pdf
|
|
|
|
|
§ 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) |
'У |
'У |
