# The stability of the anisotropic parabolic equation with the variable exponent

## Abstract

Consider the equation

$${u_{t}}= \operatorname{div} \bigl(\overrightarrow{a(x){ \vert{ \nabla u} \vert^{p(x) - 2}}\nabla u} \bigr)=\sum_{i=1}^{N} \bigl(a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x)-2}u_{x_{i}} \bigr)_{x_{i}},$$

with $$a_{i}(x), p_{i}(x)\in C^{1}(\overline{\Omega})$$, $$p_{i}(x)>1, a_{i}(x)\geq 0$$. Basing on the weighted variable exponent Sobolev space, a new kind of weak solutions of the equation is introduced. Whether the usual Dirichlet homogeneous boundary value condition can be imposed depends on whether $$a_{i}(x)$$ is degenerate on the boundary or not. If some of $$\{ a_{i}(x)\}$$ are degenerate on the boundary, a partial boundary value condition is imposed. If every $$a_{i}(x)$$ is degenerate on the boundary, by the new definition of a weak solution, the stability of weak solutions can be proved without any boundary value condition.

## 1 Introduction

In recent years, the parabolic equation with variable nonlinearities

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

coming from the so-called electrorheological fluids theory (see [1, 2]), has been researched widely [3â€“5]. Here, $$\Omega\subset\mathbb {R}^{N}$$ is a bounded domain with smooth boundary âˆ‚Î©, $$p(x)>1$$ is a measurable function. Recently, we have studied the equation

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

with

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

in our previous works [6, 7]. Here $$a(x)\in C(\overline{\Omega })$$, and when $$x\in\Omega$$, $$a(x)>0$$. The main dedications of [6, 7] are that, if $$a(x)|_{x\in\partial\Omega}=0$$, then the stability of weak solutions can be proved without the boundary value condition, provided that the diffusion coefficient $$a(x)$$ satisfies some other restrictions.

In this paper, we consider an anisotropic parabolic equation of the type

\begin{aligned} {u_{t}}= \operatorname{div} \bigl(\overrightarrow{a(x){ \vert{ \nabla u} \vert^{p(x) - 2}}\nabla u} \bigr)=\sum_{i=1}^{N} \bigl(a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x)-2}u_{x_{i}} \bigr)_{x_{i}},\quad (x,t)\in Q_{T}, \end{aligned}
(1.5)

we denote that

\begin{aligned} &p_{0}=\min_{x\in\overline{\Omega}} \bigl\{ p_{1}(x), p_{2}(x), \ldots, p_{N-1}(x), p_{N}(x) \bigr\} ,\quad p_{0}>1, \\ &p^{0}=\max_{x\in\overline{\Omega}} \bigl\{ p_{1}(x), p_{2}(x), \ldots, p_{N-1}(x), p_{N}(x) \bigr\} . \end{aligned}

We assume that $$a_{i}(x)\in C(\overline{\Omega})$$, and when $$x\in \Omega$$, $$a_{i}(x)>0$$. If for every $$i=1,2,\ldots, N$$,

\begin{aligned} a_{i}(x)=0,\quad x\in\partial\Omega, \end{aligned}
(1.6)

then we can expect that similar conclusions as those in [6, 7] are true. While only some of $$a_{i}(x)$$ satisfy (1.6), the situations may be different. To see that, let us give a simple example to show the difference. Let $$N=2$$, $$p_{1}(x)=p_{2}(x)\equiv p$$, the domain Î© be a square,

$$\Omega= \bigl\{ (x_{1},x_{2}): 0< x_{1}< 1, 0< x_{2}< 1 \bigr\} .$$

Suppose that $$a_{2}(x)\equiv1$$ and

\begin{aligned} a_{1}(x)=0, \quad x\in\partial\Omega, \end{aligned}
(1.7)

consider the equation

\begin{aligned} u_{t}=\frac{\partial}{\partial x_{1}} \bigl(a_{1}(x) \vert u_{x_{1}} \vert^{p-2}u_{x_{1}} \bigr)+\frac {\partial}{\partial x_{2}} \bigl( \vert u_{x_{1}} \vert^{p-2}u_{x_{2}} \bigr). \end{aligned}
(1.8)

To obtain the stability of weak solutions of (1.8), initial value condition (1.3) is indispensable. However, instead of the usual Dirichlet boundary value condition (1.4), we may conjecture that only a partial boundary value condition

\begin{aligned} u(x,t)=0,\quad (x,t)\in\Sigma_{2}\times(0,T), \end{aligned}
(1.9)

is required. Here

\begin{aligned} \Sigma_{2}= \bigl\{ (x_{1},x_{2}): 0< x_{1}< 1, x_{2}=0 \bigr\} \cup \bigl\{ (x_{1},x_{2}): 0< x_{1}< 1, x_{2}=1 \bigr\} . \end{aligned}
(1.10)

By the way, we would like to suggest some of important works related to the equations

\begin{aligned} \sum_{i=1}^{N} \bigl(a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x)-2}u_{x_{i}} \bigr)= f(\lambda, u), \end{aligned}
(1.11)

with

\begin{aligned} u=0,\quad x\in\partial\Omega, \end{aligned}
(1.12)

where $$f(\lambda, u)$$ appears in different forms in different papers. Di Nardo and Feo [8] gave the condition of the existence and uniqueness for problems (1.11)-(1.12); Mihailescu et al. [9] studied the usual eigenvalue problems. Later, Radulescu [10] studied the eigenvalue problems with sign-changing potential; Di Castro [11, 12] studied the regularity; El Hamidi and VÃ©tois [13] studied the sharp Sobolev asymptotics; VÃ©tois [14] studied the blow-up phenomena, KonatÃ© and Ouaro [15] studied nonlinear anisotropic problems with bounded Radon diffuse measure and variable exponent and proved the existence and uniqueness of entropy solution. Also one can refer to some other related papers [16â€“26]. In a word, the elliptic anisotropic equations with the variable exponent have been given great attention recently, a lot of interesting results have been obtained. More or less beyond my imagination, there are few references related to the anisotropic parabolic equations with the variable exponent. We only have found one paper by Antontsev and Shmarev [27], in which the existence of weak solutions was studied when $$a(x)=1$$ in equation (1.5).

The most important characteristic of equation (1.5) lies in that the diffusions coefficients $$a_{i}$$ are different from one to another. After giving an existence result, the main aim of this paper is to give a complete classification of boundary value conditions and to study the corresponding stability of weak solutions.

## 2 The definition of weak solutions

Set

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

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

