Skip to main content

Periodic solutions for nonlocal \(p(t)\)-Laplacian systems


The purpose of this paper is to investigate the existence of periodic solutions for a class of nonlocal \(p(t)\)-Laplacian systems. When the nonlinear term is \(p^{+}\)-superlinear at infinity, some new solvability conditions of nontrivial periodic solutions are obtained by using a version of the local linking theorem. A major point is that we ensure compactness without the well-known Ambrosetti–Rabinowitz type superlinearity condition. In addition, by applying the saddle point theorem, we established the existence of at least one periodic solution for such problems with a \(p^{-}\)-subquadratic potential.

Introduction and main results

Consider the non-autonomous second order Hamiltonian systems

$$ \textstyle\begin{cases} \ddot{u}(t)+\nabla V(t,u(t))=0, &\text{a.e. } t\in [0,T], \\ u(0)-u(T)=\dot{u}(0)-\dot{u}(T)=0, \end{cases} $$

where \(T>0\), \(u(t)\in \mathbb{R}^{N}\), \(\nabla V(t,u)\) denotes the gradient of \(V(t,u)\) in u.

In the classical monograph [1], Mawhin and Willem investigated the existence of periodic solutions for problem (1.1) via critical point theory. During the past two decade, inspire by [1] the existence and multiplicity of periodic solutions for systems (1.1) has been studied extensively.

Problems with variable exponent growth conditions arise in the description of the physical phenomena with “pointwise different properties” which first arose from the nonlinear elasticity theory; see [2]. It was also observed that non-homogeneous \(p(t)\)-Laplacian operators are related to modeling of so-called electrorheological fluids; see [3, 4] for more details of the physical aspects. Another field of application of \(p(t)\)-Laplacian systems is image processing [5, 6]. The variable nonlinearity is used to eliminate possible noise and outline the borders of the true image.

In [7,8,9,10,11,12,13,14,15], the authors studied the existence of periodic solutions, subharmonic solutions and homoclinic orbits for the \(p(t)\)-Laplacian systems

$$ \textstyle\begin{cases} \frac{d}{dt} ( \vert \dot{u}(t) \vert ^{p(t)-2}\dot{u}(t))+\nabla V(t,u(t))=0, \quad \text{a.e. }t\in [0,T] \\ u(0)-u(T)=\dot{u}(0)-\dot{u}(T)=0, \end{cases} $$

where \(p(t)\in C([0,T],\mathbb{R}^{+})\), the operator \(\frac{d}{dt}( \vert \dot{u}(t) \vert ^{p(t)-2}\dot{u}(t))\) is said to be \(p(t)\)-Laplacian. The \(p(t)\)-Laplacian operator possesses more complicated nonlinearity than that of the p-Laplacian operator, where \(p>1\) is a constant. For example, it is inhomogeneous, which provokes some mathematical difficulties. We point out that commonly known techniques for studying constant exponent equations fail in the setting of problems involving variable exponents.

In this paper, we consider the following nonlocal \(p(t)\)-Laplacian systems:

$$ \textstyle\begin{cases} M (\int _{0}^{T} \frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt ) \frac{d}{dt} ( \vert \dot{u}(t) \vert ^{p(t)-2}\dot{u}(t))+\nabla V(t,u(t))=0, \quad\text{a.e. } t\in [0,T], \\ u(0)-u(T)=\dot{u}(0)-\dot{u}(T)=0, \end{cases} $$

where \(T>0\), \(M(s):[0,+\infty )\rightarrow (0,+\infty )\) is a continuous function, and assume that \(V(t,u)\) satisfies the following assumption:

\((V_{0})\) :

\(V(t,u)\) is measurable in t for each \(u\in \mathbb{R}^{N}\) and continuously differentiable in u for a.e. \(t\in [0,T]\), and there exist \(a\in C(\mathbb{R}^{+},\mathbb{R}^{+})\), \(b\in L^{1}([0,T];\mathbb{R}^{+})\) such that

$$\begin{aligned}& \bigl\vert V(t,u) \bigr\vert + \bigl\vert \nabla V(t,u) \bigr\vert \leq a\bigl( \vert u \vert \bigr) b(t), \end{aligned}$$

for all \(u\in \mathbb{R}^{N}\) and a.e. \(t\in [0,T]\).

Throughout the paper, we assume that \(p(t)\) appearing in problem (1.3) satisfies

\((P)\) :

\(p(t)\in C([0,T],\mathbb{R}^{+})\), \(p(t)=p(t+T)\) and \(p(t)\) fulfills the following hypothesis:

$$\begin{aligned}& 1< p^{-}: =\min_{0\leq t\leq T}p(t)\leq p^{+}: =\max _{0\leq t\leq T}p(t)< +\infty . \end{aligned}$$

Comparing with systems (1.1) or (1.2), one typical feature of the equation in problem (1.3) is the nonlocality. Since the presence of an integral term \(M (\int _{0}^{T} \frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt )\), thus the equation in problem (1.3) is no longer a pointwise identity. From the physical point of view, the nonlocal coefficient \(M (\int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt )\) is a function depending on the average of the kinetic energy. Alternatively, a parabolic version of problem (1.3) can model a spreading process of a particular species within the domain, where u is its population density; see [16]. During the past decade, much interest has grown on nonlocal problems with various boundary data. In the very recent paper [17], the authors studied an elliptic boundary value problem with degenerate nonlocal term, and they proved a multiplicity result of positive solutions for the problem, where the number of solutions doubles the number of zeros of the degenerate term. In [18], the authors investigated a class of Kirchhoff problem in a bounded domain, where the nonlocal coefficient to vanish in many different points, and the existence of multiple solutions is also established by using a priori estimates, variational methods and truncation techniques.

It is worth mentioning that there are some papers concerning related equations or abstract spaces with variable exponents. In the monograph [19], Radulescu and Repovs provided a thorough introduction to the theory of nonlinear partial differential equations (PDEs) with a variable exponent. In [20], the authors considered a class of double phase variational integrals driven by non-homogeneous potentials, and the analysis developed in this paper extends the abstract framework corresponding to some standard differential operator with variable exponent. In [21], Ho and Sim obtained the existence of solutions of weighted elliptic equations containing a convection term with variable exponents. Liu and Zhao in [22] introduced the definition of abstract Hardy spaces with variable exponents. In [23], the authors proved continuity of the flow and weak upper semicontinuity of a family of global attractors for reaction-diffusion equations with spatially variable exponents. In recent years, some scholars have investigated nonlocal \(p(x)\)-Laplacian equations with Dirichlet or Neumann boundary condition; see [24,25,26,27]. However, as far as we known, there are few papers discussing periodic solutions for nonlocal problems (1.3). For instance, by means of a variational analysis and the theory of variable exponent spaces, the author in [28] obtained the existence and multiplicity of periodic solutions for systems (1.3) with \(p^{-}\)-sublinear nonlinear term.

For \(p(t)\)-Laplacian systems, the well-known Ambrosetti–Rabinowitz type superlinearity condition (AR-condition, for short) is the following: there exist \(R>0\) and \(\mu >p^{+}\) such that

$$ 0< \mu V(t,u)\leq \bigl(\nabla V(t,u),u \bigr), $$

for \(\vert u \vert \geq R\) and \(t\in [0,T]\). This kinds of technical condition implies that \(\nabla V(t,u)\) grows at a \(p^{+}\)-superlinear rate as \(\vert u \vert \rightarrow +\infty \). The main role of AR-condition is to ensure the compactness required by minimax arguments, and without the AR-condition the situation is more complicated. However, there are many functions which are superlinear at infinity, but do not satisfy the AR-condition, and these functions have attracted much interest in recent years, for example; see [29,30,31,32,33].

In this paper, under no AR-condition, we study the existence of nontrivial periodic solutions for problem (1.3) with \(p^{+}\)-superlinear nonlinear terms at infinity.

In the sequel, we will assume that \(M(s):[0,+\infty )\rightarrow (0,+ \infty )\) is continuous and

\((M_{0})\) :

there exists a constant \(m_{0}>0\) such that \(M(s) \geq m_{0}\), for all \(s\in [0,+\infty )\);

\((M_{1})\) :

there exists a constant \(\eta \geq 1\) such that

$$\begin{aligned}& \widehat{M}(s):= \int ^{s}_{0}M(\sigma ) \,d\sigma \geq \frac{1}{\eta }M(s)s, \end{aligned}$$

for all \(s\in [0,+\infty )\).

Now, we suppose that \(V:[0,T]\times \mathbb{R}^{N}\rightarrow \mathbb{R}\) satisfies the following assumption:


\(V(t,u)\geq 0\), for all \(u\in \mathbb{R}^{N}\) and a.e. \(t\in [0,T]\);


\(\limsup_{ \vert u \vert \rightarrow 0} \frac{ \vert V(t,u) \vert }{ \vert u \vert ^{p ^{+}}}\leq \frac{m_{0}}{2p^{+}TC_{0}^{p^{+}}}\), uniformly for a.e. \(t\in [0,T]\);


there exists a decreasing function \(h\in C(\mathbb{R} ^{+},\mathbb{R}^{+})\), \(r>0\), such that

$$\begin{aligned}& \bigl(\eta p^{+}+h\bigl( \vert u \vert \bigr) \bigr) V(t,u)\leq \bigl(\nabla V(t,u),u \bigr), \end{aligned}$$

