Está en la página 1de 39

Teorema de Stokes - Cálculo 3

Abraham Hernández
Leonel Lavadores
Paola Villanueva

Facultad de Matemáticas
Universidad Autónoma de Yucatán

14 de mayo de 2019

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 1 / 18


Contenido

1 Teorema de Stokes
Introducción
Teorema
Demostración
Ejemplo
Conclusión

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 2 / 18


Contenido

1 Teorema de Stokes
Introducción
Teorema
Demostración
Ejemplo
Conclusión

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 3 / 18


Introducción

El nombre del Teorema es en honor a G.G. Stokes (1819-1903),


matemático irlandés que consiguió contribuciones fundamentales
en la Hidrodinámica y en la Óptica.

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 4 / 18


Introducción

El nombre del Teorema es en honor a G.G. Stokes (1819-1903),


matemático irlandés que consiguió contribuciones fundamentales
en la Hidrodinámica y en la Óptica.

El Teorema de Stokes establece una relación entre una integral


de lı́nea y una integral de superficie de la siguiente manera:

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 4 / 18


Introducción

El cálculo de la integral de lı́nea del campo vectorial F en la


dirección tangencial de la curva C, es igual a la integral sobre la
superficie S de la circulación del campo F alrededor de la
frontera, en la dirección de la componente normal unitaria a la
superficie, siendo la curva C una curva orientada positivamente,
de tal manera que es la frontera de la superficie orientada
positivamente S.

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 5 / 18


Introducción

El cálculo de la integral de lı́nea del campo vectorial F en la


dirección tangencial de la curva C, es igual a la integral sobre la
superficie S de la circulación del campo F alrededor de la
frontera, en la dirección de la componente normal unitaria a la
superficie, siendo la curva C una curva orientada positivamente,
de tal manera que es la frontera de la superficie orientada
positivamente S.
Matemáticamente se tiene:

I ZZ
F~ · d~r = (O × F ) · ds
C S
Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 5 / 18
Contenido

1 Teorema de Stokes
Introducción
Teorema
Demostración
Ejemplo
Conclusión

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 6 / 18


Teorema

Teorema
Sea S una superficie orientada definida por una función
f : D ⊂ R2 → S tal que f ∈ C 2 y sea F : S → R3 , tal que F ∈ C 1 .
Entonces si ∂S denota la curva frontera orientada de S, entonces

ZZ I
(O × F ) · ds = F · ds.
S ∂S

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 7 / 18


Contenido

1 Teorema de Stokes
Introducción
Teorema
Demostración
Ejemplo
Conclusión

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 8 / 18


Demostración

Sea F = (F1 , F2 , F3 ) con cada Fi campo escalar.

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 9 / 18


Demostración

Sea F = (F1 , F2 , F3 ) con cada Fi campo escalar.


 
∂F3 ∂F2 ∂F1 ∂F3 ∂F2 ∂F1
O×F = − , − , − .
∂y ∂z ∂z ∂x ∂x ∂y

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 9 / 18


Demostración

Sea F = (F1 , F2 , F3 ) con cada Fi campo escalar.


 
∂F3 ∂F2 ∂F1 ∂F3 ∂F2 ∂F1
O×F = − , − , − .
∂y ∂z ∂z ∂x ∂x ∂y
Sea Φ : D → S una parametrización de S tal que
Φ(x, y) = (x, y, f (x, y)).

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 9 / 18


Demostración

Sea F = (F1 , F2 , F3 ) con cada Fi campo escalar.


 
∂F3 ∂F2 ∂F1 ∂F3 ∂F2 ∂F1
O×F = − , − , − .
∂y ∂z ∂z ∂x ∂x ∂y
Sea Φ : D → S una parametrización de S tal que
Φ(x, y) = (x, y, f (x, y)).
 
∂z ∂z
Φx × Φy = − , − , 1 .
∂x ∂y

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 9 / 18


Demostración

Sea F = (F1 , F2 , F3 ) con cada Fi campo escalar.


 
∂F3 ∂F2 ∂F1 ∂F3 ∂F2 ∂F1
O×F = − , − , − .
∂y ∂z ∂z ∂x ∂x ∂y
Sea Φ : D → S una parametrización de S tal que
Φ(x, y) = (x, y, f (x, y)).
 
∂z ∂z
Φx × Φy = − , − , 1 .
∂x ∂y
RR RR
S (O × F ) · ds = D (O × F ) · Φx × Φy .

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 9 / 18


Demostración
       
RR ∂F3 ∂F2 ∂z ∂F1 ∂F3 ∂y ∂F2 ∂F1
D − − + − − + −
∂y ∂z ∂x ∂z ∂x ∂z ∂x ∂y
Por otro lado, considérese el segundo miembro de la igualdad que
se quiere probar:

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 10 / 18


