# Existence of Solutions for Fourth-Order Four-Point Boundary Value Problem on Time Scales

- 994 Downloads

## Abstract

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.

### Keywords

Unique Solution Boundary Value Problem Dynamic Equation Green Function Fixed Point Theorem## 1. Introduction

Very recently, Karaca [1] investigated the following fourth-order four-point boundary value problem on time scales:

for Open image in new window Open image in new window and Open image in new window And the author made the following assumptions:

(A_{1}) Open image in new window and Open image in new window

(A_{2}) Open image in new window If Open image in new window then Open image in new window

The following key lemma is provided in [1].

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.

## 2. Preliminaries

The study of dynamic equations on time scales goes back to its founder Hilger [3] 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, 5, 6]. And an increasing interest in studying the existence of solutions to dynamic equations on time scales is observed, for example, see [7, 8, 9, 10, 11, 12, 13, 14, 15, 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, 18, 19] which are excellent works for the calculus of time scales.

A time scale Open image in new window is an arbitrary nonempty closed subset of real numbers Open image in new window . The operators Open image in new window and Open image in new window from Open image in new window to Open image in new window

are called the forward jump operator and the backward jump operator, respectively.

For all Open image in new window we assume throughout that Open image in new window has the topology that it inherits from the standard topology on Open image in new window The notations Open image in new window Open image in new window and so on, will denote time-scale intervals

where Open image in new window with Open image in new window

Definition 2.1.

Then Open image in new window is called derivative of Open image in new window

Definition 2.2.

The generalized function Open image in new window has then the following properties.

Lemma 2.3 (see [18]).

Assume that Open image in new window are two regressive functions, then

(i) Open image in new window and Open image in new window

(iii) Open image in new window

(vii) Open image in new window

The following well-known fixed point theorem will play a very important role in proving our main result.

Theorem 2.4 (see [20]).

Then Open image in new window has a fixed point in Open image in new window

where Open image in new window And we make the following assumptions:

() Open image in new window and Open image in new window

() Open image in new window and Open image in new window Open image in new window

Set

For convenience, we denote

First, we present two lemmas about the calculus on Green functions which are crucial in our main results.

Lemma 2.5.

where Open image in new window are given as (2.12), respectively.

Proof.

Thus, we obtain (2.14) consequently.

And it is easy to know that Open image in new window and Open image in new window satisfies (2.13).

Corollary 2.6.

Proof.

where Open image in new window 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 Open image in new window take Open image in new window Open image in new window Open image in new window Open image in new window we get the following result.

Corollary 2.7.

Remark 2.8.

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].

Lemma 2.9.

and Open image in new window is given in Lemma 2.5.

Proof.

The Green's function associated with the BVP (2.41) is Open image in new window . This completes the proof.

Remark 2.10.

where Open image in new window and Open image in new window are given as (1.4) and (1.5), respectively. In fact, Open image in new window is incorrect. Thus, we give the right form of Open image in new window as the special case Open image in new window in our Lemma 2.9.

## 3. Main Results

Theorem 3.1.

Assume ( Open image in new window )–( Open image in new window ) are satisfied. Moreover, suppose that the following condition is satisfied:

then BVP (1.8) has a solution Open image in new window .

Proof.

where Open image in new window is given by (2.40). Then by Lemmas 2.5 and 2.9, it is clear that the fixed points of Open image in new window are the solutions to the boundary value problem (1.8). First of all, we claim that Open image in new window is a completely continuous operator, which is divided into 3 steps.

Step 1 ( Open image in new window is continuous).

Since Open image in new window are continuous, we have Open image in new window which yields Open image in new window That is, Open image in new window is continuous.

Step 2 ( Open image in new window maps bounded sets into bounded sets in Open image in new window ).

By virtue of the continuity of Open image in new window and Open image in new window , we conclude that Open image in new window is bounded uniformly, and so Open image in new window is a bounded set.

Step 3 ( Open image in new window maps bounded sets into equicontinuous sets of Open image in new window ).

