Skip to main content

The weak solutions of a nonlinear parabolic equation from two-phase problem


A nonlinear parabolic equation from a two-phase problem is considered in this paper. The existence of weak solutions is proved by the standard parabolically regularized method. Different from the related papers, one of diffusion coefficients in the equation, \(b(x)\), is degenerate on the boundary. Then the Dirichlet boundary value condition may be overdetermined. In order to study the stability of weak solution, how to find a suitable partial boundary value condition is the foremost work. Once such a partial boundary value condition is found, the stability of weak solutions will naturally follow.


In this paper, we study the following initial-boundary value problem:

$$\begin{aligned} &u_{t}= \operatorname{div} \bigl( \vert \nabla u \bigr) \vert ^{p(x) - 2} \nabla u+b(x) \vert \nabla u \vert ^{q(x) - 2}\nabla u ),\quad (x,t) \in Q_{T}= \Omega \times (0,T), \end{aligned}$$
$$\begin{aligned} &u|_{t=0} = u_{0}(x),\quad x\in \Omega, \end{aligned}$$
$$\begin{aligned} &u|_{\Gamma _{T}} = 0,\quad (x,t)\in \Gamma _{T}= \partial \Omega \times (0,T), \end{aligned}$$

where \(1< p(x), q(x)\in C(\overline{\Omega })\), \(b(x)\in C^{1}(\overline{\Omega })\) and satisfies

$$\begin{aligned} b(x)>0,\quad x\in \Omega, \qquad b(x)=0,\quad x\in \partial \Omega. \end{aligned}$$

For any \(h(x)\in C(\overline{\Omega })\), we denote

$$\begin{aligned} \begin{aligned} h^{+} =\max_{\bar{\Omega }}h(x), \qquad h^{-}=\min_{ \bar{\Omega }}h(x), \end{aligned} \end{aligned}$$

as usual.

Let us give a brief review of the related works. We first noticed that the initial-boundary value problem of the equation

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

has been considered in [14, 19, 23], where \(\sigma (x,t)>1\), \(d_{0}> 0, c(x,t) \geq 0\), and \(b_{0}> 0\), Ω R N is a bounded domain with smooth boundary Ω. This model may describe some properties of image restoration in space and time, \(u(x,t)\) represents a recovering image, \(p(x,t)\) reflects the corresponding observed noisy image. The authors of [14] obtained the existence and uniqueness of weak solutions with the assumption that the exponent \(\sigma (x,t)\equiv 0\), \(1< p^{-}< p^{+}<2\). If \(\sigma (x,t)\equiv 0\) and \(b_{0}=0\), the existence of weak solutions was proved in [23] by Galerkin’s method. Next, in [19], they proved the existence and uniqueness of weak solution when \(\sigma (x,t)\in (2,\frac{2p^{+}}{p^{+}-1})\) or \(\sigma (x,t)\in (1,2)\), \(1< p^{-}< p^{+}\leq 1+\sqrt{2}\). Moreover, they applied energy estimates and Gronwall’s inequality to obtain the extinction of solutions when the exponents \(p^{-}\) and \(p^{+}\) belong to different intervals.

Secondly, the nonlinear parabolic equation from the double phase problems

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

has been studied in [610] and [16, 17, 26] in recent years, where the diffusion coefficients \(a(x)\) and \(b(x)\) satisfy

$$\begin{aligned} a(x)+b(x)>0,\quad x\in \overline{\Omega }. \end{aligned}$$

If \(f(x,t)=0\), the author of [6] studied the existence of weak solutions to equation (1.6) by the energy functional method. If \(f(x,t)\in L^{r}(0,T;L^{s}(\Omega ))\) with some given positive constants r and s, by defining the local parabolic potential, the author of [12] obtained the local boundedness of weak solutions. In addition, there are many papers that worked on the double phase elliptic equations studied in the framework of the Musielak–Orlicz spaces, see [5, 13, 15, 20, 21, 27, 30].

In this paper, we use the parabolically regularized method to prove the existence of the weak solution to equation (1.1). If \(p(x)\geq q(x)\), it is not difficult to show that the weak solution u is in \(L^{\infty }(0,T; W_{0}^{1,p(x)}(\Omega ))\). Then, based on the usual Dirichlet boundary value condition (1.3), the stability of weak solutions can be obtained in a simple way. So, in this paper, we assume that \(p(x)\leq q(x)\). Since \(b(x)\) satisfies (1.4), in general, \(u\in L^{\infty }(0,T; W_{0}^{1,q(x)}(\Omega ))\) is impossible. The greatest contribution of this paper lies in that, instead of using the usual boundary value condition (1.3), it proves the stability of weak solutions only under a partial boundary value condition

$$\begin{aligned} u|_{\Gamma _{1T}} = 0,\quad (x,t)\in \Gamma _{1T}= \Sigma _{1} \times (0,T), \end{aligned}$$

and the uniqueness follows naturally. Here, \(\Sigma _{1}\subset \partial \Omega \) is a relative open subset and will be specified below.

The method used in this paper may be generalized to study the well-posedness problem of the following double phase equation with the variable exponents:

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

We are ready to study this problem in the future. For a general degenerate parabolic equation, the well-posedness of weak solutions based on a partial boundary value condition has been studied for a long time, relevant literature can be referred to [4, 22, 28, 29, 3137].

The definitions of weak solution and the main results

We assume that \(r(x)\in C(\overline{\Omega })\),

$$\begin{aligned} \begin{aligned} 1< r^{-}\leq r(x),\quad \forall x\in \Omega, \end{aligned} \end{aligned}$$

and quote some function spaces with variable exponents.

1. \(L^{r(x)}(\Omega )\) space

$$\begin{aligned} \begin{aligned} &L^{r(x)}(\Omega ) = \biggl\{ u: u\text{ is a measurable real-valued function}, \int _{\Omega } \bigl\vert u(x) \bigr\vert ^{r(x)} \,dx < \infty \biggr\} \end{aligned} \end{aligned}$$

is equipped with the Luxemburg norm

$$\begin{aligned} \Vert u \Vert _{L^{r(x)}(\Omega )} = \inf \biggl\{ \lambda >0: \int _{\Omega } \biggl\vert \frac{u(x)}{\lambda } \biggr\vert ^{r(x)}\,dx\leq 1 \biggr\} , \end{aligned}$$

which is a separable, uniformly convex Banach space.

2. \(W^{1,r(x)}(\Omega )\) space

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

is endowed with the norm

$$\begin{aligned} \begin{aligned} \Vert u \Vert _{W^{1,r(x)}}= \Vert u \Vert _{L^{r(x)}(\Omega )} + \Vert \nabla u \Vert _{L^{r(x)}(\Omega )},\quad \forall u\in W^{1,r(x)}(\Omega ). \end{aligned} \end{aligned}$$

3. \(W_{0}^{1,r(x)}(\Omega )\) is the closure of \(C^{\infty }_{0}(\Omega )\) in \(W^{1,r(x)}(\Omega )\).

Let us recall some properties of the function spaces \(W^{1,r(x)}(\Omega )\) according to [18, 24].

Lemma 2.1

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

(ii) \(r(x)\)-Hölder’s inequality. Let \(r_{1}(x)\) and \(r_{2}(x)\) be real functions with \(\frac{1}{r_{1}(x)}+\frac{1}{r_{2}(x)} = 1\) and \(r_{1}(x) > 1\). Then the conjugate space of \(L^{r_{1}(x)}(\Omega )\) is \(L^{r_{2}(x)}(\Omega )\). For any \(u \in L^{r_{1}(x)}(\Omega )\) and \(v \in L^{r_{2}(x)}(\Omega )\), there is

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


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

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

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

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

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

Besides this trivial embedding, it would be useful to know finer estimates of the type of Sobolev inequality.

(vi) \(r(x)\)-Poincaré inequality. If \(r(x)\in C(\overline{\Omega })\), then there is a constant \(C >0\) such that

$$\begin{aligned} \Vert u \Vert _{L^{r(x)}(\Omega )} \leq C \Vert \nabla u \Vert _{L^{r(x)}(\Omega )}, \quad\forall u\in W^{1,r(x)}_{0}(\Omega ). \end{aligned}$$

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

