Skip to main content

On a weak solution matching up with the double degenerate parabolic equation


The well-posedness of weak solutions to a double degenerate evolutionary \(p(x)\)-Laplacian equation

$$ {u_{t}}= \operatorname{div} \bigl(b(x,t){ \bigl\vert {\nabla A(u)} \bigr\vert ^{p(x) - 2}}\nabla A(u)\bigr), $$

is studied. It is assumed that \(b(x,t)| _{(x,t)\in \varOmega \times [0,T]}>0\) but \(b(x,t) | _{(x,t)\in \partial \varOmega \times [0,T]}=0\), \(A'(s)=a(s)\geq 0\), and \(A(s)\) is a strictly monotone increasing function with \(A(0)=0\). A weak solution matching up with the double degenerate parabolic equation is introduced. The existence of weak solution is proved by a parabolically regularized method. The stability theorem of weak solutions is established independent of the boundary value condition. In particular, the initial value condition is satisfied in a wider generality.

1 Introduction

In this paper, the double degenerate evolutionary \(p(x)\)-Laplacian equation

$$ u_{t} =\operatorname{div}\bigl(b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)-2}\nabla A(u)\bigr)+f(x,t,u, \nabla u),\quad (x,t) \in {Q_{T}} = \varOmega \times (0,T), $$

is considered, in which \(\varOmega \subset \mathbb{R}^{N}\) is a bounded domain with smooth boundary ∂Ω, \(p(x)>1\) is a \(C^{1}(\overline{\varOmega })\) function, \(b(x,t)\in C^{1}(\overline{Q _{T}})\) satisfies

$$ b(x,t)>0,\quad (x,t)\in \varOmega \times [0,T];\qquad b(x,t)=0,\quad (x,t)\in \partial \varOmega \times [0,T], $$