The right hand side tends to uniformly zero as Open image in new window Consequently, Steps 1–3 together with the Arzela-Ascoli theorem show that Open image in new window is completely continuous.

Obviously, Open image in new window is a completely continuous bounded linear operator. Moreover, the fixed point of Open image in new window is a solution of the BVP (3.8) and conversely.

We are now in the position to claim that Open image in new window is not an eigenvalue of Open image in new window

If Open image in new window and Open image in new window then (3.8) has no nontrivial solution.

From the above discussion (3.11) and (3.12), we have Open image in new window . This contradiction implies that boundary value problem (3.8) has no trivial solution. Hence, Open image in new window is not an eigenvalue of Open image in new window

Set Open image in new window and select Open image in new window such that Open image in new window

Theorem 2.4 guarantees that boundary value problem (1.8) has a solution Open image in new window It is obvious that Open image in new window when Open image in new window for some Open image in new window In fact, if Open image in new window then Open image in new window will lead to a contradiction, which completes the proof.

## 4. Application

We give an example to illustrate our result.

Example 4.1.

Since Open image in new window for each Open image in new window we have the following.

That is, Open image in new window is satisfied. Thus, Theorem 3.1 guarantees that (4.1) has at least one nontrivial solution Open image in new window

## Notes

### Acknowledgments

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).

### References

- 1.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.001MATHMathSciNetCrossRefGoogle Scholar - 2.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.013MATHMathSciNetCrossRefGoogle Scholar - 3.Hilger S: Analysis on measure chains—a unified approach to continuous and discrete calculus.
*Results in Mathematics*1990, 18(1–2):18–56.MATHMathSciNetCrossRefGoogle Scholar - 4.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-XMATHMathSciNetCrossRefGoogle Scholar - 5.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.057MATHMathSciNetCrossRefGoogle Scholar - 6.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.025MATHMathSciNetCrossRefGoogle Scholar - 7.Stehlík P: Periodic boundary value problems on time scales.
*Advances in Difference Equations*2005, (1):81–92.Google Scholar - 8.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.046MATHMathSciNetCrossRefGoogle Scholar - 9.Sun H-R, Li W-T: Existence theory for positive solutions to one-dimensional Open image in new window-Laplacian boundary value problems on time scales.
*Journal of Differential Equations*2007, 240(2):217–248. 10.1016/j.jde.2007.06.004MATHMathSciNetCrossRefGoogle Scholar - 10.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.022MATHMathSciNetCrossRefGoogle Scholar - 11.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.028MATHCrossRefGoogle Scholar - 12.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.019MATHMathSciNetCrossRefGoogle Scholar - 13.Su Y-H: Multiple positive pseudo-symmetric solutions of Open image in new window-Laplacian dynamic equations on time scales.
*Mathematical and Computer Modelling*2009, 49(7–8):1664–1681. 10.1016/j.mcm.2008.10.010MATHMathSciNetCrossRefGoogle Scholar - 14.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.015MATHMathSciNetCrossRefGoogle Scholar - 15.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.054MATHMathSciNetCrossRefGoogle Scholar - 16.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.009MATHMathSciNetCrossRefGoogle Scholar - 17.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-0MATHMathSciNetCrossRefGoogle Scholar - 18.Bohner M, Peterson A:
*Dynamic Equations on Time Scales: An Introduction with Applications*. Birkhäuser, Boston, Mass, USA; 2001:x+358.CrossRefGoogle Scholar - 19.Bohner M, Peterson A:
*Advances in Dynamic Equations on Time Scales*. Birkhäuser, Boston, Mass, USA; 2003:xii+348.MATHCrossRefGoogle Scholar - 20.Krasnoselskiĭ MA, Zabreĭko PP:
*Geometrical Methods of Nonlinear Analysis, Grundlehren der Mathematischen Wissenschaften*.*Volume 263*. Springer, Berlin, Germany; 1984:xix+409.Google Scholar - 21.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.092MATHMathSciNetCrossRefGoogle Scholar

## Copyright information

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.