 Research
 Open Access
 Published:
Fixed point results for \{\alpha ,\xi \}expansive locally contractive mappings
Journal of Inequalities and Applications volume 2014, Article number: 364 (2014)
Abstract
We recall the concepts of \{\alpha ,\xi \}contractive and αadmissible mappings on complete metric spaces to state related fixed point theorems. In this paper, we obtain some fixed point results for \{\alpha ,\xi \}expansive locally contractive mappings in complete metric spaces. The contractiveness of the mapping is only on a closed ball instead of the whole space. Our results unify, generalize, and complement various wellknown comparable results in the literature.
MSC:46S40, 47H10, 54H25.
1 Introduction and preliminaries
The main revolution in the existence theory of many linear and nonlinear operators happened after the Banach contraction principle [1]. After the emergence of this principle many researchers put their efforts into studying the existence and solutions for nonlinear equations (algebraic, differential, and integral), a system of linear (nonlinear) equations and convergence of many computational methods. The Banach contraction gave us many important theories like variational inequalities, optimization theory, and many computational theories. Due to the wide importance of the Banach contraction, many authors generalized it in several directions [2–17]. Wang et al. in [18] defined expansion mappings in the form of the following theorem.
Theorem 1 [18]
Let (X,d) be a complete metric space. If F is a selfmapping on X and if there exists a constant k>1 such that
for all x,y\in X and F is onto, then F has a unique fixed point in X.
On the other hand, Samet et al. in [19] introduced the concepts of (\alpha \text{}\psi )contractive and αadmissible mappings in complete metric spaces. They also proved a fixed point theorem for (\alpha \text{}\psi )contractive mappings in complete metric spaces using the concept of αadmissible mapping.
Let us denote by Ψ the family of nondecreasing functions \psi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}) such that {\sum}_{n=1}^{\mathrm{\infty}}{\psi}^{n}(t)<+\mathrm{\infty} for all t>0, where {\psi}^{n} is the n th iterate of ψ.
The following lemma can easily be deduced.
Lemma 2 If \psi \in \mathrm{\Psi}, then \psi (t)<t for all t>0.
Let us consider the following example.
Example 3 Let {\psi}_{1},{\psi}_{2}:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}) be defined in the following way:
and
It is clear that {\psi}_{1},{\psi}_{2}\in \mathrm{\Psi}. Moreover, note that {\psi}_{1}, {\psi}_{2} are examples of continuous and discontinuous functions in Ψ.
In [19] Samet et al. defined the notion of αadmissible and (\alpha \text{}\psi )contractive type mappings as follows.
Definition 4 Let F be a selfmapping on X and \alpha :X\times X\to [0,+\mathrm{\infty}) be a function. Then F is called αadmissible mapping if
Theorem 5 [19]
Let (X,d) be a complete metric space and F be αadmissible mapping. Assume that there exists \psi \in \mathrm{\Psi} such that
and suppose that:

(i)
there exists {x}_{0}\in X such that \alpha ({x}_{0},F{x}_{0})\ge 1;

(ii)
either F is continuous or for any sequence \{{x}_{n}\} in X with \alpha ({x}_{n},{x}_{n+1})\ge 1, for all n\in \mathbb{N}\cup \{0\} and {x}_{n}\to x as n\to +\mathrm{\infty}, we have \alpha ({x}_{n},x)\ge 1, for all n\in \mathbb{N}\cup \{0\}.
Then F has a fixed point.
Definition 6 A function F which is αadmissible and satisfying inequality (1.1) is called an (\alpha \text{}\psi )contractive mapping.
In [20], Shahi et al. complements the concept of (\alpha \text{}\xi )contractive type mappings by considering χ as a family of nondecreasing continuous functions \xi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}) with the following conditions:

(i)
{\sum}_{n=1}^{\mathrm{\infty}}{\xi}^{n}(t)<+\mathrm{\infty} for all t>0, where {\xi}^{n} is the n th iterate of ξ;

(ii)
\xi (t)<t for all t>0;

(iii)
\xi ({t}_{1}+{t}_{2})=\xi ({t}_{1})+\xi ({t}_{2}) for all {t}_{1},{t}_{2}\in [0,+\mathrm{\infty}).
Remark 7 If F:X\to X is an expansion mapping, then F is an (\alpha \text{}\xi )expansive mapping, where \alpha (x,y)=1, for all x,y\in X, and \xi (t)=kt, for all t\ge 0 and for some k\in [0,1).
Theorem 8 [20]
Let (X,d) be a complete metric space and F:X\to X be bijective mapping. Suppose there exist functions \xi \in \chi and \alpha :X\times X\to [0,+\mathrm{\infty}) such that
for all x,y\in X. Suppose the following assertions hold:

(i)
the {F}^{1} is αadmissible;

(ii)
there exists {x}_{0}\in X such that \alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1;

(iii)
either F is continuous, or a sequence \{{x}_{n}\} in X converging to {x}^{\ast}\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}\cup \{0\}, we have
\alpha ({F}^{1}{x}_{n},{F}^{1}{x}^{\ast})\ge 1
for all n\in \mathbb{N}\cup \{0\}.
Then there exists a point {x}^{\ast} in X such that {x}^{\ast}=F{x}^{\ast}.
Definition 9 A function F which is αadmissible and satisfying inequality (1.2) is called an (\alpha \text{}\xi )expansive contractive mapping.
For more details as regards (\alpha \text{}\psi ) fixed point theory we refer the reader to [21–26].
In this paper, we use the concept of αadmissible to study fixed point theorems for expansive mappings satisfying \{\alpha ,\xi \}contractive conditions in a complete metric spaces. We also provide a nontrivial example to support our main result.
2 Main result
In the following main result, we prove the existence of the fixed point of the mapping satisfying an (\alpha ,\xi )contractive condition on the closed ball. Also it is crucial in the sense that it requires the contractiveness of the mapping only on the closed ball instead of the whole space.
Definition 10 Let (X,d) be a complete metric space and F:X\to X be given mappings. We say that F is an \{\alpha ,\xi \}expansive locally contractive mapping if there exists {x}_{0}\in X, r>0 and the functions \xi \in \chi and \alpha :X\times X\to [0,+\mathrm{\infty}) are such that
for all x,y\in \overline{B({x}_{0},r)}. For {x}_{0}\in X and 0<r\in \mathbb{R}, let \overline{B({x}_{0},r)}=\{x\in X:d(x,{x}_{0})\le r\} be a closed ball of radius r centered at {x}_{0}.
Theorem 11 Let (X,d) be a complete metric space and F:X\to X be an \{\alpha ,\xi \}expansive locally contractive and bijective mapping such that
Suppose that the following assertions hold:

(i)
{F}^{1} is αadmissible;

(ii)
\alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1;

