Théorème de Green

Un article de Wikipédia, l'encyclopédie libre.

Article d'analyse vectorielle
Champ vectorielChamp scalaire
Objets d'étude
Champ vectoriel Champ scalaire
Équation aux dérivées partielles
de Laplace de Poisson
Opérateurs
Nabla Gradient
Rotationnel Divergence
Laplacien scalaire Bilaplacien
Laplacien vectoriel D'alembertien
Théorèmes
de Green de Stokes
de Helmholtz de flux-divergence
du gradient du rotationnel

En mathématiques, le théorème de Green, ou théorème de Green-Riemann donne la relation entre une intégrale curviligne autour d'une courbe simple fermée C et l'intégrale double sur la région du plan D délimitée par C.

Ce théorème est nommé d'après le scientifique George Green et se base sur le théorème de Stokes. À ne pas confondre avec le théorème de Green-Ostrogradski, ou théorème de flux-divergence.

Sommaire

[modifier] Énoncé

Domaine délimité par une courbe régulière par morceaux.
Domaine délimité par une courbe régulière par morceaux.

Théorème de Green — Soit C, une courbe plane simple, positivement orientée et C1 par morceaux, D le domaine compact lisse du plan délimité par C et Pdx + Qdy une 1-forme différentielle sur \R^2. Si P et Q ont des dérivées partielles continues sur une région ouverte incluant D, alors :

\int_\mathcal{C} P\,\mathrm dx + Q\,\mathrm dy = \iint_\mathcal{D} \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\ \mathrm dx\mathrm dy

[modifier] Notation alternative

Il existe une autre façon de noter ce théorème, qui se rapproche de celle utilisée pour le théorème de Stokes. On se place sur un domaine compact lisse du plan Ω, de bord ∂Ω, en notant la forme différentielle ω. Alors la dérivée extérieure de ω s'écrit :

 \mathrm d\omega = \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \mathrm dx \wedge \mathrm dy

On peut alors résumer le théorème de Green par la formule :

\oint_{\partial \Omega} \omega = \iint_{\Omega} \mathrm d\omega

Le cercle sur l'intégrale précise que le bord décrit une courbe fermée. En dessinant une flèche dessus, on définit l'orientation — positive ou négative.

[modifier] Utilisations

Le théorème de Green permet notamment de démontrer l'inégalité de Poincaré, ainsi que le théorème intégral de Cauchy pour les fonctions holomorphes.

[modifier] Calculs d'aires

L'utilisation du théorème de Green permet de calculer l'aire délimitée par une courbe paramétrée fermée.

Soit D un domaine du plan auquel le théorème de Green s'applique et soit C= delta D sa frontière, orientée posditivement par rapport à D.On a:

\mathcal{A(D)} = \int_\mathcal{C} \mathrm (-y,0) \mathrm dt = \int_\mathcal{C} \mathrm (0,x)\mathrm dt= 1/2 \int_\mathcal{C} \mathrm (-y,x) \mathrm dt


oû t est la paramétrisation de la courbe.


On traite ici l'exemple du disque unité D, dont le bord est le cercle unité C paramétré par :

 t \to \left( \cos{t}, \sin{t} \right)

et de longueur .

On pose, pour tous réels x et y :

 P \left( x, y \right) = 0
 Q \left( x, y \right) = x

Alors ω = xdy et dω = dxdy. Or, par définition de l'aire :

\mathcal{A} = \iint_\mathcal{D} \mathrm dx \mathrm dy = \iint_\mathcal{D} \mathrm d\omega

D'après le théorème de Green :

\mathcal{A} = \iint_\mathcal{D} \mathrm d\omega = \oint_\mathcal{C} \omega

Ainsi on a :

\mathcal{A} = \oint_\mathcal{C} x\,\mathrm dy = \oint_{0}^{2\pi} \cos^2 (t)\,\mathrm dt = \pi .

En conclusion, on a montré que l'aire du disque unité est π.