Skip to main content

On the well-posedness problem of the electrorheological fluid equations

Abstract

A kind of electrorheological fluid equations, with the orientated convection terms

$$u_{t} =\operatorname{div}\bigl(a(x)|\nabla u|^{p(x)-2}\nabla u \bigr)+\vec {b}(x)\cdot\nabla u^{q},\quad (x,t)\in\Omega\times(0,T), $$

is considered. It is supposed that \(a(x)>0\) when \(x\in\Omega\), \(a(x)=0\) when \(x\in\partial\Omega\). If there is interaction between the diffusion coefficient \(a(x)\) and the convective coefficient b⃗, the stability of the solutions can be proved without any boundary condition.

1 Introduction and the main results

Consider the diffusion equation with an orientated convection term

$$ u_{t} =\operatorname{div}\bigl(a(x)|\nabla u|^{p(x)-2}\nabla u \bigr)+\vec {b}(x)\cdot\nabla u^{q},\quad (x,t) \in{Q_{T}}= \Omega\times(0,T). $$
(1.1)

with the initial value

$$ u(x,0)= u_{0}(x),\quad x\in\Omega, $$
(1.2)

and the boundary value

$$ u(x,t)=0,\quad (x,t)\in\partial\Omega\times(0,T). $$
(1.3)

Here \(1< p(x)\in C(\overline{\Omega})\), \(q\geq1\), \(a(x) \in C^{1}(\overline{\Omega})\), \(\vec{b}=\{b^{i}\}\), \(b^{i}(x)\in C^{1}(\overline {\Omega})\), \(\Omega\subset\mathbb{R}^{N}\) is a bounded domain with a smooth boundary Ω. Equation (1.1) arises in electrorheological fluids theory [1]. If \(\vec{b}(x)=0\), \(a(x)=1\) for all \(x\in\overline{\Omega}\), the existence and uniqueness results of Eq. (1.1) have been widely researched, one may refer to [27] and the references therein. If \(p(x)=p\), the equations are known as non-Newtonian fluid equations, and have been studied by many mathematicians, one may refer to [8] and the references therein. All these papers show that the uniqueness and the stability of the solutions can be proved if the Dirichlet boundary value condition (1.3) is imposed. In this paper, we will show that, if the diffusion coefficient \(a(x)\) is degenerate on the boundary and, moreover, there is interaction between the diffusion process and the convection process, then the stability of the solutions may be established without any boundary value condition.

We denote

$$p_{+}=\max_{x\in\overline{\Omega}}p(x),\qquad p_{-}=\min _{x\in\overline {\Omega}}p(x), $$

we assume that \(p_{-}>1\), \(a(x)> 0\) in Ω,

$$ a(x)=0,\quad x\in\partial\Omega. $$
(1.4)

By this token, if \(\vec{b}(x)=0\), our previous papers [911] showed that the boundary value condition (1.3) may be redundant, the uniqueness of the weak solutions can be proved only depending on the initial value (1.2). Accordingly, in this paper, we will construct a suitable test function to obtain the stability of the weak solutions independent of the boundary value condition (1.3). We give the basic concepts and the main results now.

Lemma 1.1

If \(q_{1}(x)\) and \(q_{2}(x)\) are real functions with \(\frac{1}{q_{1}(x)}+\frac{1}{q_{2}(x)} = 1\) and \(q_{1}(x) > 1\), then, for any \(u \in L^{q_{1}(x)}(\Omega)\) and \(v \in L^{q_{2}(x)}(\Omega)\),

$$\biggl\vert \int_{\Omega}uv \,dx \biggr\vert \leq2\|u\|_{L^{q_{1}(x)}(\Omega)}\|v\| _{L^{q_{2}(x)}(\Omega)}. $$

Lemma 1.2

$$\begin{aligned}& \textit{If } \|u\|_{L^{p(x)}(\Omega)} > 1, \textit{then } \|u\|^{p_{-}}_{L^{p(x)}(\Omega)} \leq \int_{\Omega}|u|^{p(x)} \,dx\leq \|u\|^{p_{+}}_{L^{p(x)}(\Omega)}. \\& \textit{If }\|u\|_{L^{p(x)}(\Omega)} < 1, \textit{then } \|u\| ^{p_{+}}_{L^{p(x)}(\Omega)} \leq \int_{\Omega}|u|^{p(x)} \,dx\leq\|u\| ^{p_{-}}_{L^{p(x)}(\Omega)}. \end{aligned}$$

Lemma 1.1 and Lemma 1.2 can be found in [12].

Definition 1.3

If a nonnegative function \(u(x,t)\) satisfies

$$ \begin{aligned} &u \in L^{\infty}(Q_{T}), \qquad u_{t}\in\in L^{p_{+}'}\bigl(0,T;W^{-1,{p_{+}}'}(\Omega)\bigr), \\ &a(x){ \vert { \nabla u} \vert ^{p(x)}} \in{L^{\infty}}\bigl(0,T;L^{1}( \Omega)\bigr), \end{aligned} $$
(1.5)

and, for any function \(g(s)\in C^{1}(\mathbb{R})\), \(g(0)=0\), \(\varphi_{1} \in C^{1}_{0}(\Omega)\), \(\varphi_{2}\in L^{\infty}(0,T; W_{\mathrm{loc}}^{1,p(x)}(\Omega))\),

$$\begin{aligned}& \iint_{{Q_{T}}} \biggl[\frac{\partial u}{\partial t}g(\varphi_{1} \varphi_{2}) + a(x) \vert \nabla u \vert ^{p(x) - 2}\nabla u \cdot\nabla g(\varphi _{1}\varphi_{2}) \\& \quad {}+u^{q} \bigl(b^{i}_{x_{i}}g( \varphi_{1}\varphi_{2})+b^{i}(x)g_{x_{i}}( \varphi _{1}\varphi_{2}) \bigr)\biggr]\,dx\,dt = 0, \end{aligned}$$
(1.6)

then we say \(u(x,t)\) a solution of Eq. (1.1) with the initial value (1.2), and the initial value (1.2) is satisfied in the sense

$$ \lim_{t\rightarrow0} \int_{\Omega}u(x,t)\phi(x)\,dx= \int_{\Omega} u_{0}(x) \phi(x)\,dx = 0, $$
(1.7)

for any \(\phi(x)\in C_{0}^{\infty}(\Omega)\).

