Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Captulo 6
6.1 MXIMOS Y M INIMOS Anlogamente al clculo en una variable, los extremos locales de una funcin de varias variables son puntos donde la funcin alcanza un mximo o un mnimo en un pequeo entorno de este punto. Si la funcin est denida en una regin R, los extremos globales son los puntos donde la funcin toma valores mximos o mnimos, en cualquier parte de la regin en consideracin. En esta seccin estudiaremos el caso de funciones en dos variables. Una de las aplicaciones ms tiles de las derivadas parciales es al clculo de valores extremos, como estudiaremos en seguida. Denicin 6.1 (Extremos locales) Una funcin de dos variables f : H R2 R tiene un mximo local en (a, b) D si f (x, y) f (a, b) para todos los puntos (x, y) en algn entorno con centro (a, b). El nmero f (a, b) se llama valor mximo local. Si f (x, y) f (a, b) para todo punto (x, y) en dicho entorno, entonces f (a, b) es un mnimo local.
Observacin: Si las desigualdades de la denicin anterior se cumplen para todos los puntos (x, y) en el dominio de f , entonces f tiene un mximo absoluto (o mnimo absoluto) en (a, b) .
Clculo Superior. Walter Mora F., Geovanni Figueroa M. Derechos Reservados c 2009 Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr)
Mnimo local
Figura 6.1 Mximos y mnimos
Observe que si z = f (x, y) es una funcin de dos variables y tiene un extremo en el punto P = (a, b) entonces el plano tangente a la supercie en el punto P es paralelo al plano xy (gura 6.1), esto quiere decir que cualquiera de sus vectores normales es paralelo al vector = (0, 0, 1) y puesto que, en este caso, un vector normal del plano tangente es u = n f (P) f (P) , ,1 x y
f (P) x f (P) y
= =
0 0
Teorema 6.1 (Condicin necesaria para extremos) Sea f : D R2 R una funcin derivable tal que en P = (a, b) D, f tiene un extremo local (mximo o mnimo), entonces
MXIMOS Y MNIMOS I
f (P) x f (P) y
= =
0 0
Los puntos P en donde f (P) = 0 se conocen como puntos crticos. Denicin 6.2 (Puntos crticos) Si f : D R2 R y P = (a, b) D , entonces si f (P) = 0 o f (P) no existe, decimos que P es un punto crtico o punto estacionario.
Observacin: El teorema anterior establece que si f tiene un extremo local en (a, b) entonces (a, b) es un punto crtico de f . Y al igual que sucede en una variable, no todos los puntos crticos son extremos locales.
EJEMPLO 6.1
Sea f (x, y) = 6xy 2x2 y 3xy2 . Calcule los puntos crticos de f . Solucin. Igualando el gradiente a cero obtenemos el siguiente sistema
f x f y = = 6y 4xy 3y2 6x 2x2 6xy = = 0 0 (1) (2)
entonces 6 4x 3
y=0
y=
y = 0 = 6x x2 = 0 = x = 0
x=3
Y as (0, 0), (3, 0) son puntos crticos. Por otro lado, si y = 6 4x al sustituir en la ecuacin (2) tenemos que 3 6 4x = 6x2 6x = 0 = x = 0 3 x=1
y=
Y as (0, 2), 1,
2 3
EJEMPLO 6.2
Encontrar y analizar los puntos crticos de la funcin f (x, y) = x2 2x + y2 4y + 7. Solucin. Para hallar los puntos crticos necesitamos resolver el siguiente sistema de ecuaciones lineales 2x 2 2y 4
= = 0 0
Despejando obtenemos que en (1, 2), f tiene un punto crtico. Para analizar el comportamiento de f cerca de este punto podemos construir una tabla de valores como la siguiente
x 0.8 0.9 1.0 1.1 1.2 y 1.8 2.08 2.05 2.04 2.05 2.08 1.9 2.05 2.02 2.01 2.02 2.05 2.0 2.04 2.01 2 2.01 2.04 2.1 2.05 2.02 2.01 2.02 2.05 2.2 2.08 2.05 2.04 2.05 2.08
MXIMOS Y MNIMOS I
Esta tabla nos sugiere que en el punto (1, 2), f alcanza un mnimo local pues en los puntos de prueba, f (1, 2) = 2 esta siempre por debajo de los otros valores. Se puede vericar esto completando cuadrados f (x, y) = x2 2x + y2 4y + 7 = (x 1)2 + (y 2)2 + 2
Con lo cual la grca de f (x, y) es un paraboloide con vrtice en (1, 2, 2) , como se muestra en la gura 6.2 siguiente.
Una vez encontrados los puntos crticos, necesitamos de un criterio que nos permita clasicarlos como mximos, mnimos o puntos de silla, con este propsito se enuncia el siguiente teorema.
Teorema 6.2 Suponga que f : R R2 R derivadas parciales de segundo orden continuas en un entorno con centro en P = (a, b). Si fx (a, b) = 0 y fy (a, b) = 0 (es decir, P es un punto crtico de f ), entonces si
2 H(x, y) = fxx (x, y) fyy (x, y) fxy (x, y),
Si H(a, b) > 0 y fxx (a, b) > 0 , entonces f (a, b) es un mnimo local. Si H(a, b) > 0 y fxx (a, b) < 0 , entonces f (a, b) es un mximo local. Si H(a, b) < 0 , entonces f (a, b) no es un extremo.
Z 1 X
D(x, y) =
Observacin: Cuando H(a, b) < 0 decimos que (a, b) es un punto de silla. Si H(a, b) = 0, el teorema no proporciona ninguna informacin; la funcin podra tener un mximo, un mnimo o un punto de silla en el punto (a, b) . Para poder clasicarlo necesitamos aplicar otro criterio. Este teorema solo da condiciones sucientes, esto quiere decir que un punto en el cual el criterio falle, no decide; podra existir un extremo local.
EJEMPLO 6.3
Clasique los puntos crticos de la funcin f (x, y) = 6xy 2x2 y 3xy2 Solucin. En el ejemplo 1, calculamos los puntos crticos 2 3
(0, 0), (0, 2), (3, 0), La funcin H est dada por
1,
H(x, y) = 24xy + 4x + 6y 6
Evaluando en cada punto tenemos H(0, 0) = 6, con lo cual el punto (0, 0) es un punto de silla. H(0, 2) = 6 y fxx (0, 0) = 8, entonces f (0, 2) = 0 es un mximo local. H(3, 0) = 6 y fxx (3, 0) = 0, entonces el criterio no decide. 2 2 H(1, ) = 18 y fxx 2, 3 3 8 2 = , entonces f 1, 3 3 = 4 es un mximo local. 3
MXIMOS Y MNIMOS I
En la gura 6.4 se muestra la grca de la funcin f (x, y) , observe que la grca tiene la forma de una silla de montar; de aqu el nombre de punto silla para el punto (0, 0) .
Z
EJEMPLO 6.4
Calcule y clasique los puntos crticos de la funcin f (x, y) = x4 + y4 2x2 + 4xy 2y2 . Solucin. Primero calculamos los puntos crticos
fx fy
= 4x3 + 4y 4x = 0 = 4y3 4y + 4x = 0
(1) (2)
Sumando miembro a miembro obtenemos x3 + y3 = (x + y)(x2 xy + y2 ) = 0 = x = y. Note que (x2 xy + y2 ) = 0 si x, y R {0} pues si x2 xy + y2 = 0 = x = y y2 4y2 , es decir el discriminante es < 0 excepto si y = 0. 2 Sustituyendo en la ecuacin (1) queda 4x3 4x 4x = 0 = x(x2 2) = 0 con lo cual obtenemos los puntos crticos (0, 0), ( 2, 2), ( 2, 2)
Observe que si al sustituir en las ecuaciones (1) y (2) obtenemos identidades, entonces tendramos innitas soluciones. Aqu este no es el caso.
La funcin D est dada por H(x, y) = (12x2 4)(12y2 4) (4)2 Evaluando en cada punto tenemos H(0, 0) = 0, el criterio no proporciona informacin aunque la grca (6.5) nos indica que se trata de un punto de silla.
Y
H( = 384 > 0, y 2, 2) fxx ( 2, 2) = 20 > 0, con lo que f alcanza un mnimo local en ( 2, 2). H( = 384 > 0, y 2, 2) fxx ( 2, 2) = 20 > 0, con lo que f alcanza un mnimo local en ( 2, 2).
Figura 6.5
2y2 .
EJEMPLO 6.5
Calcule y clasique los puntos crticos de la funcin f (x, y) = x2 . Solucin. Primero calculamos los puntos crticos
fx fy
= 2x = 0 = 0=0
(1) (2)
El sistema tiene innitas soluciones de la forma (0, y). As que tenemos un nmero innito de puntos crticos. La funcin H est dada por H(x, y) = (2)(0) (0)2 = 0 as que este criterio no da informacin aunque, de acuerdo a la grca (6.6), se trata de puntos donde f alcanza mnimos locales.
MXIMOS Y MNIMOS I
Figura 6.6
f (x, y) = x2 .
En el siguiente ejemplo vamos a usar el hecho de que si g(x, y) no se anula, g(x, y) tienen los mismos puntos crticos (porqu?).
g(x, y) y
EJEMPLO 6.6
Todo punto que esta sobre el paraboloide es de la forma Q = (x, y, x2 + y2 + 2) , entonces su distancia al punto (2, 2, 1) est dada por
d(P, Q) =
10
as que basta con encontrar los puntos crticos de d(P, Q) = (x 2)2 + (y 2)2 + (x2 + y2 )2 .
d d x d y
Restando miembro a miembro las ecuaciones (2) y (3) obtenemos 2x 2y + (x2 + y2 )(4x 4y) = 0 = (x y)(1 + 2(x2 + y2 )) = 0 = x y = 0, es decir x = y. En este caso, la geometra del problema nos indica que no hay un nmero innito de soluciones, sino una sola solucin. Podemos encontrar esta nica solucin sustituyendo en cualquiera de las ecuaciones (2) o (3); obtenemos
4x3 + x 2 = 0
y al resolverla obtenemos que x = 0.689... . Y as, el punto que buscamos es (0.689..., 0.689..., 2.475...). Observe que en este caso no es necesario usar el criterio de clasicacin, claramente el punto que encontramos se trata de un mnimo.
EJEMPLO 6.7
Calcule el volumen de la caja rectangular ms grande que est en el primer octante con tres de sus caras en los planos coordenados y un vrtice en el plano x + 2y + 3z = 6 . Solucin. La caja rectangular es como la que se muestra en la gura 6.7 siguiente.
MXIMOS Y MNIMOS I
11
2 y como vimos en el ejemplo 1, el volumen es mximo cuando x = 2, y = 1 y z = , las 3 4 cuales son las dimensiones de la caja. Por otro lado, el volumen mximo es de . 3
EJEMPLO 6.8
Sea z = xy +
a b + la ecuacin de una supercie (con a y b constantes). Si P = (1, 2) es x y un punto crtico de z, determine si en P la funcin alcanza un mximo relativo, un mnimo relativo o un punto de silla.
Solucin. Como P = (1, 2) es punto crtico, las derivadas parciales de z se anulan en P, es decir z x = 0
(1,2)
a x2
(1,2)
= 0 = = 0
a 2 2 1 1 b 22
b x 2 y
(1,2)
Ahora, H(x, y) =
2b y3
12 =
4 x3
8 y3
1.
H(1, 2) = 3 y zxx (1, 2) = 4 > 0. Luego, en el punto P = (2, 1) z alcanza un mnimo relativo.
EJEMPLO 6.9
Z 6 X
= 0 = = 0
12
Calcular y clasicar los puntos crticos de z = 4x2 xy + y2 . Solucin. Puntos crticos: resolvemos el sistema zx = zy = 8x y = 0 = 8x = y = 16y = y = y = 0 x + 2y = 0 = 2y = x
as, el nico punto crtico es P = (0, 0, 0). Test: zxx = 8 zyy = 2 zyx = 1 H(P) = 8 2 (1)2 = 15 > 0 y puesto que zxx = 8 > 0, entonces P=(0,0,0) es un mnimo relativo.
EJEMPLO 6.10
2 y2
Z
1
1 2
Solucin.
Puntos crticos:
MXIMOS Y MNIMOS I
13
El sistema es
Simplicando queda
como ex
2 y2
caso 1.) 2x = 0 y 2y = 0. Entonces x = 0 y y = 0. caso 2.) 2x = 0 y (1 + x2 y2 ) = 0 . Entonces x = 0 y y = 1 caso 3.) 2y = 0 y (1 x2 + y2 ) = 0. Entonces y = 0 y x = 1 caso 4.) (1 x2 + y2 ) = 0 y (1 + x2 y2 ) = 0 . Este caso es inconsistente pues quedara
x 2 y2 = 1
x2 y2 = 1
Test: Calculamos H(P) y evaluamos cada uno de los 5 puntos. zxx = 2ex zyy = 2ex
2 y2
2 y2
zxy = 4xyex
2 y2
Luego tenemos:
14
Para P = (0, 0, 0), H(P) = 4 . P es un punto de silla. Para (0, 1, 1/e), H(P) = 2.165 > 0 zxx = 1.47 < 0 . Se trata de un mnimo relativo. Para (0, 1, 1/e), H(P) = 2.165 > 0 zxx = 1.47 < 0 . Se trata de un mnimo relativo. Para (1, 0, 1/e), H(P) = 2.165 > 0 zxx = 1.47 < 0 . Se trata de un mximo relativo. Para (1, 0, 1/e), H(P) = 2.165 > 0 zxx = 1.47 < 0 . Se trata de un mximo relativo.
EJEMPLO 6.11
Cuales deben ser las dimensiones de un envase para leche de forma rectangular, volumen de 512 cm3 y costo mnimo, si el material de los lados de la caja cuestan 10 colones el centmetro cuadrado y el material de la tapa y el fondo cuestan 20 colones el centmetro cuadrado. Solucin. Suponga que las dimensiones de la caja son x cm de ancho, y cms de largo y z cms de alto, entonces su volumen es : 512 xy
512 = xyz = z =
Por otro lado, el costo total esta dado por c(x, y, z) = 20xz + 20yz + 40xy De donde obtenemos que c(x, y) = 10240 10240 + + 40xy x y
= =
40y 40y
= =
0 0
EJERCICIOS
15
Y resolviendo obtenemos que x = 1 o y = 256 . Para comprobar que se trata de un mnimo aplicamos el criterio de la segunda derivada
cxx H(x, y)
= =
20480 x3 204802 40 x 3 y3
= =
Con lo cual las dimensiones de la caja con costo mnimo son x = 1, y = 256 y z = 2 .
EJERCICIOS 6.1 Si z = x2 + 5y2 6x + 10y + 15, encuentre y clasique los puntos crticos de z.
Respuesta: (3, 1, 1) es un mnimo relativo. 6.2 Si z = x3 + y3 , encuentre y clasique los puntos crticos de z.
Respuesta: (0, 0) no es un extremo. 6.3 Si z = x3 + y3 3xy, encuentre y clasique los puntos crticos de z.
Respuesta: (0, 0) no es un extremo, (1, 1) es un mnimo. 6.4 Para las siguientes funciones, calcule los puntos crticos y clasifquelos. a) f (x, y) = x4 + y4 4xy + 1 b) f (x, y) = (x y)2 + y2 + (6 x 2y)2 12xy x2 y2 c) f (x, y) = 2(x + y) 2 2 d) f (x, y) = xyex y e) f (x, y) = ex cos y
6.5 Encuentre los puntos P de la supercie de ecuacin x2 y2 = z + 1, que estn ms cercanos al origen. 6.6 Encuentre el volumen de la mxima caja, de base rectngular, que tenga tres caras en los planos x = 0, y = 0, z = 0, en el primer octante, y un vrtice en el plano x + 2y + 3z = 6 (haga un dibujo).
16
x y z 6.7 Resuelva el ejercicio anterior si el plano tiene ecuacin + + = 1, con a, b, c a b c nmeros positivos. 6.8 Encuentre las dimensiones da la caja rectngular de mximo volumen, si el rea de su supercie total debe ser de 64cm2 6.2 EXTREMOS CON RESTRICCIONES: MULTIPLICADORES DE LAGRANGE
Supngase que queremos hallar los mximos y los mnimos relativos de z = f (x, y) sujeto a la restriccin g(x, y) = 0. Esto signica que la funcin f (x, y) solo podr ser evaluada en los puntos (x, y) que estn en la curva de nivel g(x, y) = 0, es decir f (x, y) est restringida (o sujeta) a g(x, y) = 0. Una manera de resolver este problema se puede obtener con un anlisis geomtrico de la situacin: si dibujamos las curvas de nivel de z, o sea las curvas f (x, y) = k, los puntos (x, y) que cumplen la restriccin son los puntos de interseccin entre estas curvas de nivel y la curva de nivel g(x, y) = 0. Desplazndose sobre las curvas f (x, y) = k, en la direccin en que z crece, se puede detectar el ms grande valor de z restringida a g(x, y) = 0. Si la curva de nivel de z donde se alcanza el mximo valor, interseca a g(x, y) = 0 en P = (a, b) entonces en P, estas dos curvas son tangentes (siempre y cuando el punto P no sea un punto terminal de g).
P g(x,y) = 0
g(x,y) = 0
P
Figura 6.9
De manera similar, Desplazndose sobre las curvas f (x, y) = k, en la direccin en que z decrece, se puede detectar el ms pequeo valor de z restringida a g(x, y) = 0. Si la curva de nivel de z donde se alcanza el mnimo valor interseca a g(x, y) = 0 en P = (a, b) entonces en P estas dos curvas son tangentes (siempre y cuando el punto P no sea un punto terminal de g). Formalmente, si P = (a, b, c) es un punto crtico de z = f (x, y) restringida a la curva g(x, y) = 0, entonces la curva de nivel f (x, y) = c es tangente a la curva g(x, y) = 0 en el punto (a, b) y, por lo tanto el vector g(a, b) es paralelo al vector z(P), es decir
17
z(P) = g(P) o lo que es lo mismo, z(P) g(P) = 0 Por lo tanto, los extremos de z = f (x, y) restringida a g(x, y) = 0 son los extremos de la funcin
L(x, y, ) = f (x, y) g(x, y) A se le llama multiplicador ( de Lagrange). Para que P sea un extremo de f sujeto a la condicin g(x, y) = 0 es necesario que se cumpla z(P) = g(P) pero no suciente. Esto nos dice que las soluciones del sistema z(P) g(P) = 0 son solo posibles extremos.
Mtodo de los multiplicadores de Lagrange: Para minimizar o maximizar f (x, y) sujeta a la condicin g(x, y) = 0 , minimice o maximice L(x, y, ) = f (x, y) g(x, y). Para hallar los puntos cr ticos de L(x, y, ) se debe resolver el sistema = 0 Lx Ly = 0 g(x, y) = 0
Para determinar si los puntos crticos son mximos, mnimos o no son ni mximos ni mnimos, se debe recurrir a criterios que no se cubren en este curso. En lo que sigue se indica si lo que vamos a encontrar son mximos o mnimos o la naturaleza de los problemas nos indican que debemos esperar.
EJEMPLO 6.12
F(x, y, ) = 2y x (y sen x)
18
= 0 = 0 = 0 o sea, x = , x = 3
5 3 .
Para determinar la naturaleza de los puntos crticos, recurrimos a un dibujo: los puntos de la supercie que cumplen la restriccin estn sobre una curva C: la curva de interseccin entre el plano z = 2y x y la supercie y = sen x.
Z
3 , , 0.6848532... 3 2
EJEMPLO 6.13
Encontrar el mximo y el mnimo de f (x, y) = x2 + y2 sujeto a x4 + y4 = 1 Solucin. F(x, y, ) = x2 + y2 (x4 + y4 1) Puntos crticos: Fx = 2x 4x3 = 2x(1 2x2 ) = 0 Fy = 2y 4y3 = 2y(1 2y2 ) = 0 F = x4 y4 + 1 = 0
= x = 0 o x2 =
1 1 , y = 0 o y2 = . 2 2
Sustituyendo estos casos en la ltima ecuacin, obtenemos los puntos 1 1 , , (0, 1), (1, 0). 4 2 42
EJERCICIOS
19
Para clasicar los puntos, dibujamos la curva de interseccin entre la supercie z = x2 + y2 y la supercie generada por la curva x4 + y4 = 1.
as , tenemos 4 mximos,
1 1 , 4 2 42
EJERCICIOS 6.9 6.10 6.11 Obtener el mximo de f (x, y) = 9 x2 y2 sujeta a x + y = 3 Minimizar C(r, h) = 2kr2 + 2.5(2krh) sujeta a la restriccin Kr2 h = 1000. Calcule los puntos crticos de z = x2 y2 sujeta a la condicin x2 + y2 = 1.
Bibliografa
[1] [2] [3] [4] [5] [6] [7] [8] Louis Brand. Advanced Calculus. An Introduction to Classical Analysis. Wiley & Sons, Inc. 1995. Claudio Pita R. Clculo Vectorial. Prentice-Hall. 1995. Sherman Stein. Clculo con Geometra Analtica. McGraw-Hill. 1984. Tom Apostol. Calculus. Wiley. 1967 Jorge Poltronieri. Clculo Integral: Integracin Mltiple. Editorial Cimpa. 1ra ed. Escuela de Matemtica, Universidad de Costa Rica. 2006. Jorge Poltronieri. Clculo Integral: Integracin de Lnea y Supercie. Editorial Cimpa. 1ra ed. Escuela de Matemtica, Universidad de Costa Rica. 2006. Jerrold Marsden, Anthony Tromba. Clculo Vectorial. Addison-Wesley. 3ra ed. 1991. Walter Mora F., Geovanni Figueroa M. Grcos 3D con Mathematica, GraphicsLive 3D y JavaView. Revista digital Matemtica, Educacin e Intenet (www.cidse.itcr.ac.cr). Volumen 6, nmero 1. 2005. Walter Mora F. Grcos 3D interactivos con Mathematica y LiveGraphics3D . Revista digital Matemtica, Educacin e Intenet (www.cidse.itcr.ac.cr). Volumen 6, nmero 2. 2005.
[8]
Clculo Superior. Walter Mora F., Geovanni Figueroa M. Derechos Reservados c 2009 Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr)