Teorema de Stokes
De Wikipedia, la enciclopedia libre
El teorema de Stokes en geometría diferencial es una proposición sobre la integración de formas diferenciales que generaliza varios teoremas del cálculo vectorial. Se nombra así por George Gabriel Stokes (1819-1903).
Sea M una variedad de dimensión n diferenciable por trozos orientada compacta y sea ω una forma diferencial en M de grado n-1 y de clase C¹. Si ∂ M denota el límite de M con su orientación inducida, entonces
aquí d es la derivada exterior, que se define usando solamente la estructura de variedad. El teorema debe ser considerado como generalización del teorema fundamental del cálculo y, de hecho, se prueba fácilmente usando este teorema.
El teorema se utiliza a menudo en situaciones donde M es una subvariedad orientada sumergida en una variedad más grande en la cual la forma ω se define.
El teorema se extiende fácilmente a las combinaciones lineales de las subvariedades diferenciables por trozos, las, así llamadas, cadenas. El teorema de Stokes demuestra entonces que las formas cerradas definidas módulo una forma exacta se pueden integrar sobre las cadenas definidas módulo borde. Ésta es la base para el apareamiento entre los grupos de homología y la cohomología de de Rham.
El clásico teorema de Kelvin-Stokes
que relaciona la integral de superficie del rotacional del campo vectorial sobre una superficie Σ en el 3-espacio euclidiano a la integral de línea del campo vectorial sobre su borde, es un caso especial del teorema de Stokes generalizado (con n = 2) una vez que identifiquemos el campo vectorial con una 1-forma usando la métrica en el 3-espacio euclidiano. La primera enunciación conocida del teorema es por William Thomson (lord Kelvin) y aparece en su carta a Stokes.
Asimismo el teorema de Ostrogradsky-Gauss:
es un caso especial si identificamos un campo vectorial con la n-1 forma obtenida contrayendo el campo vectorial con la forma de volumen euclidiano.
El teorema fundamental del cálculo y el teorema de Green son también casos especiales del teorema de Stokes generalizado.
La forma general del teorema de Stokes que usa formas diferenciales es de más alcance que los casos especiales, por supuesto, aunque los últimos son más accesibles y a menudo son considerados más convenientes por físicos e ingenieros.
Otra forma de escribir el mismo teorema es la siguiente:
Donde es un vector cualquiera.
Establece que la integral de superficie del rotacional de un campo vectorial sobre una superficie abierta es igual a la integral cerrada del Campo vectorial a lo largo del contorno que limita la superficie.