- MATH.APP.440
- 6. Nollat ja erikoispisteet
- 6.3 Erikoispisteiden tunnuspiirteitä
Erikoispisteiden tunnuspiirteitä¶
Kun eristettyjen erikoispisteiden lajit määritellään Laurentin sarjan avulla, on luonnollista kysyä miten niitä voisi etsiä tilanteissa, joissa sarjakehitelmää ei tunneta. Jokaisella erikoispisteen tyypillä on sille ominaisia piirteitä, jotka auttavat niiden tunnistamisessa ja ominaisuuksien tutkimisessa.
Eristetyn erikoispisteen poistuvuus (ja myöhemmin oleellisuus) liittyy kiinteästi sen ympäristön kuvajoukkoon funktiossa. Eräässä mielessä voidaan todeta, että z0 on funktion f poistuva erikoispiste, kunhan funktion f arvot pysyvät käsissä pisteen z0 punkteeratussa ympäristössä.
Lause 6.3.1 (Riemannin lause)
Olkoon z0 funktion f eristetty erikoispiste. Tällöin seuraavat väitteet ovat yhtäpitäviä.
- Funktiolla f on pisteessä z0 poistuva erikoispiste.
- Funktio f voidaan jatkaa analyyttiseksi pisteen z0 ympäristössä.
- Funktio f on rajoitettu pisteen z0 ympäristössä.
Todistetaan implikaatiot 1⇒2 ja 3⇒1. Puuttuvan implikaation 2⇒3 todistaminen jätetään harjoitustehtäväksi.
1⇒2: Jos z0 on funktion f poistuva erikoispiste, niin pisteen z0 ulkopuolella
joillekin kertoimille an, missä n∈Z ja an=0 aina, kun n<0. Tällöin myös pisteessä z0 määritelty funktio
on lauseen 5.2.9 nojalla analyyttinen pisteen z0 ympäristössä piste z0 mukaan luettuna.
3⇒1: Määritellään uusi, myös pisteessä z0 määritelty funktio g asettamalla
Tämä on analyyttinen pisteen z0 punkteeratussa ympäristössä, sillä f on sitä. Lisäksi
kun h→0, missä M on funktion f rajoittuneisuuteen liittyvä vakio. Täten g′(z0)=0 ja g on analyyttinen pisteen z0 ympäristössä piste z0 mukaan lukien. Nyt siis funktiolla g on pisteen z0 ympäristössä Taylorin sarja
missä an=g(n)(z0)/n!, joten funktiolla g on vähintään kaksinkertainen nolla pisteessä z0. Nyt pisteen z0 ympäristössä on oltava
eli funktion f Laurentin sarjassa ei ole negatiivisia potensseja, eli z0 on poistuva erikoispiste.
Seuraavan lauseen toinen kohta osoittaa, että kertomalla termillä (z−z0)k funktiota, jolla on k-kertainen napa, saadaan funktio, jolla on poistuva erikoispiste. Kohta kolma on saman asian uudelleen muotoilu.
Lause 6.3.2
Oletetaan, että z0 on funktion f eristetty erikoispiste ja että kokonaisluku k>0. Tällöin seuraavat väitteet ovat yhtäpitäviä.
- Funktiolla f on pisteessä z0 k-kertainen napa.
- k on pienin kokonaisluku, jolla limz→z0(z−z0)kf(z)∈C∖{0}.
- k on pienin kokonaisluku, jolla f(z)=(z−z0)−kg(z), missä g on pisteessä z0 analyyttinen funktio ja g(z0)≠0.
Hahmotellaan todistuksen idea. Funktiolla f on pisteessä z0 k-kertainen napa, jos ja vain jos Laurentin sarjassa
kertoimet an−k=0, kun n−k<0 ja a−k≠0. Niinpä yhtäpitävästi raja-arvo
ja toisaalta
missä potenssisarja määrittelee pisteessä z0 analyyttisen funktion g, jolle g(z0)=a−k≠0. Positiivisen kokonaisluvun minimaalisuus vaaditaan siihen, että Laurentin sarjakehitelmän voi todella aloittaa indeksistä −k.
Samaan tapaan kuin rationaalifunktion nollat ja navat liittyvät toisiinsa osoittajan ja nimittäjän nollakohtien kautta, myös yleisen kompleksimuuttujan funktion f ja siihen liittyvän osamäärän 1/f nollat ja navat liittyvät toisiinsa.
Lause 6.3.3
Oletetaan, että z0 on funktion f eristetty erikoispiste ja että kokonaisluku k>0. Funktiolla f on pisteessä z0 k-kertainen napa, jos ja vain jos funktiolla 1/f on pisteessä z0 k-kertainen nolla.
Hahmotellaan todistuksen idea. Funktiolla f on pisteessä z0 k-kertainen napa, jos ja vain jos funktio (z−z0)kf(z) voidaan jatkaa analyyttiseksi pisteen z0 ympäristössä piste z0 mukaan lukien. Tällöin myös funktio
on analyyttinen pisteen z0 ympäristössä, ja sillä on Taylorin sarja
Yhtäpitävästi siis funktiolla 1/f on Taylorin sarja
mistä voidaan päätellä, että funktiolla 1/f on k-kertainen nolla pisteessä z0.
Oleelliset erikoispisteet eroavatkin sitten luonteeltaan merkittävästi poistuvista erikoispisteistä ja navoista. Kahdesta aikaisemmasta voidaan “päästä eroon” kertomalla sopivalla termillä funktion määritelmää. Oleellisen erikoispisteen z0 tapauksessa mitään raja-arvoista
ei ole olemassa. Toisaalta tällä on merkittävä vaikutus funktion arvoihin erikoispisteen välittömässä ympäristössä. Picardin suurena lauseena tunnettu väite tyydytään vain toteamaan tässä.
Lause 6.3.4 (Picardin suuri lause)
Oletetaan, että z0 on funktion f eristetty erikoispiste. Jos funktiolla f on pisteessä z0 oleellinen erikoispiste, niin f saavuttaa jokaisessa pisteen z0 ympäristössä jokaisen kompleksilukuarvon korkeintaan yhtä poikkeusta lukuunottamatta.
Esimerkki 6.3.5
Funktiolla e1/z2 on oleellinen erikoispiste origossa, joten Picardin suuren lauseen oletukset toteutuvat. Koska e1/z2≠0 aina, kun z≠0, niin jokaiselle säteelle r>0 punkteeratun kiekon 0<|z|<r kuvajoukko on C∖{0}.
Funktion eristetty erikoispiste on ainoa ympäristönsä piste, jossa funktio ei ole analyyttinen. Funktiolla on pisteessä z0
- k-kertainen nolla, jos siinä kehitetyssä Taylorin sarjassa ak on ensimmäinen nollasta eroava kerroin,
- k-kertainen napa, jos siinä kehitetyssä Laurentin sarjassa a−k on ensimmäinen nollasta eroava kerroin.
Funktion 1/f k-kertaiset nollat ovat funktion f k-kertaiset navat. Muita eristettyjä erikoispisteitä ovat
- poistuva erikoispiste: funktio voidaan jatkaa analyyttiseksi siinä,
- oleellinen erikoispiste: ei poistuva erikoispiste eikä minkään kertaluvun napa.