Skip to main content

Theory and Modern Applications

The weak solutions of a doubly nonlinear parabolic equation related to the \(p(x)\)-Laplacian


A nonlinear degenerate parabolic equation related to the \(p(x)\)-Laplacian

$$ {u_{t}}= \operatorname{div} \bigl({b(x)} { \bigl\vert {\nabla a(u)} \bigr\vert ^{p(x) - 2}}\nabla a(u) \bigr)+\sum _{i=1}^{N}\frac{\partial b_{i}(u)}{ \partial x_{i}}+c(x,t) -b_{0}a(u) $$

is considered in this paper, where \(b(x)|_{x\in \varOmega }>0\), \(b(x)|_{x \in \partial \varOmega }=0\), \(a(s)\geq 0\) is a strictly increasing function with \(a(0)=0\), \(c(x,t)\geq 0\) and \(b_{0}>0\). If \(\int _{\varOmega }b(x)^{-\frac{1}{p ^{-}-1}}\,dx\leq c\) and \(\vert \sum_{i=1}^{N}b_{i}'(s) \vert \leq c a'(s)\), then the solutions of the initial-boundary value problem is well-posedness. When \(\int _{\varOmega }b(x)^{-(p(x)-1)}\,dx<\infty \), without the boundary value condition, the stability of weak solutions can be proved.

1 Introduction

The evolutionary \(p(x)\)-Laplacian equation

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

with the initial value

$$ u|_{t=0} = u_{0}(x),\quad x\in \varOmega , $$

and the homogeneous boundary value

$$ u|_{\varGamma _{T}} = 0,\quad (x,t)\in \varGamma _{T}=\partial \varOmega \times (0,T), $$

has been subject of a profound study from the beginning of this century [1,2,3,4,5,6,7,8,9], where \(\varOmega \subset \mathbb{R}^{N}\) is a bounded domain with smooth boundary ∂Ω, \(p(x)\) is a measurable function. In 2013, Guo–Gao [10] and Gao–Gao [11] had considered the more general equation

$$ u_{t} =\operatorname{div} \bigl(\bigl( \vert u \vert ^{\sigma (x,t)}+d_{0}\bigr) \vert \nabla u \vert ^{p(x,t)-2} \nabla u \bigr)+c(x,t)-b_{0}u(x,t), $$

where \(\sigma (x,t)>1\), \(d_{0}>0\), \(c(x,t)\geq 0\) and \(b_{0}>0\). This model may describe some properties of image restoration in space and time, the functions \(u(x,t)\), \(p(x,t)\) represent a recovering image and its observed noisy image, respectively. In [12], the authors obtained the existence and uniqueness of weak solutions with the assumption that the exponent \(\sigma (x,t)\equiv 0\), \(1< p^{-}< p^{+}<2\). In [10], when \(\sigma (x,t)\equiv 0\) and \(b_{0}=0\), the authors applied the method of parabolic regularization and Galerkin’s method to prove the existence of weak solutions. In [11], the authors generalized the results obtained in [10], moreover, they proved the existence and uniqueness of weak solution not only in the case when \(\sigma (x,t)\in (2,\frac{2p^{+}}{p^{+}-1})\), but also in the case when \(\sigma (x,t)\in (1,2)\), \(1< p^{-}< p^{+}\leq 1+\sqrt{2}\). They applied energy estimates and Gronwall’s inequality to obtain the extinction of solutions when the exponents \(p^{-}\) and \(p^{+}\) belong to different intervals.

If \(\sigma (x,t)=\sigma \) and \(p(x,t)=p\) are constants, Eq. (1.3) can be transformed to

$$\begin{aligned} {u_{t}} =& \operatorname{div} \biggl({} { \biggl\vert {\nabla \frac{u^{m}}{m}} \biggr\vert ^{p- 2}}\nabla \frac{u^{m}}{m} \biggr) +d_{0} \operatorname{div} \bigl( \vert \nabla u \vert ^{p-2}\nabla u \bigr) \\ &{}+c(x,t)-mb _{0}\frac{u^{m}}{m},\quad (x,t) \in Q_{T}, \end{aligned}$$

where \(\sigma =(m-1)(p-1)\) or \(m=1+\frac{\sigma }{p-1}\). For this equation, whether \(d_{0}=0\) or \(d_{0}>0\), it is well-known that the well-posedness problem of weak solutions had been solved perfectly. However, since Eq. (1.4) is with nonstandard growth, it cannot been transformed to another equation which has a similar type as Eq. (1.5). In fact, both in the uniformly estimates related to the existence and in the proof of the uniqueness of weak solution, the condition \(d_{0}>0\) acts as a very important role in [10,11,12]. In other words, if \(d_{0}=0\), how to obtain the well-posedness of weak solutions is an important subject deserving to be pursued in further research. In this paper, we will study a more general equation than Eq. (1.5),

$$ {u_{t}}= \operatorname{div} \bigl({b(x)} { \bigl\vert {\nabla a(u)} \bigr\vert ^{p(x) - 2}}\nabla a(u)\bigr)+\sum _{i=1}^{N}\frac{\partial b_{i}(u)}{ \partial x_{i}}+c(x,t)-b_{0}a(u), \quad (x,t) \in Q_{T}, $$

where \(1< p(x)\in C^{1}(\overline{\varOmega })\), \(a(s)\geq 0\), \(a(0)=0\) and \(a(s)\) is a strictly increasing function, \(b_{0}>0\) is a constant. Meanwhile, \(b(x)\in C^{1}(\overline{\varOmega })\) satisfies

$$ b(x)>0,\quad x\in \varOmega , \qquad b(x)=0, \quad x\in \partial \varOmega , $$

and \(b_{i}(s)\in C^{1}(\mathbb{R})\). We set

$$ \begin{aligned} p^{+} =\max_{\bar{\varOmega }}p(x), \qquad 1< p^{-}=\min_{\bar{\varOmega }}p(x), \end{aligned} $$

as usual.

A special case of Eq. (1.6) is \(a(u)=u^{m}\), the equation reflects a polytropic filtration process if \(p(x)=p\) is a constant. In this case, a lot of important results about the existence, the uniqueness, the Harnack inequality, the regularity, the extinction and the large time behavior of weak solutions have been obtained by many scholars; one can refer to [13,14,15] and the references therein. Also, it is worth noting that the constant \(b_{0}>0\) is essential, if \(b_{0}<0\), the weak solutions may blow up in a finite time [16,17,18]. While \(p(x)\) is a \(C^{1}(\overline{ \varOmega })\) function, only a few references could be found (for example, [19]). Moreover, since we only require that \(a(s)\) is strictly increasing, it can be chosen as \(a(s)=s^{m(x)}\) with \(m(x)>0\), and it even can be chosen as

$$ a(s)=\textstyle\begin{cases} s^{m_{1}}, & \text{if } 0\leq s< 1, \\ s^{m_{2}}, & \text{if } s\geq 1, \end{cases} $$

with \(m_{1}\neq m_{2}\). Such a form is more appropriate to represent the model of image processing.

In this paper, we will use the parabolically regularized method to prove the existence of the weak solution, and we use some ideas of [7, 20,21,22] to prove the stability of weak solutions.

2 The definitions of weak solution and the main results

For completeness of the paper, we review the basic functional spaces firstly. For every fixed \(t\in [0, T]\), we define

$$\begin{aligned}& V_{t}(\varOmega ) = \bigl\{ u(x) : u(x)\in L^{2}( \varOmega )\cap W^{1,1} _{0}(\varOmega ), \bigl\vert \nabla u(x) \bigr\vert ^{p(x)}\in L^{1} (\varOmega ) \bigr\} , \\& \Vert u \Vert _{V_{t}(\varOmega )} = \Vert u \Vert _{2,\varOmega } + \Vert \nabla u \Vert _{p(x), \varOmega } , \end{aligned}$$