for a.e. \(t\in [0,T]\) and \(u\in \mathbb{R}^{N}\) with \(\vert u \vert \geq r\), where h satisfies the following properties:


\(\lim_{ \vert u \vert \rightarrow +\infty } u h( \vert u \vert )=+\infty \), \(\forall u\in \mathbb{R}^{+}\);


\(\lim_{ \vert u \vert \rightarrow +\infty } H( \vert u \vert )=+\infty \), where \(H( \vert u \vert )= \exp (\int _{r}^{ \vert u \vert }\frac{h(\sigma )}{\sigma }\,d\sigma )\).


\(\liminf_{ \vert u \vert \rightarrow +\infty }\frac{V(t,u)}{ \vert u \vert ^{ \eta p^{+}} H( \vert u \vert )}\geq \kappa >0\), uniformly for a.e. \(t\in [0,T]\).

Our main result is the following theorem.

Theorem 1.1

Assume that conditions (P), (\(M _{0}\)), (\(M_{1}\)) and (\(V_{0}\))(\(V_{4}\)) are satisfied. Then problem (1.3) has at least one nontrivial T-periodic solution.

Remark 1.1

Take the nonlocal coefficient

$$\begin{aligned}& M(s)=1+\frac{\cos s}{1+s^{2}}, \end{aligned}$$

then M satisfies (\(M_{0}\)) and (\(M_{1}\)) with \(m_{0}=1\) and \(\eta =1\), let

$$\begin{aligned}& V(t,u)=f(t) \vert u \vert ^{p^{+}}\ln \bigl(1+ \vert u \vert \bigr), \quad\quad h\bigl( \vert u \vert \bigr)=\frac{ \vert u \vert }{2(1+ \vert u \vert )\ln (1+ \vert u \vert )}, \end{aligned}$$

where \(f(t)\in L^{1}([0,T];\mathbb{R}^{+})\) with \(\inf_{t\in [0,T]}f(t)>0\). Hence, we obtain

$$\begin{aligned}& \bigl(\nabla V(t,u),u \bigr)=f(t) \biggl[ p^{+}+\frac{ \vert u \vert }{(1+ \vert u \vert )\ln (1+ \vert u \vert )} \biggr] \vert u \vert ^{p ^{+}}\ln \bigl(1+ \vert u \vert \bigr). \end{aligned}$$

Then all the conditions of Theorem 1.1 hold, and V is not covered by results in [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26].

Next, we obtain the existence of periodic solutions for problem (1.3) with \(p^{-}\)-subquadratic potential. Now, we state the assumptions on function M and V:

\((M_{2})\) :
$$\begin{aligned}& \widehat{M}(s):= \int ^{s}_{0}M(\sigma ) \,d\sigma \leq M(s)s, \end{aligned}$$

for all \(s\in [ 0,+\infty )\).

\((V_{5})\) :

There exists a function θ with \(0<\frac{1}{ \theta ( \vert u \vert )}<p^{-}\), \(L>0\) such that

$$\begin{aligned}& \bigl(\nabla V(t,u),u \bigr)\leq \biggl(p^{-}-\frac{1}{\theta ( \vert u \vert )} \biggr)V(t,u), \end{aligned}$$

for all \(u\in \mathbb{R}^{N}\) with \(\vert u \vert \geq L\) and a.e. \(t\in [0,T]\), where θ satisfies the following properties:

\((\theta _{1})\) :

\(\theta \in C(\mathbb{R}^{+},\mathbb{R}^{+})\);

\((\theta _{2})\) :

\(\int _{L}^{\xi } \frac{1}{s\theta (s)} \,ds \rightarrow +\infty \) as \(\xi \rightarrow +\infty \).

\((V_{6})\) :

\(V(t,u)\geq 0\) as \(\vert u \vert \rightarrow +\infty \) uniformly for a.e. \(t\in [0,T]\).

\((V_{7})\) :

\(\int _{0}^{T}\frac{V(t,u)}{\theta ( \vert u \vert )} \,dt\rightarrow +\infty \) as \(\vert u \vert \rightarrow +\infty \).

Theorem 1.2

Assume that conditions (P), \((M_{0})\), \((M_{2})\), \((V_{0})\), \((V_{5})\), \((V_{6})\) and \((V_{7})\) are satisfied. Then problem (1.3) has at least one T-periodic solution.

Remark 1.2

When \(M(s)\equiv 1\), \(p(t)\equiv 2\), condition \((V_{5})\) was introduced in Wang and Xiao [27], which is an extension of the usual subquadratic growth condition. Theorem 1.2 generalizes Theorem 1.1 of Wang and Xiao [34] to the nonlocal and variable exponent space setting.

Remark 1.3

When \(M(s)\equiv 1\), Wang and Yuan [9] prove that problem (1.1) admits a T-periodic solution when the function \(V(t,u)\) is \(p^{-}\)-subquadratic in Rabinowitz’s sense, that is, there exists \(L>0\), \(0<\mu <p^{-}\) such that

$$ \bigl(\nabla V(t,u),u \bigr)\leq \mu V(t,u) $$

for all \(\vert u \vert \geq L\) and a.e. \(t\in [0,T]\).

Define \(\inf_{ \vert u \vert \geq L} \frac{1}{\theta ( \vert u \vert )}: =\mathcal{K}\), where \(\mathcal{K}\) is a constant. If \(\mathcal{K}>0\), then condition \((V_{5})\) and (1.5) are equivalent. However, condition \((V_{5})\) is weaker than (1.5) when \(\mathcal{K}=0\).

Remark 1.4

The following example is presented for Theorem 1.2. For \(s\in [0,+\infty )\), let

$$\begin{aligned}& M(s)=A+B s^{m}, \end{aligned}$$

where A, B and m are positive constants. Then the nonlocal coefficient M satisfies (\(M_{0}\)) and (\(M_{2}\)) with \(m_{0}=A\). Assume that \(p(t)\equiv \sin \frac{2\pi t}{T}+5\), then \(p^{-}=4\), let

$$\begin{aligned}& V(t,u)=g(t) \frac{4+ \vert u \vert ^{4}}{\ln (1+ \vert u \vert ^{4})}, \end{aligned}$$


$$\begin{aligned}& g(t)= \textstyle\begin{cases} \sin \frac{2\pi t}{T}, &t\in [0,T/2], \\ 0, &t\in [T/2,T]. \end{cases}\displaystyle \end{aligned}$$

Setting \(\theta ( \vert u \vert )=\ln (1+ \vert u \vert ^{4})\), then \(V(t,u)\) satisfies \((V_{5})\) but not (1.5).


In this section, we recall some properties of the variable exponent Sobolev space.

Definition 2.1


Let \(p(t)\in C([0,T],\mathbb{R}^{+})\), and \(p(t)\) satisfies \((P)\). Define

$$\begin{aligned}& L^{p(t)} \bigl([0,T],\mathbb{R}^{N} \bigr)= \biggl\{ u\in L^{1} \bigl([0,T],\mathbb{R} ^{N} \bigr)\Bigm| \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{p(t)} \,dt< + \infty \biggr\} , \end{aligned}$$

with the norm

$$\begin{aligned}& \vert u \vert _{p(t)}=\inf \biggl\{ \lambda >0\Bigm| \int _{0}^{T} \biggl\vert \frac{u(t)}{ \lambda } \biggr\vert ^{p(t)} \,dt\leq 1 \biggr\} . \end{aligned}$$

Definition 2.2



$$\begin{aligned}& C_{T}^{\infty }=C_{T}^{\infty } \bigl(\mathbb{R}, \mathbb{R}^{N} \bigr)= \bigl\{ u\in C ^{\infty } \bigl(\mathbb{R}, \mathbb{R}^{N} \bigr)\mid u\text{ is }T\text{-periodic} \bigr\} . \end{aligned}$$

Let \(u\in L^{1}([0,T],\mathbb{R}^{N})\) and \(v\in L^{1}([0,T], \mathbb{R}^{N})\). If

$$\begin{aligned}& \int _{0}^{T}v\phi \,dt=- \int _{0}^{T}u\phi ' \,dt, \quad \forall \phi \in C_{T}^{\infty }, \end{aligned}$$

then v is called the T-weak derivative of u and is denoted by .

Definition 2.3



$$\begin{aligned}& W_{T}^{1,p(t)}= \bigl\{ u\in L^{p(t)} \bigl([0,T], \mathbb{R}^{N} \bigr)\mid \dot{u} \in L^{p(t)} \bigl([0,T], \mathbb{R}^{N} \bigr), u(0)=u(T) \bigr\} . \end{aligned}$$

When \(p^{-}>1\), \(W_{T}^{1,p(t)}\) is reflexive Banach space, with the norm

$$\begin{aligned}& \Vert u \Vert _{W_{T}^{1,p(t)}}= \vert u \vert _{p(t)}+ \vert \dot{u} \vert _{p(t)}. \end{aligned}$$

For \(u\in W_{T}^{1,p(t)}\), we write

$$ \Vert u \Vert = \vert \overline{u} \vert + \vert \dot{u} \vert _{p(t)}, $$

then \(\Vert \cdot \Vert \) is an equivalent norm on \(W_{T}^{1,p(t)}\), where \(\overline{u}=\frac{1}{T}\int _{0}^{T}u(t) \,dt\).

Lemma 2.1


If we denote

$$\begin{aligned}& \rho (u)= \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{p(t)} \,dt, \quad \forall u\in L^{p(t)} \bigl([0,T], \mathbb{R}^{N} \bigr), \end{aligned}$$


  1. (i)

    \(\vert u \vert _{p(t)}<1\ (=1;>1)\Leftrightarrow \rho (u)<1\ (=1;>1)\);

  2. (ii)

    \(\vert u \vert _{p(t)}>1\Rightarrow \vert u \vert _{p(t)}^{p^{-}}\leq \rho (u) \leq \vert u \vert _{p(t)}^{p^{+}}\);

  3. (iii)

    \(\vert u \vert _{p(t)}<1\Rightarrow \vert u \vert _{p(t)}^{p^{+}}\leq \rho (u) \leq \vert u \vert _{p(t)}^{p^{-}}\).

Lemma 2.2


There is a continuous embedding \(W_{T}^{1,p(t)}\hookrightarrow C([0,T],\mathbb{R}^{N})\), when \(p^{-}>1\), the embedding is compact. Then there exists \(C_{0}>0\), such that

$$ \Vert u \Vert _{\infty }:=\max_{0\leq t\leq T} \bigl\vert u(t) \bigr\vert \leq C_{0} \Vert u \Vert , \quad \forall u\in W_{T}^{1,p(t)}. $$

Lemma 2.3



$$\begin{aligned}& \varPhi (u)= \int _{0}^{T} \bigl( \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)}+ \bigl\vert u(t) \bigr\vert ^{p(t)} \bigr) \,dt, \quad \forall u\in W^{1,p(t)}_{T}, \end{aligned}$$


  1. (i)

    \(\Vert u \Vert <(=;>)\,1\Leftrightarrow \varPhi (u)<(=;>)\,1\);

  2. (ii)

    \(\Vert u \Vert >1\Rightarrow \Vert u \Vert ^{p^{-}}\leq \varPhi (u)\leq \Vert u \Vert ^{p^{+}}\);

  3. (iii)

    \(\Vert u \Vert <1\Rightarrow \Vert u \Vert ^{p^{+}}\leq \varPhi (u)\leq \Vert u \Vert ^{p^{-}}\).

Lemma 2.4


\(J'\) is a bounded linear functional and a mapping of (\(S_{+}\)) on \(W_{T}^{1,p(t)}\), that is, if \(u_{n}\rightharpoonup u\) weakly in \(W_{T}^{1,p(t)}\) and \(\limsup_{n\rightarrow \infty } (J'(u_{n})-J'(u),u_{n}-u) \leq 0\), then \(\{u_{n}\}\) has a convergent subsequence, where \(J'\) is given by \(\langle J'(u),v\rangle =\int _{0}^{T}( \vert \dot{u}(t) \vert ^{p(t)-2}\dot{u}(t), \dot{v}(t)) \,dt\).

For \(u\in W_{T}^{1,p(t)}\), we can write \(u(t)=\bar{u}+\tilde{u}(t)\), where \(\bar{u}=\frac{1}{T}\int _{0}^{T}u(t) \,dt\). Let

$$\begin{aligned}& \widetilde{W}_{T}^{1,p(t)}= \bigl\{ u\in W_{T}^{1,p(t)} \mid \bar{u}=0 \bigr\} . \end{aligned}$$

It is easy to know \(\widetilde{W}_{T}^{1,p(t)}\) is a subset of \(W_{T}^{1,p(t)}\) and \(W_{T}^{1,p(t)}=\widetilde{W}_{T}^{1,p(t)}\oplus \mathbb{R}^{N}\).

Applying Lemma 2.1, from (2.1), it is easy to prove that

Lemma 2.5

For all \(\widetilde{u}\in \widetilde{W} _{T}^{1,p(t)}\), we have

  1. (i)

    \(\Vert \widetilde{u} \Vert >1\Rightarrow \Vert \widetilde{u} \Vert ^{p^{-}}\leq \int _{0}^{T} \vert \dot{u}(t) \vert ^{p(t)} \,dt\leq \Vert \widetilde{u} \Vert ^{p^{+}}\);

  2. (ii)

    \(\Vert \widetilde{u} \Vert <1\Rightarrow \Vert \widetilde{u} \Vert ^{p^{+}}\leq \int _{0}^{T} \vert \dot{u}(t) \vert ^{p(t)} \,dt \leq \Vert \widetilde{u} \Vert ^{p^{-}}\);

  3. (iii)

    \(\Vert \widetilde{u} \Vert =1\Rightarrow \int _{0}^{T} \vert \dot{u}(t) \vert ^{p(t)} \,dt=1\).

Lemma 2.6

For all \(\tilde{u}\in \widetilde{W}_{T} ^{1,p(t)}\), we have

$$ \Vert \widetilde{u} \Vert ^{p^{-}}\leq \int _{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)} \,dt+1. $$

Proof of Theorem 1.1

As usual, a weak solution of problem (1.3) is a function \(u\in W_{T} ^{1,p(t)}\) such that

$$\begin{aligned}& M \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \int _{0}^{T} \bigl( \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)-2}\dot{u}(t),\dot{v}(t) \bigr) \,dt= \int _{0} ^{T} \bigl(\nabla V \bigl(t,u(t) \bigr),v(t) \bigr) \,dt \end{aligned}$$

holds for any \(v\in W_{T}^{1,p(t)}\).

The Euler–Lagrange functional associated to problem(1.3) given by

$$\begin{aligned}& I(u)=\widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt, \quad \forall u\in W_{T}^{1,p(t)}, \end{aligned}$$


$$\begin{aligned}& \widehat{M}(s)= \int ^{s}_{0}M(\sigma ) \,d\sigma . \end{aligned}$$

Then \(I\in C^{1}(W_{T}^{1,p(t)},\mathbb{R})\) whose Gateaux derivative is

$$\begin{aligned}& \begin{aligned} \bigl\langle I'(u),v \bigr\rangle &=M \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \int _{0}^{T} \bigl( \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)-2}\dot{u}(t),\dot{v}(t) \bigr) \,dt \\ & \quad {} - \int _{0}^{T} \bigl(\nabla V \bigl(t,u(t) \bigr),v(t) \bigr) \,dt, \end{aligned} \end{aligned}$$

for all \(u,v\in W_{T}^{1,p(t)}\). So we know that T-periodic weak solutions of problem (1.3) correspond to the critical points of the functional I.

A basic tool in this paper is the following abstract local linking theorem.

Theorem 3.1


Let X be a Banach space such that \(X=Y\oplus W\) with \(\dim Y<+\infty \). Assume that \(I\in C^{1}(X,\mathbb{R})\) satisfies the following conditions:

\((I_{1})\) :

I satisfies the \((C)\) condition, that is, sequence \(\{u_{n}\}\subset X\) such that \(\{I(u_{n})\}\) is bounded and \(\Vert I'(u_{n}) \Vert (1+ \Vert u_{n} \Vert ) \rightarrow 0\) as \(n\rightarrow \infty \) has a convergent sequence.

\((I_{2})\) :

I has a local linking at zero, that is, there exists a positive constant δ such that

$$\begin{aligned}& I(u)\leq 0, \quad \forall u\in Y, \Vert u \Vert \leq \delta ; \end{aligned}$$


$$\begin{aligned}& I(u)\geq 0, \quad \forall u\in W, \Vert u \Vert \leq \delta . \end{aligned}$$
\((I_{3})\) :

I maps bounded sets into bounded sets.

\((I_{4})\) :

for every finite-dimensional subspace \(\widetilde{E}\subseteq W\), we have

$$\begin{aligned}& I(u)\rightarrow -\infty \quad \textit{as } \Vert u \Vert \rightarrow +\infty \textit{ and } u\in Y\oplus \widetilde{E}. \end{aligned}$$

Then I admits at least one nontrivial critical point.

Remark 3.1

The critical point theorem was originally due to Li and Willem [36]. Subsequently, Gasiński and Papageorgiou reformulate this result in the special case given in [35, Theorem 2.1].

In the sequel, we will denote various positive constants as \(D_{i}\) (\(i=1,2,3,\ldots \)).

Lemma 3.1

Suppose \((P)\), \((M_{0})\), \((M_{1})\), \((V_{0})\), \((V_{1})\), \((V_{3})\) and \((V_{4})\) hold. Then I satisfies the \((C)\) condition, that is, sequence \(\{u_{n}\}\subset W_{T}^{1,p(t)}\) such that \(\{I(u_{n})\}\) is bounded and \(\Vert I'(u_{n}) \Vert (1+ \Vert u_{n} \Vert ) \rightarrow 0\) as \(n\rightarrow +\infty \) has a convergent sequence.


Let \(\{u_{n}\}\subset W_{T}^{1,p(t)}\), such that \(\{I(u_{n})\}\) is bounded and \((1+ \Vert u_{n} \Vert ) \Vert I'(u_{n}) \Vert \rightarrow 0\) as \(n\rightarrow \infty \). There then exists a constant \(D_{1}>0\) such that

$$ \bigl\vert I(u_{n}) \bigr\vert \leq D_{1},\quad\quad \bigl(1+ \Vert u_{n} \Vert \bigr) \bigl\Vert I'(u_{n}) \bigr\Vert \leq D _{1}, $$

for all n. We claim that the sequence \(\{u_{n}\}\) is bounded in \(W^{1,p(t)}_{T}\). Suppose that is not the case, passing to a subsequence if necessary, we may assume that

$$ \lim_{n\rightarrow +\infty } \Vert u_{n} \Vert =+\infty . $$

Note that \(p^{+}:=\max_{0\leq t\leq T}p(t)\), using hypothesis (\(M _{1}\)), one has

$$ \begin{aligned}[b] &\widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)}\,dt \biggr) \\ & \quad \geq \frac{1}{\eta }M \biggl( \int _{0}^{T}\frac{ \vert \dot{u} _{n}(t) \vert ^{p(t)}}{p(t)}\,dt \biggr) \int _{0}^{T} \frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)}\,dt \\ & \quad \geq \frac{1}{\eta p^{+}}M \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)}\,dt \biggr) \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)}\,dt. \end{aligned} $$


