Está en la página 1de 138

1

M AT 024
A PUNTES DE C LASES

Nelson Cifuentes Fernández


2
Í NDICE GENERAL

Índice general I

1. Integración múltiple 1
1.1. La integral doble sobre un rectángulo . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Cambio de variables para funciones de 2 variables . . . . . . . . . . . . 9
1.1.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2. Integrales triples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.1. Cambio de variable en Integrales triples . . . . . . . . . . . . . . . . . . 23
1.2.2. Coordenadas Cilı́ndricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.2.3. Coordenadas esféricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.3. Aplicaciones Integrales múltiples . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.3.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

2. Curvas 43
2.1. Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2. Parametrización por longitud de arco . . . . . . . . . . . . . . . . . . . . . . . 50
2.3. Curvatura y torsión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.4. El cı́rculo osculador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.5. Ejercicios de Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3. Integrales de linea 77
3.1. Integral de linea de primer tipo . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.2. Integrales de linea de segundo tipo . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.2.1. Independencia de caminos . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.3. El teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.3.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

4. Integrales de superficie 97
4.1. Parametrizaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2. Área de superficies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
4.3. Integrales de superficie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.3.1. Integrales de superficie de campos escalares . . . . . . . . . . . . . . . 108
4.3.2. Integrales de superficie de campos vectoriales . . . . . . . . . . . . . . 110

5. Teoremas de la divergencia y de Stokes 117


5.1. Rotacional y divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
5.2. Teorema de la divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.3. Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

I
II ÍNDICE GENERAL
S OBRE LOS APUNTES

Estimados estudiantes, estos son mis apuntes de clases de mat024, es la primera versión y
creo que tendrá más de un error, les pido escribirme para ir mejorando el material, mucha
suerte y que aprendan mucho.

III
IV ÍNDICE GENERAL
1 I NTEGRACI ÓN M ÚLTIPLE

La integral doble sobre un rectángulo

Sea R = [a, b] × [c, d] ⊆ R un rectángulo, consideremos particiones regulares en [a, b] de m + 1


puntos y en [c, d] de n + 1 puntos, esto es, consideramos colecciones {xi }m n
i=0 y {yj }j=0 tales
que
a = x0 < x1 < · · · < xi < xi+1 < · · · < xm = b

y
c = y0 < y1 < · · · < yj < yj+1 < · · · < yn = d

tales que
b−a
∆xi = xi − xi−1 = para i ∈ {1, . . . , m}
m
y
d−c
∆yj = yj − yj−1 = para j ∈ {1, . . . , n}
n
la grilla formada por las rectas x = xi para i ∈ {0, . . . , m} e y = yj para j ∈ {0, . . . , n},
determina mn sub-rectángulos de R los que denotaremos por Rij = [xi−1 , xi ] × [yj−1 , yj ].
Llamaremos a la colección P = {R11 , R12 , . . . , Rmn } una partición regular de R.

Sea f : [a, b] × [c, d] → R una función positiva, la partición regular P = {R11 , R12 , . . . , Rmn }
divide el sólido bajo la gráfica de z = f (x, y) en mn sólidos, digamos Sij donde tales sólidos
están limitados por abajo por Rij y por arriba por la superficie z = f (x, y) que se encuentra
directamente sobre el rectángulo.

1
2 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

Sea x∗i , yj∗ ∈ Rij un punto cualquiera, el paralelepı́pedo de base Rij , altura f x∗i , yj∗ y
 

volumen
Vij = f x∗i , yj∗ ∆xi ∆yj


aproxima el volumen del sólido Sij

se sigue que el volumen total es aproximado por


m X
X n
f x∗i , yj∗ ∆xi ∆yj

V =
i=1 j=1

intuitivamente, si n, m → ∞ la aproximación debe ser cada vez mejor.


1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 3

Definición 1.1.1. Sea f : R = [a, b] × [c, d] → R una función y P = {R11 , R12 , . . . , Rmn } una
partición regular de R. Se define la integral doble de f sobre R como
ZZ m X
X n
f x∗i , yj∗ ∆xi ∆yj

f (x, y) dA = lı́m
R n,m→∞
i=1 j=1

siempre  que este lı́mite exista y sea el mismo para cualquier elección posible de los puntos
x∗i , yj∗ ∈ Rij .

Mediante la definición es complicada la obtención del valor de la integral (y la existencia


de la misma), necesitamos un método práctico que nos permita calcular el valor de la
integral. Del curso Mat022 recordamos el método para el cálculo de volúmenes por área de
secciones transversales conocidas. Si A (x) es el área de la sección transversal de un sólido
(perpendicular al eje x) y x ∈ [a, b] entonces el volumen es dado por
Z b
V = A (x) dx
a

Supongamos que f : [a, b] × [c, d] → R es una función continua, calcularemos el volumen


bajo z = f (x, y) utilizando secciones transversales. Sea x fijo, el área de la sección transversal
determinada por el plano perpendicular al eje x en x es dada por
Z d
A (x) = f (x, y) dy
c

luego el volumen del sólido es


Z b Z bZ d
V = A (x) dx = f (x, y) dydx
a a c

de la misma manera, tomando secciones transversales perpendiculares al eje y se tiene


Z d
V = A (y) dy
c
Z dZ b
= f (x, y) dxdy
c a

estas integrales son llamadas integrales iteradas.


4 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

Note que tenemos dos formas de calcular el volumen, con las sumas de Riemann y con
las integrales iteradas, el teorema de Fubini que enunciaremos a continuación establece
condiciones bajo las cuales estas cantidades coinciden, lo que nos entrega un método para el
cálculo de integrales dobles mediante integrales de una variable (integrales iteradas), antes,
enunciaremos un criterio de integrabilidad para funciones dos variables.

Teorema
Sea f : [a, b]×[c, d] ⊆ R2 → R una función acotada que es continua
salvo quizás en un conjunto que es unión finita de gráficas de
funciones continuas de una variable, entonces f es integrable en
[a, b] × [c, d].

 
1
Ejemplo 1.1.1. La función f (x, y) = sin |x|−|y| para |x| =
6 |y| y f (x, y) = 0 para |x| = |y| es
integrable en cualquier rectángulo [a, b] × [c, d] pues es continua salvo en el conjunto

D = (x, y) ∈ R2 : |x| = |y|




= (x, y) ∈ R2 : y = x ∪ (x, y) ∈ R2 : y = −x
 

que es unión de dos gráficas de funciones continuas.


1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 5

Teorema de Fubini
Sea f : [a, b] × [c, d] ⊆ R2 → R una función acotada que es conti-
nua salvo quizás en un conjunto que es unión finita de gráficas
de funciones continuas de una variable, si para todo x ∈ [a, b]
Z d
RbRd
la integral f (x, y) dy existe entonces a c f (x, y) dydx existe
c
además Z bZ
ZZ d
f (x, y) dA = f (x, y) dydx
R a c
Z b
de manera similar si para todo y ∈ [c, d] la integral f (x, y) dx
Z dZ b a

existe entonces f (x, y) dxdy existe además


c a
ZZ Z d Z b
f (x, y) dA = f (x, y) dxdy
R c a

RR
Ejemplo 1.1.2. Si R = [0, 1] × [0, 1], calcular R (x3 y + x) dA.
La función f (x, y) = x3 y + x es continua en R2 , en particular en [0, 1] × [0, 1] se sigue que el
teorema de Fubini es aplicable de donde obtenemos
ZZ Z 1Z 1
3
x3 y + x dxdy
 
x y + x dA =
R 0 0
Z 1 4  1
x x2
= y+ dy
0 4 2 0
Z 1 
y 1
= + dy
0 4 2
5
=
8
o bien
ZZ Z 1 Z 1
3
x3 y + x dydx
 
x y + x dA =
R 0 0
Z 1 2
 1
3y

= x + xy dx
0 2 0
Z 1 3 
x
= + x dx
0 2
5
=
8
Proposición 1.1.1. Sean f, g : R = [a, b] × [c, d] ⊆ R2 → R funciones integrales, a, β ∈ R :
6 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

1. αf + βg es integrable en R además
ZZ ZZ ZZ
(αf (x, y) + βg (x, y)) dA = α f (x, y) dA + β g (x, y) dA
R R R

2. Si R1 y R2 son subrectángulos de R tales que R = R1 ∪ R2 y R1 , R2 comparten solo un borde


entonces ZZ ZZ ZZ
f (x, y) dA = f (x, y) dA + f (x, y) dA
R1 ∪R2 R1 R2

3. Si f ≥ 0 en R entonces ZZ
f (x, y) dA ≥ 0
R

4. Si f ≥ g en R entonces ZZ ZZ
f (x, y) dA ≥ f (x, y) dA
R R

Veremos como extender la integral a dominios de definición más generales:

Definición 1.1.2. Diremos que el conjunto acotado D ⊆ R2 es:

1. Una región elemental de primer tipo, si existen funciones continuas ψ1 , ψ2 : [a, b] → R


tales que, para todo x ∈ [a, b] se cumple ψ1 (x) ≤ ψ2 (x) y

D = (x, y) ∈ R2 : a ≤ x ≤ b ∧ ψ1 (x) ≤ y ≤ ψ2 (x)




2. Una región elemental de segundo tipo, si existen funciones continuas ψ1 , ψ2 : [c, d] → R


tales que, para todo y ∈ [c, d] se cumple ϕ1 (y) ≤ ϕ2 (y) y

D = (x, y) ∈ R2 : c ≤ y ≤ d ∧ ϕ1 (y) ≤ x ≤ ϕ2 (y)




3. Una región elemental de tercer tipo, si es de primer y segundo tipo a la vez.


1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 7

Supongamos que D es una región elemental (luego acotada) y f : D ⊆ R2 → R es una función


continua, la función

 f (x, y) (x, y) ∈ D
f ∗ (x, y) =
0 (x, y) ∈ [a, b] × [c, d] − D

donde [a, b] × [c, d] es un rectángulo que contiene a D entonces f ∗ (x, y) cumple con el criterio
de integrabilidad luego, si la región es de primer tipo
ZZ Z bZ d

f (x, y) dA = f ∗ (x, y) dydx
[a,b]×[c,d] a c
!
Z Z b ψ1 (x)
Z Z ψ2 (x) d
∗ ∗
= f (x, y) dy + f (x, y) dy + f ∗ (x, y) dy dx
a c ψ1 (x) ψ2 (x)
!
Z b Z ψ2 (x)
= f (x, y) dy dx
a ψ1 (x)

de manera similar, si la región es de segundo tipo

ZZ Z d Z b

f (x, y) dA = f ∗ (x, y) dxdy
[a,b]×[c,d] c a
!
Z d Z ϕ1 (y) Z ϕ2 (y) Z b
= f ∗ (x, y) dx + f ∗ (x, y) dx + f ∗ (x, y) dx dy
c a ϕ1 (y) ϕ2 (y)
!
Z d Z ϕ2 (y)
= f (x, y) dx dy
c ϕ1 (y)

y si es de tercer tipo se pueden aplicar las dos expresiones anteriores, según sea conveniente.

Observación 1.1.1. Las propiedades de la integral doble sobre rectángulos se mantienen para
regiones elementales, es de particular interés notar que si D = D1 ∪ D2 con D1 ∩ D2 solo la
gráfica de una función continua de una variable entonces
ZZ ZZ ZZ
f (x, y) dA = f (x, y) dA + f (x, y) dA
D D1 D2
8 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

esto hace posible trabajar con regiones que son uniones de regiones elementales.

Ejemplo 1.1.3. Cambiar el orden de integración en



Z 1 Z y
f (x, y) dxdy
0 y


Notar que en esta integral 0 ≤ y ≤ 1 y y ≤ x ≤ y corresponde a una región de segundo
tipo, la misma región se puede describir como

R = (x, y) ∈ R2 : 0 ≤ x ≤ 1 ∧ x2 ≤ y ≤ x


de donde obtenemos

Z 1 Z y Z 1 Z x
f (x, y) dxdy = f (x, y) dydx
0 y 0 x2

Ejemplo 1.1.4. Cambiando el orden de integración, escribir la suma en una sola integral
Z 1 Z x Z 2 Z 2−x
f (x, y) dydx + f (x, y) dydx
0 0 1 0

La región de la primera integral es

D1 = (x.y) ∈ R2 : 0 ≤ x ≤ 1, 0 ≤ y ≤ x


y en la segunda
D2 = (x.y) ∈ R2 : 1 ≤ x ≤ 2, 0 ≤ y ≤ 2 − x


entonces
D1 ∪ D2
se puede describir como

D = (x, y) ∈ R2 : 0 ≤ y ≤ 1, y ≤ x ≤ 2 − y


ası́ Z 1 Z x Z 2 Z 2−x Z 1 Z 2−y


f (x, y) dydx + f (x, y) dydx = f (x, y) dxdy
0 0 1 0 0 y

Ejemplo 1.1.5. Calcular la integral ZZ


sin x
dA
A x
donde A es el triángulo en el plano xy acotado por el eje x, la recta x = y y la recta x = 1.
Note que la primitiva de sinx x no es conocida, luego no podemos realizar una integración
primero en x, veamos como describir el triángulo de manera conveniente
ZZ Z 1Z x
sin x sin x
dA = dydx
A x 0 0 x
= 1 − cos 1
1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 9

Ejemplo 1.1.6. Calcular el volumen bajo la gráfica del plano z = x + y + 1 sobre la región del
plano xy encerrada por las rectas

y−x = 1
y−x = −1
y+x = 1
y+x = 2

Ejemplo 1.1.7. Escribir las integrales que permiten calcular el volumen del sólidop
definido
2 2 2
como la parte de la esfera x + y + z ≤ 2 que se encuentra al interior del como z = x2 + y 2 .

Cambio de variables para funciones de 2 variables

Ejemplo 1.1.8. Calcular la integral


ZZ
(x + y) dA
D

donde D es la región del primer cuadrante limitada por los cı́rculos x2 + y 2 = 1 y x2 + y 2 = 4.

Notamos que la región se puede dividir en dos regiones de primer tipo


n
2
√ √ o
2
D1 = (x, y) ∈ R : 0 ≤ x ≤ 1 ∧ 1 − x ≤ y ≤ 4 − x 2
n √ o
D2 = (x, y) ∈ R2 : 1 ≤ x ≤ 2 ∧ 0 ≤ y ≤ 4 − x2

luego
ZZ ZZ ZZ
(x + y) dA = (x + y) dA + (x + y) dA
D D1 D2
√ √
Z 1 Z 4−x2 Z 2 Z 4−x2
= √
(x + y) dydx + (x + y) dydx
0 1−x2 1 0

1 √
Z 
3
= x 4 − x2 − x 1 − x2 + dx
0 2
Z 2 √ 
2
1 2
+ x 4 − x − x + 2 dx
1 2
√ √
   
23 5
= − 3 + 3+
6 6
14
=
3
la pregunta aquı́ es, ¿Existirá una forma más sencilla de calcular esta integral?

La región sobre la cual se esta realizando la integración puede ser descrita en coordenadas
polares en forma muy sencilla, el radio va de 1 a 2 y el ángulo de 0 a π2 .
10 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

Esto es, la transformación


πi h
F : [1, 2] × 0, →D
2
(r, θ) → F (r, θ) = (r cos θ, r sin θ)

sin embargo es fácil ver que las integrales sobre esta regiones [1, 2] × 0, π2 y D no son iguales,
 

por ejemplo
ZZ Z π/2 Z 2
π
drdθ = drdθ =
[1,2]×[0, π2 ] 0 1 2
Z
6= dxdy
D
4π π
= −
4 4
3
= π
4
lo que falta es un factor de deformación del área. Recordemos el teorema de cambio de
variables en una variable, este dice que
Z b Z g(b)
0
f (g (x)) g (x) dx = f (u) du
a g(a)

luego al cambiar el intervalo [g (a) , g (b)] por [a, b] aparece en factor de deformación g 0 (x) en
la integral.

Teorema del cambio de variables


Sean D y D∗ regiones elementales del plano. Sea F : D∗ → D,
(u, v) → (x (u, v) , y (u, v)) una función de clase C 1 biyectiva, si
f : D → R es integrable entonces
ZZ ZZ
f (x, y) dxdy = f (F (u, v)) |det (DF (u, v))| dudv
D D∗
ZZ
∂ (x, y)
= f (x (u, v) , y (u, v)) dudv (1.0)
D∗ ∂ (u, v)

donde
∂x ∂x
 
∂ (x, y) ∂u ∂v
= det  
∂ (u, v) ∂y ∂y
∂u ∂v

es llamado Jacobiano (es el determinante de la matriz jacobiana)

Observación 1.1.2. Notar el valor absoluto en la integral.


1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 11

Ejemplo 1.1.9. Calcular la integral


ZZ
(x + y) dA
D

donde D es la región del primer cuadrante limitada por los cı́rculos x2 + y 2 = 1 y x2 + y 2 = 4.


Usamos la función
F (r, θ) = (r cos θ, r sin θ)
definida en [1, 2] × 0, 2 , se sigue F [1, 2] × 0, π2 = D y
 π  
ZZ Z
cos θ −r sin θ
(x + y) dA = (r cos θ + r sin θ) dθdr
D [1,2]×[0, π2 ] sin θ r cos θ
Z
= (r cos θ + r sin θ) rdrdθ
[1,2]×[0, π2 ]
Z π/2 Z 2
= (r cos θ + r sin θ) rdrdθ
0 1
14
=
3
Ejemplo 1.1.10. Calcular la integral doble
ZZ
(1 + x + y) dA
D

donde D es la región limitada por las rectas


y−x = 1
y−x = −1
y+x = 1
y+x = 2
Un cambio de variables adecuado en este caso es
u = y−x
v = y+x
entonces −1 ≤ u ≤ 1 y 1 ≤ v ≤ 2 se sigue que la transformación
F [−1, 1] × [1, 2] → D
:
 
v−u u+v
(u, v) → ,
2 2
luego
1 2
ZZ Z Z  
−1/2 1/2
(1 + x + y) dA = (1 + v) det
dvdu
D −1 1 1/2 1/2
Z 1Z 2
1
= (1 + v) − dvdu
−1 1 2
Z 1Z 2
1+v
= dvdu
−1 1 2
5
=
2
12 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

Ejemplo 1.1.11. Calcular ZZ


x2 y 2 dA

D

donde D es la región limitada por las curvas

xy = 1
xy = 2

y = x/2
y = 3x

El cambio de variables en este caso deberı́a ser

u = xy

y
y
v=
x
entonces
1
1≤u≤2y ≤v≤3
2
notemos que

uv = y 2 ⇒ y = uv
r
u
x =
v

ası́ la transformación es
 
1
F : [1, 2] × , 3 → D
2
u √
r 
(u, v) → , uv
v

se sigue

∂ (x, y) 1
∂ (u, v) = 2v

luego
ZZ Z 2 Z 3  1
2 2
u2

xy dA = dvdu
D 1 1/2 2v
7
= ln 6
6
1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 13

Observación 1.1.3 (Importante). Del teorema de la función inversa de mat023 sabemos que

DF −1 = (DF )−1

entonces
1
det DF −1 =

det (DF )
esto nos dice que
∂ (x, y) 1
= ∂(u,v)
∂ (u, v)
∂(x,y)

luego, si
u = xy
y
y
v=
x
entonces
∂u ∂u
∂ (u, v) y x
= ∂x
∂v
∂y
∂v
= −y 1
∂ (x, y) ∂x ∂y
2
x x
2y
= = 2v
x
entonces
∂ (x, y) 1 1
= ∂(u,v)
=
∂ (u, v) 2v
∂(x,y)

lo que puede ser más rápido de calcular.

Ejemplo 1.1.12. Calcular q 


ZZ x2 2
− 4
+ y9
e dA
D
donde
2
y2
 
2 x
D = (x, y) ∈ R : + ≤1
4 9
Vamos a hacer 2 cambios de variables, primero pongamos
x y
u= yv=
2 3
entonces
ZZ ZZ
f (x, y) dxdy = f (F (u, v)) |det (DF )| dudv
D D∗
ZZ  
2 0
= f (2u, 3v) dudv
∗ 0 3
ZDZ
= 6 f (2u, 3v) dudv
D ∗

ZZ
e−( u +v ) dudv
2 2
= 6
D∗
14 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

donde
D∗ = (u, v) ∈ R2 : u2 + v 2 ≤ 1


ahora usamos polares


u = r cos θ
v = r sin θ
donde θ ∈ [0, 2π] y r ∈ [0, 1] se tiene
ZZ √
Z 2π Z 1 √
−( u2 +v 2 )
6 e dudv = 6 e−( r2 )
rdrdθ
D∗ 0 0
Z 1
= 12π re−r dr
0 
2
= 12π 1 −
e

Ejemplo 1.1.13. Considere la región R del primer cuadrante limitada por las curvas y = 3x,
y = √13 x, y = x2 y x + y = 10 (vea figura)

Determine el valor de la integral


ZZ  
y 2y y
1+ cos dA
R x4 x x2
usando un cambio de variables adecuado.
Usamos el cambio de variables
y
u =
x
y
v = 2
x
inducido por las curvas y la integral, se tiene que
∂ y ∂ y

∂ (u, v)
= ∂x∂
x 
y
∂y

x 
y

∂ (x, y) ∂x x2 ∂y x2

y
= 4
x
1.1. LA INTEGRAL DOBLE SOBRE UN RECTÁNGULO 15

entonces
∂ (x, y) 1
= y

∂ (u, v) x4

se sigue que
ZZ   ZZ
y 2y y y 1
1+ cos 2 dA = (1 + 2u) cos (v) y  d (u, v)

R x4 x x R2 x 4 x4

ZZ
= (1 + 2u) cos (v) d (u, v)
R2

solo debemos encontrar la región en la cual se transforma


√ √
y = 3x → u = 3
1 1
y = √ x→u= √
3 3
2
y = x →v=1
x + y = 10 →?

para determinar la última necesitamos las variables


y
u = ⇒ xu = y
x
y
v = 2 ⇒ x2 v = y
x
se sigue
u
xv = u ⇒ x =
v
ası́
u2
y=
v
se sigue

x + y = 10
u u2
+ = 10
v v
entonces
u + u2
v=
10
16 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

entonces
ZZ
(1 + 2u) cos (v) d (u, v)
R2
√ Z
Z 3 1
= (1 + 2u) cos (v) dvdu
1
√ u+u2
3 10

Z 3   
1 2 1
= − sin u + u − sin 1 (2u + 1) du
1
√ 10 10
3

1√ 1√ 2√
   
8 3 1
= sin 1 + 10 cos 3+ − 10 cos 3+ + 3 sin 1
3 10 10 30 30 3

Ejercicios propuestos

1. Cambiar el orden de integración en la integral


Z 2 Z √4x−x2
f (x, y) dydx
0 x

2. Cambiando el orden de integración escriba la expresión en una sola integral


Z 2 Z x3 Z 8Z 8
f (x, y) dydx + f (x, y) dydx
1 x 2 x
ZZ
3. Hallar los limites de integración de la integral f (x, y) dA si el conjunto Ω es la

región encerrada por las rectas y = x, y = x + 3, y = −2x + 1 e y = −2x + 5.
4. Calcular el volumen del sólido limitado por la esfera x2 + y 2 + z 2 = a2 y el cilindro
x2 + y 2 = ax donde a > 0.
5. Mediante un cambio de variable apropiado calcule:

a) Ω (x − y)2 sin2 (x + y) dA donde Ω es el paralelogramo de vértices (π, 0), (2π, π),


RR

(π, 2π), (0, π).


b) Ω arctan xy dA donde
RR 


 
2 2 2 2 2 x
Ω = (x, y) ∈ R : x + y ≥ 1, x + y ≤ 9, y ≥ √ , y ≤ 3x
3

Integrales triples

Las integrales de funciones de tres variables se definen de manera similar al caso de funciones
de dos variables. Si
P1 = {x0 , x1 , . . . , xm }
P2 = {y0 , y1 , . . . , yn }
P3 = {z0 , z1 , . . . , zl }
1.2. INTEGRALES TRIPLES 17

son particiones regulares de [a, b], [c, d] y [p, q] respectivamente y f : [a, b] × [c, d] × [p, q] → R
es una función, diremos que f es integrable sobre [a, b] × [c, d] × [p, q] si el lı́mite