But Zhikov [38] pointed out that

W 0 1 , r ( x ) ( Ω ) { v W 0 1 , r ( x ) ( Ω ) v | Ω = 0 } = W 1 , p ( x ) ( Ω ) ,

unless \(r(x)\in C_{\log }(\Omega )\). Here, \(r(x)\in C_{\log }(\Omega )\) means that \(r(x)\) is a logarithmic Hölder continuity function, i.e., it satisfies

$$\begin{aligned} \bigl\vert r(x)-r(y) \bigr\vert \leq \omega \bigl( \vert x-y \vert \bigr), \quad\forall x,y\in Q_{T}, \vert x-y \vert < \frac{1}{2}, \end{aligned}$$

where \(\omega (s)\) is with the property

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

Let \(\rho (x)\) be the Friedrichs mollifying kernel

$$\begin{aligned} \rho (x) = k \textstyle\begin{cases} \exp (\frac{-1}{1- \vert x \vert ^{2}} ),& \vert x \vert < 1, \\ 0,& \vert x \vert \geq 1, \end{cases}\displaystyle \end{aligned}$$

where k is a constant such that R N ρ(x)dx=1. Denote that \(\rho _{\varepsilon }(x)=\varepsilon ^{-N}\rho ( \frac{x}{\varepsilon } )\). For \(f\in W_{0}^{1,p(x)}(\Omega )\), denote that

f ε (x)=f ρ ε = R N f(y) ρ ε (yx)dy.

Lemma 2.2

Let \(\Omega '\subset \subset \Omega \). If \(r(x)\in C_{\log }(\Omega )\), then for every \(f\in L^{r(x)}(\Omega )\),

$$\begin{aligned} &\Vert f_{\varepsilon } \Vert _{L^{r(x)}(\Omega ')}\leq c \bigl( \Vert f \Vert _{L^{r(x)}( \Omega )}+ \Vert f \Vert _{L^{1}(\Omega )} \bigr), \\ &\Vert f-f_{\varepsilon } \Vert _{L^{r(x)}(\Omega ')}\rightarrow 0,\quad \textit{as } \varepsilon \rightarrow 0. \end{aligned}$$

Lemma 2.3

If \(r(x)\in C_{\log }(\Omega )\), then the set \(C_{0}^{\infty }(\Omega )\) is dense in W 1 , r ( x ) (Ω).

These two lemmas can be found in [2]. Certainly, for a constant \(p\geq 1\), it is well known that, if \(u\in L^{p}(\Omega )\), then \(\rho _{\varepsilon }\ast u\in L^{p}(\Omega )\) and

$$\begin{aligned} \Vert u-\rho _{\varepsilon }\ast u \Vert _{L^{p}(\Omega )}\rightarrow 0, \quad \text{as } \varepsilon \rightarrow 0. \end{aligned}$$

Let us give the definition of weak solution.

Definition 2.4

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

$$\begin{aligned} u_{t}\in L^{2}(Q_{T}),\qquad b(x){ \vert { \nabla u} \vert ^{q(x)}} \in {L^{1}}({Q_{T}}),\quad u\in L^{1} \bigl(0,T; W_{0}^{1,p(x)}(\Omega ) \bigr), \end{aligned}$$

and for any function \(\varphi \in L^{\infty } (0,T; W_{0}^{1,p(x)}(\Omega ) ) \cap L^{\infty } (0,T; W_{\mathrm{loc}}^{1,q(x)}(\Omega ) )\),

$$\begin{aligned} \int _{\tau }^{s} \int _{\Omega } \bigl[u_{t}\varphi + \vert {\nabla u} \vert ^{p(x) - 2}\nabla u\nabla \varphi + b(x) \vert \nabla u \vert ^{q(x) - 2}\nabla u \nabla \varphi \bigr]\,dx\,dt=0,\quad \forall \tau,s \in [0,T], \end{aligned}$$

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

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

Throughout this paper, we assume that \(q(x), p(x)\) both are logarithmic Hölder continuous functions and satisfy

$$\begin{aligned} q(x)\geq q^{-}\geq p^{+}\geq p(x)\geq p^{-}>1. \end{aligned}$$

The main results are the following theorems.

Theorem 2.5

If \(p(x)\) and \(q(x)\) are \(C^{1}(\overline{\Omega })\) functions, \(q(x)\geq q^{-}\geq 2\),

$$\begin{aligned} \frac{2N}{N+2}\leq p^{-}\leq p(x)\leq q(x)< p(x)+ \frac{4p^{-}}{2N+p^{-}(N+2)} \end{aligned}$$

and \(0\leq u_{0}(x)\in L^{\infty }(\Omega )\) satisfies

$$\begin{aligned} b(x) \vert \nabla u_{0} \vert ^{q(x)}\in L^{1}( \Omega ),\qquad u_{0}(x)\in W_{0}^{1,q^{+}}( \Omega ), \end{aligned}$$

then equation (1.1) with the initial boundary values (1.2)(1.3) has a solution \(u(x,t)\).

Theorem 2.6

If \(u(x,t)\) and \(v(x,t)\) are two weak solutions with the same homogeneous boundary value (1.3) and with different initial values \(u_{0}(x), v_{0}(x)\) respectively, then there holds

$$\begin{aligned} \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). \end{aligned}$$

The unusual thing is that, since \(b(x)\) satisfies (1.4), the stability of weak solutions can be proved under a partial boundary value condition (1.8) in which \(\Sigma _{1}\) has the form

$$\begin{aligned} \Sigma _{1}= \biggl\{ x\in \partial \Omega: b(x) \biggl\vert \frac{\nabla b}{b(x)} \biggr\vert ^{p(x)}\neq 0 \biggr\} . \end{aligned}$$

For example, \(d(x)=\operatorname{dist}(x,\partial \Omega )\), \(b(x)=d^{\alpha }\),

$$\begin{aligned} b(x) \biggl\vert \frac{\nabla b}{b(x)} \biggr\vert ^{p(x)}= \vert \alpha \nabla d \vert ^{p(x)}\,d^{ \alpha -p(x)}= \vert \alpha \vert ^{p(x)}d^{\alpha -p(x)}, \quad x\in \partial \Omega, \end{aligned}$$

thus, when \(\alpha \geq p^{+}\), \(\Sigma _{1}=\emptyset \); when \(\alpha < p^{-}\), \(\Sigma _{1}=\partial \Omega \) is the entire boundary. Moreover, if there is a subset \(\Sigma _{11}\subset \partial \Omega \) such that \(p(x)=\alpha, x\in \Sigma _{11}\), and \(p(x)<\alpha, x\in \partial \Omega \setminus \Sigma _{11}\), then the partial boundary appearing in (1.8)

$$\begin{aligned} \Sigma _{1}=\Sigma _{11}= \bigl\{ x\in \partial \Omega: p(x)= \alpha \bigr\} \end{aligned}$$

is just a part of Ω.

We denote that

$$\begin{aligned} \Omega _{\eta }= \bigl\{ x\in \Omega: b(x)>\eta \bigr\} . \end{aligned}$$

Theorem 2.7

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, with the same partial boundary value condition (1.8) and \(\Sigma _{1}\) given by (2.7). If

$$\begin{aligned} \frac{1}{\eta } \biggl( \int _{\Omega \setminus \Omega _{\eta }} b(x) \bigl\vert \nabla b(x) \bigr\vert ^{p(x)}\,dx \biggr)^{\frac{1}{q^{+}}}\leq c, \end{aligned}$$

then the stability of (2.6) is true.

The proof of Theorem 2.5

Let \(q(x)\geq q^{-}\geq p^{+}\geq p(x)\). Consider the following regularized problem:

