3

El Teorema del Valor Medio

Este captulo explora una serie de conceptos y teoremas desarrollados en los albores del siglo XIX, cuando algunos matemticos comenzaron a insistir acerca de la necesidad de proveer demostraciones ms rigurosas de ciertos principios del Anlisis que hasta entonces se aceptaban como evidentes. Los teoremas fundamentales, requieren para su demostracin una descripcin de las propiedades de los nmeros reales que escapa a los objetivos de este curso, pero sus enunciados son fcilmente comprensibles e intuitivamente aceptables. Sin embargo no todo termina ah. La segunda lnea de dicultades todava es ardua. Est compuesta de razonamientos de mediana complejidad que se siguen slo con trabajo y atencin. A veces, la Matemtica resulta fastidiosa para el estudiante de otras disciplinas. Tal vez ese sera el caso con las demostraciones bsicas que dejaremos de lado. Pero el resto del material incluye un ir y venir entre el problema prctico, la intuicin y la formalizacin que es imprescindible en cualquier disciplina con base en las Ciencias Exactas. Invitamos al lector a sumergirse en estas pginas con entusiasmo.

3.1

Asntotas

Lmites en el innito. Asntotas oblicuas y horizontales

La palabra "innito" seala en nuestro idioma un ms all de lo que expresan los nmeros. Como los nmeros se usan para contar y para medir, una mirada ms na distingue dos tipos de innito. Aqu estaremos involucrados con el innito de medir. Las variables reales continuas que estamos estudiando son variables de medir. Para contar se usan los enteros. La Matemtica trata de evitar las discusiones loscas acerca del innito y encuentra maneras algebraicamente operativas de describir los fenmenos relacionados con medidas innitamente 1 , grandes e innitamente pequeas. Si pensamos en la dualidad entre las variables x y y = x en el sentido de que una es tan grande cuanto pequea es la otra, tendremos una manera de describir el acercamiento de x hacia el innito con el acercamiento de y hacia el cero. Mirando ahora el procedimiento de cambiar variables para el clculo de lmites insinuado en el ejercicio 5 del captulo 2., podemos adoptar la siguiente denicin: Denicin 1:
x

lim f (x) := lim f

y0

1 , y

(1)

Captulo 3. El teorema del valor medio

con las consiguientes versiones laterales: 1 , lim f (x) := lim f + x+ y y0 Ejemplos: 1. limx 2. limx
1 xn

1 lim f (x) := lim f . x y y 0

(2)

1 = limy0 (1 + y ) = 1 3. limx 1 + x 4. lim

= limy0 y n = 0 1 n y = 0 n x = limy 0

1 3y 2 3x 2 y (3 2y) = lim 1 = 3. = lim x x + 4 y 0 y 0 y (1 + 4y) y +4

Habindose reducido la denicin de lmites en el innito a lmites en cero con el uso de otra variable, sern de aplicacin en este nuevo punto lmite (el cero) las propiedades estudiadas en el captulo 2, con excepcin, por ahora, de la segunda parte de la propiedad 1, y aclarando que en la propiedad 8, los entornos de son los complementos de los intervalos cerrados. Ejemplos: 5. Para calcular el lmite en el innito de una funcin racional, P (x) , x Q (x) lim caben tres posibilidades: (a) n = gr (P ) < m = gr (Q): se saca factor comn xm en numerador y denominador. 1 1 2 3 2 3 limx x x4 x 0 x2 2x + 3 2 x3 + x4 2 x3 + x4 = = = 0. = lim 4 lim 2 1 2 1 4 x 3x + 2x 1 x x 3 + 3 4 3 limx 3 + x3 x4 x x

(b) n = gr (P ) > m = gr (Q): se saca factor comn xn en numerador y denominador. 2 1 2 1 3+ x x4 3 + x 3x4 + 2x 1 3 x4 3 x4 = lim 1 = lim 4 1 lim 2 3 2 3 . x x2 2x + 3 x x x x x 3 + x4 3 + x4 x2 x2 (c) n = gr (P ) = gr (Q) : se saca factor comn xn en numerador y denominador. 2 2 limx 3 x x 3 x 3 3x 2 = = lim lim 4 = 1 = 3. x x + 4 x x 1 + 4 limx 1 + x x Ntese que recalculamos el lmite del ejemplo 4. 6. 1 sin x = lim sin x = 0. lim x x x x Hemos usado la propiedad 8. de lmites: seno est acotada y limx 70
1 x

El numerador tiene lmite no nulo y el denominador tiene lmite cero. El cociente no tiene lmite.

= 0 (ejemplo 1).

3.1. Asntotas

Ejercicio 1: Hallar limx f (x) para x3 x 1. 2x 2. 4 1 4x f (x) = 4. sen 5. x3 x4 1 7. 2 8. 4x4 +x2

cos x x 5x4 x3 +3x+2 x3 1 2x4 1 4x3 +x2

3. 6. 9.

x2 +1 x2 1 x2 +1 x+5 2x4 1 4x5 +x2

Cuando existe lmite en el innito de una funcin, digamos limx f (x) = b, ese comportamiento se reeja en el grco con un acercamiento de Gr (f ) a la recta y = b, ya que limx [f (x) b] = 0. Este acercamiento se da hacia los "extremos" lejanos del grco en sentido horizontal y bien podra producirse en slo uno de los extremos si el lmite es de tipo lateral. En esos casos se dice que la recta y = b es una asntota de f . Uno podra imaginar el fenmeno como una tangencia en el innito. Este tipo de acercamiento tambin se da con rectas oblicuas Denicin 2. La recta de ecuacin y = l (x) = mx + b es una asntota de la funcin f (o del grco de f ) si
x

lim [f (x) l (x)] = 0.

Si slo uno de los lmites laterales en el innito se anula, se dir que l es una asntota en + o en , lo que corresponda. Ejemplos: 7. En los ejemplos 1 y 2, el eje cooredenado horizontal es una asntota. en el ejemplo 3., la 1 , y en el ejemplo 4., la recta y = 3 es recta y = 1 es asntota de la curva y = 1 + x 3x2 asntota de la curva y = x+4 . Veamos los grcos generados por el ordenador de estos dos ltimos casos:
y 5 15 y

2.5

10

5 0 -5 -2.5 0 2.5 x -15 -10 -5 5 0 0 5 10 x -2.5 -5

-10 -5

gura 3.1.a.

y =1+

1 x

gura 3.1.b. y = 71

3x2 x+4

Captulo 3. El teorema del valor medio

P (x) 3 8. La funcin racional f (x) = x 2x4 = Q(x) con gr (Q) = gr (P ) + 1. Si efectuamos la divisin entera de P por Q, obtendremos un cociente C de grado 1 y un resto r de grado 0, una constante: P = QC + r. Dividiendo entre Q,
2

f (x) =

r P (x) = C (x) + . Q (x) Q (x)

r C , polinomio de grado 1, es una recta. Y f C = Q , es una funcin racional con gr (Q) > gr (r) = 0. Segn se vi en el ejemplo 5.a. el lmite en el innito es 0. Luego C (x) es una asntota oblicua.

x2 3 x 2 + 2x 2x 3 2x + 4 1
Entonces,

2x 4 1 2 x +1

y C (x) = 1 2 x + 1 es asntota.
y

1 1 , f (x) = x + 1 + 2 2x 4

3.75

2.5

1.25

0 -2.5 0 2.5 5 x -1.25

