Analyticity and discrete maximal regularity on \(\ell_p\)-spaces (Q5940318)

Let \(X\) be a Banach space and \(A\) be the generator of a bounded analytic semi-group on \(X\). An evolution equation NEWLINE\[NEWLINE u' (t) - Au(t) = f(t), \quad u(0) = 0, NEWLINE\]NEWLINE 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 NEWLINE\[NEWLINE u_{n+1} - Tu_n = f_n, \quad u_0 = 0, NEWLINE\]NEWLINE 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.