Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Nociones de Topologa en Rn.

Rn = {X = (x1 , x2 , ..., xn ) : xi R} con las operaciones + (suma) y (producto por escalar) es un espacio vectorial sobre R.
1. La norma euclidiana de un vector X Rn se define por
q
kXk = k(x1 , ..., xn )k = x21 + ... + x2n

Recuerde las propiedades de una norma en un espacio vectorial.

Un resultado importante son las desigualdades:
|xk | kXk para cada componente xk del vector X

2. A partir de la norma se define la nocin de distancia entre dos puntos

X = (x1 , ..., xn ) e Y = (y1 , ..., yn ) de Rn por
p
d(X, Y ) = kX Y k = (x1 y1 )2 + ... + (xn yn )2
3. En Rn se tiene tambin un producto interior definido por
hX, Y i = x1 y1 + ... + xn yn =

n
X

xk yk

k=1

p
y para el cual se verifica: kXk = hX, Xi o bien hX, Xi = kXk2 .

Tambin es vlida la desigualdad de Schwarz: |hX, Y i| kXk kY k .

En R2 y R3 : hX, Y i = kXk kY k cos , donde es el ngulo ( 180 )
formado por los dos vectores, lo que implica que
hX, Y i = 0 X Y

1.1

Bola abierta, punto interior y conjunto abierto.

Vecindad abierta de un punto en Rn .Sea X0 un punto de Rn .Cules son todos los puntos vecinos de l? (los
que estn ms prximos, los que lo rodean)
Definicin 1 Se llama bola abierta de centro X0 y radio r > 0 al conjunto
B(X0 , r) = {X Rn : d(X, X0 ) < r}
= {X Rn : kX X0 k < r}

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Cuanto ms pequeo es el r > 0, el conjunto contiene a los puntos ms

prximos de X0 .
En R2 y R3 este conjunto es, respectivamente, un crculo y una esfera
(abierta) de centro X0 y radio r.
Definicin 2 Sean A Rn y X0 A. Se dice que X0 es un punto interior
de A cuando: r > 0 tal que B(X0 , r) A.
Por ejemplo, para el conjunto A = {(x, y) : x 0, y 0} el punto (1, 2)
es un punto interior y el punto (0, 2) no es un punto interior. Para el conjunto
C = {(x, y) : x > 0, y > 0}, todos sus puntos son interiores.
Definicin 3 Un conjunto A es abierto cuando todos sus puntos son interiores.

Definicin 4 Con A Rn , el conjunto A = {X : X es punto interior de A}

se llama el interior de A.

Es claro que: A A, A es un conjunto abierto y A es el mayor conjunto

abierto contenido en A.
Una bola abierta es un conjunto abierto.

1.2

Punto de acumulacin.

Definicin 5 Sean A Rn y X0 Rn (es posible que X0

/ A). Se dice que
X0 es un punto de acumulacin de A cuando
r > 0 : [B(X0 , r) {X0 }] A 6=
Por ejemplo, para el conjunto C = {(x, y) : x > 0, y > 0}, (el cual es
abierto) los puntos (1, 2) y (0, 2) son de acumulacin. Uno pertenece al
conjunto y el otro no.
Un ejercicio interesante es mostrar que, siendo X0 un punto de acumulacin de A, es posible encontrar una sucesin X1 , X2 , ..., Xn , ... de puntos
(distintos) de A tal que d(Xn , X0 ) < n1 . Es decir, los puntos Xn se acercan
al punto X0 , o equivalentemente, la sucesin de puntos de A converge al
punto X0 .
Se define el conjunto A0 = {X Rn : X es punto de acumulacin de A} .

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1.3

Conjunto cerrado, clausura, punto frontera.

Definicin 6 Un conjunto F Rn es cerrado cuando F C es abierto.

0 , r) = {X Rn : kX X0 k r}, llamado bola cePor ejemplo, B(X
rrada de centro X0 y radio r (positivo), es un conjunto cerrado.
El siguiente teorema entrega una caracterizacin de los conjuntos cerrados.
Teorema 7 F es cerrado F contiene todos sus puntos de acumulacin.
Definicin 8 Se llama clausura de F al conjunto F = F F 0 (F junto con
todos sus puntos de acumulacin)
Es obvio que: F F y, segn el Teorema, F es cerrado F = F.
Adems, F es el menor cerrado que contiene a F.
Un punto X F se llama punto de clausura o punto de adherencia de F.
Definicin 9 Sean A Rn y X0 Rn . Se dice que X0 es un punto frontera
de A cuando:
r > 0 : B(X0 , r) A 6= B(X0 , r) AC 6=
X0 es punto frontera de A cuando pertenece a la clausura de A y a la
clausura de su complemento.

1.4

Conjunto compacto.

Definicin 10 Un conjunto K Rn es acotado cuando r > 0 tal que

K B(, r).
Definicin 11 Un conjunto K Rn es compacto cuando es cerrado y es
acotado.
Por ejemplo, una bola cerrada es un conjunto compacto; mientras que
el conjunto A = {(x, y) : x 0, y 0} no es compacto, porque (aunque es
cerrado) no es acotado.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Ejercicio 12 Represente grficamente los siguientes conjuntos e indique: interior, adherencia, frontera y conjunto de puntos de acumulacin.
A = {(x, y) R2 : 0 < x2 + y 2 < 1}
B = {(x, y) R2 : 0 < |x| + |y| 1}
C = {(x, y) R2 : x2 < y < x}
D = {(x, y) R2 : y = x2 x > 0}
E = {(x, y, z) R3 : x2 + y 2 z 2 = 1}
F = {(x, y, z) R3 : x2 + y 2 + z 2 = 1}
G = {(x, y, z) R3 : 0 < x2 + y 2 + z 2 < 1}
Decida en cada caso si el conjunto es compacto.

Ejercicio 13 Sea A = {(x, 0) : 0 x 1} n1 , y : n N 0 y 1

a) Haga una grfica que ilustre el conjunto A.
b) Determine: el interior de A y su clausura.
c) Decida si el conjunto A es abierto o si es cerrado.

Ejercicio 14 Sea A = {(x, y) : x2 + y 2 < 1} (2 + n1 , 0) : n N Determine el interior, el conjunto de puntos adherentes y el conj. de puntos de
acumulacin de A.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Lmite.

Se estudiarn funciones de varias variables reales y con valores en el espacio

vectorial Rm . Es decir, una funcin
F : A Rn Rm , X 7 F (X)
con dominio un conjunto A de Rn .
Como X = (x1 , ..., xn ), F (X) = (f1 (X), ..., fm (X)),
con fk : A R, X f (X), la funcin F est determinada por las m
funciones componentes f1 , ..., fm .
La funcin F : R2 R2 , F (x, y) = (y+x2 cos xy, 5x+exy ), es una funcin
de 2 variables con valores en R2 . Sus componentes son f1 (x, y) = y +x2 cos xy
y f2 (x, y) = 5x + exy .

2.1

Definicin de lmite.

Al igual que en el clculo de una variable, interesa estudiar el comportamiento

de F cerca de un punto X0 , el cual puede pertenecer al conjunto A (dominio
de la funcin) o no. En todo caso debe ser un punto de acumulacin de A,
para poder acercarse a X0 a travs de puntos del conjunto A (donde
es posible evaluar la funcin).
Definicin 15 Sean F : A Rn Rm , X0 un punto de acumulacin de A
y L Rm . Se escribe lim F (X) = L cuando se cumple la condicin
XX0

