
Stokes' theorem relates the integral of a differential form over a manifold to the integral of its exterior derivative over the boundary.Formulado a mediados del siglo XIX por George Stokes para la hidrodinámica, la famosa fórmula se convirtió rápidamente en una herramienta universal de la física. La forma clásica: la circulación de un vector a lo largo de un contorno cerrado es igual al flujo de su rotacional a través de cualquier superficie que se apoye en el contorno: ∮_C F·dr = ∬_S (∇×F)·dS. La versión generalizada —el gran teorema de Stokes— establece: la integral de una forma diferencial a lo largo del borde de una variedad es igual a la integral de su derivada exterior sobre toda la variedad. Esta fórmula unifica elegantemente casos particulares: los teoremas de Green en el plano, de Gauss-Ostrogradski en el espacio y el propio teorema de Kelvin-Stokes.
El teorema debe su nombre a George Stokes, pero su primera formulación surgió en correspondencia con William Thomson (1850). Stokes lo utilizó como pregunta de examen en la prestigiosa Smith's Prize de Cambridge. La forma vectorial la dieron Oliver Heaviside y Josiah Gibbs en la década de 1880. La forma más general la proporcionó Élie Cartan a principios del siglo XX mediante formas diferenciales; fue generalizada aún más por Georges de Rham en la teoría de cohomología.
Se aplica en electrodinámica (ley de Faraday en forma integral, teorema de circulación del campo magnético), aerodinámica (teorema de Zhukovski sobre la fuerza de sustentación) y teoría de la gravitación (leyes de conservación en la relatividad general). Limitaciones: la variedad debe ser lisa y orientable; en presencia de singularidades (por ejemplo, vórtices filiformes) se requieren condiciones de contorno adicionales. En mecánica cuántica, un análogo es la integral de caminos de Feynman, donde los efectos topológicos (fase de Berry) están estrechamente relacionados con la interpretación geométrica del teorema.
Gracias a él, los ingenieros calculan la fuerza de sustentación de un ala y el empuje de una hélice, y los físicos deducen la ley de inducción electromagnética: la variación del flujo magnético genera una tensión en el contorno.
La expresión más concisa del teorema fundamental del análisis ∫_a^b f'(x)dx = f(b)–f(a) es también un caso particular del teorema de Stokes general, solo que para un segmento unidimensional.
| f''(x) | variable | Second derivative of function f at x — segunda derivada per metre squared |
| f(x+h) | variable | Function value at x+h — valor de la función |
| f(x-h) | variable | Function value at x-h — valor de la función |
| f(x) | variable | Function value at x — valor de la función |
| h | variable | Step size — spacing metre |
| \approx | operador | Approximately equal to — aproximación |




