C

ALCULO INTEGRAL
Vctor Manuel S anchez de los Reyes
Departamento de Analisis Matem atico
Universidad Complutense de Madrid

Indice
1. Integracion 5
1.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. El teorema de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Propiedades de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. El teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5. El teorema del cambio de variables . . . . . . . . . . . . . . . . . . . . . . 23
1.6. Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2. Integral de lnea y de supercie 35
2.1. La integral de trayectoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2. La integral de lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3. Campos conservativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.4. El teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.5. Integrales de supercie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.6. El teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.7. El teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Bibliografa 63
3
Captulo 1
Integraci on
1.1. Funciones integrables
Sea f : A R
n
R una funcion acotada siendo A acotado. Elijamos un rect angulo
B = [a
1
, b
1
] [a
n
, b
n
] que contenga a A. Adem as, denamos la funcion f sobre todo
B d andole el valor 0 fuera de A. Sea P una partici on de B obtenida al dividir cada [a
i
, b
i
]
mediante los puntos a
i
= x
i
0
< x
i
1
< < x
i
m
i
= b
i
formando los m
1
. . . m
n
subrect angulos
[x
1
j
1
, x
1
j
1
+1
] [x
n
j
n
, x
n
j
n
+1
]
con 0 j
i
m
i
1. Denimos el volumen de B, v(B), como el producto de las longitudes
de las aristas de B, es decir,
v(B) = (b
1
a
1
) . . . (b
n
a
n
).
Denimos la suma inferior de f para P, s(f, P), como
s(f, P) =

RP
nf
xR
f(x) v(R)
donde la suma se realiza sobre todos los subrect angulos R de P. An alogamente, denimos
la suma superior de f para P, S(f, P), como
S(f, P) =

RP
sup
xR
f(x) v(R).
Algunas propiedades de s(f, P) y de S(f, P) son las siguientes:
(i) s(f, P) S(f, P).
5
(ii) s(f, P) s(f, P

) y S(f, P

) S(f, P) donde P

es un renamiento de P, es decir,
cada subrectangulo de P

est a contenido en uno de P. Esto es debido a que el nmo

(supremo) de f en un rect angulo es menor (mayor) o igual que el nmo (supremo) de f
en un rect angulo contenido en el.
(iii) s(f, P

) S(f, P

) siendo P

y P

dos particiones cualesquiera de B. En efecto,

si P es una partici on de B que rena a P

y a P

, lo cual podemos conseguir usando todos

los puntos de divisi on de ambas, entonces
s(f, P

) s(f, P) S(f, P) S(f, P

).
(iv) Los conjuntos s(f, P) : P partici on de B y S(f, P) : P partici on de B est an
acotados inferiormente por nf
xB
f(x) v(B) y superiormente por sup
xB
f(x) v(B). Esto se
tiene gracias a que f y B est an acotados. Usando la propiedad anterior se tiene que
sups(f, P) : P partici on de B nfS(f, P) : P partici on de B.
Denicion 1.1.1. Si f es una funcion acotada denida en un conjunto acotado A, se
dene la integral inferior de f sobre A como
_
A
f = sups(f, P) : P partici on de B
y la integral superior de f sobre A como
_
A
f =nfS(f, P) : P partici on de B
donde B es cualquier rectangulo que contenga a A. Decimos que f es integrable (Riemann)
sobre A si
_
A
f =
_
A
f y denimos la integral de f sobre A,
_
A
f, como su valor com un.
Proposicion 1.1.2 (Condici on de Riemann). Sea f : A R
n
R una funcion acotada
con A acotado. Entonces son equivalentes:
(i) La funcion f es integrable.
(ii) Para todo > 0 existe una particion P

tal que
S(f, P

) s(f, P

) < .
Demostracion. (i)(ii). Dado > 0 existe una partici on P

tal que
S(f, P

) <
_
A
f +

2
.
6
Esto es debido a que
_
A
f = nfS(f, P) : P partici on de B. Analogamente existe una
partici on P

tal que
s(f, P

) >
_
A
f

2
.
Sea P

= P

. Entonces
_
A
f

2
< s(f, P

) S(f, P

) <
_
A
f +

2
,
de lo que se obtiene (ii).
(ii)(i). Dado > 0 existe una partici on P

tal que S(f, P

) s(f, P

) < , con lo que

