0a3cap 10 Sucesiones y Serie de Funciones

Captulo
10
Sucesiones y series de funciones
10.1. Introduccin
La representacin de funciones complicadas por medio de funciones sencillas es una de las ideas centrales del Anlisis Matemtico. En este captulo vamos a precisar algunos de los posibles signicados del trmino representacin. Intuitivamente, se trata de aproximar funciones que se suponen muy generales por otras de un tipo especialmente sencillo. Por ejemplo, podemos aproximar localmente, en las proximidades de un punto, una funcin derivable por sus polinomios de Taylor calculados en dicho punto. Ya hemos visto que esta aproximacin es de gran utilidad para calcular lmites. Ahora queremos dar un paso ms y nos interesamos por representaciones que sean vlidas no slo localmente, en las proximidades de un cierto punto, sino en todo un intervalo. Hay muchas maneras de representar funciones complejas por medio de otras ms simples, una de las ms tiles es la representacin por medio de series. Podemos describir este proceso en trminos muy generales como sigue.
Se considera una clase de funciones simples. Por ejemplo, puede ser la clase de las funciones polinmicas, o la clase de todos los polinomios trigonomtricos que son las
w w
.M
at
em
at
ic
a1
.c
om
funciones de la forma
cos
sen
donde
son nmeros reales.
Para representar una funcin por medio de funciones de la clase hay que asociar a dicha funcin una sucesin de funciones donde . Las funciones suelen interpretarse como las componentes elementales de la funcin . La forma de obtener las funciones componentes de viene dada en cada caso por un algoritmo matem-
tico que, conocida la funcin , permite calcular, al menos en teora, las . Esta parte del proceso de representacin se suele llamar anlisis porque consiste en analizar descomponindola en sus componentes ms simples. Esto es algo que se hace constantemente en todos los procesos de tratamiento de seales auditivas o grcas. Si, por ejemplo, queremos representar la funcin exponencial e por medio de funciones polinmicas, entonces las funciones elementales son los polinomios de Taylor
que, para la funcin exponencial viene dados por
El ltimo paso consiste en recomponer la funcin mediante sus componentes elementales . Para que este proceso sea til las funciones componentes deben estar determinadas de manera nica por y debe ser posible, mediante algn algoritmo matemtico que suele ser una serie o una integral , recobrar la funcin mediante sus componentes . Por ejemplo, para el caso de la funcin exponencial sabemos (ver (9.13)) que para todo es: e

lm
lm
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 por superposicin de sus componentes elementales . El trmino superponer procede de la Fsica y en Matemticas se traduce por sumar. Por tanto, lo que queremos es expresar como la suma de la serie denida por la sucesin de funciones :
.M at em w w w at ic
a1
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 en un cierto intervalo se verica que:
.c o
(10.1)
Esta igualdad s sabes lo que signica: quiere decir que la serie de nmeros reales . converge y tiene como suma el nmero Puede que te ests preguntando para qu sirve todo esto? Respuesta: para traducir problemas relativos a en otros ms sencillos relativos a sus funciones componentes . Por ejemplo, si queremos obtener la solucin de una ecuacin diferencial en la que interviene una funcin , podemos sustituir dicha funcin por 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 que se conservan y se transmiten de forma automtica a la funcin representada . Por ejemplo, si las funciones son continuas o derivables es tambin continua o derivable?.
Para terminar esta introduccin vamos a ver un ejemplo de aproximacin de funciones que, en cierto sentido, es paradjico. Sea la funcin identidad en el intervalo cuya grca es la diagonal del cuadrado unidad (ver gura 10.1). Sea la funcin denida en cuya grca es el tringulo de vrtices . La longitud de las grcas de y es evidentemente la misma e igual a .
0 0
Figura 10.1. Es
Sea la funcin denida en cuya grca son los tringulos de vrtices y . La longitud de las grcas de y es evidentemente la misma e igual a . Este proceso de ir dividiendo por la mitad los lados de los tringulos puede proseguirse indenidamente y obtenemos una sucesin de funciones tales que para todo es , y la longitud de la grca de es igual a . Es evidente que las funciones convergen a la funcin cuya grca es el segmento de extremos de longitud ; luego ?. En esta introduccin del captulo ya han salido algunas ideas que seguidamente vamos a presentar de manera formal.
w w w .M at em at ic a1 .c o m
10.2. Conceptos bsicos

10.1 Denicin. Una sucesin de funciones es una aplicacin que a cada nmero natural hace corresponder una funcin . Usaremos el smbolo para representar la sucesin de funciones dada por , para todo . Supondremos en lo que sigue que las funciones intervalo . son funciones reales denidas en un , donde
10.2 Ejemplos. Consideremos las sucesiones de funciones funcin denida en cada caso por:
es la
10.2.1. Convergencia puntual

10.3 Denicin. Dado se dice que la sucesin de funciones en , si la sucesin de nmeros reales es convergente.
converge puntualmente
El conjunto de todos los puntos en los que la sucesin de funciones puntualmente, se llama campo de convergencia puntual. Simblicamente:
converge
converge
Supuesto que
, la funcin
denida para todo lm

por:
se llama funcin lmite puntual de la sucesin
10.4 Observacin. Para entender la denicin de convergencia puntual y en general en todo este captulo, es muy importante no confundir la sucesin de funciones con la sucesin de nmeros reales obtenida evaluando las funciones de dicha sucesin en un nmero . Tampoco debes olvidar que en una sucesin la variable es siempre y nunca . As, la sucesin es la aplicacin que a cada nmero natural (la variable) le asigna el nmero real donde est jo. 10.5 Ejemplo. Sea la sucesin de funciones la funcin denida para todo por:
em
at ic
.M
a1
donde, para cada ,
es
.c o
at
Figura 10.2. Convergencia puntual
Observa que si o , la sucesin es, evidentemente, convergente a 0. Si entonces y se verica que porque . Deducimos que el campo de convergencia es una sucesin de la forma donde puntual de esta sucesin es el conjunto y la funcin lmite puntual es la funcin idnticamente nula, para todo . Observa en la gura 10.2 las grcas de las primeras seis funciones de esta sucesin.
Fjate cmo por el extremo derecho del intervalo las grcas se van pegando al eje de abscisas pero su comportamiento es muy diferente en el extremo izquierdo. Ello es as porque cuando es pequeo (es decir, est cerca de ) la sucesin converge muy rpidamente a cero, pero cuando est prximo a (es decir, est cerca de ) la sucesin converge lentamente a cero.
Observa las grcas de las funciones y en la gura de la derecha. Te parece que estas funciones estn muy prximas a la funcin lmite puntual ? Observa que, aunque para cada es , lm
la funcin no se acerca mucho a la funcin lmite puntual .
Volviendo al ejemplo anterior, con y , podemos calcular fcilmente el nmero max max . Basta derivar para comprobar que la funcin alcanza su mximo absoluto en el intervalo en el punto . Luego
w w w .M at em at
ic
a1
Para evitar ambigedades necesitamos precisar qu entendemos por proximidad entre dos funciones. Para ello, considera dos funciones . Dichas funciones son iguales cuando para todo o, lo que es igual, cuando max . En general, el nmero max proporciona una buena idea de la proximidad entre las funciones y pues dicho nmero es tanto ms pequeo cuanto ms cercanas estn las grcas de las dos funciones.
.c om
max Fjate en que lm
pero lm max
, es decir, las funcio
nes no se aproximan a la funcin nula. De hecho, como la sucesin es creciente, cuanto mayor sea mayor es la distancia entre la funcin y la funcin nula. Observa cmo son las grcas de las funciones cerca de cero para .
10.6 Ejemplo. Sea la sucesin de funciones funcin dada para todo por:

donde, para cada
es la
Es claro que si se tiene que , y si se tiene que . que, evidentemente, converge a . Por tanto, el campo de Para es convergencia puntual de es , y la funcin lmite puntual est denida por:
lm
si si
si
Aqu ocurre que la funcin lmite puntual es discontinua (tiene discontinuidades de salto en y en ) a pesar de que las funciones de la sucesin son continuas. Observa las grcas de las primero cinco funciones de la sucesin.
om
-3
-2
-1
.M at
em at

ic a1
.c
1
Tenemos que:
ma x
Por tanto, la distancia entre la funcin
y la funcin lmite puntual,
, no converge a cero.
Este ejemplo y el anterior ponen de maniesto que la convergencia puntual de a no proporciona una buena idea de la aproximacin entre las funciones y . Adems las propiedades de continuidad de las funciones pueden no conservarse para la funcin lmite puntual. Esto lleva a denir un tipo de convergencia mejor que la convergencia puntual.
10.2.2. Convergencia Uniforme

Sea un intervalo no vaco contenido en el campo de convergencia puntual de la sucesin la funcin lmite puntual de . Se dice que converge uniformemente a . Y sea en si para todo existe (que depender de ) tal que para todo se verica que sup .
Para comprender bien esta denicin, analicemos la ltima desigualdad. Tenemos que: sup

Cuya interpretacin grca es la siguiente (donde hemos considerado
).
Figura 10.3. Interpretacin grca de la convergencia uniforme
10.7 Observaciones. Observa que la diferencia entre la convergencia puntual y la convergencia uniforme en es la siguiente. Decir que
converge a
puntualmente en signica que:
todo
La correspondiente sucesin de nmeros reales converge a , es decir: para , existe un nmero natural tal que para todo con se verica que .
Fijas un ;
Naturalmente, el nmero depender del y, en general, tambin de porque si cambias por otro punto la sucesin es distinta de y el que vale para una no tiene por qu valer tambin para la otra. Decir que
converge a
uniformemente en signica que:
Existe un nmero natural (que depender de ) tal que para todo con verica que para todo .
Fijas un
.M
Esto nos dice que la grca de la funcin se queda dentro de un tubo centrado en la grca de de anchura (ver gura 10.3). Ahora debe estar claro que en el ejemplo 1 no hay y en el ejemplo 2 no convergencia uniforme en ningn intervalo del tipo con hay convergencia uniforme en ningn intervalo que contenga a o a .
at em at ic a1 .c
om
se
Es decir, en la convergencia uniforme, hay un mismo nmero que es vlido simultneamente para todos los . En la prctica, el estudio de la convergencia puntual se reduce a calcular para cada jo el lmite lm , lo que suele ser muy sencillo. Mientras que para estudiar la convergencia
uniforme en un intervalo , lo que se hace es calcular, con las tcnicas usuales de derivacin, el mximo absoluto de en . La presencia del valor absoluto en es incmoda para derivar por lo que conviene quitarlo, lo que casi siempre puede hacerse con facilidad. Supongamos que el mximo absoluto de en se alcanza en un punto . Entonces, si lm hay convergencia uniforme en , y en otro caso
no hay convergencia uniforme en . En particular, si hay una sucesin de puntos de tal no converge a , entonces no converge uniformemente a en . que
, 10.8 Ejemplo. Estudiemos la convergencia uniforme en o y en intervalos de la forma ( ), de la sucesin de funciones denidas para todo o por e .
Observa que

