Existence of nonnegative nontrivial periodic solutions to a doubly degenerate parabolic equation with variable exponent

Abstract

The authors investigate a degenerate parabolic equation with delay and nonlocal term, which describes slow diffusive processes in physics or biology. The existence of a nonnegative nontrivial periodic solution is obtained through the use of the Leray-Schauder degree method.

MSC:35D05, 35K55.

1 Introduction

In this paper, we are interested in the following evolutional $p(x)$-Laplacian equation:

$$\{\begin{array}{c}\frac{\partial u}{\partial t}-div(|\mathrm{\nabla }{u}^m{|}^{p(x)-2}\mathrm{\nabla }{u}^m)\hfill \\ =[a(x,t)-{\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi ]u,\hfill & (x,t)\in Q_T,\hfill \\ u(x,t)=0,\hfill & (x,t)\in {\mathrm{\Gamma }}_T,\hfill \\ u(x,0)=u(x,T),\hfill & x\in \mathrm{\Omega }.\hfill \end{array}$$

(1.1)

Here, Ω is a bounded simply connected domain with smooth boundary ∂ Ω in ${\mathbb{R}}^N$, $Q_T=\mathrm{\Omega }\times (0,T)$, ${\mathrm{\Gamma }}_T=\partial \mathrm{\Omega }\times (0,T)$, $T>0$, and $\tau \in (0,+\mathrm{\infty })$. We assume $m>1$, $p\in C^{1,\alpha }(\overline{\mathrm{\Omega }})$, with $p^{+}:={max}_{\overline{\mathrm{\Omega }}}p(x)$, $p^{-}:={min}_{\overline{\mathrm{\Omega }}}p(x)$, $p^{+}\ge p^{-}>2$ and that $a\in L^{\mathrm{\infty }}(Q_T)$ and $K\in L^{\mathrm{\infty }}(Q_T)$ can be extended as T-periodic functions to $\mathrm{\Omega }\times R$. Furthermore, we assume that $K\ge 0$ for a.e. $(x,t)\in Q_T$.

Equation (1.1) is a doubly degenerate parabolic equation with delay and nonlocal term, which models diffusive periodic phenomena in physics and mathematical biology. In biology, it arises from population model, where $u(x,t)$ denotes the density of population at time t located at $x\in \mathrm{\Omega }$, a is the natural growth rate of the population, the nonlocal term ${\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi$ evaluates a weighted fraction of individual, and the delayed density u at time $t-\tau$ appearing in the nonlocal term represents the time needed to an individual to become adult. In physics, problem (1.1) is proposed based on some evolution phenomena in electrorheological fluids [1]. It describes the ability of a conductor to undergo significant changes when an electric field is imposed on. This model has been employed for some technological applications, such as medical rehabilitation equipment and shock wave absorber.

When $p(x)$ is a constant and $m>1$, $p>2$, the model describes the slow diffusion process in physics, which has been extensively investigated; see [2–7]. For example, in [5], the authors studied the following doubly degenerate parabolic equation with logistic periodic sources:

$$\frac{\partial u}{\partial t}-div\left(\right|\mathrm{\nabla }{u}^m{|}^{p-2}\mathrm{\nabla }{u}^m)=u^{\alpha }(a-b{u}^{\beta }).$$

They proved the existence of a nontrivial nonnegative periodic solution via monotonicity method. Using a Moser iterative method (see [8–11]), they also obtained some a priori bounds and asymptotic behaviors for the solutions.

Recently, the variable exponent Sobolev space and its applications have attracted considerable interest; see [1, 12–14] and the references therein. When $p^{+}\ge p^{-}>2$ and $m>1$, the doubly degenerate parabolic equation (1.1) is a more realistic model which describes the rather slow diffusion process. In our models, the principal term $div(|\mathrm{\nabla }{u}^m{|}^{p(x)-2}\mathrm{\nabla }{u}^m)$, in place of the usual term $\mathrm{△}{u}^m$ or $div(|\mathrm{\nabla }{u}^m{|}^{p-2}\mathrm{\nabla }{u}^m)$, represents nonhomogeneous diffusion that depends on the position $x\in \mathrm{\Omega }$ and thus gives a better description of nonhomogeneous character of the process.

There are many differences between Sobolev spaces with constant exponent and those with variable exponent; many powerful tools applicable in constant exponent spaces are not available for variable exponent spaces. For instance, the variable exponent spaces are no longer translation invariant and Young’s inequality ${\parallel f\ast g\parallel }_{p(\cdot )}\le C{\parallel f\parallel }_{p(\cdot )}{\parallel g\parallel }_1$ holds if and only if p is constant (see monograph [12]). As we all know, the frequently used Hölder’s inequality, Poincaré’s inequality, etc., will be presented in new forms for variable exponent spaces.

The presence of the nonlocal term and $p(x)$-Laplacian term makes the sup-solution and sub-solution method (as in [5]) in vain. In our paper, we adopt the topological degree method (as in [8–10]) to show the existence of nontrivial periodic solutions to problem (1.1). However, the method employed in the variable exponent case [13] or in the constant exponent case [8–11] cannot be directly used to derive the uniform upper bound for solutions, which is a crucial step in applying the topological degree method. We apply a modified De Giorgi iteration to establish the crucial uniform bound. We believe that the modified De Giorgi iteration used in this paper can be employed to other types equations with nonstandard growth conditions.

We now discuss the main plan of the paper. In Section 2, we review some preliminaries concerning the variable exponent Sobolev spaces and introduce a family of regularized problems for problem (1.1). We regularize the degenerate part through replacing the term $div(|\mathrm{\nabla }{u}^m{|}^{p(x)-2}\mathrm{\nabla }{u}^m)$ by

$$div\left\{{\left(\right|\mathrm{\nabla }(\sigma u^m+ϵu){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u^m+ϵu)\right\},ϵ,\eta >0.$$

In Section 3, in order to apply the topological degree method, we combine these regularized problems with a relatively simpler equation and derive some a priori estimates. By virtue of the De Giorgi iteration technique, we deduce an a priori $L^{\mathrm{\infty }}$ bound for solutions to the regularized problems in Proposition 3.2; and the uniform lower bound estimate is obtained in Proposition 3.5. In Section 4, we establish the existence of nonnegative nontrivial solution of (1.1) through the limit process as ϵ and η tend to zero. Finally, in the Appendix, we give a proof of the iteration lemma (Lemma 3.1) for the sake of readability.

2 Preliminaries and the regularized problems of (1.1)

First of all, for the reader’s convenience, we recall some preliminary results concerning the variable exponent Sobolev spaces. One may find these standard results in monographs [1, 12].

Let p be a continuous function defined in $\overline{\mathrm{\Omega }}$, $p(x)>1$, for any $x\in \overline{\mathrm{\Omega }}$.

• 1. $L^{p(x)}(\mathrm{\Omega })$ space: We have

  $$L^{p(x)}(\mathrm{\Omega }):=\{u:u\text{ is measurable in }\mathrm{\Omega }\text{ and }{\int }_{\mathrm{\Omega }}|u(x){|}^{p(x)}dx<\mathrm{\infty }\},$$

  equipped with the following Luxemburg norm:

  $$|u{|}_{L^{p(x)}(\mathrm{\Omega })}:=inf\{\lambda >0:{\int }_{\mathrm{\Omega }}|\frac{u(x)}{\lambda }{|}^{p(x)}dx\le 1\}.$$

  The space $(L^{p(x)}(\mathrm{\Omega }),|\cdot {|}_{L^{p(x)}(\mathrm{\Omega })})$ is a separable, uniformly convex Banach space.

• 2. $W^{1,p(x)}(\mathrm{\Omega })$ space: We have

  $$W^{1,p(x)}(\mathrm{\Omega }):=\{u\in L^{p(x)}(\mathrm{\Omega }):|\mathrm{\nabla }u|\in L^{p(x)}(\mathrm{\Omega })\},$$

  endowed with the norm $|u{|}_{W^{1,p(x)}(\mathrm{\Omega })}:=|\mathrm{\nabla }u{|}_{L^{p(x)}(\mathrm{\Omega })}+|u{|}_{L^{p(x)}(\mathrm{\Omega })}$. We denote by $W_0^{1,p(x)}(\mathrm{\Omega })$ the closure of $C_0^{\mathrm{\infty }}(\mathrm{\Omega })$ in $W^{1,p(x)}(\mathrm{\Omega })$. In fact, the norm $|\mathrm{\nabla }u{|}_{L^{p(x)}(\mathrm{\Omega })}$ and ${|u|}_{W^{1,p(x)}(\mathrm{\Omega })}$ are equivalent norms in $W_0^{1,p(x)}(\mathrm{\Omega })$. $W^{1,p(x)}(\mathrm{\Omega })$ and $W_0^{1,p(x)}(\mathrm{\Omega })$ are separable and reflexive Banach spaces with the above norms.

• 3. Frequently used relationships in the estimate:

  $$\begin{array}{r}min\{{\left({\int }_{\mathrm{\Omega }}\right|u(x){|}^{p(x)}dx)}^{\frac{1}{p^{+}}},{\left({\int }_{\mathrm{\Omega }}\right|u(x){|}^{p(x)}dx)}^{\frac{1}{p^{-}}}\}\\ \le |u{|}_{L^{p(x)}(\mathrm{\Omega })}\\ \le max\{{\left({\int }_{\mathrm{\Omega }}\right|u(x){|}^{p(x)}dx)}^{\frac{1}{p^{+}}},{\left({\int }_{\mathrm{\Omega }}\right|u(x){|}^{p(x)}dx)}^{\frac{1}{p^{-}}}\}.\end{array}$$

• 4. $p(x)$ -Hölder’s inequality:

  For any $u\in L^{p(x)}(\mathrm{\Omega })$ and $v\in L^{q(x)}(\mathrm{\Omega })$, with $\frac{1}{p(x)}+\frac{1}{q(x)}=1$, we have

  $$\left|{\int }_{\mathrm{\Omega }}uvdx\right|\le (\frac{1}{p^{-}}+\frac{1}{q^{-}})|u{|}_{L^{p(x)}(\mathrm{\Omega })}|v{|}_{L^{q(x)}(\mathrm{\Omega })}.$$

• 5. Embedding relationships:

  If $p_1$ and $p_2$ are in $C(\overline{\mathrm{\Omega }})$, and $1\le p_1(x)\le p_2(x)$, for any $x\in \overline{\mathrm{\Omega }}$, then there exists a positive constant $C_{p_1(x),p_2(x)}$ such that

  $$|u{|}_{L^{p_1(x)}(\mathrm{\Omega })}\le C_{p_1(x),p_2(x)}|u{|}_{L^{p_2(x)}(\mathrm{\Omega })},$$

  i.e. the embedding $L^{p_2(x)}(\mathrm{\Omega })\hookrightarrow L^{p_1(x)}(\mathrm{\Omega })$ is continuous.

  If $q\in C(\overline{\mathrm{\Omega }})$ and $1\le q(x)<p^{\ast }(x)$, for any $x\in \overline{\mathrm{\Omega }}$, then the embedding $W_0^{1,p(x)}(\mathrm{\Omega })\hookrightarrow L^{q(x)}(\mathrm{\Omega })$ is continuous and compact. Here

  $$p^{\ast }(x):=\{\begin{array}{cc}\frac{Np(x)}{N-p(x)},\hfill & p(x)<N,\hfill \\ +\mathrm{\infty },\hfill & p(x)\ge N.\hfill \end{array}$$

• 6. $p(x)$ -Poincaré’s inequality:

There exists a positive constant $C_p$ such that $|u{|}_{L^{p(x)}(\mathrm{\Omega })}\le C_p|\mathrm{\nabla }u{|}_{L^{p(x)}(\mathrm{\Omega })}$, for any $u\in W_0^{1,p(x)}(\mathrm{\Omega })$.

We next define the weak solutions to problem (1.1).

Definition 2.1 u is said to be a weak periodic solution to (1.1) provided that $u^m\in L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$ with $|\mathrm{\nabla }{u}^m|\in L^{p(x)}(Q_T)$, $u\in C({\overline{Q}}_T)$ and u satisfies

$$\begin{array}{rl}0=& {\iint }_{Q_T}\{-u\frac{\partial \phi }{\partial t}+|\mathrm{\nabla }{u}^m{|}^{p(x)-2}\mathrm{\nabla }{u}^m\mathrm{\nabla }\phi \\ -au\phi +u\phi {\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi \}dxdt,\end{array}$$

(2.1)

for all $\phi \in C^1({\overline{Q}}_T)$ satisfying $\phi (x,T)=\phi (x,0)$ for $x\in \mathrm{\Omega }$ and $\phi (\cdot ,t){|}_{\partial \mathrm{\Omega }}=0$ for $t\in [0,T]$.

As in [7], we introduce the following regularized problem:

$$\{\begin{array}{c}\frac{\partial u}{\partial t}-div\{{(|\mathrm{\nabla }(\sigma u^m+ϵu){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u^m+ϵu)\}\hfill \\ =[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi ]u,\hfill & \text{a.e. }(x,t)\in Q_T,\hfill \\ u(\cdot ,t){|}_{\partial \mathrm{\Omega }}=0,\hfill & \text{a.e. }t\in (0,T),\hfill \\ u(\cdot ,0)=u(\cdot ,T),\hfill \end{array}$$

(2.2)

where $0<ϵ<\frac{1}{2}$, $0<\eta <{(\frac{1}{2})}^{\frac{p^{+}-2}{p^{-}-2}}$ and $\sigma \in [0,1]$ are given constants.

Definition 2.2 We say that $u_{ϵ\eta }$ is a weak periodic solution of (2.2), if $u_{ϵ\eta }^m\in L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$ with $|\mathrm{\nabla }{u}_{ϵ\eta }^m|\in L^{p(x)}(Q_T)$, $u_{ϵ\eta }\in C({\overline{Q}}_T)$, and $u_{ϵ\eta }$ solves

$$\begin{array}{rl}0=& {\iint }_{Q_T}\{-u_{ϵ\eta }\frac{\partial \phi }{\partial t}+{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }\phi \\ -a{u}_{ϵ\eta }\phi +u_{ϵ\eta }\phi {\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi \}dxdt,\end{array}$$

(2.3)

for all $\phi \in C^1({\overline{Q}}_T)$ satisfying $\phi (x,T)=\phi (x,0)$ for $x\in \mathrm{\Omega }$ and $\phi (\cdot ,t){|}_{\partial \mathrm{\Omega }}=0$ for $t\in [0,T]$.

Remark 2.3 For any $p\in C^{1,\alpha }(\overline{\mathrm{\Omega }})$, the set $\{\phi \in C^1({\overline{Q}}_T):\phi (\cdot ,T)=\phi (\cdot ,0)\}$ is dense in $\{\phi \in C({\overline{Q}}_T)\cap L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega })):|\mathrm{\nabla }{u}^m|\in L^{p(x)}(Q_T),\phi (\cdot ,T)=\phi (\cdot ,0)\}$, thus in the sense of the definition of weak solution above, $u_{ϵ\eta }$ can be chosen as test function.

We investigate problem (2.2) extensively before studying the limit process as $ϵ,\eta \to 0$. Define a map $G_{ϵ\eta }:[0,1]\times L^{\mathrm{\infty }}(Q_T)\to L^{\mathrm{\infty }}(Q_T)$ as follows:

$$(\sigma ,f)\mapsto u_{ϵ\eta }=G_{ϵ\eta }(\sigma ,f),$$

where $u_{ϵ\eta }$ is a weak periodic solution of the problem:

$$\{\begin{array}{cc}\frac{\partial u}{\partial t}-div\{{(|\mathrm{\nabla }(\sigma u^m+ϵu){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u^m+ϵu)\}=f,\hfill & \text{a.e. }(x,t)\in Q_T,\hfill \\ u(\cdot ,t){|}_{\partial \mathrm{\Omega }}=0,\hfill & \text{a.e. }t\in (0,T),\hfill \\ u(\cdot ,0)=u(\cdot ,T).\hfill \end{array}$$

(2.4)

Given $\alpha \in L^{\mathrm{\infty }}(Q_T)$, let $f=f(\alpha )\in L^{\mathrm{\infty }}(Q_T)$ be defined by

$$f(x,t)=f(\alpha )(x,t)=[a(x,t)-{\int }_{\mathrm{\Omega }}K(\xi ,t){\alpha }^2(\xi ,t-\tau )d\xi ]\alpha \text{for }(x,t)\in Q_T.$$

Therefore, if a nonnegative function $u_{ϵ\eta }\in L^{\mathrm{\infty }}(Q_T)$ satisfies $u_{ϵ\eta }=G_{ϵ\eta }(1,f(u_{ϵ\eta }))$, then $u_{ϵ\eta }$ is a weak solution of (2.2).

Define

$$T_{ϵ\eta }(\sigma ,u)=G_{ϵ\eta }(\sigma ,f(u)),(\sigma ,u)\in [0,1]\times L^{\mathrm{\infty }}(Q_T).$$

Then, according to [3] or the classical regularity results from [4], one obtains the following lemma.

Lemma 2.4 Assume that $0<ϵ<\frac{1}{2}$, $0<\eta <{(\frac{1}{2})}^{\frac{p^{+}-2}{p^{-}-2}}$ and $\lambda \in L^{\mathrm{\infty }}(Q_T)$. Then $T_{ϵ\eta }$ is a continuous compact operator from $[0,1]\times L^{\mathrm{\infty }}(Q_T)$ to $L^{\mathrm{\infty }}(Q_T)$. Furthermore, $u_{ϵ\eta }=T_{ϵ\eta }(\sigma ,\lambda )\in C({\overline{Q}}_T)$.

3 A priori estimates to the regularized problem

First of all, the following modified De Giorgi iteration lemma will be useful (we give a proof in the Appendix).

Lemma 3.1 (Iteration lemma)

Suppose $\phi (t)$ is a nonnegative and nonincreasing function on $[K_0,+\mathrm{\infty })$, it satisfies

$$\phi (h)\le {\left(\frac{M}{h-k}\right)}^{\alpha }[{\phi }^{\beta }(k)+{\phi }^{\gamma }(k)],$$

(3.1)

for any $h>k\ge k_0$, and for some constants $M>0$, $\alpha >0$, $\beta >1$, $\gamma >1$. Then

$$\phi (k_0+d)=0,$$

where $d=M{2}^{\frac{\delta }{\delta -1}}{({\phi }^{\beta -1}(k_0)+{\phi }^{\gamma -1}(k_0))}^{\frac{1}{\alpha }}$, and $\delta =min\{\beta ,\gamma \}$.

Next, we prove a crucial a priori $L^{\mathrm{\infty }}$ bound for $u_{ϵ\eta }$ via a De Giorgi iteration technique as in [15].

Proposition 3.2 Let $K_1>0$ and assume that $u_{ϵ\eta }$ is a nonnegative T-periodic continuous function such that

$$\frac{\partial u}{\partial t}-div\left\{{\left(\right|\mathrm{\nabla }(u^m+ϵu){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u^m+ϵu)\right\}\le K_{1}u,$$

(3.2)

$$u(\cdot ,t){|}_{\partial \mathrm{\Omega }}=0.$$

(3.3)

Then there exists a constant $R>0$, such that ${\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}<R$, where R is independent of ϵ and η.

Proof Step 1. Multiplying (3.2) by $u_{ϵ\eta }^{mq}$, with any $q>1$. Integrating over Ω and noticing that $u_{ϵ\eta }(\cdot ,t){|}_{\partial \mathrm{\Omega }}=0$, we have

$$\begin{array}{r}\frac{1}{mq+1}\frac{d}{dt}{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}dx\\ +{\int }_{\mathrm{\Omega }}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }{u}_{ϵ\eta }^{mq}dx\\ \le K_1{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}dx.\end{array}$$

(3.4)

Since $|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p(x)}\ge |\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p^{-}}-1$, we deal with the second term on the left-hand side of (3.4) as follows.

$$\begin{array}{r}{\int }_{\mathrm{\Omega }}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }{u}_{ϵ\eta }^{mq}dx\\ \ge q{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(q-1)}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p(x)}dx\\ \ge q{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(q-1)}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p^{-}}dx-q{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(q-1)}dx\\ =q{\left(\frac{p^{-}}{p^{-}+q-1}\right)}^{p^{-}}{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dx-q{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(q-1)}dx.\end{array}$$

(3.5)

Combining (3.4) and (3.5), we have

$$\begin{array}{r}\frac{1}{mq+1}\frac{d}{dt}{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}dx+q{\left(\frac{p^{-}}{p^{-}+q-1}\right)}^{p^{-}}{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dx\\ \le K_1{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}dx+q{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(q-1)}dx.\end{array}$$

(3.6)

We estimate the right-hand side of (3.6) by Hölder’s inequality, the embedding theorem and Young’s inequality with ϵ to deduce

$$\begin{array}{r}{K}_1{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}dx+q{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(q-1)}dx\\ \le K_1{\left({\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(p^{-}+q-1)}dx\right)}^{\frac{mq+1}{m(p^{-}+q-1)}}|\mathrm{\Omega }{|}^{1-\frac{mq+1}{m(p^{-}+q-1)}}\\ +q{\left({\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{m(p^{-}+q-1)}dx\right)}^{\frac{q-1}{p^{-}+q-1}}|\mathrm{\Omega }{|}^{1-\frac{q-1}{p^{-}+q-1}}\\ \le C{\left({\int }_{\mathrm{\Omega }}\right|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dx)}^{\frac{mq+1}{m(p^{-}+q-1)}}\\ +C{\left({\int }_{\mathrm{\Omega }}\right|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dx)}^{\frac{q-1}{p^{-}+q-1}}\\ \le {ϵ}_1{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dx+C({ϵ}_1)C^{\frac{m(p^{-}+q-1)}{m{p}^{-}-m-1}}\\ +{ϵ}_2{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dx+C({ϵ}_2)C^{\frac{p^{-}+q-1}{p^{-}}}.\end{array}$$

(3.7)

Choosing ${ϵ}_1$ and ${ϵ}_2$ appropriately, we have from (3.6) and (3.7)

$$\frac{d}{dt}{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}(x,t)dx\le C_1,$$

(3.8)

for any $q>1$, where $C_1$ depends on q, $p^{-}$, m, and Ω.

Integrating (3.6) over $[\tau ,\tau +T]$ and using the T-periodicity of $u_{ϵ\eta }$, we have

$$\begin{array}{r}q{\left(\frac{p^{-}}{p^{-}+q-1}\right)}^{p^{-}}{\iint }_{Q_T}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dxdt\\ \le K_1{\iint }_{Q_T}{u}_{ϵ\eta }^{mq+1}dxdt+q{\iint }_{Q_T}{u}_{ϵ\eta }^{m(q-1)}dxdt.\end{array}$$

(3.9)

Similarly to (3.7), we obtain

$${\iint }_{Q_T}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dxdt\le C_2,$$

(3.10)

where $C_2$ depends on q, $p^{-}$, m, T and Ω. By Poincaré’s inequality, we have

$${\iint }_{Q_T}{u}_{ϵ\eta }^{m(p^{-}+q-1)}dxdt\le {\iint }_{Q_T}|\mathrm{\nabla }{u}_{ϵ\eta }^{\frac{m(p^{-}+q-1)}{p^{-}}}{|}^{p^{-}}dxdt\le C_2.$$

(3.11)

Recall our assumption that $p^{-}>2$, $m>1$, and thus $m(p^{-}+q-1)>mq+1$. Consequently, considering (3.11), we obtain

$${\iint }_{Q_T}{u}_{ϵ\eta }^{mq+1}(x,t)dxdt\le C_2,$$

(3.12)

which implies that there exists a $t_0\in (\tau ,\tau +T)$ such that

$${\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}(x,t_0)dx\le C_2.$$

(3.13)

From (3.8) and (3.13), we conclude

$${\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}(x,t)dx\le C_2+C_1(t-t_0),$$

(3.14)

for any $t\ge t_0$. In view of the T-periodicity of $u_{ϵ\eta }$, (3.14) shows

$${\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}(x,\tau )dx={\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}(x,\tau +T)dx\le C_2+C_{1}T.$$

We finally arrive at

$$\underset{t\in (\tau ,\tau +T)}{sup}{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }^{mq+1}(x,t)dx\le C,$$

(3.15)

for any $q>1$, where C depends on q, $p^{-}$, m, T and Ω.

Step 2. Let

$$A_k(t)=\{x\in \mathrm{\Omega };u_{ϵ\eta }(x,t)>k\},{\mu }_k=\underset{t\in (\tau ,\tau +T)}{sup}|A_k(t)|,$$

where $|A_k(t)|$ is the Lebesgue measure of the set $A_k(t)$. Multiplying (3.2) by ${(u_{ϵ\eta }-k)}_{+}^m{\chi }_{[t_1,t_2]}(t)$ on both sides, where ${\chi }_{[t_1,t_2]}(t)$ represents the characteristic function of the interval $[t_1,t_2]$, and integrating over $Q_T$, we have

$$\begin{array}{r}\frac{1}{m+1}{\int }_{t_1}^{t_2}\frac{d}{dt}{\int }_{\mathrm{\Omega }}{(u_{ϵ\eta }-k)}_{+}^{m+1}dxdt\\ +{\int }_{t_1}^{t_2}{\int }_{\mathrm{\Omega }}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }{(u_{ϵ\eta }-k)}_{+}^{m}dxdt\\ \le K_1{\int }_{t_1}^{t_2}{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }{(u_{ϵ\eta }-k)}_{+}^{m}dxdt.\end{array}$$

Let $I_k(t):={\int }_{\mathrm{\Omega }}{(u_{ϵ\eta }-k)}_{+}^{m+1}dx$. We assume that the absolutely continuous function $I_k(t)$ attains its maximum at $\varrho \in [\tau ,\tau +T]$. Take $t_1=\varrho -\theta$, $t_2=\varrho$ and θ small enough so that $t_1>\tau$. (In fact, this is always possible because of the periodicity of $u_{ϵ\eta }$; for example, if $\varrho =\tau$, we take $\varrho =\tau +T$, then $\varrho >\tau$ and $t_1>\tau$.) Then we have $I_k(\varrho )\ge I_k(\varrho -\theta )$ and

$$\begin{array}{r}\frac{1}{\theta }{\int }_{\varrho -\theta }^{\varrho }{\int }_{\mathrm{\Omega }}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }{(u_{ϵ\eta }-k)}_{+}^{m}dxdt\\ \le \frac{1}{\theta }{K}_1{\int }_{\varrho -\theta }^{\varrho }{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }{(u_{ϵ\eta }-k)}_{+}^{m}dxdt.\end{array}$$

(3.16)

Letting $\theta \to 0^{+}$ yields

$$\begin{array}{r}{\int }_{\mathrm{\Omega }}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }{(u_{ϵ\eta }-k)}_{+}^{m}dx\\ \le K_1{\int }_{\mathrm{\Omega }}{u}_{ϵ\eta }{(u_{ϵ\eta }-k)}_{+}^{m}dx.\end{array}$$

(3.17)

After a direct computation, we obtain an estimate for the left-hand side of (3.17) as follows:

$$\begin{array}{r}{\int }_{\mathrm{\Omega }}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }{(u_{ϵ\eta }-k)}_{+}^{m}dx\\ \ge {\int }_{\mathrm{\Omega }}|m{(u_{ϵ\eta }-k)}_{+}^{m-1}\mathrm{\nabla }{(u_{ϵ\eta }-k)}_{+}{|}^{p(x)}dx\\ ={\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{(u_{ϵ\eta }-k)}_{+}^m{|}^{p(x)}dx\\ \ge {\int }_{A_k(\varrho )}|\mathrm{\nabla }{(u_{ϵ\eta }-k)}^m{|}^{p^{-}}dx-|A_k(\varrho )|.\end{array}$$

(3.18)

Substituting (3.18) into (3.17), we have

$${\int }_{A_k(\varrho )}|\mathrm{\nabla }{(u_{ϵ\eta }-k)}^m{|}^{p^{-}}dx\le K_1{\int }_{A_k(\varrho )}{u}_{ϵ\eta }{(u_{ϵ\eta }-k)}^{m}dx+{\mu }_k.$$

(3.19)

We now deal with (3.19). On one hand, by the embedding theorem

$${\left({\int }_{A_k(\varrho )}{(u_{ϵ\eta }-k)}^{mr}dx\right)}^{\frac{p^{-}}{r}}\le S^{p^{-}}{\int }_{A_k(\varrho )}|\mathrm{\nabla }{(u_{ϵ\eta }-k)}^m{|}^{p^{-}}dx,$$

(3.20)

where S is the Sobolev embedding constant, and

$$r=\{\begin{array}{cc}\frac{N{p}^{-}}{N-p^{-}},\hfill & \text{if }{p}^{-}<N,\hfill \\ \frac{2p^{-}(N+p^{-})}{N},\hfill & \text{if }{p}^{-}\ge N.\hfill \end{array}$$

On the other hand, from (3.15), where we may fix a special q, using Hölder’s inequality, we obtain

$$\begin{array}{r}{K}_1{\int }_{A_k(\varrho )}{u}_{ϵ\eta }{(u_{ϵ\eta }-k)}^{m}dx\\ \le K_1{\left({\int }_{A_k(\varrho )}{u}_{ϵ\eta }^{\frac{N+p^{-}}{p^{-}}}dx\right)}^{\frac{p^{-}}{N+p^{-}}}{\left({\int }_{A_k(\varrho )}{(u_{ϵ\eta }-k)}^{m\frac{N+p^{-}}{N}}dx\right)}^{\frac{N}{N+p^{-}}}\\ \le C{\left({\int }_{A_k(\varrho )}{(u_{ϵ\eta }-k)}^{m\frac{N+p^{-}}{N}}dx\right)}^{\frac{N}{N+p^{-}}}\\ \le C|A_k(\varrho ){|}^{\frac{Nr-N-p^{-}}{r(N+p^{-})}}{\left({\int }_{A_k(\varrho )}{(u_{ϵ\eta }-k)}^{mr}dx\right)}^{\frac{1}{r}}.\end{array}$$

(3.21)

Let $J_k(\varrho )={\int }_{A_k(\varrho )}{(u_{ϵ\eta }-k)}^{mr}dx$. Then (3.19), (3.20), and (3.21) imply

$$\frac{1}{S^{p^{-}}}{[J_k(\varrho )]}^{\frac{p^{-}}{r}}\le C{\mu }_k^{\frac{Nr-N-p^{-}}{r(N+p^{-})}}{[J_k(\varrho )]}^{\frac{1}{r}}+{\mu }_k.$$

(3.22)

Utilizing Young’s inequality with ϵ, we obtain from (3.22)

$$\begin{array}{rl}{J}_k& \le 2^{\frac{r}{p^{-}}}(S^r{C}^{\frac{r}{p^{-}}}{\mu }_k^{\frac{Nr-N-p^{-}}{p^{-}(N+p^{-})}}{J}_k^{\frac{1}{p^{-}}}+S^r{\mu }_k^{\frac{r}{p^{-}}})\\ \le C{\mu }_k^{\frac{Nr-N-p^{-}}{p^{-}(N+p^{-})}}{J}_k^{\frac{1}{p^{-}}}+C{\mu }_k^{\frac{r}{p^{-}}}\\ \le C(ϵJ_k+C(ϵ){\mu }_k^{\frac{Nr-N-p^{-}}{(p^{-}-1)(N+p^{-})}})+C{\mu }_k^{\frac{r}{p^{-}}}.\end{array}$$

Upon choosing ϵ appropriately, one obtains

$$J_k(\varrho )\le C({\mu }_k^{\frac{Nr-N-p^{-}}{(p^{-}-1)(N+p^{-})}}+{\mu }_k^{\frac{r}{p^{-}}}).$$

(3.23)

For any $h>k>0$, it is easy to see

$$J_k(\varrho )\ge |A_h(\varrho )|{(h-k)}^{rm}.$$

(3.24)

The relationships (3.23) and (3.24) above imply that

$${\mu }_h\le {\left(\frac{M}{h-k}\right)}^{rm}({\mu }_k^{1+\frac{Nr-p^{-}(N+p^{-})}{(p^{-}-1)(N+p^{-})}}+{\mu }_k^{\frac{r}{p^{-}}}).$$

(3.25)

Noticing that $\frac{Nr-p^{-}(N+p^{-})}{(p^{-}-1)(N+p^{-})}>0$ and $\frac{r}{p^{-}}>1$, by the iteration Lemma 3.1, we obtain ${\mu }_R=0$ and thus ${\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}<R$, where

$$R=M{2}^{\frac{\mathrm{\Lambda }}{\mathrm{\Lambda }-1}}{(|Q_T{|}^{\frac{Nr-p^{-}(N+p^{-})}{(p^{-}-1)(N+p^{-})}}+|Q_T{|}^{\frac{r}{p^{-}}-1})}^{\frac{1}{rm}},$$

with

$$\mathrm{\Lambda }=min\{\frac{Nr-N-p^{-}}{(p^{-}-1)(N+p^{-})},\frac{r}{p^{-}}\}.$$

 □

Theorem 3.3 Assume $K\ge 0$, for a.e. $(x,t)\in Q_T$. Then there exists a positive constant R such that

$$deg(u-T_{ϵ\eta }(1,u^{+}),B_R,0)=1,$$

where $u^{+}=max\{u,0\}$.

Proof From Proposition 3.2, we take $K_1={\parallel a\parallel }_{L^{\mathrm{\infty }}(Q_T)}$, it implies that there exists a positive constant $R>0$ independent of ϵ and η, such that $u_{ϵ\eta }\ne G_{ϵ\eta }(1,\rho f(u_{ϵ\eta }^{+}))$, for any $u_{ϵ\eta }\in \partial B_R$, $\rho \in [0,1]$. Hence the topological degree $deg(u-G_{ϵ\eta }(1,\rho f(u^{+})),B_R,0)$ is well defined in $B_R$. Thanks to the homotopy invariance property of the Leray-Schauder degree, we have

$$deg(u-G_{ϵ\eta }(1,f\left(u^{+}\right)),B_R,0)=deg(u-G_{ϵ\eta }(1,0),B_R,0).$$

(3.26)

Using the fact that $G_{ϵ\eta }(1,0)=0$, one has

$$deg(u-G_{ϵ\eta }(1,0),B_R,0)=deg(I,B_R,0)=1.$$

(3.27)

From (3.26) and (3.27), we get $deg(u-T_{ϵ\eta }(1,u^{+}),B_R,0)=1$. □

Using the standard method, similar to that in [3] or [13], one can prove the following.

Proposition 3.4 Assume that $a\in L^{\mathrm{\infty }}(Q_T)$, $K\in L^{\mathrm{\infty }}(Q_T)$. If $u_{ϵ\eta }$ solves $u=G_{ϵ\eta }(\sigma ,\rho f(u^{+})+1-\sigma )$, for some $\sigma \in [0,1]$ and $\rho \in [0,1]$, then $u_{ϵ\eta }\ge 0$ for any $(x,t)\in Q_T$. Moreover, if $u_{ϵ\eta }\ne 0$, then $u_{ϵ\eta }>0$ in $Q_T$.

In what follows, we prove a lower bound for the regularized problem.

Proposition 3.5 Let ${\mu }_1$ be the first eigenvalue of

$$\{\begin{array}{cc}-\mathrm{\Delta }u=\mu u,\hfill & x\in \mathrm{\Omega },\hfill \\ u=0,\hfill & x\in \partial \mathrm{\Omega },\hfill \end{array}$$

and let $e_1$ be the associated positive eigenfunction such that ${\parallel e_1\parallel }_{L^2(\mathrm{\Omega })}=1$. Assume that $\frac{1}{T}{\iint }_{Q_T}a{e}_1^{2}dxdt>{\mu }_1$, $0<ϵ<\frac{1}{2}$ and $0<\eta <{(\frac{1}{2})}^{\frac{p^{+}-2}{p^{-}-2}}$. If $u_{ϵ\eta }\ne 0$ satisfies $u_{ϵ\eta }=G_{ϵ\eta }(\sigma ,f(u_{ϵ\eta }^{+})+1-\sigma )$ for some $\sigma \in [0,1]$, then ${\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}\ge r_0$, where

$$\begin{array}{c}{r}_0=min\{{\left(\frac{1}{2m}\right)}^{\frac{1}{m-1}},{\left(\frac{{\iint }_{Q_T}a{e}_1^{2}dxdt-{\mu }_{1}T}{M}\right)}^{{\gamma }_p^{+}}\},\hfill \\ {\gamma }_p(x)=\frac{p(x)}{p(x)-2},\hfill \\ {\gamma }_p^{+}=\underset{\overline{\mathrm{\Omega }}}{max}{\gamma }_p(x)=\frac{p^{-}}{p^{-}-2},{\gamma }_p^{-}=\underset{\overline{\mathrm{\Omega }}}{min}{\gamma }_p(x)=\frac{p^{+}}{p^{+}-2},\hfill \\ \begin{array}{rl}M=& {\parallel K\parallel }_{L^1(Q_T)}+2^{p^{+}-2}(\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})C_{p^{+},p(x)}\underset{\overline{\mathrm{\Omega }}}{max}|\mathrm{\nabla }{e}_1{|}^2|\mathrm{\Omega }{|}^{\frac{2}{p^{+}}}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\},\end{array}\hfill \end{array}$$

$C_{p^{+},p(x)}$ is the embedding constant of $L^{p^{+}}(\mathrm{\Omega })$ into $L^{p(x)}(\mathrm{\Omega })$, and $|\mathrm{\Omega }|$ is the Lebesgue measure of the domain Ω.

Proof We argue by contradiction. If not, then for each $\sigma \in [0,1]$ and $r\in (0,r_0)$, there exists a $u_{ϵ\eta }\ne 0$ such that $u_{\epsilon \eta }=G_{ϵ\eta }(\sigma ,f(u_{\epsilon \eta }^{+})+1-\sigma )$, with ${\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}\le r$. For clarity, we divide the proof into four steps.

Step 1. Note that, by Proposition 3.4, $u_{ϵ\eta }>0$ in $Q_T$. Taking $\varphi \in C_0^{\mathrm{\infty }}(\mathrm{\Omega })$ and multiplying

$$\begin{array}{r}\frac{\partial u_{ϵ\eta }}{\partial t}-div\left\{{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta })\right\}\\ =[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi ]u_{ϵ\eta }+1-\sigma \end{array}$$

(3.28)

by $\frac{{\varphi }^2}{u_{ϵ\eta }}$, integrating over $Q_T$ and using the T-periodicity of $u_{ϵ\eta }$, we obtain

$$\begin{array}{r}{\iint }_{Q_T}[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi ]{\varphi }^{2}dxdt+{\iint }_{Q_T}(1-\sigma )\frac{{\varphi }^2}{u_{ϵ\eta }}dxdt\\ =-{\iint }_{Q_T}\frac{{\varphi }^2}{u_{ϵ\eta }}div\left\{{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta })\right\}dxdt\\ :=(R).\end{array}$$

(3.29)

Step 2. Using $\mathrm{\nabla }{u}_{ϵ\eta }\mathrm{\nabla }(\frac{{\varphi }^2}{u_{ϵ\eta }})=|\mathrm{\nabla }\varphi {|}^2-u_{ϵ\eta }^2|\mathrm{\nabla }(\frac{\varphi }{u_{ϵ\eta }}){|}^2$, we have

$$\begin{array}{rl}(R)=& {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }\left(\frac{{\varphi }^2}{u_{ϵ\eta }}\right)dxdt\\ =& {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}(\sigma m{u}_{ϵ\eta }^{m-1}+ϵ)\mathrm{\nabla }{u}_{ϵ\eta }\mathrm{\nabla }\left(\frac{{\varphi }^2}{u_{ϵ\eta }}\right)dxdt\\ =& {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}(\sigma m{u}_{ϵ\eta }^{m-1}+ϵ)|\mathrm{\nabla }\varphi {|}^{2}dxdt\\ -{\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}(\sigma m{u}_{ϵ\eta }^{m-1}+ϵ)u_{ϵ\eta }^2|\mathrm{\nabla }\left(\frac{\varphi }{u_{ϵ\eta }}\right){|}^{2}dxdt\\ \le & {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}(\sigma m{u}_{ϵ\eta }^{m-1}+ϵ)|\mathrm{\nabla }\varphi {|}^{2}dxdt.\end{array}$$

Since $r<r_0\le {(\frac{1}{2m})}^{\frac{1}{m-1}}$ and $0<ϵ<\frac{1}{2}$, we have $\sigma m{u}_{ϵ\eta }^{m-1}+ϵ\le m{u}_{ϵ\eta }^{m-1}+ϵ<\frac{1}{2}+ϵ<1$. Hence

$$\begin{array}{rl}(R)\le & {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}|\mathrm{\nabla }\varphi {|}^{2}dxdt\\ \le & 2^{\frac{p^{+}-2}{2}}{\iint }_{Q_T}\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}+{\eta }^{\frac{p^{-}-2}{2}})|\mathrm{\nabla }\varphi {|}^{2}dxdt\\ =& 2^{\frac{p^{+}-2}{2}}{\iint }_{Q_T}|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}|\mathrm{\nabla }\varphi {|}^{2}dxdt\\ +2^{\frac{p^{+}-2}{2}}{\eta }^{\frac{p^{-}-2}{2}}{\iint }_{Q_T}|\mathrm{\nabla }\varphi {|}^{2}dxdt.\end{array}$$

(3.30)

Thanks to the $p(x)$-Hölder’s inequality in variable exponent space, we have

$$\begin{array}{r}{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}|\mathrm{\nabla }\varphi {|}^{2}dx\\ \le (\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})\left|\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}{|}_{L^{{\gamma }_p(x)}(\mathrm{\Omega })}||\mathrm{\nabla }\varphi {|}^2{|}_{L^{\frac{p(x)}{2}}(\mathrm{\Omega })}\\ \le (\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})C_{p^{+},p(x)}{\parallel |\mathrm{\nabla }\varphi {|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}\\ \times max\left\{{\left({\int }_{\mathrm{\Omega }}\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dx)}^{\frac{1}{{\gamma }_p^{\pm }}}\right\}.\end{array}$$

(3.31)

Noting that $\frac{1}{{\gamma }_p^{\pm }}<1$ and using Hölder’s inequality, we have

$$\begin{array}{r}{\int }_0^T{\left({\int }_{\mathrm{\Omega }}\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dx)}^{\frac{1}{{\gamma }_p^{\pm }}}dt\\ \le T^{1-\frac{1}{{\gamma }_p^{\pm }}}{\left({\iint }_{Q_T}\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt)}^{\frac{1}{{\gamma }_p^{\pm }}}.\end{array}$$

(3.32)

Integrating (3.31) over $[0,T]$ and noting (3.32), we get

$$\begin{array}{r}{\iint }_{Q_T}|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}|\mathrm{\nabla }\varphi {|}^{2}dxdt\\ \le (\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})C_{p^{+},p(x)}{\parallel |\mathrm{\nabla }\varphi {|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}\\ \times max\left\{{\left({\iint }_{Q_T}\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}.\end{array}$$

(3.33)

Step 3. Multiplying (3.28) by $\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }$, integrating over $Q_T$, noticing the T-periodicity of $u_{ϵ\eta }$ and $0<r<r_0\le {(\frac{1}{2m})}^{\frac{1}{m-1}}<1$, we deduce

$$\begin{array}{r}{\iint }_{Q_T}|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt\\ \le {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt\\ \le {\iint }_{Q_T}a{u}_{ϵ\eta }(u_{ϵ\eta }^m+u_{ϵ\eta })dxdt+(1-\sigma ){\iint }_{Q_T}(u_{ϵ\eta }^m+u_{ϵ\eta })dxdt\\ \le ({\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}^{m+1}+{\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}^2){\parallel a\parallel }_{L^1(Q_T)}\\ +(1-\sigma )({\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)}^m+{\parallel u_{ϵ\eta }\parallel }_{L^{\mathrm{\infty }}(Q_T)})|\mathrm{\Omega }|T\\ \le (r^{m+1}+r^2){\parallel a\parallel }_{L^1(Q_T)}+(r^m+r)|\mathrm{\Omega }|T\\ \le 2r({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T).\end{array}$$

Substituting this inequality into (3.33), we have

$$\begin{array}{r}{\iint }_{Q_T}|\mathrm{\nabla }(\sigma u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}|\mathrm{\nabla }\varphi {|}^{2}dxdt\\ \le (\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})C_{p^{+},p(x)}{\parallel |\mathrm{\nabla }\varphi {|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}\\ \times max\left\{{\left(2r({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)\right)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}\\ \le (\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})C_{p^{+},p(x)}{\parallel |\mathrm{\nabla }\varphi {|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}{2}^{\frac{1}{{\gamma }_p^{-}}}{r}^{\frac{1}{{\gamma }_p^{+}}}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}.\end{array}$$

(3.34)

Substituting (3.34) into (3.30) and noticing that $2^{\frac{p^{+}-2}{2}}{2}^{\frac{1}{{\gamma }_p^{-}}}\le 2^{p^{+}-2}$, we get

$$\begin{array}{rl}(R)\le & 2^{p^{+}-2}(\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})r^{\frac{1}{{\gamma }_p^{+}}}{C}_{p^{+},p(x)}{\parallel |\mathrm{\nabla }\varphi {|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}+2^{\frac{p^{+}-2}{2}}{\eta }^{\frac{p^{-}-2}{2}}{\iint }_{Q_T}|\mathrm{\nabla }\varphi {|}^{2}dxdt.\end{array}$$

(3.35)

Considering that $0<\eta <{(\frac{1}{2})}^{\frac{p^{+}-2}{p^{-}-2}}$, from (3.29) and (3.35), we have

$$\begin{array}{r}{\iint }_{Q_T}[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi ]{\varphi }^{2}dxdt\\ \le {\iint }_{Q_T}|\mathrm{\nabla }\varphi {|}^{2}dxdt+2^{p^{+}-2}(\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})r^{\frac{1}{{\gamma }_p^{+}}}{C}_{p^{+},p(x)}{\parallel |\mathrm{\nabla }\varphi {|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}.\end{array}$$

(3.36)

Step 4. We claim

$${\iint }_{Q_T}a{e}_1^{2}dxdt-{\mu }_{1}T\le r^{\frac{1}{{\gamma }_p^{+}}}M,$$

(3.37)

from which we will derive a contradiction. First, to show (3.37), let $\varphi =e_1$ in (3.36). Using the fact that $\mathrm{\nabla }{e}_1\in {(C^1(\overline{\mathrm{\Omega }}))}^N$ and noting ${\parallel e_1\parallel }_{L^2(\mathrm{\Omega })}=1$ and ${\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{e}_1{|}^{2}dx={\mu }_1$, we get

$$\begin{array}{r}{\iint }_{Q_T}a{e}_1^{2}dxdt-{\mu }_{1}T\\ \le 2^{p^{+}-2}(\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})r^{\frac{1}{{\gamma }_p^{+}}}{C}_{p^{+},p(x)}{\parallel |\mathrm{\nabla }{e}_1{|}^2\parallel }_{L^{\frac{p^{+}}{2}}(\mathrm{\Omega })}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}\\ +{\int }_0^T{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi {\int }_{\mathrm{\Omega }}{e}_1^{2}dxdt\\ \le 2^{p^{+}-2}(\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})r^{\frac{1}{{\gamma }_p^{+}}}{C}_{p^{+},p(x)}\underset{\overline{\mathrm{\Omega }}}{max}|\mathrm{\nabla }{e}_1{|}^2|\mathrm{\Omega }{|}^{\frac{2}{p^{+}}}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}+{\parallel K\parallel }_{L^1(Q_T)}{r}^2\\ \le r^{\frac{1}{{\gamma }_p^{+}}}[2^{p^{+}-2}(\frac{1}{{\gamma }_p^{-}}+\frac{2}{p^{-}})C_{p^{+},p(x)}\underset{\overline{\mathrm{\Omega }}}{max}|\mathrm{\nabla }{e}_1{|}^2|\mathrm{\Omega }{|}^{\frac{2}{p^{+}}}\\ \times max\left\{{({\parallel a\parallel }_{L^1(Q_T)}+|\mathrm{\Omega }|T)}^{\frac{1}{{\gamma }_p^{\pm }}}{T}^{\frac{{\gamma }_p^{\pm }-1}{{\gamma }_p^{\pm }}}\right\}+{\parallel K\parallel }_{L^1(Q_T)}]\\ =r^{\frac{1}{{\gamma }_p^{+}}}M.\end{array}$$

Now the definition of $r_0$ and (3.37) yield

$$r_0\le {\left(\frac{{\iint }_{Q_T}a{e}_1^{2}dxdt-{\mu }_{1}T}{M}\right)}^{{\gamma }_p^{+}}\le r,$$

(3.38)

which is clearly a contradiction to the assumption that $r\in (0,r_0)$. This completes the proof. □

Theorem 3.6 Let $r_0$ be as given in Proposition  3.5. Then $deg(u-T_{ϵ\eta }(1,u^{+}),B_r,0)=0$ for all $0<r<r_0$.

Proof In view of Proposition 3.5, for any fixed $r\in (0,r_0)$, we have proved that $u\ne G_{ϵ\eta }(\sigma ,f(u^{+})+1-\sigma )$ for all $u\in \partial B_r$, $\sigma \in [0,1]$. So the Leray-Schauder topological degree $deg(u-G_{ϵ\eta }(\sigma ,f(u^{+})+1-\sigma ),B_r,0)$ is well defined for all $\sigma \in [0,1]$. Thanks to the homotopy invariance of the topological degree, we have

$$deg(u-G_{ϵ\eta }(1,f\left(u^{+}\right)),B_r,0)=deg(u-G_{ϵ\eta }(0,f\left(u^{+}\right)+1),B_r,0).$$

(3.39)

Also, from Proposition 3.5, we infer that $u=G_{ϵ\eta }(0,f(u^{+})+1)$ admits no nontrivial solution in $B_r$. Moreover, $u_{ϵ\eta }=0$ is not a solution of $u=G_{ϵ\eta }(0,f(u^{+})+1)$. So $deg(u-G_{ϵ\eta }(0,f(u^{+})+1),B_r,0)=0$. Together with (3.39), we have $deg(u-T_{ϵ\eta }(1,u^{+}),B_r,0)=0$. □

4 Existence of nontrivial nonnegative solution to (1.1)

Theorem 4.1 Assume $K(x,t)\ge 0$ for a.e. $(x,t)\in Q_T$ and $\frac{1}{T}{\iint }_{Q_T}a{e}_1^{2}dxdt>{\mu }_1$. Then problem (1.1) has a nontrivial nonnegative periodic solution.

Proof We consider the regularized problem (2.2). By Theorem 3.3 and Theorem 3.6, we conclude that there exist R and r, independent of ϵ and η, with $R>r>0$, such that

$$deg(u-G_{ϵ\eta }(1,f\left(u^{+}\right)),B_R\mathrm{\setminus }{\overline{B}}_r,0)=1$$

for $0<ϵ<\frac{1}{2}$ and $0<\eta <{(\frac{1}{2})}^{\frac{p^{+}-2}{p^{-}-2}}$. Using the solvability of the Leray-Schauder degree, we conclude that the regularized problem (2.2) admits a nontrivial nonnegative solution $u_{ϵ\eta }$ in $B_R\mathrm{\setminus }{\overline{B}}_r$.

We prove that $u_{ϵ\eta }^m\in L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$ with $|\mathrm{\nabla }{u}_{ϵ\eta }^m|\in L^{p(x)}(Q_T)$ and that a solution to problem (1.1) is obtained as a limit of $u_{ϵ\eta }$ as $ϵ,\eta \to 0$. We proceed in several steps.

Step 1. In view of $K(x,t)\ge 0$, choosing $C={\parallel a\parallel }_{L^{\mathrm{\infty }}(Q_T)}$, we have

$$\frac{\partial u_{ϵ\eta }}{\partial t}-div\left\{{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\right\}\le C{u}_{ϵ\eta }.$$

(4.1)

Multiplying (4.1) by $u_{ϵ\eta }^m+ϵu_{ϵ\eta }$, integrating over $Q_T$ and noting the T-periodicity of $u_{ϵ\eta }$ and the boundedness of $u_{ϵ\eta }$, we have

$$\begin{array}{r}{\iint }_{Q_T}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p(x)}dxdt\\ \le {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt\\ \le C{\iint }_{Q_T}(u_{ϵ\eta }^{m+1}+ϵu_{ϵ\eta }^2)dxdt\le M,\end{array}$$

(4.2)

where M is a positive constant independent of ϵ and η. Moreover,

$$\begin{array}{r}{\int }_0^T|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}_{L^{p(x)}(\mathrm{\Omega })}^{p^{-}}dt\\ ={\int }_{[0,T]\cap \{t:|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}_{L^{p(x)}(\mathrm{\Omega })}>1\}}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}_{L^{p(x)}(\mathrm{\Omega })}^{p^{-}}dt\\ +{\int }_{[0,T]\cap \{t:|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}_{L^{p(x)}(\mathrm{\Omega })}\le 1\}}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}_{L^{p(x)}(\mathrm{\Omega })}^{p^{-}}dt\\ \le {\int }_{[0,T]\cap \{t:|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}_{L^{p(x)}(\mathrm{\Omega })}>1\}}{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p(x)}dxdt+T\\ \le {\iint }_{Q_T}|\mathrm{\nabla }{u}_{ϵ\eta }^m{|}^{p(x)}dxdt+T\le M+T.\end{array}$$