$$\begin{aligned} & u_{\varepsilon t}=\operatorname{div} \bigl( \bigl(b(x)+ \varepsilon \bigr) \bigl( \vert \nabla u_{\varepsilon } \vert ^{2}+ \varepsilon \bigr)^{ \frac{q(x) - 2}{2}}\nabla {u_{\varepsilon }}+ \vert \nabla u_{\varepsilon } \vert ^{p(x)-2}\nabla u_{\varepsilon } \bigr),\quad (x,t) \in {Q_{T}}, \end{aligned}$$
$$\begin{aligned} &{u_{\varepsilon }}(x,t) = 0,\quad (x,t) \in \Gamma _{T}, \end{aligned}$$
$$\begin{aligned} &{u_{\varepsilon }}(x,0) = {u_{0\varepsilon }}(x), \quad x\in \Omega, \end{aligned}$$

where \({u_{0\varepsilon }} \in {C^{\infty }_{0} }(\Omega )\) and \((b(x)+\varepsilon ){ \vert {\nabla {u_{0\varepsilon }}} \vert ^{q(x)}} \in {L^{1}}(\Omega )\) are uniformly bounded, and \({u_{0\varepsilon }}\) converges to \(u_{0}\) in \(W_{0}^{1,q^{+}}(\Omega )\) and \({ \Vert {{u_{0\varepsilon }}(x)} \Vert _{{L^{\infty }}}} \le { \Vert {{u_{0}}(x)} \Vert _{{L^{\infty }}}}\).

If \(p(x)\) and \(q(x)\) are with logarithmic Hölder continuous property, similar to [1, 3, 19, 23], by constructing suitable function spaces and applying Galerkin’s method, we can prove that there is a weak solution to problem (3.1)–(3.3), \(u_{\varepsilon }\in L^{p^{-}} (0,T; W_{0}^{1,p(x)}(\Omega ) )\cap L^{q^{-}} (0,T; W_{0}^{1,q(x)}(\Omega ) )\), which satisfies

$$\begin{aligned} \Vert u_{\varepsilon } \Vert _{L^{\infty }(Q_{T})} \leqslant c_{1}. \end{aligned}$$

In what follows, we shall show that the constant \(c_{1}\) in (3.4) is independent of ε.

Lemma 3.1

Assume that \(a,b,\lambda \) are positive constants, where \(\lambda > \frac{1}{2}+\frac{b}{a}\). Define

$$\begin{aligned} \varphi (s)= \textstyle\begin{cases} e^{\lambda s-1} & s \geqslant 0, \\ -e^{-\lambda s}+1& s \leqslant 0. \end{cases}\displaystyle \end{aligned}$$

Then the following properties hold:

1. For any sR, we have

$$\begin{aligned} \bigl\vert \varphi (s) \bigr\vert \geqslant \lambda \vert s \vert , \qquad a \varphi ^{\prime }(s) - b \bigl\vert \varphi (s) \bigr\vert \geqslant \frac{a}{2}e^{\lambda \vert s \vert }. \end{aligned}$$

2. For any \(s\geq d\), there hold constants \(d\geq 0\), \(M>1\), we have

$$\begin{aligned} \varphi ^{\prime }(s) \leqslant \lambda M \biggl[\varphi \biggl( \frac{s}{p^{-}} \biggr) \biggr]^{p^{-}}, \qquad\varphi (s) \leqslant M \biggl[\varphi \biggl(\frac{s}{p^{-}} \biggr) \biggr]^{p^{-}}. \end{aligned}$$

3. Let \(\Phi (s)=\int _{0}^{s}\varphi (\sigma )\,d\sigma \). For any \(s \geq 0\), if \(p^{-}>2\), there holds constant \(c^{\ast }>0\), we have

$$\begin{aligned} \Phi (s)\geqslant c^{\ast } \biggl[\varphi \biggl( \frac{s}{p^{-}} \biggr) \biggr]^{p^{-}}. \end{aligned}$$

If \(1< p^{-}<2\), then there exist \(d\geq 0\) and \(c^{*}=c^{*}(p^{-},d)\) such that

$$\begin{aligned} \textstyle\begin{cases} \Phi (s)\geq c^{*} [\varphi (\frac{s}{p^{-}} ) ]^{p^{-}}, & \forall s\geq d, \\ \Phi (s)\geq c^{*} [\varphi (\frac{s}{p^{-}} ) ]^{2}, & \forall 0\leq s\leq d. \end{cases}\displaystyle \end{aligned}$$

We introduce a function space

$$\begin{aligned} V= \bigl\{ v\in L^{p^{-}} \bigl(0,T;W_{0}^{1,p(x)}(\Omega ) \bigr): \vert \nabla v \vert \in L^{p(x)}(Q_{T}) \bigr\} , \end{aligned}$$

endowed with the norm \(\|u\|_{V}=|\nabla u|_{L^{p(x)}(Q_{T})}\), or equivalent norm \(\|u\|_{V}= |u|_{L^{p^{-}}(0,T;W_{0}^{1,p(x)}(\Omega ))}+|\nabla u|_{L^{p(x)}(Q_{T})}\), and the equivalence follows from the \(p(x)\)-Poincare inequality. Then V is a separable and reflexive Banach space. We denote by \(V^{*}\) its dual space.

Lemma 3.2

Assume that π:RR is a piecewise function in \(C^{1}\) satisfying \(\pi (0)=0\), and out of a bicompact set \(\pi ^{\prime }=0\). Let \(\Pi (s)=\int _{0}^{s}\pi (\sigma )\,d\sigma \). If \(u\in V\) and \(u_{t} \in V^{*} + L^{1}(Q_{T})\), we have

$$\begin{aligned} \begin{aligned} \int _{0}^{T}\bigl\langle u_{t},\pi (u)\bigr\rangle dt:&=\bigl\langle u_{t},\pi (u)\bigr\rangle _{V^{*}+L^{1}(Q_{T}),V \cap L^{\infty }(Q_{T})} \\ &= \int _{\Omega }\Pi \bigl(u(T) \bigr)\,dx- \int _{\Omega }\Pi \bigl(u(0) \bigr)\,dx. \end{aligned} \end{aligned}$$

Lemmas 3.1 and 3.2 can be found in [25].

Lemma 3.3

Assume that \(u_{\varepsilon }\in V\cap L^{\infty }(Q_{T})\) is a weak solution of (3.1), then there is a constant c (independent of ε ) that depends on \(p^{-},N,T\) Ω, let

$$\begin{aligned} { \Vert u_{\varepsilon } \Vert _{{L^{\infty }}({Q_{T}})}} \leqslant { \Vert {{u_{0}}} \Vert _{{L^{\infty }}(\Omega )}} + c. \end{aligned}$$


In the proof, we simply denote that \(u_{\varepsilon }=u\). If k is a real number and \(\Vert u_{0} \Vert _{L^{\infty }(\Omega )}\leq k\), function (3.5) is defined in φ. Define

$$\begin{aligned} G_{k}(u)= \textstyle\begin{cases} u-k, & u > k, \\ u+k,& u < -k, \\ 0, & \vert u \vert \leqslant k. \end{cases}\displaystyle \end{aligned}$$

We can see \(u\in V\cap L^{\infty }(Q_{T})\), so \(\varphi (G_{k}(u))\in V \cap L^{\infty }(Q_{T})\). So, for any \(\tau \in [0,T]\), we can choose \(v= \varphi (G_{k}(u))\chi _{[0,\tau ]}\) as a test function (where \(\chi _{A}\) is an eigenfunction on the set A ). At the same time, we know that \(v_{x_{i}}=\chi _{[0,\tau ]}\chi \{\vert u\vert >k\} \varphi ^{\prime }(G_{k}(u))u_{x_{i}}\), and \(\nabla v=\chi _{[0,\tau ]} \chi \{\vert u\vert >k\}\varphi ^{\prime }(G_{k}(u))\nabla u\), so we have

$$\begin{aligned} \begin{aligned} & \int _{0}^{\tau }\bigl\langle u_{t},\varphi \bigl(G_{k}(u) \bigr)\bigr\rangle \,dt \\ &\qquad{}+ \int _{0}^{\tau } \int _{\Omega } \bigl[ \bigl(b(x)+\varepsilon \bigr) \bigl( \vert \nabla u \vert ^{2}+\varepsilon \bigr)^{\frac{q(x) - 2}{2}} \vert \nabla {u} \vert ^{2}\\ &\qquad{}+ \vert \nabla u \vert ^{p(x)} \bigr] \varphi ^{\prime } \bigl(G_{k}(u) \bigr)\chi \bigl\{ \vert u \vert >k \bigr\} \,dx\,dt \\ &\quad=0. \end{aligned} \end{aligned}$$