y, si
, lm
sucesin de la forma donde ). Por tanto, el campo de convergencia puntual es o , y la funcin lmite puntal est dada por lm para todo o . Estudiemos si hay convergencia uniforme en o . Observa que , por lo que e , se deduce que para . Ahora, como, , y para . Luego . Deducimos para todo que max o , y como e, sucesin que, evidentemente, no converge a 0, concluimos que no hay convergencia uniforme en o .
lm
(porque es una
Observa las grcas de las primero cinco funciones de la sucesin.
w w
w .M
Estudiemos si hay convergencia uniforme en un intervalo de la forma , con . Por lo antes visto, sabemos que la funcin es decreciente en el intervalo . Sea un nmero natural tal que . Entonces, para todo , tenemos que , por lo que, max . Como lm , concluimos que hay convergencia uniforme en .
at e m at ic a1 .c om
Puedes comprobar fcilmente, integrando por partes, que para todo . Por tanto: lm

lm
Es decir, en general, no se puede permutar la integracin con el lmite puntual.
10.9 Observaciones. El concepto de convergencia uniforme requiere algunas precisiones importantes.
La convergencia uniforme se reere siempre a un conjunto. No tiene sentido decir que la sucesin converge uniformemente si no se indica inmediatamente a continuacin el conjunto en el que armamos que hay convergencia uniforme. Adems, siempre hay convergencia uniforme en subconjuntos nitos del campo de convergencia puntual (si no sabes probarlo es que no has entendido la denicin de convergencia uniforme). Por ello, slo tiene inters estudiar la convergencia uniforme en conjuntos innitos, por lo general en intervalos. No existe el campo de convergencia uniforme. Es decir, el concepto de campo de
convergencia puntual no tiene un anlogo para la convergencia uniforme. La razn es que no tiene por qu existir un ms grande conjunto en el que haya convergencia uniforme. As, en el ejemplo anterior, hay convergencia uniforme en intervalos de la forma con . La unin de todos ellos es y en no hay convergencia uniforme. 10.10 Teorema (Condicin de Cauchy para la convergencia uniforme). Una sucesin de funciones converge uniformemente en si, y slo si, para todo , existe un nmero natural tal que para todos se verica que: sup

at ic
sup Sea

w w w
.M
. Para todo tenemos que:
at
em
a1
.c o
Demostracin. Supongamos que converge uniformemente a una funcin , existir un tal que para todo se tiene que: ces, dado
en . Enton-
Por tanto para todos
se verica que sup
Recprocamente, supuesto que la condicin del enunciado se cumple, entonces para cada se verica que la sucesin verica la condicin de Cauchy pues:

Por el teorema de completitud de dicha sucesin es convergente. Por tanto podemos denir la funcin lmite puntual por lm para todo . Comprobemos
sup
que converge uniformemente a tal que para todos es:

en . Dado

, por la hiptesis hecha, hay un
Fijando y
en esta desigualdad y tomando lmite para

desigualdad que es vlida para todo . Deducimos que sup siempre que . Hemos probado as que converge uniformemente a en . 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.
obtenemos que:
10.2.3. Series de funciones

Dada una sucesin de funciones nen sumando consecutivamente los de

, podemos formar otra, . Es decir, ,
, cuyos trminos se obtie , ,...
En general,
. La sucesin

as denida se llama serie de trmino general
la representaremos por el smbolo
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 signicado para series. As el campo de convergencia puntual de la serie cuyas funciones

suponemos denidas en un intervalo , es el conjunto:
es convergente
La nica novedad es que ahora tambin podemos considerar el campo de convergencia absoluta de la serie, que es el conjunto
w w .M

El siguiente resultado es el ms til para estudiar la convergencia uniforme y absoluta de una serie. 10.11 Teorema (Criterio de Weierstrass). Sea tal que para todo
at e
es convergente
at ic
a1
.c
La funcin lmite puntual, llamada funcin suma de la serie, es la funcin para todo por:
dada
om
una serie de funciones y

un conjunto
y todo

se tiene que
, donde la serie
es
convergente. Entonces
converge uniformemente y absolutamente en
Demostracin. De las hiptesis se deduce, en virtud del criterio de comparacin para series de trminos positivos, que la serie . Esto implica que la serie converge para todo . Veamos que la convergencia es uniforme. Utilizaremos el (x) converge para todo

criterio de Cauchy.
Como
es convergente cumplir la condicin de Cauchy, esto es, dado
, existe
tal que si
entonces
Deducimos que para todo

se verica que:
Como esta desigualdad es vlida para todo sup Es decir, la serie

se sigue que:
(10.2)
cumple la condicin de Cauchy para la convergencia uniforme en .
Por otra parte, si en la condicin de Cauchy (10.2) para una serie de funciones , hacemos deducimos la siguiente condicin necesaria para la convergencia uniforme. 10.12 Corolario. Una condicin necesaria para que una serie de funciones sea uniformemente convergente en un conjunto es que la sucesin de funciones converja uniformemente a cero en . Observa que los conceptos de convergencia absoluta y de convergencia uniforme son independientes: una serie puede ser uniformemente convergente en un conjunto y no ser absolutamente convergente en . 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 . numrica y una serie de funciones denidas en un conjunto

w w
.M
at em
at ic
a1
.c
om
una sucesin
Criterio de Dirichlet. Supongamos que: a)
es una sucesin de nmeros reales montona y convergente a cero.

b) La serie mero
tiene sumas parciales uniformemente acotadas en
, es decir, hay un n
tal que para todo

y para todo se verica que converge uniformemente en .
Entonces la serie de funciones Criterio de Abel. Supongamos que: a) La serie

es convergente.
b) Para cada es una sucesin de nmeros reales montona y la sucesin de funciones est uniformemente acotada en , es decir, hay un nmero tal que para todo y para todo se verica que . Entonces la serie de funciones

converge uniformemente en
Demostracin. Probaremos primero el criterio de Dirichlet. Pongamos frmula (9.10) de suma por partes de Abel se deduce fcilmente que:

. De la
(10.3)
Igualdad que es vlida para todos y todo . Tomando valores absolutos en esta igualdad, teniendo en cuenta que para todo es y suponiendo que es decreciente en cuyo caso ser , obtenemos:

.M at em
Dado que
, como suponemos que . Deducimos que para todos
, hay un tal que para todo se verica y para todo se verica que:
at

ic
a1
.c
om
Hemos probado as que la serie de funciones

verica la condicin de Cauchy para la
convergencia uniforme en
Probaremos ahora el criterio de Abel. Sea
. Intercambiando los papeles de
en la igualdad (10.3) tenemos:

Sea

.Teniendo en cuenta que:
deducimos de la igualdad anterior:

Igualdad que es vlida para todos y todo . Dado , tomemos tal que siempre que . Entonces , tomando valores absolutos en la igualdad anterior y teniendo en cuenta que para todo , obtenemos:

Como para cada la sucesin es montona, las diferencias son todas positivas o todas negativas y, por tanto:

Concluimos que para todos

at
Hemos probado as que la serie de funciones

w
.M at
em
a1 ic
.c
om
y para todo
se verica que:
convergencia uniforme en
10.14 Corolario (Criterio de Leibniz para la convergencia uniforme). Sea una sucesin de funciones denidas en un conjunto tal que para todo la sucesin es montona y converge uniformemente a cero en . Entonces la serie converge uniformemente en . Demostracin. Pongamos

. Entonces
constantes. Sea tambin
. Se verica que
. Usando la igualdad (10.3), tenemos que:

es una sucesin de funciones
para todo . Pongamos
Tomando valores absolutos obtenemos:

Como, para cada , los nmeros tivos, se tiene que:

son todos positivos o todos nega
Resulta as que para todo :

Como converge uniformemente a , dado , hay un tal que para todo y para todo se verica que . De la desigualdad anterior, se sigue que para y para todo se verica que:

10.15 Teorema (Conservacin de la continuidad). Supongamos que converge uniformemente a en un intervalo . Sea y supongamos que las funciones son todas ellas continuas en . Se verica entonces que la funcin es continua en . En particular, si las funciones son todas ellas continuas en . Se verica entonces que la funcin es continua en . Demostracin. Dado , la hiptesis de convergencia uniforme implica que existe tal que para se verica que para todo . Tenemos:
w w
.M at
Los resultados siguientes, relativos a la convergencia uniforme, se aplican, claro est, tanto a sucesiones como a series de funciones.
em at
ic
a1
.c
om
Hemos probado as que la serie convergencia uniforme en .
Pero por la forma en que hemos tomado se sigue que:

Adems, como por hiptesis todo con es

(10.4)
es continua en

, se verica que existe tal que para , lo que, en virtud de (10.4) implica que:

Resumiendo, hemos probado que dado , existe , tal que si tomamos entonces , que es, precisamente, la continuidad de en .
Como la continuidad de y, por otra parte, por ser anterior nos dice que:
en
se expresa por
continua en , lm lm
lm lm lm lm
lm lm
; el resultado
lm lm
Es decir, la convergencia uniforme permite permutar los lmites. El ejemplo 10.6 con 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 converge uniformemente en un intervalo y que las funciones son todas ellas continuas en . Se verica entonces que: lm
lm
d
se verica que:
(10.5)
En particular, si una serie

om

(10.6)
As pues, si

tenemos:

.M at em
Demostracin. Sea lm . La hiptesis de convergencia uniforme nos dice que dado existe un tal que para todo se cumple:
at ic
para todo en
a1
.c
Al cumplirse esto para todo
se sigue que
lm
Este resultado es vlido tambin si solamente se supone que las funciones son integrables en , aunque en ese caso su demostracin es un poco ms larga porque hay que probar en primer lugar que la funcin lmite uniforme tambin es integrable en . Suponiendo que las funciones son continuas la funcin lmite uniforme tambin es continua y, por tanto, es integrable en . Cuando no hay convergencia uniforme la igualdad (10.5) no tiene por qu ser cierta como se pone de maniesto en el ejemplo 10.8.
10.17 Ejemplo. Para cada sea y . Veamos que la serie
la funcin dada por

log ,
Observa que es continua y positiva en y se anula en los extremos del intervalo. Como log log , se sigue que en el punto exp la funcin alcanza un mximo absoluto en . Luego

y, puesto que la serie
es convergente, deducimos, por el criterio de Weierstrass, que

. En consecuencia, se vericar que:
Puesto que
log
a1 at ic

log
.c
om
como fcilmente puedes comprobar integrando por partes, se deduce que:
at em
La convergencia uniforme no conserva la derivabilidad. Esto es fcil de entender si consideras que puedes sacar pequeos dientes de sierra a la grca de una funcin derivable con lo que resulta una nueva funcin no derivable y arbitrariamente prxima a la primera. Por ello, el siguiente resultado tiene hiptesis ms exigentes que los anteriores. 10.18 Teorema (Derivabilidad y convergencia uniforme). Sea nes denidas en un intervalo , y supongamos que: i) ii) iii)

w w
.M
una sucesin de funcio-
es derivable en para todo . converge uniformemente a en .
converge uniformemente a en
es derivable en y
Entonces
para todo .
Demostracin. Demostraremos este resultado en el caso particular de que las funciones tengan derivada primera continua en . En tal caso, jemos un punto . Ahora, para , en virtud del teorema fundamental del Clculo, tenemos que:

Tomando lmites y haciendo uso del teorema anterior, deducimos que:
d
es derivable
Una nueva aplicacin del teorema fundamental del Clculo nos dice ahora que en y que para todo .
Observa que este teorema nos dice que, en las hiptesis hechas, podemos permutar la derivabilidad con la convergencia uniforme: lm

lm
lm
Esta igualdad es una permutacin de lmites pues arma que para
lm lm
lm
lm
se verica que:
lm
10.19 Proposicin. Sea una sucesin de funciones derivables en un intervalo . Supon gamos que la sucesin converge uniformemente en y que hay un punto tal que es convergente. Entonces la sucesin converge uniformemente en todo intervalo acotado contenido en . Demostracin. Sea un intervalo acotado contenido en y sea la longitud de . Podemos suponer que (si es necesario ampliamos para que as sea). Como converge uniformemente en tambin converge uniformemente en . Por tanto, dado , existe un tal que para todos se verica que:

w w
.M
at em
at ic
a1
.c
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.
om
(10.7)

Como es convergente, podemos tomar tambin verica que:
de forma que para
se
Aplicando el teorema del valor medio a la funcin en un intervalo de extremos y donde , se tiene que hay algn comprendido entre y , , es decir: por lo que , tal que

(10.8)
Tomando valores absolutos en esta igualdad y teniendo en cuenta (10.7), resulta que para es:

Deducimos que:

desigualdad que es vlida siempre que y para todo . Hemos probado as que la sucesin verica en la condicin de Cauchy para la convergencia uniforme.
10.3. Series de potencias
Dados un nmero real, , y una sucesin de nmeros reales, , sea la funcin dada para todo por y, por convenio, . La serie de funciones . La sucesin se se llama serie de potencias centrada en

llama sucesin de coecientes de la serie. El coeciente se llama trmino independiente de la serie. Suele usarse, y nosotros tambin seguiremos la costumbre, la notacin

para representar la serie de potencias centrada en
con coecientes ,
om
. que
Un tipo particular de series de potencias son las series de Taylor. Dada una funcin tiene derivadas de todo orden en un punto , la serie de potencias

se llama serie de Taylor de en . Recuerda que, por convenio, la derivada de orden de una y que . funcin, , es la propia funcin Observa que la serie de Taylor de en es la sucesin de los polinomios de Taylor de en . Recuerda que el polinomio de Taylor de orden de en es la funcin polinmica dada por:
w w
.M

at
em
at ic a1 .c
El resultado bsico para estudiar la convergencia de una serie de potencias es el siguiente.

10.20 Lema (Lema de Abel). Sea y supongamos que la sucesin est mayo rada. Entonces se verica que la serie de potencias converge absolutamente
en el intervalo contenido en
y converge uniformemente en todo intervalo cerrado y acotado
. Demostracin. Por hiptesis, existe tal que para todo . Sea Ser suciente probar que la serie converge absolutamente y uniformemente en el intervalo . Aplicaremos para ello el criterio de Weierstrass. Para todo , tenemos que:

Basta ahora tener en cuenta que la serie
es convergente por ser una serie geomtrica
de razn
. tal que
El resultado anterior nos lleva, de forma natural, a considerar el ms grande la sucesin est mayorada.
10.3.1. Radio de convergencia de una serie de potencias

Consideremos el conjunto
la sucesin
est acotada
Observa que ya que el . Adems, es un intervalo porque si entonces . Si est mayorado denimos sup , si no lo est denimos . Se dice que es el radio de convergencia de la serie de potencias . El intervalo , con el convenio de que cuando es , se llama intervalo de convergencia de la serie. La razn de esta terminologa queda clara en el siguiente resultado, fcil consecuencia del lema de Abel.
y sea el intervalo de convergencia de la serie. Se verica que la serie converge absolutamente en todo punto de y converge uniformemente en cualquier intervalo cerrado y acotado contenido en . Adems la serie no converge para valores de tales que . 10.22 Denicin. Sea
una serie de potencias con radio de convergencia no
w w
.M
at
em at
ic
10.21 Teorema. Sea
una serie de potencias con radio de convergencia no nulo

a1
.c om
nulo y sea el intervalo de convergencia de la serie. La funcin por:
denida para todo

