4.

Integrales mltiples
4.1 Integrales dobles
[Las demostraciones son similares a las de R y hacemos pocas].
Generalizamos la denicin de la integral en una variable. Sea f (x, y) acotada en un rectngulo
R = [a, b][c, d] R
2
. Dividimos R en nn subrectn-
gulos iguales R
i j
= [x
i1
, x
i
][y
k1
, y
k
] , del mismo rea
xy=
ba
n
dc
n
. Llamamos M
ik
y m
ik
, respectivamente,
al supremo e nmo de f en cada R
i j
y formamos las
sumas superior U
n
e inferior L
n
:
v
v v x
x
x
a
b
c d

M
ik
m
ik
U
n
=
n

i, j=1
M
i j
xy , L
n
=
n

i, j=1
m
i j
xy
(sumas de volmenes de prismas, una superior y otra
inferior al volumen que encierra f (x, y) si f 0 ).
Def.
Si ambas sucesiones L
n
y U
n
tienden hacia un mismo lmite, decimos que f
es integrable en R, representamos el lmite comn por
__
R
f
__
R
f (x, y)dxdy
y le llamamos integral de f en R.
__
R
f representar (similar a lo que suceda en R) la suma de
los volmenes encerrados entre la grca de f y el plano z=0
en R, con signos + o adecuados. Y al igual que suceda all:
Teorema: f continua en R f integrable en R.
Tambin aqu las funciones poco discontinuas siguen siendo integrables:
Teorema:
Si el conjunto de puntos de R en que una f acotada es discontinua es como
mximo en un nmero nito de puntos y un nmero nito de grcas de funciones
continuas, entonces f es integrable en R.
Para calcular integrales dobles no necesitaremos la denicin, el problema se reduce a las reali-
zacin de dos integraciones sucesivas de funciones de una variable:
Teorema
de Fubini:
f es continua en R
__
R
f =
_
d
c
_ _
b
a
f (x, y)dx
_
dy =
_
b
a
_ _
d
c
f (x, y)dy
_
dx .
y
x
a
b
c d
y=cte
A
(
y
)
Para cada y constante A(y) =
_
b
a
f (x, y)dx representa el rea de la
seccin del slido determinado por la grca de f ; integrando esta
A(y) entre c y d obtenemos el volumen dado por
__
R
f =
_
d
c
A(y)dy .
La segunda igualdad es lo simtrico.
[Hay funciones raras (discontinuas, claro) para las que el teorema falla].
Ej. Sean R = [0, ][0, 1] y f (x, y) = 2xysenx . Calcular la integral es fcil:
__
R
f =
_

0
__
1
0
(2xysenx)dy

dx =
_

0
_
2xy
y
2
senx
2

1
0
dx =
_

0
_
2x
senx
2
_
dx =
_
x
2

cosx
2

0
=
2
1 .
O tambin podramos hacer:
__
R
f =
_
1
0
__

0
(2xysenx)dx

dy =
_
1
0
_
x
2
ycosx

0
dy =
_
1
0
_

2
2y
_
dy =
2
1 .
1
Generalicemos el recinto de integracin. Sea ahora D regin acotada del plano. Sobre un
rectngulo RD denimos la funcin f

(x, y) =
_
f (x, y) si (x, y)D
0 si (x, y)D
.

Se dene
__
D
f =
__
R
f

si f

es integrable.
Representa el volumen (si f 0 ) limitado por la grca de f
en D. [Y en el caso particular en que f =1 , es el rea de D].
Si la frontera de D se puede poner como unin nita de grcas de
funciones continuas y f es continua ya sabemos que
__
D
f existir.
Consideremos dos tipos sencillos de regiones D de integracin (recintos ms complicados se
podrn descomponer en otros de esa forma). A la vista del signicado de
__
R
f

est claro que:

v
x
D
v
x
D
a
b
c
d
, (v) , (v)

(x)
(x)
Teorema:
i) Si f continua en D=
_
(x, y) : axb,
1
(x)y
2
(x)
_
,
con
1

2
continuas en [a, b]
__
D
f =
_
b
a
_

2
(x)

1
(x)
f (x, y)dydx .
ii) Si f continua en D=
_
(x, y) : cyb,
1
(y)x
2
(y)
_
,
con
1

2
continuas en [c, d]
__
D
f =
_
d
c
_

2
(y)

1
(y)
f (x, y)dxdy .
D
, (v)a , (v)v
(x)0

(x)x

Ej. Integremos f (x, y) = xcos(x+y) sobre el D del dibujo:

__
D
f =
_

0
__
x
0
xcos(x+y)dy
_
dx =
_

0
[xsen2x xsenx] dx =
3
2
.
O bien:
__
D
f =
_

0
__

y
xcos(x+y)dx
_
dy
=
_

0
[ seny cosy ysen2y cos2y] dy =
3
2
.
En recintos ms complicados habr que dividir. La integral sobre el recinto total D ser la suma de
las integrales sobre cada uno de los subconjuntos:

Ej.
__
D
f =
_
0
1
_ _
x
2
2x1
f (x, y)dy
_
dx +
_
1
0
_ _
x
2
2x1
f (x, y)dy
_
dx
O como y=x
2
x=

y , y =2x1 x =
1
2
(y+1) :
__
D
f =
_
1
0
_ _

y
(y+1)/2
f (x, y)dx
_
dy +
_
1
0
_ _
(y+1)/2

