This commit is contained in:
Petr Velycko 2025-05-20 15:35:43 +02:00
parent b42f600599
commit f0b8e273bd
Signed by: petrvel
GPG key ID: E8F909AFE649174F
4 changed files with 3 additions and 3 deletions

View file

@ -41,7 +41,7 @@
Jednoduchým důsledkem tohoto lemmatu je mj. jednoznačnost řešení (stačí uvažovat řešení s $x(t_0) = y(t_0)$).
\begin{definition}
Nechť $f$ je spojitá a lokálně lipschitzovská vzhledem k $x$ v $\Omega$. Potom definujeme \textit{řešicí funcki} $\varphi : G \subset \mathbb{R}^{n + 2} \rightarrow \mathbb{R}^n$ předpisem $\varphi(t; t_0, x_0) := x(t)$, kde $x: I \rightarrow \mathbb{R}^n$ je řešení splňující počáteční podmínku $x(t_0) = x_0$ a $t \in I$. Zde $G$ je maximální možná, tj. obsahuje všechny trojice $(t; t_0, x_0) \in \mathbb{R}^{n + 2}$ pro něž výraz $\varphi(t; t_0, x_0)$ má smysl.
Nechť $f$ je spojitá a lokálně lipschitzovská vzhledem k $x$ v $\Omega$. Potom definujeme \textit{řešicí funkci} $\varphi : G \subset \mathbb{R}^{n + 2} \rightarrow \mathbb{R}^n$ předpisem $\varphi(t; t_0, x_0) := x(t)$, kde $x: I \rightarrow \mathbb{R}^n$ je řešení splňující počáteční podmínku $x(t_0) = x_0$ a $t \in I$. Zde $G$ je maximální možná, tj. obsahuje všechny trojice $(t; t_0, x_0) \in \mathbb{R}^{n + 2}$ pro něž výraz $\varphi(t; t_0, x_0)$ má smysl.
\end{definition}
Například, uvažujeme-li rovnici $x'(t) = x(t)$. Obecným řešením této rovnice je funkce $x(t) = ce^t$, vyřešením rovnice s počáteční podmínkou dostaneme řešicí funkci $\varphi(t; t_0, x_0) = x_0e^{t - t_0}$.