Let \(A_{k}(t)=\{x\in \Omega:\vert u(x,t)\vert >k\}\) depend on k, we have

$$\begin{aligned} \begin{aligned} \int _{0}^{\tau }\bigl\langle u_{t},\varphi \bigl(G_{k}(u) \bigr)\bigr\rangle \, dt&= \int _{\Omega }\Phi \bigl(G_{k}(u) \bigr) (\tau )\,dx - \int _{\Omega }\Phi \bigl(G_{k}(u_{0}) \bigr) \,dx \\ &= \int _{A_{k}(\tau )}\Phi \bigl(G_{k}(u) \bigr) (\tau )\,dx - \int _{A_{k}(0)}\Phi \bigl(G_{k}(u_{0}) \bigr) \,dx \\ &= \int _{A_{k}(\tau )} \Phi \bigl(G_{k}(u) \bigr) (\tau )\,dx. \end{aligned} \end{aligned}$$

Substituting (3.12) into (3.11), we can deduce that

$$\begin{aligned} \begin{aligned} & \int _{A_{k}(\tau )}\Phi \bigl(G_{k}(u) \bigr) (\tau )\,dx + \int _{0}^{\tau } \int _{A_{k}(t)} \vert \nabla u \vert ^{p(x)}\varphi ^{\prime }\,dx\,dt \\ &\quad\leq \int _{A_{k}(\tau )}\Phi \bigl(G_{k}(u) \bigr) (\tau )\,dx\\ &\qquad{} + \int _{0}^{\tau } \int _{A_{k}(t)} \bigl[ \bigl(b(x)+\varepsilon \bigr) \bigl( \vert \nabla u \vert ^{2}+ \varepsilon \bigr)^{\frac{q(x) - 2}{2}} \vert \nabla {u} \vert ^{2}+ \vert \nabla u \vert ^{p(x)} \bigr]\varphi ^{\prime }\,dx\,dt \\ &\quad =0, \end{aligned} \end{aligned}$$

which implies

$$\begin{aligned} \int _{A_{k}(\tau )}\Phi \bigl(G_{k}(u) \bigr) (\tau ) \,dx=0,\quad \forall \tau \in [0,T), \end{aligned}$$

so the measure \(\mu (A_{k}(\tau ))=0\), and the conclusion follows naturally. □

Lemma 3.3 implies that one can choose a subsequence of \(u_{\varepsilon }\) (we still denote it as \(u_{\varepsilon }\)) such that

$$\begin{aligned} {u_{\varepsilon }} \rightharpoonup * u,\text{ weakly star in } {L^{\infty }}({Q_{T}}), \end{aligned}$$

where \(u(x,t) \in {L^{\infty }}({Q_{T}})\). Now, we can show that \(u(x,t)\) is a weak solution of equation (1.1) with the initial value (1.2) in the sense of Definition 2.4.

Proof of Theorem 2.5

First, for any \(t\in [0,T)\), we multiply (3.1) by \(u_{\varepsilon }\) to obtain

$$\begin{aligned} \begin{aligned} &\frac{1}{2} \int _{\Omega }u_{\varepsilon }^{2}\,dx+ \iint _{{Q_{T}}} \bigl[ \vert \nabla u_{\varepsilon } \vert ^{p(x)-2} \nabla u_{\varepsilon }\nabla u_{ \varepsilon } \\ &\qquad{}+ \bigl(b(x)+ \varepsilon \bigr) \bigl( \vert \nabla u_{\varepsilon } \vert ^{2}+ \varepsilon \bigr)^{\frac{q(x)-2}{2}} \vert \nabla u_{\varepsilon } \vert ^{2} \bigr]\,dx\,dt \\ &\quad=\frac{1}{2} \int _{\Omega }u_{0\varepsilon }^{2}\,dx, \end{aligned} \end{aligned}$$

and so we have

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

Secondly, by condition (2.4),

$$\begin{aligned} \frac{2N}{N+2}\leq p^{-}\leq p(x)\leq q(x)< p(x)+ \frac{4p^{-}}{2N+p^{-}(N+2)}. \end{aligned}$$

Bögelein, Duzaar, and Marcellini [911] proved

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

where the constant c is independent of ε.

By (3.4), (3.14), (3.16), (3.17), and (3.18), there exist a function u and two n-dimensional vectors \(\overrightarrow{\zeta }= ({\zeta _{1}}, \ldots,{\zeta _{N}})\) and \(\overrightarrow{\xi }= ({\xi _{1}}, \ldots,{\xi _{N}})\) which satisfy that

$$\begin{aligned} u \in L^{\infty }(Q_{T}),\qquad \vert \zeta _{i} \vert \in L^{1} \bigl(0,T; L^{ \frac{p(x)}{p(x) - 1}}(\Omega ) \bigr),\qquad \vert \xi _{i} \vert \in L^{1} \bigl(0,T; L^{ \frac{q(x)}{q(x)- 1}}(\Omega ) \bigr), \end{aligned}$$

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

$$\begin{aligned} &{u_{\varepsilon t}} \rightharpoonup u_{t}, \quad\text{in } {L^{2}(Q_{T})}, \\ &\vert \nabla u_{\varepsilon } \vert ^{p(x)- 2} \nabla u \rightharpoonup \overrightarrow{\zeta }, \quad\text{in } L^{1} \bigl(0,T; L^{\frac{p(x)}{p(x) - 1}}(\Omega ) \bigr), \\ &b(x) \vert \nabla u_{\varepsilon } \vert ^{q(x)-2} \nabla u_{ \varepsilon } \rightharpoonup \overrightarrow{\xi }, \quad \text{in } L^{1} \bigl(0,T; L^{\frac{q(x)}{q(x) - 1}}(\Omega ) \bigr). \end{aligned}$$

In order to prove that u satisfies equation (2.1), we have to show that

$$\begin{aligned} \begin{aligned} & \iint _{Q_{T}} \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla \varphi _{1} \,dx\,dt+ \iint _{Q_{T}} b(x) \vert \nabla u \vert ^{q(x) - 2} \nabla u\nabla \varphi _{1} \,dx\,dt \\ &\quad= \iint _{Q_{T}}(\overrightarrow{\zeta }+\overrightarrow{\xi } ) \cdot \nabla \varphi _{1} \,dx\,dt \end{aligned} \end{aligned}$$

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

In the first place, for any \(\varphi \in C_{0}^{1} ({Q_{T}})\), we have

$$\begin{aligned} \begin{aligned} &\iint _{{Q_{T}}} \bigl[u_{\varepsilon t}\varphi + \bigl(b(x)+ \varepsilon \bigr) \bigl( \vert \nabla u_{\varepsilon } \vert ^{2}+\varepsilon \bigr)^{\frac{q(x)-2}{2}}\nabla {u_{\varepsilon }} \nabla \varphi\\ &\quad{} + \vert \nabla u_{\varepsilon } \vert ^{p(x)-2}\nabla u_{\varepsilon }\nabla \varphi \bigr] \,dx\,dt=0. \end{aligned} \end{aligned}$$

Letting \(\varepsilon \rightarrow 0\) in (3.20) yields

$$\begin{aligned} \iint _{Q_{T}} \Biggl[\frac{\partial u}{\partial t}\varphi +\sum _{i=1}^{N}( \zeta _{i}+\xi _{i})\varphi _{x_{i}} \Biggr]\,dx\,dt = 0. \end{aligned}$$

In the second place, let \(0 \leqslant \psi \in C_{0}^{\infty }({Q_{T}})\) and \(\psi =1\) in \(supp\varphi \), \(v \in {L^{\infty }}({Q_{T}}), b(x) \vert \nabla v \vert ^{q(x)} \in {L^{1}}({Q_{T}})\), \(\vert \nabla v \vert ^{p(x)} \in {L^{1}}({Q_{T}})\).