dado > 0, > 0 tal que:

X : kX X0 k < , X A, X 6= X0 kF (X) Lk <

(1)

Observaciones.1. La condicin (1) puede darse en forma equivalente por:

dado > 0, > 0 tal que:
X : X A, X 6= X0 , X B(X0 , ) F (X) B(L, )
Esto significa que si X es cercano de X0 entonces su imagen F (X) es
prxima de L.
2. Puede existir un L que satisfaga la condicin (1), o puede no existir.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

3. Si el lmite existe, es nico.

4. La notacin lim F (X) = L enfatiza el hecho que la evaluacin de F
XX0
XA

se hace sobre puntos prximos de X0 y que pertenecen al conjunto A.

5. Considerando que F (X) = (f1 (X), ..., fm (X)), L = (L1 , ..., Lm ) y
| fk (X) Lk | kF (X) Lk , k
se obtiene
lim F (X) = L lim fk (X) = Lk , k

XX0

XX0

Esto justifica que los teoremas posteriores sobre lmites se den slo para
funciones a valores reales: f : A R

2.2

Teoremas sobre lmites.

Es directo de la definicin que al estudiar el lmite: lim f (X) = L, podemos

XX0
XA

considerar una parte B A, con la condicin que X0 continue siendo un

punto de acumulacin de B. Entonces se tiene:
lim f (X) = L lim f (X) = L

XX0
XA

XX0
XB

Es obvio que si la implicacin en la condicin (1) vale para puntos del conjunto A, debe continuar valiendo para puntos de una parte B de dicho conjunto. Como conclusin se tiene el siguiente resultado.
Teorema 16 Si B1 y B2 son partes de A, que tienen a X0 como punto
6 M, entonces
de acumulacin, lim f (X) = L, lim f (X) = M con L =
XX0
XB1

XX0
XB2

lim f (X) no existe

XX0
XA

Ejemplo 17 Estudio del lmite

lim

(x,y)(0,0) x2

xy
+ y2

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Ejemplo 18 Estudio del lmite

x3
(x,y)(0,0) x2 y
lim

El dominio de la funcin f (x, y) = x2xy es A = R2 {(x, y) A : y 6= x2 } .

1) Si tomamos el conjunto Bm = {(x, y) A : y = mx} (recta que pasa por
el origen), se tiene
x3
x3
= lim
lim
x0 mx x2
(x,y)(0,0) y x2
(x,y)B

x2
=0
x0 m x

= lim

2) Por otro lado, si se considera el conjunto

x3
C1 = (x, y) A :
=1
y x2
(curva de nivel de f ) vemos que:
x3
y x2

= 1 x3 = y x2

y = x3 x2

lo que muestra que C1 es una curva que pasa por el origen. La siguiente es
su grfica

1
0.8
0.6
0.4
0.2
-0.5

0
-0.2
-0.4

0.5

1.5

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Ahora podemos calcular

x3
=1
(x,y)(0,0) y x2
lim

(x,y)C1

Por lo tanto, de 1) y 2),

x3
no existe.
(x,y)(0,0) y x2
lim

Es claro que cuando lim f (X) = L exista, cualquier parte B de A va

XX0
XA

a conducir al mismo resultado (L) y por supuesto que el Teorema anterior

no va a ser aplicable. En este caso, una parte B convenientemente elejida
nos proporciona el nico valor posible L para el lmite y entonces podemos
aplicar el siguiente Teorema.
Teorema 19 Si es vlido el acotamiento
| f (X) L| h(X), para X B(X0 , r)
(para X cerca de X0 ) y lim h(X) = 0, entonces lim f (X) = L
XX0

XX0

Ejemplo 20 Estudio del lmite

xy 2
(x,y)(0,0) x2 + y 2
lim

Al igual que en el clculo de una variable se tiene los teoremas sobre

lgebra de lmites:
Teorema 21 Si lim f (X) = L y lim g(X) = M entonces:
XX0

XX0

a) lim [f (X) + g(X)] = L + M.

XX0

b) lim [f (X) g(X)] = L M

XX0

c) lim [c f (X)] = c L, para una constante c

XX0

f (X)
L
=
, cuando M 6= 0
d) lim
XX0 g(X)
M
Aplicacin.- Al tomar las funciones proyecciones:
pr1 : R2 R, pr1 (x, y) = x
pr2 : R2 R, pr2 (x, y) = y

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

y aplicar la definicin de lmite se tiene:

lim

(x,y)(x0 ,y0 )

lim

(x,y)(x0 ,y0 )

[pr1 (x, y)] = x0

[pr2 (x, y)] = y0 .

Ahora, usando el Teorema, resulta el valor del lmite para una funcin
polinomial f (x, y) en dos variables:
lim

(x,y)(x0 ,y0 )

(2)

f (x, y) = f (x0 , y0 )

Por ejemplo:
lim

(x,y)(1,2)

lim

(x,y)(1,2)

[5x3 y 2xy 2 + 3] = 5 (1)3 2 2 (1) 22 + 3 = 1

[x4 + y 2xy] = (1)4 + 2 2 (1) (2) = 7

Tambin este procedimiento es vlido para funciones que son cuociente

de polinomios, como por ejemplo
3

5x y 2xy 2 + 3
1
lim
= , al aplicar la parte d) del Teorema.
4
(x,y)(1,2)
x + y 2xy
7
Note que este razonamiento es aplicable a funciones de tres o ms variables.
Otro resultado es el Teorema de sustitucin para lmites:
Teorema 22 Sean f : A Rn R , y h : I R R. Si lim f (X) = L
XX0

y lim h(t) = M, entonces

tL

lim h(f (X)) = lim h(t) = M

XX0

Por ejemplo,

tL

sin(x2 + y 2 )
sin t
=
lim
=1
t0 t
(x,y)(0,0)
x2 + y 2
lim

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

10

Continuidad.

La nocin de funcin continua es la misma que en el clculo de una variable.

Definicin 23 Sean F : A Rn Rm y X0 A. Se dice que F es una
funcin continua en el punto X0 cuando lim F (X) = F (X0 ).
XX0

En la definicin se pide que:

i) F est definida en X0 .
ii) lim F (X) exista y
XX0

iii) el lmite anterior coincida con el valor que toma F en el punto X0 .

