01RMF:Kapitola5: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
Řádka 162: Řádka 162:
 
Následující věta korektně zdůvodní, proč je možné provést záměny, kterou jsme dělali v postupu výše.  
 
Následující věta korektně zdůvodní, proč je možné provést záměny, kterou jsme dělali v postupu výše.  
 
\begin{theorem}[o možnosti záměny]
 
\begin{theorem}[o možnosti záměny]
Je-li $|\lambda|< \frac{1}{MV}$, pak řada $\Res(x,y,\lambda) = \displaystyle \sum_{k=0}^{+\infty}\lambda^k \K_{k+1}(x,y)$ konverguje v $\C (\bar{G} \times \bar{G})$.
+
Je-li $|\lambda|< \frac{1}{MV}$, pak řada $\Res(x,y,\lambda) = \displaystyle \sum_{k=0}^{+\infty}\lambda^k \K_{k+1}(x,y)$ konverguje v $\C (\bar{G} \times \bar{G})$. Řadu $\Res$ nazýváme resolventní jádro. Toto járdo je spojité na $\C(\bar{G}\times \bar{G}\times B_{\frac{1}{MV}})$. Navíc řešení $\phi$ rovnice $\phi = \lambda \Kb \phi + f$ je
 +
$$\phi(x) = f(x) \lambda  \displaystyle \int_{G} \Res(x,y,\lambda) f(y) \dd y.$$
 +
\begin{remark}
 +
Celou dobu řešíme problém $\phi = \lambda \Kb \phi + f$, který je možno převést na tvar $(\mathbf{I} - \lambda \Kb) \phi = f$. Zároveň ale tato věta říká, že
 +
$\phi = f+ \lambda \mathbf{R} f = (\mathbf{I} + \lambda \mathbf{R})f$. Odtud ale plyne, že $$(\mathbf{I}-\lambda \Kb)^{-1} = (\mathbf{I} + \lambda \mathbf{R}).$$
 +
Tedy problém nalezení řešení integrální rovnice vyřešíme nalezením inverzního operátoru se spojitým jádrem pomocí původního operátoru. Tímto získámme mnohem více informací,
 +
než kdybychom použili kteroukoliv jinou metodu. 
 +
\end{remark}
 +
\begin{proof}
 +
\end{proof}
 +
\end{remark}
 
\end{theorem}
 
\end{theorem}

Verze z 14. 12. 2016, 19:07

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í rovnice}
V celé kapitole budeme množinou $G$ rozumět omezenou oblast v $\R^n$. 
Budeme obecně zkoumat dva případy funkcí, a to 
\begin{enumerate}
\item funkce $L^2(G)$ s normou $\Vert f\Vert_2 = \displaystyle \int_G f \bar{f} \dd x$;
\item funkce $\C(\bar{G})$ s normou $\Vert f \Vert_{\C} = \mathrm{max}_{x\in \bar{G}} |f(x)|$. 
\end{enumerate}
 
\section{Fredholmovy integrální rovnice}
Definujme integrální operátor 
$$ \Kb \phi(x) = \displaystyle \int_{G} \K(x,y) \phi(y) \dd y, $$
přičemž $\K$ nazýváme integrální jádro a budeme předpokládat, že $\K\in C(\bar{G} \times \bar{G})$. 
Označme $M = \mathrm{max}_{\bar{G}\times \bar{G}} |\K(x,y)|$, tzv. mez jádra. Dále označme $V = \displaystyle \int_{G} 1 \dd x < +\infty$
 
