A differential form is a mathematical object used to express integration over manifolds and describe physical quantities like flux.Une forme différentielle est une application multilinéaire alternée sur les vecteurs tangents en chaque point d’une variété lisse. Une forme de degré k (k-forme) est destinée à l’intégration sur des sous-variétés de dimension k. La différentielle extérieure d augmente le degré de 1 et possède la propriété clé d² = 0, qui généralise le fait que « la frontière d’une frontière est vide ». Le célèbre théorème de Stokes prend une forme compacte : ∫_M dω = ∫_∂M ω. En physique, le potentiel électromagnétique est une 1-forme, l’intensité du champ une 2-forme, et les équations de Maxwell s’écrivent dF = 0, d*F = J.
Le concept s’est développé progressivement. Au XIXe siècle, Green, Stokes et Gauss ont fourni des théorèmes intégraux disparates. Le pas décisif a été franchi par Élie Cartan dans les années 1920, en introduisant la différentielle extérieure et le théorème de Stokes généralisé. En 1931, Georges de Rham a démontré l’isomorphisme entre la cohomologie issue des formes et la cohomologie singulière, reliant ainsi l’analyse et la topologie. Par la suite, les formes différentielles sont devenues le langage principal de la géométrie et de la physique, des théories de jauge aux cordes.
Une forme de degré k est une fonctionnelle qui prend k vecteurs tangents et renvoie un nombre, antisymétrique par rapport à ses arguments. Cela permet de mesurer les volumes orientés de parallélépipèdes de dimension k dans l’espace tangent. L’intégrale d’une forme sur une sous-variété s’obtient par subdivision en petites cellules et sommation de leurs valeurs. La différentielle extérieure généralise le rotationnel, la divergence et le gradient. La propriété d² = 0 conduit aux lois de conservation : par exemple, en électrodynamique, dF = 0 implique l’absence de charges magnétiques, et d*F = J entraîne la conservation de la charge. L’opérateur de Hodge *, défini par la métrique, transforme les k-formes en (n–k)-formes, ce qui, par exemple, échange les champs électrique et magnétique dans le vide.
La formulation de l’électromagnétisme de Maxwell sous une forme élégante et compacte ; sans elles, il est impossible de décrire les champs de jauge en physique des particules et l’espace-temps courbe en relativité générale.
Les équations de Maxwell, qui décrivent tout l’électromagnétisme classique, tiennent en deux courtes lignes dans le langage des formes différentielles : dF = 0 et d*F = J. L’écriture habituelle dans les manuels occupe quatre lourdes équations aux dérivées partielles.
| s | variable | Complex argument of the L-function |
| n | variable | Summation index (positive integer) |
| χ | variable | Dirichlet character modulo some integer |
| ∑ | opérateur | Sum over positive integers — somme |
| f | variable | scalar function value — valeur de fonction |
| x | variable | input vector — vector argument |
| Q | variable | quadratic coefficient matrix — quadratic coefficient matrix |
| b | variable | linear coefficient vector — linear coefficient vector |
| c | variable | constant term — constant term |
| T | opérateur | flips a matrix or vector over its diagonal — transpose operator |
| x | variable | x-coordinate of a point on the line — x coordinate metre |
| y | variable | y-coordinate of a point on the line — y coordinate metre |
| \phi | variable | angle of the normal to the line with respect to the x-axis — angle radian |
| p | variable | perpendicular distance from the origin to the line — distance metre |
| \cos | opérateur | computes the cosine of an angle — cosinus |
| \sin | opérateur | computes the sine of an angle — sinus |





