- Open Access
Fixed point theorems of contractive mappings in cone b-metric spaces and applications
© Huang and Xu; licensee Springer 2013
- Received: 14 August 2012
- Accepted: 19 November 2012
- Published: 26 April 2013
The Erratum to this article has been published in Fixed Point Theory and Applications 2014 2014:55
In this paper we present some new examples in cone b-metric spaces and prove some fixed point theorems of contractive mappings without the assumption of normality in cone b-metric spaces. The results not only directly improve and generalize some fixed point results in metric spaces and b-metric spaces, but also expand and complement some previous results in cone metric spaces. In addition, we use our results to obtain the existence and uniqueness of a solution for an ordinary differential equation with a periodic boundary condition.
- cone b-metric space
- fixed point
- periodic boundary problem
Fixed point theory plays a basic role in applications of many branches of mathematics. Finding a fixed point of contractive mappings becomes the center of strong research activity. There are many works about the fixed point of contractive maps (see, for example, [1, 2]). In , Polish mathematician Banach proved a very important result regarding a contraction mapping, known as the Banach contraction principle, in 1922. In , Bakhtin introduced b-metric spaces as a generalization of metric spaces. He proved the contraction mapping principle in b-metric spaces that generalized the famous Banach contraction principle in metric spaces. Since then, several papers have dealt with fixed point theory or the variational principle for single-valued and multi-valued operators in b-metric spaces (see [4–6] and the references therein). In recent investigations, the fixed point in non-convex analysis, especially in an ordered normed space, occupies a prominent place in many aspects (see [7–10]). The authors define an ordering by using a cone, which naturally induces a partial ordering in Banach spaces. In , Huang and Zhang introduced cone metric spaces as a generalization of metric spaces. Moreover, they proved some fixed point theorems for contractive mappings that expanded certain results of fixed points in metric spaces. In , Hussain and Shah introduced cone b-metric spaces as a generalization of b-metric spaces and cone metric spaces. They established some topological properties in such spaces and improved some recent results about KKM mappings in the setting of a cone b-metric space. Throughout this paper, we firstly offer some new examples in cone b-metric spaces, then obtain some fixed point theorems of contractive mappings without the assumption of normality in cone b-metric spaces. Furthermore, we support our results by an example. The results greatly generalize and improve the work of [3, 4, 7, 8] and . As some applications, we show the existence and uniqueness of a solution for a first-order ordinary differential equation with a periodic boundary condition.
Consistent with Huang and Zhang , the following definitions and results will be needed in the sequel.
P is closed, nonempty, and ;
, , ;
On this basis, we define a partial ordering ≤ with respect to P by if and only if . We shall write to indicate that but , while will stand for . Write as the norm on E. The cone P is called normal if there is a number such that for all , implies . The least positive number satisfying the above is called the normal constant of P. It is well known that .
In the following, we always suppose that E is a Banach space, P is a cone in E with and ≤ is a partial ordering with respect to P.
Definition 1.1 ()
for all with and if and only if ;
for all ;
for all .
Then d is called a cone metric on X and is called a cone metric space.
Definition 1.2 ()
with and if and only if ;
The pair is called a cone b-metric space.
Remark 1.3 The class of cone b-metric spaces is larger than the class of cone metric spaces since any cone metric space must be a cone b-metric space. Therefore, it is obvious that cone b-metric spaces generalize b-metric spaces and cone metric spaces.
We can present a number of examples, as follows, which show that introducing a cone b-metric space instead of a cone metric space is meaningful since there exist cone b-metric spaces which are not cone metric spaces.
Example 1.4 Let , , and such that , where and are two constants. Then is a cone b-metric space, but not a cone metric space. In fact, we only need to prove (iii) in Definition 1.2 as follows:
for all . Thus, (d3) in Definition 1.1 is not satisfied, i.e., is not a cone metric space.
where . Then is a b-metric space (see ). Put , . Letting the mapping be defined by , we conclude that is a cone b-metric space with the coefficient , but it is not a cone metric space.
Definition 1.7 ()
converges to x whenever, for every with , there is a natural number N such that for all . We denote this by or ().
is a Cauchy sequence whenever, for every with , there is a natural number N such that for all .
is a complete cone b-metric space if every Cauchy sequence is convergent.
The following lemmas are often used (in particular when dealing with cone metric spaces in which the cone need not be normal).
Lemma 1.8 ()
Let P be a cone and be a sequence in E. If and (as ), then there exists N such that for all , we have .
Lemma 1.9 ()
Let , if and , then .
Lemma 1.10 ()
Let P be a cone and for each , then .
Lemma 1.11 ()
Let P be a cone. If and for some , then .
Lemma 1.12 ()
Let P be a cone and for each , then .
In this section, we will present some fixed point theorems for contractive mappings in the setting of cone b-metric spaces. Furthermore, we will give examples to support our main results.
where is a constant. Then T has a unique fixed point in X. Furthermore, the iterative sequence converges to the fixed point.
for each . Then, by Lemma 1.10, we deduce that , i.e., . That is, is a fixed point of T.
By Lemma 1.11, . The proof is completed. □
Here is the unique fixed point of T.
where the constant and , . Then T has a unique fixed point in X. Moreover, the iterative sequence converges to the fixed point.
Owing to , we deduce from Lemma 1.11 that . Therefore, we complete the proof. □
Remark 2.4 Theorem 2.1 extends the famous Banach contraction principle to that in the setting of cone b-metric spaces.
Remark 2.5 Any fixed point theorem in the setting of a metric space, a b-metric space or a cone metric space cannot cope with Example 2.2. So, Example 2.2 shows that the fixed point theory of cone b-metric spaces offers independently a strong tool for studying the positive fixed points of some nonlinear operators and the positive solutions of some operator equations.
Remark 2.6 The main results are some valuable additions to the available references regarding cone b-metric spaces since we have known few fixed point theorems of contractive mappings in the setting of cone b-metric spaces.
where is a continuous function.
Set such that , then there exists a unique solution of (3.1).
Proof Let and . Put as with such that . It is clear that is a complete cone b-metric space.
we speculate is a contractive mapping.
and Lemma 1.12 that , which means , that is, is complete.
Owing to the above statement, all the conditions of Theorem 2.1 are satisfied. Hence, T has a unique fixed point . That is to say, there exists a unique solution of (3.1). □
The authors thank the editor and the referees for their valuable comments and suggestions which improved greatly the quality of this paper. The research was supported by the National Natural Science Foundation of China (10961003) and partly supported by the Graduate Initial Fund of Hubei Normal University (2008D36).
- Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.View ArticleMATHGoogle Scholar
- Banach S: Sur les operations dans les ensembles abstrait et leur application aux equations, integrals. Fundam. Math. 1922, 3: 133–181.Google Scholar
- Bakhtin IA: The contraction mapping principle in almost metric spaces. Funct. Anal., Gos. Ped. Inst. Unianowsk 1989, 30: 26–37.MathSciNetGoogle Scholar
- Czerwik S: Nonlinear set-valued contraction mappings in b -metric spaces. Atti Semin. Mat. Fis. Univ. Modena 1998, 46: 263–276.MathSciNetGoogle Scholar
- Boriceanu M, Bota M, Petrusel A: Mutivalued fractals in b -metric spaces. Cent. Eur. J. Math. 2010, 8(2):367–377. 10.2478/s11533-010-0009-4MathSciNetView ArticleGoogle Scholar
- Bota M, Molnar A, Csaba V: On Ekeland’s variational principle in b -metric spaces. Fixed Point Theory 2011, 12: 21–28.MathSciNetGoogle Scholar
- Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332(2):1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleGoogle Scholar
- Rezapour S, Hamlbarani R: Some notes on the paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049MathSciNetView ArticleGoogle Scholar
- Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. 2011, 4(7):2591–2601.View ArticleGoogle Scholar
- Hussian N, Shah MH: KKM mappings in cone b -metric spaces. Comput. Math. Appl. 2011, 62: 1677–1684.MathSciNetView ArticleGoogle Scholar
- Cho S-H, Bae J-S: Common fixed point theorems for mappings satisfying property (E.A) on cone metric space. Math. Comput. Model. 2011, 53: 945–951. 10.1016/j.mcm.2010.11.002MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.