# On a degenerate parabolic equation with Newtonian fluid∼non-Newtonian fluid mixed type

## Abstract

We study the existence of weak solutions to a Newtonian fluidnon-Newtonian fluid mixed-type equation

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

We assume that $$A'(s)=a(s)\geq 0$$, $$A(s)$$ is a strictly increasing function, $$A(0)=0$$, $$b(x,t)\geq 0$$, and $$\alpha (x,t)\geq 0$$. If

$$b(x,t)=\alpha (x,t)=0,\quad (x,t)\in \partial \Omega \times [0,T],$$

then we prove the stability of weak solutions without the boundary value condition.

## 1 Introduction

Consider the nonlinear parabolic equations related to the $$p(x)$$-Laplacian

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

where $$Q_{T}=\Omega \times (0,T)$$, $$\Omega \subset \mathbb{R}^{N}$$ is a bounded domain with smooth boundary Ω, the variable exponent $$p(x)>1$$ is a $$C(\overline{\Omega })$$ function, and $$\alpha (x,t)$$ and $$b(x,t)\in C^{1}(\overline{Q_{T}})$$ are nonnegative,

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

$$A'(s)=a(s)\geq 0$$, $$a(s)\in C(\mathbb{R})$$, and $$A(0)=0$$. The evolutionary $$p(x)$$-Laplacian equation is a new and interesting topic in this century. Since it is with variable exponent, many mathematical difficulties arise; we refer to [3, 5, 8, 19, 34] for details. If $$A(s)=s$$, $$\alpha (x,t)=0$$, and $$b(x,t)=1$$, then equation (1.1) becomes the so-called electrorheological fluid equation [1, 19]

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

which also has many other important applications, for example, image processing [8] and elasticity [34].

For $$p(x)$$ satisfying the logarithmic Hölder continuity condition, Antontsev–Shmarev [2] established the existence and uniqueness results of equation (1.3) with usual initial boundary value conditions

\begin{aligned}& u(x,t)=u_{0}(x),\quad x\in \Omega , \end{aligned}
(1.4)
\begin{aligned}& u(x,t)=0,\quad (x,t)\in \partial \Omega \times [0,T), \end{aligned}
(1.5)

when $$u_{0}(x)\in L^{\infty }(\Omega )$$. Bendahmane et al. [7] studied the well-posedness (existence and uniqueness) of a renormalized solution to equation (1.3) with $$L^{1} (\Omega )$$-data. Since then, there were many papers on the solvability and regularity of the equation related to equation (1.3); see [4, 6, 14, 16, 21, 22, 33]. By adopting a method of difference in time Liang et al. [16] studied the well-posedness of solutions to equation (1.3) without the logarithmic Hölder continuity condition, provided that f satisfies some other restrictions.

If $$\alpha (x)=0$$, $$A(s)=s$$, and $$b(x,t)=b(x)$$ satisfies

$$b(x)>0,\quad x\in \Omega ;\qquad b(x)=0,\quad x\in \partial \Omega ,$$
(1.6)

then equation (1.1) becomes

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

This equation was first studied in [23, 27, 32], where some achievements were made; among them, the most important discovery is that the degeneracy of $$b(x)$$ in (1.6) can replaced by the Dirichlet boundary value condition (1.5). Recently, Liu and Dong [17] considered the initial boundary value problem of the equation

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

where $$a>0$$ is a constant, $$g(x,t)>0$$ is the convection function satisfying the Carathéodory condition, $$m\in (0,1)$$, and $$p(x,t)$$ and $$q(x,t)$$ satisfy the logarithmic Hölder continuity condition. Firstly, they proved the existence of weak solutions and obtained suitable energy estimate of solutions in anisotropic Orlicz–Sobolev spaces. Secondly, by applying the energy functional method and the convexity method they showed blowup criteria of solutions. Thirdly, they studied the extinction or nonextinction of solutions by using energy inequalities and comparison principle of ordinary differential equations. Fourthly, they showed some results on global solutions without assumptions on initial data. Moreover, they gave some asymptotic estimates of blowup and extinction solutions.

Certainly, equation (1.1) also can be regarded as a generalization of the following polytropic infiltration equation:

$$u_{t}=\operatorname{div}\bigl(a(x) \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},$$
(1.9)

where $$m>0$$; if $$p>1+\frac{1}{m}$$, then it is called the slow diffusion case, whereas if $$p<1+\frac{1}{m}$$, then it is called the the fast diffusion case. There are a great deal of papers devoted to various subjects such as the well-posedness problem, the Harnack inequality, the extinction, positivity, and blowup of solutions, and the large-time behavior of solutions to equation (1.9); we refer to [9, 11, 12, 15, 18, 20, 2426, 2830, 35, 36].

In addition, when $$A(s)=s$$ and $$b(x,t)\equiv 0$$, equation (1.1) becomes the heat conduction equation (it is also called the Newtonian fluid equation). When $$\alpha (x,t)\equiv 0$$, it is the electrorheological fluid equation (it is also called the smart non-Newtonian fluid equation when $$p(x,t)=p>1$$ is a constant). Thus we can say that equation (1.1) is a Newtonian fluidnon-Newtonian fluid mixed-type equation. Obviously, as we have mentioned before, since $$A(s)$$ may be a nonlinear function, equation (1.1) has a broader sense. In this paper, we study the existence and uniqueness of weak solutions to equation (1.1).

## 2 Basic functional spaces and the definition of weak solution

To make the paper sufficiently self-contained and present our discussions in a straightforward manner, let us briefly recall some preliminary results on properties of variable exponent Lebesgue spaces $${L^{p(x)}}(\Omega )$$ and variable exponent Sobolev spaces $${W^{1,p(x)}}(\Omega )$$ [10, 13].

Set

$${C_{+} }(\overline{\Omega }) = \Bigl\{ h \in C(\overline{\Omega }): \min_{x \in \overline{\Omega }} h(x)> 1 \Bigr\} .$$

For any $$h \in {C_{+}} (\overline{\Omega } )$$, set

