FUNKCJE ANALITYCZNE
Wykład 1, 26.02.2007
Liczbą zespoloną nazywamy parę liczb rzeczywistych, zbiór liczb zespolonych C to zatem dokładnie zbiór R1. Element z = (x,y) E C zapisujemy w postaci x + iy. Na zbiorze C wprowadzamy mnożenie (zgodnie z regułą i1 = —1):
(xi + iyi){x2 + tjfc) = X\X2 ~ 2/12/2 + *(^22/1 + xiy2).
Można łatwo pokazać | Ćwiczenie], że C z dodawaniem wektorowym w R1 oraz tak wprowadzonym mnożeniem jest ciałem. Jeżeli z = x + iy, to x nazywamy częścią rzeczywistą, natomiast y częścią urojoną liczby 2; ozn. x = Re 2, y = Im 2. Każdą liczbę zespoloną 2 możemy rówież zapisać przy pomocy współrzędnych biegunowych:
= x + iy € C oczekujemy, że e1 = exeiy, czyli wystarczy określić elt dla t € R. Chcemy by funkcja ta spełniała
^eił = ie*, e° = 1, dt
a więc (oznaczając elt = A + iB) A' = —B, B2 = A, .A(O) = 1, B(0) = 0. Jedynym rozwiązaniem tego układu są funkcje A = cos t, B = sin t. Funkcję wykładniczą definiujemy zatem następująco:
e1 := ex(cosy + żsiny), z = x + iy (= C.
Można łatwo pokazać | Ćwiczenie] jej następujące własności
ez+w — ezew, z,w eC,
4-etz = zeu, te R, zeC. dt
Z faktu, że |e1| = ex oraz dzięki temu, że y jest argumentem liczby e1 wynika, że funkcja wykładnicza proste pionowe x = xq odwzorowuje na okręgi o promieniu ex°, natomiast proste poziome y = yo na półproste otwarte o początku w 0 o argumencie Vo-
z = r(cosip + isin<£>),
gdzie r — \z\ — y/x1 + y1, zaś ip jest kątem pomiędzy odcinkami [0,1] i [0, z] (gdy z j^0) - nazywamy go argumentem liczby 2. Zachodzi oczywiście nierówność trójkąta
\z + w\ < \z\ + |to|, z,w&C, można również łatwo pokazać | ćwiczenie |, że
\zw\ — \z\ |iw|, 2, w ę. C.
Chcemy teraz zdefiniować zespoloną funkcję wykładniczą exp : C —> C. Dla