68 Análisis Matemático II: Extremos relativos y absolutos

   
Si llamamos  F = F( 
X ) - F( P0 ), con X perteneciente a un entorno de P0 resulta:
 F  0  F( P0 ) máximo relativo (MR) 
  son extremos relativos o locales
 F  0  F( P0 ) mínimo relativo (mr) 
 
Si F es diferenciable en P0 y  F cambia de signo en cualquier entorno de P0
, entonces
(x0 ;y0 ; F(x0 ;y0 )) es un punto de ensilladura

 Condición necesaria para la existencia de extremos:


Consideremos F: AR, con A  R2 / z = F( x;y) , siendo A abierto , P0 (x0 ;y0)  A
un punto en el que existen las derivadas parciales de F.
  
Si F( P0 ) es un extremo local de F, entonces :F’ x ( P0 ) = F’y ( P0 ) = 0

Supongamos  que F( 0 ) es unmínimo local,
P  es decir, por definición :
  > 0/  X  E[ P0 ,] : F( X )  F( P0 )

Cortemos la superficie representativa de F con el plano x = x 0 . La intersección es una

 z   ( y)
curva sobre ese plano cuya ecuación es de la forma 
 x  x0
x  x 0
El intervalo ( y 0 - , y 0 +) , sobre la recta 
z0 z

está incluido en E[ P0 ,], luego :

F(x 0 ;y)  F( x ;y),  y . ( y 0 - , y 0 +)  (y)

Es decir:
 (y)   (y 0),  y ( y 0 - , y 0 +)
y0 -  yo y0+ 
y
Por lo tanto  (y 0) es un mínimo relativo de
x0
 (y) y debe cumplirse la condición necesaria x
para la existencia de extremos
 en funciones es- E( ,)
calares:  ‘ (y0) = F’ y( P0 ) = 0. z
De la misma forma, si se corta la superficie
con el plano y = y0 , se obtiene una curva
z   ( x )  (x)
de ecuación  que presenta
 y  y0
 en  (x0) y por lo tanto:
un mínimo relativo
‘ (x0) = F’x ( P0 ) = 0 y0
x - y
¡ Cuidado! xo0
x0+  E( ,)
Las derivadas parciales pueden anularse y no presentarse
x en ese punto ningún extremo .
 Análisis Matemático II: Extremos relativos y absolutos 69

(Ej z = x2 - y 2 . En (0;0) no hay extremo, el plano tangente , (que existe pues la

función es diferenciable) atraviesa la superficie,  F >0 para algunos puntos de un
entorno de (0;0) y  F >0 , en otros; se trata de un punto de ensilladura) .

Los puntos que cumplen la condición necesaria se llaman críticos o estacionarios.

 Condición suficiente para la existencia de extremos relativos

Hessiano

Sea F un campo escalar de dos variables con derivadas

 parciales continuas hasta el
segundo orden, llamamos hessiano de F en P0 al determinante: 
 F" xx  P0  F
H ( P )  
0
F' " xy  P 0  F

Teorema

Consideremos F: AR, con A  R2 abierto, y un punto P0  A . Si se verifica que:

i)F tienederivadas parciales
 hasta el segundo orden continuas en un entorno de P0
ii) F’x ( P0 ) = F’y ( P0 ) = 0 
iii) lasderivadas segundas de F en P0 no son simultáneamente nulas. (Suponemos
F”xx( P0 )  0)

Entonces:
  
Si H( P0 ) > 0, entonces F( P0 ) es un extremo relativo y : F”xx ( P0 ) < 0  F(a;b)
MR

F”xx ( P0 ) > 0  F(a;b) mr.


Si H( P0 ) < 0, entonces (x0 ;yo ; F(x0 ;yo) ) es un punto de ensilladura.

Si H( P0 ) = 0 , no puede obtenerse por este método ninguna conclusión.

Demostración:

Como una función continua conserva su signo en un entorno del punto en que se
verifica la continuidad,
 y supusimos que todas las derivadas
 segundas de F son