y
f (x, y)dx
_
dy
+
_
0
1
_ _
(y+1)/2
(y+1)/2
f (x, y)dx
_
dy .
Si en particular integramos f 1 obtendremos el rea de D:
A =
__
D
1 =
_
0
1
(x
2
+2x+1)dx +
_
1
0
(x
2
2x+1)dx =
1
3
+
1
3
=
2
3
.
_
Integrales iguales por ser f 1 par en x y D simtrico respecto a x=0 ; bastaba hacer 2
_
1
0

.
O bien: A =
__
D
1 = 2
_
1
0
_
y
2
+
1
2

dy +
_
0
1
_
y+1

dy = 2
1
12
+
1
2
=
2
3
[
1
2
=rea trigulo].
Tomemos ahora f (xy)=2xy y hallemos la integral por el primer camino:
__
D
f =
_
0
1
[xy
2
]
x
2
2x1
dx +
_
1
0
[xy
2
]
x
2
2x1
dx =
_
0
1
[x
5
4x
3
4x
2
x] dx +
_
1
0
[x
5
4x
3
+4x
2
x] dx
= [
1
5
+1
4
3
+
1
2
] +[
1
5
1+
4
3

1
2
] = 0 .
_
Deba anularse por ser f impar en x y D simtrico respecto a x=0

