Wykład 2. Transformata Fouriera

Podobne dokumenty
Szeregi funkcyjne. Szeregi potęgowe i trygonometryczne. Katedra Matematyki Wydział Informatyki Politechnika Białostocka

Dystrybucje, wiadomości wstępne (I)

Dystrybucje. Marcin Orchel. 1 Wstęp Dystrybucje Pochodna dystrybucyjna Przestrzenie... 5

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

II. RÓŻNICZKOWANIE I CAŁKOWANIE NUMERYCZNE Janusz Adamowski

Informacja o przestrzeniach Hilberta

Całka podwójna po prostokącie

Ważną rolę odgrywają tzw. funkcje harmoniczne. Przyjmujemy następującą definicję. u = 0, (6.1) jest operatorem Laplace a. (x,y)

uzyskany w wyniku próbkowania okresowego przebiegu czasowego x(t) ze stałym czasem próbkowania t takim, że T = t N 1 t

13 Równanie struny drgającej. Równanie przewodnictwa ciepła.

Lista 1. (e) z działaniem dodawania ciągów i mnożeniem ciągu przez liczbę. (f) z działaniem dodawania ciągów i mnożeniem ciągu przez liczbę

Równanie przewodnictwa cieplnego (I)

1 Relacje i odwzorowania

Nieskończona jednowymiarowa studnia potencjału

Wykład 6 Centralne Twierdzenie Graniczne. Rozkłady wielowymiarowe

RACHUNEK PRAWDOPODOBIEŃSTWA WYKŁAD 3.

Jeśli wszystkie wartości, jakie może przyjmować zmienna można wypisać w postaci ciągu {x 1, x 2,...}, to mówimy, że jest to zmienna dyskretna.

Transformata Fouriera

Analiza matematyczna 2 zadania z odpowiedziami

9. Dyskretna transformata Fouriera algorytm FFT

Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Całki nieoznaczone

Całki niewłaściwe. Całki w granicach nieskończonych

Zagadnienia brzegowe dla równań eliptycznych

ANALIZA MATEMATYCZNA 2 zadania z odpowiedziami

27. RÓWNANIA RÓŻNICZKOWE CZĄSTKOWE

Wykład Matematyka A, I rok, egzamin ustny w sem. letnim r. ak. 2002/2003. Każdy zdający losuje jedno pytanie teoretyczne i jedno praktyczne.

TRANSFORMATA FOURIERA

Matematyczne Metody Fizyki II

Prawdopodobieństwo i statystyka

Literatura. Leitner R., Zacharski J., Zarys matematyki wyŝszej dla studentów, cz. III.

Układy stochastyczne

Biostatystyka, # 3 /Weterynaria I/

Prawdopodobieństwo i statystyka

Całki podwójne. Definicja całki podwójnej. Jacek Kłopotowski. 25 maja Katedra Matematyki i Ekonomii Matematycznej

Przetwarzanie i transmisja danych multimedialnych. Wykład 8 Transformaty i kodowanie cz. 2. Przemysław Sękalski.

Wykład 1. Przestrzeń Hilberta

VIII. Zastosowanie rachunku różniczkowego do badania funkcji. 1. Twierdzenia o wartości średniej. Monotoniczność funkcji.

n=0 (n + r)a n x n+r 1 (n + r)(n + r 1)a n x n+r 2. Wykorzystując te obliczenia otrzymujemy, że lewa strona równania (1) jest równa

Wykład 2: Szeregi Fouriera

Matematyka II. Bezpieczeństwo jądrowe i ochrona radiologiczna Semestr letni 2018/2019 wykład 13 (27 maja)

Rachunek różniczkowy i całkowy 2016/17

RÓŻNICZKOWANIE FUNKCJI WIELU ZMIENNYCH: rachunek pochodnych dla funkcji wektorowych. Pochodne cząstkowe funkcji rzeczywistej wielu zmiennych

Wykład 1. Przestrzeń Hilberta

Funkcje charakterystyczne zmiennych losowych, linie regresji 1-go i 2-go rodzaju

7 Twierdzenie Fubiniego

Jednowymiarowa zmienna losowa