$$\begin{aligned}& K: =\inf_{ \vert u \vert >r}h\bigl( \vert u \vert \bigr)>0, \\& E_{1}:= \bigl\{ t\in [0,T]\mid \vert u \vert >r \bigr\} , \end{aligned}$$


$$\begin{aligned}& E_{2}:= \bigl\{ t\in [0,T]\mid \vert u \vert \leq r \bigr\} . \end{aligned}$$

It follows from (\(V_{0}\)), (\(V_{1}\)) and (\(V_{3}\)) that

$$ \begin{aligned}[b] & \int _{0}^{T} \bigl[ \bigl(\nabla V(t,u),u \bigr)- \bigl(\eta p^{+}+K \bigr)V(t,u) \bigr]\,dt \\ & \quad = \int _{E_{1}} \bigl[ \bigl(\nabla V(t,u),u \bigr)- \bigl(\eta p^{+}+K \bigr)V(t,u) \bigr]\,dt \\ & \qquad {} + \int _{E_{2}} \bigl[ \bigl(\nabla V(t,u),u \bigr)- \bigl(\eta p^{+}+K \bigr)V(t,u) \bigr]\,dt \\ & \quad \geq \int _{E_{1}} \bigl[ \bigl(\nabla V(t,u),u \bigr)- \bigl(\eta p^{+}+h\bigl( \vert u \vert \bigr) \bigr)V(t,u) \bigr]\,dt \\ & \qquad {} + \int _{E_{2}} \bigl\vert \bigl(\nabla V(t,u),u \bigr)- \bigl( \eta p^{+}+K \bigr)V(t,u) \bigr\vert \,dt \\ & \quad \geq - \bigl(r+\eta p^{+}+K \bigr)\max_{ \vert u \vert \leq r}a \bigl( \vert u \vert \bigr) \int _{0}^{T}b(t)\,dt. \end{aligned} $$

By (3.1), (3.3), (3.4) and (\(M_{0}\)), we have

$$\begin{aligned}& \begin{aligned} D_{2}&\geq I(u_{n})+ \frac{1}{\eta p^{+}+K} \bigl(1+ \Vert u_{n} \Vert \bigr) \bigl\Vert I'(u_{n}) \bigr\Vert \\ &\geq I(u_{n})-\frac{1}{\eta p^{+}+K} \bigl\langle I'(u_{n}),u _{n} \bigr\rangle \\ &=\widehat{M} \biggl( \int _{0}^{T} \frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)}\,dt \biggr)- \frac{M (\int _{0} ^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)}\,dt )}{\eta p^{+}+K} \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)}\,dt \\ & \quad {} + \int _{0}^{T} \biggl[\frac{1}{\eta p^{+}+K} \bigl(\nabla V(t,u _{n}),u_{n} \bigr)-V(t,u_{n}) \biggr]\,dt \\ &\geq \biggl(\frac{1}{\eta p^{+}}-\frac{1}{\eta p^{+}+K} \biggr)M \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)}\,dt \biggr) \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)}\,dt \\ & \quad {} -\frac{r+\eta p^{+}+K}{\eta p^{+}+K}\max_{ \vert u \vert \leq r}a\bigl( \vert u \vert \bigr) \int _{0}^{T}b(t)\,dt \\ &\geq \biggl(\frac{1}{\eta p^{+}}-\frac{1}{\eta p^{+}+K} \biggr)m _{0} \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)}\,dt-\frac{r+\eta p^{+}+K}{ \eta p^{+}+K}\max_{ \vert u \vert \leq r}a \bigl( \vert u \vert \bigr) \int _{0}^{T}b(t)\,dt, \end{aligned} \end{aligned}$$

which implies that

$$ \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)} \,dt\leq D_{3}. $$

Combining (2.3) with (3.5), we have

$$ \Vert \widetilde{u}_{n} \Vert ^{p^{-}}\leq D_{3}+1. $$

For \(\forall u\in W_{T}^{1,p(t)}\), let \(\overline{u}=\frac{1}{T}\int _{0}^{T}u(t)\,dt\in \mathbb{R}^{N}\), \(\widetilde{u}(t)=u(t)- \overline{u}\). Set

$$\begin{aligned}& \omega _{n}=\frac{u_{n}}{ \Vert u_{n} \Vert }=\frac{\overline{u}_{n}}{ \Vert u_{n} \Vert }+\frac{ \widetilde{u}_{n}}{ \Vert u_{n} \Vert }= \overline{\omega }_{n}+ \widetilde{\omega }_{n}, \end{aligned}$$

then \(\{\omega _{n}\}\) is bounded in \(W^{1,p(t)}_{T}\) and \(\Vert \omega _{n} \Vert =1\). Hence, up to a subsequence, we get

$$\begin{aligned}& \omega _{n}\rightharpoonup \omega \quad \text{weakly in } W_{T}^{1,p(t)} \end{aligned}$$


$$\begin{aligned}& \omega _{n}\rightarrow \omega \quad \text{strongly in } C \bigl([0,T]; \mathbb{R}^{N} \bigr). \end{aligned}$$

Dividing both side of (3.6) by \(\Vert u_{n} \Vert ^{p^{-}}\), from (3.2) and (3.6), we find that

$$ \lim_{n\rightarrow +\infty } \Vert \widetilde{\omega }_{n} \Vert =0. $$

So we deduce that \(\omega =\overline{\omega }\in \mathbb{R}^{N}\) and \(\omega \neq 0\). Then, by (3.2), we infer that

$$ \lim_{n\rightarrow +\infty }u_{n}(t)=+\infty , $$

uniformly for a.e. \(t\in [0,T]\). By (\(V_{1}\)), (\(V_{4}\)), (\(h_{2}\)), (3.8) and Fatou’s lemma, we get

$$ \begin{aligned}[b] &\liminf_{n\rightarrow +\infty } \int _{0}^{T}\frac{V(t,u_{n}(t))}{ \Vert u_{n} \Vert ^{\eta p^{+}}} \,dt \\ & \quad \geq \int _{0}^{T} \liminf_{n\rightarrow +\infty } \frac{V(t,u _{n}(t))}{ \Vert u_{n} \Vert ^{\eta p^{+}}} \,dt \\ & \quad = \int _{0}^{T} \liminf_{n\rightarrow +\infty } \frac{V(t,u _{n}(t))}{ \vert u_{n}(t) \vert ^{\eta p^{+}}H( \vert u_{n}(t) \vert )} \bigl\vert \omega _{n}(t) \bigr\vert ^{ \eta p^{+}}H \bigl( \bigl\vert u_{n}(t) \bigr\vert \bigr) \,dt \\ & \quad \geq \int _{0}^{T} \liminf_{n\rightarrow +\infty } \frac{V(t,u _{n}(t))}{ \vert u_{n}(t) \vert ^{\eta p^{+}}H( \vert u_{n}(t) \vert )} \vert \omega \vert ^{\eta p ^{+}}H \bigl( \bigl\vert u_{n}(t) \bigr\vert \bigr) \,dt \\ & \quad =+\infty . \end{aligned} $$

Set \(s_{1}>0\), by condition (\(M_{1}\)), we obtain

$$\begin{aligned}& \frac{M(s)}{\widehat{M}(s)}\leq \frac{\eta }{s}, \end{aligned}$$

for every \(s\in [s_{1},+\infty )\), where \(\eta \geq 1\). Integrating the above inequality we obtain

$$\begin{aligned}& \begin{aligned} \ln \frac{\widehat{M}(s)}{\widehat{M}(s_{1})}&= \int _{s_{1}}^{s}\frac{M( \sigma )}{\widehat{M}(\sigma )} \,d\sigma \\ &\leq \int _{s_{1}}^{s} \frac{\eta }{\sigma } \,d\sigma \\ &=\ln \biggl(\frac{s}{s_{1}} \biggr)^{\eta }, \end{aligned} \end{aligned}$$

for every \(s\in [s_{1},+\infty )\), where \(\widehat{M}(s)=\int ^{s}_{0}M( \sigma ) \,d\sigma \). Therefore,

$$\begin{aligned}& \widehat{M}(s)\leq \frac{\widehat{M}(s_{1})}{s_{1}^{\eta }} s^{ \eta }, \end{aligned}$$

for every \(s\in [s_{1},+\infty )\). Thus there exist constants \(m_{1}>0\) and \(m_{2}>0\), such that

$$ \widehat{M}(s)\leq m_{1}s^{\eta }+m_{2}, $$

for all \(s>0\), where \(m_{1}: =\frac{\widehat{M}(s_{1})}{s_{1}^{ \eta }}\) and \(m_{2}: =\max_{s\in [0,s_{1}]}\widehat{M}(s)\).

According to (3.5) and (3.10), it suffices to show that

$$ \begin{aligned}[b] I(u_{n})+ \int _{0}^{T}V \bigl(t,u_{n}(t) \bigr) \,dt&=\widehat{M} \biggl( \int _{0} ^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \\ &\leq m_{1} \biggl( \int _{0}^{T} \frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)^{\eta }+m_{2} \\ &\leq m_{1} \biggl(\frac{1}{p^{-}} \biggr)^{\eta } \biggl( \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)} \,dt \biggr)^{\eta }+m_{2} \\ &\leq D_{4}. \end{aligned} $$

It follows from (3.1), (3.2), (3.11) and (\(V_{1}\)) that

$$ \limsup_{n\rightarrow +\infty } \int _{0}^{T}\frac{V(t,u_{n}(t))}{ \Vert u_{n} \Vert ^{\eta p^{+}}} \,dt\leq 0, $$

which contradicts (3.9). Hence, \(\{u_{n}\}\) is bounded in \(W^{1,p(t)} _{T}\).

Notice that the space \(W_{T}^{1,p(t)}\) is reflexive, the sequence \(\{u_{n}\}\subset W_{T}^{1,p(t)}\) has a subsequence, also denoted by \(\{u_{n}\}\), such that

$$\begin{aligned}& u_{n}\rightharpoonup u \quad \text{weakly in } W_{T}^{1,p(t)} \end{aligned}$$


$$\begin{aligned}& u_{n}\rightarrow u \quad \text{strongly in } C \bigl([0,T]; \mathbb{R}^{N} \bigr), \end{aligned}$$

and \(\Vert u_{n} \Vert _{\infty }\leq D_{5}\) by (2.2), where \(D_{5}\) is a positive constant. So we have

$$\begin{aligned}& \begin{aligned} \biggl\vert \int _{0}^{T} \bigl(\nabla V \bigl(t,u_{n}(t) \bigr),u_{n}(t)-u(t) \bigr) \,dt \biggr\vert &\leq a_{0} T \Vert u_{n}-u \Vert _{\infty } \int _{0}^{T}b(t) \,dt \\ & \rightarrow 0 \quad \text{as } n\rightarrow +\infty , \end{aligned} \end{aligned}$$

where \(a_{0}=\max_{0\leq s\leq D_{5}}a(s)\). By the assumption \((1+ \Vert u_{n} \Vert ) \Vert I'(u_{n}) \Vert \rightarrow 0\) as \(n\rightarrow +\infty \), we have

$$\begin{aligned}& \bigl\langle I'(u_{n}),u_{n}-u \bigr\rangle \rightarrow 0 \quad \text{as } n\rightarrow +\infty . \end{aligned}$$


$$\begin{aligned}& M \biggl( \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)} \,dt \biggr) \int _{0}^{T} \bigl( \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)-2}\dot{u}_{n}(t), \dot{u}_{n}(t)-\dot{u}(t) \bigr) \,dt \rightarrow 0 \quad \text{as } n \rightarrow +\infty . \end{aligned}$$

Let \(J':W_{T}^{1,p(t)}\rightarrow (W_{T}^{1,p(t)})^{*}\) defined by

$$\begin{aligned}& \bigl\langle J'(u),v \bigr\rangle = \int _{0}^{T} \bigl( \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)-2}\dot{u}(t), \dot{v}(t) \bigr) \,dt. \end{aligned}$$

Then, by (\(M_{0}\)), we get \(\lim_{n\rightarrow +\infty }(J'(u _{n}),u_{n}-u)=0\). Furthermore, since \(J'(u)\) is bounded linear function, we get \(\lim_{n\rightarrow +\infty } (J'(u),u_{n}-u)=0\). Thus

$$\begin{aligned}& \lim_{n\rightarrow +\infty } \bigl(J'(u_{n})-J'(u),u_{n}-u \bigr)=0. \end{aligned}$$

Hence, using the (\(S_{+}\)) property (see Lemma 2.4), \(J'\) is a bounded linear functional and a mapping of (\(S_{+}\)) on \(W_{T}^{1,p(t)}\), it follows that \(\{u_{n}\}\) has a convergent subsequence. So we see that \(\{u_{n}\}\) admits a convergent sequence. Thus I satisfies condition \((C)\). □

Now we prove our main result Theorem 1.1.

Proof of Theorem 1.1

By Lemma 3.1 we have I satisfies (\(I_{1}\)) of Theorem 3.1, so it suffices to prove (\(I_{2}\)), (\(I_{3}\)) and (\(I_{4}\)) of Theorem 3.1.

  • Claim 1 Let \(W_{T}^{1,p(t)}=\widetilde{W}_{T}^{1,p(t)} \oplus \mathbb{R}^{N}\), we claim that I has a local linking at zero.

On the one hand, in view of condition \((V_{2})\), there exist two constants ρ and ε such that

$$ 0< \rho < \varepsilon < \min \biggl\{ C_{0} , \frac{m_{0}}{2p^{+} TC _{0}^{p^{+}}} \biggr\} , $$

where \(C_{0}\) is the same as in (2.2), and

$$ \bigl\vert V(t,u) \bigr\vert \leq \biggl(\frac{m_{0}}{2p^{+} TC_{0}^{p^{+}}}+\varepsilon \biggr) \vert u \vert ^{p^{+}}, $$

for a.e. \(t\in [0,T]\) and \(\vert u \vert \leq \rho \). Let \(\delta :=\rho /C_{0}\), then \(\delta <1\). If \(\Vert u \Vert \leq \delta \), we have

$$\begin{aligned}& \bigl\vert u(t) \bigr\vert \leq \Vert u \Vert _{\infty }\leq C_{0} \Vert u \Vert \leq \rho . \end{aligned}$$

By (\(M_{0}\)), (3.13), (3.14) and Lemma 2.5, for \(u\in \widetilde{W} _{T}^{1,p(t)}\) with \(\Vert u \Vert \leq \delta \), one has

$$\begin{aligned}& \begin{aligned} I(u)&=\widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &= \int _{0}^{\int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)}\,dt}M(s) \,ds- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &\geq m_{0} \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)}\,dt- \biggl( \frac{m_{0}}{2p^{+} TC_{0}^{p^{+}}}+\varepsilon \biggr) \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{p^{+}} \,dt \\ &\geq \frac{m_{0}}{p^{+}} \int _{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)} \,dt- \biggl(\frac{m_{0}}{2p^{+} TC_{0}^{p^{+}}}+\varepsilon \biggr)T \Vert u \Vert _{\infty }^{p^{+}} \\ &\geq \frac{m_{0}}{p^{+}} \Vert u \Vert ^{p^{+}}- \biggl( \frac{m _{0}}{2p^{+} TC_{0}^{p^{+}}}+\varepsilon \biggr)TC_{0}^{p^{+}} \Vert u \Vert ^{p^{+}} \\ &= \biggl(\frac{m_{0}}{2p^{+}}-TC_{0}^{p^{+}}\varepsilon \biggr) \Vert u \Vert ^{p^{+}}. \end{aligned} \end{aligned}$$

This implies that \(I(u)\geq 0\), for \(u\in \widetilde{W}_{T}^{1,p(t)}\) with \(\Vert u \Vert \leq \delta \).

On the other hand, by (\(V_{1}\)), for all \(y\in \mathbb{R}^{N}\), one has

$$\begin{aligned}& I(y)=- \int _{0}^{T}V(t,y) \,dt\leq 0. \end{aligned}$$

Hence, I has a local linking at zero.

  • Claim 2 We claim that I maps bounded sets into bounded sets.

For some positive constant \(D_{6}\), assume that \(\Vert u \Vert \leq D_{6}\), by (3.10), Lemma 2.3 and (\(V_{0}\)), we have

$$\begin{aligned}& \begin{aligned} \bigl\vert I(u) \bigr\vert &= \biggl\vert \widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \biggr\vert \\ &\leq m_{1} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)^{\eta }+m_{2}+ \int _{0}^{T} \bigl\vert V \bigl(t,u(t) \bigr) \bigr\vert \,dt \\ &\leq m_{1} \biggl(\frac{1}{p^{-}} \biggr)^{\eta } \biggl( \int _{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)} \,dt+ \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{p(t)} \,dt \biggr) ^{\eta }+m_{2} \\ & \quad {} +\max_{0\leq s\leq C_{0}D_{6}}a(s) \int _{0}^{T}b(t) \,dt \\ &\leq m_{1} \biggl(\frac{1}{p^{-}}\max \bigl\{ \Vert u \Vert ^{p^{-}}, \Vert u \Vert ^{p^{+}} \bigr\} \biggr)^{\eta }+m_{2} \\ & \quad {} +\max_{0\leq s\leq C_{0}D_{6}}a(s) \int _{0}^{T}b(t) \,dt, \\ &\leq m_{1} \biggl(\frac{1}{p^{-}}\max \bigl\{ (D_{6})^{p^{-}},(D _{6})^{p^{+}} \bigr\} \biggr)^{\eta }+m_{2} \\ & \quad {} +\max_{0\leq s\leq C_{0}D_{6}}a(s) \int _{0}^{T}b(t) \,dt. \end{aligned} \end{aligned}$$