.
2
4.2. Cambios de variable
Generalicemos para integrales dobles la frmula para integrales en R:
_
b
a
f (g(u))g
/
(u)du =
_
g(b)
g(a)
f (x)dx , con gC
1
([a, b])
en concreto, el caso de g inyectiva (creciente o decreciente) en [a, b] :
g
a
b
g
a
b
_
[a,b]
f (g(u))[g
/
(u)[ du =
_
g([a,b])
f (x)dx .
v
u
D
*
y
x
g
D= (D )
*
g
En R
2
nuestra situacin ser esta: para hallar
__
D
f (x, y)dxdy ;
realizaremos un cambio de variable g : D

R
2
DR
2
(u, v)
_
x(u, v), y(u, v)
_
con el n de que el nuevo recinto de integracin D

o la nueva
funcin a integrar sean ms sencillas.
Teorema:
Sea g:(u, v)
_
x(u, v), y(u, v)
_
de C
1
, inyectiva en D

, g(D

)=D y f integrable.
Entonces:
__
D
f (x, y)dxdy =
__
D

f
_
x(u, v), y(u, v)
_

(x,y)
(u,v)

dudv .
La demostracn es complicada y no se da. Pero hacemos observaciones sobre hiptesis y resultado.
El teorema sigue siendo cierto aunque g deje de ser inyectiva en puntos sueltos o curvas continuas.
Si el determinante jacobiano
(x,y)
(u,v)
=

x
u
x
v
y
u
y
v

0 en un punto, el teorema de la funcin inversa

asegura que g es inyectiva en un entorno de ese punto, pero aunque no se anule en todo D

esto
no basta para que sea inyectiva en todo D

.
En el caso de que f 1 queda
__
D
dxdy =
__
D

(x,y)
(u,v)

dudv = rea de D, con lo que el jacobiano

viene a ser una medida de cmo un cambio de variable distorsiona el rea.
Si D

es un pequeo rectngulo del plano uv , al ser g diferenciable una buena aproximacin es

D
*
g
d (D )
* g
D
(u ,v )
o o
(u ,v )
o o
g
v
u
g(u
o
+u, v
o
+v) g(u
o
, v
o
) +dg
(u
o
,v
o
)
(u, v) ,
y por tanto D=g(D

) es aproximadamente igual al
paralelogramo dg(D

) de vrtice g(u
o
, v
o
) y de lados
dg(u, 0) =u
_
x
u
y
u
_
y dg(0, v) =v
_
x
v
y
v
_
,
cuyo rea es el valor absoluto de
(x,y)
(u,v)
uv .
v
u
y
x
g
Si D

es un conjunto ms general, el rea de D=g(D

)
ser aproximadamente

(x,y)
(u,v)

uv , expresin que en
el lmite ser la integral sobre D

.
Como primer ejemplo de cambio de variable consideramos los cambios lineales:
_
x = Au+Bv
y =Cu+Dv
. Si
(x,y)
(u,v)
=

A B
C D

= ADBC 0 dene biyeccin de R

2
en R
2
.

__
D
f (x, y)dxdy =[ADBC[
__
D

f (Au+Bv,Cu+Dv)dudv
[Las regiones se transforman de forma sencilla por llevar las aplicaciones lineales rectas a rectas].
v
u
y
x
1
1
y=x
y=x
y=1x
y=x1
Ej. Sea D el cuadrado de la gura y calculemos
__
D
(xy)
2
e
x+y
dxdy .
La forma de f y el recinto sugieren:
_
x +y = u
x y = v

_
x = (u+v)/2
y = (uv)/2
.
Las rectas que denen los lados pasan a ser: u = 0, 1 , v = 0, 1 .
El jacobiano

1/2 1/2
1/2 1/2

=
1
2
. As pues
__
D
=
1
2
_
1
0
_
1
0
v
2
e
u
dudv=
e1
6
.
3
Ms a menudo aparece y ms til es el cambio a polares:
_
x=r cos
y=r sen
. El jacobiano es ahora:
(x,y)
(r,)
=

cos r sen
sen r cos

= r(cos
2
+sen
2
) = r .
Con lo que la frmula del cambio de variable adopta la forma:
__
D
f (x, y)dxdy =
__
D

r f (r cos, r sen)dr d
r
y
x

r
1
r
2
r
1
r
2
Qu D provienen de conjuntos D

sencillos del plano

r ? Un rectngulo [r
1
, r
2
][
1
,
2
] se transforma en un
sector de corona circular limitado por las circunferencias
de radio r
1
y r
2
y las rectas que pasan por el origen de
pendientes
1
y
2
(lneas con r =cte y =cte ).
r
y
x

D
*
r=f ( )
2

r=f ( )
1

Si queremos hallar el rea en polares de una regin D
limitada en [, ] por r = f
1
() y r = f
2
() ser:
rea =
_

_
f
2
()
f
1
()
r dr d =
1
2
_

[ f
2
2
()f
2
1
()] d ,
coincidente con lo visto en los apuntes de matemticas.
y
x
2
D
r

/2
2
D
*
Ej. Hallemos
__
D
_
4x
2
y
2
dxdy , con D el sector circular del dibujo:
La presencia de x
2
+y
2
y el aspecto de D piden a gritos las polares.
__
D

r
_
4r
2
dr d =
_
/2
0
_
_
2
0
r
_
4r
2
_
1/2
dr
_
d =

2
_
(4r
2
)
3/2
3

2
0
=
4
3
el [] no depende de octante de esfera

Obsrvese que el cambio a polares no es inyectivo en lado izquierdo del
rectngulo D

(todos los puntos con r=0 van al origen), pero como ya

dijimos, no importa que falle la inyectividad en puntos o rectas sueltas.
y
x
1
D
1
x+y=1
En otros D el cambio a polares complicar normalmente el recinto. Por
ejemplo, el tringulo del dibujo dara lugar a la integral:
__
D
f =
_
/2
0
_
1/(sen+cos)
0
r f (r cos, r sen)dr d
y no haramos el cambio salvo que la f se simplicase notablemente.
Adems del rea de D, A =
__
D
dxdy , y del volumen en D bajo f (x, y) 0 , V =
__
D
f dxdy , las
integrales dobles tienen otra serie de aplicaciones (las frmulas son anlogas para R
3
).
Por ejemplo el promedio de una magitud f en D es f =
1
A
__
D
f .
La masa de una placa D es M =
__
D
(x, y)dxdy , si (x, y) es su densidad.
El centro de masa de D es el punto (x, y) con x=
1
M
__
D
x , y=
1
M
__
D
y (centroide si =cte).
Los momentos de inercia respecto a los ejes x e y son: I
x
=
__
D
y
2
, I
y
=
__
D
x
2
.
Ej. Sea un semicrculo D de radio R de densidad directamente proporcional a la distancia al centro
de D. Hallemos su centroide, su centro de gravedad y sus momentos de inercia respecto de los ejes.
R
D
centroide
c.masa
Se puede probar que si una lmina tiene un eje de simetra, su centroide est en
en dicho eje (y si tiene dos, est en su interseccin). Por tanto, x
c
=0 . La otra
y
c
=
1
A
__
D
ydxdy =
2
R
2
_

0
_
R
0
r
2
sen dr d =
2
R
2
_
r
3
3

R
0
=
4R
3
0.42 R.
Para el centro de gravedad hay que incluir la densidad (r)=kr (simtrica). Tambin x=0 .
Como la masa es M=
_

0
_
R
0
kr
2
dr d =
R
3
k
3
, ser y=
3
R
3
_

0
_
R
0
r
3
sen dr d =
3R
2
0.48 R.
Los momentos: I
x
= k
_

0
_
R
0
r
4
sen
2
dr d =
kR
5
10
, I
y
= k
_

0
_
R
0
r
4
cos
2
dr d =
kR
5
10
.
4
4.3. Integrales triples
Anlogamente al caso n=2 se puede denir
___
B
para f (x, y, z) acotada en un paraleleppedo
B = [a, b][c, d][p, q] , que representar un volumen en un espacio de cuatro dimensiones,
es decir, el volumen de un slido de cuatro dimensiones con base B y altura en cada punto
la que le asigna f (x, y, z) . Esta integral se podr de nuevo calcular mediante integrales iteradas:
f continua en B
___
B
f =
_
q
p
_
d
c
_
b
a
f (x, y)dxdydz
[o las otras 5 iteradas
intercambiando los
papeles de x , y , z ].
Ej. Si f (x, y, z)=2yzx y B = [0, 1][0, 2][0, 3] es:
___
B
f =
_
1
0
_
2
0
_
3
0
(2yzx)dzdydx =
_
1
0
_
2
0
(9y3x)dydx =
_
1
0
(186x)dx =15 .
D
f(x,y)
a
b
y
x
y= (x)
1 y= (x)
2
z
z= (x,y)
2
z= (x,y)
1
V
Tambin podemos integrar sobre recintos V R
3
ms generales.
Si V =
_
(x, y, z) : axb,
1
(x)y
2
(x),
1
(x, y)z
2
(x, y)
_
,
con
1

2
continuas en [a, b] y
1

2
continuas
en D =
_
(x, y) : axb,
1
(x)y
2
(x)
_
,
y f continua en V
___
V
f =
_
b
a
_

2
(x)

1
(x)
_

2
(x,y)

1
(x,y)
f (x, y, z)dzdydx .
Anlogas frmulas se obtienen variando los papeles de x , y , z , y mu-
chos recintos que aparecen estarn incluidos en algunos de esos tipos
(en ocasiones habr que dividir V en trozos para conseguirlo).
y
x
z
y=1x
z=1xy
Ej. Si f (x, y, z)=xyz y V es el tetraedro de vrtices
(0, 0, 0) , (1, 0, 0) , (0, 1, 0) , (0, 0, 1) , es:
___
V
f =
_
1
0
_
1x
0
_
1xy
0
xyzdzdydx =
_
1
0
_
1x
0
xy(1xy)
2
2
dydx
=
_
1
0
_
x(1x)
4
4
+
x(1x)
4
8

x(1x)
4
3

dx =
_
1
0
x(1x)
4
12
dx =
1
360
.
En el caso de que f 1 ,
___
V
dxdydz respresentar el volumen de V .
Con hiptesis anlogas a las del plano se tiene la frmula para los cambios de variable:
Sea g:(u, v, w)
_
x(u, v, w), y(u, v, w), z(u, v, w)
_
de C
1
, inyectiva en V

, g(V

)=V
y f integrable
___
V
f (x, y, z)dxdydz =
___
V

f
_
g(u, v, w)
_

(x,y,z)
(u,v,w)

dudvdw .
Vlida aunque g no sea inyectiva en un conjunto nito de grcas de funciones continuas de
dos variables (supercies).
En particular nos interesan los cambios a cilndricas y esfricas.
r
z
y
x
z
r=cte

=cte
z=cte
Cilndricas:
r 0, 0 <2
_
x=r cos
y=r sen
z = z
.
(x,y,z)
(r,,z)
=

r cos r sen 0
r sen r cos 0
0 0 1

=r .
___
V
f (x, y, z)dxdydz =
___
V

r f (r cos, r sen, z)dr d dz

Los recintos sencillos en cilndricas son los del dibujo.
5
Esfricas:
r 0, 0
0 <2
_
x= sen cos
y= sen sen
z = cos
.
(x,y,z)
(,,)
=

sen cos sen sen cos cos

sen sen sen cos sen cos
cos 0 sen

=
2
sen .

___
V
f (x, y, z)dxdydz =
___
V

2
sen f ( sen cos, sen sen, cos)d d d
y
x
z

[En los libros de fsica se suelen

cambiar los nombres de y ].
Un recinto simple en esfricas
es el dibujado a la derecha.

y
x
z

=cte

=cte
=cte
(esfera)
(cono)
(plano)
y
x
z
R
Ej. Hallemos el volumen que encierran el cono z =
_
x
2
+y
2
y el plano z=0 sobre el cuadrado R = [0, 1][0, 1] .
Podemos hallarlo mediante integrales dobles o triples, en las
coordenadas adecuadas en cada caso. Hacemos
___
V
dxdydz .
En cartesianas es fcil el recinto, pero difciles las integrales:
_
1
0
_
1
0
_

x
2
+y
2
0
dzdxdy =
_
1
0
_
1
0
_
x
2
+y
2
dxdy =
_
tablas o
_
x
2
+y
2
=x+u
_
1
2
_
1
0
__
1+y
2
y
2
lny +y
2
ln
_
1+
_
1+y
2
_
dy =
En cilndricas (o polares en la segunda integral): x=1 r =
1
cos
, cono y recinto simtricos,
2
_
/4
0
_
1/cos
0
r
2
dr d =
2
3
_
/4
0
d
cos
3

u=sen
=
2
3
_
1/

2
0
du
(1u
2
)
2
=
1
6
_
log

1+u
1u

1
1+u
+
1
1u

1/

2
0
=
1
3
_
2 +ln
_
1+

2
_
.
Esfricas: 2
_
/4
0
_
/2
/4
_
1/cos sen
0

2
sen d d d =
2
3
_
/4
0
_
/2
/4
d d
sen
2
cos
3

=
2
3
_
/4
0
d
cos
3

como
antes
Ej. Calculemos el volumen de la esfera unidad. En esfricas:
vol =
_
2
0
_
1
0
_

0

2
sen d d d = 2
_
1
0
2
2
d =
4
3
.
r
z
1
En cilndricas por dos caminos (ms largo):
vol =
_
2
0
_
1
1
_

1z
2
0
r dr dzd = 2
_
1
1
1z
2
2
dz =
4
3
.
vol =
_
2
0
_
1
0
_

1r
2

1r
2
r dzdr d = 2
_
1
0
2r

1r
2
dr =
4
3
.
x=1y
2
z=1x y
2 2
Las cartesianas son las coordenadas menos adecuadas aqu:
vol = 8
_
1
0
_

1y
2
0
_

1x
2
y
2
0
dzdxdy = 8
_
1
0
_

1y
2
0
_
1x
2
y
2
dxdy
=
_
cambio x=
_
1y
2
sent

= 8
_
1
0

4
(1y
2
)dy =
4
3
.
_
Aplicaciones fsicas similares a las vistas para las integrales dobles son:
Masa de un slido V es M =
___
V
(x, y, z)dxdydz , si (x, y, z) es su densidad.
Centro de masa de V es (x, y, z) con x=
1
M
___
V
x , y=
1
M
___
V
y , z=
1
M
___
V
z .
Momento de inercia respecto al eje z : I
z
=
___
V
(x
2
+y
2
) (anlogos los otros)

.
6
5. Integrales de lnea
5.1 Integrales de campos escalares a lo largo de curvas
y
x
c
(a) c
[ ]
a b
t
(b) c
(t) c
(t) c' Recordamos que una funcin vectorial, trayectoria o camino
es una c : [a, b] R R
n
, cuya grca c(t)=(x
1
(t), . . . , x
m
(t))
es una curva C en R
n
y su derivada c
/
(t) = (x
/
1
(t), . . . , x
/
m
(t))
describe el vector tangente a la curva (el vector velocidad, si
c(t) est describiendo un movimiento en R
n
).
_
La recta tangente a C en c(t
o
) era: l(t) =c(t
o
)+(tt
o
)c
/
(t
o
)

.
c es C
1
si es continua y c
/
existe y es continua t (a, b) . Si C es continua y [a, b] se puede
dividir en un nmero nito de subintervalos en cada uno de los cuales c es C
1
, se dice C
1
a
trozos. [Su grca ser una curva continua sin recta tangente en un nmero nito de puntos].
y
x
(0) c
(/2) c
c
*
Ej. c :
_
0,

2

R
2
con c(t)=(cost, sent) es una trayectoria C
1
pues
c
/
(t)=(sent, cost) existe t
_
0,

2
_
.
c

: [0, 1] R
2
con c

(t)=
_
t,

1t
2
_
, c

/
(t)=
_
1, t(1t
2
)
1/2
_
es otro camino C
1
, que describe esa misma curva en sentido opuesto.
Se dice que c y c

son dos parametrizaciones de la misma curva C.

Def.
Sea c(t): [a, b] R
n
una trayectoria C
1
y sea f un campo escalar en R
n
tal que
f
_
c(t)
_
es continua en [a, b] . La integral de f a lo largo de c se dene:
_
c
f ds
_
b
a
f
_
c(t)
_
|c
/
(t)|dt .
Si c(t) es solamente C
1
a trozos o f (c(t)) continua a trozos, denimos
_
c
f ds
descomponiendo [a, b] en intervalos sobre los que f (c(t))|c
/
(t)| sea continua
y sumando las integrales sobre cada uno de ellos.
Ej. Si f (x, y)=xy
2
y c , c

son los de arriba, las integrales a lo largo de las dos trayectorias son:
_
c
f ds =
_
/2
0
cost sen
2
t 1 dt =
1
3
sen
3
t

/2
0
=
1
3
.
_
c

f ds =
_
1
0
t (1t
2
)
1

1t
2
dt =
1
3
(1t
2
)
3/2

1
0
=
1
3
.
No es casualidad que ambas integrales coincidan. Veremos que la integral de lnea de un
campo escalar no depende de la parametrizacin, slo de la curva, con lo que otra posible
notacin ser
_
C
f ds (integral de f sobre C) donde el camino no aparece por ningn lado.
Interpretemos esta integral. Sea primero f 1 . Si pensamos que c(t) describe una partcula, al
ser |c
/
(t)| la velocidad escalar en el instante t , parece claro que ds =|c
/
(t)|dt (diferencial
de arco) representa la distancia recorrida en un diferencial de tiempo dt y por tanto:
L =
_
C
ds =
_
b
a
|c
/
(t)|dt representa la longitud de la curva C denida por c .
y
x
1
1
Ej. Hallemos la longitud de la curva descrita por c(t) = (t
2
, t
3
) , t [0, 1] .
|c
/
(t)|=

4t
2
+9t
4
L =
_
1
0
t

4+9t
2
dt =
1
27
(4+9t
2
)
3/2

1
0
=
13
3/2
8
27
1.44.
O con otra parametrizacin de la misma curva:
(x, x
3/2
), x[0, 1] L =
_
1
0
_
1+
9x
4
dx =
8
27
_
1+
9x
4
_
3/2

1
0
=
8
27
_
13
3/2
8
1

.
7
(dibujo del Marsden-Tromba)
Si ahora f es cualquier campo con f (c(t))0 t [a, b] ,
_
c
f ds representa para n=2 el rea de la valla de altura
f (x, y) en cada (x, y) de la curva C, pues un diferencial
de valla tiene rea f (c(t))ds = f (c(t))|c
/
(t)|dt .
Estas integrales tambin sirven para hallar, el valor medio de f a lo largo de C:
1
L
_
C
f ds .
Otra posible interpretacin para n=2 o n=3 : si c(t) describe un alambre (en el plano o en el
espacio) de densidad variable dada por (x) , la masa del alambre ser M=
_
C
ds .
El centro de gravedad (centroide si constante) del alambre, si n=3 , tendr por coordenadas:
x =
1
M
_
C
x ds , y =
1
M
_
C
y ds , z =
1
M
_
C
z ds .
y
x
z
2
Ej. Sea el alambre en forma de hlice: c : [0, 2] R
3
, t (cost, sent, t)
y de densidad (x, y, z)=x
2
+y
2
+z
2
. Como |c
/
| =

2 , se tiene que:
Su longitud es M =
_
2
0

2dt = 2

2 8.9 .
Su masa es M =
_
2
0
(cos
2
t +sen
2
t +t
2
)dt =

2
_
2+
8
3

3
_
125.8
[Su densidad media es, por tanto: 1+
4
3

2
14.2 ].
Su centro de gravedad: x =
1
M
_
2
0
cost (1+t
2
)

2dt =
6
3+4
2
0.014 ,
y =
1
M
_
2
0
sent (1+t
2
)

2dt =
6
3+4
2
0.44 , z =
1
M
_
2
0
t (1+t
2
)

2dt =3
1+2
2
3+4
2
4.60 .
Su centroide: x =
1
L
_
2
0
cost

2dt = 0 , y =
1
L
_
2
0
sent

2dt = 0 , z =
1
L
_
2
0
t

2dt = .
a
b
ds
Otra aplicacin de este tipo de integrales. Si una curva C viene
dada por x=x(t) , y=y(t)0 , t [a, b] , el rea de la supercie
de revolucin obtenida al hacer girar C en torno al eje y=0 es:
A = 2
_
b
a
yds = 2
_
b
a
y(t)
_
_
x
/
(t)
_
2
+
_
y
/
(t)
_
2
dt
_
pues el rea de la banda de anchura ds es 2yds

.
_
En el caso particular de que C sea la grca de y=y(x) queda: A = 2
_
b
a
y
_
1+(y
/
)
2
dx

.
y=a x
2 2
Ej. rea de la supercie esfrica de radio a . Se puede ver como
el giro de y =

a
2
x
2
en torno a y=0 , y por tanto:
A = 2
_
a
a

a
2
x
2
_
1+
x
2
a
2
x
2
dx = 2
_
a
a
adx = 4a
2
.
O bien: (acost, asent), t [0, ] A=2
_

0
a
2
sent dt = 4a
2
.
8
5.2. Integrales de lnea de cambios vectoriales
Def.
Sean c(t): [a, b] R
n
una trayectoria C
1
y f : R
n
R
n
campo vectorial continuo
sobre la grca de c . Denimos la integral de lnea de f a lo largo de c por:
_
c
f ds =
_
b
a
f
_
c(t)
_
c
/
(t)dt
Si f(c(t)) c
/
(t) es slo continua a trozos, dividimos el intervalo y sumamos.
T(t)
f((c(t))
Si c
/
(t)0 t y T(t)=
c
/
(t)
|c
/
(t)|
es el vector tangente unitario:
_
c
f ds =
_
b
a
_
f(c(t)) T(t)

|c
/
(t)|dt =
_
c
f T ds ,
con lo que se puede ver la integral de lnea de f como la
integral del campo escalar f T, componente tangencial de
f en la direccin de c . El signicado fsico es evidente:
_
c
f ds es el trabajo realizado por un campo de fuerzas f sobre la partcula que recorre c .
Demos otra notacin (la damos para el plano). Si c(t)=
_
x(t), y(t)
_
, f(x, y)=
_
f (x, y), g(x, y)
_
:
_
c
f ds =
_
b
a
_
f
_
x(t), y(t)
_
x
/
(t) +g
_
x(t), y(t)
_
y
/
(t)

dt
_
c
f (x, y)dx +g(x, y)dy
[La notacin es similar para n>2 ; cuidado!, sigue siendo integral de lnea].
Ej. Si c(t) = (t, t
2
, 1) , la integral
_
c
zx
2
dx +xydy +y
3
dz =
_
1
0
(t
2
1+t
3
2t +t
6
0)dt =
11
15
.
Ej. Calculemos varias integrales del lnea del campo f(x, y) = (x
2
, 2y+x) :
c
1
(t) = (t, t), t [0, 1]
c
2
(t) = (4t
2
, 4t
2
), t
_
0,
1
2

c
3
(t) = (1t, 1t), t [0, 1]
[describen la misma curva, la
tercera en sentido contrario]. y
x
1
1
c
c c
c
1,2
3
4 5
_
c
1
=
_
1
0
(t
2
, 3t) (1, 1)dt =
11
6
,
_
c
2
=
_
1/2
0
(16t
4
, 12t
2
) (8t, 8t)dt =
11
6
,
_
c
3
=
_
1
0
_
(1t)
2
, 3(1t)) (1, 1)dt =
11
6
.
c
4
(t) =
_
(t, 0), t [0, 1]
(1, t 1), t [1, 2]
,
_
c
4
=
_
1
0
(t
2
, t) (1, 0)dt +
_
2
1
(t
2
, 2t 1) (0, 1)dt =
7
3
.
c
5
(t) =
_
(0, t), t [0, 1]
(t 1, 1), t [1, 2]
,
_
c
5
=
_
1
0
(0, 2t) (0, 1)dt +
_
2
1
_
(t 1)
2
, 2+t
_
(1, 0)dt =
5
6
.
[La integral parece depender slo de la curva y del sentido en que se recorre; para algunos
campos no depender siquiera de la curva, slo del punto inicial y del punto nal].
Ej. Calculemos el trabajo realizado por una fuerza constante f = d al recorrer una partcula una
trayectoria r(t)=
_
x(t), y(t), z(t)
_
que une dos puntos del espacio a = r(a) y b = r(b) :
y
x
z
f=d
a
b
r(t)
_
r
d ds =
_
b
a
(d
1
, d
2
, d
3
)
_
x
/
(t), y
/
(t), z
/
(t)
_
dt
= d
1
_
x(b)x(a)
_
+d
2
_
y(b)y(a)
_
+d
3
_
z(b)z(a)
_
= d
_
r(b)r(a)
_
= d (ba) , independiente de r .
Si consideramos ahora c(t) = r(a+bt) , t [a, b] , que recorre la
misma trayectoria en sentido contrario, el trabajo es:
_
c
d ds = (d
1
, d
2
, d
3
)
_
x
/
(t), y
/
(t), z
/
(t)
_
dt =d (ba) .
9
Veamos lo que sucede con la integral al hacer un cambio en el parmetro que describe la curva.
Sea c : [a, b]R
n
y h : [a
1
, b
1
][a, b] una biyeccin C
1
. Si llamamos p =ch : [a
1
, b
1
]R
n
,
h
a
b
h
a
b
a a
b b
1
1
1
1
las trayectorias p(u) , u[a
1
, b
1
] y c(t) , t [a, b] ,
describen la misma curva, en el mismo sentido o en
sentido opuesto segn sea, respectivamente,
h(a
1
)=a y h(b
1
)=b o h(a
1
)=b y h(b
1
)=a
[se dice la reparametrizacin conserva o invierte la orientacin de la curva].
Teorema:
Si c y p son dos trayectorias que describen la misma curva C, entonces:
o bien
_
c
f ds =
_
p
f ds , o bien
_
c
f ds =
_
p
f ds ,
segn c y p describan C en el mismo sentido o en el opuesto.
Si C es C
1
(si no, dividimos y sumamos las integrales), como p
/
(u)= c
/
(h(u))h
/
(u) es:
_
p
f ds =
_
b
1
a
1
f
_
c(h(u))
_
c
/
(h(u))h
/
(u)du e
_
c
f ds =
_
b
a
f
_
c(t)
_
c
/
(t)dt .
Haciendo en la integral de la izquierda h(u)=t , se tiene + o la integral de la derecha,
segn se conserve o no la orientacin, pues no cambian o s los lmites de integracin.
Si estuvisemos integrando un campo escalar f , se tendra siempre que:
_
p
f ds =
_
b
1
a
1
f
_
c(h(u))
_
|c
/
(h(u))|[h
/
(u)[ du =
_
b
a
f
_
c(t)
_
|c
/
(t)|dt =
_
c
f ds , es decir:
Teorema: Si c y p describen la misma curva C, entonces
_
c
f ds =
_
p
f ds .
La integral de lnea de un campo vectorial slo depende de la curva C y el sentido en que
se recorre (la un campo escalar slo de C). Podemos elegir las c ms sencillas.
c
Ej. Tiene un sentido preciso hablar de la integral de f(x, y)=(y, 0) a lo largo
de la circunferencia unidad recorrida en el sentido de las agujas del reloj.
Eligiendo c(t)=(cost, sent) , t [0, 2]
_
o [, ] , o . . .
_
,
_
c
f ds =
_
2
0
(sent, 0) (sent, cost)dt = .
Con cualquier otra parametrizacin igualmente orientada se llega a lo mismo.
Las integrales sobre curvas cerradas se representan a veces con el smbolo
_
.
Ej. Hallar el trabajo realizado por el campo de fuerzas f(x, y, z)=(yz, zx, xy) a lo largo de la
curva C interseccin de la esfera x
2
+y
2
+z
2
=4 y el plano z=y , si C es recorrida de modo
que, vista desde las z positivas, el sentido es contrario a las agujas del reloj.
y
x
z
z=y
c
Sobre C, como z=y , es x
2
+2y
2
=4 (elipse).
c(t)=
_
2cost,

2 sent,

2 sent
_
, t [0, 2] .
y
x
2
2
T=
_
2
0
(0,

2 sent 2cost, 2cost

2 sent) (2sent,

2 cost,

2 cost)dt
=
_
2
0
0 dt = 0 (el campo es perpendicular a la trayectoria).
[Se ver ms adelante que sern 0 las integrales sobre un camino cerrado de los campos que sean gradientes
de un campo escalar; pero, a pesar de ser
_
C
= 0 , este campo no lo ser, pues rot f =(2, 2, 2) 0 ].
10
5.3. Integrales de gradientes y el teorema de Green
Generalizamos el 2

teorema fundamental del clculo innitesimal

_
b
a
g
/
(x)dx = g(b) g(a) .
Teorema:
Sea U : R
n
R un campo escalar C
1
y c : [a, b] R
n
trayectoria C
1
a trozos.
Entonces:
_
c
U ds =U
_
c(b)
_
U
_
c(a)
_
.
Si cC
1
(si no, dividimos),
_
b
a
U(c(t)) c
/
(t)dt =
_
b
a
_
Uc)
/
(t)dt =U(c(b))U(c(a)) .
a
b
Por tanto, la integral de lnea de un gradiente no depende del
camino, slo del punto inicial y nal. Si podemos identicar un
campo como un gradiente, la integral es muy sencilla.
Si c(a) = c(b) , c describe una curva cerrada e
_
c
U ds = 0 .
La integral de lnea de un gradiente a lo largo de una curva cerrada es 0 .
Def.
Si un campo vectorial f es gradiente de alguna funcin U, a U se le llama
funcin potencial para f , y f se dice conservativo.
Cmo saber si f es conservativo? Resultados generales se vern tras estudiar el teorema de
Stokes, pero demos ya un resultado parcial sencillo para n=2 y n=3 .
Teorema:
Si f(x, y) =
_
f (x, y), g(x, y)
_
de C
1
es conservativo f
y
g
x
.
Si f(x, y, z) =
_
f (x, y, z), g(x, y, z), h(x, y, z)
_
de C
1
es conservativo rot f =0 .
Si f =( f , g)=(U
x
,U
y
)=U , con UC
2
, por la igualdad de Schwartz de las derivadas
cruzadas [ U
xy
=U
yx
] debe ser f
y
g
x
. Y el mismo argumento se aplica si n=3 .
Si las derivadas cruzadas no coinciden, no puede f ser gradiente. Si son iguales, muchas veces
es sencillo hallar una U tal que U = f [aunque la implicacin no sea cierta en general].
Ej. Sea f(x, y)=(y
2
, 2xy) . Hallemos la integral entre (0, 0) y (1, 1) a lo largo de diferentes curvas:
a) la recta que une los puntos, b) la parbola y=x
2
, c) la circunferencia x
2
+y
2
=2x .
Posibles parametrizaciones: a) c
a
=(t, t) , b) c
b
=(t, t
2
) , c) c
c
=
_
t,

