Calculo - Cap10 Sucesiones y Series de Funciones PDF

Captulo 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 significados del trmino representacin. Intuitivamente, se trata de aproximar fun-
ciones 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
Xn

funciones de la forma ak cos.kx/ C bk sen.kx/ donde ak ; bk son nmeros reales.
kD0
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 matem-
581
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 constan-
temente en todos los procesos de tratamiento de seales auditivas o grficas.
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!
kD0
El ltimo paso consiste en recomponer la funcin f mediante sus componentes ele-
mentales 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 ma-
temtico 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:
n 1
X xk X xn
ex D lKm fn .x/ D lKm D
n!1 n!1 k! n!
kD0 nD0
Con ello hemos representado una funcin trascendente, como es la exponencial, por me-
dio 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 definida por la sucesin de funciones ffn g:
1
X
f D fn :
nD0
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 verifica que:
1
X
f .x/ D fn .x/: (10.1)
nD0
Esta igualdad s sabes lo que significa: quiere decir que la serie de nmeros reales
P
fn .x/ converge y tiene como suma el nmero f .x/.
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 repre-
sentada f . Por ejemplo, si las funciones fn son continuas o derivables es tambin f continua
o derivable?.
Universidad de Granada Prof. Javier Prez

Dpto. de Anlisis Matemtico Clculo diferencial e integral
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 grfica
es la diagonal del cuadrado unidad (ver figura 10.1). Sea f2 la funcin definida en 0; 1 cuya
grfica es el tringulo de vrtices .0; 0/; . 12 ; 21 /; .1; 0/. La longitud de las grficas de f1 y f2 es
p
evidentemente la misma e igual a 2.
0
0 p 1
Figura 10.1. Es 2 D 1?
Sea f3 la funcin definida en 0; 1 cuya grfica son los tringulos de vrtices .0; 0/; . 41 ; 14 /;
y . 21 ; 0/; . 34 ; 14 /; .1; 0/. La longitud de las grficas de f2 y f3 es evidentemente la misma
. 12 ; 0/
p
e igual a 2. Este proceso de ir dividiendo por la mitad los lados de los tringulos puede
proseguirse indefinidamente 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 grfica de fn es igual a 2. Es evidente
que las funciones fn convergen a lapfuncin f .x/ D 0 cuya grfica es el segmento de extremos
.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 Definicin. 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 definidas en un
intervalo I .
10.2 Ejemplos. Consideremos las sucesiones de funciones ffn g, donde fn W R ! R es la

funcin definida en cada caso por:
r n
x 2n 1
2 C ; c/ f .x/ D nx.1 n
X xk
a/ fn .x/ D ; b/ f n .x/ D x n x/ ; d / f n .x/ D :
1 C x 2n n k!
kD0

Convergencia puntual 584
10.2.1. Convergencia puntual
10.3 Definicin. 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 convergeg:
Supuesto que C , la funcin f W C ! R definida para todo x 2 C por:
f .x/ D lKm ffn .x/g

n!1
se llama funcin lmite puntual de la sucesin ffn g.
10.4 Observacin. Para entender la definicin 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 fijo.
10.5 Ejemplo. Sea la sucesin de funciones ffn g donde, para cada n 2 N, fn W 0; 1 ! R es

la funcin definida para todo x 2 0; 1 por:
fn .x/ D nx.1 x/n :
1
e
fn .x/ D nx.1 x/n
b b
0 1
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 verifica 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 figura 10.2 las grficas de las
primeras seis funciones de esta sucesin.

Convergencia puntual 585
Fjate cmo por el extremo derecho del intervalo las grficas 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.
1
e
Observa las grficas de las funciones f10 y f20
en la figura de la derecha. Te parece que estas
funciones estn muy prximas a la funcin l-
mite puntual f 0? Observa que, aunque para
cada x 2 0; 1 es f .x/ D lKm ffn .x/g D 0, f20 f10
n!1
la funcin fn no se acerca mucho a la funcin
b b
lmite puntual f 0. 0 1

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 mKaxfjf .x/ g.x/j W x 2 I g D 0.
En general, el nmero mKaxfjf .x/ g.x/jWx 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 grficas de las dos funciones.
Volviendo al ejemplo anterior, con fn .x/ D nx.1 x/n y f 0, podemos calcular fcil-
mente el nmero mKaxfjfn .x/ f .x/j W x 2 0; 1g D mKaxffn .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 nC1 . Luego
nC1
n 1
mKaxffn .x/ W x 2 0; 1g D fn .xn / D ! :
nC1 e
Fjate en que lKm ffn .x/gD0 pero lKm mKaxffn .x/Wx 2 0; 1gD1= e > 0, es decir, las funcio-
n!1 n!1
n nC1
nes fn no se aproximan a la funcin nula. De hecho, como la sucesin nC1 es creciente,
cuanto mayor sea n mayor es la distancia entre la funcin fn y la funcin nula. Observa cmo
son las grficas de las funciones fn cerca de cero para n D 100; 120; 140; 160; 180; 200.
1
e
f100
f200
b b b
0 005 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:
x 2n
fn .x/ D
1 C x 2n
Es claro que si jxj < 1 se tiene que ffn .x/g ! 0, y si jxj > 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 definida por:
8
<1 si jxj > 1I
f .x/ D lKm ffn .x/g D 1=2 si jxj D 1
n!1
0 si jxj < 1:
:
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 grficas de las
primero cinco funciones de la sucesin.
x 2n
fn .x/ D 1Cx 2n
1
b 1 b
-3 -2 -1 1 2 3
Tenemos que:
1 2n
1 1 .1C 2n / e 1
mKaxfjf .x/ fn.x/jWx 2 Rg>f 1C fn 1C D1 1 2n
!1 D :
2n 2n 1 C .1C 2n / 1Ce 1Ce
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 manifiesto 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 definir 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 verifica
que supfjfn .x/ f .x/j W x 2 J g 6 ".

Para comprender bien esta definicin, analicemos la ltima desigualdad. Tenemos que:
supfjfn .x/ f .x/j W x 2 J g 6 " jfn .x/ f .x/j 6 " 8x 2 J
" 6 fn .x/ f .x/ 6 " 8x 2 J
f .x/ " 6 fn .x/ 6 f .x/ C " 8x 2 J:
Cuya interpretacin grfica es la siguiente (donde hemos considerado J D a; b).
f C"
fn f
f "
b b
a b
Figura 10.3. Interpretacin grfica de la convergencia uniforme
Esto nos dice que la grfica de la funcin fn se queda dentro de un tubo centrado en la
grfica de f de anchura 2" (ver figura 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 significa 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 verifica 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 significa que:
Fijas un " > 0;
Existe un nmero natural n0 (que depender de ") tal que para todo n 2 N con n > n0 se
verifica 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 simultnea-
mente para todos los x 2 J .
En la prctica, el estudio de la convergencia puntual se reduce a calcular para cada x fijo el
lmite lKm ffn .x/g, lo que suele ser muy sencillo. Mientras que para estudiar la convergencia
n!1

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 lKm ffn .cn / f .cn /g D 0 hay convergencia uniforme en J , y en otro caso
n!1
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 .
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 definidas para todo x 2 RC o por fn .x/ D n x e .
Observa que fn .0/ D 0 y, si x > 0, lKm fn .x/ D x lKm n2 .e x n

/ D 0 (porque es una
n!1 n!1
sucesin de la forma np n donde 0 < jj < 1). Por tanto, el campo de convergencia puntual es
C D RC C
o , y la funcin lmite puntal est dada por f .x/ D lKm ffn .x/g D 0 para todo x 2 R o .
n!1
Estudiemos si hay convergencia uniforme en RC o . Observa que fn .x/ > 0, por lo que
0
jfn .x/ f .x/jDfn .x/. Ahora, como, fn .x/Dn e 2 nx .1 nx/, se deduce que fn0 .x/ > 0 para
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 mKaxffn .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
n0 un nmero natural tal que n10 < a. Entonces, para todo n > n0 , tenemos que a; C1
1=n; C1, por lo que, mKaxffn .x/ W x 2 a; C1g D fn .a/. Como lKmffn .a/g D 0, concluimos
que hay convergencia uniforme en a; C1.
Observa las grficas de las primero cinco funciones de la sucesin.
fn .x/ D n2 x e nx
1
1 2
r1
Puedes comprobar fcilmente, integrando por partes, que 0 n2 x e nx dx D1 .1Cn/ e n
para todo n 2 N. Por tanto:
w1 w1
lKm fn .x/dx D 1 0 D . lKm fn .x// dx :
n!1 n!1
0 0
Es decir, en general, no se puede permutar la integracin con el lmite puntual.

10.9 Observaciones. El concepto de convergencia uniforme requiere algunas precisiones im-

portantes.
La convergencia uniforme se refiere 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 afirmamos que hay convergencia uniforme. Adems, siempre hay con-
vergencia uniforme en subconjuntos finitos del campo de convergencia puntual (si no sabes
probarlo es que no has entendido la definicin de convergencia uniforme). Por ello, slo tiene
inters estudiar la convergencia uniforme en conjuntos infinitos, 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 verifica 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 . Enton-

ces, 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 verifica 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 verifica que la sucesin ffn .x/g verifica 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 definir
la funcin lmite puntual f W J ! R por f .x/ D lKm f .x/ para todo x 2 J . Comprobemos
n!1
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
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 . 2
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 obtie-
nen sumando consecutivamente los de ffn g. Es decir, F1 Df1 , F2 Df1 Cf2 , F3 Df1 Cf2 Cf3 ,...
Xn
En general, Fn D fk . La sucesin fFn g as definida se llama serie de trmino general fn y
kD1 X
la representaremos por el smbolo fn .
n>1
Debe quedar claro que una serie de funciones es una sucesin de funciones que se ob-
tienen 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
X tienen igual signi-
ficado para series. As el campo de convergencia puntual de la serie fn cuyas funciones fn
n>1
suponemos definidas en un intervalo I , es el conjunto:
X
C D fx 2 I W fn .x/ es convergenteg:
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
A D fx 2 I W jfn .x/j es convergenteg:
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 X
tal que para todo x 2 A y todo n 2 N se tiene que jfn .x/j 6 n , donde la serie n es
X n>1
convergente. Entonces fn converge uniformemente y absolutamente en A.
n>1
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
X n>1
fn (x) converge para todo x 2 A. Veamos que la convergencia es uniforme. Utilizaremos el
n>1
criterio de Cauchy.

X
Como 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 m n
X X X

k k D k < ":
kD1 kD1 kDmC1
Deducimos que para todo x 2 A se verifica que:

n m n n n
X X X X X
jFn .x/ Fm .x/jD
fk .x/ fk .x/D
fk .x/6 jfk .x/j6 k < ":
kD1 kD1 kDmC1 kDmC1 kDmC1
Como esta desigualdad es vlida para todo x 2 A se sigue que:
sup fjFn .x/ Fm .x/j W x 2 Ag 6 ": (10.2)

X
Es decir, la serie fn cumple la condicin de Cauchy para la convergencia uniforme en A. 2
n>1
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 unifor-
memente convergente en un conjunto A es que la sucesin de funciones ffn g converja unifor-
memente a cero en A.
Observa que los conceptos de convergencia absoluta y de convergencia uniforme son inde-
pendientes: una serie puede ser uniformemente convergente en un conjunto A y no ser absolu-
tamente convergente en A. En tales casos se aplican los siguientes criterios de convergencia no
absoluta para series de funciones.
10.13 Proposicin
X (Criterios de convergencia uniforme no absoluta). Sea fan g una sucesin
numrica y fn una serie de funciones definidas 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 n-
n>1 n
X
mero M > 0 tal que para todo x 2 A y para todo n 2 N se verifica que fk .x/ 6 M .

kD1
X
Entonces la serie de funciones an fn converge uniformemente en A.
n>1
Criterio de Abel. Supongamos que:

X
a) La serie an es convergente.
n>1

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 verifica que jfn .x/j 6 M .
X
Entonces la serie de funciones an fn converge uniformemente en A.
n>1
n
X
Demostracin. Probaremos primero el criterio de Dirichlet. Pongamos Fn D fk . De la
kD1
frmula (9.10) de suma por partes de Abel se deduce fcilmente que:
p
X p
X
anCk fnCk .x/D FnCk .x/.anCk anCkC1 /CFnCp .x/anCpC1 Fn .x/anC1 : (10.3)
kD1 kD1
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 anCkC1 / C M anCpC1 C M anC1 D

nCk nCk

kD1 kD1
D M.anC1 anCpC1 / C M anCpC1 C M anC1 D 2M anC1 :
Dado " > 0, como suponemos que fan g ! 0, hay un n0 tal que para todo n > n0 se verifica
"
que an 6 2M . Deducimos que para todos p > n > n0 y para todo x 2 A se verifica que:
p n
p
X X X
ak fk .x/ ak fk .x/ D anCk fnCk .x/ 6 2M anC1 6 ":

kD1 kD1 kD1
X
Hemos probado as que la serie de funciones an fn verifica la condicin de Cauchy para la
n>1
convergencia uniforme en A.
n
X
Probaremos ahora el criterio de Abel. Sea Sn D ak . Intercambiando los papeles de ak
kD1
y fk en la igualdad (10.3) tenemos:
p
X p
X
anCk fnCk .x/ D SnCk .fnCk .x/ fnCkC1 .x// C SnCp fnCpC1 .x/ Sn fnC1 .x/:
kD1 kD1
1
X
Sea S D an .Teniendo en cuenta que:
nD1
p
X
.fnCk .x/ fnCkC1 .x// C fnCpC1 .x/ fnC1 .x/ D 0;
kD1

deducimos de la igualdad anterior:

p
X p
X
anCk fnCk .x/D .SnCk S /.fnCk .x/ fnCkC1 .x// C .SnCp S /fnCpC1 .x/
kD1 kD1
.Sn S /fnC1 .x/:
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/ fnCkC1 .x/j C :

4M 2

kD1 kD1
Como para cada x 2 A la sucesin ffn .x/g es montona, las diferencias fnCk .x/ fnCkC1.x/
son todas positivas o todas negativas y, por tanto:
p
p
X X
jfnCk .x/ fnCkC1 .x/jD .fnCk .x/ fnCkC1 .x//DfnC1 .x/ fnCpC1 .x/62M:

kD1 kD1
Concluimos que para todos p > n > n0 y para todo x 2 A se verifica que:
p
X " "
anCk fnCk .x/ 6 2M C D ":

4M 2

kD1
X
Hemos probado as que la serie de funciones an fn verifica la condicin de Cauchy para la
n>1
convergencia uniforme en A. 2
10.14 Corolario (Criterio de Leibniz para la convergencia uniforme). Sea fgn g una suce-
sin de funciones definidas 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 con-
verge uniformemente en A.
Demostracin. Pongamos fn fn .x/D. 1/nC1. Entonces ffn g es una sucesin de funciones

n
n
X X
constantes. Sea Fn D fk . Se verifica que jFn jD fk .x/ 61 para todo x 2 A. Pongamos

kD1 kD1
tambin ak D gk .x/. Usando la igualdad (10.3), tenemos que:
p
X p
X
nCkC1
. 1/ gnCk .x/D FnCk .gnCk .x/ gnCkC1 .x//CFnCp gnCpC1 .x/ Fn gnC1 .x/:
kD1 kD1
Tomando valores absolutos obtenemos:

p p
X X
nCkC1

. 1/ gnCk .x/ 6 jgnCk .x/ gnCkC1 .x/j C gnCpC1 .x/ C jgnC1 .x/j :

kD1 kD1

Como, para cada x 2 A, los nmeros gnCk .x/ gnCkC1 .x/ son todos positivos o todos nega-
tivos, se tiene que:
p
p
X X
jgnCk .x/ gnCkC1 .x/j D .gnCk .x/ gnCkC1 .x// D gnC1 .x/ gnCpC1 .x/ 6

kD1
kD1
6 gnCpC1 .x/ C jgnC1 .x/j :
Resulta as que para todo x 2 A:
p
X
nCkC1

. 1/ g .x/ 6 2 gnCpC1 .x/ C 2 jgnC1 .x/j :

nCk

kD1
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 verifica que jgn .x/j 6 "=4. De la desigualdad anterior, se sigue que para n > n0
y para todo x 2 A se verifica que:
p
X
. 1/nCkC1 gnCk .x/ 6 ":

kD1
1/nC1 gn verifica la condicin de Cauchy para la

P
Hemos probado as que la serie n>1 .
convergencia uniforme en A. 2
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 unifor-
memente a f en un intervalo J . Sea a 2 J y supongamos que las funciones fn son todas ellas
continuas en a. Se verifica entonces que la funcin f es continua en a. En particular, si las
funciones fn son todas ellas continuas en J . Se verifica 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 verifica 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/ fn0 .a/j C jfn0 .a/ f .a/j
Pero por la forma en que hemos tomado n0 se sigue que:

2"
jf .x/ f .a/j 6 C jfn0 .x/ fn0 .a/j (10.4)
3
Adems, como por hiptesis fn0 es continua en a , se verifica 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:
3"
jf .x/ f .a/j 6 D ":
3
Resumiendo, hemos probado que dado " > 0, existe > 0, tal que si tomamos jx aj < y
x 2 J entonces jf .x/ f .a/j 6 ", que es, precisamente, la continuidad de f en a. 2

Como la continuidad de f en a 2 J se expresa por f .a/ D lKm f .x/ D lKm . lKm fn .x//
x!a x!a n!1
y, por otra parte, por ser fn continua en a, f .a/D lKm fn .a/D lKm . lKm fn .x//; el resultado
n!1 n!1 x!a
anterior nos dice que:
lKm . lKm fn .x// D lKm . lKm fn .x//:
x!a n!1 n!1 x!a
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 verifica entonces que:
wb wb
lKm fn .x/ dx D . lKm fn .x// dx : (10.5)
n!1 n!1
a a
X
En particular, si una serie fn converge uniformemente en a; b se verifica que:
n>1
1 wb wb 1
!
X X
fn .x/ dx D fn .x/ dx : (10.6)
nD1 a a nD1
Demostracin. Sea f .x/ D lKm 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
As pues, si n > n0 tenemos:

wb wb wb wb wb

f .x/ dx
fn .x/ dx D f .x/ fn .x/ dx 6 jf .x/ fn .x/j dx 6 " dx D".b a/:
a a a a a
Al cumplirse esto para todo " > 0 se sigue que
wb wb
f .x/ dx D lKm fn .x/ dx
n!1
a a
2
Este resultado es vlido tambin si solamente se supone que las funciones fn son integra-
bles 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 manifiesto en el ejemplo 10.8.

10.17 Ejemplo. Para cada n 2 N sea n 2

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
4e 2
jfn .x/j D fn .x/ 6 fn .cn / D ;
n2
P 4e 2
y, puesto que la serie es convergente, deducimos, por el criterio de Weierstrass, que
P n2
fn converge uniformemente en 0; 1. En consecuencia, se verificar que:
w1 X 1 w1
1
!
X
fn .x/ dx D fn .x/ dx :
0 nD1 nD1 0
Puesto que
1
X x.log x/2 w1 1
fn .x/ D y fn .x/ dx D 2
1 x .n C 1/3
nD1 0
como fcilmente puedes comprobar integrando por partes, se deduce que:
w1 x.log x/2 1
X 1
dx D 2 :
1 x n3
0 nD2

La convergencia uniforme no conserva la derivabilidad. Esto es fcil de entender si consi-
deras que puedes sacar pequeos dientes de sierra a la grfica 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 funcio-
nes definidas 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 .
iii) ffn0 g converge uniformemente a g en I
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, fijemos un punto a 2 I . Ahora, para x 2 I ,
en virtud del teorema fundamental del Clculo, tenemos que:
wx
fn .x/ D fn .a/ C fn0 .t/ dt :
a

Tomando lmites y haciendo uso del teorema anterior, deducimos que:

wx
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 . 2
Observa que este teorema nos dice que, en las hiptesis hechas, podemos permutar la deri-
vabilidad con la convergencia uniforme:
f D lKm fn f 0 D lKmffn0 g:
Esta igualdad es una permutacin de lmites pues afirma que para a 2 I se verifica que:

0 f .x/ f .a/ fn .x/ fn .a/
f .a/ D lKm D lKm lKm D
x!a x a x!a n!1 x a

fn .x/ fn .a/
D lKm lKm D lKm ffn0 .a/g
n!1 x!a x a n!1
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 . Supon-
gamos que la sucesin ffn0 g converge uniformemente en I y que hay un punto a 2 I tal que
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

suponer que a 2 J (si es necesario ampliamos J para que as sea). Como ffn0 g converge uni-
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 verifica que:
f .x/ f 0 .x/ 6 " ; 8x 2 J

0
n m (10.7)
2L
Como ffn .a/g es convergente, podemos tomar tambin n0 de forma que para n; m > n0 se
verifica 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:
fn .x/ fm .x/ .fn .a/ fm .a// D fn0 .c/ fm0 .c/ .x a/:

Tomando valores absolutos en esta igualdad y teniendo en cuenta (10.7), resulta que para n; m>
n0 es:
" "
jfn .x/ fm .x/ .fn .a/ fm .a//j D fn0 .c/ fm0 .c/ jx aj 6

LD ; 8x 2 J:
2L 2

Series de potencias 598
Deducimos que:
" "
jfn .x/ fm .x/j 6 jfn .x/ fm .x/ .fn .a/ fm .a//j C jfn .a/ fm .a/j 6 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 verifica en J la condicin de Cauchy para la convergencia uniforme. 2
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
n
Xtodo x 2 R por fn .x/ D cn .x a/ y, por convenio, f0 .x/ D c0 . La
la funcin dada para
serie de funciones fn se llama serie de potencias centrada en a. La sucesin fcn gn>0 se
n>0
llama sucesin de coeficientes de la serie. El coeficiente c0 se llama trmino independiente
X de
la serie. Suele usarse, y nosotros tambin seguiremos la costumbre, la notacin cn .x a/n
n>0
para representar la serie de potencias centrada en a con coeficientes 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/
.x a/n
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/
Tn .f; a/.x/ D .x a/k :
k!
kD0
El resultado bsico para estudiar la convergencia de una serie de potencias es el siguiente.
n
10.20 Lema (Lema de Abel). Sea > 0 y supongamos X que la sucesin fjcn j g est mayo-
n
rada. Entonces se verifica que la serie de potencias cn .x a/ converge absolutamente
n>0
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 suficiente 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
n n jx ajn rn r
jcn .x a/ j D jcn j n
6M 6M n DM :


Radio de convergencia de una serie de potencias 599
X r n
Basta ahora tener en cuenta que la serie es convergente por ser una serie geomtrica

n>0
r
de razn 0 < < 1. 2

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 definimos R D sup.A/, si no lo est
X definimos R D C1. Se
dice que R es el radio de convergencia de la serie de potencias cn .x a/n . El intervalo
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
y sea I el intervalo de convergencia de la serie. Se verifica que la serie converge absoluta-
mente 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
10.22 Definicin. Sea cn .x a/n una serie de potencias con radio de convergencia no
n>0
nulo y sea I el intervalo de convergencia de la serie. La funcin f W I ! R definida para todo
x 2 I por:
X1
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 coeficientes de la
serie y que el punto a en que la serie est centrada no interviene para nada en la definicin del
radio de convergencia.

Todo esto est muy bien, dirs, pero cmo se calcula el radio de convergencia? Desde
luego, la definicin 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
10.23 Proposicin. Sea cn .x a/n una serie de potencias y supongamos que !L
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 aj ! Ljx aj:
an jcn j
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 con-
verge 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:
anC1 jcnC1 j
D jx aj ! C1:
an jcn j
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. 2
De forma totalmente anloga, haciendo uso del criterio de la raz, se prueba el siguiente
resultado.
X
cn .x a/n una serie de potencias y supongamos que n jcn j ! L
p
10.24 Proposicin. Sea
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

aplicarse cuando hay infinitos coeficientes nulos. En casos parecidos a este el siguiente artificio
es de bastante utilidad prctica.
10.25 Observaciones.
X
Consideremos una serie de potencias de la forma cn .x a/q n donde q es un nmero
n>0
radio de convergencia hacemos z D .x X
natural fijo. Para calcular suX a/q y calculamos el radio
n
de convergencia de la serie C
cn z . Si ste es R 2 R , entonces la cn .x a/q n converge
n>0 p n>0 p
para jx 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
radio de convergencia puesto que todas ellas convergen para los mismos valores de x.
Si lasP sucesiones fjcnPjg y fjbn jg son asintticamente equivalentes, entonces las series de
potencias cn .x a/ y bn .x a/n tienen igual radio de convergencia. Ello es consecuen-
n
cia 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
10.26 Lema. Las series cn .x a/n y ncn .x a/n 1 tienen igual radio de convergen-
n>0 n>1
cia.
Demostracin. Pongamos:
A D > 0 W fjcn j n g est acotada ; B D > 0 W fn jcn j n g est acotada :

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 definicin
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
n n 0 0
n jcn j 0 D n jcn j 6 Mn :

n
Como, por ser 0 < 0 < , la sucesin n 0 converge a cero, se sigue que dicha sucesin
est acotada y, teniendo en cuenta la desigualdad anterior, se sigue que tambin est acotada
la sucesin fn jcn j 0n g. Hemos probado as que 0 2 B y, por tanto, 0 6 R 0 . Como esta
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. 2

X
10.27 Teorema (Derivacin de una serie de potencias). Sea cn .x 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 definida para todo x 2 I por:
1
X
f .x/ D cn .x a/n :
nD0
Entonces se verifica que:

i) f es indefinidamente derivable en I .
ii) La derivada de orden k de f est dada para todo x 2 I por:
1
X
f .k// .x/ D n.n 1/ .n k C 1/cn .x a/n k
: (10.9)
nDk
f .k// .a/
En particular, se verifica que f .k// .a/ D ck k!, es decir, ck D y, por tanto, la serie
X k!
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
indefinidamente derivables. X fn .x/Dcn.x X
X Pongamos a/n . Teniendo
X en cuenta el lema anterior,
n
las series de potencias fn cn .x a/ y 0
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:
1
X
f 0 .x/ D ncn .x a/n 1
:
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 deduci-
mos 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:
1
X
f 00 .x/ D n.n 1/cn .x a/n 2
:
nD2
Este razonamiento puede repetirse tantas veces como queramos. Una simple y evidente induc-
cin prueba que para todo k 2 N se verifica la igualdad (10.9). 2
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.

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 define.
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
nC1
y .x a/ tiene igual radio de convergencia. Supuesto que dicho radio de con-
nC1
n>0
vergencia es positivo y llamando I al intervalo de convergencia, se verifica que la funcin
1
X cn
F.x/ D .x a/nC1 .x 2 I /
nC1
nD0
es una primitiva en I de la funcin

1
X
f .x/ D cn .x a/n .x 2 I /:
nD0
En otros trminos, este resultado afirma que para todo x 2 I se verifica la igualdad:
wx X 1 wx
1
! 1
n
X
n
X cn
cn .t a/ dt D cn .t a/ dt D .x a/nC1 (10.10)
a
n C 1
nD0 nD0 0 nD0
10.29 Ejemplo.
wx wx X
1 2n
t
1
x 2nC1
t2
X
e dt D dt D
n! n!.2n C 1/
0 0 nD0 nD0

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 xn .1 < x < 1/
1 x
nD0
Integrando trmino a trmino se obtiene que la funcin:

1
X x nC1
h.x/ D .1 < x < 1/
nC1
nD0

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

verifica que la serie de Taylor de f centrada en a tiene radio de convergencia no nulo? En caso
de que as sea, se verifica 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 conver-
gencia 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 cj < ja xj tal que:
1
f .x/ D Tn .f; a/.x/ C f .nC1 .c/.x a/nC1
.n C 1/!
Series de Taylor de la funcin exponencial

Ya sabemos que la funcin exponencial coincide con la suma de su serie de Taylor en 0:
1
X xn
ex D para todo x 2 R.
n!
nD0
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:
x2 x3 xn
Tn .exp; 0/.x/ D 1 C x C C C C
2! 3! n!
Xx n 1
Consideremos la serie de potencias centrada en 0 . Llamando cn D tenemos que
n! n!
n>0
cnC1 1
D ! 0, por tanto la serie tiene radio de convergencia R D C1. Llamemos h a la
cn nC1

