Serie de Fourier

Ir a la navegaci�nIr a la b�squeda

Las primeras cuatro aproximaciones para una funci�n peri�dica escalonada

Una serie de Fourier es una serie infinita que converge puntualmente a una funci�n
peri�dica y continua a trozos (o por partes). Las series de Fourier constituyen la
herramienta matem�tica b�sica del an�lisis de Fourier empleado para analizar
funciones peri�dicas a trav�s de la descomposici�n de dicha funci�n en una suma
infinita de funciones sinusoidales mucho m�s simples (como combinaci�n de senos y
cosenos con frecuencias enteras). El nombre se debe al matem�tico franc�s Jean-
Baptiste Joseph Fourier, que desarroll� la teor�a cuando estudiaba la ecuaci�n del
calor. Fue el primero que estudi� tales series sistem�ticamente, y public� sus
resultados iniciales en 1807 y 1811. Esta �rea de investigaci�n se llama algunas
veces an�lisis arm�nico.

Es una aplicaci�n usada en muchas ramas de la ingenier�a, adem�s de ser una

herramienta sumamente �til en la teor�a matem�tica abstracta. �reas de aplicaci�n
incluyen an�lisis vibratorio, ac�stica, �ptica, procesamiento de im�genes y
se�ales, y compresi�n de datos. En ingenier�a, para el caso de los sistemas de
telecomunicaciones, y a trav�s del uso de los componentes espectrales de frecuencia
de una se�al dada, se puede optimizar el dise�o de un sistema para la se�al
portadora del mismo. Refi�rase al uso de un analizador de espectros.

Las series de Fourier tienen la forma:

{\displaystyle {\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos {\frac

{2n\pi }{T}}t+b_{n}\sin {\frac {2n\pi }{T}}t\right]} {\displaystyle {\frac {a_{0}}
{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos {\frac {2n\pi }{T}}t+b_{n}\sin {\frac
{2n\pi }{T}}t\right]}

Donde {\displaystyle a_{n}\,\!} {\displaystyle a_{n}\,\!} y {\displaystyle

b_{n}\,\!} {\displaystyle b_{n}\,\!} se denominan coeficientes de Fourier de la
serie de Fourier de la funci�n {\displaystyle f(t)\,\!} {\displaystyle f(t)\,\!}

�ndice
1 Definici�n
2 Teorema de Dirichlet: Convergencia a una funci�n peri�dica
3 Historia
4 Ejemplos de series de Fourier
4.1 Ingenier�a
5 Formulaciones
5.1 Forma compacta
5.2 Forma exponencial
5.3 Formulaci�n moderna
5.4 Formulaci�n general
6 Aplicaciones
7 V�ase tambi�n
8 Notas
9 Referencias
10 Bibliograf�a
11 Enlaces externos
Definici�n
Si {\displaystyle f(t)\,} {\displaystyle f(t)\,} es una funci�n de variable real
{\displaystyle t\,} t\,, que es integrable en el intervalo {\displaystyle [t_{0}-
T/2,t_{0}+T/2]\,} {\displaystyle [t_{0}-T/2,t_{0}+T/2]\,}

entonces se puede obtener el desarrollo en serie de Fourier de {\displaystyle f\,}

f\, en ese intervalo. Fuera del intervalo la serie es peri�dica, con per�odo
{\displaystyle T\,} T\,.

Si {\displaystyle f(t)\,} {\displaystyle f(t)\,} es peri�dica en toda la recta

real, la aproximaci�n por series de Fourier tambi�n ser� v�lida en todos los
valores de {\displaystyle t\,} t\,.

Luego la serie de Fourier asociada a {\displaystyle f(t)\,} {\displaystyle f(t)\,}

es:

{\displaystyle f(t)\sim {\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos

\left({\frac {2n\pi }{T}}t\right)+b_{n}\sin \left({\frac {2n\pi }
{T}}t\right)\right]} {\displaystyle f(t)\sim {\frac {a_{0}}{2}}+\sum _{n=1}^{\infty
}\left[a_{n}\cos \left({\frac {2n\pi }{T}}t\right)+b_{n}\sin \left({\frac {2n\pi }
{T}}t\right)\right]}

Donde {\displaystyle a_{0}\,} {\displaystyle a_{0}\,}, {\displaystyle a_{n}\,}

a_n\, y {\displaystyle b_{n}\,} {\displaystyle b_{n}\,} son los coeficientes de
Fourier que toman los valores:

{\displaystyle a_{0}={\frac {2}{T}}\int \limits _{-T/2}^{T/2}f(t)dt,\qquad

a_{n}={\frac {2}{T}}\int _{-T/2}^{T/2}f(t)\cos \left({\frac {2n\pi }
{T}}t\right)dt,\qquad b_{n}={\frac {2}{T}}\int _{-T/2}^{T/2}f(t)\sin \left({\frac
{2n\pi }{T}}t\right)dt.} {\displaystyle a_{0}={\frac {2}{T}}\int \limits _{-
T/2}^{T/2}f(t)dt,\qquad a_{n}={\frac {2}{T}}\int _{-T/2}^{T/2}f(t)\cos \left({\frac
{2n\pi }{T}}t\right)dt,\qquad b_{n}={\frac {2}{T}}\int _{-T/2}^{T/2}f(t)\sin
\left({\frac {2n\pi }{T}}t\right)dt.}
Por la identidad de Euler, las f�rmulas de arriba pueden expresarse tambi�n en su
forma compleja:

{\displaystyle f(t)\sim \sum _{n=-\infty }^{\infty }c_{n}\,e^{2\pi i{\frac {n}

{T}}t}.} {\displaystyle f(t)\sim \sum _{n=-\infty }^{\infty }c_{n}\,e^{2\pi i{\frac
{n}{T}}t}.}

Los coeficientes ahora ser�an:

{\displaystyle c_{n}={\frac {1}{T}}\int _{-T/2}^{T/2}f(t)\,e^{-2\pi i{\frac {n}

{T}}t}\,dt.} {\displaystyle c_{n}={\frac {1}{T}}\int _{-T/2}^{T/2}f(t)\,e^{-2\pi
i{\frac {n}{T}}t}\,dt.}

Otra forma de definir la serie de Fourier es:

{\displaystyle f(t)={\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left(a_{n}\cos

{{\omega _{n}}{t}}+b_{n}\sin {{\omega _{n}}{t}}\right)} {\displaystyle f(t)={\frac
{a_{0}}{2}}+\sum _{n=1}^{\infty }\left(a_{n}\cos {{\omega _{n}}{t}}+b_{n}\sin
{{\omega _{n}}{t}}\right)}

donde {\displaystyle \omega _{n}=n\omega } {\displaystyle \omega _{n}=n\omega } y

{\displaystyle \omega =2{\pi }f={\frac {2{\pi }}{T}}} {\displaystyle \omega
=2{\pi }f={\frac {2{\pi }}{T}}}

siendo:

{\displaystyle a_{0}={\frac {2}{T}}\int _{t_{0}}^{t_{0}+T}f(t)dt,\qquad

a_{n}={\frac {2}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\cos {{\omega _{n}}{t}}dt,\qquad
b_{n}={\frac {2}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\sin {{\omega _{n}}{t}}dt.}
{\displaystyle a_{0}={\frac {2}{T}}\int _{t_{0}}^{t_{0}+T}f(t)dt,\qquad
a_{n}={\frac {2}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\cos {{\omega _{n}}{t}}dt,\qquad
b_{n}={\frac {2}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\sin {{\omega _{n}}{t}}dt.}
a esta forma de la serie de Fourier se le conoce como la serie trigonom�trica de
Fourier.

Teorema de Dirichlet: Convergencia a una funci�n peri�dica

Art�culo principal: Teorema de Dirichlet (series de Fourier)
Supongamos que f(x) es una funci�n peri�dica, continua a trozos y acotada, que en
un periodo tiene un n�mero finito de m�ximos y m�nimos locales y un n�mero finito
de discontinuidades, de per�odo 2p. Sean

{\displaystyle a_{n}={\frac {1}{p}}\int _{-p}^{p}f(x)\cos {\frac {n\pi x}{p}}dx,}

{\displaystyle a_{n}={\frac {1}{p}}\int _{-p}^{p}f(x)\cos {\frac {n\pi x}{p}}dx,}
y
{\displaystyle b_{n}={\frac {1}{p}}\int _{-p}^{p}f(x)\sin {\frac {n\pi x}{p}}dx,}
{\displaystyle b_{n}={\frac {1}{p}}\int _{-p}^{p}f(x)\sin {\frac {n\pi x}{p}}dx,}

entonces la serie converge a

{\displaystyle f_{p}(x)={\tfrac {1}{2}}(f(x+)+f(x-)),} {\displaystyle f_{p}
(x)={\tfrac {1}{2}}(f(x+)+f(x-)),}

En donde {\displaystyle f(x+)=\lim _{t\to x+}(f(t))} {\displaystyle f(x+)=\lim

_{t\to x+}(f(t))}, y {\displaystyle f(x-)=\lim _{t\to x-}(f(t))} {\displaystyle
f(x-)=\lim _{t\to x-}(f(t))}
Historia
Las series de Fourier reciben su nombre en honor a Jean-Baptiste Joseph Fourier
(1768-1830), que hizo importantes contribuciones al estudio de las series
trigonom�tricas, que previamente hab�an sido consideradas por Leonhard Euler, Jean
le Rond d'Alembert y Daniel Bernoulli.a? Fourier introdujo las series con el
prop�sito de resolver la ecuaci�n de conducci�n del calor en una l�mina de metal
publicando sus resultados en 1807 M�moire sur la propagation de la chaleur dans les
corps solides ('Memoria sobre la propagaci�n del calor en los cuerpos s�lidos'), y
publicando su Th�orie analytique de la chaleur ('Teor�a anal�tica del calor') en
1822. Ideas previas en descomponer una funci�n peri�dica en la suma de simples
funciones de oscilaci�n datan desde el siglo III a.C., cuando astr�nomos antiguos
propusieron un modelo emp�rico de movimiento planetario con base en epiciclo.

La ecuaci�n del calor es una ecuaci�n en derivadas parciales. Previamente al

trabajo de Fourier, no se conoc�a soluci�n alguna para la ecuaci�n de calor en
forma general, aunque se conoc�an soluciones particulares si la fuente de calor se
comportaba de manera sencilla, en particular, si la fuente era una onda de seno o
coseno. Estas soluciones simples a veces son llamadas valores propios. La idea de
Fourier era modelar una fuente de calor compleja con una superposici�n (o
combinaci�n lineal) de simples ondas sinusoidales y para escribir la soluci�n como
una superposici�n de los correspondientes valores propios. A la superposici�n o
combinaci�n lineal se le llama Serie de Fourier.

Desde un punto de vista m�s actual, los resultados de Fourier son algo informales
debido a la falta de precisi�n en la noci�n de la funci�n matem�tica y la
integraci�n a inicios del siglo XIX. Despu�s, Peter Gustav Lejeune Dirichlet1? y
Bernhard Riemann2?3?4? expresaron los resultados de Fourier con mayor precisi�n y
formalidad.

Aunque el motivo original era resolver la ecuaci�n de calor, tiempo despu�s fue
obvio que se pod�a usar la misma t�cnica a un gran conjunto de problemas f�sicos y
matem�ticos, especialmente aquellos que involucraban ecuaciones diferenciales
lineales con coeficientes constantes, para los cuales sus soluciones �nicas eran
sinusoidales. Las series de Fourier tienen muchas aplicaciones en la ingenier�a
el�ctrica, an�lisis de vibraciones, ac�stica, �ptica, procesamiento de se�ales,
retoque fotogr�fico, mec�nica cu�ntica, econometr�a,5? la teor�a de estructuras con
cascar�n delgado,6? etc.
Ejemplos de series de Fourier

Gr�fico de una funci�n peri�dica.

Animaci�n de la suma de los 5 primeros arm�nicos.

Veamos un ejemplo:

{\displaystyle f(x)=x,\quad \mathrm {para} -\pi <x<\pi ,} {\displaystyle

f(x)=x,\quad \mathrm {para} -\pi <x<\pi ,}
{\displaystyle f(x+2\pi )=f(x),\quad \mathrm {para} -\infty <x<\infty .}
{\displaystyle f(x+2\pi )=f(x),\quad \mathrm {para} -\infty <x<\infty .}
En este caso, los coeficientes de Fourier nos dan esto:

{\displaystyle {\begin{aligned}a_{n}&{}={\frac {1}{\pi }}\int _{-\pi }^{\pi }

x\cos(nx)\,dx=0,\quad n\geq 0.\\b_{n}&{}={\frac {1}{\pi }}\int _{-\pi }^{\pi }
x\sin(nx)\,dx=-{\frac {2}{n}}\cos(n\pi )=2\,{\frac {(-1)^{n+1}}{n}},\quad n\geq
1.\end{aligned}}} {\displaystyle {\begin{aligned}a_{n}&{}={\frac {1}{\pi }}\int
_{-\pi }^{\pi }x\cos(nx)\,dx=0,\quad n\geq 0.\\b_{n}&{}={\frac {1}{\pi }}\int
_{-\pi }^{\pi }x\sin(nx)\,dx=-{\frac {2}{n}}\cos(n\pi )=2\,{\frac {(-1)^{n+1}}
{n}},\quad n\geq 1.\end{aligned}}}
Si la serie de Fourier converge hacia: �(x) de cada punto x donde � es
diferenciable:

{\displaystyle {\begin{aligned}f(x)&={\frac {a_{0}}{2}}+\sum

_{n=1}^{\infty }\left[a_{n}\cos \left(nx\right)+b_{n}\sin
\left(nx\right)\right]\\&=2\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}
{n}}\sin(nx),\quad \mathrm {para} \quad x-\pi \notin 2\pi \mathbf {Z}
.\end{aligned}}} {\displaystyle {\begin{aligned}f(x)&={\frac {a_{0}}{2}}+\sum
_{n=1}^{\infty }\left[a_{n}\cos \left(nx\right)+b_{n}\sin
\left(nx\right)\right]\\&=2\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}
{n}}\sin(nx),\quad \mathrm {para} \quad x-\pi \notin 2\pi \mathbf {Z}
.\end{aligned}}}

Ingenier�a
En ingenier�a, el an�lisis de se�ales en el dominio de la frecuencia se realiza a
trav�s de las series de Fourier, por cuanto es muy com�n, reemplazar la variable x
por ?t (el producto de la frecuencia angular por el tiempo), resultando las
componentes:

{\displaystyle C_{k}={\frac {1}{T}}\int _{t_{1}}^{t_{2}}f(t)e^{-j\omega kt}\,dt}

{\displaystyle C_{k}={\frac {1}{T}}\int _{t_{1}}^{t_{2}}f(t)e^{-j\omega kt}\,dt}

Por lo tanto:

{\displaystyle f(t)=\sum _{k=-\infty }^{+\infty }C_{k}e^{j\omega kt}}

{\displaystyle f(t)=\sum _{k=-\infty }^{+\infty }C_{k}e^{j\omega kt}}

Formulaciones
Forma compacta
En ocasiones es m�s �til conocer la amplitud y la fase en t�rminos cosinusoidales
en lugar de amplitudes cosinusoidales y sinusoidal. Otra forma de expresar la
compleja forma de la serie de Fourier es:

{\displaystyle f(t)=A_{0}+\sum _{n=1}^{\infty }A_{n}\,\cos({{\omega _{n}}t}-\theta

_{n})} {\displaystyle f(t)=A_{0}+\sum _{n=1}^{\infty }A_{n}\,\cos({{\omega
_{n}}t}-\theta _{n})}

donde
{\displaystyle A_{0}={\frac {a_{0}}{2}}} {\displaystyle A_{0}={\frac {a_{0}}{2}}}
{\displaystyle A_{n}={\sqrt {a_{n}^{2}+b_{n}^{2}}}} {\displaystyle A_{n}={\sqrt
{a_{n}^{2}+b_{n}^{2}}}}
{\displaystyle \theta _{n}=\tan ^{-1}{\frac {b_{n}}{a_{n}}}} {\displaystyle \theta
_{n}=\tan ^{-1}{\frac {b_{n}}{a_{n}}}}
Forma exponencial
Por la identidad de Euler para la exponencial compleja, operando adecuadamente, si

{\displaystyle C_{n}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)\,e^{-inx}\,dx}

{\displaystyle C_{n}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)\,e^{-inx}\,dx}

