- Research
- Open access
- Published:
Fixed point theorems for -expansive mappings in complete metric spaces
Fixed Point Theory and Applications volume 2012, Article number: 157 (2012)
Abstract
In this paper, we introduce a new, simple and unified approach to the theory of expansive mappings. We present a new category of expansive mappings called -expansive mappings and study various fixed point theorems for such mappings in complete metric spaces. Further, we shall use these theorems to derive coupled fixed point theorems in complete metric spaces. Our new notion complements the concept of α-ψ-contractive type mappings introduced recently by Samet et al. (Nonlinear Anal. 2011, doi:10.1016/j.na.2011.10.014). The presented theorems extend, generalize and improve many existing results in the literature. Some comparative examples are constructed which illustrate our results in comparison to some of the existing ones in literature.
1 Introduction
The advancement and the rich growth of fixed point theorems in metric spaces have important theoretical and practical applications. The development has been tremendous in the last three decades. Although the concept of a fixed point theorem may appear as an abstract notion in metric spaces, it has remarkable influence on applications such as the theory of differential and integral equations [1], the game theory relevant to the military, sports and medicine as well as economics [2]. Besides, it has applications in physics, engineering, boundary value problems and variational inequalities (see, for instance, Beg [3] and El Naschie [4]). In 1984, Wang et al.[5] presented some interesting work on expansion mappings in metric spaces which correspond to some contractive mappings in [6]. Further, Khan et al.[7] generalized the result of [5] by using functions. Also, Rhoades [8] and Taniguchi [9] generalized the results of Wang [5] for a pair of mappings. Kang [10] generalized the result of Khan et al.[7], Rhoades [8] and Taniguchi [9] for expansion mappings. Recently, Samet et al.[11] introduced a new concept of α-ψ-contractive type mappings and established fixed point theorems for such mappings in complete metric spaces.
In this paper, we introduce a new notion of -expansive mappings and establish various fixed point theorems for such mappings in complete metric spaces. The presented theorems extend, generalize and improve many existing results in the literature. Some examples are considered to illustrate the usability of our obtained results.
2 Preliminaries
We need the following definitions and results, consistent with [5, 11].
Wang et al.[5] defined expansion mappings in the form of the following theorem.
Theorem 2.1[5]
Letbe a complete metric space. If f is a mapping of X into itself and if there exists a constantsuch that
for eachand f is onto, then f has a unique fixed point in X.
Recently, Samet et al.[11] considered the following family of functions and presented the new notions of α-ψ-contractive and α-admissible mappings.
Definition 2.1[11]
Let φ denote the family of all functions which satisfy the following:
-
(i)
for each , where is the n th iterate of ψ;
-
(ii)
ψ is non-decreasing.
Definition 2.2[11]
Let be a metric space and be a given self mapping. T is said to be an α-ψ-contractive mapping if there exist two functions and such that
for all .
Definition 2.3[11]
Let and . T is said to be α-admissible if
Now, we present some examples of α-admissible mappings.
Example 2.4 Let X be the set of all non-negative real numbers. Let us define the mapping by
and define the mapping by for all . Then T is α-admissible.
Example 2.5 Let X be the set of all non-negative real numbers. Let us define the mapping by
and define the mapping by for all . Then T is α-admissible.
In what follows, we present the main results of Samet et al.[11].
Theorem 2.2[11]
Letbe a complete metric space andbe an α-ψ-contractive mapping satisfying the following condition\s:
-
(i)
T is α-admissible;
-
(ii)
there exists such that ;
-
(iii)
T is continuous.
Then T has a fixed point, that is, there existssuch that.
Theorem 2.3[11]
Letbe a complete metric space andbe an α-ψ-contractive mapping satisfying the following conditions:
-
(i)
T is α-admissible;
-
(ii)
there exists such that ;
-
(iii)
if is a sequence in X such that for all n and as , then for all n.
Then T has a fixed point.
Samet et al.[11] added the following condition (H) to the hypotheses of Theorem 2.2 and Theorem 2.3 to assure the uniqueness of the fixed point:
(H): For all , there exists such that and .
Further, Samet et al.[11] derived coupled fixed point theorems in complete metric spaces using the previously obtained results.
Theorem 2.4[11]
Letbe a complete metric space andbe a given mapping. Suppose that there existsand a functionsuch that
for all. Suppose also that
-
(i)
for all , we have
-
(ii)
there exists such that
-
(iii)
F is continuous.
Then F has a coupled fixed point, that is, there existssuch thatand.
Theorem 2.5[11]
Letbe a complete metric space andbe a given mapping. Suppose that there existsand a functionsuch that
for all. Suppose also that
-
(i)
for all , we have
-
(ii)
there exists such that
-
(iii)
if and are sequences in X such that
andas, then
Then F has a coupled fixed point.
Samet et al.[11] added the following condition (H′) to the hypotheses of Theorem 2.4 and Theorem 2.5 to assure the uniqueness of the coupled fixed point:
(H′): For all , there exists such that
and
3 Main results
We shall make use of the standard notations and terminologies of nonlinear analysis throughout this paper. We introduce here a new notion of -expansive mappings as follows.
Let χ denote all functions which satisfy the following properties:
-
(i)
ξ is non-decreasing;
-
(ii)
for each , where is the n th iterate of ξ;
-
(iii)
, .
Lemma 3.1[11]
Ifis a non-decreasing function, then for each, implies.
Definition 3.1 Let be a metric space and be a given mapping. We say that T is an -expansive mapping if there exist two functions and such that
for all .
Remark 3.1 If is an expansion mapping, then T is an -expansive mapping, where for all and for all and some .
We now prove our main results.
Theorem 3.2 Letbe a complete metric space andbe a bijective, -expansive mapping satisfying the following conditions:
-
(i)
is α-admissible;
-
(ii)
there exists such that ;
-
(iii)
T is continuous.
Then T has a fixed point, that is, there existssuch that.
Proof Let us define the sequence in X by
where is such that . Now, if for any , one has that is a fixed point of T from the definition . Without loss of generality, we can suppose for each .
It is given that . Recalling that is α-admissible, therefore, we have
Using mathematical induction, we obtain
for all . Using (2) and applying the inequality (1) with and , we obtain
Therefore, by repetition of the above inequality, we have that
For any , we have
From for each , it follows that is a Cauchy sequence in the complete metric space . So, there exists such that as . From the continuity of T, it follows that as . By the uniqueness of the limit, we get , that is, u is a fixed point of T. This completes the proof. □
In what follows, we prove that Theorem 3.2 still holds for T not necessarily continuous, assuming the following condition:
(P): If is a sequence in X such that for all n and as , then
for all n.
Theorem 3.3 If in Theorem 3.2 we replace the continuity of T by the condition (P), then the result holds true.
Proof Following the proof of Theorem 3.2, we know that is a sequence in X such that for all n and as . Now, from the hypothesis (3), we have
for all . Utilizing the inequalities (1), (4) and the triangular inequality, we obtain
Continuity of ξ at implies that as . That is, . Consider, . This gives an end to the proof. □
We now present some examples in support of our results.
Example 3.2 Let endowed with standard metric for all . Define the mappings and by
and
Clearly, T is an -expansive mapping with for all . In fact, for all , we have
Moreover, there exists such that . In fact, for , we have
Obviously, T is continuous, and so it remains to show that is α-admissible. For this, let such that . This implies that and , and by the definitions of and α, we have
Then is α-admissible.
Now, all the hypotheses of Theorem 3.2 are satisfied. Consequently, T has a fixed point. In this example, 0 and 3/2 are two fixed points of T.
Remark 3.2 The expansion mapping theorem proved by Wang et al.[5] cannot be applied in the above example since we have
Now, we give an example involving a function T that is not continuous.
Example 3.3 Let endowed with the standard metric for all . Define the mappings and by
and
Due to the discontinuity of T at 1, Theorem 3.2 is not applicable in this case. Clearly, T is an -expansive mapping with for all . In fact, for all , we have
Moreover, there exists such that . In fact, for , we have
Now, let such that . This implies that , and by the definition of and α, we have
that is, is α-admissible.
Finally, let be a sequence in X such that for all n and as . Since for all n, by the definition of α, we have for all n and . Then .
Therefore, all the required hypotheses of Theorem 3.3 are satisfied, and so T has a fixed point. Here, 0 and 1 are two fixed points of T.
Remark 3.3 As in the previous example, the expansion mapping theorem is not applicable in this case either.
To ensure the uniqueness of the fixed point in Theorems 3.2 and 3.3, we consider the condition:
(U): For all , there exists such that and .
Theorem 3.4 Adding the condition (U) to the hypotheses of Theorem 3.2 (resp. Theorem 3.3), we obtain the uniqueness of the fixed point of T.
Proof From Theorem 3.2 and Theorem 3.3, the set of fixed points is non-empty. We shall show that if u and v are two fixed points of T, that is, and , then . From the condition (U), there exists such that
Recalling the α-admissible property of , we obtain from (5)
Therefore, by repeatedly applying the α-admissible property of , we get
Using the inequalities (1) and (7), we obtain
Repetition of the above inequality implies that
Thus, we have as . Using the similar steps as above, we obtain as . Now, the uniqueness of the limit of gives us . This completes the proof. □
Now, we shall show that the coupled fixed point theorems in complete metric spaces can also be derived from our results. Before proving the result, we recall the following definition due to Bhaskar and Lakshmikantham [12].
Definition 3.4[12]
Let be a given mapping. We say that is a coupled fixed point of F if
We shall require the following lemma due to Samet et al.[11] for the proof of our result.
Lemma 3.5[11]
Letbe a given mapping. Define the mappingby
Thenis a coupled fixed point of F if and only ifis a fixed point of T.
We, now prove the following results.
Theorem 3.6 Letbe a complete metric space andbe a given bijective mapping. Suppose that there existsand a functionsuch that
for all. Suppose also that
-
(i)
for all , we have
-
(ii)
there exists such that
where;
-
(iii)
F is continuous.
Then F has a coupled fixed point, that is, there existssuch thatand.
Proof For the proof of our result, we consider the mapping T given by (8) as a bijective mapping such that
Also, consider the complete metric space , where and for all . Using the inequality (9), we have
and
Define the function by
for all , .
Summing up the inequalities (10)-(11) and using (12), we get
for all , .
Using the property of the function ξ, we obtain
for all , .
Clearly, T is continuous and -expansive mapping.
Let , such that . Using the condition (i), we obtain . Then is η-admissible.
Moreover, from the condition (ii) of the hypothesis of the theorem, we find that there exists such that
So, we have transformed the problem to the complete metric space . Therefore, all the hypotheses of Theorem 3.2 are satisfied, and so we deduce the existence of a fixed point of T as well as . Now, Lemma 3.5 gives us the existence of a coupled fixed point of F. □
In what follows, we prove that Theorem 3.6 remains valid if we replace the continuity condition of F with the following condition:
(P′): if and are sequences in X such that
and as , then
Theorem 3.7 If we replace the continuity of F in Theorem 3.6 by the condition (), then the result holds true.
Proof We employ the same notations of the proof of Theorem 3.6. Let be a sequence in Y such that and as . Using the condition (P′), we have
Then all the hypotheses of Theorem 3.3 are satisfied. Thus, we deduce the existence of a fixed point of T that gives us from Lemma 3.5 the existence of a coupled fixed point of F. □
To ensure the uniqueness of the coupled fixed point, we consider the following condition:
(U′): For all , there exists such that
and
Theorem 3.8 Adding the condition (U′) to the hypotheses of Theorem 3.6 (resp. Theorem 3.7) we obtain the uniqueness of the coupled fixed point of F.
Proof Clearly, under the hypothesis (U′), T and η satisfy the hypothesis (U). Therefore, from Theorem 3.4 and Lemma 3.5, the result follows immediately. □
Example 3.5 Let equipped with the standard metric for all . Then is a complete metric space. Define the mapping by
Clearly, F is a continuous and bijective mapping. Define by
It is easy to show that for all , we have
Then (9) is satisfied with for all . On the other hand, the condition (i) of Theorem 3.6 holds and the condition (ii) of the same theorem is also satisfied with . All the required hypotheses of Theorem 3.6 are true and so we deduce the existence of a coupled fixed point of F. Here, is a coupled fixed point of F.
References
Zeidler E: Nonlinear Functional Analysis and Its Applications. Springer, New York; 1989.
Border KC: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge; 1990.
Beg I: Fixed point theorems in 2-metric spaces with an application to variational inequalities. Math. Sci. Res. Hot-Line 1998, 2: 1–7.
El Naschie MS: Elementary number theory in superstrings, loop quantum mechanics, twistors and E-infinity high energy physics. Chaos Solitons Fractals 2006, 27: 297–330. 10.1016/j.chaos.2005.04.116
Wang SZ, Li BY, Gao ZM, Iseki K: Some fixed point theorems on expansion mappings. Math. Jpn. 1984, 29: 631–636.
Rhoades BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226: 257–290.
Khan MA, Khan MS, Sessa S: Some theorems on expansion mappings and their fixed points. Demonstr. Math. 1986, 19: 673–683.
Rhoades BE: Some fixed point theorems for pairs of mappings. Jnanabha 1985, 15: 151–156.
Taniguchi T: Common fixed point theorems on expansion type mappings on complete metric spaces. Math. Jpn. 1989, 34: 139–142.
Kang SM: Fixed points for expansion mappings. Math. Jpn. 1993, 38: 713–717.
Samet B, Vetro C, Vetro P: Fixed point theorems for α - ψ -contractive type mappings. Nonlinear Anal. 2011. doi:10.1016/j.na.2011.10.014
Bhaskar TG, Lakshmikantham V: Fixed point theory in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
Acknowledgements
The first author would like to thank the University Grants Commission for financial support during the preparation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have contributed in obtaining the new results presented in this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Shahi, P., Kaur, J. & Bhatia, S. Fixed point theorems for -expansive mappings in complete metric spaces. Fixed Point Theory Appl 2012, 157 (2012). https://doi.org/10.1186/1687-1812-2012-157
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2012-157