1 Introduction

In this paper, we investigate the existence of at least one positive solution for the second order p-Laplacian discrete boundary value system

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta u_{i}(k-1)))+f^{i}(k,u(k))=0,\quad k\in N, \\ u(0)=0,\qquad u(T+1)=0,\quad i=1,2,\ldots,n, \end{cases}\displaystyle \end{aligned}$$
(1)

where \(u=(u_{1},u_{2},\ldots,u_{n})\), \(\phi(s)=|s|^{p-2}s\) (\(p>1\)), \(N = \{1,2,\ldots,T\}\), \(T\geq1\) is a fixed positive integer and \(\Delta u(k)=u(k+1)-u(k)\) is the forward difference operator.

The discrete boundary value problems arise in different fields of research. For instance, they are widely used in discrete optimization, computer science, population genetics, and so on. Therefore, different types of discrete boundary value problems have been studied in the past three decades, here we refer the reader to [1, 2, 4, 5, 7, 8, 15, 19]. Among those, the existence of positive solutions for the discrete p-Laplacian system has attracted special attention [4, 7, 19]. Some classical and well-known tools, such as the variational methods [3, 17], the approach of upper and lower solutions [10, 11], and some fixed point theorems [5, 9], have been widely used.

This paper is mainly motivated by previous paper [6], in which Chu et al. [5, 6] stated and showed that, under adequate assumptions on the nonlinear term f, the discrete boundary value problems have at least one positive solution. In this paper, we will choose another adequate cone to prove the main results, which will improve and generalize those results obtained in [6].

As applications of our new results, we characterize the eigenvalue intervals for the n-dimensional system

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta u_{i}(k-1)))+\lambda h_{i}(k)g^{i}(u(k))=0,\quad k\in N, \\ u(0)=0,\qquad u(T+1)=0,\quad i=1,2,\ldots,n, \end{cases}\displaystyle \end{aligned}$$
(2)

where \(\lambda>0\) is a positive parameter. We prove that system (2) has at least one positive solution for each λ in an explicit eigenvalue interval. Recently, several eigenvalue characterizations for different kinds of boundary value problems have appeared, and we refer the reader to [5, 12, 14, 16, 18].

The rest of this paper is organized as follows. In Sect. 2, we introduce some preliminaries which are used to prove the main results. Some results on the existence of at least one positive solution to system (1) are established in Sect. 3. Finally, in Sect. 4 we study the existence of positive solutions for the following discrete system:

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta u_{i}(k-1)))+h_{i}(k)g^{i}(u(k))=0,\quad k\in N, \\ u(0)=0,\qquad u(T+1)=0,\quad i=1,2,\ldots,n, \end{cases}\displaystyle \end{aligned}$$
(3)

and characterize the eigenvalue intervals for system (2).

2 Preliminaries

First let us introduce some notation. For abbreviation, let \({\mathbb {R}}\) be the set of real numbers, \({\mathbb {R}}_{+}=[0,\infty )\), \({\mathbb {R}}^{n}_{+}= \prod^{n}_{i=1}{\mathbb {R}}_{+}\), and \(N^{+}=\{0,1,\ldots,T+1\}\). We will denote by \(C(N^{+},{\mathbb {R}})\) the set of all continuous functions on \(N^{+}\) (discrete topology) with supremum norm \(\|u\|= \max_{k \in N^{+}} |u(k)|\). Then \(C(N^{+},{\mathbb {R}})\) is a Banach space. Given \(u,v\in {\mathbb {R}}^{N}\), the usual inner product formula is denoted by

$$\langle v,u \rangle=\sum_{i=1}^{N} v_{i} u_{i}. $$

Take \(X=C(N^{+},{\mathbb {R}}) \times\cdots\times C(N^{+},{\mathbb {R}})\) (n copies). For any \(u=(u_{1}, \ldots, u_{N})\in X\), we define the v-norm by

