AAAAbstract and Applied Analysis1687-04091085-3375Hindawi Publishing Corporation34167910.1155/2009/341679341679Research ArticleSolvability of a Higher-Order Three-Point Boundary Value Problem on Time ScalesSangYanbinAticiFerhanDepartment of MathematicsNorth University of ChinaTaiyuanShanxi 030051Chinanuc.edu.cn20093011200920090308200917102009191120092009Copyright © 2009This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We consider a higher-order three-point boundary value problem on time scales. A new existence result is first obtained by using a fixed point theorem due to Krasnoselskii and Zabreiko. Later, under certain growth conditions imposed on the nonlinearity, several sufficient conditions for the existence of a nonnegative and nontrivial solution are obtained by using Leray-Schauder nonlinear alternative. Our conditions imposed on nonlinearity are all very easy to verify; as an application, some examples to demonstrate our results are given.

1. Introduction

We are concerned with the following even-order three-point boundary value problem on time scales 𝕋: (-1)nyΔ2n(t)=f(yσ(t)),t[a,b]𝕋,αi+1yΔ2i(η)+βi+1yΔ2i+1(a)=yΔ2i(a),γi+1yΔ2i(η)=yΔ2i(σ(b)),0in-1,(-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)),0in-1,n1,  a<η<σ(b); we assume that σ(b) is right dense so that σj(b)=σ(b) for j1 and that for each 1in, αi,  βi,  γi coefficients satisfy the following condition:

(H)  0αi<σ(b)-γiη+(γi-1)(a-βi)σ(b)-η,βi0,0<γi<σ(b)-a+βiη-a+βi.

Throughout this paper, we let 𝕋 be any time scale and let [a,b] be a subset of 𝕋 such that [a,b]={t𝕋:atb}. Some preliminary definitions and theorems on time scales can be found in  which are excellent references for the calculus of time scales.

In recent years, there is much attention paid to the existence of positive solution for second-order multipoint and higher-order two-point boundary value problems on time scales; for details, see  and references therein. 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 readers to  for some recent results.

We would like to mention some results of Anderson and Avery , Anderson and Karaca , Han and Liu , and Yaslan . In , Anderson and Avery studied the following even-order three-point BVP:

(-1)nx(Δ)n(t)=λh(t)f(x(t)),t[a,c]𝕋,x(Δ)i(a)=0,x(Δ)i(c)=βx(Δ)i(b),0in-1. They have studied the existence of at least one positive solution to the BVP (1.4) using the functional-type cone expansion-compression fixed point theorem.

In , Anderson and Karaca were concerned with the dynamic three-point boundary value problem (1.2) and the eigenvalue problem (-1)nyΔ2n(t)=λf(t,yσ(t)) with the same boundary conditions where λ is a positive parameter. Existence results of bounded solutions of a noneigenvalue problem were first established as a result of the Schauder fixed point theorem. Second, the monotone method was discussed to ensure the existence of solutions of the BVP (1.2). 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 (1.2) by using the Avery-Henderson fixed point theorem.

In , 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:

