Tema 7: Series Funcionales: 1. Sucesiones de Funciones. Convergencia Puntual y Uniforme

I.T.
Telecomunicaciones Curso 99/00

DPTO. MATEMTICA APLICADA
Javier Martnez del Castillo Tema 7 Pg. 1 de 17
Tema 7: Series Funcionales
Al estudiar el teorema de Taylor se observ la posibilidad de expresar una funcin f infinitamente derivable
como una suma infinita de funciones monomiales, algo as como un polinomio de grado infinito, como por
ejemplo
e
x x x
x
+ + + + 1
1 2 3
2 3
! ! !

En este captulo, centramos la atencin en sumas infinitas de funciones, generalizndose el estudio hecho
para las series numricas.
1. Sucesiones de funciones. Convergencia puntual y uniforme
Como paso previo a la definicin de serie funcional, necesitaremos el concepto de lmite de una sucesin de
funciones { } f
n
definidas en un conjunto D de nmeros reales.
Definicin: Dada una sucesin de funciones { } f
n
, decimos que la funcin f es el lmite puntual de dicha
sucesin y que { } f
n
converge puntualmente a f , si
Lim f x
n
n
( ) , y adems se verifica que:
Lim f x f x
n
n
( ) ( )
Observaciones:
1. Si expresamos el lmite usando la definicin tendremos que { } f
n
converge puntualmente a f , si
para cada x y cada existe un N tal que si n>N entonces
f x f x
n
( ) ( ) <
2. Segn el apartado anterior, en cada caso deben elegirse unos N distintos para distintos x.

3. El adjetivo puntual se refiere al hecho de que f est definida punto a punto por el lmite anterior.
Ejemplo1: Calcular el lmite puntual de la sucesin de funciones f x
nx
n x
n
( )
+ 1
2 2
.
Un detenido estudio de las funciones f definidas como lmite puntual de { } f
n
nos muestra que f no tiene
por qu heredar ninguna de las propiedades de las funciones. Por ejemplo, las funciones { } f
n
definidas
como
f x
x si x
si x

n
n
( )

>
'
0 1
1 1
I.T.Telecomunicaciones Curso 99/00
es continua en todos los puntos, pero si calculamos su lmite puntual
f x Lim f x
si x
si x
n
n
( ) ( )

>
'
0 0 1
1 1
observamos que no es continua en x=1.
Observemos detenidamente la grfica de la funcin del ejemplo anterior y tracemos una banda de anchura
2 a lo largo de la grfica de f x Lim f x
n
n
( ) ( )
. Si <
1
2
, esta banda se compone de dos partes, las cuales
no contienen ningn punto con segunda coordenada igual a
1
2
; sin embargo, cada una de las funciones f
n
toma el valor
1
2
en algn punto. Por tanto la grfica de cada f
n
deja de estar dentro de esta banda. Una vez
ms, tal como dijimos anteriormente, para cada punto x existe algn N tal que ( , ( )) x f x
n
queda dentro de
esta banda para n>N ; pero no es posible elegir un N que d resultado para todos los x.
Es decir, si nos fijamos en la grfica de f
n
, se observa que no se acercan a la grfica de f , aunque es
verdad, que puntualmente, los valores de f x
n
( ) se aproximan a f x ( ) para cada x. Esta dependencia de N
respecto de x es la responsable del mal comportamiento de la convergencia puntual.
En aquellos casos en los que el mismo N sea vlido para todos los x, estaremos hablando de convergencia
uniforme (obsrvese la analoga con la continuidad uniforme).
Definicin: Dada una sucesin de funciones { } f
n
, decimos que la funcin f es el lmite uniforme de dicha
sucesin y que { } f
n
converge uniformemente a f , si para cada > 0 existe algn un N tal que x si n>N
se verifica que:
f x f x
n
( ) ( ) <
La interpretacin geomtrica es que fijado y si consideramos la banda formada entre las grficas de
f f + y , a partir de un cierto N todas las grficas de las funciones f
n
estn dentro de la banda.
Anlogamente, nos podemos encontrar que el lmite puntual tampoco se comporta bien respecto de la
integracin, en el sentido de que el lmite de las integrales de las funciones { } f
n
no coincide con la integral
del lmite de { } f
n
.
Ejemplo 2: Sea f x nxe
n
nx
( )

2
. Comprobar que Lim f x dx Lim f x dx
n
n
n
n

( ) ( )
0
1
0
1
.
Los siguientes teoremas, muestran cmo la convergencia uniforme se comporta de la manera esperada (a
diferencia de la convergencia puntual), respecto a la continuidad, integracin, y, ms o menos, de la
derivacin.
Teorema 1: Sea { } f
n
una sucesin de funciones integrables sobre [ , ] a b que converge uniformemente sobre
[ , ] a b hacia una funcin f que es integrable sobre [ , ] a b . Entonces:
Lim f x dx Lim f x dx f x dx
n
n
a
b
n
n
a
b
a
b

( ) ( ) ( ) s
n
una sucesin de funciones continuas que converge uniformemente a f sobre D .
Entonces f es continua sobre D. s
Despus de los dos teoremas que acabamos de ver, el asunto de la derivabilidad, resulta muy decepcionante,
pues aunque cada f
n
sea derivable y { } f
n
converja uniformemente a f todava no se cumple
necesariamente que f sea derivable.
Ejemplo 3: Comprobar que la funcin f x
nx
n
n
( )
sen
converge uniformemente a la funcin f 0 , y sin
embargo Lim f f
n
n
( ) ( ) 0 0 .
La hiptesis crucial ser que { } f
n
converja uniformemente hacia alguna funcin continua.
n
una sucesin de funciones derivables sobre [ , ] a b que converja puntualmente a f en
[ , ] a b , y supongamos adems que { } f
n
converja uniformemente hacia alguna funcin continua g. Entonces
f es derivable en [ , ] a b , y

f x Lim f x x a b
n
n
( ) ( ) [ , ] s
Tras conocer las propiedades de la convergencia uniforme sera interesante conocer un criterio que nos
asegure la convergencia uniforme de una sucesin de funciones sin tener que aplicar la definicin.
Teorema: Sea { } f
n
una sucesin de funciones. Si existe una funcin f y una sucesin de nmeros reales
{ } a
n
que converja a cero y tal que
f x f x a x D
n n
( ) ( ) <
entonces { } f
n
converge uniformemente a f en D. s
2. Series de funciones
Veamos ahora la definicin de serie de funciones, que es anloga a la que vimos para series numricas.
Definicin: Sea { } f
n
una sucesin de funciones. Llamamos serie de funciones asociada a { } f
n
, y lo
representamos por f
n
n
1
, a la sucesin de sumas parciales { } S
n
definida por:
S x f x
S x f x f x
S x f x f x f x
S x f x f x f x f x
n n
1 1
2 1 2
3 1 2 3
1 2 3
( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
+
+ +
+ + +

Definicin: Consideremos la serie de funciones f
n
n
1
y sea { } S x
n
( ) la sucesin de sumas parciales.
Entonces:
a) Si { } S x
n
( ) converge puntualmente en D a una funcin S x ( ), diremos que S x ( ) es la suma puntual
en D de la serie, es decir, si x D se verifica que

S x f x
k
k
( ) ( )
1
.

b) Si { } S x
n
( ) converge uniformemente en D a una funcin S x ( ), diremos que S x ( ) es la suma
uniforme en D de la serie, es decir, si > > 0 N n N : si entonces se verifica que
S x f x
k
k
n
( ) ( ) <
1
.
Observacin: Para estudiar la convergencia puntual de una serie de funciones basta con estudiar las series
numricas que se obtienen para cada x, con lo cual no es necesario realizar un estudio especfico de las series
de funciones. En principio no ocurre lo mismo con la convergencia uniforme.
Como hemos visto en el apartado anterior, lo interesante sera tener un criterio que me asegure la
convergencia uniforme de una serie de funciones sin necesidad de aplicar la definicin. Dicho criterio
(anlogo al visto en el apartado anterior) recibe el nombre de prueba M de Weierstrass.
Teorema (Prueba M de Weierstrass): Sea { } f
n
una sucesin de funciones definidas en D, y supongamos
que { } M
n
es una sucesin de nmeros tales que:
f x M x D
n n
( )
y supngase adems que M
n
es convergente. Entonces x D, la serie f

n
n
1
converge (de hecho,
converge absolutamente), y adems f
n
n
1
converge uniformemente en D hacia la funcin
f x f x
n
n
( ) ( )
1
s
Ejemplo 4: Probar la convergencia uniforme de las siguientes series en los intervalos que se indican:
a)
cos nx
n n
en todo .
b) n
x
en [ , ) a para cualquier a >1.

Teorema: Sea f
n
una serie de funciones continuas que converge uniformemente en un intervalo [ , ] a b .

Entonces:
1. La funcin suma uniforme S x f x
n
( ) ( )
es continua en [ , ] a b .
2. La integral y la suma uniforme conmutan, esto es:

( ) f x dx f x dx
n
a
b
n
a
b
( ) ( )
_
,