RÓWNANIA RÓŻNICZKOWE WYKŁAD 2

Wykłady z Matematyki stosowanej w inżynierii środowiska, II sem. 2. CAŁKA PODWÓJNA Całka podwójna po prostokącie

Ważne rozkłady i twierdzenia c.d.

Matematyka I. Bezpieczeństwo jądrowe i ochrona radiologiczna Semestr zimowy 2018/2019 Wykład 12

5 Równania różniczkowe zwyczajne rzędu drugiego

- prędkość masy wynikająca z innych procesów, np. adwekcji, naprężeń itd.

1 Szeregi potęgowe. 1.1 Promień zbieżności szeregu potęgowego. Wydział Informatyki, KONWERSATORIUM Z MATEMATYKI, 2008/2009.

Równanie Schrödingera

1. Liczby zespolone Stwierdzić kiedy kwadrat liczby zespolonej jest liczbą. (i) rzeczywistą, (ii) ujemną, (iii) tylko urojoną?

METODY MATEMATYCZNE I STATYSTYCZNE W INŻYNIERII CHEMICZNEJ

Wykłady ostatnie. Rodzinę P podzbiorów przestrzeni X nazywamy σ - algebrą, jeżeli dla A, B P (2) A B P, (3) A \ B P,

8 Całka stochastyczna względem semimartyngałów

2 Równania różniczkowe zwyczajne o rozdzielonych zmiennych

Całka nieoznaczona, podstawowe wiadomości

Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u

Równania różniczkowe cząstkowe drugiego rzędu

Statystyka i eksploracja danych

KURS SZEREGI. Lekcja 10 Szeregi Fouriera ZADANIE DOMOWE. Strona 1

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

Szeregi Fouriera. Grzegorz Lysik. 1. Motywacja szeregów Fouriera, równanie ciepła.

Wykład VI Dalekie pole

Rachunek całkowy funkcji wielu zmiennych

Analiza funkcjonalna 1.

Transformacje Fouriera * podstawowe własności

Przykładowe zadania z teorii liczb

dr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;

Transformaty. Kodowanie transformujace

Elementy rachunku różniczkowego i całkowego

Definicja i własności wartości bezwzględnej.

FFT i dyskretny splot. Aplikacje w DSP

III. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

1 Symulacja procesów cieplnych 1. 2 Algorytm MES 2. 3 Implementacja rozwiązania 2. 4 Całkowanie numeryczne w MES 3. k z (t) t ) k y (t) t )

Kubatury Gaussa (całka podwójna po trójkącie)

Lista 6. Kamil Matuszewski 13 kwietnia D n =

Liczby zespolone. x + 2 = 0.

Rachunek różniczkowy i całkowy w przestrzeniach R n

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

1 Funkcje dwóch zmiennych podstawowe pojęcia

Prawdopodobieństwo i statystyka

FUNKCJE ZESPOLONE Lista zadań 2005/2006

1. Wykład NWD, NWW i algorytm Euklidesa.

Podstawy Automatyki. wykład 1 ( ) mgr inż. Łukasz Dworzak. Politechnika Wrocławska. Instytut Technologii Maszyn i Automatyzacji (I-24)

Lista. Przestrzenie liniowe. Zadanie 1 Sprawdź, czy (V, +, ) jest przestrzenią liniową nadr :

Wykład 14 i 15. Równania różniczkowe. Równanie o zmiennych rozdzielonych. Definicja 1. Równaniem różniczkowym zwyczajnym rzędu n nazywamy równanie

Analiza Matematyczna MAEW101

CAŁKI NIEOZNACZONE C R}.

Przeksztacenie Laplace a. Krzysztof Patan

Równanie przewodnictwa cieplnego (II)

Zadania do Rozdziału X

ANALIZA MATEMATYCZNA Z ELEMENTAMI STATYSTYKI MATEMATYCZNEJ

Pokazać, że wyżej zdefiniowana struktura algebraiczna jest przestrzenią wektorową nad ciałem

Wykłady... b i a i. i=1. m(d k ) inf

VI. Równania różniczkowe liniowe wyższych rzędów

Rozdział XV CAŁKI KRZYWOLINIOWE. CAŁKA STIELTJESA