$${h^{+} } = \sup_{x \in \Omega } h(x) \quad \text{and} \quad {h^{-} } = \inf_{x \in \Omega } h(x).$$

For any $$p \in {C_{+}}(\overline{\Omega })$$, let $${L^{p(x)}}(\Omega )$$ be the set of measurable real-valued functions $$u(x)$$ satisfying

$$\int _{\Omega }{ \bigl\vert u(x) \bigr\vert ^{p(x)}} \,dx < \infty$$

and endowed with the Luxemburg norm

$${ \Vert u \Vert _{{L^{p(x)}}(\Omega )}} = \inf \biggl\{ \lambda > 0: \int _{\Omega }{ \biggl\vert \frac{u(x)}{\lambda } \biggr\vert ^{p(x)}} \,dx \leqslant 1 \biggr\} .$$

Define

$${W^{1,p(x)}}(\Omega ) = \bigl\{ u \in {L^{p(x)}}(\Omega ): \vert \nabla u \vert \in {L^{p(x)}}(\Omega ) \bigr\}$$

endowed with the norm

$${ \Vert u \Vert _{{W^{1,p(x)}}(\Omega )}} = { \Vert u \Vert _{{L^{p(x)}}(\Omega )}} + { \Vert {\nabla u} \Vert _{{L^{p(x)}}( \Omega )}}.$$

Let $$W_{0}^{1,p(x)}(\Omega )$$ be the closure space of $$C_{0}^{\infty }(\Omega )$$ in $$W^{1,p(x)}(\Omega )$$.

Different from the usual Sobolev space $$W^{1,p}(\Omega )$$, a very important property of the function spaces with variable exponents was found by Zhikov [34], who showed that

$$W^{1,p(x)}_{0} (\Omega ) \neq \bigl\{ v\in W^{1,p(x)}_{0} (\Omega ) : v|_{\partial \Omega } = 0\bigr\} =\mathring{W}^{1,p(x)}(\Omega ).$$

However, if the exponent $$p(x)$$ is satisfies the logarithmic Hölder continuity condition

$$\bigl\vert p(x)-p(y) \bigr\vert \leq \omega \bigl( \vert x-y \vert \bigr)$$

for all $$x,y\in Q_{T}$$ such that $$|x-y|<\frac{1}{2}$$ with

$$\mathop{\overline{\lim } } \limits _{s \to {0^{+} }} \omega (s)\ln \biggl( \frac{1}{s}\biggr) = C < \infty ,$$

then (see [21])

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

From [10, 13] we have the following:

### Lemma 2.1

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

(ii) ($$p(x)$$-Hölder’s inequality) Let $$p_{1}(x)$$ and $$p_{2}(x)$$ be real functions satisfying $$\frac{1}{p_{1}(x)}+{\frac{1}{p_{2}(x)} = 1}$$. Then the conjugate space of $$L^{p_{1}(x)}(\Omega )$$ is $$L^{p_{2}(x)}(\Omega )$$. For any $$u \in L^{p_{1}(x)}(\Omega )$$ and $$v \in L^{p_{2}(x)}(\Omega )$$, we have

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

(iii) We have that

\begin{aligned} & \textit{if } \Vert u \Vert _{L^{p(x)}(\Omega )} = 1, \quad \textit{then } \int _{\Omega } \vert u \vert ^{p(x)} \,dx = 1; \\ &\textit{if } \Vert u \Vert _{L^{p(x)}(\Omega )} > 1, \quad \textit{then } \Vert u \Vert ^{p^{-}}_{L^{p(x)}( \Omega )}\leq \int _{\Omega } \vert u \vert ^{p(x)} \,dx\leq \Vert u \Vert ^{p^{+}}_{L^{p(x)}( \Omega )};\quad \textit{and} \\ &\textit{if } \Vert u \Vert _{L^{p(x)}(\Omega )} < 1, \quad \textit{then } \Vert u \Vert ^{p^{+}}_{L^{p(x)}( \Omega )}\leq \int _{\Omega } \vert u \vert ^{p(x)} \,dx\leq \Vert u \Vert ^{p^{-}}_{L^{p(x)}( \Omega )}. \end{aligned}

(iv) If $$p_{1}(x)\leq p_{2}(x)$$, then

\begin{aligned} L^{p_{1}(x)}(\Omega )\supset L^{p_{2}(x)}( \Omega ). \end{aligned}

(v) If $$p_{1}(x)\leq p_{2}(x)$$, then

\begin{aligned} W^{1,p_{2}(x)}(\Omega )\hookrightarrow W^{1,p_{1}(x)}( \Omega ). \end{aligned}

(vi) $$p(x)$$-Poincaré’s inequality. If $$p(x)\in C(\Omega )$$, then there is a constant $$c_{0}>0$$ such that

$$\Vert u \Vert _{L^{p(x)}(\Omega )} \leq c_{0} \Vert \nabla u \Vert _{L^{p(x)}(\Omega )}, \quad \forall u\in W^{1,p(x)}_{0}(\Omega ),$$

which implies that $$\|\nabla u\|_{L^{p(x)}(\Omega )}$$ and $$\|u\|_{W^{1,p(x)}(\Omega )}$$ are equivalent norms of $$W^{1,p(x)}_{0}(\Omega )$$.

### Definition 2.2

A function $$u(x,t)$$ is said to be a weak solution of equation (1.1) with initial condition (1.5) if $$u \in {L^{\infty }}({Q_{T}})$$,

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

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

\begin{aligned} & \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 +\alpha (x,t)\nabla A(u)\nabla \varphi \biggr] \,dx \,dt \\ &\quad = \iint _{Q_{T}}f(x,t,u)\varphi (x,t)\,dx \,dt. \end{aligned}
(2.2)

The initial condition (1.5) is satisfied in the sense of

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

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

### Theorem 2.3

If $$p^{-}\geq 2$$, $$A(s)$$ is a strictly increasing continuous function, $$A(0)=0$$, $$b(x,t)$$ satisfies (1.2) and

