Boundedness of Exit Time from a Compact Set

ca.classical-analysis-and-odesdg.differential-geometryreal-analysis

Let $n\geq 1$ and $v\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$. For $x_0\in\mathcal{O}$, let $\big(x(t)\big)_{t\geq 0}$ be the solution of

\begin{align*}
& x(0)=x_0 \\
& \dot{x}=v(x).
\end{align*}

Let $K\subset\mathbb{R}^n$ a non-empty compact set, and for $x_0\in K$ denote by $\tau^K(x_0)$ the exit time of $K$ by the trajectory $\big(x(t)\big)_{t\geq 0}$:

\begin{align*}
\tau^K(x_0)=\inf\big\{t\geq 0,x(t)\notin K\big\}
\end{align*}

Question: If for all $x_0\in K$, $\tau^K(x_0)<+\infty$, do we have $\sup_{x_0\in K}\tau^K(x_0)<+\infty$?

Best Answer

For any $x_0\in K$ we have the trajectry $x(t)$ which go out of $K$ ,say, at time $t_0=\tau^K(x_0)+\varepsilon$. Hence, by the continuous dependence on its initial value, the solution starts from an neighborbood $U(x_0)$ of $x_0$ also goes out of $K$ at $t=t_0$. Covering the compact set $K$ by finite number of such $U(x_0)$'s you have the uniform bound of the exit time.

Related Question