Calculo Cap10

Cap tulo
10
Sucesiones y series de funciones
10.1. Introduccin
La representacin de funciones complicadas por medio de funciones sencillas es una de las ideas centrales del Anlisis Matemtico. En este captulo vamos a precisar algunos de los posibles signicados del trmino representacin. Intuitivamente, se trata de aproximar funciones que se suponen muy generales por otras de un tipo especialmente sencillo. Por ejemplo, podemos aproximar localmente, en las proximidades de un punto, una funcin derivable por sus polinomios de Taylor calculados en dicho punto. Ya hemos visto que esta aproximacin es de gran utilidad para calcular lmites. Ahora queremos dar un paso ms y nos interesamos por representaciones que sean vlidas no slo localmente, en las proximidades de un cierto punto, sino en todo un intervalo. Hay muchas maneras de representar funciones complejas por medio de otras ms simples, una de las ms tiles es la representacin por medio de series. Podemos describir este proceso en trminos muy generales como sigue. Se considera una clase S de funciones simples. Por ejemplo, S puede ser la clase de las funciones polinmicas, o la clase de todos los polinomios trigonomtricos que son las n X funciones de la forma ak cos.kx / C bk sen.kx / donde ak ; bk son nmeros reales.
k D0
Para representar una funcin f por medio de funciones de la clase S hay que asociar a dicha funcin una sucesin de funciones ffn g donde fn 2 S. Las funciones fn suelen interpretarse como las componentes elementales de la funcin f . La forma de obtener las funciones componentes fn de f viene dada en cada caso por un algoritmo matem581
Introduccin
582
tico que, conocida la funcin f , permite calcular, al menos en teora, las fn . Esta parte del proceso de representacin se suele llamar anlisis porque consiste en analizar f descomponindola en sus componentes ms simples. Esto es algo que se hace constantemente en todos los procesos de tratamiento de seales auditivas o grcas. Si, por ejemplo, queremos representar la funcin exponencial f .x / D ex por medio de funciones polinmicas, entonces las funciones elementales son los polinomios de Taylor n X xk que, para la funcin exponencial viene dados por fn .x / D . k!
k D0
El ltimo paso consiste en recomponer la funcin f mediante sus componentes elementales fn . Para que este proceso sea til las funciones componentes fn deben estar determinadas de manera nica por f y debe ser posible, mediante algn algoritmo matemtico que suele ser una serie o una integral , recobrar la funcin f mediante sus componentes fn . Por ejemplo, para el caso de la funcin exponencial sabemos (ver (9.13)) que para todo x 2 R es: ex D lK m fn .x / D lK m
n!1 1 n X X xn xk D n!1 k! n! k D0 nD0
Con ello hemos representado una funcin trascendente, como es la exponencial, por medio de una serie de funciones polinmicas. Volviendo a la situacin general, lo que suele hacerse es tratar de recuperar la funcin f por superposicin de sus componentes elementales fn . El trmino superponer procede de la Fsica y en Matemticas se traduce por sumar. Por tanto, lo que queremos es expresar f como la suma de la serie denida por la sucesin de funciones ffn g: f D
nD0 1 X
fn :
Puede que te ests preguntando para qu sirve todo esto? Respuesta: para traducir problemas relativos a f en otros ms sencillos relativos a sus funciones componentes fn . Por ejemplo, si queremos obtener la solucin de una ecuacin diferencial en la que interviene una funcin f , podemos sustituir dicha funcin por fn y resolver la ecuacin diferencial correspondiente, y a partir de las soluciones obtenidas construir por superposicin una funcin que esperamos que sea la solucin buscada. Una representacin como la dada por (10.1) lleva a preguntarse por aquellas propiedades de las funciones fn que se conservan y se transmiten de forma automtica a la funcin representada f . Por ejemplo, si las funciones fn son continuas o derivables es tambin f continua o derivable?.
Universidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral
Esta igualdad s sabes lo que signica: quiere decir que la serie de nmeros reales P fn .x / converge y tiene como suma el nmero f .x /.
Lo primero que debemos hacer es dar un sentido a esta igualdad. El sentido que va a tener para nosotros en este captulo es que para cada valor de x en un cierto intervalo I se verica que: 1 X fn .x /: (10.1) f .x / D
nD0
Conceptos bsicos
583
Para terminar esta introduccin vamos a ver un ejemplo de aproximacin de funciones que, en cierto sentido, es paradjico. Sea f1 la funcin identidad en el intervalo 0; 1 cuya grca es la diagonal del cuadrado unidad (ver gura 10.1). Sea f2 la funcin denida en 0; 1 cuya 1 grca es el tringulo de vrtices .0; 0/; . 1 2 ; 2 /; .1; 0/. La longitud de las grcas de f1 y f2 es p evidentemente la misma e igual a 2.
0 0
Figura 10.1. Es
1 p 2 D 1?
.1 2 ; 0/
1 1 ; 4 /; Sea f3 la funcin denida en 0; 1 cuya grca son los tringulos de vrtices .0; 0/; . 4 1 3 1 y . 2 ; 0/; . 4 ; 4 /; .1; 0/. La longitud de las grcas de f2 y f3 es evidentemente la misma p e igual a 2. Este proceso de ir dividiendo por la mitad los lados de los tringulos puede proseguirse indenidamente y obtenemos una sucesin de funciones fn tales p que para todo x 2 0; 1 es 0 6 fn .x / 6 2n1 1 , y la longitud de la grca de fn es igual a 2. Es evidente que las funciones fn convergen a la funcin f .x / D 0 cuya grca es el segmento de extremos p .0; 0/; .1; 0/ de longitud 1; luego 2 D 1?.
En esta introduccin del captulo ya han salido algunas ideas que seguidamente vamos a presentar de manera formal.
10.2. Conceptos bsicos

10.1 Denicin. Una sucesin de funciones es una aplicacin que a cada nmero natural n hace corresponder una funcin fn . Usaremos el smbolo ffn g para representar la sucesin de funciones dada por n 7! fn , para todo n 2 N . Supondremos en lo que sigue que las funciones fn son funciones reales denidas en un intervalo I . 10.2 Ejemplos. Consideremos las sucesiones de funciones ffn g, donde fn W R ! R es la funcin denida en cada caso por: r n X 1 x 2n xk n 2 C ; c / f .x / D nx .1 x a/ f n . x / D ; b / f . x / D x / ; d / f . x / D : n n n n k! 1 C x 2n
k D0
Universidad de Granada Dpto. de Anlisis Matemtico
Prof. Javier Prez Clculo diferencial e integral
Convergencia puntual
584
10.2.1. Convergencia puntual

10.3 Denicin. Dado x 2 I se dice que la sucesin de funciones ffn g converge puntualmente en x , si la sucesin de nmeros reales ffn .x /g es convergente. El conjunto C de todos los puntos x 2 I en los que la sucesin de funciones ffn g converge puntualmente, se llama campo de convergencia puntual. Simblicamente: C D fx 2 I W ffn .x /g converge g: Supuesto que C , la funcin f W C ! R denida para todo x 2 C por: f .x / D lK m f f n .x /g
n!1
se llama funcin lmite puntual de la sucesin ffn g. 10.4 Observacin. Para entender la denicin de convergencia puntual y en general en todo este captulo, es muy importante no confundir la sucesin de funciones ffn g con la sucesin de nmeros reales ffn .x /g obtenida evaluando las funciones de dicha sucesin en un nmero x 2 I . Tampoco debes olvidar que en una sucesin la variable es siempre n 2 N y nunca x 2 I . As, la sucesin ffn .x /g es la aplicacin que a cada nmero natural n 2 N (la variable) le asigna el nmero real fn .x / donde x est jo. 10.5 Ejemplo. Sea la sucesin de funciones ffn g donde, para cada n 2 N , fn W 0; 1 ! R es la funcin denida para todo x 2 0; 1 por: fn .x / D nx .1 x /n :
1 e
fn .x / D nx .1
x /n
Figura 10.2. Convergencia puntual
Observa que si x D 0 o x D 1, la sucesin ffn .0/g D ffn .1/g D f0g es, evidentemente, convergente a 0. Si 0 < x < 1 entonces 0 < 1 x < 1 y se verica que ffn .x /g ! 0 porque es una sucesin de la forma fnp n g donde jj < 1. Deducimos que el campo de convergencia puntual de esta sucesin es el conjunto C D 0; 1 y la funcin lmite puntual es la funcin idnticamente nula, f .x / D 0 para todo x 2 0; 1. Observa en la gura 10.2 las grcas de las primeras seis funciones de esta sucesin.
Convergencia puntual
585
Fjate cmo por el extremo derecho del intervalo las grcas se van pegando al eje de abscisas pero su comportamiento es muy diferente en el extremo izquierdo. Ello es as porque cuando 1 x es pequeo (es decir, x est cerca de 1) la sucesin ffn .x /g converge muy rpidamente a cero, pero cuando 1 x est prximo a 1 (es decir, x est cerca de 0) la sucesin ffn .x /g converge lentamente a cero. Observa las grcas de las funciones f10 y f20 en la gura de la derecha. Te parece que estas funciones estn muy prximas a la funcin lmite puntual f 0? Observa que, aunque para cada x 2 0; 1 es f .x / D lK m ffn .x /g D 0, la funcin fn no se acerca mucho a la funcin lmite puntual f 0.
n!1 1 e
f20
f10
Para evitar ambigedades necesitamos precisar qu entendemos por proximidad entre dos funciones. Para ello, considera dos funciones f; g W I ! R . Dichas funciones son iguales cuando f .x / D g.x / para todo x 2 I o, lo que es igual, cuando ma K xfjf .x / g.x /j W x 2 I g D 0. En general, el nmero ma K xfjf .x / g.x /jW x 2 I g proporciona una buena idea de la proximidad entre las funciones f y g pues dicho nmero es tanto ms pequeo cuanto ms cercanas estn las grcas de las dos funciones. Volviendo al ejemplo anterior, con fn .x / D nx .1 x /n y f 0, podemos calcular fcilmente el nmero ma K xfjfn .x / f .x /j W x 2 0; 1g D ma K xffn .x / W x 2 0; 1g. Basta derivar fn para comprobar que la funcin fn alcanza su mximo absoluto en el intervalo 0; 1 en el punto 1 xn D nC 1 . Luego ma K xffn .x / W x 2 0; 1g D fn .xn / D n nC1 nC1 ! 1 : e
Fjate en que lK m ffn .x /gD 0 pero lK m ma K xffn .x / W x 2 0; 1gD 1= e > 0, es decir, las funcion!1 n!1 n nC1 nes fn no se aproximan a la funcin nula. De hecho, como la sucesin nC es creciente, 1 cuanto mayor sea n mayor es la distancia entre la funcin fn y la funcin nula. Observa cmo son las grcas de las funciones fn cerca de cero para n D 100; 120; 140; 160; 180; 200.
1 e
f100
f200 0 0 05 01
Convergencia Uniforme
586
10.6 Ejemplo. Sea la sucesin de funciones ffn g donde, para cada n 2 N , fn W R ! R es la funcin dada para todo x 2 R por: f n .x / D x 2n 1 C x 2n
Aqu ocurre que la funcin lmite puntual es discontinua (tiene discontinuidades de salto en 1 y en 1) a pesar de que las funciones de la sucesin son continuas. Observa las grcas de las primero cinco funciones de la sucesin.
Es claro que si jx j < 1 se tiene que ffn .x /g ! 0, y si jx j > 1 se tiene que ffn .x /g ! 1. Para x D 1 es ffn .1/g D f1=2g que, evidentemente, converge a 1=2. Por tanto, el campo de convergencia puntual de ffn g es C D R, y la funcin lmite puntual est denida por: 8 <1 si jx j > 1I f .x / D lK m ffn .x /g D 1=2 si jx j D 1 n!1 : 0 si jx j < 1:
1
1 2
f n .x / D
x 2n 1Cx 2n
-3
-2
-1
Tenemos que: ma K xfjf .x / fn.x /jWx 2 Rg>f 1C

1 2n / .1 C 2n 1 e 1 1 D : !1 fn 1C D1 1 2n 2n 2n 1 C e 1 C e 1 C .1 C 2n /
Por tanto, la distancia entre la funcin fn y la funcin lmite puntual, f , no converge a cero. Este ejemplo y el anterior ponen de maniesto que la convergencia puntual de ffn g a f no proporciona una buena idea de la aproximacin entre las funciones fn y f . Adems las propiedades de continuidad de las funciones fn pueden no conservarse para la funcin lmite puntual. Esto lleva a denir un tipo de convergencia mejor que la convergencia puntual.
10.2.2. Convergencia Uniforme

Sea J un intervalo no vaco contenido en el campo de convergencia puntual de la sucesin ffn g. Y sea f la funcin lmite puntual de ffn g. Se dice que ffn g converge uniformemente a f en J si para todo " > 0 existe n0 2 N (que depender de ") tal que para todo n > n0 se verica que supfjfn .x / f .x /j W x 2 J g 6 ".
587
Para comprender bien esta denicin, analicemos la ltima desigualdad. Tenemos que: supfjfn .x / f .x /j W x 2 J g 6 " jfn .x / f .x / f .x /j 6 " 8x 2 J
" 6 f n .x /
" 6 fn .x / 6 f .x / C " 8x 2 J :
f .x / 6 " 8x 2 J
Cuya interpretacin grca es la siguiente (donde hemos considerado J D a; b ). f C" fn f f "
Figura 10.3. Interpretacin grca de la convergencia uniforme
Esto nos dice que la grca de la funcin fn se queda dentro de un tubo centrado en la grca de f de anchura 2" (ver gura 10.3). Ahora debe estar claro que en el ejemplo 1 no hay convergencia uniforme en ningn intervalo del tipo 0; a con 0 < a < 1 y en el ejemplo 2 no hay convergencia uniforme en ningn intervalo que contenga a 1 o a 1. 10.7 Observaciones. Observa que la diferencia entre la convergencia puntual y la convergencia uniforme en J es la siguiente. Decir que ffn g converge a f puntualmente en J signica que: Fijas un x 2 J ; La correspondiente sucesin de nmeros reales ffn .x /g converge a f .x /, es decir: para todo " > 0, existe un nmero natural n0 tal que para todo n 2 N con n > n0 se verica que jfn .x / f .x /j 6 ". Naturalmente, el nmero n0 depender del " y, en general, tambin de x porque si cambias x por otro punto z 2 J la sucesin ffn .z /g es distinta de ffn .x /g y el n0 que vale para una no tiene por qu valer tambin para la otra. Decir que ffn g converge a f uniformemente en J signica que: Fijas un " > 0; Existe un nmero natural n0 (que depender de ") tal que para todo n 2 N con n > n0 se verica que jfn .x / f .x /j 6 " para todo x 2 J . Es decir, en la convergencia uniforme, hay un mismo nmero n0 que es vlido simultneamente para todos los x 2 J . En la prctica, el estudio de la convergencia puntual se reduce a calcular para cada x jo el lmite lK m ffn .x /g, lo que suele ser muy sencillo. Mientras que para estudiar la convergencia
n!1
588
uniforme en un intervalo J , lo que se hace es calcular, con las tcnicas usuales de derivacin, el mximo absoluto de jfn .x / f .x /j en J . La presencia del valor absoluto en jfn .x / f .x /j es incmoda para derivar por lo que conviene quitarlo, lo que casi siempre puede hacerse con facilidad. Supongamos que el mximo absoluto de jfn .x / f .x /j en J se alcanza en un punto cn 2 J . Entonces, si lK m ffn .cn / f .cn /g D 0 hay convergencia uniforme en J , y en otro caso no hay convergencia uniforme en J . En particular, si hay una sucesin fzn g de puntos de J tal que fjfn .zn / f .zn /jg no converge a 0, entonces ffn g no converge uniformemente a f en J .
n!1
10.8 Ejemplo. Estudiemos la convergencia uniforme en RC o y en intervalos de la forma a; C1, 2 nx (a > 0), de la sucesin de funciones ffn g denidas para todo x 2 RC . o por fn .x / D n x e sucesin de la forma np n donde 0 < jj < 1). Por tanto, el campo de convergencia puntual es C D RC m ffn .x /g D 0 para todo x 2 RC o , y la funcin lmite puntal est dada por f .x / D lK o. Estudiemos si hay convergencia uniforme en RC o . Observa que fn .x / > 0, por lo que 0 2 nx 0 .x / > 0 para jfn .x / f .x /jD fn .x /. Ahora, como, fn .x / D n e .1 nx /, se deduce que fn 0 0 6 x < 1= n, y fn .x / < 0 para x > 1= n. Luego fn .x / 6 fn.1= n/ para todo x > 0. Deducimos que fn .1= n/ D ma K xffn .x / W x 2 RC o g, y como fn .1= n/ D n= e, sucesin que, evidentemente, no converge a 0, concluimos que no hay convergencia uniforme en RC o. Estudiemos si hay convergencia uniforme en un intervalo de la forma a; C1, con a > 0. Por lo antes visto, sabemos que la funcin fn es decreciente en el intervalo 1= n; C1. Sea 1 n0 un nmero natural tal que n < a. Entonces, para todo n > n0 , tenemos que a; C1 0 1= n; C1, por lo que, ma K xffn .x / W x 2 a; C1g D fn .a/. Como lK mffn .a/g D 0, concluimos que hay convergencia uniforme en a; C1. Observa las grcas de las primero cinco funciones de la sucesin.
n!1
Observa que fn .0/ D 0 y, si x > 0, lK m fn .x / D x lK m n2 .e

n!1 n!1
x n
/ D 0 (porque es una
fn .x / D n2 x e
nx
2
1 0
Puedes comprobar fcilmente, integrando por partes, que para todo n 2 N . Por tanto:
1 n!1 1
n2 x e
nx
dx D 1 .1 C n/ e
lK m
fn .x /dx D 1 0 D
. lK m fn .x // dx :
n!1
Es decir, en general, no se puede permutar la integracin con el lmite puntual.

589
10.9 Observaciones. El concepto de convergencia uniforme requiere algunas precisiones importantes. La convergencia uniforme se reere siempre a un conjunto. No tiene sentido decir que la sucesin ffn g converge uniformemente si no se indica inmediatamente a continuacin el conjunto en el que armamos que hay convergencia uniforme. Adems, siempre hay convergencia uniforme en subconjuntos nitos del campo de convergencia puntual (si no sabes probarlo es que no has entendido la denicin de convergencia uniforme). Por ello, slo tiene inters estudiar la convergencia uniforme en conjuntos innitos, por lo general en intervalos. No existe el campo de convergencia uniforme. Es decir, el concepto de campo de convergencia puntual no tiene un anlogo para la convergencia uniforme. La razn es que no tiene por qu existir un ms grande conjunto en el que haya convergencia uniforme. As, en el ejemplo anterior, hay convergencia uniforme en intervalos de la forma a; C1 con a > 0. La unin de todos ellos es RC y en RC no hay convergencia uniforme. 10.10 Teorema (Condicin de Cauchy para la convergencia uniforme). Una sucesin de funciones ffn g converge uniformemente en J si, y slo si, para todo " > 0, existe un nmero natural n0 tal que para todos n; m > n0 se verica que: supfjfn .x / fm .x /j W x 2 J g 6 ":
Demostracin. Supongamos que ffn g converge uniformemente a una funcin f en J . Entonces, dado " > 0, existir un n0 2 N tal que para todo n > n0 se tiene que: " sup fjfn .x / f .x /j W x 2 J g 6 : 2 Sea m > n0 . Para todo x 2 J tenemos que: " " jfn .x / fm .x /j 6 jfn .x / f .x /j C jfm .x / f .x /j 6 C D ": 2 2 Por tanto para todos n; m > n0 se verica que supfjfn .x / fm .x /j W x 2 J g 6 ". Recprocamente, supuesto que la condicin del enunciado se cumple, entonces para cada x 2 J se verica que la sucesin ffn .x /g verica la condicin de Cauchy pues: jfn .x / fm .x /j 6 supfjfn .x / fm .x /j W x 2 J g 6 ": Por el teorema de completitud de R dicha sucesin es convergente. Por tanto podemos denir la funcin lmite puntual f W J ! R por f .x / D lK m f .x / para todo x 2 J . Comprobemos que ffn g converge uniformemente a f en J . Dado " > 0, por la hiptesis hecha, hay un n0 2 N tal que para todos n; m > n0 es: jfn .x / fm .x /j 6 " 8x 2 J
n!1
Fijando x 2 J y n > n0 en esta desigualdad y tomando lmite para m ! 1 obtenemos que: jfn .x / f .x /j 6 "; desigualdad que es vlida para todo x 2 J . Deducimos que sup fjfn .x / f .x /j W x 2 J g 6 " siempre que n > n0 . Hemos probado as que ffn g converge uniformemente a f en J . La utilidad de la condicin de Cauchy para la convergencia uniforme es que es intrnseca a la sucesin, es decir, no involucra a la funcin lmite.
Series de funciones
590
10.2.3. Series de funciones

Dada una sucesin de funciones ffn g, podemos formar otra, fFn g, cuyos trminos se obtienen sumando consecutivamente los de ffn g. Es decir, F1 Df1 , F2 Df1 Cf2 , F3 Df1 Cf2 Cf3 ,... n X En general, Fn D fk . La sucesin fFn g as denida se llama serie de trmino general fn y la representaremos por el smbolo
k D1 n>1
fn .
suponemos denidas en un intervalo I , es el conjunto: X C D fx 2 I W fn .x / es convergente g:

n>1
Debe quedar claro que una serie de funciones es una sucesin de funciones que se obtienen sumando consecutivamente las funciones de una sucesin dada. Todo lo dicho para sucesiones de funciones se aplica exactamente igual para series de funciones. En particular, los conceptos de convergencia puntual y uniforme para sucesiones de funciones tienen igual signiX cado para series. As el campo de convergencia puntual de la serie fn cuyas funciones fn
n>1
La funcin lmite puntual, llamada funcin suma de la serie, es la funcin F W C ! R dada para todo x 2 C por: 1 X F .x / D fn .x /:
nD1
La nica novedad es que ahora tambin podemos considerar el campo de convergencia absoluta de la serie, que es el conjunto X jfn .x /j es convergente g: A D fx 2 I W
n>1
El siguiente resultado es el ms til para estudiar la convergencia uniforme y absoluta de una serie. X 10.11 Teorema (Criterio de Weierstrass). Sea fn una serie de funciones y A un conjunto
n>1
tal que para todo x 2 A y todo n 2 N se tiene que jfn .x /j 6 n , donde la serie convergente. Entonces
n>1
n>1
fn converge uniformemente y absolutamente en A.
n es
Demostracin. De las hiptesisX se deduce, en virtud del criterio de comparacin para series de trminos positivos, que la serie jfn .x /j converge para todo x 2 A. Esto implica que la serie
n>1 n>1
criterio de Cauchy.
fn (x) converge para todo x 2 A. Veamos que la convergencia es uniforme. Utilizaremos el
Series de funciones Como X
591
n es convergente cumplir la condicin de Cauchy, esto es, dado " > 0, existe
n>1
n0 2 N tal que si n > m > n0 entonces n X k

k D1 m X
k D1
Deducimos que para todo x 2 A se verica que: jFn .x /
n X k D k < ":
k DmC1
Como esta desigualdad es vlida para todo x 2 A se sigue que: sup fjFn .x / Es decir, la serie
n>1
n n m n n X X X X X f k .x / fk .x /D f k .x / 6 j f . x / j 6 k < ": Fm .x /jD k

k D1 k D1 k DmC1 k DmC1 k DmC1
Fm .x /j W x 2 Ag 6 ":
(10.2)
fn cumple la condicin de Cauchy para la convergencia uniforme en A.
P Por otra parte, si en la condicin de Cauchy (10.2) para una serie de funciones fn , hacemos m D n C 1 deducimos la siguiente condicin necesaria para la convergencia uniforme. P 10.12 Corolario. Una condicin necesaria para que una serie de funciones fn sea uniformemente convergente en un conjunto A es que la sucesin de funciones ffn g converja uniformemente a cero en A. Observa que los conceptos de convergencia absoluta y de convergencia uniforme son independientes: una serie puede ser uniformemente convergente en un conjunto A y no ser absolutamente convergente en A. En tales casos se aplican los siguientes criterios de convergencia no absoluta para series de funciones. 10.13 Proposicin (Criterios de convergencia uniforme no absoluta). Sea fan g una sucesin X numrica y fn una serie de funciones denidas en un conjunto A.
n>1
Criterio de Dirichlet. Supongamos que: a) fan g es una sucesin de nmeros reales montona y convergente a cero. X b) La serie fn tiene sumas parciales uniformemente acotadas en A, es decir, hay un nn>1
n X mero M > 0 tal que para todo x 2 A y para todo n 2 N se verica que fk .x / 6 M . k D1 X an fn converge uniformemente en A. Entonces la serie de funciones
n>1
Criterio de Abel. Supongamos que: X a) La serie an es convergente.

