2.

Clculo integral en R
n
2.1 Integrales mltiples. Cambios de variable
Integrales dobles. Su denicin generaliza la de la integral en R.
y
y y x
x
x
a
b
c d
k-1 k
i-1
i
M
ik
m
ik
Sea f (x, y) acotada en un rectngulo R=[a, b][c, d] R
2
.
Dividimos R en nn rectngulos R
i j
= [x
i1
, x
i
][y
k1
, y
k
] ,
del mismo rea xy=
ba
n
dc
n
. Llamamos, respectivamen-
te, M
ik
y m
ik
al supremo e nmo de f en cada R
i j
y for-
mamos las sumas superior U
n
e inferior L
n
:
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 mayor y otra
menor que el volumen que encierra f (x, y) si f 0 ).
Si las sucesiones L
n
y U
n
tienden al mismo lmite, se dice que f es integrable en R,
se representa el lmite comn por
__
R
f
__
R
f (x, y)dxdy y se llama 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:
Teor 1. f continua en R f integrable en R.
Tambin aqu las funciones poco discontinuas siguen siendo integrables:
Teor 2.
Si una f acotada en R es discontinua como mucho en un nmero nito de puntos
y de grcas de funciones continuas, entonces f es integrable en R.
Para calcular integrales dobles no se necesita la denicin, el problema se reduce a realizar dos
integraciones sucesivas de funciones de una variable:
Teorema
de Fubini:
f 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 A(y) entre c y d
obtenemos el volumen:
__
R
f =
_
d
c
A(y)dy . La otra igualdad es lo simtrico.
Ej 1. Sean R=[0, ][0, 1] y f (x, y)=ysenx . Calcular la integral es fcil:
__
R
f =
_

0
__
1
0
ysenxdy

dx =
_

0
_
y
2
senx
2

1
0
dx =
_

0
senx
2
dx =
_

cosx
2

0
=1 .
O bien:
__
R
f =
_
1
0
__

0
ysenxdx

dy =
_
1
0
_
ycosx

0
dy =
_
1
0
2ydy = 1 .
Generalicemos ahora 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.
Describe (si f 0 ) el volumen 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.
9
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)
Teor 3.
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 .
[Cuando x vara entre a y b , la y vara entre
1
(x) y
2
(x) , e igual la otra].
D
(y)= (y)=y
(x)=0
1
(x)=x
2
1 2

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

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

0
x[sen2x senx] dx
=
_
x(cosx
1
2
cos2x)

0
+
_

0
_
1
2
cos2xcosx

dx =
3
2
.
O, con clculos ms largos, integrando primero respecto a x :
__
D
f =
_

0
__

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

0
[ seny cosy ysen2y cos2y] dy =
3
2
.
Observemos que, a veces, no slo es preferible integrar primero respecto de una variable concreta
y luego respecto de la otra, sino que no tenemos otra opcin. Por ejemplo, si fuese f (x, y)=senx
2
,
no se podra hacer
_

0
__

y
senx
2
dx
_
dy , por ser la primitiva no calculable, pero s se puede hacer:
_

0
__
x
0
senx
2
dy
_
dx =

_

0
xsenx
2
dx =
1
2
cosx
2

0
=
1
2
_
1cos
2

.
[No olvidemos que la integral de una constante es la constante por la longitud del intervalo].

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 3.
__
D
f =
_
0
1
_ _
x
2
2x1
f (x, y)dy
_
dx +
_
1
0
_ _
x
2
2x1
f (x, y)dy
_
dx
O bien, como y=x
2
x=

y , y =2x1 x =
1
2
(y+1) ,
se puede hacer (calculando ms integrales) tambin de esta forma:
__
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
] =
1
30
+
1
30
= 0 .
_
Deba anularse por ser f impar en x y D simtrico respecto a x=0 . El volumen negativo denido
por la grca de f en la parte de D con x0 se concela con el positivo de la parte con x0

