Stelling van Green

De stelling van Green is een wiskundige stelling die een verband legt tussen een kringintegraal over een enkelvoudige gesloten kromme in twee dimensies en een dubbelintegraal over het oppervlak dat door de kromme omsloten wordt. De stelling is genoemd naar de Britse natuurkundige George Green en vindt in het bijzonder toepassing in de natuurkunde.

De divergentiestelling komt in twee dimensies overeen met de stelling van Green en die komt in twee dimensies weer overeen met de stelling van Stokes.

Stelling

Als $P$ en $Q$ continue functies zijn in een normaal gebied $D$ dat volledig behoort tot een open gebied in twee dimensies met continue partiële afgeleiden ${\frac {\partial P(x,y)}{\partial y}}$ en ${\frac {\partial Q(x,y)}{\partial x}}$, en $D$ wordt begrensd door een stuksgewijs gladde, enkelvoudige gesloten kromme $C$, doorlopen in tegenwijzerzin, dan geldt:

$\iint _{D}\left({\frac {\partial Q(x,y)}{\partial x}}-{\frac {\partial P(x,y)}{\partial y}}\right)\,\mathrm {d} x\,\mathrm {d} y=\oint _{C}{\big (}P(x,y)\,\mathrm {d} x+Q(x,y)\,\mathrm {d} y{\big )}$

Bewijs

Hier volgt een bewijs voor het geval dat $D$ een gebied is zoals in nevenstaande figuur is aangegeven, dus onder en boven begrensd door continue krommen $C_{1}$ en $C_{3}$, en links en rechts door rechte lijnen $C_{2}$ en $C_{4}$.

Beschrijf het gebied door:

$D=\{(x,y)|a\leq x\leq b,g_{1}(x)\leq y\leq g_{2}(x)\}$,

waarin $g_{1}$ en $g_{2}$ continue functies zijn. We berekenen:

$\iint _{D}{\frac {\partial P}{\partial y}}\mathrm {d} x\mathrm {d} y=\int _{a}^{b}\int _{g_{1}(x)}^{g_{2}(x)}{\frac {\partial P}{\partial y}}\ \mathrm {d} y\mathrm {d} x=$

$=\int _{a}^{b}{\Big \{}P(x,g_{2}(x))-P(x,g_{1}(x)){\Big \}}\,\mathrm {d} x$

Voor de integraal van $P$ over $C$ vinden we:

$\int _{C}P\,\mathrm {d} x=\int _{C_{1}}P\,\mathrm {d} x+\int _{C_{2}}P\,\mathrm {d} x+\int _{C_{3}}P\,\mathrm {d} x+\int _{C_{4}}P\,\mathrm {d} x=$

$=-\int _{a}^{b}P(x,g_{2}(x))\,\mathrm {d} x+\int _{a}^{b}P(x,g_{1}(x))\,\mathrm {d} x$

Uit deze twee resultaten volgt:

$\int _{C}P\,\mathrm {d} x=-\iint _{D}{\frac {\partial P}{\partial y}}\,\mathrm {d} x\mathrm {d} y$

Op dezelfde manier kan men voor $Q$ afleiden dat:

$\int _{C}Q\,\mathrm {d} y=\iint _{D}{\frac {\partial Q}{\partial x}}\,\mathrm {d} x\mathrm {d} y$

Uit deze laatste twee volgt de stelling.

Oppervlakte

Met $P=0$ en $Q=x$ en met $P=-y$ en $Q=0$ krijgen we voor de oppervlakte $A$ binnen de contour $C$, doorlopen in de richting tegen de klok in:

$A=\oint _{C}x\,{\rm {d}}y=-\oint _{C}y\,{\rm {d}}x$

Een interessante technische toepassing is de planimeter, een meetinstrument om een oppervlakte te bepalen door het aftasten van de omtrek.

Voetnoten