n>1
Series de funciones
592
b) Para cada x 2 A ffn .x /g es una sucesin de nmeros reales montona y la sucesin de funciones ffn g est uniformemente acotada en A, es decir, hay un nmero M > 0 tal que para todo x 2 A y para todo n 2 N se verica que jfn .x /j 6 M . X Entonces la serie de funciones an fn converge uniformemente en A.
n>1
Demostracin. Probaremos primero el criterio de Dirichlet. Pongamos Fn D frmula (9.10) de suma por partes de Abel se deduce fcilmente que:
p X p X
k D1
n X
fk . De la
k D1
anCk fnCk .x / D
k D1
FnCk .x /.anCk anCk C1 / C FnCp .x /anCp C1 Fn .x /anC1 : (10.3)
Igualdad que es vlida para todos p > n > 1 y todo x 2 A. Tomando valores absolutos en esta igualdad, teniendo en cuenta que para todo n 2 N es jFn .x /j 6 M y suponiendo que fan g es decreciente en cuyo caso ser an > 0, obtenemos: p p X X a f . x / 6 M .anCk anCk C1 / C M anCp C1 C M anC1 D nCk nCk
k D1
D M .anC1
k D1
anCp C1 / C M anCp C1 C M anC1 D 2M anC1 :
Hemos probado as que la serie de funciones convergencia uniforme en A.
Dado " > 0, como suponemos que fan g ! 0, hay un n0 tal que para todo n > n0 se verica " que an 6 2M . Deducimos que para todos p > n > n0 y para todo x 2 A se verica que: p p n X X X ak f k . x / ak fk .x / D anCk fnCk .x / 6 2M anC1 6 ":
k D1 k D1 k D1 n>1 n X
an fn verica la condicin de Cauchy para la
Probaremos ahora el criterio de Abel. Sea Sn D y fk en la igualdad (10.3) tenemos:

p X p X
ak . Intercambiando los papeles de ak
k D1
k D1
anCk fnCk .x / D
1 X
k D1
SnCk .fnCk .x /
fnCk C1 .x // C SnCp fnCp C1 .x /
Sn fnC1 .x /:
Sea S D
an .Teniendo en cuenta que:

p X
nD1
k D1
.fnCk .x /
fnCk C1 .x // C fnCp C1 .x /
fnC1 .x / D 0;
Series de funciones deducimos de la igualdad anterior:

p X
593
k D1
anCk fnCk .x /D
k D1
p X
.SnCk
S /.fnCk .x /
fnCk C1 .x // C .SnCp
S /fnCp C1 .x /
.S n
S /fnC1 .x /:
Como para cada x 2 A la sucesin ffn .x /g es montona, las diferencias fnCk .x / fnCk C1.x / son todas positivas o todas negativas y, por tanto: p p X X jfnCk .x / fnCk C1 .x /jD .fnCk .x / fnCk C1 .x //DfnC1 .x / fnCp C1 .x /62M :
k D1 k D1
Igualdad que es vlida para todos p > n > 1 y todo x 2 A. Dado " > 0, tomemos n0 2 N tal que jSq S j 6 "=4M siempre que n > n0 . Entonces p > n > n0 , tomando valores absolutos en la igualdad anterior y teniendo en cuenta que jfn .x /j 6 M para todo n 2 N , obtenemos: p p X " X " anCk fnCk .x / 6 jfnCk .x / fnCk C1 .x /j C : 4M 2
k D1 k D1
Hemos probado as que la serie de funciones convergencia uniforme en A.
Concluimos que para todos p > n > n0 y para todo x 2 A se verica que: p X " " 2M C D ": anCk fnCk .x / 6 4M 2
k D1 n>1
an fn verica la condicin de Cauchy para la
10.14 Corolario (Criterio de Leibniz para la convergencia uniforme). Sea fgn g una sucesin de funciones denidas en un conjunto A R tal que para todo x 2P A la sucesin fgn .x /g es montona y converge uniformemente a cero en A. Entonces la serie n>1 . 1/nC1 gn converge uniformemente en A. Demostracin. Pongamos fn fn .x / D . 1/nC1. Entonces ff n g es una sucesin de funciones n n X X fk .x / 6 1 para todo x 2 A. Pongamos constantes. Sea Fn D fk . Se verica que jFn jD tambin ak D gk .x /. Usando la igualdad (10.3), tenemos que:
p X k D1 k D1
. 1/
nCk C1
k D1
gnCk .x /D
k D1
p X
FnCk .gnCk .x / gnCk C1 .x //CFnCp gnCp C1 .x / Fn gnC1 .x /:
Tomando valores absolutos obtenemos: p p X X nCk C1 . 1/ gnCk .x / 6 jgnCk .x /

k D1 k D1
gnCk C1 .x /j C gnCp C1 .x / C jgnC1 .x /j :

Series de funciones
594
Como, para cada x 2 A, los nmeros gnCk .x / gnCk C1 .x / son todos positivos o todos negativos, se tiene que: p p X X jgnCk .x / gnCk C1 .x /j D .gnCk .x / gnCk C1 .x // D gnC1 .x / gnCp C1 .x / 6 k D1 k D1 6 gnCp C1 .x / C jgnC1 .x /j : Resulta as que para todo x 2 A: p X nCk C1 . 1 / g . x / 6 2 gnCp C1 .x / C 2 jgnC1 .x /j : nCk
k D1
Como fgn g converge uniformemente a 0, dado " > 0, hay un n0 tal que para todo n > n0 y para todo x 2 A se verica que jgn .x /j 6 "=4. De la desigualdad anterior, se sigue que para n > n0 y para todo x 2 A se verica que: p X . 1/nCk C1 gnCk .x / 6 ":
k D1
Hemos probado as que la serie convergencia uniforme en A.
n>1 .
1/nC1 gn verica la condicin de Cauchy para la
Los resultados siguientes, relativos a la convergencia uniforme, se aplican, claro est, tanto a sucesiones como a series de funciones. 10.15 Teorema (Conservacin de la continuidad). Supongamos que ffn g converge uniformemente a f en un intervalo J . Sea a 2 J y supongamos que las funciones fn son todas ellas continuas en a. Se verica entonces que la funcin f es continua en a. En particular, si las funciones fn son todas ellas continuas en J . Se verica entonces que la funcin f es continua en J . Demostracin. Dado " > 0, la hiptesis de convergencia uniforme implica que existe n0 2 N tal que para n > n0 se verica que jfn .u/ f .u/j 6 "=3 para todo u 2 J . Tenemos: jf .x / f .a/j 6 jf .x / fn0 .x /j C jfn0 .x / 2" C jf n 0 . x / 3 fn0 .a/j C jfn0 .a/ f . a/ j Pero por la forma en que hemos tomado n0 se sigue que: jf .x / f . a/ j 6 fn0 .a/j (10.4)
Adems, como por hiptesis fn0 es continua en a , se verica que existe > 0 tal que para todo x 2 J con jx aj < es jfn0 .x / fn0 .a/j 6 "=3, lo que, en virtud de (10.4) implica que: jf .x / f . a/ j 6 3" D ": 3 aj < y
Resumiendo, hemos probado que dado " > 0, existe > 0, tal que si tomamos jx x 2 J entonces jf .x / f .a/j 6 ", que es, precisamente, la continuidad de f en a.
Series de funciones
595
y, por otra parte, por ser fn continua en a, f .a/ D lK m fn .a/ D lK m . lK m fn .x //; el resultado n!1 n!1 x !a anterior nos dice que: lK m . lK m fn .x // D lK m . lK m fn .x //:
x !a n!1 n!1 x !a
Como la continuidad de f en a 2 J se expresa por f .a/ D lK m f .x / D lK m . lK m fn .x //

x !a x !a n!1
Es decir, la convergencia uniforme permite permutar los lmites. El ejemplo 10.6 con a D 1 o a D 1 muestra que esta igualdad puede ser falsa si no hay convergencia uniforme. 10.16 Teorema (Permutacin de la integracin con el lmite uniforme). Supongamos que ffn g converge uniformemente en un intervalo a; b y que las funciones fn son todas ellas continuas en a; b . Se verica entonces que:
b n!1 b
lK m
fn .x / dx D . lK m fn .x // dx :
a n!1
(10.5)
En particular, si una serie
n>1 1 X b b 1 X
fn converge uniformemente en a; b se verica que: !
nD1 a
fn .x / dx D
f n .x /
dx :
(10.6)
nD1
Demostracin. Sea f .x / D lK m ffn .x /g. La hiptesis de convergencia uniforme nos dice que n!1 dado " > 0 existe un n0 tal que para todo n > n0 se cumple: jf .x / fn .x /j 6 " para todo x en a; b
Al cumplirse esto para todo " > 0 se sigue que

b a
As pues, si n > n0 tenemos: b b b f .x / dx fn .x / dx D f .x / a a a
b fn .x / dx 6 jf .x / a
b
fn .x /j dx 6 " dx D".b a/:

a
f .x / dx D lK m
n!1
fn .x / dx
a
Este resultado es vlido tambin si solamente se supone que las funciones fn son integrables en a; b , aunque en ese caso su demostracin es un poco ms larga porque hay que probar en primer lugar que la funcin lmite uniforme f tambin es integrable en a; b . Suponiendo que las funciones fn son continuas la funcin lmite uniforme f tambin es continua y, por tanto, es integrable en a; b . Cuando no hay convergencia uniforme la igualdad (10.5) no tiene por qu ser cierta como se pone de maniesto en el ejemplo 10.8.
Series de funciones
596
n 2 10.17 Ejemplo. Para cada n 2 N sea P fn W 0; 1 ! R la funcin dada por fn .x / D x .log x / , y fn .0/ D 0. Veamos que la serie fn converge uniformemente en 0; 1.
Observa que fn es continua y positiva en 0; 1 y se anula en los extremos del intervalo. Como fn0 .x / D .n log x C 2/x n 1 log x , se sigue que en el punto cn D exp. 2 = n/ la funcin fn alcanza un mximo absoluto en 0; 1. Luego jfn .x /j D fn .x / 6 fn .cn / D 4e 2 ; n2
P 4e 2 y, puesto que la serie es convergente, deducimos, por el criterio de Weierstrass, que n2 P fn converge uniformemente en 0; 1. En consecuencia, se vericar que: ! 1 X 1 1 1 X fn .x / dx D fn .x / dx :
0 nD1 nD1 0
Puesto que
1 X
nD1
f n .x / D
x .log x /2 1 x
y
0
fn .x / dx D 2
1 .n C 1/3
como fcilmente puedes comprobar integrando por partes, se deduce que:

1
X 1 x .log x /2 : dx D 2 1 x n3
nD2
La convergencia uniforme no conserva la derivabilidad. Esto es fcil de entender si consideras que puedes sacar pequeos dientes de sierra a la grca de una funcin derivable con lo que resulta una nueva funcin no derivable y arbitrariamente prxima a la primera. Por ello, el siguiente resultado tiene hiptesis ms exigentes que los anteriores. 10.18 Teorema (Derivabilidad y convergencia uniforme). Sea ffn g una sucesin de funciones denidas en un intervalo I , y supongamos que: i) fn es derivable en I para todo n 2 N . ii) ffn g converge uniformemente a f en I .
0 g converge uniformemente a g en I iii) ffn
Entonces f es derivable en I y g.x / D f 0 .x / para todo x 2 I . Demostracin. Demostraremos este resultado en el caso particular de que las funciones fn tengan derivada primera continua en I . En tal caso, jemos un punto a 2 I . Ahora, para x 2 I , en virtud del teorema fundamental del Clculo, tenemos que:
x
f n . x / D f n . a/ C
0 .t / dt : fn a
Series de funciones Tomando lmites y haciendo uso del teorema anterior, deducimos que:
x
597
f . x / D f . a/ C
g.t / dt :
a
Una nueva aplicacin del teorema fundamental del Clculo nos dice ahora que f es derivable en I y que f 0 .x / D g.x / para todo x 2 I . Observa que este teorema nos dice que, en las hiptesis hechas, podemos permutar la derivabilidad con la convergencia uniforme:
0 f D lK m fn f 0 D lK mffn g:
Esta igualdad es una permutacin de lmites pues arma que para a 2 I se verica que: f . x / f . a/ f n . x / f n . a/ 0 f .a/ D lK m D lK m lK m D x !a x !a n!1 x a x a f n . x / f n . a/ D lK m ff 0 .a/g D lK m lK m n!1 n n!1 x !a x a El teorema anterior suele enunciarse de una forma ms general en apariencia. T mismo puedes deducirla a partir del siguiente resultado que se prueba haciendo uso del teorema del valor medio. 10.19 Proposicin. Sea ffn g una sucesin de funciones derivables en un intervalo I . Supon0 g converge uniformemente en I y que hay un punto a 2 I tal que gamos que la sucesin ffn ffn .a/g es convergente. Entonces la sucesin ffn g converge uniformemente en todo intervalo acotado contenido en I . Demostracin. Sea J un intervalo acotado contenido en I y sea L la longitud de J . Podemos 0 g converge unisuponer que a 2 J (si es necesario ampliamos J para que as sea). Como ffn formemente en I tambin converge uniformemente en J I . Por tanto, dado " > 0, existe un n0 2 N tal que para todos n; m > n0 se verica que: 0 f .x / f 0 .x / 6 " ; 8x 2 J (10.7) n m 2L
Como ffn .a/g es convergente, podemos tomar tambin n0 de forma que para n; m > n0 se verica que: " jfn .a/ fm .a/j 6 (10.8) 2 Aplicando el teorema del valor medio a la funcin h.t / D fn .t / fm .t / .fn .a/ fm .a// en un intervalo de extremos x y a donde x 2 J , se tiene que hay algn c comprendido entre x y a, por lo que c 2 J , tal que h.x / h.a/ D h 0 .c /.x a/, es decir: 0 0 .c / .x a/: .c / f m fn .x / fm .x / .fn .a/ fm .a// D fn Tomando valores absolutos en esta igualdad y teniendo en cuenta (10.7), resulta que para n; m > n0 es: 0 " " 0 .c / jx aj 6 jfn .x / fm .x / .fn .a/ fm .a//j D fn .c / f m LD ; 8x 2 J : 2L 2
Series de potencias Deducimos que: jfn .x / fm .x /j 6 jfn .x / f m .x / .fn .a/ fm .a//j C jfn .a/ fm .a/j 6
598
" " C D "; 2 2
desigualdad que es vlida siempre que n; m > n0 y para todo x 2 J . Hemos probado as que la sucesin ffn g verica en J la condicin de Cauchy para la convergencia uniforme.
10.3. Series de potencias

Dados un nmero real, a 2 R, y una sucesin de nmeros reales, fcn gn>0 , sea fn W R ! R la funcin dada para todo x 2 R por fn .x / D cn .x a/n y, por convenio, f0 .x / D c0 . La X serie de funciones fn se llama serie de potencias centrada en a. La sucesin fcn gn>0 se
n>0
llama sucesin de coecientes de la serie. El coeciente c0 se llama trmino independiente de X la serie. Suele usarse, y nosotros tambin seguiremos la costumbre, la notacin c n . x a/ n
n>0
para representar la serie de potencias centrada en a con coecientes cn , n D 0; 1; 2 ; : : :.
Un tipo particular de series de potencias son las series de Taylor. Dada una funcin f que tiene derivadas de todo orden en un punto a, la serie de potencias X f .n .a/ n! .x a/n
n>0
se llama serie de Taylor de f en a. Recuerda que, por convenio, la derivada de orden 0 de una funcin, f .0/ , es la propia funcin f .0/ D f y que 0! D 1. Observa que la serie de Taylor de f en a es la sucesin de los polinomios de Taylor de f en a. Recuerda que el polinomio de Taylor de orden n de f en a es la funcin polinmica dada por: n X f .k / .a/ . x a/ k : Tn .f; a/.x / D k!
k D0 n 10.20 Lema (Lema de Abel). Sea > 0 y supongamos X que la sucesin fjcn j g est mayon rada. Entonces se verica que la serie de potencias cn .x a/ converge absolutamente n>0
El resultado bsico para estudiar la convergencia de una serie de potencias es el siguiente.
en el intervalo a ; a C y converge uniformemente en todo intervalo cerrado y acotado contenido en a ; a C .
Demostracin. Por hiptesis, existe M > 0 tal que jcn jn 6M para todo n 2 N . Sea 0 < r < . Ser suciente probar que la serie converge absolutamente y uniformemente en el intervalo a r; a C r . Aplicaremos para ello el criterio de Weierstrass. Para todo x 2 a r; a C r , tenemos que: n ajn rn r n n jx jcn .x a/ j D jcn j 6M 6M n DM : n
Radio de convergencia de una serie de potencias Basta ahora tener en cuenta que la serie r de razn 0 < < 1.
599
n>0
X r n es convergente por ser una serie geomtrica
El resultado anterior nos lleva, de forma natural, a considerar el ms grande > 0 tal que la sucesin fjcn jn g est mayorada.
10.3.1. Radio de convergencia de una serie de potencias

Consideremos el conjunto A D f > 0 W la sucesin fjcn jn g est acotadag: Observa que A ya que el 0 2 A. Adems, A es un intervalo porque si 2 A entonces 0; A. Si A est mayorado denimos R D sup.A/, si no lo est X denimos R D C1. Se cn .x a/n . El intervalo dice que R es el radio de convergencia de la serie de potencias
n>0
y sea I el intervalo de convergencia de la serie. Se verica que la serie converge absolutamente en todo punto de I y converge uniformemente en cualquier intervalo cerrado y acotado contenido en I . Adems la serie no converge para valores de x 2 R tales que jx aj > R. X cn .x a/n una serie de potencias con radio de convergencia no 10.22 Denicin. Sea
n>0
I Da R ; a C R, con el convenio de que cuando R D C1 es I D R, se llama intervalo de convergencia de la serie. La razn de esta terminologa queda clara en el siguiente resultado, fcil consecuencia del lema de Abel. X 10.21 Teorema. Sea cn .x a/n una serie de potencias con radio de convergencia no nulo
n>0
nulo y sea I el intervalo de convergencia de la serie. La funcin f W I ! R denida para todo x 2 I por: 1 X f .x / D cn .x a/n
nD0
se llama funcin suma de la serie. Como consecuencia del teorema anterior, del carcter local de la continuidad y del teorema 10.15, se sigue que la funcin suma de una serie de potencias es continua. Enseguida veremos que es mucho ms que continua. El teorema 10.21 nos dice que el estudio de la convergencia de una serie de potencias se reduce a calcular el radio de convergencia. La nica duda corresponde a los extremos del intervalo de convergencia, los puntos a R y a C R, en los cuales puede darse cualquier comportamiento como veremos enseguida con ejemplos. Fjate en que el radio de convergencia slo depende de la sucesin de coecientes de la serie y que el punto a en que la serie est centrada no interviene para nada en la denicin del radio de convergencia.
Radio de convergencia de una serie de potencias
600
Todo esto est muy bien, dirs, pero cmo se calcula el radio de convergencia? Desde luego, la denicin que hemos dado de radio de convergencia tiene utilidad terica pero no sirve para calcularlo. Hay una frmula general para calcular el radio de convergencia que no vamos considerar aqu porque, a efectos de clculo, los siguientes casos particulares son los ms interesantes. 10.3.1.1. Clculo del radio de convergencia
Podemos aplicar los criterios del cociente y de la raz para estudiar la convergencia absoluta de una serie de potencias. Ello permite deducir con facilidad los siguientes dos resultados. X jcnC1 j cn .x a/n una serie de potencias y supongamos que !L 10.23 Proposicin. Sea jcn j
n>0
donde 0 6 L 6 C1. Entonces si L D 0 el radio de convergencia de la serie es R D C1, si L D C1 el radio de convergencia de la serie es R D 0 y si 0 < L < C1 el radio de convergencia de la serie es R D 1=L. Demostracin X . Apliquemos el criterio del cociente para estudiar la convergencia absoluta de la serie cn .x a/n . Pongamos an D jcn .x a/n j. Tenemos que:
n>0
anC1 jcnC1 j D jx an jcn j
aj ! Ljx
aj:
Si 0 < L < 1, el criterio del cociente nos dice que la serie converge absolutamente si Ljx aj < 1, es decir, si jx aj < 1=L, y que si Ljx aj > 1 entonces la serie no converge porque su trmino general fcn .x a/n g no converge a 0. Deducimos que el radio de convergencia es R D 1=L. Si L D 0 la condicin Ljx aj < 1 se cumple para todo x 2 R y el radio de convergencia es R D C1. Si L D C1 entonces para todo x a se tiene que: jcnC1 j anC1 D jx an jcn j aj ! C1:
lo que, por el criterio del cociente, nos dice que la serie no converge porque su trmino general no converge a 0. Luego en este caso es R D 0. De forma totalmente anloga, haciendo uso del criterio de la raz, se prueba el siguiente resultado. X p 10.24 Proposicin. Sea cn .x a/n una serie de potencias y supongamos que n jcn j ! L
n>0
donde 0 6 L 6 C1. Entonces si L D 0 el radio de convergencia de la serie es R D C1, si L D C1 el radio de convergencia de la serie es R D 0 y si 0 < L < C1 el radio de convergencia de la serie es R D 1=L. X Observa que los criterios anteriores son bastante restrictivos pues, por ejemplo, a la serie x 2n no puedes aplicarle ninguno de ellos. En particular, el criterio del cociente no puede
n>0
601
aplicarse cuando hay innitos coecientes nulos. En casos parecidos a este el siguiente articio es de bastante utilidad prctica. 10.25 Observaciones. Consideremos una serie de potencias de la forma
n>0
para jx
natural jo. Para calcular suX radio de convergencia hacemos z D .x X a/q y calculamos el radio n C de convergencia de la serie cn z . Si ste es R 2 R , entonces la cn .x a/q n converge
n>0 n>0 p p ajq < R, es decir, para jx aj < q R, luego su radio de convergencia es q R. X X X Si k 2 N , las series cn .x a/n , cn .x a/nCk y cn .x a/n k tienen igual n>0 n>0 n>k
c n .x
a/q n donde q es un nmero
radio de convergencia puesto que todas ellas convergen para los mismos valores de x .
Si lasP sucesiones fjcnP jg y fjbn jg son asintticamente equivalentes, entonces las series de n potencias cn .x a/ y bn .x a/n tienen igual radio de convergencia. Ello es consecuencia de que si > 0 las sucesiones fjcn j n g y fjbn j n g son, evidentemente, asintticamente equivalentes, por lo que ambas estn mayoradas o ninguna lo est. El siguiente importante teorema nos dice, entre otras cosas, que si una serie de potencias tiene radio de convergencia no nulo entonces dicha serie es la serie de Taylor de su funcin suma. Usaremos el siguiente resultado. X X c n . x a/ n y ncn .x a/n 1 tienen igual radio de convergen10.26 Lema. Las series
n>0 n>1
cia.
Los respectivos radios de convergencia viene dados por R D sup.A/ y R 0 D sup.B / con los convenios usuales. Es evidente que B A. Lo que implica que R 0 6 R. En particular, si R D 0 entonces R D R 0 D 0. Consideremos que 0 < R < C1 y sea 0 < 0 < R. Por denicin de supremo, tiene que haber algn 2 A tal que 0 < . La sucesin fjcn j n g est acotada, es decir, hay un M > 0 tal que jcn j n 6 M para todo n 2 N . Deducimos que: n n 0 n n 0 n jcn j 0 D n jcn j 6 Mn : n 0 Como, por ser 0 < 0 < , la sucesin n converge a cero, se sigue que dicha sucesin est acotada y, teniendo en cuenta la desigualdad anterior, se sigue que tambin est acotada n g. Hemos probado as que 2 B y, por tanto, 6 R 0 . Como esta la sucesin fn jcn j 0 0 0 desigualdad es vlida para todo nmero 0 < R se sigue que necesariamente debe ser R 6 R 0 y concluimos que R D R 0 . En el caso en que R D C1 puede repetirse el razonamiento anterior con cualquier nmero 0 > 0 y concluimos que tambin es R 0 D C1.
Demostracin. Pongamos: A D > 0 W fjcn j n g est acotada ; B D > 0 W fn jcn j n g est acotada :
Radio de convergencia de una serie de potencias 10.27 Teorema (Derivacin de una serie de potencias). Sea X c n .x
602 a/n una serie de
n>0
potencias con radio de convergencia no nulo R. Sea I el intervalo de convergencia de la serie y f W I ! R la funcin suma de la serie denida para todo x 2 I por: f .x / D Entonces se verica que: i) f es indenidamente derivable en I . ii) La derivada de orden k de f est dada para todo x 2 I por: f .k // .x / D
1 X 1 X
c n .x
a/n :
nD0
n.n
nDk
1/ .n
k C 1/cn .x
a/n
(10.9)
f .k // .a/ En particular, se verica que f .k // .a/ D ck k!, es decir, ck D y, por tanto, la serie k! X de potencias cn .x a/n coincide con la serie de Taylor en a de su funcin suma.
n>0
Demostracin. Las series de potencias son series de funciones polinmicas las cuales son indenidamente derivables. a/n . Teniendo X Pongamos X f n .x / D c n .x X X en cuenta el lema anterior, n 0 las series de potencias fn c n . x a/ y fn ncn .x a/n 1 tienen igual
n>0 n>0 n>0 n>0
radio de convergencia. Podemos aplicar ahora los teoremas 10.21 y 10.18 para obtener que la funcin suma f es derivable y su derivada viene dada para todo x 2 I por: f 0 .x / D
1 X
ncn .x
a/ n
nD1
Es decir, la derivada de la funcin suma es la funcin suma de la serie de las derivadas. X Podemos volver a aplicar este resultado a la serie de las derivadas ncn .x a/n 1 , pues
n>0
dicha serie sigue siendo una serie de potencias con el mismo radio de convergencia, y deducimos que la funcin suma de dicha serie, que es f 0 segn acabamos de probar, es derivable y su derivada viene dada para todo x 2 I por: f 00 .x / D
1 X
n.n
1/cn .x
a/ n
nD2
Este razonamiento puede repetirse tantas veces como queramos. Una simple y evidente induccin prueba que para todo k 2 N se verica la igualdad (10.9). Dijimos que las series de Taylor eran un tipo especial de series de potencias. El teorema anterior nos dice que no son tan especiales: toda serie de potencias con radio de convergencia no nulo es una serie de Taylor; es la serie de Taylor de su funcin suma.
603
El teorema anterior nos dice que las funciones suma de series de potencias son funciones con derivadas de todos rdenes (funciones de clase C 1 ) y que podemos calcular sus derivadas sucesivas derivando trmino a trmino la serie que las dene. El siguiente resultado es una consecuencia inmediata del teorema de derivacin y nos dice que siempre podemos calcular una primitiva de una serie de potencias expresndola por medio de otra serie de potencias. X 10.28 Corolario (Primitiva de una serie de potencias). Las series de potencias cn .x a/n
n>0
X cn y .x nC1
n>0
a/
nC1
tiene igual radio de convergencia. Supuesto que dicho radio de con-
vergencia es positivo y llamando I al intervalo de convergencia, se verica que la funcin F .x / D

