Laurentserie

En laurentserie är en potensserie av en funktion ƒ(z) som är  analytisk i ringen r < |z  - z0| < R, med 0 ≤ r < R ≤ ∞, innehållande både negativa och positiva potenser av (z - z0) inom ringen.
Laurentserien för en funktion används när man vill veta hur funktionen beter sig nära en singularitet. De är uppkallade efter Pierre Alphonse Laurent.

Funktionen skrivs på serieform som:

Koefficienterna cn ges av:

Där kurvan C är en enkelt sluten positivtorienterad kurva i r < |z| < R, som omsluter z0.

 Sats 
Låt ƒ(z) vara en analytisk funktion i en öppen ring r < |z-z0| < R,  där 0 ≤ r < R ≤ ∞

Då kan ƒ(z) inom ringen skrivas som summan av två potensserier:

De två potensserierna konvergerar båda i den öppna ringen r < |z| < R, dessutom konvergerar de likformigt på alla sluta områden  r < ρ1  ≤ |z - z0| ≤ ρ2 < R.

Koefficienterna cn ges av:

Där kurvan C är en enkelt sluten positivtorienterad kurva inom ringen, som omsluter z0.

 Bevis 

Det är tillräckligt att bevisa likformig konvergens inom alla slutna underområden, eftersom det implicerar punktformig konvergens i det öppna området.
Beviset börjar med att för alla z som uppfyller  r < ρ1  ≤ |z  - z0| ≤ ρ2  < R så ƒ(z) kan skrivas som:
 C1 är en negativtorienterad cirkel runt z0 med radie R1 = (r +ρ1)/2 och C2 är en positivtorienterad cirkel runt z0 med radie R2 = (R +ρ2)/2.

Eftersom z ligger innanför C2 ( se bild till höger ) blir integralen över kurvan precis samma som för en vanlig Taylorserie vilket ger:
 Tn(z) → 0 då  n → ∞ för  |z  - z0| ≤ ρ2 och cj ges av

Därav

Nu vidare till integration kring C1. Eftersom z ligger utanför C1 ( se bild till höger ) gäller det att uttrycka  1 / (s - z) i potenser av (s - z) / (z- z0), som till beloppet är mindre än 1.

Detta insatt i integralen ger:

där vi kan identifiera:

och

Nu ger de s som ligger på C1 att |s  - z|  ≥ ρ1 - R1,   |s  - z0|  = R1 och |z  - z0|  ≥ ρ1

Eftersom  så fås

Nu är båda integralerna från (1) uttryckta som likformigt konvergerande serier, på den form som beskrivs i satsen, med det gemensamma konvergensområdet ρ1  ≤ |z  - z0| ≤ ρ2.

Det enda som saknas av beviset är att verifiera koefficienterna för ekvationen.

Om j är icke-negativ används (2) och för alla andra j används (3) och därmed är (1) uppfylld för alla j och beviset är klart.

Integraler kring singulära punkter
En kurvintegral av en funktion på ett slutet område, där funktionen har en singularitet inom detta område, kan väldigt effektivt beräknas med hjälp av Laurentserien för funktionen. Summan av funktionens residyer innanför den sluta integrationskurvan, multiplicerat med 2πi, är nämligen värdet av integralen.

Exempel
Exempel 1

Steg för steg visas här ett enklare exempel på hur man tar fram Laurentserien för en funktion inom ett specifikt område.
Bilden till höger illustrerar den öppna ring, inom vilken funktionen ska uttryckas som en Laurentserie.
Här visas hur funktionen f(z)  = 1/(z² - z - 6) skrivs som en Laurentserie inom området 2<|z|<3.

Faktorisera funktionen:

Eftersom nämnaren är ett andragradsuttryck används kvadratkomplettering vid faktoriseringen.

Identifiera singulariteter:

Funktionen har två singulariteter, en singulär punkt finns i z = 3 och den andra i z = -2.
Båda punkterna ligger utanför det området som ska användas, så funktionen har inga farliga punkter inom det område som ska användas, det går därmed att se den som en Laurentserie där.

Dela upp funktionen:

Nämnaren är produkten av två förstagradsuttryck så här används partialbråksuppdelning för att separera dem.

Gradvis identifiering:

Nu kan funktionen skrivas som skillnaden mellan två bråk:

Omvandla till serier:

Nu ska varje term skrivas som produkter innehållande en geometrisk serie.

Resultat:
Nu kan funktionen skrivas som summan av två potensserier, den ena med negativa termer den andra med positiva termer, den går alltså att skriva som en Laurentserie!

Exempel 2
Här visas hur man med hjälp av residyn tar fram värdet av en integral.
Uppgiften är att beräkna värdet av integralen

Residyn är detsamma som koefficienten för 1/z termen i Laurentserien, därför måste denna tas fram först.

Maclaurinutveckling:

Serieutveckling skedde kring z'' = 0 eftersom det är där integranden har sin singularitet.
Koefficienten som tillhör 1/z är 2, som alltså är residyn för integranden.

Källor

Externa länkar 

Komplex analys