funcin suma de la serie:

1
X xn
h.x/ D para todo x 2 R.
n!
nD0
Vamos a probar que h es la funcin exponencial. Por el teorema de derivacin tenemos que
1 1 1
X nx n 1 X xn 1 X xn
h 0 .x/ D D D D h.x/:
n! .n 1/! n!
nD1 nD1 nD0
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 ,
x x x x
g 0 .x/ D h 0 .x/ e 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:

sen 0 .x/ D cos .x/ D sen x C I
2

sen.k/ .x/ D sen x C k
2
Por tanto
n
sen a C k 2

X
Tn .sen; a/.x/ D .x a/k
k!
kD0
Como para todo z 2 R es jsen zj 6 1, el teorema de Taylor implica que:

n

sen a C k 2

X
k 1
sen x .x a/ 6 jx ajnC1

k! .n C 1/!
kD0
Pero sabemos que

jx ajnC1
lKm D0
n!1 .n C 1/!
De donde deducimos
1
sen a C k 2

X
sen x D .x a/k para todo x 2 R
k!
kD0
Es decir, la serie de Taylor del seno converge a sen x cualquiera sea x 2 R.

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
sen a C .k C 1/ 2 cos a C k 2

X X
k 1
cos x D .x a/ D .x a/k para todo x 2 R
.k 1/! k!
kD1 kD0
Si hacemos a D 0 tenemos que para todo x 2 R:

1 1
X . 1/n 2nC1 X . 1/n 2n
sen x D x ; cos x D x
.2n C 1/! .2n/!
nD0 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/ definida para x > 1.
Tenemos que
1
1 X
f 0 .x/ D D . 1/n x n .jxj < 1/
1Cx
nD0
Integrando trmino a trmino esta serie, definamos para jxj < 1:
1
X . 1/n nC1
h.x/ D x
nC1
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 .jxj < 1/
nC1
nD0
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:
1
x a X . 1/n
log.x/Dlog.aC.x a//Dlog aClog Dlog aC .x a/nC1 .jx aj < a/:
a .n C 1/anC1
nD0
X. 1/n
Observa que la serie x nC1 cuya suma para jxj < 1 es igual a log.1 C x/ es tambin
nC1
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 jxj < 1
nC1
nD0
sea tambin vlida para xD1? En este caso particular, la respuesta es afirmativa porque sabemos
1
X . 1/n
que log 2 D . El siguiente resultado establece que esto es cierto en general.
nC1
nD0

X
10.32 Teorema (Teorema de Abel). Sea cn .x a/n una serie de potencias con radio de
n>0
convergencia R, siendo 0 < R < C1. Sea
1
X
f .x/ D cn .x a/n x 2a R; a C R
nD0
la funcin suma de la serie. Supongamos adems que la serie n>0 cn Rn converge. Entonces
P
X
se verifica que la serie cn .x a/n converge uniformemente en el intervalo a; a C R. En
n>0
consecuencia:
1 aCR
w 1 aCR
w 1
X
n
X
n
X cn
lKm f .x/D cn R y f .x/ dx D cn .x a/ dx D RnC1 :
x!aCR
a
nC1
x<aCR nD0 nD0 a nD0
Demostracin. Escribamos:
X X x a n
cn .x a/n D cn Rn :
R
n>0 n>0
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 verifica que ffn .x/g es
n>0
una sucesin de nmeros reales montona (decreciente); adems, para todo n 2 N y para todo
x 2 a; a C R
Xse tiene que jf
X n .x/j 6 1. En estas condiciones el citado criterio de Abel nos dice
que la serie an fn .x/ D cn .x a/n converge uniformemente en a; a C R.
n>0 n>0
Las dos afirmaciones finales del teorema son consecuencia de que al ser la convergencia
uniforme en a; a C R se verifica que:
1
! 1 1
X X X
n n
lKm f .x/ D lKm cn .x a/ D lKm cn .x a/ D cn Rn :
x!aCR x!aCR x!aCR
x<aCR x<aCR nD0 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. 2
Serie de Taylor del arcotangente en cero

Puesto que
1
1 X
arc tg 0 .x/ D 2
D . 1/n x 2n .x 2 1; 1/
1Cx
nD0
se deduce fcilmente que

1
X . 1/n 2nC1
arc tg x D x .x 2 1; 1/
2n C 1
nD0

Adems, como esta serie converge tambin para x D 1, el teorema de Abel nos dice que:
X . 1/n 1

D arc tg 1 D lKm arc tg x D
4 x!1 2n C 1
x<1 nD0
Serie binomial de Newton

Consideremos la funcin f .x/D.1Cx/ , donde 2 RnZ, 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 . 1/ . n C 1/.1 C x/ n
Los coeficientes de la serie sern:

f .n .0/

. 1/ . n C 1/
D D :
n! n! n
Por tanto la serie de Taylor de f es:
X
x n:
n
n>0
Calculemos su radio de convergencia.

cnC1 j nj
cn D ) D !1
n cn jn C 1j
Por tanto, el radio de convergencia es R D 1. Definamos para jxj < 1
1
X n
g.x/ D x ; .jxj < 1/
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/, definida para
jxj < 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 1
X n 1 X n
.1 C x/g 0 .x/ g.x/ D .1 C x/ n x x
n n
nD1 nD0
1 1 1
X n 1 X n X 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

Hemos probado que h 0 .x/D0 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 jxj < 1. Hemos probado as que:
1

X n
.1 C x/ D x ; .jxj < 1/
n
nD0
Para centrar esta serie en un punto a > 1 podemos proceder como sigue:
1
x a x a

X
.1 C x/ D .1 C a C .x a// D .1 C a/ 1 C D .1 C a/ D
1Ca n 1Ca
nD0
1
X 1
D .x a/n siempre que jx aj < 1 C a:
n .1 C a/n
nD0
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:
1
f 0 .x/ D p D .1 x 2/ 1=2
1 x2
Haciendo las sustituciones x ! x 2 y ! 1=2 en la serie binomial de Newton obtenemos:
1 1
X 1=2 X 1=2
f 0 .x/ D .1 x 2 / 1=2 D . x 2 /n D . 1/n x 2n .jxj < 1/:
n n
nD0 nD0
Integrando trmino a trmino la expresin anterior obtenemos la serie del arcoseno:

1
1=2 . 1/n 2nC1
X
arc sen x D x .jxj < 1/
n 2n C 1
nD0
Como

1=2 1=2. 1=2 1/ . 1=2 n C 1/ 1 3 5 .2n 1/
D D . 1/n D
n n! 2n n!
3 5 7 .2n 1/
D . 1/n
2 4 6 .2n/
Resulta finalmente:
1
X 3 5 7 .2n 1/ 1
arc sen x D x C x 2nC1 .jxj < 1/
2 4 6 .2n/ 2n C 1
nD1
Adems, como la serie tambin converge para x D 1, por el teorema de Abel tenemos que:
1
X 3 5 7 .2n 1/ 1

arc sen 1 D D1C
2 2 4 6 .2n/ 2n C 1
nD1
Ya dijimos que las series de Taylor de una funcin no siempre convergen a dicha funcin.
Veamos un ejemplo de esto.

10.33 Ejemplo. Consideremos la funcin f W R ! R definida de la siguiente forma

( 2
e 1=x si x > 0
f .x/ D
0 si x 6 0
La funcin es de clase infinito, y puede probarse sin dificultad 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 define una clase de funciones que son precisamente aquellas que pueden
representarse localmente por sus series de Taylor.
10.34 Definicin. 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 verifica que:
1
X . 1/n
log x D log a C .x a/nC1 .jx aj < a/: (10.11)
.n C 1/anC1
nD0
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 verifica que:
1

X 1
.1 C x/ D .x a/n jx aj < 1 C a:
n .1 C a/n
nD0
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 definidas por series 611
10.4.1. Las funciones trascendentes elementales definidas por series
Las series de potencias son objetos matemticos muy simples, en ellas solamente intervie-
nen 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 definir nuevas funciones. Recuerda que usamos el Teorema
Fundamental del Clculo para definir el logaritmo natural y, a partir de l, la funcin exponen-
cial. Ahora vamos a hacer lo mismo con series de potencias y por fin! podremos definir 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
definida en todo R.
10.36 Definicin. 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 expo-
nencial es derivable en todo punto x 2 R y su derivada viene dada por:
1 1 1
X xn 1 X xn 1 X xn
exp 0 .x/ D n D D D exp.x/:
n! .n 1/! n!
nD1 nD1 nD0
Por tanto, la exponencial es una funcin que coincide con su derivada. Consideremos un n-
mero fijo a 2 R y definamos 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/D1, deducimos que f .x/Df .0/Dexp.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 lKm exp.x/D0 y lKm exp.x/DC1 y que la exponencial
x! 1 x!C1
es una biyeccin de R sobre RC .

Se define el nmero e D exp.1/. Es fcil probar, usando la propiedad aditiva de la exponen-

cial, 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 define 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 po-

X x 2nC1
tencias . 1/n tiene radio de convergencia R D C1 y, por tanto, su funcin suma
.2n C 1/!
n>0
est definida en todo R.
10.37 Definicin. La funcin sen W R ! R dada para todo x 2 R por:
1
X x 2nC1
sen.x/ D . 1/n
.2n C 1/!
nD0
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:
1 1
X x 2n X x 2n
sen 0 .x/ D . 1/n .2n C 1/ D . 1/n :
.2n C 1/! .2n/!
nD0 nD0
La funcin derivada de la funcin seno se llama funcin coseno y es la funcin definida 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/D0
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 2 sen x cos x D 0:
Luego f es constante. Como f .0/D1, concluimos que sen2 .x/ Ccos2 .x/D1 para todo x 2 R.
Sea a 2 R fijo y definamos la funcin:
2 2
h.x/D cos.x Ca/ .cos x cos a sen x sen a/ C sen.x Ca/ .sen x cos aCcos x sen a/ :
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:

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 dificultades. Por ejemplo, hay
que definir el nmero y probar que las funciones seno y coseno son peridicas con perodo
2. Esto puede hacerse como sigue. Tenemos que:
1
X 22n
1 cos 2 D . 1/nC1 :
.2n/!
nD1
Esta serie es una serie alternada cuyo trmino general es decreciente y, por tanto, por la aco-
tacin (9.11), se verifica 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 . Definimos:
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; cos./ D cos2 .=2/ sen2 .=2/ D 1

sen.2/ D 2 cos./ sen./ D 0; cos.2/ D cos2 ./ sen2 ./ D 1:
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 definir todas las dems funciones
trigonomtricas como lo hicimos en el captulo 2. T mismo puedes completar este estudio.
La definicin de las funciones exponencial y trigonomtricas por medio de series de poten-
cias tiene, desde un punto de vista matemtico, todas las ventajas posibles pues las definiciones
dadas prueban la existencia de dichas funciones y permiten obtener con comodidad sus propie-
dades principales. Adems, y esto es fundamental, dichas definiciones se extienden exactamen-
te 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 signi-
ficado 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 definir, y las funciones
seno y coseno de la trigonometra elemental tal como se definen 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.

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 finito 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 grfica 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 suficientemente grande de puntos, faDx0 < x1 < x2 < < xn 1 < xn Dbg, y
es P una funcin polinmica que interpola los correspondientes puntos en la grfica 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 afirma
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 grfica de una funcin as?) fue dado por Weierstrass en
1872. Su funcin era:
X1
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 definida como
la suma de una serie de funciones continuas (de clase C 1 !) que converge absolutamente y
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
P
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 expo-
ner la basada en los polinomios de Bernstein porque, adems de ser la ms elemental, propor-
ciona unos polinomios concretos para realizar la deseada aproximacin.
10.38 Definicin. Dada una funcin f W 0; 1 ! R el polinomio de Bernstein de orden n de

f es la funcin polinmica:
n
X k n k
Bn .f /.x/ D f x .1 x/n k
:
n k
kD0
Necesitaremos usar algunas identidades que se deducen fcilmente de la igualdad siguiente.

n
n
X n
.x C y/ D xk yn k
:
k
kD0

Derivando esta igualdad una vez respecto a x y multiplicando despus por x obtenemos:
n
n 1
X n
x n.x C y/ D kx k y n k :
k
kD0
Derivando la primera igualdad dos veces respecto a x y multiplicando despus por x 2 obtene-
mos:
n
2 n 2
X n
x n.n 1/.x C y/ D k.k 1/x k y n k :
k
kD0
Haciendoenlas anteriores igualdades y D 1 x y definiendo, por comodidad de notacin,
n k
bkn .x/ D x .1 x/n k , obtenemos las siguientes igualdades:
k
n
X
1 D bkn .x/ (10.12)
kD0
Xn
nx D kbkn .x/ (10.13)
kD0
Xn
n.n 1/x 2 D k.k 1/bkn .x/ (10.14)
kD0
Usando estas igualdades deducimos que:

n
X n
X n
X n
X
.k nx/2 bnk .x/ D k 2 bnk .x/ 2nx kbnk .x/ C n2 x 2 bnk .x/D
kD0 kD0 kD0 kD0
Xn
D .k.k 1/ C k/bnk .x/ 2n2 x 2 C n2 x 2 D
kD0
D n.n 1/x 2 C nx n2 x 2 D nx.1 x/:
Por tanto:
n
X
.k nx/2 bnk .x/ D nx.1 x/: (10.15)
kD0
10.39 Teorema (Weierstrass (1868)). Sea f W a; b ! R una funcin continua. Dado " > 0,
hay una funcin polinmica P" que verifica que
jf .x/ P" .x/j 6 "
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 para todos x; y 2 0; 1 tales que jx yj < : (10.16)
2

Acotaremos ahora el error que se comete al aproximar f por su polinomio de Bernstein de

orden n. Tenemos que:
n
n
X k
(10.12)
X k
jf .x/ Bn .f /.x/j D f .x/ f bnk .x/ D f .x/ f bnk .x/ 6

n n
kD0 kD0
n
X k k
6 f .x/ f n bn .x/:
(10.17)
kD0

k
Donde hemos usado que bnk .x/ > 0. Acotaremos ahora la diferencia f .x/ f segn que
n
x k < o x k > . Tenemos que:

n n

x k < (10.16) k "

f .x/ f
< :
n n 2

