Tema 4 Series de Fourier-4725

Ecuaciones Diferenciales
Tema 4. Series de Fourier

Ester Sim Mezquita
Matemtica Aplicada IV

1.
2.
3.
4.
Funciones peridicas
Serie de Fourier de una funcin peridica
Convergencia. Teorema de Dirichlet. Fenmeno de
Gibbs
Forma compleja de la serie de Fourier. Anlisis
espectral
1. Funciones peridicas
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
Podemos encontrar nos las funciones trigonomtricas expresadas
Al valor
entre
se le llama amplitud de la seal, ya que las imgenes oscilan

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
que no es necesariamente el periodo fundamental
Efectivamente, si
2. Aunque
ser si
con periodo
es peridica con un nmero entero de periodos en
sea continua, la funcin peridica
que se obtiene no lo
Veamos algunos ejemplos de funciones peridicas construidas siguiendo este
procedimiento
y est extendida peridicamente

fuera de
9
con periodo 1
Notar: los segmentos verticales indican discontinuidades de salto
10
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.
11
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
12
Calculemos su periodo
El periodo de la funcin total es el
positivos
y
de manera que
Igualando las dos expresiones para
ms pequeo tal que existen enteros
queda
Los enteros positivos ms pequeos para los que se cumple la igualdad

anterior son
, y se obtiene
13
Ejemplo
La funcin
no es peridica
Los dos periodos no son conmesurables
14
2. Serie de Fourier de una funcin peridica

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.
15

Las series trigonomtricas y de Fourier constituyen una de las ramas ms
antiguas del anlisis, que desempean un papel fundamental en:
16
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

El resultado de Fourier es relevante para la teora de ecuaciones diferenciales
Si una funcin peridica
, con periodo fundamental
, es el trmino
independiente de una EDO lineal con coeficientes constantes, entonces
donde los coeficientes
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
17

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.
18

Sea
como
una funcin peridica con periodo
con unos coeficientes
, nos proponemos representarla
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
19

Sea
como
una funcin peridica con periodo
con unos coeficientes
, nos proponemos representarla
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
20

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
21
es dos veces el valor medio de
sobre su periodo

Para calcular el resto de coeficientes deberemos utilizar los siguientes
resultados
donde
22
, 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
23

