cnica Nacional

Escuela Polite
lisis Matema
tico II
Ana

Mnimos y M
aximos relativos
Milton Torres Espa
na
9 de febrero de 2015

Usaremos los siguientes resultados:

Teorema 1. Sean E un espacio vectorial normado, A E, f una funci
on de E a valores reales.
Si f tiene en un punto interior a de A un mnimo relativo, o un m
aximo relativo, y f es diferenciable en a, entonces el diferencial de f evaluado en ese punto es nulo.
Teorema 2. Con las hip
otesis y notaci
on del teorema 1. Si la funci
on f es dos veces diferenciable en
un punto interior a de A, la primera derivada en ese punto es nula y si la segunda derivada en ese
punto es coerciva, entonces f tiene un mnimo relativo estricto en a.
Teorema 3. Sobre un espacio vectorial normado real E de dimensi
on finita, es una forma cuadr
atica
y coerciva si y solo si es positiva y no degenerada.
Las demostraciones detalladas de estos teoremas se encuentran en [1].
Ejercicio 1. Sea f : R+ R y : R3 R dos aplicaciones tales que
f (u) = (u 1)2 (u + 1),

(x, y, z) = x2 + y 2 + z 2 + xy xz

1. Sea u 0. Mostrar que f 0 (u) = 0 si y solo si u = 1.

2. Mostrar que es una forma cuadr
atica definida positiva. Deducir los puntos de R3 donde se
anula.
3. Sea F = f . Mostrar que un elemento a de R3 es un punto crtico de F (es decir verificar
F 0 (a) = 0) si y solo si a = (0, 0, 0) o (a) = 1.
4. Determinar la matriz hessiana de F en a = (0, 0, 0), es decir la matriz de la aplicaci
on bilineal
simetrica F 00 (a). Deducir la naturaleza del punto crtico.
5. Mostrar que para todo a R3 , F 00 (a) 0. Mostrar que todo punto crtico no nulo de F es un
punto donde F admite un mnimo absoluto.
Soluci
on.
1. Calculamos la derivada de f y obtenemos f 0 (u) = (u 1)(3u + 1). Si f 0 (u) = 0
entonces u = 1 o u = 13 , por hip
otesis tenemos que u = 1. Recprocamente, si u = 1 entonces
f 0 (u) = 0.
2. Podemos escribir a como
: R3 R
u 7 (u) = u> M u,

1
1/2 1/2
1
0 .
donde u = (x, y, z)> y M = 1/2
1/2 0
1
Calculando los valores propios de la matriz asociada a , M . Obtenemos 1 =

3 =

2+2
2 .

2 2
2 ,

2 = 1 y

Vemos que 0 < 1 < 2 < 3 , por tanto es una forma cuadratica definida positiva.

Por lo anterior, para todo (x, y, z) R3 se verifica que (x, y, z) 0, y (x, y, z) = 0 si y solo si
(x, y, z) = (0, 0, 0).
3. Sea a = (x, y, z) R3 . Derivando F tenemos que F 0 (a) = f 0 ((a))D(a). Supongamos que a es
un punto crtico de F , entonces F 0 (a) = 0. Por tanto,
F 0 (a) = 0 f 0 ((a)) = 0 o D(a) = 0.
Si f 0 ((a)) = 0, como (a) 0 y por el literal 1 se sigue que (a) = 1.
Calculando D(x, y, z) tenemos que

2 1 1
x
D(x, y, z) = 1 2 0 y = 2M a.
1 0 2
z
Como se prob
o en el literal 2, M es una matriz definida positiva, por tanto si D(a) = 2M a = 0
la u
nica soluci
on al sistema lineal es a = (0, 0, 0).
4. Sea u = (x, y, z) R3 . Por el literal anterior, las derivadas parciales de F son Fi0 (u) =
f 0 ((u)) 0i (u), para i = 1, 2, 3. Luego, calculemos las segundas derivadas parciales de F usando
la regla de la cadena y del producto de funciones en u, tenemos entonces
Fij00 (u) = f 00 ((u)) 0i (u) 0j (u) + f 0 ((u)) 00ij (u),
para i, j = 1, 2, 3. Adem
as se tiene que f 00 ((u)) = 6 (u) 2 y f 0 ((u)) = ((u) 1)(3 (u) + 1).
Si u = (0, 0, 0) entonces (u) = 0 y 0i (u) = 0 para i = 1, 2, 3. Por tanto, f 00 ((u)) = 2 y
f 0 ((u)) = 1.
Se sigue de esto que Fij00 (u) = 00ij (u). Luego, la matriz hessiana de F es

