Skip to main content


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

  • 263 Accesses

  • 1 Citations


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.


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.

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\} . $$

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. □

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



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. 1.

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

  2. 2.

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

  3. 3.

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

  4. 4.

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

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

  6. 6.

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

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

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

  9. 9.

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

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

  11. 11.

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

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

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

  14. 14.

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

  15. 15.

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

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

  17. 17.

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

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

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

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

  21. 21.

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

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

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

  24. 24.

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

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

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

  27. 27.

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

  28. 28.

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

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

  30. 30.

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

  31. 31.

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

  32. 32.

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

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

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

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

  36. 36.

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

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

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

  39. 39.

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

  40. 40.

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

  41. 41.

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

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

  43. 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

The author read and approved the final manuscript.

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

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) doi:10.1186/s13661-019-1284-z

Download citation


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


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