Sie sind auf Seite 1von 36

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1
1 Nociones de Topologa en R
n
.
R
n
= X = (x
1
, x
2
, ..., x
n
) : x
i
R con las operaciones + (suma) y (pro-
ducto por escalar) es un espacio vectorial sobre R.
1. La norma euclidiana de un vector X R
n
se dene por
|X| = |(x
1
, ..., x
n
)| =
_
x
2
1
+... +x
2
n
Recuerde las propiedades de una norma en un espacio vectorial.
Un resultado importante son las desigualdades:
[x
k
[ |X| para cada componente x
k
del vector X
2. A partir de la norma se dene la nocin de distancia entre dos puntos
X = (x
1
, ..., x
n
) e Y = (y
1
, ..., y
n
) de R
n
por
d(X, Y ) = |X Y | =
_
(x
1
y
1
)
2
+... + (x
n
y
n
)
2
3. En R
n
se tiene tambin un producto interior denido por
X, Y = x
1
y
1
+... +x
n
y
n
=
n

k=1
x
k
y
k
y para el cual se tiene: |X| =
_
X, X o bien X, X = |X|
2
.
Tambin es vlida la desigualdad de Schwarz: [X, Y [ |X| |Y | .
En R
2
y R
3
: X, Y = |X| |Y | cos , donde es el ngulo ( 180

)
formado por los dos vectores, lo que implica que
X, Y = 0 X Y
1.1 Bola abierta, punto interior y conjunto abierto.
Vecindad abierta de un punto en R
n
.-
Sea X
0
un punto de R
n
.Cules son todos los puntos vecinos de l? (los
que estn ms prximos, los que lo rodean)
Denicin 1 Se llama bola abierta de centro X
0
y radio r > 0 al conjunto
B(X
0
, r) = X R
n
: d(X, X
0
) < r
= X R
n
: |X X
0
| < r
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 2
Cuanto ms pequeo es el r > 0, el conjunto contiene a los puntos ms
prximos de X
0
.
En R
2
y R
3
este conjunto es, respectivamente, un crculo y una esfera
(abierta) de centro X
0
y radio r.
Denicin 2 Sean A R
n
y X
0
A. Se dice que X
0
es un punto interior
de A cuando: r > 0 tal que B(X
0
, 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.
Denicin 3 Un conjunto A es abierto cuando todos sus puntos son inte-
riores.
Denicin 4 Con A R
n
,

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.
Denicin 5 Sean A R
n
y X
0
R
n
(es posible que X
0
/ A). Se dice que
X
0
es un punto de acumulacin de A cuando
r > 0 : [B(X
0
, r) X
0
] A ,=
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 X
0
un punto de acumu-
lacin de A, es posible encontrar una sucesin X
1
, X
2
, ..., X
n
, ... de puntos
(distintos) de A tal que d(X
n
, X
0
) <
1
n
. Es decir, los puntos X
n
se acercan
al punto X
0
, o equivalentemente, la sucesin de puntos de A converge al
punto X
0
.
Se dene el conjunto A

= X R
n
: X es punto de acumulacin de A .
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 3
1.3 Conjunto cerrado, clausura, punto frontera.
Denicin 6 Un conjunto F R
n
es cerrado cuando F
C
es abierto.
Por ejemplo,

B(X
0
, r) = X R
n
: |X X
0
| r, llamado bola ce-
rrada de centro X
0
y radio r (positivo), es un conjunto cerrado.
Teorema 7 F es cerrado F contiene todos sus puntos de acumulacin.
Denicin 8 Se llama clausura de F al conjunto

F = F F

(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.
Denicin 9 Sean A R
n
y X
0
R
n
. Se dice que X
0
es un punto frontera
de A cuando:
r > 0 : B(X
0
, r) A ,= B(X
0
, r) A
C
,=
X
0
es punto frontera de A cuando pertenece a la clausura de A y a la
clausura de su complemento.
1.4 Conjunto compacto.
Denicin 10 Un conjunto K R
n
es acotado cuando r > 0 tal que
K B(, r).
Denicin 11 Un conjunto K R
n
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. 4
2 Lmite.
Se estudiarn funciones de varias variables reales y con valores en el espacio
vectorial R
m
. Es decir, una funcin
F : A R
n
R
m
, X F(X)
con dominio un conjunto A de R
n
.
Como X = (x
1
, ..., x
n
), F(X) = (f
1
(X), ..., f
m
(X)),
con f
k
: A R, X f(X), la funcin F est determinada por las m
funciones componentes f
1
, ..., f
m
.
La funcin F : R
2
R
2
, F(x, y) = (y+x
2
cos xy, 5x+e
xy
), es una funcin
de 2 variables con valores en R
2
. Sus componentes son f
1
(x, y) = y+x
2
cos xy
y f
2
(x, y) = 5x +e
xy
.
2.1 Denicin de lmite.
Al igual que en el clculo de una variable, interesa estudiar el comportamiento
de F cerca de un punto X
0
, 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 X
0
a travs de puntos del conjunto A (donde
es posible evaluar la funcin).
Denicin 12 Sean F : A R
n
R
m
, X
0
un punto de acumulacin de A
y L R
m
. Se escribe lim
XX
0
F(X) = L cuando se cumple la condicin
dado > 0, > 0 tal que:
X : |X X
0
| < , X A, X ,= X
0
|F(X) L| < (1)
Observaciones.-
1. La condicin (1) puede darse en forma equivalente por:
dado > 0, > 0 tal que:
X : X A, X ,= X
0
, X B(X
0
, ) F(X) B(L, )
Esto signica que si X es cercano de X
0
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. 5
3. Si el lmite existe, es nico.
4. La notacin lim
XX
0
XA
F(X) = L enfatiza el hecho que la evaluacin de F
se hace sobre puntos prximos de X
0
y que pertenecen al conjunto A.
5. Considerando que F(X) = (f
1
(X), ..., f
m
(X)), L = (L
1
, ..., L
m
) y
[ f
k
(X) L
k
[ |F(X) L| , k
se obtiene
lim
XX
0
F(X) = L lim
XX
0
f
k
(X) = L
k
, k
Esto justica 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 denicin que al estudiar el lmite: lim
XX
0
XA
f(X) = L, podemos
considerar una parte B A, con la condicin que X
0
continue siendo un
punto de acumulacin de B. Entonces se tiene:
lim
XX
0
XA
f(X) = L lim
XX
0
XB
f(X) = L
Es obvio que si la implicacin en la condicin (1) vale para puntos del con-
junto A, debe continuar valiendo para puntos de una parte B de dicho con-
junto. Como conclusin se tiene el siguiente resultado.
Teorema 13 Si B
1
y B
2
son partes de A, que tienen a X
0
como punto
de acumulacin, lim
XX
0
XB
1
f(X) = L, lim
XX
0
XB
2
f(X) = M con L ,= M, entonces
lim
XX
0
XA
f(X) no existe
Ejemplo 14 Estudio del lmite
lim
(x,y)(0,0)
xy
x
2
+y
2
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 6
Ejemplo 15 Estudio del lmite
lim
(x,y)(0,0)
x
3
x
2
y
El dominio de la funcin f (x, y) =
x
3
x
2
y
es A = R
2
(x, y) A : y ,= x
2
.
1) Si tomamos el conjunto B
m
= (x, y) A : y = mx (recta que pasa por
el origen), se tiene
lim
(x,y)(0,0)
(x,y)B
x
3
x
2
y
= lim
x0
x
3
x
2
mx
= lim
x0
x
2
x m
= 0
2) Por otro lado, si se considera el conjunto
C
1
=
_
(x, y) A :
x
3
x
2
y
= 1
_
(curva de nivel de f ) vemos que:
x
3
x
2
y
= 1 x
3
= x
2
y
y = x
2
x
3
lo que muestra que C
1
es una curva que pasa por el origen. La siguiente es
su grca
-0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4
-1.0
-0.8
-0.6
-0.4
-0.2
0.2
x
y
Ahora podemos calcular
lim
(x,y)(0,0)
(x,y)C
1
x
3
x
2
y
= 1
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 7
Por lo tanto, de 1) y 2), lim
(x,y)(0,0)
x
3
x
2
y
no existe.
Es claro que cuando lim
XX
0
XA
f(X) = L exista, cualquier parte B de A va
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 16 Si es vlido el acotamiento
[ f(X) L[ h(X), para X B(X
0
, r)
(para X cerca de X
0
) y lim
XX
0
h(X) = 0, entonces lim
XX
0
f(X) = L
Ejemplo 17 Estudio del lmite
lim
(x,y)(0,0)
xy
2
x
2
+y
2
Al igual que en el clculo de una variable se tiene los teoremas sobre
lgebra de lmites:
Teorema 18 Si lim
XX
0
f(X) = L y lim
XX
0
g(X) = M entonces:
a) lim
XX
0
[f(X) +g(X)] = L +M.
b) lim
XX
0
[f(X) g(X)] = L M
c) lim
XX
0
[c f(X)] = c L, para una constante c
d) lim
XX
0
_
f(X)
g(X)
_
=
L
M
, cuando M ,= 0
Aplicacin.- Al tomar las funciones proyecciones:
pr
1
: R
2
R, pr
1
(x, y) = x
pr
2
: R
2
R, pr
2
(x, y) = y
y aplicar la denicin de lmite se tiene: lim
(x,y)(x
0
,y
0
)
[pr
1
(x, y)] = x
0
y
lim
(x,y)(x
0
,y
0
)
[pr
2
(x, y)] = y
0
.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 8
Ahora, usando el Teorema, resulta el valor del lmite para una funcin
polinomial f(x, y) en dos variables:
lim
(x,y)(x
0
,y
0
)
f(x, y) = f(x
0
, y
0
) (2)
Por ejemplo:
lim
(x,y)(1,2)
[5x
3
y 2xy
2
+ 3] = 5 (1)
3
2 2 (1) 2
2
+ 3 = 1
lim
(x,y)(1,2)
[x
4
+y 2xy] = (1)
4
+ 2 2 (1) (2) = 7
Tambin este procedimiento es vlido para funciones que son cuociente
de polinomios, como por ejemplo
lim
(x,y)(1,2)
_
5x
3
y 2xy
2
+ 3
x
4
+y 2xy
_
=
1
7
, al aplicar la parte d) del Teorema.
Note que este razonamiento es aplicable a funciones de tres o ms va-
riables.
Otro resultado es el Teorema de sustitucin para lmites:
Teorema 19 Sean f : A R
n
R , y h : I R R. Si lim
XX
0
f(X) = L
y lim
tL
h(t) = M, entonces
lim
XX
0
h(f(X)) = lim
tL
h(t) = M
Por ejemplo, lim
(x,y)(0,0)
sin(x
2
+y
2
)
x
2
+y
2
= lim
t0
sin t
t
= 1
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 9
3 Continuidad.
La nocin de funcin continua es la misma que en el clculo de una variable.
Denicin 20 Sean F : A R
n
R
m
y X
0
A. Se dice que F es una
funcin continua en el punto X
0
cuando lim
XX
0
F(X) = F(X
0
).
En la denicin se pide que:
i) F est denida en X
0
.
ii) lim
XX
0
F(X) exista y
iii) el lmite anterior coincida con el valor que toma F en el punto X
0
.
Observe que la condicin (2) en la discusin anterior para funciones poli-
nomiales establece simplemente que stas son funciones continuas en todo su
dominio (R
n
)
Ejemplo 21 Estudie la continuidad de la funcin f, en cada punto de su
dominio
f(x, y) =
_
xy
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
Ejemplo 22 Estudie la continuidad de la funcin f, en cada punto de su
dominio
f(x, y) =
_
_
_
x
3
y
3
x y
si x ,= y
0 si x = y
Ejemplo 23 Estudie la continuidad de la funcin f, en cada punto de su
dominio
f(x, y) =
_
_
_
x
3
+y
3
x y
si x ,= y
0 si x = y
4 Derivadas parciales.
Tomemos la base cannica de R
n
: E =e
1
, e
2
, ..., e
n
, donde
e
1
= (1, 0, 0, ..., 0), e
2
= (0, 1, 0, ..., 0), ..., e
n
= (0, 0, 0, ..., 1).
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 10
Denicin 24 Sean f : A R
n
R y X
0
un punto interior de A. Se
denen las derivadas parciales de f en el punto X
0
mediante los lmites:
f
x
k
(X
0
) = lim
h0
_
f(X
0
+h e
k
) f(X
0
)
h
_
(3)
cuando estos existen.
Tenemos derivada parcial con respecto a cada variable x
k
de la cual de-
pende la funcin (k va de 1 a n).
Es fcil ver que si se toma la funcin (t) = f(X
0
+t e
k
), entonces

