**Fourier' teisendus** (ka **Fourier' pööre**, inglise keeles *Fourier transform*) on integraalteisenduste hulka kuuluv lineaarne operaator, mis teisendab funktsiooni {\displaystyle f} selle sagedusspektrit iseloomustavaks funktsiooniks {\displaystyle {\hat {f}}}.
See teisendus põhineb teoreemil, mille kohaselt mistahes pidev ja piisavalt regulaarne funktsioon on esitatav siinusfunktsioonide integraalina. Fourier' teisendus on pööratav operatsioon. Enamasti on {\displaystyle f} reaalarvuline ja {\displaystyle {\hat {f}}} kompleksarvuline, kus kompleksarv kirjeldab kindla sageduskomponendi faasi ja amplituudi.

Definitsioon
------------

Fourier' teisendust on võimalik defineerida mitmel viisil. Antud artiklis kasutatakse definitsiooni:

{\displaystyle {\hat {f}}(\xi )=\int \_{-\infty }^{\infty }f(x)\ e^{-2\pi ix\xi }\,dx},   iga reaalarvu ξ jaoks.
Kui argument *x* on aeg *t* (SI ühikuga sekund), siis teisenduse argument ξ esindab sagedust (hertsides). Sobivates tingimustes on funktsiooni {\displaystyle {\hat {f}}} kaudu võimalik avaldada {\displaystyle f} ehk pöördteisendusega:

{\displaystyle f(x)=\int \_{-\infty }^{\infty }{\hat {f}}(\xi )\ e^{2\pi i\xi x}\,d\xi ,}   iga reaalarvu *x* jaoks.
Asjaolu, et {\displaystyle {\hat {f}}} abil saab taastada funktsiooni {\displaystyle f}, kutsutakse Fourier' pöördteoreemiks, mida tutvustati esmakordselt prantsuse füüsiku ja matemaatiku Joseph Fourier' artiklis "Analytical Theory of Heat", ehkki see tõestati tänapäeva standardite järgi ära alles 1948. a.. Muutujaid {\displaystyle f} ja 
{\displaystyle {\hat {f}}} kutsutakse *Fourier' integraalpaariks* või *Fourier' teisenduspaariks*.

Fourier' teisendust eukleidilises ruumis vaadatakse eraldi juhuna, kus argument *x* esindab tihti asukohta ja ξ impulssi.

Fourier' teisendus seostab omavahel funktsiooni ajapiirkonna (punane) sageduspiirkonnaga (sinine). Sagedusspektri komponendid on esindatud piikidena sageduspiirkonnas

Sissejuhatus
------------

Fourier' teisendus tuleneb Fourier' rittaarendusest. Fourier' rittaarendus võimaldab kirjutada keerulisi, ent perioodilisi funktsioone siinuste ja koosinuste summana. Fourier' teisendus on Fourier' rea pikendus, kus vastava funktsiooni periood on venitatud lõpmatusse.

Fourier' teisendus vastab Laplace'i teisendusele, kui selle juures lugeda kompleksmuutuja (argumendi) reaalosa võrdseks nulliga.

### Näide

Järgnevad pildid illustreerivad, kuidas Fourier' teisendus mõõdab, kas mingis funktsioonis esineb teatud sagedusi. Funktsioon *f*(*t*) = cos(6π*t*) e-π*t*2 võngub sagedusega 3 hertsi (kui *t* on sekundites) ja läheneb 0-le kiirelt. (Teine faktor võrrandis on ümbrisfunktsioon (funktsioon, mille kõver piirab laine amplituudide ekstreemumeid), mis vormib antud pideva sinusoidi lühikeseks impulsiks.) See funktsioon on spetsiaalselt valitud, et sellel oleks reaalne Fourier' teisendus, mida on lihtne graafiliselt esitada (vt esimest pilti). Selleks, et arvutada {\displaystyle {\hat {f}}(3)}, tuleb integreerida e−2*πi*(3*t*)*f*(*t*). Teine pilt näitab selle funktsiooni reaalset ja imaginaarset osa. Reaalosa on pea alati positiivne, sest kui *f*(*t*) on negatiivne, on ka e−2*πi*(3*t*) reaalosa mittepositiivne. Tingituna sellest, et need võnguvad samal sagedusel, on e−2*πi*(3*t*) reaalosa positiivne, kui *f*(*t*) on mittenegatiivne. Reaalosa integreerimisel on tulemuseks suhteliselt suur number (antud juhul 0,5). Kui mõõta aga mõnd teist sagedust, mida vaadeldud sinusoidis ei esine, nagu näiteks funktsiooni {\displaystyle {\hat {f}}(5)} puhul, võngub integreeritav osa piisavalt, et tulemus tuleks väike. Enamasti on olukord keerulisem, ent sisuliselt mõõdab Fourier' teisendus just niimoodi seda, kui palju spetsiifiline sagedus funktsioonis *f*(*t*) esineb.

