Integraalformule van Cauchy

De integraalformule van Cauchy, vernoemd naar Augustin Louis Cauchy, is een centrale stelling in de complexe analyse (een deelgebied van de wiskunde). De stelling zegt dat een Holomorfe functie, die gedefinieerd is op een schijf, volledig wordt bepaald door haar waarden op de begrenzing van de schijf. De integraalformule van Cauchy kan worden gebruikt om integraalformules te verkrijgen voor alle afgeleiden van een holomorfe functie en toont aan dat in de complexe analyse "differentiatie gelijkwaardig is aan integratie": complexe differentiatie gedraagt zich, net als integratie, goed als uniforme limieten genomen worden. Dit geldt niet in de reële analyse.

Stelling

Stel dat U een open deelverzameling van het complexe vlak C is, f : U → C een holomorfe functie is en stel dat de gesloten schijf D = { z : | z - z₀ | ≤ r } volledig is opgenomen in U. Laat γ de cirkel zijn, die de begrenzing van gesloten schijf D vormt. Dan geldt voor iedere a in het inwendige van D:

$f(a)={1 \over 2\pi i}\oint _{\gamma }{f(z) \over z-a}\,dz$$f(a)={1 \over 2\pi i}\oint _{\gamma }{f(z) \over z-a}\,dz$

waar de contourintegraal $\oint _{\gamma }$$\oint _{\gamma }$ langs de contour $\gamma$$\gamma$ tegen de klok in wordt genomen.

Het bewijs van deze stelling maakt gebruik van de integraalstelling van Cauchy en vereist van f eveneens slechts dat deze functie complex differentieerbaar is. Aangezien de noemer van de integrand in de integraalformule van Cauchy kan worden uitgebreid als een machtreeks in de variabele (a - z₀), volgt hieruit dat holomorfe functies analytisch zijn. In het bijzonder is f eigenlijk oneindig differentieerbaar, met

$f^{(n)}(a)={n! \over 2\pi i}\oint _{\gamma }{f(z) \over (z-a)^{n+1}}\,dz.$$f^{(n)}(a)={n! \over 2\pi i}\oint _{\gamma }{f(z) \over (z-a)^{n+1}}\,dz.$

Deze formule wordt soms de differentiatieformule van Bach genoemd.

De cirkel γ kan worden vervangen door elke gesloten corrigeerbare kromme in U waarvan het windingsgetal om a gelijk aan 1 is. Bovendien is het, net als voor de integraalstelling van Cauchy, voldoende om te eisen dat f holomorf is in de open regio, die wordt omsloten door het pad, en continu is op haar afsluiting.

Bewijs

Door gebruik te maken van de integraalstelling van Cauchy kan men laten zien dat de integraal over C (of de gesloten corrigeerbare kromme) gelijk is aan dezelfde integraal over een willekeurig kleine cirkel rond a.

1. Aangezien f(z) een continue functie is, kunnen we een cirkel om $a$$a$ kiezen die klein genoeg is en waarop f(z) willekeurig dichtbij f(a) ligt.

2. Aan de andere kant is de integraal

$\oint _{C}{{1 \over z-a}\,dz}=2\pi i$$\oint _{C}{{1 \over z-a}\,dz}=2\pi i$

over elke cirkel C die gecentreerd is op $a$$a$. Bewijs: we kunnen deze kleine cirkel om $z-a$$z-a$ als volgt parametriseren:

$z=a+\varepsilon e^{it}$$z=a+\varepsilon e^{it}$,

$\,dz=i\varepsilon e^{it}$$\,dz=i\varepsilon e^{it}$

met $0\leq t\leq 2\pi$$0\leq t\leq 2\pi$ en $\varepsilon$$\varepsilon$ de straal van de cirkel. Met integratie door substitutie vinden we

$\oint _{C}{{1 \over z-a}\,dz}=\int _{0}^{2\pi }{1 \over {\varepsilon e^{it}}}i\varepsilon e^{it}\,dt=i\,\int _{0}^{2\pi }\,dt=2\pi i.$$\oint _{C}{{1 \over z-a}\,dz}=\int _{0}^{2\pi }{1 \over {\varepsilon e^{it}}}i\varepsilon e^{it}\,dt=i\,\int _{0}^{2\pi }\,dt=2\pi i.$