1 X
nD0
cn .x nC1
a/nC1
.x 2 I /
es una primitiva en I de la funcin f .x / D

1 X
c n .x
a/ n
nD0
.x 2 I /:
En otros trminos, este resultado arma que para todo x 2 I se verica la igualdad: ! x X 1 1 x 1 X X cn n n c n . t a/ dt D cn .t a/ dt D .x a/nC1 (10.10) n C 1 a
nD0 nD0 0 nD0
10.29 Ejemplo.
e
0
t2
dt D
0 nD0
xX 1 2n t
n!
dt D
nD0
1 X
x 2nC1 n!.2n C 1/
10.30 Estrategia. Acabamos de ver que si expresamos una funcin f como suma de una serie de potencias, derivando la serie trmino a trmino se obtiene la serie de potencias de la derivada de f , e integrando la serie trmino a trmino se obtiene una serie de potencias cuya suma es una primitiva de f . Estos procesos se determinan mutuamente. Por eso, para expresar una funcin f como suma de una serie de potencias, puede ser una estrategia vlida, cuando la derivada de f sea ms sencilla que f , expresar la derivada f 0 como suma de una serie de potencias, pues integrando dicha serie trmino a trmino se obtiene una serie de potencias que se diferencia de f en una contante que usualmente puede calcularse fcilmente. 10.31 Ejemplo. Sabemos que: 1 1 x D
1 X
xn
.1
< x < 1/
nD0
Integrando trmino a trmino se obtiene que la funcin:

1 X x nC1 h.x / D nC1 nD0
.1
< x < 1/
Desarrollos en serie de potencias de las funciones elementales
604
es derivable en log.1 h.x / D
x / tienen la misma derivada en log.1 x /. Luego: log.1 x/ D
1; 1 con derivada h 0 .x / D
1 . Por tanto, las funciones h y f .x / D 1 x 1; 1 y como h.0/ D f .0/ D 0, concluimos que .1 < x < 1/:
nD0
1 X x nC1 nC1
10.4. Desarrollos en serie de potencias de las funciones elementales

Dada una funcin f con derivadas de todos rdenes en un intervalo I y un punto a 2 I , se verica que la serie de Taylor de f centrada en a tiene radio de convergencia no nulo? En caso de que as sea, se verica que la funcin suma de la serie de Taylor de f coincide con f ? Contrariamente a lo que en principio puede parecer, la respuesta a ambas preguntas es, en general, negativa. Un estudio en profundidad de este problema requiere el uso de tcnicas de variable compleja que no son propias de este curso. A continuacin consideraremos algunas de las funciones ms usuales del Clculo y probaremos que, en determinados intervalos, coinciden con la suma de sus respectivas series de Taylor. La herramienta bsica para estudiar la convergencia de una serie de Taylor es, precisamente, el teorema de Taylor. Conviene recordarlo. Teorema de Taylor Sea f un funcin n C 1 veces derivable en un intervalo I y sean a; x 2 I entonces existe un punto c 2 I con ja c j < ja x j tal que: f .x / D Tn .f; a/.x / C 1 f .nC1 .c /.x .n C 1/! a/nC1
Series de Taylor de la funcin exponencial Ya sabemos que la funcin exponencial coincide con la suma de su serie de Taylor en 0: ex D
1 X xn n!
nD0
para todo x 2 R.
Recuerda que usamos el Teorema de Taylor para probar esta igualdad. Vamos a volver a obtener este resultado de forma diferente. Los polinomios de Taylor de la funcin exp son particularmente fciles de calcular. Puesto que exp.k / .0/ D exp .0/ D 1 para todo k , el polinomio de Taylor de orden n en 0 es: x3 xn x2 C C C 2! 3! n! n Xx 1 Consideremos la serie de potencias centrada en 0 . Llamando cn D tenemos que n! n! Tn .exp; 0/.x / D 1 C x C
n>0
cnC1 1 D ! 0, por tanto la serie tiene radio de convergencia R D C1. Llamemos h a la cn nC1
Desarrollos en serie de potencias de las funciones elementales funcin suma de la serie: h.x / D
605
nD0
1 X xn n!
para todo x 2 R.
Vamos a probar que h es la funcin exponencial. Por el teorema de derivacin tenemos que h 0 .x / D
1 X nx n n! 1 1 1 X X xn 1 xn D D D h.x /: .n 1/! n! nD1 nD0
nD1
Acabamos de probar que h es una funcin que coincide con su derivada, esto es, h.x / D h 0 .x / para todo x 2 R. Consideremos ahora la funcin g.x / D h.x / e x , g 0 .x / D h 0 .x / e
x
h.x / e
Dh.x / e
h.x / e
D0
para todo x 2 R.
Como g 0 .x / D 0 para todo x 2 R tenemos que la funcin g es constante. Como g.0/ D 1, deducimos que g.x / D g.0/ D 1. Concluimos, por tanto, que h.x / D ex . La serie de Taylor centrada en un punto a se deduce de la anterior sin ms que tener en cuenta que: 1 a X e ex D ea ex a D .x a/n para todo x 2 R. n!
nD0
Series de Taylor del seno y del coseno Sabemos que: I sen 0 .x / D cos .x / D sen x C 2 sen.k / .x / D sen x C k 2 n X sen a C k 2 .x Tn .sen; a/.x / D k!
k D0
Por tanto
a/k
Como para todo z 2 R es jsen z j 6 1, el teorema de Taylor implica que: n X sen a C k 1 2 k . x a/ 6 jx ajnC1 sen x .n C 1/! k!
k D0
Pero sabemos que
De donde deducimos
jx ajnC1 D0 n!1 .n C 1/! lK m a/ k
1 X sen a C k 2 .x sen x D k!
k D0
para todo x 2 R
Es decir, la serie de Taylor del seno converge a sen x cualquiera sea x 2 R.

606
Por el teorema de derivacin para series de potencias obtenemos la serie del coseno, que tambin ser convergente cualquiera sea x 2 R. 1 1 X X cos a C k sen a C .k C 1/ 2 k 1 2 .x a/ D .x a/k para todo x 2 R cos x D .k 1/! k!
k D1 k D0
Si hacemos a D 0 tenemos que para todo x 2 R: sen x D

1 X
nD0
. 1/n 2nC1 x ; .2n C 1/!
1 X . 1/n 2n cos x D x .2n/! nD0
Series de Taylor de la funcin logaritmo Seguiremos la idea expuesta en la estrategia 10.30 y en el ejemplo 10.31. Para calcular la serie de Taylor de log, pongamos f .x / D log.1 C x / denida para x > Tenemos que 1 X 1 f 0 .x / D . 1/n x n .jx j < 1/ D 1Cx
nD0 1 X . 1/n nC1 x nC1
1.
Integrando trmino a trmino esta serie, denamos para jx j < 1: h.x / D
nD0
Tenemos, en virtud del teorema de derivacin, que h 0 .x / D f 0 .x / para todo x 2 1; 1, esto implica que h.x / f .x / es constante y, como h.0/ f .0/ D 0, concluimos que f .x / D h.x /. Hemos probado as que:
1 X . 1/n nC1 log .1 C x / D x nC1 nD0
.jx j < 1/
Observa que, efectivamente,
1; 1 es el intervalo de convergencia de la serie.
La serie de Taylor del logaritmo centrada en a > 0 se deduce de lo anterior: log.x /Dlog.aC.x a//Dlog aClog Observa que la serie 1/n x a Dlog aC
1 X
nD0
. 1/n .x a/nC1 .jx aj < a/: .n C 1/anC1
n>0
convergente para x D 1 puesto que se trata de la serie armnica alternada. En esta situacin 1 X . 1/n nC1 cabe esperar que la igualdad log.1 C x / D x vlida, en principio, para jx j < 1 nC1 nD0 sea tambin vlida para x D1? En este caso particular, la respuesta es armativa porque sabemos 1 X . 1/n que log 2 D . El siguiente resultado establece que esto es cierto en general. nC1
nD0
X. x nC1 cuya suma para jx j < 1 es igual a log.1 C x / es tambin nC1
Desarrollos en serie de potencias de las funciones elementales 10.32 Teorema (Teorema de Abel). Sea X c n .x
607
a/n una serie de potencias con radio de
n>0
convergencia R, siendo 0 < R < C1. Sea f .x / D

nD0 1 X
c n .x
a/n
x 2a
R ; a C R
P la funcin suma de la serie. Supongamos adems que la serie n>0 cn Rn converge. Entonces X se verica que la serie cn .x a/n converge uniformemente en el intervalo a; a C R. En
n>0
consecuencia: lK m
x !aCR x <aCR
f .x / D
nD0
1 X
cn R
aCR a
f .x / dx D
nD0 a
1 X
aCR
cn .x a/ dx D
nD0
1 X
cn RnC1 : nC1
n Podemos aplicar a esta serie el criterio de Abel 10.13 con an D cn Rn y fn .x / D xR a . X Por hiptesis la serie an es convergente y para x 2 a; a C R se verica que ffn .x /g es
n>0
Demostracin. Escribamos: X
c n .x
n>0
a/ n D
n>0
cn Rn
x
a n
una sucesin de nmeros reales montona (decreciente); adems, para todo n 2 N y para todo x 2 a; a C R se tiene que jf n .x /j 6 1. En estas condiciones el citado criterio de Abel nos dice X X que la serie an f n . x / D cn .x a/n converge uniformemente en a; a C R.
n>0 n>0
Las dos armaciones nales del teorema son consecuencia de que al ser la convergencia uniforme en a; a C R se verica que: ! 1 1 1 X X X n n lK m f .x / D lK m lK m c n . x a/ D cn .x a/ D cn Rn :
x !aCR x <aCR x !aCR x <aCR nD0 x !aCR nD0 x <aCR nD0
donde en la segunda igualdad podemos permutar el lmite con la suma de la serie por ser la convergencia uniforme en a; a C R. Igualmente, la convergencia uniforme de la serie en a; a C R permite permutar la integral con la suma de la serie.
Serie de Taylor del arcotangente en cero Puesto que arc tg 0 .x / D se deduce fcilmente que
1 X . 1/n 2nC1 x arc tg x D 2n C 1 nD0 1
X 1 D . 1/n x 2n 2 1Cx
nD0
.x 2
1; 1/
.x 2
1; 1/
Desarrollos en serie de potencias de las funciones elementales Adems, como esta serie converge tambin para x D 1, el teorema de Abel nos dice que: X . 1/n D arc tg 1 D lK m arc tg x D 4 2n C 1 x !1
x <1 nD0 1
608
Serie binomial de Newton Consideremos la funcin f .x / D .1 C x / , donde 2 R n Z, ya que para 2 Z el desarrollo es conocido. Calculemos la serie de Taylor de f en 0. Tenemos que f 0 .x / D .1 C x /
1
f .n .x / D . Los coecientes de la serie sern:
1/ . 1/ . n! X n
n C 1/.1 C x / n C 1/
f .n .0/ . D n! Por tanto la serie de Taylor de f es:
D : n
x n:
n>0
Calculemos su radio de convergencia. cnC1 j nj ) cn D c D jn C 1j ! 1 n n
Por tanto, el radio de convergencia es R D 1. Denamos para jx j < 1 1 X n x ; .jx j < 1/ g .x / D n

nD0
Queremos probar ahora que la funcin suma de la serie, g, coincide con la funcin f en el intervalo 1; 1. Para esto consideremos la funcin h.x / D .1 C x / g.x /, denida para jx j < 1. Calculemos h 0 . h 0 .x / D .1 C x / 1 g.x / C .1 C x / g 0 .x / D .1 C x / 1 g.x / C .1 C x /g 0 .x / Analicemos ahora la expresin entre corchetes, .1 C x /g 0 .x /
1 1 X X n 1 n g .x / D .1 C x / n x x n n nD1 nD0 1 1 1 X X n 1 X n n D n x C n x x D n n n nD1 nD1 nD0 1 X D .n C 1/ Cn x nD nC1 n n nD0 1 X D .n C 1/ C .n / xn D 0 nC1 n nD0
609
Hemos probado que h 0 .x / D 0 para todo x 2 1; 1, de donde deducimos que h.x / es constante, y como h.0/ D 1, concluimos que g.x / D .1 C x / para jx j < 1. Hemos probado as que: 1 X n .1 C x / D x ; .jx j < 1/ n
nD0
Para centrar esta serie en un punto a > .1 C x / D .1 C a C .x D

1 X
1 podemos proceder como sigue: 1 X x a x a D . 1 C a/ D a// D .1 C a/ 1 C 1Ca 1Ca n

nD0
nD0
1 n .1 C a/n
.x
a/ n
siempre que
jx
aj < 1 C a :
Donde hemos tenido en cuenta que 1 C a > 0. Serie de Taylor del arcoseno en cero Sea f .x / D arc sen x , su derivada viene dada como: f 0 .x / D p 1 Haciendo las sustituciones x ! f 0 .x / D .1 1 x2 D .1 x 2/
1= 2
x 2 y ! 1=2 en la serie binomial de Newton obtenemos: 1 1 X X 1=2 1=2 . x 2 /n D . 1/n x 2n .jx j < 1/: x 2 / 1= 2 D n n
nD0 nD0
Integrando trmino a trmino la expresin anterior obtenemos la serie del arcoseno: 1 X 1=2 . 1/n 2nC1 x .jx j < 1/ arc sen x D 2n C 1 n
nD0
Como 1=2 D n 1/ . 1=2 n! 3 5 7 . 2n 1/ D . 1/n 2 4 6 .2n/ 1=2. 1=2 n C 1/ D . 1/n 1 3 5 .2n 2n n! 1/ D
Resulta nalmente: arc sen x D x C