Here, \(p'_{+}=\frac{p_{+}}{p_{+}-1}\), \(b^{i}_{x_{i}}=\frac{\partial b^{i}(x)}{\partial x_{i}}\), \(g_{x_{i}}=\frac{\partial g}{\partial x_{i}}\) as usual. In this paper, the existence of the nonnegative solution is proved firstly.

Theorem 1.4

If \(p_{-}>1\), \(1\leq q< p_{+}\),

$$ 0\leq u_{0} \in L^{\infty}(\Omega), \qquad a(x) \vert \nabla u_{0} \vert ^{p(x)} \in L^{1}(\Omega),\quad i=1,2,\ldots, N, $$
(1.8)

then Eq. (1.1) with initial value (1.2) has a nonnegative weak solution u.

In particular, when \(a(x)=d^{\alpha}(x)\), \(d(x)=\operatorname{dist}(x,\partial\Omega )\) is the distance function from the boundary, \(0<\alpha<p^{-}-1\) is a constant, similar to the proof of Theorem 1.1 in [13], we can show that there is a constant \(\gamma\geq1\) such that the weak solution u in Theorem 1.4 satisfies

$$ \int_{Q_{T}}|\nabla u|^{\gamma}\,dx\,dt\leq c. $$
(1.9)

Similarly, if we impose some restrictions on a, we also can show (1.9) is true, then the boundary value condition (1.3) is valid in the sense of the trace. However, in general, we cannot define the trace of u on the boundary. Accordingly, instead of being interested in the boundary value condition, we would pay a close attention on the stability of the weak solutions without any boundary value condition. By the innovative definition of the weak solution above, we can prove the following main results.

Theorem 1.5

If \(q\geq1\), u and v are two nonnegative weak solutions of Eq. (1.1), and

$$\begin{aligned}& \int_{\Omega} \biggl\vert \frac{b^{i}(x)\nabla a(x)}{a(x)} \biggr\vert ^{2}\,dx< \infty,\qquad \bigl\vert b_{i}(x)a^{-\frac{1}{p(x)}}(x) \bigr\vert \leq c, \end{aligned}$$
(1.10)
$$\begin{aligned}& \int_{\Omega}a^{-(p(x)-1)}(x)\,dx< \infty, \end{aligned}$$
(1.11)

then

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

Theorem 1.6

If \(q\geq1\), u and v are two nonnegative weak solutions of Eq. (1.1),

$$ \int_{\Omega}a^{-\frac{1}{p(x)-1}}(x)\,dx< \infty, $$
(1.13)

and

$$ \frac{c}{\lambda} \biggl(\lambda \int_{\Omega\setminus\Omega _{\lambda}}|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} \leq c, $$
(1.14)

then the stability of the weak solutions is true in the sense of (1.12). Here \(\Omega_{\lambda}=\{x\in\Omega: a(x)>\lambda\}\).

Remark 1.7

If \(1< p_{-}\leq p(x)\leq p_{+}\leq2\), then the condition (1.14) is satisfied.

Theorem 1.8

If \(q\geq1\), \(a(x)\) satisfies (1.13), and for small enough \(\lambda>0\), \(u(x,t)\) and \(v(x,t)\) satisfy

$$ \frac{1}{\lambda} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a(x)|\nabla u|^{p(x)}\,dx \biggr)^{\frac{1}{q_{+}}}\leq c,\qquad \frac {1}{\lambda} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a(x)|\nabla v|^{p(x)}\,dx \biggr)^{\frac{1}{q_{+}}}\leq c, $$
(1.15)

then the stability (1.12) is true. Here \(q(x)=\frac{p(x)}{p(x)-1}\), \(q_{+}=\max_{x\in\overline{\Omega}}q(x)\).

In a word, the innovation of the definition of the weak solutions is that we use the test function with the form \(\varphi_{1}\varphi_{2}\) instead of the usual one φ to overcome the difficulty that the weak solutions may lack the regularity to define the trace. The weak solutions the existence of the weak solutions is proved by the usual parabolically regularized method. The stability of the weak solutions are proved by choosing some special test functions.

2 The weak solutions dependent on the initial value

Consider the following approximate problem:

$$\begin{aligned}& u_{\varepsilon t} - \varepsilon\operatorname{div}\bigl(|\nabla u_{\varepsilon }|^{p_{+}-2}\nabla u_{\varepsilon}\bigr) -\operatorname{div} \bigl( a(x) \vert \nabla{u_{\varepsilon}} \vert ^{p(x)- 2}\nabla u_{\varepsilon}\bigr) - \vec{b}(x)\cdot\nabla u_{\varepsilon}^{q} \\& \quad = 0,\quad (x,t)\in{Q_{T}}, \end{aligned}$$
(2.1)
$$\begin{aligned}& {u_{\varepsilon}}(x,t) = 0, \quad (x,t) \in\partial\Omega \times (0,T), \end{aligned}$$
(2.2)
$$\begin{aligned}& {u_{\varepsilon}}(x,0) = {u_{\varepsilon,0}}(x), \quad x\in\Omega , \end{aligned}$$
(2.3)

where \(0\leq u_{\varepsilon,0} \in C^{\infty}_{0}(\Omega)\), \(|u_{\varepsilon ,0}|_{L^{\infty}(\Omega)}\leq|u_{0}|_{L^{\infty}(\Omega)}\), \(a(x) \vert \nabla u_{\varepsilon,0} \vert ^{p_{+}}\) uniformly is convergent to \(a(x)|\nabla u_{0}(x)|^{p_{+}}\) in \({L^{1}}(\Omega)\). Then there is an unique nonnegative solution \(u_{\varepsilon}\in L^{p_{+}}(0,T; W^{1,p_{+}}_{0}(\Omega))\) [6].

By the maximum principle ([8], p. 150), we have

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

Since

$$\begin{aligned} \iint_{{Q_{T}}} \bigl\vert u_{\varepsilon}\vec{b}(x)\cdot\nabla u_{\varepsilon }^{q} \bigr\vert \,dx\,dt =&q \iint_{{Q_{T}}} \bigl\vert u^{q}_{\varepsilon} \vec{b}(x)\cdot\nabla u_{\varepsilon} \bigr\vert \\ \leq&\frac{\varepsilon}{2} \iint_{{Q_{T}}} \vert \nabla u_{\varepsilon } \vert ^{p_{+}}\,dx\,dt+c(\varepsilon), \end{aligned}$$

by multiplying (2.1) with \(u_{\varepsilon}\) and integrating it over \(Q_{T}\), we easily obtain

$$ \frac{1}{2} \int_{\Omega}u_{\varepsilon}^{2}\,dx+\varepsilon \iint _{{Q_{T}}}|\nabla u_{\varepsilon}|^{p^{+}}\,dx\,dt + \iint_{{Q_{T}}} a(x)|\nabla u_{\varepsilon}|^{p(x)}\,dx\,dt \leqslant c. $$
(2.5)

For any \(\Omega_{\lambda}\subset\subset\Omega\), since \(p_{-}=\min_{x\in\overline{\Omega} }p(x)>1\), by (2.5),

$$ \int_{0}^{T} \int_{\Omega_{\lambda}}|\nabla u_{\varepsilon }|\,dx\,dt\leq c \biggl( \int_{0}^{T} \int_{\Omega_{\lambda}}|\nabla u_{\varepsilon}|^{p_{-}}\,dx\,dt \biggr)^{\frac{1}{p_{-}}}\leq c(\lambda ) $$
(2.6)

and

$$ \varepsilon \iint_{Q_{T}}|\nabla u_{\varepsilon}|^{p_{+}}\,dx\,dt\leq c. $$
(2.7)

