- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2013 (2013), Article ID 314382, 9 pages

http://dx.doi.org/10.1155/2013/314382

## Some New Existence Results of Positive Solutions to an Even-Order Boundary Value Problem on Time Scales

Department of Mathematics, North University of China, Taiyuan, Shanxi 030051, China

Received 12 April 2013; Accepted 16 May 2013

Academic Editor: Svatoslav Staněk

Copyright © 2013 Yanbin Sang. 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.

#### Abstract

We consider a high-order three-point boundary value problem. Firstly, some new existence results of at least one positive solution for a noneigenvalue problem and an eigenvalue problem are established. Our approach is based on the application of three different fixed point theorems, which have extended and improved the famous Guo-Krasnosel’skii fixed point theorem at different aspects. Secondly, some examples are included to illustrate our results.

#### 1. Introduction

We are concerned with the following even-order three-point boundary value problem on time scales : for , where and are given constants; is continuous and is right dense so that for ; is a constant; is continuous and not identically zero on ; is continuous. Throughout this paper, we suppose that is any time scale and is a subset of such that . Some preliminary definitions and theorems on time scales can be found in [1–4] which are excellent references for the calculus of time scales.

In recent years, the theory of time scales, which has received a lot of attention, was introduced by Hilger in his Ph.D. thesis [5] in 1988 in order to unify continuous and discrete analysis. In particular, the theory is also widely applied to stock market, biology, heat transfer, and epidemic models; for details, see [6–10] and the references therein. An important class of time scales are boundary value problems, and such investigations can provide accurate information of phenomena that manifest themselves partly in continuous time and partly in discrete time. There is much attention paid to the existence of positive solution for higher-order two-point boundary value problems on time scales [11–15]. 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 reader to [16–24] for some recent results.

We would like to mention some results of Anderson and Avery [16], Anderson and Karaca [17], Han and Liu [20], and Hu [21]. In [16], Anderson and Avery studied the following even-order BVP: They have studied the existence of at least one positive solution to the BVP (3) using the functional-type cone expansion-compression fixed point theorem.

In [17], Anderson and Karaca were concerned with the dynamic three-point boundary value problem Existence results of bounded solutions of a noneigenvalue problem are first established as a result of the Schauder fixed point theorem. Second, the monotone method is discussed to ensure the existence of solutions of the BVP (4). 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 (4) by using the Avery-Henderson fixed point theorem.

In [20], Han and Liu studied the existence and uniqueness of nontrivial solution for the following third-order -Laplacian -point eigenvalue problems on time scales: where is -Laplacian operator, that is, is a parameter, and . They obtained several sufficient conditions of the existence and uniqueness of nontrivial solution of (5) when is in some interval. Their approach is based on the Leray-Schauder nonlinear alternative.

Recently, in [21], Hu considered the following singular third-order three-point boundary value problem on time scales: where , , and The functions and are continuous. The nonlinearity may have singularity at and/or and may have singularity at . Some theorems on the existence of positive solutions of (6) were obtained by utilizing the fixed theorem of cone expansion and compression type.

We note that Yaslan [23] constructed the Green’s function for the BVP (1) and obtained the following result.

Theorem 1 (see [23]). *Assume that . In addition, there exist numbers such that
**
for , where , and are as in (16)–(21), respectively. Then the BVP (1) has at least one positive solution.*

One of the most frequently used tools for proving the existence of positive solutions to the integral equations is Krasnosel’skii’s theorem on cone expansion and compression and its norm-type version due to Guo and Lakshmikantham (see [25]), and they have been applied extensively to all kinds of problems, such as ordinary differential equations, difference equations, and the general dynamic equations on time scales. In order to apply them easily, more and more authors have been dedicated to extending this theorem. In [26], the authors dealt with modifications of the classical Krasnosel’skii fixed point theorem concerning cone compression and expansion of norm type. For further abstract result, the reader is referred to the recent paper [27].

In [28], Zima proved the following fixed point theorem of Leggett-Williams type.

Theorem 2 (see [28]). *Let be a real Banach space, a normal cone in , and the normal constant of . For , let . Assume that and are bounded open sets in such that and . Let be a completely continuous and . If either** for and for or** for and for **is satisfied, then has at least one fixed point in .*

We would also like to mention the results of Zhang and Sun [29, 30], in [29, 30]. Zhang and Sun continued to extend this theorem by replacing the norm with some convex functional on cone (let be a real Banach space and a cone in ). is said to be a convex functional on if for all , and . They obtained the following main results.