Hence, we deduce that I maps bounded sets into bounded sets.

  • Claim 3 Finally, we claim that

    $$\begin{aligned}& I(u)\rightarrow -\infty \quad \text{as } \Vert u \Vert \rightarrow +\infty , \text{for } u\in \mathbb{R}^{N}\oplus \widetilde{E}, \end{aligned}$$

    where \(\widetilde{E}\subseteq \widetilde{W}_{T}^{1,p(t)}\) is a finite-dimensional linear subspace.

From (\(V_{4}\)), there exists a constant \(R_{1}>0\), such that

$$ V(t,u)\geq \kappa \vert u \vert ^{\eta p^{+}}H\bigl( \vert u \vert \bigr)>0, $$

for \(u\in \mathbb{R}^{N}\) with \(\vert u \vert \geq R_{1}\) and a.e. \(t\in [0,T]\). Moreover, by (\(V_{0}\)) and (3.15), we can obtain

$$ \int _{0}^{T}V(t,u) \,dt\geq \kappa \int _{0}^{T} \vert u \vert ^{\eta p^{+}}H \bigl( \vert u \vert \bigr) \,dt-D_{7}, $$

for all \(u\in \mathbb{R}^{N}\) and a.e. \(t\in [0,T]\), where \(D_{7}= \max_{ \vert u \vert \leq R_{1}}a( \vert u \vert )\int _{0}^{T}b(t)\,dt\).

Note that all norms on are equivalent, there exist constants \(D_{8}>0\), such that

$$ \vert u \vert ^{\eta p^{+}}\geq D_{8} \Vert u \Vert ^{\eta p^{+}}, $$

for all \(u\in \widetilde{E}\) and a.e. \(t\in [0,T]\). Combining (3.16) with (3.17), we have

$$ \int _{0}^{T}V(t,u) \,dt\geq \kappa D_{8} \Vert u \Vert ^{\eta p^{+}} \int _{0} ^{T}H\bigl( \vert u \vert \bigr) \,dt-D_{7}, $$

for all \(u\in \widetilde{E}\) and a.e. \(t\in [0,T]\).

By (3.8), (3.18) and use Lemma 2.3, choosing \(\Vert u \Vert >1\), we have

$$\begin{aligned}& \begin{aligned} I(u)&=\widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &\leq m_{1} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)^{\eta }+m_{2}- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &\leq m_{1} \biggl(\frac{1}{p^{-}} \biggr)^{\eta } \biggl( \int _{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)} \,dt+ \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{p(t)} \,dt \biggr) ^{\eta } \\ & \quad {} -\kappa D_{8} \Vert u \Vert ^{\eta p^{+}} \int _{0}^{T}H\bigl( \vert u \vert \bigr) \,dt+D _{9} \\ &\leq \biggl[ m_{1} \biggl(\frac{1}{p^{-}} \biggr)^{\eta }- \kappa D_{8} \int _{0}^{T}H\bigl( \vert u \vert \bigr) \,dt \biggr] \Vert u \Vert ^{\eta p^{+}}+D _{9}. \end{aligned} \end{aligned}$$

From (3.17) and (\(h_{2}\)), one has

$$\begin{aligned}& \int _{0}^{T}H\bigl( \vert u \vert \bigr) \,dt \rightarrow + \infty \quad \text{as } \Vert u \Vert \rightarrow +\infty . \end{aligned}$$

Therefore, we can infer that

$$\begin{aligned}& I(u)\rightarrow -\infty \quad \text{as } \Vert u \Vert \rightarrow +\infty , \text{for } u\in \mathbb{R}^{N}\oplus \widetilde{E}. \end{aligned}$$

Now, Theorem 1.1 is proved by Claims 1–3, Lemma 3.1 and Theorem 3.1. So problem (1.1) has at least one nontrivial T-periodic solution. □

Proof of Theorem 1.2

In this section, we will denote various positive constants as \(C_{i}\) (\(i=0,1,2,\ldots \)).

Lemma 4.1

Assume that assumptions \((P)\), \((M_{0})\), \((M_{2})\), (\(V_{0}\)), \((V_{5})\) and \((V_{7})\) hold, then the functional I satisfies the compactness condition \((C)\).


Suppose that \(\{u_{n}\}\) be a Cerami sequence in \(W_{T}^{1,p(t)}\), such that \(\{I(u_{n})\}\) is bounded and \((1+ \Vert u _{n} \Vert ) \Vert I'(u_{n}) \Vert \rightarrow 0\) as \(n\rightarrow \infty \). There then exists a constant \(C_{1}>0\) such that

$$ \bigl\vert I(u_{n}) \bigr\vert \leq C_{1}, \qquad \bigl(1+ \Vert u_{n} \Vert \bigr) \bigl\Vert I'(u_{n}) \bigr\Vert \leq C_{1}, $$

for all \(n\in \mathbb{N}\). By assumption (\(V_{0}\)) and \((V_{5})\), one has

$$ -d(t)+ \bigl(\nabla V(t,u),u \bigr)\leq \biggl(p^{-}- \frac{1}{\theta ( \vert u \vert )} \biggr)V(t,u), $$

for a.e. \(t\in [0,T]\) and all \(u\in \mathbb{R}^{N}\), where \(d(t)=(p ^{-}+L)\max_{ \vert u \vert \leq L}a( \vert u \vert )b(t)\).

By condition (\(M_{2}\)), we have

$$ M \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt\geq \widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr). $$

It follows from (4.2) and (4.3) that

$$\begin{aligned}& \begin{aligned} C_{2}&\geq \bigl(1+ \Vert u_{n} \Vert \bigr) \bigl\Vert I'(u_{n}) \bigr\Vert -p^{-} I(u_{n}) \\ &\geq \bigl\langle I'(u_{n}),u_{n} \bigr\rangle -p^{-}I(u_{n}) \\ &=M \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)} \,dt- \int _{0}^{T} \bigl( \nabla V \bigl(t,u_{n}(t) \bigr),u_{n}(t) \bigr) \,dt \\ & \quad {} -p^{-} \biggl[\widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V(t,u_{n}) \,dt \biggr] \\ &\geq p^{-}M \biggl( \int _{0}^{T} \frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt-p^{-} \widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr) \\ & \quad {} + \int _{0}^{T} \bigl[p^{-}V \bigl(t,u_{n}(t) \bigr)- \bigl(\nabla V \bigl(t,u_{n}(t) \bigr),u _{n}(t) \bigr) \bigr] \,dt \\ &\geq \int _{0}^{T} \bigl[ p^{-}V \bigl(t,u_{n}(t) \bigr)- \bigl(\nabla V \bigl(t,u _{n}(t) \bigr),u_{n}(t) \bigr) \bigr] \,dt \\ &\geq \int _{0}^{T} \frac{V(t,u_{n}(t))}{\theta ( \vert u_{n}(t) \vert )} \,dt- \int _{0}^{T}d(t) \,dt. \end{aligned} \end{aligned}$$

Hence we have

$$ \int _{0}^{T}\frac{V(t,u_{n}(t))}{\theta ( \vert u_{n}(t) \vert )} \,dt\leq C_{3}. $$


$$\begin{aligned}& f(s): =V(t,sx). \end{aligned}$$

By (\(V_{6}\)), we have

$$\begin{aligned}& f(s)\geq 0, \quad \forall s\geq \frac{L}{ \vert x \vert }. \end{aligned}$$

Then deduce from (\(V_{5}\))

$$\begin{aligned}& \begin{aligned} f'(s)&=\frac{1}{s} \bigl( \nabla V(t,sx),sx \bigr) \\ &\leq \frac{1}{s} \biggl(p^{-}-\frac{1}{\theta (s \vert x \vert )} \biggr)V(t,sx) \\ &=\frac{1}{s} \biggl(p^{-}-\frac{1}{\theta (s \vert x \vert )} \biggr)f(s) \end{aligned} \end{aligned}$$

for all \(s\geq \frac{L}{ \vert x \vert }\). Let

$$\begin{aligned}& g(s):=f'(s)-\frac{1}{s} \biggl(p^{-}- \frac{1}{\theta (s \vert x \vert )} \biggr)f(s) \leq 0. \end{aligned}$$

By solving the above equation, we obtain

$$\begin{aligned}& f(s)= \biggl( \int _{\frac{L}{ \vert x \vert }}^{s}\frac{g(r)}{r^{p^{-}}G(r \vert x \vert )}\,dr+ \frac{f (\frac{L}{ \vert x \vert } ) \vert x \vert ^{p^{-}}}{L^{p^{-}}}s^{p^{-}}G\bigl(s \vert x \vert \bigr) \biggr), \quad \forall s\geq \frac{L}{ \vert x \vert }, \end{aligned}$$


$$\begin{aligned}& G\bigl( \vert x \vert \bigr)=\exp \biggl(- \int _{L}^{ \vert x \vert }\frac{1}{s\theta (s)} \,ds \biggr), \end{aligned}$$

which implies that

$$\begin{aligned}& f(s)\leq \frac{f (\frac{L}{ \vert x \vert } ) \vert x \vert ^{p^{-}}}{L^{p^{-}}}s ^{p^{-}}G\bigl(s \vert x \vert \bigr), \quad \forall s \geq \frac{L}{ \vert x \vert }. \end{aligned}$$