la serie de Fourier se puede expresar como la suma de dos series:

{\displaystyle \sum _{n=1}^{\infty }C_{-n}\,e^{-inx}+\sum _{n=0}^{\infty }

C_{n}\,e^{inx}} {\displaystyle \sum _{n=1}^{\infty }C_{-n}\,e^{-inx}+\sum
_{n=0}^{\infty }C_{n}\,e^{inx}}

En forma m�s compacta:

{\displaystyle \sum _{n=-\infty }^{\infty }C_{n}\,e^{inx}} {\displaystyle \sum

_{n=-\infty }^{\infty }C_{n}\,e^{inx}}

estas ecuaciones solo son v�lidas cuando el periodo {\displaystyle T=2{\pi }}

{\displaystyle T=2{\pi }} con {\displaystyle \omega =1} {\displaystyle \omega =1}.
Otra forma de expresar la forma compleja de la serie de Fourier es:

{\displaystyle f(t)=\sum _{n=-\infty }^{\infty }c_{n}\,e^{j{\omega _{n}}t}}

{\displaystyle f(t)=\sum _{n=-\infty }^{\infty }c_{n}\,e^{j{\omega _{n}}t}}

donde

{\displaystyle c_{0}={\frac {1}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\,dt={\frac {a_{0}}

{2}}} {\displaystyle c_{0}={\frac {1}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\,dt={\frac
{a_{0}}{2}}}
{\displaystyle c_{n}={\frac {1}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\,e^{-j{\omega
_{n}}t}\,dt={\frac {1}{2}}(a_{n}-{j}{b_{n}})} {\displaystyle c_{n}={\frac {1}
{T}}\int _{t_{0}}^{t_{0}+T}f(t)\,e^{-j{\omega _{n}}t}\,dt={\frac {1}{2}}(a_{n}-{j}
{b_{n}})}
{\displaystyle c_{-n}={\frac {1}{T}}\int _{t_{0}}^{t_{0}+T}f(t)\,e^{j{\omega
_{n}}t}\,dt={\frac {1}{2}}(a_{n}+{j}{b_{n}})} {\displaystyle c_{-n}={\frac {1}
{T}}\int _{t_{0}}^{t_{0}+T}f(t)\,e^{j{\omega _{n}}t}\,dt={\frac {1}{2}}(a_{n}+{j}
{b_{n}})}
{\displaystyle |c_{n}|={\frac {1}{2}}{\sqrt {a_{n}^{2}+b_{n}^{2}}}} {\displaystyle
|c_{n}|={\frac {1}{2}}{\sqrt {a_{n}^{2}+b_{n}^{2}}}}
Formulaci�n moderna
Realmente el desarrollo en serie de Fourier se hace para funciones de cuadrado
integrable, es decir, para funciones que cumplan que:

{\displaystyle \int _{-\infty }^{\infty }|f(x)|^{2}dx<\infty } {\displaystyle \int

_{-\infty }^{\infty }|f(x)|^{2}dx<\infty }

El conjunto de todas las funciones integrables definidas en el intervalo

{\displaystyle \scriptstyle [-\pi ,\pi ]} {\displaystyle \scriptstyle [-\pi ,\pi ]}
se denota con {\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])} {\displaystyle
\scriptstyle L^{2}([-\pi ,\pi ])}. Este conjunto, tiene definido un producto
interno dado por:

{\displaystyle \langle f,g\rangle \ {\stackrel {\mathrm {def} }{=}}\ {\frac {1}

{2\pi }}\int _{-\pi }^{\pi }f(x){\overline {g(x)}}\,dx.} {\displaystyle \langle
f,g\rangle \ {\stackrel {\mathrm {def} }{=}}\ {\frac {1}{2\pi }}\int _{-\pi }
^{\pi }f(x){\overline {g(x)}}\,dx.}

que lo dota de estructura de espacio de Hilbert. De este modo, todas las funciones
de {\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])} {\displaystyle \scriptstyle
L^{2}([-\pi ,\pi ])} pueden desarrollarse en series de Fourier. As�,el conjunto
{\displaystyle \{e_{n}=e^{inx}:n\in \mathbb {Z} \}} {\displaystyle \
{e_{n}=e^{inx}:n\in \mathbb {Z} \}} es una base ortonormal del espacio
{\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])} {\displaystyle \scriptstyle L^{2}
([-\pi ,\pi ])}. El desarrollo de Fourier se puede expresar como:

{\displaystyle f=\sum _{n=-\infty }^{\infty }\langle f,e_{n}\rangle e_{n}.}

{\displaystyle f=\sum _{n=-\infty }^{\infty }\langle f,e_{n}\rangle e_{n}.}

Donde {\displaystyle c_{n}=\langle f,e_{n}\rangle } {\displaystyle c_{n}=\langle

f,e_{n}\rangle } son los coeficientes del desarrollo de Fourier.

Por �ltimo, la identidad de Parseval dice que dada una funci�n {\displaystyle f} f
de cuadrado integrable y los coeficientes de Fourier {\displaystyle c_{n}} c_{n},
se verifica que:

{\displaystyle \Vert f\Vert ^{2}=\ \langle f,f\rangle \ =2\pi \sum _{n=-\infty }

^{\infty }|c_{n}|^{2}.} {\displaystyle \Vert f\Vert ^{2}=\ \langle f,f\rangle \
=2\pi \sum _{n=-\infty }^{\infty }|c_{n}|^{2}.}

En lenguaje t�cnico, podr�amos decir que hay una isometr�a entre el espacio de
funciones de cuadrado integrable y el espacio de sucesiones lineales indexadas en
los enteros cuyos t�rminos tienen cuadrados sumables.

Formulaci�n general
Las propiedades �tiles de las series de Fourier se deben principalmente a la
ortogonalidad y a la propiedad de homomorfismo de las funciones ei n x.