$${h^{+} } = \mathop{\sup} _{x \in\Omega} h(x),\qquad {h^{-} } = \mathop{\inf} _{x \in\Omega} h(x).$$

Let a be a measurable positive and a.e. finite function in $$\mathbb {R}^{N}$$ satisfying

1. (C1)

$$a \in L_{\mathrm{loc}}^{1}(\Omega)$$ and $${a^{-\frac{1}{{p(x) - 1}}}} \in L_{\mathrm{loc}}^{1}(\Omega)$$;

2. (C2)

$${a^{ - s(x)}} \in{L^{1}}(\Omega)$$ with $$s(x) \in(\frac{N}{ {p(x)}},\infty) \cap[\frac{1}{{p(x) - 1}},\infty)$$.

For any $$p \in{C_{+}}(\overline{\Omega})$$, the definitions of the weighted variable exponent Lebesgue spaces $${L^{p(x)}}(a,\Omega)$$ and the weighted variable exponent Sobolev spaces $${W^{1,p(x)}}(a,\Omega)$$, and the following lemmas, can be found in [28].

### Lemma 2.1

Denote

$$\rho(u) = \int_{\Omega}{a(x)\vert u{\vert^{p(x)}}} \,dx \quad \textit{for all }u \in L^{p(x)}(a,\Omega).$$

Then

1. (1)

$$\rho(u) > 1( = 1; < 1)$$ if and only if $${ \Vert u \Vert _{{L^{p(x)}}(a,\Omega)}} > 1( = 1; < 1)$$, respectively;

2. (2)

If $${ \Vert u \Vert _{{L^{p(x)}}(a,\Omega)}} > 1$$, then $$\Vert u \Vert _{{L^{p(x)}}(a,\Omega)}^{{p^{-} }} \leq \rho(u) \leq \Vert u \Vert _{{L^{p(x)}}(a,\Omega)}^{{p^{+} }}$$;

3. (3)

If $${ \Vert u \Vert _{{L^{p(x)}}(a,\Omega)}} < 1$$, then $$\Vert u \Vert _{{L^{p(x)}}(a,\Omega)}^{{p^{+} }} \leq \rho(u) \leq \Vert u \Vert _{{L^{p(x)}}(a,\Omega)}^{{p^{-} }}$$.

### Lemma 2.2

If $$1< p_{0}\leq p(x)\leq p_{1}<\infty$$, then

\begin{aligned} &{ \bigl[{L^{p(x)}}(a, \Omega) \bigr]^{\ast} } = {L^{{p^{\prime}}(x)}} \bigl({ \bigl[a (x) \bigr]^{\frac{1}{{1 - p(x)}}}}, \Omega \bigr),\quad \frac{1}{ {p(x)}} + \frac{1}{ {{p^{\prime}}(x)}} = 1, \\ & \biggl\vert { \int_{\Omega}{u(x)v(x)} \,dx} \biggr\vert \leq k{ \Vert u \Vert _{{L^{{p^{\prime}}(x)}}({{[a (x)]}^{\frac{1}{{1 - p(x)}}}}, \Omega)}} { \Vert v \Vert _{{L^{p(x)}}(a, \Omega)}}, \end{aligned}

where $$[{L^{p(x)}}(a, \Omega)]^{\ast}$$ is the conjugate space, $$p'(x)=\frac{p(x)-1}{p(x)}$$.

### Lemma 2.3

Let $$p,s\in C_{+}(\overline{\Omega})$$, and let (C1) and (C2) be satisfied. Then there exists the following compact embedding:

$${W^{1,p(x)}}(a,\Omega)\hookrightarrow\hookrightarrow{L^{r(x)}}( \Omega)$$

provided that $$r\in C_{+}(\overline{\Omega})$$ and $$1\leq r(x)< p_{s}^{\ast}(x)$$ for all $$x\in\Omega$$. Here,

$$p_{s}(x)=\frac{p(x)s(x)}{1+s(x)}$$

and

$$p_{s}^{\ast}(x)= \textstyle\begin{cases} \frac{p(x)s(x)N}{(s(x)+1)N-p(x)s(x)} & \textit{if } p_{s}(x)< N,\\ +\infty &\textit{if }p_{s}(x)\geq N. \end{cases}$$

The basic definition is as follows.

### Definition 2.4

A function $$u(x,t)$$ is said to be a weak solution of equation (1.5) with initial value condition (1.3) if

\begin{aligned} u \in{L^{\infty}}({Q_{T}}),\qquad \frac{\partial u}{\partial t} \in{L^{2}}({Q_{T}}),\qquad u_{x_{i}} \in L^{\infty} \bigl(0,T; L^{p_{i}(x)}(a_{i},\Omega) \bigr), \end{aligned}
(2.1)

and for any function $$\varphi\in L^{2}(0,T; L^{p_{0}}(\Omega))$$, $$\varphi |_{x\in\partial\Omega}=0$$, $$\varphi_{x_{i}}\in L^{2}(0,T; L^{p_{i}(x)}(a_{i},\Omega))$$ such that

\begin{aligned} \iint_{Q_{T}} \Biggl[\frac{\partial u}{\partial t}\varphi+ \sum _{i=1}^{N}a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x)- 2} u_{x_{i}} \varphi_{x_{i}} \Biggr] \,dx \,dt=0. \end{aligned}
(2.2)

Initial value condition (1.3) is satisfied in the sense of

\begin{aligned} \lim_{t\rightarrow0} \int_{\Omega}\bigl\vert u(x,t) - u_{0}(x)\bigr\vert \,dx = 0. \end{aligned}
(2.3)

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

### Theorem 2.5

If $$p_{i}(x)>1$$, $$a_{i}(x)$$ satisfies conditions (C1), (C2),

\begin{aligned} {u_{0}} \in{L^{\infty}}(\Omega), \qquad u_{0x_{i}} \in L^{p_{i}(x)}(a_{i},\Omega), \end{aligned}
(2.4)

then there is a solution of equation (1.5) with initial value (1.3).

### Theorem 2.6

If for every $$1\leq i\leq N$$, $$\int_{\Omega }a_{i}^{-\frac{1}{p_{i}(x)-1}}(x)\,dx<\infty$$, then initial-boundary value problem (1.5)-(1.3)-(1.4) has a solution. Here, boundary value condition (1.4) is satisfied in the sense of trace.

Then we will study the stability of weak solutions according to the classification of boundary value conditions.

The first case is that we can impose the usual Dirichlet boundary value condition.

### Theorem 2.7

If u and v are two solutions of equation (1.5) with the usual homogeneous value condition

