I.T.

Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA

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 x x2 x3 ex = 1 + + + + 1! 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 sucesin y que
n

{ f } converge puntualmente a
n

{ f } , decimos que la funcin

n n

f es el lmite puntual de dicha

f , si Lim f n ( x ) , y adems se verifica que: 

Lim f n ( x ) = f ( x )

Observaciones: 1. Si expresamos el lmite usando la definicin tendremos que para cada x y cada existe un N tal que si n>N entonces f n (x ) f (x ) < 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 n ( x ) = nx . 1+ n2x 2
n

{f }
n

converge puntualmente a f , si

Un detenido estudio de las funciones f definidas como lmite puntual de x n si 0 x 1 fn (x) = si x > 1 1 es continua en todos los puntos, pero si calculamos su lmite puntual
Javier Martnez del Castillo Tema 7

{ f } nos muestra que f no tiene por qu heredar ninguna de las propiedades de las funciones. Por ejemplo, las funciones { f } definidas como
n

Pg. 1 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA 0 si 0 x 1 f ( x ) = Lim f n ( x ) = n si x > 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 n ( x ) . Si < 1 2 , esta banda se compone de dos partes, las cuales no
n

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 n ( x ) ) 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 n ( x ) 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

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 n (x ) f (x ) < 

{ f } , decimos que la funcin

n

f es el lmite uniforme de dicha

La interpretacin geomtrica es que fijado y si consideramos la banda formada entre las grficas de f + y f , 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 n ( x ) = nxe nx . Comprobar que Lim

2

1 0

f n ( x ) dx

1 0

Lim f n ( x ) dx .
n

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
n b a

f n ( x ) dx =

b a

Lim f n ( x ) dx
n

b a

f ( x ) dx

Javier Martnez del Castillo

Tema 7

Pg. 2 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Teorema 2: Sea { f n } una sucesin de funciones continuas que converge uniformemente a f sobre D . Entonces f es continua sobre D. I 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. sen nx converge uniformemente a la funcin f 0 , y sin n

Ejemplo 3: Comprobar que la funcin f n ( x ) = embargo Lim f n ( 0 ) f ( 0 ) .

n

La hiptesis crucial ser que { f n} converja uniformemente hacia alguna funcin continua. Teorema 3: Sea

[a, b] , y f es derivable en [a, b] , y

{ f } una sucesin de funciones derivables sobre [a, b] que converja puntualmente a f en supongamos adems que { f } converja uniformemente hacia alguna funcin continua g . Entonces
n n

f ( x ) = Lim f n( x )
n

x [a, b]

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
n

{a } que converja a cero y tal que

n

{ f } una sucesin de funciones. Si existe una funcin

n

f y una sucesin de nmeros reales

f n (x ) f (x ) < an entonces

x D

{ f } converge uniformemente a

f en D.

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

n =1

f n , a la sucesin de sumas parciales {S n } definida por:

Javier Martnez del Castillo

Tema 7

Pg. 3 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA S1 ( x ) = S2 ( x) = S3( x) = = Sn (x) = = f1 ( x ) f1 ( x ) + f 2 ( x ) f1 ( x ) + f 2 ( x ) + f 3 ( x )

1 2 3

 

 f ( x ) + f ( x ) + f ( x ) + f ( x ) 
n

Definicin: Consideremos la serie de funciones Entonces:

n =1

f n y sea

{S

( x )} la sucesin de sumas parciales.

a) Si {S n ( x )} 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 ) =

k =1

f k (x ) .

b) Si {S n ( x )} 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 : si n > N entonces se verifica que S(x)

k =1

fk (x) < .

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

que { M n } es una sucesin de nmeros tales que:

{ f } una sucesin de funciones definidas en D, y supongamos

n

f n (x ) M n y supngase adems que

x D

M n es convergente. Entonces x D , la serie

n =1

f n converge (de hecho,

converge absolutamente), y adems f n converge uniformemente en D hacia la funcin

n =1

f (x ) =

n =1

f n (x)

Ejemplo 4: Probar la convergencia uniforme de las siguientes series en los intervalos que se indican: cos nx a) en todo #. n n b) n x en [a, ) para cualquier a > 1.
Javier Martnez del Castillo Tema 7 Pg. 4 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Teorema: Sea Entonces:

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

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

(
b a

f n ( x ) dx

b a

f n ( x ) dx

3. Si las f n son derivables con continuidad (con derivadas continuas), entonces: S ( x ) = d dx

f n ( x)

d ( f ( x )) dx n

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

b)

n=0

n=0

xn ( n + 3)!

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 convergencia es puntual o uniforme.

n =1