(0) = lim
h0
_
(h) (0)
h
_
=
f
x
k
(X
0
)
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 denicin queda:
f
x
(x
0,
y
0
) = lim
h0
_
f(x
0
+h, y
0
) f(x
0
, y
0
)
h
_
f
y
(x
0
, y
0
) = lim
h0
_
f(x
0
, y
0
+h) f(x
0
, y
0
)
h
_
Ejemplo 25 Calcule las derivadas parciales, en todo punto donde existan,
de la funcin
f(x, y) =
_
xy
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
Volviendo a la denicin (general) de derivada parcial podemos notar que
ella se da en trminos de los vectores de la base cannica. Cada vector e
k
determina geomtricamente una direccin en R
n
, precisamente la direccin
del eje coordenado correspondiente. As, la derivada parcial
f
x
k
(X
0
) es una
derivada en la direccin del eje x
k
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. 11
4.1 Derivada direccional.
En la denicin de derivada parcial (3) podemos cambiar el vector e
k
que
da la direccin, por otro vector unitario v que determine otra direccin en el
espacio R
n
.
Denicin 26 Sean f : A R
n
R , X
0
un punto interior de A y v un
vector unitario. Se dene la derivada direccional de f en el punto X
0
en la
direccin dada por el vector v por:
f
v
(X
0
) = lim
h0
_
f(X
0
+h v) f(X
0
)
h
_
Esta tambin corresponde a una tasa de cambio de f en X
0
en la direccin
del vector v.
El siguiente ejemplo muestra que una funcin puede tener derivada direc-
cional en un punto, en todas las direcciones, sin que ella sea continua en ese
punto.
Ejemplo 27 Calcule las derivadas direccionales en (0, 0), en todas las di-
recciones, de la funcin
f(x, y) =
_
_
_
2xy
2
x
2
+y
4
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
Muestre tambin que la funcin no es continua en el origen.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 12
5 La Diferencial.-
Denicin 28 Sea F : A R
n
R
m
, X F(X), una funcin de n
variables y a valores vectoriales, denida en un conjunto abierto A y sea
X
0
A. Se dice que F es diferenciable en X
0
cuando existe una aplicacin
lineal
L : R
n
R
m
, H L(H) tal que:
lim
H
F(X
0
+H) F(X
0
) L(H)
|H|
= (vector nulo) (4)
Si en la condicin 4 se reemplaza H = X X
0
se obtiene:
lim
XX
0
F(X) F(X
0
) L(X X
0
)
|X X
0
|
= (5)
Mirando esta ltima condicin podemos tomar la aplicacin
G(X) = (F(X
0
) L(X
0
)) +L(X) (6)
que es la suma de un vector constante ms una aplicacin lineal (se llama
aplicacin afn), y escribir
lim
XX
0
F(X) G(X)
|X X
0
|
= (7)
La condicin 7 se expresa diciendo que la funcin denida en 6 es una
buena aproximacin de la funcin F en una vecindad del punto X
0
. El
lmite 7 puede entenderse en el sentido que la diferencia F(X)G(X) tiende
a cero, ms rapidamente que |X X
0
|, cuando X X
0
.
Por esto, cuando f es diferenciable en el punto X
0
, se tiene la aproxi-
macin
F(X) G(X) = F(X
0
) +L(X X
0
)
vlida para X prximo de X
0
.
La aplicacin lineal L de 4 se llama La Diferencial de F en el punto X
0
y se denota DF(X
0
) = 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. 13
2. Cuando no existe una L lineal que cumpla (4), se dice que F no es
diferenciable en el punto X
0
.
3. En el caso particular que F sea una aplicacin lineal, es inmediato
vericar que L = F verica la condicin 4 de la denicin. O sea,
DF(X
0
) = F, en cualquier punto X
0
.
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(X
0
) =
L, en cualquier punto X
0
.
Tomemos una F diferenciable en X
0
y considere el j-simo vector e
j
de
la base cannica de R
n
. Podemos restringir el lmite de la condicin (4) al
camino determinado por el eje x
j
(h h e
j
) y obtener
lim
h0
F(X
0
+h e
j
) F(X
0
) L(h e
j
)
|h e
j
|
=
lo que lleva fcilmente a:
L( e
j
) = lim
h0
F(X
0
+h e
j
) F(X
0
)
h
Ahora si consideramos que F = (f
1
, f
2
, ..., f
m
) est determinada por sus
funciones componentes, lo mismo que L = (L
1
, L
2
, ..., L
m
); la frmula ante-
rior da
L
i
( e
j
) = lim
h0
f
i
(X
0
+h e
j
) f
i
(X
0
)
h
=
f
i
x
j
(X
0
)
Esto muestra que, con respecto a las bases cannicas en el dominio y
codominio, la matriz de L est dada por:
JF(X
0
) =
_
_
_
_
_
_
_
_
_
f
1
x
1
(X
0
)
f
1
x
2
(X
0
) ... ...
f
1
x
n
(X
0
)
f
2
x
1
(X
0
)
f
2
x
2
(X
0
) ... ...
f
2
x
n
(X
0
)
... ... ... ... ...
f
m
x
1
(X
0
)
f
m
x
2
(X
0
) ... ...
f
m
x
n
(X
0
)
_
_
_
_
_
_
_
_
_
llamada matriz jacobiana de f en el punto X
0
.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 14
Caso particular.- n=2 y m=1.
Para f : A R
2
R, (x, y) f(x, y). diferenciable en (x
0
, y
0
) se tiene:
Jf(x
0
, y
0
) =
_
f
x
(x
0
, y
0
)
f
y
(x
0
, y
0
)
_
Df(x
0
, y
0
)(h, k) =
f
x
(x
0
, y
0
) h +
f
y
(x
0
, y
0
) k
La buena aproximacin de f en una vecindad de (x
0
, y
0
) es
g(x, y) = f(x
0
, y
0
) +
f
x
(x
0
, y
0
) (x x
0
) +
f
y
(x
0
, y
0
) (y y
0
)
cuyo grco z = g(x, y) corresponde a un plano que pasa por el punto
(x
0
, y
0
, f(x
0
, y
0
)). Precisamente la condicin (4) que dene diferenciabilidad
de f en (x
0
, y
0
) hace que este plano sea tangente a la supercie grco de f
en el punto (x
0
, y
0
, f(x
0
, y
0
)).
Ejemplo 29 Estudie la diferenciabilidad en (0, 0) de las funciones
f(x, y) =
_
_
_
x
2
y
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
g(x, y) =
_
_
_
x
2
y
2
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
Cuando corresponda, encuentre el plano tangente a la grca de la funcin
en el origen.
5.1 Teoremas sobre diferenciabilidad.
La relacin entre diferenciabilidad y continuidad est determinada en el si-
guiente teorema.
Teorema 30 F diferenciable en X
0
F continua en X
0
.
Dem.- Se sigue del hecho que toda aplicacin lineal L es una funcin con-
tinua, es decir lim
XX
0
L(X) = L(X
0
), y adems
F(X) F(X
0
) = F(X) F(X
0
) L(X X
0
) +L(X X
0
).
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 15
Luego, |F(X) F(X
0
)| |F(X) F(X
0
) L(X X
0
)|+|L(X) L(X
0
)|
Como (5) implica que lim
XX
0
|F(X) F(X
0
) L(X X
0
)| = 0, se concluye
que
lim
XX
0
F(X) = F(X
0
)
En forma prctica el Teorema se usa aplicando su contrarecproco:
F no continua en X
0
F no diferenciable en X
0
.
Denicin 31 Una funcin F = (f
1
, f
2
, ..., f
m
) denida en el abierto A
R
n
y con valores en R
m
es de clase C
1
en el conjunto A cuando todas las
derivadas parciales
f
i
x
j
: A R son funciones continuas.
La importancia de esta condicin est en el siguiente resultado (cuya
demostracin la consideramos fuera del alcance de este curso):
Teorema 32 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
f(x, y) =
_
xy
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
es diferenciable en todo punto (x, y) ,= (0, 0) (el conjunto A = R
2
(0, 0)
es abierto). Adems, f no es diferenciable en (0, 0), porque no es continua.
Cul es la ecuacin del plano tangente al grco de f en el punto
(2, 3,
6
13
)? ( f(2, 3) =
6
13
).
Determnela a partir de
z = f(2, 3) +
f
x
(2, 3) (x 2) +
f
y
(2, 3)(y 3)
Se calcula

