Vous êtes sur la page 1sur 83

Cap´ıtulo 10

www.Matematica1.com

Sucesiones y series de funciones

10.1.

Introducción

La representación de funciones complicadas por medio de funciones sencillas es una de

las ideas centrales del Análisis Matemático. En este capítulo vamos a precisar algunos de los

posibles significados del término “representación”. Intuitivamente, se trata de “aproximar” fun-

ciones que se suponen muy generales por otras de un tipo especialmente sencillo. Por ejemplo,

podemos aproximar localmente, en las proximidades de un punto, una función derivable por

sus polinomios de Taylor calculados en dicho punto. Ya hemos visto que esta aproximación es de gran utilidad para calcular límites. Ahora queremos dar un paso más y nos interesamos por representaciones que sean válidas no sólo localmente, en las proximidades de un cierto punto, sino en todo un intervalo.

Hay muchas maneras de representar funciones complejas por medio de otras más simples, una de las más útiles es la representación por medio de series. Podemos describir este proceso en términos muy generales como sigue.

Se considera una clase de “funciones simples”. Por ejemplo, puede ser la clase de las funciones polinómicas, o la clase de todos los polinomios trigonométricos que son las

cos sen donde son números reales.

funciones de la forma

Para representar una función por medio de funciones de la clase hay que asociar a dicha función una sucesión de funciones donde . Las funciones suelen interpretarse como las “componentes elementales” de la función . La forma de obtener las funciones componentes de viene dada en cada caso por un algoritmo matemá-

www.Matematica1.com

tico que, conocida la función , permite calcular, al menos en teoría, las . Esta parte del proceso de representación se suele llamar “análisis” porque consiste en analizar descomponiéndola en sus componentes más simples. Esto es algo que se hace constan- temente en todos los procesos de tratamiento de señales auditivas o gráficas.

Si, por ejemplo, queremos representar la función exponencial e por medio de funciones polinómicas, entonces las funciones elementales son los polinomios de Taylor

que, para la función exponencial viene dados por

.

El último paso consiste en “recomponer” la función mediante sus componentes ele- mentales . Para que este proceso sea útil las funciones componentes deben estar determinadas de manera única por y debe ser posible, mediante algún algoritmo ma- temático – que suele ser una serie o una integral –, recobrar la función mediante sus componentes . Por ejemplo, para el caso de la función exponencial sabemos (ver (9.13)) que para todo es:

e l ım

l ım

Con ello hemos representado una función trascendente, como es la exponencial, por me- dio de una serie de funciones polinómicas.

Volviendo a la situación general, lo que suele hacerse es tratar de recuperar la función

por “superposición” de sus componentes elementales . El término “superponer”

procede de la Física y en Matemáticas se traduce por “sumar”. Por tanto, lo que queremos

es expresar como la suma de la serie definida por la sucesión de funciones :

Lo primero que debemos hacer es dar un sentido a esta igualdad. El sentido que va a tener para nosotros en este capítulo es que para cada valor de en un cierto intervalo se verifica que:

(10.1)

Esta igualdad sí sabes lo que significa: quiere decir que la serie de números reales converge y tiene como suma el número .

Puede que te estés preguntando ¿para qué sirve todo esto? Respuesta: para traducir problemas relativos a en otros más sencillos relativos a sus funciones componentes . Por ejemplo, si queremos obtener la solución de una ecuación diferencial en la que interviene una función , podemos sustituir dicha función por y resolver la ecuación diferencial correspondiente, y a partir de las soluciones obtenidas construir por superposición una función que esperamos que sea la solución buscada.

Una representación como la dada por (10.1) lleva a preguntarse por aquellas propiedades de las funciones que se conservan y se transmiten de forma automática a la función repre- sentada . Por ejemplo, si las funciones son continuas o derivables ¿es también continua o derivable?.

www.Matematica1.com

Para terminar esta introducción vamos a ver un ejemplo de aproximación de funciones que,

en cierto sentido, es paradójico. Sea la función identidad en el intervalo cuya gráfica es la diagonal del cuadrado unidad (ver figura 10.1). Sea la función definida en cuya

