Sei sulla pagina 1di 70

Cap tulo 1 Continuidad y Teoremas Fuertes

En estas notas revisaremos, a travs de algunos problemas, el sistema de e deniciones y resultados concernientes a la continuidad, diferenciabilidad e integracin de funciones. Encontraremos lo que los lectores entienden de o l mite y revisaremos las deniciones ms importantes (continuidad en la seca cin 1.1, diferenciabilidad en la seccin 2.1 e intergrabilidad en la seccin o o o 3.1). Tambin pondremos atencin a las propiedades ms importantes de e o a estas clases de funciones. Usaremos lo conocido, por ejemplo, que si un problema involucra una funcin continua, entonces nos permitiremos aplicar el o teorema del valor intermedio o el teorema del valor extremo; o ambos, si el problema involucra una funcion diferenciable, espectativamente aplicaremos el teorema del valor medio. Ejemplos de estas aplicaciones son incluidas en estas notas, tambin veremos aplicaciones de la regla de LHpital y del e o teroema fundamental del clculo. a A lo largo de estas notas, R denota el conjunto de los n meros reales. u

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

1.1.

Funciones Continuas

Una funcion real de valores reales es continua en a si f (x) f (a) cuando x a, o ms precisamente, si a (i) f (a) est denida, a (ii) l xa f (x) existe, y m (iii) l xa f (x) = f (a). m

(Si a es un punto frontera en el dominio de f, se entiende que las x de ii) estn a restringidas al dominio de f. Asumiremos que el lector est familiarizado con a estas contingencias). Una funcin f es continua en un dominio D si es continua en cada punto de o D. Sin ninguna dicultad probaremos que f es continua en a si y slo si para o cada sucesin { xn } que converge a a la sucesin { f (xn )} converge a f (a). o o La forma secuencial de la denicin de continuidad de f es usada ms bien o a para obtener un caso para probar que una funcin es discontinua en un punto. o Por ejemplo, la funcin f denida por o

f (x) =

1 sen x si x = 0 0 si x = 0

1.1. FUNCIONES CONTINUAS

2 es discontinua en 0, ya que, la sucesin xn = (4n+1) converge a 0, mientras o que la sucesin f (xn ) = sen(2n + ) converge a 1 (recuerde que f (0) = o 2 0).

1.1.1 Dena f : [0, 1] [0, 1] de la siguiente manera : f (1) = 1, y si a = .a1 a2 a3 a4 ... es la representacin decimal de a (escrito de manera tero minal cuando sea posible, por ejemplo, 0,09999... ser reemplazado por ,1), a denimos f (a) = 0,0a1 0a2 0a3 0a4 ... . Discutir la continuidad de f. Solucin. Obsrvese que f es una funcin montona creciente. Probaremos o e o o que f es discontinua en cada n mero con expresin decimal nita (es decir, u o N en cada punto de la forma 10n , N es un entero, 1 N < 10n ). Consideremos, como un ejemplo, el punto a = 0,413. Por denicin, f (a) = o 0,040103. Ahora denamos la sucesin xn por o x1 = 0,4129 x2 = 0,41299 x3 = 0,412999 . . . xn = 0,412999..,9. La sucesin {xn } converge a a; adems o a f (xn ) = 0,0401020909..,09, y podemos ver que {f (xn )} no converge a f (a). Luego f no es continua en a. Una construccin similar puede hacerse para probar que f es discontinua en o cada n mero con expresin decimal nita. El argumento est basado en el u o a hecho de que los n meros con expresin decimal nita tienen dos representau o ciones decimales a saber

a = 0.a1 a2 a3 a4 ....an-1 an , an = 0, a = 0.a1 a2 a3 a4 ....an-1 (an 1)999... .

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

Ahora supongamos que a (0, 1) no es un n mero expresin decimal nita. u o Probemos que f es una funcin continua en a. Escribimos a en su unica forma o decimal:

a = 0.a1 a2 a3 a4 .... Debido a que el n mero a no es un n mero con expresin decimal nita, u u o existe un entero arbitrariamente grande n tal que an = 0 y an = 9. Para cada n denimos Xn y Yn por

Xn = 0.a1 a2 a3 ...an

=
1

ai 10i an+1 + 1 10n+1

Yn = 0.a1 a2 a3 ...an (an+1 + 1) = Xn +

Entonces a (Xn , Yn ) . Adems los primeros n d a gitos de cada uno de los n meros en (Xn , Yn ) son los mismos que de Xn y Yn . consecuentemente todos u los n meros en (Xn , Yn ) son mapeados al intervalo (f (Xn ), f (Yn )) . u Es claro que las sucesiones {Xn } y {Yn } convergen a a; adems las sucesiones a {f (Xn )} y {f (Yn )} convergen a f (a). Como cualquier sucesin {xn } que o converja a a eventualmente cae en el interior de (Xn , Yn ) para cualquier n, se tiene pues que {f (xn )} converge a f (a). Se sigue que f es continua en a. El ejemplo anterior es dif de visualizar geomtricamente, y una prueba cil e completamente entendible requiere de un claro entendimiento de la continuidad. El siguiente ejemplo demanda un preciso uso de la siguiente denicin de continuidad: una funcin f es continua en a si para cada > 0 existe o o un n mero > 0 tal que |x a| < implica |f (x) f (a)| < . u 1.1.2 Supongamos que f : R R es una funcin continua uno a uno con o un punto jo x0 (esto es, f (x0 ) = x0 ) tal que f (2x f (x)) = x para toda x. Probar que f (x) x.

1.1. FUNCIONES CONTINUAS

Solucin. Sea S = {x | f (x) = x} . Debido a que f es continua, el conjunto o S es un subconjunto cerrado de R (es decir, si xn S y xn x, entonces x S; ya que x = l n xn = l n f (xn ) = f (l n xn ) = f (x).) m m m Ahora supongamos que S = R. Si x0 es un punto frontera de S (cada vecindad de x0 contiene puntos que no estn en S; notar que x0 S, ya que S es a cerrado). Si y es un punto fuera de S, existe un n mero real distinto de cero tal que u f (y) = y + r. El hecho de que f es uno a uno y satisface que f (2x f (x)) = x implica que f (y + nr) = (y + nr) + r para cada entero n (esto es el contenido de 2.1.12). Esta identidad es crucial en el argumento que sigue.

f (x) y + nr + r

f (x0 )

x0

y + nr x

Aqu est la idea: Supngase que x no est en S; es decir, f (x) = x. Tomando a o a y en R S cercano a x0 y f (y) cercano a y (esto puede hacerse debido a que f es continua en x0 y f (x0 ) = x0 ). Entonces si r es tal que f (y) = y + r, y si r es sucientemente peque a, el hecho de que f (y + nr) = (y + nr) + r n lleva a una contradiccin con la continuidad de f en x (ver gura 6.1). o Una prueba formal es como sigue. Supongamos que x0 es un punto frontera de

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

S y que x es tal que f (x) = x. Sea = |f (x) x| . Debido a que f es continua en x, existe > 0, y podemos asumir que 4 , tal que |z x| < implica que |f (z) f (x)| < 4 . Y como f es continua en x0 , existe > 0, < , tal que |w x0 | < implica que |f (w) f (x0 )| < . Ahora tomando y (x0 w, x0 + w) tal que f (y) = y (una tal y existe debido a que x0 es punto frontera de S.) Entonces

0 < = < <

|f (y) y| |f (y) f (x0 )| + |f (x0 ) y| |f (y) f (x0 )| + |x0 y| + 2

Sea r = f (y) y (nota: r puede ser negativo) Como 0 < |r| < 2, existe un entero n talque y + nr (x , x + ) . Pero como f (y + nr) = (y + nr) + r. Se sigue

= |f (x) x| |f (x) f (y + nr)| + |f (y + nr) x| + |(y + nr) + r x| 4 + |(y + nr) x| + |r| 4 + + 2 < 4 < + + 4 4 2 = Esta es una contradiccin y por tanto S = R y la prueba est completa. o a Los dos ms importantes hechos acerca de funciones continuas sobre intera valos cerrados [a, b] son que obtienen sus valores mximo y m a nimo sobre el intervalo y que toman cada valor entre stos dos. Este es el contenido de los e siguientes dos teoremas.

1.1. FUNCIONES CONTINUAS

[Teorema del valor extremo] Si f es una funcin continua sobre [a, b] , o


entonces existen nmeros c y d en [a, b] tales que f (c) f (x) f (d) para todo u x en [a, b] (decimos que, f (d) es el valor mximo de f sobre [a, b] , y f (c) el valor a mnimo).

[Teorema del valor intermedio] Si f es una funcin continua sobre [a, b] y o


si f (a) < y < f (b) (o f (b) < y < f (a)), entonces existe un nmero c en [a, b] tal u que f (c) = y.

Estos resultados pueden ser probados de distintas maneras: haremos una prueba del teorema del valor intermedio haciendo uso de una metodolog a (biseccin repetida) que es aplicable en otros problemas (por ejemplo, ver o 1.3.6). Supongamos que f es una funcin continua sobre el intervalo cerrado [a, b] o y supongamos que f (a) < f (b) (una prueba similar se puede hacer si f (b) < f (a)). Sea y [f (a), f (b)] . Encontremos un elemento c en [a, b] tal que f (c) = y. El proceso es como sigue (un diagrama puede ayudar). Sean a0 = a, b0 = b, y x1 el punto medio de [a, b] (la primera biseccin). Si f (x1 ) < y, denimos o a1 = x1 , b1 = b, de otra forma f (x1 ) > y, denimos a1 = a, b1 = x1 . En cualquier caso f (a1 ) < y < f (b1 ),y la longitud de [a1 , b1 ] es la mitad de la longitud de [a, b] . Ahora, sea x2 el punto medio de [a1 , b1 ] (la segunda biseccin). Si f (x2 ) < y, o denimos a2 = x2 , b2 = b1 , y si f (x2 ) > y, denimos a2 = a1 , b2 = x2 . En cualquier caso f (a2 ) < y < f (b2 ),y b2 a2 = (b a)/4 . Continuando de esta manera. El resultado es una sucesin innita de intero valos cerrados encajados

[a0 , b0 ] [a1 , b1 ] [a2 , b2 ] ... ... cuyas longitudes convergen a cero (en efecto bi ai = (b a) /2i ). Estas condiciones implican que {ai } y {bi } convergen al mismo n mero real en u [a, b] ; llamemos este n mero c. u Por la continuidad de f, l i f (ai ) = f (c) y l i f (bi ) = f (c). Adems, m m a

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

para cada i, f (ai ) < f (c) < f (bi ), y por tanto (por el principio del emparedado, que ser tratado en la seccin 4.1), a o f (c) = l f (ai ) y l f (bi ) = f (c) m m
i i

se sigue que f (c) = y, y el teorema queda probado. La prueba del teorema del valor extremo puede hacerse de manera similar y es propuesto como un problema (1.1.5).

Problemas 1.1.3 Supngase que f es acotada para a x b y, para cada par de o valores x1 , x2 con a x1 x2 b, 1 1 f ( (x1 + x2 )) (f (x1 ) + f (x2 )). 2 2 Probar que f es continua para a x b (Sugerencia: Probar que f (x + ) f (x) 1 [f (x + 2) f (x)] ... (1/2n ) [f (x + 2n ) f (x)], a < 2 x + 2n < b. Tome 0). 1.1.4 Una funcin continua de valores reales satisface que para todos valo ores reales x e y la ecuacin funcional o f
2

x2 + y 2 = f (x)f (y).

Probar que f (x) = [f (1)]x (Sugerencia: primero pruebe la conjetura para todos los nmeros de la forma 2n/2 donde n es un entero. Haga entonces la u prueba de la conjetura para todos los nmeros de la forma m/2n , m entero, u n entero no negativo.) Solucin. o 1.1.5 Usar el mtodo de biseccin sucesiva para probar el teorema del valor e o extremo.

1.1. FUNCIONES CONTINUAS

1.1.6 Si f (0) > 0, f (1) < 1. Probar que f (x) = 0 para algn x bajo la u suposicin de que existe una funcin continua g tal que f +g es no decreciente. o o (Sugerencia: Usar la biseccin sucesiva -tomando el lado derecho del intervalo o si existe un punto x tal que f (x) 0, de otra forma tomar el lado izquierdo. Esto asegura necesariamente una sucesin de intervalos encajados [a1 , b1 ] o [a1 , b1 ] ... que converge a un punto c. Note que para cada n existe un punto yn en el intervalo [an , c] tal que f (yn ) 0. Probar que f (c) = 0.) 1.1.7 Si f est denida en el intervalo [0, 1] por a

f (x) =

0 1/q

si x es irracional si x = p/q (fraccin reducida) o

(a) Probar que f es discontinua en cada nmero racional en [0, 1] u (b) Probar que f es continua en cada nmero irracional en [0, 1] u 1.1.8 Si x es un elemento en el conjunto de Cantor K (ver 3.4.6), puede ser expresado en forma unica por x=
n=1

2bn 3n

donde bn = 0 o 1. Denir g : K [0, 1] por g(x) =


n=1

bn 2n