x
_
xy
x
2
+y
2
_
= y
x
2
y
2
(x
2
+y
2
)
2
, evaluado en (2, 3): 3
49
13
2
=
15
169

y
_
xy
x
2
+y
2
_
= x
x
2
y
2
(x
2
+y
2
)
2
, evaluado en (2, 3): 2
49
13
2
=
10
169
La ecuacin es: z =
6
13
+
15
169
(x 2)
10
169
(y 3).
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 16
La relacin entre diferenciabilidad y derivadas direccionales est dada
por:
Teorema 33 Sean f : A R
n
R diferenciable en el punto X
0
y v un
vector unitario. Se tiene entonces
f
v
(X
0
) = Df(X
0
)(v)
Dem.- De la denicin de diferenciabilidad en X
0
:
lim
H
f(X
0
+H) f(X
0
) Df(X
0
)(H)
|H|
= , basta restringir el lmite al
camino determinado por h h v para obtener
Df(X
0
)(v) = lim
h0
f(X
0
+hv) f(X
0
)
h
=
f
v
(X
0
)
Observacin.- Al denir el vector
f(X
0
) =
_
f
x
1
(X
0
),
f
x
2
(X
0
), ...,
f
x
n
(X
0
)
_
llamado gradiente de f en X
0
, la igualdad
Df(X
0
)(H) =
f
x
1
(X
0
)h
1
+
f
x
2
(X
0
)h
2
+... +
f
x
n
(X
0
)h
n
puede escribirse
Df(X
0
)(H) = f(X
0
) H
donde representa el producto interior de los dos vectores. La frmula del
teorema anterior ahora se escribe
f
v
(X
0
) = Df(X
0
)(v) = f(X
0
) v
y luego, utilizando la desigualdad de Scharwz,