3. Si las f
n
son derivables con continuidad (con derivadas continuas), entonces:
( ) ( )

S x
d
dx
f x
d
dx
f x
n n
( ) ( ) ( ) s
Este teorema tiene una importante aplicacin en la suma de series:
Ejemplo 5: Hallar la suma en trminos elementales de las series de funciones:
a) nx
n
n
0
b)
x
n
n
n
( )! +
3
0
Los teoremas anteriores tambin son de utilidad para comprobar la convergencia uniforme de una serie de
funciones.
Ejemplo 6: Determinar el campo de convergencia y la suma de la serie
x
x
n
n
2
2
1
1 ( ) +
. Determinar si la
convergencia es puntual o uniforme.
3. Series de potencias
Acabamos de ver que la prueba M de Weierstrass constituye un instrumento ideal para analizar funciones de
cierta regularidad. Pondremos especial atencin a un tipo de funciones que se presentan con cierta
frecuencia, y que son de la forma:
a x a
n
n
n
( )
0
donde los a
n
son nmeros reales. Estas series aparecen, por ejemplo (como ya vimos) al estudiar la serie de
Taylor de una funcin indefinidamente derivable (de hecho se ver que toda serie de potencias convergente
es la serie de Taylor de alguna funcin) ; demostraremos tambin que las series de potencias cuando
convergen lo hacen uniformemente y, por lo tanto, la derivada e integral de una serie de potencias se puede
calcular trmino a trmino.
Definicin: Si x es una variable, una serie infinita de la forma
a x a a x a x
n
n
n
n
n
+ + + +
0
0 1

se llama serie de potencias. Ms en general, una serie del tipo
a x a a a x a a x a
n
n
n
n
n
( ) ( ) ( ) + + + +
0
0 1

se llama serie de potencias centrada en a, donde a es una constante.
Observacin: Por comodidad, vamos a trabajar con series de potencias centradas en 0, es decir, las de la
forma
0 n
n
n
x a , ya que los resultados obtenidos con dichas series se pueden extender fcilmente a todas las
series de potencias.
El resultado fundamental para el estudio de la convergencia de una serie de potencias es el siguiente:
Teorema: Dada una serie de potencias
0 n
n
n
x a , se verifica:
1. Si la serie converge en un nmero 0
0
x , entonces la serie converge absolutamente para todo x tal
que
0
x x < .
2. Si la serie diverge en un punto
1
x , entonces la serie diverge para todo x tal que x x
1
< . s
Del teorema anterior se intuye la existencia de un intervalo (centrado en cero) donde la serie de potencias
converge. La formalizacin de este hecho hace uso del axioma del supremo.
Corolario: Sea
0 n
n
n
x a una serie de potencias, y sea C el conjunto de los nmeros reales x para los cuales la
serie converge ( C , porque la serie converge al menos para 0 x ). Si C no est acotado, entonces por el
teorema anterior, C = . s
Definicin: Se define el radio de convergencia de la serie de potencias a x
n
n
n
0
, y se denota por R, como:
{ }
{ }
R
si C
C x a x converge si C
n
n
'
sup sup :

El siguiente teorema asegura que la convergencia de una serie de potencias queda determinada por su radio
de convergencia.
Teorema: Sea R el radio de convergencia de la serie de potencias
0 n
n
n
x a . Entonces:
1. Si R 0 la serie slo converge para x 0.
2. Si R la serie converge absolutamente en todo .
3. En otro caso, la serie converge absolutamente en el intervalo ( R R , ), y diverge para todo x tal
que x R > . s
Observacin: En el tercer caso, no se sabe el comportamiento de la funcin en los extremos del intervalo
( R R , ). Por eso, en principio, ser necesario estudiar el comportamiento de la serie numrica
correspondiente.
Definicin: Dada una serie de potencias
0 n
n
n
x a , de radio de convergencia R finito y no nulo, entonces la
serie converger en un intervalo de extremos R y R, por esta razn denominaremos a ( R R , ) intervalo
bsico de convergencia de la serie de potencias.
Llamaremos intervalo de convergencia de la serie al conjunto de nmeros x para los que la serie converge. Si
R es finito y no nulo, entonces el intervalo de convergencia toma una de estas formas:
[ , ] [ , ) ( , ] ( , ) R R R R R R R R
Veamos ahora un resultado para conocer el radio de convergencia de una serie de potencias, cuya
demostracin est basada en la aplicacin del criterio de la raz y del cociente:
Teorema: Dada una serie de potencias
0 n
n
n
x a , si existe uno de los siguientes lmites (finito o infinito),
entonces el radio de convergencia R viene dado por:
R
Lim a
n
n
n
1
o R Lim
a
a
n
n
n
+1
s
Ejemplo 7: Hallar el intervalo de convergencia de las siguientes series:
a) x
n
n
1
b)
x
n
n
n
1
c)
x
n
n
n
2
1
d) n x
n
n
!
1
e) ( )
1
1
n
n
n
x
n
f) ( )
1
2
2
1
n
n
n
x
n
g)
x
n
n
n
!
1
h) ( )
( )!
+
+
1
2 1
2 1
0
n
n
n
x
n
i) 3 2
0
( ) x
n
n
j) ( )
( )
1
1
2
0
n
n
n
n
x
k) xn
n
1
3.1. Propiedades de las series de potencias
La representacin de funciones mediante series de potencias ha desempeado un papel importante en el
clculo, ya que fue utilizado con gran profusin por Newton, Euler, Leibniz, Lagrange, Bernoulli, Taylor y
James Gregory.
Una vez definida una funcin como series de potencias, es natural preocuparse de cmo determinar las
caractersticas de la funcin. Es continua?, derivable?, integrable?. Los resultados que veremos a
continuacin darn respuesta a estas preguntas.
Teorema: Una serie de potencias converge uniformemente en cada intervalo de la forma [ , ] a b contenido en
su intervalo bsico de convergencia ( , ) R R . s
Corolario: La funcin definida por una serie de potencias f x a x
n
n
( )

