Apunte Calculo en Varias Variables

UNIVERSIDAD DE CHILE
FACULTAD DE CIENCIAS F
ISICAS Y MATEMATICAS
DEPARTAMENTO DE INGENIER MATEMATICA

IA
CALCULO EN VARIAS VARIABLES

Apunte del curso MA2001
Segunda Edicin
o
MANUEL DEL PINO

Centro de Modelamiento Matemtico
a
Departamento de Ingenier Matemtica
a
a
delpino@dim.uchile.cl
Marzo de 2012
Se concede permiso para imprimir o almacenar una unica copia de
este documento. Salvo por las excepciones ms abajo se aladas, este

a
n
permiso no autoriza fotocopiar o reproducir copias para otro uso que
no sea el personal, o distribuir o dar acceso a copias electrnicas de
o
este documento sin permiso previo por escrito del Director del Departamento de Ingenier Matemtica (DIM) de la Facultad de Ciencias
a
a
F
sicas y Matemticas (FCFM) de la Universidad de Chile.
a
Las excepciones por el permiso por escrito del prrafo anterior son
a
(1): Las copias electrnicas disponibles bajo el domino uchile.cl, (2)Las
o
copias distribu
das por el cuerpo docente de la FCFM en el ejercicio de
las funciones que le son propias.
Cualquier reproduccin parcial de este documento, debe hacer reo
ferncia a su fuente de origen.
Este documento fue nanciado a travs de los recursos asignados
e
por el DIM para la realizacin de actividades docentes que le son proo
pias.
Esta versin fue revisada y corregida tanto por el profesor Juan

o
Peypouquet como el alumno memorista Andrs Z niga.
e u
Los cap
tulos 8 y 9 fueron adaptados del apunte Clculo Vectorial, Vaa
riable Compleja y Ecuaciones en Derivadas Parciales, Tercera Edicin
o
escrita por los profesore Felipe Alvarez, Juan Diego Dvila, Roberto
a
Cominetti y Hctor Ram C.
e
rez
La segunda versin de este apunte cuenta adems con una secc

o
a
on
de problemas propuestos al nal de cada cap
tulo, los cuales fueron
extra
dos de controles de los cursos de Clculo en Varias Variables y
a
Matemticas Aplicadas dictados en a os anteriores en la Facultad de
a
n
Ciencias F
sicas y Matemticas de la Universidad de Chile.
a

Indice general
Introduccin
o
Cap
tulo 1. Conceptos preliminares
1. RN como espacio vectorial normado
2. Sucesiones y convergencia
3. Interior, adherencia, conjuntos abiertos y cerrados
4. Subsucesiones y el Teorema de Bolzano-Weierstrass
5. Sucesiones de Cauchy y completitud
6. Problemas Cap
tulo 1
9
9
10
13
16
18
19
Cap
tulo 2. Funciones de varias variables: l
mites y continuidad
1. Introduccin a las funciones de varias variables
o
2. L
mites y continuidad
3. Algunas caracterizaciones de la continuidad
4. Operaciones con funciones continuas
5. Funciones Lipschitz
6. Mximo y m
a
nimo de una funcin continua
o
7. Problemas Cap
tulo 2
23
23
24
28
29
31
33
37
Cap
tulo 3. Diferenciabilidad de funciones de varias variables
1. Denicin de diferenciabilidad y derivada
o
2. Operaciones con funciones diferenciables
3. Derivadas direccionales, parciales y diferenciabilidad
4. Continuidad de derivadas parciales y diferenciabilidad
5. Gradiente de una funcin
o
6. Plano tangente
7. Teorema del Valor Medio
8. Regla de la cadena
9. Problemas Cap
tulo 3
41
42
46
48
53
56
57
59
60
66
Cap
tulo 4. Teoremas de la Funcin Inversa e Impl
o
cita
1. El Teorema del Punto Fijo de Banach
2. Los Teoremas de la Funcin Inversa e Impl
o
cita
3. Problemas Cap
tulo 4
71
71
75
84
Cap
tulo 5. Derivadas de orden superior
87

Indice general
1.
2.
3.
4.
Derivadas parciales sucesivas

Segundo orden: La matriz Hessiana
Aproximaciones de Taylor
Problemas Cap
tulo 5
87
90
91
96
Cap
tulo 6. Mximos y m
a
nimos de funciones diferenciables
1. Puntos cr
ticos de funciones diferenciables
2. Multiplicadores de Lagrange
3. Problemas Cap
tulo 6
99
99
107
112
Cap
tulo 7. Integracin de funciones de varias variables
o
1. Denicin de la integral y propiedades bsicas
o
a
2. Dnde integrar: Conjuntos Jordan-medibles
o
3. Clculo de integrales: El Teorema de Fubini
a
4. Clculo de integrales: El Teorema del Cambio de Variables
a
5. Problemas Cap
tulo 7
115
116
124
128
133
143
Cap
tulo 8. Coordenadas curvil
neas
1. Triedro de vectores y factores escalares
2. Coordenadas cil
ndricas
3. Coordenadas esfricas
e
4. Coordenadas toroidales
5. Gradiente en coordenadas ortogonales
6. Problemas Cap
tulo 8
147
147
148
149
151
152
155
Cap
tulo 9. La nocin de supercie
o
1. Vectores tangente y normal a una supercie
2. Area e integral de supercie

3. Problemas Cap
tulo 9
157
159
161
168
Introduccin
o
Consideramos en este curso funciones denidas sobre el espacio RN ,
el conjunto de las N-tuplas ordenadas de n meros reales,
u
x = (x1 , . . . , xN ) ,
xi R i = 1, . . . , N .
Equivalentemente, puede caracterizarse RN como el conjunto de las

funciones
x : {1, . . . , N} R , i xi .
Dotado de las operaciones bsicas de suma y producto por escalar,
a
(x1 , . . . xN ) + (y1, . . . , xN ) := (x1 + x1 , . . . , xN + xN ),
RN es un espacio vectorial. El curso de Algebra lineal fue destinado

fundamentalmente al estudio de funciones lineales f : RN Rm . Este
curso contin a este estudio, ahora para funciones no-necesariamente
u
lineales, en torno a los conceptos de continuidad y derivabilidad que
sern apropiadamente denidas. Como en el clculo de funciones de
a
a
N
una variable, las funciones diferenciables de R en Rm sern aquellas
a
que pueden aproximarse bien por funciones lineales-anes, localmente
en torno a cada punto del dominio.
El concepto de l
mite se generalizar a RN , lo que conllevar la
a
a
extensin de las nociones topolgicas bsicas ya conocidas en la recta
o
o
a
real, al espacio RN , especialmente aquella de continuidad de funciones
f : RN Rm . Con la ayuda del lgebra lineal, la nocin de diferenciaa
o
bilidad aparecer en modo natural.
a
El clculo integral tambin se extender a funciones de RN a Rm . En
a
e
a
interpretacin geomtrica, cuando N = 2, m = 1, se trata de obtener
o
e
una nocin apropiada de volumen bajo el grco de una funcin de dos
o
a
o
variables a valores reales.
La extensin de las nociones del clculo diferencial e integral a funo
a
ciones de ms de una variable, ser a veces directa, a veces merecedora
a
a
de un anlisis ms profundo que aqul llevado a cabo en una variable.
a
a
e
La buena comprensin de los conceptos del clculo en una variable es
o
a
condicin necesaria para entender aquellos en este curso, pero al mismo
o
7
INTRODUCCION
tiempo, la mayor generalidad permitir una comprensin ms profunda

a
o
a
de los conceptos bsicos.
a
El clculo en varias variables es fundamental en el desarrollo de
a
la f
sica y en la aplicacin de la matemtica al modelamiento de una
o
a
amplia diversidad de fenmenos en ingenier qu
o
a, mica, biolog ecoa,
nom y otras ciencias. No es el rol de este curso el anlisis de modelos
a
a
en los cuales el clculo se aplica, sino la profundizacin en los conceptos
a
o
matemticos inherentes al clculo, que son por s mismos delicados y
a
a
profundos, en parte por ello sus posibilidades virtualmente ilimitadas.
Cap
tulo 1
Conceptos preliminares
1.
RN como espacio vectorial normado
El propsito de esta seccin es la introduccin de algunos elementos

o
o
o
topolgicos bsicos asociados a la estructura de espacio normado con
o
a
la que naturalmente cuenta RN . El modo ms natural de medir la
a
distancia desde el origen a un punto x = (x1 , . . . , xN ) RN es mediante
la norma Euclideana de x, denida como
k
(1.1)
x =:
i=1
|xi |2
1
2
La norma Euclideana est vinculada al producto interno cannico de

a
o
N
vectores x, y R , dado por
N
xy =
xi yi .
i=1
En efecto, vemos que
x = xx .
Resumimos las propiedades principales de la norma Euclideana en
el siguiente resultado.
Proposicion 1.1. Para todo x, y RN y todo R se tiene la

validez de las siguientes propiedades.
1. x = || x .
2. x 0. Adems x = 0 si, y slo si, x = 0.
a
o
3. Desigualdad triangular: x + y x + y .
4. Desigualdad de Cauchy-Schwartz: |x y| x
y .
Demostracin. Las propiedades (1) y (2) son evidentes. Para vericar

o
(4), suponemos que x = 0, y = 0, pues de lo contrario no hay nada que
probar. Observemos que dado cualquier > 0,
N
1
2
1
2
N
1
=
i=1
(xi yi ) =
9
x2 + 2
i
i=1
xi yi +
i=1
2
yi ,
i=1
10
1. CONCEPTOS PRELIMINARES
de modo que
N
0 x
Escojamos =
obtenemos
+ 1 y
+2
xi yi .
i=1
> 0. Evaluando en la desigualdad anterior

N
02 x y +2
xi yi .
i=1
Reemplazando x por x obtenemos tambin que

e
N
02 x y 2
xi yi .
i=1
Concluimos que
N
i=1
xi yi x
y por ende la validez de (4). Veriquemos ahora la desigualdad triangular (3). Tenemos, gracias a la denicin de la norma y la desigualdad
o
(4), que
x+y
= x
+ 2x y + y
+2 x y + y
= ( x + y )2
y por lo tanto
x+y x + y .
Naturalmente asociada a la norma Euclideana, la distancia entre
dos puntos x, y RN se dene entonces como
1
2
(1.2)
d(x, y) =: x y =
2.
i=1
|xi yi |2
Sucesiones y convergencia
Asociada a la nocin de distancia (1.2) est la de l

o
a
mite. Introducimos, para comenzar, el concepto de l
mite de una sucesin en RN .
o
Una sucesin en RN es una funcin x : N RN , n xn . Anotamos
o
o
usualmente
x = (xn )nN
o simplemente
(xn : n N) .
2. SUCESIONES Y CONVERGENCIA
11
Por ejemplo,
xn =
1 2 n
, nN,
,n ,e
n
yn = (sin n, cos n), n N ,
representan, respectivamente, sucesiones en R3 y R2 .

Sean (xn , n N) una sucesin en RN y x un punto en RN . Decimos
o
que xn converge a x si
l
m xn x = 0 ,
esto es, si la sucesin de numeros reales dada por la distancia de xn a

o
x, tiende a 0. Escribimos en tal caso,
l xn = x o tambin
m
e
xn x cuando n .
Observemos que, escribiendo la denicin del l

o
mite de la sucesin real
o
xn x a cero, obtenemos que xn x si, y slo si,
o
(2.3)
( > 0 ) ( n0 N ) ( n n0 ) :
xn x < ,
que corresponde a la denicin de convergencia en R con la norma

o
Euclideana reemplazando al valor absoluto.
Un criterio prctico para la convergencia de sucesiones es el siguiena
te:
Proposicion 2.1. Sean (xn : n N) una sucesin en RN y x un

o
N
punto en R . Escribamos
xn = (xn1 , . . . , xnN ) ,
x = (x1 , . . . , xN ) .
Entonces, las siguientes armaciones son equivalentes:

(a) xn x cuando n .
(b) Para todo i = 1, . . . , N se tiene que xni xi cuando n .
En otras palabras, la convergencia de una sucesin en RN es equio
valente a la convergencia de todas sus coordenadas.
Demostracin. Demostremos que (a) = (b). Supongamos que
o
xn x cuando n . Consideremos i {1, . . . , N} y observemos
que
N
0 |xni xi |
k=1
|xnk x|2 0.
12
Por el Teorema del Sandwich, se sigue entonces que |xni xi | 0

cuando n +, lo cual equivale a
(2.4)
l xni = xi .
m
Probemos ahora que (b) = (a). Supongamos ahora la validez de (b),

esto es que (2.4) se cumple para todo i. Entonces |xni xi | 0 cuando
n +, y por ende |xni xi |2 0. Se sigue que N |xni xi |2 0
i=1
y por lo tanto
N
xn x =
i=1
|xni xi |2 0,
esto es, xn x y (a) por ende se cumple. La demostracin ha sido

o
concluida.
A partir de la caracterizacin anterior puede fcilmente calcularse
o
a
N
el l
mite de sucesiones concretas en R .
Ejemplo 2.1. Consideremos la sucesin en R3
o
1
1
xn = (xn1 , xn2 , xn3 ) = ( n , 2e n2 , cos en ).
Sabemos, a partir de lo conocido para sucesiones reales que:

1
1
1
l
m = 0, l
m
= 0, l
m
= 0.
n n
n n2
n en
Como tambin sabemos, las funciones t 2et y t cos t son continuas
e
en t = 0. Por lo tanto, tenemos que
1
l 2e n2 = 2e0 = 2 ,
m
l cos en = cos 0 = 1.
m
As
,
l x1n = 0,
m
l x2n = 2,
m
l x3n = 1,
m
y por lo tanto,
l xn = (0, 2, 1) .
m
A partir de la caracterizacin de la convergencia en la Proposicin

o
o
N
2.1, varias propiedades de la convergencia de sucesiones en R se deducen en modo relativamente simple a partir de las correspondientes
propiedades de sucesiones en R. Por ejemplo, tenemos la validez del
hecho siguiente.
Proposicion 2.2. Sean xn , yn sucesiones en RN . Supongamos que

se tiene xn x, yn y. Entonces, si , R, la sucesin xn + yn
o
es convergente y su l
mite es igual a x + y.
3. INTERIOR, ADHERENCIA, CONJUNTOS ABIERTOS Y CERRADOS
13
Demostracin. Supongamos que

o
xn = (xn1 , . . . , xnN ) ,
x = (x1 , . . . , xN ) ,
yn = (yn1 , . . . , ynN ) , y = (y1 , . . . , yN ) .

Sea zn = xn + yn . Por denicin de las operaciones de suma y pono
deracin por escalar, se tiene que
o
zn = (xn1 + yn1, . . . , xnN + ynN ).
Por la proposicin anterior, se tiene que
o
xni xi , yni yi
para todo i = 1, . . . , N.
Por la propiedad conocida para convergencia de sucesiones reales se

tiene que
xni + yni xi + yi ,
Esto es, cada coordenada de la sucesin zn converge a la correspono
diente coordenada del punto x + y. Nuevamente en virtud de la
Proposicin 2.1, se sigue que zn x + y, y hemos completado la
o
demostracin.
o
3.
Interior, adherencia, conjuntos abiertos y cerrados
Introduciremos a continuacin ciertas nociones bsicas asociadas a

o
a
la estructura de espacio vectorial normado de RN .
Consideremos un n mero R > 0 y un punto x0 RN . La bola
u
abierta de centro x0 y radio R > 0 es el conjunto
B(x0 , R) = {x RN / x x0 < R}.
Por ejemplo en R3 se tiene que
B( (0, 1, 1) , 2 ) = { (x, y, z) / x2 + (x 1)2 + (x + 1)2 < 4 }
que representa una esfera slida centrada en el punto (0, 1, 1) de radio

o
2, que no incluye su periferia.
Sea A RN . Denimos el interior de A como el conjunto Int (A)
dado por
Int (A) = {x RN / > 0 : B(x, ) A } .
x Int (A) se denomina punto interior de A. Denimos paralelamente

la nocin de adherencia de A, Adh (A) como
o
Adh (A) = {x RN / xn x : xn A n N} .
Similarmente, x Adh (A) se denomina punto de adherencia de A. As

,
en palabras, Int(A) es el conjunto de aquellos puntos para los cuales
14
existe alguna bola centrada en el punto completamente contenida en

A.
Por otra parte Adh (A) es el conjunto de todos aquellos puntos del
espacio que pueden aproximarse por una sucesin de puntos en A. Obo
servemos que siempre se tiene la cadena de inclusiones
Int (A) A Adh (A) .
Para la primera inclusin, observemos que si x Int (A), entonces para
o
alg n > 0, x B(x, ) A, por ende x A.
u
Intutivamente, Int (A) es A sin el borde de A mientras que Adh (A)
est constituido por A unido con estos puntos de borde.
a
Para la segunda inclusin, basta observar que si x A entonces la
o
sucesin constante xn = x, n N, est contenida en A y converge a x.
o
a
Por lo tanto, x Adh (A).
Los operadores interior y adherencia de subconjuntos de RN estn

a
relacionados del modo siguiente:
(3.5)
Adh (A) = RN \ Int (RN \ A) .
En efecto, x RN \ Int (RN \ A) si, y slo si, x Int (RN \ A) , esto es,
o
> 0 : B(x, ) RN \ A,
o sea
(3.6)
> 0 : B(x, ) A = .
Armamos que la relacin (3.6) es equivalente a x Adh (A). En efecto,

o
si x satisface la relacin (3.6), se sigue que para todo n N la bola
o
1
1
u
B(x, n ) contiene alg n punto que xn A con xn x < n . Por lo tanto
existe una sucesin de puntos de A que converge a x. Rec
o
procamente,
si x Adh (A) entonces existe xn A con xn x 0. Por denicin
o
de l
mite, dado cualquier > 0, se tiene que existe n0 tal que para todo
n n0 , xn x < . Por lo tanto para todo n sucientemente grande,
xn B(x, ) y entonces B(x, ) A = . Por lo tanto la relacin (3.6)
o
se satisface. Esto demuestra la armacin (3.5).
o
Notemos tambin que, cambiando A por RN \A en (3.5), obtenemos
e
la relacin dual,
o
(3.7)
Int (A) = RN \ Adh (RN \ A) .
Un conjunto A en RN es abierto si Int (A) = A y cerrado si

Adh (A) = A. Las relaciones (3.5) y (3.7) implican entonces que A
3. INTERIOR, ADHERENCIA, CONJUNTOS ABIERTOS Y CERRADOS
15
es abierto si, y slo si, su complemento RN \ A es cerrado. Se dene

o
tambin la frontera de A, Fr (A), como el conjunto
e
Fr (A) = Adh (A) \ Int (A) .
As un conjunto es cerrado si y slo si contiene a su frontera, y es
o
abierto si y slo si no intersecta a su frontera.
o
Por otra parte, notemos que de la denicin de adherencia se sigue
o
que un conjunto A es cerrado si, y slo si, contiene a los l
o
mites de sucesiones convergentes de elementos de A. De la Proposicin 2.1 se sigue
o
inmediatamente que el producto cartesiano de cerrados es cerrado.
Ejemplo 3.1. Consideremos el conjunto
Se tiene que
A = {(x, y) R2 / x, y > 0,
y ex } .
Int (A) = {(x, y) R2 / x, y > 0,
Adh (A) = {(x, y) R2 / x, y 0,

Este conjunto no es abierto ni cerrado.
y < ex } ,
y ex }.
Ejemplo 3.2. Se tiene que
Adh (B(x0 , R)) = {x RN / x x0 R} := B(x0 , R) .
En efecto, si x Adh (B(x0 , R)), existe una sucesin xn con xn x0 <

o
R y xn x 0. Entonces
k
i=1
|xni x0i |2 < R2
y xni xi para todo i, de donde |xni x0i | |xi x0i |, y por lo tanto
N
x x0
= l
m
i=1
|xni x0i |2 R2 .
Rec
procamente, si x x0 R consideremos la sucesin
o
1
xn = x (x x0 ) .
n
Entonces,
1
xn x =
x x0 0
n
y adems
a
1
xn x0 = (1 n ) x x0 < R
para todo n N. Por lo tanto, xn B(x0 , R) y xn x0 , esto es,
x Adh ( B(x0 , R) ). Esto concluye la demostracin.
o
16
Se propone como ejercicio demostrar que la bola abierta B(x0 , R)

es en efecto un conjunto abierto.
Un subconjunto de la adherencia de un conjunto A importante para
nuestros propsitos posteriores es aqul de sus puntos de acumulacin;
o
e
o
los puntos x de Adh (A) que no estn aislados del conjunto A \ {x}.
a
As decimos que x es un punto de acumulacin de A si existe una
,
o
sucesin xn x con xn A y xn = x para todo n N. El conjunto
o
de los puntos de acumulacin de A se denota com nmente Der (A) y
o
u
es llamado el derivado de A.
Ejemplo 3.3. Si
A = [0, 1[ {2} [3, 4[
entonces x = 2 no es punto de acumulacin de A pero s de adherencia.

o
Tenemos
Der (A) = [0, 1] [3, 4] ,
4.
Adh (A) = [0, 1] {2} [3, 4] .
Subsucesiones y el Teorema de Bolzano-Weierstrass
Una propiedad muy importante de la convergencia en RN es el Teorema de Bolzano-Weierstrass, que dice que toda sucesin acotada posee
o
una subsucesin convergente. Demostraremos este hecho, nuevamente
o
haciendo uso de la Proposicin 2.1 y suponiendo ya conocido este hecho
o
para sucesiones reales.
Recordemos que una subsucesin de una sucesin xn es una suceo
o
sin de la forma xk(n) donde k : N N es una funcin estrictamente
o
o
creciente.
1
Ejemplo 4.1. Si xn = (sin n , en ) entonces son subsucesiones de xn
las siguientes:
n
yn = (sin 2n , e2 ),
zn = (sin n2 , en ).
En efecto, yn = x2n , zn = xn2 , y las funciones k(n) = 2n , k(n) = n2 son

estrictamente crecientes.
Una propiedad inmediata es la siguiente: Si xn x, entonces para
toda subsucesin xk(n) de xn se tiene que
o
xk(n) x cuando n .
Una sucesin xn en RN es acotada si existe una constante M > 0
o
tal que
xn M .
4. SUBSUCESIONES Y EL TEOREMA DE BOLZANO-WEIERSTRASS
17
Esto quiere decir que todos los elementos de la sucesin estn conteo
a
nidos en una bola de radio sucientemente grande. En efecto, xn
B(0, M) para todo n N. Tenemos la validez del siguiente importante

resultado.
Teorema 4.1. (Bolzano-Weierstrass)
Sea xn una sucesin acotada en RN . Entonces existe una subsucesin
o
o
xk(n) , y un punto x RN tales que xk(n) x cuando n .
Demostracin. Supongamos que la sucesin
o
o
xn = (xn1 , . . . , xnN )
es acotada. Entonces existe M > 0 tal que para cada i = 1, . . . , N,
N
(4.8)
|xni |
k=1
|xnk |2 = xn M .
As la sucesin de n meros reales xn1 es acotada. Se sigue, por el Teo,

o
u
rema de Bolzano-Weierstrass para sucesiones reales, que esta sucesin
o
posee una subsucesin convergente, digamos xk1 (n)1 x1 R. En
o
modo similar se tiene, a partir de (4.8), que la sucesin xk1 (n)2 posee
o
una subsucesin convergente, digamos xk1 (k2 (n))2 x2 . Notemos que
o
la sucesin xk1 (k2 (n))1 es una subsucesin de xk1 (n)1 x1 y por lo tano
o
to xk1 (k2 (n))1 x1 . Del mismo modo, (si N 3), xk1 (k2 (n))3 es una
sucesin real acotada, gracias a (4.8), y se sigue que posee una subsuo
cesin convergente, digamos, xk1 (k2 (k3 (n)))3 x3 , y se tiene tambien que
o
xk1 (k2 (k3 (n)))l xl para l = 1, 2. Iterando este procedimiento N veces
construimos una subsucesin de xn de la forma xk1 (k2 ((kN (n))...) tal que
o
para ciertos n meros reales x1 , . . . , xN se tiene que
u
xk1 (k2 ((kN (n))...)l xl , cuando n ,
l = 1, . . . , N .
Gracias a la Proposicin 2.1 se sigue que

o
xk(n) x = (x1 , . . . , xN ) , cuando n ,
donde k(n) = k1 k2 kN (n), es una composicin sucesiva de funo
ciones estrictamente crecientes N N, siendo por tanto k(n) tambin
e
estrictamente creciente, constituyendo entonces xk(n) una subsucesin
o
de la sucesin original xn . Esto concluye la demostracin.
o
o
18
5.
Sucesiones de Cauchy y completitud
Una sucesin (xn )nN en RN es de Cauchy si para cada > 0 existe

o
n0 N tal que xn xm < si n, m n0 .
Intuitivamente, una sucesin de Cauchy es una sucesin cuyos eleo
o
mentos tienden a acumularse en una regin cuyo tama o puede tomarse
o
n
tan peque o como se quiera. Como este es el caso de una sucesin conn
o
vergente, no es sorprendente la validez de la siguiente propiedad:
Toda sucesin convergente es de Cauchy. Para ver esto, supongamos
o
que xn x cuando n . Sabemos entonces que dado > 0 puede
encontrarse un
ndice n0 () tal que si n, m n0 entonces
xn x <
,
xm x <
.
2
2
Por otra parte, por la desigualdad triangular, tenemos tambin que
e

xn xm xn x + xm x < +
2 2
Por lo tanto, se tiene que dado cualquier > 0, existe un
ndice n0 ()
tal que para todo n, m n0 (), xn xm < , esto es, xn es de
Cauchy.
Una importante y profunda propiedad de RN es el hecho, mucho
menos obvio, de que toda sucesin de Cauchy es convergentes. Eso
ta propiedad se denomina completitud. Suponiendo la validez de esta
propiedad en R, discutida en el clculo de una variable, probaremos
a
entonces el siguiente resultado.
Teorema 5.1. (Completitud de RN )
Si xn es una sucesin de Cauchy en RN , entonces existe x RN con
o
xn x.
Demostracin. Supongamos xn = (xn1 , . . . , xnN ). Sabemos que dado
o
> 0, existe n0 tal que si n, m n0 entonces xn xm < . Por otra
parte, para tales
ndices n, m y cada componente l = 1, . . . , N se tiene
que
N
|xnl xml |
i=1
|xni xmi |2
1
2
= xn xm < .
Por lo tanto, para todo l = 1, . . . , N, la sucesin en R (xnl , n N)

o
es de Cauchy. En consecuencia xnl es convergente, esto es, existe un
n mero xl R tal que xnl xl . En virtud de la Proposicin 2.1, se
u
o
N
sigue entonces que la sucesin xn es convergente en R y
o
l xn = x := (x1 , x2 , . . . , xN ) .
m
Esto concluye la demostracin.

o
6. PROBLEMAS CAP
ITULO 1
6.
19
Problemas Cap
tulo 1
P1.- Sea {(xn , yn )}nN una sucesin en R2 tal que l xn = 0. Se le

o
m
n
pide decidir la veracidad de las siguientes armaciones, demostrando porqu es(son) verdaderas o exhibiendo un contraejeme
plo.
i) {(xn , yn )}n es convergente si, y slo si, l yn = 0.
o
m
n
ii) {(xn , yn )} es convergente si, y slo si, {yn }n es convergente.

o
iii) Si {yn }n est acotada, entonces {(xn , yn )}n es convergente.

a
iv) {(xn , yn )}n posee un punto de acumulacin.
o
P2.- Sea {xk }kN una sucesin en RN y x0 RN tales que xk = x0

o
para todo k N. Suponiendo que r > 0, kr N tal que
xkr B(x0 , r), se le pide decidir la veracidad de las siguientes
armaciones, demostrando porqu es(son) verdaderas o exhie
biendo un contraejemplo.
i) Si {xk }k es convergente, entonces converge a x0 .
ii) {xk }k es convergente y l xk = x0 .
m
k
iii) El conjunto {xk : k N} {x0 } es compacto en RN .
iv) r > 0, N N tal que si k N, entonces xk B(x0 , r).
P3.-
i) Encuentre (sin demostrar) la adherencia, interior, frontera

y puntos de acumulacin en R2 de los siguientes conjuntos:
o
a) A = {(x, y) R2 : |y| < |x|, x2 + y 2 5}
b) B =
c) R :
1 1
,
m n
Q2 : m, n N \ {0}
C = {(x, y) R2 / y = x}
d) D = {(x, y) R2 / x Q, y > x2 }
e) E = {(x, y) R2 / 0 < x < 1, y = sin(1/x)}
ii) Demuestre que el conjunto S N 1 = {y RN : y = 1} es
cerrado en RN .
20
P4.- Pruebe las siguientes propiedades sobre la unin e interseccin

o
o
entre abiertos y cerrados (respect.) de RN .
(a) Si {Ak }kN P(RN ) es una familia de abiertos, entonces
Ak es abierto en RN .
kN
b) Si {Bk }kN P(RN ) es una familia de cerrados , entonces

Bk es cerrado en RN .
kN
P5.- Sean A, B dos subconjuntos de RN . Pruebe que

1) Si A B entonces Int (A) Int (B) y que
Si A B entonces Adh (A) Adh (B)
2) Int (A B) = Int (A) Int (B) y que
Adh (A B) Adh (A) Adh (B)
3) Si A es abierto y A Adh (B) = entonces A B = .
P6.- Sea A un abierto de RN . Pruebe que Int (Fr (A) ) = .
P7.- Considere una familia de conjuntos de RN : A1 , A2 , . . . , Ak los
cuales son todos cerrados y acotados. Pruebe que
A = A1 A2 . . . Ak
es un conjunto cerrado y acotado de RN .
P8.- Dados A, B RN . Se dene el conjunto suma de A con B
como A + B = {x RN x = a + b con a A, b B}
Pruebe que:
1) Si A es abierto, entonces A + B es abierto en RN .
2) Si A es cerrado y adems B es cerrado y acotado, entonces
a
A + B es cerrado.
P9.- Sea

, y > tan(x)
A = (x, y) x ,
2 2
Encuentre, sin efecutar una demostracin, los conjuntos Int (A) , Adh (A)
o
, Der (A) , Fr (A) y exprese estos conjuntos anal
ticamente.
A es acotado? , A es abierto, cerrado?
6. PROBLEMAS CAP
ITULO 1
21
P10.- Denimos los siguientes subconjuntos de R2 :

A1 =
nN
B (n2 , 0), n , A2 = {(x, y) R2 : x2 +y 2 < 4, x+y = 1}
i) Determine si los conjuntos A1 , A2 son cerrados o abiertos

en R2 .
ii) Indique cules son los puntos de acumulacin de A1 y A2 .
a
o
Cap
tulo 2
Funciones de varias variables: l

mites y continuidad
1.
Introduccin a las funciones de varias variables

o
A lo largo de este curso trabajaremos con funciones de varias variables; es decir, que a un punto x en un subconjunto RN le asocian
un punto f (x) Rm . En primer lugar, notemos que el grafo de una
funcin f : RN Rm es un conjunto en RN Rm y se dene
o
como
Gr(f ) = { (x, y) RN Rm | x y f (x) = y }.
Si N = m = 1 esta es la denicin que conocemos para funciones de
o
una variable.
Ejemplo 1.1. Dado el conjunto = { (x, y) | x2 + y 2 1 }
denimos f : R mediante f (x, y) = x2 + y 2. Su grafo es la porcin
o
del paraboloide { (x, y, z) | z = x2 + y 2 } encerrada dentro del cilindro
{ (x, y, z) | x2 + y 2 = 1 }.
Grafo de f (x, y) = x2 + y 2 en .
Por diversas razones, que veremos ms adelante, nos interesarn

a
a
especialmente las funciones a valores reales; es decir, el caso m = 1.
Dados f : RN R y R, denimos el conjunto de nivel de
f como la preimagen de por f . Ms precisamente, es el conjunto de
a
los puntos de donde f toma el valor :
C (f ) = f 1 () = { x | f (x) = }.
23
24
2. FUNCIONES DE VARIAS VARIABLES: L

IMITES Y CONTINUIDAD
Claramente este conjunto es vac si no pertenece al recorrido de f .

o
En el caso N = 2, y si f es sucientemente regular, los conjuntos de
nivel sern curvas en el plano, llamadas curvas de nivel.
a
Ejemplo 1.2. En el contexto del ejemplo anterior, el recorrido de
f es el intervalo [0, 1]. Por lo tanto C (f ) = si [0, 1]. Si [0, 1]
/
entonces
C (f ) = { (x, y) | f (x, y) = x2 + y 2 = }.
En palabras, C (f ) es la circunferencia centrada en el origen y con
radio .
1
4
Curvas de nivel para = 0, =
2.
1
4
y = 1.
L
mites y continuidad
Sea un subconjunto de RN . Queremos denir la nocin de contio