f
v
(X
0
)

= [f(X
0
) v[
|f(X
0
)| |v|
= |f(X
0
)|
O sea, |f(X
0
)| es una cota superior para el valor absoluto de cualquier
derivada direccional en X
0
.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 17
Por otra parte, al considerar el vector unitario u =
f(X
0
)
|f(X
0
)|
(supuesto
que el vector gradiente no es nulo) se obtiene
f
u
(X
0
) = f(X
0
)
f(X
0
)
|f(X
0
)|
= |f(X
0
)|
lo que indica que la direccin del vector u determina la mxima derivada
direccional de f en X
0
.
Por lo tanto f(X
0
) proporciona la direccin de mayor crecimiento
para la funcin f. La direccin contraria f(X
0
) corresponder a la de
mayor disminucin de la funcin. Esto explica que el ujo de calor se pro-
duzca en la direccin de T(X), donde T es la funcin temperatura para
los distintos puntos de un cuerpo.
Ej.- f (x, y) = 32 3x
2
y
2
5.2 Derivadas de orden superior.-
Dada una funcin f : A R de n variables, denida en el abierto A de R
n
y con derivadas parciales
f
x
i
: A R se denen las derivadas parciales de
segundo orden en el punto X
0
A por

2
f
x
j
x
i
(X
0
) =

x
j
_
f
x
i
_
(X
0
)
= lim
h0
_
f
x
i
(X
0
+h e
j
)
f
x
i
(X
0
)
h
_
cuando el lmite existe. Esta denicin es para cada i, j 1, 2, ..., n (hay
n
2
derivadas de segundo orden).
Las derivadas de segundo orden de f son la derivadas parciales (de primer
orden) de las funciones
f
x
i
. En forma inductiva se denen las derivadas
parciales de tercer orden, cuarto orden, etc.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 18
Por ejemplo para la funcin f(x, y) = x
2
y
3
+ e
2x
sin 3y se tiene:
f
x
(x, y) =

x
(x
2
y
3
+e
2x
sin 3y) = 2xy
3
+ 2e
2x
sin 3y.
f
y
(x, y) =

y
(x
2
y
3
+e
2x
sin 3y) = 3x
2
y
2
+ 3e
2x
cos 3y

2
f
x
2
(x, y) =

x
(2xy
3
+ 2e
2x
sin3y) = 2y
3
+ 4e
2x
sin 3y

2
f
yx
(x, y) =

y
(2xy
3
+ 2e
2x
sin 3y) = 6xy
2
+ 6e
2x
cos 3y

2
f
xy
(x, y) =

x
(3x
2
y
2
+ 3e
2x
cos 3y) = 6xy
2
+ 6e
2x
cos 3y

2
f
y
2
(x, y) =

y
(3x
2
y
2
+ 3e
2x
cos 3y) = 6x
2
y 9e
2x
sin 3y
Se puede observar que las derivadas mixtas

2
f
yx
(x, y) y

2
f
xy
(x, y) coinci-
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 verica la igualdad

2
f
x
i
x
j
(x, y) =

2
f
x
j
x
i
(x, y)
El siguiente ejemplo muestra el caso de una funcin donde no se verica
la igualdad anterior.
Sea f (x, y) =
_
_
_
xy
x
2
y
2
x
2
+y
2
si x
2
+y
2
,= 0
0 si x
2
+y
2
= 0
.
Calcule

2
f
xy
(0, 0) y

2
f
yx
(0, 0) .
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
dx
[g(f(x))] = g

(f(x)) f

(x)
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. 19
Teorema 34 Si F : A R
n
R
m
es diferenciable en X
0
y G : B
R
m
R
p
es diferenciable en Y
0
= F(X
0
), entonces la compuesta G F es
diferenciable en X
0
y
D(G F)(X
0
) = DG(Y
0
) DF(X
0
)
O sea, la diferencial de la compuesta es igual a la compuesta de las diferen-
ciales respectivas.
Obs.- En el teorema se supone adems que A y B son conjuntos abiertos
y que la composicin est bien denida.
Segn se vio en lgebra lineal, al representar aplicaciones lineales me-
diante matrices la composicin de aplicaciones corresponde a la multipli-
cacin de sus matrices. Por esto, la frmula del teorema se expresa en tr-
minos de matrices jacobianas por
J(G F)(X
0
) = JG(Y
0
) JF(X
0
)
Recuerde que la matriz jacobiana est formada por las derivadas par-
ciales 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 denen sus m
componentes
y
1
= f
1
(x
1
, x
2
, ..., x
n
)
y
2
= f
2
(x
1
, x
2
, ..., x
n
)
..............
y
m
= f
m
(x
1
, x
2
, ..., x
n
)
Sus mn derivadas parciales son:
f
k
x
j
o
y
k
x
j
, lo que indica que las variables
y
k
dependen de las variables x
j
.
Asociamos G (Y G(Y ) = Z) con las frmulas que denen sus p com-
ponentes
z
1
= g
1
(y
1
, y
2
, ..., y
m
)
z
2
= g
2
(y
1
, y
2
, ..., y
m
)
..............
z
p
= g
p
(y
1
, y
2
, ..., y
m
)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 20
Sus pm derivadas parciales son:
g
i
y
k
o
z
i
y
k
, lo que indica que las variables
z
i
dependen de las variables y
k
.
Ahora, si las variables z
i
dependen de las y
k
y las y
k
dependen de las x
j
,
al componer las dos aplicaciones las variables z
i
dependern de las x
j
.
El clculo de las derivadas parciales
z
i
x
j
resulta de
_
_
_
_
z
1
x
1
z
1
x
2
......
z
1
xn
z
2
x
1
z
2
x
2
......
z
2
xn
...... ...... ......
zp
x
1
zp
x
2
......
zp
xn
_
_
_
_
=
_
_
_
_
_
z
1
y
1
z
1
y
2
......
z
1
ym
z
2
y
1
z
2
y
2
......
z
2
ym
...... ...... ......
z
p
y
1
z
p
y
2
......
z
p
ym
_
_
_
_
_
_
_
_
_
_
y
1
x
1
y
1
x
2
......
y
1
xn
y
2
x
1
y
2
x
2
......
y
2
xn
...... ...... ......
ym
x
1
ym
x
2
......
ym
xn
_
_
_
_
_
As se tiene que:
z
i
x
j
=
z
i
y
1
y
1
x
j
+
z
i
y
2
y
2
x
j
+... +
z
i
y
m
y
m
x
j
=
m

k=1
z
i
y
k
y
k
x
j
Con mayor precisin, cuando
z
i
x
j
est calculado (evaluado) en el punto X
0
,
z
i
y
k
se evala en Y
0
= F(X
0
) y
y
k
x
j
se evala en X
0
.
Ejemplo 35 Cambio de coordenadas rectangulares a polares.-
La transformacin es T : R
2
R
2
, (r, ) (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
r
=
z
x
x
r
+
z
y
y
r
=
z
x
cos +
z
y
sin
z

=
z
x
x

+
z
y
y

=
z
x
r sin +
z
y
r cos
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 21
La regla se recuerda mediante el siguiente esquema z
z
x

z
y
x y
x
r

x

y
r

y

r r
Para calcular las derivadas de segundo orden, por ejemplo

2
z
r
2
, conviene
recordar que la frmula para
z
r
es
z
r
(r, ) =
z
x
(r cos , r sin ) cos +
z
y
(r cos , r sin ) sin
Luego,

2
z
r
2
=
_

2
z
x
2
x
r
+

2
z
yx
y
r
_
cos +
_

2
z
xy
x
r
+

2
z
y
2
y
r
_
sin
=

2
z
x
2
cos
2
+

2
z
y
2
sin
2
+ 2

2
z
yx
sin cos
donde en la ltima igualdad se ha supuesto que

2
z
yx
=

2
z
xy
(consideramos
el caso que f es C
2
).
Queda de ejercicio calcular las otras tres derivadas de segundo orden.
Ejemplo 36 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
dt
=
f
x
dx
dt
+
f
y
dy
dt
+
f
z
dz
dt
= f r

Ejemplo 37 Con z = f(u) derivable y u = g(x, t) diferenciable, la com-
puesta queda z = f(g(x, t)) y sus derivadas parciales son
z
x
=
df
du
u
x
= f

u
x
z
t
=
df
du
u
t
= f

u
y
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 22
5.4 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 deri-
vabilidad, segn sea el caso) de esta inversa. Primero damos una versin
particular de este teorema para el clculo en una variable.
Teorema 38 Sea f : I R, y x
0
I tal que f

(x
0
) ,= 0. Entonces existen
vecindades V de x
0
y W de y
0
= f(x
0
) tales que:
a) f : V W es biyectiva
b) la inversa f
1
: W V es derivable y
c) para todo y = f(x) W : (f
1
)

