Serie de Fourier

Una serie de Fourier es una serie infinita que converge puntualmente a una función continua y periódica. 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 infinitesimal de funciones senoidales 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 publicando 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. Areas 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. Refierase al uso de un analizador de espectros.

Las series de Fourier tienen la forma:

$f(x)={\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos(nx)+b_{n}\sin(nx)\right]$

Donde $a_{n}\,\!$ y $b_{n}\,\!$ se denominan coeficientes de Fourier de la serie de Fourier de la función $f(x)\,\!$

Definición

Si $f\,$ es una función (o señal) periódica y su período es ${2T}$, la serie de Fourier asociada a $f\,$ es:

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

Donde $a_{n}\,$ y $b_{n}\,$ son los coeficientes de Fourier que toman los valores:

$a_{n}={\frac {1}{T}}\int _{-T}^{T}f(t)\cos \left({\frac {n\pi }{T}}t\right)dt,\qquad b_{n}={\frac {1}{T}}\int _{-T}^{T}f(t)\sin \left({\frac {n\pi }{T}}t\right)dt,\qquad {a_{0}}={\frac {1}{T}}\int _{-T}^{T}f(t)dt.$

Por la identidad de Euler, las fórmulas de arriba pueden expresarse también en su forma compleja:

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

Los coeficientes ahora serían:

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

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

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

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

entonces la serie converge a
$f_{p}(x)={\tfrac {1}{2}}(f(x+)+f(x-)),$

En donde $f(x+)=\lim _{x\to x+}(f(x))$, y $f(x-)=\lim _{x\to x-}(f(x))$

Forma exponencial

Por la identidad de Euler para la exponencial compleja, operando adecuadamente, si

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

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

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

En forma más compacta:

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

Ejemplos de series de Fourier

Grafico de una función periódica

Animación de las 5 primeras series de fourier.

Nosotros estamos utilizando formulario sobre como hacer una serie de Fourier en expansión muy simplificada.

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

$f(x+2\pi )=f(x),\quad \mathrm {para} -\infty <x<\infty .$

En este caso, los coeficientes de Fourier nos dan esto:

${\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:

|${\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 {for} \quad x-\pi \notin 2\pi \mathbf {Z} .\end{aligned}}$

Ingeniería

El análisis de señales en el dominio del tiempo se realiza a través de las series de Fourier, por cuanto es muy común, reemplazar la variable x por ωt, resultando las componentes:

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

Por lo tanto:

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

Aplicaciones

---

• Generación de formas de onda de corriente o tensión eléctrica por medio de la superposición de senoides 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 senoidal o cosenoidal, mediante el uso de transformadas de Laplace y/o Solución en regimen permanente senoidal en el dominio de la frecuencia.

Formulación moderna

Realmente el desarrollo de Fourier se hace para funciones de cuadrado integrable, es decir, para funciones que cumplan que:

$\int |f(x)|^{2}dx<\infty$

El conjunto de todas las funciones integrables definidas en el intervalo $[-\pi ,\pi ]\,$ se denota con $L^{2}([-\pi ,\pi ])$. Este conjunto, tiene definido un producto interno dado por:

$\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, que todas las funciones de $L^{2}([-\pi ,\pi ])$ puedan desarrollarse en series de Fourier. Así,el conjunto de funciones exponenciales $\{e_{n}=e^{in\pi }:n\in \mathbb {Z} \}$ es una base ortonormal del espacio $L^{2}([-\pi ,\pi ]$.

El desarrollo de Fourier se puede expresar como:

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

Donde $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 $f$ de cuadrado integrable y los coeficientes de Fourier $c_{n}$, se verifica que:

$||f||^{2}=\ <f,f>\ =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 e^{i 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.

Véase también

• Transformada de Fourier
• Análisis armónico
• Fenómeno de Gibbs
• Identidad de Parseval