Furijeov red

**Furijeov red** je matematička operacija kojom se periodična funkcija razlaže na svoje „spektralne komponente“ radi jednostavnije analize. Nekoliko prvih članova takvog razvoja se u tehnici često uzimaju kao veoma korisna vrsta aproksimacije.

Diskretna furijeova transformacija pretvara diskretne vrednosti (vektor) u Furijeove koeficijente. Neprekidna furijeova transformacija radi to isto sa funkcijom. Naziv je dobila po francuskom matematičaru Žozefu Furijeu (1768—1830).

## Matematička osnova

Uzmimo neku periodičnu funkciju f(t)\, sa periodom T, za koju važi f(t+T) = f(t)\,.
Zbog periodičnosti možemo da je razdelimo na N sinus i kosinus funkcija:

: f(t) = A_0 + A_1 \cos(\omega t + \varphi_1) + A_2 \cos(2 \omega t + \varphi_2) + \ldots + A_N \cos(N \omega t + \varphi_N)= \sum_{n=0}^N A_n \cos (n \omega t + \varphi_n).
, \omega := 2 \cdot \pi \cdot freq, gde je freq osnovna frekvencija, odnosno harmonik.

Treba imati na umu da je sinus samo kosinus sa faznim pomerajem:

: f(t)=\sum_{n=0}^N A_n \cos (n \omega t + \varphi_n)
=A_0+\sum_{n=1}^N (A_n\cos \varphi_n\cdot\cos(n \omega t)-A_n\sin \varphi_n\cdot\sin(n \omega t))


Kada definišemo a_0:=A_0\,, a potom a_n:=A_n\cos \varphi_n i b_n:=A_n\sin \varphi_n dobijamo isti izraz, ovog puta bez faze:

: f(t) = a_0+\sum_{n=1}^N (a_n \cos(n \omega t) - b_n\sin(n\omega t)).

Zašto se ne uzima -{tan}- ili recimo -{cosh}-? Zašto baš -{cos}- i -{sin}-? Razlog je ortogonalnost -{sin}- i -{cos}- funkcija. 
cos(t) \cdot sin(t) = \int_{0}^{2\pi} cos(t) \cdot sin(t) {d}t = 0

Ideja iza furijeove transformacije je sledeća: ceo prostor koji ima „normalne“ ose transformišemo u prostor u kome su nove ortogonalne ose kosinus i sinus talasi i njihovi viši harmonici. Signal koji transformišemo je samo jedna tačka (mesni vektor), a vrednosti na svakoj osi su amplitude svakog harmonika pojedinačno ([A_0,\ldots,A_N]).

Sada se uključuje Ojlerov identitet uz pomoć koga ove trigonometrijske funkcije možemo da zamenimo kompleksnim pandanima:

: \cos (x) = \frac{1}{2} \left(e^{\mathrm{i}x} + e^{-\mathrm{i}x} \right)  i  \sin (x) = \frac{1}{2 \mathrm{i}} \left(e^{\mathrm{i}x} - e^{-\mathrm{i}x} \right) 

Iz toga dalje sledi
: f(t) = a_0+\sum_{n=1}^N \frac12 \left(a_n (e^{\mathrm{i}n \omega  t} + e^{-\mathrm{i}n \omega  t}) - { 1 \over \mathrm{i} } b_n (e^{\mathrm{i}n \omega  t} - e^{-\mathrm{i}n \omega  t})\right)

: = a_0+\sum_{n=1}^N \frac12 \left(a_n (e^{\mathrm{i}n \omega  t} + e^{-\mathrm{i}n \omega  t})+\mathrm{i}b_n (e^{\mathrm{i}n \omega  t} - e^{-\mathrm{i}n \omega  t})\right)

:
 = a_0+\sum_{n=1}^N \frac12\left((a_n+\mathrm{i}b_n)e^{\mathrm{i}n \omega  t}+(a_n-\mathrm{i}b_n)e^{-\mathrm{i}n \omega  t}\right)


Zamenimo realne koeficijente kompleksnim: 
:c_0:=a_0\,, c_n:=\frac12(a_n+\mathrm{i}b_n) i c_{-n}:=\frac12(a_n-\mathrm{i}b_n) = \overline{c_n}

dobijamo sumu sa negativnim indeksima:
:
f(t) = \sum_{k=-N}^{N} c_ke^{\mathrm{i}k \omega  t }


Takođe, ne treba gubiti iz vida da su e^{\mathrm{i}jt} funkcije isto ortonormalne baze (svaki vektor koji predstavlja osu ima dužinu 1 i normalan je u odnosu na sve ostale vektore):

U slučaju j = k
:(e^{ \mathrm{i} j t}, e^{ \mathrm{i} j t}) = \frac{1}{2 \pi} \int_0^{2\pi} e^{ \mathrm{i} j t} \overline {e^{ \mathrm{i} j t} } dt =  \frac{1}{2 \pi} \int_0^{2\pi} e^{ \mathrm{i} j t} e^{ -\mathrm{i} j t} dt
= \frac{1}{2 \pi} \int_0^{2\pi} 1 dt = 1

A za j \neq k važi:

:(e^{ \mathrm{i} j t}, e^{ \mathrm{i} k t}) = \frac{1}{2 \pi} \int_0^{2\pi} e^{ \mathrm{i} j t} \overline {e^{ \mathrm{i} k t} } dt =  \frac{1}{2 \pi} \int_0^{2\pi} e^{ \mathrm{i} j t} e^{ -\mathrm{i} k t} dt
= \frac{1}{2 \pi} \int_0^{2\pi} e^{ \mathrm{i} (j-k) t}
: = \frac{1}{2 \pi \mathrm{i} (j - k)} \left[ e^{ \mathrm{i}(j-k) t} \right]_0^{2 \pi}
= \frac{1}{2 \pi \mathrm{i} (j-k)} \left (e^{\mathrm{i} (j-k) 2\pi} - 1 \right) = 
:= \frac{1}{2 \pi \mathrm{i} (j-k)} \cdot 0 = 0

## Furijeovi redovi

No, želimo sada da neku periodičnu i neprekidnu funkciju približno izračunamo uz pomoć sume trigonometrijskih funkcija (konkretno: kosinusa i sinusa). Videli smo kako možemo da dođemo do c_j; gornju jednačinu množimo sa e^{-\mathrm{i} m \omega t} i naposletku integrišemo sa obe strane po intervalu [0,T] odnosno u trajanju jedne periode:

:  
e^{-\mathrm{i} m \omega t} f(t)  = \sum_{n=-N}^N c_n \left(e^{\mathrm{i}(n \omega t)} e^{-\mathrm{i} m \omega t} \right)
= \sum_{n=-N-m}^{N-m} c_{n+m} e^{\mathrm{i} (n+m) \omega t - \mathrm{i} m\omega t} =\sum_{n=-N-m}^{N-m} c_{n+m} e^{\mathrm{i} n \omega t }

:
\Leftrightarrow \int_0^T e^{-\mathrm{i} m \omega t} f(t) dt= \sum_{n=-N-m}^{N-m}  c_{n+m} \int_0^T  e^{\mathrm{i} n \omega t } dt


Za integrale sa desne strane važi:

:kada je *n=0*:  \int_0^T e^{\mathrm{i} 0 \omega t } dt = \int_0^T e^0 = \left[ 1 \right]_0^T = T
:a kada je *n≠0*:  \int_0^T e^{\mathrm{i} n \omega t } dt = \left[ \frac1{\mathrm{i}n \omega } e^{\mathrm{i} n\omega t} \right]_0^T = \frac1{\mathrm{i}n \omega } (e^{\mathrm{i} n\omega T } - 1)

Iz  \omega T=2\pi sledi e^{ \mathrm{i}n\omega T}=(e^{2\pi \mathrm{i}})^n=1, a to dalje možemo da primenimo na gore navedeni integral: 
: \int_0^T e^{\mathrm{i} n \omega t } dt = 0

Na kraju se cela računica uprošćava:

:\int_0^T f(t) e^{-\mathrm{i} m \omega t} dt = \sum_{n=-N-m}^{N-m}  c_{n+m} \int_0^T  e^{\mathrm{i}n \omega t} dt
:= \sum_{n=-N-m}^{-1} c_{n+m}\int_0^T  e^{\mathrm{i}n \omega t} dt + c_m \cdot \int_0^T  e^{\mathrm{i} 0 \omega t} dt + \sum_{n=1}^{N-m} c_{n+m}\int_0^T  e^{\mathrm{i}n \omega t} dt
:= 0 + c_mT + 0 = c_mT = \int_0^T f(t) e^{-\mathrm{i} m \omega t} dt



 \Leftrightarrow c_m = \frac1T \int_0^T f(t) e^{-\mathrm{i} m \omega t} dt.


U celom računu neka nas ne zbunjuje korišćenje promenljive m, njena svrha je puko uprošćavanje jednačine. Sve je stoga samo dosetljivost, odnosno umetnost kako napisati jedno te isto na drugačiji način.

Na kraju, Furijeov red definišemo:
:f_N(t)=\sum_{n=-N}^N c_ne^{in\omega t}

## Konvergentnost Furijeovog reda
Furijeov red konvergira ka mnogim funkcijama; tu spadaju pored ostalih sve funkcije koje imaju izvod ili su kvadratno integrabilne (*-{L}-*2 prostor).

Pretpostavimo da je f(t) jedna takva funkcija. Kada namestimo N \rightarrow \infty, onda ona takođe može da se napiše i ovako:
:
f(t) 
= \sum_{n=-N}^N c_n e^{ \mathrm{i} n \omega t }
= \sum_{n=-N}^N \frac1T (\int_0^T f(t) e^{-\mathrm{i} n \omega t} dt) \cdot e^{ \mathrm{i} n \omega t }
= \sum_{n=-N}^N \frac{ e^{ \mathrm{i} n \omega t }}{ T } \cdot \int_0^T f(t) e^{-\mathrm{i} n \omega t} dt 


:
f(t) = \sum_{n=-\infty}^{\infty} \frac{ e^{ \mathrm{i} n \omega t }}{ T } \cdot \int_0^T f(t) e^{-\mathrm{i} n \omega t} dt 

## Povezano
* Dualnost po Pontrjaginu

## Literatura

* 
*  2003 unabridged republication of the 1878 English translation by Alexander Freeman of Fourier's work *Théorie Analytique de la Chaleur*, originally published in 1822.
* 
* 
* -{Felix Klein, *Development of mathematics in the 19th century*. Mathsci Press Brookline, Mass, 1979. Translated by M. Ackerman from *Vorlesungen über die Entwicklung der Mathematik im 19 Jahrhundert*, Springer, Berlin, 1928.}-
* 
*  The first edition was published in 1935.