2t t
2
_
, con t [0, 1] todas.
y
x
1
1
c
c
c
b
a
c
Las integrales en cada caso son:
a)
_
1
0
(t
2
, 2t
2
) (1, 1)dt =
_
1
0
3t
2
dt =1 ,
b)
_
1
0
(t
4
, 2t
3
) (1, 2t)dt =
_
1
0
5t
4
dt =1 ,
c)
_
1
0
(2t t
2
, 2t

2t t
2
)
_
1,
1t

2tt
2
_
dt =
_
1
0
(4t 3t
2
)dt =1 .
Pero se cumple

y
(y
2
) = 2y =

x
(2xy) , lo que nos hace sospechar que f es campo conservativo.
Es fcil en este caso identicar una funcin potencial:
Si U
x
=y
2
, debe ser U = xy
2
+p(y) para alguna funcin p
Si U
y
=2xy , debe ser U = xy
2
+q(x) para alguna funcin q
U(x, y)= xy
2
.
Por tanto, las parametrizaciones y clculos de integrales anteriores han sido intiles, puesto que
la integral a lo largo de cualquier trayectoria deba valer U(1, 1) U(0, 0) = 10 = 1 .
[La forma de calcular una U en el espacio para un campo con rot f = 0 es similar].
Ej. Hallemos la integral de f(x, y)=
_
y
x
2
+y
2
,
x
x
2
+y
2
_
a lo largo de x
2
+y
2
=1 en sentido antihorario.
c
Si c(t)=(cost, sent) , t [0, 2] ,
_
c
f ds =
_
2
0
(sent, cost) (sent, cost)dt =2 .
No puede haber un potencial C
1
que contenga la curva, pese a ser f
y
=g
x
=
y
2
x
2
(x
2
+y
2
)
2
.
[No basta la igualdad de las derivadas cruzadas para ser conservativo. Se ver que si bastar si f
es C
1
en todo R
2
, o incluso si lo es en lo que se llamar un conjunto simplemente conexo].
11
Veamos teoremas que relacionan integrales dobles e integrales de lnea sobre curvas cerradas en
el plano. Se vern otros sobre integrales de campos vectoriales en el espacio (estos se pueden
ver como casos particulares), tras estudiar las integrales de supercie.
curva no
simple
curva simple
curva cerrada
simple
Una curva simple es la imagen de un camino C
1
a trozos inyectivo.
Una curva cerrada simple en R
2
ser la imagen de un c : [a, b] R
2
,
inyectivo en [a, b] y tal que c(a) = c(b) . Una curva de estas puede
recorrerse en dos sentidos diferentes; para indicar que una integral se
recorre en sentido antihorario indicaremos

