We consider a high-order three-point boundary value problem. Firstly, some new existence results of at least one positive solution for a noneigenvalue problem and an eigenvalue problem are established. Our approach is based on the application of three different fixed point theorems, which have extended and improved the famous Guo-Krasnosel’skii fixed point theorem at different aspects. Secondly, some examples are included to illustrate our results.
1. Introduction
We are concerned with the following even-order three-point boundary value problem on time scales 𝕋:
(1)(-1)nyΔ2n(t)=f(t,y(σ(t))),t∈[t1,t3]⊂𝕋,yΔ2i+1(t1)=0,αyΔ2i(σ(t3))+βyΔ2i+1(σ(t3))=yΔ2i+1(t2),(2)(-1)nyΔ2n(t)=λa(t)g(y(σ(t))),t∈[t1,t3]⊂𝕋,yΔ2i+1(t1)=0,αyΔ2i(σ(t3))+βyΔ2i+1(σ(t3))=yΔ2i+1(t2),
for 0≤i≤n-1, where α>0 and β>1 are given constants; f:[t1,σ(t3)]×[0,+∞)→[0,+∞) is continuous and σ(t3) is right dense so that σj(t3)=σ(t3) for j≥1; λ>0 is a constant; a:[t1,σ(t3)]→[0,+∞) is continuous and not identically zero on [t2,σ(t3)]; g:[0,+∞)→[0,+∞) is continuous. Throughout this paper, we suppose that 𝕋 is any time scale and [t1,t3] is a subset of 𝕋 such that [t1,t3]={t∈𝕋:t1≤t≤t3}. Some preliminary definitions and theorems on time scales can be found in [1–4] which are excellent references for the calculus of time scales.
In recent years, the theory of time scales, which has received a lot of attention, was introduced by Hilger in his Ph.D. thesis [5] in 1988 in order to unify continuous and discrete analysis. In particular, the theory is also widely applied to stock market, biology, heat transfer, and epidemic models; for details, see [6–10] and the references therein. An important class of time scales are boundary value problems, and such investigations can provide accurate information of phenomena that manifest themselves partly in continuous time and partly in discrete time. There is much attention paid to the existence of positive solution for higher-order two-point boundary value problems on time scales [11–15]. However, to the best of our knowledge, there are not many results concerning multipoint boundary value problems of higher-order on time scales; we refer the reader to [16–24] for some recent results.
We would like to mention some results of Anderson and Avery [16], Anderson and Karaca [17], Han and Liu [20], and Hu [21]. In [16], Anderson and Avery studied the following even-order BVP:
(3)(-1)nx(Δ∇)n(t)=λh(t)f(x(t)),t∈[a,c]⊂𝕋,x(Δ∇)i(a)=0,x(Δ∇)i(c)=βx(Δ∇)i(b),0≤i≤n-1.
They have studied the existence of at least one positive solution to the BVP (3) using the functional-type cone expansion-compression fixed point theorem.
In [17], Anderson and Karaca were concerned with the dynamic three-point boundary value problem
(4)(-1)nyΔ2n(t)=f(t,yσ(t)),t∈[a,b]⊂𝕋,αi+1yΔ2i(η)+βi+1yΔ2i+1(a)=yΔ2i(a),γi+1yΔ2i(η)=yΔ2i(σ(b)),0≤i≤n-1.
Existence results of bounded solutions of a noneigenvalue problem are first established as a result of the Schauder fixed point theorem. Second, the monotone method is discussed to ensure the existence of solutions of the BVP (4). Third, they established criteria for the existence of at least one positive solution of the eigenvalue problem by using the Krasnosel’skii fixed point theorem. Later, they investigated the existence of at least two positive solutions of the BVP (4) by using the Avery-Henderson fixed point theorem.
In [20], Han and Liu studied the existence and uniqueness of nontrivial solution for the following third-order p-Laplacian m-point eigenvalue problems on time scales:
(5)(ϕp(uΔ∇))∇+λf(t,u(t),uΔ(t))=0,t∈(0,T),αu(0)-βuΔ(0)=0,u(T)=∑i=1m-2aiu(ξi),uΔ∇(0)=0,
where ϕp(s) is p-Laplacian operator, that is, ϕp(s)=|s|p-2s,p>1,λ>0 is a parameter, and 0<ξ1<⋯<ξm-2<ρ(T). They obtained several sufficient conditions of the existence and uniqueness of nontrivial solution of (5) when λ is in some interval. Their approach is based on the Leray-Schauder nonlinear alternative.
Recently, in [21], Hu considered the following singular third-order three-point boundary value problem on time scales:
(6)(uΔΔ(t))∇+w(t)f(t,u(t))=0,t∈[a,b],u(ρ(a))-βuΔ(ρ(a))=αu(η),γu(η)=u(b),uΔΔ(ρ(a))=0,
where η∈(a,b), β≥0,1<γ<(b-ρ(a)+β)/(η-ρ(a)+β), and 0≤α<(b-γη+(γ-1)(ρ(a)-β))/(b-η). The functions w(t):(a,b)→[0,+∞) and f:[a,b]×(0,+∞)→[0,+∞) are continuous. The nonlinearity w may have singularity at t=a and/or t=b and f may have singularity at u=0. Some theorems on the existence of positive solutions of (6) were obtained by utilizing the fixed theorem of cone expansion and compression type.
We note that Yaslan [23] constructed the Green’s function for the BVP (1) and obtained the following result.
Theorem 1 (see [23]).
Assume that α>0,β>1. In addition, there exist numbers 0<r<R<∞ such that
(7)f(t,y)<1Lny,if0≤y≤r,(8)f(t,y)>Ln-1k2nM2n-1y,ifR≤y<∞
for t∈[t1,σ(t3)], where k,L, and M are as in (16)–(21), respectively. Then the BVP (1) has at least one positive solution.
One of the most frequently used tools for proving the existence of positive solutions to the integral equations is Krasnosel’skii’s theorem on cone expansion and compression and its norm-type version due to Guo and Lakshmikantham (see [25]), and they have been applied extensively to all kinds of problems, such as ordinary differential equations, difference equations, and the general dynamic equations on time scales. In order to apply them easily, more and more authors have been dedicated to extending this theorem. In [26], the authors dealt with modifications of the classical Krasnosel’skii fixed point theorem concerning cone compression and expansion of norm type. For further abstract result, the reader is referred to the recent paper [27].
In [28], Zima proved the following fixed point theorem of Leggett-Williams type.
Theorem 2 (see [28]).
Let E be a real Banach space, P a normal cone in E, and γ the normal constant of P. For u0∈P∖{θ}, let P(u0)={x∈P:λu0⪯xforsomeλ>0}. Assume that Ω1 and Ω2 are bounded open sets in E such that θ∈Ω1 and Ω¯1⊂Ω2. Let F:P∩(Ω¯2∖Ω1)→P be a completely continuous and u0∈P∖{θ}. If either
γ∥x∥≤∥Fx∥ for x∈P(u0)∩∂Ω1 and ∥Fx∥≤∥x∥ for x∈P∩∂Ω2 or
∥Fx∥≤∥x∥ for x∈P∩∂Ω1 and γ∥x∥≤∥Fx∥ for x∈P(u0)∩∂Ω2
is satisfied, then F has at least one fixed point in P∩(Ω¯2∖Ω1).
We would also like to mention the results of Zhang and Sun [29, 30], in [29, 30]. Zhang and Sun continued to extend this theorem by replacing the norm with some convex functional on cone P (let E be a real Banach space and P a cone in E). ρ:P→ℝ is said to be a convex functional on P if ρ(tx+(1-t)y)≤tρ(x)+(1-t)ρ(y) for all x,y∈P, and t∈[0,1]. They obtained the following main results.
Theorem 3 (see [30]).
Let Ω1 and Ω2 be two bounded open sets in E such that θ∈Ω1 and Ω¯1⊂Ω2. Suppose that A:P∩(Ω¯2∖Ω1)→P is completely continuous and ρ:P→[0,+∞) is a uniformly continuous convex functional with ρ(θ)=0 and ρ(x)>0 for x≠θ. If one of the following two conditions is satisfied:
ρ(Ax)≤ρ(x),forallx∈P∩∂Ω1, and infx∈P∩∂Ω2ρ(x)>0, ρ(Ax)≥ρ(x),forallx∈P∩∂Ω2,
infx∈P∩∂Ω1ρ(x)>0,ρ(Ax)≥ρ(x),forallx∈P∩∂Ω1, and ρ(Ax)≤ρ(x), forallx∈P∩∂Ω2,
then A has at least one fixed point in P∩(Ω¯2∖Ω1).
Remark 4 (see [30]).
Obviously, ρ(x)=∥x∥ is a uniformly continuous convex functional with ρ(θ)=0 and ρ(x)>0 for x≠θ. Moreover, infx∈P∩∂Ω1∥x∥>0 and infx∈P∩∂Ω2∥x∥>0 since θ∈Ω1 and Ω¯1⊂Ω2.
In [31], Cid et al. combined the monotone iterative technique with the Guo-Krasnosel’skii fixed point theorem in cones. Their result is as follows.
Theorem 5 (see [31]).
Let E be a real Banach space, K a normal cone with normal constant γ≥1 and nonempty interior, and A:K→K a completely continuous operator. Define S={x∈K:Ax≤x} and suppose that
there exist x0∈S and R->0 such that B[x0,R-]={x∈E:∥x-x0∥≤R-}⊂K, that is, x0∈S∩int(K), and that one of the two following conditions holds:
S is bounded;
there exists r>0 such that S∩B[θ,r]=∅.
If, moreover, A is nondecreasing in the set
(9)K1={x∈K:R-γ≤∥x∥≤γ∥x0∥},
where γ≥1 is the normal constant of the cone, then there exists x∈K,x≠θ, such that x=Ax.
In this paper, we will improve and extend Theorem 1 in two different directions. On the one hand, we will weaken the restriction on f in (8) by means of Theorem 2 (see Theorem 10). On the other hand, by constructing appropriate convex functional shown in [29, 30], the properties of f on bounded sets will be considered. Furthermore, the new existence result is obtained by Theorem 3 (see Theorem 11).
2. Preliminaries
Let G(t,s) be Green’s function for the following boundary value problem:
(10)-yΔ2(t)=0,t∈[t1,t3]⊂𝕋,yΔ(t1)=0,αy(σ(t3))+βyΔ(σ(t3))=yΔ(t2).
A direct calculation gives
(11)G(t,s)={H(t,s),t1≤s≤t2,K(t,s),t2<s≤t3,
where
(12)H(t,s)={σ(t3)-t+β-1α,σ(s)≤t,σ(t3)-σ(s)+β-1α,t≤s,K(t,s)={σ(t3)-t+βα,σ(s)≤t,σ(t3)-σ(s)+βα,t≤s.
To state and prove the main results of this paper, we need the following lemmas.
Lemma 6 (see [23]).
Let α>0,β>1. Then the Green function G(t,s) in (11) satisfies the following inequality:
(13)G(t,s)≥t-t1σ(t3)-t1G(σ(t3),s)
for (t,s)∈[t1,σ(t3)]×[t1,t3].
Lemma 7 (see [23]).
Let α>0,β>1. Then the Green function G(t,s) in (11) satisfies
(14)0<G(t,s)≤G(σ(s),s)
for (t,s)∈[t1,σ(t3)]×[t1,t3].
Lemma 8 (see [23]).
Let α>0,β>1 and s∈[t1,t3]. Then the Green function G(t,s) in (11) satisfies
(15)mint∈[t2,σ(t3)]G(t,s)≥k∥G(·,s)∥,
where
(16)k=β-1α(σ(t3)-σ(t1))+β-1,
and ∥·∥ is defined by ∥x∥=maxx∈[t1,σ(t3)]|x(t)|.
If we let G1(t,s)∶=G(t,s) for G as in (11), then we can recursively define
(17)Gj(t,s)=∫t1σ(t3)Gj-1(t,r)G(r,s)Δr
for 2≤j≤n and Gn(t,s) is Green’s function for the homogeneous problem
(18)(-1)nyΔ2n(t)=0,t∈[t1,t3]⊂𝕋,yΔ2i+1(t1)=0,yΔ2i(σ(t3))+βyΔ2i+1(σ(t3))=yΔ2i+1(t2),0≤i≤n-1.
Lemma 9 (see [23]).
Let α>0,β>1. Then the Green function Gn(t,s) satisfies the following inequalities:
(19)0≤Gn(t,s)≤Ln-1∥G(·,s)∥,(t,s)∈[t1,σ(t3)]×[t1,t3],Gn(t,s)≥knMn-1∥G(·,s)∥,t,s∈[t2,σ(t3)]×[t1,t3],
where k is given in (16),
(20)L=∫t1σ(t3)∥G(·,s)∥Δs>0,(21)M=∫t2σ(t3)∥G(·,s)∥Δs>0.
Suppose that ℬ denotes the Banach space C[t1,σ(t3)] with the norm ∥y∥=maxt∈[t1,σ(t3)]|y(t)|.
3. Existence Theorem of Positive Solutions
In this section, we apply Theorems 2 and 3 to establish two existence criteria for the problem (1).
Theorem 10.
Assume that the following conditions hold.
There exists r1>0 such that
(22)f(t,y)≤r1Ln
for t∈[t1,σ(t3)] and y∈[0,r1].
There exist t0∈(t2,σ(t3)],a>0,r2>0,r2≠r1, and the continuous functions φ:[t2,σ(t3)]→[0,+∞),h:(0,r2]→[0,+∞) such that
(23)f(t,y)≥φ(t)h(y)
for t∈[t2,σ(t3)] and y∈[0,r2], h(y)/ya is nonincreasing on (0,r2], and
(24)h(r2)(knMn-1Ln-1)a∫t2σ(t3)Gn(t0,s)φ(s)Δs≥r2,
where k,L, and M are defined in (16)–(21), respectively. Then the problem (1) has at least one positive solution on [t1,σ(t3)].
Theorem 11.
If there exist constants a and b with 0<b<a satisfying one of the following two conditions:
a≥(Ln-1/knMn-1)2b, f(t,y)≥a/knMn, (t,y)∈[t2,σ(t3)]×[a(knMn-1/Ln-1),a] and f(t,y)≤b/Ln, (t,y)∈[t1,σ(t3)]×[0,(Ln-1/knMn-1)b];
a/b≥Ln/knMn, f(t,y)≤a/Ln, (t,y)∈[t1,σ(t3)]×[0,(Ln-1/knMn-1)a] and f(t,y)≥b/knMn, (t,y)∈[t2,σ(t3)]×[b(knMn-1/Ln-1),b],
where k,L, and M are defined in (16)–(21), respectively. Then the problem (1) has at least one positive solution.
Proof of Theorem 10.
Consider the Banach space ℬ and set
(25)P={knMn-1Ln-1y∈ℬ,y(t)≥0,t∈[t1,σ(t3)],mint∈[t2,σ(t3)]y(t)≥knMn-1Ln-1∥y∥}.
It is easy to show that P is a normal cone in ℬ (with γ=1). Obviously, for x,y∈ℬ,x⪯y if and only if x(t)≤y(t) for every t∈[t1,σ(t3)]. Fix u0≡1 on [t1,σ(t3)]. Then
(26)P(u0)={knMn-1Ln-1y∈ℬ:y(t)>0,t∈[t1,σ(t3)],mint∈[t2,σ(t3)]y(t)≥knMn-1Ln-1∥y∥}.
For y∈P and t∈[t1,σ(t3)], we define the integral operator
(27)Ay(t)=∫t1σ(t3)Gn(t,s)f(s,y(σ(s)))Δs
clearly, and every fixed point of A is a solution of the problem (1). From the proof of Theorem 3 of [23], we can know that A:P→P is completely continuous.
Let Ω1={y∈ℬ:∥y∥<r1}, Ω2={y∈ℬ:∥y∥<r2}, and then we can assume that r1<r2. By (H1), for y∈P∩∂Ω1 and t∈[t1,σ(t3)], we get
(28)Ay(t)≤Ln-1∫t1σ(t3)∥G(·,s)∥r1LnΔs=r1.
Hence, ∥Ay∥≤∥y∥ for y∈P∩∂Ω1.
Let y∈P(u0)∩∂Ω2, and then ∥y∥=r2 and y(t)∈(0,r2] for t∈[t1,σ(t3)]. By (H2), we obtain
(29)Ay(t0)=∫t1σ(t3)Gn(t0,s)f(s,y(σ(s)))Δs≥∫t2σ(t3)Gn(t0,s)φ(s)h(y(σ(s)))Δs=∫t2σ(t3)Gn(t0,s)φ(s)h(y(σ(s)))ya(σ(s))ya(σ(s))Δs≥h(r2)r2a∫t2σ(t3)Gn(t0,s)φ(s)ya(σ(s))Δs≥h(r2)r2a∫t2σ(t3)Gn(t0,s)φ(s)(knMn-1Ln-1∥y∥)aΔs=h(r2)(knMn-1Ln-1)a∫t2σ(t3)Gn(t0,s)φ(s)Δs≥r2.
This gives ∥Ay∥≥∥y∥ for y∈P(u0)∩∂Ω2. By Theorem 2, A has a fixed point y*∈P such that r1≤∥y*∥≤r2. This ends the proof of Theorem 10.
Proof of Theorem 11.
Set
(30)Ω1={y∈ℬ∣ρ(y)<b},Ω2={y∈ℬ∣ρ(y)<a}.
It is clear that Ω1 and Ω2 are open sets with θ∈Ω1 and Ω¯1⊂Ω2.
We define ρ(y)=maxt∈[t2,σ(t3)]y(t). Then ρ:P→[0,+∞) is a uniformly continuous convex functional with ρ(θ)=0 and ρ(u)>0 for u≠0, where P is defined in (25).
If y∈P∩∂Ω1, then ρ(y)=b and for t∈[t1,σ(t3)], we have
(31)0≤y(t)≤∥y∥≤Ln-1knMn-1b.
Therefor,
(32)ρ(Ay)=maxt∈[t1,σ(t3)]∫t1σ(t3)Gn(t,s)f(s,y(σ(s)))Δs≤Ln-1∫t1σ(t3)∥G(·,s)∥f(s,y(σ(s)))Δs≤Ln-1bLn∫t1σ(t3)∥G(·,s)∥Δs=b=ρ(y).
If y∈P∩∂Ω2, then ρ(y)=a and for t∈[t2,σ(t3)], we have
(33)aknMn-1Ln-1≤∥y∥knMn-1Ln-1≤y(t)≤ρ(y)=a.
Therefore,
(34)ρ(Ay)≥knMn-1∫t2σ(t3)∥G(·,s)∥f(s,y(σ(s)))Δs≥knMn-1aknMn∫t2σ(t3)∥G(·,s)∥Δs=a=ρ(y).
Thus, condition (D1) in Theorem 3 is satisfied, and the problem (1) has at least one positive solution.
In the following, we check condition (D2) in Theorem 3.
If y∈P∩∂Ω1, then ρ(y)=b and for t∈[t1,σ(t3)], we have
(35)bknMn-1Ln-1≤∥y∥knMn-1Ln-1≤y(t)≤ρ(y)=b.
Therefore,
(36)ρ(Ay)≥knMn-1∫t2σ(t3)∥G(·,s)∥f(s,y(σ(s)))Δs≥knMn-1bknMn∫t2σ(t3)∥G(·,s)∥Δs=b=ρ(y).
If y∈P∩∂Ω2, then ρ(y)=a and for t∈[t1,σ(t3)], we have
(37)0≤y(t)≤∥y∥≤Ln-1knMn-1a.
Therefore,
(38)ρ(Ay)=maxt∈[t1,σ(t3)]∫t1σ(t3)Gn(t,s)f(s,y(σ(s)))Δs≤Ln-1∫t1σ(t3)∥G(·,s)∥f(s,y(σ(s)))Δs≤Ln-1aLn∫t1σ(t3)∥G(·,s)∥Δs=a=ρ(y).
Thus, condition (D2) in Theorem 3 is satisfied, and the problem (1) has at least one positive solution.
Remark 12.
In Theorem 10, we substitute condition (H2) for condition (8) in Theorem 1, and thus the more general and comprehensive functions are incorporated. In Theorem 11, we substitute condition (H3) or (H4) for conditions (7) and (8) in Theorem 1, where we only require that the “heights” of the nonlinear term are appropriate on some bounded sets. Moreover, the existence is independent of the growth of f outside these bounded sets.
4. Solvability of the Problem (2)
In this section, we apply Theorem 5 to obtain sufficient conditions for the existence of solutions for the problem (2). We note that the conspicuous advantage of Theorem 5 is that the conditions over the set S of the lower solution are deleted.
We define the cone
(39)K={y∈ℬ:y(t)≥0,t∈[t1,σ(t3)],y(t)≥ω∥y∥on[t2,σ(t3)]}
for some 0<ω≤knMn-1/Ln-1 (ω will be fixed later).
Since the problem (2) is equivalent to the following integral equation:
(40)y(t)=∫t1σ(t3)Gn(t,s)λa(s)g(y(σ(s)))Δs,t∈[t1,σ(t3)],
we still define the operator A:K→ℬ as follows:
(41)Ay(t)=∫t1σ(t3)Gn(t,s)λa(s)g(y(σ(s)))Δs,t∈[t1,σ(t3)].
By the proof of Section 3, we can know that A:K→K is completely continuous. On the other hand, it is easy to check that K is normal with normal constant γ=1 and with nonempty interior.
Define
(42)e=Ln-1∫t1σ(t3)∥G(·,s)∥a(s)Δs.
The main result is as follows.
Theorem 13.
Assume that limy→∞(g(y)/y)=+∞ and there exists C∈[0,+∞) such that g is nondecreasing on [0,C). If
(43)0<λ<supy∈(0,C)yeg(y),
then the problem (2) has at least a positive solution.
Proof.
Since λ<supy∈(0,C)(y/eg(y)), take R0∈(0,C) and 0<ω≤knMn-1/Ln-1 such that
(44)R0-λeg(R0)>ωR0.
First, we will prove that the function y0(t)=R0,t∈[t1,σ(t3)] satisfies condition (i) in Theorem 5. It is easy to check that y0∈int(K). At the same time, for each t∈[t1,σ(t3)], we have
(45)Ay0(t)=∫t1σ(t3)Gn(t,s)λa(s)g(y0(σ(s)))Δs≤λeg(R0)<R0=y0(t).
In addition, since ∥y0-Ay0∥=R0, we have that for t∈[t2,σ(t3)](46)y0(t)-Ay0(t)≥R0-λeg(R0)>ωR0=ω∥y0-Ay0∥.
In consequence, y0∈S and y0 satisfies condition (i).
Condition (ii) in Theorem 5 holds because of the assumed asymptotic behavior of g at infinity. In fact, for fixed λ>0 choose D>0 large enough such that
(47)λDωmint∈[t2,σ(t3)]∫t2σ(t3)Gn(t,s)a(s)Δs>1
and Y>0 satisfying g(y)≥Dy provided that y≥Y. Now suppose that y∈K with ∥y∥≥Y/ω. Then y(t)≥Y for all t∈[t2,σ(t3)] and
(48)Ay(t)≥∫t2σ(t3)Gn(t,s)λa(s)g(y(σ(s)))Δs≥λDω∥y∥mint∈[t2,σ(t3)]∫t2σ(t3)Gn(t,s)a(s)Δs>∥y∥
for all t∈[t2,σ(t3)], which implies that Ay≰y. Therefore, the set S is contained in the ball centered at the origin and radius Y/ω.
Finally, since g is nondecreasing in [0,R0], if we put y1,y2∈K with y1(t)≤y2(t)≤R0,t∈[t2,σ(t3)] we have
(49)Ay2(t)-Ay1(t)=∫t1σ(t3)Gn(t,s)λa(s)g(y2(σ(s)))Δs-∫t1σ(t3)Gn(t,s)λa(s)g(y1(σ(s)))Δs≥0
and for t∈[t2,σ(t3)]andr∈[t1,σ(t3)](50)Ay2(t)-Ay1(t)=∫t1σ(t3)Gn(t,s)λa(s)×[g(y2(σ(s)))-g(y1(σ(s)))]Δs≥∫t1σ(t3)knMn-1∥G(·,s)∥λa(s)×[g(y2(σ(s)))-g(y1(σ(s)))]Δs≥knMn-1Ln-1×∫t1σ(t3)Gn(r,s)λa(s)×[g(y2(σ(s)))-g(y1(σ(s)))]Δs≥ω∫t1σ(t3)Gn(r,s)λa(s)×[g(y2(σ(s)))-g(y1(σ(s)))]Δs=ω[Ay2(r)-Ay1(r)],
and therefore mint∈[t2,σ(t3)][Ay2(t)-Ay1(t)]≥ω∥Ay2-Ay1∥ and A is nondecreasing. Thus, all conditions in Theorem 5 are satisfied. We can assert that the problem (2) has at least one positive solution.
Remark 14.
In general, the previous results ensure the solvability of the problem (2) only for “enough small” λ, that is, for 0<λ<λ1, where λ1 is a constant explicitly established. However, Theorem 13 implies that the problem (2) is solvable for all λ>0 even if g(y)=0 for some y∈(0,C]. We should point out that the spectrum structure of the corresponding linear problem of (2) is still unknown so far; therefore, we can not directly apply the results shown in [32] due to Webb and Infante and in [33] due to Webb and Lan to the problem (2).
5. Some Examples
In this section, we present three examples to explain our results.
Example 1.
Let 𝕋={(2/5)n:n∈ℕ0}∪[2,3], where ℕ0 denotes the set of all nonnegative integers. Consider the following BVP:
(51)-yΔ2(t)=f(t,y(σ(t))),t∈[25,3]⊂𝕋,yΔ(25)=0,y(σ(3))+3yΔ(σ(3))=yΔ(1),
where
(52)f(t,y)={120(t+1)y2(y-5)2,(t,y)∈[25,3]×[0,5],(t+1)6(y-5)7,(t,y)∈[25,3]×(5,+∞).
It is easy to check that f:[(2/5),3]×[0,+∞)→[0,+∞) is continuous. By computation, we can get that
(53)k=12,G(t,s)={H(t,s),25≤s≤1,K(t,s),1<s≤3,
where
(54)H(t,s)={5-t,σ(s)≤t,5-σ(s),t≤s,K(t,s)={6-t,σ(s)≤t,6-σ(s),t≤s.
Therefore, we can obtain that
(55)L=∫2/53∥G(·,s)∥Δs=∫2/51(5-σ(s))Δs+∫12(6-σ(s))Δs+∫23(6-σ(s))Δs=9910.
Choose r1=1/50,r2=2,t0=2,a=2,φ(t)=(1/20)(t+1), and h(y)=y2(y-5)2, and it is very easy to check that
(56)f(t,y)≤120×(3+1)1502×(150-5)2<1495=1/5099/10=r1L,fort∈[25,3],y∈[0,150].120(t+1)y2(y-5)2=φ(t)h(y),fort∈[1,3],y∈(0,2],h(y)/ya=y2(y-5)2/y2=(y-5)2 is nonincreasing on (0,2], and
(57)h(2)(kM0L0)2∫13G(2,s)120(s+1)Δs=920[∫12(6-2)(s+1)Δs+∫23(6-σ(s))(s+1)Δs]=920×1216>2=r2.
The assumptions of Theorem 10 are satisfied; therefore, the problem (51) has a positive solution y* such that 1/50≤∥y*∥≤2.
Example 2.
Let 𝕋={1,2,3,4,5}, and consider the following BVP:
(58)yΔ2(t)=f(t,y(t+1)),t∈[1,4]⊂𝕋,yΔ2i+1(1)=0,yΔ2i(5)+2yΔ2i+1(5)=yΔ2i+1(3),
where 0≤i≤1,n=2,t1=1,t2=3,t3=4,β=2,α=1 and
(59)f(t,y)={1121·4275yy≤2754,3909×3901×275484×559×9y-1075011×1072739442×559×9,y≥2754.
It is easy to check that f:[1,5]×[0,+∞)→[0,+∞) is continuous. We can directly obtain that
(60)G(t,s)={H(t,s),1≤s≤3,K(t,s),3<s≤4,
where
(61)H(t,s)={6-t,s+1≤t,5-s,t≤s,K(t,s)={7-t,s+1≤t,6-s,t≤s.
Therefore, we can get that
(62)M=∫3σ(4)G(σ(s),s)Δs=4,L=∫1σ(4)G(σ(s),s)Δs=11,k=15,knMn-1Ln-1=k2ML=4275.
Choose a=712,b=1, and then we can get that f satisfies
(63)f(t,y)≥aknMn=ak2M2=2516·712,for(t,y)∈[3,5]×[a4275,a];f(t,y)≤bLn=bL2=1121,for(t,y)∈[1,5]×[0,2754b].
Therefore, condition (H3) in Theorem 11 is satisfied, and the BVP (58) has at least one positive solution.
If we take
(64)f(t,y)={120|sint|+27·27564y,y≤64275,120|sint|+27×27564×64275,y≥64275,
and choose a=3630,b=16, then
(65)ab=363016≥L2k2M2=121×2516.
By computation, we can get that
(66)f(t,y)≤aLn=3630112=30,for(t,y)∈[1,5]×[0,2754×3630],f(t,y)≥bknMn=161/25×16=25,for(t,y)∈[3,5]×[16×4275,16].
Therefore, condition (H4) in Theorem 11 is satisfied, and the BVP (58) has at least one positive solution.
Example 3.
Let 𝕋 be defined in Example 1, and we consider the following BVP:
(67)-yΔ2(t)=λa(t)g(y(σ(t))),t∈[25,3]⊂𝕋,yΔ(25)=0,y(σ(3))+3yΔ(σ(3))=yΔ(1),
where a(t)=1, g(y)=2y3-9y2+12y+y.
By computation, we can get that
(68)e=∫2/51G(σ(s),s)Δs=125.
Function g(y) is not monotone in [0,+∞); however, from Example 2 in [31], we can know that g(y) is nondecreasing on [0,1.087577).
It is easy to check that limy→∞(g(y)/y)=limy→0(g(y)/y)=+∞. Then Theorem 13 implies the existence of a positive solution of the BVP (67) for 0<λ<0.07526.
Remark 15.
From the expressions of nonlinear terms which we defined in Examples 1 and 2, we can see that Theorem 1 cannot be directly applied to Examples 1 and 2.
Acknowledgments
The authors were supported financially by the National Natural Science Foundation of China, Tian Yuan Foundation (11226119), and the Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi.
AgarwalR. P.O'ReganD.Nonlinear boundary value problems on time scales200144452753510.1016/S0362-546X(99)00290-4MR1822100AticiF. M.GuseinovG. Sh.On Green's functions and positive solutions for boundary value problems on time scales20021411-2759910.1016/S0377-0427(01)00437-XMR1911548BohnerM.PetersonA.2001Boston, Mass, USABirkhäuser10.1007/978-1-4612-0201-1MR1843232BohnerM.PetersonA.2003Boston, Mass, USABirkhäuser10.1007/978-0-8176-8230-9MR1962542HilgerS.1988Universität WürzburgAticiF. M.BilesD. C.LebedinskyA.An application of time scales to economics2006437-871872610.1016/j.mcm.2005.08.014MR2218315HilgerS.Analysis on measure chains—a unified approach to continuous and discrete calculus1990181-2185610.1007/BF03323153MR1066641JamiesonV.SpeddingV.Taming nature’s numbers200324042831TisdellC. C.ZaidiA.Basic qualitative and quantitative results for solutions to nonlinear, dynamic equations on time scales with an application to economic modelling200868113504352410.1016/j.na.2007.03.043MR2401364ZhaoX.GeW.Multiple positive solutions for time scale boundary value problems on infinite intervals2009106226527310.1007/s10440-008-9294-3MR2497408BoeyK. L.WongP. J. Y.Existence of triple positive solutions of two-point right focal boundary value problems on time scales20055010–121603162010.1016/j.camwa.2005.07.006MR2185711CetinE.TopalS. G.Higher order boundary value problems on time scales2007334287688810.1016/j.jmaa.2006.08.078MR2338634CetinE.TopalS. G.Existence of multiple positive solutions for the system of higher order boundary value problems on time scales2010521-211110.1016/j.mcm.2009.06.007MR2645914HanW.KangS.Multiple positive solutions of nonlinear third-order BVP for a class of p-Laplacian dynamic equations on time scales2009493-452753510.1016/j.mcm.2008.08.002MR2483656SunJ. P.Existence of solution and positive solution of BVP for nonlinear third-order dynamic equation200664362963610.1016/j.na.2005.04.046MR2192002AndersonD. R.AveryR. I.An even-order three-point boundary value problem on time scales2004291251452510.1016/j.jmaa.2003.11.013MR2039066AndersonD. R.KaracaI. Y.Higher-order three-point boundary value problem on time scales20085692429244310.1016/j.camwa.2008.05.018MR2466765AndersonD. R.HoffackerJ.Existence of solutions to a third-order multi-point problem on time scales20072007107115MR2328708AndersonD. R.SmyrlisG.Solvability for a third-order three-point BVP on time scales2009499-101994200110.1016/j.mcm.2008.11.009MR2532104HanW.LiuM.Existence and uniqueness of a nontrivial solution for a class of third-order nonlinear p-Laplacian m-point eigenvalue problems on time scales20097051877188910.1016/j.na.2008.02.088MR2492126HuL.Positive solutions to singular third-order three-point boundary value problems on time scales2010515-660661510.1016/j.mcm.2009.11.003MR2594711KaracaI. Y.Fourth-order four-point boundary value problem on time scales200821101057106310.1016/j.aml.2008.01.001MR2450651YaslanI.Existence results for an even-order boundary value problem on time scales200970148349110.1016/j.na.2007.12.019MR2468254YaslanI.Higher order m-point boundary value problems on time scales201263373975010.1016/j.camwa.2011.11.038MR2871674GuoD. J.LakshmikanthamV.1988Boston, Mass, USAAcademic PressMR959889AndersonD. R.AveryR. I.Fixed point theorem of cone expansion and compression of functional type20028111073108310.1080/10236190290015344MR1942442GeW.XueC.Some fixed point theorems and existence of positive solutions of two-point boundary-value problems2009701163110.1016/j.na.2007.11.040MR2468215ZimaM.Fixed point theorem of Leggett-Williams type and its application2004299125426010.1016/j.jmaa.2004.07.002MR2091286ZhangG. W.SunJ. X.ZhangT.Fixed point theorem of domain compression and expansion of convex functional type2008513517522MR2453761ZhangG.SunJ.A generalization of the cone expansion and compression fixed point theorem and applications200767257958610.1016/j.na.2006.06.003MR2317189CidJ. A.FrancoD.MinhósF.Positive fixed points and fourth-order equations2009411727810.1112/blms/bdn105MR2481991WebbJ. R. L.InfanteG.Positive solutions of nonlocal boundary value problems: a unified approach200674367369310.1112/S0024610706023179MR2286439WebbJ. R. L.LanK. Q.Eigenvalue criteria for existence of multiple positive solutions of nonlinear boundary value problems of local and nonlocal type200627191115MR2236412