Theorem 3 (see [30]). *Let and be two bounded open sets in such that and . Suppose that is completely continuous and is a uniformly continuous convex functional with and for . If one of the following two conditions is satisfied:**, and , ,**, and , , **then has at least one fixed point in .*

*Remark 4 (see [30]). *Obviously, is a uniformly continuous convex functional with and for . Moreover, and since and .

In [31], Cid et al. combined the monotone iterative technique with the Guo-Krasnosel’skii fixed point theorem in cones. Their result is as follows.

Theorem 5 (see [31]). *Let be a real Banach space, a normal cone with normal constant and nonempty interior, and a completely continuous operator. Define and suppose that*(i)* there exist and such that , that is, , and that one of the two following conditions holds: *(ii)* is bounded;*(iii)* there exists such that .**If, moreover, is nondecreasing in the set
**
where is the normal constant of the cone, then there exists , such that .*

In this paper, we will improve and extend Theorem 1 in two different directions. On the one hand, we will weaken the restriction on in (8) by means of Theorem 2 (see Theorem 10). On the other hand, by constructing appropriate convex functional shown in [29, 30], the properties of on bounded sets will be considered. Furthermore, the new existence result is obtained by Theorem 3 (see Theorem 11).

#### 2. Preliminaries

Let be Green’s function for the following boundary value problem: A direct calculation gives where

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

Lemma 6 (see [23]). *Let . Then the Green function in (11) satisfies the following inequality:
**
for .*

Lemma 7 (see [23]). *Let . Then the Green function in (11) satisfies
**
for .*

Lemma 8 (see [23]). *Let and . Then the Green function in (11) satisfies
**
where
**
and is defined by .*

If we let for as in (11), then we can recursively define for and is Green’s function for the homogeneous problem

Lemma 9 (see [23]). *Let . Then the Green function satisfies the following inequalities:
**
where is given in (16),
*

Suppose that denotes the Banach space with the norm .

#### 3. Existence Theorem of Positive Solutions

In this section, we apply Theorems 2 and 3 to establish two existence criteria for the problem (1).

Theorem 10. *Assume that the following conditions hold.** There exists such that
* *for and .** There exist , and the continuous functions such that
* *for and , is nonincreasing on , and
**where , and are defined in (16)–(21), respectively. Then the problem (1) has at least one positive solution on .*

Theorem 11. *If there exist constants and with satisfying one of the following two conditions: **, , and , ;**, , and , , **where , and are defined in (16)–(21), respectively. Then the problem (1) has at least one positive solution.*

*Proof of Theorem 10. *Consider the Banach space and set
It is easy to show that is a normal cone in (with ). Obviously, for if and only if for every . Fix on . Then
For and , we define the integral operator
clearly, and every fixed point of is a solution of the problem (1). From the proof of Theorem 3 of [23], we can know that is completely continuous.

Let , , and then we can assume that . By , for and , we get
Hence, for .

Let , and then and for . By , we obtain
This gives for . By Theorem 2, has a fixed point such that . This ends the proof of Theorem 10.

*Proof of Theorem 11. *Set
It is clear that and are open sets with and .

We define . Then is a uniformly continuous convex functional with and for , where is defined in (25).

If , then and for , we have
Therefor,
If , then and for , we have
Therefore,
Thus, condition in Theorem 3 is satisfied, and the problem (1) has at least one positive solution.

In the following, we check condition in Theorem 3.

If , then and for , we have
Therefore,

If , then and for , we have
Therefore,
Thus, condition in Theorem 3 is satisfied, and the problem (1) has at least one positive solution.

*Remark 12. *In Theorem 10, we substitute condition for condition (8) in Theorem 1, and thus the more general and comprehensive functions are incorporated. In Theorem 11, we substitute condition or for conditions (7) and (8) in Theorem 1, where we only require that the “heights” of the nonlinear term are appropriate on some bounded sets. Moreover, the existence is independent of the growth of outside these bounded sets.

#### 4. Solvability of the Problem (2)

In this section, we apply Theorem 5 to obtain sufficient conditions for the existence of solutions for the problem (2). We note that the conspicuous advantage of Theorem 5 is that the conditions over the set of the lower solution are deleted.

We define the cone for some ( will be fixed later).

Since the problem (2) is equivalent to the following integral equation: we still define the operator as follows: By the proof of Section 3, we can know that is completely continuous. On the other hand, it is easy to check that is normal with normal constant and with nonempty interior.

Define The main result is as follows.

Theorem 13. *Assume that and there exists such that is nondecreasing on . If
**
then the problem (2) has at least a positive solution.*

*Proof. *Since , take and such that
First, we will prove that the function satisfies condition (i) in Theorem 5. It is easy to check that . At the same time, for each , we have
In addition, since , we have that for
In consequence, and satisfies condition (i).