\begin{aligned} u(x,t)=v(x,t)=0, \quad (x,t)\in\partial\Omega\times(0,T), \end{aligned}
(2.5)

and with the initial values $$u_{0}(x), v_{0}(x)$$, respectively, then

\begin{aligned} \int_{\Omega}\bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx\leq \int_{\Omega} \bigl\vert u_{0}(x)-v_{0}(x) \bigr\vert \,dx. \end{aligned}
(2.6)

The second case is that we only can impose a partial boundary value condition. This case corresponds to that some of $$\{a_{i}(x)\}$$ are degenerate on the boundary, while others are not degenerate on the boundary. For simplicity, in this case, we assume that the domain Î© is just an n-dimensional cube

\begin{aligned} \Omega= \bigl\{ (x_{1},x_{2}, \ldots, x_{N}): 0< x_{1}< 1, 0< x_{2}< 1, \ldots, 0< x_{N}< 1 \bigr\} . \end{aligned}
(2.7)

Assume that $$k+l=N$$, $$I=\{i_{1}, i_{2}, \ldots, i_{k}\}\subset\{1, 2, \ldots, N\}$$, $$J=\{j_{1}, j_{2}, \ldots, j_{l}\}\subset\{1, 2, \ldots, N\}$$, $$I\cap J=\varnothing$$, and

\begin{aligned} &a_{i_{1}}(x)>0, a_{i_{2}}(x)>0, \ldots, a_{i_{k}}(x)>0,\quad x\in\overline{\Omega}, \end{aligned}
(2.8)
\begin{aligned} &a_{j_{1}}(x)>0, a_{j_{2}}(x)>0, \ldots, a_{j_{l}}(x)>0,\quad x \in\Omega. \end{aligned}
(2.9)

Instead of the usual Dirichlet boundary value condition (1.4), in this case, only a partial boundary value condition is imposed.

\begin{aligned} u(x,t)=0, \quad (x,t)\in\Sigma\times(0,T), \end{aligned}
(2.10)

where

$$\Sigma=\bigcup_{s=1}^{k}\{x\in\partial \Omega: x_{i_{s}}=0\mbox{ or } 1\}.$$

Similar to the proof of TheoremÂ 2.6, if

\begin{aligned} \int_{\Omega}a_{s}^{-\frac{1}{p_{s}(x)-1}}(x)\,dx< \infty,\quad s=j_{1}, j_{2}, \ldots, j_{l}, \end{aligned}
(2.11)

we can prove that there exists a solution of initial-boundary value problem (1.5)-(1.3)-(2.10).

### Theorem 2.8

Besides (C1)-(C2), (2.8), (2.9) and (2.11), we assume that Î© satisfies (2.7),

\begin{aligned} &a_{j_{r}}(x)=a_{j_{r}}(x_{j_{r}}),\quad r=1, 2,\ldots, l, \end{aligned}
(2.12)
\begin{aligned} &a_{j_{r}}(x_{j_{r}})=0,\quad x_{j_{r}}=0, \textit{ or }1, \end{aligned}
(2.13)

and for large enough n,

\begin{aligned} n^{1-\frac{1}{p_{j_{r}}^{+}}} \biggl( \biggl( \int_{0}^{\frac{1}{n}}+ \int_{1-\frac {1}{n}}^{1} \biggr) \bigl\vert a_{j_{r}}(x) \bigr\vert ^{p_{j_{r}}(x)}\,dx_{j_{r}} \biggr)^{\frac {1}{p_{j_{r}}^{+}}}\leq c. \end{aligned}
(2.14)

If u and v are two solutions of equation (1.5) with the same partial boundary value condition (2.10), and with the initial values $$u_{0}(x), v_{0}(x)$$, respectively, then

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

Certainly, we believe that, instead of conditions (2.12)-(2.13), only if

$$a_{j_{r}}(x)=0,\quad x_{j_{r}}=0,\textit{ or }1,$$

the same conclusion of TheoremÂ  2.8 is also true. But we cannot obtain this result for the time being.

The last case is that all $$a_{i}(x)$$ are degenerate on the boundary. Then we can prove the stability of weak solutions without any boundary value condition.

### Theorem 2.9

If $$a_{i}$$ satisfies (C1)-(C2), and for large enough n,

\begin{aligned} n^{1-\frac{1}{p_{i}^{+}}} \biggl( \int_{\Omega\setminus\Omega _{n}}\bigl\vert a_{i}(x) \bigr\vert ^{p_{i}(x)}\,dx \biggr)^{\frac{1}{p_{i}^{+}}}\leq c, \end{aligned}
(2.15)

let $$u,v$$ be two solutions of equation (1.5) with the initial values $$u_{0},v_{0}$$, respectively. Then

\begin{aligned} \int_{\Omega} \bigl\vert u(x,t)-v(x,t) \bigr\vert \,dx\leq \int_{\Omega} \bigl\vert u(x,0)-v(x,0) \bigr\vert \,dx, \end{aligned}
(2.16)

where $$\Omega_{n}=\{x\in\Omega:\prod_{i=1}^{N}a_{i}(x)>\frac{1}{n}\}$$.

## 3 The proof of Theorems 2.5-2.7

Let $$a(x)$$ satisfy (C1), (C2). Consider the regularized equation

\begin{aligned} u_{t} = \operatorname{div} \bigl(\overrightarrow{a(x) \vert\nabla u \vert ^{p(x)-2}\nabla u} \bigr)+\varepsilon\Delta u, \quad (x,t)\in Q_{T}, \end{aligned}
(3.1)

with the initial boundary conditions

\begin{aligned} &u(x,0) = u_{0}(x),\quad x\in\Omega, \end{aligned}
(3.2)
\begin{aligned} &u(x,t) = 0,\quad (x,t)\in\partial\Omega\times(0,T). \end{aligned}
(3.3)

### Proof of TheoremÂ 2.5

Similar to [8], we can easily prove that there is a solution $${u_{\varepsilon}}$$ of initial-boundary value problem (3.1)-(3.3), and there is a constant c only dependent on $${ \Vert {{u_{0}}} \Vert _{{L^{\infty}}(\Omega)}}$$ but independent of Îµ such that

\begin{aligned} \Vert {u_{\varepsilon}} \Vert _{L^{\infty}({Q_{T}})} \leq c,\qquad \Vert {u_{\varepsilon t} } \Vert _{L^{2} ({Q_{T}})} \leq c. \end{aligned}
(3.4)

Multiplying (3.1) by $$u_{\varepsilon}$$ and integrating it over $$Q_{T}$$, we have