Ahora extienda g a [0, 1] de la siguiente manera. Si x [0, 1] no es un elemento del conjunto de Cantor, entonces, usando la notacin de 3.4.6, o existe un unico entero n tal que x In , donde In = (Xn , Yn ) , Xn y Yn estn a en K. Denir g(x) = g(Yn ). (Note que para todo n, g(Xn ) = g(Yn ), y luego le hemos hecho constante a g en el intervalo cerrado [Xn , Yn ].) Probar que g es continua. (Tambin vea 1.2.13.) e Ejemplos adicionales

10

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

2.1.1, 2.1.5, 2.1.6, 2.2.3, 2.5.2, 2.5.7, 3.1.9, 3.1.10, 3.2.5. La continuidad es una propiedad que asumimos en la mayor de los ejemplos de estas notas; a en particular, ver la seccin 1.2 (teorema del valor intermedio). o

1.2.

Teorema del Valor Intermedio

El teorema del valor intermedio establece que si f es una funcin continua o sobre el intervalo cerrado [a, b] y si d est entre f (a) y f (b), entonces existe a un n mero c entre a y b tal que f (c) = d. El poder del teorema estriba en el u hecho de que provee de una forma de conocer acerca de la existencia de algo sin que se requiera sea expl citamente encontrado. Como un ejemplo, probar que 2x5 +4x = 1 tiene una solucin en el intervalo o 5 (0, 1) . Considerar f (x) = 2x + 4x 1, y tomar dos puntos extremos: f (0) como el ms peque o, y f (1) el ms grande. Luego, por el teorema del a n a valor intermedio, existe un n mero en (0, 1) que satisface la condicin. u o 1.2.1 Un corredor a campo travieza recorre seis millas en 30 minutos. Probar que en algn momento en el transcurso de la carrera recorri una milla u o en exactamente 5 minutos. Solucin. Si x denota la distancia recorrida, medida en millas desde el o punto de partida. Para cada x en [0, 5] , si f (x) denota el tiempo que emplea para la milla desde el punto x hasta el punto x + 1. La funcin f es continua. o Sabemos que f (0) + f (1) + f (2) + f (3) + f (4) + f (5) = 30. Se sigue que no todos los f (0), ..., f (5) son menores que 5, y similarmente, no todos los f (0), ..., f (5) son mayores que 5. De donde, existen puntos a y b en [0, 5] tales que f (a) 5 f (b). Luego, por el teorema del valor intermedio existe c entre a y b tal que f (c) = 5; es decir, la milla desde c hasta c + 1 se recorri en o exctamente 5 minutos. a
Figura 6.2.

1.2.2 Supmgase que f : [a, b] R es una funcin continua. o o

1.2. TEOREMA DEL VALOR INTERMEDIO

11

(a) El teorema del valor medio para integrales. Probar que existe un nmero u b c en [a, b] tal que a f (t)dt = f (c)(b a). (b) Probar que existe un nmero c en [a, b] tal que a f (t)dt = c f (t)dt. u (Nota: para esto, es suciente con que f sea integrable sobre [a, b] .) Solucin. (a) Sean M y m los valres mximo y m o o a nimo de la funcin o sobre [a, b] respectivamente (esto est garantizado por el teorema del valor a b extremo), y sea A = a f (t)dt. La intuicin para el argumento que sigue es o mostrada (para el caso de una funcin positiva f ) en la Figura 6.2. Como o la l nea y = h se mueve continuamente desde y = m hasta y = M, el area A(h) en el rectngulo acotado por y = h, y = 0, x = a, x = b se mueve a desde un valor ms peque o que A (en A(m)) hasta uno mayor que A (en a n A(M)). Algebraicamente (es cierto independientemente de la interpretacin o b de rea), A(m) = m(ba) a f (t)dt M(ba) = A(M). Como A(h) = a h(ba) es una funcin continua de h, se sigue del teorema del valor intermedio o que existe un punto d tal que A(d) = A; o equivalentemente, d(b a) = A. Pero d est entre m y M, luego por el teorema del valor intermedio, ya que a f es una funcin continua, existe c en [a, b] tal que f (c) = d, se sigue que o
b a c b

f (t)dt = f (c)(b a).

(b) Ahora, la intuicin mostrada en la Figura 6.3 (para el caso de una funcin o o b h positiva). Si A = a f (t)dt, y si A(h) = a f (t)dt. En la gura, para a < h < b, A(h) representa el rea acotada por y = f (x), y = 0, x = a, x = h a (sombreada). El problema el problema consiste en encontrar un punto c tal nea vertical x = h se mueve continuamente que A(c) = 1 A. Es claro como la l 2 a la derecha desde x = a hasta x = b, la correspondiente integral (rea) se a mueve desde 0 hasta A, y por lo tanto pasa por 1 A en alg n punto. El u 2
Figura 6.3.

precedente argumento es perfectamente vlido una vez que probemos que a A(h) es una funcin continua de h. Veamos esto, note que o
h+x

A(h + x) A(h) =

f (t)dt.
h

12

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

De la parte (a), sabemos que existe un punto cx , entre h y h + x tal que


h+x

f (t)dt = f (cx )x.


h

De aqu ,
x0

l [A(h + x) A(h)] = l f (cx )x = 0. m m


x0

(Nota: f (cx ) es acotado debido a que f es integrable.) Luego A(h + x) A(h) cuando x 0, y se tiene que A(h) es continua en h. 1.2.3 Si A es un conjunto de 2n puntos en el plano, ninguna terna de ellos colineales. Supongamos que n de ellos son coloreados de rojo y el resto de azul. Probar o refutar: existen n segmentos de recta, ningn par de ellos con u puntos comunes, tales que los extremos de cada segmento son puntos de A de diferente color. Solucin. Este problema ha sido considerado en 1.11.2, pero aqu teno emos una prueba instructiva basada en las propiedades del teorema del valor intermedio. Haremos la prueba de que el resultado es cierto por induccin sobre n. Ciero tamente para n = 1 la propiedad es verdadera. supongamos que el resultado es cierto cuando n = 1, 2, ..., k, y consideremos un conjunto A de 2(k + 1) puntos, ninguna terna de ellos colineales, tales que k + 1 estn coloreados de a rojo y k + 1 coloreados de azul. Supongamos que dos vrtices de la cscara convexa de A tienen diferente e a color. Entonces, existen dos vrtices consecutivos en el per e metro de la cscara a convexa de A, digamos P y Q, que tienen diferente color. Por la hiptesis o de induccin, el conjunto de puntos A {P, Q} puede ser conectado de la o manera descrita. Ninguno de los segmentos ser intersectado por el segmento a P Q debido a la manera en que P y Q fueron tomados, y por tanto, el resultado es cierto para el conjunto A. Ahora consideremos el caso en que todos los vrtices de la cscara convexa e a tienen el mismo color, digamos rojo. Si L es cualquier linea no horizontal

1.2. TEOREMA DEL VALOR INTERMEDIO

13

en el plano, si B(L) denota el n mero de puntos azules de A a la izquierda u de L, R(L) denota el n mero de puntos rojos de A a la izquierda de L, u y si D(L) = B(L) R(L). Ahora tomemos una recta no horizontal L que deje a la izquierda todos los puntos de A y que no sea paralela a alg n u segmento de los que puedan ser formados tomando como extremos los puntos de A. En esta posicin D(L) = 0. Como L se mueve continuamente a la o izquierda deber encontrarse los puntos de A uno a la vez, y pasando un a tal punto, D(L) cambiar +1 si el punto es azul y 1 si es rojo. Como L a se mueve a al izquierda, su primer valor distinto de cero ser 1 (obtenido a justamente despus de pasar el primer punto de A). Como el ultimo punto e de A encontrado por L tambin es rojo, se tiene que el ultimo valor no cero e ser positivo (obtenido justamente antes de pasar el ultimo punto de A). a Se sigue de estas observaciones que D(L) ser igual a cero en alg n momento a u entre el primero y ultimo puntos de A (note que D(L) es una funcin de o valores enteros). Cuando L est en tal posicin, la hiptesis de induccin a o o o puede ser aplicada a los puntos a la izquierda de L y tambin a los puntos a e la derecha de L. como ning n de los segmentos resultantes se intersectan, el u resultado se sigue para el conjunto A, y por induccin la prueba se completa. o

Problemas 1.2.4 Supngase que f : [0, 1] [0, 1] es continua. Probar que existe un o punto c en [0, 1] tal que f (c) = c. 1.2.5 Un monta ista comienza a escalar una monta a a las 7:00 A.M. del n n sbado y llega a la cima a las 5:00 P.M. Acampa en la cima y comienza a a descender el domingo, exactamente a las 7:00 A.M., siguiento la misma ruta, llegando al punto de partida a las 5:00 P.M.. Probar que en algn momento u del d domingo estuvo en el mismo lugar a la misma hora que el sbado. a a 1.2.6 Probar que una funcin continua puede tomar un valor ms de una o a vez pero toma algn valor exactamente una vez. u

14

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

1.2.7 Probar que el polinomio trigonomtrico e a0 + a1 cos x + ... + an cos nx, donde los coecientes son todos nmeros reales y |a0 |+|a1 |+...+ |an1 | an , u tiene al menos 2n ceros en el intervalo [0, 2) . 1.2.8 Establecer las condiciones necesarias y sucientes sobre la constante k para la existencia de una funcin continua de valores reales f (x) que sato isface f (f (x)) = kx9 para todo valor real x. 1.2.9 . (a) Supngase que f : [a, b] R es continua y g : [a, b] R es integrable o tal que g(x) 0 para todo x [a, b] . Probar que existe un nmero c en u [a, b] tal que
b b

f (x)g(x)dx = f (c)
a a

g(x)dx.

(b) Supngase que f : [a, b] R es creciente (y adems integrable), y g : o a [a, b] R es integrable y tal que g(x) 0 para todo x [a, b] . Probar que existe un nmero c en [a, b] tal que u
b c b

f (x)g(x)dx = f (a)
a a

g(x)dx + f (b)
c

g(x)dx

1.2.10 Si f : [a, b] R es continua y f (0) = f (1). Probar que para cada 1 1 entero positivo n existe un x en 0, 1 n tal que f (x) = f (x + n ). 1.2.11 Un polinomio P (t) de grado no mayor que 3 describe la temperatura de un cierto cuerpo en el tiempo t. Probar que la tempertura media del cuerpo entre las 9:00 A.M. y las 3:00 P.M. puede ser encontrada tomando el promedio de la temperatura en dos momentos jos, que son independientes de cualquier polinomio. Tambin, probar que estos dos momentos son e 10:16 A.M. y la 1:44 P.M. (Sugerencia: Use el teorema del valor medio para integrales; ver 6.2.2(a).)

1.2. TEOREMA DEL VALOR INTERMEDIO

15

1.2.12 Para cualquier par de tringulos, probar que existe una recta que a los biseca simultaneamente. 1.2.13 Dar un ejemplo de una funcin continua de valores reales f de o [0, 1] en [0, 1] que toma para cada valor en [0, 1] un nmero innito de veces. u (Sugerencia: Para esto basta modicar la funcin continua denida en 6.1.8.) o Ejemplos adicionales 6.1.6, 6.5.2, 6.5.3, 6.5.4, 6.5.13, 6.6.4, 6.6.5, 6.6.6, 6.6.9, 7.6.13.

16

CAP ITULO 1. CONTINUIDAD Y TEOREMAS FUERTES

Cap tulo 2 La derivada y su signicado


2.1. La derivada

La derivada de f : [a, b] R en un punto x en (a, b) est denida por a f (x) = l m f (x + h) f (x) , h0 h

si este l mite existe. Notemos que si f tiene derivada en x, entonces f es continua en x, debido a

h0

l [f (x + h) f (x)] = l m m

f (x + h) f (x) h0 h f (x + h) f (x) = l m h0 h = f (x) l h m


h0

h
h0

l h m

= 0

Ejemplos 17

18

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

1. Si f (x) = c xR, f (x) = 0. 2. Si f (x) = x xR, f (x) = 1. 3. Si f (x) = xn xR, f (x) = nxn1 . 4. Si f (x) = x xR, f (x) =
1 . 2 x 1

5. Si f (x) = x n xR, f (x) =

nx

n1 n

6. Si f (x) = sen(x) xR, f (x) = cos(x). 2.1.1 Teorema: Sean f y g dos funciones reles de valores reales, derivables en aR, entonces 1. (f + g)(x) es derivable en a y (f + g)(a) = f (a) + g (a). 2. (f g)(x) es derivable en a y (f g) (a) = f (a) g(a) + f (a) g (a). 3. Si g (a) = 0, entonces ( 1 )(x) es derivable en a y ( 1 ) (a) = g g
g (a) . g 2 (a)

Ejemplos 1. Si f (x) = xr xR, rQ, f (x) = rxr1 . 2. Si f (x) = tan(x) xR, f (x) = sec2 (x).

2.1. LA DERIVADA

19

2.1.2 Teorema: Sean f y g dos funciones reles de valores reales, tales que f es derivabe en g(a) y g es derivable en aR, entonces (f g)(x) es derivable en a y (f g)(a) = f (g(a)) g (a). m Demostracin. (f g)(a) = l h0 (f g)(a+h)(f g)(a) = l h0 f (g(a+h))f (g(a)) . o m h h Como g es derivable en a, entonces g es continua en a. As que si k = g(a + h) g(a), entonces k 0 cuando h 0, luego (f g) (a) = l m = l m f (g(a + h)) f (g(a)) h0 h