1 X 1 3 5 7 .2n 1/ x 2nC1 2 4 6 .2n/ 2n C 1
nD1
.jx j < 1/
Adems, como la serie tambin converge para x D 1, por el teorema de Abel tenemos que: arc sen 1 D X 3 5 7 .2n 1/ 1 D1C 2 2 4 6 .2n/ 2n C 1
nD1 1
Ya dijimos que las series de Taylor de una funcin no siempre convergen a dicha funcin. Veamos un ejemplo de esto.
Desarrollos en serie de potencias de las funciones elementales 10.33 Ejemplo. Consideremos la funcin f W R ! R denida de la siguiente forma ( 2 e 1=x si x > 0 f .x / D 0 si x 6 0
610
La funcin es de clase innito, y puede probarse sin dicultad que f .n/ .0/ D 0 para todo n D 0; 1; 2 ; : : :, por lo que su serie de Taylor en a D 0 es la serie idnticamente nula que, evidentemente, no converge a f en ningn intervalo abierto que contenga a 0. Por esta razn se dene una clase de funciones que son precisamente aquellas que pueden representarse localmente por sus series de Taylor. 10.34 Denicin. Se dice que f es una funcin analtica en un intervalo abierto I si para cada punto a 2 I hay una serie de potencias centrada en a que converge en un intervalo abierto no vaco Ja , y su suma es igual a f en el intervalo Ja \ I . Dicho de forma ms concisa: las funciones analticas son las funciones que se representan localmente por medio de series de potencias. Teniendo en cuenta el teorema de derivacin y el carcter local de la derivabilidad, es inmediato que una funcin f es analtica en un intervalo abierto I si, y slo si, se cumplen las dos condiciones siguientes: 1. f 2 C 1 .I /. 2. Para todo punto a 2 I la serie de Taylor de f en a converge en un intervalo abierto no vaco Ja , y su suma es igual a f en el intervalo Ja \ I . 10.35 Ejemplos. Hemos visto antes que para todo a > 0 se verica que: log x D log a C
1 X
nD0
. 1/n .x .n C 1/anC1
a/nC1
.jx aj < a/:
(10.11)
Esto nos dice que la funcin logaritmo es analtica en el intervalo I D0; C1. Observa que en cada punto a > 0 la serie de Taylor del logaritmo converge en el intervalo Ja D0; 2a y es en ese intervalo en donde representa a la funcin. El intervalo es tanto ms pequeo cuanto ms prximo est a de 0. Tambin hemos visto que para todo a > 1 se verica que: 1 X 1 . x a/ n jx .1 C x / D n .1 C a/n
nD0
aj < 1 C a :
Esto nos dice que la funcin f .x / D .1 C x / es analtica en el intervalo I D 1; C1. Observa que en cada punto a > 1 la serie de Taylor f converge en el intervalo abierto no vaco Ja D 1; 2a C 1 y es en ese intervalo en donde representa a la funcin. El intervalo es tanto ms pequeo cuanto ms prximo est a de 1. De la misma forma, los resultados vistos para las funciones exponencial, seno y coseno, muestran que dichas funciones son analticas en R y sus series de Taylor en cualquier punto convergen en todo R. La funcin del ejemplo 10.33 no es analtica en ningn intervalo abierto que contenga a 0, pero s es analtica en intervalos abiertos que no contengan a 0.
Las funciones trascendentes elementales denidas por series
611
10.4.1. Las funciones trascendentes elementales denidas por series

Las series de potencias son objetos matemticos muy simples, en ellas solamente intervienen las operaciones algebraicas de adicin y de multiplicacin y la operacin analtica de paso al lmite. De hecho, las series de potencias son sucesiones de funciones polinmicas. Por eso dichas series suelen usarse para denir nuevas funciones. Recuerda que usamos el Teorema Fundamental del Clculo para denir el logaritmo natural y, a partir de l, la funcin exponencial. Ahora vamos a hacer lo mismo con series de potencias y por n! podremos denir de forma analtica las funciones trigonomtricas. 10.4.1.1. La funcin exponencial
Olvidemos de momento lo que sabemos de la funcin exponencial. Sabemos que la serie X xn de potencias tiene radio de convergencia R D C1 y, por tanto, su funcin suma est n! n>0 denida en todo R. 10.36 Denicin. La funcin exp WR ! R dada para todo x 2 R por:
1 X xn exp.x / D n! nD0
Se llama funcin exponencial. Como consecuencia del teorema de derivacin para series de potencias, la funcin exponencial es derivable en todo punto x 2 R y su derivada viene dada por: exp 0 .x / D
1 1 1 X X xn xn 1 X xn 1 D D D exp.x /: n n! .n 1/! n! nD1 nD0
nD1
Por tanto, la exponencial es una funcin que coincide con su derivada. Consideremos un nmero jo a 2 R y denamos para todo x 2 R f .x / D exp.x C a/ exp. x /. Tenemos que: f 0 .x / D exp.x C a/ exp. x / exp.x C a/ exp. x / D 0W
Por tanto f es constante en R. Como exp.0/ D 1, deducimos que f .x / D f .0/ D exp.a/. Hemos probado que exp.x C a/ exp. x / D exp.a/. En particular, para a D 0 ser exp.x / exp. x / D 1 lo que implica que la funcin exponencial no se anula nunca y que exp. x / D 1= exp.x /. Por tanto, podemos escribir la igualdad antes obtenida en la forma exp.a C x / D exp.a/ exp.x /. Igualdad que es vlida para todos a; x 2 R. Hemos probado as la propiedad aditiva de la exponencial. Tenemos tambin que exp.x / D .exp.x =2//2 > 0, por lo que la funcin exponencial es siempre positiva. Como coindide con su derivada, deducimos que es una funcin estrictamente creciente. Como exp.1/ > exp.0/ D 1 se tiene que exp.n/ D .exp.1//n ! C1 y exp. n/ D 1= exp.n/ ! 0. Deducimos que lK m exp.x / D 0 y lK m exp.x / DC1 y que la exponencial es una biyeccin de R sobre RC .
x! 1 x !C1
612
Se dene el nmero e D exp.1/. Es fcil probar, usando la propiedad aditiva de la exponencial, que exp.r / D .exp.1//r para todo nmero racional r , es decir exp.r / D er , por lo que se usa la notacin exp.x / D ex . Observa de qu forma tan elegante y cmoda hemos obtenido las propiedades principales de la funcin exponencial. Se dene ahora la funcin logaritmo natural como la inversa de la funcin exponencial. 10.4.1.2. Las funciones trigonomtricas
Olvidemos de momento lo que sabemos de las funciones trigonomtricas. La serie de poX x 2nC1 tencias . 1/n tiene radio de convergencia R D C1 y, por tanto, su funcin suma .2n C 1/!
n>0
est denida en todo R.
10.37 Denicin. La funcin sen W R ! R dada para todo x 2 R por: sen.x / D Se llama funcin seno. Como consecuencia del teorema de derivacin para series de potencias, la funcin seno es derivable en todo punto x 2 R y su derivada viene dada por: sen 0 .x / D
1 X 1 X
. 1/n
nD0
x 2nC1 .2n C 1/!
nD0
. 1/n .2n C 1/
X x 2n x 2n D : . 1/n .2n C 1/! .2n/!

nD0
La funcin derivada de la funcin seno se llama funcin coseno y es la funcin denida para todo x 2 R por: 1 X x 2n cos x D . 1/n : .2n/!
nD0
El teorema de derivacin permite probar enseguida que cos 0 .x / D sen.x /. Adems sen.0/ D 0 y cos.0/ D 1. Derivando ahora la funcin f .x / D sen2 .x / C cos2 .x / se obtiene que: f 0 .x / D 2 sen x cos x Sea a 2 R jo y denamos la funcin: 2 2 h.x / D cos.x C a/ .cos x cos a sen x sen a/ C sen.x C a/ .sen x cos a C cos x sen a/ : 2 sen x cos x D 0:
Luego f es constante. Como f .0/ D 1, concluimos que sen2 .x / C cos2 .x / D 1 para todo x 2 R.
Puedes comprobar en dos lneas que h 0 .x / D 0 para todo x 2 R. Como h.0/ D 0, se sigue que h.x / D 0 lo que implica que: cos.x C a/ D cos x cos a
sen x sen a;
sen.x C a/ D sen x cos a C cos x sen a:

613
Igualdades que son vlidas para todos x ; a 2 R. Acabamos de probar los teoremas de adicin para el seno y el coseno. Este estudio puede proseguirse y no est exento de algunas dicultades. Por ejemplo, hay que denir el nmero y probar que las funciones seno y coseno son peridicas con perodo 2 . Esto puede hacerse como sigue. Tenemos que: 1 cos 2 D
1 X
. 1/nC1
nD1
22n : .2n/!
Esta serie es una serie alternada cuyo trmino general es decreciente y, por tanto, por la acotacin (9.11), se verica que la suma de la serie es mayor que las sumas parciales pares, en particular: 4 16 1 1 cos 2 > cos 2 < : 2! 4! 3 Como cos.0/ D 1 por el teorema de Bolzano hay un mnimo nmero 0 < s0 < 2 tal que cos.s0 / D 0. Por tanto 0 < cos x para 0 6 x < s0 . Denimos: D 2s0 : Como cos.=2/ D 0 deducimos que sen.s0 / D 1, pero como sen 0 .x / D cos x , se sigue que la funcin seno es creciente en 0; s0 y, como sen.0/ D 0, resulta que debe ser sen.s0 / D sen.=2/ D 1. Usando ahora los teoremas de adicin se obtiene fcilmente que: sen./ D 2 sen.=2/ cos.=2/ D 0; sen.2/ D 2 cos./ sen./ D 0; Deducimos que: sen.x C 2/ D sen x cos.2/ C cos x sen.2/ D sen x ; lo que prueba que la funcin seno es peridica con perodo 2 . Lo que implica que su derivada, la funcin coseno, tambin es peridica con igual perodo. A partir de las funciones seno y coseno ya podemos denir todas las dems funciones trigonomtricas como lo hicimos en el captulo 2. T mismo puedes completar este estudio. La denicin de las funciones exponencial y trigonomtricas por medio de series de potencias tiene, desde un punto de vista matemtico, todas las ventajas posibles pues las deniciones dadas prueban la existencia de dichas funciones y permiten obtener con comodidad sus propiedades principales. Adems, y esto es fundamental, dichas deniciones se extienden exactamente igual al campo complejo porque las series de potencias reales y complejas tienen las mismas propiedades de convergencia. Esto no quiere decir, ni mucho menos, que debas olvidar el signicado de las funciones seno y coseno de la trigonometra elemental. Simplemente, debes saber que las funciones seno y coseno analticas tal como las acabamos de denir, y las funciones seno y coseno de la trigonometra elemental tal como se denen para ngulos de un tringulo rectngulo, son funciones que se relacionan a travs del concepto de medida de un ngulo, y en cada situacin concreta debes adoptar el punto de vista ms adecuado a la misma. cos./ D cos2 .=2/ sen2 .=2/ D 1 cos.2/ D cos2 ./ sen2 ./ D 1:
Teorema de aproximacin de Weierstrass
614
10.5. Teorema de aproximacin de Weierstrass

Muchas funciones continuas no son derivables, es claro que dichas funciones no pueden representarse por medio de series de potencias. Por otra parte, dado un conjunto nito de puntos en el plano, f.xk ; yk / W 1 6 k 6 ng, es fcil construir una funcin polinmica P que interpole dichos puntos, es decir, cuya grca pase por todos ellos, P .xk / D yk para 1 6 k 6 n. Dada una funcin continua en un intervalo a; b , parece intuitivo que si tomamos una particin de a; b con un nmero sucientemente grande de puntos, fa D x0 < x1 < x2 < < xn 1 < xn D b g, y es P una funcin polinmica que interpola los correspondientes puntos en la grca de f , esto es los puntos del conjunto f.xk ; f .xk // W 1 6 k 6 ng, entonces dicha funcin polinmica P coincide con f en todos los puntos xk y debera ser una buena aproximacin de la funcin f en todo el intervalo a; b . Aunque las cosas no son exactamente as, un notable resultado debido a Weierstrass arma que, efectivamente, es posible aproximar uniformemente en un intervalo cerrado y acotado una funcin continua por una funcin polinmica. Pero no debes hacerte una idea falsa de la situacin. Las cosas no son tan simples como pudieran parecer a primera vista. Ello se debe a que una funcin continua puede oscilar demasiado, de hecho puede oscilar tanto que no sea derivable en ningn punto. El primer ejemplo de una funcin continua que no es derivable en ningn punto (puedes imaginar la grca de una funcin as?) fue dado por Weierstrass en 1872. Su funcin era: 1 X f .x / D b n cos.an x / .x 2 R/
nD0
donde a es un nmero impar, 0 < b < 1 y ab > 1 C 3=2. Observa que f est denida como la suma de una serie de funciones continuas (de clase C 1 !) que converge absolutamente y P uniformemente en R (porque para todo x 2 R es jb n cos.an x /j 6 b n y la serie b n converge por ser 0 < b < 1). Por tanto, f es una funcin continua en R. Weierstrass demostr que f no es derivable en ningn punto. Te digo esto para que aprecies que el problema de aproximar una funcin continua por una funcin polinmica en todos los puntos de un intervalo no es un fcil problema de interpolacin. De las variadas demostraciones que hay del citado resultado de Weierstrass, vamos a exponer la basada en los polinomios de Bernstein porque, adems de ser la ms elemental, proporciona unos polinomios concretos para realizar la deseada aproximacin. 10.38 Denicin. Dada una funcin f W 0; 1 ! R el polinomio de Bernstein de orden n de f es la funcin polinmica: Bn .f /.x / D
n X
k D0
k n k f x .1 n k
x /n
Necesitaremos usar algunas identidades que se deducen fcilmente de la igualdad siguiente. .x C y / D

n n X n
k D0
xk yn
Teorema de aproximacin de Weierstrass Derivando esta igualdad una vez respecto a x y multiplicando despus por x obtenemos: n X n n 1 x n.x C y / D kx k y n k : k
k D0
615
Derivando la primera igualdad dos veces respecto a x y multiplicando despus por x 2 obtenemos: n X n 2 n 2 x n.n 1/.x C y / D k .k 1/x k y n k : k Haciendoenlas anteriores igualdades y D 1 x y deniendo, por comodidad de notacin, n .x / D n x k .1 bk x /n k , obtenemos las siguientes igualdades: k 1 D nx D n.n 1/x 2 D
n X n bk .x / k D0
(10.12)
k D0 n X
n kbk .x /
(10.13)
k D0
k D0 n X
k .k
n 1/bk .x /
(10.14)
Usando estas igualdades deducimos que:

n X
.k
k D0
k .x / D nx /2 bn
D n.n Por tanto:

n X
k D0 n X
n X
k .x / k 2 bn
2nx
k D0
n X
k .x / C n2 x 2 kbn
k D0
n X
k .x /D bn
.k .k
k D0
k 1/ C k /bn .x /
2n2 x 2 C n2 x 2 D x /:
1/x 2 C nx
n2 x 2 D nx .1 x /:
.k
k D0
k .x / D nx .1 nx /2 bn
(10.15)
10.39 Teorema (Weierstrass (1868)). Sea f W a; b ! R una funcin continua. Dado " > 0, hay una funcin polinmica P" que verica que jf .x / para todo x 2 a; b . Demostracin. Haremos primero la demostracin en el caso de que el intervalo a; b es el intervalo 0; 1. Como f es continua y 0; 1 es un intervalo cerrado y acotado, sabemos que f est acotada en 0; 1 y es uniformemente continua en 0; 1. Sea M > 0 tal que jf .x /j 6 M para todo x 2 0; 1. Dado " > 0, por la continuidad uniforme de f , existe un > 0, tal que: jf .x / f .y / j 6 " 2 para todos x ; y 2 0; 1 tales que jx y j < : (10.16) P" .x /j 6 "
Teorema de aproximacin de Weierstrass
616
k .x / > 0. Acotaremos ahora la diferencia f .x / f Donde hemos usado que bn x k < o x k > . Tenemos que: n n k x k < (10.16) < ": f .x / f n n 2 j nx k j k f .x / f k 6 > x > 1 n n n k 6 2M 6 2M .nx k /2 6 jf .x /j C f n n2 2
Acotaremos ahora el error que se comete al aproximar f por su polinomio de Bernstein de orden n. Tenemos que: n n X X k k (10.12) k k .x / D .x / 6 bn bn jf .x / Bn .f /.x /j D f .x / f f .x / f n n k D0 k D0 n X k k 6 (10.17) f .x / f n bn .x /:
k D0
k segn que n
Esta desigualdad es vlida para todo x 2 0; 1 y para todo k D 0; 1; 2 ; : : : ; n. Usando ahora (10.17),deducimos que: jf .x / Bn .f /.x /j 6
n X "
Podemos resumir las dos acotaciones obtenidas en una sola de la forma: f .x / f k 6 " C 2M .nx k /2 : n 2 n2 2
(10.18)
(10.15)
k D0
2M " C 2 2 nx .1 D 2 n
n 2M 2M X (10.12) " k k 2 .x /D .nx k /2 bn .nx k / bn .x / D C C 2 n2 2 2 n2 2 " 2M x/ 6 C 2 : 2 n

k D0
Donde hemos tenido en cuenta que para x 2 0; 1 es x .1 para todo x 2 0; 1 se verica que: jf . x / Bn .f /.x /j 6
x / 6 1. Hemos probado as que
" 2M C 2: 2 n 2M " 6 , concluimos que para 2 2 n
todo n > n0 y para todo x 2 0; 1 se verica que: jf .x /
Tomando ahora n0 2 N tal que para n > n0 se verique que Bn .f /.x /j 6
" " C D ": 2 2
Podemos tomar como polinomio P" del enunciado cualquier polinomio Bn .f / con n > n0 . Observa que hemos probado que la sucesin de polinomios de Bernstein de f converge uniformemente a f en 0; 1.
Ejercicios propuestos
617
En el caso general de un intervalo cerrado y acotado a; b y una funcin f W a; b ! R continua en a; b , podemos proceder como sigue. Consideremos la funcin g W 0; 1 ! R dada por g.t / D f .a C t .b a// para todo t 2 0; 1. La funcin g es continua en 0; 1 por ser f continua en a; b . Dado " > 0, por la ya probado, hay un polinomio de Bernstein de g, Bn .g/, tal que para todo t 2 0; 1 es: jg.t / Bn .g/.t /j 6 ":
a Teniendo ahora en cuenta que para x 2 a; b se tiene que x 2 0; 1, deducimos que para b a todo x 2 a; b se verica que: x a x a . g / B g 6 ": n b a b a x a x a , y P" .x / D Bn .g/ es un polinomio por ser composicin Puesto que f .x / D g b a b a de dos polinomios, obtenemos que para todo x 2 a; b es jf .x / P" .x /j 6 ".
El polinomio Bn .g/ x b n a X b a n x D f aCk a n k b

k D0
a k a
b b
x a
n
es, por denicin, el polinomio de Bernstein de orden n de f en a; b . Hemos probado que la sucesin de dichos polinomios converge uniformemente a f en a; b . 10.40 Corolario. Toda funcin continua en un intervalo cerrado y acotado es lmite uniforme en dicho intervalo de una sucesin de funciones polinmicas.
10.5.1. Ejercicios propuestos
474. Estudia la convergencia uniforme en intervalos de la forma 0; a y a; C1 donde a > 0, de la sucesin de funciones ffn g denidas para todo x > 0 por: f n .x / D 2nx 2 : 1 C n2 x 4
475. Estudia la convergencia uniforme en 0; 1, de la sucesin de funciones ffn g denidas para x 20; 1 por fn .x / D x n log.1=x /, y fn .0/ D 0. 476. Dado 2 R, consideremos la sucesin de funciones ffn g, donde fn W 0; 1 ! R es la funcin denida para todo x 2 0; 1 por: fn .x / D n x .1 x 2 /n :
Para qu valores de hay convergencia uniforme en 0; 1? Para qu valores de hay convergencia uniforme en ; 1, donde 0 < < 1?
Ejercicios propuestos 477. Para cada n 2 N sea fn W 0; =2 ! R la funcin dada por: fn .x / D n.cos x /n sen x :
618
Estudia la convergencia puntual de la sucesin de funciones ffn g y la convergencia uniforme en los intervalos 0; a y a; =2 donde 0 < a < =2. 478. Para cada n 2 N sea fn W0; ! R la funcin dada por: f n .x / D sen2.nx / n sen x 0 < x < :
Estudia la convergencia puntual de la sucesin de funciones ffn g as como la convergencia uniforme en intervalos del tipo 0; a, a; y a; b donde 0 < a < b < . 479. Estudia la convergencia puntual y uniforme de la sucesin de funciones ffn g donde fn W R ! R est denida por: p n fn .x / D 1 C x 2n x 2 R:
480. Estudia la convergencia uniforme en intervalos de la forma 1; a, a; a y a; C1 donde a > 0, de la sucesin de funciones ffn g denidas por fn .x / D n sen.x = n/ para todo x 2 R. 481. Estudia la convergencia uniforme en RC o , de la sucesin de funciones ffn g denidas para C todo x 2 R o por: nCx fn .x / D arc tg : 1 C nx 482. Para cada n 2 N sea Prueba que la serie P fn : f n .x / D x na .1 C nx 2 / .x > 0/:
a) Converge puntualmente en RC o si a > 0, y la convergencia es uniforme en semirrectas cerradas que no contienen al cero. b) Converge uniformemente en RC o si a > 1=2. P 483. Estudia la convergencia puntual y uniforme de la serie fn donde, fn W R ! R es la funcin dada por: x n D 0; 1; 2 ; : : : f n .x / D 1 C n2 x 2 Sea F .x / D
nD0 1 X
fn .x /, la funcin suma de la serie. Calcula lK m F .x / y lK m F .x /.

x !0 x<0 x !0 x >0
Sugerencia. Para x > 0 se tiene que

k C1 k
x dt 6 fk .x / D 1 C t 2x 2
k C1 k
x dt 6 1 C k 2x 2
k 1
x dt : 1 C t 2x 2
Ejercicios propuestos 484. Estudia la convergencia puntual y uniforme de la serie f n .x / D nnC1 n x e n!

nx
619 P fn donde
.x > 0/:
485. En cada uno de los siguientes ejercicios se especica un conjunto R y, para cada n 2 N , se dene una funcin fn W ! R . Se pide estudiar la convergencia puntual en de la sucesin de funciones, ffn g, as como la convergencia uniforme en los conjuntos A que se indican en cada caso.
2 n a) D0; 2 ; fn .x / D n .tg x / .1 C cos 4x /; A D 0; a; A D a; 4 ; 0 < a < 4 : p b) D RC ; fn .x / D n n x 1 ; A D a; b ; AD0; a; A D b; C1; 0 < a < b: x n c) D R; fn .x / D 1 C ; A D a; b ; a < b: n x d) D 1; C1; fn .x / D n log 1 C ; AD 1; a; A D a; C1; a > 1: n
nx (donde > 0 es un nmero jo), ADa; C1; a > 0. e) D RC o ; f n .x / D n x e Para qu valores de hay convergencia uniforme en RC o?
486. Sea ffn g una sucesin de funciones que converge uniformemente a una funcin f en un conjunto A R. Supongamos que fn .A/ a; b para todo n 2 N ; y sea ' una funcin continua en a; b . Prueba que la sucesin f' fn g converge uniformemente a ' f en A. 487. Sean > 0 y ffn g la sucesin de funciones denida por: 1 C nx C : f n W R o ! R ; f n .x / D n C x2 Estudia la convergencia puntual y uniforme en RC o y en intervalos del tipo 0; a donde a > 0. Sugerencia. Puede usarse el ejercicio anterior con '.x / D x . 488. Para cada n 2 N sea fn W R ! R la funcin denida para todo x 2 R por: x n fn .x / D cos p : n Estudia la convergencia puntual de la sucesin ffn g y la convergencia uniforme en intervalos cerrados y acotados. 489. Sea f W RC o ! R una funcin continua, no idnticamente nula con
x !C1
f .0/ D 0. Sean ffn g y fgn g las sucesiones de funciones denidas por fn .x / D f .nx /, gn .x / D f .x = n/, para todo x 2 RC o y todo n 2 N . Prueba que: a) ffn g y fgn g convergen puntualmente a cero en RC o pero la convergencia no es uniforme en RC . o b) La sucesin ffn gn g converge uniformemente a cero en RC o.
lK m f .x / D 0,
620
490. Sea f W R ! R una funcin de clase C 1 e I D a; b un intervalo cerrado y acotado.
a) Prueba que para todo " > 0 sean x ; y 2 I con existe > 0 tal que cualesquiera f .x / f .y / 0 0 < jx y j < se verica que f .y / 6 ". x y b) Para cada n 2 N denamos: n f n .x / D 2
1 xC n
f .t / dt
x
1 n
.x 2 R/:
0 g converge uniformemente a f 0 en I . Justica que ffn
491. Sea gW 1; 1! R una funcin no constante y continua en x D 0. Sea ffn g la sucesin de funciones denida por fn .x / D g.x n / para todo n 2 N y para todo x 2 1; 1. Prueba que dicha sucesin converge uniformemente en intervalos cerrados y acotados contenidos en 1; 1, y no converge uniformemente en 1; 1. 492. Supongamos que una sucesin de funciones polinmicas converge uniformemente en R. Qu puede decirse de dicha sucesin? Sugerencia: La condicin de Cauchy puede ser til. 493. Prueba que la funcin lmite de una sucesin uniformemente convergente de funciones uniformemente continuas tambin es una funcin uniformemente continua.
3
494. Prueba que lK m
n!1
n C sen x dx D 1: 3n C cos2 x
495. Supongamos que f es una funcin continua en a; b y que para todo n 2 N [ f0g se verica que:
b a
x nf .x / dx D 0:
Sugerencia: Usa el teorema de aproximacin de Weierstrass. 495. Para cada n 2 N , sea fn W 0; 1 ! R la funcin denida para todo x 2 0; 1 por: 1. fn .x / D 2. fn .x / D 1 e n
x
Prueba que f .x / D 0 para todo x 2 a; b .
cos x log.x C n/.
nx 2 e x . 1 C n2 x 2 p n x cos x 2 . 3. fn .x / D 1 C n2 x 2 n sen.nx / si 0 6 x 6 n 4. fn .x / D 0 si n 6x 61 Estudia, en cada caso, la convergencia puntual y uniforme de la sucesin ffn g y compara
1 1 0 n!1
lK m ffn g con lK m
n!1
fn .
0
621
496. Da un ejemplo de una sucesin de funciones que converge uniformemente en R tal que la sucesin de las derivadas no converge puntualmente en ningn punto de R. 497. Da un ejemplo de una sucesin de funciones que no converge en ningn punto de R y cuya sucesin de derivadas converge uniformemente en R. 498. Sea fn W R ! R la funcin dada por fn .x / D arc tg.x = n/. Prueba que:
0 g converge uniformemente a cero en R. b) ffn
a) ffn g converge puntualmente a cero en R pero la convergencia no es uniforme.
499. Sea fn W RC ! R la funcin dada por fn .x / D
P 1 . Prueba que la serie fn 2 1Cn x converge puntualmente en RC . Estudia la continuidad y derivabilidad de la funcin suma 1 X de la serie: f .x / D f n .x /.
n x !C1
500. Sea ffn g una sucesin de funciones que converge uniformemente a una funcin f en un intervalo a; C1. Supongamos que, para cada n 2 N , existe lK m fn .x / D an 2 R. Prueba que la sucesin fan g es convergente y que f tiene lmite en C1, siendo lK m f .x / D lK m f an g .
x !C1 n!1
Sugerencia. La condicin de Cauchy permite probar la convergencia de fan g. 501. Sea ffn g una sucesin de funciones continuas que converge puntualmente a una funcin f en un intervalo a; b , .a < b 6 C1/, siendo la convergencia uniforme en todo subintervalo cerrado y acotado contenido en a; b . Supongamos, adems, que hay una funcin positiva g cuya integral es convergente en a; b y tal que jfn .x /j 6 g.x / para todo x 2 a; b . Prueba que las integrales de fn y f son convergentes en a; b y que:
b n!1 b
lK m
fn .x / dx D
f .x / dx :
a
502. Para cada n 2 N , sea fn W RC o ! R la funcin dada por: n p 1 x 2= n si 0 6 x 6 n p f n .x / D 0 si x > n a) Demuestra, haciendo uso del ejercicio anterior, que lK m
C1 0 C1 0
n!1 C1 0
fn .x / dx D
2
x2
dx :
b) Prubese que
fn .x / dx D
n
0
.sen t /2nC1dt , y deduce que: p : dx D 2

C1 0
x2
622
503. Sea ffn g una sucesin de funciones continuas que converge uniformemente a una funcin f en un conjunto A R. Sea fxn g una sucesin de puntos de A que converge a un punto x 2 A. Prueba que lK m f n .x n / D f .x /.
n!1
504. En cada uno de los siguientes ejercicios se especica un conjunto R y, para cada n 2 N , se dene una funcin fn W ! R . Se Ppide estudiar, en cada caso, la convergencia puntual en de la serie de funciones, fn , y la continuidad de la funcin suma 1 X FD fn . 1 . Cn sen.n2 x / c) D R, fn .x / D . 1/n . n.log.n C 1//2 b) D R, fn .x / D x2 d) D R n Z , fn .x / D 1 n2 1 . x2 n x2 x2
nC1
a) D R, fn .x / D e
nD1
nx .
1 n
e) D R n f 1; 1g, fn .x / D f) D RC o , f n .x / D
x . .1 C nx /.1 C nx C x /
505. Estudia la derivabilidad de la funcin de Riemann & W 1; C1! R , denida para todo x > 1 por: 1 X 1 &.x / D : nx
nD1
Justica tambin que lK m &.x / D C1.

x !1
506. Sea f W RC o ! R la funcin denida por: f .x / D

