Abstract
This work studies the regularity and the geometric significance of solution of the Cauchy problem for a degenerate parabolic equation \(u_{t}=\Delta {}u^{m}\). Our main objective is to improve the H\(\ddot{o}\)lder estimate obtained by pioneers and then, to show the geometric characteristic of free boundary of degenerate parabolic equation. To be exact, for the weak solution u(x, t), the present work will show that:
-
1.
The function \(\phi =(u(x,t))^{\beta }\in {}C^{1}(\mathbb {R}^{n})\) for given \(t>0\) if \(\beta \) is large sufficiently;
-
2.
The surface \(\phi =\phi (x,t)\) is tangent to \(\mathbb {R}^{n}\) at the boundary of the positivity set of u(x, t);
-
3.
The function \(\phi (x,t)\)is a classical solution to another degenerate parabolic equation.
Moreover, some explicit derivative estimates and expressions about the speed of propagation of u(x, t) and the continuous dependence on the nonlinearity of the equation are obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider the Cauchy problem of nonlinear parabolic equation
where \(Q = \mathbb {R}^{n}\times \mathbb {R}^{+}, m>1,n\ge 1 \) and
The Eq. in (1.1) is an example of nonlinear evolution equations and many interesting results, such as the existence, uniqueness, regularity, continuous dependence on the nonlinearity of the equation and large time behavior (see [11, 19, 34] and therein) are obtained during the past several decades. By a weak solution of (1.1), (1.2) in Q, we mean a nonnegative function u(x, t) such that, for any given \(T>0\),
and
for any continuously differentiable function f(x, t) with compact support in \(Q_{T}\), where, \(Q_{T}= \mathbb {R}^{n}\times (0,T) \).
We know that (see [5, 6, 23, 31, 32]) the Cauchy problem (1.1), (1.2) permits a unique weak solution u(x, t) which has the following properties:
where \(j=1,2,3 \ldots \) and v is the solution to the Cauchy problem of linear heat equation with the same initial value,
\(C=O(T^{\gamma })\) for large T, and
In particular, the solution u(x, t) can be obtained (see [12, 33]) as a limit of solutions \(u_{\eta }\)(\(\eta \longrightarrow 0^{+}\)) of the Cauchy problem
and the solutions \(u_{\eta }(x,t)\) are taken in the classical sense, but \(u_{\eta }(x,t)\) are not in \(L^{1}(\mathbb {R}^{n})\) due to \(u_{\eta }(x,t)\ge \eta \) in Q. We know that Aronson and Benilan (see Theorem 2, p. 104 in [6]) claimed that: if u is the weak solution to the Cauchy problem (1.1) with the initial value (1.2), then \(u\in {}C(Q)\) and \(u\ge 0\); Vazquez (see Proposition 6 in Ch. 2 of [34]) proved \(u\in {}C^{\infty }(Q_{+})\), where
Before this, the same conclusion was established by Friedman (see Theorem 11 and Corollary 2 in Chapter 3 [27]). Moreover, employing so called bootstrap argument, Aronson et al. (see [3, 4, 29] also claimed \(u\in {}C^{\infty }(Q_{+})\).
Therefore, we can divide the space-time \(Q=\mathbb {R}^{n}\times \mathbb {R}^{+}\) into two parts: \(Q=Q_{+}\cup {}Q_{0}\), where
Furthermore, if \( Q_{0} \) contains an open set, say, \(Q_{1}\), we can also obtain \(u(x,t)\in {}C^{\infty }(Q_{1})\) owing to \(u(x,t)\equiv 0\) in \(Q_{1}\). Thereby, we may suspect that the solution of degenerate parabolic equation is actually smooth in Q except a set of measure 0. In order to improve the regularity of u(x, t), many authors have made hard effort in this direction. The earliest contribution to the subject was made, maybe, by Aronson and Gilding and Peleiter (see [3, 29]). They proved that the solution to the Cauchy problem
is continuous in \( \mathbb {R}^{1}\times (0,+\infty )\) if the nonnegative initial value satisfies a good condition. Moreover, if the initial value \(0\le {}u_{0}\le {}M\) and \(u_{0}^{m}\) is Lip-continuous, then u(x, t) can be continuous on \( \mathbb {R}^{1}\times [0,+\infty )\) (see [29]). As to the case of \(n\ge 1\), Caffarelli and Friedman (see [12]) proved that the solution u(x, t) to the Cauchy problem (1.1), (1.2) is H\(\ddot{o}\)lder continuous on \(\mathbb {R}^{n}\times [\delta _{0},\infty )\):
Moreover, Gilding et al. also discussed the Dirichlet problem (see [21, 30]) and obtained a similar conclusion to (1.10) and a gradient expression (see [24])
As to the general equation \(u_{t}=\nabla \cdot (u\nabla {}p),~p=\kappa (u)\), Caffarelli and Vazquez ([14]) established the property of finite propagation and the persistence of positivity, where \(\kappa \) may be a general operator. To study this problem more precisely, Aronson et al. (see [2, 7]) constructed a interesting radially symmetric solution u(r, t) to the focusing problem for the equation of (1.1). Denoting the porous medium pressure \(V=\frac{m}{m-1}u^{m-1}\), they claimed \(V=Cr^{\delta }\) at the fusing time, where \(0<\delta <1,C\) is a positive constant. Furthermore,
Because \(u\in {}C^{\infty }(Q_{+})\) and also, \(u\in {}C^{\infty }(Q_{1})\), where \(Q_{+}\) and \(Q_{1}\) is mentioned as before, many authors (see [8, 15, 16, 18, 20, 22, 26]) discussed the Harnark inequalities in \(Q_{+}\) and the smoothness of free boundary
where \(H_{u}(t)\) is the positivity set of u(x, t):
For example, Aronson et al. (see [8]) proved the existence of corner point on interface at some time \(t^{*}\) for the case of \(n=1\), Daskalopoulos and Hamilton (see [13, 17, 18, 20]) discussed the \(C^{\infty }\) smoothness of the interface of the equation (1.1), DiBenedetto et al. (see [22, 25]) discussed the regularity and intrinsic Harnack type inequalities in \(Q_{+}\).
To study the regularity of the weak solution of (1.1), (1.2) more precisely, the present work intends to show the dependency between \(\alpha \) and m in (1.10). To be exact, for every given \(m>1\), we will prove
In (1.11), we see that the range of \(\alpha \) is (0, 1] rather than (0, 1) as in (1.10). Unfortunately, our priori estimate (see below) is only right for the case of \(n=1\) owing to technical difficulties, so (1.11) is true only for \(n=1\) in this paper. As to the case of \(n>1\), we all know that \(u\in {}C^{\infty }(Q_{+})\) and some authors discuss the regularity (see [10] and therein) more deeply, but whether (1.11) is right or not in the whole area \(Q_{+}\), we feel it might be an interesting topic.
Employing (1.11) (for the case of \(n=1\)) and (1.10) (for the case of \(n>1\)), the present work will show that \( \nabla {u^{\beta }}\) are continuous if \(\beta \) is large sufficiently. In particular, we will prove that the function \(\phi (x,t)=(u(x,t))^{\beta }\) satisfies the degenerate parabolic equation
in the classical sense. Therefore we can speak roughly, the weak solution to the Cauchy problem (1.1) is in fact a classical one.
For every fixed \(t>0\), we define a n-dimensional surface S(t), which floats in the space \( \mathbb {R}^{n+1} \) with the time t:
where the function \(\phi (x,t)=(u(x,t))^{\beta }\). Let
Define the Riemannian metric on S(t):
where \(g_{ij}={g}_{i}\cdot {g}_{j}\). Clearly,
Recalling \( \sum \limits _{i=1}^{n}\phi _{x_{i}}dx_{i}=d\phi =dx_{n+1} \) for fixed \(t>0\), we get
If the derivatives \(\frac{\partial {}\phi }{\partial {}x_{i}}\) are bounded for \(i=1,2,\ldots ,n\) and for \(x\in \mathbb {R}^{n}\) uniformly, then we can get a positive constant C, such that \((\sum \nolimits _{i=1}^{n}\phi _{x_{i}}dx_{i})^{2}\le {}C(\sum \nolimits _{i=1}^{n}dx_{i})^{2}\). Denoting \((d\rho )^{2}=\sum \nolimits _{i=1}^{n}(dx_{i})^{2}\), which is the Euclidean metric on \(\mathbb {R}^{n}\), we get
As a consequence of (1.13), we see that the completeness of \(\mathbb {R}^{n}\) yields the completeness of S(t) and therefore, S(t) is a complete Riemannian manifold. On the other hand, if we can obtain
for every fixed \(t>0\), where \(H_{u}(t)\) is mentioned as before, then (1.14) encourage us to prove that: the manifold S(t) is tangent to \(\mathbb {R}^{n}\). However, we need to point out that: we can only give an explicit dependency relationship between \(\beta \) and m for the case of \(n=1\).
It is well-known that the function
is the solution of the Cauchy problem of the linear heat Eq. (1.8) and \(v(x,t)>0\) in Q everywhere if only the initial value \(u_{0}\) satisfies (1.2). This fact shows that the speed of propagation of v(x, t) is infinite, that is to say,
However, the degeneracy of the equation in (1.1) causes an important phenomenon to occur, i.e. finite speed of propagation of disturbance. We have observed this phenomenon on the \(source- type\) solution B(x, t; C) (see [9]), where
is the equation in (1.1) with a initial mass \(M\delta (x)\), and
We see that the function B(x, t; C) has compact support in space for every fixed time. More precisely, if u(x, t) is the solution of (1.1), (1.2), then
when t is large enough (see Proposition 17 in [34]). Comparing (1.15) and (1.17) and recalling the mass conservation \(\int _{\mathbb {R}^{n}}u(x,t)dx =\int _{\mathbb {R}^{n}}u_{0}(x)dx=\int _{\mathbb {R}^{n}}v(x,t)dx\), the present work will prove that the solution continuously depends on the nonlinearity of the Eq. (1.1):
We read the main conclusions of the present work as follows:
Theorem 1
Assume u(x, t) be the weak solution to (1.1), (1.2). Then \(u(x,t)\in {}C(Q)\) and moreover,
-
(1)
If \(n=1\), for every given \(\tau>0,N>0\), there exists a positive \(\nu \) such that
$$\begin{aligned} |u(x_{1},t_{1})-u(x_{2},t_{2})|\le {}\nu \left( |x_{1}-x_{2}|^{\frac{1}{h}}+|t_{1}-t_{2}|^{\frac{1}{2h}}\right) \end{aligned}$$where \( |x_{i}|\le {}N,t_{i}\ge \tau ,~i=1,2\),
$$\begin{aligned} h=\left\{ \begin{array}{ll} 1&{}\quad \text{ if }~~1<m<2,\\ h\in (m-1,m)&{}\quad \text{ if }~~m\ge 2; \end{array} \right. \end{aligned}$$(1.18) -
(2)
The function \(\phi =(u(x,t))^{\beta }\in {}C^{1}(\mathbb {R}^{n})\) and the surface \(\phi =\phi (x,t)\) is tangent to \(\mathbb {R}^{n}\) on \(\partial {}H_{u}(t)\) for every fixed \(t>0\), where \(\beta >h\) and h is defined by (1.18) for the case of \(n=1\); \(\beta >\frac{1}{\alpha }\) and \(\alpha \) is stated in (1.10) for the case of \(n>1\);
-
(3)
If \(\beta >2h\) (for \(n=1\)) or \(\beta >\frac{2}{\alpha }\) (for \(n>1\)), the function \(\phi (x,t)\) satisfies the degenerate parabolic equation
$$\begin{aligned} \frac{\partial \phi _{}}{\partial {}t}=m\left( \phi ^{\frac{m-1}{\beta }} \Delta {\phi }+ \frac{m-\beta }{\beta }\phi ^{\frac{m-\beta -1}{\beta }}\left| \nabla \phi \right| ^{2}\right) \end{aligned}$$in the classical sense in Q.
Theorem 2
Assume \(n\ge 1\) and u(x, t) be the weak solution to (1.1), (1.2), \(B_{\delta }=\{x\in \mathbb {R}^{n}:~|x|<\delta \}\) for some \(\delta >0\). If supp \(u_{0}\subset {}B_{\delta }\), then for every given \(t>0\),
where,
Moreover, for every given \(T>0\), there is a positive \(C_{*}=C_{*}(T)\) such that
with respect to \(t\in (0,T)\) uniformly, where v(x, t) is the solution of (1.8).
We see that S(t) and \(\mathbb {R}^{n}\) are two manifolds in \(\mathbb {R}^{n+1}\) and the Cauchy problem (1.1), (1.2) can be regarded as a mapping \(\Phi (t):~\mathbb {R}^{n}\longrightarrow {}S(t)\). Thus, besides the theorems mentioned above, we will give an example to show the intrinsic properties about the manifold S(t).
Remark 1
Although we may obtain the regularity for the weak solution u(x, t) for all \(m>1\) in (2) and (3) of Theorem 1 for all \(n\ge 1\), and particularly, (3) tells us that the weak solution u(x, t) is in fact a classical one, we see that we can only show the explicit relationship between \(\beta \) and m for the case of \(n=1\). As to the case of \(n>1\), we can not get such relationship owing to we can not know how \(\alpha \) depend on m in (1.10).
2 The proof of Theorem 1
Lemma 1
If \(n=1\) and u(x, t) is the weak solution to (1.1), (1.2) in Q. Then for every given \(m>1\), there is a \( h\in (m-1,m)\) and \(C_{0}=C_{0}(m,M,T)\) such that
in the sense of distributions in Q.
Proof
We first prove (2.1) for the classical solutions \(u_{\eta }(x,t)\). Set
Then
We differentiate the Eq. (2.2) with respect to x and multiply though by \(\frac{\partial {}V}{\partial {}x}\), and let \(H=\frac{\partial {}V}{\partial {}x}\), we get
Moreover, it follows from \(q\in (1,\frac{m}{m-1})\) that \((q-1-\frac{q}{m})<0\), hence
where, \( {C}_{1}=2m|(q-1)\left( q-1-\frac{q}{m}\right) |(M+\eta )^{m-\frac{2m}{q}-1}\). Setting
we get
Clearly, the function \( Z^{2}= \frac{1}{{C_{1}}t}\) satisfies the equation \(\frac{\partial }{\partial {}t}Z^{2}={}L(Z^{2})\) and \( Z^{2}(0)=+\infty \). By comparison theorem, we get
or we rewrite this inequality as
with \(h=\frac{m}{q}\) for all \(1<q<\frac{m}{m-1}\). Of course, we can take \(q=m\) if \(1<m<2\); \(1<q<\frac{m}{m-1}\) if \(m\ge 2\). Therefor, (2.5) is right for
Letting \(\eta \longrightarrow 0\) in (2.5), we obtain the conclusion of our lemma with a constant \(C_{0}=\frac{1}{C_{1}}\) and (2.1) follows. \(\square \)
To prove Theorem 1, we need to show an ordinary inequality firstly:
In fact, (2.6) is right for \(a=b\). If \(a>b\), we can easily get the following inequalities:
thanks to \(0\le \frac{b}{a}<1\). Thereby, \( \left( 1-\frac{b}{a}\right) ^{\beta }\le 1-\left( \frac{b}{a}\right) ^{\beta }. \) This inequality gives
So (2.6) holds for \(a>b\ge 0\). Certainly, (2.6) is also right if \(0\le {}a<b\).
We are now in the position to establish Theorem 1.
To prove (1) of Theorem 1 It follows from (2.1) that
for every \((x_{1},t),(x_{2},t)\in {}Q,h\in (m-1,m)\). If \(1<m<2\), we take \(h=1\), and therefore, (2.7) yields
If \(m\ge 2\), we take \(h\in (m-1,m)\). In this case, we use (2.6) in (2.7) and obtain
Therefore, for every given \(m>1\), there always exists a suitable positive number\(h\ge 1\) such that
for every \((x_{1},t),(x_{2},t)\in \mathbb {R}^{1}\times [\tau ,\infty )\) with given \(\tau >0\), where
Employing the well-known theorem on the H\(\ddot{o}\)lder continuity with respect to the time variable (see [28]), we obtain
for \(|x|\le {}N,~t_{1},t_{2}>\tau \) and \(|t_{1}-t_{2}|\) small sufficiently, where K depends on \((\frac{C_{0}}{\tau })^{-\frac{1}{2h}}, N\) is any fixed positive constant. Combining (2.8) and (2.9) we get another positive constant \(\nu \) such that
for all \(|x_{i}|\le {}N,t_{i}\ge \tau ,~i=1,2\), where
Certainly, (2.10) gives \(u\in {}C(Q).\) \(\square \)
To prove (2) of Theorem 1 We show the proof for the case of \(n=1\) first. Denote \(\beta =h+\varepsilon \) and set
for every \(\varepsilon >0\). It follows from (2.1) that
for some \(C_{2}>0\). To prove the function \(\phi (x,t)\in {}C^{1}(\mathbb {R}^{1})\) for fixed \(t>0\), we first see \(u\in {}C^{\infty }(Q_{+})\); second, (2.11) implies \( \frac{\partial }{\partial {}x}\phi (x_{*},t_{*})=0\) for every \((x_{*},t_{*})\in {}Q_{0}\). Therefore, (2.11) gives
This inequality tells us \( \frac{\partial }{\partial {}x}\phi (x,t)\in {}C(\mathbb {R}^{1})\), that is to say, \(\phi (x,t)\in {}C^{1}(\mathbb {R}^{1})\). Furthermore, for every fixed \(t>0\), the continuity of u(x, t) implies \(H_{u}(t)\) is an open set. Thus \(\phi (x_{*},t)= \frac{\partial }{\partial {}x}\phi (x_{*},t)=0\) for \((x_{*},t)\in {\partial {}H_{u}(t)}\). This fact claims that the manifold S(t) touches \(\mathbb {R}^{1}\) at \(\partial {}H_{u}(t)\). In other words, \(\mathbb {R}^{1}\) is just the tangent of S(t) at \(\partial {}H_{u}(t)\).
As to the case of \(n>1\), on the one hand, for every given \(t>0\), \(\phi (x_{0},t)\equiv 0\) if \((x_{0},t)\in {}Q_{0}\). Thereby, \(\nabla \phi (x,t)\longrightarrow 0\) when (x, t) converges to \((x_{0},t)\) along any direction inside \(Q_{0}\). On the other hand, employing (1.10) we get
for every \((x,t),(x_{0},t)\in {}Q\). In particular, if \((x_{0},t)\in {}Q_{0}\), the above inequality can be rewritten as
Therefore, if we denote \(\phi (x,t)=u^{\beta }\) with \(\beta ={\frac{1}{\alpha }}+\varepsilon \) for any \(\varepsilon >0\), we get
(2.12) yields \(\nabla \phi (x,t)\longrightarrow 0\) when (x, t) converges to \((x_{0},t)\) from outside \(Q_{0}\). Thus we know that \(\nabla \phi (x,t)\) is continuous at \((x_{0},t)\). Because we have know \(\nabla \phi \in {}C^{\infty }(Q_{+})\), so \(\phi (x,t)\in {}C^{1}(\mathbb {R}^{n})\) for every given \(t>0\), in particular,
Therefore, the surface \(\phi =\phi (x,t)\) is tangent to \(\mathbb {R}^{n}\) on \(\partial {}H_{u}(t)\) for every fixed \(t>0\).
\(\square \)
To prove (3) of Theorem 1 We also prove the result for the case of \(n=1\) first. Recalling \(u(x,t)=\lim \limits _{\eta \longrightarrow 0^{+}}u_{\eta }\) and \(u_{\eta }\ge \eta \), \(u_{\eta }\) are the classical solutions to the Cauchy problem (1.9), we can make
for \(\beta =h+\varepsilon \) and \(\varepsilon >h\). Then the function \(\phi _{\eta }\) satisfies the degenerate parabolic equation
Recalling \(\lim \nolimits _{\eta \longrightarrow 0^{+}}\phi _{\eta }=\phi \) and \(u\in {}C^{\infty }(Q_{+})\), we see that \(\phi (x,t)\in {}C^{\infty }(Q_{+})\) and \(\phi \) satisfies the equation
in \(Q_{+}\). We next prove that (2.13) is also right in Q. In fact, if \((x,t_{*})\in {}Q_{0}\), then \(\phi (x,t)\equiv 0\) for all \(0\le {}t<t_{*}\) [see (3.2) of this paper]. This yields \(\frac{\partial }{\partial {}t}\phi (x,t_{*}-0)=0\). Moreover, (2.10) yields
Thus, \(\phi (x,t)-\phi (x,t_{*})=\phi (x,t)\le {}\nu ^{\beta }(t-t_{*})^{\frac{\beta }{2h}}\), thereby,
By (2.14), we get \(\frac{\partial }{\partial {}t}\phi (x,t_{*}+0)=0\) owing to \(\beta >2h\). Now we see that \(\frac{\partial }{\partial {}t}\phi (x,t_{*}+0)=\frac{\partial }{\partial {}t}\phi (x,t_{*}-0)=0\), so we obtain the continuity of the function \(\frac{\partial \phi }{\partial {}t}\), specially, \(\frac{\partial {\phi } }{\partial {}t}|_{(x,t_{*})}=0\). On the other hand, by (2.10) and (2.11), we have
for \((x_{*},t)\in {}Q_{0}\). This yields
This gives the continuity of the function \(\frac{\partial ^{2}{\phi }}{\partial {}x^{2}}\), specially,
thanks to \(\varepsilon >h\). It follows from \(m>1\) that \(\phi ^{\frac{m-1}{\beta }}\frac{\partial ^{2}{\phi }}{\partial {}x^{2}}=0 \) on \(Q_{0}\). Similarly, the function \(\frac{\partial \phi }{\partial {}x}\) is continuous and \(\phi ^{\frac{m-\beta -1}{\beta }}|\frac{\partial \phi }{\partial {}x}|^{2}=0\) on \( Q_{0}\). Combining the argument mentioned above, we deduce that the function \(\phi (x,t)\) satisfies (2.13) in Q. Similarly, we can also get the same conclusion if \(n>1\). \(\square \)
As an application of our Theorem 1, here we give an example to show the large time behavior on the intrinsic properties of the manifold S(t).
Example (the intrinsic properties of S(t)) Here we will discuss the relationship between S(t) and \(\mathbb {R}^{n}\) in this example for \(n=1\).
In fact, by (1.13) and (2.11), we get
Furthermore, recalling \(u(x,t)\le {}Ct^{\frac{-1}{m+1}}\) for some positive C (see Theorem 9 in Ch. III of [34]), we get
when t is large sufficiently.
3 The proof of Theorem 2
It is well-known that if \(\lambda _{1}\) is the minimum positive eigenvalue and \(\psi _{1}\) is the corresponding eigenfunction of the Dirichlet problem
then \( {\lambda _{1}}\Vert \psi _{1}\Vert ^{2}_{L^{2}(\Omega )}=\Vert \nabla {}\psi _{1}\Vert ^{2}_{L^{2}(\Omega )}\), where \(\Omega \) is a boundary domain in \(\mathbb {R}^{n}\). Moreover, if \(\psi \in {}H_{0}^{1}(\Omega )\), then Poincar\(\acute{e}\) inequality claims that there exists a positive constant k such that \(k\Vert \psi \Vert ^{2}_{L^{2}(\Omega )}\le {}\Vert \nabla {}\psi \Vert ^{2}_{L^{2}(\Omega )}\). In particular, if \(\Omega \) is a sphere of \(\mathbb {R}^{n}\)
for \(x_{0}\in \mathbb {R}^{n}\) and \(\rho >0\), then the constant k can be written as \( k\le {}\rho ^{-2} \) (see [1, 35]). To be exact, we have
Lemma 2
If \(\Omega \) is a sphere mentioned above, \(u\in {}H_{0}^{1}(\Omega )\). Then
Now we are in the position to prove our Theorem 2.
To prove (1.19) Assume u(x, t) be the weak solution of (1.1), (1.2). Integrating (1.5) from \(t_{1}\) to \(t_{2}\) yields \(\ln {}u(x,t_{2})-\ln {}u(x,t_{1})\ge - \frac{1}{m-1}(\ln {}t_{2}-\ln {}t_{1})\) for \(t_{2}>t_{1}\). This means\( u(x,t_{2})\cdot {}t_{2}^{\frac{1}{m-1}}\ge {}{u(x,t_{1})}\cdot {}t_{1}^{\frac{1}{m-1}}\) for \(~t_{2}>t_{1}\ge 0\). Therefore,
By (3.2), we see that
Clearly, the proof is finished if \(\sup \nolimits _{x\in {}H_{u}(t)}|x|=\infty \), otherwise, we set
for \(\gamma >0\). Thus,
It follows from (1.5) that
so that
Using (3.1) in this inequality, we obtain
Employing the H\(\ddot{o}\)lder inverse inequality (see Sect. 2.6 of Ch. 2 in [1]), we have
where \(|B_{K'}|\) is the volume of \(B_{K'}\) and \(|B_{K'}| = \pi ^{\frac{n}{2}} \Gamma (1+\frac{n}{2})^{-1}K'^{n}\). Using this inequality in (3.4) yields
Using the H\(\ddot{o}\)lder inverse inequality again, we have
It follows from (1.4) and 3.3 that \( \int _{\mathbb {R}^{n}}u(x,t)dx=\int _{ B_{K'}}u(x,t)dx =\int _{\mathbb {R}^{n}}u_{0}(x)dx \). Combining 3.5 and 3.6 yields
Now we get
Letting \( \gamma \longrightarrow 0\) gives
\(\square \)
To prove (1.20) Assume u(x, t) and v(x, t) be the solutions to (1.1) and (1.8) respectively. Employing the well-known result (see [34]), we have
and
for every given \(T>0\) and \(Q_{T}=\mathbb {R}^{n}\times (0,T)\). Let
where \(u_{\eta }\) are the solutions of (1.9). Let \(\{ \zeta _{k}\}_{k>1}\) be a smooth cutoff sequence with the following properties: \( \zeta _{k}(x)\in {}C_{0}^{\infty }(\mathbb {R}^{1})\) and
Clearly, there is a positive constant \( \gamma \) such that
Recalling \((v-u_{\eta })_{t}=\Delta {}G\) in \(Q_{T}\), we multiply the equation by \(\psi \zeta _{k}\) and integrate by parts in \(Q_{T}\), we obtain
Because \(\zeta _{k}\in {}C_{0}^{\infty }(\mathbb {R}^{1})\) and the functions \(v,u_{\eta }\) are bounded and are classical solutions to (1.8) and (1.9) respectively, so we can differentiate (3.11) with respect to T, we get
Letting \(\eta \longrightarrow 0\) in (3.12) yields
for some positive \(\varphi =\varphi (T)\) thanks to (3.8), (3.9) and (3.10). On the other hand,
Now we conclude that
This implies
Recalling the definition of \(\zeta _{k}\), we see \( \int _{\mathbb {R}^{n}} (v-u )^{2} \zeta _{k}dx\ge \int _{|x|\le {}k} (v-u )^{2} dx\). Moreover, \(\int _{\mathbb {R}^{n}} |u-u^{m}|\zeta _{k}dx\) is bounded thanks to (1.3) and (1.4). Hence, we can get a positive constant \(C_{*}=C_{*}(T)\) such that
with respect to \(t\in (0,T)\) uniformly. \(\square \)
The author is pleased to express his gratitude to reviewers for the valuable suggestions.
References
Adams, R.A.: Sobolev spaces, pure and applied mathematics, vol. 65. Academic Press, New York, London (1975)
Angenent, S.B., Aronson, D.G.: The focusing problem for the radially symmetric porous medium equation. Comm. Partial Differ. Equations 20, 1217–1240 (1995)
Aronson, D.G.: Regularity properties of flows through porous media. SIAM J. Appl. Math. 17, 461–467 (1969)
Aronson, D.G.: Regularity properties of flows through porous media: a counterexample. SLAM J. Appl. Math. 19, 299–307 (1970)
Aronson, D.G.: Regularity properties of flows through porous media: the interface. Arch. Ration. Mech. Anal. 37, 1–10 (1970)
Aronson, D.G., Benilan, Ph.: Régularité des solutions de l’équation des milieux poreux dans \( \mathbb{R}^{N}\). C. R. Acad. Sci. Paris Sér. A. 288, 103–105 (1979)
Aronson, D.G., Graveleau, J.: A selfsimilar solution to the focusing problem for the porous medium equation. Eur. J. Appl. Math. 4, 65–81 (1993)
Aronson, D.G., Caffarelli, L.A., Vzquez, J.L.: Interfaces with a corner-point in one-dimensional porous medium flow. Comm. Pure Appl. Math. 38, 375–404 (1985)
Barenblatt, G.I.: On some unsteady motions and a liquid or a gas in a porous medium. Prikl. Mat. Mech. 16, 67–78 (1952). (in Russian)
Bonforte, M., Figalli, A., Ros-Oton, X.: Infinite speed of propagation and regularity of solutions to the fractional porous medium equation in general domains. Comm. Pure Appl. Math. (2016) (to appear)
Caffarelli, L.A., Friedman, A.: The one-phase Stefan problem and the porous medium diffusion equation: continuity of the solution in n space dimensions. Proc. Nat. Acad. Sci. USA 75, 2084 (1978)
Caffarelli, L., Friedman, A.: Continuity of the density of a gas flow in a porous medium. Trans. Am. Math. Soc. 252, 99–113 (1979)
Caffarelli, L.A., Friedman, A.: Regularity of the free boundary of a gas flow in an n-dimensional porous medium. Indiana Univ. Math. J. 29, 361–391 (1980)
Caffarelli, L.A., Vzquez, J.L.: Nonlinear porous medium flow with fractional potential pressure. Arch. Ration. Mech. Anal. 202, 537–565 (2011)
Caffarelli, L.A., Wolanski, N.I.: \(C^{1,\alpha }\) regularity of the free boundary for the n-dimensional porous media equation. Comm. Pure Appl. Math. 43, 885–902 (1990)
Caffarelli, L.A., Vzquez, J.L., Wolanski, N.I.: Lipschitz continuity of solutions and interfaces of the n-dimensional porous medium equation. Ind. Univ. Math. J. 36, 373–401 (1987)
Daskalopoulos, P., Hamilton, R.: The free boundary for the n-dimensional porous medium equation. Int. Math. Res. Not. 17, 817–831 (1997)
Daskalopoulos, P., Hamilton, R.: Regularity of the free boundary for the porous medium equation. J. Am. Math. Soc. 11, 899–965 (1998)
Daskalopoulos, P., Kenig, C.E.: Degenerate diffusions. Initial value problems and local regularity theory. EMS Tracts in Mathematics. European Mathematical Society (2007)
Daskalopoulos, P., Hamilton, R., Lee, K.: All time \(C^\alpha \)-regularity of the interface in degenerate diffusion: a geometric approach. Duke Math. J. 108, 295–327 (2001)
DiBenedetto, E.: On the local behaviour of solutions of degenerate parabolic equations with measurable coefficients. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 13, 487–535 (1986)
DiBenedetto, E.: Intrinsic Harnack type inequalities for solutions of certain degenerate parabolic equations. Arch. Ration. Mech. Anal. 100, 129–147 (1988)
DiBenedetto, E.: Degenerate parabolic equations. Universitext. Springer, New York (1993)
DiBenedetto, E., Friedman, A.: H\(\ddot{o}\)lder estimates for nonlinear degenerate parabolic systems. J. Reine Angew. Math. 357, 1–22 (1985)
DiBenedetto, E., Gianazza, U., Vespri, V.: Harnack estimates for quasi-linear degenerate parabolic differential equations. Acta Math. 200, 181–209 (2008)
DiBenedetto, E., Gianazza, U., Vespri, V.: Harnack’s inequality for degenerate and singular parabolic equations. Springer Monographs in Mathematics. Springer, New York (2012)
Friedman, A.: Partial differential equations of parabolic type. Prentice-Hall Inc, Englewood Cliffs (1964)
Gilding, B.H.: Holder continuity of solutions of parabolic equations. J. Lond. Math. Soc. Trans. 13, 103–106 (1976)
Gilding, B.H., Peletier, L.A.: The cauchy problem for an equation in the theory of infiltration. Arch. Rat. Mech. Anal. 61, 127–140 (1976)
Gilding, B.H., Peletier, L.A.: Continuity of solutions of the porous media equation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 8, 659–675 (1981)
Pan, J.: The expanding behavior of positive set \(H_{u}(t)\) of a degenerate parabolic equation. Math. Z. 265, 817–829 (2010)
Pao, C.V., Ruan, W.H.: Quasilinear parabolic and elliptic systems with mixed quasimonotone functions. J. Differ. Equations 255, 1515–1553 (2013)
Sabinina, E.S.: On the Cauchy problem for the equation of nonstationary gas filtration in several space variables. Dokl. Akad. Nauk SSSR 136, 1034–1037 (1961)
Vazquez, J.L.: An introduction to the mathematical theory of the porous medium equation. In: Delfour, M.C., Sabidussi, G. (eds.) Shape optimization and free boundaries, pp. 347–389. Kluwer, Dordrecht (1992)
Wu, Z., Yin, J., Wang, C.: Introduction of elliptic and parabolic equation. Scientific Press, Beijing (2003) (in Chinese)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Pan, J. Regularity and geometric character of solution of a degenerate parabolic equation. Bull. Math. Sci. 6, 353–370 (2016). https://doi.org/10.1007/s13373-016-0084-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-016-0084-3