Teorema de la divergencia

En clculo vectorial, el teorema de la divergencia, tambin llamado teorema de Gauss o teorema de Gauss-Ostrogradsky, teorema que relaciona el flujo de un campo vectorial a travs de una superficie cerrada con la integral de su divergencia en el volumen delimitado por dicha superficie. Intuitivamente se puede concebir como la suma de todas las fuentes menos la suma de todos los sumideros da el flujo de salida neto de una regin. Es un resultado importante en fsica, sobre todo en electrosttica y en dinmica de fluidos. Desde el punto de vista matemtico es un caso particular del teorema de Stokes.
ndice
[ocultar]

1 Historia 2 Enunciado 3 Ejemplo de aplicacin 4 Vase tambin 5 Enlaces externos

[editar]Historia

El teorema fue descubierto originariamente por Joseph Louis Lagrange en 1762, e independientemente por Carl Friedrich Gauss en 1813, por George Green en 1825 y en 1831 por Mikhail Vasilievich Ostrogradsky, que tambin dio la primera demostracion del teorema. Posteriormente, variaciones del teorema de divergencia se conocen como teorema de Gauss, el teorema de Green, y teorema de Ostrogradsky.
[editar]Enunciado

Sean cerrada. Sea

dos subconjuntos abiertos en ,

donde

es simplemente

conexo y el borde de

es una superficie regular o regular a trozos y

, un campo vectorial de clase

, es decir,

cuenta con

derivadas parciales de primer orden continuas. Entonces:

donde el vector

normal a la superficie apunta hacia el exterior del volumen

Este resultado es una consecuencia natural del Teorema de Stokes, el cual generaliza el Teorema fundamental del clculo. El teorema fue enunciado por el matemtico alemn Carl Friedrich Gauss en 1835, pero no fue publicado hasta 1867. Debido a la similitud matemtica que tiene el campo elctrico con otras leyes fsicas, el teorema de Gauss puede utilizarse en diferentes problemas de fsica gobernados por leyes inversamente proporcionales al cuadrado de la distancia, como la gravitacin o la intensidad de la radiacin. Este teorema recibe el nombre de ley de Gauss y constituye tambin la primera de las ecuaciones de Maxwell.
[editar]Ejemplo

de aplicacin

Esfera de radio 2.

Calcular el flujo del campo vectorial superficie esfrica

a travs de la

Resolucin. A partir de la ecuacin de la esfera se sabe que el radio es Entonces:

Aplicando el teorema de la divergencia tenemos:

[editar]

Teorema de Green
En fsica y matemticas, el teorema de Green da la relacin entre una integral de lnea alrededor de una curva cerrada simple C y una integral doble sobre la regin plana D limitada por C. El teorema de Green se llama as por el cientfico britnico George Green y es un caso especial del ms general teorema de Stokes. El teorema afirma: Sea C una curva cerrada simple positivamente orientada, diferenciable por trozos, en el plano y sea D la regin limitada por C. Si L y M tienen derivadas parciales continuas en una regin abierta que contiene D,

A veces la notacin

se utiliza para establecer que la integral de lnea est calculada usando la orientacin positiva (antihoraria) de la curva cerrada C.
[editar]Relacin

con el teorema de la divergencia

El teorema de Green es equivalente a la siguiente analoga bidimensional del teorema de Stokes:

donde saliente en la frontera.

es el vector normal

Para ver esto, considere la unidad normal en la parte derecha de la ecuacin. Como es un vector apuntando tangencialmente a travs de una curva, y la curva C est orientada de manera positiva (es decir, en contra del sentido de las agujas del reloj) a travs de la frontera, un vector normal saliente sera aquel que apunta en 90 hacia la derecha, el cual podra ser este vector es Tomando los componentes de convierte en . Por lo tanto , el lado derecho se . El mdulo de .

que por medio del teorema de Green resulta:

[editar]

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.
ndice
[ocultar]

1 Introduccin 2 Formulacin general 3 Vase tambin 4 Enlaces externos

[editar]Introduccin
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 aplica para 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.

[editar]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 lacohomologa 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.