Residu (functietheorie)

In de functietheorie, een deelgebied van de wiskunde, is het residu dat bij een singulariteit van een meromorfe functie hoort, een zeker complex getal dat direct verband houdt met een contourintegraal van de functie om de singulariteit. Met behulp van de residustelling kunnen residuen gebruikt worden voor de berekening van reële, bepaalde, maar oneigenlijke integralen.

Definitie

Het residu van een meromorfe functie f in een geïsoleerde singulariteit $z_{0}$, vaak aangeduid als

$R=\mathrm {Res} (f,z_{0})$

is het unieke complexe getal zodanig dat

$f(z)-{\frac {R}{z-z_{0}}}$

een analytische primitieve functie heeft in een cirkelring

$0<\vert z-z_{0}\vert <\delta$

Laat z₀ een geïsoleerde singulariteit zijn van f, en C een kleine cirkel met de klok mee georiënteerd met middelpunt z₀ zodanig dat f differentieerbaar is op C en het inwendige van C, met uitzondering van z₀ zelf. Dan is:

$\oint _{C}f(z){\rm {d}}z=2\pi i\cdot \mathrm {Res} (f,z_{0})$,

dus is

$\mathrm {Res} (f,z_{0})={1 \over {2\pi i}}\oint _{C}f(z){\rm {d}}z$

Berekening

Residuen kunnen uitgaande van de Laurentreeks van een functie worden berekend. Het residu is gelijk aan de coëfficiënt van de term met macht −1 in de reeksontwikkeling van de genomen variabele. Laat $\sum _{n=-\infty }^{\infty }a_{n}(z-z_{0})^{n}$ de laurentontwikkeling van f in het punt z₀ zijn, dan is a₋₁ het residu van f in z₀ , genoteerd als: $a_{-1}=\mathrm {Res} (f,z_{0})$.

• voor enkelvoudige singulariteiten

$\mathrm {Res} (f,z_{0})=a_{-1}=\lim _{z\to z_{0}}(z-z_{0})f(z)$

• en voor n-voudige singulariteiten

$\mathrm {Res} (f,z_{0})=a_{-1}={1 \over {(n-1)!}}\lim _{z\to z_{0}}{\frac {{\rm {d}}^{n-1}}{{\rm {d}}z^{n-1}}}(z-z_{0})^{n}f(z)$

Als er meerdere singulariteiten $z_{1},\ldots ,z_{n}$ binnen een gesloten pad liggen, worden de residuen bij elkaar opgeteld. Ook wordt een residu zo vaak meegeteld als het aantal keren $m_{j}$dat het pad om de singulariteit $z_{j}$ heen draait.

$\oint _{C}f(z){\rm {d}}z=2\pi i\sum _{j=1}^{n}m_{j}\mathrm {Res} (f,z_{j})$

Rekenregels

Regel 1

Stel $f$ heeft een singulariteit in $z_{0}$ en $g$ is holomorf in $z_{0}$, dan is:

$\mathrm {Res} (f\cdot g,z_{0})=g(z_{0})\mathrm {Res} (f,z_{0})$

Voorbeeld

De functie

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

kan geschreven worden als het product van de functies

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

en

$h(z)={\frac {1}{z-1}}$

Hieruit volgt, dat in het punt $z_{0}=1$ geldt:

$\mathrm {Res} (f,1)=g(1)\,\mathrm {Res} (h,1)={\tfrac {1}{2}}\cdot 1={\tfrac {1}{2}}$

Regel 2

Stel $f(z)=0$, maar $f'(z)\neq 0$. Dan heeft $1/f$ in $z_{0}$ een pool van de orde 1, en is het residu in $z_{0}$ gelijk aan $1/f'(z_{0})$.

Voorbeeld

De functie $f$ met functiewaarde $f(z)=\sin(z)$ heeft in het punt $z_{0}=\pi$ een pool van de orde 1. Het residu in dat punt is dus $1/\cos(\pi )=-1$.