If we choose \(\psi {u_{\varepsilon }}\) as the test function of equation (3.1), then

$$\begin{aligned} \begin{aligned} &\frac{1}{2} \iint _{{Q_{T}}} {\psi _{t}} \vert u_{\varepsilon } \vert ^{2} \,dx\,dt - \iint _{{Q_{T}}} \bigl(b(x)+\varepsilon \bigr){u_{\varepsilon }} \bigl( \vert \nabla u_{\varepsilon } \vert ^{2}+\varepsilon \bigr)^{\frac{q(x)-2}{2}} \nabla {u_{\varepsilon }}\nabla \psi \,dx\,dt \\ &\qquad{} - \iint _{{Q_{T}}} {u_{\varepsilon }} \vert \nabla u_{\varepsilon } \vert ^{p(x)-2} \nabla {u_{\varepsilon }} \nabla \psi \,dx\,dt \\ &\quad= \iint _{{Q_{T}}} {\psi \bigl(b(x)+\varepsilon \bigr) \bigl( \vert \nabla u_{\varepsilon } \vert ^{2}+ \varepsilon \bigr)^{\frac{q(x)-2}{2}}} \vert \nabla {u_{\varepsilon }} \vert ^{2} \,dx\,dt + \iint _{{Q_{T}}} \psi \vert \nabla u_{\varepsilon } \vert ^{p(x)}\,dx \,dt \\ &\quad\geq \iint _{{Q_{T}}} \psi \bigl(b(x)+\varepsilon \bigr) \vert \nabla u_{\varepsilon } \vert ^{q(x)}\,dx\,dt + \iint _{{Q_{T}}} \psi \vert \nabla u_{\varepsilon } \vert ^{p(x)}\,dx \,dt. \end{aligned} \end{aligned}$$

By the facts

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


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

from (3.22) we can deduce that

$$\begin{aligned} \begin{aligned} &\frac{1}{2} \iint _{{Q_{T}}} {\psi _{t}} \vert u_{\varepsilon } \vert ^{2} \,dx\,dt - \iint _{{Q_{T}}} \bigl(b(x)+\varepsilon \bigr) {u_{\varepsilon }} \bigl( \vert \nabla u_{\varepsilon } \vert ^{2}+\varepsilon \bigr)^{\frac{q(x)-2}{2}} \nabla {u_{\varepsilon }}\nabla \psi \,dx\,dt \\ &\qquad{} - \iint _{{Q_{T}}} {u_{\varepsilon }} \vert \nabla u_{\varepsilon } \vert ^{p(x)-2} \nabla {u_{\varepsilon }} \nabla \psi \,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \bigl(b(x)+\varepsilon \bigr) \vert \nabla v \vert ^{q(x)-2}\nabla v \nabla (u_{\varepsilon }-v)\,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \bigl(b(x)+\varepsilon \bigr) \vert \nabla u_{\varepsilon } \vert ^{q(x)-2} \nabla u_{\varepsilon }\nabla v \,dx \,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \vert \nabla v \vert ^{p(x)-2}\nabla v\nabla (u_{ \varepsilon }-v)\,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \vert \nabla u_{\varepsilon } \vert ^{p(x)-2} \nabla u_{ \varepsilon }\nabla v\,dx\,dt \\ &\quad\geq 0. \end{aligned} \end{aligned}$$

Now, since

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

we have

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

Let \(\varepsilon \rightarrow 0\) in (3.23). By (3.24) and using the Hölder inequality, we can deduce that

$$\begin{aligned} \begin{aligned} &\frac{1}{2} \iint _{{Q_{T}}} {\psi _{t}} \vert u \vert ^{2}\,dx\,dt - \iint _{{Q_{T}}} {u}\overrightarrow{\xi }\nabla \psi \,dx\,dt \\ &\qquad{} - \iint _{{Q_{T}}} {u}\overrightarrow{\zeta } \nabla \psi \,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi b(x) \vert \nabla v \vert ^{q(x)-2} \nabla v\nabla (u-v)\,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \overrightarrow{\xi }\nabla v \,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \vert \nabla v \vert ^{p(x)-2}\nabla v\nabla (u-v) \,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}}\psi \overrightarrow{\zeta }\nabla v\,dx\,dt \\ &\quad\geq 0. \end{aligned} \end{aligned}$$

In the third place, let \(\varphi =\psi u\) in (3.21). We get

$$\begin{aligned} \iint _{Q_{T}} \biggl[-\frac{1}{2}u^{2}\varphi _{t}+( \overrightarrow{\zeta }+\overrightarrow{\xi }) (u\nabla \psi + \nabla u \psi ) \biggr]\,dx\,dt = 0. \end{aligned}$$

Combining (3.25) with (3.26), we have

$$\begin{aligned} \begin{aligned} & \iint _{{Q_{T}}} \psi \bigl[\overrightarrow{\zeta }( \nabla u- \nabla v)+\overrightarrow{\xi }(\nabla u-\nabla v) \bigr]\,dx\,dt \\ &\qquad{}- \iint _{{Q_{T}}} \psi \bigl(b(x) \vert {\nabla v} \vert ^{q(x) - 2}\nabla v+ \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr) ( \nabla u - \nabla v)\,dx\,dt \\ &\quad\geq 0. \end{aligned} \end{aligned}$$

At last, when we choose \(v=u- \lambda \varphi _{1},\lambda >0\), we have

$$\begin{aligned} \begin{aligned} & \iint _{Q_{T}}\psi \bigl(\overrightarrow{\zeta }+ \overrightarrow{\xi }- \bigl\vert \nabla (u - \lambda \varphi _{1}) \bigr\vert ^{p(x) - 2} \nabla (u - \lambda \varphi _{1})\\ &\qquad{}-b(x) \bigl\vert \nabla (u - \lambda \varphi _{1} ) \bigr\vert ^{p(x) - 2} \bigr) \cdot \nabla \varphi _{1} \,dx\,dt \\ &\quad= 0. \end{aligned} \end{aligned}$$

If \(\lambda \rightarrow 0\), then

$$\begin{aligned} \iint _{{Q_{T}}}\psi \bigl(\overrightarrow{\zeta }+ \overrightarrow{\xi }- \vert \nabla u \vert ^{p(x) - 2}\nabla u-b(x) \vert \nabla u \vert ^{p(x) - 2}\nabla u \bigr) \cdot \nabla \varphi _{1} \,dx\,dt \geq 0. \end{aligned}$$

Simultaneously, if we choose \(v=u- \lambda \varphi _{1},\lambda <0\), then \(\lambda \rightarrow 0\) similarly yields

$$\begin{aligned} \iint _{{Q_{T}}}\psi \bigl(\overrightarrow{\zeta }+ \overrightarrow{\xi }- \vert \nabla u \vert ^{p(x) - 2} \nabla u-b(x) \vert \nabla u \vert ^{p(x) - 2}\nabla u \bigr) \cdot \nabla \varphi _{1} \,dx\,dt \leq 0. \end{aligned}$$


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

Since \(\psi = 1\) on \(\operatorname{supp}\varphi _{1}\), namely we know that (3.19) is true, for any \(\varphi _{1} \in C_{0}^{1} ({Q_{T}})\), we have

$$\begin{aligned} \begin{aligned} & \iint _{Q_{T}} \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla \varphi _{1} \,dx\,dt+ \iint _{Q_{T}} b(x) \vert \nabla u \vert ^{q(x) - 2} \nabla u\nabla \varphi _{1} \,dx\,dt \\ &\quad= \iint _{Q_{T}}(\overrightarrow{\zeta }+\overrightarrow{\xi } ) \cdot \nabla \varphi _{1} \,dx\,dt. \end{aligned} \end{aligned}$$

Now, if

$$\begin{aligned} \varphi _{2} \in L^{\infty } \bigl(0,T; W_{0}^{1,p(x)}( \Omega ) \bigr)\cap L^{\infty } \bigl(0,T; W_{\mathrm{loc}}^{1,q(x)}( \Omega ) \bigr), \end{aligned}$$


