On a viscous fourth-order parabolic equation with boundary degeneracy

Abstract

A viscous fourth-order parabolic equation with boundary degeneracy is studied. By using the variational method, the existence of a time-discrete fourth-order elliptic equation with homogeneous boundary conditions is solved. Moreover, the existence and uniqueness for the corresponding parabolic problem with nondegenerate coefficient is shown by several asymptotic limit processes. Finally, by applying the regularization method, the existence and uniqueness for the problem with degenerate boundary coefficient is obtained by applying the energy method and a small parameter limit process.

1 Introduction

Many physical phenomena can be described by nonlinear fourth-order parabolic equations. The Cahn–Hilliard equation can be used to establish the model for phase transformation theory (see [3]). The degenerate fourth-order parabolic equations can show the motion of a very thin layer of a viscous compressible fluid (see [2, 12], and [8]). Specially, in materials science, the epitaxial growth of nanoscale thin films can be given by nonlinear fourth-order parabolic equations (see [23] and [6]).

For the research of fourth-order parabolic equations, Liu [10] studied a Cahn–Hilliard equation with a zero-mass flux boundary condition, and the global existence of classical solutions with a nondegenerate $m(w)$ and small initial energy was shown. Xu and Zhou [18] considered a nonlinear fourth-order parabolic equation with gradient degeneracy, and the corresponding existence of weak solutions was studied in the sense of distribution. For the nonlinear source problem, the existence and asymptotic behavior of solutions were given by Liang and Zheng in [9]. In the paper, we consider a viscous fourth-order parabolic equation with boundary degeneracy conditions. For the boundary degeneracy problem, there have been some research results about second-order equations. Yin and Wang (see [21] and [22]) gave the existence of weak solutions for a second-order singular diffusion problem, and the corresponding diffusion coefficients were allowed to degenerate on a portion of the boundary. For the boundary degeneracy problem with a gradient flow, Zhan in [24] obtained the existence and stability of solutions.

In the paper, a viscous fourth-order parabolic equation with boundary degeneracy is considered. If we drop the viscous term, the model can be treated as a thin film equation with a degenerate mobility rate. If the fourth-order diffusion term is replaced by a classic second-order diffusion, it often appeared in the research for pseudo-parabolic equations. For their research works, Xu and Su in [19] considered the initial-boundary value problem for a semi-linear pseudo-parabolic equation, and the corresponding global existence and finite time blow-up of solutions were given by potential well theory. In [7], a pseudo-parabolic equation with a singular potential was shown. Moreover, the papers [20] and [16] studied the related nonlinear parabolic systems with power type source terms and time-fractional pseudo-parabolic problems. For the other references, the readers may refer to [4, 11, 13], and [14].

Our research problem with initial-boundary conditions has the following form:

$$\begin{aligned} & w_{t}-\gamma \triangle w_{t}+\triangle \bigl(\varrho ^{\alpha }(x) \vert \triangle w \vert ^{p-2}\triangle w\bigr)=0,\quad (x, t)\in Q_{T}, \end{aligned}$$

(1.1)

$$\begin{aligned} & w=\triangle w=0,\quad (x, t)\in \Gamma , \end{aligned}$$

(1.2)

$$\begin{aligned} & w(x,0)=w_{I}(x), \quad x\in \Omega , \end{aligned}$$

(1.3)

where $\Omega \subset R^{N}$ is a bounded domain with $N\leq 2$, $Q_{T}=\Omega \times (0,T)$, and $\Gamma =\partial \Omega \times (0,T)$. $\alpha >0$, $p>1$, and $\gamma >0$ are all constants. In physics, the capillarity-driven surface diffusion is from the term $\triangle (\varrho ^{\alpha }(x)|\triangle w|^{p-2}\triangle w)$ (see Zangwill [23]). Here the function $\varrho (x)$ is defined by $\varrho =\operatorname{dist}(x, \partial \Omega )$, which can yield the degeneration at ∂Ω. $\gamma >0$ is the viscosity coefficient. We always suppose that the boundary ∂Ω is smooth enough and simple enough. Besides, for any constant $\sigma \in (0, 1)$, the domain Ω satisfies the condition $\int _{\Omega }\varrho ^{-\sigma }{\,\mathrm{d}}x<\infty$. The term $\gamma \triangle w_{t}$ denotes the viscous relaxation factor or viscosity.

In order to obtain the existence of weak solutions for (1.1)–(1.3), we need to deal with the degenerate coefficient $\varrho (x)$, and so we introduce the following approximate problem:

$$\begin{aligned} & w_{\varepsilon t}-\gamma \triangle w_{\varepsilon t}+\triangle \bigl( \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{\varepsilon } \vert ^{p-2} \triangle w_{\varepsilon }\bigr)=0,\quad (x, t)\in Q_{T}, \end{aligned}$$

(1.4)

$$\begin{aligned} & w_{\varepsilon }=\triangle w_{\varepsilon }=0, \quad (x, t)\in \Gamma , \end{aligned}$$

(1.5)

$$\begin{aligned} & w_{\varepsilon }(x,0)=w_{\varepsilon I}(x),\quad x\in \Omega , \end{aligned}$$

(1.6)

where $\varrho _{\varepsilon }=\varrho +\varepsilon$ with $\varepsilon >0$. From the existence of (1.4)–(1.6), we can conclude the existence of (1.1)–(1.3) by a limit process for $\varepsilon \rightarrow 0$.

The weak solution of (1.4)–(1.6) is shown in the following definition.

Definition 1

If a function $w_{\varepsilon }$ satisfies the conditions

• (i) $w_{\varepsilon }\in C([0,T];H^{1}(\Omega ))\cap L^{\infty }(0,T; W_{0}^{2, p}(\Omega ))$, $w_{\varepsilon t}\in L^{2}(0, T; H^{1}(\Omega ))$, $\varrho _{\varepsilon }^{\alpha }|\triangle w_{\varepsilon }|^{p}\in L^{1}(Q_{T})$ with $W_{0}^{2, p}(\Omega )\doteq W_{0}^{1,p}(\Omega )\cap W^{2,p}(\Omega )$;

