Você está na página 1de 10

Extremosrelativosycondicionados

Objetivos:
Enestaprcticaseextiendenlastcnicasdeestudiodelosvaloresextremosparauna
funcinrealdeunavariableafuncionesdevariasvariables,estudiandotrestiposde
extremos:relativos,absolutosycondicionados.
Calcularlosvaloresextremosrelativos,puntosdesilla,absolutosycondicionadosde
funcionesdevariasvariables.
Otrasaplicaciones:
Usodecomandosparaelclculodemximosymnimos:Jacobian,Hessian,
Determinantyextrema.
Elaboracindeprogramaspararepresentargrficamentefuncionesdevarias
variables.
Grficasdemximosymnimos.

Extremosrelativosypuntosdesilla
Paracalcularlosextremosrelativosdeunafuncinescalarf : =n/=,elprimerpasoes
calcularlospuntoscrticos,esdecir,aquellosqueanulanlasprimerasderivadasparciales.
Elvectordelasprimerasderivadassedenominagradiente,queenestecasocoincideconla
matrizJacobiana.
ConMaple,sepuedecalcularlamatrizjacobianadeunafuncinconelcomandoJacobian.
Paraello,esnecesarioprimerocargarlalibreriaStudent[VectorCalculus].Pormediodel
comandosolveseencuentranlosvaloresdexeyqueanulanelJacobiano.

2 2

Ejemplo:Calcularlospuntoscrticosdelafuncinf x, y = x y
O restart:
O with(Student[VectorCalculus]):
O f := (x, y)->x^2*y^2;
O J:=Jacobian([f(x,y)],[x,y]);
O ptos := solve({J[1, 1] = 0, J[1, 2] = 0}, {x, y});

Paradecidirculesdeestospuntossonposiblesextremos,seevalualasegundaderivadaen
cadaunodeesospuntos.Lamatrizquecontienetodaslassegundasderivadasdeuna
funcinsedenominamatrizHessiana.Dependiendodeltipodematrizresultante,sedecide
qutipodeextremotienelafuncinenesepunto:
Sieldeterminantedelamatrixhessiana(ohessiano)esigualacero,entoncesno
tenemosningunainformacin
Sielhessianoesmenoracero,entonceselpuntoesunpuntodesilla
Sielhessianoesmayoracero,entonceselpuntoesun extremo. Parasabersiesun
mximoounmnimoseestudianlossignosdelassegundasderivadas.
v2
f xc, yc O 0, entonceselpuntoesun mnimo
v x2
v2
f xc, yc ! 0, entonceselpuntoesun mximo
v x2
ConMaple,lamatrizHessianasecalculaconelcomandoHessianquetambinformaparte
delalibreriaStudent[VectorCalculus].Paracalculareldeterminanteseutilizaelcomando
DeterminantdelalibreriaStudent[LinearAlgebra],yparaevaluarlo,elcomandoeval.
Ejemplo:Calcularelhessianoencadaunodelospuntoscrticosdelafuncin
2 2

f x, y = x y ydeterminequtipodeextremoes.
O H := Hessian(f(x, y), [x, y]);
O with(Student[LinearAlgebra]):
O eval(Determinant(H),ptos[1]);
O eval(Determinant(H),ptos[2]);
O eval(Determinant(H),ptos[3]);
Qusepuedededucirapartirdelosresultadosobtenidos?
Representemosgrficamentelafuncinylospuntosparacomprobarlosresultados:
O with(plots):
2

O
O
O
O

F:=plot3d(f(x,y),x=-10..10,y=-10..10):
a1:=spacecurve([x,0,0],x=-10..10,color=blue, thickness=5):
a2:=spacecurve([0,y,0],y=-10..10,color=red, thickness=5):
display3d([F,a1,a2],axes=frame);

ConMapleesrelativamentefcilencontarlosextremos,yaquelainstruccinextremalos
calculadirectamente.Lainstruccinextrema(expr,constraints,vars,s),calculalos
extremosdelafuncinexpr,conlascondicionesdeligaduradefinidasporconstraints.Los
candidatosaextremosopuntoscrticosquedanalmacenadosenlavariables.
O extrema(f(x,y),{},{x,y},'s'):
O s;

Extremosabsolutosenregioneslimitadas
Paraencontrarlosvaloresextremosabsolutosdeunafuncinenunaregincerraday
acotada,esnecesariotenerencuentalospuntosinterioresyfrontera(valoresmximosy
mnimoslocales)yevaluarlafuncinendichospuntos.Finalmente,sedebeescogerel
mximoyelmnimodetodosellos,yaquelosextremosabsolutossontambinmximosy
mnimoslocales.
Ejemplo:Obtenerlosvaloresmximosymnimosabsolutosde:
2