x2 . Determinar si la (1 + x 2 )n

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:
n= 0

a n ( x a )n

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
n =0

x n = a 0 + a1 x +
Tema 7

+ a x +
n n

Javier Martnez del Castillo

Pg. 5 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA se llama serie de potencias. Ms en general, una serie del tipo

n =0

a n ( x a ) n = a 0 + a1 ( x a ) +

+ a ( x a ) +
n n

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

a x
n=0 n

, 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

a x
n=0 n

, se verifica:

1. Si la serie converge en un nmero x0 0 , entonces la serie converge absolutamente para todo x tal que x < x 0 . 2. Si la serie diverge en un punto x1 , entonces la serie diverge para todo x tal que x1 < x . I

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

a x
n=0 n

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 x = 0 ). Si C no est acotado, entonces por el teorema anterior, C = # . I Definicin: Se define el radio de convergencia de la serie de potencias R = sup{C} = sup x # :

n=0

x n , y se denota por R, como:

x converge

si C = # si C #

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

a x
n=0 n

. 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 . I
Javier Martnez del Castillo Tema 7 Pg. 6 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA 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

a
n=0

x n , 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

a x
n=0 n

, si existe uno de los siguientes lmites (finito o infinito),

entonces el radio de convergencia R viene dado por: 1 o R = Lim n a n

n

R = Lim
n

an a n +1

Ejemplo 7: Hallar el intervalo de convergencia de las siguientes series: a) d) g) j)

n =1

xn
n

b)

n =1

n =1

xn n
n n

c)

n =1

xn n2
n

n! x
n =1 n=0

x e) ( 1) n n =1
n

x 2n f) ( 1) 2n n =1 i)
n= 0

xn n!
n

x 2 n +1 h) ( 1) ( 2n + 1)! n =0 ( x + 1) 2n
n

3( x 2) n

( 1)

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.

Javier Martnez del Castillo

Tema 7

Pg. 7 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Teorema: Una serie de potencias converge uniformemente en cada intervalo de la forma [a, b] contenido en su intervalo bsico de convergencia ( R, R ) . I Corolario: La funcin definida por una serie de potencias f ( x ) = bsico de convergencia ( R, R) . I Corolario: Sea

x n es continua en su intervalo

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

1. La serie obtenida integrando trmino a trmino,

an

x n+1 , tiene radio de convergencia R . n +1 a n b n +1 n +1 an a n+1 . n +1

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

(
b a

an x n dx
n

b a

an x n dx

Corolario: Sea

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

1. La serie obtenida derivando trmino a trmino,

n a n x n1 , tiene radio de convergencia R .

2. La funcin derivada es la que se obtiene al derivar trmino a trmino, esto es: d dx 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.

( a

xn

d ( an x n ) = dx

n a n x n 1 .

Ejemplo 8: Hallar los intervalos de convergencia de

f ( x ) dx , f ( x ) y f ( x ) siendo f ( x ) =

n =1

xn n

Teorema (Abel): Sea

x 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 ) =

x n es continua en dicho punto.

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:
Javier Martnez del Castillo Tema 7 Pg. 8 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Definicin: Sea f una funcin indefinidamente derivable en x 0 , entonces se define su serie de Taylor en x 0 como
n= 0

f n (x0 ) ( x x 0 )n n!

Adems, la serie de Taylor representa a f en x1 , si es convergente en x = x1 , y adems f ( x1 ) =

n=0

f n (x0 ) ( x1 x 0 )n n!

Teorema: Dada una funcin f indefinidamente derivable en x 0 , si existe M tal que f n ( x ) < M n  y I x en un entorno de x1 , entonces la serie de Taylor de f representa a f en x1 . 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 ) =

n=0

a n ( x x 0 ) n una serie de potencias convergente en ( R, R) , entonces: f n (x0 ) an = n! I

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 entonces a n = bn n  .

n =0

a n ( x x0 ) n =

n=0

bn ( x x 0 ) n para todo x en un cierto intervalo,

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.

Javier Martnez del Castillo

Tema 7

Pg. 9 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA

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

n= 0

( an cos nx + bn sen nx ) 

Donde los nmeros reales a n y bn 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 bn son nulos, se dice que es una serie de cosenos . Ejemplos de series trigonomtricas son:
sen nx 1 cos nx (1) (cos nx sen nx ) 2 n n =1 n =1 n n n =1 n ! Con relacin a la convergencia de las series trigonomtricas y de las propiedades de las funciones por ellas definidas, destacamos los siguientes resultados elementales: n

Lema: Si las series

son absolutamente convergentes, entonces la serie