gura 3.2.
P (x) Resumiendo, para funciones racionales, f (x) = Q (x) , hay asntotas en el innito cuando gr (P ) < gr (Q) (el eje y = 0 es asntota), cuando gr (P ) = gr (Q) (asntota horizontal) y cuando gr (P ) = gr (Q) + 1 (asntota oblicua). Si gr (P ) > gr (Q) + 1, aparecen polinomios asintticos que se obtienen con el mtodo de dividin entera propuesto en el ejemplo 8. En el ejemplo 6., sin embargo, presentamos una funcin no racional con lmite nulo en el innito, o sea con asntota horizontal (el eje). Cul es el mtodo general para encontrar asntotas oblicuas (incluyendo entre estas las horizontales como caso particular? Supongamos que la recta y = l (x) = mx + b es asntota de la funcin f . Nos interesa encontrar los nmeros m y b. f (x) mx b 0 lim (f (x) mx) = b (ejerc. 5, cap.2). x

72

3.1. Asntotas

Enronces,
x

lim

Luego

b f (x) f (x) mx m = lim = lim = 0. x x x x x lim

f (x) = m. (3) x x La exixtencia del lmite (3) es condicin necesaria para que pueda haber asntota. Pero no suciente (ver ejemplo 10). m es el candidato a pendiente de la asntota. Ahora habr que vericar si existe b = lim [f (x) mx] .
x

Si esto ocurre, entonces limx [f (x) (mx + b)] = 0 y la recta y = mx + b es una asntota. Ejemplos: 9. Vimos (ejemplo 6) que
sin x x

0 para x . Si hacemos f (x) = sin x + 0.1x 1, x

tendremos a la recta l (x) = 0.1x 1 como asntota.

y

1.25

0 -20 -10 0 10 x 20

-1.25

-2.5

gura 3.3 En nuestra denicin de asntota, nada impide que se encuentre con la curva, incluso muchas veces. 10. Buscamos asntotas de y = f (x) = x. El primer paso es calcular limx xx = 1 limx = 0 = m. De haber asntota, ser horizontal. Pero limx x no existe. x En consecuencia no hay asntota. 11. (a) La funcin sg (x) = x 2 tiene dos asntotas diferentes, y = 1 en + y y = 1 x en . Pero es discontinua en 0. (b) f (x) =
x , x2 +1

tambin tiene asntotas horizontales distintas en . En efecto,

x

x 1 lim = lim sg (x) q 2 x x +1 1+ 73

1 x2

= 1.

Captulo 3. El teorema del valor medio

2

x 1 (c) f (x) = , tiene asntotas oblicuas diferentes en . Mostramos grcos genx2 +1 erados por el ordenador de los dos ltimos ejemplos.

10

7.5 0.5

5 0 -10 -5 0 5 x 2.5 10

-0.5 0 -10 -5 0 5 x 10

g. 3.4.a.

-1

y=

x x2 +1

g. 3.4.b.

y=

x2 1 x2 +1

Ejercicio 2: Encontrar, cuando las haya, asntotas en el innito de las siguientes curvas. 1. y = 4. y = 7. y =
2x3 x x4 1 5x4 x3 +3x+2 x3 1 2x4 1 4x4 +x2

2. y = 5. y = 8. y =

cos x x x2 +1 x+5 2x x2 +1

3. y = 6. y = 9. y =

x2 +1 x2 1 1 10 x

cos x x

3x2 x2 +1

Lmites innitos. Asntotas verticales

1 Volvemos a mirar la funcin y = x . La simetra de esta curva muestra que lo que se pueda decir acerca del comportamiento de la variable x en el innito debe ser vlido para la variable 1 0, el mismo criterio servir para y en el innito. Si para decir que x , pedimos que x 1 la variable dependiente: y si y slo si y 0.

Denicin 3. (El punto a hacia el que tiende la variable independiente puede ser un nmero . Tambin puede tratarse de una tendencia lateral).
xa

lim f (x) =

74

xa

lim

1 = 0. f (x)

3.1. Asntotas

Como

1
1 y

= y,
xa

lim f (x) = 0 lim

1 = . xa f (x)

(4)

Y tambin
xa

lim f (x) = si y slo si existe una funcin u = (x) tal que lim (x) = 0 y f (x) = 1 . (x) (5)

xa

Tal vez sea ms til decirlo de esta manera: y para x a si y slo si y = 1 para cierta u tal que u 0 para x a. u

Cuando en un entorno reducido de a el signo de f (x) permanece constante podremos ser ms especcos y considerar el lmite innito con el correspondiente signo. Es decir,
xa

lim f (x) = + lim f (x) = f (x) > 0 en un entorno reducido de a.

xa

Anloga denicin para f (x) . Ejemplos: 12. Los siguientes lmites se obtienen inmediatamente a partir de la denicin.
1 1. lim x = x0 x0 1 3. lim x 2 = +

2.

5. 7.

x x1+

lim x =
1 x1

1 4. lim x = 2
x0

x0

lim

1 x

6.

lim x3 = lim

lim

= +

8.

x( 2)

tan x = +

13. En la seccin 2.3. se mencion como no derivable a la funcin 3 x, con tangente vertical en el origen. Si calculamos el lmite del cociente incremental en ese punto, 3 h 1 3 = lim lim = +, pues lim h2 = 0. 3 2 h0 h h0 h 0 h Si admitisemos derivadas innitas, stas coincidiran con los puntos de tangente vertical. p Para la funcin |x|, en cambio, p |h| lim = y h0 h 75 p |h| lim = +. h0+ h

Captulo 3. El teorema del valor medio

Habra derivadas laterales innitas de distinto signo. No hay una recta tangente vertical sino semirectas tangentes verticales.
y 1
y 1

0.5

0.5

0 -1 -0.5 0 0.5 x 1
-1 -0.5

0 0 0.5 x 1

-0.5

-0.5

-1

g. 3.5.a.

y=

3 x

-1

g. 3.5.b.

y=

El siguiente paso es averiguar cmo aceptan los nuevos lmites innitos las propiedades del lmite .En este punto conviene antes aclarar que los reducidos de in nito son 1 entornos < = x : |x| > 1 , donde conjuntos de la forma {x : |x| > M }, provenientes de x : x . Para los lmites laterales en el in nito, los semi-entornos considerados cuando ponemos M = 1 x + y x son, respectivamente, semirectas del tipo (M, +) y (, M ), ambas con M > 0. Tambin cabe sealar que hasta denir los lmites innitos, en aquellos casos donde ste existe decamos que no exista lmite. Por lo tanto, si quisiramos conservar la coherencia, deberamos decir que "existe lmite" y "existe lmite innito" son dos sucesos mutuamente excluyentes,.como si la frase "lmite innito" fuera una palabra nueva que no incluye a la palabra "lmite". Sin embargo, resulta bastante ms cmodo llamar lmite nito al viejo lmite y aceptar oraciones mucho ms gratas al odo como "existe lmite nito o innito". As lo haremos cuando no quepa confusin. Repasaremos las propiedades del lmite, admitiendo ahora valores innitos para ambas variables. Productos y cocientes. Tratamos con dos funciones, y = f (x) y z = g (x) . Nos interesa el lmite de su producto y z o su cociente y z , para x a. a puede ser nito o innito y el lmite puede ser completo o lateral.
1 1 ,z = v con u, v 0 = yz = 1. Si y , z entonces y z . En efecto, y = u 1 con uv 0 = yz 0 . El cono utilizado para recordar esta regla ser el siguiente: uv

p |x|

(6)

2. Si z y y est acotada en un entorno reducido de a, entonces y z 0. Esto proviene 1 con v 0. Entonces, y de la regla 3(b) de los lmites nitos, pues z = v z = yv 0. El cono es A =0 (7) (A por acotado). 76

3.1. Asntotas

3. Si el acotado es el denominador y el innito el numerador, el lmite ser innito. Bajo los supuestos del caso 2 anterior, z 1 z y = y con 0 = . y z y z = A (8)

4. Un producto con un factor innito y el otro que se mantenga alejado de cero, en cambio, tender a innito, ya que el factor alejado de cero no encontrar cmo compensar la grandeza del que z se mantiene alejado de 0. Esto es, |z | > 0, jo. otro. Digamos M = 1 es acotado. Ahora Entonces, 1 z yz =y 1
1 z

y
1 z

segn se discuti en el caso 3.

Tener inversa acotada es lo mismo que ser la inversa de una acotada. De modo que la 1 = ,que coincide con (8). Ntese que sntesis de este caso se representara con A este caso implica el caso 1, ya que una funcin con lmite innito sin duda se mantiene alejada de cero. 5. Si un factor tiende hacia cero y el otro hacia innito, nada se puede armar del producto. Es un lmite indeterminado, como lo es el ya conocido cono 0 0 . Esto signica que cada caso paricular se resuelve atendiendo a sus peculiaridades pero que no hay reglas generales. 1 con v 0. Al realizar el producto yz = y Si tenemos y 0, z , z = v v caemos 0 en el caso 0 . 0 = indeterminado. (9) 1 2 1 1 Ejemplos: limx x x = limx x = (0 = ). limx x2 x = limx x = 1 0 (0 = 0). limx x x = 1 (0 = 1) . 6. Si y , z Nada se puede armar acerca de v 0 u, v 0 = y z = u , indeterminacin del tipo 0 .
y z.

En efecto, y =

1 u, z

1 v

con

Sumas y restas.

Ejemplos: limx = 1 . 1

x x2

=0

= indeterminado 2 =0 , limx x x = = ,

(10) limx
x x

1. Un sumando innito y otro acotado produce una suma ininita. Si y y z est z z z acotada, y + z = y 1 + y . y 0 por (7). Luego 1 + y se mantiene lejos de 0 y, z por caso 4 de producto, y 1 + y . A+= (11)
1 1 ,z = v con 2. Si y , z nada se puede armar acerca de y + z.. En efecto, y = u 1 1 u+v 0 u, v 0 = y + z = u + v = uv , indeterminacin del tipo 0 . Sin embargo, si y y z tienen el mismo signo, v v u 1+ u 1+ u u+v = = , y+z = uv uv v

77

Captulo 3. El teorema del valor medio

v v pues u > 0 1+ u se mantiene lejos de cero, y es de aplicacin el caso 4 de productos. El signo del lmite, est dado por el signo de los sumandos, ya que es aqul de v. la tradicin recuerda estos dos resultados con una simbologa que supone que una variable que tiende a innito lo hace siempre con un signo determinado y suprime el + delante de

= indeterminado. Ejemplos: limx 0 2 1 1 1 1 lim = ( = ) , lim x 0 x 0 x = x x x = 0 1 = 18 ( = 18) + 18 x

x

+ = ,

(12)

limx0

1 x

( = 0) ,

Ejercicio 3: Calcular los siguientes lmites. 1.4 lim 2x 41 2 x0 4x +x

2.-

1 x

lim

x2 +1 x2 1

3.
2

3 lim 2x4 x x1 x 1

4.-

2x3 x 4 x1 x 1

lim

5. -limx (2)

x tan x

Cuando en un punto a R hay un lmite innito, el grco de la funcin se acerca hacia la recta vertical x = a. Decimos entonces que la recta es una asntota vertical del grco de la funcin o, directamente, de la funcin. Ejemplos:
1 . Ntese que los dos lmites laterales son de distinto 14. El eje vertical es asntota de y = x 1 signo. No es este el caso en y = x2 , que tambin tiene la misma asntota.
y

g. 3.6.a.

y=

1 x

g. 3.6.b. 78

y=

1 x2

3.1. Asntotas

1 15. En el ejemplo 7, el eje y es asntota de y = 1 + x y la recta x = 4 lo es de 3x2 x2 3 y = x+4 . En el ejemplo 8 tambin hay una asntota vertical de y = 2 x4 : la recta x = 2

3.75

2.5

1.25

0 -2.5 0 2.5 5 x -1.25

gura 3.7.

sin x 16. y = tan x = cos x tiene innitas asntotas verticales: los puntos de la forma k entero, en los cuales se anula el denominador.

+ k con

10

0 -5 -2.5 0 2.5 x 5

-5

-10

gura 3.8.

y = tan x

79

Captulo 3. El teorema del valor medio

Ejercicio 4: Encontrar, cuando las haya, asntotas verticales de las siguientes curvas. 2 2x+1 x+2 1 1.- y = 7 2.- y = x 3.- y = x 3x2 x+3 2 4.- y =
1 sin x

5.- y =

sin 2x x2

3.2

Estudio de funciones

Mximos y mnimos
Quizs no haya en la naturaleza una funcin a la que le prestemos ms atencin que a la temperatura ambiente. Pensemos en la descripcin de este parmetro en el transcurso de un da. Supongamos que medimos el tiempo en horas. Estar representado por una variable t que recorre el intervalo [0, 24]. Los valores correspondientes de la temperatura estarn representados por otra variable, digamos y , que la mide en cierta unidad: o C, por ejemplo. y = f (t) , 0 t 24.

Uno puede imaginar cmo, mientras el tiempo recorre de izquierda a derecha el intervalo [0, 24] sin saltearse ningn punto, la temperatura se mueve, tambin ella sin saltearse puntos, pero oscilando, subiendo y bajando, sin salirse de un intervalo. Se puede pensar a la variable y como las posiciones que va ocupando el punto superior de la columna mercurial de un termmetro. En sus oscilaciones no puede pasar de un punto a otro sin pasar por los intermedios. Adems, en algn instante pasar por una posicin que no es superada en altura por ninguna otra (aunque si puede ser igualada): M, la temperatura mxima. Y en algn otro (o algunos otros) instante, pasar por la posicin ms baja, la temperatura mnima m. En denitiva, los valores f (t) correspondientes a los valores t [0, 24] , llenan un intervalo cerrado [m, M ] .Qu aspectos nos interesa conocer de esta funcin? Sin duda los extremos m y M del intervalo que soporta los valores de y y a qu horas fueron alcanzados, ya que ellos representan las temperaturas mxima y mnima de la jornada. Y tambin los subintervalos de oscilacin de f . Cundo la temperatura est en aumento y cundo disminuye. El estudio de estas cuestiones, esto es la descripcin del comportamiento de una funcin, constituye el objeto de esta seccin. Denicin 4. Diremos que una funcin f alcanza su mximo valor relativo al conjunto S Dom (f ) en el punto a, si f (a) f (x) para todo x S. El nmero f (a) es el mximo de f en S [f (a) = max f |S ] . Si S = Dom (f ), el mximo se llama absoluto1 . La denicin de mnimo es idntica, cambiando por . Para decir que f alcanza un mximo o un mnimo en un punto, sin querer especicar si se trata de uno o de otro, se se dir que alcanza un extremo. Los ejemplos que siguen a continuacin servirn tambin como introduccin del lenguaje que usaremos. Debemos advertir que este es un tema en el que se ha generado cierta diversidad de lenguaje: no todos llaman a las cosas con el mismo nombre y, peor an, se llama con el mismo nombre a cosas diferentes. Nosotros haremos nuestro aporte al caos.
Como siempre se dispone de cierta libertad para considerar arbitrariamente cul es el dominio de una funcin, esta denicin debe tomarse con el valor "relativo" que posee.
1

80

3.2. Estudio de funciones

Ejemplos:
y
y 1

1.5

0.5

0 0 2.5 5 7.5 x 10

0.5
-0.5

0 -1 -0.5 0 0.5 x 1
-1

Ejemplo 1
y 1

Ejemplo 2
y 4

0.5

0 -1 -0.5 0 0.5 1 x -2 -1

0 0 1 x 2

-0.5

-2

-1

Ejemplo 3
y 4

Ejemplo 4

-4

b a
0 1 x 2

0 -2 -1

Ejemplo 5

Ejemplo 6

1. La funcin y = |x| + 1 alcanza su mnimo absoluto (que vale 1) en x = 0. 2. La funcin seno, alcanza su mximo absoluto en forma 2 + 2k con k entero.
2.

Y tambin en todos los puntos de la

3. y = x tiene su mximo relativo al intervalo (1, 1] en x = 1. No tiene mnimo relativo a ese intervalo, pues el valor 1 no lo Para cualquier a (1, 1] , f (a) no es un toma; 1 a1 = mnimo, porque, por ejemplo, f a 2 2 < a = f (a) . (Piense esto con cuidado) 4. La funcin aqu gracada, que tiene dominio en el intervalo 3, 3 , no alcanza mximo ni mnimo. Tiene una discontinuidad en la que toma el valor 0, y a sus lados tiende hacia valores que no alcanza. 1 no tiene mximo ni mnimo absolutos. Tiene un mnimo relativo al intervalo 5. f (x) = x (0, 1] en 1, y un mximo relativo a [1, +) en 1. 81

Captulo 3. El teorema del valor medio

6. El grco que se muestra en el ejemplo 6 corresponde a una funcin que est denida en (, +) y sigue, hacia los "extremos" del intervalo, la tendencia que muestra la gura. No tiene, en consecuencia, extremos absolutos. Sin embargo..."algo pasa" en los puntos a y b. Tambin se observa un fenmeno similar en el grco del ejemplo 4. La prxima denicin recoge esa peculiaridad. Denicin 5. Una funcin f tiene en un punto a Dom (f ) un mximo local si existe un intervalo abierto I, a I Dom (f ) (esto es un entorno I de a), respecto del cual f tiene un mximo relativo en a. Anloga denicin para mnimo local . La existencia del concepto de extremo local provoca el contrapunto de llamar globales a los extremos denidos anteriormente. Los extremos locales no requieren la mencin de un conjunto, son una propiedad del punto. Un extremo global, en cambio, lo es relativo a un conjunto. O absoluto si lo es con respecto a todo el dominio de la funcin. Cul es la relacin entre extremos locales y extremos globales? El ejemplo 6 muestra una funcin que tiene un mximo local en a y un mnimo local en b, que no son absolutos. El mximo relativo mencionado en el ejemplo 3, no es mximo local. Ni an considerando a la funcin como restringido su dominio a (1, 1] : la denicin de extremo local requiere que el punto sea interior al dominio. Lo que s se puede decir es esto: Teorema 1: Si una funcin alcanza un extremo global relativo a un conjunto S en un punto interior a S , entonces la funcin tiene en ese punto un extremo local. Digamos de paso que el conjunto S a que se reere la denicin 1 ser siempre un intervalo. Cualquier problema de bsqueda de extremos de una funcin se puede llevar a una bsqueda en un intervalo. La denicin 1 no proporciona ninguna pista para encontrar extremos globales de una funcin. Si se logra adivinar un punto a en el cual se realiza un extremo de f , la denicin dice cmo probar que en ese punto hay efectivamente un extremo. Los extremos locales de la denicin 2, en cambio, mirados a travs de los grcos en los ejemplos 2, 4 y 6, sugieren un posible mtodo de bsqueda. En un extremo local, cuando hay recta tangente, sta es horizontal (el ejemplo 1 muestra que puede no haber tangente y el 3 que en extremos no locales la tangente puede no ser horizontal). Teorema 2: Si f alcanza un extremo local en un punto a y es derivable en ese punto, entonces f 0 (a) = 0. Demostracin. Si f tiene un mximo local en a, f (a + h) f (a) 0 para |h| chico. Luego, f (a + h) f (a) f (a + h) f (a) 0 para h > 0 y 0 para h < 0. h h Tomando lmites laterales, se deduce que D f (a) 0 y D+ f (a) 0. Como f es derivable, debe ser f 0 (a) = 0 Si f tuviera un mnimo en a, f tendra un mximo y entonces f 0 = 0 Ntese que la recproca no vale y la derivada de una funcin puede anularse en un punto sin que en l haya un extremo local. (y = x3 en x = 0). El teorema da candidatos a extremos locales. Ayudados por los dos teoremas, si lo que se busca son los extremos globales de una funcin relativos a un intervalo, se puede pensar de la siguiente manera: El mximo y el mnimo de la 82

3.2. Estudio de funciones

funcin relativos al intervalo se pueden alcanzar en los extremos o en el interior del intervalo. Si un extremo (mximo o mnimo) es alcanzado en el interior del intervalo, entonces es local (teor. 1). Luego, o la funcin no es derivable o la derivada se anula.(teor. 2) Si llamamos puntos crticos a aquellos donde no existe derivada o la derivada es nula, un mximo o un mnimo slo puede ser alcanzado en los extremos del intervalo o en un punto crtico. Uno est tentado a seguir este procedimiento para "pescar" extremos: se buscan todos los puntos crticos. Si son un nmero nito se calcula el valor de la funcin en ellos y en los extremos del intervalo (si es cerrado). El valor ms grande es el mximo y el ms chico es el mnimo. Eso est bien si existen mximo y mnimo relativos a ese intervalo!. En los ejemplos 1 a 6 vimos muchos casos en que no. Ejemplo 4. (revisitado). La funcin gracada en el ejemplo 4 responde a esta denicin analtica: 4 x 4x2 + 3 sg(x) si x 3, 0 0, 3 f (x) = 0 si x = 0
x (Recordamos de la seccin 2.2. que sg (x) = |x | ). f es una funcin denida en el intervalo cerrado 3, 3 , derivable en el abierto salvo en el origen, donde ni siquiera es continua. f 0 (x) = 4x3 8x sg (x) = 4x x2 2 sg (x) ,

Pero en 2 y 2 slo hay mximo y mnimo locales. Porque, claramente,

x0

se anula 2 y en 2. Segn la denicin, el conjunto de los puntos crticos en es 2, 0, 2 (el 0 es P.C. porque f no es derivable). Si calculamos el valor de f en los P.C. y en los extremos del intervalo: f 3 = 0, f 2 = 1, f (0) = 0, f 2 = 1, f 3 = 0. lim f (x) = 3 y lim f (x) = 3,

x0+

valores que no son alcanzados; pero, cuando x est cerca del 0, f (x) sobrepasa por arriba el valor 1 alcanzado en 2 y por abajo el valor 1 alcanzado en 2. En este intervalo la funcin no tiene extremos absolutos, por lo tanto el mtodo no pudo pescar peces que no estaban en el estanque. Resulta entonces clara la importancia de saber a-priori si en un intervalo una funcin alcanza su mximo y su mnimo. Y aqu conviene recordar el ejemplo de la columna mercurial. La condicin para que la variable dependiente recorra su imagen sin saltear puntos es la continuidad de la funcin. El resultado que describe esta situacin es un teorema debido a Bolzano2 y Weierstrass3 .Su demostracin se basa en propiedades de la recta real que nosotros no vamos a estudiar.en este libro, pero mirando los ejemplos, el resultado es convincente: Teorema 3. (de Bolzano y Weierstrass) Si f es una funcin continua e I Dom (f ) es un intervalo, entonces f (I ) es un intervalo. Si adems I es cerrado, entonces f (I ) es un intervalo cerrado.
2

Bernard Bolzano (1781-1848), matemtico, lgico, lsofo y telogo checo. Karl Weierstrass (1815-1897), matemtico alemn.

83

Captulo 3. El teorema del valor medio

Del teorema de B-W surge claramente que una funcin continua en un intervalo cerrado alcanza su mximo y su mnimo. Vamos a explicitarlo: Corolario 1. Si f es continua en un intervalo cerrado [a, b], entonces f alcanza su mximo y su mnimo en [a, b] . Demostracin. Por el teorema, f ([a, b]) = [c, d] para ciertos c y d. Como todos los valores f (x) con x [a, b] estn en [c, d] , resulta, para todo x, c f (x) d. Pero adems [c, d] = f ([a, b]) implica la existencia de dos puntos x1 , x2 [a, b] tales que f (x1 ) = c y f (x2 ) = d. Entonces y d = f (x2 ) = max f |[a,b] c = f (x1 ) = min f |[a,b] La funcin continua del ejemplo 3 no alcanza su mnimo porque el intervalo se abre en 1. La del ejemplo 4 no alcanza ningn extremo a causa de su discontinuidad. La del ejemplo 5, en (, +) suma los dos males. Estamos hablando de los fracasos del teorema, pero disfrutaremos de sus xitos. Saber que una funcin alcanza sus valores mximo y mnimo es importante. Para funciones continuas en intervalos cerrados funciona el mtodo para pescar extremos. Ejemplos: 7. Le quitamos la discontinuidad al ejemplo 4, simplemente borrando la funcin . Ahora sg f (x) = x4 4x2 + 3, e investigamos por sus extremos en el intervalo cerrado 3, 3 . Como ahora f es continua, sabemos, por el teorema de Bolzano - Weiertrass, que alcanza su mximo y su mnimo en ese intervalo. Slo puede alcanzarlos en los extremos o en 0 2 puntos crticos. f (x) = 4x x 2 , de modo que el conjunto de los puntos crticos es P C = 2, 0, 2 . La evaluacin de f en los candidatos da: 2 = 1, f 3 = 0. f 3 = 0, f 2 = 1, f (0) = 3, f
y 3

0 -2 -1 0 1 x -1 2

gura 3.10 No habiendo otros puntos crticos, se concluye que la funcin alcanza su valor, mximo 3, solamente en el punto x = 0 y su mnimo, 1, en los puntos x = 2 y x = 2, y en ningn otro. 84

3.2. Estudio de funciones

8. Supongamos ahora que queremos investigar extremos absolutos de la misma funcin f (x) = x4 4x2 + 3 en su dominio natural R. Como el dominio es un intervalo abierto, todo extremo absoluto debe ser extremo local. Slo que ahora, como el intervalo es abierto, no funciona B - W asegurando la existencia de mximos y mnimos. Observamos que limx f (x) = +. Esto asegura que no puede haber mximos absolutos, ya que cualquier valor ser superado. La nica posibilidad que queda de obtener un extremo es el mnimo. Y debera mnimo local hallado entonces, por ser necesariamente local, ser el 2 = 1 en 3, 3 . Podr ser en los puntos 2. Sabemos que f (x) f f (x) < 1 fuera de este intervalo? No. Porque f (x) > 0 all. Conclusin: f no tiene mximo absoluto y alcanza su mnimo absoluto, que vale 1, en 2.

Ejercicios: 5. Determinar mximos y mnimos, locales y globales relativos a los intervalos sealados, de las siguientes funciones. 1. 3. 5. 7. 9. x2 2x + 5 3x2 x + 1 2x2 + 3x 1 x3 3x sin x + cos x en en en en en [1, 2] 1 , 1 6 [0 2] , 3, 3 (, ) 2. 4. 6. 8. 2x2 3x 1 x2 + 2x + 2 x3 + 2 cos x en en en en (, ) (, 0] [ , 1] 13 0, 2

6. Probar, usando el teorema 3, y el ejercicio 53 del captulo 1 que, si f es continua en el intervalo I, entonces y1 , y2 f (I ) [y1 , y2 ] f (I ) .
(En la seccin 3.4. podr encontrar este ejercicio resuelto, al igual que el ejercicio 8.)

7. Probar que Rg (sin) = Rg (cos) = [1, 1] . 8. Probar que si f es una funcin continua en un intervalo y hay dos puntos x1 , x2 tales que f (x1 ) < 0 y f (x2 ) > 0, entonces existe por lo menos un punto (x1 , x2 ) tal que f ( ) = 0. (este resultado se conoce habitualmente como Teorema de Bolzano). 9. Si f es continua en un intervalo (a, b) y no se anula en ese intervalo, entonces sg (f ) es constante.

Funciones crecientes y decrecientes

Retomando el ejemplo de la temperatura ambiente a lo largo de una jornada, con el que comenzamos este captulo, se seal all importancia de identicar los intervalos de tiempo durante los cuales la temperatura aumenta y aquellos en que la misma disminuye. Es clara la relacin entre ese problema y la siguiente denicin. Denicin 6. f es creciente en el intervalo I si a, b I y a < b, implican f (a) f (b) . si bajo las mismas suposiciones la conclusin es f (a) < f (b) , diremos que f es estrictamente creciente. 85

Captulo 3. El teorema del valor medio

En un lenguaje ms llano: la funcin f es creciente si cada vez que aumenta la variable independiente la variable dependiente no disminuye. Si el aumento de la v.i. signica tambin un aumento de la v.d. entonces f es estrictamente creciente. Hacemos notar que slo denimos (porque slo nos interesa) funcin creciente en un intervalo. Anlogamente, cuando a < b f (a) f (b) , la funcin es decreciente. Aunque obvio, no es tan fcil escribir la demostracin de lo siguiente (ver ejercicio 28): Cuando una funcin es creciente o decreciente en un intervalo abierto y continua en el cerrado, conserva las mismas caractersticas en el cerrado. Inclusive si la monotona4 es estricta. Cuando digamos "recorrer el grco de una funcin" supondremos que lo estamos haciendo en el sentido natural de la variable independiente: de menor a mayor, o sea de izquierda a derecha. Cuando se recorre el grco de una funcin creciente, no se desciende. Si la funcin es estrictamente creciente, se asciende. Con una estrictamente decreciente, por el contrario, se desciende. En una funcin creciente, los incrementos considerados para el clculo de la derivada son del mismo signo: x > 0 y 0 y tambin x < 0 y 0. Por consiguiente, el cociente incremental es siempre no negativo y as se conservar su lmite, si es que existe. Teorema 4. Si f es una funcin creciente en un intervalo, en cada punto x de ese intervalo en el que sea derivable ser f 0 (x) 0. Si en cambio f es decreciente, ser f 0 (x) 0. La idea de relacionar el carcter creciente o decreciente de la funcin con el signo de la derivada es muy interesante. Es generalmente ms fcil mirar el signo de la derivada que vericar la denicin de creciente. Pero para que el concepto sea realmente til, lo que se necesita es un teorema recproco que, cuando veamos que la derivada es positiva en un intervalo, nos permita asegurar que la funcin es creciente. Tal teorema vale pero la demostracin es ms difcil. La dejaremos para otra seccin Teorema 5. Sea f una funcin derivable en un intervalo (a, b). Entonces: f 0 (x) > 0 en (a, b) f 0 (x) f 0 (x) < 0 en (a, b) 0 en (a, b) f 0 (x) 0 en (a, b) f creciente en (a, b) . f eatrictamente creciente en (a, b) . f decreciente en (a, b) . f estrictamente decreciente en (a, b) .

Corolario. Si f 0 (x) = 0 en (a, b) entonces f es constante en ese intervalo. Pensando que la derivada en un punto es la pendiente de la recta tangente al grco en ese punto, las relaciones expresadas en los teoremas 4 y 5 se compadecen perfectamente con la interpretacin geomtrica de crecimiento y decrecimiento. Todas estas herramientas son aplicables a mejorar nuestros anlisis de mximos y mnimos. Volviendo sobre la condicin f 0 (x0 ) = 0, que es necesaria para la existencia de un extremo local en un punto de derivabilidad x0 , no tenemos mtodos para saber si en ese punto hay efectivamente un extremo y, en caso de haberlo, si se trata de un mximo o de un mnimo. Si se tiene un grco de la funcin, estaremos convencidos de que en el punto de tangente horizontal x0 hay un mnimo si observamos que el grco desciende hasta llegar a ese punto y luego
Se dice que una funcin es montona en un intervalo cuando se quiere decir que es creciente o decreciente, sin especicar cul de las dos.
4

86

3.2. Estudio de funciones

comienza a ascender. Simtricamente, un mximo est precedido por un ascenso y seguido de un descenso

grfico ascendente Punto de mximo

grfico descendente Punto de mnimo

gura 3.11

grfico ascendente

Hay cuatro maneras en que la derivada f 0 puede anularse en el punto x0 . a. Pasando de f 0 (x) < 0 para x < x0 a f 0 (x) > 0 para x > x0 . b. Pasando de f 0 (x) > 0 para x < x0 a f 0 (x) < 0 para x > x0 . c. Tocando el 0 en x0 pero permaneciendo positiva a su alrededor. d. Tocando el 0 en x0 pero permaneciendo negativa a su alrededor. Cada una de estas maneras conduce, segn se acaba de explicar, a cuatro comportamientos distintos para la funcin f en x0 : a. Mnimo local en x0 . b. Mximo local en x0 . c. Gr (f ) ascendente en un intervalo con tangente horizontal en x0 . d. Gr (f ) descendente en un intervalo con tangente horizontal en x0 .

f ' (x > 0) f ' (x ) < 0

f a.

b.

c.

d.

gura 3.12 87

Captulo 3. El teorema del valor medio

Ejemplos: 9. f (x) = x3 3x. Buscamos extremos locales y absolutos e intervalos de crecimiento decrecimiento. f 0 (x) = 3x2 3 = 3 (x + 1) (x 1). El anlisis del signo de f 0 es sencillo: f 0 < 0 en (1, 1) y f 0 > 0 en (, 1) y en (1, +) . Por lo tanto, el cero de f 0 en 1 es del tipo b. mientras que el cero en 1 es del tipo a. La funcin f decrece en el intervalo (1, 1) y crece en los intervalos (, 1) y (1, +) . En consecuencia, hay un mximo local en 1 y un mnimo local en 1. No existen extremos absolutos ya que
x

lim f (x) =

x+

lim f (x) = +.

El anlisis del signo de f 0 en los intervalos que separa sus ceros (esto es (, 1) , (1, 1) y (1, +), podra hacerse usando el ejercicio 9. En cada uno de los tres intervalos el signo es constante, por lo tanto, chequeando el valor de f 0 en un punto cualquiera, se sabe su signo en todo el intervalo. Por ejemplo, f 0 (0) = 3 f 0 < 0 en (1, 1) . 10. y = x3 es el ejemplo clsico de punto crtico del tipo c. La derivada 3x2 se anula en el origen conservndose positiva a ambos lados. La funcin es estrictamente creciente en (, +) . Por qu? Por supuesto, y = x3 es el ejemplo de tipo d. 11. Hemos visto que limx0
sin x x

= 1. entonces la funcin sin x si x 6= 0 x f (x) = 1 si x = 0

xsin x . Si quisiramos es continua en R. Adems es derivable en R{0} con f 0 (x) = x cos x 2 averiguar la derivabilidad en el origen, deberamos calcular el lmite del cociente incremental, sin h 1 f (0 + h) f (0) sin h h = lim h = lim . lim h0 h0 h0 h h h2 Hasta que aprendamos a calcular este lmite, miremos las grcas de f y f 0 generadas por el ordenador.

6
z2

z1

gura 3.13 Las grcas parecen indicar que existe f 0 (0) = 0. Pero, 88

3.2. Estudio de funciones

i. no sabemos resolver la ecuacin de los ceros de f 0 : x cos x sin x = 0, equivalente a tan x = x. ii. S sabemos encontrar los ceros de f : sin x = 0 x = k con k Z {0}, y sabemos que entre dos ceros el signo de f se mantiene constante (ejercicio 9) iii. Si llamamos ... z2 , z1 , z0 = 0, z1 , z2 , ... a los ceros de f 0 , en esos puntos f tiene extremos locales. Entre dos de ellos consecutivos tendremos un intervalo de crecimiento o de decrcimiento de f (nuevamente por el ejercicio 9) iv. Sabemos probar que f es creciente en (, 0) y decreciente en (0, ), para concluir que en 0 hay un mximo local? v. Sabemos probar que absoluto en 0?
sin x x

< 1 para x 6= 0, y por lo tanto f tiene un mximo

Muchas veces es mejor tener preguntas que respuestas.

Ejercicios: 10. Para cada una de las siguientes funciones determinar los intervalos donde es creciente y aquellos donde es decreciente. 1. 3. 5. 7. f (x) = x3 + 1 f (x) = x3 + x 2 f (x) = 2x3 + 5 f (x) = 4x3 2x 2. 4. 6. 8. f (x) = x2 x + 5 f (x) = x3 + 2x + 1 f (x) = 5x2 + 1 f (x) = 5x3 + 6x

11. Usar el comportamiento de la funcin en intervalos contiguos para determinar si los puntos crticos corresponden a mximos o mnimos locales o ninguno de los dos. 1. y = x3 2x2 + 3x + 3. y = sin x 2. y = 2x4 4x2 + 5 4. y = x3 3x

12. Para cada una de las funciones siguientes a) Hallar el mximo y el mnimo en el intervalo dado. b) Hallar intervalos de crecimiento y decrecimiento.
2/3 1. (x 1)1/3 + 1 2 (x + 1)