f x, y = 2 C2x C2y Kx Ky ,enlaregintriangularacotadaporlasrectasx = 0,y = 0,y = 9


Kx

Grficadelafuncinylareginacotada:
O
O
O
O

restart:
with(plots):
f:=(x,y)->2+2*x+2*y-x^2-y^2;
FF:=plot3d(f(x,y),x=-0.5..9.5,y=-0.5..9.5,axes=frame,
transparency=0.5):
O c1 := spacecurve([x, 0, 0], x = 0 .. 9, color = blue,
thickness = 5):
O c2 := spacecurve([0, y, 0], y = 0 .. 9, color = blue,
thickness = 5):
O c3 := spacecurve([x, 9-x, 0], x = 0 .. 9, color = blue,
3

O
O
O
O

thickness = 5):
cc1 := spacecurve([x, 0, f(x, 0)], x = 0 .. 9, color = red,
thickness = 5):
cc2 := spacecurve([0, y, f(0, y)], y = 0 .. 9, color = red,
thickness = 5):
cc3 := spacecurve([x, 9-x, f(x, 9-x)], x = 0 .. 9, color =
red, thickness = 5):
display3d([FF,c1,c2,c3,cc1,cc2,cc3], axes = normal);

Puntosinteriores:
Primerosecalculanlospuntosextremosinterioresdeigualformacomoenlosextremos
relativos.
O
O
O
O
O
O

with(Student[VectorCalculus]):
J:=Jacobian([f(x,y)],[x,y]);
ptos:=solve({J[1,1]=0, J[1,2]=0}, {x,y});
H := Hessian(f(x, y), [x, y]);
with(Student[LinearAlgebra]):
eval(Determinant(H), ptos);

Se guarda el punto crtico obtenido en el vector PtosCrit:


O PtosCrit[1]:=subs([ptos[1],ptos[2]],[x,y,f(x, y)]);
Culessonlospuntoscrticosobtenidos?

Puntosfrontera:
Setomaunladoalavezdelaregintringularqueacotalafuncin:
Lado OA: Seevaluaf x, y enlarectay = 0,ysebuscanlospuntoscrticosall
O f1:= x->f(x,0);
O ptos:=solve(diff(f1(x),x)=0,x);
Guardamoslospuntoscrticosencontradosmslosdefronteradenuevoenelvector
PtosCrit.Enestecaso,elnuevopuntoesel 1, 0 cuyaimagenes3,mientrasquelos
valoresfronterason 0, 0 y 9, 0 .
O PtosCrit[2]:=[ptos,0,f(ptos,0)];
O PtosCrit[3]:=[0,0,f(0,0)];
4

O PtosCrit[4]:=[9,0,f(9,0)];

Lado OB: Seevaluaf x, y enlarectax = 0,ysebuscanlospuntoscrticosall


O f2:= x->f(0,y);
O ptos:=solve(diff(f2(y),y)=0,y);
Guardamos los puntos crticos encontrados ms los de frontera (el punto (0,0,2) ya est guardado
del paso anterior)
O PtosCrit[5]:=[0,ptos,f(0,ptos)];
O PtosCrit[6]:=[0,9,f(0,9)];

Lado AB: Seevaluaf x, y enlarectay = 9 Kx,ysebuscanlospuntoscrticosall


O f3:= x->f(x,9-x);
O ptos:=solve(diff(f3(x),x)=0,x);
Guardamos los puntos crticos encontrados ms los de frontera (los puntos (0,9,-61) y (9,0,-61) ya
estn guardados de los pasos anteriores)
O PtosCrit[7]:=[ptos,9-ptos,f(ptos,9-ptos)];

Teniendo en cuenta todos los puntos crticos encontrados, se observa que elmximoes4,yf x, y
loasumeen(1,1).Elmnimoes61,yf x, y loasumeen(0,9)y(9,0).
O seq(PtosCrit[i], i = 1 .. 7);

Serepresentagrficamentelafuncin,lareginacotadaylospuntosparacomprobarlos
resultados:
O pp:=pointplot3d({seq(PtosCrit[i], i = 1 .. 7)}, symbol =
solidcircle, color = blue,symbolsize=30):
O display3d([FF,cc1,cc2,cc3,pp], axes = normal);

ExtremoscondicionadosMultiplicadoresdeLagrange
Algunasvecesesnecesarioobtenerlosvaloresextremosdeunafuncinz = f x, y cuyo
5

dominioestrestringidoacierto subconjunto particular del plano. Elmtodode los


multiplicadoresdeLagrangereduceelproblemarestringidoaunosinrestriccionescuyas
ecuacionespuedenserresueltasmsfcilmente.Deunespaciooriginaldenvariablespasa
aunoden C1variables.Estasnuevasvariablesescalaresdesconocidas,unaparacada
restriccin,sonllamadasmultiplicadoresdeLagrange.Elmtododicequebuscarlos
extremoscondicionadosdeunafuncinconunnmerodeterminadorestricciones,por
ejemplok,serequivalenteabuscarlosextremossinrestriccionesdeunanuevafuncin
construidacomounacombinacinlinealdelafuncinylasrestricciones,dondelos
coeficientesdelasrestriccionessonlosmultiplicadores.Paraencontrarestosvaloresde
f x, y, z ,cuyasvariablesestnsujetasalarestriccing x, y, z = 0,sobrelasuperficieg = 0,
seencuentranlospuntosdonde:Vf = Vgparaalgnescalar(llamadomultiplicadorde
Lagrange).
Ahorabien,suponiendoque f x, y, z , g x, y, z = 0,sonderivablesyqueVg = 0cuando
g x, y, z = 0.Losvaloresmximosymnimosdefsujetaalarestriccing x, y, z = 0,se
determinanapartirdeobtenerlosvaloresx, y, zyquesatisfaganenformasimultnealas
ecuaciones:Vf = Vgyg x, y, z = 0.Encasodefuncionesdedosvariablesindependientes,
lacondicinessimilar,perosinlavariablez.
Deformamsprecisa,dadoelproblemadeextremoscondicionados
extremarf x, y sujetoalacondicing x, y = 0
laregladeclculopararesolveresteproblemaes:
Paso1.Definirlafuncin x, y, = f x, y K g x, y .
Paso2.ResolverV = 0,enfuncindex, yy.
Paso3.Enlosvaloresqueresuelvenelpaso2,evaluarf.Losdemayorimagenporfsern
posiblesmximoscondicionados,ylosdemenorimagenporfsernposiblesmnimos
condicionados.
2

Ejemplo:Encontrarelmximoyelmnimodelafuncinf x, y = x C4y bajolacondicin


2

x C2y = 1aplicandoelmtododelosmultiplicadoresdeLagrange.Paralograrlo,primero
seseguiranlospasosnecesariosparalaresolucinamano,utilizandoelcomandoJacobian
yHessian,parafinalmenteresolverloycompararlasrespuestasobtenidasutilizandola
instruccinextrema.
O
O
O
O
O

restart:
with(plots):
f:=(x,y)->x^2+4*y^3;
g:=(x,y)->x^2+2*y^2-1;
F:=plot3d(f(x,y),x=-1.1..1.1,y=-1.1..1.1,color="Red",
6

O
O
O
O

transparency=0.6):
G:=plot3d(g(x,y),x=-1.1..1.1,y=-1.1..1.1,color=blue,
transparency=0.6):
a1 := spacecurve([cos(t), sin(t)/sqrt(2), 0], t = 0 .. 2*Pi,
color = blue, thickness = 4):
a2 := spacecurve([cos(t), sin(t)/sqrt(2), f(cos(t), sin(t)
/sqrt(2))], t = 0 .. 2*Pi, color = red, thickness = 4):
display3d([F,a2], axes = frame, orientation = [-30, 80]);

Acontinuacin,seconstruyelafuncinauxiliarysebuscanlospuntoscrticosutilizandola
libreriaStudent[VectorCalculus],dondeseencuentranloscomandos:Jacobian,Hessiany
extrema.
O
O
O
O

with(Student[VectorCalculus]):
phi := f(x,y)+lambda*g(x,y);
J := Jacobian([phi], [x, y, lambda]);
sol := solve({J[1, 1] = 0, J[1, 2] = 0, J[1, 3] = 0},
{lambda, x, y});
O sol := seq(allvalues(sol[i]), i = 1 .. 4);

Alagrficaobtenidaanteriormenteseaadenlospuntoscrticos:
O for i to 6 do p[i] := subs(sol[i], [x, y, f(x, y)]) end do;
O a3 := pointplot3d({seq(p[i], i = 1 .. 6)}, symbol = box,
color = black):
O display3d([a3,F,a2], axes = frame, orientation = [Student
[VectorCalculus][`-`](30), 80]);
O display3d([a2, F], axes = frame, orientation = [-30, 80]);
O H:=Hessian(phi, [x, y, lambda]);
O with(Student[LinearAlgebra]):
O for i from 1 to 6 do q[i]:=eval(Determinant(H),sol[i])od;

Porltimosecalculaelvalordelafuncinenlospuntoscrticosutilizandoelcomando
extrema.Observequeconsolounalneaseobtienenlosextremos:

O extrema(f(x,y),g(x,y),{x,y},'s');
7

O s;