.
10
Cambios de variable. Generalicemos para integrales dobles la frmula de 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.
Teor 4.
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.
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 4. Sea D el cuadrado de la gura y hallemos
__
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
.
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 .
Y el cambio 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
] pasa a ser un sector de coro-
na 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
.
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 los apuntes de matemticas].
y
x
2
D
r

/2
2
D
*
Ej 5. 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 el teore-

ma funciona aunque falle la inyectividad en puntos o rectas sueltas.
11
En el siguiente ejemplo, aunque el recinto no parecera adecuado a las polares, por no estar limitado por
curvas r =cte o =cte , el aspecto del integrando las pide indudablemente:
1
Ej 6. Integremos f (x, y)=
y
x
2
+y
2
, sobre el semicrculo x
2
+(y1)
2
1 , y1 .
Las curvas que limitan el recinto, escritas en polares quedan:
y=r sen =1 r = 1/sen , x
2
+y
2
=2y, r
2
=2r sen r =2sen .
_
3/4
/4
_
2sen
1/sen
r
2
sen
r
2
dr d =
_
3/4
/4
(2sen
2
1)d =
_
3/4
/4
cos2 d = 1 .
Usemos el cambio a polares para hallar un integral impropia de una variable con primitiva no elemental:
0
1
/2
Ej 7. Para calcular I =
_

0
e
x
2
dx consideramos la integral doble:
_

0
_

0
e
(x
2
+y
2
)
dxdy =
_

0
e
y
2
_

0
e
x
2
dxdy =
_

0
I e
y
2
dy = I
2
.
En polares queda:
_
/2
0
_

0
re
r
2
dr d =

2
_

1
2
e
r
2

0
=

4
I =

2
.
Deducimos adems, por la paridad del integrando, que
_

e
x
2
dx =

.
Una modicacin del cambio a polares nos es til en el siguiente ejemplo:
a
b
Ej 8. Calculemos el rea A de una elipse de semiejes a y b :
x
2
a
2
+
y
2
b
2
=1 .
El cambio a polares no es til, pero s este modicado:
_
x=ar cos
y=br sen
,
(x,y)
(r,)
=

acos ar sen
sen br cos

= abr . La elipse pasa a ser r =1 A =

_
2
0
_
1
0
abr dr d = ab .
_
Con integrales en R: A = 4
_
a
0
b
a

a
2
x
2
dx =

4ab
_
/2
0
cos
2
t dt = 2ab
_
/2
0
(1+cos2t)dt = ab

.
x = asent , dx = acost dt
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
).
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 9. 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
.
12
Integrales triples. Anlogamente a n=2 se dene
___
B
f para f (x, y, z) acotada en un para-
leleppedo B = [a, b][c, d][p, q] , que representar un volumen de un slido de cuatro di-
mensiones con base B y altura en cada punto dada por f (x, y, z) . Cuando f 1 ,
___
V
dxdydz
describir el volumen de V. Esta integrales se podrn calcular tambin con 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 10. 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.
2
1
z=2xy
1
1
Ej 11. Calculemos
___
V
x dxdydz , con V regin acotada por los planos:
x=0 , y=0 , z=0 , x=1 , y=1 , x+y+z=2 .
En el cuadrado [0, 1][0, 1] del plano xy est z=2xy por encima de z=0 .
___
V
x dxdydz =
_
1
0
_
1
0
_
2xy
0
y dzdydx =
_
1
0
_
1
0
(2xx
2
xy)dydx
=
_
1
0
_
2xx
2
x
_
y
2
2

1
0
_
dx =
_
1
0
_
3x
2
x
2
_
dx =
3
4

