2.

Clculo integral en Rn
2.1 Integrales mltiples. Cambios de variable
Integrales dobles. Su definicin generaliza la de la integral en R.
Sea f (x, y) acotada en un rectngulo R = [a, b][c, d] R2 .
Dividimos R en nn rectngulos Ri j = [x i1, x i ][yk1, yk ] ,
dc
de rea x y = ba
n
n . Llamamos, respectivamente, Mik y
mik al supremo e nfimo de f en cada Ri j y formamos las
sumas superior Un e inferior L n :
n
X

Un =

Mi j x y , L n =

i, j=1

n
X

Mik
d y
xi
b
x

mi j x y

i, j=1

mik
c

xi-1

yk-1 yk

(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 {Un } tienden

lmite, se dice que f es integrable en R ,
! al mismo
!
se representa el lmite comn por R f R f (x, y) dx dy y se llama integral de f en R .
!
f representar (similar a lo que suceda en R ) la suma de
R
los volmenes encerrados entre la grfica 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 finito de puntos

y de grficas de funciones continuas, entonces f es integrable en R .

Para calcular integrales dobles no se necesita la definicin, el problema se reduce a realizar dos
integraciones sucesivas de funciones de una variable:
"
Z dfZ b
Z bfZ d
g
g
Teorema
f continua en R
f =
f (x, y) dx dy =
f (x, y) dy dx .
de Fubini:

a
b
x

y=cte

y)
A(

d
y

Para cada y constante A(y) = a f (x, y) dx representa el rea de la seccin

del slido determinado por la grfica de f ; integrando A(y) entre c y d
!
Rd
obtenemos el volumen: R f = c A(y) dy . La otra igualdad es lo simtrico.
R

Ej 1. Sean R = [0, ][0, 1] y f (x, y) = y sen x . Calcular la integral es fcil:

"
R R 1
R  2 x 1
R sen x

1cos
f = 0 0 y sen x dy dx = 0 y sen
=1 .
0 dx = 0
2
2 dx =
2
R
"
R 1
R1
R 1 R


O bien:
f = 0 0 y sen x dx dy = 0 y cos x 0 dy = 0 2y dy = 1 .
R

No slo se puede integrar sobre rectngulos. Consideremos dos tipos sencillos de regiones D
(las ms complicadas se podrn dividir en otras de esa forma).
y
d(x)


i) f continua en D = (x, y) : a x b, c(x) y d(x) , con
"

Z bZ d(x)

c d continuas en [a, b]
Teor 3.

c(x)

f (x, y) dy dx .
a

c(x)



ii) f continua en D = (x, y) : c y d , a(y) x b(y) , con
"

Z dZ b(y)

a b continuas en [c, d]
D

f =

f =

f (x, y) dx dy .
c

a(y)

a(y)

b
b(y)

y
c

Cuando x vara entre a y b , la y vara entre c(x) y d(x) [e igual para ii)].
g
R d(x)
Rb
A(x) = c(x) f (x, y) dy describe el rea de la seccin del slido e a A(x) dx el volumen descrito .

11

Ej 2. Integremos f (x, y) = x cos(x + y) sobre el D del dibujo, que es de

los dos tipos considerados en el teorema 3:
"
Z fZ x
Z
g
f =
x cos(x + y) dy dx =
x [sen 2x sen x] dx
D
0
0
0
Z
f
g


1
3
= x(cos x 12 cos 2x) +
2 cos 2x cos x dx = 2 .
0

d(x)=x
b(y)=

a(y)=y

D
c(x)=0

O, con clculos ms largos, integrando primero respecto a x :

"
Z fZ
g partesZ
f =
x cos(x + y) dx dy =
[ sen y cos y y sen 2y cos 2y] dy = 3
2 .
D

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) = sen x 2 ,
Z fZ
g
no se podra hacer
sen x 2 dx dy , por ser la primitiva no calculable, pero s se puede hacer:
y

Z Z
0

sen x 2 dy dx =

x sen x 2 dx = 12 cos x 2


0

1
2 1


cos 2 .

[No olvidemos que la integral de una constante es la constante por la longitud del intervalo].
[Los corchetes que hemos escrito hasta la ltima expresin normalmente no se escriben].
"

(y2x) 3 dx dy , con D cuadriltero de vrtices (0, 0) , (1, 2) , (0, 2) y (1, 0) .

Ej 3. Calculemos
D

Para no tener que hacer 2 integrales, integramos primero respecto a x :

Z 2Z y/2
Z 2
R2

 y/2
(y2x) 3 dx dy = 18 (y2x) 4 y/21 dy = 0 2 dy = 4 .
y/21

y =2x +2
y
x=1
2

Con el otro orden de integracin hay que dividir en dos recintos:

Z 0Z

2x+2

1 0

Z 1Z

(y2x) 3 dy dx +
0

(y2x) 3 dy dx


44x 4 dx +

1
0

4(x 1) 4 dx = 4 45 + 45

2x

y =2x
x=y/2

=4 .

En recintos ms complicados no tendremos ms remedio que dividir. La integral sobre el recinto total D
siempre ser la suma de las integrales sobre cada uno de los subconjuntos:
Ej 4. Para calcular la integral de una f sobre el recinto limitado por y = x 2
e y = 2|x|1 podemos hacer:
"
Z 0 f Z x2
Z 1 f Z x2
g
g
f =
f (x, y) dy dx +
f (x, y) dy dx .









O bien, como
x = y , y = 2x 1 x = 12 (y+1) ,

se puede hacer (calculando ms integrales) tambin de esta forma:

Z
"
Z 1f Z y
Z 1 f Z (y+1)/2
Z 0f
(y+1)/2
g
g
g
f=
f (x, y) dx dy +
f (x, y) dx dy +
f (x, y) dx dy .

2x1

2x1

y = x2

(y+1)/2

(y+1)/2

Si en particular integramos f 1 obtendremos el rea de D :

A=

"

Z 0

1=

Z 1

(x 2 +2x + 1) dx +

(x 2 2x + 1) dx = 13 + 31 =

2
3

R 1
Integrales iguales por ser f 1 par en x y D simtrico respecto a x = 0 ; bastaba hacer 2 0 .
"
Z 1
Z 0
y 1 