[2, 7]

2. x2/5 + 1

[1, 1]

13. Se va a fabricar una caja sin tapa con una base cuadrada y una supercie constante C . Determinar los lados de la caja si el volumen ha de ser mximo. 14. Un recipiente en forma de cilindro sin tapa superior ha de tener un rea de supercie ja C . Hallar el radio de su base y su altura si ha de tener un volumen mximo. 15. Resolver los dos problemas anteriores cuando la caja y el recipiente estn cerrados por arriba. (El rea de un crculo de radio x es x2 y su longitud es de 2x. El volumen de un cilindro de altura y y cuya base tiene radio x es x2 y.) 16. Demostrar que entre todos los tringulos de rea dada, el tringulo equiltero es el de menor permetro.

89

Captulo 3. El teorema del valor medio

Comparacin de funciones
Si f (x) < g (x) para todo x en un intervalo I , diremos que f < g en I . Anlogamente se denen el resto de las desigualdades: >, , . Si f (a) g (a) en el extremo izquierdo de un intervalo y f no crece ms que g, es de esperar que la desigualdad se mantendr en todo el intervalo. Teorema 6. Si f, g son funciones continuas en [a, b) y derivables en (a, b), si adems f (a) g (a) y f 0 g 0 en (a, b) entonces f g en [a, b) . Si f 0 < g 0 en (a, b) entonces f < g en (a, b) .Anlogamente,si f (b) g (b) en el extremo derecho y g 0 f 0 en (a, b), entonces f g en (a, b], con la desiguldad estricta en el caso correspondiente. Demostracin. Se considera la funcin g f. De las hiptesis sigue que (g f ) (0) 0 y que (g f )0 = g 0 f 0 0 en (a, b) , luego (g f ) es creciente en ese intervalo.y por lo tanto tambin en [a, b) . En consecuencia, para todo x, (g f ) (x) (g f ) (a) 0. Esto es, f (x) g (x) para x [a, b) . La demostracin de la desigualdad estricta queda a cargo del lector. Para la comparacin en el extremo derecho, aplicar el resultado ya probado a f (x) y g (x)