$$\begin{aligned}& V(t,x)=f(1)\leq \frac{V (t,\frac{Lx}{ \vert x \vert } )}{L^{p^{-}}} \vert x \vert ^{p ^{-}}G\bigl( \vert x \vert \bigr), \quad \forall \vert x \vert \geq L. \end{aligned}$$

By assumption (\(V_{0}\)), we have

$$\begin{aligned}& V \biggl(t,\frac{Lx}{ \vert x \vert } \biggr)\leq \max_{ \vert x \vert \leq L}a\bigl( \vert x \vert \bigr)b(t), \end{aligned}$$

for a.e. \(t\in [0,T]\) and all \(x\in \mathbb{R}^{N}\). Thus, we get

$$ V(t,x)\leq \biggl[ \frac{ \vert x \vert ^{p^{-}}}{L^{p^{-}}}G\bigl( \vert x \vert \bigr)+1 \biggr] \max_{ \vert x \vert \leq L}a\bigl( \vert x \vert \bigr)b(t), $$

for a.e. \(t\in [0,T]\) and all \(x\in \mathbb{R}^{N}\). Furthermore, by \((\theta _{2})\), we obtain

$$ G\bigl( \vert x \vert \bigr)\rightarrow 0 \quad \text{as } \vert x \vert \rightarrow +\infty . $$

From \(0<\frac{1}{\theta (\tau )}<p^{-}\), for \(\tau >0\), we have

$$\begin{aligned}& \bigl(\tau ^{p^{-}}G(\tau ) \bigr)'=\tau ^{p^{-}-1}G( \tau ) \biggl( p^{-}-\frac{1}{ \theta (\tau )} \biggr)>0, \end{aligned}$$

which implies that \(\tau ^{p^{-}}G(\tau )\) is increasing on τ.

Combining (4.6) and (2.2), we get

$$ \begin{aligned}[b] \int _{0}^{T}V \bigl(t,u_{n}(t) \bigr) \,dt &\leq \int _{0}^{T} \biggl[ \frac{ \vert u _{n}(t) \vert ^{p^{-}}}{L^{p^{-}}} G \bigl( \bigl\vert u_{n}(t) \bigr\vert \bigr)+1 \biggr]\max _{ \vert s \vert \leq L}a\bigl( \vert s \vert \bigr)b(t) \,dt \\ &\leq C_{4} \Vert u_{n} \Vert _{\infty }^{p^{-}} \int _{0}^{T}G\bigl( \Vert u _{n} \Vert _{\infty }\bigr) \,dt+C_{5} \\ &\leq C_{4} C_{0}^{p^{-}} \Vert u_{n} \Vert ^{p^{-}} \int _{0}^{T}G\bigl(C _{0} \Vert u_{n} \Vert \bigr) \,dt+C_{5}. \end{aligned} $$

For \(\forall u\in W_{T}^{1,p(t)}\), let

$$\begin{aligned}& \overline{u}=\frac{1}{T} \int _{0}^{T}u(t) \,dt\in \mathbb{R}^{N}, \quad\quad \widetilde{u}(t)=u(t)-\overline{u}. \end{aligned}$$

By (\(M_{0}\)) and (2.3), we obtain

$$ \begin{aligned}[b] \widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)&= \int _{0}^{\int _{0}^{T}\frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt}M(s) \,ds \\ &\geq \frac{m_{0}}{p^{+}} \int _{0}^{T} \bigl\vert \dot{u}_{n}(t) \bigr\vert ^{p(t)} \,dt \\ &\geq \frac{m_{0}}{p^{+}} \bigl( \Vert \tilde{u}_{n} \Vert ^{p^{-}}-1 \bigr). \end{aligned} $$

By (4.1), (4.7) and (4.8), we have

