Discrete maximal regularity for abstract Cauchy problems (Q2835994)

The following abstract Cauchy problem is considered: Find a function \(u:\mathbb{R}^+\) \( = (0,\infty) \rightarrow X\) such that \(u^\prime(t) = Au(t) + f(t)\mathrm{ for all }t > 0\) and \(u(0) = 0\) holds, where \(X\) is a Banach space, \(f:\mathbb{R}^+\) \( \rightarrow X\) is a given function, and \(A\) is linear operator on \(X\). For the discretization in time a \(\theta\)-method is applied. The author defines the maximal \(L^p\) regularity and the continuous maximal regularity of an operator \(A\). Furthermore, the maximal \(l^p\) regularity and the discrete maximal regularity of a linear operator \(A\) are defined. The main result of the paper is the proof that continuous maximal regularity implies discrete maximal regularity for general \(\theta\)-methods in the case of a bounded operator \(A\) on a UMD space \(X\). This result is an extension of results known from the literature. The new one is that the proof includes also the conditionally stable case \(\theta \in [0,1/2)\). In the last section the focus lies on the backward Euler method. For this case the discrete maximal regularity for unbounded operators is characterized. Additionally, for the case of non-zero initial conditions, an a priori estimate for the solution of the discretized problem is derived.