gráfica es el triángulo de vértices evidentemente la misma e igual a .

. La longitud de las gráficas de y es

1

0

0 1
0
1

Figura 10.1. ¿Es ?

Sea la función definida en cuya gráfica son los triángulos de vértices

y

. La longitud de las gráficas de y es evidentemente la misma

de las gráficas de y es evidentemente la misma e igual a . Este proceso de

e igual a . Este proceso de ir dividiendo por la mitad los lados de los triángulos puede

proseguirse indefinidamente y obtenemos una sucesión de funciones tales que para todo

es

, y la longitud de la gráfica de es igual a . Es evidente

que las funciones convergen a la función cuya gráfica es el segmento de extremos

de longitud ; ¿luego ?.

En esta introducción del capítulo ya han salido algunas ideas que seguidamente vamos a presentar de manera formal.

10.2. Conceptos básicos

10.1 Definición. Una sucesión de funciones es una aplicación que a cada número natural hace corresponder una función . Usaremos el símbolo para representar la sucesión de funciones dada por , para todo .

Supondremos en lo que sigue que las funciones son funciones reales definidas en un intervalo .

10.2 Ejemplos. Consideremos las sucesiones de funciones , donde es la función definida en cada caso por:

10.2.1.

Convergencia puntual

10.3 Definición. Dado se dice que la sucesión de funciones converge puntualmente

en , si la sucesión de números reales

El conjunto de todos los puntos en los que la sucesión de funciones converge puntualmente, se llama campo de convergencia puntual. Simbólicamente:

es convergente.

converge

Supuesto que Ø, la función definida para todo por:

l ım

se llama función límite puntual de la sucesión .

10.4 Observación. Para entender la definición de convergencia puntual y en general en todo

este capítulo, es muy importante no confundir la sucesión de funciones con la sucesión

de números reales

. Tampoco debes olvidar que en una sucesión la variable es siempre y nunca . Así, la sucesión es la aplicación que a cada número natural (la variable) le asigna el número real donde está fijo.

obtenida evaluando las funciones de dicha sucesión en un número

10.5 Ejemplo. Sea la sucesión de funciones donde, para cada , es la función definida
10.5 Ejemplo. Sea la sucesión de funciones donde, para cada , es
la función definida para todo por:
e
www.Matematica1.com

Figura 10.2. Convergencia puntual

Observa que si o , la sucesión es, evidentemente, convergente a 0. Si entonces y se verifica que porque es una sucesión de la forma donde . Deducimos que el campo de convergencia puntual de esta sucesión es el conjunto y la función límite puntual es la función idénticamente nula, para todo . Observa en la figura 10.2 las gráficas de las primeras seis funciones de esta sucesión.

www.Matematica1.com

Fíjate cómo por el extremo derecho del intervalo las gráficas se van pegando al eje de abscisas pero su comportamiento es muy diferente en el extremo izquierdo. Ello es así porque cuando es pequeño (es decir, está cerca de ) la sucesión converge muy rápidamente a cero, pero cuando está próximo a (es decir, está cerca de ) la sucesión converge lentamente a cero.

Observa las gráficas de las funciones y en la figura de la derecha. ¿Te parece que estas funciones están muy próximas a la función lí- mite puntual ? Observa que, aunque para

cada es

l ım

,

la función no se acerca mucho a la función límite puntual .

e

no se acerca mucho a la función límite puntual . e Para evitar ambigüedades necesitamos precisar
no se acerca mucho a la función límite puntual . e Para evitar ambigüedades necesitamos precisar

Para evitar ambigüedades 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 número max proporciona

entre las funciones y pues dicho número es tanto más pequeño cuanto más cercanas estén

las gráficas de las dos funciones.

fácil-

una buena idea de la proximidad

Volviendo al ejemplo anterior, con

y , podemos calcular

Basta derivar

para comprobar que la función alcanza su máximo absoluto en el intervalo en el punto

mente el número max

max

.

. Luego