\begin{define}
Fredholmovou integrální rovnicí pro funkci $f$ rozumíme rovnici tvaru 
$$ f= \lambda \Kb f + g ,$$
kde $\lambda \in \mathbb{C}$,  funkce $g$ se tradičně nazývá pravá strana a $\Kb$ je integrální operátor se spojitým jádrem. 
\end{define}
Tuto úlohu můžeme přepsat do ekvivalentní podoby $(\mathbf{I} - \lambda \Kb)f =g$ a hledáme řešení buď v $L^2(G)$ (pak $g \in L^2(G)$, nebo v $\C(\bar{G})$ (pak $g\in \C(\bar{G})$). 
Speciálně pro nulovou pravou stranu dostáváme úlohu na vlastní čísla operátoru $\Kb$.
 
\subsection{Degenerované jádro}
\begin{define}
Řekneme, že integrální jádro $\K(x,y)$ je degenerované, jestliže je separovatelné, tj.  je možné jej zapsat ve tvaru $\K(x,y) = \displaystyle \sum_{j=1}^{p}u_j(x)v_j(y)$, 
kde $u_j(x), v_j(y) \in \C(\bar{G})$.
\end{define}
 
Přepišme nyní Fredholmovu integrální rovnici pro degenerované jádro:
$$f(x) = \lambda \Kb f(x) + g(x) = \lambda \displaystyle \int_{G} \displaystyle \sum_{j=1}^{p}u_j(x)v_j(y) f(y) \dd y  + g(x)= $$
$$ = \lambda \displaystyle \sum_{j=1}^{p}u_j(x) \underbrace{\displaystyle \int_{G} v_j(y) f(y) \dd y}_{c_j\in \mathbb{C}} + g(x)$$
Tímto jsme získali tvar řešení
$$ f(x) = \lambda \displaystyle \sum_{j=1}^{p}u_j(x)c_j + g(x).$$
Nyní je možné dosazením do původní rovnice určit koeficienty. My tyto koeficienty určíme jinou metodou.
Uvažujme tedy řešení 
$$ f(x) = \lambda \displaystyle \sum_{j=1}^{p}u_j(x)c_j + g(x).$$ 
Pronásobme celou rovnost výrazem $v_j(x)$ a zintegrujme ji přes $G$ podle $x$. 
Máme pak 
$$c_j = \displaystyle \int_G v_j(x)f(x) \dd x  = \lambda \displaystyle \sum_{k=1}^{p} c_k \displaystyle \int_{G} u_k(x)v_j(x) \dd x + \displaystyle \int_{G} v_j(x)g(x) \dd x.$$
Pokud tuto úpravu provedeme pro veškerá $j$, získáme soustavu lineárních algebraických rovnic pro koeficienty $c_j$.
 
Označme $z_i = \displaystyle \int_{G}v_i(x)f(x) \dd x$ a dosaďme za $f(x)$ z Fredholmovy rovnice:
$$z_i = \displaystyle \int_{G} (v_i(x)(\lambda \Kb f(x) + g(x) ) \dd x = 
\lambda \displaystyle \int_{G} v_i(x) \displaystyle \sum_{j=1}^{p}u_j(x) \left(  \displaystyle \int_{G}v_j(y)f(y) \dd y \right) \dd x + \displaystyle \int_{G} v_i(x)g(x) \dd x = $$
$$ = \lambda \displaystyle \sum_{j=1}^{p} \underbrace{\left( \displaystyle \int_{G}v_i(x)u_j(x)\dd x \right)}_{A_{ij}} \underbrace{\left( \displaystyle \int_{G}v_j(y)f(y)\dd y \right)}_{z_j} +
\underbrace{ \displaystyle \int_{G}v_i(x)g(x)\dd x }_{b_i}$$
Tedy jsme získali rovnici 
$$z = \lambda \A z + b.$$
 
Označme $z^{\ast}$ řešení této rovnice. Jelikož celou dobu chceme získat řešení Fredholmovy integrální rovnice, dosaďme tento výsledek do tvaru, do kterého jsme rovnici v první úpravě převedli. 
$$f^{\ast}(x) = \lambda \Kb f^{\ast}(x) +g = \lambda \displaystyle \sum_{j=1}^{p}u_j(x) \underbrace{\displaystyle \int_{G} v_j(y)f^{\ast}(y) \dd y}_{z_j^{\ast}} + g(x) = \lambda \displaystyle \sum_{j=1}^{p}u_j(x) z^{\ast}_j(x) + g(x)$$
Tímto jsme vyřešili Fredholmovu rovnici pro degenerované jádro. 
 
\subsection{Iterativní metody řešení}
\begin{theorem}
Integrální operátor $\Kb$ se spojitým jádrem $\K$ zobrazuje:
\begin{enumerate}
\item $L^2(G) \to \C(\bar{G})$, protože $\Vert \Kb f \Vert_{\C} \leq M\sqrt{V} \Vert f \Vert_2$ pro všechny $f\in L^2(G)$;
\item $\C(\bar{G}) \to \C(\bar{G})$, protože $\Vert \Kb f \Vert_{\C} \leq MV \Vert f \Vert_{\C}$ pro všechny $f \in \C(\bar{G})$;
\item $ L^2(G) \to L^2(G)$, protože $\Vert \Kb f \Vert_2 \leq MV \Vert f \Vert_2$ pro všechny $f\in L^2(G)$.
\end{enumerate}
\begin{proof}
\begin{enumerate}
V důkazu budeme často využívat Schwarzovu nerovnost a mez jádra. 
\item $$\Vert \Kb f \Vert_{\C} = \mathrm{max}_{\bar{G}} \left| \displaystyle \int_{G} \K(x,y) f(y)\dd y \right| \leq \mathrm{max}_{\bar{G}} \left| \left(\displaystyle \int_{G}\K^2(x,y) \dd y\right)^{\frac{1}{2}} 
\left( \displaystyle \int_{G} f^2(y) \dd y\right)^{\frac{1}{2}}\right| =$$
$$ = \sqrt{M^2}\mathrm{max}_{\bar{G}} \left(\displaystyle \int_{G}1 \dd y\right)^{\frac{1}{2}} \Vert f \Vert_2 = M \sqrt{V}\Vert f \Vert_2$$
\item $$\Vert \Kb f \Vert_{\C}  = \mathrm{max}_{\bar{G}} \left| \displaystyle \int_{G} \K(x,y) f(y)\dd y \right| \leq \mathrm{max}_{\bar{G}} \displaystyle \int_{G}|\K(x,y)| |f(y)| \dd y \leq M \Vert f \Vert_{\C}$$
\item $$\Vert \Kb f \Vert^2_{2} = \displaystyle \int_{G} \left| \Kb f(x) \right|^2 \dd x =  \displaystyle \int_{G} \left| \left( \displaystyle \int_{G} \K(x,y) f(y)\dd y \right) \right|^2 \dd x \leq $$
$$\leq \displaystyle \int_{G} \left[\left(\displaystyle \int_{G}|\K(x,y)|^2 \dd y \right)^{\frac{1}{2}} \left( \displaystyle \int_{G}|f(y)|^2 \dd y \right)^{\frac{1}{2}}\right]^{2} \dd x  \leq $$
$$ \leq  \displaystyle \int_{G} \left( MV^{\frac{1}{2}} \Vert f \Vert_2\right)^2 \dd x = M^2 V^2 \Vert f \Vert_2 ^2$$
Odtud již plyne požadovaná nerovnost. 
\end{enumerate}
\end{proof}
\end{theorem}
 
\begin{define}
Buďte $V, V_1$ normované vektorové prostory. Zobrazení (operátor) $B:V\to V_1$ nazveme {\bf omezené (omezený)}, jestliže existuje $c>0$ takové, že pro všechna $x\in V$ platí, že 
$$\Vert Bx\Vert_1 \leq c\Vert x\Vert.$$
Nejmenší takovéto $c$ nazveme normou operátoru $B$ a označujeme jej $\Vert B \Vert$.
\end{define}
Je zřejmé, že normu operátoru lze snadno určit pomocí vztahu
$$ \Vert B \Vert  = \mathrm{sup}_{x \neq 0} \frac{\Vert Bx\Vert_1}{\Vert x\Vert}. $$
 
\begin{theorem}
Buďte $(V,\Vert  \ \dot \ \Vert), (V_1,\Vert \ \dot \ \Vert_1)$ normované prostory \footnote{Nikoliv nutně Banachovy, nepožadujeme úplnost!} a buď $B:V \to V_1$ lineární operátor. Pak následující výroky jsou ekvivalentní :
\begin{enumerate}
\item $B$ je omezený;
\item $B$ je spojitý;
\item $B$ je spojitý v bodě. 
\begin{proof}
\begin{enuemrate}
\item[$1 \Rightrrow 2$] 
$$\Vert Bx -By\Vert_1 = \Vert B(x-y)\Vert_1 \leq \Vert B \Vert \Vert x-y \Vert$$
Odtud již z omezenost plyne spojitost. 
\item[$2 \Rightarrow 3$] Je zřejmé, že zobrazení, které je spojité (tedy je spojité v každém bodě svého definičního oboru), je spojité v bodě. 
\iteem[$3 \Rightarrow 1$] Buď $B$ spojité BÚNO v $x=0$. To znamená, že
$$\forall \epsilon >0 \ \exists \delta >0 \ \Vert x \Vert < \delta \Rightarrow \Vert Bx \Vert_1 < \epsilon.$$
Volme tedy $\epsilon = 1$. Pak $\Vert x \Vert < \delta \Rightarrow \Vert Bx \Vert_1 < 1$. Beru-li nyní libovolné $y\in V$,$y \neq 0$, pak zcela jistě
$$\left\Vert \frac{\delta}{2} \frac{y}{\Vert y \Vert}\right\Vert < \delta \Rightarrow \left\Vert B\left(\frac{\delta}{2} \frac{y}{\Vert y \Vert}\right) \right\Vert_1 $$
Toto ale lze přepsat na tvar 
$$ \frac{\delta}{2}\frac{1}{\Vert y \Vert} \Vert By \Vert_1 < 1 \Leftrightarrow \Vert By \Vert_1 < \frac{2}{\delta}\Vert y \Vert$$
Tímto jsme ukázali omezenost. 
 
\end{enumerate}
\end{proof}
\end{theorem}
 
Důsledkem této věty je fakt, že Fredholmův integrální operátor je omezený a spojitý (a samozřejmě lineární) jako zobrazení  $L^2(G) \to \C(\bar{G})$, $\C(\bar{G}) \to \C(\bar{G})$, $ L^2(G) \to L^2(G)$. 
 
 
\subsection{Metoda postupných aproximací na $\C(\bar{G})$}
Předpokládejme, že $f \in \C (\bar{G})$ a hledejme funkci $\phi \in \C (\bar{G}) $, která bude řešit úlohu $$\phi(x) = \lambda \Kb \phi(x) + f(x).$$ Jak název metody napovídá, budeme se snažit najít řešení iterací. 
Proto položme 
$$ \phi_0(x) = f(x),$$
$$ \phi_{k+1}(x) = \lambda \Kb \phi_{k}(x) + f(x). $$
Získáváme posloupnost funkcí $\phi_k(x)$. Je zřejmé, že $$\displaystyle \lim_{k\to + \infty} \phi_k(x) = \phi(x),$$
což je funkce, která řeší zadanou úlohy. 
 
\begin{theorem}
Buď $|\lambda| < \frac{1}{MV}$. Pak posloupnost $\phi_k \sk{\bar{G}} \phi$, kde funkce $\phi$ je jediným řešením rovnice $\phi(x) = \lambda \Kb \phi(x) + f(x).$
\begin{proof}
Z rekurentního vztahu dostáváme $$\phi_k= \displaystyle \sum_{j=1}^{k} \lambda^j \Kb^j f + f.$$
Toto ověříme matematickou indukcí:
Pro $k=0,1$ je vztah dle definice výše zřejmě splněn. Proto se zaměřme na přechod od $k$ ke $k+1$:
$$\phi_{k+1}= \lambda \Kb \phi_k + f = \lambda \Kb \left(\displaystyle \sum_{j=1}^{k}\lambda^j \Kb^j f + f  \right) +f = \displaystyle \sum_{j=1}^{k}\lambda^{j+1} \Kb^{j+1} f + \lambda \Kb f + f = $$
$$= \displaystyle \sum_{j=2}^{k+1}\lambda^{j} \Kb^{j} f + \lambda \Kb f + f = \displaystyle \sum_{j=1}^{k+1}\lambda^{j} \Kb^{j} f + f $$
Abychom ukázali stejnoměrnou konvergenci funkční posloupnosti $\phi_k$, stačí ukázat, že řada $\displaystyle \sum_{j=1}^{+\infty}\lambda^{j} \Kb^{j} f$ konverguje stejnoměrně. K důkazu toho tvrzení využijeme 
Weierstrassovu větu, která říká, že stačí najít konvergentní číslenou majorantu. Stačí totiž pracovat v normě. 
Tedy řada $\displaystyle \sum_{j=1}^{+\infty}\lambda^{j} \Kb^{j} f$ konverguje stejnoměrně na $\bar{G}$, pokud $\displaystyle \sum_{j=1}^{+\infty}\Vert\lambda^{j} \Kb^{j} f \Vert_{\C}$ konverguje. 
Použijme nyní pro člen uvnitř této sumy odhad: $$\Vert\lambda^{j} \Kb^{j} f \Vert_{\C} \leq (\lambda MV)^j \Vert f \Vert_{\C}$$
Jelikož je $\Vert f \Vert_{\C}$ konstanta, je možné ji z řady vytknout a díky předpokladům \footnote{Tento předpoklad tam není jen z důvodu \uv{aby to vyšlo}, ale vyplývá ze spektra operátoru, o kterém bude pojednáno dále.}
je výraz v závorce ostře menší než jedna, tutíž řada (geometrická) konverguje. 
 
Jednoznačnost se ukáže sporem, jak tomu obvykle bývá. 
\end{proof}
\end{theorem}
 
\begin{remark}
Z důkazu vyplynulo, že 
$$\phi(x) = \displaystyle \lim_{k\to +\infty} \phi_{k}(x) = \displaystyle \sum_{j=1}^{+\infty}\lambda^{j} \Kb^{j} f(x) + f(x).$$
Později ukážeme, že $\Kb^j$ je integrální operátor s  jádrem $\K_j(x,y)$. Využijme nyní této znalosti a zkusme formálně rozepsat výraz, která jsme dostali. Můžeme rovněž zkusit provést záměnu sumy a integrálu a zkoumat výraz, 
který obdržíme. Korektnost postupu bude ověřena později.
$$\displaystyle \sum_{j=1}^{+\infty}\lambda^{j} \Kb^{j} f(x) + f(x)  = \displaystyle \sum_{j=1}^{+\infty}\lambda^{j} \displaystyle \int_{G}\K_j(x,y)f(y)\dd y + f(x) =$$
$$= \lambda \displaystyle \sum_{j=0}^{+\infty}\lambda^{j} \displaystyle \int_{G}\K_{j+1}(x,y)f(y)\dd y + f(x) = \lambda  \displaystyle \int_{G} \left(\displaystyle \sum_{j=0}^{+\infty}\lambda^{j} \K_{j+1}(x,y)\right) f(y) \dd y + f(x)$$
Výraz  $\displaystyle \sum_{j=0}^{+\infty}\lambda^{j} \K_{j+1}(x,y)$ nazývámme {\it resolventa} a označujeme jej $\Res(x,y,\lambda)$. Pomocí resolventy je pak možné napsat funkci $\phi(x)$ ve tvaru:
$$\phi(x) = \lambda \displaystyle \int_{G} \Res(x,y,\lambda) f(y) \dd y + f(x)$$
Je očividné, jakou výhodu resolventa poskytuje. Jestliže máme nějaký integrální operátor, tak pro něj spočítáme jen jednou resolventu a pak pomocí ní konstrujeme řešení pro libovolnou pravou stranu $f$. 
\end{remark}
 
\subsection{Metoda iterovaných jader}
\begin{remark}
Buďte $K,L: \C(\bar{G}) \to \C(\bar{G})$ integrální operátory se spojitými jádry $\K(x,y),\mathscr{L}(x,y)$. Pak operátor  $(KL):\C(\bar{G}) \to \C(\bar{G})$ a působí na funkci $f$ následovně:
$$(KLf)(x) =K(Lf(z))(x) = \displaystyle \int_{G} \K(x,z)Lf(z) \dd z = \displaystyle \int_{G} \K(x,z) \left(\displaystyle \int_{G} \mathscr{L}(z,y) f(y) \dd y \right)\dd z =$$
$$ = \displaystyle \int_{G} f(y) \left( \displaystyle \int_{G} \K(x,z)\mathscr{L}(z,y) \dd z \right) \dd y$$
Odtud plyne, že  $KL$ je integrální operátor se spojitým jádrem $ \int_{G} \K(x,z)\mathscr{L}(z,y) \dd z $. 
Speciálně, doasdíme -li ze $L = K^j$, získáme rekurentní vztah pro posloupnost iterovaných jader.
$$\K_{j+1} (x,y) = \displaystyle \int_{G}\K_j(x,z)\K(z,y) \dd z $$
\end{remark}
 
Následující věta korektně zdůvodní, proč je možné provést záměny, kterou jsme dělali v postupu výše. 
\begin{theorem}[o možnosti záměny]
Je-li $|\lambda|< \frac{1}{MV}$, pak řada $\Res(x,y,\lambda) = \displaystyle \sum_{k=0}^{+\infty}\lambda^k \K_{k+1}(x,y)$ konverguje v $\C (\bar{G} \times \bar{G})$. Řadu $\Res$ nazýváme resolventní jádro. Toto járdo je spojité na $\C(\bar{G}\times \bar{G}\times B_{\frac{1}{MV}})$. Navíc řešení $\phi$ rovnice $\phi = \lambda \Kb \phi + f$ je 
$$\phi(x) = f(x) \lambda  \displaystyle \int_{G} \Res(x,y,\lambda) f(y) \dd y.$$
\begin{remark}
Celou dobu řešíme problém $\phi = \lambda \Kb \phi + f$, který je možno převést na tvar $(\mathbf{I} - \lambda \Kb) \phi = f$. Zároveň ale tato věta říká, že 
$\phi = f+ \lambda \mathbf{R} f = (\mathbf{I} + \lambda \mathbf{R})f$. Odtud ale plyne, že $$(\mathbf{I}-\lambda \Kb)^{-1} = (\mathbf{I} + \lambda \mathbf{R}).$$
Tedy problém nalezení řešení integrální rovnice vyřešíme nalezením inverzního operátoru se spojitým jádrem pomocí původního operátoru. Tímto získámme mnohem více informací, 
než kdybychom použili kteroukoliv jinou metodu.  
\end{remark}
\begin{proof}
\end{proof}
\end{remark}
\end{theorem}