n,m,l
X
lı́m f (cijk ) ∆xi ∆yj ∆zk
n,m,l→∞
i,j,k

existe y es independiente de la elección de los elementos cijk ∈ [xi−1 , xi ] × [yj−1 , yj ] × [zk−1 , zk ],


en este caso denotaremos el valor del lı́mite por

n,m,l ZZZ
X
lı́m f (cijk ) ∆xi ∆yj ∆zk = f (x, y, z) dV
n,m,l→∞ [a,b]×[c,d]×[p,q]
i,j,k
ZZZ
= f (x, y, z) d (x, y, z)
[a,b]×[c,d]×[p,q]

esta integral comparte el criterio de integrabilidad, el teorema de fubini y las propiedades


de las integrales dobles por lo que no las enunciaremos nuevamente, solo analizaremos las
integrales en regiones más generales y el teorema del cambio de variables que tiene 2 casos
particulares especiales.

Ejemplo 1.2.1. Calcular


ZZZ
x2 y + zy 2 d (x, y, z)

[0,1]×[1,2]×[−1,1]

Usando el teorema de Fubini (la función es continua) se sigue que la integral es igual a las
18 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

integrales iteradas, ası́


ZZZ Z 1 Z 2 Z 1
2 2
x2 y + zy 2 dxdydz
 
x y + zy d (x, y, z) =
[0,1]×[1,2]×[−1,1] −1 1 0
Z 1 Z 2
1
= y (3yz + 1) dydz
−1 1 3
Z 1 
7 1
= z+ dz
−1 3 2
= 1

Para las integrales triples, las regiones elementales son de los siguientes tipos

Definición 1.2.1. Una región elemental respecto al plano xy es una región de la forma

T = (x, y, z) ∈ R3 : (x, y) ∈ R, k1 (x, y) ≤ z ≤ k2 (x, y)




donde R es una región elemental en R2 y k1 (x, y) , k2 (x, y) son funciones continuas en R.

En la figura vemos una región elemental respecto al plano xy en este caso la integral triple
quedarı́a
ZZZ ZZ Z k2 (x,y)
f (x, y, z) dV = f (x, y, z) dzdA
T R k1 (x,y)
Z b Z g2 (x) Z k2 (x,y)
= f (x, y, z) dzdydx
a g1 (x) k1 (x,y)

si la región elemental R fuera de segundo tipo, es decir

R = (x, y) ∈ R2 : c ≤ y ≤ d, ϕ1 (y) ≤ x ≤ ϕ2 (y)



1.2. INTEGRALES TRIPLES 19

entonces
ZZZ ZZ Z k2 (x,y)
f (x, y, z) dV = f (x, y, z) dzdA
T R k1 (x,y)
Z d Z ϕ2 (y) Z k2 (x,y)
= f (x, y, z) dzdxdy
c ϕ1 (y) k1 (x,y)

de manera similar podemos definir regiones elementales en R3 respecto al plano yz y xz por

T = (x, y, z) ∈ R3 : (y, z) ∈ R, k1 (y, z) ≤ x ≤ k2 (y, z)




y
T = (x, y, z) ∈ R3 : (x, z) ∈ R, k1 (x, z) ≤ y ≤ k2 (x, z)


respectivamente (ver figuras)

ZZZ
Ejercicio 1.2.1. Escribir las integrales f (x, y, z) dV si T es región elemental respecto a
T
los planos yz y xz.
20 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

Ejemplo 1.2.2. Si queremos calcular


ZZZ
f (x, y, z) dV
T

donde
x2 z2
 
3 2
T = (x, y, z) ∈ R : +y + ≤1
4 9
entonces podemos describir T de las siguientes formas:

1. Proyectamos T al plano xy, esto nos da


2
 
2 x 2
R = (x, y) ∈ R : +y ≤1
4

si miramos donde se mueve z en tal región tenemos

x2 z2
+ y2 + =1
4 9
despejamos z
3p 3p
− 4 − x2 − 4y 2 ≤ z ≤ 4 − x2 − 4y 2
2 2
se sigue
ZZZ Z Z Z 3 √4−x2 −4y2
2
f (x, y, z) dV = √ f (x, y, z) dzdA
T R − 32 4−x2 −4y 2

la región R es de tipo 3 en el plano luego podemos describirla como


2
 
2 x 2
R = (x, y) ∈ R : +y ≤1
4
( r r )
x 2 x 2
= (x, y) ∈ R2 : −2 ≤ x ≤ 2, − 1 − ≤y ≤ 1−
4 4

o bien
2
 
2 x 2
R = (x, y) ∈ R : +y ≤1
4
n p p o
= (x, y) ∈ R2 : −1 ≤ y ≤ 1, −2 1 − y 2 ≤ x ≤ 2 1 − y 2

ası́
ZZZ Z Z Z 3 √4−x2 −4y2
2
f (x, y, z) dV = √ f (x, y, z) dzdA
T R − 32 4−x2 −4y 2
q
2

Z 2 Z 1− x4 Z 32 4−x2 −4y 2
= q
2
√ f (x, y, z) dzdydx
−2 − 1− x4 − 32 4−x2 −4y 2
Z 1 Z 2√1−y2 Z 3 √4−x2 −4y2
2
= √ √ f (x, y, z) dzdxdy
−1 −2 1−y 2 − 32 4−x2 −4y 2
1.2. INTEGRALES TRIPLES 21

2. Ejercicio (en el plano yz)

3. Ejercicio (en el plano xz)

Ejemplo 1.2.3. Calcular ZZZ √


x2 + z 2 dV
T

donde T es la región acotada por el cilindro x2 + z 2 = 1 y los planos y + z = 2, y = 0.


El sólido es mostrado en la figura

Esta región es elemental respecto al plano xz se tiene


ZZZ √ Z Z Z 2−z √
2 2
x + z dV = x2 + z 2 dydA
T Z ZR √0
= x2 + z 2 (2 − z) dA
R
22 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

para calcular esta integral usaremos cambio de variables polares

x = r cos θ
z = r sin θ

con 0 ≤ r ≤ 1 y 0 ≤ θ ≤ 2π entonces
ZZ √ Z 2π Z 1
x2 + z2 (2 − z) dA = r (2 − r sin θ) rdrdθ
R 0 0
Z 2π  
2 1
= − sin θ dθ
0 3 4
4
= π
3
Ejemplo 1.2.4. Calcular ZZZ 
2 
1 + x2 + y 2 dV

p
donde Ω es la región acotada por el cono z = x2 + y 2 y el plano z = 2.
La región de integración es elemental respecto al plano xy, la proyección en este caso es la
región del plano xy limitada por
p
x2 + y 2 = 2

2 2
x +y = 4
p
y x2 + y 2 ≤ z ≤ 2 es decir,
n p o
Ω = (x, y, z) ∈ R3 : x2 + y 2 ≤ 4, x2 + y 2 ≤ z ≤ 2

se sigue
ZZZ   ZZ Z 2  2 
2 2 2
1 + x2 + y 2

1+ x +y dV = √ dzdA
Ω R x2 +y 2

donde
R = (x, y) ∈ R2 : x2 + y 2 ≤ 4


luego ZZZ  ZZ 
  
2 2 2 2
p
2 2

1+ x +y dV = 2− x2 + y2 1+ x +y dA
Ω R

para calcular esta integral usaremos coordenadas polares


ZZ   
Z 2π Z 2  2 
2 2
p
2
2
2− x +y 2 1+ x +y dA = (2 − r) 1 + r2 rdrdθ
R 0 0
Z 2  2 
= 2π (2 − r) 1 + r2 rdr
0
184
= π
21
1.2. INTEGRALES TRIPLES 23

Cambio de variable en Integrales triples

Teorema del cambio de variables


Sean D y D∗ regiones elementales de R3 . Sea F : D∗ → D, (u, v, w) →
(x (u, v, w) , y (u, v, w) , z (u, v, w)) una función de clase C 1 biyectiva, si f :
D → R es integrable entonces
ZZZ
f (x, y, z) dxdydz
D
ZZZ
∂ (x, y, z)
= f (x (u, v, w) , y (u, v, w) , z (u, v, w)) dudvdw
D∗ ∂ (u, v, w)

donde
∂x ∂x ∂x
 
∂u ∂v ∂w
 
∂ (x, y, z)  ∂y ∂y ∂y

= det  ∂u ∂v ∂w

∂ (u, v, w) 



∂z ∂z ∂z
∂u ∂v ∂w

En este caso vamos a estudiar dos casos particulares que son particularmente útiles en
condiciones de simetrı́a: las coordenadas cilı́ndricas y coordenadas esféricas que son otras
formas de describir el espacio:

Coordenadas Cilı́ndricas

Las coordenadas cilı́ndricas son otra forma de describir los puntos del espacio, un punto
en coordenadas cilı́ndricas se representa mediante una terna (r, θ, z) y la relación que existe
entre estas coordenadas y las coordenadas cartesianas esta dada por
F : R3 → R3
(r, θ, z) → F (r, θ, z) = (r cos θ, r sin θ, z)
24 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

x = r cos θ
y = r sin θ
z = z
estas coordenadas al igual que las coordenadas polares permiten simplificar algunas integra-
les con simetrı́as. El valor absoluto del determinate del jacobiano en este caso es |r| al igual
que en las polares

Ejemplo 1.2.5. Calcular la integral


ZZZ
x2 + y 2 dxdydz

D

donde D es la region acotada por el cilindro x2 + (y − 1)2 = 1, por el plano z = 0 y por el


paraboloide z = x2 + y 2 .

La coordenada z se mueve entre z = 0 y z = r2 el ángulo θ entre 0 y π y el radio desde 0 a


2 sin θ entonces
ZZZ Z π Z 2 sin θ Z r2
2 2
r2 rdzdrdθ

x + y dxdydz =
D 0 0 0
10
= π
3

Coordenadas esféricas
1.2. INTEGRALES TRIPLES 25

En este caso un punto en el espacio esta determinado por 3 coordenadas (ρ, φ, θ) en este caso
la forma de transformación es
x = r cos θ
y = r sin θ
z = ρ cos φ
r = ρ sin φ
se sigue
x = ρ sin φ cos θ
y = ρ sin φ sin θ
z = ρ cos φ
se puede mostrar que el Jacobiano de esta transformación es ρ2 sin φ

Ejemplo 1.2.6. Esfera en esféricas


x2 + y 2 + (z − 1)2 = 1
se transforma en
ρ = 2 cos φ
p
Ejemplo 1.2.7. El cono z = x2 + y 2 se transforma en φ = π4 .
Ejemplo 1.2.8. Calcular la integral ZZZ
zdV
D
p
donde D es la region acotada por el cono z = x2 + y 2 y la esfera x2 + y 2 + z 2 = z.

Ejemplo 1.2.9. Calcular el volumen limitado por la superficie


 2 2
x 2 2 x2
+y +z = + y2 − z2
4 4
Desarrollo: Se ve que la ecuación no cambia al reemplazar x, y o z por −x, −y o −z respecti-
vamente, por tanto hay simetrı́a respecto a todos los ejes, vamos a utilizar una modificación
de las coordenadas esféricas para calcular el volumen:
x = 2ρ cos θ sin φ
y = ρ sin θ sin φ
z = ρ cos φ
26 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

en estas coordenadas la superficie es

ρ4 = −ρ2 cos 2φ

entonces p
ρ= − cos 2φ
π π

la cual esta definida si φ ∈ 4
, 2
(cálculo en el primer octante) entonces

Z π/2 Z π/2 Z − cos 2φ
V = 8 2ρ2 sin φdρdφdθ
0 π/4 0
2
π
= √
2 2
el Jacobiano de la transformación es
2ρ2 sin φ
Obs.: Si Ω es la región limitada por la ecuación
2
x2 x2

+ y2 + z2 = + y2 − z2
4 4

se puede transformar usando

x = 2u
y = v
z = w

entonces
2
x2 x2

+ y2 + z2 = + y2 − z2
4 4

2 2 2 2
= u2 + v 2 − w2

u +v +w

luego
ZZZ ZZZ
∂ (x, y, z)
dV = ∂ (u, v, w) d (u, v, w)

Ω Ω1
ZZZ
= 2d (u, v, w)
Ω1

donde Ω1 es la región encerrada por


2
u2 + v 2 + w2 = u2 + v 2 − w2

en esta ecuación usamos esféricas

u = ρ cos θ sin φ
v = ρ sin θ sin φ
w = ρ cos φ
1.2. INTEGRALES TRIPLES 27

ρ4 = ρ2 cos2 θ sin2 φ + ρ2 sin2 θ sin2 φ − ρ2 cos2 φ


= ρ2 sin2 φ − ρ2 cos2 φ
= −ρ2 cos (2φ)

ası́ p
ρ= − cos (2φ)
de donde
ZZZ ZZZ
dV = 2d (u, v, w)
Ω Ω1

Z π/2 Z π/2 Z − cos 2φ
= 8 2ρ2 sin φdρdφdθ
0 π/4 0

Ejemplo 1.2.10. Calcular el volumen común a los elipsoides sólidos

x2 y 2 z 2 x2 y 2 (z − c)2
+ + ≤ 1 y + 2 + ≤1
a2 b2 c2 a2 b c2
Desarrollo: Usaremos el cambio de variables

x = aρ sin φ cos θ
y = bρ sin φ sin θ
z = cρ cos φ

en este caso
∂ (x, y, z)
= abcρ2 sin φ
∂ (ρ, φ, θ)
ahora vamos a ver donde se mueven las nuevas variables, notemos que

x2 y 2 z 2
+ 2 + 2 =1
a2 b c
luego
ρ=1
y para la otra
−2zc + c2
ρ2 + =1
c2
se sigue
z cρ cos φ
ρ2 = 2 = 2
c c
ası́
ρ = 2 cos φ
ahora veamos donde intersectan estas ecuaciones

1 = 2 cos φ

luego
π
φ=
3
28 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

ası́ el volumen es
Z 2π Z π/3 Z 1
abcρ2 sin φ dρdφdθ

V =
0 0 0
Z 2π Z π/2 Z 2 cos φ
abcρ2 sin φ dρdφdθ

+
0 π/3 0
1 1
= πabc + πabc
3 12
5
= πabc
12

(para visualizar mejor proyectar en el plazo YZ eso dará claridad sobre donde se mueve ρ
para determinados φ).

Ejemplo 1.2.11. Considere el sólido encerrado


p entre los paraboloides z = x2 + y 2 , z =
1
4
(x2 + y 2 ) y que esta debajo del cono z = x2 + y 2 calcular su volumen.
Desarrollo: En el plano ZY (esto es x = 0) la región es

usando coordenadas cilı́ndricas las ecuaciones de las gráficas son

z = x2 + y 2 = r 2
1 2  r2
z = x + y2 =
4
p 4
z = 2
x +y =r2

luego el volumen es

Z 2π Z 1 Z r2 Z 2π Z 4 Z r
V = rdzdrdθ + rdzdrdθ
0 0 r2 /4 0 1 r2 /4
3 81
= π+ π
8 8
21
= π
2
1.2. INTEGRALES TRIPLES 29

un gráfico de la región.

Ejemplo 1.2.12. Calcular el volumen de la intersección de las esferas (x − 1)2 + y 2 + z 2 ≤ 1 y


x2 + (y − 1)2 + z 2 ≤ 1
Desarrollo: Proyectamos en el plano XY en este caso las ecuaciones se ven

(x − 1)2 + y 2 = 1
x2 + (y − 1)2 = 1

estas circunferencias intersectan en x = 1, y = 1 y en x = 0, y = 0 se sigue que la integral


debe dividirse en 2 partes, el ángulo θ se mueve entre 0 y π4 y de π4 a π2 ahora expresaremos
las ecuaciones en esféricas

(x − 1)2 + y 2 + z 2 = 1
x2 + y 2 + z 2 − 2x = 0
ρ2 = 2ρ cos θ sin φ
ρ = 2 cos θ sin φ
30 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

x2 + (y − 1)2 + z 2 = 1
x2 + y 2 + z 2 − 2y = 0
ρ2 = 2ρ sin θ sin φ
ρ = 2 sin θ sin φ

se sigue que
ZZZ
V = dV

Z π/4 Z π Z 2 sin θ sin φ
= ρ2 sin φdρdφdθ
0 0 0
Z π/2 Z π Z 2 cos θ sin φ
+ ρ2 sin φdρdφdθ
π/4 0 0
1  √   1  √ 
= − π 5 2−8 + − π 5 2−8
12 12
1  √ 
= π 8−5 2
6

Aplicaciones Integrales múltiples

Las integrales dobles y triples tienen otras aplicaciones a parte del cálculo de área y volumen,
daremos una lista de ellas:

1. Sea ρ (x, y) o ρ (x, y, z) la densidad de una región plana Ω en R2 o un sólido T en R3


respectivamente, entonces:
1.3. APLICACIONES INTEGRALES MÚLTIPLES 31

a) La masa esta dada por ZZ


m= ρ (x, y) dA

para una región plana y ZZZ


ρ (x, y, z) dV
T

para un sólido.
b) Los centros de masa están dados por
 RR RR 

xρ (x, y) dA Ω
yρ (x, y) dA
(x, y) = RR , RR

ρ (x, y) dA Ω
ρ (x, y) dA

y en el caso del espacio


 RRR RRR RRR 
T
xρ (x, y, z) dV T
yρ (x, y, z) dV T
zρ (x, y, z) dV
(x, y, z) = RRR , RRR , RRR
T
ρ (x, y, z) dV T
ρ (x, y, z) dV T
ρ (x, y, z) dV

c) Los momentos de inercia respecto a una recta L están dados por


ZZZ
IL = r2 ρdV
T

en el caso de un sólido y ZZ
IL = r2 ρdA

2
en el caso de una región plana (r es la distancia desde el punto (x, y, z) a la recta
L)
d) El radio de giro en torno a L es dado por
r
IL
RL =
m

1. Calcule la masa de una lámina delgada de densidad ρ (x, y) = 2 y de forma


x y 4
+ = x2 + y 2
2 3
RR
en el primer cuadrante. Ind.: La masa de una lámina delgada esta dada por D
ρ (x, y) dA
donde ρ es la densidad.
Desarrollo: Hacemos el cambio de variables

x = 2r cos2 θ
y = 3r sin2 θ
π
donde 0 ≤ θ ≤ 2
y tenemos que determinar donde se mueve r, reemplazando en la
ecuación
r4 = r2 4 cos4 θ + 9 sin4 θ

32 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

ası́ 1/2
r = 4 cos4 θ + 9 sin4 θ
luego tenemos que
Z π/2 Z (4 cos4 θ+9 sin4 θ)1/2
∂ (x, y)
M= 2
drdθ
0 0 ∂ (r, θ)

pero
∂ (x, y)
∂ (r, θ) = 12r cos θ sin θ

luego
ZZ (4 cos4 θ+9 sin4 θ)1/2
π/2