Observe que la condicin (2) en la discusin anterior para funciones polinomiales establece simplemente que stas son funciones continuas en todo su
dominio (Rn )
Ejemplo 24 Estudie la continuidad de la funcin f , en cada punto de su
dominio
( xy
si (x, y) 6= (0, 0)
x2 + y 2
f (x, y) =
0
si (x, y) = (0, 0)
Ejemplo 25 Estudie la continuidad de la funcin f , en cada punto de su
dominio
3
x y3
si x 6= y
f (x, y) =
xy

0
si x = y

Ejemplo 26 Estudie la continuidad de la funcin f , en cada punto de su

dominio
3
x + y3
si x 6= y
f (x, y) =
xy

0
si x = y

Derivadas parciales.

Tomemos la base cannica de Rn : B = {e1 , e2 , ..., en }, donde

e1 = (1, 0, 0, ..., 0), e2 = (0, 1, 0, ..., 0), ..., en = (0, 0, 0, ..., 1).

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

11

Definicin 27 Sean f : A Rn R y X0 un punto interior de A. Se

definen las derivadas parciales de f en el punto X0 mediante los lmites:

f
f (X0 + h ek ) f (X0 )
(X0 ) = lim
(3)
h0
xk
h
cuando estos existen.
Tenemos derivada parcial con respecto a cada variable xk de la cual depende la funcin (k va de 1 a n).
Es fcil ver que si se toma la funcin (t) = f (X0 + t ek ), entonces

(h) (0)
f
0
(X0 )
(0) = lim
=
h0
h
xk
O sea, una derivada parcial es una derivada (ordinaria) del clculo de una
variable. Lo que permite trabajar, en muchos casos, con todas las reglas de
derivacin conocidas del curso anterior.
Para una funcin de dos variables: x, y , la definicin queda:

f
f (x0 + h, y0 ) f (x0 , y0 )
(x0, y0 ) = lim
h0
x
h

f
f (x0 , y0 + h) f (x0 , y0 )
(x0 , y0 ) = lim
h0
y
h
Ejemplo 28 Calcule las derivadas parciales, en todo punto donde existan,
de la funcin
( xy
si (x, y) 6= (0, 0)
x2 + y 2
f (x, y) =
0
si (x, y) = (0, 0)
Volviendo a la definicin (general) de derivada parcial podemos notar que
ella se da en trminos de los vectores de la base cannica. Cada vector ek
determina geomtricamente una direccin en Rn , precisamente la direccin
f
del eje coordenado correspondiente. As, la derivada parcial
(X0 ) es una
xk
derivada en la direccin del eje xk y mide la tasa de cambio de la funcin en
dicha direccin.
Note adems que, de acuerdo al ejemplo anterior, una funcin puede tener
todas sus derivadas parciales en un punto sin que sea continua en dicho punto.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

4.1

12

Derivada direccional.

En la definicin de derivada parcial (3) podemos cambiar el vector ek que

da la direccin, por otro vector unitario ~v que determine otra direccin en el
espacio Rn .
Definicin 29 Sean f : A Rn R , X0 un punto interior de A y ~v un
vector unitario. Se define la derivada direccional de f en el punto X0 en la
direccin dada por el vector ~v por:

f
f (X0 + h ~v) f (X0 )
(X0 ) = lim
h0
~v
h
Esta tambin corresponde a una tasa de cambio de f en X0 en la direccin
del vector ~v.
El siguiente ejemplo muestra que una funcin puede tener derivada direccional en un punto, en todas las direcciones, sin que ella sea continua en ese
punto.
Ejemplo 30 Calcule las derivadas direccionales en (0, 0), en todas las direcciones, de la funcin

2xy 2
si (x, y) 6= (0, 0)
f (x, y) =
x2 + y 4

0
si (x, y) = (0, 0)

Muestre tambin que la funcin no es continua en el origen.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

13

La Diferencial.-

Definicin 31 Sea F : A Rn Rm , X 7 F (X), una funcin de n

variables y a valores vectoriales, definida en un conjunto abierto A y sea
X0 A. Se dice que F es diferenciable en X0 cuando existe una aplicacin
lineal
L : Rn Rm , H 7 L(H) tal que:
F (X0 + H) F (X0 ) L(H)
= (vector nulo)
H
kHk
lim

(4)

Si en la condicin 4 se reemplaza H = X X0 se obtiene:

lim

XX0

F (X) F (X0 ) L(X X0 )

=
kX X0 k

(5)

Mirando esta ltima condicin podemos tomar la aplicacin

G(X) = (F (X0 ) L(X0 )) + L(X)

(6)

que es la suma de un vector constante ms una aplicacin lineal (se llama

aplicacin afn), y escribir
lim

XX0

F (X) G(X)
=
kX X0 k

(7)

La condicin 7 se expresa diciendo que la funcin definida en 6 es una

buena aproximacin de la funcin F en una vecindad del punto X0 . El
lmite 7 puede entenderse en el sentido que la diferencia F (X) G(X) tiende
a cero, ms rapidamente que kX X0 k, cuando X X0 .
Por esto, cuando f es diferenciable en el punto X0 , se tiene la aproximacin
F (X) G(X) = F (X0 ) + L(X X0 )
vlida para X prximo de X0 .
La aplicacin lineal L de 4 se llama La Diferencial de F en el punto X 0
y se denota DF (X0 ) = L.
Observaciones.1. Se puede probar que existe a lo ms una aplicacin lineal satisfaciendo
la condicin (4).

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

14

2. Cuando no existe una L lineal que cumpla (4), se dice que F no es

diferenciable en el punto X0 .
3. En el caso particular que F sea una aplicacin lineal, es inmediato
verificar que L = F verifica la condicin 4 de la definicin. O sea,
DF (X0 ) = F , en cualquier punto X0 .
4. Tambin, cuando F es una aplicacin afn, es decir F (X) = B + L(X)
(un vector constante ms una aplicacin lineal) se tiene que DF (X0 ) =
L, en cualquier punto X0 .
Tomemos una F diferenciable en X0 y considere el j-simo vector ej de
la base cannica de Rn . Podemos restringir el lmite de la condicin (4) al
camino determinado por el eje xj (h 7 h ej ) y obtener
F (X0 + h ej ) F (X0 ) L(h ej )
=
h0
kh ej k
lim

lo que lleva fcilmente a:

L(
ej ) = lim

h0

F (X0 + h ej ) F (X0 )
h

Ahora si consideramos que F = (f1 , f2 , ..., fm ) est determinada por sus

funciones componentes, lo mismo que L = (L1 , L2 , ..., Lm ); la frmula anterior da
fi (X0 + h ej ) fi (X0 )
fi
=
(X0 )
h0
h
xj

Li (
ej ) = lim

Esto muestra que, con respecto a las bases

codominio, la matriz de L est dada por:

f1
f1
x1 (X0 ) x2 (X0 ) ...
f
f2

2
(X0 )
(X0 ) ...

JF (X0 ) = x1
x2

...
...
...

fm
fm
(X0 )
(X0 ) ...
x1
x2

llamada matriz jacobiana de f en el punto X 0 .

cannicas en el dominio y

...
...
...
...

f1
(X0 )
xn
f2
(X0 )
xn
...
fm
(X0 )
xn

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

15

Caso particular.- n=2 y m=1.

Para f : A R2 R, (x, y) 7 f (x, y). diferenciable en (x0 , y0 ) se tiene:

f
f
(x0 , y0 )
(x0 , y0 )
Jf (x0 , y0 ) =
x
y
f
f
(x0 , y0 ) h +
(x0 , y0 ) k
Df (x0 , y0 )(h, k) =
x
y
La buena aproximacin de f en una vecindad de (x0 , y0 ) es
g(x, y) = f (x0 , y0 ) +

f
f
(x0 , y0 ) (x x0 ) +
(x0 , y0 ) (y y0 )
x
y

cuyo grfico z = g(x, y) corresponde a un plano que pasa por el punto

(x0 , y0 , f(x0 , y0 )). Precisamente la condicin (4) que define diferenciabilidad
de f en (x0 , y0 ) hace que este plano sea tangente a la superficie grfico de f
en el punto (x0 , y0 , f(x0 , y0 )).
Ejemplo 32 Estudie la diferenciabilidad en (0, 0) de las funciones

x2 y
si (x, y) 6= (0, 0)
f (x, y) =
x2 + y 2

0
si (x, y) = (0, 0)

2 2
xy
si (x, y) 6= (0, 0)
g(x, y) =
x2 + y 2

0
si (x, y) = (0, 0)

Cuando corresponda, encuentre el plano tangente a la grfica de la funcin

en el origen.

5.1

Teoremas sobre diferenciabilidad.

La relacin entre diferenciabilidad y continuidad est determinada en el siguiente teorema.

Teorema 33 F diferenciable en X0 F continua en X0 .
Dem.- Se sigue del hecho que toda aplicacin lineal L es una funcin continua, es decir lim L(X) = L(X0 ), y adems
XX0

F (X) F (X0 ) = F (X) F (X0 ) L(X X0 ) + L(X X0 ).

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

16

Luego, kF (X) F (X0 )k kF (X) F (X0 ) L(X X0 )k+kL(X) L(X0 )k

Como (5) implica que lim kF (X) F (X0 ) L(X X0 )k = 0, se concluye

XX0
que
lim F (X) = F (X0 )

XX0

En forma prctica el Teorema se usa aplicando su contrarecproco:

F no continua en X0 F no diferenciable en X0 .
Definicin 34 Una funcin F = (f1 , f2 , ..., fm ) definida en el abierto A
Rn y con valores en Rm es de clase C 1 en el conjunto A cuando todas las
fi
derivadas parciales
: A R son funciones continuas.
xj
La importancia de esta condicin est en el siguiente resultado (cuya
demostracin la consideramos fuera del alcance de este curso):
Teorema 35 Una funcin F de clase C 1 en el abierto A es diferenciable
en cada punto de este conjunto.
El teorema anterior muestra que la funcin
( xy
si (x, y) 6= (0, 0)
x2 + y 2
f (x, y) =
0
si (x, y) = (0, 0)
es diferenciable en todo punto (x, y) 6= (0, 0) (el conjunto A = R2 {(0, 0)}
es abierto). Adems, f no es diferenciable en (0, 0), porque no es continua.
Cul es la ecuacin del plano tangente al grfico de f en el punto
6
6
(2, 3, 13
)? ( f (2, 3) = 13
).
Determnela a partir de
z = f (2, 3) +

f
f
(2, 3) (x 2) +
(2, 3)(y 3)
x
y

Se calcula

2 y 2
xy
49
15

= y (xx2 +y
2 )2 , evaluado en (2, 3): 3 132 = 169
x x2 +y2

2 y 2
xy
10

= x (xx2 +y
= 169
, evaluado en (2, 3): 2 49
2 )2
132
y x2 +y2

La ecuacin es:

z=

6
13

15
(x
169

2)

10
(y
169

3).

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

17

La relacin entre diferenciabilidad y derivadas direccionales est dada

por:
Teorema 36 Sean f : A Rn R diferenciable en el punto X0 y ~v un
vector unitario. Se tiene entonces
f
(X0 ) = Df (X0 )(~v )
~v
Dem.- De la definicin de diferenciabilidad en X0 :
f (X0 + H) f (X0 ) Df (X0 )(H)
lim
= , basta restringir el lmite al
H
kHk
camino determinado por h h ~v para obtener
f (X0 + h~v) f (X0 )
f
=
(X0 )
h0
h
~v

Df (X0 )(~v ) = lim

Observacin.- Al definir el vector

f
f
f
f (X0 ) =
(X0 ),
(X0 ), ...,
(X0 )
x1
x2
xn
llamado gradiente de f en X0 , la igualdad
Df(X0 )(H) =

f
f
f
(X0 )h1 +
(X0 )h2 + ... +
(X0 )hn
x1
x2
xn

puede escribirse
Df (X0 )(H) = f (X0 ) H
donde representa el producto interior de los dos vectores. La frmula del
teorema anterior ahora se escribe
f
(X0 ) = Df (X0 )(~v) = f (X0 ) ~v
~v
y luego, utilizando la desigualdad de Scharwz,

(X0 ) = |f (X0 ) ~v |
~v

kf (X0 )k k~v k
= kf (X0 )k

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

18

O sea, kf (X0 )k es una cota superior para el valor absoluto de cualquier

derivada direccional en X0 .
f (X0 )
(supuesto
Por otra parte, al considerar el vector unitario ~u =
kf (X0 )k
que el vector gradiente no es nulo) se obtiene
f
f (X0 )
(X0 ) = f (X0 )
~u
kf (X0 )k
= kf (X0 )k
lo que indica que la direccin del vector ~u determina la mxima derivada
direccional de f en X0 .
Por lo tanto f (X0 ) proporciona la direccin de mayor crecimiento
para la funcin f . La direccin contraria f (X0 ) corresponder a la de
mayor disminucin de la funcin. Esto explica que el flujo de calor se produzca en la direccin de T (X), donde T es la funcin temperatura para
los distintos puntos de un cuerpo.

5.2

Derivadas de orden superior.-

Dada una funcin f : A R de n variables, definida en el abierto A de Rn

f
: A R se definen las derivadas parciales de
y con derivadas parciales
xi
segundo orden en el punto X0 A por

2f
f

(X0 )
(X0 ) =
xj xi
xj xi
" f
#
f
(X
+
h

(X
)
0
0
j
xi
= lim xi
h0
h
cuando el lmite existe. Esta definicin es para cada i, j {1, 2, ..., n} (hay
n2 derivadas de segundo orden).
Las derivadas de segundo orden de f son la derivadas parciales (de primer
f
. En forma inductiva se definen las derivadas
orden) de las funciones
xi
parciales de tercer orden, cuarto orden, etc.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

19

Por ejemplo para la funcin f (x, y) = x2 y 3 + e2x sin 3y se tiene:

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

=
=

(x2 y 3 + e2x sin 3y) = 2xy 3 + 2e2x sin 3y.

(x2 y 3 + e2x sin 3y) = 3x2 y 2 + 3e2x cos 3y

2f

(x, y) = x
(2xy 3 + 2e2x sin 3y) = 2y 3 + 4e2x sin 3y
x2
2f

(x, y) = y
(2xy 3 + 2e2x sin 3y) = 6xy 2 + 6e2x cos 3y
yx
2f
(x, y)
xy
2f
(x, y)
y2

(3x2 y 2 + 3e2x cos 3y) = 6xy 2 + 6e2x cos 3y

(3x2 y 2 + 3e2x cos 3y) = 6x2 y 9e2x sin 3y

2

f
f
(x, y) y xy
(x, y) coinciSe puede observar que las derivadas mixtas yx
den (note que se obtienen de procesos distintos). Este resultado proviene de
una propiedad ms general que se comenta a continuacin.
Una funcin f es de clase C 2 en el abierto A cuando todas las derivadas
parciales de segundo orden son continuas en A. Para funciones de clase C 2
se verifica la igualdad

2f
2f
(x, y) =
(x, y)
xi xj
xj xi
El siguiente ejemplo muestra el caso de una funcin donde no se verifica
la igualdad anterior.

x2 y 2

si x2 + y 2 6= 0
xy 2
Sea f (x, y) =
.
x + y2

0
si x2 + y 2 = 0
2f
2f
Calcule
(0, 0) y
(0, 0) .
xy
yx

5.3

Regla de la cadena.-

En el clculo de una variable la regla de la cadena indica cmo calcular la

derivada de una compuesta de dos funciones derivables:
d
0
[g(f (x))] = g0 (f (x)) f (x)
dx
La derivada de g f es el producto de la derivada de g y la derivada de f ,
calculadas en los puntos que se indica.
En el clculo de varias variables se tiene

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

20

Teorema 37 Si F : A Rn Rm es diferenciable en X0 y G : B
Rm Rp es diferenciable en Y0 = F (X0 ), entonces la compuesta G F es
diferenciable en X0 y
D(G F )(X0 ) = DG(Y0 ) DF (X0 )
O sea, la diferencial de la compuesta es igual a la compuesta de las diferenciales respectivas.
Obs.- En el teorema se supone adems que A y B son conjuntos abiertos
y que la composicin est bien definida.
Segn se vio en lgebra lineal, al representar aplicaciones lineales mediante matrices la composicin de aplicaciones corresponde a la multiplicacin de sus matrices. Por esto, la frmula del teorema se expresa en trminos de matrices jacobianas por
J(G F )(X0 ) = JG(Y0 ) JF (X0 )
Recuerde que la matriz jacobiana est formada por las derivadas parciales de las componentes de la funcin. Luego, podemos concluir que las
derivadas parciales (de las componentes) de la G F estn determinadas por
las derivadas parciales (de las componentes) de la F y de la G, segn se
analiza a continuacin:
Asociamos F (X F (X) = Y ) con las frmulas que definen sus m
componentes
y1 = f1 (x1 , x2 , ..., xn )
y2 = f2 (x1 , x2 , ..., xn )
..............
ym = fm (x1 , x2 , ..., xn )
Sus mn derivadas parciales son:

fk
yk
o
, lo que indica que las variables
xj
xj

yk dependen de las variables xj .

Asociamos G (Y G(Y ) = Z) con las frmulas que definen sus p componentes
z1 = g1 (y1 , y2 , ..., ym )
z2 = g2 (y1 , y2 , ..., ym )
..............
zp = gp (y1 , y2 , ..., ym )

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Sus pm derivadas parciales son:

21

zi
gi
o
, lo que indica que las variables
yk
yk

zi dependen de las variables yk .

Ahora, si las variables zi dependen de las yk y las yk dependen de las xj ,
al componer las dos aplicaciones las variables zi dependern de las xj .
zi
El clculo de las derivadas parciales
resulta de
xj
z

z1 z1
z1
z1
y1
y1
y1
z1
1
......
......
...... x
y1
y2
ym
x1
x2
xn
x1
x2
n
z2
z2
z2 y2
y2
y2
z2 z2 ...... z2
......
......

ym
xn =
xn
x1 x2
y1 y2
x1 x2
...... ......
...... ...... ......
...... ...... ......
......
zp
zp
zp
zp
zp
zp
ym
ym
m
...... x
...... y
...... y
x1
x2
x1
x2
xn
y1
y2
n
m
As se tiene que:
zi
xj

=
=

zi y1
zi y2
zi ym
+
+ ... +
y1 xj y2 xj
ym xj
m
X zi yk
k=1

yk xj

zi
est calculado (evaluado) en el punto X0 ,
xj
yk
zi
se evala en Y0 = F (X0 ) y
se evala en X0 .
yk
xj

Con mayor precisin, cuando

Ejemplo 38 Cambio de coordenadas rectangulares a polares.La transformacin es T : R2 R2 , (r, ) 7 (r cos , r sin ) = (x, y) Es
decir,
x = r cos
y = r sin
Para la funcin z = f (x, y), el cambio de coordenadas da z = f (r cos , r sin )
y las derivadas quedan
z
z x z y
z
z
=
+
=
cos +
sin
r
x r y r
x
y
z
z
z x z y
z
=
+
= r sin + r cos

x y
x
y

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

22

La regla se recuerda mediante el siguiente esquema

z
z
x

z
y

x
y
x y
%- r %- y

2
Para calcular las derivadas de segundo orden, por ejemplo rz2 , conviene
recordar que la frmula para z
es
r
x
r

z
z
z
(r, ) =
(r cos , r sin ) cos + (r cos , r sin ) sin
r
x
y
Luego,

2 z x
2 z y
z x 2 z y
+
+
cos +
sin
x2 r yx r
xy r y 2 r
2z
2z
2z
2
2
sin cos
cos

+
sin

+
2
=
x2
y 2
yx

2z
=
r2

z
z
= xy
(consideramos
donde en la ltima igualdad se ha supuesto que yx
2
el caso que f es C ).
Queda de ejercicio calcular las otras tres derivadas de segundo orden.

Ejemplo 39 Para el caso w = f (x, y, z) diferenciable y la curva

~r(t) = (x(t), y(t), z(t)) derivable, se tiene la compuesta
w(t) = f (x(t), y(t), z(t)) con derivada
dw
f dx f dy f dz
=
+
+
dt
x dt
y dt
z dt
0
= f ~r
Ejemplo 40 Con z = f (u) derivable y u = g(x, t) diferenciable, la compuesta queda z = f (g(x, t)) y sus derivadas parciales son
u
z
df u
=
= f0
x
du x
x
z
u
df u
=
= f0
t
du t
y

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

5.4

23

Teorema de la funcin inversa.-

Desde el punto de vista (ms bsico) del lgebra, para que una funcin
tenga inversa ella debe ser biyectiva. Sin embargo sabemos que restringiendo
apropiadamente una funcin podemos conseguir que ella tenga inversa. Es
el caso de las funciones trigonomtricas con las conocidas arcsin, arccos, etc.
El clculo diferencial se preocupa de estudiar la diferenciabilidad (o derivabilidad, segn sea el caso) de esta inversa. Primero damos una versin
particular de este teorema para el clculo en una variable.
Teorema 41 Sea f : I R, y x0 I tal que f 0 (x0 ) 6= 0. Entonces existen
vecindades V de x0 y W de y0 = f (x0 ) tales que:
a) f : V W es biyectiva
b) la inversa f 1 : W V es derivable y
1
c) para todo y = f (x) W : (f 1 )0 (y) = 0
f (x)

Por ejemplo, para f : 2 , 2 R, f(x) = sin x, se tiene:

f 0 (x) = cos x 6= 0. Luego, (f 1 )0 (y) = cos1 x = 1 2 = 1 2 ,
1sin x

dado que y = sin x x = arcsin y.

Por lo tanto,

d
dx

[arcsin x] =

1
,
1x2

1y

x ]1, 1[ .

1
n
Teorema 42 (Caso general) Sea
F :A
R , X F (X), de clase C en el
fi
(X0 ) tiene inversa (esto es, |JF (X0 )| 6=
abierto A de Rn . Si JF (X0 ) = x
j
0), entonces existen vecindades abiertas V de X0 y W de Y0 = F (X0 ) tales
que:
a) la restriccin F : V W es biyectiva