and define \(V'_{t}(\varOmega )\) to be its dual space. At the same time, we denote the Banach space

$$ \textstyle\begin{cases} \mathbf{W}(Q_{T}) = \{ u : [0,T]\rightarrow V_{t}(\varOmega )|u \in L^{2}(Q_{T}), \vert \nabla u \vert ^{p(x)} \in L^{1}(Q_{T}), u = 0 \text{ on } \varGamma _{T} \} , \\ \Vert u \Vert _{\mathbf{W}(Q_{T})} = \Vert \nabla u \Vert _{p(x),Q_{T}} + \Vert u \Vert _{2,Q _{T}} , \end{cases} $$

and define \(\mathbf{W}'(Q_{T})\) to be its dual space.

$$ w\in \mathbf{W}'(Q_{T})\quad \Longleftrightarrow \quad \textstyle\begin{cases} w=w_{0}+\sum_{i=1}^{n}D_{i}w_{i},\quad w_{0}\in L^{2}(Q_{T}), w_{i}\in L ^{p'(x,t)}(Q_{T}), \\ \forall \phi \in \mathbf{W}(Q_{T}),\quad \ll w,\phi \gg =\iint _{Q_{T}} (w_{0}\phi +\sum_{i}w_{i}D_{i}\phi )\,dx\,dt. \end{cases} $$

One can refer to [19, 20] for more information.

Definition 2.1

If \(0\leq u(x,t) \in L^{\infty }(Q_{T})\) satisfies

$$ u_{t}\in \mathbf{W}'(Q_{T}),\qquad b(x){ \bigl\vert {\nabla a(u)} \bigr\vert ^{p(x)}} \in {L^{1}}({Q_{T}}), $$

and, for any function \(\varphi \in L^{\infty } (0,T; W_{0}^{1,p(x)}( \varOmega ) )\cap \mathbf{W}(Q_{T})\),

$$\begin{aligned}& \iint _{{Q_{T}}} \Biggl[u_{t}\varphi + b(x) \bigl\vert {\nabla a(u)} \bigr\vert ^{p(x) - 2}\nabla a(u) \cdot \nabla \varphi +\sum_{i=1}^{N}b_{i}(u) \varphi _{x_{i}} \Biggr]\,dx\,dt \\& \quad = \iint _{{Q_{T}}}\bigl[c(x,t)-b_{0}a(u)\bigr]\varphi (x,t)\,dx\,dt, \end{aligned}$$

then \(u(x,t)\) is said to be a weak solution of Eq. (1.6) with the initial value (1.2), provided that

$$ \lim_{t\rightarrow 0} \int _{\varOmega }u(x,t)\phi (x)\,dx= \int _{\varOmega }u _{0}(x)\phi (x)\,dx,\quad \forall \phi (x)\in C_{0}^{\infty }(\varOmega ). $$

Here, \(W^{1,p(x)}(\varOmega )\) is the variable exponent Sobolev space, \(W_{0}^{1,p(x)}(\varOmega )\) is the closure of \(C^{\infty }_{0}(\varOmega )\) in \(W^{1,p(x)}(\varOmega )\), one can refer to [23,24,25] for the details. The following basic lemma reflects some important characters of variable exponent Sobolev spaces [23,24,25].

Lemma 2.2

  1. (i)

    The space \((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)

    \(p(x)\)-Hölder’s inequality. Let \(q_{1}(x)\)and \(q_{2}(x)\)be real functions with \(\frac{1}{q_{1}(x)}+\frac{1}{q_{2}(x)} = 1\). Then, the conjugate space of \(L^{q_{1}(x)}(\varOmega )\)is \(L^{q_{2}(x)}( \varOmega )\). And for any \(u \in L^{q_{1}(x)}(\varOmega )\)and \(v \in L ^{q_{2}(x)}(\varOmega )\), we have

    $$ \biggl\vert \int _{\varOmega }uv \,dx \biggr\vert \leq 2 \Vert u \Vert _{L^{q_{1}(x)}(\varOmega )} \Vert v \Vert _{L^{q_{2}(x)}(\varOmega )}. $$
  3. (iii)

    \(\|u\|_{L^{p(x)}(\varOmega )} \) and \(\int _{\varOmega }|u|^{p(x)}\,dx\) satisfy

    $$ \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} $$
  4. (iv)

    If the exponent \(p(x)\)is required to satisfy a logarithmic Hölder continuity condition, then

    $$ W_{0}^{1,p(x)}(\varOmega )= \mathring{W} ^{1,p(x)}( \varOmega ). $$

The main results are the following theorems.

Theorem 2.3

If \(0\leq u_{0}(x)\in L^{\infty }(\varOmega )\)satisfies

$$ b(x) \vert \nabla u_{0} \vert ^{p(x)}\in L^{1}(\varOmega ), $$

then Eq. (1.6) with initial value (1.2) has a weak solution \(u(x,t)\). If

$$ \int _{\varOmega }b(x)^{-\frac{1}{p^{-}-1}}\,dx< \infty , $$

then Eq. (1.6) with the initial-boundary values (1.2)(1.3) has a solutionu. Moreover, let \(u(x,t)\)and \(v(x,t)\)be two weak solutions of Eq. (1.6) with

$$ u(x,t)=v(x,t) = 0,\quad (x,t)\in \varGamma _{T}, $$

and with the initial values \(u(x,0)\)and \(v(x,0)\), respectively, \(b_{i}(s)\)and \(a(s)\)satisfy

$$ \Biggl\vert \sum_{i=1}^{N} \frac{b_{i}(s_{1})-b_{i}(s_{2})}{a(s_{1})-a(s _{2})} \Biggr\vert \leq c,\quad i=1,2,\ldots , N. $$


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

In fact, only if \(b(x)\) satisfies (1.7) and the condition (2.8) is true, even without boundary value condition (1.3), by a similar method of [26], we can show that

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

where \(\alpha \geq 2\) is a constant. This inequality implies that uniqueness of weak solution to Eq. (1.6) with the initial value (1.2) is always true only if (2.8) is true, no matter whether there is the condition (2.7) or not.

Based on this fact, we are able to improve the stability theorem to the case without boundary value condition (1.3).

Theorem 2.4

Let \(u(x,t)\)and \(v(x,t)\)be two weak solutions of Eq. (1.6) with the initial values \(u(x,0)\)and \(v(x,0)\), respectively, the variable exponent \(p(x)\)satisfies the logarithmic Hölder continuity condition. If \(b(x)\)satisfies (1.7), (2.8) and

$$ \int _{\varOmega }b(x)^{1-p(x)}\,dx< \infty , $$

then the stability (2.9) is true.

If \(a(s)=s\) and \(1< p^{-}\leq p^{+}<2\) and

$$ \int _{\varOmega }b(x)^{-1}\,dx< \infty , $$

a similar result as Theorem 2.4 had been obtained in [22]. Clearly, (2.11) has a broader sense than (2.12). Comparing Theorem 2.3 with Theorem 2.4, the essential improvements lies in that, if \(b(x)\) only satisfies (2.11), the weak solutions u may lack the regularity to be defined the trace on the boundary generally. Thus, we cannot impose the usual boundary value condition (1.3), except for the case \(p(x)\equiv 2\) (in which (2.11) is equivalent to (2.7)). Theorem 2.4 tells us that the stability of the weak solutions is controlled by the initial value completely, only if (2.11) is true.

At the end of this section, comparing with our previous work [21, 22] and [26] etc., we give a comprehensive overview of this paper.

It is well known that there are essential differences between the non-Newtonian fluid equation

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

and the polytropic diffusion equation

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

Inspired by this fact, roughly speaking, our original jumping-off point is to show the essential differences between the electrorheological fluid equation

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

and the polytropic electrorheological fluid equation

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

The well-posedness of solutions to Eq. (2.15) was considered in [21, 22] etc.: that the degeneracy of \(a(x)\) on the boundary ∂Ω can take place of the boundary value condition (1.3) had been shown in some special cases. But very few papers on the well-posedness of solutions to Eq. (2.16) can be found. In this paper, we directly study a much more general equation,

$$ {u_{t}}= \operatorname{div} \bigl({b(x)} { \bigl\vert {\nabla a(u)} \bigr\vert ^{p(x) - 2}}\nabla a(u)\bigr)+\sum _{i=1}^{N}\frac{\partial b_{i}(u)}{ \partial x_{i}}+c(x,t)-b_{0}a(u), \quad (x,t) \in Q_{T}, $$

\(a(s)\geq 0\), \(a(0)=0\) and \(a(s)\) is a strictly increasing function. As we have said before, Eq. (2.17) admits \(a(s)\) satisfying (1.8) and has a wider applications.

In addition, condition (2.8) implies that equation (2.17) cannot be of the hyperbolic characteristic, usually, such a restriction has demonstrated a strong preference for being unnatural before. However, a model of strong degenerate parabolic equation arises in mathematical finance, which indicates that condition (2.8) is important and indispensable in the decision theory under the risk [27]. We have given more details in our previous work [28], so it is not appropriate to repeat the details here.

3 The proof of Theorem 2.3

Lemma 3.1

Let \(q\geq 1\). If \(u_{\varepsilon }\in L^{\infty }(0,T;L ^{2}(\varOmega ))\cap \mathbf{W}(Q_{T})\), \(\| u_{\varepsilon t}\|_{ \mathbf{W}'(Q_{T})}\leq c\), \(\|\nabla (|u_{\varepsilon }|^{q-1}u_{ \varepsilon })\|_{p^{-},Q_{T}}\leq c\), then there is a subsequence of \(\{u_{\varepsilon }\}\)which shows relatively compactness in \(L^{s}(Q_{T})\)with \(s\in (1,\infty )\).

This lemma can be found in [19].

Since \(a(s)\) is a strictly increasing function, by a limit process, we can assume that \(a(s)\) is a \(C^{1}\) function in the proof. Consider the following regularized system:

$$\begin{aligned}& u_{\varepsilon t}=\operatorname{div} \bigl(\bigl(b(x)+\varepsilon \bigr) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+ \varepsilon \bigr)^{\frac{p(x) - 2}{2}}\nabla {a(u_{\varepsilon })} \bigr) \\& \hphantom{u_{\varepsilon t}=}{} + \sum_{i=1}^{N} \frac{\partial b_{i}(u_{\varepsilon })}{ \partial x_{i}}+c(x,t)-b_{0}a(u), \quad (x,t)\in {Q_{T}}, \end{aligned}$$
$$\begin{aligned}& {u_{\varepsilon }}(x,t) = \varepsilon ,\quad (x,t) \in \partial \varOmega \times (0,T), \end{aligned}$$
$$\begin{aligned}& {u_{\varepsilon }}(x,0) = {u_{0\varepsilon }}(x)+\varepsilon , \quad x\in \varOmega , \end{aligned}$$

where \({u_{\varepsilon ,0}} \in {C^{\infty }_{0} }(\varOmega )\) and \((b(x)+\varepsilon ){ \vert {\nabla {a(u_{\varepsilon ,0})}} \vert ^{p(x)}}\in {L^{1}}(\varOmega )\) are uniformly bounded, and \({u_{\varepsilon ,0}}\) converges to \(u_{0}\) in \(W_{0}^{1,p(x)}(\varOmega )\). Since we assume that \(a(s)\) is a strictly increasing function, by the monotone convergence method, according to the classical parabolic equation theory [29, 30], there is a unique classical solution \({u_{ \varepsilon }}\) of the initial-boundary value problem (3.1)–(3.3), and

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

Throughout this paper, the constants c may be different from one place to another.

Theorem 3.2

There is a weak solutionuof Eq. (1.6) with the initial value (1.2) in the sense of Definition 2.1.


For any \(t\in [0,T)\), we multiply (3.1) by \(a(u_{\varepsilon })-a( \varepsilon )\) and integrate it over \(Q_{t}=\varOmega \times [0,t)\). By (3.3), (3.4) and

$$\begin{aligned} \iint _{Q_{t}}\bigl[a(u_{\varepsilon })- a(\varepsilon ) \bigr]\frac{\partial b _{i}(u_{\varepsilon })}{\partial {x_{i}}}\,dx\,dt =& - \iint _{Q_{t}} \frac{ \partial u_{\varepsilon }}{\partial x_{i}}a'(u_{\varepsilon })b_{i}(u _{\varepsilon })\,dx\,dt \\ =&- \iint _{Q_{t}}\frac{\partial }{\partial x_{i}} \int _{\varepsilon } ^{u_{\varepsilon }} b_{i}(s)a'(s)\,ds\,dx\,dt \\ =&0,\quad i=1,2,\ldots , N, \end{aligned}$$

we have

$$\begin{aligned}& \int _{\varOmega }A(u_{\varepsilon })\,dx + \iint _{{Q_{t}}}\bigl(b(x)+\varepsilon \bigr) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon \bigr)^{\frac{p(x)-2}{2}} \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}\,dx\,dt \\& \quad \leq \int _{\varOmega }A\bigl(u_{0}(x)\bigr)\,dx+a(\varepsilon ) \int _{\varOmega } \bigl\vert u(x,t)-u _{0}(x) \bigr\vert \,dx+c \\& \quad \leq c, \end{aligned}$$