max

e

e , es decir, las funcio-

nes no se aproximan a la función nula. De hecho, como la sucesión es creciente, cuanto mayor sea mayor es la distancia entre la función y la función nula. Observa cómo son las gráficas de las funciones cerca de cero para .

Fíjate en que l ım

pero

max

l ım

e

de las funciones cerca de cero para . Fíjate en que l ım pero max l

10.6 Ejemplo. Sea la sucesión de funciones donde, para cada , es la función dada para todo por:

Es claro que si se tiene que , y si se tiene que . Para es que, evidentemente, converge a . Por tanto, el campo de convergencia puntual de es , y la función límite puntual está definida por:

l ım

si

si

si

Aquí ocurre que la función límite puntual es discontinua (tiene discontinuidades de salto en

y en ) a pesar de que las funciones de la sucesión son continuas. Observa las gráficas de las primero cinco funciones de la sucesión.

1 -3 -2 -1 1 2 3 Tenemos que: max e e e www.Matematica1.com
1
-3
-2
-1
1
2
3
Tenemos que:
max e
e e
www.Matematica1.com

Por tanto, la distancia entre la función y la función límite puntual, , no converge a cero.

Este ejemplo y el anterior ponen de manifiesto que la convergencia puntual de a no proporciona una buena idea de la aproximación entre las funciones y . Además las propiedades de continuidad de las funciones pueden no conservarse para la función límite puntual. Esto lleva a definir un tipo de convergencia mejor que la convergencia puntual.

10.2.2. Convergencia Uniforme

Sea un intervalo no vacío contenido en el campo de convergencia puntual de la sucesión . Y sea la función límite puntual de . Se dice que converge uniformemente a en si para todo existe (que dependerá de ) tal que para todo se verifica

www.Matematica1.com

Para comprender bien esta definición, analicemos la última desigualdad. Tenemos que:

sup

Cuya interpretación gráfica es la siguiente (donde hemos considerado ).

es la siguiente (donde hemos considerado ). Figura 10.3. Interpretación gráfica de la convergencia

es la siguiente (donde hemos considerado ). Figura 10.3. Interpretación gráfica de la convergencia
es la siguiente (donde hemos considerado ). Figura 10.3. Interpretación gráfica de la convergencia

Figura 10.3. Interpretación gráfica de la convergencia uniforme

se queda dentro de un tubo centrado en la

gráfica de de anchura (ver figura 10.3). Ahora debe estar claro que en el ejemplo 1 no hay

convergencia uniforme en ningún intervalo del tipo con y en el ejemplo 2 no

hay convergencia uniforme en ningún intervalo que contenga a o a .

10.7 Observaciones. Observa que la diferencia entre la convergencia puntual y la convergencia

uniforme en es la siguiente.

Esto nos dice que la gráfica de la función

Decir que converge a puntualmente

en significa que:

Fijas un ;

La correspondiente sucesión de números reales converge a , es decir: para todo , existe un número natural tal que para todo con se verifica que

.

Naturalmente, el número dependerá del y, en general, también de porque si cambias por otro punto la sucesión es distinta de y el que vale para una no tiene por qué valer también para la otra.

Decir que converge a uniformemente en significa que:

Fijas un ;

Existe un número natural (que dependerá de ) tal que para todo con se verifica que para todo .

Es decir, en la convergencia uniforme, hay un mismo número que es válido simultánea- mente para todos los .

En la práctica, el estudio de la convergencia puntual se reduce a calcular para cada fijo el

límite

, lo que suele ser muy sencillo. Mientras que para estudiar la convergencia

l ım

www.Matematica1.com

uniforme en un intervalo , lo que se hace es calcular, con las técnicas usuales de derivación, el máximo absoluto de en . La presencia del valor absoluto en es incómoda para derivar por lo que conviene quitarlo, lo que casi siempre puede hacerse con

facilidad. Supongamos que el

alcanza en un punto en , y en otro caso

hay convergencia uniforme

no hay convergencia uniforme en . En particular, si hay una sucesión de puntos de tal que no converge a , entonces no converge uniformemente a en .

