#### Positive solutions for a system of second-order discrete boundary value problems

Research Open Access
Positive solutions for a system of second-order discrete boundary value problems
Ravi P. Agarwal1 and Rodica Luca2Email author
Advances in Difference Equations20182018:470
https://doi.org/10.1186/s13662-018-1929-8
© The Author(s) 2018
Received: 18 September 2018Accepted: 10 December 2018Published: 19 December 2018
Abstract
We study the existence and multiplicity of positive solutions for a system of nonlinear second-order difference equations subject to multi-point boundary conditions, under some assumptions on the nonlinearities of the system which contains concave functions. In the proofs of our main results we use some theorems from the fixed point index theory.
Keywords
Difference equationsMulti-point boundary conditionsPositive solutionsExistenceMultiplicity
MSC
39A1039A12
1 Introduction
In this paper, we consider the system of nonlinear second-order difference equations
$$ \textstyle\begin{cases} \Delta ^{2} u_{n-1}+f(n,u_{n},v_{n})=0, & n=\overline{1,N-1}, \\ \Delta ^{2}v_{n-1}+g(n,u_{n},v_{n})=0, & n=\overline{1,N-1}, \end{cases} $$
(S)
subject to the multi-point boundary conditions
$$ u_{0}= \sum_{i=1}^{p}a_{i}u_{\xi _{i}}, \qquad u_{N}= \sum_{i=1}^{q}b_{i}u_{\eta _{i}}, \qquad v_{0}= \sum_{i=1}^{r}c_{i}v_{\zeta _{i}}, \qquad v_{N}= \sum_{i=1}^{l}d_{i}v_{\rho _{i}}, $$
(BC)
where \(N\in \mathbb{N}\), \(N\ge 2\), \(p, q, r, l\in \mathbb{N}\), Δ is the forward difference operator with stepsize 1, \(\Delta u_{n}=u_{n+1}-u_{n}\), \(\Delta ^{2}u_{n-1}=u_{n+1}-2u_{n}+u_{n-1}\), and \(n=\overline{k,m}\) means that \(n=k, k+1,\ldots ,m\) for \(k, m\in \mathbb{N}\), \(\xi _{i}\in \mathbb{N}\) for all \(i=\overline{1,p}\), \(\eta _{i}\in \mathbb{N}\) for all \(i=\overline{1,q}\), \(\zeta _{i}\in \mathbb{N}\) for all \(i= \overline{1,r}\), \(\rho _{i}\in \mathbb{N}\) for all \(i=\overline{1,l}\), \(1\le \xi _{1}<\cdots <\xi _{p}\le N-1\), \(1\le \eta _{1}<\cdots <\eta _{q}\le N-1\), \(1\le \zeta _{1}<\cdots <\zeta _{r}\le N-1\), and \(1\le \rho _{1}<\cdots <\rho _{l}\le N-1\).
Under sufficient conditions on the nonnegative nonlinearities f and g which contain some concave functions, we investigate the existence and multiplicity of positive solutions of problem (S)–(BC) by using the fixed point index theory. By a positive solution of (S)–(BC), we mean a pair of sequences \((u,v)=((u_{n})_{n=\overline{0,N}}, (v_{n})_{n= \overline{0,N}})\) satisfying (S) and (BC) with \(u_{n}\ge 0\) and \(v_{n}\ge 0\) for all \(n=\overline{0,N}\), and \(u_{n}>0\) for all \(n=\overline{1,N}\) or \(v_{n}>0\) for all \(n=\overline{1,N}\). The existence and nonexistence of nonnegative and nontrivial solutions \((u,v)\) (\(u_{n}\ge 0\), \(v_{n}\ge 0\) for all \(n=\overline{0,N}\) and \((u,v)\neq(0,0)\)) of problem (S)–(BC) with some positive parameters in system (S) were studied in the papers [14] and [15] by using the Guo–Krasnosel’skii fixed point theorem. We also mention the paper [19], where the authors investigated the existence and multiplicity of positive solutions for problem (S)–(BC) under some assumptions on the functions f and g which are different than those we use in this paper. The existence, nonexistence, and multiplicity of positive solutions for system (S) with parameters or without parameters, subject to the multi-point coupled boundary conditions
$$ u_{0}=0, \qquad u_{N}= \sum_{i=1}^{p} a_{i} v_{\xi _{i}}, \qquad v_{0}=0, \qquad v_{N}= \sum_{i=1}^{q} b_{i} u_{\eta _{i}},{\quad } (\mathrm{BC}_{1})$$
were studied in the papers [16] and [18].
The mathematical modeling of many nonlinear problems from computer science, economics, mechanical engineering, control systems, biological neural networks, and others leads to the consideration of nonlinear difference equations (see [2, 4, 21, 23]). In the last decades, many authors have investigated such problems by using various methods, such as fixed point theorems, the critical point theory, upper and lower solutions, the fixed point index theory, and the topological degree theory (see, for example, [1, 6–12, 17, 20, 24–28]).
The paper is organized as follows. In Sect. 2, we investigate a system of second-order linear difference equations subject to the boundary conditions (BC), and we present the properties of the corresponding Green functions. In Sect. 3, we prove the main theorems for the existence and multiplicity of positive solutions of problem (S)–(BC) which are based on some theorems from the fixed point index theory, and we present two examples to support our results.
2 Preliminary results
We begin this section with a result from [14] related to the following system of second-order difference equations:
$$ \Delta ^{2} u_{n-1}+y_{n}=0, \quad n=\overline{1,N-1}, $$
(1)
subject to the multi-point boundary conditions
$$ u_{0}= \sum_{i=1}^{p}a_{i}u_{\xi _{i}}, \qquad u_{N}= \sum_{i=1}^{q} b_{i} u_{\eta _{i}}, $$
(2)
where \(p, q\in \mathbb{N}\), \(\xi _{i}\in \mathbb{N}\) for all \(i=\overline{1,p}\), \(\eta _{i}\in \mathbb{N}\) for all \(i= \overline{1,q}\), \(1\le \xi _{1}<\cdots <\xi _{p}\le N-1\), \(1\le \eta _{1}<\cdots <\eta _{q}\le N-1\), and \(y_{n}\in \mathbb{R}\) for all \(n=\overline{1,N-1}\).
We denote \(\Delta _{1}= (1- \sum_{i=1}^{q}b_{i} ) \sum_{i=1}^{p}a_{i}\xi _{i}+ (1- \sum_{i=1}^{p}a_{i} ) (N- \sum_{i=1}^{q}b_{i}\eta _{i} )\).
Lemma 2.1
([14])
If \(\Delta _{1}\neq0\), then the solution \((u_{n})_{n= \overline{0,N}}\) of problem (1)–(2) is given by \(u_{n}=\sum_{j=1}^{N-1}G_{1}(n,j)y_{j}\) for all \(n=\overline{0,N}\), where the Green function \(G_{1}\) is defined by
$$ \begin{aligned}[b] G_{1}(n,j)&=g_{0}(n,j)+ \frac{1}{\Delta _{1}} \Biggl[(N-n) \Biggl(1- \sum_{k=1}^{q}b_{k} \Biggr)+ \sum_{i=1}^{q}b_{i}(N- \eta _{i}) \Biggr] \sum_{i=1}^{p}a_{i}g_{0}( \xi _{i},j) \\ &\quad {}+ \frac{1}{\Delta _{1}} \Biggl[n \Biggl(1- \sum _{k=1}^{p}a_{k} \Biggr)+ \sum _{i=1}^{p}a_{i}\xi _{i} \Biggr] \sum_{i=1}^{q}b_{i}g_{0}( \eta _{i},j), \quad n=\overline{0,N}, j=\overline{1,N-1}, \end{aligned} $$
(3)
and
$$ g_{0}(n,j)= \frac{1}{N} \textstyle\begin{cases} j(N-n),&1\le j\le n\le N, \\ n(N-j),&0\le n\le j\le N-1. \end{cases} $$
(4)
Next we will present some properties of the function \(g_{0}\) and the Green function \(G_{1}\).
Lemma 2.2
The function \(g_{0}\) given by (4) has the following properties: (a)
\(g_{0}(n,j)\ge 0\) for all \(n=\overline{0,N}\), \(j= \overline{1,N-1}\);
(b)
\(g_{0}(n,j)\le h(j)\) for all \(n=\overline{0,N}\), \(j= \overline{1,N-1}\), where \(h(j)=g_{0}(j,j)=\frac{1}{N}j(N-j)\) for all \(j=\overline{1,N-1}\);
(c)
\(g_{0}(n,j)\ge k(n)h(j)\) for all \(n=\overline{0,N}\), \(j= \overline{1,N-1}\), where \(k(n)=\frac{1}{N(N-1)}n(N-n)\) for all \(n=\overline{0,N}\).
Proof
For the proofs of (a) and (b), see [7].
For (c), if \(1\le j\le n\le N\), then we have
$$ \frac{1}{N}j(N-n)\ge \frac{1}{N(N-1)}n(N-n)\frac{1}{N}j(N-j) \quad \Leftrightarrow \quad N(N-1)\ge n(N-j), $$
which is satisfied for all \(j=\overline{1,N-1}\) and \(n=\overline{0,N}\).
If \(0\le n\le j\le N-1\), then we obtain
$$ \frac{1}{N}n(N-j)\ge \frac{1}{N(N-1)}n(N-n)\frac{1}{N}j(N-j) \quad \Leftrightarrow \qquad N(N-1)\ge j(N-n), $$
which is satisfied for all \(j=\overline{1,N-1}\) and \(n=\overline{0,N}\). □
Lemma 2.3
If \(a_{i}\ge 0\) for all \(i=\overline{1,p}\), \(\sum_{i=1}^{p}a_{i}<1\), \(b_{i}\ge 0\) for all \(i=\overline{1,q}\), \(\sum_{i=1}^{q}b_{i}<1\), then the Green function \(G_{1}\) of problem (1)–(2) given by (3) satisfies the inequalities (a)
\(G_{1}(n,j)\le Ah(j)\) for all \(n=\overline{0,N}\), \(j= \overline{1,N-1}\), where
$$ A=1+ \frac{1}{\Delta _{1}} \Biggl(N- \sum_{i=1}^{q} b_{i}\eta _{i} \Biggr) \Biggl( \sum _{i=1}^{p}a_{i} \Biggr) + \frac{1}{\Delta _{1}} \Biggl(N- \sum_{i=1}^{p} a_{i}(N- \xi _{i}) \Biggr) \Biggl( \sum_{i=1}^{q} b_{i} \Biggr)>0. $$
(b)
\(G_{1}(n,j)\ge k(n)h(j)\) for all \(n=\overline{0,N}\), \(j= \overline{1,N-1}\).
Proof
By the assumptions on the coefficients \(a_{i}\), \(i= \overline{1,p}\) and \(b_{j}\), \(j=\overline{1,q}\), we can easily see that \(\Delta _{1}>0\) and \(A>0\). By using Lemma 2.2, for all \(n=\overline{0,N}\) and \(j=\overline{1,N-1}\), we deduce
$$ \begin{aligned} G_{1}(n,j)&\le h(j) \Biggl\{ 1+ \frac{1}{\Delta _{1}} \Biggl[N \Biggl(1- \sum_{k=1}^{q} b_{k} \Biggr)+ \sum_{i=1}^{q} b_{i}(N-\eta _{i}) \Biggr] \Biggl( \sum _{i=1}^{p}a_{i} \Biggr) \\ &\quad {}+ \frac{1}{\Delta _{1}} \Biggl[N \Biggl(1- \sum _{k=1}^{p} a_{k} \Biggr)+ \sum _{i=1}^{p} a_{i}\xi _{i} \Biggr] \Biggl( \sum_{i=1}^{q} b_{i} \Biggr) \Biggr\} \\ &=A h(j), \end{aligned} $$
and
$$ G_{1}(n,j)\ge g_{0}(n,j)\ge k(n)h(j), $$
that is, we obtain inequalities (a) and (b). □
Lemma 2.4
Assume that \(a_{i}\ge 0\) for all \(i=\overline{1,p}\), \(\sum_{i=1}^{p}a _{i}<1\), \(b_{i}\ge 0\) for all \(i=\overline{1,q}\), \(\sum_{i=1}^{q}b _{i}<1\), and \(y_{n}\ge 0\) for all \(n=\overline{1,N-1}\). Then the solution \((u_{n})_{n=\overline{0,N}}\) of problem (1)–(2) satisfies the inequality \(u_{n}\ge \frac{1}{A}k(n)u_{m}\) for all \(n, m=\overline{0,N}\).
Proof
By using Lemmas 2.1–2.3, we deduce
$$ \begin{aligned} u_{n}&= \sum_{j=1}^{N-1}G_{1}(n,j)y_{j} \ge \sum_{j=1}^{N-1}k(n)h(j)y_{j}\ge \sum_{j=1}^{N-1}\frac{1}{A}G_{1}(m,j)k(n)y_{j} \\ &= \frac{1}{A}k(n) \sum_{j=1}^{N-1}G_{1}(m,j)y_{j}= \frac{1}{A}k(n)u_{m}, \quad \forall n, m=\overline{0,N}. \end{aligned} $$
□
We can also formulate similar results as Lemmas 2.1–2.4 for the discrete boundary value problem
$$\begin{aligned}& \Delta ^{2} v_{n-1}+\widetilde{y}_{n}=0, \quad n=\overline{1,N-1}, \end{aligned}$$
(5)
$$\begin{aligned}& v_{0}= \sum_{i=1}^{r}c_{i}v_{\zeta _{i}}, \qquad v_{N}= \sum_{i=1}^{l} d_{i} v_{\rho _{i}}, \end{aligned}$$
(6)
where \(r, l\in \mathbb{N}\), \(c_{i}\ge 0\) for all \(i=\overline{1,r}\), \(\sum_{i=1}^{r}c_{i}<1\), \(\zeta _{i}\in \mathbb{N}\) for all \(i= \overline{1,r}\), \(d_{i}\ge 0\) for all \(i=\overline{1,l}\), \(\sum_{i=1} ^{l} d_{i}<1\), \(\rho _{i}\in \mathbb{N}\) for all \(i=\overline{1,l}\), \(1\le \zeta _{1}<\cdots <\zeta _{r}\le N-1\), \(1\le \rho _{1}<\cdots <\rho _{l}\le N-1\), and \(\widetilde{y}_{n}\ge 0\) for all \(n= \overline{1,N-1}\).
We denote by
$$\begin{aligned}& \Delta _{2}= \Biggl(1- \sum_{i=1}^{l}d_{i} \Biggr) \sum_{i=1}^{r}c_{i}\zeta _{i}+ \Biggl(1- \sum_{i=1}^{r}c_{i} \Biggr) \Biggl(N- \sum_{i=1}^{l}d_{i} \rho _{i} \Biggr)>0, \\& \begin{aligned} G_{2}(n,j)&=g_{0}(n,j)+ \frac{1}{\Delta _{2}} \Biggl[(N-n) \Biggl(1- \sum_{k=1}^{l}d_{k} \Biggr)+ \sum_{i=1}^{l}d_{i}(N- \rho _{i}) \Biggr] \sum_{i=1}^{r}c_{i}g_{0}( \zeta _{i},j) \\ &\quad {}+ \frac{1}{\Delta _{2}} \Biggl[n \Biggl(1- \sum _{k=1}^{r}c_{k} \Biggr)+ \sum _{i=1}^{r}c_{i}\zeta _{i} \Biggr] \sum_{i=1}^{l}d_{i}g_{0}( \rho _{i},j), \quad n=\overline{0,N}, j=\overline{1,N-1}, \end{aligned} \\& B=1+ \frac{1}{\Delta _{2}} \Biggl(N- \sum_{i=1}^{l} d_{i}\rho _{i} \Biggr) \Biggl( \sum _{i=1}^{r} c_{i} \Biggr) + \frac{1}{\Delta _{2}} \Biggl(N- \sum_{i=1}^{r} c_{i}(N-\zeta _{i}) \Biggr) \Biggl( \sum _{i=1}^{l} d_{i} \Biggr)>0. \end{aligned}$$
Then we deduce the inequalities \(G_{2}(n,j)\le B h(j)\) and \(G_{2}(n,j) \ge k(n)h(j)\) for all \(n=\overline{0,N}\), \(j=\overline{1,N-1}\). In addition the solution \((v_{n})_{n=\overline{0,N}}\) of problem (5)–(6) satisfies the inequality \(v_{n}\ge \frac{1}{B}k(n)v_{m}\) for all \(n, m=\overline{0,N}\).
We recall now some theorems concerning the fixed point index theory. Let E be a real Banach space with the norm \(\|\cdot \|\), \(P\subset E\) be a cone, “≤” be the partial ordering defined by P, and 0 be the zero element in E. For \(\varrho >0\), let \(B_{\varrho }=\{u \in E, \|u\|<\varrho \}\) be the open ball of radius ϱ centered at 0, and its boundary \(\partial B_{\varrho }=\{u\in E, \|u\|=\varrho \}\). The proofs of our results are based on the following fixed point index theorems (see [3, 5, 13, 22]).
Theorem 2.1
Let \(A:\overline{B}_{\varrho }\cap P\to P\) be a completely continuous operator which has no fixed points on \(\partial B_{\varrho }\cap P\). If \(\|Au\|\le \|u\|\) for all \(u\in \partial B_{\varrho }\cap P\), then \(i(A,B_{\varrho }\cap P,P)=1\).
Theorem 2.2
Let \(A:\overline{B}_{\varrho }\cap P\to P\) be a completely continuous operator. If there exists \(u_{0}\in P\setminus \{0\}\) such that \(u-Au\neq \lambda u_{0}\) for all \(\lambda \ge 0\) and \(u\in \partial B_{\varrho }\cap P\), then \(i(A,B_{\varrho }\cap P,P)=0\).
Theorem 2.3
Let \(\varOmega \subset E\) be a bounded open set with \(0\in \varOmega \). Assume that \(A:\overline{\varOmega }\cap P\to P\) is a completely continuous operator. (a)
If \(u\not \le Au\) for all \(u\in \partial \varOmega \cap P\), then the fixed point index \(i(A,\varOmega \cap P,P)=1\).
(b)
If \(Au\not \le u\) for all \(u\in \partial \varOmega \cap P\), then the fixed point index \(i(A,\varOmega \cap P,P)=0\).
3 Existence and multiplicity of positive solutions
In this section we present sufficient conditions on the functions f and g such that problem (S)–(BC) has positive solutions with respect to a cone.
We present the assumptions that we shall use in the sequel.
\((H1)\) :
\(a_{i}\ge 0\), \(\xi _{i}\in \mathbb{N}\) for all \(i=\overline{1,p}\), \(1\le \xi _{1}<\cdots <\xi _{p}\le N-1\),
\(b_{i}\ge 0\), \(\eta _{i}\in \mathbb{N}\) for all \(i=\overline{1,q}\), \(1\le \eta _{1}<\cdots <\eta _{q}\le N-1\),
\(c_{i}\ge 0\), \(\zeta _{i}\in \mathbb{N}\) for all \(i=\overline{1,r}\), \(1\le \zeta _{1}<\cdots <\zeta _{r}\le N-1\),
\(d_{i}\ge 0\), \(\rho _{i}\in \mathbb{N}\) for all \(i=\overline{1,l}\), \(1\le \rho _{1}<\cdots <\rho _{l}\le N-1\), and
\(\sum_{i=1}^{p}a_{i}<1\), \(\sum_{i=1}^{q}b_{i}<1\), \(\sum_{i=1}^{r}c_{i}<1\), \(\sum_{i=1}^{l}d_{i}<1\).
\((H2)\) :
The functions \(f, g:\{1,\ldots ,N-1\}\times \mathbb{R} _{+}\times \mathbb{R}_{+}\to \mathbb{R}_{+}\) are continuous, (\(\mathbb{R}_{+}=[0,\infty )\)).
\((H3)\) :
There exist functions \(a, b\in C(\mathbb{R}_{+}, \mathbb{R}_{+})\) such that (a)
\(a(\cdot )\) is concave and strictly increasing on \(\mathbb{R}_{+}\) with \(a(0)=0\);
(b)
$$\textstyle\begin{cases} f_{0}^{i}= \liminf_{v\to 0+} \frac{f(n,u,v)}{a(v)}\in (0,\infty ], \\ \quad \text{uniformly with respect to } (n,u)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, \quad \text{and} \\ g_{0}^{i}= \liminf_{u\to 0+} \frac{g(n,u,v)}{b(u)}\in (0,\infty ], \\ \quad \text{uniformly with respect to } (n,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}; \end{cases} $$
(c)
\(\lim_{u\to 0+} \frac{a(Cb(u))}{u}=\infty \) exists for any constant \(C>0\).
\((H4)\) :
There exist \(\alpha _{1}, \alpha _{2}>0\) with \(\alpha _{1}\alpha _{2}\le 1\) such that
$$\textstyle\begin{cases} f_{\infty }^{s}= \limsup_{v\to \infty } \frac{f(n,u,v)}{v^{\alpha _{1}}}\in [0,\infty ), \\ \quad \text{uniformly with respect to } (n,u)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, \quad \text{and} \\ g_{\infty }^{s}= \lim_{u\to \infty } \frac{g(n,u,v)}{u^{\alpha _{2}}}=0 \\ \quad \text{exists uniformly with respect to } (n,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}. \end{cases} $$
\((H5)\) :
There exist the functions \(c, d\in C(\mathbb{R}_{+}, \mathbb{R}_{+})\) such that (a)
\(c(\cdot )\) is concave and strictly increasing on \(\mathbb{R}_{+}\);
(b)
$$\textstyle\begin{cases} f_{\infty }^{i}= \liminf_{v\to \infty } \frac{f(n,u,v)}{c(v)}\in (0,\infty ], \\ \quad \text{uniformly with respect to } (n,u)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, \quad \text{and} \\ g_{\infty }^{i}= \liminf_{u\to \infty } \frac{g(n,u,v)}{d(u)}\in (0,\infty ], \\ \quad \text{uniformly with respect to } (n,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}; \end{cases} $$
(c)
\(\lim_{u\to \infty } \frac{c(Cd(u))}{u}=\infty \) exists for any constant \(C>0\).
\((H6)\) :
There exist \(\beta _{1}, \beta _{2}>0\) with \(\beta _{1} \beta _{2}\ge 1\) such that
$$\textstyle\begin{cases} f_{0}^{s}= \limsup_{v\to 0+} \frac{f(n,u,v)}{v^{\beta _{1}}}\in [0,\infty ), \\ \quad \text{uniformly with respect to } (n,u)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, \quad \text{and} \\ g_{0}^{s}= \lim_{u\to 0+} \frac{g(n,u,v)}{u^{\beta _{2}}}=0 \\ \quad \text{exists uniformly with respect to } (n,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}. \end{cases} $$
\((H7)\) :
The functions \(f(n,u,v)\) and \(g(n,u,v)\) are nondecreasing with respect to u and v, and there exists \(N_{0}>0\) such that
$$f(n,N_{0},N_{0})< \frac{3N_{0}}{(N^{2}-1)\max \{A,B\}} \quad \text{and} \quad g(n,N_{0},N _{0})< \frac{3N_{0}}{(N^{2}-1)\max \{A,B\}} $$
for all \(n\in \{1,\ldots ,N-1\}\).
By using the Green functions \(G_{1}\) and \(G_{2}\) from Sect. 2, our problem (S)–(BC) can be written equivalently as the following system:
$$ \textstyle\begin{cases} u_{n}= \sum_{i=1}^{N-1}G_{1}(n,i)f(i,u_{i},v_{i}), \quad n=\overline{0,N}, \\ v_{n}= \sum_{i=1}^{N-1}G_{2}(n,i)g(i,u_{i},v_{i}), \quad n=\overline{0,N}. \end{cases} $$
(7)
Then \((u,v)=((u_{n})_{n=\overline{0,N}},(v_{n})_{n=\overline{0,N}})\) is a solution of problem (S)–(BC) if and only if \((u,v)\) is a solution of system (7).
We consider the Banach space \(X=\mathbb{R}^{N+1}=\{u=(u_{n})_{n= \overline{0,N}}, u_{i}\in \mathbb{R}, i=\overline{0,N}\}\) with the maximum norm \(\|\cdot \|\), \(\|u\|=\max_{i=\overline{0,N}}|u_{i}|\), and the Banach space \(Y=X\times X\) with the norm \(\|(u,v)\|_{Y}=\|u\|+\|v \|\). We define the cones
$$ \begin{gathered} P_{1}=\biggl\{ u\in X, u=(u_{n})_{n=\overline{0,N}}, u_{n}\ge \frac{1}{A}k(n) \Vert u \Vert , \forall n=\overline{0,N}\biggr\} \subset X, \\ P_{2}=\biggl\{ v\in X, v=(v_{n})_{n=\overline{0,N}}, v_{n}\ge \frac{1}{B}k(n) \Vert v \Vert , \forall n= \overline{0,N}\biggr\} \subset X, \end{gathered} $$
and \(P=P_{1}\times P_{2}\subset Y\).
We introduce the operators \(Q_{1}, Q_{2}:Y\to X\) and \(Q:Y\to Y\) defined by
$$ \begin{gathered} Q_{1}(u,v)=\bigl(Q_{1n}(u,v) \bigr)_{n=\overline{0,N}}, \qquad Q_{2}(u,v)=\bigl(Q_{2n}(u,v) \bigr)_{n=\overline{0,N}}, \\ Q_{1n}(u,v)= \sum_{i=1}^{N-1}G_{1}(n,i)f(i,u_{i},v_{i}), \quad n=\overline{0,N}, \\ Q_{2n}(u,v)= \sum_{i=1}^{N-1}G_{2}(n,i)g(i,u_{i},v_{i}), \quad n=\overline{0,N}, \\ Q(u,v)=\bigl(Q_{1}(u,v),Q_{2}(u,v)\bigr), \quad (u,v)= \bigl((u_{n})_{n=\overline{0,N}},(v_{n})_{n=\overline{0,N}}\bigr)\in Y. \end{gathered} $$
The pair \((u,v)\) is a solution of problem (S)–(BC) if and only if \((u,v)\) is a fixed point of operator Q in the space Y. So, we will investigate the existence of fixed points of operator Q. Under assumptions \((H1)\) and \((H2)\) and by using Lemma 2.4, we can easily prove that \(Q(P)\subset P\) and the operator \(Q:P\to P\) is completely continuous.
Theorem 3.1
Assume that \((H1)\), \((H2)\), \((H3)\), and \((H4)\) hold. Then problem (S)–(BC) has at least one positive solution.
Proof
By \((H3)\), there exist \(C_{1}>0\), \(C_{2}>0\), and a sufficiently small \(r_{1}>0\) such that
$$ \begin{gathered} f(n,u,v)\ge C_{1} a(v), \quad \forall (n,u)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, v\in [0,r_{1}], \\ g(n,u,v)\ge C_{2} b(u), \quad \forall (n,v)\in \{1,\ldots ,N-1\} \times \mathbb{R}_{+}, u\in [0,r_{1}], \end{gathered} $$
(8)
and
$$ a\bigl(C_{3}b(u)\bigr)\ge \frac{72C_{3}\max \{A,B\}N^{3} u}{C_{1}C_{2}(N^{2}-1)^{2}}, \quad \forall u\in [0,r_{1}], $$
(9)
where \(C_{3}=\max \{\frac{(N-1)C_{2}}{N}h(j), j= \overline{1,N-1} \}\).
We will show that \((Q_{1}(u,v),Q_{2}(u,v))\not \le (u,v)\) for all \((u,v)\in \partial B_{r_{1}}\cap P\). We suppose that there exists \((u,v)\in \partial B_{r_{1}}\cap P\), that is, \(\|(u,v)\|_{Y}=r_{1}\), such that \((Q_{1}(u,v),Q_{2}(u,v))\le (u,v)\). Then \(u\ge Q_{1}(u,v)\) and \(v\ge Q_{2}(u,v)\). By using the monotonicity and concavity of \(a(\cdot )\), the Jensen inequality, Lemma 2.3, relations (8) and (9), we obtain
$$\begin{aligned} u_{n}&\ge Q_{1n}(u,v)= \sum_{i=1}^{N-1}G_{1}(n,i)f(i,u_{i},v_{i}) \ge C_{1} \sum_{i=1}^{N-1}h(i)k(n)a(v_{i}) \\ &\ge C_{1} k(1) \sum_{i=1}^{N-1}h(i)a(v_{i}) = \frac{C_{1}}{N} \sum_{i=1}^{N-1}h(i)a \Biggl( \sum_{j=1}^{N-1}G_{2}(i,j)g(j,u_{j},v_{j}) \Biggr) \\ &\ge \frac{C_{1}}{N} \sum_{i=1}^{N-1}h(i)a \Biggl(C_{2} \sum_{j=1}^{N-1}G_{2}(i,j)b(u_{j}) \Biggr) \ge \frac{C_{1}}{N} \sum_{i=1}^{N-1}h(i)a \Biggl(C_{2} \sum_{j=1}^{N-1}h(j)k(i)b(u_{j}) \Biggr) \\ &\ge \frac{C_{1}}{N} \sum_{i=1}^{N-1}h(i)a \Biggl(C_{2} k(1) \sum_{j=1}^{N-1}h(j)b(u_{j}) \Biggr) = \frac{C_{1}}{N} \Biggl( \sum_{i=1}^{N-1}h(i) \Biggr)a \Biggl( \frac{C_{2}}{N} \sum_{j=1}^{N-1}h(j)b(u_{j}) \Biggr) \\ &\ge \frac{C_{1}(N^{2}-1)}{6N(N-1)} \sum_{j=1}^{N-1}a \biggl( \frac{(N-1)C_{2}}{N}h(j)b(u_{j}) \biggr) \\ &= \frac{C_{1}(N+1)}{6N} \sum_{j=1}^{N-1}a \biggl(\frac{(N-1)C_{2}}{NC_{3}}h(j)\cdot C_{3}b(u _{j}) \biggr) \\ &\ge \frac{C_{1}(N+1)}{6N} \sum_{j=1}^{N-1} \frac{(N-1)C_{2}}{NC_{3}}h(j)a\bigl(C_{3}b(u_{j})\bigr) \\ &\ge \frac{C_{1}C_{2}(N^{2}-1)}{6N^{2}C_{3}} \sum_{j=1}^{N-1}h(j) \frac{72 C_{3} \max \{A,B\}N^{3}}{C_{1}C_{2}(N^{2}-1)^{2}}u_{j} \\ &\ge \frac{12N\max \{A,B\}}{N^{2}-1} \sum_{j=1}^{N-1}h(j) \frac{1}{A}k(j) \Vert u \Vert \\ &\ge \frac{12 N\max \{A,B\}}{N^{2}-1} \sum _{j=1}^{N-1}h(j)\frac{1}{AN} \Vert u \Vert \\ &\ge 2 \Vert u \Vert , \quad \forall n=\overline{1,N-1}. \end{aligned}$$
So, \(\|u\|\ge \max_{n=\overline{1,N-1}}u_{n}\ge 2\|u\|\), and then
$$ \Vert u \Vert =0. $$
(10)
In a similar manner, we deduce
$$\begin{aligned} a(v_{i})&\ge a\bigl(Q_{2i}(u,v)\bigr)=a \Biggl( \sum _{j=1}^{N-1}G_{2}(i,j)g(j,u_{j},v_{j}) \Biggr) \\ &\ge \frac{1}{N-1} \sum_{j=1}^{N-1}a \bigl((N-1)G_{2}(i,j)g(j,u_{j},v_{j}) \bigr) \\ &\ge \frac{1}{N-1} \sum_{j=1}^{N-1}a \bigl((N-1)h(j)k(i)C_{2} b(u_{j}) \bigr) \\ &\ge \frac{1}{N-1} \sum_{j=1}^{N-1}a \biggl( \frac{C_{2}(N-1)}{N}h(j)b(u_{j}) \biggr) \\ &= \frac{1}{N-1} \sum_{j=1}^{N-1}a \biggl(\frac{C_{2}(N-1)}{NC_{3}}h(j)\cdot C_{3}b(u _{j}) \biggr) \\ &\ge \frac{1}{N-1} \sum_{j=1}^{N-1} \frac{C_{2}(N-1)}{NC_{3}}h(j)a\bigl(C_{3} b(u_{j})\bigr) \\ &\ge \frac{C_{2}}{NC_{3}} \sum_{j=1}^{N-1}h(j) \frac{72 C_{3} \max \{A,B\}N^{3}}{C_{1}C_{2}(N^{2}-1)^{2}}u_{j} \\ &= \frac{72 N^{2}\max \{A,B\}}{(N^{2}-1)^{2}C_{1}} \sum_{j=1}^{N-1}h(j) \Biggl( \sum_{\theta =1}^{N-1}G_{1}(j, \theta )f(\theta ,u_{\theta },v_{\theta }) \Biggr) \\ &\ge \frac{72 N^{2}\max \{A,B\}}{(N^{2}-1)^{2}C_{1}} \sum_{j=1}^{N-1}h(j) \Biggl( \sum_{\theta =1}^{N-1}h(\theta )k(j)C_{1}a(v_{\theta }) \Biggr) \\ &\ge \frac{72 N\max \{A,B\}}{(N^{2}-1)^{2}} \Biggl( \sum_{j=1}^{N-1}h(j) \Biggr) \Biggl( \sum_{\theta =1}^{N-1}h(\theta )a(v_{\theta }) \Biggr) \\ &= \frac{12 N\max \{A,B\}}{N^{2}-1} \sum_{\theta =1}^{N-1}h( \theta )a(v_{\theta }) \\ &\ge \frac{12 N\max \{A,B\}}{N^{2}-1} \sum_{\theta =1}^{N-1}h( \theta )a \biggl(\frac{1}{B}k(\theta ) \Vert v \Vert \biggr) \\ &\ge \frac{12 N\max \{A,B\}}{N^{2}-1} \Biggl( \sum_{\theta =1}^{N-1}h( \theta ) \Biggr)a \biggl(\frac{1}{BN} \Vert v \Vert \biggr) \\ &\ge 2 N\max \{A,B\} \frac{1}{BN}a\bigl( \Vert v \Vert \bigr)\\ &\ge 2 a \bigl( \Vert v \Vert \bigr), \quad \forall i=\overline{1,N-1}. \end{aligned}$$
Then we conclude that \(a(\|v\|)=a(\sup_{i=\overline{0,N}}v_{i})\ge a(v _{1})\ge 2 a(\|v\|)\), and hence \(a(\|v\|)=0\). By \((H3)\)(a), we obtain
$$ \Vert v \Vert =0. $$
(11)
Therefore, by (10) and (11), we deduce that \(\|(u,v)\|_{Y}=0\), which is a contradiction. Hence \((Q_{1}(u,v),Q_{2}(u,v)) \not \le (u,v)\) for all \((u,v)\in \partial B_{r_{1}}\cap P\). By Theorem 2.3(b), we conclude that the fixed point index
$$ i(Q,B_{r_{1}}\cap P,P)=0. $$
(12)
On the other hand, by \((H4)\) we deduce that there exist \(C_{4}>0\), \(C_{5}>0\), and \(C_{6}>0\) such that
$$ \begin{gathered} f(n,u,v)\le C_{4}v^{\alpha _{1}}+C_{5}, \quad \forall (n,u,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+} \times \mathbb{R}_{+}, \\ g(n,u,v)\le \varepsilon _{1} u^{\alpha _{2}}+C_{6}, \quad \forall (n,u,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}\times \mathbb{R}_{+}, \end{gathered} $$
(13)
with
$$\varepsilon _{1}=\min \biggl\{ \frac{6}{B(N^{2}-1)} \biggl(\frac{3}{4AC _{4}(N^{2}-1)} \biggr)^{\alpha _{2}},\frac{6^{\alpha _{2}+1}}{8B(AC_{4})^{ \alpha _{2}}(N^{2}-1)^{\alpha _{2}+1}} \biggr\} . $$
Then, by (13), we have
$$ \begin{gathered} Q_{1n}(u,v)= \sum _{i=1}^{N-1}G_{1}(n,i)f(i,u_{i},v_{i}) \le \sum_{i=1}^{N-1}A h(i) \bigl(C_{4} v_{i}^{\alpha _{1}}+C_{5}\bigr) \\ \hphantom{Q_{1n}(u,v)}=AC_{4} \sum_{i=1}^{N-1}h(i)v_{i}^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6}, \quad \forall n=\overline{0,N}, \\ Q_{2n}(u,v)= \sum_{i=1}^{N-1}G_{2}(n,i)g(i,u_{i},v_{i}) \le \sum_{i=1}^{N-1}B h(i) \bigl(\varepsilon _{1} u_{i}^{\alpha _{2}}+C_{6}\bigr) \\ \hphantom{Q_{2n}(u,v)}=B\varepsilon _{1} \sum_{i=1}^{N-1}h(i)u_{i}^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6}, \quad \forall n=\overline{0,N}. \end{gathered} $$
(14)
We consider now the functions \(\widetilde{p}, \widetilde{q}: \mathbb{R}_{+}\to \mathbb{R}_{+}\) defined by
$$ \begin{gathered} \widetilde{p}(w)= \frac{AC_{4}(N^{2}-1)}{6} \biggl[ \biggl( \frac{3w}{4AC_{4} (N^{2}-1)} \biggr)^{\alpha _{2}}+ \frac{BC_{6}(N^{2}-1)}{6} \biggr]^{\alpha _{1}}+ \frac{AC_{5}(N^{2}-1)}{6}, \\ \widetilde{q}(w)= \frac{6^{\alpha _{2}}}{8(AC_{4}(N^{2}-1))^{\alpha _{2}}} \biggl( \frac{AC_{4}(N^{2}-1)}{6}w^{\alpha _{1}}+ \frac{AC_{5}(N^{2}-1)}{6} \biggr)^{\alpha _{2}}+ \frac{BC_{6}(N^{2}-1)}{6}. \end{gathered} $$
Because
$$\lim_{w\to \infty } \frac{\widetilde{p}(w)}{w}= \lim_{w\to \infty } \frac{\widetilde{q}(w)}{w}= \textstyle\begin{cases} 0, & \text{if } \alpha _{1}\alpha _{2}< 1, \\ 1/8, & \text{if } \alpha _{1}\alpha _{2}=1, \end{cases} $$
we conclude that there exists \(R_{1}>r_{1}\) such that
$$ \widetilde{p}(w)\le \frac{1}{4}w, \qquad \widetilde{q}(w) \le \frac{1}{4}w, \quad \forall w\ge R_{1}. $$
(15)
We will show that \((u,v)\not \le (Q_{1}(u,v),Q_{2}(u,v))\) for all \((u,v)\in \partial B_{R_{1}}\cap P\). We suppose that there exists \((u,v)\in \partial B_{R_{1}}\cap P\), that is, \(\|(u,v)\|_{Y}=R_{1}\), such that \((u,v)\le (Q_{1}(u,v),Q_{2}(u,v))\). So, by (14), we obtain
$$ \begin{gathered} u_{n}\le Q_{1n}(u,v)\le AC_{4} \sum_{i=1}^{N-1}h(i)v_{i}^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6}, \quad \forall n=\overline{0,N}, \\ v_{n}\le Q_{2n}(u,v)\le B\varepsilon _{1} \sum _{i=1}^{N-1}h(i)u_{i}^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6}, \quad \forall n=\overline{0,N}. \end{gathered} $$
Then, for all \(n=\overline{0,N}\), we deduce
$$\begin{aligned} u_{n}&\le AC_{4} \sum_{i=1}^{N-1}h(i) \Biggl(B\varepsilon _{1} \sum_{j=1}^{N-1}h(j)u_{j}^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \Biggr) ^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \\ &=AC_{4} \frac{N^{2}-1}{6} \Biggl(B\varepsilon _{1} \sum _{j=1}^{N-1}h(j)u_{j}^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \Biggr)^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \\ &\le AC_{4} \frac{N^{2}-1}{6} \Biggl(B\varepsilon _{1} \sum_{j=1}^{N-1}h(j) \Vert u \Vert ^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \Biggr)^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \\ &=AC_{4} \frac{N^{2}-1}{6} \biggl(B\varepsilon _{1} \frac{N^{2}-1}{6} \Vert u \Vert ^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \biggr)^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \\ &\le AC_{4} \frac{N^{2}-1}{6} \biggl[ \biggl( \frac{3 \Vert u \Vert }{4AC_{4}(N^{2}-1)} \biggr)^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \biggr]^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \\ &\le AC_{4} \frac{N^{2}-1}{6} \biggl[ \biggl( \frac{3 \Vert (u,v) \Vert _{Y}}{4AC_{4}(N^{2}-1)} \biggr)^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \biggr]^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6}, \end{aligned}$$
(16)
and
$$ \begin{aligned}[b] v_{n}&\le B\varepsilon _{1} \sum_{i=1}^{N-1}h(i)u_{i}^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \\ &\le B\varepsilon _{1} \sum_{i=1}^{N-1}h(i) \Biggl(AC_{4} \sum_{j=1}^{N-1}h(j)v_{j}^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \Biggr)^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \\ &\le B\varepsilon _{1} \frac{N^{2}-1}{6} \biggl(AC_{4} \frac{N^{2}-1}{6} \Vert v \Vert ^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \biggr)^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \\ &\le \frac{6^{\alpha _{2}}}{8(AC_{4}(N^{2}-1))^{\alpha _{2}}} \biggl(AC_{4} \frac{N^{2}-1}{6} \Vert v \Vert ^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \biggr)^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6} \\ &\le \frac{6^{\alpha _{2}}}{8(AC_{4}(N^{2}-1))^{\alpha _{2}}} \biggl(AC_{4} \frac{N^{2}-1}{6} \bigl\Vert (u,v) \bigr\Vert _{Y}^{\alpha _{1}}+AC_{5} \frac{N^{2}-1}{6} \biggr)^{\alpha _{2}}+BC_{6} \frac{N^{2}-1}{6}. \end{aligned} $$
(17)
By using (16), (17), and (15), we conclude that \(u_{n}\le \frac{1}{4}\|(u,v)\|_{Y}\) and \(v_{n}\le \frac{1}{4}\|(u,v) \|_{Y}\) for all \(n=\overline{0,N}\). Therefore we obtain that \(\|(u,v)\|_{Y}\le \frac{1}{2}\|(u,v)\|_{Y}\), and so \(\|(u,v)\|_{Y}=0\), which is a contradiction because \(\|(u,v)\|_{Y}=R_{1}>0\). So, \((u,v)\not \le (Q_{1}(u,v),Q_{2}(u,v))\) for all \((u,v)\in \partial B _{R_{1}}\cap P\). By Theorem 2.3(a), we deduce that the fixed point index
$$ i(Q,B_{R_{1}}\cap P,P)=1. $$
(18)
Because Q has no fixed points on \(\partial B_{r_{1}}\cup \partial B _{R_{1}}\), by (12) and (18), we conclude that
$$ i\bigl(Q,(B_{R_{1}}\setminus \overline{B}_{r_{1}})\cap P,P \bigr)=i(Q,B_{R_{1}} \cap P,P)-i(Q,B_{r_{1}}\cap P,P)=1. $$
So the operator Q has at least one fixed point \((u^{1},v^{1})\in (B _{R_{1}}\setminus \overline{B}_{r_{1}})\cap P\), with \(r_{1}<\|(u^{1},v ^{1})\|_{Y}<R_{1}\), that is, \(\|u^{1}\|>0\) or \(\|v^{1}\|>0\). Because \(u^{1}\in P_{1}\) and \(v^{1}\in P_{2}\), we obtain \(u^{1}_{n}>0\) for all \(n=\overline{1,N}\) or \(v_{n}^{1}>0\) for all \(n=\overline{1,N}\). □
Theorem 3.2
Assume that \((H1)\), \((H2)\), \((H5)\), and \((H6)\) hold. Then problem (S)–(BC) has at least one positive solution.
Proof
By \((H5)\) there exist \(C_{i}>0\), \(i=7,\ldots ,11\), such that
$$ \begin{gathered}[b] f(n,u,v)\ge C_{7} c(v)-C_{8}, \qquad g(n,u,v)\ge C_{9} d(u)-C_{10}, \\ \quad \forall (n,u,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+} \times \mathbb{R}_{+}, \end{gathered} $$
(19)
and
$$ c\bigl(C_{12}d(u)\bigr)\ge \frac{72 C_{12}N^{3}\max \{A,B\}u}{C_{7}C_{9}(N^{2}-1)^{2}}-C_{11}, \quad \forall u\in \mathbb{R}_{+}, $$
(20)
where \(C_{12}=\max \{\frac{C_{9}(N-1)}{N}h(i), i=\overline{1,N-1} \}>0\). Then we obtain
$$ \begin{gathered} Q_{1n}(u,v)= \sum _{i=1}^{N-1}G_{1}(n,i)f(i,u_{i},v_{i}) \ge \sum_{i=1}^{N-1}G_{1}(n,i) \bigl(C_{7} c(v_{i})-C_{8}\bigr) \\ \hphantom{Q_{1n}(u,v)}\ge \sum_{i=1}^{N-1}h(i)k(n) \bigl(C_{7}c(v_{i})-C_{8}\bigr) \ge \sum _{i=1}^{N-1}h(i)k(1) \bigl(C_{7} c(v_{i})-C_{8}\bigr) \\ \hphantom{Q_{1n}(u,v)}= \frac{1}{N} \sum_{i=1}^{N-1}h(i) \bigl(C_{7}c(v_{i})-C_{8}\bigr), \quad \forall n=\overline{1,N-1}, \\ Q_{2n}(u,v)= \sum_{i=1}^{N-1}G_{2}(n,i)g(i,u_{i},v_{i}) \ge \sum_{i=1}^{N-1}G_{2}(n,i) \bigl(C_{9} d(u_{i})-C_{10}\bigr) \\ \hphantom{Q_{2n}(u,v)}\ge \sum_{i=1}^{N-1}h(i)k(n) \bigl(C_{9}d(u_{i})-C_{10}\bigr) \ge \sum _{i=1}^{N-1}h(i)k(1) \bigl(C_{9} d(u_{i})-C_{10}\bigr) \\ \hphantom{Q_{2n}(u,v)}= \frac{1}{N} \sum_{i=1}^{N-1}h(i) \bigl(C_{9}d(u_{i})-C_{10}\bigr), \quad \forall n=\overline{1,N-1}. \end{gathered} $$
(21)
We will prove that the set \(U=\{(u,v)\in P, (u,v)=Q(u,v)+\lambda (\varphi ^{1},\varphi ^{2}), \lambda \ge 0\}\) is bounded, where \((\varphi ^{1},\varphi ^{2})\in P\setminus \{(0,0)\}\). Indeed, \((u,v)\in U\) implies that \(u\ge Q_{1}(u,v)\), \(v\ge Q_{2}(u,v)\) for some \(\varphi ^{1}, \varphi ^{2}\ge 0\). By (21), we obtain
$$\begin{aligned}& u_{n}\ge Q_{1n}(u,v)\ge \frac{C_{7}}{N} \sum_{i=1}^{N-1}h(i)c(v_{i})-C_{13}, \quad \forall n=\overline{1,N-1}, \end{aligned}$$
(22)
$$\begin{aligned}& v_{n}\ge Q_{2n}(u,v)\ge \frac{C_{9}}{N} \sum_{i=1}^{N-1}h(i)d(u_{i})-C_{14}, \quad \forall n=\overline{1,N-1}, \end{aligned}$$
(23)
where \(C_{13}=C_{8}(N^{2}-1)/(6N)\), \(C_{14}=C_{10}(N^{2}-1)/(6N)\).
By the monotonicity and concavity of \(c(\cdot )\) and the Jensen inequality, inequality (23) implies that
$$\begin{aligned} c(v_{n}+C_{14})& \ge c \Biggl( \frac{C_{9}}{N} \sum_{i=1}^{N-1}h(i)d(u_{i}) \Biggr) \\ &\ge \frac{1}{N-1} \sum_{i=1}^{N-1}c \biggl( \frac{C_{9}(N-1)}{N}h(i)d(u_{i}) \biggr) \\ &= \frac{1}{N-1} \sum_{i=1}^{N-1}c \biggl( \frac{C_{9}(N-1)}{NC_{12}}h(i)\cdot C_{12}d(u_{i}) \biggr) \\ &\ge \frac{1}{N-1} \sum_{i=1}^{N-1} \frac{C_{9}(N-1)}{NC_{12}}h(i)c \bigl(C_{12}d(u_{i}) \bigr) \\ &= \frac{C_{9}}{NC_{12}} \sum_{i=1}^{N-1}h(i)c \bigl(C_{12}d(u_{i})\bigr), \quad \forall n= \overline{1,N-1}. \end{aligned}$$
(24)
Since \(c(v_{n})\ge c(v_{n}+C_{14})-c(C_{14})\), by relations (22), (23), and (24), we deduce
$$ \begin{aligned} u_{n}&\ge \frac{C_{7}}{N} \sum _{i=1}^{N-1}h(i)c(v_{i})-C_{13} \\ &\ge \frac{C_{7}}{N} \sum_{i=1}^{N-1}h(i) \bigl[c(v_{i}+C_{14})-c(C_{14})\bigr]-C_{13} \\ &= \frac{C_{7}}{N} \sum_{i=1}^{N-1}h(i)c(v_{i}+C_{14})-C_{15} \\ &\ge \frac{C_{7}}{N} \sum_{i=1}^{N-1}h(i) \Biggl[ \frac{C_{9}}{NC_{12}} \sum_{j=1}^{N-1}h(j)c \bigl(C_{12}d(u_{j})\bigr) \Biggr]-C_{15} \\ &= \frac{C_{7}C_{9}(N^{2}-1)}{6N^{2}C_{12}} \sum_{j=1}^{N-1}h(j)c \bigl(C_{12}d(u_{j})\bigr)-C_{15} \\ &\ge \frac{C_{7}C_{9}(N^{2}-1)}{6N^{2}C_{12}} \sum_{j=1}^{N-1}h(j) \biggl( \frac{72 C_{12}N^{3}\max \{A,B\}}{C_{7}C_{9} (N^{2}-1)^{2}}u_{j}-C _{11} \biggr)-C_{15} \\ &= \frac{12N\max \{A,B\}}{N^{2}-1} \sum_{j=1}^{N-1}h(j)u_{j}-C_{16} \ge 2 \Vert u \Vert -C_{16}, \quad \forall n=\overline{1,N-1}, \end{aligned} $$
where \(C_{15}=\frac{C_{7}c(C_{14})(N^{2}-1)}{6N}+C_{13}\), \(C_{16}=\frac{C _{7}C_{9}C_{11}(N^{2}-1)^{2}}{36N^{2}C_{12}}+C_{15}\).
Therefore \(\|u\|\ge u_{1}\ge 2\|u\|-C_{16}\), and then
$$ \Vert u \Vert \le C_{16}. $$
(25)
Since \(c(v_{n})\ge c (\frac{1}{B}k(n)\|v\| )\ge c (\frac{1}{BN} \|v\| )\ge \frac{1}{BN}c(\|v\|)\) for all \(n=\overline{1,N-1}\), then by relations (19), (22), (23), and (24), we obtain
$$\begin{aligned} c(v_{n})&\ge c(v_{n}+C_{14})-c(C_{14}) \\ &\ge \frac{C_{9}}{NC_{12}} \sum_{i=1}^{N-1}h(i)c \bigl(C_{12}d(u_{i})\bigr)-c(C_{14}) \\ &\ge \frac{C_{9}}{NC_{12}} \sum_{i=1}^{N-1}h(i) \biggl( \frac{72C_{12}N^{3}\max \{A,B\}}{C_{7}C_{9}(N^{2}-1)^{2}}u_{i}-C_{11} \biggr)-c(C _{14}) \\ &= \frac{72 N^{2}\max \{A,B\}}{C_{7}(N^{2}-1)^{2}} \sum_{i=1}^{N-1}h(i)u_{i}-C_{17} \\ &\ge \frac{72 N^{2}\max \{A,B\}}{C_{7}(N^{2}-1)^{2}} \sum_{i=1}^{N-1}h(i) \Biggl( \frac{C_{7}}{N} \sum_{j=1}^{N-1}h(j)c(v_{j})-C_{13} \Biggr)-C_{17} \\ &= \frac{12N\max \{A,B\}}{N^{2}-1} \sum_{j=1}^{N-1}h(j)c(v_{j})-C_{18} \\ &\ge \frac{12 N\max \{A,B\}}{N^{2}-1} \sum_{j=1}^{N-1}h(j) \frac{1}{BN}c\bigl( \Vert v \Vert \bigr)-C_{18} \\ &\ge 2c\bigl( \Vert v \Vert \bigr)-C_{18}, \quad \forall n= \overline{1,N-1}, \end{aligned}$$
where \(C_{17}=\frac{C_{9}C_{11}(N^{2}-1)}{6NC_{12}}+c(C_{14})\), \(C_{18}=\frac{12C_{13}N^{2}\max \{A,B\}}{C_{7}(N^{2}-1)}+C_{17}\).
Then \(c(\|v\|)\ge c(v_{1})\ge 2c(\|v\|)-C_{18}\), and so \(c(\|v\|) \le C_{18}\). By \((H5)\)(a) and (c), we deduce that \(\lim_{v\to \infty }c(v)=\infty \). Thus there exists \(C_{19}>0\) such that
$$ \Vert v \Vert \le C_{19}. $$
(26)
By (25) and (26), we conclude that \(\|(u,v)\|_{Y} \le C_{16}+C_{19}\) for all \((u,v)\in U\). That is the set U is bounded. Then there exists a sufficiently large \(R_{2}>0\) such that \((u,v) \neq Q(u,v)+\lambda (\varphi ^{1},\varphi ^{2})\) for all \((u,v)\in \partial B_{R_{2}}\cap P\) and \(\lambda \ge 0\). By Theorem 2.2 we deduce that
$$ i(Q,B_{R_{2}}\cap P,P)=0. $$
(27)
On the other hand, by \((H6)\) there exist \(C_{20}>0\) and a sufficiently small \(r_{2}>0\), (\(r_{2}< R_{2}\), \(r_{2}\le 1\)) such that
$$ \begin{gathered} f(n,u,v)\le C_{20}v^{\beta _{1}}, \quad \forall (n,u)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, v\in [0,r_{2}], \\ g(n,u,v)\le \varepsilon _{2}u^{\beta _{2}}, \quad \forall (n,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}, u\in [0,r_{2}], \end{gathered} $$
(28)
where \(\varepsilon _{2}= (2AB^{\beta _{1}}C_{20} (\frac{N^{2}-1}{6} ) ^{\beta _{1}+1} )^{-1/\beta _{1}}>0\).
We will show that \((u,v)\not \le Q(u,v)\) for all \((u,v)\in \partial B _{r_{2}}\cap P\). We suppose that there exists \((u,v)\in \partial B _{r_{2}}\cap P\), that is, \(\|(u,v)\|_{Y}=r_{2}\le 1\), such that \((u,v)\le (Q_{1}(u,v),Q_{2}(u,v))\), or \(u\le Q_{1}(u,v)\) and \(v\le Q_{2}(u,v)\). Then by (28) we obtain
$$ \begin{aligned} u_{n}&\le Q_{1n}(u,v)= \sum _{i=1}^{N-1}G_{1}(n,i)f(i,u_{i},v_{i}) \le AC_{20} \sum_{i=1}^{N-1}h(i)v_{i}^{\beta _{1}} \\ &\le AC_{20} \sum_{i=1}^{N-1}h(i) \Biggl( \sum_{j=1}^{N-1}G_{2}(i,j)g(j,u_{j},v_{j}) \Biggr)^{\beta _{1}} \\ &\le AC_{20} \sum_{i=1}^{N-1}h(i) \Biggl(B \sum_{j=1}^{N-1}h(j)\varepsilon _{2} u_{j}^{\beta _{2}} \Biggr)^{\beta _{1}} \\ &\le \frac{AB^{\beta _{1}}C_{20}(N^{2}-1)\varepsilon _{2}^{\beta _{1}}}{6} \Biggl( \sum_{j=1}^{N-1}h(j) \Biggr)^{\beta _{1}} \Vert u \Vert ^{\beta _{1}\beta _{2}} \\ &=AB^{\beta _{1}}C_{20} \biggl( \frac{N^{2}-1}{6} \biggr)^{\beta _{1}+1}\varepsilon _{2}^{\beta _{1}} \Vert u \Vert ^{\beta _{1}\beta _{2}} \\ &\le AB^{\beta _{1}}C_{20}\varepsilon _{2}^{\beta _{1}} \biggl( \frac{N^{2}-1}{6} \biggr)^{\beta _{1}+1} \Vert u \Vert = \frac{1}{2} \Vert u \Vert , \quad \forall n=\overline{0,N}. \end{aligned} $$
Therefore \(\|u\|\le \frac{1}{2}\|u\|\), so
$$ \Vert u \Vert =0. $$
(29)
In addition
$$ \begin{aligned}[b] v_{n}&\le Q_{2n}(u,v)= \sum_{i=1}^{N-1}G_{2}(n,i)g(i,u_{i},v_{i}) \\ &\le B \sum_{i=1}^{N-1}h(i)\varepsilon _{2} u_{i}^{\beta _{2}}\le \frac{B\varepsilon _{2} (N^{2}-1)}{6} \Vert u \Vert ^{\beta _{2}}, \quad \forall n=\overline{0,N}. \end{aligned} $$
(30)
By (29) and (30) we deduce that \(\|v\|=0\), and then \(\|(u,v)\|_{Y}=0\), which is a contradiction because \(\|(u,v)\|_{Y}=r _{2}>0\). Then \((u,v)\not \le Q(u,v)\) for all \((u,v)\in \partial B_{r _{2}}\cap P\). By Theorem 2.3(a), we conclude that
$$ i(Q, B_{r_{2}}\cap P,P)=1. $$
(31)
Because Q has no fixed points on \(\partial B_{r_{2}}\cup \partial B _{R_{2}}\), by (27) and (31), we deduce that
$$ i\bigl(Q,(B_{R_{2}}\setminus \overline{B}_{r_{2}})\cap P,P \bigr)=i(Q,B_{R_{2}} \cap P,P)-i(Q,B_{r_{2}}\cap P,P)=-1. $$
So the operator Q has at least one fixed point \((u^{2},v^{2})\in (B _{R_{2}}\setminus \overline{B}_{r_{2}})\cap P\), with \(r_{2}<\|(u^{2},v ^{2})\|_{Y}<R_{2}\), which is a positive solution for our problem (S)–(BC). □
Theorem 3.3
Assume that assumptions \((H1)\), \((H2)\), \((H3)\), \((H5)\), and \((H7)\) hold. Then problem (S)–(BC) has at least two positive solutions.
Proof
By using \((H7)\), for any \((u,v)\in \partial B_{N_{0}} \cap P\), we obtain
$$ \begin{gathered} Q_{1n}(u,v)\le A \sum _{i=1}^{N-1}h(i)f(i,N_{0},N_{0})< \frac{3AN_{0}}{(N^{2}-1)\max \{A,B\}} \sum_{i=1}^{N-1}h(i)\le \frac{N_{0}}{2}, \quad \forall n=\overline{0,N}, \\ Q_{2n}(u,v)\le B \sum_{i=1}^{N-1}h(i)g(i,N_{0},N_{0})< \frac{3BN_{0}}{(N^{2}-1)\max \{A,B\}} \sum_{i=1}^{N-1}h(i)\le \frac{N_{0}}{2}, \quad \forall n=\overline{0,N}. \end{gathered} $$
Then we deduce
$$ \bigl\Vert Q(u,v) \bigr\Vert _{Y}= \bigl\Vert Q_{1}(u,v) \bigr\Vert + \bigl\Vert Q_{2}(u,v) \bigr\Vert < N_{0}= \bigl\Vert (u,v) \bigr\Vert _{Y}, \quad \forall (u,v)\in \partial B_{N_{0}}\cap P. $$
Because Q has no fixed points on \(\partial B_{N_{0}}\), by Theorem 2.1 we conclude that
$$ i(Q,B_{N_{0}}\cap P,P)=1. $$
(32)
On the other hand, from \((H3)\) and \((H5)\), and the proofs of Theorems 3.1 and 3.2, we know that there exist a sufficiently \(r_{1}>0\) (\(r_{1}< N_{0}\)) and a sufficiently large \(R_{2}>N_{0}\) such that
$$ i(Q,B_{r_{1}}\cap P,P)=0, \qquad i(Q,B_{R_{2}}\cap P,P)=0. $$
(33)
Because Q has no fixed points on \(\partial B_{r_{1}}\cup \partial B _{R_{2}}\cup \partial B_{N_{0}}\), by relations (32) and (33), we obtain
$$ \begin{gathered} i\bigl(\mathcal{Q},(B_{R_{2}}\setminus \bar{B}_{N_{0}})\cap P,P\bigr)=i( \mathcal{Q},B_{R_{2}}\cap P,P)-i( \mathcal{Q},B_{N_{0}}\cap P,P)=-1, \\ i\bigl(\mathcal{Q}, (B_{N_{0}}\setminus \bar{B}_{r_{1}})\cap P,P \bigr)=i( \mathcal{Q},B_{N_{0}}\cap P,P)-i(\mathcal{Q},B_{r_{1}}\cap P,P)=1. \end{gathered} $$
Then \(\mathcal{Q}\) has at least one fixed point \((u^{1},v^{1})\in (B _{R_{2}}\setminus \bar{B}_{N_{0}})\cap P\) and has at least one fixed point \((u^{2},v^{2})\in (B_{N_{0}}\setminus \bar{B}_{r_{1}})\cap P\). Therefore, problem (S)–(BC) has two distinct positive solutions \((u^{1},v^{1})\), \((u^{2},v^{2})\). □
Remark 3.1
In \((H3)\), if \(a(v)=v^{p}\) with \(p\le 1\) and \(b(u)=u^{q}\) with \(q>0\), the condition from \((H3)\)(c) is satisfied if \(pq<1\). In \((H5)\), if \(c(v)=v^{p}\) with \(p\le 1\), and \(d(u)=u^{q}\) with \(q>0\), the condition from \((H5)\)(c) is satisfied if \(pq>1\).
Examples
(1)
We consider \(f(n,u,v)=\frac{n}{n+1}(1+e^{-(u+v)})\) and \(g(n,u,v)=(1+e ^{-n})u^{\theta }\) for \((n,u,v)\in \{1,\ldots ,N-1\}\times \mathbb{R} _{+}\times \mathbb{R}_{+}\). For \(a(v)=v^{p}\) with \(p\le 1\), and \(b(u)=u^{q}\) for \(q>0\) and \(pq<1\), then assumptions \((H3)\) and \((H4)\) are satisfied if \(q>\theta \) and \(\alpha _{2}>\theta \). For example, if \(\theta =\frac{5}{4}\), \(p=\frac{1}{3}\), \(q=\frac{4}{3}\), \(\alpha _{1}=\frac{1}{3}\), and \(\alpha _{2}=3\), we can apply Theorem 3.1, and we deduce that problem (S)–(BC) has at least one positive solution.
(2)
We consider \(f(n,u,v)=(1+e^{-u})v^{\theta _{1}}\) and \(g(n,u,v)=(1+e ^{-v})u^{\theta _{2}}\) for \((n,u,v)\in \{1,\ldots ,N-1\}\times \mathbb{R}_{+}\times \mathbb{R}_{+}\). For \(c(v)=v^{p}\) with \(p\le 1\), and \(d(u)=u^{q}\) for \(q>0\) and \(pq>1\), then assumptions \((H5)\) and \((H6)\) are satisfied if \(p<\theta _{1}\), \(q<\theta _{2}\), \(\beta _{1}<\theta _{1}\), and \(\beta _{2}<\theta _{2}\). For example, if \(\theta _{1}=4\), \(\theta _{2}=2\), \(p=\frac{3}{5}\), \(q=\frac{9}{5}\), \(\beta _{1}=3\), and \(\beta _{2}=\frac{1}{3}\), we can apply Theorem 3.2, and we conclude that problem (S)–(BC) has at least one positive solution.
Declarations
Acknowledgements
The authors thank the referee for his/her valuable comments and suggestions.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Authors’ contributions
The authors contributed equally to this paper. The authors read and approved the final manuscript.
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
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.
Abbreviation
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Authors’ Affiliations
(1)
Department of Mathematics, Texas A&M University, Kingsville, USA
(2)
Department of Mathematics, Gh. Asachi Technical University, Iasi, Romania
References
Afrouzi, G.A., Hadjian, A.: Existence and multiplicity of solutions for a discrete nonlinear boundary value problem. Electron. J. Differ. Equ. 2014, 35 1–13 (2014) MathSciNetView ArticleGoogle Scholar Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Monographs and Textbooks in Pure and Applied Mathematics, vol. 228. Dekker, New York (2000) MATHGoogle Scholar Agarwal, R.P., Meehan, M., O’Regan, D.: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001) View ArticleGoogle Scholar Agarwal, R.P., O’Regan, D., Wong, P.J.Y.: Positive Solutions of Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (1999) View ArticleGoogle Scholar Amann, H.: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 18, 620–709 (1976) MathSciNetView ArticleGoogle Scholar Anderson, D.R.: Solutions to second-order three-point problems on time scales. J. Differ. Equ. Appl. 8(8), 673–688 (2002) MathSciNetView ArticleGoogle Scholar Atici, F., Peterson, A.C.: Inequality for a 2nth order difference equation. Panam. Math. J. 6, 41–49 (1996) MATHGoogle Scholar Avery, R.: Three positive solutions of a discrete second order conjugate problem. Panam. Math. J. 8, 79–96 (1998) MathSciNetMATHGoogle Scholar Cheung, W.S., Ren, J.: Positive solution for discrete three-point boundary value problems. Aust. J. Math. Anal. Appl. 1(2), Article 9, 1–7 (2004) MathSciNetMATHGoogle Scholar Goodrich, C.S.: Existence of a positive solution to a nonlocal semipositone boundary value problem on a time scale. Comment. Math. Univ. Carol. 54(4), 509–525 (2013) MathSciNetMATHGoogle Scholar Graef, J.R., Kong, L., Wang, M.: Multiple solutions to a periodic boundary value problem for a nonlinear discrete fourth order equation. Adv. Dyn. Syst. Appl. 8(2), 203–215 (2013) MathSciNetGoogle Scholar Graef, J.R., Kong, L., Wang, M.: Existence of multiple solutions to a discrete fourth order periodic boundary value problem. Discrete Contin. Dyn. Syst. 2013(Supplement), 291–299 (2013) MathSciNetMATHGoogle Scholar Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988) MATHGoogle Scholar Henderson, J., Luca, R.: Existence of positive solutions for a system of second-order multi-point discrete boundary value problems. J. Differ. Equ. Appl. 19(11), 1889–1906 (2013) MathSciNetView ArticleGoogle Scholar Henderson, J., Luca, R.: On a second-order nonlinear discrete multi-point eigenvalue problem. J. Differ. Equ. Appl. 20(7), 1005–1018 (2014) MathSciNetView ArticleGoogle Scholar Henderson, J., Luca, R.: Positive solutions for a system of difference equations with coupled multi-point boundary conditions. J. Differ. Equ. Appl. 22(2), 188–216 (2016) MathSciNetView ArticleGoogle Scholar Henderson, J., Luca, R.: Boundary Value Problems for Systems of Differential, Difference and Fractional Equations. Positive Solutions. Elsevier, Amsterdam (2016) MATHGoogle Scholar Henderson, J., Luca, R.: Existence and multiplicity of positive solutions for a system of difference equations with coupled boundary conditions. J. Appl. Anal. Comput. 7(1), 134–146 (2017) MathSciNetGoogle Scholar Henderson, J., Luca, R., Tudorache, A.: Multiple positive solutions for a multi-point discrete boundary value problem. Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat. 63(2), 59–70 (2014) MathSciNetMATHGoogle Scholar Iannizzotto, A., Tersian, S.A.: Multiple homoclinic solutions for the discrete p-Laplacian via critical point theory. J. Math. Anal. Appl. 403(1), 173–182 (2013) MathSciNetView ArticleGoogle Scholar Kelley, W.G., Peterson, A.C.: Difference Equations. An Introduction with Applications, 2nd edn. Academic Press, San Diego (2001) MATHGoogle Scholar Krasnoselskii, M.A.: Positive Solution of Operator Equations. Noordhoff, Groningen (1964) Google Scholar Lakshmikantham, V., Trigiante, D.: Theory of Difference Equations. Numerical Methods and Applications. Mathematics in Science and Engineering, vol. 181. Academic Press, Boston (1988) MATHGoogle Scholar Li, W.T., Sun, H.R.: Positive solutions for second-order m-point boundary value problems on times scales. Acta Math. Sin. Engl. Ser. 22(6), 1797–1804 (2006) MathSciNetView ArticleGoogle Scholar Rodriguez, J.: Nonlinear discrete Sturm–Liouville problems. J. Math. Anal. Appl. 308(1), 380–391 (2005) MathSciNetView ArticleGoogle Scholar Sun, H.R., Li, W.T.: Positive solutions for nonlinear three-point boundary value problems on time scales. J. Math. Anal. Appl. 299(2), 508–524 (2004) MathSciNetView ArticleGoogle Scholar Wang, D.B., Guan, W.: Three positive solutions of boundary value problems for p-Laplacian difference equations. Comput. Math. Appl. 55(9), 1943–1949 (2008) MathSciNetView ArticleGoogle Scholar Wang, L., Chen, X.: Positive solutions for discrete boundary value problems to one-dimensional p-Laplacian with delay. J. Appl. Math. 2013, Article ID 157043 (2013) MathSciNetMATHGoogle Scholar
Copyright
© The Author(s) 2018