\begin{aligned} &\frac{1}{2} \int_{\Omega}u_{\varepsilon}^{2}\,dx + \sum _{i=1}^{n} \iint_{{Q_{T}}} a_{i}(x) \vert u_{\varepsilon x_{i}} \vert^{p_{i}(x)}\,dx\,dt +\varepsilon \iint_{{Q_{T}}} \vert\nabla u_{\varepsilon} \vert ^{2} \,dx\,dt \\ &\quad= \frac{1}{2} \int_{\Omega} u_{0}^{2}(x)\,dx, \end{aligned}
(3.5)

then

\begin{aligned} \varepsilon \iint_{{Q_{T}}} \vert\nabla u_{\varepsilon}\vert ^{2} \,dx \leq c \end{aligned}
(3.6)

and

\begin{aligned} \sum_{i=1}^{N} \iint_{{Q_{T}}}a_{i}(x) \vert u_{\varepsilon x_{i}} \vert^{p_{i}(x)}\,dx\,dt\leq c. \end{aligned}
(3.7)

Hence, by (3.4), (3.6), (3.7), using LemmaÂ 2.3, there exists a function u and an n-dimensional vector $$\overrightarrow{\zeta}= ({\zeta_{1}}, \ldots,{\zeta_{n}})$$ satisfying

$$u \in{L^{\infty}}({Q_{T}}),\qquad \frac{{\partial u}}{{\partial t}} \in {L^{2}}({Q_{T}}), \qquad \zeta_{i}\in{L^{1} \bigl(0,T; L^{\frac{p_{i}(x)}{{p_{i}(x) - 1}}}} \bigl(a_{i}^{\frac {1}{1-p_{i}(x)}},\Omega \bigr) \bigr),$$

and $$u_{\varepsilon}\rightarrow u$$ $$a.e.\in Q_{T}$$,

\begin{aligned} &{u_{\varepsilon}}\rightharpoonup u,\quad \text{weakly star in }L^{\infty}(Q_{T}), \\ &u_{\varepsilon} \to u,\quad \mbox{in }L^{2} \bigl(0,T;L_{\mathrm{loc}}^{r}( \Omega) \bigr), \\ &\frac{{\partial{u_{\varepsilon}}}}{{\partial t}} \rightharpoonup\frac {{\partial u}}{{\partial t}},\quad \mbox{in }{L^{2}}({Q_{T}}), \\ &\varepsilon\nabla u_{\varepsilon}\rightharpoonup0, \quad\mbox{in }L^{2}(Q_{T}), \\ &a_{i}(x) \vert u_{\varepsilon x_{i}} \vert^{p_{i}(x) - 2} u_{\varepsilon x_{i} } \rightharpoonup\zeta_{i},\quad \mbox{in }{L^{1} \bigl(0,T; L^{\frac{p_{i}(x)}{{p_{i}(x) - 1}}}} \bigl(a_{i}^{\frac {1}{1-p_{i}(x)}},\Omega \bigr) \bigr). \end{aligned}

Here $$r<\frac{Np_{0}}{N-p^{0}}$$.

Now, similar to the general evolutionary p-Laplacian equation, we are able to prove that (the details are omitted here)

$$\lim_{t\rightarrow0} \int_{\Omega}\bigl\vert u(x,t) - u_{0}(x) \bigr\vert \,dx = 0,$$

and

\begin{aligned} \sum_{i=1}^{N} \iint_{{Q_{T}}} a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} \varphi_{x_{i}} \,dx\,dt =\sum _{i=1}^{N} \iint_{{Q_{T}}} \zeta_{i}(x) \varphi_{x_{i}} \,dx \,dt, \end{aligned}
(3.8)

for any function $$\varphi\in L^{2}(0,T; L^{p_{0}}(\Omega))$$, $$\varphi |_{x\in\partial\Omega}=0$$, $$\varphi_{x_{i}}\in L^{2}(0,T; L^{p_{i}(x)}(a_{i},\Omega))$$.

Then we have

\begin{aligned} \iint_{Q_{T}} \Biggl[\frac{\partial u}{\partial t}\varphi+ \sum _{i=1}^{N}a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x)- 2} u_{x_{i}} \varphi_{x_{i}} \Biggr] \,dx \,dt=0. \end{aligned}
(3.9)

Thus u satisfies equation (1.5) with initial value (1.3) in the sense of DefinitionÂ 2.4.â€ƒâ–¡

### Remark 3.1

In general, we only can obtain (3.8). It seems impossible to prove that, for every given i,

$$\iint_{{Q_{T}}} a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} \varphi_{x_{i}} \,dx\,dt = \iint_{{Q_{T}}} \zeta_{i}(x) \varphi_{x_{i}} \,dx \,dt.$$

### Lemma 3.2

If for any given $$i\in\{1,2,\ldots, N\}$$, $$\int _{\Omega}a_{i}^{-\frac{1}{p_{i}(x)-1}}(x)\,dx<\infty$$, then

\begin{aligned} \int_{\Omega} \vert u_{x_{i}} \vert\,dx\leq c. \end{aligned}
(3.10)

### Proof

\begin{aligned} &\iint_{Q_{T}} \vert u_{x_{i}} \vert \,dx\,dt \\ &\quad= \iint_{\{ (x,t) \in{Q_{ T}};a_{i}^{\frac{1}{p_{i}(x)-1}} \vert u_{x_{i}} \vert \leq 1\} } \vert u_{x_{i}} \vert\, dx\,dt + \iint_{\{ (x,t) \in Q_{T};a_{i}^{\frac {1}{p_{i}(x)-1}} \vert u_{x_{i}} \vert > 1\} } \vert u_{x_{i}} \vert \,dx\,dt \\ &\quad \leq \iint_{Q_{T}} a^{ - \frac{1}{p_{i}(x)-1}}\,dx\,dt + \iint_{Q_{\Omega}} a_{i}(x) \vert u_{x_{i}} \vert^{p_{i}(x)}\,dx\,dt \\ &\quad \leq c. \end{aligned}

By this lemma, if for every $$1\leq i\leq N$$, $$\int_{\Omega }a_{i}^{-\frac {1}{p_{i}(x)-1}}(x)\,dx<\infty$$, then

\begin{aligned} \int_{\Omega} \vert\nabla u \vert\,dx\leq c. \end{aligned}
(3.11)

Thus, we can define the trace of u on the boundary âˆ‚Î©. Accordingly, TheoremÂ 2.6 is obviously true.

Now, we will prove TheoremÂ 2.7. For any given positive integer n, let $${g_{n}}(s)$$ be an odd function, and

