Contenido principal
Cálculo multivariable
Curso: Cálculo multivariable > Unidad 3
Lección 4: Optimizar funciones multivariables (artículos)Razonamiento detrás del criterio de la segunda derivada
Para aquellos de ustedes que quieran ver por qué funciona la segunda derivada parcial, aquí está un bosquejo de una demostración.
Antecedentes
En el último artículo, dimos las bases para el criterio de la segunda derivada parcial, pero fue solo una idea intuitiva vaga de por qué es cierta. Este artículo es para aquellos que quieran indagar un poco más en las matemáticas, pero no es estrictamente necesario si solo quieres saber aplicar ese criterio.
Qué vamos a construir
- Para probar si un punto crítico de una función multivariable es un mínimo o máximo local, examina la aproximación cuadrática de la función en ese punto. Es más fácil analizar si esta aproximación cuadrática tiene máximos y mínimos.
- Para funciones de dos variables, esto se reduce al estudio de una expresión que tiene este aspecto:
Estas se conocen como formas cuadráticas. La regla para saber cuándo una forma cuadrática es siempre positiva o siempre negativa se traduce directamente al criterio de la segunda derivada parcial.
Caso de una variable mediante aproximación cuadrática
En primer lugar, seguiremos el razonamiento formal de por qué funciona el criterio de la segunda derivada para una sola variable. Por formal, nos referimos a captar la idea de concavidad con un argumento preciso.
En el cálculo de una sola variable, cuando f, prime, left parenthesis, a, right parenthesis, equals, 0 para alguna función f y algún valor de entrada a, el criterio de la segunda derivada nos dice que:
- f tiene un máximo local en a si f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, is less than, 0.
- f tiene un mínimo local en a si f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, is greater than, 0.
- Si f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, equals, 0, la segunda derivada no es suficiente para determinar si f tiene un máximo, un mínimo o un punto de inflexión en a.
Para pensar por qué funciona esta prueba, empieza por aproximar la función con un polinomio de Taylor hasta el término cuadrático, que también se conoce como una aproximación cuadrática.
Puesto que f, prime, left parenthesis, a, right parenthesis, equals, 0, esta aproximación cuadrática se simplifica así:
Observa que left parenthesis, x, minus, a, right parenthesis, squared, is greater than or equal to, 0 para todos los valores posibles de x, pues los términos cuadráticos siempre son cero o positivos. ¡Ese simple hecho nos dice todo lo que necesitamos saber! ¿Por qué?
Porque cuando f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, is greater than, 0, podemos leer nuestra aproximación así:
Por lo tanto, a es un mínimo local de nuestra aproximación. De hecho es un mínimo global, pero eso no nos importa. Cuando la aproximación cuadrática de una función tiene un mínimo local en algún punto, la función misma debe tener un mínimo local en ese lugar. Hablaremos más sobre esto en la última sección; pero por ahora la intuición debe ser clara, pues la función y su aproximación se "abrazan" la una a la otra alrededor del punto de aproximación a.
Similarmente, si f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, is less than, 0, podemos leer la aproximación como
En este caso, la aproximación tiene un máximo local en x, equals, a, lo que indica que la función misma también tiene un máximo local ahí.
Cuando f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, equals, 0, nuestra aproximación cuadrática siempre es igual a la constante f, left parenthesis, a, right parenthesis, lo que significa que nuestra función es en algún sentido demasiado plana para ser analizada solamente con la segunda derivada.
Qué se obtiene de todo esto:
Cuando f, prime, left parenthesis, a, right parenthesis, equals, 0, determinar si f tiene un máximo o un mínimo local en a se reduce a estudiar si el signo del término cuadrático de la aproximación de Taylor, start fraction, 1, divided by, 2, end fraction, f, start superscript, prime, prime, end superscript, left parenthesis, a, right parenthesis, left parenthesis, x, minus, a, right parenthesis, squared, es positivo o negativo.
Caso de dos variables: calentamiento visual
Ahora considera una función f, left parenthesis, x, comma, y, right parenthesis con dos entradas y una salida, que tiene un punto crítico. Esto es, un punto donde ambas derivadas parciales son 0,
que de manera compacta se escribe como
Para determinar si este punto es un máximo local, un mínimo local o ninguno de los dos, examinamos su aproximación cuadrática. Empecemos con una vista previa de lo que queremos hacer:
- f tendrá un mínimo local en el punto crítico left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis si la aproximación cuadrática en el punto es un paraboloide cóncavo hacia arriba.
- f tendrá un máximo local allí si la aproximación cuadrática es un paraboloide cóncavo hacia abajo:
- Si la aproximación cuadrática tiene forma de silla, f no tiene ni un máximo ni un mínimo, sino un punto silla.
- Si la aproximación cuadrática es horizontal en alguna o todas las direcciones, no tenemos suficiente información para sacar conclusiones sobre f.
Análisis de la aproximación cuadrática
La fórmula para la aproximación caudrática de f, en forma de vector, se ve así:
Ya que nos interesan los puntos donde el gradiente es cero, podemos deshacernos de ese término del gradiente
Para ver los detalles del caso de dos variables, expandamos el término hessiano,
(Nota: si sientes que esta aproximación o algo de la notación es extraña o poco familiar, considera revisar el artículo sobre aproximaciones cuadráticas).
Como mostramos en el caso de una sola variable, la estrategia es estudiar si el término cuadrático de esta aproximación es siempre positivo o siempre negativo.
Por lo pronto, escribir este término es tedioso, pero podemos destilar su esencia si estudiamos expresiones de la siguiente forma:
Tales expresiones se llaman usualmente "formas cuadráticas".
- La palabra "cuadrática" indica que los términos son de segundo orden, o sea que involucran el producto de dos variables.
- La palabra "forma" en este contexto es desconcertante, y hace que la idea de una forma cuadrática suene más complicada de lo que realmente es. Los matemáticos dicen "forma cuadrática" en vez de "expresión cuadrática" para enfatizar que todos los términos son de orden 2, y que no hay términos lineales o constantes enredando la expresión. Adoptar una frase como "expresión puramente cuadrática" habría sido mucho más razonable y comprensible.
Para hacer la notación de las formas cuadráticas más fácil de generalizar a dimensiones más altas, a menudo las escribimos con respecto a la matriz simétrica M
He aquí la pregunta crucial:
- ¿Cómo podemos determinar si la expresión start color #11accd, a, end color #11accd, x, squared, plus, 2, start color #1fab54, b, end color #1fab54, x, y, plus, start color #e84d39, c, end color #e84d39, y, squared es siempre positiva, siempre negativa o ninguna de las dos, con solo estudiar las constantes start color #11accd, a, end color #11accd, start color #1fab54, b, end color #1fab54 y start color #e84d39, c, end color #e84d39?
Análisis de las formas cuadráticas
Si sustituimos un valor constante y, start subscript, 0, end subscript para y, obtenemos la función cuadrática de una sola variable:
La gráfica de esta función es una parábola, y solo cruzará el eje x si esta función cuadrática tiene raíces reales.
De lo contrario, la función es siempre positiva o siempre negativa, dependiendo del signo de start color #0c7f99, a, end color #0c7f99.
Podemos aplicar la fórmula cuadrática a esta expresión para ver si sus raíces son reales o complejas.
- El término principal es start color #0c7f99, a, end color #0c7f99.
- El término lineal es 2, start color #0d923f, b, end color #0d923f, y, start subscript, 0, end subscript.
- El término constante es start color #bc2612, c, end color #bc2612, y, start subscript, 0, end subscript, squared
Aplicar la fórmula cuadrática se ve así:
Si y, start subscript, 0, end subscript, equals, 0, la parábola tiene una raíz doble en x, equals, 0, lo que significa que apenas toca al eje x en ese punto. En otro caso, el que las raíces sean reales depende solamente del signo de la expresión start color #0d923f, b, end color #0d923f, squared, minus, start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612.
- Si start color #0d923f, b, end color #0d923f, squared, minus, start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, is greater than or equal to, 0, existen dos raíces reales, y la gráfica de start color #0c7f99, a, end color #0c7f99, x, squared, plus, 2, start color #0d923f, b, end color #0d923f, x, y, start subscript, 0, end subscript, plus, start color #bc2612, c, end color #bc2612, left parenthesis, y, start subscript, 0, end subscript, right parenthesis, squared cruza el eje x.
- En caso contrario, si start color #0d923f, b, end color #0d923f, squared, minus, start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, is less than, 0, no existen raíces reales, y la gráfica de start color #0c7f99, a, end color #0c7f99, x, squared, plus, 2, start color #0d923f, b, end color #0d923f, x, y, start subscript, 0, end subscript, plus, start color #bc2612, c, end color #bc2612, left parenthesis, y, start subscript, 0, end subscript, right parenthesis, squared es totalmente positiva o totalmente negativa.
Por ejemplo, considera el caso
- start color #0c7f99, a, end color #0c7f99, equals, 1
- start color #0d923f, b, end color #0d923f, equals, 3
- start color #bc2612, c, end color #bc2612, equals, 5
En este caso, start color #0d923f, b, end color #0d923f, squared, minus, start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, equals, start color #0d923f, 3, end color #0d923f, squared, minus, left parenthesis, start color #0c7f99, 1, end color #0c7f99, right parenthesis, left parenthesis, start color #bc2612, 5, end color #bc2612, right parenthesis, equals, 4, is greater than, 0, así que la gráfica de f, left parenthesis, x, right parenthesis, equals, x, squared, plus, 6, x, y, start subscript, 0, end subscript, plus, 5, y, start subscript, 0, end subscript, squared siempre cruza al eje x. He aquí un video que muestra cómo cambia la gráfica conforme dejamos que el valor de y, start subscript, 0, end subscript varíe lentamente.
Esto corresponde con el hecho de que la gráfica de f, left parenthesis, x, comma, y, right parenthesis, equals, x, squared, plus, 6, x, y, plus, 5, y, squared puede ser tanto positiva como negativa.
En contraste, considera el caso
- start color #11accd, a, end color #11accd, equals, 2
- start color #1fab54, b, end color #1fab54, equals, 2
- start color #e84d39, c, end color #e84d39, equals, 3
Ahora start color #1fab54, b, end color #1fab54, squared, minus, start color #11accd, a, end color #11accd, start color #e84d39, c, end color #e84d39, equals, start color #1fab54, 2, end color #1fab54, squared, minus, left parenthesis, start color #11accd, 2, end color #11accd, right parenthesis, left parenthesis, start color #e84d39, 3, end color #e84d39, right parenthesis, equals, minus, 2, is less than, 0. Esto significa que la gráfica de f, left parenthesis, x, right parenthesis, equals, 2, x, squared, plus, 4, x, y, start subscript, 0, end subscript, plus, 3, y, start subscript, 0, end subscript, squared nunca cruza el eje x, aunque lo toca si la constante y, start subscript, 0, end subscript es cero. Aquí mostramos un video donde se ve cómo cambia la gráfica conforme dejamos que la constante y, start subscript, 0, end subscript varíe:
Esto corresponde con el hecho que la función multivariable f, left parenthesis, x, comma, y, right parenthesis, equals, 2, x, squared, plus, 4, x, y, plus, 3, y, squared siempre es positiva.
Regla para el signo de las formas cuadráticas
Como si se tratara de confundir a los estudiantes familiarizados con la fórmula cuadrática, las propiedades de las formas cuadráticas a menudo se establecen en términos de start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, minus, start color #0d923f, b, end color #0d923f, squared en lugar de start color #0d923f, b, end color #0d923f, squared, minus, start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612. Ya que una expresión es el negativo de la otra, tenemos que cambiar de is greater than or equal to, 0 a is less than or equal to, 0. La razón por la que los matemáticos prefieren start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, minus, start color #0d923f, b, end color #0d923f, squared es porque este es el determinante de a matriz que describe la forma cuadrática:
Como recordatorio, así es como se ve la forma cuadrática utilizando la matriz.
Al vincular esta convención con lo que encontramos en la sección anterior, escribimos la regla del signo de una forma cuadrática de la siguiente manera:
- Si start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, minus, start color #0d923f, b, end color #0d923f, squared, is less than, 0, la forma cuadrática puede alcanzar valores positivos y negativos, y es posible que sea cero en otros valores diferentes de left parenthesis, x, comma, y, right parenthesis, equals, left parenthesis, 0, comma, 0, right parenthesis.
- Si start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, minus, start color #0d923f, b, end color #0d923f, squared, is greater than, 0, la forma es siempre positiva o siempre negativa, dependiendo del signo de start color #0c7f99, a, end color #0c7f99, pero en ambos casos solo es igual a 0 en left parenthesis, x, comma, y, right parenthesis, equals, left parenthesis, 0, comma, 0, right parenthesis.
- Si start color #0c7f99, a, end color #0c7f99, is greater than, 0, la forma siempre es positiva, por lo que left parenthesis, 0, comma, 0, right parenthesis es un mínimo global de esta.
- Si start color #0c7f99, a, end color #0c7f99, is less than, 0, la forma siempre es negativa, por lo que left parenthesis, 0, comma, 0, right parenthesis es su máximo global.
- Si start color #0c7f99, a, end color #0c7f99, start color #bc2612, c, end color #bc2612, minus, start color #0d923f, b, end color #0d923f, squared, equals, 0, la forma será de nuevo o siempre positiva o siempre negativa, pero ahora es imposible que sea igual a 0 en valores distintos de left parenthesis, x, comma, y, right parenthesis, equals, left parenthesis, 0, comma, 0, right parenthesis.
Un poco de terminología:
Cuando start color #0c7f99, a, end color #0c7f99, x, squared, plus, 2, start color #0d923f, b, end color #0d923f, x, y, plus, start color #bc2612, c, end color #bc2612, y, squared, is greater than, 0 para todo left parenthesis, x, comma, y, right parenthesis distinto de left parenthesis, x, comma, y, right parenthesis, equals, left parenthesis, 0, comma, 0, right parenthesis, comma decimos que la forma cuadrática y su matriz asociada son positivas definidas.
Cuando start color #0c7f99, a, end color #0c7f99, x, squared, plus, 2, start color #0d923f, b, end color #0d923f, x, y, plus, start color #bc2612, c, end color #bc2612, y, squared, is less than, 0 para todo left parenthesis, x, comma, y, right parenthesis distinto de left parenthesis, x, comma, y, right parenthesis, equals, left parenthesis, 0, comma, 0, right parenthesis, comma decimos que la forma cuadrática y su matriz asociada son negativas definidas.
Si reemplazas los signos is greater than y is less than por is greater than or equal to y is less than or equal to, respectivamente, las propiedades correspondientes son positiva semi-definida y negativa semi-definida.
Aplicación a Q, start subscript, f, end subscript
Bueno, regresando a donde comenzamos, vamos a escribir otra vez nuestra aproximación cuadrática:
La parte cuadrática de Q, start subscript, f, end subscript está escrita en términos de left parenthesis, x, minus, x, start subscript, 0, end subscript, right parenthesis y left parenthesis, y, minus, y, start subscript, 0, end subscript, right parenthesis en lugar de simplemente x y y, por lo que donde la regla del signo para la forma cuadrática hace referencia al punto left parenthesis, 0, comma, 0, right parenthesis, la aplicamos al punto left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis.
Tal como en el caso de una sola variable, cuando la aproximación cuadrática Q, start subscript, f, end subscript tiene un máximo (o un mínimo) local en left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, significa que f tiene un máximo (o un mínimo) local en ese punto. Esto quiere decir que podemos trasladar la regla del signo de una forma cuadrática directamente para obtener el criterio de la segunda derivada:
Supongamos que del, f, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, equals, 0.
- Si start color #0c7f99, f, start subscript, x, x, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0c7f99, start color #bc2612, f, start subscript, y, y, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #bc2612, minus, left parenthesis, start color #0d923f, f, start subscript, x, y, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0d923f, right parenthesis, squared, is less than, 0, entonces f no tiene ni un mínimo ni un máximo en left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, sino un punto silla.
- Si start color #0c7f99, f, start subscript, x, x, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0c7f99, start color #bc2612, f, start subscript, y, y, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #bc2612, minus, left parenthesis, start color #0d923f, f, start subscript, x, y, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0d923f, right parenthesis, squared, is greater than, 0, la función f definitivamente tiene un máximo o un mínimo en left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, y debemos determinar el signo de start color #0c7f99, f, start subscript, x, x, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0c7f99 para saber cuál de los dos es.
- Si start color #0c7f99, f, start subscript, x, x, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0c7f99, is greater than, 0, la función f tiene un mínimo local.
- Si start color #0c7f99, f, start subscript, x, x, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0c7f99, is less than, 0, la función f tiene un máximo local.
- Si start color #0c7f99, f, start subscript, x, x, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0c7f99, start color #bc2612, f, start subscript, y, y, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #bc2612, minus, left parenthesis, start color #0d923f, f, start subscript, x, y, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis, end color #0d923f, right parenthesis, squared, equals, 0, las segundas derivadas por sí solas no nos pueden decir si f tiene un máximo o mínimo local.
Nuestras herramientas actuales no son suficientes
Todo lo que presentamos aquí casi constituye una prueba completa, excepto por un paso final.
Intuitivamente, puede tener sentido que cuando una aproximación cuadrática se dobla y curva de cierta manera, la función debe doblarse y curvarse de la misma manera cerca del punto de aproximación. Pero ¿cómo formalizamos esto más allá de la intuición?
Desafortunadamente no lo haremos aquí. Para hacer rigurosos los argumentos sobre derivadas, requerimos del análisis real, columna vertebral teórica del cálculo.
Más aún, puedes estarte preguntando cómo esto se generaliza a funciones con más de dos entradas. Hay una notación para las formas cuadráticas con múltiples variables, pero enunciar la regla para cuándo tales formas son siempre positivas o negativas requiere varias ideas del álgebra lineal.
Resumen
- Para probar si un punto crítico de una función multivariable es un mínimo o máximo local, examina la aproximación cuadrática de la función en ese punto. Es más fácil analizar si esta aproximación cuadrática tiene máximos y mínimos.
- Para funciones de dos variables, esto se reduce al estudio de una expresión que tiene este aspecto:
Estas se conocen como formas cuadráticas. La regla para saber cuándo una forma cuadrática es siempre positiva o siempre negativa se traduce directamente al criterio de la segunda derivada parcial.