(4.3)

So $u_{ϵ\eta }^m\in L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$ and $u_{ϵ\eta }^m$ is uniformly bounded in the space $L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$. Thus, up to subsequence if necessary, we may assume that $u_{ϵ\eta }^m\rightharpoonup u^m\in L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$. In what follows, our main goal is to prove that u is a weak solution of problem (1.1).

Step 2. The following relation is obvious:

$$\begin{array}{r}{\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt\\ \ge {\iint }_{Q_T}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt.\end{array}$$

(4.4)

From (4.2) and (4.4), we have

$${\iint }_{Q_T}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt\le C.$$

(4.5)

Owing to the embedding results in the variable exponent space, one has

$$\begin{array}{r}{\parallel \mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\parallel }_{L^2(\mathrm{\Omega })}\le C_{2,p(x)}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}_{L^{p(x)}(\mathrm{\Omega })}\\ \le C_{2,p(x)}max\left\{{\left({\int }_{\mathrm{\Omega }}\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dx)}^{\frac{1}{p^{\pm }}}\right\}.\end{array}$$

(4.6)

Integrating (4.6) over $[0,T]$ and using Hölder’s inequality, we have

$$\begin{array}{r}{\int }_0^T{\parallel \mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\parallel }_{L^2(\mathrm{\Omega })}dt\\ \le C_{2,p(x)}max\left\{{\left({\iint }_{Q_T}\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt)}^{\frac{1}{p^{\pm }}}{T}^{1-\frac{1}{p^{\pm }}}\right\}.\end{array}$$