es continua en su intervalo
bsico de convergencia ( , ) R R . s
Corolario: Sea a x
n
n
una serie de potencias con radio de convergencia R, entonces:

1. La serie obtenida integrando trmino a trmino, a
x
n
n
n+
+
1
1
, tiene radio de convergencia R .

2. En todo intervalo cerrado [ , ] a b ( , ) R R se cumple:
( ) a x dx a x dx
a b
n
a a
n
n
n
a
b
n
n
a
b
n
n
n
n

+

+
+ + 1 1
1 1
. s
Corolario: Sea a x
n
n
una serie de potencias con radio de convergencia R, entonces:

1. La serie obtenida derivando trmino a trmino, n a x
n
n
1
, tiene radio de convergencia R .

2. La funcin derivada es la que se obtiene al derivar trmino a trmino, esto es:
( )
d
dx
a x
d
dx
a x na x
n
n
n
n
n
n

( )
1
. s
Observacin:
1. Los dos corolarios anteriores nos muestran, que en muchos sentidos, una funcin definida por una
serie de potencias se comporta como un polinomio. Es continua en su intervalo de convergencia y
tanto su derivada como su primitiva pueden calcularse derivando e integrando cada trmino de la
serie.

2. El radio de convergencia de la serie obtenida por derivacin o integracin es el mismo que el de la
serie original. Sin embargo el intervalo de convergencia puede diferir, a causa de los puntos
terminales, como muestra el siguiente ejemplo.
Ejemplo 8: Hallar los intervalos de convergencia de f x dx f x f x ( ) , ( ) ( ) y
siendo f x
x
n
n
n
( )
1
Teorema (Abel): Sea a x
n
n
una serie de potencias de radio de convergencia R finito y no nulo. Si la

serie converge en R o en -R, entonces la funcin f x a x
n
n
( )
es continua en dicho punto. s

3.2. Retorno a las series de Taylor
Como aplicacin de series de potencias, tenemos las series de Taylor y de McLaurin, que ya vimos en el
tema de series infinitas y cuyas definiciones recordamos ahora:
Definicin: Sea f una funcin indefinidamente derivable en x
0
, entonces se define su serie de Taylor en
x
0
como
f x
n
x x
n
n
n
( )
!
( )
0
0
0

Adems, la serie de Taylor representa a f en x
1
, si es convergente en x x
1
, y adems
f x
f x
n
x x
n
n
n
( )
( )
!
( )
1
0
1 0
0

Teorema: Dada una funcin f indefinidamente derivable en x

0
, si existe M tal que f x M
n
( ) < n
y x en un entorno de x
1
, entonces la serie de Taylor de f representa a f en x
1
. s
Como en el apartado anterior vimos que toda serie de potencias converge uniformemente en su intervalo
bsico de convergencia ( , ) R R y por tanto se puede derivar e integrar trmino a trmino en ( , ) R R , al ser
las series de Taylor un tipo particular de series de potencias, cumplir estas propiedades.
Por tanto, se verificarn los siguientes resultados:
Teorema: Sea f x a x x
n
n
n
( ) ( )
0
0
una serie de potencias convergente en ( , ) R R , entonces:
a
f x
n
n
n
( )
!
0
s
De este resultado, obtenemos directamente el siguiente corolario, que permite deducir la unicidad de la serie
de Taylor de una funcin f .
Corolario: Supongamos que a x x b x x
n
n
n
n
n
n
( ) ( )

