Some Fixed Point Theorems in Ordered -Metric Spaces and Applications
W. Shatanawi1
Academic Editor: D. Anderson
Received09 Jan 2011
Revised22 Mar 2011
Accepted19 Apr 2011
Published16 Jun 2011
Abstract
We study a number of fixed point results for the two weakly increasing mappings and with respect to partial ordering relation in generalized metric spaces. An application to integral equation is given.
1. Introduction
The existence of fixed points in partially ordered sets has been at the center of active research. In fact, the existence of fixed point in partially ordered sets has been investigated in [1]. Moreover, Ran and Reurings [1] applied their results to matrix equations. Some generalizations of the results of [1] are given in [2β6]. In [6], OβRegan and PetruΕel gave some existence results for the Fredholm and Volterra type.
The notion of -metric space was introduced by Mustafa and Sims [7] as a generalization of the notion of metric spaces. Mustafa et al. studied many fixed point results in -metric space [8β10] (also see [11β15]). In fact the study of common fixed points of mappings satisfying certain contractive conditions has been at the center of strong research activity. The following definition is introduced by Mustafa and Sims [7].
Definition 1.1 (see [7]). Let be a nonempty set and let be a function satisfying the following properties: if , , for all with , , for all with , , symmetry in all three variables, , for all . Then the function is called a generalized metric, or, more specifically, a -metric on , and the pair is called a -metric space.
Definition 1.2 (see [7]). Let be a -metric space, and let be a sequence of points of , a point is said to be the limit of the sequence , if , and we say that the sequence is -convergent to or -converges to .
Thus, in a -metric space if for any , there exists such that for all .
Proposition 1.3 (see [7]). Let be a -metric space. Then the following are equivalent: (1) is -convergent to ; (2) as ; (3) as ; (4) as .
Definition 1.4 (see [7]). Let be a -metric space, a sequence is called -Cauchy if for every , there is such that , for all ; that is as .
Proposition 1.5 (see [7]). Let be a -metric space. Then the following are equivalent: (1)the sequence is -Cauchy;(2)for every , there is such that , for all .
Definition 1.6 (see [7]). Let and be -metric spaces, and let be a function. Then is said to be -continuous at a point if and only if for every , there is such that and implies . A function is -continuous at if and only if it is -continuous at all .
Proposition 1.7 (see [7]). Let be a -metric space. Then the function is jointly continuous in all three of its variables.
Every -metric on will define a metric on by
For a symmetric -metric space,
However, if is not symmetric, then the following inequality holds:
The following are examples of -metric spaces.
Example 1.8 (see [7]). Let be the usual metric space. Define by
for all . Then it is clear that is a -metric space.
Example 1.9 (see [7]). Let . Define on by
and extend to by using the symmetry in the variables. Then it is clear that is a -metric space.
Definition 1.10 (see [7]). A -metric space is called -complete if every -Cauchy sequence in is -convergent in .
The notion of weakly increasing mappings was introduced in by Altun and Simsek [16].
Definition 1.11 (see [16]). Let be a partially ordered set. Two mappings are said to be weakly increasing if and , for all .
Two weakly increasing mappings need not be nondecreasing.
Example 1.12 (see [16]). Let , endowed with the usual ordering. Let defined by
Then and are weakly increasing mappings. Note that and are not nondecreasing.
The aim of this paper is to study a number of fixed point results for two weakly increasing mappings and with respect to partial ordering relation () in a generalized metric space.
2. Main Results
Theorem 2.1. Let be a partially ordered set and suppose that there exists -metric in such that is -complete. Let be two weakly increasing mappings with respect to . Suppose there exist nonnegative real numbers , , and with such that
for all comparative . If or is continuous, then and have a common fixed point .
Proof. By inequality (2.2), we have
If is a symmetric -metric space, then by adding inequalities (2.1) and (2.3), we obtain
which further implies that
for all with and the fixed point of and follows from [2]. Now if is not a symmetric -metric space. Then by the definition of metric and inequalities (2.1) and (2.3), we obtain
for all . Here, the contractivity factor may not be less than 1. Therefore metric gives no information. In this case, for given , choose such that . Again choose such that . Also, we choose such that . Continuing as above process, we can construct a sequence in such that , and , . Since and are weakly increasing with respect to , we have
Thus from (2.1), we have
By , we have
Also, we have
By , we get
Let
Then by (2.9) and (2.11), we have
Thus, if , we get for each . Hence for each . Therefore is -Cauchy. So we may assume that . Let with . By axiom of the definition of -metric space, we have
By (2.13), we get
On taking limit , we have
So we conclude that is a Cauchy sequence in . Since is -complete, then it yields that and hence any subsequence of converges to some . So that, the subsequences and converge to . First suppose that is -continuous. Since converges to , we get converges . By the uniqueness of limit we get . Claim: . Since , by inequality (2.1), we have
Since , we get . Hence . If is -continuous, by similar argument as above we show that and have a common fixed point.
Theorem 2.2. Let be a partially ordered set and suppose that there exists -metric in such that is -complete. Let be two weakly increasing mappings with respect to . Suppose there exist nonnegative real numbers , , and with such that
for all comparative . Assume that has the following property: If is an increasing sequence converges to in , then for all .Then and have a common fixed point .
Proof. As in the proof of Theorem 3.1, we construct an increasing sequence in such that and . Also, we can show is -Cauchy. Since is -complete, there is such that is converges to . Thus and converge to . Since satisfies property , we get that , for all . Thus and are comparative. Hence by inequality (2.1), we have
On letting , we get
Since , we get . Hence . By similar argument, we may show that .
Corollary 2.3. Let be a partially ordered set, and suppose that is a -complete metric space. Let be a continuous mapping such that , for all . Suppose there exist nonnegative real numbers , and with such that
for all comparative . Then has a fixed point .
Corollary 2.4. Let be a partially ordered set and suppose that there exists -metric in such that is -complete. Let be a mapping such that for all . Suppose there exist nonnegative real numbers , and with such that
for all comparative . Assume that has the following property: If is an increasing sequence converges to in , then for all .Then has fixed point .
Consider the integral equation:
where . The aim of this section is to give an existence theorem for a solution of the above integral equation using Corollary 2.4 This section is related to those [16β19].
Let be the set of all continuous functions defined on . Define
by
Then is a -complete metric space. Define an ordered relation on by
Then is a partially ordered set. The purpose of this section is to give an existence theorem for solution of integral equation on (3.1). This section is inspired in [17β19].
Theorem 3.1. Suppose the following hypotheses hold: (1) and are continuous, (2)for each , one has
(3)there exists a continuous function such that
for each comparable and each , (4) for some . Then the integral equation (3.1) has a solution .
Proof. Define by
Now, we have
Thus, we have , for all . For with , we have
By using hypotheses (4), there is such that
Thus, we have . Thus all the required hypotheses of Corollary 2.4 are satisfied. Thus there exist a solution of the integral equation (3.1).
Acknowledgments
The author would like to thank the editor of the paper and the referees for their precise remarks to correct and improve the paper. Also, the author would like to thank the hashemite university for the financial assistant of this paper.
References
A. C. M. Ran and M. C. B. Reurings, βA fixed point theorem in partially ordered sets and some applications to matrix equations,β Proceedings of the American Mathematical Society, vol. 132, no. 5, pp. 1435β1443, 2004.
R. P. Agarwal, M. A. El-Gebeily, and D. O'Regan, βGeneralized contractions in partially ordered metric spaces,β Applicable Analysis, vol. 87, no. 1, pp. 109β116, 2008.
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.
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, vol. 23, no. 12, pp. 2205β2212, 2007.
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.
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. 2505β2517, 2007.
Z. Mustafa and B. Sims, βA new approach to generalized metric spaces,β Journal of Nonlinear and Convex Analysis, vol. 7, no. 2, pp. 289β297, 2006.
Z. Mustafa and B. Sims, βSome remarks concerning D-metric spaces,β in Proceedings of the International Conference on Fixed Point Theory and Applications, pp. 189β198, Valencia, Spain, July 2003.
Z. Mustafa, W. Shatanawi, and M. Bataineh, βExistence of fixed point results in G-metric spaces,β International Journal of Mathematics and Mathematical Sciences, vol. 2009, Article ID 283028, 10 pages, 2009.
Z. Mustafa, H. Obiedat, and F. Awawdeh, βSome fixed point theorem for mapping on complete G-metric spaces,β Fixed Point Theory and Applications, vol. 2008, Article ID 189870, 12 pages, 2008.
M. Abbas and B. E. Rhoades, βCommon fixed point results for noncommuting mappings without continuity in generalized metric spaces,β Applied Mathematics and Computation, vol. 215, no. 1, pp. 262β269, 2009.
R. Chugh, T. Kadian, A. Rani, and B. E. Rhoades, βProperty
in G-metric spaces,β Fixed Point Theory and Applications, vol. 2010, Article ID 401684, 12 pages, 2010.
R. Saadati, S. M. Vaezpour, P. Vetro, and B. E. Rhoades, βFixed point theorems in generalized partially ordered G-metric spaces,β Mathematical and Computer Modelling, vol. 52, no. 5-6, pp. 797β801, 2010.
W. Shatanawi, βFixed point theory for contractive mappings satisfying -maps in Gmetric spaces,β Fixed Point Theory and Applications, vol. 2010, Article ID 181650, 9 pages, 2010.
H. Aydi, B. Damjanović, B. Samet, and W. Shatanawi, βCoupled fixed point theorems for nonlinear contractions in partially ordered G-metric spaces,β Mathematical and Computer Modelling. In press.
I. Altun and H. Simsek, βSome fixed point theorems on ordered metric spaces and application,β Fixed Point Theory and Applications, vol. 2010, Article ID 621469, 17 pages, 2010.
B. Ahmed and J. J. Nieto, βThe monotone iterative technique for three-point secondorder integrodifferential boundary value problems with -Laplacian,β Boundary Value Problems, vol. 2007, Article ID 57481, 9 pages, 2007.
A. Cabada and J. J. Nieto, βFixed points and approximate solutions for nonlinear operator equations,β Journal of Computational and Applied Mathematics, vol. 113, no. 1-2, pp. 17β25, 2000.
J. J. Nieto, βAn abstract monotone iterative technique,β Nonlinear Analysis: Theory Method and Applications, vol. 28, no. 12, pp. 1923β1933, 1997.