1
3
=
5
12
.
y
x
z
y=1x
z=1xy
Ej 12. Integremos f (x, y, z)=xyz , siendo V el tetraedro cuyos vrtices son
(0, 0, 0) , (1, 0, 0) , (0, 1, 0) , (0, 0, 1) .
___
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
.
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 .
[Vale aunque g no sea inyectiva un nmero nito de puntos, curvas o 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 ms sencillos en cilndricas son los del dibujo de arriba.
13
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

x
y
z

[Siguiendo los libros de fsica hemos

cambiado aqu los nombres de y ,
aunque dejamos la en cilndricas].
Un recinto simple en esfricas es
el dibujado a la derecha.

x
y
z
=cte
=cte
=cte
(esfera)
(cono)
(plano)
En los siguientes ejemplos se ve que muchos veces las cartesianas no son las coordenadas ms adecuadas
(si lo eran en los ejemplos de la pgina anterior). En el primero, lo ms corto son las polares y en el
segundo, integrando sobre esfera, lo son las esfricas.
y
x
z
R
Ej 13. 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 14. 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)

.
14
2.2 Integrales de lnea
y
x
c
(a) c
[ ]
a b
t
(b) c
(t) c
(t) c' Una funcin vectorial era c : [a, b] R
n
, c(t)=(x
1
(t), . . . , x
n
(t))
cuya grca es una curva C en R
n
y el vector tangente a la curva
era c
/
(t)=(x
/
1
(t), . . . , x
/
n
(t)) . Se dice que c es C
1
si es continua y
c
/
existe y es continua t (a, b) . Es C
1
a trozos si C es continua
y [a, b] se puede dividir en un nmero nito de subintervalos y en
cada uno de ellos c es C
1
.
y
x
(0) c
(/2) c
c
*
Ej 1. 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.

Comencemos deniendo la integral de campos escalares a lo largo de curvas:
Sea c(t): [a, b] R
n
un camino 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 slo C
1
a trozos o f (c(t)) continua a trozos, denimos
_
c
f ds descom-
poniendo [a, b] en intervalos sobre los que f (c(t))|c
/
(t)| sea continua y sumando
las integrales sobre cada uno de ellos.
Ej 1*. 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. Se prueba que:
Teor 1. Si c y c

describen la misma curva C, entonces

_
c
f ds =
_
c

f ds
_
C
f ds .
Como la integral de lnea de una f escalar no depende de la parametrizacin, slo de la
curva, es lcita la notacin
_
C
f ds (integral de f sobre C) donde c 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 2. 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
_
1/2
dx =
8
27
_
1+
9x
4
_
3/2

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

.
y
f (x(t),y(t))
z
x
c(t)=(x(t),y(t))
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 .
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 .
Tambin da el valor medio de una f sobre C:
1
L
_
C
f ds .
15
Denamos ahora las integrales de lnea de campos vectoriales:
Sean c(t): [a, b] R
n
de C
1
y f : R
n
R
n
campo vectorial continuo sobre la grca de c .
La integral de lnea del campo f a lo largo de c se dene
_
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 la integrales.
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 ,
y 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 . Por tanto:
_
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 3. 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 4. 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 5. 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 c(t)= r(a+bt) , t [a, b] , que recorre la misma curva en
sentido opuesto, el trabajo es
_
c
d ds =
_
b
a
(d
1
, d
2
, d
3
)
_
x
/
(t),y
/
(t),z
/
(t)
_
dt =d(ba) .
Veamos qu pasa en general 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 = c h : [a
1
, b
1
] R
n
, las
h
a
b
h
a
b
a a
b b
1
1
1
1
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, respec-
tivamente, 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].
Teor 2.
Si c y p describen la misma curva C, entonces segn c y p lo hagan en el
mismo sentido o en el opuesto se tiene, respectivamente:
_
c
f ds =
_
p
f ds , o bien
_
c
f ds =
_
p
f ds
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 ,
_
c
f ds =
_
b
a
f
_
c(t)
_
c
/
(t)dt .
Haciendo en la primera integral h(u)=t , no cambian o s los lmites de integracin y de ah el teorema.
16
Como la integral de lnea de un campo vectorial slo depende de la curva C y el sentido en
que se recorre (y la un campo escalar slo de C), podemos elegir las c ms sencillas.
c
Ej 6. 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
_
.
Teoremas de Green y de la divergencia
Veamos dos 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 de aquellos), tras denir las integrales de supercie.
curva no
simple
curva simple
curva cerrada
simple
Una curva simple ser la imagen de una c : [a, b] R
2
, C
1
a trozos e
inyectiva. Si adems es c(a) = c(b) , se llama curva cerrada simple.
Una curva de estas puede recorrerse en dos sentidos opuestos; para
indicar que se recorre en sentido antihorario indicaremos

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