* Originaalfunktsioon, mis võngub sagedusel 3 hertsiOriginaalfunktsioon, mis võngub sagedusel 3 hertsi
* Fourier' teisenduse integraalialuse reaal- ja imaginaarosad sagedusel 3 hertsi Fourier' teisenduse integraalialuse reaal- ja imaginaarosad sagedusel 3 hertsi
* Fourier' teisenduse integraalialuse reaal- ja imaginaarosad sagedusel 5 hertsi Fourier' teisenduse integraalialuse reaal- ja imaginaarosad sagedusel 5 hertsi
* Fourier' teisendus, kus roheline täpp esindab 3 hertsi ja punane täpp 5 hertsi Fourier' teisendus, kus roheline täpp esindab 3 hertsi ja punane täpp 5 hertsi

Fourier' teisenduse omadused
----------------------------

Eeldame, et *f*(*x*), *g*(*x*) ja *h*(*x*) on integreeritavad funktsioonid ja mõõdetavad reaalsirgel Lebesgue'i mõõduga ning rahuldavad järgnevat valemit:

{\displaystyle \int \_{-\infty }^{\infty }|f(x)|\,dx<\infty .}
Nende funktsioonide Fourier' teisenduste tähistused on vastavalt {\displaystyle {\hat {f}}(\xi )} , {\displaystyle {\hat {g}}(\xi )}  ja  {\displaystyle {\hat {h}}(\xi )}.

### Alusomadused

Fourier' teisendusel on järgnevad alusomadused:

Lineaarsus
Iga kompleksarvu *a* ja *b* korral, kui {\displaystyle h(x)=af(x)+bg(x)}, siis  {\displaystyle {\hat {h}}(\xi )=a\cdot {\hat {f}}(\xi )+b\cdot {\hat {g}}(\xi ).}
1. teisendamine
Iga reaalarvu *x*0 korral, kui  {\displaystyle h(x)=f(x-x\_{0}),}  siis  {\displaystyle {\hat {h}}(\xi )=e^{-i\,2\pi \,x\_{0}\,\xi }{\hat {f}}(\xi ).}
2. teisendamine
Iga reaalarvu *ξ*0 korral, kui {\displaystyle h(x)=e^{i\,2\pi \,x\,\xi \_{0}}f(x),} siis  {\displaystyle {\hat {h}}(\xi )={\hat {f}}(\xi -\xi \_{0}).}
Skaleerimine
Iga nullist erineva reaalarvu *a* korral, kui {\displaystyle h(x)=f(ax)}, siis  {\displaystyle {\hat {h}}(\xi )={\frac {1}{|a|}}{\hat {f}}\left({\frac {\xi }{a}}\right).}     Olukord *a* = −1 põhjustab järgmise omaduse: kui {\displaystyle h(x)=f(-x)}, siis {\displaystyle {\hat {h}}(\xi )={\hat {f}}(-\xi ).}
kaaskompleks
Kui  {\displaystyle h(x)={\overline {f(x)}},}  siis  {\displaystyle {\hat {h}}(\xi )={\overline {{\hat {f}}(-\xi )}}.}
Täpsemalt öeldes, kui {\displaystyle f} on reaalne funktsioon, siis  {\displaystyle {\hat {f}}(-\xi )={\overline {{\hat {f}}(\xi )}}.}, ehk, {\displaystyle {\hat {f}}} on hermiitiline funktsioon.
Juhul, kui *f* on puhtimaginaarne, siis  {\displaystyle {\hat {f}}(-\xi )=-{\overline {{\hat {f}}(\xi )}}.}
Integreerimine
Asendades {\displaystyle \xi =0} definitsiooni, saame
{\displaystyle {\hat {f}}(0)=\int \_{-\infty }^{\infty }f(x)\,dx}
Fourier' teisendus nullpunktis ({\displaystyle \xi =0}) võrdub funktsiooni {\displaystyle f} integraaliga üle selle määramispiirkonna.