k(f (g(a) + k) f (g(a))) (f (g(a) + k) f (g(a)))(g(a + h) g(a)) = l m h0 h0 kh kh = l m = l m f (g(a) + k) f (g(a)) g(a + h) g(a) h0 k h

g(a + h) g(a) f (g(a) + k) f (g(a)) l m = f (g(a)) g (a). h0 k0 k h

2.1.3 Encuentre una frmula general para la n-sima derivada de f (x) = o e 1/(1 x2 ). Solucin. En primer lugar, asumimos que la segunda derivada es la derivao da de la primera derivada, la tercera es la de la segunda y as sucesivamente, la n+1 sima esla derivada de la nsima. Al derivar la funcin con la nale e o idad de encontrar un patrn, nos topamos con la imposibilidad de encontrar o dicho patr on. Un paso simplicador com n al trabajar con funciones racionales es u escribir la funcin como una suma de fracciones parciales. En este caso, o 1 A B = 1x + 1+x , de donde (1x2 ) 1 1 + 1x 1+x

f (x) =

1 2

y en esta forma es fcil mostrar que a

20

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO f (n) (x) =


n! 2

(1)n 1 + (1 x)n+1 (1 + x)n+1

2.1.4 Si la funcin xf (x) tiene derivada en un punto dado x0 = 0, y si f o es continua en x0 , probar que f tiene una derivada x0 . Solucin. Sea o L = l m
xx0

xf (x) x0 f (x0 ) . x x0

El l mite de la derecha existe, ya que representa la derivada de xf (x) en el punto x0 (en la denicin de derivada dada anteriormente basta sustituir h o por xx0 ). Para x sucientemente cercana a, pero diferente de, x0 (y adems a diferente de cero), f (x) f (x0 ) = x x0 = = = = Se sigue de aqu que f (x0 ) = f (x) f (x0 ) xx0 x x0 xf (x) x0 f (x0 ) f (x) = l m xx0 x0 (x x0 ) x0 xf (x) x0 f (x0 ) f (x) = l m l m xx0 xx0 x0 x0 (x x0 ) 1 [L f (x0 )] = x0 l m
xf (x) x

x x0 x0 xf (x) xx0 f (x0 ) xx0 (x x0 ) x0 xf (x) x2 f (x) xx0 f (x0 ) + x2 f (x) xx0 (x x0 ) xf (x)(x0 x) + x(xf (x) x0 f (x0 )) xx0 (x x0 ) xf (x) x0 f (x0 ) f (x) x0 (x x0 ) x0

x0 f (x0 ) x0

2.1. LA DERIVADA

21

El hecho de que l xx0 f (x) = f (x0 ) se sigue de la hiptesis de que f es m o continua en x0 . Sin embargo, esta suposicin no es necesaria, debido a que o x0 xf (x) xx0 f (x0 ) f (x) f (x0 ) = x x0 xx0 (x x0 ) x0 xf (x) x2 f (x0 ) xx0 f (x0 ) + x2 f (x0 ) 0 0 = xx0 (x x0 ) xf (x) x0 f (x0 ) f (x0 ) = x(x x0 ) x Usando esto tenemos que f (x0 ) = f (x) f (x0 ) x x0 xf (x) x0 f (x0 ) f (x0 ) = l m xx0 x(x x0 ) x 1 = [L f (x0 )] . x0
xx0

l m

2.1.5 Si f (x) = a1 senx + a2 sen2x + ... + an sennx, donde a1 , a2 ...an son nmeros reales y n es entero positivo. Dado que |f (x)| |senx| para todo u real x, probar que |a1 + 2a2 + ... + nan | 1. Solucin. Damos una solucin de este problema por induccin en 2.4.4; o o o sin embargo, una solucin ms natural est basada notando que f (x) = o a a a1 cos x + 2a2 cos 2x + ... + nan cos nx, de aqu tenemos que f (0) = a1 + 2a2 + ... + nan (que es el lado izquierdo de la desigualdad que deseamos probar). Esto requiere de revisar lo siguiente |f (0)| = f (x) f (0) xx0 x0 f (x) = l m xx0 x senx l m = 1. xx0 x l m

y se completa la prueba.

22

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

2.1.6 Si f es diferenciable en x = a, y f (a) = 0. Evaluar l m


1 f (a + n ) f (a) n

Solucin. Es suciente evaluar o f (a + x) l m x0 f (a)


1 x

Para x sucientemente peque o, f (a + x) y f (a) tienen el mismo signo, y se n sigue que f (a + x) log l m x0 f (a)
1 x

f (a + x) = l m log x0 f (a) = l m

1 x

log |f (a + x)| log |f (a)| . x0 x

La ultima expresin de la derecha es la denicin de la derivada de log |f (x)| o o en x = a, que conocemos en clculo como f (a)/f (a). Luego, a f (a + x) l m x0 f (a)
1 x

= ef (a)/f (a) .

Problemas 2.1.7 . (a) Supongamos que de la denicin usual de derivada, la denotamos por o Df (x), denimos una nueva derivada D f (x) por la frmula o D f (x) = l m f 2 (x + h) f 2 (x) . h0 h

Expresar D f (x) en trminos de Df (x). e

2.1. LA DERIVADA (b) Si f es diferenciable en x, calcular l m f (x + ah) f (x + bh) h .

23

h0

(c) Supngase que f es diferenciable en x = 0 y que satisface la ecuacin o o funcional f (x + y) = f (x) + f (y) para todos x e y. Probar que f es diferenciable en cada nmero real x. u

2.1.8 Denir f por f (x) =


1 x2 sen x si x = 0, 0 si x = 0.

(a) probar que f (x) existe para todo x pero f no es continua en x = 0. 1 1 a (La derivada para x = 0 es 2xsen x cos x ; cul es la derivada en 0?.) (b) Si g(x) = x + 2f (x). Probar que g(0) 0 pero que g no es montona o en cualquier intervalo alrededor del 0.

2.1.9 Si f : [0, 1] R es una funcin diferenciable. Supngase que no o o existe x en [0, 1] tal que f (x) = 0 = f (x). Probar que f tiene slamente un o nmero nito de ceros en [0, 1] . (Supngase que existe un nmero innito u o u 1 1 de ceros. Luego 0, 2 o 2 , 1 contiene un nmero innito de ceros (o amu bos). tomar uno de ellos, y continuar por biseccin repetida. De esta forma, o construir una sucesin convergente de ceros distintos. Usar este hecho para o llegar a una contradiccin). o

2.1.10 Probar que si f es diferenciable sobre (a, b) y tiene un extremo (esto es, un mximo o un m a nimo) en un punto c en (a, b) , entonces f (c) = 0 (Para aplicaciones de este resultado, ver 6.4.1, 6.4.2, 6.4.5, 6.4.6, 6.4.7, 6.6.4, 7.4.1.) Ejemplos adicionales 6.6.2, 6.7.2, 6.9.1, 7.6.2.

24

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

2.2.

El Teorema del Valor Extremo

Un teorema de existencia es un teorema que establece alguna existencia (por ejemplo, un punto en el dominio de una funcin que tiene alguna propiedad o establecida). Sin obntener el objeto especial en el que ocurre alguna posicin o extrema. Esta es la forma en la que uno puede hacer uso del teorema del valor extremo: Si f es una funcin continua sobre un intervalo cerrado [a, b] , o existen puntos c y d en [a, b] tales que f (c) f (x) f (d) para todo x en [a, b] .

2.2.1 Supongamos que f : [a, b] R es una funcin diferenciable. Probar o que f satisface la conclusin del teorema del valor intermedio (es decir, si o d es cualquier nmero entre f (a) y f (b), entonces existe un nmero c en u u el intervalo (a, b) tal que f (c) = d). Solucin. Si f fuera una funcin o o
Figura 6.4.

continua el resultado se sigue de una aplicacin directa del teorema del valor o intermedio (aplicado a f ). Sin embargo, f no necesariamente es continua (por ejemplo, ver 6.3.5 (a)), cmo debemos proceder?. o Para generar ideas, considerar la Figura 6.4. En esta gura, una recta L de pendiente d es dibujada por el punto (a, f (a)) , donde f (b) < d < f (a). Para cada punto x en [a, b] , sea g(x) la distancia desde el punto (x, f (x)) a la recta L (la longitud de AB en la gura). La intuicin es que el punto o que buscamos es aquel en que la funcin g alcanza su mximo. Probemos o a que este es necesariamente el caso, pero para simplicar veamos una funcin o diferente. Para cada x en [a, b] , sea h(x) la longitud del segmento vertical desde (x, f (x)) a la recta L (la longitud de BC en la gura). Observemos que el punto en el que h alcanza su mximo sobre [a, b] es el mismo en el que lo alcanza g a sobre [a, b] . (Esto es debido a que g(x) = h(x) cos , donde es la inclinacin o de L). La ventaja de considerar la funcin h es que la podemos expresar en o trminos de f y de la ecuacin de la recta L. e o

2.2. EL TEOREMA DEL VALOR EXTREMO Retornemos al problema planteado, y consideremos la funcin o h(x) = f (x) [f (a) + d(x a)] . Veamos que h(x) = f (x) d.

25

Como f (b) < d < f (a), tenemos que h(b) < 0 < h(a). Esta desigualdad implica que ni h(a) ni h(b) son valores mximos de h sobre [a, b] (sta es a e una consecuencia de la denicin de la derivada). De donde, como h es una o funcin continua sobre [a, b] , el teorema del valor extremo establece que h o toma su valor mximo en un punto c de (a, b) . En este punto, por 6.3.7, a h(c) = 0, por lo cual f (c) = d. Un argumento similar puede hacerse si f (a) < d < f (b). En este caso, h toma un valor m nimo para alg n punto c de (a, b) , y en este punto f (c) = d. u 2.2.2 P es un punto interior del ngulo cuyos lados son los rayos OA y a OB. Localizar el punto X sobre OA y Y sobre OB tales que el segmento de recta XY contiene a P y el producto (P X)(P Y ) es un m nimo. Solucin. La situacin est ilustrada en la Figura 6.5. o o a El problema es un problema t pico de mximos y m a nimos encontrado en los cursos de clculo: aqu la pregunta no es existe el valor m a nimo?, sino mas bien donde ocurre el valor m nimo?. La tcnica consiste en aplicar el e resultado de 6.3.7: si el m nimo es un punto interior del intervalo abierto, se tiene que en ese punto la derivada es cero. Luego, necesitamos expresar (P X)(P Y ) como una funcin de una sola variable, y encontrar el punto dode o la derivada es cero. Para cada n mero positivo x, existe un unico punto X sobre OA tal que u x = |OX| , y este punto determina a su vez un unico punto Y sobre OB tal que X, P y Y son colineales. Luego (P X)(P Y ) es una funcin de x. o Ahora, una expresin expl o cita para esta funcin no es muy fcil de encontrar; o a sin embargo existe una forma. Notar que (P X)(P Y ) queda determinado de
Figura 6.5.

26

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

forma unica por el ngulo (ver Figura 6.5). Para obtener uan forma expl a cita para (P X)(P Y ), primero usamos la ley de senos en los tringulos OXP y a OP Y teniendo sen sen sen( ) sen = y = . PX OP PY OP Entonces se sigue que F () = (P X)(P Y ) = sen sen (OP ) sen sen ( ) = C(csc )(csc ( )), 0 < < (OP )

donde C = sensen(OP )2 es una constante. La funcin F es continua y dertivable sobre (0, ) , y F () cuando o + 0 y cuando , y por tanto F tiene un m nimo en un punto interior de (0, ) . Un punto donde F () = 0; esto es 0 = (csc ) csc ( ) [cot cot ( )] . Como nunca csc ni csc ( ) pueden ser cero en (0, ) , entonces el m nimo ocurre cuando cot = cot ( ) . Pero debido a que 0 < < y que 0 < < , solamente sucede cuando = . Luego, el m nimo ocurre cuando OXY es un tringulo issceles; es decir, a o cuando OX = OY. (Para otra prueba, ver 8.1.3.)

Problemas 2.2.3 . (a) Sea f [a, b] R una funcin continua tal que f (x) > 0 para toda x o en [a, b] . Probar que existe una constf ante positiva c tal que f (x) c para toda x en [a, b] . (b) Probar que no existe una funcin continua que mande el intervalo cero rado [0, 1] en el abierto (0, 1) .

2.2. EL TEOREMA DEL VALOR EXTREMO

27

2.2.4 Si f [a, b] R es diferenciable en cada punto de [a, b] , y supngase o que f (a) = f (b). Probar que existe al menos un punto c en (a, b) tal que f (c) = f (c) f (a) . ca

2.2.5 . (a) Teorema de Rolle. Supngase que f [a, b] R es continua sobre [a, b] o y difeenciable sobre (a, b) . Entonces existe un nmero real c en (a, b) u tal que f (c) = 0. (b) Teorema del valor medio. Si f [a, b] R es continua sobre [a, b] y diferenciable sobre (a, b) , entonces existe un nmero c en (a, b) tal que u f (b) f (a) = f (c). ba 2.2.6 Si A, B, y C son las medidas de los ngulos de un tringulo, probar a a que 3 2 sen3A + sen3B + sen3C 2, 2 y determinar en que casos se d la igualdad. a

2.2.7 Dado un c rculo de radio r y una recta tangente L al c rculo que pasa por el punto P en el c rculo. Dado un punto variable R sobre el c rculo, trazar la perpendicular RQ a L con Q en L. Determinar el rea mxima del a a tringulo P QR. a Ejemplos Adicionales 1.11.5, 6.6.1, 6.6.4, 6.6.5.