\begin{aligned}& \biggl\vert \frac{\partial b(x,t)}{\partial t} \biggr\vert \leq cb(x,t), \end{aligned}
(2.4)
\begin{aligned}& \frac{\partial \alpha (x,t)}{\partial t}\geq 0, \end{aligned}
(2.5)

$$\alpha (x,t)$$ satisfies $$\alpha (x,t)^{p(x)}\leq c b(x,t)$$, $$u_{0}(x)\geq 0$$, and

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

then equation (1.1) with initial value (1.5) has a solution.

### Theorem 2.4

Suppose $$b(x,t)$$ satisfies (1.2), $$A(s)$$ is a strictly increasing function, $$A(0)=0$$,

$$\nabla \alpha (x,t)=0,\quad (x,t)\in \partial \Omega \times [0,T],$$
(2.7)

and for large enough n,

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

Let $$u(x,t)$$ and $$v(x,t)$$ be two solutions of equation (1.1) with the initial values $$u_{0}(x)$$ and $$v_{0}(x)$$, respectively. Then

$$\int _{\Omega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx\leq c \int _{\Omega } \bigl\vert u(x,0)-v(x,0) \bigr\vert \,dx.$$
(2.9)

In this paper, b represents the gradient of the spatial variable x, and for any $$t\in [0,T)$$,

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

## 3 Proof of Theorem 2.3

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

\begin{aligned}& \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)\\ &\quad {}+\bigl( \alpha (x,t)+\varepsilon \bigr)\nabla A(u)\bigr)+f(x,t,u),\quad (x,t)\in Q_{T}, \end{aligned} \end{aligned}
(3.1)
\begin{aligned}& u(x,0) = u_{0}(x)+\varepsilon ,\quad x\in \Omega , \end{aligned}
(3.2)
\begin{aligned}& u(x,t) = \varepsilon ,\quad (x,t)\in \partial \Omega \times (0,T). \end{aligned}
(3.3)

### Proof of Theorem 2.3

Similarly to [31], by the monotone convergence method we are able to prove that the solution $$u_{\varepsilon }$$ of the initial-boundary value problem (3.1)–(3.3), $$u_{\varepsilon t}\in L^{2}(Q_{T})$$, $$A(u_{\varepsilon })\in L^{\infty }(0,T; W^{1, p(x)}(\Omega ))\cap L^{ \infty }(0,T; W^{1,2}(\Omega ))$$, and

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

Also, we can obtain the existence of weak solutions in another sense, for example, $$u_{\varepsilon t}\in W'(Q_{T})$$ in [17, 23, 27, 32], where $$W(Q_{T})$$ is a specified reflexive Banach space, and $$W'(Q_{T})$$ is its dual space.

Multiplying (3.1) by $$A(u_{\varepsilon })-A(\varepsilon )$$, integrating over $$Q_{t}=\Omega \times (0,t)$$ for any $$t\in [0,T)$$, and denoting

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

we have

\begin{aligned} & \int _{\Omega }\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 \\ &\qquad{}+ \iint _{{Q_{t}}} \bigl(\alpha (x,t)+\varepsilon \bigr) \bigl\vert \nabla A(u_{ \varepsilon }) \bigr\vert ^{2}\,dx \,dt \\ &\quad = \int _{\Omega }\mathbb{A}\bigl(u_{0}(x)\bigr)\,dx+A( \varepsilon ) \int _{\Omega }\bigl[u(x,t)-u_{0}(x)\bigr]\,dx \\ &\qquad{}+ \iint _{{Q_{t}}}f(x,t,u_{\varepsilon })\bigl[A(u_{\varepsilon })-A( \varepsilon )\bigr]\,dx \,dt, \end{aligned}
(3.5)

which implies

\begin{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} \end{aligned}
(3.6)
\begin{aligned}& \begin{aligned} & \iint _{{Q_{t}}}\alpha (x,t) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\,dx \,dt \\ &\quad \leq c \iint _{{Q_{t}}}\bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\,dx \,dt \\ &\quad \leq c. \end{aligned} \end{aligned}
(3.7)

If $$p^{-}\geq 2$$, then since $$\alpha (x,t)^{p(x)}\leq c b(x,t)$$, by the Young inequality we have

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

Multiplying (3.1) by $$[A(u_{\varepsilon })-A(\varepsilon )]_{t}$$ and integrating over $$Q_{t}=\Omega \times (0,t)$$, we have

\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 \\ &\qquad{}+ \iint _{{Q_{t}}} \bigl(\alpha (x,t)+ \varepsilon \bigr)\nabla A(u_{ \varepsilon })\nabla \bigl(A(u_{\varepsilon })\bigr)_{t}\,dx \,dt \\ &\quad = \iint _{{Q_{t}}}f(x,t,u_{\varepsilon })\bigl[A(u_{\varepsilon })-A( \varepsilon )\bigr]_{t}\,dx \,dt. \end{aligned}
(3.9)

Hence

$$\bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)- 2}\nabla \bigl(A(u_{\varepsilon })\bigr)_{t}=\frac{1}{2} \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)$$