Para obtener los coeficientes
por
multiplicaremos
e integraremos entre
Todas las integrales del trmino de la derecha se anulan salvo una (Caso
24

De forma similar, para obtener los coeficientes
por
multiplicando
e integraremos entre
Todas las integrales del trmino de la derecha se anulan salvo una (Caso
25

Escribiendo estos resultados de forma conjunta
Coeficientes de la serie de Fourier
Dada una funcin peridica
serie de Fourier
con periodo
, los coeficientes de su
se calculan
26

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
27

Cada trmino de la serie de Fourier para
se puede escribir como una nica funcin seno, definiendo una fase
que
suponiendo que
28
no son los dos nulos a la vez
tal

El coeficiente
se llama amplitud del armnico
es su fase
Se obtiene una definicin diferente de la fase si escribimos
con
29

Ejemplo
Sea la funcin
que se ha extendido peridicamente con
periodo T=1
Calculemos su serie de Fourier
30

Ejemplo
Sea la funcin
periodo T=1
31

Ejemplo
Sea la funcin
periodo T=1
32

Resumiendo
La serie de Fourier de la funcin peridica
33
es

negro
azul
rojo
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
34

Ejemplo
Sea la funcin
periodo
35
36
37

Resumiendo
La serie de Fourier de la funcin peridica
38
es

negro
azul
La aproximacin de las sumas parciales de la serie de Fourier con n=1 es

bastante buena
39

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
40

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
41
Ejemplo 2

Tambin podemos notar como en las dos series de Fourier hay muchos
coeficientes que son 0
Ejemplo 1
Ejemplo 2
Esto no es una casualidad, y saber las condiciones en las que pasa esto nos
puede ahorrar mucho clculo
42

Recordemos que
Una funcin
se dice que es:
1. simtrica si
2. antisimtrica si
para todo
para todo
Las funciones seno son antisimtricas, mientras que las funciones coseno
son simtricas
43

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
44

La simetra o antisimetra de una funcin peridica es fcil de determinar
mirando la grfica de la funcin
Simtrica
45

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
46

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.
47

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

entonces
48
se obtiene una funcin antisimtrica,

El siguiente resultado permite, en ciertos casos, simplificar el clculo de los
coeficientes
Si
es una funcin peridica con periodo
cualquiera, entonces
49
es una constante

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
50
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
Con el fin de poder contestar a esta pregunta enunciaremos el teorema de
convergencia de Dirichlet
Dada una funcin
continua a trozos, definimos
donde
izquierda.
son los lmites de
como
por la derecha y por la
Estos lmites existen en todos los puntos, dado que tiene, como mucho,
un nmero finito de discontinuidades de salto en cualquier intervalo finito.
51

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
52

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
53

Fenmeno de Gibbs
La suma de
se ha de entender en el sentido de lmite
Dado un punto cualquiera , y una valor

un
(que en general depende de
y de
estn a distancia menor que
, por pequeo que sea, existe

) tal que las sumas parciales
de
Se dice que las sumas parciales de la serie de Fourier, y por extensin la

serie de Fourier, convergen hacia
54

Fenmeno de Gibbs
Ejemplo
extendida peridicamente con periodo

Como esta funcin es antisimtrica
55

Fenmeno de Gibbs
Ejemplo
extendida peridicamente con periodo

Como esta funcin es antisimtrica
Como
56

Fenmeno de Gibbs
Azul
Rojo
Verde
57

Fenmeno de Gibbs
Azul
Rojo
Verde
Detalle alrededor de
Se ve como al aumentar
de discontinuidad
58
el pico no disminuye, y slo se aproxima al punto

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
59
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
60

Anlisis espectral
Si extendemos el ndice
definicin
a valores negativos mediante la siguiente
podemos reescribir la serie de Fourier
61

Anlisis espectral
Los coeficientes
se calculan combinando las expresiones para
Esto permite calcular

y los valores de
resultado para
62
se obtienen tomando el complejo conjugado del

Anlisis espectral
Ejemplo
Obtengamos la forma compleja de la serie de Fourier de la funcin
extendida con periodo
63

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
64

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
65

Anlisis espectral
Ejemplo
Obtengamos la serie de Fourier real de la funcin
extendida con periodo
a partir de la forma compleja de la serie de Fourier
66

Anlisis espectral
Representacin grfica de la funcin

y su suma parcial de Fourier con
,
67
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
68
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
69

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
Adems
70
por ser
real

Anlisis espectral
La contribucin relativa de las diferentes frecuencias se puede ver mirando
la representacin de los
en funcin de
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
71

Anlisis espectral
Espectro
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
Aunque la mayor parte de la energa de esta seal est en el trmino dc (
72

Anlisis espectral
Ejemplo
Sea la funcin
peridica con periodo
Se corresponde casi con la funcin

espectro refleja este hecho
con su periodo natural, y su
73

Anlisis espectral
es prcticamente nulo, ya que

funcin es casi antisimtrica
es muy pequeo, debido a que la
La funcin es casi un seno, y eso se manifiesta en el valor predominante

del primer armnico
74

Anlisis espectral
Representando (en rojo ) la funcin obtenida con el primer armnico
75
(en azul) vemos que se trata de una muy buena aproximacin

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

para todo
tal que
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
76

Anlisis espectral
Ejemplo
Como la seal tiene periodo
con 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
de Fourier son nulos para
banda limitada
77
, todos los coeficientes de la serie

, por lo que se trata de una seal de
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
78

Tema 4 Series de Fourier-4725

Uploaded by

Document Information

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

Uploaded by

Copyright:

Available Formats

Ecuaciones Diferenciales

Tema 4. Series de Fourier

Tema 4. Series de Fourier

Tema 4. Series de Fourier

Tema 4. Series de Fourier

, tambin los son

ms pequeo que verifica

le llamaremos el periodo fundamental de

Tema 4. Series de Fourier

Por lo tanto la funcin

Tema 4. Series de Fourier

mientras que la frecuencia angular fundamental viene dada por

Tema 4. Series de Fourier

se le llama amplitud de la seal, ya que las imgenes oscilan

Tema 4. Series de Fourier

una funcin arbitraria, escribiremos

y la extenderemos peridicamente fuera de

Tema 4. Series de Fourier

es peridica con un nmero entero de periodos en

sea continua, la funcin peridica

Tema 4. Series de Fourier

y est extendida peridicamente

Tema 4. Series de Fourier

Tema 4. Series de Fourier

Tema 4. Series de Fourier

Tema 4. Series de Fourier

Igualando las dos expresiones para

ms pequeo tal que existen enteros

Los enteros positivos ms pequeos para los que se cumple la igualdad

Tema 4. Series de Fourier

Los dos periodos no son conmesurables

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

el estudio del sonido

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

donde los coeficientes

que se pueden calcular a partir de

Para cada seno y coseno de la suma es posible calcular la solucin particular

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

una funcin peridica con periodo

con unos coeficientes

, nos proponemos representarla

que deberemos calcular

El trmino de la derecha contiene un primer trmino constante y despus

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

una funcin peridica con periodo

con unos coeficientes

, nos proponemos representarla

que deberemos calcular

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

Y el periodo de la suma infinita es ya que todos los periodos estn

Tema 4. Series de Fourier

2. Serie de Fourier de una funcin peridica

se puede calcular directamente integrando

Para llegar a ese resultado se ha utilizado el hecho de que la integral de un

es dos veces el valor medio de

Tema 4. Series de Fourier