\(A'(s)=a(s)\geq 0\) and \(a(s)\in C^{1}(\mathbb{R})\), \(A(0)=0\). If \(A(s)=s\) and \(b(x,t)=1\), equation (1.1) comes from a new interesting family of fluids, the so-called electrorheological fluids (see [1, 2]), and has been widely studied [2,3,4,5,6,7,8,9,10,11,12,13,14,15] in recent decade. If \(b(x,t)=1\), \(p(x)=p>1\) is a constant, equation (1.1) is a generalization of the following polytropic infiltration equation:

$$ u_{t}=\operatorname{div}\bigl( \bigl\vert \nabla u^{m} \bigr\vert ^{p-2}\nabla u^{m}\bigr) +f(x,t,u, \nabla u),\quad (x,t)\in Q_{T}, $$

where \(m>0\); if \(p>1+\frac{1}{m}\), we have the slow diffusion case, while for \(p<1+\frac{1}{m}\), it is the fast diffusion case. There are many papers [16,17,18,19,20,21,22,23,24,25,26,27,28,29] that studied various questions about equation (1.3) with the usual initial boundary value conditions

$$\begin{aligned} & u(x,t)=u_{0}(x),\quad x\in \varOmega, \end{aligned}$$
$$\begin{aligned} &u(x,t)=0,\quad (x,t)\in \partial \varOmega \times [0,T). \end{aligned}$$

If \(f(x,t,u, \nabla u)=\nabla B(u)\) and \(u_{0}(x)\in L^{q}(\varOmega )\) with \(q\geq 1\), the initial-boundary value problem of equation (1.3) was considered in [16]. By modifying the usual Morse iteration and imposing some restrictions on \(f(x,t,u, \nabla u)\), the local \(L^{\infty }\)-estimates were obtained, and \(u_{t}\in L^{2}( \mathbb{R}^{N}\times (\tau, T))\) was proved [16]. When \(f(x,t,u, \nabla u)=0\), the Cauchy problem of equation (1.3) with the initial value \(u_{0}(x)\in L^{1}(\mathbb{R}^{N})\) was studied in [18], the existence and uniqueness of weak solutions were proved, and \(u_{t}\in L^{1}(\mathbb{R}^{N}\times (\tau, T))\) was shown for any \(\tau >0\). When the initial value \(u_{0}(x)\) is just a measure, the Cauchy problem was considered in [19]. A more general equation was studied in [17] based on an \(L^{1}\) initial value condition. The large-time behavior of solutions to equation (1.3) had been studied in [21,22,23,24, 26], etc. The extinction, positivity, and the blow-up of solutions had been studied in [25, 27], etc. Of course, there are a lot of papers on the other subjects, such as the regularity, Harnack inequality, and the free boundary problem, etc.; for examples, one can refer to [20, 28, 29], etc. Recently, using some techniques of [18], the existence and uniqueness of weak solutions to the following equation:

$$ u_{t}=\operatorname{div}\bigl(a(x) \bigl\vert \nabla u^{m} \bigr\vert ^{p-2}\nabla u^{m} \bigr),\quad (x,t)\in Q_{T}, $$

had been studied in [30,31,32], where \(a(x)\) satisfies

$$ a(x)>0,\quad x\in \varOmega;\qquad a(x)=0,\quad x\in \partial \varOmega. $$

Equation (1.6) is always degenerate on the boundary. This is the most characteristic feature of equation (1.6) different from equation (1.3). Let us give a further explanation. For two weak solutions \(u(x,t), v(x,t)\) of equation (1.6) with the initial value (1.4) but independent of the boundary value condition (1.5), satisfying

$$ \nabla u^{m}\in L^{1}\bigl(0,T; L^{p}( \varOmega )\bigr), \qquad \nabla v^{m}\in L^{1}\bigl(0,T; L^{p}(\varOmega )\bigr), $$

multiplying by \(S_{n}(u^{m}-v^{m})\) on both sides of equation (1.6) and integrating over \(Q_{t}=\varOmega \times (0,t)\), from (1.7), one has

$$\begin{aligned} & \int _{0}^{t} S_{n} \bigl(u^{m}-v^{m}\bigr) (u_{t}-v_{t}) \,dx\,dt \\ &\quad=- \iint _{Q_{t}}a(x) \bigl( \bigl\vert \nabla u^{m} \bigr\vert ^{p-2}\nabla u^{m}- \bigl\vert \nabla v^{m} \bigr\vert ^{p-2}\nabla v^{m} \bigr) \bigl(\nabla u^{m}-\nabla v^{m} \bigr)S'_{n} \bigl(u ^{m}-v^{m}\bigr)\,dx\,dt \\ & \quad\leq 0. \end{aligned}$$

Here \(S_{n}(s)\in C^{1}(\mathbb{R})\) is such that \(\lim_{n\rightarrow \infty }S_{n}(s)=\operatorname{sgn}(s)\) is the sign function.

Let \(n\rightarrow \infty \). Then

$$ \int _{\varOmega }|u(x,t)-v(x,t)\,dx\leq \int _{\varOmega } \bigl\vert u_{0}(x)-v_{0}(x) \bigr\vert \,dx. $$

This inequality shows that the stability of weak solutions of equation (1.6) with the initial value (1.4) can be true, the boundary value condition (1.5) is completely redundant. In other words, for the well-posedness problem of equation (1.6), the degeneracy of \(a(x)\) on the boundary (1.7) may take the place for the Dirichlet boundary value condition (1.5).

The main aim of this paper is to generalized the above conclusion to the double degenerate evolutionary \(p(x)\)-Laplacian equation (1.1). For simplicity, we only discuss the problem when \(f(x,t,u, \nabla u) \equiv 0\) in equation (1.1). Since we assume that \(A(0)=0\), \(A(s)\) is a strictly monotone increasing function, equation (1.6) is the special case of equation (1.1). However, since the diffusion \(b(x,t)\) depends the time variable t and the nonlinearity of \(A(s)\), equation (1.1) is more general, and there are some essential difficulties that should be overcome.

2 Basic functional space and a new kind of weak solution

We should emphasize again that \(f(x,t,u, \nabla u)\equiv 0\) in what follows. Let us first introduce a basic lemma and the definition of weak solutions.

Lemma 2.1

  1. (i)

    The spaces \((L^{p(x)}(\varOmega ), \| \cdot \|_{L^{p(x)}(\varOmega )} )\), \((W^{1,p(x)}(\varOmega ), \|\cdot \|_{W^{1,p(x)}(\varOmega )} )\), and \(W^{1,p(x)}_{0}(\varOmega )\) are reflexive Banach spaces.

  2. (ii)

    Let \(p_{1}(x)\) and \(p_{2}(x)\) be real functions with \(\frac{1}{p _{1}(x)}+\frac{1}{p_{2}(x)} = 1\) and \(p_{1}(x) > 1\). Then, the conjugate space of \(L^{p_{1}(x)}(\varOmega )\) is \(L^{p_{2}(x)}(\varOmega )\). And for any \(u \in L^{p_{1}(x)}(\varOmega )\) and \(v \in L^{p_{2}(x)}(\varOmega )\), we have

    $$ \biggl\vert \int _{\varOmega }uv \,dx \biggr\vert \leq 2 \Vert u \Vert _{L^{p_{1}(x)}(\varOmega )} \Vert v \Vert _{L^{p_{2}(x)}(\varOmega )}. $$
  3. (iii)
    $$\begin{aligned} &\textit{If } \Vert u \Vert _{L^{p(x)}(\varOmega )} = 1, \quad\textit{then } \int _{ \varOmega } \Vert u \Vert ^{p(x)} \,dx = 1, \\ &\textit{If } \Vert u \Vert _{L^{p(x)}(\varOmega )} > 1, \quad\textit{then } \Vert u \Vert ^{p^{-}}_{L^{p(x)}(\varOmega )}\leq \int _{\varOmega } \vert u \vert ^{p(x)} \,dx\leq \Vert u \Vert ^{p^{+}}_{L^{p(x)}(\varOmega )}, \\ &\textit{If } \Vert u \Vert _{L^{p(x)}(\varOmega )} < 1,\quad \textit{then } \Vert u \Vert ^{p^{+}}_{L^{p(x)}(\varOmega )}\leq \int _{\varOmega } \vert u \vert ^{p(x)} \,dx\leq \Vert u \Vert ^{p^{-}}_{L^{p(x)}(\varOmega )}. \end{aligned}$$

This lemma can be found in [33, 34]. From here on, \(p^{+}= \max_{x\in \overline{\varOmega }}p(x), p^{-}=\max_{x\in \overline{ \varOmega }}p(x)\).

Definition 2.2

A function \(u(x,t)\) is said to be a weak solution of equation (1.1) with the initial condition (1.5), if

$$ u \in {L^{\infty }}({Q_{T}}),\qquad \frac{\partial }{\partial t} \int _{0}^{u} \sqrt{a(s)}\,ds \in {L^{2}}({Q_{T}}),\qquad b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \in L ^{1}(Q_{T}), $$

and for any function \(\varphi \in C_{0}^{1}(Q_{T})\), the following integral equivalence holds:

$$ \iint _{Q_{T}} \biggl[\frac{\partial u}{\partial t}\varphi (x,t) + b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)- 2}\nabla A(u) \cdot \nabla \varphi \biggr] \,dx\,dt=0. $$

Initial condition (1.5) is satisfied in the sense of

$$ \lim_{t\rightarrow 0} \int _{\varOmega } \biggl\vert \int _{0}^{u(x,t)} \sqrt{a(s)}- \int _{0}^{u_{0}(x)}\sqrt{a(s)}\,ds \biggr\vert \,dx=0. $$

In this paper, we first study the existence of the weak solution.

Theorem 2.3

If \(b(x,t)\) satisfies (1.2) and

$$ \biggl\vert \frac{\partial b(x,t)}{\partial t} \biggr\vert \leq cb(x,t), $$

\(A(s)\) is a strictly monotone increasing continuous function, \(A(0)=0\), \(u_{0}(x)\geq 0\),

$$ {u_{0}} \in {L^{\infty }}(\varOmega ),\qquad b(x,0)u_{0}(x) \in W^{1,p(x)}( \varOmega ), $$

then there is a nonnegative solution of equation (1.1) with the initial value (1.5).

Theorem 2.4

If \(b(x,t)\) satisfies (1.2), \(A(s)\) is a strictly monotone increasing function, \(A(0)=0\), and for large enough n,

$$ n^{1-\frac{1}{p^{+}}} \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}} \vert \nabla b \vert ^{p(x)}\,dx \biggr)^{\frac{1}{p^{+}}} \leq c(T), $$