(ϕ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 the BVP (1.5) when λ is in some interval. Their approach was based on the Leray-Schauder nonlinear alternative.

Very recently, Yaslan  investigated the existence of solutions to the nonlinear even-order three-point boundary value problem on time scales 𝕋:

(-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) for 0in-1, where α>0 and β>1 are given constants. On the one hand, the author established criteria for the existence of at least one solution and of at least one positive solution for the BVP (1.6) by using the Schauder fixed point theorem and Krasnosel’skii fixed point theorem, respectively. On the other hand, the author investigated the existence of multiple positive solutions to the BVP (1.6) by using Avery-Henderson fixed point theorem and Leggett-Williams fixed point theorem.

In this paper, motivated by , firstly, a new existence result for (1.1) is obtained by using a fixed point theorem, which is due to KrasnoseÍskĭ and Zabreĭko . Particularly, f may not be sublinear. Secondly, some simple criteria for the existence of a nonnegative solution of the BVP (1.2) are established by using Leray-Schauder nonlinear alternative. Thirdly, we investigate the existence of a nontrivial solution of the BVP (1.2); our approach is also based on the application of Leray-Schauder nonlinear alternative. Particularly, we do not require any monotonicity and nonnegativity on f. Our conditions imposed on f are all very easy to verify; our method is motivated by [1, 21, 23, 24].

2. Preliminaries

To state and prove the main results of this paper, we need the following lemmas.

Lemma 2.1 (see [<xref ref-type="bibr" rid="B4">18</xref>]).

For 1in, let Gi(t,s) be Green's function for the following boundary value problem: -yΔ2(t)=0,t[a,b]𝕋,αiy(η)+βiyΔ(a)=y(a),γiy(η)=y(σ(b)), and let di=(γi-1)(a-βi)+(1-αi)σ(b)+η(αi-γi). Then, for 1in, Gi(t,s)={Gi1(t,s),asη,Gi2(t,s),η<sb, where Gi1(t,s)=1di{[γi(t-η)+σ(b)-t](σ(s)+βi-a),σ(s)t,[γi(σ(s)-η)+σ(b)-σ(s)](t+βi-a)+αi(η-σ(b))(t-σ(s)),ts,Gi2(t,s)=1di{[σ(s)(1-αi)+αiη+βi-a](σ(b)-t)+γi(η-a+βi)(t-σ(s)),σ(s)t,[t(1-αi)+αiη+βi-a](σ(b)-σ(s)),ts.

Lemma 2.2 (see [<xref ref-type="bibr" rid="B4">18</xref>]).

Under condition (H), for 1in, Green’s function Gi(t,s) in (2.2) possesses the following property: Gi(t,s)>0,(t,s)(a,σ(b))×(a,b).

Lemma 2.3 (see [<xref ref-type="bibr" rid="B4">18</xref>]).

Assume that (H) holds. Then, for 1in, Green’s function Gi(t,s) in (2.2) satisfies Gi(t,s)max{Gi(a,s),Gi(σ(s),s),1di(η-a+βi)(σ(b)-σ(s))},t,s[a,σ(b)]×[a,b],0<γi1,Gi(t,s)max{Gi(σ(b),s),Gi(σ(s),s)},t,s[a,σ(b)]×[a,b],1<γi<σ(b)-a+βiη-a+βi.

Lemma 2.4 (see [<xref ref-type="bibr" rid="B4">18</xref>]).

Assume that condition (H) is satisfied. For G as in (2.2), take H1(t,s):=G1(t,s) and recursively define Hj(t,s)=aσ(b)Hj-1(t,r)Gj(r,s)Δr for 2jn. Then Hn(t,s) is Green’s function for the homogeneous problem: (-1)nyΔ2n(t)=0,t[a,b]𝕋,αi+1yΔ2i(η)+βi+1yΔ2i+1(a)=yΔ2i(a),γi+1yΔ2i(η)=yΔ2i(σ(b)),0in-1.

Lemma 2.5 (see [<xref ref-type="bibr" rid="B4">18</xref>]).

Assume that (H) holds. If one defines K=j=1n-1Kj, then the Green function Hn(t,s) in Lemma 2.4 satisfies the following inequalities: 0Hn(t,s)KGn(·,s),(t,s)[a,σ(b)]×[a,b], where Kj=aσ(b)Gj(·,s)Δs>0,1jn.

Lemma 2.6 (see [<xref ref-type="bibr" rid="B16">22</xref>]).

LetX be a Banach space and let F:XX be completely continuous. If there exists a bounded and linear operator A:XX such that 1 is not an eigenvalue of A and limuF(u)-A(u)u=0, then F has a fixed point in X.

Lemma 2.7 (see [<xref ref-type="bibr" rid="B11">25</xref>]).

Let X be a real Banach space, let Ω be a bounded open subset of X, 0Ω, and let F:Ω¯X be a completely continuous operator. Then either there exist xΩ, λ>1 such that F(x)=λx or there exists a fixed point x*Ω¯.

Suppose that denotes the Banach space C[a,σ(b)] with the norm y=supt[a,σ(b)]|y(t)|.

3. Existence Results

In this section, we apply Lemmas 2.6 and 2.7 to establish some existence criteria for (1.1) and (1.2).

Theorem 3.1.

Suppose that condition (H) holds, and f: is continuous with lims(f(s)/s)=m. If |m|<d=[j=1nKj]-1, then the BVP (1.1) has a solution y*, and y*0 when f(0)0.

Proof.

Define the integral operator F: by Fy(t)=aσ(b)Hn(t,s)f(yσ(s))Δs for t[a,σ(b)]. Obviously, the solutions of the BVP (1.1) are the fixed points of operator F. From the proof of Theorem 3.1 of , we can know that F: is completely continuous.

In order to apply Lemma 2.6, we consider the following BVP:

(-1)nyΔ2n(t)=myσ(t),t[a,b]𝕋,αi+1yΔ2i(η)+βi+1yΔ2i+1(a)=yΔ2i(a),γi+1yΔ2i(η)=yΔ2i(σ(b)),0in-1. Define the integral operator A: by Ay(t)=maσ(b)Hn(t,s)yσ(s)Δs for t[a,σ(b)]. Then it is easy to check that A: is completely continuous (so bounded) linear operator and that solutions of the BVP (3.3) are the fixed points of operator A and conversely.

First, we claim that 1 is not an eigenvalue of A.

In fact, if m=0, then it is obvious that the BVP (3.3) has no nontrivial solution.

If m0 and the BVP (3.3) has a nontrivial solution y, then y>0, and so

y=Ay=supt[a,σ(b)]|maσ(b)Hn(t,s)yσ(s)Δs|=|m|supt[a,σ(b)]|aσ(b)Hn(t,s)yσ(s)Δs||m|aσ(b)KGn(·,s)|yσ(s)|Δs|m|(j=1nKj)y<d·1dy=y, which is impossible. So, 1 is not an eigenvalue of A.

Next, we will show that

limyF(y)-A(y)y=0. In fact, for any ϵ>0, since lims(f(s)/s)=m, there must exist a number Y1>0 such that |f(s)-ms|<ϵ|s|,|s|>Y1. Let M=max|s|Y1|f(s)|. Then for any y and y>Y (Y>0), we distinguish the following two cases.Case 1 (<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M118"><mml:mi>Y</mml:mi><mml:mo><</mml:mo><mml:msub><mml:mrow><mml:mi>Y</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>).

In this case, choose Y such that M+|m|Y1Y<ϵ. Thus, when s[a,σ(b)] and |yσ(s)|Y1, we have |f(yσ(s))-myσ(s)||f(yσ(s))|+|m||yσ(s)|M+|m|Y1<ϵY<ϵy, which together with (3.7) implies that |f(yσ(s))-myσ(s)|<ϵy,y>Y.

Case 2 (<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M125"><mml:mi>Y</mml:mi><mml:mo>≥</mml:mo><mml:msub><mml:mrow><mml:mi>Y</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>).

In this case, when s[a,σ(b)], from (3.7), we see that |f(yσ(s))-myσ(s)|<ϵ|yσ(s)|ϵy. Thus, we can deduce from (3.11) and (3.12) that for any y and y>Y|f(yσ(s))-myσ(s)|<ϵy,s[a,σ(b)]. From (3.13), we have F(y)-A(y)=supt[a,σ(b)]|aσ(b)Hn(t,s)[f(yσ(s))-myσ(s)]Δs|supt[a,σ(b)]aσ(b)Hn(t,s)|f(yσ(s))-myσ(s)|Δsϵy(j=1nKj)=ϵdy. that is to say, limyF(y)-A(y)y=0. Then, it follows from Lemma 2.6 that F has a fixed point y*. In other words, y* is a solution of the BVP (1.1). Moreover, we can assert that y* is nontrivial when f(0)0. In fact, if f(0)0, then (-1)n(0)Δ2n=0f(0), that is, 0 is not a solution of the BVP (1.1).

Corollary 3.2.

Assume that condition (H) holds, and f:[0,+)[0,+) is continuous with lims+(f(s)/s)=0. Then the BVP (1.1) has a nonnegative solution.

Proof.

Let f*(s)={f(s),s0,f(-s),s<0, then f*:[0,+) is continuous, and from lims+(f(s)/s)=0, we know that lims+f*(s)s=0. Consider the following BVP: (-1)nyΔ2n(t)=f*(yσ(t)),t[a,b]𝕋,αi+1yΔ2i(η)+βi+1yΔ2i+1(a)=yΔ2i(a),γi+1yΔ2i(η)=yΔ2i(σ(b)),0in-1. It follows from Theorem 3.1 that the BVP (3.19) has a solution y*, that is, (-1)n(y*)Δ2n(t)=f*((y*)σ(t)),t[a,b]𝕋,αi+1(y*)Δ2i(η)+βi+1(y*)Δ2i+1(a)=(y*)Δ2i(a),γi+1(y*)Δ2i(η)=(y*)Δ2i(σ(b)),0in-1. Since Hn(t,s) and f* are nonnegative, we can get that y*0 on [a,σ(b)]. Consequently, from the definition of f*, we have (-1)n(y*)Δ2n(t)=f((y*)σ(t)),t[a,b]𝕋. It follows from the boundary conditions of (3.20) and (3.21) that y* is a nonnegative solution of the BVP (1.1).

Remark 3.3.

In Corollary 3.2, we only need that lims+(f(s)/s)=0. Thus, f may not be sublinear.

Theorem 3.4.

Assume that condition (H) holds, and f:[a,σ(b)]×[0,+)[0,+)is continuous withf(t,u)>0for(t,u)[a,σ(b)]×(0,+),f(t,u)φ(t)g(u)    on    [a,σ(b)]×[0,+)withg0    continuous,andnondecreasingon[0,+)andφ:[a,σ(b)](0,)continuousr>0    withr>g(r)aσ(b)φ(s)KGn(·,s)Δs, where K and Gn(·,s) are defined in Lemmas 2.5 and 2.1, respectively. Then the BVP (1.2) has a nonnegative solution y1 with  y1<r.

Proof.

We consider the following boundary value problem: (-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)),0in-1.   where 0<λ<1, and f*(t,u)={f(t,u),u0,f(t,0),u<0. Let y be any solution of (3.25). Then y(t)=λaσ(b)Hn(t,s)f*(s,yσ(s))Δs for t[a,σ(b)]. We note that y(t)0 for t[a,σ(b)]. It follows from condition (3.23) in Theorem 3.4 that for t[a,σ(b)]y(t)aσ(b)Hn(t,s)φ(s)g(|yσ(s)|)Δsg(y)aσ(b)φ(s)KGn(·,s)Δs. Consequently, yg(y)aσ(b)φ(s)KGn(·,s)Δs, which together with the condition (3.24) in Theorem 3.4 implies that yr.

Let N: be given by

Ny(t)=aσ(b)Hn(t,s)f*(s,yσ(s))Δs. It is easy to show that N: is completely continuous.

Let

U={u:u<r}. Since yr, any solution yU of y=λNy with 0<λ<1 cannot occur. Lemma 2.7 guarantees that N has a fixed point y1 in U¯. In other words, the BVP (1.2) has a solution y1 with y1<r.

Theorem 3.5.

Assume that condition (H) is satisfied. Suppose that f(t,0)0, t[a,σ(b)], f:[a,σ(b)]× is continuous, and there exist nonnegative integrable functions k, h such that |f(t,y)|k(t)|y|+h(t),(t,y)[a,σ(b)]×,Kaσ(b)Gn(·,s)k(s)Δs<1. Then, the BVP (1.2) has at least one nontrivial solution y*.

Proof.

Let A=Kaσ(b)Gn(·,s)h(s)Δs,B=Kaσ(b)Gn(·,s)k(s)Δs. By hypothesis B<1. Since f(t,0)0, there exists [m,n][a,σ(b)] such that mint[m,n]|f(t,0)|>0. On the other hand, from the condition h(t)|f(t,0)|,  a.e.    t[a,σ(b)], we know that A>0.

Let d=A(1-B)-1, Ωd={y:y<d}. For t[a,σ(b)], the operator T is defined by

Ty(t)=aσ(b)Hn(t,s)f(s,yσ(s))Δs, from the proof of Theorems 3.1 and 3.4, we have known that T: is a completely continuous operator, and the BVP (1.2) has at least one nontrivial solution y* if and only if y* is a fixed point of T in .

Suppose yΩd, λ>1 such that Ty=λy, then

λd=λy=Ty=supt[a,σ(b)]|Ty(t)|=supt[a,σ(b)]|aσ(b)Hn(t,s)f(s,yσ(s))Δs|Kaσ(b)Gn(·,s)|f(s,yσ(s))|ΔsKaσ(b)Gn(·,s)[k(s)|yσ(s)|+h(s)]Δs=Kaσ(b)Gn(·,s)k(s)|yσ(s)|Δs+Kaσ(b)Gn(·,s)h(s)ΔsBy+A=Bd+A. Therefore (λ-1)dA-(1-B)d=A-A=0, which contradicts λ>1. By Lemma 2.7, T has a fixed point y*Ω¯d. Noting f(t,0)0, the BVP (1.2) has at least one nontrivial solution y*. This completes the proof.

Corollary 3.6.

Assume that condition (H) is satisfied. Suppose that f(t,0)0, t[a,σ(b)], f:[a,σ(b)]× is continuous, and there exist nonnegative integrable functions k,  h such that |f(t,y)|k(t)|y|+h(t),(t,y)[a,σ(b)]×,k(t)<e=[j=1nKj]-1,t[a,σ(b)]. Then, the BVP (1.2) has at least one nontrivial solution y*.

Proof.

In this case, we have Kaσ(b)Gn(·,s)k(s)Δs<Keaσ(b)Gn(·,s)Δs=K[j=1nKj]-1aσ(b)Gn(·,s)Δs=1. By Theorem 3.5, this completes the proof.

Corollary 3.7.

Assume that condition (H) is satisfied. Suppose that f(t,0)0, t[a,σ(b)], f:[a,σ(b)]× is continuous, and there exist nonnegative integrable functions k, h such that |f(t,y)|k(t)|y|+h(t),(t,y)[a,σ(b)]×,lim|l|¯maxt[a,σ(b)]|f(t,l)l|<[j=1nKj]-1. Then, the BVP (1.2) has at least one nontrivial solution y*.

Proof.

Let ϵ1=12[(j=1nKj)-1-lim|l|¯maxt[a,σ(b)]|f(t,l)l|], then, there exists c>0such that|f(t,l)|[(j=1nKj)-1-ϵ1]|l|,(t,l)[a,σ(b)]×(-c,c). Set M̃=max{f(t,l)(t,l)[a,σ(b)]×[-c,c]}, and it follows from (3.41) and (3.42) that |f(t,l)|[(j=1nKj)-1-ϵ1]|l|+M̃,(t,l)[a,σ(b)]×. By Corollary 3.6, we can deduce that Corollary 3.7 is true.

4. Two Examples

In the section, we present two examples to explain our results.

Example 4.1.

Let 𝕋=[0,1){1,2,3,4,5}[6,7], and consider the following BVP: -yΔ2(t)=f(yσ(t)),t[0,5]𝕋,35y(23)+23yΔ(0)=y(0),16y(23)=y(σ(5)), where f(y)=(17737/89902)y+1/101. It is easy to check that 0<35=α1<σ(b)-γ1η+(γ1-1)(a-β1)σ(b)-η=6-(1/6)·(2/3)+(1/6-1)(0-2/3)6-2/3=2924,β1=23>0,0<16=γ1<σ(b)-a+β1η-a+β1=6-1+(2/3)2/3-0+2/3=5, and therefore, the condition (H) is satisfied. By computation, we can get that d1=(γ1-1)(a-β1)+(1-α1)σ(b)+η(α1-γ1)=14645,G1(t,s)={G11(t,s),0s23,G12(t,s),  23<s5, where G11(t,s)=45146{[16(t-23)+σ(5)-t](σ(s)+23),σ(s)t,[16(σ(s)-23)+6-σ(s)](t+23)+35(23-6)(t-σ(s)),ts,G12(t,s)=45146{[σ(s)(1-35)+35×23+23](6-t)+16(23+23)(t-σ(s)),σ(s)t,[t(1-35)+35×23+23](6-σ(s)),ts.From the proof of Lemma 2.5 in , we can get that G1(·,s)=max{G1(0,s),G1(σ(s),s),1d1(η-a+β1)(σ(b)-σ(s))}=G1(σ(s),s), and for γ1=1/6(0,1] and α1=3/5(0,1), we have K1=4514602/3[16(s-23)+6-s](s+23-0)ds+451462/31[s(1-35)+35×23+23-0](6-s)ds+s=1545146[(s+1)(1-35)+35×23+23][6-(s+1)]=8990217739. Thus, we can obtain that limyf(y)y=limy(17737/89902)y+1/101y=1773789902<d=K1-1=1773989902. By Theorem 3.1, it is easy to get that the BVP (4.1) has a solution y*.

Example 4.2.

Let us introduce an example to illustrate the usage of Theorem 3.5. Let n=2,𝕋={(2/3)n:n0}{0}[1,2],  a=8/27,  η=4/9,b=2/3,  α1=1/2,  β1=1/9,α2=1/10,  β2=7/27,γ1=3/2, and γ2=2. Then condition (H) is satisfied. Green’s function G1(t,s) in Lemma 2.1 is G1(t,s)={G11(t,s),827s49,G12(t,s),  49<s23, where G11(t,s)=274{[32(t-49)+1-t][32s+19-827],32st,[32(32s-49)+1-32s](t+19-827)+12(49-1)(t-32s),ts,G12(t,s)=274{[32s(1-12)+12×49+19-827](1-t)+32(49-827+19)(t-32s),32st,[t(1-12)+12×49+19-827](1-32s),ts. Green’s function G2(t,s) in Lemma 2.1 is G2(t,s)={G21(t,s),827s49,G22(t,s),  49<s23, where G21(t,s)=545{[2(t-49)+1-t][32s+727-827],32st,[2(32s-49)+1-32s](t+727-827)+110(49-1)(t-32s),ts,G22(t,s)=544{[32s(1-110)+110×49+727-827](1-t)+2(49-827+727)(t-32s),32st,[t(1-110)+110×49+727-827](1-32s),ts. Since s[a,(γ1(η-a+β1)-α1η-β1+a)/(1-α1))=[8/27,19/27), by using the cases in the proof of Lemma 2.5 of , we can know that G1(·,s)=G1(σ(2/3),s). Therefore, we have K1=133/324.

Set f(t,y)=t|y|siny+t3-2sint,  k(t)=t, and h(t)=t3+2sint. Then it is easy to prove that

f(t,y)k(t)|y|+h(t),(t,y)[a,σ(b)]×. On the other hand, since s[a,(γ2(η-a+β2)-α2η-β2+a)/(1-α2))=[8/27,218/243), we can know that G2(·,s)=G2(1,s) by using the cases in the proof of Lemma 2.5 of . Therefore, we have aσ(b)G2(·,s)k(s)Δs=6·11·16·475·273. Thus Kaσ(b)G2(·,s)k(s)Δs=(j=12-1Kj)aσ(b)G2(·,s)k(s)Δs=133324·6·11·16·475·273<1. Hence, by Theorem 3.5, the BVP (1.2) has at least one nontrivial solution y*.

Acknowledgment

Project supported by the Youth Science Foundation of Shanxi Province (2009021001-2).

AgarwalR. P.O'ReganD.Nonlinear boundary value problems on time scalesNonlinear Analysis: Theory, Methods & Applications200144452753510.1016/S0362-546X(99)00290-4MR1822100ZBL0995.34016AticiF. M.GuseinovG. Sh.On Green's functions and positive solutions for boundary value problems on time scalesJournal of Computational and Applied Mathematics20021411-2759910.1016/S0377-0427(01)00437-XMR1911548ZBL1007.34025BohnerM.PetersonA.Dynamic Equations on Time Scales: An Introduction with Application2001Boston, Mass, USABirkhäuserx+358MR1843232BohnerM.PetersonA.Advances in Dynamic Equations on Time Scales2003Boston, Mass, USABirkhäuserxii+348MR1962542LakshmikanthamV.SivasundaramS.KaymakcalanB.Dynamic Systems on Measure Chains1996370Dordrecht, The NetherlandsKluwer Academic Publishersx+285Mathematics and Its ApplicationsMR1419803AndersonD. R.Solutions to second-order three-point problems on time scalesJournal of Difference Equations and Applications20028867368810.1080/1023619021000000717MR1914597ZBL1021.34011BoeyK. L.WongP. J. Y.Existence of triple positive solutions of two-point right focal boundary value problems on time scalesComputers & Mathematics with Applications20055010–121603162010.1016/j.camwa.2005.07.006MR2185711ZBL1122.34015CetinE.TopalS. G.Higher order boundary value problems on time scalesJournal of Mathematical Analysis and Applications2007334287688810.1016/j.jmaa.2006.08.078MR2338634ZBL1124.34009DaCunhaJ. J.DavisJ. M.SinghP. K.Existence results for singular three point boundary value problems on time scalesJournal of Mathematical Analysis and Applications2004295237839110.1016/j.jmaa.2004.02.049MR2072019ZBL1069.34012HanW.KangS.Multiple positive solutions of nonlinear third-order BVP for a class of p-Laplacian dynamic equations on time scalesMathematical and Computer Modelling2009493-452753510.1016/j.mcm.2008.08.002MR2483656KaufmannE. R.Positive solutions of a three-point boundary-value problem on a time scaleElectronic Journal of Differential Equations2003200382111MR1995608ZBL1047.34015LuoH.MaQ.Positive solutions to a generalized second-order three-point boundary-value problem on time scalesElectronic Journal of Differential Equations2005200517114MR2119069ZBL1075.34014LuoH.Positive solutions to singular multi-point dynamic eigenvalue problems with mixed derivativesNonlinear Analysis: Theory, Methods & Applications20097041679169110.1016/j.na.2008.02.051MR2483589ZBL1168.34014SunH.-R.LiW.-T.Positive solutions for nonlinear three-point boundary value problems on time scalesJournal of Mathematical Analysis and Applications2004299250852410.1016/j.jmaa.2004.03.079MR2098256ZBL1070.34029SunH. R.LiW. T.Positive solutions for nonlinear m-point boundary value problems on time scalesActa Mathematica Sinica. Chinese Series2006492369380MR2252018SunJ.-P.Existence of solution and positive solution of BVP for nonlinear third-order dynamic equationNonlinear Analysis: Theory, Methods & Applications200664362963610.1016/j.na.2005.04.046MR2192002ZBL1099.34022AndersonD. R.AveryR. I.An even-order three-point boundary value problem on time scalesJournal of Mathematical Analysis and Applications2004291251452510.1016/j.jmaa.2003.11.013MR2039066ZBL1056.34013AndersonD. R.KaracaI. Y.Higher-order three-point boundary value problem on time scalesComputers & Mathematics with Applications20085692429244310.1016/j.camwa.2008.05.018MR2466765ZBL1165.39300HanW.LiuM.Existence and uniqueness of a nontrivial solution for a class of third-order nonlinear p-Laplacian m-point eigenvalue problems on time scalesNonlinear Analysis: Theory, Methods & Applications20097051877188910.1016/j.na.2008.02.088MR2492126Yaslanİ.Existence results for an even-order boundary value problem on time scalesNonlinear Analysis: Theory, Methods & Applications200970148349110.1016/j.na.2007.12.019MR2468254ZBL1159.34019SunJ.-P.A new existence theorem for right focal boundary value problems on a measure chainApplied Mathematics Letters2005181414710.1016/j.aml.2003.04.008MR2121552ZBL1074.34017Krasnosel'eskiĭM. A.ZabreĭkoP. P.Geometrical Methods of Nonlinear Analysis1984263Berlin, GermanySpringerxix+409Grundlehren der Mathematischen WissenschaftenMR736839YaoQ.-L.Several existence results of some nonlinear third-order ordinary differential equationsPure and Applied Mathematics2003193248252MR2022021YaoQ.-L.Some sufficient conditions of solvability for a nonlinear second-order three-point boundary value problemChinese Journal of Engineering Mathematics200421610291032MR2130702DeimlingK.Nonlinear Functional Analysis1985Berlin, GermanySpringerxiv+450MR787404