nuidad de una funcin
o
f : RN Rm
en un punto x0 . Para funciones de una variable denidas en un
intervalo I = [a, b], esta denicin se escrib para un punto interior de
o
a
I, x0 ]a, b[, diciendo que para todo x cercano a x0 , el valor de f (x)
est cercano a f (x0 ). Similarmente, se denieron continuidad por la
a
izquierda en b y continuidad por la derecha en a, como f (x) est cercano
a
a f (b) si x lo est de b, con x < b, similarmente en para a. Los trminos
a
e
izquierda y derecha en el espacio RN carecen en principio de un sentido
claro, pero puede verse que una denicin de continuidad en general de
o
f en x0 [a, b] relativa a [a, b] podr haberse enunciado como f (x)
a
est cercano a f (x0 ) si x est cercano a x0 con x [a, b]. Esta es la
a
a
nocin general que utilizaremos, f : RN Rm como continuidad
o
relativa a .
2. L
25
Denicin. Consideremos RN , una funcin f : Rm y un

o
o
punto x0 . Decimos que f es continua en x0 , relativamente a si
para toda sucesin xn x0 con xn , n N se tiene que
o
l f (xn ) = f (x0 ) .
m
Cuando f est denida a partir de una frmula cuyo dominio mae

o
ximal de denicin es una regin , diremos simplemente que f es
o
o
continua en x0 , omitiendo la part
cula relativamente a .
Si f es continua en todo x0 diremos simplemente que f es
continua en .
Ejemplo 2.1. Consideremos f : R2 R2 dada por
f (x, y) = (x2 + 2exy , 5 cos(xy 2 )).
Armamos que esta funcin es continua en (1, 0). En efecto, consideo

remos una sucesin cualquiera (xn , yn ) (1, 0). Debemos probar que
o
f (xn , yn ) f (1, 0) = (3, 5). Como xn 1, yn 0, se sigue, por las
propiedades de sucesiones en R, que
x2 1,
n
xn yn 0,
2
xn yn 0 .
Como las funciones t et y t cos t son continuas en R se sigue que

exn yn e0 = 1,
2
cos(xn yn ) cos 0 = 1 .
Nuevamente por el lgebra de l

a
mites de sucesiones se sigue que
x2 + 2exn yn 1 + 2 1 = 3,
n
2
5 cos(xn yn ) 5 cos 0 = 5 ,
y entonces de acuerdo a la Proposicin 2.1,

o
2
f (xn , yn ) = ( x2 + 2exn yn , 5 cos(xn yn ) ) (3, 5) = f (1, 0) ,
n
y como la sucesin (xn , yn ) (1, 0) es arbitraria, la continuidad de f

o
en (1, 0) ha sido demostrada.
Ejemplo 2.2. Consideremos la funcin f : R2 R denida por
o
xy
f (x, y) =
, si (x, y) = (0, 0), y f (0, 0) = 0 .
x2 + y 2
Armamos que f es continua en (0, 0). En efecto, consideremos una
sucesin (xn , yn ) (0, 0) cualquiera. Tenemos que,
o
|f (xn , yn )| =
|xn yn |
, si (xn , yn ) = (0, 0) .
2
x2 + yn
n
26

Por otra parte, tenemos la validez de la desigualdad

2|a| |b| (|a| + |b| )2 ,
para cualquier par de n meros a, b R. Entonces,
u
|xn yn |
1
(|xn | + |yn | )2 ,
2
por ende,
1
2
x2 + yn ,
n
2
desigualdad, que es obviamente tambin vlida si (xn , yn ) = (0, 0).
e
a
Deducimos entonces que
|f (xn , yn )|
f (xn , yn ) 0 = f (0, 0) .
Como la sucesin (xn , yn ) (0, 0) es arbitraria, concluimos que f es
o
continua en (0,0).
Ejemplo 2.3. Consideremos la funcin f : R2 R denida por

o
xy
f (x, y) = 2
, si (x, y) = (0, 0), f (0, 0) = 0 .
x + y2
Armamos que f no es continua en (0, 0). En efecto, consideremos la
1 1
sucesin (xn , yn ) = ( n , n ). Entonces, n N,
o
1
f (xn , yn ) = ,
2
Por ende f (xn , yn ) f (0, 0) = 0, y ya existiendo una sola sucesin
o
con esta propiedad, se tiene que f no es continua en (0, 0).
Observemos que para cualquier valor L R que demos a f en (0, 0),

la funcin resultante,
o
xy
f (x, y) = 2
, si (x, y) = (0, 0), f (0, 0) = L ,
x + y2
resulta ser discontinua en (0, 0). En efecto, por ejemplo para la sucesin
o
1
(xn , yn ) = ( n , 0) resulta que n N,
f (xn , yn ) = 0,
1 1
1
por ende para dos sucesiones tendiendo a (0, 0), ( n , n ) y ( n , 0), tenemos
que f a lo largo de stas aproxima a dos l
e
mites distintos. Uno de los
l
mites por cierto ser distinto de L, y por ende la funcin no es continua
a
o
en (0, 0).
2. L
27
Ejemplos como los dos anteriores motivan a denir el l

mite de una
funcin. Sea RN , f : Rm , x0 RN un punto de acumulacin
o
o
de . Decimos que L Rm es el l
mite de f (x) cuando x tiende a
x0 relativamente a , si la siguiente propiedad se cumple: para toda
sucesin xn x0 con xn se tiene que
o
l f (xn ) = L .
m
Escribimos en tal caso

l
m
xx0 , x
f (x) = L ,
o, t
picamente, si el dominio de f (x) est sobreentendido,
a
l f (x) = L .
m
xx0
De este modo, para la funcin f (x, y) del Ejemplo 2.2, se tiene que
o
l
m
(x,y)(0,0)
f (x, y) = 0 ,
mientras que para la funcin f (x, y) del Ejemplo 2.3 el l

o
mite
l
m
(x,y)(0,0)
f (x, y)
no existe.
Proposicion 2.1. Sea RN , f : Rm , x0 un punto de

acumulacin de . Las siguientes armaciones son equivalentes:
o
(a) f es continua en x0 relativamente a .
(b) l f (x) = f (x0 ).
m
xx0
La demostracin de este resultado la proponemos como un ejercicio.

o
Tambin dejamos al lector la demostracin del siguiente resultado.
e
o
Proposicion 2.2. (Algebra de l

mites)
N
m
Sean R , f, g : R , x0 RN un punto de acumulacin de
o
, , R. Supongamos que f y g son tales que los l
mites
l f (x),
m
xx0
l g(x)
m
xx0
existen. Entonces, los siguientes l

mites existen y pueden calcularse como se expresa:
(a)
l (f + g)(x) = l f (x) + l g(x).
m
m
m
xx0
xx0
xx0
28

(b) Si m = 1,
l f (x) g(x) =
m
xx0
l f (x)
m
xx0
l g(x)
m
xx0
Ejemplo 2.4. La funcin

o
x
x + sin y 2 si (x, y) = (0, 0)
x2 +y
f (x, y) =
0
si (x, y) = (0, 0)
es continua en virtud del Ejemplo 2.2 y las Proposiciones 2.1 y 2.2.
3.
Algunas caracterizaciones de la continuidad
Una propiedad util para el anlisis de continuidad de una funcin a
a
o
m
valores en R , es que su continuidad equivale a la de sus m funciones
coordenadas.
Proposicion 3.1. Sean RN , f : Rm , x0 ,

f (x) = (f1 (x), f2 (x), . . . , fm (x)).
Entonces las siguientes armaciones son equivalentes.

(a) f es continua en x0 relativamente a .
(b) Para todo i = 1, . . . , m, las funciones fi : R son continuas
en x0 relativamente a .
Demostracin. (a) = (b). Sea xn x0 con xn . Entonces
o
f (xn ) f (x0 ). Gracias a la Proposicin 2.1 se sigue que fi (xn )
o
fi (x0 ) para todo i = 1, . . . , N. Como la sucesin xn es arbitraria, se
o
sigue que fi es continua en x0 relativamente a , esto es, (b) se cumple.
(b) = (a). Sea xn x0 con xn . Entonces fi (xn ) fi (x0 ).
para todo i = 1, . . . , N. Nuevamente, por la Proposicin 2.1 tenemos
o
que f (xn ) f (x0 ). Como la sucesin xn es arbitraria, se sigue que f es
o
continua en x0 relativamente a , y la demostracin queda concluida.
o
Con frecuencia, la denicin de continuidad se realiza, de manera
o
equivalente, en el lenguaje -.
Proposicion 3.2. (Caracterizacin - de la continuidad)

o
Sean RN , f : Rm , x0 . Entonces f es continua en x0
relativamente a si, y slo si,
o
(3.9)
( > 0) ( > 0) (x ) : x x0 < = f (x) f (x0 ) <
4. OPERACIONES CON FUNCIONES CONTINUAS
29
Demostracin. Procedemos por contradiccin. Supongamos que f es

o
o
continua en x0 relativamente a y que (3.9) no se cumple. Entonces,
(3.10)
(0 > 0) ( > 0) (x ) : x x0 < y f (x ) f (x0 ) 0 .
1
Escojamos en (3.10) = n . Existe entonces xn := x 1 tal que
1
y f (n ) f (x0 ) 0 .
x
n
As la sucesin xn satisface que xn x0 pero f (n ) f (x0 )
,
o
x
0 , de modo que f (n ) f (x0 ). Por lo tanto f no es continua en
x
x0 relativamente a , una contradiccin que prueba entonces que la
o
condicin (3.9) se cumple.
o
xn x0 <
Supongamos ahora que (3.9) se cumple. Queremos probar que f es

continua en x0 relativamente a . Consideremos entonces una sucesin
o
xn con xn x0 . Debemos probar que f (xn ) f (x0 ). Sea > 0 y
escojamos = () de modo que
(3.11)
x y x x0 < () =
f (x) f (x0 ) < .
Como xn x0 , se tiene que, gracias a la caracterizacin de la convero

gencia (2.3), existe n0 tal que n n0 se tiene que xn x0 < ().
As en virtud de (3.11), se concluye que f (xn ) f (x0 ) < . Hemos
,
probado que
( > 0) (n0 N) (n n0 ) :
f (xn ) f (x0 ) < ,
lo que signica precisamente que f (xn ) f (x0 ), gracias a (2.3). Como

la sucesin xn escogida es arbitaria, tenemos entonces que f es continua
o
en x0 relativamente a . Esto concluye la demostracin.
o
4.
Operaciones con funciones continuas
Las propiedades habituales del lgebra de funciones continuas se

a
cumplen, en modo similar a funciones de una variable. Resumimos stas
e
en el siguiente resultado.
Proposicion 4.1. Sean RN , f, g : Rm , x0 , , R.

Supongamos que f y g son continuas en x0 relativamente a . Entonces
(a) La funcin f + g : Rm es continua en x0 relativamente
o
a .
(b) Si m = 1, la funcin f g : R es continua en x0 relativao
mente a .
30

Demostracin. Si xn x0 en RN , con xn para todo n N,

o
entonces, por hiptesis, se tiene que f (xn ) f (x0 ) y g(xn ) g(x0 ).
o
As en virtud de la Proposicin 2.2 se sigue que
,
o
f (xn ) + g(xn ) f (x0 ) + g(x0) .
Como la sucesin xn x0 es arbitraria, esto nos dice que f + g es

o
continua en x0 relativamente a . La demostracin de (b) la proponeo
mos como ejercicio.
Ejemplo 4.1. Las funciones
i : RN R ,
i (x1 , . . . , xN ) = xi
denominadas proyecciones, son continuas sobre todo RN , pues si xn

x0 en RN , se sigue de la Proposicin 2.1 que i (xn ) i (x0 ). Un
o
polinomio en RN es una funcin que puede expresarse en la forma
o
N
P (x) =
i1 =1 i2 =1
ai1 ,
is =1
i2 ,...,is
xi1 i1 xi2 i2 xis is .
Deducimos entonces de la proposicin anterior que los polinomios son

o
funciones continuas en RN pues pueden ser escritos como productos
sucesivos y combinaciones lineales de las proyecciones i , i = 1, . . . , N,
las cuales ya sabemos que son funciones continuas.
Tal como en funciones de una variable, se tiene que la composicin
o
de funciones continuas es continua, como enuncia el siguiente resultado.
Proposicion 4.2. (Regla de la composicin)

o
N
m
m
Sean R , R , f : R , g : Rk . Supongamos que f
es continua en x0 relativamente a , que f (x) x , y que g es
continua en f (x0 ) relativamente a . Entonces la composicin
o
g f : RN Rk
es continua en x0 relativamente a .
Demostracin. Supongamos que xn x0 , con xn n N. La

o
continuidad de f en x0 implica entonces que
yn := f (xn ) y0 = f (x0 ).
Pero yn n N, por ende la continuidad de g en y0 relativa a

implica que g(yn) g(y0). En otras palabras, hemos demostrado que
para una sucesin xn arbitraria en con xn x0 , se tiene que
o
(g f )(xn ) = g( f (xn ) ) g( f (x0 ) ) = (g f )(x0 ),
5. FUNCIONES LIPSCHITZ
31
esto es, que g f es continua en x0 relativamente a .

Ejemplo 4.2. Las reglas operacionales de la continuidad ya establecidas, nos permiten vericar que las funciones construidas a travs de
e
frmulas algebricas basadas en las funciones habituales del clculo: poo
a
a
linomios, funciones trigonomtricas, exponencial, etc., son t
e
picamente
continuas relativamente a sus dominios de denicin. Consideremos por
o
ejemplo la funcin f : R2 R3 dada por
o
f (x, y) = (x2 cos y, 2yexy + xy 2 exy , 2xy) .
Armamos que esta funcin es continua en todo punto (x, y) R2 . En

o
efecto, sabemos que la funcin (x, y) y es continua, y que t cos t
o
tambin lo es, por ende la composicin (x, y) cos y tambin lo es.
e
o
e
Como tambin (x, y) x2 y lo es, al ser un polinomio, deducimos que
e
la funcin (x, y) x2 y cos y es continua, por ser producto de funcioo
nes continuas. Las otras dos funciones coordenadas de f son tambin
e
continuas por argumentos similares. Concluimos de la Proposicin 3.1
o
que f es continua en R2 .
5.
Funciones Lipschitz
Un tipo particular de funciones continuas son las llamadas funciones

Lipschitz. Decimos que una funcin f : RN Rm es Lipschitz en
o
de constante K > 0, si
(5.12)
( x1 , x2 ) :
f (x1 ) f (x2 ) K x1 x2 .
Tal funcin es automticamente continua relativamente a . En efecto,

o
a
Si xn x0 con xn n, entonces se tiene que xn x0 0.
Se sigue que
0 f (xn ) f (x0 ) K xn x0 0,
de modo que f (xn ) f (x0 ) 0, lo que signica f (xn ) f (x0 ).

Como la sucesin xn x0 escogida es arbitraria, concluimos que f es
o
continua en cada x0 .
Ejemplo 5.1. Consideremos la funcin f : R2 R2 dada por
o
x 1
1
2
f (x, y) = (1 + + sin y, 3 + ex ) .
2 2
2
2
Armamos que f es Lipschitz en R para cierto K > 0. En efecto,
f (x1 , y1 )f (x2 , y2)
1
1
2
2
= |(x1 x2 )+(sin y1 sin y2 )|2 + |ex1 ex2 |2 ,
4
4

32
Tenemos que |a + b|2 2(a2 + b2 ), por lo tanto
|(x1 x2 ) + (sin y1 sin y2 )|2 2|x1 x2 |2 + 2| sin y1 sin y2 |2 ,
de modo que
(5.13)
1
1
1
2
2
|x1 x2 |2 + | sin y1 sin y2 |2 + |ex1 ex2 |2 .
2
2
4
Ahora, por el Teorema del Valor Medio, tenemos que existe entre
y1 e y2 con
(sin y1 sin y2 ) = (cos ) (y1 y2 ) .
2
f (x1 , y1 )f (x2 , y2)
Entonces, como | cos | 1, se sigue que
| sin y1 sin y2 | |y1 y2 | .
(5.14)
Por otra parte, para cierto entre x1 y x2 tenemos

2
(ex1 ex2 ) = (2e ) (x1 x2 ) ,

y por lo tanto
2
|ex1 ex2 | 2|| e|| |x1 x2 | .

2
La funcion t 2tet se maximiza en [0, ) en t =

fcilmente. As
a
,
1
2
mx 2tet = 2e 2 ,
a
1
,
2
como se verica
t0
de lo cual obtenemos
(5.15)
|ex1 ex2 |
2e 2 |x1 x2 | .
Sustituyendo las desigualdades (5.14), (5.15) en (5.13), obtenemos

que
f (x1 , y1 ) f (x2 , y2 )
1
1
1
|x1 x2 |2 + |y1 y2 |2 + e1 |x1 x2 |2 ,
2
2
2
de donde
f (x1 , y1 ) f (x2 , y2 )
1
(1 + e1 ) |x1 x2 |2 + |y1 y2 |2 ,
2
y por lo tanto,
f (x1 , y1) f (x2 , y2) K (x1 , y1 ) (x2 , y2) ,
K=
1
(1 + e1 ) .
2
6. MAXIMO Y M
INIMO DE UNA FUNCION CONTINUA
6.
33
Mximo y m
a
nimo de una funcin continua
o
La continuidad de una funcin conlleva otras propiedades globales

o
de extraordinaria importancia, como lo es la existencia de mximos y
a
m
nimos en una regin cerrada y acotada.
o
Teorema 6.1. (Mximo y M
a
nimo de funciones continuas)
N
Sea K R un conjunto cerrado y acotado, y f : K R una funcin
o
continua en K. Existen entonces x , x K tales que
f (x ) f (x) f (x ) x K.
En otras palabras, f alcanza sus valores mximo y m

a
nimo en K:
f (x ) = mx f (x).
a
f (x ) = m f (x),
n
xK
xK
Demostracin. Demostraremos la existencia de un punto x donde

o
f alcanza su mximo en K. Recordemos que dado cualquier conjunto
a
A R, no-vac y acotado superiormente, existe el supremo de A,
o
sup A R, que es la menor de sus cotas superiores. Adems puede
a
encontrarse una sucesin an , con
o
an A n N
an sup A.
Si A no es acotado superiormente, existe una sucesin

o
an A n N
an +.
En este ultimo caso, escribimos, de todos modos, sup A = +.
Apliquemos esto al conjunto de n meros reales

u
A = { f (x) / x K } .
De acuerdo a lo anterior, existe una sucesin

o
an := f (xn ) A con f (xn ) sup A.
Luego, xn K n N. Notar que como K es cerrado y acotado, de

acuerdo al Teorema de Bolzano-Weierstrass, xn posee una subsucesin
o
convergente, con l
mite en K, digamos
xk(n) x K
cuando n .
Como f es continua en x relativamente a K, se sigue entonces que

f (xk(n) ) f (x ). Pero se tiene tambin que f (xn ) sup A. De este
e
modo, necesariamente sup A < + y f (x ) = sup A. Como sup A es
cota superior de A, se tiene entonces que
f (x) f (x ) x K ,
34

y por ende f se maximiza en x sobre K. La existencia de un punto de m

nimo x en K se prueba en modo similar, y proponemos la
demostracin como un ejercicio.
o
Ejemplo 6.1. Consideremos el elipsoide
E = {(x, y, z) |
x2
a2
y2
b2
z2
c2
1},
que es un conjunto cerrado y acotado. La funcin f : E R denida

o
2 + y 2 alcanza su mximo y su m
por f (x, y, z) = x
a
nimo pues es
continua. Observemos que f (x, y, z) representa la distancia del punto
(x, y, z) al eje OZ. Vemos entonces que el m
nimo de f es 0 y se alcanza
en todos los puntos del elipsoide que se encuentran en el eje OZ. Es
decir, en los puntos de la forma (0, 0, z), donde z 2 c2 . Por otra parte,
el mximo de f (x, y, z) es mx{|a|, |b|} y alcanza en los puntos:
a
a
(a, 0, 0), si |a| > |b|;
(0, b, 0), si |a| < |b|; y
(x, y, 0) con x2 + y 2 = a2 , si |a| = |b|.
Ms adelante veremos un mtodo prctico para determinar dnde se
a
e
a
o
encuentran el mximo y el m
a
nimo de funciones continuas en dominios
cerrados y acotados ms generales.
a
El Teorema 6.1 puede aplicarse para probar la existencia de mxia
mos o m
nimos de funciones continuas sobre conjuntos que no son necesariamente cerrados y acotados. Una funcin f : RN R es coerciva
o
si
l f (x) = +.
m
x
Es decir, si para cualquier sucesin xn RN con xn + se tiene

o
que f (xn ) +.
El siguiente resultado es una aplicacin clsica del Teorema 6.1.
o
a
Teorema 6.2. (M
nimo de funciones continuas coercivas)
Sea f : RN R una funcin continua en RN y coerciva. Entonces
o
N
existe un punto x R tal que
f (x ) f (x)
Esto es, f alcanza su m

nimo en RN .
x RN .
Demostracin. Consideremos el conjunto

o
K = {x RN / f (x) f (0)} .
Armamos que K es cerrado y acotado en RN .
6. MAXIMO Y M
INIMO DE UNA FUNCION CONTINUA
35
Probemos primero que K es acotado. Por contradiccin, si K no

o
fuese acotado, existir una sucesin xn K tal que xn +.
a
o
Debe tenerse entonces, por hiptesis, que f (xn ) +. Pero esto es
o
imposible, pues f (xn ) f (0) para todo n N. Por lo tanto, K es
acotado.
Para ver que K es cerrado, consideremos un punto cualquiera x0
Adh (K). Por denicin de adherencia, existe una sucesin xn K con
o
o
xn x0 . Como f es continua en x0 , tenemos entonces que f (xn )
f (x0 ). Pero como xn K se tiene que f (xn ) f (0) n N, y por lo
tanto tambin f (x0 ) f (0). Esto signica precisamente que x0 K.
e
Hemos probado que todo punto de Adh (K) est en realidad en K,
a
lo que quiere decir Adh (K) K. Como siempre se tiene la inclusin
o
opuesta, concluimos que Adh (K) = K, esto es que K es cerrado.
As K es cerrado y acotado, y por lo tanto, en virtud del Teorema6.1,

,
existe x K con
f (x ) f (x) x K .
En particular, f (x ) f (0). Como, por denicin de K, tenemos
o
f (0) < f (x) x RN \ K, se sigue que, tambin,
e
f (x ) f (x)
x RN \ K ,
y por ende f (x ) f (x) x RN . Esto concluye la demostracin.

o
Ejemplo 6.2. Es fcil ver que la funcin
a
o
f (x, y, z) = sinh2 (x) + cosh(y) + z 2
es continua y coerciva. Por lo tanto alcanza su m
nimo en R3 . Se deja
como ejercicio al lector que el m
nimo es 1 y se alcanza en el origen.
Ejemplo 6.3. Consideremos la funcin f : R2 R
o
x2
cos(xy).
2
Armamos que f alcanza su m
nimo en R2 . En efecto, observemos que
f (x, y) = x2 + y 2 log(1 + x2 + y 2) +
f (x, y)
log(1 + x2 + y 2 )
x2
= 1
+ 2
cos(xy).
x2 + y 2
x2 + y 2
x + y2
Por la regla de lHpital, tenemos que
o
log s
= 0,
l
m
s+ s
de modo que, en particular, existe R0 > 0 tal que
1
log(1 + x2 + y 2 )
<
2 + y2
x
4
si (x, y)
= x2 + y 2 > R0 .
36

Por otra parte,

1 x2
1
1 x2
cos(xy) 2

2 + y2
2
2x
2x +y
2
2
2
2
y entonces, si (x, y) = x + y > R0 , tenemos que
f (x, y)
1 1
1
1 = ,
2 + y2
x
4 2
4
de modo que, para todo punto (x, y) con (x, y) > R0 , tenemos
1
(x, y) 2 ,
f (x, y)
4
de lo que se deduce, en particular,
l
m
(x,y) +
f (x, y) = + .
Por ultimo, se puede probar fcilmente que f es continua. De modo
a
que usando el Teorema 6.2 se concluye que f alcanza su m
nimo en
R2 .
7. PROBLEMAS CAP
ITULO 2
7.
37
Problemas Cap
tulo 2
P1.- Estudie la existencia de los siguientes l

mites:
sin(2x) 2x + y
x2 y 2
i) l
m
ii) l
m 2xy 2
(x,y)(0,0)
(x,y)(0,0)
x3 + y
x + y2
iii)
xy 2
(x,y)(0,0) x2 + y 4
l
m
P2.- Considere la funcin f : R2 R dada por

o
f (x, y) =
x
+ y
x + y + xy
si x + y 0
si x + y > 0
Determine los puntos de R2 donde f es continua. Justique su

respuesta.
P3.- Considere el conjunto A R2 dado por
A = {(x, y) / x > 0 , 0 < y < x}
Determine para qu valores de R la funcin f : R2 R

e
o
denida por
(x y)y
si (x, y) A
x
f (x, y) =
0
si (x, y) A
/
es continua en R2 .
P4.- Sea la funcin f : R2 R denida por

o
x2 y 2
si (x, y) = (0, 0)
x2 y 2 + (x y)2
f (x, y) =
1
si (x, y) = (0, 0)
i) Estudie la continuidad de f en R2 .
ii) Pruebe que el conjunto de puntos del plano donde f es
continua, es un abierto.
iii) Pruebe que f alcanza un mximo sobre la circunferencia
a
x2 + y 2 = 1, y su valor es 1.
P5.- Sea : RN \ {0} R una funcin continua relativamente a su

o
dominio, y dena f : RN \ {0} R como
f (x) =
x
x
38

1) Demuestre que f alcanza sus valores mximo y m

a
nimo en
RN \ {0}.
Ind. Considere la parte P1.- ii), del Cap
tulo 1.(pg.19)
a
2) Demuestre que si f no es una funcin constante, entonces
o
el l
mite l f (x) no existe.
m
x0
3) Determine si los siguientes l

mites existen
x2 yz
(x,y,z)(0,0,0) x4 + y 2 x2 + z 4
l
m
x2 yz
l
m
(x,y,z)(0,0,0)
x12 + y 6 + z 4
P6.- Considere la funcin

o
f (x, y) =
1 xy cos(x3 ey )
1 x2 y 2
denida en el conjunto D = {(x, y) R2 : x2 + y 2 < 1}.

Demuestre que existe (x0 , y0 ) D tal que
f (x0 , y0 ) f (x, y) (x, y) D
P7.- Sea f : RN R una funcin continua tal que f (0) > 0 y

o
N
x R con x > 1 : f (x) < 0. Demuestre que RN tal
x
que
f (x) f () x RN .
x
P8.- Sea K RN un conjunto cerrado y acotado, y sea x0 RN \ K
un punto jo. Se dene f : K R mediante
f (x) = x x0
1) Demuestre que f es una funcin continua.

o
2) Pruebe que f alcanza un mximo y un m
a
nimo sobre K.
3) Muestre que m f (x) > 0.
n
xK
4) Dada una constante c > 0 tal que m f (x) < c < mx f (x),
n
a
consideremos el conjunto
xK
K(c) = {x K : f (x) < c}
xK
Es K(c) un conjunto abierto?

5) Sea c como en la parte anterior. Encuentre los conjuntos
Adh (K(c)) , Int (K(c)) y Fr (K(c))
7. PROBLEMAS CAP
ITULO 2
39
P9.- Se dene Z = Z \ {0}. Considere los siguientes subconjuntos

de R2
A := {(x, y) / x = 0 y = 0} y
B := {(0, 0)} {(1/n, 0) / n Z } {(0, 1/n) / n Z }
Demuestre que la funcin f : A B R denida por

o
f (x, y) =
(x + y) sin(1/x) sin(1/y)
0
es continua en A B.
si (x, y) A
si (x, y) B
Cap
tulo 3
Diferenciabilidad de funciones de varias variables

En las secciones anteriores hemos analizado las nociones de l
mite y continuidad de funciones. En modo anlogo a la secuencia lgica
a
o
utilizada en el clculo de una variable, introducimos a continuacin
a
o
la nocin de diferenciabilidad. El lgebra lineal nos ser de gran utio
a
a
lidad en este anlisis. En efecto, tal como en el caso de una variable,
a
diferenciabilidad en un punto corresponder al hecho que la funcin
a
o
podr aproximarse bien por una funcin lineal cerca de este punto.
a
o
Recordemos que toda funcin lineal L : RN Rm puede represeno
tarse en modo matricial como
L(x) = Ax
donde A = (aij )ij es una matriz m N, y x = (x1 , . . . , xN ) se escribe
como un vector columna. As
,
a11 a12 a1N

a2N
a21

A =
am1 a22 amN
x1
x2

x =

xN
a1j xj
j=1
a2j xj
j=1
Ax =
.
amj xj
j=1
Una funcin lineal af es una f : RN Rm de la forma

o
n
f (x) = Ax + b
donde b Rm . Notemos que si x0 RN , entonces puede calcularse

b = f (x0 ) Ax0 , y por lo tanto vale la igualdad
(0.1)
f (x) = f (x0 ) + A(x x0 ).
Para una funcin f cualquiera, diremos que f es diferenciable en el

o
punto x0 si existe una matriz A tal que para todo x cercano a x0 vale
que f (x) f (x0 ) + A(x x0 ), esto es, si f es aproximadamente una
41
42
3. DIFERENCIABILIDAD DE FUNCIONES DE VARIAS VARIABLES
funcin af cerca de x0 . Precisaremos este concepto a continuacin,

o
n
o
primero recordando que para f : R R decimos que f es diferenciable
en x0 si el l
mite
f (x0 + h) f (x0 )
a = l
m
h0
h
existe. En tal caso, por cierto, llamamos a = f (x0 ). Esta relacin puede
o
reescribirse en el modo siguiente:
|f (x0 + h) f (x0 ) ah|
l
m
= 0.
h0
|h|
As f es diferenciable en x0 si, y slo si, existe a R tal que
,
o
f (x0 + h) = f (x0 ) + ah + (h)
donde la funcin (h) = f (x0 + h) f (x0 ) ah satisface

o
|(h)|
= 0.
h0 |h|
Expresada en esta forma, la nocin de diferenciabilidad puede ser exo
tendida a funciones de varias variables. Para evitar complicaciones que
surgen en intentar extender nociones anlogas a derivadas laterales, coa
mo fue hecho en el caso de una variable, es conveniente suponer que f
est denida en un conjunto abierto que contiene al punto x0 de nuestro
a
inters.
e
l
m
1.
Denicin de diferenciabilidad y derivada

o
Consideremos entonces una funcin f : RN Rm , donde es

o
un abierto en RN , y x0 . Decimos que f es diferenciable en x0 si
existe una matriz A de tama o m N, tal que
n
(1.2)
f (x0 + h) = f (x0 ) + Ah + (h)
donde la funcin (h) satisface

o
(1.3)
l
m
h0
(h)
= 0.
h
Esta ultima condicin expresa que f (x0 + h) diere de una funcin af
o
o
n
en un trmino que va a cero ms rpido que el orden lineal cuando h
e
a a
va a 0.
Armamos que si existe una matriz A tal que las relaciones (1.2),
(1.3) se satisfacen, entonces sta es unica. En efecto, supongamos que
e
A1 y A2 son dos matrices tales que

i (h)
= 0, i = 1, 2,
l
m
h0
h

1. DEFINICION DE DIFERENCIABILIDAD Y DERIVADA
43
donde
i (h) = f (x0 + h) f (x0 ) Ai h .
Notemos que
0
1 (h)
2 (h)
1 (h) 2 (h)
+
h
h
h
cuando h 0 y entonces
0 = l
m
h0
1 (h) 2 (h)
(A1 A2 )h
= l
m
.
h0
h
h
Fijemos cualquier vector g RN con g = 1 y consideremos la su1

o
mite h 0 tenemos en
cesin hn = n g. Entonces, por denicin de l
o
particular que
0 = l
m
(A1 A2 )hn
= (A1 A2 )g ,
hn
esto es, (A1 A2 )g = 0. Esto de inmediato implica que A1 = A2 , pues

escogiendo g = ei , el i-simo elemento de la base cannica, obtenemos
e
o
que la i-sima columna de A es igual a 0, esto para todo i = 1, . . . , N.
e
En caso de existir esta matriz A le llamamos, sin ambig edad en
u
virtud de su unicidad, la derivada de f en x0 , y denotamos
A = f (x0 ).
A se denomina tambin a veces la matriz Jacobiana de f en x0 .
e
La funcin
o
T (x) = f (x0 ) + f (x0 )(x x0 )
se denomina, naturalmente, aproximacin af de f en torno a x0 .

o
n
Como en el caso de funciones de una variable, la diferenciabilidad
de f en x0 implica su continuidad. En efecto, tenemos que
l
m
h0
f (x0 + h) f (x0 ) f (x0 )h

= 0,
h
lo que implica que existe > 0 tal que si h < entonces

(1.4)
f (x0 + h) f (x0 ) f (x0 )h

1.
h
Ahora, por desigualdad triangular,

(1.5) f (x0 + h) f (x0 ) f (x0 + h) f (x0 ) f (x0 )h + f (x0 )h .
44
Escribamos f (x0 ) = (aij ). Entonces

m
i=1
f (x0 )h
j=1
aij hj
i=1
j=1
Como para todo j tenemos |hj | h , entonces
1
2
2
m
(1.6)
aij
i=1
f (x0 )h
|aij ||hj |
h .
j=1
Usando las desigualdades (1.4) y (1.6) para estimar el lado derecho en

(1.5), obtenemos que
(1.7)
donde
( h B(0, ) ) :
f (x0 + h) f (x0 ) C h ,
C =1+
aij
i=1
j=1
1
2
De (1.7) concluimos, en particular, que l f (x0 + h) = f (x0 ), lo que

m
signica que f es continua en x0 .
h0
Ejemplo 1.1. Consideremos la funcin f : R2 R dada por

