Research Article | Open Access

Xingchang Li, Zhihao Wang, "Existence and Uniqueness Theorems of Ordered Contractive Map in Banach Lattices", *Abstract and Applied Analysis*, vol. 2012, Article ID 191675, 9 pages, 2012. https://doi.org/10.1155/2012/191675

# Existence and Uniqueness Theorems of Ordered Contractive Map in Banach Lattices

**Academic Editor:**Yongfu Su

#### Abstract

This paper presents some existence and uniqueness theorems of the fixed point for ordered contractive mapping in Banach lattices. Moreover, we prove the existence of a unique solution for first-order ordinary differential equations with initial value conditions by using the theoretical results with no need for using the condition of a lower solution or an upper solution.

#### 1. Introduction and Preliminaries

Existence of fixed points in partial ordered complete metric spaces has been considered further recently in [1–6]. Many new fixed point theorems are proved in a metric space endowed with partial order by using monotone iterative technique, and their results are applied to problems of existence and uniqueness of solutions for some differential equation problems. In [6] the existence of a minimal and a maximal solution for a nonlinear problem is presented by constructing an iterative sequence with the condition of a lower solution or an upper solution.

In this paper, the theoretical results of fixed points are extended by using the theorem of cone and monotone iterative technique in Banach lattices. But the iterative sequences can be constructed with no need for using the condition of a lower solution or an upper solution. To demonstrate the applicability of our results, we apply them to study a problem of ordinary differential equations in the final section of the paper, and the existence and uniqueness of solution are obtained.

Let be a Banach space and a cone of . We define a partial ordering with respect to by if and only if . A cone is called normal if there is a constant , such that implies , for all . The least positive constant satisfying the above inequality is called the normal constant of .

Let be a Riesz space equipped with a Riesz norm. We call a Banach lattice in the partial ordering , if is norm complete. For arbitrary , and exist. One can see [7] for the definition and the properties about the lattice.

Let ; the operator is said to be an increasing operator if , , implies ; the operator is said to be a decreasing operator if , , implies .

Lemma 1.1 (see [8]). * Let be a normal cone in a real Banach space . Suppose that is a monotone sequence which has a subsequence converging to , then also converges to . Moreover, if is an increasing sequence, then ; if is a decreasing sequence, then . *

Lemma 1.2 (see [9]). * Let be a bounded open set in a real Banach space such that ; let be a cone of . Let is completely continuous. Suppose that
**
Then .*

Lemma 1.3 (see [9]). *Let be a real Banach space, and let be a cone. Assume and are two bounded open subsets of with and , and let is completely continuous. Suppose that either** and , or** and .**Then has a fixed point in . *

#### 2. Main Results

Theorem 2.1. * Let be a real Banach lattice, and let be a normal cone. Suppose that is a decreasing operator such that there exists a linear operator with spectral radius and
**
Then the operator has a unique fixed point. *

*Proof. *For any , since , we have . Now we suppose the following two cases.*Case (I)*. Suppose that is comparable to . Firstly, without loss of generality, suppose that . If , then the proof is finished. Suppose . Since is decreasing together with , we obtain by induction that and are comparable, for every . Using the contractive condition (2.1), we can obtain by induction that
In fact, for , using the fact that is normal, we have
Suppose that (2.2) is true when then when , we obtain
For any , , since is normal cone, we have
Here is the normal constant.

Given a such that , since , there exists a such that
For any , , since is normal cone, we have
This implies that is a Cauchy sequence in . The complete character of implies the existence of such that
Next, we prove that is a fixed point of in . Since is decreasing and , we can get .

So
then
It is easy to know that is increasing and
By induction, we obtain that
Hence, the sequence has an increasing Cauchy subsequence and a decreasing Cauchy subsequence such that
Thus Lemma 1.1 implies that , .

Since is a Cauchy sequence, we can get that .

Moreover
Thus . That is . Hence is a fixed point of in .*Case (II)*. On the contrary, suppose that is not comparable to .

Now, since is a Banach lattice, there exists such that . That is and . Since is a decreasing operator, we have
This shows that . Similarly as the proof of case (I), we can get that has a fixed point in .

Finally, we prove that has a unique fixed point in . In fact, let and be two fixed points of in .(1)If is comparable to , is comparable to for every , and
which implies .(2)If is not comparable to , there exists either an upper or a lower bound of and because is a Banach lattice, that is, there exists such that or . Monotonicity implies that is comparable to and , for all , and
This shows that when . Hence has a unique fixed point in .