2 1 1
HF = 1 2 0 = 2M .
1 0 2
La matriz HF es simetrica y definida negativa no singular (pues M es definida positiva y
simetrica), usando el teorema 2 y 3, entonces la aplicacion F tiene un maximo relativo estricto
en a = (0, 0, 0).
5. Sea u R3 . Sabemos por 2 que (u) 0, tambien que para todo x 0 se verifica f (x) 0. Por
ende,
F (m) = f (m) 0.
(1)
Si a es un punto crtico no nulo de F , por el literal 3, (a) = 1 y por lo tanto F (a) = f (1) = 0.
Por el razonamiento anterior, concluimos que a es un mnimo absoluto, por (1).

Ejercicio 2. Sean F : R3 R una aplicaci
on de clase C 2 , un abierto de R2 y : R una
2
aplicaci
on de clase C tal que, para todo (x, y) , F (x, y, (x, y)) = 0.
1. Expresar, a traves de las primeras y segundas derivadas parciales de F y de , las primeras y
segundas derivadas parciales de la aplicaci
on (x, y, z) 7 F (x, y, (x, y)).
2

2. Supongamos que (a, b) es un extremo relativo de y se pone c = (a, b). Demostrar las
relaciones
F (a, b, c) = Fx0 (a, b, c) = Fy0 (a, b, c) = 0,

2
00
(a, b, c) 0.
Fx002 (a, b, c) Fy002 (a, b, c) Fxy
3. Para todo (x, y, z) R3 , definimos
F (x, y, z) = 2x2 + 2y 2 + z 2 + 8xz z + 8.
Aplicar el teorema de las funciones implcitas, mostrar que existen dos abiertos 1 y 2 de R2 y
dos funciones de clase C 2 , 1 : 1 R y 2 : 2 R, teniendo cada una un extremo relativo
sobre el dominio de definici
on, tales que, para todo (x, y) i , tenemos, para i = 1 y para i = 2,
F (x, y, i (x, y)) = 0.
Determinar los extremos relativos.
Soluci
on. Sea G : R tal que G(x.y) = F (x, y, (x, y)).
1. Expresemos a G como composici
on de funciones. Sea : (x, y) 7 (x, y, (x, y)), definida sobre
. Tenemos que G = F . Su derivada es DG(x, y) = DF ((x, y)) D(x, y). Para facilitar
la escritura de la derivada de G la expresaremos como el producto de las matrices Jacobianas
de F y :

1
0




1 .
G0x (x, y) G0y (x, y) = Fx0 (x, y) Fy0 (x, y) Fz0 (x, y) 0
0
0
x (x, y) y (x, y)
Obtenemos entonces las primeras derivadas parciales de G:
G0x = Fx0 + (Fz0 ) x0 ,

(2)

G0y = Fy0 + (Fz0 ) y0 .

(3)

Luego usando las f

ormulas anteriores y aplicando las propiedades de derivacion de un producto
de dos funciones y la derivaci
on de una composicion de funciones, tenemos entonces que las
segundas derivadas parciales son
00
00
00
G00xx = Fxx
+ 2(Fxz
) 0x + (Fzz
) (0x )2 + (Fz0 ) 00xx ,

(4)

00
00
00
G00yy = Fyy
+ 2(Fyz
) 0y + (Fzz
) (0y )2 + (Fz0 ) 00yy ,

(5)

00
00
00
00
G00xy = Fxy
+ (Fxz
) 0y + (Fyz
) 0x + (Fzz
) 0x 0y + (Fz0 ) 00xy .

(6)

Finalmente, por hip

