Laurentreeks

Een laurentreeks is gedefinieerd ten opzichte van een punt $c$ en een integratieweg $\gamma$ 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

$\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n},$

waarin de coëfficiënten $a_{n}$ gegeven worden door de kringintegraal

$a_{n}={\frac {1}{2\pi i}}\oint _{\gamma }{\frac {f(z)\,\mathrm {d} z}{(z-c)^{n+1}}}$

over een gesloten contour $\gamma$ tegen de klok in. De contour $\gamma$ 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)={\frac {1}{z^{2}+1}}$

te bepalen, moeten de integralen

$a_{n}={\frac {1}{2\pi i}}{}\oint _{\gamma }{\frac {\mathrm {d} z}{(z^{2}+1)(z-i)^{n+1}}}$

over een contour $\gamma$ om $i$ berekend worden. Direct is te zien dat:

${\frac {1}{z^{2}+1}}={\frac {1}{(z-i)(z+i)}}$

en

${\frac {1}{z+i}}={\frac {1}{2i+(z-i)}}=-{\tfrac {1}{2}}i{\frac {1}{1-{\tfrac {1}{2}}i(z-i)}}$,

die weer als meetkundige reeks geschreven kan worden:

$-{\tfrac {1}{2}}i{\frac {1}{1-{\frac {1}{2}}i(z-i)}}=-{\tfrac {1}{2}}i\left(1+{\tfrac {1}{2}}i(z-i)+\left({\tfrac {1}{2}}(z-i)\right)^{2}+\left({\tfrac {1}{2}}i(z-i)\right)^{3}+\ldots \right)$

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

${\frac {1}{z^{2}+1}}=-({\tfrac {1}{2}}i)(z-i)^{-1}-({\tfrac {1}{2}}i)^{2}-({\tfrac {1}{2}}i)^{3}(z-i)-({\tfrac {1}{2}}i)^{4}(z-i)^{2}-\ldots$

Zie ook

• Z-transformatie

Externe links

• Laurent Series Module by John H. Mathews
• Laurent Series and Mandelbrot set by Robert Munafo