$$\begin{aligned} \varphi _{2} \in L^{r} \bigl(0,T; W_{0}^{1,p(x)}(\Omega ) \bigr)\cap L^{r} \bigl(0,T; W_{\mathrm{loc}}^{1,q(x)}(\Omega ) \bigr) \end{aligned}$$

is true for any given \(r>1\). For any given \(t\in (0,T)\), if we denote by \(\Omega _{t}\) the compact support set of \(\varphi _{2}(x,t)\), for any \(\Omega _{1t}\) satisfying \(\Omega _{t}\subset \subset \Omega _{1t}\subset \subset \Omega \), by (3.31), we get

$$\begin{aligned} \varphi _{2} \in L^{r} \bigl(0,T; W_{0}^{1,p(x)}(\Omega ) \bigr)\cap L^{r} \bigl(0,T; W_{0}^{1,q(x)}(\Omega _{1t}) \bigr). \end{aligned}$$

Here, we have used the assumption that \(q(x)\) satisfies the logarithmic Hölder continuity condition, then

W 1 , q ( x ) ( Ω 1 t )= W 0 1 , q ( x ) ( Ω 1 t ).

Thus, there is a sequence \(\varphi _{n2}(x,t)\in C_{0}^{\infty }(Q_{T})\) such that

$$\begin{aligned} \varphi _{n2}(x,t)\rightarrow \varphi _{2}(x,t), \quad\text{in } L^{r} \bigl(0,T; W_{0}^{1,q(x)}(\Omega _{1t}) \bigr). \end{aligned}$$

Since \(q(x)\geq p(x)\), using the \(p(x)\)-Hölder inequality, we know

$$\begin{aligned} \bigl\Vert \varphi _{n2}(x,t) \bigr\Vert _{L^{r} (0,T; W_{0}^{1,p(x)}(\Omega _{1t}))} \leq c. \end{aligned}$$

By choosing a subsequence of \(\varphi _{n2}(x,t)\) (we still denote it as \(\varphi _{n2}(x,t)\)), we may think that \(\varphi _{n2}(x,t)\) satisfies

$$\begin{aligned} \varphi _{n2}(x,t)\rightarrow \varphi _{2}(x,t), \quad\text{in } L^{r} \bigl(0,T; W_{0}^{1,p(x)}(\Omega ) \bigr). \end{aligned}$$

Then, by (3.30), we have

$$\begin{aligned} \begin{aligned} & \iint _{Q_{T}} \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla \varphi _{n2} \,dx\,dt+ \iint _{Q_{T}} b(x) \vert \nabla u \vert ^{q(x) - 2} \nabla u\nabla \varphi _{n2} \,dx\,dt \\ &\quad= \iint _{Q_{T}}(\overrightarrow{\zeta }+\overrightarrow{\xi } ) \cdot \nabla \varphi _{n2} \,dx\,dt. \end{aligned} \end{aligned}$$

Letting \(n\rightarrow \infty \), we get

$$\begin{aligned} \begin{aligned} & \iint _{Q_{T}} \vert \nabla u \vert ^{p(x)- 2} \nabla u \nabla \varphi _{2} \,dx\,dt+ \iint _{Q_{T}} b(x) \vert \nabla u \vert ^{q(x) - 2} \nabla u\nabla \varphi _{2} \,dx\,dt \\ &\quad= \iint _{Q_{T}}(\overrightarrow{\zeta }+\overrightarrow{\xi }) \cdot \nabla \varphi _{2} \,dx\,dt \end{aligned} \end{aligned}$$

for any \(\varphi _{2} \in L^{r} (0,T; W_{0}^{1,p(x)}(\Omega ))\cap L^{r} (0,T; W_{\mathrm{loc}}^{1,q(x)}(\Omega ))\).

As for the initial value, (2.3) can be showed as in [1], the proof of Theorem 2.5 ends. □

The stability of weak solutions

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

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

where \(h_{\eta }(s)=\frac{2}{\eta } (1-\frac{\mid s\mid }{\eta } )_{+}\), and it is clear that

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

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

Proof of Theorem 2.6

By Definition 2.4, for any

$$\begin{aligned} \varphi \in L^{\infty } \bigl(0,T; W_{0}^{1,p(x)}(\Omega ) \bigr)\cap L^{\infty } \bigl(0,T; W_{\mathrm{loc}}^{1,q(x)}(\Omega ) \bigr), \end{aligned}$$

there holds

$$\begin{aligned} \iint _{{Q_{t}}} \bigl[u_{t}\varphi + \vert {\nabla u} \vert ^{p(x) - 2}\nabla u\nabla \varphi + b(x) \vert \nabla u \vert ^{q(x) - 2} \nabla u \nabla \varphi \bigr]\,dx\,dt=0, \end{aligned}$$

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

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