Transkrypt:

Wykład 2. Transformata Fouriera Transformata Fouriera jest podstawowym narzędziem analizy harmonicznej i teorii analizy i przetwarzania sygnału. Z punktu widzenia teorii matematycznej transformata Fouriera jest narzędziem występującym w przypadku analizy przestrzeni L 2 G), funkcji całkowalnych z kwadratem na grupie przemiennej G. W zastosowaniach transformaty Fouriera używamy najczęściej gdy G = R grupą są liczby rzeczywistezdodawaniem),g =[, ] grupą są liczby rzeczywiste z przedziału [, ], z utożsamionymi końcami, działaniem jest dodawanie modulo )oraz G = Z n grupą są liczby całkowite {,,...,n } z dodawaniem modulo n). Transformata Fouriera przetwarza funkcję z danej przestrzeni w ten sposób, że wyeksponowane są jej własności okresowe, częstotliwościowe tak zwane spektrum funkcji). Przekształcenie jest bezstratne, i funkcja może zostać zrekonstruowana ze swojej transformaty Fouriera. Transformata Fouriera po raz pierwszy pojawiła się przy okazji badania zjawiska przepływu ciepła, obecnie pojawia się w wielu dziedzinach matematyki i w wielu praktycznych zastosowaniach. Opiszemy teraz kolejno wymienione wyżej konkretne przykłady. Tradycyjnie zastosowanie transformaty Fouriera oznacza się przez dodanie do symbolu funkcji daszka ˆ. a)transformata Fouriera w L 2 R). Transformata zadana jest wzorem 2.) ˆfξ) = fx) e ixξ dx, f L 2 R). R W tym przypadku transformata jest przekształceniem L 2 R) wsiebie, ˆf L 2 R). Przekształcenie odwrotne do transformaty, czyli rekonstrukcja funkcji dane jest podobnym wzorem ˆfξ) e iξx dξ. Prawdziwa jest następująca równość, często nazywana równością Plancherela. R ˆf = f. Przykład. Obliczymy transformatę funkcji charakterystycznej odcinka [, ] { x [, ] x/ [, ]. Podstawiamy do wzoru ˆfξ) = fx)e ixξ dx = R e ixξ dx = iξ e ixξ x= = iξ e iξ e iξ) = 2sinξ. ξ Funkcja podcałkowa fx)e ixξ może nie być całkowalna na R założyliśmy tylko że jest całkowalna z kwadratem). Wtedy transformatę możemy wyliczyć ze wzoru M 2. ) ˆfξ)= lim fx) e ixξ dx M M granica w L 2 R). Własności. Przy założeniu, że wszystkie występujące funkcje należą do L 2 R)mamy następujące wzory. Przesunięcie w czasie gx) =fx c) ĝξ) =e iuξ ˆfξ),

2 fx) f^ξ) Przykład funkcji na prostej i jej transformaty Fouriera modulacja skalowanie pochodna w czasie pochodna w spektrum gx) =e iωx fx) ĝξ) = ˆfξ ω), gx) =fx/s) ĝξ) =s ˆfsξ), s >, gx) =f x) ĝξ) =iξˆfξ), gx) = ixfx) ĝξ) = ˆf ξ). Jako zastosowanie powyższych własności policzymy transformatę Fouriera funkcji Gaussa e x2 /2. Obliczymy pochodną transformaty. Będziemy różniczkowali pod znakiem całki i zastosujemy całkowanie przez części. ˆf ξ) = d dξ = = i e x2 /2 e ixξ dx = e x2 /2 d e ixξ ) dx dξ e x2 /2 ix) e ixξ d dx = i dx e ixξ ) dx = i) 2 ξ = ξ ˆfξ). e x2 /2 d dx e x2 /2 ) e ixξ dx e x2 /2 e ixξ dx Nietrudno pokazać, że funkcja F ξ)spełniająca powyższe równanie różniczkowe musi mieć postać Wartość ˆf)to jedna z dobrze znanych całek F ξ) =F ) e ξ2 /2. e x2 /2 dx =.

