Optimización · Definición
Extremos absolutos en una región
Antes de empezar necesitas conocer
Los puntos críticos y la segunda derivada hablan solo de extremos locales; aquí se responde la pregunta práctica: cuál es el mayor y el menor valor de \(f\) sobre toda una región.
Definición
Los extremos absolutos de una función \(f\) en una región cerrada y acotada \(D\) son el mínimo \(m\) y el máximo \(M\) de los valores que \(f\) toma en \(D\).
El teorema del valor extremo asegura que, si \(f\) es continua en un conjunto cerrado y acotado \(D\), existen un mínimo y un máximo absolutos. El procedimiento tiene tres pasos: hallar los puntos críticos de \(f\) en el interior de \(D\); hallar los candidatos en la frontera de \(D\); y evaluar \(f\) en todos ellos. El mayor valor es \(M\) y el menor es \(m\).
La frontera se estudia como un problema de una variable: se parametriza cada lado o curva (\(y=2-x\), \(x=\cos t,\ y=\sin t\), etc.), se sustituye en \(f\) y se buscan los extremos de la función resultante en el intervalo, sin olvidar las esquinas. Si la frontera viene dada por una ecuación \(g=k\), los multiplicadores de Lagrange hacen el mismo trabajo.
Ejemplo guía: \(f(x,y)=x^2+y^2-2x-4y+7\) en \([0,3]\times[0,3]\). El punto crítico \((1,2)\) da \(f=2\); en las esquinas \(f\) vale \(7,10,4,7\). Por tanto \(m=2\) y \(M=10\). Aquí el mínimo está en el interior y el máximo en la frontera, algo muy común.
Errores típicos: olvidar la frontera, creer que un punto crítico es un extremo (una silla no lo es) o aplicar el método a una región abierta o no acotada, donde el máximo o el mínimo pueden no existir. No hace falta clasificar los puntos críticos con la matriz hessiana: basta comparar valores.
Para pensar
¿Por qué no hace falta el criterio de la segunda derivada para hallar extremos absolutos?
Porque solo se necesita comparar los valores de \(f\) en una lista finita de candidatos (puntos críticos, y puntos de la frontera); el mayor y el menor de esos valores son \(M\) y \(m\), sin importar su clasificación local.
Da una función continua en una región acotada que no alcance su máximo.
\(f(x,y)=x\) en el cuadrado abierto \(0<x<1\), \(0<y<1\): el supremo es \(1\), pero no se alcanza, porque la región no es cerrada.
Ejercicios 10
- Halla el máximo absoluto de \(f(x,y)=2x+3y\) en el rectángulo \([0,1]\times[0,2]\).
- Halla el mínimo absoluto de \(f(x,y)=x^2+y^2-2x-4y+7\) en el cuadrado \([0,3]\times[0,3]\).
- Halla el máximo absoluto de la misma función \(f(x,y)=x^2+y^2-2x-4y+7\) en \([0,3]\times[0,3]\).
- ¿Qué condición garantiza que \(f\) alcanza un máximo y un mínimo absolutos en una región \(D\)?
- Halla el máximo absoluto de \(f(x,y)=xy\) en el triángulo de vértices \((0,0)\), \((2,0)\), \((0,2)\).
- Halla el mínimo absoluto de \(f(x,y)=x^2-y^2\) en el disco \(x^2+y^2\le1\).
- Halla el máximo absoluto de \(f(x,y)=x^2+2y^2\) en el disco \(x^2+y^2\le4\).
- Halla el mínimo absoluto de \(f(x,y)=x^3-3x+y^2\) en el rectángulo \([-2,2]\times[-1,1]\).
- Si el mínimo absoluto de \(f\) en \(D\) se alcanza en un punto interior de \(D\), ¿qué se puede asegurar de ese punto?
- Halla el máximo absoluto de \(f(x,y)=x^2y\) en el triángulo \(x\ge0\), \(y\ge0\), \(x+y\le3\).
Referencias
- James Stewart, Daniel K. Clegg, Saleem Watson, Calculus: Early Transcendentals, 9th edition, Cengage, 2021. §14.7
- Joel Hass, Christopher Heil, Przemyslaw Bogacki, Maurice D. Weir, George B. Thomas Jr., Thomas' Calculus, 15th edition, Pearson, 2023. §14.7
- Jerrold E. Marsden, Anthony Tromba, Vector Calculus, 6th edition, W. H. Freeman, 2012. §3.3