Professional Documents
Culture Documents
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
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);
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)];
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
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
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