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

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.

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 [2–4] 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 [6–25]. By using the critical point theory [26–28], 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 x̄ 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 x̄ 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.