3. Nu kunnen we schrijven

$f(a)={\frac {1}{2\pi i}}\,f(a)\,2\pi i={\frac {1}{2\pi i}}\,f(a)\,\oint _{C}{{1 \over z-a}\,dz}={\frac {1}{2\pi i}}\,\oint _{C}{{\frac {f(a)}{z-a}}\,dz}$$f(a)={\frac {1}{2\pi i}}\,f(a)\,2\pi i={\frac {1}{2\pi i}}\,f(a)\,\oint _{C}{{1 \over z-a}\,dz}={\frac {1}{2\pi i}}\,\oint _{C}{{\frac {f(a)}{z-a}}\,dz}$

want $f(a)$$f(a)$ is een constante.

4. Invullen en $\varepsilon \rightarrow 0$$\varepsilon \rightarrow 0$ laten naderen geeft

${\frac {1}{2\pi i}}\oint _{C}{{f(z) \over z-a}\,dz}-f(a)={\frac {1}{2\pi i}}\oint _{C}{{f(z) \over z-a}\,dz}-{\frac {1}{2\pi i}}\,\oint _{C}{{\frac {f(a)}{z-a}}\,dz}=$${\frac {1}{2\pi i}}\oint _{C}{{f(z) \over z-a}\,dz}-f(a)={\frac {1}{2\pi i}}\oint _{C}{{f(z) \over z-a}\,dz}-{\frac {1}{2\pi i}}\,\oint _{C}{{\frac {f(a)}{z-a}}\,dz}=$

${\frac {1}{2\pi i}}\oint _{C}{\frac {f(z)\,-\,f(a)}{z-a}}\,dz=$${\frac {1}{2\pi i}}\oint _{C}{\frac {f(z)\,-\,f(a)}{z-a}}\,dz=$

${\frac {1}{2\pi i}}\int _{0}^{2\pi }{\frac {(f(a+\varepsilon e^{it})-f(a))i\varepsilon e^{it}}{\varepsilon e^{it}}}\,dt=$${\frac {1}{2\pi i}}\int _{0}^{2\pi }{\frac {(f(a+\varepsilon e^{it})-f(a))i\varepsilon e^{it}}{\varepsilon e^{it}}}\,dt=$

${\frac {1}{2\pi }}\int _{0}^{2\pi }(f(a+\varepsilon e^{it})-f(a))\,dt\rightarrow 0$${\frac {1}{2\pi }}\int _{0}^{2\pi }(f(a+\varepsilon e^{it})-f(a))\,dt\rightarrow 0$ als $\varepsilon \rightarrow 0.$$\varepsilon \rightarrow 0.$

want $f(z)$$f(z)$ is een continue functie. Dus

$f(a)={\frac {1}{2\pi i}}\oint _{C}{f(z) \over z-a}\,dz.$$f(a)={\frac {1}{2\pi i}}\oint _{C}{f(z) \over z-a}\,dz.$

Voorbeeld

Oppervlak van de absolute waarde van
g(z) = z² / (z² + 2z + 2)
en haar singulariteiten.

${\begin{aligned}\oint _{C}{z^{2} \over z^{2}+2z+2}\,dz&{}=-4\pi i.\end{aligned}}$${\begin{aligned}\oint _{C}{z^{2} \over z^{2}+2z+2}\,dz&{}=-4\pi i.\end{aligned}}$

met contour $C$$C$ beschreven door |z| = 2, een cirkel met straal 2.

Bewijs. We noemen de functie

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

Om de integraal van g(z) langs de contour $C$$C$ te vinden, moeten we de singulariteiten of polen van g(z) binnen $C$$C$ kennen. Die vinden we door g als volgt te herschrijven:

$g(z)={z^{2} \over (z-z_{1})(z-z_{2})}$$g(z)={z^{2} \over (z-z_{1})(z-z_{2})}$,

met de twee polen $z_{1}=-1+i,$$z_{1}=-1+i,$ en $z_{2}=-1-i.$$z_{2}=-1-i.$