o
f (x, y) = 2x2 + 3xy + 5y 2 + 3x + 2y + 10.
Probaremos que f es diferenciable en un punto (x0 , y0 ) cualquiera y

encontraremos su derivada. Tenemos
f (x0 + h, y0 + k)
= 2(x0 + h)2 + 3(x0 + h)(y0 + k) + 5(y0 + k)2 + 3(x0 + h) + 2(y0 + k) + 10.
Expandiendo los cuadrados y reagrupando trminos, vemos que
e
2
2
f (x0 + h, y0 + k) = (2x0 + 5y0 + 3x0 y0 + 3x0 + 2y0 + 10)
+(4x0 + 3y0 + 3)h + (3x0 + 10y0 + 2)k + (2h2 + 3hk + 5k 2 ).
As vemos que
,
f (x0 + h, y0 + k) = f (x0 , y0 ) + (h, k) + (h, k)
donde (h, k) es lineal en (h, k) y (h, k) lleva solo trminos cuadrticos.
e
a
Tenemos
h
2 3/2
(h, k) = [4x0 + 3y0 + 3 , 3x0 + 10y0 + 2]
y (h, k) = [h, k]
k
3/2 5
Ahora,
|(h, k)| = |2h2 + 3hk + 5k 2 | 2h2 + 5k 2 + 3|h| |k| 7(h2 + k 2 )
h
k

1. DEFINICION DE DIFERENCIABILIDAD Y DERIVADA
45
y entonces
0
|(h, k)|
7 l
m
(h, k) = 0 .
(h,k)(0,0) (h, k)
(h,k)(0,0)
l
m
Concluimos entonces que f es diferenciable en (x0 , y0 ) y que su derivada

est dada por la matriz la 1 2,
a
f (x0 , y0 ) = [4x0 + 3y0 + 3 , 3x0 + 10y0 + 2] .
Ejemplo 1.2. Sea f : RN R dada por la forma cuadrtica

a
f (x) = xT Ax
donde A es una matriz de N N. Dado x0 RN , observemos que
f (x0 + h) = (x0 + h)T A(x0 + h) = xT Ax0 + xT Ah + hT Ax0 + hT Ah .

0
0
Como en el ejemplo anterior, reconocemos en esta expansin inmediao

tamente trminos lineales y cuadrticos en h. Notando que si a R
e
a
entonces a = aT , entonces con a = hT Ax0 se tiene la siguiente igualdad
hT Ax0 = (hT Ax0 )T = xT AT h
0
y entonces, para el trmino lineal tenemos
e
(h) := xT Ah + hT Ax0 = [xT (A + AT )]h.
0
0
Por otra parte, tenemos que
N
(h) := h Ah =
aij hi hj .
i=1 j=1
Notemos que, para todo i, j,

N
2
|hi ||hj | |hi | + |hj | 2
l=1
|hl |2 = 2 h
Por lo tanto,
N
|(h)| 2 h
2
i=1 j=1
|aij |,
de modo que
|(h)|
2 l h
m
h0
h0
h
0 l
m
i,j
|aij | = 0 .
Concluimos entonces que f es diferenciable en x0 y que su derivada

est dada por la matriz (la) 1 N,
a
f (x0 ) = xT (A + AT ) .
0
46
2.
Operaciones con funciones diferenciables
La sola denicin, como la utilizamos en los ejemplos anteriores,

o
no es una herramienta sucientemente poderosa en la identicacin de
o
la derivada en caso de que una funcin sea diferenciable. Desarrollareo
mos a continuacin una serie de reglas operacionales que nos permitan
o
probar la diferenciabilidad de una funcin dada, y encontrar la matriz
o
derivada si es que sta existe.
e
Para comenzar, una propiedad bsica de la diferenciabilidad es su
a
respeto al lgebra de RN , tal como en una variable. Tenemos el siguiente
a
resultado.
Proposicion 2.1. (Algebra de la diferenciabilidad)

Sean RN abierto, f, g : Rm , x0 , , R. Supongamos
que f y g son diferenciables en x0 . Entonces
(a) La funcin f + g : Rm es diferenciable en x0 y
o
(f + g)(x0 ) = f (x0 ) + g (x0 ) .
(b) Si m = 1, la funcin f g : R es diferenciable en x0 y se

o
tiene la validez de la regla del producto,
(f g)(x0 ) = g(x0 )f (x0 ) + f (x0 )g (x0 )
Demostracin. Realizaremos solo la demostracin de la propiedad del
o
o
producto (b), dejando la parte (a) como un ejercicio al lector. Denotemos
1 (h) = f (x0 +h)f (x0 )f (x0 )h,
2 (h) = g(x0 +h)g(x0 )g (x0 )h.
Observemos que
(h) := (f g)(x0 + h) (f g)(x0) [g(x0 )f (x0 ) + f (x0 )g (x0 )]h
= [g(x0 ) + g (x0 )h] 1 (h) + f (x0 + h) 2 (h) + (f (x0 )h) (g (x0 )h) .
Tenemos que
l [g(x0 ) + g (x0 )h]

m
h0
1 (h)
= g(x0 ) 0 = 0.
h
Por otra parte,

l f (x0 + h)
m
h0
2 (h)
= f (x0 ) 0 = 0.
h
Finalmente, gracias a la desigualdad de Cauchy-Schwartz,

| (f (x0 )h) (g (x0 )h) | = f (x0 )h
g (x0 )h f (x0 )
g (x0 )
h 2,
2. OPERACIONES CON FUNCIONES DIFERENCIABLES
47
y se sigue que
(f (x0 )h) (g (x0 )h)
= 0.
h0
h
l
m
La conclusin es entonces que

o
(h)
= 0,
h0 h
l
m
y la armacin (b) se cumple.

o
Si bien la introduccin de varias variables es una variante poco trio
vial de la diferenciabilidad de funciones de variable real , no es el caso
en lo que concierne a funciones con varias coordenadas: la diferenciabilidad de una funcin f : RN Rm se reduce a la diferenciabilidad de
o
cada una de sus m funciones coordenadas, como enuncia el siguiente
resultado, anlogo a la Proposicin 3.1 en cuanto a continuidad.
a
o
Proposicion 2.2. Sean RN un abierto, f : Rm , x0 ,

f (x) = (f1 (x), f2 (x), . . . , fm (x)).
Entonces las siguientes armaciones son equivalentes.
(a) f es diferenciable en x0 .
(b) Para todo i = 1, . . . , m, las funciones fi : R son diferenciables en x0 relativamente a .
En tal caso se tiene la igualdad
f1 (x0 )
f (x0 )
2
f (x0 ) = .
fm (x0 )
Demostracin. Notemos que para una matriz A de tama o m N,

o
n
que expresamos
A1.
A2.

A =
.

Am.
48
donde los Ai. son vectores la 1 N, se tiene la igualdad
1 (h)
f1 (x0 + h) f1 (x0 ) A1. h
f2 (x0 + h) f2 (x0 ) A2. h 2 (h)
f (x0 +h)f (x0 )Ah =

=: (h).
=
m (h)
fm (x0 + h) fm (x0 ) Am. h
De este modo,
l
m
h0
(h)
=0
h
|i (h)|
= 0 i = 1, . . . , m.
h0
h
l
m
As A = f (x0 ) si y slo si Ai. = fi (x0 ) para todo i. Esto concluye la

,
o
demostracin.
o
Ejemplo 2.1. Consideremos una funcin :]a, b[ Rm . As es
o
,
diferenciable en t si, y slo si, sus coordenadas lo son y se tiene la
o
relacin natural
o

1 (t)
2 (t)
(t) =
.

m (t)
Observemos en particular que la derivada puede calcularse a partir de
la frmula habitual,
o
1
(t) = l
m ((t + h) (t)).
h0 h
3.
Derivadas direccionales, parciales y diferenciabilidad
Una propiedad sencilla, al mismo tiempo poderosa para el clculo

a
de la derivada de una funcin de varias variables, es su v
o
nculo con derivadas de funciones de una variable, en el modo que enuncia el siguiente
resultado.
Proposicion 3.1. Sean RN un abierto, f : Rm , x0 .

Supongamos que f es diferenciable en x0 . Entonces e RN \ {0} la
funcin t f (x0 + te) es diferenciable en t = 0, y se cumple que
o
d
f (x0 + te)
dt
t=0
= f (x0 )e .
3. DERIVADAS DIRECCIONALES, PARCIALES Y DIFERENCIABILIDAD
49
Demostracin. A lo largo de cualquier sucesin hn 0 tenemos que

o
o
f (x0 + hn ) f (x0 ) f (x0 )hn
= 0.
hn
l
m
Dado e Rn \ {0} escojamos hn = tn e, con tn 0. Entonces

f (x0 + tn e) f (x0 ) tn f (x0 )e
= 0,
|tn | e
l
m
lo que implica
l
m
1
(f (x0 + tn e) f (x0 )) f (x0 )e = 0,
tn
es decir
1
(f (x0 + tn e) f (x0 )) = f (x0 )e.
n tn
Como la sucesin tn 0 es arbitraria, se sigue que
o
1
l
m (f (x0 + te) f (x0 )) = f (x0 )e,
t0 t
y la demostracin ha sido concluida.
o
l
m
El resultado anterior nos permite entregar una interpretacin geomtrio

e
ca de la derivada de una funcin de varias variables en el caso m = 1.
o
Supongamos que e = 1. Entonces t x0 +te dene la recta que pasa
por x0 y tiene a e como vector director. As la funcin t f (x0 + te)
,
o
corresponde a la restriccin de la funcin f a esta recta, y su derivada
o
o
en t = 0, el n mero f (x0 )e, corresponde entonces a la pendiente del
u
grco de f en el punto x0 , medida en la direccin del vector unitario
a
o
e. Es decir, la tasa de crecimiento de la funcin f en este punto y en
o
esta direccin.
o
Lo anterior motiva la siguiente denicin general: Sean RN un
o
abierto, f : Rm , x0 , e RN con e = 1. En caso de existir,
el l
mite
d
1
f (x0 ; e) := f (x0 + te) t=0 = l
m (f (x0 + te) f (x0 ))
t0 t
dt
se denomina derivada direccional en x0 , en la direccin e.
o
En virtud de la proposicin anterior, se tiene entonces que la difeo
renciabilidad de f en x0 implica la existencia de derivadas direccionales
en x0 en toda direccin unitaria e, y adems en tal caso se satisface la
o
a
relacin
o
f (x0 ; e) = f (x0 )e
50
De especial relevancia son las derivadas direccionales de f en la

direccin de los elementos de la base cannica,
o
o
ej = (0, 0, . . . , 0, 1, 0 . . . 0),
en el cual todas las componentes excepto la j-sima son iguales a cero.
e
Las derivadas direccionales en x0 en las direcciones ej se denominan
derivadas parciales de f en x0 . As la j-sima derivada parcial de f ,
,
e
en caso de existir, se dene como
f
1
fxj (x0 ) :=
(x0 ) := l
m (f (x0 + tej ) f (x0 )).
t0 t
xj
Analicemos ms precisamente esta cantidad. Tenemos que
a
d
d
f
(x0 ) = f (x0 + tej ) t=0 = f (x01 , . . . , x0j + t, . . . , x0N ) t=0
xj
dt
dt
d
f (x01 , . . . , xj , . . . , x0N ) xj =x0j .
dxj
As derivar parcialmente corresponde a derivar en la j-sima varia,
e
ble (como funcin de una sola variable), considerando a las restantes
o
variables como constantes.
=
Ejemplo 3.1. Sea f (x, y) = exy cos(x2 +y 3 ). Las derivadas parciales

respecto a las variables x e y calculadas en un punto arbitrario (x, y)
estn dadas por
a
f
(x, y) = yexy cos(x2 + y 3 ) 2xexy sin(x2 + y 3 ) ,
x
f
(x, y) = xexy cos(x2 + y 3) 3y 2exy sin(x2 + y 3 ) .
y
Con este ejemplo vemos que en el caso de funciones dadas por
frmulas expl
o
citas, el clculo de derivadas parciales se realiza simplea
mente de acuerdo a las reglas de la derivacin de una variable. En caso
o
de una funcin diferenciable, estas cantidades de hecho determinan a
o
la matriz derivada. En efecto, si f es diferenciable en x0 tenemos que
f
(x0 ) = f (x0 ; ej ) = f (x0 )ej
xj
que corresponde exactamente a la j-sima columna de la matriz f (x0 ).
e
Por otra parte, sabemos tambin, en virtud de la Proposicin 2.2 que la
e
o
i-sima la de la matriz f (x0 ) corresponde precisamente a la derivada

e
fi (x0 ) de la funcin coordenada fi . La frmula anterior nos dice que
o
o
fi
(x0 ) = fi (x0 )ej .
xj
3. DERIVADAS DIRECCIONALES, PARCIALES Y DIFERENCIABILIDAD
51
As este ultimo n mero es exactamente la j-sima coordenada de la

,
u
e
la i de la matriz f (x0 ), esto es, la entrada ij de esta matriz. Tenemos
entonces la validez del siguiente importante resultado para el clculo
a
de la matriz derivada.
Proposicion 3.2. Sean RN abierto, f : Rm , x0

. Supongamos que f = (f1 , . . . fm ) es diferenciable en x0 . Tenemos
entonces que la matriz f (x0 ) puede calcularse como
fi
(f (x0 ))ij =
(x0 ) ,
i {1, . . . , m} , j {1, . . . , N}
xj
es decir
Adems
a
f1
f1
(x0 )
(x0 )
x1
x2
f2
f2
(x0 )
(x0 )
x1
x2
f (x0 ) =
f
fm
m
(x0 )
(x0 )
x1
x2
f1
(x0 )
xN
f2
(x0 )
xN
.
fm
(x0 )
xN
f1
xj (x0 )
f2
x (x0 )
f
j
(x0 ) =
.
xj
fm
(x0 )
xj
Es importante destacar que la sola existencia de las derivadas parciales, o incluso la de todas las derivadas direccionales, no implica por
s sola la diferenciabilidad de f . Veamos dos ejemplos de este hecho.
Ejemplo 3.2. Consideremos la funcin

o
x|y|
2 2 si (x, y) = (0, 0),
x +y
f (x, y) =
0
si (x, y) = (0, 0).
Armamos que esta funcin es continua en (0, 0), que todas sus derivao
das direccionales existen en este punto, pero que f no es diferenciable.
52
Para la continuidad, observemos que si (xn , yn ) (0, 0) con (xn , yn ) =

(0, 0), se tiene que
|f (xn , yn ) f (0, 0)| =
1
|xn ||yn |
2 + y2
2
xn
n
2
x2 + yn 0.
n
As tenemos que
,
l f (xn , yn ) = f (0, 0).
m
Como la sucesin escogida es arbitraria,

o
l
m
(x,y)(0,0)
f (x, y) = f (0, 0)
y f es continua en (0, 0).

Sea ahora e = (e1 , e2 ) con e = 1. Tenemos entonces que para
t = 0,
e1 |e2 |
1
[f ( (0, 0) + t(e1 , e2 ) ) f (0, 0)] =
,
t
e2 + e2
1
2
y por lo tanto
e1 |e2 |
.
f ((0, 0) ; e) =
e2 + e2
1
2
En particular, notemos que evaluando en e = (1, 0) y en e = (0, 1)
obtenemos
f
f
(0, 0) = 0 =
(0, 0).
x
y
Si f fuese diferenciable en (0, 0), debisemos entonces tener f (0, 0) =
e
[0 0], y por lo tanto para cualquier e,
f ((0, 0) ; e) = f (0, 0)e = 0 .
1
Pero la frmula obtenida nos dice por ejemplo que para e =
o
2
(1, 1),
1
o
f ((0, 0) ; e) = , una contradiccin que nos muestra que f no es dife2
renciable en (0, 0).
Ejemplo 3.3. Consideremos ahora la funcin
o
1 si 0 < y < x2 ,
f (x, y) =
0
si no .
Esta funcin no es continua en (0, 0), pues, escogiendo la sucesin
o
o
(xn , yn ) =
1 1
,
n 2n2
(0, 0)
obtenemos que
f (xn , yn ) 1 f (0, 0) = 0 .
4. CONTINUIDAD DE DERIVADAS PARCIALES Y DIFERENCIABILIDAD 53
Por otra parte, jemos cualquier vector e = (e1 , e2 ) con e = 0. Si e1 = 0

o e2 = 0, obviamente f (te) = 0 para todo t. En el caso e1 , e2 = 0, la
desigualdad 0 < te2 < t2 e2 es vlida solo cuando |t| > e2 |e2 |. As
a
,
1
1
independientemente de e, tenemos que f (te) = 0 para todo t sucientemente peque o. Entonces
n
f (te) 0
= 0,
t0
t
por lo tanto todas las derivadas direccionales en (0, 0) existen y son
iguales a 0. Finalmente como f es discontinua en el origen, no puede
ser diferenciable, sin embargo todas las derivadas direccionales de f
existen.
f ((0, 0); e) = l
m
4.
Continuidad de derivadas parciales y diferenciabilidad
Los ejemplos anteriores nos dicen que la existencia de derivadas parciales no implica diferenciabilidad, ni siquiera continuidad de la funcin
o
en cuestin. Como veremos en esta seccin, por fortuna s es cierto que
o
o
la existencia de derivadas parciales en un entorno del punto, ms su

a
continuidad como funcin de su argumento garantizan diferenciabilio
dad. Esta condicin suciente es la principal herramienta para decidir
o
cundo una funcin concreta es diferenciable.
a
o
Teorema 4.1. Sea RN un abierto, f : Rm , x0 .
Supongamos que la derivadas parciales
f
(x) existen x , j = 1, . . . , N ,
xj
y que adems las funciones
a
f
: Rm ,
xj
f
(x)
xj
son continuas en x0 . Entonces f es diferenciable en x0 .

Demostracin. Basta probar el teorema para cada una de las funo
ciones coordenadas de f en virtud de la Proposicin 2.2. Suponemos
o
entonces que m = 1. Llamemos A la matriz 1 N que tiene a las
derivadas parciales de f en x0 como sus entradas, esto es
A=
f
f
(x0 ) , . . . ,
(x0 )
x1
xN
Sea
(h) = f (x0 + h) f (x0 ) Ah.
54
Debemos probar que

(h)
= 0.
h0 h
l
m
Para ello, escribamos

aj (h) = f (x01 , . . . , x0j1 , x0j + hj , . . . , x0N + hN ) ,
j = 1, . . . , N,
de modo que, en particular a1 (h) = f (x0 + h). Denimos tambin,

e
aN +1 (h) := f (x0 ). Notemos que
N
f (x0 + h) f (x0 ) = a1 (h) aN +1 (h) =
i=1
[aj (h) aj+1 (h)].
Por otra parte,

aj (h) aj+1 (h) = f (x01 , . . . , x0j1 , x0j + hj , x0j+1 + hj+1 . . . , x0N + hN )
f (x01 , . . . , x0j1 , x0j , x0j+1 + hj+1 . . . , x0N + hN )
que es un incremento de f en la j-sima variable. Aplicando entonces el
e
Teorema del Valor Medio para esta funcin de una variable (y a valores
o
reales!), encontramos que existe j = j (h) ]0 , hj [ tal que
aj (h)aj+1 (h) =
f
(x01 , . . . , x0j1 , x0j +j , x0j+1 +hj+1 . . . , x0N +hN ) hj .
xj
Escribamos por conveniencia

hj = (0, . . . , 0, j , hj+1 . . . , hN ) .
Como |j | |hj | se tiene que hj 0 si h 0. Notemos tambin que
e
N
Ah =
j=1
f
(x0 ) hj ,
xj
y por lo tanto
N
aj (h) aj+1(h)
(h) =
i=1
N
f
(x0 ) hj
xj
f
f
(x0 + hj )
(x0 ) hj .
xj
xj
=
i=1
Por desigualdad triangular,

N
|(h)|
i=1
f
f
(x0 + hj )
(x0 ) |hj | ,
xj
xj
4. CONTINUIDAD DE DERIVADAS PARCIALES Y DIFERENCIABILIDAD 55
y por Cauchy-Swchartz,
N
|(h)|
i=1
f
f
(x0 + hj )
(x0 )
xj
xj
1
2
1
2
h2
j
i=1
As
,
|(h)|
0 l
m
l
m
h0
h0
h
i=1
f
f
(x0 + hj )
(x0 )
xj
xj
1
2
= 0,
pues para todo j se tiene

f
f
(x0 + hj ) =
(x0 )
h0 xj
xj
l
m
por la continuidad de la funcin

o
demostracin.
o
f
(x)
xj
en x = x0 . Esto concluye la
Decimos que una funcin f es continuamente diferenciable en si

o
todas sus derivadas parciales existen en todo y denen funciones continuas en . En tal caso, se dice que f es de clase C 1 en . Adems se
a
1
1
denota por C () el espacio vectorial de las funciones de clase C en .
Ejemplo 4.1. Las derivadas parciales de una funcin diferenciable
o
no necesariamente denen funciones continuas. Consideremos la funcin f : R2 R denida por
o
1
2
(x + y 2 ) sin
si (x, y) = (0, 0)
f (x, y) =
x2 + y 2
0
si (x, y) = (0, 0).
Resulta que f es diferenciable en el origen y su derivada es (0, 0)T . Sin

embargo, las derivadas parciales de f no son continuas en ese punto.
Ejemplo 4.2. Las funciones construidas a travs de frmulas ale

o
gebraicas basadas en las funciones habituales del clculo: polinomios,
a
trigonomtricas, exponencial, etc., son diferenciables dentro de sus doe
minios de denicin. Consideremos por ejemplo f : R2 R3 dada
o
por
f (x, y) = (x2 sin y, y 2exy , x2 y).
56
Notemos que
f
(x, y) = (2x sin y, y 3exy , 2xy)
x
f
(x, y) = (x2 cos y, 2yexy + xy 2 exy , x2 ).
y
Estas funciones estn denidas en todo R2 , y son evidentemente cona
tinuas en todo punto (x, y), al ser constituidas por sumas, producto y
composicin de funciones continuas. Por ejemplo, f (x, y) es precisao
y
mente la funcin del Ejemplo 4.2. Concluimos entonces, del Ejemplo
o
4.1, que f es diferenciable en todo punto (x, y). De acuerdo a la Proposicin 3.2, tenemos adems que
o
a
2x sin y
x2 cos y
f (x, y) = y 3 exy 2yexy + xy 2 exy .
2xy
x2
Encontremos la aproximacin af de f (x, y) cerca del punto (0, ).

o
n
Esta est dada por
a
T (x, y) = f (0, ) + f (0, )
x0
y
esto es,

0
0
0
2 + x 3 + y 2 .
T (x, y) =
0
0
0
5.
Gradiente de una funcin

o
Consideremos el caso de f a valores reales: RN un abierto,

f : R, x0 , f diferenciable en x0 . En este caso, como sabemos,
la derivada de f en x0 es una matriz la de tama o 1 N, y por ello
n
puede identicarse con un vector de RN . Llamamos a este vector el
gradiente de f en x0 y le denotamos f (x0 ). Identicando los vectores
de RN con las matrices columna, tenemos
f (x0 ) = f (x0 )T ,
aunque en realidad no haremos diferencia entre uno y otro si no conlleva ambig edad. Las coordenadas de este vector son precisamente las
u
6. PLANO TANGENTE
57
derivadas parciales de f en x0 . As
,
f
(x )
x1 0
x2 (x0 )
.
(5.8)
f (x0 ) =
(x0 )
xN
El vector gradiente tiene a su vez una interesante interpretacin geomtrio
e
ca. Si e es tal que e = 1 entonces
f (x0 ; e) = f (x0 ) e = f (x0 )T e = f (x0 ) e ,
donde denota el producto interno cannico. Supongamos que f (x0 ) =

o
0. Por la desigualdad de Cauchy-Schwartz tenemos entonces que
f (x0 ) e |f (x0 ) e| f (x0 )
Escojamos e =
f (x0 )
f (x0 )
e = f (x0 ) .
. Entonces
f (x0 ) e =
La conclusin es entonces que
o
f (x0 )
f (x0 )
= f (x0 ) .
f (x0 ; e) f (x0 ; e )
para toda direccin e. As e , la direccin del gradiente f (x0 ), es

o
o
aquella de mximo crecimiento de f .
a
6.
Plano tangente
Para una funcin diferenciable de dos variables, consideremos su

o
grco denido del modo siguiente:
a
f : R2 R
Consideremos su grafo, el subconjunto de R3 dado por

Gr(f ) = {(x, y, z) / z = f (x, y), (x, y) } .
Como tenemos que
f (x, y) f (x0 , y0 ) + f (x0 , y0) (x x0 , y y0 ),
cerca de (x0 , y0), es entonces tambin el caso que su grafo se asemeja a

e
aqul de la funcin af al lado derecho de la expresin anterior. Este
e
o
n
o
ultimo grafo es el conjunto
58
o
o
{(x, y, z) / z = f (x0 , y0 ) + f (x0 , y0) (x x0 , y y0 )} ,

{(x, y, z) / 0 = (f (x0 , y0), 1) (x x0 , y y0 , z f (x0 , y0 )) .} ,
fx (x0 , y0)(x x0 ) + fy (x0 , y0)(y y0 ) + (1)(z f (x0 , y0 )) = 0.
Este conjunto es un plano en R3 que pasa por el punto (x0 , y0, f (x0 , y0)),
que yace en la supercie denida por el grafo. Este plano aproximante de la supercie se denomina plano tangente al grafo en el punto
(x0 , y0 , f (x0 , y0 )). Notemos que su vector normal est dado por
a
n = (f (x0 , y0), 1) = (fx (x0 , y0 ), fy (x0 , y0), 1),
lo cual nos entrega otra interpretacin geomtrica del gradiente: detero

e
mina el vector normal a la supercie dada por el grafo. Ms generala
N
mente, para una funcin de N variables f : R R, su grafo se
o
dene como el conjunto de los puntos
(x, xN +1 ) R RN +1 ,
tales que xN +1 = f (x).
El hiperplano tangente al grafo en el punto (x0 , f (x0 )) est dado entona

ces como el conjunto de puntos (x, xN +1 ) que satisfacen
xN +1 = f (x0 ) + f (x0 ) (x x0 ).
Ejemplo 6.1. Consideremos la esfera en R3 dada por el conjunto

de puntos (x, y, z) que satisfacen
x2 + y 2 + z 2 = 2,
esto es, la esfera con centro en el origen y radio 2. Encontremos la

ecuacin del plano tangente a esta esfera, respectivamente en los puntos
o
(0, 1, 1) y (1, 1, 0). Notemos que los puntos (x, y, z) de la esfera con
z 0 satisfacen
z=
2 x2 y 2 =: f (x, y)
As la esfera corresponde, cerca del punto (0, 1, 1), precisamente al

,
grafo de la funcin f (x, y). Calculamos
o
x
y
fx (x, y) =
, fy (x, y) =
,
2 y2
2x
2 x2 y 2
de modo que el plano tangente en este punto est dado por la ecuacin
a
o
fx (0, 1)x + fy (0, 1)(y 1) + (1)(z + 1) = 0,
esto es, el plano en R3 , y z = 2.
7. TEOREMA DEL VALOR MEDIO
59
Si bien el punto (1, 1, 0) est tambin en el grafo de la funcin f

a
e
o
anterior, sus derivadas se hacen innitas. Podemos sin embargo visualizar la esfera en torno a este punto tambin como un grafo, pues sta
e
e
puede expresarse por la ecuacin
o
y = 2 x2 z 2 =: g(x, z) .
En este caso tenemos
x
z
, fz (x, z) =
,
2 x2 z 2
2 x2 z 2
y el plano tangente est entonces dado por la ecuacin
a
o
fx (x, z) =
fx (1, 0)(x 1) + fz (1, 0)z + (1)(y 1) = 0 ,
esto es, el plano x + y = 2.
7.
Teorema del Valor Medio
El Teorema del Valor Medio para funciones de una variable admite

una generalizacin a funciones de varias variables en el modo siguiente.
o
Teorema 7.1. (Teorema del Valor Medio)
Sea RN abierto, f : R diferenciable sobre todo . Sean
x, y puntos tales que el segmento entre x e y est contenido en ,
a
esto es
[x, y] := {x + t(y x) / t [0, 1]} .
Existe entonces ]0, 1[ tal que
f (y) f (x) = f (x + (y x)) (y x) .
Demostracin. Consideremos la funcin : [0, 1] R denida por

o
o
(t) = f (x + t(y x)). Por el Teorema del Valor Medio en R, sabemos
que
(7.9)
(1) (0) = ()(1 0).
para cierto ]0, 1[. Por otra parte,

() =
d
( + t)
dt
t=0
de modo que
d
f (x + (y x) + t(y x)) t=0 .
dt
De acuerdo a la Proposicin 3.1, tenemos entonces que
o
() =
() = f (x + (y x)) (y x) = f (x + (y x)) (y x).
60
Usando esto y el hecho que (1) = f (y), (0) = f (x), obtenemos de la

igualdad (7.9) la validez del resultado deseado.
Ejemplo 7.1. La funcin f : R2 R denida mediante
o
f (x, y) = sin(x) cos(y) es Lipschitz, con constante K = 1. Para ver esto,
notemos primero que f (z) 1 para todo z R2 . Si x = (x1 , x2 ) e
y = (y1 , y2 ) son puntos arbitrarios en R2 , el Teorema del Valor Medio
nos dice que |f (x) f (y)| x y .
8.
Regla de la cadena
Como en el caso de una variable, la composicin de funciones difeo

renciables es diferenciable.
Teorema 8.1. (Regla de la cadena)
Sean RN , Rm , abiertos, f : Rm , g : Rk . Supongamos que f es diferenciable en x0 , que f (x) x , y que g es
diferenciable en f (x0 ). Entonces la composicin
o
g f : RN Rk
es diferenciable en x0 y adems
a
(g f ) (x0 ) = g ( f (x0 ) ) f (x0 ) .
Demostracin. Consideremos
o
(h) = (g f )(x0 + h) (g f )(x0 ) g ( f (x0 ) ) f (x0 ) h .
Denotemos
q(h) = [f (x0 + h) f (x0 )],
y0 = f (x0 ).
Ciertamente tenemos q(h) 0 cuando h 0. En realidad, recordemos

que, de la relacin (1.7) existen > 0 y C > 0 tales que para todo h
o
con h < ,
(8.10)
q(h) C h .
Por otra parte, denimos la funcin : Rn R mediante

o
g(y0 + k) g(y0 ) g (y0 ) k
si k = 0,
k
(k) =
0
si k = 0,
8. REGLA DE LA CADENA
61
y resulta ser continua en k = 0 gracias a la diferenciabilidad de g en

y0 . Podemos escribir entonces
(f (x0 + h) f (x0 ) f (x0 )h)
q(h)
(h)
= g (y0 )
+
(q(h)) .
h
h
h
El primer trmino del lado derecho de la expresin anterior va a cero
e
o
si h 0 por la diferenciabilidad de f en x0 . Como q(h) 0 cuando
h 0 y es continua, tenemos que (q(h)) 0. Por otra parte,
q(h)
de (8.10), sabemos que
C para h sucientemente peque o.
n
h
Deducimos que
q(h)
(q(h)) 0
h
cuando h 0,
y por lo tanto
(h)
0
h
cuando h 0,
lo que termina la demostracin.

o
El resultado anterior permite describir el clculo de derivadas para
ciales de una composicin de funciones, como sigue a continuacin.
o
o
Corolario 8.1. Sean f ,g como en el Teorema 8.1, en donde f (x) =
(f1 (x), . . . , fm (x)). Entonces si
h(x) = g(f1(x), . . . , fm (x))
se tiene que
(8.11)
h
(x0 ) =
xj
i=1
g
fi
(f (x0 ))
(x0 ) .
yi
xj
Demostracin. Sabemos que

o
h
(x0 ) = h (x0 ) ej .
xj
De acuerdo con el Teorema 8.1, escribiendo y0 = f (x0 ), tenemos entonces que
h
f
(x0 ) = g (y0 ) f (x0 ) ej = g (y0 )
(x0 ).
xj
xj
62
Esto es,
g1
y1 (y0 )
g2
(y )
y1 0
h
(x0 ) =
xj
gk
(y0 )
y1
=
i=1
=
i=1
g1
(y0 )
y2
g2
(y0 )
y2
gk
(y0 )
y2
g1
yi (y0 )
g2
(y )
yi 0
fi
(x0 )
xj
gk
(y0 )
yi
f1
g1
(x0 )
(y0 )
ym
xj
g2
2
(x0 )
(y0 )
xj
ym
fm
gk
(x0 )
(x0 )
ym
xj
g
fi
(x0 )
(y0 ).
xj
yi
Esto concluye la demostracin.

o
Ejemplo 8.1. Sean f : R2 R3 y g : R3 R2 dadas por
f (x, y) = (x2 , xy 2 , x y) , g(u, v, w) = (w 2, u + 1). Tenemos que
2x 0
0 0 2w
f (x, y) = y 2 2xy
y
g (u, v, w) =
.
1 0 0
1 1
Luego
(g f ) (x, y) =
=
0 0 2(x y)
1 0
0
2x 0
y 2 2xy
1 1
2x 2y 2y 2x
.
2x
0
Para comprobar este resultado, reemplacemos

(g f )(x, y) = g(f (x, y)) = (x y)2 , x2 + 1 .
63
Tenemos que
(g f ) (x, y) =
2x 2y 2y 2x
.
2x
0
Ejemplo 8.2. En aplicaciones de la regla de la cadena, la situacin

o
ms frecuente que se encuentra es que una de las funciones es expl
a
cita
en trminos de sus variables y la otra no lo es.
e
Consideremos por ejemplo una funcin T : R2 R, (x, y)
o
T (x, y). T puede representar una cantidad f
sica medida en el plano,
digamos temperatura de cada punto, que no conocemos en principio
en modo expl
cito, aunque eventualmente satisface una ecuacin que
o
relaciona sus derivadas parciales, esto es una ecuacin diferencial en
o
derivadas parciales, o EDP. Por alguna razn asociada al problema eso
pec
co que se trate, puede ser ms conveniente expresar la cantidad
a
representada por T en trminos de un sistema de coordenadas que no
e
sea el Cartesiano (x, y). Por ejemplo, un sistema alternativo est consa
tituido por las coordenadas polares (r, ) de modo que x = r cos ,
y = r sin . La cantidad representada por T expresada en coordenadas
(r, ) se dene mediante la funcin
o
h(r, ) = T (r cos , r sin )
y nos interesa conocer las derivadas parciales de h en trminos de las
e
de T . As h tiene la forma
h(r, ) = T (f1 (r, ), f2 (r, )).

De este modo, aplicamos la frmula (8.11) y encontramos, bajo las
o
hiptesis de diferenciabilidad requeridas,
o
h
T
f1
T
f2
(r, ) =
(f1 (r, ), f2 (r, ))
(r, )+ (f1 (r, ), f2 (r, ))
(r, ),
r
x
r
y
r
de modo que, haciendo uso de
f1
f2
=
(r cos ) = cos ,
=
(r sin ) = sin ,
r
r
r
r
encontramos
T
T
h
(r, ) =
(r cos , r sin ) cos +
(r cos , r sin ) sin .
r
x
y
Con un argumento similar, obtenemos que
T
T
h
(r, ) = (r cos , r sin )r sin +
(r cos , r sin )r cos .
x
y
64
Despejando, esto conduce tambin a las frmulas

e
o
h
h sin
T
(r cos , r sin ) =
cos
(8.12)
x
r
r
T
h
h cos
(r cos , r sin ) =
sin +
y
r
r
(8.13)
Ejemplo 8.3. Consideremos para una funcin T (x, y) la siguiente

o
ecuacin diferencial
o
(8.14)
T
x
T
y
(x, y) =
1
(1 +
x2
+ y 2 )2
(x, y) R2 .
Se pide encontrar una solucin T (x, y) tal que

o
(8.15)
l
m
(x,y) +
T (x, y) = 0.
En lugar de resolver esta ecuacin directamente para T , considerao

mos el cambio de variables h(r, ) = T (r cos , r sin ). Notemos que T
satisface la ecuacin (8.14) si, y slo si,,
o
o
(8.16)
T
x
T
y
(r cos , r sin ) =
1
(1 + r 2 )2
para todo (r, ) [0, ) [0, 2) . As sustituyendo las expresiones

,
(8.12) y (8.13) en (8.16), obtenemos, luego de algunas operaciones,
(8.17)
h
r
(r, ) +
1
r2
(r, ) =
1
.
(1 + r 2 )2
Esta expresin sugiere que el modo ms simple de encontar una soluo

a
cin, es buscar h independiente de , h(r, ) = g(r). Sustituyendo en
o
(8.17) obtenemos la siguiente EDO para g,
1
r [0, ) .
g (r)2 =
(1 + r 2 )2
As encontramos una solucin si resolvemos la ecuacin
,
o
o
1
g (r) =
r [0, ) .
1 + r2
Las soluciones de esta ultima ecuacin diferencial son las primitivas de
o
1
. De este modo, obtenemos la familia de soluciones
1 + r2
g(r) = arctan(r) + C.
65
En trminos de la funcin original, tenemos entonces

e
o
T (r cos , r sin ) = arctan(r) + C.
de modo que,
T (x, y) = arctan( x2 + y 2 ) + C.
La condicin de anulamiento en (8.15) nos fuerza a escoger C =
o
y una solucin de (8.14) como se requiere es

o
T (x, y) = arctan( x2 + y 2 )
.
2
66
9.
Problemas Cap
tulo 3
P1.- Para la siguiente funcin estudie derivadas direccionales, derio

vadas parciales y diferenciabilidad en el origen.
f (x, y) = (x2 y)1/3
P2.- a) Sea = {(x, y) R2 / x > 0 , y > 0}. Sea f : R