• (ii) For each $\varphi \in C_{0}^{\infty }(Q_{T})$, it has

  $$\begin{aligned} & \iint _{Q_{T}}\frac{\partial w_{\varepsilon }}{\partial t}\varphi { \,\mathrm{d}}x{\,\mathrm{d}}t +\gamma \iint _{Q_{T}} \nabla w_{\varepsilon t} \nabla \varphi { \,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad {} + \iint _{Q_{T}}\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{ \varepsilon } \vert ^{p-2}\triangle w_{\varepsilon } \triangle \varphi {\,\mathrm{d}}x{ \,\mathrm{d}}t =0, \end{aligned}$$

then it is called a weak solution of (1.4)–(1.6).

Its existence is shown in the following proposition.

Proposition 1

Let $w_{\varepsilon I}\in W_{0}^{2, p}(\Omega )$. Problem (1.4)–(1.6) owns a unique weak solution.

For (1.1)–(1.3), its weak solutions are defined as follows.

Definition 2

If a function w satisfies the conditions

• (i) $w\in C([0,T];H^{1}(\Omega ))\cap L^{\infty }(0,T; H^{1}(\Omega ))$, $w_{t}\in L^{2}(0, T; H^{1}(\Omega ))$, $\varrho ^{\alpha }|\triangle w|^{p}\in L^{1}(Q_{T})$, $\triangle w\in L_{\mathrm{{loc}}}^{p}(Q_{T})$;

• (ii) For each $\varphi \in C_{0}^{\infty }(Q_{T}))$, it has

  $$\begin{aligned} \iint _{Q_{T}}\frac{\partial w}{\partial t}\varphi {\,\mathrm{d}}x{\,\mathrm{d}}t+ \gamma \iint _{Q_{T}} \nabla w_{t} \nabla \varphi { \,\mathrm{d}}x{\,\mathrm{d}}t + \iint _{Q_{T}}\varrho ^{\alpha } \vert \triangle w \vert ^{p-2}\triangle w \triangle \varphi {\,\mathrm{d}}x{\,\mathrm{d}}t=0, \end{aligned}$$

then it is called a weak solution of (1.1)–(1.3).

The main existence is as follows.

Theorem 1

Let $w_{I}\in W_{0}^{2, p}(\Omega )$ and $\alpha < p-1$. Problem (1.1)–(1.3) has a unique weak solution.

In the paper, $C, C_{j}$ ($j=1, 2, \ldots$) represent general constants, and the values may change from line to line. The paper is organized as follows. Section 2 gives the existence, uniqueness, and iterative estimates for the semi-discrete elliptic problem. In Sect. 3, we show the existence and uniqueness for the nondegenerate parabolic problem. The final section establishes the existence and uniqueness for the degenerate problem.

2 Elliptic problem

In this section, we introduce a semi-discrete problem, and some important iterative estimates are established. For the time interval $[0, T]$, we make it into n subintervals with the equal width $h=\frac{T}{n}$. Let $w_{i}=w(x, ih)$ and $w_{0}=w_{\varepsilon I}$ for $i=1, 2, \dots , n$. We get the semi-discrete elliptic problem

$$\begin{aligned} & \frac{1}{h}(w_{i}-w_{i-1})-\frac{\gamma }{h}( \triangle w_{i}- \triangle w_{i-1})+\triangle \bigl(\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p-2}\triangle w_{i}\bigr)=0 \quad \text{in } \Omega , \end{aligned}$$

(2.1)

$$\begin{aligned} & w_{i}=\triangle w_{i}=0\quad \text{on } \partial \Omega . \end{aligned}$$

(2.2)

We will use the variational method to study the existence of (2.1)–(2.2), and so we define the functional as follows:

$$\begin{aligned} \mathcal{K}[w_{i}]= {}& \frac{1}{2h} \int _{\Omega } \vert w_{i} \vert ^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i} \vert ^{2}{\,\mathrm{d}}x+\frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{ \,\mathrm{d}}x \\ &{} -\frac{\gamma }{h} \int _{\Omega }\nabla w_{i-1}\nabla w_{i}{ \,\mathrm{d}}x- \frac{1}{h} \int _{\Omega }w_{i-1}w_{i}{\,\mathrm{d}}x \end{aligned}$$

(2.3)

for $w_{i}\in W_{0}^{2, p}(\Omega )$.

The corresponding existence result is shown in the following lemma.

Lemma 1

For fixed $\varepsilon >0$ and $w_{i-1}\in W_{0}^{2, p}(\Omega )$, problem (2.1)–(2.2) has a unique weak solution $w_{i}\in W_{0}^{2, p}(\Omega )$ with

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }(w_{i}-w_{i-1})\varphi { \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1}) \nabla \varphi {\,\mathrm{d}}x \\ &\quad {} + \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p-2} \triangle w_{i} \triangle \varphi {\,\mathrm{d}}x =0 \end{aligned}$$

(2.4)

for each $\varphi \in C_{0}^{\infty }(\Omega )$. Moreover, it has

$$\begin{aligned} & \frac{1}{h} \int _{\Omega } \vert w_{i} \vert ^{2}{ \,\mathrm{d}}x+\frac{\gamma }{h} \int _{ \Omega } \vert \nabla w_{i} \vert ^{2}{\,\mathrm{d}}x+2 \int _{\Omega }\varrho _{ \varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{\,\mathrm{d}}x \\ &\quad \leq \frac{1}{h} \int _{\Omega } \vert w_{i-1} \vert ^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega } \vert \nabla w_{i-1} \vert ^{2}{\,\mathrm{d}}x , \end{aligned}$$

(2.5)

$$\begin{aligned} & \int _{\Omega } \vert w_{j} \vert ^{2}{ \,\mathrm{d}}x+\gamma \int _{\Omega } \vert \nabla w_{j} \vert ^{2}{ \,\mathrm{d}}x+2h\sum_{i=1}^{j} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{\,\mathrm{d}}x \\ & \quad \leq \int _{\Omega } \vert w_{0} \vert ^{2}{ \,\mathrm{d}}x+\gamma \int _{\Omega } \vert \nabla w_{0} \vert ^{2}{\,\mathrm{d}}x, \end{aligned}$$

(2.6)

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }(w_{i}-w_{i-1})^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1})^{2}{ \,\mathrm{d}}x+ \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{ \,\mathrm{d}}x \\ & \quad \leq \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i-1} \vert ^{p}{\,\mathrm{d}}x , \end{aligned}$$

(2.7)

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }(w_{i}-w_{i-1})^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1})^{2}{ \,\mathrm{d}}x+ \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{ \,\mathrm{d}}x \\ & \quad \leq \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{0} \vert ^{p}{\,\mathrm{d}}x, \end{aligned}$$

(2.8)

$$\begin{aligned} & \sum_{i=1}^{n}\frac{1}{h} \int _{\Omega }(w_{i}-w_{i-1})^{2}{ \,\mathrm{d}}x+ \sum_{i=1}^{n} \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1})^{2}{ \,\mathrm{d}}x \\ &\quad \leq \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{0} \vert ^{p}{\,\mathrm{d}}x \end{aligned}$$

(2.9)

for $i, j=1, \dots , n$.

Proof

Young’s inequality can give

$$\begin{aligned} & \mathcal{K}[w_{i}] \\ &\quad \geq \frac{1}{2h} \int _{\Omega } \vert w_{i} \vert ^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i} \vert ^{2}{\,\mathrm{d}}x + \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{ \,\mathrm{d}}x- \frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i-1} \vert ^{2}{\,\mathrm{d}}x \\ &\qquad {}-\frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i} \vert ^{2}{\,\mathrm{d}}x- \frac{1}{2h} \int _{\Omega } \vert w_{i-1} \vert ^{2}{ \,\mathrm{d}}x -\frac{1}{2h} \int _{ \Omega } \vert w_{i} \vert ^{2}{ \,\mathrm{d}}x \\ &\quad \geq -\frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i-1} \vert ^{2}{\,\mathrm{d}}x - \frac{1}{2h} \int _{\Omega } \vert w_{i-1} \vert ^{2}{ \,\mathrm{d}}x, \end{aligned}$$

