Generalización del teorema de Stokes
De Laplace
(→Generalización a un producto vectorial) |
(→Generalización a un producto vectorial) |
||
Línea 72: | Línea 72: | ||
Aplicamos ahora dos veces la propiedad del producto mixto | Aplicamos ahora dos veces la propiedad del producto mixto | ||
- | <center><math>\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)\cdot(\mathbf{F}\times\mathbf{u})=\int_S\left((\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}\right)\cdot\mathbf{u}</math></center> | + | <center><math>\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}</math></center> |
Aquí también hemos hecho uso de que <math>\mathbf{u}</math> es constante y por tanto puede salir de las derivadas. También puede salir de las integrales y nos queda | Aquí también hemos hecho uso de que <math>\mathbf{u}</math> es constante y por tanto puede salir de las derivadas. También puede salir de las integrales y nos queda | ||
- | <center><math>\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\left(\int_S | + | <center><math>\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\left(\int_S\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}\right)</math></center> |
==Expresión general== | ==Expresión general== | ||
[[Categoría:Fundamentos matemáticos]] | [[Categoría:Fundamentos matemáticos]] |
Revisión de 18:49 26 mar 2009
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}=\int_S(\mathrm{d}\mathbf{S}\times\nabla\phi](/wiki/images/math/d/2/a/d2afb0f3639b599efd301ea797b96673.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,
![\mathbf{I}=\int_S\mathrm{d}\mathbf{S}\times\nabla\phi](/wiki/images/math/a/4/8/a48ec67c5bd7d422ea55d5c67b0ef750.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}=\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}](/wiki/images/math/2/b/5/2b5f890d37c0e850180fdbebee4a3092.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/7/6/3/763f7fe4e314858bf41bf648b7c76372.png)