- Research Article
- Open Access
Linking Contractive Self-Mappings and Cyclic Meir-Keeler Contractions with Kannan Self-Mappings
© M. De la Sen. 2010
- Received: 1 September 2009
- Accepted: 22 February 2010
- Published: 28 February 2010
Some mutual relations between p-cyclic contractive self-mappings, p-cyclic Kannan self-mappings, and Meir-Keeler p-cyclic contractions are stated. On the other hand, related results about the existence of the best proximity points and existence and uniqueness of fixed points are also formulated.
- Nonexpansive Mapping
- Nonempty Subset
- Real Constant
- Real Sequence
- Maximal Monotone Operator
In the last years, important attention is being devoted to extend the Fixed Point Theory by weakening the conditions on both the maps and the sets where those maps operate [1, 2]. For instance, every nonexpansive self-mappings on weakly compact subsets of a metric space have fixed points if the weak fixed point property holds . Further, increasing research interest relies on the generalization of Fixed Point Theory to more general spaces than the usual metric spaces such as, for instance, ordered or partially ordered spaces (see, e.g., [3–5]). Also, important fields of application of Fixed Point Theory exist nowadays in the investigation of the stability of complex continuous-time and discrete-time dynamic systems. The theory has been focused, in particular, on systems possessing internal lags, those being described by functional differential equations, those being characterized as hybrid dynamic systems and those being described by coupled continuous-time and discrete-time dynamics, [6–10]. On the other hand, Meir-Keeler self-mappings have received important attention in the context of Fixed Point Theory perhaps due to the associated relaxing in the required conditions for the existence of fixed points compared with the usual contractive mappings [11–14]. It also turns out from their definition that such self-mappings are less restrictive than strict contractive self-mappings so that their associated formalism is applicable to a wider class of real-life problems. Another interest of such self-mappings is their usefulness as a formal tool for the study of ( 2)-cyclic contractions, even in the eventual case that the involved subsets of the metric space under study do not intersect,  so that there is no fixed point. In such a case, the usual role of fixed points is played by the best proximity points between adjacent subsets in the metric space. The underlying idea is that the best proximity points are fixed points if such subsets intersect while they play a close role to fixed points otherwise. On the other hand, there are also close links between contractive self-mappings and Kannan self-mappings [2, 15–17] with constant (referred to in the following as Kannan self-mappings). In fact, -Kannan self-mappings are contractive for values of the contraction constant being less than 1/3 .
for some real . The best proximity point is some such that . It turns out that if , then ; that is, is a fixed point of since [11–13]. If , then ; and is a 2-cyclic nonexpansive self-mapping . Nonexpansive mappings, in general, have received important attention in the last years. For instance, two hybrid methods are used in  to prove some strong convergence theorems. Those theorems are used to find a common element of the zero point set of a maximal monotone operator and the fixed point set of a relatively nonexpansive mapping in a Banach space. The concept of a strongly relatively nonexpansive sequence in a Banach space is given in . The associate properties are investigated and applied approximating a common fixed point of a countable family of relatively nonexpansive mappings in uniformly convex and uniformly smooth Banach spaces. Also, the so-called -times reasonable expansive and their properties self-mappings are investigated in .
is the set of fixed points of a -cyclic self-mapping in a nonempty subset of a metric space .
is the set of the best proximity points in a subset of a -cyclic self-mapping on , namely, the union of a collection of nonempty subsets of a metric space which do not intersect.
Contractive self-mappings with constant and Kannan self-mappings with constant are referred to as -contractions and -Kannan self-mappings, respectively.
(referred to as "not ") is the negation of a logic proposition .
2. About 2-Cyclic -Contraction, 2-Cyclic -Kannan Self-Mappings, Contractions of Meir-Keeler Type, and Some Mutual Relationships
for some . Definition 2.1 is a natural counterpart of (2.1) for -Kannan self-mappings by taking into account the definition of a 2-cyclic -contraction in (1.1).
Let be a metric space and let be a 2-cyclic -contraction self-mapping with and being nonempty nondisjoint subsets of . It turns out that is also a contractive mapping with constant .
Contraction self-mappings can also be 2-cyclic -Kannan self-mappings and vice-versa as addressed in the two following results:
Assume that is a 2-cyclic -contraction self-mapping with . Then, is also a 2-cyclic -Kannan self-mapping, .
for , , . Thus, is a 2-cyclic -Kannan self-mapping from Definition 2.1 for if . The proof is complete.
Assume that and are closed disjoint nonempty bounded simply connected sets with and for some , . Assume also that is a 2-cyclic -Kannan self-mapping with and subject to the constraints and with . Then, is also a 2-cyclic -contraction self-mapping for any real constant .
provided that under the necessary conditions and . The above derivation remains valid by interchanging the roles of the sets and since .
The following two results are direct.
Proposition 2.4 holds "mutatis-mutandis" if either or is an open set.
It follows under the same reasoning by taking in if is open and in if is open.
Proposition 2.4 and Corollary 2.5 cannot be fulfilled for any if .
It is direct since and and are infinite.
Definition 2.7 (see ).
The subsequent result is concerned with 2-cyclic contraction self-mappings of Meir-Keeler type
Assume that is a 2-cyclic contraction self-mapping of Meir-Keeler type. Then, the following properties hold:
(i)If , then and ; , that is, all the best proximity points are also fixed points.
(ii)If , then either or ; .
If, in addition, , that is, , then (otherwise, ; would be a contradiction), so that and such that which are the best proximity points and also fixed points.
for some defined by . Furthermore, since (resp., ), what yields (resp., ); and since .
A 2-cyclic -Kannan self-mapping defined for some real and some (see Definitions 2.1 and 2.7) is of Meir-Keeler type if for any given , such that (2.8) holds.
Proposition 2.3, Definitions 2.1 and 2.9, and Proposition 2.8 yield directly the following result.
Assume that is a 2-cyclic contraction self-mapping of Meir- Keeler type with . Then, is also a 2-cyclic -Kannan self-mapping, . If , then .
From the definition of -contraction self-mappings and Definition 2.7 for Meir-Keeler type contraction self-mappings, the following result holds.
Since is a contraction self-mapping which is also of Meir-Keeler type, the result follows directly by combining (1.1) and (2.8).
3. -Cyclic -Contraction, Contractions of Meir-Keeler Type, -Cyclic -Kannan Self-Mappings, and Some Mutual Relationships
A set of relevant results for -cyclic self-mappings for are obtained in . Those self-mappings obey the subsequent definitions.
Definition 3.1 (see ).
Let be nonempty subsets of a metric space ; . Then, is a -cyclic self-mapping if ; with ; .
for some real constant .
A point is said to be the best proximity point if , . In this paper, it is also proven that if is a -cyclic nonexpansive self-mapping, that is, ; ; , then ; (i.e., the distances between adjacent sets are identical). Some properties concerned with -cyclic nonexpansive self-mappings are stated and proven in the next lemma.
where ; .
If ; , , with ; , there is which is unique if is complete.
Equation (3.2) follows by constructing a recursion directly from (1.1); ; , which can be also written equivalently in the form (3.3) by using the index identity ; , . If , then ; , from (3.2) since , so that there exists ; . The point is in since by construction of the self-mappings ; , since . Also, is unique if is complete. Property (i) has been proven.
It follows from the recursion ; , obtained from (3.2) for , since is nonexpansive.
The auxiliary properties of Remark 3.4 below have been used in the proof of Lemma 3.3.
for some ; and associated composed mappings defined by ; , subject to .
The subsequent definitions extend Definitions 3.1-3.2 by removing the necessity of the set inclusions ; and allowing obtaining of contractions from the composed mappings ; which are not all necessarily contractions provided that ; .
Let be nonempty subsets of a metric space with , . Then, ; is a composed -cyclic self-mapping if ; with ; .
for some real constant and, furthermore, if ; with ; .
If fulfils Definition 3.7 with (3.11) being true also for , then it is said to be a composed -cyclic nonexpansive mapping.
Note that if is a composed -cyclic nonexpansive self-mapping (resp., a composed -cyclic -contraction self-mapping) for some then it is so for all . Composed -cyclic contractions are characterized according to tests stated and proven in the subsequent result.
Assume that are nonempty subsets of a metric space ; . Assume also that ; , ; and that ; fulfils (3.9) for some ; .
or , otherwise.
If and , then ; is a composed -cyclic -contraction self-mapping.
The first part of the result has been proven since (3.11) holds. The second one is a direct conclusion of the first one for the case .
It is now proven that if and ; , then all the self-mappings ; are composed -cyclic -contraction self-mappings possessing fixed points. If, furthermore, is a complete metric space, then each of those self-mappings possesses a unique fixed point.
; are all composed -cyclic -contraction self-mappings which satisfy, in addition, ; (i.e., and ; ) and which possess common fixed points in , that is, ; .
There is a unique set satisfying the constraints , subject to , for any given and for any given . Furthermore, each of those sets satisfies the limiting property ; for each and any given .
consists of a unique point z if is a complete metric space.
If is a complete metric space, then there is a unique set satisfying ; with for any and any given .
If ; , then and . From Proposition 3.9, constraint (3.11) holds with and ; so that the limit exists and is equal to zero; , . Then, ; since , ; .
If is complete, then since the fixed point is unique. It is now proven by contradiction that ; . Assume that so that since . Then, ; from the definition of the composed self-mapping as ; .
As a result, which is a contradiction to the above assumption and proves the result. Now, it is proven that ; . Proceed by contradiction. Assume that for some . Note that for the given since . Thus, since which contradicts . Then, . Property (i) has been proven.
Then, the -tuple , and thus the corresponding set is unique for each and some since is a self-mapping on ; . On the other hand, there exists such that for each and each . Thus, a unique -tuple exists for each and then a unique set ; . Property (ii) has been proven. Property (iii) follows directly from Property (i) together with Property (ii) since is complete. Property (iv) follows directly from Properties (ii) and (iii).
Note that only a point in the unique set , referred to in Corollary 3.10(iv), is a fixed point of the composed -cyclic -contraction self-mappings on , if the metric space is complete. Also, there is only a guaranteed fixed point of the composed -cyclic -contraction self-mappings on ; , referred to in Corollary 3.10(ii), in each of the corresponding unique sets if is not complete.
An extra conclusion result can be obtained from Corollary 3.10 as follows in view of Remark 3.5:
Now, the self-mapping is defined as for each such that for some ; such that . It turns out that such a mapping is a -cyclic -contraction if the composed self-mappings on are composed -cyclic -contractions. Note that there always exists a unique for each given which, in addition, fulfils since ; . The following result is obtained directly from Corollaries 3.10(i) and 3.10(iv).
Consider the self-mapping , subject to ; , , and assume that and ; so that is a -cyclic -contraction. Then, which, furthermore, consists of a single point if is a complete metric space.
The relation between composed -cyclic -contractions satisfying Corollaries 3.10–3.12 and the so-called -cyclic -Kannan self-mappings defined below is now discussed. Let be nonempty subsets of a metric space ; . Consider the mappings satisfying for ; for the nonempty subsets of the metric space . Note that this implies that , , and . The following definition which generalizes Definition 2.1 is then used to prove further results.
Consider the self-mappings with for , ; being composed -cyclic -contractions satisfying . The following properties hold.
(i)The self-mappings ; and are self-mappings with .
(ii)The self-mappings and are, respectively, -cyclic -Kannan self-mappings for all and composed -cyclic -Kannan self-mappings for some real constant and any .
with since so that is a -Kannan self-mapping from (2.1) and so it is by construction. Property (i) has been proven. (ii) The proof follows directly since ; so that (3.23) implies that (3.21) holds.
It turns out that Proposition 3.14(ii) which is slightly modified still holds if the inclusion conditions ; are removed. In fact, the self-mappings and on and on , respectively, are -cyclic -Kannan self-mappings; and composed -cyclic -Kannan self-mappings, respectively, for some real constant and . The proof follows directly from that of Proposition 3.14(ii) and Definition 3.13 (see, in particular, (3.21)).
Definition 2.7 is generalized as follows for the case , and the subsequent theorem compares -cyclic -contractions with those of Meir-Keeler type.
Definition 3.16 (see ).
which can be used equivalently to state Definition 3.16. The following technical simple result will be then used in the proof of Theorem 3.18 below.
If (3.24), and equivalently (3.25), holds for some , for any given , then they also hold for some .
for any ; , , and the result holds with the replacement .
provided that for any given , since . Then, the -cyclic self-mapping on is also a contraction of Meir-Keeler type from Definition 3.16.
The subsequent result relies on the limiting property to the best proximity points of the distances between points in adjacent sets in self-mappings being -cyclic contractions of Meir-Keeler type.
Let be a -cyclic contraction of Meir-Keeler type. Then the following properties hold.
for any given and .
(ii)If , then ; , and consists of a unique fixed point if is complete.
and, furthermore, under the constraint which allows the choice ; .
for . If , then ; so that , , , and since from ; , then ; . This conclusion is direct from the following reasoning. Assume that for some arbitrary which exists since is a fixed point. Then, for any with ; . Thus, . Also, consists of a unique fixed point if is complete. Properties (i) and (ii) have been proven.
under the constraints and ; . Property (iii) has been proven.
The following result holds directly from (3.43) and (3.44) and Theorem 3.18.
The composed self-mappings on for set- depending self-mappings ; as well as the self-mappings T on defined by are guaranteed to be as follows.
-cyclic Meir-Keeler contractions if ,
Thus, there is an asymptotic convergence from any initial point to the best proximity point in general and to a fixed point if the sets in have a nonempty intersection. The fixed point is unique if is complete.
Nonexpansive -cyclic self-mappings if .
Expansive -cyclic self-mappings if .
More general conditions than the Meir-Keeler ones guaranteeing that the composed self-mappings on , are asymptotic contractions are now discussed.
Then, ; .
Furthermore, (3.46) holds if ; . As a result, as since the supremum of all limits superior converge to (see the proof of Theorem 3.19).
Theorem 3.20 may be particularized to -cyclic asymptotic contractions as follows.
Then, for the given .
Furthermore, (3.50) holds for the given if ; for the given . As a result, as since the supremum of all limit superiors converges to (see the proof of Theorem 3.19).
Note that Theorem 3.21 guarantees that the self-mapping on has a -cyclic Meir-Keeler asymptotic contraction for a particular , while Theorem 3.20 guarantees that all the self-mappings are asymptotic contractions. In both cases, the self-mappings can be locally expansive in the sense that it can happen that for some finite , some , and some .
The author is grateful to the Spanish Ministry of Education for its partial support to this work through Grant DPI 2009-07197. He is also grateful to the Basque Government for its support through Grants GIC07143-IT-269-07and SAIOTEK S-PE07UN04. The author thanks the reviewers for their useful comments who helped him to improve the former versions of the manuscript.
- Dominguez Benavides T, Phothi S: The fixed point property under renorming in some classes of Banach spaces. Nonlinear Analysis: Theory, Methods &Applications 2010,72(3–4):1409–1416. 10.1016/j.na.2009.08.024MathSciNetView ArticleMATHGoogle Scholar
- Suzuki T: A new type of fixed point theorem in metric spaces. Nonlinear Analysis: Theory, Methods & Applications 2009,71(11):5313–5317. 10.1016/j.na.2009.04.017MathSciNetView ArticleMATHGoogle Scholar
- Burgić Dž, Kalabušić S, Kulenović MRS: Global attractivity results for mixed-monotone mappings in partially ordered complete metric spaces. Fixed Point Theory and Applications 2009, 2009:-17.Google Scholar
- Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces. Proceedings of the American Mathematical Society 2007,135(8):2505–2517. 10.1090/S0002-9939-07-08729-1MathSciNetView ArticleMATHGoogle Scholar
- Olatinwo MO: Some common fixed point theorems for selfmappings satisfying two contractive conditions of integral type in a uniform space. Central European Journal of Mathematics 2008,6(2):335–341. 10.2478/s11533-008-0023-yMathSciNetView ArticleMATHGoogle Scholar
- Azhmyakov V: Convexity of the set of fixed points generated by some control systems. Journal of Applied Mathematics 2009, 2009:-14.Google Scholar
- De la Sen M: Total stability properties based on fixed point theory for a class of hybrid dynamic systems. Fixed Point Theory and Applications 2009, 2009:-19.Google Scholar
- De la Sen M: About robust stability of dynamic systems with time delays through fixed point theory. Fixed Point Theory and Applications 2008, 2008:-20.Google Scholar
- De la Sen M: Quadratic stability and stabilization of switched dynamic systems with uncommensurate internal point delays. Applied Mathematics and Computation 2007,185(1):508–526. 10.1016/j.amc.2006.07.048MathSciNetView ArticleMATHGoogle Scholar
- De la Sen M: On the robust adaptive stabilization of a class of nominally first-order hybrid systems. IEEE Transactions on Automatic Control 1999,44(3):597–602. 10.1109/9.751359MathSciNetView ArticleMATHGoogle Scholar
- Meir A, Keeler E: A theorem on contraction mappings. Journal of Mathematical Analysis and Applications 1969,28(2):326–329. 10.1016/0022-247X(69)90031-6MathSciNetView ArticleMATHGoogle Scholar
- Karpagam S, Agrawal S: Best proximity point theorems for -cyclic Meir-Keeler contractions. Fixed Point Theory and Applications 2009, 2009:-9.Google Scholar
- Chen C-M, Chang T-H: Fixed point theorems for a weaker Meir-Keeler type -set contraction in metric spaces. Fixed Point Theory and Applications 2009, 2009:-8.Google Scholar
- Eldred AA, Veeramani P: Existence and convergence of best proximity points. Journal of Mathematical Analysis and Applications 2006,323(2):1001–1006. 10.1016/j.jmaa.2005.10.081MathSciNetView ArticleMATHGoogle Scholar
- Kikkawa M, Suzuki T: Some similarity between contractions and Kannan mappings. Fixed Point Theory and Applications 2008, 2008:-8.Google Scholar
- Enjouji Y, Nakanishi M, Suzuki T: A generalization of Kannan's fixed point theorem. Fixed Point Theory and Applications 2009, 2009:-10.Google Scholar
- De la Sen M: Some combined relations between contractive mappings, Kannan mappings, reasonable expansive mappings, and -stability. Fixed Point Theory and Applications 2009, 2009:-25.Google Scholar
- Inoue G, Takahashi W, Zembayashi K: Strong convergence theorems by hybrid methods for maximal monotone operators and relatively nonexpansive mappings in Banach spaces. Journal of Convex Analysis 2009,16(3–4):791–806.MathSciNetMATHGoogle Scholar
- Aoyama K, Kohsaka F, Takahashi W: Strongly relatively nonexpansive sequences in Banach spaces and applications. Journal of Fixed Point Theory and Applications 2009,5(2):201–225. 10.1007/s11784-009-0108-7MathSciNetView ArticleMATHGoogle Scholar
- Chen C, Zhu C: Fixed point theorems for times reasonable expansive mapping. Fixed Point Theory and Applications 2008, 2008:-6.Google Scholar
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.