\(u(x,t)\) and \(v(x,t)\) are two weak solutions of equation (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively, then

$$ \int _{\varOmega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx\leq c \int _{\varOmega } \bigl\vert u_{0}(x)-v_{0}(x) \bigr\vert \,dx, \quad\textit{a.e. } t\in [0,T). $$

From here on, b represents the gradient of the spatial variable x, and for any \(t\in [0,T)\),

$$ \varOmega _{\frac{1}{n}t}= \biggl\{ x\in \partial \varOmega: b(x,t)> \frac{1}{n} \biggr\} . $$

3 The proof of Theorem 2.3

Without loss the generality, we may assume that \(A(s)\) is a \(C^{1}\) function, \(A'(s)=a(s)\geq 0\). Consider the parabolically regularized system

$$\begin{aligned} &u_{t} = \operatorname{div}\bigl(\bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)-2}\nabla A(u)\bigr),\quad (x,t)\in Q_{T}, \end{aligned}$$
$$\begin{aligned} & u(x,0) = u_{0}(x)+\varepsilon, \quad x\in \varOmega, \end{aligned}$$
$$\begin{aligned} &u(x,t) = \varepsilon,\quad (x,t)\in \partial \varOmega \times (0,T). \end{aligned}$$

Proof of Theorem 2.3

Similar as in [35, 36], by the monotone convergence method, we can prove that the solution \(u_{\varepsilon }\in L^{1}(0,T: W^{1,p(x)}(\varOmega ))\) of the initial-boundary value problem (3.1)–(3.3) is such that

$$ \Vert {u_{\varepsilon }} \Vert _{L^{\infty }({Q_{T}})} \leqslant c. $$

Multiplying (3.1) by \(A(u_{\varepsilon })-A(\varepsilon )\) and integrating the result over \(Q_{t}=\varOmega \times (0,t)\) for any \(t\in [0,T)\), as well as denoting

$$ \int _{0}^{r}A(s)\,ds=\mathbb{A}(r), $$

we get

$$\begin{aligned} & \int _{\varOmega }\mathbb{A}\bigl(u_{\varepsilon }(x,t)\bigr)\,dx + \iint _{{Q_{t}}} \bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}\,dx\,dt \\ &\quad= \int _{\varOmega }\mathbb{A}\bigl(u_{0}(x)\bigr)\,dx+A( \varepsilon ) \int _{\varOmega }\bigl[u(x,t)-u_{0}(x)\bigr]\,dx \end{aligned}$$


$$\begin{aligned} & \iint _{{Q_{T}}}b(x,t) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}\,dx\,dt \\ &\quad \leq c \iint _{{Q_{T}}}\bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}\,dx\,dt \\ & \quad \leq c. \end{aligned}$$

Multiplying (3.1) by \([A(u_{\varepsilon })-A(\varepsilon )]_{t}\) and integrating the result over \(Q_{t}=\varOmega \times (0,t)\),

$$\begin{aligned} &\iint _{{Q_{t}}}\bigl(A(u_{\varepsilon })\bigr)_{t}u_{\varepsilon t} \,dx\,dt+ \iint _{{Q_{t}}} \bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)- 2}\nabla A(u_{\varepsilon })\nabla \bigl(A(u_{\varepsilon })\bigr)_{t} \,dx\,dt \\ &\quad =0. \end{aligned}$$


$$ \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)- 2}\nabla \bigl(A(u_{ \varepsilon })\bigr)_{t}=\frac{1}{2} \frac{\partial }{\partial t} \int _{0} ^{ \vert \nabla A(u_{\varepsilon }) \vert ^{2}}s^{\frac{p(x)-2}{2}}\,ds, $$

and \(\vert \frac{\partial b(x,t)}{\partial t} \vert \leq cb(x,t)\), we obtain

$$\begin{aligned} &\iint _{{Q_{t}}} \bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)- 2}\nabla A(u_{\varepsilon })\nabla \bigl(A(u_{\varepsilon })\bigr)_{t} \,dx\,dt \\ &\quad = \frac{1}{2} \iint _{{Q_{t}}}\frac{\partial }{\partial t} \biggl[\bigl(b(x,t)+ \varepsilon \bigr) \int _{0}^{ \vert \nabla A(u_{\varepsilon }) \vert ^{2}}s^{ \frac{p(x)-2}{2}}\,ds \biggr]\,dx \,dt \\ &\qquad{}-\frac{1}{2} \iint _{{Q_{t}}} \int _{0}^{ \vert \nabla A(u_{\varepsilon }) \vert ^{2}}s ^{\frac{p(x)-2}{2}}\,ds \frac{\partial b(x,t)}{\partial t}\,dx\,dt \\ &\quad = \frac{1}{2} \int _{\varOmega }\frac{2}{p(x)} \bigl[\bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)} -\bigl(b(x,0)+ \varepsilon \bigr) \bigl\vert \nabla A(u _{0}) \bigr\vert ^{p(x)} \bigr]\,dx \\ &\qquad{}+c \iint _{{Q_{t}}}\frac{b(x,t)}{p(x)} \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}\,dx\,dt \\ &\quad \leq c. \end{aligned}$$


$$ \iint _{{Q_{t}}}\bigl(A(u_{\varepsilon })\bigr)_{t}u_{\varepsilon t} \,dx\,dt= \iint _{{Q_{t}}}a(u_{\varepsilon }) \vert u_{\varepsilon t} \vert ^{2}\,dx\,dt\leqslant c. $$

By (3.6), \(u_{\varepsilon }\rightharpoonup u \) weakly-* in \(L^{\infty }(Q_{T})\). For any \(\varphi (x,t)\in C_{0}^{1}(Q_{T})\), we have

$$\begin{aligned} &\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\frac{\partial }{\partial t} \biggl( \int _{0}^{u_{\varepsilon }}\sqrt{a(s)}\,ds- \int _{0}^{u} \sqrt{a(s)}\,ds \biggr)\varphi (x,t)\,dx\,dt \\ &\quad =-\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}} \int _{u}^{u_{\varepsilon }}\sqrt{a(s)}\,ds\varphi _{t}(x,t)\,dx\,dt \\ &\quad =-\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\sqrt{a(\xi )}(u-u _{\varepsilon })\varphi _{t}(x,t)\,dx\,dt \\ &\quad =0, \end{aligned}$$

where \(\xi \in (u,u_{\varepsilon })\) is the mean value. From (3.9) we can extrapolate that