1 X e nx ; 1 C n2
nD0
.x 2 RC o /:
Estudia la derivabilidad de f y justica que para todo x > 0 es: f 00 .x / C f .x / D Prueba que f es continua en RC o que
x !C1
1 1 e
que f no es derivable en 0. P 507. Sea fn una serie de funciones que converge uniformemente en un conjunto A. Sea n X Fn D fk . Prueba que para toda sucesin fxn g de puntos de A se verica que la sucesin fF2n .xn /
k D1
lK m f .x / D 1, y lK m f 0 .x / D 1. Deduce
x !0
Fn .xn /g converge a cero.
623
508. En cada uno de los siguientes ejercicios se especica un conjunto R y, para cada n 2 N , se dene una funcin fn W ! R . Se pide estudiar, haciendo uso de los criterios de P Dirichlet o de Abel, la convergencia puntual y uniforme en de la serie de funciones fn . a) D R; fn .x / D . 1/n . x2 C n b) D 2 ; C1; fn .x / D c) D 0; ; fn .x / D . 1/n . nx C . 1/n
sen.nx / . p n
1 sen.nx / 1 C C . 2 n n x sen.nx / e) D 2; 2; fn .x / D p . 2 n C cos x d) D R; fn .x / D 1 C
P .1 x /x n f) D 0; 1; fn .x / D . Sea an D sup fn .0; 1/. Prubese que la serie an log.n C 1/ no converge. g) D R n f 1g; fn .x / D an P xn , donde la serie an converge. n 1Cx
509. Prueba que la serie
x sen converge uniformemente en subconjuntos acotados de n n n>1 R pero no converge uniformemente en R. X1
Sugerencia. La p condicin uniforme de Cauchy no se satisface en R. Tngase en cuenta que sen x > 2=2 para =4 6 x 6 3=4. Tambin puede hacerse uso del ejercicio 507 con xn D n=2. 510. Sea fan g una sucesin creciente y no mayorada de nmeros reales positivos. Prueba que la funcin f W RC ! R denida para todo x > 0 por: f .x / D es continua y:
C1 0 1 X
. 1/n e
an x
nD0 1 X
f .x / dx D
. 1/n
nD0
1 : an
Aplica lo anterior a los casos particulares an D n C 1, y an D 2n C 1 para obtener las igualdades: 1 1 X X . 1/n . 1/n D log 2 ; D : nC1 2n C 1 4
nD0 nD0
511. Para cada n 2 N sea fn .x / D
x na .1 C nx 2 /
.x 2 R/. Prueba que la serie
fn :
624
a) Converge puntualmente en R si a > 0, y la convergencia es uniforme en semirrectas cerradas que no contienen al cero. b) Converge uniformemente en R si a > 1=2. c) No converge uniformemente en R si 0 < a 6 1=2. Sugerencia. Estudia el comportamiento de fn . Para el apartado c) puede usarse el ejercicio 507. P 512. Prueba que si fan g es una sucesin decreciente de nmeros positivos y an sen.nx / converge uniformemente en 0; 2, entonces la sucesin fnan g converge a cero. Sugerencia. Usar el ejercicio 507, tomando xn D . 4n X x 513. Prueba que la serie . 1/n converge uniformemente en R y calcula su .1 C x 2 /n suma. Calcula tambin
n>0 1 X 1
. 1/
n 0
nD0
x dx . .1 C x 2 /n
P 514. Calcula el radio de convergencia de cada una de las series de potencias an x n , y estudia el comportamiento de la serie en los extremos del intervalo de convergencia, en los siguientes casos: p n n 1 n log.nC1/ cn D 2 ; cn D .n C 1/ ; cn D e 1C n n CnC1 p n! 1 3 5 .2n C 1/ cn D ; cn D a n .a > 0/; cn D 2 4 6 .2n C 2/ .n C 1/n 1 1 1 1 cn D n ; cn D cn D 1 C C C ; 2 n 2 .n C 1/ log.n C 2/ 3 5 .3n C 1/ 1 cn D ; cn D n ; . 2 R/; cn D 5 10 .5n/ 1 C 1=2 C C 1= n 515. Calcula la funcin suma de la serie de potencias X x 2n . n.2n 1/ .n C 1/ x 3n X n.x C 3/n y . 2n 2n
n>1
n>1
516. Calcula la funcin suma de las series de potencias 517. Dado un nmero natural q 2 N , prueba la igualdad
1
n>0
X . 1/n 1 d x D : 1 C xq qn C 1
nD0
Calcula el valor de la suma de las series correspondientes a los valores de q D 1; 2 ; 3. X X n x n por medio 518. Expresa la funcin suma de las series de potencias nx n 1 , y nC1
n>1 n>1
de funciones elementales y calcula el valor de
nD1
1 X
2n .n C
1/
Ejercicios propuestos 519. Calcula el radio de convergencia y la suma de las series: X n3 C n C 3 X n3 X 1 x nI x nI x n: nC1 n! 1 C 2 C C n
n>0 n>1
625
n>0
520. Calcula la funcin suma de la serie de potencias sumas de las series:

n>1
n>1
xn y deduce el valor de las n.2n C 1/
1 n.2n C 1/
n>1
. 1/n : n.2n C 1/
521. Prueba que las funciones denidas por: g .x / D sen x ex 1 ; g.0/ D 1; f .x / D ; f .0/ D 1 x x log.1 C x / cos x 1 ; h.0/ D 1=2 ; '.x / D ; '.0/ D 1 h.x / D 2 x x
son de clase C 1 en su intervalo natural de denicin. 522. Prueba que la funcin f W ; ! R dada por: sen x x f .x / D log sen x x x f .x / 1
1 2 12 x x !0
f .0/ D 1;
es de clase C 1 . Calcula lK m
x4
523. Calcula el desarrollo en serie de potencias centrada en un punto a de la funcin: f .x / D 2x 3 x 2 C 2x 7 : x 4 x 3 3x 2 C x C 2
524. Calcula el desarrollo en serie de potencias centrada en cero de las funciones: 1 ; x 2 C 5x C 6 525. Representa la funcin f W 1Cx : .1 C x 2 /.1 x /2 1Cx , como suma de una 1 x
1; 1! R, dada por f .x / D log
serie de potencias centrada en 0. Utiliza dicha serie para calcular log 2 con ocho cifras decimales exactas. 526. Prueba que: 1 1 2 1 1 1 . 1/nC1 . 1/n C C C C C C D 3 4 5 2n 1 2n 4 1 3 1 4 1 5 . 1/nC1 2n x C x C x C C x 3 4 5 2n 1 1 log 2 2
Sugerencia. Considera la serie de potencias: x 1 2 x 2

1
. 1/n 2n x C 2n
Ejercicios propuestos 527. Justica que la serie de potencias a3nC1 D P

n > 0 an x n,
626 donde para todo n 2 N [ f0g es:
1 1 ; a3nC2 D 0; a3nC3 D ; 3n C 1 3n C 3
converge en 1; 1. Sea f la funcin suma de dicha serie. Calcula la derivada de f , y deduce que para todo x 2 1; 1 es: 1 2x C 1 1 2 : p f .x / D log.1 C x C x / C arctan 2 2 3 Como aplicacin calcula el valor de
1 X
nD0
2 : .3n C 1/.3n C 3/
528. Expresa como suma de una serie de potencias centrada en cero la funcin: f .x / D 1Cx 1 1 2x 1 log p C p arctan p C p : 2 3 3 3 6 3 1 xCx
n>0
Calcula la suma de la serie
Sugerencia. Deriva la funcin dada. 529. Calcula explcitamente el valor de an , n = 0,1,2,... sabiendo que se verica la siguiente relacin de recurrencia: anC2 D 2anC1 an ; a0 D 1; a1 D 3:
. 1/n
1 . 3n C 1
siguiente:
10.41 Estrategia. Las relaciones de recurrencia como la anterior, tambin llamadas ecuaciones en diferencias nitas, se pueden resolver a veces por el mtodo de la fun1 X cin generatriz. Se llama as a la funcin f .x / D an x n . El proceso a seguir es el
nD0
1. Haciendo uso de la relacin de recurrencia dada se puede calcular la funcin generatriz sin conocer el valor de an . 2. Una vez conocida la funcin generatriz se obtiene su desarrollo en serie de potencias centrado en cero. 530. Resolver por el mtodo de la funcin generatriz las siguientes ecuaciones en diferencias nitas: 1. anC2 D 5anC1 6an ; n D 0; 1; 2 ; : : : a0 D 2 ; a1 D 5:
2. bnC2 D bnC1 C bn ; n D 1; 2 ; : : : b1 D 1; b2 D 1:
1 2 531. Para qu nmeros reales se verica que .ex C e x / 6 e x para todo x 2 R? 2 Sugerencia. Expresa dicha desigualdad usando series de potencias.
Ejercicios resueltos 532. Justica que para 1 6 x < 1 se verica que:

x
627
log
0
1 1 t
dt D
nD1
1 X x nC1 : n.n C 1/
Prueba tambin, ya sea por clculo directo o por razones de continuidad, que dicha igualdad es vlida para x D 1. 533. Justica que para 1 < x < 1 se verica la igualdad:
x
X xn 1 1 log dt D : t 1 t n2
nD1
Es dicha igualdad vlida para x D 1? 534. Denamos f W RC o ! R por:

1
f .x / D Prueba que: a) f .0/ D =4, y lK m f .x / D 0.

x !C1
x 2 .1Ct 2 /
1 C t2
dt :
b) Usando un desarrollo en serie para f , prueba que f es derivable en RC y:

1
f 0 .x / D 2x
e
0
x 2 .1Ct 2 /
dt :
c) Justica que para todo x > 0 se verica que:

x
f .x / C
C1 0 x2
e
0
t2
dt
!2
: 4
d) Deduce de lo anterior que
dx D
p . 2
10.5.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 240 Estudia la convergencia uniforme en intervalos de la forma 0; a y a; C1 donde a > 0, de la sucesin de funciones ffn g denidas para todo x > 0 por: f n .x / D
2nx 2 : 1 C n2 x 4
Ejercicios resueltos
628
1 n2 x 4 0 Solucin. Es evidente que lK m ffn .x /g D 0. Como fn .x / D 4nx , tenemos n!1 .1 C n2 x 4 /2 p p p 0 .1= n/ D 0, f 0 .x / > 0 para 0 < x < 1= n y f 0 .x / < 0 para x > 1= n. que fn n n p Deducimos que la funcin fn es estrictamente creciente en 0; 1= n y estrictamente p decreciente en 1= n; C1, por lo que fn alcanza un mximo valor en RC o en el punto p xn D 1= n.
f n .x / D
1
2nx 2 1 C n2 x 4
Dado un nmero a > 0 sea n0 tal que xn0 < a. Para todo n > n0 tenemos que xn < a, y por tanto: ma K x ffn .x / W 0 6 x 6 ag D fn .xn / D 1; ma K x ffn .x / W x > ag D fn .a/
Como lK m ffn .a/g D 0 se sigue que ffn g converge uniformemente en a; C1 pero, evidentemente, no converge uniformemente en 0; a. Ejercicio resuelto 241 Estudia la convergencia uniforme en 0; 1, de la sucesin de funciones ffn g denidas para x 20; 1 por fn .x / D x n log.1=x /, y fn .0/ D 0. 0 .x / D Solucin. Es evidente que lK m ffn .x /gD 0. Como fn n log x C 1 x n 1 tenemos
n!1
0 .x / D 0 si, y slo si, log x D 1= n, es decir, x D e 1= n . Adems f 0 .x / > 0 para que fn n 0 .x / < 0 para e 1= n < x 6 1. Deducimos que la funcin f es 0 < x < e 1= n y f n n estrictamente creciente en 0; e 1= n y estrictamente decreciente en e 1= n ; 1, por lo que fn alcanza un mximo valor en 0; 1 en el punto xn D e 1= n . Por tanto:
ma K xffn .x / W x 20; 1g D fn .e
1= n
/D
1 1 e n
y, deducimos que la sucesin ffn g converge uniformemente en 0; 1.
Ejercicio resuelto 242 Dado 2 R, consideremos la sucesin de funciones ffn g, donde fn W 0; 1 ! R es la funcin denida para todo x 2 0; 1 por: fn .x / D n x .1 x 2 /n :
Para qu valores de hay convergencia uniforme en 0; 1? Para qu valores de hay convergencia uniforme en ; 1, donde 0 < < 1?
629
intervalo 0; 1 la sucesin ffn g converge puntualmente a cero. Tenemos que

0 .x / D n .1 fn
Solucin. Observa que fn .0/ D fn .1/ D 0 y, si 0 < x < 1, la sucesin fn .1 x 2 /n g es de la forma fn n g con 0 < < 1 por lo que lK m ffn .x /g D 0. Por tanto, en el
n!1
x 2 /n
.1
.1 C 2n/x 2 /
1 0 .x / D 0, f 0 .x / > 0 para 0 < x < x y Pongamos xn D p . Entonces fn n n n 1 C 2n 0 .x / < 0 para x < x < 1. Deducimos que la funcin f es estrictamente creciente en fn n n 0; xn y estrictamente decreciente en xn ; 1, por lo que fn alcanza un mximo valor en 0; 1 en el punto xn .
0.50
fn .x / D n 4 x .1 x 2 /n
0.50
fn .x / D n 2 x .1 x 2 /n
0.25
0.25
La sucesin ffn g para D 1=4
La sucesin ffn g para D 1=2
Como
se deduce que lK mffn .xn /gD 0 si, y slo si, < 1=2. Pot tanto, la sucesin ffn g converge uniformemente en 0; 1 si, y slo si, < 1=2. Dado 0 < < 1, sea n0 tal que xn0 < . Para todo n > n0 tenemos que xn < y por tanto ma K xffn .x / W 6 x 6 1g D fn ./ ! 0 por lo que ffn g converge uniformemente en ; 1 para todo 2 R. Ejercicio resuelto 243 Para cada n 2 N sea fn W 0; =2 ! R la funcin dada por: fn .x / D n.cos x /n sen x : Estudia la convergencia puntual de la sucesin de funciones ffn g y la convergencia uniforme en los intervalos 0; a y a; =2 donde 0 < a < =2. Solucin. Es claro que fn .0/ D fn .=2/ D 0 y para 0 < x < =2 la sucesin fn.cos x /n g es de la forma fnn g con 0 < < 1 por lo que lK m ffn .x /gD0. Por tanto, en el intervalo 0; =2 la sucesin ffn g converge puntualmente a cero. Observa tambin que fn .x / > 0 para todo x 2 0; =2. Intentemos calcular el mximo absoluto de fn .x / en 0; =2. Tenemos que:
0 .x / D n.cos x /n fn 1 n!1
f n .x n / D p 1 C 2n
1
1 1 C 2n
n
.cos2 .x /
n sen2 .x //:
630
Sea xn 20; =2 tal que cos2 .xn / n sen2 .xn / D 0. Como fn es positiva y se anula en los extremos del intervalo, es evidente que fn alcanza su mayor valor en 0; =2 en el p punto xn . Observa que xn D arc tg.1= n/ ! 0. Tenemos que: Estudiar la convergencia de esta sucesin no es del todo inmediato. Pongamos fn .xn / D yn zn donde yn D n sen.xn /, zn D .cos.xn //n . Entonces: yn D nxn y como sen.xn / sen.xn / p p D n n arc tg.1= n/ ; xn xn fn .xn / D n.cos.xn //n sen.xn /:
Por otra parte, tenemos que:
sen.xn / ! 1 y n arc tg.1= n/ ! 1, se sigue que yn ! C1 (de hecho, se tiene xn p p que yn es asintticamente equivalente a n, esto es, yn n). log.zn / D n log.cos xn / n.cos.xn / Por tanto zn ! e
1= 2 .
1/ n
1 1 2 1 xn D n arc tg.1= n/ ! : 2 2 2
Dado un nmero 0 < a < =2, sea n0 tal que xn0 < a. Para todo n > n0 tenemos que xn < a. Por tanto, para todo n > n0 es: ma K xffn .x / W 0 6 x 6 ag D fn .xn / ma K xffn .x / W a 6 x 6 =2g D fn .a/:
Deducimos as que fn .xn / D yn zn ! C1.
Como ffn .xn /g no converge a 0 se sigue que ffn g no converge uniformemente en 0; a. Como ffn .a/g ! 0 se sigue que ffn g converge uniformemente en a; =2.
La sucesin fn .x / D n.cos x /n sen x
Hagamos este mismo ejercicio sin calcular el valor mximo de fn , acotando de forma conveniente. Lo primero que nos damos cuenta es de que es muy fcil probar que hay convergencia uniforme en a; =2, pues como la funcin coseno es decreciente en 0; =2 y sen x 6 1, se tiene que: 0 6 fn .x / D n.cos x /nsen x 6 n.cos a/n
631
para todo x 2 a; =2. Puesto que la sucesin fn.cos a/n g ! 0 (es de la forma nn con 0 < < 1) concluimos que hay convergencia uniforme en a; =2. La situacin es distinta en el intervalo 0; a. Podemos sospechar que no hay convergencia uniforme en dicho intervalo. Para ello, tomemos un D 1= n. Tenemos que: fn .1= n/ D n sen.1= n/.cos.1= n//n ; y como fn sen.1= n/g ! 1 y lK m .cos.1= n//n D exp lK m fn.cos.1= n/
obtenemos que ffn .1= n/g ! 1. Como, para todo n > 1=a se verica que 0 < 1= n < a, resulta que: ma K x ffn .x / W 0 6 x 6 ag > fn .1= n/ y concluimos que no hay convergencia uniforme en 0; a. Ejercicio resuelto 244 Para cada n 2 N sea fn W 0; ! R la funcin dada por: f n .x / D sen2.nx / n sen x 0 < x < :
1/g D exp.0/ D 1;
Estudia la convergencia puntual de la sucesin de funciones ffn g as como la convergencia uniforme en intervalos del tipo 0; a, a; y a; b donde 0 < a < b < . Solucin. Evidentemente lK m ffn .x /g D 0. Observa tambin que fn .x / > 0 para todo x 20; . Para estudiar la convergencia uniforme en un intervalo de la forma 0; a tomemos xn D 1= n. Como fn .1= n/ D sen2 .1/ ! sen2 .1/ n sen.1= n/
deducimos que no hay convergencia uniforme en 0; a. Anlogamente, como fn . 1= n/ D sen2 .n 1/ ! sen2 .1/; n sen. 1= n/
deducimos que no hay convergencia uniforme en a; . Finalmente, sea 0 < a < b < . Como sen x > 0 para todo x 2 a; b y por el teorema de Weierstrass sabemos que tiene que haber un punto x0 2 a; b tal que sen x0 6 sen x para todo x 2 a; b , deducimos que: 0 6 f n .x / D y por tanto: ma K x f f n .x / W a 6 x 6 b g 6 1 : n sen.x0 / sen2.nx / 1 6 ; n sen x n sen.x0 /
Ya que, evidentemente, f1= n sen.x0 /g ! 0, concluimos que hay convergencia uniforme en a; b .

632
sen2.nx / La sucesin fn .x / D n sen x
Ejercicio resuelto 245 Estudia la convergencia puntual y uniforme de la sucesin de funciones ffn g donde fn W R ! R est denida por: p n x 2 R: fn .x / D 1 C x 2n Solucin. Para calcular la funcin lmite puntual hay que distinguir dos casos: p n Si jx j < 1, entonces 1 6 1 C x 2n 6 1 C x 2n y por tanto lK m ffn .xn /g D 1. p n m ffn .xn /g D x 2 . Si jx j > 1, entonces x 2 6 1 C x 2n 6 21= n x 2 y por tanto lK La funcin lmite puntual viene dada por: f .x / D lK m ffn .x /g D Tenemos que: Si jx j < 1 es: 0 6 f n .x / Si jx j > 1 es: 0 6 f n .x / p n f .x / D 1 C x 2n f .x / D p n 1 C x 2n 1 6 21= n 1: 1; si jx j < 1 x 2 ; si jx j > 1
x Dx
r
n
1 1 C 2n x
1 :
(10.19)
p Aplicando el teorema del valor medio a la funcin h.t / D n 1 C t en el intervalo 0; s h.s / h.0/ obtenemos que D h 0 .c / donde c es algn punto del intervalo 0; s . Como: s 1 h 0 .c / D .1 C c /1= n n se sigue que h.s / r
n
1 6 ; n
1 s h.0/ D sh 0 .c / 6 . Tomando s D 2n resulta que n x 1C 1 x 2n 1 D h.1=x 2n / h.0/ 6 1 1 6 nx 2n nx 2

Ejercicios resueltos 1 f .x / 6 . n 1 1; n !0
633
Deducimos ahora de (10.19) que 0 6 fn .x / Finalmente: ma K x fjfn .x /
f .x /j W x 2 Rg 6 ma K x 21= n
Observa que, aunque la convergencia es uniforme y todas las funciones fn son derivables en R, la funcin lmite, f , no es derivable en x D 1. Ejercicio resuelto 246 Estudia la convergencia uniforme en intervalos de la forma 1; a, a; a y a; C1 donde a > 0, de la sucesin de funciones ffn g denidas por fn .x / D n sen.x = n/ para todo x 2 R. Solucin. Denamos la funcin ' W R ! R; '.t / D sen t t .t 0/;
t !0
y concluimos que ffn g converge uniformemente en R.
'.0/ D 1
lmite puntual de la sucesin viene dada por:

n!1
Con ello, tenemos que fn .x / D x '.x = n/ y, como lK m '.t / D 1, deducimos que la funcin f .x / D lK m fn .x / D x .x 2 R/:
Dado a > 0, es fcil comprobar que no hay convergencia uniforme en a; C1, pues para todo n > a se tiene que: ma K x fjf .x / fn .x /j W x > ag > f .n/ fn .n/ D n.1 sen.1// ! C1: 1; a.
Anlogamente se prueba que no hay convergencia uniforme en
Estudiemos si hay convergencia uniforme en a; a. Para todo x 2 a; a tenemos que: jf .x / fn .x /j D jx x '.x = n/j D jx jj1 '.x = n/j 6 aj1 '.x = n/j: Dado " > 0, sea > 0 tal que j1 '.t /j < "=a siempre que jt j < . Tomemos un nmero natural n0 tal que 1= n0 < =a. Entonces, para todo n > n0 y para todo x 2 a; a se tiene que jx = nj 6 a= n 6 a= n0 < , por lo que: jf .x / fn .x /j 6 aj1 '.x = n/j < "; y por tanto, para todo n > n0 es ma K x fjf .x / fn .x /j W x 2 a; ag < ". Hemos probado as que ffn g converge uniformemente en a; a. Ejercicio resuelto 247 Estudia la convergencia uniforme en RC o , de la sucesin de funciones C ffn g denidas para todo x 2 R o por: nCx : fn .x / D arc tg 1 C nx Solucin. Como fn .0/ D arc tg n, y lK m arc tg t D =2, la funcin lmite viene dada t !C1 por: arc tg.1=x /; si x > 0 f .x / D lK m f f n .x /g D =2 ; si x D 0
634
Observa que se trata de una funcin continua en RC o . Estudiemos si hay convergencia C uniforme en R o . Para ello es conveniente conocer el signo de la funcin fn .x / f .x /. Teniendo en cuenta que la funcin arcotangente es inyectiva, se deduce que fn .x / f .x / D 0 si, y slo si, .n C x /=.1 C nx / D 1=x lo que equivale a x D 1 (la otra posibilidad x D 1 se descarta porque suponemos que x > 0). En consecuencia, la funcin fn .x / f .x / debe tener signo constante en cada intervalo 0; 1 y en 1; C1. Como: fn .0/ f .0/ D arc tg n =2 < 0; y
x !C1
lK m .fn .x /
f .x // D arc tg.1= n/ > 0;
se sigue que fn .x /
Estudiemos ahora la derivada de fn .x /

