A Katznelson-Tzafriri type theorem for almost periodic linear evolution equations (Q2351183): Difference between revisions

Let \(\mathbb X\) be a Banach space. Let \(A\) be closed linear, in general unbounded, operator in \(\mathbb X\). Let \(\sigma(A)\cap \{z\in\mathbb C:Re z>0\}=\emptyset\) and \(\sigma(A)\cap i\mathbb R\) is countable. Let \(u\) be a classical solution of the equation \(u'=Au\) and let \(u\) and \(u'\) be bounded and uniformly continuous on the positive half-line \(\mathbb R^+\). If \(\forall\xi\in\sigma(A)\cap i\mathbb R\) there exist \(\varepsilon>0\) such that \(\sup_{0<\alpha<\varepsilon}\| \xi R_{\alpha+i\xi}(A)u\| <\infty\) then \(\lim_{t\to+\infty}\| Au(t)\|=0\). Let \(U(t,s)\) be an almost-periodic evolution process associated with the evolution equation \(u'(t)=A(t)u(t)\), where \(A(t)\) is a family of (unbounded) closed linear operators. Let \(AP_\Lambda(\mathbb X)\) be a space of almost periodic functions such that their frequencies are contained in \(\Lambda\subset \mathbb R\). Assume that \(\sup_{t\geq s}\| U(t,s)\|<\infty\) and let the spectrum \(\Sigma\) of the non-autonomous evolution equation be countable. Assume that \(\forall \lambda\in\Sigma\) there exists \(\varepsilon>0\) such that for each fixed \(f\in AP_\Lambda(\mathbb X)\), \[ \sup_{0<\alpha<\varepsilon}\|\lambda w_{\lambda+\alpha,f}\| <\infty, \] where \(w_{\mu,f}\) is a unique solution of the equation \[ w_{\mu,f}(t)=e^{-\mu(t-s)}U(t,s)w_{\mu,f}(s)+\int_s^t e^{-\mu(t-\xi)}U(t,\xi)f(\xi)d\xi. \] Then \(\forall x_0\in\bigcap_{t\in\mathbb R}\mathrm{Dom}(A(t))\) and \(\forall s\in\mathbb R\) \[ \lim_{t\to\infty}\| U(t,s)A(s)x_0\|=0. \] Some examples are given.