denida por
x2 + y 2 (x2 y 2)
f (x, y) =
Demuestre que f es diferenciable en y encuentre la ecuacin del plano tangente al grafo de f , para todos los puntos
o
(x, y) tal que x = y.
b) Estudie la diferenciabilidad de f (x, y) = |x + y| en el conjunto = (1, 1) (1, 1). En particular determine los
puntos donde f es diferenciable.
P3.- a) Considere la funcin
o
f (x, y) =
e3x sin(x2 y)
ex cos(2x2 y)
Demuestre que f es diferenciable en todo punto de R2 .

b) Calcule la aproximacin lineal af T (x, y) de f cerca de
o
n
(0, 0), y la ecuacin del plano tangente en (0, 0, 7) al grco
o
a
de la funcin
o
4
g(x, y) = f (x, y)
7
P4.- 1) Sea z : D R2 R una funcin denida por
o
y
z(x, y) = xy tan
x
Determine (en trminos de z) el valor de la siguiente expree
sin para (x, y) = (0, 0)
o
x
z
z
+y
x
y
9. PROBLEMAS CAP
ITULO 3
67
Explique adems qu sucede en (0, 0).

a
e
xy+z
x+yz
2) Se dene la funcin f (x, y, z) =

o
Determine el valor de
f
f
f
+y
+z
x
y
z
si (x, y, z) = (0, 0, 0).
x
P5.- Hallar la ecuacin del plano tangente a cada supercie

o
z = f (x, y) en el punto indicado.
a) z = x3 + y 3 6xy en (1, 2, 3)
b) z = cos(x) sin(y) en (0, /2, 1)
P6.- Sea f : R2 R denida por
f (x, y) =
sin(xy)/x
y
si x = 0
si x = 0
1) Estudie la continuidad de f en R2 .
2) Encuentre las derivadas parciales de f y estudie la continuidad de stas en R2 .
e
3) Estudie la diferenciabilidad de f en R2 .
4) Encuentre la matriz derivada de f en (, 1) y calcule la
ecuacin del plano tangente al grco de f en (, 1, 0).
o
a
P7.-
i) Sean f : R3 R4 y g : R4 R3 funciones diferenciables y

sea h = f g. Suponiendo que
3 3 2
1 0 1 0
4 2 0
Df (g(0)) = 0 0 2 3 y Dg(0) =
1 2 1
2 3 0 0
1 3 2
Encuentre
h2
(0)
x3
ii) Denimos la funciones g : R2 R

2
(x y)2 y 2
si x > 0, 0 < y < x2

x7+1/2
g(x, y) =
0
sino
68
y adems : R R2 dada por (t) = (t, t2 /2).

a
Es g (t) diferenciable en t = 0? A partir de la regla de
la cadena Qu puede concluir sobre la diferenciabilidad de
e
g en (0, 0)?
P8.- Sea f : R3 R una funcin diferenciable tal que f (0, 4, 1) =
o
25 y adems
a
f
(0, 4, 1) = 1,
x
f
(0, 4, 1) = 2,
y
f
(0, 4, 1) = 1
z
i) Calcule la derivada direccional de f en (0, 4, 1), en la direccin del vector (1, 3, 4).
o
ii) Calcule la derivada direccional mxima y establezca la dia
reccin en la que se encuentra.
o
iii) Encuentre la derivada direccional de f en el punto (0, 4, 1)
en la direccin de la normal exterior a la supercie
o
4x2 + y 2 + 9z 2 = 25
iv) Encuentre el plano tangente a la supercie f (x, y, z) = 25
en el punto (0, 4, 1).
P9.- Sea f : R2 R la funcin denida por
o
f (x, y) = xx + ln(x2 + 1) arctan(sinh(cos(xy)))
Calcule
f
f
(1, /2) y
(1, /2)
x
y
P10.- Considere la funcin f : R2 R dada por
o
x sin(xy)
si (x, y) = (0, 0)
x2 + y 2
f (x, y) =
0
si (x, y) = (0, 0)
1) Muestre que f es diferenciable en R2 \ {(0, 0)}.

2) Pruebe que f es continua en (0, 0).
3) Calculen (cuando existan) las derivadas direccionales
f ((0, 0); (e1, e2 )) donde (e1 , e2 ) = (0, 0)
4) Determine si f es diferenciable en (0, 0).
9. PROBLEMAS CAP
ITULO 3
69
P11.- Una funcin f : RN R se dice homognea de grado m si se

o
e
satisface que
t > 0, x RN :
f (tx) = tm f (x)
Demuestre que si f es diferenciable en RN y homognea de

e
grado m, entonces se tiene la identidad
mf (x) = f (x) x x RN
Ind.- Derive de dos formas la funcin (t) = f (t x).

o
P12.- Un abierto RN se dice poligonalmente conexo por caminos si para todo par de puntos x, y existe una secuencia de puntos x0 , . . . , xk con x0 = x, xk = y, tales que
i = 0, . . . , k 1 se tiene [xi , xi+1 ] .
Es decir, todo par de puntos se conectan a travs un camino
e
de ktrazos continuos incluidos en .
Muestre que si es poligonalmente conexo por caminos, y
si f : RN R es una funcin diferenciable en tal que
o
x : f (x) 0, entonces f es constante en .
D un contraejemplo a esta armacin, si no es poligoe
o
nalmente conexo por caminos.
Ind.- Dena las funciones i : [0, 1] , i = 0, . . . , k
dadas por i (t) = t xi + (1 t) xi+1 y considere i (t) =
f i (t) , i = 0, . . . , k
Cap
tulo 4
Teoremas de la Funcin Inversa e Impl

o
cita
En esta seccin estudiaremos varias herramientas utiles para la reo
solucin de sistemas de ecuaciones no-lineales. Culminaremos con el

o
Teorema de la Funcin Impl
o
cita, un resultado notable y de gran generalidad que permite expresar las soluciones de sistemas de ecuaciones
en una vecindad de una solucin conocida como curvasdonde una
o
variable aparece parametrizadaen trminos de las otras.
e
1.
El Teorema del Punto Fijo de Banach
Un teorema fundamental para determinar la existencia de soluciones de ecuaciones no-lineales en RN es el Teorema de Punto Fijo de
Banach. Adems de la importancia que tiene en s mismo, este resula
tado terico tiene aplicaciones en distintas reas de la matemtica.

o
a
a
Consideremos una funcin f : RN RN . Escribamos
o
f (x) = (f1 (x), . . . , fN (x)),
x = (x1 , . . . , xn ).
El Teorema de Punto Fijo de Banach trata de la resolucin del sistema

o
de N ecuaciones y N incgnitas,
o
xj fj (x1 , . . . , xN ) = 0 ,
j = 1, . . . , N,
esto es, la ecuacin en R x = f (x). Si x satisface esta igualdad,

o
decimos que x es un punto jo de f .
Recordemos que una funcin f : RN Rm es Lipschitz en ,
o
con constante K > 0, si
( x1 , x2 ) :
f (x1 ) f (x2 ) K x1 x2 .
Diremos que f es contractante en , si es una funcin Lipschitz en ,

o
con constante 0 < K < 1.
71

4. TEOREMAS DE LA FUNCION INVERSA E IMPL
ICITA
72
Teorema 1.1. (Teorema de Punto Fijo de Banach)

Sea f : RN RN una funcin contractante. Supongamos adems
o
a
que es cerrado, y que f (x) para todo x . Entonces existe un
unico x tal que x = f (). Es decir, f posee un unico punto jo en
, y la ecuacin x = f (x) tiene solucin unica en .

o
o
Demostracin. Para probar este resultado consideramos la sucesin
o
o
de puntos de , denida recursivamente como sigue: Dado x0
cualquiera,
xn+1 = f (xn ) n = 0, 1, 2, . . . .
Para probar la existencia de un punto jo, demostraremos que esta
sucesin es convergente, y que su l
o
mite es el punto jo buscado. Observemos que, como f es Lipschitz de constante K en , entonces para
todo j 1,
xj+1 xj = f (xj ) f (xj1 ) K xj xj1 .
As iterando esta relacin obtenemos

,
o
(1.1)
xj+1 xj K xj xj1 K 2 xj1 xj2 K j x1 x0 .
Demostraremos que (xn )nN es una sucesin de Cauchy. Supongao
mos que 1 n < m. Por la propiedad telescpica de la suma, tenemos
o
m1
xm xn =
j=n
(xj+1 xj ) .
Por la desigualdad triangular, tenemos entonces que

m1
xm xn =
j=n
m1
(xj+1 xj )
j=n
xj+1 xj .
As de la relacin (1.1), y del hecho que K < 1, obtenemos

,
o
m1
xm xn
=
j=0
j=n
K j x1 x0
K j+n x1 x0 = K n
j=0
Ahora, como K < 1 tenemos que

existe n0 1 tal que n n0
Kn
1K
Kj
Kn
1K
j=n
K j x1 x0
x1 x0 =
Kn
x1 x0 .
1K
x1 x0 0. As dado > 0,
,
x1 x0 < .
1. EL TEOREMA DEL PUNTO FIJO DE BANACH
73
De este modo, tenemos que para n, m n0 , m > n,

xm xn < .
Hemos probado que la sucesin xn es de Cauchy. Por el Teorema 5.1,

o
deducimos que xn es convergente en RN , digamos
l xn = x .
m
Por otra parte, como xn para todo n, se tiene que x Adh ().
Pero es cerrado, por lo tanto x . Adems, como f es Lipschitz
a
en , en particular f es continua relativamente a , y entonces
l f (xn ) = f () .
m
x
Pero xn+1 es una subsucesin de xn , y como xn x, se deduce que

o
(xn+1 )n posee el mismo l

mite x. Concluimos que
f () = l f (xn ) = l xn+1 = x ,
x
m
m
y entonces x es un punto jo de f en . Hemos demostrado la existencia
del punto jo. Para probar unicidad, supongamos que existen x1 , x2

con x1 = f (1 ), x2 = f (2 ). Entonces
x
x
x1 x2 = f (1 ) f (2 ) K x1 x2 ,
x
x
y se sigue que (1 K) x1 x2 0. Como K < 1, deducimos que
x1 x2 = 0, es decir x1 = x2 . Hemos probado que slo un punto jo
o
de f existe.
Ejemplo 1.1. Consideremos la funcin f del Ejemplo 5.1. Seg n
o
u
vimos, f es Lipschitz en R2 con constante
1
(1 + e1 ) < 1.
2
De acuerdo con el teorema anterior, f posee un unico punto jo en R2
(R2 es obviamente un conjunto cerrado!). Esto signica que el sistema

no-lineal de ecuaciones
K =
2 x + sin y = 0 ,
2
6 + ex 2y = 0 .
posee una unica solucin (x, y) R2 .
o
Ejemplo 1.2. El Teorema 1.1 deja de ser cierto si suponemos slo
o
que K 1. En efecto, la funcin f : R2 R2 denida por f (x, y) =
o
(x + a, y + b) con a, b R \ {0} es Lipschitz con constante K = 1 y su
dominio R2 es un conjunto cerrado. Sin embargo, es evidente que f no
tiene ning n punto jo.
u
74

ICITA
El Teorema del Punto Fijo de Banach tiene una importante consecuencia que ser util ms adelante para demostrar el Teorema de la
a
a
Funcin Inversa.
o
Proposicion 1.1. Sea : B(0, R) RN RN con (0) = 0, una

funcin contractante, con constante 0 < < 1, esto es
o
(x1 ) (x2 ) x1 x2
x1 , x2 B(0, R).
La funcin g, denida como g(x) = x (x), es inyectiva en B(0, R).

o
Ms precisamente, se tiene que
a
x1 x2
1
g(x1 ) g(x2 )
1
x1 , x2 B(0, R) .
Por otra parte, para todo y B(0, (1 )R), la ecuacin

o
g(x) = y
posee una unica solucin x B(0, R). Ms an, V = g(B(0, R)) es un
o
a u
conjunto abierto.
Demostracin. Sea y B(0, (1 )R), y consideremos la ecuacin
o
o
g(x) = y, que se escribe
y (x) := (x) + y = x
La funcin y es claramente contractante en B(0, R). Adems, si x

o
a
R) entonces
B(0,
= (x) (0) + y
(x) (0) + y
x + y
< R + (1 )R = R
y (x) < R
y (x)
de modo que y (x) B(0, R). Tenemos en particular que y aplica
el cerrado B(0, R) en s mismo. Por el Teorema 1.1, tenemos que la
ecuacin x = y (x) posee una unica solucin x en B(0, R), que gracias
o
o
a la ultima desigualdad est en realidad en B(0, R). As la ecuacin
a
,
o
1
g(x) = y tiene una unica solucin en B(0, R). Sean x1 = g (y1 ),
o
x2 = g 1(y2 ). Entonces
x1 x2 = (x1 ) (x2 ) + y1 y2
y por lo tanto
x1 x2 (x1 ) (x2 ) + y1 y2 x1 x2 + y1 y2 .

2. LOS TEOREMAS DE LA FUNCION INVERSA E IMPL
ICITA
75
Deducimos que
1
y1 y2 .
1
Slo resta demostrar que g(B(0, R)) es abierto. Sea y0 g(B(0, R)),
o
de modo que y0 = g(x0 ) con x0 B(0, R). Existe entonces > 0 tal
que B(x0 , ) B(0, R). Denamos
g 1(y1 ) g 1(y2 )
x
() = ( + x0 ) (x0 ) .
x
es claramente contractante de constante en B(0, ) con (0) = 0.

Por lo tanto, si y B(y0 , (1 )) y = y y0 B(0, (1 )), y
de acuerdo a lo ya demostrado, existe una solucin x B(0, ) de la

o
ecuacin
o
x () = y ,
x
esto es
x (x0 + x) + (x0 ) = y y0 .
Como x0 (x0 ) = y0 Concluimos que
x0 + x (x0 + x) = y,
y por lo tanto x = x0 + x B(x0 , ) satisface que g(x) = y, esto es,
y g(B(x0 , )) g(B(0, R)). Hemos demostrado que

y0 g(B(0, R)) , > 0 : B(y0 , (1 )) g(B(0, R)) ,
y por lo tanto todo punto de g(B(0, R)) es interior. Luego g(B(0, R))
es abierto, lo que concluye la demostracin.
o
2.
Los Teoremas de la Funcin Inversa e Impl

o
cita
Consideremos una funcin F : R2 R de clase C 1 . Un probleo

ma natural es entender la estructura del conjunto de puntos, en R2 que
satisfacen la ecuacin F (x, y) = 0. Como ya hemos discutido antes, se
o
espera muchas veces que esta relacin dena una curva, lo que hemos
o
entendido como el hecho que localmente, esto es en una vecindad de
cada uno de sus puntos, la relacin en realidad puede describirse como
o
el grco de una funcin de una variable, ya sea y como funcin de x,
a
o
o
o x como funcin de y. Supongamos que ste es el caso. En torno a un
o
e
punto (x0 , y0 ) de la relacin, existe una funcin y = (x) cuyo grco
o
o
a
la describe en una vecindad de (x0 , y0). Es decir, (x0 ) = y0 y existe
> 0 tal que
F (x, (x)) = 0
para todo x ]x0 , x0 + [.
76

ICITA
Supongamos que (x) es diferenciable. Entonces, por la regla de la

cadena,
F
F
(x, (x)) +
(x, (x)) (x) = 0 para todo x ]x0 , x0 + [.
x
y
En particular en x = x0 obtenemos
F
(x0 ) =
(x0 , y0 )
y
F
(x0 , y0)
x
o
cita
siempre que se tenga F (x0 , y0) = 0. El Teorema de la Funcin Impl
y
es una suerte de rec
proca de esta armacin: Si F (x0 , y0 ) = 0 entonces
o
y
una funcin (x) con las caracter
o
sticas antes mencionadas en efecto
existe. Probaremos sto en realidad para funciones de varias variables
e
del tipo
F : RN Rm Rm , (x, y) F (x, y)
de clase C 1 , solo que en este caso la condicin F (x0 , y0 ) = 0 debe
o y
reemplazarse por la invertibilidad de la matriz derivada de F tomada
parcialmente respecto a y. En efecto, si F (x0 , y0 ) = 0 y hay una funcin
o
de clase C 1 , y = (x) tal que F (x, (x)) = 0 para todo x en una
vecindad de x0 entonces la regla de la cadena nos dice que
F (x, (x))
IN N
= 0,
(x)mN
donde I es la matriz identidad. Obtenemos entonces que

F (x0 , y0 )
IN N
= 0.
(x0 )mN
Denotemos entonces
Fy (x0 , y0 ) =
F
F
(x0 , y0)
(x0 , y0)
y1
ym
y anlogamente Fx (x0 , y0) de modo que

a
F (x0 , y0) = [Fx (x0 , y0 ) Fy (x0 , y0 )]
y el producto anterior se convierte en la relacin matricial
o
Fx (x0 , y0 ) + Fy (x0 , y0 ) (x0 ) = 0,
y as si la matriz Fy (x0 , y0 ) es invertible, podemos despejar
,
(x0 ) = Fy (x0 , y0)1 Fx (x0 , y0 ) .
Antes de enunciar y demostrar este teorema, nos centraremos en un
caso especial, el Teorema de la Funcin Inversa, del cual deduciremos el
o
caso general. Analizaremos el caso en que F es una funcin de la forma
o

ICITA
77
F (x, y) = f (x) y, con f : RN RN . Notemos que despejar x en

funcin de y de la relacin f (x) y = 0 cerca de un par dado (x0 , y0)
o
o
que la satisface, corresponde al problema de encontrar una inversa local
x = f 1 (y), la que resulta de hecho existir y adems ser de clase C 1
a
bajo el requerimiento que la matriz f (x0 ) sea invertible. El teorema se
enuncia como sigue.
Teorema 2.1. (Teorema de la Funcin Inversa)
o
Sea f : RN RN , una funcin de clase C 1 () con abierto y
o
x0 . Supongamos que f (x0 )1 existe. Entonces existe U, un abierto
contenido en que contiene a x0 , tal que V = f (U) es un abierto y
f :U V
es inyectiva. Entonces la funcin
o
f 1 : V U
es diferenciable, con derivada continua en V. Se tiene adems la frmua
o
la
(f 1 ) (y) = f (f 1 (y))1 y V .
Demostracin. Consideremos la ecuacin f (x) = y para y cerca de
o
o
y0 = f (x0 ), y x cerca de x0 . Escribiendo x = x0 + h, esta ecuacin es
o
equivalente a f (x0 + h) = y, la que reenunciamos como
(2.2) h f (x0 )1 (f (x0 + h) f (x0 ) f (x0 )h) = f (x0 )1 (y0 y) .
Consideremos entonces la funcin
o
(h) = f (x0 )1 (f (x0 + h) f (x0 ) f (x0 )h) .
Entonces (0) = 0. Adems,
a
(h) = f (x0 )1 (f (x0 + h) f (x0 )) .
Como Im(f ) RN podemos descomponer en sus funciones coordenadas, es decir,

(x) = (1 (x), 2 (x), . . . , N (x))
De esta forma
1 (h)

(h) = .
N (h)
78

ICITA
Por la hiptesis sobre la regularidad de f , i (h) = i (h)T es una

o
funcin continua, y tenemos adems i (0) = 0. Fijemos un n mero
o
a
u
> 0 tal que para todo i = 1, . . . , N,
1
i (h)
h B(0, ).
2N
Sean k1 , k2 B(0, ). Entonces k1 + t(k2 k1 ) B(0, ) para todo

t [0, 1]. Por el Teorema del Valor Medio, existe ]0, 1[ tal que
i (k2 ) i (k1 ) = i (k1 + (k2 k1 )) (k2 k1 ),
de modo que por la desigualdad de Cauchy-Schwartz,
1
|i (k2 ) i (k1 )| i (k2 + (k2 k1 )) k2 k1 k2 k1 .
2 N
Concluimos, sumando, que
N
(k2 ) (k1 ) =
i=1
|i (k2 ) i (k1 )|2
1
k2 k1
2
o
y entonces es contractante de constante = 1 en B(0, ). Las hipte2
sis de la Proposicin 1.1 se cumplen para y concluimos que la ecuacin
o
o
(2.2) posee una unica solucin h B(0, ) para cada y que satisfaga
o
f (x0 )1 (y0 y) < (1 ).
Ms a n, la funcin
a u
o
g(h) = h (h) = 2h f (x0 )1 [f (x0 + h) f (x0 )]
es inyectiva, g(B(0, )) es abierto y la inversa de g sobre este ultimo
conjunto es Lispchitz. Concluimos que f (x) = f (x0 )g(xx0 ) + f (x0)

es tambin inyectiva, y tambin que V = f (B(x0 , )) es abierto. La
e
e
inversa de f es tambin Lipschitz, en particular continua, sobre todo
e
V. Se propone al lector la vericacin en detalle de estos ultimos hechos.
o
Nos resta demostrar que la inversa de f es diferenciable.

Consideremos un y f (B(x0 , )) y y = f (x). Suponemos, reduciendo si es necesario, que la inversa f (x)1 existe para todo x B(x0 , ).
Tomemos k peque o y denotemos
n
h(k) = f 1 (y + k) x.
Deniendo la funcin de error (k) := f 1 (y + k) f 1 (y) f (x)1 k

o
y notando la relacin f (x + h(k)) f (x) = k, se tiene que
o
(k) = h(k) f (x)1 (f (x + h(k)) f (x))
= f (x)1 [f (x + h(k)) f (x) f (x)h(k)] .

ICITA
79
Notemos que h(0) = 0 y que h es Lipschitz pues f 1 lo es. Entonces

h(k) = h(k) h(0) C k 0 ,
para cierto C > 0, de modo que
h(k)
k
C. Tenemos,
(k)
h 1 f (x + h) f (x) f (x)h
=
f (x)
k
k
h
Notemos que f (x) es una matriz constante y h(k) es una funcin

o
k
acotada. Adems como h(k) 0 cuando k 0 , y ya que f es difea
renciable en x, se concluye
(k)
=0
k0 k
l
m
y entonces f 1 es diferenciable en y con f 1 (y) = f (f 1 (y))1. Esta

ultima frmula dene adems una funcin continua de y, pues f 1 es
o
a
o
continua al ser Lipschitz, y la aplicacin x f (x)1 a valores matrio
ciales tiene componentes continuas. Proponemos al lector la vericacin
o
en detalle de este hecho y concluir la demostracin.
o
Ejemplo 2.1. La hiptesis de continuidad de la derivada es neceo
saria para la validez del teorema anterior. En efecto, consideremos la
funcin de una variable
o
1
x + x2 sin x si x = 0 ,
f (x) =
0
si x = 0 .
Notemos que f es diferenciable en todo R. En efecto, para x = 0 esto
es claro. Si x = 0 se tiene
f (h) f (0)
1
f (0) = l
m
= l 1 + h sin = 1 = 0.
m
h0
h0
h
h
Por otra parte, f no es inyectiva en ningn intervalo abierto que conu

tiene a 0. En efecto, si x = 0,
1
1
f (x) = 1 cos + 2x sin .
x
x
Consideremos las sucesin que tiende a cero
o
1
,
xk =
2k
y notemos que
f (xk ) = 0,
f (xk ) = 4k < 0.
As f tiene un mximo local estricto en cada xk y f por ende no es

,
a
inyectiva en un entorno de xk . Como todo intervalo que contiene a 0
80

ICITA
contiene una innidad de estos xk , concluimos el resultado: f no es

inyectiva en en ninguno de estos intervalos.
Ejemplo 2.2. Consideremos la funcin f (x, y) = (x + y 2 , x2 + y).
o
La funcin es de clase C 1 y su derivada es
o
f (x, y) =
1 2y
,
2x 1
de modo que f (0, 0) es invertible. Tambin tenemos que f (0, 0) =

e
(0, 0). De inmediato concluimos que f es invertible en un entorno del
1 0
origen y la derivada de la funcin inversa es
o
.
0 1
Como dijimos antes, la consecuencia principal del Teorema de la
Funcin Inversa es el Teorema de la Funcin Impl
o
o
cita, que se reere
a la posibilidad de despejar la variable y en trminos de x en un
e
sistema de ecuaciones de la forma
f (x, y) = 0,
x RN , y Rm ,
donde f : RN Rm Rm es una funcin de clase C 1 . Consideremos

o
las derivadas parciales matriciales
fy (x0 , y0) =
fx (x0 , y0 ) =
f
f
(x0 , y0 )
(x0 , y0 )
y1
ym
mm
f
f
(x0 , y0)
(x0 , y0 )
x1
xN
mN
,
.
Este resultado enuncia bsicamente que si f (x0 , y0 ) = 0 y la matriz

a
fy (x0 , y0 ) es invertible, entonces puede despejarse y en funcin de x en
o
una vecindad de x0 como una funcin de clase C 1 cuyo valor en x0 es
o
y0 .
Teorema 2.2. (Teorema de la Funcin Impl
o
cita)
Sean RN y Rm conjuntos abiertos y
f : Rm ,
(x, y) f (x, y)
una funcin de clase C 1 ( ). Supongamos que (x0 , y0 ) es

o
tal que f (x0 , y0 ) = 0 y que la matriz fy (x0 , y0 ) de tama o m m es
n
invertible. Entonces existe un abierto U con x0 U y una unica
funcin : U de clase C 1 (U) tal que

o
f (x, (x)) = 0
x U .

ICITA
81
Demostracin. Consideremos la funcin

o
o
denida por
F : RN Rm ,
F (x, y) =
x
f (x, y)
F es claramente de clase C 1 ( ) y su derivada en (x0 , y0 ) es la

matriz cuadrada (N + m) (N + m) dada por
F (x0 , y0 ) =
IN N
ON m
fx (x0 , y0 ) fy (x0 , y0 )
Aqu IN N denota la matriz identidad de tama o N N y ON m la
n
matriz nula de tama o N m. Armamos que esta matriz es invertible.
n
En efecto, si
F (x0 , y0 )h =
IN N
ON m
fx (x0 , y0 ) fy (x0 , y0 )
h1
h2
0
,
0
h1
h2
RN Rm
entonces
h1 = 0, fx (x0 , y0)h1 + fy (x0 , y0 )h2 = 0 .
Por lo tanto fy (x0 , y0)h2 = 0, y como esta matriz es invertible, se sigue
que h2 = 0. Entonces h = 0, lo que implica que la inversa F (x0 , y0 )1
existe. Por el Teorema de la Funcin Inversa, concluimos que existe una
o
vecindad del punto (x0 , y0 ) cuya imagen a travs de F es un abierto,
e
donde F es inyectiva, y posee una inversa de clase C 1 . Empeque ecienn
do esta vecindad si es necesario, la podemos suponer de la forma W V
con x0 W, y0 V. Como
x0
,
0
F (x0 , y0 ) =
y como existe U Z una peque a vecindad de (x0 , 0), entonces para

n
todo punto (x, z) U Z la ecuacin
o
F (t, y) =
x
z
posee una unica solucin (t, y) W V, que dene una funcin de
o
o
1
clase C
(x, z)
F 1 (x, z) = 1
.
2 (x, z)
Las funciones 1 y 2 son de clase C 1 en U Z, con 1 (x0 , 0) = x0 y
2 (x0 , 0) = y0 . Tenemos que
F (1 (x, z), 2 (x, z)) =
1 (x, z)
x
=
.
f (1(x, z), 2 (x, z))
z
82

ICITA
En particular, para todo x U se tiene que (x, 0) U Z y

1 (x, 0)
x
=
.
f (1(x, 0), 2 (x, 0))
0
Esto es 1 (x, 0) = x y f (x, 2 (x, 0)) = 0. El resultado se concluye

tomando la funcin (x) =: 2 (x, 0).
o
Ejemplo 2.3. Consideremos el sistema de dos ecuaciones y tres
incgnitas
o
x2 y x5 yt + 3(t2 1) = 0
x3 y 2 4xyt2 + 3t5 = 0.
Observemos que este sistema tiene a (x, y, t) = (1, 1, 1) como solucin.
o
Sea
x2 y x5 yt + 3(t2 1)
F (x, y, t) =
.
x3 y 2 4xyt2 + 3t5
Vemos que
F (x, y, t) =
de modo que
2xy 5x4 yt
x2 x5 t
x5 y + 6t
2 2
2
3
2
3x y 4yt 2x y 4xt 8xyt + 15t4
F (1, 1, 1) =
3 0 5
1 2 7
3 0
.
1 2
Esta matriz es invertible, de modo que por el Teorema de la Funcin
o
Impl
cita pueden despejarse x e y como funciones de t de manera C 1
en una vecindad de t = 1. Ms precisamente, existe > 0 y funciones
a
F(x,y) (1, 1, 1) =
x :]1 , 1 + [ R,
y :]1 , 1 + [ R
de clase C , tales que x(1) = 1, y(1) = 1, y

x2 (t)y(t) x5 (t)y(t)t + 3(t2 1) = 0
x3 (t)y 2 (t) 4x(t)y(t)t2 + 3t5 = 0
para todo t ]1 , 1 + [ .
Podemos adems calcular las derivadas x (1), y (1), por ejemplo mea
diante derivacin impl
o
cita de estas relaciones. Obtenemos de ellas
2xx y + x2 y 5x4 x yt x5 y t x5 y + 6t = 0
3x x y + 2x3 yy 4x yt2 4xy t 8xyt + 15t4 = 0
2 2
para todo t ]1 , 1 + [, y evaluando en t = 1,

3x (1) + 5 = 0
x (1) 2y (1) + 7 = 0.

ICITA
83
Este sistema lineal nos entrega los valores

8
5
x (1) = , y (1) = .
3
3
Alternativamente, podr
amos haber calculado esta derivada a partir de
la frmula matricial
o
x (1)
3 0
= F(x,y) (1, 1, 1)1 Ft (1, 1, 1) =
y (1)
1 2
que corresponde precisamente al sistema que resolvimos.
5
,
7
84

ICITA
3.
Problemas Cap
tulo 4
y y3
y2
x3
P1.- Pruebe que la funcin f (x, y) = x + , y
o
x+
2
6
2
6
admite una inversa local de clase C 1 (R2 ) entorno al punto (0, 0).
Calcule adems la derivada de f 1 en (0, 0).
a
P2.- Considere el siguiente sistema de ecuaciones
3x + 2y + z 2 + u + v 2 = 0
4x + 3y + z + u2 + v + w + 2 = 0
x + z + w + u2 + 2 = 0
i) Muestre que es posible despejar u, v y w en funcin de x, y, z
o
en una vecindad del punto
(x, y, z, u, v, w) = (0, 0, 0, 0, 0, 2)
ii) Calcule
u
v
w
(0, 0, 0),
(0, 0, 0) y
(0, 0, 0)
x
x
x
P3.- Considere el siguiente sistema
xy + uy 3 v + vx2 = 0
x2 y + x + x2 u2 + u + yv 3 + v = 0
Demuestre que en alguna vecindad del punto (x0 , y0 , u0 , v0 ) =
(0, 0, 0, 0) las variables (u, v) pueden ser despejadas en funcin
o
v
de (x, y). Encuentre adems
a
(0, 0)
x
P4.- Sea G(x, y, z) una funcin clase C 2 (R3 ) tal que
o