$$|u|_{v}=\sum_{i=1}^{N}v_{i} \|u_{i}\|=\sum_{i=1}^{N}v_{i} \cdot\max_{k \in N^{+}} \bigl\vert u_{i}(k) \bigr\vert , $$

where \(v\in {\mathbb {R}}_{+}^{N}\) is a fixed vector. It is easy to see that X is a Banach space.

Next we present some well-known tools which will be used throughout the paper.

Lemma 2.1

([1])

Assume that there exists a function \(y \in C(N^{+},{\mathbb {R}})\) with \(y(k)\geq 0\) for all \(k \in N^{+}\). If \(u \in C(N^{+},{\mathbb {R}})\) satisfies

$$\begin{aligned} \textstyle\begin{cases} \Delta^{2}u(k-1)+y(k)=0,\quad k\in N, \\ u(0)=0, \qquad u(T+1)=0, \end{cases}\displaystyle \end{aligned}$$

then \(u(k)\geq q(k)\|u\|\) for all \(k \in N^{+}\), where

$$ q(k)=\min \biggl\{ \frac{T+1-k}{T+1},\frac{k}{T} \biggr\} . $$
(4)

Remark 2.2

From (4), it is easy to see that \(q(k)\geq\frac{1}{T+1}\) for any \(k \in N\).

Lemma 2.3

([9])

If \(u \in C(N^{+},{\mathbb {R}})\) satisfies

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta u(k-1)))\leq0,\quad k\in N, \\ u(0)=0,\qquad u(T+1)=0, \end{cases}\displaystyle \end{aligned}$$

then \(u(k)\geq q(k)\|u\|\) for \(k \in N^{+}\).

Lemma 2.4

([9])

If \(u, y \in C(N^{+},{\mathbb {R}})\) satisfies

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta u(k-1)))\leq\Delta(\phi(\Delta y(k-1))),\quad k\in N, \\ u(0)\geq y(0),\qquad u(T+1)\geq y(T+1), \end{cases}\displaystyle \end{aligned}$$

then \(u(k)\geq y(k)\) for \(k \in N^{+}\).

Our main tool is a well-known fixed point theorem in cones established in [13], which we recall here for the convenience of the readers. If D is a subset of X, we write \(D_{K}=D\cap K\) and \(\partial _{K}D=(\partial D)\cap K\).

Theorem 2.5

Let X be a Banach space, and let K be a cone in X. Assume that \(\Omega^{1}\), \(\Omega^{2}\) are open bounded subsets of X with \(\Omega ^{1}_{K}\neq\emptyset\), \(\overline{\Omega^{1}}_{K} \subset\Omega^{2}_{K}\). Let

$$T:\overline{\Omega^{2}}_{K} \rightarrow K $$

be a continuous and completely continuous operator such that

  1. (i)

    \(u\neq\lambda Tu\) for \(\lambda\in[0,1)\) and \(u \in \partial_{K}\Omega^{1}\), and

  2. (ii)

    there exists \(e\in K\setminus \{0\}\) such that \(u \neq Tu+\lambda e\) for all \(u \in \partial_{K}\Omega^{2}\) and all \(\lambda> 0\).

Then T has a fixed point in \(\overline{\Omega^{2}}_{K} \setminus \Omega^{1}_{K}\).

3 Main results

In this section, we establish an existence result to the discrete p-Laplacian system (1). Define a cone K in X by

$$ K=\Bigl\{ u=(u_{1},u_{2},\ldots,u_{n}) \in X: \min_{k \in N}\bigl\langle v, u(k)\bigr\rangle \geq q(k)|u|_{v}\Bigr\} . $$
(5)

In addition, the operator \(S:K \rightarrow X\) is defined by \(S=(S_{1},S_{2},\ldots,S_{n})\) and

$$S_{i}u(k)= \textstyle\begin{cases} 0,& k=0 \mbox{ or } T+1, \\ \sum^{T}_{s=k}\phi^{-1}(\tau_{i}+ \sum^{s}_{r=1}f^{i}(r,u(r))),& k\in N, \end{cases} $$

