книги / Функции комплексного переменного и их приложения. Ч. 1
.pdfДифференцируя |
это равенство |
по х |
и учитывая, |
что |
||
dv |
dv |
= 2у +<p(jc) = 2у , что приводит к условию |
||||
— = 2у , |
получаем — |
|||||
dx |
дх |
|
|
|
|
|
ф(х) = 0 , откуда ф(х) =С =const. |
|
|
|
|
||
Таким образом, и(х,у) =2ху + 2у + С. Используя равенство |
||||||
|
|
|
X — Z |
|
|
(*) |
|
f(z ) = (u(x,y) + iv(x,y) |
|
|
|||
|
|
|
У = 0 ’ |
|
|
|
окончательно находим |
|
|
|
|
|
|
f(z ) = и(х, у )+iv(x, y f |
2 = (х2 - у- + 2х + i{2xy + 2у +C )j* |
Z = |
||||
|
\у =0 |
|
|
\у = О |
||
|
|
= z‘^+2 z + а . |
|
|
|
|
Пример 2.29. Проверить, является ли |
функция |
v(x,y) = |
||||
= -2 sin 2 x sh 2 y + y мнимой частью |
аналитической |
функции, |
и если является, то найти аналитическую функцию f ( z ) , для которой /(0 ) = 2.
Находим |
|
dv |
d^v |
— = -4cos2xsh2y, |
—^-= 8sin2xsh2>\ |
dx |
dx~ |
dv |
d v |
— = -4sm 2xch2y + l, |
— j- = -8sin2xsh2v. |
dy |
dy |
Отсюда следует, что v(x, у) является гармонической фз'нюшей
в R2 и потому является мнимой частью некоторой аналитиче ской в С функции. Используя условия (2.118) Коши - Римана, запишем
— = — = -4 sin 2х ch2у +1, dx dy
— = - — = -4sin 2.t sh2 v dy dx
для гармонической функции u(x,y), сопряжённой с заданной
функцией v(x,y). Тогда
ды
и(х, у) = J— dbc + ф(у) = - J(4sin 2х ch2у - l)dx + ф(у) =
дх
=2 cos 2* ch2у + х +ср(у).
Дифференцирование этого равенства по .у с учётом выражения
ди
для — дает ф'(у) = 0 ? т.е. ср(у) = С = const Итак, и{х,у)~ ду
= 2cos2xch2у + х +С и согласно (*)
|
x = z |
/ (z) = (2cos2jcch 2у + х + С + i(y - 2sin 2xsh 2у)) |
|
|
У- о |
|
= 2 cos 2z + z + C. |
Для |
нахождения постоянной С используем условие |
/(0 ) = 2. |
Откуда С = 0. Окончательно искомая аналитическая |
функция в С имеет вид
/(z ) = 2cos2z + z.
В заключение этого пункта дадим основные сведения об ана литическом продолжении отображения, представленные в рабо тах [3,4].
Определение. Пусть выполнены следующие условия:
1)функция / (z) определена на множестве Е с С ;
2)функция Ф(г) аналитическая в области D с С ;
3)O(z) = /(z ) при z e E .
Тогда функцию Ф(г) называют аналитическим продолже
нием функции / ( z ) ( с множества Е в область D). Важнейшим
свойством аналитического продолжения функции является его единственность при простом дополнительном условии.
Теорема. Если множество Е имеет предельную точку а, принадлежащую области D, то аналитическое продолжение Ф(г) функции /(z ) с множества Е в область D единственно.
Допустим, что функция f(z) определена на Е, имеет два аналитических продолжения Ф,(г) и 0 2(z) в области D. Так как в силу определения 0,(z) = Ф2(г), z e Е и по условию теоремы точка а е D является предельной для множества Е, то согласно теореме о единственности аналитической функции 0 ,(z )s = Ф2(г) в области D.
Замечание. Если Е является кривой, лежащей в области D, или подобластью области D, то существует не более одного ана литического продолжения функции с Е в область D.
Более подробные свойства аналитического продолжения можно найти, например, в работах [1,4].
2.19.Геометрический смысл аргумента
имодуля производной
Предположим, что © = f(z) аналитическая в точке z0
функция и f'(z 0)^ 0. Для установления геометрического смыс ла аргумента производной рассмотрим на плоскости (Z) кривую у , заданную уравнением z(t) = x{t) + iy(t) , t e T = [a, b], которая
проходит через точку z0. Это означает, что z(t0) = z0 для неко торого значения f „6T Будем считать, что функция аналитична во всех точках кривой у
Предположим, что z'(tQ = x'(t0) + iy'(t0) Ф0. Следовательно,
x'(t0) и У(г0) одновременно не равны нулю, а потому в точке z0
можно |
к кривой у провести касательную |
и вектор |
T(x'{tQ\ |
y'(t0)Y , направленный по касательной. На плоскости |
|
(О.) образом кривой у при отображении ш = f(z(t)) |
будет кри |
|
вая Г , |
причём кривая будет проходить через точку <в0 = / ( z0) |
(рис. 2.26).
По правилу дифференцирования сложной функции |
|
= |
(2-135) |
В силу сделанных предположений со'(/0) 0, а это означает, что
к кривой Г в точке оо0 можно провести касательную. Поскольку аргумент произведения комплексных чисел равен сумме аргу ментов сомножителей, то согласно (2.135)
Arg ©'(Го) = arg /'( z 0) + Arg z'(t0) . |
(2.136) |
Обозначим arg f'(z Q = a , тогда вместо (2.136) запишем |
|
Arg CD'(f0) = a + Arg z'(t0) . |
(2.137) |
Отсюда делаем вывод для производной: её аргумент равен углу a , на который нужно повернуть касательную в точке z0 к кри вой, проходящей через эту точку, чтобы получить направление
касательной в соответствующей точке |
со0 к образу этой кривой |
||
при отображении со = f(z ) (см. рис. 2.26). Если |
а > 0 , |
то пово |
|
рот происходит против хода часовой |
стрелки, |
а при |
a < 0 - |
в противоположном направлении. |
z0 проходят две кривые |
||
Пусть в плоскости (Z) через точку |
у, и у2, имеющие касательные в этой точке, причём угол между этими касательными равен ц> Тогда при отображении <о = /(z)
эти кривые переходят соответственно в кривые у, и у2 в плос кости (со), имеющие касательные в точке со0 = f ( z Q . Так как
при этом отображении касательную к каждой из кривых у, и у.
следует повернуть на один и тот же угол а у чтобы получить на правление касательной к у, и у2, то угол между касательными в точке со0 к кривым у, и у2 также будет равен ц/ (рис. 2.27).
Угол между касательными к кривым в точке пересечения кривых называют углом между кривыми. Таким образом, угол между кривыми у, и у2 в точке z0 их пересечения такой же, как и между их образами при отображении сD = / ( Z) - кривыми у, и у2 в точке со0 пересечения этих кривых. Дадим теперь оп
ределение.
Определение. Отображение со = /(z ) называют конформ
ным в точке z0, если оно сохраняет углы между кривыми.
Таким образом, в соответствии с данным определением отображение, осуществляемое аналитической функцией, являет ся конформным во всех точках, в которых производная этой функции отлична от нуля. Например, линейное отображение сo=az +b , ( а * 0 ) является конформным во всех точках ком плексной плоскости, поскольку со'(z) = а * 0, z е С .
Функция / (z) = z2 имеет производную /'(z) = 2z , которая обращается в нуль в точке z0 = 0. Докажем, что отображение
со = z 2 |
не является конформным в этой точке. |
|
Рассмотрим два луча |
argz = a и arg z = Р , выходящие из |
|
точки |
z0 (рис. 2.28). Угол |
(Р~а) между этими лучами в плос- |
кости (z) при отображении со = z2 составляет |
2(Р - а ) , так как |
эти лучи переходят в плоскости (со) в |
лучи argz = 2a |
и arg z = 2Р. |
|
Выясним теперь геометрический смысл модуля произ водной, используя возможность перестановки знака предела и непрерывной функции, описанную в работе [13], и запишем
|
.. |
Дсо |
Асо |
lim |
(2.138) |
|
и т — |
= lim |
|||
|
Дг-»0 |
Д2 |
Az—►О Az |
Az—>0 |
N |
|
|
|
|
|
|
_ |
|Асо| |
|
|
|
|
Поскольку — р является отношением расстоянии между точка-
м
ми со0 = / ( z 0) |
и со0 + Дсо = /( z 0+Az) в плоскости (со) и точками |
z0 и z0 + Az |
в плоскости (Z) соответственно, то это соотноше |
ние показывает, во сколько раз при отображении со = /(z ) из
меняется расстояние между двумя точками плоскости (Z) в ок рестности точки z0. Поэтому модуль |/'(z0]| производной назы вают коэффициентом растяжения в точке z0 при отображении со = / ( z ) .
Если |/'(z0]j> l, то в достаточно малой окрестности точки z0 при отображении со = /(z ) осуществляется растяжение в ок-
рестности точки z0. Если |/'(z0)| < 1, то это отображение приво дит к сжатию в окрестности точки z0.
Пример 2.30. Найти угол поворота луча, выходящего из точки z0 = 1, и коэффициент растяжения в этой точке при ото
бражении co = z3
Имеем /( z ) = z3, f'(z ) - 3 z 2, т.е. f'(z0) - /(l)=3. Посколь ку arg /'( z 0) = 0 , то любой луч, выходящий из точки z0 = 1, при
отображении |
|
co = z3 сохраняет своё направление в плоскости |
|||||
(Q) . Коэффициент растяжения в точке |
z0 = 1 |
при этом отобра |
|||||
жении равен 3. |
|
|
|
|
|||
Замечание. Отображение ©= /(z ) |
комплексной плоскости |
||||||
эквивалентно отображению |
|
|
|
|
|||
|
|
|
и = и(х,у), v = v(x,y), |
(2.139) |
|||
где © = и + /V, a /(z ) = и(х,у) + iv(x,y). |
|
|
|||||
Составим |
якобиан этого отображения, представленный |
||||||
в работе |
[2] в виде |
|
|
|
|
||
|
|
|
ди ди |
|
|
|
|
|
|
|
дх ду |
ди |
dv |
ди |
dv |
|
|
|
j(x,y) = |
дх |
ду |
ду |
дх |
|
|
|
dv dv |
||||
|
|
|
дх ду |
|
|
|
|
Используя условия (2.118) Коши |
Римана, получим J(x,y) = |
||||||
'd u f - |
Г |
|
Учтём, что f |
*/ \ |
ди |
dv |
|
дх |
|
\z) =— + i— , тогда |
|||||
+ Ы |
ч |
|
|
дх |
ду |
|
|
Ч‘ |
|
|
|
|
|
|
4^>,)=|/'(г)|2 (2Л4°)
Таким образом, принимая во внимание геометрический смысл якобиана [2], делаем вывод, что величина |/'(z)|‘ пред ставляет собой коэффициент изменения площади при отображе
нии |
(0 = f ( z ) . |
Исходя |
из |
геометрического |
смысла |
величин |
|||||
|/'Ы | |
и |/'Ы | , можно получить формулы вычисления площади |
||||||||||
образа |
области |
и длины |
образа |
кривой |
при |
отображении |
|||||
o) |
= /(z ) . Согласно работе [2], площадь S*области D* выража |
||||||||||
ется двойным интегралом |
J|d и d v Сделаем замену переменных |
||||||||||
|
|
|
|
|
|
D* |
|
|
|
|
|
в двойном интеграле, получим |
|
|
|
|
|||||||
|
|
S* = |
l\dudv= \§l(x,y\dxdy= \^f'(z)^ d x d y |
(2.141) |
|||||||
|
|
|
|
D |
|
о |
|
о |
|
|
|
Пусть теперь |
у |
- кривая в области D, а у* - |
её образ при ото |
||||||||
бражении |
со = /(z ). Дифференциал |
dl длины дуги в плоскости |
|||||||||
(Z) равен |
d / = -у/(d х)2 +(d>')2 = |d z|, |
d z = d x +id у , а дифферен |
|||||||||
циал |
d /* |
|
длины |
дуги в |
плоскости |
(со) |
равен |
d /' = д/(бы)2 +(dv)2 = |d ш | = |/'(z)d z| = |/'(z)| • |d z\, тогда, оконча
тельно |
|
/’ = fld <»|= J|/'(zJ-|dz|. |
(2.142) |
* |
|
2.20. Основные понятия и свойства интеграла функции комплексного переменного
Пусть на плоскости (Z) да на кусочно-гладкая кривая АВ (А и В - начальные и конечные точки кривой соответственно). Предположим, что в каждой точке этой кривой определена функция / (z ) . Разобьём кри
вую АВ |
на дуги у „ у 2,...Лл |
точками |
z,, z2, ..., z„, причем |
считаем, что точка А совпадает
c z0, а точка В - с z„ (рис. 2.29). Обозначим через 1к, к = \,....
п, длину дуги ук ( zk_1 и zk - начальная и конечные точки этой
дуги |
соответственно) |
и пусть / - максимальная |
из длин 1к, |
к = |
1, ..., п. |
|
|
|
Выбирая на каждой дуге ук точку zk, составим интеграль |
||
ную сумму |
|
|
|
|
t m |
\ z k -**-,) = £ /(? ;.) Ьгк, |
(2.143) |
|
*=l |
i=1 |
|
где Azk =zk - zk_] - приращение аргумента. Если при / -> О су
ществует конечный предел интегральной суммы (2.143) (не зависящий ни от способа разбиения кривой АВ на дуги ук, ни от выбора промежуточных точек tSk е ук), то этот предел
называют интегралом от Фу н кц и и f{z) |
комплексного перемен |
ного по кривой АВ и обозначают |
j/(z)d z . Итак, можно |
J/(z)dz = li m t/ ( ? i )Az,. |
(2.144) |
|
А В |
/ -+0*-1 |
|
Сформулируем достаточные условия существования предела (2.144).
Теорема. Интеграл от функции /(z ) по кривой АВ сущест вует, если кривая АВ кусочно-гладкая, а функция /(z) непре
рывна на этой кривой.
Доказательство этой теоремы можно найти, например, в работе [2].
Учитывая (2.144) и свойства предела функции комплексно го переменного, можно получить
J/(z)d z= |
J u(x,y)dx-v(x,y)dy + i }v(jr,y)dx + u(x,y)d>'. (2.145) |
|
А В |
А В |
А В |
Замечание. Существование интеграла от функции ком плексного переменного по кривой АВ равносильно существова-
нию двух криволинейных интегралов от действительных пере менных.
Из (2.145) следует, что для перехода к этим криволинейным интегралам нужно с помощью равенств f(z ) =u(x,y) + iv(x,y)
и dz = dx + idy преобразовать подынтегральное выражение, вы делив действительную и мнимую части. Если кривая АВ задана параметрическими уравнениями
t е[а,р],
то для вычисления криволинейного интеграла надо подставить в подынтегральную функцию вместо х и у их выражения через t. Вместо <±с и dу - дифференциалы функции x(t) и y{t), выра женные через t и d/ В результате криволинейные интегралы в (2.145) переходят в обычные определенные интегралы по от резку [а,р]
J Л 2) & |
= Км(*(0> у(')М ')- v(*(0> |
+ |
А В |
а |
|
+ i J(v(jc(r), y(t))x'{t)+u{x(t), Я 0)У (0) d<-
Равенство (2.146) можно записать следующим образом:
J f{z)dz=l{u{x{t),y{t))+iv{x{t\y{t))){x'{t)+iy'(t))dt =
А В |
а |
= J /(* (0 M ')d* •
При вычислении интеграла (2.145) можно поступить про ще, а именно составить уравнение кривой АВ в комплексной форме z = z(t)= x(t)+iy(t\ ге[а,р], вычислить dz - z'(t)dt
и воспользоваться равенством
\f{z)d z = ]f{z(i))z'{t)dt. |
(2.147) |
АН |
a |