x k > jnx kj >1 f .x/ f k 6

n n n

k 2M
6 2M 6 2 2 .nx k/2

6 jf .x/j C f
n n
Podemos resumir las dos acotaciones obtenidas en una sola de la forma:

f .x/ f k 6 " C 2M .nx k/2 :

(10.18)
n 2 n2 2
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:
n n
X " 2M 2 k (10.12) " 2M X
jf .x/ Bn .f /.x/j6 C .nx k/ bn .x/ D C .nx k/2 bnk .x/D
2 n2 2 2 n2 2
kD0 kD0
"
(10.15) 2M " 2M
D C 2 2 nx.1 x/ 6 C 2 :
2 n 2 n
Donde hemos tenido en cuenta que para x 2 0; 1 es x.1 x/ 6 1. Hemos probado as que
para todo x 2 0; 1 se verifica que:
" 2M
jf .x/ Bn .f /.x/j 6 C 2:
2 n
2M "
Tomando ahora n0 2 N tal que para n > n0 se verifique que 2
6 , concluimos que para
n 2
todo n > n0 y para todo x 2 0; 1 se verifica que:
" "
jf .x/ 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 unifor-
memente 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 ":
Teniendo ahora en cuenta que para x 2 a; b se tiene que xb aa 2 0; 1, deducimos que para
todo x 2 a; b se verifica que:
x a x a
B .g/ 6 ":

g n
b a b a
x a x a
Puesto que f .x/Dg , y P" .x/DBn .g/ es un polinomio por ser composicin
b a b a
de dos polinomios, obtenemos que para todo x 2 a; b es jf .x/ P" .x/j 6 ". 2
El polinomio
n n k
x a X b a n x a k b x
Bn .g/ D f aCk
b a n k b a b a
kD0
es, por definicin, 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 definidas para todo x > 0 por:
2nx 2
fn .x/ D :
1 C n2 x 4
475. Estudia la convergencia uniforme en 0; 1, de la sucesin de funciones ffn g definidas

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 definida 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?

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:
Estudia la convergencia puntual de la sucesin de funciones ffn g y la convergencia uni-

forme 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:
sen2.nx/
fn .x/ D 0 < x < :
n sen x
Estudia la convergencia puntual de la sucesin de funciones ffn g as como la convergen-
cia 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 definida por:
pn
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 definidas por fn .x/ D n sen.x=n/ para
todo x 2 R.
481. Estudia la convergencia uniforme en RCo , de la sucesin de funciones ffn g definidas para
C
todo x 2 R o por:
nCx
fn .x/ D arc tg :
1 C nx
482. Para cada n 2 N sea

x
fn .x/ D .x > 0/:
na .1 C nx 2 /
P
Prueba que la serie fn :
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
fn .x/ D n D 0; 1; 2; : : :
1 C n2 x 2
1
X
Sea F.x/ D fn .x/, la funcin suma de la serie. Calcula lKm F.x/ y lKm F.x/.
x!0 x!0
nD0 x<0 x >0
Sugerencia. Para x > 0 se tiene que
kC1
w kC1
w wk
x x x
2 2
dt 6 f k .x/ D 2 2
dt 6 dt :
1Ct x 1Ck x 1 C t 2x 2
k k k 1

P
484. Estudia la convergencia puntual y uniforme de la serie fn donde
nnC1 n nx
fn .x/ D x e .x > 0/:
n!
485. En cada uno de los siguientes ejercicios se especifica un conjunto R y, para cada
n 2 N, se define 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.
a) D0; 2 ; fn .x/ D n2 .tg x/n .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
e) D RC o ; fn .x/ D n x e (donde > 0 es un nmero fijo), ADa; C1; a > 0.
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 definida por:
1 C nx

C
fn W R o ! R ; fn .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 definida 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 inter-

valos cerrados y acotados.
489. Sea f W RC
o ! R una funcin continua, no idnticamente nula con lKm f .x/ D 0,
x!C1
f .0/ D 0. Sean ffn g y fgn g las sucesiones de funciones definidas 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 RCo .
b) La sucesin ffn gn g converge uniformemente a cero en RC
o.

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 existe > 0 tal que cualesquiera
sean x; y 2 I con
f .x/ f .y/ 0

0 < jx yj < se verifica que f .y/ 6 ".
x y
b) Para cada n 2 N definamos:
1
xC n
n w
fn .x/ D f .t / dt .x 2 R/:
2 1
x n
Justifica que ffn0 g converge uniformemente a f 0 en I .

491. Sea gW 1; 1! R una funcin no constante y continua en x D 0. Sea ffn g la sucesin
de funciones definida 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.
w3 n C sen x
494. Prueba que lKm dx D 1:
n!1 3n C cos2 x
0
495. Supongamos que f es una funcin continua en a; b y que para todo n 2 N [ f0g se
verifica que:
wb
x nf .x/ dx D 0:
a
Prueba que f .x/ D 0 para todo x 2 a; b.
Sugerencia: Usa el teorema de aproximacin de Weierstrass.
495. Para cada n 2 N, sea fn W 0; 1 ! R la funcin definida para todo x 2 0; 1 por:
1 x
1. fn .x/ D e cos x log.x C n/.
n
nx 2
2. fn .x/ D e x .
1 C n2 x 2
p
n x
3. fn .x/ D cos x 2 .
1 C n2 x 2
n sen.nx/ si 0 6 x 6 n

4. fn .x/ D
0 si n 6 x 6 1
Estudia, en cada caso, la convergencia puntual y uniforme de la sucesin ffn g y compara
w1 w1
lKm ffn g con lKm fn .
n!1 n!1
0 0

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:
a) ffn g converge puntualmente a cero en R pero la convergencia no es uniforme.
b) ffn0 g converge uniformemente a cero en R.
1
499. Sea fn W RC ! R la funcin dada por fn .x/ D
P
2
. Prueba que la serie fn
1Cn x
converge puntualmente en RC . Estudia la continuidad y derivabilidad de la funcin suma
1
X
de la serie: f .x/ D fn .x/.
n
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 lKm fn .x/ D an 2
x!C1
R. Prueba que la sucesin fan g es convergente y que f tiene lmite en C1, siendo
lKm f .x/ D lKm fan 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 fun-
cin 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:
wb wb
lKm fn .x/ dx D f .x/ dx :
n!1
a 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
fn .x/ D p
0 si x > n
a) Demuestra, haciendo uso del ejercicio anterior, que
C1
w C1
w
x2
lKm fn .x/ dx D e dx :
n!1
0 0

C1
w p w2
b) Prubese que fn .x/ dx D n .sen t/2nC1dt , y deduce que:
0 0
C1
w p
x2
e dx D :
2
0

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 lKm fn .xn / D f .x/.
n!1
n 2 N, se define una funcin fn W ! R . SePpide estudiar, en cada caso, la convergen-
cia puntual en de la serie de funciones, fn , y la continuidad de la funcin suma
X1
FD fn .
nD1
a) D R, fn .x/ D e nx .
1 1
b) D R, fn .x/ D .
n Cnx2
sen.n2 x/
c) D R, fn .x/ D . 1/n .
n.log.n C 1//2
1
d) D R n Z , fn .x/ D .
n2 x2
n
x2
e) D R n f 1; 1g, fn .x/ D nC1
.
1 x2
x
f) D RC
o , fn .x/ D .
.1 C nx/.1 C nx C x/
505. Estudia la derivabilidad de la funcin de Riemann &W 1; C1! R , definida para todo
x > 1 por:
1
X 1
&.x/ D :
nx
nD1
Justifica tambin que lKm &.x/ D C1.

x!1
506. Sea f W RC
o ! R la funcin definida por:
1
X e nx
f .x/ D ; .x 2 RC
o /:
1 C n2
nD0
Estudia la derivabilidad de f y justifica que para todo x > 0 es:
1
f 00 .x/ C f .x/ D x
:
1 e
Prueba que f es continua en RC
o que lKm f .x/ D 1, y lKm f 0 .x/ D 1. Deduce
x!C1 x!0
que f no es derivable en 0.
P
507. Sea fn una serie de funciones que converge uniformemente en un conjunto A. Sea
Xn
Fn D fk . Prueba que para toda sucesin fxn g de puntos de A se verifica que la
kD1
sucesin fF2n .xn / Fn .xn /g converge a cero.

n 2 N, se define una funcin fn W ! R . Se pide estudiar, haciendo uso de los criterios
P Dirichlet o de Abel, la convergencia puntual y uniforme en de la serie de funciones
de
fn .
. 1/n
a) D R; fn .x/ D .
x2 C n
. 1/n
b) D 2; C1; fn .x/ D .
nx C . 1/n
sen.nx/
c) D 0; ; fn .x/ D p .
n
1 1 sen.nx/
d) D R; fn .x/ D 1 C C C .
2 n n
x sen.nx/
e) D 2; 2; fn .x/ D p .
2 n C cos x
.1 x/x n P
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.
xn P
g) D R n f 1g; fn .x/ D an n
, donde la serie an converge.
1Cx
X1 x
509. Prueba que la serie sen converge uniformemente en subconjuntos acotados de
n n
n>1
R pero no converge uniformemente en R.
p condicin uniforme de Cauchy no se satisface en R. Tngase en cuenta

Sugerencia. La
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 definida para todo x > 0 por:
1
X
f .x/ D . 1/n e an x
nD0
es continua y:
C1
w 1
X 1
f .x/ dx D . 1/n :
an
0 nD0
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 . 1/n X . 1/n
D log 2; D :
nC1 2n C 1 4
nD0 nD0
x P
511. Para cada n 2 N sea fn .x/D .x 2 R/. Prueba que la serie fn :
na .1 C nx 2 /

a) Converge puntualmente en R si a > 0, y la convergencia es uniforme en semirrectas

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 ejerci-
cio 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
n>0
1
X w1 x
n
suma. Calcula tambin . 1/ dx .
.1 C x 2 /n
nD0 0
an x n , y estu-
P
514. Calcula el radio de convergencia de cada una de las series de potencias
dia el comportamiento de la serie en los extremos del intervalo de convergencia, en los
siguientes casos:
p
1 n

n n log.nC1/
cn D 2 ; cn D .n C 1/ ; cn D e 1C
n CnC1 n
1 3 5 .2n C 1/ p n!
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 1 C C C ; cn D n ; cn D
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
X x 2n
515. Calcula la funcin suma de la serie de potencias .
n.2n 1/
n>1
X x 3n X n.x C 3/n
516. Calcula la funcin suma de las series de potencias .n C 1/ y .
2n 2n
n>0 n>1
517. Dado un nmero natural q 2 N, prueba la igualdad

w1 1 X . 1/n 1
dx D :
1 C xq qn C 1
0 nD0
Calcula el valor de la suma de las series correspondientes a los valores de q D 1; 2; 3.

X X n
518. Expresa la funcin suma de las series de potencias nx n 1 , y x n por medio
nC1
n>1 n>1
1
X n
de funciones elementales y calcula el valor de .
2n .n C 1/
nD1

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>0 n>1
X xn
520. Calcula la funcin suma de la serie de potencias y deduce el valor de las
n.2n C 1/
n>1
sumas de las series:
X 1 X . 1/n
y :
n.2n C 1/ n.2n C 1/
n>1 n>1
521. Prueba que las funciones definidas por:

sen x ex 1
g.x/ D ; g.0/ D 1; f .x/ D ; f .0/ D 1
x x
cos x 1 log.1 C x/
h.x/ D 2
; h.0/ D 1=2; '.x/ D ; '.0/ D 1
x x
son de clase C 1 en su intervalo natural de definicin.
522. Prueba que la funcin f W ; ! R dada por:
x sen x
f .x/ D log f .0/ D 1;
sen x x x
1 2
f .x/ 1 12 x
es de clase C 1 . Calcula lKm .
x!0 x4
523. Calcula el desarrollo en serie de potencias centrada en un punto a de la funcin:
2x 3 x 2 C 2x 7
f .x/ D :
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 1Cx
; :
x 2 C 5x C 6 .1 C x 2 /.1 x/2
1Cx
525. Representa la funcin f W 1; 1! R, dada por f .x/ D log , como suma de una
1 x
serie de potencias centrada en 0. Utiliza dicha serie para calcular log 2 con ocho cifras
decimales exactas.
526. Prueba que:
1 1 1 1 . 1/nC1 . 1/n 1
1 C C C C C C D log 2
2 3 4 5 2n 1 2n 4 2
Sugerencia. Considera la serie de potencias:
1 2 1 3 1 4 1 5 . 1/nC1 2n 1 . 1/n 2n
x x x C x C x C C x C x C
2 3 4 5 2n 1 2n

n,
P
527. Justifica que la serie de potencias n>0 an x donde para todo n 2 N [ f0g es:
1 1
a3nC1 D ; 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 2 1 2x C 1
f .x/ D log.1 C x C x / C arctan p :
2 2 3
1
X 2
Como aplicacin calcula el valor de :
.3n C 1/.3n C 3/
nD0
528. Expresa como suma de una serie de potencias centrada en cero la funcin:
1 1Cx 1 2x 1
f .x/ D log p C p arctan p C p :
3 1 xCx 2 3 3 6 3
X 1
Calcula la suma de la serie . 1/n .
3n C 1
n>0
Sugerencia. Deriva la funcin dada.
529. Calcula explcitamente el valor de an , n = 0,1,2,... sabiendo que se verifica la siguiente

relacin de recurrencia:
anC2 D 2anC1 an ; a0 D 1; a1 D 3:
10.41 Estrategia. Las relaciones de recurrencia como la anterior, tambin llamadas

ecuaciones en diferencias finitas, se pueden resolver a veces por el mtodo de la fun-
X1
cin generatriz. Se llama as a la funcin f .x/ D an x n . El proceso a seguir es el
nD0
siguiente:
1. Haciendo uso de la relacin de recurrencia dada se puede calcular la funcin gene-

ratriz sin conocer el valor de an .
2. Una vez conocida la funcin generatriz se obtiene su desarrollo en serie de poten-
cias centrado en cero.
530. Resolver por el mtodo de la funcin generatriz las siguientes ecuaciones en diferencias
finitas:
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 verifica que .ex C e x / 6 ex para todo x 2 R?
2
Sugerencia. Expresa dicha desigualdad usando series de potencias.

Ejercicios resueltos 627
532. Justifica que para 1 6 x < 1 se verifica que:

wx 1
1
X x nC1
log dt D :
1 t n.n C 1/
0 nD1
Prueba tambin, ya sea por clculo directo o por razones de continuidad, que dicha igual-
dad es vlida para x D 1.
533. Justifica que para 1 < x < 1 se verifica la igualdad:

wx 1 1
1 n
X x
log dt D :
t 1 t n2
0 nD1
Es dicha igualdad vlida para x D 1?
534. Definamos f W RC
o ! R por:
w1 e x 2 .1Ct 2 /
f .x/ D dt :
1 C t2
0
Prueba que:
a) f .0/ D =4, y lKm f .x/ D 0.
x!C1
b) Usando un desarrollo en serie para f , prueba que f es derivable en RC y:
w1
x 2 .1Ct 2 /
f 0 .x/ D 2x e dt :
0
c) Justifica que para todo x > 0 se verifica que:

