Laurentreeks

Uit testwiki
Naar navigatie springen Naar zoeken springen
Een laurentreeks is gedefinieerd ten opzichte van een punt c en een integratieweg γ die in een ring (hier rood) moet liggen, waarbinnen de functie analytisch is

De laurentreeks van een complexe functie f is in de wiskunde een voorstelling van f als een machtreeks met eventueel ook termen met een negatieve macht. Een laurentreeks kan soms toegepast worden als een taylorreeks niet bestaat. De reeks is genoemd naar Pierre Alphonse Laurent, die hem in 1843 introduceerde.

Definitie

De laurentreeks van een complexe functie f in het punt c is de machtreeks

n=an(zc)n,

waarin de coëfficiënten an gegeven worden door de kringintegraal

an=12πiγf(z)dz(zc)n+1

over een gesloten contour γ tegen de klok in. De contour γ moet een rectificeerbaar pad zijn dat zichzelf niet snijdt, het punt c in zijn inwendige bevatten, en in een ringvormig gebied liggen waarbinnen f analytisch is. De ontwikkeling van f geldt overal binnen de genoemde ring.

In de praktijk blijken de integralen vaak moeilijk te berekenen, en maakt men gebruik van bekende taylorontwikkelingen om de laurentreeks samen te stellen.

Voorbeeld

Om in het punt i de laurentreeks van de functie

f(z)=1z2+1

te bepalen, moeten de integralen

an=12πiγdz(z2+1)(zi)n+1

over een contour γ om i berekend worden. Direct is te zien dat:

1z2+1=1(zi)(z+i)

en

1z+i=12i+(zi)=12i1112i(zi),

die weer als meetkundige reeks geschreven kan worden:

12i1112i(zi)=12i(1+12i(zi)+(12(zi))2+(12i(zi))3+)

Daarmee wordt, na vermenigvuldiging met 1/(z - i), de laurentreeks

1z2+1=(12i)(zi)1(12i)2(12i)3(zi)(12i)4(zi)2

Zie ook