0
0
0
0
para todo x en un cierto intervalo,
entonces a b
n n
n . s
4. Series de Fourier
El matemtico francs Joseph Fourier (1768-1830) en su famosa obra Teora analtica del calor condujo a
uno de los grandes descubrimientos matemticos, las series de Fourier.
Las representaciones por medio de tales series permiten un grado de generalidad mucho mayor, en cuanto al
tipo de funciones al que se puede aplicar para estudiarlas, que el que permite la serie de Taylor. Incluso (y
aqu estriba su importancia) si hay muchos puntos en los que no exista la derivada de la funcin, o en donde
la funcin no sea continua, la funcin puede tener an desarrollo en series de Fourier.
4.1 Series trigonomtricas y series de Fourier
Las series de potencias son, como sabemos, una importante herramienta para la representacin de funciones.
Sin embargo, es en cierta medida restrictiva ya que la funcin a representar debe ser infinitamente derivable.
Fue un hecho importante, por las numerosas aplicaciones que hoy en da se derivan de ello, cuando a
principios del siglo XIX, Fourier ilustr con numerosos ejemplos como cierto tipo de series funcionales
(series trigonomtricas) eran capaces de representar a una clase ms amplia de funciones que las series de
potencias.
Pasamos a definir que se entiende por series trigonomtricas, para posteriormente pasar a un tipo especial de
ellas conocidas con el nombre de Series de Fourier que son las series trigonomtricas que interesan desde el
punto de vista de la representacin de funciones.
Definicin: Una serie trigonomtrica es una serie de la forma
( cos sen ) a nx b nx
n n
n
+
0
Donde los nmeros reales a
n
y b
n
se llaman coeficientes de la serie.
Observacin: En particular, si todos los coeficientes a
n
son nulos, se dice que es una serie de senos, y si
todos los coeficientes b
n
son nulos, se dice que es una serie de cosenos .
Ejemplos de series trigonomtricas son:
( )
cos
1
2
1
n
n
nx
n
sennx
n n
n
1
1
1
n
nx nx
n
!
(cos sen )
Con relacin a la convergencia de las series trigonomtricas y de las propiedades de las funciones por ellas
definidas, destacamos los siguientes resultados elementales:
Lema: Si las series a
n
y b
n
son absolutamente convergentes, entonces la serie

n n
+
converge uniformemente en . s
Teorema: Si { } a
n
y { } b
n
son sucesiones de trminos positivos, decrecientes y convergentes a cero, entonces
n n
n
+
0
Converge pera todo real x, x k 2 y k entero. La convergencia es uniforme en cada intervalo cerrado que
no contenga a 2k siendo k un entero cualquiera. s
Observacin: La funcin definida por una serie trigonomtrica es una funcin peridica de periodo 2 ,
(puesto que los trminos de la serie son funciones peridicas de periodo 2 ).
Antes de ver la definicin de serie de Fourier, veamos la siguiente definicin:
Definicin: Decimos que f x ( ) es continua a trozos en un intervalo, si tiene una cantidad finita de
discontinuidades de salto en dicho intervalo.
Definicin: Sea f x ( ) una funcin peridica de periodo 2 , y continua a trozos en [ , ] . Se llama serie
de Fourier de la funcin f x ( ) , a la serie trigonomtrica
a
a nx b nx
n n
n
0
1
2
+ +
( cos sen )
donde los coeficientes, llamados coeficientes de Fourier, vienen dados por
a f x nx dx
n

( ) cos y b f x nx dx
n

( ) sen
Para indicar que la serie trigonomtrica es la serie de Fourier de f x ( ) , se suele escribir
f x
a
a nx b nx
n n
n
( ) ( cos sen ) + +
0
1
2

Ejemplo 9: Hallar la serie de Fourier de la funcin peridica f x ( ) definida por:
f x
si x
si x
( )
[ , ) ( , ]
[ , ]
'
0 2 2
1 2 2

y extendida por periodicidad fuera del intervalo [ , ] .

Solucin: Slo tenemos que calcular los coeficientes de Fourier, obteniendo que:
a
a f x nx dx nx dx
n
n
b f x nx dx nx dx
n
n
0
2
2
2
2
1
1 1 1 2 2
1 1 1
0 0
( ) cos cos
sen( )
( ) sen sen
con lo cual, los primeros trminos de la serie de Fourier de f son:
f x x x x x ( ) cos cos cos cos + + +
1
2
2 2
3
3
2
5
5
2
7
7

