Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cal Culo
Cal Culo
ISSN 1851-1317
C URSOS DE GRADO
CALCULO Y ANALISIS
Fascculo 3
n an xn
Vol
f
f xi i
ax b
CALCULO
INTEGRAL
CALCULO
F d
DIFERENCIAL
CALCULO
Polinomio
de Taylor
ANALISIS
ANALISIS
COMPLEJO
ANALISIS
REAL
ANALISIS
NUMERICO
2010
Cursos de Grado
Fascculo 3
Comit Editorial:
e
Carlos Cabrelli (Director). Departamento de Matem tica, FCEyN, Universidad de Buenos Aires.
a
E-mail: cabrelli@dm.uba.ar
Guillermo Corti as. Departamento de Matem tica, FCEyN, Universidad de Buenos Aires.
n
a
E-mail: gcorti@dm.uba.ar
Claudia Lederman. Departamento de Matem tica, FCEyN, Universidad de Buenos Aires.
a
E-mail: clederma@dm.uba.ar
Auxiliar editorial:
Leandro Vendramin. Departamento de Matem tica, FCEyN, Universidad de Buenos Aires.
a
E-mail: lvendramin@dm.uba.ar
Derechos reservados
2010 Departamento de Matem tica, Facultad de Ciencias Exactas y Naturales,
a
Universidad de Buenos Aires.
Departamento de Matem tica
a
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Ciudad Universitaria - Pabell n I
o
(1428) Ciudad de Buenos Aires
Argentina.
http://www.dm.uba.ar
e-mail: secre@dm.uba.ar
tel/fax: (+54-11)-4576-3335
III
Este libro naci como unas notas para un curso de An lisis, y de a poco se fue conviro
a
tiendo en algo m s que unas notas. Trat de conservar un estilo coloquial, sumado al
a
e
rigor de deniciones y teoremas, sin evitar ning n tema, a n aquellos que suelen tener
u
u
(inmerecida) fama de intratables. Pienso que todos los temas que aqu se estudian son
accesibles para un estudiante que haya hecho un curso de c lculo en una variable real,
a
y otro de algebra lineal, si se abordan de la manera adecuada. En lo posible intent evi
e
tar el uso de coordenadas, y aunque en muchos casos es necesario volver a ellas para
dar un sentido concreto a las ideas geom tricas, puede decirse que en general, con
e
modicaciones menores, las pruebas se adaptan a un contexto m s amplio. Esa fue
a
mi intenci n al preparar las clases, y es la intenci n de este libro: hacer accesibles
o
o
temas sutiles del an lisis y el c lculo en una y varias variables reales, y vincular estos
a
a
temas de manera intrnseca con la geometra del espacio, sin permitir que el uso de
Agradecimientos:
A Sam por su entusiasmo y apoyo constante, a mis hijos por darle color a los
grises.
A Cristian Conde por hacer de editor y corrector en las sombras, en forma totalmente desinteresada.
A Pablo Groisman porque cuando s lo haba unas notas en borrador, me hizo
o
notar que las notas podan tener alg n valor para los alumnos.
IV
P REFACIO
o
J. L. B ORGES
En este libro queremos estudiar problemas que involucren varias variables o inc gnitas, todas ellas n meo
u
ros reales. Como aprendimos en cursos de c lculo elementales, lo m s pr ctico es darle nombre a las variaa
a a
bles y despu s pensar cu les son las funciones que modelan el problema; estas funciones van a depender de
e
a
esas variables. Es la estrategia de nombrar y conquistar.
Por ejemplo, si queremos saber qu forma
e
debe que tener un terreno rectangular de
area 100m2, para gastar la menor cantidad
100m2
b
Se tiene A b a 100 y por otro lado P 2a 2b. Despejando de la ecuaci n del area nos queda una
ecuaci n en una sola variable, Pa 2a 2 100 . Entonces aparece una funci n P, de variable real a, a
o
o
a
la cual le buscamos el mnimo. Es importante entender el dominio de la funci n, que es a 0. Por otro
o
lado, para buscarle el mnimo, que hacemos? Simplemente le buscamos los extremos locales a P. Y para
eso hace falta calcular la derivada de P! Hag moslo: se tiene P a 2 2 100 . Igualando a cero se tiene
a
a2
u
a2 100, y como a debe ser un n mero positivo, a 10, y en consecuencia b 10. Es decir el terreno debe
ser cuadrado.
Vemos como para resolver un problema muy simple, aparecen herramientas que no son obvias. En
primer lugar la noci n de dominio, que requiere entender un poco el conjunto de los n meros reales. En
o
u
segundo lugar, la noci n de derivada, que si la pensamos un poquito era pensar en las rectas tangentes al
o
gr co de P, que a su vez se obtenan como lmite de rectas secantes. S, apareci el lmite. Y todo para
a
VI
y
x
y
x
m
y
x
a P a
Px
Pa
x
a
y
P ax a Pa
en sabemos que los lmites nos dicen que pasa con el gr co de la funci n en puntos conictivos;
Tambi
a
o
que tipo de
discontinuidad tiene, si tiene o no asntotas. Por otro lado, la noci n de derivada es muy util para
Otras cosas que aprendimos fueron que una funci n muy complicada se puede aproximar con la recta
o
tangente para calcularla cerca, y tambi n que usando el polinomio de Taylor, en muchos casos se la puede
e
aproximar tanto como uno quiera, e incluso estimar el error que cometemos cuando usamos el polinomio en
vez de la funci n original. En la siguiente gura se presenta el gr co de f y se observa que el polinomio Pn
o
a
f a h Pn a h
f a h
Rn a h
y
Pn a h
Pn x
f a
y
ah
f x
x
Pues bien: todas estas herramientas se pueden generalizar a funciones de varias variables. As, por ejem
plo, de aqu a unos meses vamos a estar en condiciones de resolver el siguiente problema:
Queremos armar una caja rectangular, tal que la suma del ancho,
el largo y la profundidad de la
caja no excedan los tres metros
(a l p 300cm). Cu l es el
a
m ximo volumen que puede tener
a
la caja, y cu les ser n sus dimena
a
siones?
Por el camino, van a surgir ideas, herramientas y ejemplos que tienen valor por s mismos, y que no
solamente van a servir para resolver problemas de m ximos y mnimos como el de arriba. Van a surgir
a
problemas que en principio s lo tienen que ver con la formulaci n de estas deniciones, es decir, problemas
o
o
intrnsecos de la matem tica. Comencemos!
VIII
NDICE
I
GENERAL
Indice general
IX
1. C lculo en n
a
1.1.1. Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.2.1. Distancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
14
16
1.2.4. Lmites en n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
24
27
1.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2. Funciones
31
31
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
2.1.2. Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
33
2.1.4. Lmite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
2.1.1. Funciones f :
2.2. Funciones F : n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
2.2.1. Composici n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
40
42
43
2.3. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
45
48
INDICE GENERAL
48
2.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
3. Derivadas y Diferencial
51
3.1. Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
3.1.1. Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
55
58
59
64
70
67
73
3.2.5. Funciones F : n
m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
80
3.4. NOTAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
85
clase Ck
85
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
87
94
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
98
107
INDICE GENERAL
XI
135
159
7.1. Integrales en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
7.1.1. Rect ngulos y particiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
a
7.1.2. Integral de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
7.1.3. Integrales iteradas y el Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . 166
7.2. Integrales en 3 y n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
7.3. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
7.3.1. Medida de una regi n y Teorema del valor medio . . . . . . . . . . . . . . . . . . . 178
o
7.4. NOTAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
8. Teorema de cambio de variables
183
201
XII
INDICE GENERAL
1 C ALCULO
EN
parece. Una primer aproximaci n intuitiva (o que aprendimos en la escuela) nos dice que es el conjunto de
o
los n meros que ocupan la recta num rica, es decir, hay una correspondencia entre los n meros reales y los
u
e
u
elementos de la recta.
0
Pero esto trae otras preguntas, como por ejemplo qu es una recta y si todas las rectas son iguales o al
e
menos equivalentes en alg n sentido, y c mo es la tal correspondencia. Esto no quiere decir que la idea la
u
o
tengamos que descartar, por el contrario! esta idea es fundamental para poder imaginar mentalmente los
n meros y los problemas que sobre ellos consideremos.
u
Si repasamos un poco lo aprendido, veremos que lo m s importante no es qu son, sino que propiedades
a
e
tienen. En realidad, desde un punto de vista m s formal, uno podra pensar que la pregunta qu son? se
a
e
contesta haciendo una lista de las propiedades m s importantes, y viendo que si un conjunto cumple estas
a
e
u
propiedades entonces es . Pero qui n garantiza que hay alg n conjunto que cumpla esas propiedades en
abstracto? Si alguien dice el conjunto que las verica es , pues yo le contestara que no lo puede poner
e
u
Repasemos: los n meros naturales
u
1 2 3 son todos n meros reales. Los n meros enteros
u
u
(que se obtienen tomando los inversos de los naturales respecto de la suma y agregando el neutro 0 de la
2 1 0 1 2 3 son todos reales. Si uno considera cocientes de n meros enteros (algo
u
suma),
bastante natural al pensar en la divisi n), obtiene los racionales
o
p q: p q q0 .
C lculo en n
a
h2
12 12
u
Esta ultima armaci n requiere una prueba: supongamos que 2 es racional. Entonces existen p q n meros
naturales tales que 2 p q. Vamos a suponer que cancelamos todos los factores posibles de p y q de
manera que no tengan ning n factor com n. Elevando al cuadrado,
u
u
2
p2
q2
o equivalentemente
2q2
p2
Todo n mero real que no es racional se denomina irracional, y al conjunto de n meros irracionales se lo
u
u
suele denotar con la letra . Se tienen las obvias inclusiones estrictas
Observaci n 1.1.2. Como curiosidad, los irracionales tambi n se pueden clasicar como algebraicos o
o
e
trascendentes. Los primeros son los que son ceros de polinomios con coecientes enteros, por ejemplo 2
u
es algebraico puesto que es raz del polinomio px x2 2. Ejemplos de n meros trascendentes son e y
. Por supuesto, probar que estos n meros NO son algebraicos tampoco es elemental! Para una prueba a
u
e
s lo un clic puede verse la Wikipedia 1 (en ingl s).
o
1.1.1. Axiomas
Volvamos al asunto de las cosas que hacen que sea . Veamos primero los axiomas que hacen de
un cuerpo ordenado. Esto es, propiedades que no se demuestran sino que se suponen v lidas.
a
1 http://en.wikipedia.org/wiki/Transcendental_number
Entre triviales y excesivamente abstractos para nuestra intuici n, son la base sobre la que se construyen
o
todos los resultados del an lisis.
a
Axiomas de la suma:
S1) Conmutatividad: si a b , a b
b a.
S2) Asociatividad: si a b c , a b c
a b c.
a.
0.
b a.
P2) Asociatividad: si a b c , a b c
b c.
a.
1
a
a1 .
Propiedad distributiva:
D) Distributividad: si a b c , ab c
ab ac.
byb
c, entonces a
c.
b, a
b, a
b.
C lculo en n
a
b, entonces a c
byc
b c.
0, entonces ac
bc.
Algo m s sutiles, son las pruebas de que entre dos reales siempre hay un racional, y de que entre dos
a
racionales siempre hay un irracional, pruebas que dejaremos para el Corolario 1.1.12.
Hasta aqu las propiedades que hacen de un cuerpo ordenado. El problema es que no es el unico. Es
decir, cumple todos estos axiomas. Lo que falta es el axioma de completitud, es decir, ver que no hay
agujeros en , cuando por ejemplo si los hay en .
Intentamos formalizar un poco. Est claro que si A es no vaco, y tiene un tope por encima, entonces
a
podemos buscar el tope m s chiquito? Pensarlo en la recta: indicamos al conjunto A con lneas mas gruesas
a
c optima
M.
Si hay una cota superior, hay innitas (cualquiera m s grande sirve). El asunto es encontrar la optima (la
a
m s peque a). Esta se denomina supremo del conjunto A, y se anota sup A. Es decir,
a
n
Denici n 1.1.4. s es el supremo de A si para todo a A, a
o
s s .
Lo relevante, que hay que tener en cuenta en esta discusi n es el axioma de completitud de los n meros
o
u
reales, que dice que
Axioma. Si A
Demostraci n. Si hay otro, s , se tiene por un lado s s (pues s es cota superior y s es la menor cota
o
superior), y por otro lado s s (pues s tambi n es la menor cota superior).
e
An logamente se dene cota inferior e nmo,
a
Denici n 1.1.6. Una cota inferior es un n mero real m tal que para todo a A, se tiene a m. El n mero
o
u
u
i es el nmo de A si para todo a A, a i y adem s si i es otra cota inferior, i i . Es decir el nmo
al conjunto. Hagamos algunos ejemplos con cuidado, por m s que parezcan obvios. Queda como
a
ejercicio para el lector el siguiente problema, cuyo resultado usaremos de aqu en m s:
Con este resultado a mano, podemos hallar el supremo del siguiente conjunto.
x : x2
3 .
El candidato s
es
3. Notemos que s es cota superior pues si x A, entonces x2 3 implica x
3,
luego x
x
3. C mo probamos que es la menor? Por el absurdo: supongamos que hay otra cota
o
El absurdo proviene de suponer que hay otra cota superior m s peque a que s.
a
n
Observaci n 1.1.10. Notar que si uno busca el supremo del conjunto A
o
x : x2 3 , el supremo va
o
e
Proposici n 1.1.11. Arquimedianeidad o principio de Arqumedes: Si x es un numero real, entonces existe
o
n tal que n x. Permite comparar cualquier n mero con un natural. Se puede deducir del axioma de
u
completitud.
/
k : k x . Si X 0, en particular 1 x, luego se puede
Demostraci n. Sea x , y consideremos X
o
tomar n 1. Si X no es vaco, como est acotado superiormente (por x), tiene un supremo s sup X .
C lculo en n
a
Como s 1 no puede ser cota superior de X (pues s es la m s chica), debe existir k0 X tal que s 1
a
Tomando n k0 1 se tiene n y adem s n s. Por esto ultimo n X, lo que nos dice que n x.
a
k0 .
Con esta herramienta podemos probar algo que todos sabemos que es cierto. En nuestra formaci n inicial
o
y media, aprendimos algunos hechos supuestamente utiles sin ninguna pista del por qu de su validez (o el
e
por qu de su relevancia!).
e
Corolario 1.1.12. Entre dos n meros reales distintos siempre hay un n mero racional. Entre dos n meros
u
u
u
reales distintos siempre hay un n mero irracional.
u
u
Demostraci n. Sean a b n meros reales (elegimos los nombres para que queden en ese orden, es decir,
o
1
llamamos a al m s chico y b al m s grande). Entonces b a 0, y en consecuencia ba 0. Existe por el
a
a
1
principio de Arqumedes un n mero natural n tal que n ba . Observemos que
u
nb
na nb a
na 1
na 1
na
nb
tal que
na
En consecuencia, tiene que existir un n mero entero k entre nb y na. Es decir, existe k
u
k
k
k nb. Dividendo por n se obtiene a n b, que nos dice que n est entre a y b.
a
Ahora veamos que entre dos n meros reales siempre hay un irracional. Vamos a volver a suponer que
u
1
1
1
k
b. Multiplicando por 2 obtenemos 2 a 2 b. Por lo anterior existe un n mero racional n entre ellos,
u
1
es decir 2 a
k
n
1
b. Multiplicando por 2 se obtiene a
2
k
n
2yx
0 . Entonces A
j
m.
Pero entonces
jn
mk
Demostraci n. Que es no vaco es evidente pues 1 A. Por otro lado, C 2 es una cota superior de
o
una
a
n
supongamos que existe s tal que s sup A. Es decir, s es cota superior, y es la m s peque a de ellas.
y podemos suponer s 1 pues 1 A). Pero si tomamos r un n mero racional tal que s r
u
2, llegamos a
un absurdo pues elevando al cuadrado obtenemos r2 2, y como r es positivo (por ser mayor que s), se tiene
s. Pero entonces volvemos
r A. Esto contradice s es cota superior de A. La ultima posibilidad es s
que
a elegir t tal que s t s, y este n mero es una cota superior de A en m s peque a que s, lo cual
u
a
n
es imposible.
Corolario 1.1.14. El cuerpo no es completo en el orden (no verica el axioma de completitud).
1 1 : n . s A?
n
Aqu el candidato natural es s 1 (que NO es un elemento de A). Es una cota superior pues 1 1 1 para
n
todo n natural. Falta ver que es la menor. De nuevo: si hubiera otra cota superior, digamos s 1, tomemos
1
n0 tal que n0 1s que siempre se puede por el principio de Arqumedes. Entonces despejando se
1 1 lo que contradice que s sea cota superior.
obtiene s
n0
Observaci n 1.1.16. Puede probarse que si A es conjunto que es un cuerpo ordenado (cumple los axiomas
o
a
de arriba S,P,D,O), y A es completo en el orden, entonces A ES (o m s bien se lo puede identicar con
respetando las operaciones y el orden)2.
Algo que qued en el tintero y que no vamos a tratar aqu, es como se pueden construir (si, construir a
o
partir de los n meros racionales) los n meros reales, para de esa forma estar seguros de que hay un conjunto
u
u
que verica todo lo que queremos. Recordemos que nunca dijimos qui n es ! Hay varias maneras de hacer
e
esta construcci n, por ejemplo usando cortaduras de Dedekind o sucesiones de Cauchy; el lector insaciable
o
con acceso a Internet puede leer sobre estas construcciones en la Wikipedia3 , aunque hay otras fuentes en
papel mejor escritas de donde leerlo, como por ejemplo, el libro de Birkhoff-McLane de Algebra [1].
. Una caracterizaci n util es la siguiente, en t rminos de
o
e
a para todo a A
2. dado
a.
s s
aA
Demostraci n. Empecemos con la denici n vieja, entonces obviamente se cumple 1). Por otro lado, dado
o
o
0, se tienen s s y esto nos dice que s no es cota superior de A (recordemos que s era la m s
a
chica). O sea, existe alg n a A tal que s a, lo cual prueba 2).
u
Si partimos de esta denici n, tenemos que probar que un s que verica 1) y 2) es el supremo. Claramente
o
s es cota superior, falta probar que es la m s chica. Si hubiera una cota superior m s chica, digamos s ,
a
a
entonces tomamos s s 0 y llegamos a un absurdo pues 2) nos dice que existe a A tal que s s
s a, es decir, s a lo que contradice que s es cota superior.
2 http://planetmath.org/?op=getobj&from=objects&id=5607
3 http://en.wikipedia.org/wiki/Construction_of_real_numbers
C lculo en n
a
Y si B
supB?
Problema 1.1.18. i es el
o
nmo de A si y s lo si
tal que
1. i
a para todo a A
2. dado 0, existe a A
tal que i a.
nfB y supB
1.1.2. Sucesiones
Una sucesi n se puede pensar como un cierto conjunto de n meros reales, ordenado de alguna manera.
o
u
M s precisamente, es una funci n s : , que en general se anota sn en vez de sn. Es decir, si ponemos
a
o
sn 1 n, lo que queremos nombrar es la sucesi n cuyos primeros t rminos son 1 1 1 1 y as sucesio
e
2 3 4
vamente. Es importante observar que no es lo mismo que la sucesi n 1 1 1 1 1 (en otro orden). Estas
o
3 2 5 4
sucesiones tienen todos sus t rminos distintos. Pero esto no tiene por qu ser as. Por ejemplo
e
e
121212
es una sucesi n que se denomina sucesi n constante. Las sucesiones son utiles para describir problemas
o
o
de aproximaci n. As, si quiero descubrir que pasa con 1 x cuando x tiende a innito, basta mirar algunos
o
1
1
t rminos como 1; 10 0 1; 100 0 01 para descubrir que tiende a cero.
e
Denici 1.1.19. Se dice que una sucesi n an tiende al n mero l cuando n
on
o
u
n0 tal que si n n0 , entonces an l
. En ese caso escribimos
l o bien an
lm an
, si dado
0 existe
Es decir que an tiende a l si todos los t rminos de an est n tan cerca de l como uno quiera a partir de un
e
a
t rmino dado. Recordemos que an l
e
quiere decir
an
an
a n p
a n 1
Problema 1.1.20. Si an l
para todo n , para probar
que lm an l basta probar que
n
a
l an . An logamente, si
an l, basta probar que
an l .
Para una exposici n m s detallada (pero todava elemental) sobre sucesiones, puede verse el libro de
o
a
Noriega [5], o la gua de An lisis del CBC de la UBA. Nosotros vamos a ir directamente a lo que nos
a
interesa, que para empezar es una caracterizaci n del supremo.
o
Denici n 1.1.21. Recordemos que una sucesi n es creciente si
o
o
a1
a2
a3
a1
a2
a3
y estrictamente creciente si
An logamente se dene sucesi n decreciente y estrictamente decreciente. Una sucesi n se dice mon tona si
a
o
o
o
es creciente o decreciente, y estrictamente mon tona si es estrictamente creciente o decreciente.
o
a
Como vimos, todo conjunto no vaco A , si est acotado superiormente, tiene supremo. Se tiene el
Proposici n 1.1.22. Si s sup A, entonces existe una sucesi n creciente an de elementos de A tal que
o
o
n
an s. Si s A, se puede elegir an estrictamente creciente.
Demostraci n. Si s A, basta tomar an s la sucesi n constante (que es creciente). Si no, tomamos alg n
o
o
u
estrictamente menor que s. Existe entonces alg n elemento a2 A tal que a2 a2 s (sino a2 sera cota
u
superior de A, lo cual es imposible pues a2 s).
a 1 s
As vamos deniendo an como el promedio n2 , y tomamos como an cualquier elemento de A que
san1
.
est entre an y s. Ciertamente an es creciente pues an an an1 , y por otro lado 0 s an
a
2
Luego, repitiendo esta acotaci n se consigue bajar hasta a1 , y por cada vez que bajamos, aparece un n mero
o
u
2 dividiendo, con lo cual obtenemos.
0
Esto ultimo prueba que lm an
s an
s a n 1
2
s a1
2 n 1
C lculo en n
a
10
Problema 1.1.23. Si i nf A,
Dejamos como ejercicio para el lector, un resultado an logo para el nmo de un conjunto. Recora
Subsucesiones
Una herramienta extremadamente util son las subsucesiones. Recordemos que son simplemente una
elecci n de un subconjunto de la sucesi n original, provisto del mismo orden que tena la sucesi n original.
o
o
o
1
As por ejemplo, si an 1 , una subsucesi n es bk 2k , es decir, tomamos
o
n
1 1 1
4 6 8
que son algunos de los t rminos de la sucesi n original. Para dar mas precisi n a esta idea, recordemos que
e
o
o
una sucesi n es simplemente una funci n s : .
o
o
Denici n 1.1.24. Sea a : una sucesi n. Una subsucesi n de a es una nueva sucesi n b : que
o
o
o
o
se puede construir a partir de la original de la siguiente manera: existe una funci n estrictamente creciente
o
a
j : tal que para todo k , bk a jk. M s coloquialmente: si
a1 a2
an
n2
nk
a nk
Observaci n 1.1.25. Se puede seguir esta idea un paso m s: una subsucesi n de una subsucesi n se dene
o
a
o
o
en forma an loga. Pero si lo pensamos un poco, nos hemos quedado con un conjunto a n m s reducido
a
u
a
de la sucesi n original, y los ndices deben seguir siendo estrictamente crecientes. Luego una subsucesi n
o
o
de una subsucesi n de an no es m s que otra subsucesi n de la sucesi n original an (y si todava no
o
a
o
o
Una consecuencia de la Proposici n 1.1.22, es que toda sucesi n creciente y acotada tiene lmite, el cual
o
o
an
a1 ) y acotada superiormente,
11
s a n0
s ank0
Proposici n 1.1.27. Si an es
o
una sucesi n decreciente
o
(an1 an a1 ) y
acotada inferiormente,
entonces si i nf an , se
tiene lm an i.
Lo que sigue es un resultado clave que nos va a ser muy util m s adelante, que generaliza esta idea a
a
cualquier sucesi n de n meros reales. Su demostraci n es un tanto t cnica (paciencia).
o
u
o
e
Proposici n 1.1.28. Sea an una sucesi n de n meros reales. Entonces existe una subsucesi n ank de
o
o
u
o
an que es mon tona.
o
Demostraci n. Para armar la subsucesi n, nos interesan los t rminos de la sucesi n que son m s grandes
o
o
e
o
a
que todos los t rminos que les siguen, es decir, los an tales que an ak para todo k n. Los vamos a llamar
e
t rminos dominantes. Hay dos casos: hay innitos t rminos dominantes o hay nitos. Pensemos primero el
e
e
caso en el que la sucesi n tiene innitos t rminos dominantes
o
e
con n1 n2 n3
. Hemos construido una subsucesi n decreciente.
o
a n1 a n2 a n3
Por ser todos dominantes, an1
a n2
a n3
Veamos ahora el caso en el que hay nitos t rminos dominantes (incluyendo la posibilidad de que no
e
haya ninguno). Por ser nitos, hay uno que es el ultimo (es decir, de all en adelante ning n t rmino de la
u e
e
o
e
sucesi n es dominante). Tomemos an1 el primer t rmino de la sucesi n que viene despu s de este ultimo
o
C lculo en n
a
12
dominante (si no hay ning n t rmino dominante en la sucesi n tomamos n1 1). Existe entonces m s
u e
o
a
adelante alg n n2 n1 tal que an2 an1 (existe sino an1 sera dominante!). As siguiendo, vamos hallando
u
nk n3 n2 n1 tales que ank an3 an2 an1 . En este caso hemos construido una subsucesi n
o
creciente.
Se obtiene as un corolario fundamental, que luego generalizaremos a n .
o
u
Corolario 1.1.29 (Bolzano-Weierstrass). Sea an una sucesi n acotada de n meros reales. Entonces existe
una subsucesi n ank de an que es convergente.
o
Demostraci n. Por la proposici n previa, podemos extraer de an una subsucesi n mon tona (que est acoo
o
o
o
a
tada por estar acotada la original). Por la Proposici n 1.1.26, esta subsucesi n tiene a su vez una subsucesi n
o
o
o
convergente, que seg n lo observado antes, no es m s que una subsucesi n de la sucesi n original.
u
a
o
o
Por ultimo recordemos qu quiere decir que una sucesi n tiende a innito.
e
o
u
a
Denici n 1.1.30. Una sucesi n an de n meros reales tiende a m s innito si para todo M
o
o
n0 tal que n n0 implica an M. Lo anotamos
lm an
o bien an
si para todo M
0 existe
n0 implica an
M.
Es decir que para cualquier cota que a mi se me ocurra, todos los t rminos de la sucesi n son m s grandes
e
o
a
que esa cota a partir de un n0 (en el caso ).
tamos recordar nociones de vectores, norma, producto interno y tambi n extender la idea de entorno de un
e
punto de n . Muchas de las primeras deniciones (las que involucran norma, distancia y producto interno)
les van a resultar familiares, aunque algunas demostraciones de propiedades tal vez no las hayan visto antes.
Dado n , una n-upla es una tira ordenada de n meros,
u
x 1
no necesariamente distintos.
x2 x3
xn
13
x1
x2 : xi
y
P
p2
p2
p1
p1
c
a
b c
a
x
1.2.1.
b 0
Distancia
y
p2
p1
p1
p2
Cu l es la distancia de un punto P p1 p2
a
al origen? Si observamos nuevamente la gura del plano xy, se ha formado un tri ngua
lo rect ngulo, con v rtices en 0 0 p1 0 y
a
e
p 1 p 2 .
Por lo tanto d
p2 p2 . En el caso general, la distancia de P
1
2
a
escribimos con un cero gordo, n ) est dada por
p2 p2 p2
n
1
2
p1
p2
pn n al origen (que
14
C lculo en n
a
p1
P
p2
p2
d2
p1
q12 p2 q22
q2
q2
q1
p1
Luego
q 1
d P Q
p1
y en general, si P
p2
pn y Q
d P Q
p1
q12 p2 q22
q1 q2 qn son puntos de n , su distancia est dada por
a
p1
Si a los puntos del plano los pensamos como vectores, entonces la distancia de P
origen es la longitud del vector P, y la llamamos norma de P. La anotamos
p1
p2
pn n al
p2 p2 p2
n
1
2
En el caso de dos vectores P Q, su distancia es la longitud del vector que los une, que es Q P (o P Q
dependiendo de d nde lo hacemos empezar). Luego
o
d P Q
PQ
PQ
p1 q1 p2 q2 pnqn
Tiene las siguientes propiedades (que dejo para vericar al lector, salvo la ultima). Sean P Q R S vectores
de n , entonces
1. P Q
QP
2. P P
o
0 para todo P n , y es cero si y s lo si P
3. P Q
4. P R Q
5.
PQ
15
PQ
P
RQ.
Q (desigualdad de Cauchy-Schwarz).
o
Demostraci n. (de la desigualdad de C-S). Dado t , consideremos la funci n real gt
o
las propiedades anteriores se tiene
P tQ
P tQ P tQ
PP
2t P Q
P tQ 2. Por
c
a 0, debe tener discriminante no positivo, es decir, se debe cumplir b2 4ac 0. Pero esto es
at 2 bt c
PQ
una expresi n de la que se deduce f cilmente la desigualdad deseada pasando el termino negativo a la derecha
o
a
y tomando raz cuadrada a ambos miembros.
PQ
P Q
podemos pensar que la cantidad del medio dene el coseno del angulo P Q entre los vectores, es decir
PQ
Q cos
Ciertamente en los casos que podemos dibujar (2 y 3 ) ustedes saben que el angulo as denido es el
angulo que los vectores P Q sustentan cuando uno los dibuja. En el caso n 4, siempre se puede pensar que
dos vectores generan un plano P Q de n , y la gura que corresponde es el angulo formado en este plano
(independientemente de que no nos podamos imaginar el espacio en el cual este plano est metido).
a
Propiedades de la norma
La norma tiene tambi n una serie de propiedades bastante utiles, que enunciamos a continuaci n. Sean
e
o
P Q n .
16
C lculo en n
a
1.
2.
3.
PQ
0, y P
0 si y s lo si P
o
P para todo .
P
Q (desigualdad triangular).
Las dos ultimas requieren alguna demostraci n. Pensemos primero qu quieren decir. La propiedad de sacar
o
e
escalares simplemente reeja el hecho de que si uno multiplica un vector por un n mero, lo que est haciendo
u
a
(si el n mero es positivo) es estirar o achicar el vector sin modicar su direcci n. Si el n mero es negativo,
u
o
u
el vector simplemente se da vuelta y la magnitud relevante es entonces el m dulo del n mero.
o
u
Por otro lado, la ultima propiedad se conoce como desigualdad triangular, y es un simple reejo del
hecho de que en la gura de abajo, es as corto el camino yendo por la diagonal que primero recorriendo
m
PQ
Q
P
PQ
PQ PQ
PQ
PQ
e
La desigualdad triangular en este punto parece un tanto t cnica, pero si recordamos que queremos hablar
e
de lmites, nos dice algo fundamental: si dos puntos est n cerca del origen, entonces su suma tambi n
a
e
est cerca del origen!
a
Asimismo, si X est cerca del origen e Y est cerca de X, entonces la desigualdad triangular nos dice que
a
a
Y est cerca del origen pues
a
Y
Y X
17
Lo denotamos as: Br P
Br P
Q n : d Q P
QP
Observemos que los puntos del borde del disco NO pertenecen a este conjunto. El conjunto se denomina
bola abierta de radio r con centro en P. En el caso de la recta real (n 1) se obtiene un intervalo: si tomamos
x : x x0
r , lo que obtenemos es el intervalo abierto
un n mero x0 y consideramos Br x0
u
de largo 2r (el di metro) centrado en x0 .
a
x0 r
)
x0
x0 r
Denici n 1.2.2. Un conjunto U n es abierto si para cada punto P U existe una bola abierta Br P
o
centrada en P tal que Br P U (el radio puede depender del punto P).
La idea intuitiva es que en un conjunto abierto, no hay puntos que est n en el borde, sino que est n
e
a
todos propiamente adentro. Porque los puntos del borde no tienen esta propiedad, ya cualquier bola centrada
en ellos, tiene puntos tanto de fuera del conjunto como de adentro. Insisto con una parte importante de la
denici n: el radio r, para cada punto P del conjunto abierto U, va variando para adecuarse a la forma del
o
conjunto y permitir que Br P U.
Un ejemplo ilustrativo se obtiene tomando algunos puntos en una gura en el plano como la siguiente:
18
C lculo en n
a
U
r4
B4
P4
P5
r1
P1
B1
r5
B5
r3
B3
P3
r6 P
B6
r5
r2 P
B2
B7
P7
Se imaginan que una bola abierta debera cumplir la denici n de abierto (si no, estamos mal!). Veamos
o
su demostraci n, que se deduce del dibujo
o
t
t
r QP
B r P
Bt Q
P
QP
0 tal que Bt Q
Br P.
X QQP
X Q
QP
d d
19
Demostraci n. Veamos , supongamos que U es abierto. Entonces para cada punto P U existe r 0
o
tal que Br P U. En consecuencia PU Br P U pues todas las bolas est n en U. Y por otro lado es
a
evidente que U
PU Br P. Es decir hemos probado que
U
lo que nos asegura la igualdad U
PU Br P,
PU Br P
iI Ui
es
Demostraci n. Cada abierto Ui se puede escribir como una uni n de bolas abiertas por la proposici n ano
o
o
terior. Entonces U es la uni n de todas las bolas de todos los abiertos, y resulta ser abierto de nuevo por la
o
proposici n anterior.
o
Algo similar ocurre con la intersecci n, pero teniendo cuidado porque s lo es cierto el resultado si son
o
o
nitos conjuntos. Basta verlo para dos, ese es el contenido del siguiente lema.
Lema 1.2.6. Si U V son conjuntos abiertos de n , entonces su intersecci n U V es un conjunto abierto.
o
Demostraci n. Dado P U V , existen r1 0 y r2 0 tales que Br1 P U (por ser U abierto) y Br2 P
o
V (por ser V abierto). Si r mn r1 r2 , entonces Br P U V lo que prueba que este ultimo es abierto.
e
estar cerca de un punto x0 . Para eso usamos el orden de , y alrededor de x0 establecemos un intervalo
x0 x0 para un
0 dado,
C lculo en n
a
20
x0
(
x0
x0
Observemos que hay s lo dos direcciones desde donde acercarnos a x0 (por la izquierda o por la derecha),
o
que se corresponden con los lmites laterales. Esto es as porque los n meros reales est n ordenados, y por
u
a
lo tanto s lo se puede ser mayor o menor que x0 (o igual). Sin embargo, en el plano (o el espacio) no hay un
o
orden entre puntos. Por lo tanto hay innitas direcciones desde donde acercarse a un punto P n .
De hecho, acercarnos por rectas no agota todas las posibilidades porque uno podra acercarse con una espiral
u otra curva. Sin embargo, con las nociones de bola y abierto queda claro qu quiere decir estar cerca del
e
punto P.
y : y
x , entonces Co
/
0.
Demostraci n. La manera m s simple de probar lo enunciado es por el absurdo. Es decir, suponemos que
o
a
hay un punto interior y llegamos a una contradicci n. Supongamos entonces que P C es interior. Debe ser
o
u u
P a a para alg n n mero real a. Si P es interior, existe r 0 tal que Br P C. Nos guiamos por el
dibujo siguiente
21
y
y
r
a 2
Si tomamos el punto Q
r
a 2
r
a 2
r
a 2 , evidentemente Q C. Sin embargo, como
QP
r2
4
r2
4
En el otro extremo est n los abiertos, donde todos los puntos son interiores. Primero una aclaraci n: el
a
o
/
o
conjunto vaco, C 0, es abierto pues no hay puntos para vericar la condici n. Se tiene
Proposici n 1.2.10.
o
2. Co
1. Co es un conjunto abierto de n .
C si y s lo si C es abierto.
o
/
/
Ahora veamos 2. Supongamos primero que Co C. Entonces por 1. C es abierto. Supongamos ahora que
o
C es abierto. Tenemos por denici n Co C. Veamos que vale la otra inclusi n. Para ello tomamos P C,
o
por ser C abierto existe r 0 tal que Br P C. Pero esto nos dice exactamente (releamos la denici n) que
o
P es un punto interior, o sea P Co .
C lculo en n
a
22
1.2.4. Lmites en n
ek
2. Si ponemos Qk
3. Si X j
e j
1
j
k2
sen2 j
1
k ,
Pk
n .
1
k
1. Tomemos Pk
1
1
1 j j
j2
Observemos que como un vector P n est determinado por sus n coordenadas (que son n meros
a
u
reales), entonces una sucesi n de n se puede pensar como una tira ordenada de n sucesiones de n meros
o
u
Pk
Pk n
Es decir, usamos un par ntesis y un subndice para se alar qu coordenada nos interesa. As por ejemplo, si
e
n
e
1 1 k y Pk 2
2k .
Ahora que sabemos qu es una sucesi n, podemos dar la denici n de lmite de sucesiones usando la
e
o
o
P o bien Pk
k
P.
Observemos que esta denici n coincide con la denici n de lmite de una sucesi n en el caso n 1. Se
o
o
o
puede denir tambi n que quiere decir que una sucesi n de vectores tienda a innito, pero en el caso n 2
e
o
lo que queremos decir es que la norma de los vectores se hace arbitrariamente grande, es decir
o
Denici n 1.2.15. Si Pk k es una sucesi n de n , decimos que Pk tiende a innito si para todo M
o
existe k0 tal que
Pk
M para todo k k0
y lo escribimos lm Pk
o bien Pk
k
23
Lo que uno imagina, si piensa en las coordenadas del vector que forma la sucesi n, es que si tiene lmite
o
cada coordenada entonces tiene lmite la sucesi n original. Esto no s lo es as sino que vale la recproca.
o
o
Observaci n 1.2.16. Si P
o
desde 1 hasta n,
p2
pj
pj
n mx
a
j 1 n
(1.1)
pj
p2 p2 p2 p2
n
j
1
2
y en consecuencia se tiene
p2 p2 p2 p2
1
2
j
n
p2
j
n m x p2
a
j
j 1 n
o
Proposici n 1.2.17. Sea Pk una sucesi n de n . Entonces P p1 p2 pn es el lmite de la sucesi n
o
Pk si y s lo si cada coordenada del vector sucesi n tiene como lmite la correspondiente coordenada de P.
o
o
Es decir
lm Pk
lm Pk j
p j para todo j
Demostraci n. Supongamos primero que todas las coordenadas convergen al correspondiente p j . Esto quieo
re decir, que dado 0,
1. existe k1 tal que Pk 1 p1
n si k
k1 .
n si k
k2 .
n si k
kn .
3.
m x k j , entonces
a
j 1 n
Pk P
Pk 1
p1
Pkn pn
2
n
C lculo en n
a
24
P.
diente coordenada de P. Pero por la denici n, tenemos que dado 0, existe k0 tal que k
o
Pk P
. Pero si miramos la ecuaci n (1.1) de arriba, se deduce que
o
k
Pk j
pj
Pk P
k0 implica
Observaci n 1.2.18. Atenti, que el resultado anterior no vale para sucesiones divergentes. Por ejemplo, si
o
1
Pk k k , entonces Pk
k2 k1
, es decir Pk tiende a innito o diverge de acuerdo a nuestra
2
denici n. Sin embargo, no es cierto que ambas coordenadas tiendan a innito.
o
Problema 1.2.19. Calcular los lmites de las sucesiones del Ejemplo 1.2.13.
n
naturales de los conjuntos abiertos que estuvimos charlando m s arriba. Hagamos una lista de los objetos
a
que nos interesan.
Denici n 1.2.20. Sea C
o
P
n un conjunto.
Decimos que P es un punto de acumulaci n de C si existe una sucesi n Pk de puntos de C tal que
o
o
lm Pk .
Observemos que C C puesto que dado un punto P C, la sucesi n constante Pk P nos dice que P
o
es punto de acumulaci n de C. A partir de estas deniciones, se tienen la siguiente propiedad fundamental,
o
que relaciona los conjuntos abiertos con los cerrados:
Proposici n 1.2.21. Un conjunto C
o
1
k.
Hemos llegado a
25
Supongamos ahora que U Cc es abierto, y veamos que C es cerrado. Tomemos Pk una sucesi n de
o
puntos de C con lmite P n . Queremos ver que P C. Si esto no fuera as, sera P U que por hip tesis es
o
abierto. En consecuencia existira r 0 tal que Br P U. Tomemos k tal que Pk P
r (recordemos
que Pk
P). Se tendra Pk Br P U, lo cual es imposible pues Pk C U c . Luego debe ser P C, y
Observaci n 1.2.22. Atenci n, que hay conjuntos que no son ni abiertos, ni cerrados. Por ejemplo, el
o
o
intervalo I
0 1 en . Que no es abierto se deduce de que 0 I no es un punto interior (por qu ?). Que
e
no es cerrado se deduce de que la sucesi n an 1 1 , de puntos de I, tiene lmite 1, que no es un punto de
o
n
I.
Con esta dualidad entre abiertos y cerrados es f cil establecer los siguientes hechos, a partir de las
a
demostraciones que ya hicimos para conjuntos abiertos.
Sea C
n .
C si y s lo si C es cerrado.
o
iI Ci
es un conjunto cerrado.
o
c
que P C ). Armo que Br P A, lo que probara que A es abierto, y entonces C sera cerrado. Tomemos
o
Q Br P, Q P
que Yk
Q. Pero con k sucientemente grande, tendramos
Yk P
Yk Q
QP
d d
/
0.
Veamos 2. Supongamos primero que C C. Entonces por el tem previo, C es cerrado. Recprocamente,
o
P, y
si C es cerrado, entonces dado un punto P C, existe una sucesi n de puntos Pk de C tal que Pk
como C es cerrado debe ser P C. Esto prueba que C C, y como la otra inclusi n siempre vale, obtuvimos
o
C C.
La propiedad 3. se verica observando que, por las leyes de de Morgan, A Bc Ac Bc . En consecuencia,
c
c
iI Ci
iI Ci
Si cada Ci es cerrado, por la Proposici n 1.2.21, cada Cic es abierto. Pero una uni n arbitraria de abiertos
o
o
es abierta por la Proposici n 1.2.5. As que el lado derecho de la ecuaci n es un conjunto abierto (y por lo
o
C lculo en n
a
26
tanto el lado izquierdo es un conjunto abierto). Si volvemos a tomar complementos, obtenemos que iCi es
cerrado (recordar que Ac c A).
La propiedad 4. se verica en forma id ntica, usando ahora que A Bc Ac Bc y el Lema 1.2.6.
e
Escribirlo!
Problema 1.2.23.
Consideremos los cerrados de
dados por C j
0 1 1 , con
j
j . Vericar que
0 1, que no es un
jC j
conjunto cerrado.
Observaci n 1.2.24. Si Br P es una bola abierta en n , su clausura se denomina bola cerrada de radio r
o
centrada en P, y es el conjunto
B r P
Q n : Q P
r
Aunque bastante obvia, esta armaci n requiere alguna demostraci n
o
o
Br p
Br P
Q Qk
Qk P
Q Qk
se obtiene Q P
r, es decir hemos probado que si Q es un punto de
acumulaci n de Br P, entonces Q Br P (o sea hemos probado que Br p Br P). Veamos ahora que
o
vale la recproca. Tomemos un punto Q Br P, es decir Q P
r. Consideremos la sucesi n Qk
o
P 1 1 Q P. Ciertamente
k
Qk P
para todo k , pues 1 1
k
Q 1 Q P, se tiene
k
1 1
k
1
QP
k
1
r
k
1
QP
k
lo que prueba que Qk
Q. Entonces Q es punto de acumulaci n de Br P, lo que prueba la inclusi n
o
o
Br P Br p que faltaba para tener la igualdad.
27
n es acotado si existe M
0 tal que
M para todo P A
Observaci n 1.2.26. Es decir, un conjunto es acotado si lo podemos poner dentro de una bola. Se deduce
o
de la Observaci n 1.2.16 que un conjunto es acotado si y s lo si todas las coordenadas del conjunto est n
o
o
a
acotadas, ya que por un lado, cada coordenada est acotada por la norma, y por otro lado, la norma
a
est acotada por n veces el m ximo de las coordenadas.
a
a
Toda sucesi n convergente es acotada, pues si Pk
o
P en n , existe k0
Pk P
1, con lo cual
Pk
Pk P P
1 P
tal que k
k0 implica
para todo k k0 . Y los primeros t rminos de la sucesi n est n acotados (pues es un conjunto nito). Es
e
o
a
decir, si tomamos M
m x Pk P 1 , se tiene
a
k 1 k0
Pk
M para todo k
Ahora podemos escribir una generalizaci n del Teorema de Bolzano-Weierstrass que probamos para .
o
La idea es simplemente que cada coordenada tiene una subsucesi n convergente, pero hay que elegir en
o
forma ordenada para no arruinar la convergencia de la anterior. Un hecho importante que vale en general, y
que usamos aqu, es que una subsucesi n de una sucesi n convergente es siempre convergente.
o
o
Teorema 1.2.27. Si Pk
o
Demostraci n. Si Pk es una sucesi n acotada, entonces todas las sucesiones Pk j que forman sus cooro
u
denadas (con j 1 n) son sucesiones acotadas de n meros reales. Por el Teorema de B-W (Corolario
1.1.29), como la sucesi n Pk 1 de la primer coordenada est acotada, tiene una subsucesi n Pkl 1 convero
a
o
gente. Ahora miramos la segunda coordenada, pero s lo los t rminos que corresponden a la subsucesi n que
o
e
o
o
ya elegimos en la primer coordenada. Es decir, miramos la subsucesi n Pkl 2 . Esta es de nuevo una sucesi n
o
acotada, por ser una subsucesi n de una sucesi n acotada. Entonces por el Teorema de B-W, existe una subo
o
sucesi n Pkls 2 que es convergente. Seguimos as hasta llegar a la ultima coordenada del vector que forma
o
la sucesi n. Observemos que en cada paso nos estamos quedando con una subsucesi n, por lo tanto esto no
o
o
altera el hecho de que en la coordenada anterior nos quedamos con una subsucesi n convergente (pues una
o
subsucesi n de una sucesi n convergente es convergente). Obtenemos as una subsucesi n convergente en
o
o
o
cada coordenada, y por ende, tenemos una subsucesi n convergente de la sucesi n Pk original.
o
o
C lculo en n
a
28
Br P
Q n : Q P
subespacio), entonces C C.
Se les ocurre alg n ejemplo en
u
/
el que C 0?
C Co
1.3. Problemas
1.I. Probar usando los axiomas de cuerpo ordenado que 0
verica a p b.
1.II. Probar que i es el nmo de A
que i a.
si i
1, y que si a
b entonces el promedio p
o
u
1.III. Probar que si an n es una sucesi n de n meros reales tales que an
al nmo.
n0 tal que l an
n0
ab
2
0, existe a A tal
nlm an
nf an .
o
a
1.VI. Supogamos que an es una sucesi n que no est acotada superiormente. Probar que an tiene una
subsucesi n estrictamente creciente que tiende a .
o
1.VII. Sea Un la colecci n de intervalos abiertos en dados por Un 0 n1 . Probar que
o
n
concluir que la intersecci n arbitraria de conjuntos abiertos no es necesariamente abierta.
o
nUn
1.VIII. Sea C n , y sea Ui iI la familia de todos los conjuntos abiertos de n tales que Ui
que C0
iUi .
1 y
C. Probar
1.IX. Probar que A Bc Ac Bc para todo par de conjuntos. Concluir que la uni n nita de conjuntos
o
cerrados es un conjunto cerrado (asumiendo que la intersecci n nita de conjuntos abiertos es abierta).
o
1.3 Problemas
29
jC j
1.XI. Sea C n , y sea Ci iI la familia de todos los conjuntos cerrados de n tales que C
que C
iCi .
0 1, que no
Ci . Probar
1.XII. Probar que la frontera de la bola de radio r 0 alrededor de P n son los X n tales que X P
r. A este conjunto se lo denomina esfera centrada en P de radio r.
1.XIII. Probar que si C es cerrado y tiene interior vaco entonces C
/
2 tal que C 0.
30
C lculo en n
a
2 F UNCIONES
2.1.1. Funciones f : n
Recordemos primero que el dominio natural de una funci n es el conjunto de puntos donde tiene sentido
o
aplicar la funci n. Ya estuvimos trabajando sin decirlo con funciones de n en .
o
Ejemplo 2.1.1. Veamos primero algunos ejemplos donde Dom f
1. La norma X
n . Sea X
x1
xn n .
x2 x2 x2 es una funci n.
o
n
1
2
32
y
x.
1. f x y
eje y.
3. Sea
1
1
. En
x2 y2 z2
X 2
3
Dom f
.
xy
y1
x2 y2 x
f x y
Dom f
En este caso es
2. f x y z
Luego
Funciones
0.
si x y 0 0
si x y
2.1.2. Curvas
n , donde I es alg n subconjunto (en general un intervalo) de .
u
2 dada por t
cost
2. :
3 dada por x
3. :
4 dada por y
4. Si f : Dom f
sent .
x 1 3
y2 y3 y4 .
, x
Observemos que en el ultimo ejemplo la curva tiene como imagen lo que llamamos el gr co de f ,
a
Gr f . En el caso de curvas a valores en 2 o 3 , lo que interesa en general es la imagen de la misma
(a diferencia de las funciones de m s variables, donde lo que interesa es el gr co como vimos). As por
a
a
Im
t
0
cost
5
4
2
2
2
2
x1 1 0
33
a
o
muchas veces si f no es muy complicada podemos dibujar. Por ejemplo el gr co de f x x 12 1 es
a
una par bola, mientras que el de f x x1 es una hip rbola.
a
e
x1
12 1
x
y
x1
x1
y 3 : x y
Como puntos del espacio, tienen la unica restricci n de tener z 3, mientras que x e y pueden moverse
o
libremente. Es decir, el gr co se representa simplemente como un plano horizontal puesto a altura z 3.
a
Si tomamos un ejemplo un poquito m s complicado, gx y x y, se tiene
a
Grg
y x y : x y
Los puntos del gr co verican entonces la relaci n z x y, lo que nos dice que el gr co lo podemos
a
o
a
representar en 3 como un plano por el origen, de normal N 1 1 1 (puesto que x y z 0).
a
x2 y2 , y tambi n jx y
e
Veamos un par de ejemplos m s interesantes. Consideremos hx y
2 . Los puntos del gr co de h verican z
x2 y2. Ambas tienen como dominio
a
x2 y2 , mientras
34
Funciones
1,
positivos de z, como por ejemplo z ob-
y
x2 y2
1
x
Sin embargo, hemos descubierto que si cortamos cualquiera de los dos gr cos con un plano de altura 1,
a
queda formada una circunferencia de radio 1, lo que nos permite dibujar lo siguiente:
z
z0 es un u
jo, la ecuaci n x y
o
si
z0En general,quezla ecuaci n n mero positivouna circunferencia de radio zz0 .es una circunferencia de radio
, mientras
o x2 y2 z2 es
Pareciera que las dos guras,
2
0, cuya
Sin embargo, la t cnica no se agota aqu. No necesariamente tenemos que cortar con planos horizontales.
e
35
Por ejemplo, sitomamos x 0 estamos considerando la pared formada por el plano yz. En el caso de la
o
funci n h se obtiene la ecuaci n 02 y2 z. Es decir, z y2 , que es una par bola. Por lo tanto el gr co de
o
a
a
y2
y x2 y2
el gr co de h es un paraboloide
a
z y. Recordemos que tena que ser z 0, con lo cual la gura que se obtiene es la siguiente,
x2 y2
el gr co de j es un cono
a
x
que es lo que se conoce como cono. Miremos la diferencia de las dos guras en el origen: ciertamente van a
tener distintas propiedades cuando pensemos en las derivadas.
36
Funciones
Supercies de nivel
En el caso de funciones f : 3
, el gr co es un subconjunto de 4 . Para dibujarlo hay que recurrir
a
a sustancias ilegales. Sin embargo, si recurrimos a la t cnica de antes se pueden dibujar lo que se conocen
e
como supercies de nivel de f , que nos dan una idea del comportamiento de f .
Denici n 2.1.3. Dada f : Dom f
o
subconjunto del dominio dado por
Sc f
x 1
xn Dom f : f x1
xn
2.1.4. Lmite
Pasemos ahora a hablar de lmite de funciones. Escribimos la denici n, que contiene al caso conocido
o
cuando n 1.
Denici n 2.1.4. Sea f : n
o
, P n . Decimos que l es el lmite de f cuando X tiende a P (y lo
X P
implica f X l
Notar que la denici n de lmite excluye al punto P en cuesti n. As por ejemplo, el lmite de la funci n
o
o
real de la gura de abajo, cuando x 2, es igual a 1, independientemente de cu nto valga f en x0 2 (ni
a
siquiera tiene por qu estar denida en x0 2):
e
y
y
l
f x
f 2
Observaci n 2.1.5. En el caso en el que el dominio de la funci n no sea todo n (esto es usual), se puede
o
o
razonar de la siguiente manera. Lo que queremos ver es a qu valor se aproxima f X cuando X se aproxima
e
a P, para una f : A (con A n ). Por lo tanto tiene sentido considerar como P no s lo a cualquier
o
punto del conjunto A donde f est denida, sino a cualquier punto de acumulaci n A. Es decir, es lcito
e
o
tomar P A. Hay que hacer la salvedad de que nos aproximemos con puntos donde se pueda evaluar f .
37
A
P Ao
P A
Con esto, se obtiene la denici n de lmite que cubre todos los casos relevantes:
o
. Sean P
0 existe
0 tal que
X P
yX
implican f X l
En general probar a mano que un lmite existe es muy engorroso (aunque a veces no queda otra). Sin
embargo, si uno establece algunas propiedades que permitan desarmar el lmite en lmites m s simples, esto
a
facilita la tarea. Este es el objetivo del algebra de lmites.
Antes, una observaci n: si tenemos dos funciones distintas, pueden estar denidas en subconjuntos diso
tintos A B de n . En consecuencia la suma, resta, producto y divisi n de ellas s lo va a tener sentido en la
o
o
intersecci n A B de estos conjuntos. Y los puntos donde tiene sentido calcular el lmite tienen que ser eno
lm f X
Entonces
1. lmX
P f
gX
l1 l2 en A.
l1
n . Sea P
lm gX
A, y supongamos que
l2
38
Funciones
2. lmX
P f
gX
3. Si l2 0, lmX
l1 l2 en A.
f
P g X
l1
l2
en A C0g.
X P
1 y X A (pues lmX P f X l1 ). An logamente, existe 2 0 tal que gX l2
a
2 siempre
que 0
X P
2 y X A (pues lmX P gX l2 ). En consecuencia, si X A y 0
X P
mn 1 2 , entonces
f gX
l1 l2
P f gX
f X l1
gX l2
2 2
l1 l2 . La resta es an loga.
a
Vemos 2, el producto. Tengamos presente que podemos conseguir que f X l1 y gX l2 sean tan
chicos como nosotros queramos, por hip tesis. Escribimos
o
f gX l1l2
f X gX f X l2 f X l2 l1 l2
f X gX l2
f X l1 l2
El unico t rmino que no es evidente que est acotado es f X . Pero de nuevo por la desigualdad triangular,
e
a
f X l1
f X
con lo cual
f gX l1l2
f X l1
l1
gX l2
l2 l1
gX l2
(2.1)
0. Entonces l1 l2
f xgX
f X
gX l2
l2
tal que 0
X P
1 implique f X
. Si tomamos mn 1 2 , entonces
1 l
f gX l1l2
1 l2
1 l2
2 implique gX l2
2 l1 , y elegimos
. Si tomamos mn 1 2 ,
2 2l
1
2 2
l2
39
Veamos 3, el cociente. Observemos primero que f g tiene sentido en el conjunto A C0 g pues removimos los ceros de g. Sacando denominadores comunes tenemos
f gX l1 l2
1
f X l2 gX l1
l2 gX
f X l2 l1 l2 l1 l2 gX l1
l2 f X l1
l1
l2 gX
Falta acotar el primer factor por alguna constante, es decir, falta ver que existe M 0 tal que g1
M si
X
X P
y X A C0 g. Para simplicar la demostraci n, supongamos que l2 0 (el caso l2 0
o
0
es an logo). Como lmX P gX l2 , se tiene gX l2
a
l2
gX si 0
1
gX
2
l2 ,
gX l2
l2 2
X P
0 y X A C0 g. En particular gX 0 en este
como queramos. Con esto, llamando M l2 tenemos
2
2
1
gX l2
siempre que 0
X P
0 .
Ahora, como f tiende a l1 y g tiende a l2 , se tiene
f X l1 l2
0 y gX l2 l1
por la propiedad del producto que ya probamos. Entonces existen 1 2 0 tal que 0
implica
f X l1 l2
y gX l2 l1
2M
2M
En consecuencia, si mn 0 1 2 , se tiene
f gX l1 l2
1
l2 gX
l2
f X l1
gX l2
l1
f j x1 x2
entonces si P
p1
pn , se tiene lmX
P f j X
xj
xn
lmX
P xj
2M 2M
p j.
p12 xn pn2
f j X p j es peque o.
n
x1
xj
xj pj
mn 1 2
Por ejemplo, si f : 3
es la proyecci n a la segunda coordenada f x y z
o
lmx y z 2 3 1 f x y z lmx y z 2 3 1 y 3.
f j X p j
X P
X P
y, entonces se tiene
40
Funciones
Como comentario adicional (para confundir) observemos que de acuerdo a la notaci n que usamos para
o
sucesiones, cuando queramos se alar la j- sima coordenada de una sucesi n Pk escribamos Pk j . Ahora
n
e
o
podemos decir que Pk j f j Pk (para pensarlo, es una tontera de la notaci n nom s!).
o
a
o
Ejemplo 2.1.9. Juntando el Teorema 2.1.7 con la Observaci n 2.1.8, se deduce que tomar lmite en las
funciones que involucran sumas, restas, productos y cocientes de las coordenadas, se traduce simplemente
en evaluar las funciones en el punto dado (siempre y cuando el denominador no se anule). As por ejemplo
y z
xy z2 y
2
1 3 4 3x z y
13 16 3
349
lm
2.2. Funciones F : n
32
8
Una funci n de este tipo est dada por una tira de funciones fi : n
o
a
F x1 x2
xn
f 1 x 1
x2
x n f 2 x 1 x 2
xn
(con i
f m x 1 x 2
m), es decir
xn
La denici n de lmite es enteramente an loga, simplemente hay que tener en cuenta que ahora los valores
o
a
de F son vectores y no n meros. Consideremos A n como siempre.
u
0 existe
m . Sean P
L en A si para
0 tal que
0
X P
yX
implican F X L
2.2.1. Composici n
o
Podemos componer funciones de la manera obvia. Por ejemplo si por un lado F x y
y por otro lado Gx y z x y z xy lny, se tiene
G
F x y
x ey
xy cosxy
y
y
x e xy cosxy x e xy lnxy
con las restricciones de dominio que corresponda en cada caso. Por ejemplo aqu
DomG F
y 2 : xy
En general hay que tener cuidado de que se pueda hacer la composici n. Adem s de poder encadenar
o
a
n
2.2 Funciones F : n
41
con el espacio m intermedio, hay que recordar que el dominio de una composici n, si F : A
o
G : B m
k es
DomG F
X A : F X B
m y
Si P A es tal que lmX P F X L1 B, y lmY L1 GY L2 , entonces existe el lmite de la composici n lmX P G F X en DomG F , y adem s lmX P G F X L2 , siempre y cuando F X L1
o
a
para X P.
Demostraci n. Dado
o
0, existe
G
0 tal que
F X L2
GF X L2
siempre y cuando 0
F X L1
y F X B, por ser lmY L GY L2 (simplemente llamando
Y F X ).
F X L1
siempre que 0
X P
y X A, pues
Pero dado 0 existe 0 tal que 0
lmX P F X L1 en A, y F X L1 si X P.
X P
y X DomG F A garantizan G F X L2
.
Luego 0
Observaci n 2.2.3. La condici n F X L1 est puesta para que no ocurran situaciones ridculas como la
o
o
a
gx
Entonces g f x
si x 0
si x 0
x 0
lm gx
x 0
lm 1
x 0
1. Como
lm
y z
0 0
x2 y z
2. Como
lm
y z
2 1
lm
y z
senx2 y z
x2 y z
0 0 0
lm
y z
0, se tiene
2 1
0, entonces
de manera muy
42
Funciones
Un caso particular (y bastante importante) de funci n F : n m son las curvas, que es lo que se tiene
o
cuando n 1.
Que exista el lmite de una funci n F : n m a lo largo de una trayectoria, no garantiza que el lmite
o
vaya a existir. Pero, de acuerdo al Teorema 2.2.2, si el lmite existe entonces el lmite de la composici n tiene
o
que dar lo independientemente de con qu curva uno componga. Tenemos entonces la siguiente
mismo,
e
herramienta u
til:
a
l
o
y x, por lo que hay que excluir las posibilidades m 1. Calculemos el lmite de la composici n, para
cada m 1:
lm f t
t 2 mt 2
0 t 2 mt 2
lm
t 2 1 m2
0 t 2 1 m2
lm
1 m2
1 m2
Esto prueba que el lmite lmx y 0 0 f x y no existe, pues si nos acercamos a lo largo del eje x (con
m 0), el lmite de la composici n da 1, mientras que si nos acercamos a lo largo de la recta y 2x (con
o
m 2), el lmite de la composici n da 5 3.
Dom f
Dom f
y 0 m 0
lm f t 0 1
lm f t 2t
y 2x m 2
5
3
n
z2.2 Funciones F :
43
Sea gx y x2 y , P 0 0. Conx y
sideremos t t mt como antes. El denominador de f se anula
en la par bola y x2 , pero si t es
a
chico (y 0) la recta y mx no corta la par bola.
a
x2
y
Dom f
Para cada m :
t 2 mt
t t m
1
lm
t 0 t 2 mt
t 0t
t 0
t m
Esto no nos sirve! Podra ser que el lmite exista? Probemos con algunas trayectorias m s. Nos falt con
a
o
siderar, entre las rectas, el eje y. Para esto tomamos t 0 t . Se tiene
lm f t
lm
lm f t
lm
0t
0t
tambi n; seguimos sin saber si el lmite existe o no. Mirando la funci n, vemos que el numerador se anula a
e
o
lo largo de la curva y x2 . Esto nos da una pista, tomamos t t t 2 . Entonces
lm f t
0 f x
t2 t2
0 t2 t2
lm
lm 0
y no existe.
m . Sean P
X P
yX
L.
o
0
P, se tiene lmk F Pk
0 existe
implican F X L
0 tal que
44
Funciones
Es decir que usar sucesiones no es muy pr ctico porque no basta probar con una. Sin embargo, usar
a
sucesiones s sirve para ver que el lmite no existe. La idea es la misma que la de las trayectorias.
Observaci n 2.2.9. Sean Pk y Pk dos sucesiones de puntos de A, tales que ambas tienden a P, y las
o
F P tienen lmites distintos, entonces no existe el lmite lm F X .
sucesiones Qk F Pk y Qk
k
X
Aqu hay que hacer la salvedad, al igual que en el caso de las curvas, de que esto vale siempre que Pk y
xy
xy ,
se tiene Dom f
lm
x y
f x y
Tomando Pk 1 0 y Pk 0 1 se observa que ambas son sucesiones del dominio que tienden a cero.
k
k
1 k0
01 k
Pero lmk f Pk lmk 1 k0 1, y por otro lado lmk f Pk lmk 01 k 1.
Y de la Proposici n 2.2.8 tambi n se desprende el siguiente hecho m s o menos obvio, que nos permite
o
e
a
mirar cada coordenada por separado.
m , con A n . Sean L m , P A. Entonces F tiende a L cuando
Corolario 2.2.11. Sea F : A
X
P si y s lo si cada coordenada de F converge a la coordenada correspondiente de L. Es decir, si
o
F f1 f2 fm y L l1 l2 lm , entonces
lm F X
lm f j X
l j para cada j
Lmites innitos
Se denen en forma an loga al caso real los lmites en innito y los lmites que dan innito.
a
1. Decimos que lm F X
lmk F Xk
m , L
m y P A.
L.
Equivalentemente, dado
0 existe M
0 tal que
A implican
M yX
F X L
2.3 Continuidad
45
Xk de A tal que Xk
P, se tiene lmk F Xk .
0 existe
Equivalentemente, dado M
0 tal que
X P
yX
implican F X
2.3. Continuidad
La noci n de continuidad es id ntica al caso conocido en una variable. Necesitamos que tomar lmite
o
e
m y P
A.
P F X
F P.
en el conjunto A donde F est denida, para poder calcular F P. Eso no quita que, dado P A, podamos
a
preguntarnos si la funci n se puede extender (redenir) en el punto P de manera que quede continua. Esto
o
lo podremos hacer si y s lo si el lmite lm F X existe en A. En ese caso diremos que la discontinuidad en
o
P es evitable.
Observaci n 2.3.3. Puesto que el lmite se calcula en cada coordenada por separado, se tiene que F
o
p1 pm si y s lo si cada f j : A
o
es continua en P, y tambi n que F
e
f1 f m es continua en P
es continua en A si cada f j es continua en A.
Dado que el lmite de una composici n es la composici n de los lmites (Teorema 2.2.2),
o
o
m y G : B m
X A : F X B .
, y P
A.
Probemos un par de propiedades sencillas que nos van a resultar utiles m s adelante. La primera dice
o
que si f X 0, entonces lm f X 0. La segunda dice que si una funci n continua es no nula, hay un
entorno donde no se anula, y se deduce de la primera.
46
Funciones
P en A, y f Xk
P en A, y f Xk
3. Si f P
0, entonces existe r
0 tal que si U
Br P A, se tiene f X
4. Si f P
0, entonces existe r
0 tal que si U
Br P A, se tiene f X
f P
ces k0 tal que k k0 implica f Xk f P
2 . Es decir,
f 2P
f Xk f P
f P
2
0.
0.
U.
0 para todo X U.
0 para todo X
0, tomamos
f P
2 ,
y existe enton-
f P
2
0 si k
o
a
El tem 3. tambi n lo probamos por el absurdo: supongamos que para todo k existe Xk B 1 P A
e
k
tal que f Xk 0. Entonces Xk
P en A y por ser f continua en P, 0 f P lmk f Xk 0, lo cual es
o
a
Denici n 2.3.6.
o
1. Un conjunto A
que X
M para todo X A.
2. Un conjunto K
0 tal
n mx
a
i 1 n
A tal que
xi
se deduce que un conjunto A es acotado si y s lo si cada una de sus coordenadas est acotada.
o
a
Recordemos el teorema del valor medio en una variable:
Teorema 2.3.8. (Bolzano) Si f : a b
f c 0.
es continua, y f a f b
o
creciente an de puntos de A que tiende a s a b . Como f an 0 (pues an A), el tem 1 del Lema
2.3.5 nos dice que debe ser f s 0. Armo que f s 0. Si no fuera as, sera f s 0. Pero entonces el
tem 3 del mismo lema nos dice que hay un entorno de s de la pinta s r s r a b , tal que f x 0 all.
2.3 Continuidad
47
0y
f X
l y f P
l, entonces f P l
Im f .
Demostraci n. Para probar 1, supongamos f P f Q (si son iguales no hay nada que probar). Tomemos
o
c f P f Q y consideramos fc : A dada por fc X f X c. Entonces fc P f P c 0 y
fc Q f Q c 0. Adem s fc es continua, as que por el teorema anterior existe R A tal que fc R 0.
a
Esto es f R c 0, es decir f R c.
Para probar 2, tomemos c f P l . Observemos que como lmX Q f X l, existe una sucesi n Xk
o
de puntos de A tales que, dado l c 0, si k k0 entonces f Xk l
l c. Desarmando este
o
m dulo se tiene l c f Xk l l c, y considerando s lo el lado izquierdo se tiene c f Xk .
o
Tomemos Q Xk0 A. Entonces f Q c, y como f P c por el tem 1. se tiene que c Im f .
Teorema 2.3.11. (Weierstrass) Si A es un conjunto compacto de n , y f es continua en A, entonces existen m M tales que m f X M para todo X A. Adem s, existen Pm PM A tales que f Pm
a
mn f X : X A y f PM m x f X : X A .
Demostraci n. Supongamos primero que f no es acotada. Si no existe M tal que f X M, entonces existe
o
una sucesi n de puntos Xk A tal que f Xk k para todo k . Como A es cerrado y acotado, Xk tiene
o
una subsucesi n convergente Xk j , tal que Xk j j P A. Se tiene f Xk j k j , y como f es continua en P,
o
esto es imposible. De la misma manera se prueba que existe m tal que m f X .
m M , Im f es
Ahora veamos que f alcanza sus valores m ximo y mnimo en A. Como Im f
a
un conjunto acotado de . En particular es acotado superiormente, luego tiene supremo s. Veamos que en
realidad es un m ximo, es decir veamos que existe PM A tal que f PM s. Para ello, tomamos una
a
o
sucesi n creciente de puntos de Im f que tienda al supremo. Tenemos entonces que existe una sucesi n de
o
puntos Xk en A tales que lmk f Xk s. De la sucesi n Xk extraemos una subsucesi n convergente Xk j ,
o
o
y llamamos al lmite PM (que es un punto de A). Se tiene f PM lm j f Xk j s por ser f continua. De
forma an loga se prueba que f alcanza su valor mnimo, construyendo una sucesi n de puntos que tienda al
a
o
nmo de Im f .
m es compacto.
48
Funciones
Demostraci n. Como F f1 fm , y cada fi es continua, por el teorema anterior cada coordenada del
o
conjunto F A est acotada, y en consecuencia F A es acotado. Por otro lado, si Q F A, existe Xk A
a
una sucesi n de puntos tal que F Xk Q en m . Extraemos de Xk una subsucesi n convergente Xk j a un
o
o
punto P A. Se tiene, por la continuidad de F,
lm F Xk j
F lm Xk j
F P
F 1 W
m , el
A : F X W
0,
La denici n nos dice que peque os movimientos en el dominio provocan peque os movimientos en la
o
n
n
imagen, independientemente de en qu punto hagamos estos movimientos.
e
Observaci n 2.3.15. Una funci n uniformemente continua es continua, puesto que dado P A, y
o
o
0, se tiene por la denici n que existe 0 tal que X P
o
implica f X f P
. Es decir,
lmX P f X f P.
Observemos sin embargo, que es habitual para funciones continuas el hecho siguiente: dado , el
necesario para conseguir F X l
puede depender no s lo de , sino tambi n del punto P en
o
e
cuesti n. Un ejemplo sencillo de funci n continua que no es uniformemente continua es el siguiente.
o
o
2.4 Problemas
49
, entonces x2 y2
2. Pero si tomamos y 2 ,
y 2
y
2
2
4
1
, pero
e Yk en A tales que Xk Yk
k
F Xk F Yk
(2.2)
Yk j Xk j
Xk j X
1
kj
X. Como F es continua, lm j F Xk j
A. Observemos que
Xk j X
lm j F Yk j
2.4. Problemas
2.I. Gracar las curvas de nivel de las siguiente funciones y hacer un dibujo aproximado de Gr f
f x y
x2 y2
f x y
3 .
2x 3y
2.II. Sea P A
n y f : A
0 tal que si U
0 para todo k ,
Br P A, entonces se tiene f X
f A
k es
2.V. Sea F : A n
k . Supongamos que para todo abierto W
1 W A U. Probar que f es continua.
F
k , existe U
50
Funciones
3 D ERIVADAS
D IFERENCIAL
a
como compuestas de partes
extraordinariamente peque as, sino como
n
descritas por el movimiento continuo
3.1. Derivadas
Empecemos repasando la derivada de una funci n de una variable. Recordemos la idea de recta que
o
mejor aproxima, que seg n la gura de abajo, es la recta tangente al gr co de f .
u
a
y
y f axa f a
f a
y
f x
x
Para armar una recta, hacen falta dos puntos distintos del plano. O un punto del plano y la pendiente.
Entonces jando a f a, hallamos m f a de la siguiente manera. Tomamos otro punto x Dom f ,
construimos la recta secante
52
Derivadas y Diferencial
f x
y
x
x
a f a
f a
x
y
f x
a
La pendiente de esta secante depende de x y a, es
f x f a
xa
y
x
Si hacemos tender x al punto a, se obtiene (si existe el lmite) la pendiente de la recta deseada, y por lo tanto
lm
x a
f x f a
xa
O sea existe la derivada si y s lo si existe el lmite de los cocientes incrementales. Y decimos que f es
o
lm
h 0
f a h f a
h
a, que es
f ax a f a
Por su parte, la recta normal pasa por el mismo punto seg n indica el gr co
u
a
3.1 Derivadas
53
f a
f ax a f a
f x
y f 1a x a f a
a
3.1.1. Curvas
Na : a f a f a
es alg n intervalo. En este caso tenemos n-funciones reales, todas movi ndose al unsono con el mismo
u
e
par metro, y la derivada se dene de la manera obvia, es decir, derivando cada coordenada. Solamente
a
t
Por ejemplo, si t t 2 , se tiene 0 1 0 y en general t 1 2t para todo t . En
t
cambio si t cos sent se tiene t sent cost y en particular 0 0 1.
a
y x2 , se tiene
Im
x
Y como describe una circunferencia unitaria x2 y2
1, se observa
t 2
54
Derivadas y Diferencial
y
t
cost
sent
Im
x
1
Por supuesto que la derivada en realidad representa el vector director, que nosotros dibujamos pinchado
en el punto correspondiente. La recta tangente a la curva tiene en general ecuaci n
o
Lt0 : t0 t0
Hay que tener presente que el gr co de una funci n f :
a
o
Gr f
(3.1)
, que es el conjunto
f x : x Dom f
a
se puede parametrizar siempre con la curva x x f x, donde : Dom f 2 . Esta curva ser derivable en a si y s lo si f es derivable en a, y su recta tangente coincide por supuesto con la recta tangente al
o
gr co de f en el punto a f a.
a
Observaci n 3.1.2. Cambiemos el punto de vista. Supongamos que queremos dar la ecuaci n de la recta
o
o
tangente al gr co de f : , pero en forma param trica, es decir como en la ecuaci n (3.1). Entonces
a
e
o
se tiene en cuenta que el gr co de f se puede parametrizar con la curva x x f x con x Dom f
a
como mencionamos antes. Y por lo tanto, si f es derivable, la derivada es x 1 f x. Con lo cual
La : a a
f a 1 f a
Es fundamental observar que la primer coordenada del vector derivada es constantemente uno, mientras
que la segunda coordenada expresa la raz n de cambio, pues y x f a 1 f a. Es decir, que por
o
cada unidad que avanzamos en el eje de las x, se avanza f a unidades en el eje de las y. Esto ultimo, por
supuesto, es una aproximaci n, y s lo es exacta esta armaci n cuando f es una recta, con lo cual coincide
o
o
o
con su recta tangente.
Resumiendo, el vector derivada nos dice cu nto hay que moverse en y por cada unidad que nos movemos
a
a
en x, si nos movemos desde el punto a f a, pero a lo largo de la recta tangente al gr co de f en ese
punto.
Se deduce de lo anterior que un vector normal al gr co de f es f a 1, pues como
a
1
f a f a
f a f a
se concluye que son ortogonales. Observemos que esta escritura es v lida incluso en el caso f a
a
donde se obtiene el vector normal 0 1.
0,
3.1 Derivadas
55
3.1.2. Derivadas direccionales
o
Supongamos que tenemos una funci n f : 2
f x y
1 x2 y2
El dominio de estafunci n es la bola cerrada unitaria en el plano, centrada en el origen
o
B1
Dom f
y 2 : x 2 y 2
Si miramos las curvas de nivel, z cte, debe ser z 0 pues z est igualado a una raz cuadrada. Es decir el
a
gr co est por sobreel piso. Adem s como z2 1 x2 y2 , se tiene x2 y2 1 z2 lo que nos indica que
a
a
a
0
0
debe ser z0 1. Las
a
curvas de nivel son circunferencias como se puede observar, pero podemos decir m s:
0
x y z0
1
Entonces puntos est n sobre la c scara de la esfera unitaria centrada en el origen. Pero es s lo el casquete
los
a
a
o
superior, pues z debe ser positivo. El gr co de f es entonces una media esfera
a
lnea recta, en forma tangente a la esfera (es esto intuitivo?). Pero dado un punto P en la esfera, hay muchas
direcciones tangentes. Se puede ver que forman un plano, que se denomina plano tangente
z
Ahora tomemos gx y
x2 y2. Las curvas de nivel son nuevamente circunferencias, el gr co
a
y,z
x
s lo existe para z 0. Cortando con los planos x 0 e y 0 se obtienen las ecuaciones z
o
respectivamente. Estamos en presencia de un cono, como ya discutimos con anterioridad.
56
Derivadas y Diferencial
Si nos movemos en esta supercie cerca de un punto que no sea el v rtice, nuevamente direcciones
e
tangentes forman (al menos eso imaginamos) un plano. Exceptuando el origen. All, si uno dibuja algunas
rectas tangentes, lo que observa es nuevamente un cono. Es decir, no hay plano tangente en el origen. Es
m s, si uno mira cuidadosamente una direcci n y ambos sentidos, obtiene distintas rectas como en el caso
a
o
v hay
de la funci n real m dulo f x x . De hecho, en el ertice no rectas tangentes, ya que, como sabemos,
o
o
la funci n f x
o
x no tiene derivada en el origen. Dicho de otra manera, las derivadas laterales
lm
x 0
f x f 0
x0
lm
x 0
f x f 0
x0
no coinciden, por m s que cada una de ellas existe por separado.
a
n ,
1. Sea f : A
lm
, y P
f P tV f P
t
Ao . El lmite
o
ta recordar el caso n 1. All, la denici n nos da en el
punto x a un n mero real que representa la pendiente
u
de la recta tangente al gr co de f en el punto a f a.
a
m f a
f a
y f x
a
La recta tangente la armamos sabiendo la pendiente y el punto por el que pasa. La situaci n aqu es
o
f
similar. El punto por el que pasa lo tenemos, lo que nos falta es relacionar la derivada direccional V P con
el vector director de la recta.
3.1 Derivadas
57
Conviene introducir siguiente notaci n. Usaremos X xn1 para denotar al vector de n1 formado
o
la
por el vector X x1 x2 xn n en las primeras n coordenadas, y el n mero xn1 en la ultima.
u
o y V
en el dominio de f el vector P tV se representa as:
Si P A
1,
Ao
P tV
tV
Y lo que que estamos haciendo cuando calculamos
f P tV f P
es calcular la diferencia de alturas de f seg n el siguiente gr co:
u
a
Gr f
PtV
f X :X A
P f P
f PtV
Ao
PtV
P
lm
1
P tV f P tV P f P
t
lm
P tV P f P tV f P
t
t
58
Derivadas y Diferencial
es decir
f
P
V
Esta ecuaci n, aunque la dedujimos del gr co de una funci n particular, es completamente general, y nos
o
a
o
dice que la recta tangente se arma formando el vector de n1 dado por V en las primeras n coordenadas y
la derivada direccional (que es un n mero) en la ultima. Es decir su ecuaci n param trica es
u
o
e
V
LP V : P f P V fV P
Observaci n 3.1.4. Observemos que en el caso de una funci n f :
o
o
, dado un punto del dominio
P a , hay s lo dos vectores de norma unitaria para considerar, que son el V 1 y V 1. Si usamos
o
V 1, obtenemos
f a t1 f a
f
P
lm
f a
t 0
V
t
con lo cual
f
V
P
1 f a
V
que es el vector que obtuvimos al escribir la recta tangente en forma param trica. Mientras que si usamos
e
V 1, obtenemos
f
P
V
lm
f a t 1 f a
t
lm
f
P
V
f a h f a
h
lm
h 0
f a t f a
t
Con lo cual
P
1 f a
V
pero la recta tangente es la misma por ser este ultimo vector m ltiplo del primero. Esto podramos haberlo
u
deducido sin hacer ninguna cuenta, del s lo hecho de que si f es derivable entonces hay una sola recta
o
tangente.
V
0,
e
Denici n 3.1.5. Sea Ei n , f : A n , P Ao . La i- sima derivada parcial de f en P es la derivada
o
f
direccional de f en la direcci n de Ei , y la denotamos xi P o bien fxi . Es decir
o
fxi P
lm
f P tEi f P
t
59
Es decir, las derivadas parciales son las derivadas en las direcciones de los ejes de coordenadas. As, por
ejemplo, si f x y 3x2 4y y P 0 0
f
0 0
x
1
30 t12 0 0
t
lm
lm 3t
mientras que
f
1
0 0
lm 302 4t 0 lm 4 4
t 0 t
t 0
y
Si prestamos atenci n a la denici n de derivada direccional, vemos que lo unico que hacemos es poner un
o
o
lm
f p1 p2 t p3 f p1 p2 p3
t
Si llamamos gy f x y z, lo que tenemos es una funci n de una sola variable, y de acuerdo a la denici n
o
o
de derivada para funciones g : ,
g p2
lm
h 0
g p 2 h g p 2
h
f
p1 p2 p3
y
Es decir que una derivada parcial es simplemente una derivada respecto de una variable dada, que se calcula
haciendo de cuenta que todas las dem s variables son constantes. Y podemos calcularla en cualquier punto
a
usando las reglas generales
Por ejemplo, si f x y
4.
f
y x
Hay que hacer la salvedad de que las derivadas existan, y por supuesto, de que los puntos est n en el
e
dominio. El resultado exacto es el siguiente:
, P p1 pn Ao . La funci n derivada parcial de f respecto
o
Proposici n 3.1.6. Sea f : A n
o
f
de xi es la funci n xi que se obtiene de f de la siguiente manera
o
f
p1
xi
pn
lm
f p1
pi t
pn f p1
pn
exista el lmite.
x2 y
x4 y2
si
y 0 0
si
60
Derivadas y Diferencial
En particular (con V
f tv1 tv2 f 0 0
t
1) se tiene fy 0 0
fx 0 0
lm
t 3 v2 v2
1
1
0 t t 2 t 2 v4 v2
1
2
v2 2 (con
v2
1
v2
f t 0 f 0 0
t
lm
v2 v2
1
v2
2
lm
v 1
t 2t 2
0 t4 t4
1
2
lm
0
t
t
0
t 2 , entonces
C mo podemos recuperar la idea de que una funci n derivable es una funci n suave, en particular
o
o
o
continua? El ultimo ejemplo es desalentador ya que contradice la intuici n, al existir en este caso todas las
o
derivadas direccionales, pero no ser esto garanta de continuidad.
Lo que haremos ser recurrir a la idea de aproximaci n lineal. Para ello, supongamos que tenemos una
a
o
para la cual existen todas sus derivadas parciales. Lo que nos tenemos que preguntar es
funci n f : n
o
o
si estas derivadas forman un hiperplano en n1 , y si este plano aproxima a la funci n.
El plano en cuesti n que queremos considerar es, dado P Ao , el plano generado por todas las derivadas
o
a
parciales. Es decir el plano en n1 que pasa por el punto P f P y est generado por los siguientes n
vectores de n :
E1 fx1 P En fxn P
Cu l es la ecuaci n de este plano, que como dijimos es un hiperplano en n ?
a
o
o
Recordemos que para dar un hiperplano de n1 , basta con dar una ecuaci n
N Y Q
a
o
donde N Q n1 est n jos. Esta ecuaci n nos dice que el plano tiene normal N y pasa por el punto Q.
Observemos que si ponemos NP fx1 P fx2 P fxn P 1 n1 como normal del plano, esta
es perpendicular a todos los vectores generados por las derivadas parciales, pues
NP Ei fxi P
NP X P xn1 f P
fx1 P
fx2 P
fxi P fxi P
fxn P
010
P :
p1
pn f P n1 .
0 fxi P
P :
xn1
61
As por ejemplo si f x y
x2 y2, como
fx x y
dado P
x0
x2 y2
y
x2 y2
(3.2)
y0 0 0 se tiene
P : z
Por ejemplo si tomamos P
x0
y0
x2 y2
x x 0
y y0
0
0
2 y2
2 y2
x0
x0
0
0
4 entonces f P
P : z
es decir z
y fy x y
5 3 x 4 y 9 16
5
5
5
5
5 con lo cual
3
4
x 3 y 4
5
5
5 o lo que es lo mismo
P : 3x 4y 5z 25
3
4
5x 5y
usando la denici n
o
t
1 2
fx 0 0 lm
t 02 0
lm
t 0 t
t 0 t
que no existe y lo mismo ocurre con fy 0 0. Por lo tanto en este caso no hay plano en el v rtice del cono,
e
lo cual nos devuelve un poco de la intuici n que queremos desarrollar.
o
Veamos ahora lo que ocurre con el Ejemplo 3.2.1 de m s arriba. Como vimos, f no es continua en el
a
origen. Sin embargo, existan todas las derivadas direccionales y en particular
0 y
0x 0 0y 0
pues f 0 0 0. Es decir, hay un plano, y es el plano z 0. C mo puede ser, si vimos que f no era
o
continua?
Lo que veremos es que el problema aqu no es que no haya un plano en P, sino que este plano no
62
Derivadas y Diferencial
Lo que vamos a pedir es que la distancia entre este plano P y la funci n f no solamente tienda a cero
o
(lo cual siempre que haya plano ocurre, puesto que el plano y la funci n se tocan en el punto P f P y
o
all la distancia es cero), sino que la distancia d d X entre ambos como se indica en la gura,
f X
P f P
Gr f
tienda a cero m s r pido que la distancia entre X y P. Es decir, llamando P a una parametrizaci n del
a a
o
P, entonces
plano tangente, vamos a pedir que si X
dist P X f X
dist X P
Cuando esto ocurra diremos que f es diferenciable en P. Recordemos que los puntos del plano tangente (si
el plano existe) verican la ecuaci n
o
xn1
, P
xn
63
Veamos algunos ejemplos. Volvamos al ultimo que nos desconcertaba. El plano tangente en P 0 0
estaba dado por la ecuaci n z 0. Entonces para que f sea diferenciable en P el siguiente lmite debera dar
o
cero.
x2 y
x2 y
00
x2 y
x4 y2
x4 y2
lm
lm
lm
x y 0 0
x y 0 0
x 02 y 02
x2 y2 x y 0 0 x4 y2 x2 y2
Pero tomando t t t , con t 0 (o lo que es lo mismo, tomando y
origen por la diagonal del primer cuadrante) se tiene
t 2t
2
2
lm
0 t 4 t
t2
t3
0 t 2 t 2 1 2 t
lm
lm
0 t 2 1
Es decir, el lmite no puede ser cero. Con lo cual, de acuerdo a nuestra denici n, la funci n f no es
o
o
diferenciable en el origen.
Veamos otro ejemplo. Si tomamos f x y x2 y2 (el paraboloide), las derivadas parciales son fx x y
2x, fy x y 2y. Con lo cual las dos derivadas parciales en el origen existen y son nulas. Entonces el plano
tangente en el origen es el plano z 0. Calculamos
lm
x y
x2 y2 0 0
02 y 02
lm
x y
x2 y2
x2 y2
lm
x y
x2 y2
lo que conrma nuestra intuici n, pues en este caso la funci n si es diferenciable en el origen.
o
o
Observaci n 3.2.3. Algunas observaciones y deniciones utiles.
o
1. Una condici n necesaria para que f sea diferenciable en P es que existan las derivadas parciales de
o
f en P. Sin embargo esto no es suciente, como vimos.
2. Al vector formado por las n derivadas parciales de f en P lo llamamos gradiente de f en P, y lo
denotamos fP (se lee nabla de f ). Es decir
fP
fx1 P
fxn P
f P f P X P
fP X
fP
(3.3)
64
Derivadas y Diferencial
lm
lm
, P
Demostraci n. Se tiene
o
f X f P
f X f P D fP X P
f X f P D fP X P
D f P X P
fP X P
donde en el ultimo t rmino usamos la desigualdad (3.3). Si en el primer sumando multiplicamos y dividimos
e
por X P , se obtiene
f X f P
f X f P D fP X P
X P
X P
fP
X P
P, con lo cual se
T X
tiene la expresi n
o
v1 x1 v2 x2 vn xn
xn
T X T Y
V X para todo X
n tal que
y cada coordenada de V se puede recuperar aplic ndole T al vector Ei de la base can nica, es decir
a
o
vi
T E i
65
, P
lm
tal que
entonces
1. Existen todas las derivadas direccionales de f en P, y vale
f
P
V
TP V para todo V
3. Se tiene TP X
fP X para todo X
D fP X
f
P
V
fP V
1
TP Ei y la transformaci n
o
n , y f es diferenciable en P. En particular,
D fP V si f es diferenciable en P
Demostraci n. Veamos que existen todas las derivadas direccionales, tomemos V n tal que V
o
1. Si
existe el lmite del enunciado, existe en particular el lmite componiendo con cualquier curva que tenga lmite
f P tV
lm
t 0
t
f P T V
lm
f P tV f P TPtV
t
Esto prueba que fV P lmt 0 f PtVt f P TP V . En particular existen todas las derivadas parciales.
o
Adem s, como TP Ei fxi P vale para todos los Ei , y una transformaci n lineal queda determinada
a
por su valor en una base de n , se deduce que TP X
fP X .
La unicidad de TP se desprende de que si hay otra transformaci n lineal SP que verique la condici n
o
o
fP X .
del lmite, entonces tambi n va a cumplir SP X
e
Lo que se arma en 3. es, en primer lugar, que
lm
f X f P fP X P
X P
66
Derivadas y Diferencial
Observaci n
o
fV P
fP
P
V
fP VP
fVP
fP
fP
lo
que nos muestra que la derivada direccional a lo sumo vale
fP
f P se tiene
fP
fP
fP
y : x2 y2
En esta discusi n vamos a excluir los bordes para hablar de derivadas. Es decir, vamos a considerar X
o
y B1 0 0. Recordemos que el gr co de f es el casquete superior de la esfera unitaria, pues de la
a
ecuaci n z f x y se despeja x2 y2 z2 1.
o
x
x
1 x2 y2
fX
1 x2 y2
x y
vista superior de Gr f
y
1 x2 y2
fP V
Gr f
f X
X X
x
x
67
observamos que, parados en el punto X Dom f , la direcci n de mayor crecimiento es aquella que nos
o
lleva al polo norte. En la vista superior del gr co, podemos observar que lo que hay que hacer es caminar,
a
justamente (empezando en X), en la direcci n contraria del vector X que es la que nos lleva hacia el centro
o
del dominio y por lo tanto al punto m s alto si caminamos por la esfera.
a
f X f P 0
X P
lm
0
X P
c. Entonces f es diferenciable en
y el Teorema 3.2.5.
Dadas dos funciones f g, nos interesan los puntos del interior de la intersecci n de los dominios. Para
o
simplicar consideramos que tienen el mismo dominio, y que es un conjunto abierto (lo que se consigue,
como dijimos, tomando el interior de la intersecci n de los dominios correspondientes).
o
Teorema 3.2.9. Sean f g : A
, con A abierto. Si P
A, y f
D fP X DgPX
D fP X gP f PDgPX
D f P X
D fP X
D f gP X
D fP X gP f PDgP X
g P 2
f gX
f gP D f p Dg p X P
X P
f X f P gX gP D f pX P Dg pX P
X P
D f p X
68
Derivadas y Diferencial
f X f P D fP X P
X P
gX gP DgPX P
X P
Los ultimos dos sumandos tienden a cero por hip tesis cuando X
o
de la desiguldad tiende a cero, como queramos.
Ahora veamos 2. Usamos la misma idea (el Teorema 3.2.5). Observemos que, para cada P A,
TP : X
D fP X gP f PDgPX
Para terminar la demostraci n de 2., veamos que cada uno de estos dos sumandos (divididos por X P )
o
e
tiende a cero cuando X P. En el primer caso, sumando y restando f X DgP X P, este t rmino es menor
o igual que
f X gX f X gP f X DgPX P
X P
f X gX gP DgPX P
X P
f X DgP X P f PDgPX P
X P
f X f P DgP X P
X P
f X gX gP DgPX P
X P
gX gP DgPX P
X P
o
f X f P DgP X P
X P
f X f P gP
0
gP
o
X A : gX 0 es abierto
se deduce de lo siguiente: si X A C0 g, entonces gX 0 o gX 0. Pero entonces existe una bola
D fP X gP f PDgPX
gP2
69
es lineal en X. Usamos nuevamente el Teorema 3.2.5, tenemos que ver que la siguiente expresi n tiende a
o
cero cuando X
P:
f X
P
gf P TPX P
gX
X P
o
Seg n dijimos, g1
u
c as que no es un problema si queremos ver que esta expresi n tiende a cero. Si
X
escribimos la expresi n de TP propuesta (evaluada ahora en X P), se obtiene (omitiendo el t rmino inicial
o
e
1
que est acotado)
a
g X g P
f X gP
f PgX gX gP D f
X P
PX
PgP f PDgPX P
gP2
P
expresi n tiende a cero cuando X
o
P. Si distribuimos gX en los diferenciales, tenemos
f X gP2
gP 2 f X f PD f P X P
X P
2.
f P gP gX gPDgPX P
X P
3.
gP gX gP D f PX P
X P
4.
f P gX gP DgPX P
X P
.
.
Las dos primeras tienden a cero por ser f g diferenciables en P. En las dos ultimas, por la desigualdad de
C-S, se tiene D fP X P
fP X P y lo mismo para g. Con esto, cancelamos el denominador en
ambas expresiones, y como g es continua en P (por ser diferenciable), tambi n tienden a cero las dos ultimas
e
expresiones.
un
70
Derivadas y Diferencial
a
a
Teorema 3.2.10. Sea f : a b
0.
f b, entonces existe c a b
f c
f b f a
ba
Demostraci n. Fermat: supongamos que c es un m ximo local de f . Entonces existe 0 tal que si x
o
a
c c , se verica f x
f c. La demostraci n se deduce del siguiente dibujo, mirando las rectas
o
f c
y
f x
c h h
c h h
Calculemos f c usando la denici n, con los lmites laterales. Por la izquierda se tiene
o
lm
h 0
pues f c h f c
0yh
f c h f c
h
0. Por la derecha,
lm
f c h f c
h
pues el numerador sigue siendo negativo pero ahora el denominador es positivo. Como ambos laterales deben
Si el m ximo y el mnimo son iguales, f es constante y por ende su derivada es nula en todo a b. Si son
a
71
Lagrange: Consideramos la siguiente funci n auxiliar, que es la resta entre
o
con b f b: gx
f x Lx.
y
g
L
f b
f a
y
a
f x
x
Entonces como la recta y f se tocan en a y b, se tiene ga gb 0. Por otro lado, g verica las
otras hip tesis del teorema de Rolle pues f las verica y L es una recta, y por ende existe c a b tal
o
que g c 0. Pero g x f x m, donde m es la pendiente de la recta L. Evaluando en c, se obtiene
f c m. Pero si la recta pasa por los puntos dados, su pendiente m se calcula como m y x, que es
exactamente
f b f a
m
ba
Por ultimo, veamos c mo se puede deducir la regla de LHospital a partir del teorema del valor medio.
o
Antes vamos a enunciar un resultado t cnico con ese s lo prop sito.
e
o
o
Proposici n 3.2.11 (Cauchy). Si f g son continuas en a b y derivables en a b entonces existe c a b
o
tal que
f c gb ga g c f b f a
Demostraci n. Consideremos
o
hx
f x
f a gb ga gx ga f b f a
Entonces la funci n h verica todas las hip tesis del teorema de Rolle en a b . Por otra parte
o
o
h x
f x gb ga g x f b f a
Es importante observar que las derivadas en el teorema de Cauchy est n evaluadas en el mismo punto
a
c a b.
Cuando gb ga, f b f a, el resultado anterior tiene la siguiente interpretaci n geom trica: consio
e
deremos la curva en el plano dada por t f t gt , y sus extremos P f a ga, Q f b gb.
Entonces t f t g t es el vector velocidad de la curva.
72
Derivadas y Diferencial
f b f a
g c
gb ga
gb ga
P
f b f a
f c
f b f a
g c
gb ga
Esta expresi n nos dice que hay alg n punto R c en la curva, donde la recta tangente a la misma es
o
u
paralela al vector que une los extremos P y Q, seg n indica la gura, puesto que la pendiente de la recta
u
f c
generada por el vector c es exactamente g c .
Ahora enunciamos la regla de LHospital para calcular lmites.
x a
lm gx
x a
a (exceptuando
Si existe el lmite
f x
lm
L
x a g x
entonces existe el lmite de f g y coincide con el de las derivadas, es decir
lm
x a
f x
gx
Demostraci n. Primero observemos que podemos extender a las funciones f g al punto x a como f a
o
ga 0, y quedan continuas por la hip tesis. Analicemos un lmite lateral, el otro se calcula en forma
o
id ntica. Como f g eran derivables en un entorno de a, existe 0 tal que tanto f como g son continuas en
e
a a y derivables en a a delta. Armo que g no se anula en a a : en efecto, si se anulara, por el
teorema de Rolle aplicado a g en el intervalo a a tendra que anularse g en a a , contradiciendo
73
, observemos que si las dos derivadas parciales de f existen en todas partes, entonces
Dada f : 2
por el teorema de Lagrange en una variable, existen c entre a y a h, d entre b y b k, tales que
f a h b k f a b
f a h b k f a b k f a b k f a b
f
f
c b kh
a d k
x
y
a h
f a h b k f a b fa b a h a b k b
a h b k a b
f
c b k f a b f a d f a b
y
x
x
y
Si las derivadas parciales de f fueran continuas, haciendo tender h k 0 tendramos que el ultimo t rmino
e
tiende a cero, con lo cual el primer t rmino tambi n. Pero esto ultimo es exactamente lo que debe ocurrir
e
e
o
es diferenciable en un punto. Observemos que las condiciones son sucientes pero no necesarias (ver el
Ejemplo 3.2.16).
Teorema 3.2.13. Sea f : A 2 con A abierto, y sea P A. Si las dos derivadas parciales de f existen
en un entorno de P, y ambas son continuas all, entonces f es diferenciable en P.
El criterio en su forma general se enuncia de la siguiente manera, y tiene una prueba similar que omitimos:
o
Teorema 3.2.14. Si A n es abierto, todas las derivadas parciales de una funci n f : A
A, y todas las derivadas parciales son continuas en A, entonces f es diferenciable en A.
existen en
Es decir, basta chequear la continuidad de las n derivadas parciales de f . Se puede pedir un poquito
menos, ver la NOTA I del nal del captulo.
74
Derivadas y Diferencial
y cosxz lnx
,
1z2 ey
Dom f
con dominio
y z : x
Entonces es m s o menos evidente que todas las derivadas parciales de f existen y son funciones continuas
a
en todo el dominio, con lo cual se deduce que f es diferenciable en todo su dominio. Se imaginan probando
a mano, en cada punto del dominio, que f es diferenciable?
Otro ejemplo, para pensar:
Ejemplo 3.2.16. Tomemos f : 2
dada por
1
x2 y2
xy sen
f x y
si
si
y 0 0
x y
0 0
x
lm
x y
fy 0 0
0.
f x y 0
x y
3.2.5. Funciones F : n
o
m se
En general, dadas dos bases de n y m respectivamente, una transformaci n lineal T : n
representa como una matriz M de n m, donde las columnas de M se calculan haciendo T Ei con i 1 n.
Esta matriz act a sobre vectores columna de la manera usual.
u
Podemos extender la noci n de diferenciabilidad a funciones a valores vectoriales as:
o
m , sea P
lm
Ao. Si TP : n
F X F P TP X P
X P
75
TP 11
TP 12
TP 21
TP 22
TP i1
TP 1n
x1 p 1
TP i2
xm p m
TP mn
Como el lmite existe y da cero si y s lo si existe el lmite en cada coordenada y da cero, se deduce que F es
DFP
f
1
x1 P
f1 P
f2 P
f1
x2 P
f2
x1 P
f2
x2 P
fm P
f1
xn P
fm
xn P
Observemos que se puede recuperar cada coordenada usando la base can nica:
o
fi
P
x j
DFP E j Ei
F P tV F P
F P tV F P DFPtV
lm
DFPV
0 lm
t 0
t 0
t
t
lo que prueba que
DFP V
para cualquier V
P tV
F P tV F P
0
t
lm
n .
76
Derivadas y Diferencial
Observaci n 3.2.20. Por supuesto que la suma de funciones diferenciables es diferenciable como vimos.
o
Para funciones a valores vectoriales, digamos G H : A n
m , tiene tambi n sentido considerar su
e
producto escalar
F X
GX H X
que es una funci n diferenciable F : A
o
ciables. Adem s se tiene
a
F P tX F P
0
t
lm
lm
1
GP tX H P tX
0 t
lm
GP H P
1
GP tX H P tX GP H P tX
t
GP H P tX GP H P
lm
1
GP tX GP H P tX
t
1
GP H P tX H P
t
DGPV H P
GP DHPV
que es una regla f cil de recordar pues es id ntica a la regla de derivaci n de un producto de funciones
a
e
o
reales.
Ya que la diferencial de una funci n la asimilamos a una matriz o transformaci n lineal, es bueno saber
o
o
como controlar su tama o. Para eso deniremos una norma en el espacio vectorial de las matrices, y veremos
n
un par de propiedades utiles:
T
En particular T X
2. La funci n
o
a)
b) T
c)
: nm
0 y es T
T S
m x
a
X para todo X
TX : X
n .
0 si y s lo si T
o
para todo .
nm entonces
0.
3. Si F : A n
m es diferenciable en P Ao , existe r 0 y una constante positiva Cr tal que
X Br P implica
F X F P
Cr X P
77
Demostraci n. Veamos 1. Observemos que, como T X es en cada coordenada una suma y producto de las
o
coordenadas de X, se tiene que cada coordenada es continua, y en consecuencia T es continua. Como la
funci n norma de 2 en , Y
o
Y , tambi n es continua, pues
e
X
se tiene que X
X Y
n :
X
X
T
con lo cual como T es lineal se tiene T X
la mejor cota.
Veamos 2. Que T es positivo es evidente por que es un m ximo de cantidades positivas. Por otro
a
X T
X
X
es decir, T es la transformaci n lineal nula. Que saca escalares con el m dulo es tambi n obvio de la denio
o
e
ci n.
o
Por ultimo, veamos que verica la desigualdad triangular. Si S T
T SX
T X SX
TX
SX
nm , entonces dado X B1 ,
F X F P DFPX P
X P
DFPX P
X P
1 DFP
1 DFP
, tenemos
78
Derivadas y Diferencial
DG F P
DGF P DFP
GF X GF P DGQ DFP X P
X P
Si sumamos y restamos DGQ F X Q, se tiene que la expresi n de la izquierda es menor o igual que
o
GF X GQ DGQF X Q
X P
DGQ
F X F P DFPX P
X P
El segundo t rmino ciertamente tiende a cero pues F es diferenciable en P. Por otro lado, como F es difee
renciable en P, en particular es continua en P pues cada coordenada de F es diferenciable y entonces cada
coordenada es continua. Entonces F X Q F P y si en el primer sumando multiplicamos y dividimos
por F X Q , se tiene
GF X GQ DGQF X Q
F X Q
F X F P
X P
El ultimo cociente est acotado por la parte 3. del lema previo, mientras que el primer cociente, como
a
F X Q, y G es diferenciable en Q, tiende a cero.
Observaci n 3.2.23. Adem s de la propiedad general que establece la regla de la cadena, el teorema tiene
o
a
la siguiente aplicaci n. Si F k n dada por F f1 fn la componemos con g : n , entonces
o
por la regla de la cadena (suponiendo que ambas son diferenciables)
Dg F P
gF P DFP
g
x1
g
xn
f1
x2
f2
x1
F P
f1
x1
f3
x1
f3
x2
fn
x1
g f1
x1 x1
g f2
x2 x1
g
x fn
x
n
f2
x2
g f1
x1 xk
f1
xk
fn
xk
g
x fn
x
n
donde en cada producto el primer factor est evaluado en F P, mientras que el segundo est evaluado en
a
a
P.
79
g f1
x1 xi
g
g
x fn x f j
n xi
j xi
j 1
expresi n en la que hay que recordar que las derivadas de F est n evaluadas en P, mientras que las de g
o
a
est n evaluadas en F P.
a
Hagamos un ejemplo para descifrar la sopa de letras.
Ejemplo 3.2.24. Sea F : 2
F u v
3 dada por
f1 u
v f2 u v f3 u v
2v cosu v 3 uv
Sea g : 3
dada por gx y z x2 y senzy.
, se tiene por ejemplo
Entonces, si consideramos g F : 2
g F
u
Tenemos
g
x
g
y
2xy
g f1
x u
g f2
y u
g f3
z u
x2 coszyz
g
z
coszyy
mientras que
f1
u
2u
f2
u
senu
f1 u v, y
f2 u v, z
f3
u
f3 u v, se tiene
2u2 2vcosu v 3 2u
2
e
de f2 u v, y tambi n zu v en lugar de f3 u v. Con lo cual se escribe F u v xu v yu v zu v
y la f rmula de la derivada parcial respecto de la primer coordenada de la composici n queda escrita de
o
o
manera sugestiva como
g F
u
g x g y g z
x u y u z u
lo que permite desarrollar una regla mnemot cnica sencilla para usar la regla de la cadena.
e
80
Derivadas y Diferencial
fP0 Q R
2t
2c
3c2
Proposici n 3.3.4. Si G : Br P
o
n es diferenciable, y DGQ
GX GY
para todo X Y
M X Y
Br P.
G gt GX GY
3.4 NOTAS
81
Entonces h t
DGgt g t GX GY , luego por el teorema de Lagrange en (tem 3. del Teorema
DGY cX Y X Y GX GY
Es decir
GX GY
DGY cX Y X Y
GX GY
M X Y
GX GY
Y por ultimo, la aplicaci n m s concreta para extremos de una funci n, que desarrollaremos con cuidado
o a
o
m s adelante. Si f : n
a
, un m ximo local es un punto P tal que
a
f P
f X
para todo X en un entorno Br P de X. De la misma manera se dene un mnimo local, y diremos que P es
Demostraci n. Supongamos que P es un m ximo local de f . Como P A es un punto interior, podemos suo
a
poner que existe r 0 y una bola abierta Br P A tal que f P f X para todo X Br P. Consideremos
la funci n auxiliar gt f P tEi , donde Ei es un vector de la base can nica. Entonces g : r r
o
o
es una funci n derivable, que tiene une m ximo local en t 0 pues g0 f P f P tEi gt . En
o
a
consecuencia, debe ser g 0 0. Pero esta derivada en cero es exactamente (usando la denici n) la derio
vada parcial i- sima de f en P. Esto prueba que fxi P 0, y como i es cualquiera entre 1 y n, se tiene que
e
el gradiente de f es cero en P.
3.4. NOTAS
I. Vamos a mostrar aqu que el criterio de diferenciabilidad se puede mejorar. Enunciamos el resultado concreto,
seguido de su prueba.
n
Sea f : A
, P Ao . Supongamos que
b) De las n derivadas parciales hay n 1 que existen en un entorno Br P de P, y estas n 1 funciones son
continuas en P.
Entonces f es diferenciable en P.
Como existen todas las derivadas parciales en P, tenemos que probar que
lm
f X f P fP X P
X P
82
Derivadas y Diferencial
En esta prueba vamos a usar fi para denotar la i- sima derivada parcial. Para simplicar la prueba vamos a suponer
e
que la unica derivada parcial que no est denida en un entorno de P es la n- sima (la ultima). Empecemos con
a
e
X
X
Observemos que
xn
(3.4)
x1 x2 xn jo, consideremos la funci n auxiliar g1 t
o
f t x2 xn Calculemos g t . Se tiene
1
f t h x2 xn f t x2 xn
g t lm
f X
Dado X
f x1 x2
xn f 0 x2 x3
xn f 0 x2 x3
h 0
1
f1 t x2 xn . Por el Teorema del valor medio de Lagrange, existe c1 0 x1 tal que
f x1 x2
xn f 0 x2
xn
g1 x1 g1 0
g c1 x1 0
1
f1 c1 x2
xn x1
f1 c1 x2
xn x1 f 0 x2 x3
xn
xn
f 0 x2 x3
f2 0 c2 x3
xn f 0 0 x3 xn f 0 0 x3
xn x2 f 0 0 x3 xn
xn
donde c2 0 x2 como antes. Seguimos as hasta la pen ltima variable, con lo cual nos queda
u
f X
xn x1 f2 0 c2 x3 xn x2
fn1 0 0 cn1 xn xn1 f 0 0 0 0 xn
n 1. Ahora observemos que, como P ,
f1 x1 f2 x2 fn1 xn1 fn xn
f1 c1 x2
f X
Recordemos que xi
queda acotada por
X para todo i
f X f X
X
xn f1 x1
cn1 xn1 xn fn1
f 0 0 0 0 xn f n xn
f1 c1 x1 x2
f n1 0
xn1
xn f1
f n1 0 cn1 xn1 xn f n1
f 0 0 0 0 xn fn xn
f1 c1 x1
3.4 NOTAS
83
Tomemos 0. Como cada ci 0 xi , y como las n 1 primeras derivadas parciales son continuas en X
por
hip tesis, todos estos t rminos tienden a cero cuando X
o
e
, con lo cual se pueden hacer todos menores que n
si 0
X
1 para alg n 1 0.
u
Falta ver que el ultimo t rmino se puede hacer menor que n (de esta manera la suma es menor o igual que
xn En f fn xn
xn
Pero
xn En f fn
xn
tEn f
fn
t
seg n la denici n de derivada direccional, lo que prueba que este ultimo t rmino tambi n tiende a cero. Elegimos
u
o
e
e
entonces 2 0 tal que la ultima diferencia sea menor que n siempre y cuando xn
2 .
X
, entonces los primeros n 1 t rminos son menores que
e
Tomando mn 1 2 , se tiene que, si 0
n, y el ultimo tambi n pues xn
e
X
2 .
, f 0, que f es diferenciable en . Supongamos ahora
Hemos probado, en este caso particular donde P
que f cumple todas las hip tesis, pero P , f P 0. Si ponemos
o
lm
f X
f X P f P
entonces f verica f 0, y es f cil ver que las derivadas parciales de f en un entorno del origen existen y
a
coinciden con las derivadas parciales de f en un entorno de P, pues X est cerca de cero si y s lo si X P est cerca
a
o
a
de P, con lo cual
f X tEi P f P f X P f P
f X tEi f X
lm
t
t
t 0
f X tEi P f X P
lm
fi P X
t
t 0
f i X
lm
En particular fP f , y adem s f verica todas las hip tesis que pusimos para hacer las cuentas, con lo cual
a
o
es diferenciable en seg n acabamos de demostrar. Poniendo Y X P se tiene
u
lm
f X f P fP X P
X P
lm
luego f es diferenciable en P.
lm
f Y P f P fP Y
Y
f Y f Y
Y
84
Derivadas y Diferencial
4 F UNCI ON
INVERSA E IMPLCITA
I
La naturaleza no da saltos.
Gottfried Leibniz
Empezamos esta secci n con un par de observaciones simples. Observemos que si F es diferenciable e
o
inversible, y su inversa tambi n es diferenciable, entonces por la regla de la cadena aplicada a F 1 F X
e
X se tiene
1
DFF X DFX I
DFF 1
X
DFX
Supongamos ahora que F es diferenciable solamente Ser cierto que si su diferencial es una transformaci n
a
o
lineal inversible, entonces F tiene una funci n inversa, diferenciable?
o
y
En el caso de una variable, el gr co de f
a
nos induce a pensar que s, pues derivada
f a 0
f a
f x
Atenci n que en general no podremos exhibir explcitamente esta inversa, sino solamente probar que
o
existe y que verica ciertas propiedades (y es para esto casos en los cuales no se pueda mostrar la f rmula
o
de la inversa, donde el teorema que queremos enunciar m s adelante tiene mayor sentido y utilidad).
a
Ejemplo 4.1.1. Consideramos f x x ex . Esta funci n es derivable y estrictamente creciente pues
o
f x 1 ex 0, con lo cual tiene una inversa en todo , y la inversa es derivable. Sin embargo, despejar
o
una f rmula para la inversa a partir de la ecuaci n f x y es imposible pues la ecuaci n x ex y no
o
o
puede resolverse explcitamente.
86
Para enunciar y demostrar un resultado de estas caractersticas en n , necesitamos pensar en todos los
ingredientes necesarios, que son: propiedades de las transformaciones lineales, continuidad de las derivadas
parciales.
4
Si f x x , entonces como f x 7 x 3 y f x
3
la derivada tercera de f no existe en cero.
7
3
1
28 3
9 x
se tiene f
C2 . Sin embargo f
C3 pues
Observaci n 4.1.4. Que la derivada de una funci n f exista no quiere decir que la derivada f sea una
o
o
funci n continua. Por ejemplo, si
o
entonces f 0
lmh
h2 sen1 h0
h
f x
lmh
si
si
0 h sen1
0, mientras que
2x sen1 x x2 cos1 x
1
x2
x 0
Es decir, f
x0
x 0
x2 sen1 x
0
f x
C1 aunque f si es derivable en .
f 0
2x sen1 x cos1 x
0
87
k .
T X P
T X T PT X P
X P
es trivialmente cero.
2. Si F : n
n es diferenciable ( Ck ) y T es una transformaci n lineal que sale de n , entonces
o
o
o
a
T F es diferenciable ( Ck ), y adem s
DT F P
T DFP
DTF P DFP
tal que TV
V TV
X para todo X
n .
1. Entonces T es inversible.
T V
IT
Por ultimo veamos cu l es la relaci n entre ser C1 y las diferenciales, para ello necesitamos un lema
a
o
previo de n meros reales.
u
Lema 4.1.6. Si ai bi (con i
ai bi
i 1
i 1
1
2
a2
i
i 1
1
2
b2
i
88
a1
an y B
b1
ai bi
1
2
AB
AB
i 1
a2
i
i 1
i 1
Ti j .
1
2
b2
i
Entonces
n m x Ti j
a
i j 1 n
T Ei E j
T Ei
Ej
TEj
Ej
1. Entonces escribimos X
xi 2
X 2 1. Entonces
n 1 xi Ei donde
i
xi T E i
TX
i 1
xi T E i
i 1
Esta ultima suma por el lema previo es menor o igual que el producto
1
2
xi
1
2
i 1
T Ei
1
2
i 1
T Ei
i 1
T Ei
i 1
2
Tji
2
n m x T ji
a
j 1 n
j 1
i 1
T Ei
2
n2 m x T ji
a
i j 1 n
89
gi
n m x
a
P
i j 1 n x
j
0 si Q
g1
gn es diferenciable en A.
g
x i Q
P.
DGP DGQ .
o
P y F P respectivamente, tales que F : V
W es biyectiva, la inversa es diferenciable y adem s
a
DFF 1
Q
DFQ
n es una
Br P y W
DFF 1
Q
V es diferenciable, con
1 para todo Q V
DFQ
Ck W . Esto no lo
Q n : Q P
F X X se tiene DG
X Y F X F Y
r0
X F X Y F Y
GX GY
1
X Y
2
90
X Y
F X F Y
con lo cual
X Y
F X F Y
X Y F X F Y
1
X Y
2
es decir
X Y
2 F X F Y
(4.1)
F 1 Z F 1 W
2 Z W
Q n : Q P
r ,
Veamos 2. Construyamos primero el abierto W F Br P. Pongamos Sr P
n , con S P
que es un conjunto compacto de
A. Como F es inyectiva en Br P, se tiene F X F P
r
dada por dP X
F X F P alcanza un mnimo en Sr P, digamos
d para todo X
Sr P.
F X F P
y se tiene en general F X F P
mn
X Sr P
F P
d
Sr P
F Sr P
n : Y F P
d 2
91
Bd
2 F P
P
F P
Sr P
F Sr P
hX
Br P tal que F X
Y.
Y F X Y F X
que es una funci n continua en el compacto Br P y diferenciable en Br P. Por ser continua tiene un
o
mnimo, digamos PY Br P es el mnimo de h. Armo que PY verica F PY Y , lo que probara que
Y F Br P.
Observemos que si X es un punto del borde de la bola, entonces
F P F X
F P Y
Y F X
d 2 Y F X
con lo cual Y F X
d 2, es decir hX d 2 4. Por otro lado, evaluando en P se tiene hP
Y
2
2
F P
d 4 lo que nos dice que el mnimo de h se debe hallar en el interior de la bola, es decir PY Br P.
Como h es diferenciable en la bola abierta, y el punto PY es un extremo local, por el Teorema de Fermat en
n debe ser DhPY 0. De acuerdo a la regla de derivaci n del producto escalar se tiene
o
0
DhPY V
2 DFP V Y F PY
Y
t
2 V DFP Y F PY
Y
para todo V
donde
denota la transformaci n lineal transpuesta de DFPY . Si reemplazamos V por
o
todos los vectores de la base can nica, se deduce que debe ser
o
n ,
t
DFPY
t
DFPY Y F PY
t
Como DFQ I 1 si Q P
r, entonces DFQ es inversible por la Observaci n 4.1.5, y entonces DFPY
o
2
es inversible. Debe ser entonces Y F PY , que es lo que queramos probar, pues se tiene PY Br P y
F PY Y .
92
lm
F 1 Z F 1 F Q DFQ 1 Z F Q
Z F Q
F Q
F Y , se tiene
F 1 Z F 1 F Q DFQ 1 Z F Q
Z F Q
DFQ 1 DFQ Y Q F Y F Q
F Y F Q
2 DFQ 1
Y Q DFQ 1 F Y F Q
F Y F Q
DFQ 1
F Y F Q DFQ Y Q
F Y F Q
F Y F Q DFQ Y Q
Y Q
donde en el ultimo paso hemos usado la desigualdad (4.1), y el hecho de que si Z F Q, entonces Y Q.
e
o
Nos queda ver que el teorema vale en general, sin suponer que DFP I. Pero si F es cualquier funci n
que verica las hip tesis del teorema, y ponemos
o
F X
DFP 1 F X
entonces F sigue vericando todas las hip tesis y adem s DF P DFP 1 DFP I, con lo cual por las cuentas
o
a
que hicimos reci n se tiene que F verica todos lo tems del enunciado. En consecuencia, F DFP F
e
tambi n.
e
Observaci n 4.1.11. La hip tesis F C1 A es esencial. El por qu , tiene que ver con el hecho siguiente:
o
o
e
aunque F sea diferenciable, y su diferencial sea inversible en un punto P, puede no haber ning n entorno de
u
P donde su diferencial sea tambi n inversible. El m s curioso puede ver un ejemplo concreto en las notas
e
a
del nal del captulo (Nota II).
r cos
cos
r sen
sen
r cos
DFr
Pongamos T DFr . Entonces det T rcos2 sen2 r. Esto nos dice que, salvo en la recta
r 0, la diferencial de la funci n F es inversible.
o
As que, para cada punto r , con r 0, existe un entorno donde F es inversible, y un entorno de F r
donde F 1 es diferenciable.
93
r1 cos1
r2 cos2
0, 0
r1 sen1
r2 sen2
2
2
Elevando al cuadrado y sumando se tiene r1 r2 , con lo cual r1 r2 . Pero entonces de la primera ecuaci n
o
deduce
se que cos1 cos2 , con lo cual, como el coseno es inyectivo en 0 2, se tiene tambi n
e
1 2 .
o
Para tener en cuenta es que, jado r r0 , esta transformaci n manda la recta vertical r r0 en una
circunferencia radio r.
de
r0
r r0
Asimismo, si jamos 0 , esta recta horizontal tiene como imagen un rayo que parte del origen,
formando un angulo 0 con el eje x.
0
r
La funci n F con la restricci n que hicimos para que sea biyectiva nos da un cambio de variable
o
o
y r cos r sen, que se suelen denominar coordenadas polares.
94
Lc
, las
Dom f : f X
donde c es una constante.
Observemos que este conjunto puede ser vaco, por ejemplo si f x y
1,
x2 y2 , y tomamos c
y : x2 y2
o
a
1 x2. El problema es que esta expresi n no est dada por
una unica funci n, para ello hay que elegir un signo.
y
x2 y2
2 con
1 x , lo cual si ponemos x
1 x2, la
Si queremos la parte superior, consideramos y
mitad superior de la
circunferencia es el gr co de la funci n , es decir, se escribe como los puntos de la
a
o
x2 y2
Sin embargo, podemos despejar x para pensarla como funci n de y. Se obtiene entonces x 1 y2,
o
95
fx y
2x y
fx y
2x
2y
2 x y
y : f x y
ft t
0 para todo t
o
respecto de y ser nula en P S si y s lo si el vector gra-
a
diente es horizontal, con lo cual la curva de nivel S, en un
entorno de ese punto, no puede pensarse como el gr co de
a
a
o
una funci n x. Asimismo, f ser nula en Q S si y s lo
o
x
si el vector gradiente es vertical, con lo cual la curva no puede parametrizarse en un entorno del punto como gr co de
a
una y.
y
S
Q
P
fP
fQ
Todo esto nos lleva a enunciar una versi n sencilla del teorema de la funci n implcita:
o
o
2
una funci n C1 , y S
o
x y 2 : f x y
Sea f : A
f
mos que y P 0 para alg n P S. Entonces
u
1. Existen un intervalo abierto I
P tales que S B Gr.
2.
f
y x
x
f
y
96
Gr
S B
fP
p1
p2
Demostraci n. Consideramos F x y
o
p1 I
f
x
DF
f
y
En particular DFP es inversible. Luego tiene (en una bola abierta B entorno de P) una inversa G denida y
diferenciable en un entorno abierto W de F P p1 f p1 p2 p1 0, digamos G g1 g2 . Se tiene
x
F Gx y
g1 x
y f g1 x y g2 x y
f x g2 x y
(4.2)
g2 x y
0 se tiene
f x g2 x 0
para todo x I. Esto nos dice que Gr S, pero como adem s se obtiene como una restricci n de G, es
a
o
decir x x Gx 0, tambi n se tiene Gr B. Esto prueba que Gr S B. Por otra parte dado
e
Q B, existe Z W tal que GZ Q, con lo cual
q1
q2
z1
g2 z1 z2
4.2 Supercies de nivel y funciones implcitas
97
f z1 g2 z1 z2
z2
f q1 q2
y entonces
q1
q2
z1
Gr.
f
y x
g2 z1 0
z1
z1
fx y 1 x
o
El teorema tambi n vale si intercambiamos x con y, con la misma prueba.
e
o
Teorema 4.2.3. Sea f : A 2 una funci n C1 , y S
f
u
f . Supongamos que x P 0 para alg n P S. Entonces
f
x x
y 2 : f x y
y
f
S B Gr
p2 J
p1
p2
fP
98
Observaci n 4.2.4. Algunos ejemplos sencillos, donde el teorema no se puede aplicar, se ilustran en la
o
siguiente gura. En todos los casos el punto relevante es P 0 0.
x
x
y2 x3 x2
x2 y3
x2 y2 2 3x2 y
y3
En los tres ejemplos, la funci n f es C1 (pues es un polinomio). En los tres ejemplos, el gradiente de f
o
se anula en el punto P 0 0. En ninguno de los tres ejemplos se puede aplicar el teorema para hallar un
entorno de cero y una funci n C1 que parametrize la curva.
o
En el ejemplo del medio, sin embargo, podemos despejar y x2 3 , luego la curva se puede describir
o
es una funci n continua y la derivada parcial f existe
o
Sin embargo, puede probarse que si f : 2
y
o
y no se anula en un entorno de x0 y0 S, entonces existe una funci n x denida en un entorno de
x x0 y continua en un x0 , que parametriza S en un entorno de x0 y0 . Y que si adem s f es diferenciable
a
en el punto x0 y0 , esta funci n resulta derivable en x x0 . Ver el Vol. 2 de Rey Pastor [7], Secci n 68.1
o
o
para una prueba.
o
a
En ese caso lo que queremos encontrar son formas de parametrizar -con una funci n diferenciable - una
o
supercie de nivel
S
n : f X
99
a
dimensi n n 1. Adem s, suponiendo que el grao
diente de f no se anula en un punto P de la super
fP
P
X : f X 0
Ejemplo 4.2.6. Consideremos la supercie x2 y2 z2 1. Llamando gx y z x2 y2 z2 1, se tiene
x y z : gx y z
0 . Esta supercie se conoce como hiperboloide de una hoja. Los cortes con los
S
planos y cte nos dan las curvas x2 z2 1 y2 cte 1 que son circunferencias centradas en el origen,
2
v 1 u. Luego z2 y 1, que es una hip rbola en el plano yz
e
x2 y2 z2
100
Grx z
x2 z2 1 z : x2 z2
1
x
P :
NP X P
lo que se traduce en 2x 2y 2z
2 2 x y z 1 1 1
0 es decir
gx x z z
de donde se despeja
x
g
x z z
o
De forma an loga se puede calcular . Obviamente la f rmula tiene mayor utilidad cuando no sabemos
a
z
quien es . En este caso particular, en cambio, podramos derivar directamente la expresi n que despejamos
o
de ,
x z
x2 z2 1
Enunciamos el resultado con m s precisi n para demostrarlo:
a
o
Teorema 4.2.7. (Funci n Implcita en n )
o
Sea A
n1 abierto y sea f : A
x1
xn1 n1 : f X
una supercie de nivel de f . Si P S es tal que alguna de las derivadas parciales de f no se anula en P,
entonces
1. Existen una bola abierta B
S V Gr.
n , un abierto V
tal que
101
2. Se tiene fQ para todo Q S V , y all el plano tangente a S en Q est dado por la ecuaci n
a
o
fQ X Q
Y
xi
f
xi
Y
f
xk
Y para Y
Demostraci n. Para lademostraci n, suponemos que x f P 0. El caso general se deduce intercambiano
o
n1
do el nombre de las variables. Observemos que esto quiere decir, en el caso de tres variables, que la normal
p1
:B
fP
n1
p n p n 1
n1
n1
p1
pn
x n x n 1
x1
xn f x1
xn1
n1 dada por
Gr
102
p1
f
x1
f
x2
DFP
1
0
f
xn1
Como supusimos que la ultima derivada parcial es no nula, esta matriz resulta inversible, y por el teorema de
la funci n inversa (Teorema 4.1.9) existe un entorno abierto V de P en n1 y una bola abierta W de radio
o
R centrada en
F P
p1
pn f p1
pn1
p1
V es diferenciable.
zn zn1 g1 Z
gn Z f g1 Z
gn1 Z
pn 0
F g1 Z
gn Z gn1 Z
1 Z Z
F F
gi Z
e
zn1
f z1
zn gn1 Z
y en particular
0
f z1
zn gn1 z1
zn 0
(4.3)
Ahora tomamos el corte de la bola W con el plano del piso n 0 , pero pensada en n , es decir
B
y1
yn n :
p1
y 1
p1
pn 0):
yn p n
4.2 Supercies de nivel y funciones implcitas
103
BR F P
n1
F P
y as denimos : B
y1
donde Y
y1
yn B
yn
gn1 y1
n , la que verica Gr
yn y1
f y1
f z1
yn 0
yn
z1
zn gn1 z1
zn zn1
(4.4)
Q, y si adem s
a
f Q E i
Y
0
yi
para todo i 1 n, es decir, que
f
f
Q
Q
Y
xi
xn1
yi
Pero esto se deduce usando la regla de la cadena, derivando en la expresi n (4.4) respecto de yi en el punto
o
Y , pues se tiene
f
f
Y Y
Y Y
Y
0
xi
xn1
xi
Por ultimo, observemos que despejando de esta ultima ecuaci n se obtiene
Y
xi
como arma el teorema.
f
xi
Y
f
xn1
104
Z A : F Z
k una funci n C1
o
k
para indicar con DFP a la matriz inversible de k k formada por las primeras k columnas.
e
Tenemos entonces, escribiendo n como k nk , y un punto gen rico Z n como Z X Y con
X Y n nk , que la funci n F : A
o
n se puede escribir como F Z F X Y . Consideramos la
funci n auxiliar
o
H X Y
que es una funci n de n
o
es de la pinta
F X
Y Y
k
DFP
n
DFP k
P2
Ink
DHP
P1
k
n
donde Ink indica la identidad de tama o n k. Esta matriz es inversible pues DFP lo es, y por lo tanto el
1 : W k nk V k nk con W entorno
teorema de la funci n inversa nos da una funci n H
o
o
de H P F P P2 y V entorno de P P1 P2 . Esta inversa es de la pinta
H 1 X Y
GX
Y Y
con G : k nk
k , lo cual se ve usando que es la inversa de H y H tiene esta pinta (ejercicio, ver el
caso anterior). El entorno U en nk se construye como antes tomando un entorno producto U U W en
n , y la funci n : U
o
n se construye tomando, para Y nk ,
Y
Se tiene X Y
H H 1 X Y
F GX
Y Y
F Y
F G Y Y
lo que nos dice que parametriza la supercie de nivel de F, y el resto de las vericaciones quedan a cargo
del lector.
4.3 NOTAS
105
4.3. NOTAS
I. Que los ceros de la derivada de una funci n se pueden acumular en un punto x
o
lo muestra el siguiente ejemplo. Observemos en primer lugar que la funci n
o
1
z 2 senz z cosz
2
gz
tiene innitos ceros, puesto que si n
, entonces
gn
1
1n
2
que es un n mero positivo si n es impar, y negativo si n es par. Por el teorema de Bolzano, g tiene al menos un cero
u
zn en cada intervalo n n 1 . Cambiando la variable z por 1 , se deduce que la ecuaci n
o
x
1
1
1
1
2 sen cos
2x
x
x
x
tiene innitos ceros en cualquier entorno de x
dada por
x
2
x sen1 x
2
F x
1
2
0 (ver la Observaci n
o
1
1
1
2x sen cos
2
x
x
Y de acuerdo a lo reci n se alado, esta derivada se anula arbitrariamente cerca de cero (basta igualar a cero y
e
n
dividir por x).
nula. Sin embargo, no puede existir ninguna funci n derivable F 1 en un entorno de y 0 que sea inversa de F.
o
Esto es porque F 1 , de existir, tendra que vericar F 1 F x x para todo x en un entorno de cero, con lo cual
o
F 1
F x
F x
Pero para cada x0 que anule F (y en cualquier entorno de cero hay innitos) se tendra
F 1
F x0
F 1
F x0
F x0
un absurdo. Este ejemplo, aunque bastante natural, se lo debemos al libro de M. Spivak [9].
III. El siguiente ejemplo muestra, en el teorema de la funci n implcita, no alcanza con que el gradiente no se anule,
o
ni a n siendo f diferenciable. Sea F y 1 y y2 sen 1 (extendida como cero en y 0), la funci n de la nota
u
o
2
y
y la curva de nivel S
en todo 2 , y como
y : f x y
f 0 0
0 . El punto P
1
1
2,
x F y
0
f x y
F y para x y 0 0
106
entonces f x y para todo x y 2 . Observemos que f 0 0 1 . Sin embargo, no existe ninguna funci n
o
2
y
u
e
derivable x denida en alg n entorno de x 0 tal que Gr S. Para ver por qu , supongamos que si
existe y llegaremos a un absurdo. Supongamos entonces que existe un intervalo alrededor de x 0 y una
funci n derivable :
o
tal que 0 0 y adem s
a
f x x
x F x
(4.5)
e
entonces alg n valor b 0. Pero por ser derivable, es una funci n continua, y entonces toma (por el Teorema
u
o
de Bolzano) todos los valores intermedios entre 0 y b. En particular tiene en su imagen alguno de los ceros
o
y0 0 de la derivada de la funci n F, que recordemos son innitos en cualquier intervalo alrededor de cero. Sea
x0 0 en el dominio de tal que x0 y0 . Entonces, por la ecuaci n (4.5) llegamos a una contradicci n, ya que
o
o
reemplazando x por x0 tenemos
1 1 0 1 F y0 x0 0
5 TAYLOR
Y EXTREMOS
, y un punto a
f a f cx a
donde c es un punto entre x y a. Esta f rmula vale para todo x en el intervalo, pero con precauci n porque
o
o
para cada x el c puede ser distinto.
La idea del polinomio de Taylor es aproximar a una funci n que sea n veces derivable con un polinomio
o
e
o
de grado n. Vamos a usar la siguiente notaci n: f k denota la derivada k- sima de una funci n y usamos el
o
cero para incluir a la funci n original, es decir f 0 f .
o
Recordemos la denici n con alguna precisi n.
o
o
Proposici n 5.1.1. Sea I un intervalo abierto en , y sea f Cn I . El polinomio de Taylor de grado n de
o
f en el punto a I o es el unico polinomio Px de grado n que verica
Pk a
para todo k 0
n . La expresi n de P es la siguiente:
o
Px
1
1
f a f ax a f ax a2 f n ax an
2
n!
f k a
f x
Px Rx
a
x a
0.
108
Taylor y extremos
Todo lo enunciado es conocido, lo unico para aclarar es la validez de la ultima armaci n, que se deduce
o
usando la regla de LHospital aplicada (n veces) a
f x Px
x an
rx
x a n
f a f ax a
f a
f n a
f n1 c
2
n
n1
x a
x a
x a
2
n!
n 1!
Es decir,
f x
Pn x Rn x
1
1
K
n1
f x f t f t x t f t x t 2 f n t x t n
x t
2
n!
n 1!
donde K es una constante adecuada elegida de manera que ga 0. Observemos que se trata simplemente de la resta de f x con el polinomio de f centrado en t, escrito en la variable x. Se tiene que g
es una funci n derivable de la variable t, y continua en el intervalo cerrado entre x y a. Adem s se tiene
o
a
gx ga 0. Con lo cual, por el teorema de Rolle existe una constante c entre x y a tal que g c 0.
Pero si derivamos g se van cancelando t rminos y nalmente se tiene
e
g t
K f n1t
n
x t
n!
2 f
xi x j .
2 f
2 f
P
P
xi x j
x j xi
109
dada por
xy3 x3 y
x2 y2
si
y 0 0
f x y
si
y 0 0
Entonces las derivadas parciales cruzadas no coinciden en 0 0. Esta vericaci n queda como ejercicio.
o
Teorema 5.1.3 (Clairaut-Schwarz). Sea f : A n con A abierto. Si f
n se tiene
cruzadas coinciden, es decir, para todo i j 1
para todo P A.
2 f
P
x j xi
2 f
P
xi x j
gt
f a t b t f a t b f a b t f a b
f a b t
f a t b t
f a b
Si ponemos x
f a t b
a t a
at c
t2
2
lm
2 f
a b
yx
110
ya que, como
Taylor y extremos
f2
x2
f a t y f a y. Se tiene entonces
bt c
b t b
t2
2
para alg n otro c entre b y b t. Escribiendo las derivadas y razonando como antes,
u
gt
0 t2
lm
2 f
a b
xy
D2 ga b
Hga b
2 g
x2
2 g
yx
2 g
xy
2 g
y2
HgP
g
x
g
x
g
x
es una funci n g :
o
campo diferenciable cualquiera H : n
n dado por H P h1 P hn P su diferencial se calcula
formando la matriz de n n que tiene por las los gradientes de las hi , es decir
En el caso particular H
h1
g2
DHP
hn
g, se deduce que
D2 g P
DDgP
DgP
HgP
111
g
puesto que si reemplazamos hi por xi en la matriz de arriba, obtenemos el Hessiano de g. Como corolario,
por la regla de la cadena, si : I A n es una curva derivable,
gt
Hgt t
2 f
yx
2 f
y2
2 f
zy
2 f
xz
2 f
yz
2 f
zx
2 f
xy
Hf
2 f
x2
2 f
z2
y la matriz es sim trica pues podemos intercambiar el orden de las derivadas segundas por ser f una funci n
e
o
C2 .
Notemos que, para una funci n f x y de dos variables, hay 8 derivadas de orden 3 que son
o
3 f 3 f
x3 y3
3 f
3 f
3 f
2 y yx2 xyx
x
3 f
3 f
3 f
y2 x xy2 yxy
Sin embargo, de las derivadas mixtas hay en realidad s lo dos distintas si f es C3 . En efecto, se tiene por
o
ejemplo
2
f
2
f
3 f
3 f
xyx xy x
yx x
yx2
puesto que
f
x
es C2 si f es C3 .
Qu ocurre en general con las derivadas de orden 3? De acuerdo a los c lculos de m s arriba, dada
e
a
a
una funci n f : n
o
diferenciable, su Hessiano se obtiene como la matriz en la que cada la aparece el
gradiente de la respectiva derivada parcial de f , es decir
xf
H fP
xf
xfn
Observemos que, visto como funci n de la variable P, el gradiente D fP fP toma valores en n , mientra
o
que el Hessiano toma valores en las matrices de n n, es decir D2 f H f : n
nn . Si derivamos una
112
Taylor y extremos
vez m s, sera razonable que nos quede D3 f : n nnn . Esto no est mal, pero es poco pr ctico. Vamos
a
a
a
a usar que nnn se puede identicar con las transformaciones lineales de n en nn , y para cada P n ,
presentaremos D3 fP como una transformaci n lineal de n en nn .
o
Para ver como es este t rmino de orden 3, calculemos
e
H f t
DH ft t
DD2 ft t
D3 ft t
xf
1 t
H f t
2 t
xfn
H xf
H xf
t
t
H f t
xf
(5.1)
H xfn t t
Tomando t
X tV y evaluando en t
H xf
H xf
V , entonces
D3 fX V
X 0
H xfn X V
n . Ciertamente D3 fX V es lineal en
Para controlar el tama o de esta expresi n, que surgir al escribir el resto cuando escribamos el polinon
o
a
mio de grado 2, usamos el siguiente lema:
Lema 5.1.5. Sean Ai
113
A1 X
A2 X
M X
An X
que es una matriz cuadrada de n n. Entonces
n
M X
1
2
Ai 2
i 1
Demostraci n. Sea Y
o
n tal que
M X Y
1. Entonces
A1 X Y
A2 X Y
An X Y
i 1
Ai X Y
n, se tiene
Ai X Y
Ai X
Ai X
Ai
1
1
ga gax a g ax a2 g cx a3
2
3!
1ya
0, se tiene
1
1
g0 g0 g 0 g c
2
3!
donde c 0 1.
Observemos tambi n que si f es C3 , en particular es C2 y por el teorema de Clairaut se tiene que H fP es
e
una matriz sim trica para todo P A.
e
Teorema 5.1.6 (Taylor de orden dos, en n , con resto de Lagrange). Sea f : A n
convexo. Supongamos f es C3 en A. Entonces dado P A, para todo X A se tiene
f X
f P fP X P
1
H fP X P X P
2
R P X
con A abierto
114
Taylor y extremos
donde
RP X P
1 3
D fC X P X P X P
6
es el resto (C es alg n punto en el segmento entre X y P). El resto verica
u
R P X P
P X P 2
lm
Demostraci n. Tomemos P X
o
fPt X P X P
X P
H fPt X P X P X P
fPt X P
g t
D3 fPt X P X P X P X P
g 1
donde c est entre 0 y 1. Entonces
a
f P fP X P
f X
1
H f P X P X P
2
1 3
D fPcX P X P X P X P
6
D3 fC X P X P X P
D3 fC X P
X P
i 1
f
xi
2
C
1
2
X P
Notemos que H xfi involucra, para cada i, las derivadas de orden 3 de f . Como cada una de ellas es una
funci n continua por hip tesis, en particular es acotada en un entorno dado de P. Con lo cual
o
o
f
xi
n m x
a
3 f
C
x j xk xl
1
D3 fC X P X P X P
6
M X P
115
o
RP X P
X P 2
M X P
fP X P
xi Pxi pi
f
i 1
y lo mismo con los dem s t rminos del Teorema 5.1.6. Usaremos reiteradas veces la siguiente identidad,
a e
que es una simple aplicaci n de la regla de la cadena: si g es una funci n diferenciable, entonces como
o
o
pi t xi pi
xi pi , se tiene
n
gP t X P
xi P t X Pxi pi
g
i 1
1 n n n
3 f
xk x j xi Cxk pk x j p j xi pi
6 i 1 j 1k 1
Demostraci n. Tomemos P X
o
RP X P
X P 2
xi P t X Pxi pi
i 1
116
Taylor y extremos
f
P t X P xi pi
xi
g t
i 1
n
i 1
j 1
x j xi P t X Px j p j
n
xi
pi
2 f
x j xi P t X Px j p j xi pi
i 1j 1
2 f
P t X P
x j xi
i 1j 1
n
x j
p j xi pi
3 f
P t X Pxk pk x j p j xi pi
i 1 j 1 k 1 xk x j xi
Ahora invocamos la f rmula de Taylor de orden dos, en una variable para la funci n g en el intervalo 0 1 ,
o
o
que nos dice que
1
1
g1 g0 g0 g 0 g c
2
6
donde c 0 1. Observemos que C P cX P es en efecto un punto en el segmento que une X con
P. Reemplazando en esta f rmula los valores de g y sus derivadas se tiene la f rmula del enunciado del
o
o
teorema. Por ultimo, para ver que el lmite indicado da cero, observemos que las derivadas terceras son
funciones continuas, con lo cual, tomando alg n entorno compacto de P, son funciones acotadas, y con esto,
u
si X est cerca de P se tiene
a
n n n
3 f
xk x j xi C M
i 1 j 1k 1
Como
xk p k x j p j xi p i
X P
se deduce que
R P X P
si X est cerca de P. Dividiendo por X P
a
1
M X P
6
P se tiene la conclusi n.
o
2: ponemos P
b 2 ,
5.2 Extremos
117
f x y
f a b
f
f
x a
y b
x
y
1 2 f
1 2 f
2 f
2
2
x a
y b
x ay b Ra bx a y b
2
2
2 x
2 y
xy
1 3 f
1 3 f
1 3 f
1 3 f
3
3
2
2
Cx a
Cy b
Cx a y b
Cx ay b
3
3
2 y
6 x
6 y
2 x
2 xy2
Px y z
f a b c
c1
c2 en el segmento que
f
f
f
x a
y b
z c
x
y
z
1 2 f
1 2 f
2 f
2
2
2
x a
y b
z c
2 x2
2 y2
z
2 f
2 f
2 f
x ay b
x az c
y bz c
xy
xz
yz
donde todas las derivadas parciales est n evaluadas en P a b c. No daremos la expresi n explcita
a
o
del resto, aunque se puede calcular desarrollando RP en el teorema anterior, tal cual lo hicimos para n 2.
5.2. Extremos
Recordemos que si una funcion f : A n k es diferenciable en un punto P Ao , y este punto es un
extremo local de f , entonces la diferencial de f debe anularse en P. Equivalentemente, el vector gradiente
es cero, es decir fP .
Recordemos un criterio sencillo para funciones en para determinar si el extremo es m ximo o mnimo:
a
118
Taylor y extremos
1. Si f a
0, el punto x
a es un mnimo local de f .
2. Si f a
0, el punto x
a es un m ximo local de f .
a
Observaci n 5.2.2. Atenci n que si la derivada segunda tambi n se anula, el criterio no nos dice nada. De
o
o
e
hecho, el punto no tiene ni siquiera que ser un extremo: consideremos f x x3 . Entonces si a 0, se tiene
f a 0 y f a 0, mientras que x 0 no es un extremo local de f .
Por otro lado, si consideramos gx x4 , se tiene g 0 0 y g 0 0, pero sin embargo x 0 es un
mnimo local (de hecho, absoluto) de g.
De manera an loga, si consideramos hx x4 , las dos primeras derivadas se anulan en cero, mientras
a
que este punto es un m ximo de h.
a
Vamos a pensar un poco como se generaliza este criterio a dos variables y luego lo demostramos. Recordemos que si f es C2 , el Hessiano es la matriz sim trica de las derivadas segundas, evidentemente tiene que
e
jugar un papel dominante en la formulaci n del mismo.
o
TX X
t 2 QX para todo t
de all el nombre.
T x1
Qx1
xn
con lo cual
xn
1 x1
n . Entonces
n xn
1 x2 2x2 nx2
1
2
n
0 para todo i
n.
4. Q es denida negativa si i
0 para todo i
n.
(5.2)
5.2 Extremos
119
Observemos que una forma indenida puede ser tanto degenerada como no degenerada. En el caso
degenerado, pero no indenido, decimos que Q es
1. semidenida positiva si i
0 para todo i
n.
2. semidenida negativa si i
0 para todo i
n.
0 para todo X
2. Q es denida negativa si y s lo si QX
o
0 para todo X
3. Q es semidenida positiva si y s lo si QX
o
0 para todo X.
4. Q es semidenida negativa si y s lo si QX
o
0 para todo X.
0 y QX2
0.
Pasemos ahora al caso general. Recordemos que si T es una matriz sim trica, es diagonalizable. Es decir,
e
existe una base ortonormal B
V1
Vn de n tal que
T
CBE D CEB
donde D MBB T es una matriz diagonal que tiene a los autovalores de T . Recordemos tambi n que
e
U CBE es la matriz de cambio de base, con los vectores de la base B escritos en la base can nica puestos
o
como columnas, y se tiene la siguiente propiedad:
t
CBE
con lo cual T
CEB
1
CBE es decir U t
U 1
UDU t . Luego
QX
Ahora llamamos Y
Ut X
QX
UDU t X X
TX X
DU t X U t X
DY Y
n yn y1
yn
y1
1 y2 n y2
1
n
yn . Entonces
(5.3)
Se observa que, salvo un cambio de base, la forma cuadr tica Q se puede describir completamente con los
a
autovalores.
Para los que se perdieron con la idea de la matriz de cambio de base, hacemos otra demostraci n: dado
o
X n , lo escribimos en la base B, es decir como combinaci n lineal de los vectores de la base B:
o
n
yiVi
i 1
QX
TX X
yi y j
i 1j 1
TVi V j
120
Como TVi
Taylor y extremos
yi y j
QX
yi y j i Vi V j
iVi V j
i 1j 1
i 1j 1
y2 i Vi Vi
i
QX
i 1
Vi
1, se tiene
n
1 y2 2 y2 nVn2
1
2
i y2
i
QX
i 1
para alg n X .
u
2. no degenerada si T es inversible.
3. denida positiva si QX
0 para todo X
4. denida negativa si QX
0 para todo X
5. semidenida positiva si QX
0 para todo X.
6. semidenida negativa si QX
0 para todo X.
0 y QX2
0.
El siguiente es un criterio util que usa el determinante. Recordemos que los menores principales de una
matriz cuadrada son las submatrices que se obtienen comenzando por la esquina superior izquierda. Por
ejemplo, si
entonces los menores principales de T son las siguientes tres matrices de 1 1, 2 2 y 3 3 respectivamente:
T11
Proposici n 5.2.3. Sea T sim trica y QX
o
e
1. no degenerada sii detT 0.
T11
T21
T12
T22
5.2 Extremos
121
2. denida positiva sii todos los determinantes de los menores principales son estrictamente positivos.
3. denida negativa sii todos los determinantes de los menores principales tienen signos alternados,
empezando por un n mero negativo.
u
Demostraci n. El tem 1. es evidente. Demostraremos los tems 2 y 3 solamente en el caso 2 2. El caso
o
1 y2 2 y2
1
2
Veamos 2. Supongamos primero que los dos determinantes son positivos. Es decir T11 0 y detT 0.
Entonces como detT 1 2 , los dos autovalores deben tener el mismo signo. Por otro lado, 0 T11
T E1 E1
QE1 con lo cual no pueden ser los dos negativos pues sera QX 0 para todo X 0 por
la expresi n de arriba. Entonces son los dos positivos, es decir T es denida positiva. Recprocamente, si
o
T es denida positiva, T11 QE1 0 y por otro lado los dos autovalores deben ser positivos con lo cual
detT 0.
Supongamos ahora que T11 0 y detT 0. Nuevamente los dos autovalores tienen el mismo signo
pero ahora QE1 T11 0 con lo cual tienen que ser los dos negativos as que T es denida negativa.
Recprocamente, si T es denida negativa, detT 0 pues los dos autovalores son negativos, y adem s
a
T11 QE1 0.
En general uno se reere indistintamente a T o a su forma cuadr tica asociada Q. As T es denida
a
positiva quiere decir que Q es denida positiva. Veamos los casos m s relevantes de formas no degeneradas.
a
En 22 , tenemos
1
0
0
2
Entonces
1. T es denida positiva si y s lo si 1
o
0 y 2
0.
2. T es denida negativa si y s lo si 1
o
0 y 2
0.
3. T ser indenida si y s lo si 1 2
a
o
detT
0.
Conviene tener presentes los dos ejemplos m s simples de formas denida positiva y negativa. En ambos
a
casos debe ser det T 0. Se indican a un lado de la matriz los signos de los determinantes de los menores.
S lo con estos signos se consiguen formas respectivamente positivas y negativas, mientras que si det T
o
0 se tiene una forma indenida como dijimos.
122
Taylor y extremos
1
0
0
0
2
0
0
0
3
Conviene tener presentes los dos ejemplos sencillos de forma denida positiva y negativa respectivamente,
y recordar de all los signos de los menores:
0
0
0
0
0
0
0
0
Observaci n 5.2.4. Negando estos casos, se tiene que en matrices 3 3, la forma ser no degenerada e
o
a
indenida si y s lo si det T 0 y ocurre alguno de los casos siguientes:
o
dos
0.
Recordemos que para que un punto sea un extremo relativo de una funci n diferenciable f , se debe tener
o
o
fP . Sin embargo, como en el caso de una variable esto s lo me da candidatos, resta ver si en efecto
son extremos. A estos puntos donde el gradiente de f se anula los llamamos puntos crticos. Entran tambi n
e
en esta denominaci n aquellos puntos donde f no es diferenciable, pero por ahora nos concentraremos en el
o
primer caso.
Toda la discusi n de la secci n previa fue para establecer un criterio efectivo para decidir si un punto
o
o
crtico de una funci n f : n
o
es un extremo local o no, y si es un extremo, si es m ximo o mnimo.
a
5.2 Extremos
123
Denici n 5.2.5. Diremos que P es punto silla de f si existen dos trayectorias (no necesaritamente
o
rectas) que tienden a P (o sea son continuas y 0 0 P), y tales que f tiene un m ximo en t 0
a
y f tiene un mnimo en t 0. Es decir, si hay dos trayectorias continuas de manera que f tiene m ximo
a
y mnimo a lo largo de ellas en P. En este caso P no es ni m ximo ni mnimo de f .
QP V
Lema 5.2.6. Sea f : A
Entonces
A. Supongamos que fP .
t 0.
Demostraci n. Probamos la primera armaci n, la segunda se deduce de manera similar. Por la f rmula de
o
o
o
Taylor, escribiendo X P tV, se tiene
f P tV
f P t 2 QP V RPtV
f P t 2 V
se obtiene
QP V RP tV
V 2
tV 2
(5.4)
Si hacemos tender t
0, el cociente RP tV2 tiende a cero. En particular, tomando
tV
n mero positivo pues QP V 0, existe 0 tal que
u
si t
RP tV
tV 2
QV V
P
2
, que es un
Z1 2
tZ1 2
f P para t sucientemente
2 TX V
124
Taylor y extremos
QY QX DQX Y X
Y X
QY QX 2 TX Y X
TY Y
TY Y
TY Y
TY Y
TX X
TX X
2 TX Y
2 TX Y
2 TX Y
TX Y
TX X
TX X
TY Y X
X. Pero, usando
TX X
TX Y
X TY
TY X , con lo
TX X Y
TY Y X TX Y X
TY T X Y X
T Y X Y X
T Y X Y X
Y X
Luego
QY QX DQX Y X
Y X
lo que prueba que este cociente tiende a cero cuando Y
X.
Y X
A. Supongamos que fP .
Demostraci n. Supongamos primero que P es un punto donde H fP es denido positivo. Entonces por el
o
Teorema de Taylor (Teorema 5.1.6), para X sucientemente cerca de P se tiene
1
H fP X P X P RX P
2
1
X P
X P
f P X P 2
H fP
2
X P
X P
f X
pues fP
f P
. Llamando QP V
f X
1
2 H f PV
R X P
X P 2
(5.5)
f P X P
QP
X P
X P
R X P
X P 2
(5.6)
5.2 Extremos
125
P
P
X P
X P
Como Sn1
V n : V
1 es un conjunto compacto y Q p : n
es una funci n continua, esta
o
funci n tiene un mnimo mP en la esfera, es decir existe VP de norma unitaria tal que QVP mP . Como
o
o
VP , este mnimo mP debe ser mayor a cero pues H fP es denido positivo por hip tesis. Entonces, como
R X P
0 cuando X
P, tomando mP , existe 0 tal que X B P implica
X P 2
mP
RX P
X P 2
mP
En consecuencia, usando que mP es el mnimo de Q p en la esfera, y usando el lado izquierdo de esta ultima
desigualdad, se tiene
X P
RX P
RX P
QP
mP
0
2
X P
X P
X P 2
siempre que X P
. Luego, lo que le sigue a f P en la ecuaci n (5.6) es positivo siempre que
o
X P
, y esto prueba que f X f P si X B P. Es decir, P es un mnimo local de f .
o
f P, con lo cual P no puede ser ni m ximo ni mnimo, y es un punto silla por denici n.
Ejemplo 5.2.9. Veamos algunos ejemplos.
o
1. Sea f x y 4xy x4 y4 . Entonces f 4y 4x3 4x 4y3 0 0 si y s lo si y x3 , x y3 .
Entonces y y9 , es decir yy8 1 0, de donde se deduce que y 0 o bien y 1. Entonces los
puntos crticos son 0 0, 1 1, 1 1. Calculamos el Hessiano de f :
12x2
Hf
con lo cual
H f0 0
0 4
4 0
H f1 1
12y2
12
4
12
H f1 1
Como detH f0 0 16 0 se deduce que el origen es un punto silla. Los otros dos puntos verican
que el lugar 1 1 es estrictamente negativo, mientras que el determinante es igual a 122 16
144 16 0, con lo cual los dos autovalores son negativos as que se trata en ambos casos de
m ximos.
a
o
2. Si f x y z x4 2x2 y2 yz z2 , entonces f 4x3 4x 2y z 2z y 0 0 0 si y s lo si
x3 x 2y z 2z y 0. Se deduce que x 0 o bien x 1, y por otro lado que y z 0.
Entonces los puntos crticos son 0 0 0, 1 0 0. La matriz Hessiana de f es
Hf
12x2 4 0 0
0
2 1
0
1 2
126
Taylor y extremos
4
0
0
H f0 0 0
0 0
2 1
1 2
H f1 0 0
Ahora los determinantes son 8, 8 2
son mnimos de f .
16 y 8 3
8 0
0 2
0 1
0
1
2
Observaci n 5.2.10. Notemos que en el caso degenerado no podemos asegurar que P sea un extremo de f .
o
Por ejemplo, si f x y x2 y3 , entonces
f
luego f0 0
2x
3y2
e
2 0
0 6y
Hf
con lo cual H f0 0
2 0
0 0
que es ciertamente semidenida positiva (un autovalor positivo y el otro nulo). Sin embargo, si nos acercamos al origen a lo large del eje y se observa que
f 0 y
y3
Demostraci n. En el caso del m ximo, sabemos que existe r 0 tal que f X f P para todo X Br P.
o
a
Si H fP no fuera semidenido negativo, existira V n tal que QP V 0. Por el Lema 5.2.6, a lo largo de
la trayectoria X t P tV se tendra
f P tV f P
para t sucientemente peque o, lo cual es una contradicci n. La demostraci n para el caso de un mnimo es
n
o
o
an loga.
a
127
El criterio del Hessiano nos asegura que si el mismo es indenido, entonces el punto P es punto silla,
y las trayectorias son dos rectas como se desprende de la demostraci n. Sin embargo, si el Hessiano es
o
degenerado podra ocurrir que P fuera un punto silla pero que a lo largo de cualquier recta se encuentre
siempre m ximo (o siempre mnimo). Un ejemplo de esta situaci n bastante anti-intuitiva es el siguiente:
a
o
Ejemplo 5.2.12. Consideremos f x y
crtico de f , y que
0
0
0 es un punto
0
2
Esto nos dice que a lo largo del eje de las y, f tiene un mnimo en 0 0. Tambi n se verica que a lo largo de
e
cualquier recta la funci n f tiene un mnimo en el origen. Sin embargo, considerando la trayectoria y 3 x2
o
2
(es decir x x 3 x2 , con x alrededor del cero), se obtiene
2
f
x 1 x4
4
con lo cual a lo largo de esta trayectoria f tiene un m ximo en el origen. Luego el origen es un punto silla
a
aunque a lo largo de cualquier recta se consiga un mnimo.
Para los puntos del interior Ao , primero buscamos los puntos crticos de f con el gradiente. Despu s hay
e
dos situaciones:
1. La frontera de A la podemos parametrizar con una funci n (o varias de ellas), de manera que Im
o
A.
2. La frontera de A est dada en forma implcita por una ecuaci n, de manera que no resulta conveniente
a
o
(o es directamente imposible) parametrizarla explcitamente.
En el primer caso, lo que hacemos es estudiar la funci n f restringida al borde componiendo con la
o
parametrizaci n, es decir, hallamos los punto crticos de g f . Recordemos que si A es compacto y f
o
es continua, debe haber tanto m ximo como mnimo absoluto de f en A. En el caso general, puede no haber
a
extremos absolutos.
Tambi n nos interesan los casos en los que el conjunto A no tiene interior. Tpicamente, cuando A es una
e
curva o una supercie de nivel. Estos los tratamos como en el tem 2 reci n mencionado.
128
Taylor y extremos
2x 1
2
0
2y H f
0
2
2
o
Por otra parte, la frontera se parametriza mediante t cost sent , para t 0 2. La composici n
es la funci n real gt cos2 t sen2 t cost 1 cost, cuya derivada es g t sent, que se anula en
o
t 0 . Entonces f tiene extremos en P2 1 0 y en P3 1 0. Evaluando se tiene
f P1
1 1
4 2
1
4
f P2
f P3
lo que nos dice que en P1 se alcanza el mnimo absoluto de f , mientras que en P2 y P3 se alcanza el m ximo
a
absoluto de f .
Ejemplo 5.3.2. Sea f x y z
Hessiano de f son
f
x2 1 x exy en el cuadrado 0 1
2
2x e
xy
1 xy
e x
2
1
0 2 .
Hf
0 1 . En el interior el gradiente y el
2 exy y2
exy xy
Hf
exy xy
exy x2
All el Hessiano es
9
4
0
0
2
2
3. En y 0, hay que buscar los extremos de gx f x 0 x2 1 x 1 en el intervalo 0 1 . Como
2
g x 2x 1 0 unicamente en x 1 , los puntos relevantes son los bordes (que ya los consideramos
2
4
porque son los v rtices del cuadrado) y el punto P2 1 0.
e
4
4. Por ultimo, en y 1, hay que buscar los extremos de gx f x 1 x2 1 x ex en el intervalo
2
0 1 . Como g x 2x 1 ex no se anula nunca (pues ex 1 para x 0), lo unico relevante son
2
los extremos, que son dos v rtices del cuadrado que ya consideramos.
e
t
5.3
129
En sntesis,
1
1
15
1
f 0
2
4
16
1 en todo el lado izquierdo del cuadrado (incluyendo los v rtices), y por ultimo
e
f 0
f 1 0
3
2
1
e
2
f 1 1
De esta lista se deduce que el v rtice 1 1 es el m ximo absoluto de f , mientras que el mnimo absoluto
e
a
4y
0 de la funci n g.
o
o
forma implcita.
y 2 : g x y
0 est dada en
a
Recordemos que para una funci n escalar f , dado un punto P donde f es diferenciable, la direcci n de
o
o
mayor crecimiento est dada por fP (y la direcci n opuesta es hacia donde f decrece m s r pido). Tambi n
a
o
a a
e
se deduce de
f
P
fP V
V
que si miramos las direcci nes perpendiculares al gradiente, las derivadas direccionales son nulas, ya que
o
all el producto escalar da cero.
Obsevemos la siguiente gura. A la izquierda est n representados algunos valores de f , para algunos
a
puntos del plano. A la derecha, superponemos sobre estos valores de f una curva dada S.
S
En la gura de la derecha, hay que observar que en algunos puntos de la curva, como en el que indicamos
como P, el gradiente de f es perpendicular a la curva S. En esos puntos, la direcci n de mayor crecimiento
o
es imposible de seguir (habra que salirse de la curva), y por otro lado si nos movemos a lo largo de la curva,
130
Taylor y extremos
nos estaremos moviendo en forma ortogonal a fP , con lo cual la derivada direccional de f all ser nula
a
por lo antes dicho. Estos puntos son los candidatos naturales a extremos, si recordamos la idea del teorema
de Fermat que dice que si f tiene un extremo entonces su derivada se anula.
Dicho de otra manera, si estamos buscando puntos crticos de f restringidos a una curva, los candidatos
naturales son aquellos puntos de la curva donde esta tiene una direcci n ortogonal al gradiente de f . Si
o
la curva S est dada por el conjunto de ceros de una funci n g : 2
a
o
, entonces la normal de la curva
est dada por g (en el caso en que g sea C1 y su gradiente no se anule).
a
Luego, buscamos los puntos P tales que gP
c, donde adem s
a
fP
gP
para alg n n mero real . Este m todo se conoce como m todo de los multiplicadores de Lagrange.
u u
e
e
2x 2
2x 2
2y
2y
y planteamos la igualdad
De aqu se deduce que debe ser
2x 2
2x
1 8y
2x 1 8y
2x 1
2y
8y
64
2
4y
9
4559
1 es decir y2
0y
o
x
12 4y2
dene una elipse en el plano , que es un conjunto cerrado y acotado (es decir compacto). Como la funci n
o
f es continua, f debe alcanzar m ximo y mnimo absoluto en la elipse. Calculamos
a
f 0 0
f 2 0
a
de f all.
131
5.3.4. Multiplicadores en
C mo se generaliza el m todo al espacio? Dada una funci n f y una supercie
o
e
o
y z 3 : gx y z
nuevamente el gradiente fP indica la direcci n de mayor crecimiento (partiendo del punto P), y lo que queo
remos identicar son aquellos puntos donde las direcciones tangentes a la supercie hacen que las derivadas
direccionales de f se anulen. Observemos el siguiente gr co:
a
fP
NP
VP
P
S
direcci n de mayor crecimiento). La manera de conseguir que no haya ninguna direcci n (en la supercie,
o
o
o equivalentemente en su plano tangente), donde la funci n crezca, es pidiendo que el gradiente fP sea
o
perpendicular al plano tangente. Equivalentemente, que el gradiente de f sea paralelo a la normal NP al
plano tangente en P, lo que se traduce en la condici n
o
fP
gP
para alg n n mero . No hay que olvidar la condici n gP cte para que el punto est en la supercie.
u u
o
e
Estas dos condiciones se pueden resumir en el siguiente enunciado, que generaliza lo que ya discutimos en
el plano y en el espacio:
Proposici n 5.3.4. (Multiplicadores de Lagrange)
o
restringida a la supercie de nivel gX
Para hallar los puntos crticos de una funci n f : n
o
de una funci n g : n
o
, basta estudiar los puntos crticos de la funci n de n 1 variables dada por
f X gX c
M s precisamente: si P n es un extremo de f restringida a la supercie de nivel gX
a
entonces existe tal que
fP gP
c, y gP ,
132
Taylor y extremos
gZ Z
c para todo Z B
Es importante recordar que los vectores Ei zi Z0 (con i 1 n) son generadores del plano tangente a
la supercie S en P.
Ahora si P es (por ejemplo) un m ximo de f restringida a S, debe ser f P f X para todo X S en
a
un entorno de P. Esto es
f Z0 Z0 f Z Z
Z0
f Z Z Z0
zi
f P E i
Z0
zi
o sea el gradiente de f en P es perpendicular a todos los generadores del plano tangente a la supercie, y en
consecuencia tiene que ser paralelo a la normal. Como la normal es el gradiente de g en el punto, se tiene la
conclusi n.
o
Atenci n que nada garantiza que los puntos crticos hallados sean extremos.
o
el gradiente de V se tiene
V yz xz xy
que se anula s lo en los caso que no nos interesan. Resta ver que ocurre en la supercie x y z
o
es un plano (sujeta por supuesto a las restricciones x y z 0).
300, que
133
Nuevamente los bordes no son interesantes por dar cero all el volumen, y lo que nos resta ver es si f
xz
xy
a
pues g 1 1 1. Como ninguna de las variables puede ser nula, se deduce f cilmente que x y z, con
lo cual reemplazando en la ecuaci n del plano se obtiene 3x 300, es decir x y z 100. Entonces el
o
punto en cuesti n debe ser P 100 100 100 (o sea la caja es un cubo de lado 100), que es un m ximo pues
o
a
la regi n es compacta y los otros son mnimos de f . El volumen m ximo entonces es V 1003 1000000.
o
c 1 y g 2 P
c2
134
Taylor y extremos
EN
tV
6 I NTEGRALES
6.1. Integrales
Vamos a empezar este captulo recordardando la idea de area en el plano. Todos tenemos presente que
dado un rect ngulo cualquiera R en el plano, su area o supercie se calcula multiplicando su base por
a
su altura, A ba. Tambi n que el area es independiente de la posici n del rect ngulo, es decir que si lo
e
o
a
trasladamos o rotamos, su area permanece inalterada.
Si tenemos una gura m s complicada, a veces el area la podemos calcular a partir de este hecho: el
a
o
primer ejemplo es el de un tri ngulo rect ngulo, donde A ba 2. Esta f rmula se extiende a todos los
a
a
tri ngulos, donde ahora la altura est dada por una perpendicular a la base que pase por el v rtice opuesto:
a
a
e
A
b1
ba 2
b2
b1 b2
1
2 ab1 b2
1
1
2 b1 a 2 b2 a
Qu pasa si la curva que delimita el area es m s complicada, como por ejemplo en la regi n delimitada
e
o
x? Al area a
por el eje de las x y la funci n y
o
x
bi
ai
1
Entonces el area A es aproximadamente la suma de las areas de los rect ngulos de altura ai y base bi , es
Integrales en
136
decir
A ai bi
f xi ti1 ti
donde xi es alg n punto en el intervalo ti ti1 . C mo se ve, mientras m s rect nglos tomemos (es decir
u
o
a
a
mientras m s subdividamos el intervalo), mejor ser la aproximaci n. A estas aproximaciones se las dea
a
o
el concepto de suma inferior, que es una suma que nos da un area inferior a la buscada (pero pr xima).
o
Denimos a continuaci n formalmente las suma inferior y superior asociadas a una partici n, para cualquier
o
o
i 0 n1 ti ti1
i 0 n 1 i
t0
t1
ti
ti1
tn
I f P
mi ti1 ti
i 1
S f P
Mi ti1 ti
i 1
bi
ai
1
Como se puede ver, en el caso de una funci n positiva, las sumas superiores son todas aproximaciones
o
del area bajo la curva (aparentemente cada vez mejores) con la propiedad adicional de ser todas mayores o
6.1 Integrales
137
I f P
S f P
acotada. Entonces
1. Si P es un renamiento de P, entonces I f P
2. I f P
I f P y tambi n S f P
e
S f P .
Demostraci n. Observemos la siguiente gura, donde puede observarse que al renar la partici n, el area
o
o
o
Si P rena P, entonces dado un intervalo cualquiera i de P este se descompone como una uni n de
intervalos de P ,
ti ti1
i j 1 ki j
j 1 ki t j t j 1
Entonces como mi m j para todo j
en un subconjunto), se tiene
mi ti1 ti
ki
mi
t j1 t j
j 1
ki
ki
j 1
j 1
mi t j1 t j m j t j1 t j
I f P
Esto prueba que al renar la partici n las sumas inferiores aumentan. Con un argumento an logo se deduce
o
a
que al renar la partici n las sumas superiores disminuyen.
o
Integrales en
138
Para probar el segundo tem, tomemos P un renamiento en com n de las particiones P Q. Este siempre
u
se puede conseguir subdividiendo el intervalo en partes m s peque as que incluyan los puntos de corte de P
a
n
y Q. Entonces por el tem anterior,
I f P
I f P
lo que prueba que I f P
S f P
S f Q
S f Q .
Este resultado nos dice algo importante: que las sumas superiores descienden (esperamos que hasta el
valor del area buscada, en el caso de una funci n positiva) y que las sumas inferiores ascienden. Tomemos
o
los siguientes conjuntos de n meros reales:
u
I f
I f P : P es una partici n de a b
o
S f
S f P : P es una partici n de a b
o
Estos conjuntos pueden ser no acotados, pero si f es una funci n acotada entonces son ambos acotados, pues
o
en cada intervalo
nf f
mi f
Mi f
sup f
mi f i Mi f i
i
sup f i
i
Pero
tn t0
ba
luego
nf f b a
I f P
S f P
sup f b a
I f P
S f Q
sup f b a
sb a
6.1 Integrales
139
y
s
Gr f
Mi i
si
sb a
Se dene la integral superior de f como el nmo de las sumas superiores (sobre cualquier partici n),
o
y la integral inferior de f como el supremo de las sumas inferiores (sobre cualquier partici n), es decir
o
I f
Si f es acotada, como
nf f b a
I f P
S f Q
nf S f
sup f b a
para cualquier par de particiones, si tomamos nmo sobre particiones Q (jando P) se deduce que
nf f b a
I f
I f P
sup f b a
Pero como P tambi n era cualquiera, tomando supremo sobre particiones P se deduce que
e
nf f b a
I f
I f
sup f b a
f xdx
f
a
I f , y
Proposici n 6.1.3. Si f : a b
o
es acotada, entonces f es integrable en a b si y s lo si para todo
o
existe una partici n P de a b tal que
o
S f P I f P
Integrales en
140
f I f P
2 y tambi n S f P
e
como queramos.
c dx
a
cb a
1dx
c
a
Demostraci n. Supongamos que f es creciente. Entonces dada una partici n, en cada intervalo de la partio
o
ci n se tiene f ti mi , f ti1 Mi con lo cual
o
S f P I f P
a
f ti1 f ti m x ti1 ti
i
puesto que t0
a, tn
f b f a P
b y adem s
a
f t1 f t0 f t2 f t1 f t3 f t2 f tn f tn1
Con lo cual si renamos la partici n, haciendo tender P
o
es integrable. El caso f decreciente es an logo.
a
Teorema 6.1.5. Sea f : a b
f b f a
0. Con esto, las sumas inferiores para cualquier partici n dan cero, mientras que las superiores dan siempre
o
1. En consecuencia, f no es integrable porque la integral superior I f da 1 y la inferior I f da 0.
6.1 Integrales
141
6.1.1. Propiedades
Puede ser util, dada f , considerar las siguientes funciones positivas en a b que se obtienen a partir de
f:
f x
si f x
f x
0
f x
f x
si f x
f x f x
f
a
b
a
f x f x para todo x a b
1. Si entonces f es integrable,
2. f g es integrable,
3. Si a
4. Si f
g, entonces
b
a
f g
b
a
b
a
b
a
f.
g.
b
a
b
a
c
a
b
c
f.
g.
b
a
b
a
f .
Demostraci n. Las primeras tres propiedades se deducen de escribir la denici n como lmite de sumas
o
o
superiores.
La cuarta propiedad se deduce de lo siguiente: si h 0 y h es integrable, sus sumas parciales son positivas
y entonces ab h 0. Luego si f g, se tiene que g f 0 es una funci n integrable por los items 1 y 2, y
o
f
a
Integrales en
142
adem s
a
b
f
a
b
a
f f es integrable, y
b
f f
f
a
b
a
f como
a
b
f cuando a
b, es decir
f
x
2.
x
x
x
y
f para todo x y a b
0 para todo x a b .
c d es integrable, y : c d
Sh P I h P
Mi mii
(6.1)
Mi mi
sup hx : x i
nf
hy : y i
sup hx hy : x y i
puesto que la diferencia entre el valor m s grande y m s chico de h coincide con la diferencia m s grande
a
a
a
de valores de h. Como es uniformemente continua, dado 2 0, existe 0 tal que t s
en c d
implica s t 2 .
Queremos probar que la siguiente cantidad es arbitrariamente peque a:
n
Mi mi
i
Mi m
i
sup hx hy : x y i
o
A
Si i A, entonces
i : Mi mi
Mi m
i
i : Mi mi
6.1 Integrales
143
Mi mi
i
2 i
iA
iA
2 b a
Es decir, eligiendo 2 peque o podemos asegurar que las sumas superiores e inferiores est n tan cerca como
n
a
querramos, siempre restringi ndonos al subconjunto de a b donde Mi mi .
e
Veamos que pasa en el resto del conjunto. Como es una funci n continua en un compacto, alcanza
o
m ximo, es decir existe M 0 tal que x M para todo x c d . En general, podemos asegurar que
a
Mi m
i
Luego
Mi mi
i
iB
sup hx hy : x y i
2M i
iB
2M
2M
Mi mi i
i
B
2M
i
i
B
2M
1
n
o
por la ecuaci n (6.1). As que eligiendo 1 peque o (o sea eligiendo una partici n P sucientemente na)
o
podemos asegurar que la diferencia entre la suma superior y la inferior es tan peque a como uno quiera,
n
tambi n en este caso. Luego podemos hacer que las sumas superiores est n tan pr ximas a las inferiores
e
e
o
como queramos, lo que prueba que h es integrable.
. Entonces
2. Si f es integrable entonces f n
f , x
xn .
1
1 2 1 2
2
f g f g
2
2
2
Observaci n 6.1.11. En general es falso que la composici n de dos funciones integrables resulta integrable.
o
o
Un ejemplo est dado por las funciones siguientes, ambas denidas en el intervalo 0 1 :
a
1 q
si
si
f x
0
si
si
x0
gx
Integrales en
144
Se dene f 0 1 para evitar ambig edades, aunque no es muy relevante desde el punto de vista de la
u
integral. Entonces f es integrable (difcil, ver la Nota I al nal de este captulo), g es integrable (obvio),
F x
f t dt
a
funci n primitiva de f . Esta primitiva es una funci n derivable, y su derivada coincide con f , resultado
o
o
conocido TFCI:
F x
f t dt
f
a
f x
nf S f P
sx a
s i
i
F a si x
b
Mi i
S f P
f
a
nf S f P
sb x
F b cuando x
b .
Tomemos ahora un punto x0 interior del intervalo a b . Si x es otro punto cualquiera en a b, calculamos
F x F x0
x x0
x
a
f ax0 f
x x0
x
x0
x x0
6.1 Integrales
145
Queremos ver que esta expresi n tiende a f x0 cuando x x0 . Esto probara que F es derivable, que F f ,
o
f t
mx
Mx x x0
f
x0
0,
x
x x0
mx
Cuando x
Mx
f
x0
Mx
F x F x0
x x0
f x0
Si x x0 , con un razonamiento an logo se obtiene que el otro lmite lateral tambi n da f x0 . Hay que
a
e
tener cuidado solamente en el siguiente hecho: si x x0 , entonces x x0 0, luego las desigualdades se
invierten.
Entonces, dada una funci n continua f , existe por lo menos una funci n derivable tal que F
o
o
f.
Cu ntas puede haber? El siguiente lema muestra que no son muchas, en el sentido de que no son muy
a
distintas todas las que hay:
Lema 6.1.13. Si F G son funciones continuas en a b , derivables en el interior, tales que F x
all, entonces existe una constance c tal que
F x
Demostraci n. Si H x
o
G x
G x c
F x F x, entonces
H x
G x
F x G x
H x H y
H cx y
Es decir, dos primitivas de f dieren a lo sumo en una constante, o lo que es lo mismo, si uno conoce
una primitiva F, entonces todas las primitivas de f est n dadas por la familia
a
f
F c : c
Integrales en
146
Para calcular una integral denida basta encontrar entonces alguna primitiva de f y se tiene
f
a
F b F a
x
Gb Ga
F b c F a c
F b F a
f . Pero si G es otra
f
a
Proposici n 6.1.14. Si f : a b
o
f
a
a b tal que
f cb a
f
a
F b F a
F cb a
x
a
f:
f cb a
Este teorema, cuando f es positiva, tiene contenido geom trico, pues nos dice que el area bajo el gr co
e
a
de f (entre a y b) est dada por el area de alg n rect ngulo de base b a, cuya altura f c es alguna altura
a
u
a
intermedia entre el mnimo y el m ximo de f en a b .
a
y
La idea es que si tomamos un rect ngulo de base
a
a b , y hacemos variar la altura entre el m ximo de f
a
y el mnimo de f , en alg n momento el area obtenida
a
de f en a b .
Gr f
f c
a c
F x
f t dt
a
147
lm F x
x b
f converge.
lm
1
t dt
lm 2 2 x
1
x
lm 2 t
0. Entonces
1 es nita.
Qu pasa si la discontinuidad est dentro del intervalo y no en el borde? Por ejemplo, tomemos f t
e
a
1 1 0 . Tenemos, por un lado
2
t 3 en el intervalo
f t dt
3t 3
3t 3 x 1
f t dt
3x 3
si x
31 y 3 si y
1
1
y
y, se tiene
1
f t dt
lm 3y
y 0
y
f t dt
1
3
1 3 1
1
3
33
Esta manera de calcular una integral impropia (tomando un intervalo sim trico alrededor de la discontinuie
dad) se conoce como valor principal de la integral, es decir
1
vp
en general, dada f : a b
t 3 dt
2
deniremos
x0
x0
f t dt
vp
a
lm
6;
f t dt
x0
f t dt
Hay que tener presente que en muchos casos modicando el intervalo, se puede modicar este lmite.
1
t
en el intervalo
1 1 . Se tiene
11
x 1
1
lm
lm ln x ln x
dt
dt
1 t
x 0
1 t x 0
x t
mientras que si no miramos el valor principal, podemos obtener otro resultado:
1
vp
lm
x 0
2x 1
1 t
dt
x
1
dt
t
lm ln
x 0
2x ln x
ln 2
Estos ejemplos nos muestran que tenemos que tener claro lo que queremos calcular cuando integramos
una funci n no acotada; en casos concretos puede desprenderse del problema que estamos estudiando cu l
o
a
es la interpretaci n correcta que tenemos que hacer.
o
Integrales en
148
1
,
1t 2
Ejemplo 6.2.3. Si f t
entonces
f t dt
0
lm
1
dt
1 t2
Nuevamente surgen las mismas consideraciones si hay dos innitos; si tomamos un intervalo sim trico
e
alrededor del cero diremos que es el valor principal.
2t
.
1t 2
lm
f t dt
Entonces v p f t dt es el lmite
lm ln1 t 2 x x
lm ln1 x2 ln1 x2
Por otro lado, si no tomamos un intervalo sim trico, el lmite puede dar distinto:
e
2x
x
lm
f t dt
lm ln1 t 2 2xx
t p dt
t p1
p 1
1
1
t p dt, para p
x
1
ln 4
0. Como
x1 p
1
1 p 1 p
o
Qu pasa si p 1? En este caso la primitiva es el logaritmo y por lo tanto la integral diverge. En resumen,
e
1
dt
tp
converge si p
diverge si 0
1
dt
tp
converge si 0
diverge si p
p
1
149
Lema 6.2.7.
1. Sea G : a b
o
lm Gx. Este lmite es nito si y s lo si G es acotada superiormente.
x b
y el lmite lm Gx.
x a
x b
bx
bx
x a b
0 existe x0
x0 y G es creciente, Gx
l G x
l Gx0
. Si
Gx0 . Entonces
lo que prueba que el lmite existe y coincide con el supremo. En particular el lmite es nito si y s lo si G es
o
acotada superiormente.
La demostraci n de 2. es an loga y queda como ejercicio.
o
a
x b
x b
Demostraci n. Si lm
o
x
a
f t dt
car la misma condici n. En efecto, en primer lugar como f es continua, es integrable, y entonces ambas
o
funciones f f son integrables en a x . Pongamos
x
F x
f t dt
F x
f t dt
F x
F x Fx
x
Como f t
f t f t , se tiene F x
a f t dt. Las tres funciones F F F son crecientes y
positivas. Adem s como lm F x es nito, F est acotada superiormente por este lmite. Entonces
a
x b
F x
F x Fx
F x
f t dt
a
lm F x
x b
Integrales en
150
Esto prueba que F (y con un argumento id ntico F ) es una funci n acotada superiormente. Por el lema
e
o
previo, existen los los lmites
lm F x
l1
x b
lm
x b a
lm
x b
f f ,
En consecuencia, como f
x b a
lm F x
l2
f t dt
lm
x b a
f t dt
lm
x b a
f t dt
f t dt lm
x b a
f t dt
l1 l2
b
a
Demostraci n. Tomemos F x
o
f g 0 all. Adem s
x
a
f t dt, y Gx
F x
b
a
g.
Gx
a
para todo x a b por ser f
g. Como a g converge, se tiene adem s que Gx
creciente y acotada, con lo cual tiene lmite nito cuando x b por el Lema 6.2.7.
f.
b
a
g. Luego F es
Si f t
gt para todo t a b, y la integral de g converge absolutamente, entonces tambi n cone
verge absolutamente la integral de f , y si la integral de f no converge absolutamente entonces tampoco
converge absolutamente la integral de g.
f x
x b gx
0. Entonces
b
a
b
a
f converge si y s lo si
o
ab f
b
a
g converge.
L existe, entonces
3. L
Entonces
Demostraci n. Dado
o
151
b
a
g diverge
f diverge.
0, si L es nito, se tiene
L
gt
b. Observemos que L
L gt
f t
1. Si L no es cero entonces podemos elegir positivo de manera que L siga siendo positivo. Entonces
por el criterio de comparaci n, se tiene que una es convergente si y s lo si la otra tambi n.
o
o
e
o
2. Si L 0, el lado izquierdo es negativo por lo tanto s lo podemos asegurar que la convergencia de g
garantiza la de f , y no la recproca.
3. Si L
para todo x0
la recproca.
Mgt
b. Si la integral de f converge se deduce que la de g tambi n, sin poder decir nada sobre
e
Observaci n 6.2.13. Los mismos resultados valen si tomamos intervalos a b donde ahora el extremo
o
izquierdo es abierto.
Criterio integral de Cauchy
En general, dada una integral impropia denida en un intervalo, es posible decidir la convergencia de la
misma compar ndola con una serie adecuada. Recordemos primero algunos hechos elementales de series.
a
Sea ak una sucesi n de n meros reales y
o
u
n
ak
Sn
k 0
o
a
3. Una serie de t rminos positivos ak 0 es convergente si y s lo si sus sumas parciales est n acotadas,
e
pues en este caso Sn es una sucesi n creciente de n meros reales.
o
u
Teorema 6.2.14 (Criterio de comparaci n de Cauchy). Sea f : N una funci n decreciente y no
o
o
Sn
f k
k N
Integrales en
152
N se tiene
k1
f k 1
f t dt
f k
como se puede apreciar en la gura, pues la base del rect ngulo mide exactamente 1:
a
y
f k
f k 1
Gr f
Sumando desde k
N hasta k
k1
k
n se tiene
n
ak aN
f t dt
N
k N 1
k N
n1
ak
ak
k N
Como ak 0, la serie es convergente si y s lo las sumas parciales est n acotadas, y esto ocurre si y s lo si
o
a
o
la integral de f est acotada, y como f 0 esto ocurre si y s lo si la integral es convergente.
a
o
Corolario 6.2.15. Combinando el teorema previo con el Ejemplo 6.2.5, se deduce que para p
1
kp
k 1
converge si y s lo si p
o
1.
dt
x sent 2
cuando x
t2
x
1
1
t2
1 x
t 1
Luego la integral
sent 2
dt
t2
1
x
0, la serie
153
sent 2 x
2t 1
cost 2 dt
Como lm
senx2
2x
0, se deduce que
x
1
sent 2
dt
2t 2
senx2 sen1 1
2 2
2x
x
1
sent 2
dt
t2
cost 2 dt es convergente.
o
Sin embargo, como cosx es peri dica, continua, y se mueve entre 0 y 1, existe
k ,
1
cosx
2
siempre que x k k . Luego
1
cost 2
2
siempre que
k
n
2
t
cost
Como
k k
k
k 1
dt
k 1
cost 2 dt
k 1
k k
2 k
n
2
1
cost 2 dt
C
k 1
Esta ultima serie es divergente por el criterio de la integral, luego la integral de cost 2 no converge abso
lutamente. Como vimos antes, converge sin el m dulo, luego la convergencia es condicional.
o
Criterios de convergencia de series
En general, si podemos comparar dos sucesiones de t rminos positivos podemos razonar como en el caso
e
de funciones. Se tiene el siguiente resultado, de demostraci n sencilla que queda como ejercicio:
o
Proposici n 6.2.17. Sean ak
o
entonces
1. Si bk
entonces ak
bk a partir de un k0 ,
ck
k 0
1 c c2 c3
Integrales en
154
es convergente si c
1 y divergente si c
ck , se tiene
1. En efecto, si Sn
k 0
1 c c2 c3 cn
Sn
1 c c2 c3 cn
Sn
an
o
u
Proposici n 6.2.19. Sea an una sucesi n de n meros reales.
o
1. Criterio de DAlembert (cociente). Si
a n 1
an
1 ak diverge, mientras que L 1 ak converge absolutamente.
L
existe, entonces L
lm
e
lm
C
existe, entonces C
1. Elegimos
1 ak converge absolutamente.
an1
an
an
1. Entonces tomamos
(6.2)
c an
c a n 0 p 1
c2 an0 p2
c p a n0
cn 0 p
a n0
cn 0
Kcn0 p
155
ahora hay que elegir 0 tal que L 1, y despejar del lado izquierdo de la desigualdad (6.2). Iterando
nuevamente, se compara (ahora por debajo) contra la serie geom trica en c L , que ahora diverge.
e
2. La idea de la demostraci n es similar. Ahora hay que observar que podemos conseguir n0 tal que
o
n n0 implica
C n an C
y con esto
n
Si es sucientemente peque o, se consigue C
n
C
an
0. Queda como ejercicio terminar de escribir la demostraci n en este caso, comparando la serie an con las series geom tricas de C y C respectivamente.
o
e
Observaci n 6.2.20. En ambos casos, si el lmite da 1 no podemos usar el criterio. Para convencernos,
o
Necesitamos, antes de seguir, un resultado fundamental sobre sucesiones (que enunciaremos en particular
para series).
n
o
u
Teorema 6.2.21. Sea ak una sucesi n de n meros reales, Sn
lm Sn
o
o
ak si y s lo si la cola de la serie tiende a cero. Es decir, si y s lo si dado
n0 p
S n0 p S n0
ak
k n0 1
S. Entonces, dado
S n0 p S
0, existe n0
S S n0
2 2
0,
S n S n0
S n0
1 S n0
para todo n n0 . Es decir, todos los t rminos de la sucesi n Sn , de n0 en adelante, est n acotados por
e
o
a
1 Sn0 . Entonces toda la sucesi n Sn es acotada pues los primeros t rminos, que son nitos, tambi n
o
e
e
L cuando k . Armo que este
est n acotados. Se deduce que existe una subsucesi n convergente, Snk
a
o
n mero L es el lmite de la serie. Para verlo, dado 0, existe por la condici n que es hip tesis un n0 tal
u
o
o
Integrales en
156
que Sn Sn0
2 para todo n n0 . Como Snk tiende a L, tambi n existe un k0 tal que Snk L
e
si k k0 . Podemos suponer, agrandando k0 , que nk0 n0 . Entonces, si n n0
Sn L
Sn Snk0
Snk0 L
2 2
L cuando n
Observaci n 6.2.22. Se deduce f cilmente ahora que la serie ak converge cuando ak es convergente,
o
a
pues
n p
n p
ak
k n1
ak
k n 1
deduce que la cola de la serie tiende a cero, y nuevamente invocando el teorema, se deduce que la serie
ak es convergente. Este resultado se suele mencionar diciendo que la convergencia absoluta implica la
convergencia de una serie, al igual que con las integrales.
Antes de pasar a una aplicaci n veamos un criterio para series alternadas.
o
Proposici n 6.2.23. Criterio de Leibniz (series alternadas). Si an
o
entonces S
1k a
Adem s S Sn
a
0 an
0 y an1
an para todo n,
k 0
Demostraci n. Consideremos la cola, y supongamos que n p son pares para simplicar. Todos los otros
o
casos tienen id ntica demostraci n. Observemos que, como la sucesi n ak es estrictamente decreciente,
e
o
o
cada uno de los t rminos entre par ntesis es estrictamente positivo:
e
e
S n p S n
n p
1k ak
k n1
an 2 an 3 an 4 an p1 an
an 1 an 2 an 3 an 4 an p1 an p
an 1 an 2 an 3 an p an p1
El ultimo t rmino entonces siempre es menor que an 1 . Esto prueba que Sn p Sn
e
an1
an1 , y como ak 0,
se deduce que la cola tiende a cero. Por el Teorema 6.2.21, la serie es convergente. Haciendo tender p a
innito se deduce que S Sn
an1.
1
1n
1 1 1
1
1n n 1 2 3 4
n 1
e
es convergente y su suma S diere de S2 1 en menos que a3 1 . Este ejemplo tambi n nos dice que
2
3
la recproca de lo enunciado en la Observaci n 6.2.22 es falsa, pues la serie converge pero no converge
o
absolutamente.
6.3 NOTAS
157
6.3. NOTAS
1 y dada por
1
q
si x
p
q
si x
es integrable en 0 1 y adem s
a
1
0
f x
Unicamente uno, el n mero 1 , pues si ponemos en el numerador un n mero mayor o igual a 2, obtenemos
u
u
2
2
2
u
el n mero 2 , que tiene factores comunes, o n meros mayores que 1.
u
hay en 0 1 ? Hay dos, que son 1 2 , por los mismos motivos.
Cu ntos n meros racionales
a
u
3
3 3
1
Cu ntos n meros racionales hay en 0 1 ? Hay dos, que son 4 3 , por los mismos motivos. Observemos
a
u
4
4
2 no hay que contarlo pues no verica que p y q no tienen factores comunes.
que el 4
En general, habr a los sumo j 1 racionales en el intervalo 0 1 .
a
Luego, los que tienen denominador menor que K, que se obtienen juntando todos los de la lista de arriba, son
nitos.
Dado 0, usemos el criterio de integrabilidad: alcanza con encontrar una partici n del 0 1 donde S f P
o
I f P . Como en cualquier intervalo de cualquier partici n, habr siempre un n mero irracional, est claro
o
a
u
a
que las sumas inferiores dan todas cero. Basta probar entonces que, dado
0, hay una partici n tal que la suma
o
1
S f P . Tomemos K
tal que K
e
u
2 . Por lo que observamos reci n, hay nitos n meros racionales no
p
nulos r q en el intervalo 0 1 tales que q K, contando r 1. Digamos que son N N K , los ordenamos de
menor a mayor y los nombramos ri i 1N , con rN 1. Ahora tomamos sucientemente peque o de manera
n
0 r1 r1 r1 r2 r2 r2 r3
rN rN
Podemos denir una partici n P del intervalo 0 1 de la siguiente manera: separamos en intervalos que tienen
o
racionales con q K y en intervalos que no tienen racionales con q K, como indica la gura:
r2
r1
0
r1
r1
r2
r2
1 1
Es decir, tomamos primero los intervalos k remarcados en la gura, que son aquellos de ancho 2, centrados en
e
los puntos ri (como por ejemplo r1 r1 ). De estos hay N 1. Incluimos tambi n los intervalos 0 y
1 1 .
Si a los intervalos restantes los denominamos , se observa que son aquellos intervalos que quedan entre medio
k
(como por ejemplo r1 r2 ), donde no hay ning n n mero racional con q K:
u u
r2
r1
0
r1
r1
r2
r2
1 1
Integrales en
158
Mk k Mk
k
S f P
1
k
2 k
Ciertamente 1 pues estos intervalos son s lo una parte del 0 1 . Por otro lado, cada intervalo tiene
o
k
k
ancho 2, y hay N de ellos (en realidad son N 1 y despu s hay que contar las dos mitades de los extremos), con
e
lo cual
S f P 2N
2
probar.
II. La funci n f denida en la nota anterior verica la siguiente propiedad: para cualquier a 0 1 , se tiene lm f x
o
x a
0.
1
Para probarlo, sean a 0 1 , 0, y tomemos cualquier n mero natural K tal que K . Recordemos que por
u
lo obsevado en el item previo, los n meros que tienen denominador menor que K, que se obtienen juntando todos
u
los de la lista de arriba, son nitos. Esto quiere decir que tiene que haber alg n entorno a a del punto a
u
en el intervalo 0 1 donde no hay ning n racional p q con q K (con la posible excepci n de p q a, pero no
u
o
importa porque estamos mirando el lmite lm f x, y entonces el punto x a no nos interesa). Para convencernos
de esta ultima armaci n sobre el entorno, pensemos en la armaci n opuesta: sera decir que para todo 0
o
o
puntos contradiciendo lo que contamos anteriormente. Ahora veamos que el lmite es en efecto 0. Tomemos x con
xa
, x a. Entonces si x
, se tiene f x 0 por denici n y ciertamente f x
o
. Por otra parte si
x , por como elegimos , debe ser x p q con q K, luego
f x
f p q
1
q
1
K
En particular, observando la denici n de f , resulta que f es continua en los irracionales, y discontinua en los
o
racionales. Esto permitira otra prueba de la integrabilidad de f , pero para ello necesitaramos probar (y no vamos
a hacerlo aqu) que una funci n acotada, que es continua salvo un conjunto numerable de puntos, es integrable.
7 I NTEGRALES
M ULTIPLES
Goethe
y
d
ab
cd
c
b
En este caso R
a b c d que es lo mismo que decir que X x y R si y s lo si x a b e
o
y c d . Su medida o area es el producto de los lados, que denotaremos . Es decir, el n mero positivo.
u
R
ad c
160
Integrales multiples
El di metro R del rect ngulo R es la mayor distancia entre dos de los puntos del rect ngulo, que como
a
a
a
se puede observar, es simplemente el largo de la diagonal del rect ngulo:
a
y
d
El hecho a rescatar de esta denici n es X Y R X Y
o
derecha.
R.
Gr f
161
Vamos a denir las sumas superiores e inferiores de una funci n en forma an loga a como hicimos en
o
a
la recta. Dado un rect ngulo R, podemos subdividirlo siempre en una cantidad nita de rect ngulos m s
a
a
a
peque os, es decir R
n
Ri donde los Ri son rect ngulos (disjuntos salvo los bordes) del plano, como se ve
a
en la gura:
Ri
Rij
Ri
R
i
jR j
i
i jR j.
Mi Ri
i
Ri de R,
162
Integrales multiples
2. La suma inferior es
m i R i
I f P
Claramente, si M
tiene
sup f en R y m
o
m
mi
Mi
Ri de R se
I f P
S f P
para cualquier partici n. Como en el caso de una variable, es f cil ver que las sumas superiores decrecen a
o
a
medida que la partici n se rena (pues el supremo en un conjunto m s peque o es menor o igual que en el
o
a
n
conjunto m s grande), y tambi n es f cil ver que las sumas inferiores crecen. Tambi n se deduce entonces
a
e
a
e
que dado un par arbitrario P Q de particiones,
I f P
S f Q
Se observa que las sumas inferiores est n acotadas superiormente. Luego estas cantidades tiene un sua
a
premo que denotaremos I f , la integral inferior de Riemann. An logamente, al nmo de las sumas
superiores lo denotaremos I f , y evidentemente
I f
I f
Cuando ambas cantidades coinciden decimos que f es Riemann integrable en R. A esta cantidad la deno
o
tamos con R f , y la llamamos integral doble de f , y lo usual es usar la notaci n
f
R
Cuando una funci n est denida en un dominio D 2 acotado, pero que no es necesariamente un
o
a
a
rect ngulo, se considera la siguiente funci n auxiliar f . Se toma un rect ngulo R cualquiera tal que D R
a
o
163
y se dene
f X
si X D
si X R D
f X
0
Esta integral no depende del rect ngulo elegido, puesto que si cambiamos el rect ngulo por otro R , en
a
a
la diferencia de ambos rect ngulo la funci n f es nula.
a
o
Se dene la integral de f en D como la integral de f en R, es decir
f:
Una pregunta clave, a la que volveremos m s adelante, es como saber si esta funci n extendida es intea
o
grable o no. Dicho de otra manera, c mo sabemos si dada una funci n denida en un dominio que no es un
o
o
rect ngulo, si esta funci n es integrable o no?
a
o
z
1
D
D
R
Dada cualquier funci n acotada f denida en un dominio acotado D, consideramos sus partes positiva y
o
negativa dadas por
f X si f X 0
f X
0
si f X 0
f X
f X
si f X
si f X
0
0
f f ,
f f .
El criterio para ver si una funci n integrable es an logo al de una variable, con la misma demostraci n
o
a
o
que por lo tanto omitimos.
164
Integrales multiples
o
a
todo 0 existe una partici n P de un rect ngulo que contenga a D tal que
S f P I f P
De acuerdo a lo que discutimos, si el dominio no es un rect ngulo, hay que integrar la funci n extendida
a
o
por cero en alg n rect ngulo que contenga al dominio. Pero surge el problema de si esta nueva funci n es
u
a
o
integrable en el rect ngulo.
a
Gr f
D
D
R
La observaci n importante es que all, en D, es en el unico lugar donde no es continua, pues fuera
o
es continua por ser constante. Nos alcanzara con ver que esta regi n, la curva D, no aporta nada a la
o
integral en el rect ngulo R. En el caso general, esto no es necesariamente cierto. Sin embargo, bajo
a
ciertas condiciones razonables, como por ejemplo si la curva D se obtiene como uni n nita de gr cos de
o
a
funciones continuas, se puede integrar con tranquilidad.
R
La idea es cubrir el borde con rect ngulos de manera que la suma de las areas de estos rect ngulos sea
a
a
arbitrariamente peque a. Veamos que esto es posible.
n
Proposici n 7.1.4.
o
de rect ngulos Ri
a
165
Sea : a b
una funci n continua. Entonces dado
o
2 de manera que Gr Ri o y adem s Ri .
a
2
Gr
1
m
Ri
1
m2
x
Ri . Como hay m rect ngua
m1
de los primeros rect ngulos da 2, mientras que la de los nuevos a lo sumo
a
m 1b
m 1
m 1 2
1
166
Integrales multiples
S f P I f P
Sea s m x f mn f en R (s
a
Ri iA , de manera que
0 si f
2s
R i
f X f Y
a
Tomamos ahora una partici n P
o
Ri iF de R que contenga a los rect ngulos Ri iA que cubren al borde
de D, como indica la gura (estamos subdividiendo aquellos rect ngulos que estaban superpuestos para
a
pensarlos como rect ngulos disjuntos):
a
R
Es decir P
. Entonces
iA Ri
S f P I f P
Mi mi Ri Mi miRi
iF
iA
sRi Ri
iA
iF A
Mi
miRi
iF A
s R
2s
1
0
x2 ydy dx
x2
y2 3
dx
2 2
1
2
9
0
4x2dx
5
2
x2 dx
51 3
x
23
1
0
5
6
En los pr ximos p rrafos veremos que lo que acabamos de calcular puede interpretarse como la integral
o
a
a
0 1 2 3 , la cual tambi n puede calcularse integrando en el otro
e
de f x y x2 y en el rect ngulo R
orden (primero x y luego y).
La idea del siguiente teorema es que, si queremos calcular la integral de f , pens ndola como el volumen
a
indicado en la gura,
S
Ax
167
R
a
x
cte
c
b
podemos cortar con planos x cte , y luego calcular el area Ax de la gura que se obtiene integrando la
funci n fx y f x y respecto de la variable y de la manera usual. Finalmente integramos estas areas para
o
x movi ndose entre a y b. Esto se conoce como principio de Cavalieri. Para x a b , sea fx : c d
e
la
funci n que se obtiene al jar x a b , es decir fx y f x y. Entonces
o
d
A x
c
fx ydy
Axdx
vol
a
Vamos a ver bajo que condiciones se puede aplicar este principio. Daremos una versi n simplicada del
o
teorema, que ser la que usaremos en las aplicaciones. La versi n general del teorema puede verse en las
a
o
notas del nal del captulo (Nota I).
168
Integrales multiples
ab
1. Si para todo x a b , fx : c d
c d , un rect ngulo en 2 , y f : R
a
una funci n
o
es integrable, entonces
b
f x ydydx
f
a
2. Si para todo y c d , fy : a b
es integrable, entonces
f x ydxdy
f
c
y j
y j y j1 es una partici n de c d , de manera que los rect ngulos Ri j i j de area xi1
o
a
xi yi1 yi forman la partici n P del rect ngulo original. Como antes, abusamos un poquito de la notaci n
o
a
o
y usamos para denotar al intervalo y a su longitud. Entonces
mi j f i j mi j f j i
I f P
i j
I x
c
fx ydy
f x ydy
c
o
fx en j ) es mayor o igual que el nmo de f en Ri j , pues
i j
nf f x y : x jo y j
mi j f j m j fx j
j
m j fx
cte
I fx
fx ydy
I x
mi j f j i mi I i
i
I I
i y
169
es decir
I I
I I
S f P
I I
I I
I I ,
I f P
S f P
Como f es integrable, los extremos se pueden hacer tan pr ximos como queramos renando la partici n P,
o
o
a
y en consecuencia debe ser I x integrable, y adem s
Corolario 7.1.7. Si f : R
I I
I I
f x ydy
I
a
f dy dx
f
a
f dx dy
Demostraci n. Si f es continua en R es integrable por el teorema 7.1.5. Adem s fx fy son continuas con lo
o
a
cual son integrables, as que se puede usar el teorema de Fubini.
f
R
0
x
R
1
exy xdydx
x x
x
1
0
01
f donde R
exy
y 1
y 0 dx
1 1 0
e
0
0 1 . Como f es continua,
x
1dx
e2
Qu pasa si integramos en el otro orden? El teorema nos asegura que debe dar lo mismo. Sin embargo,
e
la cuenta en el otro orden es m s larga ya que requiere calcular primero exy xdx, para lo cual es necesario
a
recurrir al m todo de partes.
e
Una aplicaci n mucho m s util la obtenemos combinando el Teorema 7.1.5 con el Teorema de Fubini,
o
a
observando las siguientes guras en el plano:
2 x
1 y
d
D
y
a
1 x
c
2 y
170
Corolario 7.1.9.
1. Sea D
Integrales multiples
Supongamos que f : D
y 2 : 1 x
f
D
2. Sea D
2 x x a b
y 2 x
f x ydy
dx
y 1 x
Supongamos que f : D
y 2 : 1 y
2 y y c d
x 2 y
f x ydx
f
c
dy
x 1 y
ab
cd
que contenga a D. Por el teorema previo, la funci n obtenida es integrable en el rect ngulo. No es difcil ver
o
a
que las fx son funciones integrables para cada x a b jo, puesto que fx vale cero para aquellos y tales que
c y 1 x o bien 2 x y d, y es una funci n continua para aquellos y tales que 1 x y 2 x.
o
Por el mismo motivo,
y 2 x
f x
ydy
f x ydy
y 1 x
Se deduce la conclusi n usando el Teorema de Fubini. Con un razonamiento an logo se deduce el item
o
a
2.
Ejemplo 7.1.10. Algunos c lculos de integrales dobles.
a
y
1
f , donde
x2
D
y
x3
1
171
Luego
y x2
f
0
1
2
y
1
0
x2 ydy dx
x3
x2 x6 x4
1
x2 y2
2
1 1 9 1 7 1
x x 0
2 9
7
x3
x2
1 1 1
2 9 7
1 y2
D
x
1
Entonces
1
1y
x 0
yln1
1
x1
1y
dx dy
1 y2 0dy
y lnx 1 0
y ln1
dy
1 y2dy
1 1 x2
0
x2
mental de e Qu hacer? Observemos que las condiciones de integraci n denen un tri ngulo, pues
e
o
a
1 x y mientras que 0 y 1:
y
172
Integrales multiples
ex dxdy
ex
T
1
0
1
e y x dx
0
ex xdx
1 x2
e
2
1
0
1
e 1
2
7.2. Integrales en y
3
ex dydx
x2
a
Observemos ahora el caso de integrales de funciones con dominio en 3 . Aqu el an logo de un intervalo
es un ladrillo, que seguiremos llamando R por comodidad,
z
ab
cde
Su medida es el volumen R b ad c f
e, y su di metro R el largo de la diagonal mayor
a
del ladrillo. Una partici n P de R es una subdivisi n
o
o
de R en ladrillos disjuntos Pi como en la gura, y un
o
renamiento P de P una subdivisi n de cada uno de
los ladrillos Pi
Pij . El di metro P de la partici n
a
o
el di metro del ladrillo m s grande que la conforma.
a
a
Qu querra decir aqu la integral de una funci n? En principio, esperamos que la integral de la funci n
e
o
o
f x y z 1 nos devuelva la medida del cubo
volumen
1b ad c f e
7.2 Integrales en 3 y n
caso n
173
a1 b1
b1
su medida es el producto
a2 b2 an bn
a1b2 a2 bn an
y su di metro R el largo de la diagonal mayor, es decir, la mayor distancia posible entre dos puntos de R.
a
La integral se dene de la manera obvia.
El siguiente es un corolario inmediato del Teorema de Fubini:
Corolario 7.2.1. Si R a1 b1
continua en R, entonces
a2 b2 an bn
es un rect ngulo en n y f : R
a
b1
b2
f
R
a1
a2
bn
an
f x1 x2
es una funci n
o
f x 1 x 2
xn dxi
existe y es una funci n continua en ai bi , en particular integrable. Usando el teorema de Fubini repetidas
o
veces se obtiene el corolario.
Lo que es m s interesante es pensar qu ocurre cuando el dominio no es un ladrillo en 3 . Con razonaa
e
mientos similares a los del plano, se puede probar lo siguiente:
Teorema 7.2.2. Sea D 3 un compacto, y f : D una funci n continua. Si D est formado por una
o
a
uni n nita de gr cos de funciones continuas denidas en conjuntos compactos del plano, entonces f es
o
a
integrable en D.
Aqu las supercies reemplazan a las curvas como borde de la regi n, y la idea central es que una
o
a
o
supercie en 3 , que es gr ca de una funci n continua en un compacto, tiene volumen nulo, y por lo tanto
el borde de la regi n no inuye en la existencia de la integral.
o
Respecto del c lculo, aqu hay m s posibilidades, simplemente por ser tres las variables. Observemos las
a
a
siguientes guras. En el primer caso, se trata de de la regi n encerrada por los gr cos de funciones fi x y,
o
a
cuyo dominio com n A se indica como una sombra en el plano xy. En los otros casos se tienen las variantes
u
obvias.
174
Integrales multiples
y g 1 x z y g 2 x z
z f 2 x y
A
A
z f 1 x y
x h1 y z
x h2 y z
a
Hay que poder escribir a las
supercies que delimitan el dominio D 3 como gr cos de funciones, con
respecto a un par de variables. La mejor manera de entender c mo funciona la teora es haciendo ejemplos.
o
Ejemplo 7.2.3.
1. Queremos calcular el volumen de la siguiente gura, que es la regi n encerrada por
o
el plano x y z 1 en el primer octante:
z
xy
y
x
1xy
xy
1
x
7.2 Integrales en 3 y n
175
Luego
1x
vol D
D
1x
1
0
1
0
1xy
x ydydx
1 dzdydx
0
1
y
0
1
xy 1 y2 0xdx
2
1
2
1 x x1 x 1 x dx
2
0
1
1
2
2
1 2x x 1 x dx
2
0
1 3 1
1
1
2
x x x 1 x3 1 1 1 0
0
3
6
3
6
1
1
6
x
Si recordamos que una integral triple se calcula como lmite del volumen de peque as cajitas Ci
n
multiplicadas por la funci n x y z
o
lm x y zvol Ci
donde x y z es alg n punto en la caja Ci , entonces lo que estamos haciendo al integrar, es sumar
u
las masas aproximadas de las cajas. Al renar la partici n, las cajas son m s peque as pero el valor
o
a
n
a
x y zvol Ci es cada vez m s parecido a la masa real de la caja Ci . Idealmente, si la densidad no
vara bruscamente de un punto a otro cercano, se tiene la f rmula para la masa total del objeto dada
o
por el lmite
m
D
176
Integrales multiples
1 x2 , 0
1. Entonces
1x 1x y
2
mD
0 0
z dzdydx
1x
1
0
1 1
1 3
1x2
2
dx
y x y y 0
2 0
3
3
1 1
1
1 x21 x2 1 x2 2 dx
2 0
3
1 12
1 2
2 3
1 x 2 dx
cos3 u cosudu
2 0 3
3 0
1 1
3
3
3
2
cosu senu cosu senu u 0
3 4
8
8
o
donde hicimos la sustituci n x
1
2
2
1 x y dydx
2
1 2
cos4 udu
3 0
1 3
3 16 16
3. Dadas dos partculas puntuales (ideales) de masas m1 y m2 , ubicadas respectivamente en los puntos
V1 y V2 del espacio, se dene su centro de masa o baricentro como la ubicaci n promediada de las
o
posiciones, teniendo en cuenta sus respectivas masas. Esto es, si m1 m2 mT la masa total, entonces
el centro de masa CM se dene de la siguiente manera:
CM
m1V1 m2V2
m1 m2
m1V1 m2V2
mT
Si las partculas tiene la misma masa, el centro de masa es simplemente el punto medio del segmento
que una la posici n de ambas. En el caso general, el centro de masa es alg n punto de este segmento,
u
o
m s cercano siempre a la partcula de mayor masa:
a
m1
m2
CM
a
Dada una nube de partculas mi de posiciones Vi 3 , se dene en forma an loga el centro de masa
de la nube como
miVi
CM
mi
Es f cil ver que si todas las partculas tienen la misma masa este es el centro geom trico de sus
a
e
ubicaciones.
En el caso de objetos s lidos D 3 , de densidad , si pensamos a la masa innitesimal de una caja
o
Ci como dada por vol Ci , entonces el centro de masa puede pensarse como la suma
CM
Pi vol Ci Pi
Pi vol Ci
7.3 Propiedades
177
donde Pi xi yi zi es un punto gen rico en la caja Ci . Es decir, las coordenadas del centro de masa
e
se piensan como
xi Pi Ci
CM x
Pi Ci
CM y
C
i
yPiC i
P
CM z
zi Pi Ci
Pi Ci
Estas expresiones, pasando al lmite de cajas cada vez m s peque as nos dan las expresiones de las
a
n
coordenadas del baricentro del s lido D:
o
D x x
m D
y z
D y x
m D
y z
D z x
mD
CM x
y z
CM y
CM z
donde mD indica la masa total de D como en el ejemplo anterior. Esto est fundamentado por el
a
Teorema 7.3.2 que enunciamos y demostramos m s abajo, que nos dice que para calcular la integral
a
de Riemann de una funci n integrable, se puede tomar cualquier punto en el rect ngulo y evaluar f
o
a
all (no es necesario tomar el nmo o el supremo).
7.3. Propiedades
La pr xima proposici n establece una serie de propiedades de la integral, tanto en el plano como el
o
o
espacio, cuya demostraci n es an loga al caso n 1 y por tanto es omitida.
o
a
Proposici n 7.3.1. Sea D
o
a
1. Si , f es integrable en D y adem s
f
2. Si : Im f
f
D
3. Las funciones f , f k
f g
f
D
f
D
g
D
178
4. Si D
tiene
Integrales multiples
0, entonces si f es integrable en D D , se
f
D
Por ultimo una propiedad que usaremos de aqu en adelante: no es necesario tomar el nmo o el supremo
f Pi Ri
en el sentido siguiente: al renar la partici n estas sumas tienden a la integral de f en R.
o
Demostraci n. Simplemente hay que observar que, para cualquier partici n P del rect ngulo R, y cualquier
o
o
a
rect ngulo Ri en la partici n P, dado un punto Pi Ri se tiene
a
o
mi
f Pi
Mi
Entonces
I f P
f Pi Ri
S f P
y como las cantidades de los extremos tienden a la integral de f en R, la cantidad del medio tambi n.
e
Si existe, en el plano esta cuenta nos devuelve la supercie de la regi n D, mientras que en el espacio nos
o
devuelve el volumen de la regi n D. Podemos dar condiciones para que este n mero exista? S, es sencillo
o
u
a partir de lo ya hecho, pues la funci n 1 es continua, y por lo tanto se tiene el siguiente resultado:
o
continua, y supongamos que D est formado por
a
Teorema 7.3.3. Sea D n compacto, f : D
una uni n nita de gr cos de funciones : Ki n1
o
a
continuas, con Ki compactos. Entonces f es
integrable en D, y adem s D f se puede calcular con n integrales iteradas.
a
En particular D es medible y
D
1
D
sup
Ri D
Ri
nf
Rj
Rj
7.3 Propiedades
179
Demostraci n. Lo unico nuevo son las ultimas igualdades que dan D. Son consecuencia del siguiente
o
hecho: para calcular D 1 tomamos un rect ngulo R que contenga a D, extendemos a la funci n como cero
a
o
en R D. Es decir, f 1 en D y f 0 en R D.
Ri . Si Ri es un rect ngulo ntea
Ahora particionamos R
gramente contenido en D (como el que indicamos con R1 en
R2
la gura), entonces all la integral inferior de f vale siempre
R1
D
1, por lo tanto estos rect ngulos aportan algo a la integral.
a
Mientras que si el rect ngulo toca el exterior de D (o sea no
a
R3
est contenido en D, como los que se alamos como R2 y R3
a
n
en la gura), entonces all el nmo de f es cero y estos no
R
aportan nada a la integral inferior.
En cambio para la integral superior aportan todos los rect nculos que tocan D pues en ellos el supremo
a
de f es 1.
Observaci n 7.3.4. El teorema previo generaliza una idea que para intervalos I es mucho m s sencilla.
o
a
Por ejemplo si I 0 1 , uno puede obtener la medida del intervalo aproxim ndolo por dentro con intervalos
a
de la pinta 1 1 1 . O bien por fuera con intervalos de la pinta 1 1 1 .
n
n
n
n
Podemos relacionar la integral de cualquier funci n continua con D mediante el siguiente Teorema
o
del Valor Medio Integral:
a
Teorema 7.3.5. Sea D n compacto, f : D continua, y supongamos que D est formado por una
uni n nita de gr cos de funciones : Ki n1
o
a
continuas, con Ki compactos. Entonces
1. Si M
m x f en D y m
a
mn f en D, entonces
mD
MD
f
D
f
D
Ri
Ri D
mi f Ri
I f P
Ri D
I f
f
D
D y entonces
Ri D
mD
f
D
Con un argumento similar, pero ahora usando los rect ngulos dentro de D m s los que cubren el borde de D
a
a
se tiene
MD I f
f
D
180
Integrales multiples
2. Si D 0 no hay nada que probar. Si D 0, entonces dividiendo la desigualdad del item previo
por D se deduce que
1
f M
m
D D
Como f es continua en un arcoconexo toma todos los valores intermedios entre m y M, en particular existe
X0 donde
1
f
f X0
D D
Observaci n 7.3.6. Atenci n que el ultimo enunciado es falso si el dominio no es arcoconexo. Por ejemplo
o
o
Entonces
f
f
D
1 1 1 1
7.4. NOTAS
I. El Teorema de Fubini que enunciamos es una versi n m s d bil del que sigue en esta nota. La diferencia est en
o
a e
a
que en realidad, no es necesario suponer que cada fx fy es integrable. Si R
a b c d es un rect ngulo en 2 ,
a
es una funci n integrable en R, usamos la notaci n fx y f x y fy x como antes. Tomamos
o
o
y f :R
I x
I fx
sup I fx P : P partici n de c d
o
S x
I fx
nf S fx P : P partici n de c d
Entonces (sin ninguna hip tesis sobre las fx o las fy ), vale que I S son funciones integrables en a b y adem s
o
a
b
f
R
S xdx
I xdx
forman la partici n P del rect ngulo original. Como antes, abusamos un poquito de la notaci n y usamos para
o
a
o
denotar al intervalo y a su longitud. Entonces
I f P
mi j f i j mi j f j i
i j
7.4 NOTAS
181
el nmo de f en Ri j , pues
m j fx nf f x y : x jo y j
y el nmo en un subconjunto -en este caso x j - siempre es mayor o igual que el nmo en el conjunto original
mi j f j m j fx j
j
I fx
I x
Si en el extremo derecho tomamos el nmo para x i - que anotamos mi I -, multiplicamos por i y sumamos,
se deduce que
I f P mi j f j i mi I i I I
i
I I
I I
I
a
182
Integrales multiples
8 T EOREMA
DE CAMBIO DE VARIABLES
o
comenzara por las matem ticas.
a
Galileo Galilei
f gxg xdx
gb
g a
f udu
(8.1)
En efecto, si F es una primitiva de f , es decir F t f t para todo t en el intervalo I, entonces se chequea f cilmente (derivando) que H x F gx es una primitiva de f gxg x. Si aplicamos el Teorema
a
Fundamental del C lculo Integral a la funci n f en el intervalo con extemos ga gb, obtenemos
a
o
F gb F ga
gb
ga
f udu
puesto que F es primitiva de f . Por otro lado, aplicando el mismo teorema a la funci n H en el intervalo
o
a b obtenemos
F gb F ga
H b H a
f gxg xdx
184
D
con una frontera buena, lo que hacemos es subdividir el dominio en rect ngulos, de lados paralelos
a
a los ejes. Mientras m s peque os sean los rect ngulos, mejor es la aproximaci n del dominio, y una integral
a
n
a
o
la pensamos como lmite de las sumas
lm f Pi Ri
donde Pi Ri . En particular, el area de D se calcula sumando las areas de los rect ngulos. Sin embargo,
a
la elecci n de estas guras (rect ngulos de lados paralelos a los ejes) es en cierta medida arbitraria. Es
o
a
consecuencia de que el area de un rect ngulo es f cil de calcular. Pero esto ultimo tambi n es cierto para
a
a
e
muchas otras guras, y nada impide calcular integrales usando estas guras, es decir, enmarcando al dominio
D con estas guras, particion ndolo y calculando las sumas como arriba, y luego tomando el lmite al renar
a
la partici n. Un caso concreto es el siguiente: podemos tomar paralelogramos, es decir, guras de lados
o
paralelos dos a dos, y hacer una partici n de D como indica la gura:
o
Puede probarse que existe la integral de f en D usando rect ngulos comunes si y s lo si existe la integral
a
o
usando estos paralelogramos. La idea de por qu funciona esto es la siguiente: dado un rect ngulo R de
e
a
lados paralelos a los ejes, puede tomarse una partici n del mismo usando paralelogramos, que aproxime
o
tanto como uno quiera al rect ngulo R.
a
Vamos a usar este hecho: si f es integrable en D, entonces su integral se puede calcular como
f
D
lm f Pi R
o
donde R es una familia de paralelogramos que aproxima la regi n D, y Pi R .
i
i
185
Dado un rect ngulo de lados paralelos a los ejes, su area se calcula como
a
base por altura, R AB. Podemos suponer que el rect ngulo tiene
a
uno de sus v rtices en el origen, como indica la gura de abajo, pues una
e
traslaci n no modica su area. Es decir, los lados miden exactamente A
o
y B.
B
R
A
T A 0
T A1 0
a
c
b
d
AT 1 0
Aa c
Aa
Ac
mientras que
T 0 B
BT 0 1
Bb d
Bb
Bd
T 0 B.
Ahora recordemos que dados dos vectores v w
3 , el area del parelelogramo determinado por v
se puede calcular como la norma del producto vecv w . Totorial entre v y w, es decir area
memos entonces el paralelogramo imagen, pero
pensado en el plano xy en 3 como indica la gura de la derecha. Los vectores son simplemente
v Aa Ac 0, w Bb Bd 0.
y
w
v
T A
T 0
B 0
0 0
x
El area de R
vw
T R es entonces
det Aa
Bb
j
Ac
Bd
k
0
0
0 AaBd AcBb
AB ad bc
R det T
186
es
det T R
Pero entonces, dada cualquier gura D 2 que sea medible, si D T D indica la imagen de D
por una transformaci n lineal T inversible, podemos cubrir D con rect ngulos R que aproximen la gura,
o
a
i
y as estaremos llenando D T D con paralelogramos Ri T R que aproximan esa gura, como en el
i
dibujo:
R
i
En consecuencia, D
T D
T D
lm Ri
T D
Ri
det T D . En efecto,
lm T R
lm det T R
det T D
Esta misma idea se puede aplicar para calcular integrales. Observemos en la gura, que si f : 2
est denida en
a
D T D , entonces f T est denida en D :
a
T
f T
T D
2 , T : 2
det T
a
Demostraci n. Tomamos R rect ngulos que aproximen D , de manera que Ri
o
i
T R aproximen D
i
187
T Qi con Qi R , luego
i
T D
lm f T Qi T R
lm f Pi Ri
lm det T f T Qi R
det T
Ejemplo 8.3.3. Supongamos sabido que el area de un disco de radio R en el plano es R2 . Se quiere calcular
el area de una elipse E de radios a b 0 dada por la parte interna de la curva de ecuaci n
o
x
a
Si consideramos T x y
ax
y
b
a 0
0 b
T D
Entonces
E
1
E
T D
1 detT
D det T
ab
o
o
una variable: det T juega el papel de g . Por ahora este teorema tiene utilidad limitada. Lo que queremos es
extender el resultado a funciones inyectivas cuya diferencial sea inversible salvo un conjunto muy peque o
n
o
2 inyectiva, queremos hallar
(de medida nula). Es decir, dado un dominio D y una funci n T : 2
primero la relaci n entre D y T D D,
o
188
T
f T
f T
T D
D T D
Si T es inyectiva, el dominio D T D se puede pensar cubierto con las im genes de los rect ngulos
a
a
o
que cubren D , es decir si R aproximan D entonces T R aproximan D T D . C mo calcular
i
i
la medida de cada T R ? En principio es un problema difcil, ya que T no es lineal y cada Ri T R
i
i
R
i
T R
i
Ri
T Pi DT Pi X OX
donde OX es simplemente lo que falta despu s del t rmino lineal. Esta armaci n es imprecisa y luego
e
e
o
haremos una demostraci n formal, pero por ahora pensemos que T se puede escribir as. Tenemos como
o
hip tesis que DT es inversible, salvo tal vez un conjunto de medida nula. Entonces podemos imaginar
o
que, como el primer t rmino es s lo un desplazamiento por un vector jo T Pi 2 , que no modica el
e
o
n
area, mientras que OX es sucientemente peque o, y no aporta nada sustancial al area, entonces para un
e
rect ngulo peque o R con v rtice en Pi ,
a
n i
T R
i
DT Pi R
i
det DT Pi R
i
Siguiendo con esta lnea de pensamiento, se tendra para un dominio D y un conjunto de rect ngulos R
a
i
que aproximen D ,
T D
lm T R
lm DT Pi R
lm det DT Pi R
i
es decir
D
Mientras que si f : D
T D
T D
det DT
det DT
f
D
T D
T det DT
189
Vamos a llamar a JT
Antes de pasar a una demostraci n veamos unos ejemplos para ver como se usa este resultado, conocido
o
como teorema de cambio de variable.
Ejemplo 8.4.1. Una transformaci n que se usa frecuentemente es la dada por el cambio de coordenadas
o
polares, donde
T r r cos r sen
En este caso se tiene
cos
sen
DT
con lo cual JT
r cos2 r sen2
r sen
r.
BR
1
2 r2
2
rdrd
0
xy
5
mientras que T D
R
0
x 2 y 2 2
R1 R2
u
en la regi n anular A de arco 4 entre R1 y R2 seg n
o
indica la gura de la derecha. Luego
D
r cos
R2
y
R2
R1
A, con lo cual
T JT
1
1
1 1R R
22
2
R1
R2
r cosr sen
rdrd
r5
1
dr
2
R1 r
R2 R1
4R1 R2
cos send
R2
1
1
4
sen2 0 R2
2
r R1
Pasemos ahora a la demostraci n del teorema. La idea central est extrada del libro C lculo en varieo
a
a
dades, de M. Spivak [9].
190
2 inyectiva y C1 . Sea D
detDT , entonces
2 acotado y f : D
T D
integrable. Si
T JT
Demostraci n. Basta probar, dado P D , que existe un entorno de R de P donde vale el teorema es decir
o
T R
T JT
En efecto, si esto es cierto entonces dividiendo D en un conjunto nito de entornos R donde vale el teorema,
i
y sumando las integrales, se tiene el resultado en el conjunto total D .
La idea de la
demostraci n es descomponer a la funci n T como la composici n de dos funciones, cada
o
o
o
una moviendo una sola variable, y usar sustituci n en una variable en cada una de las funciones.
o
K H
T D
H
H D
t1
y
DH
t1
t1
Observemos que JH
det DH
o
x
x pues como esta derivada parcial vale uno en P, y es una funci n
1 , podemos suponer que estamos en un entorno donde es positiva. Es decir
continua pues T es C
JH
t1
x
Como DH P I2 , por el teorema de la funci n inversa existe un entorno U (que vamos a suponer que es
o
un rect ngulo abierto) de P donde H es inversible. Ahora ponemos
a
K x y
x t2 H
1 x y
191
JT JKH JH
Tomemos un conjunto W alrededor de P, y una funci n g integrable all. Podemos suponer que W es
U
o
a b c d U que contenga W , y
sucientemente peque o para que se pueda tomar un rect ngulo R
n
a
extendemos g como cero en R W como es habitual. Entonces por el Teorema de Fubini,
H W
gu vdudv
g
cd
Iv
donde Iv es el intervalo dado por la imagen de a b via g1 u v con v c d jo, seg n indica la gura,
u
pues H ja c d :
H R
v
c
x
Iv
Ahora hacemos la sustituci n u
o
uv x
du
y cuando x recorre a b , u recorre Iv . Entonces
gu vdu
Iv
ab
gt1 x v v
con lo cual
H W
g
cd
ab
gt1 x v v
t1
x vdx
x
t1
x vdxdv
x
H JH
Con una cuenta an loga se tiene, para cualquier entorno abierto V de H P sucientemente peque o,
a
n
K V
K JK
Luego
T R
LLamando g
K H R
K JK y usando que H W
H R
K JK
H R
W g
W
K JK
H JH se deduce que
K H JKH JH
192
Como DT X DKH X DH X , tomando determinante se tiene JKH JH JT (donde con JKH queremos
indicar al Jacobiano de K, evaluado en H), y juntando las ultimas dos ecuaciones se tiene
T R
mando T A1 T , se tiene
T R
T JT
AT R
T R
A detA
usando el resultado para transformaciones lineales A. Si aplicamos lo que probamos en el p rrafo de arriba
a
a la funci n T (que ahora verica DT P I2 ), se tiene entonces
o
T R
pues JT
detA1 det T
A detA
A A1 T JT
det A
det A 1 JT .
T JT
z2
x y2 y sobre el piso z
Ejemplo 8.4.3. Se quiere calcular el volumen encerrado bajo el cono
pero en el rect ngulo R
a
0 1 0 1 del primer cuadrante. En resumen, se quiere calcular
x2 y2 dxdy
0,
Presenta ciertas dicultades la integral en coordenadas cartesianas, luego hacemos el cambio de variable
a coordenadas polares, es decir T r r cos r sen . El integrando queda como
f
T JT
rr
r2
T2
T1
R
x
Se tienen dos tri ngulos T1 T2 de igual area, y por la forma del cono sabemos que el volumen lo podemos
a
calcular como
vol
f
f
T1
T2
193
1
cos
1
mientras que 0
cos
Se tiene entonces
1
vol
2
f
T1
T D
1
D
1
T JT
1 cos
r2 drd
Luego
1
vol
2
1
1 4
11
d
3 0 cos3
32
11
2 ln1 2
32
det T D
Finalmente, usando las mismas ideas que antes, toda funci n inyectiva T : 3
o
3 con diferencial
inversible nos permite hacer un cambio de variable que transforma una integral en D en una integral en
D T D , de la siguiente manera.
Teorema 8.4.5. Sea T : 3
DT es inversible en D y JT
3 inyectiva y C1 . Sea D
detDT , entonces
f
D
3 acotado y f : D
T JT
T D
integrable. Si
194
La demostraci n usa las mismas ideas que el caso n 2 y la omitimos. El unico comentario a tener
o
en cuenta es que ahora hay que descomponer a T como una aplicaci n que primero mueve dos variables
o
y despu s una, y usar el resultado que ya tenemos para dos variables. Es decir, es una demostraci n por
e
o
inducci n.
o
Para terminar este libro, calculamos integrales en algunos ejemplos que ilustran el poder del teorema
combinado con los cambios de variables cilndricos y esf ricos Puede haber mejor manera de cerrar un
e
apunte? Nos gusta creer que, como dijo el gr n matem tico ruso V. I. Arnold (1937-2010), la matem tica es
a
a
a
una ciencia experimental, con un laboratorio muy f cil de mantener.
a
Ejemplo 8.4.6.
o
a
Esto es x
r cos, y
T r z
r sen, z
r cos
r sen z
z.
Es muy conveniente cuando la regi n D a integrar presenta simetra alrededor de un eje, el eje de
o
rotaci n. En este caso alrededor del eje z, pero con peque as modicaciones pueden considerarse
o
n
otras rectas como eje rotaci n. Aqu
de
o
DT
r sen
cos
sen
0
0
0
1
r cos
0
luego JT
det T
r. Esta transformaci n manda un ladrillo vertical, en el espacio r z (de lados
o
z0
T r z0
x
Si jamos la altura z z0 , la transformaci n T r z0 recorre una circunferencia horizontal de radio
o
r en la altura del plano z z0 , donde x e y se pueden calcular observando que en la gura, el vector
T r z0 mirado en el piso tiene componentes
x
r cos
r sen
195
El angulo se mide desde el eje x, en contra del reloj como si mir semos el plano xy desde arriba. El
a
n mero r
u
x2 y2 nos da la distancia del punto x y z al punto 0 0 z, es decir, la distancia al
eje z.
Aqu z est libre, pero debe ser un n mero entre 0 2 para que sea una funci n inyectiva (sino es
a
u
o
tamos pasando dos veces por el mismo angulo), y r un n mero positivo pues representa una distancia.
u
del punto 0 0 z0 . Esto no es un problema pues r 0 representa la recta del eje z, que es una regi n
o
que no tienen ning n volumen que pueda afectar el c lculo de una integral.
u
a
a) Se quiere calcular el volumen del s lido de revoluci n que se obtiene al girar el area bajo el
o
o
f a
a
f x
x
196
f z
Az
f z2
Al hacerla girar alrededor del eje z obtenemos el s lido de revoluci n. Fijado un z concreto
o
o
entre a y b, el corte con el s lido est dado por la circunferencia 0 r f z. Luego integrando
o
a
en coordenadas polares se tiene
2
f z
vol
rdrdzd
0
a 0
b1
2
2
a
f zdz
f 2 zdz
f rmula general que tambi n puede interpretarse como que integramos entre a y b las supercies
o
e
de los discos de radio f z, que valen exactamnente f z2 .
h
con z entre 0 y h. Luego
R2 2
z dz
h2
0
1 2
1
R h
vol cilindro
3
3
h
vol cono
z
R
R
hz
2) Calculamos el volumen del s lido no acotado que se obtiene al girar el area bajo la gr ca
o
a
de y 1 , para x 1:
x
197
1
x
Se tiene
1
1
1
dz lm r lm 1
r z 1
r
z2
r
Sorprendentemente, aunque el s lido es no acotado, su volumen es nito! Resulta m s
o
a
u
sorprendente a n si recordamos que el area bajo la gr ca de f x 1 no es nita pues la
a
integral impropia 1 1 dx no es convergente.
x
vol
lm
2. Coordenadas esf ricas. En este caso se trata de una transformaci n que es util para regiones que
e
o
presentan simetras alrededor de un punto del espacio, el caso m s sencillo es una esfera. La trans
a
formaci n T est dada por
o
a
T r
r cos sen
Para interpretarla, hay que considerar que un cubo de lado r 2 se transforma en una esfera de
radio r en el espacio x y z. Para leer estas cordenadas en una esfera, es conveniente entender su
representaci n gr ca: r representa el radio, es decir, la distancia al origen. Debe ser entonces un
o
a
n mero positivo. Elangulo una vez m s se mide desde el eje x en sentido antihorario, es un n mero
u
a
u
entre 0 y 2. Por ultimo, el angulo se mide desde el eje z en forma vertical, pero basta tomar un
numero entre 0 y para recorrer todo el espacio, ya que los angulos mayores se alcanzan tomando
entre y 2.
z
T r
x
Se observa que a r sen representa la distancia de x y 0 al origen, mientras que r cos es la
altura o coordenada z del punto.
198
DT
cos sen
sen sen
cos
JT
La diferencial de T es la matriz
det T
sen
r2 cos2 sen r2 sen2
r sen
JT
r2 sen
vol BR
1
2 R3
3
r2 sendrdd
send
0
2 3
R cos
0
3
z
0 R1 r R2 z
x2 y2 cuya densidad de carga
2 y2 z2 . La segunda ecuaes x y z
x 2 y 2 x
ci n es la de un cono, luego en el corte con el plano yz veo
remos la regi n anular encerrada por las rectas z y.
o
r sen
r2
Entonces, como r
QT
2
4
R2
R1
sen
,
r
3 4
3 4
4 3
R
3
R2
R1
sen 2
r sen drdd
r
sen2 d
1 2
2
R R 1
2 2
R2 R2
2
1
1
4 2
Ocurre aqu un fen meno curioso. Observemos que la densidad de carga tiende a innito cuando
o
r 0. Sin embargo las esferas de radio peque o aportan poca carga total, con lo cual, haciendo
n
tender R1
199
0, se tiene
1
4 2
que nos dice que la carga total es nita a n en el caso de que la regi n toque el origen.
u
o
QT
R2
2
200
B IBLIOGRAFA
I
[1] G. Birkhoff, S. MacLane, Algebra Moderna. Ed. Vicens Vives, Barcelona, 1963.
[2] R. Courant, J. Fritz, Introducci n al c lculo y el an lisis matem tico. Vol. 1 y 2, Ed. Limusa-Wiley ,
o
a
a
a
M jico, 1998.
e
[3] S. Lang, Introducci n al algebra lineal. Ed. Addison-Wesley Iberoamericana, Argentina, 1990.
o
[4] J.E. Marsden, A.J. Tromba, C lculo vectorial. Ed. Addison-Wesley Iberoamericana, Argentina, 1991.
a
[5] R. J. Noriega, C lculo diferencial e integral. Ed. Docencia, Buenos Aires, 1987.
a
[6] J. Rey Pastor, P. Pi Calleja, C. Trejo, An lisis Matem tico. Vol. I. Ed. Kapelusz, 1973.
a
a
[7] J. Rey Pastor, P. Pi Calleja, C. Trejo, An lisis Matem tico. Vol. II. Ed. Kapelusz, 1973.
a
a
[8] M. Spivak, C lculo innitesimal. Ed. Revert , Barcelona, 1991.
a
e
[9] M. Spivak, C lculo en variedades. Ed. Revert , Barcelona, 1970.
a
e