1
+

y
dy
+
y+1 dy = 2 12
+ 12 = 23 12 = rea trigulo .
O bien: A =
1=2
2 2

Tomemos ahora f (xy) = 2x y y hallemos la integral por el primer camino:

"

Z 0


f =
=

xy 2

 x2

2x1 dx +

1
[ 15 +1 43 + 12 ]

Z 1

0

xy 2

 x2

Z 0

2x1 dx

1
+ [ 15 1+ 34 12 ] = 30
+

1
1
30

[x 54x 34x 2x] dx +

Z 1
0

[x 54x 3+4x 2x] dx

= 0.

Deba anularse por ser f impar en x y D simtrico respecto a x = 0 . El volumen negativo definido

por la grfica de f en la parte de D con x 0 se concela con el positivo de la parte con x 0 .


12

Cambios de variable. Generalicemos para integrales dobles la frmula de R:

R g(b)
f (g(u)) g 0 (u) du = g(a) f (x) dx , con g C 1 ([a, b])
en concreto, el caso de g inyectiva (creciente o decreciente) en [a, b] :
R
R
0 (u)| du =
f
(g(u))
|g
f (x) dx .
[a,b]
g([a,b])
!
v
En R2 nuestra situacin ser esta: para hallar D f (x, y) dx dy ;
R

b
a

realizaremos un cambio de variable g : D R2 D R2

g
a

D=g(D*)

D*

(u, v) x(u, v), y(u, v)

x
u
con el fin de que el nuevo recinto de integracin D o la nueva
funcin a integrar sean ms sencillas. Se puede demostrar (es complicado) que:


Sea g : (u, v) x(u, v), y(u, v) de C 1 , inyectiva en D , g(D ) = D y f integrable.
"
"

(x,y) 
Teor 4.
 du dv .
Entonces:
f (x, y) dx dy =
f x(u, v), y(u, v)  (u,v)

D
D

Como primer ejemplo de cambio de variable consideramos los cambios lineales:


x = Au+ Bv
(x,y)  A B 
=  C D  = AD BC , 0 define biyeccin de R2 en R2 .
. Si (u,v)
y = Cu+ Dv


"

f (x, y) dx dy = | AD BC|

"

f ( Au+ Bv, Cu+ Dv) du dv .

[Las regiones se transforman de forma sencilla por llevar las aplicaciones lineales rectas a rectas].
"

(x y) 2 ex+y dx dy .

Ej 5. Sea D el cuadrado de la figura y hallemos