$$\begin{aligned} \begin{aligned} & \iint _{Q_{t}} S_{\eta }(u-v) \frac{\partial (u - v)}{\partial t}\,dx\,dt \\ &\quad=- \iint _{{Q_{t}}} \bigl[ \vert \nabla u \vert ^{p(x) - 2} \nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla (u-v) h_{ \eta }(u-v)\,dx\,dt \\ &\qquad{} - \iint _{{Q_{t}}}b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla (u-v) h_{\eta }(u-v)\,dx\,dt \\ &\quad\leq 0. \end{aligned} \end{aligned}$$

Since \(u_{t},v_{t}\in L^{2}(Q_{T})\), we have

$$\begin{aligned} \lim_{\eta \rightarrow 0^{+}} \int _{\Omega } {{S_{\eta }} \bigl(a(u) - a(v) \bigr) \frac{{\partial (u - v)}}{{\partial t}}{\,{d}}x} = \frac{d}{dt} \Vert {u - v} \Vert _{L^{1}(\Omega )}. \end{aligned}$$

Let \(\eta \rightarrow 0^{+}\) in (4.2). Then, by (4.3), we have

$$\begin{aligned} \int _{\Omega } { \bigl\vert {u(x,t) - v(x,t)} \bigr\vert {\,{d}}x}- \int _{\Omega } { \bigl\vert {{u_{0}}(x) - {v_{0}}(x) } \bigr\vert {\,{d}}x}= \int _{0}^{t}\frac{d}{dt} \Vert {u - v} \Vert _{L^{1}(\Omega )}\,dt \leqslant 0, \end{aligned}$$


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

Theorem 2.6 is proved. □

The partial boundary value condition

Proof of Theorem 2.7

If \(u(x,t)\) and \(v(x,t)\) are two weak solutions of equation (1.1) with the partial homogeneous boundary value condition

$$\begin{aligned} u(x,t)=v(x,t)=0,\quad (x,t)\in \Sigma _{1}\times [0, T), \Sigma _{1}= \biggl\{ x\in \partial \Omega: b(x) \biggl\vert \frac{\nabla b}{b(x)} \biggr\vert ^{p_{(}x)}\neq 0 \biggr\} \end{aligned}$$

and with the different initial values \(u(x,0)\) and \(v(x,0)\) respectively.

For small \(\eta >0\), let

$$\begin{aligned} \Omega _{\eta }= \bigl\{ x\in \Omega:b(x)>\eta \bigr\} \end{aligned}$$


$$\begin{aligned} \phi _{\eta }(x)=\textstyle\begin{cases} 1 & \text{if } x\in \Omega _{\eta }, \\ \frac{b(x)}{\eta } & \text{if } x\in \Omega \setminus \Omega _{\eta }. \end{cases}\displaystyle \end{aligned}$$

Then \(\nabla \phi _{\eta }=\frac{\nabla b(x)}{\eta }\) when \(x\in \Omega \setminus \Omega _{\eta }\), and in the other place, it is identically zero.

Choosing \(\phi _{\eta }S_{\eta }(u - v)\) as the test function, we have

$$\begin{aligned} \begin{aligned} & \int _{\tau }^{s} \int _{\Omega } \phi _{\eta }S_{\eta }(u - v) \frac{\partial (u - v)}{\partial t}\,dx\,dt \\ &\qquad{}+ \int _{\tau }^{s} \int _{\Omega } \bigl[ \vert \nabla u \vert ^{p(x) - 2} \nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla (u-v) h_{\eta }(u-v)\phi _{\eta }(x)\,dx\,dt \\ &\qquad{} + \int _{\tau }^{s} \int _{\Omega }b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla (u-v) h_{\eta }(u-v)\phi _{\eta }(x)\,dx\,dt \\ &\qquad{}+ \int _{\tau }^{s} \int _{\Omega } \bigl[ \vert \nabla u \vert ^{p(x) - 2} \nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \\ &\qquad{} + \int _{\tau }^{s} \int _{\Omega }b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \\ &\quad=0. \end{aligned} \end{aligned}$$

In the first place, following [9, Lemma 3.1] we find

$$\begin{aligned} \begin{aligned} &\lim_{\eta \rightarrow 0} \int _{\tau }^{s} \int _{\Omega }\phi _{\eta }(x)S_{\eta }(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} \end{aligned}$$

In the second place, it is easy to see that

$$\begin{aligned} \int _{\tau }^{s} \int _{\Omega } \bigl[ \vert \nabla u \vert ^{p(x) - 2} \nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla (u-v) h_{\eta }(u-v)\phi _{\eta }(x)\,dx\,dt\geq 0 \end{aligned}$$


$$\begin{aligned} \int _{\tau }^{s} \int _{\Omega }b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla (u-v) h_{\eta }(u-v)\phi _{\eta }(x)\,dx\,dt\geq 0. \end{aligned}$$

In the third place, to evaluate the third term on the left-hand side of (5.3), in consideration of (5.2), by a straightforward calculation we obtain

$$\begin{aligned} & \biggl\vert \int _{\tau }^{s} \int _{\Omega } \bigl[ \vert \nabla u \vert ^{p(x) - 2}\nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \biggr\vert \\ &\quad= \biggl\vert \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }} \bigl[ \vert \nabla u \vert ^{p(x) - 2} \nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \biggr\vert \\ &\quad\leq \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }} \bigl( \vert \nabla u \vert ^{p(x) - 1}+ \vert \nabla v \vert ^{p(x) - 1} \bigr) \bigl\vert S_{\eta }(u-v) \nabla \phi _{\eta } \bigr\vert \,dx\,dt \\ \begin{aligned} &\quad\leq \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }} \biggl[ \frac{b(x)}{\eta } \biggr]^{\frac{p(x)-1}{p(x)}} \bigl( \vert \nabla u \vert ^{p(x) - 1}+ \vert \nabla v \vert ^{p(x) - 1} \bigr) \biggl\vert S_{ \eta }(u-v) \frac{ (\frac{1}{\eta } )^{\frac{1}{p(x)}}\nabla b}{[b(x) ]^{\frac{p(x)-1}{p(x)}}} \biggr\vert \,dx\,dt \\ &\quad\leq \biggl( \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }} \frac{1}{\eta }b(x) \bigl( \vert \nabla u \vert ^{p(x)}+ \vert \nabla v \vert ^{p(x)} \bigr)\,dx\,dt \biggr)^{\frac{1}{q_{1}}} \end{aligned} \\ &\qquad{}\times \biggl( \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }} \frac{1}{\eta } \bigl\vert S_{\eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b(x) \vert ^{p(x)}}{[b(x) ]^{p(x)-1}}\,dx\,dt \biggr)^{\frac{1}{p_{1}}} \\ &\quad\leq c \biggl( \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }} \bigl( \vert \nabla u \vert ^{p(x)}+ \vert \nabla v \vert ^{p(x)} \bigr)\,dx\,dt \biggr)^{ \frac{1}{q_{1}}} \\ &\qquad{}\times \biggl( \int _{\tau }^{s}\frac{1}{\eta } \int _{\Omega \setminus \Omega _{\eta }} \bigl\vert S_{\eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x) ]^{p(x)-1}}\,dx \biggr)^{\frac{1}{p_{1}}}, \end{aligned}$$

where \(p_{1}= p^{+}\) or \(p^{-}\) according to (iii) of Lemma 2.2, \(q(x)=\frac{p(x)}{p(x)-1}\) and \(q_{1}=q^{+}\) or \(q^{-}\).

If we denote \(\Sigma _{2}=\partial \Omega \setminus \Sigma _{1}\) and define

$$\begin{aligned} &\Omega _{\eta 1}= \bigl\{ x\in \Omega \setminus \Omega _{\eta }: \operatorname{dist}(x, \Sigma _{2})>\operatorname{dist}(x, \Sigma _{1}) \bigr\} , \\ &\Omega _{\eta 2}= \bigl\{ x\in \Omega \setminus \Omega _{\eta }: \operatorname{dist}(x, \Sigma _{2})\leq \operatorname{dist}(x, \Sigma _{1}) \bigr\} , \end{aligned}$$


