Abstract
In this paper, the concept of weak αcontraction type maps is introduced, and some new fixed point theorems for these maps are established. An example to illustrate the main result is given.
MSC:47H10, 54H25.
Similar content being viewed by others
1 Introduction and preliminaries
Banach’s contraction principle [1] is one of very important theorems in nonlinear analysis. Its significance lies in its vast applicability in a number of branches of mathematics. A lot of authors (see [2–14] and references therein) gave generalizations and extensions of it in many directions.
Alber and GuerreDelabriere [15] introduced the notion of weakly contractive maps in Hilbert spaces and proved that any weakly contractive map defined on complete Hilbert spaces has a unique fixed point. Rhoades [16] reintroduced the notion of weakly contractive maps in the setting of metric spaces and proved that any weakly contractive map defined on complete metric spaces has a unique fixed point. Since then, many authors ([5, 6, 17–22] and reference therein) study fixed point results for weak contraction type maps.
The authors of [11] showed that fixed point generalizations to partial metric spaces can be obtained from the corresponding results in metric spaces, and they obtained fixed point results for weakly contractive type maps in partial metric spaces.
Especially, Harjani and Sadarangani [23] extended the result of Rhoades [16] to the case of partially ordered metric spaces.
Recently, Samet et al. [24] introduced the concept of αψcontractive maps in metric spaces and obtained some fixed point results for these maps.
Afterward, the authors of [4] introduced the notion of αψquasicontractive maps and obtained some fixed point results. The authors of [25] proved some approximate fixed point theorems, by introducing the notion of generalized αcontractive maps. The authors of [26] gave some coupled fixed point results for αψcontractive type maps and gave the sufficient condition for the existence of a unique coupled fixed point for αψcontractive type maps. Recently, the authors of [27] gave applications of the result of [24] to the existence and uniqueness of a solution for the nonlinear fractional differential equations.
On the other hand, the authors of [28] obtained a generalization of the results of [24] to the case of multifunctions, by introducing the notions of {\alpha}_{\ast}admissible multifunctions and {\alpha}_{\ast}ψcontractive multifunctions. Also, the authors of [29] gave a generalization of the results of [24] to the case of multifunctions, by introducing the notions of property ({C}_{\alpha}), αadmissible multifunctions and αψĆirićcontractive multifunctions.
Very recently, Cho [17] introduced the notion of weakly αcontractive maps in metric spaces and proved a fixed point theorem for these maps.
In [17], the following theorem, which is a generalization of the results of Rhoades [16] and Harjani and Sadarangani [23], is proved.
Theorem 1.1 Let (X,d) be a complete metric space, \alpha :X\times X\to {\mathbb{R}}_{+} be a function, and let T:X\to X be a map. Suppose that the following are satisfied:

(1)
T is a weakly αcontractive map, i.e.
\alpha (x,y)d(Tx,Ty)\le d(x,y)\eta (d(x,y))for all x,y\in X, where \eta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) is a nondecreasing function such that η is positive on (0,\mathrm{\infty}), \eta (0)=0 and {lim}_{t\to \mathrm{\infty}}\eta (t)=\mathrm{\infty};

(2)
for each x,y,z\in X, \alpha (x,y)\ge 1 and \alpha (y,z)\ge 1 implies \alpha (x,z)\ge 1;

(3)
T is αadmissible, i.e. \alpha (x,y)\ge 1 implies \alpha (Tx,Ty)\ge 1;

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

(5)
either T is continuous or {lim}_{n\to \mathrm{\infty}}inf\alpha ({T}^{n}{x}_{0},x)>0 for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X. Further if, for all x,y\in X, there exists z\in X such that \alpha (x,z)\ge 1 and \alpha (y,z)\ge 1, then T has a unique fixed point.
In this paper, we introduce the concept of weakly αcontractive type maps in metric spaces and establish some new fixed point theorems for these maps. We have generalizations of the results in the literature.
We denote by Ψ the family of all functions \psi :{\mathbb{R}}_{+}^{4}\to {\mathbb{R}}_{+} such that
({\psi}_{1}) ψ is nondecreasing and continuous in each coordinate;
({\psi}_{2}) \psi (t,t,t,t)\le t for all t>0;
({\psi}_{3}) \psi ({t}_{1},{t}_{2},{t}_{3},{t}_{4})=0 if and only if {t}_{1}={t}_{2}={t}_{3}={t}_{4}=0.
From now on, let \eta :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} be a nondecreasing function such that