$${g_{n}}(s) = \textstyle\begin{cases} 1,&s > \frac{1}{n}, \\ {n^{2}}{s^{2}}{{\text{e}}^{1 - {n^{2}}{s^{2}}}},&0\leq s \leq \frac{1}{n}. \end{cases}$$

Clearly,

\begin{aligned} \lim_{n\rightarrow0}g_{n}(s)=\operatorname{sgn}(s), \quad s\in(-\infty, + \infty). \end{aligned}
(3.12)

â€ƒâ–¡

### Proof of TheoremÂ 2.7

Let u and v be two weak solutions of equation (1.5) with the same boundary value condition (2.5) and with the initial values $$u(x,0)$$, $$v(x,0)$$, respectively. By a process of limit, since (2.5) $$u=v$$ on the boundary, we can choose $$\varphi={g_{n}}(u - v)$$ as the test function, then

\begin{aligned} &\int_{{\Omega}}{g_{n}}(u - v)\frac{\partial(u - v)}{\partial t}\,dx \\ &\qquad{}+ \sum_{i=1}^{N} \int_{{\Omega}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2} v_{x_{i}} \bigr) (u_{x_{i}} - v_{x_{i}})g'_{n}(u-v) \,dx \\ &\quad =0. \end{aligned}
(3.13)

Thus

\begin{aligned} &\lim_{n\rightarrow\infty} \int_{\Omega}{g_{n}}(u - v)\frac{\partial(u - v)}{\partial t}\,dx = \frac{d}{\,dt} \Vert {u - v} \Vert _{L^{1}(\Omega )}, \end{aligned}
(3.14)
\begin{aligned} &\int_{{\Omega}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2} v_{x_{i}} \bigr) (u_{x_{i}} - v_{x_{i}})g'_{n}(u-v) \,dx \geq0. \end{aligned}
(3.15)

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

$$\frac{d}{dt} \Vert {u - v} \Vert _{L^{1}(\Omega)} \leq 0.$$

It implies that

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

â€ƒâ–¡

## 4 The stability of the partially boundary value conditions

### Proof of TheoremÂ 2.8

Let u and v be two weak solutions of equation (1.5) with the initial values $$u(x,0)$$, $$v(x,0)$$, respectively.

For $$1\leq r\leq l$$, let

$$\phi_{n,j_{r}}(x_{j_{r}})= \textstyle\begin{cases} 1 & \mbox{if }x_{j_{r}}>\frac{1}{n},\text{ or }1-x_{j_{r}}>\frac {1}{n},\\ n a_{j_{r}}(x_{j_{r}})& \mbox{if }x_{j_{r}}\leq\frac{1}{n}, \text{ or }1-x_{j_{r}}\leq\frac{1}{n}. \end{cases}$$

By (2.10), (2.12), (2.13), $$\prod_{r=1}^{l}\phi _{n,j_{r}}(x_{j_{r}}){g_{n}}(u - v)(x)=0$$ when $$x\in\partial\Omega$$, we can choose $$\prod_{r=1}^{l}\phi_{n,j_{r}}(x_{j_{r}}){g_{n}}(u - v)$$ as the test function, then

\begin{aligned} &\int_{{\Omega}} \prod_{r=1}^{l} \phi_{n,j_{r}}{g_{n}}(u - v)\frac {\partial(u - v)}{\partial t}\,dx \\ &\quad{}+ \sum_{i=1}^{N} \int_{{\Omega}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2} v_{x_{i}} \bigr) \cdot(u_{x_{i}} - v_{x_{i}})g'_{n}(u-v)\prod _{r=1}^{l}\phi_{n,j_{r}}\,dx \\ &\quad{}+ \sum_{i=1}^{N} \int_{{\Omega}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2} u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2}v_{x_{i}} \bigr)g_{n}(u-v) \Biggl(\prod _{r=1}^{l}\phi_{n,j_{r}} \Biggr)_{x_{i}} \,dx=0. \end{aligned}
(4.1)

Thus

\begin{aligned} \lim_{n\rightarrow\infty} \int_{\Omega}\prod_{r=1}^{l} \phi_{n,j_{r}}{g_{n}}(u - v)\frac{\partial(u - v)}{\partial t}\,dx = \frac {d}{dt} \Vert {u - v} \Vert _{L^{1}(\Omega)} \end{aligned}
(4.2)

and

\begin{aligned} \int_{{\Omega}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2} v_{x_{i}} \bigr) \cdot(u_{x_{i}} - v_{x_{i}})g'_{n}(u-v)\prod _{r=1}^{l}\phi_{n,j_{r}}\,dx\geq0. \end{aligned}
(4.3)

Moreover, since $$\phi_{n,j_{r}}(x_{j_{r}})$$ is only dependent on the variable $$x_{j_{r}}$$, we have

\begin{aligned} &\sum_{i=1}^{N} \int_{{\Omega}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2} u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2}v_{x_{i}} \bigr) g_{n}(u-v) \Biggl(\prod _{r=1}^{l}\phi_{n,j_{r}} \Biggr)_{x_{i}}\,dx \\ &\quad=\sum_{s=1}^{k} \int_{{\Omega}} a_{i_{s}}(x) \bigl( \vert u_{x_{i_{s}}} \vert^{p_{i_{s}}(x) - 2} u_{x_{i_{s}}} - \vert v_{x_{i_{s}}} \vert^{p_{i_{s}}(x) - 2}v_{x_{i_{s}}} \bigr)g_{n}(u-v) \Biggl(\prod _{r=1}^{l}\phi_{n,j_{r}} \Biggr)_{x_{i_{s}}}\,dx \\ &\qquad{}+\sum_{r=1}^{l} \int_{{\Omega}} a_{j_{r}}(x) \bigl( \vert u_{x_{j_{r}}} \vert^{p_{j_{r}}(x) - 2} u_{x_{j_{r}}} - \vert v_{x_{j_{r}}} \vert^{p_{j_{r}}(x) - 2}v_{x_{j_{r}}} \bigr)g_{n}(u-v) \Biggl(\prod _{r=1}^{l}\phi_{n,j_{r}} \Biggr)_{x_{j_{r}}}\,dx \\ &\quad =\sum_{r=1}^{l} \int_{{\Omega}} a_{j_{r}}(x) \bigl( \vert u_{x_{j_{r}}} \vert^{p_{j_{r}}(x) - 2} u_{x_{j_{r}}} - \vert v_{x_{j_{r}}} \vert^{p_{j_{r}}(x) - 2}v_{x_{j_{r}}} \bigr)g_{n}(u-v) \Biggl(\prod _{r=1}^{l}\phi _{n,j_{r}} \Biggr)_{x_{j_{r}}}\,dx. \end{aligned}
(4.4)