b) la inversa F 1 : W V es de clase C 1 (luego diferenciable) y

c) para todo Y W : DF 1 (Y ) = DF (X)1 . Lo que se traduce en

JF 1 (Y ) = (JF (X))1 .
Ntese que el teorema garantiza la existencia de una inversa local para
F , la cual es de clase C 1 .

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

24

Un ejemplo importante lo constituye la transformacin de coordenadas

rectangulares a polares:
T : R2 R2 , T (r, ) = (x, y), con
x = r cos
y = r sin
T es de clase C 1 con
JT (r, ) =

cos r sin
sin r cos

cos r sin
|JT (r, )| =
sin r cos

=r

Luego, para (r0 , 0 ) con r0 6= 0, T admite una inversa local en una vecindad
abierta V de (r0 , 0 ) con

1
r cos r sin
1
JT (x, y) =
r sin cos
para todo (x, y) = T (r, ) W = T (V ).

5.5

Teorema de la funcin implicita.-

Notacin.- X = (x1 , ..., xn ) es un vector de Rn , Y = (y1 , ..., ym ) es un vector

de Rm y (X; Y ) = (x1 , ..., xn , y1 , ...ym ) es un vector de Rn Rm
= Rn+m .
Teorema 43 Sea F : Rn Rm Rm , (X, Y ) 7 F (X, Y ) = (F1 (X, Y ), ..., Fm (X, Y )),
una funcin de n + m variables, de clase C r y sea P0 = (X0, Y0 ) un punto tal
que
i) F (X0 , Y0 ) =

