Serie de Fourier

En matemáticas, chámase serie de Fourier a unha forma de serie trigonométrica utilizada para representar funcións infinitas e periódicas complexas dos procesos físicos, na forma de funcións trigonométricas simples de senos e cosenos.^[1] Isto resulta nunha simplificación da visualización e manipulación de funcións complexas. Foi creada en 1807 por Joseph Fourier (1768-1830).

A forma xeral da serie é:^[2]

y(x)={\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos(nx)+b_{n}\operatorname {sen} (nx)\right],

onde

a_{n}

e

b_{n}

denomínanse coeficientes de Fourier da serie de Fourier da función y(x).

Fourier foi o primeiro que estudou tales series sistematicamente, aplicándoas á solución da ecuación da calor e publicando os seus resultados iniciais en 1807 e 1811. Esta área de investigación chámase algunhas veces Análise harmónica.

Definición

A serie de Fourier dunha función periódica de valores complexos $s(x)$ , integrábel sobre o intervalo $[0,P]$ na recta real, defínese como unha serie trigonométrica da forma $\sum _{n=-\infty }^{\infty }c_{n}e^{i2\pi {\tfrac {n}{P}}x},$ tal que os coeficientes de Fourier $c_{n}$ son números complexos definidos pola integral^[3]^[4] $c_{n}={\frac {1}{P}}\int _{0}^{P}s(x)\ e^{-i2\pi {\tfrac {n}{P}}x}\,dx.$ A serie non converxe necesariamente (no sentido punto por punto) e, aínda que o faga, non é necesariamente igual a $s(x)$ .

Só cando se cumpren certas condicións (por exemplo, se $s(x)$ é continuamente diferenciábel) a serie de Fourier converxe a $s(x)$ , é dicir, $s(x)=\sum _{n=-\infty }^{\infty }c_{n}e^{i2\pi {\tfrac {n}{P}}x}.$

O proceso de determinación dos coeficientes de Fourier dunha determinada función ou sinal chámase análise, mentres que a formación da serie trigonométrica asociada (ou as súas diversas aproximacións) chámase síntese.

Síntese

Unha serie de Fourier pódese escribir en varias formas equivalentes, mostradas aquí como $N$ sumas parciais $s_{N}(x)$ da serie de Fourier de $s(x)$ :^[5]

Imaxe 1. O gráfico superior mostra unha función non periódica

s(x)

en azul definida só sobre o intervalo vermello de 0 a P. A función pódese analizar neste intervalo para producir a serie de Fourier no gráfico inferior. A serie de Fourier é sempre unha función periódica, aínda que a función orixinal

s(x)

non o sexa.

Forma Seno-coseno

s_{N}(x)=a_{0}+\sum _{n=1}^{N}\left(a_{n}\cos \left(2\pi {\tfrac {n}{P}}x\right)+b_{n}\sin \left(2\pi {\tfrac {n}{P}}x\right)\right)

(Ec.1)

Forma Exponencial

s_{N}(x)=\sum _{n=-N}^{N}c_{n}\ e^{i2\pi {\tfrac {n}{P}}x}

(Ec.2)

Os harmónicos están indexados por un número enteiro, $n,$ que tamén é o número de ciclos que realizan os sinusoides correspondentes no intervalo $P$ . Polo tanto, os sinusoides teñen :

unha lonxitude de onda igual a ${\tfrac {P}{n}}$ nas mesmas unidades que $x$ .
unha frecuencia igual a ${\tfrac {n}{P}}$ nas unidades recíprocas de $x$ .

Estas series poden representar funcións que son só unha suma dunha ou máis frecuencias no espectro harmónico (espectro que contién unicamente compoñentes de frecuencia cuxas frecuencias son múltiplos enteiros da frecuencia fundamental).

No límite $N\to \infty$ , unha serie trigonométrica tamén pode representar as frecuencias intermedias e/ou funcións non sinusoidais debido ao número infinito de termos.