Ejemplo 10: Hallar la serie de Fourier de la funcin f x
x
( )
en [ , ] .
Solucin: El clculo de los coeficientes de Fourier es:
a f x dx x dx
a f x nx dx x nx dx
b f x nx dx x nx dx
n
n
n
n
0 2
2
2
1 1
0
1 1
0
1 1 2

( )
( ) cos cos
( ) sen sen
cos
con lo cual, los primeros trminos de la serie de Fourier de f son:
,
_
+ +
4
4 sen
3
3 sen
2
2 sen
1
sen 2
) (
x x x x
x f

Ejemplo 11: Sea f la funcin peridica de periodo 2 definida por
2
) ( x x x f en ] , 0 [ , y
x x x f +
2
) ( en ] 0 , [ .Hallar su serie de Fourier y usarla para obtener la suma de la serie
0
3
) 1 2 (
1
) 1 (
n
n
n
.
Solucin: El clculo de los coeficientes de Fourier es:
'
+ +
+ +
+ +

impar es n si n
par es n si
dx nx x x dx nx x x b
dx nx x x dx nx x x a
dx x x dx x x a
n
n
3
0
2
0
2
0
2
0
2
0
2
0
2
0
8
0
sen ) (
1
sen ) (
1
0 cos ) (
1
cos ) (
1
0 ) (
1
) (
1
donde hay que usar dos veces el mtodo de integracin por partes para encontrar una primitiva. De este
modo, la serie de Fourier de f es:
f x x
x n x
n n
n x
n
( ) sen
sen sen( )
( ) ( )
sen( ) + + +
+
+
+
+
+
8 8 3
27
8 2 1
2 1
8 1
2 1
2 1
3 3
0

la igualdad anterior es vlida en [ , ] , en particular tambin lo ser para x 2 ; en este caso:
f
n
n
n
n
n
n
( )
( )
sen( ) ( )
( )

2
2 4
8 1
2 1
2 1
2
8
1
1
2 1
2
3
0
3
0

+
+
+

por tanto, tenemos que
( )
( )
1
1
2 1 32
3
0
3
n
n
n
4.2. Clculo de los coeficientes de Fourier

Las siguientes propiedades permiten, en determinadas ocasiones, facilitar los clculos de los coeficientes de
Fourier.
Lema: Sea f x ( ) una funcin peridica de periodo 2 y continua a trozos en [ , ] , entonces para todo
nmero real se verifica:
f x dx f x dx ( ) ( )
+
+
s
Observacin: Gracias a este lema, podemos escribir las frmulas de los coeficientes de Fourier como
integrales sobre el intervalo [ , ] 0 2 (simplificndose el clculo):
a f x nx dx
n

1
0
2
n

1
0
2
( ) sen
Lema: Si f es par ( ) f x f x ( ) ( ) , para todo nmero real se verifica:
f x dx f x dx ( ) ( )

2
0
s
Lema: Si f es impar ( ) f x f x ( ) ( ) , para todo nmero real se verifica:
f x dx ( )
0 s
Pasamos a exponer como dichas propiedades contribuyen a facilitar los clculos de los coeficientes de
Fourier:
Teorema: Sea f una funcin, entonces:
1. Si la funcin f es par

'
f x nx es par par par par

f x nx es impar par impar impar
( ) cos ( )
( ) sen ( )
luego
a f x nx dx
n

2
0
( ) cos y b
n
0
con lo cual la serie de Fourier de f es una serie de cosenos.
2. Si la funcin f es impar

'
f x nx es impar impar par impar

f x nx es par impar impar par
( ) cos ( )
( ) sen ( )
luego
a
n
0 y b f x nx dx
n

2
0
( ) sen
con lo cual la serie de Fourier de f es una serie de senos. s
4.3. Convergencia de las series de Fourier
Con relacin a la convergencia de la serie de Fourier de una funcin, solo estamos interesados en los casos
en que dicha serie representa a la funcin. En la prctica, el caso ms frecuente donde se cumple dicha
condicin es el de las funciones derivables a trozos, que seguidamente pasamos a definir:
Definicin: Una funcin f definida en D, diremos que es derivable a trozos en D si existen los siguientes
lmites (llamados derivadas laterales)
Lim
f x h f x
h h
+
+
+
0
0
0
( ) ( )
y Lim
f x h f x
h h
+

0
0
0
( ) ( )
para cada x D
0
.
Teorema: Sea f una funcin derivable a trozos en [ , ] a b , entonces f es continua a trozos en [ , ] a b . s
La propiedad de ser derivable a trozos es una condicin suficiente para que la serie de Fourier de una funcin
f converja, en general, a la funcin f .
En un punto de discontinuidad x
0
de f , la serie difcilmente podr converger a f x ( )
0
, ya que podra
converger a cualquiera de los lmites laterales f x ( )
0
+
o f x ( )
0
. Es por esto, por lo que en los puntos de

discontinuidad, la serie de Fourier converge al punto medio entre f x ( )
0
+
y f x ( )
0
.
Teorema: Sea f una funcin peridica de periodo 2 y derivable a trozos en [ , ] . Entonces la serie de
Fourier de la funcin f converge en todo punto x
0
a:
1. f x ( )
0
, si f es continua en x
0
.

2.
f x f x ( ) ( )
0 0
2
+
+
, si f es discontinua en x
0
. s
Observacin: En tal caso, la expresin
f x
a
a nx b nx
n n
n
( ) ( cos sen ) + +
0
1
2
Vlida para todo x donde f es continua, se llama el desarrollo de Fourier de f x ( ) .
4.4 Desarrollo de Fourier para funciones de periodo arbitrario L
Supongamos que f es una funcin peridica de periodo L 2 , entonces podremos asignarle una serie de
Fourier ?. La respuesta es afirmativa, y la manera es mediante un cambio de variable, como vamos a ver a
continuacin.
Introducimos una nueva variable t que recorre desde a , mientras que x recorre el intervalo de
periodicidad de f ( es decir, L) :
t
L
x x
2
y, expresando f en funcin de t , f x f t ( ) ( ) , podemos calcular la serie de Fourier

a
a t b t
a
a x b x
0
1 1
0
1 1
2 2
+ + + + + + cos sen cos sen
donde
a f t nt dt
n

( ) cos y b f t nt dt
n

( ) sen
Si ussemos x t como variable de integracin, entonces tendramos
a f x n x dx
L
f x n x dx
n
L
L

( ) cos ( ) cos
2
2
2
b f x n x dx
L
f x n x dx
n
L
L

( ) sen ( ) sen
2
2
2
con lo que podramos definir una especie de serie de Fourier generalizada para funciones de periodo
arbitrario L como
a
a x b x a n x b n x
n n
0
1 1
2
+ + + + + + cos sen cos sen
donde 2 L y donde por la periodicidad de la funcin tenemos que
a
L
f x n x dx
n
L

2
0
( ) cos y b
L
f x n x dx
n
L

2
0
( ) sen
Ejemplo 12: Sea f x x ( ) para x [ , ] 0 una funcin peridica de periodo . Hallar su serie de
Fourier.
Solucin: Aplicando las frmulas anteriores, tenemos que:
a x dx
a x nx dx
b x nx dx
n
n
n
0
0
0
0
2
2
2 0
2
2
1

( )
( ) cos
( ) sen
y donde
f x
nx
n
n
( )
sen
+
2
2
1
4.5 Desarrollo de Fourier para funciones no peridicas
Sea f una funcin derivable a trozos definida en [ , ] 0 . Por reflexin respecto del eje OY , esto es,
haciendo
f x
f x si x
f x si x
1
0
0
( )
( ) [ , ]
( ) [ , ]
'
obtenemos una funcin par definida sobre todo [ , ] que, si se extiende de forma peridica a todo r, da
lugar a una funcin que coincide con f en [ , ] 0 . La funcin f
1
recibe el nombre de extensin peridica
par de f , cuya serie de Fourier ser
f x
a
a nx
n
n
1
0
1
2
( ) cos +
x [ , ]
y como f
1
coincide con f en [ , ] 0 , entonces tenemos que:
f x
a
a nx
n
n
( ) cos +
0
1
2
x [ , ] 0
De modo anlogo, podemos obtener una serie de senos usando la extensin peridica impar mediante la
funcin:
f x
f x si x
f x si x
2
0
0
( )
( ) [ , ]
( ) [ , ]
'
El clculo de la serie de Fourier de f

2
, que es una funcin impar, arroja una serie de senos que converge a
f
2
en , y como f f
2
en [ , ] 0 , obtenemos que:
f x b nx
n
n
( ) sen
1
Del razonamiento anterior, se deduce que toda funcin derivable a trozos en [ , ] 0 puede ser representada
por una serie de cosenos o como una serie de senos cuyos coeficientes, a b
n n
y respectivamente, se calculan
mediante las siguientes frmulas:
a f x nx dx
n

2
0
n

2
0
( ) sen
Observacin: No es necesario memorizar las frmulas de los coeficientes de Fourier para una funcin
definida sobre[ , ] 0 , ya que coinciden con las ya conocidas. Slo hay que recordar aplicar las simetras de las
extensiones para integrar entre 0 y .
Ejemplo 13: Representar la funcin f x x ( ) sobre [ , ] 0 como una serie de senos, y una serie de
cosenos.
Solucin: Como f est definida en [ , ] 0 , consideraremos las extensiones peridicas de f para el clculo
de sus series de Fourier.
Para obtener la serie de senos, los a
n
deben ser 0, para ello consideramos la extensin peridica impar, de
donde:
b x nx dx
n
n

2 2
0
( ) sen
por lo tanto
f x
nx
n
n
( )
sen
2
1
x [ , ] 0
Anlogamente, la serie de cosenos surge de la extensin peridica par, con lo cual
a x dx
0
0
2

( )
a x nx dx
n
n
n

2 2 1 1
0
2
( ) cos
( )
adems la expresin de a
n
puede simplificarse del siguiente modo
a
a
n
n
n
2
2 1 2
0
4
2 1
+
+
( )
con lo que la serie de cosenos de f ser
f x x
x x n x
n
( ) cos
cos cos cos( )
( )
+ + + + +
+
+
+
_
,
2
4 3
3
5
5
2 1
2 1
2 2 2

Gracias a las extensiones peridicas es posible representar por medio de una serie trigonomtrica cualquier
funcin derivable a trozos sobre un intervalo arbitrario [ , ) a b , usando un cambio de variable que reduzca el
estudio al intervalo [ , ) . Este cambio que ser de la forma t x + , se puede deducir fcilmente a
partir del sistema de ecuaciones lineales
+
+

a
b
de donde se obtiene el cambio
t
b a
x
a b
a b
+
+
sin embargo la complejidad del clculo, invita a buscar otras alternativas.

En lugar de hacer el clculo de variable directamente, podemos reducir el intervalo paso a paso, y despus
usar las extensiones peridicas para simplificar el clculo de los coeficientes. Consideraremos un mtodo
para representar una funcin derivable a trozos sobre un intervalo de la forma [ , ) 0 a .
En el caso general, cuando f est definida en [ , ) a b , se aplica el cambio de variable t x a (mucho ms
fcil que el anterior), y que reduce el estudio al intervalo [ , ) 0 b a .
Para una funcin definida en [ , ) 0 a una extensin peridica (par o impar) nos permite pasar a una funcin
peridica de periodo 2a definida sobre [ , ) a a , que se puede representar fcilmente en series de senos o de
cosenos usando el mtodo del apartado anterior.
Ejemplo 14: Representar en serie de Fourier de senos la funcin f x x ( ) + 1 sobre el intervalo [ , ) 1 2 .
Solucin: Empezaremos trasladando el estudio al intervalo [ , ) 01 usando el cambio de variable t x 1
representando la funcin f x f t t g t ( ) ( ) ( ) + + 1 2 donde
b t nt dt
n n
n
n n
+
+ +
2
2
2
1 1
2
0
1 1

( ) sen ( ) ( )
luego
g t
nt
n
n
n
( ) ( )
sen

+
2 1
1
1
con lo que deshaciendo el cambio, se obtiene
f x
n x
n
n
n
( ) ( )
sen ( )

+
2 1
1
1
1

Tema 7: Series Funcionales: 1. Sucesiones de Funciones. Convergencia Puntual y Uniforme

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Tema 7: Series Funcionales: 1. Sucesiones de Funciones. Convergencia Puntual y Uniforme

Caricato da

Copyright:

Formati disponibili

I.T.

Telecomunicaciones Curso 99/00

es convergente. Entonces x D, la serie f

en [ , ) a para cualquier a >1.

una serie de funciones continuas que converge uniformemente en un intervalo [ , ] a b .

una serie de potencias con radio de convergencia R, entonces:

una serie de potencias con radio de convergencia R, entonces:

una serie de potencias de radio de convergencia R finito y no nulo. Si la

es continua en dicho punto. s

Teorema: Dada una funcin f indefinidamente derivable en x

son absolutamente convergentes, entonces la serie

y extendida por periodicidad fuera del intervalo [ , ] .

con lo cual, los primeros trminos de la serie de Fourier de f son:

I.T.Telecomunicaciones Curso 99/00

4.2. Clculo de los coeficientes de Fourier

f x nx es par par par par

f x nx es impar impar par impar

. Es por esto, por lo que en los puntos de

y, expresando f en funcin de t , f x f t ( ) ( ) , podemos calcular la serie de Fourier

El clculo de la serie de Fourier de f

sin embargo la complejidad del clculo, invita a buscar otras alternativas.

Potrebbero piacerti anche