Valores extremos de una funcin de variable real

Introduccin
Joseph Louis Lagrange

Se ha visto en el mdulo 20 que la existencia de la derivada de una funcin en un punto c significa geomtricamente que la curva y = f (x) tiene una recta tangente en el punto (c, f (c)) y adems mT = f (c). Este hecho permite determinar, entre otros, aquellos puntos de la curva en los cuales la tangente es horizontal, resolviendo la ecuacin f(x) = 0. Una mirada atenta a la siguiente figura permite visualizar de manera intuitiva los elementos que son objeto de estudio en esta primera parte, como los siguientes: f (c1) es el mayor valor que toma la funcin en un intervalo abierto que contiene a c1. Se dice entonces que f (c1) es un mximo relativo de f (x). Ntese, adems, que en el punto P1(c1, f (c1)) la pendiente de la recta tangente a la curva es cero, esto es, f '(c1 ) = 0.

Joseph Louis Lagrange naci el 25 junio de 1736 en Turn y falleci el 10 de abril de 1813 en Pars.

ww

w.

Igualmente, f (c3) es el mayor valor que toma la funcin en un intervalo abierto que contiene a c3. As que f (c3) es otro mximo relativo de f (x).

at em

at

ic

a1

.c

om

Sin embargo, en el punto la derivada de f (x) no existe (se presenta un pico), lo cual indica que en un punto donde ocurre un mximo relativo no necesariamente debe anularse la derivada. f (c2) es el menor valor que toma la funcin en un intervalo abierto que contiene a c2. Se dice, entonces, que f (c2) es un mnimo relativo de f (x). De la misma manera que en el caso anterior en el punto P2(c2, f (c2)),ocurre que f(c2) = 0. Si se comparan ahora todos los valores que toma la funcin f (x) en el intervalo [a, b], se puede notar de la figura que f (a) es el menor valor y que f (c3) es el mayor valor. A f (a) y f (c3) se les llama, respectivamente, el mnimo absoluto y el mximo absoluto de f (x) en [a, b]. Los conceptos antes mencionados sern presentados aqu en forma rigurosa, as como las condiciones necesarias y suficientes para la existencia de extremos relativos. Al final se enunciar un teorema y se dar un procedimiento para determinar los extremos absolutos de una funcin continua en un intervalo cerrado.

Objetivos del mdulo

1. Usar la derivacin en el trazado de curvas en lo concerniente a la determinacin de los extremos de una funcin. 2. Notar la diferencia entre un extremo relativo y un extremo absoluto.

Contenidos del mdulo

21.1 Valores mximos y mnimos de una funcin de variable real 21.2 Extremos relativos 21.3 Extremos absolutos

ww

w.

1. Los puntos A y B estn situados uno frente al otro y en lados opuestos de un ro recto de 300 m de ancho. El punto D est a 600 m de B y en su misma orilla (figura 21.2). Una compaa de telfonos desea tender un cable desde A hasta D. Si el costo por metro de cable es 25% ms caro bajo el agua que por tierra, cmo se debe tender el cable para que el costo total sea mnimo?

at em

at

ic

Preguntas bsicas

a1

.c

om

21.1 Valores mximos y mnimos de una funcin de variable real

Definiciones Sea f una funcin de variable real y sea c D f (dominio de f). Entonces: i. f (c) es un valor mximo relativo de f si existe un intervalo abierto I que contiene a c tal que f (c) f ( x), para todo x I . ii. f (c) es un valor mnimo relativo de f si existe un intervalo abierto I que concontiene a c tal que f (c) f ( x), para todo x I . iii. f (c) es un valor mximo absoluto de f, en un intervalo I, si f (c) f ( x), para todo x I . iv. f(c) es un valor mnimo absoluto de f, en un intervalo I, si f (c) f ( x), para todo x I . A los valores mximos y mnimos relativos de una funcin se les llama extremos relativos. A los valores mximos y mnimos absolutos de una funcin se les llama extremos absolutos. Observaciones

w.

Puede ocurrir que un extremo absoluto sea simultneamente extremo relativo, como sucede por ejemplo con f (c3) en la funcin cuya grfica aparece en la figura de la pgina 207.

at em

at

ic

a1

.c

om

El llamado teorema de los valores extremos enunciado al final del mdulo garantiza la existencia de extremos absolutos para una funcin continua en un intervalo cerrado [a, b]. A pesar de que estos valores son nicos, la funcin puede tomarlos en diferentes puntos del intervalo.

ww