F1
F1

(P0 ) ..........
(P0 )

y
y
1
m
(F1 , ..., Fm )

....
....
(P0 ) =
ii)
6= 0
F

(y1 , ..., ym )
Fm
m

(P0 ) ..........
(P0 )

y1
ym
Entonces existen:
una vecindad abierta M de (X0 , Y0 ) (en Rn+m )
una vecindad abierta N de X0 (en Rn )

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

25

y una nica funcin G : N Rm , X 7 G(X), de clase C r , tal que:

X N : (X, G(X)) M
(X, Y ) M F (X, Y ) = X N Y = G(X)
y XN :
(en particular Y0 = G(X0 ))
1

F
F
(X; G(X))
(X; G(X))

DG(X) =
Y
X

(8)

(9)

Observaciones.1.- La ecuacin F (X, Y ) = corresponde al sistema de m ecuaciones y n + m

incognitas
F1 (x1 , ..., xn , y1 , ..., ym ) = 0
F2 (x1 , ..., xn , y1 , ..., ym ) = 0
Fm (x1 , ..., xn , y1 , ..., ym ) = 0
y el Teorema da condiciones para que este sistema se pueda resolver de manera nica para las incognitas y1 , ..., ym en trminos de las incognitas (variables) x1 , ..., xn , en una vecindad del punto (X0 , Y0 ), conforme indica 8.
2.- El resultado para la diferencial de G expresado en 9 se puede llevar a
matrices jacobianas como

