El teorema de la divergencia

El teorema de la divergencia, conocido tambin como el Teorema de Gauss, establece una forma analtica del
clculo de la integral de un campo vectorial sobre una superficie como una simple integral de volumen.
Especficamente el teorema de la divergencia dice que:

(1)
Donde S es una superficie cerrada cuyo interior contiene al volumen V, F es un campo vectorial arbitrario, y
es, como siempre, el vector unitario normal a la superficie. En esta seccin nuestro objetivo ser aplicar este
teorema, dejando su demostracin para ms adelante. De momento podemos pensar que el flujo de F a travs de
la superficie S es igual a la divergencia de F tomada a travs del volumen V.
En la seccin anterior habamos evaluado (con cierta dificultad) la integral

Donde S es la superficie de la esfera x2 + y2 + z2 = a2, y F = x3 i + y3 j + z3 k, y cuyo resultado fue 12a5 / 5. Esta

vez aplicaremos la frmula dada en (1).
La divergencia de F = x3 i + y3 j + z3 k es

de modo que debemos calcular la integral

Puesto que el volumen V corresponde al interior de una esfera, centrada en el origen, de radio a parece natural
hacer cambio de variable y utilizar las coordenadas esfricas, esto es

donde el dominio de las variables (, , ) es

y adems

De modo que obtenemos la siguiente integral

Puesto que x2 + y2 + z2 = 2. Efectuando los clculos, nos queda

Como podemos observar, el clculo del flujo es analticamente ms manejable a travs de la divergencia sobre el
volumen. Veamos otro ejemplo.
Calcular el siguiente flujo

Donde S es la superficie del slido constituido por el plano z = 3x + 2 y el cilindro x2 + y2 = 4.

La divergencia del campo vectorial F = 2y i + 3z k es div F = 3. Por otro lado, para describir el volumen
utilizaremos las coordenadas cilndricas, esto es

y adems

donde el dominio de las variables (, , z) est dado por

de modo que

Como podemos observar, la aplicacin del teorema de la divergencia se fundamenta en saber calcular simples
integrales sobre un volumen, y, a travs de estos ejemplos, podemos ver que juega un papel fundamental las
coordenadas esfricas y cilndricas.
Teorema de Stokes

El teorema de Stokes en geometra diferencial es una proposicin sobre la integracin de formas diferenciales
que generaliza varios teoremas del clculo vectorial. Se nombra as por George Gabriel Stokes (1819-1903), a
pesar de que la primera formulacin conocida del teorema fue realizada por William Thomson y aparece en una
correspondencia que l mantuvo con Stokes.
El teorema fundamental del clculo establece que la integral de una funcin f en el intervalo [a, b] puede ser
calculada por medio de una antiderivada F de f:

El teorema de Stokes es una generalizacin de este teorema en el siguiente sentido:

Para la F elegida,
. En el lenguaje de las formas diferenciales es decir que f(x) dx
es la derivada exterior de la 0-forma (como por ejemplo una funcin) F: dF = f dx. El
teorema general de Stokes se aplica a formas diferenciales mayores en vez de F.

En un lenguaje matemtico, el intervalo abierto (a, b) es una variedad matemtica

unidimensional. Su frontera es el conjunto que consiste en los dos puntos a y b. Integrar f
en ese intervalo puede ser generalizado como integrar formas en una variedad matemtica
de mayor orden. Para esto se necesitan dos condiciones tcnicas: la variedad matemtica
debe ser orientable, y la forma tiene que ser compacta de manera que otorgue una integral
bien definida.

Los dos puntos a y b forman parte de la frontera del intervalo abierto. Ms genricamente,
el teorema de Stokes se aplica a variedades orientadas M con frontera. La frontera M de M
es una variedad en s misma y hereda la orientacin natural de M. Por ejemplo, la
orientacin natural del intervalo da una orientacin de los dos puntos frontera.
Intuitivamente a hereda la orientacin opuesta a b, al ser extremos opuestos del intervalo.
Entonces, integrando F en los dos puntos frontera a, b es equivalente a tomar la diferencia
F(b) F(a).

Por lo que el teorema fundamental relaciona la integral de una funcin sobre un intervalo, con una integral o
suma de la primitiva de la funcin en los lmites que encierran dicho intervalo:

Por otro lado el teorema de Green hace algo similar en dos dimensiones, relaciona la integral a lo largo de una
curva simple con la integral de una combinacin de derivadas sobre un rea limitada por la curva simple:

Similarmente el teorema de la divergencia relaciona la integral de una funcin sobre una superficie con la
integral de una combinacin de derivadas sobre el interior del conjunto:

El teorema de Stokes generaliza todos estos resultados, relacionando la integral sobre una frontera con la integral
de una funcin "derivada" sobre el interior de la regin limitada por la frontera.
Formulacin general

Sea M una variedad de dimensin 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 lmite de M con su orientacin inducida, entonces

aqu d es la derivada exterior, que se define usando solamente la estructura de variedad. El teorema debe ser
considerado como generalizacin del teorema fundamental del clculo y, de hecho, se prueba fcilmente usando
este teorema.
El teorema se utiliza a menudo en situaciones donde M es una subvariedad orientada sumergida en una variedad
ms grande en la cual la forma se define.
El teorema se extiende fcilmente 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 mdulo
una forma exacta se pueden integrar sobre las cadenas definidas mdulo borde. sta es la base para el
apareamiento entre los grupos de homologa y la cohomologa de de Rham.
El clsico 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 lnea 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 mtrica en el
3-espacio euclidiano.
Asimismo el teorema de Ostrogradsky-Gauss o Teorema de la divergencia:

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 clculo y el teorema de Green son tambin casos especiales del teorema de Stokes
generalizado.
La forma general del teorema de Stokes que usa formas diferenciales es de ms alcance que los casos especiales,
por supuesto, aunque los ltimos son ms accesibles y a menudo son considerados ms convenientes por fsicos e
ingenieros.
Otra forma de escribir el mismo teorema es la siguiente:

Donde

es un campo vectorial cualquiera.

Establece que la integral de superficie del rotacional de un campo vectorial sobre una superficie abierta es igual a
la integral (curvilnea) cerrada del campo vectorial a lo largo del contorno que limita la superficie.