Análise

En xeral, os coeficientes están determinados pola análise dunha función dada $s(x)$ cuxo dominio de definición é un intervalo de lonxitude $P$ .^[a]^[6]

Coeficientes de Fourier

{\begin{aligned}&a_{0}={\frac {1}{P}}\int _{P}s(x)\,dx&\\&a_{n}={\frac {2}{P}}\int _{P}s(x)\cos \left(2\pi {\tfrac {n}{P}}x\right)\,dx,\ &{\textrm {para}}~n\geq 1\\&b_{n}={\frac {2}{P}}\int _{P}s(x)\sin \left(2\pi {\tfrac {n}{P}}x\right)dx,\ &{\text{para}}~n\geq 1\\\end{aligned}}

(Ec.3)

O factor de escala ${\tfrac {2}{P}}$ dedúcese ao substituír a Ec.1 por Ec.3 e utilizar a ortogonalidade do sistema trigonométrico.^[7]

A equivalencia da Ec.1 e a Ec.2 dedúcese da Fórmula de Euler $\cos x={\frac {e^{ix}+e^{-ix}}{2}},\quad \sin x={\frac {e^{ix}-e^{-ix}}{2i}},$ resultando en:

Coeficientes da forma Exponencial

$c_{n}={\begin{cases}{\tfrac {1}{2}}(a_{n}-ib_{n})&{\text{se }}n>0,\\a_{n}&{\text{se }}n=0,\\{\tfrac {1}{2}}(a_{-n}+ib_{-n})&{\text{se }}n<0,\\\end{cases}}$

con $c_{0}$ sendo o valor medio de $s$ no intervalo $P$ .^[8]

De xeito recíproco:

Relacións inversas

${\begin{aligned}a_{0}&=c_{0}&\\a_{n}&=c_{n}+c_{-n}\qquad &{\textrm {para}}~n>0\\b_{n}&=i(c_{n}-c_{-n})\qquad &{\textrm {para}}~n>0\end{aligned}}$

Exemplo

Gráfica de onda dente de serra, unha continuación periódica da función linear

s(x)=x/\pi

no intervalo

(-\pi ,\pi ]

Trama animada dos cinco primeiros termos sucesivos da serie de Fourier

Considere unha función de dente de serra: $s(x)=s(x+2\pi k)={\frac {x}{\pi }},\quad \mathrm {para} -\pi <x<\pi ,{\text{ e }}k\in \mathbb {Z} .$ Neste caso, os coeficientes de Fourier veñen dados por ${\begin{aligned}a_{0}&=0.\\a_{n}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }s(x)\cos(nx)\,dx=0,\quad n\geq 1.\\b_{n}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }s(x)\sin(nx)\,dx\\&=-{\frac {2}{\pi n}}\cos(n\pi )+{\frac {2}{\pi ^{2}n^{2}}}\sin(n\pi )\\&={\frac {2\,(-1)^{n+1}}{\pi n}},\quad n\geq 1.\end{aligned}}$ Pódese demostrar que a serie de Fourier converxe a $s(x)$ en cada punto $x$ onde $s$ é diferenciábel, e polo tanto: ${\begin{aligned}s(x)&=a_{0}+\sum _{n=1}^{\infty }\left[a_{n}\cos \left(nx\right)+b_{n}sin\left(nx\right)\right]\\[4pt]&={\frac {2}{\pi }}\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}\sin(nx),\quad \mathrm {cando} \ (x-\pi )\ {\text{non é múltiplo de}}\ 2\pi .\end{aligned}}$

Cando $x=\pi$ , a serie de Fourier converxe a 0, que é a media do límite esquerdo e dereito de $s$ en $x=\pi$ . Este é un exemplo particular do Teorema de Dirichlet para as series de Fourier.

Este exemplo leva a unha solución do problema de Basilea.

Aplicacións

Enxeñaría

É común substituír a variábel x por ωt, resultando as compoñentes:

C_{n}={\frac {1}{T}}\int _{-{\frac {T}{2}}}^{\frac {T}{2}}f(t)\,e^{-in\omega \,t}\,dt.

Polo tanto:

f(t)=\sum _{n=-\infty }^{\infty }C_{n}\,e^{in\omega \,t}

Táboa das series de Fourier comúns

Na seguinte táboa móstranse algúns pares comúns de funcións periódicas e os seus coeficientes da serie de Fourier.

$s(x)$ designa unha función periódica con período $P.$
$a_{0},a_{n},b_{n}$ designan os coeficientes da serie de Fourier (forma seno-coseno) da función periódica $s(x).$

Dominio do Tempo $s(x)$	Dominio da Frecuencia (forma seno-coseno) ${\begin{aligned}&a_{0}\\&a_{n}\quad {\text{for }}n\geq 1\\&b_{n}\quad {\text{for }}n\geq 1\end{aligned}}$	Notas	Referencia
$s(x)=A\left\|\sin \left({\frac {2\pi }{P}}x\right)\right\|\quad {\text{for }}0\leq x<P$	${\begin{aligned}a_{0}=&{\frac {2A}{\pi }}\\a_{n}=&{\begin{cases}{\frac {-4A}{\pi }}{\frac {1}{n^{2}-1}}&\quad n{\text{ par}}\\0&\quad n{\text{ impar}}\end{cases}}\\b_{n}=&0\\\end{aligned}}$	Seno onda completa rectificada	^[9]^{:p. 193}
$s(x)={\begin{cases}A\sin \left({\frac {2\pi }{P}}x\right)&\quad {\text{para }}0\leq x<P/2\\0&\quad {\text{para }}P/2\leq x<P\\\end{cases}}$	${\begin{aligned}a_{0}=&{\frac {A}{\pi }}\\a_{n}=&{\begin{cases}{\frac {-2A}{\pi }}{\frac {1}{n^{2}-1}}&\quad n{\text{ par}}\\0&\quad n{\text{ impar}}\end{cases}}\\b_{n}=&{\begin{cases}{\frac {A}{2}}&\quad n=1\\0&\quad n>1\end{cases}}\\\end{aligned}}$	Seno media onda rectificada	^[9]^:p.193
$s(x)={\begin{cases}A&\quad {\text{for }}0\leq x<D\cdot P\\0&\quad {\text{for }}D\cdot P\leq x<P\\\end{cases}}$	${\begin{aligned}a_{0}=&AD\\a_{n}=&{\frac {A}{n\pi }}\sin \left(2\pi nD\right)\\b_{n}=&{\frac {2A}{n\pi }}\left(\sin \left(\pi nD\right)\right)^{2}\\\end{aligned}}$	$0\leq D\leq 1$
$s(x)={\frac {Ax}{P}}\quad {\text{para }}0\leq x<P$	${\begin{aligned}a_{0}=&{\frac {A}{2}}\\a_{n}=&0\\b_{n}=&{\frac {-A}{n\pi }}\\\end{aligned}}$		^[9]^:p.192
$s(x)=A-{\frac {Ax}{P}}\quad {\text{fpara }}0\leq x<P$	${\begin{aligned}a_{0}=&{\frac {A}{2}}\\a_{n}=&0\\b_{n}=&{\frac {A}{n\pi }}\\\end{aligned}}$		^[9]^:p.192
$s(x)={\frac {4A}{P^{2}}}\left(x-{\frac {P}{2}}\right)^{2}\quad {\text{fpara }}0\leq x<P$	${\begin{aligned}a_{0}=&{\frac {A}{3}}\\a_{n}=&{\frac {4A}{\pi ^{2}n^{2}}}\\b_{n}=&0\\\end{aligned}}$		^[9]^:p.193

Táboa de regras básicas de transformación

Véxase tamén: Transformada de Fourier#Propiedades básicas.