(F1 , ..., Fm )
(F1 , ..., Fm )
JG(X) =
(X, G(X))
(X, G(X))

(y1 , ..., ym )
(x1 , ..., xn )
3.- Como caso particular, cuando n = m = 1, se tiene como hiptesis
f : R R R, (x, y) 7 f (x, y) de clase C r
f
y (x0 , y0 ) tal que f (x0 , y0 ) = 0
(x0 , y0 ) 6= 0
y
El Teorema garantiza entonces que existen vecindad abierta de M de (x0 , y0 )
y vecindad abierta N de x0 y nica funcin de clase C r g : N R tal que
x N : (x, g(x)) M
(x, y) M f (x, y) = 0 x N y = g(x)
f
(x, g(x))
x N : g 0 (x) = x
f
(x, g(x))
y

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

26

Ejercicio 44 Considere la superficie S : x2 + y 2 + z 2 = 1 Cerca de qu

puntos es posible representar S como grfica de z = g (x, y), con g diferenciable?.
Considerando f (x, y, z) = x2 + y 2 + z 2 1 de clase C 1 en R3 , tenemos
f
(x, y, z) = 2z. Luego, para todo punto P0 = (x0 , y0 , z0 ) S con z0 6= 0
z
es posible despejar, en la ecuacin f (x, y, z) = 0, z = g (x, y) con g de clase
C 1.
Un razonamiento ms general se da en el siguiente ejercicio.
Ejercicio 45 Sea S la superficie, definida en forma implcita, por f (x, y, z) =
0 con f de clase C 1 y considere un punto P0 = (x0 , y0 , z0 ) S donde
f (x0 , y0 , z0 ) 6=
Muestre que el vector f (P0 ) es perpendicular (ortogonal) al plano tangente
a S en el punto P0 .
Una de las componentes del vector gradiente es no nula. Para fijar ideas
suponga que
f
(P0 ) 6= 0
z
Por teorema de la funcin implcita, cerca de (x0 , y0 , z0 ) :
f (x, y, z) = 0 z = g (x, y)
con g de clase C 1 y

z
x

z
y

1
=
f
z

f
x

f
y

Luego,
f
(P0 )
z
x
(x0 , y0 ) =
f
x
(P0 )
z

f
(P0 )
z
y
(x0 , y0 ) =
f
y
(P0 )
z

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

27

y la ecuacin del plano tangente a S en P0 es

f
f
(P0 )
(P0 )
y
(x x0 )
(y y0 )
z = g (x0 , y0 ) x
f
f
(P0 )
(P0 )
z
z
f
f
f
(P0 ) (x x0 ) +
(P0 ) (y y0 ) +
(P0 ) (z z0 ) = 0
x
y
z
lo que muestra que f (P0 ) es perpendicular a la superficie S en P0 .
Ejercicio 46 Mostrar que cerca del punto (x, y, u, v) = (1, 1, 1, 1) se puede
resolver el sistema
xu + yvu2 = 2
xu3 + y 2 v4 = 2
de manera nica para u y v como funcin de x e y. Calcular
Con

u
x

(1, 1) .

F1 (x, y, u, v) = xu + yvu2 2
F2 (x, y, u, v) = xu3 + y 2 v4 2
y F = (F1 , F2 ) el sistema es F (x, y, u, v) = (0, 0), siendo F de clase C .
Adems,

F F
1
x + 2yvu yu2
1
u
v

F
= 2
2 F2
3u x
4y 2 v3 (1,1,1,1)
u
v
(1,1,1,1)

3 1
= 9 6= 0

=
3 4

Por TFI existe (x, y) 7 g (x, y) = (u, v) de clase C que resuelve el sistema
y se tiene
1
u u

u vu2
3 1
x
y
=
v
v
3 4
u3 2yv 4 (1,1,1,1)
x
y
(1,1)

1 4
1
1 1
=
1 2
9 3 3

1
1 3 2
3 29
=
=
0
13
9 0 3

y as

u
x

(1, 1) = 13 .

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

28

Mximos y mnimos.

6.1

Mximos y mnimos relativos.

El trmino relativo corresponde al concepto local, esto es un extremo en

