În matematică transformata Fourier (numită astfel după matematicianul și fizicianul Joseph Fourier) este o operație care se aplică unei funcții complexe și produce o altă funcție complexă care conține aceeași informație ca funcția originală, dar reorganizată după frecvențele componente. De exemplu, dacă funcția inițială este un semnal dependent de timp, transformata sa Fourier descompune semnalul după frecvență și produce un spectru al acestuia. Același efect se obține dacă funcția inițială are ca argument poziția într-un spațiu uni- sau multidimensional, caz în care transformata Fourier relevă spectrul uni- sau multidimensional al frecvențelor spațiale care alcătuiesc funcția de intrare.

Definiție

modificare

Există mai multe formule pentru calculul transformatei Fourier, care diferă între ele prin amplitudinea rezultatului, scalarea sau semnul frecvenței. Una din formulele cele mai utilizate este:

 

În anumite condiții din transformata Fourier se poate recupera complet funcția inițială aplicînd transformata Fourier inversă:

 

Din punct de vedere conceptual argumentul ξ reprezintă o frecvență, în timp ce x reprezintă o dimensiune (temporală sau spațială).

Transformata Fourier a funcției f se poate nota simbolic   sau F = TF(ƒ).

Această capacitate a transformatei Fourier de reorganizare a informației după frecvențe (temporale, spațiale sau de alt fel) este extrem de utilă în prelucrarea semnalelor de diverse tipuri, la înțelegerea proprietăților unui mare număr de sisteme fizice, la rezolvarea unor ecuații și în alte domenii științifice teoretice și aplicate.

În multe cazuri este posibil să definim transformata Fourier în funcție de mai multe variabile, fiind importantă în fizică la studiul formei undelor și optică. De asemenea este posibil să generăm transformata Fourier pe structuri discrete, precum grupurile finite, și un calculul eficient care, prin transformata Fourier rapidă, este esențial în calculele de mare viteză.

Introducere

modificare

Motivul folosirii transformatei Fourier vine de la studiul seriilor Fourier. Prin studiul acestor serii, funcții periodice complicate sunt scrise ca simple sume de unde matematice reprezentate prin funcțiile sinus și cosinus. Datorită proprietăților acestor funcții este posibil să revenim la valoarea fiecărei unde din sumă printr-o integrală. În multe cazuri se dorește folosirea formulei lui Euler, care se scrie sub forma e2πiθ = cos 2πθ + i sin 2πθ, pentru a scrie seria Fourier în termenii undelor de bază e2πiθ. Această scriere are avantajul simplificării multor formule implicate în calcul, precum și furnizarea unei formulări pentru seria Fourier mult mai apropiată de definiția din acest articol. Trecerea de la sinus și cosinus la exponențiala complexă face necesară utilizarea coeficienților Fourier complecși. În mod uzual, interpretarea acestor numere complexe este aceea că, se dau amplitudinea undei precum și faza sau unghiul inițial al undei. Această trecere introduce și necesitatea frecvenței negative. Dacă θ este măsurat în secunde atunci undele e2πiθ și e−2πiθ trebuie să parcurgă amândouă un cerc complet pe secundă, dar reprezintă frecvențe diferite în transformarea Fourier.

Folosim seriile Fourier pentru a motiva transformata Fourier după cum urmează. Presupunem că ƒ este o funcție care are valoare zero în afara intervalului [−L/2, L/2]. Atunci putem expanda pe ƒ în serie Fourier pe intervalul [−T/2,T/2], în care mărimea notată cu cn a undei e2πinx/T din seria Fourier a lui ƒ este dată de:

 

iar ƒ este dată de formula:

 

Dacă scriem let ξn = n/T, iar Δξ = (n + 1)/T − n/T = 1/T, atunci această ultimă sumă devine suma Riemann

 

Făcând ca T → ∞ suma Riemann converge către integrala transformării Fourier inverse dată la secțiunea Definiție. În condiții convenabile acest argument poate fi dat cu precizie (Stein & Shakarchi 2003). Prin urmare, ca și în cazul seriilor Fourier, transformarea Fourier poate fi gândită ca o funcție care măsoară cât de mult este prezentă în funcție fiecare frecvență individuală și putem recombina aceste unde folosind o integrală pentru a reproduce funcția originală.

Următoarea imagine furnizează o ilustrare vizuală a modului cum transformarea Fourier măsoară dacă o frecvență este prezentă într-o funcție oarecare. Funcția desenată este  , care oscilează cu frecvența de 3 hertz (t fiind măsurat în secunde) și tinde rapid către zero. Această funcție a fost aleasă special pentru ca partea reală transformării Fourier să fie ușor de plotat. Această imagine este plotată în primul grafic. Pentru a calcula   trebuie să integrăm e−2πi(3t)ƒ(t). A doua imagine arată graficul părților reale și imaginare al acestei funcții. Partea reală a integralei este aproape peste tot⁠(d) pozitivă, deoarece când ƒ(t) este negativă, atunci partea reală a lui e−2πi(3t) este de asemenea negativă. Deoarece ele oscilează în același ritm, când ƒ(t) este pozitivă, la fel este și partea reală a lui e−2πi(3t). Rezultatul este acela că, atunci când este integrată partea reală, se obține o valoare relativ mare (în acest caz 0.5). Pe de altă parte, când încercăm să măsurăm o frecvență care nu este prezentă, precum în cazul în care privim spre  , integrantul oscilează suficient ca integrala să fie foarte mică. Situația generală poate fi un pic mai complicată decât aceasta, dar acest lucru este făcut în spiritul în care transformata Fourier măsoară cât de mult o frecvență individuală este prezentă într-o funcție ƒ(t).

Proprietăți ale transformatei Fourier

modificare