\begin{aligned} & \iint _{{Q_{t}}} \bigl(b(x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{ \varepsilon }) \bigr\vert ^{p(x)- 2}\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 _{\Omega }\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{}+\frac{c}{2} \iint _{{Q_{t}}}\frac{2}{p(x)}b(x,t) \bigl\vert \nabla A(u_{ \varepsilon }) \bigr\vert ^{p(x)}\,dx \,dt \\ &\quad \leq c. \end{aligned}
(3.10)

Again, since $$\frac{\partial \alpha (x,t)}{\partial t}\geq 0$$,

\begin{aligned} & \iint _{{Q_{t}}} \bigl(\alpha (x,t)+ \varepsilon \bigr) \nabla A(u_{ \varepsilon }) (\nabla \bigl(A(u_{\varepsilon })\bigr)_{t}\,dx \,dt \\ &\quad =\frac{1}{2} \iint _{{Q_{t}}} \frac{\partial }{\partial t} \bigl[\bigl( \alpha (x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2} \bigr]\,dx \,dt \\ &\qquad{}-\frac{1}{2} \iint _{{Q_{t}}} \frac{\partial }{\partial t}\bigl(\alpha (x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\,dx \,dt \\ &\quad =\frac{1}{2} \int _{\Omega } \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\bigl(\alpha (x,t)+ \varepsilon \bigr)\,dx-\frac{1}{2} \int _{\Omega } \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\bigl( \alpha (x,0)+ \varepsilon \bigr)\,dx \\ &\qquad{}-\frac{1}{2} \iint _{{Q_{t}}} \frac{\partial }{\partial t}\bigl(\alpha (x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\,dx \,dt \\ &\quad \leqslant c-\frac{1}{2} \iint _{{Q_{t}}} \frac{\partial \alpha (x,t)}{\partial t} \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\,dx \,dt \\ &\quad \leqslant c. \end{aligned}
(3.11)

Once more,

\begin{aligned} & \biggl\vert \iint _{{Q_{t}}}f(x,t,u_{\varepsilon })\bigl[A(u_{\varepsilon })-A( \varepsilon )\bigr]_{t}\,dx \,dt \biggr\vert \\ &\quad \leq \iint _{{Q_{t}}} \bigl\vert f(x,t,u_{\varepsilon }) \bigl(A(u_{\varepsilon })\bigr)_{t} \bigr\vert \,dx \,dt \\ &\quad \leq \iint _{{Q_{t}}} \biggl[ \frac{1}{2} \bigl\vert f(x,t,u_{\varepsilon }) \sqrt{a(u_{\varepsilon })} \bigr\vert ^{2}+ \frac{1}{2}a(u_{\varepsilon }) \vert u_{ \varepsilon t} \vert ^{2} \biggr]\,dx \,dt \\ &\quad \leq c+\frac{1}{2} \iint _{{Q_{t}}}a(u_{\varepsilon }) \vert u_{\varepsilon t} \vert ^{2}\,dx \,dt. \end{aligned}
(3.12)

Thus from (3.9)–(3.12) we deduce that

$$\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,$$
(3.13)

which implies that

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

By (3.6), $$u_{\varepsilon }\rightharpoonup u$$ weakly star 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)\,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}
(3.15)

from which 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}).$$
(3.16)

At the same time, for any $$\varphi (x,t)\in C_{0}^{1}(Q_{T})$$, we have

\begin{aligned} &\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\alpha (x,t)\bigl[ \nabla A(u_{\varepsilon })-\nabla A(u)\bigr]\varphi (x,t)\,dx \,dt \\ &\quad =-\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}\bigl[A(u_{\varepsilon })-A(u)\bigr] [ \nabla \alpha (x,t)\varphi (x,t)+\alpha (x,t)\nabla \varphi (x,t)\,dx \,dt \\ &\quad =-\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}} \int _{u}^{u_{ \varepsilon }}a(s)\,ds[\nabla \alpha (x,t)\varphi (x,t)+\alpha (x,t) \nabla \varphi (x,t)\,dx \,dt \\ &\quad =-\lim_{\varepsilon \rightarrow 0} \iint _{Q_{T}}a(\xi ) (u_{ \varepsilon }-u)[\nabla \alpha (x,t) \varphi (x,t)+\alpha (x,t)\nabla \varphi (x,t)\,dx \,dt \\ &\quad =0. \end{aligned}
(3.17)

Thus

$$\alpha (x,t)\nabla A(u_{\varepsilon })\rightharpoonup \alpha (x,t) \nabla A(u), \quad \text{in } L^{1}(Q_{T}).$$
(3.18)

Moreover, by (3.6), since $$b(x,t)>0$$ for $$x\in \Omega$$, for any compact $$\Omega _{1}\subset \Omega$$, we have

$$\int _{0}^{T} \int _{\Omega _{1}} \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}\,dx \,dt \leq c.$$
(3.19)

Combining this with (3.14), since $$A(s)$$ is a strictly increasing function, we get that

$$A(u_{\varepsilon })= \int _{0}^{u_{\varepsilon }}a(s)\,ds\rightarrow \int _{0}^{u}a(s)\,ds= A(u), \quad \text{in } L^{1}\bigl(0,T:L^{r(x)}(\Omega _{1})\bigr),$$

which implies that $$A(u_{\varepsilon })\rightarrow A(u)$$ a.e. in $$\Omega _{1}\times [0,T)$$. By the arbitrariness of $$\Omega _{1}$$ we extrapolate that $$A(u_{\varepsilon })\rightarrow A(u)$$ a.e. in $$Q_{T}=\Omega \times (0,T)$$. So $$u_{\varepsilon }\rightarrow u$$ a.e. in $$Q_{T}=\Omega \times (0,T)$$.

Hence by (3.6) we easily get that there exists an n-dimensional vector $$\vec{\zeta }= ({\zeta _{1}}, \ldots ,{\zeta _{n}})$$ such that

$$\vert {\vec{\zeta }} \vert \in L^{p^{-}}\bigl(0,T; W^{1,p(x)}( \Omega )\bigr)$$

and

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

To prove that u is the solution of equation (1.1), we notice that for any function $$\varphi \in C_{0}^{1}({Q_{T}})$$,

\begin{aligned} & \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 \\ &\qquad{}+ \iint _{Q_{T}}\alpha (x,t)\nabla A(u_{\varepsilon })\nabla \varphi \,dx \,dt \\ &\quad = \iint _{{Q_{T}}}f(x,t,u_{\varepsilon })\varphi (x,t)\,dx \,dt. \end{aligned}
(3.20)

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

$$\begin{gathered} \varepsilon \biggl\vert \iint _{Q_{T}} \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)-2}A( \nabla u_{\varepsilon })\cdot \nabla \varphi \,dx \,dt \biggr\vert \\ \quad \leq \varepsilon \sup_{\operatorname{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{gathered}$$

Since $$p(x)>1$$, by the Young inequality,

$$\begin{gathered} \lim_{\varepsilon \rightarrow 0}\varepsilon \biggl\vert \iint _{Q_{T}}A( \nabla u_{\varepsilon })\cdot \nabla \varphi \,dx \,dt \biggr\vert \\ \quad \leq \varepsilon \sup_{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 =0, \end{gathered}$$

and thus

\begin{aligned} \iint _{Q_{T}}\vec{\zeta }\cdot \nabla \varphi \,dx \,dt&=\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 \\ & =\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 \\ &\quad {}-\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 \\ & =\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}} \bigl(u \varphi _{t}+ \vec{\varsigma } \cdot \nabla \varphi + \alpha (x,t)\nabla A(u)\cdot \nabla \varphi \bigr)\,dx \,dt = \iint _{{Q_{T}}}f(x,t,u) \varphi \,dx \,dt.$$
(3.21)

We will prove that

$$\iint _{{Q_{T}}} b(x,t) \vert {\nabla u} \vert ^{p(x) - 2} \nabla u \cdot \nabla \varphi \,dx \,dt = \iint _{{Q_{T}}} \vec{\zeta }\cdot \nabla \varphi \,dx \,dt.$$
(3.22)

We choose $$0 \leqslant \psi \in C_{0}^{\infty }({Q_{T}})$$ and $$\psi =1$$ in suppφ. 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}& \begin{aligned} & \iint _{{Q_{T}}} \psi \bigl(b(x,t)+\varepsilon \bigr) \bigl({ \bigl\vert {A(\nabla {u_{\varepsilon }})} \bigr\vert ^{p(x) - 2}}\nabla {A(u_{\varepsilon })} - { \bigl\vert {\nabla A(v)} \bigr\vert ^{p(x)- 2}}\nabla A(v) \bigr) \\ &\qquad {}\cdot \bigl(\nabla {A(u_{\varepsilon })} - \nabla A(v)\bigr)\,dx \,dt \\ &\quad \geqslant 0, \end{aligned} \end{aligned}
(3.23)
\begin{aligned}& \iint _{{Q_{T}}} \psi \bigl(\alpha (x,t)+\varepsilon \bigr) \bigl\vert \nabla {A(u_{\varepsilon })} - \nabla A(v) \bigr\vert ^{2} \,dx \,dt\geq 0. \end{aligned}
(3.24)