3 Tak więc ostatecznie ˆfξ) = e ξ/2. b)transformata Fouriera w L 2 [, ]). W tym przypadku transformata jest po prostu rozkładem funkcji na współczynniki bazowe względem układu Fouriera stąd zbieżność nazwy). Funkcji przyporządkowany jest jej ciąg współczynników Fouriera ˆfn) = fx)e inx dx. Jest to przekształcenie L 2 [, ])w L 2 Z) ={{α n } n= : n= α n 2 < }, zachowujące długość wektorów ˆf = ˆfn) 2 = fx) 2 dx = f. n= Przekształceniem odwrotnym jest szereg Fouriera 2.2) n= ˆfn)e inx, gdzie zbieżność i równość zachodzi w L 2 [, ]), zgodnie z.3). Przykład. Obliczymy współczynniki Fouriera funkcji { x π π<x. Symetryczna fala prostokątna f jest bardzo pospolitą, często spotykaną w praktyce funkcją. Jeżeli rozważyć ją jako okresową funkcję na całej prostej R, to jest zwykła fala prostokątna. Sygnały takie pojawiają się w każdym układzie elektronicznym zawierającym mikroprocesory. Obliczmy najpierw ˆf). Podstawiając do wzoru otrzymujemy ˆf)= fx) dx = π dx + dx =. π

4 Teraz obliczmy pozostałe współczynniki. Niech n. Rozdzielając całkę jak poprzednio otrzymujemy 2.3) ˆfn) = π e inx in e inx dx e inx dx = π = e inπ e in e in + e inπ) = in { 2 iπn = n parzyste. π x= e inx in in 2 )n 2) x=π Przybliżenie funkcji f harmonicznymi do 3 i do 9 włącznie. Otrzymujemy więc z 2.2)następujące rozwinięcie naszej funkcji fx)w szereg = 4 π n= 2 iπn einx = sin 3x sin 5x sin x + + +... 3 5 2 e inx e inx) = iπn ). 4 πn sin nx Można udowodnić, że równość powyższa zachodzi w każdym punkcie przedziału [, ], z wyjątkiem,π, w tych punktach prawa strona jest ). Analizując kolejne sumy częściowe powyższego rozwinięcia możemy zauważyć zjawisko Gibbsa: po obu stronach nieciągłości skokowej funkcji f w jej przybliżeniu pojawiają się lokalne maksima. Ich wysokość nie zmniejsza się, natomiast przesuwają się w stronę nieciągłości, i stają się coraz bardziej strome. Elektronicy nazywają je zakłóceniami szpilkowymi. Takie szpilki pojawiają się zawsze przy skokach analizowanej funkcji f, i ich wysokość jest proporcjonalna do wysokości skoku. Jako zastosowanie 2.3)otrzymamy następującą równość 2.4) n 2 = π2 6. Stosując 2.3)i równość Plancherela n= ˆfn) 2 = fx) 2 dx

5 otrzymujemy czyli Z drugiej strony n= 4 π 2 n 2 =2 n 2 = π2 8. 4 π 2 n 2 =, n 2 = = 3 4 n 2 n 2. n parzyste Łącząc powyższe równości otrzymujemy 2.4). n 2 = n 2 2n) 2 = n 2 4 c)transformata Fouriera w L 2 Z n ), tak zwana dyskretna transformata Fouriera. Elementami L 2 Z n ) są wektory o n współrzędnych x =x),x),...,xn )). W tym przypadku transformata Fouriera jest to przekształcenie L 2 Z n )na siebie, zadane wzorem n ˆxk) = xj)e ijk/n, k =,...,n. Jak łatwo sprawdzić odwrotna transformata Fouriera dana jest wzorem i zachodzi równość Plancherela xk) = n j= n j= ˆxj)e ijk/n, k =,...,n, ˆx = n x, x = x) 2 + + xn ) 2. Dyskretna transformata Fouriera bardzo często pojawia się w zastosowaniach. Jest używana do numerycznego obliczania ciągłej transformaty funkcja na R jest najpierw próbkowana), oraz istnieje szybki algorytm do jej obliczania - tak zwana szybka transformata Fouriera FFT). Zróbmy jeszcze następującą obserwację. Niech a<bbędądowolnymi liczbami i rozważmy następującą funkcję f na prostej { x [a, b], poza tym. Funkcja f żyje więc jedynie na odcinku [a, b]. Z drugiej strony, jak łatwo policzyć ˆfξ) =e iξa+b)/2 2sin ξ b a) 2 Transformata żyje więc na całej prostej, maleje powoli, tak jak /ξ. Mówimy, że transformata Fouriera nie jest lokalna: zmiana funkcji która jest ograniczona tylko do jakiegoś, być może bardzo małego, przedziału powoduje zmianę transformaty na całej prostej. Patrząc się na transformatę funkcji łatwo ξ ). n 2