∂ (x, y)
M = 2 drdθ
0 0 ∂ (r, θ)
Z π/2 Z (4 cos4 θ+9 sin4 θ)1/2
= 24r cos θ sin θdrdθ
0 0
Z π/2 Z (4 cos4 θ+9 sin4 θ)1/2
= 24 cos θ sin θ rdrdθ
0 0
4 cos4 θ+9 sin4 θ)1/2
π/2
r2 (
Z
= 24 cos θ sin θ dθ
0 2 0
Z π/2
12 cos θ sin θ 4 cos4 θ + 9 sin4 θ dθ

=
0
Z π/2 Z π/2
5
= 48 cos θ sin θdθ + 108 cos θ sin5 θdθ
0 0
= 8 + 18
= 26

2. Calcular la masa del sólido limitado por


2
x2 + y 2 + z 2 = x2 + y 2 − z 2

con densidad ρ (x, y, z) = 31 (x2 + y 2 + z 2 ) .


Desarrollo: Notemos que el sólido es simétrico respecto a todos los ejes, si proyectamos
en el plano Y Z entonces se tiene la ecuación
2
y2 + z2 = y2 − z2

si hacemos

y = r cos θ
z = r sin θ

vemos que
r4 = r2 cos2 θ − sin2 θ

1.3. APLICACIONES INTEGRALES MÚLTIPLES 33

esto es
r2 = cos (2θ)
una lemniscata, por tanto el sólido es una lemniscata que se rota entorno al eje Z. Vamos
a utilizar coordenadas esféricas para calcular la masa,
x = ρ sin φ cos θ
y = ρ sin φ sin θ
z = ρ cos φ
reemplazando en la ecuación
ρ4 = ρ2 sin2 φ cos2 θ + sin2 φ sin2 θ − cos2 φ


ρ2 = − cos (2φ)
ası́ p
ρ= − cos (2φ)
π 3π
se sigue que 2
≤ 2φ ≤ ⇒ π4 ≤ φ ≤ 3π
2 4
luego
ZZZ
M = ρ (x, y, z) dV
R
Z 2π Z 3π/4 Z √− cos(2φ)  2 
ρ
= ρ2 sin φdρdφdθ
0 π/4 0 3
Z 3π/4 Z √− cos(2φ)

= ρ4 sin φdρdφ
3 π/4 0

Z 3π/4 5 − cos(2φ)
2π ρ
= sin φdφ
3 π/4 5 0
2π 3π/4
Z
= (− cos (2φ))5/2 sin φdφ
15 π/4
2π 3π/4
Z
5/2
= − 2 cos2 φ − 1 sin φdφ
15 π/4
2π 3π/4
Z
5/2
= 1 − 2 cos2 φ sin φdφ
15 π/4
2π 3π/4
Z  √ 2 5/2
= 1− 2 cos φ sin φdφ
15 π/4
Z −1  √
1√ 2

2 1 5
2 2
π − 2 1−u du = 2π
15 1 2 48
3. Calcule la masa del sólido elı́ptico de densidad ρ (x, y, z) = |xyz| dado por
x2 y 2 z 2
+ 2 + 2 ≤1
a2 b c
Desarrollo: Utilizamos coordenadas elı́ptico-esféricas
x = aρ sin φ cos θ
y = bρ sin φ sin θ
z = cρ cos φ
34 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

luego la masa pedida es (utilizando simetrı́a)


ZZZ
M = ρ (x, y, z) dV
E
Z π/2 Z π/2 Z 1
= 8 (aρ sin φ cos θ) (bρ sin φ sin θ) (cρ cos φ) abcρ2 sin φdρdφdθ
0 0 0
Z π/2 Z π/2 Z 1
= 8 a2 b2 c2 ρ5 sin3 φ cos φ sin θ cos θdρdφdθ
0 0 0
Z π/2 ! Z !
2 2 2 π/2
8a b c
= sin θ cos θdθ sin3 φ cos φdφ
6 0 0
1 2 2 2
= abc
6
4. Calcular el volumen del sólido que se genera al rotar la región del primer cuadrante
limitada por y 2 = x, y 2 = 8x, x2 = y, x2 = 8y en torno al eje X.
Desarrollo: Vamos a utilizar Pappus para determinar este volumen, para ello buscare-
mos las coordenadas del centroide
RR
xρ (x, y) dA
x0 = RRD
ρ (x, y) dA
RR D
yρ (x, y) dA
y0 = RRD
D
ρ (x, y) dA
como ρ (x, y) = 1 se tiene
RR RR
D
xdA ydA
x0 = RR y y0 = RRD
D
dA D
dA
pues bien notemos que este caso es conveniente es utilizar cambio de variable para
calcular estas integrales: La region la podemos describir como
y2 y2
= 1, =8
x x
y2
luego si u = x
entonces 1 ≤ u ≤ 8 y
x2 x2
= 1, =8
y y
se sigue que si v = x2 /y entonces 1 ≤ v ≤ 8 ası́
y2
u (x, y) =
x
x2
v (x, y) =
y
se sigue
uv
uv = xy ⇒ y =
x
uv 2

x u2 v 2
⇒ u= =
√ x x3
3
⇒ x = uv 2
1.3. APLICACIONES INTEGRALES MÚLTIPLES 35

y ası́
uv √
3
1−1/3 1−2/3
y= √
3
= u v = u2 v
uv 2

ahora calculamos el jacobiano


√   √
∂ 3 ∂ 3
uv 2 uv 2

∂ (x, y) ∂u
√  √  = − 1
∂v
=
∂ (u, v) ∂ 3
u2 v ∂ 3
u2 v
3
∂u ∂v

y ası́
ZZ Z 8 Z 8
1 49
dA = dudv =
D 1 1 3 3
y
8 8
1√
ZZ Z Z
3 279
xdA = uv 2 dudv =
D 1 1 3 4
y
8 8
1√
ZZ Z Z
3 279
ydA = u2 vdudv =
D 1 1 3 4

entonces
279
4 837
x0 = 49 = = y0
3
196

entonces
  
837 49 279
V = 2π = π
196 3 2

5. Determine el momento de inercia de una manzana de ecuación en esféricas ρ = 1 − cos φ


y densidad δ = (x2 + y 2 + z 2 ) entorno al eje z.
p
Desarrollo: En este caso la distancia al eje de rotación es r (x, y, z) = x2 + y 2 ası́
ZZZ
x2 + y 2 x2 + y 2 + z 2 dV
 
D

en esféricas
ZZZ
IL = r2 δdV
Z Z ZR
ρ2 sin2 φ cos2 θ + ρ2 sin2 φ sin2 θ ρ2 ρ2 sin φ dρdφdθ
 
=
Z Z ZM
= ρ6 sin3 φdρdφdθ
M
36 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

los limites de integración son


Z 2π Z π Z 1−cos φ
ρ6 sin3 φdρdφdθ
0 0 0
Z 2π Z π 1−cos φ
3 ρ7
= sin φ dφdθ
0 0 7 0
Z 2π Z π 7
3 (1 − cos φ)
= sin φ dφdθ
0 7
Z π0

= sin3 φ (1 − cos φ)7 dφ
7 0
2π π 2
Z
= sin φ sin φ (1 − cos φ)7 dφ
7 0
2π π
Z
1 − cos2 φ sin φ (1 − cos φ)7 dφ

=
7 0
si ponemos u = cos φ entonces

2π −1
Z
1 − u2 (1 − u)7 du

= −
7 1
1024
= π
315

Ejercicios

1. Sea Ω := {(x, y) ∈ R2 : x ≥ 0, y ≥ 0, x ≤ y ≤ 1, y ≥ 1/2 − x}. Calcule:


yey
ZZ
2
dxdy
Ω (x + y)

AYUDA: Considere x + y = u, y = uv.


Desarrollo: Despejando, x = u−y = u−uv. Utilizamos el teorema de cambio de variable
con T (u, v) = (u − uv, uv).
Observar que
∂(x, y)
= JT (u, v) = u
∂(u, v)
Teniendo en cuenta que las hipótesis del teorema se satisfacen se tiene
ZZ ZZ
f (x, y)dxdy = f (T (u, v))|u|dudv
Ω Ω∗

donde Ω∗ es la región a determinar en el plano uv.

El segmento (x, 1), x ∈ [0, 1], da


1
(u, v) = T −1 (x, 1) = (x + 1, ).
x+1
Esta curva es el segmento de la parabola uv = 1, con u, v > 0, 1 ≤ u ≤ 2.
El segmento (x, x), x ∈ [1/4, 1] es el segmento (u, 1/2) con u ∈ [1/2, 2].
1.3. APLICACIONES INTEGRALES MÚLTIPLES 37

El segmento y = 1/2 − x, x ∈ [0, 1/4] nos da el segmento (1/2, v) con v ∈ [1/2, 1].
El segmento (0, y), y ∈ [1/2, 1] es el segmento (u, 1) con u ∈ [1/2, 1].

Esto sugiere que

Ω∗ = {(u, v) ∈ R2 : 1/2 < v < 1 1/2 < u < 1/v}

Como u > 0 en la región Ω∗ se tiene


Z 1 Z 1/u
yey
ZZ
2
dxdy = veuv dudv
Ω (x + y) 1/2 1/2

resolviendo se tiene
1
yey
ZZ Z
1
dxdy = (e − ev/2 )dv = e − 2e1/2 + 2e1/4
Ω (x + y)2 1/2 2

2. Calcule el volumen de la región sólida encerrada entre

x2 + y 2 = 9, y + z = 5, z = 1.

Desarrollo: Usando coordenadas cilı́ndricas

x = r cos θ, y = r sin θ, z=z


obtenemos que el volumen V de esta región se expresa como:
ZZZ
dV

Z 2π Z 3 Z 5−sin θ
= rdzdrdθ
0 0 1
Z 2π Z 3
= r(4 − r sin θ)drdθ
0 0
= 36π.

3. Determine el centroide de la región acotada por


 2 2
3 x 2 2
z = +y +z
4

Ind.: El centroide de Ω es dado por


 RRR RRR RRR 

xdV Ω
ydV Ω
zdV
RRR , RRR , RRR

dV Ω
dV Ω
dV

Desarrollo: Usando

x = 2ρ cos θ sin φ
y = ρ sin θ sin φ
z = ρ cos φ
38 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

se tiene
2
x2

3
z = + y2 + z2
4

ρ cos φ = ρ4
3 3

es decir
ρ = cos3 φ
se sigue
ZZZ
dV

Z 2π Z π/2 Z cos3 φ
= 2ρ2 sin φdρdφdθ
0 0 0
Z 2π Z π/2
1
= cos9 φ sin φdφdθ
0 3
 0
1 2π
= 2π =
30 15
además
ZZZ Z 2π Z π/2 Z cos3 φ
(2ρ cos θ sin φ) 2ρ2 sin φ dρdφdθ

xdV =
Ω 0 0 0
2π π/2
cos12 φ
Z Z
= 2 cos θ sin2 φ dφdθ
0 0 4
!
Z 2π  Z π/2 12
cos φ
= 2 cos θdθ 2 sin2 φ dφ
0 0 4
= 0
ZZZ Z 2π Z π/2 Z cos3 φ
(ρ sin θ sin φ) 2ρ2 sin φ dρdφdθ

ydV =
Ω 0 0 0
!
Z 2π  Z π/2 Z cos3 φ
(ρ sin φ) 2ρ2 sin φ dρdφ

= sin θdθ
0 0 0
= 0
y
ZZZ Z 2π Z π/2 Z cos3 φ
(ρ cos φ) 2ρ2 sin φ dρdφdθ

zdV =
Ω 0 0 0
Z 2π Z π/2
1
= 2 cos13 φ sin φdφdθ
0 0 4
2
= π
28
ası́ el centroide es  2   
28
π 15
0, 0, 2π = 0, 0,
15
28
1.3. APLICACIONES INTEGRALES MÚLTIPLES 39

4. Calcule el volumen de la región del primer octante dado por


√ √
x+y+ 3z ≤1

Desarrollo: Notemos que la región esta dada por los puntos que están bajo la gráfica de
√ √
x+y+ 3z =1

es decir, √ 3
z = 1− x−y
la proyección del volumen al plano xy es

x+y ≤1

luego √
0≤y ≤1− x
ası́
√ Z (1−√x−y)3
Z 1 Z 1− x
V = dzdydx
0 0 0

Z 1 Z 1− x √ 3
= 1− x−y dydx
0 0
1
1 √
Z
4
= x − 1 dx
0 4
1
=
60
otra forma: Ponemos x = u4 , y = v 2 , z = w6 entonces J = 4u3 2v6w5 = 48u3 vw5
ZZZ
V = dV
ZZZ Ω

= 48u5 vw5 dV
Ω2

entonces
Z 1 Z π/2 Z π/2
V = 48 (ρ cos θ sin φ)3 (ρ sin θ sin φ) ((ρ cos φ))5 ρ2 sin φdρdφdθ
0 0 0
Z 1 Z π/2 Z π/2
= 48ρ11 cos3 θ cos5 φ sin θ sin5 φdρdφdθ
0 0 0
! Z !
Z 1  Z π/2 π/2
= 48 ρ11 dρ cos3 θ sin θdθ cos5 φ sin5 φdφ
0 0 0
1
=
60

5. Calcular la masa del sólido encerrado por


3 √
x2 + y 2 + z = 3xy z
40 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

si la densidad es dada por ρ (x, y, z) = x2 + y 2 .

Desarrollo: La masa del sólido es


ZZZ
M = ρ (x, y, z) dV
Z Z ZΩ
x2 + y 2 dV

=


analizamos el sólido Ω; Note que al tener z se debe cumplir z ≥ 0. Si z ≥ 0 entonces

3
x2 + y 2 + z ≥0

entonces

3xy z ≥ 0

lo que implica xy ≥ 0 luego hay volumen en los octantes x, y, z ≥ 0 y x, y ≤ 0, z ≥ 0.


Notemos además que el volumen es simétrico respecto al origen pues al reemplazar x
por −x e y por −y la ecuación no cambia, se sigue

ZZZ
x2 + y 2 dV

M =2
Ω∩{x,y,z≥0}

ahora usaremos cambio de variables

x = u
y = v
z = w2

entonces
ZZZ
u2 + v 2 2wdV

M =2
Ω2

3
donde Ω2 es lo encerrado por (u2 + v 2 + w2 ) = 3uvw para u, v, w en el primer octante,
ahora usamos esféricas

ρ6 = 3 (ρ sin φ cos θ) (ρ sin φ sin θ) (ρ cos φ)


= 3ρ3 cos θ cos φ sin θ sin2 φ

ası́
q
3
ρ= 3 cos θ cos φ sin θ sin2 φ
1.3. APLICACIONES INTEGRALES MÚLTIPLES 41

ası́
ZZZ
u2 + v 2 2wdV

M = 2
Ω2
Z π/2 Z π/2 Z √
3
3 cos θ cos φ sin θ sin2 φ
ρ2 sin2 φ (2ρ cos φ) ρ2 sin φ dρdφdθ
 
= 2
0 0 0

3
Z π/2 Z π/2 Z 3 cos θ cos φ sin θ sin2 φ
= 2 2ρ5 cos φ sin3 φdρdφdθ
0 0 0
Z π/2 Z π/2 Z √
3
3 cos θ cos φ sin θ sin2 φ
!
= 2 2 cos φ sin3 φ ρ5 dρ dφdθ
0 0 0
p 6
Z π/2 Z π/2
3
3 cos θ cos φ sin θ sin2 φ
= 2 2 cos φ sin3 φ dφdθ
0 0 6
2 !
π/2 π/2
3 cos θ cos φ sin θ sin2 φ
Z Z
= 4 (cos φ) (sin φ)3 dφdθ
0 0 6
Z π/2 Z π/2
= 6 cos2 θ cos3 φ sin2 θ sin7 φdφdθ
0 0
! Z !
Z π/2 π/2
= 6 cos2 θ sin2 θdθ cos3 φ sin7 φdφ
0 0
3
= π
320

6. Usando un cambio de variables apropiado, calcule la integral


ZZ
x x2 y + 1 dA


donde Ω es la región encerrada por las curvas y = x2 , y = x2 + 1, y + x2 = 2 e y + x2 = 3.

Desarrollo: Note que estas curvas limitan dos regiones (en el primer y segundo cua-
drantes), usamos el cambio de variables

u = y − x2
v = y + x2

entonces

∂ (u, v) −2x 1
= −4x
=

∂ (x, y) 2x 1

∂ (x, y) 1 1 1
= = q = q
∂ (u, v) 4 |x| 4 ± v−u

4 v−u
2 2
42 CAPÍTULO 1. INTEGRACIÓN MÚLTIPLE

ası́ 0 ≤ u ≤ 1, 2 ≤ v ≤ 3 nos queda


ZZ
x x2 y + 1 dA


Z 1Z 3 r    
v−u v−u v+u 1
= − +1 q dvdu
0 2 2 2 2 4 v−u
2
Z 1Z 3r    
v−u v−u v+u 1
+ +1 q dvdu
0 2 2 2 2 4 v−u
2
= 0

este valor lo explica la imparidad (al cambiar x por −x en la función el signo cambia).

7. Sea S el sólido del primer octante limitado por la superficie

(x + y + z)4 = xyz

calcular su volumen.

8. Calcular ZZZ
(x + y + z) (x + y − z) (x − y − z) dV
V

donde V es la región acotada por los planos x + y + z = 0, x + y − z = 0, x − y − z = 0 y


2x − z = 1.

9. Considere la integral triple


Z 2 Z √
2x−x2 Z √x2 +y2 p
z x2 + y 2 dzdydx
0 0 0

a) Expresarla en coordenadas esféricas y cilı́ndricas


b) Calcular la integral en cualquier sistema.
2 C URVAS

Curvas

En este capı́tulo estudiaremos subconjuntos de Rn a los cuales llamaremos curvas.

Definición 2.1.1. Una función vectorial (o a valores vectoriales) de una variable, es una
función f : I ⊆ R → Rn , la cual, a cada número real t de algún subconjunto I de R le asigna
un valor f (t) en el espacio Rn . Puesto que f (t) ∈ Rn se sigue que tiene n coordenadas

f (t) = (f1 (t) , f2 (t) , . . . , fn (t))

las funciones fi : I ⊆ R → R son llamadas funciones componentes o funciones coordenadas


de f .

De mat023 sabemos que este tipo de funciones es continua si y solo si las funciones compo-
nentes lo son, además los limites se calculan en las funciones componentes, por ejemplo

f (t) − f (t0 )
f 0 (t0 ) = lı́m
t→t0 t − t0
(f1 (t) , f2 (t) , . . . , fn (t)) − (f1 (t0 ) , f2 (t0 ) , . . . , fn (t0 ))
= lı́m
t→t0 t − t0
(f1 (t) − f1 (t0 ) , f2 (t) − f2 (t0 ) , . . . , fn (t) − fn (t0 ))
= lı́m
t→t0 t − t0
 
f1 (t) − f1 (t0 ) f2 (t) − f2 (t0 ) fn (t) − fn (t0 )
= lı́m , ,...,
t→t0 t − t0 t − t0 t − t0
0 0 0
= (f1 (t0 ) , f2 (t0 ) , . . . , fn (t0 ))

Ejemplo 2.1.1. Si f : R → R2 , t → f (t) = (sin t, cos t, et ) entonces

lı́m f (t) = lı́m sin t, cos t, et



t→0 t→0
= sin 0, cos 0, e0


= (0, 1, 1)

y
f 0 (t) = cos t, − sin t, et


luego
f 0 (0) = (1, 0, −1)

43
44 CAPÍTULO 2. CURVAS

Reglas de derivación
Sean f, g : I ⊆ R → Rn funciones vectoriales diferenciables en I y α ∈ R
entonces
d
1. (αf ) = αf 0
dt
d
2. (f + g) = f 0 + g 0
dt
d
3. (f · g) = f 0 · g + f · g 0
dt
d
4. Si n = 3 entonces (f × g) = f 0 × g + f × g 0
dt

Ejercicio 2.1.1. Muestre que si para todo t ∈ I se cumple kf (t)k = k entonces f (t) · f 0 (t) = 0.
En efecto, si kf (t)k = k entonces f (t) · f (t) = k 2 entonces
d d
f (t) · f (t) = k 2 = 0
dt dt
pero

d
f (t) · f (t) = f 0 (t) · f (t) + f (t) · f 0 (t)
dt
= 2f 0 (t) · f (t)