Esta táboa mostra algunhas operacións matemáticas no dominio do tempo e o efecto correspondente nos coeficientes da serie de Fourier. Notación:

A conxugación complexa denotase cun asterisco.
$s(x),r(x)$ designan funcións periódicas $P$ ou funcións definidas só para $x\in [0,P].$
$S[n],R[n]$ designan os coeficientes da serie de Fourier (forma exponencial) de $s$ e $r.$

Propeiedade	Dominio Tempo	Dominio Frecuencia (forma exponencial)	Notas	Referencia
Linearidade	$a\cdot s(x)+b\cdot r(x)$	$a\cdot S[n]+b\cdot R[n]$	$a,b\in \mathbb {C}$
Oposto do tempo / Oposto en frecuencia	$s(-x)$	$S[-n]$		^[10]^{:p. 610}
Conxugación do Tempo	$s^{*}(x)$	$S^{*}[-n]$		^[10]^{:p. 610}
Oposto & conxugación do Tempo	$s^{*}(-x)$	$S^{*}[n]$
Parte real en Tempo	$\operatorname {Re} {(s(x))}$	${\frac {1}{2}}(S[n]+S^{*}[-n])$
Parte imaxinaria en Tempo	$\operatorname {Im} {(s(x))}$	${\frac {1}{2i}}(S[n]-S^{*}[-n])$
Parte real en frecuencia	${\frac {1}{2}}(s(x)+s^{*}(-x))$	$\operatorname {Re} {(S[n])}$
Parte imaxinaria en frecuencia	${\frac {1}{2i}}(s(x)-s^{*}(-x))$	$\operatorname {Im} {(S[n])}$
Desprazamento en tempo / Modulación en frecuencia	$s(x-x_{0})$	$S[n]\cdot e^{-i2\pi {\tfrac {x_{0}}{P}}n}$	$x_{0}\in \mathbb {R}$	^[10]^:p.610
Desprazamento en frecuencia / Modulación en Tempo	$s(x)\cdot e^{i2\pi {\frac {n_{0}}{P}}x}$	$S[n-n_{0}]\!$	$n_{0}\in \mathbb {Z}$	^[10]^{:p. 610}

Propiedades

Relacións de simetría

Cando as partes reais e imaxinarias dunha función complexa se descompoñen nas súas partes pares e impares, hai catro compoñentes, indicados a continuación polos subíndices RE, RO, IE e IO. E hai unha correspondencia un a un entre as catro compoñentes complexas dunha función no tempo e das catro compoñentes complexas da súa transformanda en frecuencia:^[11]^[12]

{\begin{array}{rlcccccccc}{\mathsf {Dominio\ Tempo}}&s&=&s_{\mathrm {RE} }&+&s_{\mathrm {RO} }&+&i\ s_{\mathrm {IE} }&+&i\ s_{\mathrm {IO} }\\&{\Bigg \Updownarrow }{\mathcal {F}}&&{\Bigg \Updownarrow }{\mathcal {F}}&&\ \ {\Bigg \Updownarrow }{\mathcal {F}}&&\ \ {\Bigg \Updownarrow }{\mathcal {F}}&&\ \ {\Bigg \Updownarrow }{\mathcal {F}}\\{\mathsf {Dominio\ Frecuencia}}&S&=&S_{\mathrm {RE} }&+&i\ S_{\mathrm {IO} }\,&+&i\ S_{\mathrm {IE} }&+&S_{\mathrm {RO} }\end{array}}

A partir diso, aparecen varias relacións, por exemplo :

A transformada dunha función con valores reais $(s_{\mathrm {RE} }+s_{\mathrm {RO} })$ é a dunción conxugada simétrica]] $S_{\mathrm {RE} }+i\ S_{\mathrm {IO} }.$ . E o recíproco tamén se cumpre.
A transformada dunha función con valores imaxinarios $(i\ s_{\mathrm {IE} }+i\ s_{\mathrm {IO} })$ é a función conxugada antisimétrica $S_{\mathrm {RO} }+i\ S_{\mathrm {IE} },$ E o recíproco tamén se cumpre.