6 jest zauważyć występowanie oscylacji transformata jest duża w okolicy odpowiedniej częstotliwości. Nie jest natomiast łatwo, bez obliczania transformaty odwrotnej, stwierdzić, gdzie ta oscylacja miała miejsce. Tą własność transformaty można ująć bardzo konkretnie, jako tak zwaną zasadę nieoznaczoności Heisenberga. Niech f L 2 R). Wprowadźmy następujące oznaczenia m = x fx) 2 dx, f ζ = ξ f ˆfξ) 2 dξ. m i ζ oznaczają więc wartości oczekiwane średnie) f 2 i ˆf 2. Wprowadźmy też oznaczenia na odchylenia standardowe wokół tych średnich σx 2 = x m) 2 fx) 2 dx f σξ 2 = ξ ζ) 2 f ˆfξ) 2 dξ. Zasada Nieoznaczoności Heisenberga. Dla dowolnej funkcji f L 2 R) zachodzi nierówność σ x σ ξ 2. Równość zachodzi tylko dla funkcji Gaussa. Innymi słowy, jeżeli fx) 2 jest skupiona wokół swojej średniej, to ˆfξ) 2 musi być rozproszona, i na odwrót. Sploty Wprowadzimy pojęcie splotu funkcji. Podobnie jak w przypadku transformaty Fouriera pojęcie splotu można zawsze wprowadzić dla funkcji określonych na przestrzeni, która jest również grupą przemienną. Wprowadzimy więc splot dwóch funkcji na prostej R dwóch funkcji na odcinku [, ] f gx) = fx y)gy) dy, x R, f gx) = fx y)gy) dy, x [, ], dwóch ciągów nieskończonych α = {α k } k=, β = {β k} k= α β) k = α k l β l, k Z, l= oraz dwóch ciągów skończonych α, β L 2 Z n ) n α β) k = α k l β l, k =,...,n. l= W przypadku splotu na odcinku [, ] różnicęx y pod całką należy rozumieć modulo, albo funkcję f traktować jako okresową na prostej. Podobnie, w przypadku splotu ciągów skończonych różnicę k l pod sumą rozumiemy jako różnicę modulo n, albo ciąg α traktujemy jako ciąg nieskończony okresowy, o okresie n. W każdym przypadku splot jest przemienny, co można łatwo pokazać przez zamianę zmiennych lub indeksu sumowania. Będziemy korzystać z następujących własności splotów.

7 Własności. a)na prostej f gξ) = ˆfξ) ĝξ), f gξ) = ˆf ĝξ), na odcinku f gn) = ˆfn)ĝn), f gn) =ˆf ĝ)n splot ciągów), oraz dla ciągów skończonych α β) k =ˆα k ˆβk, α β)k =ˆα ˆβ) k. Splot f g dwóch funkcji z L 2 R)jest funkcją ciągłą, ale nie musi być ani całkowalna ani całkowalna z kwadratem. W takiej sytuacji transformatę Fouriera f g można policzyć podobnie jak we wzorze 2. ). Znaczenie splotów dla analizy sygnałów bierze się stąd, że większość operacji przekształcających sygnały w praktyce ma właśnie postać splotu. Innymi słowy, większość operacji na sygnałach można przedstawić jako splot z pewną funkcją. Biorąc pod uwagę powyższe własności oznacza to że operacje na sygnałach, po stronie transformaty Fouriera, mają postać mnożenia przez funkcję. Operacje takie nazywamy filtrami.