(4.7)

From (4.5) and (4.7), there exists a positive constant C independent of ϵ and η, such that

$${\iint }_{Q_T}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt\le C.$$

(4.8)

In the following, we prove

$${\iint }_{Q_T}|{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dxdt\le C.$$

(4.9)

First, denote

$$\begin{array}{c}{K}_{1p}(x)=\frac{p(x)}{p(x)-1},K_{1p}^{-}=\underset{\overline{\mathrm{\Omega }}}{min}{K}_{1p}(x),K_{1p}^{+}=\underset{\overline{\mathrm{\Omega }}}{max}{K}_{1p}(x),\hfill \\ K_{2p}(x)=\frac{2(p(x)-1)}{p(x)},K_{2p}^{-}=\underset{\overline{\mathrm{\Omega }}}{min}{K}_{2p}(x),K_{2p}^{+}=\underset{\overline{\mathrm{\Omega }}}{max}{K}_{2p}(x),\hfill \\ K_{2p}^{\prime }(x)=\frac{2(p(x)-1)}{p(x)-2},K_{2p}^{\prime -}=\underset{\overline{\mathrm{\Omega }}}{min}{K}_{2p}^{\prime }(x),K_{2p}^{\prime +}=\underset{\overline{\mathrm{\Omega }}}{max}{K}_{2p}^{\prime }(x).\hfill \end{array}$$

A straightforward computation shows that

$$\begin{array}{r}{\iint }_{Q_T}|{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dxdt\\ \le {\iint }_{Q_T}|2^{\frac{p^{+}-2}{2}}\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}+{\eta }^{\frac{p^{-}-2}{2}})\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dxdt\\ \le 2^{\frac{p^{+}-2}{2}{K}_{1p}^{+}}{\iint }_{Q_T}\left|\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)-2}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })+\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dxdt\\ \le 2^{\frac{p^{+}-2}{2}{K}_{1p}^{+}}{2}^{K_{1p}^{+}}{\iint }_{Q_T}\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}+\left|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}\right)dxdt\\ \le M_p\left\{{\iint }_{Q_T}\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{p(x)}dxdt+{\iint }_{Q_T}\left|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dxdt\right\}.\end{array}$$

