Serie de Fourier

Ir a la navegación
Ir 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. 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:

a 0 2 + ∑ n = 1 ∞ [ a n cos ⁡2 n π T t + b n sin ⁡2 n π T t ] {\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 a n {\displaystyle a_{n}\,\!} {\displaystyle a_{n}\,\!} y b n {\displaystyle

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

1 Definición
1.1 Forma compleja
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 f ( t ) {\displaystyle f(t)\,} {\displaystyle f(t)\,} es una función de variable
real t {\displaystyle t} t, que es integrable en el intervalo [ t 0 − T / 2 , t 0 +
T / 2 ] {\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 f {\displaystyle
f\,} f\, en ese intervalo. Fuera del intervalo la serie es periódica, con período T
{\displaystyle T\,} T\,.

Si f ( t ) {\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 t {\displaystyle t\,} t\,.

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

f(t)\,} es:

f ( t ) ∼ a 0 2 + ∑ n = 1 ∞ [ a n cos ⁡( 2 n π T t ) + b n sin ⁡( 2 n π T t ) ]
{\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 a 0 {\displaystyle a_{0}} a_{0}, a n {\displaystyle a_{n}} a_{n} y b n

{\displaystyle b_{n}} b_n son los coeficientes de Fourier que toman los valores:

a 0 = 2 T ∫ − T / 2 T / 2 f ( t ) d t , a n = 2 T ∫ − T / 2 T / 2 f ( t ) cos ⁡
( 2 n π T t ) d t , b n = 2 T ∫ − T / 2 T / 2 f ( t ) sen ⁡( 2 n π T t ) d t .
{\displaystyle 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)\operatorname {sen} \left({\frac {2n\pi }
{T}}t\right)dt.} {\displaystyle 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)\operatorname {sen}
\left({\frac {2n\pi }{T}}t\right)dt.}

Otra forma de definir la serie de Fourier es:

f ( t ) = a 0 2 + ∑ n = 1 ∞ ( a n cos ⁡ω n t + b n sen ⁡ω n t ) {\displaystyle

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

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

_{n}=n\omega } y ω = 2 π f = 2 π T {\displaystyle \omega =2{\pi }f={\frac {2{\pi }}
{T}}} {\displaystyle \omega =2{\pi }f={\frac {2{\pi }}{T}}} siendo:

a 0 = 2 T ∫ t 0 t 0 + T f ( t ) d t , a n = 2 T ∫ t 0 t 0 + T f ( t ) cos ⁡ω n
t d t , b n = 2 T ∫ t 0 t 0 + T f ( t ) sen ⁡ω n t d t . {\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)\operatorname {sen} {{\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)\operatorname {sen} {{\omega _{n}}{t}}dt.}

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

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

f ( t ) ∼ ∑ n = − ∞ ∞ c n e 2 π i n T t . {\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:

c n = 1 T ∫ − T / 2 T / 2 f ( t ) e − 2 π i n T t d t . {\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.}

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

Artículo principal: Teorema de Dirichlet (series de Fourier)

Supongamos que f ( x ) {\displaystyle f(x)} 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 2 p {\displaystyle 2p}
{\displaystyle 2p}. Sean

a n = 1 p ∫ − p p f ( x ) cos ⁡n π x p d x , {\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,}

b n = 1 p ∫ − p p f ( x ) sen ⁡n π x p d x , {\displaystyle b_{n}={\frac {1}

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

entonces la serie converge a

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

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

donde

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

{\displaystyle f(x+)=\lim _{t\to x+}(f(t))}, y f ( x − ) = lim t → x − ( f ( t ) )
{\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 Riemann234 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:

f ( x ) = x , p a r a − π < x < π , {\displaystyle f(x)=x,\quad \mathrm {para}

-\pi <x<\pi ,} {\displaystyle f(x)=x,\quad \mathrm {para} -\pi <x<\pi ,}
f ( x + 2 π ) = f ( x ) , p a r a − ∞ < x < ∞ . {\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:

a n = 1 π ∫ − π π x cos ⁡( n x ) d x = 0 , n ≥ 0. b n = 1 π ∫ − π π x sen ⁡( n
x ) d x = − 2 n cos ⁡( n π ) = 2 ( − 1 ) n + 1 n , n ≥ 1 {\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\operatorname {sen}
(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\operatorname {sen}(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: f ( x ) {\displaystyle f(x)} {\displaystyle

f(x)} de cada punto x {\displaystyle x} {\displaystyle x} donde f {\displaystyle f}
{\displaystyle f} es diferenciable:

f ( x ) = a 0 2 + ∑ n = 1 ∞ [ a n cos ⁡( n x ) + b n sen ⁡( n x ) ] = 2 ∑ n = 1
∞ ( − 1 ) n + 1 n sen ⁡( n x ) , p a r a x − π ∉ 2 π Z . {\displaystyle
{\begin{aligned}f(x)&={\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos
\left(nx\right)+b_{n}\operatorname {sen} \left(nx\right)\right]\\&=2\sum
_{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}\operatorname {sen}(nx),\quad \mathrm {para}
\quad x-\pi \notin 2\pi \mathbb {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}\operatorname {sen} \left(nx\right)\right]\\&=2\sum
_{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}\operatorname {sen}(nx),\quad \mathrm {para}
\quad x-\pi \notin 2\pi \mathbb {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
{\displaystyle x} {\displaystyle x} por ωt (el producto de la frecuencia angular
por el tiempo), resultando las componentes:

C k = 1 T ∫ t 1 t 2 f ( t ) e − j ω k t d t {\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:

f ( t ) = ∑ k = − ∞ + ∞ C k e j ω k t {\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:

f ( t ) = A 0 + ∑ n = 1 ∞ A n cos ⁡( ω n t − θ n ) {\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

A 0 = a 0 2 {\displaystyle A_{0}={\frac {a_{0}}{2}}} {\displaystyle

A_{0}={\frac {a_{0}}{2}}}
A n = a n 2 + b n 2 {\displaystyle A_{n}={\sqrt {a_{n}^{2}+b_{n}^{2}}}}
{\displaystyle A_{n}={\sqrt {a_{n}^{2}+b_{n}^{2}}}}
θ n = tan − 1 ⁡b n a n {\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

C n = 1 2 π ∫ − π π f ( x ) e − i n x d x {\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:

∑ n = 1 ∞ C − n e − i n x + ∑ n = 0 ∞ C n e i n x {\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:

 ∑ n = − ∞ ∞ C n e i n x {\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 T = 2 π {\displaystyle

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

f ( t ) = ∑ n = − ∞ ∞ c n e j ω n t {\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

c 0 = 1 T ∫ t 0 t 0 + T f ( t ) d t = a 0 2 {\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}}}
c n = 1 T ∫ t 0 t 0 + T f ( t ) e − j ω n t d t = 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}})}
c − n = 1 T ∫ t 0 t 0 + T f ( t ) e j ω n t d t = 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}})}
| c n | = 1 2 a n 2 + b n 2 {\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:

∫ − ∞ ∞ | f ( x ) | 2 d x < ∞ {\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 L 2 ( [ − π , π ] ) {\displaystyle \scriptstyle L^{2}
([-\pi ,\pi ])} {\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])}. Este conjunto,
tiene definido un producto interno dado por:

⟨ f , g ⟩ = d e f 1 2 π ∫ − π π f ( x ) g ( x ) ¯ d x . {\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 L 2 ( [ − π , π ] ) {\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])}
{\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])} pueden desarrollarse en series de
Fourier. Así,el conjunto { e n = e i n x : n ∈ Z } {\displaystyle \
{e_{n}=e^{inx}:n\in \mathbb {Z} \}} {\displaystyle \{e_{n}=e^{inx}:n\in \mathbb {Z}
\}} es una base ortonormal del espacio L 2 ( [ − π , π ] ) {\displaystyle
\scriptstyle L^{2}([-\pi ,\pi ])} {\displaystyle \scriptstyle L^{2}([-\pi ,\pi ])}.
El desarrollo de Fourier se puede expresar como:

f = ∑ n = − ∞ ∞ ⟨ f , e n ⟩ e n . {\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 c n = ⟨ f , e n ⟩ {\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 f {\displaystyle f}
f de cuadrado integrable y los coeficientes de Fourier c n {\displaystyle c_{n}}
c_{n}, se verifica que:

‖ f ‖ 2 = ⟨ f , f ⟩ = 2 π ∑ n = − ∞ ∞ | c n | 2 . {\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.

Véase también

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

Notas
 Estos tres autores hicieron un trabajo importante en la ecuación de onda,
especialmente D'Alembert. El trabajo de Euler en esta área fue principalmenteen
colaboración con Bernoulli, aunque el anterior hizo contribuciones individuales a
la teoría de ondas y vibraciones (Fetter y Walecka, 2003, pp. 209, 210)

Referencias

Lejeune-Dirichlet, P. "Sur la convergence des séries trigonométriques qui servent à

représenter une fonction arbitraire entre des limites données". (In French),
transl. "On the convergence of trigonometric series which serve to represent an
arbitrary function between two given limits". Journal f¨ur die reine und angewandte
Mathematik, Vol. 4 (1829) p. 157–169.
«Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe» [About
the representability of a function by a trigonometric series]. Habilitationschrift,
Gotinga; 1854. Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu
Gotinga, vol. 13, 1867. Published posthumously for Riemann by Richard Dedekind (en
alemán). Archivado desde el original el 20 de mayo de 2008. Consultado el 19 de
mayo de 2008.
D. Mascre, Bernhard Riemann: Posthumous Thesis on the Representation of Functions
by Triginometric Series (1867). Landmark Writings in Western Mathematics 1640–1940,
Ivor Grattan-Guinness (ed.); pg. 492. Elsevier, 20 May 2005.Accessed 7 Dec 2012.</
Theory of Complex Functions: Readings in Mathematics, by Reinhold Remmert; pg 29.
Springer, 1991. Accessed 7 Dec 2012.
Nerlove, Marc; Grether, David M.; Carvalho, Jose L. (1995). Analysis of Economic
Time Series. Economic Theory, Econometrics, and Mathematical Economics. Elsevier.
ISBN 0-12-515751-7.

Flugge, Wilhelm (1957). Statik und Dynamik der Schalen. Berlin: Springer-
Verlag.

Bibliografía

M. R. Spiegel, J. Liu, L. Abellanas (2003): Fórmulas y tablas de matemática

aplicada. Segunda edición. Serie Schaum. Mc Graw-Hill.
Fetter, Alexander L.; Walecka, John Dirk (2003). Theoretical Mechanics of
Particles and Continua. Courier Corporation. pp. 209, 210. ISBN 9780486432618.

Enlaces externos

Wikimedia Commons alberga una categoría multimedia sobre Serie de Fourier.

Weisstein, Eric W. «Fourier Series». En Weisstein, Eric W, ed. MathWorld (en
inglés). Wolfram Research.
The Feynman Lectures Capítulo 50 Harmonics

Control de autoridades

Proyectos Wikimedia Wd Datos: Q179467 Commonscat Multimedia: Harmonic analysis

Wikiversity Recursos didácticos: Serie de Fourier

Identificadores BNE: XX540313 BNF: 11979488t (data) LCCN: sh85051090 NDL:

00562088 Microsoft Academic: 207864730 Diccionarios y enciclopedias Britannica: url
Ontologías Número IEV: 103-07-18

Categorías:

Series matemáticasAnálisis de FourierEpónimos relacionados con las

matemáticasCiencia de 1807Francia en 1807
Menú de navegación

No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder

Artículo
Discusión

Leer
Editar
Ver historial

Buscar

Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error

Herramientas

Lo que enlaza aquí

Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata

Imprimir/exportar

Crear un libro
Descargar como PDF
Versión para imprimir

En otros proyectos

Wikimedia Commons
Wikiversidad

En otros idiomas

‫العربية‬
English
हिन्दी
Bahasa Indonesia
Bahasa Melayu
Português
Русский
‫اردو‬
 中文

Editar enlaces

Esta página se editó por última vez el 2 jul 2021 a las 14:09.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.

Política de privacidad
Acerca de Wikipedia
Limitación de responsabilidad
Versión para móviles
Desarrolladores
Estadísticas
Declaración de cookies

Wikimedia Foundation
Powered by MediaWiki