$$\begin{aligned} \begin{aligned} & \frac{1}{\eta } \int _{\Omega \setminus \Omega _{\eta }} \bigl\vert S_{ \eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,dx \\ &\quad \leq \frac{1}{\eta } \int _{\Omega _{\eta 1}} \bigl\vert S_{\eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,dx \\ &\qquad{} +\frac{1}{\eta } \int _{\Omega _{\eta 2}} \bigl\vert S_{\eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,dx. \end{aligned} \end{aligned}$$


$$\begin{aligned} u(x,t)=v(x,t)=0,\quad (x,t)\in \Sigma _{1}\times (0,T), \end{aligned}$$

we have

$$\begin{aligned} \begin{aligned} &\lim_{\eta \rightarrow 0} \frac{1}{\eta } \int _{\Omega _{ \eta 1}} \bigl\vert S_{\eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,dx \\ &\quad= \int _{\Sigma _{1}} \bigl\vert \operatorname{sgn}(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,d\Sigma \\ &\quad=0. \end{aligned} \end{aligned}$$

Moreover, by using the identity

$$\begin{aligned} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}=0,\quad x\in \Sigma _{2}, \end{aligned}$$

we derive that

$$\begin{aligned} \begin{aligned} & \lim_{\eta \rightarrow \infty } \frac{1}{\eta } \int _{ \Omega _{\eta 2}} \bigl\vert S_{\eta }(u-v) \bigr\vert ^{p(x)} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,dx \\ &\quad\leq \lim_{\eta \rightarrow \infty }\frac{1}{\eta } \int _{\Omega _{ \eta 2}} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,dx \\ &\quad= \int _{\Sigma _{2}} \frac{ \vert \nabla b \vert ^{p(x)}}{[b(x)]^{p(x)-1}}\,d \Sigma \\ &\quad=0. \end{aligned} \end{aligned}$$

From (5.7)–(5.10), we obtain

$$\begin{aligned} \lim_{\eta \rightarrow 0} \biggl\vert \int _{\tau }^{s} \int _{\Omega } \bigl[ \vert \nabla u \vert ^{p(x) - 2}\nabla u- \vert \nabla v \vert ^{p(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \biggr\vert =0. \end{aligned}$$

In the fourth place, to evaluate the fourth term on the left-hand side of (5.3), by a direct calculation, we have

$$\begin{aligned} \begin{aligned} & \biggl\vert \int _{\tau }^{s} \int _{\Omega }b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \biggr\vert \\ &\quad= \biggl\vert \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }}b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \biggr\vert \\ &\quad\leq \int _{\tau }^{s}\frac{1}{\eta } \int _{\Omega \setminus \Omega _{ \eta }} b(x) \bigl( \vert \nabla u \vert ^{q(x) - 1}+ \vert \nabla v \vert ^{q(x)- 1} \bigr) \bigl\vert \nabla b S_{\eta }(u-v) \bigr\vert \,dx\,dt \\ &\quad\leq c \int _{\tau }^{s} \biggl( \int _{\Omega \setminus \Omega _{\eta }} b(x) \bigl( \vert \nabla u \vert ^{q(x)}+ \vert \nabla v \vert ^{q(x)} \bigr)\,dx \biggr)^{ \frac{1}{q^{+}}} \\ &\qquad{}\times \frac{1}{\eta } \biggl( \int _{\Omega \setminus \Omega _{\eta }} b(x) \vert \nabla b \vert ^{p(x)}\,dx \biggr)^{\frac{1}{p_{+}}}\,dt. \end{aligned} \end{aligned}$$

By (2.8), we have

$$\begin{aligned} \lim_{\eta \rightarrow 0} \biggl\vert \int _{\tau }^{s} \int _{\Omega \setminus \Omega _{\eta }}b(x) \bigl[ \vert \nabla u \vert ^{q(x) - 2} \nabla u- \vert \nabla v \vert ^{q(x) - 2}\nabla v \bigr] \nabla \phi _{\eta }(x) S_{\eta }(u-v)\,dx\,dt \biggr\vert =0. \end{aligned}$$

By the above discussion, letting \(\eta \rightarrow 0\) in (5.3), we find there is a constant \(l<1\) such that

$$\begin{aligned} \int _{\Omega } \bigl\vert u(x,s) - v(x,s) \bigr\vert \,dx \leqslant \int _{\Omega } \bigl\vert u(x,\tau ) - v(x,\tau ) \bigr\vert \,dx+c \biggl( \int _{\tau }^{s} \int _{\Omega } \vert u-v \vert \,dx\,dt \biggr)^{l}. \end{aligned}$$

Using a generalization of the Gronwall inequality [34], we easily extrapolate that

$$\begin{aligned} \int _{\Omega } \bigl\vert u(x,s) - v(x,s) \bigr\vert \,dx \leqslant c \int _{\Omega } \bigl\vert {u(x,\tau )} - {v(x,\tau )} \bigr\vert \,dx. \end{aligned}$$

and by the arbitrariness of τ, we have

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


Availability of data and materials

Not applicable.


  1. 1.

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

    MathSciNet  Article  Google Scholar 

  2. 2.

    Antontsev, S., Shmarev, S.: Evolution PDEs with nonstandard growth conditions, Existence, Uniqueness, Localization, Blow-up. Atlants Studies in Differential Equations, Series Editor. Michel Chipot, Atlantis Press, Paris (2015)

    Book  Google Scholar 

  3. 3.

    Antontsev, S., Shmarev, S.: Anisotropic parabolic equations with variable nonlinearity, CMAF, University of Libon, Portugal, preprint 2007-013, 2007, 1–34

  4. 4.

    Arora, R., Shmarev, S.: Double phase parabolic equations with variable growth (2020). arXiv:2010.08306. Preprint

  5. 5.

    Baasandorj, S., Byun, S.-S., Oh, J.: Calderon–Zygmund estimates for generalized double phase problems. J. Funct. Anal. 279, 108670 (2020)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Baroni, P., Colombo, M., Mingione, G.: Harnack inequalities for double phase functionals. Nonlinear Anal. 121, 206–222 (2015)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Baroni, P., Colombo, M., Mingione, G.: Nonautonomous functionals, borderline cases and related function classes. Algebra Anal. 27, 6–50 (2015), translation in St. Petersburg Math. J., 27, 347–379 (2016)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. Partial Differ. Equ. 57, 57–62 (2018)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Bögelein, V., Duzaar, F., Marcellini, P.: Parabolic equations with \(p, q-\) growth. J. Math. Pures Appl. 100, 535–563 (2013)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Bögelein, V., Duzaar, F., Marcellini, P.: Parabolic systems with \(p, q-\) growth: a variational approach. Arch. Ration. Mech. Anal. 210, 219–267 (2013)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Bögelein, V., Duzaar, F., Marcellini, P.: Existence of evolutionary variational solutions via the calculus of variations. J. Differ. Equ. 256, 3912–3942 (2014)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Buryachenko, K.O.: Local sub-estimates of solutions to double phase parabolic equations via nonlinear parabolic potentials. J. Math. Sci. 16, 28–45 (2019)

    MathSciNet  Google Scholar 

  13. 13.

    Byun, S.-S., Youn, Y.: Riesz potential estimates for a class of double phase problems. J. Differ. Equ. 264, 1263–1316 (2018)

    MathSciNet  Article  Google Scholar 

  14. 14.

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

    MathSciNet  Article  Google Scholar 

  15. 15.

    Crespo-Blanco, A., Gasiński, L., Harjulehto, P., Winkert, P.: A new class of double phase variable exponent problems: Existence and uniqueness (2021). arXiv:2103.08928. Preprint

  16. 16.

    Eleuteri, M., Marcellini, P., Mascolo, E.: Lipschitz estimates for systems with ellipticity conditions at infinity. Ann. Mat. 195, 1575–1603 (2016)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Eleuteri, M., Marcellini, P., Mascolo, E.: Regularity for scalar integrals without structure conditions. Adv. Calc. Var. 13, 279–300 (2020)

    MathSciNet  Article  Google Scholar 

  18. 18.

    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)

    MathSciNet  Article  Google Scholar 

  19. 19.

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

    MathSciNet  Article  Google Scholar 

  20. 20.

    Gasinski, L., Winkert, P.: Existence and uniqueness results for double phase problems with convection term. J. Differ. Equ. 268, 4183–4193 (2020)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Gasiński, L., Winkert, P.: Sign changing solution for a double phase problem with nonlinear boundary condition via the Nehari manifold. J. Differ. Equ. 274, 1037–1066 (2021)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Gu, L.: Second order parabolic partial differential equations. The Publishing Company of Xiamen University, Xiamen (2002) (in Chinese)

    Google Scholar 

  23. 23.

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

    MathSciNet  Article  Google Scholar 

  24. 24.

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

    Article  Google Scholar 

  25. 25.

    Li, Z., Yan, B., Gao, W.: Existence of solutions to a parabolic \(p(x)\)-Laplace equation with convection term via \(L^{\infty }\)-estimates. Electron. J. Differ. Equ. 2015, 48 (2015)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Marcellini, P.: A variational approach to parabolic equations under general and \(p, q\)-growth conditions. Nonlinear Anal. 194, 111456 (2020)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Mizuta, Y., Nakai, E., Ohno, T., Shimomura, T.: Campanato– Morrey spaces for the double phase functionals with variable exponents. Nonlinear Anal. 197, 111827 (2020)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Taylor, M.E.: Partial differential equations III. Springer, Berlin (1999)

    Google Scholar 

  29. 29.

    Wu, Z., Zhao, J., Yin, J., Li, H.: Nonlinear diffusion equations. World Scientic Publishing, Singapore (2001)

    Book  Google Scholar 

  30. 30.

    Zeng, S., Bai, Y., Gasiński, L., Winkert, P.: Convergence analysis for double phase obstacle problems with multivalued convection term. Adv. Nonlinear Anal. 10(1), 659–672 (2021)

    MathSciNet  Article  Google Scholar 

  31. 31.

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

    MathSciNet  Article  Google Scholar 

  32. 32.

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

    MathSciNet  Article  Google Scholar 

  33. 33.

    Zhan, H.: Evolutionary \(p(x)\)-Laplacian equation with a convection term. Acta Math. Appl. Sin. Engl. Ser. 35, 655–670 (2019)

    MathSciNet  Article  Google Scholar 

  34. 34.

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

    Article  Google Scholar 

  35. 35.

    Zhan, H., Feng, Z.: Stability of polytropic filtration equation with variable exponents. Adv. Differ. Equ. 25, 255–278 (2020)

    MathSciNet  MATH  Google Scholar 

  36. 36.

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

    MathSciNet  MATH  Google Scholar 

  37. 37.

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

    MathSciNet  Article  Google Scholar 

  38. 38.

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

    MATH  Google Scholar 

Download references


The author would like to thank Pro. Zhan for his kind help!


No applicable.

Author information




The author read and approved the final manuscript.

Corresponding author

Correspondence to Zhisheng Huang.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Huang, Z. The weak solutions of a nonlinear parabolic equation from two-phase problem. J Inequal Appl 2021, 149 (2021).

Download citation


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


  • Nonlinear parabolic equation
  • Two-phase problem
  • Partial boundary value condition
  • Stability