$$ \frac{\partial }{\partial t} \int _{0}^{u_{\varepsilon }}\sqrt{a(s)}\,ds \rightharpoonup \frac{\partial }{\partial t} \int _{0}^{u}\sqrt{a(s)}\,ds \quad\text{in } L^{2}(Q_{T}). $$

Hence, by (3.6), there exists an n-dimensional vector \(\overrightarrow{\zeta }= ({\zeta _{1}}, \dots,{\zeta _{n}})\) such that \(\overrightarrow{\zeta }= ({\zeta _{1}}, \dots,{\zeta _{n}})\) and

$$ \vert \overrightarrow{\zeta } \vert \in L^{1}\bigl(0,T; L^{\frac{p(x)}{p(x) - 1}}(\varOmega )\bigr), $$

such that

$$ b(x,t) \bigl\vert A(\nabla u_{\varepsilon }) \bigr\vert ^{p(x) - 2} \nabla {u_{\varepsilon }} \rightharpoonup \overrightarrow{\zeta }\quad \text{in } L^{1}(Q_{T}). $$

In order to prove that u is a solution of equation (1.1), we notice that for any function \(\varphi \in C_{0}^{1}({Q_{T}})\),

$$ \iint _{{Q_{T}}} \bigl[u_{\varepsilon t}\varphi + \bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x) - 2}\nabla A(u_{ \varepsilon }) \cdot \nabla \varphi \bigr]\,dx\,dt =0. $$

As \(\varepsilon \rightarrow 0\), since \(b(x,t)\) is a \(C^{1}(\overline{Q _{T}})\) function with \(b(x,t)| _{\partial \varOmega \times [0,T]}=0\), \(b(x,t)>0, (x,t)\in \varOmega \times [0,T]\), we get \(c> \max_{\mathrm{supp} \varphi }\frac{|\nabla \varphi |}{b(x,t)}>0\) due to \(\varphi \in C_{0}^{\infty }({Q_{T}})\), and accordingly,

$$\begin{aligned} &\varepsilon \biggl\vert \iint _{Q_{T}} \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2} \nabla A(u_{\varepsilon })\cdot \nabla \varphi \,dx\,dt \biggr\vert \\ &\quad\leq \varepsilon \sup_{\mathrm{supp} \varphi } \frac{ \vert \nabla \varphi \vert }{b(x,t)} \iint _{Q_{T}}b(x,t) \bigl( \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}+c\bigr)\,dx\,dt \\ &\quad\rightarrow 0, \end{aligned}$$

as well as

$$\begin{aligned} &\iint _{Q_{T}}\vec{\zeta }\cdot \nabla \varphi \,dx\,dt\\ &\quad = \lim _{\varepsilon \rightarrow 0} \iint _{Q_{T}}b(x,t) \bigl\vert \nabla A(u_{ \varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon })\cdot \nabla \varphi dx \,dt \\ &\quad =\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\bigl(b(x,t)+\varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon })\cdot \nabla \varphi \,dx\,dt \\ &\qquad{}-\lim_{\varepsilon \rightarrow 0}\varepsilon \iint _{Q_{T}} \bigl\vert \nabla A(u _{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon })\cdot \nabla \varphi \,dx\,dt \\ &\quad =\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\bigl(b(x,t)+\varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon })\cdot \nabla \varphi \,dx\,dt. \end{aligned}$$

Now, for any function \(\varphi \in C_{0}^{1} ({Q_{T}})\),

$$ \iint _{{Q_{T}}} {(u \varphi _{t}+ \vec{\zeta }\cdot \nabla \varphi ) \,{{d}}x\,{{d}}t} = 0. $$

We shall prove that

$$\begin{aligned} &\iint _{{Q_{T}}} b(x,t) \bigl\vert {\nabla A(u_{\varepsilon })} \bigr\vert ^{p(x) - 2}\nabla A(u_{\varepsilon }) \cdot \nabla \varphi \,dx\,dt \\ &\quad = \iint _{{Q_{T}}} \overrightarrow{\zeta }\cdot \nabla \varphi \,dx \,dt. \end{aligned}$$

We choose \(0 \leqslant \psi \in C_{0}^{\infty }({Q_{T}})\) and \(\psi =1\) in suppφ, and let \(v \in {L^{\infty }}( {Q_{T}}),{b(x,t)}{ \vert {\nabla A(v)} \vert ^{p(x)}} \in {L^{1}}( {Q_{T}})\). Then

$$\begin{aligned} & \iint _{{Q_{T}}} \psi \bigl(b(x,t)+\varepsilon \bigr) \bigl({ \bigl\vert {\nabla A( {u_{\varepsilon }})} \bigr\vert ^{p(x) - 2}} \nabla {A(u_{\varepsilon })} \\ &\qquad{}- { \bigl\vert {\nabla A(v)} \bigr\vert ^{p(x)- 2}}\nabla A(v) \bigr) \cdot \bigl(\nabla {A(u_{\varepsilon })} - \nabla A(v)\bigr)\,dx\,dt \\ &\quad \geqslant 0. \end{aligned}$$

Let \(\varphi = \psi {A(u_{\varepsilon })}\) in (3.11). Then

$$\begin{aligned} & \iint _{{Q_{T}}} \psi \bigl(b(x,t)+\varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}\,dx\,dt \\ &\quad = \iint _{{Q_{T}}} {\psi _{t}}\mathbb{A}(u_{\varepsilon }) \,dx\,dt \\ &\qquad{} - \iint _{{Q_{T}}} \bigl(b(x,t)+\varepsilon \bigr) {A(u_{\varepsilon })} \bigl\vert \nabla A(u _{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon })\nabla \psi \,dx\,dt. \end{aligned}$$


$$\begin{aligned} & \iint _{Q_{T}} \psi _{t}\mathbb{A}(u_{\varepsilon }) \,dx\,dt - \iint _{Q _{T}}\bigl(b(x,t)+\varepsilon \bigr) A(u_{\varepsilon }) ( \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon }) \cdot \nabla \psi \,dx\,dt \\ &\qquad{}- \iint _{Q_{T}}\bigl(b(x,t)+\varepsilon \bigr)\psi \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2} \nabla A(u_{\varepsilon })\nabla A(v)\,dx\,dt \\ &\qquad{}- \iint _{Q_{T}}\bigl(b(x,t)+\varepsilon \bigr)\psi \bigl\vert \nabla A(v) \bigr\vert ^{p(x)-2} \nabla A(v)\cdot \nabla \bigl(A(u_{\varepsilon })- A(v)\bigr)\,dx\,dt \\ &\quad \geq 0. \end{aligned}$$


