De stelling van Green is een wiskundige stelling die een verband legt tussen een kringintegraal over een enkelvoudige gesloten curve in twee dimensies en een dubbelintegraal over het oppervlak dat door de curve omsloten wordt. De stelling, die in het bijzonder toepassing vindt in de natuurkunde , is een speciaal geval in twee dimensies van de stelling van Stokes .
De stelling is genoemd naar de Britse natuurkundige George Green
Als
P
{\displaystyle P}
en
Q
{\displaystyle Q}
continue functies zijn in een normaal gebied
D
{\displaystyle D}
dat volledig behoort tot een open gebied in twee dimensies met continue partiële afgeleiden
∂
P
(
x
,
y
)
∂
y
{\displaystyle {\frac {\partial P(x,y)}{\partial y}}}
en
∂
Q
(
x
,
y
)
∂
x
{\displaystyle {\frac {\partial Q(x,y)}{\partial x}}}
, en
D
{\displaystyle D}
wordt begrensd door een stuksgewijs gladde, enkelvoudige gesloten curve
C
{\displaystyle C}
(doorlopen in tegenwijzerzin )[1] ), dan geldt:
∬
D
(
∂
Q
(
x
,
y
)
∂
x
−
∂
P
(
x
,
y
)
∂
y
)
d
x
d
y
=
∮
C
(
P
(
x
,
y
)
d
x
+
Q
(
x
,
y
)
d
y
)
{\displaystyle \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 )}}
Hier volgt een bewijs voor het geval dat
D
{\displaystyle D}
een gebied is zoals in nevenstaande figuur is aangegeven, dus onder en boven begrensd door continue curven
C
1
{\displaystyle C_{1}}
en
C
3
{\displaystyle C_{3}}
, en links en rechts door rechte lijnen
C
2
{\displaystyle C_{2}}
en
C
4
{\displaystyle C_{4}}
.
Beschrijf het gebied door:
D
=
{
(
x
,
y
)
|
a
≤
x
≤
b
,
g
1
(
x
)
≤
y
≤
g
2
(
x
)
}
{\displaystyle D=\{(x,y)|a\leq x\leq b,g_{1}(x)\leq y\leq g_{2}(x)\}}
,
waarin
g
1
{\displaystyle g_{1}}
en
g
2
{\displaystyle g_{2}}
continue functies zijn. We berekenen:
∬
D
∂
P
∂
y
d
x
d
y
=
∫
a
b
∫
g
1
(
x
)
g
2
(
x
)
∂
P
∂
y
d
y
d
x
=
{\displaystyle \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=}
=
∫
a
b
{
P
(
x
,
g
2
(
x
)
)
−
P
(
x
,
g
1
(
x
)
)
}
d
x
{\displaystyle =\int _{a}^{b}{\Big \{}P(x,g_{2}(x))-P(x,g_{1}(x)){\Big \}}\,\mathrm {d} x}
Voor de integraal van
P
{\displaystyle P}
over
C
{\displaystyle C}
vinden we:
∫
C
P
d
x
=
∫
C
1
P
d
x
+
∫
C
2
P
d
x
+
∫
C
3
P
d
x
+
∫
C
4
P
d
x
=
{\displaystyle \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=}
=
−
∫
a
b
P
(
x
,
g
2
(
x
)
)
d
x
+
∫
a
b
P
(
x
,
g
1
(
x
)
)
d
x
{\displaystyle =-\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:
∫
C
P
d
x
=
−
∬
D
∂
P
∂
y
d
x
d
y
{\displaystyle \int _{C}P\,\mathrm {d} x=-\iint _{D}{\frac {\partial P}{\partial y}}\,\mathrm {d} x\mathrm {d} y}
Op analoge wijze kan men voor
Q
{\displaystyle Q}
afleiden dat:
∫
C
Q
d
y
=
∬
D
∂
Q
∂
x
d
x
d
y
{\displaystyle \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.
Met
P
=
0
{\displaystyle P=0}
en
Q
=
x
{\displaystyle Q=x}
en met
P
=
−
y
{\displaystyle P=-y}
en
Q
=
0
{\displaystyle Q=0}
krijgen we voor de oppervlakte
A
{\displaystyle A}
binnen de contour
C
{\displaystyle C}
(doorlopen in de richting tegen de klok in):
A
=
∮
C
x
d
y
=
−
∮
C
y
d
x
{\displaystyle 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.
Bronnen, noten en/of referenties
↑ Dit hangt samen met de conventie dat de positieve Y-as 90 graden gedraaid is tegen de klok in t.o.v. de positieve X-as.