where \(\tau_{i}\) is a solution of the equation

$$ \phi^{-1}(\tau_{i})+ \sum ^{T}_{s=k}\phi^{-1}\Biggl( \tau_{i}+ \sum^{s}_{r=1}f^{i} \bigl(r,u(r)\bigr)\Biggr)=0. $$
(6)

Lemma 3.1

Suppose that \(f^{i}: N^{+} \times {\mathbb {R}}^{n}_{+} \rightarrow {\mathbb {R}}_{+}\) is continuous for each \(i=1,2,\ldots,n\). Then the operator S is continuous and completely continuous. Furthermore, \(S: K \rightarrow K\) is well defined.

Proof

Since \(\phi^{-1}\) is a continuous, strictly increasing function on \({\mathbb {R}}\) and \(\phi^{-1}({\mathbb {R}}) = {\mathbb {R}}\), then \(\tau_{i}\) is a unique solution of equation (6). Therefore, the operator S is well defined. It follows from [6, Lemma 6.1] that \(S:K\rightarrow X\) is continuous and completely continuous. Next, we show that S maps K into K.

Since \(f^{i}(k,u(k)) \geq0\) for \(k\in N\), by Lemma 2.3, it is clear that

$$S_{i}u(k)\geq q(k)\|S_{i}u\| \quad \mbox{for all } u\in K. $$

Therefore

$$\begin{aligned} \bigl\langle v,Su(k)\bigr\rangle \geq q(k)\bigl\langle v, \bigl\Vert Su(k) \bigr\Vert \bigr\rangle = q(k) \bigl\vert Su(k) \bigr\vert _{v}, \end{aligned}$$

which shows that \(S(K) \subset K\). □

In order to apply Theorem 2.5, we need to select adequate open sets. Define

$$\Omega^{r}=\biggl\{ u\in X: \min_{k \in N}\bigl\langle v, u(k)\bigr\rangle < \frac{r}{T+1}\biggr\} \quad \mbox{and}\quad B^{r}=\bigl\{ u\in X: \vert u \vert _{v}< r\bigr\} . $$

Lemma 3.2

\(\Omega^{r}\), \(B^{r}\) defined above have the following properties:

  1. (a)

    \(\Omega^{r}_{K}\), \(B^{r}_{K}\) are open relative to K.

  2. (b)

    \(B^{r/T+1}_{K} \subset\Omega^{r}_{K} \subset B^{r}_{K}\).

  3. (c)

    \(u\in\partial{_{K}}\Omega^{r}\) if and only if \(u \in K\) and \(\min_{k \in N}\langle v, u(k)\rangle=\frac{r}{T+1}\).

  4. (d)

    If \(u\in\partial{_{K}}\Omega^{r}\), then \(\frac{r}{T+1} \leq\langle v, u(k)\rangle\leq r\) for \(k \in N\) and \(|u|_{v}\leq r\).

Proof

Since \(\min_{k \in N}\langle v, u(k)\rangle\) is continuous (discrete topology), we check at once that (a) is true. (c) is clear since, for each \(u \in K\), we have

$$\min_{k \in N}\bigl\langle v, u(k)\bigr\rangle \geq q(k)|u|_{v} \geq\frac{1}{T+1}|u|_{v}. $$

Now let us prove (d). From (c), we have

$$\frac{1}{T+1}|u|_{v} \leq q(k)|u|_{v} \leq \min _{k \in N}\bigl\langle v, u(k)\bigr\rangle = \frac{r}{T+1} \quad \mbox{for } u\in\partial{_{K}}\Omega^{r}. $$

Thus \(|u|_{v} \leq r\) and \(\frac{r}{T+1} \leq\langle v, u(k)\rangle \leq r\) for \(k\in N\).

