Teoremas clásicos

Director: Mis queridos estudiantes de la UPB

Julián Uribe Castañeda

UPB

10 de noviembre de 2019
Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 2 / 6
Teorema(Stokes).
Sea S una superficie orientada y acotada en R3 . Suponga que S esta acotada por una curva
cerrada simple ∂ S de clase C 1 con orientación inducida por S . Si F : R3 −→ R3 es un campo
vectorial de clase C 1 (R3 , R3 ), entonces:
Z x
F • dr = ∇ × F • dS .
S
∂S

En este caso la orientación de ∂ S se determina por la regla de la mano derecha.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 2 / 6

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6
Ejemplo.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución:

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Entonces C se describe como:

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Entonces C se describe como:

•

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Entonces C se describe como:

• C = {(x , y , z) ∈ R3 : x 2 + y 2 = 4, z = 4}

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Entonces C se describe como:

• C = {(x , y , z) ∈ R3 : x 2 + y 2 = 4, z = 4} y una parametrización para C es

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6

Ejemplo.
Verifique que se cumple el teorema de Stokes en el caso del campo vectorial dado por
F (x , y , z) = (−y , x , z) y C es la curva de intersección del paraboloide z = x 2 + y 2 dentro del
cilindro x 2 + y 2 = 4.
Solución: Notemos inicialmente que nuestra curva luce como:

Entonces C se describe como:

• C = {(x , y , z) ∈ R3 : x 2 + y 2 = 4, z = 4} y una parametrización para C es
r (θ ) = (x , y , z) = (2cos θ , 2sinθ , 4) con 0 ≤ θ ≤ 2π.
Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 3 / 6
Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6
Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6
Además podemos notar que C es el bordo de infinitas superficies.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4}

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4} y una parametrización para S es

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4} y una parametrización para S es
α(x , y ) = (x , y , z) = (x , y , 4) con x 2 + y 2 ≤ 4.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4} y una parametrización para S es
α(x , y ) = (x , y , z) = (x , y , 4) con x 2 + y 2 ≤ 4.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4} y una parametrización para S es
α(x , y ) = (x , y , z) = (x , y , 4) con x 2 + y 2 ≤ 4.

Para verificar el teorema de Stokes tenemos que demostrar que

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4} y una parametrización para S es
α(x , y ) = (x , y , z) = (x , y , 4) con x 2 + y 2 ≤ 4.

Z x
Para verificar el teorema de Stokes tenemos que demostrar que F • dr = ∇ × F • dS ,
S
∂S
donde C = ∂ S .

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Además podemos notar que C es el bordo de infinitas superficies. En particular, C es el bordo
de la superficie S descrita como:
• S = {(x , y , z) ∈ R3 : x 2 + y 2 ≤ 4, z = 4} y una parametrización para S es
α(x , y ) = (x , y , z) = (x , y , 4) con x 2 + y 2 ≤ 4.

Z x
Para verificar el teorema de Stokes tenemos que demostrar que F • dr = ∇ × F • dS ,
S
∂S
donde C = ∂ S . Para esto calculemos ambas integrales y verifiquemos que son iguales.

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 4 / 6

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6
Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6
 Z
F • dr =
C

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ =
C 0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π
(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ =
0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π
(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ =
0 0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 dθ =
0 0 0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 d θ = 4(2π) =
0 0 0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 d θ = 4(2π) = 8π.
0 0 0

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 d θ = 4(2π) = 8π.
0 0 0
x
Ahora para calcular la integral ∇ × F • dS encontremos primero ∇ × F .
S

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 d θ = 4(2π) = 8π.
0 0 0
x
Ahora para calcular la integral ∇ × F • dS encontremos primero ∇ × F .
S

∇ × F (x , y , z) =

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 d θ = 4(2π) = 8π.
0 0 0
x
Ahora para calcular la integral ∇ × F • dS encontremos primero ∇ × F .
S

 → → → 
i j k
 d d d 
∇ × F (x , y , z) = det 
 dx
=
dy dz 
−y x z

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

 Z Z2π Z2π
F • dr = F (r (θ )) • r 0 (θ ) d θ = F (2cos θ , 2sinθ , 4) • (−2sinθ , 2cos θ , 0) d θ =
C 0 0

Z2π Z2π Z2π

(−2sinθ , 2cos θ , 4) • (−2sinθ , 2cos θ , 0) d θ = 4sin2 θ + 4cos 2 θ d θ = 4 d θ = 4(2π) = 8π.
0 0 0
x
Ahora para calcular la integral ∇ × F • dS encontremos primero ∇ × F .
S

 → → → 
i j k
 d d d 
∇ × F (x , y , z) = det 
 dx
 = (0, 0, 2).
dy dz 
−y x z

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 5 / 6

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6
Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6
x
∇ × F • dS =
S

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4
S D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D
x
(0, 0, 2) • (0, 0, 1) dA =
D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D
x x
(0, 0, 2) • (0, 0, 1) dA = 2 1 dA =
D D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D
x x
(0, 0, 2) • (0, 0, 1) dA = 2 1 dA = 2Area(D) =
D D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D
x x
(0, 0, 2) • (0, 0, 1) dA = 2 1 dA = 2Area(D) = 2(π(2)2 ) =
D D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D
x x
(0, 0, 2) • (0, 0, 1) dA = 2 1 dA = 2Area(D) = 2(π(2)2 ) = 8π.
D D

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6

 x x x
=
∇ × F • dS = ∇ × F (α(x , y )) • (αx × αy ) dA D ≡ x 2 +y 2 ≤ 4 ∇ × F (x , y , 0) • (0, 0, 1) dA =
S D D
x x
(0, 0, 2) • (0, 0, 1) dA = 2 1 dA = 2Area(D) = 2(π(2)2 ) = 8π.
D D

Z x
Lo anterior demuestra que F • dr = ∇ × F • dS = 8π.
S
∂S

Julián Uribe Castañeda (UPB) Teoremas clásicos 10 de noviembre de 2019 6 / 6