Clearly,

$$\Biggl(\prod_{r=1}^{l} \phi_{n,j_{r}} \Biggr)_{x_{j_{r_{1}}}}=\prod_{r=1, r\neq r_{1}}^{l} \phi_{n,j_{r}}\phi_{n,j_{r_{1}}}'(x_{j_{r_{1}}}),$$

and $$\vert \phi'_{n,j_{r}}(x_{j_{r}}) \vert =n a'_{j_{r}}(x_{j_{r}})$$ when $$x_{j_{r}}<\frac{1}{n}$$ or $$1-x_{j_{r}}<\frac{1}{n}$$, in other places, it is identical to zero.

Accordingly, for any $$j_{r_{1}}\in\{j_{1}, j_{2}, \ldots, j_{l}\}$$, if we notice that

$$\Omega=(0,1)\times(0,1)\times\cdots\times(0,1),$$

by conditions (2.12)-(2.13), we have

\begin{aligned} &\biggl\vert \int_{0}^{1}a_{j_{r_{1}}}(x) \bigl( \vert u_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x) - 2} u_{x_{j_{r_{1}}}} - \vert v_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x) - 2}v_{x_{j_{r_{1}}}} \bigr)g_{n}(u-v) \Biggl(\prod_{r=1}^{l}\phi _{n,j_{r}} \Biggr)_{x_{j_{r_{1}}}}\,dx_{j_{r_{1}}} \biggr\vert \\ &\quad= \Biggl\vert \biggl( \int_{0}^{\frac{1}{n}}+ \int_{\frac{1}{n}}^{1} \biggr) a_{j_{r_{1}}}(x_{j_{r_{1}}}) \bigl( \vert u_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x) - 2} u_{x_{j_{r_{1}}}} - \vert v_{x_{j_{r}}} \vert^{p_{j_{r_{1}}}(x) - 2}v_{x_{j_{r_{1}}}} \bigr) g{_{n}}(u-v) \\ &\qquad{}\times\prod_{r=1, r\neq r_{1}}^{l} \phi_{n,j_{r_{1}}}\phi_{n,j_{r_{1}}}'(x_{j_{r_{1}}}) \,dx_{j_{r_{1}}} \Biggr\vert \\ &\quad\leq cn \biggl( \int_{0}^{\frac{1}{n}}+ \int_{\frac{1}{n}}^{1} \biggr) a_{j_{r_{1}}}(x_{j_{r_{1}}}) \bigl\vert \vert u_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x) - 2} u_{x_{j_{r_{1}}}} - \vert v_{x_{j_{r}}} \vert^{p_{j_{r_{1}}}(x) - 2}v_{x_{j_{r_{1}}}} \bigr\vert \bigl\vert a_{j_{r_{1}}}'(x_{j_{r_{1}}}) \bigr\vert \,dx_{j_{r_{1}}} \\ &\quad\leq c n \bigl\Vert \bigl( \vert u_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x)-1}+ \vert \nabla v_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x)-1} \bigr) \bigr\Vert _{L^{q_{j_{r_{1}}}(x)}([a_{j_{r_{1}}} (x_{j_{r_{1}}})]^{\frac{1}{1 - p_{j_{r_{1}}}(x)}}, (0,\frac{1}{n})\cup (1-\frac{1}{n},1))} \\ &\qquad{}\times \bigl\Vert a_{j_{r_{1}}}'(x_{j_{r_{1}}}) \bigr\Vert _{L^{p_{j_{r_{1}}}(x)}(a_{j_{r_{1}}} (x_{j_{r_{1}}}),(0,\frac{1}{n})\cup(1-\frac{1}{n},1))}. \end{aligned}
(4.5)

By LemmaÂ 2.2, we have

\begin{aligned} &n \bigl\Vert a_{j_{r_{1}}}'(x_{j_{r_{1}}}) \bigr\Vert _{L^{p_{j_{r_{1}}}(x)}(a_{j_{r_{1}}} (x_{j_{r_{1}}}),(0,\frac{1}{n})\cup(1-\frac{1}{n},1))} \\ &\quad\leq n \biggl( \biggl( \int_{0}^{\frac{1}{n}}+ \int_{\frac{1}{n}}^{1} \biggr)a_{j_{r_{1}}} (x_{j_{r_{1}}}) \bigl\vert a_{j_{r_{1}}}'(x_{j_{r_{1}}}) \bigr\vert ^{p_{j_{r_{1}}}(x)}\,dx \biggr)^{\frac{1}{p_{j_{r_{1}}}^{+}}} \\ &\quad \leq cn^{1-\frac{1}{p_{j_{r_{1}}}^{+}}} \biggl( \biggl( \int_{0}^{\frac{1}{n}}+ \int_{\frac{1}{n}}^{1} \biggr) \bigl\vert a_{j_{r_{1}}}'(x_{j_{r_{1}}}) \bigr\vert ^{p_{j_{r_{1}}}(x)}\,dx \biggr)^{\frac{1}{p_{j_{r_{1}}}^{+}}} \leq c. \end{aligned}
(4.6)

Then, by (4.5)-(4.6), we have

\begin{aligned} &\Biggl\vert \int_{0}^{1}a_{j_{r_{1}}}(x) \bigl( \vert u_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x) - 2} u_{x_{j_{r_{1}}}} - \vert v_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x) - 2}v_{x_{j_{r_{1}}}} \bigr) \\ &\qquad{}\times(u - v)g_{n}(u-v) \Biggl(\prod_{r=1}^{l} \phi_{n,j_{r}} \Biggr)_{x_{j_{r_{1}}}}\,dx_{j_{r_{1}}} \Biggr\vert \\ &\quad\leq c \biggl( \biggl( \int_{0}^{\frac{1}{n}}+ \int_{\frac {1}{n}}^{1} \biggr)a_{j_{r_{1}}}(x_{j_{r_{1}}}) \vert u_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x)}\,dx_{j_{r_{1}}} \biggr)^{\frac{1}{q_{j_{r_{1}}}^{+}}} \\ &\qquad{}+c \biggl( \biggl( \int_{0}^{\frac{1}{n}}+ \int_{\frac {1}{n}}^{1} \biggr)a_{j_{r_{1}}}(x_{j_{r_{1}}}) \vert v_{x_{j_{r_{1}}}} \vert^{p_{j_{r_{1}}}(x)}\,dx_{j_{r_{1}}} \biggr)^{\frac{1}{q_{j_{r_{1}}}^{+}}}, \end{aligned}
(4.7)

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

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