D
f dx +gdy .
y
x
2
/2
(0,t)
(2,t)
(t,/2)
(t,0)
Ej 7. 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 8. Calculemos el rea encerrada por la hipocicloide x
2/3
+y
2/3
= a
2/3
.
a
a
a
a
A =
__
D
dxdy =
1
2

D
xdy ydx , pues g
x
f
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 deduce fcilmente el 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 =( f , g) ,
_
D
f nds =
_
b
a
_
f (x(t), y(t))y
/
(t) g(x(t), y(t))x
/
(t)

dt
=

D
f dygdx
Green
=
__
D
( f
x
+g
y
)dxdy .
Ej 9. 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 n ds=3
_

0
_
7cost +9sen
3
t sent
_
dt =30 .
17
Integrales de gradientes. Generalizamos la frmula de R:
_
b
a
g
/
(x)dx = g(b) g(a) .
Teor 3.
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 identicamos 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 .
Si un campo vectorial f es gradiente de alguna funcin U, a U se le llama
funcin potencial para f , y el campo f se dice conservativo.
Cmo saber si f es conservativo? Podemos probar ya una condicin necesaria sencilla para
n=2 y n=3 , que es consecuencia inmediata de la igualdad U
xy
=U
yx
:
Teor 4.
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
, debe ser f
y
g
x
. Y lo mismo si n=3 .
_
Obsrvese que si ( f , g) es conservativo, el teorema de Green resulta 0=
_
( f , g)ds como deba ser

.
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 10. 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 .
Como

y
(y
2
) = 2y =

x
(2xy) , parece que f es conservativo. Y es fcil en este caso hallar U :
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 .
Ej 11. 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
.
Como se ve en este ejemplo, no basta la igualdad de las derivadas cruzadas para ser conservativo. Pero
hay que pedir poco ms para que s baste. [Los siguientes teoremas son ms difciles de demostrar].
Teor 5. Si f es C
1
en todo R
2
_
R
3

y f
y
g
x
_
rot f = 0

f es conservativo.
De hecho basta con que sea C
1
en lo que se llama un conjunto simplemente conexo (sin agujeros)].
[En el Ej10 sabemos ahora que es conservativo desde que vimos que f
y
g
x
; en el 11, f no era C
1
en (0, 0) ].
Teor 6.
Sea f continuo en un abierto DR
n
. Entonces son equivalentes las armaciones:
a) f es gradiente de una funcin potencial U en D.
b) La integral de lnea de f es independiente del camino en D.
c) La integral de f a lo largo de todo camino cerrado contenido en D es nula.
18
2.3. Integrales de supercie
Generalizamos las integrales de lnea. Una supercie a veces viene dada por F(x, y, z) = 0 . Si
se puede despejar la z , por z= f (x, y) . Pero lo ms general es que se puede describir mediante:
r : AR
2
R
3
, con r(u, v)=
_
x(u, v), y(u, v), z(u, v)
_
, (u, v) A
[2 grados de libertad frente
al nico t de las curvas].
y
x
r
pvf
z
v
u
A
r/v
r/u
S
Suponemos que la supercie S=r(A) es C
1
[lo es r ]. Entonces:
r
u
=
x
u
i +
y
u
j +
z
u
k y
r
v
=
x
v
i +
y
v
j +
z
v
k
sern vectores tangentes a las curvas contenidas en S obtenidas
tomando, respectivamente, v=k y u=k . Su producto vectorial
r
u

