Verze z 9. 11. 2016, 23:46

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.
\begin{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 {Je-li $f\in L^1$, pak odtud neplyne, že $\Ft{f(x)}{\xi} \in L^1(\R^n)$}
\begin{proof}
$$\left| \displaystyle \int_{\R^n} \Ft{f(x)}{\xi} \dd \xi \right| = \left | \displaystyle \int_{\R^n} \dd \xi \displaystyle \int_{\R^n} \dd x e^{\i x\cdot \xi}f(x) \right| \leq
\displaystyle \int_{\R^n} \dd \xi \displaystyle \int_{\R^n} \dd x  \underbrace{\left\vert e^{\i x\cdot \xi} \right\vert}_{=1}  \underbrace{\left \vert f(x)\right\vert}_{<+\infty} = +\infty.$$
\end{proof}
Toto je možné samozřejmě ilusstrovat konkrétním příkladem, ale nebudeme to dělat. Je to v podstatě zbytečné. Je důležité, že jsme objevili první nepříjemnou vlastnost námi definovaného zobrazení $\F$. 
Totiž nevíme, kam zobrazeuje, resp. co je jeho oborem hodnot. Tento problém bude muset náš nový prostor nějak elegantně vyřešit. 
\item {\it {Je-li $f\in L^1$ s komapktním nosičem, pak odtud neplyne, že $\nf \Ft{f(x)}{\xi}$ je kompakt.}
Tuto vlastnost ukážeme na konkrétním příkladě. Za funkci $f(x)$ volme charakteristickou funkci intervalu $[0,1]$, tzn. $\chi_{[0,1]}(x)$. Pak 
$$\Ft{\chi_{[0,1]}{\xi} = \displaystyle \int_0^1 e^{\i x\cdot \xi} \dd x = \displaystyle \int_0^1 \cos{x\xi} \dd x + \i \displaystyle \int_0^1 \sin{x\xi} \dd x = $$
$$ = \left[ \frac{1}{\xi} \sin{x\xi}\right]_0^1 -\i \left[ \frac{1}{\xi} \cos{x\xi}\right]_0^1  = \frac{1}{\xi} \sin \xi - \frac{\i}{\xi} (\cos \xi -1)$$
Tato funkce zcela určitě nemá omezený nosič. ¨
\end{enumerate}
Vidíme tedy, že máme sice nějakou transfomaci, ale nemůžeme ji použít na prostoru $\D'$, což bychom chtěli. Můžete namítat, že by možná bylo snazší najít jinou transformaci, 
ale vězte, že tato nám dává mocný nástroj pro výpočet fundamentálních řešení parciálních diferenciálních rovnic a navíc velmi zjednodušuje jejich řešení a usnadňuje výpočty konvolucí, neboť 
$$
\end{remark}