(x + y = u
( x = (u+v)/2
La forma de f y el recinto sugieren: x y = v
.
y = (uv)/2

y=x

Las rectas que definen los lados pasan a ser: u = 0 , 1 , v = 0 , 1 .

"
R 1R 1
1/2 1/2 
= 12 . As pues
El jacobiano 
= 12 0 0 v 2 eu dudv = e1
6 .
1/21/2

y=1x

y=x

y=x1

Ms a menudo aparece y ms til es el cambio a polares:

( x =r cos
cos r sen 
(x,y)
 = r (cos2 +sen2 ) = r .

=
.
El
jacobiano
es
ahora:
(r,)
y =r sen
sen r cos 
"

Y el cambio adopta la forma:

D

f (x, y) dx dy =

"

r f (r cos , r sen ) dr d .

Qu D provienen de conjuntos D sencillos del plano r ?

Un rectngulo [r 1, r 2 ][ 1, 2 ] pasa a ser 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 .

r=f2( )

D*

r=f1( )

r1

r2

r1

r2

Si queremos hallar el rea en polares de una regin D

limitada en [, ] por r = f 1 () y r = f 2 () ser:
R R f ()
R
rea = f 2() r dr d = 21 [ f 22 () f 12 ()] d .
1

[Coincidente con mis apuntes de matemticas].

Ej 6. Hallemos

" p

4 x 2 y 2 dx dy , con D el sector circular del dibujo: y

La presencia de x 2 + y 2 y el aspecto de D piden a gritos las polares.

"
Z /2 fZ 2
p
f (4r 2 )3/2 g 2
g


r 4r 2 1/2 dr d = 2
r 4r 2 dr d =
= 4
3
3 .
D

el [] no depende de

octante de esfera %

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

(todos los puntos con r = 0 van al origen), pero el teorema sigue siendo vlido
aunque falle la inyectividad en puntos o rectas sueltas.

13

/2

D*
2

Aunque el integrando es sencillo en cartesianas, el recinto pide usar polares:

!
Ej 7. Calcular la integral doble D (x y) 2 dx dy , con D semicrculo dado por x 2 + y 2 4 , x 0 .




En polares es (r cos r sen ) 2 = r 2 cos2 +sen2 2 sen cos = r 2 1 sen 2 . Por tanto:
R /2
R /2 R 2


r 3 1 sen 2 dr d = 4 /2 (1 sen 2) d = 4 .
/2 0
por el jacobiano

x=

(es impar)

Deba ser mayor que 0 por ser el integrando positivo. En cartesianas sera mucho peor:
q
Z 2 Z 4y 2
Z 2



x 2 2x y+ y 2 dx dy =
y 3 4y+ 23 (y 2 +2) 4 y 2 dy =
2 0

4y2

r=2

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:
y

Ej 8. Integremos f (x, y) = x 2 +y 2 , sobre el semicrculo x 2 +(y1) 2 1 , y 1 .

Las curvas que limitan el recinto, escritas en polares quedan:
1

y =r sen = 1 r = 1/ sen , x 2 + y 2 = 2y , r 2 = 2r sen r = 2 sen .

Z 3/4
R 3/4
r 2 sen
dr
d
=
(2 sen2 1) d = /4 cos 2 d = 1 .
r2

Z 3/4Z 2 sen
/4

1/ sen

/4

Las cuentas se complican mucho si se intentan hacer de cualquier forma en cartesianas:

Z 1
Z 1 Z 1+1x 2





y
1
dy
dx
=
ln 2 + ln 1+ 1 x 2 + ln(1+ x 2 ) dx =
2
2
2
x +y
1

1 1

Z 2Z 2yy 2

O peor:

2yy 2

y
x 2 +y 2

dx dy

par en x

Z 2


arctan

x  2yy
y 0

Z 2

dy =

2y

arctan
1

dy =

Usemos el cambio a polares para hallar un integral impropia de una variable con primitiva no elemental:

Ej 9. Para calcular I =
Z Z

(x 2 +y 2 )

ex dx consideramos la integral doble:

dx dy =

y 2

x 2

/2

y 2

dx dy =
I e dy = I 2 .
0
0
0
0
0
Z /2Z
f
g
2
2
= 4 I =
En polares queda:
rer dr d = 2 12 er
e

Deducimos adems, por la paridad del integrando, que

2
ex dx = .

!
!
Adems del rea de D , A = D dx dy , y del volumen en D bajo f (x, y) 0 , V = D f dx dy , las
integrales dobles tienen otra serie de aplicaciones (las frmulas son anlogas para R3 ).
!
La masa de una placa D es M = D (x, y) dxdy , si (x, y) es su densidad.
!
!
1
1
El centro de masa de D es el punto (x, y) con x = M
x , y= M
y (centroide si = cte).
D
D
!
!
Los momentos de inercia respecto a los ejes x e y son: Ix = D y 2 , Iy = D x 2 .
Ej 10. Sea D semicrculo 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.

c.masa
centroide

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
!
R R R
2  r3  R
4R
y c = A1 D y dx dy = 2R2 0 0 r 2 sen dr d = R
2
3 0 = 3 0.42 R .

R
Para el centro de gravedad hay que incluir la densidad (r) = kr (simtrica). Tambin x = 0 .
R R R
R R R
3
Como la masa es M = 0 0 kr 2 dr d = R3 k , ser y = 3R3 0 0 r 3 sen dr d = 3R
2 0.48 R .
R R R
RR
R
5
Los momentos: Ix = k 0 0 r 4 sen2 dr d = k2 0 r 4 dr 0 [1cos 2] d = kR
10 .
R R R
RR
R
5
Iy = k 0 0 r 4 cos2 dr d = k2 0 r 4 dr 0 [1+cos 2] d = k10R .

Los clculos en polares llevan a integrales de senn cosm . Recordemos que si m o n son impares son

ms sencillas, y que si son pares se usan las igualdades sen2 = (1cos 2)/2 , cos2 = (1+cos 2)/2 .


14

Integrales triples. Anlogamente a n = 2 se define

f para una f (x, y, z) acotada en un

paraleleppedo B = [a, b][c, d][p, q] , que representar un volumen de un slido de cuatro
dimensiones con base B y altura en cada punto dada por f (x, y, z) . Esta integrales se podrn
calcular tambin con integrales iteradas:
$

Z qZ dZ b

f continua en B
B

f =

f (x, y, z) dx dy dz
p

[o las otras 5 iteradas

intercambiando los
papeles de x , y , z ].

Ej 11. Si f (x, y, z) = 2yz x y B = [0, 1][0, 2][0, 3] es:

$

Z 1Z 2Z

f =

3
0

Z 1Z

(2yz x) dz dy dx =

2
0

(9y3x) dy dx =

1
(186x)
0

Tambin podemos integrar sobre recintos V R3 ms generales.



Si V = (x, y, z) : a x b, c(x) y d(x) , p(x, y) z q(x, y) ,
con c d continuas en [a, b] y p q continuas en


D = (x, y) : a x b, c(x) y d(x) , y f continua en V
$

f =

Z bZ
a

z=q(x,y)

V
f(x,y)

d(x)Z q(x,y)

z=p(x,y)

c(x)

p(x,y)

Anlogas frmulas se obtienen variando los papeles de x , y , z ,

y muchos recintos que aparecen son de algunos de esos tipos.

f (x, y, z) dz dy dx .

Cuando f 1 ,

dx = 15 .

y=c(x)

y=d(x)

dx dy dz describir el volumen de V .

Lo ms difcil de las integrales triples es dibujar las grficas o al menos hacerse una idea de ellas para
saber cules de las funciones que definen los recintos son mayores o menores.
$

Ej 12. Calculemos
V

x dx dy dz , con V regin acotada por los planos:

x = 0 , y = 0 , z = 0 , x = 1 , y = 1 , x + y+z = 2 .

z =2 x y
1

En el cuadrado [0, 1][0, 1] del plano x y est z = 2 x y por encima de z = 0 .

$

x dx dy dz =

Z 1Z 1Z
0
1

2xy
0

2x x 2 x

Z 1Z

x dz dy dx =
 y2  1

2

0
1

dx =

(2x x 2 x y) dy dx

3x
2

2 x

dx = 43 13 =

5
12

O un poquito ms corto si cambiamos el orden de dx y dy - El primer paso es igual, y luego:

Z 1Z 1
Z 1


5
(2x x 2 x y) dx dy =
1 13 12 y dy = 23 14 = 12
.
0

Ej 13. Hallemos
V

f con f (x, y, z) = xyz y V el tetraedro cuyos

z=1xy

vrtices son (0, 0, 0) , (1, 0, 0) , (0, 1, 0) , (0, 0, 1) .

f =

Z 1Z 1xZ 1xy
0

Z 1
 x(1x)4

Z 1Z 1x

x yz dz dy dx =

Z 1

4
4
+ x(1x)
x(1x)
dx =
8
3

xy(1xy) 2
2

x(1x) 4
12 dx

dy dx

1
360

y=1x

ez dx dy dz , siendo V el slido limitado por

Ej 14. Calcular
V

x = 0 , x = 1 , y = 0 , y = 1 , z = 0 y la superficie z = 2 x 2 .

En [0, 1][0, 1] es z = 2 x 2 mayor que z = 0 (no se necesita el dibujo).

$
V

Z Z
1 2x 2
1 Z

0 0 0
1

Z Z
1 1 

2
x e2x 1 dy dx

x ez dz dy dx =

0 0

f
g1

2
2
x e2x x dx= 21 e2x + x 2 =
0

15

y
1
1

1
2

e2 e1 .

z=2x 2

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
$
$

(x,y,z) 
 du dv dw .
y f integrable
f (x, y, z) dx dy dz =
f g(u, v, w)  (u,v,w)
V
V
[Vale aunque g no sea inyectiva un nmero finito de puntos, curvas o superficies].

En particular nos interesan los cambios a cilndricas y esfricas. Definamos cada una de estas
coordenadas y familiaricmonos con ellas antes de hacer integrales.
z

O sea, polares del plano x y junto con la coordenada z .

( x =r cos
y, z) es trivial para z ,
y =r sen . Dar las cilndricas de un (x,
p
z=z
y adems se tiene que r = x 2 +y 2 , tan = yx .

Cilndricas:
r 0 , 0 < 2

El jacobiano es
$
V

 r cos r sen 0 
(x,y,z) 

=
(r,,z) r sen r cos 0  =
0
1
 0

f (x, y, z) dx dy dz =

z
y
x
z

z=cte

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

r , y, por tanto:

y
Qu conjuntos del espacio son sencillos en cilndricas? Los

x
r
=cte
r=cte
puntos r =C forman un cilindro, y los =C y z =C planos

(vertical y horizontal). Un paraleleppedo V se convierte en un V como el de la derecha.

Ej 15. Calcular la integral de la funcin f (x, y, z) = z ex

$

z ex

2 +y 2

Z 3Z

dx dy dz =

2Z 2
0

r z er dr d dz =
jacobiano

2 +y 2

94
2

sobre el cilindro x 2 + y 2 4 , 2 z 3 .
 2
4
3
2 12 er 20 = 5
2 (e 1) .
2

Lo mismo que integrar en z y hacer luego el cambio a polares.

cartesianas
se
R 2 En
R 2 no
2
2
puede hacer porque aparecen primitivas no calculables: e x +y dx o e x +y dy .

Esfricas:
r 0, 0
0 < 2

Como 2 =r 2 +z 2 , es = x 2 +y 2 +z 2 = r 2 +z 2 .
y = sen sen . Adems: tan = rz , tan = yx [mirando cuadrante].
z = cos
[A veces se suelen cambiar los nombres de y ,
p

( x = sen cos

z

y

pero usaremos la notacin de los libros de fsica].

x

sen cos cos cos sen sen 

cos sen 
cos sen 


(x,y,z)
2
2
2
3
(,,) = sen sen cos sen sen cos  = cos sen sen cos  + sen sen cos 

 cos
sen
0

= 2 sen

$
V

f (x, y, z) dx dy dz =

es el jacobiano y por tanto:

2 sen f ( sen cos , sen sen , cos ) d d d

En esfricas, =C describe una superficie esfrica,

= C es un plano y = C una superficie cnica.
Un recinto simple V en esfricas es, por tanto, el
dibujado a la derecha. [El ms sencillo de todos, desde
luego, es la propia esfera que tantas veces aparece].

z =cte (plano)

=cte

(esfera)

=cte (cono)



Ej 16. Escribamos el punto de coordenadas cartesianas 1, 1, 6 en los otros dos sistemas.



r = 1+1 = 2 . tan = 1 y 2 cuadrante = 3
no es, por tanto, = arctan(1) = 4 .
4


Las coordenadas cilndricas (polares ms la z ) del punto son, pues:
2 , 3
4 , 6 .

 [ es la de


5 3
= 1+1+6 = 2 2 . tan = 2 = 1 , = 5
6 . ( , , ) = 2 2 , 6 , 4 . las cilndricas].
6

En los siguientes ejemplos se ve que muchos veces las cartesianas no son las coordenadas ms adecuadas
para calcular integrales (si lo eran en los ejemplos de la pgina anterior). En el primero, lo ms corto son
las cilndricas (o polares) y en el segundo, integrando sobre esfera, lo son las esfricas.

16

p
Ej 17. 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 dx dy dz .

En cartesianas es fcil el recinto, pero difciles las integrales:

Z 1Z 1Z x 2 +y 2
Z 1Z 1q
f ordenador, tablas o g
dz dx dy =
x 2 +y 2 dx dy = p 2 2
0

1
2

0
1

x +y = x +u

p


p
1+ y 2 y 2 ln y + y 2 ln 1+ 1+ y 2 dy =

En cilndricas (o polares en la segunda integral): x = 1 r = cos1 , cono y recinto simtricos,

Z /4Z 1/ cos

2
0

r2

dr d =

2
3

Z /4
0

d
cos3

=
=

Z /4Z /2Z 1/ cos sen

Esfricas: 2

/4

Z 1/2
2
du
cos d
=
cos4 u=sen 3
(1u 2 ) 2
0
0

1  1/ 2
1
 1+u  1
= 13 2
6 log  1u  1+u + 1u 0
2
3

Z /4

2 sen d d d = 23

Z /2
/4

d d
2
3
/4 sen cos

Ej 18. Calculemos el volumen de la esfera unidad. En esfricas:

Z 2Z 1Z
f
g f 3 g 1
vol =
=
2 sen d d d = 2 cos
3
0

4
3


+ ln 1+ 2 .

= 23

/4

Z
0

d
cos3

como
antes

En cilndricas por dos caminos (ms largo):

Z 2Z 1 Z 1z 2

vol =

vol

1 0
Z 2Z 1Z 1r 2
=

0
0 1r 2
0

r dr dz d = 2
r dz dr d = 2

Z 1
1

Z 1
0

1z 2
2

dz =

4
3

2r 1 r 2 dr =

4
3

Las cartesianas son las coordenadas menos adecuadas aqu:

Z 1Z 1yZ
Z 1Z 1y 2q
2
1x 2 y 2
vol = 8
dz dx dy = 8
1 x 2 y 2 dx dy
0

q
Z

= cambio x = 1 y 2 sen t = 8

2
4 (1 y )

z=1x2y2

x=1y 2

dy =

4
3 .

Aplicaciones fsicas similares a las vistas para las integrales dobles son:
#
Masa de un slido V es M = V D(x, y, z) dx dy dz , si D(x, y, z) es su densidad.
#
#
#
1
1
1
Centro de masa de V es (x, y, z) con x = M
x D , y= M
y D , z= M
zD.
V
V
V
#
2
2
Momento de inercia respecto al eje z : Iz = V (x + y ) D (anlogos los otros).
Ej 19. Hallemos la posicin del centro de masa de una semiesfera slida homognea.


Por simetra, ser x = y = 0 . Volumen = 23 R3 . Masa = 23 R3 D , D constante .
Z 2Z /2Z R
f 4 g R f 2 g /2
3
sen
3 sen cos d d d = R33 4
= 3R
z = 2R
3
2
8 = 0.375R .
0

[El recinto peda a gritos utilizar las coordenadas esfricas].

17

2.2 Integrales de lnea

Una funcin vectorial era c : [a, b] Rn , c(t) = (x 1 (t), ... , x n (t))
cuya grfica es una curva C en Rn y el vector tangente a la curva
era c0 (t) = (x 10 (t), . . . , x n0 (t)) . Se llama a c tambin camino en Rn .
c es camino C 1 si es continua y c0 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 finito de subintervalos en cada uno de los cuales c es C 1 .


Ej 1. c : 0, 2 R2 con c(t) = (cos t, sen t) es una trayectoria C 1 pues


c0 (t) = ( sen t, cos t) existe t 0, 2 .

c : [0, 1] R2 con c(t) = t, 1t 2 , c0 (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 .

c'(t)

c(a)

c(t)
c(b)

c
[ t
a

]
b

y c(/2)

x
c(0)

c*

Comencemos definiendo la integral de campos escalares a lo largo de curvas:

Sea c(t) : [a, b] Rn un camino C 1 y sea f un campo escalar en Rn tal que


f c(t) es continua en [a, b] . La integral de f a lo largo de c se define:
Z
Z b


f ds
f c(t) k c0 (t)k dt .
c
a
R
Si c(t) es slo C 1 a trozos o f (c(t)) continua a trozos, definimos c f ds descomponiendo [a, b] en intervalos sobre los que f (c(t)) k c0 (t)k sea continua y sumando
las integrales sobre cada uno de ellos.
Ej 1*. Si f (x, y) = xy 2 Z
y c , c son los de arriba, las integrales a lo largo de las dos trayectorias son:
Z /2

f ds =
cos t sen2 t 1 dt = 31 sen3 t 0/2 = 31 .
Z c
Z 10

f ds =
t (1t 2 ) 1 2 dt = 13 (1t 2 ) 3/2 10 = 31 .
c

1t

No es casualidad que ambas integrales coincidan. Se prueba que:

R
R
R
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 Rde una f escalar no depende de la parametrizacin, slo de la

curva, es lcita la notacin C f ds (integral de f sobre C ) en la que c no aparece.
Interpretemos esta integral. Sea primero f 1 . Si pensamos que c(t) describe una partcula, al
ser kc0 (t)k la velocidad escalar en el instante t , parece claro que ds = k c0 (t)k dt (diferencial
de arco) representa la distancia recorrida en un diferencial de tiempo dt y por tanto:
R
Rb
L = C ds = a k c0 (t)k dt representa la longitud de la curva C definida por c .
Ej 2. Hallemos la longitud de la curva descrita por c(t) = (t 2, t 3 ) , t [0, 1] .
Z 1

3/2
3/2 
1
kc0 (t)k = 4t 2 +9t 4 L = t 4+9t 2 dt = 27
(4+9t 2 ) 10 = 13 27 8 1.44.

y
1

O con otra parametrizacin de la misma curva:

Z 1

1/2
(x, x 3/2 ) , x [0, 1] L =
1+ 9x
dx =
4
0

x
1

8
27

1+ 9x
4

3/2  1
0

8  133/2
27
8


1 .

z
f (x(t),y(t))
RSi ahora f es cualquier campo con f (c(t)) 0 t [a, b] ,
y
f ds representa para n = 2 el rea de la valla de altura
c
f (x, y) en cada (x, y) de la curva C , pues un diferencial
x
de valla tiene rea f (c(t)) ds = f (c(t)) k c0 (t)k dt .
c(t)=(x(t),y(t))
Otra posible interpretacin para n = 2 o n = 3 : si c(t) describe un alambre (en
R el plano o en el
espacio) de densidad variable dada por (x) , la masa del alambre ser M = C ds .
R
Tambin da el valor medio de una f sobre C : L1 C f ds .

18

Definamos ahora las integrales de lnea de campos vectoriales:

Sean c(t) : [a, b] Rn de C 1 y f : Rn Rn campo vectorial continuo sobre la grfica de c .
Z
Z b


La integral de lnea del campo f a lo largo de c se define
f ds =
f c(t) c0 (t) dt .
a

Si f(c(t)) c0 (t) es slo continua a trozos, dividimos el intervalo y sumamos la integrales.

0

Si c0 (t) , 0 t y T(t) = kcc0 (t)

(t) k es el vector tangente unitario:
R
Rb
R

f ds = a f(c(t)) T(t) kc0 (t)k dt = c f T ds ,
c

f((c(t))
T(t)

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:
Z

f ds es el trabajo realizado por un campo de fuerzas f sobre la partcula que recorre c .

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) :
Z b
R
R

0

0 
f (x, y) dx + g(x, y) dy
f

ds
=
f
x(t),
y(t)
x
(t)
+
g
x(t),
y(t)
y
(t)
dt

c
c
a

[La notacin es similar para n > 2 ; cuidado!, sigue siendo integral de lnea].
Ej 3. Calculemos varias integrales del lnea del campo f(x, y) = (x 2, 2y+ x) :


c1 (t) = (t, t) , t [0, 1] , c2 (t) = (4t 2, 4t 2 ) , t 0, 12 , c3 (t) = (1t, 1t) , t [0, 1]
[describen la misma curva, la tercera en sentido contrario].
y
R1
R
1
11
2
f ds = 0 (t , 3t) (1, 1) dt = 6 ,
c1,2
c1
c5
c4
R
R 1/2
4, 12t 2 ) (8t, 8t) dt = 11 ,
f

ds
=
(16t
6
c2
0
c3
x
R
R1
11
2
1
f

ds
=
.
(1t)
,
3(1t))

(1,
1)
dt
=

6
c3
0

R
R1
R2
(t, 0) , t [0, 1]
2
c4 (t) =
, c f ds = 0 (t , t) (1, 0) dt + 1 (t 2, 2t 1) (0, 1) dt = 73 .
4
(1, t 1) , t [1, 2]

R
R1
R2


(0, t) , t [0, 1]
c5 (t) =
, c = 0 (0, 2t) (0, 1) dt + 1 (t 1) 2, 2+t (1, 0) dt = 65 .
(t 1, 1) , t [1, 2]

[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 final].
Ej 4. Hallemos la integrales para los mismos ck de arriba, pero para el campo g(x, y) = (y, x4y) :
R
R1
R1
g ds = 0 (t, 3t) (1, 1) dt = 0 2t dt = 1 ,
c1
R 1/2
R 1/2
R
g ds = 0 (4t 2,12t 2 ) (8t, 8t) dt = 0 16t 3 dt = 1 ,
c2
R1
R
R1
g ds = 0 (1t), 3(1t)) (1, 1) dt = 0 2(1t) dt = 1 . [nica distinta].
c3
R2
R2
R
R1
g ds = 0 (0, t) (1, 0) dt + 1 (t 1, 54t) (0, 1) dt = 1 (54t) dt = 1 .
c4
R1
R
R1
R2
g ds = 0 (t,4t) (0, 1) dt + 1 (1, t 5) (1, 0) dt = 0 4t dt + 1 = 1 .
c
5

Ej 5. Si c(t) = (t, t 2, 1) , la integral

R
c

zx 2 dx + x y dy + y 3 dz =

1
0

(t 2 1 + t 3 2t + t 6 0) dt =

11
15

Ej 6. 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) :
R
Rb
z


d ds = a (d 1, d 2, d 3 ) x 0 (t), y 0 (t), z 0 (t) dt
r
r(t) b






a
= 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 .
y
x

f=d

Si consideramos c(t) = r(a+bt) , t [a, b] , que recorre la misma curva en

R
Rb


sentido opuesto, el trabajo es c d ds = a (d 1, d 2, d 3 ) x 0 (t),y 0 (t),z 0 (t) dt = d (ba) .

19

Veamos qu pasa en general con la integral al hacer un cambio en el parmetro que describe la curva.
Sea c : [a, b] Rn y h : [a1, b1 ] [a, b] una biyeccin C 1 . Si llamamos p = c h : [a1, b1 ] Rn , las
trayectorias p(u) , u [a1, b1 ] y c(t) , t [a, b] , describen la misma
b
b
h
curva, en el mismo sentido o en sentido opuesto segn sea, respech
a
a
tivamente, h(a1 ) = a y h(b1 ) = b o h(a1 ) = b y h(b1 ) = a [se dice
a1
a1
b1
b1
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 Zo en el opuesto
se tiene, respectivamente:
Z
Z
Z
f ds =

p0 (u) = c0 (h(u)) h 0 (u)

R
p

f ds =

f ds , o bien
p

fds =

b1
a1

f ds
p

R
Rb




f c(h(u)) c0 (h(u))h 0 (u) du , c f ds = a f c(t) c0 (t) dt .

Haciendo en la primera integral h(u) =t , no cambian o s los lmites de integracin y de ah el teorema.

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.
Ej 7. 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.
H 

Las integrales sobre curvas cerradas suelen representarse con el smbolo
.
Eligiendo c(t) = (cos t, sen t) , t [0, 2] o [, ] , o . . . ,
I
R 2
f ds = 0 ( sen t, 0) ( sen t, cos t) dt = .

Con cualquier parametrizacin que proporcione el mismo sentido se llega a lo mismo.

Ej 8. Calculemos la integral de lnea del campo vectorial g(x, y, z) = z , ey, xy desde (1 , 0 , 0)
hasta (1 , 2 , 3) a lo largo del segmento que une los puntos.
z
3
Hay muchas formas de parametrizar un segmento en el espacio. Para este,
con x = 1 constante, una c salta a la vista: c(t) = (1, 2t, 3t) , t [0, 1] .
Esta parametrizacin es la que nos dara la expresin general vista en 1.1:
y
c(t) = p + (qp) t , t [0, 1] [si t = 0 estamos en p y si t = 1 en q ].
2




O tambin, viendo el dibujo de la derecha: c(y) = 1, y , 32 y , y [0, 2] .
Calculemos ya la integral pedida (con la primera de las parametrizaciones dadas):
Z
Z 1
Z 1




g ds =
3t, e2t , 2t (0, 2, 3) dt =
2e2t +6t dt = 2e2 + 2 .
c

Integrales de gradientes. Generalizamos la frmula de R:

b
a

g 0 (x) dx = g(b) g(a) .

Sea U : Rn R un campo escalar

C 1 y c : [a, b] Rn camino C 1 a trozos.
Z




Teor 3.
Entonces:
U ds = U c(b) U c(a) .
c

Si c C 1 (si no, dividimos),

b
a

U (c(t)) c0 (t) dt =

b
a

U c) 0 (t) dt = U (c(b))U (c(a)) .

b
Por tanto, la integral de lnea de un gradiente no depende del camino,
slo del punto inicial y final. Si identificamos un campo como un gradiente,
la
a
H integral es muy sencilla. Si c(a) = c(b) , c describe una curva cerrada e
U

ds
=
0
:
la
integral
de
lnea
de
un
gradiente
a
lo
largo
de
una
curva
cerrada
es 0 .
c

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? Una condicin necesaria sencilla para n = 2 y n = 3 es:


Si f(x, y) = f (x, y), g(x, y) de C 1 es conservativo f y gx .
Teor 4.


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 , g) = (Ux, Uy ) = U, con U C 2 , debe ser f y gx , pues Uxy = Uyx . Lo mismo si n = 3 .
20

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 9. 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) ca = (t, t) , b) cb = (t, t 2 ) , c) cc = t, 2t t 2 , con t [0, 1] todas.
Las integrales en cada caso son:
y
R1
R1
1
cc
a) 0 (t 2, 2t 2 ) (1, 1) dt = 0 3t 2 dt = 1 ,
ca
R1
R1
b) 0 (t 4, 2t 3 ) (1, 2t) dt = 0 5t 4 dt = 1 ,
cb
x
Z 1
1