(y) =
1
f

(x)
Por ejemplo, para f :

2
,

2
_
R, f(x) = sinx, se tiene:
f

(x) = cos x ,= 0. Luego, (f


1
)

(y) =
1
cos x
=
1

1sin
2
x
=
1

1y
2
,
dado que y = sinx x = arcsin y.
Por lo tanto,
d
dx
[arcsin x] =
1

1x
2
, x ]1, 1[ .
Teorema 39 (Caso general) Sea F : A R
n
, X F(X), de clase C
1
en el
abierto A de R
n
. Si JF(X
0
) =
_
f
i
x
j
(X
0
)
_
tiene inversa (esto es, [JF(X
0
)[ , =
0), entonces existen vecindades abiertas V de X
0
y W de Y
0
= F(X
0
) 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. 23
Un ejemplo importante lo constituye la transformacin de coordenadas
rectangulares a polares:
T : R
2
R
2
, 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
_
[JT(r, )[ =

cos r sin
sin r cos

= r
Luego, para (r
0
,
0
) con r
0
,= 0, T admite una inversa local en una vecindad
abierta V de (r
0
,
0
) con
JT
1
(x, y) =
1
r
_
r cos r sin
sin cos
_
para todo (x, y) = T(r, ) W = T(V ).
5.5 Teorema de la funcin implicita.-
Notacin.- X = (x
1
, ..., x
n
) es un vector de R
n
, Y = (y
1
, ..., y
m
) es un vector
de R
m
y (X; Y ) = (x
1
, ..., x
n
, y
1
, ...y
m
) es un vector de R
n
R
m

= R
n+m
.
Teorema 40 Sea F : R
n
R
m
R
m
, (X, Y ) F(X, Y ) = (F
1
(X, Y ), ..., F
m
(X, Y )),
una funcin de n+m variables, de clase (
r
y sea P
0
= (X
0,
Y
0
) un punto tal
que
i) F(X
0
, Y
0
) =
ii)
(F
1
, ..., F
m
)
(y
1
, ..., y
m
)
(P
0
) =

F
1
y
1
(P
0
) ..........
F
1
y
m
(P
0
)
.... ....
F
m
y
1
(P
0
) ..........
F
m
y
m
(P
0
)

,= 0
Entonces existen:
una vecindad abierta M de (X
0
, Y
0
) (en R
n+m
)
una vecindad abierta N de X
0
(en R
n
)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 24
y una nica funcin G : N R
m
, X G(X), de clase (
r
, tal que:
X N : (X, G(X)) M
(X, Y ) M F(X, Y ) = X N Y = G(X) (8)
(en particular Y
0
= G(X
0
)) y X N :
DG(X) =
_
F
Y
(X; G(X))
_
1

_
F
X
(X; G(X))
_
(9)
Observaciones.-
1.- La ecuacin F(X, Y ) = corresponde al sistema de m ecuaciones y n+m
incognitas
F
1
(x
1
, ..., x
n
, y
1
, ..., y
m
) = 0
F
2
(x
1
, ..., x
n
, y
1
, ..., y
m
) = 0
F
m
(x
1
, ..., x
n
, y
1
, ..., y
m
) = 0
y el Teorema da condiciones para que este sistema se pueda resolver de ma-
nera nica para las incognitas y
1
, ..., y
m
en trminos de las incognitas (va-
riables) x
1
, ..., x
n
, en una vecindad del punto (X
0
, Y
0
), conforme indica 8.
2.- El resultado para la diferencial de G expresado en 9 se puede llevar a
matrices jacobianas como
JG(X) =
_
(F
1
, ..., F
m
)
(y
1
, ..., y
m
)
(X, G(X))
_
1

_
(F
1
, ..., F
m
)
(x
1
, ..., x
n
)
(X, G(X))
_
3.- Como caso particular, cuando n = m = 1, se tiene como hiptesis
f : R R R, (x, y) f(x, y) de clase (
r
y (x
0
, y
0
) tal que f(x
0
, y
0
) = 0
f
y
(x
0
, y
0
) ,= 0
El Teorema garantiza entonces que existen vecindad abierta de M de (x
0
, y
0
)
y vecindad abierta N de x
0
y nica funcin de clase (
r
g : N R tal que
x N : (x, g(x)) M
(x, y) M f(x, y) = 0 x N y = g(x)
x N : g

(x) =
f
x
(x, g(x))
f
y
(x, g(x))
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 25
Ejercicio 41 Considere la supercie S : x
2
+ y
2
+ z
2
= 1 Cerca de qu
puntos es posible representar S como grca de z = g (x, y), con g diferen-
ciable?.
Considerando f (x, y, z) = x
2
+ y
2
+ z
2
1 de clase (
1
en R
3
, tenemos
f
z
(x, y, z) = 2z. Luego, para todo punto P
0
= (x
0
, y
0
, z
0
) S con z
0
,= 0
es posible despejar, en la ecuacin f (x, y, z) = 0, z = g (x, y) con g de clase
(
1
.
Un razonamiento ms general se da en el siguiente ejercicio.
Ejercicio 42 Sea S la supercie, denida en forma implcita, por f (x, y, z) =
0 con f de clase (
1
y considere un punto P
0
= (x
0
, y
0
, z
0
) S donde
f (x
0
, y
0
, z
0
) ,=
Muestre que el vector f (P
0
) es perpendicular (ortogonal) al plano tangente
a S en el punto P
0
.
Una de las componentes del vector gradiente es no nula. Para jar ideas
suponga que
f
z
(P
0
) ,= 0
Por teorema de la funcin implcita, cerca de (x
0
, y
0
, z
0
) :
f (x, y, z) = 0 z = g (x, y)
con g de clase (
1
y
_
z
x
z
y
_
=
1
_
f
z
_
_
f
x
f
y
_
Luego,
z
x
(x
0
, y
0
) =
f
x
(P
0
)
f
z
(P
0
)
y
z
y
(x
0
, y
0
) =
f
y
(P
0
)
f
z
(P
0
)
y la ecuacin del plano tangente a S en P
0
es
z = g (x
0
, y
0
)
f
x
(P
0
)
f
z
(P
0
)
(x x
0
)
f
y
(P
0
)
f
z
(P
0
)
(y y
0
)
f
x
(P
0
) (x x
0
) +
f
y
(P
0
) (y y
0
) +
f
z
(P
0
) (z z
0
) = 0
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 26
lo que muestra que f (P
0
) es perpendicular a la supercie S en P
0
.
Ejercicio 43 Mostrar que cerca del punto (x, y, u, v) = (1, 1, 1, 1) se puede
resolver el sistema
xu +yvu
2
= 2
xu
3
+y
2
v
4
= 2
de manera nica para u y v como funcin de x e y. Calcular
u
x
(1, 1) .
Con
F
1
(x, y, u, v) = xu +yvu
2
2
F
2
(x, y, u, v) = xu
3
+y
2
v
4
2
y F = (F
1
, F
2
) el sistema es F (x, y, u, v) = (0, 0), siendo F de clase C

.
Adems,

F
1
u
F
1
v
F
2
u
F
2
v

(1,1,1,1)
=

x + 2yvu yu
2
3u
2
x 4y
2
v
3

(1,1,1,1)
=

3 1
3 4

= 9 ,= 0
Por TFI existe (x, y) g (x, y) = (u, v) de clase C

que resuelve el sistema


y se tiene
_
u
x
u
y
v
x
v
y
_
(1,1)
=
_
3 1
3 4
_
1
_
u vu
2
u
3
2yv
4
_
(1,1,1,1)
=
1
9
_
4 1
3 3
__
1 1
1 2
_
=
1
9
_
3 2
0 3
_
=
_

1
3

2
9
0
1
3
_
y as
u
x
(1, 1) =
1
3
.
6 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.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 27
Denicin 44 Sean f : A R
n
R denida en un abierto A y X
0
un
punto de A. Se dice que X
0
es un punto de mximo relativo cuando
r > 0 tal que X B(X
0
, r) : f(X) f(X
0
)
Para la denicin de mnimo relativo se reemplaza por .
Si la f diferenciable tiene un mximo relativo en X
0
, entonces al darse
un vector unitario v en R
n
y denir (t) = f(X
0
+t v) se tiene claramente
que alcanza un mximo relativo en t = 0 y luego

(0) = lim
h0
(h) (0)
h
= lim
h0
f(X
0
+h v) f(X
0
)
h
= 0
Esto indica que todas las derivadas direccionales de f en X
0
son nulas (en
particular las derivadas parciales), o sea Df(X
0
) =
Denicin 45 Sean f : A R
n
R denida en un abierto A y X
0
un
punto de A. Se dice que X
0
es un punto crtico de f cuando
f no es diferenciable en X
0
, o bien Df(X
0
) =
Para f diferenciable , X
0
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
x
1
(x
1
, x
2
, ..., x
n
) = 0
f
x
2
(x
1
, x
2
, ..., x
n
) = 0
................
f
x
n
(x
1
, x
2
, ..., x
n
) = 0
De acuerdo al razonamiento anterior se tiene:
Teorema 46 X
0
extremo relativo de f X
0
punto crtico.
Los ejemplos, f(x, y) = x
2
+ y
2
, g(x, y) = x
2
y
2
y h(x, y) = y
2
x
2
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.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 28
Cuando las derivadas parciales segundas

2
f
x
i
x
j
son todas continuas ( f
es de clase (
2
), la diferencial segunda de f en X
0
es la forma cuadrtica
D
2
f(X
0
)(H) =
n

i,j=1
a
ij
h
i
h
j
, con a
ij
=

2
f
x
i
x
j
(X
0
)
Note que a
ij
= a
ji
, de acuerdo al Teorema de Schwarz.
Segn el Teorema de Taylor en varias variables, en una vecindad de X
0
se puede escribir
f(X
0
+H) = f(X
0
) +Df(X
0
)(H) +
1
2!
D
2
f(X
0
)(H) +R
2
(H)
con lim
H
R
2
(H)
|H|
2
= 0. (*).
En un punto crtico, Df(X
0
)(H) = 0, H R
n
; as que
f(X
0
+H) = f(X
0
) +
1
2!
D
2
f(X
0
)(H) +R
2
(H)
En vista de (*), en una vecindad de X
0
(o sea para todo H con |H| pequea):
f(X
0
+H) f(X
0
) 0 D
2
f(X
0
)(H) 0
f(X
0
+H) f(X
0
) 0 D
2
f(X
0
)(H) 0
Observe que las condiciones del lado izquierdo en las equivalencias indican
que X
0
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 : R
n
R , de las forma
q(X) =
n

i,j=1
a
ij
x
i
x
j
, con a
ij
= a
ji
La matriz A =
_
_
a
11
...... a
1n
....
a
n1
...... a
nn
_
_
, simtrica de orden n n, representa a
q en el sentido que q(X) = X
T
AX, es decir
q(x
1
, ...., x
n
) = (x
1
.....x
n
)
_
_
a
11
...... a
1n
....
a
n1
...... a
nn
_
_
_
_
x
1
x
n
_
_
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 29
Denicin 47 Para una forma cuadrtica q se dice:
q es denida positiva q(X) 0, X ,=
q es denida negativa q(X) 0, X ,=
q es no denidaExisten X
1
, X
2
tales que q(X
1
) < 0 < q(X
2
).
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 denida positiva.
b) todos los valores propios de A son negativos q denida negativa
c) si la matriz posee al menos un valor propio positivo y un valor propio
negativo, entonces la forma cuadrtica es no denida.
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
matriz A :
1
= a
11
,
2
=

a
11
a
12
a
21
a
22

, ...,
n
= [A[
Teorema 48 Para cada k entre 1 y n sea
k
el determinante de orden k
formado por las primeras k las y k columnas de la matriz A. Si se tiene

n
= [A[ , = 0 , entonces:
a) k :
k
> 0 q es denida positiva.
b) k : (1)
k

k
> 0 q es denida negativa.
c) en todo otro caso q es no denida.
Caso de dos variables.-
Para f : A R
2
R, (x, y) f(x, y) de clase (
2
en el abierto A. Sea
(x
0
, y
0
) un punto crtico, esto es, un punto tal que
f
x
(x
0
, y
0
) = f
y
(x
0
, y
0
) = 0 y sea
= (x
0
, y
0
) =

f
xx
(x
0
, y
0
) f
xy
(x
0
, y
0
)
f
yx
(x
0
, y
0
) f
yy
(x
0
, y
0
)

= f
xx
(x
0
, y
0
)f
yy
(x
0
, y
0
)f
xy
(x
0
, y
0
)
2
se tiene entonces:
a) f
xx
(x
0
, y
0
) > 0 > 0 (x
0
, y
0
) es un mnimo relativo.
b) f
xx
(x
0
, y
0
) < 0 > 0 (x
0
, y
0
) es un mximo relativo.
c) < 0 (x
0
, y
0
) es un punto de silla.
d) Para = 0, el criterio no da informacin.
Ejemplo 49 Identique y clasique los puntos crticos de
f(x, y) = x
2
y 2xy + 2y
2
15y
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 30
Caso de tres variables.-
Para f : A R
3
R, (x, y, z) f(x, y, z) de clase (
2
en el abierto A.
Sea (x
0
, y
0
, z
0
) un punto crtico, esto es, un punto tal que
f
x
(x
0
, y
0
, z
0
) = f
y
(x
0
, y
0
, z
0
) = f
z
(x
0
, y
0
, z
0
) = 0 y sea

3
=
3
(x
0
, y
0
, z
0
) =

f
xx
(x
0
, y
0
, z
0
) f
xy
(x
0
, y
0
, z
0
) f
xz
(x
0
, y
0
, z
0
)
f
yx
(x
0
, y
0
, z
0
) f
yy
(x
0
, y
0
, z
0
) f
yz
(x
0
, y
0
, z
0
)
f
zx
(x
0
, y
0
, z
0
) f
zy
(x
0
, y
0
, z
0
) f
zz
(x
0
, y
0
, z
0
)

,= 0
se tiene entonces:
a) f
xx
> 0,
2
> 0,
3
> 0 (x
0
, y
0
, z
0
) es un mnimo relativo.
b) f
xx
< 0,
2
> 0,
3
< 0 (x
0
, y
0
, z
0
) es un mximo relativo.
c) en otro caso el punto es silla.
Ejemplo 50 Identique y clasique los puntos crticos de
f (x, y, z) = x
2
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 (
1
, determina una curva C en el plano xy que admite recta tangente
en todo punto para el cual g(x, y) ,= . 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
Ejemplo 51 Encontrar los extremos relativos de f(x, y) = y x
2
sujeto a
x
2
+y
2
= 1.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 31
-2 -1
xy
z
0
0 2 1
-1
-2
0
1
2
1 2 -1 -2
Geomtricamente, las curvas de nivel de f son parbolas de ecuacin
f(x, y) = y x
2
= c, con c constante real.
El siguiente grco muestra la circunferencia unitaria x
2
+y
2
= 1, junto
con las curvas de nivel de f, para c =
5
4
, 1,
1
2
, 0,
1
2
, 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 <
5
4
.
x
y
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 32
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
Este es un sistema de 3 ecuaciones y 3 incognitas: x, y; . Para nuestro
ejemplo
2x = 2x
1 = 2y
x
2
+y
2
= 1
La primera ecuacin da x( + 1) = 0, lo que implica dos posibilidades:
a) x = 0 : y as y = 1, =
1
2
o tambin y = 1, =
1
2
b) = 1 : y as y =
1
2
, x =

3
2
o tambin y =
1
2
, x =

3
2
Tenemos 4 soluciones que conducen a los 4 extremos relativos: (0, 1) y
(0, 1) mximos relativos, y (

3
2
,
1
2
) y (

3
2
,
1
2
) mnimos relativos.
Teorema 52 Sean f : A R
2
R y g : A R
2
R de clase (
1
. Si
(x
0
, y
0
) A es tal que g(x
0
, y
0
) = 0 y g(x
0
, y
0
) ,= entonces para que f
alcance un extremo relativo en (x
0
, y
0
) es necesario que R (multiplicador
de Lagrange) tal que f(x
0
, y
0
) = g(x
0
, y
0
).
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 (
1
, determina una supercie
en R
3
. Para sta, si en un punto g(x, y, z) ,= , entonces g(x, y, z) es un
vector perpendicular a la supercie (o sea perpendicular al plano tangente a
la supercie).
Si se agrega una segunda condicin h(x, y, z) = 0, del mismo tipo, tenemos
dos supercies cuya interseccin (casi siempre) es una curva en R
3
. Si en
un punto (x
0,
y
0
, z
0
) 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:
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 33
a) la funcin f(x, y, z) de clase (
1
, posee extremos relativos en los puntos de
la supercie g(x, y, z) = 0 donde f(x, y, z) = g(x, y, z).
b) la funcin f(x, y, z) de clase (
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).
6.3 Extremos absolutos
En este caso los extremos son de carcter global. Al respecto contamos con
el siguiente resultado.
Teorema 53 (de los valores extremos). Si f : K R
n
R es continua
sobre el compacto K, entonces existen X
1
, X
2
K tales que
X K : f (X
1
) f (X) f (X
2
)
X
1
se denomina el punto de mnimo absoluto de f sobre K y f (X
1
) el
valor mnimo absoluto de f sobre K. En forma anloga, X
2
ser mximo
absoluto.
Cmo encontrar estos puntos X
k
, con k = 1, 2, de extremos absolutos?
Se deben tener en cuenta los siguientes hechos:
1. Si X
k
pertenece al interior del compacto K, entonces ser tambin un
extremo relativo y, en consecuencia, un punto crtico.
2. Si X
k
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 Fr (K) .
c) Finalmente, evaluar f en todos los puntos encontrados en a) y en b),
para elegir los extremos.
Ejemplo 54 La temperatura de la placa metlica x
2
+y
2
6 est dada por
T(x, y) = 4x
2
+ 9y
2
x
2
y
2
.
a) Determine los puntos crticos de T en el conjunto x
2
+y
2
< 6 y determine
la naturaleza de uno de ellos.
El sistema
8x 2xy
2
= 0
18y 2x
2
y = 0
, tiene soluciones: y = 0, x = 0 , x = 3, y = 2
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 34
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
4xy 18 2x
2

En (0, 0) :

8 0
0 18

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


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 2x
2
y = 2y
x
2
+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 x
2
4 +y
2
) = 0
x
2
+y
2
= 6
quedando y(2y
2
1) = 0. As,
y = 0, x =

6, = 4
y =
_
1
2
, x =
_
11
2
, =
7
2
Finalmente se evala: T(0, 0) = 0 , T(0,

6) = 54, T(

6, 0) = 24,
T(
_
11
2
,
_
1
2
) =
95
4
= 23. 75
De donde, (0, 0) es el punto de menor temperatura y los puntos (0,

6) son
los de mayor temperatura.
c) En qu puntos de la placa la direccin de mayor crecimiento de la tempe-
ratura es vertical? (est dada por el eje y).
La direccin de mayor crecimiento est dada por
T(x, y) =
_
8x 2xy
2
_
+
_
18y 2x
2
y
_