Condition (ii) in Theorem 5 holds because of the assumed asymptotic behavior of at infinity. In fact, for fixed choose large enough such that
and satisfying provided that . Now suppose that with . Then for all and
for all , which implies that . Therefore, the set is contained in the ball centered at the origin and radius .

Finally, since is nondecreasing in , if we put with we have
and for and
and therefore and is nondecreasing. Thus, all conditions in Theorem 5 are satisfied. We can assert that the problem (2) has at least one positive solution.

*Remark 14. *In general, the previous results ensure the solvability of the problem (2) only for “enough small” , that is, for , where is a constant explicitly established. However, Theorem 13 implies that the problem (2) is solvable for all even if for some . We should point out that the spectrum structure of the corresponding linear problem of (2) is still unknown so far; therefore, we can not directly apply the results shown in [32] due to Webb and Infante and in [33] due to Webb and Lan to the problem (2).

#### 5. Some Examples

In this section, we present three examples to explain our results.

*Example 1. *Let , where denotes the set of all nonnegative integers. Consider the following BVP:
where
It is easy to check that is continuous. By computation, we can get that
where
Therefore, we can obtain that
Choose , and , and it is very easy to check that
is nonincreasing on , and
The assumptions of Theorem 10 are satisfied; therefore, the problem (51) has a positive solution such that .

*Example 2. *Let , and consider the following BVP:
where and
It is easy to check that is continuous. We can directly obtain that
where
Therefore, we can get that
Choose , and then we can get that satisfies
Therefore, condition in Theorem 11 is satisfied, and the BVP (58) has at least one positive solution.

If we take and choose , then By computation, we can get that Therefore, condition in Theorem 11 is satisfied, and the BVP (58) has at least one positive solution.

*Example 3. *Let be defined in Example 1, and we consider the following BVP:
where , .

By computation, we can get that Function is not monotone in ; however, from Example 2 in [31], we can know that is nondecreasing on .

It is easy to check that . Then Theorem 13 implies the existence of a positive solution of the BVP (67) for .

*Remark 15. *From the expressions of nonlinear terms which we defined in Examples 1 and 2, we can see that Theorem 1 cannot be directly applied to Examples 1 and 2.

#### Acknowledgments

The authors were supported financially by the National Natural Science Foundation of China, Tian Yuan Foundation (11226119), and the Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi.

#### References

