Tema 4 Series de Fourier-4725 PDF

Ecuaciones Diferenciales
Tema 4. Series de Fourier

Ester Sim Mezquita
Matemtica Aplicada IV
1 Tema 4. Series de Fourier
2
1. Funciones peridicas
2. Serie de Fourier de una funcin peridica
3. Convergencia. Teorema de Dirichlet. Fenmeno de
Gibbs
4. Forma compleja de la serie de Fourier. Anlisis
espectral

Una funcin se dice que es peridica si existe tal que

para todo

Diremos que es un periodo de

Notemos que si es un periodo de , tambin los son

El valor de ms pequeo que verifica

le llamaremos el periodo fundamental de

Mientras no digamos lo contrario, cuando hablemos de periodo de una funcin
nos estaremos refiriendo a su periodo fundamental

Las funciones peridicas bsicas son el seno y el coseno, que se pueden
expresar con un periodo arbitrario como

Por lo tanto la funcin

tiene periodo tal que

es decir

Recordemos que, la frecuencia fundamental de una funcin con periodo
(fundamental) es

mientras que la frecuencia angular fundamental viene dada por

Tema 4. Series de Fourier 6
Podemos encontrar nos las funciones trigonomtricas expresadas

Al valor se le llama amplitud de la seal, ya que las imgenes oscilan
entre y

Al ngulo se le llama fase de la funcin trigonomtrica (ya que la grfica
queda desfasada horizontalmente)

>> t=0:.01:2;
>> y=0.5*cos(2*pi*t);
>> plot(t,y,'b');
>> y=0.5*cos(2*pi*t+pi);
>> plot(t,y,'g');
Construccin de funciones peridicas

Definir la funcin arbitrariamente sobre un intervalo de longitud igual a un
periodo y repetirla fuera de l

Sea una funcin arbitraria, escribiremos

y la extenderemos peridicamente fuera de

siendo
Notemos que:

1. Este procedimiento proporcionar una funcin con periodo
que no es necesariamente el periodo fundamental

Efectivamente, si es peridica con un nmero entero de periodos en

2. Aunque sea continua, la funcin peridica que se obtiene no lo
ser si

Veamos algunos ejemplos de funciones peridicas construidas siguiendo este
procedimiento

y est extendida peridicamente
fuera de

con periodo 1
Notar: los segmentos verticales indican discontinuidades de salto
con periodo
Notar: en la figura aparece en rojo la parte de la grfica de que
falta para completar un periodo natural. Los segmentos verticales indican
discontinuidades de salto.
Suma de funciones peridicas

La suma de funciones peridicas da como resultado una funcin peridica
si el cociente de los periodos implicados , y , es racional, en tal caso
diremos que los periodos son conmesurables

Ejemplo:

es una funcin peridica
puesto que
El periodo de la funcin total es el ms pequeo tal que existen enteros
positivos y de manera que

Igualando las dos expresiones para queda

Los enteros positivos ms pequeos para los que se cumple la igualdad
anterior son , y se obtiene
Calculemos su periodo
Ejemplo

La funcin no es peridica

Los dos periodos no son conmesurables
Nota histrica

A principios del siglo XIX Jean-Baptiste-Josep Fourier, estudiando los
fenmenos relacionados con la conduccin del calor, lleg a la conclusin
que cualquier funcin peridica se poda poner como suma infinita de
funciones seno y coseno con periodos submltiplos del periodo de la
funcin, o en trminos de frecuencias, con frecuencias mltiplos de la
frecuencia fundamental de la funcin.

Aunque la versin original de este resultado no era del todo correcta, poco
antes de la muerte de Fourier (1880), la teora de las series de Fourier fue
formulada sobre bases slidas por otros matemticos, entre ellos Dirichlet y
Riemann.

Las series trigonomtricas y de Fourier constituyen una de las ramas ms
antiguas del anlisis, que desempean un papel fundamental en:

el estudio del sonido
la conduccin del calor
las ondas electromagnticas
las vibraciones mecnicas
el procesamiento de seales
y el anlisis y comprensin de imgenes

Si una funcin peridica , con periodo fundamental , es el trmino
independiente de una EDO lineal con coeficientes constantes, entonces

donde los coeficientes y que se pueden calcular a partir de

Para cada seno y coseno de la suma es posible calcular la solucin particular
de la EDO lineal con coeficientes constantes que estemos estudiando

