Abstract
In 2004, the article Maximal regularity for evolution equations in weighted \(L_p\)-spaces by Prüss and Simonett (Arch Math 82:415–431, 2004) has been published in Archiv der Mathematik. We provide a survey of the main results of that article and outline some applications to semilinear and quasilinear parabolic evolution equations which illustrate their power.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this survey article, we review regularity results for abstract linear parabolic evolution equations of the form
in the framework of time-weighted \(L_p\)-spaces
\(1<p<\infty \), that emanated from the groundbreaking paper [51]. Here X is a Banach space, A is a closed linear operator in X with dense domain D(A), and the data \((f,u_0)\) are given. In [51], the concept of \(L_{p,\mu }\)-maximal regularity for the operator A has been introduced, see Definition 2.2 for details. One of the fundamental results of the article [51] states that this concept is independent of the parameter \(\mu \) as long as \(\mu >1/p\). Note that in case \(\mu =1\) one ends up in the classical (unweighted) \(L_p\)-maximal regularity class, see e.g. [17, 54, 60] which is just a selection.
We will furthermore consider quasilinear parabolic evolution equations
and apply the linear theory for (1.1) from [51], combined with the contraction mapping principle, which yields the existence and uniqueness of a local-in-time solution of (1.2). Moreover, the advantage of working in time-weighted \(L_p\)-spaces is underlined by some results on parabolic regularization and the global-in-time existence for solutions to (1.2). In Sections 3.3 and 3.4 of this survey article, we consider nonlinearities with a certain growth and so-called critical spaces.
In the last section, we list some selected references which have been influenced by the article [51].
Finally, let us mention that for example in [4, 6, 14], weighted continuous function spaces of the form
have been studied earlier. It is shown that this class allows for maximal regularity results if the Banach space X is replaced by a continuous interpolation space \((X,D(A))_{\theta ,\infty }^0\) of order \(\theta \in (0,1)\).
2 Linear evolution equations
In this section, we review and discuss the setting and some of the main results of the article [51].
2.1 Weighted spaces
For an arbitrary Banach space X and for \(1<p<\infty \), we define the weighted \(L_p\)-space \(L_{p,\mu }({\mathbb {R}}_+;X)\) by
where \(\mu \in (1/p,1]\) and \({\mathbb {R}}_+:=(0,\infty )\). Note that \(L_p({\mathbb {R}}_+;X)\) is the classical Bochner-Lebesgue space and evidently, it holds that \(L_{p,1}({\mathbb {R}}_+;X)=L_p({\mathbb {R}}_+;X)\).
The weighted Sobolev-space \(W_{p,\mu }^1({\mathbb {R}}_+;X)\) is accordingly defined by
The spaces \(L_{p,\mu }({\mathbb {R}}_+;X)\) and \(W_{p,\mu }^1({\mathbb {R}}_+;X)\) are equipped with the norms
and
respectively, which turn them into Banach spaces.
The restriction \(\mu >1/p\) is motivated by several reasons which we collect in the following
Proposition 2.1
For all \(1<p<\infty \) and all \(\mu \in (1/p,1]\), it holds that
-
1.
\(L_{p,\mu }({\mathbb {R}}_+;X)\hookrightarrow L_{1,loc}(\overline{{\mathbb {R}}_+};X)\);
-
2.
\(W_{p,\mu }^1({\mathbb {R}}_+;X)\hookrightarrow W_{1,loc}^1(\overline{{\mathbb {R}}_+};X)\);
-
3.
(Hardy’s inequality) for all \(f\in L_{p,\mu }({\mathbb {R}}_+;X)\), the estimate
$$\begin{aligned} \int \limits _0^\infty \left| t^{-\mu }\int \limits _0^t f(s) ds\right| ^pdt\le \frac{1}{(\mu -1/p)^p}\int \limits _0^\infty |t^{1-\mu }f(t)|^pdt \end{aligned}$$(2.1)is satisfied.
Proof
The proof of the first two assertions can be found in [51, Lemma 2.1], while for a proof of the last assertion, we refer to [52, Lemma 3.4.5]. \(\square \)
2.2 Maximal regularity
Let \(X_0\), \(X_1\) be Banach spaces such that \(X_1\hookrightarrow X_0\) and \(X_1\) is dense in \(X_0\). Suppose that \(A:X_1\rightarrow X_0\) is a linear and closed operator. We consider the abstract evolution equation
Following the lines of [51], we have the following
Definition 2.2
Let \(1<p<\infty \) and \(\mu \in (1/p,1]\). The operator A has the property of maximal \(L_{p,\mu }\)-regularity in \(X_0\) if, for each \(f\in L_{p,\mu }({\mathbb {R}}_+;X_0)\), there exists a unique solution
of (2.2). If this is the case, we write for short \(A\in {\mathcal {M}}{\mathcal {R}}_{p,\mu }(X_0)\) and
if \(\mu =1\).
The following important and fundamental theorem states that the concept of maximal \(L_{p,\mu }\)-regularity does not depend on \(\mu \in (1/p,1]\).
Theorem 2.3
(Prüss and Simonett [51]). For all \(1<p<\infty \) and \(\mu \in (1/p,1]\), the following assertions are equivalent:
-
1.
\(A\in {\mathcal {M}}{\mathcal {R}}_{p,\mu }(X_0)\);
-
2.
\(A\in {\mathcal {M}}{\mathcal {R}}_{p}(X_0)\).
The proof of this theorem, which can be found in [51, Theorem 2.4], relies crucially on Hardy’s inequality (2.1), a sophisticated splitting of the solution to (2.2), and some multiplier results as e.g. [51, Proposition 2.3].
Remark 2.4
The class \({\mathcal {M}}{\mathcal {R}}_{p}(X_0)\) is independent of \(p\in (1,\infty )\), see [58]. Therefore, the class \({\mathcal {M}}{\mathcal {R}}_{p,\mu }(X_0)\) enjoys this property as well.
Remark 2.5
If \(A\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\), then \(-A\) is the generator of an exponentially stable analytic semigroup in \(X_0\), see e.g. [16, Theorem 2.2], [50, Proposition 1.2], or [52, Proposition 3.5.2]. A characterization of \(A\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\) has been given by Weis in [60]. It is based on the concept of \({\mathcal {R}}\)-boundedness in case \(X_0\) is additionally of class UMD.
We proceed with a selection of examples for operators belonging to the class \({\mathcal {M}}{\mathcal {R}}_p(X_0)\).
-
If \(X_0\) is a Hilbert space and \(-A\) generates an exponentially stable analytic semigroup in \(X_0\), then \(A\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\) [52, Theorem 3.5.7].
-
If \(X_0\) is a real interpolation space, and \(-A\) generates an exponentially stable analytic semigroup in \(X_0\), then \(A\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\) [52, Theorem 3.5.8].
-
Suppose \(\Omega \subset {\mathbb {R}}^n\) is open with compact boundary of class \(C^{2m}\), \(m\in {\mathbb {N}}\). (Uniformly) normally elliptic operators of order 2m in \(\Omega \) with appropriate homogeneous boundary conditions (satisfying the Lopatinskii-Shapiro condition) on \(\partial \Omega \) induce operators \(A\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\) for \(X_0=L_q(\Omega ;E)\), \(1<q<\infty \), where E is a Banach space of class UMD [15, Chapter 5] or [52, Chapter 6].
2.3 Trace spaces
We turn our attention to the abstract Cauchy problem (1.1) and ask under which assumptions on the initial value \(u_0\) there exists a unique solution
of (1.1), provided \(A\in {\mathcal {M}}{\mathcal {R}}_{p}(X_0)\) and \(f\in L_{p,\mu }({\mathbb {R}}_+;X_0)\). By the second assertion in Proposition 2.1, the trace operator
is well-defined since
In the sequel, let
The following characterization of the trace space \(\textrm{tr}\ {\mathbb {E}}_{1,\mu }\) holds.
Proposition 2.6
For all \(1<p<\infty \) and all \(\mu \in (1/p,1]\), it holds that
(up to equivalent norms), where \((X_0,X_1)_{\mu -1/p,p}\) is the real interpolation space between \(X_0\) and \(X_1\) of exponent \(\mu -1/p\). Moreover, the embedding
is true. Here BUC stands for the bounded and uniformly continuous functions.
Proof
[51, Proposition 3.1]. \(\square \)
With the help of this proposition, one can prove the following
Theorem 2.7
(Prüss and Simonett [51]). Let \(1<p<\infty \), \(\mu \in (1/p,1]\), and \(A\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\). Then for all
there exists a unique solution
of (1.1). Moreover, there exists a constant \(C>0\) being independent of \((f,u_0)\) such that the estimate
holds.
Proof
For the proof of the first assertion, see [51, Theorem 3.2]. Concerning the estimate (2.3), note that
by Proposition 2.6. Hence (2.3) follows from the first assertion and the open mapping theorem. \(\square \)
Remark 2.8
Theorem 2.7 asserts, in particular, that the regularity of the initial value can be reduced by decreasing the exponent \(\mu \in (1/p,1]\) of the time-weight. This in turn implies that the number of compatibility conditions in the context of initial-boundary value problems for parabolic partial differential equations may be reduced to a minimum.
3 Quasilinear parabolic evolution equations
3.1 Local well-posedness and regularization
In this section, we consider quasilinear evolution equations of the form
We are looking for solutions in the maximal regularity class
with an appropriate \(T\in (0,\infty )\). Therefore, by Proposition 2.6, it is reasonable to assume
where \(V_\mu \subset (X_0,X_1)_{\mu -1/p,p}=:X_{\gamma ,\mu }\) is open and nonempty, \(C^{1-}\) stands for the locally Lipschitz continuous functions, and \({\mathcal {B}}(X_1,X_0)\) denotes the space of all bounded and linear operators from \(X_1\) to \(X_0\).
To exploit the general strategy, assume for simplicity that \(V_\mu =X_{\gamma ,\mu }\). Given any \(u_0,u_1\in V_\mu \), we consider for given \(w \in {\mathbb {E}}_{1,\mu }(0,T)\) the linear problem
where \(G(w):=F(w)+A(u_0)w-A(w)w\). By the regularity assumption (3.2), it follows that
Assuming \(A(u_0)\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\), by Theorem 2.7 and extension-restriction arguments, the mapping
is well defined. Obviously, any fixed point of this mapping is a solution to (3.1) and vice versa. The contraction mapping principle then yields the following
Theorem 3.1
Let \(p\in (1,\infty )\), \(u_0\in V_\mu \) be given, and suppose that (A, F) satisfy (3.2) for some \(\mu \in (1/p,1]\). Assume in addition that \(A(u_0)\in {\mathcal {M}}{\mathcal {R}}_{p}(X_0)\). Then there exist \(T=T(u_0)>0\) and \(\varepsilon =\varepsilon (u_0)>0\) such that \(\bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon )\subset V_\mu \) and such that problem (3.1) has a unique solution
on [0, T] for any initial value \(u_1\in \bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon )\). Furthermore, there exists a constant \(c=c(u_0)>0\) such that, for all \(u_1,u_2\in \bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon )\), the estimate
is valid. Here \(\bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon )\) denotes the closed ball with center \(u_0\) and radius \(\varepsilon \) in the topology of \(X_{\gamma ,\mu }\).
Proof
[37, Theorem 2.1]. \(\square \)
Remark 3.2
A benefit of Theorem 3.1 is that the local existence time \(T=T(u_0)\) is locally uniform. Moreover, Theorem 3.1 shows that the space \(X_{\gamma ,\mu }=(X_0,X_1)_{\mu -1/p,p}\) is the natural phase space for the semi-flow \([u_0\mapsto u(t,u_0)]\) generated by (1.2) or (3.1). In the unweighted case (i.e., \(\mu =1\)), Theorem 3.1 has been proven in [13] and [50].
Concerning the continuation of solutions in the weighted maximal regularity class, one can prove the following
Corollary 3.3
Let the assumptions of Theorem 3.1 be satisfied and assume that \(A(v)\in {\mathcal {M}}{\mathcal {R}}_{p}(X_0)\) for all \(v\in V_\mu \). Then the solution \(u(\cdot ,u_0)\) of (1.2) has a maximal interval of existence \([0,t^+(u_0))\) and for each \(T\in (0,t^+(u_0))\), there holds
The mapping \([u_0\mapsto t^+(u_0)]:V_\mu \rightarrow (0,\infty )\) is lower-semicontinuous.
Proof
[37, Corollary 2.2] and [39, Corollary 2.2]. \(\square \)
Let us point out another advantage of working in the setting of weighted \(L_p\)-spaces. To see the benefit, observe that for all \(\tau ,T\in (0,t^+(u_0))\) with \(\tau <T\), the estimate
for the solution u of (3.1) holds, hence
by Proposition 2.6. This shows that the solution u(t) of (1.2) with initial value \(u_0\in X_{\gamma ,\mu }=(X_0,X_1)_{\mu -1/p,p}\) regularizes instantaneously for \(t\in (0,t^+(u_0))\) provided \(\mu <1\).
3.2 Global well-posedness
Assume that for some \(1/p<\mu <\nu \le 1\), it holds that
and for some \(\tau \in (0,t^+(u_0))\),
where \(\overset{c}{\hookrightarrow }\) stands for a compact embedding. Then, the orbit \(\{u(t)\}_{t\in [\tau ,t^+(u_0))}\) is relatively compact in \(X_{\gamma ,\mu }\) which in turn implies that \(t^+(u_0)=\infty \) and therefore, the solution u exists globally (see [39, Section 3] for details). Moreover, combining the continuous dependence of the solution on the initial data from Theorem 3.1 with (3.3) and (3.4), one can even prove relative compactness of \(\{u(t)\}_{t\in [\tau ,t^+(u_0))}\) in \(X_{\gamma ,1}\), the strongest topology with respect to \(\mu \in (1/p,1]\). All these considerations are part of the following result which has been proven in [39, Theorem 3.1].
Theorem 3.4
Let \(p\in (1,\infty )\), suppose that \(A(v)\in {\mathcal {M}}{\mathcal {R}}_{p}(X_0)\) for all \(v\in V_\mu \), and let (3.2) hold for some \(\mu \in (1/p,1)\). Assume furthermore that (3.5) holds for some \(\nu \in (\mu ,1]\) and that the solution u of (1.2) satisfies
for some \(\tau \in (0,t^+(u_0))\) and \(\nu \in (\mu ,1]\) as well as
for all \(t\in [0,t^+(u_0))\). Then the solution u exists globally and for each \(\delta >0\), the orbit \(\{u(t)\}_{t\ge \delta }\) is relatively compact in \(X_{\gamma ,1}\). If \(u_0\in V_\mu \cap X_{\gamma ,1}\), then \(\{u(t)\}_{t\ge 0}\) is relatively compact in \(X_{\gamma ,1}\).
In addition, the \(\omega \)-limit set \(\omega (u_0)\) defined by
is nonempty, compact, and connected.
Example 3.5
We consider the quasilinear initial-boundary value problem
where \(\Omega \subset {\mathbb {R}}^n\) is a bounded domain with boundary \(\partial \Omega \in C^2\), \(f\in C^{1}({\mathbb {R}}\times {\mathbb {R}}^n;{\mathbb {R}})\), \(a\in C^{2}({\mathbb {R}};{\mathbb {R}})\), and \(a(s)\ge a_0>0\) for all \(s\in {\mathbb {R}}\). Let us first rewrite (3.6) in the form (1.2). To this end, for \(1<q<\infty \), we set \(X_0=L_q(\Omega )\),
where \(u|_{\partial \Omega }\) has to be understood in the sense of traces. In this situation, we have for \(\mu \in (1/p,1]\),
see e.g. [27]. Let us assume that \(2/p+n/q<1\), wherefore the embedding \(B_{qp}^{2-2/p}(\Omega )\hookrightarrow C^1(\bar{\Omega })\) is at our disposal. In this case, there exists \(\mu _0\in (1/p,1)\) such that
with compact embeddings. Indeed, the number \(\mu _0\in (1/p,1)\) is given by
provided \(2/p+n/q<1\). For \(\mu \in (\mu _0,1]\) and \(X_{\gamma ,\mu }:=(X_0,X_1)_{\mu -1/p,p}\), we define \(A:X_{\gamma ,\mu }\rightarrow {\mathcal {B}}(X_0,X_1)\) and \(F:X_{\gamma ,\mu }\rightarrow X_0\) by means of
and
From the regularity assumptions on a and f, it follows that
Furthermore, by [52, Theorem 6.3.2], it holds that \(A(v)\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\) for all \(v\in X_{\gamma ,\mu }\), \(\mu \in (\mu _0,1]\) since the spectral bound of \(-A(v)\) is negative for each \(v\in X_{\gamma ,\mu }\). An application of Theorem 3.1, Corollary 3.3, and Theorem 3.4 yields the following result.
Theorem 3.6
Let \(n\in {\mathbb {N}}\), \(p,q\in (1,\infty )\) such that \(2/p+n/q<1\), \(\Omega \subset {\mathbb {R}}^n\) a bounded domain with boundary \(\partial \Omega \in C^2\). Suppose that \(\mu >1/2+1/p+n/(2q)\) and let \(u_0\in B_{qp}^{2\mu -2/p}(\Omega )\) such that \(u_0|_{\partial \Omega }=0\). If the solution u of (3.6) satisfies
for some \(\tau \in (0,t^+(u_0))\) and \(\nu \in (\mu ,1]\), then the solution u exists globally, i.e., \(t^+(u_0)=\infty \) and for any \(\delta >0\), the set \(\{u(t)\}_{t\ge \delta }\) is relatively compact in \(B_{qp}^{2-2/p}(\Omega )\). Moreover, the \(\omega \)-limit set
is nonempty, connected, and compact.
3.3 Nonlinearities with polynomial growth
The condition (3.2) is for quite general functions (A, F) and does not account for nonlinearities having a certain growth. Consider for example the PDE
We compute (assuming that a is sufficiently regular)
Therefore, we may also consider (3.7) in the form
Let us compare (3.8) with the PDE
For (3.8) and (3.9), we choose the setting \(X_0=L_q(\Omega )\) and
Then, as in Example 3.5, the trace space is computed to the result
To solve (3.9) in this setting, we require \(X_{\gamma ,\mu }\hookrightarrow C(\overline{\Omega })\), i.e., \(2\mu >2/p+n/q\). Note that this is possible if \(2/p+n/q<2\), in order to ensure \(\mu \in (1/p,1]\). We turn back to (3.8). The terms \(a(u)\Delta u\) and f(u) are as in (3.9) while the remaining term \(a'(u)|\nabla u|^2\) seems to induce additional conditions on the weight \(\mu \) for solving (3.8). However, it is of fundamental importance to observe that the last term in (3.8) has a certain structure: it is of quadratic growth and of lower order compared to \(a(u)\Delta u\).
Such a class of nonlinearities with a certain growth behaviour has been considered in [39, 53], and [55]. We write
where \(F_r\) and \(F_s\) are the regular and singular part of F, respectively. In the sequel, we denote by \(X_\beta =(X_0,X_1)_\beta \), \(\beta \in (0,1)\), the complex interpolation spaces. The precise assumptions on \((A,F_r,F_s)\) are as follows.
(H1) \((A,F_r)\in C^{1-}(V_\mu ; {\mathcal {B}}(X_1,X_0)\times X_0)\).
(H2) \(F_s: V_\mu \cap X_\beta \rightarrow X_0\) satisfies the estimate
\(u_1, u_2\in V_\mu \cap X_\beta \), for some numbers \(m\in {\mathbb {N}}\), \(\rho _j\ge 0\), \(\beta \in (\mu -1/p,1)\), \(\beta _j\in [\mu -1/p, \beta ]\), where C denotes a constant which may depend on \(\Vert u_i\Vert _{X_{\gamma ,\mu }}\). The case \(\beta _j=\mu -1/p\) is only admissible if (H2) holds with \(X_{\beta _j}\) replaced by \(X_{\gamma ,\mu }\).
(H3) For all \(j=1,\ldots ,m\), we have
Allowing for equality in (H3) is not for free and we additionally need to impose the following structural condition (S) on the Banach spaces \(X_0\) and \(X_1\).
(S) The space \(X_0\) is of class UMD and the embedding
is valid for each \(\beta \in [0,1]\).
Remark 3.7
-
1.
By the mixed derivative theorem, condition (S) is in particular satisfied if \(X_0\) is of class UMD, and if there is an operator B in \(X_0\), with domain \(D(B)=X_1\), such that B possesses a bounded \({\mathcal {H}}^\infty \)-calculus in \(X_0\) (for short \(B\in {\mathcal {H}}^\infty (X_0)\)) with \({\mathcal {H}}^\infty \)-angle \(\phi _{B}^\infty <\pi /2\). We refer to Prüss and Simonett [52, Section 4.5] for details.
-
2.
Hypothesis (H3) with strict inequality has been considered in [39]. In this case, condition (S) can be neglected.
Let us apply (H2) to the nonlinearity \(F_s(u):=a'(u)|\nabla u|^2\) in (3.8). In this case, we have \(m=1\), \(\beta _1=\beta \), and \(\rho _1=1\) and
to ensure the embedding \(H_q^{2\beta }(\Omega )\hookrightarrow H_{2q}^1(\Omega )\). From (H3), it then follows that
hence there are no additional conditions on \(\mu \) in (3.8).
The extension of Theorem 3.1 to the setting of this section reads as follows.
Theorem 3.8
Suppose that the structural condition (S) holds, and assume that hypotheses (H1), (H2), (H3) are valid. Fix any \(u_0\in V_\mu \) such that \(A_0:= A(u_0)\in {\mathcal {M}}{\mathcal {R}}_p(X_0)\). Then there is \(T=T(u_0)>0\) and \(\varepsilon =\varepsilon (u_0)>0\) with \(\bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon ) \subset V_\mu \) such that the problem
admits a unique solution
for each initial value \(u_1\in \bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon )\). There is a constant \(c= c(u_0)>0\) such that
for all \(u_1,u_2\in \bar{B}_{X_{\gamma ,\mu }}(u_0,\varepsilon )\).
Proof
[53, Theorem 1.2]. \(\square \)
3.4 Critical spaces
Looking into the literature, there is no universally accepted definition of critical spaces. One possible definition may be based on the idea of a ‘largest space of initial data such that a given PDE is well-posed’. On the other hand, critical spaces are often introduced as ‘scaling invariant spaces’, provided the underlying PDE enjoys a scaling.
We consider again the setting from Section 3.3. Note that the condition (H3) implies that the minimal value of \(\mu \) is given by
which we call the critical weight as long as \(\mu _c\in (1/p,1]\). Theorem 3.8 shows in particular that we have local well-posedness of (3.10) for initial values in the spaces \(X_{\gamma ,\mu }\), provided (H1) holds for \(\mu \in [\mu _c,1]\). Therefore, it makes sense to name the space \(X_{\gamma ,\mu _c}=(X_0,X_1)_{\mu _c-1/p,p}\) the critical space for (3.10). The critical space \(X_{\gamma ,\mu _c}\) enjoys the following properties.
-
Generically, the critical space \(X_{\gamma ,\mu _c}\) is the largest space such that the underlying evolution equation is well-posed for initial values in \(X_{\gamma ,\mu _c}\). A concrete counterexample is given in [53, Section 2.2].
-
If the underlying evolution equation admits a scaling, then the critical space \(X_{\gamma ,\mu _c}\) is scaling invariant. This has been proven in [53, Section 2.3]. A typical example is given by the Navier–Stokes equations in \({\mathbb {R}}^n\):
$$\begin{aligned} \partial _t u + u\cdot \nabla u -\Delta u +\nabla \pi =0,\quad \textrm{div}\, u =0, \end{aligned}$$which is invariant under the scaling
$$\begin{aligned} (u_\lambda (t,x),\pi _\lambda (t,x)):=(\lambda u(\lambda ^2 t,\lambda x),\lambda ^2 \pi (\lambda ^2 t,\lambda x)). \end{aligned}$$Here u denotes the velocity field and \(\pi \) the pressure.
-
The critical spaces \(X_{\gamma ,\mu _c}\) are invariant with respect to interpolation-extrapolation scales (see e.g. [4] for the theory of those scales). This has been proven in [53, Section 2.4]. Considering a PDE in a scale of function spaces gives great flexibility in choosing an appropriate setting for analyzing a given equation.
In particular, the above definition of \(X_{\gamma ,\mu _c}\) encompasses the aforementioned properties of critical spaces from the literature.
Of special interest from a viewpoint of applications are semilinear evolution equations of the form
Here \(G:X_\beta \times X_\beta \rightarrow X_0\) is bilinear and bounded, with the complex interpolation spaces \( X_\beta = (X_0,X_1)_\beta \) and \(A\in {\mathcal {H}}^\infty (X_0)\) with domain \({ D}(A)=X_1\) and \({\mathcal {H}}^\infty \)-angle \(\phi _{A}^\infty <\pi /2\). In this setting, \(F_r=0\) and \(F_s(u)=G(u,u)\), so that (H1) is satisfied and (H2) holds with \(m=1\), \(\rho _1=1\), and \(\beta _1=\beta \). Hypothesis (H3) then reads
so that the critical weight \(\mu _c\) is given by \(\mu _c=1/p+2\beta -1\) in case \(\beta >1/2\) and
is the critical space.
Example 3.9
Let \(n\ge 2\), \(\Omega \subset {\mathbb {R}}^n\) be a bounded domain with boundary \(\partial \Omega \) of class \(C^{3-}\), and consider the Navier-Stokes problem
Employing the Helmholtz projection P in \(L_q(\Omega )^n\), \(1<q<\infty \), (3.13) can be reformulated as the abstract semilinear evolution equation
in the Banach space \(X_0:=L_{q,\sigma }(\Omega ):=P L_q(\Omega )^n\), where \(A=-P\Delta \) is the Dirichlet-Stokes operator with domain
and the bilinear nonlinearity F is defined by
In [55], we computed the criticial weight \(\mu _c = 1/p+ n/2q -1/2\) and the corresponding critical spaces
for (3.14), provided \(q\in (1,n)\), \(p\in (1,\infty )\) such that \(2/p+n/q\le 3\). Here the subscript 0 indicates that \(u|_{\partial \Omega }=0\) whenever the trace exists. In the particular case \(n=3\) and \(p=q=2\), we have
which yields the celebrated Fujita-Kato theorem, proved first in 1962 by means of the famous Fujita-Kato iteration, see [22].
Remark 3.10
Critical spaces for the Navier–Stokes equations with perfect-slip as well as partial-slip boundary conditions have been characterized in [56]. Further examples in the context of critical spaces include
-
the Cahn–Hilliard equation
-
the Vorticity equation
-
Convection–Diffusion equations
-
Chemotaxis equations
which can be found in [53, Sections 3 & 5].
Last but not least, let us state from [53, Theorem 2.4] another important application of critical spaces. It is a result of Serrin type which connects global-in-time existence to an integral a-priori bound for the solution in the critical topology.
Theorem 3.11
Let \(p\in (1,\infty )\), \(\beta >1/2\), and \(\mu _c:=2\beta -1 +1/p\le 1\) be the critical weight. Assume \(u_0\in X_{\gamma ,\mu _c}\), and let u denote the unique solution of (3.11) with maximal interval of existence \([0,t^+(u_0))\). Then
- (i):
-
\(u\in L_p((0,a);X_{\mu _c})\) for each \(a<t^+(u_0)\).
- (ii):
-
If \(t^+(u_0)<\infty \), then \( u\not \in L_p((0,t^+(u_0));X_{\mu _c})\).
In particular, the solution exists globally if \(u\in L_p((0,a);X_{\mu _c})\) for any finite number a with \(a\le t^+(u_0)\).
We remind that \(X_{\mu _c}=(X_0,X_1)_{\mu _c}\) denotes the complex interpolation space. Theorem 3.11 has in particular been applied in [56] and [57] to prove the global well-posedness of the Navier–Stokes equations in bounded domains of \({\mathbb {R}}^2\) and on two-dimensional compact manifolds, respectively.
4 Further implications and applications of weighted \(L_p\)-spaces
In this section, we give a selection of some further results and applications that were influenced by the article [51].
4.1 General weighted spaces
More general time-weighted function spaces with power weights have subsequently been considered for instance in [1, 5, 41, 44, 46], and [47]. The authors in [46] consider sharp embeddings for vector-valued weighted spaces of Besov, Triebel-Lizorkin, Bessel potential, and Sobolev-Slobodeckii type.
In [1, 44], and [47] anisotropic weighted function spaces have been studied. Several sharp embedding results as well as trace theorems have been proven therein. Those (anisotropic) function spaces are of significant importance in the theory of maximal regularity for parabolic boundary value problems as they appear e.g. as certain trace spaces.
Results on interpolation of weighted vector-valued function spaces with boundary conditions can be found in [5] and [41]. Those interpolation spaces appear for instance in the computation of the trace spaces or critical spaces as soon as boundary conditions come into play.
For additional literature on function spaces, we recommend [5] and [52] and the references listed therein.
4.2 Maximal regularity results
Deterministic results on optimal weighted \(L_p\)-\(L_q\)-regularity for parabolic boundary value problems with inhomogeneous boundary data can be found in [25, 43, 45] for the case \(p=q\), and in [35, 40] for the general case \(p\ne q\). In [35], weights in the spatial variable are considered as well. We also refer to the articles [23] and [24] concerning maximal regularity results in time-weighted spaces for parabolic operators in \({\mathbb {R}}^n\) having merely measurable coefficients and to the article [59] for parabolic boundary value problems in non-smooth domains.
In the probabilistic setting, there has been recent progress on stochastic maximal \(L_p\)-regularity in time-weighted spaces. In this context, we want to mention the articles [2, 3], and [49]. The first two articles can be seen as a stochastic version of [53] concerning critical spaces, while in [49], stochastic partial differential equations with VMO coefficients within the stochastic weighted \(L_p\)-maximal regularity framework are considered. Finally, we want to mention the article [7] for stochastic maximal \(L_p\)-regularity results in (weighted) tent spaces. For a comprehensive list of further references in the probabilistic setting, we refer to [2] and [49].
Note that by Theorem 2.3, classical (unweighted) \(L_p\)-maximal regularity extrapolates to the \(L_{p,\mu }\)-spaces with power weights having a positive exponent. This has subsequently been extended to all Muckenhoupt weights in [28] and in [10,11,12] to more general weights. For a proof of those extrapolation results in terms of \({\mathcal {R}}\)-boundedness, we refer to [19].
4.3 Specific applications of time-weighted spaces
The aforementioned abstract or general results on weighted \(L_p\)-maximal regularity have been applied to numerous concrete examples over the last years. Among the vast literature, we want to mention the following references.
Within the dynamics of fluids, weighted \(L_p\)-spaces and maximal regularity results have for instance been applied to
-
the Hibler sea ice model [9],
-
a system of PDEs for magnetoviscoelastic fluids [18],
-
incompressible and inhomogeneous fluids (with variable density) [20],
-
nematic liquid crystal flows via quasilinear evolution equations [33],
-
the phase-field Navier–Stokes equations [36],
-
the Navier–Stokes equations in unbounded domains with rough initial data [38],
-
rotating rigid bodies with a liquid-filled gap [42].
For the primitive equations of geophysical flows, which might be seen as a suitable approximation of the Navier–Stokes equations, we refer to [8] and [26] where critical spaces have been computed and analyticity of the solutions is proven. We further mention the articles [30] and [31] for surveys ranging from boundary layers and fluid structure interaction problems over free boundary value problems and liquid crystal flow to the primitive equations.
For a comprehensive overview of applications of weighted function spaces in the context of free boundary problems as e.g. for the two-phase Navier–Stokes equations or Stefan problems, see the monograph [52]. Further applications of weighted function spaces include
References
Agresti, A., Lindemulder, N., Veraar, M.: On the trace embedding and its applications to evolution equations. Math. Nachr. 296(4), 1319–1350 (2023)
Agresti, A., Veraar, M.: Nonlinear parabolic stochastic evolution equations in critical spaces part I. Stochastic maximal regularity and local existence. Nonlinearity 35(8), 4100–4210 (2022)
Agresti, A., Veraar, M.: Nonlinear parabolic stochastic evolution equations in critical spaces part II: Blow-up criteria and instataneous regularization. J. Evol. Equ. 22(2), Paper No. 56, 96 pp. (2022)
Amann, H.: Linear and Quasilinear Parabolic Problems. Vol. I. Abstract Linear Theory. Monographs in Mathematics, 89. Birkhäuser Boston, Inc., Boston, MA (1995)
Amann, H.: Linear and Quasilinear Parabolic Problems. Vol. II. Function Spaces. Monographs in Mathematics, 106. Birkhäuser/Springer, Cham (2019)
Angenent, S.B.: Nonlinear analytic semiflows. Proc. Roy. Soc. Edinb. Sect. A 115(1–2), 91–107 (1990)
Auscher, P., van Neerven, J., Portal, P.: Conical stochastic maximal \(L_p\)-regularity for \(1\le p<\infty \). Math. Ann. 359(3–4), 863–889 (2014)
Binz, T., Hieber, M.: Global wellposedness of the primitive equations with nonlinear equation of state in critical spaces. J. Math. Fluid Mech. 24(2). Paper No. 36, 18 pp. (2022)
Brandt, F., Disser, K., Haller-Dintelmann, R., Hieber, M.: Rigorous analysis and dynamics of Hibler’s sea ice model. J. Nonlinear Sci. 32(4). Paper No. 50, 26 pp. (2022)
Chill, R., Fiorenza, A.: Singular integral operators with operator-valued kernels, and extrapolation of maximal regularity into rearrangement invariant Banach function spaces. J. Evol. Equ. 14(4–5), 795–828 (2014)
Chill, R., Król, S.: Real interpolation with weighted rearrangement invariant Banach function spaces. J. Evol. Equ. 17(1), 173–195 (2017)
Chill, R., Król, S.: Weighted inequalities for singular integral operators on the half-line. Studia Math. 243(2), 171–206 (2018)
Clément, Ph., Li, S.: Abstract parabolic quasilinear equations and application to a groundwater flow problem. Adv. Math. Sci. Appl. 3, 17–32 (1993/94)
Clément, Ph., Simonett, G.: Maximal regularity in continuous interpolation spaces and quasilinear parabolic equations. J. Evol. Equ. 1(1), 39–67 (2001)
Denk, R., Hieber, M., Prüss, J.: \({\cal{R} }\)-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Amer. Math. Soc. 166(788), viii+114 pp. (2003)
Dore, G.: \(L^p\)-regularity for abstract differential equations. In: Komatsu, H. (ed.) Functional Analysis and Related Topics, 1991 (Kyoto), 25–38. Lecture Notes in Mathematics, vol. 1540. Springer, Berlin (1993)
Dore, G., Venni, A.: On the closedness of the sum of two closed operators. Math. Z. 196, 189–201 (1987)
Du, H., Shao, Y., Simonett, G.: Well-posedness for magnetoviscoelastic fluids in 3D. Nonlinear Anal. Real World Appl. 69, Paper No. 103759, 14 pp. (2023)
Fackler, S., Hytönen, T., Lindemulder, N.: Weighted estimates for operator-valued Fourier multipliers. Collect. Math. 71(3), 511–548 (2020)
Farwig, R., Qian, C., Zhang, P.: Incompressible inhomogeneous fluids in bounded domains of \({\mathbb{R} }^3\) with bounded density. J. Funct. Anal. 278(5), 108394, 14 pp. (2020)
Frigeri, S., Gal, C., Grasselli, M.: Regularity results for the nonlocal Cahn-Hilliard equation with singular potential and degenerate mobility. J. Differential Equations 287, 295–328 (2021)
Fujita, H., Kato, T.: On the non-stationary Navier–Stokes system. Rend. Sem. Mat. Univ. Padova 32, 243–260 (1962)
Gallarati, C., Veraar, M.: Evolution families and maximal regularity for systems of parabolic equations. Adv. Differential Equations 22(3–4), 169–190 (2017)
Gallarati, C., Veraar, M.: Maximal regularity for non-autonomous equations with measurable dependence on time. Potential Anal. 46(3), 527–567 (2017)
Gal, C., Meyries, M.: Nonlinear elliptic problems with dynamical boundary conditions of reactive and reactive-diffusive type. Proc. Lond. Math. Soc. (3) 108(6), 1351–1380 (2014)
Giga, Y., Gries, M., Hieber, M., Hussein, A., Kashiwabara, T.: Analyticity of solutions to the primitive equations. Math. Nachr. 293(2), 284–304 (2020)
Grisvard, P.: Équations différentielles abstraites. Ann. Sci. École Norm. Sup. (4) 2, 311–395 (1969)
Haak, B., Kunstmann, P.: Weighted admissibility and wellposedness of linear systems in Banach spaces. SIAM J. Control. Optim. 45(6), 2094–2118 (2007)
Herberg, M., Meyries, M., Prüss, J., Wilke, M.: Reaction-diffusion systems of Maxwell-Stefan type with reversible mass-action kinetics. Nonlinear Anal. 159, 264–284 (2017)
Hieber, M.: Analysis of viscous fluid flows: an approach by evolution equations. In: Mathematical Analysis of the Navier-Stokes Equations, 1–146. Lecture Notes in Math., 2254. Fond. CIME/CIME Found. Subser., Springer, Cham (2020)
Hieber, M., Hussein, A.: An approach to the primitive equations for oceanic and atmospheric dynamics by evolution equations. In: Fluids Under Pressure, 1–109. Adv. Math. Fluid Mech. Birkhäuser/Springer, Cham (2020)
Hieber, M., Kress, K., Stinner, C.: The Keller-Segel system on bounded convex domains in critical spaces. Partial Differential Equations Appl. 2(3), Paper No. 38, 14 pp. (2021)
Hieber, M., Nesensohn, M., Prüss, J., Schade, K.: Dynamics of nematic liquid crystal flows: the quasilinear approach. Ann. Inst. H. Poincaré C Anal. Non Linéaire 33(2), 397–408 (2016)
Hieber, M., Prüss, J.: Bounded \(H^\infty \)-calculus for a class of nonlocal operators: the bidomain operator in the \(L_q\)-setting. Math. Ann. 378(3–4), 1095–1127 (2020)
Hummel, F., Lindemulder, N.: Elliptic and parabolic boundary value problems in weighted function spaces. Potential Anal. 57(4), 601–669 (2022)
Kajiwara, N.: Strong well-posedness for the phase-field Navier-Stokes equations in the maximal regularity class. Comm. Math. Sci. 16(1), 239–250 (2018)
Köhne, M., Prüss, J., Wilke, M.: On quasilinear parabolic evolution equations in weighted \(L_p\)-spaces. J. Evol. Equ. 10, 443–463 (2010)
Kunstmann, P.: Navier-Stokes equations on unbounded domains with rough initial data. Czechoslovak Math. J. 60(135), 297–313 (2010)
LeCrone, J., Prüss, J., Wilke, M.: On quasilinear parabolic evolution equations in weighted \(L_p\)-spaces II. J. Evol. Equ. 14, 509–533 (2014)
Lindemulder, N.: Maximal regularity with weights for parabolic problems with inhomogeneous boundary conditions. J. Evol. Equ. 20(1), 59–108 (2020)
Lindemulder, N., Meyries, M., Veraar, M.: Complex interpolation with Dirichlet boundary conditions on the half line. Math. Nachr. 291(16), 2435–2456 (2018)
Mazzone, G.: On the free rotations of rigid bodies with a liquid-filled gap. J. Math. Anal. Appl. 496(2). Paper No. 124826, 37 pp. (2021)
Meyries, M.: Global attractors in stronger norms for a class of parabolic systems with nonlinear boundary conditions. Nonlinear Anal. 75(5), 2922–2935 (2012)
Meyries, M., Schnaubelt, R.: Interpolation, embeddings and traces of anisotropic fractional Sobolev spaces with temporal weights. J. Funct. Anal. 262, 1200–1229 (2012)
Meyries, M., Schnaubelt, R.: Maximal regularity with temporal weights for parabolic problems with inhomogeneous boundary conditions. Math. Nachr. 285(8–9), 1032–1051 (2012)
Meyries, M., Veraar, M.: Sharp embedding results for spaces of smooth functions with power weights. Studia Math. 208(3), 257–293 (2012)
Meyries, M., Veraar, M.: Traces and embeddings of anisotropic function spaces. Math. Ann. 360(3–4), 571–606 (2014)
Niebel, L., Zacher, R.: Kinetic maximal \(L_p\)-regularity with temporal weights and application to quasilinear kinetic diffusion equations. J. Differential Equations 307, 29–82 (2022)
Portal, P., Veraar, M.: Stochastic maximal regularity for rough time-dependent problems. Stoch. Partial Differential Equations Anal. Comput. 7(4), 541–597 (2019)
Prüss, J.: Maximal regularity for evolution equations in \(L_p\)-spaces. Conf. Semin. Mat. Univ. Bari 285, 1–39 (2002)
Prüss, J., Simonett, G.: Maximal regularity for evolution equations in weighted \(L_p\)-spaces. Arch. Math. (Basel) 82, 415–431 (2004)
Prüss, J., Simonett, G.: Moving Interfaces and Quasilinear Parabolic Evolution Equations. Monographs in Mathematics, 105. Birkhäuser, Cham (2016)
Prüss, J., Simonett, G., Wilke, M.: Critical spaces for quasilinear parabolic evolution equations and applications. J. Differential Equations 264(3), 2028–2074 (2018)
Prüss, J., Sohr, H.: On operators with bounded imaginary powers in Banach spaces. Math. Z. 203, 429–452 (1990)
Prüss, J., Wilke, M.: Addendum to the paper “On quasilinear parabolic evolution equations in weighted \(L_p\)-spaces II’’. J. Evol. Equ. 17(4), 1381–1388 (2017)
Prüss, J., Wilke, M.: On critical spaces for the Navier–Stokes equations. J. Math. Fluid Mech. 20(2), 733–755 (2018)
Simonett, G., Wilke, M.: \(H^\infty \)-calculus for the surface Stokes operator and applications. J. Math. Fluid Mech. 24(4), Paper No. 109, 23 pp. (2022)
Sobolevskii, P.E.: Coerciveness inequalities for abstract parabolic equations. Soviet Math. Dokl. 5, 894–897 (1964)
ter Elst, A.F.M., Meyries, M., Rehberg, J.: Parabolic equations with dynamical boundary conditions and source terms on interfaces. Ann. Mat. Pura Appl. (4) 193(5), 1295–1318 (2014)
Weis, L.: Operator-valued Fourier multiplier theorems and maximal \(L_p\)-regularity. Math. Ann. 319(4), 735–758 (2001)
Funding
Open Access funding enabled and organized by Projekt DEAL.
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.
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
Wilke, M. Linear and quasilinear evolution equations in the context of weighted \(L_p\)-spaces. Arch. Math. 121, 625–642 (2023). https://doi.org/10.1007/s00013-023-01927-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01927-1
Keywords
- Linear parabolic equation
- Quasilinear parabolic equations
- Maximal regularity
- Weighted spaces
- Critical spaces.