continuas
 en P 0 y por lo tanto es continuo H e n P0 trabajaremos en un entorno de

P0 en el que H y F”xx conserven su signo.


Desarrollamos
 por Taylor
 F(x;y) en ese entorno de P0 con Tn+1 de segundo orden.
F(x;y) = F( P0 ) + dF( P0 ) + Tn+1
70 Análisis Matemático II: Extremos relativos y absolutos

  
F(x;y) - F( P0 ) = F’x ( P0 ) . h + F’y ( P0 ) . k + ½ d (2)F(x 0+ ch; y0 + ck) con 0 < c <
1

F 
Como las derivadas primeras en P0 se anulan por hipótesis, se tiene:

 F= ½ [F”xx (x0 + ch; yo+ck) .h2 + 2. F”xy (x0 + ch; y0+ck) . h k + F”yy (x0 + ch; y0+ck)]
con 0 < c
<1

Para simplificar la notación no indicaremos el punto en el que se considera cada

derivada segunda, entendiendo que dicho punto es (x0+ch;y0+ck) con 0 < c < 1

Luego:  F. = ½ [F”xx .h2 + 2. F”xy h k + F”yy k2 ]

o bien : 2.  F. = F”xx .h2 + 2. F”xy h k + F”yy k2

Como se supuso F”xx  0, sacamos F”xx como factor común entre los dos primeros
términos:
F "
2.  F. = F”xx .[ h2 + 2.
x y
F " x x h k ] + F”y y k2
Completamos cuadrados sumando y restando, dentro del corchete +
2
 F" 


 F"
x

x
y

x



k2
 2
F" xy 2
 
2.  F. = F”xx. h 2 h k k
 F" xx +
 F" 2
2


 F" x x



x y
k -
 F" xy 2 

 F" xx


. k 2 


+ F ”y y k2
2
 F" xy 
2.  F. = F”xx . h


F" xx
k 
 -
 F" xy 2 
2

 F" xx


. k 2 


+ F ”y y k
Aplicando prop. distributiva se tiene:
2
 F" x y 
2.  F. = F”xx .  -   + F ” y y k2
2

h 
F" xy
k  F" x x
.k2

 F" x x 

Sacando común denominador entre el segundo y el tercer término y ordenando,

resulta:
2
 
2.  F. = F”xx . 
F" x y

h 
F" x x
k 

+
F" x x F" y y  F"2
x y
F" x x

k2
pero F”x x F”y y - F”2x y = H(a+ch;b+ck) con 0 <c<1
H
Luego:
 F" x y 2
2.  F. = F”xx . 

h 
F" x x
k 
 +
H
F" x k2
x

 
Como  se trabaja en un entorno de P0 en el que H conserva el signo de H( P0 ) y
F”xx ( P0 ) se tiene que analizar los siguientes casos:
 Análisis Matemático II: Extremos relativos y absolutos 71


1.- H( P0 ) > 0 
Signo de  F. = Signo F”xx ( P0 ) , pues
 F" x y 2
 h


F" x x
k 

 0 y k2  0 pero las bases
de los dos cuadrados no pueden
 ser nulas al mismo tiempo ya que esto significaría que
no nos hemos movido de P0 .
 
1.1.- Si F”xx ( P0 ) > 0   F > 0  F( P0 ) mínimo relativo
 
1.2.- Si F”xx ( P0 ) < 0   F < 0  F( P0 ) máximo relativo

2.- H( P0 ) < 0

2.1.- Si k = 0, entonces 2 F = F”xx. h2  signo de  F. = signo F”xx ( P0 )
F" x
2.2.- Si h + k = 0, entonces 2F =
y
F" x x

H
k 2  signo de  F. signo F”xx (
F" x x

P0 )

Por lo tanto F cambia de signo en un entorno de P0 luego (x0 ;y0 ;F(x0;y0)) es un
punto de ensilladura.

3.- H=0 , se puede ver con ejemplos que pueden presentarse distintas situaciones