28

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

2.3.

Teorema de Rolle

Una de las propiedades ms importantes de las funciones diferenciales es el a siguiente teorema de existencia
Teorema de Rolle. Supngase que f : [a, b] R es continua sobre [a, b] y o difererenciable sobre (a, b). Si f (a) = f (b), entonces existe un nmero c en (a, b) u (c) = 0. Este resultado es consecuencia directa de 6.3.7: Para un punto tal que f c dado en (a, b) tal que f (c) es un extremo (tal punto c existe por el teorema del valor extremo). Entondes por 6.3.7. f (c) = 0. El teorema de Rolle es importante desde el punto de vista torico (podemos eventualmente probar que el teorema del e valor medio y sus colorarios son fciles consecuencias del teorema de Rolle), pero a es tambin un importante mtodo en la resolucin de problemas. e e o 2.3.1 Probar que 4ax3 + 3bx2 + 2cx = a + b + c tiene al menos una raiz entre cero y uno. Solucin. Cualquier intento de aplicar el teorema del valor intermedio (de manera o similar a la solucin de problemas de la seccin 6.2) acarrear complicaciones, o o a debido a a que carecemos de informacin acerca de los valores de a, b, c. Pero o considetrando la funcin f (x) = ax4 + bx3 + cx2 (a + b + c)x notemos que o f (0) = 0 = f (1). Por el teorema de Rolle, existe un punto d en (0, 1) tal que f (d) = 0; es decir que, d es una raiz de 4ax3 + 3bx2 + 2cx = a + b + c, y la prueba est completa. a 2.3.2 Probar que si las funciones diferenciables f y g que satisfacen f (x)g(x) = g (x)f (x) para toda x, entonces entre cualesquiera dos races de f (x) = 0 existe una raiz de g(x) = 0 Solucin. Sean a y b dos ra o ces de f , a < b. La condicin implica que ni a ni b o son ra de g(x) = 0. Supngase que g no tiene ra entre a y b. Entonces como ces o ces una consecuencia del teorema del valor intermedio, el signo de g sobre [a, b] es siempre el mismo (esto es, g(x) > 0 para todo x en [a, b] o g(x) < 0 para todo x en [a, b]). Ahora consideremos la funcin F (x) = f (x)/g(x). Esta funcin es continua o o y diferenciable sobre [a, b] y F (a) = 0 = F (b). Luego, por el teorema de Rolle, existe un punto c tal que F (c) = 0. Pero esto es una contradiccin, ya que o F (x) = f (x)g(x) g (x)f (x) g(x)2

2.3. TEOREMA DE ROLLE

29

Y, por hiptesis f (x)g(x) g (x)f (x) = 0. Esta contradiccin implica que g debe o o tener un cero entre a y b, y la prueba est completa. a Un corolario del teorema de Rolle es que si f es una funcin continua y diferenciao ble, digamos sobre el intervalo [a, b], y si x1 y x2 son ceros de f , a < x1 < x2 < b, entonces f tiene un cero entre x1 y x2 . Ms generalmente, si f tiene n ceros disa tintos entonces f tiene n 1 ceros distintos (estos intercalados con los ceros de f ), f tiene n 2 ceros (asumiendo que f es continua y diferenciable sobre [a, b]), y as sucesivamente. 2.3.3 Probar que x2 = xsenx + cosx para exactamente dos valores reales de x Solucin. Considerar la funcin f (x) = x2 xsenxcosx. Entonces f (/2) > 0, o o f (0) < 0, luego el teorema del valor intermedio implica que f tiene al menos dos ceros. Si f tiene tres o ms ceros, entonces, por la observacin anterior, f tiene al a o menos dos ceros. Pero f (x) = 2x senx xcosx + senx = x [2 cosx] tiene slamente un cero De donde, f tiene exactamente dos ceros y se cumple lo o requerido.

2.3.4 Sea P (x) un polinomio con coecientes reales y la forma polinomial Q(x) = (x2 + 1)P (x)P (x) + x (P (x))2 + (P (x))2 . Dado que la ecuacin P (x) = 0 tiene n races reales distintas mayores que 1, probar o o refutar que la ecuacin Q(x) = 0 tiene al menos 2n + 1 races reales distintas. o Solucin. Sean a1 , a2 , ..., an n ra o ces reales distintasde P (x) = 0 con 1 < a1 < a2 < < an , y escribamos Q(x) en la forma Q(x) = (x 1)2 P (x)P (x) + x (P (x)) + (P (x))
2

Supngase que P (x) no tiene ceros en ls intervalos abiertos (ai < ai+1 ), i = o 1, 2, ..., n1. (Esto sin prdida de generalidad, ya que si hay ms, digamos m, m > n e a renombramos las a s y las incluimos, continuando la prueba de que Q(x) tiene al i menos 2m 1 ra ces reales distintas.) Por teorema de Rolle existe un punto bi en (ai < ai+1 ) tal que P (bi ) = 0. Como P es un polinomio P (x) = 0 tiene solamente

30

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO


Figura 6.6.

un nmero nito de ra en (ai < ai+1 ) para cada i podemos asumir que bi es el u ces mayor cero de P en (ai < ai+1 ). Supongamos que P (x) es positiva para toda x en (ai , ai+1 ) (ver Figura 6.6)y considerar la funcin F (x) = P (x) + P (x). La ida o e es encontrar un punto ci en (bi , ai+1 ) donde F (ci ) < 0. Entonces, como F (bi ) > 0, el teorema del valor intermedio implica que existe un punto di en (bi , ci ) tal que F (di ) = 0 y consecuentemente, Q(bi ) = bi (F (bi ))2 > 0 Q(di ) = (di 1)2 p(di )P (di ) < 0 (note que P (x) < 0 para toda x en (bi , ai+1 )), y Q(ai+1 ) = ai+1 (F (ai+1 ))2 > 0. Adems, por el teorema del valor intermedio, existen puntos xi en (bi , di ) y yi a en (di , ai+1 ] tal que Q(xi ) = 0 = Q(yi ) Por el argumento anterior trabajaremos Figura 6.7.

para probar que existe un punto ci en (bi , ai+1 ) donde F (ci ) < 0. Si ai+1 es una raiz de multiplicidad uno, entonces F (ai+1 ) = P (ai+1 ) < 0, y dicho ci puede ser encontrado en una vecindad sucientemente pequea de ai+1 . Si ai+1 es una raiz de multiplicidad mayor que 1, entonces P (ai+1 ) = 0 = P (ai+1 ) y existe un intervalo (ai+1 , ai+1 ) para > 0 sucientemente pequea, donde P (x) > 0 (ver Figura 6.7). Para tal x se tiene que P (x) < y de aqu F (x) = P (x) + P (x) < P (x) 1 + 1 x ai+1 x ai+1 + 1 = P (x) x ai+1 P (x) P (x) P (ai+1 ) = x ai+1 x ai+1

Luego, sea ci = x, donde x est sucientemente cerca de ai+1 tal que el denomia nador de la ultima expresin es positivo y el denominador negativo. Entonces para o

2.3. TEOREMA DE ROLLE

31

una tal ci , F (ci ) < 0, bi < ci < ai+1 . Esto completa el argumento: Q(x) = 0 tiene dos ra ces en (bi , ai+1 ) El argumento anterior est basado sobre la suposicin de que P (x) > 0 para x en a o (ai , ai+1 ). Para el caso en que P (x) < 0 para toda x en (ai , ai+1 ), un argumento exctamente anlogo nos llevar a la misma conclusin. Luego, hemos probado a a a o que Q tiene al menos 2n 2 ceros (dos en cada uno de los intervalos (ai , ai+1 ), i = 1, 2, ..., n 1). La solucin debe completarse si probamos que Q tiene un cero en o , a1 ). Existen varios casos a considerar: Supngase que P (x) = 0 tiene una raiz en el intervalo (0, a1 ). Entonces, haciendo o caso omiso de algunos detalles, el mismo argumento prueba que Q tiene un cero en (b0 , a1 ) donde b0 es tomado como el cero de P en (0, a1 ) Ahora consideremos el caso en que P (x) = 0 no tiene una raiz en el intervalo (0, a1 ). Si P (x) > 0 para toda x en (0, a1 ), entonce P (x) < 0 para toda x en (0, a1 ) y de aqu Q(0) < 0 y Q(a1 ) > 0. Por el teorema del valor intermedio, , Q(x) = 0 tiene una ra en el intervalo (0, a1 ). similarmente si P (x) < 0 para toda z x en (0, a1 ), tendremos que Q(0) < 0 y Q(a1 ) > 0, etc. Luego, en todos los caso Q(x) = 0 tiene al menos 2n 1 ra ces distintas. El anlisis anterior, parece tedioso y complicado, est basado enteramente en los a a pricipios bsicos: teorema de Rolle y teorema del valor intermedio. con estas dos a idas los aspectos conceptuales de la prueba resultan naturales y fciles de entene a der. Existe otra solucin que es mucho ms facil, despus de un habilidoso, pero o a e no muy comn, paso clave (por ejemplo, ver 6.5.11 y 6.9.4). Como esto es instrucu tivo, lo consideraremos tambin. Primero, ntese que Q puede ser escrito como un e o producto en la siguiente manera: Q(x) = (x2 + 1)P (x)P (x) + x (P (x))2 + (P (x))2 < notando que F (x) = ex P (x) + xP (x)
2 /2

xP (x) + P (x) y G(x) = [xP (x)]

Sea F (x) = P (x) + xP (x) y G(x) = xP (x) + P (x). El paso clave lo podemos ver, ex
2 /2

P (x)

a1 , a2 , , am , luego por el teorema de Rolle, ex /2 P (x) , y en consecuencia F (x), tienen al menos m 1 ceros bi con ai < bi < ai+1 . Similarmente por el teorema de Rolle tuiene al menos m ceros c0 , c1 , , cm1 , 0 < c0 < a1 , ai < ci < ai+1 , i = 1, 2, ..., m 1. Como vemos slo falta probar que bi = ci para i = 1, 2, ..., m 1. o

Asumiendo que P (x) tienen exactamente m ceros distintos ai mayores que 1, con 2 1 < a1 < a2 < < am , m > n. Entonces ex /2 P (x) tambin tiene ceros en e
2

32

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

