 Research Article
 Open Access
 Published:
Multiple Positive Solutions of Point BVPs for ThirdOrder Laplacian Dynamic Equations on Time Scales
Advances in Difference Equations volume 2009, Article number: 262857 (2009)
Abstract
This paper is concerned with the existence of multiple positive solutions for the thirdorder Laplacian dynamic equation with the multipoint boundary conditions , where with . Using the fixed point theorem due to Avery and Peterson, we establish the existence criteria of at least three positive solutions to the problem. As an application, an example is given to illustrate the result. The interesting points are that not only do we consider thirdorder Laplacian dynamic equation but also the nonlinear term is involved with the firstorder delta derivative of the unknown function.
1. Introduction
The theory of dynamic equations on time scales was introduced by Stefan Hilger in 1988 [1]. This theory has attracted many researchers' attention and interest since it cannot only unify differential and difference equations but also provides accurate information of phenomena that manifest themselves partly in continuous time and partly in discrete time. In addition, timescale calculus would allow exploration of a variety of situations in economic, biological, heat transfer, stock market, and epidemic models [2, 3], and so forth.
Recently, there has been much attention paid to the existence of positive solutions for secondorder nonlinear boundary value problems on time scales; see [4–10] and the references therein. On the one hand, higherorder nonlinear boundary value problems have been studied extensively; see [11–14] and the references therein. On the other hand, the boundary value problems with Laplacian operator have also been discussed extensively in literature; for example, see [15–17]. However, very little work has been done to the thirdorder Laplacian dynamic equations on time scales [18, 19].
For convenience, throughout this paper, we denote as Laplacian operator, that is, for with and We also assume that is a closed subset of with ; an interval always means . Other types of intervals are defined similarly.
For example, Sun and Li [16] studied the twopoint boundary value problem:
They established the existence theory for positive solutions by using various fixed point theorems [20, 21].
In [15], Su et al. investigated the existence of positive solutions for the following singular Laplacian point boundary value problem on time scales:
The main techniques are Schauder fixed point theorem and upper and lower solutions method.
In [19], Han and Kang considered the following thirdorder Laplacian dynamic equation on time scales:
By using fixed point theorems in cones, the existence criteria of multiple positive solutions are established.
In [10], Zhao and Sun studied the following secondorder nonlinear threepoint boundary value problem on time scales:
They gave sufficient condition for the existence of three positive solutions by using a fixed point theorem due to Avery and Peterson [22].
Motivated by [10, 15, 16, 19], in this paper we consider the following thirdorder Laplacian dynamic equation on time scales:
subject to the boundary condition
where , for . By using fixed point theorem due to Avery and Peterson [22], we prove that the boundary value problems (1.5) and (1.6) have at least three positive solutions under suitable assumptions. The interesting points are that not only do we consider thirdorder Laplacian dynamic equation on time scales but also the nonlinear term is involved with the firstorder delta derivative of the unknown function.
Throughout this paper, it is assumed that

(H1)
and , both and do not vanish identically on any closed subinterval of , and there exists such that hold;

(H2)
there exist nonnegative constants and satisfying for
2. Preliminary
To prove the main results in this paper, we will employ several lemmas. And the following lemma is based on the linear BVP:
Lemma 2.1.
If , then the problems (2.1) and (2.2) have the unique nonnegative solution:
Proof.
For any , suppose that is a solution of the BVPs (2.1) and (2.2). By integrating (2.1) from to , and combining the boundary condition, it follows that
Using (2.2), we can easily obtain
So
Then it is easy to see that
So . On the other hand, it is easy to verify that if is as in (2.3), then is a solution of (2.1) and (2.2). Thus in (2.3) is the unique solution of (2.1) and (2.2).
Let = be endowed with the norm
It follows that is a Banach space. Define the cone by
Lemma 2.2.
If , then there exists a constant such that
Proof.
For , implies that
In addition, since
then we have
Therefore, We can choose and the proof is complete.
Lemma 2.3.
If , then for .
Proof.
If , then is decreasing and , and thus and are decreasing. So we have
By the concavity of , for , there is
Then we have
The proof is complete.
Let and be nonnegative continuous convex functionals on , let be a nonnegative continuous concave functional on , and let be a nonnegative continuous functional on . Then for positive real numbers and , we define the following convex sets:
and a closed set
The following fixed point theorem due to Avery and Peterson is fundamental in the proof of our main results.
Lemma 2.4 (see [22]).
Let be a cone in a real Banach space . Let and be nonnegative continuous convex functionals on , let be a nonnegative continuous concave functional on , and let be a nonnegative continuous functional on satisfying for , such that for some positive numbers and ,
for all . Suppose that is completely continuous and there exist positive numbers , and with such that

(S1)
and for ;

(S2)
for with ;

(S3)
and for with .
Then has at least three fixed points , such that
3. Existence Results
In this section, by using the AveryPeterson fixed point theorem, we shall give the sufficient conditions for the existence of at least three positive solutions to the BVPs (1.5) and (1.6).
Firstly, we define the nonnegative continuous concave functional , the nonnegative continuous convex functionals , and the nonnegative continuous functional on , respectively, by
For notation convenience, we denote
Now we state and prove our main result.
Theorem 3.1.
Let and suppose that satisfies the following conditions:

(A1)
for

(A2)
for

