Fourierov red
Fourierove tranformacije |
---|
Neprekidna Fourierova transformacija |
Fourierov red |
Diskretna Fourierova transformacija |
Fourierova transformacija diskretnog vremena |
U matematici, Fourierov red rastavlja periodičnu funkciju u sumu jednostavnih oscilatornih funkcija, to jest, u sinuse i kosinuse. Proučavanje Fourierovih redova je grana Fourierove analize. Fourierove redove uveo je Joseph Fourier (1768–1830) u svrhu rješavanja toplotne jednačine u metalnoj ploči. Ovo je dovelo do revolucije u matematici, tjerajući matematičare da preispitaju temelje matematike, što je dovelo do mnogih modernih teorija, kao što je Lebesgueova integracija.
Toplotna jednačina je parcijalna diferencijalna jednačina. Prije Fourierovog rada, nije postojalo poznato rješenje toplotne jednačine u općem slučaju, iako su pojedinačna rješenja bila poznata ako se izvor toplote ponašao na jednostavan način, naprimjer, ako je toplotni izvor bio sinusni ili kosinusni talas. Ove jednostavne situacije se sad ponekad nazivaju sopstvena rješenja. Fourierova ideja je bila da se uzme komplikovani izvor toplote kao superpozicija (ili linearna kombinacija) jednostavnih sinusnih i kosinusnih talasa, te da se rješenja napiše kao superpozicija odgovarajućih sopstvenih rješenja. Ovaj superpozicija ili linearna kombinacije naziva se Fourierov red.
Iako je prvobitna motivacija bila riješiti toplotnu jednačinu, kasnije je postalo očito da ista tehnika može biti primijenjena na širok spektar matematičkih i fizičkih problema. Osnovne rezultate lahko je razumijeti koristeći se modernom teorijom.
Fourierovi redovi imaju mnogo primijena u elektrotehnici, analizi vibracija, akustici, optici, procesuiranju signala, procesuiranju slika, kvantnoj mehanici, i tako dalje.
Historijski razvoj
[uredi | uredi izvor]Fourierov red dobio je naziv u čast Josepha Fouriera (1768-1830), koji je dao važan doprinos proučavanju trigonometrijskih redova, nakon početnih proučavanja od strane Leonharda Eulera, Jeana le Rond d'Alemberta i Daniela Bernoullija. Ovu je tehniku primijenio je kako bi pronašao rješenje toplotne jednačine, a svoje početne rezultate objavio je 1807. i 1811. godine, dok je Théorie analytique de la chaleur objavio 1822. godine.
Sa modernog stajališta, Fourierovi rezultati su, na neki način, neformalni, zbog nepreciznog označavanja funkcije i integrala u ranom 19. vijeku. Kasnije, Dirichlet i Riemann izrazili su Fourierove rezultate sa većom preciznošću i formalnošću.
Revolucionarni članak
[uredi | uredi izvor]“ |
Množeći obe strane sa , a zatim ih integrisati u granicama od do , daje nam:
|
” |
Joseph Fourier, Mémoire sur la propagation de la chaleur dans les corps solides, pp. 218--219.[1] |
U ovih nekoliko linija, koje su jako bliske modernom formalizmu koristenom kod Fourierovih redova, Fourier je nenamjerno doveo do revolucije u matematici i fizici. Iako je slične trigonometrijske redove prethodno koristio Euler, d'Alembert, Daniel Bernoulli i Gauss, Fourier je vjerovao da takvi trigonometrijski redovi mogu predstavljati proizvoljne funkcije. Iako ovo nije tačno, pokušaji tokom mnogo godina kako bi se ova ideja klasifikovala dovelo je do važnih otkrića u teorijama konvergencije, funkcionalnih prostora i harmonijske analize.
Kada je Fourier objavio svoj rad 1807. godine, komitet (kojeg su, između ostalih, činili ne manje značajniji matematičari od Lagrangea, Laplacea, Malusa i Legendrea) jeste zaključio: ...način na koji autor stiže do ovih jednačina nije oslobođen od poteškoća i [...] njegova analiza da ih integriše još uvijek ostavlja nešto što bi bilo traženo kao rezultat većine, pa čak i strogost.
Rođenje harmonijske analize
[uredi | uredi izvor]Od Fourierovog vremena, otkriveni su mnogi različiti pristupi kako de se definisao i razumio koncept Fourierovih redova, gdje su svi dosljedni jedni drugima, ali gdje svaki naglašava različite aspekte ove tematike. Neke od moćnijih i elegantnijih prostupa su bazirane na matematičkih idejama i alatima koji nisu bili dostupni u vrijeme kada je Fourier završio svoj originalni rad. Fourier je, originalno, definisao Fourierov red za funkcije realne vrijednosti realnih argumenata, te je koristio sinusne i kosinusne funkcije kao bazni skup za razvijanje.
Od tada su definisane mnoge druge transformacije vezane za Fouriera, proširujući početnu ideju na druge primjene. Ovo opće područje ispitivanja se sada, ponekad, naziva harmonijska analiza. Fourierovi se redovi, međutim, mogu koristiti samo za periodične signale.
Definicija
[uredi | uredi izvor]U ovom dijelu, ƒ(x) označava funkciju realne varijable x. Ova se funkcija, obično, uzima kao periodična sa periodom od 2π, što znači da vrijedi ƒ(x + 2π) = ƒ(x), za sve realne brojeve x. Pokušat ćemo napisati takvu funkciju u vidu beskonačne sume, ili reda jednostavnijih funkcija. Počet ćemo koristeći beskonačnu sumu sinusnih i kosinusnih funkcija na intervelu [−π, π], kao što je i sam Fourier radio (pogledajte citat iznad), a zatim ćemo diskutovati različite formulacije i generalizacije.
Fourierova formula za 2π-periodične funkcije koristeći se sinusima i kosinusima
[uredi | uredi izvor]Za 2π-periodičnu funkciju ƒ(x) koja nije integrabilna na intervalu [−π, π], brojevi
i
se nazivaju Fourierovim koeficijentima od ƒ. Beskonačna suma
je Fourierov red od funkcije ƒ na intervalu [−π, π].
Fourierov red ne konvergira uvijek, a čak i kada konvergira, vrijednost reda može se razlikovati od vrijednosti funkcije. Jedno od glavnih pitanja u harmonijskoj analizi je da se odredi kada red konvergira, a kada je jednak originalnoj funkciji. Ako je funkcija kvadrat integrabilna funkcija na intevalu [−π, π], tada Fourierov red konvergira u funkciju u skoro svakoj tački. U inženjerskim primjenama, za Fourierov red se, u općem slučaju, pretpostavlja da konvergira svuda osim u tačkama prekida, pošto se funkcije, na koje nailazimo u inženjerstvu, bolje ponašaju od onih koje matematičari mogu dati kao kontra-primjere za ovu pretpostavku. Pojedinačno, Fourierov red konvergira apsolutno i uniformno u ƒ(x) kad god je derivacija od ƒ(x) (koja ne mora postajati svuda) kvanrat integrabilna.[2] Pogledajte članal: Konvergencija Fourierovog reda.
Moguće je definisati Fourierove koeficijente za općenitije funkcije ili raspodjele, gdje, u takvim slučajevima, imamo interes za određivanjem konvergencije, po pravilu slabe konvergencije.
Primjer: jednostavan Fourierov red
[uredi | uredi izvor]Sada koristimo formule, date u odjeljku iznad, kako bi jednu jednostavnu funkciju rzvili u Fourierov red. Uzmino jednu testerastu funkciju (pogledajte sliku):
U ovom slučaju, Fourierovi koeficijenti su dati kao
A odatle imamo:
-
(
)
Može se primijetiti da funkcija razvijena u Fourierov red izgleda mnogo manje jednostavna od formule ƒ(x) = x, te nije odmah očito zašto si nam bio potreban ovaj Fourierov red. Dok postoje mnoge primjene, naglasit ćemo Fourierovu motivaciju da riješi toplotnu jednačinu. Naprimjer, zamislite metalnu ploču u obliku kvadrata čija je stranica π metara, sa koordinatama (x, y) ∈ [0, π] × [0, π]. Ako ne postoji izvor toplote unutar ploče, i ako se tri od četiri stranice drže na 0 stepeni celzijusa, dok se četvrta stranica, data sa y = π, drži na temperaturnom gradijentu T(x, π) = x stepeni celzijusa, za x u (0, π), tada možemo pokazati da je stacionarna raspodjela toplote (ili raspodjela toplote nakon dugog perioda vremena) data sa
Ovdje, sinh je funkcija hiperbolički sinus. Ovo rješenje toplotne jednačine dobijeno je množenjem svakog člana sa od Jdn.1 sa sinh(ny)/sinh(nπ). Dok se za funkciju iz našeg primjera f(x) čini da ima bespotrebno komplikovan Fourierov red, raspodjela toplote T(x, y) jeste netrivijalna. Funkcija T ne može biti napisana kao izraz zatvorenog oblika. Ova metoda rješavanja ovog problema postala je moguća samo nakon Fourierovog rada.
Druga primjena ovog Fourierovog reda je da se riješi Baselov problem koristeći Parsevalov teorem. moguće je, također, izračunati ζ(2n), za svaki pozitivan cijeli broj n.
Moderne verzije koristeći kompleksne eksponente
[uredi | uredi izvor]Možemo koristiti Eulerovu formulu,
gdje je imaginarna jedinica, kako bi dobili koncizniju formulu:
Fourierovi koeficijenti su dati kao:
Fourierovi koeficijenti su povezani preko izraza
- for
i
- for
Oznaka cn ne neadekvatna za diskusiju Fourierovih koeficijenat nekoliko različitih funkcija. Zbog toga je uobičajno da se oni zamijenene sa prilagođenim oblikom ƒ (u ovom slučaju), kao što je F ili . Odatle imamo:
U inženjerstvu, posebno kada varijabla x predstavlja vrijeme, niz koeficijenata se naziva predstavljanje frekventnog domena. Uglaste zagrade se često koriste kako bi se naglasilo da je domen ove funkcije diskretni skup frekvencija.
Fourierov red na općem intevalu [a, b]
[uredi | uredi izvor]Slijedeća formula, sa odgovarajućim koeficijentima kompleksne vrijednosti G[n], je periodična funkcija sa periodom τ na cijelom skupu R:
Ako je funkcija kvadrat integrabilna na intervalu [a, a + τ], tada se, u tom intevalu, može predstaviti preko formule napisane iznad. Ako je g(x) integrabilna, tada su Fourierovi koeficijenti dati sa:
Uočite da ako je funkcija, koje se predstavlja, također i τ-periodična, tada se a može proizvoljno izabrati. Dva pupularna izbora su a = 0 i a = −τ/2.
Ostala često korištena predstavljanja frekventnog domena koriste Fourierove koeficijente kako bi se uskladio Diracov češalj:
gdje varijabla ƒ predstavlja neprekidan frekventni domen. Kada varijabla x ima jedinicu sekunda, ƒ ima jedinicu hertz. Originalna funkcija g(x) može se dobiti iz ovog prikaza preko inverzne Fourierove transformacije:
Funkcija se često naziva Fourierova transformacija, iako Fourierov integral periodične funkcije nije konvergentan.[3]
Fourierov red na kvadratu
[uredi | uredi izvor]Također možemo definisati Fourierov red za funkcije sa dvije varijable x i y na kvadratu [−π, π]×[−π, π]:
Pored toga što su korisni za rješavanje parcijalnih diferencijalnih jednačina, kao što je toplotna jednačina, još jedna značajna primjena Fourierovih redova na kvadratu je kod kompresije digitalne slike. Specifično, JPEG standard kompresije slika koristi dvodimenzijalnu diskretnu kosinusnu transformaciju, koja je, u stvari, Fourierova transformacija uz koristenje funkcije sa kosinusnom bazom.
Hilbertova interpretacija prostora
[uredi | uredi izvor]U jeziku Hilbertovog prostora, skup funkcija je ortonormalna baza za prostor kvadrat-integrabilnih funkcija . Ovaj prostor je, u stvari, Hilbertov prostor sa unutrašnji proizvod dat sa:
Osnovni rezultat Fourierovog reda za Hilbertove prostore može se napisati kao
Ovo tačno odgovara formulaciji sa kompleksnim ekponentom, datoj u tekstu iznad. Varijanta sa sinusima i kosinusima je, također, opravdana sa interpetacijom Hilbertovog prostora. Očito, sinusi i kosinusi čine ortonormalni skup:
(gdje je Kroneckerova delta), i
Gustina njihovog raspona je posljedica Stone-Weierstrassovog teorema.
Osobine
[uredi | uredi izvor]Kažemo da je ako je funkcija od , koja je puta diferencijabilna, njena k-ta derivacija je neprekidna, te ako je -periodična.
- Ako je f -periodična neparna funkcija, tada je za sve .
- Ako je f -periodična parnafunkcija, tada je ta sve .
- Ako je f integrabilna, , i Ovaj rezultat je poznat kao Riemann-Lebesgueova lema.
- Ako , tada Fourierovi koeficijenti od derivacija mogu biti izraženi preko Fourierovih koeficijenata funkcije , pomoću formule .
- Ako , tada je . Pojedinačno, pošto teži u nulu, imamo da teži u nulu, štp znači da Fourierovi koeficijenti konvergiraju u nulu brže nego k-ti stepen od n.
- Parsevalov teorem: Ako , tada je .
- Plancherelov teorem: Ako su koeficijenti i ako , tada postoji jedinstvena funkcija , takva da vrijedi za svako .
- Teorem konvolucije kaže da ako su f i g u intervalu , tada je , gdje označava -periodičnu konvoluciju od f i g.
Opći slučaj
[uredi | uredi izvor]Postoji mnogo načina da se uopći Fourierov red. Proučavanje Fourierovih redova i njhivih uopćavanja naziva se harmonijska analiza.
Generalizovane funkcije
[uredi | uredi izvor]Oznake Fourierovih koeficijenata mogu se proširiti u funkcije koje nisu kvadrat-integrabilne, pa čak i u objekte koji nisu funkcije. Ovo je veoma korisno u inženjerskim primjenama, zato šte često trebamo Fourierov red periodičnog ponavljanja Diracove delta funkcije. Diracova delta δ nije, u stvari, funkcija; međutim, ona ipak ima fourierovu transformaciju, a njeno periodično ponavljanje ima Fourierov red:
Riemannianova višestrukost
[uredi | uredi izvor]Ako domen nije grupa, tada ne postoji bitno definisana konvolucija. Međutim, ako je kompaktna Riemannianova višestrukost, ona ima Laplace-Beltramijev operator. Laplace-Beltramijev operator je diferencijalni operator koji odgovara Laplaceovom operatoru za Riemannianovu višestrukost . Tada, po analogiji, možemo razmatrati toplotnu jednačinu na . Pošto je Fourier došao do svoje baze pokušavajući riješiti toplotnu jednačinu, prirodna generalizacija je ta da koristimo sopstvena rješenja Laplace-Beltramijebog operatora kao bazu. Ovo uopćuje Fourierov red u prostor tipa , gdje je Riemannianova višestrukost. Fourierovi redovi konvergiraju na načine slične slučaju za interval . Tipičan primjer da se uzme da je X sfera, kada bi imali slučaj da se Fourierova bazasastoji od sferičnih harmonika.
Aproksimacija i konvergencija Fourierovog reda
[uredi | uredi izvor]Važno pitanje u teoriji, kao i u primjenama, je pitanje konvergencije. Naprimjer, često je potrebno u prijmenama zamijeniti beskonačni red sa konačnim,
To je naziva parcijalna suma. Htjeli bismo da znamo, u kojem smislu SN(x) konvergira u f(x) kada N teži u beskonačnost.
Osobina najmanjeg kvadrata
[uredi | uredi izvor]Kažemo da je p trigonometrijski polinom stepena N kada ima oblik
Uočite da je trigonometrijski polinom stepena N. Parsevalov teorem kaže da je
Teorem: je jedinstveno najbolji trigonometrijski polinom stepena koji aproksimira , u smislu da, za svaki trigonometrijski polinom stepena , imamo
Ovdje, norma Hilbertovog prostora je
Konvergencija
[uredi | uredi izvor]Zbog osobine najmanjeg kvadrata, i zbog potpunosti Fourierove baze, dobijamo razultat elementarne konvergencije.
Teorem: Ako vrijedi , tada Fourierov red konvergira u , to jest, konvergira u 0 kada teži u beskonačnost.
Već smo spomenuli da ako je f dva puta neprekidno diferencijabilna, tada konvergira u nulu kada n teži u beskonačnost. Ovo odmah daje drugi rezultat konvergencije.
Teorem: Ako vrijedi , tada konvergira u nulu, npr., konvergira u uniformno.
Divergencija
[uredi | uredi izvor]Pošto Fourierovi redovi imaju tako dobre osobine konvergencije, možemo se iznenaditi sa nekim negativnim rezultatima.
1922. godine, Andrey Kolmogorov objavio je članak pod nazivom "Une série de Fourier-Lebesgue divergente presque partout" u kojem je dao primjer Lebesgue-integrabilne funkcije, čiji Fourierov red divergira skoro svuda. Kasnije je pokazao primjer integrabilne funkcije čiji Fourierov red divergira svuda (Katznelson 1976).
Također pogledajte
[uredi | uredi izvor]- Gibbsov fenomen
- Laurentov red — zamjenom tranformiše Fourierov red u Laurentov red, ili obrnuto. Ovo se koristi kod proširenja q-redova j-invarijante.
- Sturm-Liouvilleova teorija
Zabilješke
[uredi | uredi izvor]- ^ Gallica - Fourier, Jean-Baptiste-Joseph (1768-1830). Oeuvres de Fourier. 1888[mrtav link]
- ^ Georgi P. Tolstov (1976). Fourier Series. Courier-Dover. ISBN 0486633179.
- ^ Since the integral defining the Fourier transform of a periodic function is not convergent, it is necessary to view the periodic function and its transform as distributions. In this sense is a Dirac delta function, which is an example of a distribution.
Reference
[uredi | uredi izvor]- William E. Boyce and Richard C. DiPrima, Elementary Differential Equations and Boundary Value Problems, Eighth edition. John Wiley & Sons, Inc., New Jersey, 2005. ISBN 0-471-43338-1
- Joseph Fourier, translated by Alexander Freeman (published 1822, translated 1878, re-released 2003). The Analytical Theory of Heat. Dover Publications. ISBN 0-486-49531-0. Provjerite vrijednost datuma u parametru:
|year=
(pomoć) 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. - Katznelson, Yitzhak (1976), An introduction to harmonic analysis (Second corrected izd.), New York: Dover Publications, Inc, ISBN 0-486-63331-4
- 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.
- Walter Rudin, Principles of mathematical analysis, Third edition. McGraw-Hill, Inc., New York, 1976. ISBN 0-07-054235-X
Vanjski linkovi
[uredi | uredi izvor]- Phasor Phactory Allows custom control of the harmonic amplitudes for arbitrary terms
- Java applet shows Fourier series expansion of an arbitrary function
- Primjeri problema iz Fourierovih redova Arhivirano 10. 4. 2008. na Wayback Machine
- Fourier series explanation - A simple, non-mathematical approach
- Fourier Series Module by John H. Mathews
- Joseph Fourier - A site on Fourier's life which was used for the historical section of this article
- In the bottom of this interactive lecture, there is a Java animation showing how the Fourier series is affected when the term of rank n+1 is added to the n Fourier series terms.
Ovaj članak sadrži materijal o primjer Fourierovog reda sa PlanetMath-a, koji je licenciran po GFDL-u.