Generalización del teorema de Stokes
De Laplace
(Nueva página: ==Teorema de Stokes== ==Generalización a un campo escalar== ==Generalización a un producto vectorial== ==Expresión general== Categoría:Fundamentos matemáticos) |
(→Expresión general) |
||
| (18 ediciones intermedias no se muestran.) | |||
| Línea 1: | Línea 1: | ||
==Teorema de Stokes== | ==Teorema de Stokes== | ||
| + | El [[teorema de Stokes]] establece que, dada una curva cerrada <math>\Gamma</math>, la [[circulación]] de un campo vectorial <math>\mathbf{F}</math> equivale al flujo de su [[rotacional]] a través de una superficie <math>S</math> arbitraria con <math>\Gamma</math> como borde, y orientada según la regla de la mano derecha | ||
| + | |||
| + | <center><math>\oint_\Gamma \mathrm{d}\mathbf{r}\cdot\mathbf{F} = \int_S \mathrm{d}\mathbf{S}\cdot(\nabla\times\mathbf{F})</math></center> | ||
| + | |||
| + | Este teorema es sólo uno de una familia de teoremas de estructura similar. | ||
==Generalización a un campo escalar== | ==Generalización a un campo escalar== | ||
| + | La primera generalización viene de considerar la integral vectorial | ||
| + | |||
| + | <center><math>\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi</math></center> | ||
| + | |||
| + | Esta integral no es una circulación, sino que da como resultado un vector, obtenido sumando el valor del campo escalar <math>\phi</math> en cada punto de <math>\Gamma</math> 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 <math>S</math> apoyada en <math>\Gamma</math>. Vamos a demostrar que se puede y se cumple la identidad | ||
| + | |||
| + | <center><math>\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi=\int_S\mathrm{d}\mathbf{S}\times\nabla\phi</math></center> | ||
| + | |||
| + | Para ver cómo, multiplicamos la integral por un vector constante <math>\mathbf{u}</math> | ||
| + | |||
| + | <center><math>\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</math></center> | ||
| + | |||
| + | 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 | ||
| + | |||
| + | <center><math>\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)</math></center> | ||
| + | |||
| + | Desarrollando el rotacional del producto de un escalar por un vector | ||
| + | |||
| + | <center><math>\nabla\times(\mathbf{u}\phi)=\overbrace{(\nabla\times\mathbf{u})}^{=0}\phi+(\nabla\phi)\times\mathbf{u} = (\nabla\phi)\times\mathbf{u}</math></center> | ||
| + | |||
| + | Sustituyendo en la expresión anterior | ||
| + | |||
| + | <center><math>\mathbf{u}\cdot\mathbf{I}=\int_S\mathrm{d}\mathbf{S}\cdot(\nabla\phi\times\mathbf{u})</math></center> | ||
| + | |||
| + | Aplicando ahora la propiedad del producto mixto | ||
| + | |||
| + | <center><math>\mathbf{A}\cdot(\mathbf{B}\times\mathbf{C})=(\mathbf{A}\times\mathbf{B})\cdot\mathbf{C}</math></center> | ||
| + | |||
| + | nos queda | ||
| + | |||
| + | <center><math>\mathbf{u}\cdot\mathbf{I}=\int_S(\mathrm{d}\mathbf{S}\times\nabla\phi)\cdot\mathbf{u}</math></center> | ||
| + | |||
| + | Usando de nuevo el que <math>\mathbf{u}</math> es un vector constante | ||
| + | |||
| + | <center><math>\mathbf{u}\cdot\mathbf{I}=\mathbf{u}\cdot\left(\int_S\mathrm{d}\mathbf{S}\times\nabla\phi\right)</math></center> | ||
| + | |||
| + | y, puesto que esta identidad se verifica sea cual sea el vector <math>\mathbf{u}</math>, debe cumplirse que, finalmente, | ||
| + | |||
| + | <center><math>\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi=\int_S\mathrm{d}\mathbf{S}\times\nabla\phi</math></center> | ||
==Generalización a un producto vectorial== | ==Generalización a un producto vectorial== | ||
| + | Nos preguntamos ahora por la integral también vectorial | ||
| + | |||
| + | <center><math>\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}</math></center> | ||
| + | |||
| + | Vamos a demostrar que también puede reducirse a una integral sobre <math>S</math>. En este caso | ||
| + | |||
| + | <center><math>\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}=\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}</math></center> | ||
| + | |||
| + | El procedimiento es similar al anterior. Multiplicamos la integral por un vector constante <math>\mathbf{u}</math> | ||
| + | |||
| + | <center><math>\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}</math></center> | ||
| + | |||
| + | Aplicando de nuevo la propiedad del producto mixto | ||
| + | |||
| + | <center><math>\mathbf{u}\cdot\mathbf{I}=\oint_\Gamma \mathrm{d}\mathbf{r}\cdot(\mathbf{F}\times\mathbf{u})</math></center> | ||
| + | |||
| + | Ya tenemos de nuevo una circulación, a la que se puede aplicar el teorema de Stokes | ||
| + | |||
| + | <center><math>\mathbf{u}\cdot\mathbf{I}=\int_S\mathrm{d}\mathbf{S}\cdot\nabla\times(\mathbf{F}\times\mathbf{u})</math></center> | ||
| + | |||
| + | 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\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 | ||
| + | |||
| + | <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> | ||
| + | |||
| + | y, puesto que se debe cumplir para todo vector <math>\mathbf{u}</math>, | ||
| + | |||
| + | <center><math>\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F}=\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}</math></center> | ||
==Expresión general== | ==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 | ||
| + | <center><math> | ||
| + | \begin{matrix} | ||
| + | \displaystyle\oint_\Gamma \mathrm{d}\mathbf{r}\cdot\mathbf{F} & = & \displaystyle\int_S (\mathrm{d}\mathbf{S}\times\nabla)\cdot\mathbf{F} \\ | ||
| + | & & \\ | ||
| + | \displaystyle\oint_\Gamma \mathrm{d}\mathbf{r}\,\phi & = & \displaystyle\int_S\mathrm{d}\mathbf{S}\times\nabla\phi \\ | ||
| + | & & \\ | ||
| + | \displaystyle\oint_\Gamma \mathrm{d}\mathbf{r}\times\mathbf{F} & = & \displaystyle\int_S(\mathrm{d}\mathbf{S}\times\nabla)\times\mathbf{F}\end{matrix}</math> | ||
| + | </center> | ||
| + | Vemos que los tres pueden ponerse en la forma | ||
| + | |||
| + | <center><math>\oint_\Gamma \mathrm{d}\mathbf{r}\star A = \int_S (\mathrm{d}\mathbf{S}\times\nabla)\star A</math></center> | ||
| + | |||
| + | donde <math>\star</math> representa cualquie tipo de producto (por un escalar, escalar, vectorial u otros que no hemos visto) y <math>A</math> es un campo cualquiera, escalar, vectorial o tensorial. | ||
| + | |||
| + | Teniendo en cuenta que <math>\mathrm{d}\mathbf{S}=\mathrm{d}S\,\mathbf{n}</math>, en la integral de superficie aparece el operador <math>\mathbf{n}\times\nabla</math>, que puede desarrollarse empleando coordenadas cartesianas | ||
| + | |||
| + | <center><math>\mathbf{n}\times\nabla = \left|\begin{matrix} \mathbf{u}_x & \mathbf{u}_y & \mathbf{u}_z \\ n_x & n_y & n_z \\ & & \\ \displaystyle \frac{\partial\ }{\partial x} & \displaystyle \frac{\partial\ }{\partial y} & \displaystyle \frac{\partial\ }{\partial z} \end{matrix}\right|= \mathbf{u}_x\left(n_y\frac{\partial\ }{\partial z}-n_z\frac{\partial\ }{\partial y}\right)+\mathbf{u}_y\left(n_z\frac{\partial\ }{\partial x}-n_x\frac{\partial\ }{\partial z}\right)+\mathbf{u}_z\left(n_x\frac{\partial\ }{\partial y}-n_y\frac{\partial\ }{\partial x}\right)</math></center> | ||
| + | |||
| + | o las correspondientes en otros sistemas de coordenadas. En particular, si la integral se hace sobre una superficie coordenada, dos de las componentes de <math>\mathbf{n}</math> se anulan, lo que simplifica notablemente la expresión. | ||
[[Categoría:Fundamentos matemáticos]] | [[Categoría:Fundamentos matemáticos]] | ||
última version al 18:55 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
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
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
Para ver cómo, multiplicamos la integral por un vector constante 
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
Desarrollando el rotacional del producto de un escalar por un vector
Sustituyendo en la expresión anterior
Aplicando ahora la propiedad del producto mixto
nos queda
Usando de nuevo el que es un vector constante
y, puesto que esta identidad se verifica sea cual sea el vector , debe cumplirse que, finalmente,
3 Generalización a un producto vectorial
Nos preguntamos ahora por la integral también vectorial
Vamos a demostrar que también puede reducirse a una integral sobre S. En este caso
El procedimiento es similar al anterior. Multiplicamos la integral por un vector constante
Aplicando de nuevo la propiedad del producto mixto
Ya tenemos de nuevo una circulación, a la que se puede aplicar el teorema de Stokes
Aplicamos ahora dos veces la propiedad del producto mixto
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
y, puesto que se debe cumplir para todo vector ,
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
Vemos que los tres pueden ponerse en la forma
donde 
representa cualquie tipo de producto (por un escalar, escalar, vectorial u otros que no hemos visto) y A es un campo cualquiera, escalar, vectorial o tensorial.
Teniendo en cuenta que 
, en la integral de superficie aparece el operador 
, que puede desarrollarse empleando coordenadas cartesianas
o las correspondientes en otros sistemas de coordenadas. En particular, si la integral se hace sobre una superficie coordenada, dos de las componentes de 
se anulan, lo que simplifica notablemente la expresión.