$$\frac{d}{dt} \Vert {u - v} \Vert _{L^{1}(\Omega)} \leq 0.$$

It implies that

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

â€ƒâ–¡

## 5 The stability without the boundary value condition

### Proof of TheoremÂ 2.9

Let u and v be two weak solutions of equation (1.5) with the initial values $$u(x,0)$$ and $$v(x,0)$$, respectively, but without any boundary value condition.

Let $$\Omega_{n}=\{x\in\Omega:\prod_{i=1}^{N}a_{i}(x)>\frac{1}{n}\}$$, and

\begin{aligned} \phi_{n}(x)= \textstyle\begin{cases} 1 & \text{if }x\in\Omega_{n},\\ n\prod_{i=1}^{N}a_{i}(x)& \mbox{if }x\in\Omega\setminus\Omega_{n}. \end{cases}\displaystyle \end{aligned}
(5.1)

We can choose $$\chi_{[\tau,s]}\phi_{n}g_{n}(u - v)$$ as the test function, where $$\chi_{[\tau,s]}$$ is the characteristic function of $$[\tau, s)\subseteq[0, T)$$, then

\begin{aligned} &\int_{\tau}^{s} \int_{{\Omega}} \phi_{n}g_{n}(u - v) \frac{\partial(u - v)}{\partial t}\,dx\,dt \\ &\qquad{}+ \sum_{i=1}^{N} \int_{\tau}^{s} \int_{\Omega} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2} u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x)- 2} v_{x_{i}} \bigr) (u_{x_{i}} - v_{x_{i}})g'_{n}(u-v) \phi_{n}(x)\,dx\,dt \\ &\qquad{}+ \sum_{i=1}^{N} \int_{\tau}^{s} \int_{\Omega} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x)- 2} v_{x_{i}} \bigr) (u_{x_{i}} - v_{x_{i}})g_{n}(u-v) \phi_{n x_{i}}\,dx\,dt \\ &\quad=0. \end{aligned}
(5.2)

As usual, we have

\begin{aligned} \int_{\Omega} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2} v_{x_{i}} \bigr) (u_{x_{i}} - v_{x_{i}})g'_{n}(u-v) \phi_{n}(x)\,dx\geq0. \end{aligned}
(5.3)

At the same time, since $$u_{t}\in L^{2}(Q_{T})$$, using the Lebesgue dominated theorem, we have

\begin{aligned} &\lim_{n\rightarrow\infty} \int_{\tau}^{s} \int_{\Omega}\phi_{n}(x)g_{n}(u - v) \frac{\partial(u - v)}{\partial t}\,dx\,dt \\ &\quad= \int_{\Omega} \vert u-v \vert(x,s)\,dx- \int_{\Omega} \vert u-v \vert(x,\tau)\,dx. \end{aligned}
(5.4)

Thus, we only need to deal with the last term on the left-hand side of (5.2). Obviously, $$\phi_{n x_{i}}=n(\prod_{j=1}^{N} a_{j}(x))_{x_{i}}$$ when $$x\in\Omega\setminus\Omega_{n}$$, in other places, it is identical to zero. By condition (2.15), we have

\begin{aligned} &\biggl\vert \int_{\Omega} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}- 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}- 2}v_{x_{i}} \bigr) \phi_{\eta x_{i}}g_{n}(u-v) \,dx \biggr\vert \\ &\quad=\biggl\vert \int_{\Omega\setminus\Omega_{n}}a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x)- 2}u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x) - 2}v_{x_{i}} \bigr) \phi_{n x_{i}} g_{n}(u-v) \,dx \biggr\vert \\ &\quad\leq n \int_{\Omega\setminus\Omega_{n}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x) - 1}+ \vert v_{x_{i}} \vert^{p_{i}(x)- 1} \bigr)\Biggl\vert \Biggl(\prod_{j=1}^{N} a_{j}(x) \Biggr)_{x_{i}} g_{n}(u-v) \Biggr\vert \,dx \\ &\quad\leq c n \biggl( \int_{\Omega\setminus\Omega_{n}} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x)}+ \vert v_{x_{i}} \vert^{p_{i}(x)} \bigr)\,dx \biggr)^{\frac{1}{q^{+}_{i}}} \Biggl( \int_{\Omega\setminus\Omega_{n}} a_{i}(x) \Biggl\vert \Biggl(\prod _{j=1}^{N} a_{j}(x) \Biggr)_{x_{i}} \Biggr\vert ^{p_{i}(x)}\,dx \Biggr)^{\frac{1}{p^{+}_{i}}} \\ &\quad\leq c \biggl[ \biggl( \int_{\Omega\setminus\Omega_{n}}a_{i}(x) \vert u_{x_{i}} \vert ^{p_{i}(x)}\,dx \biggr)^{\frac{1}{q^{+}_{i}}}+ \biggl( \int_{\Omega \setminus\Omega_{n}}a_{i}(x) \vert v_{x_{i}} \vert ^{p_{i}(x)}\,dx \biggr)^{\frac {1}{q^{+}_{i}}} \biggr] \\ &\qquad{}\times \Biggl[\frac{1}{\eta} \Biggl( \int_{\Omega\setminus\Omega_{n}} a_{i}(x) \Biggl\vert \Biggl(\prod _{j=1}^{N} a_{j}(x) \Biggr)_{x_{i}} \Biggr\vert ^{p_{i}(x)}\,dx \Biggr)^{\frac {1}{p^{+}_{i}}} \Biggr] \\ &\quad\leq c \biggl( \int_{\Omega\setminus\Omega_{n}}a_{i}(x) \vert u_{x_{i}} \vert ^{p_{i}(x)}\,dx \biggr)^{\frac{1}{q^{+}_{i}}}+ c \biggl( \int_{\Omega \setminus\Omega_{n}}a_{i}(x) \vert v_{x_{i}} \vert ^{p_{i}(x)}\,dx \biggr)^{\frac {1}{q^{+}_{i}}}. \end{aligned}
(5.5)

Here $$q_{i}(x)=\frac{p_{i}(x)}{p_{i}(x)-1}$$, $$q^{+}_{i}=\max_{x\in\overline {\Omega}}q_{i}(x)$$.

Then