R
1
c)
(2t t 2, 2t 2t t 2 ) 1, 1t 2 dt = 0 (4t 3t 2 ) dt = 1 .
Como

2
y (y )

2tt

= 2y =

x (2x y) ,

parece que f es conservativo. Y es fcil en este caso hallar U :

Si Ux = y 2 , debe ser U = x y 2 +p(y) para alguna funcin p

U (x, y) = x y 2 .
Si Uy = 2xy , debe ser U = x y 2 +q(x) para alguna funcin q
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) = 1 0 = 1 .

El campo (y, 0) del ejemplo 7 no era conservativo. No poda serlo desde que vimos que

su integral sobre un camino cerrado era no nula. Pero tambin lo asegura f y = 1 , 0 = gx .
Ej 10. Hallemos la integral de f(x, y) =

x 2 +y 2

Si c(t) = (cos t, sen t) , t [0, 2] ,

c

No puede haber un potencial

a lo largo de x 2+y 2 = 1 en sentido antihorario.

R 2
f ds = 0 ( sen t, cos t) ( sen t, cos t) dt = 2 .

x 2 +y 2

C1

H
c

x
que contenga la curva, pese a ser f y = gx = (xy2 +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. [El siguiente teorema es ms difcil de demostrar].
 


Teor 5. Si f es C 1 en todo R2 R3 y f y gx 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 Ej9 sabemos ahora que es conservativo desde que vimos que f y gx ; en el 10, f no era C 1 en (0, 0) ].