.
Teorema de Green:
Sea DR
2
limitado por D curva cerrada simple y sean los campos escalares P, QC
1
(D) .
Entonces:
__
D
[ Q
x
P
y
] dxdy =

D
Pdx +Qdy .
_
La prueba se puede ver en el Marsden-Tromba; si (P, Q) es conservativo, se tiene 0=
_
(P, Q)ds

.
y
x
2
/2
(0,t)
(2,t)
(t,/2)
(t,0)
Ej. Hallemos

D
e
x
senydx +e
2x
cosydy siendo D el rectngulo [0, 2][0,

2
] .
_
2
0
(01+0)dt +
_
/2
0
(0+e
4
cost 1)dt
_
2
0
(e
t
1+0)dt
_
/2
0
(0+cost 1)dt
[[
Con Green:
_
/2
0
_
2
0
(2e
2x
cosy e
x
cosy)dxdy = [seny]
/2
0
_
e
2x
e
x

2
0
= e
4
e
2
.
Ej. Calculemos el rea encerrada por la hipocicloide x
2/3
+y
2/3
= a
2/3
.
a
a
a
a
A =
__
dxdy =
1
2

D
xdy ydx , pues Q
x
P
y
= 2 . En este caso:
c()=(acos
3
, asen
3
) , [0, 2] es una posible parametrizacin.
A =
1
2
_
2
0
_
(acos
3
)(3asen
2
cos) (asen
3
)(3acos
2
sen)

d
=
3
2
a
2
_
2
0
sen
2
cos
2
d =
3
16
a
2
_
2
0
[1cos4] d =
3
8
a
2
.
Del teorema de Green se obtiene fcilmente:
Teorema de la divergencia en el plano:
Sean DR
2
limitado por D curva cerrada simple, f : DR
2
campo vectorial C
1
,
y n el vector normal unitario exterior a D. Entonces
__
D
divf dxdy =
_
D
f n ds .
n
(x', y')
D
D
Si D viene dada por c(t)=
_
x(t), y(t)
_
, la normal es n=
(y
/
(t),x
/
(t))
|c
/
(t)|
.
Si f =(P, Q) ,
_
D
f nds =
_
b
a
_
P(x(t), y(t))y
/
(t) Q(x(t), y(t))x
/
(t)

dt
=

D
PdyQdx
Green
=
__
D
(P
x
+Q
y
)dxdy .
Ej. Comprobemos este teorema para f(x, y)=(7, y
2
1) en el semicrculo r 3 , 0 :
C
C
D
div f =2y ,
__
D
2y dxdy =
_

0
_
3
0
2r
2
sen dr d = 36 .
Para C
1
, si c(x)=(x, 0) , x[3, 3] , n=(0, 1) ,
_
C
1
(1y
2
)ds=
_
3
3
dx=6 .
Para C
2
, si c(t)=(3cost, 3sent) , t [0,] , |c
/
(t)|=3 . Como n=(cost, sent) ,
_
C
2
f nds=3
_

0
_
7cost +9sen
3
t sent
_
dt =30 .
12