$$\begin{aligned} & \iint _{{Q_{T}}} \psi _{t}\mathbb{A}(u_{\varepsilon }) \,dx\,dt - \iint _{{Q_{T}}} \bigl(b(x,t)+\varepsilon \bigr)A(u_{\varepsilon }) ( \bigl\vert \nabla A(u _{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla A(u_{\varepsilon }) \cdot \nabla \psi \,dx\,dt \\ &\qquad{}- \iint _{Q_{T}}\bigl(b(x,t)+\varepsilon \bigr)\psi \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2} \nabla A(u_{\varepsilon })\nabla A(v)\,dx\,dt \\ &\qquad{} - \iint _{{Q_{T}}} \psi b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2} \nabla A(v) \cdot \bigl(\nabla A(u_{\varepsilon }) - \nabla A(v)\bigr)\,dx\,dt \\ &\qquad{}-\varepsilon \iint _{Q_{T}}\psi \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2} \nabla A(v) \cdot \bigl(\nabla A(u_{\varepsilon })- \nabla A(v)\bigr)\,dx\,dt \\ &\quad \geqslant 0. \end{aligned}$$


$$\begin{aligned} &\varepsilon \biggl\vert \iint _{Q_{T}} \psi \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2}\nabla A(v) \cdot \bigl(\nabla A(u_{\varepsilon }) - \nabla A(v)\bigr)\,dx\,dt \biggr\vert \\ &\quad \leqslant \varepsilon \mathop{\sup } _{(x,t) \in {Q_{T}}} \frac{ \vert \psi \vert }{b(x,t)} \iint _{{Q_{T}}} b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 1} \bigl\vert \nabla A(u_{\varepsilon }) - \nabla A(v) \bigr\vert \,dx\,dt \\ &\quad \leqslant \varepsilon \mathop{\sup } _{(x,t) \in {Q_{T}}} \frac{ { \vert {\psi } \vert }}{{b(x,t)}} \biggl( \iint _{{Q_{T}}} b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)}\,dx\,dt \\ &\qquad{}+ \iint _{{Q_{T}}} b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)-1} \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert \,dx\,dt \biggr) \end{aligned}$$

converges to 0 when \(\varepsilon \rightarrow 0\), we have

$$\begin{aligned} &\iint _{{Q_{T}}} \psi _{t}\mathbb{A}(u)\,dx\,dt - \iint _{{Q_{T}}}A(u)\overrightarrow{ \zeta }\cdot \nabla \psi \,dx \,dt \\ &\qquad{}- \iint _{{Q_{T}}} \psi \overrightarrow{\zeta }\cdot \nabla A(v)\,dx \,dt \\ &\qquad{}- \iint _{{Q_{T}}} \psi b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2} \nabla A(v) \cdot \bigl(\nabla A(u) - \nabla A(v)\bigr)\,dx\,dt \\ &\quad \geqslant 0. \end{aligned}$$

Let \(\varphi =\psi A(u)\) in (3.12). We obtain

$$\begin{aligned} &\iint _{{Q_{T}}} \psi \overrightarrow{\zeta }\cdot \nabla A(u)\,dx \,dt - \iint _{{Q_{T}}}\mathbb{A}(u)\psi _{t}\,dx\,dt+ \iint _{{Q_{T}}}A(u)\overrightarrow{ \zeta }\cdot \nabla \psi \,dx \,dt \\ &\quad = 0. \end{aligned}$$


$$ \iint _{{Q_{T}}} \psi \bigl(\overrightarrow{\zeta }- b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2}\nabla A(v) \bigr) \cdot \bigl( \nabla A(u) - \nabla A(v)\bigr)\,dx\,dt \geqslant 0. $$

Let \(A(v)=A(u)- \lambda \varphi,\lambda >0,\varphi \in C_{0}^{1}(Q _{T})\), or equivalently, \(v=A^{-1}(A(u)-\lambda \varphi )\). Then

$$ \iint _{{Q_{T}}} \psi \bigl(\overrightarrow{\zeta }- b(x,t) \bigl\vert \nabla \bigl(A(u) - \lambda \varphi \bigr) \bigr\vert ^{p(x)- 2} \nabla \bigl(A(u) - \lambda \varphi \bigr) \bigr) \cdot \nabla \varphi \,dx\,dt \geqslant 0. $$

If \(\lambda \rightarrow 0\), then

$$ \iint _{{Q_{T}}} \psi \bigl(\overrightarrow{\zeta }-b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)- 2}\nabla A(u) \bigr) \cdot \nabla \varphi \,dx\,dt\geqslant 0. $$

Moreover, if \(\lambda <0\), similarly we can get

$$ \iint _{{Q_{T}}} \psi \bigl(\overrightarrow{\zeta }-b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) \bigr) \cdot \nabla \varphi \,dx\,dt\leqslant 0. $$


$$ \iint _{{Q_{T}}} \psi \bigl(\overrightarrow{\zeta }-b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) \bigr) \cdot \nabla \varphi \,dx\,dt = 0. $$

Noticing that \(\psi = 1\) on suppφ, (3.13) holds.

At last, let us prove the initial value condition (1.4) in the sense of (2.3). For any \(0\leq t_{1}< t_{2}< T\), by (3.8),

$$\begin{aligned} & \int _{\varOmega } \biggl\vert \int _{0}^{u_{\varepsilon }(x,t_{2})} \sqrt{a(s)}- \int _{0}^{u_{\varepsilon }(x,t_{1})}\sqrt{a(s)}\,ds \biggr\vert \,dx \\ &\quad \leq(t_{2}-t_{1}) \int _{\varOmega } \biggl\vert \int _{0}^{1}\frac{\partial }{ \partial s} \int _{0}^{u_{\varepsilon }(x,st_{2}+(1-s)t_{1})} \sqrt{a(s)}\,ds \biggr\vert \,dx \\ &\quad \leq(t_{2}-t_{1}) \int _{\varOmega } \int _{0}^{1} \biggl\vert \frac{\partial }{ \partial s} \int _{0}^{u_{\varepsilon }(x,st_{2}+(1-s)t_{1})} \sqrt{a(s)} \biggr\vert \,ds \,dx \\ &\quad \leq(t_{2}-t_{1}) \int _{0}^{T} \int _{\varOmega } \biggl\vert \frac{\partial }{ \partial t} \int _{0}^{u_{\varepsilon }(x,s)}\sqrt{a(s)} \biggr\vert \,ds\,dx \,dt \\ &\quad \leq(t_{2}-t_{1}) \biggl( \int _{0}^{T} \int _{\varOmega }\bigl|\sqrt{a(u_{ \varepsilon })} \vert u_{\varepsilon t} \bigr| ^{2}\,dx\,dt \biggr)^{\frac{1}{2}} \\ &\quad \leq c(t_{2}-t_{1}). \end{aligned}$$