(iii)
either F is continuous, or a sequence \{{x}_{n}\} in \overline{B({x}_{0},r)} converges to {x}^{\ast}\in \overline{B({x}_{0},r)} and \alpha ({x}_{n},{x}_{n+1})\ge 1, for all n\in \mathbb{N}\cup \{0\}, and we have
\alpha ({F}^{1}{x}_{n},{F}^{1}{x}^{\ast})\ge 1
for all n\in \mathbb{N}\cup \{0\}.
Then there exists a point {x}^{\ast} in \overline{B({x}_{0},r)} such that {x}^{\ast}=F{x}^{\ast}.
Proof Let {x}_{0} be an arbitrary point in X. Define the sequence \{{x}_{n}\} as follows:
By assumption \alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1 and as {F}^{1} is αadmissible, we have
so we deduce that \alpha ({x}_{1},{x}_{2})\ge 1, which implies that
Using the same argument, we obtain \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}\cup \{0\}. Let us show that {x}_{n}\in \overline{B({x}_{0},r)} for all n\in \mathbb{N}. Using inequality (2.2), we get
It follows that {x}_{1}\in (\overline{B({x}_{0},r)}). Let {x}_{2},\dots ,{x}_{j}\in \overline{B({x}_{0},r)}, for some j\in \mathbb{N}. Now we prove that {x}_{j+1}\in \overline{B({x}_{0},r)},
Notice that {x}_{j+1}\in \overline{B({x}_{0},r)}, since
Hence {x}_{n}\in \overline{B({x}_{0},r)} and {x}_{n}=F{x}_{n+1}, for all n\in \mathbb{N}\cup \{0\}. From the inequality (2.4), we have
for all n\in \mathbb{N}\cup \{0\}. Now let \epsilon >0 and let n(\epsilon )\in \mathbb{N} such that
Then for n,m\in \mathbb{N} with m>n>n(\epsilon ) and using the triangular inequality, we obtain
Thus we have proved that \{{x}_{n}\} is a Cauchy sequence in \overline{B({x}_{0},r)}. Since (X,d) is a complete space, there exists {x}^{\ast}\in \overline{B({x}_{0},r)} such that {x}_{n}\to {x}^{\ast}. From the continuity of F, it follows that {x}_{n1}=F{x}_{n}\to F{x}^{\ast} as n\to +\mathrm{\infty}. By the uniqueness of the limit, we get {x}^{\ast}=F{x}^{\ast}, that is, {x}^{\ast} is a fixed point of F. As \{{x}_{n}\} is a sequence in X such that {x}_{n}\to {x}^{\ast} and \alpha ({x}_{n},{x}_{n+1})\ge 1, for all n\in \mathbb{N}\cup \{0\}. We have
Utilizing the inequalities (2.1), (2.6), and the triangular inequality, we obtain
As n\to \mathrm{\infty}, we can get d({F}^{1}{x}^{\ast},{x}^{\ast})=0 by using the continuity of ξ. Therefore {F}^{1}{x}^{\ast}={x}^{\ast}. Then F{x}^{\ast}=F({F}^{1}{x}^{\ast})=(F{F}^{1}){x}^{\ast}={x}^{\ast}, hence the proof is completed. □
Example 12 Let X=[0,+\mathrm{\infty}) be endowed with the standard metric d(x,y)=xy, for all x,y\in X. Define the mappings F:X\to X and \alpha :X\times X\to [0,+\mathrm{\infty}) by
and
Then \alpha (x,y)\ge 1 for x,y\in X. Considering {x}_{0}=\frac{1}{2} and r=\frac{1}{2}, then \overline{B({x}_{0},r)}=[0,1]. Clearly F is an αξcontractive mapping with \xi (t)=\frac{t}{2} as
Now
We prove that all the conditions of our main Theorem 11 are satisfied, only for x,y\in \overline{B({x}_{0},r)}. Now we prove that {F}^{1} is αadmissible. Let x,y\in X such that \alpha (x,y)\ge 1. This implies that x\ge 1 and y\ge 1. By the definitions of {F}^{1} and α, by construction we have \alpha ({F}^{1}x,{F}^{1}y)\ge 1, since {x}_{0}=\frac{1}{2} and {F}^{1}{x}_{0}=\frac{1}{4}. Then by construction we have \alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1. Notice that F has fixed point 0. Now we prove that the contractive condition is not satisfied for x,y\notin \overline{B({x}_{0},r)}. We suppose x=\frac{3}{2} and y=2, then
Now, to discuss the uniqueness of the fixed point deduced in Theorem 11, let us consider the following condition:
(P): For all u,v\in \overline{B({x}_{0},r)}, there exists w\in \overline{B({x}_{0},r)} such that \alpha (u,w)\ge 1 and \alpha (v,w)\ge 1.
Then we get the following theorem.
Theorem 13 Consider the same hypotheses of Theorem 11, together with condition (P). Then the obtained fixed point of F is unique.
Proof From Theorem 11, the set of fixed points of F is nonempty. If u and v are two fixed points of F, that is, Fu=u and Fv=v, then we can show that u=v. From the condition (P), there exists w\in \overline{B({x}_{0},r)} such that \alpha (u,w)\ge 1 and \alpha (v,w)\ge 1. As {F}^{1} is αadmissible, so we get
and
for all n\in \mathbb{N}\cup \{0\}. Therefore, by repeatedly applying the αadmissible property of {F}^{1}, we get
and
for all n\in \mathbb{N}\cup \{0\}. Using the inequalities (2.1) and (2.7) and (2.8), we obtain
for all n\in \mathbb{N}\cup \{0\}. Repeating the above inequality, we get
for all n\in \mathbb{N}\cup \{0\}. Thus we have {F}^{n}w\to u as n\to +\mathrm{\infty}. Using a similar technique to the above method, we obtain {F}^{n}w\to v as n\to +\mathrm{\infty}. Now, the uniqueness of the limit of {F}^{n}w gives u=v. Hence the proof is completed. □
Now, we have the following result.
Theorem 14 Let (X,d) be a complete metric space and let F:X\to X be a bijective mapping. Suppose there exist functions \xi \in \chi and \alpha :X\times X\to [0,+\mathrm{\infty}) such that
where
Suppose that the following assertions hold:

(i)
the {F}^{1} is αadmissible;

(ii)
there exists {x}_{0}\in X such that \alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1;

