∑
MathTCG
#042 / 200•Foundations•MathTCG #042 / 500•★★Peu commune•△Géométrie•Théorème

Théorème de Stokes

Période historique : 1854 (Stokes) - Forme moderne (Cartan)

La généralisation magistrale reliant l'intégrale d'une forme différentielle sur un bord à sa dérivée sur la variété.

Contenu & Formulation mathématique

Hypothèses nécessaires
Ω variété différentielle compacte orientée à bord de dimension n, ω forme différentielle de degré n-1 de classe C¹.
Énoncé formel
L'intégrale d'une forme différentielle de degré k sur le bord d'une variété compacte orientée de dimension k+1 est égale à l'intégrale de sa dérivée extérieure sur la variété.
∫∂Ωω=∫Ωdω\int_{\partial \Omega} \omega = \int_{\Omega} d\omega

Genèse & Portée historique

Joyau de la géométrie différentielle unifiant le théorème fondamental de l'analyse, le théorème de Green et le théorème d'Ostrogradski-Gauss en une formule unique d'une beauté saisissante : l'intégrale d'une forme différentielle ω sur le bord orienté d'une variété équivaut à l'intégrale de sa dérivée extérieure dω sur toute la variété.

George Gabriel Stokes formula ce résultat sous forme d'exercice d'examen pour le prix Smith à Cambridge en 1854, après en avoir discuté par lettre avec son ami William Thomson (Lord Kelvin).

« Tout ce qui circule le long de la frontière mesure ce qui tourbillonne au dedans. »

Filiations & Relations conceptuelles (2)

Objet de collection MathTCG

#042
★★Peu commune
△

Théorème de Stokes

Géométrie•THÉORÈME

Hypothèses : Ω variété différentielle compacte orientée à bord de dimension n, ω forme différentielle de degré n-1 de classe C¹.

∫∂Ωω=∫Ωdω\int_{\partial \Omega} \omega = \int_{\Omega} d\omega
1854 (Stokes) - Forme moderne (Cartan)

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.

Extension : Foundations (#042 / 200)
Numéro global MathTCG : MathTCG #042 / 500
Rareté officielle : Peu commune (★★)
Domaine théorique : Géométrie
Identifiant pérenne : theoreme-de-stokes
AccueilClasseurCodexBoostersÉchangesProfil