Demostración
       
RR ∂F3 ∂F2 ∂z ∂F1 ∂F3 ∂y ∂F2 ∂F1
D − − + − − + −
∂y ∂z ∂x ∂z ∂x ∂z ∂x ∂y
Por otro lado, considérese el segundo miembro de la igualdad que
se quiere probar:

Por definición de integral de lı́nea, se tiene lo siguiente:

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 10 / 18


Demostración
       
RR ∂F3 ∂F2 ∂z ∂F1 ∂F3 ∂y ∂F2 ∂F1
D − − + − − + −
∂y ∂z ∂x ∂z ∂x ∂z ∂x ∂y
Por otro lado, considérese el segundo miembro de la igualdad que
se quiere probar:

Por definición de integral de lı́nea, se tiene lo siguiente:


R R R
∂S F · ds = α F · ds = α (F1 dx + F2 dy + F3 dz) donde

α : [a, b] → R3 dada por α(t) = (x(t), y(t), f (x(t), y(t))) es la


parametrización de ∂S que conserva la orientación de la frontera.

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 10 / 18


Demostración
       
RR ∂F3 ∂F2 ∂z ∂F1 ∂F3 ∂y ∂F2 ∂F1
D − − + − − + −
∂y ∂z ∂x ∂z ∂x ∂z ∂x ∂y
Por otro lado, considérese el segundo miembro de la igualdad que
se quiere probar:

Por definición de integral de lı́nea, se tiene lo siguiente:


R R R
∂S F · ds = α F · ds = α (F1 dx + F2 dy + F3 dz) donde

α : [a, b] → R3 dada por α(t) = (x(t), y(t), f (x(t), y(t))) es la


parametrización de ∂S que conserva la orientación de la frontera.
dz ∂z dx ∂z dy
Por Regla de la Cadena: = + .
dt ∂x dt ∂y dt

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 10 / 18


Demostración
  
Rb dx dy ∂z dx ∂z dy
a F1 dt + F2 dt + F3 ∂x dt + ∂y dt dt =
    
Rb ∂z dx ∂z dy
a F1 + F3 + F2 + F3 dt
∂x dt ∂y dt

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 11 / 18


Demostración
  
Rb dx dy ∂z dx ∂z dy
a F1 dt + F2 dt + F3 ∂x dt + ∂y dt dt =
    
Rb ∂z dx ∂z dy
a F1 + F3 + F2 + F3 dt
∂x dt ∂y dt
Nota que x y y parametrizan a D

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 11 / 18


Demostración
  
Rb dx dy ∂z dx ∂z dy
a F1 dt + F2 dt + F3 ∂x dt + ∂y dt dt =
    
Rb ∂z dx ∂z dy
a F1 + F3 + F2 + F3 dt
∂x dt ∂y dt
Nota que x y y parametrizan a D

Por lo anterior se tiene que:

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 11 / 18


Demostración
  
Rb dx dy ∂z dx ∂z dy
a F1 dt + F2 dt + F3 ∂x dt + ∂y dt dt =
    
Rb ∂z dx ∂z dy
a F1 + F3 + F2 + F3 dt
∂x dt ∂y dt
Nota que x y y parametrizan a D

Por lo anterior se tiene que:


    
R ∂z ∂z
C F1 + F3 dx + F2 + F3 dy =
 ∂x  ∂y
R ∂z ∂z
∂D F1 + F3 ∂x dx + F2 + F3 ∂y dy

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 11 / 18


Demostración
  
Rb dx dy ∂z dx ∂z dy
a F1 dt + F2 dt + F3 ∂x dt + ∂y dt dt =
    
Rb ∂z dx ∂z dy
a F1 + F3 + F2 + F3 dt
∂x dt ∂y dt
Nota que x y y parametrizan a D

Por lo anterior se tiene que:


    
R ∂z ∂z
C F1 + F3 dx + F2 + F3 dy =
 ∂x  ∂y
R ∂z ∂z
∂D F1 + F3 ∂x dx + F2 + F3 ∂y dy

∂z ∂z
Sean P = F1 + F3 , Q = F2 + F3 . Entonces, aplicando el
∂x ∂y
Teorema de Green, se tiene lo siguiente:

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 11 / 18


Demostración
 
R R ∂ ∂
∂D P dx + Qdy = D Q− P dxdy
∂x ∂y

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 12 / 18


Demostración

R ∂ R∂
∂D P dx + Qdy = D ∂x Q − ∂y P dxdy