se sigue
f 0 (t) · f (t) = 0
(esto nos dice que los vectores f 0 (t) y f (t) son perpendiculares si kf (t)k = k. Ejercicio,
muestre que el recı́proco también se cumple.

Definición 2.1.2. Una función f : I ⊆ R → Rn continua definida en un intervalo I es llamada


camino o trayectoria en Rn . Si la función continua f : I ⊆ R → Rn esta definida en el
intervalo I = [a, b] diremos que f (a) es el punto inicial y f (b) es el punto final, si acontece
que f (a) = f (b) entonces diremos que el camino es cerrado. Si f : I ⊆ R → Rn es un camino
inyectivo diremos que el camino es simple, si f (a) = f (b) y f es inyectiva en ]a, b[ entonces
diremos que el camino es simple cerrado.

Definición 2.1.3. Llamaremos traza de un camino f : I ⊆ R → Rn a su recorrido, es decir

Traza (f ) = {f (t) ∈ Rn : t ∈ I}

En palabras, la traza de un camino es el conjunto de todos los valores que toma el camino
cuando t se mueve en el dominio, es como la huella de las imágenes de f .
2.1. CURVAS 45

Definición 2.1.4. Diremos que un conjunto Γ ⊆ Rn es una curva en Rn si existe un camino


f : I ⊆ R → Rn tal que Traza(f ) = Γ, en tal caso diremos que f es una parametrización de la
curva Γ. Si f : I ⊆ R → Rn es simple diremos que la curva es simple, si f : I ⊆ R → Rn es
cerrado diremos que la curva es cerrada.

Ejemplo 2.1.2. Determine si el conjunto


2
y2
 
2 x
Γ = (x, y) ∈ R : + =1
4 9

es una curva. Desarrollo: Este conjunto es una curva pues el camino f : [0, 2π] → R2 ,
t → f (t) = (2 cos t, 3 sin t) tiene por traza el conjunto Γ, en efecto f es continua, además

traza (f ) = (x, y) ∈ R2 : x = 2 cos t, y = 3 sin t y t ∈ [0, 2π]




note que
(2 cos t)2 (3 sin t)2
+ =1
4 9
luego

(x, y) ∈ R2 : x = 2 cos t, y = 3 sin t y t ∈ [0, 2π]



traza (f ) =
2
y2
 
2 x
⊆ (x, y) ∈ R : + =1
4 9
como

f (0) = (2, 0) ∈ traza (f )


π 
f = (0, 3) ∈ traza (f )
2
f (π) = (−2, 0) ∈ traza (f )
 

f = (0, −3) ∈ traza (f )
2
f (2π) = (2, 0) ∈ traza (f )
n o
x2 y2
y f es continua, se sigue que f toma todos los puntos de (x, y) ∈ R2 : 4
+ 9
= 1 (teorema
del valor intermedio, en realidad envia conexo en conexo)
46 CAPÍTULO 2. CURVAS

Ejemplo 2.1.3. Encontrar una parametrización de la curva que se obtiene al intersectar los
conjuntos
S1 = (x, y, z) ∈ R3 : x2 + y 2 + z 2 = 4


S2 = (x, y, z) ∈ R3 : x + y − z = 0


Desarrollo: S1 ∩ S2 es la intersección de una esfera y un plano,


x2 + y 2 + z 2 = 4
x+y−z = 0
de la segunda ecuación
z =x+y
reemplazado en la primera
x2 + y 2 + (x + y)2 = 4
x2 + xy + y 2 = 2
si completamos cuadrado
2 y y 2 3y 2
x + 2x + + =2
2 4 4
se sigue
3y 2
(x + y/2)2 + =2
4
luego
 2 r !2
x + y/2 3
√ + y =1
2 8
si ponemos
x + y/2
√ = cos t
2
r
3
y = sin t
8
2.1. CURVAS 47

√ √ √ 1
√ √
entonces x = 2 cos t −2 3 sin t e y = 23 2 3 sin t se sigue
3
√ 1√
x = 2 cos t − 6 sin t
3
2√
y = 6 sin t
3
√ 1√
z = 2 cos t + 6 sin t
3
con t ∈ [0, 2π] es una parametrización de la curva intersección.
Ejemplo 2.1.4. Parametrizar la intersección de la esfera x2 + y 2 + z 2 = 4 con el cilindro
x2 + y 2 = 2x

Notamos que x2 + y 2 = 2x esta curva se puede parametrizar por


x = cos t + 1
y = sin t
(completar cuadrados) luego en la primera nos queda
z 2 = 4 − 2x
= 4 − 2 (cos t + 1)
= 2− 2 cos t 
1 − cos t
= 4
2
 
t
= 4 sin2
2
entonces  
t
z = 2 sin
2
ası́    
t
f (t) = cos t + 1, sin t, 2 sin para t ∈ [0, 2π]
2
es una parametrización de la intersección.
48 CAPÍTULO 2. CURVAS

Ejercicio 2.1.2. Muestre que la traza del camino c : R → R3 , t → c (t) donde


c (t) = a1 t2 + b1 t + c1 , a2 t2 + b2 t + c2 , a3 t2 + b3 t + c3


esta contenida en un plano y determine la ecuación de tal plano.

Notar que existe más de una forma de parametrizar una curva, por ejemplo, los caminos
f (t) = t, t2 con t ∈ R


g (t) = t3 , t6 con t ∈ R


h (t) = 1 − t, (1 − t)2 con t ∈ R




tienen la misma traza y por tanto parametrizan la misma curva, de inmediato nos tenemos
que preguntar lo siguiente, si nuestro objetivo es estudiar las curvas en Rn que conceptos
asociados a la curva son independientes de la parametrización.

Como dijimos anteriormente, estamos interesados en estudiar las curvas en Rn , es decir,


las trazas de caminos, sin embargo, es posible tener mas de una parametrización de una
misma curva. En esta sección estudiaremos el parentesco entre tales caminos, tal parentesco
es llamado reparametrización.

Definición 2.1.5. Sea f : I → Rn un camino regular (esto es kf 0 (t)k =


6 0 para todo t ∈ I), Sea
1 0
ϕ : J ⊆ R →I una función de clase C sobreyectiva tal que ϕ (s) 6= 0 para s ∈ J. El camino
g : J → Rn definido por
g (s) = f (ϕ (s))
es llamado una REPARAMETRIZACI ÓN de f .

Ejemplo 2.1.5. Sea f : [0, 2π] → R2 , t → f (t) = (2 cos t, 4 sin t) y g : [0, π] → R2 , s → g (s) =
(2 cos 2s, 4 sin 2s) entonces g es una reparametrización de f , en efecto, la función
ϕ : [0, π] → [0, 2π]
s → ϕ (s) = 2s
es biyectiva, ϕ0 (s) = 2 > 0 y
g (s) = f (ϕ (s))
note que la traza de ambos caminos es
2
y2
 
2 x
Γ = (x, y) ∈ R : + =1
4 16
de manera similar
h : [−π, 0] → R2 , s → h (s) = (2 cos 2s, −4 sin 2s)
es una reparametrización de f pues existe
φ : [−π, 0] → [0, 2π]
s → φ (s) = −2s
tal que
h (s) = f (φ (s))
note que la traza de h es la misma anterior, en este caso φ0 (s) = −2 < 0.
2.1. CURVAS 49

Proposición 2.1.1. La traza se mantiene bajo reparametrización.

Si bien la traza es la misma, al reparametrizar, lo que podrı́a cambiar serı́a la orientación y


velocidad con que se recorre la traza, en el ejemplo anterior podemos ver que

g0 (s) = f 0 (ϕ (s)) ϕ0 (s)


= 2f 0 (ϕ (s))

luego se recorre el doble de rápido pero la orientación se mantiene (los vectores tangentes
apuntan en la misma dirección), en el otro caso

h0 (s) = f 0 (φ (s)) φ0 (s)


= −2f 0 (φ (s))

la rapidez es el doble y se recorre en el sentido contrario (cambio la dirección del tangente).

Observación 2.1.1. Si ϕ0 > 0 la orientación se mantiene, si ϕ0 < 0 la orientación cambia.

La relación de reparametrización es una relación de equivalencia, esto es:

Todo camino es una reparametrización de si mismo

Si g es una reparametrización de f entonces f es reparametrización de g.

Si h es reparametrización de g y g es una reparametrización de f entonces h es repara-


metrización de f .

Ejemplo 2.1.6. Los caminos f : [0, 2π[ → R2 y g : [0, 4π[ → R2 dados por

f (t) = (cos t, sin t)


g (s) = (cos s, sin s)

son caminos regulares que recorren la circunferencia unitaria x2 + y 2 = 1 y parten en (1, 0);
el camino f la recorre una vez y el camino g lo hace dos veces. Obsérvese que el camino f
es inyectivo. Supongamos que g es una reparametrización de f entonces existe una función
ϕ : [0, 4π[ → [0, 2π[ tal que
g (s) = f (ϕ (s))
en este caso   π  π 
(0, 1) = g (π/2) = f ϕ =f
2 2
por la inyectividad de f se sigue π  π
ϕ =
2 2
de manera similar     
5π 5π π 
g =f ϕ =f
2 2 2
50 CAPÍTULO 2. CURVAS

ası́  
5π π
ϕ =
2 2
entonces    
5π π  π 5π
ϕ =ϕ ⇒ ∃c ∈ , tal que ϕ (c) = 0
2 2 2 2

esto es una contradicción.

El ejemplo anterior nos dice que dos caminos tienen la misma traza entonces no necesaria-
mente uno es reparametrización del otro, si embargo se tiene el siguiente teorema:

Proposición 2.1.2. Si Γ no es una curva cerrada, todas sus parametrizaciones regulares inyectivas
son equivalentes. Si Γ es una curva cerrada, todas sus parametrizaciones regulares inyectivas en el
interior son equivalentes

Ahora estudiaremos un tipo especial de reparametrización el cual nos permitirá estudiar las
propiedades geométricas de las curvas a partir de las parametrizaciones.

Parametrización por longitud de arco

Sea f : [a, b] → Rn un camino de clase C 1 , siguiendo las ideas de mat022, la longitud del
camino es dada por
Z b
l= kf 0 (u)k du
a

Ejemplo 2.2.1. Calcular la longitud de

f (t) = (2 (t − sin t) , 2 (1 − cos t)) para t ∈ [0, 2π]

Ejemplo 2.2.2. Calcular la longitud de la Hélice

f (t) = (cos t, sin t, t) para t ∈ [0, 2π]

Ejemplo 2.2.3. Considere la curva C de R3 que corresponde a la intersección de y = x2 con


z = 32 xy calcular su longitud entre los puntos (0, 0, 0) y (1, 1, 2/3).
2.2. PARAMETRIZACIÓN POR LONGITUD DE ARCO 51

Teorema 2.2.1. La longitud de un camino se mantiene por reparametrización

En efecto, (usando la notación usual) si

g (s) = f (ϕ (s))

entonces
Z d Z d
0
kg (s)k ds = kf 0 (ϕ (s)) ϕ0 (s)k ds
c c
Z d
= kf 0 (ϕ (s))k |ϕ0 (s)| ds
c

si ϕ0 (s) > 0, ϕ es estrictamente creciente luego

ϕ (c) = a
ϕ (d) = b

usamos el cambio u = ϕ (s) entonces


Z d
kf 0 (ϕ (s))k |ϕ0 (s)| ds
c
Z ϕ(d)
= kf 0 (u)k du
ϕ(c)
Z b
= kf 0 (u)k du
a

ası́ Z d Z b
0
kg (s)k ds = kf 0 (u)k du
c a
0
ejercicio el caso ϕ (s) < 0.
52 CAPÍTULO 2. CURVAS

Ejercicio 2.2.1. Determine la longitud de la curva que se obtiene al intersectar las esferas

(x − 1)2 + y 2 + z 2 = 1
x2 + (y − 1)2 + z 2 = 1

Sea f : [a, b] → Rn un camino de clase C 1 regular, definamos


Z t
s (t) = kf 0 (u)k du
a

la función s es estrictamente creciente, esta definida en [a, b] y su recorrido es [0, l] donde l


corresponde a la longitud

s : [a, b] → [0, l]
Rt
t → s (t) = a kf 0 (u)k du
la función inversa la denotaremos por

t : [0, l] → [a, b]
t → s (t)
entonces
f : [0, l] → Rn
e
s → e f (s) = f (t (s))
es llamada reparametrización por longitud de arco, esta reparametrización es especial pues

f 0 (s) = f 0 (t (s)) t0 (s)


e
1
= f 0 (t (s))
kf 0 (t (s))k
se sigue
e0
f (s) =1
tiene rapidez constante.

Observación 2.2.1. Usaremos s como parámetro para la parametrización por longitud de


arco.
Observación 2.2.2. Si e f0 · e
f es un camino parametrizado por longitud de arco entonces e f 00 = 0,
f 00 .
esto es, el vector tangente es perpendicular a e

Ejemplo 2.2.4. Sea f : [0, 2π] → R2 , el camino dado por f (t) = (r cos t, r sin t) determinar su
parametrización por longitud de arco.
Desarrollo: La función longitud de arco es
Z t
s (t) = k(−r sin u, r cos u)k du
0
Z t
= rdu
0
= rt
2.2. PARAMETRIZACIÓN POR LONGITUD DE ARCO 53

s
la función inversa es t (s) = r
definida de [0, 2πr] en [0, 2π] luego la reparametrización por
longitud de arco es

f : [0, 2πr] → Rn
e
s → e
f (s) = f (t (s))
s s

= r cos r
, r sin r

Ejemplo 2.2.5. Sea f : R → R3 definido por


f (t) = (α cos t, α sin t, βt)
con α, β ∈ R+ . Determine la reparametrización por longitud de arco.
Ejemplo 2.2.6. Considere el camino
Z t Z t 
−u 2 −u 2 −t
 
c (t) = e cos u du, e sin u du, 1 − e
0 0

Parametrizar por longitud de arco.


Desarrollo: Calculamos la función longitud de arco
c0 (t) = e−t cos t2 , e−t sin t2 , e−t
  

entonces
q
kc0 (t)k = e−2t cos2 (t2 ) + e−2t sin2 (t2 ) + e−2t
√ −t
= 2e
entonces
Z t√
s (t) = 2e−u du
0

= − 2 e−t − 1


la inversa es

s = − 2 e−t − 1

√ !
2
t = − ln 1 − s
2

ası́
 √   √  !
Z − ln 1− 22 s Z − ln 1− 22 s   √ 
− − ln 1− 22 s
e−u cos u2 du, e−u sin u 2
 
c (s) = du, 1 − e
0 0
Z  √ 
− ln 1− 22 s Z  √ 
− ln 1− 22 s
√ !
2s
e−u cos u2 du, −u 2
 
= e sin u du,
0 0 2

Sea f : I → R3 una camino parametrizado por longitud de arco, como ya sabemos, kf 0 (s)k = 1
y f 0 (s) · f 00 (s) = 0 luego
f 0 ⊥ f 00
se definen los siguientes vectores asociados al camino:
54 CAPÍTULO 2. CURVAS

A) Vector Tangente:
T (s) = f 0 (s)

B) Vector Normal:
f 00 (s)
N (s) =
kf 00 (s)k
C) Vector Binormal:
B (s) = T (s) × N (s)

El conjunto {T, N, B} es llamado T RIEDRO DE F RENET, es una base ortonormal de R3 en cada


punto de la curva.

Si bien teóricamente es posible, sabemos que determinar una expresión para la parametri-
zación por longitud de arco no es sencillo, depende de encontrar la inversa de la función
longitud de arco, por esto veremos como se puede calcular el Triedro sin de parametrizar por
longitud de arco.

Si f : I → R3 es un camino y e
f (s) = f (t (s)) es su reparametrización por longitud de arco
entonces:
de dt
f (s) = f 0 (t (s))
ds ds
ası́
f 0 (t (s)) f 0 (t)
T (s) = 0 = 0 = T (t)
kf (t (s))k kf (t)k
ahora bien
f (s (t)) = f (t)
e
entonces
de ds
f (s (t)) = f 0 (t)
ds dt
luego
ds
f 0 (s (t))
e = f 0 (t)
dt
2.2. PARAMETRIZACIÓN POR LONGITUD DE ARCO 55

derivando nuevamente
2
d2 s

e00 ds
f (s (t)) f 0 (s (t))
+e 2
= f 00 (t)
dt dt
ası́
f 00 (s (t))
e  ds 2 d2 s
00 0
f (s (t)) + f (s (t)) = f 00 (t)
e e
dt dt 2
e00
f (s (t))

esto es
 ds 2 d2 s
e00
N (s) f (s (t)) + T (s) 2 = f 00 (t)

dt dt
αN (s) + βT (s) = f 00 (t)

ası́
f 00 ∈ h{T, N}i
entonces
B k f 0 × f 00
se sigue
f 0 × f 00
B=
kf 0 × f 00 k
luego
N=B×T

Teorema
Si f : I ⊆ R → R3 es un camino de clase C 2 entonces el triedro de Frenet es
dado por

f 0 (t) f 0 (t) × f 00 (t)


 
T (t) = 0 , N (t) = B (t) ×T (t) , B (t) = 0
kf (t)k kf (t) × f 00 (t)k

Asociado a cada vector del triedro tenemos un plano y una recta:


Definición 2.2.1. Sea f : I ⊆ R → R3 es un camino de clase C 2 y t0 ∈ I. Se definen:

1. El PLANO NORMAL a la curva en el punto f (t0 ) como

T (t0 ) · (x − f (t0 )) = 0

2. El PLANO RECTIFICANTE a la curva en el punto f (t0 ) como

N (t0 ) · (x − f (t0 )) = 0

3. El PLANO OSCULADOR a la curva en el punto f (t0 ) como

B (t0 ) · (x − f (t0 )) = 0
56 CAPÍTULO 2. CURVAS

4. La RECTA NORMAL a la curva en el punto f (t0 ) como

f (t0 ) + tN (t0 ) para t ∈ R

5. La RECTA TANGENTE a la curva en el punto f (t0 ) como

f (t0 ) + tT (t0 ) para t ∈ R

6. La RECTA BINORMAL a la curva en el punto f (t0 ) como

f (t0 ) + tB (t0 ) para t ∈ R

Ejemplo 2.2.7. Determine la ecuación del plano normal al camino f : [0, 2π] → R3 dado por

f (t) = (cos t, sin t, t)

en el punto
π   
1 1 π
f = √ ,√ ,
4 2 2 4
el vector tangente tiene dirección

f 0 (t) = (− sin t, cos t, 1)


 
0 π 1 1
 
f = −√ , √ , 1
4 2 2

entonces el plano es

T (t0 ) · (x − f (t0 )) = 0
     ⇔
1 1 1 1 π
− √ , √ , 1 · (x, y, z) − √ , √ , = 0
2 2 2 2 4

es decir,
π 1√
z= + 2 (x + y)
4 2

Curvatura y torsión


e0
Si f es un camino parametrizado por longitud de arco, entonces f (s) = 1 luego
e

d e0 d
f (s) = T (s)
ds ds
2.3. CURVATURA Y TORSIÓN 57

estudia las variaciones en la dirección del vector tangente (no de magnitud pues esta siempre
es 1) , notemos que

d d e0
T (s) = f 00 (s)
f (s) = e
ds ds

00
f (s) N (s)
= e

ası́
T0 (s) = e
00
f (s) N (s)

e00
la cantidad κ (s) = f (s) nos da una medida de la variación de la dirección del vector
tangente, esta medida es llamada CURVATURA. De manera similar, si queremos estudiar como
se tuerce la curva, tenemos que estudiar las variaciones del vector binormal, como

B (s) = T (s) × N (s)

entonces

B0 (s) = T0 (s) × N (s) + T (s) × N0 (s)


= κ (s) N (s) × N (s) + T (s) × N0 (s)
= T (s) × N0 (s)

esto implica
B0 (s) ⊥ T (s)
como
kB (s)k = 1 ⇒ B (s) · B0 (s) = 0
ası́
B (s) ⊥ B0 (s)
se sigue
B0 (s) k B (s) × T (s)
ası́ existe c ∈ R tal que
B0 (s) = cN (s)
denotaremos por τ (s) a la cantidad tal que

B0 (s) = −τ (s) N (s)

es decir
τ (s) = −B0 (s) · N (s)
y la llamaremos TORSI ÓN, el problema, al igual que antes, es que determinar la parametriza-
ción por longitud de arco es complejo, entregaremos expresiones para la curvatura y torsión
son independiente de la parametrización: Recordemos que
2
d2 s

e00 ds
f (s (t)) f 0 (s (t))
+e 2
= f 00 (t)
dt dt
58 CAPÍTULO 2. CURVAS

entonces
2
d2 s

ds
f 00 (s (t))
e f 0 (s (t)) 2 = f 00 (t)
+e
dt dt
 2
ds d2 s
N (s) κ + T 2 = f 00 (t)
dt dt
esto es
f 00 (t) = aT T + aN N
donde
d2 s
aT =
dt2
 2
ds
aN = κ
dt

se sigue
 2
0 00 0 ds
f (t) × f (t) = f (t) × Nκ
dt
 2
0 ds
= (T × N) kf (t)k κ
dt
pero
de ds
f (s (t)) = f 0 (t)
ds dt
entonces
0
ds
kf (t)k =
dt
ası́
3
kf 0 (t) × f 00 (t)k = kf 0 (t)k κ
ası́
kf 0 (t) × f 00 (t)k
κ (t) =
kf 0 (t)k3
de manera similar se puede obtener una expresión para la torsión.

Teorema
Sea f : I ⊆ R → Rn un camino de clase C 3 regular entonces

kf 0 (t) × f 00 (t)k
κ (t) =
kf 0 (t)k3
y
(f 0 (t) × f 00 (t)) · f 000 (t)
τ (t) =
kf 0 (t) × f 00 (t)k2
2.3. CURVATURA Y TORSIÓN 59

Proposición 2.3.1. Si κ = 0 en todo el dominio entonces la traza es una recta, si τ = 0 en todo el


dominio entonces la traza esta contenida en un plano (el plano osculador)

En efecto, si κ = 0 entonces

e00
f (s) = 0

00
f (s) = (0, 0, 0)
e

integrando las funciones componentes

f (s) = (a1 s + b1 , a2 s + b2 , a3 s + b3 )
e
= (b1 b2 , b3 ) + s (a1 , a2 , a3 )

ahora supongamos que τ = 0 entonces

B0 (s) = (0,0,0) ⇒ B =cte.

se sigue que

d
B (s) · f (s) = B0 (s) · f (s) + B (s) · T (s)
ds
= 0

se sigue
B · f (s) = B · f (s0 )
ası́
B · (f (s) − f (s0 )) = 0
luego f (s) pertenece al plano osculador

B · (x − f (s0 )) = 0

Ya sabemos que

T0 (s) = κ (s) N (s)


B0 (s) = −τ (s) N (s)

ahora estudiaremos el valor de N0 (s). Primero

N0 (s) = αT + βN + γB

(pues el triedro es una base), como

kNk = 1 ⇒ N0 ⊥ N

se sigue
N0 (s) = αT + γB
note que
N · T = 0 ⇒ N0 ·T + N · T0 = 0
60 CAPÍTULO 2. CURVAS

ası́
N0 ·T = −N · T0 = −N·κN
luego
N0 ·T = −κ
de manera similar
N · B = 0 ⇒ N0 ·B + N · B0 = 0
ası́
N0 ·B = −N · B0 = N·τ N
se sigue
N0 ·B =τ
de donde obtenemos
N0 (s) = −κT + τ B
lo que completa las llamadas fórmulas de Frenet de una curva

d
T = κN
ds
d
N = −κT + τ B
ds
d
B = −τ N
ds
esto es     
T 0 κ 0 T
d 
N  =  −κ 0 τ   N 
ds
B 0 −τ 0 B

El cı́rculo osculador

Sea f : I ⊆ R → Rn un camino suave. Llamaremos radio de curvatura al número


1
ρ (t) =
κ (t)

y centro de curvatura a
1
c (t) = f (t) + N (t)
κ (t)
Se define el cı́rculo osculador a la curva parametrizada por f en el punto f (t0 ) como el cı́rculo
de radio
1
ρ (t0 ) =
κ (t0 )
y centro
1
f (t0 ) + N (t0 )
κ (t0 )
2.4. EL CÍRCULO OSCULADOR 61

Ejemplo 2.4.1. Hallar el cı́rculo osculador a la gráfica de y = ln x en el punto (1, 0)


Desarrollo: Parametrizamos la curva por
f (t) = (t, ln t, 0)
y estamos interesados en calcular la curvatura en t = 1,
kf 0 (t) × f 00 (t)k
κ (t) =
kf 0 (t)k3
donde
 
0 1
f (t) = 1, , 0 ⇒ f 0 (1) = (1, 1, 0)
t
 
00 −1
f (t) = 0, 2 , 0 ⇒ f 00 (1) = (0, −1, 0)
t
entonces
(1, 1, 0) × (0, −1, 0) = (0, 0, −1)
ası́
1
κ (1) = √
2 2
entonces √
ρ (1) = 2 2
el centro de curvatura es
1
f (t0 ) + N (t0 )
κ (t0 )
√ (1, −1, 0)
= (1, 0, 0) + 2 2
k(1, −1, 0)k
= (1, 0, 0) + 2 (1, −1, 0)
= (3, −2, 0)
esto es, en el plano xy el cı́rculo osculador es
(x − 3)2 + (y − 2)2 = 8
62 CAPÍTULO 2. CURVAS

Ejercicios de Curvas

1. La curva en R3 de parametrización f (t) = sin2 t, sin t cos t, cos t para t ∈ [0, 2π] pa-


sa dos veces por el punto (1, 0, 0). Demuestre que las tangentes en esos puntos son
perpendiculares entre si.
Desarrollo:
sin2 t, sin t cos t, cos t = (1, 0, 0) para t ∈ [0, 2π]


si y solo si

cos t = 0
sin t cos t = 0
sin2 t = 1

de la primera
π 3π
t= ,
2 2
y las tres ecuaciones se satisfacen en esos puntos

f 0 (t) = (2 sin t cos t, cos 2t, − sin t)

entonces
π    π 
f0 = sin π, cos π, − sin
2 2
= (0, −1, −1)

por otro lado


    
0 3π 3π
f = sin 3π, cos 3π, − sin
2 2
= (0, −1, 1)

se sigue
π   
0 0 3π
f ·f = (0, −1, −1) · (0, −1, 1)
2 2
= 0

2. Considere la curva definida por la parametrización

f (t) = e−t cos t, e−t sin t, e−t para t ∈ [0, 2π]




a) Muestre que la curva esta contenida en el cono x2 + y 2 = z 2


2 2
x2 + y 2 = e−t cos t + e−t sin t = e−2t = z 2
2.5. EJERCICIOS DE CURVAS 63

b) Demuestre que el vector tangente forma un ángulo constante con el vector f (t) / kf (t)k
En efecto,

d −t
f 0 (t) = e cos t, e−t sin t, e−t

dt
= − (cos t + sin t) e−t , (cos t − sin t) e−t , −e−t


luego
√ ds
kf 0 (t)k = 3e−t =
dt
ası́ √
3
T (t) = (− (cos t + sin t) , (cos t − sin t) , −1)
3
además
f (t) (e−t cos t, e−t sin t, e−t )
= √
kf (t)k 2e−t

2
= (cos t, sin t, 1)
2


f (t) 6
T (t) · = (− (cos t + sin t) cos t + (cos t − sin t) sin t − 1)
kf (t)k 6

6
= −
3
que es independiente de t.
c) Calcular la longiud de la curva entre t = 0 y el instante en que su altura se reduce
a la mitad de la inicial.
La altura se reduce a ña mitad cuando z = e−t = 21 entonces t = ln 2 se sigue
Z ln 2 √ 1√
L= 3e−t dt = 3
0 2

d) Calcular el triedro, la curvatura y torsión.


Desarrollo:
d dT dt
T0 (s) = T (t (s)) =
ds dt ds
se sigue
 
0 1
κN (t) = T (t) √
3e−t
Como
kTk = 1
se sigue

T0 2
N= 0 = (sin t − cos t, − sin t − cos t, 0)
kT k 2
64 CAPÍTULO 2. CURVAS

se sigue

2
κ (sin t − cos t, − sin t − cos t, 0)
2 √
1 3
= √ (sin t − cos t, − sin t − cos t, 0)
3e−t 3
ası́ √
2 t
κ (t) = e
3
ahora calculamos el vector binormal

B=T×N

esto es √
6
(− cos t − sin t, cos t − sin t, 2)
6
ahora calculareos la torsión
dB dB dt
=
ds dt ds  
dB ds
= /
dt dt
ası́    
dB ds
−τ N = /
dt dt
entonces

2
−τ (sin t − cos t, − sin t − cos t, 0)
2
 √
1 6
= √ (sin t − cos t, − sin t − cos t, 0)
3e−t 6

de donde
√  √
2 1 6
−τ = √
2 3e−t 6
et
τ (t) = −
3
3. Dada la curva parametrizada por
  
t
f (t) = t − sin t, 1 − cos t, 4 sin para t ∈ R
2

Calcular la curvatura y torsión en los puntos en los que el plano normal la curva es
paralelo al plano z = 1.
Desarrollo: Estos puntos serán donde el vector tangente tenga la forma

(0, 0, α) para α ∈ R − {0}


2.5. EJERCICIOS DE CURVAS 65

se sigue   
0 t
f (t) = 1 − cos t, sin t, 2 cos = (0, 0, α)
2
sin t = 0
1 − cos t = 0
de la primera
t = kπ con k ∈ Z
reemplazando en la segunda
1 − (−1)k = 0 ⇒ k es par
ası́
t = 2kπ con k ∈ Z
en estos puntos
2 cos (kπ) = 2 (−1)k 6= 0
calculamos los vectores necesarios para las fórmulas de curvatura y torsión
  
00 t
f (t) = sin t, cos t, − sin
2
  
000 1 t
f (t) = cos t, − sin t, − cos
2 2
reemplazando
 
f 0 (2kπ) = 0, 0, 2 (−1)k
f 00 (2kπ) = (0, 1, 0)
 
000 1 k
f (2kπ) = 1, 0, − (−1)
2
luego
kf 0 (2kπ) × f 00 (2kπ)k
κ (2kπ) =
kf 0 (2kπ)k3
 
k
0, 0, 2 (−1) × (0, 1, 0)

=
kf 0 (2kπ)k3
 
k
−2 (−1) , 0, 0

=   3
k
0, 0, 2 (−1)

2 1
= =
8 4
y
f 0 (2kπ) × f 00 (2kπ) · f 000 (2kπ)
τ (2kπ) =
kf 0 (2kπ) × f 00 (2kπ)k2
   
−2 (−1)k , 0, 0 · 1, 0, − 21 (−1)k
=
4
k
− (−1)
=
2
66 CAPÍTULO 2. CURVAS

4. Considere la curva intersección de las superficies y 2 = x y x2 = z

a) Hallar el Triedro en (1, 1, 1).


Desarrollo: Podemos parametrizar la curva por

f (t) = t2 , t, t4 para t ∈ R


y el punto de interés es t = 1.

f 0 (t) = 2t, 1, 4t3




f 00 (t) = 2, 0, 12t2


se sigue

f 0 (1) = (2, 1, 4)
f 00 (1) = (2, 0, 12)

ası́
(2, 1, 4)
T (1) = √
21
(2, 1, 4) × (2, 0, 12)
B (1) =
k(2, 1, 4) × (2, 0, 12)k
(12, −16, −2) 1
= =√ (6, −8, −1)
k(12, −16, −2)k 101
Y
N (1) = B (1) × T (1)
esto es
1
N (1) = √ √ (6, −8, −1) × (2, 1, 4)
21 101
1
= √ √ (−31, −26, 22)
21 101

b) ¿En que punto de la curva el plano normal es paralelo al plano xz?

5. Considere el camino f : R → R3

f (t) = 2t2 + 1, t2 + 2t + 5, g (t)




donde g : R → R es una función de clase C 3 .

a) Determinar condiciones sobre g para que la curva sea plana.


Desarrollo: La curva es plana si y solo si la torsión es cero

(f 0 (t) × f 00 (t)) · f 000 (t)


τ (t) = =0
kf 0 (t) × f 00 (t)k2

calcularemos las derivadas necesarias:


2.5. EJERCICIOS DE CURVAS 67

f 0 (t) = (4t, 2t + 2, g 0 )
f 00 (t) = (4, 2, g 00 )
f 000 (t) = (0, 0, g 000 )

entonces
((4t, 2t + 2, g 0 ) × (4, 2, g 00 )) · (0, 0, g 000 ) = −8g 000 = 0
entonces
g (t) = a + bt + ct2
la forma de la curva es

f (t) = 2t2 + 1, t2 + 2t + 5, a + bt + ct2




b) Determine el plano al cual pertenece la curva en las condiciones de a).


Desarrollo: Cuando una curva es plana esta contenida en el plano osculador notar
que el vector binormal corresponde a

(4t, 2t + 2, b + 2ct) × (4, 2, 2c)


=
(4c − 2b, 4b, −8)

luego el plano es

(4c − 2b, 4b, −8) · (x − 1, y − 5, z − a) = 0

c) En las condiciones de a), ¿En que punto tiene curvatura máxima?.