1 0
1
G(1, 0, 1) = 0 , G (1, 0, 1) = 0 4
0 0
1
G(1, 0, 1) = 0 y
0
0
3
Muestre que existe un abierto R2 que contiene al punto

(1, 0) y una funcin f : R2 R de clase C 2 () tal que
o
f (1, 0) = 1 y G(x, y, f (x, y)) = 0 (x, y) .
Calcule la matriz f (1, 0).
3. PROBLEMAS CAP
ITULO 4
85
P5.- Considere la transformacin

o
x
x
F (x, y) = x + 2
, y + 2
2
x +y
x + y2
denida en D+ = {(x, y) R2 / x2 + y 2 < 1, y > 0}.
Demuestre que F 1 est denida entorno de (0, 1) y encuentre

a
la derivada de F 1 es este punto.
P6.- Considere f (x, y) = x2 + y 2 1 y g(x, y) = sin(xy).
Para todo > 0 denamos
h(x, y, ) = f (x, y) + g(x, y)
Demuestre que existe una funcin (x, ) tal que (1, 0) = 1 y

o
h(x, (x, ), ) = 0 entorno del punto (x0 , 0 ) = (1, 0). Luego,
encuentre la derivada de en (1, 0).
P7.- Considere el sistema de ecuaciones
x1 x2 = 1
2
x1 x2 x3 + x2 x2 = 2
1 2
x1 x2 = 1
4
Demuestre que en torno a cualquier punto (x1 , x2 , x3 , x4 ) que
satisface el sistema, es posible despejar tres variables en funcin
o
de la cuarta. Es decir, el sistema dene una curva.
Se sabe que (1, 1, 1, 1) satisface este sistema. Encuentre el vector
tangente a la curva en ese punto.
P8.- Considere el sistema de ecuaciones
xzt + xy y 2 t + 2 = 0
cos(xt) + zy 2 = 0
i) Muestre que existe denida en una vecindad de (0, 1) de

clase C 1 tal que las soluciones del sistema en torno al punto
(x0 , y0, z0 , t0 ) = (0, 1, 1, 2) tiene la forma (z, t) = (x, y).
ii) Es invertible en torno de (0, 1)?
Cap
tulo 5
Derivadas de orden superior

1.
Derivadas parciales sucesivas
Si las derivadas parciales de f denen funciones en est la posibia

lidad de que ellas mismas puedan derivarse. Supongamos que RN
es un abierto, f : Rm y que la derivada parcial
f
(x) existe x .
xj
Consideremos la funcin
o
f
: Rm ,
xj
f
(x) .
xj
En caso de existir, la derivada parcial respecto a xi en un punto x0 de

esta funcin se denota del modo siguiente:
o
xi
f
xj
(x0 ) =:
2f
(x0 ).
xi xj
Si i = j, denotamos tambin
e
2f
2f
(x0 ).
(x0 ) =:
xi xi
x2
i
Esta denicin se extiende inductivamente a derivadas parciales de
o
cualquier orden k. As si (i1 , i2 , . . . , is ) es una s-tupla de
,
ndices il
{1, . . . , N} denotamos, en caso de existir:
xi1
xi2
xis1
f
xis
(x0 ) =:
sf
(x0 ) .
xi1 xi2 xis
Esta es la expresin en notacin de Leibnitz. Es tambin com n utilizar

o
o
e
u
la notacin
o
sf
(x0 ) =: fxis xis1 xi1 (x0 ).
xi1 xi2 xis
2
Ejemplo 1.1. Consideremos la funcin f (x, y) = exy sin y.

o
Entonces
f
f
2
2
2
= y 2exy sin y,
= 2xyexy sin y + exy cos y ,
x
y
87
88
5. DERIVADAS DE ORDEN SUPERIOR
y tenemos, para las segundas derivadas parciales,

2f
2
= y 4 exy sin y,
2
x
2f
2
= exy [(4x2 y 2 + 2x 1) sin y + 4xy cos y] ,
2
y
2f
2
= exy [(2y + 2xy 3 ) sin y + y 2 cos y] ,
yx
2f
2
= exy [(2y + 2xy 3 ) sin y + y 2 cos y] .
xy
Observemos que
2f
2f
(x, y) =
(x, y)
yx
xy
para todo (x, y). Esto parece una coincidencia ya que los valores de las
derivadas sucesivas fueron obtenidos en modos bastante distintos, aun
cuando la siempre provocativa notacin de Leibnitz sugiere que los
o
diferenciales y y x podr ser intercambiados. Esto es en realidad
an
cierto en gran generalidad, como enuncia el siguiente resultado.
Teorema 1.1. (Teorema de Schwartz)
Supongamos que RN es un abierto, f : Rm y que las segundas
derivadas parciales
2f
(x),
xi xj
2f
(x),
xj xi
existen
y denen funciones continuas en x0 . Entonces,

2f
2f
(x0 ) =
(x0 ) .
xi xj
xj xi
Demostracin. Supongamos primero que N = 2, m = 1. Considereo

mos la siguiente cantidad:
(h1 , h2 ) = f (x01 + h1 , x02 + h2 ) f (x01 + h1 , x02 ) f (x01 , x02 + h2 )
+f (x01 , x02 ).
Sea
(t) = [f (x01 +t, x02 +h2 )f (x01 , x02 +h2 )][f (x01 +t, x02 )f (x01 , x02 )] .
Por el Teorema del Valor Medio de funciones de una variable, tenemos
que existe un th entre 0 y h1 tal que
(h1 ) (0) = (th )h1 ,
1. DERIVADAS PARCIALES SUCESIVAS
89
lo que quiere decir exactamente

(h1 , h2 ) = h1
f
f
(x01 + th , x02 + h2 )
(x01 + th , x02 )
x1
x1
Nuevamente por el Teorema del Valor Medio, existe un valor sh entre

0 y h2 tal que
f
f
2f
(x01 +th , x02 +h2 )
(x01 +th , x02 ) =
(x01 +th , x02 +sh )h2 .
x1
x1
x2 x1
Por lo tanto, como (th , sh ) (0, 0) si (h1 , h2 ) (0, 0), obtenemos,
2f
(x01 + th , x02 + sh )
(h1 ,h2 )(0,0) x2 x1
2f
=
(x01 , x02 )
x2 x1
(h1 , h2 )
=
(h1 ,h2 )(0,0)
h1 h2
l
m
l
m
f
a
gracias a la continuidad de x2 x1 en (x01 , x02 ). Por un argumento anlogo, aplicando el Teorema del Valor Medio primero en la segunda variable y luego en la primera, podemos tambin concluir que
e
(h1 , h2 )
2f
=
(x01 , x02 ),
(h1 ,h2 )(0,0)
h1 h2
x1 x2
l
m
y el resultado deseado se cumple. Si N > 2, m = 1, el resultado se

sigue de aqul para dos variables, pues en la derivacin parcial solo
e
o
las variables xi y xj estn en juego, permaneciendo las otras constana
tes. Si m > 1, basta aplicar el resultado a cada una de las funciones
coordenadas. Esto concluye la demostracin.
o
El resultado anterior se generaliza por induccin a derivadas de
o
mayor orden. Por ejemplo, si las terceras derivadas parciales
3f
3f
3f
3f
(x),
(x),
(x),
(x),
x1 x2 x3
x2 x1 x3
x3 x1 x2
x3 x2 x1
existen en todo x y denen funciones continuas en entonces
todas coinciden.
En general, si todas las derivadas parciales de orden k de f existen
en y denen funciones continuas, entonces pueden expresarse todas
en la forma
k f
,
x1 x2 xN
1
2
N
i 0,
i = k,
i=1
con la convencin que i = 0 signica que no hay derivacin en la

o
o
variable xi .
90
Si todas las derivadas parciales de orden k de f existen en y

denen funciones continuas, decimos que la funcin f es k veces cono
tinuamente diferenciable en o que f es de clase C k en . El espacio
vectorial de estas funciones se denota C k (). Si f C k () para todo
k decimos que la funcin es de clase C ().
o
La hiptesis de continuidad de las segundas derivadas parciales en
o
el Teorema de Schwartz es esencial, como muestra el siguiente ejemplo.
Ejemplo 1.2. Denamos
f (x, y) =
xy(x2 y 2 )
x2 +y 2
si (x, y) = (0, 0)
si (x, y) = (0, 0).
Se deja al lector vericar que:

f
(x, y) =
x
y(x4 +4x2 y 2 y 4 )
(x2 +y 2 )2
si (x, y) = (0, 0)
si (x, y) = (0, 0)
2f
(0, 0) = 1
yx
mientras que
f
(x, y) =
y
2 2
+4x
x(y (x2 +yy )x
2 2
0
4)
si (x, y) = (0, 0)
si (x, y) = (0, 0)
2f
(0, 0) = 1
xy
2.
Segundo orden: La matriz Hessiana
En el importante caso de funciones a valores reales: Sea RN

abierto, y f : R tal que todas sus segundas derivadas parciales
existen y son continuas en (esto es f es de clase C 2 ()). La nocin de
o
segunda derivada se extiende del modo siguiente. Notando que la funcin f : RN , x f (x) es de clase C 1 , llamamos a su derivada
o
en x0 , segunda derivada de f en x0 . As denotamos naturalmente
,
f (x0 ) = (f ) (x0 ) .
f (x0 ) es una matriz cuadrada N N, a la que tambin se le llama
e
com nmente matriz Hessiana de f en x0 . Describmosla en modo ms
u
a
a
expl
cito. Gracias a la frmula (5.8), tenemos que
o
3. APROXIMACIONES DE TAYLOR
91
f
(x)
x1
(x)
T
.
f (x) = f (x) =
f
(x)
xN
y que, por la Proposicin 3.2
o
(2.1)
2f
2f
(x0 )
(x0 )
x2
x2 x1
2f
2f
(x0 )
(x )
x1 x2 0
x2
2
f (x0 ) = (f ) (x0 ) =
2f
f
(x0 )
(x0 )
x1 xN
x2 xN
Entonces
2f
(x0 )
.
f (x0 ) =
xi xj
i,j{1,...,N }
2 f1
(x0 )
xN x1
2 f2
(x0 )
xN x2
2f
(x0 )
2 xN
Note que gracias al Teorema de Schwartz, esta matriz es simtrica.

e
2
Ejemplo 2.1. Consideremos la funcin f (x, y) = xexy . Entonces,

o
f (x, y) = exy
3.
2y 2 + xy 4 4xy + 2x2 y 3
.
4xy + 2x2 y 3 2x2 + 4x3 y 2
Aproximaciones de Taylor
El Teorema de Taylor para funciones de una variable admite una

extensin al contexto presente. Recordemos que si f :]a, b[ R es deo
rivable m veces en ]a, b[ y x0 , x0 + h ]a, b[, entonces vale la siguiente
expresin, extensin del Teorema de Valor Medio.
o
o
m1
f (k) (x0 )
f (x0 + h) =
k=0
hk
hm
+ f (m) (x0 + h)
k!
m!
92
donde depende de h y ]0, 1[. Sean
hm
hk
, Rm (h) = f (m) (x0 + h)
.
k!
m!
Usamos aqu la convencin T0 (h) = f (x0 ). As
o
,
Tk (h) = f (k) (x0 )
m1
(3.2)
f (x0 + h) =
Tk (h) + Rm (h) .
k=0
El polinomio de Taylor en h de grado m 1,

m1
Pm1 (h) =
Tk (h)
k=0
es una aproximacin de f (x0 + h) que para h peque o deja un reso

n
to Rm (h) de tama o comparable a |h|m . Extenderemos la frmula
n
o
(3.2) al caso de varias variables, donde Tk (h) es un polinomio en h =
(h1 , . . . , hN ) de grado k, que adems es homogneo , es decir Tk (th) =
a
e
k
t Tk (h) para todo t. En otras palabras, todos los trminos de este polie
nomio tienen grado exactamente k. Sus coecientes estn determinados
a
por las derivadas parciales de orden k de f .
Teorema 3.1. (Teorema de Taylor)
Sea f : RN R, abierto. Supongamos que f es de clase C m (),
para m 1. Sean x0 y h RN tal que x0 + t h para todo
t [0, 1]. Vale entonces la siguiente expansin.
o
m1
(3.3)
Tk (h) + Rm (h) ,
f (x0 + h) =
k=0
donde T0 (h) = f (x0 ), y para k {1, . . . , m 1},

N
(3.4)
Tk (h) =
i1 =1 i2 =1
1
Rm (h) =
m! i
1 =1 i2 =1
ik
k f
(x0 )hi1 hik ,
xi1 xik
=1
im
mf
(x0 + h)hi1 him ,
xi1 xim
=1
con = h ]0, 1[.

Demostracin. Consideremos la funcin de una variable : R R
o
o
(t) = f (x0 + th). El Teorema de Taylor en una variable nos dice que
m1
(3.5)
(1) = (0) +
k=1
1 (m)
1 (k)
(0) +
()
k!
m!
93
con ]0, 1[. Tenemos que (1) = f (x0 + h), (0) = f (x0 ). Investiguemos las derivadas de . Tenemos que
(t) = f (x01 + th1 , . . . , x0N + thn ).
As por la regla de la cadena tenemos que
,
N
(t) =
fxi1 (x01 + th1 , . . . , x0N + thn )hi1 .

i1 =1
Derivando esta expresin una vez ms encontramos

o
a
N
(t) =
i1
d f
(x01 + th1 , . . . , x0N + thn )hi1
dt xi1
=1
=
i1 =1 i2
2f
(x01 + th1 , . . . , x0N + thn )hi1 hi2 .
xi2 xi1
=1
Iteramos este procedimiento y encontramos

N
(t) =
i1 =1 i2 =1 i3
3f
(x01 + th1 , . . . , x0N + thn )hi1 hi2 hi3 .
xi3 xi2 xi1
=1
Continuando, encontramos en general

N
(k)
(t) =
i1 =1 i2 =1
ik
k f
(x0 + th)hi1 hik .
xi1 xik
=1
El resultado deseado se obtiene entonces de inmediato a partir de la

expansin (3.5).
o
Analicemos el caso especial cuando m = 2. En este caso la frmula
o
(3.3)-(3.4) se reduce simplemente a
N
f (x0 + h) = f (x0 ) +
i=1
f
1
(x0 )hi +
xi
2
i=1 j=1
f 2
(x0 + h)hi hj .
xi xj
Recordando las frmulas que denen el vector gradiente f (x0 ) en

o
(5.8) y la matriz Hessiana f (x0 ) en (2.1), obtenemos el Teorema de
Taylor para una funcin f : R de clase C 2 (),
o
(3.6)
1
f (x0 + h) = f (x0 ) + f (x0 ) h + hT f (x0 + h)h
2
Para el caso de una funcin de dos variables, es posible expresar la

o
frmula de Taylor (3.3)-(3.4) en un modo ms eciente. Observemos
o
a
94
que el k-simo termino en la expansin queda en tal caso dado por

e
o
Tk (h) =
1
k! i
1 =1 i2 =1
ik
k f
(x0 )hi1 hik .
xi1 xik
=1
Como la derivacin parcial en distintas variables conmuta, muchos

o
trminos en la expresin anterior coinciden. Es conveniente reescribir
e
o
esta expresin como
o
Tk (h) =
1
k!
i1 =1 i2 =1
hi1
ik =1
xi1
hik
xik
f (x0 ) .
Los operadores diferenciales en esta expresin conmutan, por lo que

o
pueden reagruparse en su aplicacin tal como lo har
o
amos con el producto de n meros. Recordemos que (para n meros) tenemos la forma
u
u
del binomio
2
(a1 + a2 ) =
i1 =1 i2 =1
ik =1
ai1 aik =
j=0
k
j
kj
aj a2 ,
1
k!
,
(k j)!j!
y obtenemos entonces en modo similar
k
j
Tk (h) =
1
k!
h1
+ h2
x1
x2
f (x0 ) ,
lo que quiere decir exactamente

Tk (h) =
1
k!
j=0
k
j
k f
kj
xj x2
1
kj
(x0 )hj h2 ,
1
As para una funcin de dos variables, la frmula de Taylor (3.3) puede

,
o
o
escribirse compactamente como
m1
(3.7)
f (x0 + h) =
k=0 j=0
m
Rm (h) =
j=0
kj
hj h2
k f
1
(x0 ) + Rm (h) ,
kj
(k j)!j! xj x2
1
hj hmj
mf
1 2
(x0 + h) .
(m j)!j! xj xmj
1
2
Para el caso de una funcin de N variables, N > 2, es posible tamo

bin obtener expresiones ms econmicas para el Teorema de Taylor.
e
a
o
95
Puede decirse en general, que el trmino Tk (h) puede ser expresado oe

peracionalmente como
k
Tk (h) =
h1
+ h2
+ + hN
f (x0 ) ,
k!
x1
x2
x1
y puede recurrirse a la frmula del multinomio para expresar en modo
o
ms expl
a
cito esta cantidad.
Ejemplo 3.1. Consideremos la funcin
o
f (x, y) = x2 y + x cos y
y calculemos su expansin de Taylor de orden 3 en torno al punto
o
x0 = (1, 0). Tenemos:
fx = 2xy + cos y,
fy = x2 x sin y,
fxy = fyx = 2x sin y, fxx = 2y, fyy = x cos y,

fxxy = 2, fxyy = cos y, fxxx = 0, fyyy = x sin y
En virtud de la frmula (3.6), tenemos que
o
1
f (1 + h, 0 + k) = f (1, 0) + fx h + fy k + (fxx h2 + 2 fxy hk + fyy k 2)
2
1
+ (fxxx h3 + 3 fxxy h2 k + 3 fxyy hk 2 + fyyy k 3 )
6
Reemplazando en esta expansin las derivadas parciales recin calo
e
culadas queda
1
f (1 + h, 0 + k) = 1 + 1 h + 1 k + (0 h2 + 2 (2 hk) + (1) k 2 )
2
1
+ (0 h3 + 3 (2h2 k) 3 cos(k)hk 2 + (1 + h) sin(k)k 3 )
6
Finalmente la aproximacin de Taylor de orden 3 de f en torno a
o
(1, 0) es igual a
1
1
1
f (1+h, k) = 1+h+k+2hk k 2 +h2 k cos(k)hk 2 + (1+h) sin(k)k 3 ,
2
2
6
para cierto ]0, 1[ que depende de h y k.
96
4.
P1.-
Problemas Cap
tulo 5
i) Sea f (u, v) una funcin clase C 2 (R2 ) dada, y sea g(x, y)

o
una funcin denida por g(x, y) = f (ax + by, cx + dy) dono
de a, b, c, d R son constantes. Encuentre las derivadas
parciales
2g 2g
,
x2 y 2
ii) Supongamos que f satisface
2f
2f
+ 2 =1
u2
v
Encuentre a, b, c, d tales que
2g 2g
+
=1
x2 y 2
Ind.- Las constantes no son necesariamente unicas.
P2.- I) Considere u(x, y), v(x, y) funciones clase C 2 (R2 ) tales que
u
v
u
v
(x, y) R2 :
(x, y) =
(x, y) y
(x, y) = (x, y)
x
y
y
x
Verique que (x, y) R2 :
2u
2v
2v
2u
(x, y) + 2 (x, y) = 0 y
(x, y) + 2 (x, y) = 0
x2
y
x2
y
II) Sea f : R2 R, (u, v) f (u, v) una funcin clase C 2 (R2 )
o
tal que
2f
2f
(u, v) + 2 (u, v) = 1 (u, v) R2
u2
v
Dena la funcin g : R2 R como g(x, y) := f (u(x, y), v(x, y))
o
donde u, v son funciones como en la parte I).
Pruebe que g satisface (x, y) R2 :
2g
2g
(x, y) + 2 (x, y) =
x2
y
u
x
(x, y) +
u
y
(x, y)
4. PROBLEMAS CAP
ITULO 5
97
III) Verique que si u(x, y) = x3 3xy 2 , v(x, y) = 3x2 y y 3

entonces para g denida como en II) se cumple:
2g
2g
(x, y) + 2 (x, y) = 9(x2 + y 2 )2
x2
y
P3.- Sean u : R3 R y : R2 R funciones clase C 2 (R3 ), C 2 (R2 )
respectivamente, y sea la funcin

o
u(x, y, z) := u(x, y, w) donde w(x, y, z) = z (x, y)
Suponga adems que satisface

a
2 2
+ 2 = 0 y que
+
=1
:=
2
x
y
x
y
Pruebe que si
2u 2u 2u
u := 2 + 2 + 2 = 0 entonces
x
y
z
2
2
2
2
u u
2 u
+ 2 +2 2 2
=0
2
x
y
w
xw x
yw y
P4.-
i) Encuentre el polinomio de Taylor de orden 2 de la funcin

o
f (x, y) = sin2 (x + y) + x2 y
entorno al punto (1, 1).
ii) Pruebe que
|f (1 + h1 , 1 + h2 ) T2 (h1 , h2 )| 8 (h1 , h2 )
P5.- Encuentre la expansin de Taylor de orden 2 para

o
f (x, y, z) = ln(x2 + y 2 + z 2 )
entorno a
1
1
1
, ,
3
3
3
P6.- Sea f (x, y) = ex + sin(x + y)

i) Encuentre el polinomio de Taylor de orden 2 de f entorno
del punto (1, 0).
ii) Encuentre C R tal que para cada (x, y) que satisface
(x 1)2 + y 2 1 se tiene
|f (x, y) P2 (x, y)| (x 1, y)
98
P7.- Considermos las funciones g(x) = sen(x), h(y) = cos(y) y

f (x, y) = g(x) + h(y), con , R. Denotemos por Pg2n (x),
2n
Ph (y) y Pf2n (x, y) los polinomios de Taylor de grado 2n de
las funciones f, g y h respectivamente, con respecto al origen.
Pruebe que slo una de las siguientes armaciones es falsa, juso
ticando en cada caso.
1
a) Pg2n (x) = n
x2k1 .
k=1
(2k 1)!
(1)k 2k
2n
y .
b) Ph (y) = n
k=1
(2k)!
2n
c) Pf2n (x, y) = Pg2n (x) + Ph (y).
d) Para cada (x, y) R2 se tiene f (x, y) = l Pf2n (x, y).

m
n
Cap
tulo 6
Mximos y m
a
nimos de funciones diferenciables
En la Seccin 2 se discuti sobre la existencia de mximos y m
o
o
a
nimos de funciones continuas. Para funciones diferenciables existen varios
criterios que permite encontrar estos puntos. El gradiente es una herramienta muy util para determinar mximos y m
a
nimos locales de funciones en dominios abiertos. Para ciertos dominios cerrados emplearemos
la tcnica de los Multiplicadores de Lagrange.
e
1.
Puntos cr
ticos de funciones diferenciables
En este cap
tulo consideramos una funcin f : RN R con
o
un conjunto abierto.
La denicin bsica de inters en lo que sigue es la de punto cr
o a
e
tico
de f . Si f es una funcin diferenciable en x0 , decimos que x0 es
o
un punto cr
tico de f cuando
f (x0 ) = 0 .
Para una funcin de dos variables f (x, y), esto signica que el plano
o
tangente al grafo de f , z = f (x, y) en el punto (x0 , y0 , f (x0 , y0)) es
horizontal. En efecto, el vector normal a este plano es (f (x0 , y0), 1),
esto es (0, 0, 1), que tiene la direccin del eje z.
o
De gran importancia son los casos de un m

nimo y un mximo
a
locales de f . Decimos que x0 es un m
nimo local, si existe > 0
tal que la bola B(x0 , ) y
f (x0 ) f (x) x B(x0 , ),
es decir f (x0 ) =
m f (x) .
n
xB(x0 ,)
Similarmente, decimos que x0 es un mximo local de f , si existe

a
> 0 tal que la bola B(x0 , ) y
f (x0 ) f (x) x B(x0 , ),
es decir f (x0 ) = mx f (x) .

a
xB(x0 ,)
M
nimo local y mximo local se dicen estrictos si estas desigualdades
a
son estrictas para x = x0 .
Como en el caso de funciones de una variable, mximos y m
a
nimos
locales son puntos cr
ticos de f .
99

6. MAXIMOS Y M
INIMOS DE FUNCIONES DIFERENCIABLES
100
Proposicion 1.1. Sea f : RN R, un abierto. Supongamos que x0 es un m

nimo local de f y que f es diferenciable en x0 .
Entonces f (x0 ) = 0. Lo mismo se tiene si x0 es un mximo local.
a
Demostracin. Supongamos que f tiene un m
o
nimo local en x0 , digamos para cierto > 0,
f (x0 ) f (x) x B(x0 , ).
Para j {1, . . . , N}, consideremos la funcin

