Abstract
In this paper, we present counterexamples to maximal \(L^p\)-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions’ theory that such operators admit maximal \(L^2\)-regularity on \(H^{-1}\) under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal \(L^p\)-regularity on \(H^{-1}(\mathbb {R}^d)\) or \(L^2\)-regularity on \(L^2(\mathbb {R}^d)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let V and H be complex Hilbert spaces such that \(V\hookrightarrow H\) densely and continuously. Identifying \(H^*\) with its dual, we can view H as a subspace of \(V^*\), which is the dual of V. We start with the abstract problem
Here \(\mathcal {A}:(0,1)\rightarrow \mathcal {L}(V, V^*)\) is strongly measurable and \(f\in L^2(0,1;V^*)\). Moreover, we suppose that there are \(\Lambda , \lambda > 0\) such that for all \(t\in (0,1)\) and \(v\in V\), one has
By Lions’ theory [19], it is known that (CP) has a unique weak solution \(u\in H^1(0,1;V^*)\cap L^2(0,1;V)\). More generally (see [8, XVIII.3.5]), if \(f\in L^2(0,1;V^*)+L^1(0,1;H)\), then (CP) has a unique weak solution \(u\in L^2(0,1;V)\) such that \(u'\in L^2(0,1;V^*)+L^1(0,1;H)\).
In this paper, we study two problems concerning the regularity of u.
Problem 1
Let \(p\in (1, \infty ){\setminus } \{2\}\). Under what condition on \(\mathcal {A}\) does the following hold: for all \(f\in L^p(0,1;V^*)\), there is a unique weak solution u which is in \(L^p(0,1;V)\)?
Using the equation, this also gives \(u\in H^{1,p}(0,1;V^*)\). Problem 1 can equivalently be formulated as the question whether there is a constant \(C>0\) such that for all step functions f valued in H and with u the unique solution to (CP) given by Lions’ result for \(p=2\), one has the estimate
It is well-known that regularity results fail for the endpoint cases \(p=1\) and \(p=\infty \) unless \(V = V^*\) and thus \(\mathcal {A}\) is a family of bounded operators on V (see [6, 14] and also [16, Thm. 17.4.4 & Cor. 17.4.5]). Hence, we can safely concentrate on the case \(p\in (1,\infty )\) in this paper.
The second problem is a variation of Lions’ problem [19, p. 68], who originally asked this question for symmetric \(\mathcal {A}\).
Problem 2
Under what condition on \(\mathcal {A}\) does the following hold: for all \(f\in L^2(0,1;H)\), the unique weak solution u satisfies \(u'\in L^2(0,1;H)\)?
Again using the equation, one also has \(\mathcal {A} u\in L^2(0,1;H)\). However, it is unclear what this tells about the regularity of u since the domain of the operators \(\mathcal {A}(t)\) in H are not easy to describe in general.
Both problems have in common (at least if \(p>2\)) that they imply regularity of u such as \(u\in C^{\alpha }([0,1];[H,V]_{\lambda })\) for some \(\alpha >0\) and \(\lambda \in (0,1)\). Such properties are for instance useful in the study of non-linear problems. They follow from standard interpolation estimates and Sobolev embeddings. In Lions’ general \(L^2\)-setting, one can only obtain C([0, 1]; H) or Hölder regularity of small order, compare with Theorem 2.2.
If \(\mathcal {A}\) is autonomous, that is to say, the family \(\mathcal {A}(t)\) does not depend on t, then in both problems the answer is affirmative. Indeed, in Problem 1, this can be concluded from Lions’ result and [16, Thm. 17.2.31]. Concerning Problem 2, this follows from a result of de Simon [9].
Otherwise, some conditions are needed. In the case of Problem 1, it is sufficient that the mapping \(t \mapsto \mathcal {A}(t) \in \mathcal {L}(V, V^*)\) is (piecewise relatively) continuous [2, 21]. Without any continuity, it is only known that there is some \(\varepsilon > 0\) depending on \(\Lambda \), \(\lambda \) such that Problem 1 holds with \(p \in (2-\varepsilon ,2+\varepsilon )\), see Theorem 2.2. For Problem 2, the situation is even more delicate. Based on an abstract counterexample for the Kato square root problem due to McIntosh, Dier constructed a first non-symmetric counterexample to Problem 2 in his PhD thesis, see also [3, Sec. 5]. Moreover, Fackler constructed a counterexample that is symmetric and \(C^\frac{1}{2}\)-Hölder continuous [12]. To the contrary, with slightly more regularity (for instance \(C^{\frac{1}{2}+\varepsilon }\)-Hölder regularity), many positive results were given [1, 4, 7, 10, 13, 15, 21]. We also recommend the survey [3] for an overview of Problem 2.
The counterexamples due to Dier and Fackler are abstract and not differential operators. As is highlighted by the solution to the Kato square root problem [5], the extra structure of a differential operator can be beneficial compared to the general situation. It is hence of interest to find counterexamples to Problems 1 and 2 that are differential operators. For Problem 2, this was explicitly pointed out in [13, Problem 6.1] and [3, Prop. 12.1]. To be more precise with our setting, we work with \(H = L^2(\mathbb {R}^d)\) and \(V = H^1(\mathbb {R}^d)\). If \(B :[0,1] \times \mathbb {R}^d \rightarrow \mathbb {C}^{d\times d}\) is elliptic in the sense that there exist constants \(\Lambda , \lambda > 0\) such that for all \(t \in [0,1]\) and \(x\in \mathbb {R}^d\), one has
then consider the problem
where \(f \in L^2(0,1; H^{-1}(\mathbb {R}^d))\). In the notation of (CP), we have put \(\mathcal {A}(t)v = -\text {div}(B(t)\nabla v)\). Lions’ theory yields a unique solution u in the regularity class \(H^1(0,1; L^2(\mathbb {R}^d)) \cap L^2(0,1; H^1(\mathbb {R}^d))\). Problems 1 and 2 ask if for all elliptic coefficients, one has the regularity \(u\in L^p(0,1; H^1(\mathbb {R}^d))\) or \(u' \in L^2(0,1; L^2(\mathbb {R}^d))\) when the forcing term f is taken from \(L^p(0,1; H^{-1}(\mathbb {R}^d))\) or \(L^2(0,1; L^2(\mathbb {R}^d))\). The answer is negative in both cases and the respective counterexamples will be the content of the present article. More precisely, based on a construction of the second-named author [20], we will obtain equations whose solutions fail to have higher \(L^r(L^s)\)-integrability (Theorem 2.4). Based on this result, we produce a counterexample to Problem 1 for every \(p\ne 2\) in Theorem 2.5. In particular, this shows sharpness of Theorem 2.2 which we mentioned briefly above. Concerning Problem 2, we will show in Theorem 2.7 that it fails in the worst possible way for general elliptic problems in divergence form.
2 Maximal regularity in Hilbert spaces
2.1 Known positive results
We present the results regarding Problem 1 that were already discussed in the introduction.
A function \(u\in L^2(0,1;V) \cap H^1(0,1; V^*)\) is called a solution to (CP) if for all \(t\in [0,1]\),
where the integrals are defined as Bochner integrals in \(V^*\).
One can check that u is a solution to (CP) if and only if for all \(\phi \in C^\infty _c((0,1);V)\), one has
Theorem 2.1
(Lions). In the situation of (CP), there is a unique solution \(u\in L^2(0,1;V) \cap H^1(0,1; V^*)\). Constants in the maximal regularity estimate depend only on \(\Lambda \) and \(\lambda \).
Based on a perturbation principle for isomorphisms in complex interpolation scales due to Sneiberg [22], Lions’ result can be extended to p close to 2, see [11, Thm. 4.2].
Theorem 2.2
In the situation of Lions’ result (Theorem 2.1), there exists \(\varepsilon > 0\) depending on \(\Lambda \), \(\lambda \), and the pair (V, H) such that Problem 1 has a positive solution for \(p\in (2-\varepsilon , 2+\varepsilon )\).
It will be clear from Theorem 2.5 that one cannot improve the latter to all \(p\in (1, \infty )\), even if \(f\in L^p(0,1;H)\).
2.2 A preliminary counterexample from the literature
Our proof relies on an example by the second-named author from [20]. We recall some of the details of that example here for the reader’s convenience. In [20], complex-valued solutions \(\zeta : (-\infty ,\,1) \times \mathbb {R}^d \rightarrow \mathbb {C}\) to linear, uniformly parabolic PDEs with complex coefficients \(B: (-\infty ,\,1) \times \mathbb {R}^d \rightarrow \mathbb {C}^{d \times d}\) of the form
are constructed, with the following properties. First, (2.2) holds in the sense of distributions. Moreover, \(\zeta \) and B are smooth away from \((-\infty ,\,1) \times \{0\}\) (hence the equation holds classically away from \(\{x = 0\}\)), and \(\zeta \) is locally Lipschitz on \((-\infty ,\,1) \times \mathbb {R}^d\). Second, the solutions are chosen to obey certain scaling symmetries. Solutions of the following form are constructed:
for appropriate choices of a parameter \(\mu \in \mathbb {R}\), a function \(w: \mathbb {R}^d \rightarrow \mathbb {C}\), and uniformly elliptic coefficients \(a: \mathbb {R}^d \rightarrow \mathbb {C}^{d \times d}\). The parabolic PDE (2.2) is equivalent to the following elliptic PDE for w on \(\mathbb {R}^d\):
In [20], it is shown that for any choice of the parameter \(\mu \) satisfying
one can find a uniformly elliptic matrix field a on \(\mathbb {R}^d\) that is smooth away from 0, and a solution w to (2.5) on \(\mathbb {R}^d\) that is smooth away from 0 and locally Lipschitz on \(\mathbb {R}^d\), such that the following estimates are satisfied: for all multi-indices \(\alpha \) and all \(|x| \ge 1\), we have
The desired solutions \(\zeta \) and coefficients B for the parabolic problem (2.2) are then obtained through (2.3) and (2.4). We stress that the coefficients a satisfy the boundedness and uniform ellipticity conditions
for some \(\lambda ,\,\Lambda > 0\) depending on \(\mu \) and all \(x \in \mathbb {R}^d\) and \(\xi \in \mathbb {C}^d\), so B satisfies the conditions (1.1) with the same \(\lambda \) and \(\Lambda \).
We will only use the properties discussed above in the sequel. For the details of how w and a are chosen, the interested reader can consult Section 3 in [20]. Roughly speaking, for judicious choices of the form of w and a, one can reduce the PDE (2.5) to a system of ODEs. These can be solved by fixing a choice of w and solving for the coefficients in a.
Remark 2.3
When split into real and imaginary parts, the Equation (2.2) can be understood as a system of two equations, which are coupled through the imaginary part of B. An important philosophical point in [20] is that when the imaginary part of B is taken to be symmetric, that part of B does not contribute to the ellipticity condition. This allows strong coupling of the equations without breaking the ellipticity condition.
2.3 Failure of \(L^r(L^s)\)-integrability for variational solutions
The following counterexample is based on the construction from the previous subsection and is the basis for our subsequent counterexamples to Problems 1 and 2.
Theorem 2.4
(Failure of higher integrability). Let \(d \ge 2\). For every \(s,r \in (1,\infty )\) with \(\frac{2}{r} + \frac{d}{s} < \frac{d}{2}\), there exists an elliptic matrix \(B :[0,1] \times \mathbb {R}^d \rightarrow \mathbb {C}^{d\times d}\) and \(f\in L^\infty (0,1; L^2(\mathbb {R}^d))\) such that the unique solution u to (P) satisfies \(u \not \in L^r(0,1; L^s(\mathbb {R}^d))\).
Proof
Pick \(\frac{2}{r} + \frac{d}{s}< \mu < \frac{d}{2}\) and fix the corresponding w, a, \(\zeta \), and B as described in Section 2.2.
Step 1: General setup. It is clear from (2.2) and the properties of w and B that the weak derivative \(\partial _t \zeta \) exists on (0, T) as an \(L^2(B_R)\)-valued function for any \(T<1\) and \(R>0\), where \(B_R\) is a shorthand notation for the Euclidean ball of radius R in \(\mathbb {R}^d\). Now let
where the cut-off function \(\eta \in C^\infty _c(\mathbb {R}^d)\) is such that \(\eta (x)= 1\) for \(|x|\le 1\), \(\eta (x)=0\) for \(|x|\ge 2\), and \(0\le \eta \le 1\) on \(\mathbb {R}^d\).
We claim that \(u\in L^2(0,1;H^1(\mathbb {R}^d))\cap H^1(0,1;H^{-1}(\mathbb {R}^d))\) is the unique solution to (P), and \(f\in L^\infty (0,1;L^2(\mathbb {R}^d))\). Then, using (2.2), it is elementary to check that for \(t\in (0,1)\) and \(x\in \mathbb {R}^d{\setminus }\{0\}\), one pointwise has
Moreover, it also holds in distributional sense on \((0,1)\times \mathbb {R}^d\). Hence, by density and (2.1), it is a solution to (P).
Thus, it remains to check \(u\in L^2(0,1;H^1(\mathbb {R}^d))\) and \(f\in L^\infty (0,1;L^2(\mathbb {R}^d))\) in order to find that u is the unique solution to (P) provided by Theorem 2.1.
Step 2: \(u \in L^2(0,1; H^1(\mathbb {R}^d))\). Fix \(t\in (0,1)\) and let \(\alpha \) be a multi-index with \(|\alpha | \le 1\). By definition of \(\zeta \) and using (2.6), one has
for some constant \(C_{d,w}'\) only depending on d and w and with
Note that \(C_{d,w}\) is finite since w is Lipschitz. Recall that \(\frac{d}{4} - \frac{\mu }{2}\) is positive. Thus, by definition of u and using (2.8), we find
Thus, u is bounded as an \(L^2(\mathbb {R}^d)\)-valued function and therefore in particular \(u \in L^2(0,1; L^2(\mathbb {R}^d))\). Similarly,
By the choice of \(\mu \), we have \(-\frac{\mu +1}{2} + \frac{d}{4} > -\frac{1}{2}\), therefore and also \(\nabla u \in L^2(0,1; L^2(\mathbb {R}^d))\).
Step 3: \(f\in L^\infty (0,1; L^2(\mathbb {R}^d))\). To estimate the norm of f, we consider all parts separately. The fact that \(\eta \zeta \in L^\infty (0,1;L^2(\mathbb {R}^d))\) follows from (2.8). Due to the support properties of \(\nabla \eta \) and the boundedness of B, it suffices to prove a uniform estimate for \(\Vert \partial _m \zeta (t,\cdot )\Vert _{L^2(B_2{\setminus } B_1)}\) to estimate \(B_{k,\ell }\partial _m \zeta \partial _n \eta \). For this, calculate with (2.6) that
It remains to estimate \(\zeta \text {div}(B \nabla \eta )\). Again, due to the support properties of \(\nabla \eta \), it suffices to consider \(x\in B_2{\setminus } B_1\). First, by (2.6) and definition of \(\zeta \),
Thus it remains to estimate \(\Vert \partial ^{\alpha } B_{k,\ell }(t,\cdot ) \partial ^{\beta } \eta \Vert _{L^2(B_2{\setminus } B_1)}\) for \(|\alpha |\le 1\) and \(1\le |\beta | \le 2\). Since \(B_{k,\ell }\) and \(\partial ^{\beta } \eta \) are uniformly bounded, it is enough to show that \(\Vert \partial ^{\alpha } B_{k,\ell }(t,\cdot )\Vert _{L^2(B_2{\setminus } B_1)}\) is uniformly bounded for \(|\alpha |=1\). Indeed, this follows from the analogous calculation to (2.9) using (2.7) instead of (2.6).
Step 4: \(u \not \in L^r(0,1; L^s(\mathbb {R}^d))\). Similar to (2.8) but using \(B_1\subseteq B_{{1}/{(1-t)^{1/2}}}\),
Therefore, with \(t \in (\frac{1}{2},1)\),
By the choice of \(\mu \), r, and s, we have \(-\frac{\mu }{2} + \frac{d}{2\,s} < -\frac{1}{r}\), and therefore \(u \not \in L^r(0,1; L^s(\mathbb {R}^d))\). \(\square \)
2.4 Negative result concerning Problem 1
The following result shows that for time-dependent operators in the variational setting, maximal \(L^2\)-regularity cannot be extrapolated to maximal \(L^p\)-regularity for \(p\ne 2\) besides the small interval given in Theorem 2.2. It answers Problem 1 in a negative way in the setting of elliptic differential operators.
Theorem 2.5
(Failure of extrapolation of maximal \(L^p\)-regularity). Let \(d\ge 2\). For every \(p\in (1, \infty ){\setminus }\{2\}\), there exists \(B:[0,1]\times \mathbb {R}^d\rightarrow \mathbb {C}^{d\times d}\) elliptic and \(f \in L^p(0,1;H^{-1}(\mathbb {R}^d))\) such that the unique solution u to (P) satisfies \(u\notin L^p(0,1;H^{1}(\mathbb {R}^d))\).
Proof
We divide the proof into two cases.
Case 1: \(p > 2\). We appeal to Theorem 2.4. If \(d \ge 3\), put \(r = p\) and \(s = 2^* :=\frac{2d}{d-2}\) and if \(d = 2\), put \(r = p\) and \(s > \frac{2p}{p-2}\). In both cases, the condition \(\frac{2}{r} + \frac{d}{s} < \frac{d}{2}\) is satisfied, so that Theorem 2.4 yields \(B:[0,1]\times \mathbb {R}^d\rightarrow \mathbb {C}^{d\times d}\) elliptic and \(f\in L^\infty (0,1; L^2(\mathbb {R}^d)) \subseteq L^p(0,1; L^2(\mathbb {R}^d))\) such that the unique solution u to (2.4) satisfies \(u \not \in L^r(0,1; L^s(\mathbb {R}^d))\). This implies \(u \not \in L^p(0,1; H^1(\mathbb {R}^d))\) since otherwise the Sobolev embedding yields a contradiction to the previous assertion.
Case 2: \(p < 2\). We use a duality argument that resembles [17, Thm. 6.2]. By the first part, there are \(f \in L^{p'}(0,1; H^{-1}(\mathbb {R}^d))\), elliptic coefficients \(B :[0,1] \times \mathbb {R}^d \rightarrow \mathbb {C}^{d\times d}\), and a solution \(u \in L^2(0,1; H^1(\mathbb {R}^d)) \cap H^1(0,1; H^{-1}(\mathbb {R}^d))\) to the equation
such that \(u \not \in L^{p'}(0,1; H^1(\mathbb {R}^d))\). Assume for the sake of contradiction that for every \(A :[-1,0] \times \mathbb {R}^d \rightarrow \mathbb {C}^{d\times d}\) and \(\widetilde{g} \in L^2(-1,0; H^{-1}(\mathbb {R}^d))\), there is a unique solution \(\widetilde{v} \in L^2(-1,0; H^1(\mathbb {R}^d)) \cap H^1(-1,0; H^{-1}(\mathbb {R}^d))\) to the problem
satisfying the estimate
where the constant \(C>0\) does not depend on \(\widetilde{v}\) and \(\widetilde{g}\). By translation, the question on \((-1,0)\) is equivalent to that on (0, 1). Both intervals are related by the transformation \(v \mapsto -v\). We write for instance \(\widetilde{u}(t) = u(-t)\) to translate u to a function on \((-1,0)\) and vice versa. Specialize \(A = (\widetilde{B})^*\) in (2.11). Since \(u(0) = 0 = v(1)\), we can use integration by parts to obtain
Plug in (2.10) to deduce
Hence, using (2.12), we can estimate
Since g was arbitrary, by duality, we obtain \(u \in L^{p'}(0,1; H^1({\mathbb {R}}^d))\), which gives a contraction. \(\square \)
Remark 2.6
For the case \(p>2\), we saw that although \(f\in L^\infty (0,1;L^2(\mathbb {R}^d))\), the unique solution u to (P) satisfies \(u\notin L^p(0,1;H^{1}(\mathbb {R}^d))\).
2.5 Negative result concerning Problem 2
We show that Problem 2 fails in the worst possible way in the case of elliptic operators in divergence form: for every \(\nu \in (1/2,1]\), there exist coefficients B and a forcing term \(f\in L^\infty (0,1;L^2(\mathbb {R}^d))\) such that the unique solution u to (P) satisfies \(u\notin H^{\nu }(0,1;L^2(\mathbb {R}^d))\). This solves Lions’ problem in a negative way also for elliptic operators. It would still be interesting to find a counterexample for \(\nu =1\) where the coefficients are Hölder continuous of order \(\alpha \) for some \(\alpha \le 1/2\), and this would then be an optimal counterexample due to the positive results for which we refer to the survey [3]. The present coefficient function cannot even be continuous, see Remark 2.8. There seems to be some room for improvement in the regularity of B as the regularity is much worse than \(H^1\) in time.
Theorem 2.7
(Failure of maximal \(L^2\)-regularity on \(L^2(\mathbb {R}^d)\)). Let \(d\ge 2\). For every \(\nu \in (1/2,1]\), there exists \(B:[0,1]\times \mathbb {R}^d\rightarrow \mathbb {C}^{d\times d}\) elliptic and \(f \in L^\infty (0,1;L^2(\mathbb {R}^d))\) such that the unique solution to (P) satisfies \(u\notin H^{\nu }(0,1;L^2)\).
Proof
The strategy is as for the case \(p>2\) in Theorem 2.5. Let \(\nu \in (1/2,1]\) and let \(0< \theta < \frac{1}{2\nu }\). Then define parameters r and s through \(\frac{1}{r} = \frac{1}{2} - \nu \theta \) and \(\frac{1}{s} = \frac{1}{2} - \frac{1-\theta }{d}\). They satisfy the condition in Theorem 2.5, consequently there is \(B:[0,1]\times \mathbb {R}^d\rightarrow \mathbb {C}^{d\times d}\) elliptic and \(f \in L^\infty (0,1;L^2(\mathbb {R}^d))\) such that the unique solution u to (P) satisfies \(u \notin L^r(0,1; L^s(\mathbb {R}^d))\). Suppose that \(u\in H^{\nu }(0,1;L^2(\mathbb {R}^d))\). Since \(u\in L^2(0,1;H^1(\mathbb {R}^d))\) by Theorem 2.1, complex interpolation (see [16, Theorem 14.7.12]) yields \(u\in H^{\nu \theta }(0,1;H^{1-\theta }(\mathbb {R}^d))\). By choice of \(\theta \), the Sobolev embedding is applicable and gives \(u\in L^r(0,1;L^s(\mathbb {R}^d))\), a contradiction. \(\square \)
Remark 2.8
By construction, the given counterexample is at the same time a counterexample for Problem 1. We have discussed in the introduction that if \(t \mapsto B(t) \in L^\infty (\mathbb {R}^d)\) is (piecewise relatively) continuous, then Problem 1 is automatically true for all \(p \in (1, \infty )\). Therefore, the function B in Theorem 2.7 is not continuous as a map into \(L^\infty (\mathbb {R}^d)\).
The examples show some limitations of what regularity estimates can hold for elliptic operators in divergence form. However, several issues remain for Problems 1 and 2. For instance, the operator \(\mathcal {A}\) used in the above counterexamples is not symmetric/hermitian. We do not know what can be said for the case \(d=1\). The only reference we found on the one-dimensional setting is [18], where counterexamples are given in case of \(L^p\)-integrability in time and space for both the divergence and non-divergence setting for the range \(p\in (1, 3/2)\cup (3, \infty )\). Finally, it would be interesting to see what can be said about Problem 2 if \(\mathcal {A}\) is more regular in time (i.e., continuous or Hölder continuous).
References
Achache, M., Ouhabaz, E.M.: Lions’ maximal regularity problem with \(H^\frac{1}{2}\)-regularity in time. J. Differential Equations 266(6), 3654–3678 (2019)
Arendt, W., Chill, R., Fornaro, S., Poupaud, C.: \(L^{p}\)-maximal regularity for nonautonomous evolution equations. J. Differential Equations 237(1), 1–26 (2007)
Arendt, W., Dier, D., Fackler, S.: J. L. Lions’ problem on maximal regularity. Arch. Math. (Basel) 109(1), 59–72 (2017)
Auscher, P., Egert, M.: On non-autonomous maximal regularity for elliptic operators in divergence form. Arch. Math. (Basel) 107(3), 271–284 (2016)
Auscher, P., Hofmann, S., Lacey, M., McIntosh, A., Tchamitchian, P.: The solution of the Kato square root problem for second order elliptic operators on \(\mathbb{R} ^n\). Ann. of Math. (2) 156(2), 633–654 (2002)
Baillon, J.-B.: Caractère borné de certains générateurs de semi-groupes linéaires dans les espaces de Banach. C. R. Acad. Sci. Paris Sér. A-B 290(16), A757–A760 (1980)
Bechtel, S.: Weighted non-autonomous \(L^q(L^p)\) maximal regularity for complex systems. arXiv:2208.02527 (2023)
Dautray, R., Lions, J.L.: Mathematical Analysis and Numerical Methods for Science and Technology. Vol. 5. Evolution Problems. I. With the Collaboration of Michel Artola, Michel Cessenat and Hélène Lanchon. Translated from the French by Alan Craig. Springer, Berlin (1992)
de Simon, L.: Un’applicazione della teoria degli integrali singolari allo studio delle equazioni differenziali lineari astratte del primo ordine. Rend. Sem. Mat. Univ. Padova 34, 205–223 (1964)
Dier, D., Zacher, R.: Non-autonomous maximal regularity in Hilbert spaces. J. Evol. Equ. 17(3), 883–907 (2017)
Disser, K., ter Elst, A., Rehberg, J.: On maximal parabolic regularity for non-autonomous parabolic operators. J. Differential Equations 262, 2039–2072 (2017)
Fackler, S.: J.-L. Lions’ problem concerning maximal regularity of equations governed by non-autonomous forms. Ann. Inst. H. Poincaré C Anal. Non Linéaire 34(3), 699–709 (2017)
Fackler, S.: Nonautonomous maximal \(L^p\)-regularity under fractional Sobolev regularity in time. Anal. PDE 11(5), 1143–1169 (2018)
Guerre-Delabrière, S.: \(L_p\)-regularity of the Cauchy problem and the geometry of Banach spaces. Illinois J. Math. 39(4), 556–566 (1995)
Haak, B., Ouhabaz, E.M.: Maximal regularity for non-autonomous evolution equations. Math. Ann. 363(3–4), 1117–1145 (2015)
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach spaces. Vol. III. Harmonic Analysis and Spectral Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, Berlin (2023)
Krylov, N.: Parabolic and elliptic equations with VMO coefficients. Comm. Partial Differential Equations 32(1–3), 453–475 (2007)
Krylov, N.V.: On parabolic equations in one space dimension. Comm. Partial Differential Equations 41(4), 644–664 (2016)
Lions, J.L.: Équations Différentielles Opérationnelles et Problèmes aux Limites. Die Grundlehren der mathematischen Wissenschaften, vol. 111. Springer, Berlin (1961)
Mooney, C.: Singularities of complex-valued solutions to linear parabolic equations. Int. Math. Res. Not. IMRN 6, 4413–4426 (2021)
Prüss, J., Schnaubelt, R.: Solvability and maximal regularity of parabolic evolution equations with coefficients continuous in time. J. Math. Anal. Appl. 256(2), 405–430 (2001)
Sneiberg, I.: Spectral properties of linear operators in interpolation families of Banach spaces. Mat. Issled. 9(2), 214–229 (1974)
Acknowledgements
The authors thank the anonymous referee for their comments on the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Sebastian Bechtel is supported by the Alexander von Humboldt foundation by a Feodor Lynen grant. Connor Mooney is supported by NSF CAREER Grant DMS-2143668 and a Sloan Research Fellowship. Mark Veraar is supported by the VICI subsidy VI.C.212.027 of the Netherlands Organisation for Scientific Research (NWO).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bechtel, S., Mooney, C. & Veraar, M. Counterexamples to maximal regularity for operators in divergence form. Arch. Math. (2024). https://doi.org/10.1007/s00013-024-02014-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00013-024-02014-9