Ej 11. Calculemos la integral de lnea del campo vectorial f(x, y, z) = (4x , 3z2y , 3y) desde (1 , 0 , 0)
hasta (1 , 2 , 3) a lo largo del segmento que une los puntos.
Como en el ejemplo 8 ya parametrizamos el segmento, podemos hallar la integral directamente:
R
R1
R1



c(t) = (1, 2t, 3t) , t [0, 1] c f ds = 0 1, 5t, 6t (0, 2, 3) dt = 0 28 t dt = 14 t 2 10 = 14 .
 i


Pero para este campo es rot f =/x /y /z  = (33) i + (00) j + (00) k = 0 .



 4x 3z 2y 3y 

C1

y adems f es
en R . Existe, por tanto, una funcin potencial U (x, y, z) para el campo f .
Ux = 4x U = 2x 2 + p(y, z)
Debe ser Uy = 3z2y U = 3yz y 2 + q(x, z) , U = 2x 2 +3yz y 2
R
Uz = 3y U = 3yz + r (x, y)
f ds = U (1, 2, 3)U (1, 0, 0) = 162 = 14 .
c
Este es el valor de la integral sobre cualquier camino que una los puntos, por complicado que sea.


2
Por ejemplo, hallemos la integral a lo largo de c(t) = ett , 2t 3, 3t 2 , t [0, 1] :
Z
Z 1
Z 1