Thus u satisfies equation (1.1) in the sense of Definition 2.2. □

4 Stability theorem

Proof of Theorem 2.4

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. For any given positive integer n, let \({S_{n}}(s)\) be an odd function, and

$$\begin{aligned} &{S_{n}}(s) = \textstyle\begin{cases} {1,}&{s > \frac{1}{n},} \\ {{n^{2}}{s^{2}}{{\text{e}}^{1 - {n^{2}}{s^{2}}}},}&{0\leq s \leqslant \frac{1}{n},} \end{cases}\displaystyle \\ &H_{n}(s)= \int _{0}^{s}S_{n}(s)\,ds. \end{aligned}$$


$$ \lim_{n\rightarrow 0}S_{n}(s)=\operatorname{sgn}(s),\quad s\in (-\infty, + \infty ). $$

Denote \(\varOmega _{\lambda t}=\{x\in \varOmega: b(x,t)>\lambda \}\) for any \(\lambda >0\), and define

$$ \phi _{n}(x,t)= \textstyle\begin{cases} 1, & \text{if } x\in \varOmega _{\frac{2}{n}t}, \\ n(b(x,t)-\frac{1}{n}), & \text{if } x\in \varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}, \\ 0, & \text{if } x\in \varOmega \setminus \varOmega _{\frac{1}{n}t}. \end{cases} $$

By a limiting procedure, we can choose \(\phi _{n}{S_{n}}(A(u) - A(v))\) as a test function, and get

$$\begin{aligned} & \int _{0}^{t} \int _{{\varOmega }} \phi _{n}(x,t){S_{n}} \bigl(A(u) - A(v)\bigr)\frac{ \partial (u - v)}{\partial t}\,dx\,dt \\ &\qquad{}+ \int _{0}^{t} \int _{\varOmega } b(x,t) \bigl( \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) - \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2}\nabla Av\bigr) \\ &\qquad{}\times \nabla \bigl(A(u) - A(v)\bigr)S'_{n} \bigl(A(u)-A(v)\bigr)\phi _{n}(x,t)\,dx\,dt \\ &\qquad{}+ \int _{0}^{t} \int _{\varOmega } b(x,t) \bigl( \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) - \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2} \nabla A(v)\bigr) \\ &\qquad{}\times S_{n}\bigl(A(u)-A(v)\bigr)\nabla \phi _{n}(x,t) \,dx\,dt \\ &\quad =0. \end{aligned}$$

Thus, since \(A(r)\geq 0\) is a monotone increasing function,

$$\begin{aligned} &\lim_{n\rightarrow \infty } \int _{0}^{t} \int _{\varOmega }\phi _{n}(x,t) {S_{n}} \bigl(A(u) -A(v)\bigr)\frac{\partial (u - v)}{\partial t}\,dx \,dt \\ &\quad = \int _{0}^{t} \int _{\varOmega }\operatorname{sgn}\bigl(A(u) -A(v)\bigr) \frac{\partial (u - v)}{\partial t}\,dx \,dt \\ &\quad = \int _{0}^{t} \int _{\varOmega }\operatorname{sgn}(u -v)\frac{\partial (u - v)}{ \partial t}\,dx\, dt \\ &\quad = \int _{\varOmega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx- \int _{\varOmega } \bigl\vert u_{0}(x)-v_{0}(x) \bigr\vert \,dx. \end{aligned}$$

Certainly, we have

$$\begin{aligned} & \int _{0}^{t} \int _{\varOmega } b(x,t) \bigl( \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) - \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2}\nabla A(v)\bigr) \\ &\qquad{}\times \nabla \bigl(A(u) - A(v)\bigr)S'{_{n}} \bigl(A(u)-A(v)\bigr)\phi _{n}(x,t)\,dx\,dt \\ &\quad \geq 0. \end{aligned}$$

Denote \(q(x)=\frac{p(x)}{p(x)-1}\), for any \(t\in [0,T)\), \(|\nabla \phi _{n}(x,t)|=\frac{1}{\lambda }\nabla b(x,t)\) when \(x\in \varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}\); elsewhere it is identically set to zero. Then we have

$$\begin{aligned} & \biggl\vert \int _{0}^{t} \int _{\varOmega } b(x,t) \bigl( \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) \\ &\qquad{} - \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2} \nabla A(v)\bigr) \cdot \nabla \phi _{n}(x,t) S_{n}\bigl(A(u)-A(v)\bigr)\,dx\,dt \biggr\vert \\ &\quad = \biggl\vert \int _{0}^{t} \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}} b(x,t) \bigl( \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 2}\nabla A(u) \\ &\qquad{} - \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 2}\nabla A(v)\bigr) \cdot \nabla \phi _{n} g{_{n}}\bigl(A(u)-A(v)\bigr)\,dx\,dt \biggr\vert \\ &\quad \leq \int _{0}^{t}n \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}}t} b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x) - 1}+ \bigl\vert \nabla A(v) \bigr\vert ^{p(x) - 1} \bigl\vert \nabla b S{_{n}}\bigl(A(u)-A(v)\bigr) \bigr\vert \,dx \\ &\quad \leq c \int _{0}^{t} \biggl[ \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \biggr)^{\frac{1}{q ^{+}}}+ \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)} \biggr)^{\frac{1}{q^{+}}} \biggr]\,dt \\ &\qquad{}\times \int _{0}^{t}n \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla b(x,t) \bigr\vert ^{p(x)}\,dx \biggr)^{\frac{1}{p ^{+}}}\,dt \\ & \quad\leq c \int _{0}^{t} \biggl[ \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \biggr)^{\frac{1}{q ^{+}}}+ \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)} \biggr)^{\frac{1}{q^{+}}} \biggr]\,dt \\ &\qquad{}\times \int _{0}^{t}n^{1-\frac{1}{p^{+}}} \biggl( \int _{\varOmega _{ \frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}} \bigl\vert \nabla b(x,t) \bigr\vert ^{p(x)}\,dx \biggr) ^{\frac{1}{p^{+}}}\,dt \\ &\quad \leq c \int _{0}^{t} \biggl[ \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \biggr)^{\frac{1}{q ^{+}}} \\ &\qquad{}+ \biggl( \int _{\varOmega _{\frac{1}{n}t}\setminus \varOmega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)} \biggr)^{\frac{1}{q^{+}}} \biggr]\,dt, \end{aligned}$$