Next we prove (b). Let \(u \in B^{r/T+1}_{K}\), then we have \(|u|_{v} < \frac{r}{T+1}\), so \(\min_{k \in N}\langle v, u(k)\rangle< \frac{r}{T+1}\) and \(u \in\Omega^{r}_{K}\). Since \(u \in\Omega^{r}_{K}\), for all \(k\in N\), we have \(\min_{k \in N}\langle v, u(k)\rangle< \frac{r}{T+1}\) and \(\langle v, u(k)\rangle\geq q(k)|u|_{v} \geq\frac{1}{T+1}|u|_{v}\). Hence \(|u|_{v}< r\), that is, \(\Omega^{r}_{K}\subset B^{r}_{K}\). □

It follows from the above properties that, for each \(\delta> r\),

$$\Omega^{r}_{K}=\bigl(\Omega^{r}\cap B^{\delta}\bigr)_{K}\quad \mbox{and}\quad \overline{ \Omega^{r}}_{K}=\bigl(\overline{\Omega^{r}\cap B^{\delta}}\bigr)_{K}. $$

Theorem 3.3

Suppose that \(f^{i}: N^{+} \times {\mathbb {R}}^{n}_{+} \rightarrow {\mathbb {R}}_{+}\) is continuous. Moreover, suppose further that there exist \(\alpha, \beta >0\) such that

(\(\mathrm{D}_{1}\)):

For each \(i=1,2,\ldots, n\), there exists a continuous function \(\psi_{i}: N \rightarrow(0,\infty)\) such that

$$f^{i}(j,u) \geq\phi\biggl(\frac{1}{T+1}\alpha\biggr) \psi_{i}(j),\quad \textit{for all }j \in N,\qquad \frac{\alpha}{T+1} \leq\bigl\langle v, u(j)\bigr\rangle \leq\alpha $$

and

$$\min_{k \in N}\bigl\langle v, P(k) \bigr\rangle \geq1, $$

where \(P(k)=(P_{1}(k),P_{2}(k),\ldots,P_{n}(k))\) is the unique solution of

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta P(k-1)))+\psi(k)=0,\quad k\in {\mathbb {N}}, \\ P(0)=0,\qquad P(T+1)=0 \end{cases}\displaystyle \end{aligned}$$
(7)

with \(\psi=(\psi_{1},\psi_{2},\ldots,\psi_{n})\).

(\(\mathrm{D}_{2}\)):

For each \(i=1,2,\ldots, n\), there exists a continuous function \(\chi_{i}: N \rightarrow(0,\infty)\) such that

$$f^{i}(j,u) \rangle\leq\phi(\beta)\chi_{i}(j),\quad \textit{for all }j \in N,\qquad 0< \bigl\langle v, u(j)\bigr\rangle \leq\beta $$

and

$$\max_{k \in N}\bigl\langle v, Q(k) \bigr\rangle \leq1, $$

where \(Q(k)=(Q_{1}(k),Q_{2}(k),\ldots,Q_{n}(k))\) is the unique solution of

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta Q(k-1)))+\chi(k)=0,\quad k\in {\mathbb {N}}, \\ Q(0)=0,\qquad Q(T+1)=0 \end{cases}\displaystyle \end{aligned}$$
(8)

with \(\chi=(\chi_{1},\chi_{2},\ldots,\chi_{n})\).

Then the following results hold:

  1. (a)

    If \(\beta< \frac{\alpha}{T+1}\), then system (1) has at least one positive solution u with

    $$\beta\leq|u|_{v} \leq\alpha; $$
  2. (b)

    If \(\alpha< \beta\), then system (1) has at least one positive solution u with

    $$\frac{\alpha}{T+1}\leq|u|_{v} \leq\beta. $$

Proof

To obtain the desired result, we claim that

  1. (i)

    \(u\neq\lambda Su\) for \(\lambda\in[0,1)\) and \(u \in \partial_{K}B^{\beta}\), and

  2. (ii)

    there exists \(e\in K\setminus \{0\}\) such that \(u \neq Su+\lambda e\) for each \(u \in \partial_{K}\Omega^{\alpha}\) and all \(\lambda> 0\).