Joseph Louis Lagrange Astrnomo y matemtico franco-italiano, Lagrange era de ascendencia francesa, aunque naci y se cri en Italia. De nio, en el colegio, se encontr con un ensayo de Edmund Halley sobre anlisis matemtico y al momento decidi dedicarse a esta ciencia. La habilidad matemtica de Lagrange fue reconocida por Leonhard Euler a partir de un memorando que recibi de aqul sobre el clculo de variaciones, sobre el que el propio Euler ya haba trabajado. Tan impresionado qued Euler por esta obra, que permiti que fuera publicada antes que la suya. Lagrange aplic su facilidad matemtica a una sistematizacin de la mecnica, que ya haba comenzado con Galileo. Utilizando el anlisis de las variaciones, dedujo unas ecuaciones muy generales con las que se podan resolver todos los problemas de la mecnica. Tambin dedujo la forma de aplicar las matemticas a los movimientos de sistemas que influan en ms de dos cuerpos, tales como el sistema Tierra-Luna-Sol y el de Jpiter con sus cuatro lunas. La revolucin francesa tambin le dio una oportunidad de prestar un servicio a la ciencia, al recibir el encargo de dirigir una comisin que estudiara un nuevo sistema de pesos y medidas. Como resultado apareci el sistema mtrico decimal, el ms lgico de los sistemas de medidas que jams se han inventado.

21.2 Extremos relativos

El siguiente teorema establece una condicin necesaria para que una funcin tenga un extremo relativo en un punto en el cual f es derivable. Teorema 1: Condicin necesaria para extremos relativos (f tiene un extremo relativo en x = c f (c) = 0) Sea f una funcin que tiene un extremo relativo en c para el cual f (c) existe. Entonces, f (c) = 0.

Demostracin Caso 1 Si f es la funcin constante, el teorema es evidente.

Vea el mdulo 21 del programa de televisin Elementos Bsicos de Clculo Diferencial.

Caso 2 Supngase que f no es constante y que adems f tiene un mximo relativo en c. Como f (c) existe, entonces, de acuerdo a la observacin hecha a la definicin (2) del mdulo 9, f (c ) = lim x c
lim
x c

f ( x ) f (c ) existe, y adems, xc

f ( x ) f (c ) f ( x ) f (c ) f ( x) f (c) = lim = lim = f (c). (1) x c+ x c xc xc xc

Siendo f (c) un mximo relativo, existe un intervalo I = (x1, x2) que contiene al punto c y tal que
f (c) f ( x), para todo x I f ( x) f (c) 0, para todo x I .

at em

at

As que

f ( x ) f (c ) f ( x ) f (c ) 0 lim 0 (ejercicio propuesto 5, captulo 1), + x c xc xc

ic

a1

f (c) 0.

.c

Si x c + , entonces x c > 0.

om

(2)

ww
As que
f ( x ) f (c ) f ( x ) f (c ) 0 lim 0 (ejercicio propuesto 5, captulo 1), x c xc xc

w.

Igualmente, si x c , entonces x c < 0 .

f (c) 0.

(3)

De (2) y (3) se concluye que f (c) = 0. Caso 3 Supngase que f no es constante y que adems f tiene un mnimo relativo en c. La demostracin es similar a la del caso 2 y se deja por tanto como ejercicio para el lector. Observaciones El teorema anterior significa geomtricamente que si una funcin f tiene un extremo relativo en c, y f (c) existe, entonces la recta tangente a la curva en el punto (c, f (c)) es horizontal (figura 21.1a).

Figura 21.1

El recproco del teorema 1 no siempre se cumple, es decir, en una funcin se puede cumplir que f (c) = 0 para algn punto c de su dominio, y sin embargo f no presenta extremos relativos en c, como sucede por ejemplo con la funcin f (x) = x3 (figura 21.1b).

ww

w.

at em

at

ic

a1

.c

om

Note que f ( x) = 3x 2 , f (0) = 0, pero la funcin no presenta ni mximos ni mnimos relativos en el origen puesto que a la izquierda del origen f es negativa y a la derecha f es positiva. Mas aun, una funcin puede tener un extremo relativo en un punto y ni siquiera ser derivable all, como sucede por ejemplo con la funcin f ( x) = x (figura 21.1c) que tiene un mnimo relativo en x = 0, pero f (0) no existe (observacin a de la seccin 10.1). Definicin Sea f una funcin definida en un intervalo abierto I. Un punto c I se llama valor crtico de f si f (c) = 0 o f (c) no existe. As por ejemplo, para la funcin y = f ( x ) = (3 x 2) 3 x = (3 x 2) x1 3 se tiene que:
1 y = f ( x) = 3 x1 3 + (3x 2) x 2 3 , 3