Ejerciciosdeautoavaluacin
Ejerciciopropuesto1:Calcularlospuntosdelasuperficiex2 C y2 = z C2queseencuentran
mscercanosalorigen.
Observacin:Lafuncindistancia(eucldea)alorigenen=3es:d =

x2 Cy2 Cz2

Pararesolveresteejercicioprimerosedebedecidirqufuncineslaqueseextremayqu
funcineslaligadura.
O restart:
O with(plots):
O f:=(x,y,z)->sqrt(x^2+y^2+z^2);
O g:=(x,y,z)->x^2+y^2-z-2;

Unavezdeterminadaslasdosfunciones,vamosarepresentargrficamentelafuncin
ligadura:
O G:=implicitplot3d(g(x,y,z),x=-3..3,y=-3..3,z=-3..1,color=
blue,transparency=0.9,numpoints=20000):
O display3d(G,axes=normal,orientation=[-30,80]);

Utilizandodirectamenteelcomandoextrema,seobtienenlosvaloresextremos:
O extrema(f(x,y,z),g(x,y,z),{x,y,z},'s');
O s;

Segraficansobrelacurvaanterior:
O for i from 1 to 5 do p[i]:=subs(s[i],[x,y,z]) end do;
O a := pointplot3d({p[1], p[4], p[5]}, symbol = box, color =
red):
O cur1 := plot3d(p[2], x = -sqrt(6)/2 .. sqrt(6)/2, y = 0 ..
8

sqrt(6)/2, color = red, thickness = 4,numpoints=2000):


O cur2 := plot3d(p[3], x = -sqrt(6)/2 .. sqrt(6)/2, y = -sqrt
(6)/2..0, color = red, thickness = 4):
O display3d([a, cur1, cur2, G], axes = normal, orientation =
[-30, 80]);

Ejerciciopropuesto2:
Paralafuncin x, y = x K3

C y2calcularlosextremosrelativosyabsolutos.

NuevamenteutilizandolosmultiplicadoresdeLagrangeyelcomandoextrema.
O restart:
O with(plots):
O with(LinearAlgebra):
O f:=(x,y)->(x-3)^(2)+y^(2);
O plot3d(f(x, y), x = -10 .. 16, y = -10 .. 10, axes = normal);

Usandoextrema:
O extrema(f(x, y),{}, {x, y}, 's');
O s;

Paradecidirculesdeestospuntossonextremosrelativosdef x, y ,seevalalamatriz
hessianaendichospuntosyseanalizaelsigno:
O
O
O
O

with(VectorCalculus):
J:=Jacobian([f(x,y)],[x,y]);
solve({J[1,1]=0,J[1,2]=0},{x,y});
Hessian(f(x,y),[x,y]);

Modificandoelproblemaanteriorparaencontrarlosmximosylosmnimosquese
encuentrandentrodelconjuntodelplanoA = x, y 2 =2 x2 Cy2 = 2 .Losextremosque
encuentrenenAsedenominanextremosabsolutos.Esdecir,dentrodeAnoexistirningn
otrovalorconimagenmayoraladelmximonimenoraladelmnimoabsoluto.
O plot3d(x^2+y^2, x = -2 .. 2, y = -2 .. 2, axes = normal):
9

Ejerciciopropuesto3:Calcularlosvaloresextremoslocalesdelafuncin
f x, y = 3 y2 K2 y3 K3 x2 C6 xy,observequelafuncintieneunpuntodesillaenel
origen.
Exerciciospropuestoscomplementarios

Ejerciciopropuesto4:Pararesolverproblemasdevaloresextremosconrestricciones
algebraicassobrelasvariablesserequiereporlogeneraldelmtodode
multiplicadoresdeLagrange.Sinembargoenalgunasocasiones,esposibleresolver
estosproblemasdemaneradirecta,comoenelsiguienteproblema:
Unacompaademensajerasloaceptacajasrectangularesenlasquelasumadesu
largoysucircunferencia(permetrodeunaseccintransversal)noexceda180cm.
Determinarlasdimensionesdeunacajaaceptableconelvolumenmximo.
Observacin:Tenerencuentaquex, y, z,definan,ellargo,anchoylaalturadelacaja
respectivamente.ElvolumendelacajaesV = xyzconlacondicinx C2 y C2 z = 108(la
cajamsgrandequeaceptalacompaademensajera).
V = xyz
x = 108 K2 y K2 z
V y, z = 108 K2 y K2 z yz
V y, z = 108 yzK2 y2z K2 yz2
Ejerciciopropuesto5:Encontrarlosvaloresextremosdef x, y = xysujetosala
restriccing x, y =

x2
y2
C
K1 = 0
8
2

10

Você também pode gostar