\begin{aligned} &\lim_{\eta\rightarrow0} \biggl\vert \int_{\tau}^{s} \int_{\Omega} a_{i}(x) \bigl( \vert u_{x_{i}} \vert^{p_{i}(x)- 2} u_{x_{i}} - \vert v_{x_{i}} \vert ^{p_{i}(x)- 2} v_{x_{i}} \bigr) \phi_{n x_{i}} g_{n}(u-v) \,dx\,dt \biggr\vert \\ &\quad \leq c\lim_{\eta\rightarrow0} \biggl[ \biggl( \int_{\Omega\setminus\Omega _{n}}a_{i}(x) \vert u_{x_{i}} \vert ^{p_{i}(x)}\,dx \biggr)^{\frac{1}{q^{+}_{i}}} + \biggl( \int_{\Omega\setminus\Omega _{n}}a_{i}(x) \vert v_{x_{i}} \vert ^{p_{i}(x)}\,dx \biggr)^{\frac{1}{q^{+}_{i}}} \biggr]=0. \end{aligned}
(5.6)

Now, let $$\eta\rightarrow0$$ in (5.2). Then

\begin{aligned} \int_{\Omega}\bigl\vert u(x,s) - v(x,s) \bigr\vert \,dx \leq \int_{\Omega}\bigl\vert u(x,\tau) - v(x,\tau) \bigr\vert \,dx, \end{aligned}
(5.7)

by the arbitrariness of Ï„, we have

$$\int_{\Omega}\bigl\vert u(x,s) - v(x,s)\bigr\vert \,dx \leq \int_{\Omega}\bigl\vert u_{0}(x)- v_{0}(x) \bigr\vert \,dx.$$

â€ƒâ–¡

## 6 Conclusion

Different from the usual evolutionary $$p(x)$$-Laplacian equation, the anisotropic parabolic equation is considered in this paper. Due to the anisotropic character, it admits that there are different diffusion coefficients corresponding to different directions. If in some directions the diffusion coefficients are degenerate on the boundary, while in other directions they are not degenerate, how to give a suitable partial boundary value condition to match the equation is a very interesting problem. The paper first researches this problem. By introducing a new kind of weak solutions, which are based on the weighted variable exponent Sobolev spaces, the existence and stability of the weak solutions are proved in this paper.

## References

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

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

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

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

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

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

7. Zhan, H: The stability of evolutionary $$p(x)$$-Laplacian equation. Bound. Value Probl. 2017, 13 (2017). doi:10.1186/s13661-016-0742-0

8. Nardo, RD, Feo, F: Existence and uniqueness for nonlinear anisotropic elliptic equations. Arch. Math. 102, 141-153 (2014)

9. Mihailescu, M, Pucci, P, Radulescu, V: Eigenvalue problems for anisotropic quasilinear elliptic equations with variable exponent. J. Math. Anal. Appl. 340, 687-698 (2008)

10. Radulescu, V: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal. TMA 121, 336-369 (2015)

11. Di Castro, A: Anisotropic elliptic problems with natural growth terms. Manuscr. Math. 135, 521-543 (2011)

12. Di Castro, A: Local Holder continuity of weak solutions for an anisotropic elliptic equation. Nonlinear Differ. Equ. Appl. 20, 463-486 (2013)

13. El Hamidi, A, VÃ©tois, J: Sharp Sobolev asymptotics for critical anisotropic equations. Arch. Ration. Mech. Anal. 192, 1-26 (2009)

14. VÃ©tois, J: The blow-up of critical anisotropic equations with critical directions. Nonlinear Differ. Equ. Appl. 18, 173-197 (2011)

15. KonatÃ©, I, Ouaro, S: Good Radon measure for anisotropic problems with variable exponent. Electron. J. Differ. Equ. 2016, 221 (2016)

16. RÄƒdulescu, VD, Stancu, I-L: Combined concave-convex effects in anisotropic elliptic equations with variable exponents. Nonlinear Differ. Equ. Appl. 22(3), 391-410 (2015)

17. FragalÃ , I, Gazzola, F, Kawohl, B: Existence and nonexistence results for anisotropic quasilinear equations. Ann. Inst. Henri PoincarÃ©, Anal. Non LinÃ©aire 21, 715-734 (2004)

18. Fu, F, Shan, Y: On the removability of isolated singular points for elliptic equations involving variable exponent. Adv. Nonlinear Anal. 5, 121-132 (2016)

19. Radulescu, V, RepovÅ¡, D: Combined effects in nonlinear problems arising in the study of anisotropic continuous media. Nonlinear Anal. 75, 1524-1530 (2012)

20. Radulescu, V, RepovÅ¡, D: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. CRC Press, Boca Raton (2015)

21. Mihailescu, M, Radulescu, V, RepovÅ¡, D: On a non-homogeneous eigenvalue problem involving a potential: an Orlicz-Sobolev space setting. J. Math. Pures Appl. 93(2), 132-148 (2010)

22. RepovÅ¡, D: Stationary waves of SchrÃ¶dinger-type equations with variable exponent. Anal. Appl. 13, 645-661 (2015)

23. Boureanu, M, Radulescu, V, RepovÅ¡, D: On a $$p(\cdot)$$-biharmonic problem with no-flux boundary condition. Comput. Math. Appl. 72, 2505-2515 (2016)

24. Alsaedi, R: Perturbed subcritical Dirichlet problems with variable exponents. Electron. J. Differ. Equ. 2016, 295 (2016)

25. Li, Z, Yan, B, Gao, W: Existence of solutions to a parabolic $$p(x)$$-Laplace equation with convection term via L-infinity estimates. Electron. J. Differ. Equ. 2015, 46 (2015)

26. Giacomoni, J, Radulescu, V, Warnault, G: Quasilinear parabolic problem with variable exponent: qualitative analysis and stabilization. Commun. Contemp. Math. (in press). doi:10.1142/S0219199717500651

27. Antontsev, S, Shmarev, S: Existence and uniqueness for doubly nonlinear parabolic equations with nonstandard growth conditions. Differ. Equ. Appl. 4(1), 67-94 (2012)

28. Ho, K, Sim, I: On degenerate $$p(x)$$-Laplacian equations involving critical growth with two parameters. Nonlinear Anal. 132, 95-114 (2016)

## Acknowledgements

The paper is supported by NSF of Fujian Province (Grant No. 2015J1092), supported by SF of Xiamen University of Technology (Grant No. XYK201448), China.

## Author information

Authors

### Corresponding author

Correspondence to Huashui Zhan.

### Competing interests

The author declares that they have no competing interests.

### Authorsâ€™ contributions

All authors read and approved the final manuscript.

### Publisherâ€™s Note

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

## Rights and permissions

Reprints and permissions

Zhan, H. The stability of the anisotropic parabolic equation with the variable exponent. Bound Value Probl 2017, 134 (2017). https://doi.org/10.1186/s13661-017-0868-8