We start with (i). Suppose that there exist \(u \in\partial _{K}B^{\beta}\) and \(\lambda\in[0,1)\) such that \(u=\lambda Su\). Since \(u \in\partial_{K}B^{\beta}\), we have \(\frac {1}{T+1}\beta\leq\langle v,u(k)\rangle\leq\beta\) for all \(k\in N\) and \(\langle v,u(k^{*})\rangle= \beta\) for some \(k^{*}\in N\). From (\(\mathrm{D}_{2}\)) we get

$$\Delta\bigl(\phi\bigl(\Delta S_{i}u(k-1)\bigr)\bigr)=-f^{i} \bigl(k,u(k)\bigr) \geq-\phi(\beta)\chi _{i}(k) = \Delta\bigl(\phi\bigl( \Delta\beta Q_{i}(k-1)\bigr)\bigr). $$

By Lemma 2.4, we obtain

$$\begin{aligned} \beta=\bigl\langle v,u\bigl(k^{*}\bigr)\bigr\rangle =\bigl\langle v, \lambda Su\bigl(k^{*}\bigr)\bigr\rangle \leq\lambda\beta\bigl\langle v, Q\bigl(k^{*}\bigr)\bigr\rangle \leq\lambda\beta \max _{k^{*} \in N}\bigl\langle v,Q\bigl(k^{*}\bigr)\bigr\rangle < \beta, \end{aligned}$$

which is a contradiction. Then (i) is proved.

Next we consider claim (ii). Let \(e(t)\equiv1\). Then \(e\in K\setminus \{0\}\). Suppose, contrary to our claim, that there exist \(u\in\partial _{K}\Omega^{\alpha}\) and \(\lambda> 0\) such that \(u=Su+\lambda e\). By Lemma 3.2(d), for any \(u\in\partial_{K}\Omega^{\alpha}\), we have \(\frac{1}{T+1}\alpha\leq\langle v,u(k)\rangle\leq\alpha\) for \(k \in N\).

It follows from (\(\mathrm{D}_{1}\)) that

$$\Delta\bigl(\phi\bigl(\Delta S_{i}u(k-1)\bigr)\bigr)=-f^{i} \bigl(k,u(k)\bigr) \leq-\phi\biggl(\frac{\alpha }{T+1}\biggr)\psi_{i}(k) = \Delta\biggl(\phi\biggl(\Delta\frac{\alpha}{T+1} P_{i}(k-1)\biggr) \biggr). $$

We conclude from Lemma 2.4 that

$$\begin{aligned} \bigl\langle v,u(k)\bigr\rangle =&\bigl\langle v, Su(k)+\lambda e\bigr\rangle = \bigl\langle v, Su(k)\bigr\rangle +\langle v,\lambda e\rangle \\ \ge& \frac{\alpha}{T+1}\bigl\langle v,P(k)\bigr\rangle +\langle v, \lambda e \rangle \\ \ge& \frac{\alpha}{T+1} \min_{k \in N}\bigl\langle v,P(k)\bigr\rangle + \langle v, \lambda e\rangle> \frac{\alpha}{T+1}, \end{aligned}$$

hence that \(\min_{k \in N}\langle v, u(k)\rangle >\frac{\alpha}{T+1}\), and finally that this is a contradiction to Lemma 3.2(c).

According to Lemma 3.2, if \(\beta< \frac{\alpha}{T+1}\), one has \(\overline{B^{\beta}}_{K}\subset B^{\alpha/T+1}_{K} \subset\Omega ^{\alpha}_{K}\). Now Theorem 2.5 guarantees the existence of at least one fixed point \(u\in\overline{\Omega^{\alpha}}_{K} \setminus B^{\beta}_{K}\) of S, so we have \(|u|_{v}\geq\beta\) and \(\frac{1}{T+1}\beta\leq \min_{k \in N}\langle v, u(k)\rangle\leq\frac{1}{T+1}\alpha\). Moreover, \(\frac{1}{T+1}|u|_{v} \leq \min_{k \in N}\langle v, u(k)\rangle\leq\frac{1}{T+1}\alpha\). We thus get \(|u|_{v} \leq\alpha\).