Desarrollo: La curvatura es
k(4c − 2b, 4b, −8)k
κ (t) =
k(4t, 2t + 2, b + 2ct)k3

esta curvatura es máxima cuando el denominador es mas pequeño esto es en el


mı́nimo de la cuadrática

(4t)2 + (2t + 2)2 + (b + 2ct)2


= b2 + 4bct + 4c2 t2 + 20t2 + 8t + 4

entonces el mı́nimo esta en el vértice

4bc + 8c2 t + 40t + 8 = 0

esto es
bc + 2
t=−
2c2 + 10
6. Considere el camino
Z t Z t 
−u 2 −u 2 −t
 
c (t) = e cos u du, e sin u du, 1 − e para t ≥ 0
0 0
68 CAPÍTULO 2. CURVAS

a) Parametrizar por longitud de arco.


Desarrollo: Calculamos la función longitud de arco

c0 (t) = e−t cos t2 , e−t sin t2 , e−t


  

entonces
q
0
kc (t)k = e−2t cos2 (t2 ) + e−2t sin2 (t2 ) + e−2t
√ −t
= 2e

entonces
Z t√
s (t) = 2e−u du
0

= − 2 e−t − 1


la inversa es

s = − 2 e−t − 1

√ !
2
t = − ln 1 − s
2

ası́
 √   √  !
Z − ln 1− 22 s Z − ln 1− 22 s   √ 
− − ln 1− 22 s
e−u cos u2 du, e−u sin u 2
 
c (s) = du, 1 − e
0 0
Z  √ 
− ln 1− 22 s Z  √ 
− ln 1− 22 s
√ !
2s
e−u cos u2 du, −u 2
 
= e sin u du,
0 0 2

b) Calcular su triedro de Frenet.


Desarrollo: Calcularemos usando el camino c (t) se tiene:

c0 (t) = e−t cos t2 , e−t sin t2 , e−t


  

luego
(e−t cos (t2 ) , e−t sin (t2 ) , e−t )
T (t) = √
2e−t
cos (t ) sin (t2 ) 1
2
 
= √ , √ ,√
2 2 2
con esto podemos calcular N (t)
 √ √ 
T 0 (t) = − 2t sin t2 , 2t cos t2 , 0

ası́
√ √ 
− 2t sin t2 , 2t cos t2 , 0
N (t) = √
2t
− sin t , cos t2 , 0
2

=
2.5. EJERCICIOS DE CURVAS 69

y finalmente

cos (t2 ) sin (t2 ) 1


 
× − sin t2 , cos t2 , 0

B (t) = √ , √ ,√
2 2 2
1√ 1√ √
 
2 2 1
= − 2 cos t , − 2 sin t , 2
2 2 2

c) Muestre que la curvatura y torsión coinciden.


Desarrollo:
dT dT ds
=
dt ds dt
donde
ds
= kc0 (t)k
dt
ası́
dT
dT dt
= ds
ds dt
luego dT √

dT 2t
= k (t) =
0
dt
=√ = tet
ds kc (t)k 2e−t

además
dB dB ds
=
dt ds dt
ası́
dB
dB
= 0 dt
ds kc (t)k
se sigue
dB
dt
τ (t) = − · N (t)
kc0 (t)k
ası́
d
√ √ √ 
− 21 2 cos t2 , − 12 2 sin t2 , 12 2 · (− sin t2 , cos t2 , 0)
dt
τ (t) = − √
2e−t

− 2t
= −√
2e−t
t
= te

d) Muestre que la traza del camino c0 (t) esta sobre un cono.


Desarrollo: c0 (t) = (e−t cos (t2 ) , e−t sin (t2 ) , e−t ) entonces

x = e−t cos t2


y = e−t sin t2


z = e−t

ası́
x2 + y 2 = e−2t = z 2
70 CAPÍTULO 2. CURVAS

7. A la esfera sólida x2 + y 2 + z 2 ≤ 4 se le corta un pedazo usando una sierra recta, el corte


se hace de manera tal que el borde es la curva parametrizada por
√ 
f (t) = 2 cos t, 1 + sin t, 1 − sin t para t ∈ [0, 2π]

determine una expresión que permita obtener el volumen del sólido que se quitó a la
esfera (la parte que no contiene al origen).
Desarrollo: La curva esta contenida en un plano, en efecto su torsión es cero
 √ 
f 0 (t) = − 2 sin t, cos t, − cos t

 √ 
00
f (t) = − 2 cos t, − sin t, sin t
√ 
f 000 (t) = 2 sin t, − cos t, cos t

implica
(f 0 (t) × f 00 (t)) · f 000 (t)
τ (t) = =0
kf 0 (t) × f 00 (t)k2
El binormal apunta en dirección de
 √   √ 
− 2 sin t, cos t, − cos t × − 2 cos t, − sin t, sin t
 √ √ 
= 0, 2, 2

como es constante el plano osculador es


 √ √   √ 
0, 2, 2 · (x, y, z) − 2, 1, 1 = 0

es decir
y+z =2
Determinamos la proyección de la intersección del plano con la esfera
x2 + y 2 + z 2 = 4
y+z = 2
esto es
x2 + y 2 + (2 − y)2 = 4

x2 + 2 y 2 − 2y = 0



2 2
x + 2 (y − 1) = 2
ası́
x2
+ (y − 1)2 = 1
2
finalmente
ZZ Z √4−x2 −y2 ZZ p 
dzdA = 4 − x2 − y 2 − (2 − y) dA
x2 x2
2
+(y−1)2 ≤1 2−y 2
+(y−1)2 ≤1
2.5. EJERCICIOS DE CURVAS 71

p
8. Parametrizar la curva definida como la intersección del cono z = x2 + y 2 √
y el
 cilindro
2 2
(x − 1) + y = 1 además calcular su curvatura y torsión en el punto 1, 1, 2 .
Desarrollo: Pongamos x = r cos θ, y = r sin θ y z = z entonces
z = |r|
r = 2 cos θ
ası́
x = 2 cos θ cos θ
y = 2 cos θ sin θ
z = 2 |cos θ|
esto es
C (θ) = 2 cos2 θ, sin 2θ, 2 |cos θ|


π
para t ∈ [0, 2π] hay que hacer los cálculos en θ = 4
otra parametrización es
x = 1 + cos t
y = sin t
 
t
z = 2 cos
2
   
t
1 + cos t, sin t, 2 cos
2
π
para t ∈ [0, 2π], en t = 2
hay que hacer los cálculos.
  
t
f (t) = 1 + cos t, sin t, 2 cos
2
(es donde cos ≥ 0) entonces
  
0 t
f (t) = − sin t, cos t, − sin
2
 π π  π  √ 
= − sin , cos , − sin = −1 0 − 12 2
 2 2 4 
1 t
f 00 (t) = − cos t, − sin t, − cos
2 2
 π 
√ 

π π 1
= − cos , − sin , − cos 2 = 0 −1 − 14 2
2 2 2 2
  
1 t
f 000 (t) = sin t, − cos t, sin
4 2
 π 
√ 

π π 1
= sin , − cos , sin 2 = 1 0 18 2
2 2 4 2
se sigue
√  √ 
π  −1 0 − 1 2 × 0 −1 − 1 2
2 4
κ = √ 
2 −1 0 − 1 2 3

2
1√ √
= 3 13
9
72 CAPÍTULO 2. CURVAS

y
√  √  √ 
π  −1 0 − 12 2 × 0 −1 − 14 2 · 1 0 1
8
2
τ = √ √ 
2 −1 0 − 1 2 × 0 −1 − 1 2 2

2 4
3√
= − 2
13
9. Sea f : I ⊆ R → R3 un camino de clase C 3 (I) de la forma
f (t) = (a cos t, a sin t, g (t))
para a > 0. ¿Cual debe ser la forma de g (t) para que la curva este contenida en un
plano?.
Desarrollo: La curva es plana si y solo si la torsión es cero, si y solo si
(f 0 (t) × f 00 (t)) · f 000 (t) = 0
calcularemos los vectores necesarios
f 0 (t) = −a sin t a cos t g 0


f 00 (t) = −a cos t −a sin t g 00




y
f 000 (t) = a sin t −a cos t g 000


luego
τ (t) = 0

0 00 000
(f (t) × f (t)) · f (t) = 0
esto es
−a sin t a cos t g 0 −a cos t −a sin t g 00
 
×
=
ag 00 cos t + ag 0 sin t ag 00 sin t − ag 0 cos t a2 cos2 t + a2 sin2 t


y ası́
ag 00 cos t + ag 0 sin t ag 00 sin t − ag 0 cos t a2 cos2 t + a2 sin2 t a sin t −a cos t g 000
 
·
= a2 (g 0 + g 000 )
pero
a2 (g 0 + g 000 ) = 0

0 000
g +g = 0

g (t) = c1 + c2 cos t + c3 sin t
la curva tiene la forma
f (t) = (a cos t, a sin t, c1 + c2 cos t + c3 sin t)
2.5. EJERCICIOS DE CURVAS 73

10. Considere la curva traza del camino f : [0, 2π] → R3 dado por

f (t) = (a1 + b1 cos t + c1 sin t, a2 + b2 cos t + c2 sin t, a3 + b3 cos t + c3 sin t)


= a + b cos t+c sin t

donde a = (a1 , a2 .a3 ), b = (b1 , b2 .b3 ) y c = (c1 , c2 .c3 ) :

a) Muestre que es un a curva plana independiente de los vectores a, b y c.


Desarrollo: La torsión es cero

f 0 (t) = −b sin t+c cos t


f 00 (t) = −b cos t − c sin t
f 000 (t) = b sin t − c cos t

entonces

f 0 (t) × f 00 (t) = (−b sin t+c cos t) × (−b cos t − c sin t)


= (b × c) sin2 t − (c × b) cos2 t
= b×c

es constante (eso es suficiente), luego

(f 0 (t) × f 00 (t)) · f 000 (t)


= (b × c) · (b sin t − c cos t)
= 0

b) Muestre que es una circunferencia si b · c = 0 y kbk = kck.


Para que sea una circunferencia necesitamos igual curvatura en todos los puntos

kb × ck
κ (t) =
k−b sin t+c cos tk3

el denominador es constante pues


p
(−b sin t+c cos t) · (−b sin t+c cos t)
q
= kbk2 sin2 t − 2bc sin t cos t + kck2 cos2 t
q
= kbk2 sin2 t + kck2 cos2 t
= kbk

ası́
kb × ck
κ (t) = 3 = kbk−1
kbk
c) Si b · c = 0 y kbk = kck calcule el área encerrada por f en el plano osculador
correspondiente.
El área es
π kbk2
74 CAPÍTULO 2. CURVAS

11. Sea α : R → R3 una parametrización por longitud de arco de una curva Γ de torsión
positiva. Denotemos por Tα , Nα y Bα su triedro de Frenet y defina la curva
Z s
γ (s) = Bα (u) du
0
Z s Z s Z s 
= B1,α (u) du, B2,α (u) du, B3,α (u) du
0 0 0

(integral de las componentes). Mostrar que γ esta parametrizada por longitud de arco,
calcular su triedro, curvatura y torsión.
Desarrollo:
γ 0 (s) = Bα (s)
ası́
kγ 0 (s)k = kBα (s)k = 1
esta parametrizado por longitud de arco se sigue

T (s) = γ 0 (s) = Bα (s)

ahora bien
T 0 (s) = κ (s) N (s) = Bα0 (s) = −τα (s) Nα (s)
entonces
T 0 (s) −τα (s) Nα (s)
N (s) = 0
= = −Nα (s)
kT (s)k τα (s)
entonces
κ (s) = τα (s)
si tenemos T y N entonces

B (s) = T (s) × N (s)


= −Bα (s) × Nα (s)
= Tα (s)

se sigue

−τ (s) N (s) = B 0 (s) = Tα0 (s)


= κα (s) Nα (s)
= −κα (s) N (s)

ası́
τ (s) = κα (s)

12. Gusabio esta al interior de una manzana cuya cáscara tiene ecuación esférica ρ =
16 (1 − cos φ). Gusabio se mueve comiendo por el camino

f (t) = ((8 + sin t) cos t, (8 + sin t) sin t, cos t) para t ∈ [0, 2π]

de tal forma que en cada plano normal al camino se ve orificio circular de radio 12 y
centro en la curva. Determine una expresión que permita calcular el tiempo que tarda
en consumir un 3/10000 del volumen total de la manzana.
2.5. EJERCICIOS DE CURVAS 75

Desarrollo: El volumen de la manzana es


Z 2π Z π Z 16(1−cos φ)
V = ρ2 sin φdρdφdθ
0 0 0
Z π Z 16(1−cos φ)
= 2π ρ2 sin φdρdφ
 0 0
 π
Z

= 163
(sin φ) (1 − cos φ)3 dφ
3 0
 

163 (4)

=
3

el volumen comido desde t = 0 a t = t es dado por


π  Z t
Vc = kf 0 (u)k du
4 0

ası́     π  Z t
2π 3
3
kf 0 (u)k du

16 (4) =
3 10000 4 0

es la ecuación
d
((8 + sin t) cos t, (8 + sin t) sin t, cos t)
dt
= (cos 2t − 8 sin t, 8 cos t + sin 2t, − sin t)

(cos 2t − 8 sin t)2 + (8 cos t + sin 2t)2 + sin2 t


1 131
= 16 sin t − cos 2t +
2 2
ası́
    π  Z t
2π 3
3
kf 0 (u)k du

16 (4) =
3 10000 4 0
π  Z t r 1 131
= 16 sin u − cos 2u + du
4 0 2 2
76 CAPÍTULO 2. CURVAS
3 I NTEGRALES DE LINEA

En este capı́tulo estudiaremos la integración sobre curvas, este tipo de integrales es llamada
integral de linea y surgen de problemas prácticos tales como la determinación de la masa de
un alambre de una densidad dada o bien el trabajo realizado para mover un objeto bajo la
acción de un campo de fuerza a través de una curva dada.

Integral de linea de primer tipo

Suponga que queremos determinar la masa de un alambre que tiene por forma la curva
que es traza del camino λ : [a, b] → R3 con densidad conocida ρ (x, y, z), Si particionamos el
intervalo paramétrico en
P = {t0 , t1 , . . . , tn }
determinamos una partición de la traza, la masa de la parte del alambre para t ∈ [ti−1 , ti ]
puede ser aproximada por
Z ti
mi ≈ ρ (λ (t∗i )) kλ0 (u)k du
ti−1
= ρ (λ (ti )) kλ0 (t∗∗

i )k ∆ti

se sigue que
n
X n
X
M= mi ≈ ρ (λ (t∗i )) kλ0 (t∗∗
i )k ∆ti
i=1 i=1

si la norma de la partición tiende a cero se tiene


n
X
M = lı́m ρ (λ (t∗i )) kλ0 (t∗∗
i )k ∆ti
kPk→0
i=1
Z b
= ρ (λ (t)) kλ0 (t)k dt
a

esto motiva la siguiente definición

Definición 3.1.1. Sea f : U ⊆ Rn → R una función continua y λ : [a, b] → Rn un camino de


clase C 1 con traza(λ) ⊂ U . Se define la integral de linea de f sobre el camino λ como
Z Z b
f ds = f (λ (t)) kλ0 (t)k dt
λ a

Ejemplo 3.1.1. Calcular Z


xy ds
λ

donde λ : [0, 1] → R2 , t → λ (t) = (t, t2 ).

77
78 CAPÍTULO 3. INTEGRALES DE LINEA

Desarrollo:
Z Z 1
(t) t2 k(1, 2t)k dt

xy ds =
λ
Z0 1 √
= t3 1 + 4t2 dt
0

ponemos
u = 1 + 4t2
entonces
Z 5
1 √
u (u − 1) du
32 1
Z 5
1
u3/2 − u1/2 du

=
32 1
5√ 1
= 5+
24 120

note que si µ : [0, 1] → R2 , t → (1 − t) , (1 − t)2 entonces la traza es la misma pero se recorre




en el sentido contrario, sin embargo


Z Z 1
(1 − t) (1 − t)2 k(−1, −2 (1 − t))k dt

xy ds =
µ 0
Z 1 q
= (1 − t)3 1 + 4 (1 − t)2 dt
0

si ponemos
u=1−t
entonces Z 0
3
√ Z 1 √
− u 1+ 4u2 du = u3 1 + 4u2 du
1 0

que es el mismo valor anterior.

Teorema 3.1.1. Sean f, g : U ⊆ Rn → R funciones continuas, α, β ∈ R, λ : [a, b] → Rn una curva


de clase C 1 con traza(λ) ⊂ U entonces:
Z Z Z
1. (af + βg) ds = α f ds + β g ds
λ λ λ
.
2. Si λ = λ1 ∪ λ2 entonces Z Z Z
f ds = f ds + f ds
λ λ1 λ2

3. Si µ es una reparametrización de λ (en cualquier orientación) entonces


Z Z
f ds = f ds
λ µ
3.1. INTEGRAL DE LINEA DE PRIMER TIPO 79

4. Si f ≥ 0 entonces
Z
f ds ≥ 0
λ

Ejemplo 3.1.2. Calcular la masa del alambre λ : [0, 2π] → R2 , t → (cos t, sin t, t) si la densidad
en cada punto es proporcional a la distancia al origen al cuadrado.

ρ (x, y, z) = κ x2 + y 2 + z 2


entonces
Z
κ x2 + y 2 + z 2 ds

M=
λ

entonces

2π √
Z
M = κ 1 + t2 2dt
0
8√ 3 √
= 2π κ + 2 2πκ
3

Ejemplo 3.1.3. Calcular el área lateral de una valla en el primer cuadrante con base en el
astroide x2/3 + y 2/3 = 302/3 y altura f (x, y) = 1 + y/3.
Desarrollo: Parametrizamos en el primer cuadrante

x = 30 cos3 t
y = 30 sin3 t

entonces

Z π/2 p
A = 1 + 10 sin3 t 902 cos4 t sin2 t + 902 sin4 t cos2 tdt
0
Z π/2 p
= 1 + 10 sin3 t 902 cos2 t sin2 tdt
0
Z π/2
1 + 10 sin3 t 90 cos t sin tdt

=
0
= 225
80 CAPÍTULO 3. INTEGRALES DE LINEA

Integrales de linea de segundo tipo

Sea F : U ⊆ Rn → Rn un campo vectorial continuo con U abierto, sea λ : [a, b] → Rn un


camino de clase C 1 con traza contenida en U , se define la integral de linea del campo F sobre
el camino λ como la integral
Z Z b
F · dr = F (λ (t)) · λ0 (t) dt
λ a

Observación 3.2.1. Si F (x, y) = (M (x, y) , N (x, y)) entonces


Z
F · dr
λ

es denotada por Z
M (x, y) dx + N (x, y) dy
λ
3.2. INTEGRALES DE LINEA DE SEGUNDO TIPO 81

de manera similar, si F (x, y) = (P (x, y, z) , Q (x, y, z) , R (x, y, z)) la integral


Z
F · dr
λ

es denotada por Z
P (x, y, z) dx + Q (x, y, z) dy + R (x, y, z) dz
λ

Ejemplo 3.2.1. Sea F (x, y) = (x + y, y) definida de R2 a R2 y λ : [0, 1] → R2 , t → λ (t) = (t, t2 )


calcular Z Z
F · dr = (x + y) dx + ydy
λ λ
Desarrollo: Por definición
Z Z 1
F · dr = F (λ (t)) · λ0 (t) dt
λ
Z0 1
t + t2 , t2 · (1, 2t) dt

=
Z0 1
t + t2 (1) + t2 (2t) dt
  
=
Z0 1
2t3 + t2 + t dt

=
0
4
=
3
Ejemplo 3.2.2. Sea F (x, y) = (x + y, y) definida de R2 a R2 y λ : [0, 1] → R2 , t → λ (t) =
1 − t, (1 − t)2 calcular Z Z
F · dr = (x + y) dx + ydy
λ λ
Desarrollo: Por definición
Z Z 1
F · dr = F (λ (t)) · λ0 (t) dt
λ
Z0 1
(1 − t) + (1 − t)2 , (1 − t)2 · (−1, −2 (1 − t)) dt

=
Z0 1
− (1 − t) − (1 − t)2 − 2 (1 − t)3 dt

=
0
4
= −
3

Note de los ejemplos anteriores que la traza es la misma pero se recorren con distinta
orientación y la integral cambia de signo.

Teorema 3.2.1 (Propiedades de las integrales de linea de campos vectoriales). Sean U abierto
de Rn , F, G : U ⊆ Rn → Rn campos vectoriales continuos, α, β escalares y λ : [a, b] → Rn un
camino de clase C 1 con traza contenida en U :
82 CAPÍTULO 3. INTEGRALES DE LINEA

Z Z Z
1. (αF + βG) · dr = α F · dr + β G · dr
λ λ λ

2. Si µ es una reparametrización de λ entonces:

a) Si µ tiene la misma orientación de λ


Z Z
F · dr = F · dr
λ µ

b) Si µ tiene distinta orientación de λ


Z Z
F · dr = − F · dr
λ µ
.
3. Si λ = λ1 ∪ λ2 (caminos concatenados) entonces
Z Z Z
F · dr = F · dr + F · dr
λ λ1 λ2

Independencia de caminos

Definición 3.2.1. Diremos que un campo F : U ⊆ Rn → Rn es un campo gradiente si existe


una función f : U ⊆ Rn → R tal que
∇f (x) = F (x)
para todo x ∈ U , en este caso diremos que f es una función potencial para F en el conjunto U .

Si ∇f (x) = F (x) y λ : [a, b] → Rn entonces


Z Z b
F · dr = F (λ (t)) · λ0 (t) dt
λ a
Z b
= ∇f (λ (t)) · λ0 (t) dt
a
Z b
d
= f (λ (t)) dt
a dt
= f (λ (b)) − f (λ (a))
la integral solo depende de los puntos inicial y final.

Teorema 3.2.2. Sea F : U ⊆ Rn → Rn un campo vectorial de clase C k (con k ≥ 0) definido en un


abierto U . Las siguientes afirmaciones son equivalentes:

1. Para todo camino λ con traza contenida en U , la integral de linea


Z
F · dr
λ

solo depende del punto inicial y final de λ.


3.2. INTEGRALES DE LINEA DE SEGUNDO TIPO 83

2. Para todo camino cerrado λ con traza contenida en U , la integral de linea


Z
F · dr
λ
es cero.
3. F : U ⊆ Rn → Rn es un campo gradiente en U .

Ejemplo 3.2.3. Se sabe que el campo F (x, y) = (x + y 2 , 2xy) es un campo gradiente en R2 ,


calcular Z
F · dr
λ
  2 
para λ : [0, π] → R2 , t → λ (t) = πt cos3 t + 2 sin t + esin t , πt 2 sin3 t + 2 + esin t
Desarrollo: Como es un campo gradiente la integral solo depende de los puntos inicial y
final, por ende podemos usar un camino mas simple que una los puntos inicial y final para
calcular a integral.
λ (0) = (0, 0)
λ (π) = (0, 3)
usamos el camino
µ (t) = (0, 3t) para t ∈ [0, 1]
luego
Z Z 1
0 + (3t)2 , 2 (0) (3t) · (0, 3) dt

F · dr =
λ
Z0 1
(3t)2 , 0 · (0, 3) dt

=
0
= 0

Ejemplo 3.2.4. Muestre que el campo F : R2 − {(0, 0)} → R2


 
−y x
F (x, y) = ,
x2 + y 2 x2 + y 2
no es un campo gradiente (no es conservativo) en R2 − {(0, 0)} usando la integral sobre el
camino cerrado
λ (t) = (r cos t, r sin t) definida para t ∈ [0, 2π]
Desarrollo: Si el campo fuera gradiente entonces la integral
Z
F · dr
λ

deberı́a ser cero, sin embargo


Z 2π  
−r sin t r cos t
Z
F · dr = , · (−r sin t, r cos t) dt
λ 0 r2 r2
Z 2π
= dt
0
= 2π 6= 0
84 CAPÍTULO 3. INTEGRALES DE LINEA

El teorema anterior no nos dice como podrı́amos determinar la función potencial, solo es una
equivalencia de propiedades.

Teorema 3.2.3. Si F : U ⊆ Rn → Rn es un campo gradiente de clase C 2 en U , con