2
2
2
4ett , 9t 2 4t 3, 6t 3 (12t)ett , 6t 2, 6t dt =
2(24t)e2t2t +90t 4 24t 5 dt
f ds =
c

= 2e2t2t + 18t 5 4t 6

1

= 14

El campo g del ejemplo 8 no era conservativo, pues rot g = (x, 1 y, 0) , 0 .

21

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 definir las integrales de superficie.
curva simple

Una curva simple ser la imagen de una c : [a, b] R2 , 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 .

curva no
simple

curva cerrada
simple

Teorema de Green:
Sea D R2 limitado"por D curva cerrada simple y el campo f = ( f , g) C 1(D) . Entonces:
[ gx f y ] dx dy =

f dx + g dy

Obsrvese que si f es conservativo, el teorema de Green dice 0 =

f ds .
H


f ds como deba ser .

Ej 7*. Encontremos, usando Green, el valor de la integral de f(x, y) = (y, 0)

sobre la circunferencia unidad calculado ya en el ejemplo 7.
Como el sentido de recorrido es opuesto al que pide Green y gx f y = 1 es:

"

f ds =


Ej 12. Hallemos
2

Z
0

/2Z

/2
0

dx dy = rea de D = 12 = .

(0+e4 cos t 1) dt

(et 1+0) dt