(A3)
for
Then problems (1.5) and (1.6) have at least three positive solutions , and such that
Proof.
Define an integral operator by
for . It is easy to obtain that is a completely continuous operator and every fixed point of is a solution of (1.5) and (1.6).
Thus we set out to verify that the operator satisfies AveryPeterson fixed point theorem which will prove the existence of three fixed points of . Now the proof is divided into some steps.
By virtue of , , and Lemma 2.2 we know that there exists a constant such that
We first show that implies that
In fact, for , , by Lemma 2.2, there is It follows from that
Thus (3.6) holds.
Next we show that condition in Lemma 2.4 holds. Let Then it is easy to see that , , and for , so . Also, we have
So . Hence
If , then for It follows from condition that
Therefore we have
That is, condition in Lemma 2.4 is satisfied.
We now prove that in Lemma 2.4 holds. In fact, since then with Lemma 2.3 it follows that
for with . Hence condition in Lemma 2.4 is satisfied.
Finally, we assert that in Lemma 2.4 also holds.
Observe that , so Suppose with Then, by hypothesis we have
Thus condition in Lemma 2.4 holds.
Therefore an application of Lemma 2.4 implies that the BVPs (1.5) and (1.6) have at least three positive solutions , and such that (3.3) holds.
4. Example
In this section, we present an example to explain our result.
Let , , , and , , , , . We consider the following boundary value problem:
where
Choosing , , , , direct calculation shows that
Consequently, satisfies

(i)
for

(ii)
for

(iii)
for
Then all conditions of Theorem 3.1 hold. Thus with Theorem 3.1, the BVP (4.1) has at least three positive solutions , , and such that
References
 1.
Hilger S: Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten, Ph.D. thesis. Universität Würzburg, Würzburg, Germany; 1988.
 2.
Spedding V: Taming nature's numbers. New Scientist July 2003, 28–32.
 3.
Thomas DM, Vandemuelebroeke L, Yamaguchi K: A mathematical evolution model for phytoremediation of metals. Discrete and Continuous Dynamical Systems B 2005,5(2):411–422.
 4.
Agarwal RP, Espinar VO, Perera K, Vivero DR: Multiple positive solutions in the sense of distributions of singular BVPs on time scales and an application to EmdenFowler equations. Advances in Difference Equations 2008, 2008:13.
 5.
Agarwal RP, Espinar VO, Perera K, Vivero DR: Multiple positive solutions of singular Dirichlet problems on time scales via variational methods. Nonlinear Analysis: Theory, Methods & Applications 2007,67(2):368–381. 10.1016/j.na.2006.05.014
 6.
Bohner M, Peterson A: Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2001:x+358.
 7.
Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.
 8.
Li WT, Sun HR: Positive solutions for secondorder point boundary value problems on time scales. Acta Mathematica Sinica 2006,22(6):1797–1804. 10.1007/s1011400507485
 9.
Wang Y, Ge W: Positive solutions for multipoint boundary value problems with a onedimensional Laplacian. Nonlinear Analysis: Theory, Methods & Applications 2007,66(6):1246–1256. 10.1016/j.na.2006.01.015
 10.
Zhao B, Sun HR: Multiplicity results of positive solution for nonlinear threepoint boundary value problem on time scales. Advances in Dynamical Systems and Applications 2009,4(2):25–43.
 11.
Henderson J: Multiple solutions for th order SturmLiouville boundary value problems on a measure chain. Journal of Difference Equations and Applications 2000,6(4):417–429. 10.1080/10236190008808238
 12.
Li SH: Positive solutions of nonlinear singular thirdorder twopoint boundary value problem. Journal of Mathematical Analysis and Applications 2006,323(1):413–425. 10.1016/j.jmaa.2005.10.037
 13.
Sun YP: Positive solutions of singular thirdorder threepoint boundary value problem. Journal of Mathematical Analysis and Applications 2005,306(2):589–603. 10.1016/j.jmaa.2004.10.029
 14.
Yaslan İ: Existence results for an evenorder boundary value problem on time scales. Nonlinear Analysis: Theory, Methods & Applications 2009,70(1):483–491. 10.1016/j.na.2007.12.019
 15.
Su YH, Li WT, Sun HR: Positive solutions of singular Laplacian BVPs with sign changing nonlinearity on time scales. Mathematical and Computer Modelling 2008,48(5–6):845–858. 10.1016/j.mcm.2007.11.008
 16.
Sun HR, Li WT: Existence theory for positive solutions to onedimensional Laplacian boundary value problems on time scales. Journal of Differential Equations 2007,240(2):217–248. 10.1016/j.jde.2007.06.004
 17.
Zhou CL, Ma DX: Existence and iteration of positive solutions for a generalized rightfocal boundary value problem with Laplacian operator. Journal of Mathematical Analysis and Applications 2006,324(1):409–424. 10.1016/j.jmaa.2005.10.086
 18.
Anderson DR, Cabada A: Thirdorder rightfocal multipoint problems on time scales. Journal of Difference Equations and Applications 2006,12(9):919–935. 10.1080/10236190600839322
 19.
Han W, Kang S: Multiple positive solutions of nonlinear thirdorder BVP for a class of Laplacian dynamic equations on time scales. Mathematical and Computer Modelling 2009,49(3–4):527–535. 10.1016/j.mcm.2008.08.002
 20.
Deimling K: Nonlinear Functional Analysis. Springer, Berlin, Germany; 1985:xiv+450.
 21.
Guo DJ, Lakshmikantham V: Nonlinear Problems in Abstract Cones, Notes and Reports in Mathematics in Science and Engineering. Volume 5. Academic Press, Boston, Mass, USA; 1988:viii+275.
 22.
Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Computers & Mathematics with Applications 2001,42(3–5):313–322.
Acknowledgment
Supported by the NNSF of China (10801065) and NSF of Gansu Province of China (0803RJZA096).
Author information
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 Fixed Point Theorem
 Nonlinear Boundary
 Epidemic Model
 Real Banach Space
 Multiple Positive Solution