(2.10)

and thus $\mathcal{K}[w_{i}]$ is bounded

$$ -C\leq \inf_{v\in W_{0}^{2, p}(\Omega )}\mathcal{K}[v]\leq \mathcal{K}[0]=0. $$

It ensures the existence of a subsequence $\{w_{kl}\}_{l=1}^{\infty }\subset W_{0}^{2, p}(\Omega )$ and a function v such that

$$\begin{aligned} \mathcal{K}[w_{kl}]\rightarrow \inf _{v\in W_{0}^{2, p}(\Omega )} \mathcal{K}[v], \end{aligned}$$

(2.11)

as $l\rightarrow +\infty$. Using Young’s inequality again, we have

$$\begin{aligned} & \frac{1}{2h} \int _{\Omega } \vert w_{kl} \vert ^{2}{ \,\mathrm{d}}x+\frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{kl} \vert ^{2}{\,\mathrm{d}}x+\frac{1}{p} \int _{\Omega } \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{kl} \vert ^{p}{\,\mathrm{d}}x \\ &\quad \leq \bigl\vert \mathcal{K}[w_{kl}] \bigr\vert + \biggl\vert \frac{\gamma }{h} \int _{\Omega } \nabla w_{i-1}\nabla w_{kl}{ \,\mathrm{d}}x \biggr\vert + \biggl\vert \frac{1}{h} \int _{ \Omega }w_{i-1}w_{kl}{\,\mathrm{d}}x \biggr\vert \\ & \quad \leq \bigl\vert \mathcal{K}[w_{kl}] \bigr\vert + \frac{\gamma }{4h} \int _{\Omega } \vert \nabla w_{kl} \vert ^{2}{ \,\mathrm{d}}x+\frac{\gamma }{h} \int _{\Omega } \vert \nabla w_{i-1} \vert ^{2}{\,\mathrm{d}}x \\ &\qquad {} +\frac{1}{4h} \int _{\Omega } \vert w_{kl} \vert ^{2}{ \,\mathrm{d}}x+\frac{1}{h} \int _{ \Omega } \vert w_{i-1} \vert ^{2}{ \,\mathrm{d}}x. \end{aligned}$$

Since $\mathcal{K}[w_{kl}]$ is bounded, it has

$$\begin{aligned} & \frac{1}{4h} \int _{\Omega } \vert w_{kl} \vert ^{2}{ \,\mathrm{d}}x+\frac{\gamma }{4h} \int _{\Omega } \vert \nabla w_{kl} \vert ^{2}{\,\mathrm{d}}x+ \frac{\varepsilon ^{\alpha }}{p} \int _{\Omega } \vert \triangle w_{kl} \vert ^{p}{ \,\mathrm{d}}x \\ &\quad \leq \bigl\vert \mathcal{K}[w_{kl}] \bigr\vert + \frac{\gamma }{h} \int _{\Omega } \vert \nabla w_{i-1} \vert ^{2}{ \,\mathrm{d}}x+\frac{1}{h} \int _{\Omega } \vert w_{i-1} \vert ^{2}{ \,\mathrm{d}}x \\ &\quad \leq C. \end{aligned}$$

It implies the estimate $\|w_{kl}\|_{W_{0}^{2, p}(\Omega )}\leq C$, and then we can seek a subsequence from $\{w_{kl}\}$ and a function $w_{i}\in W_{0}^{2, p}(\Omega )$ so that

$$ w_{kl}\rightharpoonup w_{i}\quad \text{weakly in } W_{0}^{2, p}(\Omega )$$

as $l\rightarrow \infty$.

The weak lower semi-continuity yields

$$\begin{aligned} \mathcal{K}[w_{i}]\leq \liminf_{l\rightarrow \infty } \mathcal{K}[w_{kl}]= \inf_{v\in W_{0}^{2, p}(\Omega )}\mathcal{K}[v], \end{aligned}$$

and then $\mathcal{K}[w_{i}]=\inf_{v\in W_{0}^{2, p}(\Omega )}\mathcal{K}[v]$. A standard procedure can show the existence of (2.1)–(2.2) (see [17] or [5]).

For the uniqueness, we suppose that $w_{i1}$ and $w_{i2}$ are two weak solutions, and we choose $w_{i1}-w_{i2}$ as the test function to get

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }(w_{i1}-w_{i2})^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i1}-\nabla w_{i2})^{2}{ \,\mathrm{d}}x \\ &\quad = - \int _{\Omega }\varrho _{\varepsilon }^{\alpha }\bigl( \vert \triangle w_{i1} \vert ^{p-2} \triangle w_{i1}- \vert \triangle w_{i2} \vert ^{p-2}\triangle w_{i2}\bigr) (\triangle w_{i1}- \triangle w_{i2}){ \,\mathrm{d}}x \leq 0. \end{aligned}$$

Notice that, for arbitrary numbers ζ and η, the inequality

$$\begin{aligned} \bigl( \vert \zeta \vert ^{p-2}\zeta - \vert \eta \vert ^{p-2}\eta \bigr) (\zeta -\eta )\geq 0 \end{aligned}$$

(2.12)

holds if $p>1$. Thus, one has $w_{i1}=w_{i2}$ a.e. in Ω.

To give the proof for the iterative estimates, we take $w_{i}$ as the test function and apply Young’s inequality to find

$$\begin{aligned} & \frac{1}{h} \int _{\Omega } \vert w_{i} \vert ^{2}{ \,\mathrm{d}}x+\frac{\gamma }{h} \int _{ \Omega } \vert \nabla w_{i} \vert ^{2}{\,\mathrm{d}}x+ \int _{\Omega }\varrho _{\varepsilon }^{ \alpha } \vert \triangle w_{i} \vert ^{p}{\,\mathrm{d}}x \\ &\quad = \frac{1}{h} \int _{\Omega }w_{i-1}w_{i}{\,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }\nabla w_{i-1}\nabla w_{i}{ \,\mathrm{d}}x \\ &\quad \leq \frac{1}{2h} \int _{\Omega } \vert w_{i-1} \vert ^{2}{ \,\mathrm{d}}x+\frac{1}{2h} \int _{\Omega } \vert w_{i} \vert ^{2}{ \,\mathrm{d}}x +\frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i-1} \vert ^{2}{\,\mathrm{d}}x+\frac{\gamma }{2h} \int _{\Omega } \vert \nabla w_{i} \vert ^{2}{ \,\mathrm{d}}x. \end{aligned}$$

Thus, (2.5) and (2.6) have been shown. Meanwhile, taking $w_{i}-w_{i-1}$ as the test function, we have

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }(w_{i}-w_{i-1})^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1})^{2}{ \,\mathrm{d}}x \\ &\quad {} + \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p-2} \triangle w_{i} \triangle (w_{i}-w_{i-1}){\,\mathrm{d}}x=0. \end{aligned}$$

