Máximos y mínimos. Optimización#

Máximos y mínimos#

Dada \(f:A\subset{\mathbb R}\to{\mathbb R}\).

  • Se dice que \(a\) es un máximo local o máximo relativo de \(f\) si \(f(a)\ge f(x)\) para todo \(x\) cerca de \(a\).

  • Se dice que \(a\) es un mínimo local o mínimo relativo de \(f\) si \(f(a)\le f(x)\) para todo \(x\) cerca de \(a\).

Cuando hablamos de “cerca” nos referimos a un entorno \(I\subset A\) del punto \(a\) (posiblemente pequeño).

Mínimo en \(a\) y máximo en \(b\)
fishy
Mínimo en \(a\)
fishy

A los máximos y mínimos locales de \(f\) se les llama extremos locales o extremos relativos de \(f\).

  • Si \(f(a)\geq f(x)\) para todo \(x\in A\), entonces \(f\) tiene un máximo absoluto en \(a\)

  • Si \(f(a)\leq f(x)\) para todo \(x\in A\), entonces \(f\) tiene un mínimo absoluto en \(a\)

fishy

Caracterización de extremos#

Theorem 5

Si \(f\) es derivable en \(a\) y \(a\) es un extremo relativo de \(f\) (es decir, un máximo o mínimo de \(f\)) entonces:

\[ f'(a)=0 \]

Gráficamente

fishy

Fig. 31 Mínimo en \(a\) y máximo en \(b\) con \(f'(a)=0\) y \(f'(b)=0\)#

Motivo#

Supongamos que \(a\) es un extremo relativo y además \(f'(a)>0\). Entonces por la definición de derivada,

\[ f'(a)=\lim_{h\to 0}\dfrac{f(a+h)-f(a)}{h}>0\Longrightarrow \dfrac{f(a+h)-f(a)}{h}>0 \textnormal{ si $h$ cerca de $0$} \]
  • Si \(h>0\)

\[ \dfrac{f(a+h)-f(a)}{h}>0\Longrightarrow f(a+h)-f(a)>0 \Longrightarrow f(a+h)>f(a), \]
  • Si \(h<0\)

\[ \dfrac{f(a+h)-f(a)}{h}>0\Longrightarrow f(a+h)-f(a)<0 \Longrightarrow f(a+h)<f(a), \]

\(a\) no podría ser extremo relativo de \(f\), y se llega a una contradicción. Análogamente se llega a una contradicción si se supone \(f'(a)<0\). Por tanto, si \(a\) extremo relativo de \(f\), \(f'(a)=0\).

Puntos críticos#

Sea \(f\) continua en el intervalo \(A\). Los puntos críticos de \(f\) en \(A\) son los puntos \(x\in A\) donde

  • \(f'(x)\) no existe

  • \(f'(x)=0\).

fishy

Fig. 32 \(a\) y \(b\) son puntos críticos de \(f\); \(f'(a)\) no existe y \(f'(b)=0\).#

Warning

No todos los puntos críticos son extremos relativos de \(f\).

Note

Si \(f\) tiene un máximo o mínimo local en \(a\) entonces \(a\) es un punto crítico de \(f\).

Búsqueda de máximos y mínimos#

Teorema de Weierstrass#

Theorem 6

Toda función continua en un intervalo cerrado y acotado alcanza un máximo y un mínimo absoluto en el intervalo

fishy

Fig. 33 Función con máximo absoluto en \(x=b\) y mínimo absoluto en \(x=c\).#

Warning

Se necesitan las hipótesis de que la función sea continua y de que el intervalo sea cerrado y acotado.

En las siguientes gráficas, las funciones no tienen máximo o mínimo global porque no cumplen alguna de las condiciones del teorema de Weierstrass.

Función no contnua
fishy
Intervalo no acotado \([a,\infty)\)
fishy
Intervalo no cerrado \([a,b)\)
fishy

Búsqueda de máximos y mínimos relativos#

Si buscamos máximos y mínimos relativos:

  • Buscamos los puntos críticos

  • Usamos alguno de los siguientes criterios para caracterizarlos

Prueba primera derivada#

  • Si \(f'\) cambia de signo positivo a negativo en \(c\) entonces \(f\) tiene un máximo local en \(c\)

  • Si \(f'\) cambia de signo negativo a positivo en \(c\) entonces \(f\) tiene un mínimo local en \(c\)

  • Si \(f'\) mantiene su signo antes y después de \(c\), entonces \(f\) no tiene ni máximo ni mínimo; tiene un punto de inflexión en \(c\)

fishy

Prueba segunda derivada#

(Ha de existir \(f'(c)\) y ser igual a 0

  • Si \(f''(c)>0\) entonces \(f\) tiene un mínimo local en \(c\)

  • Si \(f''(c)<0\) entonces \(f\) tiene un máximo local en \(c\)

Búsqueda de máximos y mínimos absolutos#

Buscaremos máximos y mínimos absolutos en intervalos cerrados y acotados (ver teorema de Weierstrass). Los candidatos a extremos absolutos son:

  • los puntos críticos y

  • los extremos del intervalo

Comparando el valor de la función en esos puntos hallaremos el máximo y mínimo absolutos.

Para hallar máximos y mínimos absolutos de una función \(f\) continua en un intervalo cerrado y acotado (compacto), \([a,b]\) seguimos los siguientes pasos:

  1. Encontrar puntos críticos de \(f\) que estén contenidos en \([a,b]\): \(c_1,c_2,\ldots\)

  2. Hallar el valor de \(f\) en los puntos anteriores

  3. Hallar el valor de \(f\) en los extremos del intervalo \(a\) y \(b\)

  4. Comparar el valor de \(f\) en todos los puntos anteriores

    • El (los) máximo(s) se corresponden con los máximos absolutos

    • El (los) mínimo(s) se corresponden con los mínimos absolutos