(4.10)

By the $p(x)$-Hölder’s inequality, we have

$$\begin{array}{r}{\int }_{\mathrm{\Omega }}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dx\\ \le (\frac{1}{K_{2p}^{-}}+\frac{1}{K_{2p}^{\prime -}})\left|\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}{|}_{L^{K_{2p}(x)}(\mathrm{\Omega })}|1{|}_{L^{K_{2p}^{\prime }(x)}(\mathrm{\Omega })}\\ \le (\frac{1}{K_{2p}^{-}}+\frac{1}{K_{2p}^{\prime -}})max\{|\mathrm{\Omega }{|}^{\frac{1}{K_{2p}^{\prime +}}},|\mathrm{\Omega }{|}^{\frac{1}{K_{2p}^{\prime -}}}\}\\ \times max\left\{{\left({\int }_{\mathrm{\Omega }}\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dx)}^{\frac{1}{K_{2p}^{\pm }}}\right\}.\end{array}$$

(4.11)

Integrating (4.11) over $[0,T]$, using the $p(x)$-Hölder’s inequality again, we get

$$\begin{array}{r}{\iint }_{Q_T}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{\frac{p(x)}{p(x)-1}}dxdt\\ \le (\frac{1}{K_{2p}^{-}}+\frac{1}{K_{2p}^{\prime -}})max\{|\mathrm{\Omega }{|}^{\frac{1}{K_{2p}^{\prime +}}},|\mathrm{\Omega }{|}^{\frac{1}{K_{2p}^{\prime -}}}\}max\{T^{\frac{1}{K_{2p}^{\prime +}}},T^{\frac{1}{K_{2p}^{\prime -}}}\}\\ \times max\left\{{\left({\iint }_{Q_T}\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt)}^{\frac{1}{K_{2p}^{\pm }}}\right\}.\end{array}$$