Apply Young’s inequality to give

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }(w_{i}-w_{i-1})^{2}{ \,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1})^{2}{ \,\mathrm{d}}x+ \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{ \,\mathrm{d}}x \\ & \quad \leq \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p-1} \vert \triangle w_{i-1} \vert {\,\mathrm{d}}x \\ &\quad \leq \frac{p-1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{\,\mathrm{d}}x + \frac{1}{p} \int _{\Omega }\varrho _{ \varepsilon }^{\alpha } \vert \triangle w_{i-1} \vert ^{p}{\,\mathrm{d}}x. \end{aligned}$$

Therefore, a simple calculation can show assertions (2.7)–(2.9). □

3 Parabolic problem with nondegenerate coefficient

In this section, we would give the proof of Proposition 1 for fixed constant $\varepsilon >0$. We assume that $w_{\varepsilon I}\rightarrow w_{I}$ in $H^{1}$-norm as $\varepsilon \rightarrow 0$. For convenience, we use the notation w to represent the weak solutions of (1.4)–(1.6).

For the purpose of existence, we define the following approximate solution:

$$\begin{aligned} U^{(n)}(x,t)=\sum_{i=1}^{n} \mathbb{S}_{i}(t)w_{i}(x) \end{aligned}$$

for

$$\mathbb{S}_{i}(t)=\textstyle\begin{cases} 1, & t\in ((i-1)h, ih]; \\ 0, & \text{elsewhere} \end{cases}\displaystyle \quad \text{with } i=1, \dots , n. $$

For $U^{(n)}$, we can establish the uniform estimates as follows.

Lemma 2

There is uniform constant C such that

$$\begin{aligned} & \bigl\Vert U^{(n)} \bigr\Vert _{L^{\infty }(0,T;L^{2}(\Omega ))}\leq C, \end{aligned}$$

(3.1)

$$\begin{aligned} & \bigl\Vert \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p} \bigr\Vert _{L^{ \infty }(0, T; L^{1}(\Omega ))}\leq C, \end{aligned}$$

(3.2)

$$\begin{aligned} & \bigl\Vert U^{(n)} \bigr\Vert _{L^{\infty }(0,T; W_{0}^{2, p}(\Omega ))}\leq \frac{1}{\varepsilon ^{\frac{\alpha }{p}}}C. \end{aligned}$$

(3.3)

Proof

For any time $t\in (0,T]$, there exists some interval $((i-1)h,ih]$ such that $t\in ((i-1)h,ih]$, and then $\|U^{(n)}(x, t)\|^{2}_{L^{2}(\Omega )}=\|w_{i}(x)\|^{2}_{L^{2}( \Omega )} \leq C$. So we have (3.1). Besides, estimate (2.8) can give

$$\begin{aligned} \biggl(\frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p}{\,\mathrm{d}}x \biggr) (t) = \frac{1}{p} \int _{\Omega } \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{\,\mathrm{d}}x \leq \frac{1}{p} \int _{\Omega }\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{0} \vert ^{p}{ \,\mathrm{d}}x \leq C. \end{aligned}$$

It implies (3.2)–(3.3). □

Now we introduce another approximate solution

$$\begin{aligned} V^{(n)}(x, t)=\sum_{i=1}^{n} \mathbb{S}_{i}(t) \bigl(\Theta _{i}(t)w_{i}(x)+ \bigl(1- \Theta _{i}(t)\bigr)w_{i-1}(x) \bigr) \end{aligned}$$

(3.4)

with

$$\begin{aligned} \Theta _{i}(t)=\textstyle\begin{cases} \frac{t}{h}-(i-1), & \text{if } t\in ((i-1)h, ih], \\ 0, & \text{otherwise }. \end{cases}\displaystyle \end{aligned}$$

For $V^{(n)}$, we establish the estimates as follows.

Lemma 3

There is a constant C such that

$$\begin{aligned} \bigl\Vert V^{(n)}_{t} \bigr\Vert _{L^{2}(0, T; H^{1}(\Omega ))} + \bigl\Vert V^{(n)} \bigr\Vert _{L^{\infty }(0, T; W_{0}^{2, p}(\Omega ))}\leq C. \end{aligned}$$

Proof

By using $\frac{\partial V^{(n)}}{\partial t}=\frac{1}{h}\sum_{i=1}^{n} \mathbb{S}_{i}(w_{i}-w_{i-1})$ and (2.8), we have

$$\begin{aligned} \biggl\Vert \frac{\partial \nabla V^{(n)}}{\partial t} \biggr\Vert _{L^{2}(Q_{T})}^{2} = \frac{1}{h^{2}}\sum_{i=1}^{n}h \int _{\Omega }(\nabla w_{i}-\nabla w_{i-1})^{2}{ \,\mathrm{d}}x \leq C. \end{aligned}$$

For $t\in [0, T]$, there is a positive integer i satisfying $t\in ((i-1)h, ih]$. Thus, (2.7) gives

$$\begin{aligned} & \biggl( \int _{\Omega } \bigl\vert \triangle V^{(n)} \bigr\vert ^{p}{\,\mathrm{d}}x \biggr) (t) \\ & \quad = \int _{\Omega } \bigl\vert \bigl(\Theta _{i}(t) \triangle w_{i}(x)+\bigl(1-\Theta _{i}(t)\bigr) \triangle w_{i-1}(x)\bigr) \bigr\vert ^{p}{\,\mathrm{d}}x \\ &\quad \leq C_{1} \int _{\Omega } \bigl\vert \triangle w_{i}(x) \bigr\vert ^{p}{\,\mathrm{d}}x+C_{2} \int _{\Omega } \bigl\vert \triangle w_{i-1}(x) \bigr\vert ^{p}{\,\mathrm{d}}x \\ & \quad \leq C. \end{aligned}$$

It shows the estimate in $L^{\infty }(0, T; W_{0}^{2, p}(\Omega ))$. □

Next we give the proof of Proposition 1.

Proof of Proposition 1

Lemma 2 can ensure the existence of a subsequence of $U^{(n)}$ (we always take the same notation) and two functions $w\in L^{\infty }(0,T; W_{0}^{2, p}(\Omega ))$ and $v\in L^{\frac{p}{p-1}}(Q_{T})$ such that

$$\begin{aligned} & U^{(n)}\stackrel{*}{\rightharpoonup } w \quad \text{weakly* in } L^{\infty }\bigl(0,T; W_{0}^{2, p}(\Omega )\bigr), \\ & \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p-2}\triangle U^{(n)} \rightharpoonup \varrho _{\varepsilon }^{\alpha }v \quad \text{weakly in } L^{ \frac{p}{p-1}}(Q_{T}), \end{aligned}$$

as $n\rightarrow \infty$. Besides, from Lemma 3, we can find a subsequence of $V^{(n)}$ and a function ϖ such that

$$\begin{aligned} & \frac{\partial V^{(n)}}{\partial t}\rightharpoonup \frac{\partial \varpi }{\partial t} \quad \text{weakly in }L^{2}\bigl(0, T; H^{1}( \Omega )\bigr), \\ & V^{(n)}\stackrel{*}{\rightharpoonup }\varpi\quad \text{weakly* in }L^{ \infty }\bigl(0, T; W_{0}^{2, p}(\Omega )\bigr), \\ & V^{(n)}\rightarrow \varpi \quad \text{strongly in } L^{2} \bigl(0, T; H^{1}( \Omega )\bigr), \\ & V^{(n)}\rightarrow \varpi\quad \text{a.e. in } Q_{T}. \end{aligned}$$

