[b][u][color=#1e84cc][size=150]Análisis de puntos críticos para funciones de una variable.[/size][/color][/u][/b][br][br]El estudio de los máximos y mínimos de funciones de varias variables es de los más relevantes en todo tipo de disciplina. Es usual necesitar maximizar la ganancia de un producto, saber la temperatura máxima que acepta un cierto material antes de perder sus propiedades, estudar la eficiencia máxima de una máquina, etc. El estudio de los extremos, como se suele llamar a los máximos y mínimos de una función, es entonces un tema central en el estudio de las funciones de varias variables.[br][br]Una función [math]f(x)[/math] tiene un mínimo (respectiamente máximo) relativo en [math]x=a[/math] si existe un [math]\epsilon>0[/math], tal que si [math]|x-a|<\epsilon[/math] entonces [math]f(x)\geq f(a)[/math] (respectivamente [math]f(x)\leq f(a)[/math]).[br][br]El análisis de los extremos, relativos o absolutos (a veces se dicen también "locales" o "globales" respectivamente), tiene un paralelo con el estudio de los extremos para funciones de una variable.[br][br]Comencemos entonces recordando con un ejemplo concreto cómo se estudian los extremos para funciones de una variable. [br][br]Consideremos [math]f(x)=x^{4}-2x^{2}[/math]. Queremos encontrar sus máximos y mínimos relativos y en qué puntos se alcanzan. Lo primero es recordar que si [math]f(x)[/math] tiene un extremos en [math]x=a[/math] entonces [math]f'(a)=0[/math]. Es decir que [math]a[/math] es un punto crítico de la función (recordemos que [math]a[/math] es un punto crítico si [math]f'(a)=0[/math]). Por lo tanto lo primero que hacemos es buscar los "candidatos" a máximos y mínimos, es decir los punto críticos.[br][br][math][br]f'(x)=4x(x^{2}-1)=0.[br][/math][br][br]Deducimos que los puntos críticos son [math]a=0,-1,1[/math]. [br][br]¿Cómo reconocemos ahora si los puntos críticos son máximos o mínimos locales, o si no lo son? [br][br]Recordemos que un punto crítico no tiene porqué ser un máximo o un mínimo. Por ejemplo, la función [math]x\rightarrow x^{3}[/math] tiene un punto crítico en [math]x=0[/math], que no es ni un máximo ni un mínimo local. La función allí toma el valor cero, pero arbitrariamente cerca a dicho punto crítico la función toma valores superiores a cero (positivos) e inferiores a cero (negativos).[br][br]Cuando se quiere saber el comportamiento de una función cerca de un punto, se debe estudiar primero el desarrollo de Taylor de la función en dicho punto.[br][br]En un punto crítico [math]a[/math] tenemos,[br][br][math][br]f(x)-f(a)=\frac{f''(a)(x-a)^{2}}{2!}+\frac{f'''(a)(x-a)^{3}}{3!}+\ldots+\frac{f^{'''...'}(a)(x-a)^{k}}{k!}+R_{k}(x).[br][/math][br][br]No incluimos el término [math]f'(a)(x-a)[/math] ya que [math]f'(a)=0[/math]. También escribimos [math]f(a)[/math] en el miembro de la derecha por la siguiente razón. Si el miembro derecho es mayor o igual a cero cerca de [math]a[/math], entonces [math]f(x)-f(a)\geq 0[/math], o [math]f(x)\geq f(a)[/math] cuando [math]x[/math] está cerca de [math]a[/math]. Por lo tanto [math]f(x)[/math] tendría en [math]a[/math] un mínimo relativo o local. Si el miembro derecho es menor o igual a cero cuando [math]x[/math] está cerca de [math]a[/math], entonces [math]f(x)[/math] tiene en [math]a[/math] un máximo local. El punto es que lo que determina el signo de miembro derecho es el primer término que no es cero en la serie de Taylor. [br][br]Veamos esto en el punto crítico [math]a=0[/math] de la función en consideración [math]f(x)=-2x^{2}+x^{4}[/math].[br][br]Reconocemos primero que la función es un polinomio en [math]x[/math] o [math](x-0)[/math]. Como el desarrollo de Taylor es único, este polinomio de orden cuatro es el polinomio de Taylor de [math]f[/math] de orden [math]4[/math] o mayor, ya que la máxima potencia de [math]x[/math] es [math]4[/math].[br][br]Ahora, cerca de cero, es decir cuando [math]x[/math] toma valores pequeños, el término que domina en el desarrollo es el cuadrático [math]-2x^{2}[/math] y no el cuártico [math]x^{4}[/math]. Es decir, el comportamiento de la función cerca de cero es establecido por la función [math]x\rightarrow -2x^{2}[/math]. Una forma rigurosa de ver esto es escribir,[br][br][math][br]f(x)=-2x^{2}(1-\frac{x^{2}}{2})\sim -2x^{2},[br][/math][br][br]ya que [math](1-\frac{x^{2}}{2})\sim 1[/math] cuando [math]x\sim 0[/math]. En suma, tenemos,[br][br][math][br]f(x)-f(0)=-2x^{2}+x^{4}\leq 0,[br][/math][br][br]cuando [math]x\sim 0[/math]. Es decir, el punto crítico [math]a=0[/math] es un máximo local.[br][br]Analizamos el comportamiento ahora en [math]a=1[/math]. El desarrollo de Taylor de orden [math]4[/math] calculado en [math]a=1[/math] es,[br][br][math][br]P_{4}(x)=-2+4(x-1)^{2}+6(x-1)^{3}+(x-1)^{4}.[br][/math] [br][br]De hecho, este polinomio coincide con la función [math]f(x)=-2x^{2}+x^{4}[/math]! La única diferencia es que es una suma en potencias de [math](x-1)[/math] (recordemos que estamos desarrollando en [math]x=1[/math]) y no en potencias de [math]x[/math]. ¿Puede dar una prueba que [math]P_{4}(x)=f(x)[/math]? ¿Cuál es [math]P_{5}(x)[/math]? ¿Y [math]P_{7}(x)[/math]? ¿Puede demostrar que [math]P_{k}(x)=f(x)[/math] cuando [math]k\geq 4[/math]?[br][br]Tenemos entonces,[br][br][math][br]f(x)-f(1)=4(x-1)^{2}+6(x-1)^{3}+(x-1)^{4}.[br][/math][br][br]El término de menor orden del miembro derecho es [math]4(x-1)^{2}[/math] y es el que dicta el comportamiento de [math]f(x)-f(1)[/math] cerca de [math]x=1[/math]. Eso se puede hacer de la misma manera que en el punto crítico [math]x=0[/math], tomando a [math]4(x-1)^{2}[/math] como factor común. [br][br]Por lo tanto cuando [math]x[/math] está cerca de [math]0[/math], [math]f(x)\geq f(1)[/math] y por lo tanto la función [math]f(x)[/math] tiene un mínimo local o mínimo relativo en [math]x=1[/math].[br][br]Como [math]f(x)=f(-x)[/math], la función tiene también un mínimo local en [math]x=-1[/math]. [br][br]Con ésta información es fácil deducir el comportamiento global de la función. El gráfico se muestra más abajo.[br][br]Recapitulando, hicimos lo siguiente:[br][br]1 - Se hallan los puntos críticos.[br]2- Se analiza el comportamiento local de la función en un entorno de los puntos críticos a partir del desarrollo de Taylor en esos puntos.[br][br]Una vez que se tiene la información y clasificación de los puntos críticos, debe recolectarse toda la información general para decidir si hay máximos y mínimos local y cuales son. En este caso, el valor mínimo global o absoluto de [math]f(x)[/math] es [math]-1[/math] y se alcanza en [math]x=1,-1[/math]. En [math]x=0[/math] hay un máximo local o relativo. Estríctamente hablando la función no tiene un máximo global ya que diverge a infinito cuando [math]x[/math] tiende a [math]+\infty[/math] o [math]-\infty[/math].[br][br][b][color=#ff7700]Ejemplo.[/color][/b] La figura debajo muestra la gráfica de la función [math]f(x)=x^{4}-2x^{2}[/math], los tres puntos críticos y las gráficas en rojo de los desarrollos de Taylor a orden dos en cada punto, pero graficadas en pequeños entornos de esos puntos (dónde son una buena aproximación).