Abstract
We study doubly nonlinear parabolic equation arising from the gradient flow for p-Sobolev type inequality, referred as p-Sobolev flow from now on, which includes the classical Yamabe flow on a bounded domain in Euclidean space in the special case \(p=2\). In this article we establish a priori estimates and regularity results for the p-Sobolev type flow, which are necessary for further analysis and classification of limits as time tends to infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subset \mathbb {R}^{n}\,(n \ge 3)\) be a bounded domain with smooth boundary \(\partial \Omega \). For any positive \(T \le \infty \), let \(\Omega _T : = \Omega \times (0, T)\) be the space-time cylinder, and let \(\partial _p \Omega _T\) be the parabolic boundary defined by \((\partial \Omega \times [0, T))\cup ( \Omega \times \{t = 0\}) \). Throughout the paper we fix \( p \in [2,n)\) and set \(q:=p^*- 1\), where \(p^*:= \frac{np}{n-p}\) is the Sobolev conjugate of p. We consider the following doubly nonlinear parabolic equation:
Here the unknown function \(u=u(x,t)\) is a real-valued function defined for \((x,t) \in \Omega _\infty \), and the initial data \(u_0\) is assumed to be in the Sobolev space \(W^{1, p}_0 (\Omega )\), positive, bounded in \(\Omega \) and satisfy \( \Vert u_0 \Vert _{L^{q+1}(\Omega )}=1\), and \(\Delta _p u:=\mathrm {div}\left( |\nabla u|^{p-2}\nabla u\right) \) is the p-Laplacian. The condition imposed in the fourth line of (1.1) is called the volume constraint and \(\lambda (t)\) is Lagrange multiplier stemming from this volume constraint. In fact, multiplying (1.1) by u and integrating by parts, we find by a formal computation that \(\displaystyle \lambda (t)=\int _\Omega |\nabla u(x,t)|^p \,\mathrm{d}x\) (see Proposition 5.2 below for the rigorous argument). We call the system (1.1) as p-Sobolev flow.
Our main result in this paper is the following theorem.
Theorem 1.1
Let \(\Omega \) be a bounded domain with smooth boundary. Suppose that the initial data \(u_0\) is positive in \(\Omega \), belongs to \(W^{1, p}_0(\Omega ) \cap L^\infty (\Omega )\), and satisfies the volume constraint \( \Vert u_0 \Vert _{L^{q+1}(\Omega )}=1\). Let u be a weak solution of (1.1) in \(\Omega _\infty \equiv \Omega \times (0, \infty )\) with the initial and boundary data \(u_0\). Then, u is positive and bounded in \(\Omega _\infty \) and, together with its spatial gradient, locally Hölder continuous in \(\Omega _\infty \). Moreover, for \(t \in [0,\infty )\),
The definition of a weak solution is given in Definition 3.2. The global existence of the p-Sobolev flow and its asymptotic behavior, that is the volume concentration at infinite time, will be treated in our forthcoming paper, based on the a-priori regularity estimates for the p-Sobolev flow, obtained in the main theorem above (refer to [22, 24] for the stationary problem).
The ODE part of the p-Sobolev flow equation is of exponential type, since the order of solution in both the time derivative and lower-order terms are the same. Thus, the solution is bounded for all times by the maximum principle (Proposition 3.5). On the other hand, a priori the solution may vanish in a finite time, by the effect of fast diffusion. This undesirable behavior can be ruled out for the p-Sobolev flow (1.1) by the volume constraint, that is the preservation of volume at all time. In fact, we show the global positivity of solutions of (1.1) under the volume constraint (Proposition 5.4). The positivity of solutions is based on local energy estimates for truncated solution and De Giorgi’s iteration method. For the porous medium and p-Laplace equations, see [6, 7, 27, 28], and also [26]. Our task is to discover the intrinsic scaling to the doubly nonlinear operator in the p-Sobolev flow (Corollary 4.6). Then, the interior positivity is obtained from some covering argument, being reminiscent of the so-called Harnack chain (Corollary 4.8). This leads to the positivity and regularity on a non-convex domain and thus, may be of interest in geometry. Once the interior positivity is established, the positivity near the boundary of domain follows from the usual comparison function (Proposition 4.9). Finally, the Hölder continuity reduced to that of the evolutionary p-Laplacian equation, by use of the positivity and boundedness of solutions. The energy equality also holds true for a weak solution of the p-Sobolev flow, leading to the continuity on time of the p-energy and volume.
The doubly nonlinear equations have been considered by Vespri [29], Porizio and Vespri [20], and Ivanov [11, 12]. See also [9, 14, 16, 20, 25, 30]. The regularity proofs for doubly nonlinear equations are based on the intrinsic scaling method, originally introduced by DiBenedetto, and they have to be arranged in some way depending on the particular form of the equation. Here, the very fast diffusive doubly nonlinear equation such as the p-Sobolev flow (1.1) is treated, and the positivity, boundedness and regularity of weak solutions are studied and shown in some precise way. See [19] for existence of a weak solution.
Consider next the stationary equation for (1.1), which is described by the p-Laplacian type elliptic equation, obtained from simply removing the time derivative term from the first equation in (1.1). This stationary equation relates to the existence of the extremal function attaining the best constant of Sobolev’s embedding inequality, \(W^{1,p}_0 (\Omega ) \hookrightarrow L^{q+1} (\Omega )\). If the domain \(\Omega \) is star-shaped with respect to the origin, the trivial solution \(u \equiv 0\) only exists, by Pohozaev’s identity and Hopf’s maximum principle. Thus, the p-Sobolev flow (1.1), if globally exists, may have finitely many volume concentration points at infinite time. This volume concentration phenomenon is one of our motives of studying the p-Sobolev flow (1.1). Moreover, if the domain \(\Omega \) is replaced by a smooth compact manifold, we can study the generalization of Yamabe problem in the sense of p-Laplacian setting. This is another geometric motive for the p-Sobolev flow.
In fact, in the case that \(p=2\), our p-Sobolev flow (1.1) is exactly the classical Yamabe flow equation in the Euclidean space. The classical Yamabe flow was originally introduced by Hamilton in his study of the so-called Yamabe problem [2, 3, 31], asking the existence of a conformal metric of constant curvature on \(n(\ge 3)\)-dimensional closed Riemannian manifolds [10]. Let \((\mathcal {M},g_{0})\) be a \(n(\ge 3)\)-dimensional smooth, closed Riemannian manifold with scalar curvature \(R_{0}=R_{g_{0}}\). The classical Yamabe flow is given by the heat flow equation
where \(u=u(t), t\ge 0\) is a positive function on \(\mathcal {M}\) such that \(g(t)=u(t)^{\frac{4}{n-2}}g_0\) is a conformal change of a Riemannian metric \(g_{0}\), with volume \(\displaystyle \mathrm {Vol}(\mathcal {M})=\int _\mathcal {M}\,\mathrm{dvol}_g=\int _\mathcal {M} u^{\frac{2n}{n-2}}\mathrm{dvol}_{g_0}=1\), having total curvature
Here we will notice that the condition for volume above naturally corresponds the volume constraint in (1.1). Hamilton [10] proved convergence of the Yamabe flow as \(t \rightarrow \infty \) under some geometric conditions. Under the assumption that \((\mathcal {M},g_0)\) is of positive scalar curvature and locally conformal flat, Ye [32] showed the global existence of the Yamabe flow and its convergence as \(t \rightarrow \infty \) to a metric of constant scalar curvature. Schwetlick and Struwe [21] succeeded in obtaining the asymptotic convergence of the Yamabe flow in the case \(3 \le n \le 5\), under an appropriate condition of Yamabe invariance \(Y(\mathcal {M},g_0)\), which is given by infimum of Yamabe energy \(E(u)=\int _\mathcal {M}(c_n |\nabla u|_{g_0}^2+R_0u^2)\,\mathrm{dvol}_{g_0}\) among all positive smooth function u on \(\mathcal {M}\) with \(\mathrm {Vol}(\mathcal {M})=1\), for an initial positive scalar curvature. In Euclidean case, since \(R_{g_{0}}=0\) their curvature assumptions are not verified. In outstanding results concerning the Yamabe flow, the equation is equivalently transformed to the scalar curvature equation, and this is crucial for obtaining many properties for the Yamabe flow. In this paper, we are forced to take a direct approach dictated by the structure of the p-Laplacian leading to the degenerate/singular parabolic equation of the p-Sobolev flow. Let us remark that our results cover those of the classical Yamabe flow in the Euclidian setting.
The structure of this paper is as follows. In Sect. 2 we prepare some notations and technical analysis tools, which are used later. Section 3 provides basic definitions of weak solutions, and also some basic study of the doubly nonlinear equations of p-Sobolev flow type, including (1.1), and derivation of the minimum and maximum principles. Moreover, we establish the comparison theorem and make the Caccioppoli type estimates, which have a crucial role in Sect. 4. In the next section, Sect. 4, we prove the expansion of positivity for the doubly nonlinear equations of p-Sobolev flow type. In Sect. 5 we show the positivity, the energy estimates and, consequently, the Hölder regularity for the p-Sobolev flow (1.1). Finally, in Appendices A to C, for the p-Sobolev flow, we give detailed proofs of facts used in the previous sections.
2 Preliminaries
We prepare some notations and technical analysis tools, which are used later.
2.1 Notation
Let \(\Omega \) be a bounded domain in \(\mathbb {R}^n\,\,(n \ge 3)\) with smooth boundary \(\partial \Omega \) and for a positive \(T \le \infty \) let \(\Omega _T:=\Omega \times (0,T)\) be the cylindrical domain. Let us define the parabolic boundary of \(\Omega _T\) by
We prepare some function spaces, defined on space-time region. For \(1 \le p,q \le \infty \), \(L^{q}(t_1,t_2\,;\,L^{p}(\Omega ))\) is a function space of measurable real-valued functions on a space-time region \(\Omega \times (t_1,t_2)\) with a finite norm
where
When \(p=q\), we write \(L^p(\Omega \times (t_1,t_2))=L^{p}(t_1,t_2\,;\,L^{p}(\Omega ))\) for brevity. For \(1 \le p <\infty \) the Sobolev space \(W^{1,p}(\Omega )\) consists of measurable real-valued functions that are weakly differentiable and their weak derivatives are pth integrable on \(\Omega \), with the norm
where \(\nabla v=(v_{x_1},\ldots , v_{x_n})\) denotes the gradient of v in a distribution sense, and let \(W_{0}^{1,p}(\Omega )\) be the closure of \(C_{0}^{\infty }(\Omega )\) with resptect to the norm \(\Vert \cdot \Vert _{W^{1,p}}\). Also let \(L^{q}(t_1,t_2\,;\,W_{0}^{1,p}(\Omega ))\) denote a function space of measurable real-valued functions on space-time region with a finite norm
Let \(B=B_\rho (x_0):=\{x \in \mathbb {R}^n\,:\,|x-x_0|<\rho \}\) denote an open ball with radius \(\rho >0\) centered at some \(x_0 \in \mathbb {R}^n\). Let \(E \subset \mathbb {R}^{n}\) be a bounded domain. For a real number k and for a function v in \(L^{1}(E)\) we define the truncation of v by
For a measurable function v in \(L^{1}(E)\) and a pair of real numbers \(k<l\), we set
Let \(z=(x,t) \in \mathbb {R}^{n}\times \mathbb {R}\) be a space-time variable and \(\mathrm{d}z=\mathrm{d}x\mathrm{d}t\) be the space-time volume element.
2.2 Technical Tools
We first recall the following De Giorgi’s inequality (see [6]).
Proposition 2.1
(De Giorgi’s inequality) Let \(v \in W^{1,1}(B)\) and \(k,l \in \mathbb {R}\) satisfying \(k<l\). Then there exists a positive constant C depending only on p, n such that
Let \(q=np/(n-p)-1\) as before. Following [6], we define the auxiliary function
for \(u \ge 0\) and \(k \ge 0\). Changing a variable \(\eta =\xi ^{1/q}\), we have
and
Then we formally get
and
If \(k = 0\), we abbreviate as
Let \(0< t_1 < t_{2} \le T\) and let K be any domain in \(\Omega \). We denote a parabolic cylinder by \(K_{t_1, t_{2}} := K \times (t_1, t_{2})\). We recall the Sobolev embedding of parabolic type.
Proposition 2.2
[6] There exists a constant C depending only on n, p, r such that for every \(v \in L^\infty (t_1, t_2 ; L^r (K)) \cap L^p (t_1, t_2 ; W_0^{1, p} (K))\)
We next use so-called fast geometric convergence which will be employed later on many times. See [6] for details.
Lemma 2.3
(Fast geometric convergence, [6]) Let \(\{Y_m\}_{m=0}^\infty \) be a sequence of positive numbers, satisfying the recursive inequlities
where \(C,b>1\) and \(\alpha >0\) are given constants independent of m. If the initial value \(Y_0\) satisfies
then \(\lim \limits _{m \rightarrow \infty }Y_m=0\).
We also need a fundamental algebraic inequality, associated with the p-Laplace operator (see [5]).
Lemma 2.4
For all \(p \in (1,\infty )\) there exist positive constants \(C_{1}(p,n)\) and \(C_{2}(p,n)\) such that for all \(\xi ,\,\eta \in \mathbb {R}^{n}\)
and
where dot \(\cdot \) denotes the inner product in \(\mathbb {R}^{n}\). In particular, if \(p\ge 2\), then
3 Doubly Nonlinear Equations of p-Sobolev Flow Type
Let \(T \le \infty \). We study the following a doubly nonlinear equation of p-Sobolev flow type:
where \(u=u(x,t):\Omega _{T} \rightarrow \mathbb {R}\) be unknown real valued function, and c and M are nonnegative constant and positive one, respectively. This section is devoted to some a priori estimates of a weak solution to (3.1). Firstly, we recall the definition of weak solution of (3.1).
Definition 3.1
A measurable function u defined on \(\Omega _{T}\) is called a weak supersolution (subsolution) to (3.1) if the following (D1)–(D3) are satisfied:
- (D1)
\(u \in L^{\infty }(0,T\,;\,W^{1,p}(\Omega ))\); \(\partial _{t}(|u|^{q-1}u) \in L^{2}(\Omega _{T}).\)
- (D2)
For every nonnegative \(\varphi \in C^{\infty }_{0}(\Omega _T) \),
$$\begin{aligned} -\int _{\Omega _T}|u|^{q-1}u\varphi _{t}\,\mathrm{d}z+\int _{\Omega _T}|\nabla u|^{p-2}\nabla u\cdot \nabla \varphi \,\mathrm{d}z \ge (\le ) c\int _{\Omega _T} |u|^{q-1}u\varphi \mathrm{d}z. \end{aligned}$$ - (D3)
\(0 \le u \le M \) on \(\partial _p \Omega _T\) in the trace sense:
\((-u(t))_+,\,( (u(t))_+-M)_+ \in W^{1, p}_0 (\Omega )\) for almost every \(t \in (0, T)\);
$$\begin{aligned} \int _{\Omega }(-u(x,t))_+^{q+1}\,\mathrm{d}x, \quad \int _{\Omega }\left( (u(x,t))_+-M\right) _+^{q+1} \,\mathrm{d}x \rightarrow 0 \quad \text {as}\quad t\searrow 0. \end{aligned}$$
A measurable function u defined on \(\Omega \times [0,T]\) is called a weak solution to (3.1) if it is simultaneously a weak sub and supersolution; that is,
for every \(\varphi \in C^{\infty }_{0}(\Omega _T). \)
Similarly,
Definition 3.2
A measurable function u defined on \(\Omega _{T}\) is called a weak solution of (1.1) if the following (D1)–(D4) are satisfied:
- (D1)
\(u \in L^{\infty }(0,T\,;\,W^{1,p}(\Omega ))\); \(\partial _{t}(|u|^{q-1}u) \in L^{2}(\Omega _{T}).\)
- (D2)
There exists a function \(\lambda (t) \in L^1 (0, T)\) such that, for every \(\varphi \in C^{\infty }_{0}(\Omega _T) \),
$$\begin{aligned} -\int _{\Omega _T}|u|^{q-1}u\varphi _{t}\,\mathrm{d}z+\int _{\Omega _T}|\nabla u|^{p-2}\nabla u\cdot \nabla \varphi \,\mathrm{d}z = \int _{\Omega _T} \lambda (t) |u|^{q-1}u\varphi \mathrm{d}z. \end{aligned}$$ - (D3)
\(\Vert u (t)\Vert _{L^{q +1} (\Omega )} = 1\) for all \(t \ge 0\).
- (D4)
\(u(0) = u_0\) in \(\Omega \) and \(u = 0 \) on \(\partial _p \Omega \times (0,T)\) in the trace sense:
\(u(t) \in W^{1, p}_0 (\Omega )\) for almost every \(t \in (0, T)\);
$$\begin{aligned} \Vert u (t) - u_0\Vert _{L^{q+1} \Omega )}\rightarrow 0 \quad \text {as}\quad t\searrow 0. \end{aligned}$$
Remark 3.3
A solution of our p-Sobolev flow equation (1.1) is a subsolution of (3.1) with \(c=\Vert \nabla u_0\Vert _{L^p(\Omega )}^p\) and a supersolution of (3.1) with \(c=0\), respectively. See the energy estimate (5.3) in Proposition 5.2 below.
3.1 Nonnegativity and Boundedness
We next claim that a weak supersolutions to (3.1) are nonnegative, i.e., they satisfy the weak minimum principle.
Proposition 3.4
(Nonnegativity) A weak supersolution u to (3.1) satisfies
Proof
If u is a weak supersolution to (3.1), \(-u\) is a weak subsolution. We note by (D1) in Definition 3.1 that \(\partial _t (|u|^{q-1}u) \in L^2(\Omega _T)\) and that \((-u)_+ \in L^\infty (0,T\,; W^{1,p}_0 (\Omega )) \subset L^{q + 1} (\Omega _T) \subset L^2 (\Omega _T)\). Let \(0< t_1 < t \le T\) be arbitrarily taken and fixed. Put \(\Omega _{t_1, t}=\Omega \times (t_1, t)\). Let \(\delta \) be any positive number such that \(\delta \le (t - t_1)/3\). We define a Lipschitz cut-off function on time, \(\sigma _{t_1, t}\) such that
A function \((-u)_+\sigma _{t_1, t}\) is an admissible test function in (D2) of Definition 3.1. From (D2) of Definition 3.1 we obtain that
The first integral on the left hand side of (3.3) is computed as
which, as \(\delta \rightarrow 0\), converges to
where by (D3) in Definition 3.1 we have that
The second integral on the left hand side of (3.3) is bounded from below as
Taking the limit in (3.3) as \(\delta \searrow 0\) and \(t_1 \searrow 0\), and combining (3.4), (3.5), (3.6) with (3.7), we get
and, by Gronwall’s lemma,
since again, by (D3) of Definition 3.1, \((-u(t))_+ \rightarrow 0\) in \(L^{q+1} (\Omega )\) as \(t \searrow 0\). Thus we have \(-u(x,t) \le 0\) for \((x,t) \in \Omega _{T}\) and the claim is verified. \(\square \)
We next show the boundedness of the solution.
Proposition 3.5
(Boundedness) Let u be a weak subsolution of (3.1) such that \((u(t))_+ \in W^{1, p}_0 (\Omega )\) for almost every \(t \in (0, T)\). Then
Proof
We will follow the similar argument as in [1]. Set \(M:=\Vert u_{0}\Vert _{L^{\infty }(\Omega )}\), so that \(0 \le u \le M\) on \(\partial _p \Omega _T\). Let us define, for a small \(\delta >0\), the Lipschitz truncated function \(\phi _{\delta }(u)\) by
where we note that the support of \(\phi _\delta \) is \(\{u>e^{ct/q}M\}\), and \(\phi _\delta (u),\phi _\delta ' (u) \in L^\infty (\Omega _T)\), \(\phi _\delta (0)=0\), and further \(\phi _\delta (u) \in L^\infty (0,T\,; W^{1,p}_0 (\Omega ))\). Let \(0<t_1<t\le T\) and \(\sigma _{t_1,t}\) be the same time cut-off function as in the proof of Proposition 3.4. The function \(e^{-ct}\sigma _{t_1, t} \phi _\delta (u) \) is an admissible test function in (D2) in Definition 3.1. Choose a test function as \(e^{-ct}\sigma _{t_1, t} \phi _\delta (u)\) in (D2) in Definition 3.1 to have
The first term on the left of (3.9) is computed as
Since, on the support of \(\phi _\delta , \{u > e^{ct/q}M\}\),
the second term is estimated as
Gathering (3.9), (3.10) and (3.11), we obtain
Since \(\partial _{t}(|u|^{q-1}u)=\partial _{t} u^{q} \in L^{2}(\Omega )\) in \(\{(u)_+>0\}\) by (D1) of Definition 3.1, it holds that \(\partial _t (e^{-ct} (u)_+^q) \in L^{2}(\Omega _{T})\). Taking the limit as \(\delta \searrow 0\) in (3.12), by the Lebesgue dominated convergence theorem, we have that
namely,
By (D3) in Definition 3.1
as \(t_1 \searrow 0\). Hence, we pass to the limit as \(t_1 \searrow 0\) in (3.13) to have
if and only if \((u)_+\le e^{ct/q}M\) in \(\Omega \times [0,T]\), and we arrive at the assertion. \(\square \)
3.2 Comparison Theorem
We recall the crucial fact, addressed by Alt and Luckhaus [1], the Comparison theorem [1, Theorem 2.2, p. 325]. For stating it without loss of generality, we define a weak sub and super solutions. A measurable function u and v on \(\Omega _T\) are a weak supersolution and subsolution, respectively, if the conditions (D1) and (D2) in Definition 3.1 are satisfied. We say that \(u \ge v\) on \(\partial _p \Omega _T\) in the trace sense, if
- (D3’)
\((-u (t)+v (t))_+ \in W^{1, p}_0 (\Omega )\), for almost every \(t \in (0,T)\), and
\((- |u|^{q - 1} u (t) + |v|^{q - 1} v (t))_+ \rightarrow 0\) in \(L^1 (\Omega )\) as \(t \searrow 0\).
Theorem 3.6
(Comparison theorem [1]) Let u and v be a weak supersolution and subsolution to (3.1) in \(\Omega _T\), respectively. If \(u \ge v\) in the sense of (D3’) on \(\partial _p \Omega _T\), then it holds true that
Proof
As before, for a small \(\delta >0\), let us define the Lipschitz function \(\phi _{\delta }\) by
Note that \(\phi _\delta (v-u) \in L^\infty (\Omega _T)\) and \(L^\infty (0, T; W^{1,p}_0 (\Omega ))\). Let \(0< t_1 < t \le T\) and \(\sigma _{t_1,t}\) be the same time cut-off function as in the proof of Proposition 3.4. Choose a test function \(\sigma _{t_{1}, t} \phi _\delta (v-u)\), which is admissible, to have
and
Notice that
and thus,
Subtract (3.14) from (3.15) in Lemma 2.4 to obtain
We find that the first term on the right hand side of (3.16) is bounded above as
for a positive constant \(c'\). Thus (3.16) and (3.17) lead to
Since \(\partial _{t}(|u|^{q-1}u)\) and \(\,\partial _{t}(|v|^{q-1}v) \) belong to \(L^{2}(\Omega _T)\), by the Lebesgue’s dominated convergence theorem, we can take the limit as \(\delta \searrow 0\) in (3.18) and then, as \(t_1 \searrow 0 \) to obtain
where we used that \(\phi _{\delta }(v-u) \rightarrow \chi _{\{v>u\}}\) as \(\delta \searrow 0\) and that, from (2.10), \(u \ge v\) is equivalent to \(|u|^{q-1} u \ge |v|^{q-1} v\) and, by the initial trace condition,
Thus Gronwall’s lemma yields that
and thus, \(|v|^{q-1}v(t) \le |u|^{q-1}u(t)\) in \(\Omega , 0 \le t \le T\), which is equivalent to that \(v(t) \le u(t)\) in \(\Omega \), \(0 \le t \le T\). Hence the proof is complete. \(\square \)
3.3 Caccioppoli Type Estimates
We present the Caccioppoli type estimates, which have a crucial role in De Giorgi’s method (see Sect. 4). From Proposition 3.4 we find that if \(u_0 \ge 0\) in \(\Omega \), a weak solution u of (3.1) is nonnegative in \(\Omega _T\). Thus we can consider (3.1) as
In what follows, we always assume that \(u_0 \ge 0\) in \(\Omega \) and address (3.1’) in place of (3.1).
Let K be a subset compactly contained in \(\Omega \), and \(0< t_1 < t_2 \le T\). Here we use the notation \(K_{t_1, t_2} = K \times (t_1, t_2)\). Let \(\zeta \) be a smooth function such that \(0 \le \zeta \le 1\) and \(\zeta = 0\) outside \(K_{t_1, t_2}\). By use of \(A^+(k,u)\) and \(A^{-}(k,u)\), the local energy inequality can be derived.
Lemma 3.7
Let \(k\ge 0\). Then following holds true:
- (i)
Let u be a nonnegative weak supersolution to (3.1’). Then there exists a positive constant C depending only on p, n such that
$$\begin{aligned}&\mathop {\mathrm{ess}\,\mathrm{sup}}\limits _{t_{1}<t<t_{2}}\int _{K \times \{t\}}A^{-}(k,u)\zeta ^{p}\,\mathrm{d}x+\int _{K_{t_1,t_2}}|\nabla (k-u)_{+}\zeta |^{p}\,\mathrm{d}z\nonumber \\&\quad \le C\int _{K \times \{t_{1}\}}A^{-}(k,u)\zeta ^{p}\,\mathrm{d}x+C\int _{K_{t_1,t_2}}(k-u)_{+}^{p}|\nabla \zeta |^{p}\,\mathrm{d}z \nonumber \\&\qquad +C\int _{K_{t_1,t_2}}A^{-}(k,u)\zeta ^{p-1}|\zeta _{t}|\,\mathrm{d}z. \end{aligned}$$(3.19) - (ii)
Let u be a nonnegative weak subsolution to (3.1’). Then there exists a positive constant C depending only on p, n such that
$$\begin{aligned}&\mathop {\mathrm{ess}\,\mathrm{sup}}\limits _{t_{1}<t<t_{2}}\int _{K \times \{t\}}A^{+}(k,u)\zeta ^{p}\,\mathrm{d}x+\int _{K_{t_1,t_2}}|\nabla (u-k)_{+}\zeta |^{p}\,\mathrm{d}z\nonumber \\&\quad \le C\int _{K \times \{t_{1}\}}A^{+}(k,u)\zeta ^{p}\,\mathrm{d}x+C\int _{K_{t_1,t_2}}(u-k)_{+}^{p}|\nabla \zeta |^{p}\,\mathrm{d}z \nonumber \\&\qquad +\,C\int _{K_{t_1,t_2}}A^{+}(k,u)\zeta ^{p-1}|\zeta _{t}|\,\mathrm{d}z+C\int _{K_{t_1,t_2}}cu^q(u-k)_+\zeta ^{p}\,\mathrm{d}z. \end{aligned}$$(3.20)
Proof
We give the proof only for the case (i), because the case (ii) is treated by a similar argument. We note by (D1) in Definition 3.1 and the nonnegativity of u in \(\Omega _T\) that \(\partial _t u^q \in L^2 (\Omega _T)\). Choose a test function \(\varphi \) as \(-(k-u)_+\zeta ^p\) in (D2) in Definition 3.1 to have
Using the formula (2.6), the first term on the left hand side of (3.21) is computed as
By use of Young’s inequality, the second term on the left hand side of (3.21) is estimated from below by
We gather (3.21), (3.22) and (3.23) to obtain, for any \(t \in (t_1,t_2)\),
Thus, we arrive at the conclusion. \(\square \)
The following so-called Caccioppoli type estimate follows from Lemma 3.7.
Proposition 3.8
(Caccioppoli type estimate) Let \(k\ge 0\). Let u be a nonnegative weak supersolution of (3.1). Then, there exists a positive constant C depending only on p, n such that
Proof
We first estimate \(\displaystyle A^-(k,u)=q\int _u^k(k-\eta )_+\eta ^{q-1}\,\mathrm{d}\eta \) defined in (2.4). The lower boundedness is obtained as follows:
Case 1 (\(u \ge k/2\)): Since \(\frac{k}{2} \le u \le \eta \le k\) i.e., \(\eta \ge k-\eta \ge 0\), it holds that
Case 2 (\(u \le k/2\)): Since \(\frac{k}{2} \le \eta \le k\), i.e., \(0\le k-\eta \le \eta \), it holds that
where, in the last line, we use \(k >k-u \ge 0\) since \(0 \le u \le k/2\). Also, the upper boundedness follows from
Gathering Lemma 3.7, (3.26), (3.27) and (3.28), we arrive at the conclusion. \(\square \)
4 Expansion of Positivity
In this section, we will establish the expansion of positivity of a nonnegative solution to the doubly nonlinear equations of p-Sobolev flow type (3.1’). We make local estimates to show the expansion on space-time of positivity of a nonnegative weak (super)solution of (3.1’).
4.1 Expansion of Interior Positivity I
In this subsection we will study expansion of local positivity of a weak solution of (3.1’). Following the argument in [7] (see also [6, 15, 26]), we proceed our local estimates.
Proposition 4.1
Let u be a nonnegative weak supersolution of (3.1’). Let \(B_\rho (x_0) \subset \Omega \) with center \(x_0 \in \Omega \) and radius \(\rho > 0\), and \(t_0 \in (0, T]\). Suppose that
holds for some \(L>0\) and \(\alpha \in (0,1]\). Then there exists positive numbers \(\delta ,\,\varepsilon \in (0,1)\) depending only on p, n and \(\alpha \) and independent of L such that
for all \(t \in [t_0,\,t_0+\delta L^{q+1-p}\rho ^p ]\). Here, if \(t_0\) is very close to T, then \(\delta \) is chosen so small that \(\delta L^{q + 1 - p} \rho ^p = T - t_0\).
Proof
By a parallel translation invariance of the equation (3.1’) we may assume \((x_{0},t_{0})=(0,0)\). For \(k>0\) and \(t>0\), let
Take a cutoff function \(\zeta =\zeta (x)\) satisfying
where \(\sigma \) is to be determined later. Applying the Caccioppoli type inequality (3.25) over \(Q^+(\theta \rho ^p,\rho ):=B_\rho \times (0,\theta \rho ^p)\) to the truncated function \((L-u)_{+}\) and above \(\zeta \), we obtain, for any \(t \in (0, \theta \rho ^p)\),
where we use the assumption (4.1) for u(0), and thus, for any \(t \in (0, \theta \rho ^p)\),
We will estimate the left hand side of (4.4). Firstly, we obtain that
Since \(A_{\varepsilon L,\rho }(t) \,\backslash \,A_{\varepsilon L,(1-\sigma )\rho }(t) \subset B_\rho \,\backslash \,B_{(1-\sigma )\rho }\) and
we have
and thus, (4.4) and (4.7) yield that, for any \(t \in (0, \theta \rho ^p)\),
Here we choose the parameters as
and \(\varepsilon \) with
Then we find from (4.8)–(4.10) that, for any \(t \in [0, \theta \rho ^p]\),
that is, (4.2) is actually verified under (4.9), and thus the proof is complete. \(\square \)
Lemma 4.2
Let u be a nonnegative weak supersolution of (3.1’). Let \(Q_{4\rho }(z_{0}):=B_{4\rho }(x_{0}) \times (t_{0}, t_{0}+\delta L^{q+1-p}\rho ^p) \subset \Omega _{T}\), where \(\delta \) is selected in Proposition 4.1. Then for any \(\nu \in (0,1)\) there exists a positive number \(\varepsilon _\nu \) depending only on \(p,n,\alpha ,\delta ,\nu \) such that
Proof
We may assume \(z_0=0\) as before. By Proposition 4.1, there exist positive numbers \(\delta ,\,\varepsilon \in (0,1)\) such that
for all \(t \in [0,\,\delta L^{q+1-p}\rho ^p]\).
Set \(\theta =\delta L^{q+1-p}\) and let \(\zeta =\zeta (x)\) be a piecewise smooth cutoff function satisfying
From (4.13) and the Caccioppoli type inequality (3.25), applied for the truncated solution \((k_j - u)_+\) over \(Q_{4 \rho }\) with the level \(k_j=\frac{1}{2^j}\varepsilon L\,\,(j=0,1,\ldots )\), we obtain
Here we note that the constant C depends only on n, p and, in particular, is independent of \(\rho , L\). On the other hand, applying De Giorgi’s inequality (2.3) in Proposition 2.1 to \(k=k_{j+1}\) and \(l=k_j\), we have, for all t, \(0\le t \le \delta L^{q+1-p}\rho ^{p}=\theta \rho ^{p}\),
Let \(A_{j}(t):=B_{4\rho } \cap \{u(t)<k_{j}\}\) and then, by (4.12), it holds that
Combine (4.16) with (4.15) to have that
Integrating above inequality (4.17) in \(t \in (0,\theta \rho ^{p})\) yields
where we put \(\displaystyle |A_{j}|:=\int _{0}^{\theta \rho ^{p}}|A_{j}(t)|\,\mathrm{d}t=\big |Q_{4\rho }\cap \{u(t) <k_{j}\}\big |\). By use of Hölder’s inequality, (4.14) and (4.18), we have
and thus,
Let \(J \in \mathbb {N}\) be determined later. Summing (4.20) over \(j=0,1,\ldots , J-1\), we obtain
Indeed, by use of \(|A_{0}| \ge |A_{j}| \ge |A_{J}|\) for \(j \in \{0,1,\ldots , J\}\), we find that
Therefore, from (4.21), it follows that
Thus, for any \(\nu \in (0,1)\), we choose sufficiently large \(J \in \mathbb {N}\) satisfying
Here we note that J depends only on \(p, n, \alpha , \delta \) and \(\nu \). We finally take \(\displaystyle \varepsilon _\nu =\frac{\varepsilon }{2^J}\) and then (4.22) yields that
which is the very assertion. \(\square \)
Remark 4.3
Look at the choice of \(\delta \) in (4.9) and \(\varepsilon \) in (4.10) in the proof of Proposition 4.1, from which we can choose \(\varepsilon \) such that
for some large positive integer I. In the proof of Lemma 4.2 and the choice of \(k_j\), we also choose \(k_j\) as follows:
Under such choice as above we note that \(\displaystyle k_J=\left( \tfrac{\delta }{2^{I+J}}\right) ^{\frac{1}{q+1-p}}L\) and obtain that
which is a positive integer.
Following a similar argument to [7, p. 76], we next divide \(Q_{4\rho }(z_{0})\) into finitely many subcylinders. For any \(\nu \in (0,1)\), let J be determined in (4.23). We divide \(Q_{4\rho }(z_{0})\) along time direction into parabolic cylinders of number \(s_{0}:=2^{I+J}\) with each time-length \(k_{J}^{q+1-p}\rho ^{p}\), and set
for \(\ell =0,1,\ldots ,s_{0}-1\).
Then there exists a \(Q^{(\ell )}\) which holds that
The following theorem enables us to have the positivity of a solution of (3.1’) in a small interval.
Theorem 4.4
(Expansion of local positivity) Let u be a nonnegative weak supersolution of (3.1’). Let \(Q_{4 \rho } (z_0) = B_{4 \rho } (x_0) \times (t_0, t_0 + \delta L^{q + 1 - p} \rho ^p) \subset \Omega _T\), where \(\delta \) is chosen in Proposition 4.1. Suppose that (4.1). Under (4.26) there exists a positive number \(\eta <1\) such that
Proof
Hereafter we fix the parameters \(\rho ,\ell \) and \(k_J\). By translation we may assume to shift \((x_0, t_0 + (\ell +1) k_J^{q+1-p} \rho ^p)\) to the origin and thus, \(Q^{(l)}\) is transformed to \(B_{4 \rho } (x_0) \times (- k_J^{q +1-p}\rho ^p, 0)\). For \(m=0,1,2,\ldots \), let
where \(\theta :=k_{J}^{q+1-p}\), and also set
It plainly holds true that
The cutoff function \(\zeta \) is taken of the form \(\zeta (x,t)=\zeta _{1}(x)\zeta _{2}(t)\), where \(\zeta _i \,(i =1,2)\) are Lipschitz functions satisfying
and
Thus, applying the local energy inequality (3.25) over \(B_{m}\) and \(Q_{m}\) to the truncated solution \((\kappa _{m}-u)_{+}\) and above \(\zeta \), we obtain
where we used that \(\displaystyle \frac{\kappa _{m}^{q+1-p}}{\theta }=\left( \frac{\kappa _{m}}{k_{J}} \right) ^{q+1-p}\le 1\). Combining Proposition 2.2 with (4.28), we have
where we note that \(q+1=\frac{p(n+q+1)}{n}\) in the second line.
The left hand side of (4.29) is estimated from below as
Hence, by (4.29) and (4.30), we have
where we compute
Dividing the both side of (4.31) by \(|Q_{m+1}|>0\), we have
where
and \(p(1+\frac{p}{n})-(q+1)+(q+1-p)\frac{p}{n}=0\) are used. Letting , the above inequality (4.32) is rewritten as
where \(b:=2^{p(1+\frac{p}{n})+q+1}\). From Lemma 2.3, we find that if the initial value \(Y_{0}\) satisfies
then
Eq.(4.26) is equivalent to (4.33) by taking \(\nu =\nu _0\), and then (4.34) leads to the conclusion (4.27) by putting \(\eta =\frac{k_{J}}{2L}<1\). \(\square \)
Remark 4.5
Theorem 4.4 asserts that the positivity propagates after the lapse of some time. If a solution is positive at some time \(t_0\), its positivity expands in space-time without ”waiting time”, which is in the next corollary.
Corollary 4.6
Let u be a nonnegative weak supersolution of (3.1’). Assume that \(u(t_0)>0\) in \(B_{4 \rho } (x_0) \subset \Omega \). Then there exist positive numbers \(\eta _0\) and \(\tau _0\) such that
Proof
Suppose that \((x_0, t_0)\) be the origin, as before. Let \(L:=\inf _{B_{4 \rho }}u(0)>0\). Since \(|B_{\rho } \cap \{u(0) \ge L\} |=|B_{\rho }|\), by Proposition 4.1, there exist positive numbers \(\delta , \varepsilon \) depending only on n, p and independent of L such that
for all \(t \in [0,\delta L^{q+1-p}\rho ^p]\). Let \(Q^\theta _{4\rho }(z_0)=B_{4\rho }(x_0) \times (0,\theta \rho ^p) \in \Omega _T\), where \(0<\theta \le \delta L^{q+1-p}\). By Lemma 4.2 with some minor change, for any \(\nu \in (0,1)\) there exists a positive number \(\varepsilon _\nu \) depending only on \(p,n,\delta \) and \(\nu \) such that
Here we notice that in the proof of Proposition 4.1 and Lemma 4.2, we do not need to use the cutoff on time. In the following we modify the proof of Theorem 4.4 to that without any cutoff on time.
By translation, we may assume \(x_0=0\) as before. For \(m=0,1,\ldots ,\) we put
and also set
where \(k_{J}=\frac{\varepsilon L}{2^J}\) and J is to be determined in (4.23).
Clearly it holds true that
A cutoff function \(\zeta \) is chosen of the form \(\zeta (x,t)=\zeta _1(x)\), where
From the Caccioppoli type inequality (3.25), applied for the truncated solution \((\kappa _m-u)_+ \) in \(Q_m\) again, we obtain that
where, in the second line, we used \((\kappa _{m}-u(0))_{+}=0\) in \(B_{m}\). By the very same argument as in the proof of Theorem 4.4, we have that
Letting , the above inequality (4.38) is rewritten as:
where \(b:=2^{p(1+\frac{p}{n})+q+1}>1\). By Lemma 2.3 on fast geometric convergence if
then
Eq. (4.39) is equivalent to (4.36) by taking \(\nu =\nu _0\), and then (4.40) yields that
where \(\eta =\frac{1}{2}\frac{\varepsilon }{2^{J}}\) and \(\theta \le \delta L^{q + 1 - p}\). Thus, letting \(\eta _{0}:=\eta L\) and \(\tau _{0}:= \theta \rho ^{p}\), we reach the conclusion. \(\square \)
4.2 Expansion of Interior Positivity II
We continue to study the expansion of positivity of a nonnegative solution. Let \(\Omega ^\prime \) be a subdomain contained compactly in \(\Omega \). Using Theorem 4.4 and a method of chain of finitely many balls as used in Harnack’s inequality for harmonic functions, which is so-called Harnack chain (see [8, Theorem 11, pp. 32–33] and [4, 17] in the p-parabolic setting), we have the following theorem. Here we use the special choice of parameters, as explained before Theorem 4.4.
Theorem 4.7
Let u be a nonnegative weak supersolution of (3.1’). Let \(\Omega ^\prime \) be a subdomain contained compactly in \(\Omega \). Let \(0 < \rho \le \text {dist} (\Omega ^\prime , \partial \Omega ) / 4,\) and \(t_0 \in (0, T]\). Suppose that
holds for some \(L>0\) and \(\alpha \in (0,1]\). Then there exist positive integer \(N=N(\Omega ^\prime )\), positive real number families \(\{\delta _m\}_{m=0}^{N},\,\{\eta _{m}\}_{m=1}^{N+1}\subset (0,1),\,\{J_m\}_{m=0}^{N},\,\{I_m\}_{m=0}^{N}\subset \mathbb {N}\) depending on \(p, n, \alpha \) and independent of L, and a time \(t_N>t_0\) such that
almost everywhere in
for some \(k \in \left\{ 0,1,\ldots , 2^{J_N+I_N}-1\right\} \), where \(t_{N}\) is written as
for some \(\ell \in \{0,1,\ldots ,2^{J_{m-1}+I_{m-1}-1}\}\).
Proof
We will prove the assertion in five steps.
\(\underline{\text {Step 1}}\): Since \(\overline{\Omega ^\prime }\) is compact, it is covered by finitely many balls \(\{B_{\rho }(x_j)\}_{j=1}^N\,\,(x_j \in \Omega ^\prime ,\,j=1,2,\ldots ,N)\), where \(N=N(\Omega ^\prime )\), such that
where we put \(x_{N+1}=x_1\). For brevity we denote \(B_{\rho }(x_j)\) by \(B_j\) for each \(j=1,2,\ldots , N\) and let \(\sigma B_{j}:=B_{\sigma \rho }(x_{j})\) for \(\sigma =2\) and 4.
By (4.41), there exists at least one \(B_j=B_\rho (x_j)\), denoted by \(x_1=x_j\) and \(B_1=B_j\), such that
Thus, by Proposition 4.1, there exist positive numbers \(\delta _0, \varepsilon _0 \in (0,1)\) depending only on p, n and \(\alpha _{0}=\alpha \) and independent of L such that
for all \(t \in [t_0,\,t_0+\delta _0L^{q+1-p}\rho ^p]\). Let \(Q_{4\rho }(z_1):=4B_1 \times (t_0,\,t_0+\delta _0L^{q+1-p}\rho ^p) \subset \Omega ^\prime _T\). By Lemma 4.2, for any \(\nu _0 \in (0,1)\), there exists a positive number \(\varepsilon _{\nu _0}\) depending only on \(p,\,n,\,\alpha _{0},\,\delta ,\nu _0,\,\varepsilon _0\) such that
Here \(\varepsilon _{\nu _0}:=\varepsilon _0/2^{J_0}\), where \(J_0\) is determined in (4.23) replaced \(\nu \) by \(\nu _0\). In particular, as noted in (4.24), we choose \(\varepsilon _0\) as \(\varepsilon _0=\left( \frac{\delta _0}{2^{I_0}} \right) ^\frac{1}{q+1-p}\), where \(I_0\) is sufficiently large positive integer. Following the same argument as before, we next divide \(Q_{4\rho }(z_1)\) along time direction into finitely many subcylinders of number \(s_0:=2^{J_0+I_0}\), with each time-length
via (4.25) and put
for \(\ell =0,1,\ldots , s_0-1\). Thus, by (4.42), there exists a \(Q^{(\ell )}(z_1)\) such that
Therefore it follows from Theorem 4.4 that
where \(\displaystyle \eta _1:=\frac{1}{2L} k_{J_0}\).
\(\underline{\text {Step 2}}\): By \(\rho<|x_1-x_2|<2\rho \),
holds.
Via (4.43), we have
where let \(\mathcal {I}^{(\ell )}_0:=\left( t_0+\left( \ell +\frac{1}{2}\right) \frac{\delta _0L^{q+1-p}}{2^{J_0+I_0}}\rho ^p,\,t_0+(\ell +1)\frac{\delta _0L^{q+1-p}}{2^{J_0+I_0}}\rho ^p \right) \). Let \(t_1\) be a middle point in \(\mathcal {I}^{(\ell )}_0\) and, by (4.44), we observe that
which is, setting \(\displaystyle \alpha _1:=\frac{|D_1|}{|B_2|} \in (0,1)\),
By the very same argument as Step 1, there exist positive numbers \(\delta _1\in (0,1)\), \(I_{1}, J_{1} \in \mathbb {N}\) depending only on \(p,\,n\) and \(\alpha _1\) and independent of L, and \(\nu _1 \in (0,1)\) such that
for some
where \(\displaystyle \eta _2:=\frac{1}{2L}k_{J_{1}}\) and \(J_1\) is chosen that
\(\underline{\text {Step 3}}\): We will proceed by induction on m. Assume that for some \(m \in \{1,2.\ldots ,N\}\)
Here we let
where \(\delta _{m-1},\,\eta _{m-1} \in (0,1)\) and \(J_{m-1}, I_{m-1} \in \mathbb {N}\) are determined inductively, and \(\ell \in \left\{ 0,1,\ldots , 2^{I_{m-1}+J_{m-1}}-1\right\} \). By \(\rho<|x_m-x_{m+1}|<2\rho \) again,
and thus, (4.46) yields that
Letting \(t_m\) be a middle point of \(\mathcal {I}^{(\ell )}_{m-1}\) again and, by (4.47), we obtain that
where we let \(\displaystyle \alpha _m:=\frac{|D_m|}{|B_{m+1}|} \in (0,1)\). Again, using the very same argument as in Step 1 and 2, there exist positive numbers \(\delta _m,\,\eta _m \in (0,1)\), \(J_{m},\,I_{m} \in \mathbb {N}\) depending only on \(p,\,n\) and \(\alpha _m\) and independent of L and some \(\nu _m \in (0,1)\) such that
where
for some
where
and \(J_m\) is chosen that
\(\underline{\text {Step 4}}\): We next claim the following:
For any \(k \in \left\{ 0,1,\ldots ,2^{I_{m}+J_{m}}-1\right\} \) and \(\ell \in \left\{ 0,1,\ldots , 2^{I_{m-1}+J_{m-1}}-1\right\} \),
Since this (4.50) is equivalent to
we will verify (4.51). Using \(\eta _{m}=\frac{1}{2L}k_{J_{m-1}}=\left( \frac{\delta _{m-1}}{2^{I_{m-1}+J_{m-1}}} \right) ^{\frac{1}{q+1-p}}\eta _{m-1}\) via (4.49) and
we find that \(a-b\) is estimated as follows:
since \(\delta _m=\frac{\alpha _m^{p+1}}{2^{3p+3}Cn^p}<\frac{1}{4}\) by (4.9). Thus, (4.50) is actually valid.
\(\underline{\text {Step 5}}\): By Step 3, we have, for all \(m=1,2,\ldots ,N\),
where we put \(B_{N+1}:=B_1\). Since \(\{\eta _m\}_{m=1}^{N+1}\) is decreasing this inequality plainly yields that, for all \(m=1,2,\ldots ,N\),
By (4.50) in Step 4, we furthermore find that
where \(\ell \in \left\{ 0,1,\ldots , 2^{J_0+I_0}-1\right\} \) and \(k \in \left\{ 0,1,\ldots , 2^{J_N+I_N}-1\right\} \). From (4.52) and (4.53) it follows that
and thus, we arrive at the conclusion. \(\square \)
As mentioned in Corollary 4.6, if a solution of (3.1’) is positive in \(\Omega \) at some time \(t_0\), its positivity expands in space-time without ”waiting time”.
Corollary 4.8
Let u be a nonnegative weak supersolution of (3.1’). Let \(\Omega ^\prime \) be a subdomain contained compactly in \(\Omega \). Suppose that \(u(t_0)>0\) in \( \Omega \) for some \(t_0 \in [0,T)\). Then there exist positive numbers \(\eta _0\) and \(\tau _0\) such that
Proof
Since \(\overline{\Omega ^\prime }\) is compact, it is covered by finitely many balls \(\{B_{\rho }(x_j)\}_{j=1}^N\,\,(x_j \in \Omega ^\prime ,\,j=1,2,\ldots ,N)\), where \(N=N(\Omega ^\prime )\) is a positive integer such that
where we put \(x_{N+1}=x_1\). For brevity we denote \(B_{\rho }(x_j)\) by \(B_j\) for each \(j=1,2,\ldots , N\) and let \(2B_{j}:=B_{2\rho }(x_{j})\). By assumption, \(u>0\) in each ball \(2B_{j}\), \(j=1,\ldots , N\). Corollary 4.6 yields that there exist positive numbers \(\eta _{1}\) and \(\tau _{1}\) such that
Similarly as above, it follows that there exist positive numbers \(\tau _2<\tau _1,\,\eta _2 <\eta _1\) such that
Iterative this argument finitely, there exist \(\eta _1>\eta _2>\cdots >\eta _{N}\) and \(\tau _1>\tau _2>\cdots >\tau _{N}\) such that
for all \(j=1,\ldots , N\). Thus, letting \(\eta _0:=\eta _N\) and \(\tau _0:=\tau _N\), we complete the proof. \(\square \)
4.3 Positivity Near the Boundary
We next study the positivity of the solution to the doubly nonlinear equations of p-Sobolev flow type (3.1’) near the boundary. In what follows, assume that the bounded domain \(\Omega \) satisfies the interior ball condition, that is, for every boundary point \(\xi \in \partial \Omega \), there exist a point \(x_0 \in \Omega \) and some \(\rho >0\) such that
where \(\overline{B_\rho (x_0)}\) denotes the closure of \(B_\rho (x_0)\).
Proposition 4.9
(Positivity of the solution near the boundary) Assume \(u_0>0\) in \(\Omega \). Then every nonnegative weak supersolution u to (3.1’) is positive near the boundary.
Proof
We will follow the similar idea as [23]. Since, \(\Omega \) satisfies the interior ball condition, we have, for every boundary point \(\xi \in \partial \Omega \),
Take \(\rho ' \in (0,\rho )\) and define the annulus
We define a function v for \((x, t) \in A \times [0, T]\) as
where \(r:=|x-x_0|<\rho \) and \(\alpha >0\) is to be determined later. Since
we have
and thus, we can choose a sufficiently large \(\alpha \) so that
where \(\alpha \) is chosen depending on \(\rho \) and \(\rho ^\prime \). Therefore, by \(\partial _t v^q=0\)
Now, let \(m:=\min \{\min \nolimits _\Omega u_0,\,\min \nolimits _{\partial B_{\rho ^\prime } (x_0) \times [0, T]} u \}\). We will show that mv(x, t) is a lower comparison function for the solution. We note that the solution u is uniformly (Hölder) continuous in \(\Omega _T =\Omega \times (0,T)\) (see Sect. 5.2 below), again, we can choose \(\alpha > 0\) to be so large that, on the initial boundary \(A \times \{t=0\}\),
Also,
since, on \(\partial B_\rho (x_0) \times [0,T]\), \(v=0\) by definition and \(u\ge 0\) by Corollary 4.6. On \(\partial B_{\rho ^\prime } (x_0) \times [0,T]\), by the very definition of m,
From (4.56), (4.57) and (4.58), we find that
where \(A_T:=A\times (0,T)\) and \(\partial _p A_T\) is the parabolic boundary of \(A_T\) and thus, we have that mv(x, t) is lower comparison function for u in \(A_T=A \times (0,T)\). By Theorem 3.6, we arrive at
Thus the assertion is actually verified. \(\square \)
5 The p-Sobolev Flow
5.1 Positivity of the p-Sobolev Flow
In what follows, we consider the p-Sobolev flow (1.1). We first notice the nonnegativity of a solution of the p-Sobolev flow.
Proposition 5.1
(Nonnegativity of the p-Sobolev flow) Suppose \(u_{0} \ge 0\) in \(\Omega \). Then, a weak solution u of (1.1) satisfies
Proof
Let \(0< t_1 < t \le T\) be arbitrarily taken and fixed. Let \(\sigma _{t_{1},t}\) be the same Lipschitz cut-off function on time as in the proof of Proposition 3.4. The function \(-(- u)_+ \sigma _{t_1, t}\) is an admissible test function in (D2) of Definition 3.2, since \(\partial _t (|u|^{q - 1} u) \in L^2 (\Omega _T)\) by (D1) of Defintion 3.2 and, \(-(- u)_+ \sigma _{t_1, t}\) is in \(L^{q+1} (\Omega \times (t_1, t))\). Thus, we have
Applying the very same argument as in the proof of Proposition 3.4 to (5.2), we obtain that
From the Gronwall lemma it follows that
since (D4) in Definition 3.2, \((-u(t))_+ \rightarrow 0\) in \(L^{q+1} (\Omega )\) as \(t \searrow 0\). Therefore we have \(-u(x,t) \le 0\) for \((x,t) \in \Omega _{T}\) and the claim is actually verified. \(\square \)
We now state the fundamental energy estimate.
Proposition 5.2
(Energy equality) Let u be a nonnegative weak solution to (1.1). Then the following identities are valid:
- (i)$$\begin{aligned} \lambda (t)=\int _{\Omega }|\nabla u(x,t)|^{p}\,\mathrm{d}x,\quad t \in [0,T] ; \end{aligned}$$
- (ii)$$\begin{aligned} q\int _{\Omega _{0,t}}u^{q-1}(\partial _t u)^2\,\mathrm{d}z+\frac{1}{p}\lambda (t)=\frac{1}{p}\lambda (0),\quad t \in [0,T]. \end{aligned}$$
In particular,
$$\begin{aligned} \lambda (t) \le \lambda (0),\quad t \in [0,T]. \end{aligned}$$(5.3)
The proof of this proposition is postponed, and will be given in Appendix B.
Proposition 5.3
(Boundedness of the p-Sobolev flow) Let \(u \ge 0\) be a weak solution of the p-Sobolev flow equation (1.1). Then u is bounded from above in \(\Omega _T\) and
Proof
By (5.3) we have that \(\lambda (t) \le \lambda (0)\). Therefore, u is a weak subsolution of (3.1) with \(M=\Vert u_{0}\Vert _{L^{\infty }(\Omega )}\) and \(c = \lambda (0)\). The result then follows by Proposition 3.5. \(\square \)
In general, the solution to (3.1’) may vanish at a finite time, however, under the volume constraint as in (1.1), the solution may positively expand in all of times (see Corollary 4.8). This is actually the assertion of the following proposition.
Proposition 5.4
(Interior positivity by the volume constraint) Let \(\Omega '\) be a subdomain compactly contained in \(\Omega \) and very close to \(\Omega \). Let T be any positive number and assume that \(u_0>0\) in \(\Omega \). Let u be a nonnegative weak solution of (1.1). Then there exists a positive constant \(\bar{\eta }\) such that
Proof of Proposition 5.4
By the volume constraint together with Proposition 5.3, letting \(M:=e^{\lambda (0)T/q}\Vert u_0\Vert _{L^\infty (\Omega )}\), we have, for a positive number \(L<M\) and any \(t \in [0,\infty )\)
i.e.,
Choose \(\Omega ^{\prime }\) such that \(|\Omega \,\backslash \Omega '| \le \frac{1}{4M^{q+1}}\) and \(L>0\) satisfying \(L^{q+1}|\Omega '|\le \frac{1}{4}\). Under such choice of \(\Omega ^\prime \) and L, we find that, for any \(t \in (0,\infty )\),
where \(\displaystyle \alpha :=\frac{1}{2 M^{q+1}|\Omega '|}\). Using (5.3), for a nonnegative weak solution u of (1.1), we see that u is a weak supersolution to (3.1’) with \(c=\lambda (T)\). Thus, from Proposition 4.7, there exist positive integer \(N=N(\Omega ^\prime )\) and positive number families \(\{\delta _m\}_{m=0}^N,\,\{\eta _m\}_{m=1}^{N+1}\subset (0,1)\), \(\{J_m\}_{m=0}^N,\,\{I_m\}_{m=0}^N \subset \mathbb {N}\) depending on \(p, n, \alpha \) and independent of L, a time \(t_N>t\) such that, for any \(t \in [0, \infty )\),
where
for some \(k \in \left\{ 0,1,\ldots , 2^{J_N+I_N}-1\right\} , 0 < \rho \le \text {dist} (\Omega ^\prime , \partial \Omega ) / 4 \) and \(t_{N}\) is written as
for some \(\ell \in \{0,1,\ldots ,2^{J_{m-1}+I_{m-1}}-1\}\). On the other hand, from \(u_0>0\) in \(\Omega \) and Corollary 4.8, there exist positive numbers \(\eta \) and \(\tau \) such that
Here we can choose that \(\mathcal {I}^{(k)}_N(0) \subset (0,\tau )\) from the proof of Proposition 4.7 and Corollary 4.8. Since \( t \in [0, \infty )\) is arbitrarily taken, letting \(\bar{\eta }:=\min \{\eta ,\eta _{N+1}L\}\), we have that
which is our assertion of Proposition 5.4. \(\square \)
Proposition 5.5
(Positivity around the boundary for p-Sobolev flow) Suppose that \(u_0>0\) in \(\Omega \). Let u be any nonnegative weak solution to (1.1). Then u is positive near the boundary.
Proof
Since a nonegative weak solution of (1.1) is a nonnegative weak supersolution of (3.1’) in \(\Omega _\infty \) with \(c =0,\) we can apply the proof of Proposition 4.9. Thus the proof is complete. \(\square \)
5.2 Hölder and Gradient Hölder Continuity
In this section, we will prove the Hölder and gradient Hölder continuity of the solution to p-Sobolev flow (1.1) with respect to space-time variable.
Suppose \(u_0 >0\) in \(\Omega \). Then by Propositions 5.4 and 5.3, for any \(\Omega ^\prime \) compactly contained in \(\Omega \) and \(T \in (0,\infty )\), we can choose a positive constant \({\tilde{c}}\) such that
Under such positivity of a solution in the domain as in (5.5), we can rewrite the first equation of (1.1) as follows : Set \(v:=u^q\), which is equivalent to \(u=v^\frac{1}{q}\) and put \(g:=\frac{1}{q} v^{1/q-1}\) and then, we find that the first equation of (1.1) is equivalent to
and thus, v is a positive and bounded weak solution of the evolutionary p-Laplacian equation (5.6). By (5.5) g is uniformly elliptic and bounded in \(\Omega ^\prime _T\). Then we have a local energy inequality for a local weak solution v to (5.6) in Appendix C.1 (see [6]).
The following Hölder continuity is proved via using the local energy inequality, Lemma C.1 in Appendix C.1 and standard iterative real analysis methods. See [6, Chap. III] or [26, Sect. 4.4, pp. 44–47] for more details.
Theorem 5.6
(Hölder continuity) Let v be a positive and bounded weak solution to (5.6). Then v is Hölder continuous in \(\Omega ^\prime _T\) with a Hölder exponent \(\beta \in (0, 1)\) on a parabolic metric \(|x|+|t|^{1/p}\).
By a positivity and boundedness as in (5.5) and a Hölder continuity in Theorem 5.6, we see that the coefficient \(g^{p-1}\) is Hölder continuous and thus, obtain a Hölder continuity of its spacial gradient.
Theorem 5.7
(Gradient interior Hölder continuity) Let v be a positive and bounded weak solution to (5.6). Then, there exist a positive exponent \(\alpha <1\) depending only on \(n,p,\beta \) and a positive constant C depending only on \(n, p, \tilde{c}, M, \lambda (0), \beta , \Vert \nabla v\Vert _{L^p(\Omega '_T)}, [g]_{\beta , \Omega '_T}\) and \([v]_{\beta , \Omega '_T}\) such that \(\nabla v\) is Hölder continuous in \(\Omega '_T\) with an exponent \(\alpha \) on the usual parabolic distance. Furthermore, its Hölder constant is bounded above by C, where \([f]_\beta \) denotes the Hölder semi-norm of a Hölder continuous function f with a Hölder exponent \(\beta \).
The outline of proof of Theorem 5.7 is presented in Appendix C.
By an elementary algebraic estimate and an interior positivity, boundedness and a Hölder regularity of v and its gradient \(\nabla v\) in Theorems 5.6 and 5.7, we also have a Hölder regularity of the solution u and its gradient \(\nabla u\).
Theorem 5.8
(Hölder and Gradient Hölder continuity of solutions to the p-Sobolev flow) Let u be a positive and bounded weak solution to the p-Sobolev flow (1.1). Then, there exist a positive exponent \(\gamma <1\) depending only on \(n,p,\beta , \alpha \) and a positive constant C depending only on \(n, p, \tilde{c}, M, \lambda (0), \beta , \alpha ,\Vert \nabla u\Vert _{L^p(\Omega '_T)}, [g]_{\beta , \Omega '_T}\) and \([v]_{\beta , \Omega '_T}\) such that u and \(\nabla u\) is Hölder continuous in \(\Omega '_T\) with an exponent \(\gamma \) on a parabolic metric \(|x|+|t|^{1/p}\) and on the parabolic one, respectively. The Hölder constants are bounded above by C, where \([f]_\beta \) denotes the Hölder semi-norm of a Hölder continuous function f with a Hölder exponent \(\beta \).
References
Alt, H.W., Luckhaus, S.: Quasilinear elliptic-parabolic differential equations. Math. Z. 183, 311–341 (1983)
Aubin, T.: Equations différentielles non linéaires et problème de Yamabe concernant la courbure scalaine. J. Math. Pures Appl. 55, 269–296 (1976)
Aubin, T.: Some Nonlinear Problems in Riemannian Geometry. Springer Monographs in Mathematics. Springer, Berlin (1997)
Avelin, B., Kuusi, T., Nyström, K.: Boundary behavior of solutions to the parabolic p-Laplace equation. Anal. PDE 12(1), 1–42 (2019)
Barrett, J.W., Liu, W.B.: Finite element of approximation of the parabolic \(p\)-Laplacian. SlAM J. Numer. Anal 34(2), 413–428 (1994)
DiBenedetto, E.: Degenerate Parabolic Equations. Universitext. Springer, New York (1993)
DiBenedetto, E., Gianazza, U., Vespri, V.: Harnack’s Inequality for Degenerate and Singular Parabolic Equations. Springer Monographs in Mathematics. Springer, New York (2012)
Evans, L.C.: Partial Differential Equations. American Mathematical Society, Providence (1998)
Gianazza, U., Vespri, V.: Parabolic De Giorgi classes of order \(p\) and the Harnack inequality. Calc. Var. Partial Differ. Equ. 26(3), 379–399 (2006)
Hamilton, R.S.: Lectures on Geometric Flows (1989) (unpublished)
Ivanov, A.V.: Hölder estimates for a natural class of equations of fast diffusion type Hölder estimates for equations of fast diffusion type. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 229(11), 29–322 (1995). Translation in J. Math. Sci. (New York) 89(6), 1607–1630 (1998)
Ivanov, A.V.: Uniform Hölder estimates for generalized solutions of quasilinear parabolic equations that admit double degeneration, Algebra Anal. 3(2), 139–179, 1991. Translation in St. Petersburg Math. J. 3(2), 363–403 (1992)
Karim, C., Misawa, M.: Gradient Hölder regularity for nonlinear parabolic systems of p-Laplacian type. Differ. Integr. Equ. 29(3–4), 201–228 (2016)
Kinnunen, J., Kuusi, T.: Local behavior of solutions to doubly nonlinear parabolic equations. Math. Ann. 337(3), 705–728 (2007)
Kuusi, T.: Harnack estimates for weak supersolutions to nonlinear degenerate parabolic equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. (V) 7, 673–716 (2008)
Kuusi, T., Siljander, J., Urbano, J.M.: Local Hölder continuity for doubly nonlinear parabolic equations. Indiana Univ. Math. J. 61(1), 399–430 (2012)
Kuusi, T., Mingione, G., Nyström, K.: A boundary Harnack inequality for singular equations of p-parabolic type. Proc. Am. Math. Soc. 142(8), 2705–2719 (2014)
Misawa, M.: Local Hölder regularity of gradients for evolutional \(p\)-Laplacian systems. Ann. Mat. Pura Appl. 181, 389–405 (2002)
Nakamura, K., Misawa, M.: Existence of a weak solution to the \(p\)-Sobolev flow. Non. Anal. TMA 175C, 157–172 (2018)
Porzio, M.M., Vespri, V.: Hölder estimates for local solutions of some doubly nonlinear degenerate parabolic equations. J. Differ. Equ. 103(1), 146–178 (1993)
Schwetlick, H., Struwe, M.: Convergence of the Yamabe flow for large energies. J. Reine Angew. Math. 562, 59–100 (2003)
Sciunzi, B.: Classification of positive \(\cal{D}^{1, p}(\mathbb{R}^N)\)-solution to the critical \(p\)-Laplace equation. Adv. Math. 291, 12–23 (2016)
Suzuki, T., Ueoka, Y.: Lecture on Partial Differential Equations—A Course in Semi-linear Elliptic Equations. Baifûkan, Tokyo (2005) (Japanese)
Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110(4), 353–372 (1976)
Trudinger, N.S.: Pointwise estimates and quasilinear parabolic equations. Commun. Pure Appl. Math. 21, 205–226 (1968)
Urbano, J.M.: The Method of Intrinsic Scaling. Lecture Notes in Mathematics, vol. 1930. Springer, Berlin (2008)
Vazquez, J.L.: Smoothing and Decay Estimates for Nonlinear Diffusion Equations. Equations of Porous Medium Type. Oxford Lecture Series in Mathematics and Its Applications, vol. 33. Oxford University Press, Oxford (2006)
Vazquez, J.L.: The Porous Medium Equation. Mathematical Theory. Oxford Mathematical Monographs. The Clarendon Press, Oxford (2007)
Vespri, V.: On the local behavior of solutions of a certain class of doubly nonlinear parabolic equations. Manuscr. Math. 75, 65–80 (1992)
Vespri, V.: Harnack type inequalities for solutions of certain doubly nonlinear parabolic equations. J. Math. Anal. Appl. 181(1), 104–131 (1994)
Yamabe, H.: On a deformation of Riemannian structures on compact manifolds. Osaka Math. J. 12, 21–37 (1960)
Ye, R.: Global existence and convergence of Yamabe flow. J. Differ. Geom. 39, 35–50 (1994)
Acknowledgements
Open access funding provided by University of Helsinki including Helsinki University Central Hospital. This project has received funding from the Academy of Finland and the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 818437).
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.
Appendices
Appendix A: Some Fundamental Facts
1.1 A.1: \(L^2\) Estimate of the Time Derivative
We will show the existence in \(L^2 (\Omega _T)\) of time-derivative for a weak solution to (1.1).
Lemma A.1
Let u be a nonnegative solution to (1.1).Then there exists \(\partial _tu\) in a weak sense, such that \(\partial _tu \in L^2(\Omega _T)\).
Proof of Lemma A.1
Let \(a>0\) and \(\varepsilon >0\) be arbitrary given. Let \(u\ge 0\) be a weak solution to (1.1). Let us define a truncated Lipschitz function \(\phi _{\varepsilon }(x)\) by
We also set \(h(v):=v^{1/q}\) for \(v \ge 0\). For any \(\varphi \in C^{\infty }_{0}(\Omega _{T})\),
We note that \(h(v)=v^{1/q}\) is locally Lipschitz on \(\{v = u^q : u \ge a\}\) and \(\partial _{t}u^{q} \in L^{2}(\Omega _{T})\) by the very definition (D1) of Definition 3.2 and thus, a composite function \(h(u^{q})\) is weak differentiable in \(\{u \ge a\}\) and
since \(h'(u^{q})=\frac{1}{q}u^{1-q} \le \frac{1}{q}a^{1-q}\) on \(\{u \ge a\}\). Taking into account of
and using the Lebesgue dominated convergence theorem, we have, for the first term on the right hand side of (A.1),
By Lemma A.2 the second term on the right hand side of (A.1) is computed as
By Lebesgue’s dominated convergence theorem, the left hand side of (A.1) is computed as
Passing to the limit as \(\varepsilon \searrow 0\) in (A.1) and gathering (A.2), (A.3) and (A.4), we have
Again, by Lebesgue’s dominated theorem, taking the limit as \(a \searrow 0\) in the above formula, we have
which completes the proof. \(\square \)
In the proof above, we used the following lemma as for the convergence of Dirac measure.
Lemma A.2
Let \(a>0\) and \(\varepsilon >0\) be arbitrary given. Then
where we denote by \(\mathscr {D}'(\mathbb {R})\) the distribution function space, which is the dual space of the space \(\mathscr {D}\) of smooth functions with compact support in \(\mathbb {R}\).
Proof
For any \(\psi \in \mathscr {D}\), we have
as \(\varepsilon \searrow 0\). Therefore we have for any \(\psi \in \mathscr {D}\)
which is our claim. \(\square \)
1.2 A.2: Regularization
In this subsection, we will show the following regularization, Lemma A.3. Before stating assertion, we prepare some notations. For \(f \in L^{1}_{loc}(\Omega _{T})\), we denote the mollifier of f by
Here \(\varepsilon > 0\), \(z=(x,t)\), \(Q_{\varepsilon ,h} (z)=B_\varepsilon (x)\times (t-h, t+h)\subset \Omega _T\), and
where \(\rho _1\) and \(\rho _2\) are smooth symmetric in the following sense:
and satisfies
Lemma A.3
Let \(0<t_1<t <T\). For the weak solution u to (3.1’),
Proof
From (D1) in Definition 3.2 and Fubini’s theorem, it follows that
Since \(\mathrm {div} (|\nabla u|^{p-2}\nabla u) \in L^{2}(\Omega _{T})\) by (D1) and (D2) again, we have, as \(\varepsilon , h \searrow 0\),
and, by Lemma A.1, as \(\varepsilon , h \searrow 0\),
It follows from (A.6) and (A.7) that
By (D1) in Definition 3.2 we have, as \(\varepsilon , h \rightarrow 0\),
and thus, gather (A.8), (A.9) and (A.5) to complete the proof. \(\square \)
Appendix B: Proof of Proposition 5.2
This section is devoted to prove Proposition 5.2.
Proof of Proposition 5.2
(i) Let \(0< t_1< t < T\) be arbitrarily taken and let \(\sigma _{t_1,t}\) be the same time cut-off function as in the proof of Proposition 3.4. The function \(\sigma _{t_1, t}u\) is in \(L^\infty (t_1, t ; W^{1, p} (\Omega ))\), and nonnegative by Proposition 5.1 and thus, is an admissible test function in (D2) for (1.1). Choose a test function as \(\sigma _{t_1, t} u\) in (D2) for (1.1), to have
By the very definition of \(A^+(u)\) for \(u \ge 0\), the first term on the left hand side of (B.1) is computed as
The second term on the left hand side of (B.1) is treated as
Using (B.2), (B.3) and the volume preserving condition \(\displaystyle \int _{\Omega }u(x,t)^{q+1}\,\mathrm{d}x=1,\,\,t \ge 0\), we take the limit as \(\delta \searrow 0\) in (B.1) to obtain that
Dividing above formula by \(t-t_{1}\), we have
According to the volume preserving condition again, passing the limit as \(t \searrow t_{1}\) in the formula above, we obtain that
which is our first assertion.
(ii) We notice the boundedness of the solution u of the p-Sobolev flow. This is shown as follows: By Proposition 5.2 (i) above, \(\lambda (t) = \Vert \nabla u (t)\Vert ^{p}_{L^p (\Omega )}\) and thus, \(\lambda (t) \in L^\infty (0, T)\) by (D1) in Definition 3.2. We also have that \((u)_+\) is bounded in \(\Omega _T\) as in Proposition 5.3, and thus, u itself bounded by Proposition 5.1. Consequently, the function \(\sigma _{t_1, t}\partial _tu\) is an admissible test function in (D2) of Definition 3.2 by Lemmata A.1 and A.3. We now take a test function as \(\sigma _{t_1, t} \partial _tu\) in (D2) of Definition 3.2 and then
Note that the integral on the right hand side in (B.4) is finite by Proposition 3.5 and Lemma A.1. Using the Lebesgue dominated theorem with Proposition 3.5 and Lemma A.1, the first term on the left hand side of (B.4) is computed as
The second term on the left hand side of (B.4) is treated as
where the manipulation in the second and third lines are justified by Lemma A.3 in Appendix A. By the volume conservation \(\int _\Omega u(x,t)^{q+1}=1, \,\,t \ge 0\), the right hand side of (B.4) is calculated as
From (B.5), (B.6) and (B.7), it follows that
Letting \(t_1=0\), we have the desired result. \(\square \)
Appendix C: Notes on Hölder Regularity
1.1 C.1: A Local Energy Estimate for (5.6)
We will derive a local energy estimate for (5.6) here.
Lemma C.1
Let \(\theta >0\) be a parameter. For any \(z_0=(x_0,t_0) \in \Omega '_T\), take \(\rho >0\) such that \(Q(\theta ,\rho )(z_0)\equiv B_\rho (x_0) \times (t_0-\rho ^\theta ,t_0) \subset \Omega '_T\). Let \(\zeta \) be a piecewise smooth function on \(Q(\theta ,\rho )(z_0)\) satisfying
Furthermore, take a positive number \(\delta _0\) such that
for some \(k\ge 0\). Then the following inequality holds true.
- (i)
Let v be a weak supersolution to (5.6). Then it holds that
$$\begin{aligned}&\mathop {\mathrm{ess}\,\mathrm{sup}}\limits _{t_0-\rho ^\theta<t<t_0}\int _{B_\rho (x_0)}(k-v)_+^2\zeta ^p\,\mathrm{d}x+\int _{Q(\theta ,\rho )(z_0)}|\nabla (k-v)_+|^p\zeta ^p\,\mathrm{d}z \nonumber \\&\quad \le \int _{B_\rho (x_0)\times \{t_0-\rho ^\theta \}}(k-v)_+^2\zeta ^p\,\mathrm{d}x+C\int _{Q(\theta ,\rho )(z_0)}(k-v)_+^p|\nabla \zeta |^p\,\mathrm{d}z \nonumber \\&\qquad +\int _{Q(\theta ,\rho )(z_0)}(k-v)_+^2\zeta ^{p-1}|\zeta _t|\,\mathrm{d}z+C\delta _0 \int _{Q(\theta ,\rho )(z_0)}\chi _{\{(k-v)_+>0\}}\mathrm{d}z, \end{aligned}$$(C.1)where C is a positive constant depending only on \(n,p,\tilde{c},M,\lambda (0)\).
- (ii)
Let v be a weak subsolution to (5.6). Then it holds that
$$\begin{aligned}&\mathop {\mathrm{ess}\,\mathrm{sup}}\limits _{t_0-\rho ^\theta<t<t_0}\int _{B_\rho (x_0)}(v-k)_+^2\zeta ^p\,\mathrm{d}x+\int _{Q(\theta ,\rho )(z_0)}|\nabla (v-k)_+|^p\zeta ^p\,\mathrm{d}z \nonumber \\&\quad \le \int _{B_\rho (x_0)\times \{t_0-\rho ^\theta \}}(v-k)_+^2\zeta ^p\,\mathrm{d}x+C\int _{Q(\theta ,\rho )(z_0)}(v-k)_+^p|\nabla \zeta |^p\,\mathrm{d}z \nonumber \\&\qquad +\int _{Q(\theta ,\rho )(z_0)}(v-k)_+^2\zeta ^{p-1}|\zeta _t|\,\mathrm{d}z+C\delta _0 \int _{Q(\theta ,\rho )(z_0)}\chi _{\{(v-k)_+>0\}}\mathrm{d}z, \end{aligned}$$(C.2)where C is a positive constant depending only on \(p,n,\tilde{c},M, \lambda (0)\).
Proof
We give the proof only for the case (i). Take a test function as \(\varphi =-(k-v)_+\zeta ^p\) in the weak form of (5.6); i.e.,
where \(Q_t(\theta , \rho )(z_0):=B_\rho (x_0) \times (t_0-\rho ^\theta , t)\) for any \(t \in (t_0-\rho ^\theta , t_0) \). The first term on the left hand side of (C.3) is computed as
Meanwhile, by use of (5.5) and Young’s inequality, the second term of (C.3) is estimated from below as
where \(c_0\) and \(c_1\) are positive constants depending only on p, n, M and \(p,n,\tilde{c}\), respectively. By using (5.3) in Proposition 5.2 the right hand side of (C.3) is bounded above by
where \(c_2\) is a positive constant depending only on \(\tilde{c}, \lambda (0)\). Gathering (C.4), (C.5) and (C.6), we arrive at the desired estimate (C.2). \(\square \)
1.2 C.2: Outline of Proof of Theorem 5.7
We recall the outline of proof of Theorem 5.7 here.
Proof
By the Hölder continuity in Theorem 5.6, Eq. (5.6) is an evolutionary p-Laplacian system with Hölder continuous elliptic and bounded coefficients g and lower order terms v. We apply the gradient Hölder regularity for the evolutionary p-Laplacian systems with lower order terms in [18, Theorem 1, p. 390] (also see [13]). Here the so-called Campanatto’s perturbation method is applied to the gradient Hölder regularity for the evolutionary p-Laplacian systems with Hölder coefficients and lower order terms. We also refer to the book in [6, Theorem 1.1, p. 245]. \(\square \)
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
Kuusi, T., Misawa, M. & Nakamura, K. Regularity Estimates for the p-Sobolev Flow. J Geom Anal 30, 1918–1964 (2020). https://doi.org/10.1007/s12220-019-00314-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-019-00314-z