Series de Fourier

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. Sus á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:

donde ${displaystyle a_{n},!}$ y ${displaystyle b_{n},!}$ se denominan coeficientes de Fourier de la serie de Fourier de la función ${displaystyle f(t),!}$.

Si ${displaystyle f(t),}$ es una función de variable real ${displaystyle t}$, que es integrable en el intervalo ${displaystyle [t_{0}-T/2,t_{0}+T/2]}$ entonces se puede obtener el desarrollo en serie de Fourier de ${displaystyle f,}$ en ese intervalo. Fuera del intervalo la serie es periódica, con período ${displaystyle T,}$.

Si ${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,}$.

Luego la serie de Fourier asociada a ${displaystyle f(t),}$ es:

donde ${displaystyle a_{0}}$, ${displaystyle a_{n}}$ y ${displaystyle b_{n}}$ son los coeficientes de Fourier que toman los valores:

Otra forma de definir la serie de Fourier es:

donde ${displaystyle omega _{n}=nomega }$ y ${displaystyle omega =2{pi }f={frac {2{pi }}{T}}}$ siendo:

a esta forma de la serie de Fourier se le conoce como la serie trigonométrica de Fourier.

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

Los coeficientes ahora serían:

Supongamos que ${displaystyle 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 ${displaystyle 2p}$. Sean

y

entonces la serie converge a

donde

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 Dirichlet^[1]​ y Bernhard Riemann^[2]​^[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.

Veamos un ejemplo:

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

Si la serie de Fourier converge hacia: ${displaystyle f(x)}$ de cada punto ${displaystyle x}$ donde ${displaystyle f}$ es diferenciable:

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 ${displaystyle x}$ por ωt (el producto de la frecuencia angular por el tiempo), resultando las componentes:

Por lo tanto:

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:

donde

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

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

En forma más compacta:

estas ecuaciones solo son válidas cuando el periodo ${displaystyle T=2{pi }}$ con ${displaystyle omega =1}$. Otra forma de expresar la forma compleja de la serie de Fourier es:

donde

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

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

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

Donde ${displaystyle c_{n}=langle f,e_{n} angle }$ son los coeficientes del desarrollo de Fourier.

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

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.

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.

---