b
gura 3.14

Ejemplos. 12. Tomar f (x) = sin x y g (x) = x en [0, +) . Como sin 0 = 0 y sin0 x = cos x 1 = g 0 (x), se deduce que sin x x para x 0. x Como una consecuencia, resulta sin x 1 para x > 0. Para x < 0 la desigualdad permanece por tratarse de una funcin par (luego simtrica). Queda con esto zanjada la x tiene un mximo absoluto en x = 1. pregunta v. del ejemplo 11.: sin x
d sin x sin x 13. Consideremos la funcin dx = x cos x , por cuyo signo en el intervalo (0, ) x x2 nos interrogbamos en el ejemplo 11 (iv). Ya que el denominador es positivo, basta considerar f (x) = x cos x sin x, y compararla contra g (x) = 0. f (0) = 0 y f 0 (x) = cos x x sin x cos x = x sin x < 0 en (0, ) . Sigue del teorema 6 que f < 0 en x es decreciente en ese intervalo. (0, ) , y de all que sin x

90

3.2. Estudio de funciones

Ejercicios.

17. Probar que tan x > x si 0 < x < /2.

18. Probar que t+ 1 2 t para t > 0

(Ver qu pasa a ambos lados de 1).

Convexidad - concavidad

Un ingrediente ms ser til para hacer el grco aproximado de una funcin. Suponga que usted viene transitando a lo largo del grco de una funcin, en el sentido natural: segn crece la x. Salvo que se encuentre en un tramo recto, usted estar en una curva que gira hacia la izquierda o hacia la derecha. Hacia el lado que gira, la carretera va envolviendo una concavidad y hacia el otro va dejando una convexidad (si estas palabras no son de su lenguaje corriente, hay un truco para recordarlas: concavidad = con cavidad).
Giro hacia la izquierda. Concavidad hacia arriba Giro hacia la derecha. Concavidad hacia abajo.