o
t ] , [ (t) := f (x0 + tej ) .
Entonces (t) (0) para todo t ] , [. Por lo tanto

(t) (0)
0 t ]0, [
t
y luego
(0) = l +
m
t0
(t) (0)
0.
t
Del mismo modo,

(t) (0)
0 t ] , 0[,
t
y (0) 0. Esto es (0) = 0. Pero, por denicin,
o
f
0 = (0) =
(x0 ) .
xi
Como esto se tiene para todo i = 1, . . . , N, concluimos que f (x0 ) = 0.
Para el caso en que x0 sea un mximo local, nos basta observar que
a
la funcin f tiene un m
o
nimo local en x0 .
De esta forma, (f )(x0 ) = f (x0 ) = 0.
Es importante discriminar si un eventual punto cr

tico de f se trata
de un mximo local, un m
a
nimo local, o ninguno de estos tipos. Como
en el caso una variable, tenemos condiciones sobre la segunda derivada.
Recordemos por ejemplo que si x0 es un punto cr
tico de una funcin
o
de una variable dos veces derivable, que es a su vez un m
nimo local,
entonces f (x0 ) 0. Rec
procamente, si f (x0 ) > 0, el punto cr
tico
es un m
nimo local. En el contexto de varias variables, f (x0 ) es una
matriz N N, cabe entonces preguntarse si alguna nocin anloga a
o
a
positividad de esta matriz juega un rol similar. De hecho, este es el
caso.
si
Sea A una matriz de N N. Decimos que A es semidenida positiva

h RN :
hT Ah 0 .
1. PUNTOS CR
ITICOS DE FUNCIONES DIFERENCIABLES
101
Por otra parte, decimos que A es denida positiva si

h RN \ {0} :
hT Ah > 0 .
Decimos que A es semidenida negativa, respectivamente denida negativa, si la matriz A es semidenida positiva, respectivamente denida
positiva.
Si A es simtrica, la positividad y semipositividad est vinculada
e
a
T
a sus valores propios. Recordemos que si A = A , entonces existe
una base ortonormal de RN constituida por vectores propios, digamos
{v1 , . . . , vN } tales que
Avi = i vi .
donde 1 , . . . , N son los valores propios de A (posiblemente repetidos).
Como A es simtrica, stos son todos reales. Notemos que
e
e
(1.1)
i = i vi
T
= vi Avi ,
i = 1, . . . , N.
Todo h RN puede escribirse en la forma

N
h=
i vi .
i=1
Como los vi constituyen una base ortonormal se tiene tambin que

e
N
(1.2)
2
i .
=
i=1
Si h = 0 no todos los i s pueden ser cero.

Observemos que
N
T
h Ah = A
i vi
i=1
j vj
j=1
i=1 j=1
i j (Avi ) vj .
Ahora,
donde
(Avi ) vj = i vi vj = i ij
ij =
1
0
si i = j
si i = j
y por lo tanto
N
(1.3)
hT Ah =
2
i i .
i=1
De las relaciones (1.3) y (1.2) se sigue que

(1.4)
hT Ah h
con
:= m i .
n
i=1,...,N
102
6. MAXIMOS Y M
Deducimos entonces que si i > 0 para todo i, entonces hT Ah > 0 para

h = 0. Como h = 0 es arbitrario, entonces A es denida positiva.
Rec
procamente, si A es denida positiva, (1.1) implica que i > 0
para todo i. De esta forma se tiene que A es semidenida positiva, si y
slo si, sus valores propios son todos no negativos.
o
Lo anterior se aplica en particular a la matriz Hessiana f (x0 ) en
caso que las segundas derivadas parciales de f sean continuas en x0 .
Teorema 1.1. (Optimalidad y segundo orden)
Sea f : RN R una funcin de clase C 2 (), un abierto, y
o
x0 un punto cr
tico de f . Se tienen entonces la validez de las
siguientes armaciones:
(a) Si x0 es un m
nimo local de f entonces la matriz simtrica
e
f (x0 ) es semidenida positiva. Si x0 es un mximo local, entonces
a
f (x0 ) es semidenida negativa.
(b) Si f (x0 ) es denida positiva, entonces x0 es un m
nimo local
estricto de f . Del mismo modo, x0 es un mximo local estricto si f (x0 )
a
es denida negativa.
Demostracin. Sea (t) = f (x0 + th). Si x0 es un m
o
nimo local,
entonces (0) = f (x0 ) h = 0 y entonces para todo t peque o.
n
0 (t) (0) (0)t.
Entonces, gracias a la regla de lHpital tenemos que

o
(t) (0) (0)t
1
(t) (0)
= l
m
= (0).
2
t0
t0
t
2t
2
y entonces (0) 0. Como hemos calculado en la deduccin de la

o
frmula (3.6), se tiene que
o
0 l
m
(0) = hT f (x0 )h
y como h es arbitrario, se sigue que f (x0 ) es semidenida positiva. Hemos probado (a) para un m
nimo local. La aseveracin correspondiente
o
a mximo local se sigue aplicando este resultado a la funcin f .
a
o
Probemos (b). Como f (x0 ) = 0 tenemos de la frmula de Taylor
o
de segundo orden (3.6) que
1
f (x0 + h) f (x0 ) = hT f (x0 + h h)h
2
con h ]0, 1[. Supongamos que f (x0 ) es denida positiva. Se sigue

entonces de la relacin (1.4) que existe > 0 tal que que para todo
o
(1.5)
1. PUNTOS CR
h RN ,
103
hT f (x0 )h h 2.
(1.6)
Ahora, para una matriz cualquiera B de tama o N N se tiene que

n
N
|h Bh| =
i,j=1
|Bij ||hi ||hj |
i,j
|Bij |
Por lo tanto
(1.7)
|hT [f (x0 +h h)f (x0 )]h|
i,j
|fxi xj (x0 + h h) fxi xj (x0 )|
Como la funcin
o
(k) =
i,j
|fxi xj (x0 + k) fxi xj (x0 )|
es continua en k = 0, y (0) = 0, tenemos que existe > 0 tal que

para todo k con k < se tiene que
2
donde > 0 es el n mero en (1.6). Por lo tanto, como h ]0, 1[, se
u
sigue que si h < ,
(k)
i,j
|fxi xj (x0 + h h) fxi xj (x0 )|
.
2
De (1.7) obtenemos entonces que
h 2.
2
De aqu y de las relaciones (1.5) y (1.6), se sigue que
|hT [f (x0 + h h) f (x0 )]h|
h 2 h B(0, ) .
4
Por lo tanto f tiene un m
nimo local estricto en x0 . La armacin para
o
mximo se sigue a partir de aquella correspondiente a f .
a
f (x0 + h) f (x0 )
Ejemplo 1.1. Consideremos la funcin f : R2 R2 dada por

o
f (x, y) = y 3 + x2 + 4y 2 4x + 5y + 10
Busquemos los puntos cr

ticos de esta funcin. Tenemos
o
fx (x, y) = 2x 4,
fy (x, y) = 3y 2 + 8y + 5 = (y + 1)(3y + 5)
104
6. MAXIMOS Y M
De este modo, f (x, y) = (0, 0) si, y slo si,

o
5
.
3
5
e
As los puntos cr
,
ticos de f son (2, 1) y (2, 3 ). Calculamos tambin
x = 2, y = 1
fxx (x, y) = 2,
o x = 2, y =
fxy (x, y) = 0,
fyy (x, y) = 6y + 8
Tenemos entonces que

f (x, y) =
2
0
0 6y + 8
Por lo tanto,
f (2, 1) =
2 0
0 2
f (2, 5 ) =
3
2 0
0 2
Como f (2, 1) es una matriz diagonal, sus valores propios son precisamente las entradas de esta: 1 = 2, 2 = 2. Como ambos positivos,
concluimos que el punto (2, 1) es un m
nimo local de f . En cambio
5
los valores propios de f (2, ), 1 = 2, 2 = 2, tienen signos opues3
tos, de modo que el punto cr
tico no es ni un m
nimo ni un mximo.
a
Precisemos un poco ms el comportamiento de la funcin f cerca de
a
o
este punto. Observemos que
2 0
0 2
1
1
= 2
0
0
2 0
0 2
0
0
= (2)
,
1
1
de modo que los vectores propios respectivamente asociados a 2 y 2

son
1
0
e1 =
y e2 =
.
0
1
Estas son las llamadas direcciones principales de f en el punto cr
tico
5
(2, 3 ). Observemos que si
1 (t) = f ((2, 5 ) + te1 ),
3
entonces, evaluamos directamente

5
1 (t) = fx ((2, 3 )+te1 ) = 2t,
2 (t) = f ((2, 5 ) + te2 ),

3
2 (t) = fy ((2, 5 )+te2 ) = (2+3t)t ,

3
(t) = 2, (t) = 2 + 6t .
1
2
Vemos entonces que en la direccin de e1 la funcin f tiene segunda
o
o
derivada positiva, esto es, es convexa, exhibiendo un m
nimo en t = 0.
En la direccin de e2 en cambio, vemos que la segunda derivada es
o
negativa para todo t cercano a 0, siendo la funcin en esta direccin
o
o
mxima en t = 0. La forma del grco de f en torno a este punto se
a
a
denomina punto silla, en referencia a la forma de una silla de montar.
1. PUNTOS CR
105
Diremos en general, que para f : RN R de clase C 2 , un punto cr

tico x0 es un punto silla, si todos los valores propios de f (x0 ) son
distintos de cero, y hay presentes valores propios positivos y negativos.
Los vectores propios asociados a valores propios negativos corresponden a direcciones en las cuales la funcin baja a partir de x0 (hacia
o
ambos lados), mientras que en las direcciones complementarias, las de
los vectores propios asociados a valores propios positivos, la funcin
o
sube.
Ejemplo 1.2. Sea
f (x, y, z) = 3x2 6x + 3y 2 6y 2xy + (z 2 1)2 .
En este caso (x, y, z) es un punto cr

tico de f si, y slo si, tenemos
o
fx (x, y, z) = 6x 6 2y = 0,
fy (x, y, z) = 6y 6 2x = 0,
fz (x, y, z) = 4(z 2 1)z = 0.

Este sistema tiene tres soluciones, lo que nos conduce a la presencia de
tres puntos cr
ticos:
(1, 1, 0),
(1, 1, 1),
(1, 1, 1),
La matriz Hessiana de f est dada por

a
6 2
0
.
0
f (x, y, z) = 2 6
2
0
0 12z 4
Calculemos los valores propios de f (1, 1, 0). Estos corresponden a las

ra del polinomio caracter
ces
stico
que son
6 2
0
2 6
0
= (( 6)2 4)( + 4),
0
0
4
1 = 8, 2 = 4, 3 = 4.
Como tenemos valores positivos y negativos, concluimos que (1, 1, 0) es
un punto silla.
Similarmente, encontramos que los valores propios de f (1, 1, 1) y
de f (1, 1, 1) estn dados, en ambos casos por
a
1 = 8,
2 = 4,
3 = 8.
Siendo estos tres valores positivos, concluimos que (1, 1, 1) y (1, 1, 1)

son m
nimos locales.
106
6. MAXIMOS Y M
La pregunta surge naturalmente, tanto en este ejemplo como en el

anterior, de si los puntos de m
nimo local encontrados son en realidad
m
nimos globales. Por cierto, la pregunta bsica es la de si un m
a
nimo
global de la funcin f en realidad existe.
o
Para f (x, y, z) = 3x2 6x + 3y 2 6y 2xy + (z 2 1)2 tenemos que
f (x, y, z) = 2(x2 + y 2) + (x y)2 6x 6y + (z 2 1)2 .
Por la relacin a2 2ab + b2 0, obtenemos las desigualdades

o
(z 2 1)2 2(z 2 1) 1,
6x x2 9,
6y y 2 9,
de modo que
De este modo,
f (x, y, z) x2 + y 2 + z 2 21 .
f (x, y, z) + si
(x, y, z) =
x2 + y 2 + z 2 + .
Como f es obviamente continua, el Ejemplo 6.2 nos garantiza que un

punto de m
nimo (global) de f en efecto existe. Este punto de m
nimo
debe ser un punto cr
tico, que a su vez debe ser un m
nimo local,
por ende la matriz Hessiana de f en este punto debe ser semidenida
positiva. Entonces la unica posibilidad es que sea alguno estos puntos:
(1, 1, 1) o (1, 1, 1). Vemos que f (1, 1, 1) = f (1, 1, 1), por ende ambos
son puntos de m
nimo global de f . Tenemos adems que
a
m f = f (1, 1, 1) = 8 .
n
3
R
Consideremos ahora la funcin f del Ejemplo 1.1, f (x, y) = y 3 + x2 +

o
2
4y 4x+5y +10. Aqu encontramos que el punto (2, 1) es un m
nimo
local. Nos preguntamos si se trata de un m
nimo global. En este caso
la respuesta es no. En efecto, no existe m
nimo global de f pues, por
ejemplo, a lo largo de la sucesin (0, n) tenemos
o
f (0, n) = n3 + 4n2 5n + 10 si n .
Esto implica que la funcin f no es acotada por abajo, y un valor

o
m
nimo absoluto no puede existir.
Observemos que las armaciones (a) y (b) del Teorema 1.1 son casi rec
procas. Sin embargo, si x0 es un m
nimo local, la matriz f (x0 )
puede no ser denida positiva (slo semidenida). Por otra parte, el
o
que la matriz f (x0 ) sea semidenida positiva no basta para garantizar
que x0 sea un m
nimo. Esto se pone en evidencia en el siguiente ejemplo:
2. MULTIPLICADORES DE LAGRANGE
107
Ejemplo 1.3. La funcin f (x, y) = x4 + y 2 tiene un m

o
nimo local
en x0 = (0, 0). Sin embargo,
0 0
,
0 2
f (0, 0) =
que es semidenida positiva, pero no denida positiva. Por otra parte,

la funcin g(x, y) = x3 + y 2 cumple que
o
g (0, 0) =
0 0
,
0 2
que es una matriz semidenida positiva. Sin embargo, es fcil ver que
a
g no tiene un m
nimo local en el origen.
2.
Multiplicadores de Lagrange
Una consecuencia interesante del Teorema de la Funcin Impl

o
cita
es que provee una condicin de primer orden necesaria para la resoluo
cin de problemas de minimizacin con restricciones de igualdad, esto
o
o
es, el mimimizar una funcin f (z) sujeta a m restricciones de la forma
o
gi (z), donde m es estrictamente menor que la dimensin del espacio.
o
Este es el contenido del resultado siguiente.
Teorema 2.1. (Teorema de los multiplicadores de Lagrange)
Sean f : RN +m R, g : RN +m Rm , funciones de clase C 1 . Sea
A = {z RN +m / g(z) = 0}
y supongamos que z0 A es tal que
f (z0 ) = m f (z) .
n
zA
Supongamos adems que la matriz g (z0 ) de orden (N + m) m, es de

a
rango completo (posee m columnas linealmente independientes). Entonces existen nmeros 1 , 2 , . . . , m tales que
u
m
f (z0 ) =
i=1
i gi (z0 ).
Demostracin. Supongamos que la variable z RN +m se descompone

o
como
z = (x, y) RN Rm
donde, luego de reordenar las variables en caso de ser necesario, podemos suponer que las ultimas m columnas de g (x0 , y0) son linealmente
independientes. As la matriz gy (x0 , y0 ) es invertible.

,
Supongamos que z0 = (x0 , y0 ) es tal que f se minimiza sobre
D = {(x, y) / g(x, y) = 0} Como, por hiptesis, la matriz gy (x0 , y0)
o
108
6. MAXIMOS Y M
es invertible, el Teorema de la Funcin Imp

o
cita nos garantiza la existencia de una funcin y = (x), denida en un abierto U que contiene
o
a x0 , de modo que (x0 ) = y0 y g(x, (x)) = 0 para todo x U. As
,
los puntos (x, (x)), x U yacen todos en D y tenemos entonces que
f (x, (x)) f (x0 , y0 )
para todo x U.
Por lo tanto, la funcin (x) := f (x, (x)) satisface que (x) (x0 )
o
para todo x U. Se sigue que (x0 ) = 0, lo que quiere decir, gracias
a la regla de la cadena, que
0 = (x0 ) = [fx (x0 , y0) fy (x0 , y0 ) ]
Im
.
(x0 )
Esto es
0 = fx (x0 , y0 ) + fy (x0 , y0 ) (x0 ).
Por otra parte, como la funcin (x) := g(x, (x)) es constante en U,
o
se sigue en particular que (x0 ) = 0, lo que quiere decir

0 = gx (x0 , y0 ) + gy (x0 , y0 )(x0 ),
de modo que
(x0 ) = gy (x0 , y0)1 gx (x0 , y0 ).
Obtenemos entonces
fx (x0 , y0 ) = fy (x0 , y0 )gy (x0 , y0)1 gx (x0 , y0 )
y
fy (x0 , y0 ) = fy (x0 , y0)gy (x0 , y0 )1 gy (x0 , y0 ).
Sea
1m = fy (x0 , y0 )gy (x0 , y0)1 .
Se sigue entonces que
[fx (x0 , y0) fy (x0 , y0 )] = [gx (x0 , y0 ) gy (x0 , y0 )]
esto es,
f (x0 , y0 ) = g (x0 , y0 )
o sea, tomando transpuesta,
f (x0 , y0 ) = g (x0 , y0)T T .
Si = [1 m ], la relacin anterior se lee precisamente como

o
m
f (x0 , y0 ) =
i=1
y la demostracin queda concluida.

o
i gi (x0 , y0 )
109
Ejemplo 2.1. Consideremos el problema de minimizar la funcin

o
bajo la restriccin
o
f (x, y, z) := x + y z
g(x, y, z) := x2 + y 2 + z 2 1 = 0.
La primera observacin es que el conjunto de puntos que satisfacen la

o
restriccin es cerrado y acotado en R3 , por lo tanto, siendo la funcin
o
o
f continua, alcanza en efecto su valor m
nimo. Consideremos entonces
los puntos (x, y, z) que satisfacen la restriccin y tales que para alg n
o
u
R
f (x, y, z) g(x, y, z) = 0
Esto corresponde al sistema de ecuaciones 4 4
1 2x = 0
1 2y = 0
1 2z = 0
2
x + y 2 + z 2 1 = 0
As claramente para una solucin de este sistema tenemos que
,
o
x = y = z,
3x2 = 1
1
1
1
1
1
1
lo que nos entrega dos puntos posibles: ( 3 , 3 , 3 ) y ( 3 , 3 , 3 ) .
Notemos que
1
1
1
1
1
1
f ( 3 , 3 , 3 ) = 3, y f ( 3 , 3 , 3 ) = 3.
Por lo tanto el segundo punto corresponde al valor m

nimo.
La regla de los multiplicadores de Lagrange tiene una versin neo

motcnica util: Si x0 minimiza a f sujeto a las resticciones gi (x) = 0,
e
i = 1, . . . , m, entonces existen m n menros i tal que (x0 , 1 , . . . , m )

u
0
0
0
N +m
es un punto cr
tico en R
de
m
L(x, 1 , . . . , m ) := f (x)
i g(x).
i=1
Esta funcin se llama Lagrangiano.

o
Ejemplo 2.2. Determinemos el mximo de la funcin f (x, y, z) =
a
o
xy + z en la interseccin del plano x + y + z = 0 y la esfera unitaria
o
x2 + y 2 + z 2 = 1. Dicha interseccin es una circunferencia en el espacio
o
XY Z, luego es un conjunto cerrado y acotado. Como f es continua,
ella alcanza su mximo y su m
a
nimo en dicho conjunto en virtud del
Teorema 6.1. El lagrangiano es
L(x, y, z, , ) = xy + z + (x + y + z) + (x2 + y 2 + z 2 1)
110
6. MAXIMOS Y M
y
L = (y + + 2x, x + + 2y, 1 + + 2z, x + y + z, x2 + y 2 + z 2 1).
Esto nos da el sistema de ecuaciones
y + + 2x
x + + 2y
1 + + 2z
x+y+z
2
x + y2 + z2 1
cuyas 4 soluciones para (x, y, z) son
=
=
=
=
=
0
0
0
0
0,
1
1
2
1
1
2
( 6 , 6 , 6 ), ( 6 , 6 , 6 ), ( 1+4 5 , 14 5 , 1 ) y ( 14 5 , 1+4 5 , 1 ).
2
2
De estos, el segundo da el valor mximo para f , que es

a
2
.
6
Ejemplo 2.3. Conclu

mos la seccin mostrando una desigualdad
o
clsica en los n meros reales, que enuncia que la media geomtrica de
a
u
e
m n meros positivos es menor que la media aritmtica, a menos que
u
e
todos estos n meros sean iguales. Ms precisamente si ai > 0 para
u
a
i = 1, . . . , N, entonces se tiene la desigualdad
1
(a1 + + aN ),
N
la cual es estricta a menos que todos los n meros sean iguales. Para
u
probar esto, consideremos la funcin
o
1
(a1 a2 aN ) N
f (x1 , . . . , xN ) =
1
N
xi
i=1
sobre el conjunto denido por la restricin

o
N
g(x1 , . . . , xN ) :=
i=1
xi 1 = 0
Consideramos a las funciones f y g a su vez denidas sobre el abierto

de RN dado por el conjunto de puntos x con xi > 0 para todo i.
Observemos primero que si para alg n i se tiene xi > N, entonces
u
f (x1 , . . . , xN ) > 1 = f (1, . . . , 1).
Por lo tanto, el m
nimo de f sobre la regin cerrada y acotada
o
{x RN /g(x) = 0, 0 xi N para todo i}
111
(que existe pues f es continua) debe ser el m

nimo de f sujeto a la
restriccin completa g = 0. As denamos
o
,
L(x, ) =
1
N
i=1
xi (
i=1
xi 1).
En el punto de m
nimo tenemos una solucin (x, ) del sistema
o
L(x, ) = 0 para todo j,

L(x, ) = 0.
xj
Esto es
1
=
N
xi = 0 para todo j,
i=1
i=j
xi 1 = 0.
Tenemos entonces que, en el m

nimo,
N
xj
=
xi = para todo j,
N
i=1
y por lo tanto, x1 = x2 = xN = 1. Esto se traduce en que
1
1
N
xi ,
si
i=1
xi = 1,
i=1
Con desigualdad estricta a menos que todos estos n meros sean iguau
les. Consideremos ahora a1 , . . . , aN n meros positivos cualesquiera y
u
denamos
aj
xj :=
1 .
N
N
i=1 ai
Claramente
N
i=1
xi = 1, y por lo tanto
1
1
N
j=1
aj
N
i=1
ai
1
N
112
6. MAXIMOS Y M
3.
Problemas Cap
tulo 6
P1.- I) Encuentre los puntos cr

ticos de
f (x, y) = xyex
2 y 2
y determine si son mximos locales, m

a
nimos locales o puntos silla.
II) Para la funcin f de la parte anterior pruebe que
o
l
m
(x,y) +
f (x, y) = 0
Adems deduzca que existen los siguientes valores y calc lea

u
los
mx 2 f (x, y) ,
a
m 2 f (x, y)
n
(x,y)R
(x,y)R
P2.- Considere la funcin

o
1
(x )2
exp
2 2
2
donde 8 < < 8 y > 0 son parmetros reales.
a
Sea {x1 , . . . , xn } un conjunto de observaciones con {xi }n R.
i=1
f (x) =
Dena la funcin L :] 8, 8[]0, +[ R mediante

o
n
L(, ) =
f (xi )
i=1
Resuelva el problema
mx log (L(, ))
a
es decir, encuentre (, ) que maximizan log (L(, )). Note que

tanto como dependen solamente de {x1 , . . . , xn }. Justique
que el punto encontrado (, ) es un mximo.

a
P3.- Sea RN un abierto. Una funcin u : R de clase C 2 ()
o
se dice estrictamente subarmnica cuando cumple la desigualo
dad
N
2u
> 0 x
u =
xi 2
i=1
Pruebe que una funcin estrictamente subarmnica no puede
o
o
un mximo local en , sino que debe encontrarse en su borde
a
.
3. PROBLEMAS CAP
ITULO 6
113
P4.- Sea u : R2 R una funcin clase C 2 (R2 ) que satisface

o
u = 0 en R2
y sea (x0 , y0 ) un punto de m

nimo local de u.
Demuestre que todas las derivadas parciales de segundo orden
de u son nulas en (x0 , y0).
P5.- Sea f : RN R una funcin convexa de clase C 1 (RN ).
o
Sea {xn }n RN una sucesin acotada que satisface
o
l f (xn ) = 0
m
n+
Demuestre que {xn }n es una sucesin minimizante de f , es decir

o
l f (xn ) = m f (x)
m
n
n+
xRN
P6.- Encuentre y justique la existencia de los valores mximos y

a
m
nimos de la siguientes funciones
f (x, y) = 4x2 + 10y 2 ,
g(x, y) = ex
2 y 2
(2x2 + y 2)
en el disco
D = {(x, y) : x2 + y 2 4}
P7.- I) Encuentre el mximo y el m
a
nimo de f (x, y, z) = x+3y 2z
sobre la esfera unitaria
S 2 = {x = (x, y, z) R3 :
x = 1}
II) El plano x + y + 2z = 2 y el paraboloide z = x2 + y 2 se

intersectan en una elipse. Encuentre el punto ms cercano
a
de esta elipse al origen 0 = (0, 0, 0).
P8.- I) Sin demostrar su existencia, encuentre el valor mximo de
a
3
f (x, y, z) = log(xyz ) sobre el conjunto
P = {(x, y, z) R3 : x, y, z > 0, x + y + z = 5}
II) Usando el resultado anterior, pruebe que a, b, c 0
a+b+c
abc 27
5
3
114
6. MAXIMOS Y M
P9.- Si , , > 0 son los ngulos interiores de un tringulo, dea

a
muestre que
1
sin
sin
sin
2
2
2
8
P10.- Muestre que
N!
es el mximo valor, en RN , de la funcin
a
o
N N/2
N
f (x) =
xi
i=1
s.a.
i=1
x2
i
=1
i2
Cap
tulo 7
Integracin de funciones de varias variables

o
En este cap
tulo extenderemos la nocin de integral en el sentido
o
de Riemann a funciones denidas sobre subcojuntos del espacio RN .
Consideremos una funcin f : D RN R. Si N = 1 y D = [a, b] se
o
b
deni, bajo ciertas condiciones, la cantidad a f (x)dx, cuya interpreo
tacin geomtrica, cuando f es positiva, es el rea bajo la curva que
o
e
a
dene el grco de f , {(x, f (x)) / x [a, b]}, por sobre el intervalo
a
[a, b], esto es, de la regin
o
{(x, y) / x [a, b], 0 y f (x)}.
Para una funcin de dos variables, el grco t

o
a
picamente se entiende
3
como una supercie en R , y deseamos denir la cantidad
f (x, y)dxdy
D
como una nocin apropiada de volumen de la regin en R3 dada por

o
o
{(x, y, z) / (x, y) D, 0 z f (x, y)}.
Consideremos el caso especial de la funcin f 1. La cantidad

o
1dxdy
D
debiese corresponder al volumen del cilindro de altura 1 que tiene a

D como seccin transversal, esto es al rea de D. Del mismo modo
o
a
intentamos denir, para el caso de una funcin de tres variables la
o
cantidad
I=
f (x, y, z)dxdydz,
D
que si bien no tendr interpretacin geomtrica intuitiva directa, debiea

o
e
se corresponder a que
1dxdydz sea el volumen de la regin D del
o
D
espacio tridimensional. Por otra parte, la cantidad I puede interpretarse f
sicamente como masa total de D, suponiendo que su densidad
de masa por unidad de volumen en el punto (x, y, z) est dada por la
a
funcin f (x, y, z), lo cual quiere decir que un rectngulo innitesimal
o
a
de volumen dxdydz en este punto tiene por masa f (x, y, z)dxdydz.
115

7. INTEGRACION DE FUNCIONES DE VARIAS VARIABLES
116
1.
Denicin de la integral y propiedades bsicas

o
a
La denicin que daremos es la extensin directa de la integral de

o
o
Riemann para funciones de una variable hecha en el curso de clculo
a
anterior. Consideramos primero el caso de los dominios D ms sencillos
a
que llamamos rectngulos de lados paralelos a los ejes coordenados. Un
a
rectngulo R de este tipo en RN es un conjunto de la forma
a
R = {x RN / ai xi bi para todo i = 1, . . . , N} =
[a1 , b1 ] [aN , bN ],
en otras palabras,
R=
(1.1)
[ai , bi ] .
i=1
Denimos el volumen de R simplemente como la cantidad

N
V (R) =
i=1
(bi ai ) ,
lo que en dimensiones 1, 2 y 3 corresponde a nuestras nociones habituales de largo, rea y volumen, respectivamente. Consideramos en lo
a
que sigue un rectngulo R RN y una funcin f : R R la cual
a
o
supondremos acotada, esto es tal que existe M > 0 para el cual
|f (x)| M
para todo x R .
Un reticulado S del rectngulo R dado por (1.1) es una familia de

a
rectngulos
a
S = {Ri }iI
Donde I es un conjunto de
ndices, y cada Ri es un rectngulo de lados
a
paralelos a los ejes coordenados tales que
R=
iI
Ri ,
(1)
int (Ri ) int (Rj ) = para todo i = j

(1)
(2)
(2)
(N )
(N )
Ri = [xi1 , xi1 +1 ] [xi2 , xi2 +1 ] [xiN , xiN +1 ],

donde ij = 0, . . . , kj 1 , j = 1, . . . N,
(j)
(j)
(j)
y
(j)
aj = x0 < x1 < x2 < xkj = bj .
Denimos la suma inferior para la funcin f asociada al reticulado S

o
como
IS (f ) :=
mRi (f ) V (Ri ),
iI
1. DEFINICION DE LA INTEGRAL Y PROPIEDADES BASICAS
117
donde
mRi (f ) = f (x).
nf
xRi
En modo similar, la suma superior asociada al reticulado S est dada

a
por
SS (f ) :=
MRi (f ) V (Ri ),
iI
donde
MRi (f ) = sup f (x).
xRi
Observemos por ejemplo, que si la dimensin es N = 2 y f 0, entono

ces el n mero mRi (f )V (Ri ) corresponde al volumen del paralelep
u
pedo
de base rectangular Ri y altura mRi (f ), de modo que si Ri tiene lados
peque os y, f es continua (por ejemplo), este volumen debiese aproxin
mar bien (y por abajo) el de la regin del espacio comprendida entre
o
el rectngulo Ri , contenido en el plano XY y el grco de la funcin
a
a
o
f , esto es la supercie z = f (x, y). As la suma inferior IS (f ) es
,
una aproximacin por abajo del volumen total comprendido entre el
o
rectngulo R y el grco de f . En modo similar, SS (f ) es una aproxia
a
macin por arriba de este volumen, que debiese mejorar notablemente si
o
los rectngulos del reticulado se hacen cada vez ms peque os. Bsicaa
a
n
a
mente, el volumen total en cuestin debiese considerarse bien denido,
o
si las sumas inferiores y superiores de f se aproximan a un n mero
u
com n, a medida que los reticulados se hacen ms nos. Precisamente
u
a
en este caso diremos que f es integrable sobre R.
Sean S1 y S2 dos reticulados de R. decimos que S2 es ms no que
a
S1 si se tiene todo rectngulo en S2 est contenido en alg n rectngulo
a
a
u
a
en S1 . En este caso se tiene que
I S 1 I S 2 SS 2 SS 1
Por otra parte, observemos que dados dos reticulados cualesquiera S1 y

S2 se asocia cannicamente un reticulado S3 ms no tanto a S1 como
o
a
a S2 , simplemente mediante la coleccin de todas las intersecciones de
o
rectngulos en S1 con rectngulos en S2 .
a
a
As concluimos que en realidad, para todo par de reticulados S1 y
,
S2 (no necesariamente uno ms no que el otro) se tiene que
a
I S 1 SS 2 .
Para una funcin f acotada como la anterior, tiene sentido entonces

o
denir su integral inferior en R como
R
f := sup{IS (f ) / S es un reticulado de R} .

118
Denimos, en modo similar su integral superior sobre R como

R
f :=
nf{SS (f ) / S es un reticulado de R} .
De este modo, para cualquier funcin acotada tenemos la validez de la

o
desigualdad
R
f .
R
Decimos que la funcin f es Riemann-integrable si

o
f=
R
f .
R
en cuyo caso llamamos a este valor com n la integral de f sobre R y

u
lo denotamos como
f,
R
f (x)dx,
o tambin
e
f (x1 , . . . xN )dx1 dxN
(en la ultima notacin el s
o
mbolo de integral se repite N veces).
Una caracterizacin util de la condicin de integrabilidad es la sio
o
guiente.
Proposicion 1.1. Si existe una sucesin de reticulados {Sn }nN

o
tal que
l SSn (f ) ISn (f ) = 0
m
n
entonces f es integrable y
m
l SSn (f ) = l ISn (f ) =
m
n
f (x)dx
R
Demostracin. Tenemos que

o
ISn (f )
f (x)dx
f (x)dx SSn (f ) .
Por ende, pasando al l

mite, por el Teorema del Sandwich, obtenemos
que
f (x)dx =
R
f (x)dx,
R
y entonces f es integrable.
Ejemplo 1.1. Sea f : R2 R dada por f (x, y) = x + y y
R = [0, 1] [0, 1]. Consideremos para n N, la particin Sn que consta
o
de los elementos
j j+1
k k+1
n
Rjk =
, 0 j, k n 1.
,
,
n n
n n
Entonces
n1 n1
ISn (f ) =
j=0 k=0
119
n
V (Rjk ) mRn (f ).
jk
Ahora, claramente
mRn (f ) =
jk
j
k
+ ,
n n
de modo que
1
ISn (f ) =
n3
1
=
n3
n1 n1
(j + k)
j=0 k=0
n1
nj +
j=0
(n 1)n
2
1
1 2
n (n 1) = 1 .
3
n
n
En modo similar, obtenemos
j+1 k+1
MRn (f ) =
+
jk
n
n
=
1
SSn (f ) = 3
n
n1 n1
(j + k + 2) = 1 +
j=0 k=0
1
.
n
Vemos entonces que

l SSn (f ) ISn (f ) = 0.
m
n+
En virtud de la Proposicin 1.1, f es integrable en R y

o
(x + y)dxdy = 1.
[0,1][0,1]
A continuacin probaremos el importante resultado que arma que

o
las funciones continuas sobre R son en efecto integrables.
Teorema 1.1. (Integrabilidad de funciones continuas)
Sea f : R RN R una funcin continua, donde R es un rectngulo.
o
a
Entonces f es integrable.
Necesitamos el siguiente resultado intermedio:
Proposicion 1.2. Sea f : K RN R una funcin continua,

o
donde K es un conjunto cerrado y acotado. Entonces f es uniformemente continua. Es decir, > 0, > 0 tal que si x, y K con
||x y|| < entonces |f (x) f (y)| < .
120
Esto se traduce diciendo que el n mero , dependiente de en

u
la caracterizacin - de la continuidad en x0 K puede escogerse
o
independiente del punto particular x0 considerado en K.
Demostracin de la Proposicin 1.2. Supongamos que esta proo
o
piedad no es vlida. Podemos encontrar > 0 tal que para todo
a
1
n N existen sucesiones {xn } e {yn } en K tales que ||xn yn || < n y
|f (xn ) f (yn )| 0 .
Como la sucesin {xn } est contenida en K, que es cerrado y acoo
a
tado, debe poseer una subsucesin convergente, la que denotamos xnj ,
o
j N, digamos
xnj x K
cuando n .
As tenemos tambin que ynj x. Por otra parte, como f es continua

,
e
tenemos que
l f (xnj ) = l f (ynj ) = f ().
m
m
x
j
En particular, |f (xnj ) f (ynj )| 0. Esto es claramente una contradiccin con |f (xnj ) f (ynj )| 0 y la demostracin queda concluida.
o
o
Demostracin del Teorema 1.1. En virtud de la Proposicin 1.2,
o
o
basta demostrar que existe una sucesin de reticulados Sn , n N con
o
la propiedad que
SSn (f ) ISn (f ) 0.
Probaremos a continuacin que este es, en efecto, el caso para una

o
funcin continua denida sobre un rectngulo. Consideremos para un
o
a
n 1 dado, el reticulado uniforme dado por
(1.2)
a1 +
k1 1
k1
(b1 a1 ), a1 + (b1 a1 )
n
n
aN +
kN 1
kN
(bN aN ), aN +
(bN aN ) ,
n
n
donde
0 kj n,
para todo j = 1, . . . N .
Consideremos una enumeracin Ri de estos rectngulos, para i = 1, . . . nN .

o
a
Entonces notemos que si x, y Ri , se tiene que
C
|x y| < .
n
De este modo, si consideramos m > 1, podemos encontrar, gracias a la

continuidad uniforme de f , un n = nm , sucientemente grande tal que
121
para todo i se tiene que

|f (x) f (y)| <
1
para todo x, y Ri .
m
En particular,
MRi (f ) mRi (f ) +
1
m
y luego se tiene que

SS m =
MRi V (Ri )
mRi V (Ri ) +
V (Ri )
i
1
V (R) .
m
Concluimos observando que m es arbitrario.
= IS m +
Si bien el resultado anterior es de gran importancia, no es suciente

en la prctica del clculo de casos concretos. En efecto, nos interesan
a
a
casos notables en que la funcin f no es necesariamente continua y
o
la regin no es un rectngulo . Consideremos una regin D RN
o
a
o
acotada, no necesariamente rectangular, y una funcin f : D R
o
acotada. Deseamos denir el n mero D f como aqul correspondiente
u
e
al volumen de la regin entre la base D y el grco de f . Para ello,
o
a
denamos
f (x) si x D
fD (x) =
0
si x D.
Sea R un rectngulo tal que D R. Decimos que f es integrable sobre
a
D si la funcin fD es integrable sobre R, y en tal caso denimos
o
f (x)dx :=
D
fD (x)dx.
Esta denicin es en realidad independiente del rectngulo R que se

o
a
escoja conteniendo a D, pues las contribuciones a las sumas superiores e inferiores de cualquier regin fuera de D son nulas. Dejamos la
o
vericacin detallada de este hecho como un ejercicio.
o
La funcin fD puede no ser continua, aunque f lo sea. Sin emo
bargo, en la mayor parte de los casos que se enfrentan en la prctica
a
s ser integrable.
a
Un caso fundamental de estudio, es el de la funcin f 1. Si la
o
integral D 1dx est bien denida, le denominamos en general volumen
a
122
de D:
V (D) :=
1dx.
D
En el caso N = 1 le llamamos en realidad longitud de D, y si N = 2 su

a
rea. Una pregunta natural por cierto es para qu tipo de regiones el
e
volumen est bien denido, o ms en general, sobre qu regiones pueden
a
a
e
integrarse funciones, digamos, continuas. Discutiremos este tema en la
subseccin siguiente.
o
Antes de esto probaremos algunas propiedades fundamentales de la
integral de Riemann.
Proposicion 1.3. Supongamos que f y g son integrables sobre una

regin D. Se tiene entonces que
o
(a) La funcin f + g tambin es integrable y
o
e
(f + g) =
D
f+
D
g.
D
(b) Si R entonces la funcin f es integrable y

o
f =
D
f .
D
(c) Si f (x) g(x) para todo x D entonces

D
g.
D
(d) La funcin |f (x)| es integrable sobre D y

o
D
|f |.
(e) Si D = D1 D2 con D1 D2 = y si f es integrable en D1 y en

D2 , entonces f es integrable en D y
f.
f+
f=
D
D2
D1
Demostracin. Supondremos en las propiedades (a)-(d) que D = R,

o
un rectngulo. Si no, basta aplicar los resultados obtenidos a las funa
ciones fD , gD . Sea S un reticulado de R. Veamos la propiedad (a).
Tenemos que si R S entonces
f + g (f + g) sup(f + g) sup f + sup g.
nf
nf
nf
R
Por lo tanto, deducimos que