where \(A'(s)=a(s)\).

Since \(b(x)>0\) in Ω, for any \(\varOmega _{1}\subset \subset \varOmega \), (3.6) yields

$$ \int _{0}^{T} \int _{\varOmega _{1}}\bigl(b(x)+\varepsilon \bigr) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon \bigr)^{\frac{p(x)-2}{2}} \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}\,dx\,dt \leq c $$


$$ \int _{0}^{T} \int _{\varOmega _{1}} \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert \,dx\,dt\leq c \biggl( \int _{0}^{T} \int _{\varOmega _{1}} \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p ^{-}}\,dx\,dt \biggr)^{\frac{1}{p^{-}}}\leq c(\varOmega _{1}). $$

Now, for any \(v\in \mathbf{W}(Q_{T})\), \(\|v\|_{W(Q_{T})}=1\),

$$ \begin{aligned} &\langle u_{\varepsilon t}, v\rangle \\ &\quad = - \iint _{Q_{T}}b(x) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon \bigr)^{\frac{p(x)-2}{2}} \nabla a(u_{\varepsilon }) \nabla v \,dx\,dt-\sum _{i=1}^{N} \iint _{Q_{T}}\frac{\partial v}{\partial x _{i}}{b_{i}}({u_{\varepsilon }})\,dx\,dt \\ &\qquad {} + \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u_{\varepsilon }) (x,t)\bigr]v\,dx\,dt. \end{aligned} $$

By the Young inequality

$$ \begin{aligned} & \iint _{Q_{T}}b(x) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon \bigr)^{\frac{p(x)-2}{2}} \nabla a(u_{\varepsilon }) \nabla v \,dx\,dt \\ &\quad \leq c \iint _{Q_{T}}b(x) \bigl[ \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+ \varepsilon \bigr)^{\frac{p(x)-2}{2}\frac{p(x)}{p(x)-1}} \bigl\vert \nabla a(u _{\varepsilon }) \bigr\vert ^{\frac{p(x)}{p(x)-1}} + \vert \nabla v \vert ^{p(x)} \bigr]\,dx\,dt \\ &\quad \leq c \iint _{Q_{T}}b(x) \bigl[ \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p(x)} + \vert \nabla v \vert ^{p(x)}+1 \bigr]\,dx\,dt \\ &\quad \leq c, \end{aligned} $$

we easily obtain

$$ \bigl\vert \langle u_{\varepsilon t}, v\rangle \bigr\vert \leq c, $$

which implies

$$ \bigl\Vert (u_{\varepsilon })_{t} \bigr\Vert _{\mathbf{W}'(Q_{T})}\leq c $$


$$ \bigl\Vert a(u_{\varepsilon })_{t} \bigr\Vert _{\mathbf{W}'(Q_{T})}= \bigl\Vert a'(u_{\varepsilon })u_{\varepsilon t} \bigr\Vert _{\mathbf{W}'(Q_{T})}\leq c. $$

Now, let \(D_{\lambda }=\{x\in \varOmega : d(x)>\lambda \}\) and \(d(x)=\operatorname{dist}(x, \partial \varOmega )\) be the distance function from ∂Ω. For any given \(\varphi \in C_{0}^{1}(\varOmega )\), \(0\leq \varphi \leq 1\), which satisfies

$$ \varphi \mid _{D_{2\lambda }}=1,\qquad \varphi \mid _{\varOmega \setminus D_{\lambda }}=0, $$


$$ \bigl\vert \bigl\langle \bigl[\varphi a(u_{\varepsilon }) \bigr]_{t}, v\bigr\rangle \bigr\vert = \bigl\vert \bigl\langle \varphi a(u_{\varepsilon})_{t}, v\bigr\rangle \bigr\vert $$


$$ \bigl\Vert \bigl[\varphi a(u_{\varepsilon })\bigr]_{t} \bigr\Vert _{\mathbf{W}'(Q_{T})}\leq \bigl\Vert a(u _{\varepsilon })_{t} \bigr\Vert _{\mathbf{W}'(Q_{T})}\leq c. $$

If we denote \(u_{1\varepsilon }=a(u_{\varepsilon })\), then

$$ \bigl\Vert (u_{1\varepsilon })_{t} \bigr\Vert _{\mathbf{W}'(Q_{T})}\leq c. $$

At the same time, from (3.8),

$$ \iint _{Q_{T}} \bigl\vert \nabla \bigl[\varphi a(u_{\varepsilon })\bigr] \bigr\vert ^{p^{-}}\,dx\,dt\leq c( \lambda ) \biggl(1+ \int _{0}^{T} \int _{\varOmega _{\lambda }} \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p^{-}}\,dx\,dt\biggr)\leq c(\lambda ), $$


$$ \bigl\Vert \nabla (|\varphi u_{1\varepsilon }) \bigr\Vert _{p^{-},Q_{T}}= \bigl\Vert \nabla \bigl[| \varphi a(u_{\varepsilon }) \bigr] \bigr\Vert _{p^{-},Q_{T}}\leq c(\lambda ). $$

Thus \(\varphi u_{1\varepsilon }\) shows relative compactness in \(L^{s}(Q_{T})\) with \(s\in (1,\infty )\) by Lemma 3.1. Accordingly, \(\varphi u_{1\varepsilon }\rightarrow \varphi u_{1}\) a.e. in \(Q_{T}\) and so \(u_{1\varepsilon }\rightarrow u_{1}\) a.e. in \(Q_{T}\).

Since \(a'(s)\geq 0\) and \(a(s)\) is a strictly monotone increasing function, \(u_{\varepsilon }=a^{-1}(u_{1\varepsilon })\), setting \(u=a^{-1}(u)\), we know that \(u_{\varepsilon }\rightarrow u\) a.e. in \(Q_{T}\).

From (3.4), there exists a function u such that

$$ {u_{\varepsilon }} \rightharpoonup * u, \quad \text{in } {L^{ \infty }(Q_{T})}, $$


$$ u \in L^{\infty }(Q_{T}),\qquad u_{t}\in \mathbf{W}'(Q_{T}). $$

From (3.6), (3.8), there is a n-dimensional vector function \(\overrightarrow{\zeta }= ({\zeta _{1}}, \ldots ,{\zeta _{n}})\) satisfying

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

such that

$$ \bigl(b(x)+\varepsilon \bigr) { \bigl\vert {\nabla a({u_{\varepsilon }})} \bigr\vert ^{p(x)- 2}}\nabla a({u_{\varepsilon }}) \rightharpoonup \overrightarrow{ \zeta } \quad \text{in } L^{1}\bigl(0,T; L^{\frac{p(x)}{p(x) - 1}}( {\varOmega })\bigr). $$

In what follows, we want to prove that u satisfies Eq. (1.6). At first,

$$\begin{aligned}& \iint _{{Q_{T}}} \Biggl[u_{\varepsilon t}\varphi + \bigl(b(x)+ \varepsilon \bigr){\bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon \bigr)^{\frac{p(x)-2}{2}}} \nabla a({u_{\varepsilon }}) \cdot \nabla \varphi + \sum _{i=1}^{N} {{b_{i}}({u_{\varepsilon }}) \cdot {\varphi _{{x_{i}}}}} \Biggr]\,dx \,dt \\& \quad = \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u_{\varepsilon }) \bigr]\varphi \,dx\,dt, \end{aligned}$$

for any function \(\varphi \in L^{\infty }(0,T; W_{0}^{1,p(x)}(\varOmega ))\cap \mathbf{W}(Q_{T})\). Since \(u_{\varepsilon } \rightarrow u\) almost everywhere, \(b_{i}(u_{\varepsilon })\rightarrow b_{i}(u)\) and \(a(u_{\varepsilon })\rightarrow a(u)\). Letting \(\varepsilon \rightarrow 0\) in (3.13) yields

$$\begin{aligned}& \iint _{{Q_{T}}} { \Biggl[\frac{{\partial u}}{{\partial t}}\varphi + \vec{ \varsigma }\cdot \nabla \varphi + \sum_{i=1}^{N} {{b_{i}}(u) \cdot {\varphi _{{x_{i}}}}} \Biggr]\,dx\,dt} \\& \quad = \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u)\bigr]\varphi \,dx\,dt. \end{aligned}$$