0 .x / fn
f .x / < 0 para x 2 0; 1, y fn .x /
f .x / > 0 para x > 1.
f .x /. Un clculo sencillo nos da:
f 0 .x / D 2
1 C 2nx C x 2 : .1 C x 2 /..1 C n2 /x 2 C 4nx C 1 C n2 /
0 .x / Por tanto fn f 0 .x / > 0 para todo x > 0. En consecuencia fn f es una funcin C creciente en R o . Como f .x / fn .x /; si x 2 0; 1 jfn .x / f .x /j D fn .x / f .x /; si x 2 1; C1
Resulta que la funcin jfn f j es decreciente en 0; 1 y creciente en 1; C1. Concluimos que ( f .x / fn.x / 6 f .0/ fn .0/ D =2 arc tg n; si x 2 0; 1 jfn .x / f .x /jD f .x / f .x / 6 lK m .f . x / f . x // D arc tg . 1 = n /; si x 2 1;C1 n n
x !C1
Por tanto, para todo x > 0, es: jfn .x / f .x /j 6 n D ma K x f=2 arc tg n; arc tg.1= n/g ;
y como fn g ! 0, la sucesin ffn g converge uniformemente en RC o. Ejercicio resuelto 248 Para cada n 2 N sea f n .x / D Prueba que la serie P fn : x na .1 C nx 2 / .x > 0/:
a) Converge puntualmente en RC o si a > 0, y la convergencia es uniforme en semirrectas cerradas que no contienen al cero. b) Converge uniformemente en RC o si a > 1=2. Solucin. a) Como se pide estudiar la convergencia en RC o , consideraremos en lo que X x sigue que x > 0. La serie es de trminos positivos y, para x > 0, na .1 C nx 2 / n>1 tenemos que: x 1 lK m n1Ca a D : 2 n!1 x n .1 C nx /
635
Estudiemos la convergencia uniforme en una semirrecta del tipo ; C1, ( > 0). Como: 1 1 x 2n 0 ; .x / D a fn n .1 C nx 2 /2 p p se deduce fcilmente que fn es creciente en 0; 1= n y decreciente en 1= n; C1. p p Sea n0 2 N tal que 1= n0 < . Para todo n > n0 se tiene que 1= n < por lo que fn es decreciente en ; C1 y, por tanto, fn .x / 6 fn ./ para todo x > . Puesto que, para P a > 0 , la serie fn ./ converge, se sigue, por el criterio de Weierstrass, que la serie P fn converge uniformemente en ; C1. X p 1 1X es convergente (es una b) Si a > 1=2 entonces la serie fn .1= n/ D a C 2 n 1= 2 n>1 n>1 serie de Riemann con exponente a C 1=2 > 1). Como paraP todo x > 0 se tiene que fn .x / 6 p fn .1= n/, el criterio de Weierstrass implica que la serie fn converge uniformemente en RC o. Ejercicio P resuelto 249 Estudia la convergencia puntual y uniforme de la serie de funciones fn donde, fn W R ! R es la funcin dada por: f n .x / D x 1 C n2 x 2 n D 0; 1; 2 ; : : :
1 X
Por el criterio lmite de comparacin (o por el criterio de Prinsheim, como se preera), se sigue que la serie converge si, y slo, si 1 C a > 1, es decir a > 0.
Sea F .x / D
Sugerencia. Para x > 0 se tiene que

k C1 k
nD0
fn .x /, la funcin suma de la serie. Calcula lK m F .x / y lK m F .x /.

x !0 x<0 x !0 x >0
x dt 6 fk .x / D 1 C t 2x 2
k C1 k
x dt 6 1 C k 2x 2
k 1
x dt 1 C t 2x 2
Solucin. Puesto que, para x 0:

n!1
lK m n2
jx j 1 D ; jx j 1 C n2 x 2
se sigue, por el criterio lmite de comparacin (o por el criterio de Prinsheim, como se X jx j es convergente. Tambin converge, evidentemente, preera) que la serie 1 C n2 x 2 n>1 para x D 0. Para estudiar la convergencia uniforme veamos qu informacin nos da el criterio de Weierstrass. Tenemos que: 1 n2 x 2 0 .x / D fn : .1 C n2 x 2 /2
Deducimos que fn es creciente en 0; 1= n y decreciente en 1= n; C1. Como fn . x / D fnP .x /, deducimos que jfn .x /j 6 fn .1= n/ D 1=2n para todo x 2 R. Como la serie 1=2n no es convergente el criterio de Weierstrass no nos dice nada acerca de
636
la convergencia uniforme de la serie en todo R (observa que el criterio de Weierstrass da condiciones sucientes pero no necesarias para la convergencia uniforme). Sin embargo, dicho criterio s nos proporciona informacin cuando consideramos un conjunto de la forma: A D fx 2 R W jx j > g, donde > 0. Pues, tomando n0 tal que 1= n0 < , para todo n > n0 se tiene que 1= n < , por lo que fn es decrecienteP en ; C1 y, en consecuencia jfn .x /j 6 fn ./ para todo x 2 A . Puesto que la serie fn ./ es convergente, P el criterio de Weierstrass nos dice que fn converge uniformemente en A . La nica duda que queda por resolver es si la serie converge uniformemente en algn intervalo de la forma ; con > 0 (en cuyo caso sera uniformemente convergente en todo R). Pronto saldremos de dudas.
Calculemos los lmites laterales en x D 0 de la funcin suma de la serie. Usando la sugerencia del enunciado tenemos, supuesto x > 0, que
nC1 0
x dt 1 C t 2x2
n k C1 X x x D dt 6 dt D 2 2 1Ct x 1 C k2x2 k D0 k k D0 k n n X X x 6 D f k .x / D x C 1 C k 2x 2 n X k D0
k C1
6x C deducimos que:
k D0 k
n 1 k C1 X
x dt D x C 1 C t 2x 2
k D1
x dt 1 C t 2x 2
arc tg..n C 1/x / 6
k D0
n X
fk .x / 6 x C arc tg.nx /:
Tomando lmites para n ! 1 en esta desigualdad obtenemos =2 6 F .x / 6 =2 C x . Como esta desigualdad es vlida para todo x > 0, se sigue que lK m F .x / D =2. Como
x !0 x>0
F . x / D F .x /, se deduce que lK m F .x / D =2. Por tanto, la funcin F tiene una

x !0 x<0
Fjate en que la funcin F s es continua en Rnf0g. Pues cualquier nmero a 0 podemos meterlo P dentro de un conveniente conjunto A , sin ms que tomar < jaj, y como la serie fn converge uniformemente en A , la funcin suma, F , es continua en A y, por la propiedad local de la continuidad, se sigue que F es continua en a. P Ejercicio resuelto 250 Estudia la convergencia puntual y uniforme de la serie fn donde f n .x / D nnC1 n x e n!
nx
P Como las funciones fn son continuas en R deducimos que la serie fn no puede ser uniformemente convergente en ningn intervalo de la forma ; con > 0 pues, si as ocurriera, la funcin suma habra de ser continua en dicho intervalo y, por tanto sera continua en x D 0 lo que acabamos de probar que no es cierto.
discontinuidad de salto en x D 0.
.x > 0/:
637
P Solucin. Estudiemos la convergencia puntual. Para x > 0 la serie fn .x / es de trminos positivos y podemos aplicar el criterio del cociente. Tenemos que: n C 1 nC1 fnC1 .x / .n C 1/nC2 n! x x e D D x e x ! x e1 x : f n .x / .n C 1/! nnC1 n Consideremos la funcin '.x / D x e1 x . Se tiene que ' 0 .x / D e1 x .1 x / y, fcilmente, se deduce que ' es estrictamente creciente en 0; 1 y estrictamente decreciente en 1; C1. Luego para x > 0, x 1 se tiene que '.x / < '.1/ D 1. Por tanto, el criterio del cociente implica que la serie converge para todo nmero x > 0, x 1. En este caso el criterio del cociente tambin proporciona informacin para x D 1, pues aunque n C 1 nC1 1 fnC1 .1/ D lK m e D1; lK m fn .1/ n
como la sucesin .1 C 1= n/nC1 es decreciente, se tiene que dicho lmite se acerca a 1 por fnC1 .1/ valores mayores que 1, es decir > 1, lo que claramente implica que ffn .1/g no f n .1 / P converge a cero y, por tanto, la serie fn .1/ no converge por no cumplir la condicin necesaria bsica de convergencia para series. Estudiemos la convergencia uniforme. Tenemos que:
0 .x / D fn
nnC1 n nx n!
nx
.1
x /:
Y, al igual que antes, se sigue que fn es estrictamente creciente en 0; 1 y estrictamente decreciente en 1; C1. Dado > 1, para todo x > es fn .x / 6 fn ./ P y como la P serie fn ./ es convergente, deducimos, por el criterio de Weierstrass, que fn converge uniformemente en ; C1. Anlogamente se comprueba que hay convergencia uniforme en intervalos de la forma 0; donde 0 < < 1. Ejercicio resuelto 251 En cada uno de los siguientes ejercicios se especica un conjunto R y, para cada n 2 N , se dene una funcin fn W ! R . Se pide estudiar la convergencia puntual en de la sucesin de funciones, ffn g, as como la convergencia uniforme en los conjuntos A que se indican en cada caso.
2 n a) D0; 2 ; fn .x / D n .tg x / .1 C cos 4x /; A D 0; a; A D a; 4 ; 0 < a < 4 : x n b) D R; fn .x / D 1 C ; A D a; b ; a < b: n x ; AD 1; a; A D a; C1; a > 1: c) D 1; C1; fn .x / D n log 1 C n
Solucin. a) Se tiene que fn .0/ D 0 y fn .=4/ D 0 para todo n 2 N . Si 0 < x < =4 entonces ffn .x /g ! 0 porque es una sucesin de la forma n2 n donde 0 < D tg x < 1. Para =4 < x < =2 la sucesin ffn .x /g ! C1. El campo de convergencia puntual es C D 0; =4 y la funcin lmite puntual es la funcin nula. Sea 0 < a < =4. Como la tangente es creciente en 0; 2 , tenemos que: sup fjfn .x /j W x 2 0; ag 6 2n2 .tg a/n
638
y, como f2n2 .tg a/n g ! 0, concluimos que hay convergencia uniforme en 0; a. Hay 1 que sospechar que no hay convergencia uniforme en a; =4. Para ello sea xn D 4 n y pongamos un D tg.xn /, vn D n. Tenemos que fun g ! 1 y vn ! C1. Tenemos que: vn .un 1/ D n tg.xn / 1 D tg.xn /
1 n
tg.xn / xn
1
4
tg x 1 D 2 porque es la derivada de la tangente en x! 4 x n 4 x D =4. Deducimos que tg.xn / ! e 2 lo que implica que fn .xn / ! C1. Como fxn g ! =4 y 0 < x n < =4, dado a con 0 < a < =4 hay un n0 2 N tal que a < xn < =4 para todo n > n0 . Por tanto, para n > n0 se tiene que: Donde hemos usado que lK m sup fjfn .x /j W x 2 a; =4g > fn .xn / y concluimos que no hay convergencia uniforme en a; 4 . b) La funcin lmite puntual viene dada por: f .x / D lK m fn .x / D ex :
n!1
la continuidad de la exponencial en 0 hay un 1 > 0 tal que para juj < 1 se verica que j1 eu j < " e . Por la continuidad de ' en 0 hay un nmero 2 > 0 tal que para < 2 . Entonces jt j < 2 se verica que j'.t / 1j < 1 = . Tomemos n1 > n0 tal que n 1 para todo x 2 ; y para todo n > n1 se tiene que: jx j 1 < 2 j1 '.x = n/j < x '.x = n/ 1 < 1 n x n 1 exp x .'.x = n/ 1/ < " e ex 1C < ": n
log.1 C t / ; t > 1; '.0/ D 1: t Se verica que lK m '.t / D 1 por lo que ' es una funcin continua. Dado " > 0, por '.t / D
t !1
El campo de convergencia puntual es R y la funcin lmite es la funcin exponencial. Probaremos que hay convergencia uniforme en todo intervalo de la forma ; donde > 0. Dado > 0, sea n0 2 N tal que n0 > . Para todo x 2 ; y para todo n > n0 se tiene que x 1; 1, luego 1 C x n 2 n ; n n > 0. En lo que sigue supondremos que x 2 ; y n > n0 . x n x 1C e D ex 1 exp x .'.x = n/ 1/ 6 e 1 exp x .'.x = n/ 1/ : n Donde:
Lo que prueba que para todo > 0 hay convergencia uniforme en ; y, por tanto hay convergencia uniforme en todo intervalo acotado. c) Tenemos que para todo x 2 R: x lK m n log 1 C D x: n!1 n
639
En el ejercicio se supone que x > 1 para que todas las funciones fn estn denidas en el intervalo 1; C1. Por tanto, el campo de convergencia puntual es 1; C1 y la funcin lmite puntual es la funcin identidad f .x / D x . Denamos hn .x / D x fn .x /. Tenemos que: 1 n x D h 0 .x / D 1 n n x D 1 1C n nCx nCx
0 Deducimos que h0 n .x / < 0 para 1 < x < 0 y hn .x / > 0 para x > 0. Por tanto hn tiene en el intervalo 1; C1 un mnimo absoluto en x D 0, por lo que hn .x / > hn .0/ D 0. Observa que, para n > 2, hn . 1/ est denido y las funciones hn son continuas en 1; C1. Como hn decrece en 1; 0 y crece en 0; C1 , para todo n > 2 y todo a > 1 se tiene que:
ma K x fjhn .x /j W 1 6 x 6 ag D ma K x fhn . 1/; hn .a/g ! 0: Por tanto hay convergencia uniforme en hn .n/ D n 1; a. Por otra parte se tiene que: log 2/ ! C1:
n log 2 D n.1
Lo que implica que no hay convergencia uniforme en ningn intervalo de la forma a; C1. Ejercicio resuelto 252 Sea f W RC o ! R una funcin continua, no idnticamente nula con lK m f .x / D 0, f .0/ D 0. Sean ffn g y fgn g las sucesiones de funciones denidas por fn .x / D f .nx /, gn .x / D f .x = n/, para todo x 2 RC o y todo n 2 N . Prueba que:
x !C1
a) ffn g y fgn g convergen puntualmente a cero en RC o pero la convergencia no es uniforme en RC . o b) La sucesin ffn gn g converge uniformemente a cero en RC o.
Solucin. El apartado a) es inmediato. Haremos el apartado b). Observa que en las hiptesis hechas para f la funcin jf j est acotada, de hecho alcanza un mximo absoluto en RC o . Sea M > 1 tal que jf .x /j 6 M . Dado " > 0, por hiptesis hay nmeros 0 < a < b tales que para 0 6 x 6 a y para x > b se verica que jf .x /j 6 "=M . Sea n0 2 N tal que b = n0 < a. Para todo n > n0 y para todo x 2 a; b se tiene que x = n < a y por " tanto jgn .x /j < "=M , lo que implica que jfn .x /gn .x /j D jfn .x /jjgn .x /j 6 M M D ". Si 0 6 x 6 a entonces tambin 0 6 x = n 6 a y si b 6 x tambin es b 6 nx , en cualquier caso, se sigue que jfn .x /gn .x /j < ". Por tanto, para todo n > n0 y para todo x 2 R es jfn .x /gn .x /j < ", lo que prueba que la convergencia es uniforme en R. 10.42 Observacin. El producto de dos sucesiones de funciones uniformemente convergentes puede no ser uniformemente convergente. Considera el ejmplo trivial en que las sucesiones son fn .x / D 1= n (una sucesin de funciones constantes que converge uniformemente a cero en R) y gn .x / D x (una sucesin constante, formada por una sola funcin, que evidentemente converge uniformemente a dicha funcin en R). El producto es la sucesin de funciones fn .x /gn .x / D x = n que converge puntualmente a cero pero la convergencia no es uniforme en R. El ejercicio anterior proporciona un ejemplo de dos sucesiones de funciones que no convergen uniformemente y cuyo producto converge uniformemente.
640
Puedes probar como fcil ejercicio que si ffn g converge uniformemente a f en un conjunto A, y g es una funcin acotada en A entonces la sucesin fgfn g converge uniformemente a gf en A. Ejercicio resuelto 253 Sea f W R ! R una funcin de clase C 1 e I D a; b un intervalo cerrado y acotado. a) Prueba que para todo " > 0 sean x ; y 2 I con existe > 0 tal que cualesquiera f .x / f .y / 0 < jx y j < se verica que f 0 .y / 6 ". x y b) Para cada n 2 N denamos: n f n .x / D 2 Justica que
0g ff n
1 xC n
f .t / dt
x
1 n
.x 2 R/:
converge uniformemente a f 0 en I .
Solucin. El apartado a) es consecuencia fcil de la continuidad uniforme de f 0 en a; b y del teorema del valor medio. Haremos el apartado b). Tenemos que: 1 1 f x n 1 f x C n 1 0 f xC D fn .x / D 2n f x C : 1 n n x 1 x n n Ahora basta escribir: 1 0 f xCn 0 f .x / f .x / 6 n xC1 n f x x
1 n 1 n
0g y usando el apartado a) y la continuidad uniforme de f 0 en a; b se sigue que ffn converge uniformemente a f 0 en a; b .
f x
0
1 n
0 f x C
1 n
0 .x /
Ejercicio resuelto 254 Supongamos que f es una funcin continua en a; b y que para todo n 2 N [ f0g se verica que:
b a
x nf .x / dx D 0:
Sugerencia. Usa el teorema de aproximacin de Weierstrass. Solucin. La hiptesis hecha implica que para toda funcin polinmica p .x / se verica
b
Prueba que f .x / D 0 para todo x 2 a; b .
que
a
p .x /f .x / dx D 0. Por el teorema de aproximacin de Weierstrass hay una suce-
sin fpn g de funciones polinmicas que converge uniformemente e f en a; b . Como f es continua, est acotada en a; b por lo que la sucesin fpn f g converge uniformemente a f 2 en a; b . Por tanto:
b a b b n!1
f 2 .x / dx D
lK m pn .x /f .x / dx D lK m
n!1
pn .x /f .x / dx D 0:
Como f 2 es continua y positiva, deducimos que para todo x 2 a; b debe ser f 2 .x / D 0, esto es, f .x / D 0.
641
Ejercicio resuelto 255 Sea ffn g una sucesin de funciones que converge uniformemente a una funcin f en un intervalo a; C1. Supongamos que, para cada n 2 N , existe lK m fn .x / D an 2 R. Prueba que la sucesin fan g es convergente y que f tiene lmite
x !C1
en C1, siendo
Dado " > 0, hay un n0 2 N tal que para todo n> n0 y para todo x > a es jf .x / "=3 y tambin jan aj < "=3. Pongamos: jf.x / aj 6 f .x / fn0 .x / C fn0 .x / an0 C an0
Solucin. Dado " > 0, por la condicin de Cauchy para la convergencia uniforme, existe n0 2 N tal que para todos n; m > n0 y para todo x > a se tiene que jfn .x / fm .x /j 6 ". Tomando lmites en esta desigualdad para x ! C1 se deduce que jan am j 6 ". Por tanto la sucesin fan g cumple la condicin de Cauchy y, por tanto, es convergente. Sea a D lK mfan g.
Sugerencia. La condicin de Cauchy permite probar la convergencia de fan g.
x !C1
lK m f .x / D lK m f an g .
n!1
fn .x /j < an0 :
Como lK m fn0 .x / D an0 , existe K > a tal que para todo x > K se verica que x !C1 fn .x / an < "=3. Concluimos, a la vista de la anterior desigualdad, que para todo 0 0 x > K se verica que jf .x / aj < ". Hemos probado as que lK m f . x / D a.
x !C1
2" a < C f n 0 .x / 3
Ejercicio resuelto 256 En cada uno de los siguientes ejercicios se especica un conjunto R y, para cada n 2 N , se dene una funcin fn W ! R P. Se pide estudiar, en cada caso, la convergencia puntual en de la serie de funciones, fn , y la continuidad de la 1 X funcin suma F D fn . 1 . x2 C n n x2 . c) D R n f 1; 1g, fn .x / D nC1 1 x2 Solucin. a) Se trata de una serie geomtrica de razn e x , por tanto, dicha serie converge si, y slo si, e x < 1, esto es, x > 0. El campo de convergencia puntual es RC . En este caso podemos calcular la funcin suma de la serie: b) D R, fn .x / D 1 n F .x / D
1 X
a) D R, fn .x / D e
nD1
nx .
nx
nD1
e 1
x > 0:
Es una funcin continua en RC . Este resultado tambin puede obtenerse sin necesidad de calcular la funcin suma. Para ello, observamos que la serie converge uniformemente en semirrectas de la forma a; C1 donde a > 0, pues para todo x > a se verica P que e nx 6e na y, como la serie e na es convergente, el criterio de convergencia uniforme de Weierstrass nos dice que la serie converge uniformemente en toda semirrecta del tipo a; C1 con a > 0 y, en consecuencia, como es una serie de funciones continuas,
642
la funcin suma es continua en toda semirrecta del tipo indicado. Por el carcter local de la continuidad, concluimos que la funcin suma es continua en RC . b) Sea a > 0. Para todo x 2 a; a se tiene que: f n .x / D 1 n x2 x 2 a2 1 D 6 6 2: x2 C n n.x 2 C n/ n2 n
c) Sea 0 < a < 1. Para a 6 x < a se tiene que 0 6 x 2 06 Como la sucesin fa2 que:
nC1
P 1 es convergente, deducimos por el criterio de convergencia uniforme Como la serie n2 de Weierstrass, que la serie converge uniformemente en todo intervalo del tipo a; a y, por tanto, en todo intervalo acotado. Deducimos tambin que el campo de convergencia puntual es todo R y que la funcin suma es continua en R. 1 Observa que lK m fn .x / D . Esto nos dice que no hay convergencia uniforme en x !C1 n semirrectas de la forma a; C1, porque el resultado visto el ejercicio resuelto 255 P en 1 implica que, si hubiera convergencia uniforme, la serie n debera ser convergente, cosa que no es cierto.
nC1
6 a2
nC1
lo que implica que:
x2 1
n nC1
x2
a2 1
n nC1
a2
:
nC1
g es decreciente, se tiene que 1 a2 06 x2 1

n
>1 a4 > 0 y deducimos
x 2n C 1
a2 1
a4
P 2n n Como a2 6 a2n y la serie a es convergente por ser una serie de razn Pgeomtrica n 0 < a2 < 1, se sigue, por el criterio de comparacin, que la serie a2 es convergente. El criterio de convergencia uniforme de Weierstrass implica que la serie dada converge uniformemente en a; a. Deducimos que la serie converge puntualmente en 1; 1 y que la funcin suma es continua en dicho intervalo. Anlogamente, usando que fn .1=x / D fn .x /, se prueba que la serie converge uniformemente en conjuntos de la forma fx 2 R W jx j > ag donde a > 1. Por tanto el campo de convergencia puntual es todo y la funcin suma es continua en . P Ejercicio resuelto 257 Sea fn una serie de funciones que converge uniformemente en un n X conjunto A. Sea Fn D fk . Prueba que para toda sucesin fxn g de puntos de A se Solucin. Dado " > 0, por la condicin da Cauchy para la convergencia uniforme, hay un n0 2 N tal que para todos q > n > n0 y para todo x 2 A se verica que Fq .x / Fn .x / 6 ". Haciendo en esta desigualdad q D 2n resulta que para todo x 2 A es jF2n .x / Fn .x /j 6 ". En particular para x D xn 2 A se tiene que jF2n .xn / Fn .xn /j 6 ", desigualdad que es vlida para todo n > n0 . Ejercicio resuelto 258 En cada uno de los siguientes ejercicios se especica un conjunto R y, para cada n 2 N , se dene una funcin fn W ! R . Se pide estudiar, haciendo
verica que la sucesin fF2n .xn /
k D1
Fn .xn /g converge a cero.
643
uso de los criterios de Dirichlet o de Abel, la convergencia puntual y uniforme en de P la serie de funciones fn . a) D R; fn .x / D . 1/n . x2 C n b) D 2 ; C1; fn .x / D c) D 0; ; fn .x / D . 1/n . nx C . 1/n
sen.nx / . p n
1 . Para cada x 2 R la sucesin ffn .x /g es monx2 C n 1 tona decreciente. Adems como para todo x 2 R es 0 < gn .x / 6 n , se verica que fgn g converge uniformemente P a cero en R. El criterio de convergencia uniforme de Leibniz nos dice que la serie fn converge uniformemente en R. Observa que no hay convergencia absoluta en ningn punto. Solucin. a) Pongamos gn .x / D b) Pongamos: . 1/n nx . 1/n nx . 1/n D . 1/n 2 2 f n .x / D D n 2 2 nx C . 1/ n x 1 n x 1 1 n2 x 2 1 :
1 1 Como para todo n 2 N y todo x > 2 se verica que 0 < 2 2 6 y n x 1 4n2 1 P 1 es convergente, se sigue, por el criterio de Weierstrass que la serie la serie 4n2 1 X 1 converge uniformemente en R. n2 x 2 1 n
n>1
Pongamos gn .x / D
nx
n2 x 2
. Se comprueba enseguida que gnC1 .x / 6 gn .x /. Adems:

0 .x / D gn
n C x 2 n3 .n2 x 2 1/2
Por lo que gn es decreciente. En consecuencia, para todo x > 2 se verica que 0 < gn .x / 6 gn .2/. Puesto que fgn .2/g ! 0, deducimos que la sucesin fgn g converge uniformemente aP cero en 2 ; C1. El criterio de convergencia uniforme de Leibniz nos dice que la serie . 1/n gn converge uniformemente en 2 ; C1. P Hemos probado as que fn es la suma de dos series uniformemente convergentes en 2 ; C1 y, por tanto, ella misma es uniformemente convergente en dicho intervalo. Observa que no hay convergencia absoluta en ningn punto del intervalo. p c) Como la sucesin f1= ng es decreciente y converge a 0, parece apropiado aplicar el criterio de Dirichlet. Hemos visto en el ejercicio resuelto 42 que: nC1 sen x n n X 2 x Gn . x / D sen.kx / D sen x 2 sen k D1 2 1 . El Por lo que, para cada 0 < x 6 y para todo n 2 N se verica que jGn .x /j 6 sen.x =2/ P criterio de Dirichlet 9.43 nos dice que la serie fn .x / es convergente. Puesto que para
644
x D 0 la serie es trivialmente convergente, concluimos que el campo de convergencia puntual en 0; . Supongamos que 0 < a < . Entonces como la funcin seno es positiva y creciente en 0; =2 se vericar que 0 < sen.a=2/ 6 sen.x =2/ para todo x 2 a; . Resulta as que: 1 jGn .x /j 6 : sen.a=2/ Desigualdad que es vlida para todo n 2 N y para todo x 2 a; . Por tanto, la sucesin f Gn g P est uniformemente acotada en a; . El criterio de Dirichlet 10.13 nos dice que la serie fn converge uniformemente en a; . Queda por estudiar si hay convergencia uniforme en 0; a donde 0 < a < . Observamos que: 1 sen nC n nC1 ! C1: Gn .2 = n/ D sen.1/ n sen.1/ sen 1 n sen n
Esto nos indica que no va a haber convergencia uniforme en 0; a. De hecho, podemos usar el resultado del ejercicio resuelto 257 con xn D 2 = n. Observa que xn 2 0; a para todo n sucientemente grande. Tenemos que: 2n C 1 nC1 G2n .xn / Gn .xn / n sen.2/ sen sen.1/ sen ! C1: n n Lo que implica, por el citado ejercicio, que no hay convergencia uniforme en 0; a.
259 Calcula el radio de convergencia de cada una de las series de potenEjercicio resuelto P n cias cn x , y estudia el comportamiento de la serie en los extremos del intervalo de convergencia, en los siguientes casos: p n 1 n n log.nC1/ ; b / cn D .n C 1/ ; c / cn D e 1C a/ cn D 2 n n CnC1 p 1 3 5 .2n C 1/ n! n ; e / cn D a .a > 0/; d / cn D f / cn D 2 4 6 .2n C 2/ .n C 1/n Solucin. a) Aplicando el criterio del cociente o de la raz es muy fcil probar que cnC1 p ! 1 o que n cn ! 1. Por tanto el radio de convergencia es 1. Como cn > 0 cn P 1 la serie cn x n no converge para x D 1. Se comprueba fcilmente que para y cn n n > 5 es cnC1 < cn y como, adems, fcn g ! 0. el criterio de Leibniz implica que la serie P cn x n converge para x D 1. b) El criterio de la raz nos da: q
n
! q 2 . log n / n .n C 1/log n D exp .log n/2 D exp ! exp.0/ D 1: n 1
Por tanto, el radio de convergencia es 1. No hay convergencia en 1 ni tampoco en porque fcn g no converge a 0.
c) No es inmediato en este caso aplicar el criterio del cociente ni el de la raz. Pero sabemos que: 1 e .1 C x / x e lK m D : x 2 x !0
645
1 e Por tanto e .1 C xn / xn xn siempre que fxn g ! 0. En particular, tenemos que: 2 1 n e1 cn D e 1C : n 2n
10.25, se sigue que la serie dada tiene el mismo Por tanto, recordando las observaciones Pe1 n radio de convergencia que la serie 2 n x . Pero esta serie tiene, evidentemente, radio e1 de convergencia R D 1. Para x D 1 la serie dada no converge porque 0 < cn 2 n y se el criterio lmite de comparacin con la serie armnica. Para x D 1 la serie P aplica . 1/n cn es una serie alternada y fcn g es decreciente y convergente a 0, luego dicha serie converge en virtud del criterio de Leibniz. d) Se aplica el criterio del cociente. cnC1 2n C 3 D cn D ! 1: cn 2n C 4 El radio de convergencia es R D 1. Para estudiar la convergencia para x D 1 se aplica el criterio de Raabe y para x D 1 el criterio de Leibniz. f) Aplicamos el criterio del cociente. .n C 1/! .n C 1/n cnC1 D D cn n! .n C 2/nC1 nC1 nC2 nC1 D 1 1 nC2 nC1 ! 1 : e
El radio de convergencia es R D e. La serie no converge para x D e porque la sucesin fcn en n g no converge a cero. De hecho, usando la frmula de Stirling (8.26) se tiene que: p n 2 n nn e n n p n n! n n e e D 2 n cn e D ! C1: .n C 1/n .n C 1/n nC1 x 2n . n.2n 1/
Ejercicio resuelto 260 Calcula la funcin suma de la serie de potencias
n>1
Solucin. Empezamos viendo para qu valores de x la serie dada converge absolutaX jx j2n mente. Para ello, aplicamos el criterio del cociente a la serie . Pongamos n.2n 1/
n>1
jx j2n . Puesto que: an D n.2n 1/
anC1 n.2n 1/ jx j2.nC1/ n.2n 1/ D jx j2 D ! jx j2 ; 2n an .n C 1/.2n C 1/ jx j .n C 1/.2n C 1/ deducimos que la serie dada converge absolutamente si jx j2 < 1, es decir, si jx j < 1. Deducimos as que 1; 1 es el intervalo de convergencia de la serie. Sea f W 1; 1! R la funcin suma de la serie: f .x / D
1 X
nD1
x 2n n.2n 1/
1 < x < 1:
646
Recuerda que las series de potencias pueden derivarse e integrarse trmino a trmino en su intervalo de convergencia. Por tanto, para 1 < x < 1 tenemos que: f
0 .x / D 1 X x 2n 1 2 2n 1
f 00 .x / D
nD1 1 X
2x 2n
nD1
nD0
1 X
2 .x 2 /n D
2 1 x2
Puesto que f .0/ D f 0 .0/ D 0, deducimos que:

x
f 0 .x / D Por tanto:
x
2 1 t2
dt D log.1 C x /
log.1
x /:
f .x /D .log.1Ct / log.1 t // dt D.1Cx / log.1Cx /C.1 x / log.1 x /

0
.x 2 1; 1/: x 3n .n C 1/ n y 2
Ejercicio resuelto 261 Calcula la funcin suma de las series de potencias X n.x C 3/n . 2n f .t / D Tenemos que: tf
0 .t /
n>0
n>1
Solucin. Sea
1 1 t t
nD0 1 X
1 X
tn
. 1 < t < 1/:
.1
t /2
nt n
. 1 < t < 1/:
nD0
Haciendo en estas igualdades t D x 3 =2, supuesto que 1 < x 3 =2 < 1, deducimos que: !n 1 !n 1 1 X X x 3 =2 4 1 x3 x 3n X x 3 C D C n D .n C 1/ n D 2 2 2 1 x 3 =2 .1 x 3 =2/2 .x 3 2/2
nD0 nD1 1 X n.x C 3/n
nD1
Anlogamente, haciendo t D .x C 3/=2, supuesto que 1 < .x C 3/=2 < 1, obtenemos: 2n D 1 X xC3 xC3 n 3Cx n D D 2 : 2 2.1 C .x C 3/=2/2 .5 C x /2
nD1
nD1
Ejercicio resuelto 262 Dado un nmero natural q 2 N , prueba la igualdad:

1
X . 1/n 1 : d x D 1 C xq qn C 1
nD0
647
Calcula el valor de la suma de las series correspondientes a los valores de q D 1; 2 ; 3. Solucin. Podemos hacer este ejercicio directamente, con un sencillo clculo. Como sigue a continuacin. En la igualdad:
n X
hagamos u D
xq
k D0
. 1/k uk D
. 1/nC1 unC1 ; 1Cu
para obtener:
n X
k D0
. 1/k x qk D
. 1/nC1 x q nCq : 1 C xq
Integrando esta igualdad en el intervalo 0; 1, obtenemos

1
X . 1/k 1 d x D C 1 C xq qk C 1
k D0
. 1/nC1 x q nCq dx : 1 C xq
obtenemos la igualdad:
Tomando ahora lmites para n ! 1, y teniendo en cuenta que: 1 1 1 . 1/nC1 x q nCq . 1/nC1 x q nCq 1 6 d x ; d x 6 x q nCq dx D q q 1Cx 1Cx qn C q C 1
0 0 0 1 0
X . 1/n 1 d x D : 1 C xq qn C 1
nD0 1
Finalmente
0 1
X . 1/n 1 dx D log 2 D 1Cx nC1

1 X 1 . 1/n d x D D 4 2n C 1 1 C x2 nD0 nD0
0 1
log 2 X . 1/n 1 d x D p C D 3 3n C 1 1 C x3 3 3 nD0 X 1 D . 1/n .x q /n 1 C xq

nD0 1
Tambin podemos hacer este ejercicio teniendo en cuenta que: .jx j < 1/:
Como las series de potencias pueden integrarse trmino a trmino en su intervalo de convergencia, se sigue que para todo 0 < t < 1 es
t
X 1 d x D . 1/n 1 C xq
nD0
x
0
qn
dx D
nD0
1 X
. 1/n
t q nC1 qn C 1
648 t q nC1 , es una serie de potencias cuyo intervalo de convergenqn C 1
Ahora, la serie
n>0
cia es 1; 1 y que, en virtud del criterio de Leibniz para series alternadas, converge para t D 1. En consecuencia, por el teorema de Abel, se verica que dicha serie converge uniformemente en 0; 1 y por tanto lK m
1 X
. 1/n
t !1 t < 1 nD0
. 1/n
X 1 t q nC1 D . 1/n : qn C 1 qn C 1
nD0 1
Como, evidentemente, se verica que

t t !1
lK m
1 dx D 1 C xq
1
1 dx 1 C xq
Deducimos que
1
X 1 1 : dx D . 1/n q 1Cx qn C 1
nD0
n>1
Ejercicio resuelto 263 Expresa la funcin suma de las series de potencias X
n>1
1 X n n x n por medio de funciones elementales y calcula el valor de . nC1 2n .n C 1/
nx n
, y
Solucin. Sea f .x / D
1 1 x
D 1
nD0
1 X
nD1
x n , donde 1 < x < 1. Entonces

1 X
f 0 .x / D Tambin
.1
x /2
nx n
. 1 < x < 1/:
nD1
x .1 x /2
Integrando esta igualdad obtenemos:

x
nD1
1 X
nx n
. 1 < x < 1/:
t .1 t/
dx D 2
x 1 x
C log.1
x/ D
nD1
1 X
n x nC1 nC1
. 1 < x < 1/:
Deducimos que:
1 X
nD1
n 1 log.1 x / xn D C nC1 1 x x
1 2
. 1 < x < 1/:
En particular, haciendo x D
resulta que
nD1
1 X
n 2n .n C 1/
D2
2 log 2 :
Ejercicios resueltos Ejercicio resuelto 264 Calcula el radio de convergencia y la suma de las series: X n3 C n C 3 X n3 X 1 x nI x nI x n: nC1 n! 1 C 2 C C n
n>0 n>1
649
n>0
Solucin. Cualquier serie de potencias del tipo R.n/x n donde R.n/ es una funcin P .n/ racional de n, es decir, R.n/ D donde P y Q son funciones polinmicas, tiene Q.n/ radio de convergencia 1. Pues: P R.n C 1/ P .n C 1/Q.n/ D R.n/ P .n/Q.n C 1/ es cociente de dos funciones polinmicas en n que tienen el mismo grado y el mismo coeciente lder, luego su lmite para n ! 1 es igual a 1. P P .n/ n Cualquier serie de potencias del tipo x donde P .n/ es una funcin polinmica, n! tiene radio de convergencia innito. Pues: P .n C 1/ 1 P .n C 1/ n! D ; .n C 1/! P .n/ P .n/ n C 1 y basta notar que, evidentemente, lK m P .n C 1/=P .n/ D 1. Teniendo en cuenta que 1 C 2 C C n D n.n C 1/=2 se sigue que las series primera y tercera tienen radio de convergencia 1 y la segunda serie tiene radio de convergencia C1. X n3 C n C 3 Para calcular la suma de la serie x n lo ms fcil es expresar n3 C n C 3 nC1
n>0 n!1
en potencias de n C 1. Para ello basta expresar el polinomio P .x / D x 3 C x C 3 por medio de su desarrollo de Taylor centrado en x D 1. Como P . x / D P .x / la derivada segunda de P en x D 0 es cero. Tenemos as que:
x 3 C x C 3 D P . 1/ C P 0 . 1/.x C 1/ C Luego
1 3 X n CnC3
P 000 . 1/ .x C 1/3 D 1 C 4.x C 1/ C .x C 1/3 : 3!
nD0
nC1 P
x D
nD0
1 X
1 1 X X xn 1 2 n C 4 C .n C 1/ x D C .n2 C2nC5/x n : nC1 nC1

nD0 nD0
La serie x n =.n C 1/ se obtiene integrando la serie geomtrica x , de donde se sigue que

1 X xn D nC1
x n y dividiendo por
nD0
log.1 x / x
. 1 < x < 1/:
P La suma de la serie .n2 C 2n C 5/x n puede calcularse tambin derivando dos veces la serie geomtrica. Seguiremos el procedimiento general para sumar series aritmtico P geomtricas, es decir, series del tipo Q.n/x n donde Q.n/ es un polinomio en n.
650
En nuestro caso Q.n/ D n2 C 2n C 5. Observa que Q.n C 1/ Q.n/ D 3 C 2n, por tanto:
n X
Q.k /x .1
k D0
x/ D D D
k D0 n 1 X
n X
Q.k /x k Q.k C 1/
Q.k /x k C1
Q.n/x nC1 D
k D0
k D0 n 1 X
Q.x / x k C1 C Q.0/ Q.n/x nC1
.3 C 2k /x k C1 C 5
Tomando lmites para n ! 1 en esta igualdad, teniendo en cuenta que para 1 < x < 1 es lK m Q.n/x nC1 D 0, se tiene:
n!1 1 X
nD0
Q.n/x n D D D
5 1 5 1 5 1 x
1 1 x
2x 2 X n 3x C C nx x 1 x .1 x /2
nD1
nD0
1 X
.3 C 2n/x nC1 D
1 1D
2x 2 4x 2 7x C 5 3x C D C x .1 x /2 .1 x /3 .1 x /3
Finalmente
1 3 X n CnC3
nD0
nC1
xn D X
log.1 x / 4x 2 7x C 5 C x .1 x /3
. 1 < x < 1/:
X 2 1 xn D x n puede obtenerse 1 C 2 C C n n.n C 1/ n>1 n>1 muy fcilmente integrando dos veces la serie geomtrica.P Seguiremos otro procedimiento que suele ser efectivo para sumar series de la forma R.n/x n donde R.n/ es una funcin racional de n y que consiste en descomponer R.n/ en elementos simples. En nuestro caso tenemos 2 2 2 R.n/ D D : n.n C 1/ n nC1 La suma de la tercera serie Como
nD1 1 n X x
log.1
1 X
x /, se obtiene fcilmente que:
nD1
2 x n D 2 log.1 n.n C 1/
x/ C 2
log.1
x/ C x : x
Para sumar la serie
n>0
el polinomio como n3 D n.n 1/.n 2/ C An.n 1/ C Bn C C . Identicando coecientes
1 X X n3 1 n x n , usaremos que ex D x . La idea consiste en escribir n! n! nD0
Ejercicios resueltos resulta A D 3; B D 1; C D 0. Por tanto

1 3 X n
651
nD0
n!
xn D
nD0 1 X
1 X n.n
1/.n
1 3/!
nD3
.n
xn
2/ C 3n.n n! 1 X 3
nD2
1/ C n xn C
x nD x .n 1/! x n D .x 3 C 3x 2 C x / ex x n donde P .n/ es un
.n
2/!
nD1
1 X
Este mtodo puede usarse para sumar series del tipo polinomio.
X P .n/ n!
n>1
Ejercicio resuelto 265 Calcula la funcin suma de la serie de potencias deduce el valor de las sumas de las series: X 1 n.2n C 1/ y X . 1/n : n.2n C 1/ X
xn y n.2n C 1/
n>1
n>1
Solucin. Observa que el intervalo de convergencia de la serie
n>1
intervalo 1; 1 y que la serie converge tambin en los extremos del intervalo de convergencia. Sea f W 1; 1 ! R la funcin suma: f .x / D
1 X
1 x n es el n.2n C 1/
nD1
1 xn n.2n C 1/
. 1 6 x 6 1/:
Como consecuencia del teorema de Abel, la funcin f es continua en 1; 1. Nota Observa que puede aplicarse el criterio de Weierstrass en el intervalo 1; 1; lo que justica, sin necesidad de recurrir al teorema de Abel, que la serie converge uniformemente en 1; 1 y, por tanto, la funcin f es continua en 1; 1. Por el teorema de derivacin para funciones denidas por series de potencias, sabemos que la funcin f es indenidamente derivable en el intervalo 1; 1 y f 0 .x / D Por tanto: xf 0 .x / D
0 1 X xn 1 2n C 1 1 X
. 1 < x < 1/:
nD1
nD1
xn 2n C 1
. 1 < x < 1/:
La forma que tiene f nos sugiere considerar la funcin g .x / D

1 X x 2nC1
nD0
2n C 1
. 1 < x < 1/
Ejercicios resueltos que se calcula fcilmente, pues g 0 .x / D Como g.0/ D 0, deducimos que
x 1 X
652
nD0
x 2n D
1 1 x2
g .x / D
1 1 t2
dt D
1 log.1 C x / 2
1 log.1 2
x /:
Ahora relacionaremos f 0 con g. Para 0 < x < 1 tenemos que:

1 p 2nC1 1 p 2nC1 1 X X p X p p p . x/ . x/ xn g. x / D D xC D xC x D 2n C 1 2n C 1 2n C 1 nD0 nD1 nD1 p p D x C x x f 0 .x /:
De donde: f
0 .x /
p g. x / D p x x
1 log.1 C D x
p x / log.1 p 2x x
x/
1 x
.0 < x < 1/:
Integrando por partes se obtiene que una primitiva de f en 0; 1 viene dada por: p p p p x / log.1 x / .1 C x / log.1 C x / .1 .0 < x < 1/: h.x / D p x Deducimos que: f .x / D h.x /
x !0
lK m h.x / D 2 C h.x /
.0 6 x < 1/:
Como f es continua en 1; 1, obtenemos que: f .1/ D

1 X
nD1
1 D lK m f .x / D 2 n.2n C 1/ x!1
x !1
lK m h.x / D 2
2 log 2 :
Consideremos ahora que 1 < x < 0. Tenemos: xf

0 .x / D
jx jf
0.
jx j/ D
nD1
1 X . 1/n jx jn 2n C 1
. 1 < x < 0/:
Consideraremos ahora la funcin '.x / D Como ' 0 .x /

1 X . 1/n 2nC1 x 2n C 1 1 X
. 1 < x < 1/:
nD0
nD0
. 1/n x 2n D
1 ; 1 C x2
Ejercicios resueltos y '.0/ D 0, deducimos que:

x
653
'.x / D
1 dt D 1 C t2
arc tg x :
Al igual que antes deducimos que: p p x arc tg. x/ 0 p f .x / D x x o lo que es igual: f

0.
. 1 < x < 0/;
x/ D
p x
p arc tg. x / p x x
.0 < x < 1/:
Como f 0 . x / es la derivada de la funcin x 7! f . x /, integrando por partes se obtiene que una primitiva de la funcin x 7! f . x / en 0; 1 es: p arc tg. x / p H .x / D 2 C log.1 C x / .0 < x < 1/: x Deducimos que f . x / D H .x /
x !0
lK m H .x / D H .x /
.0 6 x < 1/:
Como f es continua en 1; 1, obtenemos f . 1/ D

1 X
nD1
. 1/n D lK m f . x / D lK m H .x / n.2n C 1/ x!1 x !1
2D
C log 2 2
2:
Ejercicio resuelto 266 Prueba que las funciones denidas por: g .x / D ex 1 sen x ; g.0/ D 1; f .x / D ; f .0/ D 1 x x cos x 1 log.1 C x / ; '.0/ D 1 h.x / D ; h.0/ D 1=2 ; '.x / D x x2
son de clase C 1 en su intervalo natural de denicin. Solucin. 10.43 Estrategia. Para probar que una funcin es de clase C 1 en un intervalo I es suciente probar que dicha funcin es la suma de una serie de potencias convergente en el intervalo I . Las funciones del enunciado responden todas ellas al siguiente modelo. Supongamos que P tenemos una serie de potencias cn .x a/n , con radio de convergencia no nulo. Sea 1 X I el intervalo de convergencia de la serie y sea F W I ! R , F .x / D c n . x a/ n
nD0
654
la funcin suma. En virtud del teorema de derivacin para series de potencias, sabemos que la funcin F es de clase C 1 en I . Sea ahora q 2 N y consideremos la funcin G W I ! R dada por F .x / G .x / D Es evidente que G .x / D
1 X q X
c k .x
a/k ; G.a/ D cqC1 :
.x
k D0
a/qC1
Por tanto, la funcin G es la suma de una serie de potencias en el intervalo I y, por tanto, G es de clase C 1 en I . Teniendo en cuenta que
1 X . 1/n 2n x .x 2 R/ .2n C 1/! nD0 1 X 1 n 1 f .x / D x .x 2 R/ n! nD1 1 X . 1/n 2n 2 x .x 2 R/ h.x / D .2n/! nD1 1 X . 1/n n '.x / D x . 1 < x < 1/ nC1
nD0
cqC1Cn .x
a/ n
x 2 I:
g .x / D
nD0
Se sigue que las funciones g; f; h son de clase C 1 en R y la funcin ' es de clase C 1 en 1; 1. Pero es evidente que ' es de clase C 1 en 1=2 ; C1, luego ' es de clase C 1 en 1; C1. Ejercicio resuelto 267 Prueba que la funcin f W ; ! R dada por: sen x x log ; f .0/ D 1; f .x / D sen x x x es de clase C 1 . Calcula lK m Solucin. Las funciones: f .x /
x !0 1 X
1 x4
1 2 12 x
g .x / D
1 X . 1/n .x h.x / D nC1 nD0
nD0
. 1/n x 2n .2n C 1/! 1/n
.x 2 R/; .jx 1j < 1/
son de clase C 1 en R y en 0; 2 respectivamente. Adems: g .x / D

sen x ; g.0/ D 1I x
h.x / D
log x ; h.1/ D 1: x 1
Ejercicios resueltos Como para todo x 2