F (x) = (F1 (x) , F2 (x) , . . . , Fn (x))
entonces
∂Fi ∂Fj
= para i 6= j
∂xj ∂xi
La demostración se sigue del lema de Schwartz

Observación 3.2.2. El recı́proco no se cumple, note que el campo F : R2 − {(0, 0)} → R2


 
−y x
F (x, y) = ,
x2 + y 2 x2 + y 2
no es gradiente pero
x2 − y 2
   
∂ −y ∂ x
= =−
∂y x + y2
2 ∂x x + y2
2
(x2 + y 2 )2

Definición 3.2.2. Diremos que un conjunto D ⊆ Rn es estrellado, si existe un x0 ∈ U tal que


para todo x ∈ U el segmento
[x0 , x] = {y = (1 − t) x0 + tx para t ∈ [0, 1]}
este contenido en U .

Ejemplo 3.2.5. Una Bola es un conjunto estrellado, todo conjunto convexo es estrellado, el
conjunto de la figura es estrellado
el conjunto R2 − {(0, 0)} no es estrellado.
3.2. INTEGRALES DE LINEA DE SEGUNDO TIPO 85

Teorema 3.2.4. Si U es un conjunto estrellado y F : U ⊆ Rn → Rn es un campo vectorial de clase


C 2 en U ,
F (x) = (F1 (x) , F2 (x) , . . . , Fn (x))
tal que
∂Fi ∂Fj
(x) = (x) para i 6= j
∂xj ∂xi
entonces F : U ⊆ Rn → Rn es un campo gradiente, más aún
Z
f (x) = F · dr
[x0 ,x]
Z 1
= F ((1 − t) x0 + tx) · (x − x0 ) dt
0

es una función potencial.

Ejemplo 3.2.6. Muestre que F (x, y) = (x + y 2 , 2xy) es un campo gradiente en R2 y determine


la función potencial.
Desarrollo: R2 es estrellado, además
∂ ∂
x + y2 =

(2xy) = 2y
∂y ∂x
para determinar la función potencial podemos utilizar el teorema o bien
∂f
= x + y2
∂x
∂f
= 2xy
∂y
de la primera se deduce
x2
f (x, y) = + y 2 x + g (y)
2
derivando con respecto a y
x2
 
∂f ∂ 2
2xy = = + y x + g (y)
∂y ∂y 2
esto implica
g 0 (y) = 0 ⇒ g (y) = c
ası́
x2
f (x, y) = + y2x + c
2
también podrı́a ser usando (0, 0) como x0
Z 1
f (x, y) = F (tx, ty) · (x, y) dt
0
Z 1
tx + (ty)2 , 2 (tx) (ty) · (x, y) dt

=
Z0 1
3t2 xy 2 + tx2 dt

=
0
1 2
= x + xy 2
2
86 CAPÍTULO 3. INTEGRALES DE LINEA

Observación 3.2.3. Si F : U ⊆ R3 → R3 entonces la condición de las derivadas mixtas se


puede resumir diciendo que
∇×F=0
la cantidad ∇ × F es llamada el rotacional del campo F y se denota por rot(F).

Ejemplo 3.2.7. Considere el campo



− →
− →

x i +y j +zk
F = −GmM
(x2 + y 2 + z 2 )3/2

donde G, m, M son constantes.

1. Determine una función potencial en R3 − {(0, 0, 0)}


Desarrollo: en este caso
∂f Cx C
=− 3/2
⇒ f (x, y, z) = + g (y, z)
∂x (x2 + y 2 + z 2 ) (x2 + y 2 + z 2 )1/2
pero
Cy ∂f Cy ∂
− = =− + g (y, z)
(x2 + y 2 + z 2 )3/2 ∂y (x2 + y 2 + z 2 )3/2 ∂y
se sigue

g (y, z) = 0 ⇒ g (y, z) = h (z)
∂y
pero

Cz ∂f Cz
− = =− + h0 (z)
(x2 + y 2 + z 2 )3/2 ∂z 2 2 2
(x + y + z )3/2


0
h (z) = 0

ası́
GmM
f (x, y, z) = +C
(x2 + y 2 + z 2 )1/2
2. Sean P1 , P2 puntos a distancias s1 y s2 del origen. Mostrar que el trabajo realizado por
el campo de la parte anterior para mover una partı́cula de P1 a P2 es
 
1 1
GmM −
s2 s1

Desarrollo: Ahora para ir de un punto P1 a un punto P2 el valor es


 
1 1
f (P2 ) − f (P1 ) = GmM −
s2 s1

donde s2 es la distancia al origen desde P2 y s1 es la distancia al origen desde P1 .


3.2. INTEGRALES DE LINEA DE SEGUNDO TIPO 87

Ejemplo 3.2.8. Sean a, b, c ∈ R y F : R3 → R3 dada por

F (x, y, z) = ay 2 + 2czx, y (bx + cz) , ay 2 + cx2




1. Determine los valores de a, b y c ∈ R para los cuales el campo es conservativo y


justifique.
Desarrollo: El campo esta definido en R3 verificamos que

∇ × F = (0, 0, 0)

esto es

∇ × ay 2 + 2czx, y (bx + cz) , ay 2 + cx2




= (2ay − cy, 0, by − 2ay)

se sigue que el campo es conservativo si y solo si

c = 2a
b = 2a

esto es

F (x, y, z) = ay 2 + 2 (2a) zx, y ((2a) x + (2a) z) , ay 2 + (2a) x2




= a y 2 + 4xz, 2xy + 2zy, 2x2 + y 2




2. Determine la función potencial para los valores de los escalares determinados en la


parte anterior.
Desarrollo:
Z 1
f (x, y, z) = F (tx, ty, tz) · (x, y, z) dt
0
Z 1
2 2 2
t2 dt

= a y + 4xz, 2xy + 2zy, 2x + y · (x, y, z)
0
1
a 6zx2 + 3xy 2 + 3zy 2

=
3
= 2azx2 + axy 2 + azy 2

3. Calcular (para las mismas constantes de la parte b) )


Z
F · dµ
µ

donde µ (t) = cos t + sin t, cos2 t + sin3 t, πt para t ∈ [0, 2π].




Desarrollo: Los puntos inicial y final son

µ (0) = cos 0 + sin 0, cos2 0 + sin3 0, 0




= (1, 1, 0)
88 CAPÍTULO 3. INTEGRALES DE LINEA

µ (2π) = cos 2π + sin 2π, cos2 2π + sin3 2π, 2




= (1, 1, 2)

se sigue
Z
F · dµ = f (1, 1, 2) − f (1, 1, 0)
µ
= (2a2 + a + a2) − (a)
= 6a

Observación 3.2.4. El teorema de la función potencial no necesita que el conjunto sea estre-
llado, en realidad el conjunto debe ser simplemente conexo, estos conjuntos se caracterizan
por la propiedad de que cualquier curva cerrada en ellos puede ser deformada sin salir del
conjunto a un punto del conjunto (en R2 un conjunto sin agujeros es simplemente conexo),
formalizar esto se escapa un poco del curso, por eso usamos el conjunto estrellado que es
más simple de entender.

El teorema de Green

Ya sabemos que si un campo vectorial es un campo gradiente, las integrales de linea se


reducen a determinar el potencial o una curva en la cual la integral sea simple de calcular.
Si el Campo no es gradiente el teorema de Green establece un vinculo para relacionar las
integrales de linea con integrales dobles.

Definición 3.3.1. Diremos que la frontera de un conjunto Ω ⊆ R2 esta orientada en el sentido


positivo si al movernos en la dirección de la orientación por la frontera el conjunto se
encuentra a la izquierda, en tal caso escribiremos ∂Ω+ para denotar la curva frontera orientada
en forma positiva.
3.3. EL TEOREMA DE GREEN 89

Teorema 3.3.1 (de Green). Sea F : U ⊆ R2 → R2 , (x, y) → (M (x, y) , N (x, y)) un campo de
clase C 1 (U ) con U abierto y conexo. Sea Ω ⊆ U una región cerrada y acotada con ∂Ω orientada
positivamente (y formada por una unión finita de curvas simples) entonces
Z ZZ  
∂N ∂M
F · dr = − dA
∂Ω+ Ω ∂x ∂y

Ejemplos

1. Calcular la integral de linea de F : R2 → R2 , (x, y) → (2x + y, −x + 4xy) sobre la curva


x2 + y 2 = 1 orientada en sentido positivo.
Desarrollo: Usando el teorema de Green
Z ZZ
(2x + y) dx + (−x + 4xy) dy = (−1 + 4y − 1) dA
λ x2 +y 2 ≤1
Z 2π Z 1
= (−2 + 4r sin θ) rdrdθ
0 0
= −2π

2. Calcular la integral de linea


Z
−ydx + x + arctan 1 + y 2 sinh2 (y) dy
 
λ

donde λ es la porción de la circunferencia x2 + y 2 = 1 con y ≥ 0 orientada en sentido


antihorario.
Desarrollo: Si bien la curva no es cerrada podemos cerrarla usando el segmento del eje
x que une el punto −1 con 1 mediante el camino
λ2 = (t, 0) para t ∈ [−1, 1]
entonces
Z
−ydx + x + arctan 1 + y 2 sinh2 (y) dy
 

Zλ∪λ
Z 2
= 2dA = 2A (Ω)

se sigue Z
−ydx + x + arctan 1 + y 2 sinh2 (y) dy = π
 
λ∪λ2
pero
Z
−ydx + x + arctan 1 + y 2 sinh2 (y) dy
 

Zλ∪λ2
−ydx + x + arctan 1 + y 2 sinh2 (y) dy
 
=
λZ

−ydx + x + arctan 1 + y 2 sinh2 (y) dy


 
+
λ2
90 CAPÍTULO 3. INTEGRALES DE LINEA

pero
Z
−ydx + x + arctan 1 + y 2 sinh2 (y) dy
 
λ2
Z 1
= (0, t) · (1, 0) dt
−1
= 0

ası́ Z
−ydx + x + arctan 1 + y 2 sinh2 (y) dy = π
 
λ

3. Considere la curva traza de λ dada por x2 + y 2 = 2y recorrida en sentido antihorario.


Calcular Z
F · dλ
λ
2 2
para F : R → R dado por

F (x, y) = x3 − y, x2 + arctan y


Desarrollo: Usando el teorema de Green


Z ZZ  
∂ 2
 ∂ 3

F · dλ = x + arctan y − x − y dA
λ Ω ∂x ∂y
ZZ
= (2x + 1) dA

pasando a polares se tiene

x2 + y 2 = 2y

r = 2 sin θ

entonces
Z π Z 2 sin θ
(2r cos θ + 1) rdrdθ
0 0
Z π  
4 2
= sin 2θ − cos 2θ − sin 4θ + 1 dθ
0 3 3
= π

4. Considere el campo vectorial F : R2 − {(0, 0)} → R2 ,


 
−y x
F (x, y) = ,
x2 + y 2 x2 + y 2

a) Muestre que si λ : [0, 2π] → R2 , t → λ (t) = (r cos t, r sin t) entonces


Z
F · dλ = 2π
λ
3.3. EL TEOREMA DE GREEN 91

Desarrollo:
2π  
−r sin t r cos t
Z
, · (−r sin t, r cos t) dt
0 r2 r2
Z 2π
= 1dt
0
= 2π
b) Usando Green, si µ : [a, b] → R2 es un camino simple que encierra al origen y tiene
orientación positiva entonces muestre que
Z
F · dµ = 2π
µ

Desarrollo: Como
   
∂ x ∂ −y
=
∂x x2 + y 2 ∂y x2 + y 2
x2 − y 2 x2 − y 2
− = −
(x2 + y 2 )2 (x2 + y 2 )2
(visto en clases) se sigue que
ZZ     
−y
Z
∂ x ∂
F · dr = − dA
λ∪−µ Ω ∂x x2 + y 2 ∂y x2 + y 2
= 0
ası́ Z Z
F · dr + F · dr = 0
λ −µ
esto es Z Z Z
2π = F · dr = − F · dr = F · dr
λ −µ µ
para cualquier circunferencia λ que contenga la traza de µ.
R
c) Calcular la integral λ F · dλ donde λ es la espiral de la figura:
92 CAPÍTULO 3. INTEGRALES DE LINEA

Desarrollo: Cerrar la región y usar la propiedad anterior nos da 6π.

5. Sobre todas las curvas simples cerradas orientadas en el sentido positivo, determinar
aquella sobre la cual el trabajo realizado por
 
1 2 1 3 →− →

F= x y+ y i +xj
4 3
es mayor.
Desarrollo:
Z
W = F · dr
C
ZZ  
1 2 2
= 1 − x − y dA
R 4

esta integral puede ser interpretada como un volumen, esta integral es lo mayor posible
si  
2 1 2 2
R = (x, y) ∈ R : x + y ≤ 1
4
se sigue que C es la elipse
1 2
x + y2 = 1
4

6. Sea f : R2 → R una función de clase C 2 (R2 ). Muestre que si

∂ 2f ∂ 2f
∆f = + 2
∂x2 ∂y

en R2 entonces I
∂f ∂f
dx − dx = 0
C ∂y ∂x
para toda curva simple cerrada C.
Desarrollo: Utilizando el teorema de Green se tiene
I ZZ     
∂f ∂f ∂ ∂f ∂ ∂f
dx − dx = ± − − dA
C ∂y ∂x R ∂x ∂x ∂y ∂y
= 0

7. Muestre que el camino


t3
 
2→
− →

r (t) = t i + −t j
3
con t ∈ R encierra una región del plano y calcule el área encerrada.
Desarrollo: Buscamos las autointersecciones del camino

t2 = u2
3
t u3
−t = −u
3 3
3.3. EL TEOREMA DE GREEN 93

de la primera ecuación se tiene t = u ∨ t = −u, si t = −u se sigue reemplazando en la


segunda
u3 u3
− +u= −u
3 3
se sigue
u3
−u=0
3
√ √
tiene soluciones 3, − 3, 0 entonces
 3  h √ √ i
2→
− t →

r (t) = t i + − t j para t ∈ − 3, 3
3
es una curva cerrada simple.Usando el teorema de Green podemos calcular el área
encerrada por esta (es fácil ver que esta orientada en sentido positivo)
Z
1
A= −ydx + xdy
2 C
entonces

Z 3
  3  
1 t
− t , t2 · 2t, t2 − 1 dt

A = √

2 − 3 3
Z √3   3  
1 t 2 2

= − − t 2t + t t − 1 dt
2 − √3 3
Z √3  
1 4 2
= t + t dt
0 3
8√
= 3
5
8. Determine condiciones sobre b y c para las cuales el el campo vectorial
F = y 2 + 2czx, bxy + cyz, y 2 + cx2


es un campo gradiente y calcular


Z
y 2 + 4zx dx + (2xy + 2yz) dy + y 2 + 2x2 dz
 
C

donde C es parametrizada por


r (t) = sin3 t, cos3 t, t para t ∈ [0, 2π]


Desarrollo: Para que sea un campo gradiente se tiene


∇ × y 2 + 2czx, bxy + cyz, y 2 + cx2 = (0, 0, 0)



(2y − cy, 0, by − 2y) = (0, 0, 0)
entonces
c = 2
b = 2
94 CAPÍTULO 3. INTEGRALES DE LINEA

se sigue que
F = y 2 + 4zx, 2xy + 2yz, y 2 + 2x2


es un campo gradiente, podemos determinar el potencial como


Z 1
y 2 + 4zx, 2xy + 2yz, y 2 + 2x2 · (x, y, z) t2 dt

f (x, y, z) =
0
(y 2 + 4zx) x + (2xy + 2yz) y + (y 2 + 2x2 ) z
= +K
3
= 2zx2 + xy 2 + zy 2 + K

para K constante. Pues bien


Z
y 2 + 4zx dx + (2xy + 2yz) dy + y 2 + 2x2 dz
 
C

sobre C es parametrizada por

r (t) = sin3 t, cos3 t, t para t ∈ [0, 2π]




es

f (r (2π)) − f (r (0))
= f (0, 1, 2π) − f (0, 1, 0)
= 2π
R
9. Considerando la figura adjunta. Suponga que C2 F·dr = 3π donde F (x, y) = (P (x, y) , Q (x, y))
y
∂Q ∂P
− =6
∂x ∂y
para todo (x, y) en la región R encerrada por las circunferencias
R C1 y C2 (orientadas en
sentido positivo). Use el teorema de Green para calcular C1 F·dr.

Desarrollo: Z Z ZZ  
∂Q ∂P
F·dr+ F·dr = − dA
C2 −C1 R ∂x ∂y
3.3. EL TEOREMA DE GREEN 95

entonces
Z ZZ
3π − F·dr= 6 dA
C1 R
= 6 (4π − π)

ası́ Z
F·dr = −15π
C1

10. Calcule la integral Z    


−y x
dx + dy
C 2x + 3y 2
2 2x + 3y 2
2

a lo largo de la curva C orientada en forma positiva formada por los lados del cuadrado
de vértices (1, 1), (−1, 1), (−1, −1) y (1, −1).
 
Desarrollo: Notemos que el campo F (x, y) = 2x2−y , x
+3y 2 2x2 +3y 2
no esta definido en el
interior del rectángulo de donde no es posible aplicar Green directamente, sin embargo

2x2 − 3y 2
 
∂ x
= −
∂x 2x2 + 3y 2 (2x2 + 3y 2 )2
2x2 − 3y 2
 
∂ −y
= −
∂y 2x2 + 3y 2 (2x2 + 3y 2 )2
luego podemos utilizar una curva conveniente para calcular la integral, supongamos
que usamos una pequeña elipse E

2x2 + 3y 2 = r2

orientada en sentido positivo entonces


Z     Z    
−y x −y x
dx + dy = dx + dy
C 2x2 + 3y 2 2x2 + 3y 2 E 2x2 + 3y 2 2x2 + 3y 2
pero si parametrizamos E por
r
x (t) = √ cos t
2
r
y (t) = √ sin t
3
con t ∈ [0, 2π] entonces
Z    
−y x
dx + dy
E 2x2 + 3y 2 2x2 + 3y 2
Z 2π  − √r sin t     √r
cos t
 
3 d r 2 d r
= √ cos t + √ sin t dt
0 r2 dt 2 r2 dt 3
Z 2π √
1
= 6dt
0 6

6
= π
3
96 CAPÍTULO 3. INTEGRALES DE LINEA

11. Considere el campo vectorial F : R3 → R3 definido por


 
yz xz xy
F (x, y, z) = , ,
1 + x2 y 2 z 2 1 + x2 y 2 z 2 1 + x2 y 2 z 2

calcular Z
yzdx xzdy xydz
2 2 2
+ ,
C 1+x y z 1 + x y z 1 + x2 y 2 z 2
2 2 2

donde:

a) C es el segmento rectilineo que une (0, 0, 0) con (1, 1, 1)


b) C es la intersección de x2 + y 2 + (z − 1)2 = 1 con x2 + y 2 + z 2 = 1

Desarrollo: El campo esta definido en todo R3 luego para verificar que es conservativo
se ha de cumplir
∇ × F = (0, 0, 0)
en efecto  
yz xz xy
∇× , , = (0, 0, 0)
1 + x y z 1 + x y z 1 + x2 y 2 z 2
2 2 2 2 2 2

integrando tenemos la función potencial

f (x, y, z) = arctan (xyz)


π
entonces la respuesta de a) es 4
y la respuesta de b) es cero (curva cerrada).
4 I NTEGRALES DE SUPERFICIE

Parametrizaciones

En este capı́tulo abordaremos el estudio de ciertos objetos matemáticos en el espacio R3


conocidos como superficies. Estos objetos los hemos estudiado desde mat022 (superficies
de revolución), en mat023 (gráficas de funciones de dos variables, superficies de nivel). De
manera informal, una superficie en R3 se puede pensar como un objeto bidimensional que
vive en R3 .

Definición 4.1.1. Diremos que un conjunto S ⊆ R3 es una superficie simple si existe D ⊆ R2


una región elemental y Φ : D ⊆ R2 → R3 , (u, v) → Φ (u, v) = (f1 (u, v) , f2 (u, v) , f3 (u, v)) una
función inyectiva de clase C 1 de modo que kΦu × Φv k = 6 0 en D tal que Φ (D) = S. En este
caso diremos que Φ es una parametrización de la superficie S.

Ejemplo 4.1.1. Si f : D ⊆ R2 → R es una función de clase C 1 entonces su gráfica

Graf (f ) = (x, y, z) ∈ R3 : z = f (x, y) con (x, y) ∈ D




es una superficie simple, en efecto, la función

Φ : D ⊆ R2 → R3
(u, v) → Φ (u, v) = (u, v, f (u, v))

es una parametrización. Notamos que

Φu = (1, 0, fu )
Φv = (0, 1, fv )

entonces

Φu × Φv = (1, 0, fu ) × (0, 1, fv )
= (−fu , −fv , 1)

luego
p
kΦu × Φv k = fu2 + fv2 + 1 6= 0

97
98 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

En la figura se considera la región


 
2 1 2 1 2
D = (x, y) ∈ R : −2 ≤ x ≤ 2, x − 3 ≤ y ≤ 1 − x
2 2

y la función f : D → R, (x, y) → f (x, y) = x2 + y 2 .

Esta definición deja fuera algunas parametrizaciones familiares para nosotros como es el caso
de una esfera, si queremos ver la ecuación de la esfera

x2 + y 2 + z 2 = 4

en coordenadas esféricas es
ρ=2
se sigue que

x = 2 cos θ sin φ
y = 2 sin θ sin φ
z = 2 cos φ

se obtiene la función
Φ : [0, 2π] × [0, π] ⊆ R2 → R3
(θ, φ) → Φ (θ, φ) = (2 cos θ sin φ, 2 sin θ sin φ, 2 cos φ)

pero esta función no es inyectiva, por ejemplo


 π  π
Φ 0, = Φ 2π,
4 4
vamos a extender un poco el concepto de superficie simple:

Definición 4.1.2. Sean D1 , D2 , . . . , Dn regiones elementales del plano con interiores disjuntos,
◦ ◦
esto es Di ∩ Dj = ∅ para i 6= j. Sean D = D1 ∪ D2 ∪ · · · ∪ Dn , F = ∂D1 ∪ ∂D2 ∪ · · · ∪ ∂Dn y
◦ ◦ ◦
U = D1 ∪ D2 ∪ . . . Dn y Φ : D ⊆ R2 → R3 una función de clase C 1 tal que:

1. Φ : U ⊆ R2 → R3 es inyectiva
4.1. PARAMETRIZACIONES 99

2. kΦu × Φv k =
6 0 en U .

3. Φ (U ) ∩ Φ (F ) = ∅

Entonces S = Φ (D) es llamada superficie y Φ es llamada parametrización de la superficie.

Ejemplo 4.1.2. Considere la figura:

Las 6 regiones mostradas son elementales y sus interiores son disjuntos a pares. Cada una de
las regiones será llevada a una cara del cubo (note que cada cara del cubo es una superficie
simple) Las parametrizaciones son:

D1 = [0, 1] × [0, 1] Φ1 : D1 → R3 Φ1 (u, v) = (u, v, 0)


D2 = [1, 2] × [0, 1] Φ2 : D2 → R3 Φ2 (u, v) = (1, u − 1, v)
D3 = [−1, 0] × [0, 1] Φ3 : D3 → R3 Φ3 (u, v) = (0, u + 1, v)
D4 = [0, 1] × [−1, 0] Φ4 : D4 → R3 Φ4 (u, v) = (u, 0, v + 1)
D5 = [0, 1] × [1, 2] Φ5 : D5 → R3 Φ5 (u, v) = (u, 1, v − 1)
D6 = [0, 1] × [2, 3] Φ6 : D6 → R3 Φ6 (u, v) = (u, v − 2, 1)

Ejemplo 4.1.3. Una esfera es una superficie. En efecto, la esfera

(x − a)2 + (y − b)2 + (z − c)2 = R2

puede ser parametrizada por

Φ : [0, 2π] × [0, π] ⊆ R2 → R3


(θ, φ) → Φ (θ, φ) = (a + R cos θ sin φ, b + R sin θ sin φ, c + R cos φ)

Ejemplo 4.1.4. La función

Φ : [0, 2π] × [0, h] ⊆ R2 → R3