(4.12)

Substituting (4.5), (4.8), and (4.12) into (4.10), we derive (4.9). Therefore, there exists a $H\in {(L^{\frac{p(x)}{p(x)-1}}(Q_T))}^N$ such that

$${\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\rightharpoonup H,$$

(4.13)

weakly in ${(L^{\frac{p(x)}{p(x)-1}}(Q_T))}^N$ as $ϵ,\eta \to 0$.

Step 3. Using a method analogous to [7], we get ${\parallel \frac{\partial u_{ϵ\eta }^m}{\partial t}\parallel }_{L^2(Q_T)}\le C$, where C is independent of ϵ and η. Since $u_{ϵ\eta }^m$ is uniformly bounded in $L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$, and $W_0^{1,p(x)}(\mathrm{\Omega }){\hookrightarrow }^{\text{compact}}{L}^{p(x)}(\mathrm{\Omega })\hookrightarrow L^1(\mathrm{\Omega })$, by compactness theorem (Corollary 4 in [16]), it follows that $u_{ϵ\eta }^m\to u^m$ in $L^{p^{-}}(0,T;L^{p(x)}(\mathrm{\Omega }))$. Thus, we have

$$0={\iint }_{Q_T}\{-u\frac{\partial \phi }{\partial t}+H\mathrm{\nabla }\phi -au\phi +u\phi {\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi \}dxdt$$

(4.14)

for any $\phi \in C^1({\overline{Q}}_T)$ satisfying $\phi (x,T)=\phi (x,0)$ for $x\in \mathrm{\Omega }$ and $\phi (\cdot ,t){|}_{\partial \mathrm{\Omega }}=0$ for $t\in [0,T]$ (and hence, by density, for any $\phi \in C({\overline{Q}}_T)\cap L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$ with $|\mathrm{\nabla }\phi |\in L^{p(x)}(Q_T)$ and T-periodicity). The continuity of u follows from similar Hölder estimates in [17].

Step 4. It remains to verify for any $\phi \in C^1({\overline{Q}}_T)$,

$${\iint }_{Q_T}|\mathrm{\nabla }{u}^m{|}^{p(x)-2}\mathrm{\nabla }{u}^m\mathrm{\nabla }\phi dxdt={\iint }_{Q_T}H\mathrm{\nabla }\phi dxdt.$$

(4.15)

We consider matrix function $\mathrm{\Pi }(Y)={(|Y{|}^2+\eta )}^{\frac{p(x)-2}{2}}Y$. Then ${\mathrm{\Pi }}^{\prime }(Y)={(|Y{|}^2+\eta )}^{\frac{p(x)-2}{2}}I+(p(x)-2){(|Y{|}^2+\eta )}^{\frac{p(x)-4}{2}}Y{Y}^T$ is a positive definite matrix. Choosing $v\in L^{p^{-}}(0,T;W_0^{1,p(x)}(\mathrm{\Omega }))$ with $|\mathrm{\nabla }v|\in L^{p(x)}(Q_T)$, by mean value theorem, there exists a matrix Y such that

$$\begin{array}{r}〈\mathrm{\Pi }\left(\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\right)-\mathrm{\Pi }(\mathrm{\nabla }v),\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })-\mathrm{\nabla }v〉\\ =〈{\mathrm{\Pi }}^{\prime }(Y)(\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })-\mathrm{\nabla }v),\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })-\mathrm{\nabla }v〉\ge 0,\end{array}$$

