- Research
- Open access
- Published:
On a degenerate parabolic equation from double phase convection
Advances in Difference Equations volume 2021, Article number: 502 (2021)
Abstract
The initial-boundary value problem of a degenerate parabolic equation arising from double phase convection is considered. Let \(a(x)\) and \(b(x)\) be the diffusion coefficients corresponding to the double phase respectively. In general, it is assumed that \(a(x)+b(x)>0\), \(x\in \overline{\Omega }\) and the boundary value condition should be imposed. In this paper, the condition \(a(x)+b(x)>0\), \(x\in \overline{\Omega }\) is weakened, and sometimes the boundary value condition is not necessary. The existence of a weak solution u is proved by parabolically regularized method, and \(u_{t}\in L^{2}(Q_{T})\) is shown. The stability of weak solutions is studied according to the different integrable conditions of \(a(x)\) and \(b(x)\). To ensure the well-posedness of weak solutions, the classical trace is generalized, and that the homogeneous boundary value condition can be replaced by \(a(x)b(x)|_{x\in \partial \Omega }=0\) is found for the first time.
1 Introduction
Consider the parabolic equation with a nonlinear convective term
which arises from the double phase problems, as well as from the flows of incompressible turbulent fluids etc. [3]. In this paper, \({Q_{T}} = \Omega \times (0,T)\), Ω is a smooth bounded domain in \(\mathbb{R}^{N}\), \(p,q>1\), \(a(x),b(x)\in C(\overline{\Omega })\), \(f_{i}(s, x, t)\) is a Lipschitz function when \(|s|\) is bounded.
Though the initial-boundary value problem of the non-Newtonian fluid equation
has been studied far and widely [12, 13, 24], as a generalized case, equation (1.1) has not provoked researchers’ attention until recent years. Since the authors of [20] pointed out that the methods used in studying the well-posedness problem of equation (1.2) are invalid for equation (1.1), more and more works related to equation (1.1) have appeared, one can refer to [4–6, 8–10, 35]. First of all, let us give a simple review of [20]. If \(q\geq p>1\) and
then
provided that \(|\nabla u|\geq 1\). By its coercivity, we can minimize, with fixed boundary values, the integral
and the local minimizers in the Sobolev class \(W^{1,p}_{\mathrm{loc}}(\Omega )\). It is expected (however it is not always true!) that any local minimizer u is also a weak solution to the corresponding Euler’s first variation, i.e., the PDE in a divergence form
where \(a(x,\nabla u)=(a_{i}(x,\nabla u))\), \({i=1,2,\ldots ,N}\), is given by
satisfying that
If \(u\in W^{1,q}_{\mathrm{loc}}(\Omega )\), we can obtain
and \(u\in W^{1,q}_{\mathrm{loc}}(\Omega )\) would satisfy the (correct) weak form of the equation
But the fact is that a minimizer of the functional (1.3) is only a function of class \(u \in W^{1,p}_{\mathrm{loc}}(\Omega )\)! This is a difference (and a difficulty) with respect to equation (1.2) in which \(p=q\).
Of course, there is a similar difficulty in the evolution problems. Emphasizing the fact that an evolution problem is usually formulated by a differential equation and not as a minimization, the authors of [20] adopted a different point of view and posed this philosophical question: does a counterpart of the minimization property exist in evolution problems? i.e., may a solution of an evolution problem be a variational minimizer? By introducing a new kind of weak solution (called as variational solution in [20]), such a problem has been perfectly solved in [20].
In this paper, we study the well-posedness problem of equation (1.1) only assuming that
or
Since \(a(x)\geq 0\), \(b(x)\geq 0\), on the boundary ∂Ω, if \([a(x)+b(x)]|_{x\in \partial \Omega }=0\) implies \([a(x)b(x)]|_{x\in \partial \Omega }=0\). But generally, \([a(x)b(x)]|_{x\in \partial \Omega }=0\) does not imply \([a(x)+b(x)]|_{x\in \partial \Omega }=0\). Let us give some special cases when \(N=2\), \(\Omega \subset \mathbb{R}^{2}\) is bounded. For example, we can choose a small constant \(\delta <\frac{1}{4}\) and
\(0\leq a_{1}(x)\in C^{1}(\overline{\Omega }_{1})\), and on the boundary it is defined as
While \(0\leq b_{1}(x)\in C^{1}(\overline{\Omega _{1}})\), and on the boundary it is defined as
Then \(a_{1}(x)b_{1}(x)=0\), \(x\in \partial \Omega _{1}\), but
So, (1.5) is true, whether or not (1.4) is right.
For a simpler example, let
and
Clearly, \(a_{2}(x)+b_{2}(x)=3>0\) and \(a_{2}(x)b_{2}(x)=0\) when \(x\in \partial \Omega _{2}\). Also (1.5) is true, whether or not (1.4) is right.
Certainly, if \(a(x)=0\), \(b(x)=0\) on the boundary ∂Ω, then conditions (1.4) and (1.5) can be true at the same time.
We would like to enlarge a bit upon this point. If \(a(x)\) and \(b(x)\) satisfy
to study the well-posedness of the solutions of equation (1.1), besides the initial value condition
similar to the usual non-Newtonian fluid equation (1.2), in the sense of the classical trace, the boundary value condition
should be imposed.
On the other hand, if \(a(x)\) and \(b(x)\) only satisfy (1.4) or (1.5), equation (1.1) may be degenerate on the boundary ∂Ω, how to define a suitable boundary value condition instead of (1.8) becomes an important problem. In fact, for a degenerate parabolic equation, the weak solution \(u(x,t)\) may be too weak to define the trace on the boundary. For example, the authors of [25] pointed out that if the weak solution \(u(x,t)\) only has the property
with that
then \(C_{0}^{\infty }(Q_{T})\) is not dense in the space \(\mathbf{B}=\{u: u \text{ satisfies (1.9)}\}\), and so one cannot define the trace on ∂Ω in the classical way. The author of [25] gave a new way to deal with the boundary value condition, and we will introduce the related content in the last section of this paper.
In recent years, the author of this paper has been interested in the stability of weak solutions to the following equation:
including the special cases of that \(p(x)=p\) is a constant, provided that
If the weak solutions of (1.10) only satisfy (1.9), we also cannot define the trace on the boundary in the classical way. To solve this problem, we have avoided to use the boundary value condition (1.8). Instead, we have found that, to study the uniqueness of weak solution of equation (1.10), condition (1.11) can take place of the boundary value condition (1.8) [26, 29–32].
Actually, for a degenerate parabolic equation, how to deal with the boundary value condition (1.8) has been an important problem for a long time, and there are many papers devoted to this question, one can refer to [14, 15, 18, 21, 27, 30] etc. for the details.
2 The definition of weak solution and the main results
In the first place, we give some basic concepts.
Assume that \(\nu (x)\) is a positive measurable function defined in Ω. Define the weighted Lebesgue space \(L^{p}(\nu ,\Omega )\), \(1< p<\infty \), as the space of all real-valued functions u for which
Further we suppose that
Now, we denote by \(W^{1,p}(\nu ,\Omega )\) the space of all real-valued functions u such that the derivative in the sense of distributions fulfills
with the norm
By (2.1) we can introduce the subspace \(W_{0}^{1,p}(\nu , \Omega )\) of \(W^{1,p}(\nu , \Omega )\) as the closure of \(C_{0}^{\infty }(\Omega )\) with respect to the norm (2.2). Moreover, conditions (2.1) imply that \(W^{1,p}(\nu , \Omega )\) as well as \(W_{0}^{1,p}(\nu , \Omega )\) are reflexive Banach spaces [19].
Lemma 2.1
Let us suppose that (2.1) holds and
with some \(g^{*}\geq \frac{1}{p-1}\). Then \(W^{1,p}(\nu ,\Omega )\) is continuously imbedded into \(W^{1,p_{1}}(\Omega )\), where \(p_{1}=\frac{pg^{*}}{g^{*}+1}\).
Remark 2.2
By virtue of compact imbedding theorems (see [6]) and Lemma 2.1, we obtain that the imbedding
is compact for \(1\leq q< \frac{Np_{1}}{N-p_{1}}\) if \(N>p_{1}\), for \(1\leq q< \infty \) if \(N=p_{1}\), for \(1 \leq q < \infty \) if \(N< p_{1}\). Therefore, if we also suppose that the number \(g^{*}\) from Lemma 2.1 satisfies \(g^{*}> \frac{N}{p}\). then \(W^{1,p}(\mu ,\Omega )\) is compactly imbedded into \(L^{p}(\Omega )\).
In the second place, we introduce the definition of weak solution.
Definition 2.3
If \(u(x,t)\) is a \(L^{\infty }({Q_{T}})\) function, it satisfies
and
then \(u(x,t)\) is said to be the weak solution of equation (1.1) with the initial boundary values (1.7)–(1.8) provided that
and the boundary value condition (1.8) is satisfied in the sense of trace.
In the third place, we give the main results.
Theorem 2.4
Suppose that \(q\geq p>2\), \(a(x), b(x)\in C(\overline{\Omega })\) satisfies (1.5), \(f_{i}(s,x,t)\) is a \(C^{1}\) function on \(\mathbb{R}\times \overline{Q}_{T}\) satisfies
\(u_{0}(x)\) satisfies
If
or
then the initial-boundary value problem (1.1)–(1.7)–(1.8) has a solution.
If we do not require \(u_{t}\in L^{2}(Q_{T})\), instead, \(u_{t}\in L^{1}(0,T; W^{-1,q}(\Omega ))\) (or a more general Banach space), condition (2.10) or condition (2.11) may not be necessary. Also, condition (2.8) is only used in the proof of the \(L^{\infty }\)-norm estimate of u, and we conjecture it can be replaced by the condition
In this case, if \(u_{0}(x)\geq 0\), then by the maximal value theorem, one may prove that there is a nonnegative weak solution \(u(x,t)\) satisfying
Moreover, by considering the minimality for the variational solution, the existence and the regularity of weak solutions was studied in [20] when
However, the main aim of this paper is not to study the existence of weak solution to equation (1.1), we do not pay attention to whether conditions (2.10)(2.11) are optimal or not. Also, we do not try to compare Theorem 2.4 with the results of weak solutions given in [20]. We only give a result on the existence of weak solution for the completeness of the paper. We mainly focus on the stability of weak solutions to equation (1.1) when the coefficients \(a(x)\) and \(b(x)\) may be degenerate on the boundary ∂Ω.
Theorem 2.5
Let \(q\geq p>1\), \(a(x), b(x)\in C(\overline{\Omega })\) satisfy
\(f_{i}(s,x,t)\) be a Lipschitz function when \(|s|\leq c\), \(i=1,2,\ldots , N\). If \(u(x,t)\) and \(v(x,t)\) are two solutions of equation (1.1) with the same homogeneous boundary value condition
and with different initial values \(u_{0}(x)\) and \(v_{0}(x)\) respectively, then
If condition (2.13) is invalid, there are three cases
(a)
(b)
(c)
By Proposition 3.3, in cases (a) and (b), we still can impose the boundary value condition (2.14) and obtain stability (2.15). If \(a(x)\), \(b(x)\) satisfy (c), we cannot impose the boundary value condition (2.14) generally. Fortunately, if there are some restrictions between \(a(x)\), \(b(x)\) and \(f_{i}(s,x,t)\), we are still able to prove the following stability of weak solutions without (2.14).
Theorem 2.6
Let \(q\geq p>1\), \(a(x), b(x)\in C^{1}(\overline{\Omega })\) satisfy (1.5), \(f_{i}(s,x,t)\) be a Lipschitz function when \(|s|\leq c\). Suppose that \(u(x,t)\) and \(v(x)\) are two solutions of (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\) respectively. If \(a(x)\), \(b(x)\) and \(f_{i}(s,x,t)\) satisfy
and for η small enough,
then stability (2.15) is true.
Here, η is a small constant and \(\Omega _{\eta }=\{x\in \Omega : a(x)b(x)>\eta \}\).
Theorem 2.7
Let \(q\geq p>1\), \(a(x), b(x)\in C^{1}(\overline{\Omega })\) satisfy (1.4), \(f_{i}(s,x,t)\) be a Lipschitz function when \(|s|\leq c\). Suppose that \(u(x,t)\) and \(v(x)\) are two solutions of (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively. If \(a(x)\), \(b(x)\) and \(f_{i}(s,x,t)\) satisfy
and for η small enough,
then stability (2.15) is true.
Here, η is a small constant and \(D_{\eta }=\{x\in \Omega : a(x)+b(x)>\eta \}\). There is an essential difference between Theorem 2.6 and Theorem 2.7. In Theorem 2.6, \(a(x), b(x)\in C^{1}(\overline{\Omega })\) satisfy (1.5), and so
while in Theorem 2.7\(a(x), b(x)\in C^{1}(\overline{\Omega })\) satisfy (1.4), and so
But it is possible that there is \(x_{0}\in \Omega \),
Naturally, condition (2.16) (or (2.19)) may not be necessary. In the last section of this paper, by giving a generalization of the classical trace of \(u\in BV (Q_{T})\), we will use a reasonable partial boundary value condition instead of condition (2.16) (or (2.19)) to study the stability of weak solutions.
3 The existence of weak solutions
In this section, we want to prove Theorem 2.4. Let us first consider the following Cauchy–Dirichlet problem:
where \(u_{\varepsilon 0} \in C^{\infty }_{0}(\Omega )\), \(\|u_{\varepsilon 0}\|_{L^{\infty }(\Omega )}\leq \|u_{0}\|_{L^{\infty }( \Omega )}\), \(\vert \nabla u_{\varepsilon 0} \vert \) converges to \(|\nabla u_{0}(x)|\) in \(L^{q}(\Omega )\).
Since the convection function \(f_{i}(s,x,t)\) is a \(C^{1}\) function on \(\mathbb{R}\times \overline{Q}_{T}\), \(i=1, 2, \ldots , N\), by the classical existence theory for parabolic equations [17], similar to [8], we know there is a unique weak solution \(u_{\varepsilon }\in C^{0}([0,T];L^{2}(\Omega ))\cap L^{q}(0,T; W_{0}^{1,q}( \Omega ))\) with \(\partial _{t} u_{\varepsilon }\in L^{q'}(0,T;W^{-1,q'}(\Omega ))\). Now, let us show that
Lemma 3.1
Assume that \(a_{1}\), \(b_{1}\), λ are positive constants, where \(\lambda >\frac{1}{2}+\frac{b_{1}}{a_{1}}\). Define
Then the following properties hold:
1. For any \(s\in \mathbb{R}\), we have
2. For any \(s\geq d\), there hold constants \(d\geq 0\), \(M>1\), we have
where \(l>1\).
3. Let \(\Phi (s)=\int _{0}^{s}\varphi (\sigma )\,d\sigma \). For any \(s\geq 0\), if \(l>2\), here holds constant \(c^{\ast }>0\), we have
If \(1< l<2\), then there exist \(d\geq 0\) and \(c^{*}=c^{*}(q,d)\) such that
Lemma 3.1 can be found in [16].
Lemma 3.2
Assume that \(u_{\varepsilon }\) is a weak solution of (3.1), then there is a constant c (which is independent of ε) such that
Proof
We only give the proof provided that condition (2.10) is true. When condition (2.11) is true, this lemma can be verified in a similar way. Let k be a real number and \(\Vert u_{0} \Vert _{L^{\infty }( \Omega )}\leq k\), the function φ be defined as (3.4). Define
We can see \(\varphi (G_{k}(u_{\varepsilon }))\in V\cap L^{\infty }(Q_{T})\). So, for any \(\tau \in [0,T]\), we can choose \(v= \varphi (G_{k}(u_{\varepsilon }))\chi _{[0,\tau ]}\) as a test function (where \(\chi _{A}\) is an eigenfunction on the set A). At the same time, we know that \(v_{x_{i}}=\chi _{[0,\tau ]}\chi \{\vert u_{\varepsilon }\vert >k\} \varphi ^{\prime }(G_{k}(u_{\varepsilon }))u_{\varepsilon x_{i}}\) and \(\nabla v=\chi _{[0,\tau ]}\chi \{\vert u_{\varepsilon }\vert >k\} \varphi ^{\prime }(G_{k}(u_{\varepsilon }))\nabla u_{\varepsilon }\). Since \(f_{i}(u_{\varepsilon },x,t)\) satisfies (2.8), we have
where \(\langle u_{\varepsilon t},\varphi (G_{k}(u_{\varepsilon }))\rangle \) is the dyadic interaction between \(L^{p}(0,T; W_{0}^{1,p}(\Omega ))\) and \(L^{p'}(0,T;W^{-1,p'}(\Omega ))\).
Let \(A_{k}(t)=\{x\in \Omega :\vert u_{\varepsilon }(x,t)\vert >k\}\) depend on k. We have
Substituting (3.11) into (3.10), using Lemma 2.1, we can deduce that
Let \(\omega _{k}=\varphi (\frac{\vert G_{k}(u_{\varepsilon })\vert }{p})\). Then
By definition we know that \(A_{k}(t)\backslash A_{k+d}(t)=\{x\in \Omega :k<\vert u_{\varepsilon }(x,t) \vert \leqslant k+d\}\). So, in the set of \(A_{k}(t)\backslash A_{k+d}(t)\), we get \(0<\vert G_{k}(u_{\varepsilon })\vert \leqslant d\), \(\varphi ^{\prime }(G_{k}(u_{\varepsilon }))=\lambda e^{\lambda \vert G_{k}(u_{\varepsilon })\vert }\leqslant \lambda e^{\lambda d}\). Combining (3.6) with (3.12) and (3.13), we have
Since \(p\geq 2\), by (3.7), then
Plugging (3.15) into (3.14) and taking the supremum for \(\tau \in [0,t_{1}]\), with \(t_{1}\leq T\) to be determined later, we have
Let \(\psi _{k}=\int _{0}^{t_{1}}\mu (A_{k}(t))\,dt\). By choosing
where \(\mu (\Omega )\) is the Lebesgue measure of Ω. Now, using the embedding inequality [16, 24], we can deduce that
where γ is a constant independent of \(t_{1}\), similar to the proof of Theorem 2.2 in [16], it follows from (3.16) that
where \(r>\frac{N+p}{N}\) is a constant, and so
Therefore, thanks to the iteration lemma in [21], from (3.18), we eventually obtain that
where \(D>0\) is a constant depending only on p, N, \(t_{1}\), r, Ω. This proves that, for fixed λ validating Lemma 2.1,
Finally, we partition the time interval \([0,T]\) into finite subintervals \([0,t_{1}],[t_{1},t_{2}], \ldots , [t_{n-1},T]\) such that the conditions similar to (3.17) are available for each subinterval \([t_{i},t_{i+1}]\), then we deduce an inequality of the form (3.19). Eventually, we have conclusion (3.9). □
Proof of Theorem 2.4
Multiplying (3.1) by \(u_{\varepsilon }\) and integrating it over \(Q_{T}\) yield
Since \(f_{i}(s,x,t)\) is a Lipschitz function when \(|s|\leq c\), \(\frac{\partial f_{i}(s,x,t)}{\partial s}\) exists almost everywhere and is bounded. If \(\int _{\Omega }a(x)^{-\frac{2}{p-2}}\,dx<\infty \), then \(\int _{\Omega }a(x)^{-\frac{1}{p-1}}\,dx<\infty \), and
Or similarly, if \(\int _{\Omega }b(x)^{-\frac{2}{q-2}}\,dx<\infty \), we know that \(\int _{\Omega }b(x)^{-\frac{1}{q-1}}\,dx<\infty \) and
Accordingly, based on condition (2.10) or condition (2.10), by (3.20), we obtain
Let \(\Omega _{1}\subset \subset \Omega \). Then there exists a constant \(c(\Omega _{1})\) such that
By \(q\geq p>2\), (3.21) yields
Multiplying (2.9) by \(u_{\varepsilon t}\), we have
For every term in (1.7), firstly, we have
and
Secondly, if \(\int _{\Omega }a(x)^{-\frac{2}{p-2}}(x)\,dx<\infty \), by the Hölder inequality, we have
Similarly, if \(\int _{\Omega }b(x)^{-\frac{2}{q-2}}(x)\,dx<\infty \), we have
Thirdly, we have
Combining inequalities (3.24)–(3.28) with (3.23), we can extrapolate that
and so
According to the weak convergence theory, by (3.20), (3.21), (3.22), and (3.29), there exist a function u and two N-dimensional vector functions \(\overrightarrow{\zeta }=(\zeta _{1}, \ldots , \zeta _{N})\) and \(\overrightarrow{\xi }=(\xi _{1}, \ldots ,\xi _{N})\) such that
At last, it is not difficult to show that
for any given \(\varphi \in C_{0}^{1} ({Q_{T}})\). So \(u\in L^{p}(0,T; W^{1,p}_{\mathrm{loc}}(\Omega ))\cap L^{q}(0,T; W^{1,q}_{\mathrm{loc}}( \Omega ))\), and (2.6) is true.
In addition, we can choose the test function \(\varphi (x,t)=\chi _{[t_{1},t_{2}]}\phi (x)\) in which \(\phi (x)\in C_{0}^{\infty }(\Omega )\) and \(\chi _{[t_{1},t_{2}]}\) is the characteristic function of \([t_{1}, t_{2}]\subset (0,T)\). Then
Let \(t=t_{2}\) and \(t_{1}\rightarrow 0\). Then we have (2.7). Moreover, by the following proposition, u can be defined as the trace on the boundary ∂Ω, u is a solution of equation (1.1) with the initial-boundary value conditions (1.7)–(1.8). Theorem 2.4 is proved. □
Proposition 3.3
If \(u(x,t)\) is a weak solution of equation (1.1) with the initial value condition (1.4) and one of the following conditions is true:
(i)
(ii)
then
Proof
If (i) is true, then
Similarly, if (ii) is true, we also have (3.32). □
4 The stability of the initial-boundary value problem
For small \(\eta >0\), we introduce the following functions:
Obviously, we have \(| sh_{\eta }(s)| \leq 1\) and
Proposition 4.1
Let \(u(x,t)\) and \(v(x,t)\) be two solutions of equation (1.1) with the homogeneous value condition
and with different initial values \(u_{0}(x)\) and \(v_{0}(x)\) respectively. If \(p>1\), (3.30) or (3.31) is true, and
then
Proof
Since (3.30) or (3.31) is true, Proposition 3.3 implies that the boundary value condition (4.2) is true in the sense of trace. Choose \(\varphi =\chi _{[\tau ,s]}S_{\eta }(u-v)\) as the test function, where \(\chi _{[\tau ,s]}\) is the characteristic function of \([\tau , s]\subset (0,T)\). Then
By that \(\iint _{Q_{T}}|u_{t}|\,dx\,dt\leq c\), \(\iint _{Q_{T}}|v_{t}|\,dx\,dt\leq c\), we can use the dominated convergence theorem to obtain
Also, since a p-Laplacian operator is a monotone operator, then we have
and
Moreover, since \(f_{i}(s,x,t)\) satisfies (4.3), we have
Finally, let \(\eta \rightarrow 0\) in (4.4). By (4.5)–(4.8), we have
Let \(\tau \rightarrow 0\). Then
Proposition 4.1 is proved. □
Proof of Theorem 2.5
Comparing with Proposition 4.1, Theorem 2.5 is not with condition (4.3). By checking the proof of Proposition 4.1, we only need to show
without condition (4.3). We give the details below
When the set \(\{\Omega : |u-v|=0\}\) is with zero measure, since \(|f_{i}(u,x,t)-f_{i}(v,x,t)|\leq c\), we have
When the set \(\{\Omega : |u-v|=0\}\) is with a positive measure, by (2.13), \([a(x)^{-\frac{1}{p-1}}+b(x)^{-\frac{1}{p-1}}]\in L^{1}(\Omega )\), we have
Thus, we have the conclusion. □
5 Proof of Theorems 2.6
Proof of Theorems 2.6
Since \(a(x)b(x)=0\), \(x\in \partial \Omega \), we can define \(\Omega _{\eta }= \{ x\in \Omega :a(x)b(x)>\eta \} \),
and choose \(\chi _{[\tau ,s]}\phi _{\eta }(x)S_{\eta }(u-v)\) as the test function. Thus
At first, we have
Secondly, we have
and
Thirdly, we have
condition (2.17) yields
which goes to zero as \(\eta \rightarrow 0\). Similarly, by (2.18), we have
which goes to zero as \(\eta \rightarrow 0\).
Fourthly, since \(u(x,t),v(x,t)\in L^{\infty }(Q_{T})\), condition (2.17) yields
Moreover, by condition (2.16), we have
Finally, let \(\eta \rightarrow 0\) in (5.2). Then
where \(k<1\).
By the generalized Gronwall inequality [28], we can extrapolate
Letting \(\tau \rightarrow 0\), we have the stability (2.15). □
Corollary 5.1
Suppose that \(a(x)\) and \(b(x)\) satisfy condition (a) or condition (b), and satisfy (2.17)(2.18). Let \(q\geq p>1\), \(a(x), b(x)\in C^{1}(\overline{\Omega })\) satisfy (1.5), and when \(|s_{1}|, |s_{2}|\leq c\), there is a nonnegative continuous function \(g_{i}(x)\) such that
If \(u(x,t)\) and \(v(x,t)\) are two solutions of (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\) respectively and with the homogeneous boundary value condition
then stability (2.15) is true, where
Proof
Similar to the proof of Theorem 2.6, we have (5.2)–(5.7). Since \(a(x)\) and \(b(x)\) satisfy condition (a) or condition (b), Proposition 3.3 means that the partial boundary value condition (5.11) is true in the classical sense of the trace. Then by condition (2.17) it yields
The remaining process of the proof can be completed as that of Theorem 2.6. □
6 Proof of Theorems 2.7
In this section, we use a similar method as that used in the proof of Theorem 2.6 to prove Theorem 2.7.
Proof of Theorem 2.7
Let \(u(x,t)\) and \(v(x,t)\) be two weak solutions of equation (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\) respectively. Different from the proof of Theorem 2.6), \(a(x)\) and \(b(x)\) may satisfy (2.22).
Since \(a(x)=b(x)=0\) when \(x\in \partial \Omega \), but \(a(x)+b(x)>0\) when \(x\in \Omega \), we define \(D_{\eta }= \{ x\in \Omega :a(x)+b(x)>\eta \} \) and let
By choosing \(\chi _{[\tau ,s]}\varphi _{\eta }(x)S_{\eta }(u - v)\) as the test function, we have
Directly, we have the following three formulas similar to (5.3)–(5.5):
and
Moreover, condition (2.20) yields
which goes to zero as \(\eta \rightarrow 0\). Similarly, by (2.14), we can show that
which goes to zero as \(\eta \rightarrow 0\).
At the same time, since \(u(x,t),v(x,t)\in L^{\infty }(Q_{T})\), condition (2.19) yields
For another term on the left-hand side of (6.2), conditions (2.19)–(2.21) yield
Finally, let \(\eta \rightarrow 0\) in (6.2). Then
where \(k<1\).
Similar to the proof of Theorem 2.6, we can deduce conclusion (2.15). □
Corollary 6.1
Suppose that \(a(x)\) and \(b(x)\) satisfy condition (a) or condition (b), and satisfy (2.20), (2.21). Let \(q\geq p>1\), \(a(x), b(x)\in C^{1}(\overline{\Omega })\) satisfy (1.4), and when \(|s_{1}|, |s_{2}|\leq c\), \(f_{i}(s,x,t)\) satisfies (5.10). If \(u(x,t)\) and \(v(x)\) are two solutions of (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\) respectively and with the homogeneous boundary value condition
then stability (2.15) is true, where
The proof is similar to that of Corollary 5.1, we omit the details here.
7 A generalization of trace
Let \(BV(\Omega )\) be the BV function space, i.e., \(\vert \frac{\partial f}{\partial x_{i}} \vert \) is a regular measure, and
Then \(C_{0}^{\infty }(\Omega )\) is dense in \(BV(\Omega )\), and so the trace of \(f(x)\in BV(\Omega )\) on the boundary ∂Ω is defined as the limit of a sequence \(f_{\varepsilon }(x)\) as
It is well known that a BV function space is the weakest space such that integration by parts is still true.
For a degenerate parabolic equation, how to impose a suitable boundary condition has been an important and difficult problem for a long time. For example, if we consider the reaction-diffusion equation
if \(a(u,x,t)\) is smooth enough, then the weak solution \(u(x,t)\in BV(Q_{T})\) can be proved, and so one can impose the boundary value condition (1.8) in the sense of trace in the classical way [26, 30, 32]. However, if \(a(u,x,t)\) is just a continuous function or just a integral function, then one only can prove that there is a weak solution \(u(x,t)\in L^{\infty }(Q_{T})\), but \(u(x,t)\) may not be a BV function. Equation (7.2) is of hyperbolic-parabolic mixed type. When \(a\equiv 0\), equation (7.1) becomes a first-order hyperbolic equation, if the solution is merely in \(L^{\infty }\), the author of [23] first extended the trace in a weaker sense by introducing an integral formulation of the boundary condition. [23]’s idea was generalized to deal with well-posedness of weak solutions to the strongly degenerate parabolic equations (7.2) in [1, 2, 7, 11, 14, 15, 18, 22].
In this paper, we first consider the evolutionary p-Laplacian equations of the form
where \(D_{i} =\frac{\partial }{\partial x_{i}}\), \(\alpha (x)\in C(\Omega )\), \(\alpha (x)> 0\) in Ω but may be equal to 0 on the boundary ∂Ω. The author of [25] classified the boundary ∂Ω into three parts: the nondegenerate boundary \(\Sigma _{3}\), the weakly degenerate boundary \(\Sigma _{4}\), and the strongly degenerate boundary \(\Sigma ^{0}\). In detail, the author of [25] denoted that
where \(B_{r}(x)=\{y: d(x,y)< r\}\). Meanwhile, they defined
where \(\vec{n}=\{n_{i}(x)\}\) is the inner normal vector of ∂Ω. In order to study the well-posedness of weak solutions to equation (7.3), they imposed a partial boundary value condition as
where \(g(x,t)\) is an appropriately smooth function.
According to Proposition 3.3, it is obvious that on \((\Sigma _{3}\cup \Sigma _{4})\times (0,T)\) the boundary value condition is true in the classical trace sense. So, the trouble lies in that the classical trace of u on the strongly degenerate boundary \(\Sigma ^{0}\) cannot be defined.
Denote that \(\Omega _{\lambda }=\{x\in \Omega : d(x)>\lambda \}\) when λ is a positive infinite variable, and denote by B the closure of the set \(C_{0}^{\infty }(Q_{T})\) with respect to the norm
The author of [25] defined the trace of \(u\in \mathbf{B}\), \(u(x,t)=0\) on \(\Sigma _{2}\) as
Remark 2.2 in [25] pointed out that the usual trace of \(u\in \mathbf{B}\), \(u(x,t)=0\) on \(\Sigma _{3}\cup \Sigma _{4}\) also satisfies (7.5). So, (7.5) is a generalization of the usual trace of \(u\in BV(Q_{T})\) to that of \(u\in \mathbf{B}\).
Moreover, we can generalize the trace of \(u\in BV(Q_{T})\) to that of \(u\in \mathbf{B}\) by a more general way. Let \(\phi (x)\) be a weak characteristic function of Ω [33], i.e., \(\phi (x)\in C(\overline{\Omega })\cap C^{1}(\Omega \setminus \Omega _{\mu })\) and
where
In a very recent paper [34], using some idea of [25], we defined the trace of \(u\in \mathbf{B}\), \(u(x,t)=0\) on \(\Sigma ^{0}\) as
and the partial boundary value condition matching up with equation (7.3) is
in the sense of (7.5), where
Secondly, let us come back to our main equation (1.1). Denote that
and
If \(a(x)\), \(b(x)\) satisfy (c), we cannot impose the boundary value condition (7.7) in the sense of the classical trace generally. However, inspired by [25, 34], if \(f_{i}\) satisfies (5.10), by checking the proof of Corollary 5.1, then we may generalize the trace of \(u\in BV(Q_{T})\) to that of \(u\in \mathbf{B_{p}\cap B_{q}}\), \(u(x,t)=0\) as
Accordingly, if \(a(x)\), \(b(x)\) satisfy (c), in order to study the uniqueness of weak solution to equation (1.1), we can impose the partial boundary value condition
in the sense of (7.8), where
and
Naturally, there are other ways to generalize the trace. For example, similar to [25, 34], one also can generalize the trace of \(u\in BV(Q_{T})\) to that of \(u\in \mathbf{B_{p}\cap B_{q}}\), \(u(x,t)=0\) as
In this weak sense of trace, one also can study the stability of weak solution to equation (1.1) with the partial boundary value condition (7.9), provided \(f_{i}\) satisfies
The details are omitted here.
8 About the regularity
The following parabolic equation with p, q-growth
was studied in [8]. Actually, the main equation considered in [8] has a more general sense. The following definitions and theorems are deduced from [8] directly.
Definition 8.1
We identify a function \(u\in L^{q}_{\mathrm{loc}}(0,T; W^{1,q}_{\mathrm{loc}}(\Omega ))\) as a weak solution of equation (8.1) if and only if
Theorem 8.2
(A priori estimate)
Let \(u\in L^{q}_{\mathrm{loc}}(0,T; W^{1,q}_{\mathrm{loc}}(\Omega ))\) be a weak solution of equation (8.1). Assume that
Then we have \(\nabla u\in L^{\infty }(Q_{T}, \mathbb{R}^{N})\), and for any parabolic cylinder \(Q_{\rho }(z_{0})\subset \subset Q_{T}\) and \(s\in (0,1)\), there holds
for a constant c which goes to ∞ as \(q\rightarrow p+\frac{4}{N}\), where \(\hat{n}=n\) if \(n\geq 3\), \(\hat{n}=\textit{any number}\in (2,\frac{4}{q-p} )\) if \(n=2\).
Definition 8.3
We identify a function
as a weak solution of the Cauchy–Dirichlet problem to equation (8.1) if and only if (8.2) holds and, moreover, the homogeneous Dirichlet boundary value condition is true in the sense of trace, the initial value condition is true in the sense
By considering the Cauchy–Dirichlet problem to the following equation related to the q-Laplacian
according to [17], there is a unique weak solution \(u_{\varepsilon }\in C^{0}([0,T];L^{2}(\Omega ))\cap L^{q}(0,T; W_{0}^{1,q}( \Omega ))\) with \(\partial _{t} u_{\varepsilon }\in L^{q'}(0,T;W^{-1,q'}(\Omega ))\). Based on this fact, using the Morse iterative technique and by the Stekov mean value method, the author of [8] proved the following theorem.
Theorem 8.4
(Existence of weak solutions)
Suppose that
holds. Then there exists a weak solution u of the Cauchy–Dirichlet problem to equation (8.1). Moreover, its \(L^{p}(0,T;W^{1,p}_{0}(\Omega ))\) norm bounded by a constant depends only on p, q, N, \(|u_{0}|_{L^{\infty }(\Omega )}\), and \(|\nabla u_{0}|_{L^{r}(\Omega )}\). Further, the solution u satisfies \(\nabla u\in L_{\mathrm{loc}}^{\infty }(Q_{T}, \mathbb{R}^{N})\) and \(u_{t}\in L^{\frac{q}{q-1}} (0,T; W^{-1,\frac{p}{q-1}}(\Omega ) )\). Once more, for any parabolic cylinder \(Q_{\rho }(z_{0})\subset \subset Q_{T}\) and \(s\in (0,1)\), there holds
where \(\hat{n}=n\) if \(n\geq 3\), \(\hat{n}=\textit{any number}\in (2,\frac{4}{q-p}-2 )\) if \(n=2\).
Recalling the main equation considered in this paper
with that \(a(x)>0\) and \(b(x)>0\) when \(x\in \Omega \). Since \(f_{i}(s,x,t)\) is a \(C^{1}\) function on \(\mathbb{R}\times \overline{Q}_{T}\), \(i=1,2,\ldots , N\), if we notice that the estimates about \(|\nabla u|\) are local in Theorems 8.2 and 8.4, besides the existence theorem (Theorem 2.4 in Sect. 2), under conditions (8.3) and (8.6), then we conjecture that estimates (8.4) and (8.7) are true correspondingly. We are ready to discuss this problem thoroughly in the future; in particular, we are concerned with the boundary estimates about the weak solution \(u(x,t)\) and the estimate of its gradient \(|\nabla u|\) near the boundary.
Availability of data and materials
No applicable.
References
Andreianov, B.P., Bendahmane, M., Karlsen, K.H.: Discrete duality finite volume schemes for doubly nonlinear degenerate hyperbolic-parabolic equations. http://www.math.ntnu.no/conservation/2009/001.html. Preprint
Andreianov, B.P., Bendahmane, M., Karlsen, K.H., Ouaro, S.: Well-posedness results for triply nonlinear degenerate parabolic equations. J. Differ. Equ. 247, 277–302 (2009)
Antontsev, S., Diaz, J., Shmarev, S.: Energy Methods for Free Boundary Problems, Applications to Nonlinear PDES and Fluid Mechanics, Progress in Nonlinear Differential Equations and Their Applications, vol. 48. Birkhäuser, Boston (2002)
Baroni, P., Colombo, M., Mingione, G.: Harnack inequalities for double phase functionals. Nonlinear Anal. 121, 206–222 (2015)
Baroni, P., Colombo, M., Mingione, G.: Nonautonomous functionals, borderline cases and related function classes. Algebra Anal. 27, 6–50 (2015) translation in St. Petersburg Math. J. 27, 347–379 (2016)
Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. Partial Differ. Equ. 57, 57–62 (2018)
Bendahmane, B., Karlsen, K.H.: Uniqueness of entropy solutions for quasilinear anisotropic degenerate parabolic equation. Contemp. Math. 371, 1–27 (2005)
Bögelein, V., Duzaar, F., Marcellini, P.: Parabolic equations with p, q-growth. J. Math. Pures Appl. 100, 535–563 (2013)
Bögelein, V., Duzaar, F., Marcellini, P.: Parabolic systems with p, q-growth: a variational approach. Arch. Ration. Mech. Anal. 210, 219–267 (2013)
Bögelein, V., Duzaar, F., Marcellini, P.: Existence of evolutionary variational solutions via the calculus of variations. J. Differ. Equ. 256, 3912–3942 (2014)
Carrillo, J.: Entropy solutions for nonlinear degenerate problems. Arch. Ration. Mech. Anal. 147, 269–361 (1999)
Diaz, J., Padial, J.: Uniqueness and existence of a solution in \(BV_{t}(q)\) space to a doubly nonlinear parabolic problem. Publ. Mat. 40, 527–560 (1996)
Diaz, J., Thelin, F.: On a nonlinear parabolic problem arising in some models related to turbulent flows. SIAM J. Math. Anal. 25, 1085–1111 (1994)
Kobayasi, K., Ohwa, H.: Uniqueness and existence for anisotropic degenerate parabolic equations with boundary conditions on a bounded rectangle. J. Differ. Equ. 252, 137–167 (2012)
Li, Y., Wang, Q.: Homogeneous Dirichlet problems for quasilinear anisotropic degenerate parabolic-hyperbolic equations. J. Differ. Equ. 252, 4719–4741 (2012)
Li, Z., Yan, B., Gao, W.: Existence of solutions to a parabolic \(p(x)\)-Laplace equation with convection term via \(L^{\infty }\)-esitmates. Electron. J. Differ. Equ. 2015, 46 (2015)
Lions, J.L.: Quelques méthodes de résolution des problémes aux limites non linéaries. Dunod, Paris (1969)
Lions, P.L., Perthame, B., Tadmor, E.: A kinetic formation of multidimensional conservation laws and related equations. J. Am. Math. Soc. 7, 169–191 (1994)
Liu, Z.: On the solvability of degenerate quasilinear parabolic equations of second order. Acta Math. Sin. 44, 77–84 (2001) (in Chinese)
Marcellini, P.: A variational approach to parabolic equations under general and p, q-growth conditions. Nonlinear Anal. 194, 111456 (2020)
Mascia, C., Porretta, A., Terracina, A.: Nonhomogeneous Dirichlet problems for degenerate parabolic-hyperbolic equations. Arch. Ration. Mech. Anal. 163, 87–124 (2002)
Michel, A., Vovelle, J.: Entropy formulation for parabolic degenerate equations with general Dirichlet boundary conditions and application to the convergence of FV methods. SIAM J. Numer. Anal. 41, 2262–2293 (2003)
Otto, A.: Initial-boundary value problem for a scalar conservation law. C. R. Acad. Sci., Sér. 1 Math. 322, 729–734 (1996)
Wu, Z., Zhao, J., Yin, J., Li, H.: Nonlinear Diffusion Equations. World Scientific, Singapore (2001)
Yin, J., Wang, C.: Evolutionary weighted p-Laplacian with boundary degeneracy. J. Differ. Equ. 237, 421–445 (2007)
Zhan, H.: The solution of a hyperbolic-parabolic mixed type equation on half space domain. J. Differ. Equ. 259, 1449–1481 (2015)
Zhan, H.: Existence of solutions to an evolution p-Laplacian equation with a nonlinear gradient term. Electron. J. Differ. Equ. 2017, 311 (2017)
Zhan, H.: On anisotropic parabolic equations with a nonlinear convection term depending on the spatial variable. Adv. Differ. Equ. 2019, 27 (2019)
Zhan, H.: The uniqueness of the solution to the diffusion equation with a damping term. Appl. Anal. 98, 1333–1346 (2019)
Zhan, H., Feng, Z.: A hyperbolic-parabolic mixed type equation with non-homogeneous boundary condition. J. Differ. Equ. 264, 7384–7411 (2018)
Zhan, H., Feng, Z.: The stability of the solutions of convection diffusion equation. Nonlinear Anal. 182, 193–208 (2019)
Zhan, H., Feng, Z.: Partial boundary value condition for a degenerate parabolic equation. J. Differ. Equ. 267, 2874–2890 (2019)
Zhan, H., Feng, Z.: The well-posedness problem of an anisotropic parabolic equation. J. Differ. Equ. 268, 389–413 (2020)
Zhan, H., Feng, Z.: Optimal partial boundary condition for degenerate parabolic equations. J. Differ. Equ. 184, 156–182 (2021)
Zhang, Q., Radulescu, V.D.: Double phase anisotropic variational problems and combined effects of reaction and absorption terms. J. Math. Pures Appl. 118, 159–203 (2018)
Acknowledgements
The author would like to express his sincere thanks to the reviewers and the editors.
Funding
The paper is supported by NSF Fujian province, China (no: 2019J01858).
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
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
Zhan, H. On a degenerate parabolic equation from double phase convection. Adv Differ Equ 2021, 502 (2021). https://doi.org/10.1186/s13662-021-03659-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03659-4