On the other hand, for any $\varphi \in C_{0}^{\infty }(Q_{T})$, we have

$$\begin{aligned} & \int _{0}^{T} \int _{\Omega } \bigl\vert \bigl(\nabla U^{(n)}-\nabla V^{(n)}\bigr) \bigr\vert ^{2}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad = \int _{0}^{T} \int _{\Omega } \Biggl\vert \sum_{i=1}^{n} \mathbb{S}_{i}(t) \bigl(1- \Theta _{i}(t)\bigr) (\nabla w_{k}-\nabla w_{k-1}) \Biggr\vert ^{2}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq \sum_{i=1}^{n} \int _{(i-1)h}^{ih} \int _{\Omega } \bigl\vert (\nabla w_{i}- \nabla w_{i-1}) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad \leq CTh \rightarrow 0 \end{aligned}$$

as $n\rightarrow \infty$ (i.e. $h\rightarrow 0$). It implies $w=\varpi$ a.e. in $Q_{T}$ and

$$\begin{aligned} & U^{(n)}\rightarrow w \quad \text{strongly in } L^{2}\bigl(0, T; H^{1}(\Omega )\bigr), \\ & U^{(n)}\rightarrow w \quad \text{a.e. in } Q_{T}. \end{aligned}$$

If we perform the limit $n\rightarrow \infty$ in the expression

$$\begin{aligned} & \iint _{Q_{T}}\frac{\partial V^{(n)}}{\partial t}\varphi {\,\mathrm{d}}x{ \,\mathrm{d}}t+\gamma \iint _{Q_{T}}\nabla V^{(n)}_{t}\nabla \varphi {\,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\quad {} + \iint _{Q_{T}}\varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p-2} \triangle U^{(n)} \triangle \varphi {\,\mathrm{d}}x{\,\mathrm{d}}t =0, \end{aligned}$$

(3.5)

then we have

$$\begin{aligned} \iint _{Q_{T}}\frac{\partial w}{\partial t}\varphi {\,\mathrm{d}}x{\,\mathrm{d}}t+ \gamma \iint _{Q_{T}} \nabla w_{t}\nabla \varphi \,\mathrm{d}x \,\mathrm{d}t + \iint _{Q_{T}} \varrho _{\varepsilon }^{\alpha }v\triangle \varphi {\,\mathrm{d}}x{\,\mathrm{d}}t=0 \end{aligned}$$

(3.6)

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

The next job is to prove $v=|\triangle w|^{p-2}\triangle w$. For each test function $\psi \in C_{0}^{\infty }(0, T)$, we define $\varphi =\psi w$ as the multiplier in (3.6) to get

$$\begin{aligned} & -\frac{1}{2} \iint _{Q_{T}}w^{2}\frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{\,\mathrm{d}}x{ \,\mathrm{d}}t-\frac{\gamma }{2} \iint _{Q_{T}} \vert \nabla w \vert ^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad {}+ \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha }v\triangle w{ \,\mathrm{d}}x{\,\mathrm{d}}t =0. \end{aligned}$$

(3.7)

In (2.4), we use $\psi (t)w_{i}$ as the test function to give

$$\begin{aligned} & \frac{1}{h} \int _{\Omega }\psi w_{i}^{2}{\,\mathrm{d}}x+ \frac{\gamma }{h} \int _{\Omega }\psi \nabla w_{i}^{2}{ \,\mathrm{d}}x + \int _{\Omega }\psi \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{\,\mathrm{d}}x \\ &\quad =\frac{1}{h} \int _{\Omega }\psi w_{i-1}w_{i}{\,\mathrm{d}}x +\frac{\gamma }{h} \int _{\Omega }\psi \nabla w_{i-1}\nabla w_{i}{ \,\mathrm{d}}x \\ & \quad \leq \frac{1}{2h} \int _{\Omega }\psi w_{i}^{2}{\,\mathrm{d}}x+ \frac{1}{2h} \int _{\Omega }\psi w_{i-1}^{2}{\,\mathrm{d}}x+ \frac{\gamma }{2h} \int _{ \Omega }\psi \nabla w_{i}^{2}{ \,\mathrm{d}}x+\frac{\gamma }{2h} \int _{\Omega } \psi \nabla w_{i-1}^{2}{ \,\mathrm{d}}x. \end{aligned}$$

That becomes

$$\begin{aligned} &\frac{1}{2h} \int _{\Omega }\psi w_{i}^{2}{\,\mathrm{d}}x- \frac{1}{2h} \int _{ \Omega }\psi w_{i-1}^{2}{\,\mathrm{d}}x + \frac{\gamma }{2h} \int _{\Omega }\psi \nabla w_{i}^{2}{ \,\mathrm{d}}x-\frac{\gamma }{2h} \int _{\Omega }\psi \nabla w_{i-1}^{2}{ \,\mathrm{d}}x \\ & \quad {}+ \int _{\Omega }\psi \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{i} \vert ^{p}{ \,\mathrm{d}}x \leq 0. \end{aligned}$$

By introducing the notation $\tilde{U}^{(n)}(x,t)=\sum_{i=1}^{n}\mathbb{S}_{i}(t)w_{i-1}(x)$, we have

$$\begin{aligned} & \frac{1}{2h} \iint _{Q_{T}}\psi \bigl\vert U^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t- \frac{1}{2h} \iint _{Q_{T}}\psi \bigl\vert \tilde{U}^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t + \frac{\gamma }{2h} \iint _{Q_{T}}\psi \bigl\vert \nabla U^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} -\frac{\gamma }{2h} \iint _{Q_{T}}\psi \bigl\vert \nabla \tilde{U}^{(n)} \bigr\vert ^{2}{ \,\mathrm{d}}x{\,\mathrm{d}}t + \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p}{\,\mathrm{d}}x{ \,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

(3.8)

For any function $\varphi _{1}\in C_{0}^{\infty }(Q_{T})$, we can seek two constants $t_{1}$ and $t_{2}$ with $0< t_{1}< t_{2}< T$ such that $\operatorname{supp}\varphi _{1}, \operatorname{supp}\triangle \varphi _{1}\subset (t_{1}, t_{2})\times \Omega$. Meanwhile, we redefine ψ as $\psi \equiv 1$ on $(t_{1}, t_{2})$ and $\psi \equiv 0$ on $[0, h)\cup (T-h, T]$ for small h ($h< t_{1}$ and $T-h>t_{2}$). Now a direct computation gives

Similarly, one has

$$\begin{aligned} & \int _{0}^{T}\psi \bigl\vert \tilde{\nabla U}^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}t = \int _{0}^{T-h} \psi (t+h) \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}t. \end{aligned}$$

Therefore, we have