Teorema 2: Teorema de los valores extremos Toda funcin continua en un intervalo cerrado tiene extremos absolutos (mnimo absoluto y mximo absoluto). El alumno puede verificar grficamente el teorema 2 intentando dibujar la grfica de una funcin que sea continua en [a, b] y que no posea extremos absolutos en [a, b]. Cada intento lo llevar a la conviccin de que la propiedad enunciada en el teorema siempre se cumple. Observacin El teorema 2 garantiza la existencia de extremos absolutos para una funcin continua en un intervalo cerrado, pero no dice cmo determinarlos. Sin embargo, es evidente que un extremo absoluto que no sea simultneamente extremo relativo se tiene que presentar en los extremos a o b del intervalo. Una regla prctica que se usa para determinar los extremos absolutos de una funcin continua f en un intervalo cerrado [a, b] es la siguiente:

ww

El siguiente teorema, que se enuncia sin demostracin, es de gran importancia en la teora de extremos de una funcin. Aunque tiene una fcil interpretacin geomtrica, exige para su demostracin elementos de clculo avanzado que estn ms all del alcance de este texto.

w.

at em

21.3 Extremos absolutos

at

ic

Los valores crticos de f son, por tanto, x = 0 y x = 1/6 (por qu?).

a1

.c

om

= 3x1 3 +

3x 2 12 x 2 = . 3x 2 3 3x 2 3

1.
2. 3.

Se determinan los valores crticos c1, c2, c3, ...,cn de f (resolviendo f ( x) = 0, o donde f (x) no existe). Se calcula f (a) y f (b).
Mximo absoluto de f = max { f (a), f (b), f (c1 ), f (c2 ),..., f (cn )} . Mnimo absoluto de f = min { f (a), f (b), f (c1 ), f (c2 ),..., f (cn )} .

Ejemplo 22.1 Determine, si existen, los extremos absolutos (mximo y mnimo) de la funcin
f ( x ) = x 4 8 x 2 + 16 en el intervalo [3, 2].

Solucin Como f es continua en el intervalo dado, la existencia de mximo y mnimo absoluto est garantizada por el teorema 2. Para determinarlos se aplica la regla prctica dada en la observacin del mismo teorema. Considere los valores crticos por medio de la derivada

f (3), f (2), f (0) y f (2),

f ( 3) = ( 3) 4 8(3) 2 + 16 = 81 72 + 16 = 25,

f (0) = 04 8 02 + 16 = 16,

f (2) = (2) 4 8(2) 2 + 16 = 16 32 + 16 = 0.

Mximo absoluto de f en [3, 2] es f ( 3) = 25. Mnimo absoluto de f en [3, 2] es f ( 2) = f (2) = 0. Ejemplo 21.2 Determine, si existen, los extremos absolutos de la funcin f ( x ) = 1 ( x 3) 2 3 en el intervalo [5, 4]. Solucin La continuidad de f en el intervalo [5, 4] garantiza la existencia de extremos absolutos de f en dicho intervalo. Se deben determinar primero los valores crticos por medio de la derivada

ww

w.

f (2) = 24 8 22 + 16 = 16 32 + 16 = 0,

at em

at

Los extremos absolutos se escogen entre los siguientes valores:

ic

a1

x = 0, x = 2, x = 2 son los nicos valores crticos.

.c

om

f ( x ) = 4 x 3 16 x = 0 4 x ( x 2)( x + 2) = 0

Cuidado con los valores extremos

f ( x) =
El deseado mximo o mnimo ocurre siempre en el nmero crtico. Tal vez est pensando que cuando slo hay un nmero crtico es intil comparar el valor con l los valores extremos del intervalo. Por desgracia, eso no es siempre cierto. En 1945, dos prestigiosos ingenieros aeronuticos dedujeron una funcin como modelo del alcance de un avin. Su intencin era usarla para maximizar el alcance. Encontraron un nmero crtico (correspondiente a repartir todo el peso del avin en las alas) y argumentaron que deba dar el mximo alcance. El resultado fue el famoso avin Flying wing. Aos ms tarde se vio que ese nmero crtico corresponda a un mnimo de la funcin alcance. En defensa de los ingenieros hay que decir que no disponan de las tcnicas de clculo actuales. Curiosamente, ese diseo recuerda mucho al bombardero B-2 Stealth. Esta historia sali a la luz con motivo de la construccin del B-2. La moraleja es evidente: compruebe los valores de la funcin en los nmeros crticos y en los extremos del intervalo. No acepte, por supuesto, aun cuando haya un solo nmero crtico, que el nmero crtico proporciona el mximo o el mnimo que est buscando.

2 . 3( x 3)1 3

El nico valor crtico de f es x = 3, donde la derivada no existe (note que f (x) = 0 carece de solucin). Los extremos absolutos se escogen entre los siguientes valores:
f (5), f (4) y f (3),
f (5) = 1 (5 3) 2 3 = 1 (8) 2 3 = 3, f (4) = 1 (4 3) 2 3 = 1 1 = 0,

f (3) = 1 (3 3) 2 3 = 1 0 = 1.