On the other hand, if \(\alpha< \beta\), one has \(\overline{\Omega ^{\alpha}}_{K}\subset B^{\beta}_{K}\). Similarly, we can obtain that S has at least one fixed point \(u\in\overline{B^{\beta}}_{K} \setminus \Omega^{\alpha}_{K}\) by Theorem 2.5, which implies that \(\frac{1}{T+1}\alpha\leq|u|_{v} \leq\beta\). □

Remark 3.4

Take \(p=2\) and the original system (1) is transformed into a common second order discrete boundary value system

$$\begin{aligned} \textstyle\begin{cases} \Delta^{2}u_{i}(k-1)+f^{i}(k,u(k))=0,\quad k\in N, \\ u(0)=0,\qquad u(T+1)=0,\quad i=1,2, \ldots, n, \end{cases}\displaystyle \end{aligned}$$
(9)

then system (9) has at least one positive solution.

4 Eigenvalue intervals of (2)

In this section, we employ Theorem 3.3 to establish one existence result for system (3), and then characterize the eigenvalue intervals of system (2). First we assume that

(\(\mathrm{H}_{1}\)):

\(g^{i}\): \({\mathbb {R}}^{n}_{+} \rightarrow {\mathbb {R}}_{+}\) is continuous with \(g^{i}(u) >0\) for \(|u|_{v} >0\);

(\(\mathrm{H}_{2}\)):

\(\widetilde{H}(k)>0\) for \(k\in N\), where \(\widetilde {H}(k)=(\widetilde{H}_{1}(k),\widetilde{H}_{2}(k),\ldots,\widetilde{H}_{n}(k))\) is the unique solution of

$$\begin{aligned} \textstyle\begin{cases} \Delta(\phi(\Delta u(k-1)))+h(k)=0,\quad k\in {\mathbb {N}}, \\ u(0)=0,\qquad u(T+1)=0, \end{cases}\displaystyle \end{aligned}$$

with \(h(k)=(h_{1}(k),h_{2}(k),\ldots,h_{n}(k))\).

Theorem 4.1

Assume that (\(\mathrm{H}_{1}\)) and (\(\mathrm{H}_{2}\)) hold. If one of the following conditions holds, then system (3) has at least one positive solution u satisfying \(\langle v, u(k)\rangle\neq0\) for \(k\in N\).

(\(\mathrm{h}_{1}\)):

\(0 \leq g^{i}_{0}< (\frac{1}{M})^{p-1}\) and \((\frac {1}{m})^{p-1} < g^{i}_{\infty}\leq\infty\), \(i=1,2, \ldots, n\);

(\(\mathrm{h}_{2}\)):

\(0 \leq g^{i}_{\infty} < (\frac{1}{M})^{p-1}\) and \((\frac{1}{m})^{p-1} < g^{i}_{0}\leq\infty\), \(i=1,2, \ldots, n\);

where \(g^{i}_{0}= \lim_{u\rightarrow0^{+}} \frac{g^{i}(u)}{{u}^{p-1}}\), \(g^{i}_{\infty}= \lim_{u \rightarrow \infty}\frac{g^{i}(u)}{u^{p-1}}\), and

$$M= \max_{k \in N}\bigl\langle v, \widetilde{H}(k)\bigr\rangle , \qquad m= \min_{k \in N}\bigl\langle v, \widetilde{H}(k)\bigr\rangle . $$

Proof

For this purpose, we set \(f^{i}(k,u)=h_{i}(k)g^{i}(u)\), \(i=1,2,\ldots,n\), and suppose that (\(\mathrm{h}_{1}\)) holds. In addition, the case when (\(\mathrm{h}_{2}\)) holds is similar.