Por el principio de superposicin de las EDO lineales, la solucin particular
correspondiente a la funcin peridica ser la suma de las soluciones
correspondientes a los diferentes senos y cosenos, con pesos iguales a
los coeficientes que aparecen en la serie trigonomtrica
El resultado de Fourier es relevante para la teora de ecuaciones diferenciales
Y en la prctica, los coeficientes y se hacen pequeos cuando se
hace grande, de manera que, cortando la serie por algn valor de grande,
se obtienen aproximaciones bastante buenas de la solucin.
Sea una funcin peridica con periodo , nos proponemos representarla
como

con unos coeficientes y que deberemos calcular

El trmino de la derecha contiene un primer trmino constante y despus
funciones senos y cosenos de frecuencias angulares cada vez ms grandes,
comenzando por los trminos con , que tienen el periodo de

Sea una funcin peridica con periodo , nos proponemos representarla
como

con unos coeficientes y que deberemos calcular

La suma resultante es peridica, ya que dos trminos cualesquiera, tienen
periodos conmesurables

Y el periodo de la suma infinita es ya que todos los periodos estn
contenidos en un nmero entero de veces

El coeficiente se puede calcular directamente integrando

entre

Para llegar a ese resultado se ha utilizado el hecho de que la integral de un
seno o un coseno sobre un intervalo mltiplo de su periodo es cero.

Nos quedar

El coeficiente es dos veces el valor medio de sobre su periodo
Para calcular el resto de coeficientes deberemos utilizar los siguientes
resultados

donde , la delta de Kronecker, est definida
Estas integrales se calculan utilizando las identidades trigonomtricas

y teniendo en cuenta que la integral entre 0 y de los senos y cosenos
siempre vale 0, a menos que sea un coseno con argumento 0

Para obtener los coeficientes multiplicaremos

por e integraremos entre y

Todas las integrales del trmino de la derecha se anulan salvo una (Caso )
De forma similar, para obtener los coeficientes multiplicando

por e integraremos entre y

Todas las integrales del trmino de la derecha se anulan salvo una (Caso )
Escribiendo estos resultados de forma conjunta

Coeficientes de la serie de Fourier
Dada una funcin peridica con periodo , los coeficientes de su
serie de Fourier

se calculan
Puesto que en la prctica nos interesar cortar la suma infinita en algn
trmino, llegaremos a la expresin

que se conoce como la n-sima suma parcial de la serie de Fourier, en la
cual slo se consideran los n primeros trminos en senos y cosenos, adems
del trmino constante

Cada trmino de la serie de Fourier para

se puede escribir como una nica funcin seno, definiendo una fase tal
que
suponiendo que y no son los dos nulos a la vez
El coeficiente se llama amplitud del armnico y

es su fase
Se obtiene una definicin diferente de la fase si escribimos

con
Ejemplo

Sea la funcin
que se ha extendido peridicamente con
periodo T=1

Calculemos su serie de Fourier

Ejemplo

Sea la funcin
periodo T=1


Ejemplo

Sea la funcin
periodo T=1


La serie de Fourier de la funcin peridica es
Resumiendo

El comportamiento de y es muy parecido en el centro del periodo,
pero cerca de una discontinuidad la aproximacin de por las sumas
parciales no es buena:
pasar de n=4 a n=8 slo consigue hacer ms pequeo el intervalo donde la
aproximacin no es correcta, pero no disminuye el sobrebote antes y
despus de la discontinuidad
negro

azul

rojo
Ejemplo

Sea la funcin
periodo


La serie de Fourier de la funcin peridica es
Resumiendo

negro

azul

La aproximacin de las sumas parciales de la serie de Fourier con n=1 es
bastante buena

negro

azul

Las buenas aproximaciones de las sumas parciales de la serie de Fourier con
pocos trminos es una propiedad comn de las funciones que no tienen
discontinuidades de salto
Presentemos una caracterstica general de los coeficientes de la serie de
Fourier de una funcin peridica

Los coeficientes de la serie de Fourier de una funcin peridica decaen
cuando crece
Ejemplo 1 Ejemplo 2
Ejemplo 1 Ejemplo 2
Tambin podemos notar como en las dos series de Fourier hay muchos
coeficientes que son 0
Esto no es una casualidad, y saber las condiciones en las que pasa esto nos
puede ahorrar mucho clculo
Recordemos que

Una funcin se dice que es:

1. simtrica si para todo
2. antisimtrica si para todo
Las funciones seno son antisimtricas, mientras que las funciones coseno
son simtricas
Para funciones peridicas definidas en y extendidas peridicamente
con periodo , estas condiciones son equivalentes

1. es simtrica si lo es respecto al centro del periodo