### Perioodilisus ja pööratavus

Sobivatel tingimustel saab funktsiooni {\displaystyle f} taastada selle Fourier' teisendusest {\displaystyle {\hat {f}}.}. Tähistame Fourier' teisenduse sümboliga {\displaystyle {\mathcal {F}},} nii et {\displaystyle {\mathcal {F}}(f)={\hat {f}}}. Fourier' teisenduse kahekordne rakendamine teatud funktsioonidele pöörab funktsiooni ümber: {\displaystyle {\mathcal {F}}^{2}(f)(x)=f(-x).} Seda võib tõlgendada "aja pööramisena". Seega kui rakendada teatud funktsioonile Fourier' teisendust 4 korda: {\displaystyle {\mathcal {F}}^{4}(f)=f,} saab vana funktsiooni tagasi, mis tähendab, et Fourier' teisendus on neljaperioodiline. Samamoodi saab Fourier' pöördteisenduse, kui rakendada Fourier' pööret 3 korda: {\displaystyle {\mathcal {F}}^{3}({\hat {f}})=f.}.

Niisiis võib defineerida paarsuse operaatori {\displaystyle {\mathcal {P}}}, ,mis inverteerib aega järgmiselt {\displaystyle {\mathcal {P}}[f]\colon t\mapsto f(-t),}:

{\displaystyle {\mathcal {F}}^{0}=\mathrm {Id} ,\qquad {\mathcal {F}}^{1}={\mathcal {F}},\qquad {\mathcal {F}}^{2}={\mathcal {P}},\qquad {\mathcal {F}}^{4}=\mathrm {Id} }
{\displaystyle {\mathcal {F}}^{3}={\mathcal {F}}^{-1}={\mathcal {P}}\circ {\mathcal {F}}={\mathcal {F}}\circ {\mathcal {P}}}
Need ei kehti iga funktsiooni korral, vaid kindlatel tingimustel, mille dikteerib Fourier' pöördteoreem.

Fourier' teisendus eukleidilises ruumis
---------------------------------------

Fourier' teisendust võib rakendada *n* dimensioonis, mil teisenduse defineerimiseks on samuti erinevaid võimalusi. Üks integreeritava funktsiooni *f*(**x**) defineerimise viisidest on järgmine:

{\displaystyle {\hat {f}}({\boldsymbol {\xi }})={\mathcal {F}}(f)({\boldsymbol {\xi }})=\int \_{\mathbb {R} ^{n}}f(\mathbf {x} )e^{-2\pi i\mathbf {x} \cdot {\boldsymbol {\xi }}}\,dx}
kus **x** ja **ξ** on *n*-dimensioonilised vektorid ja **x** **·** **ξ** on nende skalaarkorrutis. Skalaarkorrutis on mõnikord kirjutatud kujul {\displaystyle \left\langle \mathbf {x} ,{\boldsymbol {\xi }}\right\rangle }.

Kõik eelnevas peatükis kirjeldatud Fourier' teisenduse omadused kehtivad ka *n* dimensiooni puhul.

### Määramatuse printsiip