Sentido de avance Punto de inflexin

gura 3.15

Cuando la curva gira hacia la izquierda, las rectas tangentes en los sucesivos puntos tambin van girando hacia la izquierda y por lo tanto sus pendientes van creciendo. De igual modo, al 91

Captulo 3. El teorema del valor medio

girar hacia la derecha las pendientes de las sucesivas tangentes disminuyen.

x1

x2

x1

x2

Concavidad hacia arriba. x1 < x2 pendiente de la tangente en x1 menor que la pendiente de la tangente en x2

Concavidad hacia abajo. x1 < x 2 pendiente de la tangente en x1 mayor que la pendiente de la tangente en x 2
gura 3.16

Por lo tanto, si la funcin f de quien la curva es el grco es derivable en todo el intervalo, tendremos la siguiente asociacin: Concavidad hacia arriba = f 0 creciente. Concavidad hacia abajo = f 0 decreciente. Cuando existe derivada segunda, el signo de sta es un dato para determinar el carcter creciente o decreciente de la derivada primera. En este caso, f 00 0 en (a, b) f cncava hacia arriba en (a, b) . f 00 0 en (a, b) f cncava hacia abajo en (a, b) . Si f es cncava hacia arriba y hacia abajo en dos intervalos contiguos y la derivada segunda existe y es continua en la unin de ambos, ella pasa de positiva a negativa y debe anularse en el punto fronterizo. En este punto se dice que la funcin tiene un punto de inexin . Cuando existe derivada segunda, sta se anula en los puntos de inexin. No es cierto, sin embargo, que siempre que se anula la derivada segunda hay un punto de inexin (ver ejemplo ) Ejemplos:
4 2 Ya sabemos que 14. Veamos nuevamente la funcin del ejemplo 8. f (x) = q 4x + 3. q x 2 2 0 3 00 2 f (x) = 4x 8x. Ahora f (x) = 12x 8 = 12 x 3 x + 3 . Usando el