Asumamos que bi = ci para algn i, i sea r su valor comn. A partir de que u u (r) = rP (r). Sustituyendo esto en G(r) = 0, F (r) = 0, encontramos que P tenemos que r[rP (r)] + P (r) = 0, o equivalentemente, (r 2 1)P (r) = 0. Como r > 1, la ultima ecuacin implica que P (r) = 0. Pero como ai < r < ai+1 , entonces o tenemos una contradiccin al haber hecho la suposicin respectiva a las ra o o ces de P (x) = 0 (recurdese, hemos asumido que ai y ai+1 son rices consecutivas de e P ;es decir, todas las raes de P mayores que 1 estn incluidas en las a s. Se sigue c i entonces que las b s y las c s son diferentes, y adems Q(x) = 0 tiene al menos a i i 2m 1 ( 2n 1) ra ces reales distintas. Problemas

2.3.5 . (a) Probar que 5x4 4x + 1 tiene una raz entre 0 y 1. (b) Si a0 , a1 , , an son nmeros reales que satisfacen u an a0 a1 + + + = 0, 1 2 n+1 probar que la ecuacin a0 + a1 x + + an xn = 0 tiene al menos una raz o real.

2.3.6 . (a) Supngase que f : [0, 1] o mathbf R es diferenciable, f (0) = 0 y f (x) > 0 para x en (0, 1). Probar que existe un nmero c en (0, 1). tal que u f (1 c) 2f (c) = . f (c) f (1 c) (sugerencia. Considerar f 2 (x)f (1 x).) (b) Existe un nmero d en (0, 1). tal que u 3f (d) f (1 c) = ?. f (c) f (1 c)

2.3. TEOREMA DE ROLLE


2.3.7 .

33

(a) Teorema del valor medio de Cauchy. Si f y g son funciones continuas sobre [a, b] y diferenciables sobre (a, b), entonces existe un nmero c tal que u [f (b) f (a)] g (c) = [g(b) g(a)] f (c) (b) Probar que el teorema del valor medio (6.5.4 (b)) es un caso especial de (a).

2.3.8 . (a) Probar que x3 3x + b puede no tener ms que un cero en [1, 1], indepena dientemente de los valores de b. (b) Sea f (x) = (x2 1)ecx . Probar que f (x) = 0 para exactamente un valor de x en el intervalo (1, 1) y que esta x tiene el mismo signo que el parmetro a c.

2.3.9 Cuntos ceros tiene la funcin f (x) = 2x 1 x2 sobre la recta real? a o 2.3.10 Sea f (x) = a0 + al x + ... + an xn un polinomio con coecientes reales tal que f tiene n + 1 ceros reales distintos. Usar el teorema de Rolle para probar que ak = 0 para 0 k n. 2.3.11 Si f : R R es una funcin diferenciable, probar que existe una raz de o f (x) af (x) = 0 entre cualesquiera dos raes de f (x) = 0. c 2.3.12 Supngase que n es un entero no negativo y o c0 er0 x + c1 er1 x + + cn ern x donde ci y ri son nmeros reales. Probar que si f tiene ms de n ceros en R u a entonces f (x) = 0. (Sugerencia: Hacer induccin sobre n.) o

34

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

2.3.13 El n esimo polinomio de Legendre est denido por a Pn (x) = 1 2n n! Dn x2 1

Donde D n denota la n esima derivada con respecto a x . Probar que Pn (x) tiene eaxatamente n races rales distintas y todas en el intervalo (1, 1). (Sugerencia:(x2 n = (xl)n (x+1)n . Probar por un argumento inductivo, que la k esima derivada 1) de (x l)n (x + 1)n tiene al 1 como un cero de multiplicidad n k, al 1 como un cero de multiplicidad n k, y tiene al menos k ceros distintos entre 1 y 1.)

2.4.

Teorema del Valor Medio

Supngase que f : [a.h] R es continua sobre [a, b] y diferenciable sobre (a, b). De manera similar a lo que usamos en la solucin de 6.4.1,considerar la funcin o o F (x) = f (x) L(x). (ver la gura 6.8), donde y = L(x) es la ecuacin de la recta desde (a, f (a)) a o (b, f (b)). Geomtricamente, F (x) representa la distancia a lo largo del segmento e vertical desde (x, f (x)) a la recta y = L(x). Como f (a) = 0 = f (b). Sabemos por el teorema de Rolle que existe un punto c en (a.b) tal que F (c) = O. En tal punto f (c) L (c) = O, o equivalentemente f (c) = L (c) = (la pendiente de L) = Tenemos probado justamente el siguiente. Teorema del Valor Medio. Si f : [a.b] R es continua en [a.b] y diferenciable en (a, b). Entonces existe un nmero c en (a, b) tal que u f (c) = f (b) f (a) ba f (b) f (a) ba

Si f (a) = f (b), es justamente lo establecido en el teorema de Rolle. De otra forma, diremos que existe un punto entre a y b donde la pndiente de la curva es igual a la pendiente de la recta que pasa por (a, f (a)) y (b, f (b)). 2.4.1 Sea g(x) una funcin que tiene una primera derivada continua g (x) para o todos los valores de x. Supngase que la siguientes condiciones son verdaderas o

2.4. TEOREMA DEL VALOR MEDIO


Figura 6.8.

35

(i) g(0) = 0, (ii) |g (x)| |g(x)| para todo x. Probar que g(x) es identicamente cero. Solucin. Daremos una solucin mejor e inusual, simplemente para ilustrar el o o uso del teorema del Valor Medio. Comenzaremos por considerar el intervalo [0, 1]. Sea x un punto arbitrario en (O, 1) Por el teorema del Valor Medio, existe un punto c1 en (0, x) tal que (x) g(0) g (c1 ) = x0

Se sigue que |g(x)| = |xg (c1 )| = |x| |g (c1 )| |x| |g(c1 )| .

Similarmente existe un punto c2 en (0, c1 ) tal que |g(c1 )| |c1 | |g(c2 )| . Continuando de esta manera encontramos nmeros c1 , c2 , ..., cn , 0 < cn < ... < u c2 < c1 < x < 1, tales que |g(x)| |x| |g(c1 )| |cn1 | |g(cn )| . Como g es continua sobre [0, 1], es acotada (entre sus valores m nimo y mximo, que existen a por el teorema del valor extremo) y adems, como el lado derecho de la ultima a desigualdad puede hacerse arbitrariamente pequea tomando n sucientemente n grande (cada uno de los |ci | es menor que 1), aun ms para el caso en que g(x) = 0. a Luego, g(x) es identicamente igual a cero sobre [0, 1]. El mismo argumento podemos ahora aplicar al intervalo [1,2] (para x en (1,2) existe un c1 en (1.x) tal que |g(x)| |x l| |g(cl )| , etc.). Como consecuebcia de este argumento, tendremos que g es igual a cero sobre [1,2]. Por un argumento inductivo, tenemos que g es igual a cero sobre [n, n + 1] para todo entero n. Luego, g es identicamente cero. (Ntese que no usamos la hiptesis o o fuera continua) de que g El teorema del valor medio tiene un importante nmero de corolarios que ponu dremos en juego, ellos son los siguientes: Supongamos que f y g son funciones continuas sobre [a, b] y diferenciables sobre (a, b).

36

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

(i) Si f (x) = 0 para todo x en (a, b), entonces f es una constante. (ii) Si f (x) = g (x) para todo x en (a, b), entonces existe una constante c tal que f (x) = g(x) + C ( (iii) Si f (x) 0 para toda x en (a, b), entonce f es una funcin creciente. Simo ilarmente si f (x) 0 para toda x en (a.b) entonces f es una funcin deo creciente. ( No-decreciente, no-creciente, respectivamente sobre (a, b). [Para algunas aplicaciones ver seccin 7.4] o Prueba de (i) : Sea x (a, b). Por el teorema del valor medio, existe un nmero c u (c) = O. Se sigue que f (x) = f (a) para en (a, b) tal que [f (x) f (a)]/[x a] = f todo x en (a, b). Prueba de (ii) : Aplicando (i) a la funcin h(x) = f (x) g(x). o Prueba de (iii) : Considerar x, y (a, b), x < y. Por el teorema del valor medio existe un nnmero c en (x, y) tal que [f (y) f (x)]/[y x] = f (c) 0 por lo cual u se sigue que f (y) f (x), y f es cresiente. 2.4.2 Sea f : R R tal que para todo x e y en R, Si |f (y) f (x)| (x y)2 . Probar que f es una constante. Solucin. Por el primero de los corolarios presedentes, es suciente probar que o (x) = 0 para todo x. Luego, argunmentamos como sigue: f f (x) = = = = f (y) f (x) yx f (y) f (x) limyx yx |f (y) f (x)| limyx |y x| (y x)2 limyx |y x| limyx |y x| limyx

= 0.

2.4. TEOREMA DEL VALOR MEDIO

37

2.4.3 Supngase que f : R R es dos veces diferenciable con f (x) 0 para o todo x. Probar que para todas a y b, a < b, f( f (a) + f (b) a+b ) 2 2

Solucin. La Figura 6.9 muestra la conclusin, pero el uso del teorema del valor o o medio permite pasar de una propiedad local, f (x) > 0 (f est determinada para a algunos valores dados de x), en una propiedad global (vertdadera para todas a y b independientemente de su proximidad). por el teorema del valor medio existe un nmero x1 en (a, 1 (a + b)) tal que u 2
1 f ( 2 (a + b)) f (a) = f (x1 ) 1 (a + b) a 2

y un nmero x2 en ( 1 (a + b), b) tal que u 2 Figura 6.9.

1 f (b) f ( 2 (a + b)) = f (x2 ). b 1 (a + b) 2

Pero f (x) 0 para todo x en (x1 , x2 ), luego, f es una funcin no-decreciente. o (x ) f (x ) o equivalentemente De aqu f 2 1 f (b) f ( 1 (a + b)) 2 b 1 (a + b) 2 1 f ( (a + b)) 2 f ( 1 (a + b)) f (a) 2 1 2 (a + b) a f (a) + f (b) 2

En el resto de esta seccin trataremos problemas en donde usaremos todos o la o mayor de los teoremas de existencia considerados en este cap a tulo: el teorema del valor intermedio, el teorema del valor extremo, el teorema de Rolle y el teorema del valor medio. 2.4.4 Sea f una funcin diferenciable con f continua sobre [a, b]. Probar que o existe un nmero c en (a, b] tal que f (c) = 0, entonces podemos encontrar un u nmero en (a, b) tal que u f () f (a) f () = ba

38

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

Solucin. Entraremos al campo de la geometr para tratar el problema: consido a erar la gr en la Figura 6.10, donde B est localizado de forma que la recta RC fica a es horizontal. Para un punto x entre a y b el lado derecho de la ecuacin, es decir, o f (x) f (a) ba representa la pendiente de la recta AB, adems el lado izquierdo f (x) representa a la pendiente de la tangente a la curva en C. considerar entonces las funcin o F (x) = f (x) f (x) f (a) ba

Esta es una funcin continua de x (aqu hacemos uso del hecho de que f es o Figura 6.10.

continua,) luego por el teorema del valor intermedio, existe un punto en (a, b) tal que F () = 0 debido a que podemos encontrar puntos x1 y x2 (a, b) tales que F (x1 ) > 0 y F (x2 ) < 0. Obsrvese que F (x) va tomando valores positivos a partir e de x = a y negativos a partir de x = c. Aceptemos esto, o algo similar, siempre serl e (c) = 0, y [f (c) f (a)]/[b a] > 0, caso? Supngase que f (c) > f (a). Entonces f o de aqu f (c) f (a) < 0. F (c) = f (c) ba Por el teorema del valor medio, existe un punto d en (a, c) tal que f (d) = De donde F (d) = f (d) = = f (d) f (a) ba f (c) f (a) f (d) f (a) ca ba f (c) f (a) f (d) f (a) ba ba f (c) f (d) . ba
f (c)f (a) . ca

Ahora, veamos que pasapara el caso en que f (c) > f (d). Desafortunadamente, no podemos asegurar nada, como lo indica la grca de la Figura 6.11. Para salvar a esta dicultad, podemos proceder como sigue. Considerar la funcin f sobre el o

2.4. TEOREMA DEL VALOR MEDIO


Figura 6.11.

39

intervalo [a, c]. Por el teorema del valor extremo, se alcanza un valor mximo a sobre este intervalo, digamos en x = s (puede ser igual a c). Como hemos asumido que f (c) > f (a), sabemos que a < s c. Si s = c entonces f (s) = f (c) = O, de otra forma si a < s < c entonces f (s) = O por 6.3.7. Ahora procedamos como sigue: Existe un punto d en (a, s) tal que f (d) = [f (s) f (a)]/(s a), y F (d) = f (d) = = f (d) f (a) ba f (s) f (a) f (d) f (a) sa ba f (s) f (a) f (d) f (a) ba ba f (s) f (d) . ba

y esta ultima expresin es no-negativa, ya que f (s) f (d) por las caracterticas o s de s. Estyo completa la prueba para este caso: El argumento es similar para los casos f (c) < f (a) y f (c) = f (a).

2.4.5 supngase que f es una funcin de valores reales dos veces continuamente o o diferenciable denida sobre todos los nmeros relaes tal que |f (x)| 1 parsa todos u los x y (f (0))2 + (f (0))2 = 4. Probar que existe un nmero real x0 tal que f (x0 ) + u f (x0 ) = 0. Solucin. Existen dos formas naturales de aprovechar nuestros esfuerzos. Una o consiste en aplicar el teorema del valor intermedio; es decir, considerar la funcin o F (x) = f (x) + f (x) y encontrar a y b para las cuales F (a) > 0 y F (b) < 0. Desafortunadamente, la condicin (f (0))2 + (f (0))2 = 4. no es suciente para o aprovechar esto. Otra idea es ver si G(x) = (f (x))2 + (f (x))2 tiene un extremo en el interior de algn intervalo. Para un tal extremo, G (x) = 0. Ntese que G (x) = 2f (x)f (x) + u o 2f (x)f (x) = 2f (x)[f (x) + f (x)]. Esto parece mejor!. Esforcmonos en probar que existen puntos a y b, 2 < a < 0, 0 < b < 2. tales e que |G(a)| 2 y |G(b)| 2. Como G(0) = 4 se sigue que G(x) tiene un mximo a en un punto x0 en (a, b), y que en este punto G (x0 ) = 0.

40

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

Del teorema del valor medio existe un punto a en (2,0) y b en (0.2) tales que f (a) = se sigue que f (a) = f (0) f (2) |f (0)| + |f (2)| 1+1 = 1. 2 2 2 |f (2)| + |f (0)| 1+1 f (2) f (0) = 1. 2 2 2 f (2) f (0) f (0) f (2) y f (b) = 2 2

f (b) = Luego

|G(a)| = (f (a))2 + (f (a))2 (f (a))2 + (f (a))2 2, |G(b)| = (f (b))2 + (f (b))2 (f (b))2 + (f (b))2 2. Sea x0 el punto en (a, b) donde G(x0 ) es un mimo. Entonces G (x0 ) = 2f (x0 )[f (x0 )+ x f (x0 )] = 0. Si f (x0 ) = 0, entonces G(x0 ) = (f (x0 ))2 + (f (x0 ))2 = (f (x0 ))2 1. Pero G(x0 ) 4, ya que G(0) = 4. De donde f (x0 ) = 0 y de aqu se tiene que f (x0 ) + f (x0 ) = 0. Esto completa la prueba.

2.4.6 Sea f (x) diferenciable sobre [0.l] con f (0) = 0 y f (1) = l. Para cada entero positivo n, probar que existen distintos puntos x1 , x2 , ..., xn en [0, 1] tales que
n i=1

1 = n. f (xi )

Solucin. Ayuda para generar idas,considerar el caso n = 1. Podemos encontrar o e x en [0, 1] tal que 1/f (x1 ) = 1. Esto es posible por el teorema del valor medio, ya que sobre el intervalo [0, 1] existe un punto x1 tal que f (x1 ) = 1. Considerar el caso n = 2. Considerar los subintervalos [0, x] y [x, 1] donde x es algn nmero entre 0 y 1 determinado. Por el teorema del valor medio, existen un u u x1 (0, x) y x2 en (x, 1) tales que f (x1 ) = f (1) f (x) f (x) f (0) y f (x2 ) = . x 1x

2.4. TEOREMA DEL VALOR MEDIO


Luego,

41

1 f (x
1)

1 f (x
2)

=2

Si y slo si o

x(1 f (x)) + (1 x)f (x) = 2f (x) 2(f (x))2 , x xf (x) + f (x) xf (x) 2f (x) + 2(f (x))2 = 0 x(1 2f (x)) f (x)(1 2f (x)) = 0 x 2xf (x) f (x) + 2(f (x))2 = 0 (x f (x))(1 2f (x)) = 0

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

Ahora, debemos encontrar x en (0, 1) tal que f (x) = 1/2 (esto es inmediato por el teorema del valor intermedio), la prueba se completa regresando la serie de pasos previa. Con base en este trabajo podemos considerar el caso para un entero positivo arbitrario n. Sea ci el menor nmero en [0,1] tal que f (ci ) = i/n (la existencia de u este nmero es consecuencia del teorema del valor intermedio conjuntamente con u la suposicin de continuidad). Entonces 0 < c1 < c2 < ... < cn1 < 1. Denamos o c0 = 0 y cn = 1, y para cada intervalo (ci1 , ci ), i = 1, 2, ..., n, tomar xi tal que f (xi ) = f (ci ) f (ci1 ) ci ci1

(esto es posible por el teorema del valor medio). Entonces f (xi ) = luego i1 1 n = ci ci1 n(ci ci1 )
n i=1 i n

n i=1

1 = (x ) f i

n(ci ci1 ) = n.

Problemas

2.4.7 .

42
(a) Probar que

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

F (x) =

es una funcin constante probando que F (x) = 0. (Este problema apareci en o o 1.2.1.) (b) Si P (x) es un polinomio de grado tres en x, y y 2 = P (x), probar que D(y 3 D 2 y) y2 es una constante, donde D denota el operador derivada. (Sugerencia: Primero escribir la expresin anterior en trminos de P y sus derivadas.) o e 2.4.8 . (a) Si Y = f (x) es una solucin de la ecuacin diferencial y + y = 0, probar o o 2 + (f )2 es una constante. que f (b) Usar la parte (a) para probar que cada solucin de y + y = 0 es de la forma o y = Acosx + Bsenx. (Sugerencia: Es fcil probar que todas las funciones a Acosx+Bsenx satisfacen la ecuacin dferencial. Sea f (x) una solucin. Para o o que f (x) tenga la forma f (x) = Acosx + Bsenx es necesario que A = f (0) y que B = f (0). Ahora considereF (x) = f (x) f (0)cosx f (0)senx. Aplicar la parte (a) a F (x), haciendo uso del hecho de que F (0) = 0 = F (0).) (c) Usar la parte (b) para probar las frmulas de adicin o o sin(x + y) = senxcosy + cosxseny, cos(x + y) = cosxcosy senxseny. 2.4.9 Sea f (x) diferenciable sobre [0, 1] con f (0) = 0 y f (l) = 1. Para cada entero positivo n y nmeros positivos arbitrarios dados k1 , k2 , ..., kn probar que u existen distintos x1 , x2 , ..., xn tales que
n i=1

senx + sen(x + a) cosx cos(x + a)

ki = (x ) f i

ki .
i=1

Ejemplos Adicionales 6.9.6,6.9.10, Seccin 7.4. o

2.5. REGLA DE LHOPITAL

43

2.5.

Regla de LHpital o

Aqu asumiremos la familiaridad del lector con variadas formas de la Regla de LHpital. o 2.5.1 Evaluar
x

l m

1 ax 1 x a1

1/x

Solucin. Reescribimos la expresin en la forma equivalente o o 1 ax 1 x a1


1/x

= exp

1 log x
x

1 ax 1 x a1

De esta manera el problema ha sido transformado para la evaluacin de o l m


1 1 log x aa1 x

o equivalentemente l m
1 log x x

+ l m

log(ax 1) x

l m

log(a 1) x

probando que cada uno de estos l mites existe. Claramente, l x (Iog(a1))/x = m 0, y por la Regla de LHpital, o l m
1 log x x

= =

l m

logx x
1 x

l m

=0

Tambin, por la Regla de LHpital, e o


x

l m

log(ax 1) x 1 ax 1 x a1

= l m

ax loga ax 1

= loga.

Se sigue que
1/x x

l m

= exploga = a.

44

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

2.5.2 Supngase f es una funcin con con dos derivadas continuas y f (0) = 0. o o Probar que la funcin g denida por g(0) = f (0), g(x) = f (x)/x para x = 0 tiene o una derivada continua. Solucin. Para x = 0 o g (0) = limx0 g(x) g(0) x0

y como f es continua, luego tambin lo es g para x = 0. Solamente resta vericar e que g tiene una derivada en x = 0, y si g (O) existe, ver si g es continua en x = O. Para la existencia de g (O) podemos examinar lo siguiente: g (0) = limx0 = limx0 = limx0 g(x) g(0) x0 f (x)/x f (0) x f (x) xf (0) x2

Como f (x) xf (0) 0 cuando x 0 y como f y f son diferenciables podemos aplicar la Regla de LHpital para obtener el l o mite g (0) = limx0 = = 1 limx0 2 1 f (0). 2 f (x) f (0) 2x (x) f (0) f x

(Este ultimo paso se debe a la denicin de f (0).) Luego g (0) existe. o Para vericar la continuidad de g en 0 tenemos limx0 g (x) = limx0 = limx0 = limx0 xf (x) f (x) x2 f (x) + xf (x) f (x) 2x (x) +f 1 = f (0). 2 2

2.5. REGLA DE LHOPITAL

45

El ultimo paso se debe a que tenemos dado que f tiene una segunda derivada continua. Luego limx0 g (x) = g (0), y la prueba est completa. a

Problemas

2.5.3 Evaluar limn 4n 1 cos

2n

2.5.4 Evaluar los siguientes lmites: (a) limn 1 + (b) limn


n+1 n+2 1 n . n n

(c) limn 1 + (d) limn 1 +

1 n . n2
2 1 n n

.
1 n n

2pn P (e) limn pn +Pn , donde pn = 1 + n

y Pn = 1 +

1 n+1 . n

2.5.5 Si 0 < a < b. Evaluar


1 1/t

limt0
0

bx + a(1 x) dt

2.5.6 Calcular limx x


0

et

2 x2

dt

2.5.7 Probar que la funcin y = (x2 )x , y(0) = 1, es continua en x = 0. o

46

CAP ITULO 2. LA DERIVADA Y SU SIGNIFICADO

Cap tulo 3 La Integral


3.1. La Integral

Considerar que deseamos conocer la suma 1 1 1 + + ... + n n+1 2n 1 cuando n . Uno puede comenzar interpretndola geomtricamente; cona e struyendo los rectngulos sobre [n, 2n] como muestra la Figura 6.12. De la gura a es claro que 1 1 1 + + ... + n n+1 2n 1 > 1 dx = logx|2n n x n = log2n logn = log2.
2n

Similarmente, de la Figura 6.13 se sigue que 1 1 1 + + ... + < n+1 n+2 2n De ambos resultados tenemos Figura 6.12.
2n n

1 dt = log2. t

47

48
log2 <

CAP ITULO 3. LA INTEGRAL


1 1 1 + + ... + < n n+1 2n 1 1 1 n 2n + log2.

Ahora, como n se sigue que la suma en cuestin se aproxima a log2. Otra o Figura 6.13.

forma de ver esto es reescribir la suma en la forma


n1 k=0

1 = n+k

n1 k=0

1 1+

k n

1 n

y tomar cada trmino e 1 1+


k n

1 n

como el rea del rectngulo con base [k/n, (k + 1)/n] y altura 1/(1 + k/n). En esta a a forma, la suma represena el rea de los rectngulos sombreados como se muestra a a en la Figura 6.14. Cuando n , estas reas se aproximan al rea acotada por a a y = 1/(1 + x), y = 0, x = 0, x = 1. Esto es
n1

limn
k=0

1 n+k

n1

= limn
k=0 1

1 1+

k n

1 n

=
0

1 dx = log2. 1+x

Figura 6.14.

3.1.1 Evaluar limn . 1 n

k=1

2n k

n k

Solucin. El problema requiere de la evaluacin de la integral denida o o


1 0

2 x

1 x

dx.

3.1. LA INTEGRAL

49

2 hagamos esto geomtricamente calculando el rea bajo la grca de f (x) = x e a a 1 2 x entre x = 0 y x = 1. Los puntos de discontinuidad de f (x) en (0, 1) ocurren cuando 2/x o 1/x son enteros. en el primer caso 2/x = n cuando x = 2/n y en el segundo caso 1/x = n cuando x = 1/n. Luego, concentrndonos en los puntos a 1 > 2/3 > 2/4 > 2/5 > 2/6 > . Es fcil vericar que para cada n, a

f (x) =

2 2 0 si x( 2n+1 , 2n ] 2 2 1 si x( 2n+2 , 2n+1 ]

La grca es como se muestra en la Figura 6.15. La integral de esta es igual a a Figura 6.15.

2 2 3 4 o 2 Ahora recordemos que

2 2 5 6

2 2 7 8

+ ,

1 1 1 1 1 1 + + 3 4 5 6 7 8

+ ,

log(1 + x) = x Esto signica que 2

x2 x3 x4 + + , 1 < x 1. 2 3 4 1 = log4 1 2

1 1 1 1 1 1 + + 3 4 5 6 7 8

+ = 2 log2 1 +

y la solucin est completa. o a 3.1.2 Evaluar limn 1 n4

2n

n2 + 12
i=1

1/n

Solucin. Podemos cambiar el producto en una forma equivalente escribiendo o 1 n4


2n

n2 + i2
i=1

1/n

= exp log
2n

1 n4

2n

n2 + i2
i=1

1/n

=
i=1

log

1 2 n + i2 logn4 . n

50
Luego, examinaremos
2n

CAP ITULO 3. LA INTEGRAL

limn
i=1

1 log n2 + i2 logn4 n n2 + i2 n2

2n

= limn
i=1 2n

1 logn2 n 1 n

logn4 i n
2

= limn
i=1 2n

logn2 + log 1 +
2n i=1

logn4 i n
2 2

= limn
i=1

1 logn2 + n
2n

1 log 1 + n i n

logn4 logn4

= limn = limn

2n logn2 + n
2n

i=1

1 log 1 + n i n
2

log 1 +
i=1

1 . n

Reorganicemos la ultima expresin como la integral denida o


2 0

log(1 + x2 )dx.

Usando la integracin por partes tenemos o


2 0

log(1 + x2 )dx = xlog(1 + x2 )|2 2 0


2

= 2log5 2

x2 dx 2 0 1+x 1 dx 1 1 + x2

= 2log5 2 [2 arctan2] . Luego, el l mite original es exp [2log5 4 + 2arctan2] , o equivalentemente 25exp (2arctan2 4) .

= 2log5 2 [x arctanx] |2 0

3.1. LA INTEGRAL
3.1.3 Probar que:
n

51

(1)k
k=0

n 1 = k k+m+1

(1)k
k=0

n 1 . k k+n+1

Solucin. La clave es observar que o 1 = k+m+1 Usando esto, encontramos


n 1 0

tk+m dt.

(1)
k=0

n 1 k k+m+1

= = =

(1)k
k=0 1 n 0 k=0 1 m 0

n k

1 0

tk+m dt

(1)k

n k+m t dt k

t (1 t)n dt.

Ahora usando cambio de variable: sea s = 1 t. Continuando desde la ultima integral


1

=
0 1

(1 s)m sn dt
m

=
0 m

sn
k=0

(1)k m k

m k s dt k
1 0

=
k=0 m

(1)k (1)k
k=0

sn+k dt

m 1 dt. k k+n+1

Problemas

3.1.4 Evaluar los siguientes lmites:

52
(a) limn (b) limn (c) limn (d) limn
1 2n+1

CAP ITULO 3. LA INTEGRAL


+
1 2n+2

+ +

1 3n

1a +2a ++na n1+a n 12 +n2

, a > 1. + +
n n2 +n2 n n

n 22 +n2

. .

1+

1 n

1+

2 n

1 +

1/n

3.1.5 Evaluar cada uno de los siguientes: (a) limn n3/2 (b) limn
n k=1

k.

n 1 k=1 k 2 +n2 .

3.1.6 Encontrar la suma parcial 10 n2/3 . (Sugerencia: Comparar el area bajo n=1 9 + 1] con el area bajo la curva la curva de f (x) = x3/2 sobre el intervalo [1, 10 f (x) = (x 1)3/2 sobre el intervalo [2, 109 + 1].) 3.1.7 Supngase que f y g son funciones continuas sobre [0, a], y supngase que o o f (x) = f (a x) y g(x) + g(a x) = k para todo x en [0, a), donde k es un nmero u jo. Probar que a a 1 f (x)dx. f (x)g(x)dx = k 2 0 0 Usar este hecho para evaluar
0

xsenx dx. 1 + cos2 x

3.1.8 . (a) Sea A=


0

cosx dx. (x + 2)2

Computar
/2 0

senxcosx dx x+1

en trminos de A. e

3.2. TEOREMA FUNDAMENTAL DEL CALCULO


(b) Sea f (x) =
0

53

logt dt para x > 0. 1+t

Computar f (x) + f (1/x).

3.1.9 Encontrar todas las funciones continuas positivas f (x), para 0 x l, 1 1 1 tales que 0 f (x)dx = 1, 0 xf (x)dx = a, 0 x2 f (x)dx = a2 , donde a es un nmero real dado. u

3.1.10 Sea f (x, y) una funcin continua sobre el cuadrado o S = (x, y) : 0 x l, 0 y l. Para cada punto (a.b) en el interior de S, sea S(a,b) el cuadrado ms grande contenido en S centrado en (a, b) y cuyos lados son paralelos a los lados de S. Si la doble integral f (x, y)dxdy es cero sobre cada cuadrado S(a,b) , f (x, y) ser idena ticamente cero en S? Ejemplos Adicionales 1.4.4, 1.6.3, 1.12.3, 1.12.6, 2.5.15, 6.2.2, 6.2.9, 7.6.3.

3.2.

Teorema Fundamental del Clculo a

El teeorema fundamental del clculo hace referencia a la relacin que existe entre a o las operaciones inversas de diferencicin e integracin. El teorema fundamental o o para integrales de derivadas establece que si F (x) tiene una derivada continua sobre el intervalo (a, b), entonces
b a

F (t)dt = F (b) F (a)

En otras palabras, la diferenciacin seguida de la integracin recupera la funcin, o o o en el sentido de que


x

F (x) =
0

F (t)dt + C)

54
donde C = F (0).

CAP ITULO 3. LA INTEGRAL

Por ejemplo la derivada de F (t) = sen2 t is F (t) = 2sentcost. la integracin de o F (t) sobre [0, x] sen2 x =
0 x

2sentcostdt.

En este caso recuperamos integramente la funcin debido a que F (0) = 0. pero o tambin obsevamos que la integracin puede ser efectuada de otra manera: veamos e o (sea U = cost),
x 0

2sentcostdt = cos2 t|x = cos2 x + 1. 0

Se sigue que toda x.

sen2 x

= cos2 x + 1, o equivalentemente, sen2 x + cos2 x = I para

3.2.1 Encontrar todas las funciones diferenciables f denidas para x > 0 que satisfacen f (xy) = f (x) + f (y), para x, y > 0.

Solucin. Cuando x = y = 1 tenemos que f (1) = f (1 1) = f (1) + f (1), y se o sigue que f (1) = 0. Si x = 0 tenemos 0 = f (1) = f (x 1/x) = f (x) + f (1/x), y de aqu f (1/x) = f (x). Se sigue que f (x/y) = f (x) f (y). Ahora la ida es ver la derivada de f e y recobrar f mediante la integracin: o f (x) = limh0 = = = = f (x + h) f (x) h f (x + h)/x limh0 h f (1 + t) h limt0 , donde t = tx x 1 f (1 + t) f (1) limt0 x t 1 f (1). x
x x 1

De aqu por el teorema fundamental del clculo, a f (x) = f (x) f (1) = f (t)dt = f (1) dt = f (1)logx t

3.2. TEOREMA FUNDAMENTAL DEL CALCULO

55

Luego, las funciones que buscamos son de la forma Alogx donde A es una constante arbitraria. 3.2.2 Encontrar la suma de la serie 1 1 1 1 1 + + 6n 1 + . 1 + 5 7 11 6n 5 Solucin. Considerar la funcin denida por la serie innita o o f (x) = x x5 x7 x11 x6n5 x6n1 + + + + 5 7 11 6n 5 6n 1

para 0 < x 1, la serie es absolutamnete convergente para |x| < 1, y por tanto, podemos reordenarlos trminos: e f (x) = x+ x6n5 x7 x13 + + + + 7 13 6n 5 x5 x11 x6n1 + + + + 5 11 6n 1

Aprovechando la diferenciabilidad de f, cambiando su forma, y recobrando f a travs de la integfracin por el teorema fundamental del clculo. Tenemos para e o a 0 < x 1, f (x) = = (1 + x2 ) x4 (1 x2 )(1 + x2 ) 1 = = 1 x6 1 x6 (1 x2 )(1 + x2 + x4 ) (1 + x2 + x4 ) 1 2x + 1 2x 1 f (x) = arctan + arctan . 3 3 3 Como la representacin en series de f converge para x = 1, el teorema de Abel o (seccin 5.4) implica que la serie original converge a o 1 1 f (x) = arctan + arctan 3 = . 3 3 2 3 El teorema fundamental del clculo para derivadas de integrales establece que si a f es una funcin continuaen unintervalo [a, b], entonces para cualquier x en (a, b) o d dx
x

1 + x6 + x12 + + x6n6 + x4 + x10 + + x6n2 + ,

Integrando (los detalles no son de inters aqu y notando que f (0) = 0, tenemos e ),

f (t)dt = f (x).
a

56

CAP ITULO 3. LA INTEGRAL

ncin. En otras palabras, la integracin seguida de la derivada recobra exactamente o o la fu 3.2.3 Sean a(x), b(x), c(x) y d(x) polinomios en x probar que
x x x x

a(x)c(x)dx
1 1

b(x)d(x)dx

a(x)d(x)dx
1 1

b(x)c(x)dx

es divisible por (x 1)4 . Solucin. Denotar la expresin en cuestin por F (x). Ntese F (x) es un polio o o o nomio en x. Tambin ntese que F (1) = 0, y por tanto (x 1) es un factor de e o F (x). Cmo F es un polinomio, sabemos que (x 1)4 divide a F (x) si y slo si F (1) = 0. o Podemos computar F usando el teorema fundamental del clculo: a F (x) = ac
1 x x x x

bd + bd
1

ac ad

bc bc

ad
1

(Note que F (1) = 0 y de aqu que (x 1)2 divide a F (x).) las derivadas F y F se realizan de manera similar, de forma que F (1) = (ac) bd + (bd) ac (ad) bc (bc) ad|x=1 = 0. Esto completa la prueba. Los siguientes tres ejemplos combinan varias idas de este cap e tulo. 3.2.4 Sea f : [0, ) R diferenciable y asumamos que f (x) + f (x) 0, cuando x . Probar que f (x) 0, cuando x . Solucin. o ecuacin o Primero una disgresin: si p(x) y q(x) so funciones continuas, la o

dy + p(x)y = q(x) dx puede ser resuelta de la siguiente manera. Multilicar cada lado de la ecuacin por o m(x) = e p(x)dx y ntese que el resultado es una ecuacin que se puede tomar o o de la forma d (ym(x)) = m(x)q(x) dx Luego, por el teorema fundamental del clculo, para cada constante a existe una a cconstante C tal que
x

ym(x) =
a

m(t)q(t)dt + C

3.2. TEOREMA FUNDAMENTAL DEL CALCULO


De aqu podemos resolver para y.

57

Ahora, retornemos al problema y sea g(x) = f (x) + f (x). Recordando el razonamiento del ultimo pargrafo, podemos resolver f (x) (en trminos de g(x)) pero a e x . Como anteriormente, esto da origen a primero multipliquemos cada lado por e la siguiente ecuacin o f (x)ex =
a x

et g(t)dt + C

o equivalentemente f (x) = ex
a

et g(t)dt + ex C

Sea > 0. Cmo g(x) 0, cuando x , tomemos a tal que |g(x)| < para o toda x > a. Entonces |f (x)| ex ex ex
x a x a

et g(t)dt + Cex

et |g(t)| dt + Cex et dt + Cex

1 eax + Cex

ex (ex ea ) + Cex

Ahora, para x sucientemente grande, tendremos que |f (x)| < 2. Se sigue que f (x) 0, cuando x . 3.2.5 Evaluar limx0
0

(1 + sen2t)1/t dt.

Solucin. Parece que debemos aplicar la regla de LHpital, pero no sin relizar o o algn trabajo previo. Primero existe una pregunta concerniente a la existencia de u la integral, debido a que el integrando es idenido cuando t = 0. Sin embargo 1 limx0 (1 + sen2x)1/x = limx0 exp log (1 + sen2x) x log (1 + sen2x) = exp limx0 x

58
el cual por la regla de LHpital es o exp limx0 Luego, si denimos f (x) = la funcin f es continua y o
x 0 (1 +

CAP ITULO 3. LA INTEGRAL

2cos2x = exp2 = e2 1 + sen2x


(1+sen2x)1/x si x=0 e2 si x=0

sen2t)1/t dt =

x 0 f (t)dt. x

Antes de otra aplicacin de la regla de LHpital podemos probar que 0 (1 + sen2t)1/t dt o o 0 cuando x 0. Para esto sea K una cota superior para f (x) para toda x en (1, 1). Entonces para toda x en (1, 1),
x 0

(1 + sen2t)1/t dt
x 0

x 0

|(1 + sen2t)|1/t dt K |x| .

Se sigue que

(1 + sen2t)1/t dt 0 cuando x 0.

Podemos ahora aplicar la regla de LHpital al problema original o limx0


x 0 (1

+ sen2t)1/t dt = limx0 (1 + sen2x)1/x = e2 . x

3.2.6 Supongamos que f : [0, 1] R tiene una segunda derivada continua, que f (0) = 0 = f (1), y que f (x) > O para todo x en (O, 1). Probar que
1 0

f (x) > 4. f (x)

Solucin. Si X denota un punto en (0,1) donde f (x) es un mximo, y supngase o a o que Y = f (X). Entonces
1 0

f (x) dx > f (x)

1 |Y | 1 |Y |

1 0 1 0

f (x) dx f (x)dx = f (1) f (0) . Y

3.2. TEOREMA FUNDAMENTAL DEL CALCULO

59

No nos par4ce inmediato, debido a que ciertamente no es necesario que en ese punto estimado |f (1) f (0)| 4 |Y | . Sin embargo, por el teorema del valor medio existen puntos a en (O, X) y b en (X, 1) tales que f (a) = y f (b) = Luego
0 1

f (X) Y f (X) f (0) = = , X 0 X X

f (X) Y f (1) f (X) = = . 1X 1X 1X


b a

f (x) dx f (x)

luego aplicando el teorema fundamental a la ultima integral, tenemoa


1 0

f (x) 1 dx f (x) |Y |

b a

f (x)dx ,

f (x) dx > f (x) = =

1 f (b) f (a) |Y | Y 1 Y |Y | 1 X X 1 Y 1 Y = . + |Y | 1 X X X (1 X)

Pero el mximo valor que puede tomar x(1 x) es 1/4 (cuando x = 1/2) y por a tanto 1 f (x) 1 dx > 4. f (x) |X (1 X)| 0

Problemas

3.2.7 Qu funciones estn denidas por la ecuacin e a o


x

f (x) =
0

f (t)dt + 1.

Figura 6.16.

60

CAP ITULO 3. LA INTEGRAL

3.2.8 Sea f [0, 1] (0, 1) continua. Probar que la ecuacin o


x

2x

f (t)dt = 1
0

tiene una y slo una solucin en el intervalo [0, 1]. o o

3.2.9 Supongamos que f es una funcin continua para toda x que satisface la o ecuacin o 1 x x16 x18 + +C t2 f (t)dt + f (t)dt = 8 9 x 0 donde C es una constante. Encontrar una forma explcita para f (x) y encontrar el valor de la constante C.

3.2.10 Sean C1 y C2 curvas que pasan a travs del origen como se muestra en e la Figura 6.16. Se dice que una curva C bisecta en rea la regin entre C1 y C2 a o si para cada punto P en C las dos regiones sombreadas A y B mostradas en la gura tienen reas iguales. Determine la curva superior C2 cuya curva bisectante a C tiene la ecuacin y = x2 y la curva inferior C1 tiene la ecuacin y = 1 x2 . o o 2 3.2.11 Suma la serie 1 +
1 3

1 5

1 7

1 9

1 11

3.2.12 Supngase que f es diferenciable, y que f (x) es estrictamente cresciente o para x 0. Si f (0) = 0, probar que f (x)/x es estrictamente cresciente para x > 0. Ejemplos Adicionales 1.5.1, 5.1.3, 5.1.9, 5.1.11, 5.4.6, 7.6.5.

Cap tulo 4 Apndice e


4.1. El principio del Emparedado

En esta seccin veremos como las consideraciones de desigualdad pueden jugar o un importante papel en los l mites de evaluacin. La idea principal (la cual tiene o muchas variables ) es expresada en el siguiente resultado. El principio del Emparedado. Si {an } , {bn } , {cn } son sucesiones innitas tales que an bn cn para todas las n sucientemente grandes y si {an } y {cn } convergen al mismo nmero L, entonces {bn } tambin converge a L u e Tan trivial como parece este principio (obviamente no hay alternativa para {bn }; al estar entre {an } y {cn }, y ambos converg1endo al mismo l mite, es sorprendente que puede ser tan util en la solucin de problemas. No obstante es aplicable en la o siguiente situacin .Supngase que deseamos evaluar el l o o mite de una sucesin {bn } o y supongamos que las bn estn desafortunadamentes muy complicadas y no pueden a ser tratadas directamente. El principio del Emparedado sugiere que tratemos de colocar {bn } entre dos sucesiones simples {an } y {cn } . Por ejemplo, considerar la sucesion n1/n . Podr amos evaluar este l mite por la regla de LHpital; considerando el siguiente argumento. Por la desigualdad de las o medias aritmtica-geomtrica, e e

61

62

CAP ITULO 4. APENDICE

1 n1/n = 1 1 ... 1 n (n 2) + 2 n =1+2 n


n2

1 1 n n

n .

1/n

Ahora por el principio del emparedado (con an = 1, y cn = 1 + 2 (1/ n 1/n) vemos que n1/n forzosamente converge a 1.

4.1.1 Probar o refutar que el conjunto de todos los nmeros racionales positivos u pueden ser arreglados en una sucesin innita {bn } tales que (bn )1/n es convero gente. Solucin. Empezamos por ordenar los nmeros racionales siguiendo el util sendero o u de serpentina a travs del cuadro formado por racionales mostrados en la gura e 7.2, donde omitimos todas las fracciones no reducidas a sus trminos m e nimos. 1 1 1 La sucesin empieza de esta manera, 1, 2 , 2, 3, 3 , 1 , 2 , 3 , 4, 5, 5 , 1 , ....Si bn denota el o 4 3 2 6 ensimo trmino de su sucesin, nos gustar probar que bn e e o a
1/n

converge a 1.

1 2 3 4 5

1/2 2/2 3/2 4/2 5/2

1/3 2/3 3/3 4/3 5/3

1/4 2/4 3/4 4/4 5/4

1/5 2/5 3/5 4/5 5/5

Figura 7.2

En la gura 7.2., se observa que cada elemento en la ultima la es menor o igual a n y cada elemento en la ensima columna es mayor o igual a 1/n. Tambin si bn e e toma lugar en la la i y en la columna j, entonces i n y j n.

4.1. EL PRINCIPIO DEL EMPAREDADO


Por lo tanto 1 1 bn i n n j y en consecuencia, an 1 n1/n = 1 n
1/n

63

para todas las n

b1/n n1/n cn n
1/n

Ahora por el principio del emparedado, bn

converge a 1.

4.1.2 Suponer que f (x) es una funcin real valuada ,ddenida por 1 < x < 1 o tal que f (0) existe .Suponer que {an } , {bn } son dos sucesiones tales que 1 < an < 0 < bn < 1, Probar que l m
n n

l an = 0 = l bn m m
n

f (bn ) f (an ) = f (0) . bn an f (bn ) f (an ) bn a n

Solucin. El cociente o

puede ser interpretado geometricamente como la pendiente del segmento de la l nea Pn (an, f (an )) , Qn (bn , f (bn )) (ver gura 7.3.) Si R es el punto (0, f (0)) . Cualquiera que sea y la interseccin del segmento de o recta Pn Qn es igual o menor a f (0) (caso 1 ), o es mayor que f (0) (caso 2). En el primer caso, P endiente RQn P endiente Pn Qn P endiente Pn R, o su equivalente f (bn ) f (0) f (bn ) f (an ) f (an ) f (0) . bn 0 bn a n an 0 En el segundo caso,

64
Figura 7.3.

CAP ITULO 4. APENDICE

P endiente Pn R P endiente Pn Qn P endiente RQn , o su equivalente, f (bn ) f (an ) f (bn ) f (0) f (an ) f (0) . an 0 bn an bn 0 En el caso 2, las desigualdades son justamente contrarias a aquellas del caso 1. Para corregir sto deniremos dos nuevas sucesiones que son opuestas a los roles e de an y bn en el caso 2. As dejamos a {cn } y {dn }denidas por cn = bn y dn = an cn = an y dn = bn Entonces para toda n, f (bn ) f (an ) f (dn ) f (0) f (cn ) f (0) . cn 0 bn an dn 0 desde que f (0) existe y desde que l n cn = 0 = l n dn , m m l m f (cn ) f 0 f (dn ) f (0) = f (0) y l m = f (0) . cn 0 dn 0 Si el caso 1 es cierto para an y bn, Si el caso 2 es cierto para an y bn .

El resultado se sigue del principio del emparedado. Otra solucin instructiva, tambin basada en el mismo principio, se da por el hecho o e de que si a y b son nmeros reales, a < b, entonces u a ra + sb b para todos los nmeros positivos r y s que sumados den 1 (ver 1.2.11). En este u problema, se tiene f (bn ) f (an ) bn a n = + f (bn ) f (0) bn f (an ) f (0) an bn bn an an bn an

4.1. EL PRINCIPIO DEL EMPAREDADO

65

y tomando r = bn / (bn an ) y s = an / (bn an ) . Entonces r 0, s 0 y r + s = 1. Por lo tanto [f (bn ) f (an )] / [bn an ] caen entre [f (bn ) f (0)] /bn y [f (an ) f (0)] /an . Ya que estos ultimos cocientes convergen a f (0) y tambin e lo hace [f (bn ) f (an )] / [bn an ] por el principio del emparedado. 4.1.3 Evaluar
n n2

l m

j=1

n2

n . + j2

Solucin. La suma o
n2 j=1

n = 2 + j2 n

n2 j=1

1/n 1 + (j/n)2

puede ser considerada como una suma de Riemannn para la funcin f (x) = o 2 sobre el intervalo [0, n] (ver gura 7.4 ) Desafortunadamente no es 1/ 1 + x una suma Riemann, porque el intervalo sobre el cual est tomada no es un intera valo reparado; as cuando n , no obtenemos una integral denida. Podemos decir sin embargo que para toda n Figura 7.4.

n2 j=1

n 2 + j2 n

n2

dx = arctan n2 . 1 + x2

Para obtener una cota inferior para la suma en consideracin, sea k un entero o positivo jo y el intervalo respectivo [0, k] . Entonces, para cualquier n ms grande a que k,

kn j=1

n = n2 + j 2

kn j=1

1/n 1 + (j/n)2

es una suma Riemann por f (x) = 1/ 1 + x2 sobre el intervalo [0, k] .Tambin. e

66

CAP ITULO 4. APENDICE

kn j=1

n n < 2 . n2 + j 2 n + j2

Poniendo todo esto junto, tenemos

kn j=1

n < 2 + j2 n

n2 j=1

n2

n < arctan n2 . + j2

entonces por el principio del emparedado.

kn n

l m

j=1

k 1/n n n 1 dx l m l arctan n2 , m l m . 2 2 + j2 2 2 + j2 n n n n n 2 1 + (j/n) 0 1+x j=1 j=1

n2

n2

1 Esto nos lleva a los l mites deseados iguales a 2 .

Otra importante aplicacin de desigualdades para la evaluacin de l o o mites est basaa da en el hecho siguiente. Toda sucesin montona y acotada converge. o o Es decir, si {an } es una sucesin de nmeros reales tales que an+1 an para toda n o u sucientemente grande (o an+1 an para toda n sucientemente grande) y si para alguna constante K, an K para toda n (o an K respectivamente), entonces la sucesin {an }converge. o Por ejemplo, para probar que la sucesin (1 + 1/n)n converge, es suciente probar o que sta es montona creciente (incrementando en este caso ) y acotada superiore o mente (por 3; ver 7.1.5). 4.1.4 Si an es una sucesin tal que para n 1 o

(2 an ) an+1 = 1.

4.1. EL PRINCIPIO DEL EMPAREDADO


probar que l n an existe y es igual a 1. m

67

Solucin. Primero probaremos que si la sucesin converge, debe converger a 1. o o El argumento es estandar cuando una sucesin es denida recursivamente como o aqu Supngase que l n = L. Entonces tomando el l . o m mite de cada lado de la relacin de recurrencia (2 an ) an+1 = 1,vemos que (2 L) L = 1, o equivalente, o (L 1)2 = 0, de lo cual concluimos que L = 1. Ahora, para probar que la sucesin converge, probaremos que est acotada y que o a eventualmente se vuelve montona. (Para otra solucin a este problema, ver 1.1.11) o o Supngase que para algunas an , 0 < an < 1. Entonces o an+1 an = = y 1 (2 an ) an 1 an = 2 an 2 an 2 (1 an ) >0 2 an

Luego, an < an+1 < an+2 < ... < 1, entonces la sucesin es montona y acotada, o o por lo tanto converge. De esta manera es suciente probar que para algunas n, 0 < an < 1. Hay algunos casos: Si a1 < 0, entonces 0 < a2 = 1/ (2 a1 ) < 1, lo hemos hecho anteriormente. Si a1 > 2, entonces a2 = 1/ (2 a1 ) < 0, volvemos al caso anterior. Si a1 = 1, entonces an = 1 para todas las n. Queda por revisar el caso 1 < a1 2 , experimentando con algunos casos especiales en este intervalo lleva a los siguientes (cada uno de los cuales puede ser probado por induccin ). o La sucesin no est denida si a1 tiene la forma (n + 1) /n. Si a1 = (n + 1) /n, eno a tonces (uno puede mostrar) que an = 2 y consecuentemente an+1 no est denida. a n+1 n Si a1 pertenece al intervalo n , n1 para n > 1, entonces (uno puede mostrar que ) an+1 cae en el intervalo (0, 1) y la prueba est completa por el razonamiento a previo . De esta manera, en todos los casos (para los cuales la sucesin est denida) la o a sucesin converge. o

an+1 = 1/ (2 an ) < 1

68

CAP ITULO 4. APENDICE

4.1.5 Sea f (x) una funcin tal que f (1) = 1 y para x 1 o f (x) = x2 1 . + f 2 (x)

1 Probar que l x f (x) existe y es menor que 1 + 4 . m

Solucin. Por el teorema fundamental del clculo o a f (x) f (1) = dx 2 + f 2 (x) 1 x = arctan x |x 1
x x 1

dx 1 + x2

= arctan x arctan 1 1 1 1 < = 2 4 4

1 De esta manera ,f (x) est creciendo y rebotando arriba de 1+ 4 y en consecuencia a l x f (x) existe y es menor que 1 + 1 . m 4

4.1.6 Considerar todos los nmeros naturales los cuales representados en el sisu tema decimal no tienen 9 entre sus dgitos. Probar que las series formadas por los recprocos de estos nmeros convergen. u Solucin. Suponer que sm denota la milsima suma parcial de la serie en consido e eracin. La sucesin {sm } est aumentando montonamente, entonces para probar o o a o su convergencia, solamente necesitamos probar que la sucesin est acotada. o a Para una suma parcial dada sm , supngase que n denota el nmero de d o u gitos en el entero m. El nmero de enteros de exactamente n d u gitos los cuales no tienen 9 en su representacin decimal es 8 9n1 (el primer d o gito no puede ser cero).Por lo tanto la suma de sus rec procos es menor que 8 9n1 /10. De esta manera sm < 8 + 8 9 +8 10 9 10
2

+ ... + 8 9 10
2

9 10

n1

<8 1+ y la prueba est completa. a Problemas

9 + 10

= 80,

4.1. EL PRINCIPIO DEL EMPAREDADO

69

4.1.7 Probar las desigualdades, las cuales son aplicacin del principio del emo paredado para evaluar un lmite: (a) n < 2+n n

n i=1

1 n2 +i

<

n2

n . +1

(b) b < (an + bn )1/n < b (2)1/n , 0 < a < b.


2 (c) e11/(2n) < (1 + 1/n)n < e11/(2n)+1/(3n ).

4.1.8 Probar que cada una de las siguientes sucesiones convergen y encontrar su lmite: 1, 2, 1, .... 2, ....

(a) (b)

1, 1 + 2, 2+

1, 2,

1+ 2+

1+ 2+

1+ 2+

1+ 2+

1+ 2+

4.1.9 Probar que la sucesin {an } denida por o an = 1 + converge. 4.1.10 Probar que la sucesin {an } denida por o an+1 = converge y encuentra su lmite. 4.1.11 Si a1 y b1 son cualesquiera dos nmeros positivos y defnase {an } y {bn } u por 2an1 bn1 an = , bn = an1 bn1 . an1 + bn1 Probar que las sucesiones {an } .y {bn } convergen y tienen el mismo lmite. 6 (1 + an ) 7 + an 1 1 + ... + log n 2 n

70
4.1.12 S1 = log a y Sn =
n1 i=1 log (a n

CAP ITULO 4. APENDICE


Si ) , n > 1. Muestra que

l Sn = a 1. m

(Sugerencia: Notar que Sn+1 = Sn + log (a Sn ) .) 4.1.13 La sucesin Qn (x) de polinomios est denida por o a Q1 (x) = 1 + x, y para m 1, Q2m+1 (x) = Q2m (x) + (m + 1)xQ2m1 (x) , Q2m+2 (x) = Q2m+1 (x) = (m + 1)xQ2m (x) . Sea xn la solucin real ms grande de Qn (x) = 0.Probar que {xn }es una sucesin o a o creciente y que l n xn = 0. m 4.1.14 Probar que si Q2 (x) = 1 + 2x,

n=1

a2 n

convergen, entonces lo hace tambin e


n=1

(an /n) .

4.1.15 Probar que 22 42 62 ... (2n)2 l m n (1 3) (3 5) ... ((2n 1) (2n + 1)) = l m 1 22 42 62 ... (2n)2 1 2 2n + 1 = 2 . n 12 32 52 ... (2n 1)
/2 /2 /2

1 (Sugerencia: Para 0 2 , 0 sin2n+1 d 0 sin2n d 0 sin2n1 d. Aplicar el resultado de 2.5.14 junto con el principio del emparedado.)

Ejemplos adicionales 6.1.5.,6.3.7.,6.4.4.,6.6.2., Seccin 6.8, 6.9.4. Tambin ver los ejemplos de biseccin o e o repetida en la seccin 6.1. o

Potrebbero piacerti anche