Secondly, we will prove that

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

for any function \(\varphi \in C_{0}^{\infty }({Q_{T}})\).

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

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

We choose \(\varphi = \psi a({u_{\varepsilon }})\) in (3.13), then

$$\begin{aligned}& \iint _{{Q_{T}}} {\psi \bigl(b(x)+\varepsilon \bigr) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+ \varepsilon \bigr)^{\frac{p(x)-2}{2}}}\big|\nabla a({u_{\varepsilon }})\big|^{2}\,dx\,dt \\& \quad = \iint _{{Q_{T}}} {\psi _{t}}A(u_{\varepsilon })\,dx\,dt - \iint _{{Q_{T}}} \bigl(b(x)+\varepsilon \bigr) a({u_{\varepsilon }}) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+ \varepsilon \bigr)^{\frac{p(x)-2}{2}} \nabla a({u_{\varepsilon }}) \cdot \nabla \psi \,dx\,dt \\& \qquad {} - \sum_{i=1}^{N} \iint _{{Q_{T}}} {b_{i}}({u_{\varepsilon }}) \bigl(a'({u_{ \varepsilon }}){u_{\varepsilon {x_{i}}}}\psi + a({u_{\varepsilon }}) {\psi _{{x_{i}}}}\bigr)\,dx\,dt \\& \qquad {} + \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u_{\varepsilon }) \bigr]\psi a({u_{\varepsilon }})\,dx\,dt. \end{aligned}$$

By (3.16), we can extrapolate to

$$\begin{aligned}& \iint _{{Q_{T}}} {{\psi _{t}}A(u_{\varepsilon })\,dx\,dt} - \iint _{{Q_{T}}}\bigl(b(x)+\varepsilon \bigr) a({u_{\varepsilon }}){ \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+ \varepsilon \bigr)^{\frac{p(x)-2}{2}}}\nabla a( {u_{\varepsilon }}) \cdot \nabla \psi \,dx\,dt \\& \qquad {} -\sum_{i=1}^{N} \iint _{{Q_{T}}} {b_{i}}({u_{\varepsilon }}) \bigl(a'( {u_{\varepsilon }}){u_{\varepsilon {x_{i}}}}\psi + a({u_{\varepsilon }}){\psi _{{x_{i}}}}\bigr)\,dx\,dt \\& \qquad {} +\varepsilon ^{\frac{p^{-}}{2}}c(\varOmega )- \iint _{Q_{T}}\bigl(b(x)+\varepsilon \bigr)\psi \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla a(u_{\varepsilon }) \nabla v\,dx\,dt \\& \qquad {} - \iint _{Q_{T}}\bigl(b(x)+\varepsilon \bigr)\psi \vert \nabla v \vert ^{p(x)-2}\nabla v \cdot \nabla \bigl(a(u_{\varepsilon })- v \bigr)\,dx\,dt \\& \qquad {} + \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u_{\varepsilon }) \bigr]\psi a({u_{\varepsilon }})\,dx\,dt \\& \quad \geq 0. \end{aligned}$$


$$\begin{aligned}& \iint _{{Q_{T}}} \psi _{t}A(u_{\varepsilon })\,dx\,dt - \iint _{{Q_{T}}} \bigl(b(x)+ \varepsilon \bigr) a(u_{\varepsilon }) \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+ \varepsilon \bigr)^{\frac{p(x)-2}{2}}\nabla a(u_{\varepsilon }) \cdot \nabla \psi \,dx\,dt \\& \qquad {} - \sum_{i=1}^{N} \iint _{{Q_{T}}} {b_{i}}({u_{\varepsilon }}) \bigl(a'( {u_{\varepsilon }}){u_{\varepsilon {x_{i}}}}\psi + a({u_{\varepsilon }}){\psi _{{x_{i}}}}\bigr)\,dx\,dt \\& \qquad {} +\varepsilon ^{\frac{p^{-}}{2}}c(\varOmega )- \iint _{Q_{T}}\bigl(b(x)+\varepsilon \bigr)\psi \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p(x)-2}\nabla a(u_{\varepsilon }) \nabla v\,dx\,dt \\& \qquad {} - \iint _{{Q_{T}}} \psi b(x) { \vert {\nabla v} \vert ^{p(x) - 2}} \nabla v \cdot \bigl(\nabla a({u_{\varepsilon }}) - \nabla v \bigr)\,dx \,dt \\& \qquad {} -\varepsilon \iint _{Q_{T}}\psi \vert {\nabla v} \vert ^{p(x) - 2} \nabla v \cdot \bigl(\nabla a({u_{\varepsilon }}) - \nabla v\bigr)\,dx\,dt \\& \qquad {} + \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u_{\varepsilon }) \bigr]\psi a({u_{\varepsilon }})\,dx\,dt \\& \quad \geqslant 0. \end{aligned}$$

Now, since

$$\begin{aligned}& \bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon \bigr)^{\frac{p(x)-2}{2}} \nabla a({u_{\varepsilon }}) \\& \quad = \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p(x)-2} \nabla a(u_{\varepsilon })+\frac{p(x)-2}{2}\varepsilon \int _{0}^{1}\bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon s \bigr)^{\frac{p(x)-4}{2}}\,ds \nabla a(u_{\varepsilon }), \end{aligned}$$

we have

$$ \lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\frac{p(x)-2}{2}\varepsilon \int _{0}^{1}\bigl( \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{2}+\varepsilon s \bigr)^{ \frac{p(x)-4}{2}}\,ds \nabla a(u_{\varepsilon })\nabla \psi a(u_{\varepsilon })\,dx\,dt=0. $$

At the same time, using the Hölder inequality

$$ \int _{{\varOmega }} b(x) \vert {\nabla v} \vert ^{p(x) - 1}\big| \nabla a({u_{\varepsilon }}) \big|\,dx \leqslant \bigl\Vert b^{\frac{1}{s(x)}} \vert \nabla v \vert ^{p(x) - 1} \bigr\Vert _{L^{s(x)}(\varOmega )} \bigl\Vert b^{ \frac{1}{p(x)}} \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert \bigr\Vert _{L^{p(x)}(\varOmega )}, $$

we have

$$ \iint _{{Q_{T}}} b(x) \vert {\nabla v} \vert ^{p(x)}\,dx\,dt+ \iint _{{Q_{T}}} b(x) \vert {\nabla v} \vert ^{p(x)- 1}\big| \nabla a({u_{\varepsilon }}) \big|\,dx\,dt\leqslant c. $$

Here \(s(x) = \frac{p(x)}{{p(x) - 1}}\).

By (3.20)–(3.21), we have

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

Let \(\varepsilon \rightarrow 0\). By (3.19) and (3.22), we have