Let $$\varphi = \psi {A(u_{\varepsilon })}$$ in (3.20). 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+ \iint _{{Q_{T}}} \psi \bigl(\alpha (x,t)+ \varepsilon \bigr) \bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{2}\,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 \\ &\qquad{}- \iint _{{Q_{T}}} \bigl(\alpha (x,t)+\varepsilon \bigr) {A(u_{\varepsilon })} \nabla A(u_{\varepsilon })\nabla \psi \,dx \,dt \\ &\qquad{}+ \iint _{{Q_{T}}}f(x,t,u_{\varepsilon })\psi {A(u_{\varepsilon })} \,dx \,dt. \end{aligned}
(3.25)

Accordingly,

\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 \\ &\quad{}- \iint _{{Q_{T}}} \bigl(\alpha (x,t)+\varepsilon \bigr) {A(u_{\varepsilon })} \nabla A(u_{\varepsilon })\nabla \psi \,dx \,dt \\ &\quad{}- \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 \\ \\ &\quad{}- \iint _{Q_{T}}\bigl(\alpha (x,t)+\varepsilon \bigr)\psi \nabla A(u_{ \varepsilon })\nabla A(v)\,dx \,dt \\ &\quad{}- \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{}- \iint _{Q_{T}}\bigl(\alpha (x,t)+\varepsilon \bigr)\psi \nabla A(v)\cdot \nabla \bigl(A(u_{\varepsilon })- A(v)\bigr)\,dx \,dt \\ &\quad{}+ \iint _{{Q_{T}}}f(x,t,u_{\varepsilon })\psi {A(u_{\varepsilon })} \,dx \,dt \\ &\geq 0. \end{aligned}
(3.26)

Thus

\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 \\ &\quad{}- \iint _{{Q_{T}}} \bigl(\alpha (x,t)+\varepsilon \bigr) {A(u_{\varepsilon })} \nabla A(u_{\varepsilon })\nabla \psi \,dx \,dt \\ &\quad{}- \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 v\,dx \,dt \\ &\quad{}- \iint _{Q_{T}}\bigl(b(x,t)+\varepsilon \bigr)\psi \nabla A(u_{\varepsilon }) \nabla v\,dx \,dt \\ &\quad{}- \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 \\ &\quad{}-\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{}-\varepsilon \iint _{Q_{T}}\psi \nabla A(v) \cdot \bigl(\nabla A(u_{\varepsilon })- \nabla A(v)\bigr)\,dx \,dt \\ &\quad{}+ \iint _{{Q_{T}}}f(x,t,u_{\varepsilon })\psi {A(u_{\varepsilon })} \,dx \,dt \\ &\geqslant 0. \end{aligned}
(3.27)

Now we have

\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 \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 \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}
(3.28)

which converges to 0 as $$\varepsilon \rightarrow 0$$. Since $$p^{-}\geq 2$$, by the Young inequality we have

\begin{aligned} &\lim_{\varepsilon \rightarrow 0}\varepsilon \biggl\vert \iint _{Q_{T}} \psi \nabla A(v) \cdot \bigl(\nabla A(u_{\varepsilon }) - \nabla A(v)\bigr)\,dx \,dt \biggr\vert \\ &\quad \leq \lim_{\varepsilon \rightarrow 0}\varepsilon \iint _{Q_{T}} \frac{ \vert \psi \vert }{b(x,t)}b(x,t) \bigl\vert \nabla A(v) \cdot \bigl(\nabla A(u_{\varepsilon }) - \nabla A(v)\bigr) \bigr\vert \,dx \,dt \\ &\quad \leq \sup_{(x,t) \in {Q_{T}}} \frac{{ \vert {\psi } \vert }}{{b(x,t)}}\lim _{\varepsilon \rightarrow 0}\varepsilon \iint _{Q_{T}}b(x,t)\bigl[ \bigl\vert \nabla A(v) \cdot \nabla A(u_{\varepsilon }) \bigr\vert + \bigl\vert \nabla A(v) \bigr\vert ^{2}\bigr]\,dx \,dt \\ &\quad \leq c \sup_{(x,t) \in {Q_{T}}} \frac{{ \vert {\psi } \vert }}{{b(x,t)}}\lim _{\varepsilon \rightarrow 0}\varepsilon \iint _{Q_{T}}b(x,t)\bigl[\bigl\vert \nabla A(u_{\varepsilon }) \bigr\vert ^{p(x)}+ \bigl\vert \nabla A(v) \bigr]\bigr\vert ^{p(x)}\,dx \,dt \\ &\quad =0. \end{aligned}
(3.29)