Este vector es vertical cuando x = 0 (sobre el eje y) y cuando y = 2 (dos
segmentos de rectas)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 35
Ejemplo 55 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 tem-
peratura sobre:
a) la esfera x
2
+y
2
+z
2
= 11
b) la curva interseccin de la esfera x
2
+y
2
+z
2
= 11 y el plano x+y +z = 3.
Solucin de a).- Corresponde a un problema de multiplicadores de Lagrange
con una restriccin. Luego el sistema a resolver es
2 = 2x
2 = 2y
2z = 2z
x
2
+y
2
+z
2
= 11
De la tercera ecuacin: z ( 1) = 0 y as z = 0 = 1.
En el caso que = 1, las ecuaciones 1 y 2 dan x = 1 , y = 1 y por lo
tanto z = 3, de la ltima ecuacin.
Se encuentran los puntos (1, 1, 3) y (1, 1, 3) .
En el caso que z = 0 el sistema queda
x = 1
y = 1
x
2
+y
2
= 11
Ahora de 1 y 2: x = y =
1

y la ltima ecuacin da
1

2
+
1

2
= 11, y =
_
2
11
.
Se encuentran los puntos
__
11
2
,
_
11
2
, 0
_
y
_

_
11
2
,
_
11
2
, 0
_
.
Finalmente se evalua T para obtener: T (1, 1, 3) = 33 , T (1, 1, 3) =
33 , T
__
11
2
,
_
11
2
, 0
_
= 2