!2
wx
t2
f .x/ C e dt D :
4
0
C1
w p
x2
d) Deduce de lo anterior que e dx D .
2
0
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 definidas para todo x > 0 por:
2nx 2
fn .x/ D :
1 C n2 x 4

1 n2 x 4
Solucin. Es evidente que lKm ffn .x/g D 0. Como fn0 .x/ D 4nx , tenemos
p
n!1
p .1 C n2 x 4 /2 p
que fn0 .1= n/ D 0, fn0 .x/ > 0 para 0 < x < 1= n y fn0 .x/ < 0 para x > 1= 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.
2nx 2
fn .x/ D
1 C n2 x 4
1
1 2
Dado un nmero a > 0 sea n0 tal que xn0 < a. Para todo n > n0 tenemos que xn < a, y
por tanto:
mKax ffn .x/ W 0 6 x 6 ag D fn .xn / D 1; mKax ffn .x/ W x > ag D fn .a/
Como lKm 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 funcio-
nes ffn g definidas para x 20; 1 por fn .x/ D x n log.1=x/, y fn .0/ D 0.
Solucin. Es evidente que lKm ffn .x/gD0. Como fn0 .x/D n log x C1 x n 1 tenemos

n!1
que fn0 .x/ D 0 si, y slo si, log x D 1=n, es decir, x D e 1=n . Adems fn0 .x/ > 0 para
0 < x < e 1=n y fn0 .x/ < 0 para e 1=n < x 6 1. Deducimos que la funcin fn es
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:
1=n 1 1
mKaxffn .x/ W x 20; 1g D fn .e /D
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 definida 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?

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 lKm ffn .x/g D 0. Por tanto, en el
n!1
intervalo 0; 1 la sucesin ffn g converge puntualmente a cero.
Tenemos que
fn0 .x/ D n .1 x 2 /n 1
.1 .1 C 2n/x 2 /
1
Pongamos xn D p . Entonces fn0 .xn / D 0, fn0 .x/ > 0 para 0 < x < xn y
1 C 2n
fn0 .x/ < 0 para xn < x < 1. Deducimos que la funcin fn es estrictamente creciente en
0; xn y estrictamente decreciente en xn ; 1, por lo que fn alcanza un mximo valor en
0; 1 en el punto xn .
1 1
0.50 fn .x/Dn 4 x.1 x 2 /n 0.50 fn .x/Dn 2 x.1 x 2 /n
0.25 0.25
1 1
La sucesin ffn g para D 1=4 La sucesin ffn g para D 1=2
Como n
n

1
fn .xn / D p 1
1 C 2n 1 C 2n
se deduce que lKmffn .xn /gD0 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 mKaxffn .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 uni-

forme en los intervalos 0; a y a; =2 donde 0 < a < =2.
Solucin. Es claro que fn .0/Dfn .=2/D0 y para 0 < x < =2 la sucesin fn.cos x/n g
es de la forma fnn g con 0 < < 1 por lo que lKm ffn .x/gD0. Por tanto, en el intervalo
n!1
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:
fn0 .x/ D n.cos x/n 1

.cos2 .x/ n sen2 .x//:

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, espevidente que fn alcanza su mayor valor en 0; =2 en el
punto xn . Observa que xn D arc tg.1=n/ ! 0.
Tenemos que:
fn .xn / D n.cos.xn //n sen.xn /:
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:
sen.xn / p p sen.xn /
yn D nxn D n n arc tg.1=n/ ;
xn xn
sen.xn /
y como ! 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).
Por otra parte, tenemos que:
1 2 1 1
log.zn / D n log.cos xn / n.cos.xn / 1/ n xn D n arc tg.1=n/ ! :
2 2 2
Por tanto zn ! e 1=2 . Deducimos as que fn .xn / D yn zn ! C1.
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:
mKaxffn .x/ W 0 6 x 6 ag D fn .xn / mKaxffn .x/ W a 6 x 6 =2g D fn .a/:
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.
1
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

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
lKm .cos.1=n//n D exp lKm fn.cos.1=n/

1/g D exp.0/ D 1;
obtenemos que ffn .1=n/g ! 1. Como, para todo n > 1=a se verifica que 0 < 1=n < a,
resulta que:
mKax 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:
sen2.nx/
fn .x/ D 0 < x < :
n sen x
Estudia la convergencia puntual de la sucesin de funciones ffn g as como la convergen-
cia uniforme en intervalos del tipo 0; a, a; y a; b donde 0 < a < b < .
Solucin. Evidentemente lKm 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 to-
memos xn D 1=n. Como
sen2 .1/
fn .1=n/ D ! sen2 .1/
n sen.1=n/
deducimos que no hay convergencia uniforme en 0; a.
Anlogamente, como
sen2 .n 1/
fn . 1=n/ D ! 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:
sen2.nx/ 1
0 6 fn .x/ D 6 ;
n sen x n sen.x0 /
y por tanto:
1
mKax ffn .x/ W a 6 x 6 bg 6 :
n sen.x0 /
Ya que, evidentemente, f1=n sen.x0 /g ! 0, concluimos que hay convergencia uniforme
en a; b.

1 2 3
sen2.nx/
La sucesin fn .x/ D
n sen x
Ejercicio resuelto 245 Estudia la convergencia puntual y uniforme de la sucesin de funcio-

nes ffn g donde fn W R ! R est definida por:
p
n
fn .x/ D 1 C x 2n x 2 R:
Solucin. Para calcular la funcin lmite puntual hay que distinguir dos casos:
p
n
Si jxj < 1, entonces 1 6 1 C x 2n 6 1 C x 2n y por tanto lKm ffn .xn /g D 1.
pn
Si jxj > 1, entonces x 2 6 1 C x 2n 6 21=n x 2 y por tanto lKm ffn .xn /g D x 2 .
La funcin lmite puntual viene dada por:

1; si jxj < 1
f .x/ D lKm ffn .x/g D
x 2 ; si jxj > 1
Tenemos que:
Si jxj < 1 es:
p
n
0 6 fn .x/ f .x/ D 1 C x 2n 1 6 21=n 1:
Si jxj > 1 es:

r !
p
n 2 2 n 1
0 6 fn .x/ f .x/ D 1 C x 2n x Dx 1 C 2n 1 : (10.19)
x
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 1
h 0 .c/ D .1 C c/1=n 1
6 ;
n n
s 1
se sigue que h.s/ h.0/ D sh 0 .c/ 6 . Tomando s D 2n resulta que
n x
r
1 1 1
1 D h.1=x 2n /
n
1C h.0/ 6 6
x 2n nx 2n nx 2

1
Deducimos ahora de (10.19) que 0 6 fn .x/ f .x/ 6 .
n
Finalmente:

1
mKax fjfn .x/ f .x/j W x 2 Rg 6 mKax 21=n 1; !0
n
y concluimos que ffn g converge uniformemente en R.
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 definidas por
fn .x/ D n sen.x=n/ para todo x 2 R.
Solucin. Definamos la funcin
sen t
' W R ! R; '.t/ D .t 0/; '.0/ D 1
t
Con ello, tenemos que fn .x/Dx'.x=n/ y, como lKm '.t/D1, deducimos que la funcin
t !0
lmite puntual de la sucesin viene dada por:
f .x/ D lKm fn .x/ D x .x 2 R/:
n!1
Dado a > 0, es fcil comprobar que no hay convergencia uniforme en a; C1, pues
para todo n > a se tiene que:
mKax fjf .x/ fn .x/j W x > ag > f .n/ fn .n/ D n.1 sen.1// ! C1:
Anlogamente se prueba que no hay convergencia uniforme en 1; a.
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 jxjj1 '.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 mKax 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 definidas 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 lKm arc tg t D =2, la funcin lmite viene dada
t !C1
por:
arc tg.1=x/; si x > 0
f .x/ D lKm ffn .x/g D
=2; si x D 0

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 lKm .fn .x/ f .x// D arc tg.1=n/ > 0;
x!C1
se sigue que fn .x/ f .x/ < 0 para x 2 0; 1, y fn .x/ f .x/ > 0 para x > 1.
Estudiemos ahora la derivada de fn .x/ f .x/. Un clculo sencillo nos da:
1 C 2nx C x 2
fn0 .x/ f 0 .x/ D 2 :
.1 C x 2 /..1 C n2 /x 2 C 4nx C 1 C n2 /
Por tanto fn0 .x/ f 0 .x/ > 0 para todo x > 0. En consecuencia fn f es una funcin
creciente en RC 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. Conclui-

mos que
(
f .x/ fn.x/6f .0/ fn .0/ D =2 arc tg n; si x 2 0; 1
jfn .x/ f .x/jD f .x/ f .x/6 lKm .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 mKax 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
x
fn .x/ D .x > 0/:
na .1 C nx 2 /
P
Prueba que la serie fn :
a) Converge puntualmente en RC o si a > 0, y la convergencia es uniforme en semirrectas
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
lKm n1Ca a 2
D :
n!1 n .1 C nx / x

Por el criterio lmite de comparacin (o por el criterio de Prinsheim, como se prefiera),

se sigue que la serie converge si, y slo, si 1 C a > 1, es decir a > 0.
Estudiemos la convergencia uniforme en una semirrecta del tipo ; C1, ( > 0). Co-
mo:
1 1 x 2n
fn0 .x/ D a ;
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 enP; C1 y, por tanto, fn .x/ 6 fn ./ para todo x > . Puesto que, para
a
P> 0, la serie fn ./ converge, se sigue, por el criterio de Weierstrass, que la serie
fn converge uniformemente en ; C1.
X p 1X 1
b) Si a > 1=2 entonces la serie fn .1= n/ D aC1=2
es convergente (es una
2 n
n>1 n>1
serie de Riemann con exponente aC1=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:
x
fn .x/ D n D 0; 1; 2; : : :
1 C n2 x 2
1
X
Sea F.x/ D fn .x/, la funcin suma de la serie. Calcula lKm F.x/ y lKm F.x/.
x!0 x!0
nD0 x<0 x >0
Sugerencia. Para x > 0 se tiene que
kC1
w kC1
w wk
x x x
dt 6 f k .x/ D dt 6 dt
1 C t 2x 2 1 C k 2x 2 1 C t 2x 2
k k k 1
Solucin. Puesto que, para x 0:

jxj 1
lKm n2 D ;
n!1 1 C n2 x 2 jxj
se sigue, por el criterio lmite de comparacin (o por el criterio de Prinsheim, como se
X jxj
prefiera) que la serie es convergente. Tambin converge, evidentemente,
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
fn0 .x/ D :
.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
.x/, deducimos que jfn .x/j 6 fn .1=n/ D 1=2n para todo x 2 R. Como la se-
fnP
rie 1=2n no es convergente el criterio de Weierstrass no nos dice nada acerca de

la convergencia uniforme de la serie en todo R (observa que el criterio de Weierstrass da

condiciones suficientes 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 jxj > 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 conse-
cuencia jfn .x/j 6 fn ./ para todo x 2PA . Puesto que la serie fn ./ es convergente,
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
w n kC1
w n kC1
w
x X x X x
dt D dt 6 dt D
1 C t 2x2 1Ct x2 2 1 C k2x2
0 kD0 k kD0 k
n n
X X x
D fk .x/ D x C 6
1 C k 2x 2
kD0 kD1
X1 kC1
n w x w n
x
6x C 2 2
dt D x C dt
1Ct x 1 C t 2x 2
kD0 k 0
deducimos que:
n
X
arc tg..n C 1/x/ 6 fk .x/ 6 x C arc tg.nx/:
kD0
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 lKm F.x/ D =2. Como
x!0
x>0
F. x/ D F.x/, se deduce que lKm F.x/ D =2. Por tanto, la funcin F tiene una
x!0
x<0
discontinuidad de salto en x D 0.
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.
Fjate en que la funcin F s es continua en Rnf0g. Pues cualquier nmero a0 podemos
P dentro de un conveniente conjunto A , sin ms que tomar < jaj, y como la
meterlo
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
nnC1 n nx
fn .x/ D x e .x > 0/:
n!

P
Solucin. Estudiemos la convergencia puntual. Para x > 0 la serie fn .x/ es de trmi-
nos positivos y podemos aplicar el criterio del cociente. Tenemos que:
fnC1 .x/ .n C 1/nC2 n! n C 1 nC1

x
D x e D x e x ! x e1 x :
fn .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, fcilmen-

te, 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/
lKm D lKm e D1;
fn .1/ n
como la sucesin .1C1=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
fn .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:
nnC1 n 1 nx
fn0 .x/ D nx e .1 x/:
n!
Y, al igual que antes, se sigue que fn es estrictamente creciente en 0; 1 y estrictamen-
te decreciente
P en 1; C1. Dado > 1, para todo x > es fn .x/ 6 fn ./ P y como la
serie fn ./ es convergente, deducimos, por el criterio de Weierstrass, que fn con-
verge 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 especifica un conjunto
R y, para cada n 2 N, se define 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.
a) D0; 2 ; fn .x/ D n2 .tg x/n .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
c) D 1; C1; fn .x/ D n log 1 C ; AD 1; a; A D a; C1; a > 1:
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 < Dtg 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

