Funciones de varias variables. Extremos (2009).

3.3. Funciones de varias variables. Extremos.

En este captulo se estudia el concepto de extremo (mximo o mnimo) en campos escalares

de varias variables y se presenta un mtodo para su obtencin y clasificacin. Este proceso tiene un
desarrollo semejante al utilizado en las funciones reales de variable real. Esto es, se comienza
localizando a los posibles candidatos a extremo con las derivadas primeras y, despus, se obtiene su
carcter mediante las derivadas segundas.

3.3.1. Introduccin y definiciones.

Se dice que una funcin real de variable real en un punto tiene en mximo relativo en un
punto x0 de su dominio cuando existe un entorno de ese punto en el cual el valor de la funcin
f ( x0 ) es mayor o igual a su valor en el resto de los puntos de dicho entorno. Si el valor es
estrictamente mayor se dice que el mximo relativo es estricto. Cuando se considera todo el
dominio de definicin el mximo recibe el calificativo de absoluto. En el caso de los campos
escalares la definicin es anloga.
r
Definicin, Sea el campo escalar f :D n y un punto x0 D . Entonces:
r r r r r
f ( x ) alcanza un mximo relativo en x0 si existe una bola B( x0 , r ) D tal que x B( x0 , r ) , se
r r
tiene f ( x ) f ( x0 ) .
r r r r r
f ( x ) alcanza un mximo absoluto en x0 si x D , se tiene f ( x ) f ( x0 ) .

n r
EJEMPLO: La funcin f : de la forma f ( x ) = ( x12 + x22 ++ xn2 ) tiene un mximo
r r
absoluto en x = 0

NOTAS: 1. La condicin de mnimo relativo y mnimo absoluto se establece cambiando el

sentido de las desigualdades de la definicin anterior.
2. Si las desigualdades se cambian por desigualdades estrictas los mximos o mnimos se
denominan estrictos.

n r r r r
EJEMPLO: 1. La funcin f : tal que f ( x ) = x tiene un mnimo absoluto en x = 0 .
n r r r
2. La funcin g : con, g ( x ) = x1 x2 xn tiene un mnimo relativo en x = 0

r r r
3. Si f ( x ) tiene un mximo o un mnimo en el punto x0 , se dice que f ( x ) tiene un extremo
r
en x0 .
En el estudio de los extremos de un funcin es necesario encontrar los puntos candidatos a
serlo. Un conjunto de estos candidatos est formado por los puntos crticos que tienen la siguiente
definicin.
r
Definicin. Sea f :D n y x0 D , se dice que f tiene un punto crtico o
r r uuuuuuuur r r
estacionario en x = x0 si grad( f )( x0 ) = 0 .

45
Funciones de varias variables. Extremos (2009).

EJEMPLO: 1.- La funcin f ( x, y ) = 2 x x 2 y 2 tiene un punto crtico en (1, 0) pues:

uuuuuuuur uuuuuuuur
grad( f )( x, y ) = (2 2 x, 2 y ) , que particularizado en el punto es grad( f )(1, 0) = (0, 0) .

2.- La funcin f ( x, y ) = x3 3 xy 2 , tiene como punto crtico (0, 0) , pues:

uuuuuuuur uuuuuuuur
grad( f )( x, y ) = (3x 2 3 y 2 , 6 xy ) y particularizando: grad( f )(0, 0) = (0, 0)

3. Sea el campo escalar f ( x, y ) = x 2 y 2 . Para hallar los puntos crticos de esta funcin es
uuuuuuuur r r
necesario resolver la ecuacin grad( f )( x ) = 0 . En este caso dicha ecuacin es:
uuuuuuuur
grad( f )( x, y ) = (2 xy 2 , 2 x 2 y ) = (0, 0)
los puntos que satisfacen dicha ecuacin son de la forma (0, K ) K y tambin los de la
forma (G, 0) G .

3.3.1. Condicin necesaria de existencia de extremo. Puntos crticos.

Una vez establecidos los conceptos bsicos se continua estudiando cuales son las
caractersticas de los puntos en los que un campo escalar puede tener un extremo. En este contexto
se enuncia el siguiente teorema.
r r
Teorema: Sea f :D n y x0 D , entonces, si f tiene un extremo en x0 y es
uuuuuuuur r r
diferenciable en dicho punto se cumple que grad( f )( x0 ) = 0

NOTA. La condicin no es suficiente pues:

r uuuuuuuur r
1. f puede tener un extremo relativo en x0 y no existir grad( f )( x0 ) por no ser
diferenciable en ese punto.
uuuuuuuur r r
2. Incluso existiendo grad( f )( x0 ) = 0 , el punto puede ser un punto de ensilladura.
uuuuuuuur r r
Definicin. Un punto crtico con grad( f )( x0 ) = 0 se llama punto de ensilladura si
r r r r r r r
B( x0 , r ) existen puntos x B( x0 , r ) tales que f ( x ) < f ( x0 ) y otros en los que f ( x ) > f ( x0 ) .