r
v
=

i j k
x
u
y
u
z
u
x
v
y
v
z
v

ser un vector normal a S .

producto vectorial
fundamental
y
x
z=f (x,y)
A
S
Si la superce se puede escribir en la forma z = f (x, y) una posible
parametrizacin de S es r(x, y)=
_
x, y, f (x, y)
_
, con (x, y)A proyec-
cin de S sobre z=0 . El producto vectorial fundamental resulta ser:
r
x
r
y
=

i j k
1 0 f
x
0 1 f
y

=(f
x
, f
y
, 1) .
Ej 1a. Parametricemos la semisupercie esfrica unidad superior. Una posibilidad:
y
x
r
pvf
z
v
u
S
/2
2
r
u
r
v
v
u
1
A
r
B
x(u, v)=senu cosv
y(u, v)=senusenv
z(u, v)=cosu
u[0, 2]
v[0, /2]
,
r
u
=cosu cosv i +cosu senv j senu k
r
v
=senu senv i +senu cosv j
Entonces r
u
r
v
=

i j k
senu
0

=sen
2
ucosv i +sen
2
usenv j +senucosu k
=senu(senucosv, senusenv, cosu)= senu r(u, v) .
O bien:
_
x, y,
_
1x
2
y
2
_
, (x, y)B crculo unidad y r
x
r
y
=
x

1x
2
y
2
i +
y

1x
2
y
2
j +k.
Integrales de supercie de campos escalares
Sea S la supercie C
1
dada por r: AR
2
R
3
y sea f : R
3
R tal que f
_
r(u, v)
_
es continua. Entonces:
__
S
f dS
__
A
f
_
r(u, v)
__
_
r
u