Usando la regla de la cadena y la regla del producto se tiene que:

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 12 / 18


Demostración

R ∂ R ∂
∂D P dx + Qdy = D ∂x Q − ∂y P dxdy

Usando la regla de la cadena y la regla del producto se tiene que:


∂ ∂F2 ∂F2 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
Q= + + + + F3
∂x ∂x ∂z ∂x ∂x ∂y ∂z ∂x ∂y ∂x∂y

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 12 / 18


Demostración

R ∂ R ∂
∂D P dx + Qdy = D ∂x Q − ∂y P dxdy

Usando la regla de la cadena y la regla del producto se tiene que:


∂ ∂F2 ∂F2 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
Q= + + + + F3
∂x ∂x ∂z ∂x ∂x ∂y ∂z ∂x ∂y ∂x∂y
∂ ∂F1 ∂F1 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
P = + + + + F3
∂y ∂y ∂z ∂y ∂y ∂x ∂z ∂y ∂x ∂y∂x

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 12 / 18


Demostración

R ∂ R ∂
∂D P dx + Qdy = D ∂x Q − ∂y P dxdy

Usando la regla de la cadena y la regla del producto se tiene que:


∂ ∂F2 ∂F2 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
Q= + + + + F3
∂x ∂x ∂z ∂x ∂x ∂y ∂z ∂x ∂y ∂x∂y
∂ ∂F1 ∂F1 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
P = + + + + F3
∂y ∂y ∂z ∂y ∂y ∂x ∂z ∂y ∂x ∂y∂x
∂ ∂
Restando P de Q se tiene
∂y ∂x

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 12 / 18


Demostración

R ∂ R ∂
∂D P dx + Qdy = D ∂x Q − ∂y P dxdy

Usando la regla de la cadena y la regla del producto se tiene que:


∂ ∂F2 ∂F2 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
Q= + + + + F3
∂x ∂x ∂z ∂x ∂x ∂y ∂z ∂x ∂y ∂x∂y
∂ ∂F1 ∂F1 ∂z ∂F3 ∂z ∂F3 ∂z ∂z ∂2z
P = + + + + F3
∂y ∂y ∂z ∂y ∂y ∂x ∂z ∂y ∂x ∂y∂x
∂ ∂
Restando P de Q se tiene
∂y ∂x
 
∂ ∂ ∂F2 ∂F2 ∂z ∂F3 ∂z ∂F1 ∂F1 ∂F3 ∂z
Q− P = + + − + +
∂x ∂y ∂x ∂z ∂x ∂x ∂y ∂y ∂z ∂y ∂x
=
       
∂F3 ∂F2 ∂z ∂F1 ∂F3 ∂z ∂F2 ∂F1
− − + − − + −
∂y ∂z ∂x ∂z ∂x ∂y ∂x ∂y
Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 12 / 18
Demostración

 
R ∂ ∂ R
Comparando ∂D P dx + Qdy = D Q− P dxdy con lo
∂x ∂y
anterior, se tiene la igualdad buscada.

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 13 / 18


Contenido

1 Teorema de Stokes
Introducción
Teorema
Demostración
Ejemplo
Conclusión

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 14 / 18


Ejemplo

Verifque el teorema de Stokes para el campo vectorial


F (x, y, z) = (z − y, x + z, −x − y) y la superficie lmitada por el
paraboloide z = 4 − x2 − y 2 y el plano z = 0

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 15 / 18


Contenido

1 Teorema de Stokes
Introducción
Teorema
Demostración
Ejemplo
Conclusión

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 16 / 18


Conclusión

El Teorema de Stokes es la versión tridimensional del Teorema de


Green
Z Z Z
(rotF · n
b) = F · dr
S C

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 17 / 18


Conclusión

El Teorema de Stokes es la versión tridimensional del Teorema de


Green
Z Z Z
(rotF · n
b) = F · dr
S C

En fı́sica el teorema de Stokes se utiliza para describir una ley


básica de la teorı́a electromagnética conocida como la Ley de
Faraday

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 17 / 18


Referencias

1 Apostol, T, Calculus vol 2 1992

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 18 / 18


Referencias

1 Apostol, T, Calculus vol 2 1992

2 Lang, S, Calculus of several variables, Yale University, 1971

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 18 / 18


Referencias

1 Apostol, T, Calculus vol 2 1992

2 Lang, S, Calculus of several variables, Yale University, 1971

3 Marsden J. E, Tromba A.J, Cálculo Vectorial Addison-Wesley


Iberoamercana, S.A., 1991

Hernández Lavadores Villanueva (Fmat- Uady) Teorema de Stokes 14 de mayo de 2019 18 / 18