(1.3)
IS (f ) + IS (g) IS (f + g) SS (f + g) SS (f ) + SS (g).
123
1
2
Sean Sn y Sn sucesiones de reticulados tales que
1
1
SSn (f ) ISn (f ) 0,
2
2
SSn (g) ISn (g) 0.
SSn (g) ISn (g) 0.
1
2
Consideremos un reticulado Sn ms no que Sn y Sn simultneamente,
a
e
por ejemplo aquel obtenido de las intersecciones de los elementos de
ambos. Se tiene que
Luego
f (x)dx
m
l SSn (f ) = l ISn (f ) =
m
m
l SSn (g) = l ISn (g) =
m
y
n
g(x)dx.
Deducimos de las desigualdades (1.3) para S = Sn que

SSn (f + g) ISn (f + g) 0,
y por lo tanto que f + g es integrable sobre R con

R
m
(f + g) = l SSn (f + g) = l ISn (f + g) =
m
n
f+
R
g.
R
Para probar la parte (b), observemos que si 0, entonces

IS (f ) = IS (f ),
SS (f ) = SS (f ).
Por otra parte, si 0 tenemos que

IS (f ) = SS (f ),
SS (f ) = IS (f ).
De aqu la conclusin deseada sigue de modo directo, en ambos casos.
o
Probemos ahora la parte (c). Gracias a las partes (a) y (b) tenemos
que la funcin h(x) := g(x) f (x) es integrable sobre R y
o
h(x)dx =
R
g(x)dx
f (x)dx.
R
Por otra parte, si S es cualquier reticulado, observamos de inmediato

que como h(x) 0 para todo x R entonces
0 IS (h)
Deducimos que
g(x)dx
h(x)dx.
R
f (x)dx 0 y el resultado se concluye.
Probemos ahora (d). Consideremos un reticulado S y R S. Si

f 0, obviamente
MR (f ) mR (f ) = MR (|f |) mR (|f |).
124
Si f 0, entonces
MR (|f |) mR (|f |) = MR (f ) mR (f ).
Si f cambia de signo, tenemos entonces que
MR (|f |) mR (|f |) (MR (f ) mR (f )) + (MR (f ) mR (f )).
En cualquier caso,
SS (|f |) IS (|f |) SS (f ) IS (f ) + SS (f ) IS (f ).
Por ende, si Sn es una sucesin de reticulados tales que

o
se sigue que
SSn (|f |) ISn (|f |) 0

y |f | es integrable. Adems, tenemos que f |f |, por lo que a partir
a
de las partes (b) y (c), se sigue que
f=
R
(f )
|f (x)|dx
y la demostracin de (d) queda concluida. Finalmente, para la parte

o
(e) nos basta observar que
fD = fD1 + fD2 ,
por lo cual el resultado deseado se sigue por linealidad.
2.
Dnde integrar: Conjuntos Jordan-medibles

o
Como dijimos anteriormente, una pregunta fundamental es qu tipo

e
de regiones D son apropiadas para calcular integrales, esto es, estudiar
bajo qu condiciones podemos calcular el volumen de D. Podemos dar
e
al menos una respuesta negativa: No todo conjunto es apropiado para
esto. Consideremos por ejemplo el conjunto
D = {(x, y) Q Q / 0 x, y 1} .
La funcin 1D no es integrable , por ejemplo, sobre R = [0, 1] [0, 1]

o
pues cualquier rectngulo de un reticulado S de R contendr tanto
a
a
puntos de D como otros que no estn en D esto hace que para todo
a
reticulado
IS (1D ) = 0, SS (1D ) = 1,
y por ende no puede denirse (al menos mediante la integral de Riemann) el rea de S.
a
Necesitamos un concepto preliminar para encontrar una clase sucientemente amplia de conjuntos a los cuales se les puede asociar un

2. DONDE INTEGRAR: CONJUNTOS JORDAN-MEDIBLES
125
volumen, que es el de conjunto de medida nula. Decimos que un conjunto A RN acotado tiene medida nula, si para todo > 0 existe
una coleccin nita de rectngulos {Ri }iI tal que
o
a
A
Ri
V (Ri ) < .
iI
iI
A manera de ejemplo, consideremos una funcin g : R R continua,

o
donde R es un rectngulo en RN y su grco, esto es, el subconjunto
a
a
de RN +1 dado por
A = {(x, y) | x R,
y = g(x)}.
Armamos que A tiene medida nula. En efecto, consideremos el reticulado uniforme dado por (1.2) de R. Observemos entonces que
A i Ri [mRi (g), MRi (g)].
Como f es uniformemente continua sobre R, dado > 0 podemos
escoger n sucientemente grande como para que
MRi (f ) mRi (f ) <

V (R)
y de este modo,
i
V (Ri [mRi (f ), MRi (f )]) =
V (Ri )(MRi (f ) mRi (f ))
V (R)
= .
V (Ri )
<
Decimos que un conjunto D en RN es medible en el sentido de Jordan

o simplemente Jordan-medible si su frontera F r(D) es de medida nula.
Es fcil ver, y lo proponemos como un ejercicio, que toda unin de un
a
o
n mero nito de conjuntos Jordan-medibles tambin lo es.
u
e
Tenemos la validez del siguiente resultado fundamental:
Proposicion 2.1. Sean D un conjunto cerrado, acotado y JordanN

medible en R y f : D R una funcin continua. Entonces f es inteo
grable sobre D. En particular, el volumen de D, V (D) = D 1, est bien
a
denido.
Demostracin. Consideremos un rectngulo R que contiene a D, y
o
a
dado > 0, una familia de rectngulos Ri cuya unin recubre a Fr(D)
a
o
con i V (Ri ) < . Completando esta familia de rectngulos a un rea
ticulado del rectngulo R, vemos que dado un reticulado S arbitrario

a
126
de R podemos encontrar un reticulado S ms no que S tal que

a
V (R) < .
Fr(D)=
Ms a n, como f es uniformemente continua sobre D podemos escoger
a u
el reticulado S de modo que
RS, R
RS, R
int(D)
[MR (f ) mR (f )] V (R) < V (R).
As suponiendo que |f (x)| M para todo x D, tenemos que

,
IS (fD )
SS (fD )
int(D)
RS, R
mR (f ) V (R) M
int(D)
V (R),
RS, R Fr(D)=
MR (f ) V (R) + M
de modo que
Escogiendo =
lados Sn tal que
V (R),
RS, R Fr(D)=
SS (fD ) IS (fD ) V (R) + 2M.
1
,
n
podemos encontrar entonces una familia de reticu-
SSn (fD ) ISn (fD ) 0,

lo que demuestra que fD es integrable sobre R.
Veremos a continuacin una clase importante de conjuntos Jordano

medibles. La mayor de los ejemplos que consideraremos en este curso
a
corresponden a regiones de esta forma, o bien a uniones nitas de regiones de este tipo.
Proposicion 2.2. Consideremos dos funciones continuas

g, h : [a, b] R tales que g(x) h(x) para todo x [a, b].
Entonces la regin D R2 denida por
o
D = {(x, y) / x [a, b], g(x) y h(x)}
es Jordan-medible
Demostracin. Observemos que la frontera de D es la regin

o
o
F r(D) = {(x, y)/ x [a, b], y = h(x)} {(x, y)/ x [a, b], y = g(x)}
{(a, y)/ h(a) y g(a)} {(b, y)/ h(b) y g(b)}.
Los dos primeros conjuntos en la descomposicin anterior son de meo

dida nula, en virtud de lo ya demostrado. El tercero es la unin de dos
o

2. DONDE INTEGRAR: CONJUNTOS JORDAN-MEDIBLES
127
segmentos de recta, conjuntos tambin de medida nula, de modo que

e
la unin de todos estos lo es.
o
g(x)
h(x)
a
{(x, y) | x [a, b] y h(x) y g(x)}.
Evidentemente, tambin es es Jordan-medible una regin de la fore

o
ma
D = {(x, y) / y [c, d], p(y) x q(y)}
para funciones p y q continuas.
Ejemplo 2.1. Consideremos la regin anular

o
D = {(x, y) / 1 x2 + y 2 4}.
Podemos entonces escribir
D = {(x, y) / x [1, 1], 1 x2 y 4 x2 }
{(x, y) / x [1, 1], 4 x2 y 1 x2 }

{(x, y) / y [ 3 3], 4 y 2 x 1}

{(x, y) / y [ 3 3], 1 x 4 y 2 }.
Ejemplo 2.2. En modo inductivo, podemos obtener una amplia

clase de regiones Jordan-medibles en dimensiones mayores: Sea A una
regin Jordan-medible cerrada y acotada en RN . Consideremos una
o
regin en RN +1 de la forma
o
(2.4)
D = {(x, y) RN +1 / x A,
h(x) y g(x)}
donde h y g son funciones continuas con h g en A. Proponemos

como un ejercicio (no-trivial) demostrar que este conjunto es en efecto
Jordan-medible en RN +1 . Por cierto una regin construida a partir de
o
una unin nita de tales regiones ser tambin Jordan-medible, donde
o
a
e
las funciones consideradas pueden ser de cualquier seleccin de N 1
o
variables (no necesariamente las primeras). Consideremos por ejemplo
la bola en R3
D = {(x, y, z) / x2 + y 2 + z 2 < 1}.

128
Podemos escribir este conjunto en la forma (2.4) pues

D = {(x, y, z) R3 / (x, y) A, 1 x2 y 2 z
1 x2 y 2 },
donde A es un disco en R2 , el que a su vez puede describirse como
A = {(x, y) R2 / x [1, 1], 1 x2 y 1 x2 }.

A es entonces Jordan-medible en R2 de acuerdo a lo ya demostrado, y
por ende D tambin lo es.
e
3.
Clculo de integrales: El Teorema de Fubini

a
El problema que queremos abordar a continuacin es el del clculo

o
a
de integrales m ltiples. La sola denicin, por cierto es de dif aplicau
o
cil
cin en el clculo expl
o
a
cito. Afortunadamente, en casos concretos este
clculo se reduce al de integrales iteradas en el modo que explicamos a
a
continuacin. Consideremos el rectngulo R = [a, b] [c, d] R2 y una
o
a
funcin f (x, y) continua en R. Consideremos para n meros naturales
o
u
n, m, el reticulado S de R de elementos
Rkj = a +
k1
(b
n
k
a), a + n (b a) c +
j1
(d
m
c), c +
j
(d
m
c) ,
para k = 1, . . . , n, j = 1, . . . , m. Como f es uniformemente continua

sobre R, tenemos que, dado > 0, existe n0 tal que para todo n, m
n0 ,
.
MRkj (f ) mRkj (f )
V (R)
Por ende tenemos que
f IS (f )
n
(ba)(dc)
nm
k=1 j=1
k
f a + n (b a), c +
j
(d
m
j
(d
m
c)
c)
SS (f )
f + ,
R
y por lo tanto
ba
n
k=1
dc
m
j=1
k
f a + n (b a), c +
<

3. CALCULO DE INTEGRALES: EL TEOREMA DE FUBINI
129
para todo m, n > n0 (). Haciendo tender m a innito en la desigualdad

anterior, obtenemos que
ba
f
n
R
k=1
k
f a + n (b a), y dy .
De manera similar, haciendo tender n a innito,

dc
f
m
R
f x, c +
j=1
j
(d
m
c) dx .
As pasando nuevamente al l
,
mite obtenemos
d
R
f (x, y)dx dy
y
b
f (x, y)dy dx .
Como es arbitrario,
d
f=
f (x, y)dx dy =
f (x, y)dy dx.

a
Este resultado se conoce como Teorema de Fubini y es la herramienta

principal en el clculo de integrales de funciones de varias variables,
a
pues reduce su clculo al de varias integrales iteradas de funciones
a
de una variable. Presentamos ahora una versin ms general de este
o
a
resultado:
Teorema 3.1. (Teorema de Fubini)
Sean R1 RN , R2 Rm , R = R1 R2 RN +m y f : R R, una
funcin integrable, y tal que las funciones
o
x R1
f (x, y)dy,
R2
y R2
f (x, y)dx,
R1
estn bien denidas y son integrables. Entonces

a
f (x, y)dx dy.
f (x, y)dy dx =
f=
R
R1
R2
R2
R1
Este resultado puede aplicarse en modo iterado para deducir que si

R = [a1 , b1 ] [aN , bN ] y f : R R, entonces si todas las integrales
que siguen estn bien denidas se tiene que
a
b1
R
a1
bN
b2
f=
a2
f (x1 , . . . , xN )dxN
aN
dx2 dx1 ,

130
donde en realidad el orden en las integraciones sucesivas puede alterarse

como se desee. Cuando se quiera enfatizar el orden de integracin es
o
conveniente escribir
dx2
dx1
bN1
b2
b1
f=
a2
a1
bN
dxN 1
aN1
f (x1 , . . . , xN )dxN .
aN
De lo contrario escribimos
R
bN
b2
b1
f=
a2
a1
f (x1 , . . . , xN )dx1 dx2 dxN .
aN
Ejemplo 3.1. Consideremos por ejemplo la integral

xy 2 dxdy.
I=
[0,1][0,2]
De acuerdo con el teorema anterior,

1
I=
y3
x
3
1
2
dx
xy dy =
y=2
x2
2
x=1
dx =
y=0
8
3
4
xdx = .
3
4
y 2dy = .
3
Podemos tambin calcular I como

e
2
I=
xy 2 dx =
dy
0
y2
0
dy =
x=0
1
2
Ejemplo 3.2. El Teorema de Fubini tambin es util para calcular

e
integrales sobre regiones que no son necesariamente rectngulos.

a
Por ejemplo consideremos la regin triangular
o
D = {(x, y) / 0 x 1, 0 y x}.
Se pide calcular la integral
I=
f (x, y)dxdy.
D
Tenemos que para un rectngulo R que contiene a D, digamos R =

a
[0, 1] [0, 1],
1
I=
R
fD (x, y)dxdy =
dx
0
fD (x, y)dy.
Recordemos que fD (x, y) = f (x, y) si (x, y) D, fD (x, y) = 0 si no.

Entonces, para x dado en [0, 1], fD (x, y) = f (x, y) si 0 y x, y
fD (x, y) = 0 si x < y 1. As
,
1
fD (x, y)dy =
f (x, y)dy,
0

3. CALCULO DE INTEGRALES: EL TEOREMA DE FUBINI
131
y por lo tanto
1
I=
dx
0
f (x, y)dy.
0
Notemos que, calculando en el orden inverso,

1
I=
dy
0
fD (x, y)dx.
Para y dado en [0, 1],

f (x, y) si y x 1,
0
en caso contrario.
fD (x, y) =
Por lo tanto, podemos tambin expresar

e
1
I=
dy
0
f (x, y)dx.
y
Consideremos por ejemplo f (x, y) = x2 + y 2 . Entonces

1
I=
(x2 + y 2 )dy =
dx
0
4
3
1
0
1
x3 dx = .
3
En el orden inverso,
1
I =
(x2 + y 2 )dx
dy
0
y
1
dy
0
1
=
0
x3
3
1y 3
3
+ y2x
x=1
x=y
+ y 2 y 3 dy
1
=
.
3
Geomtricamente, el n mero calculado corresponde al volumen soe
u
bre el tringulo D y bajo el paraboloide z = x2 + y 2.
a
Ms generalmente, si A R2 y f : A R+ denimos
a
Df = {(x, y, z) / (x, y) A, 0 z f (x, y)}.
Bajo las hiptesis necesarias,
o
v(Df ) =
R
1D f ,
132
donde R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ] contiene a Df .

As del Teorema de Fubini obtenemos
,
b3
v(Df ) =
dxdy
a3
[a1 ,b1 ][a2 ,b2 ]
1Df (x, y, z)dz
f (x,y)
dxdy
A
dz
0
f (x, y)dxdy.
A
Ejemplo 3.3. Se pide calcular el volumen del tetraedro

D = {(x, y, z) /x, y, z 0, x + y + z 1}.
Podemos describir esta regin en el modo siguiente:
o
D = {(x, y, z) /(x, y) A, 0 z 1 x y},
donde A es el tringulo
a
A = {(x, y) /x [0, 1], 0 y 1 x}.

Entonces
V (D) =
A
(1 x y)dxdy
1x
dx
0
(1 x y)dy
1 1
(1 x)2 dx
=
2 0
1
.
=
6
Ejemplo 3.4. Calculemos el volumen de la porcin de la bola
o
B(0, 1) en R3 comprendida dentro del primer octante:
D = {(x, y, z) / x2 + y 2 + z 2 1, x, y, z 0}.
Para ello, describimos D razonando en el modo siguiente: El rango de

variacin de la coordenada x para los puntos (x, y, z) D es 0 x 1.
o
Ahora, para x dado en rango, la coordenada y tiene por rango total
este
de variacin 0 y 1 x2 , y nalmente para (x, y) dado en estos
o
1 x2 y 2. As tenemos la
,
rangos, z puede variar en 0 z
descripcin
o
D = {(x, y, z) / 0 x 1, 0 y 1 x2 , 0 z 1 x2 y 2}.

4. CALCULO DE INTEGRALES: EL TEOREMA DEL CAMBIO DE VARIABLES
133
Entonces
v(D) =
1dxdydz
D
1
dx
dy
0
0
1
1x2
dz
0
1x2
1 x2 y 2 dy.
dx
0
1x2 y 2
Calculemos la integral interior

mediante el cambio de variables y =
t 1 x2 , de modo que dy = dt 1 x2 y
1x2
1 x2 y 2 dy = (1 x2 )
Haciendo ahora t = sin u obtenemos

1
1 t2 dt =
0
de donde
v(D) =
4.
1
0
cos2 tdt =
(1 x2 )dx =
1 t2 dt.
,
4
.
6
Clculo de integrales: El Teorema del Cambio de

a
Variables
El clculo del volumen de una porcin esfrica en el ejemplo antea

o
e
rior, si bien fue posible, result relativamente complicado. La razn es
o
o
que no es del todo natural intentar describir una regin de esta clase
o
directamente en coordenadas cartesianas xyz. El Teorema del Cambio
de Variables nos entrega una herramienta util de clculo en caso que
a
la regin de integracin y/o la funcin involucrada pueden ser expreo
o
o
sadas en modo ms simple mediante la introduccin de coordenadas
a
o
alternativas.
Consideremos a manera de ejemplo, las coordenadas polares en R2 ,
(r, ), 0 < r < , ]0, 2[. Consideremos una regin D en R2 y su
o
representacin en coordenadas polares,
o
D = {(r, ) /(r cos , r sin )} D.

Notemos que si a partir de un punto de coordenadas (r0 , 0 ) incrementamos la variable r en una magnitud peque a r, y en , entonces
n
el volumen de la clula
e
(r, ) [r0 , r0 + r] [0 , 0 + ]
134
corresponde aproximadamente al de un rectngulo de lados r y r0 .

a
As si llenamos la regin D con un reticulado de peque as celdas de
,
o
n
este tipo, debisemos tener que
e
f (r0 cos 0 , r0 sin 0 )r0 r,

r0 ,0
en otras palabras, es razonable esperar que bajo ciertas hiptesis

o
f (x, y)dxdy =
D
f (r cos , r sin )rdrd.

D
Este es efectivamente el caso. Veremos cmo enfocar esto en modo ms

o
a
sistemtico. Consideremos dos regiones abiertas y acotadas D y D y
a
una funcin biyectiva y de clase C 1 , T : D D. En otras palabras, T
o
es inyectiva y D = T (D ).
Notemos primero que si R = [u0 , u0 + h1 ] [v0 , v0 + h2 ] y T es una
aplicacin lineal af de la forma
o
n
T (u, v) = T (u0 , v0 ) + A
u u0
,
v v0
con A una matriz invertible 2 2, que escribimos

A=
a11 a12
= [a,1 a,2 ].
a21 a22
El conjunto T (R) est dado por

a
T (R) = {T (u0 , v0 ) + [ta,1 sa,2 ] / 0 t h1 , 0 s h2 } .
Esto es, por un paralelogramo que tiene por lados los vectores h1 a,1
y h2 a,2 . El rea de este paralelgramo, recordemos, es la norma del
a
o
producto cruz de estos dos vectores, pensados como vectores de R3
con tercera coordenada 0. Vemos de inmediato que el area de T (R)
est dada por

a
V (T (R)) = | det(A)| V (R).
Supongamos ahora que T no es af sino una aplicacin continuamenn,
o
te diferenciable. Entonces si los lados h1 y h2 del rectngulo R son
a
peque os, podemos aproximar T (x, y) en R por una aplicacin af
n
o
n
T (u, v) T (u0 , v0 ) + T (u0 , v0 )
u u0
,
v v0

135
De modo que si f es una funcin continua, tenemos

o
T (R)
f (x, y)dxdy f (T (u0, v0 )) V (T (R))

f (T (u0, v0 )) | det(T (u0 , v0 ))| V (R)
f (T (u, v))| det(T (u, v))|dudv.
De este modo, suponiendo ahora que D = T (D ) y que D se aproxima

por un reticulado formado por una coleccin de rectngulos peque os
o
a
n
{Ri }iI , tendremos entonces que D se aproxima por un reticulado de
casi paralelgramos{T (Ri )}iI . Suponiendo que T es inyectiva, las
o
imgenes de estos rectngulos no se intersecten en sus interiores y
a
a
D
f (x, y)dxdy
f (x, y)dxdy
iI
T (Ri )
iI
Ri
f (T (u, v))| det(T (u, v))|dudv

f (T (u, v))| det(T (u, v))|dudv.
D
La igualdad de las cantidades primera y ultima se denomina el Teo

rema del Cambio de Variables y es vlida en realidad para una integral
a
m ltiple en cualquier dimensin. Vale la pena recordar su versin ya
u
o
o
conocida por el lector en funciones de una variable: Si T : [a, b] R
es continuamente diferenciable y T (u) > 0, entonces para f continua
se tiene que
b
T (b)
f (T (u))T (u)du =
a
f (x)dx
T (a)
Si T (u) < 0 la misma frmula es vlida, y puede escribirse como

o
a
b
T (a)
f (T (u))(T (u))du =
a
f (x)dx .
T (b)
As siempre que T (u) = 0 para todo u [a, b], tenemos que

,
f (T (u))|T (u)|du =
]a,b[
f (x)dx .
T (]a,b[)
Notemos que la inclusin estricta de los extremos del intervalo [a, b],
o
no altera el valor de la integral. Enunciemos ahora el teorema en su
versin general.
o

136
Teorema 4.1. (Teorema del Cambio de Variables)

Sea RN un abierto y T : RN una funcin de clase C 1 . Sea D
o
una regin abierta y acotada con Adh(D ) , y supongamos adems
o
a
que T es inyectiva en D , que la matriz T (u) es invertible para todo
u D y que D = T (D ) es un abierto. Sea f : D R una funcin

o
continua. Entonces
f (T (u))| det(T (u))| du .
f (x) dx =
D
Ejemplo 4.1. Calcular la integral

(x + y)dxdy,
D
donde
D = {(x, y) / 1 x y 2 x, y + 1 2x 5 + y}.
Escribamos
u = x + y,
v = 2x y
y denimos entonces la transformacin T como

o
T (u, v) =
1 (u + v)
x
.
=
y
3 (2u v)
De este modo, tenemos que

T (u, v) =
1 1 1
3 2 1
y as
1
1
| det(T (u, v))| = | | = .
3
3
La regin D queda entonces descrita en trminos de las coordenadas
o
e
(u, v) como
D = {(u, v) / 1 u 2, 1 v 5}
y de acuerdo con el Teorema del Cambio de Variables,
(x + y)dxdy =
D
1
1
u dudv =
3
D 3
dv
1
udu =
1
1
3
4 = 2.
3
2
Ejemplo 4.2. Apliquemos este resultado para calcular el volumen,

en el primer octante, de la bola B(0, R) en R3 . Ms precisamente, de
a
la regin {x2 + y 2 + z 2 < R2 / x, y, z 0}. Esto es, el volumen bajo el
o
grco de la funcin z = f (x, y) = R2 x2 y 2 sobre la regin
a
o
o
D = {(x, y) / x, y 0, x2 + y 2 < R2 }

137
del plano XY . En otras palabras, queremos calcular la cantidad

I=
f (x, y) dxdy.
D
Consideremos coordenadas polares

x
r cos
=
.
y
r sin
T (r, ) =
De este modo tenemos que (salvo por una zona de medida nula: la
periferia y el origen), D = T (D ) donde D es simplemente
D = {(r, ) / 0 < r < R, 0 < < }.
2
Notemos que
cos r sin
.
sin r cos
T (r, ) =
De modo que det(T (r, )) = r, y entonces, de acuerdo con el Teorema

del Cambio de Variables,
f (x, y) dxdy =
f (r cos , r sin ) rdrd
=
0
0
R
R2 r 2 cos2 r 2 sin2 rdrd
R2 r 2 rdr
2 0
3
=
R.
6
Multiplicando por 8 vemos que esto coincide con la frmula familiar
o
=
4
V (B(0, R)) = R3 .
3
Viene al caso mencionar que es lenguaje com n decir que en coordenau
das polares el elemento de rea est dado por rdrd, mientras que en
a
a
coordenadas cartesianas lo est por dxdydz.
a
Ejemplo 4.3. Consideremos el c
rculo (x a)2 + y 2 < a2 . Se pide
calcular el rea de la regin D interior al c
a
o
rculo, comprendida entre
las rectas y = x e y = x. Para resolver este problema, expresaremos
la regin D en trminos de coordenadas polares relativas al origen. La
o
e
primera observacin es que la periferia del c
o
rculo (x a)2 + y 2 = a2
queda expresada en coordenadas polares como
(r cos a)2 + (r sin )2 = a2 .
138
Esto es, r 2 2ar cos = 0, o sea la curva r = 2a cos . La regin en

o
cuestin queda entonces descrita como
o
D = {(r, ) /
< < , 0 < r < 2a cos }

4
Su rea es
a
V (D) =
1dxdy
D
4 2a cos
1 rdrd
2a2 cos2 d
= a2
4
2
a (2
(1 + cos 2)d
+ 1).
Ejemplo 4.4. Calcularemos la masa total de un cono de revolucin

o
de altura h y radio R con vrtice en el origen, y cuya densidad de masa
e
est dada por (x, y, z) = z. Para este problema es conveniente introa
ducir un sistema de coordenadas que extiende las coordenadas polares
del plano con la coordenada z, las llamadas coordenadas cil
ndricas:

x
r cos
T (r, , z) = y = r sin .
z
z
Notemos que
cos r sin 0
T (r, , z) = sin r cos 0 ,
0
0
1
de modo que det(T (r, , z)) = r. Decimos entonces, que para coordenadas cil
ndricas, el elemento de volumen est dado por rdrddz. Esto
a
tiene una interpretacin gemtrica simple nuevamente, pues si a paro
e
tir de un punto de coordenadas (r, , z) se hacen variar estas variables
respectivamente en magnitudes dr, d y dz se obtiene un rectngulo
a
innitesimal de lados dr, rd y dz.

139
Usando estas coordenadas, podemos describir el cono D, salvo por

un conjunto de medida nula, como la regin
o
D = {(r, , z) /r ]0, R[, ]0, 2[,
h
r
R
< z < h}.
No necesitamos trabajar una representacin expl

o
cita del dominio D en
coordenadas cartesianas. Tenemos que
zdxdydz =
zrdrddz
d
0
rdr
R
= 2h2
0
zdz
h
r
R
(1
r2
)rdr
R2
2 2
h R.
=
2
Notemos tambin que el volumen del cono est dado por
e
a
V (D) =
1rdrddz
D
d
0
rdr
0
dz
h
r
R
= 2h
0
2
=
hR ,
3
r
r(1 R )dr
otra frmula familiar.

o
En el ejemplo siguiente introducimos las coordenadas esfricas; otro
e
sistema de coordenadas util que extiende las polares a R3 .
Ejemplo 4.5. Sea D = {x2 + y 2 + z 2 < R2 } Consideremos a continuacin el problema de calcular la integral
o
(x2 + y 2 )dxdydz
I=
D
Denimos las coordenadas esfricas como

e

x
r cos sin
T (r, , ) = y = r sin sin .
z
r cos
Con esta denicin, r representa la distancia del punto (x, y, z) al orio

gen: r = x2 + y 2 + z 2 mientras que es el ngulo polar en el plano
a
140
XY como antes, [0, 2] y ahora es el ngulo medido desde el eje

a
z al vector (x, y, z), [0, ], de modo que el r polar antiguo, el largo
de (x, y) est dado ahora por r sin .
a
Tenemos que
cos sin r sin sin r cos cos

T (r, , ) = sin sin r cos sin r sin cos ,
cos
0
r sin
de modo que
| det(T (r, , z))| = r 2 sin .
El elemento de volumen en coordenadas esfricas est entonces dado

e
a
por r 2 sin drdd. Esto tiene una interpretacin gemtrica simple nueo
e
vamente, pues si a partir de un punto de coordenadas (r, , ) se hacen
variar estas variables respectivamente en magnitudes dr, d y d se
obtiene un rectngulo innitesimal de lados: dr, r sin d y rd.
a
Usando estas coordenadas podemos describir la bola D, salvo por
un conjunto de medida nula, como la regin
o
D = {(r, , ) /r ]0, R[, ]0, 2[, ]0, [},
De modo que
(x2 + y 2 )dxdydz
I =
D
2
(r 2 sin2 )r 2 sin drdd
=
0
2 5 3
=
R
sin d
5
0
2 5
=
R
(1 cos2 ) sin d
5
0
8
R5 .
=
15
Ejemplo 4.6. Consideremos el toro de revolucin D, constituido
o
por el slido obtenido al rotar el disco de centro (b, 0, 0) y de radio a con
o
b > a. Las siguientes coordenadas toroidales describen apropiadamente
a este slido:
o

x
(b + r sin ) cos
T (r, , ) = y = (b + r sin ) sin .
z
r cos

141
Tenemos ahora que
sin cos (b + r sin ) sin r cos cos

T (r, , ) = sin sin (b + r sin ) cos r cos sin .
cos
0
r sin
De modo que
| det(T (r, , z))| = r(b + r sin ).

El volumen del toro est dado por
a
2
r(b + r cos )drdd = 2 2 ba2 = (2b)(a2 ),
V (D) =
0
que corresponde al rea del disco multiplicada por la longitud de la

a
circunferencia central.
Ejemplo 4.7. Una aplicacin interesante del Teorema del Cambio
o
de Variables es el clculo de una integral clsica, especialmente relea
a
vante en Probabilidades. Proponemos el clculo de la integral impropia
a
I=
ex dx .
Esto no es tan sencillo puesto que la funcin ex no posee una primitiva

o
expresable en trminos de funciones elementales. El truco es expresar
e
la cantidad I de la siguiente manera
I2 =
ex dx
donde
ey dy
= l JR
m
R+
ex dx
JR =
ey dy
Este producto corresponde exactamente a la integral iterada

R
JR =
ex
dx
R
2 y 2
dy
la cual es, gracias al Teorema de Fubini igual a la integral doble

ex
JR =
2 y 2
CR
dxdy,
CR = [R, R] [R, R].
Notemos que
B(0, R) CR B(0, 2R).
Por ende tenemos que
ex
B(0,R)
2 y 2
dxdy JR
ex
B(0,2R)
2 y 2
dxdy.
142
Por otra parte, en coordenadas polares, la regin B(0, R) corresponde

o
simplemente a 0 < r < R, 0 < < 2, por lo tanto del Teorema del
Cambio de Variables obtenemos
x2 y 2
dxdy =
B(0,R)
R2
4R2
As (1 e ) JR (1 e
,
la hermosa frmula expl
o
cita
er rdr = (1 eR ).
) y l R JR = , lo que implica
m
ex dx =
5. PROBLEMAS CAP
ITULO 7
5.
143
Problemas Cap
tulo 7
P1.- Determine justicando matemticamente, cules de las siguiena

a
tes funciones son integrables en [0, 1] [0, 1]
I) f (x, y) = A ,
II) f (x, y) =
A = {(x, y) : y x2 }
sin(xy)
xy
III) f (x, y) = xy B ,
si x = y
si x = y
B = QR
donde A (x, y) = 1 si (x, y) A y A (x, y) = 0 si no.

P2.- I) Considere el rectngulo R = [1, 1] [0, 2] y sea Rn la
a
particin uniforme con n2 subrectngulos, es decir, todos
o
a
los rectngulos de Rn tienen las mismas dimensiones. Para
a
f (x, y) = ex y , calcule las sumas superior e inferior
S(f, Rn ) ,
I(f, Rn )
II) Calcule los siguientes l

mites
l S(f, Rn ) ,
m
n+
l I(f, Rn )
m
n+
y utilice esta informacin para justicar que la integral doo

ble D f dxdy existe. Encuentre su valor.
P3.- Sea R = [0, 1] [0, 1], f : R R2 R una funcin acotada
o
(ie, M > 0 tal que (x, y) R : |f (x, y)| M) y considere la
siguiente sucesin de funciones fn : R R denida como sigue
o
fn (x, y) =
f (x, y) si y > 1/n

0
si y 1/n
Suponga que n N : fn es integrable y dena In =

f dxdy.
R n
(A) Pruebe que I := l In existe.
m
n+
(B) Pruebe que f es integrable y se tiene que I =
f dxdy
Ind.- Demuestre que {In }nN es una sucesin de Cauchy,

o
viendo que n > k : |In Ik | < M/k. Luego, considere una
144
particin Pmn (R) para m N. Divida la suma de Riemann

o
f (cQ )Area(Q) (donde cQ Q) en dos partes: En aquellos
Q
rectngulos que estan por debajo de y = 1/n y el resto.
a
P4.- Sea E R3 la regin:
o
E = {(x, y, z) R3 : z 0, x + 2y + z 1, y |x|}
Calcule por integracin el volumen de E. Encuentre adems
o
a
ydV
E
P5.- Sea W la regin limitada por los planos x = 0, y = 0, z = 2 y