(θ, r) → Φ (θ, φ) = (r cos θ, r sin θ, r)

es una parametrizaci
p ón del semicono con vértice en el origen y altura h, la gráfica de la
2 2
función z = x + y para 0 ≤ z ≤ h
100 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

Ejemplo 4.1.5. El cilindro es una superficie, por ejemplo:


Φ : [0, 2π] × [0, h] ⊆ R2 → R3
(θ, r) → Φ (θ, φ) = (cos θ, sin θ, r)
es la parametrización de un cilindro.
Ejemplo 4.1.6 (La banda de Möbius). La superficie parametrizada por
Φ : [0, 2π] × − 21 , 12 ⊆ R2 →
 
R3
(u, v) → Φ (u, v)
  u    u   u 
Φ (u, v) = 1 − 0,5v sin cos u, 1 − 0,5v sin sin u, 0,5v cos
2 2 2
es llamada banda de Möbius es una superficie de una sola cara.

Ejemplo 4.1.7. Dados dos caminos en R3 es posible formar una superficie uniendo los puntos
de su traza mediante una linea recta, esto es: Si
f : [a, b] → R3
t → f (t) = (f1 (t) , f2 (t) , f3 (t))
y
g : [a, b] → R3
t → g (t) = (g1 (t) , g2 (t) , g3 (t))
entonces
Φ (t, u) = (1 − u) f (t) + ug (t)
definida en [a, b] × [0, 1] es una parametrización, por ejemplo, si
f : [−1, 1] → R3
t → f (t) = t, t2 , t3


y
g : [−1, 1] → R3
t → g (t) = t, t2 , 0


entonces
Φ (t, u) = t, t2 , (1 − u) t3

4.1. PARAMETRIZACIONES 101

Supongamos que Φ : D ⊆ R2 → R3 es una parametrización de la superficie S = Φ (D)


entonces las funciones
u → Φ (u, v0 )
v → Φ (u0 , v)
son caminos cuya traza esta contenida en la superficie por tanto, los vectores Φu (u, v0 ) y
Φv (u0 , v) son tangentes a la superficie, se sigue que
T (u0 , v0 ) =Φu (u0 , v0 ) × Φv (u0 , v0 )
es perpendicular a la superficie en el punto Φ (u0 , v0 ).

Ejercicio 4.1.1. Sea f : [a, b] → R3 un camino plano y l : P0 + tv una recta en R3 coplanar


que no corta la traza de f entonces podemos generar una superficie rotando los puntos del
camino entorno a la recta.

Ejemplo 4.1.8. Parametrizar el toro que se obtiene al rotar la circunferencia


z 2 + (y − 3)2 = 22
entorno al eje z y calcular el área superficial.
Desarrollo: Si parametrizamos esta circunferencia por

z = 2 cos t
c (t) = con t ∈ [0, 2π]
y = 3 + 2 sin t
entonces al tomar un punto y girar entorno al eje z se ve una circunferencia en el plano xy de
radio 3 + 2 sin t entonces
x = (3 + 2 sin t) cos θ
y = (3 + 2 sin t) sin θ
con θ ∈ [0, 2π] se sigue
Φ (θ, t) = ((3 + 2 sin t) cos θ, (3 + 2 sin t) sin θ, 2 cos t)
definida en el cuadrado [0, 2π] × [0, 2π].
102 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

Ejemplo 4.1.9 (Rotación entorno a los ejes). Considere la gráfica de la función y = f (x)
para x ∈ [a, b] donde f ≥ 0 , si rotamos la gráfica entorno al eje x se obtiene la superficie
parametrizada por
Φ (t, u) = (t, f (t) cos u, f (t) sin u)
para t ∈ [a, b] y u ∈ [0, 2π].
4.1. PARAMETRIZACIONES 103
104 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

Área de superficies

Suponga que deseamos calcular el área de una superficie parametrizada por la función
Φ : D → R3 , (u, v) → Φ (u.v) entonces toda partición del dominio de Φ induce una partición
de la superficie, llamemos Sij al pedazo de superficie determinado como la imagen del
rectángulo [ui , ui + ∆u] × [vj , vj + ∆v], es decir
Φ ([ui , ui + ∆u] × [vj , vj + ∆v]) = Sij
note que Sij se puede aproximar con el paralelogramo de vértices
Φ (ui , vj )
Φ (ui + ∆u, vj )
Φ (ui , vj + ∆v)
Φ (ui + ∆u, vj + ∆v)
el área de este es dado por
k(Φ (ui + ∆u, vj ) − Φ (ui , vj )) × (Φ (ui , vj + ∆v) − Φ (ui , vj ))k
= k(Φu (ui + ξ1 ∆u, vj ) ∆u) × (Φv (ui , vj + ξ2 ∆v) ∆v)k
= kΦu (ui + ξ1 ∆u, vj ) × Φv (ui , vj + ξ2 ∆v)k ∆u∆v
≈ Φu u∗i , vj∗ × Φv u∗i , vj∗ ∆u∆v
 

ası́ X
Φu u∗i , vj∗ × Φv u∗i , vj∗ ∆u∆v
 
A (S) ≈
i,j

si la norma de la partición tiende a cero, esta suma tiende a


ZZ
kΦu × Φv k d (u, v)
D

Definición 4.2.1. Sea S ⊆ R3 una superficie parametrizada por Φ : D ⊆ R2 → R3 de clase C 1


entonces el área de S es dada por
ZZ
A (S) = kΦu (u, v) × Φv (u, v)k d (u, v)
D
4.2. ÁREA DE SUPERFICIES 105

Observación 4.2.1. El área de la superficie es independiente de la parametrización.


Ejemplo 4.2.1. Calcular el área del cilindro

S = (x, y, z) ∈ R3 : x2 + y 2 = 1, −1 ≤ z ≤ 1


Desarrollo: La superficie es parametrizada por

Φ : [0, 2π] × [−1, 1] ⊆ R2 → R3


(θ, v) → Φ (θ, v) = (cos θ, sin θ, v)

luego

Φθ = (− sin θ, cos θ, 0)
Φv = (0, 0, 1)

entonces

Φθ × Φv = (− sin θ, cos θ, 0) × (0, 0, 1)


= (cos θ, sin θ, 0)

se sigue
ZZ
A (S) = k(cos θ, sin θ, 0)k d (θ, v)
[0,2π]×[−1,1]
ZZ
= d (θ, v)
[0,2π]×[−1,1]
= (2π) (2)
= 4π
p
Ejemplo 4.2.2. Halle el área de la parte del cono z = x2 + y 2 que se encuentra al interior
del cilindro x2 + y 2 = 2x

Desarrollo: Usamos la parametrización estándar de la gráfica de una función


 √ 
2
Φ (u, v) = u, v, u + v 2

pero el dominio de definición será lo que esta dentro del cono, es decir,

D = (u.v) ∈ R2 : (u − 1)2 + v 2 ≤ 1

106 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

se sigue que
 
u
Φu = 1, 0, √
u2 + v 2
 
v
Φv = 0, 1, √
u2 + v 2
asú

Φu × Φv
   
u v
= 1, 0, √ × 0, 1, √
u2 + v 2 u2 + v 2
 
u v
= −√ , −√ ,1
2
u +v 2 u + v2
2

entonces
s 2  2
u v
kΦu × Φv k = −√ + −√ + 12
u2 + v 2 2
u +v 2
r
u2 v2
= + + 12
u2 + v 2 u2 + v 2

= 2

ası́
ZZ
kΦu × Φv k d (u, v)
D
ZZ √
= 2d (u, v)
(u−1)2 +v 2 ≤1

esta integral se puede hacer con polares



A (S) = 2π

Ejemplo 4.2.3. Calcular el área de la superficie


2
z 3 = x2 + y 2 + z 2
4.2. ÁREA DE SUPERFICIES 107

Desarrollo: Vamos a parametrizar esta superficie usando esféricas


x = ρ cos θ sin φ
y = ρ sin θ sin φ
z = ρ cos φ
note que hay simetrı́a respecto a x e y y la variable z es positiva entonces θ ∈ [0, 2π] y
φ ∈ 0, π2 la ecuación nos queda
(ρ cos φ)3 = ρ4
ası́
ρ = cos3 φ
los puntos que cumplen con la ecuación satisfacen
x = cos3 φ cos θ sin φ
y = cos3 φ sin θ sin φ
z = cos4 φ
ası́
h πi
Φ :[0, 2π] × 0, → R3
2
(θ, φ) → Φ (θ, φ) = cos3 φ cos θ sin φ, cos3 φ sin θ sin φ, cos4 φ


es una parametrización de la superficie se sigue


Z 2π Z π/2
A (S) = kΦθ × Φφ k d (θ, φ)
0 0

Ejemplo 4.2.4. Calcular el área de la superficie x2 + y 2 = 4 acotada por los planos z = 0 y


z = y.
Desarrollo: Parametrizamos el cilindro
(2 cos θ, 2 sin θ, u)
pero u no es libre, se mueve entre z = 0 y z = y = 2 sin θ ası́
Φ : D ⊆ R2 → R3
(θ, u) → Φ (θ, u) = (2 cos θ, 2 sin θ, u)
donde
D = {(θ, u) : 0 ≤ θ ≤ π, 0 ≤ u ≤ 2 sin θ}
entonces
ZZ
A (S) = 2 kΦθ × Φu k d (θ, u)
D
Z 2π Z 2 sin θ
= 2 k(−2 sin θ, 2 cos θ, 1) × (0, 0, 1)k dudθ
0 0
Z π Z 2 sin θ
= 4 dudθ
0 0
= 16
108 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

Integrales de superficie

Al igual que en el caso de las integrales de linea tenemos dos tipos de integrales de superficie,
la definición de tales tipos de integrales esta motivadas por problemas fı́sicos, en el caso de
una función escalar la integral esta asociada al concepto de masa de una lámina delgada de
la cual se conoce su densidad y el el caso de una función vectorial la integral representa el
flujo a través de la superficie.

Integrales de superficie de campos escalares

Definición 4.3.1. Sea S ⊆ R3 una superficie parametrizada por la función Φ : D ⊆ R2 → R3


de clase C 1 . Sea f : U ⊆ R3 → R una función continua tal que S ⊆ U . Se define la integral de
f sobre la superficie S denotada por ZZ
f dS
S
como ZZ ZZ
f dS ≡ f (Φ (u, v)) kΦu (u, v) × Φv (u, v)k d (u, v)
S D

Observación 4.3.1. Si f : U ⊆ R3 → R es la función densidad, esta integral representa la


masa de la superficie.

Ejemplo 4.3.1. Suponga que f : R3 → R definida por f (x, y, z) = x + y + z es la densidad de


una placa de la forma z = x2 + y 2 para x2 + y 2 ≤ 1.
Desarrollo: Parametrizamos por Φ (u, v) = (u, v, u2 + v 2 ) definida en D = {(u, v) ∈ R2 : u2 + v 2 ≤ 1}
entonces
ZZ ZZ
f dS = f (Φ (u, v)) kΦu (u, v) × Φv (u, v)k d (u, v)
S Z ZD
u + v + u2 + v 2 k(1, 0, 2u) × (0, 1, 2v)k d (u, v)

=
Z ZD
u + v + u2 + v 2 k(−2u, −2v, 1)k d (u, v)

=
Z ZD
p
= u + v + u2 + v 2 1 + 4 (u2 + v 2 )d (u, v)
D

esta integral la podemos calcular en polares


ZZ
p
u + v + u2 + v 2 1 + 4 (u2 + v 2 )d (u, v)
D
√
Z 2π Z 1
= r cos θ + r sin θ + r2 1 + 4r2 rdrdθ
0
Z 10 √
= 2π r3 1 + 4r2 dr
0
5√

1
= 2π 5+
24 120
4.3. INTEGRALES DE SUPERFICIE 109

Ejemplo 4.3.2. Sea a ∈ R+ . Calcular


ZZ
f dS
S
q
donde f (x, y, z) = 1/ x2 + y 2 + (z − a)2 sobre S = {(x, y, z) ∈ R3 : x2 + y 2 + z 2 = 1}
Desarrollo: Parametrizamos la superficie por Φ : [0, 2π] × [0, π] → R3

Φ (θ, φ) = (cos θ sin φ, sin θ sin φ, cos φ)

se sigue

Φθ = (− sin θ sin φ, cos θ sin φ, 0)


Φφ = (cos θ cos φ, cos φ sin θ, − sin φ)

entonces

Φθ × Φφ = (− sin θ sin φ, cos θ sin φ, 0) × (cos θ cos φ, cos φ sin θ, − sin φ)


= − cos θ sin2 φ, − sin θ sin2 φ, − sin φ cos φ


= − sin φ (cos θ sin φ, sin θ sin φ, cos φ)

se sigue
kΦθ × Φφ k = sin φ
ası́
ZZ ZZ
f dS = f (Φ (θ, φ)) sin φ d (θ, φ)
S [0,2π]×[0,π]
ZZ
sin φ d (θ, φ)
= p
[0,2π]×[0,π] 1 + a2 − 2a cos φ
Z π
sin φdφ
= 2π p
0 1 + a2 − 2a cos φ
Z 1
du
= 2π √
−1 1 + a2 − 2au
1/2 1

2π 2
= − 1 + a − 2au
a
−1
2π 1/2 2π 1/2
= − 1 + a2 − 2a +− 1 + a2 + 2a
aq a
π
q
= 2 (a − 1) − (a + 1)2
2
a

Observación 4.3.2. La integral de superficie de funciones escalares tiene las propiedades


usuales de la integral de dos variables, es decir, es lineal, positiva y aditiva y una propiedad
que comparte con las integrales de linea de funciones escalares es la independencia de la
parametrización de la superficie.
110 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

Integrales de superficie de campos vectoriales

Antes de definir este tipo de integrales es necesario introducir el concepto de superficie


orientable, de una manera algo informal, una superficie orientable es una superficie que tiene
dos caras.

Definición 4.3.2. Diremos que una superficie es orientable si es posible definir una campo
de vectores unitarios continuo sobre la superficie, esto es, una función continua N : S → R3 ,
x → N (x) donde N (x) es un vector unitario perpendicular a la superficie.

Ejemplo 4.3.3. Las gráficas de funciones f : D ⊆ R2 → R de clase C 1 son superficie


orientables, en efecto, los campos
(fx , fy , −1)
N1 (x, y, z) = q
(fx )2 + (fy )2 + 1
(−fx , −fy , 1)
N2 (x, y, z) = q
(fx )2 + (fy )2 + 1

son de vectores normale (uno apunta hacia arriba y el otro hacia abajo distinguiendo las dos
caras)
Ejemplo 4.3.4. Las superficies de nivel

H (x, y, z) = c

donde H ∈ C 1 y ∇H 6= 0 son orientables, un campo de vectores normales esta definido por


∇H (x, y, z)
N (x, y, z) =
k∇H (x, y, z)k
otro es
−∇H (x, y, z)
N2 (x, y, z) =
k∇H (x, y, z)k
Ejemplo 4.3.5. En el caso de superficies parametrizadas podemos definir
Φu × Φv
N (u, v) =
kΦu × Φv k
siempre que kΦu × Φv k =
6 0.
Ejemplo 4.3.6. La cinta de mobiüs es una superficie no orientable
4.3. INTEGRALES DE SUPERFICIE 111

Definición 4.3.3. Sea F : U ⊆ R3 → R3 un campo vectorial de clase C 1 , sea S ⊆ U una


superficie orientable con campo de vectores normales N entonces la integral del campo F
sobre la superficie S o el flujo de F a traves de S en la dirección N es dado por
ZZ ZZ
F · dS = (F · N ) dS
S S

(la segunda integral es una integral de superficie de campo esclar)

Observación 4.3.3. Si S esta parametrizada por Φ : D ⊆ R2 → R3 donde Φu × Φv apunta en


la dirección de N entonces
ZZ ZZ
F · dS = (F · N ) dS
S S
 
Φu × Φv
ZZ
= F (Φ (u, v)) · kΦu × Φv k d (u, v)
D kΦu × Φv k
ZZ
= (F (Φ (u, v)) · Φu × Φv ) d (u, v)
D

Ejemplo 4.3.7. Sea S la parte del paraboloide z = 4 − (x2 + y 2 ) sobre el plano xy orientada
hacia arriba. Hallar el flujo del campo F (x, y, z) = (x, y, z) a través de S.
Desarrollo:
ZZ ZZ
(2x, 2y, 1)
F · dS = (x, y, z) · p dS
S S 4 (x2 + y 2 ) + 1
(2x2 + 2y 2 + z)
ZZ
= p dS
S 4 (x2 + y 2 ) + 1
usamos la parametrización estándar Φ : D → R3 donde
D = (u, v) ∈ R2 : u2 + v 2 ≤ 4


y Φ (u, v) = (u, v, 4 − u2 − v 2 ) ası́


(2x2 + 2y 2 + z) 2u2 + 2v 2 + 4 − u2 − v 2 p
ZZ ZZ
p dS = p 4 (u2 + v 2 ) + 1d (u, v)
2 2
4 (x + y ) + 1 2 2
4 (u + v ) + 1
S D
ZZ
u2 + v 2 + 4 d (u, v)

=
D
Z 2π Z 2
r2 + 4 rdrdθ

=
0 0
= 24π
notar que si tomamos el normal apuntando hacia abajo
(−2x, −2y, −1)
ZZ ZZ
F · dS = (x, y, z) · p dS
S S 4 (x2 + y 2 ) + 1
−2x2 − 2y 2 − z
ZZ
= p dS
S 4 (x2 + y 2 ) + 1
2x2 + 2y 2 + z
ZZ
= − p dS
S 4 (x2 + y 2 ) + 1
= −24π
112 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

Observación 4.3.4. El cambio en la orientación cambia el signo de la integral.

Ejemplo 4.3.8. Sean a, b, c > 0. Sea K el elipsoide

x2 y 2 z 2
+ 2 + 2 =1
a2 b c
ZZ
con normal exterior calcular F · dS donde F (x, y, z) = (x, y, z).
K
Desarrollo: Podemos usar como normal exterior
2x 2y 2z

a
, b, c x y z 
N (x, y, z) = q = , ,
4x2
+ 4y 2
+ 4z 2 a b c
a2 b2 c2

ası́
x2 y 2 z 2
ZZ ZZ  
F · dS = + + dS
K K a b c
ahora usamos una parametrización cualquiera de la superficie y por simetria podemos
calcular en el primer octante ZZ  2
y2 z2

x
+ + dS
K a b c
Ejemplo 4.3.9. Calcular el flujo ZZ
F · dS
K

donde
F (x, y, z) = x2 y, zy 2 , zx2


y K es la parte del plano x + y + z = 1 en el primer octante orientada hacia arriba.


Desarrollo:
ZZ ZZ
x2 y, zy 2 , zx2 · (1, 1, 1) dS

F · dS =
K Z ZK
x2 y + zy 2 + zx2 dS

=
K

ahora podemos parametrizar K con la parametrización estandar Φ (u, v) = (u, v, 1 − u − v)


definida en
D = (u, v) ∈ R2 : 0 ≤ u ≤ 1, 0 ≤ v ≤ 1 − u


ası́
ZZ
x2 y + zy 2 + zx2 dS

K
1 Z 1−u √
Z
= u2 v + (1 − u − v) v 2 + (1 − u − v) u2 3dvdu
0 0
1√
= 3
20
4.3. INTEGRALES DE SUPERFICIE 113

Proposición 4.3.1. Sean F, G : U ⊆ R3 → R3 campos vectoriales continuos, K una superficie


orientable contenida en U , α, β ∈ R:
ZZ ZZ ZZ
1. (αF + βG) · dS = α F · dS + β G · dS
K K K

2. El cambio en la orientación de la superficie cambia el signo de la integral.


3. Si K = K1 ∪ K2 con K1 ∩ K2 una curva continua entonces
ZZ ZZ ZZ
F · dS = F · dS + F · dS
K K1 K2

(la orientación en K1 y K2 es la de K)

Ejercicios resueltos

1. Calcule el área del pedazo de cilindro x2 + y 2 = 8y que se encuentra dentro de la esfera

x2 + y 2 + z 2 = 64

Desarrollo: El cilindro en cilı́ndricas queda r = 8 sin θ parametrizado es

Φ (θ, z) = (8 sin θ cos θ, 8 sin θ sin θ, z)


= (4 sin 2θ, 4 (1 − cos 2θ) , z)

para estar dentro de la esfera

0 ≤ θ≤π
0 ≤ z ≤ (intersección de cilindro y esfera en z)

x2 + y 2 + z 2 = 64
x2 + y 2 = 8y

de donde
p
z = 64 − 8y
p
= 64 − 64 sin2 θ
= 8 cos θ

(por arriba y abajo, es decir, x2) se sigue


Z π Z 8 cos θ
A=2 kΦθ × Φz k dzdθ
0 0

donde

Φθ = (8 cos 2θ, 8 sin 2θ, 0)


Φz = (0, 0, 1)
114 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

entonces

Φθ × Φz = (8 cos 2θ, 8 sin 2θ, 0) × (0, 0, 1)


= (8 sin 2θ, −8 cos 2θ, 0)

se sigue
kΦθ × Φz k = 8
ası́
Z π/2 Z 8 cos θ
A = 4 8dzdθ
0 0
= 256

2. Calcular ZZ
xydS
S

donde S es la parte del cilindro x2 + z 2 = 1 ubicada en el primer octante acotada por


los planos y = 0 e y = x.
Desarrollo: Usamos como parametrización la función
 √ 
Φ (x, y) = x, y, 1 − x 2

para x ∈ [0, 1] y 0 ≤ y ≤ x se sigue


ZZ Z 1 Z x
xydS = xy kΦx × Φy k dydx
S 0 0

pero  
x
Φx × Φy = − √ , 0, 1
1 − x2
de donde
r
x2
kΦx × Φy k = +1
1 − x2
1
= √
1 − x2
luego
ZZ Z 1 Z x
xy
xydS = √ dydx
S 0 0 1 − x2
1
=
3
RR
3. Calcular S xy 2 zdS donde S es el manto de cilindro y 2 + z 2 = 16 que esta entre los
planos x = 4 − z y x = 8.
Desarrollo: Usamos la parametrización

Φ (x, θ) = (x, 4 cos θ, 4 sin θ)


4.3. INTEGRALES DE SUPERFICIE 115

para θ ∈ [−π, π] y 4 − 4 sin θ ≤ x ≤ 8 entonces


Φx × Φθ = (1, 0, 0) × (0, −4 sin θ, 4 cos θ)
= (0, −4 cos θ, −4 sin θ)
ası́
kΦx × Φθ k = 4
de donde
ZZ Z π Z 8
2
xy zdS = 4x (4 cos θ)2 (4 sin θ) dxdθ
S −π 4−4 sin θ
= 1024π

4. Encontrar la coordenada y del centro de masa de la lámina que tiene forma del cono
y 2 = x2 + z 2 entre los planos y = 1 e y = 4 si su densidad es proporcional a la distancia
al eje y.
Desarrollo: La función de densidad es

δ (x, y, z) = x2 + z 2
y la parametrización de la superficie es
 √ 
Φ (x, z) = x, x2 + z 2 , z

con dominio el anillo


1 ≤ x2 + z 2 ≤ 16
el vector normal de la parametrización es
 
x z
Φx × Φz = √ , −1, √
x2 + z 2 x2 + z 2
luego la masa es
ZZ √ √
m = x2 + z 2 2d (x, z)
1≤x2 +z 2 ≤16
Z π/2 Z 4 √
= 4 2r2 drdθ
0 1

= 42 2π
y
ZZ ZZ √
2 x2 + z 2 d (x, z)

yδ (x, y, z) dS =
S 1≤x2 +z 2 ≤16
Z π/2 Z 4 √
= 4 2r3 drdθ
0 1
255 √
= 2π
2
se sigue √
255
2
2π 85
y= √ =
42 2π 28
116 CAPÍTULO 4. INTEGRALES DE SUPERFICIE

5. Sea F (x, y, z) = (xy, yz, z 2 ) y S el manto de cilindro x2 + y 2 = 9 que esta entre los planos
z = x + 3 y z = 6. Calcular

− →
ZZ
F ·− n dS
S

Desarrollo: La parametrización es