Thus

$$\begin{gathered} \iint _{{Q_{T}}} \psi _{t}\mathbb{A}(u)\,dx \,dt - \iint _{{Q_{T}}}A(u) \vec{\zeta }\cdot \nabla \psi \,dx \,dt \\ \qquad {}- \iint _{{Q_{T}}}A(u) \nabla A(u)\cdot \nabla \psi \,dx \,dt- \iint _{{Q_{T}}} \psi \vec{\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 \\ \qquad {}+ \iint _{{Q_{T}}}f(x,t,u)\psi {A(u)}\,dx \,dt \\ \quad \geqslant 0. \end{gathered}$$

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

\begin{aligned} & \iint _{{Q_{T}}} \psi \vec{\zeta }\cdot \nabla A(u)\,dx \,dt + \iint _{{Q_{T}}} \psi \bigl\vert \nabla A(u) \bigr\vert ^{2}\,dx \,dt- \iint _{{Q_{T}}} \mathbb{A}(u)\psi _{t}\,dx \,dt \\ &\qquad{}+ \iint _{{Q_{T}}}A(u)\vec{\zeta }\cdot \nabla \psi \,dx \,dt+ \iint _{{Q_{T}}}A(u) \nabla A(u)\cdot \nabla \psi \,dx \,dt \\ &\quad = \iint _{{Q_{T}}}f(x,t,u)\psi {A(u)}\,dx \,dt. \end{aligned}
(3.30)

Accordingly,

$$\iint _{{Q_{T}}} \psi \bigl(\vec{\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.$$
(3.31)

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(\vec{\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(\vec{\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$$, then we similarly get

$$\iint _{{Q_{T}}} \psi \bigl(\vec{\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.$$

Thus

$$\iint _{{Q_{T}}} \psi \bigl(\vec{\zeta }-b(x,t) \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φ, (3.22) holds.

Finally, let us prove that the initial condition (1.4) is satisfied in the sense of (2.3). For any $$0\leq t_{1}< t_{2}< T$$, by (3.13) we have

\begin{aligned} & \int _{\Omega } \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 _{\Omega } \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 _{\Omega } \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 _{\Omega } \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 _{\Omega }\bigl\vert \sqrt{a(u_{ \varepsilon })} u_{\varepsilon t} \bigr\vert ^{2}\,dx \,dt \biggr)^{\frac{1}{2}} \\ &\quad \leq c(t_{2}-t_{1}). \end{aligned}
(3.32)

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

## 4 Stability theorem

### Theorem 4.1

Suppose $$b(x,t)$$ satisfies (1.2), $$A(s)$$ is a strictly increasing function, $$A(0)=0$$, $$b(x,t)$$ satisfies, for n large enough,

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

and $$\alpha (x,t)$$ satisfies

$$n^{\frac{1}{2}} \biggl( \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{ \frac{2}{n}t}} \vert \nabla \alpha \vert ^{2}\,dx \biggr)^{\frac{1}{2}} \leq c(T).$$
(4.2)

Let $$u(x,t)$$ and $$v(x,t)$$ be two solutions of equation (1.1) with the initial values $$u_{0}(x)$$ and $$v_{0}(x)$$, respectively. Then

$$\int _{\Omega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx\leq c \int _{\Omega } \bigl\vert u(x,0)-v(x,0) \bigr\vert \,dx.$$
(4.3)

### Proof

For any positive integer n, let $${S_{n}}(s)$$ be an odd function defined for $$s\geq 0$$ as

$${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}$$

and let

$$H_{n}(s)= \int _{0}^{s}S_{n}(s)\,ds.$$

Clearly,

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

Denote $$\Omega _{\lambda t}=\{x\in \Omega : b(x,t)>\lambda \}$$, $$t\in [0,T)$$, and define

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

Let $$u(x,t)$$ and $$v(x,t)$$ be two weak solutions of equation (1.1) with initial values $$u_{0}(x)$$ and $$v_{0}(x)$$, respectively. We choose $$\phi _{n}{S_{n}}(A(u) - A(v))$$ as a test function. Then

\begin{aligned} & \int _{0}^{t} \int _{{\Omega }} \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 _{\Omega } 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 {}\cdot \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 _{\Omega } 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 {}\cdot \nabla \bigl(A(u) - A(v)\bigr)S_{n}\bigl(A(u)-A(v) \bigr)\nabla \phi _{n}(x,t)\,dx \,dt \\ &\qquad{}+ \int _{0}^{t} \int _{\Omega } \alpha (x,t) \bigl\vert \nabla \bigl(A(u) - A(v) \bigr) \bigr\vert ^{2}S'_{n}\bigl(A(u)-A(v) \bigr) \phi _{n}(x,t)\,dx \,dt \\ &\qquad{}+ \int _{0}^{t} \int _{\Omega } \alpha (x,t)\bigl[\nabla A(u) - \nabla A(v) \bigr]S_{n}\bigl(A(u)-A(v)\bigr) \nabla \phi _{n}(x,t)\,dx \,dt \\ &\quad = \int _{0}^{t} \int _{{\Omega }}\bigl[f(x,t,u)-f(x,t,v)\bigr]\phi _{n}{S_{n}}\bigl(A(u) - A(v)\bigr)\,dx \,dt. \end{aligned}
(4.4)

First, since $$A(r)\geq 0$$ is an increasing function, we have

\begin{aligned} &\lim_{n\rightarrow \infty } \int _{0}^{t} \int _{\Omega }\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 _{\Omega }\operatorname{sgn}\bigl(A(u) -A(v)\bigr) \frac{\partial (u - v)}{\partial t}\,dx \,dt \\ &\quad = \int _{0}^{t} \int _{\Omega }\operatorname{sgn}(u -v) \frac{\partial (u - v)}{\partial t}\,dx \,dt \\ &\quad = \int _{\Omega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx- \int _{\Omega } \bigl\vert u_{0}(x)-v_{0}(x) \bigr\vert \,dx. \end{aligned}
(4.5)

Second,

\begin{aligned} & \int _{0}^{t} \int _{\Omega } 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 {}\cdot \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}
(4.6)

and

$$\int _{0}^{t} \int _{\Omega } \alpha (x,t) \bigl\vert \nabla A(u) - \nabla A(v) \bigr\vert ^{2} S'{_{n}}\bigl(A(u)-A(v)\bigr) \phi _{n}(x,t)\,dx \,dt \geq 0.$$
(4.7)

Third, for any $$t\in [0,T)$$, $$|\nabla \phi _{n}(x,t)|=\frac{1}{\lambda }\nabla b(x,t)$$ for $$x\in \Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}$$ and equals zero otherwise. Thus by (4.1) we have

\begin{aligned} & \biggl\vert \int _{0}^{t} \int _{\Omega } 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 {}\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 _{\Omega _{\frac{1}{n}}\setminus \Omega _{ \frac{2}{n}t}} 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 {}\cdot \nabla \phi _{n} g{_{n}}(Au-Av)\,dx \,dt \biggr\vert \\ &\quad \leq \int _{0}^{t}n \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{ \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 _{\Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \biggr)^{ \frac{1}{q^{+}}}\\ &\qquad {}+ \biggl( \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)} \biggr)^{ \frac{1}{q^{+}}} \biggr]\,dt \\ &\qquad {}\cdot \int _{0}^{t}n \biggl( \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{\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 _{\Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \biggr)^{ \frac{1}{q^{+}}}\\ &\qquad {}+ \biggl( \int _{ \Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)} \biggr)^{ \frac{1}{q^{+}}} \biggr]\,dt \\ &\qquad {}\cdot \int _{0}^{t}n^{1-\frac{1}{p^{+}}} \biggl( \int _{\Omega _{ \frac{1}{n}t}\setminus \Omega _{\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 _{\Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(u) \bigr\vert ^{p(x)} \biggr)^{ \frac{1}{q^{+}}}\\ &\qquad {}+ \biggl( \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}b(x,t) \bigl\vert \nabla A(v) \bigr\vert ^{p(x)} \biggr)^{ \frac{1}{q^{+}}} \biggr]\,dt, \end{aligned}
(4.8)

which tends to 0 as $$n\rightarrow \infty$$, where we denote $$q(x)=\frac{p(x)}{p(x)-1}$$ as usual and $$q^{+}=\max_{x\in \overline{\Omega }}q(x)$$. Since $$\alpha (x,t)$$ satisfies (4.2), we have

\begin{aligned} & \biggl\vert \int _{0}^{t} \int _{\Omega } \alpha (x,t) \bigl( \nabla A(u) - \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 _{\Omega _{\frac{1}{n}}\setminus \Omega _{ \frac{2}{n}t}} \alpha (x,t) \bigl(\nabla A(u) - \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 _{\Omega _{\frac{1}{n}t}\setminus \Omega _{ \frac{2}{n}}t} \alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert + \bigl\vert \nabla A(v) \bigr\vert \bigl\vert \nabla \alpha S{_{n}}\bigl(A(u)-A(v)\bigr) \bigr\vert \,dx \\ &\quad \leq c \int _{0}^{t} \biggl[ \biggl( \int _{\Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert ^{2} \biggr)^{\frac{1}{2}}+ \biggl( \int _{\in \Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(v) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \biggr]\,dt \\ \\ &\qquad {}\cdot \int _{0}^{t}n \biggl( \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla \alpha (x,t) \bigr\vert ^{2}\,dx \biggr)^{ \frac{1}{2}}\,dt \\ &\quad \leq c \int _{0}^{t} \biggl[ \biggl( \int _{\Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert ^{2} \biggr)^{\frac{1}{2}}+ \biggl( \int _{\in \Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(v) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \biggr]\,dt \\ &\qquad {}\cdot \int _{0}^{t}n^{\frac{1}{2}} \biggl( \int _{\Omega _{ \frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}} \bigl\vert \nabla \alpha (x,t) \bigr\vert ^{2}\,dx \biggr)^{\frac{1}{2}}\,dt \\ &\quad \leq c \int _{0}^{t} \biggl[ \biggl( \int _{\Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert ^{2} \biggr)^{\frac{1}{2}}+ \biggl( \int _{\in \Omega _{\frac{1}{n}t} \setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(v) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \biggr]\,dt, \end{aligned}
(4.9)

which tends to 0 as $$n\rightarrow \infty$$.

Fourth, we have

\begin{aligned} & \biggl\vert \int _{0}^{t} \int _{\Omega }\bigl[f(x,,t,u)-f(x,t,v)\bigr] \phi _{n}(x,t) S_{n}\bigl(A(u)-A(v)\bigr)\,dx \,dt \biggr\vert \\ &\quad \leq \int _{0}^{t} \int _{\Omega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx \,dt. \end{aligned}
(4.10)

Now let $$n\rightarrow \infty$$ in (4.4). By (4.5)–(4.9) we have

$$\begin{gathered} \int _{\Omega } \bigl\vert u(x,t) - v(x,t) \bigr\vert \,dx \\ \quad \leqslant \int _{\Omega } \bigl\vert u_{0}(x) - v_{0}(x) \bigr\vert \,dx+ \int _{0}^{t} \int _{ \Omega } \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx \,dt, \quad \forall t \in [0,T). \end{gathered}$$

By the Gronwall inequality we have the conclusion. □

### Proof of Theorem 2.4

We only need to show (4.9) in another way. Since $$\alpha (x,t)$$ satisfies (2.7), that is,

$$\nabla \alpha (x,t)=0,\quad (x,t)\in \partial \Omega \times [0,T],$$

by the definition of the trace on the boundary we have

\begin{aligned} &\lim_{n\rightarrow \infty } \biggl\vert \int _{0}^{t} \int _{ \Omega } \alpha (x,t) \bigl(\nabla A(u) - \nabla A(v)\bigr) \cdot \nabla \phi _{n}(x,t) S_{n}\bigl(A(u)-A(v)\bigr)\,dx \,dt \biggr\vert \\ &\quad =\lim_{n\rightarrow \infty } \biggl\vert \int _{0}^{t} \int _{\Omega _{ \frac{1}{n}}\setminus \Omega _{\frac{2}{n}t}} \alpha (x,t) \bigl(\nabla A(u) - \nabla A(v)\bigr) \cdot \nabla \phi _{n} g{_{n}}\bigl(A(u)-A(v)\bigr)\,dx \,dt \biggr\vert \\ &\quad \leq \lim_{n\rightarrow \infty } \int _{0}^{t}n \int _{\Omega _{ \frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}} \alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert + \bigl\vert \nabla A(v) \bigr\vert \bigl\vert \nabla \alpha S{_{n}}\bigl(A(u)-A(v)\bigr) \bigr\vert \,dx \\ &\quad \leq c\lim_{n\rightarrow \infty } \int _{0}^{t} \biggl[ \biggl( \int _{ \Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \\ &\qquad {}+ \biggl( \int _{\Omega _{ \frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(v) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \biggr]\,dt \\ &\qquad {}\cdot \int _{0}^{t}n \biggl( \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla \alpha (x,t) \bigr\vert ^{2}\,dx \biggr)^{ \frac{1}{2}}\,dt \\ \\ &\quad \leq c\lim_{n\rightarrow \infty } \int _{0}^{t} \biggl[ \biggl( \int _{ \Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(u) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \\ &\qquad {}+ \biggl( \int _{ \Omega _{ \frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}}\alpha (x,t) \bigl\vert \nabla A(v) \bigr\vert ^{2} \biggr)^{\frac{1}{2}} \biggr]\,dt \\ &\qquad {}\cdot \int _{0}^{t}n^{\frac{1}{2}} \biggl( \int _{\Omega _{ \frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}} \bigl\vert \nabla \alpha (x,t) \bigr\vert ^{2}\,dx \biggr)^{\frac{1}{2}}\,dt \\ &\quad \leq c \int _{0}^{t}\lim_{n\rightarrow \infty } \biggl( \frac{1}{n} \int _{\Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}} \bigl\vert \nabla \alpha (x,t) \bigr\vert ^{2}\,dx \biggr)^{\frac{1}{2}}\,dt \\ &\quad = c \int _{0}^{t} \biggl( \int _{\partial \Omega } \bigl\vert \nabla \alpha (x,t) \bigr\vert ^{2}\,d \Sigma \biggr)^{\frac{1}{2}}\,dt \\ &\quad =0. \end{aligned}
(4.11)

The other parts of the proof of Theorem 4.1 are valid. Thus we have completed the proof of Theorem 2.4. □

No applicable.

## References

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

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

3. Antontsev, S.N., Shmarev, S.I.: A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions. Nonlinear Anal. 60, 515–545 (2005)

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

5. Antontsev, S.N., Zhikov, V.V.: Higher integrability for parabolic equations of $$p(x,t)$$-Laplacian type. Adv. Differ. Equ. 10, 1053–1080 (2005)

6. 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, 1–6 (2015)

7. Bendahmane, M., Wittbold, P., Zimmermann, A.: Renormalized solutions for a nonlinear parabolic equation with variable exponents and $$L^{1}$$-data. J. Differ. Equ. 249, 1483–1515 (2010)

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

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

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

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

12. Harjulehto, T., Hästö, P., Koskenoja, M., Varonen, S.: The Dirichlet energy integral and variable exponent Sobolev spaces with zero boundary values. Potential Anal. 25(3), 205–222 (2006)

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

14. Le, C.N., Quach, V.C., Le, X.T.: Potential well method for $$p(x)$$-Laplacian equations with variable exponent sources. Nonlinear Anal., Real World Appl. 56, 103155 (2020)

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

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

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

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

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

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

21. Tersenov, A.S.: The one dimensional parabolic $$p(x)$$-Laplace equation. Nonlinear Differ. Equ. Appl. 23, 27 (2016)

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

23. Zhan, H.: The stability of the anisotropic parabolic equation with the variable exponent. Bound. Value Probl. 2017, 134 (2017)

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

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

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

27. Zhan, H., Feng, Z.: Solutions of evolutionary $$p(x)$$-Laplacian equation based on the weighted variable exponent space. Z. Angew. Math. Phys. 68, 134 (2017) 1–17

28. Zhan, H., Feng, Z.: The stability of the solutions of convection–diffusion equation. Nonlinear Anal. 182, 193–208 (2019)

29. Zhan, H., Feng, Z.: The well-posedness problem of an anisotropic parabolic equation. J. Differ. Equ. 268, 389–413 (2020)

30. Zhan, H., Feng, Z.: Stability of anisotropic parabolic equations without boundary conditions. Electron. J. Differ. Equ. 2020, 74, 1–14 (2020)

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

32. Zhan, H., Wen, J.: Evolutionary $$p(x)$$-Laplacian equation free from the limitation of the boundary value. Electron. J. Differ. Equ. 2016, 143, 1–13 (2016)

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

34. Zhikov, V.V.: On the density of smooth functions in Sobolev–Orlicz spaces. Zap. Nauč. Semin. POMI 310, 67–81 (2004)

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

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

## Acknowledgements

The author would like to thank everyone for his helps!

No applicable.

## Author information

Authors

### Contributions

The author read and approved the final manuscript.

### Corresponding author

Correspondence to Sujun Weng.

## Ethics declarations

### Competing interests

The author declares that he has no competing interests.

## Rights and permissions

Reprints and permissions

Weng, S. On a degenerate parabolic equation with Newtonian fluidnon-Newtonian fluid mixed type. J Inequal Appl 2021, 23 (2021). https://doi.org/10.1186/s13660-021-02550-w