Abstract
Our concern is the second order difference equation \(\Delta^{2} u(t-1)+g(u(t))=h(t)\) subject to the Neumann boundary conditions \(\Delta u(0)=\Delta u(T)=0\). Under convex/concave conditions imposed on g, some results on the exact numbers of solutions and positive solutions are established based on the discussions to the maximum and minimum numbers of (positive) solutions.
Similar content being viewed by others
1 Introduction
For \(a, b\in\mathbf{Z}\) with \(a< b\), define \([a,b]_{\mathbf{Z}}=\{a, a+1, a+2,\ldots,b-1, b\}\). Consider the following Neumann boundary value problem:
where \(h:[1,T]_{\mathbf{Z}}\to\mathbf{R}\), \(\Delta u(t)=u(t+1)-u(t)\) and \(T>3\) is a given positive integer. Our purpose is to find the exact number of solutions and positive solutions of (1.1).
In these last years, the existence and multiplicity of solutions for nonlinear discrete problems subject to various boundary value conditions have been widely studied by using different abstract methods such as critical point theory, fixed point theorems, lower and upper solutions method, and Brower degree (see, e.g., [1–17] and the references therein). All these results are about the unique solution, or the minimum amount of solutions, and positive solutions. To the best of our knowledge, there is no report on the exact number of solutions for discrete boundary value problems.
For BVPs of differential equations, there are many papers concerned with the bifurcation values and exact multiplicities of solutions and positive solutions by bifurcation theory, quadrature method, time-map analysis and otherwise. See [18–29] and the references therein. For difference equations, however, the loss of continuity puts some methods used well in differential equations, such as the quadrature method and its time-map analysis, out of action. Therefore, it is very meaningful to study the exact number of solutions for discrete boundary value problems. In this paper, based on the discussions to the maximum and minimum numbers of (positive) solutions, we establish some results on the exact number of (positive) solutions of (1.1) under convex/concave conditions.
The remaining part of this paper is organized as follows. In Section 2, under the Neumann boundary conditions \(\Delta u(0)=\Delta u(T)=0\), we show the Green’s functions of the linear difference operators \(-\Delta^{2} u(t-1)+L u(t)\) and \(\Delta^{2} u(t-1)+K u(t)\), where L and K are two positive constants with \(K<4\sin^{2}\frac{\pi}{2T}\). Then, in Section 3, we make some estimates on the maximum number of solutions of (1.1), and, in Section 4, we establish some results on the minimum numbers of solutions and positive solutions of (1.1). Finally, we give the results on the exact multiplicities of solutions and positive solutions of (1.1) in Section 5.
2 Green’s functions
In this section, we show the Green’s functions of the linear difference operators \(-\Delta^{2} u(t-1)+L u(t)\) and \(\Delta^{2} u(t-1)+K u(t)\) satisfying the Neumann boundary conditions \(\Delta u(0)=\Delta u(T)=0\).
Let \(0< K<4\sin^{2}\frac{\pi}{2T}\). Consider the Neumann boundary value problem
It is easy to see that the corresponding homogeneous equation \(\Delta^{2} u(t-1)+K u(t)=0\) has two independent real solutions \(\cos\theta t\) and \(\sin\theta t\), where θ is defined by
Lemma 2.1
Problem (2.1) has a unique solution
where
In addition, if \(0< K<4\sin^{2}\frac{\pi}{4T}\), then \(G_{1}(t,s)>0\) for all \((t,s)\in[0,T+1]_{\mathbf{Z}}\times[1,T]_{\mathbf{Z}}\).
Proof
First, we show that u given by (2.3) solves (2.1). By \(G_{1}(0,s)=G_{1}(1,s)\) we know that \(u(0)=u(1)\), i.e., \(\Delta u(0)=0\). Similarly, \(G_{1}(T,s)=G_{1}(T+1,s)\) implies that \(\Delta u(T)=0\). Now we show that u satisfies the equation \(\Delta^{2} u(t-1)+K u(t)=h(t)\), i.e., \(u(t+1)+(K-2)u(t)+u(t-1)=h(t)\), \(t\in[1,T]_{\mathbf{Z}}\). Since
we just need to verify that \(I_{1}\equiv0\), \(I_{2}\equiv0\), and \(I_{3}\equiv1\). In fact, by the fact that \(\cos\theta t\) solves the homogeneous equation \(\Delta^{2} u(t-1)+K u(t)=0\), we know that, for all \(t\in[1,T]_{\mathbf{Z}}\) and \(1\leq s \leq t-1\),
This implies \(I_{1}\equiv0\). Similarly \(I_{2}\equiv0\). Finally,
holds for all \(t\in[1,T]_{\mathbf{Z}}\), which implies \(I_{3}\equiv1\).
Since the corresponding homogeneous problem has only the trivial zero solution, problem (2.1) has a unique solution u, which is given by (2.1). Clearly, if \(0< K<4\sin^{2}\frac{\pi}{4T}\), then \(0<\theta<\frac{\pi}{2T}\) and hence \(G_{1}(t,s)>0\) for all \((t,s)\in[0,T+1]_{\mathbf{Z}}\times[1,T]_{\mathbf{Z}}\). The proof is complete. □
Let \(L>0\). Consider the Neumann boundary value problem
For convenience, let
Lemma 2.2
Problem (2.4) has a unique solution
where
and \(G_{2}(t,s)>0\) for all \((t,s)\in[0,T+1]_{\mathbf{Z}}\times [1,T]_{\mathbf{Z}}\).
Proof
First, we show that u given by (2.5) solves (2.4). By \(G_{2}(0,s)=G_{2}(1,s)\) we know \(\Delta u(0)=0\) and by \(G_{2}(T,s)=G_{2}(T+1,s)\), \(\Delta u(T)=0\). Now we show that u satisfies the equation \(-\Delta^{2} u(t-1)+L u(t)=h(t)\), i.e., \(u(t+1)-(L+2)u(t)+u(t-1)=-h(t)\), \(t\in[1,T]_{\mathbf{Z}}\). Since
we just need to verify that \(I_{1}\equiv0\), \(I_{2}\equiv0\), and \(I_{3}\equiv -1\). In fact, by the fact that A is a real root of the equation \(\ell(\lambda ):=\lambda^{2}-(L+2)\lambda+1=0\), we know that, for all \(t\in[1,T]_{\mathbf{Z}}\) and \(1\leq s \leq t-1\),
holds, which implies \(I_{1}\equiv0\). Similarly \(I_{2}\equiv0\). For \(I_{3}\), we have, for all \(t\in[1,T]_{\mathbf{Z}}\),
Thus, \(I_{3}\equiv-1\).
It is easy to check that the corresponding homogeneous problem has only the trivial zero solution. So problem (2.4) has a unique solution u which is given by (2.5). Finally, since \(A>1\), we have, for all \((t,s)\in[0,T+1]_{\mathbf{Z}}\times[1,T]_{\mathbf{Z}}\), \(G_{2}(t,s)>0\). The proof is complete. □
3 Estimates on the maximum number of solutions
In this section, we make estimations on the maximum number of solutions of problem (1.1). First, we prove some lemmas for later use. The first lemma is the discrete Sobolev inequality.
Lemma 3.1
Assume \(u:[0,T+1]_{\mathbf{Z}}\to\mathbf{R}\) satisfies \(\Delta u(T)=0\) and there exists \(t_{0}\in[2,T-1]\) such that \(u(t_{0})=0\). Then
where \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\).
Proof
For \(t>t_{0}\), since \(u(t)=\sum_{\tau=t_{0}}^{t-1}\Delta u(\tau )+u(t_{0})=\sum_{\tau=t_{0}}^{t-1}\Delta u(\tau)\), we have by the Hölder inequality
which implies that
by the boundary condition \(\Delta u(T)=0\). On the other hand, for \(t< t_{0}\), since \(u(t)=u(t_{0})-\sum_{\tau=t}^{t_{0}-1}\Delta u(\tau)=-\sum_{\tau =t}^{t_{0}-1}\Delta u(\tau)\), we have
which implies that
The proof is complete. □
Definition 3.1
We say that \(u:[0,T+1]_{\mathbf{Z}}\to\mathbf{R}\) has a generalized zero at \(t_{0}\in[0,T+1]_{\mathbf{Z}}\) provided that \(u(t_{0})=0\) if \(t_{0}=0\) and if \(t_{0}\in[1,T+1]_{\mathbf{Z}}\) either \(u(t_{0})=0\) or \(u(t_{0}-1)u(t_{0})<0\).
Lemma 3.2
Let \(p:[1,T]_{\mathbf{Z}}\to\mathbf{R}\) and \(p(t)\not\equiv0\) on \([1,T]_{\mathbf{Z}}\). Consider the following problem:
If \(p(t)<\frac{4}{T^{2}-1}\) for \(t\in[1,T]_{\mathbf{Z}}\), then every nontrivial solution \(u(t)\) of (3.1) has no generalized zero on \([0,T+1]_{\mathbf{Z}}\).
Proof
Let u be a nontrivial solution \(u(t)\) of (3.1). By the boundary conditions \(\Delta u(0)=\Delta u(T)=0\), we know that \(u(0)=u(1)\neq0\) and \(u(T)=u(T+1)\neq0\). Otherwise, \(u\equiv0\) on \([0,T+1]_{\mathbf{Z}}\). Suppose that there exists \(t_{0}\in[2,T-1]_{\mathbf{Z}}\) such that \(u(t_{0})=0\). Multiplying the equation in (3.1) with \(u(t)\) and summing both sides from 1 to \(t_{0}\), we have
where \(p_{+}\) is the positive part of p. Similarly, summing both sides from \(t_{0}+1\) to T, we have
Thus, by Lemma 3.1, we have
It follows that
which is a contradiction with the assumption \(p(t)<\frac{4}{T^{2}-1}\) for \(t\in[1,T]_{\mathbf{Z}}\).
Note that the equation \(\Delta^{2} u(t-1)+p(t)u(t)=0\) is disconjugate on \(\in[0,T+1]_{\mathbf{Z}}\) since \(p(t)<\frac{4}{T^{2}-1}\) for \(t\in[1,T]_{\mathbf{Z}}\) (see Corollary 6.9 in [30]). It implies that the nontrivial u has at most one generalized zero on \(\in [0,T+1]_{\mathbf{Z}}\). Set \(z(t)=\frac{u(t+1)}{u(t)}\). Then \(z(t)\) satisfies
If there exists \(t_{0}\in[1,T]_{\mathbf{Z}}\) such that \(z(t_{0})<0\), then the boundary conditions \(z(0)=z(T)=1\) implies that \(z(t)\) has at least two generalized zeros. Thus, \(u(t)\) has at least two generalized zeros, which contradicts with that \(u(t)\) is disconjugate. The proof is complete. □
Lemma 3.3
Let \(p_{1}, p_{2}: [1,T]_{\mathbf{Z}}\to\mathbf{R}\) satisfy the conditions of Lemma 3.2. Assume \(p_{1}(t)\leq p_{2}(t)\) on \([1,T]_{\mathbf{Z}}\) and there exists \(t_{0}\in[1,T]_{\mathbf{Z}}\) such that \(p_{1}(t_{0})< p_{2}(t_{0})\). Then at least one of the problems
has only the trivial solution.
Proof
By way of contradiction, assume that \(u_{1}\) and \(u_{2}\) are the nontrivial solutions of problems (3.2) corresponding to \(p_{1}\) and \(p_{2}\), respectively. By Lemma 3.2, we know that \(u_{1}(t)\) and \(u_{2}(t)\) both have no generalized zero on \(t\in [0,T+1]_{\mathbf{Z}}\). It follows by \(p_{1}(t)-p_{2}(t)\leq0\) and \(p_{1}(t)-p_{2}(t)\not\equiv0\), \(t\in[1,T]_{\mathbf{Z}}\), that
On the other hand, by
we have
Summing both sides from 1 to T, we get
which is a contradiction with (3.3). The proof is complete. □
Lemma 3.4
Assume \(g\in C^{1}(\mathbf{R})\) and \(g'(x)<\frac{4}{T^{2}-1}\) for all \(x\in\mathbf{R}\). Let \(u_{1}\) and \(u_{2}\) are two distinct solutions of (1.1), then \(u_{1}(t)-u_{2}(t)\) has no generalized zero on \([0,T+1]_{\mathbf{Z}}\) and hence \(u_{1}\) and \(u_{2}\) are strictly ordered.
Proof
Set \(v=u_{1}-u_{2}\). Then v is a nontrivial solution of (3.1) with
Since \(g'(x)<\frac{4}{T^{2}-1}\), we know \(p(t)<\frac{4}{T^{2}-1}\) for all \(t\in[1,T]_{\mathbf{Z}}\). Thus, Lemma 3.2 implies that \(v(t)\) has no generalized zero on \([0,T+1]_{\mathbf{Z}}\). Therefore, \(u_{1}\) and \(u_{2}\) are strictly ordered. The proof is complete. □
Now, we show our main results of this section. First, if g is strictly convex on R, we have the following result.
Theorem 3.5
Assume \(g\in C^{1}(\mathbf{R})\), \(g'(x)<\frac{4}{T^{2}-1}\) for all \(x\in \mathbf{R}\) and \(g'\) is strictly increasing. Then problem (1.1) has at most two solutions.
Proof
Suppose that problem (1.1) has three solutions \(u_{1}\), \(u_{2}\), and \(u_{3}\). By Lemma 3.4, we assume \(u_{1}(t)< u_{2}(t)< u_{3}(t)\), \(t\in[0,T+1]_{\mathbf{Z}}\). Let \(v_{1}=u_{2}-u_{1}\), \(v_{2}=u_{3}-u_{2}\), then \(v_{1}\) and \(v_{2}\) solve problem (3.1) with, respectively,
and
Since \(g'\) is strictly increasing, we have \(p_{1}(t)< p_{2}(t)<\frac {4}{T^{2}-1}\). By Lemma 3.3, either \(v_{1}(t)\equiv0\) or \(v_{2}(t)\equiv0\), which is a contradiction. The proof is complete. □
Similarly, if g is strictly concave on R, we have the following result.
Theorem 3.6
Assume \(g\in C^{1}(\mathbf{R})\), \(g'(x)<\frac{4}{T^{2}-1}\) for all \(x\in \mathbf{R}\) and \(g'\) is strictly decreasing. Then problem (1.1) has at most two solutions.
4 On the minimum number of solutions and positive solutions
In this section, we consider the minimum numbers of solution and positive solutions of (1.1). First, we consider the nonexistence, existence and multiplicity of solutions of (1.1) when \(g\in C^{1}(\mathbf{R})\) and g has a unique global minimum value on R.
Theorem 4.1
Let \(g\in C^{1}(\mathbf{R})\), \(\lim_{x\to-\infty}g(x)=a\), \(\lim_{x\to+\infty}g(x)=b\), and \(\lambda_{*}:=g(x_{0})=\min_{x\in\mathbf{R}}g(x)\). Here, a, b may be +∞. Assume \(g(x)>\lambda_{*}\) for all \(x\in\mathbf{R}\setminus\{x_{0}\}\) and \(\lambda _{*}<\min\{a,b\}\).
-
(1)
If one of the following conditions is satisfied, then problem (1.1) has no solution:
-
(1-i)
\(h(t)\leq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(1-ii)
\(\max\{a,b\}<+\infty\), \(h(t)\geq\max\{a,b\}\) for all \(t\in [1,T]_{\mathbf{Z}}\) and \(\max\{a,b\}>g(x)\) for all \(x\in\mathbf{R}\).
-
(1-i)
-
(2)
If \(h(t)\equiv\lambda_{*}\) on \([1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one solution.
-
(3)
If \(\lambda_{*}\leq h(t)<\min\{a, b\}\), \(h(t)\not\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \([x_{0}, \infty)\), then problem (1.1) has at least two solutions.
-
(4)
If one of the following conditions is satisfied, then problem (1.1) has at least one solution:
-
(4-i)
\(a\neq b\), \(\min\{a,b\}<+\infty\) and \(h(t)\equiv\min\{a,b\}\), \(t\in [1,T]_{\mathbf{Z}}\);
-
(4-ii)
\(b< h(t)< a\), \(t\in[1,T]_{\mathbf{Z}}\);
-
(4-iii)
\(a< h(t)< b\), \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi }{4T}\) on \([x_{0}, \infty)\).
-
(4-i)
Proof
(1-i) Since \(h(t)\leq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), we have \(\sum_{t=1}^{T} h(t)< T\lambda_{*}\). Assume problem (1.1) has a solution u. Since \(g(u(t))\geq\lambda_{*}\), \(t\in[1,T]_{\mathbf{Z}}\), \(\sum_{t=1}^{T} g(u(t))\geq T\lambda_{*}\). Summing both sides of the equation \(\Delta^{2} u(t-1)+g(u(t))=h(t)\) from 1 to T, we have by the boundary conditions \(\Delta u(0)=\Delta u(T)=0\),
which is a contradiction.
(1-ii) Suppose (1.1) has a solution u. Then \(g(u(t))<\max\{ a,b\}\) for all \(t\in[1,T]_{\mathbf{Z}}\), which implies that \(\Delta^{2} u(t-1)=h(t)-g(u(t))> 0\) for \(t\in [1,T]_{\mathbf{Z}}\). Thus, we have the contradiction that \(\Delta u(T)>\Delta u(0)\).
(2) It is easy to see that \(u(t)\equiv x_{0}\) is a solution of (1.1). Assume that v is also a solution of (1.1). Since \(g(v(t))\geq\lambda_{*}\), \(t\in[1,T]_{\mathbf{Z}}\), we have \(\Delta^{2} v(t-1)\leq0\), \(t\in[1,T]_{\mathbf{Z}}\). It follows by the boundary conditions \(\Delta v(0)=\Delta v(T)=0\) that \(\Delta v(t)\equiv0\), \(t\in[0,T]_{\mathbf{Z}}\). Thus, \(g(v(t))\equiv g(x_{0})\). Therefore, \(v(t)\equiv x_{0}\), \(t\in [0,T+1]_{\mathbf{Z}}\), since \(g(x)>g(x_{0})\) for all \(x\in\mathbf{R}\setminus\{x_{0}\}\).
(3) Without loss of generality, we assume \(b\leq a\). Since \(\lambda_{*}\leq h(t)< b\), \(h(t)\not\equiv\lambda_{*}\), \(t\in [1,T]_{\mathbf{Z}}\), we see by \(\lim_{x\to-\infty}g(x)=a\) and \(\lim_{x\to+\infty }g(x)=b\) that there exist \(c_{1}< x_{0}< c_{2}\) such that
Set \(u_{1}(t)\equiv c_{1}\), \(u_{2}(t)\equiv x_{0}\), \(u_{3}(t)\equiv c_{2}\), \(t\in [0,T+1]_{\mathbf{Z}} \). We prove that problem (1.1) has at least two solutions \(u_{1}^{*}\), \(u_{2}^{*}\): \(u_{1}^{*}\in[u_{1}, u_{2}]\), \(u_{2}^{*}\in[u_{2}, u_{3}]\). Here, \([u_{1}, u_{2}]\) and \([u_{2}, u_{3}]\) denote order intervals.
First, we show that \(u_{2}(t)\) is not a solution of (1.1). In fact, if it is not true, then summing both sides of the equation of (1.1) yields a contradiction:
Second, we prove that (1.1) has at least one solution \(u_{1}^{*}\in[u_{1}, u_{2}]\). Let \(E=\{u:[0,T+1]_{\mathbf{Z}}\to\mathbf{R}\} \) with the norm \(\|u\|=\max_{t\in[0,T+1]_{\mathbf{Z}}}|u(t)| \). Since \(g'\) is continuous on the bounded closed interval \([c_{1}, x_{0}]\), there exists \(L>0\) such that \(g'(x)>-L\) for \(x\in[c_{1}, x_{0}]\). Consider the following problem:
By Lemma 2.2, (4.2) is equivalent to \(u(t)=Su(t)\). Here, \(S:E\to E\) is defined by
It is easy to see that S is continuous. Since \(u_{1}(t)\) satisfies
we see by (4.1) and the positivity of \(G_{2}(t,s)\) that
which shows that \(u_{1}\) is a lower solution of the operator S. Similarly, one can check that \(Su_{2}(t)\leq u_{2}(t)\) and hence \(u_{2}\) is an upper solution of S. On the other hand, S is an increasing operator defined on \([u_{1}, u_{2}]\). In fact, for \(v_{1}, v_{2}\in[u_{1}, u_{2}]\) with \(v_{1}\leq v_{2}\), we have
by \(g'(x)>-L\) for \(x\in[c_{1}, x_{0}]\). Therefore, S has at least one solution \(u_{1}^{*}\in[u_{1}, u_{2}]\) by the fixed point theorem of increasing operator in ordered Banach spaces due to Amann [31]. So, (4.2), and hence (1.1), has at least one solution \(u_{1}^{*}\in[u_{1}, u_{2}]\).
Now, we prove that (1.1) has at least one solution \(u_{2}^{*}\in[u_{2}, u_{3}]\). Since \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for \(x\in [x_{0},+\infty)\), there exists \(K>0\) such that
Consider the following problem:
By Lemma 2.1, \(G_{1}(t,s)>0\), and (4.5) is equivalent to \(u(t)=Qu(t)\). Here, \(Q:E\to E\) is defined by
Similar to the discussion of the operator S, Q has at least one solution \(u_{2}^{*}\in[u_{2}, u_{3}]\), which is a solution of (1.1). Therefore, problem (1.1) has at least two solutions.
(4-i) Without loss of generality, we assume \(b< a\). Since \(h(t)\equiv b\), \(t\in [1,T]_{\mathbf{Z}}\), there exists \(c_{1}< x_{0}\) such that \(g(c_{1})=b\). Obviously, \(u(t)\equiv c_{1}\) is a solution of (1.1).
(4-ii) Since \(b< h(t)< a\), \(t\in [1,T]_{\mathbf{Z}}\), there exist \(c_{1}< c_{2}< x_{0}\) such that \(g(c_{1})>h(t)\), \(g(c_{2})< h(t)\), \(t\in [1,T]_{\mathbf{Z}}\). By the continuity of \(g'\), there exists \(L>0\) such that \(g'(x)>-L\), \(x\in[c_{1}, c_{2}]\). Let \(u_{1}(t)\equiv c_{1}\), \(u_{2}(t)\equiv c_{2}\). Considering the operator S defined as (4.3) on \([u_{1},u_{2}]\), one can see that S has a fixed point \(u^{*}\in[u_{1}, u_{2}]\), which is a solution of (1.1).
(4-iii) Since \(a< h(t)< b\), \(t\in [1,T]_{\mathbf{Z}}\), there exist \(x_{0}< c_{1}< c_{2}\) such that \(g(c_{1})< h(t)\), \(g(c_{2})>h(t)\), \(t\in [1,T]_{\mathbf{Z}}\). By \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for \(x\geq x_{0}\), there exists \(K>0\) such that \(g'(x)< K<4\sin^{2} \frac{\pi}{4T}\), \(x\in[c_{1},c_{2}]\). Let \(u_{1}(t)\equiv c_{1}\), \(u_{2}(t)\equiv c_{2}\). Considering the operator Q defined as (4.5) on \([u_{1},u_{2}]\), one can see that Q has a fixed point \(u^{*}\in[u_{1}, u_{2}]\), which is a solution of (1.1).
The proof is complete. □
Similarly, if \(g\in C^{1}(\mathbf{R})\) and g has a unique global maximum value on R, we have the following result.
Theorem 4.2
Let \(g\in C^{1}(\mathbf{R})\), \(\lim_{x\to-\infty}g(x)=a\), \(\lim_{x\to+\infty}g(x)=b\), and \(\lambda^{*}:=g(x_{0})=\max_{x\in\mathbf{R}}g(x)\). Here, a, b may be −∞. Assume \(g(x)<\lambda^{*}\) for all \(x\in\mathbf{R}\setminus\{x_{0}\}\) and \(\lambda ^{*}>\max\{a,b\}\).
-
(1)
If one of the following conditions is satisfied, then problem (1.1) has no solution:
-
(1-i)
\(h(t)\geq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(1-ii)
\(\min\{a,b\}>-\infty\), \(h(t)\leq\min\{a,b\}\) for \(t\in[1,T]_{\mathbf {Z}}\) and \(\min\{a,b\}< g(x)\) for \(x\in\mathbf{R}\).
-
(1-i)
-
(2)
If \(h(t)\equiv\lambda^{*}\) on \([1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one solution.
-
(3)
If \(\max\{a,b\}< h(t)\leq\lambda^{*}\), \(h(t)\not\equiv\lambda^{*}\) for \(t\in[1,T]_{\mathbf{Z}}\); and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \((-\infty,x_{0}]\), then problem (1.1) has at least two solutions.
-
(4)
If one of the following conditions is satisfied, then problem (1.1) has at least one solution:
-
(4-i)
\(a\neq b\), \(\max\{a,b\}>-\infty\) and \(h(t)\equiv\max\{a,b\}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(4-ii)
\(a< h(t)< b\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi }{4T}\) on \((-\infty,x_{0}]\);
-
(4-iii)
\(b< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(4-i)
Now, we consider the positive solutions of (1.1). Let \(\langle0,+\infty)\) denote \((0,+\infty)\) or \([0,\infty)\). First, if \(g\in C^{1}(\langle0,+\infty), \mathbf{R})\) and g has a unique global minimum value on \(\langle0,+\infty)\), we have the following result.
Theorem 4.3
Let \(g\in C^{1}(\langle0,+\infty), \mathbf{R})\), \(\lim_{x\to 0^{+}}g(x)=a\), \(\lim_{x\to+\infty}g(x)=b\). Here, a, b may be +∞. Assume that there exists \(x_{0}>0\) such that
and \(g(x)>\lambda_{*}\) for all \(x\in\langle0,+\infty)\setminus\{x_{0}\}\), \(\lambda_{*}<\min\{a,b\}\).
(I) Suppose \(\lambda_{*}\geq0\).
-
(1)
If one of the following conditions is satisfied, then problem (1.1) has no positive solution:
-
(1-i)
\(h(t)\leq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(1-ii)
\(\max\{a,b\}<+\infty\), \(h(t)\geq\max\{a,b\}\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g(x)<\max\{a,b\}\) for all \(x\in(0,+\infty)\).
-
(1-i)
-
(2)
If \(h(t)\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one positive solution.
-
(3)
If \(\lambda_{*}\leq h(t)< \min\{a,b\}\), \(h(t)\not\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \([x_{0}, +\infty)\), then problem (1.1) has at least two positive solutions.
-
(4)
If one of the following conditions is satisfied, then problem (1.1) has at least one positive solution:
-
(4-i)
\(a\neq b\), \(\min\{a,b\}<+\infty\), \(h(t)\equiv\min\{a,b\}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(4-ii)
\(b< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(4-iii)
\(a< h(t)< b\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi }{4T}\) on \([x_{0}, \infty)\).
-
(4-i)
(II) Suppose \(\lambda_{*}< 0\).
-
(5)
If one of the following conditions is satisfied, then problem (1.1) has no positive solution:
-
(5-i)
\(h(t)\leq\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(5-ii)
\(\max\{a,b\}<+\infty\) and \(h(t)\geq\max\{a,b\}\) for \(t\in [1,T]_{\mathbf{Z}}\), and \(g(x)<\max\{a,b\}\) for all \(x\in( 0,+\infty)\).
-
(5-i)
-
(6)
If one of the following conditions is satisfied, then problem (1.1) has at least two positive solutions:
-
(6-i)
\(a>0\), \(b>0\), \(0< h(t)< \min\{a,b\}\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \([x_{0}, \infty)\);
-
(6-ii)
\(a>0\), \(b>0\), and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(6-i)
-
(7)
If one of the following conditions is satisfied, then problem (1.1) has at least one positive solution:
-
(7-i)
\(0<\min\{a,b\}<+\infty\), \(a\neq b\), and \(h(t)\equiv\min\{a,b\}\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(7-ii)
\(0< b< a\) and \(b< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(7-iii)
\(0< a< b\), \(a< h(t)< b\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \([x_{0}, \infty)\);
-
(7-iv)
\(a\leq0\), \(b>0\), and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(7-v)
\(a\leq0\), \(b>0\), \(0< h(t)< b\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \([x_{0}, \infty)\);
-
(7-vi)
\(a>0\), \(b<0\), and \(0< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(7-i)
Proof
We only show the proofs of (3), (6), and (7-iv)-(7-vi).
(3) Without loss of generality, we assume \(b\leq a\). By the proof of Theorem 4.1(3), we can choose \(0< c_{1}< x_{0}< c_{2}\) and \(L>0\), \(K>0\), such that S defined as (4.3) has a fixed point \(u_{1}^{*}\) satisfying \(c_{1}\leq u_{1}^{*}(t)\leq x_{0}\) and Q defined as (4.5) has a fixed point \(u_{2}^{*}\) satisfying \(x_{0}\leq u_{2}^{*}(t)\leq c_{2}\). Clearly, \(u_{1}^{*}(t)\) and \(u_{2}^{*}(t)\) are two positive solutions of (1.1).
(6) By \(a>0\), \(b>0\), and \(\lambda_{*}<0\), there exist \(x_{1}\) and \(x_{2}\) satisfying \(0< x_{1}< x_{0}< x_{2}\) such that \(g(x_{1})=g(x_{2})=0\). Therefore, if \(h(t)\equiv0\) on \([1,T]_{\mathbf{Z}}\), then \(u(t)\equiv x_{1}\) and \(u(t)\equiv x_{2}\) are two positive solutions of (1.1). If \(0< h(t)<\min\{a,b\}\), we know that there exist \(0< c_{1}< c_{2}< x_{1}\) and \(x_{2}< c_{3}< c_{4}\) such that
Let \(u_{i}(t)\equiv c_{i}\) (\(i=1,2,3,4\)). Similar to the proof of Theorem 4.1(3), consider the operator S defined as (4.3) on \([u_{1}, u_{2}]\) and the operator Q defined as (4.5) on \([u_{3}, u_{4}]\), one can find that S has a fixed point in \([u_{1}, u_{2}]\) and Q has a fixed point in \([u_{3}, u_{4}]\).
(7-iv) By \(a\leq0\), \(b>0\), then there exists \(x_{1}>x_{0}\) by \(\lambda_{*}<0\) such that \(g(x_{1})=0\). It is easy to see that \(u(t)\equiv x_{1}\) is a positive solution of (1.1) since \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
(7-v) By \(a\leq0\), \(b>0\), there exists \(x_{1}>0\) such that \(g(x_{1})=0\). Thus, \(0< h(t)< b\), \(t\in[1,T]_{\mathbf{Z}}\), implies that there exist \(c_{2}>c_{1}>x_{1}\) such that \(g(c_{1})< h(t)\) and \(g(c_{2})>h(t)\) for \(t\in[1,T]_{\mathbf{Z}}\). Similar to the proof of Theorem 4.1(3), Q defined on \([u_{1}, u_{2}]\) has a fixed point in \([u_{1}, u_{2}]\), where \(u_{1}(t)\equiv c_{1}\), \(u_{2}(t)\equiv c_{2}\), \(t\in[1,T]_{\mathbf{Z}}\).
(7-vi) By \(a>0\), \(b<0\), there exists \(x_{1}>0\) such that \(g(x_{1})=0\). Since \(0< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\), there exist \(0< c_{1}< c_{2}< x_{1}\) such that \(g(c_{1})>h(t)\) and \(g(c_{2})< h(t)\) for \(t\in[1,T]_{\mathbf{Z}}\). Similar to the proof of Theorem 4.1(3), S defined on \([u_{1}, u_{2}]\) has a fixed point in \([u_{1}, u_{2}]\), where \(u_{1}(t)\equiv c_{1}\), \(u_{2}(t)\equiv c_{2}\), \(t\in[1,T]_{\mathbf{Z}}\).
The proof is complete. □
Finally, if \(g\in C^{1}(\langle0,+\infty), \mathbf{R})\) and g has a unique global maximum value on \(\langle0,+\infty)\), we have the following result.
Theorem 4.4
Let \(g\in C^{1}(\langle0,+\infty), \mathbf{R})\), \(\lim_{x\to 0^{+}}g(x)=a\), \(\lim_{x\to+\infty}g(x)=b\). Here, a, b may be −∞. Assume that there exists \(x_{0}>0\) such that
and \(g(x)<\lambda^{*}\) for all \(x\in\langle0,+\infty)\setminus\{x_{0}\}\), \(\lambda^{*}>0\), and \(\lambda^{*}>\min\{a,b\}\).
-
(1)
If one of the following conditions is satisfied, then problem (1.1) has no positive solution:
-
(1-i)
\(h(t)\geq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(1-ii)
\(\min\{a,b\}\geq0\), \(h(t)\leq\min\{a,b\}\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g(x)>\min\{a,b\}\) for all \(x\in(0,+\infty)\).
-
(1-i)
-
(2)
If \(h(t)\equiv\lambda^{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one positive solution.
-
(3)
If one of the following conditions is satisfied, then problem (1.1) has at least two positive solutions:
-
(3-i)
\(\max\{a,b,0\}< h(t)\leq\lambda^{*}\), \(h(t)\not\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \((0, x_{0})\);
-
(3-ii)
\(a<0\), \(b<0\), and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(3-i)
-
(4)
If one of the following conditions is satisfied, then problem (1.1) has at least one positive solution:
-
(4-i)
\(\max\{a,b\}>0\), \(a\neq b\), and \(h(t)\equiv\max\{a,b\}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(4-ii)
\(a>0\), \(b<0\), and \(0< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(4-iii)
\(a<0\), \(b>0\), \(0< h(t)< b\) for \(t\in[1,T]_{\mathbf{Z}}\), and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) on \((0, x_{0})\);
-
(4-iv)
either \(a\geq0\), \(b<0\) or \(a<0\), \(b\geq0\), and \(h(t)\equiv0\) for \(t\in [1,T]_{\mathbf{Z}}\).
-
(4-i)
5 Exact numbers of solutions and positive solutions
In this section, we establish the results of exact multiplicities of solutions and positive solutions for problem (1.1). First, we consider the exact number of solutions of (1.1).
Note that \(4\sin^{2} \frac{\pi}{4T}<\frac{4}{T^{2}-1}\) for \(T>3\).
If \(g\in C^{1}(\mathbf{R})\) and g is strictly convex on R, we have the following result by Theorem 3.5 and Theorem 4.1.
Theorem 5.1
Assume \(g\in C^{1}(\mathbf{R})\), \(g'(x)\) is strictly increasing and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for all \(x\in\mathbf{R}\). Let
-
(1)
If \(h(t)\leq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has no solution.
-
(2)
If \(h(t)\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one solution.
-
(3)
If \(h(t)\geq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly two solutions.
If \(g\in C^{1}(\mathbf{R})\) and g is strictly concave on R, then, by Theorem 3.6 and Theorem 4.2, we have the following result.
Theorem 5.2
Assume \(g\in C^{1}(\mathbf{R})\), \(g'(x)\) is strictly decreasing, and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for all \(x\in\mathbf{R}\). Let
-
(1)
If \(h(t)\geq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has no solution.
-
(2)
If \(h(t)\equiv\lambda^{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one solution.
-
(3)
If \(h(t)\leq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly two solutions.
Now, we consider the exact number of positive solutions of problem (1.1). First, we consider the case that \(g\in C^{1}(\langle0,+\infty),\mathbf {R})\) and g is strictly convex on \(\langle0,+\infty)\). If \(g\in C^{1}((0,\infty),\mathbf{R})\), we have the following result by Theorem 3.5 and Theorem 4.3.
Theorem 5.3
Assume \(g\in C^{1}((0,\infty),\mathbf{R})\), \(g'(x)\) is strictly increasing, and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for all \(x\in(0,\infty)\). Let
-
(1)
If \(h(t)\leq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has no positive solution.
-
(2)
If \(h(t)\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one positive solution.
-
(3)
If one of the following conditions is satisfied, then problem (1.1) has exactly two positive solutions:
-
(i)
\(\lambda_{*}\geq0\), \(h(t)\geq\lambda_{*}\), and \(h(t)\not\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(ii)
\(\lambda_{*}<0\) and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(iii)
\(\lambda_{*}<0\) and \(h(t)> 0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(i)
If \(g\in C^{1}([0,\infty),\mathbf{R})\), we have the following result.
Theorem 5.4
Assume \(g\in C^{1}([0,\infty),\mathbf{R})\), \(g'(x)\) is strictly increasing and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for all \(x\in[0,\infty)\). Let
(I) Suppose \(\lambda_{*}\geq0\).
-
(1)
If \(h(t)\leq\lambda_{*}\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has no positive solution.
-
(2)
If one of the following conditions is satisfied, then problem (1.1) has exactly one positive solution:
-
(2-i)
\(\lambda_{*}< a\) and \(h(t)\equiv\lambda_{*}\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(2-ii)
\(\lambda_{*}< a\) and \(h(t)\equiv a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(2-iii)
\(h(t)>a\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(2-i)
-
(3)
If \(\lambda_{*}\leq h(t)< a\) and \(h(t)\not\equiv\lambda_{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly two positive solutions.
(II) Suppose \(\lambda_{*}< 0\).
-
(4)
If one of the following conditions is satisfied, then problem (1.1) has exactly one positive solution:
-
(4-i)
\(a>0\) and \(h(t)\equiv a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(4-ii)
\(a>0\) and \(h(t)> a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(4-iii)
\(a\leq0\) and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(4-iv)
\(a\leq0\) and \(h(t)> 0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(4-i)
-
(5)
If one of the following conditions is satisfied, then problem (1.1) has exactly two positive solutions:
-
(5-i)
\(a>0\) and \(0< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(5-ii)
\(a>0\) and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(5-i)
Proof
Let \(\lambda_{*}=g(x_{0})\). We only show the proofs of (2-ii) and (2-iii).
(2-ii) By \(g'\) is strictly increasing, there exists a unique \(x_{1}>x_{0}\) such that \(g(x_{1})=a\) and \(g(x)>a\) for all \(x>x_{1}\). Clearly, \(u(t)\equiv x_{1}\) is a positive solution of (1.1). Assume that \(v(t)\) is another positive solution, then u and v are strictly ordered by Lemma 3.4. If \(x_{1}\equiv u(t)< v(t)\), \(t\in[1,T]_{\mathbf {Z}}\), then \(g(u(t))\equiv a< g(v(t))\), \(t\in[1,T]_{\mathbf{Z}}\), by the fact that \(g(x)\) is strictly increasing on \([x_{1},+\infty)\). Thus, \(\Delta^{2} v(t-1)<0\), \(t\in[1,T]_{\mathbf{Z}}\), which implies \(\Delta v(T)<\Delta v(0)\), a contradiction. If \(v(t)< u(t)\equiv x_{1}\), then the fact that \(g(x)< a\) for \(x\in (0,x_{1})\) shows that \(g(v(t))< g(u(t))\equiv a\) and hence \(\Delta^{2} v(t-1)>0\), \(t\in [1,T]_{\mathbf{Z}}\). It follows that \(\Delta v(T)>\Delta v(0)\), a contradiction.
(2-iii) We distinguish two cases to finish the proof.
Case 1: \(\lambda_{*}=a=g(0)\). In this case, g is strictly increasing on \([0,+\infty)\). It is easy to see that (1.1) has at least one positive solution by a discussion similar to Theorem 4.1(4-iii). Now, we assume that (1.1) has two distinct positive solutions \(u_{1}\) and \(u_{2}\). Then \(u_{1}\) and \(u_{2}\) are strictly ordered by Lemma 3.4. Without loss of generality, we assume that \(u_{1}(t)< u_{2}(t)\), \(t\in [0,T+1]_{\mathbf{Z}}\). Then \(g(u_{1}(t))< g(u_{2}(t))\), \(t\in[0,T+1]_{\mathbf{Z}}\), which implies that \(\Delta^{2} (u_{1}-u_{2})(t-1)=g(u_{2}(t))-g(u_{1}(t))>0\), \(t\in [1,T]_{\mathbf{Z}}\). Thus, we have the contradiction that
Case 2: \(\lambda_{*}< a\). By \(g'\) is strictly increasing, there exists a unique \(x_{1}>x_{0}\) such that \(g(x_{1})=a\) and \(g(x)>a\) for all \(x>x_{1}\). Since \(h(t)>a\), there exist \(c_{1}\) and \(c_{2}\): \(x_{1}< c_{1}< c_{2}\) such that \(g(c_{1})< h(t)\), \(g(c_{2})>h(t)\), \(t\in[1,T]_{\mathbf{Z}}\). By the proof of Theorem 4.1(4-iii), we know that (1.1) has a positive solution \(u_{1}\) with \(c_{1}\leq u_{1}(t)\leq c_{2}\), \(t\in[1,T]_{\mathbf{Z}}\). Now, we assume that \(u_{2}\) is also a positive solution of (1.1). Then \(u_{1}\) and \(u_{2}\) are strictly ordered by Lemma 3.4.
If \(u_{2}(t)< u_{1}(t)\), \(t\in[1,T]_{\mathbf{Z}}\), then \(g(u_{2}(t))< g(u_{1}(t))\), \(t\in[1,T]_{\mathbf{Z}}\). In fact, For any given t, if \(x_{0}< u_{2}(t)< u_{1}(t)\), then \(g(u_{2}(t))< g(u_{1}(t))\) since g is strictly increasing on \([x_{0}, +\infty)\). If \(0< u_{2}(t)\leq x_{0}\), then we also have \(g(u_{2}(t))\leq a=g(x_{1})< g(c_{1})\leq g(u_{1}(t))\), \(t\in[1,T]_{\mathbf{Z}}\). Thus, \(\Delta^{2} (u_{1}-u_{2})(t-1)=g(u_{2}(t))-g(u_{1}(t))<0\), \(t\in[1,T]_{\mathbf{Z}}\). It follows that \(\Delta u_{1}(T)-\Delta u_{2}(T)<\Delta u_{1}(0)-\Delta u_{2}(0)\), a contradiction.
If \(u_{2}(t)>u_{1}(t)\), \(t\in[1,T]_{\mathbf{Z}}\), then, by the monotony of g on \([x_{0}, +\infty)\), \(g(u_{1}(t))< g(u_{2}(t))\), \(t\in[1,T]_{\mathbf{Z}}\), and consequently, \(\Delta^{2} (u_{1}-u_{2})(t-1)=g(u_{2}(t))-g(u_{1}(t))>0\), \(t\in[1,T]_{\mathbf {Z}}\), which also yields the contradiction that \(\Delta u_{1}(T)-\Delta u_{2}(T)>\Delta u_{1}(0)-\Delta u_{2}(0)\).
The proof is complete. □
Finally, we consider the case that \(g\in C^{1}(\langle0,+\infty),\mathbf {R})\) and g is strictly concave on \(\langle0,+\infty)\). If \(g\in C^{1}((0,+\infty),\mathbf{R})\), we have the following result by Theorem 3.6 and Theorem 4.4.
Theorem 5.5
Assume \(g\in C^{1}((0,\infty),\mathbf{R})\), \(g'(x)\) is strictly decreasing and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for all \(x\in(0,\infty)\). Let
-
(1)
If \(h(t)\geq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has no positive solution.
-
(2)
If \(h(t)\equiv\lambda^{*}\) for \(t\in[1,T]_{\mathbf{Z}}\), then problem (1.1) has exactly one positive solution.
-
(3)
If one of the following conditions is satisfied, then problem (1.1) has exactly two positive solutions:
-
(3-i)
\(0< h(t)\leq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\);
-
(3-ii)
\(\lambda^{*}>0\) and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(3-i)
If \(g\in C^{1}([0,+\infty),\mathbf{R})\), we have the following result.
Theorem 5.6
Assume \(g\in C^{1}([0,\infty),\mathbf{R})\), \(g'(x)\) is strictly decreasing and \(g'(x)<4\sin^{2} \frac{\pi}{4T}\) for all \(x\in[0,\infty)\). Let
-
(1)
If \(h(t)\geq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in [1,T]_{\mathbf{Z}}\), then problem (1.1) has no positive solution.
-
(2)
If one of the following conditions is satisfied, then problem (1.1) has exactly one positive solution:
-
(2-i)
\(h(t)\equiv\lambda^{*}\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(2-ii)
\(a>0\) and \(h(t)\equiv a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(2-iii)
\(a>0\) and \(0< h(t)< a\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(2-iv)
\(a\geq0\) and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(2-i)
-
(3)
If one of the following conditions is satisfied, then problem (1.1) has exactly two positive solutions:
-
(3-i)
\(\max\{0,a\}< h(t)\leq\lambda^{*}\) and \(h(t)\not\equiv\lambda^{*}\) for \(t\in[1,T]_{\mathbf{Z}}\);
-
(3-ii)
\(a<0\) and \(h(t)\equiv0\) for \(t\in[1,T]_{\mathbf{Z}}\).
-
(3-i)
References
Agarwal, RP, Perera, K, O’Regan, D: Multiple positive solutions of singular discrete p-Laplacian problems via variational methods. Adv. Differ. Equ. 2005(2), 93-99 (2005)
Cabada, A: Extremal solutions for the difference ϕ-Laplacian problem with nonlinear functional boundary conditions. Comput. Math. Appl. 42, 593-601 (2001)
Anderson, D, Avery, RI: Multiple positive solutions to a third-order discrete focal boundary value problem. Comput. Math. Appl. 42, 333-340 (2001)
Yu, J, Guo, Z: On generalized discrete boundary value problems of Emden-Fowler equation. Sci. China Ser. A 36, 721-732 (2006)
Anderson, DR: Discrete third-order three-point right-focal boundary value problems. Comput. Math. Appl. 45, 861-871 (2003)
Aykut, N: Existence of positive solutions for boundary value problems of second-order functional difference equations. Comput. Math. Appl. 48, 517-527 (2004)
Karaca, IY: Discrete third-order three-point boundary value problem. J. Comput. Appl. Math. 205, 458-468 (2007)
Yu, J, Guo, Z: On boundary value problems for a discrete generalized Emden-Fowler equation. J. Differ. Equ. 231, 18-31 (2006)
Jiang, L, Zhou, Z: Existence of nontrivial solutions for discrete nonlinear two point boundary value problems. Appl. Math. Comput. 180, 318-329 (2006)
Yang, Y, Meng, F: Eigenvalue problem for finite difference equations with p-Laplacian. J. Appl. Math. Comput. 40, 319-340 (2012)
Ji, D, Ge, W: Existence of multiple positive solutions for Sturm-Liouville-like four-point boundary value problem with p-Laplacian. Nonlinear Anal. 68, 2638-2646 (2008)
Liu, Y: Existence results for positive solutions of non-homogeneous BVPs for second order difference equations with one-dimensional p-Laplacian. J. Korean Math. Soc. 47, 135-163 (2010)
Bai, D, Xu, X: Existence and multiplicity of difference ϕ-Laplacian boundary value problems. Adv. Differ. Equ. 2013, 267 (2013)
Bai, D: A global result for discrete ϕ-Laplacian eigenvalue problems. Adv. Differ. Equ. 2013, 264 (2013)
Bisci, GM, Repovš, D: On sequences of solutions for discrete anisotropic equations. Expo. Math. 32(3), 284-295 (2014)
Bisci, GM, Repovš, D: Existence of solutions for p-Laplacian discrete equations. Appl. Math. Comput. 242, 454-461 (2014)
Malin, M: Multiple solutions for a class of oscillatory discrete problems. Adv. Nonlinear Anal. 4(3), 221-233 (2015)
Ouyang, T, Shi, J: Exact multiplicity of positive solutions for a class of semilinear problems. J. Differ. Equ. 146(1), 121-156 (1998)
Ouyang, T, Shi, J: Exact multiplicity of positive solutions for a class of semilinear problems, II. J. Differ. Equ. 158(1), 94-151 (1999)
Korman, P, Li, Y, Ouyang, T: An exact multiplicity result for a class of semilinear equations. Commun. Partial Differ. Equ. 22(3-4), 661-684 (1997)
Ortega, R, Zhang, M: Optimal bounds for bifurcation values of a superlinear periodic problem. Proc. R. Soc. Edinb. A 35, 119-132 (2005)
Chen, H, Li, Y: Stability and exact multiplicity of periodic solutions of Duffing equations with cubic nonlinearities. Proc. Am. Math. Soc. 135, 3925-3932 (2007)
Lee, E, Sasi, S, Shivaji, R: S-shaped bifurcation curves in ecosystems. J. Math. Anal. Appl. 381, 732-741 (2011)
Simon, PL: Exact multiplicity of positive solutions for a class of singular semilinear equations. Differ. Equ. Dyn. Syst. 18(4), 415-429 (2010)
Pan, H, Xing, R: Time maps and exact multiplicity results for one-dimensional prescribed mean curvature equations. Nonlinear Anal. 74, 1234-1260 (2011)
Tzeng, C, Hung, K, Wang, S: Global bifurcation and exact multiplicity of positive solutions for a positone problem with cubic nonlinearity. J. Differ. Equ. 252, 6250-6274 (2012)
Feng, Y: Sobolev inequality and the exact multiplicity of solutions and positive solutions to a second-order Neumann boundary value problem. Acta Appl. Math. 110, 895-905 (2010)
Rădulescu, V: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal. TMA 121, 336-369 (2015)
Rădulescu, V, Repovš, D: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. CRC Press, Boca Raton (2015)
Walter, KK, Allan, CP: Difference Equations. Academic Press, San Diego (1991)
Amann, H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 18, 620-709 (1976)
Acknowledgements
The authors are very grateful to the anonymous referees for their valuable suggestions. This work was done when Bai was visiting the School of Mathematical and Natural Sciences, Arizona State University. He would like to thank the school for its hospitality. The research is supported partially by the Research Funds for the Doctoral Program of Higher Education of China (No. 20124410110001), by PCSIRT of China (No. IRT1226) and by the Natural Science Fund of China (No. 11371107).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors jointly worked on the results and they read and approved the final manuscript.
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
Bai, D., Lian, H. & Wang, H. Exact multiplicity of solutions for discrete second order Neumann boundary value problems. Bound Value Probl 2015, 229 (2015). https://doi.org/10.1186/s13661-015-0495-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0495-1