 Research
 Open access
 Published:
Noncommutativity of mappings in hybrid fixed point results
Boundary Value Problems volume 2013, Article number: 145 (2013)
Abstract
In this note, some coincidence and common fixed points of nonlinear hybrid mappings have been obtained under certain noncommutativity conditions of mappings. Our results improve several known results in the field of hybrid fixed point theory.
MSC:54H25, 47H10, 54C60.
Introduction
As a generalization of the Banach fixed point theorem, Nadler’s contraction principle has lead to an excellent fixed point result in the area of nonlinear analysis. Some other works focused on fixed point results for multivalued mappings are, for instance, [1–5]. Coincidence and common fixed points of nonlinear hybrid contractions (i.e., contractions involving singlevalued and multivalued mappings) have been recently studied by many authors. To mention some of the achievements, we cite, for example, [6–12].
The concept of commutativity of singlevalued mappings [13] was extended in [14] to the setting of a singlevalued mapping and a multivalued mapping on a metric space. This concept of commutativity has been further generalized by different authors, viz weakly commuting [15], compatible [16], weakly compatible [8]. It is interesting to note that in all the results obtained so far concerning common fixed points of hybrid mappings the (singlevalued and multivalued) mappings under consideration satisfy either the commutativity condition or one of its generalizations (see, for instance, [6–10]). In this note, we show the existence of fixed points of hybrid contractions which do not satisfy any of the commutativity conditions or its abovementioned generalizations. Our result extends and improves several wellknown results in the field of hybrid fixed point theory. Some other recent related references are [17, 18], where common fixed point theorems for hybrid mappings on a symmetric space are proved under the assumptions of weak compatibility and occasional weak compatibility. Some analogous results for the case of contractivity conditions of integral type are presented in [19–21] and generalized contractive hybrid pairs are considered in [22]. Finally, in [23], fixed point results are proved in topological vector space valued cone metric spaces (with nonnormal cones).
Preliminaries
For a metric space (X,d), let (CB(X),H) and (CL(X),H) denote respectively the hyperspace of nonempty closed bounded and nonempty closed subsets of X, where H is the Hausdorff metric induced by d. For f:X\to X and T:X\to CL(X), we shall use the following notations:
and
We recall some definitions.
Definition 1 Mappings f and T are said to be commuting at a point x\in X if fTx\subseteq Tfx. The mappings f and T are said to be commuting on X if fTx\subseteq Tfx for all x\in X.
Definition 2 Mappings f and T are said to be weakly commuting at a point x\in X if
The mappings f and T are said to be weakly commuting on X if
for all x\in X.
Definition 3 The mappings f and T are said to be compatible if fTx\in CB(X) for all x\in X and {lim}_{n\to +\mathrm{\infty}}H(Tf{x}_{n},fT{x}_{n})=0, whenever \{{x}_{n}\} is a sequence in X such that T{x}_{n}\to M\in CB(X) and f{x}_{n}\to t\in M, as n\to +\mathrm{\infty}.
Definition 4 The mappings f and T are said to be fweak compatible if fTx\in CB(X) for all x\in X and the following limits exist and satisfy the inequalities:

(i)
{lim}_{n\to \mathrm{\infty}}H(Tf{x}_{n},fT{x}_{n})\le {lim}_{n\to \mathrm{\infty}}H(Tf{x}_{n},T{x}_{n}),