relacin slo a los puntos vecinos de l.
Definicin 47 Sean f : A Rn R definida en un abierto A y X0 un
punto de A. Se dice que X0 es un punto de mximo relativo cuando
r > 0 tal que X B(X0 , r) : f (X) f (X0 )
Para la definicin de mnimo relativo se reemplaza por .
Si la f diferenciable tiene un mximo relativo en X0 , entonces al darse
un vector unitario ~v en Rn y definir (t) = f (X0 + t ~v ) se tiene claramente
que alcanza un mximo relativo en t = 0 y luego
(h) (0)
f (X0 + h ~v) f (X0 )
= lim
=0
h0
h0
h
h

0 (0) = lim

Esto indica que todas las derivadas direccionales de f en X0 son nulas (en
particular las derivadas parciales), o sea Df (X0 ) =
Definicin 48 Sean f : A Rn R definida en un abierto A y X0 un
punto de A. Se dice que X0 es un punto crtico de f cuando
f no es diferenciable en X0 , o bien Df (X0 ) =
Para f diferenciable , X0 es punto crtico cuando todas las derivadas
parciales se anulan en el punto. En este caso los puntos crticos son las
soluciones del sistema de n ecuaciones y n incognitas:
f
(x1 , x2 , ..., xn ) = 0
x1
f
(x1 , x2 , ..., xn ) = 0
x2
................
f
(x1 , x2 , ..., xn ) = 0
xn
De acuerdo al razonamiento anterior se tiene:
Teorema 49 X0 extremo relativo de f X0 punto crtico.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

29

Los ejemplos, f (x, y) = x2 + y 2 , g(x, y) = x2 y 2 y h(x, y) = y 2 x2

muestran que un punto crtico puede ser mnimo relativo o mximo relativo,
o incluso, no ser mximo ni mnimo. En el ltimo caso el punto se denomina
punto de silla.
Nos interesa pues un criterio que permita decidir cual es la naturaleza de
un punto crtico encontrado.
2f
Cuando las derivadas parciales segundas
son todas continuas ( f
xi xj
es de clase C 2 ), la diferencial segunda de f en X0 es la forma cuadrtica
2

D f (X0 )(H) =

n
X

aij hi hj ,

i,j=1

con aij =

2f
(X0 )
xi xj

Note que aij = aji , de acuerdo al Teorema de Schwarz.

Segn el Teorema de Taylor en varias variables, en una vecindad de X0
se puede escribir
f (X0 + H) = f (X0 ) + Df (X0 )(H) +

1 2
D f (X0 )(H) + R2 (H)
2!

R2 (H)
= 0. (*).
H kHk2
En un punto crtico, Df (X0 )(H) = 0, H Rn ; as que

con lim

f (X0 + H) = f (X0 ) +

1 2
D f (X0 )(H) + R2 (H)
2!

En vista de (*), en una vecindad de X0 (o sea para todo H con kHk pequea):
f (X0 + H) f (X0 ) 0 D2 f (X0 )(H) 0
f (X0 + H) f (X0 ) 0 D2 f (X0 )(H) 0
Observe que las condiciones del lado izquierdo en las equivalencias indican
que X0 es un extremo relativo. Las condiciones del lado derecho se estudian
para formas cuadrticas en el contexto del algebra lineal.
6.1.1

Formas cuadrticas.

Una forma cuadrtica es una aplicacin q : Rn R , de las forma

q(X) =

n
X

i,j=1

aij xi xj , con aij = aji

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

30

a11 ...... a1n

, simtrica de orden n n, representa a
La matriz A = ....
an1 ...... ann
q en el sentido que q(X) = X T AX, es decir

x1
a11 ...... a1n

q(x1 , ...., xn ) = (x1 .....xn ) ....

an1 ...... ann
xn

Definicin 50 Para una forma cuadrtica q se dice:

q es definida positiva q(X) 0, X 6=
q es definida negativa q(X) 0, X 6=
q es no definidaExisten X1 , X2 tales que q(X1 ) < 0 < q(X2 ).

En vista que la matriz A que representa a la forma cuadrtica es simtrica,

se tiene que todos sus valores propios son reales.y se puede probar que:
a) todos los valores propios de A son positivos q definida positiva.
b) todos los valores propios de A son negativos q definida negativa
c) si la matriz posee al menos un valor propio positivo y un valor propio
negativo, entonces la forma cuadrtica es no definida.
El criterio que permite determinar de que tipo es una forma cuadrtica
considera el clculo de los siguientes
n determinates obtenidos a partir de la

a11 a12
, ..., n = |A|
matriz A : 1 = a11 , 2 =
a21 a22
Teorema 51 Para cada k entre 1 y n sea k el determinante de orden k
formado por las primeras k filas y k columnas de la matriz A. Si se tiene
n = |A| 6= 0 , entonces:
a) k : k > 0 q es definida positiva.
b) k : (1)k k > 0 q es definida negativa.
c) en todo otro caso q es no definida.

Caso de dos variables.Para f : A R2 R, (x, y) 7 f (x, y) de clase C 2 en el abierto A. Sea

(x0 , y0 ) un punto crtico, esto es, un punto tal que

= (x0 , y0 ) =
se tiene entonces:

fx (x0 , y0 ) = fy (x0 , y0 ) = 0
y sea

fxx (x0 , y0 ) fxy (x0 , y0 )

= fxx (x0 , y0 )fyy (x0 , y0 )fxy (x0 , y0 )2
fyx (x0 , y0 ) fyy (x0 , y0 )

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

31

a) fxx (x0 , y0 ) > 0 > 0 (x0 , y0 ) es un mnimo relativo.

b) fxx (x0 , y0 ) < 0 > 0 (x0 , y0 ) es un mximo relativo.
c) < 0 (x0 , y0 ) es un punto de silla.
d) Para = 0, el criterio no da informacin.
Ejemplo 52 Identifique y clasifique los puntos crticos de
f (x, y) = x2 y 2xy + 2y 2 15y
Caso de tres variables.Para f : A R3 R, (x, y, z) 7 f (x, y, z) de clase C 2 en el abierto A.
Sea (x0 , y0 , z0 ) un punto crtico, esto es, un punto tal que
fx (x0 , y0 , z0 ) = fy (x0 , y0 , z0 ) = fz (x0 , y0 , z0 ) = 0
y sea

fxx (x0 , y0 , z0 ) fxy (x0 , y0 , z0 ) fxz (x0 , y0 , z0 )

3 = 3 (x0 , y0 , z0 ) = fyx (x0 , y0 , z0 ) fyy (x0 , y0 , z0 ) fyz (x0 , y0 , z0 )

fzx (x0 , y0 , z0 ) fzy (x0 , y0 , z0 ) fzz (x0 , y0 , z0 )
se tiene entonces:
a) fxx > 0, 2 > 0, 3 > 0 (x0 , y0 , z0 ) es un mnimo relativo.
b) fxx < 0, 2 > 0, 3 < 0 (x0 , y0 , z0 ) es un mximo relativo.
c) en otro caso el punto es silla.

6= 0

Ejemplo 53 Identifique y clasifique los puntos crticos de

f (x, y, z) = x2 y 3 + xy z 2 + 2z

6.2

Extremos relativos condicionados (multiplicadores

de Lagrange).

Segn el teorema de la funcin implcita, la ecuacin g(x, y) = 0, con g de