( an cos nx + bn sen nx ) converge uniformemente en

#.

Teorema: Si {a n } y {bn } son sucesiones de trminos positivos, decrecientes y convergentes a cero, entonces

n= 0

( an cos nx + bn sen nx )

Converge pera todo real x, x 2k y k entero. La convergencia es uniforme en cada intervalo cerrado que no contenga a 2 k siendo k un entero cualquiera. I 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. 

Javier Martnez del Castillo

Tema 7

Pg. 10 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA 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 a0 + 2

(a
n =1

cos nx + bn sen nx )

donde los coeficientes, llamados coeficientes de Fourier, vienen dados por an = 1

f ( x ) cos nx dx

bn =

f ( x ) sen nx dx

Para indicar que la serie trigonomtrica es la serie de Fourier de f ( x ) , se suele escribir f ( x) a0 + 2

(a
n =1

cos nx + bn sen nx )

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

y extendida por periodicidad fuera del intervalo [ , ] . Solucin: Slo tenemos que calcular los coeficientes de Fourier, obteniendo que: a0 an bn = 1 1 = 1 =

1 1 f ( x ) sen nx dx = f ( x ) cos nx dx =

2
2

2
2

1 2 sen(n 2) n 1 sen nx dx = 0 = 0 cos nx dx =

con lo cual, los primeros trminos de la serie de Fourier de f son: f (x) 2 1 2 2 2 + cos x cos 3x + cos 5x cos 7 x + 2 3 5 7 x en [ , ] .

Ejemplo 10: Hallar la serie de Fourier de la funcin f ( x ) = Solucin: El clculo de los coeficientes de Fourier es: a0 an bn = = = 1 1 1

f ( x ) dx =

1 2 1 f ( x ) sen nx dx = 2 f ( x ) cos nx dx =

1 2

x dx = 0

x cos nx dx =

=0 2 cos n x sen nx dx =  = n 

Pg. 11 de 17

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

Javier Martnez del Castillo

2 sen x sen 2 x sen 3x sen 4 x + + 1 2 3 4

Tema 7

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Ejemplo 11: Sea f la funcin peridica de periodo 2 definida por f ( x) = x x 2 en [0, ] , y f ( x) = x 2 + x en [ ,0] .Hallar su serie de Fourier y usarla para obtener la suma de la serie 1 (1)n . (2n + 1)3 n=0 Solucin: El clculo de los coeficientes de Fourier es: 1 0 1 2 ( ) (x x 2 ) dx = 0 x + x dx + 0 1 0 1 2 ( ) cos (x x 2 ) cos nx dx = 0 an = x + x nx dx + 0 si n es par 0 1 0 1 ( x 2 + x) sen nx dx + (x x 2 ) sen nx dx = bn = 3 0 8 n si n es impar 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: a0 = f ( x) = 8 8 sen 3x sen x + + 27 8 sen(2n + 1) x 8 + + = ( 2n + 1)
3

n=0

1 sen(2n + 1) x ( 2n + 1) 3

la igualdad anterior es vlida en [ , ] , en particular tambin lo ser para x = 2 ; en este caso: f ( 2) = por tanto, tenemos que 8 2 = 2 4

n=0

1 8 sen( 2n + 1) = 3 2 ( 2n + 1)

n=0

( 1) n

1 ( 2n + 1) 3

n= 0

( 1) n

1 3 = ( 2n + 1)3 32

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

Observacin: Gracias a este lema, podemos escribir las frmulas de los coeficientes de Fourier como integrales sobre el intervalo [0, 2 ] (simplificndose el clculo): an = 1

2 0

f ( x ) cos nx dx

bn =

2 0

f ( x ) sen nx dx

Javier Martnez del Castillo

Tema 7

Pg. 12 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Lema: Si f es par

( f (x ) =

f ( x )) , para todo nmero real se verifica:

Lema: Si f es impar

f ( x ) dx = 2

f ( x ) dx

( f (x) =

f ( x )) , para todo nmero real se verifica:

f ( x ) dx = 0

Pasamos a exponer como dichas propiedades contribuyen a facilitar los clculos de los coeficientes de Fourier:

Teorema: Sea f una funcin, entonces: f ( x ) cos nx es par 1. Si la funcin f es par f ( x ) sen nx es impar an = 2

( par par = par ) luego ( par impar = impar ) y bn = 0

f ( x ) cos nx dx

con lo cual la serie de Fourier de f es una serie de cosenos. f ( x ) cos nx es impar ( impar par = impar ) 2. Si la funcin f es impar luego f ( x ) sen nx es par ( impar impar = par ) 2 y an = 0 bn = f ( x ) sen nx dx 0 con lo cual la serie de Fourier de f es una serie de senos. I

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 ( x0 + h ) f ( x 0+ ) h y Lim + f ( x0 h ) f ( x 0 ) h

