Serie de Fourier

Serie 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 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. Á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. Refierase al uso de un analizador de espectros.

Las series de Fourier tienen la forma:

\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 a_n \,\! y b_n \,\! se denominan coeficientes de Fourier de la serie de Fourier de la función f(x) \,\!

Contenido

Definición

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

f(t) \sim \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 a_0\, , a_n\, y b_n\, son los coeficientes de Fourier que toman los valores:

a_0 = \frac{2}{T} \int_{-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:

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

Los coeficientes ahora serían:

c_n=\frac{1}{T}\int_{-T/2}^{T/2} f(t)\,e^{-2\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)=\tfrac12(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 la suma de los 5 primeros armónicos.

Veamos un ejemplo:

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{align} a_n &{} = \frac{1}{\pi}\int_{-\pi}^{\pi}x \cos(nx)\,dx = 0, \quad n \ge 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 \ge 1.\end{align}

Si la serie de Fourier converge hacia: ƒ(x) de cada punto x donde ƒ es diferenciable:

\begin{align} 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{align}

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, resultando las componentes:

C_k = \frac{1}{T}\int_{t_1}^{t_2} f(t) e^{-j \omega k t}\, dt

Por lo tanto:

f(t) = \sum_{k=-\infty}^{+\infty} C_k e^{j \omega k t}

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 régimen permanente senoidal 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.

Formulación moderna

Realmente el desarrollo en serie 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 \scriptstyle [-\pi, \pi] se denota con \scriptstyle 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 \scriptstyle L^2([-\pi, \pi]) puedan desarrollarse en series de Fourier. Así,el conjunto de funciones exponenciales \{e_n = e^{i n \pi x}:n\in \mathbb{Z}\} es una base ortonormal del espacio \scriptstyle 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 cn, se verifica que:

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

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Serie de Fourier — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

  • Série de fourier — Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont un outil… …   Wikipédia en Français

  • série de Fourier — Fourier eilutė statusas T sritis automatika atitikmenys: angl. Fourier series vok. Fourier Reihe, f rus. ряд Фурье, m pranc. série de Fourier, f ryšiai: sinonimas – Furjė eilutė …   Automatikos terminų žodynas

  • Série de Fourier — En analyse, les séries de Fourier sont un outil fondamental dans l étude des fonctions périodiques. C est à partir de ce concept que s est développée la branche des mathématiques connue sous le nom d analyse harmonique. L étude d une fonction… …   Wikipédia en Français

  • Serie de Fourier — En matemáticas, una serie de Fourier, que es llamada así en honor de Joseph Fourier (1768 1830), es una representación de una función periódica como una suma de funciones periódicas de la forma que son armónicos de ei x; Fourier fue el primero… …   Enciclopedia Universal

  • série de Fourier — Furjė eilutė statusas T sritis fizika atitikmenys: angl. Fourier series vok. Fourier Reihe, f rus. ряд Фурье, m pranc. série de Fourier, f …   Fizikos terminų žodynas

  • Définition et décomposition en série de Fourier d'un signal non sinusoidal — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

  • Définition et décomposition en série de Fourier d'un signal non sinusoïdal — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

  • développent en série de Fourier — skleidimas Fourier eilute statusas T sritis automatika atitikmenys: angl. Fourier expansion vok. Fourier Reihenentwicklung, f rus. разложение в ряд Фурье, n pranc. développent en série de Fourier, m ryšiai: sinonimas – skleidimas Furjė eilute …   Automatikos terminų žodynas

  • Serie de Laurent — Série de Laurent Karl Weierstrass. Cet article traite du développement en série de Laurent en analyse complexe. Pour la définition et les propriétés des séries de Laurent formelles en algèbre, veuillez consulter l article Série de Laurent… …   Wikipédia en Français

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”