diff --git a/lokalni-existence.tex b/lokalni-existence.tex index f4ff2bb..fc0dd50 100644 --- a/lokalni-existence.tex +++ b/lokalni-existence.tex @@ -103,5 +103,5 @@ K důkazu této věty budeme potřebovat pomocné lemma: 0, (x, t) \in \mathbb{R}^{n+1} \setminus K_2 \end{cases}$. - Z Lemmatu \ref{lemma-special-solution} máme, že rovnice $x' = \tilde{f(x, t)}$ má řešení $x$ splňující počáteční podmínku $x(t_0) = x_0$. Nazveme toto řešení $\tilde{x}$. Potom ze spojitosti $\tilde{x}$. Tedy existuje $\delta > 0$ takové, že graf $\tilde{x}$ na $(t_0 - \delta, t_0 + \delta)$ leží v $K_1$. Restrikce $\tilde{x}$ na tento interval nám tedy dává řešení původní rovnice. + Z Lemmatu \ref{lemma-special-solution} máme, že rovnice $x' = \tilde{f}(x, t)$ má řešení $x$ splňující počáteční podmínku $x(t_0) = x_0$. Nazveme toto řešení $\tilde{x}$. Potom ze spojitosti $\tilde{x}$. Tedy existuje $\delta > 0$ takové, že graf $\tilde{x}$ na $(t_0 - \delta, t_0 + \delta)$ leží v $K_1$. Restrikce $\tilde{x}$ na tento interval nám tedy dává řešení původní rovnice. \end{proof} diff --git a/skripta.pdf b/skripta.pdf index 40be9d8..35f8248 100644 Binary files a/skripta.pdf and b/skripta.pdf differ