Está en la página 1de 83

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:

verica la condicin de Cauchy para la

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 .

verica la condicin de Cauchy para la

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


converge uniformemente en

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 ,

converge uniformemente en

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


converge uniformemente en

. 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

converge uniformemente en

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

converge uniformemente en

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.