2. es antisimtrica si lo es respecto al centro del periodo
La simetra o antisimetra de una funcin peridica es fcil de determinar
mirando la grfica de la funcin
Simtrica
Las funciones que tienen simetra o antisimetra tienen buenas propiedades
respecto al producto

1. El producto de dos funciones simtricas es una funcin simtrica

2. El producto de una funcin simtrica y una antisimtrica es una funcin
antisimtrica

3. El producto de dos funciones antisimtricas es una funcin simtrica
Veamos el resultado fundamental que permite especificar las condiciones bajo
las cuales los coeficientes o son nulos
Si es una funcin peridica con periodo y antisimtrica, entonces
Dem.
Aplicando estos resultados al clculo de los coeficientes de la serie de Fourier
de una funcin peridica tendremos:

1. Si es simtrica, entonces

2. Si es antisimtrica, entonces

3. Si aadiendo una constante a se obtiene una funcin antisimtrica,
entonces
El siguiente resultado permite, en ciertos casos, simplificar el clculo de los
coeficientes
Si es una funcin peridica con periodo y es una constante
cualquiera, entonces
Este resultado permite calcular los coeficientes de la serie de Fourier con
integrales sobre cualquier intervalo de longitud , en lugar de tenernos que
restringir a intervalos del tipo

Una eleccin muy habitual es
3. Convergencia. Teorema de Dirichlet.
Fenmeno de Gibbs
Problema de la convergencia de las series de Fourier

Nos preguntamos hasta que punto es vlido aproximar una funcin por su
serie de Fourier
Dada una funcin continua a trozos, definimos como

donde y son los lmites de por la derecha y por la
izquierda.

Estos lmites existen en todos los puntos, dado que tiene, como mucho,
un nmero finito de discontinuidades de salto en cualquier intervalo finito.
Con el fin de poder contestar a esta pregunta enunciaremos el teorema de
convergencia de Dirichlet
Fenmeno de Gibbs
En los puntos donde la funcin es continua tenemos que la funcin
coincide con , mientras que en los puntos de discontinuidad de ,
tiene la misma discontinuidad de salto, pero con el valor redefinido

Ejemplo
Fenmeno de Gibbs
Teorema de Dirichlet

Si es una funcin peridica, continua a trozos, y tal que en cada punto
existen las derivadas por la derecha y por la izquierda, entonces la serie de
Fourier de vale en todos los puntos lo mismo que la funcin

Interpretacin: las sumas parciales de Fourier convergen puntualmente a
en los puntos donde la funcin es continua y a la media de los lmites
laterales en los puntos de discontinuidad
Fenmeno de Gibbs
Dado un punto cualquiera , y una valor , por pequeo que sea, existe
un (que en general depende de y de ) tal que las sumas parciales

estn a distancia menor que de

Se dice que las sumas parciales de la serie de Fourier, y por extensin la
serie de Fourier, convergen hacia
La suma de se ha de entender en el sentido de lmite
Fenmeno de Gibbs
Ejemplo
extendida peridicamente con periodo
Como esta funcin es antisimtrica
Fenmeno de Gibbs
Ejemplo
extendida peridicamente con periodo
Como esta funcin es antisimtrica
Como
Fenmeno de Gibbs
Azul
Rojo
Verde
Fenmeno de Gibbs
Azul
Rojo
Verde
Detalle alrededor de

Se ve como al aumentar el pico no disminuye, y slo se aproxima al punto
de discontinuidad
Fenmeno de Gibbs
Este hecho se llama fenmeno de Gibbs

Se observa que la grfica de la suma parcial de Fourier excede a la de la
funcin salto en el punto de discontinuidad.

Se puede demostrar que las aproximaciones que nos ofrecen las sumas
parciales de Fourier exceden al verdadero valor de la funcin a la derecha, es
decir en 0.18, lo que supone aproximadamente un 9% de la longitud
del salto, que en este caso es 2

4. Forma compleja de la serie de Fourier.
Anlisis espectral
Para presentar la transformada discreta de Fourier, conviene manipular la
expresin de la serie de Fourier de una funcin peridica y
reescribirla en trmino de exponenciales complejas.

Utilizando
Anlisis espectral
Si extendemos el ndice a valores negativos mediante la siguiente
definicin
podemos reescribir la serie de Fourier
Anlisis espectral
Los coeficientes se calculan combinando las expresiones para y
Esto permite calcular y ,

y los valores de se obtienen tomando el complejo conjugado del
resultado para
Anlisis espectral
Ejemplo
extendida con periodo
Obtengamos la forma compleja de la serie de Fourier de la funcin
Anlisis espectral
Pasando el complejo a forma cartesiana se obtiene