(iii)
either F is continuous, or a sequence \{{x}_{n}\} in X converging to {x}^{\ast}\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1, for all n\in \mathbb{N}\cup \{0\}, we have
\alpha ({F}^{1}{x}_{n},{F}^{1}{x}^{\ast})\ge 1
for all n\in \mathbb{N}\cup \{0\}.
Then there exists a point {x}^{\ast} in X such that {x}^{\ast}=F{x}^{\ast}.
Proof Let us define the sequence \{{x}_{n}\} in X by
where {x}_{0}\in X is chosen such that \alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1. Now, if {x}_{n}={x}_{n+1} for some n\in \mathbb{N}\cup \{0\}, then n, {x}_{n} is a fixed point of F from the definition of \{{x}_{n}\}. Without loss of generality, we may assume that {x}_{n}\ne {x}_{n+1} for each n\in \mathbb{N}\cup \{0\}. It is given that \alpha ({x}_{0},{x}_{1})=\alpha ({x}_{0},{F}^{1}{x}_{0})\ge 1. Recalling that the {F}^{1} is αadmissible, we have
Using mathematical induction, we obtain
for all n\in \mathbb{N}\cup \{0\}. Now, by (2.10) with x={x}_{n} and y={x}_{n+1}, we obtain
When K({x}_{n},{x}_{n+1})=d(F{x}_{n},{x}_{n})=d({x}_{n1},{x}_{n}), then we get a contradiction to the fact that \xi (t)<t. When K({x}_{n},{x}_{n+1})=d(F{x}_{n+1},{x}_{n+1})=d({x}_{n},{x}_{n+1}), then we get
for all n\in \mathbb{N}\cup \{0\}. Therefore, by repetition of the above inequality, we have
Given \epsilon >0 and let n(\epsilon )\in \mathbb{N} such that {\sum}_{n\ge n(\epsilon )}{\xi}^{n}(d({x}_{0},{x}_{1}))<\epsilon. Let n,m\in \mathbb{N} with m>n>n(\epsilon ) and use the triangular inequality; we obtain
Thus we proved that \{{x}_{n}\} is a Cauchy sequence in X. As (X,d) is a complete metric space, there exists {x}^{\ast}\in X such that {x}_{n}\to {x}^{\ast}. Suppose F is continuous, it follows that {x}_{n1}=F{x}_{n}\to F{x}^{\ast} as n\to +\mathrm{\infty}. By the uniqueness of the limit, we get {x}^{\ast}=F{x}^{\ast}, that is, {x}^{\ast} is a fixed point of F, since \{{x}_{n}\} is a sequence in X such that {x}_{n}\to {x}^{\ast} and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}\cup \{0\}. So from the hypotheses, we have
for all n\in \mathbb{N}\cup \{0\}. Utilizing the inequalities (2.10), (2.14), and the triangular inequality, we obtain
where
In any case, by taking the limit as n\to \mathrm{\infty}, we get d({F}^{1}{x}^{\ast},{x}^{\ast})=0. Therefore {F}^{1}{x}^{\ast}={x}^{\ast}. Thus, F{x}^{\ast}=F({F}^{1}{x}^{\ast})=(F{F}^{1}){x}^{\ast}={x}^{\ast}. Hence, F has a fixed point in X. □
Remark 15 The function F may have more than one fixed point.
Finally, we prove a Suzuki typefixed point result for expansive mappings in which the continuity of the mapping is needed. However, it is still unknown whether the continuity is a necessary condition or not.
Theorem 16 Let (X,d) be a complete metric space and let F:X\to X be bijective mapping. Define a nondecreasing function \theta :(1,+\mathrm{\infty})\to (1,2) by \theta (r)=1+\frac{1}{r}. Assume that there exists r>1 such that \theta (r)d(x,Fx)\ge d(x,y) implies d(Fx,Fy)\ge rd(x,y) for all x,y\in X. If F is a continuous function, there exists a point {x}^{\ast}\in X such that {x}^{\ast}=F{x}^{\ast}.
Proof Let {x}_{0}\in X. We define the sequence \{{x}_{n}\} in X by
Since \theta (r)>1, we get d({x}_{n+1},{x}_{n})<\theta (r)d({x}_{n+1},{x}_{n})=\theta (r)d({x}_{n+1},F{x}_{n+1}) for all n\in \mathbb{N}\cup \{0\}. By the hypotheses
for all n\in \mathbb{N}\cup \{0\}. This implies that
where l=\frac{1}{r}<1. One can easily prove that \{{x}_{n}\} is a Cauchy sequence. As X is a complete metric space, \{{x}_{n}\} converges to some {x}^{\ast}\in X. Since F is a continuous function, we get
Thus F has a fixed point, and hence the proof is completed. □
References
Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 1922, 3: 133181.
Alghamdi MA, Chen CM, Karapinar E:A generalized weaker (\alpha ,\psi ,\phi )contractive mappings and related fixed point results in complete generalized metric spaces. Abstr. Appl. Anal. 2014. Article ID 985080, 2014: Article ID 985080
Ali MU, Kamram T, Karapinar E:(\alpha ,\psi ,\xi )Contractive multivalued mappings. Fixed Point Theory Appl. 2014. Article ID 7, 2014: Article ID 7
Aydi H:A common fixed point result for a (\psi ,\phi )weak contractive condition type. J. Appl. Math. Inform. 2012, 30: 809820.
Beg I, Azam A: Fixed points of asymptotically regular multivalued mappings. J. Aust. Math. Soc. A 1992, 53: 313326. 10.1017/S1446788700036491
Chen CM: Fixed point theorems for ψ contractive mappings in ordered metric spaces. J. Appl. Math. 2012. Article ID 756453, 2012: Article ID 756453
Chen CM, Chang TH: Common fixed point theorems for a weaker MeirKeeler type function in cone metric spaces. Appl. Math. Lett. 2010,23(11):13361341. 10.1016/j.aml.2010.06.027
Cho YJ, Kim JK, Kang SM 7. In Fixed Point Theory and Applications. Nova Science Publishers, New York; 2007.
Cho YJ, Rhoades BE, Saadati R, Samet B, Shatanawi W: Nonlinear coupled fixed point theorems in ordered generalized metric spaces with integral type. Fixed Point Theory Appl. 2012. Article ID 8, 2012: Article ID 8
Graily E, Vaezpour SM, Saadati R, Cho YJ: Generalization of fixed point theorems in ordered metric spaces concerning generalized distance. Fixed Point Theory Appl. 2011. Article ID 30, 2011: Article ID 30
Khan MA, Khan MS, Sessa S: Some theorems on expansion mappings and their fixed points. Demonstr. Math. 1986, 19: 673683.
Kang SM: Fixed points for expansion mappings. Math. Jpn. 1993, 38: 713717.
Kutbi MA, Ahmad J, Azam A: On fixed points of α  ψ contractive multivalued mappings in cone metric spaces. Abstr. Appl. Anal. 2013. Article ID 313782, 2013: Article ID 313782
Shatanawi W, AlRawashdeh A, Aydi H, Nashine HK: On a fixed point for generalized contractions in generalized metric spaces. Abstr. Appl. Anal. 2012. Article ID 246085, 2012: Article ID 246085 10.1155/2012/246085
Shatanawi W, AlRawashdeh A:Common fixed points of almost generalized (\psi ,\phi )contractive mappings in ordered metric spaces. Fixed Point Theory Appl. 2012. Article ID 80, 2012: Article ID 80
Sintunavarat W, Cho YJ, Kumam P: Urysohn integral equations approach by common fixed points in complex valued metric spaces. Adv. Differ. Equ. 2013. Article ID 49, 2013: Article ID 49
Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c distance in ordered cone metric spaces. Comput. Math. Appl. 2011,62(4):19691978. 10.1016/j.camwa.2011.06.040
Wang SZ, Li BY, Gao ZM, Iseki K: Some fixed point theorems on expansion mappings. Math. Jpn. 1984, 29: 631636.
Samet B, Vetro C, Vetro P: Fixed point theorem for α  ψ contractive type mappings. Nonlinear Anal. 2012, 75: 21542165. 10.1016/j.na.2011.10.014
Shahi P, Kaur J, Bhatia SS:Fixed point theorems for \{\xi ,\alpha \}expansive mappings in complete metric spaces. Fixed Point Theory Appl. 2012. Article ID 157, 2012: Article ID 157
Karapinar E, Kumam P, Salimi P:On (\alpha ,\psi )MeirKeeler contractive mappings. Fixed Point Theory Appl. 2013. Article ID 94, 2013: Article ID 94
Karapinar E, Aydi H, Samet B:Fixed points for generalized (\alpha ,\psi )contractions on generalized metric spaces. J. Inequal. Appl. 2014. Article ID 229, 2014: Article ID 229
Karapinar E, Samet B:Generalized (\alpha ,\psi )contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012. Article ID 793486, 2012: Article ID 793486
Karapinar E, Shahi P, Kaur J, Bhatia SS:Generalized (\xi ,\alpha )expansive mappings and related fixedpoint theorems. J. Inequal. Appl. 2014. Article ID 22, 2014: Article ID 22
Salimi P, Latif A, Hussain N: Modified α  ψ contractive mappings with applications. Fixed Point Theory Appl. 2013. Article ID 151, 2013: Article ID 151
Xiang T: Notes on expansive mappings and a partial answer to Nirenberg’s problem. Electron. J. Differ. Equ. 2013. Article ID 2, 2013: Article ID 2
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. 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 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ahmad, J., AlRawashdeh, A.S. & Azam, A. Fixed point results for \{\alpha ,\xi \}expansive locally contractive mappings. J Inequal Appl 2014, 364 (2014). https://doi.org/10.1186/1029242X2014364
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014364
Keywords
 expansive mapping
 αadmissible
 fixed point
 closed ball