$$\begin{aligned} & \frac{1}{2h} \iint _{Q_{T}}\psi \bigl\vert U^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t- \frac{1}{2h} \iint _{Q_{T}}\psi \bigl\vert \tilde{U}^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}+\frac{\gamma }{2h} \iint _{Q_{T}}\psi \bigl\vert \nabla U^{(n)} \bigr\vert ^{2}{\,\mathrm{d}}x{ \,\mathrm{d}}t-\frac{\gamma }{2h} \iint _{Q_{T}}\psi \bigl\vert \nabla \tilde{U}^{(n)} \bigr\vert ^{2}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad =\frac{1}{2h} \int _{T-h}^{T} \int _{\Omega }\psi (t) \bigl\vert U^{(n)}(x, t) \bigr\vert ^{2}{ \,\mathrm{d}}x{\,\mathrm{d}}t+\frac{1}{2h} \int _{0}^{T-h} \int _{\Omega }\psi (t) \bigl\vert U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}-\frac{1}{2h} \int _{0}^{T-h} \int _{\Omega }\psi (t+h) \bigl\vert U^{(n)}(x, t) \bigr\vert ^{2}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} +\frac{\gamma }{2h} \int _{T-h}^{T} \int _{\Omega }\psi (t) \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t+\frac{\gamma }{2h} \int _{0}^{T-h} \int _{\Omega } \psi (t) \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}-\frac{\gamma }{2h} \int _{0}^{T-h} \int _{\Omega }\psi (t+h) \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad =-\frac{1}{2} \int _{0}^{T-h} \int _{\Omega } \frac{\psi (t+h)-\psi (t)}{h} \bigl\vert U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} -\frac{\gamma }{2} \int _{0}^{T-h} \int _{\Omega } \frac{\psi (t+h)-\psi (t)}{h} \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t. \end{aligned}$$

(3.8) implies

$$\begin{aligned} & -\frac{1}{2} \int _{0}^{T-h} \int _{\Omega } \frac{\psi (t+h)-\psi (t)}{h} \bigl\vert U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}-\frac{\gamma }{2} \int _{0}^{T-h} \int _{\Omega } \frac{\psi (t+h)-\psi (t)}{h} \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t + \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p}{ \,\mathrm{d}}x{ \,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

(3.9)

If we choose $\zeta =\triangle U^{(n)}$ and $\eta =\triangle (w-\lambda \varphi _{1}))$ with $\lambda >0$ and $\varphi _{1}\in C_{0}^{\infty }(Q_{T})$ in (2.12), then we have

$$\begin{aligned} & \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p}{ \,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\quad \geq - \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} + \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p-2} \triangle U^{(n)}\triangle (w-\lambda \varphi _{1}){\,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\qquad {} + \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p-2} \triangle (w-\lambda \varphi _{1}) \triangle U^{(n)}{ \,\mathrm{d}}x{\,\mathrm{d}}t. \end{aligned}$$

(3.10)

Use (3.9) and (3.10) to get

$$\begin{aligned} & -\frac{1}{2} \int _{0}^{T-h} \int _{\Omega } \frac{\psi (t+h)-\psi (t)}{h} \bigl\vert U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} -\frac{\gamma }{2} \int _{0}^{T-h} \int _{\Omega } \frac{\psi (t+h)-\psi (t)}{h} \bigl\vert \nabla U^{(n)}(x, t) \bigr\vert ^{2}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} - \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}+ \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle U^{(n)} \bigr\vert ^{p-2} \triangle U^{(n)}\triangle (w-\lambda \varphi _{1}){\,\mathrm{d}}x{ \,\mathrm{d}}t \\ & \qquad {}+ \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p-2} \triangle (w-\lambda \varphi _{1}) \triangle U^{(n)}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

(3.11)

By letting $n\rightarrow \infty$ (i.e. $h\rightarrow 0$), we have