For any \(v\in L^{p_{+}}(0,T; W^{1,p_{+}}_{0}(\Omega))\), \(\|v\| _{L^{p_{+}}(0,T; W^{1,p_{+}}_{0}(\Omega))}=1\). We have

$$\begin{aligned}& \langle u_{\varepsilon t}, v\rangle+\varepsilon \iint_{Q_{T}}|\nabla u_{\varepsilon }|^{p_{+}-2}\nabla u_{\varepsilon}\nabla v\,dx\,dt \\& \quad {}+ \iint_{Q_{T}}a(x)|\nabla\nu_{\varepsilon}|^{p(x)-2}\nabla u_{\varepsilon}\nabla v\,dx\,dt \\& \quad {}+ \iint_{Q_{T}}u^{q} \bigl(b^{i}_{x_{i}}(x)v+b^{i}(x)v_{x_{i}} \bigr)\,dx\,dt. \end{aligned}$$
(2.8)

This formula makes sense because \(u_{\varepsilon}\in L^{p_{+}}(0,T; W^{1,p_{+}}_{0}(\Omega))\cap L^{\infty}(Q_{T})\).

By (2.8), using the Young inequality, we can show that

$$\begin{aligned} \bigl\vert \langle u_{\varepsilon t}, v\rangle \bigr\vert \leq& c \biggl[ \varepsilon \iint_{Q_{T}} \vert \nabla u_{\varepsilon} \vert ^{p_{+}}\,dx\,dt+ \iint_{{Q_{T}}} a(x) \vert \nabla u_{\varepsilon} \vert ^{p(x)}\,dx\,dt \\ &{}+ \iint_{{Q_{T}}} \bigl( \vert v \vert ^{p_{+}}+ \vert \nabla v \vert ^{p_{+}}\bigr)\,dx\,dt+1 \biggr]\leq c, \end{aligned}$$

then

$$ \| u_{\varepsilon t}\|_{L^{p'_{+}}(0,T;W^{-1,p'_{+}}(\Omega))}\leq c, $$
(2.9)

where \(p'_{+}=\frac{p_{+}}{p_{+}-1}\).

Now, for any \(\varphi\in C_{0}^{1}(\Omega)\), \(0\leq\varphi\leq1\), for any \(v\in L^{p_{+}}(0,T; W^{1,p_{+}}_{0}(\Omega))\),

$$\begin{aligned} \bigl\langle (\varphi u_{\varepsilon})_{t}, v\bigr\rangle =&\langle \varphi u_{\varepsilon t}, v\rangle =\langle u_{\varepsilon t}, \varphi v\rangle \\ =&\varepsilon \iint_{Q_{T}} \vert \nabla u_{\varepsilon} \vert ^{p_{+}-2}\nabla u_{\varepsilon}\nabla(\varphi v)\,dx\,dt \\ &{}+ \iint_{Q_{T}}a(x) \vert \nabla u_{\varepsilon} \vert ^{p(x)-2}\nabla u_{\varepsilon}\nabla(\varphi v) \\ &{}+ \iint_{Q_{T}}u^{q} \bigl(b^{i}_{x_{i}}(x)v \varphi+b^{i}(x) (v\varphi )_{x_{i}}\bigr)\,dx \,dt. \end{aligned}$$
(2.10)

Similarly, we can show that

$$\begin{aligned} \bigl\vert \bigl\langle (\varphi u_{\varepsilon})_{t}, v\bigr\rangle \bigr\vert =&\langle u_{\varepsilon t}, \varphi v\rangle \\ \leq& c \biggl[\varepsilon \iint_{Q_{T}} \vert \nabla u_{\varepsilon} \vert ^{p_{+}}\,dx\,dt+ \iint_{{Q_{T}}} a(x) \vert \nabla u_{\varepsilon} \vert ^{p(x)}\,dx\,dt \\ &{}+ \iint_{{Q_{T}}} \bigl( \vert v \vert ^{p_{+}}+ \vert \nabla v \vert ^{p_{+}}\bigr)\,dx\,dt+1 \biggr]\leq c, \end{aligned}$$

then

$$ \bigl\Vert (\varphi u_{\varepsilon})_{t} \bigr\Vert _{L^{p'_{+}}(0,T;W^{-1,{p'_{+}}}(\Omega))}\leq c. $$
(2.11)

