zvonko glumac - matematičke metode fizike (2007)

Upload: milos-vucic

Post on 07-Mar-2016

293 views

Category:

Documents


4 download

DESCRIPTION

Matematicke metode fizike

TRANSCRIPT

  • MATEMATICKE METODE FIZIKEUVOD

    Zvonko Glumac

    Osijek, 2007

  • vMathematics is part of physics.

    Vladimir Igorevich Arnold

  • vi

  • Sadrzaj

    1 Poopceni koordinatni sustav 11.1 Definicija poopcenog koordinatnog sustava . . . . . . . . . . . . . . . . . . 11.2 Operator gradijenta u poopcenom koordinatnom sustavu . . . . . . . . . . 61.3 Operator divergencije u poopcenom koordinatnom sustavu . . . . . . . . . 81.4 Operator rotacije u poopcenom koordinatnom sustavu . . . . . . . . . . . 101.5 Laplasijan skalarnog polja u poopcenom koordinatnom sustavu . . . . . . . 121.6 Laplasijan vektorskog polja u poopcenom koordinatnom sustavu . . . . . . 131.7 Elipticki koordinatni sustav . . . . . . . . . . . . . . . . . . . . . . . . . . 15

    2 Funkcije kompleksne varijable 1 172.1 Kompleksna algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172.2 Derivacija kompleksne funkcije:

    Cauchy - Riemannovi uvjeti . . . . . . . . . . . . . . . . . . . . . . . . . . 232.3 Integral kompleksne funkcije: Cauchyjev integralni teorem . . . . . . . . . 282.4 Cauchyjeva integralna formula . . . . . . . . . . . . . . . . . . . . . . . . . 40

    2.4.1 Primjena u teoriji potencijala . . . . . . . . . . . . . . . . . . . . . 422.4.2 Cauchyev integral i derivacija funkcije . . . . . . . . . . . . . . . . 43

    2.5 Laurentov razvoj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442.6 Polovi funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472.7 Laurentov razvoj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512.8 Preslikavanja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

    2.8.1 Konformno preslikavanje . . . . . . . . . . . . . . . . . . . . . . . . 64

    3 Funkcije kompleksne varijable 2 673.1 Singulariteti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673.2 Racun reziduuma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

    3.2.1 Teorem o reziduumima . . . . . . . . . . . . . . . . . . . . . . . . . 713.2.2 Cauchyjeva glavna vrijednost . . . . . . . . . . . . . . . . . . . . . 743.2.3 Pole expansion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 763.2.4 Product expansion . . . . . . . . . . . . . . . . . . . . . . . . . . 763.2.5 Izracunavanje nekih tipova odredenih integrala . . . . . . . . . . . . 76

    3.3 Disperzijske relacije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853.4 Metoda najvece strmine . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

    4 Diferencijalne jednadzbe 934.1 Parcijalne diferencijalne jednadzbe, karakteristike i rubni uvjeti . . . . . . 934.2 Diferencijalne jednadzbe prvog reda . . . . . . . . . . . . . . . . . . . . . . 974.3 Razdvajanje varijabli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100

    vii

  • viii SADRZAJ

    4.4 Singularne tocke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1054.5 Frobeniusov metod - razvoj u red . . . . . . . . . . . . . . . . . . . . . . . 107

    4.5.1 Granice primjenjivosti razvoja u red - Besselova jednadzba . . . . . 1124.6 Drugo rjesenje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1184.7 Nehomogene jednadzbe - Greenove funkcije . . . . . . . . . . . . . . . . . . 1264.8 Numericka rjesenja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138

    5 Ortogonalne funkcije 1415.1 Samoadjungirane diferencijalne jednadzbe . . . . . . . . . . . . . . . . . . 1415.2 Hermitski operatori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485.3 Gram-Schmidtov postupak ortogonalizacije . . . . . . . . . . . . . . . . . . 1535.4 Potpunost skupa svojstvenih funkcija . . . . . . . . . . . . . . . . . . . . . 1585.5 Razvoj Greenove funkcije po svojstvenim funkcijama . . . . . . . . . . . . 164

    6 Specijalne funkcije 1776.1 Diracova delta funkcija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1776.2 Gama funkcija (faktorijeli) . . . . . . . . . . . . . . . . . . . . . . . . . . . 184

    6.2.1 Definicija i osnovna svojstva . . . . . . . . . . . . . . . . . . . . . . 1846.2.2 Digama i poligama funkcije . . . . . . . . . . . . . . . . . . . . . . 1926.2.3 Stirlingovi redovi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1926.2.4 Beta funkcija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1926.2.5 Nepotpune gama funkcije i s njima povezane funkcije . . . . . . . . 193

    6.3 Besselove funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1956.3.1 Besselove funkcije prve vrste J(x) . . . . . . . . . . . . . . . . . . 1956.3.2 Ortogonalnost . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2036.3.3 Neumannove funkcije, Besselove funkcije druge vrste N(x) . . . . . 2066.3.4 Hankelove funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . . 2066.3.5 Modificirane Besselove funkcije I(x) i K(x) . . . . . . . . . . . . . 2066.3.6 Asimptotski razvoji . . . . . . . . . . . . . . . . . . . . . . . . . . . 2066.3.7 Sferne Besselove funkcije . . . . . . . . . . . . . . . . . . . . . . . . 206

    6.4 Legendreovi polinomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2076.4.1 Funkcija izvodnica (generatrisa) . . . . . . . . . . . . . . . . . . . . 2076.4.2 Rekurzije i posebna svojstva . . . . . . . . . . . . . . . . . . . . . . 2156.4.3 Ortogonalnost . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2196.4.4 Alternativna definicija Legendreovih polinoma . . . . . . . . . . . . 2286.4.5 Pridruzeni Legendreovi polinomi . . . . . . . . . . . . . . . . . . . . 2296.4.6 Kugline funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2336.4.7 Operatori momenta kolicine gibanja . . . . . . . . . . . . . . . . . . 2366.4.8 Adicijski teorem za kugline funkcije . . . . . . . . . . . . . . . . . . 2376.4.9 Integrali umnoska tri kugline funkcije . . . . . . . . . . . . . . . . . 2376.4.10 Legendreove funkcije druge vrste Qn(x) . . . . . . . . . . . . . . . . 2376.4.11 Vektorske kugline funkcije . . . . . . . . . . . . . . . . . . . . . . . 237

    6.5 Hermiteovi polinomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2376.6 Laguerreovi polinomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249

    6.6.1 Pridruzeni Laguerreovi polinomi . . . . . . . . . . . . . . . . . . . . 2566.7 Cebisevljevi polinomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2696.8 Hipergeometrijska funkcija . . . . . . . . . . . . . . . . . . . . . . . . . . . 2696.9 Konfluentna hipergeometrijska funkcija . . . . . . . . . . . . . . . . . . . . 269

  • SADRZAJ ix

    6.10 Specijalne funkcije - sazetak . . . . . . . . . . . . . . . . . . . . . . . . . . 269

    7 Fourierovi redovi 2717.1 Opca svojstva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2717.2 Prednosti koristenja Fourierovih redova . . . . . . . . . . . . . . . . . . . . 2777.3 Primjene Fourierovih redova . . . . . . . . . . . . . . . . . . . . . . . . . . 2807.4 Svojstva Fourierovih redova . . . . . . . . . . . . . . . . . . . . . . . . . . 2897.5 Gibbsova pojava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2907.6 Diskretne Fourierove preobrazbe . . . . . . . . . . . . . . . . . . . . . . . . 291

    8 Integralne preobrazbe 2958.1 Integralne preobrazbe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2958.2 Razvoj Fourierovog integrala . . . . . . . . . . . . . . . . . . . . . . . . . . 2978.3 Fourierova preobrazba - teorem inverzije . . . . . . . . . . . . . . . . . . . 3008.4 Fourierova preobrazba derivacije . . . . . . . . . . . . . . . . . . . . . . . . 3048.5 Teorem konvolucije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3068.6 p reprezentacija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3088.7 Funkcija transfera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3138.8 Elementarna Laplaceova preobrazba . . . . . . . . . . . . . . . . . . . . . . 3168.9 Laplaceova preobrazba derivacije . . . . . . . . . . . . . . . . . . . . . . . 3238.10 Ostala svojstva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3278.11 Konvolucijski ili faltung teorem . . . . . . . . . . . . . . . . . . . . . . . . 3358.12 Inverzna Laplaceova preobrazba . . . . . . . . . . . . . . . . . . . . . . . . 339

    9 Integralne jednadzbe 3479.1 Teorem konvolucije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347

    10 Varijacijski racun 34910.1 Jedna ovisna i jedna neovisna varijabla . . . . . . . . . . . . . . . . . . . . 34910.2 Primjene Eulerove jednadzbe . . . . . . . . . . . . . . . . . . . . . . . . . . 35310.3 Jedna neovisna i nekoliko ovisnih varijabla . . . . . . . . . . . . . . . . . . 35510.4 Jedna ovisna i nekoliko neovisnih varijabla . . . . . . . . . . . . . . . . . . 35910.5 Vise od jedne ovisne i vise od jedne neovisne varijable . . . . . . . . . . . . 36110.6 Lagrangeovi mnozitelji . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36210.7 Varijacije uz uvjete . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36410.8 Rayleigh-Ritzova varijacijska tehnika . . . . . . . . . . . . . . . . . . . . . 369

  • x SADRZAJ

  • Ovo su biljeske s autorovih predavanja iz kolegija Matematicke metode fizike, sa petogsemestra profesorskog smjera studija fizike sveucilista u Osijeku. Biljeske nisu strucnorecenzirane i daju se na uvid studentima kao orjentacija za pripremanje ispita.

    xi

  • xii SADRZAJ

  • Predgovor

    Cilj ove knjige je olaksati pratenje predavanja i polaganje ispita iz kolegijaMatematickemetode fizike, studentima fizike sveucilista u Osijeku.Za njezino pratenje je dovoljno elementarno poznavanje vektorskog i integro-diferencijanogracuna, kao i osnovnih pojmova opte fizike.Iz svojeg visegodisnjeg rada sa studentima, autor je dosao do nedvojbenog zakljuckada opsirnost knjige nikako ne moze biti njezin nedostatak. Stoga su i mnoga objasnjenja,racuni i izvodi dani dosta detaljno, uz izostanak samo najelementarnijih algebarskih ma-nipulacija.Vise detalja o pojedinim temama obradenim u ovoj knjizi, zainetersirani citatelj mozenati u nekoj od knjiga navedenih u popisu literature.

    u Osijeku, prosinca 2005.Autor

    xiii

  • Poglavlje 1

    Poopceni koordinatni sustav

    1.1 Definicija poopcenog koordinatnog sustava

    Polozaj tocke u trodimnezijskom prostoru je jednoznacno odreden zadavanjem tri broja(koordinate) koji, uz dodatna pravila za njihovo odredivanje, jednoznacno opisuju polozajtocke u prostoru. Te tri koordinate zajedno s pravilima za njihovo odredivanje, nazivamokoordinatnim sustavima. Do sada smo se upoznali s tri1 koordinatna sustava: pravo-kutnim, sfernim i cilindricnim, a u ovom odjeljku cemo problemu koordinatnog sustavaprici nesto opcenitije. Opcenito cemo koordinate oznaciti s q1, q2 i q3. Njihova veza spravokutnim koordinatama je oblika

    x = x(q1, q2, q3), y = y(q1, q2, q3), z = z(q1, q2, q3), (1.1)

    q1 = q1(x, y, z), q2 = q2(x, y, z), q3 = q3(x, y, z).

    Za sferni koordinatni sustav, to su relacije

    x = r sin cos, r =x2 + y2 + z2,

    y = r sin sin, = arccosz

    x2 + y2 + z2, (1.2)

    z = r cos , = arctany

    x,

    a za cilindricni koordinatni sustav, to su relacije

    x = cos, =x2 + y2,

    y = sin, = arctany

    x, (1.3)

    z = z.

    Koordinatnom linijom nazivamo skup tocaka u prostoru za koje su dvije koordinatnekonstantne, a treca se mijenja. Jedinicnim vektorima qj nazivamo vektore jedninicnogiznosa koji leze na tangenti koordinatne linije (u danoj tocki) i imaju smjer porasta j-tekoordinate. Ako zelimo da vektori qj budu bazni vektori, pokazat cemo da se preobrazbe(1.1) ne mogu odabrati proizvoljno, vec moraju zadovoljavati odredene uvjete.Koordinatnom polohom cemo nazivati skup tocaka u prostoru, za koje su dvije koor-dinate promjenjive, a treca je konstantna.Povezimo bazne vektore pravokutnog i poopcenog koordinatnog sustava. Polazeci od

    1Vidjeti npr. u [?].

    1

  • 2 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    radij-vektora u pravokutnoj bazi ~r = xx + yy + zz , izracunajmo (d~r)2

    d~r = dx x + dy y + dz z (d~r)2 = dx2 + dy2 + dz2.No, pravokutne koordinate su, preko (1.1), dane kao funkcije poopcenih, pa je zato

    dx = x

    q1dq1 +

    x

    q2dq2 +

    x

    q3dq3,

    dy = y

    q1dq1 +

    y

    q2dq2 +

    y

    q3dq3,

    dz = z

    q1dq1 +

    z

    q2dq2 +

    z

    q3dq3.

    Uvrstavanje gornjih parcijalnih derivacija u izraz za (d~r)2, daje kvadrat diferencijalnepromjene radij-vektora izrazen preko promjene poopcenih koordinata. Taj se izraz mozepregledno napisati pomocu Lame-ovih parametara ili faktora skale, hj i hi,j, koji sudefinirani na slijedeci nacin

    h1 =

    ( x

    q1

    )2+

    ( y

    q1

    )2+

    ( z

    q1

    )2,

    h2 =

    ( x

    q2

    )2+

    ( y

    q2

    )2+

    ( z

    q2

    )2, (1.4)

    h3 =

    ( x

    q3

    )2+

    ( y

    q3

    )2+

    ( z

    q3

    )2,

    hi,j = x

    qi

    x

    qj+

    y

    qi

    y

    qj+

    z

    qi

    z

    qj, i, j = 1, 2, 3.

    Primjetimo da je hi,j = hj,i i da je hi,i = h2i . Tako je npr. za sferni (SKS) i cilindricni

    (CKS) koordinatni sustav

    SKS : q1 = r, q2 = , q3 = ,

    h1 = 1, h2 = r, h3 = r sin ,

    CKS : q1 = , q2 = , q3 = z,

    h1 = 1, h2 = , h3 = 1.

    Primjer: 1.1 Pokazite da je u sfernom i cilindricnom koordinatnom sustavu hi,j = 0 zai 6= j.

    R:

  • 1.1. DEFINICIJA POOPCENOG KOORDINATNOG SUSTAVA 3

    Pomocu Lame-ovih parametara, (d~r)2 se moze pregledno napisati kao

    (d~r)2 = h21 dq21 + h

    22 dq

    22 + h

    23 dq

    23 + 2h1,2 dq1 dq2 + 2h1,3 dq1 dq3 + 2h2,3 dq2 dq3.

    Fizicko znacenje Lamee-ovih parametara jeste duljina pomaka duz odredene poopcenekoordinate. Neka se mijenja samo koordinata qj (a preostale dvije su konstantne). Tadaje

    (d~r)2 = h2j dq2j d~r = hj dqj qj.

    Sada, pomocu skalarnog umnoska, lako mozemo izracunati kosinuse kutova koje jedinicnivektor qj zatvara s baznim vektorima pravokutnog koordinatnog sustava. Ako se mijenjasamo qj koordinata, tada je

    d~r =

    {hj dqj qj / xdx x + dy y + dz z = x

    qjdqj x +

    y qj

    dqj y + z qj

    dqj z / x

    Skalarni umnozak daje kosinus kuta izmedu baznih vektora: qj x = cos( qj, x )

    hj dqj cos( qj, x ) = x

    qjdqj cos( qj, x ) = 1

    hj

    x

    qj.

    Slicnim postupkom se i za kutove izmedu qj i y i z dobije

    cos( qj, y ) =1

    hj

    y

    qj, cos( qj, z ) =

    1

    hj

    z

    qj

    Gornje rezultate mozemo pregledno prikazati slijedecom tablicom

    x y z

    q11

    h1

    x

    q1

    1

    h1

    y

    q1

    1

    h1

    z

    q1

    q21

    h2

    x

    q2

    1

    h2

    y

    q2

    1

    h2

    z

    q2(1.5)

    q31

    h3

    x

    q3

    1

    h3

    y

    q3

    1

    h3

    z

    q3,

    ili matricno

    q1q2q3

    =M xy

    z

    , M =

    1

    h1

    x

    q1

    1

    h1

    y

    q1

    1

    h1

    z

    q1

    1

    h2

    x

    q2

    1

    h2

    y

    q2

    1

    h2

    z

    q2

    1

    h3

    x

    q3

    1

    h3

    y

    q3

    1

    h3

    z

    q3

    . (1.6)

  • 4 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    Iz tablice 1.5 je lako ocitati i inverznu relaciju

    xyz

    =M T q1q2

    q3

    , M T =

    1

    h1

    x

    q1

    1

    h2

    x

    q2

    1

    h3

    x

    q3

    1

    h1

    y

    q1

    1

    h2

    y

    q2

    1

    h3

    y

    q3

    1

    h1

    z

    q1

    1

    h2

    z

    q2

    1

    h3

    z

    q3

    (1.7)

    pa zakljucujemo da mora vrijediti q1q2q3

    = M xy

    z

    =MM T q1q2

    q3

    , xy

    z

    = M T q1q2

    q3

    =M TM xy

    z

    ,tj. da mora biti

    M M T =M T M = 1.Izracunajmo najprije dijagonalne elemente M M T :

    (1, 1) :

    (1

    h1

    x

    q1

    )2+

    (1

    h1

    y

    q1

    )2+

    (1

    h1

    z

    q1

    )2=

    1

    h21

    [( x

    q1

    )2+

    ( y

    q1

    )2+

    ( z

    q1

    )2]= (1.4) = 1,

    (2, 2) :

    (1

    h2

    x

    q2

    )2+

    (1

    h2

    y

    q2

    )2+

    (1

    h2

    z

    q2

    )2=

    1

    h22

    [( x

    q2

    )2+

    ( y

    q2

    )2+

    ( z

    q2

    )2]= (1.4) = 1,

    (3, 3) :

    (1

    h3

    x

    q3

    )2+

    (1

    h3

    y

    q3

    )2+

    (1

    h3

    z

    q3

    )2=

    1

    h23

    [( x

    q3

    )2+

    ( y

    q3

    )2+

    ( z

    q3

    )2]= (1.4) = 1,

    Od nedijagonalnih elemenata cemo izracunati samo jedan primjer, koji je zatim lakopoopciti i na ostale nedijagonalne elemente

    (1, 2) :1

    h1h2

    ( x

    q1

    x

    q2+

    y

    q1

    y

    q2+

    z

    q1

    z

    q2

    )= (1.4) =

    h1,2h1h2

    i slicno za ostale nedijagonalne elemente. Ocito je da relacija M M T = 1, vodi nazahtjev

    hi,j = 0, i 6= j. (1.8)

    Proizvoljni vektor ~v mozemo razviti i po pravokutnoj i po poopcenoj bazi

    ~v = vx x + vy y + vz z = v1 q1 + v2 q2 + v3 q3.

    Pomocu relacija (1.6) i (1.7) koje povezuju obje baze, lako je dobiti i veze medu kompo-

  • 1.1. DEFINICIJA POOPCENOG KOORDINATNOG SUSTAVA 5

    nentama vektora u tim bazama v1v2v3

    =M vxvy

    vz

    , vxvy

    vz

    =M T v1v2

    v3

    .Potrazimo koje uvjete moraju zadovoljavati Lame-ovi parametri, pa da qj cine desnu bazutrodimenzijskog prostora. Da bi se izvelo, treba dokazati dvije stvari:(1) da cine potpun skup, tj. da se svaki vektor prostora moze prikazati kao linearna kom-binacija vektora baze, i (2) da su ortonormirani).

    Potpunost: ... dovrsiti ....

    Ortonormiranost: qi qj =? = i,j.Sukladno relacijama (1.5) i ortonormiranosti vektora x , y , z , skalarni umnozak qi i qj je

    qi qj =(1

    hi

    x

    qix +

    1

    hi

    y

    qiy +

    1

    hi

    z

    qiz

    )(1

    hj

    x

    qjx +

    1

    hj

    y

    qjy +

    1

    hj

    z

    qjz

    )=

    1

    hihj

    ( x

    qi

    x

    qj+

    y

    qi

    y

    qj+

    z

    qi

    z

    qj

    )= (1.4) =

    hi,jhihj

    = (1.8) = 0.

    pa qj cine ortonormiran skup. Uz ovaj uvjet je

    d~r = h1 dq1 q1 + h2 dq2 q2 + h3 dq3 q3, (d~r)2 = h21 dq

    21 + h

    22 dq

    22 + h

    23 dq

    23.

    Pokazimo jos i da vektori qj cine desnu bazu, tj. da vrijede relacije

    q1 q1 = 0, q1 q2 = q3, q1 q3 = q2,q2 q1 = q3, q2 q2 = 0, q3 q3 = q1,q3 q1 = q2, q3 q2 = q1, q3 q3 = 0.

    Izravnim uvrstavanjem se dobiva

    qj qj =(1

    hj

    x

    qjx +

    1

    hj

    y

    qjy +

    1

    hj

    z

    qjz

    )(1

    hj

    x

    qjx +

    1

    hj

    y

    qjy +

    1

    hj

    z

    qjz

    )= = 0

    Za i 6= j se dobiva

    qi qj =(1

    hi

    x

    qix +

    1

    hi

    y

    qiy +

    1

    hi

    z

    qiz

    )(1

    hj

    x

    qjx +

    1

    hj

    y

    qjy +

    1

    hj

    z

    qjz

    )=

    1

    hihj

    [( y

    qi

    z

    qj z qi

    y

    qj

    )x +

    ( z

    qi

    x

    qj x qi

    z

    qj

    )y +

    ( x

    qi

    y

    qj y qi

    x

    qj

    )z

    ].

    Lako se pokazuje da je qi ( qi qj) = qj ( qi qj) = 0. Npr.

    qi ( qi qj) = 1h2ihj

    [ x

    qi

    ( y

    qi

    z

    qj z qi

    y

    qj

    )+

    y

    qi

    ( z

    qi

    x

    qj x qi

    z

    qj

    )+

    z

    qi

    ( x

    qi

    y

    qj y qi

    x

    qj

    )]= 0.

    To znaci da je vektor qi qj okomit i na qi i na qj, pa zbog ortonormiranosti mora biti

  • 6 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    jednak qk za k 6= i, j, predznak plus dolazi ako vektori cine desnu bazu, a predznakminus, ako cine lijevu bazu (? uvesti tenzor ijk). dovrsiti

    Primjer: 1.2 Parabolicni koordinatni sustav: pokazite da izbor koordinata

    q1 = r + z, q2 = r z, q3 = arctan yx,

    vodi na ortonormiranu bazu qj.

    R: dodati sliku i dovrsiti

    Neka proizvoljni vektor ~v ovisi o vremenu t

    ~v(t) = v1(t) q1(t) + v2(t) q2(t) + v3(t) q3(t),

    Izracunajmo njegovu vremensku derivaciju

    d~v(t)

    d t=d v1d t

    q1 +d v2d t

    q2 +d v3d t

    q3 + v1d q1d t

    + v2d q2d t

    + v3d q3d t

    .

    Lako je opcenito pokazati da je derivacija jedinicnog vektora okomita na sam vektor:derivacijom uvjeta normiranosti slijedi

    qj qj = 1,/

    d

    d t

    d qjd t

    qj + qj d qjd t

    = 0 2 qj d qjd t

    = 0 qj d qjd t

    .

    Iz ovoga zakljucujemo da derivacija vektora qj lezi u ( qi, qk) ravnini

    d qjd t

    = qi + qk, , = const.

    1.2 Operator gradijenta u poopcenom koordinatnom sustavu

    Neka je zadana skalarno polje poopcenih koordinata, s(q1, q2, q3). Zadatak je naci gradijenttog polja u poopcenom koordinatnom sustavu. Zapocet cemo s onime sto znamo, a to jegradijent u pravokutnom koordinatnom sustavu

    grad s =s =

    (x

    x+ y

    y+ z

    z

    )s = x

    s

    x+ y

    s

    y+ z

    s

    z.

  • 1.2. OPERATOR GRADIJENTA U POOPCENOM KOORDINATNOM SUSTAVU 7

    Sada, prema (1.1), pravokutne koordinate shvacamo kao funkcije poopcenih

    s = x s x

    + y f

    y+ z

    s

    z

    = x

    ( s

    q1

    q1 x

    + s

    q2

    q2 x

    + s

    q3

    q3 x

    )+ y

    ( s

    q1

    q1 y

    + s

    q2

    q2 y

    + s

    q3

    q3 y

    )+ z

    ( s

    q1

    q1 z

    + s

    q2

    q2 z

    + s

    q3

    q3 z

    )=

    s

    q1

    (x q1 x

    + y q1 y

    + z q1 z

    )+

    s

    q2

    (x q2 x

    + y q2 y

    + z q2 z

    )+

    s

    q3

    (x q3 x

    + y q3 y

    + z q3 z

    )=

    s

    q1

    q1 + s q2

    q2 + s q3

    q3, (1.9)

    gdje smo sqj oznacili gradijent j-te poopcene koordinate u pravokutnom koordinatnom

    sustavu

    qj = x qj x

    + y qj y

    + z qj z

    , j = 1, 2, 3.

    No, svaki vektor, pa tako iqj se moze razviti po vektorima baze poopcenog koordinatnog

    sustava, tj. mora postojati zapis oblika

    qj = g1 q1 + g2 q2 + g3 q3.Zbog ortonormiranosti vektora baze qj, komponente razvoja je lako dobiti skalarnimumnoskom. Tako je

    q1 (q1) = g1 = q1 x q1 x

    + q1 y q1 y

    + q1 z q1 z

    = (1.5) =

    =1

    h1

    x

    q1

    q1 x

    +1

    h1

    y

    q1

    q1 y

    +1

    h1

    z

    q1

    q1 z

    =1

    h1

    ( q1 x

    x

    q1+ q1 y

    y

    q1+ q1 z

    z

    q1

    )=

    1

    h1

    q1(x, y, z)

    q1=

    1

    h1.

    q2 (q1) = g2 = 1h2

    q1 q2

    =1

    h2 0 = 0.

    q3 (q1) = g3 = 1h3

    q1 q3

    =1

    h3 0 = 0.

  • 8 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    Gradijent koordinate q1 je usmjeren u pravcu vektora q1, a iznos mu je jednak 1/h1

    q1 = 1h1

    q1.

    Na slican se dobiju i gradijenti preostale dvije poopcene koordinate

    q2 = 1h2

    q2,q3 = 1

    h3q3.

    Sada se mozemo vratiti izrazu za gradijent skalarnog polja (1.9) i napisati konacni izrazza operator gradijenta u poopcenom koordinatnom sustavu

    s =(q1h1

    q1+

    q2h2

    q2+

    q3h3

    q3

    )s. (1.10)

    Primjenjena na sferni (SKS) i cilindricni (CKS) koordinatni sustav, gornja relacija daje

    SKS : q1 = r , q2 = , q3 =

    h1 = 1, h2 = r, h3 = r sin

    = r r

    +

    r

    +

    r sin

    , (1.11)

    (1.12)

    CKS : q1 = , q2 = , q3 = z

    h1 = 1, h2 = , h3 = 1

    =

    +

    + z

    z. (1.13)

    1.3 Operator divergencije u poopcenom koordinatnom sustavu

    Neka je zadano vektorsko polje ~V (q1, q2, q3) = V1 q1 + V2 q2 + V3 q3. Zelimo izracunati

    njegovu divergenciju ~V u poopcenom koordinatnom sustavu ~V = (V1 q1 + V2 q2 + V3 q3)

    = (V1) q1 + (V2) q2 + (V3) q3 (1.14)

    + V1( q1) + V2( q2) + V3( q3).

    Same komponente Vj vektora ~V su skalarna polja, a gradijent skalarnog polja smo upravo

    izracunali u odjeljku 1.2, pa nam preostaje jos izracunati izraze oblika qj. Iz tog istog

    odjeljka 1.2 znamo i da jeq1 = q1/h1, a buduci da je rotacija gradijenta jednaka nuli,

  • 1.3. OPERATOR DIVERGENCIJE U POOPCENOM KOORDINATNOM SUSTAVU 9

    slijedi da je i

    0 = q1 = 1

    h1q1.

    Nadalje je

    0 = 1

    h1q1 =

    1

    h1

    q1 + ( 1h1) q1

    0 =1

    h1

    q1 1h21(h1) q1 q1 = 1

    h1(h1) q1.

    Gradijent h1 mozemo raspisati pomocu (1.10)

    h1 = q1h1

    h1 q1

    +q2h2

    h1 q2

    +q3h3

    h1 q3

    ,

    sto konacno vodi na

    q1 = 1h1

    (q1h1

    h1 q1

    +q2h2

    h1 q2

    +q3h3

    h1 q3

    ) q1 = 1

    h1 h3

    h1 q3

    q2 1h1 h2

    h1 q2

    q3.

    Slicnim se nacinom racunaju i rotacije preostala dva jedinicna vektora

    q1 = 1h1 h3

    h1 q3

    q2 1h1 h2

    h1 q2

    q3,

    q2 = 1h2 h1

    h2 q1

    q3 1h2 h3

    h2 q3

    q1, (1.15)

    q3 = 1h3 h2

    h3 q2

    q1 1h3 h1

    h3 q1

    q2.

    Pomocu gornjih izraza i jednakosti2

    (~a ~b ) = ~b ( ~a ) ~a ( ~b ),mozemo izracunati divergencije jedinicnih vektora

    q1 = ( q1 q3) = q3( q2) q2( q3)= q3

    (1

    h2 h1

    h2 q1

    q3 1h2 h3

    h2 q3

    q1

    ) q2

    (1

    h3 h2

    h3 q2

    q1 1h3 h1

    h3 q1

    q2

    )=

    1

    h1 h2

    h2 q1

    +1

    h1 h3

    h3 q1

    2Vidjeti npr. [?].

  • 10 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    Slicnim se postupkom racunaju i divergencije preostala dva jedinicna vektora, sto svezajedno daje

    q1 = 1h1 h2

    h2 q1

    +1

    h1 h3

    h3 q1

    ,

    q2 = 1h2 h3

    h3 q2

    +1

    h1 h2

    h1 q2

    ,

    q3 = 1h1 h3

    h1 q3

    +1

    h2 h3

    h2 q3

    .

    Vratimo se izrazu (1.14). Izravnim uvrstavanjem izraza (1.10) za divergenciju svake kom-

    ponente poljaVj i gornjih izraza za divergencije jedinicnih vektora qj, dobiva se za

    divergenciju vektorskog polja

    ~V = 1h1 h2 h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]. (1.16)

    Primjenjena na sferni (SKS) i cilindricni (CKS) koordinatni sustav, gornja relacija daje

    SKS : q1 = r , q2 = , q3 =

    h1 = 1, h2 = r, h3 = r sin

    ~V = 1r2

    r

    (r2Vr

    )+

    1

    r sin

    (sin V) +

    1

    r sin

    V

    ,

    CKS : q1 = , q2 = , q3 = z

    h1 = 1, h2 = , h3 = 1

    ~V = 1

    (V) +

    1

    V

    + Vz z

    .

    1.4 Operator rotacije u poopcenom koordinatnom sustavu

    Proizvoljni vektor ~V u poopcenom koordinatnom sustavu je oblika

    ~V = V1 q1 + V2 q2 + V3 q3.

    Primjenom poznate3 relacije

    (a ~b ) = a( ~b ) + ( a) ~b ,3Vidjeti npr. [?].

  • 1.4. OPERATOR ROTACIJE U POOPCENOM KOORDINATNOM SUSTAVU 11

    na ~V , dobiva se

    ~V = (V1 q1 + V2 q2 + V3 q3)= (

    V1) q1 + V1 q1+ (

    V2) q2 + V2 q2+ (

    V3) q3 + V3 q3.

    Clanovi oblika Vj se racunaju uvrstvanjam u (1.10), a clanovi oblika qj,

    uvrstavanjem u (1.15)

    ~V =(q1h1

    V1 q1

    +q2h2

    V1 q2

    +q3h3

    V1 q3

    ) q1 + V1

    (1

    h1 h3

    h1 q3

    q2 1h1 h2

    h1 q2

    q3

    )+

    (q1h1

    V2 q1

    +q2h2

    V2 q2

    +q3h3

    V2 q3

    ) q2 + V2

    (1

    h1 h2

    h2 q1

    q3 1h2 h3

    h2 q3

    q1

    )+

    (q1h1

    V3 q1

    +q2h2

    V3 q2

    +q3h3

    V3 q3

    ) q3 + V3

    (1

    h2 h3

    h3 q2

    q3 1h1 h3

    h3 q1

    q2

    )Sredivanjem gornjeg izraza, dobiva se rotacija vektora izrazena u poopcenom koordinat-nom sustavu

    ~V = q1h2 h3

    [V3h3 q2

    V2h2 q3

    ]+

    q2h1 h3

    [V1h1 q3

    V3h3 q1

    ]+

    q3h1 h2

    [V2h2 q1

    V1h1 q2

    ].

    (1.17)Primjenjena na sferni i cilindricni koordinatni sustav, gornja relacija daje

    SKS : q1 = r , q2 = , q3 =

    h1 = 1, h2 = r, h3 = r sin

    ~V = rr sin

    [V sin

    V

    ]+

    r sin

    [Vr

    sin Vr r

    ]+

    r

    [Vr

    r Vr

    ].

    CKS : q1 = , q2 = , q3 = z

    h1 = 1, h2 = , h3 = 1

    ~V =

    [Vz

    V z

    ]+

    [V z

    Vz

    ]+z

    [V

    V

    ].

  • 12 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    1.5 Laplasijan skalarnog polja u poopcenom koordinatnom sus-tavu

    Rezultat dvostrukog uzastopnog djelovanja operatorom nabla na skalarno polje poopcenihkoordinata s(q1, q2, q3) oznacavamo s

    (s) = 2si zovemo laplasijan skalarnog polja s. Izraz za 2s je lako dobiti kombiniranjem izraza(1.10) za gradijent skalarnog polja

    s = q1h1

    s

    q1+

    q2h2

    s

    q2+

    q3h3

    s

    q3

    i izraza (1.16) za divergenciju vektorskog polja

    ~V = 1h1 h2 h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ].

    Uvrsti li se u zraz za divergenciju

    V1 =1

    h1

    s

    q1, V2 =

    1

    h2

    s

    q2, V3 =

    1

    h3

    s

    q3,

    lako se dolazi do konacnog izraza za laplasijan skalarnog polja u poopcenim koordinatama

    2s = 1h1 h2 h3

    [

    q1

    (h2 h3h1

    s

    q1

    )+

    q2

    (h1 h3h2

    s

    q2

    )+

    q3

    (h1 h2h3

    s

    q3

    )].

    (1.18)ili krace

    2s = 1h1 h2 h3

    3i=1

    qi

    (h1 h2 h3h2i

    s

    qi

    )

  • 1.6. LAPLASIJAN VEKTORSKOG POLJA U POOPCENOM KOORDINATNOM SUSTAVU 13

    Primjenjena na sferni (SKS) i cilindricni (CKS) koordinatni sustav, gornja relacija daje

    SKS : q1 = r , q2 = , q3 = (1.19)

    (1.20)

    h1 = 1, h2 = r, h3 = r sin

    (1.21)

    2s = 1r2

    r

    (r2 s

    r

    )+

    1

    r2 sin

    (sin

    s

    )+

    1

    r2 sin2

    2s

    2. (1.22)

    (1.23)

    (1.24)

    CKS : q1 = , q2 = , q3 = z (1.25)

    (1.26)

    h1 = 1, h2 = , h3 = 1

    (1.27)

    2s = 1

    ( s

    )+

    1

    22 s

    2+2 s

    z2. (1.28)

    1.6 Laplasijan vektorskog polja u poopcenom koordinatnom sus-tavu

    Da bismo izracunali laplasijan vektorskog polja ~V (q1, q2, q3) u poopcenim koordinatama,posluzit cemo se ranije poznatom relacijom

    2~V = ( ~V ) ( ~V ). (1.29)Izraze za gradijent (1.10)

    s = q1h1

    s

    q1+

    q2h2

    s

    q2+

    q3h3

    s

    q3,

    divergenciju (1.16)

    ~V = 1h1 h2 h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ],

    i rotaciju (1.17)

    ~V = q1h2 h3

    [V3h3 q2

    V2h2 q3

    ]+

    q2h1 h3

    [V1h1 q3

    V3h3 q1

    ]+

    q3h1 h2

    [V2h2 q1

    V1h1 q2

    ].

  • 14 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

    u poopceniom koordinatama vec imamo izracunate, pa je opet potrebno (samo) kombini-

    rati te izraze. Tako se npr. za gradijent divergencije vektora ~V dobije

    ( ~V ) = q1h1

    q1

    {1

    h1h2h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]}+

    q2h2

    q2

    {1

    h1h2h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]}+

    q3h3

    q3

    {1

    h1h2h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]}.

    Slicno se i za rotaciju rotacije ~V dobije

    ( ~V ) = q1h2h3

    {

    q2

    h3h1h2

    [

    q1(V2h2)

    q2(V1h1)

    ] q3

    h2h1h3

    [

    q3(V1h1)

    q1(V3h3)

    ]}+

    q2h1h3

    {

    q3

    h1h2h3

    [

    q2(V3h3)

    q3(V2h2)

    ] q1

    h3h1h2

    [

    q1(V2h2)

    q2(V1h1)

    ]}+

    q3h1h2

    {

    q1

    h2h1h3

    [

    q3(V1h1)

    q1(V3h3)

    ] q2

    h1h2h3

    [

    q2(V3h3)

    q3(V2h2)

    ]}.

    Izravnim uvrstavanjem gornjih izraza u (1.29), dobiva se konacni izraz za 2~V u po-opcenim koordinatama

    2~V = q1{ 2~V

    }1+ q2

    { 2~V

    }2+ q3

    { 2~V

    }3, (1.30)

    gdje su{ 2~V

    }1

    =1

    h1

    q1

    {1

    h1h2h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]} 1

    h2h3

    {

    q2

    h3h1h2

    [

    q1(V2h2)

    q2(V1h1)

    ] q3

    h2h1h3

    [

    q3(V1h1)

    q1(V3h3)

    ]}{ 2~V

    }2

    =1

    h2

    q2

    {1

    h1h2h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]} 1

    h1h3

    {

    q3

    h1h2h3

    [

    q2(V3h3)

    q3(V2h2)

    ] q1

    h3h1h2

    [

    q1(V2h2)

    q2(V1h1)

    ]}{ 2~V

    }3

    =1

    h3

    q3

    {1

    h1h2h3

    [

    q1(V1h2h3) +

    q2(h1V2h3) +

    q3(h1h2V3)

    ]} 1

    h1h2

    {

    q1

    h2h1h3

    [

    q3(V1h1)

    q1(V3h3)

    ] q2

    h1h2h3

    [

    q2(V3h3)

    q3(V2h2)

    ]}.

  • 1.7. ELIPTICKI KOORDINATNI SUSTAV 15

    Primjenjena na sferni (SKS) i cilindricni (CKS) koordinatni sustav, gornja relacija daje

    SKS : q1 = r , q2 = , q3 =

    h1 = 1, h2 = r, h3 = r sin

    2~V =[ 2Vr 2

    r2

    (Vr +

    1

    sin

    (sin V) +

    1

    sin

    V

    )]r

    +

    [ 2V + 2

    r2

    ( Vr

    V2 sin2

    cos sin2

    V

    )]

    +

    [ 2V + 2

    r2 sin

    ( Vr

    +cos

    sin

    V

    V2 sin

    )] .

    CKS : q1 = , q2 = , q3 = z

    h1 = 1, h2 = , h3 = 1

    2~V =( 2V 1

    2V 2

    2 V

    ) +

    ( 2V 1

    2V +

    2

    2 V;

    ) +

    ( 2Vz) z .1.7 Elipticki koordinatni sustav

    dopisati

  • 16 POGLAVLJE 1. POOPCENI KOORDINATNI SUSTAV

  • Poglavlje 2

    Funkcije kompleksne varijable 1:analiticka svojstva

    2.1 Kompleksna algebra

    Kompleksnim brojem se naziva uredeni par dva realna broja (a, b), koji se obicno pisei kao a+ b, gdje je s =

    1 oznacena imaginarna jedinica.2 = 1.

    Slicno se uvodi i pojam kompleksne varijable kao uredenog para dvije realne varijable(x, y), koji se opet uobicajeno pise i kao z = x+ y.

    Graficki se kompleksni broj ili kompleksna varijabla mogu prikazati u kompleksnojravnini (ili Argandovoj ravnini), tako da realni dio ima smjer apscise, a imaginarni dioima smjer ordinate (slika 2.1) Ovaj se prikaz moze povezati s polarnim koordinatnim

    Slika 2.1: Prikaz kompleksne varijable u kompleksnoj ravnini.

    17

  • 18 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    sustavom (vidjeti npr. [4]) na slijedeci nacin

    z = x+ y

    ~ = x x+ y y = x cos+ y sin,

    pri cemu je

    < z = x = cos,= z = y = sin,z = x+ y = (cos+ sin) = e .

    Gornji se zapis naziva polarni prikaz kompleksne varijable (ili broja). Velicina senaziva modul ili iznos kompleksnog broja,

    = |z| =x2 + y2

    a je faza ili argument kompleksnog broja

    = arctany

    x

    Zbrajanje kompleksnih brojeva se definira kao

    z1 + z2 = (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2) = (x1 + x2) + (y1 + y2).

    Mnozenje kompleksnih brojeva se definira kao

    z1 z2 = (x1, y1) (x2, y2) = (x1x2 y1y2, x1y2 + x2y1) = (x1x2 y1y2) + (x1y2 + x2y1).

    Matricni zapis kompleksnog brojaPokazimo da je zbrajanje i mnozenje kompleksnih brojeva izomorfno sa zbrajanjem imnozenjem antisimetricne 2 2 matrica oblika

    z = x+ y =

    [x yy x

    ].

    Primjetimo da formulacija preko matrica ne zahtjeva uvodenje imaginarne jedinice2 = 1. Prema pravilu o zbrajanju matrica je

    z1 + z2 =

    [x1 y1y1 x1

    ]+

    [x2 y2y2 x2

    ]=

    [x1 + x2 y1 + y2y1 y2 x1 + x2

    ],

    a to je upravo isto sto i matrica zbroja (x1 + x2) + (y1 + y2)

    (x1 + x2) + (y1 + y2) =

    [x1 + x2 y1 + y2(y1 + y2) x1 + x2

    ].

    Slicno se pokazuje i za mnozenje. Prema pravilu o mnozenju matrica, slijedi

    z1 z2 =[

    x1 y1y1 x1

    ][

    x2 y2y2 x2

    ]=

    [x1x2 y1y2 x1y2 + y1x2y1x2 y2x1 y1y2 + x1x2

    ].

  • 2.1. KOMPLEKSNA ALGEBRA 19

    No gornji izraz je upravo matrica umnoska z1 z2 = (x1x2 y1y2) + (x1y2 + x2y1)

    (x1x2 y1y2) + (x1y2 + x2y1) =[

    x1x2 y1y2 x1y2 + x2y1(x1y2 + x2y1) x1x2 y1y2

    ].

    Zbrajanje i oduzimanje je zgodnije izvoditi u pravokutnom prikazu (algebarski), dok jemnozenje, dijeljenje, potenciranje i korjenovanje, zgodnije izvoditi u polarnom prikazu(vektorski).

    Pokazimo i slijedece dvije korisne nejednakosti

    |z1| |z2| |z1 + z2| |z1|+ |z2|.Dokazimo prvu nejednakost:

    |z1| |z2| |z1 + z2|x21 + y

    21

    x22 + y

    22

    (x1 + x2)2 + (y1 + y2)2

    / 2x21 + y

    21

    x22 + y

    22 x1x2 + y1y2

    +x21 + y

    21

    x22 + y

    22 (x1x2 + y1y2)

    / 2x21y

    22 2x1x2y1y2 + y21x22 0

    (x1y2 y1x2)2 0,sto je istina, jer je kvadrat realnog broja uvijek veci ili jednak nuli i time je polaznanejednakost dokazana. Slicno se dokazuje i druga nejednakost:

    |z1 + z2| |z1|+ |z2|(x1 + x2)2 + (y1 + y2)2

    x21 + y

    21 +

    x22 + y

    22

    / 2x1x2 + y1y2

    x21 + y

    21

    x22 + y

    22

    / 2x21y

    22 2x1x2y1y2 + y21x22 0

    (x1y2 y1x2)2 0.Iz zapisa u polarnom obliku, lako se pokazuje da je

    |z1 z2| = |z1| |z2|, arg(z1 z2) = arg(z1) + arg(z2).Zaista, prema definiciji je

    z1 = 1 e 1 , z2 = 2 e

    2 , z1 z2 = 1 e 1 2 e 2 = 1 2 e (1+2),iz cega izravno slijede gornje dvije tvrdnje.

    Kompleksne funkcijeAko je f(z) funkcija kompleksne varijable z, ona se zove kompleksna funkcija. Kao i

  • 20 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    kompleksni brojevi i kompleksne se funkcije mogu rastaviti na realni u i imaginarni v dio

    f(x+ y) = u(x, y) + v(x, y)

    < f(z) = u(x, y), = f(z) = v(x, y),gdje su u i v realne funkcije. z = x + y je tocka u kompleksnoj z ravnini, a f(z) =u(z) + v(z) je tocka u kompleksnoj f ravnini (slika 2.2), pa se zato kaze da funkcija fpreslikava skup tocaka z ravnine u skup tocaka f ravnine. Sve elementarne funkcije realne

    Slika 2.2: Kompleksna funkcija f preslikava skup tocaka kompleksne z = (x, y) ravnine u skup tocakakompleksne f = (u, v) ravnine.

    varijable x, mogu se produljiti u kompleksnu ravninu z, jednostavnom zamjenom

    x z.Ovaj se postupak naziva analiticko produljenje.

    Kompleksno konjugiranjeJedna jednostavna kompleksna funkcija je funkcija kompleksnog konjugiranja: ona mi-jenja u , tj. ona sve tocke gornje poluravnine z, preslikava u njihove zrcalne slikeu donjoj poluravnini i obratno (slika 2.3). Kompleksno konjugiranje se oznacava zvjez-dicom, pa se tako npr. kompleksno konjugirani broj broja z = x + y, oznacava kaoz ? = x y. Iz definicije kompleksnog konjugiranja kao zrcaljenja, jasno je da dvostrukaprimjena operacije daje identitet, tj. da je

    (z ? ) ? = z.

    Umnozak z i z ? je realan broj

    z z ? = (x+ y) (x y) = x2 + y2= e e = 2,

  • 2.1. KOMPLEKSNA ALGEBRA 21

    Slika 2.3: Kompleksno konjugiranje kao zrcaljenje oko realne osi.

    Tako da je iznos od z dan sa |z| = z z ? .

    Eksponencijalna funkcijaRaspisimo eksponencijalnu funkciju ez u obliku reda

    ez =n=0

    zn

    n !,

    za cisto imaginarni z = x i razdvojimo realni imaginarni dio

    ez = 1 + x

    1 !+( x)2

    2 !+( x)3

    3 !+( x)4

    4 !+( x)5

    5 !+( x)6

    6 !+( x)7

    7 !+( x)8

    8 !+

    =

    (1 x

    2

    2 !+x4

    4 ! x

    6

    6 !+

    )+

    (x

    1 ! x

    3

    3 !+x5

    5 ! x

    7

    7 !+

    ).

    Gornje razvoje prepoznajemo kao razvoje kosinusa i sinusa, pa je time pokazana Eule-rova formula

    e x = cos x+ sinx. (2.1)

    Potencija kompleksnog broja - De Moivreova formulaZa potenciranje kompleksnog broja, korisno je koristiti polarni zapis z = e

    zn = ( e )n = n e n = n[cos(n) + sin(n)

    ].

  • 22 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    No, (e )n se moze napisati na dva nacina

    (e )n = (cos+ sin)n

    e ( n) = cos(n) + sin(n).

    Izjednacavanjem gornja dva izraza, dolazi se do De Moivreove formule

    cos(n) + sin(n) = (cos+ sin)n, (2.2)

    koja povezuje trigonometrijske funkcije kuta n sa trigonometrijskim funkcijama kuta. Tako se npr. za n = 2 i n = 3, raspisom desne strane gornjeg izraza i izjednacavanjemrealnog i imaginarnog dijela lijeve i desne strane dobiva:

    cos(2) + sin(2) = (cos+ sin)2,

    = cos2 sin2 + 2 sin cos,cos(2) = cos2 sin2 ,sin(2) = 2 sin cos,

    cos(3) + sin(3) = (cos+ sin)3,

    = cos3 3 cos sin2 + (3 cos2 sin sin3 ),cos(3) = cos(cos2 3 sin2 ),sin(3) = sin(3 cos2 sin2 ).

    Korjen kompleksnog broja

    Eulerova formula

    Logaritam kompleksne varijableGlavna karakteristika po kojoj se logaritam kompleksne varijable razlikuje od logaritmarealne varijable, jeste nejednoznacnost. Evo o cemu se radi. Prema uobicajenompravilu za logaritam umnoska i logaritam potencije, slijedi

    ln z = ln( e ) = ln + .

    No, ako fazi pribrojimo cjelobrojni visekratnik od 2pi, a buduci da je e2pin = 1, vrijednostz se nece promijeniti

    z = e = e (+n2pi), n = 0,1,2, ,

  • 2.2. DERIVACIJA KOMPLEKSNE FUNKCIJE: CAUCHY - RIEMANNOVI UVJETI 23

    ali ce se zato promijeniti vrijednost logaritma

    ln[ e (+n2pi)

    ]= ln + + ( 2pi ) n.

    To znaci da je logaritam viseznacna (nejednoznacna) funkcija, zato jer jednom paru vri-jednosti kompleksne z = (, ) ravnine, pridruzuje prebrojivo beskonacno vrijednostikompleksne f = ln( e ) ravnine. Ove se vrijednosti dobiju iz gornjeg izraza za

    n = 0,1,2, .U racunima je uobicajeno koristiti vrijednosti logaritma za n = 0. Ove se vrijednosti zovuglavne vrijednosti. Takoder je uobicajeno fazu odabrati iz intervala (pi,+pi). Nataj nacin se nikada ne presijeca x os, koja se naziva i cut line (slika 2.4). Ovakav se

    Slika 2.4: Uz odabir faze kod racuna logaritma.

    izbor kuta moze dovesti u vezu s cinjenicom da logaritam realnog broja x nije definiranza negativne vrijednosti x. Naime, buduci da kompleksna matematika kao svoj posebanslucaj sadrzi realnu matematiku (ogranicavanjem na os realnu os x, tj. uz y = 0), to jeovim izborom postignuto iskljucenje negativnog dijela osi x iz definicije logaritma.

    2.2 Derivacija kompleksne funkcije:Cauchy - Riemannovi uvjeti

    Kada je zadana kompleksna funkcija kompleksne varijable, jedno od vaznih pitanja nakoja treba odgovoriti jeste i pitanje o derivaciji takve funkcije: moze li se i kako tafunkcija derivirati? Slicno kao i derivacija realne funkcije i derivacija kompleksne funkcijef(z) u tocki z0 se definira kao

    f(z0) d f

    d z

    z=z0

    = limdz 0

    f(z0 + dz) f(z0)dz

    ,

  • 24 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    uz vazan uvjet da gornji limes ne ovisi o smjeru priblizavanja tocki z0 (slicno kaosto kod funkcije realne varijable, derivacija ne ovisi o tome priblizavamo li se danoj tockis lijeve ili desne strane). U kompleksnoj z ravnini, svakoj tocki je moguce priblizitise na (neprebrojivo) beskonacno mnogo nacina, no svaki od njih se moze prikazati kaokombinacija pomaka u dva medusobno okomita smjera: u smjeru osi x i u smjeru osiy. Neka su z i z0 dvije infinitezimalno bliske tocke u kompleksnoj ravnini. Precizirajmooznake

    z0 = x0 + y0,

    z = x+ y = (x0 + dx) + (y0 + dy) = z0 + d z,

    d z = d x+ d y,

    f = u+ v,

    d f = f(z) f(z0) = d u+ d v,

    Izracunajmo sada diferencijalni omjer

    d f

    d z=d u+ d v

    d x+ d y.

    Granicni prijelaz d z 0 cemo izvesti na dva razlicita nacina{d x 0d y = 0

    },

    {d x = 0

    d y 0},

    kao sto je to prikazano na slici 2.5.

    Slika 2.5: Uz izvod Cauchy - Riemannovih uvjeta. Tocke z i z0 su infinitezimalno bliske.

    (1) d x 0, d y = 0d f

    d z=d u+ d v

    d x+ 0= u

    x+

    v

    x.

  • 2.2. DERIVACIJA KOMPLEKSNE FUNKCIJE: CAUCHY - RIEMANNOVI UVJETI 25

    (1) d x = 0, d y 0d f

    d z=d u+ d v

    0 + d y= u

    y+ v

    y.

    Ako zahtjevamo da d f/d z ne ovisi o nacinu (putu) priblizavanja tocki z0, tada gornjadva diferencijalna omjera moraju biti jednaka

    u

    x+

    v

    x= u

    y+ v

    y.

    Izjednacavanjem realnih i imaginarnih dijelova gornje jednakosti, dobivaju se Cauchy -Riemannovi uvjeti

    u

    x= v

    y,

    u

    y= v

    x. (2.3)

    Cauchy - Riemannovi uvjeti su nuzni uvjeti koji moraju biti zadovoljeni ako postojiderivacija funkcije f(z), tj. ako postoji d f/d z, tada su zadovoljeni Cauchy - Riemannoviuvjeti.

    Dokazimo da vrijedi i obrat: ako su zadovoljeni Cauchy - Riemannovi uvjeti i ako suparcijalne derivacije u i v po x i y kontinuirane funkcije, tada postoji d f/d z koja ne ovisio nacinu priblizavanja tocki z0. Dokazimo to na slijedeci nacin

    f(x, y) = u(x, y) + v(x, y),

    d f(x, y) = f

    xd x+

    f

    yd y,

    =

    ( u

    x+

    v

    x

    )d x+

    ( u

    y+

    v

    y

    )d y

    / 1d z

    =1

    d x+ d y

    d f

    d z=

    [( u

    x+

    v

    x

    )d x+

    ( u

    y+

    v

    y

    )d y

    ] 1(d x+ d y)

    =

    [( u

    x+

    v

    x

    )+

    ( u

    y+

    v

    y

    )d y

    d x

    ]/(1 +

    d y

    d x

    ).

    Velicina d y/d x koja se pojavljuje u gornjem izrazu je upravo ona funkcija koja opisujekako y ovisi o x, tj. po kojoj putanji se tocka (x, y) priblizava tocki (x0, y0). Pokazimoda ce, primjenom Cauchy - Riemannovih uvjeta, taj clan nestati, tj. da derivacija d f/d znece ovisiti o nacinu priblizavanja danoj tocki. Uvrstimo Cauchy - Riemannove uvjete naokruglu zagradu koja mnozi d y/d x. Ta zagrada tada postaje

    u

    y+

    v

    y= v

    x+

    u

    x.

  • 26 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Vratimo se s ovime natrag u izraz za d f/d z

    d f

    d z=

    [( u

    x+

    v

    x

    )+

    ( u

    x+

    v

    x

    )d y

    d x

    ]/(1 +

    d y

    d x

    )=

    [( u

    x+

    v

    x

    )

    (1 +

    d y

    d x

    )]/

    (1 +

    d y

    d x

    )=

    u

    x+

    v

    x

    Ovime je pokazano da, ukoliko su zadovoljeni Cauchy - Riemannovi uvjeti, tada d f/d zpostoji i neovisna je o putu kojim se u kompleksnoj z ravnini priblizavamo tocki z0.

    Pokazimo jos jednu vaznu posljedicu Cauchy-Riemannovih uvjeta: ako su oni zadovoljeni,tada je familija krivulja u = const. okomita na familiju krivulja v = const. U odjeljku1.1 je relacijom (1.9) pokazano da su poopcene koordinate qj medusobno okomite, akovrijedi (u notaciji iz tog odjeljka)

    hi,j = x

    qi

    x

    qj+

    y

    qi

    y

    qj+

    z

    qi

    z

    qj= 0, i, j = 1, 2, 3

    za i 6= j. Ako ovu relaciju zelimo primjeniti na nas problem, moramo najprije primjetitida sada imamo dvodimenzijski, a ne trodimenzijski problem, pa ce biti

    hi,j = x

    qi

    x

    qj+

    y

    qi

    y

    qj= 0, i, j = 1, 2.

    U gornjem su izrazu x i y funkcije od poopcenih koordinata q1 i q2, dok mi sada imamou i v kao poopcene koordinate, za koje treba pokazati da su medusobno okomite. Dakle,u sadasnjoj notaciji, uvjet okomitosti linija u = const. i v = const. glasi

    hu,v = x

    u

    x

    v+ y

    u

    y

    v= 0. (2.4)

    Ako se x / u i x / v iz gornjeg izraza, izraze preko Cauchy-Riemannovih uvjeta(2.3), lako se vidi da je relacija (2.4) zadovoljena, tj. da su linije u = const. i v = const.medusobno okomite.

    Analiticke funkcijeAko je funkcija f(z) derivabilna u z0 i nekoj maloj okolini te tocke, tada se kazeda je f analiticka (ili holomorfna ili regularna) funkcija u tocki z0. Ako je f analitickau cijeloj kompleksnoj ravnini, zove se cijela funkcija. Ako derivacija d f/d z ne postojiu tocki z0, tada se ta tocka naziva singularitet ili singularna tocka funkcije f .

    Primjer: 2.1 Provjerite je li f(z) = z2 analiticka funkcija.

  • 2.2. DERIVACIJA KOMPLEKSNE FUNKCIJE: CAUCHY - RIEMANNOVI UVJETI 27

    R:f(z) = z2 = (x+ y)2 = (x2 y2) + 2xy = u+ v.

    Pokazimo da su Cauchy - Riemannovi uvjeti zadvoljeni u cijeloj z ravnini

    u

    x= 2x =

    v

    y,

    u

    y= 2y = v

    x.

    Ocito su gornje parcijalne derivacije kontinuirane, pa zakljucujemo da je fanaliticka funkcija.

    Primjer: 2.2 Provjerite je li f(z) = z analiticka funkcija.

    R:f(z) = z = x y = u+ v.

    Pokazimo da Cauchy - Riemannovi uvjeti nisu zadvoljeni

    u

    x= 1 6= v

    y= 1, u

    y= 0 = v

    x,

    pa prema tome f nije analiticka funkcija. Primjetimo da je z kontinuiranafunkcija, pa je ovo primjer funkcije koja je svugdje kontinuirana, a nigdje nijederivabilna.

    Uocimo neke vazne razlike izmedu derivacije realne funkcije realne varijable i derivacijekompleksne funkcije kompleksne varijable. Derivacije realne funkcije realne varijable jejedno u osnovi lokalno svojstvo te funkcije u smislu da ona sadrzi informaciju samoo ponasanju funkcije u okolini promatrane tocke. Za ilustraciju ove tvrdnje moze pos-luziti Taylorov razvoj iz kojega se vidi da su za odredenje ponasanja funkcije na vecimudaljenostima, potrebne derivacije viseg reda

    f(x) = f(x0) + (x x0) d fd x

    x=x0

    +1

    2(x x0) d

    2 f

    d x2

    x=x0

    + .

    Postojanje derivacije funkcije kompleksne varijable, ima puno dalekoseznije posljedice.Jedna od njih je i to da, kao posljedica Cauchy - Riemannovih uvjeta, realni i imagi-narni dijelovi kompleksne funkcije f moraju zadovoljavati dvodimenzijsku Laplaceovujednadzbu.

    u

    x=

    v

    y

    /

    x

    u

    y= v

    x

    /

    y

    2 u

    x2=

    2 v

    x y

    2 u

    y2=

    2 v

    x y.

    Zbroje li se gornje dvije jednadzbe, dobije se dvodimenzijska Laplaceova jednadzba za

  • 28 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    funkciju u2 u

    x2+2 u

    y2= 0. (2.5)

    Slicno se izvodi i Laplaceova jednadzba za funkciju v

    u

    x=

    v

    y

    /

    y

    u

    y= v

    x

    /

    x

    2 u

    x y=

    2 v

    y22 u

    x y=

    2 v

    x2.

    Oduzimanjem gornjih dvaju jednadzba, dobije se dvodimenzijska Laplaceova jednadzbaza funkciju v

    2 v

    x2+2 v

    y2= 0. (2.6)

    Nadalje, analiticnost funkcije f implicirat ce i postojanje derivacija viseg reda (odjeljak2.4). U tom smislu, derivacija u tocki z0 ne odreduje samo lokalna svojstva f , vec isvojstva f na velikim udaljenostima od z0.

    2.3 Integral kompleksne funkcije: Cauchyjev integralni teorem

    Krivuljni integraliNakon sto smo uveli derivaciju kompleksne funkcije, mozemo se okrenuti i integralu kom-pleksne funkcije.

    Integral funkcije kompleksne varijable po krivulji u kompleksnoj ravnini, se moze definiratiprema analogiji s Riemannovim integralom realne funkcije jedne varijable. Krivulju kojapovezuje pocetnu tocku z0 i konacnu tocku z

    0 , podijelimo naN dijelova omedenih tockama

    zn, kao na slici 2.6. Razmotrimo znacenje slijedeceg zbroja

    Slika 2.6: Uz definiciju krivuljnog integrala.

  • 2.3. INTEGRAL KOMPLEKSNE FUNKCIJE: CAUCHYJEV INTEGRALNI TEOREM 29

    SN =Nn=1

    f(n) (zn zn1),

    gdje je n tocka na krivulji izmedu tocaka zn i zn1. Izvedimo granicni prijelaz N uz |zn zn1| 0, za svaki n. Ako limN SN postoji i ako ne ovisi o detaljimaizbora tocaka zn i n, tada je

    limN

    Nn=1

    f(n) (zn zn1) = z 0z0

    f(z) d z.

    Integral na desnoj strani se zove krivuljni integral f(z) duz zadane krivulje C od z0do z 0 .

    Ovo je bio izvod po analogiji s Riemannovim izvodom integrala realne funkcije jednerealne varijable. Postoji i drugi nacin da se definira krivuljni integral, a to je da se svedena kompleksnu kombinaciju realnih integrala: z2

    z1

    f(z) d z =

    (x2,y2)(x1,y1)

    [u(x, y) + v(x, y)

    ](d x+ d y)

    =

    (x2,y2)(x1,y1)

    [u d x v d y + (u d y + v d x)

    ]=

    (x2,y2)(x1,y1)

    (u d x v d y) + (x2,y2)(x1,y1)

    (u d y + v d x),

    za svaki zadani put od (x1, y1) do (x2, y2). Ovim postupkom se integral kompleksne funk-cije svodi na kompleksni zbroj realnih integrala. Po svojoj osnovnoj ideji, ovaj je postupakslican postupku svodenja integrala vektorske funkcije na vektorski zbroj integrala skalar-nih funkcija (vidjeti npr. u [4]).

    Primjer: 2.3 Izracunajmo krivuljni integral funkcije f(z) = zn, n = 0,1,2, pokruznici polumjera R sa sredistem u ishodistu, a koju obilazimo u pozitivnomsmjeru (sto znaci suprotno od kazaljke na satu), kao sto je to prikazano naslici 2.7.

    R: U polarnom prikazu kompleksne varijable je z = Re , pa je zn =Rn e n i dz = Re ( d), pri cemu je R konstantno na kruznici. Odvojenocemo rjesavati slucajeve kada je n 6= 1 i kada je n = 1.

  • 30 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Slika 2.7: Uz izracunavanje integrala od zn po kruznici sa sredistem u ishodistu.

    (A) n 6= 1Czn d z = Rn

    2pi0

    e n d R e

    = Rn+1 2pi0

    e (n+1) d

    =Rn+1

    n+ 1

    2pi(n+1)0

    ex d x =Rn+1

    n+ 1ex2pi(n+1)0

    = 0. (2.7)

    (B) n = 1 C

    d z

    z=

    2pi0

    d R e

    Re =

    2pi0

    d = 2 pi .

    Primjetimo da u oba slucaja vrijednost integrala ne ovisi o polumjeru kruzniceR.

    Cauchyjev integralni teorem: dokaz pomocu Stokesova teoremaCauchyjev integralni teorem je prvi od dva osnovna teorema koji govore o ponasanjufunkcije kompleksne varijable. Najprije cemo ga dokazati uz donekle ogranicene uvjete,koji su ipak dovoljni za fizicke potrebe.

    Teorem: Ako je f(z) analiticka (pa prema tome i jednoznacna) i ako su njezine parcijalnederivacije kontinuirane unutar jednostavno povezanog podrucja R, za svaku

  • 2.3. INTEGRAL KOMPLEKSNE FUNKCIJE: CAUCHYJEV INTEGRALNI TEOREM 31

    zatvorenu krivulju C iz podrucja R, krivuljni integral f(z) po C je jednak nuliCf(z) d z = 0. (2.8)

    Slika 2.8: Uz definiciju jednostavnog (A) i visestruko (B) povezanog podrucja.

    Prije dokaza, dvije primjedbe:

    (1) Jednostavno povezano podrucje je ono u kojemu se svaka zatvorena krivulja koja leziu tom podrucju moze stegnuti u tocku koja takoder lezi u tom podrucju (slika 2.8.A);visestruko povezano podrucje je ono za koje postoje zatvorene krivulje unutar tog po-drucja, koje se stezu u tocku koja nije unutar tog visestruko povezanog podrucja (slika2.8.B).

    (2) Primjetimo da kada bi f(z) iz gornje jednadzbe bila jedna komponenta sile, onda biiscezavanje gornjeg integrala znacilo da je ta komponenta sile konzervativna (vidjetinpr. [4])

    Evo sada i dokaza: najprije sa integrala kompleksne funkcije f , prijedimo na kompleksnizbroj integrala realnih funkcija u i v

    f(z) = u(x, y) + v(x, y), d z = d x+ d y.

    Cf(z) d z =

    C

    [u(x, y) + v(x, y)

    ](d x+ d y)

    =

    C(u d x v d y) +

    C(v d x+ u d y). (2.9)

  • 32 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Gore imamo integrale realnih funkcija na koje mozemo primjeniti Stokesov teorem(vidjeti npr. [4])

    C~V d~r =

    S(C)

    ( ~V ) d ~S ,

    gdje je s S(C) oznacena ploha definirana zatvorenom krivuljom C, a d ~S vektor diferen-cijala plohe okomit na sam diferencijalni element, a iznosa jednakog iznosu diferencijalaplohe. Primjena Stokesovog teorema je moguca ako pretpostavimo da su parcijalne de-rivacije u i v kontinuirane unutar podrucja C. Ploha S(C) je opcenito prostorna ploha(dakle, ne nuzno ravnina) s rubovima u ravnini (x, y). No, ogranicimo li se, radi jednos-

    tavnosti, na plohu koja lezi u toj istoj ravnini (x, y), tada je d ~S = dS z , pa Stokesovteorem sada glasi

    ~V = Vx x + Vy y , d ~r = d x x + d y y

    C(Vx d x+ Vy d y) =

    S(C)

    ( ~V ) dS z

    =

    S(C)

    ( ~V )z dS =

    S(C)

    ( Vy x

    Vx y

    )d x d y.

    Primjenimo sada Stokesov teorem u gornjem obliku na prvi clan desne strane (2.9) uzVx u i Vy vC(u d x v d y) =

    S(C)

    ( (v) x

    u y

    )d x d y. =

    S(C)

    ( v

    x+ u

    y

    )d x d y = (2.3) = 0,

    prema drugom od Cauchy - Riemannovih uvjeta.

    Slicno, ako u drugom clanu desne strane (2.9) identificiramo Vx v i Vy u, premaStokesovu teoremu slijedi

    C(v d x+ u d y) =

    S(C)

    ( u

    x v y

    )d x d y. = 0,

    prema prvom od Cauchy - Riemannovih uvjeta.

    Time je, uz navedena ogranicenja, dokazana tvrdnja (2.8).

    Cauchyjev integralni teorem: Goursatov dokazPodrucje unutar zatvorene krivulje C podijelimo na N manjih zatvorenih krivulja Cn kaona slici 2.9. U racunu zbroja

    Nn=1

    Cn

    f(z) d z,

    integrali po unutrasnjim linijama ce se medusobno ponistiti zbog suprotnog smjeraobilaska. Jedino sto ce ostati razlicito od nule jesu integrali po vanjskim dijelovimanekih od zatvorenih krivulja Cn. Zbroj svih tih clanova razlicitih od nule, ce upravo dati

  • 2.3. INTEGRAL KOMPLEKSNE FUNKCIJE: CAUCHYJEV INTEGRALNI TEOREM 33

    Slika 2.9: Uz Cauchy - Goursatov dokaz Cauchyjeve integralne formule.

    integral f(z) po zatvorenoj krivulji CNn=1

    Cn

    f(z) d z =

    Cf(z) d z.

    Pokusajmo sada izracunati jedan od integralaCn f(z) d z iz gornjeg zbroja. Da bismo

    to izveli, konstruirajmo najprije funkciju n(z, zn)

    n(z, zn) =f(z) f(zn)

    z zn d f(z)

    d z

    z=zn

    , (2.10)

    pri cemu je zn bilo koja tocka iz unutrasnjosti n-tog podrucja zatvorene krivulje Cn.Primjetimo da je [f(z) f(zn)]/[z zn] priblizna vrijednost derivacije f u tocki z = zn.Ako f(z) ima Taylorov razvoj oko zn (sto jos nije dokazano), tada je n(z, zn) reda velicineO(z zn)

    f(z) = f(zn) + (z zn) d f(z)d z

    z=zn

    +1

    2(z zn)2 d

    2 f(z)

    d z2

    z=zn

    +

    f(z) f(zn) = (z zn) d f(z)d z

    z=zn

    +1

    2(z zn)2 d

    2 f(z)

    d z2

    z=zn

    +

    f(z) f(zn)z zn =

    d f(z)

    d z

    z=zn

    +1

    2(z zn) d

    2 f(z)

    d z2

    z=zn

    +

    n(z, zn) =f(z) f(zn)

    z zn d f(z)

    d z

    z=zn

    =1

    2(z zn) d

    2 f(z)

    d z2

    z=zn

    + .

    S porastom broja krivulja Cn, razlika (z zn) ce iscezavati i zato se uvijek moze posticida je

    |n(z, zn)| < ,

  • 34 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    za svaki proizvoljno mali . Definiciju (2.10), napisimo u obliku

    f(z) = n(z, zn)(z zn) + f(zn) + (z zn) d f(z)d z

    z=zn

    i sve prointegriramo po zatvorenoj krivulji CnCn

    f(z) d z =

    Cn

    n(z, zn)(z zn) d z + f(zn)Cn

    d z +d f(z)

    d z

    zn

    Cn

    z d z zn d f(z)d z

    zn

    Cn

    d z.

    Za prvi clan desne strane smo upravo pokazali da je proizvoljno mali, dok su preosta-la tri clana jednaka nuli prema (2.7), tako da zakljucujemo da je za svaki n, integralCn f(z) d z = 0, pa je i njihov zbroj takoder jednak nuli, tj.

    0 =Nn=1

    Cn

    f(z) d z =

    Cf(z) d z,

    cime je teorem dokazan.

    Posljedica ovog teorema je i da integral analiticke funkcije po krivulji koja nije zatvorena,ovisi samo o rubnim tockama krivulje, a ne i o obliku krivulje. Drugim rijecima, integralne ovisi o obliku puta koji spaja pocetnu i konacnu tocku zk

    zp

    f(z) d z = F (zk) F (zp) = zpzk

    f(z) d z

    Morerin teoremMorerin teorem je u odredenom smislu obrat Cauchyeva integralnog teorema.

    Teorem: Ako je za neprekidnu funkciju f(z) definiranu unutar jednostruko povezanogpodrucja, integral duz bilo koje jednostavne zatvorene krivulje koja u cjelostilezi u navedenom podrucju, jednak nuli, tada je f(z) regularna funkcija u tompodrucju.

    Za dokaz teorema, integrirajmo f(z) od z1 do z2. Buduci da je po pretpostavci teoremaf(z) dz = 0, to integral od z1 do z2 ovisi samo o rubnim tockama. Oznacimo to na

    slijedeci nacin z2z1

    f(z) dz = F (z2) F (z1).

    Ako se nad identitetom

    F (z2) F (z1)z2 z1 f(z1) =

    z2z1

    f(z) dz

    z2 z1 f(z1) z2z1

    dz

    z2 z1

    =

    z2z1

    [f(z) f(z1)

    ]dz

    z2 z1 ,

  • 2.3. INTEGRAL KOMPLEKSNE FUNKCIJE: CAUCHYJEV INTEGRALNI TEOREM 35

    izvede granicni prijelaz z2 z1, dobiva se

    limz2 z1

    F (z2) F (z1)z2 z1 limz2 z1 f(z1) = limz2 z1

    z2z1

    [f(z) f(z1)

    ]dz

    z2 z1 .

    Prema teoremu o srednjoj vrijednosti, clan na desnoj strani je jednak nuli, a iz preostaladva clana slijedi

    dF

    d z

    z1

    = f(z1).

    Gornjim su izrazom dokazane dvije stvari: prvo, da F postoji i drugo, da je F = f .Buduci da je z1 bilo koja tocka iz navedenog podrucja, zakljucuje se da je F analitickau cijelom podrucju. Prema Cauchyevoj integralnoj formuli (6.47) je i f = F takoderanaliticka i time je dokazan Morerin teorem.

    ... dovrsiti ....

    Visestruko povezana podrucjaCauchyev integralni teorem se odnosi na jednostavno povezano podrucje. Pogledajmo stose moze reci o integralu

    f(z) dz u visestruko povezanom podrucju (kao na

    slici 2.10.A). Funkcija f(z) nije definirana u unutrasnjosti podrucja R i zato Cauchyev

    Slika 2.10: Uz Cauchyevu integralnu formulu za visestruko povezana podrucja.

    integralni teorem nije primjenjiva na krivulju C. Umjesto toga, moze se napraviti krivuljaC 1 (slika 2.10.B) na kojoj vrijedi Cauchyev integralni teorem. Sa stanovista krivulje C 1,R je jednostavno povezano podrucje. Posljedica Cauchyeva integralna teorema je daintegral ne ovisi o obliku putanje po kojoj se integrira, nego samo o pocetnoj i krajnjoj

  • 36 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    tocki integracije. Zato je, za proizvoljno mali1 sa slike 2.10.B AF

    f(z) dz = CD

    f(z) dz

    (negativan predznak dolazi od suprotnog smjera integracije). Primjenom gornje jednakostii Cauchyeva integralna teorema, u granici 0, dobiva se

    C 1f(z) dz = 0 =

    ABC

    f(z) dz +

    DC

    f(z) dz +

    DEF

    f(z) dz +

    AF

    f(z) dz

    0 =

    Cf(z) dz

    C2

    f(z) dz.

    Negativan predznak u drugom integralu dolazi zato sto se u tom integralu krivulja C2obilazi suprotno smjeru kazaljke na satu (a tom smjeru obilaska se pridruzuje pozitivanpredznak). Iz gornje jednakosti slijedi

    Cf(z) dz =

    C2

    f(z) dz, (2.11)

    pri cemu se obje krivulje obilaze u istom smjeru. Iz gornjeg se izraza zakljucuje da,iako ne znamo kolika je vrijednost integrala, ipak znamo da ta vrijednost ne ovisi oobliku krivulje po kojoj se integrira. U konkretnim zadacima za krivulju integracijece se uzimati sto jednostavnije krivulje (dijelovi kruznice, trokuta + ili pravokutnika).To je Cauchyjev integralni teorem za visestruko povezano podrucje.

    Primjer: 2.4 Fresnelov integralIzracunajte

    ez

    2dz po krivulji sa slike 2.11, u granici kada r neograniceno

    raste.

    R: Buduci da je f(z) = ez2 regularna i analiticka funkcija unutar naz-nacenog podrucja kao i na njegovom rubu, moze se primjeniti Cauchyev inte-gralni teorem A

    0

    ex2

    dx I1

    +

    _AB

    ez2

    dz I2

    +

    0B

    ez2

    dz I3

    =

    f(z) dz = 0.

    Izracunajmo odvojeno svaki od gornjih integrala:I1 :Ovo je tablicni integral

    limr

    I1 =

    0

    ex2

    dx =

    pi

    2.

    I2 :1Za proizvoljno mali , vrijednosti funkcije f(z) na segmentima FA i DC su priblizno iste.

  • 2.3. INTEGRAL KOMPLEKSNE FUNKCIJE: CAUCHYJEV INTEGRALNI TEOREM 37

    Slika 2.11: Uz primjer 2.4.

    Izracunajmo integral po luku AB kruznice, kada polumjer neograniceno raste.Uvedimo zamjenu z = r e

    I2 = r

    pi/40

    er2(cos 2+ sin 2)+ d = r

    pi/40

    er2 cos 2 e(r

    2 sin 2) e(r2 sin 2) 1d

    |I2| r pi/40

    er2 cos 2 d.

    Sada se s varijable prelazi na varijablu u definiranu s cos2 = sin u

    |I2| r2

    pi/20

    er2 sinu d u.

    Primjetimo li da je

    limu0

    sinu

    u= 1, lim

    upi/2sinu

    u=

    2

    pi,

    vidimo da je

    2u

    pi< sinu < u r2 sinu < r22u

    pi

    er2 sinu < er

    2 2upi .

    Iz gornjih nejednakosti slijedi

    |I2| r2

    pi/20

    er2 2upi d u =

    pi

    4r

    (1 er2

    ).

  • 38 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Kada r neograniceno raste

    limr

    |I2| limr

    pi

    4r

    (1 er2

    )= 0,

    Time je pokazano da je drugi integral jednak nuli.I3 :U trecem integralu se uvodi zamjena z = epi/4

    I3 = limr

    r0

    e2

    epi/4 d = epi/4(

    0

    cos 2 d 0

    sin 2 d

    ).

    Iz I1 + 0 + I3 = 0, slijedi

    pi

    2

    (2

    2

    2

    2

    )=

    0

    cos 2 d 0

    sin 2 d .

    Usporedbom realnog i imaginarnog dijela lijeve i desne strane, dolazi se dokonacnog rezultata

    0

    cos 2 d =1

    2

    pi

    2,

    0

    sin 2 d =1

    2

    pi

    2.

    Primjer: 2.5 Izracunajtedz e z/z po krivulji sa slike 2.12.

    R: Buduci da je zadana funkcija regularna i analiticka funkcija u naz-

    Slika 2.12: Uz primjer 2.5.

    nacenom podrucju kao i na njegovom rubu, moze se primjeniti Cauchyev in-

  • 2.3. INTEGRAL KOMPLEKSNE FUNKCIJE: CAUCHYJEV INTEGRALNI TEOREM 39

    tegralni teoreme z

    zdz = 0 =

    21

    e z

    zdz +

    32

    e z

    zdz +

    43

    e z

    zdz +

    14

    e z

    zdz

    =

    Rr

    e x

    xdx+

    _2 3

    e z

    zdz +

    rR

    e x

    xdx+

    _4 1

    e z

    zdz.

    Zamjenom varijable u = x u trecem integralu i zbrajanjem s prvim, dobivase

    0 = 2

    Rr

    sinx

    xd x+

    _2 3

    e z

    zdz

    I1

    +

    _4 1

    e z

    zdz

    I2

    (2.12)

    I1 :Izracunajmo integral po luku 2 3 kruznice, kada polumjer neograniceno raste.Uvedimo zamjenu z = Re

    I1 =

    pi0

    eR sin e R cos e R cos 1 d|I1|

    pi0

    eR sin d = 2 pi/20

    eR sin d.

    Kao i u prethodnom primjeru, promatramo granice

    lim0

    sin

    = 1, lim

    pi/2sin

    =

    2

    pi,

    vidimo da je

    2

    pi< sin < R sin < R2

    pi

    eR sin < eR2pi .

    Iz gornjih nejednakosti slijedi

    |I1| pi/20

    eR2 2pi d =

    pi

    2R

    (1 eR) .

    Kada R neograniceno raste

    limR

    |I1| limR

    pi

    2R

    (1 eR) = 0.

    I2 :Ovdje uvodimo zamjenu z = r e , pa je

    I2 =

    0pi

    e r cosr sin d

    limr0 I2 = 0pi

    d = pi.

  • 40 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Time iz (2.12) slijedi 0

    sinx

    xd x =

    pi

    2.

    2.4 Cauchyjeva integralna formula

    Neka je f(z) regularna analiticka funkcija u jednostruko povezanom podrucju P i nanjegovom rubu K (slika 2.13). Uocimo tocku z0 P u kojoj je f analiticka i regularna.

    Slika 2.13: Uz Cauchyev integral.

    Funkcija

    f(z)

    z z0je regularna u svim tockama podrucja P , osim u tocki z0, jer u toj tocki gornji razlomakdivergira2. Izdvoji li se tocka z0 iz podrucja P malom kruznicom k polumjera r koja ucjelosti lezi u podrucju P , tada je f(z)/(z z0) regularna u podrucju izmedu k i K, kaoi na samim rubovima k i K. Prema Cauchyevom integralnom teoremu za visestrukopovezana podrucja (2.11) iz prethodnog odjeljka, znamo da vrijednost integrala regularnefunkcije ne ovisi o obliku krivulje po kojoj se integrira, pa je zato

    K

    f(z)

    z z0 dz =k

    f(z)

    z z0 dz. (2.13)

    2a divergiraju i derivacije; npr.

    d

    d z

    f(z)

    z z0=

    d f

    d z

    1

    z z0 f(z)(z z0)2

    .

  • 2.4. CAUCHYJEVA INTEGRALNA FORMULA 41

    Rijesimo integral po maloj kruznici tako sto cemo zapoceti s uvrstavanjem identiteta

    f(z) = f(z0) +[f(z) f(z0)

    ]k

    f(z)

    z z0 dz =k

    f(z0)

    z z0 dz +k

    f(z) f(z0)z z0 dz

    = f(z0)

    k

    dz

    z z0 +k

    f(z) f(z0)z z0 dz f(z0) I1 + I2.

    Sada rjesavamo integrale I1 i I2.Zamjenom varijable z = z0 + r e

    (slicno kao u primjeru 2.3), za integral I1 se dobiva

    I1 =

    k

    dz

    z z0 = 2pi0

    r d e

    r e =

    2pi0

    d = 2 pi .

    Pogledajmo sada integral I2: zbog neprekidnosti f(z), polumjer r kruznice k jemoguce odabrati tako malim, da za svaku tocku z sa kruznice vrijedif(z) f(z0) < ,gdje je > 0 proizvoljno mala pozitivna velicina. Buduci da podintegralna funkcija mozebiti i pozitivna i negativna, to vrijedi slijedeca nejednakost

    k

    f(z) f(z0)z z0 dz

    < k

    f(z) f(z0)|z z0| |dz| r, jer tada red

    n=0 (z z0)n an divergira. To naravno ne znacida f(z) ne postoji izvan navedene kruznice (podrucja konvergencije). Ona postoji ucijelom podrucju P . Evo jednostavnog primjera: u krugu polumjera r = 1 oko ishodista,red (naziva se i element funkcije)

    Pf (z) =n=0

    zn

    predstavlja funkciju f(z) = (1 z)1 (usporedite s (2.18)). Ova funkcija postoji i izvan

    Slika 2.16: Uz analiticko produljenje.

    navedenog kruga: npr. u tocki z = 5, ona ima vrijednost f(5) = 1/4. No, ta sevrijednost ne moze izracunati iz gornjeg reda, jer on divegira za z = 5.

    Prema Taylorovu razvoju, moze se odabrati tocka z1 blizu ruba podrucja konvergencije(slika 2.16A) i u toj tocki izracunati

    f(z1), f(n)(z1), n = 1, 2, 3,

    i dobiti element funkcije Pf (z z1) koj pripada tocki z1. Tako dobiveni red

    Pf (z z1) =n=0

    (z z1)n a n

    ima polumjer konvergencije najmanje jednak r |z1 z0| i dodiruje iznutra kruznicupolumjera r (slika 2.16.A). Najcesce je ovaj novi polumjer konvergencije veci od navedenogi prelazit ce pocetnu kruznicu polumjera r. Vratimo se primjeru f(z) = 1/(1 z) cijired

    n=0 z

    n konvergira za |z| < 1, ima singularitet u z = 1, a analiticka je svuda dalje.

  • 2.6. POLOVI FUNKCIJE 47

    Razvije li se f(z) oko tocke z1 =

    1

    1 z =1

    1 + z =1

    1 1

    1 z 1

    =1

    1

    [1 +

    z 1 +

    (z 1

    )2+

    (z 1

    )3+

    ].

    Gornji je red konvergentan zaz 1 < 1 |z | < 2,

    tj. novo je podrucje konvergencije krug polumjera2 sa sredistem u z1 = (slika 2.16.B).

    Rezimirajmo: funkcija f(z) = 1/(1 z) se moze prikazati redom

    Pf (z z0) =n=0

    zn, z0 = 0

    u podrucju P1 u kojemu je |z| < 1, ili redom

    Pf (z z1) =n=0

    (z )n(1 )n+1 , z1 =

    u podrucju P2 u kojemu je |z | 1

    je funkcija koja ima pol M-tog reda u tocki z = z0 s reziduumom jednakima1 = 0.

    Buduci da je

    f(z) = (z z0)m g1(z), g1(z0) = am 6= 0,to je i

    limz z0

    (z z0)m f(z) = g1(z0) = am 6= 0. (2.21)Pol m-tog reda funkcije f je nultocka m-tog reda funkcije 1/f .

    Jednoznacna funkcija, regularna u danom podrucju P kompleksne ravnine, osim u tockamakoje su joj polovi, zove se meromorfna5 funkcija u tom podrucju. Ako funkcija imabeskonacno puno polova, oni se mogu gomilati samo na rubu podrucja P , a ta tockagomilanja se naziva bitni singularitet funkcija.

    Primjer: 2.7 Funkcija

    f(z) = tan1

    z

    ima beskonacno puno polova u tockama z0,n = 2/(npi), n = 1,2, , kojese gomilaju oko tocke z = 0, koja NIJE pol.

    Primjer: 2.8 Pokazite da cijela racionalna funkcija n-tog stupnja Pn(z) ima u z = pol n-tog reda.

    5zeli se reci da su jedini singulariteti u obliku polova (izoliranih tocaka), tj. da nema linija ili povrsina u kojima bifunkcija bila singularna.

  • 50 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    R: Oznacimo s z = 1/z. tada jePn(z) = z

    nan + zn1an1 + + za1 + a0,

    Pn(1/z) =

    1

    (z 0)nan +1

    (z 0)n1an1 + +1

    (z 0)1a1 ++a0.

    Iz gornjeg se zapisa iscitava da je z 0 = 0 pol n-tog reda, sto znaci da jez0 = 1/z

    0 = pol n-tog reda.

    Iz gornjeg primjera se zakljucuje da racionalna funkcija

    R(z) =Pn(z)

    Qm(z),

    gdje su Pn(z) iQm(z) polinomi bez zajednickih linearnih faktora, ima za konacni z konacanbroj polova koji su nul-tocke nazivnika, a u z = ima pol (nm)-tog reda ako je n > m.

    Odredivanje reziduuma:Ako je z0 pol prvog reda, prema (2.21) je

    limz z0

    (z z0) f(z) = g1(z0) = a1.

    Ako je F (z) = f(z)/g(z) i ako je z0 nultocka prvog reda od g, tj. g(z0) = 0, g(z0) 6=

    0, f(z0) 6= 0, tada je z0 pol prvog reda od F

    (z z0)F (z) = f(z) z z0g(z)

    = f(z)z z0

    g(z) g(z0)=

    f(z)g(z)g(z0)

    zz0,

    limz z0

    (z z0)F (z) = a1 = limz z0

    f(z)g(z)g(z0)

    zz0=

    f(z0)

    g (z0)

    a1 = f(z0)g (z0)

    . (2.22)

    Slicno se pokazuje, (2.20), i da ako funkcija ima pol m-tog reda, tada uz clan 1/(z z0)stoji koeficijent a1 koji je jednak

    a1 =1

    (m 1) ! limz z0dm1

    dzm1(z z0)m f(z).

    Primjer: 2.9 Odredite polove i reziduume funkcije F (z) = 1/(1 + z2).

    R: Iz zapisa funkcije u oblikuF (z) =

    1

    1 + z2=

    1

    (z + )(z )

  • 2.7. LAURENTOV RAZVOJ 51

    vidimo da funkcija ima dva pola prvog reda: z0,1 = +, z0,2 = . Funkcija jeoblika F = f/g, pa su, prema (2.22), reziduumi jednaki

    a1 =1

    2 z

    z=

    = 12.

    Primjer: 2.10 Odredite polove i reziduume funkcije F (z) = 1/ sin z.

    R: Kao i u prethodnom primjeru, i ovo je racionalna funkcija, s nulamanazivnika u tockama

    z0,n = npi, n = 0, 1, 2, 3, ,tj. polova funkcije F ima prebrojivo beskonacno. Da se radi o polovima prvogreda, vidimo po tome sto je vec a1 razlicit od nule

    a1 =f(z0)

    g (z0)=

    1

    cosnpi= (1)n 6= 0.

    2.7 Laurentov razvoj

    Laurentov6 razvoj je poopcenje Taylorova razvoja, a odnosi se na jednoznacne funkcijeregularne u podrucju omedenom sa dvije jednostavne zatvorene krivulje K i K (slika2.17) unutar kojih se moze smjestiti kruzni vijenac omeden kruznicama k i k polumjera

    Slika 2.17: Uz Laurentov razvoj.

    r i r uz r > r sa sredistem u z0 unutar K . Za tocke z unutar kruznog vijenca je

    r < |z z0| < r.6P. A. Laurent, 1841; K. Weierstrass, 1841

  • 52 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Funkcija f je jednoznacna i regularna u svim tockama kruznog vijenca i na kruznicama,dok se o njoj nista ne pretpostavlja niti u unutrasnjosti K , niti izvan K. Neka je z tockaiz kruznog vijenca, a k kruznica sa sredistem u z koja u cjelosti lezi u vijencu, slika 2.18.Formirajmo krivulju C kao na slici 2.18 koja je odredena kruznicama k, k i k i duzinama

    Slika 2.18: Cauchyeva integralna formula i Laurentov razvoj.

    , , , . Buduci da tocka z nije obuhvacena krivuljom, to prema Cauchyevoj integralnojformuli (2.15) slijedi da je

    1

    2 pi

    C

    f(z )z z dz

    = 0.

    Integraciju po krivulji C rastavljamo na integraciju po njezinim dijelovimaC=

    +

    (k )desno

    +

    +

    k +

    +

    (k )lijevo

    +

    +

    k

    .

    U granici kada procjep iscezava, integrali po duzinama i postaju isti po iznosu, asuprotni po predznaku (zbog suprotnog smjera obilaska), pa je njihov zbroj jednak nuli

    +

    = 0.

    Isto vrijedi i za integrale po duzinama i

    +

    = 0.

    Preostaju integrali po kruznicama, pri cemu predznak integrala ovisi o smjeru obilaskapojedine kruznice

    0 = k

    f(z )z z dz

    k

    f(z )z z dz

    +k

    f(z )z z dz

    .

  • 2.7. LAURENTOV RAZVOJ 53

    Kruznica k obuhvaca7 tocku z, pa je prema Cauchyevoj integralnoj formuli (2.15)k

    f(z )z z dz

    = 2 pi f(z).

    Uvrsti li se to u gornju vezu medu integralima, slijedi

    f(z) =1

    2pi

    k

    f(z )z z dz

    12pi

    k

    f(z )z z dz

    . (2.23)

    Sada se postupa slicno kao i kod izvoda Taylorova razvoja: z z = z z0 z + z0 =(z z0) (z z0). Iz slike (2.19) se vidi da vrijede slijedece relacije:

    Na kruznici k je |z z0| > |z z0| kada je z k.

    Slika 2.19: Cauchyeva integralna formula i Laurentov razvoj.

    1

    2pi

    k

    f(z )z z dz

    =1

    2 pi

    k

    f(z )(z z0) (z z0) dz

    =1

    2 pi

    k

    f(z )z z0

    1

    1 zz0z z0

    dz ,

    pri cemu je z z0z z0 < 1.

    7I kruznica k obuhvaca tocku z, ali na integral po k ne mozemo primjeniti Cauchyevu integralnu formulu, jer k obuhvacai podrucje K u kojemu funkcija ne mora biti analiticka.

  • 54 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Na kruznici k je |z z0| < |z z0| kada je z k .1

    2pi

    k

    f(z )z z dz

    =1

    2 pi

    k

    f(z )(z z0) (z z0) dz

    = 12pi

    k

    f(z )z z0

    1

    1 z z0zz0

    dz ,

    pri cemu je z z0z z0 < 1.

    Uvrstavanjem gornjih relacija u (2.23), dolazi se do

    f(z) =1

    2pi

    k

    f(z )z z0

    1

    1 zz0z z0

    dz 12 pi

    k

    f(z )z z0

    1

    1 z z0zz0

    dz .

    Koristeci se razvojem (2.18) koji konvergira za || < 1, gornji izraz za f(z) postaje

    f(z) =1

    2pi

    k

    f(z )z z0

    [1 +

    z z0z z0 +

    (z z0z z0

    )2+

    (z z0z z0

    )3+

    ]dz

    +1

    2pi

    k

    f(z )z z0

    [1 +

    z z0z z0 +

    (z z0z z0

    )2+

    (z z0z z0

    )3+

    ]dz

    =1

    2pi

    n=0

    (z z0)nk

    f(z )(z z0)n+1 dz

    +1

    2pi

    n=1

    (z z0)nk

    f(z ) (z z0)n1 dz .

    Prvi zbroj konvergira za sve z unutar kruznice k, a drugi konvergira za sve z izvan k .Ako se u drugom zbroju uvede novi indeks zbrajanja m = n, dobije se

    1

    2 pi

    1m=

    (z z0)mk

    f(z ) (z z0)m1 dz .

    No, m je nijemi indeks po kojemu se zbraja, pa ga mozemo nazvati i n

    1

    2pi

    1n=

    (z z0)nk

    f(z )(z z0)n+1 dz

    ,

    cime f(z) postaje

    1

    2pi

    n=0

    (z z0)nk

    f(z )(z z0)n+1 dz

    +1

    2pi

    1n=

    (z z0)nk

    f(z )(z z0)n+1 dz

    .

    Prema relaciji (2.11), znamo da integralikik ne ovise o tome jesu li k i k

    kruzniceili bilo koje druge jednostavne zatvorene krivulje u podrucju izmedu K i K , uz uvjet daobuhvacaju tocku z0. Zbog toga za f(z) mozemo napisati

  • 2.7. LAURENTOV RAZVOJ 55

    Slika 2.20: Uz Laurentov razvoj.

    f(z) =1

    2pi

    n=0

    (z z0)nk

    f(z )(z z0)n+1 dz

    +1

    2pi

    1n=

    (z z0)nk

    f(z )(z z0)n+1 dz

    =1

    2pi

    n=

    (z z0)nk

    f(z )(z z0)n+1 dz

    gdje je k bilo koja pozitivno usmjerena zatvorena krivulja (ne nuzno kruznica) izmedu Ki K , koja obuhvaca tocku z0 (slika 2.20). Nazove li se8

    an =1

    2pi

    k

    f(z )(z z0)n+1 dz

    ,

    tada je Laurentov razvoj funkcije f(z) oblika

    f(z) =

    n=an (z z0)n. (2.24)

    Laurentov se razvoj razlikuje od Taylorova po negativnim potencijama (z z0), pa jestoga uvijek divergentan bar u z = z0.

    Primjer: 2.11 Napisite Laurentov razvoj funkcije f(z) = 1/[z(z 1)].

    R: Funkcija ima polove u tockama z0 = 0 i z0 = 1. Ako odaberemo z0 = 0,tada je f(z) analiticka u kruznom vijencu 0 < r < 1 (slika 2.21). U racunukoeficijenata an, za krivulju integracije je najjednostavnije odabrati kruznicu

    8primjetimo da an ne mozemo, preko relacije (2.16) povezati s derivacijama f , jer ovdje indeks n moze biti i negativan

  • 56 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Slika 2.21: Uz primjer Laurentovog razvoja funkcije f(z) = 1/[z(z 1)] oko ishodista.

    polumjera 0 < < 1 sa sredistem u ishodistu

    an =1

    2pi

    k

    f(z)

    (z z0)n+1 dz, z0 = 0, f(z) =1

    z(z 1)

    = 12 pi

    k

    dz

    z n+2(1 z) = (2.18) = 1

    2pi

    k

    dz

    z n+2

    m=0

    zm

    = 12 pi

    m=0

    k

    dz

    z n+2m.

    Na kruznici je z = e , pa je i

    an = 12pi

    m=0

    n1+m 2pi0

    e (n1+m) d.

    Vrijednost gornjeg integrala ovisi o odnosu n i m: ako je 0 = n+ 1m, tada je 2pi

    0

    e0 d = 2 pi.

    ako je 0 6= n+ 1m, tada je n = n 1 +m neki cijeli broj, pa je 2pi0

    e nd = 0.

    Obje ove mogucnosti se mogu zapisati kao 2pi0

    e (n1+m) d = 2 pi m,n+1.

  • 2.8. PRESLIKAVANJA 57

    To daje za koeficijente an

    an = 12pi

    m=0

    n1+m 2pi m,n+1 = 1m=0

    m,n+1.

    Ako je n = 1, 0, 2, 3, , u m=0 ce se uvijek naci clan koji zadovoljavazahtjev m = n+1 i zato ce koeficijenti an s takvim n imati vrijednost 1. Sviostali koeficijenti s n = 2,3,4, imaju vrijednost nula

    an =

    {1 n 10 n < 2 .

    Time se za razvoj trazene funkcije dobiva

    1

    z(z 1) =+

    n=an(z z0)nz0=0 =

    +n=1

    (1) zn = (1

    z+ 1 + z + z2 +

    ).

    2.8 Preslikavanja

    U ovom ce odjeljku biti rijeci o geometrijskim svojstvima kompleksnih funkcija kom-pleksne varijable.

    Kod realnih funkcija jedne realne varijable, situacija je razmjerno jednostavna: zadana jefunkcija y = f(x) koja svakoj vrijednosti nezavisne varijable x pridruzuje jednu vrijednosty, sto se onda moze prikazati u dvije dimenzije tako da je x apscisa, a y ordinata. U kom-pleksnom podrucju, stvari su nesto slozenije: kompleksna funkcija w = f(z) je funkcijajedne kompleksne, tj. dvije nezavisne realne varijable z = x+ y

    w = f(z) = u(x, y) + v(x, y).

    Gornja relacija svakoj tocki kompleksne z = (x, y) ravnine pridruzuje jednu tocku ukompleksnoj w = (u, v) ravnini. Isto tako ce i pojedine linije i plohe iz z ravnine bitipreslikane u odgovarajuce linije i plohe u w ravnini.

    U nastavku ovog odjeljka cemo studirati neka jednostavnija od tih preslikavanja.

    translacija:

    Funkcija translacije je jedna jednostavna funkcija koja svaku tocku prostora, z, samopomice (translatira) za neki konstantni iznos z0 = x0+ y0, to je zbrajanje konstantom(slika 2.22)

    w = f(z) = z + z0,

    u(x, y) = x+ x0,

    v(x, y) = y + y0.

    zakret (rotacija):

  • 58 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    Slika 2.22: Funkcija translacije.

    Funkcija zakreta tocke za neki fiksni kut, je dana mnozenjem konstantom

    w = z z0,gdje je z0 konstanta. Kod opisa zakreta je uobicajeno koristiti polarni koordinatni sustavu kojemu je

    w = e , z = r e , z0 = r0 e 0 .

    U polarnom zapisu je dakle

    e = r e r0 e 0 = r r0 e

    (+0)

    = r r0,

    = + 0.

    Iznos kompleksnog broja je promijenjen sa r na r r0, a kut je povecan sa na + 0(slika 2.23). Time je izveden zakret za kut 0. cisti zakret (bez promjene iznosa z) sedobije za r0 = 1. Tako je npr. cisti zakret za kut pi/2 radijana, dan mnozenjem sa z0 = .

    inverzija:

    Pod operacijom (funkcijom) inverzije se misli na inverz u odnosu na mnozenje

    w =1

    z.

    Ponovo, prijelazom u polarne koordinate,

    w = e , z = r e ,

  • 2.8. PRESLIKAVANJA 59

    Slika 2.23: Funkcija zakreta.

    dobiva se

    e =1

    r e ,

    =1

    r,

    = .Ocito je da naziv inverzija potjece od relacije = 1/r. Ovom se relacijom, npr. unu-trasnjost jedinicne kruznice preslikava u njezinu vanjstinu9. Relacija = ukazuje dase operacijom inverzije osim promjene iznosa, izvodi jos i promjena predznaka kuta tj.zrcaljenje oko realne osi ili, kako smo to ranije zvali, kompleksno konjugiranje.

    Pogledajmo kako se neke jednostavne linije u z ravnini preslikavaju u w ravninu. Zapisimooperaciju inverzije u pravokutnim koordinatama

    u+ v =1

    x+ y

    i izjednacimo realne i imaginarne dijelove na obje strane jednakosti

    u =x

    x2 + y2, x =

    u

    u2 + v2(2.25)

    v =y

    x2 + y2, y =

    vu2 + v2

    .

    Jedna vrlo jednostavna linija je npr. pravac paralelan s osi x

    y = c0 = const.

    9Primjetimo da unutrasnjost jedinicne kruznice ima jednako mnogo tocaka kao i njezina vanjstina.

  • 60 POGLAVLJE 2. FUNKCIJE KOMPLEKSNE VARIJABLE 1

    (x ima proizvoljne vrijednosti). U skladu s gornjim relacijama je

    c0 =v

    u2 + v2,

    sto se moze napisati i u obliku

    u2 +

    (v +

    1

    2c0

    )2=

    1

    4c20,

    u kojemu prepoznajemo kruznicu10 polumjera 1/(2c0) u w = (u, v) ravnini, sa sredistem

    Slika 2.24: Operacijom inverzije, pravac se preslkava u kruznicu.

    u tocki [0,1/(2c0)] (slika 2.24).Opcenito ce se svaki pravac ili kruznica u z ravnini preslikati u pravac ili kruznicu u wravnini (dvostruka primjena operacije inverzije daje identitet, pa su zato prvac i kruznicamedusobno inverzne linije). Tako npr. jednadzba

    a(x2 + y2) + 2bx+ 2cy + d = 0,

    za a 6= 0 opisuje kruznicu, a za a = 0 opisuje pravac u z ravnini. Lako je uvjeriti se da seoperacijom inverzije (2.25) gornja jednadzba preslikava u

    d(u2 + v2) + 2bu 2cv + a = 0,sto je za d 6= 0 jednadzba kruznice, a za d = 0 jednadzba pravca u w ravnini.

    Tocke razgranista i viseznacne funkcije:Gornja preslikavanja su jednu tocku z ravnine preslikala u jednu tocku w ravnine, pa suu tom smislu to bila jednoznacna ili jedan-jedan preslikavanja. U ovom ce se odjeljku

    10Primjetimo da se sve tocke pravca (koji je beskonacne duljine) preslikavaju u sve tocke kruznice (pri cemu je opsegkruznice konacan).

  • 2.8. PRESLIKAVANJA 61

    razmatrati preslikavanja koja dvije ili vise tocaka jedne ravnine preslikavaju u jed-nu tocku druge ravnine (i, naravno, njihove inverze). Takva se preslikavanja nazivajuviseznacnim.

    Kao prvi primjer promotrimo preslikavanje (funkciju)

    w = z2. (2.26)

    Za w = e i z = r e , gornje se preslikavanje moze zapisati i kao

    = r2, = 2.

    Preslikavanje je nelinearno, jer se iznos kvadrira. No, ono sto je vazno u gornjoj relaciji jeda se kut udvostrucava: to znaci da se prvi kvadrant z ravnine 0 < < pi/2 preslikava ucijelu gornju w poluravninu 0 < < pi, a gornja z poluravnina0 < < pi se preslikava ucijelu w ravninu 0 < < 2pi. Donja poluravnina z se opet (tj. po drugi puta) preslikava ucijelu w ravninu. Ovo je primjer dvoznacnog preslikavanja: dvije razlicite tocke z ravnine,z0 i z0 e

    pi = z0, preslikavaju se u istu tocku w = z20 u w ravnini. Ovo se preslikavanjemoze prikazati i u pravokutnim koordinatama

    u+ v = (x+ y)2

    u = x2 y2,v = 2xy.

    Iz gornjih se veza vidi da medusobno okomitim pravcima u = c1 i v = c2 u w ravnini,odgovaraju medusobno okomite hiperbole x2 y2 = c1 i 2xy = c2 u z ravnini (slika 2.25).Svaka tocka hiporbole x2 y2 = c1 iz gornje poluravnine, x > 0, se preslikava u jednu

    Slika 2.25: Preslikavanje w = z2, povezuje medusobno okomite pravce u = c1 i v = c2 u w ravnini, slikaB, s medusobno okomitim hiperbolama x2 y2 = c1 i 2xy = c2 u z ravnini, slika A.

    od tocaka pravca u = c1. No, isto tako se i svaka tocka hiperbole x2 y