10.8 Ejemplo. Estudiemos la convergencia uniforme en y en intervalos de la forma ,

máximo absoluto de en se

. Entonces, si l ım

o

( ), de la sucesión de funciones definidas para todo

o por e

.

e (porque es una

sucesión de la forma donde ). Por tanto, el campo de convergencia puntual es

todo o .

Observa que y, si

,

l ım

l ım

o

, y la función límite puntal está dada por l ım

para

Estudiemos si hay convergencia uniforme en . Observa que , por lo que

para

para . Luego para todo . Deducimos

, y como e, sucesión que, evidentemente,

o

. Ahora,

, y

como,

e , se

deduce

que

que max

o

no converge a 0, concluimos que no hay convergencia uniforme en o .

Estudiemos si hay convergencia uniforme en un intervalo de la forma , con .

es decreciente en el intervalo . Sea

. Entonces, para todo , tenemos que

. Como l ım , concluimos

Por lo antes visto, sabemos que la función

un número natural tal que

, por lo que, max

que hay convergencia uniforme en .

Observa las gráficas de las primero cinco funciones de la sucesión.

e 1 1 2
e
1
1
2

Puedes comprobar fácilmente, integrando por partes, que para todo . Por tanto:

e e

l ım

d

l ım

Es decir, en general, no se puede permutar la integración con el límite puntual.

www.Matematica1.com

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

La convergencia uniforme se refiere siempre a un conjunto. No tiene sentido decir que “la sucesión converge uniformemente” si no se indica inmediatamente a continuación el conjunto en el que afirmamos que hay convergencia uniforme. Además, siempre hay con- vergencia uniforme en subconjuntos finitos del campo de convergencia puntual (si no sabes probarlo es que no has entendido la definición de convergencia uniforme). Por ello, sólo tiene interés estudiar la convergencia uniforme en conjuntos infinitos, por lo general en intervalos.

No existe “el campo de convergencia uniforme”. Es decir, el concepto de campo de convergencia puntual no tiene un análogo para la convergencia uniforme. La razón es que no tiene por qué existir un más grande conjunto en el que haya convergencia uniforme. Así, en el ejemplo anterior, hay convergencia uniforme en intervalos de la forma con . La unión de todos ellos es y en no hay convergencia uniforme.

10.10 Teorema (Condición de Cauchy para la convergencia uniforme). Una sucesión de funciones converge uniformemente en si, y sólo si, para todo , existe un número natural tal que para todos se verifica que:

sup

Demostración. Supongamos que converge uniformemente a una función en . Enton-

ces, dado , existirá un tal que para todo se tiene que:

sup

Sea . Para todo tenemos que:

Por tanto para todos se verifica que sup .

Recíprocamente, supuesto que la condición del enunciado se cumple, entonces para cada se verifica que la sucesión verifica la condición de Cauchy pues:

sup

Por el teorema de completitud de dicha sucesión es convergente. Por tanto podemos definir

para todo . Comprobemos

que converge uniformemente a en . Dado , por la hipótesis hecha, hay un tal que para todos es:

la función límite puntual por l ım

Fijando y en esta desigualdad y tomando límite para obtenemos que:

desigualdad que es válida para todo . Deducimos que sup siempre que . Hemos probado así que converge uniformemente a en .

La utilidad de la condición de Cauchy para la convergencia uniforme es que es intrínseca a la sucesión, es decir, no involucra a la función límite.

10.2.3.

Series de funciones

www.Matematica1.com

Dada una sucesión de funciones , podemos formar otra, , cuyos términos se obtie- nen sumando consecutivamente los de . Es decir, , , ,

En general,

. La sucesión así definida se llama serie de término general y

la representaremos por el símbolo

Debe quedar claro que una serie de funciones es una sucesión de funciones que se ob- tienen sumando consecutivamente las funciones de una sucesión 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 signi- ficado para series. Así el campo de convergencia puntual de la serie cuyas funciones

.