Mida kontsentreeritum *f*(*x*) on, seda laiem peab olema selle Fourier' teisendus {\displaystyle {\hat {f}}}. Teisisõnu, kui "pigistada" funktsiooni argumendiga *x*, siis selle Fourier' teisendus argumendiga ξ "venib välja". Pole võimalik korraga kontsentreerida funktsiooni ja selle Fourier' teisendust.

Seda omadust võib tõlgendada kui **määramatuse printsiipi**. Kui *f*(*x*) on integreeritav ja ruut-integreeritav funktsioon, siis ilma üldistuse vähenemiseta on normaliseeritud funktsiooni *f*(*x*) kuju järgmine:

{\displaystyle \int \_{-\infty }^{\infty }|f(x)|^{2}\,dx=1.}
Plancherelli teoreem ütleb, et siis ka {\displaystyle {\hat {f}}(\xi )} on normaliseeritud.

*x* = 0 ümbruse kontsentratsiooni kirjeldab dispersioon:

{\displaystyle D\_{0}(f)=\int \_{-\infty }^{\infty }x^{2}|f(x)|^{2}\,dx.}
Määramatuse terminites on tegemist |*f*(*x*)|2 teise momendiga nulli suhtes.

Määramatuse printsiip ütleb, et kui *f*(*x*) on absoluutselt pidev ning funktsioonid *x*·*f*(*x*) ja *f*′(*x*) on ruut-integreeritavad, siis

{\displaystyle D\_{0}(f)D\_{0}({\hat {f}})\geq {\frac {1}{16\pi ^{2}}}}    
Võrdsus on võimalik vaid juhul, kui {\displaystyle f(x)=C\_{1}\,e^{{-\pi x^{2}}/{\sigma ^{2}}}} (seega {\displaystyle {\hat {f}}(\xi )=\sigma C\_{1}\,e^{-\pi \sigma ^{2}\xi ^{2}}}), kus σ > 0 on suvaline reaalarv ja *C*1 on selline, et *f* on *L*2-normaliseeritud. Teisisõnu on *f* normaliseeritud Gaussi funktsioon varieeruvusega σ2, keskpunktiga 0, ja selle Fourier' teisendus on Gaussi funktsioon varieeruvusega σ−2.

Õigupoolest järeldub eelmainitud võrratusest, et:

{\displaystyle \left(\int \_{-\infty }^{\infty }(x-x\_{0})^{2}|f(x)|^{2}\,dx\right)\left(\int \_{-\infty }^{\infty }(\xi -\xi \_{0})^{2}|{\hat {f}}(\xi )|^{2}\,d\xi \right)\geq {\frac {1}{16\pi ^{2}}}}
iga *x*0, ξ0 ∈ **R** .

Rakendused
----------

Mõned probleemid, nagu näiteks kindlad diferentsiaalvõrrandid, muutuvad lihtsamaks, kui neile Fourier' teisendust rakendada. Sel juhul taastatakse originaalprobleemi lahend Fourier' pöörteisenduse abil
### Diferentsiaalvõrrandite analüüs

Fourier' teisendust ja veel üldisemat Laplace'i teisendust kasutatakse diferentsiaalvõrrandite lahendamiseks. Kui 
*f*(*x*) on diferentseeritav funktsioon, Fourier' teisendusega {\displaystyle {\hat {f}}({\boldsymbol {\xi }})}, siis selle funktsiooni tuletise Fourier' teisendus on {\displaystyle 2i\pi \xi {\hat {f}}({\boldsymbol {\xi }})}. Selle abil saab teisendada diferentsiaalvõrrandid algebralisteks võrranditeks. See meetod toimib ainult probleemide puhul, mille määramispiirkonnaks on kogu reaaltelg. Üldistades Fourier' teisendust mitme muutujaga diferentsiaalvõrranditele määramispiirkonnaga **R**n, saab ka neid lihtsustada algebralisteks võrranditeks.

Teised tähistused
-----------------

Fourier' pöörde teised tüüpilised tähistused on:

{\displaystyle {\tilde {f}}(\xi ),\ {\tilde {f}}(\omega ),\ F(\xi ),\ {\mathcal {F}}\left(f\right)(\xi ),\ \left({\mathcal {F}}f\right)(\xi ),\ {\mathcal {F}}(f),\ {\mathcal {F}}(\omega ),\ F(\omega ),\ {\mathcal {F}}(j\omega ),\ {\mathcal {F}}\{f\},\ {\mathcal {F}}\left(f(t)\right),\ {\mathcal {F}}\{f(t)\}.}
Elektroonikas kasutatakse ξ asemel tihti oomegat ω (nurksagedus), mõnikord märgitakse Fourier' teisendust kujul *F*(*j*ω), kus *j* on imaginaarühik, et märkida suhet Laplace'i teisendusega. Samas esitatakse Fourier' teisendus vahel ka kujul *F*(2π*f*), et märkida sagedust hertsides.

Kompleksse funktsiooni {\displaystyle {\hat {f}}({\boldsymbol {\xi }})} paremaks tõlgendamiseks võib selle kahe reaalarvulise funktsiooni *A*(*ξ*) ja φ(*ξ*) kaudu esitada polaarkoordinaatides:

{\displaystyle {\hat {f}}(\xi )=A(\xi )e^{i\varphi (\xi )},}
kus

{\displaystyle A(\xi )=|{\hat {f}}(\xi )|\ }
on amplituud ja

{\displaystyle \varphi (\xi )=\arg {\big (}{\hat {f}}(\xi ){\big )}}  
on faas.

Eelnevast lähtudes võib pöördteisenduse kirjutada kujul:

{\displaystyle f(x)=\int \_{-\infty }^{\infty }A(\xi )\ e^{i(2\pi \xi x+\varphi (\xi ))}\,d\xi ,}
mis on rekombinatsioon kõigist *f*(*x*) sageduse komponentidest. Iga komponent on kompleksne sinusoid kujuga
*e*2*πix*ξ  mille amplituud on *A*(*ξ*) ja algne faasinurk (kohal *x* = 0) on φ(ξ).

Teised defineerimisviisid
-------------------------

Fourier' teisenduse võib esitada ka nurksageduse kaudu: ω = 2πξ, mille ühik on radiaani sekundi kohta.

Asendus ξ = ω/(2π) eelolevatesse valemitesse annab järgneva kuju:

{\displaystyle {\hat {f}}(\omega )=\int \_{\mathbf {R} ^{n}}f(x)e^{-i\omega \cdot x}\,dx.}
Sellisel juhul avaldub pöördteisendus järgmiselt:

{\displaystyle f(x)={\frac {1}{(2\pi )^{n}}}\int \_{\mathbf {R} ^{n}}{\hat {f}}(\omega )e^{i\omega \cdot x}\,d\omega .}
Erinevalt selle artikli defineerimise tavadest, selliselt defineeritud Fourier' pööre ei ole enam unitaarne teisendus määramispiirkonnas *L*2(**R***n*). See tähendab, et vektorite sisekorrutis (eukleidilises ruumis skalaarkorrutis) ei ole invariantne. Fourier' teisenduse valemite vahel esineb ka vähem sümmeetriat.

Esineb ka tava jaotada tegur (2π)*n* võrdselt Fourier' teisenduse ja pöördteisenduse vahel:

{\displaystyle f(x)={\frac {1}{(2\pi )^{n/2}}}\int \_{\mathbf {R} ^{n}}{\hat {f}}(\omega )e^{i\omega \cdot x}\,d\omega .}
{\displaystyle {\hat {f}}(\omega )={\frac {1}{(2\pi )^{n/2}}}\int \_{\mathbf {R} ^{n}}f(x)e^{-i\omega \cdot x}\,dx}
Selline Fourier' pööre on jälle unitaarne teisendus määramispiirkonnas *L*2(**R***n*). Samuti on olemas sümmeetria teisenduste vahel.