Por lo que la forma compleja de la serie de Fourier para esta funcin es
Anlisis espectral
A partir de la forma compleja se puede recuperar la forma real de la serie
de Fourier calculando los coeficientes y
Apliquemos este resultado a nuestro ejemplo
Anlisis espectral
Ejemplo
extendida con periodo
Obtengamos la serie de Fourier real de la funcin

a partir de la forma compleja de la serie de Fourier
Anlisis espectral
Representacin grfica de la funcin
y su suma parcial de Fourier con sobre dos periodos
,
Anlisis espectral
A partir de los coeficientes del desarrollo complejo de Fourier de una funcin
peridica se puede calcular el espectro de la misma.

Espectro en amplitud es la representacin grfica de mdulos de los
coeficientes

El valor es la amplitud del n-simo armnico afectado por el factor
Anlisis espectral
Teorema de Parseval

Si es una funcin peridica con periodo , continua a trozos, y tal que
en cada punto existen las derivadas por la derecha y por la izquierda
y son los coeficientes de su serie compleja de Fourier, entonces se
verifica

Interpretacin. La integral es proporcional a la potencia media de la seal
sobre un periodo.

Por lo tanto, la potencia contenida en una seal puede evaluarse a partir de
los coeficientes de su correspondiente serie compleja de Fourier.

La contribucin relativa de las diferentes frecuencias se puede ver mirando
la representacin de los en funcin de
Adems por ser real
Anlisis espectral
Teorema de Parseval

Si es una funcin peridica con periodo , continua a trozos, y tal que
en cada punto existen las derivadas por la derecha y por la izquierda
y son los coeficientes de su serie compleja de Fourier, entonces se
verifica

Como que la suma sobre los mdulos de los
coeficientes complejos se puede reescribir sumando slo sobre los ndices
positivos
Anlisis espectral
Ejemplo
Sea la funcin peridica con periodo
Los son ms pequeos que los , esto es debido a que la funcin
es casi antisimtrica si se desplaza hacia abajo cierta cantidad
La contribucin relativa de las diferentes frecuencias se puede ver mirando
la representacin de los en funcin de
Anlisis espectral
Como la contribucin a la potencia media depende del cuadrado del espectro,
podemos ver que el armnico fundamental ( ) tiene una importancia casi
el doble que el siguiente ( ), y a partir de ah la cada es progresiva

Espectro
Aunque la mayor parte de la energa de esta seal est en el trmino dc ( )
Anlisis espectral
Ejemplo

Sea la funcin peridica con periodo
Se corresponde casi con la funcin con su periodo natural, y su
espectro refleja este hecho
Anlisis espectral
es prcticamente nulo, ya que es muy pequeo, debido a que la
funcin es casi antisimtrica

La funcin es casi un seno, y eso se manifiesta en el valor predominante
del primer armnico
y (en azul) vemos que se trata de una muy buena aproximacin
Anlisis espectral
Representando (en rojo ) la funcin obtenida con el primer armnico
Anlisis espectral
En general, el espectro de una funcin peridica es infinito, es decir no hay un
valor tal que para todo

Diremos que una seal es de banda limitada si existe una valor tal que
para todo

Las nicas seales peridicas que son de banda limitada son aquellas que
son combinacin lineal de un nmero finito de senos y cosenos (con
periodos conmesurables), repetida con el periodo natural de la seal total

En este caso, para calcular los coeficientes de la serie de Fourier no har
falta integrar. Veamos un ejemplo
Anlisis espectral
Ejemplo
con periodo
Como la seal tiene periodo , su serie de Fourier ser de la forma
Comparndola con la funcin podemos deducir que los nicos
coeficientes de Fourier no nulos sern
Por tanto se cumple que si , todos los coeficientes de la serie
de Fourier son nulos para , por lo que se trata de una seal de
banda limitada
5. Bibliografa

1. Simmons, G.F., Krantz, S.G., Ecuaciones diferenciales. Teora, tcnica
y prctica. McGraw-Hill Interamericana, 2007. ISBN 978-0-07-286315-4

2. Batlle, C., Massana, I., Zaragoz, M., lgebra i Equacions diferencials,
Edicions UPC, 2000. ISBN 84-8301-405-X

3. Batlle, C, Apunts tema 4 Anlisi de Fourier, Atenea-Campus Digital,
2012

Tema 4 Series de Fourier-4725 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tema 4 Series de Fourier-4725 PDF

Uploaded by

Copyright:

Available Formats

Ecuaciones Diferenciales

Tema 4. Series de Fourier

You might also like