MximosyMnimosenFuncionesMultivariables

MatemticaIII Ciclo 02 /2017

Ing.JosMaraVelsquez
Ing.DanielAugustoSosa

MximosyMnimosSinRestriccin
Para que una funcin de la forma z = f ( x, y ) existan valores extremos se requiere como condicin necesaria que todas sus
primerasderivadasparcialessehaganceroendichospuntos

f
x = 0 x = a
CondicinNecesaria: ;resolviendoseobtieneque (ysepuedentenermssoluciones)
f = 0 y = b
y

Lacondicinsuficienteparadeterminarlosvaloresextremossebasaenundeterminantedesegundasderivadasparciales,elcuales
conocidoconelnombredeHessiano, en honor al matemtico aleman Otto Hess (1811-1874) y denotado por H

f xx f xy
=H = = f xx f yy f xy2 x = a , y =b
f xy f yy
Si > 0 y f xx f yy > 0 entoncesexisteunmnimolocalenelpuntocrtico ( a, b )
Si > 0 y f xx f yy < 0 entoncesexisteunmximolocalenelpuntocrtico ( a, b )
Si < 0 elpuntocrtico ( a , b ) esunpuntodesilla(Noesnimximonimnimo)
Si = 0 fallaelcriterioydebedeinvestigarseenelcontornode ( a , b ) :
Sesustituirenlafuncinoriginalunpuntocercanoa ( a , b ) paraobtenerunaimagenen:
Si f ( a, b ) > f ( a + h, b + k ) entoncesserunmximolocal;endonde h y k sonpequeosincrementos
Si f ( a, b ) < f ( a + h, b + k ) entoncesserunmnimolocal;endonde h y k sonpequeosincrementos

Para que una funcin de la forma w = f ( x1 , x2 , x3 , x4 ,...) existan valores extremos se requiere como condicin necesaria que
todassusprimerasderivadasparcialessehagancero:

f
x =0
1
f
x =0
2
* * * *

CondicinNecesaria: f ;resolviendoseobtieneque x1 , x2 , x3 , x4 ,... ,teniendololospuntoscrticos.
x =0
3
f
x =0
4

Lacondicinsuficienteparadeterminarlosvaloresextremossebasaenundeterminantedesegundasderivadasparciales,elcuales
conocidoconelnombredeHessiano

f x1x1 f x1x2 f x1x3 f x1xn

f x2 x1 f x2 x2 f x2 x3 f x2 xn
n = H n = f x3 x1 f x3 x2 f x3 x3 f x3 xn ,endondedepodrnobtenerdistintosvaloresde n as:

f xn x1 f xn x2 f xn x3 f xn xn

Pgina1de2

1 = f x1x1
Endonde,si:
f x1x1 f x1x2 * * * *
2 = Ser un Mximo en x1 , x2 , x3 , x4 ,... , si
f x2 x1 f x2 x2
1 < 0, 2 > 0, 3 < 0, 4 > 0, 5 < 0
f x1x1 f x1x2 f x1x3

3 = f x2 x1 f x2 x2 f x2 x3 * * * *
Ser un Mnimo en x1 , x2 , x3 , x4 ,... , si
f x3 x1 f x3 x2 f x3 x3
1 > 0, 2 > 0, 3 > 0, 4 > 0, 5 > 0

f x1x1 f x1x2 f x1x3 f x1xn
f x2 x1 f x2 x2 f x2 x3 f x2 xn Si no se cumplen las combinaciones de signos
anteriores, habra que investigar en el contorno del
n = f x3 x1 f x3 x2 f x3 x3 f x3 xn puntocrtico.

f xn x1 f xn x2 f xn x3 f xn xn

MximosyMnimosSujetosaRestricciones

Cuando se quiera optimizar la funcin z = f ( x, y ) pero simultneamente se requiere que se cumpla que los puntos ptimos
deben satisfacer otra funcin restrictiva con ecuacin g ( x, y ) = 0 , entonces la funcin objetivo f ( x, y ) u la restriccin
g ( x, y ) = 0 ,secombinanenformaconjuntaapartirdeunaconstanteconocidacomo:MultiplicadordeLagrange ( ) .

Sedeberformularunanuevafuncinobjetivo F ,lacualquedardefinidacomo F = f ( x, y ) g ( x, y ) .
Lascondicionesnecesariasparaqueexistanmximosomnimosrestringidosson:

Quelasprimerasderivadasparcialesdelanuevafuncinobjetivodebendeserceroenlospuntosptimos:
Fx = f x g x = 0 x = x0

CondicinNecesaria: Fy = f y g y = 0 ,alresolverobtenemos y = y0

F = g = 0

CondicinSuficiente:
* *
FormamosunarreglomatricialdenominadoHessianoCoronadoHessianoOrlado,elcualsedenotapor H o .

Engeneral,silafuncinaoptimizardependede n variables,elHessianoOrladoseconformadelasiguientemanera:

0 g x1 g x2 g x3 g xn
g x1 Fx1x1 Fx1x2 Fx1x3 Fx1xn
* g x2 Fx2 x1 Fx2 x2 Fx2 x3 Fx2 xn
H=
g x3 Fx3 x1 Fx3 x2 Fx3 x3 Fx3 xn

g xn Fxn x1 Fxn x2 Fxn x3 Fxn xn

Paraunafuncindelaforma F = f ( x, y ) g ( x, y ) ,elHessianoOrladoquedaraformadocomo:

0 gx gy
*
H = gx Fxx Fxy
gy Fyx Fyy

DelHessianoOrladoseanalizanlosdeterminantesapartirde 3 siendo:
SerunMximoRestringido,cuandosetieneque: 3 > 0, 4 < 0, 5 > 0
SerunMnimoRestringido,cuandosetieneque: 3 < 0, 4 < 0, 5 < 0
EnlosMximosyMnimosconrestriccinnohaypuntosdesilla.

Pgina2de2