$$\begin{aligned}& \iint _{{Q_{T}}} {{\psi _{t}}A(u)\,dx\,dt} - \iint _{{Q _{T}}} {a(u)\overrightarrow{\zeta }\cdot \nabla \psi \,dx\,dt} \\& \qquad {} - \sum_{i = 1}^{N} { \iint _{{Q_{T}}} {{b_{i}}(u) \bigl(a'(u){u_{{x _{i}}}} \psi +a(u){\psi _{{x_{i}}}}\bigr)\,dx\,dt}} \\& \qquad {} - \iint _{{Q_{T}}} {\psi \overrightarrow{\zeta }\cdot \nabla v\,dx \,dt} - \iint _{{Q_{T}}} \psi b(x) { \vert {\nabla v} \vert ^{p(x) - 2}}\nabla v \cdot \bigl(\nabla a({u}) - \nabla v\bigr)\,dx\,dt \\& \qquad {} + \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u)\bigr]\psi a({u})\,dx\,dt \\& \quad \geqslant 0. \end{aligned}$$

Let \(\varphi =\psi u\) in (3.14). We get

$$\begin{aligned}& \iint _{{Q_{T}}} {\psi \overrightarrow{\zeta }\cdot \nabla a(u)\,dx \,dt} - \iint _{{Q_{T}}} {a(u){\psi _{t}}\,dx\,dt} \\& \qquad {}+ \iint _{{Q_{T}}} a(u)\overrightarrow{\zeta }\cdot \nabla \psi \,dx \,dt \\& \qquad {}+ \sum_{i=1}^{N} \iint _{{Q_{T}}} {b_{i}}(u) (a'(u)u_{x_{i}} \psi + a(u) \psi _{x_{i}}\,dx\,dt \\& \qquad {} + \iint _{Q_{T}}\bigl[c(x,t)-b_{0}a(u)\bigr]\psi a({u})\,dx\,dt \\& \quad = 0. \end{aligned}$$

From the above formulas, we can extrapolate to

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

If we choose \(v=a(u)- \lambda \varphi \) and choose \(\lambda >0\) or \(\lambda <0\), respectively, letting \(\lambda \rightarrow 0\), we can deduce

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

Since \(\psi = 1\) on suppφ, we know that (3.15) is true.

At last, (2.3) can be showed as in [19], the proof of Theorem 3.2 finishes. □

Lemma 3.3

Let \(u(x,t)\)be a solution of Eq. (1.6) with the initial value (1.2). If \(\int _{\varOmega }b(x)^{-\frac{1}{p^{-}-1}}\,dx< \infty \), then

$$ \int _{\varOmega } \bigl\vert \nabla a(u) \bigr\vert \,dx< \infty . $$


$$\begin{aligned}& \int _{\varOmega } \bigl\vert \nabla a(u) \bigr\vert \,dx \\& \quad = \int _{ \{ x\in \varOmega :b(x)^{\frac{1}{p^{-}-1}} \vert \nabla a(u) \vert \leq 1 \} } \bigl\vert \nabla a(u) \bigr\vert \,dx+ \int _{ \{ x\in \varOmega :b(x)^{\frac{1}{p^{-}-1}} \vert \nabla a(u) \vert > 1 \} } \bigl\vert \nabla a(u) \bigr\vert \,dx \\& \quad \leq \int _{\varOmega } b(x)^{-\frac{1}{p^{-}-1}}\,dx+ \int _{\varOmega } b(x) \bigl\vert \nabla a(u) \bigr\vert ^{p^{-}}\,dx \\& \quad \leq c . \end{aligned}$$


For small \(\eta >0\), we define

$$ S_{\eta }(s)= \int _{0}^{s}h_{\eta }(\tau )\,d\tau , $$

where \(h_{\eta }(s)=\frac{2}{\eta } (1-\frac{| s| }{ \eta } )_{+}\), and clearly

$$\begin{aligned}& \lim_{\eta \rightarrow 0^{+}}sS_{\eta }^{\prime }(s)= \lim _{\eta \rightarrow 0}sh_{\eta }(s)=0, \\& \lim_{\eta \rightarrow 0^{+}}S_{\eta }(s)=\operatorname{sgn}(s), \end{aligned}$$

where \(\operatorname{sgn}(s)\) is the sign function.

Theorem 3.4

Suppose \(\int _{\varOmega }b(x)^{-\frac{1}{p^{-}-1}}\,dx< \infty \), \(a(s)\)and \(b_{i}(s)\)satisfying (1.7) and (2.8). If \(u(x,t)\)and \(v(x,t)\)are two weak solutions with the same homogeneous boundary value (1.3) and with different initial values \(u(x,0)\), \(v(x,0)\), respectively, we have

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


By Definition 2.1, \(b(x)|\nabla a(u)|^{p(x)}, b(x)|\nabla a(v){|^{p(x)}} \in {L^{1}}(Q_{T})\), and for any

$$ \varphi \in L^{\infty } \bigl(0,T; W_{0}^{1,p(x)}( \varOmega ) \bigr) \cap \mathbf{W}(Q_{T}) $$

we have

$$\begin{aligned}& \iint _{{Q_{t}}} \varphi \frac{{\partial (u - v)}}{{\partial t}}\,dx \,dt \\& \quad = - \iint _{{Q_{t}}} {b(x)} \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) \cdot \nabla \varphi \,dx\,dt \\& \qquad {} -\sum_{i=1}^{N} \iint _{Q_{t}} \bigl[b_{i}(u)-b_{i}(v) \bigr] \cdot \varphi _{ {x_{i}}}\,dx\,dt - \iint _{Q_{t}}b_{0}\bigl[a(u)-a(v)\bigr]\varphi \,dx\,dt , \end{aligned}$$

where \(Q_{t}=\varOmega \times (0,t)\).

Thus, if we choose \({S_{\eta }}(a(u) - a(v))\) as the test function, we have

$$\begin{aligned}& \iint _{{Q_{t}}} {S_{\eta }}\bigl(a(u) - a(v)\bigr) \frac{{\partial (u - v)}}{ {\partial t}}\,dx\,dt \\& \qquad {} + \iint _{{Q_{t}}} {b(x)} \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 {}\cdot \nabla \bigl(a(u) - a(v)\bigr){h_{\eta }} \bigl(a(u)-a(v)\bigr)\,dx\,dt \\& \qquad {} + \sum_{i=1}^{N} \iint _{{Q_{t}}} \bigl[{b_{i}}(u) - {b_{i}}(v)\bigr] \cdot {{\bigl(a(u) - a(v)\bigr)}_{{x_{i}}}} {h_{\eta }(u-v)}\,dx\,dt \\& \quad = - \iint _{Q_{t}}b_{0}\bigl[a(u)-a(v) \bigr]S_{\eta }\bigl(a(u) - a(v)\bigr)\,dx\,dt. \end{aligned}$$

Since \(a(s)\) is a monotone increasing function, we can easily show that

$$ \lim_{\eta \rightarrow 0^{+}} \int _{\varOmega } {{S_{\eta }}\bigl(a(u) - a(v)\bigr) \frac{ {\partial (u - v)}}{{\partial t}}\,dx} = \frac{d}{dt} \Vert {u - v} \Vert _{L^{1}(\varOmega )}, $$

and clearly

$$\begin{aligned}& \iint _{{Q_{t}}} {b(x)} \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] \\& \quad {}\cdot \nabla \bigl(a(u) - a(v)\bigr){h_{\eta }}\bigl(a(u)-a(v) \bigr)\,dx\,dt \geqslant 0. \end{aligned}$$

Now, by that \(\vert s {h_{\eta }(s)} \vert \leqslant 1\), we have

$$\begin{aligned}& \Biggl\vert \iint _{{Q_{t}} \cap \{ \vert a(u)-a(v) \vert < \eta \} }\sum_{i=1}^{N} {\bigl[{b_{i}}(u) - {b_{i}}(v)\bigr] \bigl[{S_{\eta }} {{\bigl(a(u)-a(v)\bigr)}\bigr]_{{x_{i}}}}}\,dx\,dt \Biggr\vert \\& \quad = \Biggl\vert \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } \sum_{i=1}^{N} {\bigl[{b_{i}}(u) - {b_{i}}(v)\bigr]h_{\eta } \bigl(a(u)-a(v)\bigr){{\bigl(a(u)-a(v)\bigr)}_{{x_{i}}}}}\,dx\,dt \Biggr\vert \\& \quad \leqslant c \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } \sum_{i=1} ^{N} \biggl\vert \frac{{{b_{i}}(u) - {b_{i}}(v)}}{{a(u)-a(v)}} \biggr\vert \bigl\vert { \bigl(a(u)-a(v)\bigr)_{{x_{i}}}} \bigr\vert \,dx\,dt \\& \quad = c \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } \Biggl\vert b(x)^{- \frac{1}{p ^{-}}}\sum _{i=1}^{N}\frac{{b_{i}}(u) - {b_{i}}(v)}{a(u)-a(v)} \Biggr\vert b(x)^{\frac{1}{p ^{-}}} \bigl\vert \bigl(a(u)-a(v)\bigr)_{{x_{i}}} \bigr\vert \,dx\,dt \\& \quad \leqslant c \Biggl[ \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } \Biggl( \Biggl\vert b(x)^{ - \frac{1}{p^{-}}}\sum _{i=1}^{N}\frac{{b_{i}}(u) - {b_{i}}(v)}{a(u)-a(v) } \Biggr\vert \Biggr)^{\frac{p^{-}}{p^{-} - 1}}\,dx\,dt \Biggr] ^{\frac{p^{-} - 1}{p^{-}}} \\& \qquad {} \cdot \biggl( \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } \bigl\vert {b(x)} \nabla \bigl(a(u)-a(v)\bigr) \bigr\vert ^{p^{-}}\,dx\,dt \biggr)^{\frac{1}{p^{-}}}. \end{aligned}$$

Since \(\int _{\varOmega }b(x)^{-\frac{1}{p^{-}-1}}\,dx<\infty \), by the assumption (2.8), we have

$$\begin{aligned}& \iint _{Q_{t} \cap \{ { \vert {a(u)-a(v)} \vert < \eta } \} } \Biggl( \Biggl\vert {b(x)^{ - \frac{1 }{p^{-}}}} \sum_{i=1} ^{N}\frac{{{b_{i}}(u) - {b_{i}}(v)}}{{a(u)-a(v) }} \Biggr\vert \Biggr) ^{\frac{p}{{p^{-} - 1}}}\,dx\,dt \\& \quad \leqslant c \iint _{Q_{t}} {{b(x)^{ - \frac{1}{ {p^{-} - 1}}}}\,dx\,dt} \leqslant c. \end{aligned}$$