se llama funcin suma de la serie.
Como consecuencia del teorema anterior, del carcter local de la continuidad y del teorema 10.15, se sigue que la funcin suma de una serie de potencias es continua. Enseguida veremos que es mucho ms que continua. El teorema 10.21 nos dice que el estudio de la convergencia de una serie de potencias se reduce a calcular el radio de convergencia. La nica duda corresponde a los extremos del intervalo de convergencia, los puntos y , en los cuales puede darse cualquier comportamiento como veremos enseguida con ejemplos. Fjate en que el radio de convergencia slo depende de la sucesin de coecientes de la serie y que el punto en que la serie est centrada no interviene para nada en la denicin del radio de convergencia.
Todo esto est muy bien, dirs, pero cmo se calcula el radio de convergencia? Desde luego, la denicin que hemos dado de radio de convergencia tiene utilidad terica pero no sirve para calcularlo. Hay una frmula general para calcular el radio de convergencia que no vamos considerar aqu porque, a efectos de clculo, los siguientes casos particulares son los ms interesantes. 10.3.1.1. Clculo del radio de convergencia
Podemos aplicar los criterios del cociente y de la raz para estudiar la convergencia absoluta de una serie de potencias. Ello permite deducir con facilidad los siguientes dos resultados. 10.23 Proposicin. Sea

una serie de potencias y supongamos que
el radio de convergencia de la serie es , si el radio de convergencia de la serie es y si el radio de convergencia de la serie es . donde

. Entonces si
Demostracin. Apliquemos el criterio del cociente para estudiar la convergencia absoluta de la serie . Pongamos . Tenemos que:

, el criterio del cociente nos dice que la serie converge absolutamente si , es decir, si , y que si entonces la serie no con verge porque su trmino general no converge a . Deducimos que el radio de convergencia es .
Si
Si es
. Si
la condicin se cumple para todo y el radio de convergencia entonces para todo se tiene que:

.M
at
em
at ic
a1 .c
om

lo que, por el criterio del cociente, nos dice que la serie no converge porque su trmino general no converge a . Luego en este caso es . De forma totalmente anloga, haciendo uso del criterio de la raz, se prueba el siguiente resultado. 10.24 Proposicin. Sea
una serie de potencias y supongamos que
donde . Entonces si el radio de convergencia de la serie es , si el radio de convergencia de la serie es y si el radio de convergencia de la serie es . Observa que los criterios anteriores son bastante restrictivos pues, por ejemplo, a la serie no puedes aplicarle ninguno de ellos. En particular, el criterio del cociente no puede

aplicarse cuando hay innitos coecientes nulos. En casos parecidos a este el siguiente articio es de bastante utilidad prctica. 10.25 Observaciones.
Consideremos una serie de potencias de la forma
donde es un nmero
natural jo. Para calcular su radio de convergencia hacemos y calculamos el radio converge . Si ste es , entonces la de convergencia de la serie para
Si
, es decir, para , las series
, luego su radio de convergencia es
tienen igual
radio de convergencia puesto que todas ellas convergen para los mismos valores de .
Si las sucesiones y son asintticamente equivalentes, entonces las series de potencias y tienen igual radio de convergencia. Ello es consecuen las sucesiones y son, evidentemente, asintticamente cia de que si 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.
a1 at
.c
om
Demostracin. Pongamos:
w w
cia.
.M
est acotada
em
10.26 Lema. Las series
tienen igual radio de convergen-
at
ic
est acotada
Los respectivos radios de convergencia viene dados por sup y sup con los convenios usuales. Es evidente que . Lo que implica que . En particular, si entonces . Consideremos que y sea . Por denicin de supremo, tiene que haber algn tal que . La sucesin est acotada, es decir, hay un tal que para todo . Deducimos que:

Como, por ser , la sucesin 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 . Hemos probado as que y, por tanto, . Como esta desigualdad es vlida para todo nmero se sigue que necesariamente debe ser y concluimos que . En el caso en que puede repetirse el razonamiento anterior con cualquier nmero y concluimos que tambin es .
10.27 Teorema (Derivacin de una serie de potencias). Sea
una serie de
potencias con radio de convergencia no nulo . Sea el intervalo de convergencia de la serie y la funcin suma de la serie denida para todo por:

Entonces se verica que: i) es indenidamente derivable en . de
ii) La derivada de orden

est dada para todo por:

(10.9)
En particular, se verica que de potencias
, es decir,
y, por tanto, la serie
coincide con la serie de Taylor en de su funcin suma.
radio de convergencia. Podemos aplicar ahora los teoremas 10.21 y 10.18 para obtener que la funcin suma es derivable y su derivada viene dada para todo por:
w w w
.M
at
em
Demostracin. Las series de potencias son series de funciones polinmicas las cuales son indenidamente derivables. Pongamos . Teniendo en cuenta el lema anterior, las series de potencias y tienen igual
at ic a1
.c
om
Es decir, la derivada de la funcin suma es la funcin suma de la serie de las derivadas. Podemos volver a aplicar este resultado a la serie de las derivadas
, pues
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 segn acabamos de probar, es derivable y su derivada viene dada para todo por:
Este razonamiento puede repetirse tantas veces como queramos. Una simple y evidente induccin prueba que para todo se verica la igualdad (10.9). Dijimos que las series de Taylor eran un tipo especial de series de potencias. El teorema anterior nos dice que no son tan especiales: toda serie de potencias con radio de convergencia no nulo es una serie de Taylor; es la serie de Taylor de su funcin suma.
El teorema anterior nos dice que las funciones suma de series de potencias son funciones con derivadas de todos rdenes (funciones de clase ) y que podemos calcular sus derivadas sucesivas derivando trmino a trmino la serie que las dene. El siguiente resultado es una consecuencia inmediata del teorema de derivacin y nos dice que siempre podemos calcular una primitiva de una serie de potencias expresndola por medio de otra serie de potencias. 10.28 Corolario (Primitiva de una serie de potencias). Las series de potencias y

tiene igual radio de convergencia. Supuesto que dicho radio de con-
vergencia es positivo y llamando al intervalo de convergencia, se verica que la funcin

es una primitiva en de la funcin
at em
at ic
.c o
En otros trminos, este resultado arma que para todo se verica la igualdad:
a1
(10.10)
w w
10.29 Ejemplo. e d
.M
10.30 Estrategia. Acabamos de ver que si expresamos una funcin como suma de una serie de potencias, derivando la serie trmino a trmino se obtiene la serie de potencias de la derivada de , e integrando la serie trmino a trmino se obtiene una serie de potencias cuya suma es una primitiva de . Estos procesos se determinan mutuamente. Por eso, para expresar una funcin como suma de una serie de potencias, puede ser una estrategia vlida, cuando la derivada de sea ms sencilla que , expresar la derivada como suma de una serie de potencias, pues integrando dicha serie trmino a trmino se obtiene una serie de potencias que se diferencia de en una contante que usualmente puede calcularse fcilmente. 10.31 Ejemplo. Sabemos que:
Integrando trmino a trmino se obtiene que la funcin:
log tienen la misma derivada en log . Luego:

es derivable en
con derivada
y como
. Por tanto, las funciones
, concluimos que
log
10.4. Desarrollos en serie de potencias de las funciones elementales

Dada una funcin con derivadas de todos rdenes en un intervalo y un punto , se verica que la serie de Taylor de centrada en tiene radio de convergencia no nulo? En caso de que as sea, se verica que la funcin suma de la serie de Taylor de coincide con ? Contrariamente a lo que en principio puede parecer, la respuesta a ambas preguntas es, en general, negativa. Un estudio en profundidad de este problema requiere el uso de tcnicas de variable compleja que no son propias de este curso. A continuacin consideraremos algunas de las funciones ms usuales del Clculo y probaremos que, en determinados intervalos, coinciden con la suma de sus respectivas series de Taylor. La herramienta bsica para estudiar la convergencia de una serie de Taylor es, precisamente, el teorema de Taylor. Conviene recordarlo.
em at
Teorema de Taylor Sea un funcin un punto con
ic
a1
.c
om
veces derivable en un intervalo tal que:

w w .M
y sean
at
entonces existe
Series de Taylor de la funcin exponencial Ya sabemos que la funcin exponencial coincide con la suma de su serie de Taylor en : e

para todo .
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 exp para todo , el polinomio de Taylor de orden en es:
exp
Consideremos la serie de potencias centrada en

. Llamando
tenemos que a la
, por tanto la serie tiene radio de convergencia
. Llamemos
funcin suma de la serie:

Vamos a probar que
para todo .
es la funcin exponencial. Por el teorema de derivacin tenemos que
Acabamos de probar que es una funcin que coincide con su derivada, esto es, para todo . Consideremos ahora la funcin e ,
e e
para todo .
Como para todo deducimos que
tenemos que la funcin
es constante. Como . Concluimos, por tanto, que e .
La serie de Taylor centrada en un punto se deduce de la anterior sin ms que tener en cuenta que: e e e e para todo .

Sabemos que: sen

w w
.M
at em
at ic
Series de Taylor del seno y del coseno
a1 .c
om
cos sen
sen
sen Por tanto
sen
sen
Como para todo es sen

sen
, el teorema de Taylor implica que:
sen
Pero sabemos que
lm
De donde deducimos sen
sen
para todo
Es decir, la serie de Taylor del seno converge a sen cualquiera sea .
Por el teorema de derivacin para series de potencias obtenemos la serie del coseno, que tambin ser convergente cualquiera sea . cos
sen
cos
para todo
Si hacemos
tenemos que para todo :
sen
cos
Series de Taylor de la funcin logaritmo Seguiremos la idea expuesta en la estrategia 10.30 y en el ejemplo 10.31. Para calcular la serie de Taylor de log, pongamos Tenemos que log
denida para
Integrando trmino a trmino esta serie, denamos para
at ic

w w
a1

em

.c o
Tenemos, en virtud del teorema de derivacin, que implica que es constante y, como Hemos probado as que:
at .M w
para todo
, concluimos que
, esto .
log Observa que, efectivamente,
es el intervalo de convergencia de la serie.
La serie de Taylor del logaritmo centrada en log log
se deduce de lo anterior:
log

log
log
Observa que la serie convergente para

cuya suma para
es igual a log
es tambin
puesto que se trata de la serie armnica alternada. En esta situacin
cabe esperar que la igualdad log sea tambin vlida para que log
vlida, en principio, para
? En este caso particular, la respuesta es armativa porque sabemos
. El siguiente resultado establece que esto es cierto en general.
10.32 Teorema (Teorema de Abel). Sea convergencia
una serie de potencias con radio de
, siendo
. Sea

la funcin suma de la serie. Supongamos adems que la serie converge. Entonces se verica que la serie converge uniformemente en el intervalo . En

consecuencia: lm
Demostracin. Escribamos:

Podemos aplicar a esta serie el criterio de Abel 10.13 con Por hiptesis la serie es convergente y para

y se verica que
. es
Las dos armaciones nales del teorema son consecuencia de que al ser la convergencia se verica que: uniforme en lm
lm
w w
.M
at em
una sucesin de nmeros reales montona (decreciente); adems, para todo y para todo se tiene que . En estas condiciones el citado criterio de Abel nos dice que la serie converge uniformemente en .
at ic a1 .c
om
lm
donde en la segunda igualdad podemos permutar el lmite con la suma de la serie por ser la convergencia uniforme en . Igualmente, la convergencia uniforme de la serie en con la suma de la serie.
permite permutar la integral
Serie de Taylor del arcotangente en cero Puesto que arc tg se deduce fcilmente que arc tg

Adems, como esta serie converge tambin para arc tg
, el teorema de Abel nos dice que:
lm arc tg

Serie binomial de Newton Consideremos la funcin , donde , ya que para es conocido. Calculemos la serie de Taylor de en . Tenemos que el desarrollo
Los coecientes de la serie sern:

Por tanto la serie de Taylor de
es:

at em
at
w w
ic
a1
.c
om
Calculemos su radio de convergencia.
Por tanto, el radio de convergencia es
.M
. Denamos para
Queremos probar ahora que la funcin suma de la serie, , coincide con la funcin en el intervalo . Para esto consideremos la funcin , denida para . . Calculemos
Analicemos ahora la expresin entre corchetes,
Hemos probado que para todo , de donde deducimos que es constante, y como , concluimos que para . Hemos probado as que:
Para centrar esta serie en un punto
podemos proceder como sigue:

siempre que
Donde hemos tenido en cuenta que Serie de Taylor del arcoseno en cero Sea
arc sen , su derivada viene dada como:

Haciendo las sustituciones
arc sen
Integrando trmino a trmino la expresin anterior obtenemos la serie del arcoseno:

w
.M
at e
at
.c

a1 om
en la serie binomial de Newton obtenemos:
ic
Como
Resulta nalmente: arc sen
Adems, como la serie tambin converge para
, por el teorema de Abel tenemos que:

arc sen

Ya dijimos que las series de Taylor de una funcin no siempre convergen a dicha funcin. Veamos un ejemplo de esto.
10.33 Ejemplo. Consideremos la funcin
denida de la siguiente forma

si

