Abstract
This paper studies the global structure of positive solutions of a class discrete Neumann problem which includes the superlinear nonlinearity with zeros. The main results are based on the method of lower and upper solutions, a priori estimates and Brouwer degree theory.
Similar content being viewed by others
1 Introduction
The difference equations play an important role in many fields such as science, biology, engineering, and technology where discrete phenomena abound, in addition, from the advent and the rise of computers, where differential equations are solved by employing their approximative difference equations formulations; e.g., see [1–12] and the references therein.
One of the difference equations that has attracted some attention is
where \(\Delta y(k)=y(k+1)-y(k)\) for all \(k\in\mathbb{Z}\), \(p:\{ 0,1,\ldots,N\}\to\mathbb{R}\), \(q:I\to\mathbb{R}\) are functions.
In 2003, Cabada and Otero-Espinar [3] studied the existence of solutions of (1.1) by the method of upper and lower solutions whenever \(p(\cdot )\equiv1\), \(q(\cdot)=0\). Anderson et al. [2] obtained the existence of solutions of (1.1) by a fixed point theorem whenever \(p(\cdot)\equiv1\) and Lu and Gao [10] obtained the existence of positive solutions of (1.1) by the fixed point theorem in cones. Jun Ji, Bo Yang, Candito, G. D’Aguì and Gao also studied the discrete Neumann problem by different methods, see [1, 4, 6–9] and references therein.
However, very little work has been done for the existence of positive solutions of second-order difference equation involving superlinear nonlinearity with zeros. It is worth pointing out that Ma obtained the existence of multiple solutions for some discrete Sturm-Liouville problems; see [11]. Inspired by the above work, we study the global structure of positive solutions of the following discrete Neumann boundary value problem:
where the functions \(p:\{0,1,\ldots, N\}\to(0,\infty)\), \(q, a:I\to[0,\infty)\) with \(a(k)>0\) on \(k\in I\) and the nonlinearity f satisfies:
-
(C1)
\(f\in C (I\times[0,\infty),[0,\infty) )\) and there exists a function \(m:I\to(0,\infty)\), satisfying \(m(k_{1})+m(k_{2})\leq m (\frac {k_{1}+k_{2}}{2} )\) with \(k_{1},k_{2}\in I\), such that \(f(k,0)=f(k,m(k))=0\) and \(f(k,y)>0\) if \(0< y< m(k)\).
-
(C2)
There exists a function \(h:I\to(0,\infty)\) such that
$$ \lim_{y\to0^{+}}\frac{f(k,y)}{y}=h(k) \quad \text{uniformly in } k\in I. $$(1.3) -
(C3)
There exists a subset \(I_{1}\subset I\) such that
$$\lim_{y\to\infty}\frac{f(k,y)}{y}=\infty \quad \text{uniformly in } k\in I_{1}. $$ -
(C4)
The function \(f_{y}:=\frac{\partial f}{\partial y}\) exists and is continuous in the set \(\{(k,y) : k\in I, y\in[0, m(k)]\}\); further,
$$ f_{y}(k,y)< y^{-1}f(k,y), \quad (k,y)\in\bigl\{ (k,y) : k\in I, y\in \bigl(0, m(k)\bigr)\bigr\} . $$(1.4)
Through careful analysis we have found that the nonlinearity has a zero at a variable positive value and has linear growth at zero and locally superlinear growth at infinity. The effect of the variable zero and the condition of superlinear growth in a small interval are the main differences when comparing to the results in [10, 11]. For the results concerning the existence of positive solutions for nonlinear differential equation boundary value problems involving nonlinearity with zero points, see, e.g. [13–15] and references therein.
Let \(\lambda_{1, ah}\) be the first eigenvalue of the eigenvalue problem
It is well known (cf. Kelly and Peterson [8], Gao [6]) that \(\lambda_{1,ah}>0\) is positive and simple, and that it is a unique eigenvalue with positive eigenfunctions \(\varphi_{1,ah}\).
Theorem 1.1
Let (C1)-(C3) hold. Then for every \(0<\lambda<\lambda_{1,ah}\), the problem (1.2) has at least one positive solution.
Theorem 1.2
Let (C1)-(C4) hold. Then for every \(\lambda >\lambda_{1,ah}\), the problem (1.2) has at least two ordered positive solutions.
Theorem 1.3
Let (C1)-(C4) hold. Suppose \(\{y_{\lambda}\} \) is a family of positive solutions of (1.2). Then
-
(i)
one has \(\Vert y_{\lambda} \Vert \to\infty\) as \(\lambda\to0^{+}\);
-
(ii)
if \(f(k,y)>0\) for \(y\neq m(k)\), \(y\neq0\), then
$$y_{\lambda}\to m \quad \textit{pointwise in } I \quad \textit{and}\quad \Vert y_{\lambda} \Vert \to \Vert m\Vert ,\quad \textit{as } \lambda\to\infty. $$
Remark 1.1
Theorems 1.1-1.3 give the global structure of positive solutions of (1.2) under the conditions (C1)-(C3); see Figure 1. The condition (C4) is used to obtain the second solution, by a nice homotopy argument, which is a technical hypothesis. We conjecture this condition may be not imposed here if we use another technique to deal with the problem (1.2).
Remark 1.2
Notice that (C2) means that f has asymptotically linear growth at \(u=0\). From Figure 1, we see that (1.2) has a positive solution u satisfying \(\min_{k\in I}u(k)>\Vert m\Vert \) for any \(\lambda\in(0,\lambda_{ah})\) and (1.2) has two positive solutions \(u_{1}\) and \(u_{2}\) with \(\Vert u_{1}\Vert <\Vert m\Vert \) and \(\min_{k\in I}u_{2}(k)>\Vert m\Vert \) for any \(\lambda>\lambda_{ah}\).
If \(f_{0}=\infty\), then for any \(\lambda>0\) (1.2) has two positive solutions \(u_{1}\) and \(u_{2}\) with \(\Vert u_{1}\Vert <\Vert m\Vert \) and \(\min_{k\in I}u_{2}(k)>\Vert m\Vert \). Especially, under the conditions (C1)-(C3), we can show (1.2) has at least one positive solution u with \(\Vert u\Vert <\Vert m\Vert \) for any \(\lambda>0\) by using the fixed point theorem and Proposition 3.3. Compared with the main results of [5], the interval of λ is sharp. However, Theorem 1.1-Theorem 1.2 and [5], Theorem 3.3, Theorem 3.7, Theorem 3.9, with \(p=2\) complement each other but cannot contain each other.
The rest of this paper is organized as follows. In Section 2, we state some notations and preliminary results. Section 3 contains the proof of existence of one solution for λ small enough and the proof of the existence of two solutions for λ large enough. Finally, we study the asymptotic behavior of the solutions compact operator equation and prove Theorem 1.3 in Section 4.
2 Preliminaries
Let \(\hat{I}:=\{0, 1,\ldots, N, N+1\}\), and define \(E=\{y \mid y:\hat{I}\to\mathbb{R}\} \) be the space of all maps from Î into \(\mathbb{R}\). Then it is a Banach space with the norm \(\Vert y\Vert = \max_{k\in\hat{I}}\vert y(k)\vert \).
Let \(P:=\{y\in E \mid y(k)\geq0, k\in\hat{I}\}\). Then P is a cone which is normal and has a nonempty interior and \(E=\overline{P-P}\).
Let \(\phi(k)\), \(\psi(k)\) be the solution of the initial value problem
and
respectively. It is easy to compute and show that
-
(i)
\(\phi(k)=1+ \sum_{s=1}^{k-1} (\sum_{j=s}^{k-1}\frac{1}{p(j)} )q(s)\phi(s)>0\), and ϕ is increasing on Î;
-
(ii)
\(\psi(k)=1+\sum_{s=k+1}^{N} (\sum_{j=k}^{s-1}\frac {1}{p(j)} )q(s)\psi(s)>0\), and ψ is decreasing on Î.
Lemma 2.1
([10], Lemma 2.4)
Let \(h:I\to\mathbb {R}\). Then the linear boundary value problem
has a unique solution
where
Moreover, if \(h(k)\geq0\) and \(h\not\equiv0\) on I, then \(y(k)>0\) on Î.
Lemma 2.2
\(G(k,s)\) has the following properties:
-
(i)
\(G(k,s)\geq0\), \(\forall (k,s)\in\hat{I}\times\hat{I}\); \(G(k,s)>0\), \(\forall (k,s)\in I\times I\).
-
(ii)
\(G(k,s)\leq G(s,s)\), \(\forall (k,s)\in\hat{I}\times\hat{I}\).
-
(iii)
\(G(k,s)\geq\min\{\frac{\phi(k)}{\phi(N+1)}, \frac{\psi(k)}{\psi (0)}\}G(s,s)\), \(\forall (k,s)\in\hat{I}\times\hat{I}\).
Let \(b:I\to\mathbb{R}\) be a function and consider the following eigenvalue problem:
It is well known (cf. Ma et al. [12], Theorem 1; Gao [6], Theorem 1.1; Ji and Yang [7], Theorem 2.6) that the problem (2.4) has finite simple eigenvalues and there exist a sequence of positive eigenvalues
provided \(b>0\) in a subset of I and \(M\leq N\); there exist a sequence of negative eigenvalues
provided \(b<0\) in a subset of I.
In particular, \(\lambda_{1,b}>0\) is the positive principal eigenvalue of (2.4) and the associated eigenfunction \(\varphi_{1,b}\) satisfies \(\varphi_{1,b}(k)>0\), \(k\in I\), while \(\varphi_{i,b}\) changes its sign \(i-1\) for \(\vert i\vert >1\). In addition, it yields, for any \(y\in E\),
where equality holds if and only if y is a multiple of \(\varphi _{1,b}\) (see [6, 8]).
First, we introduce the following strict monotonicity property with respect to the weight function b for the problem (2.4) (see Gao [6], Lemma 2.5 and Ji and Yang [7], Theorem 3.1).
Lemma 2.3
Let b and b̃ be two bounded weights with \(b\leq\tilde{b}\), and let \(j \in\{-N,\ldots,-1,1, \ldots,N\}\). Then the eigenvalue \(\lambda_{j,b}>\lambda_{j,\tilde{b}}\).
Let \(A:E\to E\) be defined by
and \(P_{0}=\{y\in P \mid \min_{k\in I}y(k)\geq c_{0}\Vert y\Vert \}\), here \(c_{0}=\min_{k\in I} \{\frac{\phi(k)}{\phi(N+1)}, \frac{\psi (k)}{\psi(0)} \}\). It is easy to see that A is a completely continuous operator. By Lemma 2.1 and Lemma 2.2, it follows that \(A(P_{0})\subset P_{0}\) and its nontrivial fixed points in \(P_{0}\) correspond to the positive solutions of (1.2).
3 The existence of one solution and two solutions for (1.2)
In this section, we will show the existence of a solution for \(\lambda \in(0,\lambda_{1,ah})\) and the existence of two solutions for \(\lambda \in(\lambda_{1,ah},\infty)\).
Lemma 3.1
Suppose (C1)-(C3) hold. Then for all \(\Lambda , B>0\), there exists \(R>0\) such that for any fixed \(\lambda>\Lambda\) and \(y\in\{y\in P_{0} \mid \Vert y\Vert \geq R\}\), we have
Proof
By the condition (C3), for any fixed \(M_{0}>0\), there exists \(X>0\) such that \(y>X\) implies \(f(k,y)\geq M_{0} y\), \(\forall k\in I_{1}\). By Lemma 2.1 and Lemma 2.2, it is easy to see that
Then, if we choose \(\Vert y\Vert \geq R>\frac{X}{c_{0}}\), by using \(f\geq0\), it implies that
Set \(M_{0}> B (\Lambda c_{0}\sum_{s\in I_{1}}G(2, s)a(s) )^{-1} \). Then we obtain
□
Lemma 3.2
Suppose (C1) and (C2) hold. Then for any fixed \(\lambda\in(0,\lambda_{1,ah})\), there exist a norm \(\Vert \cdot \Vert _{*}\) equivalent to \(\Vert \cdot \Vert \) and \(r>0\) such that for all \(y\in\{y\in P_{0} \mid \Vert y\Vert _{*}=r\}\), we have
Proof
For some \(\varepsilon>0\) small enough, it follows from \(\lambda\in(0,\lambda_{1,ah})\) that
Next, take \(M_{1}>0\) such that
where \(\omega(k)=\sum_{s=1}^{N}G(k,s)a(s)h(s)\).
Consider the norm \(\Vert y\Vert _{*}=\inf\{\eta : \eta(\varphi_{1,ah}+M_{1})\geq y\}=\Vert \frac{y}{\varphi_{1,ah}+M_{1}}\Vert \), which is equivalent to \(\Vert \cdot \Vert \).
From (C1)-(C2), there exists a \(\rho=\rho(\varepsilon)>0\) such that \(0< y<\rho\) implies that \(f(k,y)<(1+\varepsilon)h(k)y(k)\) for all \(k\in I\). Let \(r>0\) be such that \(r(\Vert \varphi_{1,ah}\Vert +M_{1})<\rho\), so that \(\Vert y\Vert _{*}=r\) implies \(\Vert y\Vert <\rho\).
If \(y\in P_{0}\) with \(\Vert y\Vert _{*}=r\), we imply
Therefore \(\Vert Ay\Vert _{*}<\Vert y\Vert _{*}\). □
Lemma 3.1 and Lemma 3.2 may imply the existence of a positive solution of (1.2).
Proof of Theorem 1.1
The existence of a positive solution is a consequence of the fixed point theorem (see Deimling [16], Theorem 20.1) by virtue of Lemma 3.1 and Lemma 3.2. □
Now we shall show (1.2) has at least two positive solutions for \(\lambda >\lambda_{1,ah}\). First of all, we start with the existence of a first solution y which satisfies \(y(k)\leq m(k)\).
Proposition 3.3
Suppose (C1)-(C3) hold. Then for every \(\lambda>\lambda_{1,ah}\), the problem (1.2) has a positive solution y which satisfies \(y(k)\leq m(k)\).
Proof
By (C1)-(C3), we may use the method of lower and upper solutions (see [3]).
From (C1), m is positive and \(f(k,m(k))=0\), we see that \(m(k)\) is always an upper solution of (1.2). Clearly, it is a strict upper solution, because \(m(k)>0\) and the concave of m implies that it cannot satisfy \(\Delta y(0)=\Delta y(N)=0\). We recall that a strict lower solution of (1.2) is a lower solution which is not a solution of (1.2).
Let \(\lambda>\lambda_{1,ah}\). By (C2), fix a \(\tau\in(0,1)\), there exists sufficiently small \(\varrho=\varrho(\tau)\) such that
Hence, if τ is chosen such that \(\lambda_{1,ah}<(1-\tau)\lambda\), then
and if \(\epsilon>0\) is such that \(\epsilon \Vert \varphi_{1,ah}\Vert <\varrho\), then
that is, \(\epsilon\varphi_{1,ah}\) is a (strict) lower solution for (1.2). Finally, ϵ can always be chosen such that \(\epsilon \Vert \varphi_{1,ah}\Vert \leq m(k)\). Thus, the method of lower and upper solutions implies that there exists a solution y satisfying \(0<\epsilon\varphi _{1,ah}\leq y\leq m\). □
Remark 3.1
Obviously, the choice of τ, the values of ϱ and ϵ in the preceding proof depends on λ. However, once chosen τ for a given value of λ, the same choice works for any larger value of λ. Thus, for any given \(\hat{\lambda}>\lambda_{1,ah}\), it is possible to find a unique function \(\epsilon\varphi_{1,ah}\) which is a lower solution for any \(\lambda>\hat{\lambda}\).
In the following we will show the existence of a second solution for all \(\lambda>\lambda_{1,ah}\). From (C1)-(C3), we fix λ and denote by \(y_{1}=y_{1}(\lambda)\) the solution of (1.2) found above.
Consider the auxiliary problem
where \(w^{+}=\max\{w,0\}\), \(w^{-}=\max\{-w,0\}\), and \(w=w^{+}-w^{-}\).
It is easy to see that \(w\geq0\) is a nontrivial solution of (3.4), then \(y_{1}+w\) is a second positive solution of (1.2), which satisfies \(y_{1}+w\geq y_{1}\).
For \(\vartheta, \tau\in[0,1]\) and \(\rho\geq0\), we consider the following parameterized family operators:
Clearly, it follows from (C4) that A is a continuous operator with respect to the parameters ϑ, τ, ρ.
From this definition, a solution of (3.4) is a fixed point of \(A_{1,1,0}\), since \(\lambda a(k)f(k,v_{1})=-\Delta[p(k-1)\Delta y(k-1)]+q(k)y(k)\). On the other hand, a fixed point of \(A_{1,1,\rho}\) is a solution of the more general problem,
while a fixed point of \(A_{\vartheta,0,0}\) is a solution of
Our purpose is to find a nontrivial fixed point of \(A_{1,1,0}\). We need the following lemmas.
Lemma 3.4
Suppose (C1), (C2), and (C4) hold. Then if w is a solution of (3.4) (or of (3.6)), then \(w\geq0\).
Proof
Let w be a solution of (3.4) and \(w^{-}\) be a test function. Then
Consequently, this yields
Since \(y_{1}\) is a solution of (1.2), we conclude that
Furthermore, we obtain \(w^{-}\equiv0\). In the case that w is a solution of (3.6), by the same argument, we also have \(w\geq0\). □
Lemma 3.5
Suppose (C1)-(C4) hold. Then there exists a constant \(M_{3}>0\), which does not depend on ρ, such that \(A_{1,1,\rho}w=w\) implies \(\Vert w\Vert \leq M_{3}\) for any \(\rho\geq0\).
Proof
Suppose on the contrary that \(\{w_{n}\}\) is a sequence of fixed points of \(A_{1,1,\rho_{n}}\) with \(\Vert w_{n}\Vert \to\infty\) and arbitrary \(\rho_{n}\). Then
Since \(y_{1}+w_{n}\) satisfies (3.5), it is a concave and positive function. Then
Moreover, we get
From (C3) and (3.7), for any \(M_{0}>0\), one has \(\frac {f(s,y_{1}(s)+w_{n}^{+}(s))}{y_{1}(s)+w_{n}^{+}(s)}\geq M_{0}\) in \(I_{1}\) for n large enough, then
This leads to the contradiction
for any \(M_{0}>0\). So the conclusion is true. □
Lemma 3.6
Suppose (C1), (C2), and (C4) hold. Then, given any \(\tilde{R}>0\), there exists \(\tilde{\rho}(\tilde{R})>0\), which does not depend on \(\lambda>\lambda _{1,ah}\), such that \(A_{1,1,\rho}w=w\) has no solution in \(\overline{B_{\tilde{R}}}\) for any \(\rho>\tilde{\rho }(\tilde{R})\). In addition,
Proof
It is easy to see that
Set \(\Vert w\Vert \leq\tilde{R}\). Then \(\Vert y_{1}\Vert +\tilde{R}\geq y_{1}(k)+w(k)\), \(k\in I\), and so
This is a contradiction for large ρ, that is, no fixed point lies in \(\overline{B_{\tilde{R}}}\) and the degree in (3.8) must be zero.
Obviously, \(y_{1}\) depends on λ, and \(\Vert y_{1}\Vert \leq \Vert m\Vert \), thus \(\tilde{\rho}(\tilde{R})\) can be chosen uniformly with respect to \(\lambda>\lambda_{1,ah}\). □
Lemma 3.7
Suppose (C1)-(C4) hold. Set \(\tilde{R}\geq M_{3}+1\), where \(M_{3}\) is the constant from Lemma 3.5, then
Proof
By the a priori bound estimate in Lemma 3.5, there are no fixed points on \(\partial B_{\tilde{R}}\) for any \(\rho>0\). Then, it follows from (3.8) and the homotopy invariance of the degree that
□
Lemma 3.8
Suppose (C1), (C2), and (C4) hold. Then \(A_{\vartheta,0,0}w=w\) implies \(w=0\) for any \(\vartheta\in[0,1]\). Moreover, \(A_{0,0,0}=0\) implies that
Proof
Suppose that \(\vartheta>1\), otherwise \(w\equiv0\). Define
From (C4), it follows that \(\hat{b}(k)\leq\not\equiv\tilde{b}(k)\) in I and then by Lemma 2.3, we have
Since \(y_{1}>0\) satisfies the equation
and \(\tilde{b}(k)\geq0\), we deduce that \(\lambda=\lambda_{1, \tilde{b}}\).
On the other hand, if w is a nontrivial fixed point of \(A_{\vartheta,0,0}\), then it is a solution of (3.6). Subsequently, \(w \geq0\), and it is also a solution of
Hence, λ has to be an eigenvalue of (3.12), i.e. \(\lambda=\lambda_{j,\hat{b}}\) for some \(j\in\{-N,\ldots,-1,1,\ldots,N\}\).
However, since \(\lambda>0\), it cannot coincide with any \(\lambda_{j,\hat {b}}\) with \(j<0\), and because \(\lambda=\lambda_{1, \tilde{b}}<\lambda_{1,\hat{b}}\), it cannot coincide with any \(\lambda_{j,\hat{b}}\) with \(j>0\) neither. This concludes that \(w\equiv0\). □
Proposition 3.9
Suppose (C1)-(C4) hold. Then the problem (3.4) has a nontrivial positive solution w, that is, (1.2) has a second positive solution.
Proof
Obviously, if \(A_{1,\tau,0}w=w\) for some \(\tau>0\) and \(w\neq0\), then
This implies that τw is a solution of (3.4) and so it is positive by Lemma 3.4.
To this end, we suppose on the contrary that \(A_{1,\tau,0}w=w\) has no nontrivial solution for \(\tau>0\). This together with (3.11) implies that
contradicting equation (3.9). □
4 Asymptotic behavior of solutions for (1.2)
Proposition 4.1
Suppose (C1) and (C2) hold. If \(\{ y_{\lambda}\}\) is a family of positive solutions of (1.2), then \(\Vert y_{\lambda} \Vert \to\infty\) as \(\lambda\to0^{+}\).
Proof
Suppose by way of contradiction that there exist a sequence \(\lambda_{n}\to0^{+}\) and a constant \(\sigma>0\) such that \(\Vert y_{\lambda_{n}}\Vert \leq\sigma\). From the continuity of f and (C2), there exists a positive constant C such that \(f(k,y)\leq Cy\) for any \(0\leq y \leq\sigma\). Then,
Therefore,
However, since \(\lambda_{n}\to0^{+}\), this is impossible. □
Next, we study the asymptotic behavior of the positive solutions of (1.2) as \(\lambda\to\infty\), we need to prove a uniform estimate for the positive solutions of (1.2), for λ large enough.
Lemma 4.2
Suppose (C1)-(C3) hold. Then there exist constant \(\Lambda, \Gamma, M_{3}>0\) such that if \(y_{\lambda}\) is a positive solution of (1.2) with \(\lambda >\Lambda\), then
Proof
By Lemma 3.1, there exists \(R>0\) such that
This is a contradiction. Hence, we obtain \(\Vert y_{\lambda} \Vert \leq R+1:=M_{3}\) for all \(\lambda>1\).
On the other hand, from (C2), choose a suitably small \(\varepsilon>0\), there exists \(\Gamma>0\) such that \(f(k,y)>(h(k)-\varepsilon)y>0\), \(0< y<\Gamma\). Let \(y_{\lambda}\) be a positive solution of (1.2) with \(\Vert y_{\lambda} \Vert <\Gamma\). Using Lemma 2.2, it follows that
This is a contradiction if the term in brackets is greater than 1. Thus, for large enough \(\lambda>0\), it is necessary that \(\Vert y_{\lambda} \Vert \geq\Gamma\). □
Finally, we shall give the proof of Theorem 1.3, with the following result, which reveals the asymptotic behavior of the solutions of (1.2) as \(\lambda\to\infty\).
Proposition 4.3
Suppose (C1)-(C3) hold and \(f(k,y)>0\) with \(y\neq0\), \(y\neq m(k)\). If \(\{y_{\lambda}\}\) is a family of positive solutions of (1.2), then
Proof
Set \(k_{0}\in I\), and let a sequence \(\lambda_{n}\to \infty\) and \(\lambda_{n}>\Lambda\), where Λ is given by Lemma 4.2, and assume \(y_{n}\) are positive solutions of (1.2) with \(\lambda={\lambda_{n}}\). Suppose on the contrary that there exists \(\zeta>0\) such that \(y_{n}(k_{0})>m(k_{0})+\zeta\). Then we claim that there exists a subset \(I_{2}\subseteq I\) such that \(k_{0}\in I_{2} \) and
Subsequently, \(G(k_{0}, s)a(s)f(s,y(s))\) is a positive function for \((s, y)\in I_{2}\times[m(k_{0})+\zeta/4, M_{3}]\), where \(M_{3}\) is given by Lemma 4.2, and since this set is compact, it follows that there exists \(\chi>0\) such that \(G(k_{0}, s)a(s)f(s,y(s))\geq\chi>0\) in \(I_{2}\times[m(k_{0})+\zeta/4, M_{3}]\), so
However,
which is a contradiction since \(\lambda_{n}\to\infty\).
Now suppose that \(y_{n}(k_{1})< m(k_{1})-\delta\). Using again the same argument, there exists a subset \(I_{3}\subseteq I\) such that \(k_{1}\in I_{3} \) and
where Γ is given by Lemma 4.2. Then there exists \(\varpi>0\) such that \(G(k_{1}, s)a(s)f(s,y(s))\geq\varpi>0\) in \(I_{3}\times[c_{0}\Gamma, m(k_{1})-\frac{\delta}{4}]\), so
Thus,
This is a contradiction, since \(\lambda_{n}\to\infty\).
Consequently, \(\Vert y_{\lambda} \Vert \to \Vert m\Vert \), as \(\lambda\to \infty\). □
References
Agarwal, RP: Difference equations and inequalities. In: Theory, Methods, and Applications, 2nd edn. Monographs and Textbooks in Pure and Applied Mathematics, vol. 228. Dekker, New York (2000)
Anderson, DR, Rachunková, I, Tisdell, CC: Solvability of discrete Neumann boundary value problems. J. Math. Anal. Appl. 331, 736-741 (2007)
Cabada, A, Otero-Espinar, V: Fixed sign solutions of second-order difference equations with Neumann boundary conditions. Comput. Math. Appl. 45, 1125-1136 (2003)
Candito, P, D’Aguì, G: Three solutions for a discrete nonlinear Neumann problem involving the p-Laplacian. Adv. Differ. Equ. 2010, Article ID 862016 (2010)
Candito, P, D’Aguì, G: Constant-sign solutions for a nonlinear Neumann problem involving the discrete p-Laplacian. Opusc. Math. 34(4), 683-690 (2014)
Gao, C: On the linear and nonlinear discrete second-order Neumann boundary value problems. Appl. Math. Comput. 233, 62-71 (2014)
Ji, J, Yang, B: Eigenvalue comparisons for second order difference equations with Neumann boundary conditions. Linear Algebra Appl. 425, 171-183 (2007)
Kelley, WG, Peterson, AC: Difference equations. In: An Introduction with Applications, 2nd edn. Academic Press, San Diego (2001)
Lasota, A: A discrete boundary value problem. Ann. Pol. Math. 20, 183-190 (1968)
Lu, Y, Gao, C: Existence of positive solutions of second-order discrete Neumann boundary value problems with variable coefficients. J. East China Norm. Univ. Natur. Sci. Ed. 5, 66-72 (2011) (in Chinese)
Ma, R: Bifurcation from infinity and multiple solutions for some discrete Sturm-Liouville problems. Comput. Math. Appl. 54, 535-543 (2007)
Ma, R, Lu, Y, Gao, C: Spectrum of discrete second-order Neumann boundary value problems with sign-changing weight. Abstr. Appl. Anal. 2013, Article ID 280508 (2013)
Ambrosetti, A, Hess, P: Positive solutions of asymptotically linear elliptic eigenvalue problems. J. Math. Anal. Appl. 73, 411-422 (1980)
Iturriaga, L, Massa, E, Sánchez, J, Ubilla, P: Positive solutions for an elliptic equation in an annulus with a superlinear nonlinearity with zeros. Math. Nachr. 287, 1131-1141 (2014)
Iturriaga, L, Massa, E, Sánchez, J, Ubilla, P: Positive solutions of the p-Laplacian involving a superlinear nonlinearity with zeros. J. Differ. Equ. 248, 309-327 (2010)
Deimling, K: Nonlinear Functional Analysis. Springer, Berlin (1988)
Acknowledgements
The author is very grateful to the anonymous referees for their valuable suggestions. This work was supported by the NSFC (No. 11361054, No. 11401479), Gansu provincial National Science Foundation of China (No. 1208RJZA258), SRFDP (No. 20126203110004).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author confirms that she has read SpringerOpen’s guidance on competing interests and has included these in the manuscript. The author also declares that there is no conflict of interests regarding the publication of this paper.
Author’s contributions
YLu completed the main study, carried out the results of this article and drafted the manuscript and checked the proofs and verified the calculation.
Rights and permissions
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.
About this article
Cite this article
Lu, Y. Global structure of positive solutions for second-order discrete Neumann problems involving a superlinear nonlinearity with zeros. Adv Differ Equ 2016, 99 (2016). https://doi.org/10.1186/s13662-016-0791-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0791-9