MATEMATIKA IV - ZÁPISKY Z PŘEDNÁŠEK FOURIEROVA ANALÝZA A PARCIÁLNÍ DIFERENCIÁLNÍ ROVNICE

Transkript

1 MATEMATIKA IV - ZÁPISKY Z PŘEDNÁŠEK FOUIEOVA ANALÝZA A PACIÁLNÍ DIFEENCIÁLNÍ OVNICE JAN MALÝ Obsah 1. Fourierovy řady klasika. Fourierovy řady v Hilbertově prostoru 3 3. Sčítání Fourierových řad 5 4. Fourierova transformace v L Distribuce 8 6. Fourierova transformace distribucí Počítání Fourierových transformací Parciální diferenciální rovnice obecně Laplaceova rovnice ovnice vedení tepla Vlnová rovnice Fourierova metoda 0 1

2 Fourierovy řady 1. Fourierovy řady klasika 1.1. Periodické funkce. Řekneme, že funkce f : C má periodu p 0, jestliže f(x + p) = f(x) pro všechna x. Funkce sin x, cos x, sin nx (n Z) apod. mají periodu. Pro funkce sin x, sin 3x,... číslo není nejmenší perioda, ale je to perioda. Součet funkcí s periodou je funkce s periodou, platí samozřejmě i pro součty nekonečných řad. Tématem této partie bude otázka, které funkce se dají napsat ve tvaru tzv. trigonometrické řady ( (1) f(x) = c 0 + ak cos kx + b k sin kx ), c 0, a 1, a,..., b 1, b, C. Každá taková funkce musí mít periodu, tudíž stačí studovat chování na intervalu ( π, π. 1.. Komplexní tvar trigonometrické řady. Řadu (1) si můžeme přepsat do tvaru () f(x) = c k e ikx, kde c 0 zůstává a k= c k = a k ib k, c k = a k + ib k, k N. Komplexní tvar se hůř predstaví, ale snáze se s ním počítá Lebesgueovy prostory. Nechť J je interval a p 1. Symbolem L p (J) budeme značit množinu všech funkcí f : J C takových, že ( 1/p f p := f(x) dx) p <. J Řekneme, že řada funkcí k f k konverguje k funkci f v prostoru L p (J), jestliže lim n s n f p = 0, kde s n je n-tý částečný součet řady. Např. s n = f f n pro f k a s n = f n + + f n pro řadu k= f k Skalární součin. Skalární součin funkcí f, g L (J) definujeme jako (f, g) := f(x)g(x) dx. J Symbol ḡ značí komplexně sdruženou funkci. Pro reálnou verzi prostoru L je přechod ke komplexně sdružené funkci irelevantní. Skalární součin splňuje pravidla (pro f, g, h L (J)) (1) (f, g) = (g, f), () (λf, g) = λ(f, g), (3) (f + g, h) = (f, h) + (g, h), (4) f 0 na množině kladné míry = (f, f) > 0. Všimněme si, že f = (f, f) 1/. Řekneme, že funkce f, g jsou navzájem kolmé (na J), jestliže (3) f(x)g(x) dx = 0. J Primárně je tento termín šit na míru prostoru L, dá se však použít i v jiných situacích, kdy integrál v (3) konverguje. Pokud funkce jsou navzájem kolmé, pak jsou lineárně nezávislé. Lineární nezávislost funkcí f 1,..., f k L (J) znamená, že pro čísla c 1,..., c k C platí k c k f k = 0 skoro všude = c 1 = c = = c k = 0. j= Lemma (o kolmosti goniometrických funkcí). Funkce e ikx, k Z, jsou navzájem kolmé.

3 1.6. Fourierova řada. Předpokládejme, že funkce f L 1 (( π, π ) se dá zapsat ve tvaru () a řada konverguje v prostoru L 1. Vynásobme řadu zprava funkcí e imx a integrujme přes ( π, π. Dostaneme π π π f(x)e imx dx = c k e ikx e imx dx = c k e ikx e imx dx π = π k= π π c k e imx e imx dx = c m, k= neboť členy s k m se vykolmí. Odtud je vidět, že abychom měli šanci na rozvoj (), koeficienty by měly mít tvar (4) c m = 1 π π f(x)e imx dx Má-li trigonometrická řada koeficienty získané podle vzorce (4) z funkce f, nazývá se Fourierovou řadou funkce f. eálný tvar Fourierovy řady je a 0 (5) + ( ak cos kx + b k sin kx ), kde (6) a k = 1 π b k = 1 π π π π π π f(x) cos kx dx, k = 0, 1,,..., f(x) sin kx dx, k = 1,,.... Ve srovnání s (1) používáme tradiční značení a 0 / místo c 0, což je motivováno postřehem, že funkce 1 je mezním případem funkce cos kx pro k = 0 v (6) Lemma (iemann Lebesgue). Nechť J je interval a f L 1 (J). Potom f(x)e ikx dx = 0. lim k ± J 1.8. Poznámka. Lemma platí i pro interval J nekonečné délky a k necelé. Pro Fourierovy řady znamená mj. že Fourierovy koeficienty funkce z L 1 (( π, π ) jdou vždy k nule Jednostranné limity. Značíme f(x+) := lim t x+ f(t), f(x ) := lim f(t). t x Věta (Dirichlet Jordan). Nechť f : je -periodická a po částech monotonní. Potom Fourierova řada funkce f konverguje. Její součet je f(x) v bodech spojitosti funkce f a 1( ) f(x+) + f(x ) v bodech nespojitosti funkce f Poznámka. Je velký rozdíl mezi třídou funkcí, pro které Fourierova řada konverguje a třídou funkcí, pro které má smysl. Existují i spojité funkce, pro které Fourierova řada někde diverguje (avšak množina bodů divergence musí mít v takovém případě míru nula). Větu o konvergenci Fourierovy řady skoro všude (platí pro funkce z L (( π, π )) je velmi těžké dokázat.. Fourierovy řady v Hilbertově prostoru.1. Hilbertův prostor. Nekonečně rozměrnou analogií eukleidovského prostoru je tzv. Hilbertův prostor. Hilbertův prostor je unitární prostor H, který je úplný, to znamená, že každá Cauchyovská posloupnost je konvergentní. Hilbertův prostor se vyznačuje tím, že v něm můžeme najít ortonormální systém (tj. systém navzájem kolmých jednotkových vektorů), která tvoří bázi vzhledem k nekonečným součtům. Připomeňme, že prvek u se pokládá za součet řadu k u k prvků H (jako v každém NLP), jestliže částečné součty konvergují k u v normě. Skalární součin prvků u a v v Hilbertově prostoru se značí (u, v). Pro účely Fourierových řad je praktické uvažovat Hilbertův prostor nad tělesem komplexních čísel. Tato změna nepřináší příliš mnoho nepříjemností, jen hlavně je třeba si dát pozor na asymetrii (v, u) = (u, v). 3

4 Řekneme, že Hilbertův prostor H je separabilní, jestliže v něm existuje spočetná množina S, jejíž uzávěr je H. Hilbertovy prostory, s nimiž se člověk setkává v praxi, jsou zpravidla separabilní. V separabilním Hilbertově prostoru je každý ortonormální systém spočetný a dá se tedy uspořádat do posloupnosti... Ortogonalizace. Každou posloupnost vektorů unitárního prostoru lze opravit na ortonormální tzv. Gram Schmidtovou ortogonalizací. Nejprve odstraníme členy posloupnosti, které jsou lineárními kombinacemi předchozích, a tak dostaneme posloupnost lineárně nezávislých vektorů. Pokud už členy posloupnosti {u n } jsou navzájem lineárně nezávislé, přiřazujeme postupně e n podle předpisu kde Posloupnost {e n } už je ortonormální a u n+1 = u n+1 e n+1 = u n+1 u n+1, n (u n+1, e k ) e k. Lin(e 1..., e n ) = Lin(u 1,..., u n ), n N..3. Věta (iesz-fischer). Nechť {e k } je ortonormální systém v Hilbertově prostoru H a {c k } je posloupnost komplexních čísel. Jestliže c k <, potom c k e k konverguje v H..4. Úplný ortonormální systém. Ortonormální systém {e k } k v (separabilním) Hilbertově prostoru se nazývá úplný, jestliže už k němu není možné doplnit další ortonormální prvek..5. Abstraktní Fourierova řada. Nechť {e k } k je úplný ortonormální systém v (separabilním) Hilbertově prostoru H. Fourierovy koeficienty prvku u H jsou čísla Řada se nazývá abstraktní Fourierova řada prvku u. û k := (u, e k ) û k e k k.6. Věta. V každém separabilním Hilbertově prostoru existuje (spočetný) úplný ortonormální systém..7. Věta. Nechť {e k } k je úplný ortonormální systém. Potom (a) (ozvoj do abstraktní Fourierovy řady) pro každý prvek u H je u = k û k e k, (b) pro každé dva prvky u, v H je (u, v) = k û kˆv k. (c) (Parsevalova rovnost) pro každý prvek u H je u = k û k.8. Aplikace. Pomocí ortogonalizace se dají konstruovat úplné ortonormální posloupnosti v Hilbertových prostorech funkcí a studovat rozvoje funkcí do řad. Pro různé výpočty mají uplatnění např. Legendrovy či Hermitovy polynomy, o nichž je možné se dočíst v literatuře. Zde se omezíme na klasické Fourierovy řady. Prostor L (( π, π ), kde rovnost prvků je chápána jako rovnost funkcí skoro všude, je Hilbertův prostor. Funkce e k = 1 e ikt, k Z tvoří úplný ortonormální systém v prostoru L (( π, π ), a tak věta.7 doplňuje informace a dává nový pohled na klasické Fourierovy řady. 4

5 3. Sčítání Fourierových řad Najít Fourierovu řadu k dané funkci je rutinní úlohou vedoucí na použití vzorců (6). Těžší je najít součet dané Fourierovy řady. K tomu je užitečné uvědomit si souvislost mezi Fourierovou řadou a zobecněnými mocninnými řadami. Máme-li sečíst Fourierovu řadu c k e ikt k= v bodě t, je vhodné provést substituci z = e it a tím řada přechází na (7) c k z k k= Málokdy se nám poštěstí, aby řada (7) byla Laurentovou řadou holomorfní funkce. Častěji se hodí přepis z k = z k (z je komplexní jednotka!). Tím problém převedeme na nalezení součtu Taylorovy řady Příklad. Uvažujme funkci k+1 sin kt f(t) = ( 1) = Im ( 1) k Po substituci z = e it máme takže pro t ( π, π) je Součtem řady f(arg z) = Im ( 1) k+1 zk k+1 eikt k. k = Im ln(1 + z) = arg(1 + z) = 1 arg z, f(t) = t. k+1 sin kt ( 1) k je tedy pilovitá -periodická funkce na, která splývá s t/ na intervalu ( π, π). V lichých násobcích π je součet nula, jak se snadno přesvědčíme přímým dosazením. 3.. Příklad. Uvažujme funkci Po substituci z = e it máme kde f(t) = Zde asi součet řady neuhodneme. Máme g (z) = zg (z) = sin kt k = Im ( 1) f(arg z) = Im g(z), g(z) = g (z) = z k 1 k, z k k z k k. ln(1 z), z k+1 eikt = ln(1 z), Vyřešení příkladu brání problém s hledáním primitivní funkce. 5 k.

6 3.3. Příklad. Uvažujme funkci f(t) = k cos kt ( 1) k. Kdybychom převáděli na z = e it, setkali bychom se s podobným problémem jako výše v příkladu 3.. Zderivováním řady člen po členu dostaneme f k+1 sin kt (t) = ( 1) = t, t ( π, π), k (převedli jsme na příklad 3.1), tedy f(t) = t + C. K dořešení použijeme příklad 1.15 ze zimního semestru, podle něhož ( 1) k C = k = π Příklad. Uvažujme funkci Zderivováním dostaneme f(t) = f (t) = k=0 k=0 cos (k + 1)t (k + 1). sin (k + 1)t. k + 1 Substitucí z = e it převedeme na nalezení imaginární části z k+1 g(z) = k + 1 = 1 ln 1 + z 1 z. k=0 Máme Im g(e it ) = eit arg 1 e it = 1 ( arg e it arg( e it ) ) = (t (t π)) = π, t (0, π) 4 a podobně f (t) = Im g(e it ) = π, t ( π, 0) 4 Je tedy f(t) = π t + C. 4 K nalezení konstanty použijeme příklad 1.15 ze zimního semestru, podle něhož 1 C = (k + 1) = π 8. k=0 6

7 Fourierova transformace 4. Fourierova transformace v L Motivace. Jestliže -periodická funkce f má Fourierův rozklad f(x) = c k e ikx, k= znamená to, že je součtem harmonických kmitů o frekvencích k s vahou c k. Některé funkce mohou být zapsané v obecnějším tvaru (8) f(x) = a M kde M je spočetná množina. Použijeme-li speciálně c a e iax, (množina sčítacích indexů nejsou celá čísla!) (9) M = {k/l : k Z}, l > 1, funkce f je periodická, ale její perioda l je větší, protože frekvence jsou hustší. Jestliže M obsahuje čísla, jejichž poměr je iracionální, pak (až na triviální koeficienty u příslušných sčítanců) funkce f není periodická a řada (8) se nedá pokládat za Fourierovu řadu. (Např. f(x) = sin x + sin πx.) Frekvenční analýza je dostupná i v případě, že dochází k nekonečnému zahušťování frekvencí. Když při stejně silném signálu se frekvence zahušťují, ale příspěvek jednotlivé frekvence do celku se snižuje, v limitě máme jakousi hustotu jejich rozložení a funkce f není vyjádřena řadou, ale integrálem tvaru (10) f(x) = g(y) e iyx dy. Taková funkce není periodická, protože při zahušťování frekvencí se zvětšuje perioda a v limitě dostáváme periodu nekonečnou, tedy žádnou. Frekvenční analýza funkcí ve tvaru (8) a (10) se dá zahrnout pod jednu střechu v rámci jednotící teorie distribucí. Nejprve však se budem zabývat jednodušším problémem, jak najít hustotu g, pokud funkce f připouští rozklad (10). 4.. Fourierova transformace. Je-li f L 1 () integrovatelná funkce, definujeme 1 (11) ˆf(x) := e ixy f(y) dy. Funkce ˆf se nazývá Fourierova transformace funkce f. Její důležitost spočívá hlavně v tom, že za jistých podmínek lze pak funkci vyjádřit jako (1) f(x) = 1 e ixy ˆf(y) dy čímž máme provedenu frekvenční analýzu funkce f a zápis (1) nám umožňuje používat užitečné vzorce fourierovského kalkulu. Konstanta 1 se přidává za tím účelem, aby vynikla symetrie mezi vzorci (11) a (1). Funkční hodnoty ˆf(y) hrají analogickou roli jako koeficienty Fourierovy řady. Místo ˆf někdy používáme značení Ff. Také značíme ˇf(x) = Ff(x) = 1 e ixy f(y) dy. (rozdíl mezi předpisem pro F a F je ve znaménku exponentu). Operátor F je komplexně sdružený ve smyslu F f = Ff. V dalším budeme symbolem x značit identickou funkci x x Věta. Nechť f : C je integrovatelná funkce. Potom ˆf je omezená spojitá funkce a lim ˆf(x) = 0. x 4.4. Větička. Nechť f, g L 1 (). Potom f(x)ĝ(x) dx = 7 ˆf(x) g(x) dx.

8 4.5. Věta. Nechť f : C je integrovatelná funkce. Nechť funkce f a xf jsou integrovatelné. Potom ˆf je spojitě diferencovatelná a xf = i( ˆf) Věta. Nechť f L 1 () je spojitě diferencovatelná funkce a f L 1 (). Potom f = ix ˆf Věta (o inverzním vzorci). Nechť f i ˆf jsou integrovatelné funkce. Potom neboli ( ˆf)ˇ= ( ˇf)ˆ= f, ( ˆf)ˆ( x) = f(x) Konvoluce. Konvoluce funkcí f, g L 1 () je funkce, která se definuje předpisem f g (x) = f(x y) g(y) dy. Na L 1 je operace konvoluce symetrická a výsledek je opět funkce z L 1. Konvoluce má v matematice mnohostranné použití, pro Fourierovu transformaci platí pozoruhodný vzorec (13) f g = ˆf ĝ, f, g L 1. Operace konvoluce se dá zobecnit i na jiné typy operandů, jsme-li přísnější na výběr funkce f, můžem operovat s širším systémem funkcí g. Pro některé páry funkcí (tím spíš distribucí, viz. dále) však konvoluce nemá žádný rozumný smysl. Inverzní furmule nám dá vzorec pro Fourierovu transformaci součinu 1 (14) fg = ˆf ĝ, f, g L L 1. Vzorec (14) platí i obecněji, diskuse jeho definičního oboru není lehká. 5. Distribuce 5.1. Motivace. Každá rozumná veličina reálné proměnné je charakterizovaná svým rozdělením, které udává její úhrn přes intervaly. Veličiny se většinou modelují jako funkce, pokud f : J C je integrovatelná funkce a L J je interval, úhrn veličiny f přes L je f(x) dx, zatímco funkce f samotná L je její hustota. Umíme si však také představit takovou veličinu δ 0, jejíž úhrn přes interval L by byl jedna pokud L obsahuje počátek a nula jinak. Taková veličina by byla mezní případ, limita pro j posloupnosti veličin s hustotami f j, třeba { j, x (0, 1 j (15) f j (x) = ), 0 jinak. Veličina δ 0 je koncentrovaná v bodě 0, podobně bychom zavedli veličinu δ a o celkovém úhrnu 1 koncentrovanou v bodě a a lineární kombinace veličin δ a diskrétními veličinami. Abychom dali takovým pojmům přesný matematický význam a zároveň jednotný rámec, který by zahrnul pod jednou střechou funkce a diskrétní veličiny, definujeme distribuce. Přínos distribucí bude dvojí. Distribuce dávají jednotící pohled na veličiny s hustotou a koncentrované veličiny. Pokud by nám šlo jen o to, stačilo by zavést tzv. komplexní míry. Míry jsou objekty vhodné k modelování fyzikálních veličin které se mohou (ale nemusí) koncentrovat do množin Lebesgueovy míry nula (např. idealizovaná hmotnost). Teorie distribucí nám však také umožňuje vytvářet nové objekty formálním derivováním starých objektů, Formálnost derivování je míněna tak, že nepožadujeme, aby derivace existovala v klasickém smyslu. Možnost bezmezného derivování je velmi užitečná pro teorii Fourierovy transformace. Distribuce, přesněji temperované distribuce, jsou objekty, které zahrnují integrovatelné funkce, lze je sčítat, násobit polynomy, derivovat a párovat s tzv. testovacími funkcemi. Párování je bilineární forma na kartézském součinu S S, kde S je množina všech temperovaných distribucí a S je množina všech rychle klesajících testovacích funkcí. Protože vymezení distribucí jako objektů může být právem chápáno jako příliš vágní, definujeme je jako spojité lineární fukcionály (formy) na prostoru S. Tento přístup nám také umožňuje vymezit rovnost distribucí, neboť jedna distribuce může být vygenerována různými způsoby. 8

9 5.. Neurčitý integrál. Pro pohodlí zde zopakujeme pár pojmů z teorie integrálu. Mějme funkci f definovanou na intervalu I. Řekneme, že f je lokálně integrovatelná na I, jestliže f je integrovatelná na každém intervalu a, b I. (Např. funkce f(x) = 1/x je lokálně integrovatelná na intervalu (0, 1), ale není na něm integrovatelná.) Nechť f je lokálně integrovatelná funkce na I. Funkce F : I C se nazývá neurčitý integrál funkce f, jestliže F (b) F (a) = b a f(x) dx pro každý interval a, b I. Pokud F je neurčitý integrál funkce f na I, potom funkce f + C, kde C je konstanta, jsou také neurčité integrály a žádné jiné neurčité integrály funkce f na I nemá. Neurčitý integrál je něco jako primitivní funkce, ale na rozdíl od primitivní funkce je odvozen od jiného druhu integrálu (Lebesgueova místo Newtonova). Neurčitý integrál funkce f značíme f (bez udání mezí) Testovací funkce. Řekneme, že ϕ : C je rychle klesající testovací funkce, jestliže ϕ je nekonečně diferencovatelná a součin x m ϕ (k) je omezený pro každý řád k {0, 1,,... } a stupeň mocniny m {0, 1,,... }. Množina všech rychle klesajících testovacích funkcí se nazývá Schwartzův prostor a značí S. Např. funkce e x leží v S Konvergence testovacích funkcí. Nechť ϕ, ϕ j S, j = 1,,..., jsou testovacích funkce. Řekneme, že posloupnost {ϕ j } j konverguje k ϕ v S, značíme ϕ j ϕ, jestliže x m ϕ (k) j (x) x m ϕ (k) (x) stejnoměrně pro každý řád k {0, 1,,... } a každý stupeň mocniny m {0, 1,,... } Definice distribuce. Temperované distribuce jsou spojité lineární funkcionály na S. Prostor všech temperovaných distribucí se značí S. Ještě se v matematice pracuje s obyčejnými distribucemi, distribucemi bez přívlastku, v tomto textu se jimi však nebudeme zabývat a pojem distribuce budeme používat ve významu temperovaná distribuce. Základní úkon s distribucí je párování. Distribuce S se páruje s testovací funkcí ϕ S a z formálního hlediska jde o hodnotu funkce (funkcionálu) S S v bodě (testovací funkci) ϕ S. Jenom místo značení S(ϕ), obvyklého pro záznam hodnoty funkce v bodě, používáme značení S, ϕ. V definici distribuce se ještě vyskytuje termín spojitý. Ten se chápe jako následující vlastnost: Řekneme, že funkcionál S je spojitý na S, jestliže pro každou posloupnost {ϕ j } j testovacích funkcí platí ϕ j ϕ = S, ϕ j S, ϕ egulární a diskrétní distribuce. Distribucím se také někdy říká zobecněné funkce. Termín pochází z toho, že mnohé funkce lze chápat jako speciální případ distribucí. Existují ovšem funkce, které se zahrnutí do kontextu distribucí vymykají. Nechť f : C je integrovatelná funkce. Funkci f budeme téměř ztotožňovat s distribucí (16) S f : ϕ f(x)ϕ(x) dx, ϕ S. Funkci f budeme nazývat hustota distribuce S f. Distribucím vzniklým tímto způsobem se říká regulární distribuce. Protože po ztotožnění f S f by symbol f(ϕ) byl matoucí, dáváme přednost symbolice párování, totiž f, ϕ = f(x)ϕ(x) dx. Obecněji, za regulární distribuce budeme považovat distribuce tvaru (16) i když f je jen lokálně integrovatelná, avšak musíme dát pozor, aby předpis byl distribucí (např. funkce f(x) = e x je lokálně integrovatelná, ale nedává předpisem (16) spojitý lineární funkcionál na S ). Diskrétní distribuce budou distribuce tvaru c a δ a, a M kde M je spočetná množina a c a jsou komplexní koeficienty, c a < +. a M Funkcionál δ a je tzv. Diracova distribuce a definuje se pomocí párování (17) δ a, ϕ = ϕ(a), ϕ S. 9

10 Většinou budeme mluvit o Diracově distribuci v souvislosti s δ Násobení a derivování distribucí. Je-li S lineární funkcionál na S, definujeme jeho derivaci S předpisem (18) S, ϕ = S, ϕ, ϕ S. Součin funkce ψ S a distribuce S S definujeme jako (19) ψs, ϕ = S, ψϕ, ϕ S. Speciálně (0) xs, ϕ = S, xϕ, ϕ S. Vzorce (18) a (0) můžeme iterovat, výsledek zápíšeme v symbolice párování. Je-li p polynom, dostaneme iterováním vzorce (0) (1) ps, ϕ = S, pϕ. Podobně iterování vzorce (18) dostaneme vzorec pro k-tou derivaci () S (k), ϕ = ( 1) k S, ϕ (k). Vzorce (18), () jsou evidentním zobecněním formule pro integrování per partes. Ke každé distribuci můžeme najít reprezentaci ve tvaru konečného součtu x m S (k) mk, m,k kde S mk jsou regulární nebo diskrétní distribuce popsané v 5.6. Toto vyjádření není jednoznačné a použití diskrétních distribucí z něho lze vyeliminovat. Pořád mějme na paměti, že distribuce jsou zobecněné funkce, ale ne funkce. Zacházíme tedy s nimi opatrně a provádíme jen takové operace, které jsou výslovně povoleny. Zatím to jsou operace sčítání, násobení testovací funkcí, derivace a párování s testovacími funkcemi. K těmto operacím přibude Fourierova transformace. Výslovně je zakázáno násobit dvě distribuce mezi sebou, nebo i násobit distribuci funkcí, která není testovací. V některých případech sice takový součin může mít smysl, ale o tom může rozhodnout jen zkušený matematik. Například součin δ 0 δ 0 v teorii temperovaných distribucí smysl rozhodně nemá. Existují upravené teorie, v nichž se dá násobit, ovšem za cenu ztráty jiných rozumných vlastností Poznámka. Mezi funkcemi a distribucemi existuje mezičlánek v obecnosti, tzv. míry. Zatímco pro funkce je primární hodnota v bodě a pro distribuce hodnota na testovací funkci, míry měří množiny. Přesto po jistém ztotožnění můžeme chápat {integrovatelné funkce} {míry} {distribuce} Míry jsou veličiny, které mohou mít hustotu, tj. A (pak se dají ztotožnit s lokálně integrovatelnými funkcemi), ale také se mohou koncentrovat do množin míry nula (např. míry v 3 se mohou koncentrovat do bodů, křivek a ploch). Míry zahrnují i diskrétní distribuce popsané v 5.6. Diracova distribuce je typickým příkladem míry bez hustoty, jako množinová funkce je to { 1, a A, A 0, a / A. Fyzikální interpretace je A ρ množina hmotnost za předpokladu, že připustíme i hmotné body a podobné případy koncentrované hmoty. V dimenzi jedna lze nezáporné míry získat jako distributivní derivace monotonních funkcí. Např. Diracovu distribuci dostaneme jako distributivní derivaci Heavisideovy funkce { (3) δ 0 = H 1, x 0,, H(x) = 0, x < 0. 10

11 V literatuře se míry spolu s funkcemi zařazují mezi distribuce řádu nula, a (minimální) řád distribuce se definuje jako nejmenší možný počet iterací derivování, který je nutný k vytvoření dané distribuce z míry Konvergence distribucí. Pomocí prostoru S můžeme zavést konvergenci distribucí. Řekneme, že posloupnost {S k } k distribucí konverguje k distribuci S, jestliže S k, ϕ S, ϕ, ϕ S. Například funkce f k definované v (15) konvergují ve smyslu distribucí k Diracově distribuci. Zajímavé je, že ke každé distribuci najdeme posloupnost funkcí (dokonce funkcí z S ), které k ní konvergují Zařazení prostorů funkcí do distribucí. Je-li f omezená spojitá funkce, nemusí být integrovatelná, ale přiřazení S f : ϕ f(x) ϕ(x) dx, ϕ S má i tak smysl jako temperovaná distribuce. Podobně funkce z Lebesgueových prostorů L p (), 1 p, jsou distribuce nultého řádu Věta. Distribuce S řeší rovnici S = 0, právě když existuje C C tak, že S = S C Věta. Distribuce S řeší rovnici (x a)s = 0, právě když existuje C C tak, že Příklad. Řešme rovnici S = Cδ a. (4) xs = 1 v distribucích. Výsledek by měl být něco jako funkce 1/x, ale smysl párování S, ϕ pro S 1/x je nejasný, integrál ϕ(x) x dx pro většinu testovacích funkcí diverguje. Možný význam takového párování dá až integrování per partes. Distribuci x 1 definujeme předpisem x 1, ϕ = ϕ(x) ln x dx. Tedy distribuce x 1 je derivace funkce ln x ve smyslu distribucí. Distribuce x 1 má řád 1. Můžeme se přesvědčit, že distribuce x 1 řeší rovnici (4). Další řešení dostaneme připočítáním násobku Diracovy distribuce δ 0 a lze dokázat, že víc možností řešení už není, srv Distribuce v n-rozměrném prostoru. Teorii temperovaných distribucí lze bez problémů převést do n, pouze namísto jednoho operátoru derivování máme n operátorů x i, i = 1,..., n, a namísto namísto jednoho operátoru x-násobení máme n operátorů x i, i = 1,..., n, tedy x i f je funkce x x i f(x). Platí, též, že omezené spojité funkce na n a funkce z L p ( n ) jsou distribuce nultého řádu. 6. Fourierova transformace distribucí 6.1. Fourierova transformace distribuce. Nechť S S je distribuce. Fourierovu transformaci FS distribuce S definujeme předpisem Podobně, Tato definice je rozšířením původní definice FS, ϕ := S, ˆϕ, ϕ S. FS, ϕ := S, ˇϕ, ϕ S. Ff(x) = 1 11 e ixy f(y) dy,

12 kterou jsme použili pro funkce f L 1 (). Pro diskrétní distribuce tvaru µ = c k δ a, a M kde M je spočetná množina a c a jsou komplexní koeficienty splňující c a < +, je a M Fµ(x) = 1 a M c a e iax. Tato definice je konzistentní se vzorcem (17), ačkoli z tohoto vzorce přímo nevyplývá, totiž, funkce e iay nejsou povolené testovací funkce. (Prostor S je schválně úzký aby se jeho prvky daly testovat všechny distribuce. Pro speciální podtřídy distribucí by bylo možné uvažovat širší systémy testovacích funkcí.) 6.. Fourierova transformace násobku a derivace. Věty 4.5 a 4.6 nám dávají návod, v jakém tvaru hledat vzorce pro Fourierovu transformaci násobku a derivace. Vskutku, platí podobně F(xS) = i(fs), F(S ) = ixfs, F(xS) = i(fs), F(S ) = ixfs Věta (o inverzním vzorci). Nechť S je temperovaná distribuce. Potom F(FS) = F(FS) = S Poznámka. Je-li f integrovatelná funkce, je Ff omezená spojitá funkce (tedy podle 5.10 distribuce nultého řádu) a F(Ff) už má obecně smysl jen v distribucích, neboť Ff nemusí být integrovatelná. Věta 6.3 je tedy podstatným zesílením věty Fourierova transformace v Hilbertově prostoru. Nechť f L (). Potom funkci f můžeme přiřadit distribuci S f nultého řádu podle Řekneme, že funkce u L () je Fourierovou transformací funkce f, jestliže FS f = S u, značíme u = ˆf. Podobně definujeme ˇf. Pro funkce f L 1 () L () dávají obě definice (stará a nová) ˆf stejný výsledek. Fourierova transformace na prostoru L je izometrický izomorfismus L na sebe, totiž platí následující věta Věta (Plancherel). Nechť f L (). Potom ˆf L () existuje a Pro f L () platí inverzní formule ˆf = f. ( ˆf)ˇ= ( ˇf)ˆ= f Poznámka. V kapitole o Fourierových řadách jsme používali funkce Toto označení rozšíříme i na necelá čísla, tedy e k : x 1 e ikx, k Z. e y (x) = e x (y) = 1 e ixy. Pro Fourierovy řady v Hilbertově prostoru L (( π, π ) máme f = k Z(f, e k ) e k, zatímco inverzní vzorec pro Fourierovi transformaci je formálně (5) f = (f, e y )e y dy. Vada na kráse je, že není snadné dát vzorci (5) přesný význam, např. (f, e y ) = f(t)e y (t) dt = 1 e ity f(t) dt 1

13 nemá smysl jako skalární součin na L (), protože funkce e y v tomto prostoru nejsou Aplikace Fourierovy transformace na diferenciální rovnice. Fourierova transformace převádí složitější operaci derivace na jednodušší operaci násobení funkcí ix. Tím se diferenciální rovnice převádějí na algebraické rovnice. Metodu budeme ilustrovat na příkladu diferenciální rovnice } u + u = f (6) f L 1 (), u( +) = u(+ ) = 0 Aplikujeme-li Fourierovu transformaci na obě strany rovnice (6), dostaneme (x + 1)û = ˆf, takže ˆf û = x + 1 Zbývá jen maličkost, spočítat Fourierovu transformaci funkce f a inverzní Fourierovu transformaci funkce ˆf/(x + 1). Záležitost si můžeme zjednodušit pomocí tzv. fundamentálního řešení. Definujme fundamentální řešení diferenciálního operátoru u + u jako řešení ve smyslu distribucí diferenciální rovnice } u + u = δ 0 (7) u( +) = u(+ ) = 0 (obecně, fundamentální řešení se definuje i pro některé jiné diferenciální operátory s konstantními koeficienty). Potom metodou derivování podle parametru, anebo pomocí Fourierovy transformace, se dá odvodit, že w řeší (7) = w f řeší (6). Stačí tedy vyřešit rovnici (7). Aplikujeme-li Fourierovu transformaci na obě strany rovnice (7), dostaneme (x + 1)û = 1 Stačí tedy najít (inverzní) Fourierovu transformaci k funkci (x +1) 1. K tomu můžeme použít reziduovou větu (něco podobného už jsme počítali v komplexní analýze). V praxi je většinou jednodušší počítat řešení diferenciální rovnice přímo než Fourierovu transformací, naopak se setkáme s výpočtem Fourierovy transformace pomocí řešení diferenciální rovnice. Přesto je metoda Fourierovy transformace silným nástrojem teorie diferenciálních rovnic, zvláště parciálních. Pro účely posledně jmenovaných je třeba ovšem zobecnit Fourierovu transformaci do vyšší dimenze Fourierova transformace v n. Fourierovu transformaci komplexní integrovatelné funkce f na n definujeme předpisem 1 ˆf(x) = e ix y f(y) dy. () n/ n Je třeba zaregistrovat jen dvě změny: konstanta závisí na dimenzi a součin x y je skalární součin. Fourierova transformace v n se chová podobně jako v, například parciální derivaci podle x j převádí na násobení funkcí ix j. 7. Počítání Fourierových transformací 7.1. Poznámka. V této kapitole budeme občas zapisovat funkce nepřesným způsobem f(x) namísto f a oba zápisy kombinovat, například ve výrazech jako Ff + sin x, jinak by zápisy byly v některých případech nepřehledné. Vždy si uvědomme, že Fourierova transformace se dá obrátit, takže skoro každý příklad dává dva góly, dá se číst zleva doprava a zprava doleva. 7.. Příklad. Je dobré si zapamatovat, jak se Fourierova transformace chová vzhledem k symetriím. Snadno spočítáme { Ff(x), f sudá, (Ff)( x) = Ff(x) = Ff(x), f lichá, tedy Fourierova transformace zachovává sudost a lichost. Dále odtud plyne, že je-li f reálná a sudá, pak Ff je reálná, je-li f reálná a lichá, pak Ff je ryze imaginární. 13

14 Další užitečný vzorec je o lineární záměně proměnných ϕ(x) = ax + b. Máme (8) F(f ϕ)(x) = 1 a e ibx x a (Ff)( a ). ve vyšší dimenzi je nutno přepsat prvé 1/a jako 1/a n Příklad. Už víme z definice, že tedy podle inverzní formule je ˆδ 0 = () 1/, F 1 = () 1/ δ 0. Všimněme si, že už tato Fourierova transformace má smysl jenom v distribucích. V dalším nebudeme analogický komentář explicitně zmiňovat Příklad. Řešme rovnici (9) xu = 0 v distribucích. Po aplikaci Fourierovy transformace dostaneme tedy Fu = C i(fu) = 0, (integrační konstanta). (Lze dokázat, že jiná řešení už nejsou.) Aplikujeme inverzní transformaci a dostaneme (s jinou konstantou) u = Cδ Příklad. Buď f(x) = 1 sgn x. Potom f je distribuce nultého řádu. Máme f = δ 0, tedy po transformaci ixff = () 1/. Odtud Ff = i() 1/ x 1 + Cδ 0 (viz. příklady 5.13, 7.4). Zbývá určit konstantu C. Jelikož f je lichá, podle příkladu 7. je Fourierova transformace lichá a tudíž C = 0 a Ff = i() 1/ x Příklad. Nechť f = χ ( 1,1), tedy f = 1 na ( 1, 1) a 0 jinde. Potom f = δ 1 δ 1, tedy po transformaci ix ˆf(x) = () 1/ (e ix e ix ) = i() 1/ sin x. Odtud 1/ sin x ˆf(x) = (π/) x. Pravá strana se dá spojitě dodefinovat v nule. Výsledek máme ověřen až na člen Cδ 0, ale f je integrovatelná, takže ˆf je spojitá a C tudíž musí být nula Příklad. Buď f(x) = e x. Funkce f splňuje diferenciální rovnici tedy po transformaci f = xf, ix ˆf = i( ˆf). Ejhle, funkce ˆf splňuje stejnou diferenciální rovnici. Protože rovnice je lineární, musí být ˆf = cf. Konstantu c spočítáme přímo z definice Fourierovy transformace, totiž c = ˆf(0) = () 1/ e x dx = 1. (To je v podstatě Laplaceův integrál. který jsme spočítali v zimním semestru pomocí převodu na dvourozměrný integrál a polárních souřadnic.) Vidíme, že funkce e x se Fourierovou transformací zobrazí sama na sebe. Ze vzorce (8) dále dostaneme pro a = t (30) f(x) = e tx = ˆf(x) = 1 t e x 4t. 14

15 7.8. Příklad. Buď f(x) = 1 e x. Funkce f splňuje diferenciální rovnici tedy po transformaci Odtud f + f = δ 0, (x + 1) ˆf = () 1/. ˆf(x) = () 1/ 1 x Příklad. Nechť f(x) = (x + 1) 1. Pro počítání Fourierovy transformace máme tři možnosti. První možnost je použít příklad 7.8 a inverzni formuli. Bohužel, později chceme právě tento výsledek použít k důkazu inverzní formule, takže bychom dostali důkaz kruhem. Lepší možnost je použít rovnost (x + 1)f = 1, po transformaci ( ˆf) + ˆf = () 1/ δ 0, což je diferenciální rovnice pro ˆf, jejímž řešením odvodíme výsledek. Ještě jiná nezávislá možnost je počítat Fourierovu transformaci funkce f z definice a na výpočet integrálu použít reziduovou větu. Výsledek je ˆf(x) = (π/) 1/ e x Příklad. Buď f(x) = arctg x. Potom f (x) = 1 x +1, tedy podle předchozího příkladu 7.9 po transformaci ixff = (π/) 1/ e x. Odtud Ff = i(π/) 1/( e x 1 + x 1 ). x Zde jsme rozložili e x jako (e x 1) + 1, protože distribuce e x 1 x má smysl jako funkce a rovnici xu = 1 umíme řešit. Jelikož f je lichá, Ff musí být lichá a s členem Cδ 0 naložíme jako v příkladu 7.5. Uvědomme si, že funkce f je omezená a spojitá, a přesto není Fourierovým obrazem komplexní míry, natož funkce. Otázka, ke kterým funkcím lze najít Fourierův vzor v klasickém smyslu, vůbec není lehká a odpověď je příliš často záporná. Teorie distribucí v tomto ohledu není komplikací, ale vysvobozením Poznámka. Uvažujme integrovatelnou funkci u, jejíž druhá derivace je také integrovatelná. Položme f = u + u. Uvažujme integrál e ix(z y) f(y) (31) w(z) = x dx dy. + 1 Vyintegrujme nejprve podle x. Jelikož znalost Fourierovy transformace funkce (x + 1) 1 (příklad 7.9) dává e ix(y z) (3) x + 1 dx = πe y z, dostaneme w(z) = π e z y f(y) dy. Derivováním podle parametru dostaneme w + w = f, což spolu s integrovatelností funkce w dává w = u, viz. též 6.8. Nyní integrál (31) integrujme nejprve podle y. Dostaneme w(z) = () 1/ ixz e ˆf(x) x + 1 dx. Jelikož u + u = f, máme (x + 1)û = ˆf, tedy dohromady u(z) = () 1 w(z) = () 1/ e ixz û(x) dx = (û)ˇ(z), takže jsme ověřili inverzní formuli aspoň pro u splňující dané předpoklady. 15

16 Parciální diferenciální rovnice 8. Parciální diferenciální rovnice obecně 8.1. Úvodní poznámky. Parciální diferenciální rovnice jsou rovnice, v nichž hledáme funkci u na základě daného vztahu mezi jejími parciálními derivacemi. Řešení úlohy z parciálních diferenciálních rovnic jde málokdy spočítat přesně, účinnější jsou numerické metody. Parciální diferenciální rovnici většinou řešíme uvnitř nějaké otevřené množiny, přičemž na hranici této množiny zpravidla uvažujeme dodatečné tzv. okrajové podmínky. V aplikacích jsou nejdůležitější rovnice druhého řádu, tj. rovnice, kde se vyskytují parciální derivace druhého a nižších řádů. Derivace funkcí a tím i splnění rovnic budeme často chápat ve smyslu distribucí. Chceme-li zdůraznit, že rovnice jsou splněny tak, že derivace vyskytující se v zadání rovnice skutečně existují, jsou spojité a rovnice je splněna jako identita mezi funkcemi, mluvíme o klasickém řešení. V kapitolách o parciálních diferenciálních rovnicích budeme pracovat s reálnými (tj. nikoli komplexními) funkcemi. 8.. Lineární rovnice s konstantními koeficienty. Všechny rovnice, kterými se budeme zde zabývat, budou lineární a s konstantními koeficienty. Obecná lineární parciální diferenciální rovnice druhého řádu s konstantními koeficienty a ij, b i, c v n-rozměrném prostoru má tvar Lu = f, kde (33) Lu = n i,j=1 a ij u + x i x j a f je daná funkce (jediná nekonstantní data v zadání rovnice). n i=1 b i u x i + cu 8.3. Klasifikace lineárních rovnic druhého řádu. Na základě chování kvadratické formy n Q(ξ) = a ij ξ i ξ j, ξ n, i,j=1 říkáme, že rovnice (33) je eliptická, jestliže Q je definitní, parabolická, jestliže Q je semidefinitní, hyperbolická, jestliže Q je indefinitní. Transformací souřadnic a dalšími substitucemi lze rovnici (33) převést na jednodušší tvar. Např. v dimenzi dva lze rovnici zjednodušit na některý z tvarů u x + u 1 x = 0, u u x 1 x = 0, u x + u 1 x + u = 0, u u x 1 x + u = 0, u x u 1 x = 0, u x + u 1 x u = 0 (eliptické rovnice), u + u x 1 x u = 0 (parabolické rovnice), u x u 1 x + u = 0 (hyperbolické rovnice) Fundamentální řešení. Fundamentální řešení je jedna z mála věcí v teorii parciální diferenciálních rovnic, které se dají upočítat. Definuje se jako řešení rovnice (v distribucích) Lu = δ 0. Řešení úlohy s pravou stranou f a řešení tzv. počátečních úloh se pak dají získat konvolucí s fudamentálním řešením. Při odvozování tvaru fundamentálního řešení se často používá Fourierova transformace. 9. Laplaceova rovnice 9.1. Laplaceova rovnice, Poissonova rovnice. Nechť n je dimenze prostoru. Diferenciální operátor n u u = x i i=1 se nazývá Laplaceův operátor. ovnice u = 0 se nazývá Laplaceova rovnice, nehomogenní rovnice u = f se nazývá Poissonova rovnice. Laplaceova rovnice v dimenzi jedna má tvar u = 0 a jediná řešení jsou lineární polynomy. Zajímavá teorie tedy začíná od dimenze dva. 16

17 9.. Fundamentální řešení. Fundamentální řešení Laplaceovy rovnice v n je funkce { 1 ln x, n =, U(x) = 1 (n )σ n x n, n 3, kde σ n je povrch koule o poloměru jedna v n. Dosazením n = 3 dostaneme U(x) = 1 4π x, n = 3. Všimněme si, že mimo počátek máme (aniž buchom museli rozlišovat podle dimenze) U(x) = x σ n x n, n Potenciály. Řešení Poissonovy rovnice (34) u = f dostaneme konvolucí s fundamentálním řešením, tedy ve tvaru (35) u(x) = U(x y) f(y) dy. n Pro n = se integrál (35) nazývá logaritmickým potenciálem funkce f. Pro n 3 se integrál (35) nazývá Newtonovým potenciálem funkce f. O řešitelnosti Poissonovy rovnice potenciály vypovídají následující dvě věty. Vzhledem k drobným odlišnostem je dobré roslišit na dva případy podle dimenze Věta. Nechť Ω je omezená otevřená množina a f je omezená integrovatelná funkce na Ω. Potom funkce u(x) = U(x y) f(y) dy řeší na Ω Poissonovu rovnici u = f (v distribucích) Věta. Nechť n 3 a f je omezená integrovatelná funkce na n. Potom funkce u(x) = U(x y) f(y) dy n řeší na n Poissonovu rovnici u = f (v distribucích) a platí (36) lim u(x) = 0. x Ve třídě funkcí splňujících (36) je řešení Poissonovy rovnice jednoznačné. Ω 9.6. Dirichletova a Neumannova úloha. Uvažujme omezenou otevřenou množinu Ω n s hranicí Ω. Kromě diferenciální rovnice u = f máme ještě dánu spojitou funkci ϕ : Ω. Dirichletova úloha je úloha najít funkci u : Ω, která splňuje rovnici u = f v Ω a navíc Dirichletovu okrajovou podmínku (37) u(x) = ϕ(x), x Ω. Limitní přechod y x se chápe vzhledem k množině Ω. Pro formulaci Neumannovy úlohy potřebujeme, aby hranice Ω měla normálu. Budeme říkat, že hranice množiny Ω je třídy C k, k 1, jestliže existuje funkce η třídy C k tak, že Ω = {x : η(x) < 0} a η 0 na Ω. Normála je pak funkce ν(x) = η(x) η(x), x Ω. Neumannova úloha je úloha najít funkci u : Ω, která splňuje rovnici u = f a navíc Neumannovu okrajovou podmínku (38) D ν u(x) = ψ(x), x Ω, kde ψ je opět zadaná spojitá funkce na Ω. Levá strana je jednostranná derivace u v x ve směru vnější normály ν(x), totiž u(x + tν) u(x) lim. t 0 t 17

18 K úloze najít řešení Poissonovy rovnice na omezené otevřené množině Ω zpravidla přidáváme Dirichletovu nebo Neumannovu podmínku, ne však obě současně. Řešení Dirichletovy úlohy je jednoznačné a řešení Neumannovy úlohy je jednoznačné až na aditivní konstantu. Tvrzení o jednoznačnosti pro Dirichletovu úlohu zformulujeme v následující větě Věta o jednoznačnosti. Nechť Ω n je omezená otevřená množina, f je spojitá funkce na Ω a ϕ je spojitá funkce na Ω. Pak existuje nejvýš jedna spojitá funkce u na Ω, řešící Poissonovu rovnici u = f v Ω a Dirichletovu podmínku (37) na Ω Potenciál dvojvrstvy. Nechť Ω n je omezená otevřená množina s hranicí třídy C, Uvažujme spojitou funkci g : Ω. Potom potenciál dvojvrstvy s hustotou g je funkce u(x) = 1 y x σ n y x n ds(y), x n. Ω Integrál vpravo skutečně konverguje pro všechna x n. Potenciál dvojvrstvy řeší Laplaceovu rovnici uvnitř Ω a vně Ω. Potenciál dvojvrstvy s hustotou 1 je roven 1 uvnitř Ω a 0 vně Ω. Potenciál dvojvrstvy je spojitý v bodě x Ω, když g(x) = Převedení Dirichletovy úlohy na integrální rovnici. Dirichletova a Neumannova úloha se dají převést na integrální rovnice na Ω. Tuto metodu si budeme demonstrovat pouze na Dirichletově úloze. Budeme předpokládat, že Ω je třídy C, že pravá strana f je omezená integrovatelná funkce na Ω a že okrajová podmínka ϕ je spojitá funkce na Ω. Především, pomocí Newtonova nebo logaritmického potenciálu najdeme nějaké řešení w rovnice w = f, to vyjde jako spojitá funkce na Ω. Řešení u původní úlohy budeme hledat ve tvaru u = w + v. Je zřejmé, že u bude řešit původní úlohu, právě když v bude řešit Laplaceovu rovnici s Dirichletovou podmínkou v = ϕ u na Ω. Proto se v dalším můžeme omezit na Laplaceovu rovnici Věta. Nechť Ω n je omezená otevřená množina s hranicí třídy C a ϕ je spojitá funkce na Ω. Nechť funkce g řeší integrální rovnici g(x) + 1 y x (g(y) g(x)) ds(y) = ϕ(x), x Ω. σ n y x n Ω Dodefinujeme-li potenciál dvojvrstvy u(x) = 1 σ n Ω y x g(y) ds(y), x Ω, y x n hodnotami ϕ na Ω, dostaneme spojitou funkci a tudíž řešení Dirichletovy úlohy (37) pro Laplaceovu rovnici. Řešení u je nekonečně diferencovatelné (a tudíž klasické ) v Ω. 10. ovnice vedení tepla Evoluční rovnice. Některé rovnice druhého řádu mají rozumnou fyzikální interpretaci, použije-li se jedna proměnná pro čas a zbývající proměnné pro prostorové souřadnice. Abychom výrazněji odlišili časovou proměnnou a prostorové proměnné, používáme značení (x, t) pro dvojici (prostorový bod, časový okamžik). V evolučních rovnicích předpokládáme, že proměnná x probíhá n-rozměrný prostor n, proměnná t je jednorozměrná, takže vlastně rovnici řešíme v n = n ovnice vedení tepla. ovnice vedení tepla, někdy též nazývaná rovnice difuze, je parabolická evoluční rovnice (39) u u = 0, t kde je Laplaceův operátor vzhledem k prostorovým proměnným, tedy n u (40) u(x, t) = x (x, t) i i=1 Pro jednoduchost se omezíme na homogenní rovnici (tj. na pravé straně rovnice (39) je nula a ne funkce f). 18

19 10.3. Cauchyova úloha. Počáteční Cauchyova úloha je úloha najít v n 0, ) spojitou funkci u, která pro t > 0 řeší rovnici vedení tepla a pro t = 0 nabývá předepsaných hodnot, tedy (41) u t (x, t) u(x, t) = 0, x n, t > 0, u(x, 0) = ϕ(x), x n. Abychom mohli řešit počáteční úlohu konvolucí, potřebujeme funkci G, která řeší ve zobecněném smyslu speciální počáteční úlohu (4) G (x, t) G(x, t) = 0, t > 0, t G(, 0) = δ 0. Symbol δ 0 je zde Diracova distribuce vzhledem k prostorové proměnné. Shodou okolností je funkce G řešící (4) také fundamentálním řešením rovnice vedení tepla, tedy G (43) t G = δ 0, kde tentokrát δ 0 je Diracova distribuce vzhledem k časoprostorové proměnné Fundamentální řešení. Zatímco (43) nás opravňuje nazvat funkci G funkdamentálním řešením, pro odvození vyjdeme z motivce počáteční úlohou, tedy z úlohy (4). Aplikujeme-li Fourierovu transformaci vzhledem k prostorovým proměnným, dostaneme Ĝ t (x, t) + x Ĝ(x, t) = 0, t > 0, Ĝ(x, 0) = () n/. Pro pevné x řešíme počáteční úlohu pro obyčejnou diferenciální rovnici v proměnné t, dostaneme Ĝ(x, t) = () n/ e x t, x n, t > 0. Aplikujeme inverzní Fourierovu transformaci v prostorové proměnné (viz. (30)) a dostaneme (44) G(x, t) = (4πt) n/ e x 4t, x n, t > Věta. Nechť ϕ je omezená spojitá funkce na n. Potom existuje právě jedno omezené řešení Cauchyovy úlohy (41) a to má tvar u(x, t) = (4πt) n/ e y x n 4t ϕ(y) dy, x n, t > 0. Řešení u je nekonečně diferencovatelné (a tudíž klasické ) na otevřeném poloprostoru n (0, ). 11. Vlnová rovnice Vlnová rovnice. Vlnová rovnice je hyperbolická evoluční (viz. úmluvy 10.1) rovnice u (45) u = 0, t kde je opět Laplaceův operátor vzhledem k prostorovým proměnným, viz. (40). Pro jednoduchost se opět omezíme na homogenní rovnici (tj. na pravé straně rovnice (45) je nula a ne funkce f) Počáteční úloha pro vlnovou rovnici. Jelikož vlnová rovnice je druhého řádu vzhledem k časové proměnné, můžeme si dovolit kromě počáteční hodnoty funkce současně zadat i počáteční hodnoty časové derivace. Počáteční úloha pro vlnovou rovnici je tedy úloha najít v n+1 funkci w, která řeší vlnovou rovnici a pro t = 0 nabývá předepsaných hodnot, tedy (46) w t w = 0 v n+1, w(x, 0) = ϕ (x), x n, w t (x, 0) = ϕ 1(x), x n, 19

20 kde ϕ 1, ϕ jsou dané spojité funkce na n. Protože řešení úlohy se zapíše snáze než fundamentální řešení, otázku fundamentálního řešení přeskočíme a rovnou se budeme věnovat zápisu řešení. Úlohu si můžeme zjednodušit na (47) totiž, jestliže u i řeší (47) s ϕ = ϕ i, pak řeší (46). Vtip je v tom, že pro t = 0 je u t u = 0 v n+1, u(x, 0) = 0, x n, u t (x, 0) = ϕ(x), x n ; w = u 1 + u t u t t (, 0) = u t (, 0) = u (, 0) = 0 = 0. Tvar řešení se liší dimenzi od dimenze, napíšeme tedy zvlášť řešení pro n = 1,, 3. Věty zformulujeme pro klasická řešení, pro ϕ spojitou dostaneme pouze řešení ve smyslu distribucí Věta (n = 1, D Alembert). Nechť ϕ je dvakrát spojitě diferencovatelná funkce na. Potom funkce u(x, t) = t řeší úlohu (46) v. Řešení je jednoznačné. 1 1 ϕ(x + ty) dy Věta (n =, Poisson). Nechť ϕ je dvakrát spojitě diferencovatelná funkce na. Potom funkce u(x, t) = t ϕ(x + ty) dy 1 y řeší úlohu (46) v. Řešení je jednoznačné. y < Věta (n = 3, Kirchhoff). Nechť ϕ je dvakrát spojitě diferencovatelná funkce na 3. Potom funkce u(x, t) = t ϕ(x + ty) ds(y) 4π řeší úlohu (46) v 3. y = Poznámka. Integrál v (11.4) je dvojný, protože jsme v prostorové dimenzi dva. Integrál v (11.5) je dvojný, protože jsme sice v prostorové dimenzi tři, ale integrujeme přes sféru, takže integrál je plošný Poznámka. Mezi vlnovou rovnicí a rovnicí vedení tepla jsou značné rozdíly. Pomineme-li fakt, že u vlnové rovnice zadáváme na počátku nejen funkci, ale i derivaci, hlavní rozdíly jsou následující. ovnice vedení tepla zhlazuje, tedy i nehladká počáteční podmínka dává od samého počátku hladké řešení. Vlnová rovnice může hrubosti a singularity počátečních podmínek šířit dál. ovnice vedení tepla šíří informaci nekonečnou rychlostí. To je sice nefyzikální, ale přesto rovnice vystihuje v rámci možností fyzikální realitu dost věrně. Vlnová rovnice šíří informaci konstantní rychlostí (v tom tvaru jak ji máme zapsanou je to rychlost 1). ovnici vedení tepla má smysl řešit jen dopředu v čase, to znamená, že úloha určit z rozložení teploty v nějakém časovém okamžiku její rozložení v minulosti je nekorektní. Vlnová rovnice se dá řešit dopředu i zpět. 1. Fourierova metoda 1.1. Úvodní poznámka. Počáteční úloha pro evoluční rovnice je sice teorericky velmi důležitá, ale v praxi často řešíme okrajové úlohy. Například v dimenzi jedna nám rovnice vedení tepla popisuje vedení tepla v tyči a vlnová rovnice kmitání struny. Počáteční úloha odpovídá nekonečně dlouhé tyči, resp. struně, což nemusí být přesně to co potřebujeme. 0

21 1.. Princip Fourierovy metody. Jednou z nejvýznamnějších metod pro řešení okrajových úloh pro evoluční rovnice je Fourierova metoda. Popíšeme si ji v prostorové dimenzi jedna. Každý daný interval lze převést lineární substitucí na interval (0, π), tedy budeme uvažovat jen tento interval. Danou počáteční úlohu si rozvineme do sinové Fourierovy řady. Plná Fourierova řada totiž odpovídá periodické okrajové podmínce, zatímco my se budeme zajímat o nulovou okrajovou podmínku. Pro každý člen řady najdeme zvlášť řešení okrajové úlohy a nakonec řešení sečteme Okrajová úloha pro rovnici vedení tepla. Pro rovnici vedení tepla nás zajímá okrajová úloha (48) Řešení úlohy pro jednotlivé členy je u t u = 0 x x (0, π), t > 0, u(x, 0) = ϕ, x (0, π), u(0, t) = u(π, t) = 0, t > 0. u(x, t) = e kt sin kt pro ϕ(x) = sin kx Věta. Nechť ϕ je spojitě diferencovatelná funkce na intervalu 0, π, ϕ(0) = ϕ(π). Potom řešení úlohy (48) je jednoznačné a najdeme jej ve tvaru u(x, t) = b k e kt sin kt, kde b k jsou koeficienty Fourierova rozvoje funkce ϕ, tj. ϕ(x) = b k sin kx Okrajová úloha pro vlnovou rovnici.. Pro vlnovou rovnici nás zajímá okrajová úloha (49) u t u = 0 x x (0, π), t > 0, u(x, 0) = ψ, x (0, π), u (x, 0) = ϕ, t x (0, π), u(0, t) = u(π, t) = 0, t > 0. Stejně jako u počáteční úlohy můžeme situaci převést na případ ψ = 0. Řešení úlohy pro jednotlivé členy je u(x, t) = 1 k sin kt sin kx pro ϕ(x) = sin kx Věta. Nechť ϕ je dvakrát spojitě diferencovatelná funkce na intervalu 0, π, ϕ(0) = ϕ(π), a ψ 0. Potom řešení úlohy (49) je jednoznačné a najdeme jej ve tvaru b k u(x, t) = sin kt sin kx, k kde b k jsou koeficienty Fourierova rozvoje funkce ϕ, tj. ϕ(x) = b k sin kx. 1