x ; , x 0 es 0 < g.x / D sen x < 1, tenemos que: x log sen f .x / D sen x x D h.g.x //; f .0/ D h.g.0// D 1: 1 x
655
Concluimos que f es de clase C 1 en ; por ser composicin de funciones de clase C 1. Pongamos: g .x / Deducimos que:
1 X . 1/n .g .x / f .x / D h.g.x // D nC1 nD0
1D
nD1
1 X
. 1/n 2n x D .2n C 1/!
1 2 1 x C x 4 C '.x /: 3! 5!
1/n D 1
1 .g .x / 2
1 1/ C .g.x / 3
1/2 C .x /;
donde: .x / D .g .x /
1 X . 1/n .g .x / 1/ nC1 3 nD3
1/n
:
1 2 3! x ,
Observa que es continua. Adems, como para x ! 0 es g.x / 1 que .g.x / 1/3 .3!1 x 6 y, por tanto, .x / D o.x 4 / para x ! 0. /3
se verica
Haciendo las operaciones indicadas en la igualdad anterior, calculando solamente los trminos hasta la potencia x 4 , obtenemos: f .x / D 1 C 1 2 x 12 1 11 4 1 1 4 11 4 x C o .x 4 / D 1 C x 2 C x C x C o.x 4 /: 2 5! 3 .3!/2 12 2160 f .x / 1 x4
1 2 12 x
Deducimos que:
x !0
lK m
11 : 2160
Puedes comprobar este resultado calculando el lmite por LHpital.
Ejercicio resuelto 268 Calcula el desarrollo en serie de potencias centrada en a D 4 de la funcin: 2x 3 x 2 C 2x 7 : f .x / D 4 x x 3 3x 2 C x C 2 La funcin que nos dan parece bastante impresionante, pero no es tan era como parece. Es una funcin racional y lo que se hace para obtener su desarrollo en serie de potencias es descomponerla en fracciones simples, algo que ya sabes hacer. Si el denominador solamente tiene races reales es muy sencillo calcular la serie de potencias que nos piden, porque en tal caso las fracciones simples van a ser, salvo constantes, de los dos tipos siguientes: 1 1 ; b/ : a/ x .x /n
656
Las fracciones del tipo a/ pueden desarrollarse en serie de potencias centradas en el punto que queramos a , basta escribir: 1 x D a 1 .x a/ D 1 1 a1
x a a
:
x a a,
Pero la ltima es la suma de una serie geomtrica de razn xfraccin a supuesto que a < 1, se verica que: 1 x D Derivando respecto a x esta igualdad obtenemos: 1 .x /2 D
1 X 1 1 X x a nD0
por tanto,
a n D a
nD0
1 X
1 .x a/nC1
a/ n
jx
aj < j
aj:
Las sucesivas derivadas nos dan el desarrollo en serie de potencias centrado en a de las fracciones del tipo b /. En nuestro caso, se calcula fcilmente la descomposicin en fracciones simples: f .x / D 1 x 1 2 1 C 2 xC1 .x C 1/
nD1
n .x a/nC1
a/ n
jx
aj < j
aj:
Segn acabamos de ver, las fracciones obtenidas puedes desarrollarlas en series de potencias centradas en cualquier punto que no sea una raz del denominador. Te dejo que acabes t el ejercicio. Esto puede complicarse mucho cuando el denominador tiene races complejas, en cuyo caso solamente pueden obtenerse con facilidad algunos desarrollos centrados en puntos particulares (las partes reales de las races imaginarias). Ejercicio resuelto 269 Calcula explcitamente el valor de an , n = 0,1,2,... sabiendo que se verica la siguiente relacin de recurrencia: anC2 D 2anC1 an ; a0 D 1; a1 D 3:
intervalo centrado en el origen. Tenemos que: f .x / D a0 C a1 x C D a0 C a1 x C D a0 C a1 x D a0 C a1 x

1 X
Solucin. Usaremos el mtodo de la funcin generatriz que se basa en la consideracin 1 X de la funcin f .x / D an x n . Se supone que dicha funcin est denida en algn
nD0
nD2 1 X
an x n D a0 C a1 x C 2anC1
nD0
1 X
anC2 x nC2 D
nD0
2x
2x
nD0 1 X
1 X
an x nC2 D x2
nD0 1 X
anC1 x nC1 an x n
an x n D 2x .f .x / a0 / x 2 f .x /:
nD1
x 2 f . x / D a0 C a1 x
Ejercicios resueltos De esta igualdad se obtiene que: f .x / D a0 C a1 x C 2xa0 1 x 1 1 D D x D 1 C 2x C x 2 .1 C x /2 .1 C x /2 .1 C x /2 ! 1 d d X 1 1 d d n Cx D . x/ C x D dx 1 C x dx 1 C x dx dx

nD1 1 X
657
. 1/ nx
n 1
nD1
1 X
. 1/n nx n D 1 C
nD0 1 X
nD0
1 X
. x/
nD1
. 1/n .2n C 1/x n :
Obtenemos as que para todo n > 1 es an D . 1/n .2n C 1/. Puedes comprobar ahora que efectivamente se verica la igualdad anC2 D 2anC1 an . Ejercicio resuelto 270 Denamos f W RC o ! R por:
1
f .x / D Prueba que: a) f .0/ D =4, y lK m f .x / D 0.

x !C1
x 2 .1Ct 2 /
1 C t2
dt :
b) Usando un desarrollo en serie para f , prueba que f es derivable en RC y:

1
f 0 .x / D 2x
e
0
x 2 .1Ct 2 /
dt :
c) Justica que para todo x > 0 se verica que:

x
f .x / C
C1 0 x2
e
0
t2
dt
!2
: 4
d) Deduce de lo anterior que Solucin. a) Tenemos que.
p . dx D 2
f .0/ D Adems:
1 dt D arc tg 1 1 C t2
x 2 .1Ct 2 /
arc tg 0 D
: 4
Desigualdades vlidas para todo t 2 R, en particular para t 2 0; 1, lo que implica que:

1
e x2 .1Ct 2 / 6 e 1 C t2 e
0 x2
6e
x2
0 6 f .x / 6
dt D e
x2
x !C1
lK m f .x / D 0:
1 X
658 .1 C t 2 /n 2n x . Por tanto: n! .1 C t 2 /n n!

1
b) Tenemos que e
x 2 .1Ct 2 /
. 1/n
nD0 1X 1
f .x / D
. 1/n
x 2n dt :
0 nD0
Se trata de permutar la suma de la serie con la integral. Como la variable de la integral es t 2 0; 1, en lo que Xsigue consideramos que x 2 R es un nmero jo. Consideremos la serie de funciones gn donde para n D 0; 1; 2 ; : : : gn W 0; 1 ! R es la funcin dada
n>0
para todo t 2 0; 1 por:
gn .t / D . 1/n
.1 C t 2 /n n!
x 2n :
En esta expresin X debes considerar que x est jo y la variable es t 2 0; 1. Probaremos que la serie gn converge uniformemente en 0; 1 lo que permitir permutar la suma
n>0
de la serie con la integral. Tenemos que para n > 1 es: jgn .t /j D .1 C t 2 /n n!

1
x 2n 6
2n 1 2n 22n x 2n .4x 2 /n x 6 D n! n! n! n! es convergente, podemos aplicar a la
Como tambin jg0 .t /j 6 1, y la serie
n>0
Como esta igualdad es vlida para cualquier nmero real x hemos expresado la funcin f como suma de una serie de potencias convergente en todo R. Por el teorema de derivacin para series de potencias, tenemos que f es derivable y su derivada viene dada por: 0 1 1 1 2 /n 1 X 2n . 1 C t @ . 1/n f 0 .x / D dt A x 2n 1 D n! nD1 0 1 0 1 1 1 1 2 /n 1 X X .1 C t 2 /n 2n . 1 C t Ax 2n 2 D 2x @ . 1/n dt x dt D . 1/n D 2x .n 1/! n! nD0 0 nD1 0 ! 1X 1 1 2 n 2 n 2 2 n .x / .1 C t / D 2x . 1/ dt D 2x e x .1Ct / dt : n!
0 nD0 0
P serie gn el criterio de convergencia uniforme de Weierstrass y concluimos que dicha serie converge uniformemente en 0; 1. Por tanto: 1 0 1 1 1 1 2 n 1 2 n 1 X X .1 C t / @ . 1/n .1 C t / f .x / D x 2n dt D dt A x 2n: . 1/n n! n!
nD0 0 nD0 0
X .4x 2 /n
c) Pongamos para todo x > 0:

x
h.x / D f .x / C
e
0
t2
dt
!2
Los primeros desarrollos en serie
659
Tenemos que h.0/ D f .0/ D =4 y h es una funcin derivable en el intervalo 0; C1. Tenemos:
x 1
h 0 .x / D
0 .x / C
2e
x2 0 1
t2
dt D t D xu D f du D 0:
0 .x / C
2e
x2 0
x 2 u2
x du D
Df
0 .x / C
2x
0
x 2 .1Cu2 /
d) Tomando lmites para x ! C1 en la igualdad:

x
Luego, h es constante y, por tanto, h.x / D h.0/ D =4 para todo x > 0. r 4
e
0 C1 0
t2
dt D
f .x /
obtenemos que
x2
dx D
p . 2
10.6. Los primeros desarrollos en serie

Puede armarse que la primera aparicin de lo que entendemos en la actualidad como una serie ocurre en el trabajo de Vite (1540 - 1603) Variorum de rebus mathematicis responsorum. Liber VIII (1593), en el que Vite estudia la serie geomtrica obteniendo la frmula para la suma de la misma y tambin aparece la expresin para que se conoce como frmula de Vite. s r s r r 2 1 1 1 1 1 1 1 1 D C C C 2 2 2 2 2 2 2 2
Gregory de St. Vincent (1584 - 1667), en su Opus Geometricum (1647) fue el primero en armar explcitamente que una serie innita puede representar una magnitud. Tambin le debemos el poco afortunado trmino de exhauscin, la introduccin de las coordenadas polares y el primer anlisis de las paradojas de Zenn usando series. Tambin descubri que la cuadratura de la hiprbola xy D k es la misma en a; b que en c ; d cuando a=b D c =d , resultado fundamental para la comprensin de los logaritmos y que llev al descubrimiento del logaritmo natural por Mercator. En 1668, Nicholas Mercator (1620 - 1687) public un libro titulado Logarithmotechnia en el que proporcionaba un mtodo para calcular logaritmos basado en el desarrollo en serie del logaritmo natural x3 x4 x2 C C (10.20) log.1 C x / D x 2 3 4 el cual obtuvo usando los resultados de Gregory de St. Vincent.
Newton y las series innitas
660
A su vez, este resultado de Mercator fue mejorado por James Gregory (1638 - 1675) que obtuvo la expansin: 2x 3 2x 5 1Cx D 2x C C C log 1 x 3 5 que converge ms rpidamente que la anterior. A James Gregory se debe tambin la serie del arcotangente: x5 x7 x3 C C (10.21) arctan x D x 3 5 7 Sustituyendo x D 1 resulta 1 1 1 D1 C C 4 3 5 7 Mejores representaciones de se deducen de esta serie haciendo como A. Sahrp (1651 - 1742) p en 1705 x D 1= 3, con lo que 1 1 1 1 C Dp 1 C 6 3 3 32 5 33 7 3 Con cuya serie calcul con 72 cifras decimales. Una mejor aproximacin de que evita el uso de radicales y converge rpidamente, fue obtenida en 1706 por John Machin (1680 - 1752). La idea es expresar =4 D arctan 1 en funcin de dos ngulos de tangentes racionales y cada una de ellas menor que la unidad. La serie de Machin es:
1 D 4 arctan 4 5 arctan 1 1 D4 239 5 1 1 C 3 35 5 55 1 239 1 1 C 3 3 239 5 2395
Con ella calcul con 100 cifras decimales.
10.6.1. Newton y las series innitas

Los principales descubrimientos matemticos de Newton en el campo del clculo innitesimal datan de los llamados Anni Mirabiles 1665 y 1666. La Universidad de Cambridge, en la que Newton se haba graduado como bachelor of arts en 1664, estuvo cerrada por la peste esos dos aos. Newton pas ese tiempo en su casa de Woolsthorpe y, como l mismo reconoci cincuenta aos despus, se fue el perodo ms creativo de su vida. A principios de 1665 descubre el teorema del binomio y el clculo con las series innitas. A nales de ese mismo ao, el mtodo de uxiones, es decir, el clculo de derivadas. En 1666 el mtodo inverso de uxiones y la relacin entre cuadraturas y uxiones. En esos dos aos tambin inici las teoras de los colores y de la gravitacin universal. Newton tena 24 aos, haba nacido el da de Navidad de 1642. Newton haba ledo la obra de Wallis Arithmetica Innitorum, y siguiendo las ideas de interpolacin all expuestas, descubri la serie del binomio que hoy lleva su nombre. Dicha serie es una generalizacin del desarrollo del binomio, que era bien conocido para exponentes naturales, y haba sido muy usado por Pascal para resolver una gran variedad de problemas. Newton, en su intento de calcular la cuadratura del crculo, es decir, de calcular la integral x 2 /1=2 dx , consider dicha cuadratura como un problema de interpolacin, relacionn1 dola con las cuadraturas anlogas 0 .1 x 2 /n dx conocidas para exponentes naturales n 2 N .
1 0 .1
661
Newton tuvo la ocurrencia de sustituir el lmite superior de integracin por un valor genrico x . De esta forma obtuvo las siguientes cuadraturas (Newton no dispona de smbolo para la integral; usamos, claro est, la notacin actual).
x
.1
0 x
t 2 / dt t 2 /2 dt t 2 /3 dt t 2 /4 dt
D x D x D x D x
1 3 x 3 2 3 1 5 x C x 3 5 3 3 3 5 x C x 3 5 4 3 6 5 x C x 3 5 1 7 x 7 4 7 1 9 x C x 7 9
.1
0 x
.1
0 x
.1
0
Newton observ que el primer trmino de cada expresin es x , que x aumenta en potencias im1 3 2 3 3 3 x ; 3x ; 3x , pares, que los signos algebraicos se van alternando, y que los segundos trminos 3 4 3 3 x estaban en progresin aritmtica. Razonando por analoga, supuso que los dos primeros x trminos de 0 .1 t 2 /1=2 dt deberan ser x
1 2
x3
De la misma manera, procediendo por analoga, pudo encontrar algunos trminos ms:
x
.1
0
t /
2 1= 2
dt D x
1 2
1 8
1 16
1 128
9
x 0 .1
x9
Representando para n D 0; 1; 2 ; : : : por Qn .x / el polinomio

x
t 2 /n dt , se tiene que
Qn .x / D Donde n.n n D k
.1
0
n X n . 1/k 2k C1 t / dt D x k 2k C 1 2 n k D0
Haciendo ahora en Qn .x /, n D 1=2, se obtiene Q1=2 .x / D x

1 2
1/.n 2/ .n 1 2 3k
1 8
k C 1/
n D1 0
1 128
x3
x5
1 16
x7
x9
Lo que llev a Newton a concluir que

x
.1
0
t 2 /1=2 dt D Q1=2 .x /
662
Donde Q1=2 .x / D
Newton dedujo el desarrollo de .1 .1
nD0
1 1 X . 1/n 2nC1 2 x es una suma con innitos trminos. A partir de aqu, n 2n C 1
x 2 /1=2 por derivacin.
1 2 1 4 1 6 1 8 x x x x 2 8 16 128 Newton nunca public su teorema binomial, ni dio una demostracin general del mismo. La primera vez que apareci en un texto impreso fue en 1685 en un libro de Wallis (que reconoce la autora de Newton), titulado Treatise of Algebra. Newton mismo, en una carta a Henry Oldenburg, el secretario de la Royal Society, conocida como la Epistola Prior (junio de 1676), expone el teorema binomial, a requerimiento de Leibniz, con estas oscuras palabras: x 2 /1= 2 D 1
Las extracciones de races resultan muy abreviadas por el teorema m m n m 2n m 3n AQ C BQ C CQ C DQ C etc n 2n 3n 4n donde P C PQ representa una cantidad cuya raz o potencia, o cuya raz de una potencia se necesita calcular, siendo P el primer trmino de esa cantidad, Q los trminos restantes divididos por el primero, y m el ndice numrico de las potencias de P C PQ. . . Por ltimo n n m m= n ADP , B D n AQ, C D m 2n BQ y as sucesivamente. .P C PQ/m= n D P m= n C
Newton era consciente de que su forma de razonar por analoga no era rigurosa por lo que comprob su resultado de varias formas. Aplic su algoritmo a diversos resultados conocidos, comprobando que las soluciones obtenidas eran siempre correctas, redescubri la serie de Mercator para el logaritmo y obtuvo las series del arcoseno y del seno. Newton encontr que el mtodo de desarrollos en serie proporcionaba un algoritmo casi universal para calcular cuadraturas y resolver multitud de problemas. En su obra De analysi per aequationes numero terminorum innitas, escrita en 1669 y publicada en 1711, aunque circulaba en forma manuscrita entre los colegas y conocidos de Newton, propuso un mtodo para cuadrar una curva consistente en tres reglas: 1. El rea bajo la curva de ecuacin y D ax m= n es
mCn na ax n . mCn
2. Si la ecuacin y D y .x / de la curva est dada por un nmero nito de trminos y1 C y2 C y3 C , el rea bajo la curva y es igual a la suma de las reas de todos los trminos y1 , y2 , y3 ,. . . 3. Si la curva tiene una forma ms complicada, entonces debe desarrollarse la ecuacin de P la curva en una serie del tipo ak x rk , donde rk es un nmero racional, y aplicar las reglas 1 y 2. Debe notarse que Newton supuso que cantidad analticamente expresada poda desaP cualquier r k rrollarse en una serie de la forma ak x , donde rk es un nmero racional, serie que puede ser cuadrada trmino a trmino usando la regla 1. p 1=4 x x 2 dx . NewVeamos un ejemplo de esta forma de proceder. Se trata de calcular 0 ton procede como sigue .x x 2 /1= 2 D x 1= 2 .1 x /1= 2 D x 1= 2 1 3= 2 x 2 1 5= 2 x 8 1 7= 2 x 16 1 9= 2 x 128
Newton y las series innitas Por tanto

1=4
663
.x
0
x /
2 1= 2
dx
D D
2 3= 2 x 3
1 5= 2 x 5 1 5 25
yD
1 7= 2 x 28 1 28 27
1 9= 2 x 72 1 72 29
5 11=2 x 704
1=4
0
2 3 23
5 704 211
(10.22)
p x
x2
O
1=4 0
Figura 10.4. Cuadratura
p x
x 2 dx
En la gura 10.4 se ha representado el semicrculo de centro .1=2 ; 0/ y radio 1=2. El sector circular COA tiene amplitud = p de la del semicrculo, p 3 por lo que su rea es la tercera parte es decir, =24. Como BC D 3=4, el rea del tringulo BOC es 3=32. Por otra parte, la integral calculada en (10.22) es el rea de la regin ACB . Por tanto: p 1=4 3 2 1= 2 D .x x / dx C 32 24
0
Deducimos que p 3 3 2 D C 24 4 3 23 1 5 25 1 28 27 1 72 29 5 704 211
Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie innita que, adems, converge rpidamente. La conanza de Newton en los procesos innitos queda reejada en las siguientes palabras de la citada obra De analysi:
Todo lo que el anlisis comn [es decir, el lgebra] realiza por medio de ecuaciones con un nmero nito de trminos, este nuevo mtodo puede siempre conseguir lo mismo por medio de ecuaciones innitas, de tal forma que no he tenido ninguna duda en darle asimismo el nombre de anlisis. Porque el razonamiento es ste no es menos cierto que en el otro; ni las ecuaciones menos exactas; aunque nosotros los mortales, cuyo poder de razonamiento est connado dentro de estrechos lmites, no podemos expresar ni tampoco concebir todos los trminos de esas ecuaciones como para conocer exactamente a partir de ellas las cantidades que deseamos. . . Para terminar, podemos considerar todo esto como perteneciente al Arte Analtica, con cuya ayuda pueden ser determinadas de una manera exacta y geomtricamente las reas, longitudes, etc., de curvas.
Es decir, Newton no slo descubri el teorema binomial sino que las series innitas proporcionaban un mtodo de anlisis con la misma consistencia interna que el lgebra de ecuaciones nitas.

Calculo Cap10

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Calculo Cap10

Uploaded by

Copyright:

Available Formats

Cap tulo

Sucesiones y series de funciones

10.2. Conceptos bsicos

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

10.2.1. Convergencia puntual

Figura 10.2. Convergencia puntual

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Tenemos que: ma K xfjf .x / fn.x /jWx 2 Rg>f 1C

10.2.2. Convergencia Uniforme

Cuya interpretacin grca es la siguiente (donde hemos considerado J D a; b ). f C" fn f f "

Figura 10.3. Interpretacin grca de la convergencia uniforme

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Observa que fn .0/ D 0 y, si x > 0, lK m fn .x / D x lK m n2 .e

Es decir, en general, no se puede permutar la integracin con el lmite puntual.

Prof. Javier Prez Clculo diferencial e integral

10.2.3. Series de funciones

suponemos denidas en un intervalo I , es el conjunto: X C D fx 2 I W fn .x / es convergente g:

fn converge uniformemente y absolutamente en A.

fn (x) converge para todo x 2 A. Veamos que la convergencia es uniforme. Utilizaremos el

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Series de funciones Como X

n0 2 N tal que si n > m > n0 entonces n X k

Deducimos que para todo x 2 A se verica que: jFn .x /

n n m n n X X X X X f k .x / fk .x /D f k .x / 6 j f . x / j 6 k < ": Fm .x /jD k

fn cumple la condicin de Cauchy para la convergencia uniforme en A.

Criterio de Abel. Supongamos que: X a) La serie an es convergente.

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

FnCk .x /.anCk anCk C1 / C FnCp .x /anCp C1 Fn .x /anC1 : (10.3)

anCp C1 / C M anCp C1 C M anC1 D 2M anC1 :

Hemos probado as que la serie de funciones convergencia uniforme en A.

an fn verica la condicin de Cauchy para la

Probaremos ahora el criterio de Abel. Sea Sn D y fk en la igualdad (10.3) tenemos:

ak . Intercambiando los papeles de ak

fnCk C1 .x // C SnCp fnCp C1 .x /

an .Teniendo en cuenta que:

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Series de funciones deducimos de la igualdad anterior:

Hemos probado as que la serie de funciones convergencia uniforme en A.

an fn verica la condicin de Cauchy para la

FnCk .gnCk .x / gnCk C1 .x //CFnCp gnCp C1 .x / Fn gnC1 .x /:

Universidad de Granada Dpto. de Anlisis Matemtico

Tomando valores absolutos obtenemos: p p X X nCk C1 . 1/ gnCk .x / 6 jgnCk .x /

gnCk C1 .x /j C gnCp C1 .x / C jgnC1 .x /j :

Hemos probado as que la serie convergencia uniforme en A.

1/nC1 gn verica la condicin de Cauchy para la

Prof. Javier Prez Clculo diferencial e integral

Como la continuidad de f en a 2 J se expresa por f .a/ D lK m f .x / D lK m . lK m fn .x //

En particular, si una serie

fn converge uniformemente en a; b se verica que: !

Al cumplirse esto para todo " > 0 se sigue que

As pues, si n > n0 tenemos: b b b f .x / dx fn .x / dx D f .x / a a a

fn .x /j dx 6 " dx D".b a/:

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

como fcilmente puedes comprobar integrando por partes, se deduce que:

Prof. Javier Prez Clculo diferencial e integral

Universidad de Granada Dpto. de Anlisis Matemtico

en el intervalo a ; a C y converge uniformemente en todo intervalo cerrado y acotado contenido en a ; a C .

X r n es convergente por ser una serie geomtrica

Calculemos su radio de convergencia. cnC1 j nj ) cn D c D jn C 1j ! 1 n n

Por tanto, el radio de convergencia es R D 1. Denamos para jx j < 1 1 X n x ; .jx j < 1/ g .x / D n

1 podemos proceder como sigue: 1 X x a x a D . 1 C a/ D a// D .1 C a/ 1 C 1Ca 1Ca n

Como 1=2 D n 1/ . 1=2 n! 3 5 7 . 2n 1/ D . 1/n 2 4 6 .2n/ 1=2. 1=2 n C 1/ D . 1/n 1 3 5 .2n 2n n! 1/ D