$$\begin{aligned} & -\frac{1}{2} \int _{0}^{T} \int _{\Omega }w^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{\,\mathrm{d}}x{ \,\mathrm{d}}t -\frac{\gamma }{2} \int _{0}^{T} \int _{\Omega } \vert \nabla w \vert ^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} - \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t + \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha }v\triangle (w-\lambda \varphi _{1}){ \,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}+ \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p-2} \triangle (w-\lambda \varphi _{1}) \triangle w{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad \leq 0. \end{aligned}$$

(3.12)

Apply (3.7) and (3.12) to get

$$\begin{aligned} & - \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t -\lambda \iint _{Q_{T}} \psi \varrho _{\varepsilon }^{\alpha }v \triangle \varphi _{1}{\,\mathrm{d}}x{ \,\mathrm{d}}t \\ & \qquad {}+ \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p-2} \triangle (w-\lambda \varphi _{1}) \triangle w{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

Therefore, we have

$$\begin{aligned} \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl[ \bigl\vert \triangle (w- \lambda \varphi _{1}) \bigr\vert ^{p-2}\triangle (w-\lambda \varphi _{1})-v \bigr] \triangle \varphi _{1}{\,\mathrm{d}}x{\,\mathrm{d}}t \leq 0. \end{aligned}$$

We pass to the limit $\lambda \rightarrow 0$ to get

$$\begin{aligned} \iint _{Q_{T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl[ \vert \triangle w \vert ^{p-2} \triangle w-v \bigr]\triangle \varphi _{1}{\,\mathrm{d}}x{\,\mathrm{d}}t \leq 0. \end{aligned}$$

Finally, the arbitrariness of $\varphi _{1}$ and ψ implies $v=|\triangle w|^{p-2}\triangle w \text{ a.e. in } Q_{T}$. Thus, (3.6) becomes

$$\begin{aligned} & \iint _{Q_{T}}\frac{\partial w}{\partial t}\varphi {\,\mathrm{d}}x{\,\mathrm{d}}t+ \gamma \iint _{Q_{T}} \nabla w_{t} \nabla \varphi { \,\mathrm{d}}x{\,\mathrm{d}}t + \iint _{Q_{T}}\varrho _{\varepsilon }^{\alpha } \vert \triangle w \vert ^{p-2} \triangle w\triangle \varphi {\,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\quad =0. \end{aligned}$$

(3.13)

For other estimates in Proposition 1, we may apply J. Simon’s lemma (see [15]) and Sobolev’s embedding theorem (see [1] and [5]), and so we omit the details. The uniqueness can be shown as the corresponding proof of Lemma 1. □

4 Existence for degenerate coefficient

For the solutions obtained in Proposition 1, we would use the notation $w_{\varepsilon }$. In this section, we want to gain necessary uniform estimations with respect to ε so that the limit $\varepsilon \rightarrow 0$ can be passed well.

For uniform estimates, we have the lemma.

Lemma 4

There are a constant C and a constant $\theta >1$ (close to 1) such that

$$\begin{aligned} & \Vert w_{\varepsilon } \Vert _{L^{\infty }(0,T;H^{1}(\Omega ))}\leq C, \end{aligned}$$

(4.1)

$$\begin{aligned} & \bigl\Vert \varrho _{\varepsilon }^{\frac{\alpha }{p}}\triangle w_{\varepsilon } \bigr\Vert _{L^{p}(Q_{T})}\leq C, \end{aligned}$$

(4.2)

$$\begin{aligned} & \bigl\Vert \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{\varepsilon } \vert ^{p-2} \triangle w_{\varepsilon } \bigr\Vert _{L^{\frac{p}{p-1}}(Q_{T})}\leq C, \end{aligned}$$

(4.3)

$$\begin{aligned} & \Vert w_{\varepsilon t} \Vert _{L^{2}(0, T; H^{1}(\Omega ))} \leq C, \end{aligned}$$

(4.4)

$$\begin{aligned} & \Vert \triangle w_{\varepsilon } \Vert _{L^{\theta }(Q_{T})}\leq C. \end{aligned}$$

(4.5)

Proof

Define the characteristic function

$$\mathbb{S}_{[0, t]}(t)=\textstyle\begin{cases} 1, & t\in [0, t]; \\ 0, & \text{otherwise} \end{cases} $$

and apply $\varphi =w_{\varepsilon }\mathbb{S}_{[0, t]}(t)$ as the test function in (3.13) to give

$$\begin{aligned} & \frac{1}{2} \int _{\Omega }w_{\varepsilon }^{2}(x, t){\,\mathrm{d}}x+ \frac{\gamma }{2} \int _{\Omega }\nabla w_{\varepsilon }^{2}(x, t){ \,\mathrm{d}}x + \iint _{Q_{t}}\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{ \varepsilon } \vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad =\frac{1}{2} \int _{\Omega }w_{0\varepsilon }^{2}(x){\,\mathrm{d}}x+ \frac{\gamma }{2} \int _{\Omega }\nabla w_{0\varepsilon }^{2}(x){ \,\mathrm{d}}x. \end{aligned}$$

(4.6)

It implies (4.1) and (4.2). Since $\varrho _{\varepsilon }$ is bounded, (4.3) can be shown. From (3), the limit

$$\begin{aligned} \nabla w^{(n)}_{\varepsilon t}\rightharpoonup \nabla w_{\varepsilon t} \quad \text{weakly in } L^{2}(Q_{T}) \text{ as } n\rightarrow \infty \end{aligned}$$

can give the estimate

$$\begin{aligned} \Vert \nabla w_{\varepsilon t} \Vert _{L^{2}(Q_{T})} \leq \liminf _{n\rightarrow \infty } \bigl\Vert \nabla w^{(n)}_{\varepsilon t} \bigr\Vert _{L^{2}(Q_{T})} \leq C, \end{aligned}$$

where we have used the weak lower semi-continuity for $L^{2}$-norm, and the constant C depends on the $W_{0}^{2}$-norm of the initial function.

On the other hand, the condition $\alpha < p-1$ implies $\frac{\alpha }{p-1}<1$, and thus we can seek a constant $\alpha _{1}\in (\frac{\alpha }{p-1}, 1)$. Besides, we can determine the constant $\theta \in (1, \min \{p-\frac{\alpha }{\alpha _{1}}, \frac{1}{\alpha _{1}}\})$. Moreover, the above constants satisfy the conditions $\alpha _{1}\theta <1$ and $\frac{\alpha }{\alpha _{1}}+\theta < p$. Now we have the estimate

$$\begin{aligned} & \iint _{Q_{T}} \vert \triangle w_{\varepsilon } \vert ^{\theta }{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad \leq \iint _{\{\varrho _{\varepsilon }^{\alpha _{1}} \vert \triangle w_{ \varepsilon } \vert \leq 1\}} \vert \triangle w_{\varepsilon } \vert ^{\theta }{\,\mathrm{d}}x{ \,\mathrm{d}}t + \iint _{\{\varrho _{\varepsilon }^{\alpha _{1}} \vert \triangle w_{ \varepsilon } \vert >1\}} \vert \triangle w_{\varepsilon } \vert ^{\theta }{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq \iint _{Q_{T}}\varrho _{\varepsilon }^{-\alpha _{1}\theta }{\,\mathrm{d}}x{ \,\mathrm{d}}t + \iint _{Q_{T}}\varrho _{\varepsilon }^{\alpha } \vert \triangle w_{ \varepsilon } \vert ^{\frac{\alpha }{\alpha _{1}}+\theta }{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq \iint _{Q_{T}}\varrho ^{-\alpha _{1}\theta }{\,\mathrm{d}}x{\,\mathrm{d}}t +C \iint _{Q_{T}}\varrho _{\varepsilon }^{\alpha }\bigl(1+ \vert \triangle w_{ \varepsilon } \vert ^{p}\bigr){\,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\quad \leq C, \end{aligned}$$

where we have applied (4.6). It yields (4.5). □

Proof of Theorem 1

Lemma 4 allows us to find a subsequence of $w_{\varepsilon }$ and two functions w, $v'$ so that

$$\begin{aligned} & w_{\varepsilon t}\rightharpoonup w_{t}\quad \text{weakly in } L^{2}\bigl(0, T; H^{1}(\Omega )\bigr), \end{aligned}$$

(4.7)

$$\begin{aligned} & w_{\varepsilon }\stackrel{*}{\rightharpoonup }w\quad \text{weakly* in }L^{ \infty }\bigl(0, T; H^{1}(\Omega )\bigr), \end{aligned}$$

(4.8)

$$\begin{aligned} & \triangle w_{\varepsilon }\rightharpoonup \triangle w \quad \text{weakly in } L_{\mathrm{{loc}}}^{p}(Q_{T}), \end{aligned}$$

(4.9)

$$\begin{aligned} & w_{\varepsilon }\rightarrow w\quad \text{strongly in } L^{2}\bigl(0, T; H^{1}( \Omega )\bigr), \end{aligned}$$

(4.10)

$$\begin{aligned} & w_{\varepsilon }\rightarrow w\quad \text{a. e. in } Q_{T}, \end{aligned}$$

(4.11)

$$\begin{aligned} & \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{\varepsilon } \vert ^{p-2} \triangle w_{\varepsilon }\rightharpoonup v'\quad \text{weakly in } L^{ \frac{p}{p-1}}(Q_{T}) \end{aligned}$$

(4.12)

as $\varepsilon \rightarrow 0$. It can ensure

$$ \begin{aligned} &w_{t}\in L^{2}\bigl(0, T; H^{1}(\Omega )\bigr), \qquad w \in L^{\infty }\bigl(0, T; H^{1}( \Omega )\bigr), \\ &\triangle w\in L_{\mathrm{{loc}}}^{p}(Q_{T}), \qquad v'\in L^{ \frac{p}{p-1}}(Q_{T}).\end{aligned}$$

If we perform the limit $\varepsilon \rightarrow \infty$ in (3.13), then we have

$$\begin{aligned} \iint _{Q_{T}}\frac{\partial w}{\partial t}\varphi {\,\mathrm{d}}x{\,\mathrm{d}}t+ \gamma \iint _{Q_{T}}\nabla {w_{t}}\nabla \varphi { \,\mathrm{d}}x{\,\mathrm{d}}t + \iint _{Q_{T}}v'\triangle \varphi {\,\mathrm{d}}x{ \,\mathrm{d}}t =0 \end{aligned}$$

(4.13)

for any $\varphi \in C_{0}^{\infty }(Q_{T})$. We need to prove

$$\begin{aligned} \iint _{Q_{T}}v'\triangle \varphi {\,\mathrm{d}}x{ \,\mathrm{d}}t= \iint _{Q_{T}} \varrho ^{\alpha } \vert \triangle w \vert ^{p-2}\triangle w \triangle \varphi { \,\mathrm{d}}x{\,\mathrm{d}}t. \end{aligned}$$

(4.14)

To show this, for each $\phi \in C_{0}^{\infty }(Q_{T})$, we can find a small positive constant β such that $\operatorname{supp}\phi , \operatorname{supp}\triangle \phi \subset \subset \Omega _{ \beta }\times (\beta , T-\beta )$, where $\Omega _{\beta }=\{x\in \Omega |\operatorname{dist}(x, \partial \Omega )> \beta \}$. Now we can rewrite (4.13) and (3.13) as

$$\begin{aligned} & \iint _{Q_{\beta T}}\frac{\partial w}{\partial t}\phi {\,\mathrm{d}}x{\,\mathrm{d}}t + \gamma \iint _{Q_{\beta T}}\nabla {w_{t}}\nabla \phi {\,\mathrm{d}}x{ \,\mathrm{d}}t + \iint _{Q_{\beta T}}v'\triangle \phi {\,\mathrm{d}}x{ \,\mathrm{d}}t =0, \end{aligned}$$

(4.15)

$$\begin{aligned} & \iint _{Q_{\beta T}}\frac{\partial w_{\varepsilon }}{\partial t}\phi { \,\mathrm{d}}x{\,\mathrm{d}}t + \gamma \iint _{Q_{\beta T}}\nabla w_{\varepsilon t} \nabla \phi {\,\mathrm{d}}x{ \,\mathrm{d}}t + \iint _{Q_{\beta T}}\varrho _{ \varepsilon }^{\alpha } \vert \triangle w_{\varepsilon } \vert ^{p-2}\triangle w_{ \varepsilon } \triangle \phi {\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad =0 \end{aligned}$$

(4.16)

with $Q_{\beta T}=\Omega _{\beta }\times (\beta , T-\beta )$.

For any $\psi \in C^{\infty }(0, T)$ with $\operatorname{supp}\psi \subset (\beta , T-\beta )$, we choose $\phi =\psi w$ as the test function (may need some approximate procedure here and below) in (4.13) to obtain

$$\begin{aligned} & -\frac{1}{2} \iint _{Q_{\beta T}}w^{2}\frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{ \,\mathrm{d}}x{ \,\mathrm{d}}t -\frac{\gamma }{2} \iint _{Q_{\beta T}} \vert \nabla w \vert ^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad {} + \iint _{Q_{\beta T}}\psi v'\triangle w{\,\mathrm{d}}x{ \,\mathrm{d}}t =0. \end{aligned}$$

(4.17)

On the other hand, we take $\phi =\psi w_{\varepsilon }$ as the multiplier in (4.13) to get

$$\begin{aligned} & -\frac{1}{2} \iint _{Q_{\beta T}}w_{\varepsilon }^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{ \,\mathrm{d}}x{\,\mathrm{d}}t -\frac{\gamma }{2} \iint _{Q_{ \beta T}} \vert \nabla w_{\varepsilon } \vert ^{2}\frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ &\quad {} + \iint _{Q_{\beta T}}\psi \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{\varepsilon } \vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t =0. \end{aligned}$$

(4.18)

For $\lambda >0$, we set $\zeta =\triangle w_{\varepsilon }$ and $\eta =\triangle (w-\lambda \phi )$ in (2.12) and use (4.18) to find

$$\begin{aligned} & -\frac{1}{2} \iint _{Q_{\beta T}}w_{\varepsilon }^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{ \,\mathrm{d}}x{\,\mathrm{d}}t -\frac{\gamma }{2} \iint _{Q_{ \beta T}} \vert \nabla w_{\varepsilon } \vert ^{2}\frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{ \,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} - \iint _{Q_{\beta T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w-\lambda \phi ) \bigr\vert ^{p}{\,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\qquad {} + \iint _{Q_{\beta T}}\psi \varrho _{\varepsilon }^{\alpha } \vert \triangle w_{\varepsilon } \vert ^{p-2}\triangle w_{\varepsilon } \triangle (w- \lambda \phi ){\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} + \iint _{Q_{\beta T}}\psi \varrho _{\varepsilon }^{\alpha } \bigl\vert \triangle (w-\lambda \phi ) \bigr\vert ^{p-2}\triangle (w- \lambda \phi ) \triangle w_{\varepsilon }{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

By letting $\varepsilon \rightarrow 0$, we find

$$\begin{aligned} & -\frac{1}{2} \iint _{Q_{\beta T}}w^{2}\frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{ \,\mathrm{d}}x{ \,\mathrm{d}}t -\frac{\gamma }{2} \iint _{Q_{\beta T}} \vert \nabla w \vert ^{2} \frac{{\,\mathrm{d}}\psi }{{\,\mathrm{d}}t}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ &\qquad {} - \iint _{Q_{\beta T}}\psi \varrho ^{\alpha } \bigl\vert \triangle (w-\lambda \phi ) \bigr\vert ^{p}{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \qquad {}+ \iint _{Q_{\beta T}}\psi v'\triangle (w-\lambda \phi ){ \,\mathrm{d}}x{ \,\mathrm{d}}t \\ &\qquad {} + \iint _{Q_{\beta T}}\psi \varrho ^{\alpha } \bigl\vert \triangle (w-\lambda \phi ) \bigr\vert ^{p-2}\triangle (w-\lambda \phi )\triangle w{\,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

Apply (4.15) to have

$$\begin{aligned} \iint _{Q_{\beta T}}\psi \bigl(\varrho ^{\alpha } \bigl\vert \triangle (w-\lambda \phi ) \bigr\vert ^{p-2}\triangle (w-\lambda \phi )-v'\bigr)\triangle \phi {\,\mathrm{d}}x{ \,\mathrm{d}}t \leq 0. \end{aligned}$$

By passing to the limit $\lambda \rightarrow 0^{+}$, we get

$$\begin{aligned} & \iint _{Q_{T}}\psi \bigl(\varrho ^{\alpha } \vert \triangle w \vert ^{p-2}\triangle w-v'\bigr) \triangle \phi { \,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad = \iint _{Q_{\beta T}}\psi \bigl(\varrho ^{\alpha } \vert \triangle w \vert ^{p-2} \triangle w-v'\bigr)\triangle \phi { \,\mathrm{d}}x{\,\mathrm{d}}t \\ & \quad \leq 0. \end{aligned}$$

For negative λ, we can have the same result with an opposite inequality sign. Therefore, we can show (4.14) from the arbitrariness of ϕ and ψ.

Finally, a standard process can give the other estimates of the theorem and the uniqueness of weak solutions. Now we have completed the proof of Theorem 1. □