2
$\begingroup$

$\newcommand{\f}{\phi}$$\newcommand{\ep}{\varepsilon}$$\newcommand{\R}{\mathbb R}$

Suppose $(\f_t)_{t\ge0}$ is an abstract dynamical system in a Banach space $(X,\|\mathord\cdot\|)$. Let $C(x,\ep)$ denote the closed ball with radius $r$ centered at $x\in X$.

Recall that an abstract dynamical system $(\phi_t)_{t\ge0}$ on $X$ is a collections of maps $\f_t: X\to X$ such that $\f_0$ is the identity map on $X$ and $\f_t\circ\f_{s}=\f_{t+s}$ for all $t,s\ge0$.

Assume the following:

Suppose that for all $t\ge0$ there are maps $f_t,g_t:X\to X$ such that $$\f_t(x)=f_t(x)+g_t(x).\tag{1}$$

Additionally, suppose that for all $r\ge0$ there is a $T_r\ge0$ and a map $h=h_{T_r}:[0,\infty)\to[0,\infty)$ where $$\lim_{t\to\infty}h(t)=0\tag{2}$$ and$$\overline{f_t[C(0,r)]}\text{ is compact whenever }t>T_r\tag{3}$$(the overline is the closure) and for all $t\ge0$ and all $x\in C(0,r)$: $$\|g_t(x)\|\le h(t) \tag4$$

Then $$\lim_{t\to\infty}\alpha(\f_t[A])=0$$for all bounded sets $A\subset X$, where $\alpha$ is the Kuratowki measure of noncompactness.

I have been told that this a well-known result from the theory of abstract dynamical systems, but I can't find a proof. Is there someone who knows how to prove this statement or knows a nice reference (preferably a book)?

1 Answers 1