ТФКП Половинкин
.pdf
§ 27. Конформные отображения элементарными функциями |
173 |
||||||||
1 |
-- |
|
|||||||
f(z) = - отобразит область G8 на дополнение С\ G8 , т. е. в области |
|||||||||
z |
1 |
|
|||||||
G8 нет точек, |
т. е. |
||||||||
переходящих при отображении - в область G8 , |
|||||||||
|
|
|
|
|
|
|
z |
|
|
по критерию ее однолистности функция Жуковского на области G8 |
|||||||||
однолистна. |
|
|
|
|
|
|
|
|
|
у |
|
|
|
|
v |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х |
и |
Рис. 12
Найдем образ области G8 при отображении функцией Жуков
ского. Представим функцию (3) как суперпозицию трех отображе
ний: |
|
|
|
w = 1 +< |
|
(9) |
|
1- <' |
z 1 |
|
|
2 |
' t |
(10) |
|
( = t |
= -- . |
||
|
|
z+1 |
|
Дробио-линейное отображение t(z) (10), очевидно, переведет окруж
ность т в прямую, а функция ( == t 2 переведет эту прямую в луч,
идУщий из О в оо и не лежащий на действительной оси. Дробио
линейное отображение (9) переведет этот луч в дУГУ окружности с
концами в точках 1 и -1. Точку z = ib функция Жуковского пере-
ведет в точку
w == - |
'l |
+ - |
== za. |
1 |
( ·ь |
1 ) |
. |
2 |
|
ib |
|
Таким образом, функция Жуковского конформно отобразит область G8 в плоскость С с разрезом по дУге окружности с концами в точках +1, -1 и проходящей через точку ia. Если в области G8
взять любую окружность Г, касающуюся окружности т в точке -1,
то функция Жуковского отобразит ее в кривую Г*, называемую про филе.м Жу",.;овс",.;ого (см. рис. 12).
Замечание 3. Эти кривые Г* впервые использовались Н. Е. Жу ковским для построения профилей крыла самолета при расчете
подъемной силы крыла самолета.
4. Теорема Римана. Допустим теперь, что необходимо решить следующую обратную задачу. Даны две области G1 и G2 из С и тре-
|
§ 28. Принцип симметрии |
175 |
Замеtttание 4. |
Аналогично следствию 2 в силу теоремы Римана |
|
можно доказать, |
что q)ункция (17) из §26 задает общий вид кон |
|
формного отображения верхней полуплоскости на круг В1(0).
Также без доказательства приведем следующий результат.
Теорема 2 (Принцип соответствия границ). Пусть
данъt две ограни'Чеинъtе односвязиъtе области G и G1 , границъt ?Со
торъtх Г и Г1 явля1отс.я простъtми, ?Сусо'Чно-гладх;ими ?Сривъtми.
Пусть фунх;ция f : G ~ G1 х;онфор.мно отображает область G на
область G 1 . Тогда существует непреръtвное продолжение f фун?С |
|
ции l |
с области G на ее замъt?Саrtие G == G U Г, при'Чем эта фун?С |
ция f |
осуществляет взаимно одиозна'Чное отображение зам~нутой |
области G на зам1енутую область G 1 == G1 U Г1 , и границу Г ото бражает на границу Г1 с сохранением ориентации относительно
своей области.
У пр а ж н е н и е 1. Покажите, что для выполнения принципа
сохранения границ одной регулярности отображения не достаточно.
А именно: придумайте пример функции, регулярной (но не одно
листной) на пекоторой односвязной ограниченной области G со зна
чениями, образу1ощи:ми некоторую ограниченную область G1 , при чем границы этих областей являются кусачно-гладкими контурами,
но для которой не существует непрерывного продолжения на гра
ницу области G.
§ 28. Принцип симметрии
Рассмотрим один из специальных принципов аналитического
продолжения, относящийсяк конформным отображениям.
у |
v |
1
х |
о |
и |
|
|
Рис. 1
Теорема 1. Пусть области G и G* расположенъt в верхней по луплос'lf.ости ?Сомпле?Ссной плосх;ости С и имеют ?Сусо'Ч'Но-глад?Сие границъt Г и Г*. Пусть граница Г содержит ?Coнetttнoe tttucлo непе ресех;ающихс.я интервалов l1 , •.• , lk, лежащих на действительной
176 Е. С. Половинкин. Курс лекций по ТФКП
оси, а граница Г* содержит непересе~ающиес.я интервалъt li, ... , lk,
"!!:а~~е лежащие на действительной оси. Пустъ еще дан'Ьt области G и G*, си.м.метри'Чн'Ьtе относительно действительной оси с обла ст.я.ми G и G* соответственно (с.м. рис. 1).
Пусть дана непрерывная фун~ци.я f : G U (U:=l ls) --t С, ~отора.я
~онфор.мно отображает облас1пь G на область G*, а ~а;>IСд'Ьtй ин тервал l8 взаи.мно однозна'Чно отображает на интервал t; при всех
s Е 1, k. |
Тогда фун~ци.я f |
допус~ает аналити'Чес~ое продолжение на |
||||
область |
k |
- |
|
|
|
|
G U (Us=lls) U G, приче.м полу'Ченна.я аналити'ЧеС'Ка.я фун'К- |
||||||
|
|
|
|
|
k |
- |
ци.я ~онфор.мно отображает область |
G U (U;= 1 l 8 ) U G на область |
|||||
G* u (U:=l t;) u G*. |
|
|
|
|
|
|
Д о к аз а т е ль с т в о. Покажем, |
что искомое аналитическое |
|||||
продолжение имеет вид |
|
|
|
|
||
|
|
|
f(z), |
|
|
|
|
:F(z) = { f(z), |
z Е G. |
(1) |
|||
По условиям теоремы функция f |
регулярна на области G. Из фор |
|||||
мулы (1) |
и из условий теоремы следует, что функция :F однозначна |
|||||
|
|
|
|
|
|
- |
и непрерывна в области G и отображает эту область l!...a область G*. |
||||||
1. Докажем регулярность функции :F в области G, доказав су |
||||||
ществование непрерывной производной :F' (z). |
Зафиксируем произ- |
|||||
вольную точку z0 Е G. |
Тогда существует число r0 >О такое, что |
|||||
Br (z0 ) С G, следовательно, для |
каждого ~z, |
О< l~zl < r0 , спра- |
||||
о |
|
|
|
|
|
|
ведливо включение z0 + ~z Е G. В силу (1) получаем |
||||||
.:F(zo + ~z)- .:F(zo) |
= f(zo + ~z)- ~ = [!(zo + :EZ)- f(zo)]. |
|||||
|
~z |
|
~z |
|
~z |
|
Так как из определения области Gследует, что z0 Е G и z0 + ~z Е G,
то в силу регулярности функции f на области G существует предел
|
|
|
|
. |
f(z 0 |
+ ~z)- f(z 0 ) _ |
f'(-) |
|
|
|
|
|
|
11m |
|
- |
z0 . |
|
|
|
|
|
дz~О |
~z |
|
|
|
||
Отсюда следует существование производной F' (z0 ) и формулы |
|
||||||||
|
т'( |
z0 |
) _ . |
.:F(z0 +~z) -.:F(z0 ) _ |
f'(-) |
(2) |
|||
|
.г |
|
- |
11m |
~z |
- |
z0 . |
||
|
|
|
|
дz~О |
|
|
|
||
Непрерывность функции :F' на области G следует в силу формулы |
|||||||||
(2) из непрерывности функции f' на области G. |
|
||||||||
2. |
Докажем, |
что |
функция :F непрерывна на области |
G U |
|||||
k |
- |
Для этого осталось доказать, |
что :F непрерывна в |
||||||
U (Us=lls) U G. |
|||||||||
произвольной точке х0 |
Е u:=1 l 8 • В самом деле, ИЗ непрерывности j |
||||||||
178 |
Е. С. Половинкин. Курс лекций по ТФКП |
Воспользуемся симметрией множества Н. Обозначим через G
правую половину этого l\1Ножества (см. рис. 26). Чтобы не потерять
введенный при этом дополнительный участок границы - интервал
11 = (iO, +ioo), обозначим его на рисунке пунктиром. Задача свелась
к тому, чтобы найти функцию 1, которая непрерывна на замыкании области G по пунктиру на мнимой полуоси и конформно отображает область G в аналогичный угол первой четверти плоскости, но без
разреза по отрезку {z 1 z = t(1 + i), t Е (0, 1]} (см. рис. 5). При этом
образом пунктира должен быть он сам - интервал 11 . Тогда по
принципу симметрии соответствующее аналитическое продолжение
функции 1 отобразит область Н в верхнюю полуплоскость.
а |
б |
|
Рис. 2 |
1) В области G однолистна функция w1 = z4 (в области же Н
она не является однолистной). Эта функция конформно отображает
область G на область G1 =С\ [-4, +оо). При этом пунктир для
области G этой функцией отображается на новый пунктир для обла
сти G 1 |
-нижний край разреза по интервалу (0, +оо) (см. рис. За). |
|
|
|
G2 |
|
|
~Q ~\:~!'!'.'!'".'{:::::'~.::д:'.'!'!'.'!II:::-:;,:!Eh,_)tro.o.o:?::'~/i,(-4':i~:-~~\l:~Yi~':б~ |
|
а |
б |
|
Рис. 3 |
|
2) |
Берем функцию w2 = w 1 + 4. |
Она конформно отображает |
область G1 на область G2 =С\ [0, +оо), причем пунктир отобража ется на новый пунктир - интервал (4, +оо) на нижнем краю разреза (см. рис. 36).
1 i
3) Выберем степенную функцию w 3 = lw2 12"e2"argw2, где argw2 Е
Е (0, 21Г). Эта функция, являющаяся регулярной ветвью корня, кон
формно отображает область G2 на верхнюю полуплоскость G3 , при
чем на границе G3 пунктир будет проходить по интервалу (-оо, -2)
(см. рис. 4а). |
·~ |
|
|
|
4) |
Берем функцию |
w 4 = w 3 + 2, |
при этом верхняя |
полуплос |
кость |
G3 отобразится |
на верхнюю |
полуплоскость G4 , |
причем на |
180 |
Е. С. Половинкин. Курс лекций по ТФКП |
|
|
|
|
При этом проводим пунктир по добавленному участку границы, т. е.
по интервалу ( -~, +оо) (см. рис. 66).
х
|
|
а |
б |
|
|
Рис. 6 |
|
1) |
Берем на |
области G степенную |
функцию w 1 == lzl! е~ arg z, |
где arg z Е (0, 1r). |
Эта функция, являющаяся регулярной ветвью |
||
корня, |
конформно отображает область G на полуполосу G 1 = {z 1 |
||
1 Rez > O,lmz Е [0, JP/2]}. При этом образом пунктирабудет но
вый пунктир, который пойдет по действительной полуоси и отрезку
[0, i v'P/2]на мнимой оси. (см. рис. 7а).
|
х |
а |
б |
|
Рис. 7 |
2) Выберем линейную функцию w2 == 1rJ27Pw1 . Она конформно
отображает область G 1 на полуполосу G2 = {z 1 Rez >О, Imz Е
Е [0, 1r]} (см. рис. 76).
у
х
а |
б |
Рис. 8