suponemos definidas en un intervalo , es el conjunto:

es convergente

La función límite puntual, llamada función suma de la serie, es la función dada

para todo por:

La única novedad es que ahora también podemos considerar el campo de convergencia absoluta

de la serie, que es el conjunto

es convergente

El siguiente resultado es el más útil para estudiar la convergencia uniforme y absoluta de una serie.

10.11 Teorema (Criterio de Weierstrass). Sea una serie de funciones y un conjunto

tal que para todo y todo se tiene que , donde la serie es

convergente. Entonces converge uniformemente y absolutamente en .

Demostración. De las hipótesis se deduce, en virtud del criterio de comparación para series de términos positivos, que la serie converge para todo . Esto implica que la serie

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

criterio de Cauchy.

www.Matematica1.com

Como es convergente cumplirá la condición de Cauchy, esto es, dado , existe

tal

que si entonces

Deducimos que para todo se verifica que:

Como esta desigualdad es válida para todo se sigue que:

sup

(10.2)

Es decir, la serie cumple la condición de Cauchy para la convergencia uniforme en .

Por otra parte, si en la condición de Cauchy (10.2) para una serie de funciones , hacemos deducimos la siguiente condición necesaria para la convergencia uniforme.

Corolario. Una condición necesaria para que una serie de funciones sea unifor-

memente convergente en un conjunto es que la sucesión de funciones converja unifor-

memente a cero en .

10.12

Observa que los conceptos de convergencia absoluta y de convergencia uniforme son inde-

pendientes: una serie puede ser uniformemente convergente en un conjunto y no ser absolu- tamente convergente en . En tales casos se aplican los siguientes criterios de convergencia no absoluta para series de funciones.

10.13 Proposición (Criterios de convergencia uniforme no absoluta). Sea una sucesión

numérica y una serie de funciones definidas en un conjunto .

Criterio de Dirichlet. Supongamos que:

a) es una sucesión de números reales monótona y convergente a cero.

b) La serie tiene sumas parciales uniformemente acotadas en , es decir, hay un nú-

mero tal que para todo y para todo se verifica que

.

Entonces la serie de funciones converge uniformemente en .

Criterio de Abel. Supongamos que:

a) La serie es convergente.

www.Matematica1.com

b) Para cada es una sucesión de números reales monótona y la sucesión de funciones está uniformemente acotada en , es decir, hay un número tal que para todo y para todo se verifica que .

Entonces la serie de funciones converge uniformemente en .

Demostración. Probaremos primero el criterio de Dirichlet. Pongamos

. De la

fórmula (9.10) de suma por partes de Abel se deduce fácilmente que:

(10.3)

Igualdad que es válida 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:

Dado , como suponemos que , hay un tal que para todo se verifica

que

. Deducimos que para todos

y para todo se verifica que:

Hemos probado así que la serie de funciones verifica la condición de Cauchy para la

convergencia uniforme en .

Probaremos ahora el criterio de Abel. Sea

y en la igualdad (10.3) tenemos:

. Intercambiando los papeles de

Sea

.Teniendo en cuenta que:

www.Matematica1.com

deducimos de la igualdad anterior:

Igualdad que es válida 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 sucesión es monótona, las diferencias son todas positivas o todas negativas y, por tanto:

Concluimos que para todos y para todo se verifica que:

Hemos probado así que la serie de funciones

convergencia uniforme en .

verifica la condición de Cauchy para la

10.14 Corolario (Criterio de Leibniz para la convergencia uniforme). Sea una suce- sión de funciones definidas en un conjunto tal que para todo la sucesión es monótona y converge uniformemente a cero en . Entonces la serie con- verge uniformemente en .

Demostración. Pongamos . Entonces es una sucesión de funciones

constantes. Sea

. Se verifica que

para todo . Pongamos

también . Usando la igualdad (10.3), tenemos que:

Tomando valores absolutos obtenemos:

www.Matematica1.com

Como, para cada , los números son todos positivos o todos nega- tivos, se tiene que:

Resulta así que para todo :

Como converge uniformemente a