which goes to 0 as \(n\rightarrow 0\).

Now, let \(n\rightarrow \infty \) in (4.1). Then

$$ \int _{\varOmega } \bigl\vert u(x,t) - v(x,t) \bigr\vert \,dx \leqslant \int _{\varOmega } \bigl\vert u_{0}(x) - v_{0}(x) \bigr\vert \,dx, \quad\forall t \in [0,T). $$


5 Conclusion

The well-posedness of weak solutions to a double degenerate parabolic equation is studied in this paper. Comparing with the related works in this field, the equation considered in this paper is more general and has wider applications. It includes the nonlinear heat conduction equation, the reaction–diffusion equation, the non-Newtonian fluid equation, and the electrorheological fluid equation, etc. Though the method used in this paper seems quite standard, there are still some essential innovations. For example, the initial value condition is satisfied in a special sense and the stability of weak solutions can be proved without any boundary value condition. Certainly, since we assume that \(b(x,t)|_{x\in \varOmega }>0\) and \(A(s)\) is a strictly monotone increasing function, it excludes the strongly degenerate hyperbolic–parabolic mixed-type equations. It is well-known that for such equations, only under the entropy conditions, the uniqueness of a weak solution can be true; one can refer to the references [37,38,39,40,41] for the details. Thus, if it is only assumed that \(a(s)\geq 0\) or \(b(x,t)\) is degenerate in the interior of Ω, proving the uniqueness of a weak solution to equation (1.1) is a quite interesting and challenging problem. By the way, since equation (1.1) is isotropic, generalizing the method used in this paper to an anisotropic parabolic equation also seems very interesting. If \(A(s)=s\) and \(b(x,t)=b(x)\), some progress has been made in [42, 43] in recent years.


  1. Ruzicka, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Math., vol. 1748. Springer, Berlin (2000)

    Book  Google Scholar 

  2. Acerbi, E., Mingione, G.: Regularity results for stationary electrorheological fluids. Arch. Ration. Mech. Anal. 164, 213–259 (2002)

    Article  MathSciNet  Google Scholar 

  3. Antontsev, S., Shmarev, S.: Anisotropic parabolic equations with variable nonlinearity. Publ. Mat. 53, 355–399 (2009)

    Article  MathSciNet  Google Scholar 

  4. Antontsev, S., Shmarev, S.: Parabolic equations with double variable nonlinearlities. Math. Comput. Simul. 81, 2018–2032 (2011)

    Article  Google Scholar 

  5. Lian, S., Gao, W., Yuan, H., Cao, C.: Existence of solutions to an initial Dirichlet problem of evolutional \(p(x)\)-Laplace equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 29, 377–399 (2012)

    Google Scholar 

  6. Tersenov Alkis, S.: The one dimensional parabolic \(p(x)\)-Laplace equation. NoDEA Nonlinear Differ. Equ. Appl. 23, 27 (2016).

    Google Scholar 

  7. Tersenov Alkis, S., Tersenov Aris, S.: Existence of Lipschitz continuous solutions to the Cauchy–Dirichlet problem for anisotropic parabolic equations. J. Funct. Anal. 272, 3965–3986 (2017)

    Article  MathSciNet  Google Scholar 

  8. Aramaki, J.: Hölder continuity with exponent \((1+\alpha )/2\) in the time variable for solutions of parabolic equations. Electron. J. Differ. Equ. 2015, 96 (2015)

    Google Scholar 

  9. Zhang, C., Zhuo, S., Xue, X.: Global gradient estimates for the parabolic \(p(x,t)\)-Laplacian equation. Nonlinear Anal. 105, 86–101 (2014)

    Google Scholar 

  10. Cavalcanti, M., Domingos Cavalcanti, V., Lasiecka, I., Webler, C.: Intrinsic decay rates for the energy of a nonlinear viscoelastic equation modeling the vibrations of thin rods with variable density. Adv. Nonlinear Anal. 6(2), 121–145 (2017)

    MathSciNet  MATH  Google Scholar 

  11. Cencelj, M., Radulescu, V.D.: Repovs, D.D.: Double phase problems with variable growth. Nonlinear Anal. 177, 270–287 (2018)

    Article  MathSciNet  Google Scholar 

  12. Radulescu, V., Repovs, D.D.: Combined effects in nonlinear problems arising in the study of anisotropic continuous media. Nonlinear Anal. 75(3), 1524–1530 (2012)

    Article  MathSciNet  Google Scholar 

  13. Zhang, Q., Radulescu, V.D.: Double phase anisotropic variational problems and combined effects of reaction and absorption terms. J. Math. Pures Appl. 118(9), 159–203 (2018)

    Article  MathSciNet  Google Scholar 

  14. Zhan, H.: The well-posedness of an anisotropic parabolic equation based on the partial boundary value condition. Bound. Value Probl. 2017, 166 (2017)

    Article  MathSciNet  Google Scholar 

  15. Zhan, H.: On stability with respect to boundary conditions for anisotropic parabolic equations with variable exponents. Bound. Value Probl. 2018, 27 (2018)

    Article  MathSciNet  Google Scholar 

  16. Chen, C., Wang, R.: Global existence and \(L^{1}\) estimates of solution for doubly degenerate parabolic equation. Acta Math. Sin. (Ser. A) 44, 1089–1098 (2001) (in Chinese)

    Google Scholar 

  17. Otto, F.: \(L^{1}\)-Contraction and uniqueness for quasilinear elliptic–parabolic equations. J. Differ. Equ. 131, 20–38 (1996)

    Google Scholar 

  18. Zhao, J., Yuan, H.: The Cauchy problem of a kind of nonlinear bi-degenerate parabolic equations. Chin. Ann. Math., Ser. A 16(2), 181–196 (1995) (in Chinese)

    MATH  Google Scholar 

  19. Fan, H.: Cauchy problem of some doubly degenerate parabolic equations with initial datum a measure. Acta Math. Sin. Engl. Ser. 20(4), 663–682 (2004)

    Article  MathSciNet  Google Scholar 

  20. Zhou, Z., Guo, Z., Wu, B.: A doubly degenerate diffusion equation in multiplicative noise removal models. J. Math. Anal. Appl. 458, 58–70 (2018)

    Article  MathSciNet  Google Scholar 

  21. Shang, H., Cheng, J.: Cauchy problem for doubly degenerate parabolic equation with gradient source. Nonlinear Anal. 113, 323–338 (2015)

    Article  MathSciNet  Google Scholar 

  22. Droniou, J., Eymard, R., Talbot, K.S.: Convergence in \(C([0, T ];L^{2}( \Omega ))\) of weak solutions to perturbed doubly degenerate parabolic equations. J. Differ. Equ. 260, 7821–7860 (2016)

    Google Scholar 

  23. Zou, W., Li, L.: Existence and uniqueness of solutions for a class of doubly degenerate parabolic equations. J. Math. Anal. Appl. 446, 1833–1862 (2017)

    Article  MathSciNet  Google Scholar 

  24. Li, Q.: Weak Harnack estimates for supersolutions to doubly degenerate parabolic equations. Nonlinear Anal. 170, 88–122 (2018)

    Article  MathSciNet  Google Scholar 

  25. Yuan, J., Lian, Z., Cao, L., Gao, J., Xu, J.: Extinction and positivity for a doubly nonlinear degenerate parabolic equation. Acta Math. Sin. Engl. Ser. 23, 1751–1756 (2007)

    Article  MathSciNet  Google Scholar 

  26. Andreucci, D., Cirmi, G.R., Leonardi, S., Tedeev, A.F.: Large time behavior of solutions to the Neumann problem for a quasilinear second order degenerate parabolic equation in domains with noncompact boundary. J. Differ. Equ. 174, 253–288 (2001)

    Article  MathSciNet  Google Scholar 

  27. Tedeev, A.F.: The interface blow-up phenomenon and local estimates for doubly degenerate parabolic equations. Appl. Anal. 86(6), 755–782 (2007)

    Article  MathSciNet  Google Scholar 

  28. Sun, J., Yin, J., Wang, Y.: Asymptotic bounds of solutions for a periodic doubly degenerate parabolic equation. Nonlinear Anal. 74, 2415–2424 (2011)

    Article  MathSciNet  Google Scholar 

  29. Gianni, R., Tedeev, A.F., Vespri, V.: Asymptotic expansion of solutions to the Cauchy problem for doubly degenerate parabolic c equations with measurable coefficients. Nonlinear Anal. 138, 111–126 (2016)

    Article  MathSciNet  Google Scholar 

  30. Zhan, H.: Infiltration equation with degeneracy on the boundary. Acta Appl. Math. 153(1), 147–161 (2018)

    Article  MathSciNet  Google Scholar 

  31. Zhan, H.: Solutions to polytropic filtration equations with a convection term. Electron. J. Differ. Equ. 2017, 207 (2017)

    Article  MathSciNet  Google Scholar 

  32. Zhan, H.: The stability of the solutions of an anisotropic diffusion equation. Lett. Math. Phys. 109(5), 1145–1166 (2019)

    Article  MathSciNet  Google Scholar 

  33. Fan, X.L., Zhao, D.: On the spaces \({L^{p(x)}(\Omega )}\) and \({W^{m,p(x)}}\). J. Math. Anal. Appl. 263, 424–446 (2001)

    Google Scholar 

  34. Kovácik, O., Rákosník, J.: On spaces \({L^{p(x)}}\) and \({W^{k,p(x)}}\). Czechoslov. Math. J. 41, 592–618 (1991)

    Google Scholar 

  35. Zhan, H., Ouyang, M.: The stability of the solutions for a porous medium equation with a convection term. Discrete Dyn. Nat. Soc. 2018, Article ID 5364746 (2018).

    Article  MathSciNet  MATH  Google Scholar 

  36. Wu, Z., Zhao, J., Yun, J., Li, F.: Nonlinear Diffusion Equations. World Scientific, Singapore (2001)

    Book  Google Scholar 

  37. 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)

    Article  MathSciNet  Google Scholar 

  38. Andreianov, B., Bendahmane, M., Karlsen, K.H., Ouaro, S.: Well-posedness results for triply nonlinear degenerate parabolic equations. J. Differ. Equ. 247, 277–302 (2009)

    Article  MathSciNet  Google Scholar 

  39. Zhan, H.: The solutions of a hyperbolic-parabolic mixed type equation on half-space domain. J. Differ. Equ. 259, 1449–1481 (2015)

    Article  MathSciNet  Google Scholar 

  40. Zhan, H., Feng, Z.: Stability of hyperbolic-parabolic mixed type equations with partial boundary condition. J. Differ. Equ. 264, 7384–7411 (2018)

    Article  MathSciNet  Google Scholar 

  41. Zhan, H., Feng, Z.: Partial boundary value condition for a nonlinear degenerate parabolic equation. J. Differ. Equ. 267, 2874–2890 (2019)

    Article  MathSciNet  Google Scholar 

  42. Bahrouni, A., Radulescu, V.D., Repovs, D.D.: A weighted anisotropic variant of the Caffarelli–Kohn–Nirenberg inequality and applications. Nonlinearity 31(4), 1516–1534 (2018)

    Article  MathSciNet  Google Scholar 

  43. Zhan, H., Feng, Z.: The well-posedness problem of an anisotropic parabolic equation. J. Differ. Equ.

Download references


The author would like to thank all who helped!

Availability of data and materials

No applicable.


No applicable.

Author information

Authors and Affiliations



The author read and approved the final manuscript.

Corresponding author

Correspondence to Sujun Weng.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Weng, S. On a weak solution matching up with the double degenerate parabolic equation. Bound Value Probl 2019, 172 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 35K55
  • 35K92
  • 35K85
  • 35R35


  • Double degenerate parabolic equation
  • Well-posedness
  • Existence
  • Initial value