otesis la funci
on G es nula sobre el conjunto por lo que las primeras y
segundas derivadas tambien ser
an nulas en todo punto de . Con esto logramos las iguales que
se piden.
2. Sea (a, b) un extremo relativo de . Notemos c = (a, b). Por el teorema 1 tenemos que

2
D(a, b) = 0 y que 00xy (a, b) 00xx (a, b) 00yy (a, b) 0. Usando esto en las igualdades encontradas en el literal anterior, obtenemos
00
Fxx
(a, b, c) + 00xx (a, b) Fz0 (a, b, c) = 0,

(7)

00
Fyy
(a, b, c) + 00yy (a, b) Fz0 (a, b, c) = 0,

(8)

00
Fxy
(a, b, c) + 00xy (a, b) Fz0 (a, b, c) = 0,

(9)

se sigue que
Fz0 (a, b, c)

2 



2

2
00
00
00
00xy (a, b) 00xx (a, b) 00yy (a, b) = Fxy
(a, b, c) Fxx
(a, b, c) Fyy
(a, b, c).

Luego,
F (a, b, c) = Fx0 (a, b, c) = Fy0 (a, b, c) = 0,

2
00
00
00
Fxx
(a, b, c) Fyy
(a, b, c) Fxy
(a, b, c) 0.
3. Usando el resultado anterior, formamos el sistema de ecuaciones

2x2 + 2y 2 + z 2 + 8xz z + 8 =
4x + 8z =

4y =

no lineales:
0
0
0.

Las soluciones de este sistema de ecuaciones son s1 = (2, 0, 1) y s2 = (16/7, 0, 8/7). Notemos
como (x1 , y1 ) = (2, 0), (x2 , y2 ) = (16/7, 0), z1 = 1 y z2 = 8/7.
Ademas, Fz0 (x, y, z) = 2z + 8x + 1. Reemplazando los puntos s1 y s2 en Fz0 (x, y, z) tenemos
Fz0 (x1 , y1 , z1 ) = 15 6= 0 y Fz0 (x2 , y2 , z2 ) = 105/7 6= 0.
Aplicando el teorema de la funci
on implcita a F en los puntos s1 y s2 , existe una vecindad
abierta Ui de (xi , yi ) de R y una funcion i : Ui R de clase C 2 , tal que para todo (x, y) Ui ,
F (x, y, i (x, y)) = 0 (para i = 1, 2).
Ahora verifiquemos que i en en el punto (xi , yi ) es un extremos relativo. Usando los resultados
(2) y (3) tenemos
0ix (xi , yi ) = 0iy (xi , yi ) = 0
pues sabemos que Fx0 (xi , yi , zi ) = Fy0 (xi , yi , zi ) = 0 y Fz0 (xi , yi , zi ) 6= 0, para i = 1, 2. Tambien,
00 (x, y, z) = 4, F 00 (x, y, z) = 0 y F 00 (x, y, z) = 4, para todo (x, y, z) R3 .
Fxx
xy
yy
Analizando F en el punto (x1 , y1 , z1 ), tenemos los siguientes resultados: Fz0 (x1 , y1 , z1 ) = 15,
001 xx (x1 , y1 ) = 4/15, 001 xy (x1 , y1 ) = 0 y 001 yy (x1 , y1 ) = 4/15. Entonces
001 xy (x1 , y1 )

2

< 001 xx (x1 , y1 ) 001 yy (x1 , y1 ),

por tanto 1 en el punto (x1 , y1 ) tiene un mnimo local estricto.

Para el punto (x2 , y2 , z2 ), tenemos los siguientes resultados: Fz0 (x2 , y2 , z2 ) = 105/7, 002 xx (x1 , y1 ) =
28/105, 002 xy (x1 , y1 ) = 0 y 002 yy (x2 , y2 ) = 28/105. Entonces

2
002 xy (x2 , y2 ) < 002 xx (x2 , y2 ) 002 yy (x2 , y2 ),
por tanto 2 en el punto (x2 , y2 ) tiene un maximo local estricto.


Referencias
[1] Christol, G. Cot, A. Marle, C., Calcul differential, Ellipses, Pars, (1997).