From the first part of (\(\mathrm{h}_{1}\)), there exists \(\beta> 0\) such that \(g^{i}(u)\leq(\frac{1}{M})^{p-1}\beta^{p-1}\) for \(0< |u|_{v} \leq\beta\). Take \(\chi_{i}(k)=(\frac{1}{M})^{p-1}h_{i}(k)\). When \(0< \langle v, u(k)\rangle\leq\beta\), then

$$f^{i}(k,u)=h_{i}(k)g^{i}(u)\leq\biggl( \frac{1}{M}\biggr)^{p-1}\beta^{p-1} h_{i}(k)= \beta ^{p-1}\chi_{i}(k)\quad \mbox{for }k\in N, $$

and

$$\bigl\langle v, Q(k)\bigr\rangle =\bigl\langle v, M^{-1} \widetilde{H}(k)\bigr\rangle \leq M^{-1} \max_{k \in N} \bigl\langle v, \widetilde {H}(k)\bigr\rangle =1. $$

Hence (\(\mathrm{D}_{2}\)) holds.

From the second part of (\(\mathrm{h}_{1}\)), there exists \(\alpha> 0\) such that \(\frac{1}{T+1} \alpha> \beta\) and \(g^{i}(u) \geq(\frac{1}{m})^{p-1}(\frac{1}{T+1} \alpha)^{p-1}\) for \(|u|_{v} \geq\frac{1}{T+1} \alpha\). Take \(\psi_{i}(k)=(\frac {1}{m})^{p-1}h_{i}(k)\). When \(\frac{1}{T+1}\alpha\leq\langle v, u(k)\rangle\leq\alpha\), we have, for \(k\in N\), that

$$f^{i}(k,u)=h_{i}(k)g^{i}(u)\geq\biggl( \frac{1}{m}\biggr)^{p-1}\biggl(\frac{1}{T+1} \alpha \biggr)^{p-1}h_{i}(k)=\biggl(\frac{1}{T+1} \alpha \biggr)^{p-1}\psi_{i}(k), $$

and

$$\bigl\langle v, P(k)\bigr\rangle =\bigl\langle v, m^{-1} \widetilde{H}(k)\bigr\rangle \geq m^{-1} \min_{k \in N} \bigl\langle v, \widetilde {H}(k)\bigr\rangle =1. $$

This implies that (\(\mathrm{D}_{1}\)) holds. Now the rest of the proof runs as Theorem 3.3. □

Next we employ Theorem 4.1 to characterize the eigenvalue intervals for system (2). As it is easy to prove, we only present the results here.

Theorem 4.2

Assume that (\(\mathrm{H}_{1}\)) and (\(\mathrm{H}_{2}\)) hold. If \(\frac{1}{m^{p-1} \min_{i=1,2,\ldots,n}\{g^{i}_{\infty}\} }<\frac{1}{M^{p-1} \max_{i=1,2,\ldots,n}\{g^{i}_{0}\}}\), then system (2) has at least one positive solution for each

$$\lambda\in \biggl(\frac{1}{m^{p-1} \min_{i=1,2,\ldots,n}\{ g^{i}_{\infty}\}},\frac{1}{M^{p-1} \max_{i=1,2,\ldots,n}\{ g^{i}_{0}\}} \biggr). $$

If \(\frac{1}{m^{p-1} \min_{i=1,2,\ldots,n}\{g^{i}_{0}\}}<\frac {1}{M^{p-1} \max_{i=1,2,\ldots,n}\{g^{i}_{\infty}\}}\), the same result remains valid for each

$$\lambda\in\biggl(\frac{1}{m^{p-1} \min_{i=1,2,\ldots,n}\{g^{i}_{0}\} },\frac{1}{M^{p-1} \max_{i=1,2,\ldots,n}\{g^{i}_{\infty}\}}\biggr). $$

5 Conclusions

In this paper, we established the existence of positive solutions for the second order p-Laplacian discrete system by a well-known fixed point theorem in cones. In this paper, we will choose another adequate cone to prove the main results, which will improve and generalize those results obtained in [6]. Moreover, we take advantage of a new cone to characterize the eigenvalue intervals in a simple way.