y, como f2n2 .tg a/n g ! 0, concluimos que hay convergencia uniforme en 0; a. Hay
que sospechar que no hay convergencia uniforme en a; =4. Para ello sea xn D 4 1n
y pongamos un D tg.xn /, vn D n. Tenemos que fun g ! 1 y vn ! C1. Tenemos que:
tg.xn / 1 tg.xn / 1
vn .un 1/ D n tg.xn / 1 D 1
D ! 2
n
xn 4
tg x 1
Donde hemos usado que lKm 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:
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 lKm fn .x/ D ex :

n!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 xn 2 n ; n 1; 1, luego 1 C xn > 0. En lo que sigue supondremos que
x 2 ; y n > n0 .

x
x n
D ex 1 exp x.'.x=n/ 1/ 6 e 1 exp x.'.x=n/ 1/ :

e 1C
n
Donde:
log.1 C t /
'.t/ D ; t > 1; '.0/ D 1:
t
Se verifica que lKm '.t/ D 1 por lo que ' es una funcin continua. Dado " > 0, por
t !1
la continuidad de la exponencial en 0 hay un 1 > 0 tal que para juj < 1 se verifica
que j1 eu j < " e . Por la continuidad de ' en 0 hay un nmero 2 > 0 tal que para
jtj < 2 se verifica que j'.t/ 1j < 1 =. Tomemos n1 > n0 tal que n1 < 2 . Entonces
para todo x 2 ; y para todo n > n1 se tiene que:
jxj 1
< 2 j1 '.x=n/j < x '.x=n/ 1 < 1
n x n
1 exp x.'.x=n/ 1/ < " e ex

1C < ":

n
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
lKm n log 1 C D x:
n!1 n

En el ejercicio se supone que x > 1 para que todas las funciones fn estn definidas 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. Definamos hn .x/ D x fn .x/.
Tenemos que:
1
n x
h 0 .x/ D 1 n n x D 1 D
1C n nCx nCx
Deducimos que h0n .x/ < 0 para 1 < x < 0 y h0n .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 definido 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:
mKax fjhn .x/j W 1 6 x 6 ag D mKax fhn . 1/; hn .a/g ! 0:
Por tanto hay convergencia uniforme en 1; a. Por otra parte se tiene que:
hn .n/ D n n log 2 D n.1 log 2/ ! C1:
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
lKm f .x/ D 0, f .0/ D 0. Sean ffn g y fgn g las sucesiones de funciones definidas por
x!C1
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 RCo .
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 hip-
tesis 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 verifica 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 conver-
gentes 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 uni-
formemente 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 con-
vergen uniformemente y cuyo producto converge uniformemente.

Puedes probar como fcil ejercicio que si ffn g converge uniformemente a f en un con-
junto A, y g es una funcin acotada en A entonces la sucesin fgfn g converge unifor-
memente 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 existe > 0 tal que cualesquiera
sean x; y 2 I con
f .x/ f .y/
0 < jx yj < se verifica que f 0 .y/ 6 ".
x y
b) Para cada n 2 N definamos:
1
xC
n wn
fn .x/ D f .t / dt .x 2 R/:
2 1
x n
Justifica que ffn0 g 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 f x C n1 f x n1

0 1
fn .x/ D 2n f x C f xC D :
n n x n1 x 1n
Ahora basta escribir:

f x C n1 1

f x

0 0 n 0 1 0 1
0 .x/
f .x/ f .x/ 6
n f x C f x f
xC1 1 n n

x
n n
y usando el apartado a) y la continuidad uniforme de f 0 en a; b se sigue que ffn0 g

converge uniformemente a f 0 en a; b.
Ejercicio resuelto 254 Supongamos que f es una funcin continua en a; b y que para todo
n 2 N [ f0g se verifica que:
wb
x nf .x/ dx D 0:
a
Prueba que f .x/ D 0 para todo x 2 a; b.
Sugerencia. Usa el teorema de aproximacin de Weierstrass.
Solucin. La hiptesis hecha implica que para toda funcin polinmica p.x/ se verifica
wb
que p.x/f .x/ dx D 0. Por el teorema de aproximacin de Weierstrass hay una suce-
a
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:
wb wb wb
f 2 .x/ dx D lKm pn .x/f .x/ dx D lKm pn .x/f .x/ dx D 0:
n!1 n!1
a a a
Como f 2 es continua y positiva, deducimos que para todo x 2 a; b debe ser f 2 .x/D0,
esto es, f .x/ D 0.
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
lKm fn .x/Dan 2 R. Prueba que la sucesin fan g es convergente y que f tiene lmite
x!C1
en C1, siendo lKm f .x/ D lKm fan g.
x!C1 n!1
Sugerencia. La condicin de Cauchy permite probar la convergencia de fan g.
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 lKmfan g.
Dado " > 0, hay un n0 2 N tal que para todo n>n0 y para todo x>a es jf .x/ fn .x/j <
"=3 y tambin jan aj < "=3. Pongamos:
2"
jf.x/ aj 6 f .x/ fn0 .x/ C fn0 .x/ an0 C an0 a < C fn0 .x/ an0 :
3
Como lKm fn0 .x/ D an0 , existe K > a tal que para todo x > K se verifica que
x!C1
fn .x/ an < "=3. Concluimos, a la vista de la anterior desigualdad, que para todo
0 0
x > K se verifica que jf .x/ aj < ". Hemos probado as que lKm f .x/ D a.
x!C1
R y, para cada n 2 N, se define 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
X1
funcin suma F D fn .
nD1
a) D R, fn .x/ D e nx .
1 1
b) D R, fn .x/ D .
n 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 conver-
ge 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:
1 x
X
nx e
F.x/ D e D x
x > 0:
1 e
nD1
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 P donde a > 0, pues para todo x > a se verifica
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,

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:
1 1 x2 x 2 a2
fn .x/ D D 6 6 2:
n x2 C n n.x 2 C n/ n2 n
P 1
Como la serie n2
es convergente, deducimos por el criterio de convergencia uniforme
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 lKm fn .x/ D . Esto nos dice que no hay convergencia uniforme en
x!C1 n
semirrectas de la forma a; C1, porque el resultado vistoP en el ejercicio resuelto 255
1
implica que, si hubiera convergencia uniforme, la serie n debera ser convergente,
cosa que no es cierto.
nC1 nC1
c) Sea 0 < a < 1. Para a 6 x < a se tiene que 0 6 x 2 6 a2 lo que implica que:
n n
x2 a2
06 nC1
6 nC1
:
1 x2 1 a2
nC1 nC1
Como la sucesin fa2 g es decreciente, se tiene que 1 a2 >1 a4 > 0 y deducimos
que:
n n
x2 a2
06 6 :
1 x 2nC1 1 a4
n
Como a2 6 a2n y la serie
P 2n
a es convergente por ser una serie Pgeomtrica de razn
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 unifor-
memente en conjuntos de la forma fx 2 R W jxj > 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
X n
conjunto A. Sea Fn D fk . Prueba que para toda sucesin fxn g de puntos de A se
kD1
verifica que la sucesin fF2n .xn / Fn .xn /g converge a cero.
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 verifica que
Fq .x/ Fn .x/ 6". Haciendo en esta desigualdad q D2n resulta que para todo x 2 A es
jF2n .x/ Fn .x/j6". En particular para x Dxn 2 A se tiene que jF2n .xn / Fn .xn /j6",
desigualdad que es vlida para todo n > n0 .
R y, para cada n 2 N, se define una funcin fn W ! R . Se pide estudiar, haciendo

uso de los criterios dePDirichlet o de Abel, la convergencia puntual y uniforme en de

la serie de funciones fn .
. 1/n
a) D R; fn .x/ D .
x2 C n
. 1/n
b) D 2; C1; fn .x/ D .
nx C . 1/n
sen.nx/
c) D 0; ; fn .x/ D p .
n
1
Solucin. a) Pongamos gn .x/ D . Para cada x 2 R la sucesin ffn .x/g es mon-
x2 C n
tona decreciente. Adems como para todo x 2 R es 0 < gn .x/ 6 n1 , se verifica que fgn g
converge uniformementeP 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 conver-
gencia absoluta en ningn punto.
b) Pongamos:
. 1/n . 1/n nx . 1/n

nx 1
fn .x/ D n
D 2 2
D . 1/n 2 2 :
nx C . 1/ n x 1 n x 1 n2 x 2 1
1 1
Como para todo n 2 N y todo x > 2 se verifica que 0 < 2 2 6 y
P 1 n x 1 4n2 1
la serie 4n2 1
es convergente, se sigue, por el criterio de Weierstrass que la serie
X 1
converge uniformemente en R.
n2 x 2 1 n
n>1
nx
Pongamos gn .x/ D . Se comprueba enseguida que gnC1 .x/ 6 gn .x/. Adems:
n2 x 2 1
n C x 2 n3
gn0 .x/ D
.n2 x 2 1/2
Por lo que gn es decreciente. En consecuencia, para todo x > 2 se verifica 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
n n sen x
X 2
Gn .x/ D sen.kx/ D sen x x
2 sen
kD1
2
1
Por lo que, para cada 0 < x 6 y para todo n 2 N se verifica que jGn .x/j6 . El
P sen.x=2/
criterio de Dirichlet 9.43 nos dice que la serie fn .x/ es convergente. Puesto que para

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 verificar 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
fGn 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:
sen nC1n

nC1

Gn .2=n/ D sen.1/ n sen.1/ sen ! C1:
sen n1 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 suficientemente 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.
Ejercicio resuelto 259 Calcula el radio de convergencia de cada una de las series de poten-
n
P
cias cn x , y estudia el comportamiento de la serie en los extremos del intervalo de
convergencia, en los siguientes casos:
p
1 n

n n log.nC1/
a/ cn D 2 ; b/ cn D .n C 1/ ; c/ cn D e 1C
n CnC1 n
1 3 5 .2n C 1/ p n!
n
d / cn D ; e/ cn D a .a > 0/; 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
y cn n1 la serie cn x n no converge para x D 1. Se comprueba fcilmente que para
P
P> 5 esn cnC1 < cn y como, adems, fcn g ! 0. el criterio de Leibniz implica que la serie
n
cn x converge para x D 1.
b) El criterio de la raz nos da:
!
q q
.log n/ 2
n n
.n C 1/log n D exp .log n/2 D exp ! exp.0/ D 1:
n
Por tanto, el radio de convergencia es 1. No hay convergencia en 1 ni tampoco en 1

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
lKm D :
x!0 x 2

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
P e 110.25,
Por tanto, recordando las observaciones se sigue que la serie dada tiene el mismo
n
radio de convergencia que la serie 2 n x . Pero esta serie tiene, evidentemente, radio
de convergencia R D 1. Para x D 1 la serie dada no converge porque 0 < cn 2e n1 y
P aplican el criterio lmite de comparacin con la serie armnica. Para x D 1 la serie
se
. 1/ 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.
nC1 nC1
.n C 1/! .n C 1/n

cnC1 nC1 1 1
D D D 1 ! :
cn .n C 2/nC1 n! nC2 nC2 e
El radio de convergencia es R D e. La serie no converge para x D e porque la sucesin
fcn enn 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
cn e D e e D 2 n ! C1:
.n C 1/n .n C 1/n nC1

X x 2n
Ejercicio resuelto 260 Calcula la funcin suma de la serie de potencias .
n.2n 1/
n>1
Solucin. Empezamos viendo para qu valores de x la serie dada converge absoluta-
X jxj2n
mente. Para ello, aplicamos el criterio del cociente a la serie . Pongamos
n.2n 1/
n>1
jxj2n
an D . Puesto que:
n.2n 1/
anC1 jxj2.nC1/ n.2n 1/ n.2n 1/

D 2n
D jxj2 ! jxj2 ;
an .n C 1/.2n C 1/ jxj .n C 1/.2n C 1/
deducimos que la serie dada converge absolutamente si jxj2 < 1, es decir, si jxj < 1. De-
ducimos as que 1; 1 es el intervalo de convergencia de la serie. Sea f W 1; 1! R
la funcin suma de la serie:
1
X x 2n
f .x/ D 1 < x < 1:
n.2n 1/
nD1

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:
1
0 .x/ D
X x 2n 1
f 2
2n 1
nD1
1 1
X X 2
f 00 .x/ D 2x 2n 2
D 2.x 2 /n D :
1 x2
nD1 nD0
Puesto que f .0/ D f 0 .0/ D 0, deducimos que:

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

X x 3n
Ejercicio resuelto 261 Calcula la funcin suma de las series de potencias .n C 1/ n y
2
n>0
X n.x C 3/n
.
2n
n>1
Solucin. Sea
1
1 X
f .t/ D D tn . 1 < t < 1/:
1 t
nD0
Tenemos que:
1
t X
tf 0 .t / D D nt n . 1 < t < 1/:
.1 t /2
nD1
Haciendo en estas igualdades t D x 3 =2, supuesto que 1 < x 3 =2 < 1, deducimos que:
1 1
!n 1 !n
X x 3n X x 3 X x3 1 x 3 =2 4
.n C 1/ n D C n D C D
2 2 2 1 x 3 =2 .1 x 3 =2/2 .x 3 2/2
nD0 nD0 nD1
Anlogamente, haciendo t D .x C 3/=2, supuesto que 1 < .x C 3/=2 < 1, obtenemos:

1 1
n.x C 3/n xC3 n

X X xC3 3Cx
D n D D 2 :
2n 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:
w1 1 X . 1/n 1
dx D :
1 C xq qn C 1
0 nD0

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 1 . 1/nC1 unC1
. 1/k uk D ;
1Cu
kD0
hagamos u D xq para obtener:

n
X 1 . 1/nC1 x q nCq
. 1/k x qk D :
1 C xq
kD0
Integrando esta igualdad en el intervalo 0; 1, obtenemos
w1 1 X . 1/k n 1
w . 1/nC1 x q nCq
dx D C dx :
1 C xq qk C 1 1 C xq
0 kD0 0
Tomando ahora lmites para n ! 1, y teniendo en cuenta que:

w1 w1
w1
. 1/nC1 x q nCq . 1/ nC1 x q nCq 1
x q nCq dx D

dx 6
dx 6 ;
1Cx q 1Cx q
qn C q C 1
0 0 0
obtenemos la igualdad:
w1 1
1
X . 1/n
dx D :
1 C xq qn C 1
0 nD0
Finalmente
w1 1 X . 1/n 1
dx D log 2 D
1Cx nC1
0 nD0
w1 1
1
X . 1/n
dx D D
1 C x2 4 2n C 1
0 nD0
w1 1 log 2 X . 1/n
1
dx D p C D
1 C x3 3 3 3 3n C 1
0 nD0
Tambin podemos hacer este ejercicio teniendo en cuenta que:

1
1 X
D . 1/n .x q /n .jxj < 1/:
1 C xq
nD0
Como las series de potencias pueden integrarse trmino a trmino en su intervalo de

convergencia, se sigue que para todo 0 < t < 1 es
wt 1 w1 t 1
q nC1
n t
X X
n qn
dx D . 1/ x dx D . 1/
1 C xq qn C 1
0 nD0 0 nD0

X t q nC1
Ahora, la serie . 1/n , es una serie de potencias cuyo intervalo de convergen-
qn C 1
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 verifica que dicha serie converge
uniformemente en 0; 1 y por tanto
1 1
X t q nC1 X 1
lKm . 1/n D . 1/n :
t !1 qn C 1 qn C 1
t < 1 nD0 nD0
Como, evidentemente, se verifica que
wt 1 w 1
1
lKm q
dx D dx
t !1 1Cx 1 C xq
0 0
Deducimos que
w1 1 X 1
1
q
dx D . 1/n :
1Cx qn C 1
0 nD0

X
Ejercicio resuelto 263 Expresa la funcin suma de las series de potencias nx n 1
, y
n>1
1
X n X n
x n por medio de funciones elementales y calcula el valor de .
nC1 2n .n C 1/
n>1 nD1
1
1 X
Solucin. Sea f .x/ D D x n , donde 1 < x < 1. Entonces
1 x
nD0
1
1 X
f 0 .x/ D D nx n 1
. 1 < x < 1/:
.1 x/2
nD1
Tambin
1
x X
D nx n . 1 < x < 1/:
.1 x/2
nD1
Integrando esta igualdad obtenemos:
wx t x
1
X n
2
dx D C log.1 x/ D x nC1 . 1 < x < 1/:
.1 t/ 1 x nC1
0 nD1
Deducimos que:
1
X n 1 log.1 x/
xn D C . 1 < x < 1/:
nC1 1 x x
nD1
1
n

X
1
En particular, haciendo x D 2 resulta que D2 2 log 2:
2n .n C 1/
nD1

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>0 n>1
R.n/x n donde R.n/ es una funcin

P
Solucin. Cualquier serie de potencias del tipo
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:
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
coeficiente 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 infinito. Pues:
P .n C 1/ n! P .n C 1/ 1
D ;
.n C 1/! P .n/ P .n/ n C 1
y basta notar que, evidentemente, lKm P .n C 1/=P .n/ D 1.
n!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
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:
P 000 . 1/
x 3 C x C 3 D P . 1/ C P 0 . 1/.x C 1/ C .x C 1/3 D 1 C 4.x C 1/ C .x C 1/3 :
3!
Luego
1 3 1 1 1
xn

X n CnC3 n
X 1 2 n
X X
x D C 4 C .n C 1/ x D C .n2 C2nC5/x n :
nC1 nC1 nC1
nD0 nD0 nD0 nD0
La serie x n =.n C 1/ se obtiene integrando la serie geomtrica x n y dividiendo por

P P
x, de donde se sigue que
1
X xn log.1 x/
D . 1 < x < 1/:
nC1 x
nD0
La suma de la serie .n2 C 2n C 5/x n puede calcularse tambin derivando dos veces
P
la serie geomtrica. Seguiremos el procedimiento general para sumar series aritmtico
geomtricas, es decir, series del tipo Q.n/x n donde Q.n/ es un polinomio en n.
P

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 n
X
k
Q.k/x k Q.k/x kC1

Q.k/x .1 x/ D
kD0 kD0
n
X1
Q.x/ x kC1 C Q.0/ Q.n/x nC1 D

D Q.k C 1/
kD0
n
X1
D .3 C 2k/x kC1 C 5 Q.n/x nC1
kD0
Tomando lmites para n ! 1 en esta igualdad, teniendo en cuenta que para 1 < x < 1
es lKm Q.n/x nC1 D 0, se tiene:
n!1
1 1
X 5 1 X
Q.n/x n D C .3 C 2n/x nC1 D
1 x 1 x
nD0 nD0
1
5 3x 2x 2 X n 1D
D C C nx
1 x .1 x/2 1 x
nD1
5 3x 2x 2 4x 2 7x C 5
D C C D
1 x .1 x/2 .1 x/3 .1 x/3
Finalmente
1 3
X n CnC3 log.1 x/ 4x 2 7x C 5
xn D C . 1 < x < 1/:
nC1 x .1 x/3
nD0
X 1 X 2
La suma de la tercera serie 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 procedimien-
to 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
1 n
X x
Como D log.1 x/, se obtiene fcilmente que:
n
nD1
1
X 2 log.1 x/ C x
x n D 2 log.1 x/ C 2 :
n.n C 1/ x
nD1
X n3 1
X 1 n
Para sumar la serie x n , usaremos que ex D x . La idea consiste en escribir
n! n!
n>0 nD0
el polinomio como n3 Dn.n 1/.n 2/CAn.n 1/CBnCC . Identificando coeficientes

resulta A D 3; B D 1; C D 0. Por tanto

1 3 1
X n X n.n 1/.n 2/ C 3n.n 1/ C n
xn D x nD
n! n!
nD0 nD0
1 1 1
X 1 X 3 X x
D xn C xn C x n D.x 3 C3x 2 Cx/ ex
.n 3/! .n 2/! .n 1/!
nD3 nD2 nD1
X P .n/
Este mtodo puede usarse para sumar series del tipo x n donde P .n/ es un
n!
polinomio.
X xn
Ejercicio resuelto 265 Calcula la funcin suma de la serie de potencias y
n.2n C 1/
n>1
deduce el valor de las sumas de las series:
X 1 X . 1/n
y :
n.2n C 1/ n.2n C 1/
n>1 n>1
X 1
Solucin. Observa que el intervalo de convergencia de la serie x n es el
n.2n C 1/
n>1
intervalo 1; 1 y que la serie converge tambin en los extremos del intervalo de con-
vergencia. Sea f W 1; 1 ! R la funcin suma:
1
X 1
f .x/ D xn . 1 6 x 6 1/:
n.2n C 1/
nD1
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 justifica, sin necesidad de recurrir al teorema de Abel, que la serie converge unifor-
memente en 1; 1 y, por tanto, la funcin f es continua en 1; 1.
Por el teorema de derivacin para funciones definidas por series de potencias, sabemos
que la funcin f es indefinidamente derivable en el intervalo 1; 1 y
1
X xn 1
f 0 .x/ D . 1 < x < 1/:
2n C 1
nD1
Por tanto:
1
X xn
xf 0 .x/ D . 1 < x < 1/:
2n C 1
nD1
0
La forma que tiene f nos sugiere considerar la funcin
1
X x 2nC1
g.x/ D . 1 < x < 1/
2n C 1
nD0

que se calcula fcilmente, pues

1
X 1
g 0 .x/ D x 2n D :
1 x2
nD0
Como g.0/ D 0, deducimos que

wx 1 1 1
g.x/ D dt D log.1 C x/ log.1 x/:
1 t2 2 2
0
Ahora relacionaremos f 0 con g. Para 0 < x < 1 tenemos que:

1 p 2nC1 1 p 2nC1 1
p X . x/ p X . x/ p p 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 xf 0 .x/:
De donde:
p p p
0 .x/ g. x/ 1 log.1 C x/ log.1 x/ 1
f D p D p .0 < x < 1/:
x x x 2x x x
Integrando por partes se obtiene que una primitiva de f en 0; 1 viene dada por:
p p p p
.1 x/ log.1 x/ .1 C x/ log.1 C x/
h.x/ D p .0 < x < 1/:
x
Deducimos que:
f .x/ D h.x/ lKm h.x/ D 2 C h.x/ .0 6 x < 1/:

x!0
Como f es continua en 1; 1, obtenemos que:

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

1
X . 1/n
xf 0 .x/ D jxjf 0. jxj/ D jxjn . 1 < x < 0/:
2n C 1
nD1
Consideraremos ahora la funcin

1
X . 1/n 2nC1
'.x/ D x . 1 < x < 1/:
2n C 1
nD0
Como
1
X 1
' 0 .x/ D . 1/n x 2n D ;
1 C x2
nD0

y '.0/ D 0, deducimos que:

wx 1
'.x/ D dt D arc tg x:
1 C t2
0
Al igual que antes deducimos que:

p p
0 x arc tg. x/
f .x/ D p . 1 < x < 0/;
x x
o lo que es igual:
p p
0. x arc tg. x/
f x/ D p .0 < x < 1/:
x x
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/
H .x/ D 2 p C log.1 C x/ .0 < x < 1/:
x
Deducimos que
f . x/ D H .x/ lKm H .x/ D H .x/ 2 .0 6 x < 1/:

x!0
Como f es continua en 1; 1, obtenemos

1
X . 1/n
f . 1/ D D lKm f . x/ D lKm H .x/ 2D C log 2 2:
n.2n C 1/ x!1 x!1 2
nD1

Ejercicio resuelto 266 Prueba que las funciones definidas por:
sen x ex 1
g.x/ D ; g.0/ D 1; f .x/ D ; f .0/ D 1
x x
cos x 1 log.1 C x/
h.x/ D ; h.0/ D 1=2; '.x/ D ; '.0/ D 1
x2 x
son de clase C 1 en su intervalo natural de definicin.
Solucin.
10.43 Estrategia. Para probar que una funcin es de clase C 1 en un intervalo I es

suficiente 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
cn .x a/n , con radio de convergencia no nulo. Sea
P
tenemos una serie de potencias
X1
I el intervalo de convergencia de la serie y sea F W I ! R , F.x/ D cn .x a/n
nD0

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
q
X
F.x/ ck .x a/k
kD0
G.x/ D ; G.a/ D cqC1 :
.x a/qC1
Es evidente que
1
X
G.x/ D cqC1Cn .x a/n x 2 I:
nD0
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
g.x/ D 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
h.x/ D x .x 2 R/
.2n/!
nD1
1
X . 1/n n
'.x/ D x . 1 < x < 1/
nC1
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:
x sen x
f .x/ D log ; f .0/ D 1;
sen x x x
1 2
f .x/ 1 12 x
es de clase C 1 . Calcula lKm .
x!0 x4
Solucin. Las funciones:
1
X . 1/n
g.x/ D x 2n .x 2 R/;
.2n C 1/!
nD0
1
X . 1/n
h.x/ D .x 1/n .jx 1j < 1/
nC1
nD0
son de clase C 1 en R y en 0; 2 respectivamente. Adems:

sen x log x
g.x/ D ; g.0/ D 1I h.x/ D ; h.1/ D 1:
x x 1

Como para todo x 2 ; , x 0 es 0 < g.x/ D senx x < 1, tenemos que:
log senx x

f .x/ D sen x D h.g.x//; f .0/ D h.g.0// D 1:
x 1
Concluimos que f es de clase C 1 en ; por ser composicin de funciones de clase

C 1.
Pongamos:
1
X . 1/n 2n 1 2 1
g.x/ 1D x D x C x 4 C '.x/:
.2n C 1/! 3! 5!
nD1
Deducimos que:
1
X . 1/n 1 1
f .x/ D h.g.x// D .g.x/ 1/n D 1 .g.x/ 1/ C .g.x/ 1/2 C .x/;
nC1 2 3
nD0
donde:
1
X
3. 1/n
.x/ D .g.x/ 1/ .g.x/ 1/n 3
:
nC1
nD3
1 2
Observa que es continua. Adems, como para x ! 0 es g.x/ 1 3! x , se verifica
que .g.x/ 1/3 .3!/13 x 6 y, por tanto, .x/ D o.x 4 / para x ! 0.
Haciendo las operaciones indicadas en la igualdad anterior, calculando solamente los
trminos hasta la potencia x 4 , obtenemos:
1 2 11 4 1 1 4 1 11 4
f .x/ D 1 C x x C x C o.x 4 / D 1 C x 2 C x C o.x 4 /:
12 2 5! 3 .3!/2 12 2160
Deducimos que:
1 2
f .x/ 1 12 x 11
lKm D :
x!0 x4 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 fiera 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
a/ ; b/ :
x .x /n

Las fracciones del tipo a/ pueden desarrollarse en serie de potencias centradas en el

punto que queramos a , basta escribir:
1 1 1 1
D D x a :
x a .x a/ a1 a
x a
Pero la ltima fraccin es la suma de una serie geomtrica de razn a, por tanto,
x a

supuesto que a < 1, se verifica que:

1 1
1 1 X x a n X 1
D D .x a/n jx aj < j aj:
x a a . a/nC1
nD0 nD0
Derivando respecto a x esta igualdad obtenemos:
1
1 X n
D .x a/n 1
jx aj < j aj:
.x /2 . a/nC1
nD1
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:
1 2 1
f .x/ D 2
C
x 1 .x C 1/ xC1
Segn acabamos de ver, las fracciones obtenidas puedes desarrollarlas en series de po-
tencias 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
verifica la siguiente relacin de recurrencia:
anC2 D 2anC1 an ; a0 D 1; a1 D 3:
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 definida en algn
nD0
intervalo centrado en el origen. Tenemos que:
1
X 1
X
f .x/ D a0 C a1 x C an x n D a0 C a1 x C anC2 x nC2 D
nD2 nD0
X1
an x nC2 D

D a0 C a1 x C 2anC1
nD0
1
X 1
X
D a0 C a1 x 2x anC1 x nC1 x2 an x n D
nD0 nD0
X1
D a0 C a1 x 2x an x n x 2 f .x/ D a0 C a1 x 2x.f .x/ a0 / x 2 f .x/:
nD1

De esta igualdad se obtiene que:

a0 C a1 x C 2xa0 1 x 1 1
f .x/ D D D x D
1 C 2x C x 2 .1 C x/2 .1 C x/2 .1 C x/2
1
! 1
!
d 1 d 1 d X n d X
n
D Cx D . x/ C x . x/ D
dx 1 C x dx 1 C x dx dx
nD0 nD0
1
X 1
X X1
n n 1
D . 1/ nx C . 1/n nx n D 1 C . 1/n .2n C 1/x n :
nD1 nD1 nD1
Obtenemos as que para todo n > 1 es an D . 1/n .2n C 1/. Puedes comprobar ahora que
efectivamente se verifica la igualdad anC2 D 2anC1 an .
Ejercicio resuelto 270 Definamos f W RC
o ! R por:
w1 e x 2 .1Ct 2 /
f .x/ D dt :
1 C t2
0
Prueba que:
a) f .0/ D =4, y lKm f .x/ D 0.
x!C1
b) Usando un desarrollo en serie para f , prueba que f es derivable en RC y:
w1
x 2 .1Ct 2 /
f 0 .x/ D 2x e dt :
0
c) Justifica que para todo x > 0 se verifica que:

!2
wx
t2
f .x/ C e dt D :
4
0
C1
w p
x2
d) Deduce de lo anterior que e dx D .
2
0
Solucin. a) Tenemos que.
w1 1
f .0/ D dt D arc tg 1 arc tg 0 D :
1 C t2 4
0
Adems:
e x2 .1Ct 2 /
x 2 .1Ct 2 / x2
6 e 6e :

1 C t2

Desigualdades vlidas para todo t 2 R, en particular para t 2 0; 1, lo que implica que:
w1
x2 x2
0 6 f .x/ 6 e dt D e lKm f .x/ D 0:
x!C1
0

1
x 2 .1Ct 2 /
X .1 C t 2 /n 2n
b) Tenemos que e D . 1/n x . Por tanto:
n!
nD0
w1 X
1
.1 C t 2 /n 1
f .x/ D . 1/n x 2n dt :
n!
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 fijo. 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:
.1 C t 2 /n 1
gn .t/ D . 1/n x 2n :
n!
X debes considerar que x est fijo y la variable es t 2 0; 1. Probaremos
En esta expresin
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:
.1 C t 2 /n 1 2n 1 2n 22n x 2n .4x 2 /n
jgn .t/j D x 2n 6 x 6 D
n! n! n! n!
X .4x 2 /n
Como tambin jg0 .t /j 6 1, y la serie es convergente, podemos aplicar a la
n!
P n>0
serie gn el criterio de convergencia uniforme de Weierstrass y concluimos que dicha
serie converge uniformemente en 0; 1. Por tanto:
0 1
1 w1 2 n 1 1 w1 2 n 1
X .1 C t / X
@ . 1/n .1 C t /
f .x/ D . 1/n x 2n dt D dt A x 2n:
n! n!
nD0 0 nD0 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
X1 w1 2n.1 C t 2 /n 1
f 0 .x/ D @ . 1/n dt A x 2n 1 D
n!
nD1 0
0 1
1 w1 2 /n 1 1 w1
X
@ . 1/n .1 C t X .1 C t 2 /n 2n
D 2x dtAx 2n 2 D 2x . 1/n x dt D
.n 1/! n!
nD1 0 nD0 0
1 w1
1
!
w X 2 n 2 n
n .x / .1 C t / 2 2
D 2x . 1/ dt D 2x e x .1Ct / dt :
n!
0 nD0 0
c) Pongamos para todo x > 0:

!2
wx
t2
h.x/ D f .x/ C e dt :
0

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:
wx w1
x2 t2 x2 x 2 u2
h 0 .x/ D f 0 .x/ C 2e e dt D t D xu D f 0 .x/ C 2e e x du D
0 0
w1
0 .x/ C x 2 .1Cu2 /
Df 2x e du D 0:
0
Luego, h es constante y, por tanto, h.x/ D h.0/ D =4 para todo x > 0.
d) Tomando lmites para x ! C1 en la igualdad:
wx r

t2
e dt D f .x/
4
0
C1
w p

obtenemos que e x2
dx D .
2
0
10.6. Los primeros desarrollos en serie
Puede afirmarse 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. p
r s r s 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 afir-
mar explcitamente que una serie infinita 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 fun-
damental 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
x2 x3 x4
log.1 C x/ D x C C (10.20)
2 3 4
el cual obtuvo usando los resultados de Gregory de St. Vincent.

Newton y las series infinitas 660
A su vez, este resultado de Mercator fue mejorado por James Gregory (1638 - 1675) que
obtuvo la expansin:
1Cx 2x 3 2x 5
log D 2x C C C
1 x 3 5
que converge ms rpidamente que la anterior. A James Gregory se debe tambin la serie del
arcotangente:
x3 x5 x7
arctan x D x C C (10.21)
3 5 7
Sustituyendo x D 1 resulta
1 1 1
D1 C C
4 3 5 7
Mejores representaciones
p de se deducen de esta serie haciendo como A. Sahrp (1651 - 1742)
en 1705 x D 1= 3, con lo que

1 1 1 1
Dp 1 C C
6 3 3 3 32 5 33 7
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 1 1 1 1 1 1 1
D 4 arctan arctan D4 3
C C
4 5 239 5 35 5 55 239 3 239 3 5 2395
Con ella calcul con 100 cifras decimales.
10.6.1. Newton y las series infinitas
Los principales descubrimientos matemticos de Newton en el campo del clculo infinite-

simal 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 infinitas.
A finales de ese mismo ao, el mtodo de fluxiones, es decir, el clculo de derivadas. En 1666
el mtodo inverso de fluxiones y la relacin entre cuadraturas y fluxiones. 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 Infinitorum, 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
r1 2 1=2 dx , consider dicha cuadratura como un problema de interpolacin, relacionn-
0 .1 x / r1
dola con las cuadraturas anlogas 0 .1 x 2 /n dx conocidas para exponentes naturales n 2 N.

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).
wx 1 3
.1 t 2 / dt D x x
3
0
wx 2 3 1 5
.1 t 2 /2 dt D x x C x
3 5
0
wx 3 3 3 5 1 7
.1 t 2 /3 dt D x x C x x
3 5 7
0
wx 4 3 6 5 4 7 1 9
.1 t 2 /4 dt D x x C x x C x
3 5 7 9
0
Newton observ que el primer trmino de cada expresin es x, que x aumenta en potencias im-
pares, que los signos algebraicos se van alternando, y que los segundos trminos 31 x 3 ; 32 x 3 ; 33 x 3 ,
4 3
3 x estabanren progresin aritmtica. Razonando por analoga, supuso que los dos primeros
x
trminos de 0 .1 t 2 /1=2 dt deberan ser
1
2
x x3
3
De la misma manera, procediendo por analoga, pudo encontrar algunos trminos ms:
wx 1 1 1 1
2 1=2 2 3 8 5 16 7 128
.1 t / dt D x x x x x9
3 5 7 9
0
rx
Representando para n D 0; 1; 2; : : : por Qn .x/ el polinomio 0 .1 t 2 /n dt , se tiene que
wx n
X n . 1/k 2kC1
2 n
Qn .x/ D .1 t / dt D x
k 2k C 1
0 kD0
Donde
n n.n 1/.n 2/ .n k C 1/ n
D ; D1
k 1 2 3k 0
Haciendo ahora en Qn .x/, n D 1=2, se obtiene
1 1 1 1
2
Q1=2 .x/ D x x3 8
x5 16
x7 128
x9
3 5 7 9
Lo que llev a Newton a concluir que
wx
.1 t 2 /1=2 dt D Q1=2 .x/
0

1 1
X
2 . 1/n 2nC1
Donde Q1=2 .x/D x es una suma con infinitos trminos. A partir de aqu,
n 2n C 1
nD0
Newton dedujo el desarrollo de .1 x 2 /1=2 por derivacin.
1 2 1 4 1 6 1 8
.1 x 2 /1=2 D 1 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 Ol-
denburg, 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:
Las extracciones de races resultan muy abreviadas por el teorema

m m n m 2n m 3n
.P C PQ/m=n D P m=n C 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 mn
el ndice numrico de las potencias de P CPQ. . . Por ltimo
ADP m=n
, B D n AQ, C D m2nn BQ y as sucesivamente.
m
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 conoci-
dos, 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 infinitas, 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:
na mCn
1. El rea bajo la curva de ecuacin y D ax m=n es ax n .
mCn
2. Si la ecuacin y D y.x/ de la curva est dada por un nmero finito 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 msPcomplicada, entonces debe desarrollarse la ecuacin de
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 P cualquier cantidad analticamente expresada poda desa-
rrollarse en una serie de la forma r
ak x , donde rk es un nmero racional, serie que puede
k
ser cuadrada trmino a trmino usando la regla 1.

r 1=4 p
Veamos un ejemplo de esta forma de proceder. Se trata de calcular 0 x x 2 dx . New-
ton procede como sigue
1 3=2 1 5=2 1 7=2 1 9=2
.x x 2 /1=2 D x 1=2 .1 x/1=2 D x 1=2 x x x x
2 8 16 128

Por tanto
1=4
w 1=4
2 1=2 2 3=2 1 5=2 1 7=2 1 9=2 5 11=2
.x x / dx D x x x x x
3 5 28 72 704 0
0
2 1 1 1 5
D (10.22)
3 23 5 25 28 27 72 29 704 211
p
yD x x2
C
A B O
r 1=4 p
Figura 10.4. Cuadratura 0 x x 2 dx
En la figura 10.4 se ha representado el semicrculo de centro .1=2; 0/ y radio 1=2. El sector

circular COA tiene amplitud =3 p por lo que su rea es la tercera parte
p de la del semicrculo,
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:
1=4
w p
2 1=2 3
.x x / dx C D
32 24
0
Deducimos que
p
3 3 2 1 1 1 5
D C 24
4 3 23 5 25 28 27 72 29 704 211
Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie infinita que,
adems, converge rpidamente.
La confianza de Newton en los procesos infinitos queda reflejada 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 finito de trminos, este nuevo mtodo puede siempre conseguir lo mismo por
medio de ecuaciones infinitas, de tal forma que no he tenido ninguna duda en darle asi-
mismo 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 ra-
zonamiento est confinado 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 infinitas proporcio-
naban un mtodo de anlisis con la misma consistencia interna que el lgebra de ecuaciones
finitas.


Calculo - Cap10 Sucesiones y Series de Funciones PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo - Cap10 Sucesiones y Series de Funciones PDF

Cargado por

Copyright:

Formatos disponibles

Captulo 10

Sucesiones y series de funciones

La representacin de funciones complicadas por medio de funciones sencillas es una de

Universidad de Granada Prof. Javier Prez

10.2. Conceptos bsicos

10.2 Ejemplos. Consideremos las sucesiones de funciones ffn g, donde fn W R ! R es la

Universidad de Granada Prof. Javier Prez

10.2.1. Convergencia puntual

C D fx 2 I W ffn .x/g convergeg:

Supuesto que C , la funcin f W C ! R definida para todo x 2 C por:

f .x/ D lKm ffn .x/g

se llama funcin lmite puntual de la sucesin ffn g.

10.4 Observacin. Para entender la definicin de convergencia puntual y en general en todo

10.5 Ejemplo. Sea la sucesin de funciones ffn g donde, para cada n 2 N, fn W 0; 1 ! R es

fn .x/ D nx.1 x/n :

Universidad de Granada Prof. Javier Prez

Universidad de Granada Prof. Javier Prez

10.6 Ejemplo. Sea la sucesin de funciones ffn g donde, para cada n 2 N, fn W R ! R es la

Este ejemplo y el anterior ponen de manifiesto que la convergencia puntual de ffn g a f

10.2.2. Convergencia Uniforme

Sea J un intervalo no vaco contenido en el campo de convergencia puntual de la sucesin

Universidad de Granada Prof. Javier Prez

Universidad de Granada Prof. Javier Prez

Observa que fn .0/ D 0 y, si x > 0, lKm fn .x/ D x lKm n2 .e x n

Estudiemos si hay convergencia uniforme en un intervalo de la forma a; C1, con a > 0.

para todo n 2 N. Por tanto:

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

Universidad de Granada Prof. Javier Prez

10.9 Observaciones. El concepto de convergencia uniforme requiere algunas precisiones im-

Demostracin. Supongamos que ffn g converge uniformemente a una funcin f en J . Enton-

La utilidad de la condicin de Cauchy para la convergencia uniforme es que es intrnseca a

Universidad de Granada Prof. Javier Prez

10.2.3. Series de funciones

La funcin lmite puntual, llamada funcin suma de la serie, es la funcin F W C ! R dada

El siguiente resultado es el ms til para estudiar la convergencia uniforme y absoluta de una

Universidad de Granada Prof. Javier Prez

Deducimos que para todo x 2 A se verifica que:

Como esta desigualdad es vlida para todo x 2 A se sigue que:

sup fjFn .x/ Fm .x/j W x 2 Ag 6 ": (10.2)

Criterio de Dirichlet. Supongamos que:

Criterio de Abel. Supongamos que:

Universidad de Granada Prof. Javier Prez

Universidad de Granada Prof. Javier Prez

deducimos de la igualdad anterior:

Demostracin. Pongamos fn  fn .x/D. 1/nC1. Entonces ffn g es una sucesin de funciones

Tomando valores absolutos obtenemos:

Universidad de Granada Prof. Javier Prez

1/nC1 gn verifica la condicin de Cauchy para la

Pero por la forma en que hemos tomado n0 se sigue que:

Universidad de Granada Prof. Javier Prez

10.16 Teorema (Permutacin de la integracin con el lmite uniforme). Supongamos que

jf .x/ fn .x/j 6 " para todo x en a; b

As pues, si n > n0 tenemos:

Al cumplirse esto para todo " > 0 se sigue que

Universidad de Granada Prof. Javier Prez

10.17 Ejemplo. Para cada n 2 N sea n 2

i) fn es derivable en I para todo n 2 N.

ii) ffn g converge uniformemente a f en I .

iii) ffn0 g converge uniformemente a g en I

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

Universidad de Granada Prof. Javier Prez

Tomando lmites y haciendo uso del teorema anterior, deducimos que:

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

Demostracin. Pongamos fn fn .x/D. 1/nC1. Entonces ffn g es una sucesin de funciones

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

A D > 0 W fjcn j n g est acotada ; B D > 0 W fn jcn j n g est acotada :

sen./ D 2 sen.=2/ cos.=2/ D 0; cos./ D cos2 .=2/ sen2 .=2/ D 1

sen.x C 2/ D sen x cos.2/ C cos x sen.2/ D sen x;