EJEMPLO: Diferentes tipos de puntos en (0, 0) .

1. La funcin f ( x, y ) = x + y tiene un mnimo

absoluto en (0,0) y sin embargo ese punto no es
crtico pues la funcin no es diferenciable en (0,0).

46
Funciones de varias variables. Extremos (2009).

2. La funcin f ( x, y ) = x 2 y 2 tiene en (0,0) un

uuuuuuuur
punto crtico pues grad( f )( x, y ) = (2 x, 2 y ) y en
uuuuuuuur
(0,0) es grad( f )(0, 0) = (0, 0) . Sin embargo este
punto es un punto de ensilladura. Pues f (0,0) = 0 y
en puntos ( x, 0) , f ( x,0) > f (0, 0) , en cambio, en
puntos (0, y) , f (0, y) < f (0, 0) .

3. La funcin f ( x, y ) = 2 x 2 y 2 tiene en (0,0)

un punto crtico que corresponde a un mximo
uuuuuuuur
estricto, ya que grad( f )( x, y ) = (2 x, 2 y ) y en
uuuuuuuur
(0,0) es grad( f )(0, 0) = (0, 0) . Adems, se observa
fcil-mente que f (0, 0) = 2 y dado ( x, y ) (0, 0)
sien-pre se cumple: f ( x, y) < f (0,0)

4. La funcin f ( x, y ) = x 2 + y 2 tiene en (0,0) un

punto crtico que corresponde a un mnimo estricto
uuuuuuuur
pues grad( f )( x, y ) = (2 x, 2 y ) y en (0,0) es
uuuuuuuur
grad( f )(0, 0) = (0, 0) . Adems, se observa fcil-
mente que f (0,0) = 0 y dado ( x, y ) (0, 0) siempre
se cumple: f ( x, y) > f (0, 0)

Conclusin. Dada una funcin de la forma f :D n los puntos candidatos a

extremo son los puntos crticos y aquellos otros en los que la funcin no es diferenciable.

3.3.3. Caracterizacin de los puntos crticos.

Una vez que se han detectado los puntos crticos de un campo escalar es necesario averiguar
el carcter de los mismos. Esto es, determinar si son mximos, mnimos o puntos de ensilladura.
Existen, sin embargo, ocasiones en que no es posible decidir este carcter. Para ello se utiliza la
matriz hessiana de la funcin en el punto crtico. El criterio para decidir esta cuestin viene dado
por el siguiente teorema.
r
Teorema. Sea la funcin f :D n , con D abierto, x0 D y f con derivadas
r r
segundas continuas en x0 . Entonces si H ( f )( x0 ) es definida positiva f alcanza un mnimo
r
relativo en x0 y si es definida negativa un mximo relativo.

47
Funciones de varias variables. Extremos (2009).
NOTA. Este teorema es sencillo pero necesita el clculo de los autovalores de la matriz
hessiana. Existe otra versin de este teorema que se basa en el clculo de los determinantes de las
r
submatrices diagonales de H ( f )( x0 ) . Este teorema es el siguiente.
r
Teorema. Sea la funcin f :D n , con D abierto, x0 D un punto crtico y f con
r r
derivadas segundas continuas en x0 . Sean Ak ( x0 ) , con k = 1, 2,..., n los determinantes de las
r
submatrices de H ( f )( x0 ) que se obtienen suprimiendo sus ltimas n k filas y columnas.
Entonces:
r r
a. Si Ak ( x0 ) > 0 , k = 1, 2,..., n , f alcanza un mnimo relativo en x0
r r
b. Si ( 1) n Ak ( x0 ) > 0 , k = 1, 2,..., n , f alcanza un mximo relativo en x0

EJEMPLO: Sea el campo escalar f ( x, y, z ) = x 2 + y 2 + 3z 2 + yz + 2 xz xy . Determinar sus

extremos.
r
1. En primer lugar es necesario obtener sus puntos crticos. Esto es los puntos x0 tales
uuuuuuuur r r
que grad( f )( x0 ) = 0 . En este caso se tiene:
uuuuuuuur r
grad( f )( x ) = (2 x + 2 z y, 2 y + z x, 6 z + y + 2 x)
Los puntos crticos ( x, y, z ) cumplirn
(2 x + 2 z y, 2 y + z x, 6 z + y + 2 x) = (0,0, 0)
Esto es, sern las soluciones del sistema de ecuaciones lineales:
2x y + 2z = 0

x + 2 y + z = 0
2 x + y + 6 z = 0
En este caso el sistema es determinado y homogneo, con lo cual la nica solucin es:
x = 0, y = 0, z = 0
por lo tanto el nico punto crtico es P=(0,0,0). Adems como esta funcin es diferenciable en
todos los puntos el nico candidato a extremo es el punto crtico encontrado.
2. Ahora se establece el carcter del punto crtico mediante la matriz hessiana. En este
caso:
2 1 2 2 1 2
r y por tanto
H ( f )( x ) = 1 2 1 H ( f )( P ) = 1 2 1
2 1 6 2 1 6