(ii)
{lim}_{n\to \mathrm{\infty}}d(fT{x}_{n},f{x}_{n})\le {lim}_{n\to \mathrm{\infty}}H(Tf{x}_{n},T{x}_{n}),
whenever \{{x}_{n}\} is a sequence in X such that T{x}_{n}\to M\in CB(X) and f{x}_{n}\to t\in M as n\to \mathrm{\infty}.
Let C(T,f) denote the set of all coincidence points of the mappings f and T, that is, C(T,f)=\{u:fu\in Tu\}.
Definition 5 The mappings f and T are said to be coincidentally commuting if they commute at their coincidence points.
Definition 6 Mappings f and T are said to be coincidentally idempotent if ffu=fu for every u\in C(T,f), that is, if f is idempotent at the coincidence points of f and T.
Definition 7 Mappings f and T are said to be occasionally coincidentally idempotent (or, in brief, oci) if ffu=fu for some u\in C(T,f).
It should be remarked that coincidentally idempotent pairs of mappings are occasionally coincidentally idempotent, but the converse is not necessarily true as shown in Example 18 of this note.
Main results
We recall the following lemma.
Lemma 8 [8]
Let T:Y\to CB(X) and f:Y\to X be fweak compatible. If \{fw\}=Tw for some w\in Y and H(Tx,Ty)\le h(a\cdot L(x,y)+(1a)\cdot N(x,y)) for all x, y in Y, where 0<h<1, 0\le a\le 1, then fTw=Tfw.
We remark that the abovementioned lemma has been used in [8, 9] and [10] to prove the existence of fixed points of hybrid mappings. However, we have noticed some typos in its original statement which have been rectified in the above statement without altering the proof.
Next, we prove a fixed point result for hybrid mappings under a general integraltype contractivity condition. In contrast to [20], we avoid the complete character of the base space X, and we introduce hybrid mappings. With respect to the study in [21], we consider here occasionally coincidentally idempotent mappings.
Theorem 9 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CB(X) be such that
that is, {\bigcup}_{y\in Y}T(y)\subseteq f(Y),
\psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a Lebesgue measurable mapping which is nonnegative, summable on each compact interval and such that
which trivially implies that
and
Suppose also that
where \gamma :(1,+\mathrm{\infty})\u27f6{\mathbb{R}}_{+} is such that
and
Then T and f have a coincidence point. Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Proof In view of (1) and Nadler’s remark in [24], given the point {x}_{0}\in Y, we can construct two sequences \{{x}_{n}\} in Y and \{{y}_{n}\} in X such that, for each n\in \mathbb{N},
Indeed, since T{x}_{0}\subseteq f(Y), there exists {x}_{1}\in Y such that f{x}_{1}={y}_{1}\in T{x}_{0}. Besides, given {y}_{1}\in T{x}_{0}, by Nadler’s remark in [24] and using that {q}^{1/2}>1, we can choose {y}_{2}\in T{x}_{1}\subseteq f(Y) such that d({y}_{1},{y}_{2})\le {q}^{1/2}\cdot H(T{x}_{0},T{x}_{1}) and {y}_{2}=f{x}_{2} for a certain {x}_{2}\in Y. The continuation of this process allows to construct the two abovementioned sequences \{{x}_{n}\} and \{{y}_{n}\} inductively.
We claim that \{{y}_{n}\} is a Cauchy sequence. Using the inequality in (2) and also property (7), which is trivially valid for \u03f5=0, it follows, for n\ge 2, that
where
Suppose that
where \lambda =\gamma ({q}^{1/2})\cdot q\in (0,1), hence d(f{x}_{n1},f{x}_{n})>0 and
so that
where we have also used (6) (a consequence of (4)), (7), (8) and (9). The previous inequalities imply that
which is a contradiction. In consequence,
where \lambda =\gamma ({q}^{1/2})\cdot q\in (0,1), by hypothesis, and hence \{f{x}_{n}\} is a Cauchy sequence in f(Y). This is clear from the following inequality, valid for n,m\in \mathbb{N}, n>m,
which tends to zero as m\to +\mathrm{\infty}.
Since f(Y) is complete, then the sequence \{f{x}_{n}\} has a limit in f(Y), say u. Let w\in {f}^{1}(u) and prove that fw\in Tw.
Suppose that fw\notin Tw, then, by (2), we have
where
Here, we have used that d(f{x}_{n},fw)=d(f{x}_{n},u)\to 0, as n\to +\mathrm{\infty}, d(f{x}_{n},T{x}_{n})\le d(f{x}_{n},f{x}_{n+1})\to 0, as n\to +\mathrm{\infty}, d(fw,Tw)>0 due to fw\notin Tw and Tw closed, and
Hence, for n large enough, we have
Making n tend to +∞ in the previous inequality, we have
and, therefore, since q<1 and d(fw,Tw)>0, we get {\int}_{0}^{d(fw,Tw)}\psi (t)\phantom{\rule{0.2em}{0ex}}dt<{\int}_{0}^{d(fw,Tw)}\psi (t)\phantom{\rule{0.2em}{0ex}}dt, which is a contradiction. Hence fw\in Tw, that is, w is a coincidence point for T and f.
Although this fact is not relevant to the proof, we note that H(T{x}_{n1},T{x}_{n})\to 0 since
Indeed,
where
therefore
Then {lim}_{n\to +\mathrm{\infty}}{\int}_{0}^{H(T{x}_{n1},T{x}_{n})}\psi (t)\phantom{\rule{0.2em}{0ex}}dt=0 and, by the properties of ψ, we get H(T{x}_{n1},T{x}_{n})\to 0 as n\to +\mathrm{\infty}. From the definition of \{{y}_{n}\}, we deduce that d(f{x}_{n},T{x}_{n})\le H(T{x}_{n1},T{x}_{n}) for every n and, therefore, {lim}_{n\to \mathrm{\infty}}d(f{x}_{n},T{x}_{n})=0, so that \{{x}_{n}\} is asymptotically Tregular with respect to f. However, this property can be deduced directly from the fact that
Now, if f and T are occasionally coincidentally idempotent, then ffw=fw for some w\in C(T,f). Then we have
where
If Tfw\ne Tw, then from inequality (10) and using (5) (which is guaranteed by (4)), we have that
which is a contradiction. Hence Tfw=Tw. Thus we have fw=ffw and fw\in Tw=Tfw, i.e., fw is a common fixed point of f and T. □
Let Φ denote the family of maps ϕ from the set {\mathbb{R}}_{+} of nonnegative real numbers to itself such that
Corollary 10 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CB(X) be such that T(Y)\subseteq f(Y),
for all x, y in Y, where \varphi \in \mathrm{\Phi} (satisfying (11) for a certain q\in (0,1)),
\psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a Lebesgue measurable mapping which is nonnegative, summable on each compact interval and such that (4) holds. Suppose also that (7), (8) and (9) hold for a certain \gamma :(1,+\mathrm{\infty})\u27f6{\mathbb{R}}_{+} and q determined by (11). Then T and f have a coincidence point. Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Proof It is a consequence of Theorem 9 since (11) and (12) imply that
for all x, y in Y and q\in (0,1). □
Remark 11 The condition
implies the validity of hypothesis (7) in Theorem 9 for the particular case of γ the identity mapping. Moreover, for 0<q<1, hypotheses (8) and (9) are trivially satisfied for this choice of γ. Indeed, using that 0<q<1, we get
and
Remark 12 Assuming (8), condition (9) is trivially valid if \lambda \cdot \gamma (\frac{1}{\lambda})\le 1 for every \lambda \in (0,1) or, equivalently, \gamma (\frac{1}{\lambda})\le \frac{1}{\lambda} for every \lambda \in (0,1), that is, \gamma (z)\le z for every z>1. Note that this last condition is trivially valid for γ the identity mapping. Moreover, if \gamma (z)\le z for every z>1, then \gamma (z)<{z}^{2} for every z>1 and, therefore, if q\in (0,1), then \gamma ({q}^{1/2})<{q}^{1}, obtaining (8) if \gamma ({q}^{1/2})>0.
Remark 13 According to Remark 12, for q\in (0,1) fixed and ψ satisfying (4), an admissible function γ can be obtained by taking
provided that \gamma ({q}^{1/2})>0 and \gamma (z)\le z for every z>1.
Example 14 Taking ψ as the constant function \psi (t)=K>0, t>0, in the statement of Theorem 9, condition (7) is reduced to
so that we must choose γ as a nonnegative function satisfying that \gamma (z)=z for z>1 (obviously, \gamma ({q}^{1/2})>0 since q\in (0,1)) in order to guarantee conditions (7), (8) and (9).
Example 15 A simple calculation provides that, for the function \psi (t)=t, t>0, condition (7) is written as \gamma (z)\ge {z}^{2} for z>1 and, therefore, in this case condition (8) is never fulfilled. If we take \psi (t)=K{t}^{m}, t>0, for K>0 and m>0 fixed, then (7) implies that \gamma (z)\ge {z}^{m+1}>z for z>1.
Example 16 Now, we choose \psi (t)=K{t}^{m}, t>0, where K>0 and 1<m<0 are fixed. Note that the case m=0 has already been studied in Example 14. In this case 1<m<0, condition (7) is reduced to
which is equivalent to \gamma (z)\ge {z}^{m+1} for z>1. Note that this inequality implies, for 0<q<1, that \gamma ({q}^{1/2})>0. If we add the hypothesis \gamma (z)\le z for z>1, then we guarantee the validity of conditions (8) and (9) due to Remark 12. Hence, we can take any nonnegative function γ satisfying that
Of course, \gamma (z)=z and \gamma (z)={z}^{m+1} are valid choices.
Example 17 Take \psi (t)={e}^{t}, t>0. Condition (7) is equivalent to
that is,
Now, for each z>1 fixed, we calculate {sup}_{\u03f5>0}\frac{1{e}^{z\u03f5}}{1{e}^{\u03f5}}, which is obviously positive, and we check that its value is equal to z.
It is easy to prove that for z>1 fixed, the function \u03f5\in (0,+\mathrm{\infty})\u27f6{\mathcal{R}}_{z}(\u03f5)=\frac{1{e}^{z\u03f5}}{1{e}^{\u03f5}} is decreasing on (0,+\mathrm{\infty}). Indeed, the sign of its derivative coincides with the sign of the function \nu (\u03f5)=z{e}^{z\u03f5}(1{e}^{\u03f5})(1{e}^{z\u03f5}){e}^{\u03f5} and also with the sign of \tau (\u03f5)=z{e}^{z\u03f5}({e}^{\u03f5}1)+{e}^{z\u03f5}1 for \u03f5\in (0,+\mathrm{\infty}). Now, the function τ is strictly negative on (0,+\mathrm{\infty}) since \tau (0)=\tau ({0}^{+})=0 and {\tau}^{\prime}(\u03f5)=z(1z){e}^{z\u03f5}({e}^{\u03f5}1)<0 for \u03f5>0.
Moreover, {lim}_{\u03f5\to {0}^{+}}{\mathcal{R}}_{z}(\u03f5)=z for each z>1; in consequence, {sup}_{\u03f5>0}{\mathcal{R}}_{z}(\u03f5)=z for every z>1. Therefore, if \gamma (z)\ge z for every z>1, then (7) follows. Note also that if q\in (0,1), then \gamma ({q}^{1/2})>0. Finally, for q\in (0,1), if we take \gamma :(1,+\mathrm{\infty})\u27f6{\mathbb{R}}_{+} such that \gamma (z)=z for z>1, we deduce the validity of (7), (8) and (9).
The following example shows that Theorem 9 is a proper generalization of the fixed point results in [7–10].
Example 18 Let X={\mathbb{R}}_{+} be endowed with the Euclidean metric, let f:X\to X and T:X\to CB(X) be defined by fx=4({x}^{2}+x) and Tx=[0,{x}^{2}+7]. Let \varphi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} be defined by \varphi (t)=\frac{1}{4}t for all t\in {\mathbb{R}}_{+}. Then mappings f and T are not commuting and also do not satisfy any of its generalizations, viz weakly commuting, compatibility, weak compatibility. Also the mappings f and T are not coincidentally commuting. Note that f1\in T1, but ff1\ne f1 and so f and T are not coincidentally idempotent, but f0\in T0 and ff0=f0 thus f and T are occasionally coincidentally idempotent. For all x and y in X, we have
Note that these inequalities are valid if
which is satisfied taking, for instance, the constant function \psi \equiv 1. On the other hand, γ is chosen as the identity map and it satisfies (8) and (9).
Note that 0 is a common fixed point of f and T. We remark that the results of [7–9] and [10] cannot be applied to these mappings f and T.
Theorem 19 In Theorem 9, we can assume, instead of condition (2), one of the inequalities
or
where a,b\ge 0, a+b\le 1 and q\in (0,1).
Similarly, in Corollary 10, we can consider one of the contractivity conditions
or
where a,b\ge 0, a+b\le 1 and \varphi \in \mathrm{\Phi} (satisfying (11) for a certain q\in (0,1)) and the conclusion follows.
Proof It follows from the inequality
and the nonnegative character of a, b and ψ. Indeed, {d}^{2}(fx,fy)\le {[L(x,y)]}^{2},
hence, for instance,
Note that, in cases (16) and (17), it is not necessary to assume the nondecreasing character of the function ϕ since, using that \varphi \in \mathrm{\Phi}, we deduce (14) and (15), respectively. □
Of course, the function \varphi \equiv 0 is admissible in the results of this paper.
Note that, taking a=1 and b=0 in the inequalities of Theorem 19, we obtain the corresponding contractivity conditions of Theorem 9 and Corollary 10. On the other hand, taking a=0 and b=1 in Theorem 19, we have the following results, which are also corollaries of Theorem 9.
Corollary 20 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CB(X) be such that conditions (1), (3) hold and
where 0<q<1 and \psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a Lebesgue measurable mapping which is nonnegative, summable on each compact interval and such that (4) holds. Assume also that (7), (8) and (9) are fulfilled for a certain \gamma :(1,+\mathrm{\infty})\u27f6{\mathbb{R}}_{+}. Then f and T have a coincidence point. Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Corollary 21 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CB(X) be such that conditions (1), (3) hold and
where \varphi \in \mathrm{\Phi} (satisfying (11) for q\in (0,1)) and \psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a Lebesgue measurable mapping which is nonnegative, summable on each compact interval and such that (4) holds. Assume also that (7), (8) and (9) are fulfilled for a certain \gamma :(1,+\mathrm{\infty})\u27f6{\mathbb{R}}_{+}. Then f and T have a coincidence point. Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Let \eta :[0,\mathrm{\infty})\to [0,1) be a function having the following property (see, for instance, [6, 25]):
(\mathcal{P}) For t\ge 0, there exist \delta (t)>0, s(t)<1 such that 0\le rt<\delta (t) implies \eta (r)\le s(t).
This property obviously holds if η is continuous since η attains its maximum (less than 1) on each compact [t,t+\delta (t)].
Definition 22 A sequence \{{x}_{n}\} is said to be asymptotically Tregular with respect to f if {lim}_{n\to \mathrm{\infty}}d(f{x}_{n},T{x}_{n})=0.
The following theorem is related to the main results of Hu [[25], Theorem 2], Jungck [14], Kaneko [26], Nadler [[24], Theorem 5] and Beg and Azam [[6], Theorem 5.4 and Corollary 5.5].
Theorem 23 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CL(X) be such that condition (1) holds and
for all x,y\in Y, where \eta :[0,\mathrm{\infty})\to [0,1) satisfies (\mathcal{P}) and \psi \ge 0 is nonincreasing.
Suppose also that Tx is a compact set for every x\in Y.
If f(Y) is complete, then