si
La funcin es de clase innito, y puede probarse sin dicultad que para todo , por lo que su serie de Taylor en es la serie idnticamente nula que, evidentemente, no converge a en ningn intervalo abierto que contenga a . Por esta razn se dene una clase de funciones que son precisamente aquellas que pueden representarse localmente por sus series de Taylor. 10.34 Denicin. Se dice que es una funcin analtica en un intervalo abierto si para cada punto hay una serie de potencias centrada en que converge en un intervalo abierto no vaco , y su suma es igual a en el intervalo . Dicho de forma ms concisa: las funciones analticas son las funciones que se representan localmente por medio de series de potencias. Teniendo en cuenta el teorema de derivacin y el carcter local de la derivabilidad, es inmediato que una funcin es analtica en un intervalo abierto si, y slo si, se cumplen las dos condiciones siguientes: 1.
.
om
10.35 Ejemplos. Hemos visto antes que para todo

w
at em
at ic
2. Para todo punto la serie de Taylor de en vaco , y su suma es igual a en el intervalo

a1 .c
converge en un intervalo abierto no . se verica que:
log log

w w
.M
(10.11)
Esto nos dice que la funcin logaritmo es analtica en el intervalo . Observa que en cada punto la serie de Taylor del logaritmo converge en el intervalo y es en ese intervalo en donde representa a la funcin. El intervalo es tanto ms pequeo cuanto ms prximo est de . Tambin hemos visto que para todo
se verica que:
Esto nos dice que la funcin es analtica en el intervalo . Observa que en cada punto la serie de Taylor converge en el intervalo abierto no vaco y es en ese intervalo en donde representa a la funcin. El intervalo es tanto ms pequeo cuanto ms prximo est de . De la misma forma, los resultados vistos para las funciones exponencial, seno y coseno, muestran que dichas funciones son analticas en y sus series de Taylor en cualquier punto convergen en todo . La funcin del ejemplo 10.33 no es analtica en ningn intervalo abierto que contenga a , pero s es analtica en intervalos abiertos que no contengan a .
10.4.1. Las funciones trascendentes elementales denidas por series

Las series de potencias son objetos matemticos muy simples, en ellas solamente intervienen las operaciones algebraicas de adicin y de multiplicacin y la operacin analtica de paso al lmite. De hecho, las series de potencias son sucesiones de funciones polinmicas. Por eso dichas series suelen usarse para denir nuevas funciones. Recuerda que usamos el Teorema Fundamental del Clculo para denir el logaritmo natural y, a partir de l, la funcin exponencial. Ahora vamos a hacer lo mismo con series de potencias y por n! podremos denir de forma analtica las funciones trigonomtricas. 10.4.1.1. La funcin exponencial
Olvidemos de momento lo que sabemos de la funcin exponencial. Sabemos que la serie de potencias

denida en todo . 10.36 Denicin. La funcin exp
tiene radio de convergencia
y, por tanto, su funcin suma est
dada para todo por:

a1 .c

Como consecuencia del teorema de derivacin para series de potencias, la funcin exponencial es derivable en todo punto y su derivada viene dada por:
w w w
.M
at
exp
em
Se llama funcin exponencial.
at ic
om
exp
exp
Por tanto, la exponencial es una funcin que coincide con su derivada. Consideremos un n exp . Tenemos que: mero jo y denamos para todo exp
exp
exp exp
exp
Por tanto es constante en . Como exp , deducimos que exp . Hemos probado que exp exp exp . En particular, para ser exp exp lo que implica que la funcin exponencial no se anula nunca y que exp exp . Por tanto, podemos escribir la igualdad antes obtenida en la forma exp exp exp . Igualdad que es vlida para todos . Hemos probado as la propiedad aditiva de la exponencial. Tenemos tambin que exp exp , por lo que la funcin exponencial es siempre positiva. Como coindide con su derivada, deducimos que es una funcin estrictamente y exp creciente. Como exp exp se tiene que exp exp exp . Deducimos que lm exp y lm exp y que la exponencial es una biyeccin de sobre .
Se dene el nmero e exp. Es fcil probar, usando la propiedad aditiva de la exponencial, que exp exp para todo nmero racional , es decir exp e , por lo que se usa la notacin exp e . Observa de qu forma tan elegante y cmoda hemos obtenido las propiedades principales de la funcin exponencial. Se dene ahora la funcin logaritmo natural como la inversa de la funcin exponencial. 10.4.1.2. Las funciones trigonomtricas
Olvidemos de momento lo que sabemos de las funciones trigonomtricas. La serie de potencias
est denida en todo .
tiene radio de convergencia
y, por tanto, su funcin suma
10.37 Denicin. La funcin sen sen Se llama funcin seno.
dada para todo por:
om
sen
at em
Como consecuencia del teorema de derivacin para series de potencias, la funcin seno es derivable en todo punto y su derivada viene dada por:
at ic
a1 .c
.M
La funcin derivada de la funcin seno se llama funcin coseno y es la funcin denida para todo por:
cos
El teorema de derivacin permite probar enseguida que cos y cos . Derivando ahora la funcin
sen
. Adems sen
sen
cos se obtiene que:

Luego Sea
sen cos sen cos
es constante. Como
jo y denamos la funcin:
cos cos
, concluimos que sen

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

Muchas funciones continuas no son derivables, es claro que dichas funciones no pueden representarse por medio de series de potencias. Por otra parte, dado un conjunto nito de puntos , es fcil construir una funcin polinmica que interpole en el plano, dichos puntos, es decir, cuya grca pase por todos ellos, para . Dada una , parece intuitivo que si tomamos una particin de funcin continua en un intervalo con un nmero sucientemente grande de puntos, , y es una funcin polinmica que interpola los correspondientes puntos en la grca de , esto es los puntos del conjunto , entonces dicha funcin polinmica coincide con en todos los puntos y debera ser una buena aproximacin de la funcin en todo el intervalo . Aunque las cosas no son exactamente as, un notable resultado debido a Weierstrass arma que, efectivamente, es posible aproximar uniformemente en un intervalo cerrado y acotado una funcin continua por una funcin polinmica. Pero no debes hacerte una idea falsa de la situacin. Las cosas no son tan simples como pudieran parecer a primera vista. Ello se debe a que una funcin continua puede oscilar demasiado, de hecho puede oscilar tanto que no sea derivable en ningn punto. El primer ejemplo de una funcin continua que no es derivable en ningn punto (puedes imaginar la grca de una funcin as?) fue dado por Weierstrass en 1872. Su funcin era:

donde es un nmero impar, y . Observa que est denida como la suma de una serie de funciones continuas (de clase !) que converge absolutamente y y la serie converge uniformemente en (porque para todo es cos por ser ). Por tanto, es una funcin continua en . Weierstrass demostr que no es derivable en ningn punto. Te digo esto para que aprecies que el problema de aproximar una funcin continua por una funcin polinmica en todos los puntos de un intervalo no es un fcil problema de interpolacin. De las variadas demostraciones que hay del citado resultado de Weierstrass, vamos a exponer la basada en los polinomios de Bernstein porque, adems de ser la ms elemental, proporciona unos polinomios concretos para realizar la deseada aproximacin. 10.38 Denicin. Dada una funcin es la funcin polinmica:

.M
at
em
at
ic a1
el polinomio de Bernstein de orden

.c o
cos
de
Necesitaremos usar algunas identidades que se deducen fcilmente de la igualdad siguiente.
Derivando esta igualdad una vez respecto a y multiplicando despus por obtenemos:

Derivando la primera igualdad dos veces respecto a y multiplicando despus por obtenemos:

Haciendo en las anteriores igualdades
, obtenemos las siguientes igualdades:
y deniendo, por comodidad de notacin,
(10.12)
(10.13)
w .M
at e
m at
Usando estas igualdades deducimos que:
ic a
1.
co
(10.14)
(10.15)
Por tanto:
10.39 Teorema (Weierstrass (1868)). Sea hay una funcin polinmica que verica que
una funcin continua. Dado

para todo
Demostracin. Haremos primero la demostracin en el caso de que el intervalo es el intervalo . Como es continua y es un intervalo cerrado y acotado, sabemos que est acotada en y es uniformemente continua en . Sea tal que para todo . Dado , por la continuidad uniforme de , existe un , tal que:
para todos
tales que
(10.16)
Acotaremos ahora el error que se comete al aproximar orden . Tenemos que:
por su polinomio de Bernstein de
(10.12)
(10.17)
Donde hemos usado que

. Acotaremos ahora la diferencia
segn que
. Tenemos que:

(10.16)
em
Esta desigualdad es vlida para todo (10.17),deducimos que:
w .M
at
ic a1 at
.c o
Podemos resumir las dos acotaciones obtenidas en una sola de la forma:

(10.18) . Usando ahora
y para todo
(10.12)

(10.15)
Donde hemos tenido en cuenta que para para todo se verica que:
es

. Hemos probado as que

Tomando ahora todo

tal que para se verique que y para todo se verica que:

, concluimos que para
Podemos tomar como polinomio del enunciado cualquier polinomio
con
Observa que hemos probado que la sucesin de polinomios de Bernstein de memente a en .
converge unifor-
En el caso general de un intervalo cerrado y acotado y una funcin continua en , podemos proceder como sigue. Consideremos la funcin dada por para todo . La funcin es continua en por ser continua en . Dado , por la ya probado, hay un polinomio de Bernstein de , , tal que para todo es:

Teniendo ahora en cuenta que para todo se verica que:

se tiene que

, deducimos que para
de dos polinomios, obtenemos que para todo El polinomio
Puesto que
, y

es
es un polinomio por ser composicin
em at
es, por denicin, el polinomio de Bernstein de orden de en sucesin de dichos polinomios converge uniformemente a en
w w .M at
ic a1
.c
om
. Hemos probado que la
10.40 Corolario. Toda funcin continua en un intervalo cerrado y acotado es lmite uniforme en dicho intervalo de una sucesin de funciones polinmicas.
10.5.1. Ejercicios propuestos
470. Estudia la convergencia uniforme en intervalos de la forma y de la sucesin de funciones denidas para todo por:

donde
471. Estudia la convergencia uniforme en , de la sucesin de funciones para por log , y . 472. Dado , consideremos la sucesin de funciones funcin denida para todo por:

denidas
, donde
es la
Para qu valores de hay convergencia uniforme en convergencia uniforme en , donde ?
? Para qu valores de hay
473. Para cada sea
la funcin dada por:

cos sen
Estudia la convergencia puntual de la sucesin de funciones forme en los intervalos y donde . 474. Para cada sea
y la convergencia uni-
la funcin dada por:

sen sen
Estudia la convergencia puntual de la sucesin de funciones as como la convergencia uniforme en intervalos del tipo , y donde . 475. Estudia la convergencia puntual y uniforme de la sucesin de funciones est denida por:

donde
at em
477. Estudia la convergencia uniforme en o , de la sucesin de funciones todo o por:

at ic w

a1 .
co m
476. Estudia la convergencia uniforme en intervalos de la forma , donde , de la sucesin de funciones denidas por todo .
y sen
para
denidas para
.M
arc tg
478. Para cada sea Prueba que la serie
a) Converge puntualmente en o si cerradas que no contienen al cero. b) Converge uniformemente en o si
, y la convergencia es uniforme en semirrectas

479. Estudia la convergencia puntual y uniforme de la serie funcin dada por:

donde,
es la
Sea
, la funcin suma de la serie. Calcula lm

y lm

Sugerencia. Para
se tiene que
480. Estudia la convergencia puntual y uniforme de la serie

donde
481. En cada uno de los siguientes ejercicios se especica un conjunto y, para cada , se dene una funcin . Se pide estudiar la convergencia puntual en de la sucesin de funciones, , as como la convergencia uniforme en los conjuntos que se indican en cada caso. a) b) c) d) e)
tg
cos
log
es un nmero jo), Para qu valores de hay convergencia uniforme en o ?

e (donde
w w
483. Sean
.M
la sucesin de funciones denida por:
at
em
482. Sea una sucesin de funciones que converge uniformemente a una funcin en un conjunto . Supongamos que para todo ; y sea una funcin . Prueba que la sucesin converge uniformemente a en continua en .
at ic a1 .c o m
Estudia la convergencia puntual y uniforme en o y en intervalos del tipo . Sugerencia. Puede usarse el ejercicio anterior con 484. Para cada sea
donde
la funcin denida para todo por:

cos
Estudia la convergencia puntual de la sucesin valos cerrados y acotados. 485. Sea
y la convergencia uniforme en interlm
una funcin continua, no idnticamente nula con

. Sean
a) y en o .
convergen puntualmente a cero en o pero la convergencia no es uniforme

, para todo o y todo . Prueba que:
las sucesiones de funciones denidas por
, ,
b) La sucesin
converge uniformemente a cero en o .
486. Sea
una funcin de clase
un intervalo cerrado y acotado.
a) Prueba que para todo
se verica que
b) Para cada denamos:

existe
tal que cualesquiera sean .
con
Justica que
converge uniformemente a en .
una funcin no constante y continua en . Sea la sucesin 487. Sea de funciones denida por para todo y para todo . Prueba que dicha sucesin converge uniformemente en intervalos cerrados y acotados contenidos en , y no converge uniformemente en .
488. Supongamos que una sucesin de funciones polinmicas converge uniformemente en . Qu puede decirse de dicha sucesin? Sugerencia: La condicin de Cauchy puede ser til. 489. Prueba que la funcin lmite de una sucesin uniformemente convergente de funciones uniformemente continuas tambin es una funcin uniformemente continua.
om
.M
at em
490. Prueba que lm
sen d cos
w w
at ic
a1 .c
491. Supongamos que verica que:
es una funcin continua en
y que para todo
se
d
.
Prueba que
para todo
Sugerencia: Usa el teorema de aproximacin de Weierstrass. 491. Para cada , sea 1. 2. 3. 4.

la funcin denida para todo

por:
e cos log
e .
cos .
sen si si

Estudia, en cada caso, la convergencia puntual y uniforme de la sucesin

y compara
lm
con lm
492. Da un ejemplo de una sucesin de funciones que converge uniformemente en tal que la sucesin de las derivadas no converge puntualmente en ningn punto de . 493. Da un ejemplo de una sucesin de funciones que no converge en ningn punto de cuya sucesin de derivadas converge uniformemente en . 494. Sea a) b) 495. Sea

converge uniformemente a cero en .
converge puntualmente a cero en pero la convergencia no es uniforme.
la funcin dada por
arc tg
. Prueba que:
converge puntualmente en . Estudia la continuidad y derivabilidad de la funcin suma de la serie:
la funcin dada por
. Prueba que la serie
.
en
496. Sea una sucesin de funciones que converge uniformemente a una funcin un intervalo . Supongamos que, para cada , existe lm
. Prueba que la sucesin lm lm .
es convergente y que
tiene lmite en
, siendo
co m
Sugerencia. La condicin de Cauchy permite probar la convergencia de

at ic a1 .
497. Sea una sucesin de funciones continuas que converge puntualmente a una funcin en un intervalo , , siendo la convergencia uniforme en todo . Supongamos, adems, que hay una subintervalo cerrado y acotado contenido en y tal que para funcin positiva cuya integral es convergente en todo . Prueba que las integrales de y son convergentes en y que: lm
w w w .M at em
498. Para cada , sea
la funcin dada por: si

si
a) Demuestra, haciendo uso del ejercicio anterior, que lm
e d
b) Prubese que
sen d , y deduce que:
499. Sea una sucesin de funciones continuas que converge uniformemente a una funcin en un conjunto . Sea una sucesin de puntos de que converge a un punto . Prueba que lm .
y, para cada 500. En cada uno de los siguientes ejercicios se especica un conjunto , se dene una funcin . Se pide estudiar, en cada caso, la convergen cia puntual en de la serie de funciones, , y la continuidad de la funcin suma
a) b) c) d) e) f)
, , , o ,
e .

sen . log
at ic
a1 .
co m
.M
501. Estudia la derivabilidad de la funcin de Riemann por:

at em
, denida para todo
Justica tambin que lm

.
e

502. Sea
la funcin denida por:

Estudia la derivabilidad de
y justica que para todo
es:

Prueba que que 503. Sea

es continua en o que
lm
no es derivable en .
, y lm
. Deduce
. Sea
una serie de funciones que converge uniformemente en un conjunto . Prueba que para toda sucesin

de puntos de
se verica que la
sucesin
converge a cero.
504. En cada uno de los siguientes ejercicios se especica un conjunto y, para cada , se dene una funcin . Se pide estudiar, haciendo uso de los criterios de Dirichlet o de Abel, la convergencia puntual y uniforme en de la serie de funciones . a) b) c) d) e)
. sen
sen
sen

f) no converge. g)
. Sea log

cos
. sup
. Prubese que la serie

converge.
505. Prueba que la serie

que sen con
pero no converge uniformemente en . Sugerencia. La condicin uniforme de Cauchy no se satisface en . Tngase en cuenta

para
.M
506. Sea una sucesin creciente y no mayorada de nmeros reales positivos. Prueba que la funcin denida para todo por:
at em
sen
converge uniformemente en subconjuntos acotados de

es continua y:
at ic
. Tambin puede hacerse uso del ejercicio 503
a1 .
co m
, donde la serie
Aplica lo anterior a los casos particulares igualdades:
,y
para obtener las
log
507. Para cada sea
. Prueba que la serie
a) Converge puntualmente en si cerradas que no contienen al cero.
, y la convergencia es uniforme en semirrectas .

c) No converge uniformemente en si
b) Converge uniformemente en si
Sugerencia. Estudia el comportamiento de cio 503.
. Para el apartado c) puede usarse el ejerci
508. Prueba que si es una sucesin decreciente de nmeros positivos y sen converge uniformemente en , entonces la sucesin converge a cero. Sugerencia. Usar el ejercicio 503, tomando 509. Prueba que la serie
y calcula su
suma. Calcula tambin
d .
510. Calcula el radio de convergencia de cada una de las series de potencias , y estudia el comportamiento de la serie en los extremos del intervalo de convergencia, en los siguientes casos:
at ic
.M
a1 .
co m
at em
log
log
511. Calcula la funcin suma de la serie de potencias

512. Calcula la funcin suma de las series de potencias
513. Dado un nmero natural , prueba la igualdad
Calcula el valor de la suma de las series correspondientes a los valores de 514. Expresa la funcin suma de las series de potencias
,y

por medio
de funciones elementales y calcula el valor de

515. Calcula el radio de convergencia y la suma de las series:
516. Calcula la funcin suma de la serie de potencias

y deduce el valor de las
sumas de las series:

e log

517. Prueba que las funciones denidas por:

son de clase
sen cos

en su intervalo natural de denicin.
518. Prueba que la funcin
dada por:
at ic

.M
at em
es de clase
. Calcula lm
a1 .
sen
co m
log
sen
. de la funcin:
519. Calcula el desarrollo en serie de potencias centrada en un punto
520. Calcula el desarrollo en serie de potencias centrada en cero de las funciones:

log

521. Representa la funcin
, dada por
, como suma de una
serie de potencias centrada en . Utiliza dicha serie para calcular log con ocho cifras decimales exactas. 522. Prueba que:
log
Sugerencia. Considera la serie de potencias:
523. Justica que la serie de potencias
, donde para todo
es:
converge en . Sea deduce que para todo
la funcin suma de dicha serie. Calcula la derivada de es:

,y
log
arctan
Como aplicacin calcula el valor de

524. Expresa como suma de una serie de potencias centrada en cero la funcin:
log
.
.c
arctan
Calcula la suma de la serie

Sugerencia. Deriva la funcin dada.

at em .M
525. Calcula explcitamente el valor de relacin de recurrencia:

w

at
, n = 0,1,2,... sabiendo que se verica la siguiente
ic
a1
om
10.41 Estrategia. Las relaciones de recurrencia como la anterior, tambin llamadas ecuaciones en diferencias nitas, se pueden resolver a veces por el mtodo de la funcin generatriz. Se llama as a la funcin siguiente: 1. Haciendo uso de la relacin de recurrencia dada se puede calcular la funcin generatriz sin conocer el valor de . 2. Una vez conocida la funcin generatriz se obtiene su desarrollo en serie de potencias centrado en cero. 526. Resolver por el mtodo de la funcin generatriz las siguientes ecuaciones en diferencias nitas: 1. 2.

. El proceso a seguir es el
527. Para qu nmeros reales se verica que e
e para todo ?
Sugerencia. Expresa dicha desigualdad usando series de potencias.
528. Justica que para
se verica que: log
Prueba tambin, ya sea por clculo directo o por razones de continuidad, que dicha igualdad es vlida para . 529. Justica que para

se verica la igualdad:
log
Es dicha igualdad vlida para 530. Denamos
por:
Prueba que:
.c
a)
, y lm
em
at
b) Usando un desarrollo en serie para
, prueba que
ic
w w
at
a1
om
es derivable en y:
.M
c) Justica que para todo
se verica que:
e d
d) Deduce de lo anterior que
e d
10.5.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 244 Estudia la convergencia uniforme en intervalos de la forma y donde , de la sucesin de funciones denidas para todo por:

para . que , para y Deducimos que la funcin es estrictamente creciente en y estrictamente , por lo que alcanza un mximo valor en en el punto decreciente en o .
Solucin. Es evidente que lm
. Como
, tenemos
Como lm se sigue que converge uniformemente en evidentemente, no converge uniformemente en .

w
w w
.M
max
em
at ic
Dado un nmero por tanto:
a1
sea tal que
.c o
. Para todo max
tenemos que
,y
at
pero,
Ejercicio resuelto 245 Estudia la convergencia uniforme en , de la sucesin de funciones denidas para por log , y . Solucin. Es evidente que lm que
si, y slo si, log , es decir, e . Deducimos que la funcin es y para e estrictamente creciente en e y estrictamente decreciente en e , por lo que e . Por tanto: alcanza un mximo valor en en el punto e
. Como
tenemos . Adems para

log

max
y, deducimos que la sucesin
Ejercicio resuelto 246 Dado , consideremos la sucesin de funciones es la funcin denida para todo por:

, donde
Para qu valores de hay convergencia uniforme en convergencia uniforme en , donde ?
? Para qu valores de hay
Solucin. Observa que es de la forma con intervalo

y, si por lo que lm
la sucesin
converge puntualmente a cero.
, la sucesin . Por tanto, en el
Tenemos que
Pongamos
. Entonces
para
para . Deducimos que la funcin y estrictamente decreciente en , por lo que en el punto .
es estrictamente creciente en alcanza un mximo valor en
0.50
0.50
0.25
0.25
Como se deduce que lm uniformemente en
.M
at e
La sucesin
para
at
ic
a1
.c
om
La sucesin
para
si, y slo si, si, y slo si, .
. Pot tanto, la sucesin
converge
Dado , sea tal que tanto max para todo . Ejercicio resuelto 247 Para cada sea

. Para todo por lo que
tenemos que y por converge uniformemente en
la funcin dada por:
cos sen
y la convergencia uni-
Estudia la convergencia puntual de la sucesin de funciones forme en los intervalos y donde . Solucin. Es claro que es de la forma con
y para por lo que lm

la sucesin converge puntualmente a cero. Observa tambin que para todo .
la sucesin cos . Por tanto, en el intervalo
Intentemos calcular el mximo absoluto de
en
. Tenemos que:
cos cos sen
Sea tal que cos sen . Como es positiva y se anula en los extremos del intervalo, es evidente que alcanza su mayor valor en en el punto . Observa que arc tg .
Tenemos que:
cos sen

Estudiar la convergencia de esta sucesin no es del todo inmediato. Pongamos donde sen , cos . Entonces:

sen
arc tg
sen
y como
sen
y arc tg
que es asintticamente equivalente a Por otra parte, tenemos que: log Por tanto
, se sigue que , esto es,
(de hecho, se tiene

).
logcos
cos
arc tg
e . Deducimos as que
Dado un nmero , sea tal que . Por tanto, para todo es:
at ic
. Para todo

tenemos que
max Como Como
ma x
.c o
w w
no converge a se sigue que no converge uniformemente en se sigue que . converge uniformemente en

em .M at

a1
La sucesin
cos sen
Hagamos este mismo ejercicio sin calcular el valor mximo de conveniente.
, acotando de forma
Lo primero que nos damos cuenta es de que es muy fcil probar que hay convergencia , pues como la funcin coseno es decreciente en y sen , uniforme en se tiene que: cos sen cos
para todo . Puesto que la sucesin cos ) concluimos que hay convergencia uniforme en
(es de la forma .
con
La situacin es distinta en el intervalo . Podemos sospechar que no hay convergencia uniforme en dicho intervalo. Para ello, tomemos . Tenemos que:

sen
cos
y como
sen
lm cos obtenemos que resulta que:

exp lm
cos
exp
. Como, para todo

se verica que
max
y concluimos que no hay convergencia uniforme en Ejercicio resuelto 248 Para cada sea

la funcin dada por:

sen sen
.c o
Estudia la convergencia puntual de la sucesin de funciones as como la convergencia uniforme en intervalos del tipo , y donde . . Observa tambin que para todo Solucin. Evidentemente lm . Para estudiar la convergencia uniforme en un intervalo de la forma tomemos . Como
w w .M

at
em
sen sen
at ic
a1
sen .
deducimos que no hay convergencia uniforme en Anlogamente, como
sen sen .
sen
deducimos que no hay convergencia uniforme en
Finalmente, sea . Como sen para todo y por el teorema de Weierstrass sabemos que tiene que haber un punto tal que sen sen para todo , deducimos que:
sen sen
sen
y por tanto:
max
Ya que, evidentemente, en .

sen
sen
, concluimos que hay convergencia uniforme
La sucesin
sen sen
Ejercicio resuelto 249 Estudia la convergencia puntual y uniforme de la sucesin de funciones donde est denida por:

Solucin. Para calcular la funcin lmite puntual hay que distinguir dos casos:
at em

Tenemos que:
lm
w w
at ic
a1 .
La funcin lmite puntual viene dada por:

co m
Si Si
, entonces
, entonces
y por tanto lm
y por tanto lm
Si Si
es:
.M
si si
es:

(10.19)
Aplicando el teorema del valor medio a la funcin obtenemos que
en el intervalo

donde es algn punto del intervalo

. Como:

se sigue que
. Tomando
resulta que

Deducimos ahora de (10.19) que Finalmente: max y concluimos que

max
converge uniformemente en .
Observa que, aunque la convergencia es uniforme y todas las funciones en , la funcin lmite, , no es derivable en .
son derivables
Ejercicio resuelto 250 Estudia la convergencia uniforme en intervalos de la forma , y donde , de la sucesin de funciones denidas por sen para todo . Solucin. Denamos la funcin

Con ello, tenemos que
sen
y, como lm
lm
, deducimos que la funcin
lmite puntual de la sucesin viene dada por:

m
sen Anlogamente se prueba que no hay convergencia uniforme en . Estudiemos si hay convergencia uniforme en . Para todo tenemos que: Dado , sea tal que siempre que . Tomemos un nmero natural tal que . Entonces, para todo y para todo
w w w .M

max
em
at ic
Dado , es fcil comprobar que no hay convergencia uniforme en para todo se tiene que:
a1 .
, pues
co
at
se tiene que
, por lo que:
. Hemos probado
y por tanto, para todo es max as que converge uniformemente en .
Ejercicio resuelto 251 Estudia la convergencia uniforme en o , de la sucesin de funciones denidas para todo o por:

arc tg
Solucin. Como por:
arc tg , y lm arc tg
, la funcin lmite viene dada si si

lm
arc tg
Observa que se trata de una funcin continua en o . Estudiemos si hay convergencia uniforme en o . Para ello es conveniente conocer el signo de la funcin . Teniendo en cuenta que la funcin arcotangente es inyectiva, se deduce que si, y slo si, lo que equivale a (la otra posibilidad se descarta porque suponemos que ). En consecuencia, la funcin debe tener signo constante en cada intervalo y en . Como:

arc tg
lm
arc tg para
se sigue que
para

,y
Estudiemos ahora la derivada de
. Un clculo sencillo nos da:

es una funcin
Por tanto creciente en o . Como

para todo
. En consecuencia

om at ic a1
si si
Resulta que la funcin mos que
es decreciente en
.c em at
y creciente en
. Concluisi si
Por tanto, para todo

, es:

, la sucesin
arc tg lm arc tg
.M
max
arc tg
arc tg
y como
converge uniformemente en o .
Ejercicio resuelto 252 Para cada sea

a) Converge puntualmente en o si cerradas que no contienen al cero.
Prueba que la serie
, y la convergencia es uniforme en semirrectas