Si ahora se examina el valor de los determinantes de las distintas submatrices, para
k = 1, 2,3 , se tiene:
2 1 2
2 1
A1 ( P ) = 2 = 2 , A2 ( P) = = 3 , A3 ( P) = 1 2 1 =4
1 2
2 1 6

48
Funciones de varias variables. Extremos (2009).

Por lo tanto el punto P=(0,0,0) es un mnimo relativo. Adems, por ser el nico
mnimo ser tambin el mnimo absoluto de la funcin.

En el caso de un campo escalar de dos variables de la forma f :D 2 se puede

hacer una versin del teorema anterior que establece, incluso, la condicin de punto de ensilladura.
r
Teorema. Sea f :D 2 , D abierto, x0 D un punto crtico y f con derivadas
r r 2 f r r r
segundas continuas en x0 . Sean adems: A1 ( x0 ) = 2 ( x0 ) y A2 ( x0 ) = H ( f )( x0 ) . Entonces:
x
r r r
1. Si A2 ( x0 ) > 0 y A1 ( x0 ) > 0 , f alcanza un mnimo relativo en x0 .
r r r
2. Si A2 ( x0 ) > 0 y A1 ( x0 ) < 0 , f alcanza un mximo relativo en x0 .
r r
3. Si A2 ( x0 ) < 0 , f tiene un punto de ensilladura en x0 .
r
4. Si A2 ( x0 ) = 0 , no se puede decir nada.

EJEMPLO: Sea el campo escalar de dos variables f ( x, y ) = 2 x 4 + y 4 x 2 2 y 2 encontrar los

extremos de esta funcin.
1. En primer lugar se buscan los puntos crticos de la misma. Adems, teniendo en
2
cuenta que la funcin en diferenciable en todo ( x, y ) , dichos puntos crticos sern los
nicos candidatos a extremo.
uuuuuuuur r r
Los puntos crticos se buscan como los puntos en que: grad( f )( x ) = 0 . En este caso
uuuuuuuur r r
grad( f )( x ) = (8 x3 2 x, 4 y 3 4 y ) = (2 x(4 x 2 1), 4 y ( y 2 1)) = 0
Lo que se traduce en el sistema de ecuaciones:

2 x(4 x 2 1) = 0

4 y ( y 2 1) = 0
Las soluciones de este sistema se obtienen combinando todas las posibilidades de
soluciones de cada una de las dos ecuaciones.
As las races de la primera ecuacin son los valores de x que satisfagan:
1 1
2 x = 0 4 x 2 1 = 0 . Esto es x = 0, x = y x= .
2 2
Las de la segunda los que cumplan:
4 y = 0 y 2 1 = 0 . Esto es: y = 0, y = 1 e y = 1 .
1 1
Por tanto, los puntos crticos son: P1 = (0,0), P2 = (0,1), P3 = (0, 1), P4 = ( ,0) P5 = ( ,1) .
2 2
1 1 1 1
P6 = ( , 1), P7 = ( ,0), P8 = ( ,1), P9 = ( , 1),
2 2 2 2

49
Funciones de varias variables. Extremos (2009).

2. Ahora hay que determinar el carcter de cada uno de los diferentes puntos crticos.
Para ello se utiliza la matriz hessiana. En este caso es:

r 24 x 2
2
0
H ( f )( x ) =
0 12 y 2 4

Ahora se particulariza su valor en cada uno de los puntos crticos. Hay que tener en
cuenta que por las caractersticas de la matriz (elementos cuadrticos) algunos puntos tendrn
la misma matriz Hessiana.
2 0
A) Punto P1 = (0,0), H ( f )(0, 0) = . En este caso A2 = 8 y A1 = 2 , con lo
0 4
cual f (0,0) = 0 es un mximo relativo.

2 0
B) Puntos: P2 = (0,1), P3 = (0, 1). Aqu H ( f )(0,1) = H ( f )(0, 1) = . Con lo
0 8
cual A2 = 16 y f (0,1) = f (0, 1) = 1 es un punto de ensilladura.

1 1 1 1 6 0
C) Puntos P4 = ( ,0) y P7 = ( ,0) . En estos H ( f )( , 0) = H ( f )( , 0) = .
2 2 2 2 0 4
1 1 1
Con lo cual A2 = 24 y f ( , 0) = f ( , 0) = es un punto de ensilladura.
2 2 8
1 1 1 1
D) Puntos: P5 = ( ,1) . P6 = ( , 1), P8 = ( ,1), P9 = ( , 1), En todos estos puntos
2 2 2 2
r 6 0
se cumple H ( f )( x ) = . Por tanto A2 = 48 y A1 = 6 . Por tanto, en todos ellos, f
0 8
1 9
alcanza un mnimo relativo con valor f ( ,1) = .
2 8
Por tanto la funcin tiene: 1 mximo relativo, cuatro mnimos relativos y cuatro puntos
de ensilladura.
Su grfica es:

50