Let \(\eta \rightarrow 0^{+}\) in (3.29). If \(\{ x \in \varOmega :|a(u)-a(v)| = 0\}\) is a set with 0 measure, then

$$ \lim_{\eta \to 0^{+}} \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } { \bigl\vert {b(x)^{\frac{-1}{ {p^{-} - 1}}}} \bigr\vert \,dx\,dt}= \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert =0\} } { \bigl\vert {b(x)^{\frac{-1}{{p^{-} - 1}}}} \bigr\vert \,dx\,dt} = 0. $$

If the set \(\{ x \in \varOmega :|a(u)-a(v)| = 0\}\) has a positive measure, then

$$\begin{aligned}& \lim_{\eta \to 0^{+}} \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert < \eta \} } {b(x)} \bigl\vert \nabla \bigl(a(u)-a(v)\bigr) \bigr\vert ^{p^{-}}\,dx\,dt \\& \quad = \iint _{Q_{t} \cap \{ \vert a(u)-a(v) \vert = 0\} } {b(x)} \bigl\vert \nabla \bigl(a(u)-a(v)\bigr) \bigr\vert ^{p ^{-}}\,dx\,dt \\& \quad = 0. \end{aligned}$$

Therefore, in both cases, (3.29) tends to 0 as \(\eta \rightarrow 0^{+}\).


$$\begin{aligned}& \lim_{\eta \to 0^{+} } \iint _{{Q_{t}}} \bigl[{b_{i}}(u) - {b_{i}}(v)\bigr]h_{\eta }\bigl(a(u)-a(v)\bigr){{ \bigl(a(u)-a(v)\bigr)}_{{x_{i}}}}\,dx\,dt = 0, \end{aligned}$$
$$\begin{aligned}& -\lim_{\eta \to 0^{+} } \iint _{{Q_{t}}} b_{0}\bigl[ {a}(u) - {a}(v) \bigr]S_{\eta }\bigl(a(u)-a(v)\bigr)\,dx\,dt \\& \quad =- \iint _{{Q_{t}}}b_{0} \bigl\vert a(u)-a(v) \bigr\vert \,dx\,dt \leq 0. \end{aligned}$$

Let \(\eta \rightarrow 0^{+}\) in (3.26). Then, by (3.27)–(3.34), we have

$$ \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}= \int _{0}^{t}\frac{d}{dt} \Vert {u - v} \Vert _{L^{1}(\varOmega )}\,dt \leqslant 0. $$


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

Theorem 3.4 is proved. □

Theorem 2.3 is the directly corollary of Theorem 3.2, Lemma 3.3 and Theorem 3.4.

4 The proof of Theorem 2.4

Proof of Theorem 2.4

For any small \(\lambda >0\), denote

$$ \varOmega _{\lambda }=\bigl\{ x\in \varOmega : b(x)>\lambda \bigr\} , $$

let \(\beta >0\) and

$$ \phi (x)=\bigl(b(x)-\lambda \bigr)_{+}^{\beta }. $$

Let \(u_{\varepsilon }\) and \(v_{\varepsilon }\) be the mollified function of the solutions u and v, respectively, \(\chi _{[s,t]}\) be the characteristic function of \([s,t]\subset (0,T)\) and let us choose \(\chi _{[s,t]}S_{\eta }(\phi (a(u_{\varepsilon }) - a(v_{\varepsilon })))\) as a test function. Then

$$\begin{aligned}& \int _{s}^{t} \int _{\varOmega _{\lambda }} S_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr) \frac{\partial (u - v)}{\partial t}\,dx\,dt \\& \qquad {} + \int _{s}^{t} \int _{\varOmega _{\lambda }} b(x) \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 {} \cdot \phi \nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)h_{ \eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx\,dt \\& \qquad {} + \int _{s}^{t} \int _{\varOmega _{\lambda }} b(x) \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 {} \cdot \nabla \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)h_{ \eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx\,dt \\& \qquad {} +\sum_{i=1}^{N} \int _{s}^{t} \int _{\varOmega _{\lambda }}\bigl[b_{i}(u)-b_{i}(v) \bigr] \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)_{x_{i}}h_{\eta }\bigl( \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx\,dt \\& \qquad {} +\sum_{i=1}^{N} \int _{s}^{t} \int _{\varOmega _{\lambda }}\bigl[b_{i}(u)-b_{i}(v) \bigr] \phi _{x_{i}} \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)h_{\eta }\bigl( \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx\,dt \\& \quad =- \int _{s}^{t} \int _{\varOmega _{\lambda }}b_{0}\bigl(a(u_{\varepsilon })-a(v _{\varepsilon })\bigr)S_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx\,dt. \end{aligned}$$

For any given \(\lambda >0\), by (2.1) in Definition 2.1, \(|\nabla a(u)| \in L^{p(x)}(\varOmega _{\lambda })\), \(|\nabla a(v)|^{p(x)}\in L^{p(x)}( \varOmega _{\lambda })\). Thus according to the definition of the mollified function, since the exponent \(p(x)\) is required to satisfy the logarithmic Hölder continuity condition, we have

$$\begin{aligned}& \begin{aligned}&a(u_{\varepsilon })\in L^{\infty }(Q_{T}), \qquad a(v_{\varepsilon })\in L ^{\infty }(Q_{T}),\qquad a(u_{\varepsilon })\rightarrow a(u), \\ & a(v_{\varepsilon })\rightarrow a(v),\quad \text{a.e. in } Q_{T}, \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned}& \bigl\Vert \bigl\vert \nabla a(u_{\varepsilon }) \bigr\vert ^{p(x)} \bigr\Vert _{1,\varOmega _{\lambda }}\leq \bigl\Vert \bigl\vert \nabla a(u) \bigr\vert ^{p(x)} \bigr\Vert _{1,\varOmega _{\lambda }}, \\ & \bigl\Vert \bigl\vert \nabla a(v_{\varepsilon }) \bigr\vert ^{p(x)} \bigr\Vert _{1,\varOmega _{\lambda }}\leq \bigl\Vert \bigl\vert \nabla a(v) \bigr\vert ^{p(x)} \bigr\Vert _{1, \varOmega _{\lambda }}, \end{aligned} \end{aligned}$$
$$\begin{aligned}& \nabla a(u_{\varepsilon })\rightarrow \nabla a(u),\qquad \nabla a(v_{\varepsilon })\rightarrow \nabla a(v),\quad \text{in } L^{p(x)}(\varOmega _{\lambda }). \end{aligned}$$

We give some explanations. Denoting \(w=a(u)\in W^{1,p(x)}( \varOmega _{\lambda })\), there is a series \(w_{\varepsilon }\in W^{1,p(x)}( \varOmega _{\lambda })\) such that

$$ w_{\varepsilon }\rightarrow w=a(u),\quad \text{in } W^{1,p(x)}( \varOmega _{\lambda }). $$

Since \(a(s)\) is a strictly monotone increasing function, by (4.7), it is easy to show that

$$ a^{-1}(w_{\varepsilon })\rightarrow a^{-1}(w)=u, \quad \text{in } W^{1,p(x)}( \varOmega _{\lambda }) $$

by the uniqueness of the limit, then \(w_{\varepsilon }=a(u_{\varepsilon })\), accordingly, we have (4.4)–(4.6).


$$ 0\leq h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr) \leq \frac{2}{\eta }, $$

we have

$$\begin{aligned}& \bigl\vert \nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)h_{\eta }\bigl( \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr) \bigr\vert _{L^{p(x)}( \varOmega _{\lambda })} \\& \quad \leq c(\eta ) \bigl\vert \nabla \bigl(a(u_{\varepsilon }) - a(v _{\varepsilon })\bigr) \bigr\vert _{L^{p(x)}(\varOmega _{\lambda })}\leq c(\eta ). \end{aligned}$$

If we denote

$$\begin{aligned}& \int _{\varOmega _{\lambda }}\nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\varphi \,dx \\& \qquad {} - \int _{\varOmega _{\lambda }}\nabla \bigl(a(u) - a(v)\bigr)h_{\eta } \bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr)\varphi \,dx \\& \quad = \int _{\varOmega _{\lambda }}\nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr) \bigl[h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)-h _{\eta }\bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr) \bigr]\varphi \,dx \\& \qquad {} + \int _{\varOmega _{\lambda }}\bigl[\nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)-\nabla \bigl(a(u)-a(v)\bigr)\bigr]h_{\eta } \bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr)\varphi \,dx \\& \quad =I_{1}+I_{2}, \end{aligned}$$

for any \(\varphi \in L^{\frac{p(x)}{p(x)-1}}(\varOmega _{\lambda })\), by \(\nabla a(u_{\varepsilon })\rightarrow \nabla a(u)\), \(\nabla a(v_{ \varepsilon })\rightarrow \nabla a(v)\), in \(L^{p(x)}( \varOmega _{\lambda })\), we obtain

$$ \lim_{\varepsilon \rightarrow 0}I_{2}=0, $$