Otras sucesiones de funciones ortogonales tienen propiedades similares, aunque

algunas identidades �tiles, concerniendo por ejemplo a las convoluciones, no
seguir�n cumpli�ndose si se pierde la "propiedad de homomorfismo".

Algunos ejemplos son las secuencias de funciones de Bessel y los polinomios

ortogonales. Tales sucesiones se obtienen normalmente como soluciones de una
ecuaci�n diferencial; una gran clase de tales sucesiones �tiles son soluciones de
los llamados problemas de Sturm-Liouville.

Aplicaciones
Generaci�n de formas de onda de corriente o tensi�n el�ctrica por medio de la
superposici�n de sinusoides generados por osciladores el�ctr�nicos de amplitud
variable cuyas frecuencias ya est�n determinadas.
An�lisis en el comportamiento arm�nico de una se�al.
Reforzamiento de se�ales.
Estudio de la respuesta en el tiempo de una variable circuital el�ctrica donde la
se�al de entrada no es sinusoidal o cosinusoidal, mediante el uso de transformadas
de Laplace y/o soluci�n en r�gimen permanente sinusoidal en el dominio de la
frecuencia.
La resoluci�n de algunas ecuaciones diferenciales en derivadas parciales admiten
soluciones particulares en forma de series de Fourier f�cilmente computables, y que
obtener soluciones pr�cticas, en la teor�a de la transmisi�n del calor, la teor�a
de placas, etc.