r
v
_
_
dudv .
[Y si S est formada por varias supercies C
1
se suman las integrales].
[Como en las de lnea se prueba que la integral de una f escalar no depende de la parametrizacin].
[Cuando f 1 el valor de la integral representa el rea de la supercie S ].
Ej 1b. Hallemos la integral de f (x, y, z)=z
2
sobre la supercie S del ejemplo 1a.
Primero con r(u, v)=(senucosv, senusenv, cosu) . |r
u
r
v
|=[ senu[|r|=senu
[ r es unitario
y senu0 ].
Por tanto,
__
S
z
2
dS =
_
2
0
_
/2
0
cos
2
u senu dudv =
2
3
_
cos
3
u

/2
0
=
2
3
.
Con la otra parametrizacin, el mdulo del producto vectorial fundamental resulta ser:
|r
x
r
y
|=
_
x
2
1x
2
y
2
+
y
2
1x
2
y
2
+1

1/2
=
1

1x
2
y
2

__
S
z
2
dS =
__
B
_
1x
2
y
2
dxdy =

_
2
0
_
1
0
r

1r
2
dr d =
2
3
_
(1r
2
)
3/2

1
0
=
2
3
.
polares
Veamos que la integral de supercie nos calcula bien el rea de S :
rea de S =
__
S
1dS =
_
2
0
_
/2
0
senu dudv = 2
_
cosu

/2
0
= 2
[el de toda la supercie
esfrica era 4 1
2
].
19
Integrales de supercie de campos vectoriales
Sea S de C
1
dada por r: AR
2
R
3
y sea f : R
3
R
3
continua sobre S . Entonces:
__
S
f dS
__
S
f n dS
__
A
f
_
r(u, v)
_

_
r
u

r
v
_
dudv =
__
A
f
_
r(u, v)
_
n(u, v)|r
u
r
v
|dudv
[si n es el vector unitario normal con el mismo sentido que el producto vectorial fundamental].
Se demuestra que, salvo el signo, esta integral es independiente de la parametrizacin.
n
n
[Hay dos normales unitarias a una supercie orientada: n y n (que conste
que hay supercies no orientadas como la banda de Moebius). Parametrizaciones
diferentes proporcionan p.v.f. que pueden tener el sentido de una o de otra.
f , S y el sentido de la normal s determinan la integral].
[El signicado fsico de esta integral es ujo del campo vectorial f a travs de la supercie S ].
Ej 1c. Integremos f(x, y, z)=(x, y, z) sobre la semisupercie esfrica S de siempre.
__
S
f dS =
__
A
r(u, v)
_
senu r(u, v)

dudv =

_
2
0
_
/2
0
senu dudv = 2
_
cosu

/2
0
= 2 .
r unitario
Con la otra parametrizacin: f (r
x
r
y
)=
_
x, y,
_
1x
2
y
2
_
_
x

1x
2
y
2
,
y

1x
2
y
2
, 1
_

__
S
f dS =
__
B
dxdy

1x
2
y
2
=

_
2
0
_
1
0
r(1r
2
)
1/2
dr d =2
_
(1r
2
)
1/2

1
0
=2 .
polares
Teorema de la divergencia en el espacio (o de Gauss-Ostrogradsky)
Sea V una regin del espacio limitado por una supercie conexa y sea f C
1
. Entonces:
___
V
div f dxdydz =
__
V
f n dS , con n vector normal unitario exterior a V .
Ej 1d. Comprobemos este teorema para la f(x, y, z)=(x, y, z) de arriba y la semiesfera unidad superior.
Por una parte:
___
V
div f dxdydz = 3
___
V
dxdydz = 3volumen de V = 3
1
2
4
3
1
3
= 2 .
Por otra, la V consta de dos partes, la S superior y el crculo B de la base:
__
V
=
__
S
+
__
B
.
y
x
z
S
f
B
n
f
Para la parte S de la frontera es n = f = r [ f n =1 ] ,
y para la B es n =k [ f n =(x, y, 0)(0, 0, 1)=0 ] .
Por tanto,
__
V
f n dS=
__
S
1dS+0 =rea de S = 2 .
Teorema de Stokes
S
S
n
n
Sea S una supercie en el espacio limitada por la curva S y sea f C
1
.
Entonces:
__
S
rot f n dS =
_
S
f ds , con n vector unitario normal a S
y con los sentidos de n y de recorrido de D indicados en el dibujo.
Ej 1e. Comprobamos el teorema para i) f(x, y, z)=(x, y, z) y ii) g(x, y, z)=(0, 0, y) , y la S habitual.
Para i) es rot f =0
__
S
rot f n dS =0 . Como rot f =0 , sabemos que f deriva de un potencial.
Casi a simple vista se ve que U =
1
2
(x
2
+y
2
+z
2
) cumple U = 0 . Por tanto,
_
f ds = 0 tambin.
Para ii) debemos echar alguna cuenta ms pues rot g=i
_
rot g n =(1, 0, 0)(x, y, z)=x

.
As pues,
__
S
rot g n dS =
__
S
x dS =
_
2
0
cosvdv
_
/2
0
sen
2
u du = 0 [la primera integral lo es].
Integral que tambin se puede hacer:
__
B
x dxdy

1x
2
y
2
=
_
2
0
_
1
0
r
2
(1r
2
)
1/2
cos dr d = 0 .
Una posible parametrizacin de S es c(t)=(cost, sent, 0) , t [0, 2] g(c(t))=(0, 0, sent) .
Por tanto,
_
g ds =
_
2
0
(0, 0, sent)(sent, cost, 0)dt =
_
2
0
0 dt = 0 , como deba ser.
[La integral de lnea a lo largo de la circunferencia se ha anulado, a pesar de no ser el campo conservativo.
En este caso, g y c
/
eran ortogonales. Sobre otras curvas cerradas, la integral de g ser distinta de 0.
Dijimos que para que g fuese conservativo, su integral a lo largo de todo camino cerrado deba ser nula].
20