teorema de Bolzano y testeando los valores de f 00 en un punto de cada intervalo, 00 00 = f 4 > 0 f 00 (0) = 8 < 0 = f cncava hacia f q q (1) q (1) =q arriba en 2 2 , 2 y en 2 3 3 , + , y f cncava hacia abajo en 3, 3 . En los dos puntos de anulacin de la derivada segunda la funcin cambia el sentido de su concavidad y por lo tanto se trata de puntos de inexin 92

3.3. El teorema de unicidad

2

dy d y 1 2 sin x = cos 15. Volvamos al ejemplo 16. de la seccin 3.1. y = tan x, dx 2 x , dx2 = cos3 x = 0 para x = k con k entero. Es fcil ver que d2 y d2 y y , k . > 0 en k, k + < 0 en k dx2 2 dx2 2 De modo que, para cada k Z, se distinguen dos intervalos contiguos k 2 , k y k, k + donde f pasa de cncava hacia abajo a cncava hacia arriba. En los 2 puntos de frontera k hay un ounto de inexin. En cambio, en la separacin entre dos de estas duplas de intervalo, que son los puntos de la forma k + 2 la tangente es diacontinua con asntota vertical y no se considera que haya punto de inexin.

Ejercicios 19. Para las siguientes funciones, estudiar intervalos de concavidad - convexidad, puntos de inexin y mximos y mnimos locales. Trazar grcos aproximados. 1.- 3x2 3x 6 3.- 2x3 3x + 5 5.- x4 x2 + 1 21. Para la funcin f (x) = x4 8x2 + 16 (a) Demostrar que f tiene exactamente dos puntos de inexin. (b) Trazar la grca de f . Deteminar explcitamente los puntos crticos. Determinar las regiones de convexidad-concavidad. 22. Considerando los siguientes aspectos: (i) Puntos crticos. Mximos y mnimos locales. (ii) Intervalos de crecimiento - decrecimiento. (iii) Puntos de inexin. (iv) Intervalos de convexidad - concavidad. (v) Asntotas. (vi) Intersecciones con ejes y asntotas. Trazar grcas de las curvas que se indican a continuacin. 1. 4. y=
x2 +2 x3 3 x

2.- x2 + 2x 4 4.- 2x3 9x2 + 12x 6.- x5 + x

20. Determinar todos los puntos de inexin de sin x y de cos x.

2. 5. 7.

y= y= y=

x+1 x2 +1
2 x x+1

3. 6.

y= y=

2x3 3x+1 x+1 x2 +5

y =x+

x2 1 x2 4

93

Captulo 3. El teorema del valor medio

3.3

El teorema de unicidad