De forma similar interprétase o resto do diagrama.

Lema de Riemann-Lebesgue

Artigo principal: Lema de Riemann-Lebesgue.

Se $S$ é integrábel, ${\textstyle \lim _{|n|\to \infty }S[n]=0}$ , ${\textstyle \lim _{n\to +\infty }a_{n}=0}$ e ${\textstyle \lim _{n\to +\infty }b_{n}=0.}$

Teorema de Parseval

Artigo principal: Teorema de Parseval.

Se $s$ pertence a $L^{2}(P)$ (periódica nun intervalo de lonxitude $P$ ), entón: ${\frac {1}{P}}\int _{P}|s(x)|^{2}\,dx=\sum _{n=-\infty }\ {\Bigl |}S[n]{\Bigr |}^{2}.$

Teorema de Plancherel

Artigo principal: Teorema de Plancherel.

Se $c_{0},\,c_{\pm 1},\,c_{\pm 2},\ldots$ son coeficientes e ${\textstyle \sum _{n=-\infty }^{\infty }|c_{n}|^{2}<\infty }$ entón hai unha función $s\in L^{2}(P)$ única tal que $S[n]=c_{n}$ para todo $n$ .

Teoremas de convolución

Artigo principal: Teorema de convolución).

Dadas as funcións periódicas de período $P$ , $s_{P}$ e $r_{P}$ cos coeficientes da serie de Fourier $S[n]$ e $R[n],$ $n\in \mathbb {Z} ,$

O produto punto por punto: $h_{P}(x)\triangleq s_{P}(x)\cdot r_{P}(x)$ tamén é $P$ -periódico, e os seus coeficientes da serie de Fourier veñen dados pola convolución discreta das secuencias $S$ e $R$ : $H[n]=\{S*R\}[n].$
A convolución periódica: $h_{P}(x)\triangleq \int _{P}s_{P}(\tau )\cdot r_{P}(x-\tau )\,d\tau$ tamén é $P$ -periódica, co coeficientes da serie de Fourier: $H[n]=P\cdot S[n]\cdot R[n].$
Unha sucesión dobremente infinita $\left\{c_{n}\right\}_{n\in Z}$ en $c_{0}(\mathbb {Z} )$ é a secuencia de coeficientes de Fourier dunha función en $L^{1}([0,2\pi ])$ se é só se é unha convolución de dúas secuencias en $\ell ^{2}(\mathbb {Z} )$ . Ver ^[13]

Algunhas consecuencias positivas das propiedades de homomorfismo de exp

Debido a que as "funcións base" e^ikx son homomorfismos da liña real (máis concretamente, do "grupo do círculo") temos certas identidades útiles:

Se $g(x)=f(x-y)$ daquela ${\hat {g}}(k)=e^{-iky}{\hat {f}}(k)$
A transformada de Fourier é un morfismo: $(f*g){\hat {}}(k)={\hat {f}}(k){\hat {g}}(k)$ —isto é, a transformada de Fourier dunha convolución é o produto das transformadas de Fourier.

Formulación xeral

As útiles propiedades das series de Fourier son debidas principalmente á ortogonalidade e á propiedade de homomorfismo das funcións e^{i n x}.

Outras sucesións de funcións ortogonais teñen propiedades similares, aínda que algunhas identidades útiles, concernendo por exemplo ás convolucións, non seguirán cumpríndose se se perde a "propiedade de homomorfismo".

Algúns exemplos son as secuencias de funcións de Bessel e os polinomios ortogonais. Tales sucesións obtéñense normalmente como solucións dunha ecuación diferencial; unha gran clase de tales sucesións útiles son solucións dos chamados problemas de Sturm-Liouville.

Notas