_
A
f
_
A
f <
para todo > 0 y, por tanto,
_
A
f =
_
A
f.
Ejemplo 1.1.3. Toda funci on f : A R
n
R continua siendo A un rectangulo, es
integrable.
En efecto, por la continuidad uniforme de f en A, dado > 0 existe > 0 tal que si
x = (x
1
, . . . , x
n
) A, y = (y
1
, . . . , y
n
) A y [x
i
y
i
[ < para todo 1 i n, entonces
[f(x) f(y)[ <

v(A)
.
Si A = [a
1
, b
1
] [a
n
, b
n
], sea P
i
una particion de [a
i
, b
i
] tal que la distancia entre dos
puntos consecutivos de la misma sea menor que . Tomando P

= P
1
P
n
se tiene
que
S(f, P

) s(f, P

) =

RP

_
sup
xR
f(x) nf
xR
f(x)
_
v(R)

v(A)
v(A) = ,
con lo que aplicando la proposici on anterior obtenemos que f es integrable.
Existe una importante caracterizaci on de la integrabilidad Riemann, dada por el si-
guiente teorema:
Teorema 1.1.4 (Darboux). Sea f : A R
n
R una funcion acotada con A acotado
y contenido en alg un rectangulo B y extendamos f a B deniendola como 0 fuera de A.
Entonces son equivalentes:
7
(i) La funcion f es integrable con integral I.
(ii) Para todo > 0 existe > 0 tal que si P es cualquier particion de B en su-
brectangulos B
1
, . . . , B
N
con lados de longitud menor que y x
i
B
i
para todo 1 i N,
entonces

i=1
f(x
i
)v(B
i
) I

< .
Decimos que
N

i=1
f(x
i
)v(B
i
) es una suma de Riemann de f.
Demostracion. (i)(ii). En primer lugar, dados una partici on P de B y > 0, demostra-
remos que existe > 0 tal que para cada particion P

en subrect angulos con lados menores

que , la suma de los vol umenes de los subrectangulos de P

que no est an totalmente con-

tenidos en alg un subrectangulo de P es menor que . En efecto, para n = 1 basta tomar
= /N siendo N el n umero de puntos de P. De hecho, la longitud de los subintervalos
de P

que no estan contenidos en un subintervalo de P es a lo sumo N = . Si n > 1,

denotando por T al area total de las caras situadas entre cualesquiera dos subrect angulos
de P, basta tomar = /T pues si P

es cualquier particion de B en subrect angulos con

lados menores que , la suma de los vol umenes de los subrect angulos de P

que no estan
totalmente contenidos en alg un subrect angulo de P es menor que T = .
Como f es acotada, existe M > 0 tal que [f(x)[ < M para todo x B. Existen
particiones P
1
y P
2
de B tales que I s(f, P
1
) < /2 y S(f, P
2
) I < /2. Elegimos
un renamiento P de ambas con lo que I s(f, P) < /2 y S(f, P) I < /2. Existe
> 0 tal que para toda particion P

en subrectangulos con lados menores que , la

suma de los vol umenes de los subrect angulos de P

que no est an totalmente contenidos

en alg un subrect angulo de P es menor que /4M. Sean B
1
, . . . , B
N
una partici on de B
en subrect angulos con lados de longitud menor que y x
i
B
i
para todo 1 i N.
Entonces, si B
1
, . . . , B
k
son los subrectangulos no contenidos en alg un subrectangulo de
P, se tiene que
N

i=1
(f(x
i
) +M)v(B
i
) =
k

i=1
(f(x
i
) +M)v(B
i
) +
N

i=k+1
(f(x
i
) +M)v(B
i
)
S(f +M, P) + 2M

4M
= S(f +M, P) +

2
con lo que
N

i=1
f(x
i
)v(B
i
) S(f, P) +

2
< I +.
8
An alogamente,
N

i=1
f(x
i
)v(B
i
) s(f, P)

2
> I
con lo que

i=1
f(x
i
)v(B
i
) I

< .
(ii)(i). Mostraremos que
I =
_
A
f =
_
A
f.
Para ello, dado > 0 construiremos una partici on P tal que [S(f, P) I[ < con lo que
_
A
f I. An alogamente, tendremos I
_
A
f. Para ello, elegimos > 0 tal que si P es
una particion de B en subrectangulos B
1
, . . . , B
N
con lados de longitud menor que y
x
i
B
i
para todo 1 i N, entonces

i=1
f(x
i
)v(B
i
) I

<

2
.
Elegimos los x
i
tales que

f(x
i
) sup
xB
i
f(x)

<

2Nv(B
i
)
.
Entonces
[S(f, P) I[

S(f, P)
N

i=1
f(x
i
)v(B
i
)

i=1
f(x
i
)v(B
i
) I

<

2
+

2
= .
El caso de las sumas inferiores es analogo.
Problemas
1.- Sea f : [0, 1] [0, 1] R denida por
f(x, y) =
_
_
_
0 si x , Q,
0 si x Q e y , Q,
1
q
si x Q e y =
p
q
Q irreducible.
Probar que f es integrable y calcular su integral.
2.- Sea f : [0, 1] [0, 1] R denida por
f(x, y) =
_
1 si x Q,
2y si x , Q.
9
Estudiar la integrabilidad de f.
3.- Sea f : A R
n
R integrable siendo A un rect angulo, con f(x) c > 0 para todo
x A. Probar que 1/f es integrable.
4.- Sean A R
n
un rect angulo y f : A R una funci on integrable. Probar que para
cada a R
n
la funcion f
a
(x) = f(x a) es integrable sobre A +a y
_
A+a
f
a
=
_
A
f.
1.2. El teorema de Lebesgue
Denici on 1.2.1. Sea A R
n
un conjunto acotado. Decimos que A tiene volumen o
contenido (o que es medible Jordan) si la funcion caracterstica de A denida por

A
(x) =
_
1 si x A,
0 si x , A,
es integrable, y el volumen de A es
v(A) =
_
A

A
.
Si n = 1 decimos que v(A) es la longitud de A, y si n = 2 el area.
Decimos que A tiene volumen cero o contenido cero si v(A) = 0. Esto es equivalente a
que para cada > 0 existe un recubrimiento nito de A mediante rect angulos, B
1
, . . . , B
m
(es decir, A
m

i=1
B
i
) tal que
m

i=1
v(B
i
) < .
En efecto, supongamos que A tiene volumen cero y sea > 0. Sea B un rectangulo
que contiene a A. Por hipotesis existe una partici on P de B tal que S(
A
, P) < . Sea P
0
la coleccion de los subrect angulos de P que intersecan a A. Entonces
S(
A
, P) =

RP
0
v(R)
obteniendo lo que busc abamos.
Recprocamente, supongamos que dado > 0 existe un recubrimiento nito de A
mediante rect angulos, B
1
, . . . , B
m
tal que
m

i=1
v(B
i
) < . Sean B un rectangulo que contiene
10
a A y P una partici on de B tal que cada subrectangulo est a contenido en alg un B
i
o a lo
m as tiene frontera com un con algunos B
i
(denimos la partici on usando todas las aristas
de los B
i
). Entonces
S(
A
, P)
m

i=1
v(B
i
) <
con lo que
nfS(
A
, P) : P partici on de B = 0.
Como
0 sups(
A
, P) : P partici on de B nfS(
A
, P) : P partici on de B = 0,
se tiene que A tiene volumen cero.
Es util permitir el uso de recubrimientos numerables al igual que nitos:
Denici on 1.2.2. Un conjunto A R
n
(no necesariamente acotado) tiene medida cero
si para cada > 0 existe un recubrimiento de A, B
1
, B
2
, . . ., mediante una cantidad
numerable (o nita) de rect angulos (es decir, A

i=1
B
i
) tal que

i=1
v(B
i
) < .
Este concepto depende del espacio en el que se trabaje como muestra el siguiente
ejemplo:
Ejemplo 1.2.3. La recta real considerada como subconjunto de R
2
tiene medida cero,
pero como subconjunto de R no.
En efecto, dado > 0 tomamos para cada i N el rectangulo
B
i
= [i, i]
_

i2
i+3
,

i2
i+3
_
.
Es claro que B
1
, B
2
, . . . recubren A. Ademas se tiene que

i=1
v(B
i
) =

i=1

2
i+1
=

2
< .
Est a claro que R como subconjunto de s mismo no tiene medida cero ya que al recubrirla
mediante intervalos la longitud total de los mismos sera +.
11
Es evidente que si A tiene volumen cero, entonces tiene medida cero, y que si A tiene
medida cero y B A, entonces B tambien tiene medida cero.
La principal ventaja de la medida cero sobre el volumen cero aparece en el siguiente
teorema:
Teorema 1.2.4. Si los conjuntos A
1
, A
2
, . . . tienen medida cero en R
n
, el conjunto

i=1
A
i
tambien.
Demostracion. Sea > 0. Para cada i N existe un recubrimiento de A
i
, B
i1
, B
i2
, . . ., tal
que

j=1
v(B
ij
) <

2
i
.
La coleccion numerable B
ij
: i, j N es un recubrimiento de

i=1
A
i
y

i,j=1
v(B
ij
) =

i=1

j=1
v(B
ij
) <

i=1

2
i
=
donde la primera igualdad se tiene gracias a que la serie doble se puede reordenar para
que sea una serie absolutamente convergente con lo que la serie doble tambien lo es (ver
[A, Theorem 8.42]).
Del teorema anterior se obtiene que cualquier conjunto formado por una cantidad
numerable de puntos tiene medida cero, como por ejemplo Q en R.
Estudiemos ahora uno de los resultados m as importantes de la teora de integraci on:
el teorema de Lebesgue.
Teorema 1.2.5 (Teorema de Lebesgue). Sea f : A R
n
R una funcion acotada
con A acotado. Extiendase f a todo R
n
deniendola como 0 fuera de A. Entonces f es
integrable si y solo si los puntos de discontinuidad de f forman un conjunto de medida
cero.
Demostracion. Considerese alg un rect angulo B que contenga a A. Entonces debemos
demostrar que f es integrable si y solo si los puntos de discontinuidad de la funcion g que
es igual a f en A y 0 fuera forman un conjunto de medida cero.
Denimos la oscilacion de una funci on h en x
0
como
O(h, x
0
) =nfsup[h(x
1
) h(x
2
)[ : x
1
, x
2
U : U entorno (abierto) de x
0
.
12
Se tiene que O(h, x
0
) 0. Adem as, O(h, x
0
) = 0 si y solo si h es continua en x
0
. En
efecto, h es continua en x
0
si y solo si para todo > 0 existe un entorno U de x
0
tal que
sup[h(x
0
) h(x
1
)[ : x
1
U < ,
y esto es equivalente a que O(h, x
0
) = 0.
Supongamos primero que los puntos de discontinuidad de la funci on g forman un
conjunto de medida cero. As, si
D

= x B : O(g, x)
con > 0, y
D = x B : g es discontinua en x,
entonces D

D. Si y es un punto de acumulaci on de D

, cada entorno de y contiene un

punto de D

. Entonces cada entorno U de y es un entorno de un punto de D

, luego
sup[g(x
1
) g(x
2
)[ : x
1
, x
2
U .
Esto implica que y D

, es decir, D

es un conjunto cerrado. Como D

B, D

es
acotado y, por lo tanto, compacto. Como es de medida cero existe un recubrimiento nito
de D

mediante rect angulos abiertos, B

1
, . . . , B
m
tal que
m

i=1
v(B
i
) < .
Eljase ahora una partici on de B. Ren andola sucientemente podemos conseguir que
cada rectangulo de ella pertenezca a una de las dos siguientes colecciones (o a las dos):
C
1
= los rectangulos contenidos en un B
i
y C
2
= los rectangulos disjuntos con D

.
Para cada rect angulo S C
2
se tiene que O(g, x) < para todo x S. Por lo tanto,
existe un entorno U
x
de cada x S de modo que
sup
yU
x
g(y) nf
yU
x
g(y) < .
Como S es compacto, una cantidad nita de conjuntos abiertos U
x
i
recubre S. Eljase una
partici on renada de S, P
S
, de modo que cada rect angulo de la partici on este contenido
en alg un U
x
i
. Si hacemos esto para cada S C
2
obtenemos una particion P tal que
S(g, P) s(g, P)

SC
1
_
sup
xS
g(x) nf
xS
g(x)
_
v(S)
+

SC
2

RP
S
_
sup
xR
g(x) nf
xR
g(x)
_
v(R)
< v(B) +

SC
1
2Mv(S)
< (v(B) + 2M)
13
donde M es una cota de f. Como es arbitrario, la condici on de Riemann muestra que
g, y por lo tanto f, es integrable.
Supongamos ahora que g es integrable. El conjunto de puntos de discontinuidad de g
es el conjunto de puntos de oscilaci on positiva, es decir,

i=1
D
1/i
. Dado > 0 existe una
partici on P de B tal que S(g, P) s(g, P) < . Por otro lado, los puntos de D
1/i
est an
en S o en int(S) para alg un S de P. El primero de estos conjuntos, S
1
, tiene medida
cero. Sea C la colecci on de rect angulos de P que tienen un punto de D
1/i
en su interior.
Entonces
1
i

SC
v(S)

SC
_
sup
xS
g(x) nf
xS
g(x)
_
v(S) S(g, P) s(g, P) < .
Por lo tanto, C recubre al segundo conjunto, S
2
, y

SC
v(S) < i,
luego S
2
, y entonces D
1/i
, tiene medida cero con lo que concluye la demostracion.
Corolario 1.2.6. Un conjunto acotado A R
n
tiene volumen si y solo si la frontera de
A tiene medida cero.
Demostracion. Basta ver que el conjunto de puntos de discontinuidad de
A
es A. Si
x A, entonces cualquier entorno de x interseca a A y a A
c
. Por lo tanto, existen puntos
y en dicho entorno tales que [
A
(x)
A
(y)[ = 1 con lo que
A
no es continua en x. Si
x , A, entonces existe un entorno de x totalmente contenido en A o en A
c
con lo que

A
es constante en dicho entorno y, por tanto, continua en x.
Corolario 1.2.7. Sea A R
n
acotado y con volumen. Una funcion acotada f : A R
con una cantidad nita o numerable de puntos de discontinuidad es integrable.
Demostracion. Los puntos de discontinuidad de la extension de f son los de f y tal vez
alguno m as contenido en A. Como ambos conjuntos tienen medida cero, se obtiene el
resultado.
Teorema 1.2.8. (i) Sean A R
n
acotado y con medida cero, y f : A R cualquier
funcion integrable. Entonces
_
A
f = 0.
(ii) Sean A R
n
acotado y f : A R integrable, no negativa y con
_
A
f = 0.
Entonces el conjunto x A : f(x) ,= 0 tiene medida cero.
14
Demostracion. (i) Sea B un rect angulo que contiene a A y extendamos f a B de la
manera usual. Sea P cualquier particion de B en subrectangulos B
1
, . . . , B
m
y M una
cota superior de f. Entonces
s(f, P) M
m

i=1
nf
xB
i

A
(x) v(B
i
).
Los rect angulos de la partici on no pueden estar contenidos en A con lo que s(f, P) 0.
Ya que S(f, P) = s(f, P) se tiene que S(f, P) 0. Como P era arbitraria
_
A
f 0
_
A
f,
y al ser f integrable obtenemos el resultado.
(ii) Dado m N consideremos el conjunto A
m
= x A : f(x) > 1/m. Sea > 0.
Sea B un rectangulo que contiene a A y extendamos f a B de la manera usual. Sea P
una particion de B tal que S(f, P) < /m. Si B
1
, . . . , B
k
son los subrect angulos de P que
cortan a A
m
, entonces
k

i=1
v(B
i
) < m
k

i=1
sup
xB
i
f(x) v(B
i
) < .
Por tanto, A
m
tiene volumen cero. Ya que
x A : f(x) ,= 0 =

_
m=1
A
m
se obtiene el resultado.
Ejemplo 1.2.9. Sea
f(x, y) =
_
x
2
+ sen
1
y
si y ,= 0,
x
2
si y = 0.
Se tiene que f es integrable en A = (x, y) R
2
: x
2
+y
2
< 1.
En efecto, esto es debido al teorema de Lebesgue combinado con el Ejemplo 1.2.3.
Problemas
1.- Demostrar que A = (x, y) R
2
: x
2
+y
2
= 1 tiene volumen cero.
2.- Sea f : A R
n
R integrable. Probar que su gr aca
G(f) = (x, y) R
n
R : x A, f(x) = y
15
tiene volumen cero en R
n+1
.
3.- Demostrar que el plano XY en R
3
tiene medida cero.
4.- Probar que la denicion de conjunto de medida cero es equivalente a la que resulta de
sustituir rectangulos cerrados (los utilizados hasta ahora) por abiertos.
5.- Sea
f(x, y) =
_
1 si x ,= 0,
0 si x = 0.
Demuestrese que f es integrable en A = [0, 1] [0, 1].
6.- Calc ulese
_
A
f donde f y A son como en el ejercicio anterior.
7.- Sean A R
n
un conjunto abierto con volumen y f : A R una funcion continua
no negativa tal que f(x
0
) > 0 para alg un x
0
A. Demuestrese que
_
A
f > 0.
1.3. Propiedades de la integral
Las propiedades de la integral de Riemann estan contenidas en el siguiente resultado:
Teorema 1.3.1. Sean A, B R
n
acotados, c R y f, g : A R funciones integrables.
Entonces:
(i) f +g es integrable y
_
A
(f +g) =
_
A
f +
_
A
g.
(ii) cf es integrable y
_
A
(cf) = c
_
A
f.
(iii) [f[ es integrable y

_
A
f

_
A
[f[.
(iv) Si f g, entonces
_
A
f
_
A
g.
(v) Si A tiene volumen y [f[ M, entonces

_
A
f

Mv(A).
(vi) (Teorema del valor medio para integrales) Si f es continua y A tiene
volumen y es compacto y conexo, entonces existe x
0
A tal que
_
A
f = f(x
0
)v(A).
A
1
v(A)
_
A
f se le denomina promedio de f sobre A.
(vii) Sea f : A B R. Si A B tiene medida cero y f[
A
, f[
B
y f[
AB
son
integrables, entonces f tambien lo es y
_
AB
f =
_
A
f +
_
B
f.
16
Demostracion. Sea R un rect angulo que contiene a A y extendamos f y g a R de la
manera usual.
(i) Sea > 0. Ya que f y g son integrables existen particiones P y P

de R tales que
S(f, P) s(f, P) <

2
y
S(g, P

) s(g, P

) <

2
.
Tomando un renamiento de P y de P

, P

, se tiene que
S(f +g, P

) s(f +g, P

) S(f, P

) +S(g, P

) s(f, P

) s(g, P

)
S(f, P) +S(g, P

) s(f, P) s(g, P

)
<
con lo que f +g es integrable. La igualdad integral se obtiene tomando nmos y supremos
respectivamente en P en las desigualdades
S(f +g, P) S(f, P) +S(g, P)
y
s(f +g, P) s(f, P) +s(g, P).
(ii) La demostracion de esta propiedad es similar a la de (i).
(iv) Basta con tomar nmos en P en la desigualdad S(f, P) S(g, P).
(iii) Si f es continua en un punto tambien lo es [f[ luego el teorema de Lebesgue nos
da la integrabilidad de [f[. Ahora, ya que [f[ f [f[, aplicando (ii) y (iv) se obtiene
el resultado.
(v) Dada una partici on P de R,

_
A
f

_
A
[f[ S([f[, P) MS(
A
, P)
con lo que concluye la prueba.
(vi) Sean f(x
1
) = nf
xA
f(x) y f(x
2
) = sup
xA
f(x). Ya que
f(x
1
)
1
v(A)
_
A
f f(x
2
),
el teorema de los valores intermedios demuestra la armacion.
17
(vii) Ya que f = f[
A
+ f[
B
f[
AB
, por (i) y (ii) se tiene la integrabilidad de f y la
igualdad integral, esto ultimo gracias a que
_
AB
f = 0.
Con una demostraci on analoga a la del teorema del valor medio para integrales se
prueba el siguiente resultado:
Proposicion 1.3.2. Dadas dos funciones f, g : A R siendo f continua, g integrable
y no negativa y A compacto y conexo, existe x
0
A tal que
_
A
(fg) = f(x
0
)
_
A
g.
Observaci on 1.3.3. El teorema del valor medio para integrales se puede ver como un
corolario del resultado anterior considerando g =
A
.
En cuanto al intercambio de una operaci on de integracion y una de derivacion se tiene
el siguiente resultado de derivacion bajo el signo integral:
Proposicion 1.3.4. Sea f : [a, b] [c, d] R continua tal que
f
y
existe y es continua.
Sea
F(y) =
_
b
a
f(x, y) dx.
Entonces F es derivable y
F

(y) =
_
b
a
f
y
(x, y) dx.
Demostracion. Se tiene que

F(y +h) F(y)

h

_
b
a
f
y
(x, y) dx

_
b
a
_
f(x, y +h) f(x, y)
h

f
y
(x, y)
_
dx

_
b
a
_
f
y
(x, c
x,h
)
f
y
(x, y)
_
dx

para alg un c
x,h
entre y e y +h, usando el teorema del valor medio.
Como
f
y
es uniformemente continua al ser continua en un compacto, dado > 0 existe
> 0 tal que

f
y
(x
0
, y
0
)
f
y
(x, y)

<

b a
siempre que [x x
0
[, [y y
0
[ < .
Si [h[ < , entonces

F(y +h) F(y)

h

_
b
a
f
y
(x, y) dx

b a
(b a) =
lo que concluye la prueba.
18
Corolario 1.3.5 (Regla de Leibniz para la derivaci on de integrales). Dadas una funcion
f : [a, b] [c, d] R continua tal que
f
y
existe y es continua en [a, b] [c, d], u, v :
[c, d] [a, b] derivables y
F(t) =
_
v(t)
u(t)
f(x, t) dx,
se tiene que
F

(t) = f(v(t), t)v

(t) f(u(t), t)u

(t) +
_
v(t)
u(t)
f
t
(x, t) dx.
Demostracion. Basta aplicar adecuadamente la regla de la cadena.
Sean u = u(t), v = v(t) y w = t. Entonces
F(t) = g(u, v, w) =
_
v
u
f(x, w) dx.
As,
F

(t) =
g
u
u

(t) +
g
v
v

(t) +
g
w
w

(t).
Las derivadas parciales de g con respecto a u y v se obtienen mediante el teorema fun-
damental del C alculo y la derivada parcial con respecto a w se obtiene derivando bajo
el signo integral mediante el resultado anterior, consiguiendo con todo ello la f ormula
deseada.
Problemas
1.- Si A
n
tiene volumen para todo n N y A =

n=1
A
n
est a acotado, tiene A volumen?
2.- Sean A, B conjuntos con volumen y A B de medida cero. Demostrar que
v(A B) = v(A) +v(B).
3.- Demostrar que
_
2
0
x sen(tx) dx =
sen(2t) 2t cos(2t)
t
2
considerando la derivada de
_
2
0
cos(tx) dx con respecto a t.
4.- Derivar
_
2
0
x cos(tx) dx con respecto a t.
19
1.4. El teorema de Fubini
Teorema 1.4.1 (Teorema de Fubini). Sean A R
n
y B R
m
rectangulos y sea f :
A B R integrable. Si
_
B
f(x, y) dy existe para cada x A, entonces
_
AB
f =
_
A
__
B
f(x, y) dy
_
dx.
Analogamente, si
_
A
f(x, y) dx existe para cada y B, entonces
_
AB
f =
_
B
__
A
f(x, y) dx
_
dy.
Demostracion. Nos reduciremos al caso n = m = 1 ya que para dimensiones superiores
la demostracion es analoga. Por tanto A = [a, b] y B = [c, d].
En el primer caso, sea g : [a, b] R la funci on dada por g(x) =
_
d
c
f(x, y) dy.
Debemos demostrar que g es integrable y que
_
AB
f =
_
b
a
g(x) dx. Sea P = P
1
P
2
una
partici on de A B formada por los subrect angulos S
ij
= V
i
W
j
. Entonces
s(f, P) =

j
nf
(x,y)S
ij
f(x, y)v(W
j
)v(V
i
).
Para cada x V
i
se tiene que nf
(x,y)S
ij
f(x, y) nf
yW
j
f
x
(y) donde f
x
(y) = f(x, y). Por lo
tanto,

j
nf
(x,y)S
ij
f(x, y)v(W
j
)

j
nf
yW
j
f
x
(y)v(W
j
) g(x),
luego
s(f, P)

i
nf
xV
i
g(x)v(V
i
) = s(g, P
1
).
A partir de un argumento similar para las sumas superiores obtenemos que
S(g, P
1
) S(f, P).
La integrabilidad de f nos da el resultado.
El otro caso es analogo.
Como es usual, podemos aplicar este resultado a una regi on no cuadrada extendiendo
f como cero fuera y aplicando el teorema a un rectangulo que la contenga, aunque al
hacer la extensi on f puede desarrollar discontinuidades en la frontera de A B.
20
Corolario 1.4.2. Sean , : [a, b] R continuas tales que ,
A = (x, y) R
2
: a x b, (x) y (x)
y f : A R continua. Entonces
_
A
f =
_
b
a
_
_
(x)
(x)
f(x, y) dy
_
dx.
Demostracion. Basta con extender f de la manera usual y aplicar el resultado anterior.
La integrabilidad nos la da el teorema de Lebesgue teniendo en cuenta que las gr acas de
y tienen volumen cero.
Existe un resultado an alogo en el que se intercambian los papeles de x e y.
Es interesante ver c omo una demostraci on del teorema de Fubini para una funci on
f : [a, b] [c, d] R continua se puede basar en el proceso de derivacion bajo el signo
integral:
La funcion
h(t, y) =
_
t
a
f(x, y) dx
es continua en [a, b] [c, d], al igual que su derivada parcial
h
t
(t, y) = f(t, y).
La integral
g(x) =
_
d
c
f(x, y) dy
es una funci on continua en [a, b]. Ahora solo necesitamos considerar la funci on
H(t) =
_
t
a
__
d
c
f(x, y) dy
_
dx
_
d
c
__
t
a
f(x, y) dx
_
dy.
con t [a, b]. Es obvio que H(a) = 0 y queremos mostrar que H(b) = 0. Pero
H(t) =
_
t
a
g(x) dx
_
d
c
h(t, y) dy
de modo que
H

(t) = g(t)
_
d
c
h
t
(t, y) dy = 0
para todo t [a, b]. As, H es constante en [a, b] con lo que H(b) = 0, como queramos
demostrar.
21
Problemas
1.- Calcular
_
A
f en los siguientes casos:
(i) f(x, y) = (x +y)x y A es el cuadrado dado por A = (x, y) R
2
: 0 x, y 1.
(ii) f(x, y) = 1 y A es el tri angulo dado por A = (x, y) R
2
: x, y 0, x +y 1.
(iii) f(x, y) = [y sen x[ y A = [0, ] [0, 1].
(iv) f(x, y) =
y
3
2xy
2
+x
2
y+x1
(xy)
2
(x1)
y A = [2, 3] [0, 1].
(v) f(x, y) = x y A = (x, y) R
2
: x
2
+y
2
2x.
(vi) f(x, y) = x
_
1 x
2
y
2
y A = (x, y) R
2
: x, y 0, x
2
+y
2
1.
2.- Calcular
_
A
f en los siguientes casos:
(i) f(x, y, z) = (x + y + z)
2
y A es el tetraedro de vertices (0, 0, 0), (1, 0, 0), (0, 1, 0) y
(0, 0, 1).
(ii) f(x, y, z) = x y A es la region de R
3
acotada por los planos x = 0, y = 0 y z = 2 y la
supercie z = x
2
+y
2
.
3.- En la integral
_
1
0
_
1
x
xy dy dx c ambiese el orden de integraci on y eval uese.
4.- Dib ujese la regi on correspondiente a la integral
_
1
0
_
e
x
1
(x + y) dy dx y eval uese. Com-
probar que al intercambiar el orden de integracion la respuesta no se altera.
5.- Calcular el volumen de la bola abierta de R
n
de centro el origen y radio r.
6.- Sean A = [0, 1] [0, 1] y f : A R la funcion denida por
f(x, y) =
_
x si x > y,
y
2
si x y.
Probar que f es integrable y calcular su integral.
7.- Sea f : [0, 2] [0, 2] R denida por
f(x, y) =
_
x
[y]
y
[x]
si x ,= 0 e y ,= 0,
0 si x = 0 o y = 0.
Probar que f es integrable y calcular su integral.
22
1.5. El teorema del cambio de variables
Teorema 1.5.1 (Teorema del cambio de variables). Sean A R
n
un conjunto abierto,
acotado y con volumen y g : A R
n
una transformacion C
1
e inyectiva tal que Jg(x) ,=
0 para todo x A. Supongamos que [Jg[ y [Jg[
1
estan acotados en A y que g(A) tiene
volumen. Si f : g(A) R esta acotada y es integrable, entonces (f g)[Jg[ es integrable
en A y
_
g(A)
f =
_
A
(f g)[Jg[.
La demostraci on de este resultado requiere el establecimiento de varios lemas previos:
El primer paso es establecer la f ormula cuando g = L es una transformacion lineal,
en cuyo caso JL = det L. Esto proporciona la interpretaci on geometrica de det L: es el
factor de cambio de los vol umenes bajo la transformaci on L.
Lema 1.5.2. Si L : R
n
R
n
es una transformacion lineal y A R
n
tiene volumen,
entonces L(A) tiene volumen y v(L(A)) = [det L[ v(A).
Demostracion. Primero consideramos el caso particular en que A es un rectangulo y L es
una transformaci on lineal cuya matriz expresada en la base can onica es de uno de los dos
tipos siguientes:
L
1
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0
0 1
.
.
.
1
.
.
. c
.
.
.
.
.
.
1 0
0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
o
L
2
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0
0 1
.
.
.
1
1
.
.
. 1
.
.
.
.
.
.
1 0
0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
.
23
La matriz L
1
se obtiene reemplazando un 1 de la diagonal de la matriz identidad por una
constante c, y L
2
se obtiene escribiendo un 1 en la matriz identidad en cualquier parte
fuera de la diagonal.

Estas son las matrices elementales.
Si A = [a
1
, b
1
] [a
n
, b
n
] y c est a en la i-esima la, entonces
L
1
(A) = [a
1
, b
1
] [ca
i
, cb
i
] [a
n
, b
n
]
con lo que
v(L
1
(A)) = [c[ v(A) = [det L
1
[ v(A).
Si el 1 fuera de la diagonal esta en la posici on (i, j), entonces
L
2
(A) = (x
1
, x
2
, . . . , x
i1
, x
i
+x
j
, x
i+1
, x
i+2
, . . . , x
n
) R
n
: x
k
[a
k
, b
k
], 1 k n.
Aplicando el teorema de Fubini se tiene que
v(L
2
(A)) =
n

k = 1
k = i, j
(b
k
a
k
)
_
b
j
a
j
_
_
x
j
+b
i
x
j
+a
i
dx
i
_
dx
j
= v(A) = [det L
2
[ v(A).
Sean ahora A un conjunto arbitrario con volumen y L
i
una de las matrices elementales
con det L
i
,= 0. Sea B un rect angulo que contiene a A y, dado > 0, sea P una particion
de B en subrectangulos B
1
, . . . , B
N
de modo que
S(
A
, P) v(A) <

2[det L
i
[
y
v(A) s(
A
, P) <

2[det L
i
[
.
Si V

B
i
: B
i
A y W

B
i
: B
i
A ,= , entonces
v(L
i
(V

)) = [det L
i
[ s(
A
, P)
y
v(L
i
(W

)) = [det L
i
[ S(
A
, P)
con lo que
v(L
i
(W

)) v(L
i
(V

)) <
y, por tanto, L
i
(A) tiene volumen y
v(L
i
(A)) = [det L
i
[ v(A).
24
Si det L
i
= 0, entonces v(L
i
(B)) = 0 para cualquier rectangulo B y v(L
i
(A)) = 0 para
cualquier conjunto A con volumen.
Si L es una transformacion lineal y A es un conjunto con volumen, entonces, ya que
cualquier matriz es el producto de matrices elementales, aplicando repetidamente lo que
acabamos de demostrar se tiene que L(A) tiene volumen y v(L(A)) = [det L[ v(A).
Lema 1.5.3. Si el teorema es cierto para la funcion constante 1, entonces tambien es
cierto para cualquier funcion integrable f.
Demostracion. Si el teorema es cierto para la funci on constante 1, entonces es cierto para
cualquier funci on constante. Sean f una funci on integrable en g(A), B un rect angulo que
contiene a g(A) y P una particion de B en rectangulos B
1
, . . . , B
N
. Entonces
s(f, P) =
N

i=1
nf
xB
i
f(x)v(B
i
)
=
N

i=1
_
B
i
nf
xB
i
f(x)
=
N

i=1
_
g
1
(B
i
)
_
nf
xB
i
f(x) g
_
[Jg[

i=1
_
g
1
(B
i
)
(f g)[Jg[
=
_
A
(f g)[Jg[.
Por lo tanto,
_
g(A)
f
_
A
(f g)[Jg[.
La desigualdad contraria se obtiene con S(f, P).
Lema 1.5.4. El teorema es cierto si g es una transformacion lineal.
Demostracion. Por el Lema 1.5.2,
_
g(A)
1 =
_
A
[det g[ =
_
A
[Jg[.
Luego, por el Lema 1.5.3,
_
g(A)
f =
_
A
(f g)[Jg[.
25
Proposicion 1.5.5. Si el teorema es cierto para g : A R
n
y para h : B R
n
,
donde g(A) B, entonces el teorema es valido para h g : A R
n
.
Demostracion. Basta con hacer el calculo siguiente:
_
(hg)(A)
f =
_
g(A)
(f h)[Jh[ =
_
A
(f h g)([Jh[ g)[Jg[ =
_
A
(f (h g))[J(h g)[.
Si x = (x
1
, . . . , x
n
) R
n
, sea [x[ = m ax
1in
[x
i
[. Y si A : R
n
R
n
es la transformaci on
lineal con matriz a
ij
, denimos
[A[ = m ax
1in
n

j=1
[a
ij
[.
As, se tiene que [A(x)[ [A[[x[. Tambien utilizaremos la matriz jacobiana j(x) = (j
ik
(x))
de la transformaci on g(x) = (g
1
(x), . . . , g
n
(x)) donde
j
ik
(x) =
g
i
x
k
(x).
Si C es el cubo en el conjunto abierto A dado por C = x R
n
: [x c[ r para
ciertos c R
n
y r R, entonces v(C) = (2r)
n
. Por el teorema del valor medio,
g
i
(x) g
i
(c) =
n

k=1
j
ik
(c +
i
(x)(x c))(x
k
c
k
)
donde 0
i
(x) 1 para todo 1 i n. As,
[g(x) g(c)[ r m ax
yC
[j(y)[,
de modo que si g(C) tiene volumen, entonces
v(g(C))
_
m ax
yC
[j(y)[
_
n
v(C).
Para garantizar que g(C) tiene volumen demostraremos el lema siguiente:
Lema 1.5.6. Si h : U R
n
R
n
es una transformacion C
1
e inyectiva tal que
Jh(x) ,= 0 para todo x U, siendo U un conjunto abierto y acotado, y C es un conjunto
con volumen tal que C U, entonces h(C) tiene volumen.
26
Demostracion. Basta probar que h(C) tiene volumen cero. Para ello, mostraremos en
primer lugar que h(C) h(C). En efecto, sean x h(C), y = h
1
(x) y V un entorno
abierto de y tal que V U. Entonces h(V ) es un entorno abierto de x, ya que h
1
es continua. Como x h(C), h(V ) contiene puntos de h(C) y de su complementario.
Y como h es inyectiva, V contiene puntos de C y de su complementario, de modo que
y C, luego x h(C). Aplicando este argumento a h
1
se tiene que h(C) = h(C).
Ahora, dado > 0, recubrimos C con rectangulos B
1
, . . . , B
N
de volumen total a lo
sumo . Por la acotaci on previa al lema, h(C) est a recubierto con rect angulos de volumen
total a lo sumo
_
m ax
xB
1
B
N
[Jh(x)[
_
n

con lo h(C) y, por tanto, h(C) tienen volumen cero.

Demostracion del Teorema. Si L es una transformacion lineal y U tiene volumen, entonces
v(L
1
(U)) = [det (L
1
)[ v(U).
Si U = g(C), entonces
[det (L
1
)[ v(g(C))
_
m ax
yC
[L
1
j(y)[
_
n
v(C),
con lo que
v(g(C)) [det L[
_
m ax
yC
[L
1
j(y)[
_
n
v(C).
Subdividamos el cubo C en un conjunto nito C
1
, . . . , C
M
de cubos que no se solapen, cen-
trados en x
1
, . . . , x
M
y sup ongase que es mayor que la longitud de un lado de cualquiera
de ellos. Aplicando la desigualdad anterior a cada C
i
, tomando L = j(x
i
) y sumando
obtenemos
v(g(C))
M

i=1
[det (j(x
i
))[
_
m ax
yC
i
[j
1
(x
i
)j(y)[
_
n
v(C
i
).
Como j(x) es una funci on continua, j
1
(z)j(y) tiende a la matriz identidad cuando z y
y, por lo tanto,
_
m ax
yC
i
[j
1
(x
i
)j(y)[
_
n
1 +(),
donde () tiende a 0 con . As,
v(g(C)) (1 +())
M

i=1
[det (j(x
i
))[ v(C
i
).
27
Cuando tiende a 0 la suma de la derecha tiende a
_
C
[Jg(x)[ dx, y la desigualdad queda
v(g(C))
_
C
[Jg(x)[ dx.
La demostracion del Lema 1.5.3 junto con la desigualdad anterior produce
_
g(A)
f
_
A
(f g)[Jg[.
Esta desigualdad se puede aplicar tambien a g
1
obteniendose
_
A
(f g)[Jg[
_
g(A)
(f g g
1
)[Jg g
1
[[Jg
1
[,
es decir,
_
A
(f g)[Jg[
_
g(A)
f
y el teorema queda demostrado.
Existen al menos dos formas de mejorar el teorema del cambio de variables:
Teorema 1.5.7. Sean B R
n
un conjunto abierto y g : B R
n
una transformacion
C
1
e inyectiva tal que Jg(x) ,= 0 para todo x B. Supongamos que B y g(B) tienen
volumen y sea A g(B) con volumen. Si f : A R es integrable, entonces
_
A
f =
_
g
1
(A)
(f g)[Jg[.
Demostracion. Extendemos f a g(B) deniendola como 0 fuera de A. Por el teorema del
cambio de variables
_
g(B)
f =
_
B
(f g)[Jg[.
Como f se anula fuera de A, f g se anula fuera de g
1
(A), de donde se sigue la conclusi on.
Teorema 1.5.8. Sean A, B R
n
con volumen y g : int A int B una transformacion
C
1
y biyectiva tal que Jg(x) ,= 0 para todo x int A. Si f : B R es integrable,
entonces
_
B
f =
_
A
(f g)[Jg[.
28
Demostracion. Como B tiene volumen y (int B) B, entonces int B tiene volumen.
Adem as, int B (B B) = B, de modo que
_
int B
f =
_
B
f.
Por lo tanto, obtenemos el resultado por el teorema del cambio de variables.
Una aplicaci on del teorema del cambio de variables viene dada por las coordenadas
polares. La funci on que pasa de ellas a coordenadas rectangulares es
g(r, ) = (r cos , r sen )
cuyo jacobiano es r.
Otro cambio de variables de gran utilidad lo dan las coordenadas esfericas. La funcion
que pasa de ellas a coordenadas rectangulares es
g(r, , ) = (r sen cos , r sen sen , r cos )
cuyo jacobiano es r
2
sen . El angulo es el formado con la parte positiva del eje OZ.
Finalmente, la funcion que pasa de coordenadas cilndricas a rectangulares es
g(r, , z) = (r cos , r sen , z)
cuyo jacobiano es r.
Problemas
1.- Calcular
_
1
0
_
1
0
(x
4
y
4
) dx dy usando el cambio de variables u = x
2
y
2
, v = 2xy.
2.- Calcular
_
A
f en los siguientes casos:
(i) f(x, y) = x
2
+y
2
y A es el disco unidad dado por A = (x, y) R
2
: x
2
+y
2
1.
(ii) f(x, y) = (y
2
x
2
)
xy
(x
2
+y
2
) y
A = (x, y) R
2
: x, y > 0, a xy b, y
2
x
2
1, x y
con 0 < a b.
(iii) f(x, y) = (x
2
+y
2
)
3/2
y A = (x, y) R
2
: x y, x +y 1, x
2
+y
2
1.
(iv) f(x, y) = x
2
+y
2
y A = (x, y) R
2
: x
2
+y
2
2y, x
2
+y
2
1, x 0.
29
(v) f(x, y) = x
2
+y
2
y A = (x, y) R
2
: (x
2
+y
2
)
2
4(x
2
y
2
), x 0.
3.- Calcular
_
A
f en los siguientes casos:
(i) f(x, y, z) = x
2
+y
2
+z
2
y A = (x, y, z) R
3
: x
2
+y
2
+z
2
< 1.
(ii) f(x, y, z) = ze
x
2
y
2
y A = (x, y, z) R
3
: x
2
+y
2
1, 0 z 1.
(iii) f(x, y, z) = (1 +x
2
+y
2
+z
2
)
1/2
y A la bola unidad.
(iv) f(x, y, z) = x
2
y A = (x, y, z) R
3
: x 0, x
2
+y
2
+(z 1)
2
1, 4z
2
3(x
2
+y
2
).
(v) f(x, y, z) = yz
_
x
2
+y
2
y A = (x, y, z) R
3
: 0 z x
2
+y
2
, 0 y

2x x
2
.
(vi) f(x, y, z) = z y A = (x, y, z) R
3
: x
2
+y
2
+z
2
2, x
2
+y
2
z.
(vii) f(x, y, z) = z
2
y A = (x, y, z) R
3
: x
2
+y
2
+z
2
a
2
, x
2
+y
2
+z
2
2az.
4.- Calcular el volumen de A en los siguientes casos:
(i) A = (x, y, z) R
3
: x
2
+y
2
+z
2
a
2
, x
2
+y
2
z
2
.
(ii) A = (x, y, z) R
3
: x
2
+y
2
+z
2
a
2
, x
2
+y
2
ax, z 0.
1.6. Integrales impropias
Las integrales impropias son de dos tipos dependiendo de si es la funcion o el dominio
lo que no est a acotado. En primer lugar consideremos el segundo caso. Extenderemos las
funciones a todo el espacio de la manera usual.
Denicion 1.6.1. Sea f : A R
n
[0, ) una funcion acotada e integrable en cada
cubo n-dimensional [a, a]
n
= [a, a] [a, a]. Si lm
a
_
[a,a]
n
f es nito, lo llamamos
_
A
f y decimos que f es integrable sobre A.
Teorema 1.6.2. Sea f : A R
n
[0, ) una funcion acotada e integrable en cada cubo
[a, a]
n
. Entonces f es integrable sobre A si y solo si para cada sucesion no decreciente
(B
k
)
kN
de conjuntos acotados con volumen tal que para cada cubo C se tiene que C B
k
para k sucientemente grande, existe lm
k
_
B
k
f. En este caso, lm
k
_
B
k
f =
_
A
f.
Demostracion. Supongamos primero que f es integrable. Si [a, a]
n
B
k
[b, b]
n
,
entonces, gracias a que f
[a,a]
n f
B
k
f
[b,b]
n, se tiene que
_
[a,a]
n
f
_
B
k
f
_
[b,b]
n
f
30
con lo que se tiene el resultado.
Recprocamente,
_
_
B
k
f
_
kN
es una sucesi on creciente convergente a C, luego para
cada a, como [a, a]
n
B
k
para alg un k N sucientemente grande, se tiene que
_
[a,a]
n
f C con lo que concluye la prueba al ser
_
[a,a]
n
f una funcion de a creciente y
acotada superiormente, luego convergente.
Observese que se tiene un criterio de comparacion: si f es integrable, g es integrable
en cada cubo y 0 g f, entonces g tambien es integrable pues
_
[a,a]
n
g es creciente
con a y esta acotada por
_
A
f con lo que converge cuando a .
A continuacion analizaremos el caso de una funci on f : A R
n
[0, ) no acotada
siendo A posiblemente no acotado. Reducimos el problema al caso ya estudiado cortando
la graca de f para obtener una funci on acotada.
Denici on 1.6.3. Para cada M > 0 sea
f
M
(x) =
_
f(x) si f(x) M,
M si f(x) > M.
Cada funci on f
M
est a acotada por M y 0 f
M
f. Si f
M
es integrable para todo M > 0
y lm
M
_
A
f
M
es nito, lo llamamos
_
A
f y decimos que f es integrable sobre A.
Como antes, tenemos el siguiente criterio de comparacion: si 0 g f y f es inte-
grable, entonces g tambien es integrable.
Denici on 1.6.4. Dada una funci on f : A R
n
R sean
f
+
(x) =
_
f(x) si f(x) 0,
0 si f(x) < 0,
y
f

(x) =
_
f(x) si f(x) 0,
0 si f(x) > 0,
las partes positiva y negativa de f, respectivamente. Si f
+
y f

son integrables decimos

que f es integrable sobre A y
_
A
f =
_
A
f
+

_
A
f

.
En el caso unidimensional tenemos el siguiente metodo para calcular integrales impro-
pias:
Teorema 1.6.5. (i) Sean f : [a, ) [0, ) acotada y continua y F una primitiva de
f. Entonces f es integrable si y solo si es nito lm
x
F(x). En este caso,
_
[a,)
f =
_

a
f(x) dx = lm
x
F(x) F(a).
31
(ii) Una funcion continua f : (a, b] [0, ) es integrable si y solo si es nito
lm
0+
_
b
a+
f(x) dx.
En este caso, este lmite es igual a
_
b
a
f(x) dx.
Demostracion. (i) Ya que
_
b
b
f(x) dx =
_
b
a
f(x) dx para b > [a[, se obtiene el resultado.
(ii) Demos dos pasos preliminares. Dado > 0, si M = sup
x[a+,b]
f(x), entonces
_
b
a+
f(x) dx
_
b
a
f
M
(x) dx.
Ahora, dados , M > 0 se tiene que
_
b
a
f
M
(x) dx
_
b
a+
f(x) dx
_
a+
a
f
M
(x) dx M.
Supongamos primero que f es integrable. Es claro por el primer paso que
_
b
a+
f(x) dx
crece cuando 0+ hacia algo menor o igual que
_
b
a
f(x) dx. Dado > 0, eljase M de
modo que
_
b
a
f(x) dx
_
b
a
f
M
(x) dx <

2
.
Si =

2M
, entonces, por el segundo paso,
_
b
a
f
M
(x) dx
_
b
a+
f(x) dx

2
.
En consecuencia,
_
b
a
f(x) dx
_
b
a+
f(x) dx <
con lo que se tiene el resultado.
El recproco se tiene gracias a que
_
b
a
f
M
(x) dx es una funci on no decreciente en M y
acotada superiormente por
1 + lm
0+
_
b
a+
f(x) dx
ya que para M sucientemente grande
_
b
a
f
M
(x) dx =
_
a+1/M
a
f
M
(x) dx +
_
b
a+1/M
f
M
(x) dx.
32
Con frecuencia se dice que
_
A
f converge.
en
vez de f es integrable.
Problemas
1.- Demostrar que
(i)
_

1
x
p
dx converge si p < 1 y diverge si p 1.
(ii)
_
a
0
x
p
dx converge si p > 1 y diverge si p 1.
(iii)
_

1
e
x
x
p
dx converge para todo p R.
(iv)
_
a
0
e
1/x
x
p
dx diverge para todo p R.
(v)
_
a
0
log x dx converge.
(vi)
_

1
1
log x
dx diverge.
(vii)
_

1
1

x
3
+1
dx converge.
(viii)
_
1
0
e
x
x
p
dx converge si p > 1.
(ix)
_

1
sen x
x
2
+1
dx converge.
(x)
_

0
x
p
1+x
p
dx converge si p < 1 y diverge si p 1.
2.- Calcular
_

e
x
2
dx.
3.- Calcular
_
A
f en los siguientes casos:
(i) f(x, y) = (xy)
1/2
y A = (0, 4] (0, 4].
(ii) f(x, y) = (x
2
+y
2
+ 1)
2
y A = R
2
.
(iii) f(x, y, z) = (x
2
+y
2
+z
2
)
1/2
y A = (x, y, z) R
3
: 0 < x
2
+y
2
+z
2
1.
33
Captulo 2
Integral de lnea y de supercie
2.1. La integral de trayectoria
Empecemos deniendo la longitud de una curva:
Denici on 2.1.1. Sea c : [a, b] R
n
una curva continua. Denimos la longitud de c y
la denotamos por l(c) como
l(c) = sup
_
m

i=1
|c(t
i
) c(t
i1
)| : P = a = t
0
< t
1
< < t
m
= b partici on de [a, b]
_
.
Proposicion 2.1.2. Si c : [a, b] R
n
es una curva de clase C
1
a trozos, entonces
l(c) < y
l(c) =
_
b
a
|c

(t)| dt.
Demostracion. Podemos suponer que c = (c
1
, . . . , c
n
) es de clase C
1
ya que si es de clase
C
1
a trozos la podemos poner como union de curvas de clase C
1
.
Sea P = a = t
0
< t
1
< < t
m
= b una partici on de [a, b]. Para cada 1 i m se
tiene que
|c(t
i
) c(t
i1
)|
2
=
n

k=1
(c
k
(t
i
) c
k
(t
i1
))
2
= (t
i
t
i1
)
n

k=1
c

k
(s
i
)(c
k
(t
i
) c
k
(t
i1
))
|c

(s
i
)||c(t
i
) c(t
i1
)|(t
i
t
i1
)
35
donde la ultima igualdad se obtiene aplicando el teorema del valor medio a la funci on
n

k=1
c
k
(t)(c
k
(t
i
) c
k
(t
i1
))
denida sobre [t
i1
, t
i
], y la desigualdad es debida a la de Cauchy-Schwartz. As,
m

i=1
|c(t
i
) c(t
i1
)|
m

i=1
|c

(s
i
)|(t
i
t
i1
) S(|c

|, P).
Por tanto, tomando supremo e nmo en todas las particiones de [a, b] respectivamente
obtenemos que
l(c)
_
b
a
|c

(t)| dt < .
Veamos ahora la desigualdad contraria. Dado > 0 existe > 0 tal que si s, t [a, b]
con [s t[ < , entonces
[c

k
(s) c

k
(t)[ <

n
para todo 1 k n. Sea
P = a = t
0
< t
1
< < t
m
= b
una partici on de [a, b] de di ametro menor que . Usando el teorema del valor medio se
tiene que
|c(t
i+1
) c(t
i
)| =
_
n

k=1
c

k
(s
ik
)
2
(t
i+1
t
i
)
2
_
1/2
=
_
n

k=1
c

k
(s
ik
)
2
_
1/2
(t
i+1
t
i
)

_
_
_
|c

(t

)|
_
n

k=1
(c

k
(t

) c

k
(s
ik
))
2
_
1/2
_
_
_
(t
i+1
t
i
)
(|c

(t

)| )(t
i+1
t
i
)
con s
ik
[t
i
, t
i+1
] para todo 1 k n y t

[t
i
, t
i+1
] tal que |c

(t

)| = nf
t[t
i
,t
i+1
]
|c

(t)|.
Por tanto,
l(c) s(|c

|, P) (b a).
Tomando supremo en P se obtiene el resultado.
Pasemos ahora a denir la integral de trayectoria:
36
Denici on 2.1.3. Sean una funci on escalar f : R
n
R y una trayectoria de clase C
1
c : [a, b] R
n
tales que f c es continua en [a, b]. Denimos la integral de f a lo largo
de la trayectoria c como
_
c
f ds =
_
b
a
f(c(t))|c

(t)| dt.
Si c es C
1
a trozos o f c es continua a trozos, denimos
_
c
f ds partiendo [a, b] en
segmentos sobre los cuales f(c(t))|c

(t)| sea continua y sumando las integrales sobre los

segmentos.
Observaci on 2.1.4. Si f = 1, entonces
_
c
f ds = l(c).
La denicion de
_
c
f ds se puede justicar de la siguiente forma: dada
P = a = t
0
< t
1
< < t
m
= b
partici on de [a, b],
_
c
f ds se puede aproximar, usando el teorema del valor medio, por
m

i=1
f(c(t

i
))|c

(t

i
)|(t
i
t
i1
)
donde t

i
[t
i1
, t
i
] es tal que
_
t
i
t
i1
|c

(t)| dt = |c

(t

i
)|(t
i
t
i1
)
para todo 1 i m. Haciendo que el diametro de P tienda a 0 se obtiene
_
b
a
f(c(t))|c

(t)| dt.
Un caso particular importante de la integral de trayectoria se presenta cuando c des-
cribe una curva plana. Supongamos que todos los puntos c(t) estan en el plano coordenado
XY y que f : R
2
[0, ). La integral de f a lo largo de la trayectoria c tiene una
interpretaci on geometrica como el area de una pared cuya base es la imagen de c y altura
f(c(t)) en c(t), recorriendo c solo una vez su imagen.
Ejemplos fsicos de funciones escalares f son los campos de temperaturas o presiones,
o la densidad de un cuerpo. Supongamos que la trayectoria c representa un alambre cuya
funci on de densidad de masa es (x, y, z). La masa m del alambre y su centro de masas
(x
0
, y
0
, z
0
) se denen como
m =
_
c
ds
y
(x
0
, y
0
, z
0
) =
_
1
m
_
c
x ds,
1
m
_
c
y ds,
1
m
_
c
z ds
_
.
37
Problemas
1.- Calcular la longitud de las siguientes curvas:
(i) c(t) = (r cos t, r sen t) con t [0, 2].
(ii) c(t) = (cos t, sen t, t
2
) con t [0, ].
(iii) c(t) = ([t[, [t
1
2
[, 0) con t [1, 1].
(iv) la cicloide c(t) = (t sen t, 1 cos t) con t [0, 2].
(v) c(t) = (cos t, sen t, cos 2t, sen 2t) con t [0, ].
(vi) c(t) = (2 cos t, 2 sen t, t) si t [0, 2] y c(t) = (2, t 2, t) si t [2, 4].
(vii) c(t) = (t, t sen t, t cos t) entre (0, 0, 0) y (, 0, ).
(viii) c(t) = (2t, t
2
, log t) con t > 0 entre (2, 1, 0) y (4, 4, log 2).
(ix) la cardioide cuya ecuaci on en polares es r(t) = 1 cos t con t [0, 2].
(x) y = e
x
con x [0, 1].
(xi) y
2
= 4x con y [0, 2].
2.- Calcular
_
c
fds en los siguientes casos:
(i) f(x, y, z) = x
2
+y
2
+z
2
y c(t) = (cos t, sen t, t) con t [0, 2].
(ii) f(x, y, z) = x +y +z y c(t) = (sen t, cos t, t) con t [0, 2].
(iii) f(x, y, z) = x cos z y c(t) = (t, t
2
, 0) con t [0, 1].
(iv) f(x, y, z) = e

z
y c(t) = (1, 2, t
2
) con t [0, 1].
(v) f(x, y, z) = yz y c(t) = (t, 3t, 2t) con t [1, 3].
(vi) f(x, y, z) =
x+y
y+z
y c(t) = (t,
2
3
t
3/2
, t) con t [1, 2].
(vii) f(x, y, z) = y
3
y c(t) = (log t, t, 2) con t [1, e].
(viii) f(x, y, z) = xyz y c(t) = (e
t
cos t, e
t
sen t, 3) con t [0, 2].
(ix) f(x, y, z) = xyz y c(t) = (cos t, sen t, t) con t [0, 2].
(x) f(x, y, z) = xyz y c(t) = (
3
2
t
2
, 2t
2
, t) con t [0, 1].
(xi) f(x, y, z) = xyz y c(t) = (t,
1

2
t
2
,
1
3
t
3
) con t [0, 1].
38
(xii) f(x, y, z) = x +y +yz y c(t) = (sen t, cos t, t) con t [0, 2].
(xiii) f(x, y, z) = x + cos
2
z y c(t) = (sen t, cos t, t) con t [0, 2].
(xiv) f(x, y, z) = x +y +z y c(t) = (t, t
2
,
2
3
t
3
) con t [0, 1].
(xv) f(x, y) = xy y c es el borde del cuadrado [x[ +[y[ = 2.
(xvi) f(x, y) = (x
2
+y
2
+ 4)
1/2
y c es el segmento que une (0, 0) y (1, 2).
(xvii) f(x, y, z) =
_
2y
2
+z
2
y c es la circunferencia de ecuaciones
c
_
x
2
+y
2
+z
2
= 1,
x = y.
3.- Mostrar que si la trayectoria c viene dada en coordenadas polares por r = r() con

1

2
, entonces la integral de f(x, y) a lo largo de c
_
c
f ds =
_

2

1
f(r cos , r sen )
_
(r())
2
+ (r

())
2
d.
4.- Hallar la masa de un alambre formado por la intersecci on de la esfera x
2
+y
2
+z
2
= 1
y el plano x + y + z = 0 si la densidad en (x, y, z) esta dada por (x, y, z) = x
2
gramos
por unidad de longitud del alambre.
2.2. La integral de lnea
Si F es un campo de fuerza en el espacio, entonces una partcula de prueba (por ejem-
plo, una unidad de carga en un campo de fuerza electrico o una masa unitaria en el campo
gravitacional) experimentara la fuerza F. Supongamos que la partcula se mueve a lo largo
de la imagen de una trayectoria c mientras act ua sobre ella F. Un concepto fundamental
es el de trabajo realizado por F sobre la partcula, conforme describe la trayectoria c. Si c
es un desplazamiento en lnea recta dado por el vector v y F es constante, entonces dicho
trabajo es F v. Si la trayectoria es curva, podemos imaginar que esta formada por una
sucesi on de desplazamientos rectos innitesimales o que est a aproximada por un n umero
nito de desplazamientos rectos. Entonces, aproximando c(t + t) c(t) por c

(t)t, el
trabajo es la integral de lnea de F a lo largo de la trayectoria c denida esta integral
como sigue:
Denici on 2.2.1. Sean un campo vectorial continuo F : R
n
R
n
y una trayectoria de
clase C
1
c : [a, b] R
n
. Denimos la integral de lnea de F a lo largo de la trayectoria
39
c como
_
c
F ds =
_
b
a
F(c(t)) c

(t) dt.
Si (F c) c

es continua a trozos, denimos

_
c
F ds partiendo [a, b] en segmentos sobre
los cuales (F c) c

sea continua y sumando las integrales sobre los segmentos.

Denici on 2.2.2. Consideramos una funcion biyectiva de clase C
1
h : [a, b] [c, d]
y una trayectoria de clase C
1
a trozos c : [c, d] R
n
. A p = c h : [a, b] R
n
la
llamamos reparametrizacion de c.
Si h

(t) > 0 para todo t [a, b] se dice que p conserva la orientacion y una partcula
que recorra p se mueve en la misma direcci on que una que recorra c.
Si h

(t) < 0 para todo t [a, b] se dice que p invierte la orientacion y una partcula
que recorra p se mueve en direccion opuesta que una que recorra c.
Ejemplos 2.2.3. Sea c : [a, b] R
n
una trayectoria de clase C
1
a trozos.
(i) La trayectoria c

: [a, b] R
n
, c

(t) = c(a+bt), llamada trayectoria opuesta a c,

es la reparametrizaci on de c que corresponde al cambio de coordenadas h : [a, b] [a, b],
h(t) = a +b t. La trayectoria c

invierte la orientaci on.

(ii) La trayectoria p : [0, 1] R
n
, p(t) = c(a + (b a)t), es la reparametrizaci on de
c que corresponde al cambio de coordenadas h : [0, 1] [a, b], h(t) = a + (b a)t. La
trayectoria p conserva la orientaci on.
Teorema 2.2.4. Sea F un campo vectorial continuo en la trayectoria c : [c, d] R
n
de
clase C
1
y sea p : [a, b] R
n
una reparametrizacion de c. Si p conserva la orientacion,
entonces
_
p
F ds =
_
c
F ds
y si la invierte, entonces
_
p
F ds =
_
c
F ds.
Demostracion. Se tiene que
_
p
F ds =
_
b
a
F(p(t)) p

(t) dt =
_
b
a
F(c(h(t))) c

(h(t))h

(t) dt =
_
h(b)
h(a)
F(c(u)) c

(u) du.
Esta ultima integral es
_
d
c
F(c(u)) c

(u) du =
_
c
F ds
40
si p conserva la orientaci on, y es
_
c
d
F(c(u)) c

(u) du =
_
c
F ds
si p invierte la orientaci on.
El teorema anterior es cierto tambien si c es de clase C
1
a trozos, como podemos ver
si rompemos los intervalos en segmentos en los cuales las trayectorias sean de clase C
1
y
sumamos las integrales sobre dichos segmentos.
Para la integral de trayectoria, el resultado no varia bajo reparametrizaciones como
muestra el siguiente teorema, el cual se demuestra de manera analoga al anterior:
Teorema 2.2.5. Sean c una trayectoria de clase C
1
a trozos, f una funcion escalar
continua denida en la imagen de c, y p cualquier reparametrizacion de c. Entonces
_
p
f ds =
_
c
f ds.
Recordemos que un campo vectorial F es un campo vectorial gradiente si F = f
para alguna funcion escalar f.
El siguiente resultado constituye una generalizacion del teorema fundamental del c alcu-
lo:
Teorema 2.2.6. Sean f : R
n
R una funcion de clase C
1
y c : [a, b] R
n
una
trayectoria de clase C
1
a trozos. Entonces
_
c
f ds = f(c(b)) f(c(a)).
Demostracion. Sea F(t) = f(c(t)) con t [a, b]. Aplicando la regla de la cadena se tiene
que F

(t) = f(c(t)) c

(t) de lo que se sigue el resultado.

Expresemos ahora la teora anterior de forma independiente de la parametrizaci on.
Denici on 2.2.7. Denimos curva simple C como la imagen de una aplicacion inyectiva
c : [a, b] R
n
de clase C
1
a trozos. Llamamos a c parametrizacion de C.
La curva C tiene dos orientaciones asociadas. Llamamos a C junto con una orientaci on,
curva simple orientada.
41
Si c(a) = c(b) y c no es necesariamente inyectiva en [a, b) llamamos a C curva cerrada.
Si ademas c es inyectiva en [a, b) decimos que C es una curva cerrada simple.
An alogamente se dene curva cerrada simple orientada.
Denicion 2.2.8. Sean f : R
n
R una funcion escalar continua, F : R
n
R
n
un campo vectorial continuo y C una curva (cerrada) simple orientada. Se denen las
integrales de trayectoria de f y de lnea de F sobre C respectivamente como
_
C
f ds =
_
c
f ds
y
_
C
F ds =
_
c
F ds
siendo c cualquier parametrizaci on de C que conserve la orientacion.
Si C

es la curva C pero con orientacion opuesta, entonces

_
C
F ds =
_
C

F ds.
Otros conceptos fsicos que se modelizan utilizando las integrales de lnea aparecen en
mec anica de uidos y en electromagnetismo. Por ejemplo, si F es el campo de velocidades
de un uido y C es una curva cerrada, la integral de lnea
_
C
F ds se denomina circulaci on
de F a lo largo de C.
Problemas
1.- Calcular
_
c
Fds en los siguientes casos:
(i) F(x, y, z) = (x, y, z) y c(t) = (sen t, cos t, t) con t [0, 2].
(ii) F(x, y, z) = (x
2
, xy, 1) y c(t) = (t, t
2
, 1) con t [0, 1].
(iii) F(x, y, z) = (cos z, e
x
, e
y
) y c(t) = (1, t, e
t
) con t [0, 2].
(iv) F(x, y, z) = (sen z, cos z,
3

xy) y c(t) = (cos

3
t, sen
3
t, t) con t [0,
7
2
].
(v) F(x, y, z) = (x
3
, y, z) y c(t) = (0, cos t, sen t) con t [0, 2].
(vi) F(x, y, z) = (yz, xz, xy) y c est a formada por los segmentos de recta que unen (1, 0, 0),
(0, 1, 0) y (0, 0, 1).
42
(vii) F(x, y, z) = (x
2
, xy, 1) y c es la par abola z = x
2
, y = 0 de (1, 0, 1) a (1, 0, 1).
(viii) F(x, y, z) = (y, 2x, y) y c(t) = (t, t
2
, t
3
) con t [0, 1].
(ix) F(x, y, z) = (y, 3y
3
x, z) y c(t) = (t, t
n
, 0) con t [0, 1] y n N.
2.- Sean F(x, y, z) = (yz, xz, xy) y c(t) = (t, t
2
, t
3
) con t [5, 10]. Calcular
_
c
Fds y
_
c

Fds.
3.- Sean F(x, y, z) = (y, x, 0) y c(t) = (
1
4
t
4
, sen
3
(

2
t), 0) con t [0, 1]. Calcular
_
c
Fds
expresando F como un gradiente.
4.- Calcular
_
C
Fds siendo F(x, y) = (x
2
, xy) y C el permetro de [0, 1] [0, 1] orientado
en sentido contrario a las agujas del reloj.
5.- Sean F : R
n
R
n
un campo vectorial continuo y c : [a, b] R
n
una trayectoria de
clase C
1
.
(i) Sup ongase que F es perpendicular a c

(t) en c(t) para todo t [a, b]. Demostrar que

_
c
Fds = 0.
(ii) Sup ongase que F es paralelo a c

(t) en c(t) para todo t [a, b] (es decir, F(c(t)) =

(t)c

(t) con (t) > 0 para todo t [a, b]). Demostrar que
_
c
Fds =
_
c
|F|ds.
6.- Sean F : R
n
R
n
un campo vectorial continuo tal que |F| M y c : [a, b] R
n
una trayectoria de clase C
1
. Demostrar que

_
c
Fds

Ml(c).
7.- Sean c
1
, c
2
dos trayectorias de clase C
1
con los mismos puntos extremos y F un campo
vectorial continuo. Demostrar que
_
c
1
Fds =
_
c
2
Fds si y solo si
_
C
Fds = 0 donde C es
la curva cerrada simple que se obtiene al moverse primero a lo largo de c
1
y despues a lo
largo de c
2
en sentido opuesto.
8.- Sean c una trayectoria de clase C
1
y T el vector tangente unitario. Que es
_
c
Tds?
9.- Sea F(x, y, z) = (z
3
+ 2xy, x
2
, 3xz
2
). Mostrar que la integral de F sobre el contorno
del cuadrado de vertices (1, 1) es 0.
10.- Cu al es el valor de la integral de un campo vectorial gradiente alrededor de una
curva cerrada simple C?
11.- Calcular
_
C
Fds siendo F(x, y, z) = (2xyz, x
2
z, x
2
y) y C una curva simple orientada
que une (1, 1, 1) con (1, 2, 4).
12.- Sea f(x, y, z) = (2xyze
x
2
, ze
x
2
, ye
x
2
). Si f(0, 0, 0) = 5 calcular f(1, 1, 2).
43
2.3. Campos conservativos
Dado un campo vectorial F : R
3
R
3
de clase C
1
denimos su rotacional, rot F,
como
rot F = F.
Teorema 2.3.1. Sea F : R
3
R
3
un campo vectorial de clase C
1
. Son equivalentes:
(i)
_
c
F ds = 0 para toda trayectoria cerrada c de clase C
1
a trozos.
(ii)
_
c
1
F ds =
_
c
2
F ds para cualesquiera dos trayectorias c
1
y c
2
de clase C
1
a trozos
con los mismos puntos extremos.
(iii) F = f para alguna funcion escalar f.
(iv) rot F = 0.
Demostracion. (i)(ii). Basta con utilizar la tecnica del Ejercicio 2.2.7.
(ii)(iii). Sea f(x, y, z) =
_
c
F ds donde c es la trayectoria que une mediante segmentos
(0, 0, 0) con (x, 0, 0), este con (x, y, 0) y nalmente este con (x, y, z). Por tanto
f(x, y, z) =
_
x
0
F
1
(t, 0, 0) dt +
_
y
0
F
2
(x, t, 0) dt +
_
z
0
F
3
(x, y, t) dt
donde F = (F
1
, F
2
, F
3
). Se tiene que
f
z
= F
3
. Por hipotesis, f(x, y, z) no vara si unimos
primero (0, 0, 0) con (x, 0, 0), este con (x, 0, z) y nalmente este con (x, y, z). De esta forma
obtenemos que
f
y
= F
2
. Analogamente se obtiene que
f
x
= F
1
.
(iii)(iv). Basta con calcular rot f.
(iv)(i). Como el Teorema 2.2.6 nos da (i) con (iii) como hip otesis, basta con obtener
(iii) a partir de (iv). Sea f(x, y, z) =
_
c
F ds donde c(t) = t(x, y, z) con t [0, 1]. Entonces
f(x, y, z) =
_
1
0
F(tx, ty, tz) (x, y, z) dt.
Utilizando la Proposici on 1.3.4 y la hipotesis se obtiene el resultado.
El teorema anterior es cierto tambien si consideramos R
n
en vez de R
3
debiendose
entonces sustituir la condici on (iv) por
F
i
x
j
=
F
j
x
i
44
para todos 1 i, j n. La demostraci on es an aloga.
Un campo vectorial que satisfaga una (y, por lo tanto, todas) de las condiciones del
teorema anterior se llama campo vectorial conservativo o irrotacional. A la funcion f se
le llama potencial para F.
Dado un campo vectorial F : R
3
R
3
de clase C
1
denimos su divergencia, div F,
como
div F = F.
Teorema 2.3.2. Sea F = (F
1
, F
2
, F
3
) : R
3
R
3
un campo vectorial de clase C
1
tal que
div F = 0. Entonces existe un campo vectorial G : R
3
R
3
tal que rot G = F.
Demostracion. Sea G = (G
1
, G
2
, G
3
) con
G
1
(x, y, z) =
_
z
0
F
2
(x, y, t) dt
_
y
0
F
3
(x, t, 0) dt,
G
2
(x, y, z) =
_
z
0
F
1
(x, y, t) dt
y
G
3
(x, y, z) = 0.
Utilizando la Proposici on 1.3.4 se obtiene que rot G = F.
Si G : R
3
R
3
es un campo vectorial de clase C
2
, entonces div rot G = 0.
Problemas
1.- Mostrar que el campo vectorial F(x, y, z) = (y, z cos yz + x, y cos yz) es irrotacional y
hallar un potencial para el.
2.- Determinar si los siguientes campos vectoriales son conservativos y hallar cuando exista
un potencial para ellos:
(i) F(x, y) = (e
xy
, e
x+y
).
(ii) F(x, y) = (2x cos y, x
2
sen y). En este caso calcular
_
c
Fds siendo c la trayectoria
dada por c(t) = (e
t1
, sen

t
) con t [1, 2].
(iii) F(x, y) = (x, y).
(iv) F(x, y) = (xy, xy).
45
(v) F(x, y) = (x
2
+y
2
, 2xy).
(vi) F(x, y) = (cos xy xy sen xy, x
2
sen xy).
(vii) F(x, y) = (x
_
x
2
y
2
+ 1, y
_
x
2
y
2
+ 1).
(viii) F(x, y) = ((2x + 1) cos y, (x
2
+x) sen y).
(ix) F(x, y) = (xy
2
+3x
2
y, x
2
(x +y)). En este caso calcular
_
c
Fds siendo c la trayectoria
que une mediante segmentos (1, 1) a (0, 2) y este a (3, 0).
(x) F(x, y) =
_
2x
y
2
+1
,
2y(x
2
+1)
(y
2
+1)
2
_
. En este caso calcular
_
c
Fds siendo c la trayectoria dada
por c(t) = (t
3
1, t
6
t) con t [0, 1].
(xi) F(x, y) = (cos xy
2
xy
2
sen xy
2
, 2x
2
y sen xy
2
). En este caso calcular
_
c
Fds siendo
c la trayectoria dada por c(t) = (e
t
, e
t+1
) con t [1, 0].
3.- Mostrar que cualesquiera dos potenciales para un mismo campo vectorial dieren en
una constante.
4.- Sea F(x, y) = (xy, y
2
) y sea c la trayectoria y = 2x
2
que une (0, 0) con (1, 2) en R
2
.
Calcular
_
c
Fds. Depende esta integral de la trayectoria que une (0, 0) con (1, 2)?
5.- Hallar cuando exista un potencial para los siguientes campos vectoriales:
(i) F(x, y, z) = (2xyz+sen x, x
2
z, x
2
y). En este caso calcular
_
c
Fds siendo c la trayectoria
dada por c(t) = (cos
5
t, sen
3
t, t
4
) con t [0, ].
(ii) F(x, y, z) = (xy, y, z).
(iii) F(x, y, z) = (e
x
sen y, e
x
cos y, z
2
). En este caso calcular
_
c
Fds siendo c la trayectoria
dada por c(t) = (

t, t
3
, e

t
) con t [0, 1].
(iv) F(x, y, z) = (x, y, z).
(v) F(x, y, z) = (x
2
+ 1, z 2xy, y).
6.- En cada uno de los siguientes casos, dado el campo vectorial F hallar otro G tal que
rot G = F:
(i) F(x, y, z) = (xz, yz, y).
(ii) F(x, y, z) = (y
2
, z
2
, x
2
).
(iii) F(x, y, z) = (xe
y
, x cos z, ze
y
).
46
(iv) F(x, y, z) = (x cos y, sen y, sen x).
2.4. El teorema de Green
Denici on 2.4.1. Se dice que D R
2
es de tipo 1 si
D = (x, y) R
2
: x [a, b],
1
(x) y
2
(x)
con
1
,
2
: [a, b] R.
Se dice que D R
2
es de tipo 2 si
D = (x, y) R
2
: y [c, d],
1
(y) x
2
(y)
con
1
,
2
: [c, d] R.
Se dice que D R
2
es de tipo 3 si es de tipos 1 y 2 (por ejemplo, la bola unidad
cerrada).
A las regiones anteriores las llamaremos regiones elementales.
Dada C curva cerrada simple denotamos C con la orientaci on en sentido contrario a las
agujas del reloj (positiva) mediante C
+
, y con la orientacion opuesta (negativa) mediante
C

.
Lema 2.4.2. Sea D una region de tipo 1 y C su frontera. Si P : D R es de clase C
1
,
entonces
_
C
+
(P, 0) ds =
_
D
P
y
.
Demostracion. Sea D = (x, y) R
2
: x [a, b],
1
(x) y
2
(x) para ciertas
funciones
1
,
2
: [a, b] R. Usando el Corolario 1.4.2 se tiene que
_
D
P
y
=
_
b
a
_

2
(x)

1
(x)
P
y
(x, y) dy dx =
_
b
a
(P(x,
2
(x)) P(x,
1
(x))) dx =
_
C
+
(P, 0).
An alogamente se demuestra el siguiente
Lema 2.4.3. Sea D una region de tipo 2 y C su frontera. Si Q : D R es de clase C
1
,
entonces
_
C
+
(0, Q) ds =
_
D
Q
x
.
47
Con los dos lemas anteriores se obtiene f acilmente el teorema de Green:
Teorema 2.4.4 (Teorema de Green). Sea D una region de tipo 3 y C su frontera. Si
P, Q : D R son de clase C
1
, entonces
_
C
+
(P, Q) ds =
_
D
_
Q
x

P
y
_
.
La orientaci on positiva para las curvas frontera de la regi on D se puede determinar
mediante este recurso: si se camina a lo largo de C con la orientaci on positiva, D quedar a a
la izquierda.
El teorema de Green se aplica a regiones que no son de tipo 3 pero que se pueden
descomponer en subregiones de tipo 3. Por ejemplo, la bola unidad cerrada salvo la bola
abierta de centro el origen y radio 1/2.
Corolario 2.4.5. Sea D una region de tipo 3 y C su frontera. Entonces el area de D se
puede calcular como
A(D) =
1
2
_
C
+
(y, x) ds.
Teorema 2.4.6 (Teorema de la divergencia en el plano). Sea D una region de tipo 3 y
C su frontera. Si P, Q : D R son de clase C
1
, entonces
_
C
(P, Q) nds =
_
D
div(P, Q)
donde n es la normal unitaria exterior a C
+
.
Demostracion. Sea c : [a, b] R
2
, c(t) = (x(t), y(t)), una parametrizaci on orientada
positivamente de C. Entonces
n(c(t)) =
1
|c

(t)|
(y

(t), x

(t))
con t [a, b], luego
_
C
(P, Q) nds =
_
C
+
(Q, P) ds
lo cual es igual por el teorema de Green a
_
D
div(P, Q).
48
Problemas
1.- Vericar el teorema de Green para P(x, y) = Q(x, y) = xy y D la bola unidad cerrada.
2.- Sean P(x, y) = xy
2
y Q(x, y) = x + y. Integrar
Q
x

P
y
sobre la region del primer
cuadrante acotada por las curvas y = x
2
y y = x.
3.- Calcular
_
C
+
(y, x)ds donde C es la frontera del cuadrado [1, 1] [1, 1].
4.- Hallar el area de la bola cerrada de centro el origen y radio r usando el teorema de
Green.
5.- Vericar el teorema de Green para la bola anterior y las siguientes funciones:
(i) P(x, y) = xy
2
, Q(x, y) = yx
2
.
(ii) P(x, y) = x +y, Q(x, y) = y.
(iii) P(x, y) = Q(x, y) = xy.
(iv) P(x, y) = 2y, Q(x, y) = x.
6.- Sean P(x, y) = y
3
y Q(x, y) = x
5
. Integrar la componente normal de (P, Q) (es decir,
(P, Q) n) alrededor de [0, 1] [0, 1].
7.- Comprobar directamente y usando el teorema de la divergencia en el plano que
_
C
(y, x) nds = 0 donde C es la frontera de la bola unidad cerrada.
8.- Hallar el area acotada por la cicloide c(t) = (t sen t, 1 cos t) con t [0, 2] y el eje
OX.
9.- En las condiciones del teorema de Green, demostrar que:
(i)
_
C
+
(PQ, PQ)ds =
_
D
_
Q
_
P
x

P
y
_
+P
_
Q
x

Q
y
__
.
(ii)
_
C
+
_
Q
P
x
P
Q
x
, P
Q
y
Q
P
y
_
ds = 2
_
D
_
P

2
Q
xy
Q

2
P
xy
_
, siendo P y Q de
clase C
2
.
10.- Vericar el teorema de Green para las funciones P(x, y) = 2x
3
y
3
, Q(x, y) = x
3
+y
3
en los siguientes casos:
(i) D la bola unidad cerrada.
(ii) D = (x, y) R
2
: a x
2
+y
2
b con a, b > 0.
49
11.- En las condiciones del teorema de Green, demostrar que
_
C
+
_
f
y
,
f
x
_
ds = 0
si f : R
2
R es armonica, es decir, si su laplaciano f vale 0 siendo
f =

2
f
x
2
+

2
f
y
2
.
12.- Vericar el teorema de la divergencia en el plano para F(x, y) = (x, y) y D la bola
unidad cerrada.
13.- Calcular la integral de la componente normal de F(x, y) = (2xy, y
2
) alrededor de
la elipse
x
2
a
2
+
y
2
b
2
= 1.
14.- Calcular
_
C
+
(y
2
+x
3
, x
4
)ds donde C es la frontera del cuadrado [0, 1] [0, 1].
15.- Calcular el area de la elipse
x
2
a
2
+
y
2
b
2
= 1.
16.- Sea D una regi on de tipo 3 cuya frontera viene dada en coordenadas polares mediante
r = r() con [a, b]. Demostrar que
A(D) =
1
2
_
b
a
r()
2
d.
17.- Calcular el area de la rosa de cuatro petalos r = 3[ sen 2[ con [0, 2].
18.- Dadas D regi on de tipo 3 y f funci on escalar de clase C
2
demostrar que
_
C
ff nds =
_
D
(ff +f f).
19.- Dadas f, g : R
2
R funciones de clase C
1
, sean los campos vectoriales F = (f, g) y
G =
_
f
x

f
y
,
g
x

g
y
_
. Calcular
_
D
(F G) siendo D la bola unidad cerrada y sabiendo
que f(x, y) = 1 y g(x, y) = y para todo (x, y) de la frontera de D.
2.5. Integrales de supercie
Empecemos deniendo supercie:
Denici on 2.5.1. Una supercie parametrizada es una funci on : D R
2
R
3
,
(u, v) = (x(u, v), y(u, v), z(u, v)).
50
La supercie S que corresponde a es (D). Si es diferenciable o de clase C
1
llamamos
a S supercie diferenciable o C
1
.
Supongamos que es diferenciable en (u
0
, v
0
). La imagen de la funci on (u
0
, t) es una
curva sobre S cuyo vector tangente en (u
0
, v
0
) esta dado por
T
v
=
_
x
v
(u
0
, v
0
),
y
v
(u
0
, v
0
),
z
v
(u
0
, v
0
),
_
.
An alogamente la imagen de la funci on (t, v
0
) es una curva sobre S cuyo vector tangente
en (u
0
, v
0
) esta dado por
T
u
=
_
x
u
(u
0
, v
0
),
y
u
(u
0
, v
0
),
z
u
(u
0
, v
0
),
_
.
Por tanto, ambos vectores deben determinar el plano tangente a la supercie en (u
0
, v
0
),
es decir, T
u
T
v
debe ser normal a S.
Decimos que S es suave en (u
0
, v
0
) si T
u
T
v
,= 0 en (u
0
, v
0
) y que es suave si lo
es en todos los puntos. En los puntos en los que S sea suave podremos calcular su plano
tangente.
Consideraremos solo supercies suaves por pedazos que sean uniones de im agenes de
supercies parametrizadas
i
: D
i
R
3
para las que:
(i) D
i
es una regi on elemental,
(ii)
i
es de clase C
1
e inyectiva excepto, quiz a, en la frontera de D
i
y
(iii) S
i
=
i
(D
i
) es suave excepto, quiz a, en un n umero nito de puntos.
Para supercies de este tipo podemos denir su area de la siguiente forma:
Denici on 2.5.2. Denimos el area de una supercie S, A(S), como
A(S) =
_
D
|T
u
T
v
|.
Si S es una uni on de supercies S
i
,
A(S) =

i
A(S
i
).
M as adelante veremos que la denicion anterior no depende de la parametrizacion
de S.
51
La denici on anterior puede justicarse en terminos de sumas de Riemann. Por simpli-
cidad, supongamos que D es un rect angulo. Consideremos la n-esima partici on regular de
D, y sea R
ij
el ij-esimo rect angulo de la partici on con vertices (u
i
, v
j
), (u
i+1
, v
j
), (u
i
, v
j+1
)
y (u
i+1
, v
j+1
) para 0 i, j n 1. Los vectores uT
u
i
y vT
v
j
, tangentes a la supercie
en (u
i
, v
j
), forman un paralelogramo P
ij
contenido en el plano tangente a la supercie
en (u
i
, v
j
). Para n grande el area de P
ij
es una buena aproximacion del area de (R
ij
).
Como el area del paralelogramo generado por dos vectores es el modulo de su producto
vectorial, la suma
n1

i=0
n1

j=0
|T
u
i
T
v
j
|uv
aproxima el area de S. Haciendo tender n a se obtiene
_
D
|T
u
T
v
|.
Ahora estamos preparados para denir la integral de una funci on escalar f sobre una
supercie S. Este concepto es una generalizacion natural del area de una supercie, que
corresponde a la integral sobre S de la funcion escalar f 1. Esto es analogo a considerar
la integral de trayectoria como una generalizaci on de la longitud de una curva.
Denicion 2.5.3. Sea S una supercie y f : S R una funci on escalar continua. Se
dene la integral de supercie de f sobre S como
_
S
f dS =
_

f dS =
_
D
f((u, v))|T
u
T
v
| du dv.
Si S es union de supercies S
i
que no se intersecan excepto, quiz a, a lo largo de sus
fronteras, entonces
_
S
f dS =

i
_
S
i
f dS.
M as adelante veremos que la denicion anterior no depende de la parametrizacion
de S utilizada.
La denicion anterior puede justicarse tambien en terminos de sumas de Riemann.
Supongamos que D es un rect angulo. Consideremos la n-esima partici on regular de D, y
sea R
ij
el ij-esimo rectangulo de la particion con vertices (u
i
, v
j
), (u
i+1
, v
j
), (u
i
, v
j+1
) y
(u
i+1
, v
j+1
) para 0 i, j n 1. Sea S
ij
= (R
ij
). El area de S
i,j
es
_
R
ij
|T
u
T
v
|,
52
lo cual, por el teorema del valor medio para integrales, es
|T
u

i
T
v

j
|uv
para alg un punto (u

i
, v

j
) R
ij
. Para n grande la suma
n1

i=0
n1

j=0
f((u

i
, v

j
))|T
u

i
T
v

j
|uv
aproxima la integral
_
D
f((u, v))|T
u
T
v
| du dv.
Las integrales de supercie de funciones escalares son utiles para calcular la masa
total de una supercie cuando se conoce la funcion m de densidad de masa (por unidad
de area). Dicha masa viene dada por la f ormula
M(S) =
_
S
mdS.
La extensi on natural de la denicion anterior para funciones vectoriales es la siguiente:
Denici on 2.5.4. Sea S una supercie y F : S R
3
un campo vectorial continuo. Se
dene la integral de supercie de F sobre S como
_
S
F dS =
_

F dS =
_
D
F((u, v)) (T
u
T
v
) du dv.
Si S es union de supercies S
i
que no se intersecan excepto, quiz a, a lo largo de sus
fronteras, entonces
_
S
F dS =

i
_
S
i
F dS.
En cada punto de S hay dos normales unitarias con sentidos opuestos.
Denicion 2.5.5. Decimos que S es una supercie orientada si especicamos el sentido
que la parametrizaci on debe inducir en la normal unitaria en cada punto de S. A dicho
sentido le llamamos orientacion de S.
Decimos que otra parametrizacion de S conserva la orientacion si en cada punto su
normal unitaria es la misma que para , y que invierte la orientacion si en cada punto su
normal unitaria es la opuesta que para .
53
Teorema 2.5.6. (i) Sean S una supercie y F : S R
3
un campo vectorial continuo.
Si dos parametrizaciones de S, y inducen en ella la misma orientacion, entonces
_

F dS =
_

F dS
y si inducen orientaciones opuestas, entonces
_

F dS =
_

F dS
(ii) Sean S una supercie, f : S R una funcion escalar continua y y dos
parametrizaciones de S. Entonces
_

f dS =
_

f dS.
El signicado geometrico y fsico de la integral de una funcion vectorial F sobre una
supercie S se puede entender expresandola como lmite de sumas de Riemann. Por sen-
cillez, suponemos que D es un rectangulo sobre el que consideramos su n-esima particion
regular, siendo R
ij
el ij-esimo rect angulo de la partici on con vertices (u
i
, v
j
), (u
i+1
, v
j
),
(u
i
, v
j+1
) y (u
i+1
, v
j+1
) para 0 i, j n1. Adem as, consideramos una parametrizacion
de S cuya normal unitaria apunta hacia afuera. El volumen del paraleleppedo formado
por F((u
i
, v
j
)), uT
u
i
y vT
v
j
es
[F((u
i
, v
j
)) (uT
u
i
vT
v
j
)[ = [F((u
i
, v
j
)) (T
u
i
T
v
j
)uv[.
Si pensamos F como el campo de velocidad de un uido, F((u, v)) apunta en la direcci on
en la cual se mueve el uido a traves de la supercie cerca de (u, v). Adem as, el n umero
[F((u
i
, v
j
)) (uT
u
i
vT
v
j
)[
mide la cantidad de uido que pasa a traves del paralelogramo tangente, por unidad de
tiempo. Por tanto, la suma
n1

i=0
n1

j=0
F((u
i
, v
j
)) (T
u
i
T
v
j
)uv
es una medida aproximada de la cantidad neta de uido que uye hacia afuera a traves
de la supercie, por unidad de tiempo, o razon de ujo, es decir, la integral
_

F dS. Esta
integral tambien se llama ujo de F a traves de S.
54
Problemas
1.- Sea (u, v) = (ucos v, u sen v, u
2
+v
2
) con (u, v) R
2
. D onde existe plano tangente?
Hallarlo en (1, 0).
2.- Supongamos que la supercie S es la graca de una funci on diferenciable f : R
2
R.
(i) Mostrar que S es suave.
(ii) Hallar el area de S suponiendo que f es de clase C
1
.
3.- Dado el hiperboloide de ecuacion x
2
+ y
2
z
2
= 25, hallar una parametrizaci on,
la normal unitaria y el plano tangente en (x
0
, y
0
, 0). Mostrar tambien que las rectas
(x
0
, y
0
, 0) +t(y
0
, x
0
, 5) y (x
0
, y
0
, 0) +t(y
0
, x
0
, 5) estan sobre la supercie y en el plano
tangente hallado.
4.- Dado el cono parametrizado por (r, ) = (r cos , r sen , r) con (r, ) [0, 1] [0, 2],
calcular su area.
5.- Calcular el area del helicoide parametrizado por (r, ) = (r cos , r sen , ) donde
(r, ) [0, 1] [0, 2].
6.- Hallar el area de las supercies generadas al girar alrededor de los ejes la gr aca de
una funci on y = f(x). Expresar e interpretar los resultados a traves de integrales de
trayectoria.
7.- Hallar el area de la esfera de centro el origen y radio r.
8.- Calcular el area de un toro cuya secci on transversal es una circunferencia de radio r.
9.- Hallar el area de la supercie denida por x +y +z = 1, x
2
+ 2y
2
1.
10.- Calcular el area de la parte del cono x
2
+ y
2
= z
2
con z 0 que esta dentro de la
esfera x
2
+ y
2
+ z
2
= 2rz con r > 0 y el area de la parte de la esfera que est a dentro del
cono.
11.- Calcular el area de la parte del cilindro x
2
+ z
2
= a
2
que est a dentro del cilindro
x
2
+y
2
= 2ay con a > 0 y tambien en el octante positivo.
12.- Calcular
_
S
fdS en los siguientes casos:
(i) f(x, y, z) =
_
x
2
+y
2
+ 1 y S el helicoide del Ejercicio 2.5.5.
(ii) f(x, y, z) = x y S la supercie denida por z = x
2
+y con (x, y) [0, 1] [1, 1].
55
(iii) f(x, y, z) = z
2
y S la esfera unitaria.
(iv) f(x, y, z) = xy y S la supercie del tetraedro denido por y = z = 0, x+z = 1, x = y.
(v) f(x, y, z) = xyz y S el triangulo de vertices (1, 0, 0), (0, 2, 0) y (0, 1, 1).
(vi) f(x, y, z) = z y S la supercie denida por z = x
2
+y
2
, x
2
+y
2
1.
(vii) f(x, y, z) = z
2
y S la frontera del cubo [1, 1] [1, 1] [1, 1].
13.- Calcular
_
S
x
2
dS,
_
S
y
2
dS y
_
S
z
2
dS siendo S la parte del cilindro x
2
+ y
2
= 4 entre
los planos z = 0 y z = x + 3.
14.- Calcular
_
S
F dS en los siguientes casos:
(i) F(x, y, z) = (x, y, z) y S la esfera unitaria con la normal unitaria apuntando hacia
afuera.
(ii) F(x, y, z) = (x, y, z) y S el crculo denido por x
2
+ y
2
25, z = 12 con la normal
unitaria apuntando hacia arriba.
(iii) F(x, y, z) = (x+3y
5
, y+10xz, zxy) y S la semiesfera dada por x
2
+y
2
+z
2
= 1, z 0
con la normal unitaria apuntando hacia arriba.
(iv) F(x, y, z) = (x
3
, 0, 0) y S el semielipsoide denido por
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1, z 0 con la
normal unitaria apuntando hacia arriba.
(v) F(x, y, z) = (x
2
, y
2
, z
2
) y S la parte del cono z
2
= x
2
+ y
2
con 1 z 2 y la normal
unitaria apuntando hacia afuera.
(vi) F(x, y, z) = (x, y, y) y S la supercie cilndrica denida por x
2
+y
2
= 1, 0 z 1
con la normal unitaria apuntando hacia afuera.
15.- Establecer una f ormula para
_
S
F dS cuando S es la graca de una funcion diferen-
ciable f : D R
2
R.
16.- Calcular
_
S
rot F dS en los siguientes casos:
(i) F(x, y, z) = (y, x, zx
3
y
2
) y S est a denida por x
2
+y
2
+3z
2
= 1, z 0 con la normal
unitaria apuntando hacia arriba.
(ii) F(x, y, z) = (x
2
+y 4, 3xy, 2xz +z
2
) y S est a denida por x
2
+y
2
+z
2
= 16, z 0
con la normal unitaria apuntando hacia arriba.
17.- Hallar
_
S
F ndS para F(x, y, z) = (1, 1, z(x
2
+y
2
)
2
) y S dada por x
2
+y
2
= 1, 0
56
z 1 donde n es la normal unitaria exterior.
2.6. El teorema de Stokes
Sea D R
2
una regi on cuya frontera es una curva cerrada simple y a la que se le
puede aplicar el teorema de Green. Sea : D R
3
una parametrizaci on inyectiva de
una supercie S. Si c es una parametrizaci on de la frontera de D con orientaci on positiva,
denimos la frontera geometrica de S, S, como la curva cerrada simple orientada que es
la imagen de c.
Teorema 2.6.1 (Teorema de Stokes). Sea S una supercie orientada denida por una
parametrizacion : D R
3
inyectiva y de clase C
2
siendo D una region cuya frontera
es una curva cerrada simple y a la que se le puede aplicar el teorema de Green. Si F es
un campo vectorial de clase C
1
en S, entonces
_
S
rot F dS =
_
S
F ds.
Demostracion. Si F = (F
1
, F
2
, F
3
), entonces
rot F =
_
F
3
y

F
2
z
,
F
1
z

F
3
x
,
F
2
x

F
1
y
_
.
Si (u, v) = (x, y, z), entonces
T
u
T
v
=
_
y
u
z
v

z
u
y
v
,
z
u
x
v

x
u
z
v
,
x
u
y
v

y
u
x
v
_
.
Por denici on,
_
S
rot F dS =
_
D
(rot F)((u, v)) (T
u
T
v
) du dv.
Si c(t) = (c
1
(t), c
2
(t)) con t [a, b] es una parametrizaci on de la frontera de D con
orientaci on positiva, entonces
_
S
F ds es igual a
_
b
a
_
F
1
_
x
u
c

1
(t) +
x
v
c

2
(t)
_
+F
2
_
y
u
c

1
(t) +
y
v
c

2
(t)
_
+F
3
_
z
u
c

1
(t) +
z
v
c

2
(t)
__
dt
o, equivalentemente, a
_
b
a
__
F
1
x
u
+F
2
y
u
+F
3
z
u
_
c

1
(t) +
_
F
1
x
v
+F
2
y
v
+F
3
z
v
_
c

2
(t)
_
dt.
57
Aplicando el teorema de Green a esta ultima integral se obtiene
_
D
_

u
_
F
1
x
v
+F
2
y
v
+F
3
z
v
_

v
_
F
1
x
u
+F
2
y
u
+F
3
z
u
__
du dv,
la cual es igual a
_
S
rot F dS gracias a la igualdad de las derivadas parciales cruzadas por
ser de clase C
2
.
El teorema de Stokes generaliza al teorema de Green ya que este ultimo se puede
obtener del primero si consideramos el campo (P, Q, 0).
Problemas
1.- Mostrar que la integral de F(x, y, z) = (ye
z
, xe
z
, xye
z
) sobre una curva cerrada simple
orientada C que es la frontera de una supercie S es 0.
2.- Usar el teorema de Stokes para calcular
_
C
F ds donde F(x, y, z) = (y
3
, x
3
, z
3
) y
C es la intersecci on del cilindro x
2
+ y
2
= 1 y el plano x + y + z = 1 con la orientaci on
contraria a las agujas del reloj en el plano XY .
3.- Hacer el Ejercicio 2.5.16 usando el teorema de Stokes.
4.- Vericar el teorema de Stokes en los siguientes casos:
(i) F(x, y, z) = (x, y, z) y S la semiesfera unitaria superior.
(ii) F(x, y, z) = (yz, xz, xy) y S el triangulo de vertices (1, 0, 0), (0, 1, 0) y (0, 0, 1).
(iii) F(x, y, z) = (z, x, y) y S el helicoide parametrizado por (r, ) = (r cos , r sen , )
con (r, ) [0, 1] [0,

2
].
(iv) F(x, y, z) = (3y, xz, yz
2
) y S la parte de la supercie 2z = x
2
+ y
2
debajo del
plano z = 2.
5.- Calcular
_
S
rot F dS en los siguientes casos:
(i) F(x, y, z) = (xz + yz
2
+ x, xyz
3
+ y, x
2
z
4
) y S = S
1
S
2
donde S
1
es la supercie
cilndrica x
2
+y
2
= 1, 0 z 1 y S
2
es la semiesfera x
2
+y
2
+ (z 1)
2
= 1, z 1.
(ii) F(x, y, z) = (x, y, z)(1, 1, 1) y S es la parte de la esfera unitaria tal que x+y+z 1.
(iii) F(x, y, z) = (x
3
, y
3
, 0) y S es la parte de la esfera unitaria tal que x 0.
(iv) F(x, y, z) = (sen xy, e
x
, yz) y S es el elipsoide x
2
+y
2
+ 2z
2
= 10.
58
(v) F(x, y, z) = (y, x, x
3
y
2
z) y S es la semiesfera unitaria inferior.
6.- Para una supercie S y un vector jo v demostrar que
2
_
S
v dS =
_
S
(v F) ds
donde F(x, y, z) = (x, y, z).
7.- Sean S una supercie y f, g : R
3
R funciones de clase C
2
. Mostrar que:
(i)
_
S
fg ds =
_
S
(f g) dS.
(ii)
_
S
(fg +gf) ds = 0.
8.- Si C es la frontera de una supercie S y v es un vector constante, demostrar que
_
C
v ds = 0. Mostrar tambien que esto es cierto incluso cuando C no es la frontera de una
supercie S.
2.7. El teorema de Gauss
Denici on 2.7.1. Una region elemental de R
3
es la que se dene restringiendo una de
las variables a que este entre dos funciones continuas de las variables restantes, siendo el
dominio com un de estas funciones una regi on elemental de R
2
.
Diremos que una regi on elemental de R
3
es simetrica si se puede describir de las tres
maneras posibles.
La frontera de una regi on elemental de R
3
es una supercie formada por un n umero
nito de supercies. Este tipo de supercie se llama cerrada, y se denominan caras a cada
una de las supercies que la componen.
Por convencion, le daremos a una supercie cerrada la orientaci on inducida por la
normal unitaria exterior.
Teorema 2.7.2 (Teorema de Gauss de la divergencia). Sea una region elemental
simetrica de R
3
y la supercie cerrada orientada que acota a . Sea F : R
3
un
campo vectorial de clase C
1
. Entonces
_

div F =
_

F dS.
59
Demostracion. Sea F = (F
1
, F
2
, F
3
).
Podemos describir de la siguiente forma:
= (x, y, z) R
3
: (x, y) D, f
1
(x, y) z f
2
(x, y)
siendo D una region elemental de R
2
y f
1
y f
2
continuas en D.
Se tiene que
_

F
3
z
=
_

(0, 0, F
3
) dS.
En efecto,
_

F
3
z
=
_
D
(F
3
(x, y, f
2
(x, y)) F
3
(x, y, f
1
(x, y))).
Por otro lado,
_

(0, 0, F
3
) dS =
_
S
1
S
2
(0, 0, F
3
) dS
siendo S
i
= (x, y, f
i
(x, y)) : (x, y) D para i = 1, 2, ya que el resto de las caras tiene
la normal perpendicular al eje OZ. Ya que S
1
induce la orientaci on opuesta, se obtiene el
resultado.
El resto de la demostracion es analogo.
Problemas
1.- Calcular
_

FdS en los siguientes casos:

(i) F(x, y, z) = (2x, y
2
, z
2
) y es la bola unidad cerrada.
(ii) F(x, y, z) = (xy
2
, x
2
y, y) y = (x, y, z) R
3
: x
2
+y
2
1, 1 z 1.
(iii) F(x, y, z) = (x
3
, y
3
, z
3
) y es la bola unidad cerrada.
(iv) F(x, y, z) = (x, y, z) y = [0, 1]
3
.
(v) F(x, y, z) = (1, 1, 1) y = [0, 1]
3
.
(vi) F(x, y, z) = (x
2
, x
2
, z
2
) y = [0, 1]
3
.
(vii) F(x, y, z) = (y, z, xz) y = (x, y, z) R
3
: x
2
+y
2
z 1.
(viii) F(x, y, z) = (y, z, xz) y = (x, y, z) R
3
: x
2
+y
2
z 1, x 0.
(ix) F(x, y, z) = (y, z, xz) y = (x, y, z) R
3
: x
2
+y
2
z 1, x 0.
60
(x) F(x, y, z) = (3xy
2
, 3x
2
y, z
3
) y es la bola unidad cerrada.
(xi) F(x, y, z) = (x, y, z) y = [0, 1]
3
.
(xii) F(x, y, z) = (1, 1, z(x
2
+y
2
)
2
) y = (x, y, z) R
3
: x
2
+y
2
1, 0 z 1.
2.- Demostrar que
_

(f F +f div F) =
_

fFdS
siendo f : R
3
R una funci on escalar de clase C
1
y F : R
3
R
3
un campo vectorial
de clase C
1
.
3.- Demostrar que
_

|F|
2
=
_

|F|
2
FdS siendo F(x, y, z) = (x, y, z).
4.- Demostrar las identidades de Green
_

fgdS =
_

(fg +f g)
y
_

(fg gf)dS =
_

(fg gf)
siendo f, g : R
3
R funciones escalares de clase C
2
.
5.- Demostrar la identidad
_

(F rot G) =
_

(rot F rot GF rot rot G).

6.- Comprobar el teorema de Gauss de la divergencia en los siguientes casos:
(i) F(x, y, z) = (3x, xy, xz) y = [0, 1]
3
.
(ii) F(x, y, z) = (xz, yz, 3z
2
) y = (x, y, z) R
3
: x
2
+y
2
z 1.
7.- Demostrar que si un campo vectorial F : R
3
R
3
de clase C
1
es tangente a la
frontera de una regi on elemental simetrica de R
3
entonces
_

div F = 0.
61
Bibliografa
[A] T.M. Apostol, Mathematical Analysis, 2
a
edici on, Addison Wesley (1981).
[BGMV] M. Besada, F.J. Garca, M.A. Mir as, C. V azquez, Calculo de varias variables.
Cuestiones y ejercicios resueltos, Prentice Hall (2001).
[BMV] F. Bombal, L.R. Marn y G. Vera, Problemas de Analisis Matematico, 3. Calculo
Integral, AC (1987).
[FF] J.A. Facenda y F.J. Freniche, Integracion de funciones de varias variables,
Pir amide (2002).
[MH] J.E. Marsden y M.J. Homan, Analisis clasico elemental, 2
a
edici on, Addison-
Wesley Iberoamericana (1998).
[MT] J.E. Marsden y A.J. Tromba, Calculo vectorial, 4
a
edici on, Addison Wesley
Longman (1998).
[S] J. Stewart, Calculo. Conceptos y contextos, International Thomson Editores
(1999).
63