o
la supercie z = x2 + y 2 ubicada en el cuadrante x 0, y 0.
Esboce la regin W y calcule de 2 maneras distintas la integral
o
x dxdydz
W
P6.- Dado 1 y una funcin continua f : [0, +) R denimos

o
x
I (f )(x) :=
0
(x t)1 f (t)dt x 0.
Muestre que , 1 se cumple la identidad

I (I (f )) = C(, ) I+ (f )
en donde
1
C(, ) =
0
y 1(1 y)1dy
P7.- Sea f : [a, b] R una funcin continua y positiva, y considere el

o
slido de revolucin D generado al rotar la curva {(f (z), 0, z) :
o
o
z [a, b]} sobre el eje OZ.

Demuestre la frmula
o
b
f 2 (z)dz
V ol(D) =
a
5. PROBLEMAS CAP
ITULO 7
145
P8.- Calcule las siguientes integrales iteradas

i)
1
ii)
1
1
(x ) sin(x3 )dxd
1x2
1x2
1x2 y 2
x2 + y 2 + z 2 dzdydx
1x2 y 2
iii)
8
0
y
dxdy
16 + x7
P9.- Calcule las siguientes integrales usando el teorema del cambio

de variables
i) Para D = {(x, y) : 2x < y < 2x + 1, 1 2x < y < 8 x},
calcule
(y 2x)dxdy
D
ii) Si E es la regin encerrada por 2z = x2 +y 2, x2 +y 2 +z 2 = 3,

o
calcule
(x2 + y 2 + z 2 )dxdydz
E
1
iii) Para H = {(x, y) : x, y 0, x y 1, y 2 x}, calcule
yey
dxdy
2
H (x + y)
Ind.- Use el cambio de variables x + y = u, y = uv.
P10.- Calcule el volumen del conjunto de los puntos del espacio encerrados por el elipsoide de ecuacin
o
2
2
2
y
z
x
+ 2 + 2 = R2 con a, b, c, R > 0
a2
b
c
Ind.- Considere la transformacin T (x, y, z) = (ax, by, cz) y
o
estudie T (B(0, R))
Cap
tulo 8
Coordenadas curvil
neas
Las coordenadas cartesianas no siempre son las ms cmodas para
a o
describir curvas (trayectorias), supercies, vol menes y otros objetos
u
geomtricos. En diversas ocasiones el problema en estudio posee ciertas
e
simetr que no se ven reejadas al utilizar estas coordenadas.
as
Por ello es importante estudiar formalmente un sistema de coordenadas arbitrario, al cual nos referiremos por sistema de coordenadas
curvil
neas.
En general, un sistema de coordenadas curvil
neas es una trans3
3
formacin invertible r : D R R , de modo que a todo triplete
o
(u, v, w) D le corresponde un unico punto en el espacio
r(u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)).
1.
Triedro de vectores y factores escalares
Asociado a un sistema de coordenadas curvil

neo, dado por , se
r
dene un triedro de vectores unitarios de la siguiente manera. Supongamos que r es diferenciable, jemos (u0 , v0 , w0 ) D y consideremos
r
la curva parametrizada por u r(u, v0 , w0 ). Si u (u0 , v0 , w0 ) = 0,
entonces el vector tangente a la curva en el punto r(u0 , v0 , w0 ) est bien
a
denido y se expresa como
u=
r
(u0 , v0 , w0 )
u
r
(u0 , v0 , w0 ) .
u
r
r
Similarmente, si que v (u0 , v0 , w0) = 0 y w (u0 , v0 , w0 ) = 0, los
vectores tangentes v y w a las curvas parametrizadas por v r(u0 , v, w0)

y w r(u0 , v0 , w) estn bien denidos. Todo esto se establece a contia
nuacin.
o
Definicion 1.1. Supongamos que r = 0, r = 0 y r = 0 en

u
v
w
el punto (u0 , v0 , w0 ). Denimos el triedro de vectores unitarios, u, v

y w, asociados al sistema de coordenadas dado por , en el punto
(u , v , w ), mediante
r 0 0 0

r
r
r
r
r
u=
/
/
/
, v=
, y w=
.
u
u
v
v
w
w
147
8. COORDENADAS CURVIL
INEAS
148
Llamaremos factores escalares a los siguientes valores reales

r
,
u
hv =
1 r
,
hu u
v=
hu =
r
,
v
hv =
r
.
w
De esta forma,
u=
1 r
,
hv v
w=
1 r
.
hw w
Definicion 1.2. Un sistema de coordenadas tal que en cada punto

u, v , w resulta un triedro ortogonal ser llamado sistema ortogonal.

a
En la seccin anterior vimos varios sistemas de coordenadas clsio
a
cos (coordenadas cil
ndricas, esfricas, toroidales). En lo que sigue los
e
analizaremos ms a fondo.
a
2.
Coordenadas cil
ndricas
Para este sistema de coordenadas la posicin de un punto P en el

o
espacio queda determinada por tres variables, , y z, como muestra
la siguiente gura:
+P
[0, +[
[0, 2[
zR
z
Entonces, la relacin entre las coordenadas cil

o
ndricas y cartesianas
viene dada por
r(, , z) = (x(, , z), y(, , z), z(, , z)) = ( cos , sen , z).
Rec
procamente, a un punto descrito por lo valores x, y e z, en coordenadas cartesianas, le corresponden los siguientes valores en coordenadas
cil
ndricas
y
, z = z.
= x2 + y 2, = arctan
x

3. COORDENADAS ESFERICAS
149
Calculemos los factores escalares y el triedro unitario asociado a

este sistema de coordenadas.
r
= (cos , sen , 0) h = 1,
r
= ( sen , cos , 0) h = ,
r
= (0, 0, 1) hz = 1,
z
obteniendo nalmente que el triedro es:
(2.1) = (cos , sen , 0),
= ( sen , cos , 0),
z = k = (0, 0, 1).

3.
Coordenadas esfricas
e
Un tipo de geometr que aparece con frecuencia en las aplicaciones

a
es la geometr esfrica. Para el sistema de coordenadas ligado a esta
a e
geometr la posicin de un punto P est determinada por un radio r
a,
o
a
y dos ngulos y , como se muestra en la gura.
a
INEAS
150
+P
r [0, +[
[0, ]
[0, 2[
r
y
As tenemos para un punto descrito usando los valores r, y la

,
siguiente representacin
o
r(r, , ) = (r sen cos , r sen sen , r cos ).
Rec
procamente, para un punto dado en coordenadas cartesianas, es
decir descrito usando x, y y z, se tiene la relacin
o
r=
x2 + y 2 + z 2 ,
= arctan
x2 + y 2
z
= arctan
Calculemos los factores escalares y el triedro unitario

r
= (sen cos , sen sen , cos ) hr = 1,
r
r
= (r cos cos , r cos sen , r sen ) h = r,
r
= (r sen sen , r sen cos , 0) h = r sen ,
obteniendo
r = (sen cos , sen sen , cos ),
= (cos cos , cos sen , sen ),
= ( sen , cos , 0).
y
.
x
4. COORDENADAS TOROIDALES
151
4.
Coordenadas toroidales
Este nuevo sistema no corresponde exactamente a la nocin de sisteo

ma de coordenadas denida anteriormente, pues no permiten describir
el espacio R3 completo. Sin embargo, el anlisis anterior sigue siendo
a
vlido.
a
En estas coordenadas, dado un radio mayor R jo, la posicin de un
o
punto P queda determinada por un radio menor r y dos angulos y
como muestra la gura.

z
R
x
El vector posicin viene dado por:
o
r(r, , ) = ((R + r sen ) cos , (R + r sen ) sen , r cos ),
donde r [0, R], [0, 2) y [0, 2).
INEAS
152
Los vectores unitarios y los factores escalares resultan ser:

r
= (sen cos , sen sen , cos ); hr = 1,
r
r
= (r cos cos , r cos sen , r sen ); h = r,
r
= ((R + r sen ) sen , (R + r sen ) cos , 0); h = (R + r sen ).
De aqu obtenemos
r = (sen cos , sen sen , cos );
= (cos cos , cos sen , sen );
= ( sen , cos , 0).

Es fcil vericar que r, y son ortogonales.
a

r
5.
Gradiente en coordenadas ortogonales
En las aplicaciones, muchas magnitudes escalares se expresan de

manera natural como una funcin descrita en un sistema de coordenao
das curvil
neas distinto al cartesiano.
Sea r : D R3 R3 un sistema de coordenadas que supondremos
ortogonal, y consideremos la funcin f descrita usando este sistema,
o
es decir f : (u, v, w) f (r(u, v, w)). Si esta funcin es diferenciable
o
en todo (u, v, w) D tal que r(u, v, w) , gracias a la regla de la
5. GRADIENTE EN COORDENADAS ORTOGONALES
153
cadena se tiene
r
(f r) = f
= hu f u,
u
u
r
(f r) = f
= hv f v ,
v
v
r
(f r) = f
= hw f w,
w
w
donde hu , hv y hw son los factores escalares, y (, v , w) el triedro,
u
. Entonces, de la orasociados al sistema de coordenadas dado por r

togonalidad de u, v y w deducimos que

1
1
1
(f r) +
u
(f r) +
v
(f r)w.
hu u
hv v
hw w
Notemos que en el caso de las coordenadas cartesianas, lo anterior
corresponde a la expresin habitual para el gradiente
o
f
f
f
f =
+
k.
x
y
z
(5.2)
f =
Ejercicio. Exprese f en coordenadas esfricas y cil

e
ndricas.
Ejemplo 5.1. Consideremos el potencial gravitacional V = GM .

r
El campo de fuerzas generado por este potencial viene dado por F =
V que, de acuerdo con la expresin (5.2), se escribe en coordenadas
o
esfricas como
e
GM
F (r) = 2 r .
r
Veriquemos lo anterior mediante un clculo directo. Dado que
a
GM
,
V (x, y, z) =
x2 + y 2 + z 2
tenemos que
V
GMx
GMy
GMz
V
V
=
=
=
3 ,
3 ,
3 .
x
(x2 + y 2 + z 2 ) 2 y
(x2 + y 2 + z 2 ) 2 z
(x2 + y 2 + z 2 ) 2
As
,
V
=
=
=
GM
(x2
3 (xi + y j + z k)
+ y2 + z2) 2
GM
x + y + z k
i
j
x2 + y 2 + z 2
GM
r.
r2
x2 + y 2 + z 2
154
INEAS
En general, si g :]0; [ R es una funcin diferenciable, entonces

o
g(r), como funcin en el sistema de coordenadas esfricas representado
o
e
por sus componentes (r, , ), tiene como gradiente a la funcin
o
g = g (r).
r
6. PROBLEMAS CAP
ITULO 8
6.
155
Problemas Cap
tulo 8
P1.- Consideremos el sistema de coordenadas dado por

r(x, , ) = (x, cos , sin )
donde x R, [0, 2[ y 0.
i) Determine el triedro de vectores unitarios x, , .

Son ortogonales entre s Adems calcule x, .
?
a
ii) Encuentre una expresin para el gradiente en este sistema
o
de coordenadas.
iii) Dada f : [a, b] R+ una funcin no negativa y difeo
renciable, bosqueje la supercie descrita por la ecuacin
o
2
2
2
y + z = f (x). Verique que una parametrizacin de esta
o
supercie es r1 (x, ) = x + f (x)().
iv) Exprese el rea de la supercie denida en iii) como una

a
integral en trminos de f y f .
e
Ind.- Para resolver iv) es necesario estudiar el cap
tulo 9.
P2.- Consideremos un sistema de coordenadas curvil
neas de la siguiente forma r : D R3 R dado por
r(u, v, w) = (R(v) + u sin w)[cos v + sin v] + u cos w k
donde R : [0, 2] (0, +) es una funcin diferenciable y

o
D = {(u, v, w) R3 | 0 < u < R(v), v [0, 2], w [0, 2]}.
Encuentre una condicin necesaria y suciente para que r(u, v, w)
o
dena un sistema de coordenadas ortogonal.
P3.- Calcule el gradiente de la funcin

o
arc cos(z/ x2 + y 2 + z 2 )
x2 + y 2 + z 2
usando coordenadas apropiadas (no euclidianas).
f (x, y, z) =
Cap
tulo 9
La nocin de supercie
o
Intuitivamente una supercie es un conjunto S R3 que localmente
se asemeja a un plano. El fenmeno f
o
sico ms cercano podr ser el de
a
a
una membrana delgada, donde una de las dimensiones (espesor) es
despreciable frente a las otras.
En algunos modelos las supercies aparecen, por ejemplo, como los
conjuntos frontera que separan dos medios o dos fases dentro de un
uido.
Definicion 0.1. Un conjunto S R3 se llama supercie (o varie

dad bi-dimensional) si existe una funcin continua : R2 R3
o
r
tal que
S = { (u, v) : (u, v) },
r
donde es un conjunto conexo en R2 . La funcin se llama parameo
r
trizacin de la supercie.
o
Podemos pensar en la parametrizacin como una funcin que

o
r
o
3
tuerce el conjunto plano S en R .
En el siguiente ejemplo veremos ciertas parametrizaciones asociadas

a guras geomtricas conocidas.
e
157

9. LA NOCION DE SUPERFICIE
158
Ejemplo 0.1. El hemisferio superior del casquete esfrico de radio

e
R y centro en el origen
z
y
x
se puede parametrizar como sigue:
(, ) = (R sen cos , R sen sen , R cos ), [0, 2), [0, /2],

r1
(x, y) = (x, y, R2 x2 y 2 ), (x, y) B(0, R).
r
2
Ejemplo 0.2. Para el manto de un cono, algunas posibles parametrizaciones son

z
a
(x, y) = (x, y, h x2 + y 2), (x, y) B(0, a),
r1
a
(r, ) = 1
r2
(ra cos , ra sen , rh), r [0, h2 + a2 ], [0, 2),
h2 + a2
(r, ) = (r cos , r sen , rh/a), r [0, a], [0, 2).

r3
Estas tres parametrizaciones se obtienen usando coordenadas car
tesianas, esfricas y cil

e
ndricas, respectivamente. Notemos 2 y 3
r
r
presenta
son suaves incluso en el vrtice del cono, mientras que r 1
e
problemas de diferenciabilidad en este punto.
1. VECTORES TANGENTE Y NORMAL A UNA SUPERFICIE
159
Ejemplo 0.3. Finalmente, la parametrizacin de la supercie del

o
z
Toro de radios (R, a):
R
x
viene dada por:
(, ) = ((R + a sen ) cos , (R + a sen ) sen , a cos ),

r
1
con [0, 2) y [0, 2).

En los ejemplos anteriores hemos podido notar que al igual que
para las curvas, existen varias parametrizaciones asociadas a una misma
supercie.
Definicion 0.2. Diremos que una supercie es suave si admite

una parametrizacin C 1 , y diremos que es suave por pedazos si es una
o
unin nita de supercies suaves. Diremos tambin que una supercie
o
e
es simple si admite una parametrizacin inyectiva.
o
1.
Vectores tangente y normal a una supercie
Consideremos una supercie suave S R3 , cuya parametrizacin

o
: D R2 R3 es suave y simple. Para un punto (u , v ) Int(D)

r
0 0
dado, las funciones (, v0 ) y (u0 , ) denen curvas sobre S en una

r
r
vecindad de u0 y v0 , respectivamente.
z
n
r(, )
v0
tv
tu
D
u0
Denimos los vectores tangentes a S en r(u0 , v0 ) de la manera siguiente:

160
Definicion 1.1. Supongamos que r = 0 y r = 0 en el punto

u
v
(u0, v0 ). Denimos los vectores tangentes a S en (u0 , v0 ) mediante

r
r
u = r
v = r
t
; t
,
u
u
v
v
donde cada una de estas funciones est evaluada en (u0 , v0 ).
a
Diremos que la parametrizacin asociada a la supercie S es reo
r
gular si los vectores tangentes tu y tv son linealmente independientes.

En tal caso, llamaremos plano tangente al plano generado por tu y tv ,
(u , v ) como
y deniremos el vector normal a S en r 0 0

n = tu tv / tu tv .

Finalmente, diremos que una supercie S es regular si admite una
parametrizacin regular, y que es regular por trozos si est compuesta
o
a
por una unin nita de supercies regulares.
o

En general, los vectores tangentes tu y tv dependen de la parametrizacin. Sin embargo, el plano tangente y el vector normal son unicos,
o
este ultimo salvo por el signo.
Ejemplo 1.1. Consideremos la esfera de radio R,

z
r=n

= tv
= tu

y
x
cuya parametrizacin viene dada por
o
(, ) = (R sen cos , R sen sen , R cos ), [0, ], [0, 2).

r
Los vectores tangentes son
t = = ( sen , cos , 0) y t = = (cos cos , cos sen , sen ).
El vector normal es
n = = r = (sen cos , sen sen , cos ).

2. AREA E INTEGRAL DE SUPERFICIE
161
Ejemplo 1.2. Para el manto de un cono de radio a y altura h:

z
a
t =
x
se tiene la siguiente parametrizacin
o
(, ) = ( cos , sen , h/a), [0, a], [0, 2).

r
Entonces, los vectores tangentes son:

h
t := ( + k)/ 1 + (h/a)2 y t = ,
donde corresponde al vector unitario polar (descrito anteriormente
para la esfera), k = (0, 0, 1), y ahora = (cos , sen , 0). Finalmente,
el vector normal asociado es n = (k h )/ 1 + (h/a)2 .
Area e integral de supercie
2.
El rea de un paralelogramo denido por los vectores a y b est dada

a
a
por
(2.1)
A = a b | sen | = a b
Luego, para aproximar el rea de una supercie procedemos a subdia

vidir en peque as celdas como se indica en la siguiente gura:
n
z
v
r(, )
S
y

162
Ampliamos la regin ennegrecida:

o
r(ui , vj ) +
r(, )
v
vj
r
v
v
r
u
u
r(ui , vj )
ui
De esta manera, podemos estimar el area (A)ij de la regin ennegreo
cida como sigue
(A)ij
r
r
r
r
uv.
(ui , vj )u
(ui , vj )v =
u
v
u v
Sumando se tiene
A(S) =
i,j
(A)ij
i,j
r
r
uv.
u v
Pasando al l
mite, se demuestra que la suma converge a la integral
doble
r
r
(u, v)
(u, v) dudv,
u
v
D
lo cual motiva las siguientes deniciones.
Definicion 2.1. Sea S una supercie simple y regular, y r : D

R2 R3 una parametrizacin regular de sta. Denimos el rea de S
o
e
a
mediante:
r
r
A(S) =
(u, v)
(u, v) dudv.
u
v
D
Definicion 2.2. Sea S una supercie simple y regular, y r : D

R2 R3 una parametrizacin regular de sta. Si : R3 R es
o
e
una funcin escalar continua denida en un abierto que contiene a
o
S, denimos la integral de supercie de sobre S mediante:
dA =
S
(r(u, v))
D
r
r
(u, v)
(u, v) dudv.
u
v
r
u
u

163
Notemos que los conceptos antes denidos no dependen de la parametrizacin regular elegida, es decir, si r1 = r es una reparametrio
zacin de la supercie S, donde : D1 R2 D es un difeomorsmo
o
( y 1 de clase C 1 ), entonces
(r1 (s, t))
D1
r1
(s, t)
s
r1
(s, t)
t
dsdt
(r(u, v))
con lo cual la integral
r
(u, v)
u
r
(u, v)
v
dudv,
dA no cambia bajo reparametrizacin. La

o
D
demostracin es una simple aplicacin del Teorema de Cambio de Vao

o
riables para integrales dobles. En efecto, sabemos de la regla de la
cadena que
r u r v
r1
=
+
;
s
u s
v s
r1
r u r v
=
+
.
t
u t
v t
Por lo que se tiene

r1 r1
r
r
s
t
u v
u v
v u
s t
s t
Finalmente, aplicando el Teorema de Cambio de Variables se deduce

(r1 (s, t))
D1
r1
s
r1
t
dsdt
(r((s, t)))
r
r
u v
u v
v u
dsdt,
s t
s t
D1
| det J |
(r(u, v))
r
r
dudv.
u v
Observacion 2.1. Es importante que la parametrizacin r() usada

o
para calcular
dA sea simple y regular con el n de evitar el sumar
S
dos veces la misma regin. El anlogo en curvas es que la parametrizao

a
cin no debe devolverse y pasar dos veces por el mismo segmento de la
o
curva.
Notemos que si representa densidad supercial de masa o carga
elctrica, la integral
e
dA representa la masa o la carga elctrica total
e
S
contenida en la supercie S, respectivamente. La nocin de centro de

o
masa se extiende entonces naturalmente al caso de supercies de la

164
siguiente manera:
(2.2)
1
x dA;
xG =
M
yG =
1
M
y dA;
zG =
1
M
donde M =
dA y dA =
S
r
u
z dA,
S
r
v
dudv. Podemos resumir lo an-
terior con la siguiente notacin vectorial

o
(2.3)
rG =
1
M
r dA,
con = (x, y, z).

r
En otras palabras, intuitivamente se tiene que el diferencial de masa

est dado por dm = dA.
a
Observacion 2.2. Las deniciones establecidas en esta seccin

o
pueden extenderse trivialmente al caso de una supercie S regular por
trozos.
Ejemplo 2.1. Calculemos el area la supercie de una esfera
z
R
x
cuya parametrizacin sabemos que esta dada por
o
(, ) = R(cos sen , sen sen , cos ),

r
[0, 2), [0, ].
Aplicando las frmulas denidas en esta seccin se obtiene
o
o
A(S) =
0
2
0
R sen R dd
=
0
r
r
dd =
R2 | sen | dd = 4R2 .
Ejemplo 2.2. El area de la supercie del cono, que se ve en la

siguiente gura

165
z
a
x
y cuya parametrizacin es
o
r(, ) =
cos , sen ,
h
a
[0, a], [0, 2),
viene dada por

a
A(S) =
0
a
=
0
a
=
0
r r
dd

0
2
h
+ k dd
a
0
2
h
k dd
a
0
1+
h
a
= a a2 + h2 .
d
0
Ejemplo 2.3. Calculemos nalmente el rea de la supercie de un

a
toro de radios (R, a), donde a < R.
a
Recordemos que la parametrizacin del toro viene dada por r(, ) =

o
((R + a sen ) cos , (R + a sen ) sen , cos ), con [0, 2),

166
[0, 2). Luego, el rea es

a
2
A(S) =
0
0
2
=
0
0
2
r
r
dd
(R + a sen ) a dd
a|R + a sen |dd

0
0
2
a(R + a sen )dd

0
= 4 2 aR.
Ejemplo 2.4. Calculemos el rea del Helicoide

a
Figura 1. Helicoide de radio 1 y altura 1.

h
Para esto parametrizamos en coordenadas cil
ndricas r(, ) = (r cos , r sen , 2 ).
De esta forma se obtiene
a
A(S) =
0
0
a
=
0
r r
ddr =
r
h
rk
ddr =
2
2
0
a
r r +
r2
0
0
2a
h
h2
1+
1 + u2 du
=h
dr =
2 0
0
2a
h2 1
h
u 1 + u2 + ln u + u2 + 1
=
0
2 2
2r
h
h
2
h
k
2
ddr
ddr

h2 2a
4
h
1+
2a
h
+ ln
2a
+
h
1+
167
2a
h
Por ejemplo, para a = 1 y h = 2,
A(S) = [ 2 + ln(1 + 2)].

Finalmente, la masa del helicoide anterior cuando la densidad es
(x, y, z) = 1 + x2 + y 2 , viene dada por
a
a
2
a3
2
2 1 + r 2 ddr = 2
.
m=
1+r
(1+r )dr = 2 a +
3
0
0
0

168
3.
Problemas Cap
tulo 9
P1.- Considere el casquete elipsoidal descrito por la ecuacin (x/a)2 +

o
(y/b)2 + (z/c)2 = 1 con a, b, c > 0.
a) Pruebe que el plano tangente a S en el punto (x0 , y0, z0 ) S
est dado por la ecuacin
a
o
xx0 yy0 zz0
+ 2 + 2 =1
a2
b
c
b) Pruebe que la recta que pasa por el origen 0, y que es perpendicular al plano de la parte a) est dada por
a
a2 x
b2 y
c2 z
=
=
x0
y0
z0
c) Verique que las proyecciones ortogonales sobre los planos
tangentes a S satisfacen la ecuacin
o
a2 x2 + b2 y 2 + c2 z 2 = (x2 + y 2 + z 2 )2
P2.- Sea f : R R una funcin de clase C 1 tal que f (x) = 0
o
para todo x R. Considere la supercie parametrizada por
r(u, v) = u + f (v) + f 2 (v)k. Determine la ecuacin del plano
o
tangente a la supercie en el punto r(u0 , v0 ). Pruebe que este
plano contiene al eje x si y slo si f (v0 ) = 0.
o
P3.- a) Sea S la supercie dada por el grafo de la funcin g : D
o
2
1
3
R R de clase C . Si f : R R es otra funcin continua,
o
demuestre la validez de la siguiente frmula para la integral
o
de f sobre S:
f dA =
S
f (x, y, g(x, y))

dx dy
cos()
donde = (x, y, z) es el ngulo formado por la normal a

a
la supercie con el vector unitario k = (0, 0, 1)T en el punto

(x, y, g(x, y)).
b) Utilice la frmula anterior para calcular
o
xdA
S
3. PROBLEMAS CAP
ITULO 9
169
donde S es la supercie formada por el tringulo en R3

a
cuyos vertices son (1, 0, 0)T , (0, 1, 0)T , (0, 0, 1)T .
P4.- Sea f : [a, b] R una funcin continua. Denamos los cono
juntos Rf y Sf como las supercies de revolucin del grafo de
o
f en torno a los ejes x y z respectivamente, como se ilustra a
continuacin:
o
y
y
Rf
Sf
Demuestre que las frmulas

o
b
A(Rf ) =
1 + f (x)2 f (x)dx y A(Sf ) =
2x 1 + f (x)2 dx
a
son consistentes con la denicin de rea dada en este cap

o
a
tulo.
P5.- Considere la supercie S que se obtiene al intersectar la supercie z = x2 + y 2 con el volumen dado por x2 + y 2 2ay 0
donde a > 0.
i) Encuentre una parametrizacin de S.
o
ii) Calcule el rea de S.
a
iii) Considere ahora la curva que se obtiene como interseccin
o
2 + y 2 y x2 + y 2 2ay = 0, donde
de las supercies z = x
a > 0. Encuentre una parametrizacin para .
o
iv) Suponga ahora que es un alambre con densidad de masa
2a
.
igual a (x, y, z) =
8a2 x2 y 2
Calcule la masa del alambre.

170
P6.- Sea una supercie denida impl

citamente por la ecuacin
o
F (x, y, z(x, y)) = 0 para (x, y) D en un dominio de R2 .
Demuestre que
F
dA =
z
F
x
F
y
F
z
dxdy
P7.- [Cuadratura de una supercie curva]

Al calcular el rea de una supercie curva normalmente estn
a
a
involucrados n meros irracionales como por ejemplo . El siu
guiente ejemplo muestra que esto no siempre es as
.
i) Determinar el rea de la supercie de la esfera x2 +y 2 +z 2 =
a
a2 inclu dentro del cilindro x2 + y 2 = ay.
da
(Explote la simetr y use coordenadas cil
a
ndricas).
ii) Deduzca que el valor del rea de la semi-esfera x2 +y 2 +z 2 =
a
2
a con y 0 que no est inclu dentro del cilindro es un
a
da
n mero cuadrado perfecto.
u
P8.- a) Determine el centro de masa de la supercie x2 +y 2 +z 2 = 1
suponiendo densidad de masa (x, y, z) = ez .
Ind.- Puede utilizar argumentos de simetr
a.
b) Considere la supercie parametrizada por r(t, ) = t0 ()
r
donde r0 () = ( cos(), sin(), 2) con t [0, 1] y
[0, 2].
i) Bosqueje la curva descrita por r0 y la supercie .
ii) Calcule el rea de .
a
P9.- Considere la supercie correspondiente a la mitad inferior del
toro de radios R, a (ambos positivos), donde R es la distancia
que hay desde el origen hasta la circunferencia media que describe al toro y a << R es el radio de la c
rculo ortogonal cuya
rotacin en torno al eje z genera el toro slido.
o
o
Se le pide determinar el centro de masa de suponiendo densidad constante.
Ind.- Puede utilizar argumentos de simetr debidamente jusa
ticados.
3. PROBLEMAS CAP
ITULO 9
171
P10.- Sea : D R2 R3 una parametrizacin de una supercie S

o
denida por x = x(u, v), y = y(u, v), z = z(u, v).
a) Sean
=
u
x y z
x y z
= hu tu y
, ,
=
, ,
u u u
v
v v v
Demuestre que el rea de la supercie S es
a
A(S) =
D
u v
= hv tv
dudv
b) En qu se convierte la frmula para A(S) si los vectores

e
o
(/u) y (/v) son ortogonales?
c) Utilice a) y b) para calcular el rea de la supercie de una
a
esfera de radio a > 0.
d) Denamos el funcional de Dirichlet para una supercie parametrizada por : D R2 R3 mediante
J() =
1
2
dudv
Pruebe que A() J() y que la igualdad se satisface si y

slo si se cumplen las condiciones:
o
I)
II)
=0
u v

Apunte Calculo en Varias Variables

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Apunte Calculo en Varias Variables

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDAD DE CHILE

DEPARTAMENTO DE INGENIER MATEMATICA

CALCULO EN VARIAS VARIABLES

MANUEL DEL PINO

Se concede permiso para imprimir o almacenar una unica copia de

este documento. Salvo por las excepciones ms abajo se aladas, este

Esta versin fue revisada y corregida tanto por el profesor Juan

La segunda versin de este apunte cuenta adems con una secc

Derivadas parciales sucesivas

2. Area e integral de supercie

Equivalentemente, puede caracterizarse RN como el conjunto de las

(x1 , . . . xN ) + (y1, . . . , xN ) := (x1 + x1 , . . . , xN + xN ),

RN es un espacio vectorial. El curso de Algebra lineal fue destinado

tiempo, la mayor generalidad permitir una comprensin ms profunda

profundos, en parte por ello sus posibilidades virtualmente ilimitadas.

RN como espacio vectorial normado

El propsito de esta seccin es la introduccin de algunos elementos

La norma Euclideana est vinculada al producto interno cannico de

En efecto, vemos que

Proposicion 1.1. Para todo x, y RN y todo R se tiene la

Demostracin. Las propiedades (1) y (2) son evidentes. Para vericar

> 0. Evaluando en la desigualdad anterior

Reemplazando x por x obtenemos tambin que

Asociada a la nocin de distancia (1.2) est la de l

yn = (sin n, cos n), n N ,

representan, respectivamente, sucesiones en R3 y R2 .

esto es, si la sucesin de numeros reales dada por la distancia de xn a

Observemos que, escribiendo la denicin del l

que corresponde a la denicin de convergencia en R con la norma

Proposicion 2.1. Sean (xn : n N) una sucesin en RN y x un

Entonces, las siguientes armaciones son equivalentes:

Por el Teorema del Sandwich, se sigue entonces que |xni xi | 0

Probemos ahora que (b) = (a). Supongamos ahora la validez de (b),

esto es, xn x y (a) por ende se cumple. La demostracin ha sido

Sabemos, a partir de lo conocido para sucesiones reales que:

A partir de la caracterizacin de la convergencia en la Proposicin

Proposicion 2.2. Sean xn , yn sucesiones en RN . Supongamos que

3. INTERIOR, ADHERENCIA, CONJUNTOS ABIERTOS Y CERRADOS

Demostracin. Supongamos que

yn = (yn1 , . . . , ynN ) , y = (y1 , . . . , yN ) .

Por la propiedad conocida para convergencia de sucesiones reales se

Interior, adherencia, conjuntos abiertos y cerrados

Introduciremos a continuacin ciertas nociones bsicas asociadas a

Por ejemplo en R3 se tiene que

B( (0, 1, 1) , 2 ) = { (x, y, z) / x2 + (x 1)2 + (x + 1)2 < 4 }

que representa una esfera slida centrada en el punto (0, 1, 1) de radio

x Int (A) se denomina punto interior de A. Denimos paralelamente

Similarmente, x Adh (A) se denomina punto de adherencia de A. As

existe alguna bola centrada en el punto completamente contenida en

Los operadores interior y adherencia de subconjuntos de RN estn

Adh (A) = RN \ Int (RN \ A) .

Armamos que la relacin (3.6) es equivalente a x Adh (A). En efecto,

Int (A) = RN \ Adh (RN \ A) .

Un conjunto A en RN es abierto si Int (A) = A y cerrado si

3. INTERIOR, ADHERENCIA, CONJUNTOS ABIERTOS Y CERRADOS

es abierto si, y slo si, su complemento RN \ A es cerrado. Se dene

As un conjunto es cerrado si y slo si contiene a su frontera, y es

Int (A) = {(x, y) R2 / x, y > 0,

Adh (A) = {(x, y) R2 / x, y 0,

Ejemplo 3.2. Se tiene que

Adh (B(x0 , R)) = {x RN / x x0 R} := B(x0 , R) .

En efecto, si x Adh (B(x0 , R)), existe una sucesin xn con xn x0 <

|xni x0i |2 < R2

Se propone como ejercicio demostrar que la bola abierta B(x0 , R)