b) Converge uniformemente en o si sigue que

Solucin. a) Como se pide estudiar la convergencia en . La serie

o , consideraremos en lo que

es de trminos positivos y, para

tenemos que:
lm
Por el criterio lmite de comparacin (o por el criterio de Prinsheim, como se preera), se sigue que la serie converge si, y slo, si , es decir . Estudiemos la convergencia uniforme en una semirrecta del tipo mo:
,(
). Co-
se deduce fcilmente que es creciente en y decreciente en . Sea tal que . Para todo se tiene que por lo que es decreciente en y, por tanto, para todo . Puesto que, para converge, se sigue, por el criterio de Weierstrass, que la serie , la serie . converge uniformemente en b) Si

entonces la serie

es convergente (es una
serie de Riemann con exponente ). Como para todo se tiene que , el criterio de Weierstrass implica que la serie converge uniformemente en o . Ejercicio resuelto 253 Estudia la convergencia puntual y uniforme de la serie de funciones es la funcin dada por: donde,

.M
Sea
at em
, la funcin suma de la serie. Calcula lm
at ic
a1 .c
om
Sugerencia. Para
se tiene que
y lm

Solucin. Puesto que, para
lm
se sigue, por el criterio lmite de comparacin (o por el criterio de Prinsheim, como se preera) que la serie

es convergente. Tambin converge, evidentemente,
para
Para estudiar la convergencia uniforme veamos qu informacin nos da el criterio de Weierstrass. Tenemos que:
Deducimos que es creciente en y decreciente en . Como para todo . Como la se , deducimos que rie no es convergente el criterio de Weierstrass no nos dice nada acerca de
la convergencia uniforme de la serie en todo (observa que el criterio de Weierstrass da condiciones sucientes pero no necesarias para la convergencia uniforme). Sin embargo, dicho criterio s nos proporciona informacin cuando consideramos un conjunto de la forma: , donde . Pues, tomando tal que , para todo se tiene que , por lo que es decreciente en y, en consecuencia . Puesto que la serie para todo es convergente, . el criterio de Weierstrass nos dice que converge uniformemente en La nica duda que queda por resolver es si la serie converge uniformemente en algn con (en cuyo caso sera uniformemente convergente intervalo de la forma en todo ). Pronto saldremos de dudas. Calculemos los lmites laterales en de la funcin suma de la serie. Usando la sugerencia del enunciado tenemos, supuesto , que

w w
arc tg
.M
at
em
at ic
deducimos que:
a1
.c o
arc tg
Tomando lmites para en esta desigualdad obtenemos Como esta desigualdad es vlida para todo , se sigue que lm
, se deduce que lm

. . Como
. Por tanto, la funcin
tiene una
discontinuidad de salto en
Como las funciones son continuas en deducimos que la serie no puede ser uniformemente convergente en ningn intervalo de la forma con pues, si as ocurriera, la funcin suma habra de ser continua en dicho intervalo y, por tanto sera continua en lo que acabamos de probar que no es cierto.
Fjate en que la funcin s es continua en . Pues cualquier nmero podemos meterlo dentro de un conveniente conjunto , sin ms que tomar , y como la serie , la funcin suma, , es continua en y, por converge uniformemente en la propiedad local de la continuidad, se sigue que es continua en . Ejercicio resuelto 254 Estudia la convergencia puntual y uniforme de la serie

donde
Solucin. Estudiemos la convergencia puntual. Para la serie es de trminos positivos y podemos aplicar el criterio del cociente. Tenemos que:
Consideremos la funcin e . Se tiene que e y, fcilmente, se deduce que es estrictamente creciente en y estrictamente decreciente en . Luego para , se tiene que . Por tanto, el criterio del cociente implica que la serie converge para todo nmero , . En este caso el criterio del cociente tambin proporciona informacin para aunque lm como la sucesin

, pues
lm
es decreciente, se tiene que dicho lmite se acerca a por

valores mayores que , es decir
, lo que claramente implica que
no
converge a cero y, por tanto, la serie no converge por no cumplir la condicin necesaria bsica de convergencia para series. Estudiemos la convergencia uniforme. Tenemos que:
Y, al igual que antes, se sigue que es estrictamente creciente en y estrictamen, para todo es te decreciente en . Dado y como la serie es convergente, deducimos, por el criterio de Weierstrass, que converge uniformemente en . Anlogamente se comprueba que hay convergencia uniforme en intervalos de la forma donde . Ejercicio resuelto 255 En cada uno de los siguientes ejercicios se especica un conjunto y, para cada , se dene una funcin . Se pide estudiar la convergencia puntual en de la sucesin de funciones, , as como la convergencia uniforme en los conjuntos que se indican en cada caso. a) b) c)
tg

.M
at em
at ic
a1 .c

cos
om
log
Solucin. a) Se tiene que y para todo . Si entonces porque es una sucesin de la forma donde tg . Para la sucesin . El campo de convergencia puntual y la funcin lmite puntual es la funcin nula. Sea . Como es la tangente es creciente en , tenemos que: sup

tg
y, como tg , concluimos que hay convergencia uniforme en . Hay que sospechar que no hay convergencia uniforme en . Para ello sea y pongamos tg , . Tenemos que y . Tenemos que:
tg
tg
tg

Donde hemos usado que lm
tg
. Deducimos que tg e lo que implica que y , dado con hay un para todo . Por tanto, para se tiene que:
porque es la derivada de la tangente en
. Como tal que
sup
y concluimos que no hay convergencia uniforme en b) La funcin lmite puntual viene dada por: lm
e exp
.M
El campo de convergencia puntual es y la funcin lmite es la funcin exponencial. Probaremos que hay convergencia uniforme en todo intervalo de la forma donde . Dado , sea tal que . Para todo y para todo se tiene que , luego . En lo que sigue supondremos que y .
at em at ic a1 .c om
e exp
Donde:

Se verica que lm

log

por lo que es una funcin continua. Dado
, por
tal que para la continuidad de la exponencial en hay un que e e . Por la continuidad de en hay un nmero se verica que . Tomemos tal que para todo y para todo se tiene que:
se verica
tal que para . Entonces
exp
e e
Lo que prueba que para todo hay convergencia uniforme en hay convergencia uniforme en todo intervalo acotado. c) Tenemos que para todo :
y, por tanto
lm
log
En el ejercicio se supone que para que todas las funciones estn denidas en el intervalo . Por tanto, el campo de convergencia puntual es y la funcin lmite puntual es la funcin identidad . Denamos . Tenemos que:
Deducimos que para y para . Por tanto tiene en el intervalo un mnimo absoluto en , por lo que , . Observa que, para est denido y las funciones son continuas en . Como decrece en y crece en , para todo y todo se tiene que: ma x

max
Por tanto hay convergencia uniforme en

. Por otra parte se tiene que:
log
log
Lo que implica que no hay convergencia uniforme en ningn intervalo de la forma . Ejercicio resuelto 256 Sea lm ,

a) y en o .
b) La sucesin
converge uniformemente a cero en o .
Solucin. El apartado a) es inmediato. Haremos el apartado b). Observa que en las hiptesis hechas para la funcin est acotada, de hecho alcanza un mximo absoluto en o . Sea tal que . Dado , por hiptesis hay nmeros tales que para y para se verica que . Sea tal que . Para todo y para todo se tiene que y por tanto , lo que implica que . Si entonces tambin y si tambin es , en cualquier . Por tanto, para todo y para todo es caso, se sigue que , lo que prueba que la convergencia es uniforme en . 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 (una sucesin de funciones constantes que converge uniformemente a cero en ) y (una sucesin constante, formada por una sola funcin, que evidentemente converge uniformemente a dicha funcin en ). El producto es la sucesin de funciones que converge puntualmente a cero pero la convergencia no es uniforme en . El ejercicio anterior proporciona un ejemplo de dos sucesiones de funciones que no convergen uniformemente y cuyo producto converge uniformemente.
.M
at
convergen puntualmente a cero en o pero la convergencia no es uniforme
, para todo o y todo . Prueba que:

em at
ic
. Sean
a1
.c
una funcin continua, no idnticamente nula con

om
las sucesiones de funciones denidas por
Puedes probar como fcil ejercicio que si converge uniformemente a en un conjunto , y es una funcin acotada en entonces la sucesin converge unifor memente a en . Ejercicio resuelto 257 Sea cerrado y acotado. a) Prueba que para todo

una funcin de clase
un intervalo

se verica que
b) Para cada denamos:

existe
tal que cualesquiera sean .
con
Justica que
converge uniformemente a en .
Solucin. El apartado a) es consecuencia fcil de la continuidad uniforme de y del teorema del valor medio. Haremos el apartado b). Tenemos que:
en
at em
a1 .c
Ahora basta escribir:
om
at ic
y usando el apartado a) y la continuidad uniforme de converge uniformemente a en .

w
.M
en
se sigue que
Ejercicio resuelto 258 Supongamos que se verica que:
es una funcin continua en
y que para todo
d
.
Prueba que
para todo
Sugerencia. Usa el teorema de aproximacin de Weierstrass. Solucin. La hiptesis hecha implica que para toda funcin polinmica se verica que

. Por el teorema de aproximacin de Weierstrass hay una suce-
sin de funciones polinmicas que converge uniformemente e en . Como es continua, est acotada en por lo que la sucesin converge uniformemente a en . Por tanto:
lm
lm
d
debe ser
Como es continua y positiva, deducimos que para todo esto es, .
Ejercicio resuelto 259 Sea una sucesin de funciones que converge uniformemente a una funcin en un intervalo . Supongamos que, para cada , existe . Prueba que la sucesin es convergente y que tiene lmite lm
en
, siendo lm
lm
Sugerencia. La condicin de Cauchy permite probar la convergencia de
, por la condicin de Cauchy para la convergencia uniforme, existe Solucin. Dado tal que para todos y para todo se tiene que . Tomando lmites en esta desigualdad para se deduce que . Por tanto la sucesin cumple la condicin de Cauchy y, por tanto, es convergente. Sea lm .
Dado , hay un tal que para todo y tambin . Pongamos:
y para todo

es

Como

lm
, existe
tal que para todo
se verica que
se verica que
. Concluimos, a la vista de la anterior desigualdad, que para todo . Hemos probado as que lm .
at ic a1 .c om
a) b) c)
, ,
e .

funcin suma
.M
Ejercicio resuelto 260 En cada uno de los siguientes ejercicios se especica un conjunto y, para cada , se dene una funcin . Se pide estudiar, en cada caso, la convergencia puntual en de la serie de funciones, , y la continuidad de la
Solucin. a) Se trata de una serie geomtrica de razn e , por tanto, dicha serie converge si, y slo si, e , esto es, . El campo de convergencia puntual es . En este caso podemos calcular la funcin suma de la serie:
at em
e e
Es una funcin continua en . 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 donde , pues para todo se verica e es convergente, el criterio de convergencia que e y, como la serie uniforme de Weierstrass nos dice que la serie converge uniformemente en toda semirrecta del tipo con y, en consecuencia, como es una serie de funciones continuas,
la funcin suma es continua en toda semirrecta del tipo indicado. Por el carcter local de la continuidad, concluimos que la funcin suma es continua en . b) Sea
. Para todo

