132 6. FUNKCJE REGULARNE
Ze wzoru na residuum funkcji w biegunie dwukrotnym dostajemy
(z2 + 2 (1 /a) z + l)2 (zi (a) + Z2 (a))
(z~z2(a)) Jz=Zi{Q)
i eszi
{z\ (a) — z2 (a))3 [2(1/a) P {a)]3 4[P(a)]3
Stąd, z (4) i (3) mamy
2tt
dt
'o (1 + acos t)~ ia To kończy rozwiązanie
5 = • 2lTi
2tt
4[P(a)]3 (a)]
3*
□
6.8. Twierdzenie o istnieniu gałęzi logarytmu
Zadanie 1. Niech G C C będzie zbiorem otwartym i niech\ f : G —> Cx będzie funkcją holomorficzną. Pokazać, że jeśli dla do ulotnie dużego n istnieje gałąź pierwiastka n-tego stopnia z funkcji f, to istnieje w G gałąź logarytmu tej funkcji.
Rozwiązanie. Pokażemy najpierw, że
(i) dla dowolnej krzywej regularnej zamkniętej T przebiegającej w
G ' !
dz = 0.
Przypuśćmy przeciwnie, że istnieje krzywa regularna zamknięta. T taka, że
/
ng
m
dz = A ^ 0.
W myśl założenia istnieją liczba naturalna n > \A\/'2ir i funkcja ciągła cpn : G —> Cx takie, że funkcja ipn jest gałęzią pierwiastka n-tego stopnia z funkcji /, tzn. że !
W myśl zadania 4.1.6 funkcja <pn jest łiolomorficzna. Stąd i z (2) marny
f(z) = n[v?n(z)]n Vń00 dla zeG
i w konsekwencji z (1) dostajemy (3) A = nJf
dz.
Z określenia liczby n i z (3) mamy \ fT[<p'n(z)/(pn(z)]dz\ < 2n. Stąd i z zadania 6.2.1 otrzymujemy
Pn(z)
dz ~ 0.
Z (3) i (4) dostajemy A = 0, co jest sprzeczne z (1).
Reasumując, zachodzi (i). Zatem, na mocy twierdzenia 1.20.3, funkcja f/f ma funkcję pierwotną w G i w konsekwencji, w myśl lematu 1.41.1, istnieje w G gałąź logarytmu funkcji /.
To kończy rozwiązanie. □