Kokkuvõte populaarsetest Fourier' teisenduse defineerimise moodustest| tavaline sagedus *ξ* (herts) | unitaarne | {\displaystyle \displaystyle {\hat {f}}\_{1}(\xi )\ {\stackrel {\mathrm {def} }{=}}\ \int \_{\mathbf {R} ^{n}}f(x)e^{-2\pi ix\cdot \xi }\,dx={\hat {f}}\_{2}(2\pi \xi )=(2\pi )^{n/2}{\hat {f}}\_{3}(2\pi \xi )}
{\displaystyle \displaystyle f(x)=\int \_{\mathbf {R} ^{n}}{\hat {f}}\_{1}(\xi )e^{2\pi ix\cdot \xi }\,d\xi \ } |
| nurksagedus ω (rad/s) | mitteunitaarne | {\displaystyle \displaystyle {\hat {f}}\_{2}(\omega )\ {\stackrel {\mathrm {def} }{=}}\int \_{\mathbf {R} ^{n}}f(x)e^{-i\omega \cdot x}\,dx\ ={\hat {f}}\_{1}\left({\frac {\omega }{2\pi }}\right)=(2\pi )^{n/2}\ {\hat {f}}\_{3}(\omega )} 
{\displaystyle \displaystyle f(x)={\frac {1}{(2\pi )^{n}}}\int \_{\mathbf {R} ^{n}}{\hat {f}}\_{2}(\omega )e^{i\omega \cdot x}\,d\omega \ } |
| unitaarne | {\displaystyle \displaystyle {\hat {f}}\_{3}(\omega )\ {\stackrel {\mathrm {def} }{=}}\ {\frac {1}{(2\pi )^{n/2}}}\int \_{\mathbf {R} ^{n}}f(x)\ e^{-i\omega \cdot x}\,dx={\frac {1}{(2\pi )^{n/2}}}{\hat {f}}\_{1}\left({\frac {\omega }{2\pi }}\right)={\frac {1}{(2\pi )^{n/2}}}{\hat {f}}\_{2}(\omega )} 
{\displaystyle \displaystyle f(x)={\frac {1}{(2\pi )^{n/2}}}\int \_{\mathbf {R} ^{n}}{\hat {f}}\_{3}(\omega )e^{i\omega \cdot x}\,d\omega \ } |

Vaata ka
--------

* Fourier' spektroskoopia
* Fourier' kiirteisendus
* Lühiajaline Fourier' teisendus

Viited
------

1. ↑  Applications of Fourier Transforms to Generalized Functions | Rahman, Matiur (2011) | WIT Press, ISBN 1845645642.
2. ↑  A Friendly Guide to Wavelets | Kaiser, Gerald (1994) | Birkhäuser, ISBN 0-8176-3711-7.
3. ↑  Théorie Analytique de la Chaleur | Fourier, J. B. Joseph (1822) | Chez Firmin Didot, père et fils.
4. ↑  The Analytical Theory of Heat | Fourier, J. B. Joseph; Freeman, Alexander, translator (1878) | The University Press.
5. ↑  Introduction to the theory of Fourier integrals | Titchmarsh, E (1948) | Clarendon, ISBN 978-0-8284-0324-5.
6. ↑  Advanced Engineering Mathematics: Volume 2 , Chapter 18: Fourier integrals and Fourier transforms | Taneja, HC (2008) | I. K. International Pvt Ltd, ISBN 8189866567.
7. 1 2 3 4  Introduction to Fourier Analysis and Wavelets[*alaline kõdulink*] | Pinsky, Mark (2002) | Brooks/Cole, ISBN 0-534-37660-6.
8. ↑  Introduction to Fourier Analysis on Euclidean Spaces | Stein, Elias; Weiss, Guido (1971) | Princeton University Press, ISBN 978-0-691-08078-9.
9. ↑  "Plancherel's Theorem.", Weisstein, Eric W. "Plancherel's Theorem." From MathWorld–A Wolfram Web Resource.
10. ↑  Fourier Analysis: An introduction | Stein, Elias; Shakarchi, Rami (2003) | Princeton University Press, ISBN 0-691-11384-X.

Välislingid
-----------

* Moments at Mathworld
* Fourier Transform