Análisis de Funciones de Varias Variables

AN
ALISIS II (F
ISICAS)
Vctor Jimenez Lopez
Con la colaboracion de:
Maria Fernanda Acosta Garca
Mara del Carmen Argudo Fernandez
Raquel Lorente Plazas
Felipe Perez Muga
Cristina Pina Martnez
Universidad de Murcia, 2004
Captulo I
Espacios metricos. Continuidad. Curvas y
supercies
I.1. Espacios metricos (repaso)
Aunque la denicion que enseguida daremos es bastante mas general, los espacios
metricos con los que trabajaremos a lo largo del curso seran siempre subconjuntos de
R
n
. Es por ello que conviene aclarar algunas convenciones de notacion que usaremos
a lo largo del curso.
Si x R
n
entonces representaremos sus componentes mediante subndices, x =
(x
1
, x
2
, . . . , x
n
). En ocasiones puede ocurrir que el punto este ya afectado por un
subndice, digamos x
0
R
n
. En este caso usaremos comas para separarlo de los
subndices de los componentes, es decir, x
0
= (x
0,1
, x
0,2
, . . . , x
0,n
). Sin embargo, si
estamos en R
2
o R
3
usaremos las letras x, y (y en el caso de R
3
, z) para denotar a las
componentes de los vectores pero no a los propios vectores. As, si z R
2
entonces
escribiremos z = (x, y), y si u R
3
entonces escribiremos u = (x, y, z).
Cuando estemos considerando una funcion f : A R
n
R
m
(que llamaremos
vectorial si m > 1, escalar si m = 1, y campo si n = m > 1) seguiremos parecidas
convenciones. As escribiremos f = (f
1
, f
2
, . . . , f
m
), es decir, las funciones f
i
: A
R
m
son las dadas por f(x) = (f
1
(x), f
2
(x), . . . , f
m
(x)) para cada x A. Cuando
estemos en R
2
sera corriente denotar a las componentes de f como x e y, es decir,
f(t) = (x(t), y(t)), y an alogamente f(t) = (x(t), y(t), z(t)) en R
3
. Si f : A R
m
y B A denotaremos por f[
B
a la restriccion de f a B, es decir, a la funcion
g : B R
m
dada por g(x) = f(x) para cada x B.
Por cierto, a menudo describiremos las funciones mediante una formula, sin dar
un nombre especco a la funcion ni especicar el dominio de denicion de la funcion.
En tales casos se entendera que la funcion esta denida el en conjunto mas grande
posible en que la formula tenga sentido. Por ejemplo si hablamos de la funcion
Ha colaborado en la preparacion de esta seccion: Cristina Pina Martnez
1
2 I. ESPACIOS M
ETRICOS. CURVAS Y SUPERFICIES

(x, y) = (
sen t
t
, log(t + 1)) o, equivalentemente
x =
sen t
t
,
y = log(t + 1),
entonces nos estamos reriendo a la funcion f : A R R
2
dada por f(t) =
(
sen t
t
, log(t + 1)), donde A = (1, 0) (0, +).
Cuando tratemos con funciones que tomen imagenes en R, por ejemplo z =
sen x +cos y, entonces sera habitual usar como nombre de la funcion el de la propia
variable de llegada, es decir, z = z(x, y) = sen x + cos y. Expresiones como z =
f(x, y), queriendo dar a entender que estamos hablando de una cierta funcion f
y a la vez enfatizando cuales son las variables de salida y de llegada para evitar
confusiones, tambien seran de uso com un.
Denicion I.1. Un espacio metrico es un par (E, d), donde E es un conjunto dotado
con una funcion d : E E R que cumple las propiedades de la distancia:
(i) d(x, y) 0 y d(x, y) = 0 si y solo si x = y;
(ii) d(x, y) = d(y, x);
(iii) d(x, y) d(x, z) +d(z, y) (esta es la llamada desigualdad triangular).
Si E es un espacio vectorial sobre R, a menudo las distancias en E estan indu-
cidas por normas, es decir, aplicaciones | | : E R que cumplen las siguientes
propiedades:
(i) |x| 0 y |x| = 0 si y solo si x = 0;
(ii) |x| = [[|x|;
(iii) |x +y| |x| +|y| (desigualdad triangular).
De hecho, si | | es una norma entonces d(x, y) = |x y| es automaticamente una
distancia.
El ejemplo tpico de espacio metrico es el espacio eucldeo R
m
. Las tres distancias
mas usuales que se suelen manejar, d
1
, d
2
(la llamada distancia eucldea) y d
, estan
inducidas por las correspondientes normas | |
1
, | |
2
y | |
dadas por
|x|
1
= [x
1
[ + +[x
m
[,
|x|
2
=
_
x
2
1
+ +x
2
m
,
|x|= max[x
1
[ + +[x
m
[.
AN
ALISIS II (F
ISICAS)
I.1. ESPACIOS M
ETRICOS (REPASO) 3
Puede probarse que estas tres distancias son equivalentes. Esto signica que que to-
dos los conceptos que introduciremos en el resto del captulo (con la obvia excepcion
de que las correspondientes bolas abiertas tienen diferente forma, ver la Figura I.1)
y por ende en el resto del curso son, en el contexto de R
m
, independientes de la
distancia que estemos manejando (que, si no se dice otra cosa, sera la eucldea).
Si tenemos un espacio metrico (E, d) y A E entonces (A, d) tambien es un
espacio metrico, es decir, un subconjunto de un espacio metrico es otro espacio
metrico. Nuestro caso tpico sera E = R
m
: si A R
m
entonces cualquiera de las
tres distancias d
1
, d
2
y d
son tambien equivalentes en A.

Habitualmente nos referiremos a un espacio metrico sin hacer mencion explcita
a su distancia.
Denicion I.2. Una sucesion (x
n
)
n=1
en E se dice que es convergente hacia x
0
E,
y se escribe lm
n
x
n
= x
0
o x
n

n
x
0
, si para cada > 0 existe n
N tal que si
n n
entonces d(x
n
, x
0
) < .
Algunas cuestiones relevantes en lo que a lmites se reere son las siguientes:
Si existe lm
n
x
n
, este lmite es unico.
Si E = R
m
y tenemos una sucesion (x
n
)
n=1
en E, entonces x
n

n
x
0
si y solo
si x
n,i

n
x
0,i
para cada i = 1, 2, . . . , m.
Si E = R
m
y tenemos una sucesion (x
n
)
n=1
en E, diremos que la sucesion
tiende a innito y escribiremos lm
n
x
n
= o x
n

n
, si para todo
R > 0 existe n
R
N tal que si n n
R
entonces |x
n
| > R.
Introducimos ahora algunas cuestiones de topologa en espacios metricos. Cuando
hablamos de propiedades topologicas de un objeto nos referimos, grosso modo, a
aquellas que el objeto conserva cuando lo deformamos sin romperlo.
Denicion I.3. Se dene la bola abierta de centro a E y radio r > 0 como
B(a, r) = x E : d(x, a) < r.
Denicion I.4. Si M E y x E, se dice que:
x es interior a M si existe r > 0 tal que B(x, r) M; el interior de M es el
conjunto de todos los puntos interiores a M y se denota por Int M;
x es adherente a M si para cada r > 0 se cumple que B(x, r) M ,= ; la
clausura de M es el conjunto de puntos adherentes a M y se denota por Cl M
o M;
AN
ALISIS II (F
ISICAS)
4 I. ESPACIOS M

Figura I.1: Bolas abiertas para las tres distancias usuales (d
1
, d
2
y d
) en R
2
.
x es exterior a M si existe r > 0 tal que B(x, r) M = ; el exterior de M es
el conjunto de puntos exteriores a M y se denota por Ext M; otras formas de
denirlo son Ext M = Int(EM) = E Cl M;
x es un punto frontera de M si es adherente pero no interior; la frontera de
M es el conjunto de puntos frontera de M y se denota por Fr M.
Notese que Fr M Int M Ext M = E.
Denicion I.5. Se dice que un conjunto O E es abierto si para cada x O existe
r > 0 tal que B(x, r) O o, equivalentemente, si O = Int O.
Si x E y U E es tal que x O U para un cierto abierto O diremos que
U es un entorno de O.
Notese que un entorno de un punto no tiene por que ser un conjunto abierto,
aunque habitualmente los elegiremos as.
Denicion I.6. Se dice que un conjunto F E es cerrado si E F es abierto o,
equivalentemente, si Cl F = F.
Denicion I.7. Se dice que un conjunto A E es acotado si A esta incluido en
alguna bola abierta.
Denicion I.8. Se dice que un conjunto K E es compacto si K es cerrado y
acotado.
Proposicion I.9. Sea K E. Entonces las siguientes armaciones son equivalen-
tes:
(i) K es compacto;
(ii) de cada recubrimiento ( por abiertos de K (es decir, ( es una familia de abiertos
de E tal que K
G:GG
G) es posible extraer un recubrimiento nito;
AN
ALISIS II (F
ISICAS)
I.2. L
IMITES Y CONTINUIDAD (REPASO) 5

(iii) de toda sucesion en K se puede extraer una subsucesion convergente a un punto
de K.
Proposicion I.10. Sea K E un conjunto compacto.
(i) K es cerrado.
(ii) Si F K es cerrado entonces es compacto.
Denicion I.11. Se dice que un conjunto A E es conexo si no existen B, C A
tales que B C = A, Cl B C = y B Cl C = .
Intuitivamente, un conjunto conexo es aquel que consta de un solo trozo.
I.2. Lmites y continuidad (repaso)
Denicion I.12. Sean (E, d) y (F, ) espacios metricos, M E y a Cl M. Una
aplicacion f : M F tiene lmite b F cuando x tiende hacia a (lm
xa
f(x) = b)
si para todo > 0 existe > 0 tal que si x M y 0 < d(x, a) < entonces
(f(x), b) < .
Denicion I.13. Sean (E, d) y (F, ) espacios metricos y M E. Decimos que una
aplicacion f : M F es continua en a M cuando para todo > 0 existe > 0 tal
que si x M y d(x, a) < entonces (f(x), f(a)) < , es decir, lm
xa
f(x) = f(a).
Se dice que f es continua cuando es continua en cada punto de su dominio.
Enumeramos a continuacion algunas propiedades tpicas de la continuidad en
espacios metricos.
Proposicion I.14. Sean (E, d) un espacio metrico , f, g : M E R
m
y a M.
(i) Si f y g son continuas en a entonces f +g es continua en a.
(ii) Si f es continua en a y c R entonces cf es continua en a.
(iii) Si m = 1 y f y g son continuas en a entonces fg es continua en a.
(iv) Si m = 1, f es continua en a y f(a) ,= 0 entonces
1
f
es continua en a.
(v) Si escribimos f en terminos de sus componentes como f = (f
1
, f
2
, , f
m
)
entonces f es continua en a si y solo si f
i
: M R es continua en a para
cada i = 1, 2, . . . , m.
Proposicion I.15. Si f : M (E, d) (F, ) es continua en a M y g : (F, )
(G, ) es continua en b = f(a) entonces g f : M (G, ) es continua en a.
AN
ALISIS II (F
ISICAS)
6 I. ESPACIOS M

Notese que si en las proposiciones anteriores reemplazamos continua en a (y
continua en b = f(a) en la Proposicion I.15) por continua, y f(a) ,= 0 en
la Proposicion I.14 por f(x) ,= 0 para todo x M entonces las armaciones
siguen siendo valida. En la practica esto se traduce en que cualquier funcion denida
mediante una formula es continua en su dominio de denicion. As, z =
1
y
+y
x es
continua en su dominio de denicion (el semiplano cerrado x 0 menos el semieje
positivo de las x).
Enfoquemos ahora la continuidad desde el punto de vista topologico:
Proposicion I.16. Sea f : M (E, d) (F, ). Entonces
(i) f es continua en a M si para toda sucesion x
n

n
a en M se tiene que
f(x
n
)
n
f(a);
(ii) f es continua si para todo O abierto de F, f
1
(O) es abierto en (M, d);
(iii) si M es compacto y f es continua entonces f(M) es compacto; en el caso
particular de que F = R entonces alcanza un maximo y un mnimo en M, es
decir, existen a, b M tales que f(a) x f(b);
(iv) si M es conexo y f es continua entonces f(M) es conexo; en el caso particular
de que F = R es entonces f(M) es un intervalo (posiblemente degenerado a
un punto).
Notese que como consecuencia de (iii) y (iv), si M es compacto y conexo y
f : M R es continua entonces f(M) = [c, d] para ciertos c d (aqu [c, c] = c
por denicion).
Denicion I.17. Diremos que h : (E, d) (F, ) es un homeomorsmo si h es
biyectiva y tanto h como su inversa h
1
son continuas. En este caso diremos que
(E, d) y (F, ) son homeomorfos y usaremos la notacion (E, d) (F, ) (o simple-
mente E F).
Intuitivamente, dos espacios metricos son homeomorfos cuando podemos llevar
uno a otro, sin romperlos, mediante una deformacion.
I.3. Curvas y supercies
Las curvas y las supercies seran objetos geometricos claves a lo largo del curso.
Las curvas seran objetos del espacio eucldeo R
n
, con n 2, y las supercies seran
objetos de R
3
.
AN
ALISIS II (F
ISICAS)
I.3. CURVAS Y SUPERFICIES 7
Figura I.2: Una curva en R
2
.
I.3.1. Curvas
Denicion I.18. Sea C R
n
, n 2. Diremos que C es una curva si es localmente
homeomorfo a R, es decir, para todo p C existe un entorno U = U(p) de p (en el
espacio metrico C) homeomorfo a R.
Llamaremos al correspondiente homeomorsmo : R U una parametrizacion
local de C en p.
Por tanto, si para cada p C podemos encontrar un entorno U y un homeomor-
smo : R U, C sera una curva. En realidad no es necesario que este denido
en R; basta que este denido en un subconjunto de R homeomorfo a R (es decir,
un intervalo abierto). Esto es consecuencia de la Proposicion I.15. Por extension
llamaremos tambien a en este caso mas general una parametrizacion local.
Conjuntos como los de la Figura I.3 no son curvas: el de la derecha (la gura
innito) porque en el punto de cruce la gura no es localmente homeomorfa a R,
y el arco de la izquierda porque falla el extremo de abajo.
Aunque intuitivamente es casi siempre obvio (y nosotros nos conformaremos con
ello), demostrar rigurosamente si un conjunto dado es o no una curva puede ser
bastante complicado. Un resultado util al respecto es el siguiente, que formulamos
de modo general para que sirva tambien para supercies.
Teorema I.19. Sea : O R
n
R
m
continua e inyectiva, con O abierto. Sea
K O un compacto y sea U = Int K. Entonces la aplicacion : U (U) es un
homeomorsmo.
AN
ALISIS II (F
ISICAS)
8 I. ESPACIOS M

Figura I.3: Ninguna de las dos guras de arriba son curvas.
Usando (t) = (cos t, sen t) y el Teorema I.19 es sencillo probar que la circunfe-
rencia unidad x
2
+y
2
= 1 es una curva. En general puede probarse lo siguiente:
Curvas en forma explcita. Si I R es un intervalo abierto y f : I R es
continua entonces C : (x, f(x)) R
2
: x I es una curva y (t) = (t, f(t)) vale
como parametrizacion local de cada uno de los puntos (en estos casos se dice que
es una parametrizacion global de la curva).
Un ejemplo es la parabola y = f(x) = ax
2
+bx +c.
Curvas en forma implcita. Si F : U R
2
R con U abierto es adecuada
(veremos las condiciones precisas en el Captulo II) entonces C : (x, y) R
2
:
F(x, y) = 0 es una curva.
Ejemplos seran la circunferencia x
2
+y
2
r
2
= 0 o, lo que es lo mismo, x
2
+y
2
=
r
2
, la elipse
x
2
a
2
+
y
2
b
2
= 1 y la hiperbola
x
2
a
2

y
2
b
2
= 1.
Curvas en forma parametrica. Si I = (a, b) R es un intervalo abierto,
a, b , : I R
2
es continua e inyectiva, escribimos (t) = (x(t), y(t)), y
la funcion tiene la propiedad de que, para cada t
0
I, los puntos (x(t), y(t))
no se acercan a (x(t
0
), y(t
0
)) cuando t tiende a a y cuando tiende a b, entonces
C : (x(t), y(t)) : t I es una curva y : I (I) es una parametrizacion global.
Un ejemplo sera (R) con (t) = (3t, 2t + 8) (una lnea recta).
La circunferencia, la elipse, la parabola y la hiperbola son las conocidas como
AN
ALISIS II (F
ISICAS)
Figura I.4: Una curva dada en forma explcita (la parabola).
Figura I.5: Tres curvas dadas en forma implcita (la circunferencia, la elipse y la
hiperbola).
AN
ALISIS II (F
ISICAS)
10 I. ESPACIOS M

Figura I.6: Graca de la helice.
curvas conicas.
Cuando estamos en dimensiones mayores que 2 la unica forma posible de repre-
sentar las curvas es la parametrica y se tiene un resultado analogo al anterior: si
: I = (a, b) R
n
es continua e inyectiva y tiene la propiedad de que, para cada
t
0
I, los puntos (t) no se acercan a (t
0
) cuando t tiende a a y cuando tiende a
b, entonces C : (t) : t I es una curva y : I (I) es una parametrizacion
global. Un ejemplo es la helice, o curva helicoidal, dada por la funcion : R R
3
,
t (cost, sent, t).
I.3.2. Supercies
Denicion I.20. Sea M R
3
. Diremos que M es una supercie si es localmente
homeomorfo a R
2
, es decir, para cada p M existe un entorno de p, U = U(p),
homeomorfo a p.
Llamaremos al correspondiente homeomorsmo : R
2
U (o a cualquier ho-
meomorsmo : O U con O R
2
homeomorfo a R
2
) una parametrizacion local
de M en p.
Un plano y una esfera son ejemplos de supercies. Para probarlo en el caso de
la esfera unidad x
2
+y
2
+z
2
= 1 puede usarse la funcion
(, ) = (cos sen , sen sen , cos )
y el Teorema I.19. Un conjunto como el de la Figura I.7 (el cono de doble hoja) no
lo es:
AN
ALISIS II (F
ISICAS)
Figura I.7: El cono de doble hoja.
Al igual que ocurra con las curvas del plano, las supercies pueden expresarse
de tres formas: explcita, implcita y parametrica.
Supercies en forma explcita. Sea f : O R
2
R continua, donde O es un
abierto. Entonces M = (x, y, f(x, y)) : (x, y) O es una supercie y (u, v) =
(u, v, f(u, v)) es una parametrizacion global para M. Global signica aqu que
si U O es homeomorfo a R
2
entonces [
U
: U (U) es una parametrizacion
local de M en cada uno de los puntos de (U). En el caso particular en O R
2
tendremos una verdadera parametrizacion global.
Un ejemplo es el paraboloide elptico, cuya ecuacion es z =
x
2
a
2
+
y
2
b
2
. Aqu to-
maramos O = R
2
y f(x, y) = x
2
+y
2
. Otros son el cono de una hoja z =
_
x
2
a
2
+
y
2
b
2
y el paraboloide hiperbolico z =
x
2
a
2

y
2
b
2
.
Supercies en forma implcita. Sea F : U R
3
R donde U es un abierto. Bajo
ciertas condiciones que estudiaremos en el Captulo II, M = (x, y, z) : F(x, y, z) =
0 es una supercie.
Ejemplos de supercies de este tipo son la esfera x
2
+ y
2
+ z
2
r
2
= 0 (o, lo
que es lo mismo, x
2
+ y
2
+ z
2
= r
2
), el elipsoide
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1, el hiperboloide
de una hoja
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1, el hiperboloide de dos hojas
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1, y el
cilindro elptico
x
2
a
2
+
y
2
b
2
= 1. Junto a los ejemplos anteriores, estas son las supercies
cuadricas mas importantes.
AN
ALISIS II (F
ISICAS)
12 I. ESPACIOS M

Figura I.8: El paraboloide elptico, el cono de una hoja y el paraboloide hiperbolico.
Figura I.9: La esfera, el elipsoide, el hiperboloide de una hoja, el hiperboloide de
doble hoja y el cilindro elptico.
AN
ALISIS II (F
ISICAS)
Figura I.10: El toro.
Supercies en forma parametrica. Sea : O R
2
R
3
, donde usamos la
notacion (u, v) = (x(u, v), y(u, v), z(u, v)), una funcion continua e inyectiva, con
O un abierto. Supongamos que para cada (u
0
, v
0
) O los puntos (u, v) no se
acercan a (u, v) cuando (u, v) tiende hacia la frontera de O. Entonces M =
(x(u, v), y(u, v), z(u, v) : (u, v) O es una supercie, y es una parametrizacion
global en el mismo sentido que en el caso de las supercies explcitas.
Un ejemplo tpico es el toro
x = (a +r cos u) cos v,
y = (a +r cos u) sen v,
z = r sen u,
siendo O = (0, 2) (0, 2).
Para ser precisos, la supercie anterior no es el toro, sino el toro menos una
circunferencia horizontal y otra vertical. El propio toro es, evidentemente, tambien
una supercie; podemos demostrarlo usando (vista ahora como denida en todo
R
2
) y, una vez mas, el Teorema I.19.
Un inciso para concluir. No existe una teora general para dibujar supercies
en el espacio del estilo de la que se tiene para dibujar curvas (en forma explcita)
en el plano. Lo que se suele hacer es dibujar las curvas que resultan de intersecar
la supercie con cada uno de los planos x = 0, y = 0 y z = 0, as como, una
vez jada una cierta variable (que suele ser la z) dibujar todas las curvas de nivel
correspondientes a esa variable, que el caso de z seran todas las curvas interseccion
de las supercies con los planos z = c, c R. Por ejemplo, en el caso del paraboloide
elptico z = x
2
+ y
2
/4, las intersecciones con los planos x = 0, y = 0 y z = 0 seran,
respectivamente, la parabola z = y
2
/4, la parabola z = x
2
y el punto (0, 0). No
hay curvas de nivel en z si c < 0, y ya hemos dicho que la curva de nivel en c = 0
AN
ALISIS II (F
ISICAS)
14 I. ESPACIOS M

consta del origen como unico punto. Para c > 0 las curvas de nivel son las elipses
x
2
+y
2
= c.
AN
ALISIS II (F
ISICAS)
Captulo II
Diferenciacion
II.1. Diferenciabilidad
En esta seccion pretendemos generalizar la idea de derivada, ya conocida para
funciones de una variable real, a funciones de R
n
a R
m
.
II.1.1. La diferencial y sus propiedades. Derivadas parciales.
Funciones de clase C
k
La esencia de la nocion de derivada es la siguiente. Consideremos una funcion
f : I R con I un intervalo. Buscamos una funcion lo mas sencilla posible, es
decir, una funcion afn g(x) = ax +b, que aproxime lo mejor posible a f(x) cerca
de x
0
. Si existe f
(x
0
) = lm
xx
0
f(x)f(x
0
)
xx
0
entonces, cuando x sea muy cercano a x
0
(usaremos la notacion x

= x
0
), se tendra que
f(x)f(x
0
)
xx
0
f
(x
0
)

= 0, o lo que es lo
mismo,
f(x) f(x
0
) f
(x
0
)(x x
0
)
x x
0
= 0.
Entonces, con mas razon,
f(x) f(x
0
) f
(x
0
)(x x
0
)
= 0
y
f(x)
= f
(x
0
)(x x
0
) +f(x
0
) = f
(x
0
)x +f(x
0
) f
(x
0
)x
0
.
As pues, f(x)
= g(x) con a = f
(x
0
), b = f(x
0
) f
(x
0
)x
0
; una forma alternativa y
algo mas compacta de escribir g es g(x) = f(x
0
) + f
(x
0
)(x x
0
). Observemos que
la aproximacion f(x)
= g(x) es tan buena cerca de x

0
que incluso cuando dividimos
por la muy peque na cantidad x x
0
el cociente
f(x)g(x)
xx
0
sigue siendo peque no.
Ha colaborado en la preparacion de esta seccion: Felipe Perez Muga
15
16 II. DIFERENCIACI
ON
Si queremos reproducir este esquema para una funcion f : O R
n
R
m
y un
cierto punto x
0
O, x
0
= (x
0,1
, x
0,2
, . . . , x
0,n
), necesitamos ante todo aclarar que
se entiende por una funcion g : R
n
R
m
lo mas sencilla posible (afn). En este
contexto tendremos que recurrir a matrices: nuestra funcion tendra que ser de la
forma g(x) = Ax + B, pero ahora se entiende que A es una matriz m n, x un
vector columna de n componentes (es decir, una matriz 1 n), y g(x) y b vectores
columna de m componentes. Notese que en general preferimos representar los vec-
tores como vectores la, pero en esta situacion concreta la notacion por columnas
es mas conveniente. En otras palabras,
g(x) = Ax +B =
_
_
_
_
_
a
11
a
12
a
1n
a
21
a
22
a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
a
m2
a
mn
_
_
_
_
_
_
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
_
_
_
+
_
_
_
_
_
b
1
b
2
.
.
.
b
m
_
_
_
_
_
.
Si comparamos con el caso unidimensional, notamos que la matriz A juega ahora
el papel que antes jugaba a = f
(x
0
). Esto da a entender que si buscamos una
generalizacion efectiva del concepto de derivada ahora esta derivada debera ser una
matriz en lugar de un n umero. Para enfatizarlo usaremos el nombre de diferencial
para nuestra generalizacion en lugar de reutilizar el antiguo de derivada. Dado
que L : R
n
R
m
es una aplicacion lineal entonces lleva unvocamente asociada una
matriz A
mn
de manera que (cuando se usa la notacion por columnas) L(x) = Ax
para cada x R
n
, tiene sentido introducir la siguiente denicion:
Denicion II.1. Sea f : O R
n
R
m
,x
0
O. Diremos que f es diferenciable en
x
0
si existe una aplicacion lineal L : R
n
R
m
tal que
lm
xx
0
f(x) f(x
0
) L(x x
0
)
|x x
0
|
= 0. (II.1)
Si f es diferenciable en todos los puntos de su dominio de denicion diremos
simplemente que f es diferenciable.
Si n = m = 1 y O = I entonces la denicion anterior equivale a
lm
xx
0
=
f(x) f(x
0
) f
(x
0
)(x x
0
)
[x x
0
[
= 0
o tambien
lm
xx
0
=
f(x) f(x
0
) f
(x
0
)(x x
0
)
x x
0
= 0,
es decir, f es diferenciable en x
0
si y solo si f es derivable en x
0
.
Aunque en la denicion no es necesario estrictamente hablando, siempre supon-
dremos que el conjunto O es un abierto (a lo largo del curso reservaremos las letras
O y U para denotar a abiertos), ya que sera conveniente para que los calculos que
AN
ALISIS II (F
ISICAS)
II.1. DIFERENCIABILIDAD 17
luego se realizaran siempre tengan sentido. Hay aqu una ligera diferencia con el
caso unidimensional: cuando se dena la derivada en un punto, este poda ser uno
de los extremos del intervalo (y hablabamos en ese caso de derivada lateral).
Si ponemos b = f(x
0
) Ax
0
y denimos g(x) = Ax + b (o alternativamente, en
su expresion mas compacta, g(x) = f(x
0
) + A(x x
0
)) entonces (II.1) se reescribe
como
lm
xx
0
f(x) g(x)
|x x
0
|
= 0,
con lo que (si f es diferenciable en x
0
) tenemos la funcion g(x) que necesitabamos.
El problema es ahora calcular la matriz A. De momento la proposicion nos dice
que la aplicacion L (y por tanto la matriz A) estan denidas sin ambig uedad.
Proposicion II.2. La aplicacion L, si existe, es unica (se le llama diferencial de f
en x
0
y se denota por df(x
0
)).
En particular, la funci on g de mejor aproximacion se escribira normalmente como
g(x) = f(x
0
) +df(x
0
)(x x
0
).
Al igual que en el caso unidimensional tenamos a = f
(x
0
), los coecientes de la
matriz A se calcularan. como enseguida veremos, derivando de todas las maneras
posibles la funcion f en x
0
.
Denicion II.3. Sean f : O R
n
R y x
0
O. Se dene la derivada parcial de
f en x
0
respecto a la variable x
i
como
f
x
i
(x
0
) = lm
h0
f(x
0
+he
i
) f(x
0
)
h
= lm
h0
f(x
0,1
, . . . , x
0,i
+h, . . . , x
0,n
) f(x
0,1
, . . . , x
0,i
, . . . , x
0,n
)
h
;
hemos usado la notacion e
i
= (0, . . . , 0,
i
1, 0, . . . , 0).
En dos y tres dimensiones, siguiendo la norma habitual, hablaremos de derivadas
parciales respecto de x, y y z en lugar de x
j
.
Recordemos que una denicion equivalente de derivada de una funcion f en un
punto x
0
era f
(x
0
) = lm
h0
f(x
0
+h)f(x
0
)
h
as que, en este caso, la derivada parcial
con respecto a la unica variable es la derivada usual. Por ello se escribe
df
dx
(x
0
) en
lugar de
f
x
(x
0
) para evitar confusion.
En el caso general, y de acuerdo con la denicion, derivar parcialmente una
funcion respecto a una variable consiste en ver las demas como constantes y derivar
de la forma habitual. As, si f(x, y) = sen(x + cos y) entonces
f
x
(x
0
, y
0
) = cos(x
0
+ cos y
0
),
f
y
(x
0,
y
0
) = cos(x
0
+ cos y
0
) sen y
0
.
AN
ALISIS II (F
ISICAS)
18 II. DIFERENCIACI
ON
Cuando, como en el caso anterior, estemos calculando una expresion que de si-
multaneamente las derivadas parciales en todos los puntos del dominio de denicion
de f, evitaremos poner el subndice 0, es decir, la forma habitual de escribir sera
f
x
(x, y) = cos(x + cos y),
f
y
(x, y) = cos(x + cos y) sen y.
A menudo omitiremos incluso la referencia al vector (x, y) y escribiremos simple-
mente
f
x
= cos(x + cos y) y
f
y
= cos(x + cos y) sen y. Si nos han dado la funcion
como z = sen(x + cos y) entonces reutilizamos z como nombre para la funcion, con
lo que las derivadas parciales se denotaran ahora mediante
z
x
= cos(x + cos y),
z
y
= cos(x + cos y) sen y.
Proposicion II.4. Si f es diferenciable en x
0
entonces existen todas las derivadas
parciales de f,
f
j
x
i
(x
0
), i = 1, . . . , n, j = 1, . . . , m, y se cumple que si df(x
0
) = L
entonces su matriz asociada A satisface
A =
_
_
_
f
1
x
1
(x
0
)
f
1
x
n
(x
0
)
.
.
.
.
.
.
.
.
.
f
m
x
1
(x
0
)
f
m
x
n
(x
0
)
_
_
_
.
Una cuestion de notacion relativa a la diferencial. Si tenemos una funcion f :
O R
3
R, digamos f(x, y, z) = x
3
+log(xyz), y (x, y, z) O entonces df(x, y, z)
es una aplicacion lineal de R
3
en R. De hecho, por la Proposicion II.4 (en este caso
la matriz A es el vector la A = (
f
x
(x, y, z),
f
y
(x, y, z),
f
z
(x, y, z))) se tiene que
df(x, y, z)(h) = df(x, y, z)(h
1
, h
2
, h
3
) =
f
x
(x, y, z)h
1
+
f
y
(x, y, z)h
2
+
f
z
(x, y, z)h
3
.
Usualmente, como ya se ha comentado, una funcion se expresa mediante una formula
sin darle explcitamente un nombre, digamos u = x
3
+log(xyz). En ese caso, usando
u como nombre para la funcion y teniendo en cuenta que cuando una funcion act ua
sobre una variable generica (como es el caso de df sobre (x, y, z) o de df(x, y, z)
sobre (h
1
, h
2
, h
3
)) entonces esa variable se omite al escribir la formula de la funcion,
la expresion anterior se convierte en
du =
u
x
h
1
+
u
y
h
2
+
u
z
h
3
.
Mas a un, escribir h = (h
1
, h
2
, h
3
) viola la convencion de notacion que usamos en R
3
:
aqu no usamos subndices para representar las componentes sino x, y y z. Dado que
AN
ALISIS II (F
ISICAS)
(x, y, z) ya ha sido empleado (es el punto en el que se esta calculando la diferencial
df = du), parece natural usar como variables h = (dx, dy, dz) quedando nalmente
du =
u
x
dx +
u
y
dy +
u
z
dz, (II.2)
que tiene la ventaja de ser una expresion sencilla de recordar. Dado que en el ejemplo
que nos ocupa
u
x
= 3x
2
+
1
x
,
u
y
=
1
y
,
u
z
=
1
z
,
la formula que expresa la diferencial de nuestra funcion en el punto (x, y, z) es
du =
_
3x
2
+
1
x
_
dx +
1
y
dy +
1
z
dz.
Ante una expresion como la anterior, es corriente or referirse a las cantidades
du, dx, dy y dz como innitesimos, es decir, cantidades innitamente peque na
ligadas por la anterior igualdad. Desde el punto de vista matematico, esto es un
puro sinsentido: la diferencial tiene como dominio de denicion todo el espacio, y
las cantidades dx, dy y dz pueden ser cualesquiera.
La confusion proviene de lo siguiente. Si jamos un punto (x, y, z) y (x, y, z)
es un vector muy peque no entonces, en virtud de la denicion de diferencial,
f(x+x, y+y, z+z)f(x, y, z)
=
f
x
(x, y, z)x+
f
y
(x, y, z)y+
f
z
(x, y, z)z,
y esta aproximacion es tanto mejor cuanto mas peque no es (x, y, z). Con los
cambios de notacion anteriores y llamando u a la expresion de la izquierda (que
describe como vara la funcion u cuando variamos (x, y, z) seg un las cantidades
(x, y, z)) obtenemos
u
=
u
x
x +
u
y
y +
u
z
z, (II.3)
expresion muy semejante a (II.2) pero de sentido bien diferente. Notese que ni si-
quiera tiene sentido ver (II.2) como una especie de lmite de (II.3), ya que en ese
caso llegamos a la trivial igualdad 0 = 0. As pues, si se usa (II.2) en el sentido de
innitesimos, debera entenderse que implcitamente nos referimos a (II.3).
Aunque las derivadas parciales de una funcion en un punto existan y tenga por
tanto sentido calcular la matriz A puede ocurrir (aunque no es lo usual) que la
funcion no sea diferenciable en el punto, es decir, que el lmite en (II.1) no exista.
Este problema se solventa con la siguiente denicion.
Denicion II.5. Sea f una funcion f : O R
n
R
m
. Diremos que f es de clase
C
1
si las funciones
f
j
x
i
: O R
n
R
m
estan bien denidas y son continuas.
AN
ALISIS II (F
ISICAS)
20 II. DIFERENCIACI
ON
Por ejemplo, si f(x, y, z) = z + cos(xy) +z log x entonces
f
x
= y sen(xy) +
z
x
,
f
y
= x sen(xy),
f
z
= 1 + log x.
Todas estas funciones son continuas en su dominio de denicion, as que f es de
clase C
1
.
Proposicion II.6. Si f : O R
n
R
m
es de clase C
1
entonces f es diferenciable
(el recproco no se cumple).
Aunque la diferenciabilidad no asegura que las derivadas parciales sean conti-
nuas, s implica la continuidad de la funcion misma, al igual que ocurra en el caso
unidimensional.
Proposicion II.7. Si f es diferenciable en x
0
entonces f es continua en x
0
(el
recproco no se cumple).
En el ejemplo de antes, f(x, y, z) = z +cos(xy) +z log x, las funciones derivadas
parciales no solo son continuas sino que a su vez pueden derivarse. As, por ejemplo,
x
_
f
x
_
= y
2
cos(xy)
z
x
2
y
_
f
x
_
= xy cos(xy).
La notacion anterior no es la usual; normalmente escribiremos

2
f
x
2
en lugar de
x
_
f
x
_
,

2
f
yx
en lugar de

y
_
f
x
_
y as sucesivamente para estas derivadas segundas.
Del mismo modo van apareciendo las derivadas terceras

3
f
zx
2
=

z
_
2
f
x
2
_
etc. En el
caso unidimensional usaremos
d
2
f
dx
2
,
d
3
f
dx
3
y as sucesivamente.
Conviene notar que, en principio, expresiones como

3
f
zx
2
y

3
f
xzx
no representan
la misma cosa: en el primer caso derivamos dos veces respecto a x y luego respecto
a z; en el segundo lo hacemos primero respecto a x, luego respecto a z y nalmente
de nuevo respecto a x. Lo normal, no obstante, es que estas situaciones patologicas
no aparezcan. Ello es consecuencia del llamado teorema de Schwartz.
Denicion II.8. Diremos que f : O R
n
R
m
es de clase C
k
(1 k ) si
existen todas las derivadas parciales de todos los componentes de la f hasta el orden
k y son continuas.
Teorema II.9 (Schwartz). Si f es de clase C
k
entonces el orden en el que se
realiza la derivacion k-esima no importa.
AN
ALISIS II (F
ISICAS)
Al igual que ocurra en el caso continuo (Proposiciones I.14 y I.15) la diferencia-
bilidad y pertenecer a la clase C
k
son propiedades que se conservan bien bajo las
operaciones habituales para funciones:
Proposicion II.10. Sean f, g : O R
n
R
m
y a O.
(i) Si f y g son diferenciables en a entonces f + g es diferenciable en a y d(f +
g)(a) = df(a) +dg(a).
(ii) Si f es diferenciable en a y c R entonces cf es diferenciable en a y d(cf)(a) =
cdf(a).
(iii) Si m = 1 y f y g son diferenciables en a entonces fg es diferenciable en a y
d(fg)(a) = f(a)dg(a) +g(a)df(a).
(iv) Si m = 1, f es diferenciable en a y f(a) ,= 0 entonces 1/f es diferenciable en
a y d(1/f)(a) =
1
f
2
(a)
df(a).
(v) Si escribimos f en terminos de sus componentes como f = (f
1
, f
2
, , f
m
)
entonces f es diferenciable en a si y solo si f
i
: M R es diferenciable en a
para cada i = 1, 2, . . . , m. En este caso, df(a) = (df
1
(a), df
2
(a), . . . , df
m
(a)).
La proposicion admite una version analoga para funciones de clase C
k
. En com-
binacion con el Teorema II.18 de la siguiente seccion, garantiza en la practica (sal-
vo excepciones) que las funciones denidas por formulas en dominios de deni-
cion abiertos son de clase C
. En particular nuestra anterior funcion f(x, y, z) =

z+cos(xy)+z log x es de clase C
en su dominio de denicion (el semiplano x > 0). A

la luz del teorema de Schwartz, esto signica que el orden en que hagamos las sucesi-
vas derivaciones de f no alterara el resultado con lo que, por ejemplo,

3
f
zx
2
=

3
f
xzx
coincidiran (como el lector puede vericar sin dicultad).
II.1.2. Interpretacion geometrica de la diferencial: rectas y
planos tangentes
Como sabemos la derivada f
(x
0
) de una funcion f(x) en un punto x
0
tiene una
clara interpretacion geometrica como pendiente de la recta tangente a la graca de
la funcion en el punto (x
0
, f(x
0
)). De hecho esto no es mas que plasmar gracamente
la idea de derivada como mejor aproximacion a traves de una funcion afn (que se
representa en el plano mediante dicha recta tangente).
Sea C R
n
, n 2, una curva, y supongamos para jar las ideas que C ad-
mite una parametrizacion global : I C que es diferenciable vista como una
aplicacion : I R
n
. Sea t
0
I y pongamos (t
0
) = p. Si queremos denir de
manera razonable la recta tangente a C en el punto p entonces debemos buscar la
AN
ALISIS II (F
ISICAS)
22 II. DIFERENCIACI
ON
recta que mejor la aproxime cerca de p; en otras palabras, buscamos la recta cuya
parametrizacion es
g(t) = (t
0
) +d(t
0
)(t t
0
) = p + (t t
0
)
(t
0
).
Enfatizamos que, de acuerdo con la Proposicion II.4, d(t
0
) es un vector columna de
n componentes, cada una de ellas la derivada en t
0
de la correspondiente componente
de la funcion (t) = (x
1
(t), x
2
(t), . . . , x
n
(t)), con lo que resulta natural escribir
tambien
(t) = (x
1
(t), x
2
(t), . . . , x
n
(t)). Notese que multiplicar un vector columna
por un n umero a su derecha es lo mismo que multiplicar cada una de sus componentes
por dicho n umero, as que en podemos retornar en este caso comodamente a la
habitual notacion por las.
Un detalle nal es que para que g(t) represente una recta necesitamos que
(t
0
)
no se anule. Todo ello da pie a introducir la siguiente denicion.
Denicion II.11. Sea C R
n
, n 2 una curva y sea p C. Diremos que p es un
punto regular de la curva si existe una parametrizacion local : (a, b) U = U(p)
(U = U(p) C R
n
entorno de p), (t
0
) = p, de clase C
1
, tal que
(t
0
) ,=
(0, . . . , 0).
Si p no es regular entonces diremos que es singular. Si todos los puntos de C son
regulares, diremos que C es una curva regular.
Denicion II.12. Con la notacion anterior sean C R
n
, n 2, una curva, y
p C un punto regular. Denimos la recta tangente a C en p mediante la expresion
x = p + (t t
0
)
(t
0
).
Se puede demostrar que si p es un punto regular de C entonces la recta tangente
no depende de la parametrizacion local elegida y por tanto esta bien denida (puede
cambiar el vector tangente pero la recta tangente es siempre la misma).
Con la notacion habitual x = (x
1
, x
2
, . . . , x
n
), p = (p
1
, p
2
, . . . , p
n
) y
d
dt
(t
0
) =
(t
0
) = (v
1
, v
2
, . . . , v
n
), la expresion parametrica de la recta tangente a C en p
vendra dada por:
x
1
= p
1
+ (t t
0
)v
1
,
x
2
= p
2
+ (t t
0
)v
2
,

x
n
= p
n
+ (t t
0
)v
n
.
Observese que todo encaja: en el caso en que C es una curva del plano en forma
explcita, C = (x, f(x)) : x I, x
0
I y f es derivable en x
0
, entonces (t) =
(t, f(t)) es una parametrizacion global y cuando calculamos la recta tangente a C
(es decir, la graca de la funcion f(x)) en el punto p = (x
0
, f(x
0
)), obtenemos
x = x
0
+ (t t
0
) 1,
y = f(x
0
) + (t t
0
)f
(x
0
)
AN
ALISIS II (F
ISICAS)
como expresion de la recta tangente. Reemplazando en la segunda ecuacion t t
0
por x x
0
, obtenemos y = f(x
0
) + f
(x
0
)(x x
0
), que es la clasica ecuacion de la
recta tangente a una funcion y = f(x) en un punto y tambien la funcion de mejor
aproximacion a f cerca de x
0
.
Podemos reproducir el esquema anterior para introducir el plano tangente a una
supercie en un punto.
Denicion II.13. Sea M R
3
una supercie y sea p M. Diremos que p es
regular si existe una parametrizacion local : O R
2
U = U(p) M R
3
tal
que si (u
0
, v
0
) O verica (u
0
, v
0
) = p entonces es de clase C
1
y los vectores
u
=

u
(u
0
, v
0
) y
v
=

v
(u
0
, v
0
) son linealmente independientes.
Si p no es regular entonces diremos que es singular. Si todos los puntos de S son
regulares, diremos que S es una supercie regular.
Intuitivamente, el que una curva o una supercie sea regular en un punto equivale
a que sea suave, sin aristas, en dicho punto. Dejamos al cuidado del lector usar
las parametrizaciones introducidas en el Captulo I y probar que el toro es una
supercie regular.
Denicion II.14. Con la notacion anterior sea M R
3
una supercie y sea p S
regular. Denimos el plano tangente a S en p como
(x, y, z) = p + (u u
0
)
u
+ (v v
0
)
v
.
Como ocurra en el caso de las curvas, si p M es regular entonces el plano
tangente en p esta denido sin ambig uedad. Su expresion parametrica sera
x = p
x
+ (u u
0
)q
x
+ (v v
0
)w
x
,
y = p
y
+ (u u
0
)q
y
+ (v v
0
)w
y
,
z = p
z
+ (u u
0
)q
z
+ (v v
0
)w
z
,
donde hemos usado la notacion p = (p
x
, p
y
, p
z
),
u
= q = (q
x
, q
y
, q
z
),
v
= w =
(w
x
, w
y
, w
z
). Si llamamos N = q w = (N
x
, N
y
, N
z
) al vector normal al plano,
podemos escribirlo en forma implcita como
N
x
(x x
0
) +N
y
(y y
0
) +N
z
(z z
0
) = 0.
Llamaremos a la recta que pasa por p y tiene a N como vector director la recta
normal a la supercie M en p, y a cada uno de sus vectores directores un vector
normal a M en p.
En el caso particular de una supercie denida en forma explcita por una funcion
z = f(x, y), el plano tangente en un punto p = (x
0
, y
0
, f(x
0
, y
0
)) adquiere una
expresion bastante mas sencilla. Usando la parametrizacion (u, v) = (u, v, f(u, v))
se obtiene
u
=
_
1, 0,
f
x
(x
0
, y
0
)
_
,
v
=
_
0, 1,
f
y
(x
0
, y
0
)
_
AN
ALISIS II (F
ISICAS)
24 II. DIFERENCIACI
ON
y
N =
_
f
x
(x
0
, y
0
),
f
y
(x
0
, y
0
), 1
_
,
siendo
z = f(x
0
, y
0
) +
f
x
(x
0
, y
0
)(x x
0
) +
f
y
(x
0
, y
0
)(y y
0
)
la expresion del plano tangente, que como es natural es tambien la formula que
dene a la funcion afn de mejor aproximacion.
Resumiendo lo anterior:
Proposicion II.15. Sea f : (a, b) R una funcion derivable. Entonces la curva
C = (x, f(x)) : x (a, b) es regular y en cada punto (x
0
, f(x
0
)) de la curva la
recta tangente viene dada por y = f(x
0
) +f
(x
0
)(x x
0
).
Proposicion II.16. Sea f : O R
2
R una funcion diferenciable. Enton-
ces la supercie M = (x, y, f(x, y)) : (x, y) O es regular y en cada punto
(x
0
, y
0
, f(x
0
, y
0
)) de la supercie el plano tangente viene dado por z = f(x
0
, y
0
) +
f
x
(x
0
, y
0
)(x x
0
) +
f
y
(x
0
, y
0
)(y y
0
).
Observese que si en el caso de las supercies consideramos las curvas dadas
por las parametrizaciones (t) = (t, y
0
, f(t, y
0
)) y (t) = (x
0
, t, f(x
0
, t)), que estan
bien denidas si trabajamos respectivamente en peque nos intervalos (x
0
, x
0
+
) e (y
0
, y
0
+ ), obtenemos dos curvas dentro de M que pasan por el punto
(x
0
, y
0
, f(x
0
, y
0
)) y que tienen como rectas tangentes en ese punto las generadas por
los anteriores vectores q y w y por tanto estan contenidas en el plano tangente.

Este
es un caso particular de un principio mas general, bastante util en la practica:
Proposicion II.17. Sea M R
3
una supercie, sea C M una curva y sea
p C M un punto regular de C y M. Entonces la recta tangente a C en p
esta contenida en el plano tangente a M en p.
II.2. La regla de la cadena
Cuando derivamos una funcion como h(x) = sen(x
2
) para obtener h
(x) =
(cos x
2
)2x recurrimos al siguiente metodo: derivamos la funcion de afuera dejando
lo de dentro sin derivar y luego multiplicamos por la derivada de lo de dentro.
Esta es la version unidimensional de un principio que tiene validez general, y que

enunciamos a continuacion:
Teorema II.18. Sean f : O R
n
U R
m
, g : U R
m
R
p
, x
0
O, y
0
=
f(x
0
), x
0
= (x
0,1
, . . . , x
0,n
), y
0
= (y
0,1
. . . , y
0,m
). Supongamos que f es diferenciable
en x
0
y que g es diferenciable en y
0
. Entonces g f es diferenciable en x
0
y se tiene
d(g f)(x
0
) = dg(f(x
0
)) df(x
0
).
AN
ALISIS II (F
ISICAS)
II.2. LA REGLA DE LA CADENA 25
El teorema admite una version analoga para funciones de clase C
k
: si f y g lo
son entonces su composicion es tambien de clase C
k
. Notese que en el caso uni-
dimensional nos proporciona la regla de derivacion de las funciones compuestas
que mencionabamos antes (siendo en nuestro ejemplo f(x) = x
2
, g(y) = sen y y
h(x) = (g f)(x) = sen x
2
).
Como es sabido, si L : R
n
R
m
y N : R
m
R
p
son dos aplicaciones lineales
y A y B son las respectivas matrices asociadas a estas aplicaciones entonces BA
(producto de matrices) es la matriz asociada a la aplicacion lineal compuesta NL :
R
n
R
m
(observese que A es de tipo m n y B es de tipo p m, con lo que
BA sera del tipo p n, que es el adecuado para una aplicacion lineal que, como
N L, va de R
n
a R
p
). As pues, si con la notacion del Teorema II.18 denotamos
por A la matriz asociada a df(x
0
) y por B a la matriz asociada a dg(y
0
) entonces
C = BA sera la matriz asociada a d(g f)(x
0
). Dado que C incluye a todas las
derivadas parciales de g f en x
0
, A incluye a todas las derivadas parciales de f
en x
0
y B incluye a todas las derivadas parciales de g en y
0
, concluimos que las
derivadas parciales de la funcion compuesta pueden expresarse en terminos de las
de las derivadas parciales de las funciones f y g.
El siguiente ejemplo aclarara mejor lo que estamos diciendo. Supondremos n = 2,
m = 3 y p = 1, con lo que, siguiendo nuestra costumbre habitual, denotaremos a
los puntos en los que estamos trabajando como (u
0
, v
0
) y (x
0
, y
0
, z
0
) = f(x
0
, y
0
). En
este caso,
df(u
0
, v
0
) A =
_
_
f
1
u
(u
0
, v
0
)
f
1
v
(u
0
, v
0
)
f
2
u
(u
0
, v
0
)
f
2
v
(u
0
, v
0
)
f
3
u
(u
0
, v
0
)
f
3
v
(u
0
, v
0
)
_
_
,
dg(x
0
, y
0
, z
0
) B =
_
g
x
(x
0
, y
0
, z
0
)
g
y
(x
0
, y
0
, z
0
)
g
z
(x
0
, y
0
, z
0
)
_
,
d(g f)(u
0
, v
0
) C
=
_
(gf)
u
(u
0
, v
0
)
(gf)
v
(u
0
, v
0
)
_
= BA
=
_
g
x
(x
0
, y
0
, z
0
)
g
y
(x
0
, y
0
, z
0
)
g
z
(x
0
, y
0
, z
0
)
_
_
_
f
1
u
(u
0
, v
0
)
f
1
v
(u
0
, v
0
)
f
2
u
(u
0
, v
0
)
f
2
v
(u
0
, v
0
)
f
3
u
(u
0
, v
0
)
f
3
v
(u
0
, v
0
)
_
_
=
_
_
_
_
_
g
x
(x
0
, y
0
, z
0
)
f
1
u
(u
0
, v
0
) +
g
y
(x
0
, y
0
, z
0
)
f
2
u
(u
0
, v
0
)
+
g
z
(x
0
, y
0
, z
0
)
f
3
u
(u
0
, v
0
)
g
x
(x
0
, y
0
, z
0
)
f
1
v
(u
0
, v
0
) +
g
y
(x
0
, y
0
, z
0
)
f
2
v
(u
0
, v
0
)
+
g
z
(x
0
, y
0
, z
0
)
f
3
v
(u
0
, v
0
)
_
_
_
_
_
,
AN
ALISIS II (F
ISICAS)
26 II. DIFERENCIACI
ON
es decir,
(gf)
u
(u
0
, v
0
) =
g
x
(x
0
, y
0
, z
0
)
f
1
u
(u
0
, v
0
) +
g
y
(x
0
, y
0
, z
0
)
f
2
u
(u
0
, v
0
)
+
g
z
(x
0
, y
0
, z
0
)
f
3
u
(u
0
, v
0
),
(gf)
v
(u
0
, v
0
) =
g
x
(x
0
, y
0
, z
0
)
f
1
v
(u
0
, v
0
) +
g
y
(x
0
, y
0
, z
0
)
f
2
v
(u
0
, v
0
)
+
g
z
(x
0
, y
0
, z
0
)
f
3
v
(u
0
, v
0
).
Dado que los resultados anteriores son validos para puntos (u, v) y (x, y, z) = f(u, v)
arbitrarios, podemos omitir la referencia a las variables y escribir, mas concisamente,
(g f)
u
=
g
x
f
1
u
+
g
y
f
2
u
+
g
z
f
3
u
, (II.4)
(g f)
v
=
g
x
f
1
v
+
g
y
f
2
v
+
g
z
f
3
z
. (II.5)
A menudo en la practica nuestras funciones seran descritas mediante formulas,
digamos
x = u
2
v,
y = v
3
+ 1,
z = v + 2,
para la primera y
w = e
xy+z
para la segunda. En estos casos no introduciremos articialmente los nombres de f
y g para nuestras funciones sino que reaprovecharemos los nombres de las variables
para denotar a las componentes de las funciones, es decir, reescribiremos
f
1
(u, v) = x(u, v)
f
2
(u, v) = y(u, v)
f
3
(u, v) = z(u, v)
g(x, y, z) = w(x, y, x)
(g f)(u, v) = w(u, v)
En particular, observese que estamos usando el smbolo w, dependiendo del con-
texto, con tres signicados diferentes: es la variable de llegada de la segunda funcion,
denota a la propia funcion y tambien denota a la funcion compuesta. Las ecuaciones
(II.4) y (II.5) se reescriben ahora como
w
u
=
w
x
x
u
+
w
y
y
u
+
w
z
z
u
,
w
v
=
w
x
x
v
+
w
y
y
v
+
w
z
z
v
.
AN
ALISIS II (F
ISICAS)
II.2. LA REGLA DE LA CADENA 27
Hemos llegado as a expresiones para las derivadas parciales
w
u
y
w
v
de la funcion
compuesta bastante faciles de recordar: se trata, simplemente, de multiplicar y
dividir por x, y y z. Ni que decir tiene, esto solo es un truco mnemotecnico: x
es un smbolo y no tiene sentido multiplicar o dividir por el. Esta regla mnemotecnica
se conoce con el nombre de regla de la cadena.
Un ejemplo adicional: si n = 1, m = 3 y p = 2 y usamos t (x, y, z) (v, w)
para denotar a las variables involucradas, entonces
dv
dt
=
v
x
x
dt
+
v
y
y
dt
+
v
z
z
dt
,
dw
dt
=
w
x
x
dt
+
w
y
y
dt
+
w
z
z
dt
;
notese como usamos los smbolos y d para indicar las derivadas de las funciones
v y w seg un estas letras denoten a las componentes de la segunda funcion (la que
va de R
3
a R
2
) o a las componentes de la funcion compuesta (que son funciones
unidimensionales, de R en R).
Volviendo al ejemplo concreto anterior, la funcion compuesta es
w = e
u
2
v(v
3
+1)+v+2
= e
u
2
v
3
+1
,
de manera que es facil calcular directamente
w
u
= 2ue
u
2
v
3
+1
,
w
v
= 3v
2
e
u
2
v
3
+1
.
Si usamos la regla de la cadena para calcular estas derivadas parciales obtenemos
w
u
= e
xy+z
2u e
xy+z
0 +e
xy+z
0 = 2ue
u
2
v
3
+1
,
w
v
= e
xy+z
(1) e
xy+z
3v
2
+e
xy+z
= 3v
2
e
xy+z
,
con lo que todo concuerda. Notese que en la expresion anterior e
xy+z
signica en
realidad e
x(u,v)y(u,v)+z(u,v)
(el smbolo x no denota aqu una variable sino una
funcion), lo que explica la sustitucion realizada. A la vista del ejemplo puede parecer
que la regla de la cadena no ahorra mucho trabajo y que incluso complica innecesa-
riamente las cosas, pero cuando las funciones tienen expresiones mas complicadas o
algunas de ellas no se conocen pero a un as necesitamos manipularlas, este teorema
resulta de una gran utilidad.
Ya hemos indicado que la composicion de funciones de clase C
k
es tambien de
clase C
k
. En estos casos las derivadas sucesivas de la funcion compuesta pueden
calcularse de nuevo en funcion de las derivadas de las funciones que la denen, al
AN
ALISIS II (F
ISICAS)
28 II. DIFERENCIACI
ON
igual que ocurre en el caso de las derivadas primeras, y para hacerlo nos apoyaremos
en la regla de la cadena y la de derivacion del producto de funciones. Por ejemplo:
2
w
uv
=

u
_
w
v
_
=

u
_
w
x
x
v
+
w
y
y
v
+
w
z
z
v
_
=

u
_
w
x
_
x
v
+
w
x
2
x
uv
+

u
_
w
y
_
y
v
+
w
y
2
y
uv
+

u
_
w
z
_
z
v
+
w
z
2
z
uv
=
_
2
w
x
2
x
u
+

2
w
yx
y
u
+

2
w
zx
z
u
_
x
v
+
w
x
2
x
uv
+
_

2
w
xy
x
u
+

2
w
y
2
y
u
+

2
w
zy
z
u
_
y
v
+
w
y
2
y
uv
+
_

2
w
xz
x
u
+

2
w
yz
y
u
+

2
w
z
2
z
u
_
z
v
+
w
z
2
z
uv
. (II.6)
El sentido de igualdades como
u
_
w
y
_
=

2
w
xy
x
u
+

2
w
y
2
y
u
+

2
w
zy
z
u
(II.7)
se entiende mejor si cambiamos el nombre de la funcion
w
y
por el de w
y
. Cuando
calculamos

u
_
w
y
_
, es decir,
w
y
u
, estamos calculando la derivada parcial respecto
de u de la funcion compuesta w
y
(x(u, v), y(u, v), z(u, v)), con lo que en virtud de la
regla de la cadena tendramos
w
y
u
=
w
y
x
x
u
+
w
y
y
y
u
+
w
y
z
z
u
;
dado que
w
y
x
=

2
w
xy
,
w
y
y
=

2
w
y
2
,
w
y
z
=

2
w
zy
,
se llega a la mencionada igualdad (II.7).
AN
ALISIS II (F
ISICAS)
II.3. FUNCIONES INVERSAS E IMPL
ICITAS 29
En el ejemplo concreto que estamos manejando es claro que
2
w
uv
= 6uv
2
e
u
2
v
3
+1
,
as que no sera muy practico usar la formula anterior. Con todo animamos al lector
a que verique su validez sustituyendo en (II.6)
x
u
= 2u,
x
v
= 1,
y
u
= 0,
y
v
= 3v
2
,
z
u
= 0,
z
v
= 1,

2
x
uv
=

2
y
uv
=

2
z
uv
= 0,
w
x
=
w
z
=

2
w
x
2
=

2
w
y
2
=

2
w
xz
=

2
w
z
2
= e
xy+z
= e
u
2
v
3
+1
,
w
y
=

2
w
xy
=

2
w
yz
= e
xy+z
= e
u
2
v
3
+1
.
II.3. Funciones inversas e implcitas
Para introducir el teorema de la funcion inversa recordemos el caso unidimensio-
nal. Consideremos la funcion f : R R dada por f(x) = x+e
x
, o mas escuetamente
y = x+e
x
. Si pintamos su graca observamos que esta es una funcion estrictamente
creciente y por tanto inyectiva, que tiene como imagen todo el intervalo R. Por tanto,
es una aplicacion biyectiva. Si denotamos por f
1
a su funcion inversa y queremos
calcular explcitamente la formula que la dene, debemos despejar la x en funcion
de y a partir de la formula y = x + e
x
, lo que no resulta viable. Ello no signica
que no podamos saber cosas de esta funcion inversa x = f
1
(y): por ejemplo del
Analisis Real de una variable sabemos que si y
0
= f(x
0
) y f
(x
0
) ,= 0 entonces
f
1
es derivable en y
0
y f
(y
0
) =
1
f
(x
0
)
. En nuestro caso concreto, por tenerse que
f
(x) = 1+e
x
,= 0 para todo x, concluimos que f
1
: R R es una funcion derivable
(y estrictamente creciente) en todos los puntos de su dominio de denicion.
El siguiente teorema extiende estas ideas al caso n-dimensional. Usaremos la
siguiente notacion: si f : O R
n
R
n
es diferenciable en x
0
O entonces denota-
remos al determinante de la diferencial de f en x
0
como Jf(x
0
) y lo llamaremos el
jacobiano de f en x
0
. Notese que por ser f un campo la matriz asociada a df(x
0
) es
cuadrada y tiene sentido calcular su determinante.
Teorema II.19 (teorema de la funcion inversa). Sean f : O R
n
R
n
, x
0

O. Supongamos que f es de clase C
k
, 1 k , y Jf(x
0
) ,= 0 (es decir, df(x
0
) es
biyectiva). Entonces existen abiertos U = U(x
0
) conteniendo a x
0
y V = V (f(x
0
))
conteniendo a f(x
0
) tales que f : U V es un difeomorsmo de clase C
k
, es decir,
f : U V es continua, biyectiva y de clase C
k
, y lo mismo ocurre para su inversa
f
1
: V U. Mas a un, df
1
(f(x
0
) = (df(x
0
))
1
.
AN
ALISIS II (F
ISICAS)
30 II. DIFERENCIACI
ON
Ilustramos este teorema considerando el caso n = 2. Si denotamos por (x, y) las
variables de salida y por (u, v) las de llegada, denotamos a las componentes de f como
u = u(x, y), v = v(x, y), a las de f
1
como x = x(u, v), y = y(u, v), consideramos los
puntos (u
0
, v
0
) = f(x
0
, y
0
) y suponemos que Jf(x
0
, y
0
) ,= 0 tendremos (omitiendo
las referencias a los puntos en las matrices) que
_
x
u
x
v
y
u
y
v
_
= df
1
(u
0
, v
0
) = (df(x
0
, y
0
))
1
=
_
u
x
u
y
u
y
v
y
_
1
=
_
_
_
v
y
u
x
v
y
u
y
v
x
u
y
u
x
v
y
u
y
v
x
v
x
u
x
v
y
u
y
v
x
u
x
u
x
v
y
u
y
v
x
_
_
_
.
Notese que, contrariamente a lo que la intuicion pueda sugerir, la matriz de la
diferencial inversa no se calcula simplemente invirtiendo la notacion, es decir, no
cabe en general esperar
df
1
(u
0
, v
0
) =
_
1/
u
x
1/
v
x
1/
u
y
1/
v
y
_
,
es decir, no es cierto en general que
x
u
= 1/
u
x
. Como hemos visto, la expresion
correcta es
x
u
=
v
y
u
x
v
y

u
y
v
x
. (II.8)
Observese, eso s, que tiene sentido escribir
dx
dy
= 1/
dy
dx
: como ya se ha comentado
al principio, en el caso unidimensional y = y(x) la derivada de la funcion inversa
x = x(y) satisface
dx
dy
(y(x)) =
1
dy
dx
(x)
.
Estudiemos ya un ejemplo concreto. Si tenemos la funcion f dada por
u = x +e
yx
v = sen(x +y)
y consideramos los puntos f(0, 0) = (1, 0) se tiene que
df(x, y) =
_
1 e
yx
e
yx
cos(x +y) cos(x +y)
_
con lo que en particular
Jf(0, 0) =
0 1
1 1
= 1 ,= 0
y existe inversa local para f cerca de (0, 0). Mas a un,
df
1
(1, 0) =
_
0 1
1 1
_
1
=
_
1 1
1 0
_
AN
ALISIS II (F
ISICAS)
ICITAS 31
as que
x
u
(1, 0) = 1,
x
v
(1, 0) = 1,
y
u
(1, 0) = 1,
y
v
(1, 0) = 0. Por tanto, hemos
sido capaces de calcular las derivadas parciales de las componentes x = x(u, v) e
y = y(u, v) de f
1
en el punto (1, 0) aunque no las conozcamos explcitamente.
Observese que dado que sabemos el valor de f
1
y el de su diferencial en (1, 0)
tenemos al menos la informacion necesaria para dar una buena aproximacion de la
funcion cerca de este punto:
x(u, v)

= x(1, 0) +
x
u
(1, 0)(u 1) +
x
v
(1, 0)(v 0)
= (u 1) +v = u +v + 1,
y(u, v)

= y(1, 0) +
y
u
(1, 0)(u 1) +
y
v
(1, 0)(v 0)
= u 1.
Como veremos dentro de unos captulos, cuando introduzcamos el teorema de
Taylor, si ademas de las derivadas primeras conocemos mas derivadas sucesivas de
una funcion en un cierto punto podemos aproximarla con mayor precision. A la vista
del Teorema II.19, en nuestro ejemplo anterior las funciones x(u, v) e y(u, v) seran de
clase C
y es de hecho posible (aunque muy laborioso) calcular con la informacion

de que disponemos todas sus derivadas parciales en (1, 0).
En efecto, tomando como partida (II.8) podemos por ejemplo calcular

2
x
vu
usan-
do la regla de derivacion del cociente y la regla de la cadena. Hay tan solo que llevar
cuidado de lo que signican expresiones como

v
_
v
y
_
:
v
_
v
y
_
=

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

2
v
xy
x
v
+

2
v
y
2
y
v
;
ahora bastara sustituir
x
v
y
y
v
por expresiones analogas a la obtenida para
x
u
en
(II.8) (ver (II.8)). En casos concretos, no obstante, este procedimiento es a veces
bastante farragoso y puede optarse por un metodo alternativo que explicamos a
continuacion.
Dado que df(0, 0) y df
1
(1, 0) son funciones inversas el producto de sus matrices
asociadas es la matriz identidad, lo que conduce a las siguientes ecuaciones:
x
u
u
x
+
x
v
v
x
= 1 (II.9)
y
u
u
x
+
y
v
v
x
= 0
x
u
u
y
+
x
v
v
y
= 0 (II.10)
y
u
u
y
+
y
v
v
y
= 1
Observese que, dado que sabemos los valores de
u
x
,
u
y
,
v
x
y
u
y
podemos sustituirlos
en las ecuaciones para deducir
x
u
,
x
v
,
y
u
y
y
v
. Por ejemplo, para nuestra funcion
AN
ALISIS II (F
ISICAS)
32 II. DIFERENCIACI
ON
u = x +e
yx
, v = sen(x +y) tenamos
u
x
(0, 0) = 0,
u
y
(0, 0) =
v
x
(0, 0) =
v
y
(0, 0) = 1,
con lo que sustituyendo en las a ecuaciones (II.9) y (II.10) llegamos al sistema
x
v
= 1
x
u
+
x
v
= 0
obteniendose los valores
x
u
(1, 0) = 1,
x
v
(1, 0) = 1 ya conocidos. Si derivamos (II.9)
y (II.10) respecto de u y v obtenemos un total de cuatro ecuaciones
2
x
u
2
u
x
+
x
u
_
2
u
x
2
x
u
+

2
u
yx
y
u
_
+

2
x
uv
v
x
+
x
v
_
2
v
x
2
x
u
+

2
v
yx
y
u
_
= 0
2
x
vu
u
x
+
x
u
_
2
u
x
2
x
v
+

2
u
yx
y
v
_
+

2
x
v
2
v
x
+
x
v
_
2
v
x
2
x
v
+

2
v
yx
y
v
_
= 0
2
x
u
2
u
y
+
x
u
_

2
u
xy
x
u
+

2
u
y
2
y
u
_
+

2
x
uv
v
y
+
x
v
_

2
v
xy
x
u
+

2
v
y
2
y
u
_
= 0
2
x
vu
u
y
+
x
u
_

2
u
xy
x
v
+

2
u
y
2
y
v
_
+

2
x
v
2
v
y
+
x
v
_

2
v
xy
x
v
+

2
v
y
2
y
v
_
= 0
en las que todos los datos son conocidos (las derivadas segundas de u(x, y) y v(x, y)
en (0, 0) se calculan facilmente) excepto las incognitas

2
x
u
2
(1, 0),

2
x
vu
(1, 0),

2
x
uv
(1, 0)
y

2
x
v
2
(1, 0). Por el teorema de Schwartz

2
x
vu
(1, 0) =

2
x
uv
(1, 0), de manera que en
realidad tenemos tres incognitas, que despejaremos a partir de tres de las cuatro
ecuaciones anteriores (la otra es redundante). Animamos al lector a que complete
los calculos y compruebe que el trabajo pendiente no es tanto como sospecha.
Filosocamente, el teorema de la funcion implcita esta ntimamente emparen-
tado con de la funcion inversa. El planteamiento es el siguiente. Si tenemos una
expresion de la forma F(x, y) = 0 entonces, intuitivamente, se podra despejar una
de las variables (y) en funcion de la otra (x) para obtener una funcion y = y(x).
Desde un punto de vista geometrico, lo que estamos diciendo es que si tenemos una
curva expresada en forma implcita entonces debe poder derivarse a partir de la
misma una expresion explcita de dicha curva. Si pensamos en uno de los ejemplos
mas naturales, la circunferencia unidad x
2
+y
2
1 = 0, nos damos cuenta que esta
armacion puede ser esencialmente cierta pero en todo caso debe ser matizada. En
efecto, hay dos posibles formas de despejar la y en funcion de la x, y =
1 x
2
,
y ninguna de las expresiones y =
1 x
2
, y =
1 x
2
describe enteramente a
la circunferencia. Mas a un, si usaramos alguna de estas expresiones para calcular la
recta tangente en los puntos (1, 0) y (1, 0) nos encontraramos con un problema
inesperado: ninguna de las dos funciones admite derivada en esos puntos. Lo que
s es cierto es que si (x
0
, y
0
) es un punto de la circunferencia distinto de estos dos
AN
ALISIS II (F
ISICAS)
ICITAS 33
puntos y nos quedamos con un trocito de circunferencia que lo contenga entonces,
ah s, nuestra circunferencia tendra una unica expresion explcita, que puede deri-
varse sin problemas para calcular la recta tangente pues estamos evitando los puntos
conictivos.
El teorema de la funcion implcita, que enunciamos a continuacion, eviden-
cia que esto no es una casualidad. En lo que sigue trabajaremos con funciones
F : U R
n
R
m
R
m
y conviene aclarar la notacion que vamos a usar. Como siem-
pre las variables en R
n
y R
m
se describiran como x = (x
1
, . . . , x
n
) e y = (y
1
, . . . , y
m
)
respectivamente, pero sera conveniente referirse a las variables de R
n
R
m
como
(x, y) = (x
1
, . . . , x
n
, y
1
, . . . , y
m
). Ademas usaremos
F
y
(x, y) para denotar al deter-
minante de la matriz m m que tiene como coecientes las derivadas parciales de
todas las componentes de F respecto a todas las componentes de y, es decir,
F
y
(x, y) =
F
1
y
1
(x, y)
F
1
y
m
(x, y)
.
.
.
.
.
.
.
.
.
F
m
y
1
(x, y)
F
m
y
m
(x, y)
.
Teorema II.20 (teorema de la funcion implcita). Sea F : U R
n
R
m
R
m
de clase C
k
, 1 k . Sea (x
0
, y
0
) U tal que F(x
0
, y
0
) = 0 y
F
y
(x
0
, y
0
) ,= 0.
Entonces existen abiertos V = V (x
0
) R
n
conteniendo a x
0
y W = W(y
0
) R
m
conteniendo a y
0
, y una funcion y : V W de clase C
k
, y = y(x), tales que:
(i) y(x
0
) = y
0
;
(ii) (x, y(x)) U para todo x V ;
(iii) F(x, y(x)) = 0 para todo x V .
Mas a un, y = y(x) describe unvocamente el conjunto T = (x, y) R
n
R
m
:
F(x, y) = 0 cerca de (x
0
, y
0
), es decir, (x, y(x)) : x V es un entorno abierto de
(x
0
, y
0
) en T.
En el contexto de nuestro ejemplo de partida F(x, y) = x
2
+y
2
1 = 0, tomemos
x
0
=
1
2
, y
0
=
3
2
. En este caso
F
y
(x
0
, y
0
) = 2y
0
,= 0, y el teorema garantiza que
cerca de (x
0
, y
0
) la circunferencia es el conjunto de puntos de la forma (x, y(x)),
donde en este caso y =
1 x
2
. Notese que la excepcionalidad de los puntos (1, 0)
y (1, 0) viene ligada al hecho de que
F
y
es cero en esos puntos. Notese tambien
que en el Teorema II.20 hemos despejado y en funcion de x por pura convencion:
existe una version analoga para funciones F : U R
n
R
m
R
n
que nos permite
despejar x en funcion de y a partir de F(x, y) = 0 siempre que
F
x
(que ahora se
reere al determinante de las derivadas parciales de las componentes de F respecto
a las componentes de x) no se anule en el punto en el que estamos trabajando. En
particular, en (1, 0) y (1, 0) la circunferencia admite las expresiones explcitas
x =
_
1 y
2
y x =
_
1 y
2
respectivamente.
AN
ALISIS II (F
ISICAS)
34 II. DIFERENCIACI
ON
El ejemplo de la circunferencia es, tal vez, demasiado banal. Un ejemplo mas
interesante es el de F(x, y, z) = x +e
x
+sen xy z e
z
. Tenemos que F(0, 1, 0) = 0
y que
F
z
(0, 1, 0) = 2 ,= 0. Por tanto cerca de (0, 1, 0) el conjunto descrito por la
ecuacion F(x, y, z) = 0 puede expresarse explcitamente como z = z(x, y), con z una
funcion de clase C
denida en un cierto entorno de (0, 1) que verica z(0, 1) = 0.

A diferencia del caso de la circunferencia no hay posibilidad de describir z(x, y)
mediante una formula elemental en terminos de x e y, pero s podemos, en todo
caso, calcular sus derivadas sucesivas (y en particular su diferencial) en (0, 1).
El modo de proceder es el siguiente. Dado que F(x, y, z(x, y)) = 0, podemos
aplicar la regla de la cadena a la composicion de la funcion que lleva cada punto
(x, y) a (x, y, z(x, y)) con la funcion F para obtener, derivando respecto a x,
0 =
F
x
x
x
+
F
y
y
x
+
F
z
z
x
=
F
x
+
F
z
z
x
. (II.11)
Notese que estamos cometiendo un nuevo abuso de notacion: llamamos a las variables
de salida (x, y) igual que a dos de las intermedias (x, y, z). En particular,
x
x
= 1 y
y
x
= 0. Despejando en la ecuacion anterior
z
x
=
F
x
F
z
;
analogamente,
z
y
=
F
y
F
z
.
Llegamos pues a formulas faciles de recordar, pues las expresiones de la izquierda
se recuperan a base de cancelar terminos iguales en la izquierda.

Este es, por
supuesto, un simple truco mnemotecnico que ni siquiera es del todo preciso: el signo
menos no debera aparecer. En nuestro ejemplo concreto F(x, y, z) = x + e
x
+
sen xyz e
z
tenemos
F
x
(0, 1, 0) = 3 y
F
y
(0, 1, 0) = 0, de modo que
z
x
(0, 1) = 3/2,
z
y
(0, 1) = 0.
Es interesante notar aqu que con la notacion introducida secciones atras la
diferencial de nuestra funcion implcita z = z(x, y) vendra dada por
dz =
z
x
dx +
z
x
dy =
F
x
F
z
dx +
F
y
F
z
dy,
con lo que agrupando y simplicando llegamos a
F
x
dx +
F
y
dy +
F
z
dz = 0, (II.12)
expresion que tiene la virtud a nadida de describir simultaneamente las diferencia-
les de las funciones implcitas x = x(y, z) e y = (x, z) siempre que las condicio-
nes de F permitan garantizar su existencia (por ejemplo, en nuestro caso concreto
AN
ALISIS II (F
ISICAS)
ICITAS 35
F
y
(0, 1, 0) = 0 as que no tenemos garanta de que se pueda despejar y en funcion
de x y z).
Sabra el lector continuar y calcular las derivadas segundas de z(x, y) en (0, 1)?
Es tedioso pero no difcil. Por ejemplo, para obtener

2
z
x
2
habra que volver a derivar
la igualdad (II.11) respecto de x. Llegamos a
0 =

x
_
F
x
_
+

x
_
F
z
_
z
x
+
F
z
2
z
x
2
=

2
F
x
2
x
x
+

2
F
yx
y
x
+

2
F
zx
z
x
+
_

2
F
xz
x
x
+

2
F
yz
y
x
+

2
F
z
2
z
x
_
z
x
+
F
z
z
2
x
2
=

2
F
x
2
+

2
F
zx
z
x
+
_

2
F
xz
+

2
F
z
2
z
x
_
z
x
+
F
z
z
2
x
2
y en esta expresion todos los datos son ya conocidos o faciles de calcular:
2
F
x
2
(0, 1, 0) = 1,

2
F
xz
(0, 1, 0) = 0,

2
F
z
2
(0, 1, 0) = 1.
La ecuacion anterior se reduce pues a
0 = 1 +
9
4
2
2
z
x
2
(0, 1)
y de aqu

2
z
x
2
(0, 1) =
5
8
. Al deducir la ecuacion el lector habra de guardarse de la
tentacion de escribir cosas como

x
_
F
x
_
=

2
F
x
2
: la primera x denota la variable x
de partida, mientras la segunda denota a la variable x intermedia, as que la forma
correcta de calcular

x
_
F
x
_
es usando la regla de la cadena como hemos hecho
nosotros.
Un ultimo ejemplo: de una expresion como
F(x, y, u, v, w) = 0
G(x, y, u, v, w) = 0
el teorema de la funcion implcita nos dice que (bajo adecuadas condiciones) pode-
mos despejar tantas incognitas como ecuaciones (en este caso 2) en funcion de las
restantes incognitas (en este caso 3), digamos u = u(x, y, w), v = (x, y, w). Las de-
rivadas parciales de estas funciones se hallaran derivando el sistema y despejando.
Por ejemplo, si derivamos ambas ecuaciones respecto de x obtenemos
0 =
F
x
+
F
u
u
x
+
F
v
v
x
,
0 =
G
x
+
G
u
u
x
+
G
v
v
x
,
de donde despejaramos, resolviendo el sistema,
u
x
y
v
x
.
AN
ALISIS II (F
ISICAS)
36 II. DIFERENCIACI
ON
El teorema de la funcion implcita nos permite precisar en que condiciones un
conjunto de puntos dado por una expresion F(x, y) = 0 (en el plano) o F(x, y, z) = 0
(en el espacio) es, respectivamente, una curva o una supercie. En el segundo caso,
por ejemplo, sea (x
0
, y
0
, z
0
) tal que F(x
0
, y
0
, z
0
) = 0. Si se tiene que
F
z
(x
0
, y
0
, z
0
) ,= 0
entonces podemos aplicar el teorema de la funcion implcita y deducir que, en un
peque no entorno de (x
0
, y
0
, z
0
), el conjunto M = (x, y, z) : F(x, y, z) = 0 es
exactamente el de los puntos de la forma (x, y, z(x, y)) : (x, y) V para un cierto
abierto V conteniendo a (x
0
, y
0
). Por tanto podemos usar la Proposicion II.16 y
deducir que dicho entorno de (x
0
, y
0
, z
0
) en M es una supercie regular, siendo el
plano tangente en (x
0
, y
0
, z
0
)
z z(x
0
, y
0
) =
z
x
(x
0
, y
0
)(x x
0
) +
z
y
(x
0
, y
0
)(y y
0
),
que simplicando se transforma es una expresion que nos recuerda a la de (II.12),
F
x
(x
0
, y
0
, z
0
)(x x
0
) +
F
y
(x
0
, y
0
, z
0
)(y y
0
) +
F
z
(x
0
, y
0
, z
0
)(z z
0
) = 0.
Hubieramos llegado a un resultado analogo si
F
y
(x
0
, y
0
, z
0
) ,= 0 o
F
z
(x
0
, y
0
, z
0
) ,= 0.
En general, dada una cierta funcion F : U R
n
R y x
0
U, se dene el vector
gradiente de F en x
0
, F(x
0
), como
F(x
0
) =
_
F
x
1
(x
0
),
F
x
2
(x
0
), . . . ,
F
x
n
(x
0
)
_
.
As pues, el vector gradiente de F en (x
0
, y
0
, z
0
) es normal a M en dicho punto.
Resumiendo:
Proposicion II.21. Sea F : U R
2
R de clase C
1
. Sea C = (x, y) R
2
:
F(x, y) = 0, (
F
x
(x, y), F(x, y)) ,= (0, 0). Entonces C es una curva regular y la
recta tangente en un punto (x
0
, y
0
) C viene dada por la expresion
F
x
(x
0
, y
0
)(x x
0
) +
F
y
(x
0
, y
0
)(y y
0
) = 0.
Proposicion II.22. Sea F : U R
3
R de clase C
1
. Sea M = (x, y, z) R
3
:
F(x, y, z) = 0, (
F
x
(x, y, z), F(x, y, z)) ,= (0, 0, 0). Entonces M es una supercie
regular y el plano tangente en un punto (x
0
, y
0
, z
0
) M viene dado por la expresion
F
x
(x
0
, y
0
, z
0
)(x x
0
) +
F
y
(x
0
, y
0
, z
0
)(y y
0
) +
F
z
(x
0
, y
0
, z
0
)(z z
0
) = 0.
Un par de ejemplos sencillos. La esfera puede expresarse en forma implcita como
F(x, y, z) = x
2
+ y
2
+ z
2
1 = 0. Dado que F(x, y, z) ,= (0, 0, 0) para todos los
puntos de la esfera (el unico punto con vector gradiente (2x, 2y, 2z) igual a cero es
el origen, que no pertenece a la misma), concluimos que la esfera es una supercie
regular, siendo el plano tangente en cada punto (x
0
, y
0
, z
0
) de la esfera el dado por
AN
ALISIS II (F
ISICAS)
ICITAS 37
x
0
(x x
0
) + y
0
(y y
0
) + z
0
(x z
0
) o, simplicando, x
0
x + y
0
y + z
0
z = 1. Notese
que en cada punto de la esfera su vector de posicion es normal a la misma.
El cono de doble hoja viene dado por la expresion F(x, y, z) = x
2
+y
2
z
2
= 0.
El unico punto en el que el vector gradiente (2x, 2y, 2z) se anula es de nuevo el
origen, que en este caso pertenece al conjunto. La conclusion es que el cono de doble
hoja menos el origen es una supercie regular. Por cierto: si consideramos el cono
de una hoja z =
_
x
2
+y
2
podemos concluir del argumento anterior (o usando la
Proposicion II.16) que todos sus puntos, salvo el origen, son regulares. En sentido
estricto no sabemos si el origen es singular o no pero intuitivamente, dado que el
cono tiene en el origen un pico, este punto sera singular. Puede probarse que en
efecto esto es as, pero hacer una demostracion rigurosa queda fuera del alcance de
estas notas.
Concluimos la seccion aclarando algunos aspectos de notacion que puede ser util
conocer. En alguna ocasion pueden leerse razonamientos del siguiente tipo:
Supongamos que F(x, y, z) = 0. Entonces
F
x
dx +
F
y
dy +
F
z
dz = 0. Si esta ultima
expresion puede simplicarse a f(x)dx+g(y)dy +h(z)dz = 0 para ciertas funciones
f, g y h, entonces, integrando, se concluye
_
f(x)dx+
_
g(y)dy +
_
h(z)dz = c para
cierta constante c.
Un ejemplo tpico lo proporciona la ley de los gases ideales
PV
T
= nR, donde
P, V y T denotan respectivamente presion, volumen y temperatura de un gas en
condiciones ideales y n y R son constantes. Deniendo
F(P, V, T) =
PV
T
nR
la expresion
F
P
dP +
F
V
dV +
F
T
dT = 0
es ahora
V
T
dP +
P
T
dV
PV
T
2
dT = 0.
Dividiendo por la constante nR =
PV
T
, llegamos a
1
P
dP +
1
V
dV
1
T
dT = 0.
Integrando se obtiene
log P + log V log T = c,
es decir, log
PV
T
= c (en este caso, c = log(nR)).
Como vemos, la secuencia anterior parece tener sentido: al menos el resultado
nal es consistente. Aclaramos a continuacion el signicado de lo anterior, que no
es sino un truco mnemotecnico para recordar, de forma sencilla, un argumento de
cierta profundidad.
AN
ALISIS II (F
ISICAS)
38 II. DIFERENCIACI
ON
En terminos mas precisos (aunque no estrictamente rigurosos) lo que estamos
armando es lo siguiente:
Consideremos una funcion F : U R
3
R y la supercie M = (x, y, z) :
F(x, y, z) = 0. Supongamos que existen una funcion G : U R
3
R y fun-
ciones f, g, h : I R R con la propiedad de que, para cada (x, y, z) M,
G(x, y, z)(x, y, z) = (f(x), g(y), h(z)). Sean A(x), B(y) y C(z) primitivas respec-
tivas de las funciones f(x), g(y) y h(z). Entonces existe una constante c R tal que
la supercie M admite la expresion alternativa M = (x, y, z) : A(x)+B(y)+C(z) =
c.
Para demostrar la armacion anterior argumentamos como sigue. Fijemos un
punto p de M. Intuitivamente, podemos ver M como una adecuada union de cur-
vas, todas pasando por p. Sea C una cualquiera de tales curvas y supongamosla
parametrizada por una funcion (t) = (x(t), y(t), z(t)). Como F((t)) = 0, pode-
mos aplicar la regla de la cadena y deducir
F
x
((t))
dx
dt
(t) +
F
y
((t))
dy
dt
(t) +
F
z
((t))
dz
dt
(t) = 0
para todo t. Multiplicando por G((t), obtenemos
f(x(t))
dx
dt
(t) +g(y(t))
y
dt
(t) +h(z(t))
dz
dt
(t) = 0,
y recorriendo el camino inverso para la funcion D(x, y, z) = A(x) + B(y) + C(z)
(notese que
D
x
(x, y, z) = f(x),
D
y
(x, y, z) = g(y),
D
z
(x, y, z) = h(z)), concluimos
que
d
dt
(D((t)) = 0 para cada t. La funcion que lleva t a D((t) es una funcion
real de variable real cuya derivada se anula, as que debe existir una constante c
tal que D((t)) = c; en otras palabras, la curva C esta en la supercie dada por
D(x, y, z) = c. Si C
es otra curva en M pasando por p concluiramos analogamente

D(x, y, z) = c
para todos los puntos (x, y, z) de C
y una cierta constante c
. Como
p C C
, resulta en particular c = D(p) = c
as que las constantes c y c
son la
misma. La conclusion es que D(x, y, z) = c para cada (x, y, z) M.
II.4. Derivadas direccionales y gradiente
Recordemos que dados f : O R
n
R y x
0
O denamos la derivada parcial
de f en x
0
respecto a la variable x
i
como
f
x
i
(x
0
) = lm
h0
f(x
0
+he
i
) f(x
0
)
h
,
siendo e
i
= (0, . . . , 0,
i
1, 0, . . . , 0). Como se ve, cuando calculamos una derivada par-
cial estamos comparando el ritmo al que vara la funcion conforme nos alejamos
AN
ALISIS II (F
ISICAS)
II.4. DERIVADAS DIRECCIONALES Y GRADIENTE 39
del punto x
0
en la direccion marcada por el vector e
i
(f(x
0
+ he
i
) f(x
0
)) con la
distancia recorrida (h). En el fondo no hay nada de especial en los vectores e
i
, y
cabra preguntarse que ocurre cuando trabajamos con otros vectores distintos. Se
llega as a la nocion de derivada direccional:
Denicion II.23. Sean f : O R
n
R, v R
n
, x
0
O. Llamamos derivada
direccional de f en x
0
respecto al vector v a
D
v
f(x
0
) = lm
h0
f(x
0
+hv) f(x
0
)
h
.
Notese que D
e
i
f(x
0
) =
f
x
i
(x
0
) para cada i. Otro detalle: la derivada direccional
solo compara la variacion de la funcion con la distancia recorrida en la direccion
marcada por v cuando este es unitario, pues entonces d(x
0
, x
0
+hv) = |hv| = h.
La proposicion siguiente nos garantiza la existencia de derivadas direccionales
en condiciones muy razonables para nuestra funcion y nos proporciona un metodo
sencillo para calcularlas.
Proposicion II.24. Sean f : O R
n
R y x
0
O. Supongamos que f es
diferenciable en x
0
. Entonces sus derivadas direccionales respecto a cualquier vector
v existen y se tiene D
v
f(x
0
) = f(x
0
) v (donde denota el producto escalar).
Esto es una sencilla consecuencia de la regla de la cadena. En efecto, consideremos
la funcion g(t) = x
0
+ tv; si la vemos denida en un peque no intervalo (, ) su
imagen esta dentro de O. La matriz asociada a dg(t) es el vector derivada g
(t)
(escrito en columna); en nuestro caso g
(t) = v as que no depende de t. La matriz

asociada a df(x
0
) es el vector gradiente f(x
0
). La composicion f g es una funcion
real de variable real con lo que podemos identicar su diferencial en t = 0 (que existe
por el Teorema II.18) con el n umero
d
dt
(f g)(0).
Aplicando la regla de la cadena d(fg)(0) = df(x
0
)dh(0), de donde
d
dt
(fg)(0) =
f(x
0
) v. Por otra parte
d
dt
(f g)(0) = lm
h0
(f g)(h) (f g)(0)
h
= lm
h0
f(x
0
+hv) f(x
0
)
h
= D
v
f(x
0
).
De aqu se sigue la Proposicion II.24.
La siguiente cuestion se antoja natural: cual es aquel vector v que hace que
D
v
f(x
0
) sea maxima o mnima, es decir, en que direccion debemos alejarnos del
punto x
0
para que el crecimiento o decrecimiento de la funcion f sea lo mas rapido
posible? Para que tenga sentido hacer comparaciones debemos ser consistentes con
las unidades de medida, as que podemos reformular la cuestion preguntandonos
en que direccion debemos alejarnos del punto x
0
de manera que, a igual distancia
recorrida desde el punto de partida x
0
, la variacion de la funcion f sea lo mayor
posible en ambos sentidos positivo y negativo. En consecuencia buscamos el vector
v de norma unidad para el que la cantidad D
v
f(x
0
) es maxima o mnima.
AN
ALISIS II (F
ISICAS)
40 II. DIFERENCIACI
ON
Nada mas facil. Como
D
v
f(x
0
) = f(x
0
) v = |f(x
0
)||v| cos = |f(x
0
)| cos ,
siendo el angulo que forman los vectores f(x
0
) y v, los valores maximo y mnimo
de D
v
f(x
0
) se alcanzaran cuando = 0 y = , es decir, cuando v este orientado
igual que f(x
0
) y como su opuesto. Como |v| = 1, las direcciones a elegir seran
las dadas por
v
max
=
f(x
0
)
|f(x
0
)|
,
v
mn
=
f(x
0
)
|f(x
0
)|
,
teniendose respectivamente D
v
max
f(x
0
) = |f(x
0
)| y D
v
mn
f(x
0
) = |f(x
0
)|.
La anterior discusion tiene una clara interpretacion fsica y geometrica. Imagi-
nemos que U es una region del espacio y T : U R es una distribucion de tem-
peraturas en dicha region. Para cada c R, la supercie (x, y, z) : T(x, y, z) = c
es el conjunto de puntos de la region que estan a la misma temperatura c; va-
riando c obtenemos la familia de (supercies) isotermas asociadas a la distribucion
de temperaturas T. Supongamos que nos hallamos en un punto (x
0
, y
0
, z
0
) de la
region, digamos T(x
0
, y
0
, z
0
) = T
0
. Como hemos visto antes, las direcciones en la
que debemos alejarnos del punto para obtener un crecimiento o decrecimiento de
la temperatura lo mas rapido posible son las determinadas por el vector gradiente
T(x
0
, y
0
, z
0
) y su opuesto, que son precisamente las direcciones normales a la super-
cie isoterma en (x
0
, y
0
, z
0
) (pues esta viene dada en forma implcita por la expresion
T(x, y, z) T
0
= 0). En otras palabras: como resulta perfectamente razonable, para
obtener una variacion de la temperatura lo mas rapida posible deberemos movernos
en la perpendicular a la zona de puntos con igual temperatura que la de nuestro
punto de partida.
AN
ALISIS II (F
ISICAS)
Captulo III
La integral de Lebesgue. Integracion
m ultiple
III.1. Recordatorio de la integral de Riemann
El Calculo trata principalmente dos problemas geometricos: encontrar la tangen-
te a una curva, y hallar el area limitada por una curva. El primero se resuelve por
medio de un paso al lmite, conocido con el nombre de diferenciacion; el segundo,
por medio de otro paso al lmite: la integracion. Para hallar el area de una region
limitada por la graca de una funcion positiva f denida en un intervalo [a, b] divi-
dimos el intervalo en un cierto n umero de subintervalos, por ejemplo k, designamos
por medio de
i
la longitud del intervalo i-esimo, y consideramos las sumas de la
forma
k
i=1
f(x
i
)
i
, en donde x
i
designa un cierto punto del intervalo i-esimo. Una
suma de este tipo es una aproximacion, mediante rectangulos, del area que inten-
tamos calcular. Si f es una funcion con comportamiento suciente regular en [a, b]
entonces cabe esperar que las sumas tengan un lmite cuando i tiende a innito,
es decir, cuando hacemos las subdivisiones cada vez mas nas. Esto nos lleva de
un modo intuitivo al concepto de integral de Riemann de f en el intervalo [a, b],
_
b
a
f(x) dx.
La necesidad de calcular vol umenes en el espacio nos obliga a buscar posibles
generalizaciones de la integral de Riemann. Para que dicha generalizacion sea efectiva
debera cumplir los siguientes requisitos:
ha de permitir calcular vol umenes de solidos de tipos muy diversos;
tiene que ser coherente con el calculo de vol umenes clasico;
ha de englobar a la integral de una variable;
Han colaborado en la preparacion de esta seccion: Raquel Lorente Plazas y Mara del Carmen
Argudo Fernandez
41
42 III. LA INTEGRAL DE LEBESGUE. INTEGRACI
ON M
ULTIPLE
debe haber un modo efectivo de realizar los calculos.
En principio, si tenemos una funcion denida en un rectangulo f : [a, b] [c, d]
[0, +) y queremos calcular el volumen bajo su graca, la idea mas natural es, a
semejanza de como hacemos en el caso unidimensional, dividir [a, b] [c, d] en pe-
que nos rectangulos de area
i
, evaluar la funcion en puntos x
i
de dichos rectangulos
y aproximar el volumen buscado mediante
k
i=1
f(x
i
)
i
. Se llega as al concepto de
integral de Riemann m ultiple, analogo al del caso unidimensional. Este enfoque del
problema es valido y enteramente lcito, pues satisface razonablemente las anteriores
demandas, pero hay ciertas razones tecnicas, que mas adelante explicitaremos, que
aconsejan usar una alternativa completamente nueva, la llamada integral de Lebes-
gue. Lebesgue dio a conocer su nuevo concepto de integral en un trabajo clasico,
Integral, longuer, aire, publicado en 1902. En dicho trabajo Lebesgue propona una
analoga para describir la idea base de toda la construccion. Imaginemos un comer-
ciante que desea contar el dinero que ha ganado tras una semana de trabajo. Tiene
varias posibilidades de hacerlo. Una es sumar el dinero que ha ganado el Lunes, el
que ha ganado el Martes, el que ha ganado el Miercoles. . . y luego sumarlos todos.
La alternativa es ordenar los billetes por su valor (500 euros, 200, 100, 50. . . ), contar
los billetes de cada clase, multiplicarlos por su valor y sumar las cantidades obte-
nidas. Que metodo juzga el lector mas aconsejable? Cuando hacemos integral de
Riemann sumamos, por as decir, del primer modo: cada intervalo en el que parti-
mos el intervalo se asemejara a uno de los das de la semana. La idea de la integral
de Lebesgue es buscar los posibles valores (o mas exactamente, rangos de valores)
que la funcion puede tomar, evaluar el tama no del conjunto de puntos en los que la
funcion toma dichos valores (que ahora no seran intervalos, sino uniones de inter-
valos o conjuntos a un mas complicados), multiplicar los respectivos tama nos de los
conjuntos por los valores que la funcion toma en ellos y luego sumar. Aunque en el
ejemplo del comerciante resulta de lo mas sensata, en el contexto de la integracion
de funciones la idea de Lebesgue puede parecer excesivamente enrevesada. Sin em-
bargo, como veremos a lo largo del captulo, es netamente preferible (satisface los
cuatro criterios de la lista anterior, el n umero de funciones que se pueden integrar y
de recintos en que es posible hacerlo es signicativamente mayor que en el caso de la
integral de Riemann y las complicaciones tecnicas no son en la practica superiores
a las de esta). Ademas, y como es deseable esperar, en los casos de funciones en que
ambas integraciones son posibles los resultados coinciden.
Antes de entrar en materia sera conveniente recordar, aunque sea someramente,
los fundamentos de la integral de Riemann en una variable. Se comienza deniendo la
integral de una funcion acotada f denida en un intervalo compacto, f : [a, b] R.
En la denicion se utilizan las llamadas sumas superior e inferior de Riemann. No
necesitamos entrar en detalles acerca, pero puede probarse que una funcion es inte-
grable Riemann (no todas las funciones acotadas denidas en intervalos compactos
lo son, ni mucho menos) si y solo si cuando descomponemos [a, b] en intervalos
I
1
, I
2
, . . . , I
k
cada vez mas peque nos y elegimos al azar puntos x
i
I
i
entonces las
cantidades
k
i=1
f(x
i
)
i
, donde
i
denota la longitud del intervalo I
i
, convergen
siempre al mismo valor, al que llamamos integral de Riemann de f (en [a, b]) y al
AN
ALISIS II (F
ISICAS)
III.1. RECORDATORIO DE LA INTEGRAL DE RIEMANN 43
que denotamos mediante
_
b
a
f(x) dx. As pues, la nocion de integral de Riemann se
ajusta con toda precision a la idea de area bajo una curva de la que antes hablaba-
mos. Como decimos no es claro a priori si una funcion es integrable Riemann o no
pero puede demostrarse que hay una familia razonablemente amplia de funciones
que son integrables, las llamadas continuas a trozos. Una funcion f : [a, b] R se
dice continua a trozos si existen puntos a = a
0
< a
1
< . . . < a
k
= b tales que la
funcion f restringida a cada uno de los intervalos (a
i
, a
i+1
) es continua y, mas a un,
existen los lmites laterales (y son nitos) lm
xa
+
i
f(x) y lm
xa
i+1
f(x) (es decir,
las restricciones f[
(a
i
,a
i+1
)
a cada uno de los intervalos (a
i
, a
i+1
) pueden extenderse
por continuidad a los intervalos compactos [a
i
, a
i+1
]). Para este tipo de funciones
existe una amplia batera de herramientas tecnicas (la regla de Barrow, la integra-
cion por partes, la integracion por cambio de variable. . . ) que permiten en muchas
situaciones practicas calcular de manera efectiva la integral.
Hasta ahora hemos hablado de la integracion de un tipo muy concreto de funcio-
nes (las acotadas) en un tipo de intervalo muy concreto (los compactos); a este tipo
de integral de Riemann se la llama a veces integral propia de Riemann. Sin embargo
es posible denirla en contextos bastantes mas generales (llegamos entonces a la lla-
mada integral impropia de Riemann, aunque nosotros no haremos tales distingos).
As, cuando se tiene una funcion denida en un intervalo semiabierto f : [a, b) R
(notese que b = + es posible) entonces se dene
_
b
a
f(x) dx = lm
tb
_
t
a
f(x) dx
siempre que las integrales de la derecha tengan sentido y el lmite exista. Las in-
tegrales en intervalos semiabiertos (a, b] se denen analogamente. Por ultimo, si
f : (a, b) R entonces denimos
_
b
a
f(x) dx = lm
(s,t)(a
+
,b
)
_
t
s
f(x) dx
siempre que las integrales de la derecha tengan sentido y el lmite doble exista.
Notemos que para que una funcion f : I R sea integrable Riemann en un
intervalo I se requiere en particular que en cualquier subintervalo K compacto la
funcion f este acotada (llamamos a este tipo de funcion acotada sobre compactos).
Si f : I R es tal que I se puede escribir como una union nita y disjunta de
intervalos I
1
, . . . , I
k
y f restringida a los interiores de cada uno de estos intervalos
es acotada sobre compactos entonces se dene
_
b
a
f(x) dx =
k
i=1
_
b
i
a
i
f(x) dx
con a
i
, b
i
los extremos del intervalo I
i
, siempre que las integrales de la derecha (que se
entienden referidas a los intervalos abiertos (a
i
, b
i
)) tengan sentido. Puede probarse
que esta denicion no depende de la descomposicion en intervalos escogida. Notese
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
que hemos denido la integral de algunas funciones sobre ciertos intervalos de varias
maneras. Por ejemplo, si f : [a, b] R es acotada podemos aplicar directamente la
denicion de integral pero tambien tomar puntos a < a
1
< a
2
< b, considerar los
intervalos (a, a
1
), (a
1
, a
2
) y (a
2
, b), calcular las integrales respectivas en cada uno
de los intervalos y sumarlas. Puede demostrarse que ello no conduce a ning un tipo
de contradiccion. Del mismo modo puede probarse que las integrales de f en [a, b],
(a, b], [b, a), (a, b) son todas coincidentes, as que no hay problema en usar la misma
notaci on para describir a todas ellas.
Debe resaltarse que con las anteriores deniciones los teoremas clave de la inte-
graci on admiten generalizaciones bastantes naturales y uno puede aplicar las herra-
mientas habituales sin mas que algunos cambios obvios. Por ejemplo, sea f : (0, 1]
R dada por f(x) = log x. Para calcular su integral hacemos integracion por partes
(u = log x, du = 1/x dx, dv = dx, v = x):
_
1
0
log x dx = [x(log x)]
1
0
+
_
1
0
x(1/x) dx
= F(1) F(0
+
)
_
1
0
(1) dx
= 1 +F(1) F(0
+
),
donde F(x) = x(log x) (as que F(1) = 0) y
F(0
+
) = lm
x0
+
F(x)
= lm
x0
+
x(log x)
= lm
y+
(1/y)(log(1/y))
= lm
y+
log y
y
= lm
y+
1/y
1
= 0
(hemos hecho el cambio x = 1/y y aplicado la regla de LHopital). Por tanto f es
integrable Riemann y su integral vale 1. Calcule el lector la integral con la denicion
_
1
0
log x dx = lm
t0
+
_
1
t
log x dx y aseg urese de que todo encaja bien.
Hay una unica sutileza tecnica que debemos poner de relieve. Hay situaciones en
las que una funcion es integrable Riemann pero su valor absoluto no lo es. Por suerte
son bastante raras (por ejemplo solo pueden ocurrir si la funcion cambia innitas
veces de signo cuando se aproxima a alg un punto y ademas o bien la funcion no es
acotada cerca de ese punto o bien el intervalo no es acotado en esa zona, es decir,
el punto es + o ). Para que todo encaje bien (ver el Teorema III.16(xi))
conviene excluir desde el principio estas situaciones patologicas. Por tanto cuando
en lo sucesivo digamos que una funcion es integrable Riemann supondremos implci-
tamente que tanto la funcion como su valor absoluto lo son.
AN
ALISIS II (F
ISICAS)
III.2. ESPACIOS DE MEDIDA. LA MEDIDA DE LEBESGUE 45
III.2. Espacios de medida. La medida de Lebes-
gue
Desde la perspectiva de la integral de Riemann el calculo de areas y vol umenes
aparece como una aplicacion de la teora de la integracion. En lo que respecta a la
integral de Lebesgue los papeles se invierten: primero se desarrolla una teora de
la medida absolutamente independiente de la integracion y luego se construye esta
apoy andose en aquella (y se usa como herramienta para calcular medidas explcita-
mente).
Intuitivamente la medida de un recinto puede ser innita. Para facilitar el
trabajo es conveniente por ello ampliar el campo de los n umeros reales a

R =
[, +] = R +.
Necesitaremos tambien saber operar con estos nuevos n umeros y +.
Las reglas son las que cabe esperar del calculo de lmites. Por ejemplo
(+) + (+) = a + (+) = (+) (+) = +
para cada a R, pero expresiones como (+) + () o (+)/() no estaran
denidas. Se hace una excepcion con una de las clasicas indeterminaciones 0 ().
Ahora diremos que 0 (+) = 0 () = 0. Asimismo escribiremos [ [ =
[ +[ = +.
El nuevo conjunto

R puede ordenarse del modo natural diciendo que < a <
+ para cada a R. Esto dota de sentido a expresiones como
[0, +] = x R : 0 x +
y tambien permite calcular el supremo y el nmo de cualquier conjunto, este o no
acotado (en particular, si A no esta acotado superiormente entonces sup A = +).
Finalmente, expresiones del calculo de lmites como lm
n
2
n
= + han de
entenderse en sentido estricto, es decir, ahora la sucesion (2
n
)
n=1
tiene lmite y este
es el n umero +. Del mismo modo si a
n
[0, +] la serie
i=1
a
n
siempre
tendra sentido: valdra + cuando alguno de los terminos sea + o la serie sea
divergente, y tomara su valor habitual cuando la serie sea convergente.
Denicion III.1. Sean un conjunto y una familia de subconjuntos de .
Diremos que (, ) es un espacio medible si se cumple:
(i) ;
(ii) si A entonces A ;
(iii) si A
n
n=1
entonces
n=1
A
n
;
Han colaborado en la preparacion de esta seccion: Mara del Carmen Argudo Fernandez, Cris-
tina Pina Martnez y Maria Fernanda Acosta Garca
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
Llamaremos a una - algebra sobre y a los conjuntos de conjuntos medibles.
La siguiente proposicion lista algunas propiedades basicas de los espacios medi-
bles.
Proposicion III.2. Sea (, ) un espacio medible.
(i) Si A
n
k
n=1
entonces
k
n=1
A
n
.
(ii) Si A
n
n=1
entonces
n=1
A
n
.
(iii) Si A
n
k
n=1
entonces
k
n=1
A
n
.
(iv) Si A, B entonces B A = x : x B, x / A .
Las armaciones anteriores son consecuencia casi directa de la Denicion III.1.
Por ejemplo demostremos (i). Denamos A
n
= para todo n > k. Entonces
A
n
n=1
. Ahora
k
n=1
A
n
=
n=1
A
n
por la Denicion III.1(iii).
Como segundo ejemplo demostremos (ii). Como A
n
para todo n entonces
A
n
por la Denicion III.1(ii). Como
n=1
(A
n
) por la Denicion III.1(iii),
y se tiene la igualdad
n=1
A
n
=
n=1
( A
n
), concluimos
n=1
A
n
.
Ahora basta aplicar la Denicion III.1(ii) para obtener la conclusion deseada.
Denicion III.3. Sean (, ) un espacio medible y : [0, +]. Diremos
que (, , ) es un espacio de medida y llamaremos a una medida sobre si se
cumplen:
(i) () = 0.
(ii) Si A
n
n=1
y A
i
A
j
= para todo i ,= j entonces
_
n=1
A
n
_
=
n=1
(A
n
).
Las propiedades principales de los espacios de medida son las siguientes:
Proposicion III.4. Sea (, , ) un espacio de medida.
(i) Si A, B , A B, entonces (A) (B).
(ii) Si A
n
n
y (A
i
A
j
) = 0 para cada i ,= j entonces
_
k
_
n=1
A
n
_
=
n
(A
n
).
(iii) Si A
n
n
entonces (
n
A
n
)
n
(A
n
).
AN
ALISIS II (F
ISICAS)
(iv) Si A
n
n=1
y A
n
A
n+1
para cada n, entonces
_
n=1
A
n
_
= lm
n
(A
n
).
(v) Si A
n
n=1
, A
n+1
A
n
para cada n y (A
1
) < +, entonces
n=1
A
n
_
= lm
n
(A
n
).
(vi) Si A, B , A B y (A) < + entonces (B A) = (B) (A).
Cuando escribimos A
n
n
en (ii) y (iii) de la proposicion anterior nos referimos
a que la familia puede ser nita o innita, es decir, o bien A
n
k
n=1
para un cierto
entero k o bien A
n
n=1
.
Nuestro objetivo primordial al introducir los espacios de medida es dar un sus-
trato formal adecuado a la nocion de medida (longitud, area, volumen. . . ) que in-
tuitivamente tenemos. Lo que haremos a continuacion sera restringirnos al espacio
eucldeo R
m
, construir aqu una -algebra /(R
m
) (la de los conjuntos medibles
Lebesgue) que practicamente incluira todos los subconjuntos de R
m
y denir sobre
/(R
m
) una medida (la medida de Lebesgue) que asignara a cada conjunto medible
su longitud (si estamos en R), su area (si estamos en R
2
) o su volumen (si estamos
en R
3
).
Aunque no es relevante para nuestros propositos conviene indicar que la teora
de la medida no acaba ni mucho menos con la medida de Lebesgue. Por ejemplo los
clasicos espacios de probabilidad que se manejan en la teora de la Probabilidad
no son mas que espacios de medida en los que se da el nombre de espacio muestral
al conjunto , los conjuntos medibles que se manejan son llamados sucesos y la
medida asociada (all llamada funcion de probabilidad y denotada normalmente
por P en lugar de por ) tiene la propiedad de que vale 1 sobre el espacio total.
Una ultima cuestion antes de entrar en materia. En teora de la medida es frecuen-
te hablar de propiedades que se cumplen en casi todo punto. Mas precisamente:
Denicion III.5. Sea (, , ) un espacio de medida y sea T una propiedad relativa
a los puntos de . Diremos que T se cumple en -casi todo punto (o tambien -
c.t.p, o simplemente en casi todo punto o c.t.p. si no hay confusion con el espacio de
medida) si el conjunto N = x : T no se cumple en x es medible y (N) = 0.
Cuando una propiedad se cumple en casi todo punto es, a efectos practicos,
como si se cumpliera en todos los puntos. Por ejemplo, si reriendonos al espacio
(R
m
, /(R
m
), ) que enseguida deniremos decimos que f : R
m
R y g : R
m
R
son iguales c.t.p. estamos signicando que el conjunto N de los puntos x tales que
f(x) ,= g(x) tiene medida cero. Ello implicara que desde el punto de vista de la
teora de la medida f y g son indistinguibles una de otra.
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
III.2.1. La medida de Lebesgue
La construccion del espacio de medida (R
m
, /(R
m
), ) se realiza en varias eta-
pas. Comenzamos introduciendo la nocion de intervalo generalizado.
Denicion III.6. Sea I R
m
. Diremos que I es un intervalo generalizado si
I = I
1
I
2
I
m
con cada I
i
un intervalo, es decir, existen para cada i n umeros
reales a
i
b
i
tales que I
i
= [a
i
, b
i
], I
i
= [a
i
, b
i
), I
i
= (a
i
, b
i
] o I
i
= (a
i
, b
i
).
Es importante enfatizar que en los casos anteriores los extremos pueden coincidir
(se admite que los intervalos sea degenerados). As, [a, a] = a y [a, a) = (a, a] =
(a, a) = . As por ejemplo en el espacio los intervalos generalizados pueden ser,
ademas de prismas, rectangulos, segmentos y puntos.
Si I = I
1
I
2
I
m
es un intervalo generalizado entonces es razonable denir
su volumen (o, mas propiamente hablando, su longitud generalizada), vol(I), como
vol(I) = (b
1
a
1
)(b
2
a
2
) (b
m
a
m
).
Cualquier denicion razonable de medida ha de hacer corresponder a un intervalo
generalizado su volumen as que parece logico apoyarse en esta idea para denir la
medida de recintos mas complicados. En concreto tiene sentido denir para cada
A R
m
(A) = inf
_

n=1
vol(I
n
) : I
n
R
m
intervalos generalizados, A
_
n=1
I
n
_
;
llamaremos a
(A) la medida exterior (de Lebesgue) de A.

Sin duda esta es una forma bastante sensata de denir la medida de un recinto
A: lo cubrimos con intervalos generalizados; estos intervalos pueden intersecarse,
as que la suma de los vol umenes excedera la medida de A; luego vamos variando
los recubrimientos de manera que las zonas de interseccion sean lo mas peque nas
posible; de esta manera las sumas de dichos vol umenes se iran acercando mas y mas
a la verdadera medida de A y el nmo de todos estos valores sera dicha medida.
Observese que con la denicion anterior podramos calcular la medida de cual-
quier recinto de R
m
pero aparece un inesperado problema tecnico: pueden encontrar-
se ejemplos (bien es verdad que extremadamente sosticados) de conjuntos disjuntos
A y B para los que no es verdad que
(A B) =
(A) + (B), con que se viola

una de las propiedades basicas que cualquier medida que denamos debe poseer.
Por fortuna hay una manera de esquivar este problema:
Denicion III.7. Sea A R
m
. Diremos que A es medible Lebesgue si se cumple
(T) =
(T A) +
(T (R
m
A)) para todo T R
m
.
Por as decir, A sera medible cuando trocee bien a los conjuntos de R
m
, es
decir, cuando para cada T R
m
la medida exterior de los puntos de T que estan en
AN
ALISIS II (F
ISICAS)
A y la de los puntos de T que no estan en A suman la medida exterior de T. Puede
demostrarse que /(R
m
) = A R
m
: A medible Lebesgue es una -algebra y
que si para A /(R
m
) simplicamos la notacion y escribimos (A) en lugar de
(A) entonces la funcion resultante es una medida sobre /(R

m
). Por abreviar nos
referiremos a los conjuntos de /(R
m
) como medibles en lugar de medibles Lebesgue
y a (A) como la medida de A en lugar de la medida de Lebesgue de A. Notese que
en estricto sentido deberamos haber usado la notacion
m
y
m
en lugar de
y
pues la medida denida depende de la dimension m del espacio, pero evitamos usar
el subndice por no hacer la escritura mas farragosa.
El siguiente teorema evidencia que el espacio de medida as construido, habi-
tualmente llamado espacio de Lebesgue (en R
m
), tiene las propiedades que cabe
esperar:
Teorema III.8. El espacio de medida (R
m
, /(R
m
), ) satisface las propiedades
siguientes:
(i) si I R
m
es un intervalo generalizado entonces I /(R
m
) y (I) = vol(I);
(ii) si A R
m
y
(A) = 0 entonces A /(R

m
) (A es medible y su medida
sera cero);
(iii) si A R
m
es abierto (o, en general, cualquier conjunto razonable: cerrado,
union numerable de cerrados, interseccion numerable de abiertos. . . ) entonces
A /(R
m
).
(iv) si A /(R
m
) y x R
m
entonces x + A = x + y : y A /(R
m
) y
(x +A) = (A);
(v) si A /(R
m
) y c R entonces cA = cy : y A /(R
m
) y (cA) =
[c[
m
(A);
Enfatizamos que (v) tiene sentido incluso cuando c = 0 (recuerdese que 0(+) =
0 por denicion).
Mostramos a continuacion un par de ejemplos de calculo de la medida de Lebes-
gue. Para empezar sea N R
m
numerable, es decir, supongamos que los elementos
de N pueden enumerarse en una lista. Entonces N /(R
m
) y (N) = 0.
En efecto, el que N sea numerable signica que o bien N es nito o bien que puede
escribirse como N = a
n
n=1
=
n=1
a
n
(supondremos que estamos en el segundo
caso; el primero es analogo). Como cada conjunto a
n
es cerrado, esta en /(R
m
)
(Teorema III.8(iii)). Por tanto N, como union numerable de conjuntos de /(R
m
),
tambien estara en /(R
m
) (Denicion III.1(iii)). Ademas (N) =
n=1
(a
n
) =
n=1
0 = 0; aqu usamos la Denicion III.3(ii), vemos los conjuntos a
n
como
intervalos generalizados de volumen cero y aplicamos el Teorema III.8(i).
Nuestro segundo ejemplo es el llamado conjunto de Cantor K. El conjunto de
Cantor es un subconjunto de R que se dene tras sucesivas etapas. Para empezar
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
dividimos [0, 1] en tres intervalos de igual longitud 1/3, quitamos el de en medio, nos
quedamos con los intervalos resultantes [0, 1/3] y [2/3, 1], y escribimos K
1
= [0, 1/3]
[2/3, 1]. A continuacion denimos el conjunto K
2
como union de cuatro intervalos de
longitud 1/9, los que resultan que quitar a los dos anteriores los intervalos (1/9, 2/9)
y (7/9, 8/9). El proceso se itera, obteniendose en el paso n un conjunto K
n
que es
la uni on disjunta de 2
n
intervalos cada uno de ellos de longitud 1/3
n
. Por ultimo
denimos K =
n=1
K
n
. Mostramos a continuacion que K /(R) y que (K) = 0.
Dado que K
n
es la union de varios intervalos de R, K
n
/(R) para cada n (usa-
mos el Teorema III.8(i) y la Proposicion III.2(i)). Como la interseccion numerable
de conjuntos de /(R) tambien esta en /(R) (Proposicion III.2(ii)), K /(R).
Dado que (K
n
) =
2
n
3
n
por la Proposicion III.4(ii),
(K) = lm
n
(K
n
) = lm
n
2
n
3
n
= 0
(usamos la Proposicion III.4(v)). Conviene aclarar que K es no vaco y de hecho es
innito. Por ejemplo 0, 1,
1
3
,
2
3
y en general todos los extremos de los intervalos que
componen los conjuntos K
n
estan en K. Puede incluso demostrarse que K es no
numerable, es decir, tiene tantos elementos que no pueden escribirse en un lista
y que pueden ponerse en biyeccion con R, es decir, en cierto sentido, tiene tantos
elementos como la propia recta real. A un as, desde el punto de vista de la medida,
K es despreciable: por as decir, si eligieramos un punto del intervalo [0, 1] al azar,
la probabilidad de que este en K sera cero.
Los anteriores ejemplos no pasan de ser meras curiosidades. Por otro lado no
esta nada claro como, a partir de la denicion de , uno podra por ejemplo mostrar
que la medida de un circulo de radio r es r
2
. Para ello se requerira la teora de la
integracion que desarrollamos en las proximas secciones.
III.3. Funciones medibles
Esta seccion introducimos el concepto de funcion medible. Las funciones medibles
son aquellas que mas tarde podremos integrar. En la practica, como veremos ense-
guida, casi cualquier funcion en la que quepa pensar es medible, as que podremos
calcular la integral de virtualmente cualquier funcion. Observese que permitimos
incluso a nuestras funciones que puedan tomar los valores + y .
Denicion III.9. Sea (, , ) un espacio de medida. Sean A y f : A R.
Diremos que f es medible si se cumple que
f
1
([, c)) = x A : f(x) < c
es medible para cada c R.
Ha colaborado en la preparacion de esta seccion: Maria Fernanda Acosta Garca
AN
ALISIS II (F
ISICAS)
III.3. FUNCIONES MEDIBLES 51
Veamos un par de ejemplos sencillos de funciones medibles. Sea A . Entonces
A
: R denida por (x) = 1 si x A y (x) = 0 si x / A (la funcion
caracterstica en A) es medible. En efecto:
1
A
([, c)) =
_
_
si c 0,
A si 0 c 1,
si 1 < c.
Como segundo ejemplo, sea a R y sea f : R la funcion constante f(x) = a.
Entonces f es medible pues
f
1
([, c)) =
_
si c a,
si a < c.
El siguiente teorema pone de relieve la magnitud de la familia de las funciones
medibles y describe algunas propiedades utiles de las mismas. El espacio (, , )
del teorema sera siempre para nosotros el de Lebesgue, pero los enunciados tienen
total generalidad. Por ejemplo no esta de mas rese nar que si (, , P) es un espacio
de probabilidad entonces lo que suele llamarse en este contexto variable aleatoria
no es mas que una funcion medible X : R. As, el Teorema III.10(i) puede
releerse como: la suma de dos variables aleatorias es otra variable aleatoria.
Teorema III.10. Sea (, , ) un espacio de medida.
(i) Si f, g : A R son medibles entonces entonces
B = x : f(x) +g(x) tiene sentido
es medible y f +g : B R es medible (analogamente para f g, f g, f/g).
(ii) Si f, g : A R son medibles entonces maxf, g, mnf, g : A R denidas
por
maxf, g(x) = maxf(x), g(x)
y
mnf, g(x) = mnf(x), g(x)
son medibles.
(iii) Si (f
n
)
n
, f
n
: A R, es una sucesion de funciones medibles y denimos
B = x A : existe el lmite, nito o innito, lm
n
f
n
(x),
entonces B es medible y la funcion f : B R dada por f(x) = lm
n
f
n
(x)
es medible.
(iv) Si f, g : A R son medibles entonces los conjuntos x A : f(x) < g(x),
x A : f(x) g(x) y x A : f(x) = g(x) son medibles.
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
(v) Si f : A R es medible y c R entonces el conjunto
f
1
(c) = x A : f(x) = c
es medible.
(vi) Si f : A R es medible entonces entonces la extension de f a , f : R,
denida por
f(x) =
_
f(x) si x A
0 si x / A
es medible.
(vii) Si f : R es medible y A entonces la restriccion de f a A, f[
A
: A R
denida por f[
A
(x) = f(x), es medible.
(viii) Si (, , ) = (R
m
, /(R
m
), ), A es medible y f, g : A R son aplicaciones
iguales -c.t.p. entonces f es medible si y solo si g es medible.
(ix) Si (, , ) = (R
m
, /(R
m
), ) y f : A R es una funcion medible denida
en -c.t.p. (es decir, (R
m
A) = 0) entonces cualquier funcion g : R tal
que g[
A
= f es medible.
(x) Si (, , ) = (R
m
, /(R
m
), ), A es medible y f : A R es continua entonces
f es medible.
(xi) Si (, , ) = (R, /(R), ), I R es un intervalo y f : I R es integrable
Riemann entonces f es medible.
Enfatizamos aqu una consecuencia del Teorema III.10(ii) que sera util enseguida.
Si f : R es medible y denimos la parte positiva de f, f
+
: [0, +], y la
parte negativa de f, f
: [0, +], como respectivamente

f
+
= maxf, 0
y
f
= mnf, 0
entonces ambas funciones f
+
y f
son medibles. Como f = f

+
f
, hemos probado
que toda funcion medible puede escribirse como diferencia de dos funciones medibles
no negativas. Por cierto, [f[ = f
+
+f
, as que si f es medible su valor absoluto [f[

tambien lo sera.
III.4. La integral de Lebesgue
Ya estamos en condiciones de introducir la integral de Lebesgue. El proceso se
realizara en varias etapas, en las que se denira la integral de Lebesgue de funciones
medibles cada vez mas generales.
Han colaborado en la preparacion de esta seccion: Maria Fernanda Acosta Garca y Raquel
Lorente Plazas
AN
ALISIS II (F
ISICAS)
III.4. LA INTEGRAL DE LEBESGUE 53
Primera etapa: integral de una funcion simple no negativa.
Denicion III.11. Sea (, , ) un espacio de medida. Llamamos funcin simple a
una funcion medible f : R tal que f() = a
1
, a
2
, . . . , a
k
, es decir, su imagen
consiste en un n umero nito de puntos.
En virtud del Teorema III.10(v) si f es simple entonces, con la denicion anterior,
A
i
= f
1
(a
i
) para cada i, i = 1, . . . , k, de manera que f puede escribirse
como combinacion lineal de funciones caractersticas medibles, f =
k
i=1
a
i
A
i
. Si
para jar ideas suponemos que nuestro espacio de medida es (R, /(R), ) entonces
podemos visualizar f como una funcion constante a trozos, y en tal situacion es
razonable calcular el area debajo de la graca de f como
k
i=1
a
i
(A
i
) (en cada trozo
de recta A
i
la funcion es constante e igual a a
i
, con lo que el area bajo la funcion
en esa zona es base por altura, es decir, a
i
(A
i
)). As pues, si queremos que nuestra
nueva denicion de integral respete las propiedad de la denicion clasica no tenemos
mas alternativa que denir la integral de una funcion simple como
k
i=1
a
i
(A
i
).

Esta
es la idea a la que nos referamos al principio del captulo (la segunda manera de
contar el dinero del comerciante) en la que se fundamenta la teora de la integracion
de Lebesgue. Mas a un, la idea es facilmente exportable a cualquier otro espacio de
medida sin mas que reemplazar por la medida de turno, aunque en ese caso ya
no cabra interpretar una integral como un area y su sentido dependera del contexto,
es decir, el espacio de medida, en que estemos trabajando. Un ultimo detalle es que
para evitar posible indeterminaciones conviene que nuestra funcion sea no negativa,
es decir, que su imagen este incluida en [0, +].
Denicion III.12. Sean (, , ) un espacio de medida y f : [0, +] una fun-
cion simple no negativa. Con la notacion anterior, denimos su integral (de Lebesgue)
como
_
f d =
k
i=1
a
i
(A
i
).
Observese que
_
f d [0, +], es decir, puede eventualmente tomar el valor

+.
En particular si f es una funcion caracterstica, f =
A
, entonces f es simple y
f =
A
= 0
A
+ 1
A
con lo que
_
A
d = 0 ( A) + 1 (A) = (A),
lo que resulta perfectamente natural. Otro ejemplo trivial es la funcion constante
f = 0. En este caso f = 0
y, como no poda ser de otro modo,

_
0 d = 0 () = 0.
Segunda etapa: integral de una funcion medible no negativa.
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
Si una funcion es menor que otra es natural esperar que la integral de la pri-
mera sea menor que la de la segunda, y la intuicion sugiere que cualquier funcion
razonable (al menos cualquier funcion medible) puede aproximarse por debajo por
funciones simples con tanta precision como sea necesario, con lo que las integrales
correspondientes seran casi iguales. La siguiente denicion resulta entonces suma-
mente natural:
Denicion III.13. Sean (, , ) un espacio de medida y f : [0, +] una
funcion medible no negativa. Entonces denimos su integral como
_
f d = sup
__
g d : g : [0, +] simple, g f
_
.
En otras palabras: cogemos todas las funciones simples que estan por debajo de
la f, calculamos las integrales y tomamos el supremo de todos esos n umeros para
obtener la integral de f. Notemos que siempre tiene sentido calcular este supremo
porque al menos siempre existe una funcion simple, g = 0, que queda por debajo
de f, y que este supremo puede valer + incluso aunque la integral de cualquier
funcion simple que quede por debajo de f sea nita. Un ultimo detalle es que la
nueva denicion es consistente con la anterior, es decir, si se aplica la segunda
denicion para calcular la integral de una funcion simple no negativa se obtiene el
mismo resultado que si se aplica la primera. La razon estriba en que puede probarse
(aunque no es tan trivial como a primera vista cabe suponer) que si 0 f g
son funciones simples no negativas entonces, con la denicion primera de integral,
_
g d
_
f d.
Tercera etapa: integral de una funcion medible cualquiera.
Llegados a este punto vemos que ya sabemos calcular, al menos sobre el papel,
la integral de un abanico muy amplio de funciones (las medibles no negativas). La
denicion de la integral de una funcion medible que cambia de signo se solventa
con un sencillo articio. Concretamente, recordemos que si f es medible entonces
f = f
+
f
y ambas funciones f
+
y f
son medibles y no negativas. Dado que es

natural esperar que nuestra integral tenga las habituales propiedades de linealidad:
Denicion III.14. Sean (, , ) un espacio de medida y f : R una funcion
medible. Entonces denimos su integral como
_
f d =
_
f
+
d
_
d
siempre que la expresion de la derecha no sea indeterminada, es decir, que alguna
de las dos integrales de la derecha sea nita.
Hemos llegado a la unica limitacion seria de la integral, la unica que impide
que practicamente cualquier funcion, sin restricciones de tipo alguno, tenga integral
(nita o innita). Es una limitacion, por otro lado, bastante logica: una funcion
como
f(x) =
_
x
3
+x + 8 si x 0,
x
2
si x < 0,
AN
ALISIS II (F
ISICAS)
no debera tener integral, al menos en el sentido usual (para el espacio (R, /(R), )).
Observese que al igual que ocurre con las funciones medibles no negativas la integral
de una funcion medible no positiva, es decir, que toma valores en [, 0], siempre
esta bien denida.
Cuarta etapa: integral de una funcion medible denida en un conjunto medible cual-
quiera y sobre un conjunto medible cualquiera.
Tan solo nos queda denir la integral de una funcion medible cuando su dominio
de denicion y/o el recinto de integracion no es todo . La idea, de nuevo, es la
natural: extendemos la funcion como cero fuera de su dominio de denicion y luego
la multiplicamos por la funcion caracterstica en el recinto que queremos integral
(en otras palabras, si queremos integrar la funcion log x en el intervalo [1, 1] la
denimos como cero para los valores de x negativos y luego la recortamos para los
valores de x mayores que 1 dandole el valor 0 en estos puntos; la integral de la funcion
resultante en R es la de nuestra funcion de partida en [1, 1]). Mas precisamente:
Denicion III.15. Sean (, , ) un espacio de medida, A, B y f : B R
una funcion medible. Entonces denimos su integral en A como
_
A
f d =
_
f
A
d
donde f(x) = f(x) si x B y f(x) = 0 en el resto de los puntos, siempre que la
integral de la derecha tenga sentido.
Diremos que una funci on tiene integral (de Lebesgue) en A si existe su integral
en A, y diremos que es integrable (Lebesgue) en A si existe su integral en A y esta
integral es nita.
El siguiente teorema evidencia que la integral de Lebesgue tiene todas las pro-
piedades deseables:
Teorema III.16. Sea (, , ) un espacio de medida. Cuando las expresiones que
aparecen tienen sentido, se cumplen las siguientes armaciones:
(i)
_
A
(af +bg) d = a
_
A
f d+b
_
A
g d;
(ii) si fg en A entonces
_
A
f d
_
A
g d;
(iii) si 0f y AB entonces
_
A
f d
_
B
f d;
(iv) si (A) = 0 entonces
_
A
f d= 0;
(v) si A
n
n
es tal que (A
i
A
j
) = para cada i,=j entonces
_

n
A
n
f d=
n
_
A
n
f d;
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
(vi) si A
n
n
es tal que A
n
A
n+1
para cada n entonces
_

n
A
n
f d = lm
n
_
A
n
f d;
(vii)
_
A
f d
_
A
[f[ d;
(viii) si f = g en casi todo punto de A (es decir, x A : f(x) ,= g(x) tiene
medida cero) entonces
_
A
f d =
_
A
g d;
(ix) Si A = B en casi todo punto (es decir,
x : (x A y x / B) o (x B y x / A)
tiene medida cero) entonces
_
A
f d=
_
B
f d;
(x) si (, , ) = (R
m
, /(R), ), A es compacto y f : AR es continua en-
tonces es integrable; si ademas A es conexo entonces existe x
0
A tal que
_
A
f d=(A)f(x
0
).
(xi) si (, , ) = (R, /(R), ), I es un intervalo y f : IR es integrable Riemann
entonces es integrable Lebesgue y se cumple
_
I
f d=
_
b
a
f(x) dx.
Conamos en que la frase Cuando las expresiones que aparecen tienen sentido
no resulte demasiado desconcertante para el lector. Por ejemplo, (i) debe interpre-
tarse del modo siguiente: si f y g tienen integral en un conjunto medible A, a, b R,
y la operacion
a
_
A
f d+b
_
A
g d
no es indeterminada entonces la funcion af+bg dada por (af+bg)(x) = af(x)+bg(x)
(para todos los puntos x en los que la expresion de la derecha tiene sentido) tiene
integral en A y su valor es a
_
A
f d+b
_
A
g d. Una situacion particular en la que (i)
funciona es
_
A
[f[ d =
_
A
f
+
d +
_
A
f
d.
Mas a un, si recordamos que
_
A
f d =
_
A
f
+
d
_
A
f
d
por denicion, concluimos que f es integrable en A si y solo si lo es [f
[ y si y
solo si lo son simultaneamente f
+
y f
. Sabemos que para cada par de n umeros

u, v no negativos se cumple [u v[ u + v, propiedad que es cierta incluso en
el caso mas general u, v [0, +] salvo cuando aparece la indeterminacion u =
AN
ALISIS II (F
ISICAS)
v = . Por tanto, si f tiene integral en A entonces
_
A
f d
_
A
[f[ d, que es la
propiedad (vii). Notese que la equivalencia entre la integrabilidad de una funcion y
la de su valor absoluto es precisamente la que nos obligo a modicar ligeramente
la denicion de integral de Riemann al principio del captulo, pues de otro modo el
Teorema III.16(xi) podra no ser cierto. El apartado (xi) del teorema es de particular
trascendencia porque junto a los teoremas de Fubini y del cambio de variable de la
proxima seccion reduce en ultima instancia el calculo de una integral de Lebesgue
al de una integral de Riemann unidimensional, que dominamos bien. Adviertase
que (xi) tiene una peque na limitacion, pues deja sin tratar el caso en el que la
integral exista pero sea innita, pero usando (vi) podemos por lo general solventar
la situacion expresando nuestra integral como lmite de integrales nitas en las que
(xi) funciona. En particular, y sin entrar en precisiones tecnicas, esto implica que
cuando una integral de Riemann es divergente a +o entonces existe la integral
de Lebesgue y vale, respectivamente, + o .
Algunas ideas del parrafo anterior aparecen de nuevo en la demostracion de la
primera parte del Teorema III.16(x), que incluimos a modo de ilustracion.
Bajo las hipotesis de (x) debemos demostrar que f es integrable en A o que,
equivalentemente, f
+
y f
lo son. Lo haremos para f

+
; el otro caso es analogo.
Como f es acotada existe un k 0 tal que f
+
(x) k. Como A esta acotado
entonces existe un intervalo generalizado I = [N, N] [N, N] con I A.
As,
_
A
f
+
d
_
A
k d
_
I
k d = k(I) = k vol(I) = k(2N)
m
< +;
hemos aplicado sucesivamente los Teoremas III.16(ii) y (iii), la denicion de integral
y la denicion de la medida de Lebesgue. Notese que ni la compacidad de K ni
la continuidad de f son estrictamente necesarias en el argumento (basta que A y f
sean acotados). Sin embargo son obligadas junto a la conexion para la segunda parte
de (x), que no probaremos aqu. Por ejemplo, si A = [0, 1] [0, 2] y f esta denida
como 1 en [0, 1] y 1 en [0, 2] entonces
_
A
f d = 0 pero no existe ning un x A tal
que f(x)(A) = 0.
Nos permitimos un recordatorio nal. Aunque nuestras deniciones de espa-
cio de medida y de integral son muy generales, estamos sobre todo interesados en
(R
m
, /(R
m
), ) y la integral denida aqu. (No esta de mas indicar, no obstante,
que si (, , P) es un espacio de probabilidad y X : R es una variable aleatoria
entonces la llamada esperanza de X, E(X), no es otra cosa que su integral de
Lebesgue en (, , P), es decir, E(X) =
_
X dP.) En particular estamos interesa-

dos en usar la integral para calcular areas en el plano y vol umenes en el espacios,
es decir, medidas de Lebesgue de recintos en R
2
y R
3
. De hecho, de acuerdo con la
propia denicion de integral
(A) =
_
R
m
A
d =
_
A
1 d (III.1)
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
para cualquier conjunto A /(R
m
) pero de momento esta igualdad es mas virtual
que otra cosa, pues no disponemos de medios efectivos para calcular
_
A
1 d sin
recurrir al propio valor de (A). En la siguiente seccion resolveremos este problema
mostrando como el calculo de
_
A
1 d puede muchas veces reducirse a la resolucion
de unas cuantas integrales de Riemann.
III.5. Integracion en R
m
. Teoremas de Fubini y
del cambio de variable
En esta seccion proporcionaremos metodos de calculo efectivo de la integral
cuando se trabaja en el espacio de medida (R
m
, /(R
m
), ). En virtud de la cone-
xion entre integral de Riemann e integral de Lebesgue en R (Teorema III.16(xi))
parece logico mantener la notacion clasica de clasica de integral cuando estemos
haciendo integral de Lebesgue en R. As pues, si I es un intervalo de extremos a y
b escribiremos
_
I
f d =
_
b
a
f(x) dx;
notese que como un punto, visto como conjunto, tiene medida cero, el resultado
de la integral no depende de que el intervalo sea abierto, semiabierto o cerrado
(Teorema III.16(ix)). Por tanto no hay ambig uedad con la notacion empleada.
Cuando integramos en R
m
para m 2 se suele hablar de integral m ultiple para
referirnos a la integral de Lebesgue. Por analoga introduciremos en R
2
y R
3
una
notacion similar, respectivamente
_
A
f d =
__
A
f(x, y) dxdy
en el plano (aqu hablaremos de integrales dobles) y
_
A
fd =
___
A
f(x, y, z) dxdydz
en el espacio (las llamaremos integrales triples).
El teorema de Fubini, que enunciamos a continuacion, es la herramienta clave
de la teora de integraci on. Nos permite reducir el calculo de una integral en m
dimensiones al de dos integrales en dimensiones mas peque nas p y q, p + q = m.
Aplicado sucesivamente, lleva el calculo de nuestra integral a integrales en R, que
en virtud del Teorema III.16(xi) podran habitualmente encararse con las tecnicas
de la integracion de Riemann ya conocidas.
Teorema III.17 (Fubini). Sea f; R
m
= R
p
R
q
[0, +] medible (o, respecti-
vamente, f : R
m
R integrable). Entonces F(x) =
_
R
q
f(x, y) dy esta bien denida
Han colaborado en la preparacion de esta seccion: Raquel Lorente Plazas y Mara del Carmen
Argudo Fernandez
AN
ALISIS II (F
ISICAS)
III.5. TEOREMAS DE FUBINI Y DEL CAMBIO DE VARIABLE 59
en casi todo punto x R
p
, es medible y no negativa (respectivamente, integrable) y
se cumple
_
R
p
__
R
q
f(x, y) dy
_
dx =
_
R
p
F(x) dx =
__
R
m
f(x, y) dxdy.
Notese que estamos imitando la notacion de R
2
aunque en realidad solo tenemos
p + q = m, es decir, no necesariamente p = q = 1. As pues, x = (x
1
, . . . , x
p
),
y = (y
1
, . . . , y
q
).
Existe una version analoga del teorema de Fubini intercambiando los papeles de
la x y la y:
_
R
q
__
R
p
f(x, y) dx
_
dy =
__
R
m
f(x, y) dxdy.
Lo que nos dice el teorema de Fubini es lo siguiente. Para cada x ja, conside-
remos una funcion f
x
denida en R
q
que a cada y le hace corresponder f(x, y), es
decir, f
x
(y) = f(x, y). Pues bien, para casi todo x la funcion f
x
obtenida es medible
y no negativa (resp. integrable). Entonces tiene sentido denir F(x) =
_
R
q
f
x
(y) dy
para casi todo x. Pues bien, resulta que, una vez que vemos la funcion F(x) de-
nida en todo R
p
completandola en el resto de puntos como 0 (o si queremos de
cualquier otra manera, ya que por el Teorema III.16(viii) las integrales coincidiran),
la funcion es medible no negativa (resp. integrable) y su integral es precisamente
__
R
m
f(x, y) dxdy.
Observese que si f toma valores positivos y negativos y no sabemos de partida
que la integral de f existe y es nita, entonces no puede aplicarse el teorema de
Fubini. En estos casos, lo mas simple es trabajar por separado con las partes positiva
y negativa de f, a las que siempre podremos aplicar el teorema. Recuerdese a este
respecto que si A es compacto y f : A R es continua entonces tenemos garanta
de que es integrable por el Teorema III.16(x).
En algunos casos concretos la formula que nos da el teorema de Fubini puede
simplicarse.
Sean
1
,
2
: [a, b] R funciones continuas tales que
1
(x)
2
(x) para todo
x [a, b]. Sea
A = (x, y) R
2
: x [a, b],
1
(x) y
2
(x)
(llamaremos a tales conjuntos de tipo 1. El conjunto A es compacto, en particular
cerrado, as que A /(R
2
). Supongamos que f : A R es medible no negativa o
integrable (un ejemplo sera f : A R medible y acotada, seg un discutimos al nal
de la seccion anterior). De acuerdo con la denicion de integral, aplicando el teorema
de Fubini a la extension f de f a todo R
2
y usando la notacion F(x) =
_
R
f(x, y) dy,
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
se tiene
__
A
f(x, y) dxdy =
_ _
R
2
f(x, y) dxdy
=
_
R
__
R
f(x, y)dy
_
dx
=
_
R
F(x) dx
=
_
b
a
F(x) dx;
la ultima igualdad se debe a que si x / [a, b] entonces F(x) = 0. Notemos ahora que
jo x [a, b], si y / [
1
(x),
2
(x)] entonces f(x, y) = 0 con lo que
F(x) =
_
R
f(x, y) dy =
_

2
(x)
1
(x)
f(x, y) dy.
En conclusion,
__
A
f(x, y) dxdy =
_
b
a
_
_

2
(x)
1
(x)
f(x, y)dy
_
dx (III.2)
que es la formula que nos permite calcular la integral de f cuando A es un recinto
de tipo 1.
Una situacion analoga, permutando los papeles de x e y, sera la de los conjuntos
de tipo 2, que seran los de la forma
A = (x, y) R
2
: y [c, d],
1
(y) x
2
(y)
para ciertas funciones continuas
1
,
2
: [c, d] R. Se obtiene la formula
__
A
f(x, y) dxdy =
_
d
c
_
_

2
(y)
1
(y)
f(x, y)dx
_
dy. (III.3)
Un tipo de recinto para el que simultaneamente se daran las condiciones de los dos
casos anteriores sera el rectangulo A = [a, b] [c, d] (podramos tomar
1
(x) c y
2
(x) d, o bien
1
(y) a y
2
(y) b). Igualando ambas formulas llegamos a
__
[a,b][c,d]
f(x, y) dxdy =
_
b
a
__
d
c
f(x, y)dy
_
dx =
_
d
c
__
b
a
f(x, y) dx
_
dy.
Un ejemplo sencillo de aplicacion de lo anterior sera
__
[2,5][1,2]
(x
3
y +y + 2) dxdy =
_
5
2
__
2
1
(x
3
y +y + 2) dy
_
dx
=
_
5
2
_
3
2
x
3
+
15
2
_
dx
=
2007
8
;
AN
ALISIS II (F
ISICAS)
hemos usado
_
(x
3
y +y + 2) dy =
1
2
x
3
y
2
+
1
2
y
2
+ 2y,
_ _
3
2
x
3
+
15
2
_
dx =
3
8
x
4
+
15
2
x.
Analogamente,
__
[2,5][1,2]
(x
3
y +y + 2) dxdy =
_
2
1
__
5
2
(x
3
y +y + 2) dx
_
dy
=
_
2
1
_
621
4
y + 6
_
dy
=
2007
8
.
En situaciones mas complicadas, aunque tengamos un recinto A que simultanea-
mente sea de los tipos 1 y 2, el orden de integracion es clave pues la dicultad de
los calculos puede ser sustancialmente distinta.
Calculemos
__
A
y
(1x)
xy
2
dxdy, donde
A = (x, y) R
2
: x [0, 1], x y
x.
Ante todo debemos garantizar que la integral tiene sentido. De momento A es
de tipo 1 tomando
1
(x) = x y
2
(x) =

x, x [0, 1], y es de tipo 2 tomando
1
(y) = y
2
y
2
(y) = y, y [0, 1], con lo que en principio podemos usar cualquiera
de las formulas (III.2) o (III.3).
La funcion a integrar es
g(x, y) =
y
(1 x)
_
x y
2
.
El dominio de denicion B de g es todo el plano excepto la recta x = 1 y la region
x y
2
0. Notese que B es un abierto y por tanto es medible (Teorema III.8(iii))
y que g es continua en B y por tanto medible (Teorema III.10(x)). Como ademas es
no negativa, g tiene integral en A. De acuerdo con la denicion de integral,
_
A
g d
se calculara extendiendo primero g a todo R
2
deniendola como cero en R
2
B
y luego haciendo
_
R
2

A
d, con g la mencionada extension. Notese que los unicos
puntos de A donde g no esta denida son los del trozo de curva
C = (x,
x) : x [0, 1],
el que limita superiormente a A. Esto signica que
__
A
y
(1 x)
_
x y
2
dxdy =
__
A
g(x, y) dxdy =
__
A
f(x, y) dxdy,
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
donde f : A R viene dada por
f(x, y) =
_
y
(1x)
xy
2
si (x, y) A C,
0 si (x, y) C,
y esta funcion f es de la que partiremos para aplicar las ecuaciones (III.2) y (III.3).
Naturalmente, en lo sucesivo omitiremos entrar en este tipo de detalles: cuando nos
pidan calcular la integral de una funcion denida en (parte de) un cierto recinto
supondremos directamente que la funcion ha sido extendida como cero al resto del
recinto y nos olvidaremos de como esta denida fuera de el pues ello no afecta para
nada al resultado nal.
Aprovechamos, eso s, para poner de relieve que podramos haber denido f en
C de cualquier otra manera, sin que ello tenga consecuencias ni para la medibilidad
de la funcion resultante ni para el valor de la integral. La clave esta en que (C) = 0:
veanse el Teorema III.10(viii) y el Teorema III.16(viii). Dicho sea de paso, aunque
puede parecer obvio que una curva en el plano tiene medida, es decir, area cero
(al igual que una curva o una supercie en el espacio tienen volumen cero), esto
no es tan facil de probar en casos concretos. Para ello el siguiente resultado es de
bastante utilidad:
Teorema III.18. Sea h : O R
n
R
n+k
, O abierto, k 1, una funcion continua
tal que al menos n de sus componentes son de clase C
1
. Entonces h(O) es de medida
cero.
En nuestro caso podemos tomar h(x) = (x
2
, x); por el Teorema III.18 se ten-
dra (h(R)) = 0 y por tanto C = h([0, 1]) tendra medida cero.
Calculamos la integral viendo A como un recinto de tipo 1. Entonces
__
A
y
(1 x)
_
x y
2
dxdy =
_
1
0
_
_

2
(x)
1
(x)
y
(1 x)
2
_
x y
2
dy
_
dx
=
_
1
0
_
_

x
x
y
(1 x)
_
x y
2
dy
_
dx.
Calculemos
_
x
x
y
(1x)
xy
2
dy. De acuerdo con el Teorema III.16(xi) podemos cal-
cular esta integral como una integral (impropia) de Riemann. Una primitiva del
integrando sera
_
y
_
x y
2
dy =
_
x y
2
,
y aplicando la regla de Barrow llegamos a
_

x
x
y
_
x y
2
dy =
_
x(1 x).
AN
ALISIS II (F
ISICAS)
(Estrictamente hablando, estos calculos solo son validos si 0 < x < 1. Para x = 0 y
x = 1 la integral vale cero por coincidir los lmites de integracion. En todo caso, a
efectos de integracion, lo que pase en los extremos un conjunto de medida cero
es despreciable.) As,
__
A
y
(1 x)
_
x y
2
dxdy =
_
1
0
1
1 x
_
x(1 x) dx =
_
1
0
_
x
1 x
dx.
Para resolver esta ultima integral recurrimos al cambio de variable
x
1x
= t
2
, de
donde x =
t
2
1+t
2
y por tanto
dx = d
_
t
2
1 +t
2
_
=
2t(1 +t
2
) 2tt
2
(1 +t
2
)
2
dt =
2t
(1 +t
2
)
2
dt.
Sustituyendo
_
1
0
_
x
1 x
dx =
_

0
2t
2
(1 +t
2
)
2
dt.
Tras calculos laboriosos pero bien conocidos se obtiene
_

0
2t
2
(1 +t
2
)
2
dt =
_
arctan t
t
t
2
+ 1
_
0
=

2
.
Por tanto
__
A
y
(1 x)
_
x y
2
dxdy =

2
.
Si vemos A como un recinto de tipo 2 entonces se tiene
__
A
y
(1 x)
_
x y
2
dxdy =
_
1
0
_
_

2
(y)
1
(y)
y
(1 x)
2
_
x y
2
dx
_
dy
=
_
1
0
y
_
_
y
y
2
1
(1 x)
_
x y
2
dx
_
dy.
Para atacar la integral
_
y
y
2
1
(1x)
xy
2
dx recurrimos al cambio de variable xy
2
= t
2
,
dx = 2t dt. Entonces
_
y
y
2
1
(1 x)
_
x y
2
dx =
_

yy
2
0
2t
(1 t
2
y
2
)t
dt =
_

yy
2
0
2
t
2
(1 y
2
)
dt.
Para hallar la primitiva de
2
t
2
(1y
2
)
, y teniendo en cuenta que las races de la ecuacion
t
2
(1 y
2
) = 0 son t =
_
1 y
2
, debemos plantear
2
t
2
(1 y
2
)
=
a
t +
_
1 y
2
+
b
t
_
1 y
2
=
at a
_
1 y
2
+bt +b
_
1 y
2
t
2
(1 y
2
)
.
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
De aqu a =
1
1y
2
, b =
1
1y
2
y calculando
_
2
t
2
(1 y
2
)
dt =
_
1
1y
2
t +
_
1 y
2
dt
_
1
1y
2
t
_
1 y
2
dt
=
1
_
1 y
2
log
t +
_
1 y
2
t
_
1 y
2
;
observese el detalle del valor absoluto (la primitiva de
1
t
es log [t[, no log t que no
tiene sentido cuando t < 0).
En resumen,
__
A
y
(1 x)
_
x y
2
dxdy =
_
1
0
y
_
1
_
1 y
2
log
t +
_
1 y
2
t
_
1 y
2
yy
2
0
dy
=
_
1
0
_
y
_
1 y
2
log
_
y y
2
+
_
1 y
2
_
y y
2
_
1 y
2
_
dy
=
_
1
0
_
y
_
1 y
2
log
_
y y
2
+
_
1 y
2
_
1 y
2
_
y y
2
_
dy
pero esta ultima integral es inabordable.
La nocion de recinto de tipo 1 y 2 puede extenderse sin dicultad al caso tri-
dimensional Sean
1
,
2
: B R funciones continuas denidas en un compacto
B R
2
tales que
1
(x, y)
2
(x, y) para cada (x, y) B. Entonces
A =
_
(x, y, z) R
3
:
1
(x, y) z
2
(x, y)
_
es compacto y por tanto medible. Si f : A R es medible no negativa o integrable
entonces, argumentando como en el caso de la integral doble,
___
A
f (x, y, z) dxdydz =
__
B
_
_

2
(x,y)
1
(x,y)
f (x, y, z) dz
_
dxdy (III.4)
Remedando la terminologa anterior, llamaremos a A un recinto de tipo 1 (en el
espacio). El lector puede imaginar sin dicultad cual sera la denicion de recinto
de tipo 2 o de tipo 3 y deducir formulas analogas a (III.4). En cada caso concreto
deberemos elegir el orden de integracion mas adecuado para los calculos.
Veamos un ejemplo sencillo pero ilustrativo. Nuestro recinto A es la zona del
octante x 0, y 0, z 0 limitada por el paraboloide z = x
2
+ y
2
el plano z = 1,
y los planos x = 0, y = 0 y z = 0. Queremos resolver la integral
___
A
x dxdydz.
Es claro que A es un recinto de tipo 1, donde con la notacion habitual
B =
_
(x, y) R
2
: x, y 0, x
2
+y
2
1
_
,
AN
ALISIS II (F
ISICAS)
1
(x, y) = x
2
+y
2
y
2
(x, y) = 1. De acuerdo con (III.4)
___
A
x dxdydz =
__
B
_
_

2
(x,y)
1
(x,y)
x dz
_
dxdy
=
__
B
__
1
x
2
+y
2
xdz
_
dxdy
=
__
B
x
_
1 x
2
y
2
_
dxdy.
La ultima integral resulta ser una integral doble en un recinto de tipo 1 del plano,
B, para las funciones

1
(x) = 0 y

2
(x) =
1 x
2
, x [0, 1], con lo que (III.2)
proporciona
__
B
x
_
1 x
2
y
2
_
dxdy =
_
1
0
_
_

2
(x)
1
(x)
x
_
1 x
2
y
2
_
dy
_
dx
=
_
1
0
_
_

1x
2
0
x
_
1 x
2
y
2
_
dy
_
dx
=
_
1
0
_
_
x
_
1 x
2
_
y
1
3
xy
3
_
1x
2
0
_
dx
=
_
1
0
_
x
_
1 x
2
_
1 x
2
1
3
x
_
1 x
2
_
3
_
dx
=
_
1
0
2
3
x
_
1 x
2
_
3
dx
=
_
2
15
_
1 x
2
_5
2
_
1
0
=
2
15
.
Llegados a este punto estamos ya preparados para calcular de manera efectiva
algunas areas y vol umenes. Por ejemplo, si aplicamos (III.2) a la funcion constante
igual a 1 entonces, de acuerdo con (III.1),
(A) =
__
A
1 dxdy =
_
b
a
_
_

2
(x)
1
(x)
1dy
_
dx =
_
b
a
(
2
(x)
1
(x)) dx,
es decir, el area comprendida entre las gracas de
1
y
2
es la integral de su
diferencia. Si f : [a, b] [0, +) es un funcion continua y escribimos
1
(x) = 0 y
2
(x) = f(x) llegamos a
(A) =
_
b
a
f(x) dx,
con lo que el area debajo de la graca de f es su integral, en consonancia con lo
dicho en cursos anteriores. De la misma manera, con la notacion que usabamos para
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
introducir un recinto A de tipo 1 en el espacio concluimos que
(A) =
__
B
(
2
(x, y)
1
(x, y)) dx,
as que si f : B [0, +) es continua y B es compacto el volumen del recinto A
limitado por su graca y el plano z = 0 esta dado por
(A) =
__
B
f (x, y) dxdy. (III.5)
Este es el momento para introducir una cuestion muy relevante acerca de la no-
tacion que venimos empleando. Acabamos de ver que el area del recinto A limitado
por la graca de una funcion continua f : [a, b] [0, +) es (A) =
_
b
a
f(x) dx.
Como la integral de la derecha puede entenderse tanto como una integral de Le-
besgue como una integral de Riemann, podemos usar la denicion de esta ultima
y concluir que si realizamos una particion del intervalo [a, b] en intervalos I
1
, . . . , I
k
sucientemente peque nos y elegimos puntos x
i
I
i
, i = 1 . . . , k, entonces
(A)
=
k
i=1
f(x
i
)(I
i
)
y esta aproximacion sera tanto mejor cuanto mas na sera la particion, es de-
cir, mas peque na sea la longitud de los intervalos I
i
. Si suponemos que todos
los intervalos I
i
tienen la misma longitud x, la expresion anterior queda como
(A)

=
k
i=1
f(x
i
)x, donde podemos ver la suma de la derecha como la de las
areas de una serie de rectangulos, todos de la misma base (x) y alturas respecti-
vas los n umeros f(x
i
). Si llevamos este proceso al innito, obtendramos al nal
rectangulos de bases de longitud innitamente peque na dx, cada una de las cuales
constara de un unico punto x, y altura el valor de la funcion f(x) en dicho punto
x, y la igualdad
(A) =
x[a,b]
f(x)dx.
Todo esto es puramente formal, por supuesto: si la base de estos rectangulos es
innitamente peque na entonces dx es simplemente cero, y en la suma de la dere-
cha estamos sumando cero innitas veces, con lo que la suma debera dar cero, no
(A). Pero hay una matiz importante: la suma de la parte derecha no es de una
cantidad numerable de terminos, sino de una cantidad no numerable y ni siquiera
sabramos como hacer esa suma (los sumandos no se puede ordenar para ir ha-
ciendo las sumas una a una). Aqu es donde podemos echar mano de la integral:
si concebimos
_
b
a
f(x)dx como el modo de hacer esa suma no numerable, entonces
(A) =
x[a,b]
f(x)dx =
_
b
a
f(x)dx y todo encaja. Insistimos en que toda la ar-
gumentacion es especulativa, sin sustrato formal; sin embargo es coherente, y si la
usamos adecuadamente en contextos similares nos llevara con facilidad a las solu-
ciones correctas.
AN
ALISIS II (F
ISICAS)
Para ejemplicar lo que estamos diciendo consideremos ahora una funcion con-
tinua f : [a, b] [c, d] [0, ). Ya se ha dicho que el volumen del recinto A
limitado por su graca y el plano z = 0 es (A) =
__
[a,b][c,d]
f(x, y)dxdy (usamos
(III.5)). En consonancia con lo anteriormente explicado, podemos interpretar co-
mo la suma de los vol umenes de prismas de base rectangulos innitamente peque nos
(siendo las longitudes respectivas de sus lados dx y dy) y alturas los n umeros f(x, y),
(x, y) [a, b] [c, d]. Llevando el argumento de antes hacia atras, parece sensato
deducir que si dividimos [a, b] en rectangulos sucientemente peque nos I
1
, . . . I
k
de
la misma longitud x, [c, d] en rectangulos sucientemente peque nos J
1
, . . . J
l
de la
misma longitud y, y elegimos a placer puntos (x
i
, y
j
) I
i
J
j
, entonces
(A)
=
k
i=1
l
j=1
f(x
i
, y
j
)xy
y esta aproximacion sera tanto mejor cuando mas peque nos elijamos los rectangulos
I
i
y J
i
. Pues bien, esta conclusion no solo es sensata sino correcta, y es la base
en la que se articula de denicion de integral de Riemann multidimensional. Co-
mo ya dijimos en la introduccion es perfectamente posible hacer una teora de la
integracion m ultiple analoga a la integracion de Riemann en una variable. Si nos
hemos decantado por la de Lebesgue es por sus mayores generalidad (toda funcion
integrable Riemann en un cierto recinto tambien es integrable Lebesgue y las inte-
grales coinciden) y simplicidad conceptual. Por ejemplo, si solo usaramos la integral
de Riemann multidimensional y denieramos a posteriori la medida de un recinto
como la integral de la funcion 1 en ese recinto (notemos que la integracion de Rie-
mann no requiere de una teora de la medida a priori sobre la que construirse), nos
encontramos con la incomoda limitacion tecnica de que la funcion 1 no es integrable
ni siquiera en muchos recintos homeomorfos al cuadrado (aunque, en honor a la
verdad, s lo es en los que aparecen habitualmente en la practica).
Terminamos nuestra discusion sobre el teorema de Fubini introduciendo el llama-
do principio de Cavalieri, que nos dara una nueva ocasion de contrastar la utilidad
de los razonamientos con innitesimos sobre los que nos extendimos antes.
Supongamos que el recinto A R
3
es medible. Una forma intuitiva de calcular
su volumen sera partirlo en rodajas y sumar los vol umenes de las rodajas. Si el
sentido del corte es el perpendicular al eje z, llamamos A
z
a la rodaja que se obtiene
al cortar a la altura z, y suponemos que la rodaja tiene un grosor innitesimal dz
entonces su volumen sera al area de la base por la altura, es decir, (B
z
)dz, donde B
z
es la proyeccion en el plano xy de la rodaja A
z
, es decir, B
z
= (x, y) : (x, y, z) A
z
.
Por tanto
(A) =
_
+
(B
z
)dz.
A esta igualdad hemos llegado, permtasenos enfatizarlo una vez mas, de manera
completamente intuitiva y carente de rigor. Usando el teorema de Fubini podemos
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
justicarla por completo:
(A) =
___
R
3
A
(x, y, z) dxdydz
=
_
R
___
R
2
A
(x, y, z) dxdy
_
dz
=
_
R
___
R
2
B
z
(x, y) dxdy
_
dz
=
_
+
(B
z
) dz.
As pues, si partimos de un conjunto medible en el espacio, casi todas sus rodajas
(en el sentido de la medida de Lebesgue) son medibles y la integral de las areas de
dichas rodajas es el volumen del conjunto. Esta idea es la que se conoce como el
principio de Cavalieri.
Otra alternativa para calcular el volumen de un recinto A R
3
medible es
descomponerlo en los lamentos A
x,y
que resultaran de intersecar cada una de las
rectas paralelas al eje z con dicho recinto. Intuitivamente, si denimos B
x,y
= (z
R : (x, y, z) A
x,y
para cada (x, y) R
2
entonces (A) =
_
R
2
(B
x,y
) dxdy, es decir,
el volumen de A se obtiene sumando los vol umenes de los prismas innitesimales de
base un rectangulo de lados dx y dy y de altura la longitud del lamento que pasa
por el punto (x, y) del plano z = 0. Para asegurarnos basta de nuevo usar el teorema
de Fubini:
(A) =
__
R
2
__
R
A
(x, y, z) dz
_
dxdy
=
__
R
2
__
R
B
x,y
(z) dz
_
dxdy
=
__
R
2
(B
x,y
) dxdy.
Dicho sea de paso, podemos llegar tambien a (III.5) haciendo un enfoque por la-
mentos, ya que en este caso B
x,y
= si (x, y) / B y B
x,y
= [0, f(x, y)] si (x, y) B.
Por tanto
(B
x,y
) =
_
f(x, y) si (x, y) B
0 si (x, y) / B
y
(A) =
__
R
2
(B
x,y
) dxdy =
__
B
f (x, y) dxdy.
Notese nalmente que las formulas que hemos estudiado (calculo de vol umenes por
rodajas y lamentos) se reducen en el plano a una misma cosa: si A /(R
2
)
entonces
(A) =
_
+
(B
x
) dx =
_
+
(C
y
) dy,
AN
ALISIS II (F
ISICAS)
donde
B
x
= y R : (x, y) A, C
y
= x R : (x, y) A.
Como ejemplo practico de calculo de un volumen por rodajas hallamos el volumen
de una piramide A de base cuadrada. De acuerdo con la geometra clasica el resultado
que cabe esperar es (A) =
1
3
L
2
h, con L el lado del cuadrado de la base y h la altura.
De momento, seg un el principio de Cavalieri
(A) =
_
R
(B
z
) dz =
_
h
0
(B
z
) dz =
_
h
0
L
2
z
dz,
pues desde z = 0 a z = h todos los B
z
son cuadrados centrados en el origen (L
z
es la longitud del lado) y para los otros z el conjunto B
z
es vaco. Ahora bien, por
semejanza de triangulos
h
L
2
=
hz
L
z
2
y por tanto L
z
=
(hz)L
h
. En consecuencia
(A) =
_
h
0
_
(h z) L
h
_
2
dz =
L
2
h
2
_
1
3
(h z)
3
_
h
0
=
1
3
L
2
h
y se obtiene el resultado esperado.
Para terminar el captulo estudiamos el cambio de variable en la integral m ultiple,
que no es mas que la generalizacion natural del teorema analogo para la integral en
una variable.
Convendra entonces empezar recordando dicho teorema. Lo haremos con un
ejemplo. Para calcular
_
1
0
1 x
2
dx lo habitual es realizar el cambio x = sen t,
dx = cos t dt. Los nuevos lmites de integracion los hallamos a partir de 0 = sen t y
1 = sen t, respectivamente t = 0 y t = /2, con lo que
_
1
0
1 x
2
dx =
_
2
0
[ cos t[ cos t dt =
_
2
0
cos
2
t dt =
_
2
0
1 + cos 2t
2
dt =

4
.
Aqu es importante enfatizar que x = sen t, dx = cos t dt no es mas que un
truco mnemotecnico que nos permite utilizar comodamente un resultado, el teorema
del cambio de variable, que se formula del siguiente modo:
Si f : I R es una funcion continua, : J I es una funcion de clase C
1
(I
y J intervalos), [a, b] I y c, d J son tales que (c) = a, (d) = b, entonces
_
b
a
f(x) dx =
_
d
c
f((t))
(t) dt.
En nuestro ejemplo, f : [1, 1] R esta dada por f(x) =
1 x
2
y : R
[1, 1] es (t) = sen t, siendo a = 0, b = 1, c = 0, d = /2.
Cuando se enuncia el cambio de variable suele ser habitual demandar que
sea una biyeccion de clase C
1
. Esto no es necesario, ni mucho menos: el teorema
hubiera funcionado igual eligiendo otros c y d tales que sen c = 0 y sen d = 1, por
ejemplo c = 2 y d = 3/2 (como el lector puede vericar sin dicultad). Con esta
formulacion el teorema se enuncia as:
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
Si f : [a, b] R es una funcion continua, : J [a, b] es una biyeccion de clase
C
1
y denotamos a los extremos del intervalo J, c, d, de manera que (c) = a y
(d) = b, entonces
_
b
a
f(x) dx =
_
d
c
f((t))
(t) dt.
Aunque esta formulacion es mas restrictiva tiene la ventaja de enfatizar quienes
son los puntos c y d y limita el riesgo de cometer cierto tipo de errores. Por ejemplo
para calcular la integral
_
2
0
1
5+4 cos x
dx el cambio recomendado es x = 2 arctan t,
dx =
2
t
2
+1
dt, ya que tras entonces cos x =
1t
2
1+t
2
y la nueva integral es racional. Sin
embargo, si usamos descuidadamente la formula tan
_
x
2
_
= t para calcular los nuevos
lmites de integracion entonces, como tan
_
0
2
_
= tan
_
2
2
_
= 0, llegaramos al absurdo
_
2
0
1
5 + 4 cos x
dx =
_
0
0
1
5 +
1t
2
1+t
2
2
1 +t
2
dt = 0
(
1
5+4 cos x
es una funcion positiva y su integral tambien debera serlo). Si analizamos
la funcion (t) = 2 arctan t descubrimos donde esta el problema: es una biyeccion
entre R y (, ) as que es imposible restringirla a ning un intervalo de manera
que obtengamos una biyeccion entre ese intervalo y (0, 2) (Dicho sea de paso, la
integral se calcula de hecho usando adecuadamente dicho cambio de variable, pero
es necesario introducir ciertas sutilezas tecnicas nada triviales para conseguir que
las cosas funcionen.)
Otra ventaja de la formulacion del teorema del cambio de variable mediante
biyecciones es que el enunciado puede simplicarse bastante con ayuda del valor
absoluto. En concreto, si J = [c, d] ello signica que es creciente as que [
(t)[ =
(t) 0 para todo t, mientras que si J = [d, c] entonces es decreciente y [
(t)[ =
(t) 0 para todo t. En el primer caso la formula es

_
b
a
f(x) dx =
_
d
c
f((t))
(t) dt =
_
d
c
f((t))[
(t)[ dt;
en el segundo
_
b
a
f(x) dx =
_
d
c
f((t))
(t) dt =
_
c
d
f((t))(
(t)) dt =
_
c
d
f((t))[
(t)[ dt.
En otras palabras: si f : I R es una funcion continua y : J I es una
biyeccion de clase C
1
entonces
_
I
f(x) dx =
_
J
f((t))
(t) dt.
Esta es la formula que generalizamos a continuacion a mas dimensiones.

Teorema III.19 (Cambio de variable). Sean f : O R
m
[, ] medible y
O abierto. Sea : U R
m
O, con U abierto, una biyeccion de clase C
1
. Entonces
la funcion f(x) tiene integral en O si y solo si la funcion g(t) = f((t)) [J(t)[ tiene
integral en U y se cumple
_
O
f(x) dx =
_
U
g(t) dt =
_
U
f((t)) [J(t)[ dt.
AN
ALISIS II (F
ISICAS)
Recuerdese que J(t) es el jacobiano de en t, es decir, el determinante de la
matriz de la diferencial de en t (que sera una matriz cuadrada mm).
Si comparamos con el ejemplo
_
1
0
1 x
2
dx de antes, aparece un ligero matiz.
Nuestra biyeccion ahora es :
_
0,

2
_
(0, 1) y tenemos la igualdad
_
(0,1)
1 x
2
dx =
_
(
0,
2
)
[ cos t[[ cos t[ dt =
_
(
0,
2
)
cos
2
t dt.
En esencia se trata de la misma cosa, pues ya dijimos al principio de la seccion
que las integrales sobre intervalos abiertos y cerrados coinciden. El problema se
vuelve mas delicado, como veremos en los siguientes ejemplos, cuando trabajamos
en mas dimensiones. Para ser mas precisos, el teorema del cambio de variable nos
da una igualdad entre integrales denidas en conjuntos abiertos, pero no nos dice
como resolver ninguna de ellas. Su objeto es transformar una integral en principio
difcil en otra mas sencilla, a la que habremos nalmente de aplicar el teorema
de Fubini. Por otra parte, normalmente estamos interesados en calcular integrales
denidas en conjuntos compactos (bien porque la integral en la variable x de partida
esta planteada en uno de dichos conjuntos, bien porque queremos aplicar alguna de
las versiones del teorema de Fubini que hemos estudiado a la integral en la variable
t de llegada). La solucion pasa por despojar a nuestros compactos de su frontera,
pero para ello es crtico que dicha frontera sea de medida cero. A este efecto un
resultado enunciado con anterioridad (el Teorema III.18) sera de gran ayuda.
Concretamos con un primer ejemplo de integracion por cambio de variable en
R
2
. Mas exactamente, estamos interesados en calcular
__
A
log
_
x
2
+y
2
_
dxdy,
con
A = (x, y) R
2
: x, y 0, a
_
x
2
+y
2
b.
Si queremos aplicar el teorema de Fubini una posibilidad es descomponer el recinto
A en la union de dos recintos de tipo 1 (cortandolo con la recta x = a), calcular las
correspondientes integrales y sumarlas (hemos usado el Teorema III.16(v), ya que
el segmento interseccion es de medida cero). No obstante, los calculos parecen, al
menos a priori, bastante farragosos. La alternativa el usar el cambio de variable a
coordenadas polares
(r, ) = (x, y) = (r cos , r sen ),
el mas tpico en el plano. Sea O = Int A. Notemos que la frontera de A es la union
de dos segmentos y dos trozos de circunferencia, cada uno de medida cero (para
la circunferencia podemos usar el Teorema III.18, pues si C es la circunferencia de
radio a entonces C = (R), con (t) = (a cos t, a sen t) de clase C
1
). Entonces
__
A
log
_
x
2
+y
2
_
dxdy =
__
O
log
_
x
2
+y
2
_
dxdy
por el Teorema III.16(ix).
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
Ahora debemos encontrar un abierto U tal que : U O sea una biyeccion.
Dado que lleva biyectivamente
(0, +) (0, 2)
a
R
2
(x, 0) : x 0,
tal abierto es claramente U = (a, b) (0, /2). Teniendo en cuenta que
J(r, ) =
(r cos )
r
(r cos )
(r sen )
r
(r sen )
cos r sen
sen r cos
= r
tenemos
__
O
log
_
x
2
+y
2
_
dxdy =
__
(a,b)(0,/2)
log
_
(r cos )
2
+ (r sen )
2
_
[J(r, )[ dr
=
__
(a,b)(0,/2)
log
_
r
2
_
r drd.
Esta ultima integral coincide con
__
[a,b][0,/2]
log
_
r
2
_
r drd,
que puede calcularse con el teorema de Fubini y usando integracion por partes,
u = log r, du =
1
r
dr, dv = r dr, v =
1
2
r
2
:
__
[a,b][0,/2]
log
_
r
2
_
r drd =
_
b
a
_
_
2
0
r log
_
r
2
_
d
_
dr
=
_
b
a
2
r log r
2
dr
=
_
_
1
2
r
2
log r
_
b
a
_
b
a
1
2
r
2
1
r
dr
_
=
_
1
2
b
2
log b
1
2
a
2
log a
_
r
2
4
_
b
a
_
=
_
1
2
b
2
log b
1
2
a
2
log a
b
2
4
+
a
2
4
_
.
Proponemos como ejercicio al lector aplicar una ligera variacion del cambio a
polares (x = x
0
+r cos , y = y
0
+r sen ) a la integral
__
A
1 dxdy, con A un crculo
centrado en el punto (x
0
, y
0
) y de radio R, para obtener la clasica formula del area
R
2
. Por cierto, una vez conocida el area del crculo podemos aplicar el principio de
Cavalieri para obtener sin dicultad un conocido resultado del calculo de vol umenes:
AN
ALISIS II (F
ISICAS)
si f : [a, b] [0, +) es una funcion continua entonces el volumen del solido que se
obtiene al girar el recinto
(x, y, 0) : x [a, b], 0 y f(x)
del plano z = 0 alrededor del eje de las x viene dado por
_
b
a
f(x)
2
dx. Esta formula,
a su vez, permite calcular de forma rigurosa los vol umenes de muchos solidos clasicos
como el cilindro, el cono o la esfera. El lector hara bien en completar los detalles.
Cuando hagamos un cambio de variable no introduciremos por lo general ex-
plcitamente la funcion : U O como en el ejemplo anterior sino que directa-
mente escribiremos las ecuaciones que ligan las variables, en este caso x = r cos ,
y = r sen , y una notacion del estilo
(x,y)
(r,)
en vez de J(r, ).
Para integrales triples los dos cambios de variable mas habituales son a coorde-
nadas cilndricas y coordenadas esfericas. El primero lleva (r, , z) a (x, y, z) con
x = r cos
y = r sen
z = z
y determina una biyeccion entre los abiertos
(0, +) (0, 2) R
y
R
3
(x, 0, z) : x 0, z R
(es decir, debemos quitar de R
3
el semiplano de y = 0 correspondiente a los valores
no negativos de x). El segundo lleva (r, , ) a (x, y, z) mediante
x = r cos sen
y = r sen sen
z = r cos
y establece una biyeccion entre los abiertos
(0, +) (0, 2) (0, )
y, de nuevo,
R
3
(x, 0, z) : x 0, z R.
Como decimos aparecen con cierta frecuencia en la practica, as que conven-
dra tener a mano los jacobianos correspondientes:
(x, y, z)
(r, , z)
=
cos r sen 0
sen r cos 0
0 0 1
= r,
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
(x, y, z)
(r, , )
=
cos sen r sen sen r cos cos

sen sen r cos sen r sen cos
cos 0 r sen
= r sen
cos sen r sen sen

sen sen r cos sen
+cos
r sen sen r cos cos

r cos sen r sen cos
= r sen
_
r sen
2
_
+ cos
_
r
2
sen cos
_
= r
2
sen .
Como cabe inferir de los propios nombres que usamos para estos cambios de
variable, uno puede calcular sin dicultad los vol umenes del cilindro y la esfera de
manera alternativa a la que sugerimos antes por medio de ellos. Preferimos dar un
par de ejemplos de mas enjundia, con los que cerramos la seccion y el captulo.
Empezamos considerando una funcion continua f : [a, b] [0, +) con a > 0 y
calculando el volumen del solido A generado por el recinto del plano y = 0 entre la
graca de z = f(x) y el eje x al girar alrededor del eje z.
El s olido en cuestion es
A = (x, y, z) : a
2
x
2
+y
2
b, z [0, f(
_
x
2
+y
2
)].
A es compacto y por tanto medible. Debemos calcular (A) =
___
A
1 dxdydz.
La frontera de A es la union de los cilindros
M
1
= (x, y, z) : x
2
+y
2
= a
2
, z [0, f(a)]
y
M
2
= (x, y, z) : x
2
+y
2
= b
2
, z [0, f(b)],
de la corona circular
M
3
= (x, y, z) : a
2
x
2
+y
2
b
2
, z = 0,
y de la supercie
M
4
= (x, y, f(
_
x
2
+y
2
)) : a
2
< x
2
+y
2
< b
2
.
Todos los M
i
tienen medida cero. (Para probarlo por ejemplo en el caso de M
4
, basta
ver este conjunto como la graca (x, y, g(x, y)) : (x, y) V de la funcion
z = g(x, y) = f(
_
x
2
+y
2
)
denida en el abierto V = (x, y) : a
2
< x
2
+ y
2
< b
2
y aplicar el Teorema III.18.)
Por tanto, si O es el interior de A, se tendra que
(A) =
___
A
1 dxdydz =
___
O
1 dxdydz.
AN
ALISIS II (F
ISICAS)
Para calcular esta ultima integral hacemos el cambio a coordenadas cilndricas.
Dado que la aplicacion del cambio de variable establece una biyeccion entre los
abiertos
U = (r, , z) : r (a, b), (0, 2), z (0, f(r))
y O
, donde O
resulta de quitar a O el conjunto de medida cero

M
5
= (x, 0, z) : x (a, b), 0 < z < f(x),
tendremos por el teorema del cambio de variable que
(A) =
__
O
1 dxdydz =
___
U
r drddz =
___
K
r drddz,
con
K = (r, , z) : r [a, b], [0, 2], z [0, f(r)]
la clausura de U. La ultima integral se resuelve por el teorema de Fubini (K es
el recinto bajo la graca de la funcion

(r, ) = f(r) denida en el rectangulo
B = [a, b] [0, 2] y por tanto es de los del tipo 1 anteriormente estudiado):
___
K
rdxdrd =
__
[a,b][0,2]
_
_
f(r)
0
r dz
_
drd
=
_
b
a
__
2
0
rf(r) d
_
dr
=
_
b
a
2rf(r) dr
=
_
b
a
2xf(x) dx.
En resumen, el volumen del solido es (A) =
_
b
a
2xf(x) dx. Si lo pensamos
un momento, el resultado tiene perfecto sentido: A puede verse como una union
de cilindros huecos centrados en el eje z de radio x y altura f(x). El volumen
innitesimal de estos cilindros sera como siempre area de la base por altura, con la
base en este caso una circunferencia de grosor innitesimal y longitud 2x y por tanto
de area innitesimal 2xdx (podemos imaginar que cortamos la circunferencia por
un punto y la estiramos, quedando un rectangulo innitesimal de area la altura 2x
por la base dx). Queda como volumen innitesimal de dichos cilindros 2xf(x)dx
as que el volumen total de A debera ser
_
b
a
2xf(x) dx como efectivamente ocurre.
Para terminar calculamos el volumen del material quitado de una esfera solida
de radio 2 cuando se perfora en ella un oricio cilndrico de radio 1 de manera que
el centro de la esfera quede en el eje del cilindro. Esta es una manera mas bien
rebuscada de denir el recinto
A = (x, y, z) : x
2
+y
2
1,
_
4 x
2
y
2
z
_
4 x
2
y
2
,
AN
ALISIS II (F
ISICAS)
ON M
ULTIPLE
as que se trata de calcular (A) =
___
A
1 dxdydz.
En realidad tenemos un recinto del tipo 1 as que podramos plantearnos la
integral directamente, pero un cambio de variable adecuado y un poco de geometra
elemental nos ahorraran bastante trabajo. Por no alargarnos no detallaremos los
matices tecnicos relacionados con la medida cero.
El recinto puede verse como la union de un cilindro solido A
1
y dos casquetes
esfericos A
2
y A
3
seccionados de la misma por planos paralelos al z = 0 (las tapas
superior e inferior del cilindro). Un calculo sencillo evidencia que
A
1
= (x, y, z) : x
2
+y
2
1,
3 z
3
con lo que (A
1
) = 2
3. Como (A
2
) = (A
3
), tendremos el volumen de A en
cuanto calculemos el de uno de los casquetes esfericos, digamos A
2
.
Por otra parte podemos conocer el volumen del casquete esferico A
2
si averi-
guamos el del cono esferico B al que limita, pues dicho cono esferico es la union
de un cono B
1
con vertice el origen y base la tapa superior del cilindro (es decir,
(B
1
) =
3/3) y dicho casquete esferico. En resumen,

(A) = (A
1
) + 2(A
2
) = (A
1
) + 2((B) (B
1
)) = 2
3 + 2((B)
3/3).
Debemos calcular (B). Como resulta que B es el conjunto de puntos (x, y, z)
que en coordenadas esfericas viene dado por 0 r 2, 0 2, 0 /6,
podemos aplicar el teorema del cambio de variable y concluir
(B) =
___
[0,2][0,2][0,/6]
r
2
sen drdd = 28/3[cos ]
/6
0
= 8(2
3)/3.
Finalmente
(A) = 2
3 + 2(8(2
3)/3
3/3) = (32/3 4
3).
AN
ALISIS II (F
ISICAS)
Captulo IV
Integracion en curvas y supercies
La pregunta principal que responderemos en este captulo es la siguiente: cuanto
mide una curva o una supercie? A primera vista la cuestion es completamente
insustancial: vimos en el captulo anterior que una curva o una supercie en el espacio
son objetos de medida de Lebesgue cero. Pero en el espacio medida equivale a
volumen; y siendo verdad que una supercie tiene volumen cero, debera haber un
modo razonable de calcular su area (por ejemplo, de acuerdo con la Geometra
Clasica el area de una esfera de radio r debera ser 4r
2
), y del mismo modo toda
curva debera tener su longitud.
Como ocurre en el caso de la integral convencional, el area de una supercie o
la longitud de una curva se obtendran como casos particulares de una teora mas
general de la integracion sobre curvas y supercies que desarrollaremos en el captu-
lo. En realidad seremos capaces de hacer integracion en objetos mas generales que
las curvas y las supercies (los llamados grafos y smplices) pero por cuestiones
tecnicas sera necesario exigir a estos objetos ciertas condiciones de regularidad (de-
rivabilidad). Debemos advertir que no pretendemos construir la teora mas general
o elegante posible sino una que se adapte razonablemente a nuestras necesidades sin
excesivo coste tecnico. Esto justica, por ejemplo, que no recurramos a la teora de
la medida (que como en el caso de la integral convencional tendra perfecto sentido
aqu).
Una novedad de este captulo es que introduciremos tambien el concepto de
integral de una funcion vectorial (o mas propiamente un campo, porque el dominio
de denicion y el espacio de llegada seran de la misma dimension) sobre una curva o
una supercie. Estas integrales, de clara inspiracion fsica, no se calculan integrando
componente a componente. De hecho, como veremos, el resultado de tales integrales
es un n umero, no un vector.
77
78 IV. INTEGRACI
ON EN CURVAS Y SUPERFICIES
IV.1. Arcos y grafos
Los arcos seran los atomos a partir de los que edicaremos nuestra teora de
la integracion sobre curvas.
Denicion IV.1. Diremos que A R
n
, n 2, es un arco si es homeomorfo al
intervalo [0, 1].
Si : [a, b] A es una aplicacion continua y biyectiva llamaremos a una
parametrizacion de A.
De hecho puede probarse que si A R
n
es tal que existe una aplicacion :
[a, b] A continua y biyectiva entonces A es un arco. Esto se debe a un teorema
mas general, seg un el cual si un conjunto K R
m
es compacto y : K R
n
es una
aplicacion continua e inyectiva entonces es un homeomorsmo entre K y (K).
Los puntos (a), (b) son los extremos del arco A. Puede comprobarse que este
par de puntos no depende de la parametrizacion escogida para A.
Un ejemplo de arco sera la semicircunferencia
A = (x, y) : x
2
+y
2
= 1, y 0.
Una parametrizacion adecuada sera : [1, 1] A dada por (x) = (x,
1 x
2
).
Aunque en primera instancia uno podra pensar lo contrario, no va a ser posible
dar una denicion razonable de longitud para un arco arbitrario a menos que le
exijamos un cierto grado de regularidad:
Denicion IV.2. Sea A R
n
, n 2, un arco. Diremos que A es regularizable si
admite una parametrizacion : [a, b] A de clase C
1
.
En el caso de la semicircunferencia la parametrizacion anterior no es adecuada
porque no es derivable en los extremos del intervalo. Una parametrizacion de clase C
1
sera la dada por : [0, ] A, (t) = (cos t, sen t). Por tanto la semicircunferencia
es un arco regularizable.
En realidad, una vez garantizada esta condicion de regularidad, hay muchos mas
conjuntos cuya longitud sera posible medir.
Denicion IV.3. Sea G R
n
, n 2. Diremos que G es un grafo si G puede
expresarse como una uni on numerable de arcos, G =
i
A
i
, de manera que cada par
par de arcos A
i
, A
j
o son disjuntos o tienen en com un un punto (extremo de ambos).
Si cada uno de los arcos A
i
es regularizable diremos que G es un grafo regularizable.
Notemos que cuando decimos que un grafo es regularizable no signica que todos
los arcos en que podamos descomponer a G sean regularizables, sino que existe al
menos una descomposicion que s es regularizable.
AN
ALISIS II (F
ISICAS)
IV.1. ARCOS Y GRAFOS 79
El teorema siguiente proporciona muchsimos ejemplos de grafos regularizables:
todas las curvas regulares (la circunferencia, la elipse, la parabola, la hiperbola,. . . )
lo son.
Teorema IV.4. Si C R
n
, n 2, es una curva, entonces es un grafo. Si es una
curva regular entonces es un grafo regularizable.
Concluimos esta seccion describiendo c omo y cuando puede orientarse un grafo.
Denicion IV.5. sea G R
n
, n 2, un grafo. Diremos que G es orientable si
existe una manera de recorrer todo el grafo pasando por los arcos que lo componen
exactamente una vez. Cada uno de esos posibles recorridos se llama una orientacion
de G.
Observese que:
por los puntos de conexion del grafo s podemos pasar mas de una vez;
todos los arcos son orientables;
para cada orientacion siempre existe una orientacion opuesta (que denota-
remos por );
en un arco solo hay dos posibles orientaciones (una orientacion y su opuesta);
lo mismo ocurre para las curvas.
Conviene enfatizar que no todo grafo es orientable: el grafoH, por ejemplo, no
lo es. Por otro lado observese que el grafo es orientable y admite un total de
cuatro posibles orientaciones.
n
, n 2, un arco y sea una orientacion de A. Si
: [a, b] A es una parametrizacion de A y (a) y (b) son respectivamente el
punto de partida y el punto de llegada para dicha orientacion entonces diremos
que la parametrizacion es compatible con la orientacion .
Notemos que si : [a, b] A es una parametrizacion de A compatible con una
orientacion dada entonces : [b, a] A es una parametrizacion compatible
con .
Denicion IV.7. Sea G =
i
A
i
R
n
, n 2, un grafo orientable, sea una
orientacion para G, y sean
i
orientaciones de los arcos A
i
. Diremos que la familia
de orientaciones
i
i
es compatible con la orientacion si, para todo i, induce
una orientacion en A
i
que coincide con la dada por
i
.
AN
ALISIS II (F
ISICAS)
80 IV. INTEGRACI
IV.2. Integracion en arcos y grafos
En esta seccion construimos nuestra teora de la integracion de funciones escala-
res y campos en arcos y grafos regularizables. Una y otra son independientes as que
las estudiamos por separado.
IV.2.1. Integracion de funciones escalares en arcos y grafos
(regularizables)
Imaginemos que A R
2
es un arco regularizable plano y que f : A [0, )
es una cierta aplicacion. Por similitud con la nocion clasica de integral nos gustara
dar una denicion de integral de f en A que proporcionara el area de la region del
espacio que queda bajo la graca de f, es decir, la region
D = (x, y, z) : (x, y) A, 0 z f(x, y).
En el caso particular de la funcion constante 1 esta denicion proporcionara el area
de una cortina de altura 1 que se proyecta sobre el arco A, area que coincide en
magnitud con la longitud del arco A.
Sea : [a, b] A una parametrizacion de clase C
1
de A. Intuitivamente, el area
de la region D se podra calcular como
area(D) =
pA
f(p)ds
p
,
donde ds
p
denotara la longitud del trozo innitesimal de arco A que contiene
al punto p. Si p = (x, y) = (x(t), y(t)) = (t) entonces podemos ver dicho trozo
innitesimal de arco como un segmento de extremos (x(t), y(t)) y (x(t+dt), y(t+dt)),
siendo dt una variacion innitesimal del parametro t. Como tiene sentido escribir
x(t +dt) x(t) = x
(t)dt, y(t +dt) y(t) = y
(t)dt,
concluimos
ds
p
=
_
(x(t +dt) x(t))
2
+ (y(t +dt) y(t))
2
=
_
x
(t)
2
+y
(t)
2
dt,
con lo ya que usando la notacion de integral llegamos a
area(D) =
_
b
a
f(x(t), y(t))
_
x
(t)
2
+y
(t)
2
dt =
_
b
a
f((t))|
(t)| dt
y
long(A) =
_
b
a
1 |
(t)| dt =
_
b
a
|
(t)| dt.
Por supuesto todo nuestro razonamiento anterior es puramente intuitiva y formal,
carente de rigor. Sin embargo es sensato y da pie a introducir la siguiente denicion:
Han colaborado en la preparacion de esta seccion: Cristina Pina Martnez y Maria Fernanda
Acosta Garca
AN
ALISIS II (F
ISICAS)
IV.2. INTEGRACI
ON EN ARCOS Y GRAFOS 81
n
, n 2, un arco regularizable, y sea f : A R una
funcion. Denimos la integral de f en el arco A como
_
A
f ds =
_
A
f(x
1
, x
2
, . . . , x
n
) ds =
_
b
a
f((t))|
(t)|dt,
con : [a, b] A una parametrizacion de clase C
1
de A (siempre que la integral de
la derecha tenga sentido).
En particular denimos la longitud de A, long(A), como
long(A) =
_
A
1 ds.
Puede demostrarse que:
El resultado de la integral
_
A
f ds no depende de la parametrizacion escogida.
Si la funcion f : A R es continua entonces la integral de f existe y es nita.
En particular long(A) esta bien denida y es nita para todo arco regularizable
A.
Denicion IV.9. Sea G R
n
, , n 2, un grafo regularizable, y sea f : G R
una funcion. Con la notacion de la Denicion IV.3, denimos la integral de f en el
grafo G como
_
G
f ds =
_
G
f(x
1
, x
2
, . . . , x
n
) ds =
i
_
A
i
f ds
(siempre que la expresion de la derecha tenga sentido).
En particular denimos la longitud de G como
long(G) =
i
long(A
i
).
Se cumple que:
El valor de
_
G
f ds no depende de la descomposicion G =
i
A
i
escogida.
Si la funcion f : G R es continua y no negativa entonces la integral de f
existe (aunque puede ser innita). En particular long(G) esta bien denida
para todo grafo regularizable G.
Como ejemplo calculamos la longitud de una circunferencia C de radio r. Si (a, b)
es el centro de la circunferencia, podemos verla como un grafo C = A
1
A
2
A
3
y
usar la aplicacion (t) = (a + r cos t, b + r sen t) para parametrizar cada uno de los
AN
ALISIS II (F
ISICAS)
82 IV. INTEGRACI
arcos A
1
, A
2
y A
3
, respectivamente, : [0, 2/3] A
1
, : [2/3, 4/3] A
2
, y
: [4/3, 2] A
3
. Como
(t) = (r sen t, r cos t), se tendra que

long(C) =
_
C
1 ds
=
_
A
1
1 ds +
_
A
2
1 ds +
_
A
3
1 ds
=
_ 2
3
0
|
(t)| dt +
_ 4
3
2
3
|
(t)| dt +
_
2
4
3
|
(t)| dt
=
_
2
0
|
(t)| dt =
_
2
0
r
2
dt
= 2r,
que es la bien conocida formula de la longitud de la circunferencia. Notemos que en
ejemplos como el anterior podemos hacer integracion usando una unica parametri-
zacion (en este caso : [0, 2] C) sin necesidad de escribir los pasos intermedios.
Como siguiente ejemplo calculamos la longitud del hipocicloide de cuatro puntas
o astroide, que es la curva C descrita por la parametrizacion : [0, 2] C dada
por (t) = (cos
3
t, sen
3
t). Observese que C no es una curva regular porque en los
cuatro vertices de la estrella no existe tangente pero s es un grafo regularizable
porque es de clase C
1
,
(t) = (3 cos
2
t(sen t), 3 sen
2
t cos t) = 3 cos t sen t(cos t, sen t).
En particular tiene sentido calcular long(C):
long(C) =
_
2
0
|
(t)| dt
=
_
2
0
_
9 cos
2
t sen
2
t(cos
2
t + sen
2
t) dt
=
_
2
0
3 cos t sen tdt
=
3
2
_
2
0
2 cos t sen t dt =
3
2
_
2
0
sen 2t dt
=
3
2
_
cos 2t
2
_
2
0
=
3
2
_
cos 0
2

cos 4
2
_
= 0.
Este resultado es francamente extra no, porque la intuicion sugiere que la longitud
de una curva es siempre positiva. Este caso no es una excepcion pues en realidad
hemos cometido un error bastante burdo (y muy tpico): escribir
a
2
= a en lugar
AN
ALISIS II (F
ISICAS)
IV.2. INTEGRACI
de
a
2
= [a[, lo que solo es correcto si a 0. Rehaciendo los calculos,
long(C) =
_
2
0
|
(t)| dt =
_
2
0
3[ cos t sen t[dt
=
3
2
_
2
0
[2 cos t sen t[ dt =
3
2
_
2
0
[ sen 2t[ dt
=
3
2
_
/2
0
[ sen 2t[ dt +
3
2
_

/2
[ sen 2t[ dt
+
3
2
_
3/2
[ sen 2t[ dt +
3
2
_
2
3/2
[ sen 2t[ dt
=
3
2
_
/2
0
sen 2t dt
3
2
_

/2
sen 2t dt
+
3
2
_
3/2
sen 2t dt
3
2
_
2
3/2
sen 2t dt
= 4
3
2
_
/2
0
sen 2t dt
= 6
_
cos 2t
2
_
/2
0
= 6
_
1
2

_
1
2
__
= 6
que es el resultado correcto.
IV.2.2. Integral de funciones vectoriales en arcos y grafos
orientables (regularizables)
Hasta ahora, tanto en el captulo anterior como en este, siempre hemos interpre-
tado la integracion en terminos de medida (longitudes, areas o vol umenes). Esto no
agota, ni muchsimo menos, su potencial. La integral es tambien util para describir
de manera rigurosa y elegante muchas nociones en diversas ciencias, en particular la
Fsica. Sin ir mas lejos, si A R
3
es un solido y denotamos por (x, y, z) a la densi-
dad de masa puntual en cada (x, y, z) A entonces la masa de un trozo innitesimo
de A sera densidad por volumen, (x, y, z)dxdydz, y por tanto tiene sentido calcular
la masa total M
T
de A como
M
T
=
___
A
(x, y, z) dxdydz.
Analogamente, si A es un trozo digamos de alambre y (x, y, z) representa la densi-
dad (longitudinal) de masa en el punto (x, y, z) de A entonces podremos calcular la
masa total de A como
M
T
=
_
A
(x, y, z) ds.
La nocion de integral de una funcion vectorial sobre un arco o grafo regularizable
tiene tambien una clara inspiracion fsica. Imaginemos que A es un arco regularizable
AN
ALISIS II (F
ISICAS)
84 IV. INTEGRACI
en el espacio e imaginemoslo como un camino, con punto de partida q y punto de
llegada r, por el que queremos desplazar una partcula de masa unidad aplicando en
cada punto p = (x, y, z) de A una fuerza F(p). Deseamos calcular el trabajo total
realizado para trasladar dicha partcula de q a r.
Parametricemos A mediante : [a, b] A con (a) = q, (b) = r. El trabajo
total T
T
realizado sera la suma de los trabajos innitesimales dT
p
realizados para
llevar la partcula del punto p = (t) = (x(t), y(t), z(t)) al punto
(t +dt) = (x(t +dt), y(t +dt), z(t +dt) = p + (dx, dy, dz),
es decir,
T
T
=
p
dT
p
.
Por otra parte cada trabajo innitesimal dT
p
se calcula como
F((t)) (dx, dy, dz)
= F((t)) (x(t +dt) x(t), y(t +dt) y(t), z(t +dt) z(t))
= F((t)) (x
(t), y
(t), z
(t))dt
= F((t))
(t)dt,
as que podemos denir
T
T
=
_
b
a
F((t))
(t)dt.
Llegamos entonces, de modo natural, al siguiente concepto:
Denicion IV.10. Sean A R
n
, n 2, un arco regularizable, una de las dos
posibles orientaciones para A, y F : A R
n
una aplicacion, F = (F
1
, F
2
, . . . , F
n
).
Denimos la integral de F en A con respecto a la orientacion como
_
A,
F ds =
_
A,
F(x
1
, x
2
, . . . x
n
) ds
=
_
A,
F
1
(x
1
, x
2
, . . . x
n
)dx
1
+F
2
(x
1
, x
2
, . . . x
n
)dx
2
+ +F
n
(x
1
, x
2
, . . . x
n
)dx
n
=
_
a
b
F(
(t))
(t) dt,
con : [a, b] A una parametrizacion de clase C
1
compatible con la orientacion
(siempre que la integral de al derecha tenga sentido).
Aunque la denicion anterior es valida en cualquier dimension nosotros trabaja-
remos exclusivamente en R
2
o R
3
. En R
3
, por ejemplo, la notacion anterior queda
como
_
A,
F ds =
_
A,
F(x, y, z) ds =
_
A,
F
1
(x, y, z)dx +F
2
(x, y, z)dy +F
3
(x, y, z)dz,
AN
ALISIS II (F
ISICAS)
IV.2. INTEGRACI
es decir, es como si escribieramos el producto escalar de los vectores F(x, y, z) y
ds = (dx, dy, dz). Para enfatizar esto en algunos textos se usa la notacion
_
A,
ds aunque no sera nuestro caso. Aunque en las deniciones nosotros preferimos

explicitar su presencia, tambien es norma general en los textos omitir la referencia a
la orientacion a la hora de escribir la integral (lo mismo cabe decir para las demas
integrales de funciones vectoriales que estudiaremos en este captulo). Por ultimo
enfatizar que la igualdad
_
A,
F
1
(x, y, z)dx +F
2
(x, y, z)dy +F
3
(x, y, z)dz =
_
F
1
(x, y, z) dx +
_
F
2
(x, y, z) dy +
_
F
3
(x, y, z) dz
carece de sentido, pues nuestra integral no se calcula como la suma de las primiti-
vas de las funciones F
1
, F
2
y F
3
respecto de las variables x, y y z (comparese con
la discusion al nal de la Seccion II.3 del Captulo 2).
Es posible demostrar las siguientes armaciones:
Si F : A R
n
es continua entonces su integral existe y es nita.
El valor de la integral
_
A,
F ds no depende de la parametrizacion elegida
siempre que sea compatible con la orientacion .
_
A,
F ds =
_
A,
F ds.
Denicion IV.11. Sean G R
n
,n 2, un grafo orientable, G =
i
A
i
, una
orientacion para G y F : G R
n
una aplicacion. Denimos la integral de F en G
respecto a la orientacion como
_
G,
F ds =
i
_
A
i
,
i
F ds,
con
i
i
una familia de orientaciones compatible con la orientacion (siempre que
la expresion de la derecha tenga sentido).
Como cabe esperar puede demostrarse que:
La integral
_
G,
F ds no depende de la descomposicion en arcos elegida.
_
G,
F ds =
_
G,
F ds.
Como ejemplo calculemos la integral
_
C
y
2
dx + 2(x + 1)ydy,
AN
ALISIS II (F
ISICAS)
86 IV. INTEGRACI
donde C es la elipse
x
2
4
+ y
2
= 1 y la orientacion jada (que no hemos explicitado
en la integral) es la contraria a la de las agujas del reloj. Usando la parametrizacion
natural (t) = (x(t), y(t)) = (2 cos t, sen t) se obtiene
_
C
y
2
dx + 2(x + 1)ydy =
_
2
0
sen
2
t(2 sen t) + 2(2 cos t + 1) sen t cos t dt
=
_
2
0
2 sen
3
t + 4 cos
2
t sen t + 2 sen t cos t dt
= 0
como el lector puede constatar calculando la integral. A diferencia de lo que ocurra
antes no es extra no que el resultado nal sea cero. De hecho el campo F(x, y) =
(y
2
, 2(x+1)y) es conservativo, lo que signica que se existe una funcion escalar f(x, y)
(el potencial de F) tal que f(x, y) = F(x, y); concretamente, f(x, y) = (x + 1)y
2
.
Cuando un campo es conservativo la integral a lo largo de un arco con punto de
partida q y punto de llegada r solo depende del valor de f en dichos puntos. La
razon es sencilla:
_
A
F ds =
_
b
a
F((t))
(t) dt =
_
b
a
[f((t))]
dt = f((b)) f((a)) = f(r) f(q)

por la regla de la cadena. En nuestro caso la integral es cero porque al ser la curva
cerrada el punto de partida y el punto de llegada es el mismo.
IV.3. Celdas y smplices
Al igual que los arcos eran los atomos de la integracion en curvas, las celdas
son la base sobre la que edicaremos la integracion en supercies.
Denicion IV.12. Sea D R
3
. Diremos que D es una celda si es homeomorfo al
disco cerrado unidad D = (x, y) R
2
: x
2
+y
2
1.
Si K R
2
es compacto y : K D es una aplicacion continua y biyectiva
llamaremos a una parametrizacion de D.
Ejemplos de celdas seran trozos de plano en el espacio de forma cuadrada o
triangular, o tambien una semiesfera (hueca) o un cono. No lo sera un cilindro.
Conforme a lo ya comentado para arcos, toda aplicacion continua y biyectiva con
dominio de denicion un compacto es automaticamente un homeomorsmo. Esto
signica que si D es un conjunto candidato a ser una celda y existe una aplicacion
continua y biyectiva : K D con K homeomorfo a D entonces D sera una celda y
sera una parametrizacion de D. Por ejemplo, si D es la semiesfera positiva unidad
(la parte de la esfera unidad que queda por encima del plano z = 0) entonces :
D D dada por (x, y) = (x, y,
_
1 x
2
y
2
) es claramente continua y biyectiva,
con lo que (como habamos anticipado antes) D es una celda.
Ha colaborado en la preparacion de esta seccion: Maria Fernanda Acosta Garca
AN
ALISIS II (F
ISICAS)
IV.3. CELDAS Y S
IMPLICES 87
3
una celda. Diremos que D es regularizable si existen
un aplicacion : O R
2
R
3
de clase C
1
y un compacto K O tales que:
(K) = D;
existe N K de medida cero tal que es inyectiva sobre K N.
Llamaremos a una parametrizacion de clase C
1
de D.
Notese que, estrictamente hablando, una parametrizacion de clase C
1
no es una
parametrizacion en el sentido de la denicion inicial porque no tiene por que ser
inyectiva en K. Podramos decir sin embargo que es una casi parametrizacion.
Un ejemplo de celda regularizable D es la semiesfera positiva unidad. La para-
metrizacion anterior (x, y) = (x, y,
_
1 x
2
y
2
) no nos sirve porque no esta de-
nida en un abierto que contenga a K = D. En su lugar partimos de la aplicacion
: R
2
R
3
dada por (, ) = (cos sen , sen sen , cos ) (notese que aunque
usamos antes el smbolo para referirnos a una parametrizacion ahora lo usamos
como variable). Entonces (R
2
) D y (K) = D, donde K = [0, 2] [0,

2
].
Ahora hay que quitar de K un conjunto N de medida cero de manera que sea
inyectiva sobre K N. Para ello basta tomar N = Fr K.
Consideremos a continuacion el cono D dado por la ecuacion z =
_
x
2
+y
2
, con
(x, y) D y D el disco cerrado unidad. Si queremos probar que D es una celda
regularizable la candidata natural a parametrizacion vendra dada por : R
2
R
3
con (x, y) = (x, y,
_
x
2
+y
2
). De hecho : D D es continua y biyectiva y es por
tanto una parametrizacion de D, de modo que D es, como ya habamos armado
antes, una celda. Sin embargo no es diferenciable en (0, 0) y por tanto no nos
proporciona la deseada parametrizacion de clase C
1
.
Una alternativa es considerar : R
2
R
3
dada por (u, v) = (ucos v, usen v, u).
Entonces (R
2
) D y (K) = D, donde K = [0, 1] [0, 2], y es inyectiva sobre
Int D. Observese que el cono es un trozo de supercie (el cono innito) que tiene un
punto (el vertice) que no es un punto regular de dicha supercie. A pesar de ello,
como vemos, el cono es una celda regularizable. As pues regularizable y regular
son conceptos diferentes (aunque por supuesto relacionados).
Denicion IV.14. Sea E R
3
. Diremos que E es un smplice si existe una familia
numerable de celdas D
i
i
con E =
i
D
i
tal que, para cada i ,= j, se tiene que o
bien D
i
y D
j
son disjuntos, o bien intersecan en un unico punto, o bien intersecan
en un arco.
Como vemos un smplice resulta de pegar muchas celdas. Cada dos de esas celdas
o son disjuntas, o tienen un punto en com un o tienen a lo sumo un arco en com un.
Un ejemplo tpico de smplice es el cubo: las caras del cubo seran las celdas; dos
celdas tienen en com un una arista (un arco), un vertice (un punto) o son disjuntas.
AN
ALISIS II (F
ISICAS)
88 IV. INTEGRACI
Denicion IV.15. Diremos que E R
3
es un smplice regularizable si admite una
descomposicion en celdas E =
i
D
i
con las propiedades anteriores y tal que cada
D
i
es regularizable.
El siguiente teorema nos proporciona ejemplos variados de smplices y smplices
regularizables:
Teorema IV.16. Sea E R
3
una supercie. Entonces es un smplice. Si E es
regular entonces es un smplice regularizable.
A semejanza de lo que ocurre con los arcos y los grafos, todas las celdas y algunos
smplices (no todos) admiten orientaciones. La nocion de orientacion para una celda
es bastante m as sosticada que en el caso de los arcos, as que nos limitaremos
a denir este concepto en el ambito de las celdas regularizables. A un as, como
se vera, nuestra denicion no es completamente rigurosa. El coste tecnico de una
formalizacion completa es alto as que no entraremos en detalles.
Sea D una celda regularizable. Con la notacion de la Denicion IV.13 es posi-
ble demostrar que el conjunto N puede elegirse con la propiedad adicional de que
U = K N es abierto, (U) es una supercie regular, [
U
: U (U) es una
parametrizacion global (en el sentido del Captulo I) de S = (U) y los vectores
u
(u, v) y
v
(u, v) son linealmente independientes para cada (u, v) U (de hecho
as ocurre en los ejemplos anteriores de la semiesfera y el cono para U = Int K).
Por as decir, una celda regularizable es una supercie regular en casi todo punto.
Mas a un, podemos asociar a cada punto p = (u, v) de S el correspondiente vector
normal
N(p) =

u
(u, v)
v
(u, v)
|
u
(u, v)
v
(u, v)|
.
Por ser una funcion de clase C
1
la funcion N (no confundir con el conjunto N de
medida cero del que hablabamos antes) que hace corresponder a cada punto p de S
el correspondiente vector normal N(p) es continua, lo que intuitivamente signica
que todos los vectores N(p) se nalan al mismo lado de la supercie S (y por tanto
de la celda D). Cada uno de esos lados es lo que llamamos una orientacion de
D, y diremos que una parametrizacion de clase C
1
de D es compatible con dicha
orientacion cuando los vectores se nalen al lado que determina la orientacion.
Como se intuye, toda celda admite dos orientaciones (una opuesta de la otra), y
cada parametrizacion de clase C
1
es compatible con exactamente una de dichas
orientaciones. Resumiendo:
3
una celda regularizable. Llamaremos una orienta-
cion en D a cada uno de los dos sentidos posibles en los que se pueden colocar, de
forma continua, los vectores normales unitarios a D.
Sean una de las dos posibles orientaciones para D y una parametrizacion de
clase C
1
para D. Diremos que es compatible con si los vectores
u
v
tienen
el sentido marcado por la orientacion .
AN
ALISIS II (F
ISICAS)
IV.4. INTEGRACI
ON EN CELDAS Y S
IMPLICES 89
Notese que si es compatible con la orientacion entonces la parametrizacion
(w, z) = (z, w) es compatible con su opuesta .
Un smplice se dene a partir de pegar celdas y en algunos casos, aunque sea
regularizable, es imposible asignarle una orientacion. En lugar de denir exacta-
mente que smplices se pueden orientar y cuales no, que es bastante complicado, nos
conformaremos con describir la orientacion de las supercies compactas y conexas:
estas son la esfera (o algo homeomorfo a ella), el toro, el doble toro, el triple toro o,
en general, el toro con n agujeros.
La clave es que este tipo de supercies descomponen R
3
en dos regiones: una
interior acotada y la otra exterior no acotada. Que va a ser orientar una supercie
compacta y conexa?: jar el interior o el exterior. De nuevo tenemos solo dos orien-
taciones posibles, la interior y la exterior, una dada y su opuesta . Notese que
tal y como hemos denido la orientacion aqu no se precisa la regularidad de la su-
percie en cuestion. En el caso regularizable, podemos asociar las dos orientaciones
a vectores normales saliendo de la region acotada o entrando en ella.
Denicion IV.18. Sea M R
3
una supercie compacta y conexa regularizable,
M =
i
D
i
, con las D
i
celdas regularizables. Sean
i
orientaciones respectivas para
las celdas D
i
y sea una orientacion de M. Diremos que la familia de orienta-
ciones
i
i
es compatible con si los vectores normales correspondientes a las
orientaciones
i
apuntan en el sentido marcado por la orientacion .
IV.4. Integracion en celdas y smplices
En esta seccion introducimos los conceptos de integral de una funcion escalar o
vectorial en una celda o smplice regularizable. El caso de las funciones escalares es
analogo al de la integracion en arcos y grafos: ahora la integral de la funcion 1 sobre
una celda o smplice debera proporcionarnos su area. En el caso de las funciones
vectoriales la situacion es bastante diferente a la estudiada para grafos.
IV.4.1. Integral de funciones escalares en celdas y smplices
(regularizables)
Introduciremos este concepto de manera inversa a como hacamos en el caso de
los arcos: daremos primero la denicion de area de una celda regularizable; esta
sera tambien la integral de la funcion 1 sobre dicha celda; a partir de aqu se dene
de manera natural la integral de cualquier funcion escalar sobre dicha celda.
Queremos dar una denicion razonable del area de una celda regularizable D. Con
la notacion habitual, supongamos por simplicidad que el conjunto K con (K) = D
Han colaborado en la preparacion de esta seccion: Maria Fernanda Acosta Garca y Mara del
Carmen Argudo Fernandez
AN
ALISIS II (F
ISICAS)
90 IV. INTEGRACI
es un rectangulo. Si troceamos el rectangulo K en rectangulos innitesimales dR
u,v
con vertice inferior izquierdo en los puntos (u, v) de K y de lados du y dv y
escribimos (dR
u,v
) = dS
p
donde p = (u, v), entonces es sensato intentar dotar de
sentido a la expresion
area(D) =
(u,v)K
area((dR
u,v
)) =
pD
area(dS
p
).
Como denir el area de dS
p
? Consideremos los vectores (segmentos orienta-
dos) innitesimales
du =
(u, v)(u +du, v) = (du, 0)

y
dv =
(u, v)(u, v +dv) = (0, dv).

Estos vectores son llevados por la accion de , respectivamente, a vectores que deno-
taremos por (
du) y (
dv) con origen el punto p = (x, y, z) = (u, v). Consideremos

por ejemplo
(
du) =
(x, y, z)(x +dx, y +dy, z +dz) = (dx, dy, dz).

Cual es el extremo de (
du), es decir, como cabe cuanticar dx, dy y dz? Si (con

un habitual abuso de notacion) denotamos a las componentes de como (u, v) =
(x(u, v), y(u, v), z(u, v)) se tendra que
dx = x +dx x = x(u +du, v) x(u, v) =
x
u
(u, v)du.
Haciendo lo propio para dy y dz y omitiendo la referencia al punto (u, v) para
simplicar la notacion llegamos a
(
du) = (dx, dy, dz) = du

_
x
u
,
x
u
_
= du
u
.
Analogamente,
(
dv) = dv
v
.
Dado que podemos ver dS
p
como el paralelogramo en el espacio determinado
por p y los vectores (
du) y (
dv), podemos usar una conocida formula del

Algebra
Lineal para calcular su area,
area(dS
p
) = |(
du) (
dv)| = |
u
v
|dudv.
Es claro entonces que la formula
area(D) =
__
K
|
u
(u, v)
v
(u, v)|dudv
tiene sentido y es la que usaremos como punto de partida para nuestra denicion de
integral.
AN
ALISIS II (F
ISICAS)
IV.4. INTEGRACI
ON EN CELDAS Y S
IMPLICES 91
Denicion IV.19. Sean D R
3
una celda regularizable y f : D R una aplica-
cion. Denimos la integral de f en la celda D como
_
D
f dS =
_
D
f(x, y, z) dS =
__
K
f((u, v))|
u
(u, v)
v
(u, v)| dudv,
con una parametrizacion de D de clase C
1
y K el correspondiente compacto en
la denicion de (siempre que la segunda integral tenga sentido).
En particular denimos el area de D como
area(D) =
_
D
1 dS =
__
K
|
u
(u, v)
v
(u, v)| dudv.
Puede demostrarse que:
El valor de
_
D
f dS no depende de la parametrizacion elegida; por tanto la
integral esta denida sin ambig uedad.
Si f : D R es continua entonces su integral existe y es nita; en particular
area(D) esta bien denida para toda celda regularizable D.
La generalizacion del concepto de integral a smplices no encierra ninguna di-
cultad.
Denicion IV.20. Sean E R
3
un smplice regularizable, y sea f : E R una
aplicacion. Con la notacion de la Denicion IV.15, denimos la integral de f en el
smplice E como
_
E
f dS =
_
E
f(x, y, z) dS =
i
_
D
i
f dS
(siempre que la expresion de la derecha tenga sentido).
En particular, denimos el area de E como
area(E) =
i
area(D
i
).
De nuevo se demuestra que:
El valor de
_
E
f dS no depende de la descomposicion E =
i
D
i
escogida.
Si la funcion f : E R es continua y no negativa entonces la integral de
f existe (aunque puede ser innita). En particular area(E) esta bien denida
para todo smplice regularizable E.
AN
ALISIS II (F
ISICAS)
92 IV. INTEGRACI
Como ejemplo de lo anteriormente expuesto calcularemos el area de una esfera
centrada en el origen de radio r.
Usamos : R
2
R
3
dada por (, ) = (r cos sen , r sen sen , r cos ).
Si denotamos por A a su area y A
i
a las areas respectivas de las ocho celdas D
i
(correspondientes a los ocho octantes en que los ejes coordenados dividen el espacio)
en que descomponemos la esfera se tendra
A = A
1
+A
2
+ +A
8
=
__
[0,
2
][0,
2
]
|
| dd +
__
[
2
,][0,
2
]
|
| dd
+
__
[,
3
2
][0,
2
]
|
| dd + +
__
[
3
2
,2][
2
,]
|
|dd
=
__
[0,2][0,]
|
| dd.
Notese que aunque la esfera no es una celda, podemos calcular su area mediante una
sola integral en [0, 2] [0, ]. Por otro lado,
i j k
r sen sen r cos sen 0
r cos cos r sen cos r sen
= (r
2
cos sen
2
, r
2
sen sen
2
, r
2
sen cos )
y
|
| =
_
r
4
cos
2
sen
4
+r
4
sen
2
sen
4
+r
4
sen
2
cos
2
=
_
r
4
sen
4
+r
4
sen
2
cos
2
=
_
r
4
sen
2
= r
2
sen
(pues siempre sen 0). Entonces
A =
__
[0,2][0,]
|
| dd
=
__
[0,2][0,]
r
2
sen dd
= 2r
2
_

0
sen d
= 2r
2
2
= 4r
2
,
que es la bien conocida formula del area de la esfera.
AN
ALISIS II (F
ISICAS)
IV.4. INTEGRACI
ON EN CELDAS Y S
IMPLICES 93
IV.4.2. Integral de funciones vectoriales sobre celdas y su-
percies compactas conexas (regularizables)
Al igual que en el caso de los arcos, nuestra motivacion para denir la integral
de una funcion vectorial sobre una celda o supercie regularizable proviene de la
Fsica.
Imaginemos que nuestra celda regularizable D es la seccion de una tubera for
la que circula el agua. Supongamos que el ujo de agua que atraviesa la tubera no
experimenta variaciones. Esto signica que el vector velocidad del agua en un punto
dado de la tubera no vara con el tiempo (aunque puede ser diferente seg un el punto
en el que nos encontremos. Pretendemos hallar una formula que calcule la cantidad
de agua que atraviesa la seccion D por unidad de tiempo.
Para cada p D denotemos por F(p) al vector velocidad del agua en p, y
con la notacion anteriormente usada pongamos p = (u, v), (u, v) K, siendo
dS
p
= (dR
u,v
) el trozo innitesimal de celda que contiene a p. Recordemos que
dS
p
era el trozo de paralelogramo en el espacio determinado por p y los vectores
(
du) y (
dv). Dado que F(p) es la velocidad del agua en el punto p, cuando haya
transcurrido una unidad de tiempo habra atravesado dS
p
una cantidad de agua
igual al volumen del paraleleppedo determinado por p y los vectores (
du), (
dv)
y F(p). De acuerdo con el

Algebra Lineal este volumen es el valor absoluto del
producto mixto de los tres vectores,
F(p) ((
du) (
dv)) = F((u, v)) (

u
(u, v)
v
(u, v)) dudv,
con lo que el ujo de agua que atraviesa D por unidad de tiempo vendra dado por
__
K
F((u, v)) (
u
(u, v)
v
(u, v)) dudv
donde la omision del valor absoluto indica que estamos calculando el ujo de agua a
traves de D en el sentido determinado por la orientacion con la que es compatible
.
Esto da pie a introducir la siguiente denicion:
Denicion IV.21. Sean D R
3
una celda regularizable, una de las dos posibles
orientaciones para D, y F : D R
3
una aplicacion. Denimos la integral de F en
D respecto a la orientacion como
_
D,
F dS =
_
D,
F(x, y, z) dS =
__
K
F((u, v)) (
u
(u, v)
v
(u, v)) dudv,
con : O R
3
, (K) = D, una parametrizacion de clase C
1
compatible con la
orientacion (siempre que la integral de al derecha tenga sentido).
Es posible demostrar que:
AN
ALISIS II (F
ISICAS)
94 IV. INTEGRACI
Si F : D R
3
es continua entonces su integral existe y es nita.
El valor de la integral
_
D,
F dS no depende de la parametrizacion elegida
siempre que esta sea compatible con la orientacion .
_
A,
F dS =
_
A,
F dS.
La generalizacion a supercies compactas y conexas es inmediata.
Denicion IV.22. Sean M R
3
una supercie compacta y conexa, una de las
dos posibles orientaciones para M, y M : D R
n
una aplicacion. Con la notacion
de las Deniciones IV.15 y IV.18, denimos la integral de F en M respecto a la
orientacion como
_
M,
F dS =
_
M
F(x, y, z) dS =
i
_
D
i
,
i
F dS
siendo la familia de orientaciones
i
i
compatible con (siempre que la expresion
de la derecha tenga sentido).
Como cabe suponer la denicion esta exenta de ambig uedades (no depende de
la descomposicion en celdas escogida). Puede tambien demostrarse que
_
M,
F dS =
_
M,
F dS
y que todas las funciones continuas denidas en supercies compactas y conexas
tienen integral nita.
Hay una sencilla formula que conecta las integrales de funciones escalares y vecto-
riales sobre celdas y supercies (evitaremos entrar en excesivas precisiones tecnicas).
Por ejemplo consideremos el caso de una celda regularizable D, sea una orien-
tacion para D y sea una parametrizacion de clase C
1
de D compatible con su
orientacion. Con la notacion (x, y, z) = (u, v) escribamos
N(x, y, z) =

u
(u, v)
v
(u, v)
|
u
(u, v)
v
(u, v)|
,
es decir, para cada (x, y, z), N(x, y, z) es el vector normal unitario a D en (x, y, z)
en la direccion marcada por la orientacion . Consideremos una funcion vectorial
F : D R
3
y sea f : D R la funcion escalar dada por f = F N (producto
AN
ALISIS II (F
ISICAS)
IV.4. INTEGRACI
ON EN CELDAS Y S
IMPLICES 95
escalar). Entonces
_
D,
F dS =
_
D,
F(x, y, z) dS
=
__
K
F((u, v)) (
u
(u, v)
v
(u, v)) dudv
=
__
K
F((u, v))

u
(u, v)
v
(u, v)
|
u
(u, v)
v
(u, v)|
|
u
(u, v)
v
(u, v)| dudv
=
_
D
F(x, y, z) N(x, y, z) dS
=
_
D
f dS,
es decir, las integrales de la funcion vectorial F y la funcion escalar f coinciden. A
veces es facil encontrar el vector N(x, y, z) directamente (sin necesidad de recurrir a
parametrizaciones), por ejemplo en el caso de supercies denidas en forma implci-
ta. En tales casos es aconsejable intentar primero calcular la segunda integral, por si
acaso se producen simplicaciones que hagan innecesario usar dichas parametriza-
ciones. En particular, si f = F N c es constante entonces
_
D,
F dS = c area(D).
Un ejemplo sustancioso al respecto tiene que ver con la fuerza de presion que
un uido ejerce sobre una supercie. Para jar las ideas imaginemos una presa de
anchura l y de seccion un cuarto de circunferencia de radio r. Mas precisamente,
esta presa sera la celda en R
3
dada por la parametrizacion
(x, y) = (x, y, r
_
r
2
(y r)
2
,
(x, y) [0, l] [0, r], que usando coordenadas cilndricas admite la parametrizacion
de clase C
1
(x, ) = (x, r +r cos , r +r sen ),
(x, ) [0, l] [, 3/2].
Queremos hallar la fuerza de presion que un ro ejerce sobre esta presa (supo-
niendo que el nivel del agua coincide con el de la parte mas alta de la presa). Si en
cada punto p = (x, y, z) de la presa denotamos por F(p) a la fuerza de presion que
el agua ejerce sobre p tiene entonces sentido calcular la fuerza de presion total P
T
mediante la formula
P
T
=
_
D,
F(x, y, z) dS,
con la orientacion hacia abajo, porque la presion en cada cada punto dependera no
solo de la magnitud de la fuerza F sino tambien del angulo con que se ejerce esta
fuerza. En nuestro caso es sabido que F(p) tiene magnitud gh(p) (con la densidad
del agua que suponemos constante, g la constante de gravitacion y h(p) la altura
del agua sobre el punto p) y su sentido es el de la normal a la presa en dicho punto. Si
denotamos por N(p) a la normal unitaria en el punto p hacia abajo, se tendra pues
AN
ALISIS II (F
ISICAS)
96 IV. INTEGRACI
que F(p) = gh(p)N(p) y por tanto F(p) N(p) = gh(p). En otras palabras, la
fuerza de presion total vendra dada por la formula
P
T
=
_
D
gh(x, y, z) dS = g
_
D
h(x, y, z) dS.
Hasta ahora no hemos tenido en cuenta la forma de la presa. En nuestro caso
concreto, si (x, y, z) = (x, ) entonces
h(x, y, z) = r (r +r sen ) = r sen .
Por otro lado,
x
= (1, 0, 0) y
= (0, r sen , r cos ), con lo que
= (0, r cos , r sen )

y
|
x
| = r.
En consecuencia
P
T
= g
__
[0,l][,3/2]
r
2
sen dxd = gr
2
[cos ]
3/2
= gr
2
.
Notese que como la presion se calcula nalmente como una integral escalar no ne-
cesitamos preocuparnos por la orientacion de la parametrizacion que hemos usado
para nuestras cuentas (que en el ejemplo anterior es hacia arriba).
AN
ALISIS II (F
ISICAS)
Captulo V
Teoremas integrales del Analisis Vectorial
Los teoremas integrales del Analisis Vectorial vinculan el Calculo Diferencial
Vectorial y el Calculo Integral Vectorial. Esto se hara mediante los importantes
teoremas de Green, Gauss y Stokes. Los teoremas de integracion basicos en Analisis
Vectorial tuvieron su origen en la fsica.
El teorema de Green, descubierto a principios del siglo XIX, surgio en relacion
con la teora del potencial. El teorema de Gauss, tambien conocido como teorema
de la divergencia, surgio en relacion con la electrostatica. El teorema de Stokes le
fue sugerido por primera vez a este en una carta que le dirigio el fsico Lord Kelvin
en 1850; posteriormente Stokes lo uso en el examen para el premio Smith en 1854.
V.1. Teorema de Green
El teorema de Green relaciona una integral de lnea a lo largo de una curva
cerrada C con los valores de las derivadas del campo en la celda encerrada por la
curva. Este resultado se generalizara en las siguientes secciones.
Teorema V.1. Sea D R
2
una celda y supongamos que C = Fr D es una curva
regularizable. Sea F : O R
2
R
2
de clase C
1
, con O D. Entonces
__
D
_
F
2
x
(x, y)
F
1
y
(x, y)
_
dxdy =
_
C
F
1
(x, y)dx +F
2
(x, y)dy =
_
C
F ds,
donde C tiene orientacion antihoraria.
La orientacion positiva (antihoraria) para la curva frontera de la celda se puede
recordar mediante la siguente regla: si caminamos a lo largo de la curva C con la
orientacion positiva entonces la celda D quedara siempre a nuestra izquierda.
Ha colaborado en la preparacion de este captulo: Cristina Pina Martnez
97
98 V. TEOREMAS INTEGRALES DEL AN
ALISIS VECTORIAL
Estrictamente hablando, en el captulo anterior denimos las celdas como objetos
de R
3
. Analogamente, se entiende que D R
2
es una celda si es homeomorfa al disco
cerrado D.
El teorema de Green iguala una integral de una variable con otra integral de dos
variables. Es muy util pues relaciona una integral de lnea alrededor de la frontera
de una region, con una integral de area sobre el interior de la region, y en muchos
casos es mas facil evaluar la integral de lnea que la integral de area, o viceversa.
Por ejemplo, si sabemos que F se anula en la frontera, podemos concluir de manera
inmediata que
__
D
(
F
2
x
(x, y)
F
1
y
(x, y)) dxdy = 0 aunque la expresion del integrando
no necesariamente se anule en el interior.
Hay una analoga de este teorema con el teorema fundamental del Calculo Inte-
gral
_
b
a
f(x)dx = F(b)F(a), con F una primitiva de f. Si la primitiva de f toma los
mismos valores en a y b entonces
_
b
a
f(x)dx = 0 con independencia de los puntos del
intervalo [a, b] en los que se anule f. Podemos decir que este teorema elimina una
dimension reduciendo el problema a evaluar la funcion en dos puntos, mientras que
el teorema de Green pasa de dos variables a una. Si f(x, y) =
F
2
x
(x, y)
F
1
y
(x, y)
es la funcion del integrando a la izquierda de la igualdad en el teorema de Green
entonces podemos considerar que F, la primitiva de f, es la integral de la derecha
de la igualdad.
La igualdad
__
D
f(x, y)dxdy =
_
Fr D
Fds solo se cumple si
F
2
x
(x, y)
F
1
y
(x, y) =
f. Buscando una analoga con el teorema fundamental del Calculo podemos consi-
derar esta igualdad como una denicion de primitiva. A diferencia de lo que ocurre
con el caso de una variable, este problema normalmente no tiene solucion, es decir,
lo habitual es que una funcion f : O R
2
no admita primitiva.
Un caso sencillo de funcion f que s que admite primitiva es la funcion cons-
tante f(x, y) = 1. De hecho, si F
1
(x, y) =
1
2
y y F
2
(x, y) =
1
2
x entonces
F
2
x
(x, y)
F
1
y
(x, y) =
1
2
(
1
2
) = 1 = f(x, y). Por tanto podemos escribir
(D) =
__
D
1 dxdy =
_
Fr D
F ds =
1
2
_
Fr D
ydx +xdy.
Con ayuda del teorema de Green hemos demostrado que el area de una celda puede
calcularse a partir de su permetro.
Por ejemplo, calculemos del area de la region D encerrada por la elipse C de
ecuacion
x
2
a
2
+
y
2
b
2
= 1. Se tiene
(D) =
1
2
_
C
ydx +xdy =
1
2
_
2
0
[b sen t(a sen t) +a cos t(b cos t)] dt = ab;
hemos usado la parametrizacion x = a cos t y = b sen t. Si a = b = r entonces D es
un crculo y su area viene dada, como es bien sabido, por (D) = r
2
.
El teorema de Green se aplica en realidad a cualquier region decente en R
2
,
concretamente una celda D
1
a la que se han quitado varios agujeros (tambien celdas)
AN
ALISIS II (F
ISICAS)
V.2. TEOREMA DE STOKES 99
D
2
, . . . , D
n
. Cogemos las fronteras de los agujeros y los orientamos en sentido hora-
rio, mientras que la frontera de la celda grande la orientamos en sentido contrario.
Entonces se tiene
__
D
_
F
2
x
(x, y)
F
1
y
(x, y)
_
dxdy =
n
i=1
_
Fr D
i
F ds.
V.2. Teorema de Stokes
El teorema de Stokes extiende el teorema de Green a celdas en R
3
.
Teorema V.2. Sea D R
3
una celda regularizable y supongamos que C = Fr D es
una curva regularizable. Sea F : O R
3
R
3
de clase C
1
, con O D. Entonces
_
D
rot F dS =
_
C
F ds;
aqu rot F = F = (
F
3
x

F
2
y
,
F
1
x

F
3
y
,
F
2
x

F
1
y
) es el rotacional de F.
En el teorema tenemos dos integrales de funciones vectoriales, as que necesitamos
especicar las respectivas orientaciones. Pues bien, estas deben compatibles, en el
sentido de que si nos movemos a lo largo de C seg un su orientacion entonces los
vectores normales de D han de quedar a nuestra izquierda. Es como si un golsta
girara alrededor de un green de un campo de golf: la bandera del hoyo debe quedar
siempre a la izquierda.
El teorema de Stokes relaciona la integral de lnea de un campo alrededor de una
curva cerrada C en R
3
, con la integral sobre una celda D de la cual C es la frontera.
En este aspecto se parece mucho al teorema de Green. Para enfatizar esta conexion
se escribe a veces rot F =
F
2
x
(x, y)
F
1
y
(x, y) cuando F : O R
2
R
2
. Notese
que en este caso el rotacional de F no es una funcion vectorial sino escalar. Un
buen truco para recordar la denicion de rotacional en este caso es pasar de nuestra
funcion F(x, y) = (F
1
(x, y), F
2
(x, y)) a G(x, y, z) = (F
1
(x, y), F
2
(x, y), 0); entonces
rot G = (0, 0, rot F).
Analogamente a como ocurra con el teorema de Green, podemos considerar una
celda con agujeros orientados en sentido contrario. Entonces se tendra
_
D
rot FdS =
n
i=1
_
Fr D
i
F ds.
Como ejemplo de aplicacion del teorema de Stokes consideremos D = (x, y, z)
R
3
: z = 1 x y, x
2
+ y
2
1 y denotemos Fr D = C. Queremos calcular
_
C
y
3
dx+x
3
dy+z
3
dz =
_
C
Fds donde se supone en C la orientacion antihoraria. Si
escribimos F(x, y, z) = (y
3
, x
3
, z
3
) entonces, de acuerdo con el teorema de Stokes,
_
C
F ds =
_
D
rot F dS =
_
D
G dS, con
G = rot F =
i j k
z
y
3
x
3
z
3
= (0, 0, 3x
2
+ 3y
2
).
AN
ALISIS II (F
ISICAS)
ALISIS VECTORIAL
Para calcular
_
D
G dS usamos la parametrizacion : K D dada por (x, y) =
(x, y, 1 x y), siendo K = D el disco cerrado unidad. Entonces
x
= (1, 0, 1),
y
= (0, 1, 1) y
y
=
i j k
1 0 1
0 1 1
= (1, 1, 1).
As,
_
D
G dS =
__
K
G (
x
y
) dxdy =
__
K
3(x
2
+y
2
) dxdy. Haciendo un cambio
a coordenadas polares, esta ultima integral vale
__
[0,1][0,2]
3r
2
r drd = 6
_
1
0
r
3
dr =
3
2
.
En suma,
_
C
y
3
dx +x
3
dy +z
3
dz =
3
2
.
V.3. Teorema de Gauss (o de la divergencia)
As como el teorema de Stokes reduce a veces el calculo de una integral de
supercie a una curvilnea, el teorema de Gauss transforma ciertas integrales triples
en integrales de supercie.
Teorema V.3. Sea M una supercie compacta y conexa regularizable. Denotemos
por V al recinto encerrado por M. Sea F : O R
3
R
3
de clase C
1
con O V .
Entonces
___
V
div V dxdydz =
_
M
F dS;
aqu div F = F =
F
1
x
+
F
2
y
+
F
3
z
es la divergencia de F y en la integral de la
derecha se toma la orientacion hacia el exterior.
Como en casos anteriores, el teorema admite una generalizacion a un recinto del
tipo del anterior al que se han extrado otros recintos mas peque nos y disjuntos
de su interior. Si llamamos M
1
a la supercie exterior (orientada hacia afuera) y
M
2
, . . . , M
n
a las supercies de los recintos extrados (orientadas hacia adentro) se
tendra que
___
V
div F dxdydz =
n
i=1
_
M
i
F dS.
Por ejemplo consideremos F(x, y, z) = (2x, 3y, 5z) y V = (x, y, z) : x
2
+ y
2
+
z
2
1, z 0. La frontera de V es una supercie union de dos celdas, una esferica y
otra plana, M = (x, y, z) : x
2
+y
2
+z
2
= 1, z 0 (x, y, z) : x
2
+y
2
1, z = 0,
as que a priori el calculo de la integral
_
M
F dS se antoja bastante farragoso. Sin
embargo aplicando el teorema de Gauss obtenemos inmediatamente
_
M
F dS =
___
V
div F dxdydz =
___
V
(23+5) dxdydz = 4(V ) =
4
4
3
1
3
2
=
8
3
.
AN
ALISIS II (F
ISICAS)
V.4. CAMPOS CONSERVATIVOS 101
V.4. Campos conservativos
Denicion V.4. Sea F : O R
n
R
n
continua. Diremos que F es conservativa
(o que el campo F es conservativo) si existe f : O R de clase C
1
tal que
f =
_
F
x
1
,
F
x
2
, . . . ,
F
x
n
_
= F = (F
1
, F
2
, . . . , F
n
).
A la funcion f se le llama una funcion potencial de F.
Puede demostrarse que si O es conexo y f
1
, f
2
son funciones potenciales de F
entonces se diferencian en una constante.
En un cierto sentido los campos conservativos son aquellos que tienen primi-
tivas. Observese que ya habamos enfocado esta cuestion desde otra perspectiva
al estudiar el teorema de Green. Entonces se obtena una funcion vectorial como
primitiva de una funcion escalar. (Otro tanto ocurrira con el teorema de Gauss,
solo que ahora la funcion a integrar div F esta denida en R
3
en lugar de R
2
;
en el teorema de Stokes tanto la funcion a integrar rot F como su primitiva
son funciones vectoriales.) Ahora es la reves: la primitiva es escalar y la funcion a
integrar es vectorial (el campo). En todo caso esto son simples descripciones intui-
tivas: ninguna de estas ideas es una verdadera generalizacion de la idea de primitiva,
que solo sirve para funciones de una variable.
Teorema V.5. Sea F : O R
n
R
n
continua. Entonces las siguientes armacio-
nes son equivalentes:
(i) F es conservativa;
(ii) Si A y B son arcos regularizables en O con los mismos extremos p, q y las
orientaciones de p a q entonces
_
A
F ds =
_
B
F ds;
(iii) Si C es una curva cerrada regularizable en O entonces
_
C
F ds = 0.
Mas a un, en (ii) se tiene que
_
A
F ds =
_
B
F ds = f(q) f(p) para cada funcion
potencial f de F.
Asimismo, si n = 2 o n = 3, F es de clase C
1
y O es simplemente conexo,
entonces las tres armaciones anteriores son equivalentes a
(iv) rot F = 0
Cuando decimos que O es simplemente conexo nos referimos a un abierto de R
2
o
R
3
que no tiene agujeros o, mas exactamente, que tiene la propiedad de cualquier
curva cerrada en O puede contraerse a un punto de forma continua sin salirnos de
O.
AN
ALISIS II (F
ISICAS)
ALISIS VECTORIAL
Por ejemplo consideremos la funcion F : R
3
R
3
dada por F(x, y, z) =
(y, z cos(yz)+x, y cos(yz)). Como la funcion esta denida en todo R
3
y R
3
es simple-
mente conexo, si demostramos que su rotacional es igual a cero habremos probado
que F es conservativa.
Por tanto veamos que valor tiene el rotacional:
rot F =
i j k
z
y z cos(yz) +x y cos(yz)
= (cos(yz) zy sen(yz) cos(yz) +yz sen(yz), 0 0, 1 1)

= (0, 0, 0).
As pues, F es conservativo.
Busquemos un potencial f para F.
Como
f
x
= y se tendra f(x, y, z) = xy +g(y, z) (pues si la derivada respecto de
x de f es y entonces su integral sera xy mas una constante desde el punto de
vista de x como variable, es decir, una funcion g(y, z) que no depende de x).
Entonces z cos(yz) + x =
f
y
= x +
g
y
, de donde
g
y
= z cos(yz). As pues,
g(y, z) = sen(yz) +h(z), con lo que ya sabemos que f(x, y, z) = xy +sen(yz) +h(z).
Finalmente, y cos(yz) =
f
z
= y cos(yz) +
dh
dz
. Por tanto,
dh
dz
= 0 y h(z) = c con
c constante. As pues, f(x, y, z) = xy + sen(y, z) + c. De hecho estas son todas las
funciones potenciales de f.
Como es facil comprobar, si tomamos la funcion F(x, y) = (
y
x
2
+y
2
,
x
x
2
+y
2
), con
F : R
2
(0, 0) R
2
, se tiene que rot F = 0 y al tiempo
_
C
F ds ,= 0 para la
circunferencia unidad C. No hay contradiccion con el Teorema V.5 pues el plano
menos el origen no es simplemente conexo: no podemos contraer C a un punto sin
pasar por el origen.
AN
ALISIS II (F
ISICAS)
Captulo VI
Maximos y mnimos
Nuestro objetivo en este captulo es, dada una cierta funcion escalar f : A
R
n
R, encontrar los puntos de A (si los hay) en que f alcanza los valores mas
grandes y mas peque nos (peque no reere aqu a grande con signo negativo).
VI.1. Extremos absolutos y relativos
Comenzamos con unas deniciones basicas.
Denicion VI.1. Sean f : A R
n
R, x
0
A. Diremos que f tiene en x
0
un
mnimo relativo si f(x) f(x
0
) para todo x A, x sucientemente proximo a x
0
.
n
R, x
0
0
un
maximo relativo si f(x) f(x
0
) para todo x A, x sucientemente proximo a x
0
.
n
R, x
0
0
un
mnimo absoluto si f(x) f(x
0
) para todo x A.
n
R, x
0
0
un
maximo absoluto si f(x) f(x
0
) para todo x A.
Si en las anteriores deniciones las desigualdades son estrictas cuando x ,= x
0
, hablaremos de maximos y mnimos (relativos o absolutos) estrictos. Llamaremos
extremos conjuntamente a maximos y mnimos.
Nuestro objetivo principal en este captulo es calcular extremos absolutos. Dado
que cualquier extremo absoluto es tambien relativo tambien sera de utilidad disponer
mecanismos para encontrar estos ultimos. De hecho por lo general es bastante mas
sencillo encontrar los segundos.
Ha colaborado en la preparacion de este captulo: Cristina Pina Martnez
103
104 VI. M
AXIMOS Y M
INIMOS
Para empezar, el siguiente resultado (una reescritura de la Proposicion I.16(iii))
nos garantiza la existencia de extremos absolutos si A es compacto (aunque no nos
dice como calcularlos):
Teorema VI.5. Si A R
n
es compacto y f : A R es continua entonces f tiene
maximos y mnimos absolutos.
En cuanto a los extremos relativos, ya sabemos de cursos pasados como encon-
trarlos en el caso de las funciones de una variable usando las derivadas sucesivas de
la funciones. Los siguientes teoremas generalizan los resultados de entonces:
Teorema VI.6. Sea f : O R
n
R de clase C
1
. Supongamos que f tiene un
extremo relativo en x
0
O. Entonces f(x
0
)(
F
x
1
(x
0
), . . . ,
F
x
n
(x
0
)) = 0.
Teorema VI.7. Sean f : O R
n
R de clase C
2
y x
0
O tal que f(x
0
) = 0.
Consideremos la matriz hessiana o Hessiano de f en x
0
, Hf(x
0
), denida por
Hf(x
0
) =
_
_
_
_
_
_
2
f
x
2
1
(x
0
)

2
f
x
1
x
2
(x
0
)

2
f
x
1
x
n
(x
0
)
2
f
x
2
x
1
(x
0
)

2
f
x
2
2
(x
0
)

2
f
x
2
x
n
(x
0
)
.
.
.
.
.
.
.
.
.
.
.
.
2
f
x
n
x
1
(x
0
)

2
f
x
n
x
2
(x
0
)

2
f
x
2
n
(x
0
)
_
_
_
_
_
_
y denotemos por H
i
al determinante de la submatriz de Hf(x
0
) formada por sus
primeras i las e i columnas, i = 1, 2, . . . , n. Entonces:
si H
i
> 0 para cada i entonces f tiene en x
0
un mnimo relativo estricto;
si alternativamente H
1
< 0, H
2
> 0, H
3
< 0, H
4
> 0, . . ., entonces f tiene en
x
0
un maximo relativo estricto;
si H
i
,= 0 para cada i pero no estamos en ninguna de las dos situaciones
anteriores entonces f no tiene en x
0
ni un maximo ni un mnimo relativo;
si H
i
= 0 para alg un i entonces no se puede decir nada a priori.
Como ejemplo estudiamos los extremos relativos de f(x, y) = x
3
3x
2
+y
2
. Para
ello hacemos f(x, y) = 0.
Si f(x, y) = (3x
2
6x, 2y) = (0, 0) entonces, igualando las primeras componen-
tes, 3x
2
6x = 0, x(x 2) = 0 y por tanto x = 0 o x = 2. Igualando las segundas
componentes, 2y = 0 y por tanto y = 0. Por tanto, los candidatos a maximos o
mnimos relativos son (0, 0) y (2, 0).
Estudiemos ahora el Hessiano:
Hf(x, y) =
_

2
f
x
2
2
f
xy
2
f
yx
2
f
y
2
_
=
_
6x 6 0
0 2
_
.
AN
ALISIS II (F
ISICAS)
VI.2. EXTREMOS CONDICIONADOS 105
Por tanto, para (0, 0) tenemos
Hf(0, 0) =
_
6 0
0 2
_
.
Dado que H
1
= 6 < 0 y H
2
= 12 < 0, en (0, 0) no tendremos ni maximo ni
mnimo. En cuando a (2, 0),
Hf(2, 0) =
_
6 0
0 2
_
Como H
1
= 6 > 0 y H
2
= 12 > 0, en (2, 0) habra un mnimo relativo estricto.
La situacion en (0, 0) se entiende mejor cuando consideramos la interseccion de
la graca de z = f(x, y) = x
3
3x
2
+ y
2
con los planos x = 0 e y = 0. En el
primer caso obtenemos la curva z = y
2
, es decir, una parabola con mnimo absoluto
en el origen. La interseccion de la graca con el plano y = 0 proporciona la curva
z = x
3
x
2
= x
2
(x1), que tiene en el origen un maximo relativo. Es pues evidente
que en (0, 0) la funcion f no puede tener extremos relativos.
VI.2. Extremos condicionados
En esta seccion consideramos el problema de encontrar los extremos relativos y
absolutos de funciones cuando se restringen a ciertos subconjuntos de su dominio de
denicion original. Los casos tpicos son los de funciones denidas en el plano cuando
se restringen a una curva y los de funciones denidas en el espacio restringidas a
supercies o curvas.
Teorema VI.8 (Lagrange). Sean F : U R
n
R
m
de clase C
1
, S = x
U : F(x) = 0. Sea f : O R
n
R de clase C
1
tal que S O. Consideremos
f : S R. Sea x
0
S tal que los vectores F
i
(x
0
) son linealmente independientes,
i = 1, 2, . . . , m. Si f : S R tiene un extremo relativo en x
0
entonces existen
i
R, i = 1, 2, . . . , m, tales que f(x
0
) =
m
i=1
i
F
i
(x
0
).
Como ejemplo hallamos los extremos absolutos de la funcion f(x, y) = y
2
+x
2
x y 1 en la circunferencia unidad (sabemos que existen por el Teorema VI.5).

Notemos que si F : R
2
R viene dada por F(x, y) = x
2
+ y
2
1 = 0 entonces
S = (x, y) R
2
: F(x, y) = 0 es precisamente la circunferencia unidad.
Dado que F(x, y) = (2x, 2y), si jamos un punto concreto (x
0
, y
0
) S, candi-
dato a extremo relativo para f, se tendra F(x
0
, y
0
) = (2x
0
, 2y
0
) ,= (0, 0) al estar
(x
0
, y
0
) en la circunferencia unidad. Aplicando el teorema de Lagrange debe existir
tal que f(x
0
, y
0
) = (2x
0
1, 2y
0
1) = (2x
0
, 2y
0
). Por tanto debemos resolver
el sistema
2x
0
1 = 2x
0
, (VI.1)
2y
0
1 = 2y
0
, (VI.2)
x
2
0
+y
2
0
= 1. (VI.3)
AN
ALISIS II (F
ISICAS)
106 VI. M
AXIMOS Y M
INIMOS
Restando (VI.2) a (VI.1) resulta 2(x
0
y
0
) = (2x
0
2y
0
) y por tanto o bien = 1
o x
0
y
0
= 0. La primera posibilidad no puede darse, pues entonces llegamos a
2x
0
1 = 2x
0
sustituyendo en (VI.1). La otra posibilidad es x
0
= y
0
, y sustituyendo
en (VI.3) encontramos 2x
2
0
= 1 y por tanto x
0
=
2
2
. As pues, los unicos candidatos
a extremos relativos seran (
2
2
,
2
2
) y (
2
2
,
2
2
).
El conjunto con el que estamos trabajando es un conjunto compacto, luego tiene
extremos absolutos, los cuales seran relativos. Por tanto uno de los puntos hallado
sera el maximo absoluto y en otro sera el mnimo absoluto. Para identicar quien
es quien, basta evaluar f en dichos puntos:
f(
2
2
,
2
2
) = (
2
2
)
2
+ (
2
2
)
2
2
2

2
2
1 =
2;
f(
2
2
,
2
2
) = (
2
2
)
2
+ (
2
2
)
2
+
2
2
+
2
2
1 =
2.
As pues, f alcanza en (
2
2
,
2
2
) su mnimo absoluto y en (
2
2
,
2
2
) su maximo
absoluto. Como no hay mas candidatos, ambos seran estrictos.
Observese que si hubieran aparecido mas candidatos no hay mayor problema.
Evaluamos f en cada uno de ellos y los puntos en los que alcance los valores mas
grandes y mas peque nos posibles seran los extremos buscados. Notese que al tener
garanta de existencia de extremos, no necesitamos un resultado del tipo del Teore-
ma VI.7 para indagar en su naturaleza (el comportamiento de f cerca de los puntos
que no son ni maximo ni mnimo queda sin aclarar).
En resumen, si el conjunto en que trabajamos es compacto entonces existen
extremos absolutos, que hallaremos buscando los candidatos a extremos relativos
y evaluando la funcion en dichos puntos. Si el conjunto es abierto podemos hallar
los extremos relativos mediante el Hessiano, pero para saber si son absolutos o no
necesitaremos estudiar especcamente la funcion.
AN
ALISIS II (F
ISICAS)

Análisis de Funciones de Varias Variables

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Análisis de Funciones de Varias Variables

Загружено:

Авторское право:

Доступные форматы

AN

ETRICOS. CURVAS Y SUPERFICIES

son tambien equivalentes en A.

ETRICOS. CURVAS Y SUPERFICIES

IMITES Y CONTINUIDAD (REPASO) 5

ETRICOS. CURVAS Y SUPERFICIES

ETRICOS. CURVAS Y SUPERFICIES

ETRICOS. CURVAS Y SUPERFICIES

ETRICOS. CURVAS Y SUPERFICIES

ETRICOS. CURVAS Y SUPERFICIES

= g(x) es tan buena cerca de x

. En particular nuestra anterior funcion f(x, y, z) =

en su dominio de denicion (el semiplano x > 0). A

Esta es la version unidimensional de un principio que tiene validez general, y que

y es de hecho posible (aunque muy laborioso) calcular con la informacion

denida en un cierto entorno de (0, 1) que verica z(0, 1) = 0.

es otra curva en M pasando por p concluiramos analogamente

para todos los puntos (x, y, z) de C

y una cierta constante c

, resulta en particular c = D(p) = c

as que las constantes c y c

(t) = v as que no depende de t. La matriz

(A) la medida exterior (de Lebesgue) de A.

(A) + (B), con que se viola

(A) entonces la funcion resultante es una medida sobre /(R

(A) = 0 entonces A /(R

: [0, +], como respectivamente

son medibles. Como f = f

, as que si f es medible su valor absoluto [f[

f d [0, +], es decir, puede eventualmente tomar el valor

y, como no poda ser de otro modo,

son medibles y no negativas. Dado que es

. Sabemos que para cada par de n umeros

lo son. Lo haremos para f

X dP.) En particular estamos interesa-

(t) 0 para todo t, mientras que si J = [d, c] entonces es decreciente y [

(t) 0 para todo t. En el primer caso la formula es

Esta es la formula que generalizamos a continuacion a mas dimensiones.

cos sen r sen sen r cos cos

cos sen r sen sen

r sen sen r cos cos

resulta de quitar a O el conjunto de medida cero

3/3) y dicho casquete esferico. En resumen,

(t)dt, y(t +dt) y(t) = y

(t) = (r sen t, r cos t), se tendra que

ds aunque no sera nuestro caso. Aunque en las deniciones nosotros preferimos

dt = f((b)) f((a)) = f(r) f(q)

(u, v)(u +du, v) = (du, 0)

(u, v)(u, v +dv) = (0, dv).

dv) con origen el punto p = (x, y, z) = (u, v). Consideremos

(x, y, z)(x +dx, y +dy, z +dz) = (dx, dy, dz).

du), es decir, como cabe cuanticar dx, dy y dz? Si (con

du) = (dx, dy, dz) = du

dv), podemos usar una conocida formula del

dv)) = F((u, v)) (

= (0, r sen , r cos ), con lo que

= (0, r cos , r sen )

= (cos(yz) zy sen(yz) cos(yz) +yz sen(yz), 0 0, 1 1)

x y 1 en la circunferencia unidad (sabemos que existen por el Teorema VI.5).

Вам также может понравиться