O funcție integrabilă este o funcție ƒ pe dreapta reală care este măsurabilă Lebesgue și satisface:

 

Proprietăți de bază

modificare

Fiind date funcțiile integrabile f(x), g(x) și h(x), notăm transformatele lor Fourier respectiv prin  ,   și  . Transformarea Fourier are următoarele proprietăți de bază (Pinsky 2002). {{http://docs.quah.ro/Transformata%20Fourier.pdf}}

Liniaritate
Pentru orice numere complexe a și b, dacă h(x) = (x) + bg(x), atunci   
Deplasare în timp (translație)
Pentru orice număr real x0, dacă h(x) = ƒ(x − x0), atunci   
Deplasare în spectru (modulație)
Pentru orice număr real ξ0, dacă h(x) = e2πixξ0ƒ(x), atunci   .
Schimbare de scală
Pentru un număr real a≠0, dacă h(x) = ƒ(ax), atunci   .
Cazul a = −1 conduce la proprietatea inversării timpului, care arată că: dacă h(x) = ƒ(−x), atunci   .
Conjugata
Dacă  , atunci   
În particular, dacă ƒ este real, atunci avem condiția reală 
Dacă ƒ este pur imaginar, atunci   
Convoluția în timp
Dacă  , atunci   
Convoluția în frecvență
Dacă  , atunci   
Derivarea în timp
Dacă  , atunci   
Integrarea în timp
Dacă  , atunci   
Conservarea energiei
Transformata Fourier conservă energia semnalului
 

Uniform continuitatea și lema Riemann-Lebesgue

modificare
 
Funcția dreptunghiulară este integrabilă Lebesgue.
 
Funcția sinc. Transformarea Fourier a funcției dreptunghiulare este mărginită și continuă, dar nu este integrabilă Lebesgue.

Transformata Fourier a funcțiilor integrabile au proprietăți suplimentare care nu sunt valabile totdeauna. Transformatele Fourier ale funcțiilor integrabile ƒ sunt uniform continue și   (Katznelson 1976). De asemenea aceste funcții satisfac lema Riemann-Lebesgue care stabilește că (Stein & Weiss 1971):

 

Transformata Fourier   a unei funcții integrabile ƒ este mărginită și continuă, dar nu neapărat integrabilă. De exemplu, transformata Fourier a funcției dreptunghiulare (care este o funcție treaptă și deci integrabilă) este funcția sinc, care nu este integrabilă Lebesgue, cu toate că are o integrală improprie care este convergentă, dar nu absolut convergentă.

În general nu este posibil transformarea inversă ca o integrală Lesbesgue. Totuși, când ƒ și   sunt integrabile, următoarea egalitate inversă este adevărată pentru aproape toate valorile x:

 

Aproape peste tot ƒ este egală cu funcția continuă dată de partea dreaptă a egalului, Dacă ƒ este dată ca funcție continuă pe dreaptă, atunci egalitatea este valabilă pentru toate valorile x.

O consecință a rezultatului precedent este aceea că transformata Fourier este injectivă pe spațiul L1(R).


Teorema lui Plancherel și a lui Parseval

modificare

Fie f(x) și g(x) integrabile și fie   și   transformatele lor Fourier. Dacă f(x) și g(x) sunt pătrat integrabile, atunci aven teorema lui Parseval (Rudin 1987, p. 187):

 

în care bara de deasupra denotă complex conjugata.

Teorema lui Plancherel, care este echivalentă cu teorema lui Pearceval, stabilește că (Rudin 1987, p. 186):

 

Teorema lui Planchenel face posibilă definirea transformatei Fourier pentru funcții din L2(R), după cum este descris în articolul de față la capitolul Generalizări. În fizică interpretarea teoremei lui Planchenel este aceea că transformarea Fourier conservă energia.

Vezi și dualitatea Pontryagin pentru o formulare generală a acestui concept în contextul grupului abelian local compact.

Formula de sumare Poisson

modificare

Formula de sumare Poisson furnizează o legătură între studiul transformatei Fourier și seriile Fourier. Fiind dată o funcție integrabilă ƒ putem considera periodizarea lui ƒ dată de:

 

în care sumarea este făcută pentru toți intregii k. Formula de sumare Poisson leagă seria Fourier a lui   de transformarea Fourier a lui  , și anume stabilește că seria Fourier este dată de:

 

Teorema convoluției

modificare

Transformarea Fourier efectuează o translație între convoluție și înmulțire funcțiilor. Dacă ƒ(x) și g(x) sunt funcți integrabile cu transformatele Fourier   și  , atunci transformata Fourier a convoluției este dată de produsul transformatelor Fourier.

Aceast lucru înseamnă că, dacă:

 

în care * denotă operația de convoluție, atunci:

 

În teoria sistemului invariant liniar în timp (LTI), în mod obișnuit g(x) este interpretată ca răspunsul impuls al unui sistem LTI având intrarea ƒ(x) și ieșirea h(x), deoarece substituind impulsul unitate pentru ƒ(x) obținem h(x) = g(x). În acest caz      reprezintă răspunsul în frecvență al sistemului.

În schimb, dacă ƒ(x) poate fi descompusă ca produs a două funcții pătrat integrabile p(x) și q(x), atunci transformata Fourier a lui ƒ(x) este dată prin convoluția respectivelor transformări Fourier   and  .

Teorema corelației încrucișate

modificare

Într-o manieră analoagă se poate arăta că, dacă h(x) este corelație încrucișată a lui ƒ(x) și g(x):

 

atunci transformata Fourier a lui h(x) este:

 

Ca un caz special, autocorelația funcției ƒ(x) este:

 

pentru care:

 

Funcții proprii

modificare

O bază ortonormală importantă aleasă pentru L2(R) este dată de funcțiile Hermite

 

în care   are the polinoame Hermite "probabilistice", definite prin Hn(x) = (−1)nexp(x2/2) Dn exp(−x2/2). Sub această convenție pentrutransformata Fourier, avem:

 

Cu alte cuvinte, funcțiile Hermite formează un sistem ortonormal de funcții proprii pentru transformata Fourier pe spațiul L2(R) (Pinsky 2002). Totuși, modul de alegere al funcțiilor proprii nu este unic. Există patru valori proprii diferite ale transformării Fourier (±1 and ±i) și orice combinație de funcții proprii cu aceeași valoare proprie generează atlă funcție proprie. Ca o consecință a acestui fapt, este posibil ca să descompunem spațiul L2(R) ca o sumă directă a patru spații H0, H1, H2 și H3, în care transformarea Fourier să acționeze simplu pe ‚’H’’’’k’’ prin înmulțirea cu ik. Acest mod de definire a transformatei Fourier se datorează lui N. Wiener (Duoandikoetxea 2001). Alegerea funcțiilor Hermite este convenabilă deoarece ele sunt exponențial localizate în ambele domenii de frecvență și timp, dând astfel un punct de plecare pentru transformata Fourier fractională folosită în analiza timp-frecvență (Boashash 2003).

Transformata Fourier pe spațiul Euclidian

modificare

Transformata Fourier poate fi definită și pe spații n-dimensionale, caz în care transformata unei funcții ƒ(x) integrabile, se definește prin integrala:

 

In care x și ξ sunt vectori n-dimensionali, iar xξ este produsul lor scalar. Produsul scalar se scrie câteodată sub forma  .

Toate proprietățile de bază de mai sus sunt valabile și pentru transformata Fourier n-dimensională, precum și teoremele lui Plancherel și Parseval. Când funcția este integrabilă transformata Fourier este uniform continuă, fiind valabilă și lema Riemann-Lebesgue. (Stein & Weiss 1971)

Principiul de incertitudine

modificare

În general vorbind, cu cât este mai concentată funcția f(x), cu atât trebuie să fie mai intinsă transformata Fourier   . În particular, pentru proprietatea schimbării de scală a transformatei Fourier se poate spune că: dacă "comprimăm" o funcție în "x", transformata ei Fourier se "intinde" în ξ, deci nu este posibil să concentrăm și funcția și transformata ei.

Compromisul dintre compactarea unei funcții și transformata ei Fourier poate fi formalizat sub forma unui Principiu de Incertutudine. Această formalizare se poate face privind o funcție și transformarea ei Fourier drept variabile conjugate cu privire la forma simplectică pe domeniul timp-frecvență. Din punctul de vedere al transformării canonice liniare, transformata Fourier reprezintă o rotație de 90° în domeniul timp-frecvență care păstrează forma simplectică.

Să presupunem că funcția ƒ(x) este de pătrat integrabilă și, fără a pierde din generalitate, să presupunem că funcția este normalizată:

 

Din teorema lui Planchenel urmează că    este de asemenea normalizată.

Dispersia în jurul lui x = 0 poate fi măsurată prin dispersia față de zero (Pinsky 2002) definită prin:

 

În termeni probabilistici acesta este momentul al doilea al lui   față de zero.

Principiul de incertitudine arată că: dacă ƒ(x) este absolut continuă, iar funcțiile xƒ(x) și ƒ′(x) sunt de pătrat integrabile, atunci:

     (Pinsky 2002).

Egalitatea este obținută numai în cazul în care      (deci       )  în care σ > 0 este arbitrar, iar C1 este de așa natură încât ƒ este L2–normalizată (Pinsky 2002). Cu alte cuvinte, acolo unde ƒ este o funcție Gaussiană normalizată centrată pe zero.

De fapt, această inegalitate implică:

 

pentru orice    din R  (Stein & Shakarchi 2003).

În mecanica cuantică momentul și poziția funcției de undă sunt perechi de transformate Fourier, până la un factor constant al lui Planck. Luând în considerare această constantă, inegalitatea de mai sus devine principiul de incertitudine al lui Heisenberg (Stein & Shakarchi 2003).

Armonice sferice

modificare

Fie un set de polinoame armonice omogene de grad k pe Rn notate Ak. Setul Ak conține armonice sferice solide de grad k. Armonicele sferice solide joacă un rol similar pe spații n-dimensioanle așa cum sunt polinoamele Hermite pe uni-dimensional. În mod special, dacă f(x) = eπ|x|2P(x) pentru unele polinoame P(x) din Ak, atunci  . Fie setul Hk închiderea din L2(Rn) a combinațiilor liniare de funcții de forma f(|x|)P(x), în care P(x) apartine lui Ak. Atunci spațiul L2(Rn) este o sumă directă de spații Hk, iar transformata Fourier reprezintă fiecare spațiu Hk pe el însuși, fiind posibilă caracterizarea actiunii transformatei Fourier pe fiecare spațiu Hk (Stein & Weiss 1971). Fie ƒ(x) = ƒ0(|x|)P(x) (cuP(x) din Ak), atunci   în care

 

Aici cu J(n + 2k − 2)/2 a fost notată funcția Bessel de prima speță și ordin (n + 2k − 2)/2. Când k = 0 se obține o formulă folositoare pentru transformata Fourier a funcției radiale (Grafakos 2004).

Probleme restrictive

modificare

În spații n-dimensionale devine interesant studiul problemelor restrictive pentru transformata Fourier. Transformata Fourier a unei funcții integrabile este continuă, iar restricția acestei funcții este definită pe orice mulțime. Dar pentru funcțiile de pătrat integrabile transformata Fourier poate fi o clasă generală de funcții de pătrat integrabile. Ca de pildă, restricția transformatei Fourier a unei funcții din L2(Rn) nu poate fi definită pe o mulțime cu măsura 0. Este încă a arie activă de studiu înțelegerea problemelor restrictive din Lp for 1 < p < 2. În mod surprinzător, este posibil ca în câteva cazuri să definim transformata Fourier pe o mulțime S, demonstrând că S are curbura diferită de zero. De interes particular este cazul când S este sfera de rază unitate din Rn. În acest caz teorema restricției Tomas-Stein stabilește că restricția transformatei Fourier pe sfera de rază unitate Rn este un operator mărginit pe Lp cu condiția ca 1 ≤ p ≤ (2n + 2) / (n + 3).

O diferență notabilă dintre transformata Fourier pe spațiul unidimensional față de spațiul n-dimensional implică operatorul sumei parțiale. Considerăm o colecție crescătoare de mulțimi măsurabile ER indexate prin R ∈ (0,∞), precum sfere de rază R cu centrul în origine sau curbe de rază 2R. Pentru o funcție integrabilă dată ƒ, considerăm funcția ƒR definită prin:

 

Mai mult, presupunem că ƒ face parte din Lp(Rn). Pentru n = 1 și 1 < p < ∞, dacă una este luată drept ER = (−R, R), atunci ƒR converge spre ƒ în Lp când R tinde spre infinit, datorită transformării Hilbert mărginite. În mod natural s-ar crede că și pentru n > 1 ar fi convergentă. Acest lucru nu se întâmplă în toate cazurile. De exemplu, în cazul în care ER este un cub cu latura R, operatorul sumei parțiale este încă convergent. La fel și sfera euclidiană ER = {ξ : |ξ| < R}, pentru ca operaturul sumei parțiale să conveargă este necesar ca multiplicatorul pentru sfera de rază unitate să fie mărginit în Lp(Rn). Pentru n ≥ 2 avem celebra teoremă a lui Charles Fefferman, în care se spune că multiplicatorul pentru sfera de rază unitate este nemărginit, în afară de cazul p = 2 (Duoandikoetxea 2001). De fapt, când p ≠ 2, această teoremă arată că nu numai ƒR nu este convergentă spre ƒ în Lp, dar pentru unele funcții ƒ ∈ Lp(Rn), ƒR nu este un element din Lp.

Generalizări

modificare

Transformata Fourier pe alte spații de funcții

modificare

Este posibil de a extinde definiția transformării Fourier și pe alte spații de funcții, deoarece funcțiile netede cu suport compact sunt integrabile și dense în L2(R), iar teorema lui Plancherel ne permite să extindem definiția transformării Fourier la funcțiile generale din L2(R) prin continuitatea argumentelor. Mai mult,  : L2(R) → L2(R) este un operator unitar (Stein & Weiss 1971, Thm. 2.3), multe din proprietăți rămânând aceleași. Inegalitatea Hausdorff-Young poate fi folosită pentru a extinde definiția transformatei Fourier pentru a include funcții din Lp(R) pentru 1 ≤ p ≤ 2. Din nefericire, extinderile pentru p > 2 devin prea complicate. Transformata Fourier a funcțiilor din Lp pentru 2 < p < ∞ se cere a fi studiaă prin intermediul distribuțiilor (Katznelson 1976). De fapt, se poate arăta că există funcții din Lp cu p>2 astfel încât transformata Fourier nu este definită ca o funcție (Stein & Weiss 1971).

Transformarea Fourier–Stieltjes

modificare

Transformata Fourier de măsură finită Borel μ pe Rn este dată de (Pinsky 2002):

 

Această transformată continuă să se bucure de multe din proprietățile transformatei Fourier pentru funcțiile integrabile, cu diferența notabilă a lemei Riemann-Lebesgue care eșuează pe această măsură (Katznelson 1976). În cazul în care  = ƒ(xdx, atunci formula de mai sus se reduce la definiția uzuală pentru transformata Fourier a lui ƒ. În cazul în care μ este distribuția de probabilitate asociată cu o variabilă aleatoare X, transformata Fourier-Stieltjes este similară cu funcția caracteristică, dar prin convenția tipică din teoria probabilităților se ia eix•ξ în loc de e−2πix•ξ (Pinsky 2002). În cazul în care distribuția are o funcție de densitate a probabilității, această definiție se reduce la transformarea Fourier aplicată funcției de densitate a probabilității, dar cu o alegere diferită a constantelor.

Transformata Fourier poate fi folosită pentru a da o caracterizare măsurilor de continuitate. Teorema lui Bochner caracterizează funcțiile care pot apărea drept transformata Fourier-Stieltjes a unei măsuri.

Mai mult, funcția delta a lui Dirac nu este o funcție, dar este o măsură Borel finită, iar transformata ei Fourier este o funcțe constantă a cărei valoare specifică depinde de forma transformării Fourier folosite.

Distribuții temperate

modificare

Transformata Fourier reprezintă spațiul funcțiilor Schwartz pe el însuși, dând și un homeomorfism al spațiului pe el însuși (Stein & Weiss 1971). Datorită acestui lucru este posibil să definim transformata Fourier a distribuțiilor temperate, care include toate funcțiile integrabile menționale mai sus, având în plus avantajul că transformata Fourier a oricărei distribuții temperate este tot o distribuție temperată.

Următoarele doua fapte oferă unele motive pentru definirea transformatei Fourier a unei distribuții. Fie ƒ și g două funcții integrabile, iar   și   transformatele lor Fourier. Atunci transformata fourier se supune următoarei formule de înmulțire (Stein & Weiss 1971):

 

În al doilea rând, fiecare funcție integrabilă ƒ definește o distribuție Tƒ prin relatia:

      pentru toate funcțiile Schwartz φ.

De fapt, fiind dată o distribuție T, definim transformata Fourier prin relația:

    for all Schwartz functions φ.

Urmează că:

 

Distribuțiile pot fi diferențiate și mai sus menționata compatibilitate a transformatei Fourier cu diferențierea și convoluția rămân adevărate pentru distribuțiile temperate.

Grupul abelian compact local

modificare

Transformata Fourier poate fi generalizată pentru orice grup abelian compact local, grup abelian care este în același timp un spațiu topologic Hausdorff compact local, astfel că operațiile grupului sunt continue. Dacă G este grup abelian compact local, el are o măsură invariantă la o translație μ, numită măsura Harr. Pentru un grup abelian compact local G este posibil să plasăm o topologie pe mulțimea de caractere   astfel că   este de asemenea grup abelian compact local. Pentru o funcție ƒ din L1(G) este posibil să definim transformata Fourier prin(Katznelson 1976):

 

Spațiul Hausdorff compact local

modificare

Transformarea Fourier poate fi generalizată pentru orice spațiu Hausdorff compact local, care regenerează topologia, dar pierde structura grupului.

Dând un spațiu topologic Hausdorff compact local X, spațiul A=C0(X) al funcțiilor complexe continue pe X care tind către zero la infinit este în mod natural o algebră-C* comutativă, prin intermediul adunării punctuale, înmulțirii punctuale, conjugatei complexe punctuale și cu norma precum norma uniformă. În schimb, caracterele acestei algebre A, notată   este în mod natural un spațiu topologic și poate fi identificat prin evaluarea dintr-un punct x, având un izomorfism izometric  . În cazul în care X=R este o linie reală, aceasta este exact o transformare Fourier.

Grupuri neabeliene

modificare

Transformarea Fourier poate fi de asemenea definită pentru funcțiile unui grup neabelian, cu condiția ca grupul să fie compact. Spre deosebire de transformata Fourier pe un grup abelian, care este scalar, transformata Fourier pe un grup neabelian este un operator (Hewitt & Ross 1971, Chapter 8). Transformata Fourier pe un grup compact este un instrument major în teoria reprezentărilor (Knapp 2001) și analiza armonică necomutativă.

Fie G grup topologic Hausdorff compact. Fie Σ colecția tuturor claselor de izomorfisme de reprezentări unitare ireductibile finit dimensionale, împreună cu o alegere determinată a reprezentării U(σ) pe spațiul Hilbert Hσ de dimensiune finită dσ pentru fiecare σ ∈ Σ. Dacă μ este o măsură Borel pe G, atunci transformata Fourier- Stieljes de μ este operatorul de pe Hσ definit prin:

 

în care   este reprezentarea complex conjugată din U(σ) care acționează pe Hσ. Ca și în cazul abelian, dacă μ este absolut continuă în ceea ce privește măsura probabilității invariante stângi λ pe G, atunci μ este reprezentată ca:

 

pentru câteva funcții ƒ ∈ L1(λ). În acest caz se identifică transformarea Fourier de ƒ cu transformarea Fourier-Stieljes de μ.

Reprezentarea   definește un izomorfism între spațiul Banach M(G) de măsură finită Borel și un subspațiu închis al spațiului Banach C(Σ) constând din toate secvențele E = (Eσ) indexate prin colecția Σ de operatori liniari mărginiți Eσ : Hσ → Hσ pentru care avem norma finită:

 

Mai mult, teorema convoluției afirmă că, acest izomorfism de spații Banach este de fapt un izomorfism al algebrei C* într-un spațiu C(Σ), în care M(G) este înzestrată cu produsul convoluția măsurilor și C(Σ) produsul dat prin înmulțirea operatorilor pentru fiecare index σ.

Folosind teorema lui Peter-Weyl și formula de inversiune Fourier (teorema lui Plancherel) rezultă că: dacă ƒ ∈ L2(G), atunci

 

în care sumarea trebuie înțeleasă în sensul convergenței din L2.

Generalizarea transformatei Fourier pentru grupurile necomutative este dualitatea Tannaka-Krein, care înlocuiește grupul de caractere cu categoria de reprezentări. Oricum, acest grup pierde legătura cu funcțiile armonice.


Alternative

modificare

În termenii procesării semnalelor, o funcție de timp este o reprezentare a unui semnal cu o rezoluție în timp perfectă, dar cu nici o informație în frecvență, în timp ce transformata Fourier are o rezoluție în frecvență perfectă, dar cu nici o informație în timp: magnitudinea transformatei Fourier arată cât de multă frecvență este conținută într-un punct, iar local este dată numai prin fază (argumentul transformării Fourier), dar undele staționare nu sunt localizate în timp – unda sinusoidală continuând la infinit fără amortizare.

În analiza timp-frecvență, ca o alternativă la transformata Fourier, se folosește transformata timp-frecvență sau distribuția timp-frecvență, pentru a reprezenta semnalul într-o formă care conține unele infomații în timp și în frecvență – iar prin intermediul principiul de incertitudine, se obține un compromis între aceste transformate. Acestea pot fi o generalizare a transformatei Fourier, precum transformata Fourier de timp-scurt sau transformata Fourier fractională, sau folosirea unor funcții diferite pentru reprezentarea semnalelor, precum tranformata wavelet sau transformata chirplet cu unde analoage transformării Fourier, fiind transformata wavelet continuă. (Boashash 2003).

Aplicații

modificare

Analiza ecuațiilor diferențiale

modificare

Transformata Fourier, precum și transformata Laplace, sunt pe larg folosite în rezolvarea ecuațiilor diferențiale. Transformata Fourier este compatibilă cu diferențiala în următorul sens: dacă f(x) este o funcție diferențiabilă cu transformata Fourier  , atunci transformata Fourier a derivatelor ei este dată de  . Acestea pot fi folosite pentru a transforma ecuațiile diferențiale în ecuații algebrice. De notat că, această tehnică se aplică numai problemelor al căror domeniu este axa reală. Extinzând transformata Fourier la funcții de mai multe variabile, ecuațiile cu derivate parțiale având domeniul de definiție Rn, pot fi de asemenea transformate în ecuații algebrice.

NMR, FT-IR și MRI

modificare

Transformata Fourier este de asemenea folosită în rezonanța magnetică nucleară (RMN), precum și în spectroscopie, de exemplu în infraroșu (RI). În RMN, o formă exponențială a semnalului descreșterii induse libere (DIF) este obținută în domeniul timp, iar transformata Fourier pe o linie de formă Lorentz în domeniul frecventei. De asemenea, transformata Fourier este folosită în imaginea rezonanței magnetice (IRM) și spectroscopiei de masă.

Domeniul și raza de aplicabilitate a transformatei Fourier

modificare

Adesea este de dorit să avem cel mai general domeniu posibil al transformatei Fourier. Definirea transformatei Fourier ca o integrală, restricționează domeniul la spațiul funcțiilor integrabile. Din nefericire, nu există caracterizări simple pentru care funcțiile sunt transformate Fourier de funcții integrabile(Stein & Weiss 1971). Este posibil să extindem domeniul transformatei Fourier pe diverse căi. Lista următoare detaliază câteva din domeniile comune și raza pentru care transformata Fourier este definită.

  • Spațiul funcției Schwartz este închis față de transformarea Fourier. Funcțiile Schwartz sunt funcții care descresc rapd și nu includ toate funcțiile care sunt relevante pentru transformarea Fourier. Mai multe detalii pot fi găsite în (Stein & Weiss 1971).
  • În particular, spațiul L2 este închis sub transformata Fourier, dat în acest spațiu transformata Fourier nu mai este definită prin integrare.
  • Spațiul L1 al funcțiilor Lebesgue integrabile sunt reprezentate în C0, spațiul funcțiilor continue care tind spre zero la infinit – nu doar în spațiul   al funcțiilor mărginite (lema Riemann–Lebesgue).
  • Mulțimea distribuțiilor temperate este închisă față de transformarea Fourier. Distribuțiile temperate sunt tipuri defuncții generalizate. Este în această generalitate faptul că se poate defini transformata Fourier a obiectelor precum pieptănele lui Dirac.

Alte notații

modificare

Alte notații pentru   sunt:

 

Notarea transformatei Fourier cu literă mare corespunde literei folosite pentru funcția care trebuie transformată (precum f(x) și F(ξ)), notații folosite în special în fizică și inginerie. În electronică, se folosește notația (ω) în loc de (ξ), datorită interpretării ei ca frecvență unghiulară, iar câteodată este scrisă ca F(), în care j este unitatea imaginară, pentru a indica relația cu transformata Laplace, scrisă câteodată și sub forma F(2πf).


Interpretarea funcției complexe   poate fi de ajutor exprimând-o în coordonate polare:

 

în termenii a două funcții reale A(ξ) și φ(ξ) în care:

 

este amplitudinea, iar

   

este faza.

Atunci transformara inversă poate fi scrisă:

 

care este o recombinare a tuturor frecvențelor componenete ale funcției ƒ(x). Fiecare componentă este o sinusoidă complexă de forma e2πixξ  a cărei amplitudine este A(ξ), având unghiul inițial de fază (la x = 0) φ(ξ).

Transformata Fourier poate fi gândită și ca o reprezentare în spațiul funcțiilor. Această reprezentare, notată aici prin   și  , este folosită pentru a nota transformata Fourier a funcției f. Această reprezentarea este liniară, ceea ce înseamnă că   poate fi înțeleasă ca o transformare liniară pe spațiul funcției și, denotă că, notația standard din algebra liniară de aplicare a unei transformări liniare asupra unui vector (aici funcția f) poate fi folosită pentru a scrie   în loc de  . Deoarece prin aplicarea transformatei Fourier rezultatul este tot o funcție, putem fi interesați de valoarea acestei funcții evaluată la ξ, valoare care se notează prin   sau  . De notat că, în primul caz, trebuie înțeles că   se aplică mai întâi asupra lui f și apoi funcția rezultată este evaluată la ξ, și nu în alt fel.

În matematică și în diverse aplicații științifice este adesea necesar să facem distincție între o funcție f și valoarea funcției f pentru o valoare x, notată f(x). Acest lucru înseamnă că o notație precum   poate fi interpretată în mod formal ca o transformată Fourier de valoarea lui f la x. Cu tot acest cusur, această notație apare frecvent, adesea când o funcție particulară sau o funcție de o variabilă particulară trebuie să fie transformată. De exemplu,   este câteodată folosită pentru a exprima că transformata Fourier a unei funcții dreptunghiulare este funcția sinc, sau   este folosită pentru a exprima proprietatea de deplasare a transformatei Fourier. De notat că, ultimul exemplu este corect numai în ipoteza că funcția f este funcție de x și nu de x0.

Alte convenții

modificare

Transformata Fourier poate fi scrisă în termenii frecvenței unghiulare :   ω = 2πξ, care are ca unitate de măsură radianul/secundă.

Substituția ξ = ω/(2π) în formulele de mai sus conduc la convenția :

 

Sub această convenție, transformata inversă devine:

 

Această convenție nu este o transformare unitară pe L2(Rn). De asemenea nu există simetrie între transformata Fourier și inversa ei.

O altă convenție este aceea de a împărți factorul (2π)n uniform între transformata Fourier și inversa ei, ceea ce conduce la definiția:

 
 

Sub această convenție, transformata Fourier este o transformare unitară pe L2(Rn). De asemenea este restaurată simetria dintre transformata Fourier și inversa ei.

Variații ale acestor convenții se pot crea prin conjugarea nucleului exponențial complex atât în sens direct, cât și în sens invers al transformării, dar semnele exponențialei trebuie să fie opuse.

Sumarul celor mai populare forme ale transformatei Fourier
frecvența ordinară ξ (hertz) unitară  

 

frecvența unnghiulară ω (rad/s) neunitară  

 

unitară  

 

Așa cum s-a discutat mai sus, funcția caracteristică a unei variabile aleatoare este la fel ca transformata Fourier-Stieltjes a măsurii distribuției ei, dar în acest context este tipic să luăm o convenție diferită pentru constante. Funcția caracteristică tipică este definită astfel  . Precum în convenția din cazul "frecvență unghiulară neunitară", nu există factorul 2π care să apară în ambele integrale, sau la exponețială.

Tabelul celor mai importante transformări Fourier

modificare

Următorul tabel conține câteva forme închise ale transformatei. Pentru funcțiile ƒ(x) , g(x) și h(x) s-au notat cu  ,   și   transformatele lor Fourier. Sunt incluse numai cele trei convenții comune. De notat că intrarea 105 dă o relație între transformata Fourier a unei funcții și funcția originală, după cum se poate vedea din convenția transformatei Fourier și a inversei ei.

Relații functionale

modificare

Transformatele Fourier din acest tabel pot fi găsite în (Erdélyi 1954), sau în apendixul lui (Kammler 2000).

Funcția Transformata Fourier
unitară, frecvență ordinară
Transformata Fourier
unitară, frecvență unghiulară
Transformata Fourier
neunitară, frecvență unghiulară
Observații
   

 

    

 

Definiție
101         Liniaritate
102         Deplasare în domeniul timp
103         Deplasare în domeniul frecvenței, duală lui 102
104         Scara în domeniul timp. Dacă   este mare, atunci   tinde către 0, iar   se întinde și se aplatizează.
105         Dualitate. Aici   trebuie calculată folosind aceeași metodă precum coloana transformatei Fourier. Rezultă din schimbarea variabilei "fictive"   și   sau   sau  .
106        
107         Aceasta este duală cu 106
108         Notația   indică convoluția lui   cu   — regula fiind dată de teorema convolution
109         Aceasta este duală cu 108
110 Pentru   funcție reală       Simetrie Hermitiană.   indică complex conjugata.
111 Pentru   funcție pară reală  ,   și   sunt funcții pare reale.
112 Pentru   funcție impară reală  ,   și   sunt funcții impare imaginare.

Funcții de pătrat-integrable

modificare

Transformările Fourier din acest tabel pot fi găsite în (Campbell & Foster 1948), (Erdélyi 1954), sau în appendixul lui (Kammler 2000).

Funcția Transformata Fourier
unitară, frecvență ordinară
Transformata Fourier
unitară, frecvență unghiulară
Transformata Fourier
neunitară, frecvență unghiulară
Observații
   

 

 

 

 

 

201         Pulsul dreptunghiular și funcția sinc normalizată, aici definită ca sinc(x) = sin(πx)/(πx)
202         Duală cu 201. Funcția dreptunghiulară este un filtru trece-jos ideal, iar funcția sinc este funcția regulată de răspuns la impuls al acestui tip de filtru.
203         Funcția tri(x) este funcția triunghiulară
204         Duală cu 203.
205         Funcția u(x) este funcția treaptă Heaviside, cu a>0.
206         Arată că, pentru transformarea Fourier unitară, funcția lui Gauss - exp(−αx2) este propria ei transformă Fourier funcție de α. Pentru a fi integrabilă trebuie să avem Re(α)>0.
207         Pentru a>0. Adică, transformata Fourier a unei funcții care descrește exponențial este o funcție Lorentz.
208         Secanta hiperbolică este propria ei transformată Fourier
209    

   

 

   

 

   

Valoare proprie, dacă  ;   este polinom. Formula se reduce la to 206 pentru  .

Distribuții

modificare

Transformările Fourier din acest tabel pot fi găsite în (Erdélyi 1954), sau în appendixul lui (Kammler 2000).

Funcția Transformata Fourier
unitară, frecvență ordinară
Transformata Fourier
unitară, frecvență unghiulară
Transformata Fourier
neunitară, frecvență unghiulară
Observații
   

 

 

 

 

 

301         Distribuția δ(ξ) este funcția lui Dirac.
302         Duală cu 301.
303         Rezultă din 103 și 301.
304         Rezultă din 101 și 303 folosind formula lui Euler:  
305         Rezultă din 101 și 303 folosind  
306        
307        
308         Aici, n este un număr natural, iar   este derivata distribuției de odinul n-th a funcției lui Dirac. Rezultă din 107 și 301. Combinând aceasta cu 101, putem transforma toate polinoamele.
309         Aici, sgn(ξ) este funcția semn. De notat că 1/x nu este o distribuție. Este necesar să folosim valoarea principală Cauchy când testăm față de funcția Schwartz. Această regulă este folositoare în studiul transformării Hilbert.
310         1/xn este o distribuție omogenă definită prin derivata de distribuție  
311         Această formulă este valabilă pentru 0 > α > −1. pentru α > 0 apar unii termeni singulari în origine care pot fi găsiți diferențiind 318. Dacă Re α > −1, atunci   este o funcție local integrabilă, deci o distribuție temperată. Funcția   este olomorfică în semiplanul dreapt al spațiului distribuțiilor temperate. Ea admite o extensie meromorfică unică spre o distribuție temperată, notată   for α ≠ −2, −4, ... (Vezi distribuție omogenă.)
312         Duală cu 309. De astă dată transformata Fourier trebuie considerată ca valoarea principală Cauchy.
313         Function u(x) este funcția treaptă Heaviside; rezultă din 101, 301 și 312.
314         Această funcție este cunoscută ca funcția pieptăne a lui Dirac. Acest rezultat poate fi derivat din 302 și 102, împreună cu faptul că   ca distribuție.
315         Funcția J0(x) este funcția Bessel de speța I și ordin zero.
316         Acesta este o generalizare a lui 315. Funcția Jn(x) este funcția Bessel de speța I și ordin n. Funcția Tn(x) este un polinom Cebîșev de prima speță.
317           este constanta Euler–Mascheroni .
318         Această formulă este valabilă pentru 1 > α > 0. Se folosește diferențierea pentru a obține formula exponenților de ordin înalt.   este funcția lui Heaviside.

Funcții bidimensionale

modificare
Funcțiile (400 la 402) Transformata Fourier
unitară, frecvență ordinară
Transformata Fourier
unitară, frecvență unghiulară
frecvență Fourier
neunitară, frecvență unghiulară
   

 

 

 

 

 

       
       
Observații

La 400: Variabilele ξx, ξy, ωx, ωy, νx și νy sunt numere reale. Integrarea se face pe întregul plan.

La 401: Ambele funcții sunt Gaussiene,care pot să nu aibă volum unitate.

La 402: Funcția este definită pe cercul(r)=1 0≤r≤1, și este 0 în afara lui. Aceasta este o distribuție Airy și se exprimă folosind J1 (funcția Bessel de speța I și ordinul 1). (Stein & Weiss 1971, Thm. IV.3.3)

Formule pentru funcții generale n-dimensionale

modificare
Funcție Transformata Fourier
unitară, frecvență ordinară
Transformata Fourier
unitară, frecvență unghiulară
frecvență Fourier
neunitară, frecvență unghiulară
500    

 

    

 

501    
 
 
 
 
 
502    
Observații

La 501: Funcția χ[0,1] este funcția indicator pe intervalul [0, 1]. Funcția Γ(x) este funcția gamma. Funcția Jn/2 + δ este o funcție Bessel de speța I, de ordin n/2 + δ. Luând n = 2 și δ = 0 se obține 402. (Stein & Weiss 1971, Thm. 4.13)

La 502: Vezi potențial Riesz. Formula este valabilă și pentru toate valorile α ≠ −n, −n − 1, ... prin continuitate analitică, dar atunci funcția și transformata ei Fourier trebuie înțeleasă ca distribuție temperată regulată convenabilă. Vezi distribuție omogenă.

Vezi și

modificare

Bibliografie

modificare
  • Boashash, B., ed. (), Time-Frequency Signal Analysis and Processing: A Comprehensive Reference, Oxford: Elsevier Science, ISBN 0080443354 
  • Bochner S., Chandrasekharan K. (), Fourier Transforms, Princeton University Press 
  • Bracewell, R. N. (), The Fourier Transform and Its Applications (ed. 3rd), Boston: McGraw-Hill, ISBN 0071160434 .
  • Campbell, George; Foster, Ronald (), Fourier Integrals for Practical Applications, New York: D. Van Nostrand Company, Inc. .
  • Duoandikoetxea, Javier (), Fourier Analysis, American Mathematical Society, ISBN 0-8218-2172-5 .
  • Dym, H; McKean, H (), Fourier Series and Integrals, Academic Press, ISBN 978-0122264511 .
  • Erdélyi, Arthur, ed. (), Tables of Integral Transforms, 1, New Your: McGraw-Hill 
  • Fourier, J. B. Joseph (), Théorie Analytique de la Chaleur, Paris 
  • Grafakos, Loukas (), Classical and Modern Fourier Analysis, Prentice-Hall, ISBN 0-13-035399-X .
  • Hewitt, Edwin; Ross, Kenneth A. (), Abstract harmonic analysis. Vol. II: Structure and analysis for compact groups. Analysis on locally compact Abelian groups, Die Grundlehren der mathematischen Wissenschaften, Band 152, Berlin, New York: Springer-Verlag, MR 0262773 .
  • Hörmander, L. (), Linear Partial Differential Operators, Volume 1, Springer-Verlag, ISBN 978-3540006626 .
  • James, J.F. (), A Student's Guide to Fourier Transforms (ed. 3rd), New York: Cambridge University Press, ISBN 978-0-521-17683-5 .
  • Kaiser, Gerald (), A Friendly Guide to Wavelets, Birkhäuser, ISBN 0-8176-3711-7 
  • Kammler, David (), A First Course in Fourier Analysis, Prentice Hall, ISBN 0-13-578782-3 
  • Katznelson, Yitzhak (), An introduction to Harmonic Analysis, Dover, ISBN 0-486-63331-4 
  • Knapp, Anthony W. (), Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton University Press, ISBN 978-0-691-09089-4 
  • Pinsky, Mark (), Introduction to Fourier Analysis and Wavelets, Brooks/Cole, ISBN 0-534-37660-6 
  • Polyanin, A. D.; Manzhirov, A. V. (), Handbook of Integral Equations, Boca Raton: CRC Press, ISBN 0-8493-2876-4 .
  • Rudin, Walter (), Real and Complex Analysis (ed. Third), Singapore: McGraw Hill, ISBN 0-07-100276-6  Parametru necunoscut |unused_data= ignorat (ajutor).
  • Stein, Elias; Shakarchi, Rami (), Fourier Analysis: An introduction, Princeton University Press, ISBN 0-691-11384-X .
  • Stein, Elias; Weiss, Guido (), Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, ISBN 978-0-691-08078-9 .
  • Wilson, R. G. (), Fourier Series and Optical Transform Techniques in Contemporary Optics, New York: Wiley, ISBN 0471303577 .
  • Yosida, K. (), Functional Analysis, Springer-Verlag, ISBN 3-540-58654-7 .

Legături externe

modificare