$$\begin{aligned} \lim_{\varepsilon \rightarrow 0}I_{1} \leq& \lim _{\varepsilon \rightarrow 0} \bigl\Vert \nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr) \bigr\Vert _{L^{p(x)}( \varOmega _{\lambda })} \\ &{}\cdot \bigl\Vert \bigl[h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)-h_{\eta } \bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr) \bigr]\varphi \bigr\Vert _{L^{\frac{p(x)}{p(x)-1}}(\varOmega _{\lambda })} \\ \leq& \lim_{\varepsilon \rightarrow 0} \bigl\Vert \nabla \bigl(a(u)- a(v) \bigr) \bigr\Vert _{L^{p(x)}( \varOmega _{\lambda })} \\ &{}\cdot \bigl\Vert \bigl[h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)-h_{\eta } \bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr) \bigr]\varphi \bigr\Vert _{L^{\frac{p(x)}{p(x)-1}}(\varOmega _{\lambda })} \\ =&0, \end{aligned}$$

by the Lebesgue dominated convergence theorem. By (4.11)–(4.13), we obtain

$$\begin{aligned}& \nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)h_{\eta }\bigl(\phi \bigl(a(u _{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr) \\& \quad \rightharpoonup \nabla \bigl(a(u) - a(v)\bigr)h_{\eta }\bigl( \phi \bigl(a(u)- a(v)\bigr)\bigr),\quad \text{in } L^{p(x)}( \varOmega _{\lambda }). \end{aligned}$$

By (4.14)

$$\begin{aligned}& \lim_{\varepsilon \rightarrow 0} \int _{\varOmega _{\lambda }}b(x) \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 {} \cdot \phi \nabla \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx \\& \quad = \int _{\varOmega _{\lambda }} b(x) \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 {} \cdot \phi \nabla \bigl(a(u) - a(v)\bigr)h_{\eta }\bigl(\phi \bigl(a(u) - a(v)\bigr)\bigr)\,dx, \end{aligned}$$

due to

$$ \bigl\vert b(x)\phi \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] \bigr\vert \in L^{\frac{p(x)}{p(x)-1}}(\varOmega _{\lambda }). $$

At the same time, clearly

$$\begin{aligned}& \lim_{\varepsilon \rightarrow 0} \int _{\varOmega _{\lambda }}b(x) \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 (v) \bigr] \\& \qquad {} \cdot \nabla \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)h_{\eta }\bigl(\phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx \\& \quad = \int _{\varOmega _{\lambda }} b(x) \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] \\& \quad \quad {} \cdot \nabla \phi \bigl(a(u) - a(v)\bigr)h_{\eta } \bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr)\,dx, \end{aligned}$$

by the Lebesgue dominated convergence theorem.

Once more, we can obtain

$$\begin{aligned}& \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)_{x_{i}}h_{\eta } \bigl(\phi \bigl(a(u _{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr) \\& \quad \rightharpoonup \bigl(a(u) - a(v)\bigr)_{x _{i}}h_{\eta } \bigl(\phi \bigl(a(u)- a(v)\bigr)\bigr),\quad \text{in } L^{p(x)}(\varOmega _{ \lambda }), \end{aligned}$$

by a similar method to (4.14). Thus

$$\begin{aligned}& \lim_{\varepsilon \rightarrow 0} \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)_{x_{i}}h_{\eta }\bigl( \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx \\& \quad = \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] \phi \bigl(a(u) - a(v)\bigr)_{x_{i}}h_{ \eta }\bigl(\phi \bigl(a(u) - a(v)\bigr)\bigr)\,dx. \end{aligned}$$

Meanwhile, we have

$$\begin{aligned}& \lim_{\varepsilon \rightarrow 0} \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] \phi _{x_{i}} \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon }) \bigr)h_{\eta }\bigl( \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr)\,dx \\& \quad = \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] \phi _{x_{i}} \bigl(a(u)- a(v)\bigr)h_{\eta }\bigl( \phi \bigl(a(u)- a(v)\bigr)\bigr)\,dx. \end{aligned}$$

In addition, since

$$ u_{t}, v_{t}\in \mathbf{W}'(Q_{T}), $$

according to [3], we have

$$\begin{aligned}& \lim_{\varepsilon \rightarrow 0} \int _{\varOmega _{\lambda }} S_{\eta }\bigl( \phi \bigl(a(u_{\varepsilon }) - a(v_{\varepsilon })\bigr)\bigr) \frac{\partial (a(u)- a(v))}{\partial t}\,dx \\& \quad = \int _{\varOmega _{\lambda }} S_{\eta }\bigl(\phi \bigl(a(u)- a(v) \bigr)\bigr)\frac{ \partial (a(u) - a(v))}{\partial t}\,dx. \end{aligned}$$

Now, only if we let \(\varepsilon \rightarrow 0\), and let \(\lambda \rightarrow 0\) in (4.3), we have

$$\begin{aligned}& \int _{s}^{t} \int _{\varOmega } S_{\eta }\bigl(b^{\beta } \bigl(a(u) - a(v)\bigr)\bigr)\frac{ \partial (u - v)}{\partial t}\,dx\,dt \\& \qquad {} + \int _{s}^{t} \int _{\varOmega }b(x) \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 {} \cdot b^{\beta } \nabla \bigl(a(u) - a(v) \bigr)h_{\eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx\,dt \\& \qquad {} + \int _{s}^{t} \int _{\varOmega }b(x) \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 {} \cdot \nabla b^{\beta } \bigl(a(u) - a(v) \bigr)h_{\eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx\,dt \\& \qquad {} + \sum_{i=1}^{N} \int _{s}^{t} \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] b^{ \beta } \bigl(a(u) - a(v)\bigr)_{x_{i}}h_{\eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx\,dt \\& \qquad {} +\sum_{i=1}^{N} \int _{s}^{t} \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr]b^{\beta }_{x_{i}} \bigl(a(u) - a(v)\bigr)h_{\eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx\,dt \\& \quad = 0. \end{aligned}$$

Let us analyze every term on the left hand side of (4.22).

For the first term, by \(a(s)\) being strictly increasing,

$$\begin{aligned}& \lim_{\eta \rightarrow 0^{+}} \int _{\varOmega } S_{\eta }\bigl(b^{\beta } \bigl(a(u) - a(v)\bigr)\bigr)\frac{\partial (u - v)}{\partial t}\,dx \\& \quad = \int _{\varOmega } \operatorname{sgn}\bigl(b^{\beta }\bigl(a(u) - a(v) \bigr)\bigr)\frac{\partial (u - v)}{\partial t}\,dx \\& \quad = \int _{\varOmega } \operatorname{sgn}(u - v)\frac{\partial (u - v)}{\partial t}\,dx \\& \quad = \frac{d}{dt} \Vert u - v \Vert _{L^{1}(\varOmega )}. \end{aligned}$$

For the second term,

$$\begin{aligned}& \int _{\varOmega }b(x) \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] \\& \quad {} \cdot \nabla \bigl(a(u) - a(v)\bigr)h_{\eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr) \phi (x)\,dx \geq 0. \end{aligned}$$

For the third term, from (iii) of Lemma 2.2, since \(\int _{\varOmega } b(x)^{-(p(x)-1)}\,dx< \infty \), and using the Lebesgue dominated convergence theorem, we have

$$\begin{aligned}& \bigl\Vert b(x)^{-\frac{p(x)-1}{p(x)}} \bigl\vert b^{\beta } \bigl(a(u) - a(v)\bigr)h_{ \eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr) \bigr\vert \bigr\Vert _{L^{p(x)}(\{x:b^{\beta } \vert a(u) - a(v) \vert < \eta \})} \\& \quad \leq \biggl( \int _{\varOmega }b(x)^{-(p(x)-1)}b^{\beta }\bigl(a(u) - a(v)\bigr)h _{\eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr) \bigr)\,dx \biggr)^{\frac{1}{p^{+}}}, \end{aligned}$$

which goes to zero as \(\eta \rightarrow 0^{+}\).

By (4.2), we have

$$\begin{aligned}& \lim_{\eta \rightarrow 0^{+}} \biggl\vert \int _{\varOmega } b(x) \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 {} \cdot \nabla b^{\beta } \bigl(a(u) - a(v)\bigr)h _{\eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx \biggr\vert \\& \quad \leq c\lim_{\eta \rightarrow 0} \int _{ \{ x:b^{\beta } \vert a(u) - a(v) \vert < \eta \} } \big| \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)\big| \\& \qquad {} \cdot \big|b^{\beta }\bigl(a(u) - a(v) \bigr)h_{\eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\big|\,dx \\& \quad \leq c\lim_{\eta \rightarrow 0} \bigl\Vert b(x)^{-\frac{p(x)-1}{p(x)}}b ^{\beta }\bigl(a(u) - a(v)\bigr)h_{\eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr) \bigr\Vert _{L^{p(x)} ( \{ x:b^{\beta } \vert a(u) - a(v) \vert < \eta \} )} \\& \qquad {} \cdot \bigl\Vert b(x)^{\frac{p(x)-1}{p(x)}} \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] \bigr\Vert _{L^{\frac{p(x)}{p(x)-1}} ( \{ x:b^{\beta } \vert a(u) - a(v) \vert < \eta \} )} \\& \quad =0. \end{aligned}$$