Mximo absoluto de f en [5, 4] es f (3) = 1. Mnimo absoluto de f en [5, 4] es f (5) = 3. Ejemplo 21.3 Considere la funcin f definida por
3x 4 f ( x) = 2 x 2 si si 3 x <1 1 x 3

Determine los extremos absolutos de f (si existen ) en el intervalo [3,3]. Solucin

La funcin es continua en todos los puntos del intervalo [3,3] (verifique). Por el teorema 2, f (x) posee mximo y mnimo absoluto en el intervalo considerado. Para determinarlos se consideran primero los valores crticos de f. La funcin derivada f (x) viene dada por:

ww

w.

at em
3 x <1 1 x 3

3 si f '( x) = 2 x si

Puesto que f (1) = 3 y f +(1) = 2, la derivada no existe en x = 1 y por tanto corresponde a un valor crtico de f. De otro lado, la derivada no se anula en ningn punto del intervalo. En consecuencia, el nico valor crtico de f es x = 1. Los extremos absolutos de f se escogen entre los siguientes valores:
f (1), f (3) y f (3),
f (1) = 12 2 = 1,

f (3) = 3(3) 4 = 13,

f (3) = 32 2 = 7.

at

ic

a1

.c

om

Mximo absoluto de f en [3, 3] es f (3) = 7. Mnimo absoluto de f en [3,3] es f (3) = 13. Ejemplo 21.4 Los puntos A y B estn situados uno frente al otro y en lados opuestos de un ro recto de 300 m de ancho. El punto D est a 600 m de B y en su misma orilla (figura 21.2). Una compaa de telfonos desea tender un cable desde A hasta D. Si el costo por metro de cable es 25% ms caro bajo el agua que por tierra, cmo se debe tender el cable, para que el costo total sea mnimo?

Figura 21.2

Solucin

Se pueden definir ahora las constantes y variables del problema: x: y: 600 x: k (constante):
5 k (constante): 4 P:

distancia de B a Q; 0 x 600. distancia de A a Q (longitud de cable bajo el agua). distancia de Q a D (longitud de cable por tierra). costo por metro de cable por tierra. costo por metro de cable bajo el agua. costo total (funcin a minimizar). (1)

De acuerdo al teorema de Pitgoras, y = x 2 + 3002 . Ahora, la funcin costo total viene dada por

5 C = k y + k (600 x). 4

ww

w.

at em

Sea Q el punto sobre la misma orilla y a una distancia x de B donde termina el tramo de cable bajo el agua.

at

ic

a1
(2)
5 k x 2 + 3002 + k (600 x), con 0 x 600 (dominio de C (x)), 4

Sustituyendo (1) en (2), la funcin costo total puede escribirse en trminos solamente de la variable x, as:
C ( x) =

.c

om

C ( x) =

5 k ( x 2 + 3002 )1 2 + k (600 x). 4

(3)

Como C (x) es una funcin continua en un intervalo cerrado, C (x) alcanza un valor mximo y un valor mnimo en [0, 600]. Al derivar en (3) e igualar a cero, se obtienen los valores crticos de C (x):
C ( x) =
1 2 5 1 k (2 x) ( x 2 + 3002 ) k = 0, 4 2

5x k 1 = 0, 12 4 ( x 2 + 3002 ) 5x 1 = 0 (puesto que k 0), 4 ( x 2 + 3002 )1 2

5 x 4 x 2 + 300 2 = 0,

w.

Esto significa, geomtricamente, que si el cable se tira desde A hasta B bajo el agua y desde B hasta D por tierra, demanda un gasto de 975k pesos (figura 21.3a).

ww

C (0) =

at em

De modo que x = 400 es el nico valor crtico de C (x), y de acuerdo al criterio de la segunda derivada (teorema 2, seccin 24.3) corresponde a un mnimo relativo (verifquelo). En consecuencia, el mnimo absoluto es el menor entre los siguientes valores: C (0), C (400) y C (600).
5 k 3002 + 600k = 975k . 4

at

ic

De donde x = 400.

a1

.c

4 x 2 + 3002 = 5 x.

om

Figura 21.3

C (600) =

5 k 6002 + 3002 = 375 5 k 838.5k . 4

total de 375 5 k 838.5k pesos (figura 21.3b).

5 k 4002 + 3002 + 200k = 825k . 4

C (400) =

Esto significa que si el punto Q est a 400 m de B y se tiende el cable bajo el agua desde A hasta Q y por tierra desde Q hasta D, demandara un gasto de 825k pesos, menor, para la compaa, que los dos anteriores (figura 21.3c).

ww

Esto indica, geomtricamente, que el punto Q coincide con D, y en este caso el cable se tiende directamente desde A hasta D bajo el agua, demandando un gasto

w.

at em

at

ic

a1

.c

om