Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Cap10
Calculo Cap10
10
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 funciones que se suponen muy generales por otras de un tipo especialmente sencillo. Por ejemplo,
podemos aproximar localmente, en las proximidades de un punto, una funcin derivable por
sus polinomios de Taylor calculados en dicho punto. Ya hemos visto que esta aproximacin es
de gran utilidad para calcular lmites. Ahora queremos dar un paso ms y nos interesamos por
representaciones que sean vlidas no slo localmente, en las proximidades de un cierto punto,
sino en todo un intervalo.
Hay muchas maneras de representar funciones complejas por medio de otras ms simples,
una de las ms tiles es la representacin por medio de series. Podemos describir este proceso
en trminos muy generales como sigue.
Se considera una clase S de funciones simples. Por ejemplo, S puede ser la clase de
las funciones polinmicas, o la clase de todos los polinomios trigonomtricos que son las
n
X
funciones de la forma
ak cos.kx/ C bk sen.kx/ donde ak ; bk son nmeros reales.
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 matem581
Introduccin
582
tico que, conocida la funcin f , permite calcular, al menos en teora, las fn . Esta parte
del proceso de representacin se suele llamar anlisis porque consiste en analizar f
descomponindola en sus componentes ms simples. Esto es algo que se hace constantemente en todos los procesos de tratamiento de seales auditivas o 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 elementales fn . Para que este proceso sea til las funciones componentes fn deben estar
determinadas de manera nica por f y debe ser posible, mediante algn algoritmo matemtico que suele ser una serie o una integral , recobrar la funcin f mediante
sus componentes fn . Por ejemplo, para el caso de la funcin exponencial sabemos (ver
(9.13)) que para todo x 2 R es:
1
n
X
X
xn
xk
D
n!1
k!
n!
kD0
nD0
Con ello hemos representado una funcin trascendente, como es la exponencial, por medio de una serie de funciones polinmicas.
Volviendo a la situacin general, lo que suele hacerse es tratar de recuperar la funcin
f por superposicin de sus componentes elementales fn . El trmino superponer
procede de la Fsica y en Matemticas se traduce por sumar. Por tanto, lo que queremos
es expresar f como la suma de la serie definida por la sucesin de funciones ffn g:
f D
1
X
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
fn .x/:
(10.1)
f .x/ D
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 representada f . Por ejemplo, si las funciones fn son continuas o derivables es tambin f continua
o derivable?.
Universidad de Granada
Dpto. de Anlisis Matemtico
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
Figura 10.1. Es
1
p
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
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?.
. 12 ; 0/
En esta introduccin del captulo ya han salido algunas ideas que seguidamente vamos a
presentar de manera formal.
Universidad de Granada
Dpto. de Anlisis Matemtico
Convergencia puntual
584
1
e
fn .x/ D nx.1
x/n :
x/n
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.
Universidad de Granada
Dpto. de Anlisis Matemtico
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.
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 lmite puntual f 0? Observa que, aunque para
cada x 2 0; 1 es f .x/ D lKm ffn .x/g D 0,
1
e
f20
n!1
f10
Para evitar ambigedades necesitamos precisar qu entendemos por proximidad entre dos
funciones. Para ello, considera dos funciones f; g W I ! R . Dichas funciones son iguales
cuando f .x/ D g.x/ para todo x 2 I o, lo que es igual, cuando 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 fcilmente 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
mKaxffn .x/ W x 2 0; 1g D fn .xn / D
n
nC1
nC1
1
:
e
Fjate en que lKm ffn .x/gD0 pero lKm mKaxffn .x/Wx 2 0; 1gD1= e > 0, es decir, las funcion!1
n!1
n nC1
nes fn no se aproximan a la funcin nula. De hecho, como la sucesin 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
005
01
Universidad de Granada
Dpto. de Anlisis Matemtico
Convergencia Uniforme
586
x 2n
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
:
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.
fn .x/ D
1
1
2
b
-3
-2
-1
x 2n
1Cx 2n
Tenemos que:
mKaxfjf .x/ fn.x/jWx 2 Rg>f 1C
1 2n
/
.1C 2n
1
e
1
1
D
:
!1
fn 1C
D1
1 2n
2n
2n
1Ce
1Ce
1 C .1C 2n /
Por tanto, la distancia entre la funcin fn y la funcin lmite puntual, f , no converge a cero.
Este ejemplo y el anterior ponen de 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.
Convergencia Uniforme
587
Para comprender bien esta definicin, analicemos la ltima desigualdad. Tenemos que:
f .x/j W x 2 J g 6 " jfn .x/
supfjfn .x/
f .x/j 6 " 8x 2 J
" 6 fn .x/
f .x/
f .x/ 6 " 8x 2 J
f
f
"
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 simultneamente 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
Universidad de Granada
Dpto. de Anlisis Matemtico
Convergencia Uniforme
588
uniforme en un intervalo J , lo que se hace es calcular, con las tcnicas usuales de derivacin, el
mximo absoluto de jfn .x/ f .x/j en J . La presencia del valor absoluto en jfn .x/ f .x/j
es incmoda para derivar por lo que conviene quitarlo, lo que casi siempre puede hacerse con
facilidad. Supongamos que el mximo absoluto de jfn .x/ f .x/j en J se alcanza en un punto
cn 2 J . Entonces, si 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 .
x n
/ D 0 (porque es una
n!1
sucesin de la forma np n donde 0 < jj < 1). Por tanto, el campo de convergencia puntual es
C
C D RC
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
fn .x/ D n2 x e
nx
n!1
w1
0
fn .x/dx D 1 0 D
w1
r1
0
n2 x e
nx
dx D1 .1Cn/ e
. lKm fn .x// dx :
n!1
Convergencia Uniforme
589
fm .x/j W x 2 J g 6 ":
Demostracin. Supongamos que ffn g converge uniformemente a una funcin f en J . Entonces, dado " > 0, existir un n0 2 N tal que para todo n > n0 se tiene que:
"
sup fjfn .x/ f .x/j W x 2 J g 6 :
2
Sea m > n0 . Para todo x 2 J tenemos que:
"
"
jfn .x/ fm .x/j 6 jfn .x/ f .x/j C jfm .x/ f .x/j 6 C D ":
2
2
Por tanto para todos n; m > n0 se 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 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
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.
Universidad de Granada
Dpto. de Anlisis Matemtico
Series de funciones
590
fn .
n>1
Debe quedar claro que una serie de funciones es una sucesin de funciones que se obtienen sumando consecutivamente las funciones de una sucesin dada. Todo lo dicho para
sucesiones de funciones se aplica exactamente igual para series de funciones. En particular, los
conceptos de convergencia puntual y uniforme para sucesiones de funciones
tienen igual signiX
ficado para series. As el campo de convergencia puntual de la serie
fn cuyas funciones fn
n>1
La nica novedad es que ahora tambin podemos considerar el campo de convergencia absoluta
de la serie, que es el conjunto
X
jfn .x/j es convergenteg:
A D fx 2 I W
n>1
tal que para todo x 2 A y todo n 2 N se tiene que jfn .x/j 6 n , donde la serie
convergente. Entonces
n es
n>1
n>1
n>1
criterio de Cauchy.
Universidad de Granada
Dpto. de Anlisis Matemtico
Series de funciones
Como
591
n es convergente cumplir la condicin de Cauchy, esto es, dado " > 0, existe
n>1
kD1
m
X
kD1
n
X
k D
k < ":
kDmC1
n
m
n
n
X
X
X
X
X
fk .x/
fk .x/D
fk .x/6
jfk .x/j6
k < ":
Fm .x/jD
kD1
kD1
kDmC1
kDmC1
kDmC1
n>1
Fm .x/j W x 2 Ag 6 ":
(10.2)
P
Por otra parte, si en la condicin de Cauchy (10.2) para una serie de funciones
fn ,
hacemos m D n C 1 deducimos la siguiente condicin necesaria para la convergencia uniforme.
P
10.12 Corolario. Una condicin necesaria para que una serie de funciones
fn sea uniformemente convergente en un conjunto A es que la sucesin de funciones ffn g converja uniformemente a cero en A.
Observa que los conceptos de convergencia absoluta y de convergencia uniforme son independientes: una serie puede ser uniformemente convergente en un conjunto A y no ser absolutamente convergente en A. En tales casos se aplican los siguientes criterios de convergencia no
absoluta para series de funciones.
10.13 Proposicin
(Criterios de convergencia uniforme no absoluta). Sea fan g una sucesin
X
numrica y
fn una serie de funciones definidas en un conjunto A.
n>1
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
an fn converge uniformemente en A.
Entonces la serie de funciones
n>1
Universidad de Granada
Dpto. de Anlisis Matemtico
Series de funciones
592
b) Para cada x 2 A ffn .x/g es una sucesin de nmeros reales montona y la sucesin de
funciones ffn g est uniformemente acotada en A, es decir, hay un nmero M > 0 tal que
para todo x 2 A y para todo n 2 N se verifica que jfn .x/j 6 M .
X
Entonces la serie de funciones
an fn converge uniformemente en A.
n>1
kD1
p
X
n
X
fk . De la
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
a
f
.x/
6
M
.anCk anCkC1 / C M anCpC1 C M anC1 D
nCk nCk
kD1
kD1
D M.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
p
n
X
X
ak fk .x/
ak fk .x/ D
anCk fnCk .x/ 6 2M anC1 6 ":
kD1
kD1
kD1
n>1
convergencia uniforme en A.
kD1
Sea S D
1
X
p
X
kD1
n
X
kD1
Sn fnC1 .x/:
nD1
p
X
.fnCk .x/
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
fnC1 .x/ D 0;
Series de funciones
593
kD1
p
X
.SnCk
S /.fnCk .x/
kD1
.Sn
S /fnCpC1 .x/
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
"
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
kD1
kD1
Concluimos que para todos p > n > n0 y para todo x 2 A se verifica que:
p
"
"
2M C D ":
anCk fnCk .x/ 6
4M
2
kD1
n>1
convergencia uniforme en A.
10.14 Corolario (Criterio de Leibniz para la convergencia uniforme). Sea fgn g una sucesin 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 converge uniformemente en A.
Demostracin. Pongamos fn fn .x/D. 1/nC1. Entonces
ffn g es una sucesin de funciones
n
n
X
X
kD1
kD1
. 1/
kD1
nCkC1
gnCk .x/D
p
X
kD1
p
X
X
nCkC1
. 1/
gnCk .x/ 6
jgnCk .x/
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
kD1
Series de funciones
594
Como, para cada x 2 A, los nmeros gnCk .x/ gnCkC1 .x/ son todos positivos o todos negativos, se tiene que:
p
p
X
X
kD1
kD1
nCkC1
.
1/
g
.x/
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
kD1
n>1 .
Los resultados siguientes, relativos a la convergencia uniforme, se aplican, claro est, tanto
a sucesiones como a series de funciones.
10.15 Teorema (Conservacin de la continuidad). Supongamos que ffn g converge uniformemente a f en un intervalo J . Sea a 2 J y supongamos que las funciones fn son todas ellas
continuas en a. Se 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/
f .a/j
f .a/j 6
2"
C jfn0 .x/
3
fn0 .a/j
(10.4)
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:
jf .x/
f .a/j 6
3"
D ":
3
Resumiendo, hemos probado que dado " > 0, existe > 0, tal que si tomamos jx
x 2 J entonces jf .x/ f .a/j 6 ", que es, precisamente, la continuidad de f en a.
Universidad de Granada
Dpto. de Anlisis Matemtico
aj < y
2
Series de funciones
595
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:
lKm
n!1
wb
a
wb
fn .x/ dx D . lKm fn .x// dx :
a
(10.5)
n!1
n>1
1 wb
X
nD1 a
fn .x/ dx D
wb
a
1
X
nD1
fn .x/
dx :
(10.6)
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/
wb
wb
wb
f .x/ dx
fn .x/ dx D f .x/
a
a
a
wb
fn .x/ dx 6 jf .x/
a
wb
fn .x/j dx 6 " dx D".b a/:
a
f .x/ dx D lKm
n!1
wb
fn .x/ dx
Este resultado es vlido tambin si solamente se supone que las funciones fn son integrables en a; b, aunque en ese caso su demostracin es un poco ms larga porque hay que probar
en primer lugar que la funcin lmite uniforme f tambin es integrable en a; b. Suponiendo
que las funciones fn son continuas la funcin lmite uniforme f tambin es continua y, por
tanto, es integrable en a; b.
Cuando no hay convergencia uniforme la igualdad (10.5) no tiene por qu ser cierta como
se pone de manifiesto en el ejemplo 10.8.
Universidad de Granada
Dpto. de Anlisis Matemtico
Series de funciones
596
n
2
10.17 Ejemplo. Para cada n 2 N sea
P fn W 0; 1 ! R la funcin dada por fn .x/ D x .log x/ ,
y fn .0/ D 0. Veamos que la serie fn converge uniformemente en 0; 1.
4e 2
;
n2
P 4e 2
y, puesto que la serie
es convergente, deducimos, por el criterio de Weierstrass, que
n2
P
fn converge uniformemente en 0; 1. En consecuencia, se verificar que:
!
1
1 w1
w1 X
X
fn .x/ dx D
fn .x/ dx :
0
nD1
nD1 0
Puesto que
1
X
nD1
fn .x/ D
x.log x/2
1 x
w1
0
fn .x/ dx D 2
1
.n C 1/3
La convergencia uniforme no conserva la derivabilidad. Esto es fcil de entender si consideras 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 funciones 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:
fn .x/ D fn .a/ C
Universidad de Granada
Dpto. de Anlisis Matemtico
wx
fn0 .t/ dt :
Series de funciones
597
wx
g.t/ dt :
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 derivabilidad 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:
f .x/ f .a/
fn .x/ fn .a/
0
f .a/ D lKm
D lKm lKm
D
x!a
x!a n!1
x a
x a
fn .x/ fn .a/
D lKm ffn0 .a/g
D lKm lKm
n!1
n!1 x!a
x a
El teorema anterior suele enunciarse de una forma ms general en apariencia. T mismo puedes
deducirla a partir del siguiente resultado que se prueba haciendo uso del teorema del valor
medio.
10.19 Proposicin. Sea ffn g una sucesin de funciones derivables en un intervalo I . Supongamos 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 uniformemente 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:
0
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
Universidad de Granada
Dpto. de Anlisis Matemtico
Series de potencias
598
Deducimos que:
jfn .x/
fm .x/
.fn .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
Un tipo particular de series de potencias son las series de Taylor. Dada una funcin f que
tiene derivadas de todo orden en un punto a, la serie de potencias
X f .n .a/
n>0
n!
.x
a/n
se llama serie de Taylor de f en a. Recuerda que, por convenio, la derivada de orden 0 de una
funcin, f .0/ , es la propia funcin f .0/ D f y que 0! D 1.
Observa que la serie de Taylor de f en a es la sucesin de los polinomios de Taylor de f
en a. Recuerda que el polinomio de Taylor de orden n de f en a es la funcin polinmica dada
por:
n
X
f .k/ .a/
.x a/k :
Tn .f; a/.x/ D
k!
kD0
n
10.20 Lema (Lema de Abel). Sea > 0 y supongamos
X que la sucesin fjcn j g est mayon
rada. Entonces se verifica que la serie de potencias
cn .x a/ converge absolutamente
n>0
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
ajn
rn
r
n
n jx
jcn .x a/ j D jcn j
6M 6M n DM
:
n
Universidad de Granada
Dpto. de Anlisis Matemtico
599
X r n
es convergente por ser una serie geomtrica
n>0
r
de razn 0 < < 1.
El resultado anterior nos lleva, de forma natural, a considerar el ms grande > 0 tal que
la sucesin fjcn jn g est mayorada.
y sea I el intervalo de convergencia de la serie. Se verifica que la serie converge absolutamente en todo punto de I y converge uniformemente en cualquier intervalo cerrado y acotado
contenido en I . Adems la serie no converge para valores de x 2 R tales que jx aj > R.
X
cn .x a/n una serie de potencias con radio de convergencia no
10.22 Definicin. Sea
n>0
600
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.
Podemos aplicar los criterios del cociente y de la raz para estudiar la convergencia absoluta
de una serie de potencias. Ello permite deducir con facilidad los siguientes dos resultados.
X
jcnC1 j
cn .x a/n una serie de potencias y supongamos que
!L
10.23 Proposicin. Sea
jcn j
n>0
anC1
jcnC1 j
D
jx
an
jcn j
aj ! Ljx
aj:
Si 0 < L < 1, el criterio del cociente nos dice que la serie converge absolutamente si
Ljx aj < 1, es decir, si jx aj < 1=L, y que si Ljx aj > 1 entonces la serie no converge porque su trmino general fcn .x a/n g no converge a 0. Deducimos que el radio de
convergencia es R D 1=L.
Si L D 0 la condicin Ljx aj < 1 se cumple para todo x 2 R y el radio de convergencia
es R D C1. Si L D C1 entonces para todo x a se tiene que:
jcnC1 j
anC1
D
jx
an
jcn j
aj ! C1:
lo que, por el criterio del cociente, nos dice que la serie no converge porque su trmino general
no converge a 0. Luego en este caso es R D 0.
2
De forma totalmente anloga, haciendo uso del criterio de la raz, se prueba el siguiente
resultado.
X
p
10.24 Proposicin. Sea
cn .x a/n una serie de potencias y supongamos que n jcn j ! L
n>0
n>0
Universidad de Granada
Dpto. de Anlisis Matemtico
601
aplicarse cuando hay infinitos coeficientes nulos. En casos parecidos a este el siguiente artificio
es de bastante utilidad prctica.
10.25 Observaciones.
cn .x
n>0
para jx
n>0
n>0
n>k
radio de convergencia puesto que todas ellas convergen para los mismos valores de x.
Si lasP
sucesiones fjcnP
jg y fjbn jg son asintticamente equivalentes, entonces las series de
n
potencias cn .x a/ y bn .x a/n tienen igual radio de convergencia. Ello es consecuencia de que si > 0 las sucesiones fjcn j n g y fjbn j n g son, evidentemente, asintticamente
equivalentes, por lo que ambas estn mayoradas o ninguna lo est.
El siguiente importante teorema nos dice, entre otras cosas, que si una serie de potencias
tiene radio de convergencia no nulo entonces dicha serie es la serie de Taylor de su funcin
suma. Usaremos el siguiente resultado.
X
X
cn .x a/n y
ncn .x a/n 1 tienen igual radio de convergen10.26 Lema. Las series
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
0
n
n 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
Universidad de Granada
Dpto. de Anlisis Matemtico
602
cn .x
n>0
1
X
cn .x
a/n :
nD0
1
X
1/ .n
n.n
nDk
a/n
k C 1/cn .x
(10.9)
f .k// .a/
En particular, se verifica que f .k// .a/ D ck k!, es decir, ck D
y, por tanto, la serie
k!
X
de potencias
cn .x a/n coincide con la serie de Taylor en a de su funcin suma.
n>0
Demostracin. Las series de potencias son series de funciones polinmicas las cuales son
indefinidamente derivables.
a/n . Teniendo
X Pongamos
X fn .x/Dcn.x X
X en cuenta el lema anterior,
n
0
las series de potencias
fn
cn .x a/ y
fn
ncn .x a/n 1 tienen igual
n>0
n>0
n>0
n>0
radio de convergencia. Podemos aplicar ahora los teoremas 10.21 y 10.18 para obtener que la
funcin suma f es derivable y su derivada viene dada para todo x 2 I por:
f 0 .x/ D
1
X
ncn .x
a/n
nD1
dicha serie sigue siendo una serie de potencias con el mismo radio de convergencia, y deducimos que la funcin suma de dicha serie, que es f 0 segn acabamos de probar, es derivable y su
derivada viene dada para todo x 2 I por:
f 00 .x/ D
1
X
n.n
1/cn .x
a/n
nD2
Este razonamiento puede repetirse tantas veces como queramos. Una simple y evidente induc2
cin prueba que para todo k 2 N se verifica la igualdad (10.9).
Dijimos que las series de Taylor eran un tipo especial de series de potencias. El teorema
anterior nos dice que no son tan especiales: toda serie de potencias con radio de convergencia
no nulo es una serie de Taylor; es la serie de Taylor de su funcin suma.
Universidad de Granada
Dpto. de Anlisis Matemtico
603
El teorema anterior nos dice que las funciones suma de series de potencias son funciones
con derivadas de todos rdenes (funciones de clase C 1 ) y que podemos calcular sus derivadas
sucesivas derivando trmino a trmino la serie que las 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
X cn
y
.x
nC1
n>0
a/
nC1
n>0
1
X
nD0
cn
.x
nC1
a/nC1
.x 2 I /
1
X
cn .x
a/n
.x 2 I /:
nD0
En otros trminos, este resultado afirma que para todo x 2 I se verifica la igualdad:
!
1
1 wx
1
wx X
X
X
cn
n
n
cn .t a/
dt D
cn .t a/ dt D
.x a/nC1
(10.10)
n
C
1
a
nD0
10.29 Ejemplo.
nD0 0
wx
t2
nD0
1
1 2n
wx X
X
x 2nC1
t
dt D
dt D
n!
n!.2n C 1/
nD0
0 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
1
X
xn
.1
< x < 1/
nD0
.1
< x < 1/
nD0
Universidad de Granada
Dpto. de Anlisis Matemtico
es derivable en
log.1
h.x/ D
604
1
. Por tanto, las funciones h y f .x/ D
1 x
1; 1 y como h.0/ D f .0/ D 0, concluimos que
x/ D
1
X
x nC1
nC1
.1
nD0
1
f .nC1 .c/.x
.n C 1/!
a/nC1
1
X
xn
n!
nD0
para todo x 2 R.
Recuerda que usamos el Teorema de Taylor para probar esta igualdad. Vamos a volver a obtener
este resultado de forma diferente.
Los polinomios de Taylor de la funcin exp son particularmente fciles de calcular. Puesto
que exp.k/ .0/ D exp .0/ D 1 para todo k, el polinomio de Taylor de orden n en 0 es:
x3
xn
x2
C
C C
2!
3!
n!
n
Xx
1
Consideremos la serie de potencias centrada en 0
. Llamando cn D
tenemos que
n!
n!
Tn .exp; 0/.x/ D 1 C x C
n>0
cnC1
1
D
! 0, por tanto la serie tiene radio de convergencia R D C1. Llamemos h a la
cn
nC1
Universidad de Granada
Dpto. de Anlisis Matemtico
1
X
xn
n!
nD0
605
para todo x 2 R.
Vamos a probar que h es la funcin exponencial. Por el teorema de derivacin tenemos que
h 0 .x/ D
1
X
nx n
n!
nD1
1
1
X
X
xn 1
xn
D
D
D h.x/:
.n 1/!
n!
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 ,
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
Por tanto
n
X
sen a C k 2
.x
Tn .sen; a/.x/ D
k!
a/k
kD0
n
X
sen a C k 2
1
k
.x a/ 6
jx ajnC1
sen x
.n C 1/!
k!
kD0
jx ajnC1
D0
n!1 .n C 1/!
lKm
De donde deducimos
1
X
sen a C k 2
.x
sen x D
k!
kD0
a/k
para todo x 2 R
606
Por el teorema de derivacin para series de potencias obtenemos la serie del coseno, que
tambin ser convergente cualquiera sea x 2 R.
1
1
X
X
cos a C k 2
sen a C .k C 1/ 2
k 1
.x a/
D
.x a/k para todo x 2 R
cos x D
.k 1/!
k!
kD0
kD1
1
X
nD0
. 1/n 2nC1
x
;
.2n C 1/!
1
X
. 1/n 2n
cos x D
x
.2n/!
nD0
1.
nD0
1
X
. 1/n nC1
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
nC1
.jxj < 1/
nD0
x
a
Dlog aC
1
X
nD0
. 1/n
.x a/nC1 .jx aj < a/:
.n C 1/anC1
1/n
X.
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
Universidad de Granada
Dpto. de Anlisis Matemtico
cn .x
607
n>0
f .x/ D
a/n
cn .x
nD0
x 2a
R; a C R
P
la funcin suma de la serie. Supongamos adems que la serie n>0 cn Rn converge. Entonces
X
se verifica que la serie
cn .x a/n converge uniformemente en el intervalo a; a C R. En
n>0
consecuencia:
lKm
x!aCR
x<aCR
f .x/D
1
X
cn R
aCR
w
nD0
Demostracin. Escribamos:
X
cn .x
n>0
1 aCR
1
w
X
X
n
f .x/ dx D
cn .x a/ dx D
nD0 a
a/n D
cn Rn
n>0
x
nD0
a n
cn
RnC1 :
nC1
n
Podemos aplicar a esta serie el criterio de Abel 10.13 con an D cn Rn y fn .x/ D xR a .
X
Por hiptesis la serie
an es convergente y para x 2 a; a C R se 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
n .x/j 6 1. En estas condiciones el citado criterio de Abel nos dice
Xse tiene que jf
X
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
lKm cn .x a/ D
cn .x a/ D
cn Rn :
x!aCR
x<aCR
x!aCR
x<aCR
x!aCR
nD0 x<aCR
nD0
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
arc tg 0 .x/ D
X
1
D
. 1/n x 2n
2
1Cx
nD0
.x 2
1; 1/
Universidad de Granada
Dpto. de Anlisis Matemtico
.x 2
1; 1/
608
Adems, como esta serie converge tambin para x D 1, el teorema de Abel nos dice que:
1
X . 1/n
D arc tg 1 D lKm arc tg x D
4
2n C 1
x!1
nD0
x<1
f .n .x/ D .
n C 1/.1 C x/
1/ .
1/ .
n!
n C 1/
D
:
n
n>0
x n:
cnC1 j nj
D
!1
)
cn D
cn jn C 1j
n
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 C
x/g 0 .x/
1
1
X
X
n 1
n
g.x/ D .1 C x/
n
x
x
n
n
nD1
nD0
1
1
1
X
X
n 1 X n
n
D
n
x
C
n
x
x D
n
n
n
nD1
nD1
nD0
1
X
D
.n C 1/
Cn
x nD
nC1
n
n
nD0
1
X
D
.n C 1/
C .n /
xn D 0
nC1
n
nD0
Universidad de Granada
Dpto. de Anlisis Matemtico
609
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
1
X
nD0
x a
x a
D .1 C a/
D
a// D .1 C a/ 1 C
1Ca
1Ca
n
nD0
1
n .1 C a/n
.x
a/n
siempre que
jx
aj < 1 C a:
1
x2
x 2/
D .1
1=2
nD0
nD0
Como
1=2
D
n
1/ . 1=2
n!
3
5
7
.2n
1/
D . 1/n
2 4 6 .2n/
1=2. 1=2
n C 1/
D . 1/n
1 3 5 .2n
2n
n!
1/
Resulta finalmente:
arc sen x D x C
1
X
1
3 5 7 .2n 1/
x 2nC1
2 4 6 .2n/
2n C 1
.jxj < 1/
nD1
Adems, como la serie tambin converge para x D 1, por el teorema de Abel tenemos que:
arc sen 1 D
X 3 5 7 .2n 1/ 1
D1C
2
2 4 6 .2n/ 2n C 1
nD1
Ya dijimos que las series de Taylor de una funcin no siempre convergen a dicha funcin.
Veamos un ejemplo de esto.
Universidad de Granada
Dpto. de Anlisis Matemtico
610
1
X
nD0
. 1/n
.x
.n C 1/anC1
a/nC1
(10.11)
Esto nos dice que la funcin logaritmo es analtica en el intervalo I D0; C1. Observa que en
cada punto a > 0 la serie de Taylor del logaritmo converge en el intervalo Ja D0; 2a y es en
ese intervalo en donde representa a la funcin. El intervalo es tanto ms pequeo cuanto ms
prximo est a de 0.
Tambin hemos visto que para todo a > 1 se verifica que:
1
X
.x a/n
jx
.1 C x/ D
n .1 C a/n
nD0
aj < 1 C a:
611
La funcin exponencial
1
1
1
X
X
xn
xn 1 X xn 1
D
D
D exp.x/:
n
n!
.n 1/!
n!
nD1
nD1
nD0
Por tanto, la exponencial es una funcin que coincide con su derivada. Consideremos un nmero 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
Universidad de Granada
Dpto. de Anlisis Matemtico
612
Se define el nmero e D exp.1/. Es fcil probar, usando la propiedad aditiva de la exponencial, que exp.r / D .exp.1//r para todo nmero racional r , es decir exp.r / D er , por lo que se
usa la notacin exp.x/ D ex .
Observa de qu forma tan elegante y cmoda hemos obtenido las propiedades principales
de la funcin exponencial. Se define ahora la funcin logaritmo natural como la inversa de la
funcin exponencial.
10.4.1.2.
1
X
. 1/n
nD0
x 2nC1
.2n C 1/!
1
X
nD0
. 1/n .2n C 1/
X
x 2n
x 2n
D
:
. 1/n
.2n C 1/!
.2n/!
nD0
La funcin derivada de la funcin seno se llama funcin coseno y es la funcin 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
Universidad de Granada
Dpto. de Anlisis Matemtico
sen x sen a;
613
Igualdades que son vlidas para todos x; a 2 R. Acabamos de probar los teoremas de adicin
para el seno y el coseno.
Este estudio puede proseguirse y no est exento de algunas 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
cos 2 D
1
X
. 1/nC1
nD1
22n
:
.2n/!
Esta serie es una serie alternada cuyo trmino general es decreciente y, por tanto, por la acotacin (9.11), se 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;
sen.2/ D 2 cos./ sen./ D 0;
Deducimos que:
sen.x C 2/ D sen x cos.2/ C cos x sen.2/ D sen x;
lo que prueba que la funcin seno es peridica con perodo 2. Lo que implica que su derivada,
la funcin coseno, tambin es peridica con igual perodo.
A partir de las funciones seno y coseno ya podemos 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 potencias 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 propiedades principales. Adems, y esto es fundamental, dichas definiciones se extienden exactamente igual al campo complejo porque las series de potencias reales y complejas tienen las mismas
propiedades de convergencia. Esto no quiere decir, ni mucho menos, que debas olvidar el significado 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.
Universidad de Granada
Dpto. de Anlisis Matemtico
614
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
P
uniformemente en R (porque para todo x 2 R es jb n cos.an x/j 6 b n y la serie b n converge
por ser 0 < b < 1). Por tanto, f es una funcin continua en R. Weierstrass demostr que f
no es derivable en ningn punto. Te digo esto para que aprecies que el problema de aproximar
una funcin continua por una funcin polinmica en todos los puntos de un intervalo no es un
fcil problema de interpolacin.
De las variadas demostraciones que hay del citado resultado de Weierstrass, vamos a exponer la basada en los polinomios de Bernstein porque, adems de ser la ms elemental, proporciona unos polinomios concretos para realizar la deseada aproximacin.
10.38 Definicin. Dada una funcin f W 0; 1 ! R el polinomio de Bernstein de orden n de
f es la funcin polinmica:
Bn .f /.x/ D
n
X
kD0
k
n k
f
x .1
n
k
x/n
.x C y/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
n
kD0
xk yn
615
Derivando esta igualdad una vez respecto a x y multiplicando despus por x obtenemos:
n
X
n
n 1
x n.x C y/
D
kx k y n k :
k
kD0
Derivando la primera igualdad dos veces respecto a x y multiplicando despus por x 2 obtenemos:
n
X
n
2
n 2
x n.n 1/.x C y/
D
k.k 1/x k y n k :
k
kD0
n.n
n
X
kD0
n
X
kD0
n
X
bkn .x/
(10.12)
kbkn .x/
(10.13)
k.k
1/bkn .x/
(10.14)
kD0
.k
kD0
n
X
k 2 bnk .x/
kD0
n
X
Por tanto:
kD0
n
X
kD0
.k
n
X
kD0
.k.k
D n.n
2nx
kbnk .x/ C n2 x 2
1/ C k/bnk .x/
1/x 2 C nx
bnk .x/D
kD0
2n2 x 2 C n2 x 2 D
n2 x 2 D nx.1
n
X
x/:
x/:
(10.15)
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/
para todo x 2 a; b.
Demostracin. Haremos primero la demostracin en el caso de que el intervalo a; b es el
intervalo 0; 1. Como f es continua y 0; 1 es un intervalo cerrado y acotado, sabemos que f
est acotada en 0; 1 y es uniformemente continua en 0; 1. Sea M > 0 tal que jf .x/j 6 M
para todo x 2 0; 1. Dado " > 0, por la continuidad uniforme de f , existe un > 0, tal que:
jf .x/
f .y/j 6
"
2
Universidad de Granada
Dpto. de Anlisis Matemtico
yj < :
(10.16)
616
n
n
X
X
k
k
(10.12)
bnk .x/ D
bnk .x/ 6
jf .x/ Bn .f /.x/j D f .x/
f
f .x/ f
n
n
kD0
kD0
n
X
k k
6
(10.17)
f .x/ f n bn .x/:
kD0
Donde hemos usado que bnk .x/ > 0. Acotaremos ahora la diferencia f .x/ f
n
n
k "
x k < (10.16)
f .x/ f
< :
n
n 2
n
n
n
2M
k
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:
n 2 n2 2
k
segn que
n
(10.18)
n
2M
2M X
(10.12) "
k
2
.nx k/2 bnk .x/D
.nx k/ bn .x/ D
C
C
2 n2 2
2 n2 2
n
X
"
kD0
kD0
2M
"
C 2 2 nx.1
D
2
n
(10.15)
"
2M
x/ 6 C 2 :
2
n
Bn .f /.x/j 6
"
2M
C 2:
2
n
Bn .f /.x/j 6
2M
"
6 , concluimos que para
2
2
n
"
"
C D ":
2 2
Podemos tomar como polinomio P" del enunciado cualquier polinomio Bn .f / con n > n0 .
Observa que hemos probado que la sucesin de polinomios de Bernstein de f converge uniformemente a f en 0; 1.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
617
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
.g/
B
6 ":
g
n
b a
b a
x a
x a
, y P" .x/DBn .g/
es un polinomio por ser composicin
Puesto que f .x/Dg
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
Bn .g/
x
b
n
a X
b a
n
x
D
f aCk
a
n
k
b
kD0
a k
a
b
b
x
a
n
2nx 2
:
1 C n2 x 4
x 2 /n :
Ejercicios propuestos
618
fn .x/ D
0 < x < :
Estudia la convergencia puntual de la sucesin de funciones ffn g as como la convergencia uniforme en intervalos del tipo 0; a, a; y a; b donde 0 < a < b < .
479. Estudia la convergencia puntual y uniforme de la sucesin de funciones ffn g donde
fn W R ! R est definida por:
p
n
fn .x/ D 1 C x 2n
x 2 R:
fn .x/ D
fn :
x
na .1 C
nx 2 /
.x > 0/:
a) Converge puntualmente en RC
o si a > 0, y la convergencia es uniforme en semirrectas
cerradas que no contienen al cero.
b) Converge uniformemente en RC
o si a > 1=2.
P
483. Estudia la convergencia puntual y uniforme de la serie
fn donde, fn W R ! R es la
funcin dada por:
x
n D 0; 1; 2; : : :
fn .x/ D
1 C n2 x 2
Sea F.x/ D
1
X
nD0
x!0
x >0
kC1
w
wk
x
x
x
dt
6
f
.x/
D
dt
6
dt :
k
2
2
2
2
1Ct x
1Ck x
1 C t 2x 2
Universidad de Granada
Dpto. de Anlisis Matemtico
k 1
Ejercicios propuestos
619
nnC1 n
x e
n!
nx
fn donde
.x > 0/:
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
(donde > 0 es un nmero fijo), ADa; C1; a > 0.
e) D RC
o ; fn .x/ D n x e
Para qu valores de hay convergencia uniforme en RC
o?
486. Sea ffn g una sucesin de funciones que converge uniformemente a una funcin f en un
conjunto A R. Supongamos que fn .A/ a; b para todo n 2 N; y sea ' una funcin
continua en a; b. Prueba que la sucesin f' fn g converge uniformemente a ' f en
A.
487. Sean > 0 y ffn g la sucesin de funciones 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 intervalos 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 RC
.
o
b) La sucesin ffn gn g converge uniformemente a cero en RC
o.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
620
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
f .t / dt
fn .x/ D
2 1
x
.x 2 R/:
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
1
e
n
nx
2
e x .
1 C n2 x 2
p
n x
cos x 2 .
3. fn .x/ D
1 C n2 x 2
n sen.nx/ si 0 6 x 6 n
4. fn .x/ D
0
si n 6 x 6 1
2. fn .x/ D
n!1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
621
496. Da un ejemplo de una sucesin de funciones que converge uniformemente en R tal que
la sucesin de las derivadas no converge puntualmente en ningn punto de R.
497. Da un ejemplo de una sucesin de funciones que no converge en ningn punto de R y
cuya sucesin de derivadas converge uniformemente en R.
498. Sea fn W R ! R la funcin dada por fn .x/ D arc tg.x=n/. Prueba que:
P
1
. Prueba que la serie
fn
2
1Cn x
converge puntualmente en RC . Estudia la continuidad y derivabilidad de la funcin suma
1
X
de la serie: f .x/ D
fn .x/.
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
n!1
wb
a
fn .x/ dx D
wb
f .x/ dx :
n!1
b) Prubese que
C1
w
C1
w
fn .x/ dx D
x2
dx :
C1
w
0
p w2
fn .x/ dx D n .sen t/2nC1dt , y deduce que:
0
C1
w
0
Universidad de Granada
Dpto. de Anlisis Matemtico
x2
p
:
dx D
2
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos
622
503. Sea ffn g una sucesin de funciones continuas que converge uniformemente a una funcin
f en un conjunto A R. Sea fxn g una sucesin de puntos de A que converge a un punto
x 2 A. Prueba que lKm fn .xn / D f .x/.
n!1
504. 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
Ppide estudiar, en cada caso, la convergencia puntual en de la serie de funciones,
fn , y la continuidad de la funcin suma
1
X
FD
fn .
nD1
nx .
a) D R, fn .x/ D e
1
n
1
.
Cn
sen.n2 x/
c) D R, fn .x/ D . 1/n
.
n.log.n C 1//2
b) D R, fn .x/ D
x2
d) D R n Z , fn .x/ D
n2
e) D R n f 1; 1g, fn .x/ D
f) D RC
o , fn .x/ D
.
x2
n
x2
x2
nC1
x
.
.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
506. Sea f W RC
o ! R la funcin definida por:
f .x/ D
1
X
e nx
;
1 C n2
nD0
.x 2 RC
o /:
1
1 e
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
n
X
Fn D
fk . Prueba que para toda sucesin fxn g de puntos de A se verifica que la
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
623
508. 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, haciendo uso de los criterios
de
P Dirichlet o de Abel, la convergencia puntual y uniforme en de la serie de funciones
fn .
a) D R; fn .x/ D
. 1/n
.
x2 C n
b) D 2; C1; fn .x/ D
c) D 0; ; fn .x/ D
. 1/n
.
nx C . 1/n
sen.nx/
.
p
n
1 sen.nx/
1
C C
.
2
n
n
x sen.nx/
e) D 2; 2; fn .x/ D p
.
2 n C cos x
d) D R; fn .x/ D 1 C
P
.1 x/x n
f) D 0; 1; fn .x/ D
. Sea an D sup fn .0; 1/. Prubese que la serie an
log.n C 1/
no converge.
g) D R n f 1g; fn .x/ D an
P
xn
, donde la serie an converge.
n
1Cx
x
sen converge uniformemente en subconjuntos acotados de
n
n
n>1
R pero no converge uniformemente en R.
X1
Sugerencia. La
p condicin uniforme de Cauchy no se satisface en R. Tngase en cuenta
que sen x > 2=2 para =4 6 x 6 3=4. Tambin puede hacerse uso del ejercicio 507
con xn D n=2.
510. Sea fan g una sucesin creciente y no mayorada de nmeros reales positivos. Prueba que
la funcin f W RC ! R definida para todo x > 0 por:
f .x/ D
1
X
. 1/n e
an x
nD0
es continua y:
C1
w
0
f .x/ dx D
1
X
. 1/n
nD0
1
:
an
nD0
Universidad de Granada
Dpto. de Anlisis Matemtico
x
na .1 C
nx 2 /
fn :
Ejercicios propuestos
624
. 1/
nD0
w1
0
x
dx .
.1 C x 2 /n
P
514. Calcula el radio de convergencia de cada una de las series de potencias
an x n , y estudia el comportamiento de la serie en los extremos del intervalo de convergencia, en los
siguientes casos:
p
n
n
1 n
log.nC1/
cn D 2
;
cn D .n C 1/
; cn D e
1C
n
n CnC1
p
n!
1 3 5 .2n C 1/
cn D
; cn D a n .a > 0/;
cn D
2 4 6 .2n C 2/
.n C 1/n
1
1
1
1
cn D n
;
cn D
cn D 1 C C C ;
2
n
2 .n C 1/
log.n C 2/
3 5 .3n C 1/
1
cn D
;
cn D n ; . 2 R/;
cn D
5 10 .5n/
1 C 1=2 C C 1=n
515. Calcula la funcin suma de la serie de potencias
n>1
x 2n
.
n.2n 1/
n>0
.n C 1/
x 3n X n.x C 3/n
y
.
2n
2n
n>1
X . 1/n
1
dx
D
:
1 C xq
qn C 1
nD0
1
X
nD1
Universidad de Granada
Dpto. de Anlisis Matemtico
n>1
2n .n C
1/
Ejercicios propuestos
625
n>0
n>0
n>1
n>1
1
n.2n C 1/
n>1
n>1
xn
y deduce el valor de las
n.2n C 1/
. 1/n
:
n.2n C 1/
g.x/ D
; ! R dada por:
sen x
x
f .x/ D
log
sen x x
x
f .x/
x!0
1 2
12 x
x4
f .0/ D 1;
2x 3 x 2 C 2x 7
:
x 4 x 3 3x 2 C x C 2
1Cx
:
.1 C x 2 /.1 x/2
1Cx
, 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
2
1 1
1
. 1/nC1
. 1/n
C C C C
C
C D
3 4
5
2n 1
2n
4
1
log 2
2
1 2
x
2
1 3 1 4 1 5
. 1/nC1 2n
x C x C x C C
x
3
4
5
2n 1
Universidad de Granada
Dpto. de Anlisis Matemtico
. 1/n 2n
x C
2n
Ejercicios propuestos
626
n>0 an x
n,
1
1
; a3nC2 D 0; a3nC3 D
;
3n C 1
3n C 3
1
X
nD0
2
:
.3n C 1/.3n C 3/
528. Expresa como suma de una serie de potencias centrada en cero la funcin:
1Cx
1
1
2x 1
log p
C p arctan p
C p :
2
3
3
3
6 3
1 xCx
f .x/ D
. 1/n
n>0
1
.
3n C 1
an ; a0 D 1; a1 D 3:
siguiente:
1. Haciendo uso de la relacin de recurrencia dada se puede calcular la funcin generatriz sin conocer el valor de an .
2. Una vez conocida la funcin generatriz se obtiene su desarrollo en serie de potencias centrado en cero.
530. Resolver por el mtodo de la funcin generatriz las siguientes ecuaciones en diferencias
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.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
627
log
1
1
dt D
1
X
x nC1
:
n.n C 1/
nD1
Prueba tambin, ya sea por clculo directo o por razones de continuidad, que dicha igualdad es vlida para x D 1.
533. Justifica que para 1 < x < 1 se verifica la igualdad:
1 n
wx 1
X
1
x
log
dt D
:
t
1 t
n2
nD1
w1 e
x 2 .1Ct 2 /
1 C t2
dt :
Prueba que:
a) f .0/ D =4, y lKm f .x/ D 0.
x!C1
w1
x 2 .1Ct 2 /
dt :
C1
w
0
x2
wx
t2
dx D
dt
!2
:
4
p
.
2
2nx 2
:
1 C n2 x 4
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
628
1 n2 x 4
Solucin. Es evidente que lKm ffn .x/g D 0. Como fn0 .x/ D 4nx
, tenemos
n!1
.1 C n2 x 4 /2
p
p
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.
fn .x/ D
1
2nx 2
1 C n2 x 4
Dado un nmero a > 0 sea n0 tal que xn0 < a. Para todo n > n0 tenemos que xn < a, y
por tanto:
mKax ffn .x/ W 0 6 x 6 ag D fn .xn / D 1;
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 funciones 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:
mKaxffn .x/ W x 20; 1g D fn .e
1=n
/D
1 1
e n
x 2 /n :
Ejercicios resueltos
629
x 2 /n
.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 .
0.50
0.50
fn .x/Dn 4 x.1 x 2 /n
0.25
fn .x/Dn 2 x.1 x 2 /n
0.25
Como
fn .xn / D p
1 C 2n
1
1
1 C 2n
n
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 uniforme 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
Universidad de Granada
Dpto. de Anlisis Matemtico
.cos2 .x/
n sen2 .x//:
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
630
Sea xn 20; =2 tal que cos2 .xn / n sen2 .xn / D 0. Como fn es positiva y se anula en
los extremos del intervalo, 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:
sen.xn /
sen.xn / p p
D n n arc tg.1=n/
;
xn
xn
sen.xn /
! 1 y n arc tg.1=n/ ! 1, se sigue que yn ! C1 (de hecho, se tiene
xn
p
p
que yn es asintticamente equivalente a n, esto es, yn n).
y como
1=2 .
1/ n
1
1 2
1
xn D
n arc tg.1=n/ !
:
2
2
2
Dado un nmero 0 < a < =2, sea n0 tal que xn0 < a. Para todo n > n0 tenemos que
xn < a. Por tanto, para todo n > n0 es:
mKaxffn .x/ W 0 6 x 6 ag D fn .xn /
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
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
631
para todo x 2 a; =2. Puesto que la sucesin fn.cos a/n g ! 0 (es de la forma nn con
0 < < 1) concluimos que hay convergencia uniforme en a; =2.
La situacin es distinta en el intervalo 0; a. Podemos sospechar que no hay convergencia
uniforme en dicho intervalo. Para ello, tomemos un D 1=n. Tenemos que:
fn .1=n/ D n sen.1=n/.cos.1=n//n ;
y como fn sen.1=n/g ! 1 y
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/
sen2.nx/
n sen x
0 < x < :
Estudia la convergencia puntual de la sucesin de funciones ffn g as como la convergencia uniforme en intervalos del tipo 0; a, a; y a; b donde 0 < a < b < .
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 tomemos xn D 1=n. Como
sen2 .1/
! sen2 .1/
n sen.1=n/
fn .1=n/ D
1=n/ D
sen2 .n 1/
! sen2 .1/;
n sen. 1=n/
sen2.nx/
1
6
;
n sen x
n sen.x0 /
y por tanto:
mKax ffn .x/ W a 6 x 6 bg 6
1
:
n sen.x0 /
Ejercicios resueltos
632
sen2.nx/
La sucesin fn .x/ D
n sen x
Ejercicio resuelto 245 Estudia la convergencia puntual y uniforme de la sucesin de funciones ffn g donde fn W R ! R est definida por:
p
n
x 2 R:
fn .x/ D 1 C x 2n
Solucin. Para calcular la funcin lmite puntual hay que distinguir dos casos:
p
n
Si jxj < 1, entonces 1 6 1 C x 2n 6 1 C x 2n y por tanto lKm ffn .xn /g D 1.
p
n
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
x 2 ; si jxj > 1
Tenemos que:
Si jxj < 1 es:
0 6 fn .x/
f .x/ D
0 6 fn .x/
p
n
1 C x 2n
x Dx
1 6 21=n
r
n
1
1 C 2n
x
1:
1 :
(10.19)
p
Aplicando el teorema del valor medio a la funcin h.t / D n 1 C t en el intervalo 0; s
h.s/ h.0/
obtenemos que
D h 0 .c/ donde c es algn punto del intervalo 0; s. Como:
s
1
h 0 .c/ D .1 C c/1=n
n
1
6 ;
n
1
s
h.0/ D sh 0 .c/ 6 . Tomando s D 2n resulta que
n
x
1C
Universidad de Granada
Dpto. de Anlisis Matemtico
1
x 2n
1 D h.1=x 2n /
h.0/ 6
1
1
6
nx 2n nx 2
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
633
1
f .x/ 6 .
n
Finalmente:
mKax fjfn .x/
f .x/j W x 2 Rg 6 mKax 21=n
1
1;
n
!0
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.
'.t/ D
sen t
t
.t 0/;
'.0/ D 1
Con ello, tenemos que fn .x/Dx'.x=n/ y, como lKm '.t/D1, deducimos que la funcin
lmite puntual de la sucesin viene dada por:
t !0
.x 2 R/:
Dado a > 0, es fcil comprobar que no hay convergencia uniforme en a; C1, pues
para todo n > a se tiene que:
mKax fjf .x/
fn .n/ D n.1
sen.1// ! C1:
1; a.
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
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.
Ejercicios resueltos
634
f .0/ D arc tg n
=2 < 0;
x!C1
f 0 .x/ D 2
1 C 2nx C x 2
:
.1 C x 2 /..1 C n2 /x 2 C 4nx C 1 C n2 /
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. Concluimos 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
x
na .1 C
nx 2 /
.x > 0/:
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.
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
D :
2
n!1
x
n .1 C nx /
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
635
Estudiemos la convergencia uniforme en una semirrecta del tipo ; C1, ( > 0). Como:
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
fn ./ converge, se sigue, por el criterio de Weierstrass, que la serie
P> 0, la serie
fn converge uniformemente en ; C1.
X
p
1
1X
es convergente (es una
b) Si a > 1=2 entonces la serie
fn .1= n/ D
aC1=2
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:
fn .x/ D
Sea F.x/ D
1
X
x
1 C n2 x 2
n D 0; 1; 2; : : :
nD0
x!0
x >0
kC1
w
wk
x
x
x
dt
6
f
.x/
D
dt
6
dt
k
1 C t 2x 2
1 C k 2x 2
1 C t 2x 2
k
k 1
n!1
jxj
1
D
;
jxj
1 C n2 x 2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
636
x
dt
1 C t 2x2
n kC1
w
X
n kC1
w
X
x
x
D
dt
6
dt D
2
2
1Ct x
1 C k2x2
kD0 k
kD0 k
n
n
X
X
x
6
D
fk .x/ D x C
1 C k 2x 2
kD0
6x C
kD1
n
w
X1 kC1
kD0 k
w
x
x
dt
D
x
C
dt
2
2
1Ct x
1 C t 2x 2
0
deducimos que:
arc tg..n C 1/x/ 6
n
X
kD0
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.
P
Ejercicio resuelto 250 Estudia la convergencia puntual y uniforme de la serie fn donde
fn .x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
nnC1 n
x e
n!
nx
.x > 0/:
Ejercicios resueltos
637
P
Solucin. Estudiemos la convergencia puntual. Para x > 0 la serie fn .x/ es de trminos positivos y podemos aplicar el criterio del cociente. Tenemos que:
n C 1 nC1
fnC1 .x/ .n C 1/nC2 n!
x
x
e
D
D
x e x ! x e1 x :
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, fcilmente, se deduce que ' es estrictamente creciente en 0; 1 y estrictamente decreciente en
1; C1. Luego para x > 0, x 1 se tiene que '.x/ < '.1/ D 1. Por tanto, el criterio
del cociente implica que la serie converge para todo nmero x > 0, x 1.
En este caso el criterio del cociente tambin proporciona informacin para x D 1, pues
aunque
n C 1 nC1 1
fnC1 .1/
D lKm
e D1;
lKm
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:
fn0 .x/ D
nnC1 n
nx
n!
nx
.1
x/:
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
; AD 1; a; A D a; C1; a > 1:
c) D 1; C1; fn .x/ D n log 1 C
n
Solucin. a) Se tiene que fn .0/ D 0 y fn .=4/ D 0 para todo n 2 N. Si 0 < x < =4
entonces ffn .x/g ! 0 porque es una sucesin de la forma n2 n donde 0 < 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
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
638
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:
vn .un
1/ D n tg.xn /
1 D
tg.xn /
1
n
tg.xn /
xn
1
4
tg x 1
D 2 porque es la derivada de la tangente en
x! 4 x
n 4
x D =4. Deducimos que tg.xn / ! e 2 lo que implica que fn .xn / ! C1. Como
fxn g ! =4 y 0 < x n < =4, dado a con 0 < a < =4 hay un n0 2 N tal que
a < xn < =4 para todo n > n0 . Por tanto, para n > n0 se tiene que:
Donde hemos usado que lKm
x n
x
1C
e
D ex 1 exp x.'.x=n/ 1/ 6 e 1 exp x.'.x=n/ 1/ :
n
Donde:
log.1 C t /
; t > 1; '.0/ D 1:
t
Se verifica que lKm '.t/ D 1 por lo que ' es una funcin continua. Dado " > 0, por
'.t/ D
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
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
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
639
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
D
h 0 .x/ D 1 n n x D 1
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
hn .n/ D n
n log 2 D n.1
log 2/ ! C1:
Solucin. El apartado a) es inmediato. Haremos el apartado b). Observa que en las hiptesis hechas para f la funcin jf j est acotada, de hecho alcanza un mximo absoluto en
RC
o . Sea M > 1 tal que jf .x/j 6 M . Dado " > 0, por hiptesis hay nmeros 0 < a < b
tales que para 0 6 x 6 a y para x > b se 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 convergentes puede no ser uniformemente convergente. Considera el ejmplo trivial en que las
sucesiones son fn .x/ D 1=n (una sucesin de funciones constantes que converge uniformemente a cero en R) y gn .x/ D x (una sucesin constante, formada por una sola
funcin, que evidentemente converge uniformemente a dicha funcin en R). El producto
es la sucesin de funciones fn .x/gn .x/ D x=n que converge puntualmente a cero pero
la convergencia no es uniforme en R.
El ejercicio anterior proporciona un ejemplo de dos sucesiones de funciones que no convergen uniformemente y cuyo producto converge uniformemente.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
640
Puedes probar como fcil ejercicio que si ffn g converge uniformemente a f en un conjunto A, y g es una funcin acotada en A entonces la sucesin fgfn g converge uniformemente a gf en A.
Ejercicio resuelto 253 Sea f W R ! R una funcin de clase C 1 e I D a; b un intervalo
cerrado y acotado.
a) Prueba que para todo " > 0 existe > 0 tal que cualesquiera
sean x; y 2 I con
f .x/ f .y/
xC
n wn
fn .x/ D
f .t / dt
2 1
x
Justifica que
ffn0 g
.x 2 R/:
converge uniformemente a f 0 en I .
0
f x C n1
0
f .x/ f .x/ 6
n
xC1
n
1
n
f x
x
1
n
f x
0
1
n
0
C f x
1
n
0 .x/
f 2 .x/ dx D
wb
a
n!1
n!1
wb
a
pn .x/f .x/ dx D 0:
Como f 2 es continua y positiva, deducimos que para todo x 2 a; b debe ser f 2 .x/D0,
esto es, f .x/ D 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
641
Ejercicio resuelto 255 Sea ffn g una sucesin de funciones que converge uniformemente
a una funcin f en un intervalo a; C1. Supongamos que, para cada n 2 N, existe
lKm fn .x/Dan 2 R. Prueba que la sucesin fan g es convergente y que f tiene lmite
x!C1
en C1, siendo
x!C1
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/
"=3 y tambin jan aj < "=3. Pongamos:
jf.x/
fn0 .x/ C fn0 .x/
aj 6 f .x/
an0 C an0
fn .x/j <
2"
a <
C fn0 .x/
3
an0 :
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
Ejercicio resuelto 256 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
P. Se pide estudiar, en cada
caso, la convergencia puntual en de la serie de funciones, fn , y la continuidad de la
1
X
funcin suma F D
fn .
nD1
a) D R, fn .x/ D e
nx .
1
.
x2 C n
n
x2
.
c) D R n f 1; 1g, fn .x/ D
nC1
1 x2
Solucin. a) Se trata de una serie geomtrica de razn e x , por tanto, dicha serie converge si, y slo si, e x < 1, esto es, x > 0. El campo de convergencia puntual es RC . En
este caso podemos calcular la funcin suma de la serie:
b) D R, fn .x/ D
1
n
F.x/ D
1
X
nD1
nx
e
1
x > 0:
Es una funcin continua en RC . Este resultado tambin puede obtenerse sin necesidad
de calcular la funcin suma. Para ello, observamos que la serie converge uniformemente
en semirrectas de la forma a; C1
a > 0, pues para todo x > a se verifica
P donde
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,
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
642
la funcin suma es continua en toda semirrecta del tipo indicado. Por el carcter local de
la continuidad, concluimos que la funcin suma es continua en RC .
b) Sea a > 0. Para todo x 2 a; a se tiene que:
fn .x/ D
x2
x 2 a2
1
D
6
6 2:
x2 C n
n.x 2 C n/ n2
n
1
n
P 1
es convergente, deducimos por el criterio de convergencia uniforme
Como la serie
n2
de Weierstrass, que la serie converge uniformemente en todo intervalo del tipo a; a y,
por tanto, en todo intervalo acotado. Deducimos tambin que el campo de convergencia
puntual es todo R y que la funcin suma es continua en R.
1
Observa que 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 visto
el ejercicio resuelto 255
P en
1
implica que, si hubiera convergencia uniforme, la serie
n debera ser convergente,
cosa que no es cierto.
nC1
x2
x2
nC1
a2
nC1
x2
1
x 2nC1
a2
1
nC1
6 a2
a2
nC1
nC1
a4
P 2n
n
Como a2 6 a2n y la serie
a es convergente por ser una serie
de razn
Pgeomtrica
n
0 < a2 < 1, se sigue, por el criterio de comparacin, que la serie a2 es convergente.
El criterio de convergencia uniforme de Weierstrass implica que la serie dada converge
uniformemente en a; a. Deducimos que la serie converge puntualmente en 1; 1 y
que la funcin suma es continua en dicho intervalo.
Anlogamente, usando que fn .1=x/ D fn .x/, se prueba que la serie converge uniformemente en conjuntos de la forma fx 2 R W 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
n
X
conjunto A. Sea Fn D
fk . Prueba que para toda sucesin fxn g de puntos de A se
kD1
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 .
Ejercicio resuelto 258 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, haciendo
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
643
. 1/n
.
x2 C n
b) D 2; C1; fn .x/ D
c) D 0; ; fn .x/ D
. 1/n
.
nx C . 1/n
sen.nx/
.
p
n
1
. Para cada x 2 R la sucesin ffn .x/g es monx2 C n
tona decreciente. Adems como para todo x 2 R es 0 < gn .x/ 6 n1 , se verifica que fgn g
converge uniformemente
P a cero en R. El criterio de convergencia uniforme de Leibniz
nos dice que la serie
fn converge uniformemente en R. Observa que no hay convergencia absoluta en ningn punto.
b) Pongamos:
. 1/n nx . 1/n
nx
. 1/n
D . 1/n 2 2
fn .x/ D
D
n
2
2
nx C . 1/
n x
1
n x
1
1
n2 x 2
1
1
Como para todo n 2 N y todo x > 2 se verifica que 0 < 2 2
6
y
n x
1
4n2 1
P 1
es convergente, se sigue, por el criterio de Weierstrass que la serie
la serie
4n2 1
X
1
converge uniformemente en R.
n2 x 2 1 n
n>1
Pongamos gn .x/ D
nx
n2 x 2
n C x 2 n3
.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
sen
x
n
n
X
2
x
Gn .x/ D
sen.kx/ D sen x
2
sen
kD1
2
1
. El
Por lo que, para cada 0 < x 6 y para todo n 2 N se verifica que jGn .x/j6
sen.x=2/
P
criterio de Dirichlet 9.43 nos dice que la serie fn .x/ es convergente. Puesto que para
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
644
259 Calcula el radio de convergencia de cada una de las series de potenEjercicio resuelto
P
n
cias
cn x , y estudia el comportamiento de la serie en los extremos del intervalo de
convergencia, en los siguientes casos:
p
n
1 n
n
log.nC1/
;
b/ cn D .n C 1/
; c/ cn D e
1C
a/ cn D 2
n
n CnC1
p
1 3 5 .2n C 1/
n!
n
; e/ cn D a .a > 0/;
d / cn D
f / cn D
2 4 6 .2n C 2/
.n C 1/n
Solucin. a) Aplicando el criterio del cociente o de la raz es muy fcil probar que
cnC1
p
! 1 o que n cn ! 1. Por tanto el radio de convergencia es 1. Como cn > 0
cn
P
cn x n no converge para x D 1. Se comprueba fcilmente que para
y cn n1 la serie
n
P> 5 esn cnC1 < cn y como, adems, fcn g ! 0. el criterio de Leibniz implica que la serie
cn x converge para x D 1.
!
q
2
.log
n/
n
.n C 1/log n D exp .log n/2 D exp
! exp.0/ D 1:
n
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
645
1
e
Por tanto e .1 C xn / xn xn siempre que fxn g ! 0. En particular, tenemos que:
2
1 n
e1
cn D e
1C
:
n
2n
nC1
nC2
nC1
D 1
1
nC2
nC1
1
:
e
n>1
x 2n
.
n.2n 1/
Solucin. Empezamos viendo para qu valores de x la serie dada converge absolutaX jxj2n
mente. Para ello, aplicamos el criterio del cociente a la serie
. Pongamos
n.2n 1/
n>1
jxj2n
. Puesto que:
an D
n.2n 1/
anC1
n.2n 1/
jxj2.nC1/
n.2n 1/
D jxj2
D
! jxj2 ;
2n
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. Deducimos as que 1; 1 es el intervalo de convergencia de la serie. Sea f W 1; 1! R
la funcin suma de la serie:
f .x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
1
X
nD1
x 2n
n.2n 1/
1 < x < 1:
Ejercicios resueltos
646
Recuerda que las series de potencias pueden derivarse e integrarse trmino a trmino en
su intervalo de convergencia. Por tanto, para 1 < x < 1 tenemos que:
f
0 .x/ D
f 00 .x/ D
1
X
x 2n 1
2
2n 1
nD1
1
X
2x 2n
nD1
1
X
nD0
2.x 2 /n D
2
1
x2
wx
0
2
t2
dt D log.1 C x/
log.1
x/:
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/:
x 3n
.n C 1/ n y
2
n>0
X n.x C 3/n
.
2n
n>1
Solucin. Sea
f .t/ D
1
1
Tenemos que:
tf
0 .t /
.1
t /2
1
X
tn
nD0
1
X
nt n
nD1
Haciendo en estas igualdades t D x 3 =2, supuesto que 1 < x 3 =2 < 1, deducimos que:
!n 1
!n
1
1
X
X
x 3 =2
4
1
x3
x 3n X x 3
C
D
C
n
D
.n C 1/ n D
2
2
2
1 x 3 =2 .1 x 3 =2/2 .x 3 2/2
nD0
nD0
nD1
nD1
2n
1
X
xC3
xC3 n
3Cx
n
D
D
2
:
2
2.1 C .x C 3/=2/2
.5 C x/2
nD1
Universidad de Granada
Dpto. de Anlisis Matemtico
X . 1/n
1
:
dx
D
1 C xq
qn C 1
nD0
Ejercicios resueltos
647
. 1/k uk D
. 1/nC1 unC1
;
1Cu
. 1/nC1 x q nCq
:
1 C xq
kD0
hagamos u D
xq
para obtener:
n
X
. 1/k x qk D
kD0
w . 1/nC1 x q nCq
X . 1/k
1
dx
D
C
dx :
1 C xq
qk C 1
1 C xq
kD0
w1
w1
w1
nC1 x q nCq
. 1/nC1 x q nCq
1
.
1/
dx
;
dx
6
x q nCq dx D
q
q
1Cx
1Cx
qn C q C 1
obtenemos la igualdad:
w1
0
Finalmente
w1
0
w1
0
w1
0
X . 1/n
1
dx
D
:
1 C xq
qn C 1
nD0
X . 1/n
1
dx D log 2 D
1Cx
nC1
nD0
1
X
1
. 1/n
dx
D
D
4
2n C 1
1 C x2
nD0
log 2 X . 1/n
1
dx
D
p
C
D
3
3n C 1
1 C x3
3 3
nD0
X
1
D
. 1/n .x q /n
1 C xq
nD0
nD0
nD0
w
q nC1
X
X
1
n
qn
n t
dx
D
.
1/
x
dx
D
.
1/
1 C xq
qn C 1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
Ahora, la serie
648
. 1/n
n>0
t q nC1
, es una serie de potencias cuyo intervalo de convergenqn C 1
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
X
lKm
t !1
t < 1 nD0
X
1
t q nC1
D
. 1/n
:
qn C 1
qn C 1
. 1/n
nD0
t !1
wt
w
1
1
dx
D
dx
q
1Cx
1 C xq
Deducimos que
w1
X
1
1
:
dx D
. 1/n
q
1Cx
qn C 1
nD0
nx n
, y
n>1
n>1
1
X
n
n
x n por medio de funciones elementales y calcula el valor de
.
nC1
2n .n C 1/
nD1
1
1
f 0 .x/ D
1
X
nD0
1
.1
1
X
x/2
1
X
Tambin
x
x/2
.1
nx n
nD1
nx n
nD1
t
.1
t/
dx D
2
x
1
C log.1
x/ D
1
X
nD1
n
x nC1
nC1
Deducimos que:
1
X
nD1
n
1
log.1 x/
xn D
C
nC1
1 x
x
En particular, haciendo x D
Universidad de Granada
Dpto. de Anlisis Matemtico
1
2
resulta que
1
X
nD1
n
2n .n C
1/
D2
2 log 2:
Ejercicios resueltos
649
n>0
n>0
n>1
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/ 1
P .n C 1/ n!
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
x 3 C x C 3 D P . 1/ C P 0 . 1/.x C 1/ C
P 000 . 1/
.x C 1/3 D 1 C 4.x C 1/ C .x C 1/3 :
3!
Luego
1 3
X
n CnC3
nD0
nC1
x D
1
X
nD0
1
1
X
X
xn
1
2
n
C 4 C .n C 1/ x D
C
.n2 C2nC5/x n :
nC1
nC1
nD0
1
X
xn
D
nC1
nD0
log.1 x/
x
nD0
x n y dividiendo por
P
La suma de la serie .n2 C 2n C 5/x n puede calcularse tambin derivando dos veces
la serie geomtrica. Seguiremos el procedimiento
general para sumar series aritmtico
P
geomtricas, es decir, series del tipo Q.n/x n donde Q.n/ es un polinomio en n.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
650
En nuestro caso Q.n/ D n2 C 2n C 5. Observa que Q.n C 1/ Q.n/ D 3 C 2n, por tanto:
n
X
x/ D
Q.k/x .1
kD0
D
D
n
X
Q.k/x k
kD0
n
X1
kD0
n
X1
Q.k/x kC1
Q.k C 1/
Q.x/ x kC1 C Q.0/
.3 C 2k/x kC1 C 5
Q.n/x nC1 D
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
X
nD0
Q.n/x n D
D
D
5
1
x
5
1
1
1
X
nD0
.3 C 2n/x nC1 D
1
2x 2 X n
3x
C
C
nx
x
1 x
.1 x/2
1D
log.1 x/ 4x 2 7x C 5
C
x
.1 x/3
nD1
5
1
2x 2
4x 2 7x C 5
3x
C
D
C
x
.1 x/2
.1 x/3
.1 x/3
Finalmente
1 3
X
n CnC3
nC1
nD0
xn D
X
2
1
xn D
x n puede obtenerse
1 C 2 C C n
n.n C 1/
n>1
n>1
muy fcilmente integrando dos veces la serie geomtrica.P
Seguiremos otro procedimiento que suele ser efectivo para sumar series de la forma
R.n/x n donde R.n/ es una
funcin racional de n y que consiste en descomponer R.n/ en elementos simples. En
nuestro caso tenemos
2
2
2
R.n/ D
D
:
n.n C 1/
n nC1
La suma de la tercera serie
Como
1 n
X
x
nD1
log.1
1
X
nD1
2
x n D 2 log.1
n.n C 1/
x/ C 2
log.1
x/ C x
:
x
1
X
X n3
1 n
x n , usaremos que ex D
x . La idea consiste en escribir
n!
n!
n>0
nD0
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
651
nD0
n!
1
X
n.n
xn D
nD0
1
X
nD3
1/.n
.n
3/!
xn
2/ C 3n.n
n!
1
X
3
nD2
.n
2/!
1/ C n
xn
x nD
1
X
.n
nD1
x
1/!
X P .n/
n!
x n donde P .n/ es un
n>1
n>1
1
n.2n C 1/
n>1
xn
y
n.2n C 1/
. 1/n
:
n.2n C 1/
n>1
1
x n es el
n.2n C 1/
intervalo 1; 1 y que la serie converge tambin en los extremos del intervalo de convergencia. Sea f W 1; 1 ! R la funcin suma:
f .x/ D
1
X
nD1
1
xn
n.2n C 1/
. 1 6 x 6 1/:
1
X
xn 1
2n C 1
Por tanto:
xf 0 .x/ D
0
nD1
1
X
nD1
xn
2n C 1
Universidad de Granada
Dpto. de Anlisis Matemtico
1
X
x 2nC1
nD0
2n C 1
. 1 < x < 1/
Ejercicios resueltos
652
1
X
nD0
x 2n D
1
x2
wx
0
1
t2
dt D
1
log.1
2
1
log.1 C x/
2
x/:
De donde:
f
0 .x/
p
g. x/
D p
x x
1
log.1 C
D
x
p
x/ log.1
p
2x x
x/
1
x
Integrando por partes se obtiene que una primitiva de f en 0; 1 viene dada por:
p
p
p
p
x/ log.1
x/ .1 C x/ log.1 C x/
.1
.0 < x < 1/:
h.x/ D
p
x
Deducimos que:
f .x/ D h.x/
.0 6 x < 1/:
x!0
1
X
nD1
1
D lKm f .x/ D 2
n.2n C 1/ x!1
lKm h.x/ D 2
x!1
2 log 2:
0 .x/ D
jxjf
0.
1
X
. 1/n
jxjn
2n C 1
jxj/ D
nD1
1
X
. 1/n 2nC1
x
2n C 1
nD0
Como
' 0 .x/
Universidad de Granada
Dpto. de Anlisis Matemtico
1
X
. 1/n x 2n D
nD0
1
;
1 C x2
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
653
wx
0
1
dt D
1 C t2
arc tg x:
o lo que es igual:
f
0.
x/ D
p
x
p
arc tg. x/
p
x x
x!0
.0 6 x < 1/:
1
X
nD1
. 1/n
D lKm f . x/ D lKm H .x/
n.2n C 1/ x!1
x!1
2D
C log 2
2
2:
g.x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
654
la funcin suma. En virtud del teorema de derivacin para series de potencias, sabemos
que la funcin F es de clase C 1 en I . Sea ahora q 2 N y consideremos la funcin
G W I ! R dada por
q
X
F.x/
a/k
ck .x
kD0
G.x/ D
G.a/ D cqC1 :
.x
a/qC1
1
X
cqC1Cn .x
Es evidente que
G.x/ D
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
x
.x 2 R/
.2n C 1/!
nD0
1
X
1 n 1
f .x/ D
x
.x 2 R/
n!
nD1
1
X
. 1/n 2n 2
x
.x 2 R/
h.x/ D
.2n/!
nD1
1
X
. 1/n n
'.x/ D
x
. 1 < x < 1/
nC1
g.x/ D
nD0
f .x/
x!0
1
x4
1 2
12 x
1
X
nD0
. 1/n
x 2n
.2n C 1/!
1
X
. 1/n
.x
h.x/ D
nC1
1/n
.x 2 R/;
.jx
1j < 1/
nD0
sen x
; g.0/ D 1I
x
h.x/ D
log x
; h.1/ D 1:
x 1
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
655
; , x 0 es 0 < g.x/ D senx x < 1, tenemos que:
log senx x
D h.g.x//; f .0/ D h.g.0// D 1:
f .x/ D sen x
1
x
g.x/
1
X
nD1
. 1/n 2n
x D
.2n C 1/!
1 2
1
x C x 4 C '.x/:
3!
5!
Deducimos que:
1
X
. 1/n
.g.x/
f .x/ D h.g.x// D
nC1
1/n D 1
nD0
donde:
.x/ D .g.x/
1
.g.x/
2
1
1/ C .g.x/
3
1
X
. 1/n
.g.x/
1/
nC1
1/n
1/2 C .x/;
nD3
1 2
3! x ,
se verifica
1 2
x
12
1
11 4 1 1 4
11 4
x C o.x 4 / D 1 C x 2 C
x C
x C o.x 4 /:
2 5!
3 .3!/2
12
2160
Deducimos que:
lKm
x!0
f .x/
1
x4
1 2
12 x
11
:
2160
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
656
1
.x
a/
x a
a
a1
x a
1
1 X x
a
1
X
a n
D
a
nD0
nD0
1
.x
a/nC1
a/n
jx
x a
a,
por tanto,
aj < j
aj:
/2
1
X
nD1
n
.x
a/nC1
a/n
jx
aj < j
aj:
Las sucesivas derivadas nos dan el desarrollo en serie de potencias centrado en a de las
fracciones del tipo b/.
En nuestro caso, se calcula fcilmente la descomposicin en fracciones simples:
f .x/ D
1
x
2
1
C
2
xC1
.x C 1/
Segn acabamos de ver, las fracciones obtenidas puedes desarrollarlas en series de potencias centradas en cualquier punto que no sea una raz del denominador. Te dejo que
acabes t el ejercicio.
Esto puede complicarse mucho cuando el denominador tiene races complejas, en cuyo
caso solamente pueden obtenerse con facilidad algunos desarrollos centrados en puntos
particulares (las partes reales de las races imaginarias).
an ; a0 D 1; a1 D 3:
1
X
nD2
1
X
an x n D a0 C a1 x C
2anC1
nD0
D a0 C a1 x
2x
D a0 C a1 x
2x
Universidad de Granada
Dpto. de Anlisis Matemtico
1
X
nD0
1
X
nD1
1
X
nD0
an x nC2 D
anC1 x nC1
x2
1
X
nD0
an x n
anC2 x nC2 D
an x n D
x 2 f .x/ D a0 C a1 x
2x.f .x/
a0 /
x 2 f .x/:
Ejercicios resueltos
657
f .x/ D
1
X
. 1/ nx
n 1
nD1
1
X
nD1
. 1/n nx n D 1 C
nD0
1
X
nD1
1
X
nD0
. x/
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 .
w1 e
0
x 2 .1Ct 2 /
1 C t2
dt :
Prueba que:
a) f .0/ D =4, y lKm f .x/ D 0.
x!C1
w1
x 2 .1Ct 2 /
dt :
C1
w
x2
wx
t2
dt
!2
:
4
p
.
dx D
2
w1
0
1
dt D arc tg 1
1 C t2
e x2 .1Ct 2 /
6 e
1 C t2
arc tg 0 D
6e
x 2 .1Ct 2 /
x2
:
4
w1
0
Universidad de Granada
Dpto. de Anlisis Matemtico
x2
dt D e
x2
lKm f .x/ D 0:
x!C1
Ejercicios resueltos
658
b) Tenemos que e
x 2 .1Ct 2 /
1
X
. 1/n
nD0
f .x/ D
1
w1 X
.1 C t 2 /n 2n
x . Por tanto:
n!
. 1/n
0 nD0
.1 C t 2 /n
n!
x 2n dt :
gn .t/ D . 1/n
.1 C t 2 /n
n!
x 2n :
En esta expresin
X debes considerar que x est fijo y la variable es t 2 0; 1. Probaremos
que la serie
gn converge uniformemente en 0; 1 lo que permitir permutar la suma
n>0
.1 C t 2 /n
n!
x 2n 6
2n 1 2n 22n x 2n
.4x 2 /n
x 6
D
n!
n!
n!
X .4x 2 /n
n>0
n!
P
serie
gn el criterio de convergencia uniforme de Weierstrass y concluimos que dicha
serie converge uniformemente en 0; 1. Por tanto:
1
0
1
1 w1
1
w
2
n
1
2
n
1
X
X
.1 C t /
@ . 1/n .1 C t /
f .x/ D
x 2n dt D
dt A x 2n:
. 1/n
n!
n!
nD0 0
nD0
Como esta igualdad es vlida para cualquier nmero real x hemos expresado la funcin f
como suma de una serie de potencias convergente en todo R. Por el teorema de derivacin
para series de potencias, tenemos que f es derivable y su derivada viene dada por:
0
1
1
w1
2 /n 1
X
2n.1
C
t
@ . 1/n
f 0 .x/ D
dt A x 2n 1 D
n!
nD1 0
1
0
1 w1
1 w1
2 /n 1
X
X
.1 C t 2 /n 2n
.1
C
t
@ . 1/n
dtAx 2n 2 D 2x
x dt D
. 1/n
D 2x
.n 1/!
n!
nD0 0
nD1 0
!
1
1
w X
w1
2 n
2 n
2
2
n .x / .1 C t /
D 2x
. 1/
dt D 2x e x .1Ct / dt :
n!
0 nD0
wx
0
t2
dt
!2
659
Tenemos que h.0/ D f .0/ D =4 y h es una funcin derivable en el intervalo 0; C1.
Tenemos:
h 0 .x/ D
Df
0 .x/ C
0 .x/ C
x2
2e
wx
t2
2x
w1
dt D t D xu D f
x 2 .1Cu2 /
0 .x/ C
2e
x2
w1
x 2 u2
x du D
du D 0:
Luego, h es constante y, por tanto, h.x/ D h.0/ D =4 para todo x > 0.
t2
obtenemos que
C1
w
x2
dx D
dt D
4
p
.
2
f .x/
Gregory de St. Vincent (1584 - 1667), en su Opus Geometricum (1647) fue el primero en afirmar 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 fundamental para la comprensin de los logaritmos y que llev al descubrimiento del logaritmo
natural por Mercator.
En 1668, Nicholas Mercator (1620 - 1687) public un libro titulado Logarithmotechnia en
el que proporcionaba un mtodo para calcular logaritmos basado en el desarrollo en serie del
logaritmo natural
x3 x4
x2
C
C
(10.20)
log.1 C x/ D x
2
3
4
el cual obtuvo usando los resultados de Gregory de St. Vincent.
Universidad de Granada
Dpto. de Anlisis Matemtico
660
A su vez, este resultado de Mercator fue mejorado por James Gregory (1638 - 1675) que
obtuvo la expansin:
2x 3
2x 5
1Cx
D 2x C
C
C
log
1 x
3
5
que converge ms rpidamente que la anterior. A James Gregory se debe tambin la serie del
arcotangente:
x5 x7
x3
C
C
(10.21)
arctan x D x
3
5
7
Sustituyendo x D 1 resulta
1
1 1
D1
C
C
4
3
5 7
Mejores representaciones
de se deducen de esta serie haciendo como A. Sahrp (1651 - 1742)
p
en 1705 x D 1= 3, con lo que
1
1
1
1
C
Dp 1
C
6
3 3 32 5 33 7
3
Con cuya serie calcul con 72 cifras decimales. Una mejor aproximacin de que evita el
uso de radicales y converge rpidamente, fue obtenida en 1706 por John Machin (1680 - 1752).
La idea es expresar =4 D arctan 1 en funcin de dos ngulos de tangentes racionales y cada
una de ellas menor que la unidad. La serie de Machin es:
1
D 4 arctan
4
5
arctan
1
1
D4
239
5
1
1
C
3
35
5 55
1
239
1
1
C
3
3 239
5 2395
r1
Universidad de Granada
Dpto. de Anlisis Matemtico
661
Newton tuvo la ocurrencia de sustituir el lmite superior de integracin por un valor genrico
x. De esta forma obtuvo las siguientes cuadraturas (Newton no dispona de smbolo para la
integral; usamos, claro est, la notacin actual).
wx
t 2 / dt
D x
1 3
x
3
.1
t 2 /2 dt
D x
2 3 1 5
x C x
3
5
wx
.1
t 2 /3 dt
0
wx
D x
3 3 3 5
x C x
3
5
1 7
x
7
.1
t 2 /4 dt
D x
4 3 6 5
x C x
3
5
4 7 1 9
x C x
7
9
.1
wx
0
Newton observ que el primer trmino de cada expresin es x, que x aumenta en potencias impares, 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
x3
De la misma manera, procediendo por analoga, pudo encontrar algunos trminos ms:
wx
.1
2 1=2
t /
dt D x
1
2
1
8
1
16
wx
1
128
9
rx
0
x9
t 2 /n dt , se tiene que
.1
n
X
n . 1/k 2kC1
t / dt D
x
k 2k C 1
2 n
.1
kD0
n.n
n
D
k
1/.n 2/ .n
1 2 3k
k C 1/
n
D1
0
Q1=2 .x/ D x
x3
1
8
x5
1
16
x7
1
128
x9
Universidad de Granada
Dpto. de Anlisis Matemtico
.1
662
1 1
X
. 1/n 2nC1
2
x
es una suma con infinitos trminos. A partir de aqu,
n 2n C 1
nD0
1 2 1 4
1 6
1 8
x
x
x
x
2
8
16
128
Newton nunca public su teorema binomial, ni dio una demostracin general del mismo. La
primera vez que apareci en un texto impreso fue en 1685 en un libro de Wallis (que reconoce
la autora de Newton), titulado Treatise of Algebra. Newton mismo, en una carta a Henry Oldenburg, el secretario de la Royal Society, conocida como la Epistola Prior (junio de 1676),
expone el teorema binomial, a requerimiento de Leibniz, con estas oscuras palabras:
.1
x 2 /1=2 D 1
Newton era consciente de que su forma de razonar por analoga no era rigurosa por lo que
comprob su resultado de varias formas. Aplic su algoritmo a diversos resultados conocidos, comprobando que las soluciones obtenidas eran siempre correctas, redescubri la serie de
Mercator para el logaritmo y obtuvo las series del arcoseno y del seno.
Newton encontr que el mtodo de desarrollos en serie proporcionaba un algoritmo casi
universal para calcular cuadraturas y resolver multitud de problemas. En su obra De analysi
per aequationes numero terminorum 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:
1. El rea bajo la curva de ecuacin y D ax m=n es
mCn
na
ax n .
mCn
x 2 /1=2 D x 1=2 .1
Universidad de Granada
Dpto. de Anlisis Matemtico
x/1=2 D x 1=2
1 3=2
x
2
1 5=2
x
8
1 7=2
x
16
1 9=2
x
128
663
Por tanto
1=4
w
.x
2 1=2
x /
dx
2
3 23
2 3=2
x
3
1 5=2
x
5
1
5 25
yD
1 7=2
x
28
1
28 27
p
x
1 9=2
x
72
1
72 29
5 11=2
x
704
5
704 211
1=4
0
(10.22)
x2
r 1=4 p
x
0
x 2 dx
Deducimos que
p
3 3
2
D
C 24
4
3 23
1
5 25
1
28 27
1
72 29
5
704 211
Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie 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 asimismo el nombre de anlisis. Porque el razonamiento es ste no es menos cierto que en
el otro; ni las ecuaciones menos exactas; aunque nosotros los mortales, cuyo poder de razonamiento est 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 proporcionaban un mtodo de anlisis con la misma consistencia interna que el lgebra de ecuaciones
finitas.
Universidad de Granada
Dpto. de Anlisis Matemtico