11 + 20 = 29. 38
T
_

_
11
2
,
_
11
2
, 0
_
= 20 2

11 = 10. 61
Por lo tanto, (1, 1, 3) son los puntos de mayor temperatura y
_

_
2
11
,
_
2
11
, 0
_
es el punto de menor temperatura.
Solucin de b).- Corresponde a un problema de multiplicadores de Lagrange
con dos restricciones. Luego el sistema a resolver es
2 = 2x +
2 = 2y +
2z = 2z +
x
2
+y
2
+z
2
= 11
x +y +z = 3
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 36
De 1-2 toda solucin del sistema debe cumplir con (x y) = 0.
En el caso = 0, la dos primeras ecuaciones dan = 2 y la tercera
z = 1. queda por resolver el sistema
x
2
+y
2
= 10
x +y = 2
x
2
+y
2
= 10
x +y = 2
, Solution is: [x = 1, y = 3] , [x = 3, y = 1]
Se obtienen los puntos (1, 3, 1) , (3, 1, 1) .
En el caso x = y el sistema queda
2 = 2x +
2z = 2z +
2x
2
+z
2
= 11
2x +z = 3
El sistema formado por las dos ltimas ecuaciones
2x
2
+z
2
= 11
2x +z = 3
tiene solu-
cin:
_
x = 1
2
3

3 , z =
4
3

3 + 1

,
_
x =
2
3

3 + 1 , z = 1
4
3

Conocidos los valores de x y z ,ambos diferentes, el sistema lineal en y

2x + = 2
2z + = 2z
tiene nica solucin (que no interesa explicitar).
Por lo tanto se obtienen los puntos
_
1
2
3

3, 1
2
3

3,
4
3

3 + 1
_
,
_
2
3

3 + 1,
2
3

3 + 1, z = 1
4
3

3
_
.
Finalmente se debe evaluar T en estos 4 puntos. (haga las cuentas).