Theorem 2.2. * Let be a real Banach lattice, and let be a normal cone. Suppose that is a completely continuous and increasing operator such that there exists a linear operator with spectral radius and
**
Then the operator has a unique fixed point in . *

* Proof. * For any , let . Now we suppose the following two cases.*Case (I)*. Firstly, suppose that there exists such that . If , then the proof is finished. Suppose . Since and is nondecreasing, we obtain by induction that
Similarly as the proof of Theorem 2.1, we can get that is a Cauchy sequence in . Since is complete, by Lemma 1.1, there exists such that
Next, we prove that is a fixed point of , that is, . In fact
Now, by the convergence of to , we can get . This proves that is a fixed point of . *Case (II)*. On the contrary, suppose that for all . Thus Lemma 1.2 implies the existence of a fixed point in this case also.

Finally, similarly as the proof of Theorem 2.1, we can get that has a unique fixed point in .

Theorem 2.3. *Let be a real Banach lattice, and let be a normal cone. Suppose that is a completely continuous and increasing operator which satisfies the following assumptions:*(i)*there exists a linear operator with spectral radius and
*(ii)* is bounded.**Then the operator has a unique nonzero fixed point in . *

*Proof. * Firstly, for any , let . Now we suppose the following two cases.*Case (I)*. Suppose that there exists such that . Similarly as proof of Theorem 2.1, we get that has a nonzero fixed point in .*Case (II)*. On the contrary, suppose that for all . Now, since is bounded there exists such that for all with . Thus Lemma 1.3 implies the existence of a nonzero fixed point in this case.

Finally, similarly as the proof of Theorem 2.1, we can get that has a unique non-zero fixed point in .

#### 3. Applications

In this section, we use Theorem 2.1 to show the existence of unique solution for the first-order initial value problem where and is a continuous function.

Theorem 3.1. * Let be continuous, and suppose that there exists , such that
**
Then (3.1) has a unique solution . *

*Proof. * It is easy to know that is a Banach space with maximum norm , and it is also a Banach lattice with maximum norm . Let , and is a normal cone in Banach lattice . Equation (3.1) can be written as
This problem is equivalent to the integral equation
Define operator as the following:
Moreover, the mapping is decreasing in . In fact, by hypotheses, for ,
implies that
so is decreasing. Besides, for ,
where . Since is decreasing, then is positive linear operator.

Now, let us prove that the spectral radius . For , since , we have
By mathematical induction, for any , we have
So
Since , we have
So the condition of Theorem 2.1 holds, and Theorem 3.1 is proved.

#### Acknowledgments

The first author was supported financially by the NSFC (71240007), NSFSP (ZR2010AM005).

#### References

- J. J. Nieto and R. Rodríguez-López, “Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations,”
*Order*, vol. 22, no. 3, pp. 223–239, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. J. Nieto and R. Rodríguez-López, “Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations,”
*Acta Mathematica Sinica, English Series*, vol. 23, no. 12, pp. 2205–2212, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH - D. O'Regan and A. Petruşel, “Fixed point theorems for generalized contractions in ordered metric spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 341, no. 2, pp. 1241–1252, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. J. Nieto, R. L. Pouso, and R. Rodríguez-López, “Fixed point theorems in ordered abstract spaces,”
*Proceedings of the American Mathematical Society*, vol. 135, no. 8, pp. 2505–2517, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH - K. Sadarangani, J. Caballero, and J. Harjani, “Contractive-like mapping principles in ordered metric spaces and application to ordinary differential equations,”
*Fixed Point Theory and Applications*, Article ID 916064, 14 pages, 2010. View at: Google Scholar | Zentralblatt MATH - J. J. Nieto, “An abstract monotone iterative technique,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 28, no. 12, pp. 1923–1933, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH - W. A. J. Luxemburg and A. C. Zaanen,
*Riesz Spaces*, vol. 1, North-Holland, Amsterdam, The Netherlands, 1971. - D. J. Guo, J. X. Sun, and Z. L. Liu,
*The Functional Methods in Nonlinear Differential Equation*, Shandong Technical and Science Press, 2006. - D. J. Guo and V. Lakshmikantham,
*Nonlinear Problems in Abstract Cones*, vol. 5 of*Notes and Reports in Mathematics in Science and Engineering*, Academic Press, NewYork, NY, USA, 1988.

#### Copyright

Copyright © 2012 Xingchang Li and Zhihao Wang. 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.