Volvemos sobre el corolario del teorema 5. Es claro que si f 0 = g en un intervalo, no es f la nica funcin con esa propiedad. Basta tomar h (x) = f (x) + c con cualquier constante c para que h0 (x) = f 0 (x) = g (x) . Pero del corolario del teorema 5 se inere que esa es la nica manera de tener dos funciones con la misma derivada: una y otra dieren en una constante. Dada una funcin g denida en un intervalo, no sabemos si existe alguna f tal que f 0 = g pero si existe alguna existen innitas, diriendo dos cualesquiera de ellas en una constante. Esto es: Si y = F (x) y y = G (x) son dos soluciones de la ecuacin diferencial dy = f (x) , dx entonces existe una constante C tal que G (x) = F (x) + C, a < x < b. a < x < b,

Ejemplos.

En efecto, (G F )0 (x) = G0 (x) F 0 (x) = f (x) f (x) = 0 para todo x (a, b). Luego, por el corolario del teorema 5, G F es constante en el intervalo. Por lo tanto existe una constante C tal que G F = C . Esto es, G = F + C.

1. Una funcin constante queda determinada sabiendo su valor en un punto. Por eso en el PVI1 de la seccin 2.6., del cual sabemos encontrar la solucin, podemos aseverar que sta es nica. 0 s (t) = v0 + at, 0<t< PVI1 s (0) = x0 s (t) continua en [0, +) . Si s1 y s2 son dos soluciones, s1 s2 es constante, digamos s1 s2 = c. Pero por la continuidad en 0, limt0+ [s1 (t) s2 (t)] = s1 (0) s2 (0) = x0 x0 = 0. Por otra parte, limt0+ [s1 (t) s2 (t)] = limt0+ c = c. Luego c = 0 y s1 = s2 . 2. Consideramos ahora el PVI2 de la seccin 2.6 le asociamos el problema homogneo PH: 00 00 u + 2 u = 0 u + 2 u = 0 u0 (0) = A PVI2 PH u0 (0) = 0 u (0) = B u (0) = 0

Luego, (u0 )2 + 2 u2 es constante. Para obtener su valor basta calcularla en t = 0, y usando las CI resulta (u0 )2 + 2 u2 = 0 para todo valor de t. Como ambos trminos son no negativos, se deduce que deben ser nulos los dos. En particular, u2 = 0 y, por consiguiente, u = 0. 3.-Se concluye que PVI2 tiene solucin nica. (aquella que se encontr en el ejercicio 39 del prctico 4) 94

1.- Si u, v son dos soluciones de PVI2 su diferencia es solucin de PH. (verifquelo) 2.- Pero PH slo admite la solucin trivial u = 0. En efecto, si multiplicamos la ED por 2u0 , obtenemos i0 h 2 2u0 u00 + 2 2 u0 u = u0 + 2 u2 = 0.

3.4. Las demostraciones

Ejercicios. 23. Mostrar que la condicin f 0 = 0 en un conjunto S no basta para armar que f es constante si S no es un intervalo. 24. Suponer que f es una funcin diferenciable de t. (a) Si f 0 (t) = 3 para todo t R, Qu pueden decir acerca de f (t) ? (b) Y si f 0 (t) = 3 y f (0) = 1? 25. Supongamos que existen dos soluciones, f y g de la ecuacin diferencial dy = y, dx x R,

y que f (x) 6= 0 para todo x. Demostrar que existe una constante C tal que g = Cf. Hint. Diferenciar el cociente g/f . 26. Una partcula se mueve sobre el eje x hacia la derecha a velocidad constante de 7m/seg . Si al instante t = 9 la partcula est a una distancia de 2m a la dereche del origen, hallar su posicin en funcin de t.

3.4

Las demostraciones

Teorema de Bolzano
La primera parte del teorema 3 implica que una funcin continua toma todos los valores intermedios. Lo explicitaremos como corolario, para facilitar su referencia. Comnmente este resultado se menciona como teorema de Bolzano.

Corolario 2 (del teorema 3). Si f es continua en el intervalo [a, b], y c (f (a) , f (b)) , existe (a, b) tal que f ( ) = c. Demostracin. Por el teorema, f ([a, b]) es un intervalo. Adems, f (a) , f (b) f ([a, b]). Sigue del ejercicio 53 en el captulo 1 que [f (a) , f (b)] f ([a, b]). Luego c f ([a, b]) y, por lo tanto, existe [a, b] tal que f ( ) = c. Adems, a 6= 6= b 95

Captulo 3. El teorema del valor medio porque f ( ) = c y f (a) 6= c 6= f (b) . Entonces (a, b)

f (a )

c f (b ) a

2
gura 3.17

Ejemplos. 1. Una lectura posible de este corolario es la siguiente: si a, b Dom (f ) con f continua, entonces [f (a) , f (b)] Rg (f ) . 2. Si f es continua en [a, c) y limxc f (x) = + entonces [f (a) , +) Rg (f ) . Para probar esta armacin, bastar ver que, para todo M > f (a) , [f (a) , M ] Rg (f ). Pero si f (x) + es posible encontrar b (a, c) tal que f (b) > M (ver ejercicio 27). Ahora, usando el ejemplo 1, [f (a) , M ] [f (a) , f (b)] Rg (f ) . 3. Existencia de races nsimas. f (x) = xn es continua en [0, +) y adems, f (0) = 0, limx+ f (x) = +. Sigue del ejemplo 2. que [0, +) Rg (f ) . Esto es, que para cada nmero no negativo y, existe x 0 tal que xn = y. Si n es impar es fcil ver que tambin existen races n-simas de nmeros negativos. 4. Si f es continua en [a, b] y, digamos, f (a) < 0 mientras que f (b) > 0, el teorema de puede ser usado para aproximar una raz de la ecuacin f (x) = 0. Se evala Bolzano a+b y: f 2 f f
2 a+b 2

a+b

En ambos casos hemos encerrado una raz en un intervalo de longitud mitad que el inicial. a Iterando n veces el procedimiento encerraremos una raz en un intervalo de longitud b2 n .

a+b 2 ,b a+b > 0 = f tiene un cero en a, 2 < 0 = f tiene un cero en

El teorema del valor medio

Si se considera una curva descripta paramtricamente (ver vector tangente en seccin 2.5): x = f (t) , a t b, y = g (t) 96

3.4. Las demostraciones

los extremos de la misma tienen coordenadas (f (a) , g (a)) , (f (b) , g (b)) . Luego, la pendiente de la cuerda que los une es g (b) g (a) . m1 = f (b) f (a) Por su parte, el vectoe tangente en un punto interior de la curva, (f (t) , g (t)) , es (f 0 (t) , g 0 (t)). En consecuencia, la pendiente de la recta tangente en ese punto ser m2 = g 0 (t) . f 0 (t)

g (b ) g (a )

g ' ( ) f ' ( ) f (b ) f (a )
gura 3.18 Decir ahora que la cuerda es paralela a la tangente en un punto intermedio de la curva es postular la existencia de un nmero (a, b) para el cual se verica la igualdad g 0 ( ) g (b) g (a) = 0 . f (b) f (a) f ( ) (13)

La prueba de este resultado es el objeto de esta seccin. Ya que de paralelas entre cuerdas y tangentes se trata, comenzaremos con el resultado bsico en esa direccin. En realidad, toda la dicultad tcnica est en demostrar que hay una tangente paralela a la cuerda en alguna situacin simple. Luego los trucos son sencillos. Teorema 7 (Rolle5 ) Sea f una funcin continua en [a, b] y derivable en (a, b) . Supongamos adems que la cuerda entre los extremos del grco de f es horizontal, esto es, que f (a) = f (b) . Entonces existe un punto interior (a, b) tal que f 0 ( ) = 0 (O sea que la tangente
5

Michel Rolle (1652-1716), matemtico francs

97

Captulo 3. El teorema del valor medio

al grco es horizontal)

f (a ) = f (b ) a
gura 3.19

tangente Gr(f) cuerda