- R. P. Agarwal and D. O'Regan, “Nonlinear boundary value problems on time scales,”
*Nonlinear Analysis*, vol. 44, no. 4, pp. 527–535, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - F. M. Atici and G. Sh. Guseinov, “On Green's functions and positive solutions for boundary value problems on time scales,”
*Journal of Computational and Applied Mathematics*, vol. 141, no. 1-2, pp. 75–99, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - M. Bohner and A. Peterson,
*Dynamic Equations on Time Scales: An Introduction with Applications*, Birkhäuser, Boston, Mass, USA, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - M. Bohner and A. Peterson,
*Advances in Dynamic Equations on Time Scales*, Birkhäuser, Boston, Mass, USA, 2003. View at Publisher · View at Google Scholar · View at MathSciNet - S. Hilger,
*Ein Maßettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten [Ph.D. thesis]*, Universität Würzburg, 1988. - F. M. Atici, D. C. Biles, and A. Lebedinsky, “An application of time scales to economics,”
*Mathematical and Computer Modelling*, vol. 43, no. 7-8, pp. 718–726, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - S. Hilger, “Analysis on measure chains—a unified approach to continuous and discrete calculus,”
*Results in Mathematics. Resultate der Mathematik*, vol. 18, no. 1-2, pp. 18–56, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - V. Jamieson and V. Spedding, “Taming nature’s numbers,” in
*New Scientist: The Global Science and Technology Weekly*, vol. 2404, pp. 28–31, 2003. - C. C. Tisdell and A. Zaidi, “Basic qualitative and quantitative results for solutions to nonlinear, dynamic equations on time scales with an application to economic modelling,”
*Nonlinear Analysis*, vol. 68, no. 11, pp. 3504–3524, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - X. Zhao and W. Ge, “Multiple positive solutions for time scale boundary value problems on infinite intervals,”
*Acta Applicandae Mathematicae*, vol. 106, no. 2, pp. 265–273, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - K. L. Boey and P. J. Y. Wong, “Existence of triple positive solutions of two-point right focal boundary value problems on time scales,”
*Computers & Mathematics with Applications*, vol. 50, no. 10–12, pp. 1603–1620, 2005. View at Publisher · View at Google Scholar · View at MathSciNet - E. Cetin and S. G. Topal, “Higher order boundary value problems on time scales,”
*Journal of Mathematical Analysis and Applications*, vol. 334, no. 2, pp. 876–888, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - E. Cetin and S. G. Topal, “Existence of multiple positive solutions for the system of higher order boundary value problems on time scales,”
*Mathematical and Computer Modelling*, vol. 52, no. 1-2, pp. 1–11, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - W. Han and S. Kang, “Multiple positive solutions of nonlinear third-order BVP for a class of $p$-Laplacian dynamic equations on time scales,”
*Mathematical and Computer Modelling*, vol. 49, no. 3-4, pp. 527–535, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - J. P. Sun, “Existence of solution and positive solution of BVP for nonlinear third-order dynamic equation,”
*Nonlinear Analysis*, vol. 64, no. 3, pp. 629–636, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - D. R. Anderson and R. I. Avery, “An even-order three-point boundary value problem on time scales,”
*Journal of Mathematical Analysis and Applications*, vol. 291, no. 2, pp. 514–525, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - D. R. Anderson and I. Y. Karaca, “Higher-order three-point boundary value problem on time scales,”
*Computers & Mathematics with Applications*, vol. 56, no. 9, pp. 2429–2443, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - D. R. Anderson and J. Hoffacker, “Existence of solutions to a third-order multi-point problem on time scales,”
*Electronic Journal of Differential Equations*, vol. 2007, no. 107, pp. 1–15, 2007. View at MathSciNet - D. R. Anderson and G. Smyrlis, “Solvability for a third-order three-point BVP on time scales,”
*Mathematical and Computer Modelling*, vol. 49, no. 9-10, pp. 1994–2001, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - W. Han and M. Liu, “Existence and uniqueness of a nontrivial solution for a class of third-order nonlinear $p$-Laplacian $m$-point eigenvalue problems on time scales,”
*Nonlinear Analysis*, vol. 70, no. 5, pp. 1877–1889, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - L. Hu, “Positive solutions to singular third-order three-point boundary value problems on time scales,”
*Mathematical and Computer Modelling*, vol. 51, no. 5-6, pp. 606–615, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - I. Y. Karaca, “Fourth-order four-point boundary value problem on time scales,”
*Applied Mathematics Letters*, vol. 21, no. 10, pp. 1057–1063, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - I. Yaslan, “Existence results for an even-order boundary value problem on time scales,”
*Nonlinear Analysis*, vol. 70, no. 1, pp. 483–491, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - I. Yaslan, “Higher order $m$-point boundary value problems on time scales,”
*Computers & Mathematics with Applications*, vol. 63, no. 3, pp. 739–750, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - D. J. Guo and V. Lakshmikantham,
*Nonlinear Problems in Abstract Cones*, Academic Press, Boston, Mass, USA, 1988. View at MathSciNet - D. R. Anderson and R. I. Avery, “Fixed point theorem of cone expansion and compression of functional type,”
*Journal of Difference Equations and Applications*, vol. 8, no. 11, pp. 1073–1083, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - W. Ge and C. Xue, “Some fixed point theorems and existence of positive solutions of two-point boundary-value problems,”
*Nonlinear Analysis*, vol. 70, no. 1, pp. 16–31, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - M. Zima, “Fixed point theorem of Leggett-Williams type and its application,”
*Journal of Mathematical Analysis and Applications*, vol. 299, no. 1, pp. 254–260, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - G. W. Zhang, J. X. Sun, and T. Zhang, “Fixed point theorem of domain compression and expansion of convex functional type,”
*Acta Mathematica Sinica*, vol. 51, no. 3, pp. 517–522, 2008. View at MathSciNet - G. Zhang and J. Sun, “A generalization of the cone expansion and compression fixed point theorem and applications,”
*Nonlinear Analysis*, vol. 67, no. 2, pp. 579–586, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - J. A. Cid, D. Franco, and F. Minhós, “Positive fixed points and fourth-order equations,”
*Bulletin of the London Mathematical Society*, vol. 41, no. 1, pp. 72–78, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - J. R. L. Webb and G. Infante, “Positive solutions of nonlocal boundary value problems: a unified approach,”
*Journal of the London Mathematical Society*, vol. 74, no. 3, pp. 673–693, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - J. R. L. Webb and K. Q. Lan, “Eigenvalue criteria for existence of multiple positive solutions of nonlinear boundary value problems of local and nonlocal type,”
*Topological Methods in Nonlinear Analysis*, vol. 27, no. 1, pp. 91–115, 2006. View at MathSciNet