(1)
\eta (t)>0 for all t>0;

(2)
\eta (0)=0.
Lemma 1.1 Let (X,d) be a metric space, \alpha :X\times X\to {\mathbb{R}}_{+} be a function, and let T:X\to X be a map. If conditions (2), (3) and (4) of Theorem 1.1 are satisfied, then we have
for all i,j\in \mathbb{N}\cup \{0\} (i<j).
Let (X,d) be a cone metric space, and \alpha :X\times X\to [0,\mathrm{\infty}) be a function.
We say that X satisfies condition (B) [26] whenever, for each sequence \{{x}_{n}\} in X with \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N} and {lim}_{n\to \mathrm{\infty}}{x}_{n}=x, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Also, we say that X satisfies condition ({C}_{\alpha}) [29] whenever, for each sequence \{{x}_{n}\} in X with \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N} and {lim}_{n\to \mathrm{\infty}}{x}_{n}=x, there exists a subsequence \{{x}_{n(k)}\} of \{{x}_{n}\} such that \alpha ({x}_{n(k)},x)\ge 1 for all k\in \mathbb{N}.
Lemma 1.2 Let (X,d) be a metric space, and \alpha :X\times X\to [0,\mathrm{\infty}) be a function. We consider the following conditions:

(1)
if \{{x}_{n}\} is a sequence in X such that \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n, then {lim}_{n\to \mathrm{\infty}}sup\alpha ({x}_{n},x)\ge 1 for any cluster point x of \{{x}_{n}\};

(2)
X satisfies condition ({C}_{\alpha});

(3)
X satisfies condition (B).
Then (3) implies (2), and (2) implies (1).
2 Fixed points
Let (X,d) be a metric space, and let \alpha :X\times X\to [0,\mathrm{\infty}) be a function and \psi \in \mathrm{\Psi}. A mapping T:X\to X is called weak αcontractive type if, for all x,y\in X,
where q(x,y)=\psi (d(x,y),d(x,Tx),d(y,Ty),\frac{1}{2}\{d(x,Ty)+d(y,Tx)\}).
Theorem 2.1 Let (X,d) be a complete metric space. Suppose that a weak αcontractive type map T:X\to X satisfies the following:

(1)
there exists {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j);