$$ \begin{aligned}[b] C_{1}&\geq I(u_{n}) \\ &=\widehat{M} \biggl( \int _{0}^{T} \frac{ \vert \dot{u}_{n}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V \bigl(t,u _{n}(t) \bigr) \,dt \\ &\geq \frac{m_{0}}{p^{+}} \bigl( \Vert \widetilde{u}_{n} \Vert ^{p^{-}}-1 \bigr)-C_{4}C_{0}^{p^{-}} \Vert u_{n} \Vert ^{p^{-}} \int _{0}^{T}G\bigl(C _{0} \Vert u_{n} \Vert \bigr) \,dt-C_{5}. \end{aligned} $$

We claim that the sequence \(\{u_{n}\}\) is bounded in \(W^{1,p(t)}_{T}\). Suppose that is not the case. Passing to a subsequence if necessary, we may assume that

$$ \lim_{n\rightarrow +\infty } \Vert u_{n} \Vert =+\infty . $$


$$\begin{aligned}& \omega _{n}=\frac{u_{n}}{ \Vert u_{n} \Vert }=\frac{\overline{u}_{n}}{ \Vert u_{n} \Vert }+\frac{ \widetilde{u}_{n}}{ \Vert u_{n} \Vert }= \overline{\omega }_{n}+ \widetilde{\omega }_{n}, \end{aligned}$$

then \(\{\omega _{n}\}\) is bounded in \(W^{1,p(t)}_{T}\) and \(\Vert \omega _{n} \Vert =1\). Hence, up to a subsequence, we get

$$\begin{aligned}& \omega _{n}\rightharpoonup \omega \quad \text{weakly in } W_{T}^{1,p(t)} \end{aligned}$$


$$\begin{aligned}& \omega _{n}\rightarrow \omega \quad \text{strongly in } C \bigl([0,T]; \mathbb{R}^{N} \bigr). \end{aligned}$$

By using Eqs. (4.6) and (4.10), one has

$$ \lim_{n\rightarrow +\infty } G \bigl(C_{0} \Vert u \Vert \bigr)=0. $$

Dividing both sides of (4.9) by \(\Vert u_{n} \Vert ^{p^{-}}\), by (4.10) and (4.11), we find that

$$ \lim_{n\rightarrow +\infty } \Vert \widetilde{\omega }_{n} \Vert =0. $$

So we deduce that \(\omega =\overline{\omega }\in \mathbb{R}^{N}\) and \(\omega \neq 0\). Thus

$$\begin{aligned}& \lim_{n\rightarrow +\infty }u_{n}(t)=+\infty , \end{aligned}$$

for a.e. \(t\in [0,T]\). By \((V_{7})\), we get

$$ \lim_{ \vert u_{n} \vert \rightarrow +\infty } \int _{0}^{T}\frac{V(t,u_{n}(t))}{ \theta ( \vert u_{n}(t) \vert )} \,dt=+\infty . $$

This contradicts (4.4). Therefore \(\{u_{n}\}\) is bounded in \(W^{1,p(t)}_{T}\). Similar to the proof of Lemma 3.1, we see that I satisfies condition \((C)\). □

Proof of Theorem 1.2

By saddle point theorem (see Theorem 4.6 in [37]), we only need to verify the following linking conditions:


\(I(u)\rightarrow +\infty \) as \(\Vert u \Vert \rightarrow + \infty \) in \(\widetilde{W}_{T}^{1,p(t)}\), where \(\widetilde{W}_{T} ^{1,p(t)}= \{u\in W_{T}^{1,p(t)}\mid \bar{u}=0 \}\).


\(I(u)\rightarrow -\infty \) as \(\vert u \vert \rightarrow +\infty \) in \(\mathbb{R}^{N}\).

On one hand, by (\(M_{0}\)), (2.3) and (4.7), for all \(u\in \widetilde{W}_{T}^{1,p(t)}\), we have

$$\begin{aligned}& \begin{aligned} I(u)&=\widehat{M} \biggl( \int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt \biggr)- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &= \int _{0}^{\int _{0}^{T}\frac{ \vert \dot{u}(t) \vert ^{p(t)}}{p(t)} \,dt}M(s) \,ds- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &\geq \frac{m_{0}}{p^{+}} \int _{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{p(t)} \,dt- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &\geq \frac{m_{0}}{p^{+}} \bigl( \Vert u \Vert ^{p^{-}}-1 \bigr)-C _{4}C_{0}^{p^{-}} \Vert u \Vert ^{p^{-}} \int _{0}^{T}G\bigl(C_{0} \Vert u \Vert \bigr) \,dt-C_{5} \\ &= \Vert u \Vert ^{p^{-}} \biggl[ \frac{m_{0}}{ p^{+}} \biggl(1- \frac{1}{ \Vert u \Vert ^{p^{-}}} \biggr)-C_{4}C_{0}^{p^{-}} \int _{0}^{T}G\bigl(C_{0} \Vert u \Vert \bigr) \,dt \biggr]-C_{5}. \end{aligned} \end{aligned}$$

Hence, by (4.11), we have

$$\begin{aligned}& I(u)\rightarrow +\infty \quad \text{as } \Vert u \Vert \rightarrow +\infty , \end{aligned}$$

for all \(u\in \widetilde{W}_{T}^{1,p(t)}\).

On the other hand, since \(0<\frac{1}{\theta ( \vert x \vert )}<p^{-}\), by (\(V_{6}\)) and (\(V_{7}\)), we have

$$\begin{aligned}& \begin{aligned} I(u)&=- \int _{0}^{T}V \bigl(t,u(t) \bigr) \,dt \\ &\leq -\frac{1}{p^{-}} \int _{0}^{T}\frac{V(t,u(t))}{\theta ( \vert u(t) \vert )} \,dt \\ & \rightarrow -\infty \quad \text{as } \vert u \vert \rightarrow +\infty \text{ in } \mathbb{R}^{N}. \end{aligned} \end{aligned}$$

Now, the proof of Theorem 1.2 is completed. □


  1. Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)

    Book  Google Scholar 

  2. Zhikov, V.V.: Averaging of functionals in the calculus of variations and elasticity. Math. USSR, Izv. 29, 33–66 (1987)

    Article  Google Scholar 

  3. Ruzicka, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Springer, Berlin (2002)

    MATH  Google Scholar 

  4. Radulescu, V.D., Zhang, B.L.: Morse theory and local linking for a nonlinear degenerate problem arising in the theory of electrorheological fluids. Nonlinear Anal., Real World Appl. 121, 336–369 (2015)

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  6. Karama, F., Sadik, K., Ziad, L.: A variable exponent nonlocal \(p(x)\)-Laplacian equation for image restoration. Comput. Math. Appl. 75, 534–546 (2018)

    Article  MathSciNet  Google Scholar 

  7. Fan, X.L., Zhao, D.: On the spaces \(L^{p(x)}(\varOmega )\) and \(W^{m,p(x)}( \varOmega )\). J. Math. Anal. Appl. 263, 424–446 (2001)

    Article  MathSciNet  Google Scholar 

  8. Fan, X.L.: A Knobloch-type result for \(p(t)\)-Laplacian systems. J. Math. Anal. Appl. 282, 453–464 (2003)

    Article  MathSciNet  Google Scholar 

  9. Wang, X.J., Yuan, R.: Existence of periodic solutions for \(p(t)\)-Laplacian systems. Nonlinear Anal., Theory Methods Appl. 70, 866–880 (2009)

    Article  MathSciNet  Google Scholar 

  10. Zhang, L., Tang, X.H.: Subharmonic solutions for some nonautonomous Hamiltonian systems with \(p(t)\)-Laplacian. Bull. Belg. Math. Soc. Simon Stevin 18, 385–400 (2011)

    MathSciNet  MATH  Google Scholar 

  11. Zhang, L., Tang, X.H.: Periodic solutions for some nonautonomous \(p(t)\)-Laplacian Hamiltonian systems. Appl. Math. 58, 39–61 (2013)

    Article  MathSciNet  Google Scholar 

  12. Chen, P., Tang, X.H., Agarwal, R.: Infinitely many homoclinic solutions for nonautonomous \(p(t)\)-Laplacian Hamiltonian systems. Comput. Math. Appl. 63, 751–763 (2012)

    Article  MathSciNet  Google Scholar 

  13. Zhang, Z.H., Yuan, R.: Existence of two almost homoclinic solutions for \(p(t)\)-Laplacian Hamiltonian systems with a small perturbation. J. Appl. Math. Comput. 52, 173–189 (2016)

    Article  MathSciNet  Google Scholar 

  14. Zhang, Z.H., Xiang, T., Yuan, R.: Homoclinic solutions for \(p(t)\)-Laplacian–Hamiltonian systems without coercive conditions. Mediterr. J. Math. 13(4), 1589–1611 (2016)

    Article  MathSciNet  Google Scholar 

  15. An, Y.K., Ru, Y.F., Wang, F.L.: Existence of nonconstant periodic solutions for a class of second-order systems with \(p(t)\)-Laplacian. Bound. Value Probl. 2017, Article ID 170 (2017)

    Article  MathSciNet  Google Scholar 

  16. Chipot, M., Lovat, B.: Some remarks on non local elliptic and parabolic problems. Nonlinear Anal., Theory Methods Appl. 30, 4619–4627 (1997)

    Article  Google Scholar 

  17. Gasinsk, L., Junior, J.R.S.: Multiplicity of positive solutions for an equation with degenerate nonlocal diffusion. Comput. Math. Appl. 78, 136–143 (2019)

    Article  MathSciNet  Google Scholar 

  18. Junior, J.R.S., Siciliano, G.: Positive solutions for a Kirchhoff problem with vanishing nonlocal term. J. Differ. Equ. 265, 2034–2043 (2018)

    Article  MathSciNet  Google Scholar 

  19. Radulescu, V.D., Repovs, D.D.: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton (2015)

    Book  Google Scholar 

  20. Cencelj, M., Radulescu, V.D., Repovs, D.D.: Double phase problems with variable growth. Nonlinear Anal. 177, 270–287 (2018)

    Article  MathSciNet  Google Scholar 

  21. Ho, K., Sim, I.: A-priori bounds and existence for solutions of weighted elliptic equations with a convection term. Adv. Nonlinear Anal. 6(4), 427–445 (2017)

    MathSciNet  MATH  Google Scholar 

  22. Liu, Y., Zhao, J.M.: Abstract Hardy spaces with variable exponents. Nonlinear Anal. 167, 29–50 (2018)

    Article  MathSciNet  Google Scholar 

  23. Simsen, J., Simsen, M., Zimmermann, A.: Study of ODE limit problems for reaction–diffusion equations. Opusc. Math. 38(1), 117–131 (2018)

    Article  MathSciNet  Google Scholar 

  24. Fan, X.L.: On nonlocal \(p(x)\)-Laplacian Dirichlet problems. Nonlinear Anal., Theory Methods Appl. 72, 3314–3323 (2010)

    Article  MathSciNet  Google Scholar 

  25. Dai, G.W., Ma, R.Y.: Solutions for a \(p(x)\)-Kirchhoff type equation with Neumann boundary data. Nonlinear Anal., Real World Appl. 12, 2666–2680 (2011)

    Article  MathSciNet  Google Scholar 

  26. Vilasi, L.: Eigenvalue estimates for stationary \(p(x)\)-Kirchhoff problems. Electron. J. Differ. Equ. 2016, Article ID 186 (2016)

    Article  MathSciNet  Google Scholar 

  27. Allaoui, M., Ourraoui, A.: Existence results for a class of \(p(x)\)-Kirchhoff problem with a singular weight. Mediterr. J. Math. 13(2), 677–686 (2016)

    Article  MathSciNet  Google Scholar 

  28. Zhang, S.G.: Periodic solutions for a class of second order Hamiltonian systems with \(p(t)\)-Laplacian. Bound. Value Probl. 2016, Article ID 211 (2016)

    Article  MathSciNet  Google Scholar 

  29. Miyagaki, O.H., Souto, M.A.S.: Superlinear problems without Ambrosetti and Rabinowitz growth condition. J. Differ. Equ. 245(12), 3628–3638 (2008)

    Article  MathSciNet  Google Scholar 

  30. Alves, C.O., Liu, S.B.: On superlinear \(p(x)\)-Laplacian equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Theory Methods Appl. 73(8), 2566–2579 (2010)

    Article  Google Scholar 

  31. Tang, C.L., Wu, X.P.: Periodic solutions for a class of new superquadratic second order Hamiltonian systems. Appl. Math. Lett. 34(2), 65–71 (2014)

    Article  MathSciNet  Google Scholar 

  32. Li, Y., Li, L.: Existence and multiplicity of solutions for \(p(x)\)-Laplacian equations in \(\mathbb{R}^{N}\). Bull. Malays. Math. Sci. Soc. 12(1), 1–9 (2015)

    Google Scholar 

  33. Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Robin problems with a general potential and a superlinear reaction. J. Differ. Equ. 263, 3244–3290 (2017)

    Article  MathSciNet  Google Scholar 

  34. Wang, Z.Y., Xiao, J.Z.: On periodic solutions of subquadratic second order non-autonomous Hamiltonian systems. Appl. Math. Lett. 40, 72–77 (2015)

    Article  MathSciNet  Google Scholar 

  35. Gasinski, L., Papageorgiou, N.S.: Existence and multiplicity of solutions for Neumann p-Laplacian type equations. Adv. Nonlinear Stud. 8, 843–870 (2008)

    Article  MathSciNet  Google Scholar 

  36. Li, S.J., Willem, M.: Applications of local linking to critical point theory. J. Math. Anal. Appl. 189, 6–32 (1995)

    Article  MathSciNet  Google Scholar 

  37. Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS, vol. 65. Am. Math. Soc., Providence (1986)

    Book  Google Scholar 

Download references


The author is grateful to the anonymous referees for their constructive comments and suggestions which have greatly improved this paper.

Availability of data and materials

Not applicable.


This work is supported by the National Natural Science Foundation of China (31260098), Fundamental Research Funds for the Central Universities (31920180041, 31920190057), and the Fund for Talent Introduction of Northwest Minzu University (xbmuyjrc201907).

Author information

Authors and Affiliations



The author contributed solely to the writing of this paper. He read and approved the manuscript.

Corresponding author

Correspondence to Shengui Zhang.

Ethics declarations

Ethics approval and consent to participate

The author contributed to each part of this study.

Competing interests

The author declares that he has no competing interests.

Consent for publication

The author read and approved the final version of the manuscript.

Additional information


Not applicable.

Publisher’s Note

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

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhang, S. Periodic solutions for nonlocal \(p(t)\)-Laplacian systems. Bound Value Probl 2019, 119 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 34J37
  • 58E05
  • 70H05


  • Variational methods
  • \(p(t)\)-Laplacian systems
  • Nonlocal problems
  • Critical point
  • Periodic solution