(0+cos t 1) dt
0

/2 

(2e2x cos y ex cos y) dx dy = [sen y]0

(t,/2)

/2

/2

0
2

Con Green:
0

"

ex sen y dx + e2x cos y dy siendo D el rectngulo [0, 2][0, 2 ] . y

(0 1+0) dt +

(1) dx dy =

(0,t)

(2,t)

||

e2x e

x2

0=

e4 e2 .

Ej 13. Calculemos el rea encerrada por la hipocicloide x 2/3 + y 2/3 = a2/3 .

!

A = D dxdy = 12 D x dy y dx , pues gx f y = 2 . En este caso:

c() = (a cos3 , a sen3 ) , [0, 2] es una posible parametrizacin.
R 2 

A = 21 0 (a cos3 )(3a sen2 cos ) (a sen3 )(3a cos2 sen ) d
R 2
R
3 2 2
= 32 a2 0 sen2 cos2 d = 16
a 0 [1cos 4] d = 38 a2 .

(t,0)

a
a

a
a

Del teorema de Green se deduce fcilmente el teorema de la divergencia en el plano:

Sean D R2 limitado por D curva cerrada simple, f :"
D R2 campo vectorial
C1,
I
y n el vector normal unitario exterior a D . Entonces
div f dx dy =
f n ds .
D

(y0 (t),x 0 (t))

Si D viene dada por c(t) = x(t), y(t) , la normal es n = kc0 (t) k .
H
R b

Si f = ( f , g) , D f n ds = a f (x(t), y(t)) y 0 (t) g(x(t), y(t)) x 0 (t) dt
D

Green !
= D f dyg dx = D ( f x +gy ) dx dy .

(x', y')

Ej 14. Comprobemos este teorema para f(x, y) = (7, y 2 1) en el semicrculo r 3 , 0 :

"
R R 3
div f = 2y ,
2y dx dy = 0 0 2r 2 sen dr d = 36 .
D
Z
R3
D
Para C1 , si c(x) = (x, 0) , x [3, 3] , n = (0, 1) ,
(1 y 2 ) ds = 3 dx = 6 .
C1

Para C2 , si c(t) = (3 cos t, 3 sen t) , t [0,] , kc0 (t)k = 3 . Como n = (cos t, sen t) ,
Z
R


f n ds = 3 0 7 cos t +9 sen3 t sen t dt = 30 .
C2

22

2.3. Integrales de superficie

Generalizamos las integrales de lnea. Una superficie 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:


