Generalización del teorema de Stokes
De Laplace
Contenido |
1 Teorema de Stokes
El teorema de Stokes establece que, dada una curva cerrada Γ, la circulación de un campo vectorial equivale al flujo de su rotacional a través de una superficie S arbitraria con Γ como borde, y orientada según la regla de la mano derecha
![\oint_\Gamma \mathrm{d}\mathbf{r}\cdot\mathbf{F} = \int_S \mathrm{d}\mathbf{S}\cdot(\nabla\times\mathbf{F})](/wiki/images/math/9/1/2/912705fea5f0e2850f69ecea925e4b7e.png)
Este teorema es sólo uno de una familia de teoremas de estructura similar.
2 Generalización a un campo escalar
La primera generalización viene de considerar la integral vectorial
![\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi](/wiki/images/math/5/e/4/5e49e4cedf2b6f153e9cc383812adb2e.png)
Esta integral no es una circulación, sino que da como resultado un vector, obtenido sumando el valor del campo escalar φ en cada punto de Γ multiplicado por el desplazamiento diferencial a lo largo de la curva.
La pregunta que nos hacemos es si podemos convertir esta integral en una sobre la superficie S apoyada en Γ. Vamos a demostrar que se puede y se cumple la identidad
![\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi=\int_S\mathrm{d}\mathbf{S}\times\nabla\phi](/wiki/images/math/3/2/9/3295077db35e57856e18861dd6ec6aae.png)
Para ver cómo, multiplicamos la integral por un vector constante
![\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi=\oint_\Gamma \mathrm{d}\mathbf{r}\cdot\mathbf{u}\phi](/wiki/images/math/3/d/c/3dc20073aaeff77f47d3505e740bb45d.png)
El vector puede entrar en la integral por ser constante. Ahora sí tenemos una circulación, a la que se puede aplicar el teorema de Stokes
![\mathbf{u}\cdot\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\cdot(\mathbf{u}\phi)=\int_S\mathrm{d}\mathbf{S}\cdot\nabla\times(\mathbf{u}\phi)](/wiki/images/math/d/f/8/df8909dd115545c83cddbac595579dfe.png)
Desarrollando el rotacional del producto de un escalar por un vector
![\nabla\times(\mathbf{u}\phi)=\overbrace{(\nabla\times\mathbf{u})}^{=0}\phi+(\nabla\phi)\times\mathbf{u} = (\nabla\phi)\times\mathbf{u}](/wiki/images/math/4/5/8/45896897a7e141d298833d6a8a1b25c6.png)
Sustituyendo en la expresión anterior
![\mathbf{u}\cdot\mathbf{I}=\int_S\mathrm{d}\mathbf{S}\cdot(\nabla\phi\times\mathbf{u})](/wiki/images/math/9/1/6/9168d3c375ec9ccab486a54de90f9a21.png)
Aplicando ahora la propiedad del producto mixto
![\mathbf{A}\cdot(\mathbf{B}\times\mathbf{C})=(\mathbf{A}\times\mathbf{B})\cdot\mathbf{C}](/wiki/images/math/a/6/1/a615302b8708ae19a34ef381f3e83177.png)
nos queda
![\mathbf{u}\cdot\mathbf{I}=\int_S(\mathrm{d}\mathbf{S}\times\nabla\phi)\cdot\mathbf{u}](/wiki/images/math/8/2/6/826cbb78d3af953e7aa40369e3dddbe9.png)
Usando de nuevo el que es un vector constante
![\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\left(\int_S\mathrm{d}\mathbf{S}\times\nabla\phi\right)](/wiki/images/math/5/0/a/50a63ee23eeeab48560a0338ddc23911.png)
y, puesto que esta identidad se verifica sea cual sea el vector , debe cumplirse que, finalmente,
![\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi=\int_S\mathrm{d}\mathbf{S}\times\nabla\phi](/wiki/images/math/0/1/b/01b33059c353a4eef09ae1393e519418.png)
3 Generalización a un producto vectorial
Nos preguntamos ahora por la integral también vectorial
![\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}](/wiki/images/math/8/0/5/805a371dc4c624dced8afe1f35057acc.png)
Vamos a demostrar que también puede reducirse a una integral sobre S. En este caso
![\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}=\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}](/wiki/images/math/7/8/1/78134ccdc978c7fb9c6981b2a5e01efc.png)
El procedimiento es similar al anterior. Multiplicamos la integral por un vector constante
![\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}=\oint_\Gamma (\mathrm{d}\mathbf{r}\times\mathbf{F}\cdot\mathbf{u}](/wiki/images/math/4/6/0/460680cee9787655146e332e5824dba1.png)
Aplicando de nuevo la propiedad del producto mixto
![\mathbf{u}\cdot\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\cdot(\mathbf{F}\times\mathbf{u})](/wiki/images/math/7/2/1/72112d2b2191e1b782efe31952dafd71.png)
Ya tenemos de nuevo una circulación, a la que se puede aplicar el teorema de Stokes
![\mathbf{u}\cdot\mathbf{I}=\int_S\mathrm{d}\mathbf{S}\cdot\nabla\times(\mathbf{F}\times\mathbf{u})](/wiki/images/math/e/1/5/e15b2c87e2c7ef3d6ac791c27dc205d8.png)
Aplicamos ahora dos veces la propiedad del producto mixto
![\mathbf{u}\cdot\mathbf{I}=\int_S\mathrm{d}\mathbf{S}\cdot\nabla\times(\mathbf{F}\times\mathbf{u})=\int_S\left(\mathrm{d}\mathbf{S}\times\nabla\right)\cdot(\mathbf{F}\times\mathbf{u})=\int_S\left((\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}\right)\cdot\mathbf{u}](/wiki/images/math/b/0/a/b0ac36500abcffce98d6cbf58336722d.png)
Aquí también hemos hecho uso de que es constante y por tanto puede salir de las derivadas. También puede salir de las integrales y nos queda
![\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\left(\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}\right)](/wiki/images/math/c/b/6/cb656b786c8c52d218e13a28b1b414de.png)
y, puesto que se debe cumplir para todo vector ,
![\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}=\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}](/wiki/images/math/0/7/9/0791b7853c32c1137a7b30107424cb02.png)
4 Expresión general
Si comparamos el teorema de Stokes, (escrito de una forma ligeramente diferente, con ayuda, de nuevo, de la propiedad del producto mixto), junto con los otros dos teoremas que hemos demostrado, resulta una estructura común
![\begin{matrix}
\oint_\Gamma \mathrm{d}\mathbf{r}\cdot\mathbf{F} & = & \int_S (\mathrm{d}\mathbf{S}\times\nabla)\cdot\mathbf{F}) \\
\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi & = & \int_S\mathrm{d}\mathbf{S}\times\nabla\phi \\
\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F} & = & \int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}\end{matrix}](/wiki/images/math/f/0/d/f0d67ef962df6676f535fe31de8103da.png)