En des glyphes formels, ici, le Geste épouse la Parole.

 

Voici les très hermétiques formules de Stokes.

Je les fais figurer ici essentiellement comme "objets graphiques", elles sont à contempler plutôt qu'à lire, puisque pour un lecteur non-scientifique, elles sont strictement illisibles...

La formule de Stokes générale "abstraite" : (début vingtième siècle) Ωdω=ΩωΩ est une variété à bord de dimension n, de bord Ω, ω une (n1)-forme différentielle, et d est la dérivée extérieure.

Les formules qui suivent sont volontairement écrites analytiquement, dans un repère orthonormé direct.
On peut donner du rotationnel et de la divergence des définitions intrinsèques qui permettent une formulation plus compacte, mais cela ne ferait que masquer la difficulté réelle, puisque c'est plus ou moins sous la forme que je vous donne ici que ces formules ont été initialement trouvées, énoncées, et plus ou moins démontrées...

Formule de Green-Riemann : (1828)
Si ω=Pdx+Qdy est une 1-forme différentielle, K un domaine compact du plan R2, délimité par une courbe orientée K, alors K[QxPy]dxdy=KPdx+Qdy 

Formule de Green-Ostrogradski : (circa 1860)
Pour un champ F, un domaine compact de l'espace  K délimité par une surface orientée K, de composantes Fx,Fy,Fz selon les axes Ox,Oy,Oz :
K[Fxx+Fyy+Fzz]dxdydz=K[Fx(dydz)+Fy(dzdx)+Fz(dxdy)]

La divergence de F est le champ scalaire |F=Fxx+Fyy+Fzz (c'est la trace de la différentielle de F ).


Formule d'Ampère-Stokes : (circa 1860)
S étant une surface dans l'espace, appuyée sur un contour orienté S, qui est une courbe gauche :
S[Fxdx+Fydyx+Fzdz]=S([FzyFyz]dx+[FxzFzx]dy+[FyxFxy]dz)

Le rotationnel de F est le champ vectoriel F, de composantes [FzyFyz],[FxzFzx],[FyxFxy]...