Demostracin. Segn el corolario 1 del teorema 3 (Bolzano - Weierstrass),.la funcin f alcanza su mximo y su mnimo en el intervalo cerrado [a, b] . Si alguno de los dos es alcanzado en un punto interior entonces la derivada en ese punto debe anularse (teoremas 1 y 2). Caso contrario, el mximo y el mnimo son alcanzados en los extremos del intervalo, pero como f toma el mismo valor en ambos extremos, se deduce que el mximo y el mnimo son iguales. Esto slo es posible si f es constante. Pero en tal caso f 0 (x) = 0 para todo x (a, b) La frmula 13 es el centro del teorema del valor medio. Pero, para tener sentido, requiere que f (a) 6= f (b) . Con un pasaje de trminos se evita el problema. Teorema 8. (del valor medio de Cauchy6 ) Sean f y g funciones continuas en [a, b] y derivables en (a, b) . Entonces existe un punto (a, b) tal que [g (b) g (a)] f 0 ( ) = [f (b) f (a)] g 0 ( ) Demostracin. Bastar considerar la funcin (x) = [g (b) g (a)] f (x) [f (b) f (a)] g (x) . y vericar que cumple con las hiptesis del teorema de Rolle: (a) = g (b) f (a) g (a) f (a) f (b) g (a) + f (a) g (a) = f (a) g (b) f (b) g (a) . (b) = g (b) f (b) g (a) f (b) f (b) g (b) + f (a) g (b) = f (a) g (b) f (b) g (a) . Luego, (a) = (b) . Obviamente es continua en [a, b] y derivable en (a, b). Por lo tanto, para algn punto (a, b) , debe ser 0 ( ) = 0. Pero 0 ( ) = [g (b) g (a)] f 0 ( ) [f (b) f (a)] g 0 ( ) = 0 (14) Para obtener (13) a partir de (14) es necesario que no se anulen los denominadores. Para ello se debe agregar una hiptesis: Corolario 1. Con las hiptesis del teorema, si adems f 0 no se anula en (a, b), entonces existe un punto (a, b) para el cual se verica (13). Demostracin. Slo se debe vericar que tampoco se anula f (b) f (a) . Pero si esto ocurriera, por el teorema de Rolle habra un punto donde se anula la derivada, cosa que estamos suponiendo que no ocurre. (14)

Augustin Louis Cauchy (1789-1857), matemtico francs.

98

3.4. Las demostraciones

Tomando f (x) = x, la curva se convierte en (x, g (x)) , que es el grco de la funcin g. En ese caso, el teorema toma una forma ms sencilla y tambin la interpretacin geomtrca.

f (b )

f (a ) a

gura 3.20

Corolario 2. (Lagrange7 ) Si g es continua en [a, b] y derivable en (a, b), entonces existe un punto (a, b) tal que g (b) g (a) = g 0 ( ) . ba El teorema del valor medio de Lagrange es la herramienta que necesitamos para completar la demostracin del teorema 4. Demostracin del teorema 4. Bajo la hiptesis de que f 0 0 en (a, b) debemos demostrar que f es creciente en ese intervalo. Sean a < x1 < x2 < b. Debemos probar que f (x1 ) f (x2 ) . Como f es derivable en (a, b) , verica las hiptesis del teorema de Lagrange en [x1 , x2 ] . Luego, f (x2 ) f (x1 ) = f 0 ( ) 0 x2 x1 para algn (x1 , x2 ) . Como x2 x1 > 0, debe ser f (x2 ) f (x1 ) 0. Si f 0 fuera estrictamente positiva en el intervalo, sera f 0 ( ) > 0. Entonces la conclusin sera f (x2 ) f (x1 ) > 0, de donde sigue que f es estrictamente creciente. La prueba de los casos f 0 0, f 0 < 0 es totalmente anloga

Funciones convexas
Retomamos el tema concavidad - convexidad de la seccin 3.2. Por razones que no viene al caso profundizar, en el lenguaje matemtico se llama convexas a las funciones cncavas hacia arriba. Este concepto no requiere derivabilidad, por ejemplo la funcin |x| es convexa. Pero a nosotros slo nos interesa estudiar la convexidad en relacin con las propiedades de la derivada. Por eso adoptaremos una denicin en este contexto. Recordamos de la seccin 2.3. (frmula (3)) que la recta tangente al grco de la funcin f en el punto x0 es el grco del polinomio de grado 1
x0

(x) = f (x0 ) + f 0 (x0 ) (x x0 ) .

(15)

Naturalmente,
7

x0

(x0 ) = f (x0 ) .

Joseph-Louis Lagrange (1736-1813), matemtico francs.

99

Captulo 3. El teorema del valor medio

Denicin 7. La funcin f , derivable en (a, b) , es convexa (estrictamente convexa) en ese intervalo si dado x0 (a, b), x0 (x) f (x) para todo x (a, b) (respectivamente, x0 (x) < f (x) para todo x (a, b) , x 6= x0 ).

Gr f

x0

Gr l x0

gura 3.21 Teorema 9. Si la funcin derivable f es convexa en un intervalo, entonces f 0 es creciente en ese intervalo. Si la convexidad es estricta, f 0 es estrictamente creciente. Demostracin. Dados dos puntos x1 , x2 en el intervalo, f (x2 ) f (x1 ) x2 (x1 ) . Usando (15), y f (x1 ) f (x2 ) + f 0 (x2 ) (x1 x2 ) , f (x2 ) f (x1 ) + f 0 (x1 ) (x2 x1 ) ,
x1

(x2 ) y (16)

Sumando (16) con (17) viene

de donde f (x2 ) f (x1 ) f 0 (x2 ) (x2 x1 ) . 0 f 0 (x1 ) f 0 (x2 ) (x2 x1 ) , 0 f (x2 ) f 0 (x1 ) (x2 x1 ) 0.

(17)

o, lo que es lo mismo,

Esta es la condicin para que f 0 sea creciente. Para la convexidad estricta, la cuenta es la misma cambiando adecuadamente las desigualdades Si la derivada segunda de la funcin convexa existe, ser no negativa (No se puede asegurar positividad estricta en todos los puntos an en el caso en que la funcin sea estrictamente convexa, por ejemplo y = x4 ). Recprocamente, derivada segunda positiva en todo el intervalo implica convexidad. Teorema 10. Si existe la derivada segunda en el intervalo (a, b) , f 00 0 en (a, b) = f convexa en (a, b) f 00 > 0 en (a, b) = f estrictamente convexa en (a, b) .

Demostracin. Fijado un punto x0 (a, b), debemos comparar f con x0 para establecer la desigualdad x0 f . Esto se hace en dos pasos, en los intervalos (x0 , b) y (a, x0 ), usando las tcnicas de comparacin del teorema 6.ya que x0 (x0 ) = 0 en ese f (x0 ) . Para establecer que x0 f en (x0 , b), se requiere que 0 x0 f 0 00 intervalo. Pero, de acuerdo con la denicin (15), 0 x0 (x) = f (x0 ) . Ahora, f 0 0 0 0 en (a, b) implica que f es creciente y, para x > x0 , ser f (x) f (x0 ) = 0 (x) . Para probar que x0 f en (a, x0 ) se usa la otra mitad del teorema x0 6. Las desigualdades estrictas necesarias para la convexidad estricta tambin estn previstas en el citado teorema

100

3.5. Complementos

3.5 Notas

Complementos

En la seccin 2.2. se present el concepto de lmite y se lo caracteriz con seis propiedades bsicas. En el ejemplo 5 se presentaron un par de funciones que no tenan lmite (en realidad 1 , que ahora diramos que se trata de lmites innitos) y el ejemplo 6 mostr a la funcin sin x no tiene en el origen lmites ni innitos ni laterales. Nada parecido puede pasar con una funcin montona en un intervalo. En este caso siempre existen lmites laterales y las discontinuidades slo pueden ser de "salto nito". Una prueba de esta armacin requiere una denicin formal de lmite y alguna descripcin de propiedades de los nmeros reales que en este nivel no estamos manejando. Pero se trata de un hecho intuitivamente evidente y lo aceptaremos como la sptima propiedad del lmite: 7. Si f es una funcin montona en un intervalo (a, b), entonces existen los lmites laterales
xa+

lim f (x)

xb

lim f (x) .

Ejercicios
*27. Demostrar: (a) Si la funcin f es creciente en (a, b) entonces, para todo c (a, b), limxa+ f (x) f (c) limxb f (x). Si f es decreciente las desigualdades se invierten y si f es estrictamente montona las desigualdades son estrictas. (b) Si f es creciente en (a, b) y c (a, b), entonces limxc f (x) f (c) limxc+ f (x) . Para f decreciente valen desigualdades inversas. (c) Si f es creciente en (a, b) y c (a, b), entonces, para a < x1 < c < x2 < b, f (x1 ) lim f (x) f (c) lim f (x) f (x2 ) .
xc xc+

Y si f es estrictamente creciente, f (x1 ) < lim f (x) f (c) lim f (x) < f (x2 ) .
xc xc+

Obvias modicaciones para el caso decreciete. *28. Si f es creciente en (a, b) y continua en [a, b] , entonces f es creciente en [a, b]. Esto es, x (a, b) , f (a) f (x) f (b). Si el crecimiento de f en (a, b) es estricto, el crecimiento en [a, b] tambin resulta estricto: x (a, b) , f (a) < f (x) < f (b) . *29. Si limxc f (x) = , dado M > 0, en cualquier entorno reducido de c es posible encontrar un x tal que |f (x)| > M .
Hint. Usar ejercicio 30 del captulo 2.

30. Si f es una funcin convexa y en algn intervalo es creciente o en algn punto es f 0 (x) > 0, entonces limx+ f (x) = +. Estudiar propiedades similares en y para funciones cncavas.

101