h0

h0

para cada x 0 D .

Javier Martnez del Castillo

Tema 7

Pg. 13 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA Teorema: Sea f una funcin derivable a trozos en [a, b] , entonces f es continua a trozos en [a, b] . I

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 0+ ) + f ( x 0 ) 2 , si f es discontinua en x 0 . I

Observacin: En tal caso, la expresin f (x) = a0 + 2

(a
n =1

cos nx + bn sen nx )

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 = 2 x = x L a0 + a1 cos x + b1 sen x + 2 1

y, expresando f en funcin de t , f ( x ) = f ( t ) , podemos calcular la serie de Fourier a0 + a1 cos t + b1 sen t + 2 donde an = 1

f (t ) cos nt dt

bn =

f (t ) sen nt dt

Si ussemos x = t como variable de integracin, entonces tendramos

Javier Martnez del Castillo

Tema 7

Pg. 14 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA an =

bn =

2 L 2 f ( x ) sen n x dx = L f ( x ) cos n x dx =

L2 L 2 L2 L 2

f ( x ) cos n x dx f ( x ) sen n x dx

con lo que podramos definir una especie de serie de Fourier generalizada para funciones de periodo arbitrario L como a0 + a1 cos x + b1 sen x + 2

+

a n cos n x + bn sen n x +

donde = 2 L y donde por la periodicidad de la funcin tenemos que an = 2 L

L 0

f ( x ) cos n x dx

bn =

2 L

L 0

f ( x ) sen n x dx

Ejemplo 12: Sea f ( x ) = x para Fourier.

x [0, ] una funcin peridica de periodo . Hallar su serie de

Solucin: Aplicando las frmulas anteriores, tenemos que: a0 an bn y donde f (x ) = = = 2 2 2

( x )dx = ( x ) cos 2 nx dx = 0 ( x ) sen 2nx dx = 1 n

+ 2

n =1

sen 2nx n

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 ) f1 ( x ) = f (x ) si x [0, ] si x [ ,0]

obtenemos una funcin par definida sobre todo [ , ] que, si se extiende de forma peridica a todo #, da lugar a una funcin que coincide con f en [0, ] . La funcin f1 recibe el nombre de extensin peridica par de f , cuya serie de Fourier ser f1 ( x ) a0 + 2

n =1

a n cos nx

x [ , ]

y como f1 coincide con f en [0, ] , entonces tenemos que:

Javier Martnez del Castillo Tema 7 Pg. 15 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA a f ( x) = 0 + 2

n =1

a n cos nx

x [0, ]

De modo anlogo, podemos obtener una serie de senos usando la extensin peridica impar mediante la funcin: f ( x) f2(x) = f ( x ) si x [0, ] si x [ ,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 2 = f en [0, ] , obtenemos que: f ( x) =

n =1

bn sen nx

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 n y bn respectivamente, se calculan mediante las siguientes frmulas: an = 2

f ( x ) cos nx dx

bn =

f ( x ) sen nx dx

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: 2 2 ( x ) sen nx dx = bn = = 0 n por lo tanto sen nx x [0, ] f (x ) = 2 n n =1

Anlogamente, la serie de cosenos surge de la extensin peridica par, con lo cual 2 2 an = a0 =

( x ) dx = ( x ) cos nx dx = 2 1 ( 1) = n
2 n

adems la expresin de a n puede simplificarse del siguiente modo

Javier Martnez del Castillo Tema 7 Pg. 16 de 17

I.T.Telecomunicaciones

Curso 99/00

DPTO. MATEMTICA APLICADA a2n a 2 n +1 con lo que la serie de cosenos de f ser f (x ) = cos 3x cos 5x 4 + + + cos x + 2 2 3 52 2 n + 1)x  + cos( +  ( 2n + 1)
2

= 0 = 4 ( 2n + 1)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 2 a+b t= x + b a ab 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 ) = 1 + x sobre el intervalo [1,2) . Solucin: Empezaremos trasladando el estudio al intervalo [0,1) usando el cambio de variable t = x 1 representando la funcin f ( x ) = f (1 + t ) = 2 + t = g( t ) donde bn = luego g( t ) = 2 (1)n+1
n =1

( 2 + t ) sen nt dt =

2 2 ( 1) n +1 = ( 1) n +1 n n sen nt n

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

n =1

sen n( x 1) n
Pg. 17 de 17

Javier Martnez del Castillo

Tema 7