Analyticity and discrete maximal regularity on \(\ell_p\)-spaces (Q5940318): Difference between revisions

Let \(X\) be a Banach space and \(A\) be the generator of a bounded analytic semi-group on \(X\). An evolution equation \[ u' (t) - Au(t) = f(t), \quad u(0) = 0, \] is said to have maximal \(L_p\) regularity if for every right hand side \(f \in L_p(R_+; X)\), the solution \(u\) satisfies \(u' \in L_p(R_+; X)\). When the evolution equation is replaced by its discrete form \[ u_{n+1} - Tu_n = f_n, \quad u_0 = 0, \] the equation is said to have discrete maximal regularity if the result holds for the discrete derivative, i.e., if the right hand side \(f \in \ell_p(Z_+; X)\), the discrete derivative \(\{ u_{n+1} - u_n \}\) of the solution \(u\) belongs to \(\ell_p(Z_+; X)\). An operator \(T\) on \(L_p\) is analytic if \(\{ ||(T -I)T^n||\leq C/n \mid \forall n \in N \}\). In previous work, the author showed that analyticity is a necessary condition for discrete maximal regularity, and also characterized discrete maximal regularity for powerbounded analytic maps. In this paper the author proves an interpolation result: if \(T\) is powerbounded in \(L_p\) and \(L_q\) as well as analytic on \(L_p\), then \(T\) is powerbounded and analytic on \(L_r\) for all \(r\) strictly between \(p\) and \(q\). He also gives two sufficient conditions for discrete maximal regularity. \(T\) is a sub-positive contraction on \(L_p\) if there is a dominating positive contraction \(S\) i.e. a map such that \(|Tf|\leq S|f|\), \(\forall f \in L_p\). He shows that sub-positive contractions (e.g. Markov operators) have discrete maximal regularity. He also shows that integral operators on spaces of homogeneous type satisfying Poisson bounds (for technical details, see the paper) are powerbounded and analytic on \(L_p\), and hence have discrete maximal regularity.