[2 grados de libertad frente
r : A R2 R3 , con r(u, v) = x(u, v), y(u, v), z(u, v) , (u, v) A al nico t de las curvas].
Suponemos que la superficie S = r( A) es C 1 [que lo es r ]. Entonces:
r
u

x
u

i+

y
u

j+

z
u

r
v

x
v

y
v

i+

j+

z
v

k
S

y
x

k 

z 
u  ser un vector normal a S .
z 
v 

y
u
y
v

fundamental

r/v
r/u

sern unos vectores tangentes a las curvas contenidas en S obtenidas

tomando, respectivamente, v = k y u = k . Su producto vectorial
 i

x
r
r
u v =  u
 x
producto vectorial  v

pvf

v
A
u

Si la superfice se puede escribir en la forma z = f (x, y) una posible parame

trizacin de S es r(x, y) = x, y, f (x, y) , con (x, y) A proyeccin de S
sobre z = 0 . El producto vectorial fundamental resulta ser en este caso:

z=f (x,y)
S
y

 i j k 



rx ry = 1 0 fx  = ( f x , f y , 1) .



A
x

0 1 fy 

Ej 1a. Parametricemos la semisuperficie esfrica unidad superior. Una posibilidad:

x(u, v) = sen u cos v
ru = cos u cos v i + cos u sen v j sen u k
u [0, 2]
y(u, v) = sen u sen v
,
v [0, /2] rv = sen u sen v i + sen u cos v j
z(u, v) = cos u
Entonces

S
u

B
x

 i
j
k 


ru rv =  sen u  = sen2 u cos v i + sen2 u sen v j + sen u cos u k


 0  = sen u(sen u cos v, sen u sen v, cos u) = sen u r(u, v) .

O bien: q


x , y , 1 x 2 y 2 , (x, y) B crculo unidad y rx ry =

x
1x 2 y 2

i+

y
1x 2 y 2

pvf

j + k.

rv

ru

v
r

/2

Integrales de superficie de campos escalares

Sea S la superficie
C 1"
dada por r : A R2 R3 y sea f : R3 R tal que f r(u, v) es continua.
"

r r
v du dv .
Entonces:
f dS
f r(u, v) u
S

[Y si S est formada por varias superficies 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 superficie S ].
Ej 1b. Hallemos la integral de f (x, y, z) = z 2 sobre la superficie S del ejemplo 1a.
unitario
Primero con r(u, v) = (sen u cos v, sen u sen v, cos u) . krurv k = | sen u|krk = sen u [ yr es
sen u 0 ].
R 2R /2
!

2
3  /2
Por tanto, S z 2 dS = 0 0 cos2 u sen u du dv = 2
3 cos u 0 = 3 .

Con la otra parametrizacin, el mdulo del producto vectorial fundamental resulta ser:
2


2
krx ry k = 1xx2 y 2 + 1xy2 y 2 +1 1/2 = 1 2 2
1x y
" q
"
R 2R 1

2
2 3/2  1 = 2 .
2
2
2
z dS =
1x y dx dy =
r 1r dr d = 2
0
3 (1r )
3
0
0
S

polares

Veamos que la integral de superficie nos calcula bien el rea de S :

!
R 2R /2


rea de S = S 1 dS = 0 0 sen u du dv = 2 cos u 0/2 = 2

23

[el de toda la superficie

esfrica era 4 12 ].

Integrales de superficie de campos vectoriales

Sea S de C 1 dada por r : A R2 R3 y sea f : R3 R3 continua sobre S . Entonces:
"
"
"
"



r r

f r(u, v) n(u, v) krurv k du dv
v du dv =
f dS
f n dS
f r(u, v) u
S

[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
[Hay dos normales unitarias a una superficie orientada: n y n (que conste
que hay superficies no orientadas como la banda de Moebius). Parametrizaciones
diferentes proporcionan p.v.f. que pueden tener el sentido de una o de otra.
n
f , S y el sentido de la normal s determinan la integral].
[El significado fsico de esta integral es flujo del campo vectorial f a travs de la superficie S ].
Ej 1c. Integremos f(x, y, z) = (x, y, z) sobre la semisuperficie esfrica S de siempre.
"
"
R 2R /2




f dS =
r(u, v) sen u r(u, v) du dv = 0 0 sen u du dv = 2 cos u 0/2 = 2 .
S

r unitario

Con la otra parametrizacin: f (rx ry ) = x , y , 1x 2 y 2

p

"

"

f dS =

dx dy
B

1x 2 y 2

2R 1
r (1r 2 ) 1/2
0
0



x
1x 2 y 2

y
1x 2 y

,1
2

f
g1
dr d = 2 (1r 2 ) 1/2 = 2 .

polares

Teorema de la divergencia en el espacio (o de Gauss-Ostrogradsky)

1
Sea$
V una regin del espacio
" limitado por una superficie conexa y sea f C . Entonces:
V

div f dx dy dz =

f n dS , con n vector normal unitario exterior a V .

Ej 1d. Comprobmoslo para la f(x, y, z) = (x, y, z) de arriba y la semiesfera unidad superior.

#
#
Por una parte: V div f dx dy dz = 3 V dx dy dz = 3 volumen de V = 3 21 43 13 = 2 .
!
! !
Por otra, la V consta de dos partes, la S superior y el crculo B de la base: V = S + B .
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 1 dS + 0 = rea de S = 2 .

S
f

B
x

Teorema de Stokes
Sea S una superficie en el espacio limitada por la curva S y sea f C 1 .
"

Entonces:
S

rot f n dS =

I
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.
H
Casi a simple vista se ve que U = 12 (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 .
R 2
R /2
!
!
As pues, S rot g n dS = S x dS = 0 cos v dv 0 sen2 u du = 0 [la primera integral lo es].
"
R 2R 1
x dx dy = 0 0 r 2 (1r 2 ) 1/2 cos dr d = 0 .
Integral que tambin se puede hacer:
2
2
B

1x y

Una posible parametrizacin de S es c(t) = (cos t, sen t, 0) , t [0, 2] g(c(t)) = (0, 0, sen t) .
H
R 2
R 2
Por tanto, g ds = 0 (0, 0, sen t) ( sen t, cos t, 0) dt = 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 0 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].

24