Open Access

Existence and multiple solutions for second-order p-Laplacian difference equations

Advances in Difference Equations20172017:379

https://doi.org/10.1186/s13662-017-1435-4

Received: 12 April 2017

Accepted: 29 November 2017

Published: 6 December 2017

Abstract

In this paper, we investigate the solutions of boundary value problems for second-order p-Laplacian difference equations. By using the critical point theory, the existence and multiple results are obtained.

Keywords

boundary value problems p-Laplaciandifference equationscritical point theory

MSC

39A1047J3058E05

1 Introduction

In this paper, we consider the following second-order p-Laplacian difference equation:
$$ \Delta \bigl( q_{n}\varphi_{p}(\Delta x_{n-1}) \bigr) +f_{n} ( x_{n} ) =0, \quad n\in\mathbf{Z}(1,k), $$
(1.1)
with boundary value conditions
$$ \alpha x_{0}-\beta\Delta x_{0}=0=\gamma x_{k+1}+ \sigma\Delta x_{k}, $$
(1.2)
where Δ is the forward difference operator \(\Delta x_{n}=x _{n+1}-x_{n}\), \(\varphi_{p}(s)\) is the p-Laplacian operator \(\varphi_{p}(s)=\vert s\vert ^{p-2}s\) (\(1< p<\infty\)), \(q_{n}\) is real-valued for each \(n\in\mathbf{Z}\), k is a given positive integer, α, β, γ and σ are constants, \(f\in C(\mathbf{R}^{2}, \mathbf{R})\). Boundary value problem (1.1) with (1.2) contains the following boundary value conditions:
$$\begin{aligned}& x_{0}=0, \quad\quad x_{k+1}=0; \\& x_{0}=0, \quad \quad \Delta x_{k}=0; \\& \Delta x_{0}=0, \quad\quad x_{k+1}=0; \end{aligned}$$
and
$$ \Delta x_{0}=0, \quad\quad \Delta x_{k}=0. $$
Eq. (1.1) can be considered as a discrete analogue of the following second-order differential equation:
$$ \bigl( q(t)\varphi_{p}\bigl(x'\bigr) \bigr) '+f\bigl(t,x(t)\bigr)=0, \quad t\in\mathbf{R}. $$
(1.3)
Eq. (1.3) includes the following equation:
$$ \bigl( q(t)\psi\bigl(x'\bigr) \bigr) '+f\bigl(t,x(t) \bigr)=0, \quad t\in\mathbf{R}, $$
(1.4)
which has arose in the study of fluid dynamics, gas diffusion through porous media and adiabatic reactor [1]. Equations similar in structure to (1.4) arise in the study of homoclinic orbits [24] of differential equations [5].
In 2007, Chen and Fang [6] obtained a sufficient condition for the existence of periodic and subharmonic solutions of second-order p-Laplacian difference equation
$$ \Delta \bigl( \varphi_{p}(\Delta x_{n-1}) \bigr) +f_{n} ( x_{n+1},x _{n},x_{n-1} ) =0, \quad n \in\mathbf{Z}, $$
(1.5)
by using the critical point theory. Moreover, Shi et al. [7] investigated the existence and multiplicity results for the Dirichlet boundary value problem (BVP) of (1.4) by using the mountain pass lemma in combination with variational techniques.
Liu et al. [8] in 2013 considered the existence of a nontrivial homoclinic orbit of the following second-order p-Laplacian difference equation:
$$ \Delta \bigl( \varphi_{p}(\Delta x_{n-1}) \bigr) -q_{n} \bigl( \varphi _{p}(\Delta x_{n}) \bigr) =f_{n} ( x_{n+1},x_{n},x_{n-1} ) , \quad n \in \mathbf{Z}, $$
(1.6)
and gave some new results.
By using critical point theory, Chen and Tang [9] established some existence criteria to guarantee that the second-order discrete p-Laplacian system
$$ \Delta \bigl( \varphi_{p}(\Delta x_{n-1}) \bigr) -a_{n}\vert x_{n}\vert ^{p-2}x_{n} + \nabla W_{n} ( x_{n} ) =0,\quad n\in\mathbf{Z}, $$
(1.7)
has at least one homoclinic orbit.

In this paper, we investigate the solutions of boundary value problems (1.1) with (1.2) for a second-order p-Laplacian difference equation [625]. By using the critical point theory [2628], the existence and multiple results are obtained. The proof is based on the variational methods and linking theorem. The motivation for the present work stems from the recent papers [22, 29].

Let
$$ F(t,z)= \int_{0}^{z}f(t,s)\,ds\geq0 $$
and
$$ q_{\min}=\min \bigl\{ q_{n}: n\in\mathbf{Z}(1,k+1) \bigr\} ,\quad\quad q_{ \max}=\max \bigl\{ q_{n}: n\in\mathbf{Z}(1,k+1) \bigr\} . $$

Let \(B_{\rho}\) denote the open ball in E about 0 of radius ρ, and let \(\partial B_{\rho}\) denote its boundary.

This paper is divided into four parts. First of all, Section 2 states some basic notations and presents variational structure. Second, in Section 3, we shall state and prove our main results by using the variational methods. Finally, in Section 4, we shall give an example to illustrate the applicability of the main results.

2 Variational structure

Our main tool is the critical point theory. We shall establish a suitable variational structure to study the existence of boundary value problem (1.1) with (1.2). At first, we shall state some basic notations which will be used in the proofs of our main results.

Let \(\mathbf{R}^{k}\) be a real Euclidean space with dimension k. On the one hand, we define the inner product on \(\mathbf{R}^{k}\) as follows:
$$ \langle x,y\rangle =\sum_{j=1}^{k}x_{j} y_{j}, \quad \forall x,y\in \mathbf{R}^{k}, $$
(2.1)
by which the norm \(\Vert \cdot \Vert \) can be induced by
$$ \Vert x\Vert = \Biggl( \sum_{j=1}^{k}x_{j}^{2} \Biggr) ^{\frac{1}{2}}, \quad \forall x \in\mathbf{R}^{k}. $$
(2.2)
On the other hand, we define the norm \(\Vert \cdot \Vert _{s}\) on \(\mathbf{R} ^{k}\) as follows:
$$ \Vert x\Vert _{s}= \Biggl( \sum_{j=1}^{k} \vert x_{j}\vert ^{s} \Biggr) ^{\frac{1}{s}} $$
for all \(x\in\mathbf{R}^{k}\) and \(s>1\).
Since \(\Vert x\Vert _{s}\) and \(\Vert x\Vert _{2}\) are equivalent, there exist constants \(k_{1}\), \(k_{2}\) such that \(k_{2}\geq k_{1}>0\), and
$$ k_{1}\Vert x\Vert _{2}\leq \Vert x\Vert _{s}\leq k_{2}\Vert x\Vert _{2}, \quad \forall x\in \mathbf{R}^{k}. $$
(2.3)
For boundary value problem (1.1) with (1.2), consider the functional J defined on \(\mathbf{R}^{k}\) as follows:
$$ J(x)=\frac{1}{p}\sum_{n=1}^{k+1}q_{n} \vert \Delta x_{n-1}\vert ^{p}- \sum _{n=1}^{k}F_{n}(x_{n}) + \varphi_{p} \biggl( \frac{\gamma}{\sigma} \biggr) \frac{q _{k+1}^{p}x_{k+1}^{p}}{p} + \varphi_{p} \biggl( \frac{\alpha}{\beta} \biggr) \frac{q _{1}^{p}x_{0}^{p}}{p}, $$
where
$$ x=\{x_{n}\}_{n=1}^{k}=(x_{1},x_{2},\ldots,x_{k})^{\ast}, \quad\quad \alpha x _{0}-\beta\Delta x_{0}=0=\gamma x_{k+1}+\sigma\Delta x_{k}. $$
It is easy to see that \(J\in C^{1}(\mathbf{R}^{k},\mathbf{R})\) and, for any \(x=\{x_{n}\}_{n=1}^{k}=(x_{1},x_{2},\ldots,x_{k})^{\ast}\), by using \(\alpha x_{0}-\beta\Delta x_{0}=0=\gamma x_{k+1}+\sigma\Delta x_{k}\) and the summation by parts
$$ \sum_{n=1}^{k}y_{n}\Delta x_{n-1}=y_{k}x_{k}-y_{1}x_{0}- \sum_{n=1} ^{k}\Delta y_{n} x_{n}, $$
we can compute the partial derivative as
$$ \frac{\partial J}{\partial x_{n}}=-\Delta \bigl( q_{n}\varphi_{p}( \Delta u_{n-1}) \bigr) -f_{n} ( x_{n} ) , \quad \forall n\in \mathbf{Z}(1,k). $$
Thus, x is a critical point of J on \(\mathbf{R}^{k}\) if and only if
$$ \Delta \bigl( q_{n}\varphi_{p}(\Delta u_{n-1}) \bigr) +f_{n} ( x_{n} ) =0, \quad \forall n\in\mathbf{Z}(1,k). $$
We reduce the existence of boundary value problem (1.1) with (1.2) to the existence of critical points of J on \(\mathbf{R}^{k}\). That is, the functional J is just the variational framework of boundary value problem (1.1) with (1.2).
Denote
$$ W= \bigl\{ ( x_{1},x_{2},\ldots,x_{k} ) ^{\ast}\in\mathbf{R} ^{k}|x_{n}=c, c\in\mathbf{R}, n \in\mathbf{Z}(1,k) \bigr\} , $$
and let V be the direct orthogonal complement of \(\mathbf{R}^{k}\) to W, i.e., \(\mathbf{R}^{k}=V\oplus W\).
Let
$$ M= \left ( \begin{matrix} 1& -1& 0& \cdots& 0& 0 \\ -1& 2& -1& \cdots& 0& 0 \\ 0& -1& 2& \cdots& 0& 0 \\ \cdots&\cdots&\cdots&\cdots&\cdots&\cdots \\ 0& 0& 0& \cdots& 2& -1 \\ 0& 0& 0& \cdots& -1& 1 \end{matrix} \right ) $$
be a \((k+1)\times(k+1)\) matrix.

It is easy to see that 0 is an eigenvalue of M and \(\xi=\frac{1}{ \sqrt{k+1}}(1,1,\ldots,1)^{\ast}\in\mathbf{R}^{k+1}\) is an eigenvector of P corresponding to 0. Let \(\lambda_{1},\lambda_{2}, \ldots,\lambda_{k}\) be the other eigenvalues of M. Applying matrix theory, it is obvious that \(\lambda_{j}>0\) for all \(j\in\mathbf{Z}(1,k)\).

Let
$$\begin{aligned}& \lambda_{\max}=\max \{ \lambda_{j}|j=1,2,\ldots,k \} , \end{aligned}$$
(2.4)
$$\begin{aligned}& \lambda_{\min}=\min \{ \lambda_{j}|j=1,2,\ldots,k \} . \end{aligned}$$
(2.5)

For convenience, we identify \(x\in\mathbf{R}^{k}\) with \(x= ( x _{1},x_{2},\ldots,x_{k} ) ^{\ast}\).

3 Main results

In this section, we shall state and prove our main results by using the variational methods.

Theorem 3.1

Suppose that the following assumptions are satisfied:
\((B_{1})\)

\(\alpha\geq0\), \(\beta>0\), \(\gamma\geq0\) and \(\sigma>0\);

\((q_{1})\)

For any \(n\in\mathbf{Z}(1,k+1)\), \(q_{n}>0\);

\((F_{1})\)
There exist constants \(c_{1}>0\), \(c_{2}>0\) and \(\tau>p\) such that
$$ F(t,y)\geq c_{1}\vert y\vert ^{\tau}-c_{2},\quad \forall(t,y)\in\mathbf{R}^{2}. $$
Then boundary value problem (1.1) with (1.2) possesses at least one solution.

Proof

For any \(x=(x_{1},x_{2},\ldots,x_{k})^{\ast}\in \mathbf{R}^{k}\), combining with \((F_{1})\), it is easy to see that
$$\begin{aligned} J(x)&=\frac{1}{p}\sum_{n=1}^{k+1}q_{n} \vert \Delta x_{n-1}\vert ^{p}- \sum _{n=1}^{k}F_{n}(x_{n})+ \varphi_{p} \biggl( \frac{\gamma}{\sigma } \biggr) \frac{q _{k+1}x_{k+1}^{p}}{p} + \varphi_{p} \biggl( \frac{\alpha}{\beta} \biggr) \frac{q _{1}x_{0}^{p}}{p} \\ &\leq\frac{q_{\max}2^{p}}{p}\sum_{n=1}^{k+1} \bigl( \vert x_{n}\vert ^{p}+\vert x _{n-1}\vert ^{p} \bigr) -c_{1}\sum_{n=1}^{k} \vert x_{n}\vert ^{\tau}+c _{2}k + \varphi_{p} \biggl( \frac{\gamma}{\sigma} \biggr) \frac{q_{\max}}{p} \Vert x\Vert _{p}^{p} \\ &\quad{} +\varphi_{p} \biggl( \frac{\alpha}{ \beta} \biggr) \frac{q_{\max}}{p} \Vert x\Vert _{p}^{p} \\ & \leq\frac{3q_{\max}2^{p}}{p}\Vert x\Vert _{p}^{p} -c_{1}k_{2}^{\tau} \Vert x\Vert _{\tau}^{\tau}+c_{2}k +\varphi_{p} \biggl( \frac{\gamma}{\sigma} \biggr) \frac{q _{\max}}{p} \Vert x\Vert _{p}^{p} +\varphi_{p} \biggl( \frac{\alpha}{\beta} \biggr) \frac{q _{\max}}{p} \Vert x\Vert _{p}^{p} \\ & \leq \biggl[ \frac{3q_{\max}2^{p}}{p} +\varphi_{p} \biggl( \frac{\gamma}{ \sigma} \biggr) \frac{q_{\max}}{p} +\varphi_{p} \biggl( \frac{\alpha}{ \beta} \biggr) \frac{q_{\max}}{p} \biggr] k_{2}^{p} \Vert x\Vert ^{p} -c_{1}k _{1}^{\tau} \Vert x\Vert ^{\tau}+c_{2}k\rightarrow-\infty \end{aligned}$$
as \(\Vert x\Vert \rightarrow+\infty\). By the continuity of \(J(x)\), we have from the above inequality that there exist upper bounds of values of functional J. Classical calculus shows that J attains its maximal value at some point which is just the critical point of J, and the result follows. The proof of Theorem 3.1 is finished. □

Theorem 3.2

Suppose that the following hypotheses are satisfied:
\((B_{2})\)

\(\alpha=0\), \(\beta>0\), \(\gamma=0\) and \(\sigma>0\);

\((q_{2})\)

For any \(n\in\mathbf{Z}(1,k)\), \(q_{n}>0\);

\((F_{2})\)
There exist constants \(\eta_{1}>0\), \(a_{1}\in ( 0, \frac{q _{\min}\lambda_{\min}^{\frac{p}{2}}}{p} ( \frac {k_{1}}{k_{2}} ) ^{p} ) \) such that
$$ F(t,y)\leq a_{1}\vert y\vert ^{p}, \quad \forall \vert y \vert \leq\eta_{1}; $$
\((F_{3})\)
There exist constants \(\eta_{2}>0\), \(a_{2}\in ( \frac{ \lambda_{\max}^{\frac{p}{2}}q_{\max}}{p} ( \frac {k_{2}}{k_{1}} ) ^{p}, +\infty ) \), \(a_{3}>0\) such that
$$ F(t,y)\geq a_{2}\vert y\vert ^{p}-a_{3},\quad \forall \vert y\vert \geq\eta_{2}, $$
where \(\lambda_{\min}\) and \(\lambda_{\max}\) are constants which can be referred to in (2.4) and (2.5).
Then BVP (1.1) with (1.2) possesses at least two nontrivial solutions.

Remark 3.1

By \((F_{3})\) it is easy to see that there exists a constant \(a_{4}>0\) such that
\((F'_{3})\)

\(F(t,y)\geq a_{2}\vert y \vert ^{p}-a_{4}\), \(\forall(t,y)\in\mathbf{R} ^{2}\).

Lemma 3.1

(Linking theorem [27, 28])

Let E be a real Banach space, \(E=E_{1}\oplus E_{2}\), where \(E_{1}\) is finite dimensional. Suppose that \(J\in C^{1}(E,\mathbf{R})\) satisfies the P.S. condition and
\((J_{1})\)

There exist constants \(a>0\) and \(\rho>0\) such that \(J|_{\partial B_{\rho}\cap E_{2}}\geq a\);

\((J_{2})\)

There exist \(e\in\partial B_{1}\cap E_{2}\) and a constant \(R_{0}\geq\rho\) such that \(J|_{\partial Q}\leq0\), where \(Q=( \bar{B}_{R_{0}}\cap E_{1})\oplus\{se|0< s< R_{0}\}\).

Then J possesses a critical value \(c\geq a\), where
$$ c=\inf_{h\in\Gamma}\sup_{u\in Q} J\bigl(h(u)\bigr), $$
and \(\Gamma=\{h\in C(\bar{Q},E)\mid h|_{\partial Q}=I\}\), where I denotes the identity operator.

Lemma 3.2

(Clark theorem [27, 28])

Let E be a real Banach space, \(J\in C^{1}(E,\mathbf{R})\), with J being even, bounded from below and satisfying the P.S. condition. Suppose \(J(\theta)=0\), there is a set \(G\subset E\) such that G is homeomorphic to \(S^{n-1}\) (n-1 dimension unit sphere) by an odd map, and \(\sup_{G} J<0\). Then J has at least n distinct pairs of nonzero critical points.

Lemma 3.3

Suppose that \((B_{2})\), \((q_{2})\), \((F_{2})\) and \((F_{3})\) are satisfied. Then the functional J satisfies the P.S. condition.

Proof

It follows from \((B_{2})\) that
$$ J(x)=\frac{1}{p}\sum_{n=1}^{k+1}q_{n} \vert \Delta x_{n-1}\vert ^{p}- \sum _{n=1}^{k}F_{n}(x_{n}). $$
Let \(\{ x^{(l)} \} _{l\in\mathbf{N}}\subset\mathbf{R}^{k}\) be such that \(\{ J ( x^{(l)} ) \} _{l\in\mathbf{N}}\) is bounded and \(J' ( x^{(l)} ) \rightarrow0\) as \(l\rightarrow \infty\). Then there exists a positive constant K such that
$$ -K\leq\bigl\vert J \bigl( x^{(l)} \bigr) \bigr\vert \leq K, \quad \forall l\in \mathbf{N}. $$
By \((F'_{3})\), for any \(\{ x^{(l)} \} _{l\in\mathbf{N}} \subset\mathbf{R}^{k}\),
$$\begin{aligned} -K&\leq J \bigl( x^{(l)} \bigr) =\frac{1}{p}\sum _{n=1}^{k+1}q_{n}\bigl\vert \Delta x _{n-1}^{(n)}\bigr\vert ^{p}-\sum _{n=1}^{k}F_{n} \bigl( x_{n}^{(l)} \bigr) \\ &\leq\frac{q_{\max}k_{2}^{p}}{p} \Biggl[ \sum_{n=1}^{k+1} \bigl( \Delta x _{n-1}^{(l)} \bigr) ^{2} \Biggr] ^{\frac{p}{2}} -\sum_{n=1}^{k} \bigl[ a _{2}\bigl\vert x_{n}^{(l)}\bigr\vert ^{p}-a_{4} \bigr] \\ & \leq\frac{q_{\max}k_{2}^{p}}{p}\bigl\Vert x^{(l)}\bigr\Vert ^{p} -a_{2}k _{1}^{p}\bigl\Vert x^{(l)} \bigr\Vert ^{p}+a_{4}k \\ & = \biggl( \frac{q_{\max}k_{2}^{p}\lambda_{\max}^{\frac{p}{2}}}{p}-a _{2}k_{1}^{p} \biggr) \bigl\Vert x^{(l)}\bigr\Vert ^{p} +a_{4}k. \end{aligned}$$
Thus, we have
$$ \biggl( \frac{q_{\max}k_{2}^{p}\lambda_{\max}^{\frac{p}{2}}}{p}-a_{2}k _{1}^{p} \biggr) \bigl\Vert x^{(l)}\bigr\Vert ^{p} \leq K+a_{4}k. $$
From \(a_{2}\in ( \frac{\lambda_{\max}^{\frac{p}{2}}q_{\max}}{p} ( \frac{k_{2}}{k_{1}} ) ^{p}, +\infty ) \) and the above inequality, it is easy to see that \(\{ x^{(l)} \} _{l\in \mathbf{N}}\) is a bounded sequence in \(\mathbf{R}^{k}\). Therefore, \(\{ x^{(l)} \} _{l\in\mathbf{N}}\) possesses a convergent subsequence in \(\mathbf{R}^{k}\) and the result follows. Lemma 3.3 is proved. □

Proof of Theorem 3.2

By Lemma 3.3, we have that J is bounded from above on \(\mathbf{R}^{k}\). Let \(c_{0}=\sup_{x\in\mathbf {R}^{k}}J(x)\). It comes from the proof of Lemma 3.3 that
$$ \lim_{\Vert x\Vert \rightarrow+\infty}J(x)=-\infty. $$
This implies that \(-J(x)\) is coercive. From the continuity of \(J(x)\), there exists \(\bar{x}\in\mathbf{R}^{k}\) such that \(J(\bar{x})=c _{0}\). It is easy to see that is a critical point of J.
For any \(x\in V\), \(\Vert x\Vert \leq\rho\), it follows from \((F_{2})\) that
$$\begin{aligned} J(x)&=\frac{1}{p}\sum_{n=1}^{k+1}q_{n} \vert \Delta x_{n-1}\vert ^{p}- \sum _{n=1}^{k}F_{n}(x_{n}) \\ & \geq\frac{q_{\min}k_{1}^{p}}{p} \Biggl[ \sum_{n=1}^{k+1} ( \Delta x _{n-1} ) ^{2} \Biggr] ^{\frac{p}{2}} -a_{1}\sum_{n=1}^{k}\vert x _{n}\vert ^{p} \\ & \geq\frac{q_{\min}k_{1}^{p}\lambda_{\min}^{\frac{p}{2}}}{p}\Vert x\Vert ^{p} -a_{1}k_{2}^{p} \Vert x\Vert ^{p} \\ & = \biggl( \frac{q_{\min}k_{1}^{p}\lambda_{\min}^{\frac{p}{2}}}{p}-a _{1}k_{2}^{p} \biggr) \Vert x\Vert ^{p}. \end{aligned}$$
Thus, \(c_{0}>0\). Taking
$$ a= \biggl( \frac{q_{\min}k_{1}^{p}\lambda_{\min}^{\frac{p}{2}}}{p}-a _{1}k_{2}^{p} \biggr) \rho^{p}, $$
we have
$$ J(x)\geq a, \quad \forall x\in V\cap\partial B_{\rho}. $$
(3.1)
This implies that J satisfies the condition \((J_{1})\) of the linking theorem.
For all \(x\in W\), it comes from \(\sum_{n=1}^{k+1}\vert \Delta x_{n-1}\vert ^{p}=0\) that
$$ J(x)=\frac{1}{p}\sum_{n=1}^{k+1}\vert \Delta x_{n-1}\vert ^{p}-\sum_{n=1}^{k}F_{n}(x_{n})= -\sum_{n=1}^{k}F_{n}(x_{n}) \leq0. $$
Therefore, the critical point of J corresponding to the critical value \(c_{0}\) is a nontrivial solution of BVP (1.1) with (1.2).

It follows from Lemma 3.3 that J satisfies the P.S. condition on \(\mathbf{R}^{k}\). So it remains to verify the condition \((J_{2})\).

Take \(e\in\partial B_{1}\cap V\), for any \(z\in W\) and \(r\in \mathbf{R}\), let \(x=re+z\). Then
$$\begin{aligned} J(x)&=\frac{1}{p}\sum_{n=1}^{k+1}q_{n} \bigl\vert \Delta (re_{n-1}+z_{n-1})\bigr\vert ^{p}-\sum_{n=1}^{k}F_{n}(re_{n}+z_{n}) \\ & =\frac{1}{p}\sum_{n=1}^{k+1}q_{n} \bigl\vert \Delta(re_{n-1})\bigr\vert ^{p}- \sum _{n=1}^{k} \bigl( a_{2}\vert re_{n}+z_{n}\vert ^{p}-a_{4} \bigr) \\ & \leq\frac{q_{\max}k_{2}^{p}}{p} \Biggl( \sum_{n=1}^{k+1} \bigl\vert \Delta(re _{n-1})\bigr\vert ^{2} \Biggr) ^{\frac{p}{2}} -a_{2}k_{1}^{p} \Biggl( \sum _{n=1} ^{k}\vert re_{n}+z_{n} \vert ^{2} \Biggr) ^{\frac{p}{2}}+a_{4}k \\ & \leq\frac{q_{\max}k_{2}^{p}\lambda_{\max}^{\frac{p}{2}}}{p}r^{p} -a _{2}k_{1}^{p}r^{p}-a_{2}k_{1}^{p} \Vert z\Vert ^{p}+a_{4}k \\ & = \biggl( \frac{q_{\max}\lambda_{\max}^{\frac{p}{2}}k_{2}^{p}}{p}-a _{2}k_{1}^{p} \biggr) r^{p}-a_{2}k_{1}^{p}\Vert z \Vert ^{p}+a_{4}k \\ & \leq-a_{2}k_{1}^{p}\Vert z\Vert ^{p}+a_{4}k. \end{aligned}$$
Therefore, for any \(x\in\partial Q\), where \(Q=(\bar{B}_{K_{1}}\cap W) \oplus\{re|0< r< K_{1}\}\), there exists a constant \(K_{1}>\rho>0\) such that \(J(x)\leq0\). By the linking theorem, J possesses a critical value \(c\geq\rho>0\), where \(c=\inf_{h\in\Gamma}\sup_{x\in Q} J(h(x))\) and \(\Gamma=\{h\in C(\bar{Q},\mathbf{R} ^{k})\mid h|_{\partial Q}=I\}\).

The rest of the proof is similar to that of [7], Theorem 1.1; for the sake of simplicity, we omit its proof. □

Theorem 3.3

Suppose that \((B_{2})\), \((q_{2})\), \((F_{2})\), \((F_{3})\) and the following hypothesis are satisfied:
\((f)\)

\(f(t,-y)=-f(t,y)\) for all \((t,y)\in\mathbf{R}^{2}\).

Then BVP (1.1) with (1.2) possesses at least s distinct pairs of nontrivial solutions, where s is the dimension of V which can be referred to in Section  2.

Remark 3.2

The proof of Theorem 3.3 is similar to that of Theorem 4.4 in [12], and we omit its proof.

4 An example

As an application of Theorem 3.2, we give an example to illustrate our main result.

Example 4.1

Consider the BVP
$$ \Delta \bigl( \varphi_{p}(\Delta x_{n-1}) \bigr) +\mu x_{n}^{\mu-1}=0, \quad n\in\mathbf{Z}(1,k) $$
(4.1)
with boundary value conditions (1.2), where \(\mu>p\). We have
$$ q_{n}\equiv1 $$
and
$$ F_{n}(x_{n})=x_{n}^{\mu}. $$
It is easy to verify that all the conditions of Theorem 3.2 are satisfied and then BVP (4.1) with (1.2) possesses at least two nontrivial solutions.

Declarations

Acknowledgements

This project is supported by the National Natural Science Foundation of China (No. 11401121) and the Department of Education of Guangdong Province for Excellent Young College Teacher of Guangdong Province.

Authors’ contributions

All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.

Authors’ Affiliations

(1)
Modern Business and Management Department, Guangdong Construction Polytechnic
(2)
Packaging Engineering Institute, Jinan University

References

  1. Esteban, JR, Vázquez, JL: On the equation of turbulent filtration in one-dimensional porous media. Nonlinear Anal. 10(11), 1303-1325 (1986) MathSciNetView ArticleMATHGoogle Scholar
  2. Guo, CJ, O’Regan, D, Wang, CJ, Agarwal, RP: Existence of homoclinic orbits of superquadratic second-order Hamiltonian systems. Z. Anal. Anwend. 34(1), 27-41 (2015) MathSciNetView ArticleMATHGoogle Scholar
  3. Guo, CJ, O’Regan, D, Xu, YT, Agarwal, RP: Existence of homoclinic orbits of a class of second-order differential difference equations. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 20, 675-690 (2013) MathSciNetMATHGoogle Scholar
  4. Guo, CJ, O’Regan, D, Xu, YT, Agarwal, RP: Existence of homoclinic orbits for a singular second-order neutral differential equation. J. Math. Anal. Appl. 366, 550-560 (2011) View ArticleMATHGoogle Scholar
  5. Pinelas, S, Chipot, M, Došlá, Z: Differential and Difference Equations with Applications: Contributions from the International Conference on Differential and Difference Equations and Applications. Springer, New York (2013) View ArticleMATHGoogle Scholar
  6. Chen, P, Fang, H: Existence of periodic and subharmonic solutions for second-order p-Laplacian difference equations. Adv. Differ. Equ. 2007, 042530 (2007) MathSciNetView ArticleGoogle Scholar
  7. Shi, HP, Liu, ZZ, Wang, ZG: Dirichlet boundary value problems for second order p-Laplacian difference equations. Rend. Ist. Mat. Univ. Trieste 42, 19-29 (2010) MathSciNetMATHGoogle Scholar
  8. Liu, X, Zhang, YB, Shi, HP: Homoclinic orbits and subharmonics for second order p-Laplacian difference equations. J. Appl. Math. Comput. 43(1-2), 467-478 (2013) MathSciNetView ArticleMATHGoogle Scholar
  9. Chen, P, Tang, XH: Existence of homoclinic solutions for the second-order discrete p-Laplacian systems. Taiwan. J. Math. 15(5), 2123-2143 (2011) MathSciNetView ArticleMATHGoogle Scholar
  10. AlSharawi, Z, Cushing, JM, Elaydi, S: Theory and Applications of Difference Equations and Discrete Dynamical Systems. Springer, New York (2014) View ArticleMATHGoogle Scholar
  11. Chen, P, Tang, XH: Infinitely many homoclinic solutions for the second-order discrete p-Laplacian systems. Bull. Belg. Math. Soc. Simon Stevin 20(2), 193-212 (2013) MathSciNetMATHGoogle Scholar
  12. Huang, SH, Zhou, Z: On the nonexistence and existence of solutions for a four-order discrete boundary value problem. Adv. Differ. Equ. 2009, 389624 (2009) MATHGoogle Scholar
  13. Leng, JH: Existence of periodic solutions for a higher order nonlinear difference equation. Electron. J. Differ. Equ. 2016, 134 (2016) MathSciNetView ArticleMATHGoogle Scholar
  14. Leng, JH: Periodic and subharmonic solutions for 2nth-order \(\phi _{c}\)-Laplacian difference equations containing both advance and retardation. Indag. Math. 27(4), 902-913 (2016) MathSciNetView ArticleMATHGoogle Scholar
  15. Liu, X, Zhang, YB, Shi, HP: Existence and multiple solutions for discrete Dirichlet boundary value problems via variational methods. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 75(2), 47-56 (2013) MathSciNetMATHGoogle Scholar
  16. Liu, X, Zhang, YB, Zheng, B, Shi, HP: Periodic and subharmonic solutions for second order p-Laplacian difference equations. Proc. Indian Acad. Sci. Math. Sci. 121(4), 457-468 (2011) MathSciNetView ArticleMATHGoogle Scholar
  17. Shi, HP, Liu, X, Zhang, YB: Homoclinic orbits for second order p-Laplacian difference equations containing both advance and retardation. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 110(1), 65-78 (2016) MathSciNetView ArticleMATHGoogle Scholar
  18. Shi, HP, Zhang, YB: Standing wave solutions for the discrete nonlinear Schrödinger equations with indefinite sign subquadratic potentials. Appl. Math. Lett. 58, 95-102 (2016) MathSciNetView ArticleMATHGoogle Scholar
  19. Yang, LW: Existence of homoclinic orbits for fourth-order p-Laplacian difference equations. Indag. Math. 27(3), 879-892 (2016) MathSciNetView ArticleMATHGoogle Scholar
  20. Yang, LW: Existence theorems of periodic solutions for second-order difference equations containing both advance and retardation. J. Contemp. Math. Anal. 51(2), 58-67 (2016) MathSciNetView ArticleMATHGoogle Scholar
  21. Zhou, Z, Ma, DF: Multiplicity results of breathers for the discrete nonlinear Schrödinger equations with unbounded potentials. Sci. China Math. 58(4), 781-790 (2015) MathSciNetView ArticleMATHGoogle Scholar
  22. Zhou, Z, Su, MT: Boundary value problems for 2n-order \(\phi_{c}\)-Laplacian difference equations containing both advance and retardation. Appl. Math. Lett. 41, 7-11 (2015) MathSciNetView ArticleMATHGoogle Scholar
  23. Zhou, Z, Yu, JS: Homoclinic solutions in periodic nonlinear difference equations with superlinear nonlinearity. Acta Math. Sin. Engl. Ser. 29(9), 1809-1822 (2013) MathSciNetView ArticleMATHGoogle Scholar
  24. Zhou, Z, Yu, JS: On the existence of homoclinic solutions of a class of discrete nonlinear periodic systems. J. Differ. Equ. 249(5), 1199-1212 (2010) MathSciNetView ArticleMATHGoogle Scholar
  25. Zhou, Z, Yu, JS, Chen, YM: Homoclinic solutions in periodic difference equations with saturable nonlinearity. Sci. China Math. 54(1), 83-93 (2011) MathSciNetView ArticleMATHGoogle Scholar
  26. Chen, P, He, XF, Tang, XH: Infinitely many solutions for a class of fractional Hamiltonian systems via critical point theory. Math. Methods Appl. Sci. 39(5), 1005-1019 (2016) MathSciNetView ArticleMATHGoogle Scholar
  27. Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989) View ArticleMATHGoogle Scholar
  28. Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986) View ArticleMATHGoogle Scholar
  29. Chen, P, Tang, XH: Existence of solutions for a class of second-order p-Laplacian systems with impulsive effects. Appl. Math. 59(5), 543-570 (2014) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017