Hun absolute waardes zijn volgens de stelling van Pythagoras ${\sqrt {2}}$${\sqrt {2}}$, dus kleiner dan 2 zodat de polen binnen de contour C liggen. Door de stelling van Cauchy-Goursat kunnen we de integraal rondom de contour uitdrukken als de som van de integralen rondom de polen $z_{1}$$z_{1}$ en $z_{2}$$z_{2}$, waar de contour steeds een kleine cirkel rond elke pool is. Noem deze contouren $C_{1}$$C_{1}$ rondom $z_{1}$$z_{1}$ en $C_{2}$$C_{2}$ rondom $z_{2}$$z_{2}$. Dus

$\oint _{C}{g(z)dz}=\oint _{C_{1}}{g(z)dz}+\oint _{C_{2}}{g(z)dz}$$\oint _{C}{g(z)dz}=\oint _{C_{1}}{g(z)dz}+\oint _{C_{2}}{g(z)dz}$

We kiezen een functie $f_{1}$$f_{1}$ die analytisch is langs $C_{1}$$C_{1}$ (dit aangezien de contour $C_{1}$$C_{1}$ de andere singulariteit $z_{2}$$z_{2}$ niet bevat), en dit staat ons toe om $f_{1}$$f_{1}$ in de vorm te schrijven die we vereisen, namelijk:

$f_{1}(z)={z^{2} \over z-z_{2}}.$$f_{1}(z)={z^{2} \over z-z_{2}}.$

Nu geldt dat

$\oint _{C_{1}}{g(z)dz}=\oint _{C_{1}}{f_{1}(z) \over z-z_{1}}\,dz=2\pi if_{1}(z_{1})$$\oint _{C_{1}}{g(z)dz}=\oint _{C_{1}}{f_{1}(z) \over z-z_{1}}\,dz=2\pi if_{1}(z_{1})$

$\oint _{C_{1}}{\left({z^{2} \over z-z_{2}}\right) \over z-z_{1}}\,dz=2\pi i{z_{1}^{2} \over z_{1}-z_{2}}.$$\oint _{C_{1}}{\left({z^{2} \over z-z_{2}}\right) \over z-z_{1}}\,dz=2\pi i{z_{1}^{2} \over z_{1}-z_{2}}.$

Als men hetzelfde doet voor de andere contour $C_{2}$$C_{2}$:

$f_{2}(z)={z^{2} \over z-z_{1}},$$f_{2}(z)={z^{2} \over z-z_{1}},$

$\oint _{C_{2}}{\left({z^{2} \over z-z_{1}}\right) \over z-z_{2}}\,dz=2\pi i{z_{2}^{2} \over z_{2}-z_{1}}.$$\oint _{C_{2}}{\left({z^{2} \over z-z_{1}}\right) \over z-z_{2}}\,dz=2\pi i{z_{2}^{2} \over z_{2}-z_{1}}.$

De integraal langs de originele contour $C$$C$ is dan de som van deze twee integralen:

${\begin{aligned}\oint _{C}{z^{2} \over z^{2}+2z+2}\,dz&{}=\oint _{C_{1}}{\left({z^{2} \over z-z_{2}}\right) \over z-z_{1}}\,dz+\oint _{C_{2}}{\left({z^{2} \over z-z_{1}}\right) \over z-z_{2}}\,dz\\\\&{}=2\pi i\left({z_{1}^{2} \over z_{1}-z_{2}}+{z_{2}^{2} \over z_{2}-z_{1}}\right)\\\\&{}=2\pi i\left({z_{1}+z_{2}}\right)\\\\&{}=2\pi i(-2)\\\\&{}=-4\pi i.\end{aligned}}$${\begin{aligned}\oint _{C}{z^{2} \over z^{2}+2z+2}\,dz&{}=\oint _{C_{1}}{\left({z^{2} \over z-z_{2}}\right) \over z-z_{1}}\,dz+\oint _{C_{2}}{\left({z^{2} \over z-z_{1}}\right) \over z-z_{2}}\,dz\\\\&{}=2\pi i\left({z_{1}^{2} \over z_{1}-z_{2}}+{z_{2}^{2} \over z_{2}-z_{1}}\right)\\\\&{}=2\pi i\left({z_{1}+z_{2}}\right)\\\\&{}=2\pi i(-2)\\\\&{}=-4\pi i.\end{aligned}}$

Externe link

• (en) De integraalformule van Cauchy op MathWorld