(2)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha ({T}^{n}{x}_{0},x)\ge 1(2.2)
for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X.
Proof Let {x}_{0}\in X be such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\in \mathbb{N}\cup \{0\} (i<j). Define a sequence \{{x}_{n}\}\subset X by {x}_{n+1}=T{x}_{n} for n\in \mathbb{N}\cup \{0\}.
If {x}_{n}={x}_{n+1} for some n\in \mathbb{N}\cup \{0\}, then {x}_{n} is a fixed point of T, and the proof is finished.
Assume that {x}_{n}\ne {x}_{n+1} for all n\in \mathbb{N}\cup \{0\}.
From (2.1) we have
Here,
Since d({x}_{n1},{x}_{n})>0, we have q({x}_{n1},{x}_{n})>0 and so \eta (q({x}_{n1},{x}_{n}))>0.
Thus, from (2.3) we have
If d({x}_{n1},{x}_{n})\le d({x}_{n},{x}_{n+1}) for some n\in \mathbb{N}, then
which is a contradiction.
Hence, d({x}_{n},{x}_{n+1})<d({x}_{n1},{x}_{n}) for all n\in \mathbb{N}. So the sequence \{d({x}_{n1},{x}_{n})\} is decreasing. Thus, there exists r\ge 0 such that {lim}_{n\to \mathrm{\infty}}d({x}_{n1},{x}_{n})=r. Since q({x}_{n1},{x}_{n})\le \psi (d({x}_{n},{x}_{n1}),d({x}_{n1},{x}_{n}),d({x}_{n},{x}_{n+1}),\frac{1}{2}\{d({x}_{n1},{x}_{n})+d({x}_{n},{x}_{n+1})\}), we obtain {lim}_{n\to \mathrm{\infty}}q({x}_{n1},{x}_{n})\le \psi (r,r,r,r).
On the other hand, since d({x}_{n},{x}_{n+1})\ge r for all n\in \mathbb{N}, we obtain
Hence, {lim}_{n\to \mathrm{\infty}}\eta (q({x}_{n1},{x}_{n}))\ge \eta (\psi (r,r,r,0)).
Letting n\to \mathrm{\infty} in (2.3), we have
which implies \eta (\psi (r,r,r,0))=0, and so \psi (r,r,r,0)=0. By ({\psi}_{3}), r=0. Thus,
We now show that \{{x}_{n}\} is a Cauchy sequence.
On the contrary, assume that \{{x}_{n}\} is not a Cauchy sequence.
Then there exists \u03f5>0 for which we can find subsequences \{{x}_{m(k)}\} and \{{x}_{n(k)}\} of \{{x}_{n}\} such that m(k) is the smallest index for which
From the above inequalities, \u03f5\le d({x}_{m(k)},{x}_{n(k)})\le d({x}_{m(k)},{x}_{m(k)1})+d({x}_{m(k)1},{x}_{n(k)})<d({x}_{m(k)},{x}_{m(k)1})+\u03f5.
By taking k\to \mathrm{\infty} in the above inequality and using (2.6), we have
By using (2.6), (2.7), and the triangle inequality, we obtain
From (2.1) we have
where
Since d({x}_{m(k)1},{x}_{n(k)1})>\frac{1}{2}\u03f5, d({x}_{m(k)1},{x}_{n(k)})>\frac{1}{2}\u03f5 and d({x}_{m(k)},{x}_{n(k)1})>\frac{1}{2}\u03f5 for sufficiently large n, we obtain
Letting k\to \mathrm{\infty} in the above inequality (2.9), we have
which implies \eta (\psi (\frac{1}{2}\u03f5,0,0,\frac{1}{2}\u03f5))=0, and so \psi (\frac{1}{2}\u03f5,0,0,\frac{1}{2}\u03f5)=0. By ({\psi}_{3}), \u03f5=0, which is a contradiction. Hence, \{{x}_{n}\} is a Cauchy sequence. It follows from the completeness of X that there exists {x}_{\ast}\in X such that {lim}_{n\to \mathrm{\infty}}{x}_{n}={x}_{\ast}.
If T is continuous, then d({x}_{\ast},T{x}_{\ast})={lim}_{n\to \mathrm{\infty}}d({x}_{\ast},T{x}_{n})={lim}_{n\to \mathrm{\infty}}d({x}_{\ast},{x}_{n+1})=0. Hence, {x}_{\ast}=T{x}_{\ast}.
Assume that condition (2.2) holds.
Then {lim}_{n\to \mathrm{\infty}}sup\alpha ({x}_{n},{x}_{\ast})\ge 1.
Since η and ψ are nondecreasing, we have
Thus, {lim}_{n\to \mathrm{\infty}}\eta (q({x}_{n},{x}_{\ast}))\ge \eta (\psi (0,0,d({x}_{\ast},T{x}_{\ast}),0)). Since {lim}_{n\to \mathrm{\infty}}q({x}_{n},{x}_{\ast})=\psi (0,0,d({x}_{\ast},T{x}_{\ast}),\frac{1}{2}d({x}_{\ast},T{x}_{\ast})), from (2.1) we obtain
By taking the limit supremum in the above inequality (2.10), we have
which implies \eta (\psi (0,0,d({x}_{\ast},T{x}_{\ast}),0))=0, and so \psi (0,0,d({x}_{\ast},T{x}_{\ast}),0)=0. By ({\psi}_{3}), d({x}_{\ast},T{x}_{\ast})=0, and hence, {x}_{\ast}=T{x}_{\ast}. □
In Theorem 2.1, if we take \psi ({t}_{1},{t}_{2},{t}_{3},{t}_{4})=max\{{t}_{1},{t}_{2},{t}_{3},{t}_{4}\}, then we have the following result.
Corollary 2.2 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Suppose that a map T:X\to X satisfies the following:

(1)
\alpha (x,y)d(Tx,Ty)\le M(x,y)\eta (M(x,y)) for all x,y\in X, where M(x,y)=max\{d(x,y),d(x,Tx),d(y,Ty),\frac{1}{2}\{d(x,Ty)+d(y,Tx)\}\};

