Unified Common Fixed Point Theorems for a Hybrid Pair of Mappings via an Implicit Relation Involving Altering Distance Function
Abstract
The object of this paper is to emphasize the role of a suitable implicit relation involving altering distance function which covers a multitude of contraction conditions in one go. By using this implicit relation, we prove a new coincidence and common fixed point theorem for a hybrid pair of occasionally coincidentally idempotent mappings in a metric space employing the common limit range property. Our main result improves and generalizes a host of previously known results. We also utilize suitable illustrative examples to substantiate the realized improvements in our results.
1. Introduction and Preliminaries
Fixed point theory is one of the most rapidly growing research areas in nonlinear functional analysis. Apart from numerous extensions of Banach Contraction Principle for single valued mappings, it was also naturally extended to multivalued mappings by Nadler Jr. [1] in 1969 which is also sometimes referred to as Nadler Contraction Principle. Since then, there has been continuous and intense research activity in multimap fixed point theory (including hybrid fixed point results) and by now there exists an extensive literature on this specific theme (see, e.g., [2–7] and the references therein). The study of common fixed points of mappings satisfying hybrid contraction conditions has been at the center of vigorous research activity. Here, it can be pointed out that hybrid fixed theorems have numerous applications in science and engineering.
In the following lines, we present some definitions and their implications which will be utilized throughout this paper.
- (1)
CL(X) = {A : A is a nonempty closed subset of X},
- (2)
CB(X) = {A : A is a nonempty closed and bounded subset of X},
- (3)
for nonempty closed and bounded subsets A, B of X and x ∈ X,
(1)
It is well known that CB(X) is a metric space with the distance H which is known as the Hausdorff-Pompeiu metric on CB(X). The following terminology is also standard.
- (1)
a point x ∈ X is a fixed point of f (resp., T) if x = fx (resp., x ∈ Tx). The set of all fixed points of f (resp., T) is denoted by F(f) (resp., F(T));
- (2)
a point x ∈ X is a coincidence point of f and T if fx ∈ Tx. The set of all coincidence points of f and T is denoted by C(f, T);
- (3)
a point x ∈ X is a common fixed point of f and T if x = fx ∈ Tx. The set of all common fixed points of f and T is denoted by F(f, T).
In 1984, Khan et al. [8] utilized the idea of altering distance function in metric fixed point theory which is indeed a control function that alters distance between two points in a metric space. Thereafter, this idea has further been utilized by several mathematicians (see, e.g., [9–13]).
Definition 1 (see [8].)An altering distance function is a mapping ψ : [0, ∞)→[0, ∞) which satisfies that
-
(ψ1) ψ(t) is increasing and continuous and
-
(ψ2) ψ(t) = 0 if and only if t = 0.
Certain ideas on commutativity and weak commutativity for a pair of hybrid mappings on metric spaces were utilized by Kaneko [14, 15]. In 1989, Singh et al. [16] extended the notion of compatible mappings to hybrid pair of mappings and proved some common fixed point theorems for nonlinear hybrid contractions. Such ways of proving new results continue to attract the attention of many researchers of this domain where it can be observed that under compatibility the fixed point results often require continuity of one of the underlying mappings.
Kamran [17] extended the property (E.A) (due to Aamri and El Moutawakil [18]) to a hybrid pair of mappings. Most recently, Imdad et al. [19] established common limit range property (essentially motivated by Sintunavarat and Kumam [20]) for a hybrid pair of mappings and proved some fixed point theorems in symmetric (or semimetric) spaces.
The notions of coincidentally idempotent and occasionally coincidentally idempotent hybrid pairs of mappings were, respectively, introduced and used by Imdad et al. [21] and Pathak and Rodríguez-López [22]. An easy and natural example is available in Kadelburg et al. [23, Example 1] exhibiting the importance of the occasionally coincidentally idempotent property over coincidentally idempotent property.
The technical definitions of the earlier mentioned notions are described in the following lines.
Definition 2. Let (X, d) be a metric space with f : X → X and T : X → CB(X). A hybrid pair of mappings (f, T) is said to be
- (1)
commuting on X [14] if fTx⊆Tfx for all x ∈ X,
- (2)
weakly commuting on X [15] if H(fTx, Tfx) ≤ d(fx, Tx) for all x ∈ X,
- (3)
compatible [16] if fTx ∈ CB(X) for all x ∈ X and lim n→∞H(Tfxn, fTxn) = 0, whenever {xn} is a sequence in X such that Txn → A ∈ CB(X) and fxn → t ∈ A, as n → ∞,
- (4)
noncompatible [24] if there exists at least one sequence {xn} in X such that Txn → A ∈ CB(X) and fxn → t ∈ A, as n → ∞, but lim n→∞H(Tfxn, fTxn) is either nonzero or nonexistent,
- (5)
with the property (E.A) [17] if there exists a sequence {xn} in X such that
(2)for some t ∈ X and A ∈ CB(X), - (6)
with common limit range property with respect to the mapping f [19] if there exists a sequence {xn} in X such that
(3)for some u ∈ X and A ∈ CB(X), - (7)
coincidentally idempotent [21] if ffv = fv for every v ∈ C(f, T); that is, f is idempotent at the coincidence points of f and, T, and
- (8)
occasionally coincidentally idempotent [22] if ffv = fv for some v ∈ C(f, T).
Some relations between the introduced notions can be seen in [25, 26].
Remark 3. Note that if a pair (f, T) satisfies the property (E.A) along with the closedness of f(X), then the pair also satisfies the common limit range property with respect to the mapping f (see Theorem 7). However, common limit range property may be satisfied without the closedness of f(X) (e.g., Example 6).
In this paper, an attempt has been made to derive common fixed point theorems for a hybrid pair of mappings using the notion of common limit range property with occasionally coincidentally idempotent property involving implicit relations and altering distance. The presented theorems extend and unify various known fixed point results [21, 23, 24, 27–37]. Some examples are also furnished to exhibit that our results are proper extensions of the known ones.
2. Implicit Relations
In the recent past, implicit relations have been utilized to prove unified common fixed points results covering various kinds of contraction mappings in one go. In fact, this idea was initiated by Popa [38, 39], where he introduced an implicit function which covers a variety of contraction classes. In [33], Popa and Patriciu introduced the following implicit function and utilized the same to prove some coincidence and common fixed point results for hybrid pair of mappings covering several contraction conditions.
-
(ϕ1) ϕ is nondecreasing in its first variable;
-
(ϕ2) ϕ(t, 0,0, t, t, 0) ≤ 0 implies t = 0.
Example 4 (see [33].)The following functions are the examples of implicit function belonging to the set Φ:
- (1)
(4)
- (2)
(5)where 0 < k < 1,
- (3)
(6)where a, b, c ≥ 0 and b + c < 1,
- (4)
(7)where a, c ≥ 0 and 0 < b < 1,
- (5)
(8)where a, c ≥ 0 and 0 < b < 1,
- (6)
(9)where a, b, c ≥ 0 and 0 < b + c < 1,
- (7)
(10)where 0 < a < 1,
- (8)
(11)where 0 ≤ α < 1, 0 < a < 1 and b ≥ 0,
- (9)
(12)where a, b, c ≥ 0 and max {a, c} < 1,
- (10)
(13)where 0 < k < 1,
- (11)
(14)where k1, k2 ≥ 0 and max {k1, k2} < 1, and
- (12)
(15)
Certainly, apart from foregoing examples, there are many other functions that meet the requirements (ϕ1) and (ϕ2).
3. Main Results
Now we prove our main result.
Theorem 5. Let f be a self-mapping of a metric space (X, d) and T a mapping from X into CB(X) satisfying
Moreover, the mappings f and T have a common fixed point in X provided that the pair (f, T) is occasionally coincidentally idempotent.
Proof. Suppose that the pair (f, T) enjoys the common limit range property with respect to the mapping f. Then there exists a sequence {xn} in X such that
In the case that the mappings f and T are occasionally coincidentally idempotent; then ffv = fv for some v ∈ C(f, T), which implies ffv = fv ∈ Tv. Now we assert that fv ∈ Tfv. On using inequality (16) with x = v and y = fv, we get
Example 6. Consider X = [0, +∞) equipped with the standard metric. Define mappings f : X → X and T : X → CB(X) as follows:
- (i)
f(X) = [0,2)∪[5, +∞) is not closed in X;
- (ii)
C(f, T) = [0,1)∪{2};
- (iii)
for xn = 1/n, it is lim n→∞fxn = 0 = f0 ∈ [0,1] = T0 = lim n→∞Txn; hence, (f, T) enjoys the common limit range property with respect to the mapping f;
- (iv)
ff0 = f0 = 0; hence, (f, T) is occasionally coincidentally idempotent;
- (v)
ff2 = f5 = 47 ≠ f2; hence, (f, T) is not coincidentally idempotent.
Define ψ(t) = t/2 (which is an altering distance function), while ϕ ∈ Φ is given by
- (1)
For the case 0 ≤ x < y < 1, we have
(28) - (2)
In the case 1 ≤ x < y < 2, one finds
(29) - (3)
If 2 ≤ x < y, then one can show on the lines of case (1) that L < 0.
- (4)
If 0 ≤ x < 1 ≤ y < 2, then d(fx, Ty) = 0, d(fy, Tx) = y2 + y + 3 − (x2 + 1) = y2 + y + 2 − x2, and
(30) - (5)
If 0 ≤ x < 1, y ≥ 2, then
(31) - (6)
The case 1 ≤ x < 2 ≤ y is similar to the case (2).
Thus, all the conditions of Theorem 5 are satisfied and the pair (f, T) has common fixed points (which are 0 and 1/2).
The same conclusion cannot be reached using [35, Theorem 3.1] or [33, Theorem 4.1], as f(X) is not closed and (f, T) is not coincidentally idempotent.
Theorem 7. Let f be a self-mapping of a metric space (X, d) and T a mapping from X into CB(X) satisfying inequality (16) of Theorem 5. Suppose that the pair (f, T) satisfies the property (E.A) and f(X) is a closed subset of X; then the mappings f and T have a coincidence point (i.e., C(f, T) ≠ ∅).
Moreover, the mappings f and T have a common fixed point in X provided that the pair (f, T) is occasionally coincidentally idempotent.
Proof. If the pair (f, T) enjoys the property (E.A), then there exists a sequence {xn} in X such that
Example 8. Consider X = [0,2] equipped with the standard metric. Define mappings f : X → X and T : X → CB(X) as
- (i)
f(X) = [1,2] is closed in X;
- (ii)
C(f, T) = [3/4,1];
- (iii)
for xn = 1 − 1/n, it is lim n→∞fxn = 1 ∈ [1,5/4] = lim n→∞Txn; hence, (f, T) enjoys the property (E.A);
- (iv)
ff1 = f1 = 1; hence, (f, T) is occasionally coincidentally idempotent;
- (v)
ff(3/4) = f(5/4) = 2 ≠ f(3/4); hence, (f, T) is not coincidentally idempotent.
Take ψ(t) = 2t (which is an altering distance function) and ϕ ∈ Φ given by
- (1)
Consider 0 ≤ x < y ≤ 1. Then
(37) - (2)
Consider 1 < x < y ≤ 2. Then L ≤ ψ(H(Tx, Ty)) − (1/2)ψ(d(fx, fy)) = 0 − 0 = 0.
- (3)
Consider 0 ≤ x ≤ 1 < y ≤ 2. Then H(Tx, Ty) = 1/4, d(fx, Tx) ≥ 0, d(fy, Ty) = 1, and
(38)
Hence, all the conditions of Theorem 7 are fulfilled and the pair (f, T) has a common fixed point (which is 1).
The same conclusion cannot be obtained using, for example, [35, Theorem 3.1] or [33, Theorem 4.1], since (f, T) is not coincidentally idempotent.
Notice that a noncompatible hybrid pair always satisfies the property (E.A). Hence, we get the following corollary.
Corollary 9. Let f be a self-mapping of a metric space (X, d) and T a mapping from X into CB(X) satisfying inequality (16) of Theorem 5. Suppose that the pair (f, T) is noncompatible and f(X) is a closed subset of X. Then the mappings f and T have a coincidence point (i.e., C(f, T) ≠ ∅).
Moreover, the mappings f and T have a common fixed point in X provided that the pair (f, T) is occasionally coincidentally idempotent.
Corollary 10. The conclusions of Theorems 5 and 7 and Corollary 9 remain true if inequality (16) is replaced by one of the following contraction conditions. For all x, y ∈ X and some ψ ∈ Ψ,
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
On setting ψ(t) = t in the earlier defined theorems involving altering distance, we can get some natural results which improve hybrid type fixed point results given in the literature. For the sake of simplicity, we only derive the following corollary by putting ψ(t) = t in Theorem 5.
Corollary 11. Let f be a self-mapping of a metric space (X, d) and T a mapping from X into CB(X) satisfying
Moreover, the mappings f and T have a common fixed point in X provided that the pair (f, T) is occasionally coincidentally idempotent.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors are grateful to the referees for careful reading of the text and useful remarks that helped them to improve it. The third author (Professor Zoran Kadelburg) is grateful to the Ministry of Education, Science and Technological Development of Serbia.