clase C 1 , determina una curva C en el plano xy que admite recta tangente
en todo punto para el cual g(x, y) 6= . Adems en dichos puntos, g(x, y)
es perpendicular a la curva C.
El problema a resolver es encontrar los extremos relativos de la funcin
f (x, y) sobre puntos de la curva C, el cual se escribe
Maximizar (o minimizar) f (x, y)
sujeto a g(x, y) = 0

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

32

Ejemplo 54 Encontrar los extremos relativos de f (x, y) = y x2 sujeto a

x2 + y 2 = 1.
Geomtricamente, las curvas de nivel de f son parbolas de ecuacin
f (x, y) = y x2 = c, con c constante real.
El siguiente grfico muestra la circunferencia unitaria x2 + y 2 = 1, junto
con las curvas de nivel de f , para c = 54 , 1, 12 , 0, 12 , 1 (en el mismo orden
de abajo hacia arriba). Se ve que una curva de nivel para c > 1 no corta la
circunferencia, como tambin para c < 54 .

El anlisis geomtrico muestra que los puntos extremos relativos se producen cuando hay tangencia entre la circunferencia y alguna curva de nivel.
Si consideramos los vectores gradientes a las curvas, que son perpendiculares
a stas, ellos sern paralelos en dichos puntos extremos.
As f (x, y) = g(x, y) en los puntos extremos relativos. El mtodo
de multiplicadores de Lagrange establece que los puntos extremos relativos
se encuentran en las soluciones del sistema
f (x, y) = g(x, y)
g(x, y) = 0

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

33

Este es un sistema de 3 ecuaciones y 3 incognitas: x, y; . Para nuestro

ejemplo
2x = 2x
1 = 2y
2
x + y2 = 1

La primera ecuacin da x( + 1) = 0, lo que implica dos posibilidades:

y = 1, = 12
a) x = 0 : y as y = 1, = 12 o tambin

b) = 1 : y as y = 12 , x = 23 o tambin y = 12 , x = 23
Tenemos 4 soluciones que conducen a los
4 extremos relativos: (0, 1) y

3 1
3 1
(0, 1) mximos relativos, y ( 2 , 2 ) y ( 2 , 2 ) mnimos relativos.
Teorema 55 Sean f : A R2 R y g : A R2 R de clase C 1 . Si
(x0 , y0 ) A es tal que g(x0 , y0 ) = 0 y g(x0 , y0 ) 6= entonces para que f
alcance un extremo relativo en (x0 , y0 ) es necesario que R (multiplicador
de Lagrange) tal que f (x0 , y0 ) = g(x0 , y0 ).
En el caso de una f de 3 variables (x, y, z) f (x, y, z), una condicin
(restriccin) del tipo g(x, y, z) = 0, con g de clase C 1 , determina una superficie
en R3 . Para sta, si en un punto g(x, y, z) 6= , entonces g(x, y, z) es un
vector perpendicular a la superficie (o sea perpendicular al plano tangente a
la superficie).
Si se agrega una segunda condicin h(x, y, z) = 0, del mismo tipo, tenemos
dos superficies cuya interseccin (casi siempre) es una curva en R3 . Si en
un punto (x0, y0 , z0 ) de esta curva los gradientes de g y h son linealmente
independientes (no son paralelos), entonces la curva posee una recta tangente
perpendicular al plano generado por los gradientes.
El mtodo de multiplicadores de Lagrange indica que:
a) la funcin f (x, y, z) de clase C 1 , posee extremos relativos en los puntos de
la superficie g(x, y, z) = 0 donde f (x, y, z) = g(x, y, z).

b) la funcin f (x, y, z) de clase C 1 , posee extremos relativos en los puntos de

la curva g(x, y, z) = 0, h(x, y, z) = 0 donde
f (x, y, z) = g(x, y, z) + h(x, y, z).

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

6.3

34

Extremos absolutos

En este caso los extremos son de carcter global. Al respecto contamos con
el siguiente resultado.
Teorema 56 (de los valores extremos). Si f : K Rn R es continua
sobre el compacto K, entonces existen X1 , X2 K tales que
X K : f (X1 ) f (X) f (X2 )
X1 se denomina el punto de mnimo absoluto de f sobre K y f (X1 ) el
valor mnimo absoluto de f sobre K. En forma anloga, X2 ser mximo
absoluto.
Cmo encontrar estos puntos Xk , con k = 1, 2, de extremos absolutos?
Se deben tener en cuenta los siguientes hechos:
1. Si Xk pertenece al interior del compacto K, entonces ser tambin un
extremo relativo y, en consecuencia, un punto crtico.
2. Si Xk no pertenece al interior del compacto K,entonces el punto est
en la frontera de K.
Por esta razn el procedimiento para determinar los extremos absolutos
considera:

a) Encontrar todos los puntos crticos en K.

b) Encontrar los extremos en F r (K) .
c) Finalmente, evaluar f en todos los puntos encontrados en a) y en b),
para elegir los extremos.
Ejemplo 57 La temperatura de la placa metlica x2 + y 2 6 est dada por
T (x, y) = 4x2 + 9y 2 x2 y 2 .
a) Determine los puntos crticos de T en el conjunto x2 + y 2 < 6 y determine
la naturaleza de uno de ellos.
8x 2xy 2 = 0
El sistema
, tiene soluciones: {y = 0, x = 0} , {x = 3, y = 2}
18y 2x2 y = 0
{x = 3, y = 2} , {x = 3, y = 2} , {x = 3, y = 2} .
Pero slo el (0, 0) pertenece al crculo abierto.
El Hessiano de T :

8 2y 2 4xy

2
4xy
18 2x

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

35

8 0
, lo que indica que (0, 0) es un mnimo relativo.

En (0, 0) :
0 18
b) Encuentre los puntos de mayor y menor temperatura en la placa.
Aplicando el mtodo de multiplicadores de Lagrange se resuelve el sistema
8x 2xy 2 = 2x
18y 2x2 y = 2y
x2 + y 2 = 6
A partir de la primera
ecuacin: x(4 y 2 ) = 0 se obtiene:

i) x = 0, y = 6, = 9
ii) = 4 y 2 y se resuelve
y(9 x2 4 + y 2 ) = 0
x2 + y 2 = 6
quedando y(2y 2 1) = 0. As,

y = 0, x = 6, = 4
r
r
1
11
7
, x=
, =
y =
2
2
2

6)
=
54,
T
(
6, 0) = 24,
Finalmente
se
evala:
T
(0,
0)
=
0
,
T
(0,

q
q
11
1
95
T ( 2 , 2 ) = 4 = 23. 75

De donde, (0, 0) es el punto de menor temperatura y los puntos ( 6, 0) son

los de mayor temperatura.
c) En qu puntos de la placa la direccin de mayor crecimiento de la temperatura es vertical? (est dada por el eje y).
La direccin de mayor crecimiento est dada por

T (x, y) = 8x 2xy 2 + 18y 2x2 y

Este vector es vertical cuando x = 0 (sobre el eje y) y cuando y = 2 (dos

segmentos de rectas)

Ejemplo 58 La temperatura en un punto (x, y, z) est determinada por la

funcin
T (x, y, z) = 20 + 2x + 2y + z 2 . Encuentre el (los) punto(s) de mayor temperatura sobre:
a) la esfera x2 + y 2 + z 2 = 11
b) la curva interseccin de la esfera x2 +y 2 +z 2 = 11 y el plano x +y +z = 3.