 Research Article
 Open Access
 Published:
Eigenvalue Problems for Laplacian Functional Dynamic Equations on Time Scales
Advances in Difference Equations volume 2008, Article number: 879140 (2008)
Abstract
This paper is concerned with the existence and nonexistence of positive solutions of the Laplacian functional dynamic equation on a time scale, , , , , , . We show that there exists a such that the above boundary value problem has at least two, one, and no positive solutions for and , respectively.
1. Introduction
Let be a closed nonempty subset of , and let have the subspace topology inherited from the Euclidean topology on . In some of the current literature, is called a time scale (please see [1, 2]). For notation, we will use the convention that, for each interval of will denote timescale interval, that is,
In this paper, let be a time scale such that We are concerned with the existence of positive solutions of the Laplacian dynamic equation on a time scale
where is the Laplacian operator, that is, , where .

(H1)
The function is continuous and nondecreasing about each element;

(H2)
The function is left dense continuous (i.e., and does not vanish identically on any closed subinterval of . Here denotes the set of all left dense continuous functions from to .

(H3)
is continuous and .

(H4)
is continuous, for all .

(H5)
is continuous and nondecreasing; and satisfies that there exist such that
(1.2) 
(H6)
uniformly in
Laplacian problems with two, three, point boundary conditions for ordinary differential equations and finite difference equations have been studied extensively, for example, see [1–4] and references therein. However, there are not many concerning the Laplacian problems on time scales, especially for Laplacian functional dynamic equations on time scales.
The motivations for the present work stems from many recent investigations in [5–10] and references therein. Especially, Kaufmann and Raffoul [7] considered a nonlinear functional dynamic equation on a time scale and obtained sufficient conditions for the existence of positive solutions, Li and Liu [10] studied the eigenvalue problem for secondorder nonlinear dynamic equations on time scales. In this paper, our results show that the number of positive solutions of (1.1) is determined by the parameter . That is to say, we prove that there exists a such that (1.1) has at least two, one, and no positive solutions for and respectively.
For convenience, we list the following wellknown definitions which can be found in [11–13] and the references therein.
Definition 1.1.
For and , define the forward jump operator and the backward jump operator , respectively, as
If is said to be right scattered, and if is said to be left scattered. If is said to be right dense, and if is said to be left dense. If has a rightscattered minimum define otherwise set If has a leftscattered maximum define otherwise set
Definition 1.2.
For and define the deltaderivative of to be the number (when it exists), with the property that, for any , there is a neighborhood of such that
For and define the nabla derivative of to be the number (when it exists), with the property that, for any , there is a neighborhood of such that
If , then If , then is forward difference operator while is the backward difference operator.
Definition 1.3.
If , then define the delta integral by If , then define the nabla integral by
The following lemma is crucial to prove our main results.
Lemma 1.4 ([14]).
Let be a Banach space and let be a cone in . For , define Assume that is completely continuous such that for

(i)
If for then

(ii)
If for then
2. Positive Solutions
We note that is a solution of (1.1) if and only if
Let be endowed with the norm and define the cone of by
Clearly, is a Banach space with the norm . For each , extend to with for .
Define as
We seek a fixed point, , of in the cone . Define
Then denotes a positive solution of BVP (1.1).
It follows from (2.3) that the following lemma holds.
Lemma 2.1.
Let be defined by (2.3). If , then
 (i)

(ii)
is completely continuous.
The proof of Lemma 2.1 can be found in [15].
We need to define further subsets of with respect to the delay . Set
Throughout this paper, we assume and
Lemma 2.2.
Suppose that (H1)–(H5) hold. Then there exists a such that the operator has a fixed point at , where is the zero element of the Banach space .
Proof.
Set
We know that Let where
From above, we have
Let and Then
By the Lebesgue dominated convergence theorem [16] together with (H3), it follows that decreases to a fixed point of the operator The proof is complete.
Lemma 2.3.
Suppose that (H1)–(H6) hold and that for some . Then there exists a constant such that for all and all possible fixed points of at , one has
Proof.
Set
We need to prove that there exists a constant such that for all If the number of elements of is finite, then the result is obvious. If not, without loss of generality, we assume that there exists a sequence such that , where is the fixed point of the operator defined by (2.3) at
Then
We choose such that
such that
In view of (H6) there exists an sufficiently large such that For we have
which is a contradiction. The proof is complete.
Lemma 2.4.
Suppose that (H1)–(H5) hold and that the operator has a positive fixed point in at . Then for every the operator has a fixed point at , and
Proof.
Let be the fixed point of the operator at . Then
where Set
and Then
where is also defined by (2.6), which implies that decreases to a fixed point of the operator , and The proof is complete.
Lemma 2.5.
Suppose that (H1)–(H6) hold. Let have at least one fixed point at in . Then is bounded above.
Proof.
Suppose to the contrary that there exists a fixed point sequence of at such that Then we need to consider two cases:

(i)
there exists a constant such that

(ii)
there exists a subsequence such that which is impossible by Lemma 2.3.
Only (i) is considered. We can choose such that , and further . For , we have
Now we consider (2.18). Assume that the case (i) holds. Then
leads to
which is a contradiction. The proof is complete.
Lemma 2.6.
Let Then where is defined just as in Lemma 2.5.
Proof.
In view of Lemma 2.4, it follows that We only need to prove In fact, by the definition of , we may choose a distinct nondecreasing sequence such that Let be the positive fixed point of at By Lemma 2.3, is uniformly bounded, so it has a subsequence denoted by converging to Note that
Taking the limitation to both sides of (2.21), and using the Lebesgue dominated convergence theorem [16], we have
which shows that has a positive fixed point at The proof is complete.
Theorem 2.7.
Suppose that (H1)–(H6) hold. Then there exists a such that (1.1) has at least two, one, and no positive solutions for and respectively.
Proof.
Assume that (H1)–(H5) hold. Then there exists a such that has a fixed point at In view of Lemma 2.4, also has a fixed point and Note that is continuous on . For there exists a such that
Hence,
From above, we have
Set for and . We have for By Lemma 2.1, In view of (H6), we can choose such that
Set
Similar to Lemma 2.3, it is easy to obtain that
In view of Lemma 2.1, By the additivity of fixed point index,
So, has at least two fixed points in . The proof is complete.
References
Avery R, Henderson J:Existence of three positive pseudosymmetric solutions for a onedimensional Laplacian. Journal of Mathematical Analysis and Applications 2003, 277(2):395404. 10.1016/S0022247X(02)003086
Liu Y, Ge W:Twin positive solutions of boundary value problems for finite difference equations with Laplacian operator. Journal of Mathematical Analysis and Applications 2003, 278(2):551561. 10.1016/S0022247X(03)000180
Cabada A:Extremal solutions for the difference Laplacian problem with nonlinear functional boundary conditions. Computers & Mathematics with Applications 2001, 42(3–5):593601.
Wong FH:Existence of positive solutions for Laplacian boundary value problems. Applied Mathematics Letters 1999, 12(3):1117. 10.1016/S08939659(98)001645
Song C:Positive solutions of functional difference equations with Laplacian operator. Advances in Difference Equations 2006, 2006:9.
Sun HR, Li WT: Positive solutions for nonlinear threepoint boundary value problems on time scales. Journal of Mathematical Analysis and Applications 2004, 299(2):508524. 10.1016/j.jmaa.2004.03.079
Kaufmann ER, Raffoul YN: Positive solutions for a nonlinear functional dynamic equation on a time scale. Nonlinear Analysis: Theory, Methods & Applications 2005, 62(7):12671276. 10.1016/j.na.2005.04.031
Luo H, Ma Q: Positive solutions to a generalized secondorder threepoint boundaryvalue problem on time scales. Electronic Journal of Differential Equations 2005, 2005(17):114.
He Z:Double positive solutions of threepoint boundary value problems for Laplacian dynamic equations on time scales. Journal of Computational and Applied Mathematics 2005, 182(2):304315. 10.1016/j.cam.2004.12.012
Li WT, Liu XL: Eigenvalue problems for secondorder nonlinear dynamic equations on time scales. Journal of Mathematical Analysis and Applications 2006, 318(2):578592. 10.1016/j.jmaa.2005.06.030
Bohner M, Peterson A: Dynamic Equations on Time Scales. An Introduction with Application. Birkhäuser, Boston, Mass, USA; 2001:x+358.
Agarwal RP, Bohner M: Basic calculus on time scales and some of its applications. Results in Mathematics 1999, 35(12):322.
Hilger S: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results in Mathematics 1990, 18(12):1856.
Guo D, 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.
Song C:Existence of solutions for Laplacian functional dynamic equations on time scales. Electronic Journal of Differential Equations 2006, 2006(113):18.
Aulbach B, Neidhart L: Integration on measure chains. In Proceedings of the 6th International Conference on Difference Equations, JulyAugust 2004, Augsburg, Germany. CRC; 239252.
Acknowledgments
This work was supported by Grant 10571064 from NNSF of China, and by a grant from NSF of Guangdong.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Song, C. Eigenvalue Problems for Laplacian Functional Dynamic Equations on Time Scales. Adv Differ Equ 2008, 879140 (2008). https://doi.org/10.1155/2008/879140
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/879140
Keywords
 Differential Equation
 Partial Differential Equation
 Ordinary Differential Equation
 Functional Analysis
 Functional Equation