Φ (t, z) = (3 cos t, 3 sin t, z)

donde

−π ≤ t ≤ π
3 + 3 cos t ≤ z ≤ 6

entonces

Φt × Φz = (−3 sin t, 3 cos t, 0) × (0, 0, 1)


= (3 cos t, 3 sin t, 0)

se sigue


− →
ZZ
F ·−n dS
S
Z πZ 6
9 cos t sin t, 3z sin t, z 2 · (3 cos t, 3 sin t, 0) dzdt

=
−π 3+3 cos t
Z πZ 6
9 cos2 t sin t + 9z sin2 t dzdt

=
−π 3+3 cos t
891
= π
8
5 T EOREMAS DE LA DIVERGENCIA Y DE S TOKES

El teorema de Green nos permite relacionar las integrales de linea de campos en R2 con la
integral de linea de su frontera, en R3 tenemos dos extensiones de este resultado, cuando la
superficie no es cerrada, relacionaremos la integral de superficie con la integral en el borde y
si la superficie es cerrada la miraremos como un borde y la relacionaremos con el volumen
encerrado por esta.

Rotacional y divergencia

En esta sección introducimos dos maneras de medir variaciones de un campo vectorial, estas
dos cantidades juegan un papel importante en la teorı́a de fluidos, conducción del calor y
electromagnetismo.

Definición 5.1.1. Sea F : U ⊆ R3 → R3 un campo vectorial de clase C 1 , se definen:

1. El campo rotacional de F como rot(F ) = ∇ × F


2. La divergencia de F como el campo escalar div(F ) = ∇ · F

La divergencia de F mide la tasa de cambio por unidad de área o volumen en la cual el fluido
se aleja o acumula en un punto P , por ejemplo:

En la figura se muestra el campo F (x, y) = (x, y), el la vecindad del punto P lo que entra
tiene menor longitud de lo que sale, esto nos dice que sale mas de lo que entra luego la
divergencia es positiva
div (F ) = ∇ · F = 1 + 1 = 2
En esta segunda figura

117
118 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

se muestra el campo F (x, y) = (y, 0), en este caso uno ve que lo que entra en la vecindad es
lo mismo que sale luego la divergencia deberı́a ser cero div(F ) = 0.

En esta figura

1

se muestra el campo F (x, y) = x+1 , 0 se ve que lo que entra es mayor a lo que sale luego
tenemos divergencia negativa, en efecto, en este caso
−1
div (F ) =
(x + 1)2

El rotacional mide la tendencia del fluido a hacer rotar una rueda de paletas sobre su eje
vertical. Por ejemplo, en la figura

tenemos el campo F (x, y, z) = (y, 0, 0) al insertar una rueda de paletas

es natural pensar que esta rotarı́a en dirección de las manecillas del reloj

∇ × (y, 0, 0) = (0, 0, −1)


5.2. TEOREMA DE LA DIVERGENCIA 119

este vector apunta hacia abajo de acuerdo a la regla de la mano derecha.

En la figura

tenemos el campo F (x, y, z) = (−y, x, 0) en este caso la rueda gira el dirección contraria a las
manecillas del reloj
∇ × (−y, x, 0) = (0, 0, 2)
este vector apunta hacia arriba de acuerdo a la regla de la mano derecha.
En la figura

del campo F (x, y, z) = (x, y, 0) por simetrı́a la rueda no gira


∇ × (x, y, 0) = (0, 0, 0)

Teorema de la divergencia

Sea T una región simple cerrada sólida y acotada de R3 cuya frontera es la superficie suave por
tramos S, sea N el campo de vectores normales exteriores a la superficie S, Si F = (P, Q, R)
es un campo vectorial de clase C 1 definido en un abierto U donde T ∪ S ⊆ U entonces
ZZ ZZ ZZZ
F · dS = F·N dS= div (F) dV
S S T
120 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

RR
Ejemplo 5.2.1. Calcular S F·N dS donde F (x, y, z) = (x + sin z, 2y + cos x, 3z + sinh y) si S
es la esfera unitaria x2 + y 2 + z 2 = 1 orientada exteriormente.
ZZ ZZZ
F·N dS = div (F) dV
S ZZZ T

= (1 + 2 + 3) dV
T
= 6V (esfera)
 

= 6
3
= 8π
Ejemplo 5.2.2. Sea T el sólido limitado por x2 + y 2 = 4 y los planos z = 0, z = 3 y sea S la
superficie frontera deT calcular el flujo saliente del campo vectorial
F (x, y, z) = xy 2 , yz 2 , zx2


sobre S.
ZZ ZZZ
F · dS = div (F) dV
S Z Z ZT
x2 + y 2 + z 2 dV

=
Z 2π TZ 2 Z 3
r2 + z 2 rdzdrdθ

=
0 0 0
= 60π
Ejemplo 5.2.3. Sea T la región acotada por el cilindro z =1 − y 2 y los planos z= 0, x = 0 y
3
x + z = 2. Sea S la superficie frontera de T , si F (x, y, z) = xy 2 , y3 − cos xz, xey calcular
ZZ
F · dS
S

donde N es la normal exterior a S.


Desarrollo: div(F ) = (y 2 + y 2 + 0) = 2y 2 se sigue
ZZ ZZZ
F · dS = div (F) dV
S ZZZ T

= 2y 2 dV
T
es conveniente mirar T como
−1 ≤ y ≤ 1
0 ≤ z ≤ 1 − y2
0 ≤ x≤2−z
ası́
ZZ Z 1 Z 1−y 2 Z 2−z
F · dS = 2y 2 dxdzdy
S −1 0 0
32
=
35
5.3. TEOREMA DE STOKES 121

Teorema de Stokes

Sea S una superficie orientable no cerrada y suave, supongamos que su frontera es la curva
simple cerrada C, si F = (P, Q, R) es un campo vectorial definido en un abierto que contiene
a S y C entonces Z ZZ
F · dr = (∇ × F) · dS
C S
la orientación de la curva y de la superficie siguen la regla de la mano derecha.

Ejemplo 5.3.1. Sea F (x, y, z) = (3z, 2x, y 2 ) un campo definido en R3 , S el paraboloide z =


4 − x2 − y 2 para z ≥ 0 y C es la frontera de S orientada en forma positiva, calcular
Z
F · dr
C

Por el teorema de Stokes Z ZZ


F · dr = rot (F) · dS
C S
luego
rot (F ) = ∇ × 3z, 2x, y 2


= (2y, 3, 2)
como la orientación es positiva, el normal apunta hacia arriba z − 4 + x2 + y 2 = 0
(2x, 2y, 1)
N=p
4 (x2 + y 2 ) + 1
ası́
Z ZZ
(2x, 2y, 1)
F · dr = (2y, 3, 2) · p dS
C S 4 (x2 + y 2 ) + 1
ZZ
4xy + 6y + 2
= p dS
S 4 (x2 + y 2 ) + 1
122 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

parametrizamos con la usual


ZZ
(4xy + 6y + 2) dA
x2 +y 2 ≤4
Z 2π Z 2
4r2 cos θ sin θ + 6r sin θ + 2 rdrdθ

=
Z0 2π 0

= (8 sin 2θ + 16 sin θ + 4) dθ
0
= 8π
por otro lado
Z Z 2π
0, 4 cos t, 4 sin2 t · (−2 sin t, 2 cos t, 0) dt

F · dr =
C
Z0 2π
= 8 cos2 tdt
0
= 8π
Ejemplo 5.3.2. Calcular Z
F · dr
C
donde F (x, y, z) = (cos z, x2 , 2y) donde C es la curva intersección del cilindro x2 + y 2 = 1 con
el plano x + z = 2 orientado en sentido positivo.
Desarrollo: Veremos la curva C como borde de la superficie en el plano , por el teorema de
Stokes se sigue
Z ZZ
F · dr = (∇ × F) ·dS
C Z ZS
∇ × cos z, x2 , 2y ·dS

=
Z ZS
= (2, − sin z, 2x) ·dS
S

el normal a la superficie es  
1 1
N= √ , 0, √
2 2
se sigue Z ZZ  
2 + 2x
F · dr = √ dS
C S 2
usamos parametrización usual
Φ (u, v) = (u, v, 2 − u)
definida en u2 + v 2 ≤ 1 entonces
Z ZZ
F · dr = (2 + 2u) dudv
C u2 +v 2 ≤1
Z 2π Z 1
= (2 + 2r cos θ) rdrdθ
0 0
= 2π
5.4. EJERCICIOS 123

Ejemplo 5.3.3. Calcular ZZ


rot (F ) · dS
S

donde F (x, y, z) = (yz, −xz, z 3 ) y S es la parte de la esfera x2 + y 2 + z 2 = 8 dentro del cono


p
z= x2 + y 2

orientada hacia arriba.


Desarrollo: Por el teorema de Stokes se tiene
ZZ Z
rot (F ) · dS = F · dr
S C

la curva intersección puede ser parametrizada por

λ (t) = (2 cos t, 2 sin t, 2) para t ∈ [0, 2π]

se sigue
Z
F · dr
ZC2π
= (4 sin t, −4 cos t, 8) · (2 cos t, 2 sin t, 2) dt
0
Z 2π
= (8 sin t cos t − 8 sin t cos t + 16) dt
0
= 32π

Ejercicios

Ejercicio 5.4.1. Dado F ∈ C 2 (Ω, R3 ) con Ω abierto, pruebe que div(rot (F)) = 0.
Desarrollo: div(rot (F)) = ∇ · (∇ × F) esto es

i j k
∂ ∂ ∂
∇ · ∂x ∂y ∂z
F1 F2 F3
 
= ∇ · (F3 )y − (F2 )z , − ((F3 )x − (F1 )z ) , (F2 )x − (F1 )y
 
= (F3 )yx − (F2 )zx − (F3 )xy − (F1 )zy + (F2 )xz − (F1 )yz

por el lema de Schwartz las derivadas mixtas son iguales se sigue

∇ · (∇ × F) = 0
√ 
Ejercicio 5.4.2. Sea F (x, y, z) = ez − x2 y, z + xy 2 , y 2 1 + z 4 un campo vectorial definido
en R3 :
124 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

1. Calcular ∇ × F
√  √ 
Desarrollo: ∇ × ez − x2 y, z + xy 2 , y 2 1 + z 4 = 2y z 4 + 1 − 1, ez , x2 + y 2

2. Sea S la superficie formada por la parte de la esfera x2 + y 2 + z 2 = 4 que se encuentra


en z ≥ 1 orientada con normal exterior. Calcular el Flujo de ∇ × F a través de S donde
F es el campo de la parte anterior.

Desarrollo: Por el teorema de la divergencia


ZZ ZZ ZZZ
rot (F) · dS + rot (F) · dS = div (∇ × F) dV
S Tapa inf T

se sigue
ZZ ZZ
rot (F) · dS = − rot (F) · dS
S Tapa inf

note que para aplicar el teorema de la divergencia la tapa inferior apunta hacia abajo,
ası́
ZZ ZZ
rot (F) · dS = rot (F) · dS
S Tapa inf ori arriba

la tapa puede ser parametrizada por

Φ (x, y, z) = (x, y, 1)

con dominio
(x, y) ∈ R2 : x2 + y 2 ≤ 3


se sigue
ZZ
rot (F) · dS
Tapa inf ori arriba
ZZ  √ 1 2 2

= 2y 2 − 1, e , x + y · (0, 0, 1) d (x, y)
x2 +y 2 ≤3
ZZ
x2 + y 2 d (x, y)

=
x2 +y 2 ≤3

Z 2π Z 3
= r3 drdθ
0 0
9
= π
2

Obs: Otra forma es calcular usando el teorema de Stokes


ZZ Z
rot (F) · dS = F · dr
S C
5.4. EJERCICIOS 125

√ √ 
donde C es la curva λ (t) = 3 cos t, 3 sin t, 1 para t ∈ [0, 2π] evaluando
Z 2π  √ 2 √  √  √ 2 √ 2 √ 
1
e − 3 cos t 3 sin t , 1 + 3 cos t 3 sin t , 3 sin t 2
0
 √ √ 
· − 3 sin t, 3 cos t, 0 dt
Z 2π  √ 2 √   √ 
1
= e − 3 cos t 3 sin t − 3 sin t
0
 √  √ 2  √ 
+ 1+ 3 cos t 3 sin t 3 cos t dt
Z 2π  √  Z 2π √ 2 √ 2 Z 2π √ 
= e − 3 sin t dt + 3 cos t 3 sin t dt + 3 cos t dt
0 0 0
Z 2π √ 2 √ 2
+ 3 cos t 3 sin t dt
0
9 9
= 0+ π+0+ π
4 4
9
= π
2

Ejercicio 5.4.3. Sea r el campo vectorial dado por

r (x, y, z) = (x, y, z)

Dada una superficie S y un vector fijo v0 demostrar que


 1R
ZZ  2 ∂S (v0 × r) · dr si S tiene borde ∂S 6= ∅
v0 · dS =
S 
0 si S es superficie cerrada

las orientaciones de ∂S y S son compatibles.


Desarrollo: Si la superficie es cerrada entonces, por el teorema de la divergencia,
ZZ ZZZ
v0 · dS = div (v0 ) dV
S T
= 0

si la superficie no es cerrada entonces, por el teorema de Stokes,


Z ZZ
(v0 × r) · dr = rot ((v0 × r)) · dS
∂S ZZ S

= ∇ × (v0 × r) · dS
S

note que

i j k

∇ × (v0 × r) = ∇ × v1 v2 v3
x y z
= ∇ × (zv2 − yv3 , xv3 − zv1 , yv1 − xv2 )
= 2v0
126 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

se sigue
Z ZZ
(v0 × r) · dr = ∇ × (v0 × r) · dS
∂S Z ZS
= 2v0 · dS
S

y ası́ Z ZZ
1
(v0 × r) · dr = v0 · dS
2 ∂S S
Ejercicio 5.4.4. Sea v el campo definido por v (x, y, z) = (z, x, y) y considere las regiones del
espacio
H1 = (x, y, z) ∈ R3 : z = 0, y ≥ 0


H2 = (x, y, z) ∈ R3 : y = 2z


D = (x, y, z) ∈ R3 : x2 + y 2 = a2


1. Dibujar la curva C = (H1 ∪ H2 ) ∩ D y la superficie encerrada por esta curva sobre D.


La curva esta dada por C1 ∪ C2 donde
C1 : es la traza de (a cos t, a sin t, 0) para t ∈ [0, π]
 
a sin t
C2 : es la traza de a cos t, a sin t, para t ∈ [0, π]
2

2. Calcular directamente ZZ
(rot (v) · N) dS
S
donde N es el normal exterior al cilindro.
Desarrollo: Parametrizamos la superficie por
Φ (θ, z) = (a cos θ, a sin θ, z)
a sin θ
donde 0 ≤ z ≤ 2
y θ ∈ [0, π] se sigue
Φθ = (−a sin θ, a cos θ, 0)
Φz = (0, 0, 1)
ası́
Φθ × Φz = (−a sin θ, a cos θ, 0) × (0, 0, 1)
= (a cos θ, a sin θ, 0)
se sigue
ZZ
(rot (v) · N) dS
S
a sin θ
Z πZ 2
= ((1, 1, 1) · (a cos θ, a sin θ, 0)) dzdθ
0 0
a sin θ
Z π Z
2
= (a cos θ + a sin θ) dzdθ
0 0
1 2
= πa
4
5.4. EJERCICIOS 127

3. Verifique el resultado usando stokes.


Desarrollo: La integral es
ZZ
(rot (v) · N) dS
Z S

= F · dr
ZC Z
= F · dr− F · dr
C1 C2
Z π
= (0, a cos t, a sin t) · (−a sin t, a cos t, 0) dt
0
Z π   
a sin t a cos t
− , a cos t, a sin t · −a sin t, a cos t, dt
0 2 2
Z π Z π  2 2  
2 2 a sin t 2 2 2 sin t cos t
= a cos tdt − − + a cos t + a dt
0 0 2 2
Z π 2 2 Z π
a sin t sin t cos t
= dt + a2 dt
0 2 0 2
1 2
= πa
4
R
(el - en C2 F · dr es por la orientación)

Ejercicio 5.4.5. Sean r = (x, y, z), r = krk y la superficie

Σ = ∂ r ∈ R3 : a ≤ r ≤ b


orientada exteriormente. Sean F :R3 → R3 y f : R → R funciones de clase C 2 tales que

F (r) = f r2 r


d
1. Verificar que r2 div(F) = dr
(r3 f (r2 ))
Desarrollo:

F (r) = f (r) r
= xf x2 + y 2 + z 2 , yf x2 + y 2 + z 2 , zf x2 + y 2 + z 2
  

entonces

div (F)
∂ 
xf x2 + y 2 + z 2

=
∂x
∂ 
yf x2 + y 2 + z 2

+
∂y
∂ 
zf x2 + y 2 + z 2

+
 ∂z 
= f r2 + xf 0 r2 2x + f r2 + yf 0 r2 2y + f r2 + zf 0 r2 2z
      

= 3f r2 + 2r2 f 0 r2
 
128 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

entonces

r2 div (F) = 3r2 f r2 + 2r4 f 0 r2


 

d 3
r f r2

=
dr

2. Muestre que ZZ
F · dS = 4π b3 f b2 − a3 f a2
 
Σ

Desarrollo: En efecto,
ZZ ZZ
F · dS = (F · N) dS
Σ ZZZΣ

= div (F) dV
{r∈R3 :a≤r≤b}
= (esféricas)
Z 2π Z π Z b
= div (F) (ρ, φ, θ) ρ2 sin φdρdφdθ
0 0 a

note que
d 3
r2 div (F) = r f r2

dr
se sigue
1 d 3 2

div (F) = r f r
r2 dr
ası́
Z 2π Z π Z b
div (F) (ρ, φ, θ) ρ2 sin φdρdφdθ
0 0 a
Z 2π Z π Z b
1 d 3
ρ f ρ2 ρ2 sin φdρdφdθ

= 2
0 0 a ρ dρ
Z 2π Z π Z b
d 3
ρ f ρ2 sin φdρdφdθ

=
0 dρ
Z0 π a  Z b 
d 3 2

= 2π sin φdφ ρ f ρ dρ
0 a dρ
= 4π b3 f b2 − a3 f a2
 

3. Sea C una curva que une (0, 0, 0) con (0, 0, a) muestre que
Z Z a2
1
F · dr = f (t) dt
C 2 0

Desarrollo: Note que rot(F) = 0 se sigue que la integral es independiente del camino,
usamos el segmento de recta

λ (t) = (0, 0, t) con t ∈ [0, a]


5.4. EJERCICIOS 129

entonces
Z Z
F · dr = F · dr
C λ
Z a
0, 0, tf t2

= · (0, 0, 1) dt
Z0 a
tf t2 dt

=
0
Z a2
1
= f (u) du
2 0

Ejercicio 5.4.6. Calcule la integral de trabajo


Z
F · dr
Γ

para el campo
F (x, y, z) = x2 − yz, y 2 − xz, z 2 − xy


donde Γ es una hélice que une los puntos (1, 0, 0) con (1, 0, 1).
Desarrollo: Note que

∇ × F (x, y, z)
= ∇ × x2 − yz, y 2 − xz, z 2 − xy


= (0, 0, 0)

entonces, si C es otro camino que une (1, 0, 0) con (1, 0, 1) se tiene


Z Z
F · dr = F · dr
Γ C

(por independencia de caminos o Stokes), se sigue, si

λ (t) = (1, 0, t) para t ∈ [0, 1]

entonces
Z Z 1
1, −t, t2 · (0, 0, 1) dt

F · dr =
Γ
Z0 1
= t2 dt
0
1
=
3
Ejercicio 5.4.7. Sea S el hemisferio superior de la esfera x2 + y 2 + (z − 1)2 = 1 orientada hacia
arriba y considere el campo

F (x, y, z) = z sin x − y 3 , z cos y + x3 , cos xy




calcular ZZ
rot (F) · dS
S
130 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

Desarrollo: Cerramos usando una tapa en el plano z = 1 entonces

ZZ ZZ ZZZ
rot (F) · dS + rot (F) · dS = div (rot (F)) dV
S Tapa hacia abajo Solido encerrado
= 0

ası́
ZZ ZZ
rot (F) · dS = − rot (F) · dS
S Tapa hacia abajo
ZZ
= rot (F) · dS
Tapa hacia arriba

calculamos

∇ × z sin x − y 3 , z cos y + x3 , cos xy




= − cos y − x sin xy, sin x + y sin xy, 3x2 + 3y 2




el normal al plano es (0, 0, 1) se sigue

ZZ ZZ
− cos y − x sin xy, sin x + y sin xy, 3x2 + 3y 2 · (0, 0, 1) d (x, y)

rot (F) · dS =
S 2 +y 2 ≤1
Z Zx
3x2 + 3y 2 d (x, y)

=
x2 +y 2 ≤1
Z 2π Z 1
= 3r3 drdθ
0 0
3
= π
2

Ejercicio 5.4.8. Calcular la integral de flujo

ZZ
∇φ · dS
Σ

si Σ es el hemisferio superior del elipsoide

x2 y 2 z 2
+ 2 + 2 =1
a2 b c

orientado con normal exterior y φ es el campo escalar

φ (x, y, z) = (x + 1)2 + 2 (y − 1)2 + z 2


5.4. EJERCICIOS 131

Desarrollo: Usamos una tapa plana para utilizar el teorema de la divergencia


ZZ ZZ
∇φ · dS + ∇φ · dS
Σ Tapa plana hacia abajo
ZZZ
= (∇ · ∇φ) dV
Región encerrada
ZZZ
= (∆φ) dV
Región encerrada
ZZZ
= (2 + 4 + 2) dV
Región encerrada
ZZZ
= 8 dV
Región encerrada
Z 2π Z π/2 Z 1
= 8 abcρ2 sin φdρdφdθ
0 0 0
16
= πabc
3
nos falta calcular la integral en la tapa, note que la parametrización de esta es (u, v, 0) en la
2 2
región ua2 + vb2 ≤ 1 el normal es (0, 0, −1) se sigue

(2 (u + 1) , 4 (v − 1) , 0) · (0, 0, −1) = 0

luego la integral en la tapa es cero, ası́


ZZ
16
∇φ · dS = πabc
Σ 3
Ejercicio 5.4.9. Calcular
Z
y 2 + z 2 dx + x2 + z 2 dy + x2 + y 2 dz
  
γ

donde γ es la intersección del hemisferio superior de la esfera x2 + y 2 + z 2 − 8x = 0 y el


cilindro x2 + y 2 − 2x = 0.
Desarrollo: El rotacional del campo es

∇ × y 2 + z 2 , x2 + z 2 , x2 + y 2


= (2y − 2z, 2z − 2x, 2x − 2y)

el normal es
(2x − 8, 2y, 2z)
N =
k(2x − 8, 2y, 2z)k
(2x − 8, 2y, 2z)
= q
(2x − 8)2 + 4y 2 + 4z 2
(x − 4, y, z)
= q
(x − 4)2 + y 2 + z 2
(x − 4, y, z)
=
4
132 CAPÍTULO 5. TEOREMAS DE LA DIVERGENCIA Y DE STOKES

se sigue
Z
y 2 + z 2 dx + x2 + z 2 dy + x2 + y 2 dz
  
γ
(x − 4, y, z)
ZZ
= (2y − 2z, 2z − 2x, 2x − 2y) · dS
S 4
ZZ
1
= ((2y − 2z) (x − 4) + (2z − 2x) y + (2x − 2y) z) dS
4 S
ZZ
1
= (8z − 8y) dS
4 S

usamos la parametrización estándar


 p 
Φ (x, y) = x, y, 8x − x2 − y 2

entonces
!
4−x y
kΦx × Φy k = p ,p ,1

8x − x2 − y 2 8x − x2 − y 2
s
(4 − x)2 y 2
= + 2 +1
z2 z
4
= p
8x − x2 − y 2

se sigue
ZZ
1  p
2 2
 4
8 8x − x − y − 8y p dA
4 x2 +y 2 −2x≤0 8x − x2 − y 2
ZZ ZZ
ydA
= 8 dA − 8 p
x2 +y 2 −2x≤0 x2 +y 2 −2x≤0 8x − x2 − y 2
= 8π

También podría gustarte