This commit is contained in:
Petr Velička 2025-03-11 23:30:55 +01:00
parent d5594b2234
commit 47c95c2640
Signed by: petrvel
GPG key ID: E8F909AFE649174F
2 changed files with 1 additions and 1 deletions

View file

@ -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}