(4.16)

which gives

$$\begin{array}{rl}0\le & {\iint }_{Q_T}\{{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\\ -{(|\mathrm{\nabla }v{|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }v\}\mathrm{\nabla }[(u_{ϵ\eta }^m+ϵu_{ϵ\eta })-v]dxdt\\ =& {\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt\\ -{\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }vdxdt\\ -{\iint }_{Q_T}{(|\mathrm{\nabla }v{|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }v\mathrm{\nabla }[(u_{ϵ\eta }^m+ϵu_{ϵ\eta })-v]dxdt.\end{array}$$

(4.17)

Multiplying the equation

$$\begin{array}{r}\frac{\partial u_{ϵ\eta }}{\partial t}-div\left\{{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\right\}\\ =[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi ]u_{ϵ\eta }\end{array}$$

by $u_{ϵ\eta }^m+ϵu_{ϵ\eta }$, integrating over $Q_T$ and using T-periodicity of $u_{ϵ\eta }$, one has

$$\begin{array}{r}{\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^{2}dxdt\\ ={\iint }_{Q_T}[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi ](u_{ϵ\eta }^{m+1}+ϵu_{ϵ\eta }^2)dxdt.\end{array}$$

(4.18)

Thus, (4.17) and (4.18) imply

$$\begin{array}{r}{\iint }_{Q_T}{\left(\right|\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta }){|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }(u_{ϵ\eta }^m+ϵu_{ϵ\eta })\mathrm{\nabla }vdxdt\\ +{\iint }_{Q_T}{(|\mathrm{\nabla }v{|}^2+\eta )}^{\frac{p(x)-2}{2}}\mathrm{\nabla }v\mathrm{\nabla }[(u_{ϵ\eta }^m+ϵu_{ϵ\eta })-v]dxdt\\ \le {\iint }_{Q_T}[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u_{ϵ\eta }^2(\xi ,t-\tau )d\xi ](u_{ϵ\eta }^{m+1}+ϵu_{ϵ\eta }^2)dxdt.\end{array}$$

Letting $ϵ,\eta \to 0$, by (4.13), we have

$$\begin{array}{r}{\iint }_{Q_T}H\mathrm{\nabla }vdxdt+{\iint }_{Q_T}|\mathrm{\nabla }v{|}^{p(x)-2}\mathrm{\nabla }v\mathrm{\nabla }(u^m-v)dxdt\\ \le {\iint }_{Q_T}[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi ]u^{m+1}dxdt.\end{array}$$

(4.19)

Let $\phi =u^m$ in (4.14) and, by the T-periodicity of u, we get

$${\iint }_{Q_T}H\mathrm{\nabla }{u}^{m}dxdt={\iint }_{Q_T}[a-{\int }_{\mathrm{\Omega }}K(\xi ,t)u^2(\xi ,t-\tau )d\xi ]u^{m+1}dxdt.$$

(4.20)

Combining (4.19) with (4.20), we obtain

$$0\le {\iint }_{Q_T}(H-|\mathrm{\nabla }v{|}^{p(x)-2}\mathrm{\nabla }v)\mathrm{\nabla }(u^m-v)dxdt.$$

(4.21)

Taking $v=u^m-\lambda \phi$, with $\lambda >0$ and $\phi \in C^1({\overline{Q}}_T)$, we get

$$0\le {\iint }_{Q_T}(H-|\mathrm{\nabla }(u^m-\lambda \phi ){|}^{p(x)-2}\mathrm{\nabla }(u^m-\lambda \phi ))\mathrm{\nabla }\phi dxdt.$$

(4.22)

Letting $\lambda \to 0$ in (4.22) yields

$$0\le {\iint }_{Q_T}(H-|\mathrm{\nabla }{u}^m{|}^{p(x)-2}\mathrm{\nabla }{u}^m)\mathrm{\nabla }\phi dxdt.$$

(4.23)

On the other hand, if we take $v=u^m+\lambda \phi$, with $\lambda >0$ and $\phi \in C^1({\overline{Q}}_T)$ and let $\lambda \to 0$, we get

<