Mathématiques · Glossaire

Qu'est-ce que « Formes exactes et fermées » ?

Aussi appelé : forme exacte · potentiel · forme fermée

Définition 20.5 Mathématiques universitaires — Licence 2 · Chapitre 20 — Intégrales curvilignes et intégrales multiples

La forme ω=P ⁣dx+Q ⁣dy\omega = P\,\dd x + Q\,\dd y de classe C0\mathcal{C}^0 est exacte sur UU s’il existe fC1(U)f \in \mathcal{C}^1(U) (un potentiel) tel que ω= ⁣df\omega = \dd f, c.-à-d. P=fxP = f_x et Q=fyQ = f_y. Une forme C1\mathcal{C}^1 est fermée si Py=QxP_y = Q_x sur UU.

Exemples

Exemple 20.7 (Reconstruction d’un potentiel)

Soit ω=yexy ⁣dx+(xexy+2y) ⁣dy\omega = y\,\eu^{xy}\,\dd x + (x\,\eu^{xy} + 2y)\,\dd y sur R2\R^2. Elle est fermée : les deux dérivées croisées valent exy(1+xy)\eu^{xy}(1 + xy). Pour trouver un potentiel, intégrons PP en xx à yy fixé :

f(x,y)=yexy ⁣dx=exy+c(y),f(x, y) = \int y\,\eu^{xy}\,\dd x = \eu^{xy} + c(y),

puis ajustons cc en identifiant fyf_y : xexy+c(y)=xexy+2yx\,\eu^{xy} + c'(y) = x\,\eu^{xy} + 2y donne c(y)=y2c(y) = y^2. Donc f(x,y)=exy+y2f(x,y) = \eu^{xy} + y^2, et pour tout arc C1\mathcal C^1 par morceaux de (0,0)(0,0) à (1,1)(1,1),

γω=f(1,1)f(0,0)=(e+1)1=e,\int_\gamma\omega = f(1,1) - f(0,0) = (\eu + 1) - 1 = \eu ,

indépendamment du chemin — la recette en deux temps (intégrer en xx, corriger en yy) est la réciproque pratique du Théorème 20.6 sur les domaines où les formes fermées sont exactes.

Exemple 20.8 (Fermée n’implique pas exacte)

Sur U=R2{0}U = \R^2 \setminus \{0\}, la forme angulaire

ω=y ⁣dx+x ⁣dyx2+y2\omega = \frac{-y\,\dd x + x\,\dd y}{x^2 + y^2}

est fermée (calcul direct : PyP_y et QxQ_x valent tous deux y2x2(x2+y2)2\frac{y^2 - x^2}{(x^2+y^2)^2}), mais son intégrale le long du cercle unité vaut 2π02\pi \neq 0 (même calcul qu’à l’Exemple 20.3, divisé par 11) : ω\omega n’est pas exacte sur UU. Localement, ω= ⁣dθ\omega = \dd\theta pour une détermination θ\theta de l’angle polaire ; l’obstruction est globale — l’angle ne peut pas être défini continûment autour du point retiré. Sur les domaines sans trous, la pathologie disparaît : sur un ouvert étoilé, toute forme C1\mathcal{C}^1 fermée est exacte (lemme de Poincaré, Exercice 20.8).

Lire dans le chapitre →