Lemme de Poincaré

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Le lemme de Poincaré est un résultat fondamental en analyse à plusieurs variables et en géométrie différentielle. Il concerne les formes différentielles (implicitement de classe $C 1$ ) sur une variété différentielle (implicitement lisse).

D'après le théorème de Schwarz, toute forme différentielle exacte est fermée. Le lemme de Poincaré assure une réciproque partielle :

Pour que, sur une variété différentielle M, toute p-forme fermée soit exacte, il suffit :

si p = 1 : que M soit simplement connexe^[1]^,^[2]^,^[3] ;

si p > 1 : que M soit contractile^[4]^,^[5] (ce qui est une condition plus forte).

Sous ces hypothèses, la conclusion du lemme de Poincaré se reformule en termes de cohomologie de De Rham^[6].

En particulier, toute forme différentielle fermée est localement exacte.

Notions en jeu[modifier | modifier le code]

Toutes les notions employées ci-dessus sont détaillées via les liens internes, mais rappelons et commentons les principales.

Une p-forme $ω$ sur une variété M est dite :

fermée si sa dérivée extérieure est nulle : $dω = 0$ ;
exacte si $ω$ est une dérivée extérieure : $ω = dα$ pour une (p – 1)-forme $α$ , dite primitive de $ω$ .

Le p-ième espace de cohomologie de De Rham de M est le quotient H^p(M) de l'espace des formes fermées par le sous-espace des formes exactes. Il est donc nul si et seulement si toute forme fermée est exacte.

Un espace topologique M est dit contractile s'il est homotopiquement équivalent à un point, c'est-à-dire si son application identité est homotope à une application constante de M dans M, ou encore si M se rétracte par déformation sur un point. C'est une condition plus forte que la trivialité de tous les groupes d'homotopie de M, mais équivalente si M est une variété différentielle. De plus, dans ce cas, les homotopies invoquées, a priori seulement continues, peuvent en fait être choisies lisses.

Tout espace contractile est simplement connexe mais il existe des variétés simplement connexes non contractiles, comme la sphère. Une variété compacte sans bord n'est d'ailleurs jamais contractile^[7].

Démonstration pour une 1-forme sur un ouvert étoilé de ℝⁿ[modifier | modifier le code]

Tout ouvert $U$ de ℝⁿ est une variété différentielle. Si $U$ est étoilé alors il est contractile et a fortiori simplement connexe. Montrons, dans ce cas particulier, que toute 1-forme fermée $ω$ sur $U$ est exacte, c'est-à-dire qu'elle est la différentielle d'une 0-forme (une fonction).

Supposons que $U$ est étoilé autour de $a$ , définissons une fonction $f$ sur $U$ par des intégrales curvilignes sur des segments :

f(x)=\int _{[a,x]}\omega ,

et montrons que $d f = ω$ en tout point $x$ de $U$ , c'est-à-dire que (pour $x$ fixé et pour tout $x + v$ dans une boule de centre $x$ incluse dans $U$ ) :

f(x+v)-f(x)=\omega _{x}(v)+o(v).

D'après le théorème de Green appliqué au triangle $(a, x, x + v)$ , on a (puisque $ω$ est fermée)

f(x+v)-f(x)=\int _{[x,x+v]}\omega =\left(\int _{0}^{1}\omega _{x+tv}~{\rm {d}}t\right)(v).

Or par continuité de $ω$ au point $x$ ,

\lim _{v\to 0}\int _{0}^{1}\omega _{x+tv}~{\rm {d}}t=\omega _{x}.

On a donc bien :

f(x+v)-f(x)=\left(\omega _{x}+\varepsilon (v)\right)(v)=\omega _{x}(v)+o(v).

(Pour étendre cette démonstration à une variété simplement connexe quelconque, il suffit de remplacer les segments par des chemins et le théorème de Green par celui de Stokes.)

Notes et références[modifier | modifier le code]

↑ (en) John M. Lee, Introduction to Smooth Manifolds, Springer, 2003 (ISBN 0-387-95495-3, lire en ligne), chap. 15.12 (« De Rham Cohomology »), p. 401.
↑ Sylvie Benzoni-Gavage, Calcul différentiel et équations différentielles : Cours et exercices corrigés, Dunod, 2010, 320 p. (ISBN 978-2-10-054826-2, lire en ligne), chap. 4.3 (« Théorème de Poincaré »), p. 108.
↑ Lien entre H¹(M) et $π$ ₁(M).
↑ Jean Dieudonné, Éléments d'analyse, vol. IX, Paris, Gauthier-Villars, 1982, 380 p. (ISBN 2-04-011499-8), 24.2.7.
↑ Le terme « contractile » s'était déjà imposé, mais Dieudonné, au volume 3 de ses Éléments d'analyse (16.27.7), utilise le terme « variété rétractile », qui a été traduit par « contractible manifold » dans la traduction anglaise réalisée par Ian G. Macdonald pour Academic Press.
↑ (en) William Boothby, An Introduction to Differential Manifolds and Riemannian Geometry, Orlando/San Diego/New York etc., Academic Press, 1986, 430 p. (ISBN 0-12-116052-1), Thm. VI.7.8, VI.7.14.
↑ Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions], 2010, Annexe.

Portail de l'analyse

[1] (en) John M. Lee, Introduction to Smooth Manifolds, Springer, 2003 (ISBN 0-387-95495-3, lire en ligne), chap. 15.12 (« De Rham Cohomology »), p. 401.

[2] Sylvie Benzoni-Gavage, Calcul différentiel et équations différentielles : Cours et exercices corrigés, Dunod, 2010, 320 p. (ISBN 978-2-10-054826-2, lire en ligne), chap. 4.3 (« Théorème de Poincaré »), p. 108.

[3] Lien entre H¹(M) et $π$ ₁(M).

[4] Jean Dieudonné, Éléments d'analyse, vol. IX, Paris, Gauthier-Villars, 1982, 380 p. (ISBN 2-04-011499-8), 24.2.7.

[5] Le terme « contractile » s'était déjà imposé, mais Dieudonné, au volume 3 de ses Éléments d'analyse (16.27.7), utilise le terme « variété rétractile », qui a été traduit par « contractible manifold » dans la traduction anglaise réalisée par Ian G. Macdonald pour Academic Press.

[6] (en) William Boothby, An Introduction to Differential Manifolds and Riemannian Geometry, Orlando/San Diego/New York etc., Academic Press, 1986, 430 p. (ISBN 0-12-116052-1), Thm. VI.7.8, VI.7.14.

[7] Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions], 2010, Annexe.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Notions en jeu[modifier | modifier le code]

Démonstration pour une 1-forme sur un ouvert étoilé de ℝn[modifier | modifier le code]

Notes et références[modifier | modifier le code]

Démonstration pour une 1-forme sur un ouvert étoilé de ℝⁿ[modifier | modifier le code]