↑ André Pereira Galdino (2012-11-09). "Séries de Fourier e aplicações".
↑ "Estude mais rápido e mande bem na prova". Responde Aí.
↑ Folland 1992, pp. 18-25.
↑ Hardy & Rogosinski 1999, pp. 2-4.
↑ Strang, Gilbert (2008). "4.1" (PDF). Fourier Series And Integrals (2 ed.). Wellesley-Cambridge Press. p. 323 (eq 19).
↑ Stade 2005, p. 6.
↑ Zygmund, Antoni (1935). "Trigonometrical series". EUDML. p. 6. Consultado o 2024-12-14.
↑ Folland 1992, pp. 21.
↑ ^9,0 ^9,1 ^9,2 ^9,3 ^9,4 Papula, Lothar (2009). Mathematische Formelsammlung: für Ingenieure und Naturwissenschaftler [Mathematical Functions for Engineers and Physicists] (en alemán). Vieweg+Teubner Verlag. ISBN 978-3834807571.
↑ ^10,0 ^10,1 ^10,2 ^10,3 Shmaliy, Y.S. (2007). Continuous-Time Signals. Springer. ISBN 978-1402062711.
↑ Proakis & Manolakis 1996, p. 291.
↑ Oppenheim & Schafer 2010, p. 55.
↑ "Characterizations of a linear subspace associated with Fourier series". MathOverflow. 2010-11-19. Consultado o 2014-08-08.

↑ Normalmente $[-P/2,P/2]$ ou $[0,P]$ . Algúns autores definen $P\triangleq 2\pi$ porque simplifica os argumentos das funcións sinusoides, a costa da xeneralidade.

Véxase tamén

Bibliografía

Fasshauer, Greg (2015). "Fourier Series and Boundary Value Problems" (PDF). Math 461 Course Notes, Ch 3. Department of Applied Mathematics, Illinois Institute of Technology. Consultado o 6 de novembro de 2020.

Outros artigos

Ligazóns externas

[:5-1] André Pereira Galdino (2012-11-09). "Séries de Fourier e aplicações".

[:4-2] "Estude mais rápido e mande bem na prova". Responde Aí.

[FOOTNOTEFolland199218-25-3] Folland 1992, pp. 18-25.

[FOOTNOTEHardyRogosinski19992-4-4] Hardy & Rogosinski 1999, pp. 2-4.

[5] Strang, Gilbert (2008). "4.1" (PDF). Fourier Series And Integrals (2 ed.). Wellesley-Cambridge Press. p. 323 (eq 19).

[FOOTNOTEStade20056-7] Stade 2005, p. 6.

[8] Zygmund, Antoni (1935). "Trigonometrical series". EUDML. p. 6. Consultado o 2024-12-14.

[FOOTNOTEFolland199221-9] Folland 1992, pp. 21.

[Papula-10] 9,0 ^9,1 ^9,2 ^9,3 ^9,4 Papula, Lothar (2009). Mathematische Formelsammlung: für Ingenieure und Naturwissenschaftler [Mathematical Functions for Engineers and Physicists] (en alemán). Vieweg+Teubner Verlag. ISBN 978-3834807571.

[Shmaliy-11] 10,0 ^10,1 ^10,2 ^10,3 Shmaliy, Y.S. (2007). Continuous-Time Signals. Springer. ISBN 978-1402062711.

[FOOTNOTEProakisManolakis1996291-12] Proakis & Manolakis 1996, p. 291.

[FOOTNOTEOppenheimSchafer201055-13] Oppenheim & Schafer 2010, p. 55.

[14] "Characterizations of a linear subspace associated with Fourier series". MathOverflow. 2010-11-19. Consultado o 2014-08-08.

[6] Normalmente $[-P/2,P/2]$ ou $[0,P]$ . Algúns autores definen $P\triangleq 2\pi$ porque simplifica os argumentos das funcións sinusoides, a costa da xeneralidade.

[1]

[2]

[3]

[4]

[5]

[a]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]