se tiene que:
Como la serie es convergente, deducimos por el criterio de convergencia uniforme de Weierstrass, que la serie converge uniformemente en todo intervalo del tipo y, por tanto, en todo intervalo acotado. Deducimos tambin que el campo de convergencia puntual es todo y que la funcin suma es continua en .
Observa que
semirrectas de la forma , porque el resultado visto en el ejercicio resuelto 259 implica que, si hubiera convergencia uniforme, la serie debera ser convergente, cosa que no es cierto. c) Sea
lm
. Esto nos dice que no hay convergencia uniforme en
. Para
se tiene que
lo que implica que:
at ic
Como la sucesin que:
.c o
em
.M
y la serie es convergente por ser una serie geomtrica de razn , se sigue, por el criterio de comparacin, que la serie es convergente. El criterio de convergencia uniforme de Weierstrass implica que la serie dada converge uniformemente en . Deducimos que la serie converge puntualmente en y que la funcin suma es continua en dicho intervalo.
Como
Anlogamente, usando que , se prueba que la serie converge uniformemente en conjuntos de la forma donde . Por tanto el campo de convergencia puntual es todo y la funcin suma es continua en . Ejercicio resuelto 261 Sea conjunto . Sea

una serie de funciones que converge uniformemente en un . Prueba que para toda sucesin
w w
a1
es decreciente, se tiene que
y deducimos
at
de puntos de
se
verica que la sucesin
converge a cero.
Solucin. Dado , por la condicin da Cauchy para la convergencia uniforme, hay un tal que para todos y para todo se verica que . Haciendo en esta desigualdad resulta que para todo es . En particular para se tiene que , desigualdad que es vlida para todo . Ejercicio resuelto 262 En cada uno de los siguientes ejercicios se especica un conjunto y, para cada , se dene una funcin . Se pide estudiar, haciendo
uso de los criterios de Dirichlet o de Abel, la convergencia puntual y uniforme en la serie de funciones . a) b) c)
de
. sen
Solucin. a) Pongamos
, se verica que tona decreciente. Adems como para todo es converge uniformemente a cero en . El criterio de convergencia uniforme de Leibniz nos dice que la serie converge uniformemente en . Observa que no hay convergencia absoluta en ningn punto.
. Para cada la sucesin
es mon-
b) Pongamos:

om
Como para todo la serie

Pongamos
. Se comprueba enseguida que

w
.M
at em
converge uniformemente en .
at
ic
a1
y todo
se verica que
.c
es convergente, se sigue, por el criterio de Weierstrass que la serie
. Adems:
es decreciente. En consecuencia, para todo se verica que , deducimos que la sucesin converge uniformemente a en . El criterio de convergencia uniforme de Leibniz nos cero dice que la serie converge uniformemente en .

Por lo que
. Puesto que
Hemos probado as que es la suma de dos series uniformemente convergentes en y, por tanto, ella misma es uniformemente convergente en dicho intervalo. Observa que no hay convergencia absoluta en ningn punto del intervalo. c) Como la sucesin es decreciente y converge a , parece apropiado aplicar el criterio de Dirichlet. Hemos visto en el ejercicio resuelto 42 que:

sen
sen
sen
sen
Por lo que, para cada
y para todo se verica que
criterio de Dirichlet 9.43 nos dice que la serie
. El sen es convergente. Puesto que para

la serie es trivialmente convergente, concluimos que el campo de convergencia puntual en . Supongamos que . Entonces como la funcin seno es positiva y creciente en se vericar que sen sen para todo . Resulta as que:
sen Desigualdad que es vlida para todo y para todo . Por tanto, la sucesin . El criterio de Dirichlet 10.13 nos dice que la est uniformemente acotada en serie converge uniformemente en . Queda por estudiar si hay convergencia uniforme en donde que: sen sen sen sen sen . Observamos
Esto nos indica que no va a haber convergencia uniforme en . De hecho, podemos usar el resultado del ejercicio resuelto 261 con . Observa que para todo sucientemente grande. Tenemos que:

sen sen
sen
sen
Ejercicio resuelto 263 Calcula el radio de convergencia de cada una de las series de poten cias , y estudia el comportamiento de la serie en los extremos del intervalo de convergencia, en los siguientes casos:
w
.M
at em
at ic
a1 .c
Lo que implica, por el citado ejercicio, que no hay convergencia uniforme en
om
log
Solucin. a) Aplicando el criterio del cociente o de la raz es muy fcil probar que o que . Por tanto el radio de convergencia es . Como

no converge para . Se comprueba fcilmente que para es y como, adems, . el criterio de Leibniz implica que la serie converge para .

la serie
b) El criterio de la raz nos da:
log
exp log
exp
log
exp
Por tanto, el radio de convergencia es . No hay convergencia en porque no converge a .
ni tampoco en
c) No es inmediato en este caso aplicar el criterio del cociente ni el de la raz. Pero sabemos que: e e lm

Por tanto e
siempre que e

. En particular, tenemos que:
Por tanto, recordando las observaciones 10.25, se sigue que la serie dada tiene el mismo e . Pero esta serie tiene, evidentemente, radio radio de convergencia que la serie e y de convergencia . Para la serie dada no converge porque se aplica el criterio lmite de comparacin con la serie armnica. Para la serie es una serie alternada y es decreciente y convergente a , luego dicha serie converge en virtud del criterio de Leibniz. d) Se aplica el criterio del cociente.

El radio de convergencia es . Para estudiar la convergencia para criterio de Raabe y para el criterio de Leibniz. f) Aplicamos el criterio del cociente.

se aplica el
.M
at e
El radio de convergencia es e. La serie no converge para e porque la sucesin e no converge a cero. De hecho, usando la frmula de Stirling (8.26) se tiene que:
m at ic

a1
.c
om
Ejercicio resuelto 264 Calcula la funcin suma de la serie de potencias

Solucin. Empezamos viendo para qu valores de
la serie dada converge absoluta

mente. Para ello, aplicamos el criterio del cociente a la serie
. Pongamos
. Puesto que:
deducimos que la serie dada converge absolutamente si , es decir, si ducimos as que es el intervalo de convergencia de la serie. Sea la funcin suma de la serie:
. De-
Recuerda que las series de potencias pueden derivarse e integrarse trmino a trmino en su intervalo de convergencia. Por tanto, para tenemos que:

Puesto que
, deducimos que:
log
log
Por tanto:
log
log d
log
log
om
Ejercicio resuelto 265 Calcula la funcin suma de las series de potencias

ic

Solucin. Sea
.M
at
em
at

Tenemos que:
a1
.c
Haciendo en estas igualdades
, supuesto que
, deducimos que:

, obtenemos:

Anlogamente, haciendo
, supuesto que
Ejercicio resuelto 266 Dado un nmero natural , prueba la igualdad:
Calcula el valor de la suma de las series correspondientes a los valores de
Solucin. Podemos hacer este ejercicio directamente, con un sencillo clculo. Como sigue a continuacin. En la igualdad:
hagamos
para obtener:
Integrando esta igualdad en el intervalo
, obtenemos
Tomando ahora lmites para

, y teniendo en cuenta que:
co m
obtenemos la igualdad:
at em
at ic
a1 .
.M
Finalmente
d d d
log
log
Tambin podemos hacer este ejercicio teniendo en cuenta que:

Como las series de potencias pueden integrarse trmino a trmino en su intervalo de convergencia, se sigue que para todo es
Ahora, la serie
cia es y que, en virtud del criterio de Leibniz para series alternadas, converge para . En consecuencia, por el teorema de Abel, se verica que dicha serie converge uniformemente en y por tanto lm
, es una serie de potencias cuyo intervalo de convergen-
Como, evidentemente, se verica que lm
Deducimos que
co m
Ejercicio resuelto 267 Expresa la funcin suma de las series de potencias
,y
at em
por medio de funciones elementales y calcula el valor de
at ic
a1 .
Solucin. Sea
.M
, donde
. Entonces

Tambin
Integrando esta igualdad obtenemos:
log
Deducimos que:
log

En particular, haciendo

resulta que

log
Ejercicio resuelto 268 Calcula el radio de convergencia y la suma de las series:
Solucin. Cualquier serie de potencias del tipo racional de , es decir,

radio de convergencia 1. Pues:
donde

donde
es una funcin
son funciones polinmicas, tiene
es cociente de dos funciones polinmicas en que tienen el mismo grado y el mismo coeciente lder, luego su lmite para es igual a 1. Cualquier serie de potencias del tipo tiene radio de convergencia innito. Pues:

donde es una funcin polinmica,
.M
Teniendo en cuenta que se sigue que las series primera y tercera tienen radio de convergencia 1 y la segunda serie tiene radio de convergencia .
at w
Para calcular la suma de la serie
em
at
ic
a1
.c
om
y basta notar que, evidentemente, lm
lo ms fcil es expresar
en potencias de . Para ello basta expresar el polinomio medio de su desarrollo de Taylor centrado en . Como segunda de en es cero. Tenemos as que:
la derivada
por
Luego
La serie se obtiene integrando la serie geomtrica , de donde se sigue que
y dividiendo por
log

La suma de la serie puede calcularse tambin derivando dos veces la serie geomtrica. Seguiremos el procedimiento general para sumar series aritmtico geomtricas, es decir, series del tipo donde es un polinomio en .
En nuestro caso
. Observa que
, por tanto:
Tomando lmites para en esta igualdad, teniendo en cuenta que para es lm , se tiene:

ic a at
Finalmente
at em
.M
log
1.
co
La suma de la tercera serie

puede obtenerse
muy fcilmente integrando dos veces la serie geomtrica. Seguiremos otro procedimien to que suele ser efectivo para sumar series de la forma donde es una funcin racional de y que consiste en descomponer en elementos simples. En nuestro caso tenemos

Como

log
, se obtiene fcilmente que:
log
log
Para sumar la serie

, usaremos que e
. La idea consiste en escribir . Identicando coecientes
el polinomio como
resulta
. Por tanto

donde
Este mtodo puede usarse para sumar series del tipo polinomio.
es un
Ejercicio resuelto 269 Calcula la funcin suma de la serie de potencias

deduce el valor de las sumas de las series:
Solucin. Observa que el intervalo de convergencia de la serie intervalo vergencia. Sea

.c
es el
at em
.M
at
ic
y que la serie converge tambin en los extremos del intervalo de con la funcin suma:
a1
om
Como consecuencia del teorema de Abel, la funcin
es continua en
Nota Observa que puede aplicarse el criterio de Weierstrass en el intervalo ; lo que justica, sin necesidad de recurrir al teorema de Abel, que la serie converge uniformemente en y, por tanto, la funcin es continua en . Por el teorema de derivacin para funciones denidas por series de potencias, sabemos que la funcin es indenidamente derivable en el intervalo y

Por tanto:
La forma que tiene nos sugiere considerar la funcin
que se calcula fcilmente, pues

Como
, deducimos que
log

log

Ahora relacionaremos
con . Para

tenemos que:

log
De donde:
log
Integrando por partes se obtiene que una primitiva de

at em
co m
at ic
log
en
log
viene dada por:
a1 .

Como es continua en
lm

Deducimos que:
.M
, obtenemos que:
lm
lm
log
Consideremos ahora que
. Tenemos:
Consideraremos ahora la funcin

Como
, deducimos que:
arc tg
Al igual que antes deducimos que:

o lo que es igual:
arc tg

arc tg

Como es la derivada de la funcin , integrando por partes se obtiene que una primitiva de la funcin en es:

arc tg
log
Deducimos que

Como
es continua en
, obtenemos
w
lm
.M
at em
at ic
a1 .
lm
co m
lm
log
Ejercicio resuelto 270 Prueba que las funciones denidas por:

son de clase Solucin.
sen cos

e log

en su intervalo natural de denicin.
10.43 Estrategia. Para probar que una funcin es de clase en un intervalo es suciente probar que dicha funcin es la suma de una serie de potencias convergente en el intervalo . Las funciones del enunciado responden todas ellas al siguiente modelo. Supongamos que , con radio de convergencia no nulo. Sea tenemos una serie de potencias
el intervalo de convergencia de la serie y sea
la funcin suma. En virtud del teorema de derivacin para series de potencias, sabemos que la funcin es de clase en . Sea ahora y consideremos la funcin dada por

Es evidente que
Por tanto, la funcin es la suma de una serie de potencias en el intervalo y, por tanto, es de clase en . Teniendo en cuenta que
em
.M
at ic
a1 .c
om
Se sigue que las funciones son de clase en y la funcin es de clase en . Pero es evidente que es de clase en , luego es de clase en . Ejercicio resuelto 271 Prueba que la funcin
at
sen
dada por:

es de clase
sen
log
. Calcula lm
Solucin. Las funciones:

son de clase
en y en

respectivamente. Adems:
sen
log
Como para todo

log
sen
es
sen
, tenemos que:
sen
Concluimos que . Pongamos:
es de clase
en
por ser composicin de funciones de clase

Deducimos que:

donde:
Haciendo las operaciones indicadas en la igualdad anterior, calculando solamente los trminos hasta la potencia , obtenemos:

.M
at
em
Observa que es continua. Adems, como para es y, por tanto, para . que
a1 .c at ic
om
, se verica
Deducimos que:
lm
Puedes comprobar este resultado calculando el lmite por LHpital. Ejercicio resuelto 272 Calcula el desarrollo en serie de potencias centrada en funcin: de la
La funcin que nos dan parece bastante impresionante, pero no es tan era como parece. Es una funcin racional y lo que se hace para obtener su desarrollo en serie de potencias es descomponerla en fracciones simples, algo que ya sabes hacer. Si el denominador solamente tiene races reales es muy sencillo calcular la serie de potencias que nos piden, porque en tal caso las fracciones simples van a ser, salvo constantes, de los dos tipos siguientes:
Las fracciones del tipo pueden desarrollarse en serie de potencias centradas en el punto que queramos , basta escribir:
Pero la ltima fraccin es la suma de una serie geomtrica de razn , por tanto, , se verica que: supuesto que
Derivando respecto a esta igualdad obtenemos:
de las
Las sucesivas derivadas nos dan el desarrollo en serie de potencias centrado en fracciones del tipo . En nuestro caso, se calcula fcilmente la descomposicin en fracciones simples:
Esto puede complicarse mucho cuando el denominador tiene races complejas, en cuyo caso solamente pueden obtenerse con facilidad algunos desarrollos centrados en puntos particulares (las partes reales de las races imaginarias). Ejercicio resuelto 273 Calcula explcitamente el valor de verica la siguiente relacin de recurrencia:

.M
at
em
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.
at ic a1 .c
om
, n = 0,1,2,... sabiendo que se
Solucin. Usaremos el mtodo de la funcin generatriz que se basa en la consideracin de la funcin
. Se supone que dicha funcin est denida en algn
intervalo centrado en el origen. Tenemos que:
De esta igualdad se obtiene que:
d dx
d dx
d dx
d dx

Obtenemos as que para todo es efectivamente se verica la igualdad Ejercicio resuelto 274 Denamos
. Puedes comprobar ahora que
por:
e

Prueba que: a) , y lm
at em

c) Justica que para todo
.M
at ic
a1 .
b) Usando un desarrollo en serie para
, prueba que
co m
. es derivable en y:
se verica que:
e d
d) Deduce de lo anterior que
e d
Solucin. a) Tenemos que.
arc tg arc tg
Adems:
Desigualdades vlidas para todo , en particular para
, lo que implica que:
e d
lm
b) Tenemos que e
. Por tanto:
Se trata de permutar la suma de la serie con la integral. Como la variable de la integral es , en lo que sigue consideramos que es un nmero jo. Consideremos la serie de funciones es la funcin dada donde para para todo
por:

En esta expresin debes considerar que est jo y la variable es . Probaremos que la serie converge uniformemente en lo que permitir permutar la suma

de la serie con la integral. Tenemos que para

es:
serie el criterio de convergencia uniforme de Weierstrass y concluimos que dicha serie converge uniformemente en . Por tanto:
w .M
at em
at
ic a
Como tambin
, y la serie
1.
co
es convergente, podemos aplicar a la
Como esta igualdad es vlida para cualquier nmero real hemos expresado la funcin como suma de una serie de potencias convergente en todo . Por el teorema de derivacin para series de potencias, tenemos que es derivable y su derivada viene dada por:
c) Pongamos para todo
e d
Tenemos que Tenemos:
es una funcin derivable en el intervalo
e d

Luego,
es constante y, por tanto,
d) Tomando lmites para
en la igualdad:
e d
para todo
obtenemos que
e d
Puede armarse que la primera aparicin de lo que entendemos en la actualidad como una serie ocurre en el trabajo de Vite (1540 - 1603) Variorum de rebus mathematicis responsorum. Liber VIII (1593), en el que Vite estudia la serie geomtrica obteniendo la frmula para la suma de la misma y tambin aparece la expresin para que se conoce como frmula de Vite.
.M
at
em at
ic a1
10.6. Los primeros desarrollos en serie
.c
om
Gregory de St. Vincent (1584 - 1667), en su Opus Geometricum (1647) fue el primero en armar explcitamente que una serie innita puede representar una magnitud. Tambin le debemos el poco afortunado trmino de exhauscin, la introduccin de las coordenadas polares y el primer anlisis de las paradojas de Zenn usando series. Tambin descubri que la cuadratura de la hiprbola es la misma en que en cuando , 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 log
(10.20)
el cual obtuvo usando los resultados de Gregory de St. Vincent.
A su vez, este resultado de Mercator fue mejorado por James Gregory (1638 - 1675) que obtuvo la expansin: log

que converge ms rpidamente que la anterior. A James Gregory se debe tambin la serie del arcotangente: arctan Sustituyendo

(10.21)
resulta
Mejores representaciones de se deducen de esta serie haciendo como A. Sahrp (1651 - 1742) en 1705 , con lo que
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). arctan en funcin de dos ngulos de tangentes racionales y cada La idea es expresar una de ellas menor que la unidad. La serie de Machin es:
at ic
arctan
10.6.1. Newton y las series innitas

Los principales descubrimientos matemticos de Newton en el campo del clculo innitesimal datan de los llamados Anni Mirabiles 1665 y 1666. La Universidad de Cambridge, en la que Newton se haba graduado como bachelor of arts en 1664, estuvo cerrada por la peste esos dos aos. Newton pas ese tiempo en su casa de Woolsthorpe y, como l mismo reconoci cincuenta aos despus, se fue el perodo ms creativo de su vida. A principios de 1665 descubre el teorema del binomio y el clculo con las series innitas. A nales de ese mismo ao, el mtodo de uxiones, es decir, el clculo de derivadas. En 1666 el mtodo inverso de uxiones y la relacin entre cuadraturas y uxiones. En esos dos aos tambin inici las teoras de los colores y de la gravitacin universal. Newton tena 24 aos, haba nacido el da de Navidad de 1642. Newton haba ledo la obra de Wallis Arithmetica Innitorum, y siguiendo las ideas de interpolacin all expuestas, descubri la serie del binomio que hoy lleva su nombre. Dicha serie es una generalizacin del desarrollo del binomio, que era bien conocido para exponentes naturales, y haba sido muy usado por Pascal para resolver una gran variedad de problemas. Newton, en su intento de calcular la cuadratura del crculo, es decir, de calcular la integral d , consider dicha cuadratura como un problema de interpolacin, relacionn dola con las cuadraturas anlogas d conocidas para exponentes naturales .
.M
Con ella calcul
con 100 cifras decimales.
at
em
a1
arctan
om
.c
Newton tuvo la ocurrencia de sustituir el lmite superior de integracin por un valor genrico . De esta forma obtuvo las siguientes cuadraturas (Newton no dispona de smbolo para la integral; usamos, claro est, la notacin actual).
d d d
Newton observ que el primer trmino de cada expresin es , que aumenta en potencias impares, que los signos algebraicos se van alternando, y que los segundos trminos , estaban en progresin aritmtica. Razonando por analoga, supuso que los dos primeros trminos de d deberan ser
a1

w .M
at
De la misma manera, procediendo por analoga, pudo encontrar algunos trminos ms:
em
at
ic
.c
om
Representando para
por el polinomio
d , se tiene que

Donde
Haciendo ahora en ,

, se obtiene

Lo que llev a Newton a concluir que
Donde
es una suma con innitos trminos. A partir de aqu,
Newton dedujo el desarrollo de
por derivacin.

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:
Las extracciones de races resultan muy abreviadas por el teorema
etc donde representa una cantidad cuya raz o potencia, o cuya raz de una potencia se necesita calcular, siendo el primer trmino de esa cantidad, los trminos restantes divididos por el primero, y el ndice numrico de las potencias de . . . Por ltimo , y as sucesivamente. ,
Newton encontr que el mtodo de desarrollos en serie proporcionaba un algoritmo casi universal para calcular cuadraturas y resolver multitud de problemas. En su obra De analysi per aequationes numero terminorum innitas, escrita en 1669 y publicada en 1711, aunque circulaba en forma manuscrita entre los colegas y conocidos de Newton, propuso un mtodo para cuadrar una curva consistente en tres reglas:
w w w .M
at
em
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.
at ic a1 .c om
1. El rea bajo la curva de ecuacin
es
2. Si la ecuacin de la curva est dada por un nmero nito de trminos , el rea bajo la curva es igual a la suma de las reas de todos los trminos , , ,. . . 3. Si la curva tiene una forma ms complicada, entonces debe desarrollarse la ecuacin de , donde es un nmero racional, y aplicar las la curva en una serie del tipo reglas 1 y 2. Debe notarse que Newton supuso que cualquier cantidad analticamente expresada poda desa rrollarse en una serie de la forma , donde es un nmero racional, serie que puede ser cuadrada trmino a trmino usando la regla 1. Veamos un ejemplo de esta forma de proceder. Se trata de calcular ton procede como sigue

d . New-
Por tanto
(10.22)
Figura 10.4. Cuadratura
Deducimos que
.M
at
at ic
a1 .c
En la gura 10.4 se ha representado el semicrculo de centro y radio . El sector circular tiene amplitud por lo que su rea es la tercera parte de la del semicrculo, es decir, . Como , el rea del tringulo es . Por otra parte, la integral calculada en (10.22) es el rea de la regin . Por tanto:
em

om
Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie innita que, adems, converge rpidamente. La conanza de Newton en los procesos innitos queda reejada en las siguientes palabras de la citada obra De analysi:
Todo lo que el anlisis comn [es decir, el lgebra] realiza por medio de ecuaciones con un nmero nito de trminos, este nuevo mtodo puede siempre conseguir lo mismo por medio de ecuaciones innitas, de tal forma que no he tenido ninguna duda en darle asimismo el nombre de anlisis. Porque el razonamiento es ste no es menos cierto que en el otro; ni las ecuaciones menos exactas; aunque nosotros los mortales, cuyo poder de razonamiento est connado dentro de estrechos lmites, no podemos expresar ni tampoco concebir todos los trminos de esas ecuaciones como para conocer exactamente a partir de ellas las cantidades que deseamos. . . Para terminar, podemos considerar todo esto como perteneciente al Arte Analtica, con cuya ayuda pueden ser determinadas de una manera exacta y geomtricamente las reas, longitudes, etc., de curvas.
Es decir, Newton no slo descubri el teorema binomial sino que las series innitas proporcionaban un mtodo de anlisis con la misma consistencia interna que el lgebra de ecuaciones nitas.

Idioma

¡Te damos la bienvenida a Scribd!

0a3cap 10 Sucesiones y Serie de Funciones

Cargado por

Información del documento

Fecha en que fue cargado

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Descripción:

Copyright:

Formatos disponibles

0a3cap 10 Sucesiones y Serie de Funciones

Cargado por

Descripción:

Copyright:

Formatos disponibles

Títulos relacionados

Captulo

Sucesiones y series de funciones

son nmeros reales.

que, para la funcin exponencial viene dados por

10.2. Conceptos bsicos

10.2.1. Convergencia puntual

denida para todo lm

se llama funcin lmite puntual de la sucesin

donde, para cada ,

Figura 10.2. Convergencia puntual

la funcin no se acerca mucho a la funcin lmite puntual .

max Fjate en que lm

, es decir, las funcio

donde, para cada

Por tanto, la distancia entre la funcin

y la funcin lmite puntual,

10.2.2. Convergencia Uniforme

Cuya interpretacin grca es la siguiente (donde hemos considerado

Figura 10.3. Interpretacin grca de la convergencia uniforme

puntualmente en signica que:

uniformemente en signica que:

Observa las grcas de las primero cinco funciones de la sucesin.

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

10.9 Observaciones. El concepto de convergencia uniforme requiere algunas precisiones importantes.

. Para todo tenemos que:

Por tanto para todos

se verica que sup

que converge uniformemente a tal que para todos es:

, por la hiptesis hecha, hay un

en esta desigualdad y tomando lmite para

10.2.3. Series de funciones

, podemos formar otra, . Es decir, ,

, cuyos trminos se obtie , ,...

as denida se llama serie de trmino general

la representaremos por el smbolo

suponemos denidas en un intervalo , es el conjunto:

una serie de funciones y

converge uniformemente y absolutamente en

es convergente cumplir la condicin de Cauchy, esto es, dado

Deducimos que para todo

Como esta desigualdad es vlida para todo sup Es decir, la serie

cumple la condicin de Cauchy para la convergencia uniforme en .

Criterio de Dirichlet. Supongamos que: a)

es una sucesin de nmeros reales montona y convergente a cero.

tiene sumas parciales uniformemente acotadas en

tal que para todo

y para todo se verica que converge uniformemente en .

Entonces la serie de funciones Criterio de Abel. Supongamos que: a) La serie

, como suponemos que . Deducimos que para todos

Hemos probado as que la serie de funciones

verica la condicin de Cauchy para la

Probaremos ahora el criterio de Abel. Sea

. Intercambiando los papeles de

en la igualdad (10.3) tenemos:

.Teniendo en cuenta que:

deducimos de la igualdad anterior:

Concluimos que para todos

Hemos probado as que la serie de funciones