Maximal regularity in \(l_{p}\) spaces for discrete time fractional shifted equations (Q2357800): Difference between revisions

The article at hand is concerned with the following operator equation. Given a UMD-space \(X\), a closed linear operators \(A\) on \(X\) the authors consider finding \(u\colon \mathbb{Z}\times X \to X\) such that given \(f\colon \mathbb{Z}\times \Omega \to X\) we have \[ \Delta^\alpha u(n) = Au(n) + \sum_{j=1}^k \beta_ju(n-\tau_j) + f(n,u(n)) \text{ in }X \]for all \(n\in \mathbb{Z}\), where \(\tau_j \in \mathbb{Z}\), \(\beta_j\in \mathbb{R}\), and \(\alpha>0\) are given. Here \[ (\Delta^\alpha f)(n) := \sum_{j=-\infty}^n k^{-\alpha}(n-j) f(j) \] for suitable \(f\), where \(k^\alpha(n) = \alpha(\alpha+1)\cdots(\alpha+n-1)/(n!)\) for \(n\geq 0\). The main result is a characterisation of maximal \(\ell_p\)-regularity (1<p< \(\infty\) ) of the above problem with \(f(n,u(n))\) replaced by \(f(n)\) (i.e., \(A\) having maximal \(\ell_p\)-regularity) for some \(X\)-valued sequence \(f\) in the following sense: Assume that \[ \{ (1-e^{-it})^\alpha-\sum_{j=1}^k \beta_j e^{-it\tau_j}; t\in [-\pi,\pi]\}\subseteq \rho(A). \] Then the following conditions (i), (ii), (iii) are equivalent: (i) for all \(f\in \ell_p(\mathbb{Z};X)\) there is a unique \(u\in \ell_p(\mathbb{Z};\operatorname{dom}(A))\) such that \[ \Delta^\alpha u(n) = Au(n) + \sum_{j=1}^k \beta_ju(n-\tau_j) + f(n)\quad (n\in \mathbb{Z}). \] (ii) \(M(t):= ((1-e^{-it})^\alpha-\sum_{j=1}^k \beta_j e^{-it\tau_j}-A)^{-1}\) is an \(\ell_p\)-multiplier from \(X\) to \(\operatorname{dom}(A)\). (iii) \(\{M(t); t \in [-\pi,\pi]\}\) is R-bounded. This characterisation is then applied to derive \(\ell_p\)-regularity statements for the solution of the above nonlinear problem involving the Nemitskii-type operator given by \(f(n,u(n)) \).