01RMF:Kapitola3

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01RMF

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01RMFMazacja2 16. 12. 201618:29
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůMazacja2 28. 12. 201613:12
Header editovatHlavičkový souborMazacja2 18. 12. 201621:10 header.tex
Kapitola0 editovatPředmluvaMazacja2 9. 11. 201620:51 predmluva.tex
Kapitola1 editovatMotivaceJohndavi 8. 4. 201916:34 motivace.tex
Kapitola2 editovatZobecněné funkceLomicond 7. 12. 201916:51 zobecnene_funkce.tex
Kapitola3 editovatIntegrální transformaceLomicond 25. 12. 201915:58 integralni_transformace.tex
Kapitola4 editovatŘešení dif. rovnicJohndavi 9. 4. 201915:15 reseni.tex
Kapitola5 editovatIntegrální rovniceJohndavi 8. 4. 201916:25 Kapitola5.tex
Kapitola6 editovatSturm-Liouvilleova teorieJohndavi 8. 4. 201915:35 Kapitola6.tex

Zdrojový kód

%\wikiskriptum{01RMF}
\chapter{Integrální transformace}
Vybudovali jsme prostor zobecněných funkcí a pomalu směřujeme k řešení parciálních diferenciálních rovnic. Jak jsme viděli na konci minulé kapitoly, jsme na dobré cestě.
V této kapitole se tedy budeme věnovat integrálním transformacím, konkrétně Laplaceově a Fourierově, které, jak uvidíme, jsou velmi mocným a užitečným nástrojem.
Abychom s nimi mohli začít pracovat, je potřeba ještě vybudovat jistý speciální prostor a na něm zadefinovat speciální třídu zobecněných funkcí. 
 
\section{Schwartzův prostor a prostor temperovaných zobecněných funkcí}
\subsection{Motivace}
Na následujících několika řádcích a příkladech se pokusíme objasnit, proč je třeba revidovat naši definici zobecněných funkcí a proč je třeba vytvoření nějakého nového prostoru. 
Naší snahou a naším cílem je vytvoření takové struktury, která by byla uzavřená právě vůči integrálním transformacím, jako je například Fourierova transformace $\F$. 
Proto ji nyní poněkud neformálně zavedeme. Tato definice není zatím definitivní a je pouze pro účely této motivační sekce.
\begine{define}*
Pod pojmem {\it Fourierova transformace $\F$} rozumíme zobrazení z prostoru $L^1(\R^n)$ takové, že 
pro $f\in L^1$ definujeme
$$\Ft{f(x)}{\xi}:= \displaystyle \int_{\R^n} e^{\i x\cdot \xi}f(x)\dd x.$$
\end{define}*
 
\begin{remark}
V následujících poznámkách se budeme snažit ukázat některé vlastnosti $\F$, ze kterých vyplyne, že je skutečně nutné vytvářet nový prostor testovacích funkcí. 
\footnote{Ale není třeba se lekat. To, co jsme dosud vybudovali, nezahodíme, ale velmi účelně využijeme.}
\begin{enumerate}
\item {\it Je-li $f\in L^1$, pak $\Ft{f(x)}{\xi}$ je omezená funkce na $\R^n$}
\begin{proof}
Pro dokázání toto tvrzení stačí vyjít z definice:
$$ \left\vert \Ft{f(x)}{\xi} \right\vert = \left\vert  \displaystyle \int_{\R^n} e^{\i x\cdot \xi}f(x)\dd x \right \vert \leq \displaystyle \int_{\R^n} \underbrace{\left\vert e^{\i x\cdot \xi} \right\vert}{=1}
\left| f(x)\right| \dd x < + \infty$$
Poslední nerovnost plyne z faktu, že $f\in L^1$. 
\end{proof}
\item
\end{enumerate}
\end{remark}