For a fixed s such that \(s>\frac{N}{2}+1\), one has \(H_{0}^{s}(\Omega )\hookrightarrow W^{1, p_{+}}(\Omega)\). Consequently, \(W^{-1,{p'_{+}}}(\Omega)\hookrightarrow H^{-s}(\Omega)\). As a result, we have

$$ \bigl\Vert (\varphi u_{\varepsilon})_{t} \bigr\Vert _{L^{p'_{+}}(0,T;H^{-s}(\Omega))}\leq c. $$
(2.12)

At the same time, we have

$$\iint_{Q_{T}} \bigl\vert \nabla(\varphi u_{\varepsilon}) \bigr\vert ^{p_{-}}\,dx\,dt\leq c(\varphi) \biggl(1+ \int_{0}^{T} \int_{\Omega_{\varphi}} \vert \nabla u_{\varepsilon} \vert ^{p_{-}} \,dx\,dt\biggr)\leq c(\varphi), $$

where \(\Omega_{\varphi}=\operatorname{supp}\varphi\). We give an explanation of this inequality. Since \(a(x)\in C^{1}(\overline{\Omega})\), \(a(x)>0\) when \(x\in\Omega\), for any \(\varphi(x)\in C_{0}^{1}(\Omega)\),

$$\frac{\varphi(x)}{a(x)}\leq c(\varphi), $$

then

$$\begin{aligned}& \int_{0}^{T} \int_{\Omega_{\varphi}}|\nabla u_{\varepsilon }|^{p_{-}} \,dx\,dt \\& \quad = \int_{0}^{T} \int_{\Omega}\varphi(x)|\nabla u_{\varepsilon}|^{p_{-}}\,dx \,dt \\& \quad = \int_{0}^{T} \int_{\Omega}\frac{\varphi(x)}{a(x)}a(x)|\nabla u_{\varepsilon}|^{p_{-}} \,dx\,dt \\& \quad \leq c(\varphi) \int_{0}^{T} \int_{\Omega}a(x)|\nabla u_{\varepsilon }|^{p_{-}}\,dx\,dt \\& \quad \leq c(\varphi). \end{aligned}$$

Thus we have

$$ \|\varphi u_{\varepsilon}\|_{L^{p'_{+}}(0,T;W^{1,p_{-}}_{0}(\Omega ))}\leq c. $$
(2.13)

Noticing that \(W^{1,p_{-}}_{0}(\Omega)\hookrightarrow L^{p_{-}}(\Omega )\hookrightarrow H^{-s}(\Omega)\), we can employ Aubin’s compactness theorem in [12] to obtain \(\varphi u_{\varepsilon}\rightarrow\varphi u\) strongly in \(L^{p'_{+}}(0,T;L^{p_{-}}(\Omega))\). Thus \(\varphi u_{\varepsilon}\rightarrow\varphi u\) a.e. in \(Q_{T}\). In particular, due to the arbitrariness of φ, \(u_{\varepsilon }\rightarrow u\) a.e. in \(Q_{T}\).

Now, by (2.7),

$$\varepsilon|\nabla u_{\varepsilon}|^{p_{+}-2}\nabla u_{\varepsilon}\rightharpoonup0, \quad \text{in } L^{\frac{p_{+}}{p_{+}-1}}(Q_{T}). $$

By (2.4), (2.5), (2.6), there exists a function u and an n-dimensional vector function \(\overrightarrow{\zeta}= ({\zeta_{1}}, \ldots,{\zeta_{n}})\) satisfying

$$u \in L^{\infty}(Q_{T}),\qquad \vert \zeta_{i} \vert \in L^{\frac {p(x)}{p(x) - 1}}(Q_{T}), $$

and

$$\begin{aligned}& {u_{\varepsilon}} \rightharpoonup u,\quad \text{weakly-star in } {L^{\infty}(Q_{T})}, \qquad u_{\varepsilon }\rightarrow u, \quad \text{a.e. in } Q_{T}, \\& u_{\varepsilon}^{q}\rightarrow u^{q}, \quad \text{a.e. in } Q_{T}, \\& {u_{\varepsilon x_{i}}} \rightharpoonup u_{x_{i}} ,\quad \text{in } L_{\mathrm{loc}}^{p(x)}(Q_{T}), \\& a(x) \vert \nabla u_{\varepsilon} \vert ^{p(x)- 2} \nabla u_{\varepsilon} \rightharpoonup\overrightarrow{\zeta},\quad \text{in } \bigl\{ L^{1}\bigl(0,T; L^{\frac{p(x)}{p(x)-1}}(\Omega)\bigr)\bigr\} ^{N}. \end{aligned}$$

Moreover, we can prove that

$$ \iint_{Q_{T}} a \vert \nabla u \vert ^{p(x) - 2}\nabla u \cdot \nabla\varphi \,dx\,dt = \iint_{Q_{T}} \overrightarrow{\zeta} \cdot\nabla\varphi \,dx\,dt, $$
(2.14)

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

Then, by (2.14), for any \(\varphi\in C_{0}^{1}(Q_{T})\), we have

$$ \langle u_{t},\varphi\rangle + \iint_{{Q_{T}}} \bigl[a(x) \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla \varphi+u^{q}\bigl(b^{i}(x)\varphi _{x_{i}}+b^{i}_{x_{i}}(x)\varphi\bigr) \bigr]\,dx\,dt = 0. $$
(2.15)

If for any given \(t\in[0, T)\), denoting \(\Omega_{\varphi }=supp\varphi\), then we have

$$ \langle u_{t},\varphi\rangle + \int_{0}^{T} \int_{\Omega_{\varphi}}\bigl[a(x) \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla \varphi +u^{q}\bigl(b^{i}(x) \varphi_{x_{i}}+b^{i}_{x_{i}}(x)\varphi\bigr) \bigr]\,dx \,dt = 0. $$
(2.16)

Moreover, for any \(\varphi_{1}\in C_{0}^{1} ({Q_{T}})\), \(\varphi_{2}(x,t)\in L^{\infty}(0,T; W^{1,p(x)}_{\mathrm{loc}}(\Omega))\), we clearly have

$$g(\varphi_{1}\varphi_{2})\in L^{\infty}\bigl(0,T; W_{0}^{1,p(x)}(\Omega _{\varphi_{1}})\bigr). $$

Since \(C_{0}^{\infty}(\Omega_{\varphi_{1}})\) is dense in \(W_{0}^{1, p(x)}(\Omega_{\varphi_{1}})\), by taking a limit, we have

$$\begin{aligned}& \bigl\langle u_{t},g(\varphi_{1}\varphi_{2})\bigr\rangle + \int_{0}^{T} \int_{\Omega_{\varphi_{1}}} \bigl[a(x) \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla g(\varphi_{1}\varphi_{2}) \bigr]\,dx\,dt \\& \qquad {}+ \int_{0}^{T} \int_{\Omega_{\varphi_{1}}} \bigl[u^{q} \bigl(b^{i}(x)g_{x_{i}}( \varphi_{1}\varphi_{2})+b^{i}_{x_{i}}g( \varphi_{1}\varphi _{2}) \bigr) \bigr]\,dx\,dt \\& \quad = 0, \end{aligned}$$
(2.17)

and so

$$\begin{aligned}& \bigl\langle u_{t},g(\varphi_{1}\varphi_{2})\bigr\rangle + \int_{0}^{T} \int_{\Omega} \bigl[a(x) \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla g(\varphi _{1}\varphi_{2}) \bigr]\,dx\,dt \\& \qquad {}+ \int_{0}^{T} \int_{\Omega} \bigl[u^{q} \bigl(b^{i}(x)g_{x_{i}}( \varphi _{1}\varphi_{2})+b^{i}_{x_{i}}g( \varphi_{1}\varphi_{2}) \bigr) \bigr]\,dx\,dt \\& \quad = 0. \end{aligned}$$
(2.18)

Finally, the initial value condition in the sense of (1.7) can be proved (1.7) as in [2], then u is a solution of Eq. (1.1) with the initial value (1.2) in the sense of Definition 1.3. Thus we have Theorem 1.4.

3 The proof of Theorem 1.5

Lemma 3.1

Let \(v\in L^{p_{+}}(0,T;W_{0}^{1,{p_{+}}}(\Omega ))\), \(v_{t}\in L^{p_{+}'}(0,T;W^{-1,{p_{+}}'}(\Omega))\). For any continuous function \(h(s)\), \(H(s)=\int_{0}^{s}h(s)\,ds\), a.e. \(t_{1}, t_{2}\in[0, T)\),

$$ \int_{t_{1}}^{t_{2}}\bigl\langle v_{t}, h(v) \bigr\rangle \,dt= \int_{\Omega }\bigl(H(v) (x,t_{2})-H(v) (x,t_{1})\bigr)\,dx. $$
(3.1)

Lemma 3.1 is proved in the note [2].

It is well known that the BV function is defined as \(u\in BV(\Omega )=\{u\in L^{1}(\Omega): \int_{\Omega}|\nabla u|\,dx<\infty\} =W^{1,1}(\Omega)\). Moreover, \(C_{0}^{\infty}(\Omega)\) is dense in the space \(W_{0}^{1,1}(\Omega)=\{u: u\in BV(\Omega), u|_{\partial\Omega }=0\} \), accordingly, \(L^{p^{0}}(0,T;W_{0}^{1,{p^{0}}}(\Omega))\) is dense in \(L^{p^{0}}(0,T;W_{0}^{1,1}(\Omega) )\). Then we have the following.

Remark 3.2

Lemma 3.1 is still true for the function \(v\in L^{p_{+}}(0,T;W_{0}^{1,1}(\Omega))\), \(v_{t}\in L^{p_{+}'}(0,T; W^{-1,{p_{+}}'}(\Omega))\).

Now, we begin to prove Theorem 1.4. For small \(\eta>0\), let

$$S_{\eta}(s)= \int_{0}^{s}h_{\eta}(\tau)\,d\tau,\qquad h_{\eta}(s)=\frac{2}{\eta}\biggl(1-\frac{| s|}{\eta } \biggr)_{+}. $$

Obviously, \(h_{\eta}(s)\in C(\mathbb{R})\), \(S_{\eta}(s)\) is monotone increasing about η and

$$ \lim_{\eta\rightarrow0}S_{\eta }(s)=\operatorname{sgn}s,\qquad \lim_{\eta\rightarrow0}H_{\eta }(s)= \int_{0}^{s}S_{\eta}(\tau)\,d\tau= |s|, $$
(3.2)

moreover, one has

$$ h_{\eta}(s)\geq0, \qquad \bigl| sh_{\eta}(s)\bigr|\leq1,\qquad \lim _{\eta \rightarrow 0} sS_{\eta}^{\prime}(s)=0. $$
(3.3)

For two solutions \(u(x,t)\), \(v(x,t)\) of Eq. (1.1) with the initial values

$$u(x,0)=u_{0}(x),\qquad v(x,0)=v_{0}(x), $$

respectively, we can choose \(S_{\eta}(a^{\beta}(u-v))\) as the test function, where \(\beta\geq1\) is a constant. Then

$$\begin{aligned} \begin{aligned}[b] &\int_{0}^{t} \int_{\Omega}S_{\eta}\bigl(a^{\beta}(u-v)\bigr) \frac{\partial (u-v)}{\partial t}\,dx\,dt \\ &\qquad {}+ \int_{0}^{t} \int_{\Omega} a^{\beta+1}(x) \bigl( \vert \nabla u \vert ^{p(x)- 2}\nabla u - \vert \nabla v \vert ^{p(x)- 2}\nabla v\bigr) \cdot \nabla(u - v)S'_{\eta} \bigl(a^{\beta}(u-v) \bigr) \,dx\,dt \\ &\qquad {}+ \int_{0}^{t} \int_{\Omega} a(x) \bigl( \vert \nabla u \vert ^{p(x) - 2} \nabla u - \vert \nabla v \vert ^{p(x)- 2}\nabla v\bigr) \cdot\nabla a^{\beta}(u - v)S'_{\eta}\bigl(a^{\beta}(u-v) \bigr) \,dx\,dt \\ &\qquad {}+ \int_{0}^{t} \int_{\Omega}\bigl(b^{i}_{x_{i}}(x)\bigr) \bigl(u^{q}-v^{q}\bigr)S_{\eta}\bigl(a^{\beta}(u-v)\bigr)+a^{\beta} b^{i}(x) \bigl(u^{q} - v^{q}\bigr) \\ &\qquad {}\cdot(u- v)_{x_{i}}S'_{\eta } \bigl(a^{\beta}(u-v)\bigr)\,dx \,dt \\ &\qquad {}+ \int_{0}^{t} \int_{\Omega}b^{i}(x) \bigl(u^{q}-v^{q} \bigr) \cdot a^{\beta}_{x_{i}} (u - v)S'_{\eta} \bigl(a^{\beta}(u-v)\bigr) \,dx\,dt \\ &\quad =0 . \end{aligned} \end{aligned}$$
(3.4)

Let us analyze every term on the left hand side of (3.4). In the first place, since \(a(x)\geq0\), \(S'_{\eta}(s)\geq0\), for the second term, one has

$$ \int_{\Omega} a^{\beta+1}(x) \bigl( \vert \nabla u \vert ^{p(x)- 2}\nabla u - \vert \nabla v \vert ^{p(x) - 2}\nabla v\bigr) \cdot\nabla (u - v)S'_{\eta}\bigl(a^{\beta}(u - v) \bigr) \,dx \geq0. $$
(3.5)

For the third term, since \(|\nabla a(x)|\leq c\) in Ω, we have

$$\begin{aligned}& \biggl\vert \int_{\Omega} a^{\beta}(u - v)S'_{\eta} \bigl(a^{\beta}(u - v)\bigr) \bigl( \vert \nabla u \vert ^{p(x)- 2}\nabla u - \vert \nabla v \vert ^{p(x) - 2}\nabla v\bigr) \,dx \biggr\vert \\& \quad = \biggl\vert \int_{\{\Omega: a^{\beta}|u-v|< \eta\}} a^{-\frac {p(x)-1}{p(x)}}a^{\beta}(u - v)S'_{\eta}\bigl(a^{\beta}(u - v) \bigr) \\& \qquad{} \cdot a^{\frac {p(x)-1}{p(x)}}\bigl( \vert \nabla u \vert ^{p(x)- 2}\nabla u - \vert \nabla v \vert ^{p(x) - 2}\nabla v\bigr) \,dx \biggr\vert \\& \quad \leq \biggl( \int_{\{\Omega: a^{\beta}|u-v|< \eta\}} \bigl|a^{-\frac {p(x)-1}{p(x)}}a^{\beta}(u - v)S'_{\eta}\bigl(a^{\beta}(u - v) \bigr)\bigr|^{p(x)}\,dx \biggr)^{\frac{1}{p_{1}}} \\& \qquad {}\cdot \biggl( \int_{\{\Omega: a^{\beta}|u-v|< \eta\}}a(x) \bigl(|\nabla u|^{p(x)}+|\nabla v|^{p(x)}\bigr)\,dx \biggr)^{\frac{1}{p_{1}'}}, \end{aligned}$$
(3.6)

where \(p_{1}\) is \(p_{+}\) or \(p_{-}\) according to Lemma 1.2, \(p'(x)=\frac {p(x)}{p(x)-1}\), \(p_{1}'=p'_{+}\) or \(p'_{-}\) has a similar meaning.

If \(\{x\in\Omega: u-v=0\}\) has zero measure, then

$$ \lim_{\eta\rightarrow0} \int_{\{\Omega: a^{\beta}|u-v|< \eta\} }a(x) \bigl(|\nabla u|^{p(x)}+|\nabla v|^{p(x)}\bigr)\,dx=0. $$
(3.7)

Since (1.11),

$$\int_{\Omega}a^{-(p(x)-1)}(x)\,dx< \infty, $$

by the fact \(|a^{\beta}(u - v)S'_{\eta}(a^{\beta}(u - v))|\leq c\), it implies

$$ \biggl\vert \int_{\{\Omega: a^{\beta}|u-v|< \eta\}} \bigl\vert a^{-\frac {p(x)-1}{p(x)}}a^{\beta}(u - v)S'_{\eta}\bigl(a^{\beta}(u - v)\bigr) \bigr\vert ^{p(x)}\,dx \biggr\vert \leq c, $$
(3.8)

by (3.6), one has

$$ \lim_{\eta\rightarrow0} \biggl\vert \int_{\Omega} a^{\beta}(u - v)S'_{\eta } \bigl(a^{\beta}(u - v)\bigr) \bigl( \vert \nabla u \vert ^{p(x)- 2}\nabla u - \vert \nabla v \vert ^{p(x) - 2}\nabla v\bigr) \,dx \biggr\vert =0. $$
(3.9)

If \(\{x\in\Omega: u-v=0\}\) has a positive measure, since

$$\begin{aligned}& \int_{\{\Omega: a^{\beta}|u-v|< \eta\}} \bigl\vert a^{-\frac {p(x)-1}{p(x)}}a^{\beta}(u - v)S'_{\eta}\bigl(a^{\beta}(u - v)\bigr) \bigr\vert ^{p(x)}\,dx \\& \quad \leq \int_{\Omega} \bigl\vert a^{-\frac{p(x)-1}{p(x)}}a^{\beta}(u - v)S'_{\eta }\bigl(a^{\beta}(u - v)\bigr) \bigr\vert ^{p(x)}\,dx, \end{aligned}$$

and

$$\int_{\{\Omega: a^{\beta}|u-v|< \eta\}}a(x) \bigl(|\nabla u|^{p(x)}+|\nabla v|^{p(x)}\bigr)\,dx\leq \int_{\Omega}a(x) \bigl(|\nabla u|^{p(x)}+|\nabla v|^{p(x)}\bigr)\,dx\leq c, $$

according to the condition (1.11) and the fact \(|a^{\beta}(u - v)S'_{\eta}(a^{\beta}(u - v))|\leq c\), using the dominated convergence theorem and Hölder inequality, by the last formula of (3.3), one has

$$ \lim_{\eta\rightarrow0} \biggl( \int_{\{\Omega: a^{\beta} \vert u-v \vert < \eta \}} \bigl\vert a^{-\frac{p(x)-1}{p(x)}}a^{\beta}(u - v)S'_{\eta}\bigl(a^{\beta}(u - v)\bigr) \bigr\vert ^{p(x)}\,dx \biggr)^{\frac{1}{p_{1}}}=0. $$
(3.10)

Thus, from (3.6), (3.9) is true.

Moreover, since \(u,v\in L^{\infty}(Q_{T})\), by (1.10), using the dominated convergence theorem, we have

$$\begin{aligned}& \lim_{\eta\rightarrow0} \biggl\vert \int_{\Omega} b^{i}(x) \bigl(u^{q} - v^{q}\bigr) \cdot a^{\beta}_{x_{i}} (u-v) S'_{\eta}\bigl(a^{\beta}(u-v)\bigr) \,dx \biggr\vert \\& \quad \leq\lim_{\eta\rightarrow0} \int_{\Omega} \bigl\vert b^{i}(x) \bigl(u^{q} - v^{q}\bigr) \bigr\vert S'_{\eta} \bigl(a^{\beta}(u - v)\bigr) \biggl\vert a^{\beta}(u-v) \frac{a^{\beta}_{{x_{i}}}}{a^{\beta}} \biggr\vert \,dx \\& \quad \leq c\lim_{\eta\rightarrow0} \int_{\Omega} \bigl\vert S'_{\eta} \bigl(a^{\beta}(u - v)\bigr)a^{\beta}(u-v) \bigr\vert \frac{| b^{i}(x)\nabla a|}{a}\,dx \\& \quad \leq c\lim_{\eta\rightarrow0} \biggl( \int_{\Omega} \bigl\vert S'_{\eta } \bigl(a^{\beta}(u - v)\bigr)a^{\beta}(u-v) \bigr\vert \,dx \biggr)^{\frac{1}{2}} \biggl( \int_{\Omega} \biggl\vert \frac{ b^{i}(x)\nabla a}{a} \biggr\vert ^{2}\,dx \biggr)^{\frac{1}{2}} \\& \quad =0. \end{aligned}$$
(3.11)

Since \(q\geq1\),

$$\bigl\vert u^{q} - v^{q} \bigr\vert \leq c |u-v|, $$

and by (1.10), \(|a^{-\frac{1}{p}}b^{i}(x)|\leq c\),

$$\begin{aligned}& \biggl\vert \int_{{\Omega}} b^{i}(x)a^{\beta}(x) \bigl(u^{q} - v^{q}\bigr){S_{\eta}}' \bigl(a^{\beta}(u - v)\bigr) (u - v)_{{x_{i}}}\,dx \biggr\vert \\& \quad \leq c \biggl( \int_{\Omega}a(x) \bigl(|\nabla u|^{p(x)}+|\nabla v|^{p(x)}\bigr)\,dx \biggr)^{\frac{1}{p_{1}}} \\& \qquad {}\cdot \biggl( \int_{\Omega} \bigl\vert a^{-\frac{1}{p(x)}}b^{i}(x) \bigr\vert ^{\frac {p(x)}{p(x)-1}} \bigl\vert a^{\beta}(x) (u-v){S_{\eta}}' \bigl(a^{\beta}(u - v)\bigr) \bigr\vert ^{\frac {p(x)}{p(x)-1}}\,dx \biggr)^{\frac{1}{p'_{1}}} \\& \quad \leq c \biggl( \int_{\Omega} \bigl\vert a^{-\frac{1}{p}}b^{i}(x) \bigr\vert ^{\frac {p(x)}{p(x)-1}} \bigl\vert a^{\beta}(x) (u-v){S_{\eta}}' \bigl(a^{\beta}(u - v)\bigr) \bigr\vert ^{\frac {p(x)}{p(x)-1}}\,dx \biggr)^{\frac{1}{p'_{1}}}. \end{aligned}$$

Therefore,

$$ \lim_{\eta\rightarrow0} \biggl\vert \int_{{\Omega}} b^{i}(x) \bigl(u^{q}-v^{q} \bigr){S_{\eta}}'\bigl(a^{\beta}(u - v)\bigr) (u - v)_{{x_{i}}}a^{\beta}(x)\,dx \biggr\vert = 0. $$
(3.12)

At the same time,

$$ \lim_{\eta\rightarrow0} \biggl\vert \int_{\Omega}b^{i}_{x_{i}}(x) \bigl(u^{q}-v^{q}\bigr)S_{\eta}\bigl(a^{\beta}(u-v) \bigr)\,dx \biggr\vert \leq c \int_{\Omega}|u-v|\,dx, $$
(3.13)

obviously by the assumption of \(b^{i}(x)\in C^{1}(\overline{\Omega})\).

Finally, for the first term on the left hand side of (3.4), by the monotone convergent theorem, one has

$$\begin{aligned}& \lim_{\eta\rightarrow0} \int_{0}^{t} \int_{\Omega} S_{\eta}\bigl(a^{\beta}(u - v)\bigr) \frac{\partial(u - v)}{\partial t}\,dx\,dt \\& \quad = \int_{0}^{t} \int_{\Omega}\text{sign}\bigl(a^{\beta}(u - v)\bigr) \frac{\partial (u - v)}{\partial t}\,dx\,dt \\& \quad =\lim_{\eta\rightarrow0} \int_{0}^{t} \int_{\Omega} S_{\eta}(u - v)\frac{\partial(u - v)}{\partial t}\,dx\,dt. \end{aligned}$$

We can employ Remark 3.2 to deduce that

$$\begin{aligned}& \lim_{\eta\rightarrow0} \int_{0}^{t} \int_{\Omega} S_{\eta}(u - v)\frac{\partial(u - v)}{\partial t}\,dx\,dt \\& \quad =\lim_{\eta\rightarrow0} \int_{0}^{t}\bigl(H_{\eta}(u-v) (t)-H_{\eta}(u_{0}-v_{0})\bigr)\,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}$$
(3.14)

Now, let \(\eta\rightarrow0\) in (3.4). By (3.5), (3.9), (3.11), (3.12), (3.13) and (3.14) , one has

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

4 The proofs of Theorem 1.6 and Theorem 1.8

Proof of Theorem 1.6

For a small positive constant \(\lambda>0\), denoting \(\Omega_{\lambda }=\{x\in\Omega: a(x)>\lambda\}\) as before, let

$$ \phi_{\lambda}(x)= \textstyle\begin{cases} 1, & \mbox{if } x\in\Omega_{\lambda}, \\ \frac{1}{\lambda}a(x), & \mbox{if } x\in\Omega\setminus\Omega _{\lambda}. \end{cases} $$
(4.1)

Now, by a process of limit, for \(g(s)=s\), we can choose \(\varphi _{1}=\phi_{\lambda}(x)\chi_{[0,t]}\), \(\varphi_{2}=S_{\eta}(u-v)\), and integrate it over \(Q_{T}\), accordingly,

$$\begin{aligned}& \int_{0}^{t} \int_{\Omega} \phi_{\lambda}(x)S_{\eta}(u-v) \frac {\partial(u - v)}{\partial t}\,dx\,dt \\& \qquad {}+ \int_{0}^{t} \int_{\Omega} \phi_{\lambda}(x)a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \\& \qquad {}\cdot \nabla(u-v)S'_{\eta}(u-v) \,dx\,dt \\& \qquad {}+ \int_{0}^{t} \int_{\Omega} a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot\nabla\phi_{\lambda}(x) S_{\eta }(u-v) \,dx\,dt \\& \qquad {}+ \int_{0}^{t} \int_{\Omega}\bigl(u^{q}-v^{q}\bigr) \bigl[b^{i}(x) \bigl(\phi_{\lambda }(x)S_{\eta}(u-v) \bigr)_{x_{i}} \bigr]\,dx\,dt \\& \qquad {}+ \int_{0}^{t} \int_{\Omega}\bigl(u^{q}-v^{q}\bigr) \bigl[b^{i}_{x_{i}}(x)\phi _{\lambda}(x)S_{\eta}(u-v) \bigr]\,dx\,dt=0. \end{aligned}$$
(4.2)

In the first place,

$$ \int_{\Omega} \phi_{\lambda}(x)a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot \nabla(u-v)S'_{\eta}(u-v) \,dx \geq 0, $$
(4.3)

is clear. For the third term,

$$\begin{aligned}& \biggl\vert \int_{\Omega} a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot\nabla\phi_{\lambda}(x) S_{\eta }(u-v) \,dx \biggr\vert \\& \quad \leq \int_{\Omega\setminus\Omega_{\lambda}} a(x) \bigl\vert \bigl(|\nabla u|^{p(x)-2} \nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot\nabla\phi_{\lambda}(x) S_{\eta}(u-v) \bigr\vert \,dx \\& \quad \leq \int_{\Omega\setminus\Omega_{\lambda}} a(x) \bigl\vert \bigl(|\nabla u|^{p(x)-2} \nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \bigr\vert \bigl\vert \nabla \phi_{\lambda}(x) \bigr\vert \,dx \\& \quad \leq\frac{c}{\lambda} \biggl[ \int_{\Omega\setminus\Omega_{\lambda }} a(x) |\nabla u|^{p(x)-1}|\nabla a| \,dx+ \int_{\Omega\setminus\Omega_{\lambda}} a(x) |\nabla v|^{p(x)-1}|\nabla a|\,dx \biggr]. \end{aligned}$$
(4.4)

By (1.14), i.e.

$$\frac{c}{\lambda} \biggl(\lambda \int_{\Omega\setminus\Omega _{\lambda}}|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} \leq c, $$

using the Hölder inequality, by (4.4),

$$\begin{aligned}& \biggl\vert \int_{\Omega} a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot\nabla\phi_{\lambda}(x) S_{\eta }(u-v) \,dx \biggr\vert \\& \quad \leq\frac{c}{\lambda} \biggl[ \int_{\Omega\setminus\Omega_{\lambda }} a(x) |\nabla u|^{p(x)-1}|\nabla a| \,dx+ \int_{\Omega\setminus\Omega_{\lambda}} a(x) |\nabla v|^{p(x)-1}|\nabla a|\,dx \biggr] \\& \quad \leq\frac{c}{\lambda} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla u|^{p(x)}\,dx \biggr)^{\frac{1}{p'_{+}}} \\& \qquad {}+\frac{c}{\lambda} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a(x)|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla v|^{p(x)}\,dx \biggr)^{\frac{1}{p'_{+}}} \\& \quad \leq c \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla u|^{p(x)}\,dx \biggr)^{\frac{1}{p'_{+}}} +c \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla v|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}}. \end{aligned}$$
(4.5)

By (4.5), clearly,

$$ \lim_{\lambda\rightarrow0} \biggl\vert \int_{\Omega} a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot\nabla\phi_{\lambda}(x) S_{\eta }(u-v) \,dx \biggr\vert =0. $$
(4.6)

As for the fourth term, by \(q\geq1\), and the condition (1.13)

$$\int_{\Omega}a^{-\frac{1}{p(x)-1}}(x)\,dx< c, $$

using the last formula of (3.3) and the dominated convergence theorem, one has

$$\begin{aligned}& \lim_{\eta\rightarrow0} \biggl\vert \int_{\Omega}\phi_{\lambda }b^{i}(x) \bigl(u^{q}-v^{q}\bigr)S_{\eta}'(u-v) (u-v)_{x_{i}}\,dx \biggr\vert \\& \quad \leq c\lim_{\eta\rightarrow0} \biggl( \int_{\Omega}\bigl|a^{-\frac {1}{p(x)}}S_{\eta}'(u-v) (u-v)\bigr|^{\frac{p(x)}{p(x)-1}}\,dx \biggr)^{\frac {1}{p'_{1}}} \biggl( \int_{\Omega}a(x) \bigl(|\nabla u|^{p(x)}+|\nabla v|^{p(x)}\bigr)\,dx \biggr)^{\frac{1}{p_{1}}} \\& \quad =0, \end{aligned}$$
(4.7)

where \(p_{1}=p_{+}\) or \(p_{-}\) according to (ii) of Lemma 1.2, \(p'_{1}\) has a similar meaning. We have

$$\begin{aligned}& \lim_{\lambda\rightarrow0} \biggl\vert \int_{\Omega}\phi_{\lambda x_{i}}b^{i}(x) \bigl(u^{q}-v^{q}\bigr)S_{\eta}(u-v)\,dx \biggr\vert \\& \quad \leq\lim_{\lambda\rightarrow0}\frac{c}{\lambda} \int_{\Omega \setminus\Omega_{\lambda}}|\nabla a|\,dx \\& \quad \leq\lim_{\lambda\rightarrow0}\frac{c}{\lambda} \biggl( \int _{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{1}}} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a^{-\frac{1}{p(x)-1}}(x)\,dx \biggr)^{\frac{1}{p'_{+}}} \\& \quad =0. \end{aligned}$$
(4.8)

By (4.7)–(4.8), for the fourth term on the left term in (4.2), one has

$$ \lim_{\eta\rightarrow0} \biggl\vert \int_{\Omega}\bigl(u^{q}-v^{q}\bigr) \bigl[b^{i}(x) \bigl(\phi _{\lambda}(x)S_{\eta}(u-v) \bigr)_{x_{i}} \bigr]\,dx \biggr\vert \leq c \int_{\Omega } \vert u-v \vert \,dx. $$
(4.9)

Moreover, for the fifth term, one has

$$ \lim_{\eta\rightarrow0} \biggl\vert \int_{\Omega}\bigl(u^{q}-v^{q} \bigr)b^{i}_{x_{i}}(x)\phi _{\lambda}(x)S_{\eta}(u-v) \,dx \biggr\vert \leq c \int_{\Omega} \vert u-v \vert \,dx. $$
(4.10)

Finally, for the first term, also by the monotone convergent theorem, and employing Remark 3.2, one has

$$\begin{aligned}& \lim_{\eta\rightarrow0} \lim_{\lambda\rightarrow0} \int _{0}^{t} \int_{\Omega} \phi_{\lambda}(x)S_{\eta}(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.11)

Now, after letting \(\lambda\rightarrow0\), let \(\eta\rightarrow0\) in (4.2). By (4.3), (4.6), (4.9), (4.10) and (4.11), using the Gronwall inequality, we have

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

 □

Proof of Theorem 1.8

Similar to the proof of Theorem 1.5, we have (4.2) and (4.3). Since \(u(x)\) and \(v(x)\) satisfy the condition(1.15), by (4.4), using the Hölder inequality,

$$\begin{aligned}& \biggl\vert \int_{\Omega} a(x) \bigl(|\nabla u|^{p(x)-2}\nabla u -|\nabla v|^{p(x)-2}\nabla v\bigr) \cdot\nabla\phi_{\lambda}(x) S_{\eta }(u-v) \,dx \biggr\vert \\& \quad \leq\frac{c}{\lambda} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla u|^{p(x)}\,dx \biggr)^{\frac{1}{p'_{+}}} \\& \qquad {}+\frac{c}{\lambda} \biggl( \int_{\Omega\setminus\Omega_{\lambda }}a(x)|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla v|^{p(x)}\,dx \biggr)^{\frac{1}{p'_{+}}} \\& \quad \leq c \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}} +c \biggl( \int_{\Omega\setminus\Omega_{\lambda}}a(x)|\nabla a|^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}}, \end{aligned}$$
(4.12)

which goes to zero as \(\lambda\rightarrow0\) since \(a(x)\in C^{1}(\overline{\Omega})\) satisfying (1.15), one has (4.6). Last but not least, since \(\int_{\Omega}a^{-\frac{1}{p(x)-1}}(x)\,dx<\infty\), similar to the proof of Theorem 1.5, one has (4.7)–(4.11), and we know that the stability (1.12) is true. Theorem 1.8 is proved. □

5 Conclusion

The equations addressed arise in electrorheological fluids theory. Compared with the known results [2, 3, 14], the novelty lies in that, if the diffusion coefficient is degenerate on the boundary, the existence and the uniqueness of the weak solutions may be proved independent of the boundary value condition. Moreover, how the convection term with an oriented form affects the well-posedness of the solutions of the equation is studied.

References

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

    Book  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  3. Gala, S., Ragusa, M.A.: On the regularity criterion of weak solutions for the 3D MHD equations. Z. Angew. Math. Phys. 68(6), Article ID 140 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  4. Gao, W., Guo, B.: Existence and localization of weak solutions of nonlinear parabolic equations with variable exponent of nonlinearity. Ann. Mat. Pura Appl. 191, 551–562 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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  MATH  Google Scholar 

  6. Bennouna, J., El Hamdaoui, B., Mekkour, M., Redwane, H.: Nonlinear parabolic inequalities in Lebesgue–Sobolev spaces with variable exponent. Ric. Mat. 65(1), 93–125 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  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(6), 1483–1515 (2010)

    Article  MATH  Google Scholar 

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

    Book  Google Scholar 

  9. Zhan, H., Wen, J.: Well-posedness of weak solutions to electrorheological fluid equations with degeneracy on the boundary. Electron. J. Differ. Equ. 2017, 13 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  10. Zhan, H.: The boundary value condition of an evolutionary \(p(x)\)-Laplacian equation. Bound. Value Probl. 2015, 112 (2015). https://doi.org/10.1186/s13661-015-0377-6

    Article  MathSciNet  MATH  Google Scholar 

  11. Zhan, H., Xu, B.: A new kind of weak solution of non-Newtonian fluid equation. J. Funct. Spaces 2017, Article ID 7916730 (2017). https://doi.org/10.1155/2017/7916730

    MathSciNet  MATH  Google Scholar 

  12. 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.S.) 132, 285–294 (2006)

    MATH  Google Scholar 

  13. Yin, J., Wang, C.: Properties of the boundary flux of a singular diffusion process. Chin. Ann. Math. 25B(2), 175–182 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  14. Alghamdi, A.M., Gala, S., Ragusa, M.A.: A regularity criterion of weak solutions to the 3D Boussinesq equations. AIMS Math. 2(3), 451–457 (2017)

    Article  Google Scholar 

Download references

Acknowledgements

The author would like to thank BVOP for kindly considering my paper to be published.

Availability of data and materials

Not applicable.

Funding

The paper is supported by the Natural Science Foundation of Fujian province and supported by the Science Foundation of Xiamen University of Technology, China.

Author information

Authors and Affiliations

Authors

Contributions

The author read and approved the final manuscript.

Corresponding author

Correspondence to Huashui Zhan.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The author declares that he has no competing interests.

Additional information

Abbreviations

Not applicable.

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 (http://creativecommons.org/licenses/by/4.0/), 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. On the well-posedness problem of the electrorheological fluid equations. Bound Value Probl 2018, 104 (2018). https://doi.org/10.1186/s13661-018-1029-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-018-1029-4

MSC

Keywords