For the fourth term, we have

$$\begin{aligned}& \biggl\vert \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] b^{\beta } \bigl(a(u) - a(v)\bigr)_{x _{i}}h_{\eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx \biggr\vert \\& \quad \leq \int _{\varOmega } \bigl\vert b(x)^{\frac{1}{p(x)}}\bigl(a(u) - a(v)\bigr)_{x_{i}} \bigr\vert \\& \qquad {}\cdot \biggl\vert b(x)^{-\frac{1}{p(x)}}\frac{b_{i}(u)-b_{i}(v)}{a(u) - a(v)}b ^{\beta } \bigl(a(u) - a(v) \bigr)h_{\eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr) \biggr\vert \,dx \\& \quad \leq c \bigl\Vert b(x)^{\frac{1}{p(x)}}\bigl( \bigl\vert \nabla a(u) \bigr\vert + \bigl\vert \nabla a(v) \bigr\vert \bigr) \bigr\Vert _{L^{p(x)}( \varOmega )} \\& \qquad {} \cdot \bigl\Vert b(x)^{-\frac{1}{p(x)}}b^{\beta } \bigl(a(u) - a(v)\bigr)h_{ \eta }\bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr) \bigr\Vert _{L^{\frac{p(x)}{p(x)-1}}( \varOmega )}, \end{aligned}$$

which goes to 0 as \(\eta \rightarrow 0^{+}\). Moreover, for the last term, since \(u,v\in L^{\infty }(Q_{T})\), \(|b_{i}(u)-b_{i}(v)|\leq c\), by the dominated convergence theorem, we have

$$\begin{aligned}& \biggl\vert \int _{\varOmega }\bigl[b_{i}(u)-b_{i}(v) \bigr] b^{\beta }_{x_{i}} \bigl(a(u) - a(v)\bigr)S'_{ \eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr)\,dx \biggr\vert \\& \quad \leq c \int _{\varOmega _{\lambda }} b^{-1}(x) \bigl\vert b^{\beta }\bigl(a(u) - a(v)\bigr)S'_{ \eta } \bigl(b^{\beta }\bigl(a(u) - a(v)\bigr)\bigr) \bigr\vert \,dx \\& \quad \leq \frac{c}{\lambda } \int _{\varOmega _{\lambda }} \bigl\vert b^{\beta }\bigl(a(u) - a(v) \bigr)S'_{ \eta }\bigl(b^{\beta }\bigl(a(u) - a(v) \bigr)\bigr) \bigr\vert \,dx \\& \quad \rightarrow 0, \end{aligned}$$

as \(\eta \rightarrow 0^{+}\). Here, \(\varOmega _{\lambda }=\{x\in \varOmega : b(x)>\lambda \}\).

Then, by (4.23)–(4.28),

$$ \int _{0}^{t}\frac{d}{{dt}}{ \Vert {u - v} \Vert _{L^{1}(\varOmega )}}\,dt \leqslant c \int _{0}^{t}{ \Vert {u - v} \Vert _{1}}\,dt. $$

It implies that

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

Theorem 2.4 is proved. □


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

    Article  MathSciNet  Google Scholar 

  2. Antontsev, S., Rodrigues, J.F.: On stationary thermo-rheological viscous flows. Ann. Univ. Ferrara, Sez. 7: Sci. Mat. 52, 19–36 (2006)

    Article  MathSciNet  Google Scholar 

  3. Rajagopal, K., Ruzicka, M.: Mathematical modelling of electro-rheological fluids. Contin. Mech. Thermodyn. 13, 59–78 (2001)

    Article  Google Scholar 

  4. Aboulaich, R., Meskine, D., Souissi, A.: New diffusion models in image processing. Comput. Math. Appl. 56, 874–882 (2008)

    Article  MathSciNet  Google Scholar 

  5. Levine, S., Chen, Y.M., Stanich, J.: Image Restoration Via NonstandArd Diffusion, Department of Mathematics and Computer Science, Duquesne University (2004)

  6. Guo, B., Li, Y.J., Gao, W.J.: Singular phenomena of solutions for nonlinear diffusion equations involving \(p(x)\)-Laplace operator and nonlinear source. Z. Angew. Math. Phys. 66, 989–1005 (2015)

    Article  MathSciNet  Google Scholar 

  7. Antontsev, S., Chipot, M., Shmarev, S.: Uniqueness and comparison theorems for solutions of doubly nonlinear parabolic equations with nonstandard growth conditions. Commun. Pure Appl. Anal. 12, 1527–1546 (2013)

    Article  MathSciNet  Google Scholar 

  8. Gao, Y.C., Ch, Y., Gao, W.J.: Existence, uniqueness, and nonexistence of solution to nonlinear diffusion equations with \(p(x, t)\)-Laplacian operator. Bound. Value Probl. 2016, 149 (2016)

    Article  MathSciNet  Google Scholar 

  9. Liu, B., Dong, M.: A nonlinear diffusion problem with convection and anisotropic nonstandard growth conditions. Nonlinear Anal., Real World Appl. 48, 383–409 (2019)

    Article  MathSciNet  Google Scholar 

  10. Guo, B., Gao, W.: Study of weak solutions for parabolic equations with nonstandard growth conditions. J. Math. Anal. Appl. 374(2), 374–384 (2011)

    Article  MathSciNet  Google Scholar 

  11. Gao, Y.C., Gao, W.J.: Extinction and asymptotic behavior of solutions for nonlinear parabolic equations with variable exponent of nonlinearity. Bound. Value Probl. 2013, 164 (2013)

    Article  MathSciNet  Google Scholar 

  12. Chen, Y., Levine, S., Rao, M.: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 66, 1383–1406 (2006)

    Article  MathSciNet  Google Scholar 

  13. Manfredi, J., Vespri, V.: Large time behavior of solutions to a class of doubly nonlinear parabolic equations. Electron. J. Differ. Equ. 1994, 2 (1994)

    MathSciNet  MATH  Google Scholar 

  14. Lee, K., Petrosyan, A., Vázquez, J.L.: Large time geometric properties of solutions of the evolution p-Laplacian equation. J. Differ. Equ. 229, 389–411 (2006)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  16. Mcleod, J.B.: Nonlinear Diffusion Equations 152(4), 608–615 (2006)

  17. Liu, W., Wang, M.: Blow-up of the solution for a p-Laplace equation with positive initial energy. Acta Appl. Math. 103(2), 141–146 (2008)

    Article  MathSciNet  Google Scholar 

  18. Antontsev, S., Shmarev, S.: Doubly degenerate parabolic equations with variable nonlinearity II: blow-up and extinction in a finite time. Nonlinear Anal. 95(1), 483–498 (2014)

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  20. Antontsev, S., Shmarev, S.: Parabolic equations with anisotropic nonstandard growth conditions. Int. Ser. Numer. Math. 154, 33–44 (2007)

    Article  MathSciNet  Google Scholar 

  21. Zhan, H., Wen, J.: Evolutionary \(p(x)\)-Laplacian equation free from the limitation of the boundary value. Electron. J. Differ. Equ. 2016, 143 (2016)

    Article  MathSciNet  Google Scholar 

  22. Zhan, H.: The weak solutions of an evolutionary \(p(x)\)-Laplacian equation are controlled by the initial value. Comput. Math. Appl. 76, 2272–2285 (2018)

    Article  MathSciNet  Google Scholar 

  23. Zhikov, V.V.: On the density of smooth functions in Sobolev–Orlicz spaces. Otdel. Mat. Inst. Steklov. (POMI) 310, 67–81 (2004). Translation in J. Math. Sci. (N.Y.) 132, 285–294 (2006)

    MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  26. Zhan, H.: The uniqueness of a nonlinear diffusion equation related to the p-Laplacian. J. Inequal. Appl. 2018, 7 (2018)

    Article  MathSciNet  Google Scholar 

  27. Antonelli, F., Barucci, E., Mancino, M.E.: A comparison result for FBSDE with applications to decisions theory. Math. Methods Oper. Res. 54, 407–423 (2001)

    Article  MathSciNet  Google Scholar 

  28. Zhan, H., Feng, Z.: The stability of the solutions to a degenerate parabolic equation. J. Differ. Equ. 267(5), 2874–2890 (2019)

    Article  Google Scholar 

  29. Gu, L.: Second Order Parabolic Partial Differential Equations. The Publishing Company of Xiamen University, Xiamen (2002) (in Chinese)

    Google Scholar 

  30. Taylor, M.E.: Partial Differential Equations III. Springer, Berlin (1999)

    Google Scholar 

Download references


The author would like to thank reviewers for their good comments and advice.

Availability of data and materials

No applicable.


The paper is supported by Natural Science Foundation of Fujian province (no: 2019J01858), supported by the Open Research Fund Program form Fujian Engineering and Research Center of Rural Sewage Treatment and Water Safety, supported by Science Foundation of Xiamen University of Technology, China.

Author information

Authors and Affiliations



The author read and approved the final manuscript.

Corresponding author

Correspondence to Huashui Zhan.

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

Zhan, H. The weak solutions of a doubly nonlinear parabolic equation related to the \(p(x)\)-Laplacian. Adv Differ Equ 2019, 463 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


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


  • \(p(x)\)-Laplacian
  • The initial-boundary value problem
  • Stability