(i)
there exists an asymptotically Tregular sequence \{{x}_{n}\} with respect to f in Y,

(ii)
f and T have a coincidence point.
Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Proof For some {x}_{0} in Y, let {y}_{0}=f{x}_{0} and choose {x}_{1} in Y such that {y}_{1}=f{x}_{1}\in T{x}_{0}. Then, by (20), we have
Using (1), we can choose {x}_{2}\in Y such that {y}_{2}=f{x}_{2}\in T{x}_{1} and satisfying that
hence
Note that, in the previous inequalities, we have used that d(f{x}_{0},f{x}_{1})>0. If d(f{x}_{0},f{x}_{1})=0, then f{x}_{0}=f{x}_{1}\in T{x}_{0} and \{{x}_{n}\} is asymptotically Tregular with respect to f.
By induction, we construct a sequence \{{x}_{n}\} in Y and \{{y}_{n}\} in f(Y) such that, for every n,
and {y}_{n}=f{x}_{n}\in T{x}_{n1}.
Also, we have
It follows that the sequence \{d({y}_{n},{y}_{n+1})\} is decreasing and converges to its greatest lower bound, say t. Clearly t\ge 0. If t>0, then by the property (\mathcal{P}) of η, there will exist \delta (t)>0 and s(t)<1 such that
For this \delta (t)>0, there exists N\in \mathbb{N} such that 0\le d({y}_{n},{y}_{n+1})t<\delta (t), whenever n\ge N. Hence \eta (d({y}_{n},{y}_{n+1}))\le s(t), whenever n\ge N. Let K=max\{\eta (d({y}_{0},{y}_{1})),\eta (d({y}_{1},{y}_{2})),\dots ,\eta (d({y}_{N1},{y}_{N})),s(t)\}. Then for n=1,2,3,\dots , we have
which contradicts the assumption that t>0. Thus {lim}_{n\to \mathrm{\infty}}d({y}_{n},{y}_{n+1})=0; i.e., d(f{x}_{n},T{x}_{n})\to 0 as n\to +\mathrm{\infty}. Hence the sequence \{{x}_{n}\} is asymptotically Tregular with respect to f.
We claim that \{f{x}_{n}\} is a Cauchy sequence. Let n,m\in \mathbb{N} with n<m, then, by the nonincreasing character of ψ, we get
Now, we recall that
for every n, which implies that
Following this procedure, we prove that
Therefore,
We check that the righthand side in the last inequality tends to 0 as n,m\to +\mathrm{\infty}. Since {\int}_{0}^{d({y}_{n},{y}_{n+1})}\psi (t)\phantom{\rule{0.2em}{0ex}}dt\to 0 as n\to +\mathrm{\infty}, it suffices to show that {\sum}_{i=n+1}^{m1}{\prod}_{l=n}^{i1}\eta (d({y}_{l},{y}_{l+1})) is bounded (uniformly on n, m). Indeed, we check that {\sum}_{i=n+1}^{m1}{\prod}_{l=n}^{i1}\eta ({z}_{l}) is bounded for any sequence \{{z}_{l}\} with nonnegative terms and tending to 0 as l\to +\mathrm{\infty}, using the property (\mathcal{P}) of the function η. Given t=0, by (\mathcal{P}), there exist \delta (0)>0, {s}_{0}<1 such that 0\le r<\delta (0) implies \eta (r)\le {s}_{0}. Since \{{z}_{l}\}\to 0, given \delta (0)>0, there exists {l}_{0}\in \mathbb{N} such that, for every l\ge {l}_{0}, we have 0\le {z}_{l}<\delta (0). This implies that \eta ({z}_{l})\le {s}_{0} for every l\ge {l}_{0}.
In consequence, for n\ge {l}_{0}, we get
and this expression is bounded independently of m, n.
Hence \{f{x}_{n}\} is a Cauchy sequence in f(Y). Since f(Y) is complete, \{f{x}_{n}\} converges to some p in f(Y). Let z\in {f}^{1}(p). Then fz=p. Next, we have
Letting n\to \mathrm{\infty}, we get {\int}_{0}^{d(fz,Tz)}\psi (t)\phantom{\rule{0.2em}{0ex}}dt\le 0. Thus we have d(fz,Tz)=0. Hence fz\in Tz.
Now, if f and T are occasionally coincidentally idempotent, then ffw=fw for some w\in C(T,f). Then we have
Thus, Tfw=Tw. It follows that ffw=fw\in Tw=Tfw. Hence, fw is a common fixed point of T and f. □
Now we state some fixed point theorems for Kannantype multivalued mappings which extend and generalize the corresponding results of Shiau et al. [10] and Beg and Azam [6, 27]. A proper blend of the proof of Theorem 9 and those of [[10], Th. 6, Th. 7, Th. 8 respectively] and [[9], Theorems 3.1, 3.2, 3.3] will complete the proof.
Theorem 24 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CB(X) be such that (1) holds and
for all x,y\in Y, where {\alpha}_{i}:{\mathbb{R}}_{+}\to [0,1) (i=1,2) are bounded on bounded sets, r is some fixed positive real number and \psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a Lebesgue measurable mapping which is summable on each compact interval and {\int}_{0}^{\u03f5}\psi (t)\phantom{\rule{0.2em}{0ex}}dt>0 for each \u03f5>0. Suppose that there exists an asymptotically Tregular sequence \{{x}_{n}\} with respect to f in Y. If T(Y) is complete or
then f and T have a coincidence point. Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Proof By hypotheses,
Since \{{x}_{n}\} is asymptotically Tregular with respect to f in Y, then {\{{\alpha}_{1}(d(f{x}_{n},T{x}_{n}))\}}_{n} and {\{{\alpha}_{2}(d(f{x}_{m},T{x}_{m}))\}}_{m} are bounded sequences and {\int}_{0}^{{d}^{r}(f{x}_{n},T{x}_{n})}\psi (t)\phantom{\rule{0.2em}{0ex}}dt\to 0, {\int}_{0}^{{d}^{r}(f{x}_{m},T{x}_{m})}\psi (t)\phantom{\rule{0.2em}{0ex}}dt\to 0, as n,m\to +\mathrm{\infty}. This provides the property H(T{x}_{n},T{x}_{m})\to 0 as n,m\to +\mathrm{\infty}, so that \{T{x}_{n}\} is a Cauchy sequence in (CB(X),H).
If T(Y) is complete, there exists {K}^{\ast}\in T(Y)\subseteq f(Y) such that H(T{x}_{n},{K}^{\ast})\to 0 as n\to +\mathrm{\infty}. Let u\in Y be such that f(u)\in {K}^{\ast}. Then
where the number of terms containing H({K}^{\ast},T{x}_{n}) is a finite number depending on r, and therefore fixed. Calculating the limit as n\to +\mathrm{\infty} and taking into account that the length of the intervals in the last integral tends to zero, we get
Therefore,
and, by the properties of ψ, we get {d}^{r}(fu,Tu)=0, which implies that fu\in Tu and u is a coincidence point.
Now, suppose that f(Y) is complete. Note that T{x}_{n} is closed and bounded for every n\in \mathbb{N}. Take k>1 fixed. By the results in [24], we can affirm that for every {y}_{1}\in T{x}_{n}, there exists {y}_{2}\in T{x}_{m} such that d({y}_{1},{y}_{2})\le kH(T{x}_{n},T{x}_{m}).
Given n,m\in \mathbb{N}, we choose {y}_{1}\in T{x}_{n} and, for this {y}_{1}\in T{x}_{n} fixed, we choose {y}_{2}\in T{x}_{m} such that d({y}_{1},{y}_{2})\le kH(T{x}_{n},T{x}_{m}). Then
By the hypothesis on \{{x}_{n}\} and the Cauchy character of \{T{x}_{n}\}, we deduce that \{f{x}_{n}\} is a Cauchy sequence. Since f(Y) is complete, there exists f(u)\in f(Y) such that \{f({x}_{n})\}\to f(u). By hypotheses, d(f{x}_{n+k},Tu)\le H(T{x}_{n},Tu) for every n, hence
and taking the limit as n\to +\mathrm{\infty}, we get
In this case,
and d(fu,Tu)=0, which implies that fu\in Tu. Now, if f and T are coincidentally idempotent, then ffw=fw for some w\in C(T,f). Hence
Since ffw=fw\in Tw, we get
Therefore
obtaining d(fw,Tfw)=0 and fw\in Tfw. Since 0\le {\int}_{0}^{{H}^{r}(Tfw,Tw)}\psi (t)\phantom{\rule{0.2em}{0ex}}dt\le 0, we deduce that H(Tfw,Tw)=0 and Tfw=Tw. In consequence, ffw=fw\in Tw=Tfw and fw is a common fixed point of T and f. □
Remark 25 In the statement of Theorem 24, condition (22) can be replaced by the more general one
To complete the proof with this more general hypothesis, take into account that for y\in Y, T(y) is a closed set in X and T(Y)\subseteq f(Y). Using that f(Y) is complete, we deduce that (CL(f(Y)),H) is complete. Hence \{T{x}_{n}\} is a sequence in CL(f(Y)) and it is a Cauchy sequence in (CL(f(Y)),H). Therefore, there exists {K}^{\ast}\in CL(f(Y)) such that H(T{x}_{n},{K}^{\ast})\to 0 as n\to +\mathrm{\infty}. Note also that {K}^{\ast} is a closed set in the complete space f(Y), then {K}^{\ast} is complete and, therefore, a closed set, then {K}^{\ast}\in CL(X). Once we have proved that H(T{x}_{n},{K}^{\ast})\to 0 as n\to +\mathrm{\infty} in (CL(f(Y)),H), the proof follows analogously.
Theorem 26 In addition to the hypotheses of Theorem 24, suppose that T{x}_{n} is compact for all n\in \mathbb{N}. If f(z) is a cluster point of \{f{x}_{n}\}, then z is a coincidence point of f and T.
Proof Let {y}_{n}\in T{x}_{n} be such that d(f{x}_{n},{y}_{n})=d(f{x}_{n},T{x}_{n})\to 0, this is possible since T{x}_{n} is compact. It is obvious that a cluster point of \{f{x}_{n}\} is a cluster point of \{{y}_{n}\}. Let f(z) be a cluster point of \{f{x}_{n}\} and \{{y}_{n}\}, then we check that fz\in Tu, where u is obtained in the proof of Theorem 24. Note that, for every y\in Tu,
hence
In consequence,
Using that there exists a subsequence f{x}_{{n}_{k}} converging to fz, the properties of \{{x}_{n}\} and the inequality
then, taking the limit when {n}_{k}\to +\mathrm{\infty}, we get {\int}_{0}^{{d}^{r}(fz,Tu)}\psi (t)\phantom{\rule{0.2em}{0ex}}dt\le 0 and fz\in Tu. To prove that fz\in Tz, using that fu\in Tu, we get
This implies that
and, by the properties of {\alpha}_{2} and ψ, we deduce that d(fz,Tz)=0, which proves that z is a coincidence point of f and T. □
The following result extends [[10], Theorem 3.3].
Theorem 27 Let Y be an arbitrary nonempty set, (X,d) be a metric space, f:Y\to X and T:Y\to CB(X) be such that (1) and (21) hold, where {\alpha}_{i}:{\mathbb{R}}_{+}\to [0,1) (i=1,2) are bounded on bounded sets and such that
r is some fixed positive real number and \psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is a Lebesgue measurable mapping which is summable on each compact interval, and \psi (x)>0 for each x>0. Suppose that
If T(Y) is complete or f(Y) is complete, then f and T have a coincidence point. Further, if f and T are occasionally coincidentally idempotent, then f and T have a common fixed point.
Proof Using Theorem 24, it suffices to prove that there exists an asymptotically Tregular sequence \{{x}_{n}\} with respect to f in Y. Let {x}_{0}\in Y and take \{{x}_{n}\} in Y such that f{x}_{n}\in T{x}_{n1} for every n\in \mathbb{N}. Then
Hence,
or also, using the hypothesis on {\alpha}_{1} and {\alpha}_{2},
The properties of ψ imply that {d}^{r}(f{x}_{n},T{x}_{n})\le {d}^{r}(f{x}_{n1},T{x}_{n1}) for every n\in \mathbb{N}, and {\{d(f{x}_{n},T{x}_{n})\}}_{n\in \mathbb{N}} is nonincreasing and bounded below. Therefore it is convergent to the infimum, that is,
and \{{x}_{n}\} is asymptotically Tregular with respect to f in Y. □
Remark 28 Note that condition (23) in Theorem 27 cannot be replaced by
since the infimum taking the sequence \{{z}_{n}\} could be positive (we calculate the infimum in a smaller set).
Remark 29 In Theorem 27, condition (23) can be replaced by the following:
Indeed, since
then
and d(f{z}_{n},T{z}_{n})\to 0.
Remark 30 In Theorem 27, if we are able to obtain a sequence \{{x}_{n}\} with an infinite number of terms which are different, then we can relax condition (23) to the following:
References
Shiau C, Tan KK, Wong CS: A class of quasinonexpansive multivalued maps. Can. Math. Bull. 1975, 18: 707–714.
Rus IA: Generalized Contractions and Applications. Cluj University Press, ClujNapoca; 2001.
Kikkawa M, Suzuki T: Three fixed point theorems for generalized contractions with constants in complete metric spaces. Nonlinear Anal., Theory Methods Appl. 2008, 69(9):2942–2949. 10.1016/j.na.2007.08.064
Dhompongsa S, Yingtaweesittikul H: Fixed points for multivalued mappings and the metric completeness. Fixed Point Theory Appl. 2009., 2009: Article ID 972395
Moţ G, Petruşel A: Fixed point theory for a new type of contractive multivalued operators. Nonlinear Anal., Theory Methods Appl. 2009, 70(9):3371–3377. 10.1016/j.na.2008.05.005
Beg I, Azam A: Fixed points of asymptotically regular multivalued mappings. J. Aust. Math. Soc. A 1992, 53: 313–326. 10.1017/S1446788700036491
Naimpally S, Singh S, Whitefield JHM: Coincidence theorems for hybrid contractions. Math. Nachr. 1986, 127: 177–180. 10.1002/mana.19861270112
Pathak HK: Fixed point theorems for weak compatible multivalued and single valued mappings. Acta Math. Hung. 1995, 67(1–2):69–78. 10.1007/BF01874520
Pathak HK, Kang SM, Cho YJ: Coincidence and fixed point theorems for nonlinear hybrid generalized contractions. Czechoslov. Math. J. 1998, 48(123):341–357.
Pathak HK, Khan MS: Fixed and coincidence points of hybrid mappings. Arch. Math. 2002, 38: 201–208.
Singh SL, Mishra SN: Coincidences and fixed points of nonself hybrid contractions. J. Math. Anal. Appl. 2001, 256(2):486–497. 10.1006/jmaa.2000.7301
Singh SL, Mishra SN: Coincidence theorems for certain classes of hybrid contractions. Fixed Point Theory Appl. 2010., 2010: Article ID 898109
Jungck G: Commuting mappings and fixed points. Am. Math. Mon. 1976, 83: 261–263. 10.2307/2318216
Kaneko H: Singlevalued and multivalued f contractions. Boll. Unione Mat. Ital. 1985, 4A: 29–33.
Kaneko H: A common fixed point of weakly commuting multivalued mappings. Math. Jpn. 1988, 33(5):741–744.
Singh SL, Ha KS, Cho YJ: Coincidence and fixed points of nonlinear hybrid contractions. Int. J. Math. Math. Sci. 1989, 12(2):247–256. 10.1155/S0161171289000281
Jungck G, Rhoades BE: Fixed points theorems for occasionally weakly compatible mappings. Fixed Point Theory 2006, 7(2):287–296.
Jungck G, Rhoades BE: Fixed points theorems for occasionally weakly compatible mappings, Erratum. Fixed Point Theory 2008, 9: 286–296.
Vetro C: On Branciari’s theorem for weakly compatible mappings. Appl. Math. Lett. 2010, 23: 700–705. 10.1016/j.aml.2010.02.011
Vijayaraju P, Rhoades BE, Mohanraj R: A fixed point theorem for a pair of maps satisfying a general contractive condition of integral type. Int. J. Math. Math. Sci. 2005, 15: 2359–2364.
Abbas M, Rhoades BE: Common fixed point theorems for hybrid pairs of occasionally weakly compatible mappings satisfying generalized contractive condition of integral type. Fixed Point Theory Appl. 2007., 2007: Article ID 54101
Abbas M, Khan AR: Common fixed points of generalized contractive hybrid pairs in symmetric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 869407
Kadelburg Z, Radenović S, Rakočević V: Topological vector spaces valued cone metric spaces and fixed point theorems. Fixed Point Theory Appl. 2010., 2010: Article ID 170253
Nadler S: Multivalued contraction mappings. Pac. J. Math. 1969, 20: 475–488.
Hu T: Fixed point theorems for multivalued mappings. Can. Math. Bull. 1980, 23: 193–197. 10.4153/CMB19800262
Kubiak T: Fixed point theorems for contractive type multivalued mappings. Math. Jpn. 1985, 30: 89–101.
Beg I, Azam A: Fixed point theorems for Kannan mappings. Indian J. Pure Appl. Math. 1986, 17(11):1270–1275.
Acknowledgements
Dedicated to Professor Jean Mawhin, on the occasion of his seventieth birthday.
We thank the editor, the anonymous referees and also Professor Stojan Radenović for their helpful comments and suggestions. This research was partially supported by the University Grants Commission, New Delhi, India; Ministerio de Economía y Competitividad, project MTM201015314, and cofinanced by EC fund FEDER.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed to each part of this work equally and read and approved the final version of the 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
Pathak, H.K., RodríguezLópez, R. Noncommutativity of mappings in hybrid fixed point results. Bound Value Probl 2013, 145 (2013). https://doi.org/10.1186/168727702013145
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702013145