- Research Article
- Open Access
Existence of Solutions for Fourth-Order Four-Point Boundary Value Problem on Time Scales
© Dandan Yang et al. 2009
- Received: 11 April 2009
- Accepted: 28 July 2009
- Published: 19 August 2009
We present an existence result for fourth-order four-point boundary value problem on time scales. Our analysis is based on a fixed point theorem due to Krasnoselskii and Zabreiko.
- Unique Solution
- Boundary Value Problem
- Dynamic Equation
- Green Function
- Fixed Point Theorem
Very recently, Karaca  investigated the following fourth-order four-point boundary value problem on time scales:
for and And the author made the following assumptions:
(A2) If then
The following key lemma is provided in .
Lemma 1.1 (see [1, Lemma 2.5]).
The purpose of this paper is to establish some existence criteria of solution for BVP (1.8) which is a special case of (1.1). The paper is organized as follows. In Section 2, some basic time-scale definitions are presented and several preliminary results are given. In Section 3, by employing a fixed point theorem due to Krasnoselskii and Zabreiko, we establish existence of solutions criteria for BVP (1.8). Section 4 is devoted to an example illustrating our main result.
The study of dynamic equations on time scales goes back to its founder Hilger  and it is a new area of still fairly theoretical exploration in mathematics. In the recent years boundary value problem on time scales has received considerable attention [4–6]. And an increasing interest in studying the existence of solutions to dynamic equations on time scales is observed, for example, see [7–16].
For convenience, we first recall some definitions and calculus on time scales, so that the paper is self-contained. For the further details concerning the time scales, please see [17–19] which are excellent works for the calculus of time scales.
A time scale is an arbitrary nonempty closed subset of real numbers . The operators and from to
are called the forward jump operator and the backward jump operator, respectively.
For all we assume throughout that has the topology that it inherits from the standard topology on The notations and so on, will denote time-scale intervals
Then is called derivative of
The generalized function has then the following properties.
Lemma 2.3 (see ).
Assume that are two regressive functions, then
The following well-known fixed point theorem will play a very important role in proving our main result.
Theorem 2.4 (see ).
Then has a fixed point in
where And we make the following assumptions:
For convenience, we denote
First, we present two lemmas about the calculus on Green functions which are crucial in our main results.
where are given as (2.12), respectively.
Thus, we obtain (2.14) consequently.
And it is easy to know that and satisfies (2.13).
where are as in (2.29), respectively. By some rearrangement of (2.32), we obtain (2.26) consequently.
From the proof of Corollary 2.6, if take we get the following result.
Green function (2.37) associated with BVP (2.33) which is a special case of (2.13) is coincident with part of [21, Lemma 1].
and is given in Lemma 2.5.
The Green's function associated with the BVP (2.41) is . This completes the proof.
where and are given as (1.4) and (1.5), respectively. In fact, is incorrect. Thus, we give the right form of as the special case in our Lemma 2.9.
Assume ( )–( ) are satisfied. Moreover, suppose that the following condition is satisfied:
then BVP (1.8) has a solution .
where is given by (2.40). Then by Lemmas 2.5 and 2.9, it is clear that the fixed points of are the solutions to the boundary value problem (1.8). First of all, we claim that is a completely continuous operator, which is divided into 3 steps.
Step 1 ( is continuous).
Since are continuous, we have which yields That is, is continuous.
Step 2 ( maps bounded sets into bounded sets in ).
By virtue of the continuity of and , we conclude that is bounded uniformly, and so is a bounded set.
Step 3 ( maps bounded sets into equicontinuous sets of ).
The right hand side tends to uniformly zero as Consequently, Steps 1–3 together with the Arzela-Ascoli theorem show that is completely continuous.
Obviously, is a completely continuous bounded linear operator. Moreover, the fixed point of is a solution of the BVP (3.8) and conversely.
We are now in the position to claim that is not an eigenvalue of
If and then (3.8) has no nontrivial solution.
From the above discussion (3.11) and (3.12), we have . This contradiction implies that boundary value problem (3.8) has no trivial solution. Hence, is not an eigenvalue of
Set and select such that
Theorem 2.4 guarantees that boundary value problem (1.8) has a solution It is obvious that when for some In fact, if then will lead to a contradiction, which completes the proof.
We give an example to illustrate our result.
Since for each we have the following.
That is, is satisfied. Thus, Theorem 3.1 guarantees that (4.1) has at least one nontrivial solution
The authors would like to thank the referees for their valuable suggestions and comments. This work is supported by the National Natural Science Foundation of China (10771212) and the Natural Science Foundation of Jiangsu Education Office (06KJB110010).
- Karaca IY: Fourth-order four-point boundary value problem on time scales. Applied Mathematics Letters 2008, 21(10):1057–1063. 10.1016/j.aml.2008.01.001MATHMathSciNetView ArticleGoogle Scholar
- Bai C, Yang D, Zhu H: Existence of solutions for fourth order differential equation with four-point boundary conditions. Applied Mathematics Letters 2007, 20(11):1131–1136. 10.1016/j.aml.2006.11.013MATHMathSciNetView ArticleGoogle Scholar
- Hilger S: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results in Mathematics 1990, 18(1–2):18–56.MATHMathSciNetView ArticleGoogle Scholar
- Atici FM, Guseinov GSh: On Green's functions and positive solutions for boundary value problems on time scales. Journal of Computational and Applied Mathematics 2002, 141(1–2):75–99. 10.1016/S0377-0427(01)00437-XMATHMathSciNetView ArticleGoogle Scholar
- Benchohra M, Ntouyas SK, Ouahab A: Existence results for second order boundary value problem of impulsive dynamic equations on time scales. Journal of Mathematical Analysis and Applications 2004, 296(1):65–73. 10.1016/j.jmaa.2004.02.057MATHMathSciNetView ArticleGoogle Scholar
- Boey KL, Wong PJY: Positive solutions of two-point right focal boundary value problems on time scales. Computers & Mathematics with Applications 2006, 52(3–4):555–576. 10.1016/j.camwa.2006.08.025MATHMathSciNetView ArticleGoogle Scholar
- Stehlík P: Periodic boundary value problems on time scales. Advances in Difference Equations 2005, (1):81–92.Google Scholar
- Sun J-P: Existence of solution and positive solution of BVP for nonlinear third-order dynamic equation. Nonlinear Analysis: Theory, Methods & Applications 2006, 64(3):629–636. 10.1016/j.na.2005.04.046MATHMathSciNetView ArticleGoogle Scholar
- Sun H-R, Li W-T: Existence theory for positive solutions to one-dimensional -Laplacian boundary value problems on time scales. Journal of Differential Equations 2007, 240(2):217–248. 10.1016/j.jde.2007.06.004MATHMathSciNetView ArticleGoogle Scholar
- Su H, Zhang M: Solutions for higher-order dynamic equations on time scales. Applied Mathematics and Computation 2008, 200(1):413–428. 10.1016/j.amc.2007.11.022MATHMathSciNetView ArticleGoogle Scholar
- Wang D-B, Sun J-P: Existence of a solution and a positive solution of a boundary value problem for a nonlinear fourth-order dynamic equation. Nonlinear Analysis: Theory, Methods & Applications 2008, 69(5–6):1817–1823. 10.1016/j.na.2007.07.028MATHView ArticleGoogle Scholar
- Yaslan İ: Existence results for an even-order boundary value problem on time scales. Nonlinear Analysis: Theory, Methods & Applications 2009, 70(1):483–491. 10.1016/j.na.2007.12.019MATHMathSciNetView ArticleGoogle Scholar
- Su Y-H: Multiple positive pseudo-symmetric solutions of -Laplacian dynamic equations on time scales. Mathematical and Computer Modelling 2009, 49(7–8):1664–1681. 10.1016/j.mcm.2008.10.010MATHMathSciNetView ArticleGoogle Scholar
- Henderson J, Tisdell CC, Yin WKC: Uniqueness implies existence for three-point boundary value problems for dynamic equations. Applied Mathematics Letters 2004, 17(12):1391–1395. 10.1016/j.am1.2003.08.015MATHMathSciNetView ArticleGoogle Scholar
- Tian Y, Ge W: Existence and uniqueness results for nonlinear first-order three-point boundary value problems on time scales. Nonlinear Analysis: Theory, Methods & Applications 2008, 69(9):2833–2842. 10.1016/j.na.2007.08.054MATHMathSciNetView ArticleGoogle Scholar
- Anderson DR, Smyrlis G: Solvability for a third-order three-point BVP on time scales. Mathematical and Computer Modelling 2009, 49(9–10):1994–2001. 10.1016/j.mcm.2008.11.009MATHMathSciNetView ArticleGoogle Scholar
- Agarwal R, Bohner M, O'Regan D, Peterson A: Dynamic equations on time scales: a survey. Journal of Computational and Applied Mathematics 2002, 141(1–2):1–26. 10.1016/S0377-0427(01)00432-0MATHMathSciNetView ArticleGoogle Scholar
- Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston, Mass, USA; 2001:x+358.View ArticleGoogle Scholar
- Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.MATHView ArticleGoogle Scholar
- Krasnoselskiĭ MA, Zabreĭko PP: Geometrical Methods of Nonlinear Analysis, Grundlehren der Mathematischen Wissenschaften. Volume 263. Springer, Berlin, Germany; 1984:xix+409.Google Scholar
- Chai G: Existence of positive solutions for second-order boundary value problem with one parameter. Journal of Mathematical Analysis and Applications 2007, 330(1):541–549. 10.1016/j.jmaa.2006.07.092MATHMathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This 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.