(2)
there exists {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha ({T}^{n}{x}_{0},x)\ge 1
for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X.
If we take \varphi (t)=t\eta (t) for all t\ge 0, then we have the following result.
Corollary 2.3 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Suppose that a map T:X\to X satisfies the following:

(1)
\alpha (x,y)d(Tx,Ty)\le \varphi (q(x,y)), where \varphi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a nondecreasing function such that \varphi (0)=0 and \varphi (t)<t for all t>0;

(2)
there exists {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha ({T}^{n}{x}_{0},x)\ge 1
for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X.
Corollary 2.4 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Suppose that a map T:X\to X satisfies the following:

(1)
\alpha (x,y)d(Tx,Ty)\le \varphi (M(x,y));

(2)
there exists {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha ({T}^{n}{x}_{0},x)\ge 1
for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X.
Remark 2.1 (1) If we have \alpha (x,y)=1 for all x,y\in X in Corollary 2.2, Corollary 2.2 becomes Corollary 2.2 of [22].
(2) Corollary 2.4 is a generalization of Theorem 3.7 of [29].
Theorem 2.5 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Suppose that a map T:X\to X satisfies the following:

(1)
\alpha (x,y)d(Tx,Ty)\le \phi (d(x,y))\eta (\phi (d(x,y))), where \phi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a nondecreasing and continuous function such that \phi (t)=0 if and only if t=0 and \phi (t)<t for all t>0;

(2)
there exists {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha ({T}^{n}{x}_{0},x)>0(2.11)
for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X.
Proof Let {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j). Let {x}_{n}=T{x}_{n1} for all n\in \mathbb{N}. By similar argument with the proof of Theorem 2.1, we see that \{{x}_{n}\} is a Cauchy sequence. Let {lim}_{n\to \mathrm{\infty}}{x}_{n}={x}_{\ast}\in X.
If T is continuous, then {lim}_{n\to \mathrm{\infty}}{x}_{n+1}=T{x}_{\ast}. Hence, {x}_{\ast}=T{x}_{\ast}.
Suppose that condition (2.11) is satisfied.
Then p:={lim}_{n\to \mathrm{\infty}}sup\alpha ({x}_{n},{x}_{\ast})>0. Thus, from (1) we have
By taking the limit supremum in the above inequality, we obtain
Since p>0, d({x}_{\ast},T{x}_{\ast})=0. Thus, {x}_{\ast}=T{x}_{\ast}. □
Remark 2.2 (1) In Theorem 2.1, if we replace condition (2.2) by
for any cluster point x of \{{T}^{n}{x}_{0}\}, then the conclusion holds.
(2) If we replace condition (2.11) in Theorem 2.5 by
for any cluster point x of \{{T}^{n}{x}_{0}\}, then the conclusion holds.
Remark 2.3 By taking \phi (t)=t for all t\ge 0 and using Remark 2.2(2), Theorem 2.5 reduces to Theorem 2.1 of [17].
If we take \phi (t)=t and \varphi (t)=t\eta (t) for all t\ge 0, then we have the following result.
Corollary 2.6 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Suppose that a map T:X\to X satisfies the following:

(1)
\alpha (x,y)d(Tx,Ty)\le \varphi (d(x,y)), where \varphi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a nondecreasing function such that \varphi (t)=0 if and only if t=0 and \varphi (t)<t for all t>0;

(2)
there exists {x}_{0}\in X such that \alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1 for all i,j\ge 0 (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha ({T}^{n}{x}_{0},x)>0
for any cluster point x of \{{T}^{n}{x}_{0}\}.
Then T has a fixed point in X.
Remark 2.4 Corollary 2.6 is a generalization of Theorem 2.1 and Theorem 2.2 of [24].
We give an example to illustrate Theorem 2.1.
Example 2.1 Let X=[0,\mathrm{\infty}), and let d(x,y)=xy for all x,y\in X. Let \psi ({t}_{1},{t}_{2},{t}_{3},{t}_{4})=max\{{t}_{1},{t}_{2},{t}_{3},{t}_{4}\} for all {t}_{1},{t}_{2},{t}_{3},{t}_{4}\ge 0.
We define a mapping T:X\to X by
Then T is not a generalized weak contraction (for the definition of generalized weak contraction; see [22]). In fact, d(T1,T2)=\frac{7}{2}>\frac{9}{4}=q(2,1)>q(2,1)\eta (q(2,1)) for all \eta \in \mathrm{\Psi}, where q(2,1)=max\{d(2,1),d(1,T1),d(2,T2),\frac{1}{2}\{d(1,T2)+d(2,T1)\}\}.
We define a function \alpha :X\times X\to [0,\mathrm{\infty}) by
Obviously, condition (1) of Theorem 2.1 is satisfied with {x}_{0}=1. Condition (2) of Theorem 2.1 is satisfied with {T}^{n}{x}_{0}=\frac{1}{{2}^{n}}. It is easy to see that T is a weak αcontractive type map with \eta (t)=\frac{1}{2}t for all t\ge 0.
Thus, all hypotheses of Theorem 2.1 are satisfied, and T has a fixed point {x}_{\ast}=0.
3 Common fixed points
Let (X,d) be a metric space, and let S,T:X\to X be maps. Then:

(1)
S and T are called weakly commuting [30] if
d(STx,TSx)\le d(Sx,Tx)for all x\in X;

(2)
S and T are called compatible [31] if
\underset{n\to \mathrm{\infty}}{lim}d(ST{x}_{n},TS{x}_{n})=0,
whenever \{{x}_{n}\} is a sequence such that {lim}_{n\to \mathrm{\infty}}S{x}_{n}={lim}_{n\to \mathrm{\infty}}T{x}_{n}=x for some x\in X;
whenever Sx=Tx.
Note that commutativity implies weak commutativity, weak commutativity implies compatibility, and compatibility implies weak compatibility.
To prove the following common fixed point results, we use Lemma 2.1 and the technique in [34].
Theorem 3.1 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Let S,T:X\to X be maps such that T(X)\subset S(X) and \alpha (Sx,Sy)\le \alpha (x,y) for all x,y\in X.
Suppose that the following are satisfied:

(1)
there exists \psi \in \mathrm{\Psi} such that, for all x,y\in X,
\alpha (x,y)d(Tx,Ty)\le q(Sx,Sy)\eta (q(Sx,Sy)),(3.1)where q(Sx,Sy)=\psi (d(Sx,Sy),d(Sx,Tx),d(Sy,Ty),\frac{1}{2}\{d(Sx,Ty)+d(Sy,Tx)\});

(2)
there exists {x}_{0}\in X such that T{x}_{n}=S{x}_{n+1} for all n\in \mathbb{N}\cup \{0\} and \alpha (T{x}_{i},T{x}_{j})\ge 1 for all i,j\in \mathbb{N}\cup \{0\} (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha (T{x}_{n},x)\ge 1
for any cluster point x of \{T{x}_{n}\}.
If S(X) is a complete subspace of X, then S and T have a coincidence point.
Moreover, suppose that for all coincidence point z of S and T
If S and T are weakly compatible, then S and T have a common fixed point in X.
Proof By Lemma 2.1 of [34], there exists a subset Y of X such that S(Y)=S(X) and S:Y\to X is onetoone.
Define a map A:S(Y)\to S(Y) by A(Sx)=Tx. Then A is well defined, because A is onetoone.
From (3.1) we have
Hence, A is a weak αcontractive type map on S(X).
Let {x}_{0}\in X be fixed.
Since T(X)\subset S(X), we can find a sequence \{{x}_{n}\} of points in X such that T{x}_{n}=S{x}_{n+1} for all n\in \mathbb{N}\cup \{0\}. Then we have {A}^{n}(S{x}_{0})=T{x}_{n1} for all n\in \mathbb{N}. Thus, \alpha ({A}^{i}(S{x}_{0}),{A}^{j}(S{x}_{0}))=\alpha (T{x}_{i1},T{x}_{j1})\ge 1 for all i,j\in \mathbb{N} (i<j).
If T is continuous, then so is A.
Also, {lim}_{n\to \mathrm{\infty}}sup\alpha ({A}^{n}(S{x}_{0}),x)={lim}_{n\to \mathrm{\infty}}sup\alpha (T{x}_{n1},x) for any x\in X.
Thus, condition (3) implies either that A is continuous or that
for all cluster points x of \{{A}^{n}(S{x}_{0})\}.
By Theorem 2.1, A has a fixed point in S(X). That is, there exists \overline{x}\in X such that A(S\overline{x})=S\overline{x}. By definition of A, S\overline{x}=T\overline{x}. Thus, \overline{x} is a coincidence point of S and T.
We now show the existence of common fixed points of S and T with their weak compatibility.
Suppose that (3.2) holds and that S and T are weakly compatible.
Let z=S\overline{x}=T\overline{x}. Then Sz=Tz. Since \alpha (z,\overline{x})=\alpha (T\overline{x},\overline{x})\ge 1, from (3.1) we have
where q(Sz,S\overline{x})=\psi (d(Sz,S\overline{x}),d(Tz,Tz),d(z,z),\frac{1}{2}\{d(Tz,z)+d(z,Tz)\})=\psi (d(Tz,z),0,0,d(Tz,z)).
Thus, we have d(Tz,z)\le d(Tz,z)\eta (\psi (d(Tz,z),0,0,d(Tz,z))), which implies \eta (\psi (d(Tz,z),0,0,d(Tz,z)))=0, and so \psi (d(Tz,z),0,0,d(Tz,z))=0. Hence, d(Tz,z)=0 or z=Tz. Thus, z=Sz=Tz, and z is a common fixed point. □
Theorem 3.2 Let (X,d) be a complete metric space, and let \alpha :X\times X\to {\mathbb{R}}_{+} be a function. Let S,T:X\to X be maps such that T(X)\subset S(X) and \alpha (Sx,Sy)\le \alpha (x,y) for all x,y\in X.
Suppose that the following are satisfied:

(1)
\alpha (x,y)d(Tx,Ty)\le \phi (d(Sx,Sy))\eta (\phi (d(Sx,Sy))), where \phi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a nondecreasing and continuous function such that \phi (t)=0 if and only if t=0 and \phi (t)<t for all t>0;

(2)
there exists {x}_{0}\in X such that T{x}_{n}=S{x}_{n+1} for all n\in \mathbb{N}\cup \{0\} and \alpha (T{x}_{i},T{x}_{j})\ge 1 for all i,j\in \mathbb{N}\cup \{0\} (i<j);

(3)
either T is continuous or
\underset{n\to \mathrm{\infty}}{lim}sup\alpha (T{x}_{n},x)>0
for any cluster point x of \{T{x}_{n}\}.
If S(X) is a complete subspace of X, then S and T have a coincidence point in X.
Moreover, suppose that for all coincidence point z of S and T
If S and T are weakly compatible, then S and T have a common fixed point in X.
Proof Let A be the map on S(X) defined as in the proof of Theorem 3.1.
Then from (1) we have
As in the proof of Theorem 3.1, {A}^{n}(S{x}_{0})=T{x}_{n1} for all n\in \mathbb{N}\cup \{0\}. Thus, \alpha ({A}^{i}(S{x}_{0}),{A}^{j}(S{x}_{0}))=\alpha (T{x}_{i1},T{x}_{j1})\ge 1 for all i,j\in \mathbb{N} (i<j).
Condition (3) implies either that A is continuous or that
for all cluster points x of \{{A}^{n}(S{x}_{0})\}.
By Theorem 2.5, A has a fixed point in S(X), i.e. there exists \overline{x}\in X such that A(S\overline{x})=S\overline{x}, and so S\overline{x}=T\overline{x}. Thus \overline{x} is a coincidence point of S and T.
Suppose that (3.2) holds and that S and T are weakly compatible.
Let z=S\overline{x}=T\overline{x}. Then Sz=Tz. Since \alpha (z,\overline{x})=\alpha (T\overline{x},\overline{x})\ge 1, from condition (1) we have
If d(Tz,z)>0, then d(Tz,z)<d(Tz,z)\eta (\phi (d(Tz,z))), which is a contradiction. Hence, d(Tz,z)=0, or z=Tz. Thus, z=Sz=Tz, and z is a common fixed point. □
References
Banach S: Sur les opérations dans les ensembles abstraits et leur applications aux équations intégrales. Fundam. Math. 1922, 3: 133–181.
Agarwal RP, ElGebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 1–8. 10.1080/00036810701714164
Cho SH, Bae JS: Common fixed point theorems for mappings satisfying property (E.A) on cone metric spaces. Math. Comput. Model. 2011, 53: 945–951. 10.1016/j.mcm.2010.11.002
Cho SH, Bae JS: Fixed point theorems for α  ψ quasicontractive mappings in metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 268
Choudhury BS, Metiya N: Fixed points of weak contractions in cone metric spaces. Nonlinear Anal. 2010, 72: 1589–1593. 10.1016/j.na.2009.08.040
Choudhury BS, Konar P, Rhoades BE, Metiya N: Fixed point theorems for generalized weakly contractive mappings. Nonlinear Anal. 2011, 74: 2116–2126. 10.1016/j.na.2010.11.017
Ćirić LB: Generalized contractions and fixedpoint theorems. Publ. Inst. Math. (Belgr.) 1971, 12(26):19–26.
Ćirić LB: Fixedpoints for generalized multivalued mappings. Mat. Vesn. 1972, 9(24):265–272.
Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.
Fang JX, Gao Y: Common fixed point theorems under strict contractive conditions in Menger spaces. Nonlinear Anal. 2009, 70: 184–193. 10.1016/j.na.2007.11.045
Haghi RH, Rezapour S, Shahzad N: Be careful on partial metric fixed point results. Topol. Appl. 2013, 160: 450–454. 10.1016/j.topol.2012.11.004
Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces. Math. Jpn. 1996, 44: 513–520.
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.049
Yang SK, Bae JS, Cho SH: Coincidence and common fixed and periodic point theorems in cone metric spaces. Comput. Math. Appl. 2011, 61: 170–177. 10.1016/j.camwa.2010.10.031
Alber YI, GuerreDelabriere S: Principles of weakly contractive maps in Hilbert spaces. Advances and Appl. 98. In New Results in Operator Theory. Edited by: Goldberg I, Lyubich Y. Birkhäuser, Basel; 1997:7–22.
Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal. TMA 2001, 47(4):2683–2693. 10.1016/S0362546X(01)003881
Cho SH: A fixed point theorem for weakly α contractive mappings with application. Appl. Math. Sci. 2013, 7(60):2953–2965.
Ćirić LB, Samet B, Cakić N, Damjanović B: Coincidence and fixed point theorems for generalized (\psi ,\varphi )weak nonlinear contraction in ordered K metric spaces. Comput. Math. Appl. 2011, 62: 3305–3316. 10.1016/j.camwa.2011.07.061
Chidume CE, Zegeye H, Aneke SJ: Approximation of fixed points of weakly contractive nonself maps in Banach spaces. J. Math. Anal. Appl. 2002, 270(1):189–199. 10.1016/S0022247X(02)00063X
Dorić D:Common fixed point for generalized(\psi ,\phi )weak contractions. Appl. Math. Lett. 2009, 22: 1896–1900. 10.1016/j.aml.2009.08.001
Dutta PN, Choudhury BS: A generalisation of contraction principle in metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 406368
Zhang Q, Song Y: Fixed point theory for generalized ϕ weak contractions. Appl. Math. Lett. 2009, 22(1):75–78. 10.1016/j.aml.2008.02.007
Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 2009, 71: 3403–3410. 10.1016/j.na.2009.01.240
Samet B, Vetro C, Vetro P: Fixed point theorems for α  ψ contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014
Miandaragh MA, Postolache M, Rezapour S: Some approximate fixed point results for generalized α contractive mappings. Univ. Politeh. Buchar. Sci. Bull., Ser. A 2013, 75(2):3–10.
Rezapour S, Hasanzade Asl J: A simple method for obtaining coupled fixed points of α  ψ contractive type mappings. Int. J. Anal. 2013., 2013: Article ID 438029
Baleanu D, Rezapour S, Mohammadi H: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. Lond. A 2013., 371: Article ID 20120144
Hasanzade Asl J, Rezapour S, Shahzad N: On fixed points of α  ψ contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212
Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α  ψ Ćirić generalized multifunctions. Fixed Point Theory Appl. 2013., 2013: Article ID 24
Sessa S: On a weak commutativity condition of mappings in fixed point considerations. Publ. Inst. Math. (Belgr.) 1982, 32(46):149–153.
Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9(4):771–779. 10.1155/S0161171286000935
Jungck G, Rhoades BE: Fixed point for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29(3):227–238.
Pant RP: Common fixed points of noncommuting mappings. J. Math. Anal. Appl. 1994, 188: 436–440. 10.1006/jmaa.1994.1437
Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052
Acknowledgements
The authors express their gratitude to the referees for their helpful suggestions which improved final version of this paper.
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
Cho, SH., Bae, JS. Fixed points of weak αcontraction type maps. Fixed Point Theory Appl 2014, 175 (2014). https://doi.org/10.1186/168718122014175
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122014175