Research Article E.A Common Fixed Point for Three Pairs of Self-Maps Satisfying

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 808092, 11 pages
http://dx.doi.org/10.1155/2013/808092
Research Article
Common Fixed Point for Three Pairs of Self-Maps Satisfying
Common (E.A) Property in Generalized Metric Spaces
Feng Gu and Yun Yin
Institute of Applied Mathematics and Department of Mathematics, Hangzhou Normal University, Hangzhou, Zhejiang 310036, China
Correspondence should be addressed to Feng Gu; gufeng99@sohu.com
Received 1 February 2013; Accepted 7 February 2013
Academic Editor: Yisheng Song
Copyright © 2013 F. Gu and Y. Yin. This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Using the concept of common (E.A) property, we prove a common fixed point theorem for three pairs of weakly compatible
self-maps satisfying a new contractive condition in the framework of a generalized metric space. Our results do not rely on any
commuting or continuity condition of mappings. An example is provided to support our result. The results obtained in this paper
differ from the recent relative results in the literature.
1. Introduction
The study of fixed points and common fixed points of
mappings satisfying certain contractive conditions has been
at the center of rigorous research activity. In 2006, Mustafa
and Sims [1] introduced the concept of generalized metric
spaces or simply 𝐺-metric spaces as a generalization of the
notion of a metric space. Based on the notion of generalized
metric spaces, Mustafa et al. [2–5], Obiedat and Mustafa
[6], Aydi et al. [7, 8], Gajié and Stojakovié [9], and Zhou
and Gu [10] obtained some fixed point results for mappings
satisfying different contractive conditions. Shatanawi [11]
obtained some fixed point results for Φ-maps in 𝐺-metric
spaces. Chugh et al. [12] obtained some fixed point results
for maps satisfying property 𝑃 in 𝐺-metric spaces. Study
of common fixed point problems in 𝐺-metric spaces was
initiated by Abbas and Rhoades [13]. Subsequently, many
authors obtained many common fixed point theorems for the
mappings satisfying different contractive conditions (see [14–
32] for more details). Recently, Abbas et al. [33] and Mustafa
et al. [34] obtained some common fixed point results for
a pair of mappings satisfying (E.A) property under certain
generalized strict contractive conditions in 𝐺-metric spaces.
Long et al. [35] obtained some common coincidence and
common fixed points results of two pairs of mappings when
only one pair satisfies (E.A) property in the framework of a
generalized metric space.
The aim of this paper is to study common fixed point
of three pairs of mappings for which only two pairs need
to satisfy common (E.A) property in the framework of 𝐺metric spaces. Our results do not rely on any commuting or
continuity condition of mappings.
2. Definitions and Preliminary Results
In this section, we present the necessary definitions and
results in 𝐺-metric spaces.
Definition 1 (see [1]). Let 𝑋 be a nonempty set, and let 𝐺 : 𝑋×
𝑋 × π‘‹ → 𝑅+ be a function satisfying the following axioms:
(G1) 𝐺(π‘₯, 𝑦, 𝑧) = 0 if π‘₯ = 𝑦 = 𝑧;
(G2) 0 < 𝐺(π‘₯, π‘₯, 𝑦), for all π‘₯, 𝑦 ∈ 𝑋 with π‘₯ =ΜΈ 𝑦;
(G3) 𝐺(π‘₯, π‘₯, 𝑦) ≤ 𝐺(π‘₯, 𝑦, 𝑧), for all π‘₯, 𝑦, and 𝑧 ∈ 𝑋 with
𝑧 =ΜΈ y;
(G4) 𝐺(π‘₯, 𝑦, 𝑧) = 𝐺(π‘₯, 𝑧, 𝑦) = 𝐺(𝑦, 𝑧, π‘₯) = ⋅ ⋅ ⋅ (symmetry
in all three variables);
(G5) 𝐺(π‘₯, 𝑦, 𝑧) ≤ 𝐺(π‘₯, π‘Ž, π‘Ž) + 𝐺(π‘Ž, 𝑦, 𝑧) for all π‘₯, 𝑦, 𝑧, and
π‘Ž ∈ 𝑋, (rectangle inequality).
Then the function 𝐺 is called a generalized metric, or more
specifically a 𝐺-metric on 𝑋 and the pair (𝑋, 𝐺) are called a
𝐺-metric space.
2
Abstract and Applied Analysis
It is known that the function 𝐺(π‘₯, 𝑦, and 𝑧) on 𝐺-metric
space 𝑋 is jointly continuous in all three of its variables, and
𝐺(π‘₯, 𝑦, 𝑧) = 0 if and only if π‘₯ = 𝑦 = 𝑧 (see [1] for more details
and the reference therein).
Definition 2 (see [1]). Let (𝑋, 𝐺) be a 𝐺-metric space, and let
{π‘₯𝑛 } be a sequence of points in 𝑋; a point π‘₯ in 𝑋 is said to be
the limit of the sequence {π‘₯𝑛 } if limπ‘š,𝑛 → ∞ 𝐺(π‘₯, π‘₯𝑛 , π‘₯π‘š ) = 0,
and one says that sequence {π‘₯𝑛 } is 𝐺-convergent to π‘₯.
Thus, if π‘₯𝑛 → π‘₯ in a 𝐺-metric space (𝑋, 𝐺), then for any
πœ– > 0 there exists 𝑁 ∈ N (throughout this paper we mean by N
the set of all natural numbers) such that 𝐺(π‘₯, π‘₯𝑛 , and π‘₯π‘š ) < πœ–,
for all 𝑛, π‘š ≥ 𝑁.
Proposition 3 (see [1]). Let (𝑋, 𝐺) be a 𝐺-metric space; then
the followings are equivalent:
(1) {π‘₯𝑛 } is 𝐺-convergent to π‘₯.
(2) 𝐺(π‘₯𝑛 , π‘₯𝑛 , π‘₯) → 0 as 𝑛 → ∞.
(3) 𝐺(π‘₯𝑛 , π‘₯, π‘₯) → 0 as 𝑛 → ∞.
(4) 𝐺(π‘₯𝑛 , π‘₯π‘š , π‘₯) → 0 as 𝑛, π‘š → ∞.
Definition 4 (see [1]). Let (𝑋, 𝐺) be a 𝐺-metric space. A
sequence {π‘₯𝑛 } is called 𝐺-Cauchy sequence if, for each πœ– >
0, there exists 𝑁 ∈ N such that 𝐺(π‘₯𝑛 , π‘₯π‘š , and π‘₯𝑙 ) < πœ–
for all 𝑛, π‘š, and 𝑙 ≥ 𝑁, that is, if 𝐺(π‘₯𝑛 , π‘₯π‘š , π‘₯𝑙 ) → 0 as
𝑛, π‘š, and 𝑙 → ∞.
Definition 5 (see [1]). A 𝐺-metric space (𝑋, 𝐺) is said to be 𝐺complete (or a complete 𝐺-metric space) if every 𝐺-Cauchy
sequence in (𝑋, 𝐺) is 𝐺-convergent in 𝑋.
Proposition 6 (see [1]). Let (𝑋, 𝐺) be a 𝐺-metric space. Then
the following are equivalent.
(1) The sequence {π‘₯𝑛 } is 𝐺-Cauchy.
(2) For every πœ– > 0, there exists π‘˜ ∈ N such that
𝐺(π‘₯𝑛 , π‘₯π‘š , π‘₯π‘š ) < πœ–, for all 𝑛, π‘š ≥ π‘˜.
Proposition 7 (see [1]). Let (𝑋, 𝐺) be a 𝐺-metric space. Then
the function 𝐺(π‘₯, 𝑦, and 𝑧) is jointly continuous in all three of
its variables.
Definition 8 (see [36]). Let 𝑓 and 𝑔 be self-maps of a set 𝑋. If
𝑀 = 𝑓π‘₯ = 𝑔π‘₯ for some π‘₯ in 𝑋, then π‘₯ is called a coincidence
point of 𝑓 and 𝑔, and 𝑀 is called point of coincidence of 𝑓
and 𝑔.
Definition 9 (see [36]). Two self-mappings 𝑓 and 𝑔 on 𝑋 are
said to be weakly compatible if they commute at coincidence
points.
Definition 10 (see [33]). Let 𝑋 be a 𝐺-metric space. Self-maps
𝑓 and 𝑔 on 𝑋 are said to satisfy the 𝐺-(E.A) property if there
exists a sequence {π‘₯𝑛 } in 𝑋 such that {𝑓π‘₯𝑛 } and {𝑔π‘₯𝑛 } are 𝐺convergent to some 𝑑 ∈ 𝑋.
Definition 11. Let (𝑋, 𝑑) be a 𝐺-metric space and 𝐴, 𝐡, 𝑆, and
𝑇 four self-maps on 𝑋. The pairs (𝐴, 𝑆) and (𝐡, 𝑇) are said to
satisfy common (𝐸.𝐴) property if there exist two sequences
{π‘₯𝑛 } and {𝑦𝑛 } in 𝑋 such that lim𝑛 → ∞ 𝐴π‘₯𝑛 = lim𝑛 → ∞ 𝑆π‘₯𝑛 =
lim𝑛 → ∞ 𝐡𝑦𝑛 = lim𝑛 → ∞ 𝑇𝑦𝑛 = 𝑑, for some 𝑑 ∈ 𝑋.
Definition 12 (see [17]). Self-mappings 𝑓 and 𝑔 of a 𝐺-metric
space (𝑋, 𝐺) are said to be compatible if lim𝑛 → ∞
𝐺(𝑓𝑔π‘₯𝑛 , 𝑔𝑓π‘₯𝑛 , 𝑔𝑓π‘₯𝑛 ) = 0 and lim𝑛 → ∞ 𝐺(𝑔𝑓π‘₯𝑛 , 𝑓𝑔π‘₯𝑛 , 𝑓𝑔π‘₯𝑛 ) =
0, whenever {π‘₯𝑛 } is a sequence in 𝑋 such that lim𝑛 → ∞ 𝑓π‘₯𝑛
= lim𝑛 → ∞ 𝑔π‘₯𝑛 = 𝑑, for some 𝑑 ∈ 𝑋.
Definition 13 (see [16]). A pair of self-mappings (𝑓, 𝑔) of a 𝐺metric space is said to be weakly commuting if
𝐺 (𝑓𝑔π‘₯, 𝑔𝑓π‘₯, 𝑔𝑓π‘₯) ≤ 𝐺 (𝑓π‘₯, 𝑔π‘₯, 𝑔π‘₯) ,
∀π‘₯ ∈ 𝑋.
(1)
Definition 14 (see [16]). A pair of self-mappings (𝑓, 𝑔) of a 𝐺metric space is said to be 𝑅-weakly commuting, if there exists
some positive real number 𝑅 such that
𝐺 (𝑓𝑔π‘₯, 𝑔𝑓π‘₯, 𝑔𝑓π‘₯) ≤ 𝑅𝐺 (𝑓π‘₯, 𝑔π‘₯, 𝑔π‘₯) ,
∀π‘₯ ∈ 𝑋.
(2)
3. Main Results
In this section, we obtain some unique common fixed
point results for six mappings satisfying certain generalized
contractive conditions in the framework of a generalized
metric space. We start with the following result.
Theorem 15. Let (𝑋, 𝐺) be a 𝐺-metric space. Suppose mappings 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 : 𝑋 → 𝑋 satisfying the following
conditions:
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§)
≤ πœ™ (max {𝐺 (𝑅π‘₯, 𝑆𝑦, 𝑇𝑧) , 𝐺 (𝑓π‘₯, 𝑅π‘₯, 𝑅π‘₯) ,
𝐺 (𝑔𝑦, 𝑆𝑦, 𝑆𝑦) , 𝐺 (β„Žπ‘§, 𝑇𝑧, 𝑇𝑧) ,
1
[𝐺 (𝑓π‘₯, 𝑆𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑔𝑦, 𝑇𝑧)
3
(3)
+𝐺 (𝑅π‘₯, 𝑆𝑦, β„Žπ‘§)] ,
1
[𝐺 (𝑓π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑓π‘₯, 𝑆𝑦, β„Žπ‘§)
3
+𝐺 (𝑅π‘₯, 𝑔𝑦, β„Žπ‘§)] }) ,
for all π‘₯, 𝑦, and 𝑧 ∈ 𝑋, where πœ™ : [0, ∞) → [0, ∞) is the
function satisfying 0 < πœ™(𝑑) < 𝑑, for all 𝑑 > 0. If one of the
following conditions is satisfied, then the pairs (𝑓, 𝑅), (𝑔, 𝑆),
and (β„Ž, 𝑇) have a common point of coincidence in 𝑋:
(i) the subspace 𝑅𝑋 is closed in 𝑋, 𝑓𝑋 ⊆ 𝑆𝑋, 𝑔𝑋 ⊆ 𝑇𝑋,
and two pairs of (𝑓, 𝑅) and (𝑔, 𝑆) satisfy common (𝐸.𝐴)
property;
(ii) the subspace 𝑆𝑋 is closed in 𝑋, 𝑔𝑋 ⊆ 𝑇𝑋, β„Žπ‘‹ ⊆ 𝑅𝑋,
and two pairs of (𝑔, 𝑆) and (β„Ž, 𝑇) satisfy common (𝐸.𝐴)
property;
(iii) the subspace 𝑇𝑋 is closed in 𝑋, 𝑓𝑋 ⊆ 𝑆𝑋, β„Žπ‘‹ ⊆ 𝑅𝑋,
and two pairs of (𝑓, 𝑅) and (β„Ž, 𝑇) satisfy common (𝐸.𝐴)
property.
Abstract and Applied Analysis
3
Moreover, if the pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇) are weakly
compatible, then 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 have a unique common
fixed point in 𝑋.
Proof. First, we suppose that the subspace 𝑅𝑋 is closed in 𝑋,
𝑓𝑋 ⊆ 𝑆𝑋, 𝑔𝑋 ⊆ 𝑇𝑋, and two pairs of (𝑓, 𝑅) and (𝑔, 𝑆) satisfy
common (𝐸.𝐴) property. Then by Definition 11 we know that,
there exist two sequences {π‘₯𝑛 } and {𝑦𝑛 } in 𝑋 such that
lim 𝑓π‘₯𝑛 = lim 𝑅π‘₯𝑛 = lim 𝑔𝑦𝑛 = lim 𝑆𝑦𝑛 = 𝑑
𝑛→∞
𝑛→∞
𝑛→∞
𝑛→∞
(4)
for some 𝑑 ∈ 𝑋.
Since 𝑔𝑋 ⊆ 𝑇𝑋, there exists a sequence {𝑧𝑛 } in X such
that 𝑔𝑦𝑛 = 𝑇𝑧𝑛 . Hence lim𝑛 → ∞ 𝑇𝑧𝑛 = 𝑑. Next, we will
show lim𝑛 → ∞ β„Žπ‘§π‘› = 𝑑. In fact, if lim𝑛 → ∞ β„Žπ‘§π‘› =ΜΈ 𝑑, then from
condition (3), we can get
Taking 𝑛 → ∞ on the two sides of the above inequality and
using the property of πœ™, we can get
𝐺 (𝑓𝑝, 𝑑, 𝑑) ≤ πœ™ (max {𝐺 (𝑓𝑝, 𝑑, 𝑑)}) < 𝐺 (𝑓𝑝, 𝑑, 𝑑) .
Which is contradiction, and so 𝑓𝑝 = 𝑑 = 𝑅𝑝. Hence, 𝑝 is the
coincidence point of pair (𝑓, 𝑅).
By the condition 𝑓𝑋 ⊆ 𝑆𝑋 and 𝑓𝑝 = 𝑑, there exists a point
𝑒 in 𝑋 such that 𝑑 = 𝑆𝑒. Now, we claim that 𝑔𝑒 = 𝑑. In fact, if
𝑔𝑒 =ΜΈ 𝑑, then from (3) we have
𝐺 (𝑓𝑝, 𝑔𝑒, β„Žπ‘§π‘› )
≤ πœ™ (max {𝐺 (𝑅𝑝, 𝑆𝑒, 𝑇𝑧𝑛 ) , 𝐺 (𝑓𝑝, 𝑅𝑝, 𝑅𝑝) ,
𝐺 (𝑔𝑒, 𝑆𝑒, 𝑆𝑒) , 𝐺 (β„Žπ‘§π‘› , 𝑇𝑧𝑛 , 𝑇𝑧𝑛 ) ,
𝐺 (𝑓π‘₯𝑛 , 𝑔𝑦𝑛 , β„Žπ‘§π‘› )
1
[𝐺 (𝑓𝑝, 𝑆𝑒, 𝑇𝑧𝑛 ) + 𝐺 (𝑅𝑝, 𝑔𝑒, 𝑇𝑧𝑛 ) (9)
3
≤ πœ™ (max {𝐺 (𝑅π‘₯𝑛 , 𝑆𝑦𝑛 , 𝑇𝑧𝑛 ) , 𝐺 (𝑓π‘₯𝑛 , 𝑅π‘₯𝑛 , 𝑅π‘₯𝑛 ) ,
+𝐺 (𝑅𝑝, 𝑆𝑒, β„Žπ‘§π‘› )] ,
𝐺 (𝑔𝑦𝑛 , 𝑆𝑦𝑛 , 𝑆𝑦𝑛 ) , 𝐺 (β„Žπ‘§π‘› , 𝑇𝑧𝑛 , 𝑇𝑧𝑛 ) ,
1
[𝐺 (𝑓𝑝, 𝑔𝑒, 𝑇𝑧𝑛 ) + 𝐺 (𝑓𝑝, 𝑆𝑒, β„Žπ‘§π‘› )
3
1
[𝐺 (𝑓π‘₯𝑛 , 𝑆𝑦𝑛 , 𝑇𝑧𝑛 ) + 𝐺 (𝑅π‘₯𝑛 , 𝑔𝑦𝑛 , 𝑇𝑧𝑛 )
3
+𝐺 (𝑅𝑝, 𝑔𝑒, β„Žπ‘§π‘› )] }) .
+𝐺 (𝑅π‘₯𝑛 , 𝑆𝑦𝑛 , β„Žπ‘§π‘› )] ,
1
[𝐺 (𝑓π‘₯𝑛 , 𝑔𝑦𝑛 , 𝑇𝑧𝑛 ) + 𝐺 (𝑓π‘₯𝑛 , 𝑆𝑦𝑛 , β„Žπ‘§π‘› )
3
(5)
On letting 𝑛 → ∞ and based on the property of πœ™, we can
obtain
𝐺 (𝑑, 𝑑, lim β„Žπ‘§π‘› ) ≤ πœ™ (𝐺 ( lim β„Žπ‘§π‘› , 𝑑, 𝑑))
𝑛→∞
Letting 𝑛 → ∞ on the two sides of the above inequality and
using the property of πœ™, we can obtain
𝐺 (𝑑, 𝑔𝑒, 𝑑) ≤ πœ™ (𝐺 (𝑔𝑒, 𝑑, 𝑑)) < 𝐺 (𝑔𝑒, 𝑑, 𝑑) .
+𝐺 (𝑅π‘₯𝑛 , 𝑔𝑦𝑛 , β„Žπ‘§π‘› )] }) .
𝑛→∞
(8)
(6)
< 𝐺 ( lim β„Žπ‘§π‘› , 𝑑, 𝑑) .
𝑛→∞
It is contradiction; so lim𝑛 → ∞ β„Žπ‘§π‘› = 𝑑.
Since 𝑅𝑋 is a closed subspace of 𝑋 and lim𝑛 → ∞ 𝑅π‘₯𝑛 = 𝑑,
there exists a 𝑝 in 𝑋 such that 𝑑 = 𝑅𝑝. We claim that 𝑓𝑝 = 𝑑.
Suppose not; then by using (3) we obtain
𝐺 (𝑓𝑝, 𝑔𝑦𝑛 , β„Žπ‘§π‘› )
It is contradiction. Hence 𝑔𝑒 = 𝑑 = 𝑆𝑑, and so 𝑒 is the
coincidence point of pair (𝑔, 𝑆).
Since 𝑔𝑋 ⊆ 𝑇𝑋 and 𝑔𝑒 = 𝑑, there exists a point V in 𝑋
such that 𝑑 = 𝑇V. We claim that β„ŽV = 𝑑. If not, from (3) and
the property of πœ™, we have
𝐺 (𝑑, 𝑑, β„ŽV)
= 𝐺 (𝑓𝑝, 𝑔𝑒, β„ŽV)
≤ πœ™ (max {𝐺 (𝑅𝑝, 𝑆𝑒, 𝑇V) , 𝐺 (𝑓𝑝, 𝑅𝑝, 𝑅𝑝) ,
𝐺 (𝑔𝑒, 𝑆𝑒, 𝑆𝑒) , 𝐺 (β„ŽV, 𝑇V, 𝑇V) ,
1
[𝐺 (𝑓𝑝, 𝑆𝑒, 𝑇V) + 𝐺 (𝑅𝑝, 𝑔𝑒, 𝑇V)
3
≤ πœ™ (max {𝐺 (𝑅𝑝, 𝑆𝑦𝑛 , 𝑇𝑧𝑛 ) , 𝐺 (𝑓𝑝, 𝑅𝑝, 𝑅𝑝) ,
+𝐺 (𝑅𝑝, 𝑆𝑒, β„ŽV)] ,
𝐺 (𝑔𝑦𝑛 , 𝑆𝑦𝑛 , 𝑆𝑦𝑛 ) , 𝐺 (β„Žπ‘§π‘› , 𝑇𝑧𝑛 , 𝑇𝑧𝑛 ) ,
1
[𝐺 (𝑓𝑝, 𝑆𝑦𝑛 , 𝑇𝑧𝑛 ) + 𝐺 (𝑅𝑝, 𝑔𝑦𝑛 , 𝑇𝑧𝑛 )
3
(11)
1
[𝐺 (𝑓𝑝, g𝑒, 𝑇V) + 𝐺 (𝑓𝑝, 𝑆𝑒, β„ŽV)
3
+𝐺 (𝑅𝑝, 𝑔𝑒, β„ŽV)] })
+𝐺 (𝑅𝑝, 𝑆𝑦𝑛 , β„Žπ‘§π‘› )] ,
1
[𝐺 (𝑓𝑝, 𝑔𝑦𝑛 , 𝑇𝑧𝑛 ) + 𝐺 (𝑓𝑝, 𝑆𝑦𝑛 , β„Žπ‘§π‘› )
3
(10)
= πœ™ (𝐺 (β„ŽV, 𝑑, 𝑑))
< 𝐺 (β„ŽV, 𝑑, 𝑑) .
+𝐺 (𝑅𝑝, 𝑔𝑦𝑛 , β„Žπ‘§π‘› )] }) .
(7)
It is contradiction. Hence β„ŽV = 𝑑 = 𝑇V, and so V is the
coincidence point of pair (β„Ž, 𝑇).
4
Abstract and Applied Analysis
Therefore, in all the above cases, we obtain 𝑓𝑝 = 𝑅𝑝 =
𝑔𝑒 = 𝑆𝑒 = β„ŽV = 𝑇V = 𝑑. Now, weakly compatibility of the
pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇) gives that 𝑓𝑑 = 𝑅𝑑, 𝑔𝑑 = 𝑆𝑑, and
β„Žπ‘‘ = 𝑇𝑑.
Next, we show that 𝑓𝑑 = 𝑑. In fact, if 𝑓𝑑 =ΜΈ 𝑑, then from (3)
we have
𝐺 (𝑓𝑑, 𝑑, 𝑑)
= 𝐺 (𝑓𝑑, 𝑔𝑒, β„ŽV)
𝐺 (𝑔𝑒, 𝑆𝑒, 𝑆𝑒) , 𝐺 (β„ŽV, 𝑇V, 𝑇V) ,
+𝐺 (𝑅𝑑, 𝑆𝑒, β„ŽV)] ,
(12)
1
[𝐺 (𝑓𝑑, 𝑔𝑒, 𝑇V) + 𝐺 (𝑓𝑑, 𝑆𝑒, β„ŽV)
3
+𝐺 (𝑅𝑑, 𝑔𝑒, β„ŽV)] })
= πœ™ (𝐺 (𝑓𝑑, 𝑑, 𝑑))
< 𝐺 (𝑓𝑑, 𝑑, 𝑑)
which is contradiction; hence 𝑓𝑑 = 𝑑, and so 𝑓𝑑 = 𝑅𝑑 = 𝑑.
Similarly, it can be shown that 𝑔𝑑 = 𝑆𝑑 = 𝑑 and β„Žπ‘‘ = 𝑇𝑑 = 𝑑;
so we get 𝑓𝑑 = 𝑔𝑑 = β„Žπ‘‘ = 𝑅𝑑 = 𝑆𝑑 = 𝑇𝑑 = 𝑑, which means that
𝑑 is a common fixed point of 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇.
Next, we will show the common fixed point of 𝑓, 𝑔, β„Ž,
𝑅, 𝑆, and 𝑇 is unique. Actually, suppose that 𝑀 ∈ 𝑋; 𝑀 =ΜΈ 𝑑 is
another common fixed point of 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇; then by
condition (3) we have
𝐺 (𝑀, 𝑑, 𝑑)
= 𝐺 (𝑓𝑀, 𝑔𝑑, β„Žπ‘‘)
(14)
1
{
1, π‘₯ ∈ [0, ]
{
{
2
𝑓π‘₯ = {
{
5
1
{ , π‘₯ ∈ ( , 1] ,
{6
2
1
7
{
, π‘₯ ∈ [0, ]
{
{8
2
𝑔π‘₯ = {
{
5
1
{ , π‘₯ ∈ ( , 1] ,
{6
2
1
6
{
, π‘₯ ∈ [0, ]
{
{7
2
β„Žπ‘₯ = {
{
{ 5 , π‘₯ ∈ ( 1 , 1] ,
{6
2
4
,
{
{
{
5
{
{
{
{5
𝑅π‘₯ = { ,
{
6
{
{
{
{
{6
{7,
1
1, π‘₯ ∈ [0, ]
{
{
{
2
{
{
{
𝑆π‘₯ = { 5 , π‘₯ ∈ ( 1 , 1)
{
{6
2
{
{
{
{0, π‘₯ = 1,
1,
{
{
{
{
{
{5
{
𝑇π‘₯ = { ,
{
6
{
{
{
{
{7
{8,
1
π‘₯ ∈ [0, ]
2
1
π‘₯ ∈ ( , 1)
2
π‘₯ = 1,
1
π‘₯ ∈ [0, ]
2
1
π‘₯ ∈ ( , 1)
2
π‘₯ = 1.
(15)
Note that 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 are discontinuous mappings.
Clearly, the subspace 𝑅𝑋 is closed in 𝑋, 𝑓𝑋 ⊆ 𝑆𝑋, 𝑔𝑋 ⊆ 𝑇𝑋,
β„Žπ‘‹ ⊆ 𝑅𝑋, and the pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇) are weakly
compatible. Also, the pairs (𝑓, 𝑅) and (𝑔, 𝑆) satisfy common
(𝐸.𝐴) property; indeed, π‘₯𝑛 = 4/5 and 𝑦𝑛 = 3/4 for each
𝑛 ∈ 𝑁 are the required sequences. The control function
πœ™ : [0, ∞) → [0, ∞) is defined by πœ™(𝑑) = 11𝑑/12.
First, we let
= max {𝐺 (𝑅π‘₯, 𝑆𝑦, 𝑇𝑧) , 𝐺 (𝑓π‘₯, 𝑅π‘₯, 𝑅π‘₯) ,
𝐺 (𝑔𝑑, 𝑆𝑑, 𝑆𝑑) , 𝐺 (β„Žπ‘‘, 𝑇𝑑, 𝑇𝑑) ,
+𝐺 (𝑅𝑀, 𝑆𝑑, β„Žπ‘‘)] ,
Example 16. Let 𝑋 = [0, 1] be a 𝐺-metric space with
󡄨
󡄨 󡄨
󡄨
𝐺 (π‘₯, 𝑦, 𝑧) = 󡄨󡄨󡄨π‘₯ − 𝑦󡄨󡄨󡄨 + 󡄨󡄨󡄨𝑦 − 𝑧󡄨󡄨󡄨 + |𝑧 − π‘₯| .
𝑀 (π‘₯, 𝑦, 𝑧)
≤ πœ™ (max {𝐺 (𝑅𝑀, 𝑆𝑑, 𝑇𝑑) , 𝐺 (𝑓𝑀, 𝑅𝑀, 𝑅𝑀) ,
1
[𝐺 (𝑓𝑀, 𝑆𝑑, 𝑇𝑑) + 𝐺 (𝑅𝑀, 𝑔𝑑, 𝑇𝑑)
3
Now, we give an example to support Theorem 15.
We define mappings 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 on 𝑋 by
≤ πœ™ (max {𝐺 (𝑅𝑑, 𝑆𝑒, 𝑇V) , 𝐺 (𝑓𝑑, 𝑅𝑑, 𝑅𝑑) ,
1
[𝐺 (𝑓𝑑, 𝑆𝑒, 𝑇V) + 𝐺 (𝑅𝑑, 𝑔𝑒, 𝑇V)
3
Finally, if condition (ii) or (iii) holds, then the argument
is similar to that above; so we delete it.
This completes the proof of Theorem 15.
𝐺 (𝑔𝑦, 𝑆𝑦, 𝑆𝑦) , 𝐺 (β„Žπ‘§, 𝑇𝑧, 𝑇𝑧) ,
(13)
1
[𝐺 (𝑓𝑀, 𝑔𝑑, 𝑇𝑑) + 𝐺 (𝑓𝑀, 𝑆𝑑, β„Žπ‘‘)
3
+𝐺 (𝑅𝑀, 𝑔𝑑, β„Žπ‘‘)] })
= πœ™ (𝐺 (𝑀, 𝑑, 𝑑))
< 𝐺 (𝑀, 𝑑, 𝑑) .
It is a contradiction, unless 𝑀 = 𝑑; that is, mappings
𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 have a unique common fixed point.
1
[𝐺 (𝑓π‘₯, 𝑆𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑔𝑦, 𝑇𝑧)
3
(16)
+𝐺 (𝑅π‘₯, 𝑆𝑦, β„Žπ‘§)] ,
1
[𝐺 (𝑓π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑓π‘₯, 𝑆𝑦, β„Žπ‘§)
3
+𝐺 (𝑅π‘₯, 𝑔𝑦, β„Žπ‘§)]} .
To prove (3), let us discuss the following cases.
Case 1. For π‘₯, 𝑦, and 𝑧 ∈ ((1/2), 1], then we have
𝐺(𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 0, and hence (3) is obviously satisfied.
Abstract and Applied Analysis
5
Case 2. For π‘₯, 𝑦, and 𝑧 ∈ [0, (1/2)], then we have
(b) If 𝑧 = 1, then we get
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
7 6
2
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 (1, , ) = ,
8 7
7
7
4 4
7
4
= πœ™ (max {𝐺 ( , 1, ) , 𝐺 (1, , ) , 𝐺 ( , 1, 1) ,
5
8
5 5
8
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
5 7 7 1
7
4 7 7
𝐺 ( , , ) , [𝐺 (1, 1, ) + 𝐺 ( , , )
6 8 8 3
8
5 8 8
4
4 4
7
= πœ™ (max {𝐺 ( , 1, 1) , 𝐺 (1, , ) , 𝐺 ( , 1, 1) ,
5
5 5
8
4
5
+𝐺 ( , 1, )] ,
5
6
6
1
4 7
𝐺 ( , 1, 1) , [𝐺 (1, 1, 1) + 𝐺 ( , , 1)
7
3
5 8
1
7 7
5
[𝐺 (1, , ) + 𝐺 (1, 1, )
3
8 8
6
4
6
+𝐺 ( , 1, )] ,
5
7
4 7 5
+𝐺 ( , , )]})
5 8 6
1
7
6
[𝐺 (1, , 1) + 𝐺 (1, 1, )
3
8
7
2 2 1 1 4 11
= πœ™ (max { , , , , , })
5 5 4 12 15 45
4 7 6
+𝐺 ( , , )]})
5 8 7
2
11
= πœ™( ) = .
5
30
2 2 1 4 8
= πœ™ (max { , , , , })
5 5 4 15 35
2
11
= πœ™( ) = .
5
30
Hence, we can get
(17)
Therefore,
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
2 11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
7 30
(18)
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1
7 5
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 (1, , ) = .
8 6
3
1 11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
3 30
(22)
Case 4. For π‘₯, 𝑧 ∈ [0, (1/2)], 𝑦 ∈ ((1/2), 1], then we have
5 6
1
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 (1, , ) = .
6 7
3
Case 3. For π‘₯, 𝑦 ∈ [0, (1/2)], 𝑧 ∈ ((1/2), 1], then we have
(23)
Next we divide the study in two subcases.
(19)
(a) If 𝑦 ∈ ((1/2), 1), then we obtain
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
Next we divide the study in two subcases.
4 5
4 4
5 5 5
= πœ™ (max {𝐺 ( , , 1) , 𝐺 (1, , ) , 𝐺 ( , , ) ,
5 6
5 5
6 6 6
(a) If 𝑧 ∈ ((1/2), 1), then we have
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
6
1
5
4 5
𝐺 ( , 1, 1) , [𝐺 (1, , 1) + 𝐺 ( , , 1)
7
3
6
5 6
4
5
4 4
7
= πœ™ (max {𝐺 ( , 1, ) , 𝐺 (1, , ) , 𝐺 ( , 1, 1) ,
5
6
5 5
8
4 5 6
+𝐺 ( , , )] ,
5 6 7
5 5 5 1
5
4 7 5
𝐺 ( , , ) , [𝐺 (1, 1, ) + 𝐺 ( , , )
6 6 6 3
6
5 8 6
1
5
5 6
[𝐺 (1, , 1) + 𝐺 (1, , )
3
6
6 7
4
5
+𝐺 ( , 1, )] ,
5
6
4 5 6
+𝐺 ( , , )]})
5 6 7
1
7 5
5
[𝐺 (1, , ) + 𝐺 (1, 1, )
3
8 6
6
2 2
2 89 82
= πœ™ (max { , , 0, ,
,
})
5 5
7 315 315
4 7 5
+𝐺 ( , , )]})
5 8 6
2
11
= πœ™( ) = .
5
30
2 2 1
53 49
= πœ™ (max { , , , 0,
,
})
5 5 4
180 180
2
11
= πœ™( ) = .
5
30
(21)
(24)
Thus we have
(20)
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1 11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
3 30
(25)
6
Abstract and Applied Analysis
(b) If π‘₯ = 1, then we obtain
(b) If 𝑦 = 1, then we can get
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
5 6 6
7
6
= πœ™ (max {𝐺 ( , 1, 1) , 𝐺 ( , , ) , 𝐺 ( , 1, 1) ,
7
6 7 7
8
4
4 4
5
= πœ™ (max {𝐺 ( , 0, 1) , 𝐺 (1, , ) , 𝐺 ( , 0, 0) ,
5
5 5
6
6
1
5
6 7
𝐺 ( , 1, 1) , [𝐺 ( , 1, 1) + 𝐺 ( , , 1)
7
3
6
7 8
6
1
4 5
𝐺 ( , 1, 1) , [𝐺 (1, 0, 1) + 𝐺 ( , , 1)
7
3
5 6
6
6
+𝐺 ( , 1, )] ,
7
7
4
6
+𝐺 ( , 0, )] ,
5
7
1
5 7
5
6
[𝐺 ( , , 1) + 𝐺 ( , 1, )
3
6 8
6
7
1
5
6
[𝐺 (1, , 1) + 𝐺 (1, 0, )
3
6
7
6 7 6
+𝐺 ( , , )]})
7 8 7
4 5 6
+𝐺 ( , , )]})
5 6 7
2 1 1 2 19 59
= πœ™ (max { , , , , ,
})
7 21 4 7 63 252
2 5 2 142 77
= πœ™ (max {2, , , ,
,
})
5 3 7 105 315
= πœ™ (2) =
11
.
6
= πœ™(
19
209
)=
.
63
756
(31)
(26)
Hence we get
So, we have
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1 11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
3
6
(27)
1
209
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
12 756
(32)
Case 6. For π‘₯ ∈ [0, (1/2)], 𝑦 ∈ ((1/2), 1], and 𝑧 ∈ ((1/2), 1],
then we have
Case 5. For π‘₯ ∈ ((1/2), 1], 𝑦, 𝑧 ∈ [0, (1/2)], then we have
1
5 7 6
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 ( , , ) = .
6 8 7
12
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1
5 5
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 (1, , ) = .
6 6
3
(28)
Next we divide the study in two subcases.
(33)
Next we divide the study in four subcases.
(a) If π‘₯ ∈ ((1/2), 1), then we can get
(a) If 𝑦 ∈ ((1/2), 1) and 𝑧 ∈ ((1/2), 1), then we have
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
5
5 5 5
7
= πœ™ (max {𝐺 ( , 1, 1) , 𝐺 ( , , ) , 𝐺 ( , 1, 1) ,
6
6 6 6
8
6
1
5
5 7
𝐺 ( , 1, 1) , [𝐺 ( , 1, 1) + 𝐺 ( , , 1)
7
3
6
6 8
4 5 5
4 4
5 5 5
= πœ™ (max {𝐺 ( , , ) , 𝐺 (1, , ) , 𝐺 ( , , ) ,
5 6 6
5 5
6 6 6
5 5 5 1
5 5
4 5 5
𝐺 ( , , ) , [𝐺 (1, , ) + 𝐺 ( , , )
6 6 6 3
6 6
5 6 6
5
6
+𝐺 ( , 1, )] ,
6
7
4 5 5
+𝐺 ( , , )] ,
5 6 6
1
5 7
5
6
[𝐺 ( , , 1) + 𝐺 ( , 1, )
3
6 8
6
7
1
5 5
5 5
[𝐺 (1, , ) + 𝐺 (1, , )
3
6 6
6 6
5 7 6
+𝐺 ( , , )]})
6 8 7
4 5 5
+𝐺 ( , , )]})
5 6 6
1
1 2 1 1
= πœ™ (max { , 0, , , , })
3
4 7 3 4
= πœ™ (max {
1
11
= πœ™( ) = .
3
36
2
11
= πœ™( ) = .
5
30
(29)
Thus we have
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1 2
7 11
, , 0, 0, , })
15 5
30 30
(34)
Thus we have
11
1
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
12 36
(30)
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1 11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
3 30
(35)
Abstract and Applied Analysis
7
(b) If 𝑦 = 1 and 𝑧 ∈ ((1/2), 1), then we have
(d) If 𝑦 = 1 and 𝑧 = 1, then we have
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
7
4 4
5
4
= πœ™ (max {𝐺 ( , 0, ) , 𝐺 (1, , ) , 𝐺 ( , 0, 0) ,
5
8
5 5
6
5
4 4
5
4
= πœ™ (max {𝐺 ( , 0, ) , 𝐺 (1, , ) , 𝐺 ( , 0, 0) ,
5
6
5 5
6
5 7 7 1
7
4 5 7
𝐺 ( , , ) , [𝐺 (1, 0, ) + 𝐺 ( , , )
6 8 8 3
8
5 6 8
5 5 5 1
5
4 5 5
𝐺 ( , , ) , [𝐺 (1, 0, ) + 𝐺 ( , , )
6 6 6 3
6
5 6 6
4
5
+𝐺 ( , 0, )] ,
5
6
4
5
+𝐺 ( , 0, )] ,
5
6
1
5 7
5
[𝐺 (1, , ) + 𝐺 (1, 0, )
3
6 8
6
1
5 5
5
[𝐺 (1, , ) + 𝐺 (1, 0, )
3
6 6
6
4 5 5
+𝐺 ( , , )]})
5 6 6
4 5 5
+𝐺 ( , , )]})
5 6 6
7 2 5 1 229 4
= πœ™ (max { , , , ,
, })
4 5 3 12 180 5
5 2 5
56 4
= πœ™ (max { , , , 0, , })
3 5 3
45 5
5
55
= πœ™( ) = .
3
36
7
77
= πœ™( ) = .
4
48
(40)
(36)
Thus, we can get
Therefore, we can get
1 55
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = <
3 36
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
(37)
1 77
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
3 48
Case 7. For π‘₯ ∈ ((1/2), 1], 𝑦 ∈ [0, (1/2)], and 𝑧 ∈ ((1/2), 1],
then we have
(c) If 𝑦 ∈ ((1/2), 1) and 𝑧 = 1, then we get
1
5 7 5
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 ( , , ) = .
6 8 6
12
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
(a) If π‘₯ ∈ ((1/2), 1) and 𝑧 ∈ ((1/2), 1), then we have
5 7 7 1
5 7
4 5 7
𝐺 ( , , ) , [𝐺 (1, , ) + 𝐺 ( , , )
6 8 8 3
6 8
5 6 8
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
5
5 5 5
7
5
= πœ™ (max {𝐺 ( , 1, ) , 𝐺 ( , , ) , 𝐺 ( , 1, 1) ,
6
6
6 6 6
8
4 5 5
+𝐺 ( , , )] ,
5 6 6
5 5 5 1
5
5
5 7 5
𝐺 ( , , ) , [𝐺 ( , 1, ) + 𝐺 ( , , )
6 6 6 3
6
6
6 8 6
1
5 7
5 5
[𝐺 (1, , ) + 𝐺 (1, , )
3
6 8
6 6
5
5
+𝐺 ( , 1, )] ,
6
6
4 5 5
+𝐺 ( , , )]})
5 6 6
1
5 7 5
5
5
[𝐺 ( , , ) + 𝐺 ( , 1, )
3
6 8 6
6
6
3 2
1 11 11
, , 0, , , })
20 5
12 60 45
2
11
= πœ™( ) = .
5
30
5 7 5
+𝐺 ( , , )]})
6 8 6
(38)
Therefore, we can get
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1 11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
3 30
(42)
Next we divide the study in four subcases.
4 4
5 5 5
4 5 7
= πœ™ (max {𝐺 ( , , ) , 𝐺 (1, , ) , 𝐺 ( , , ) ,
5 6 8
5 5
6 6 6
= πœ™ (max {
(41)
(39)
1
1
1 1
= πœ™ (max { , 0, , 0, , })
3
4
4 6
1
11
= πœ™( ) = .
3
36
(43)
8
Abstract and Applied Analysis
(d) If π‘₯ = 1 and 𝑧 = 1, then we have
Thus, we can get
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1
11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
12 36
(44)
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
7
5 6 6
7
6
= πœ™ (max {𝐺 ( , 1, ) , 𝐺 ( , , ) , 𝐺 ( , 1, 1) ,
7
8
6 7 7
8
(b) If π‘₯ = 1 and 𝑧 ∈ ((1/2), 1), then we have
5 7 7 1
5
7
6 7 7
𝐺 ( , , ) , [𝐺 ( , 1, ) + 𝐺 ( , , )
6 8 8 3
6
8
7 8 8
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
6
5
+𝐺 ( , 1, )] ,
7
6
5
5 6 6
7
6
= πœ™ (max {𝐺 ( , 1, ) , 𝐺 ( , , ) , 𝐺 ( , 1, 1) ,
7
6
6 7 7
8
1
5 7 7
5
5
[𝐺 ( , , ) + 𝐺 ( , 1, )
3
6 8 8
6
6
5 5 5 1
5
5
6 7 5
𝐺 ( , , ) , [𝐺 ( , 1, ) + 𝐺 ( , , )
6 6 6 3
6
6
7 8 6
6 7 5
+𝐺 ( , , )]})
7 8 6
6
5
+𝐺 ( , 1, )] ,
7
6
2 1 1 1 59 1
= πœ™ (max { , , , ,
, })
7 12 4 12 252 6
1
5 7 5
5
5
[𝐺 ( , , ) + 𝐺 ( , 1, )
3
6 8 6
6
6
2
11
= πœ™( ) = .
7
42
6 7 5
+𝐺 ( , , )]})
7 8 6
1 1 1
1 1
= πœ™ (max { , , , 0, , })
3 21 4
4 6
1
11
= πœ™( ) = .
3
36
(49)
Thus, we obtain
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
(45)
Hence, we obtain
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1
11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
12 36
(46)
11
1
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
12 42
(50)
Case 8. For π‘₯ ∈ ((1/2), 1], 𝑦 ∈ ((1/2), 1], and 𝑧 ∈ [0, (1/2)],
then we have
1
5 5 6
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) = 𝐺 ( , , ) = .
6 6 7
21
(51)
Next we divide the study in four subcases.
(a) If π‘₯ ∈ ((1/2), 1) and 𝑦 ∈ ((1/2), 1), then we get
(c) If π‘₯ ∈ ((1/2), 1) and 𝑧 = 1, then we get
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
5 5
5 5 5
5 5 5
= πœ™ (max {𝐺 ( , , 1) , 𝐺 ( , , ) , 𝐺 ( , , ) ,
6 6
6 6 6
6 6 6
5
7
5 5 5
7
= πœ™ (max {𝐺 ( , 1, ) , 𝐺 ( , , ) , 𝐺 ( , 1, 1) ,
6
8
6 6 6
8
6
1
5 5
5 5
𝐺 ( , 1, 1) , [𝐺 ( , , 1) + 𝐺 ( , , 1)
7
3
6 6
6 6
5 7 7 1
5
7
5 7 7
𝐺 ( , , ) , [𝐺 ( , 1, ) + 𝐺 ( , , )
6 8 8 3
6
8
6 8 8
5
5
+𝐺 ( , 1, )] ,
6
6
5 5 6
+𝐺 ( , , )] ,
6 6 7
1
5 7 7
5
5
[𝐺 ( , , ) + 𝐺 ( , 1, )
3
6 8 8
6
6
1
5 5
5 5 6
[𝐺 ( , , 1) + 𝐺 ( , , )
3
6 6
6 6 7
5 7 5
+𝐺 ( , , )]})
6 8 6
5 5 6
+𝐺 ( , , )]})
6 6 7
1
1 1 1 1
= πœ™ (max { , 0, , , , })
3
4 12 4 6
1
2 5 1
= πœ™ (max { , 0, 0, , , })
3
7 21 7
1
11
= πœ™( ) = .
3
36
1
11
= πœ™( ) = .
3
36
(47)
Therefore, we have
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
(52)
Thus, we obtain
1
11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
12 36
(48)
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
11
1
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
21 36
(53)
Abstract and Applied Analysis
9
(b) If π‘₯ = 1 and 𝑦 ∈ ((1/2), 1), then we have
(d) If π‘₯ = 1 and 𝑦 = 1, then we have
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
6 5
5 6 6
5 5 5
= πœ™ (max {𝐺 ( , , 1) , 𝐺 ( , , ) , 𝐺 ( , , ) ,
7 6
6 7 7
6 6 6
5 6 6
5
6
= πœ™ (max {𝐺 ( , 0, 1) , 𝐺 ( , , ) , 𝐺 ( , 0, 0) ,
7
6 7 7
6
6
1
5
6 5
𝐺 ( , 1, 1) , [𝐺 ( , 0, 1) + 𝐺 ( , , 1)
7
3
6
7 6
6
1
5 5
6 5
𝐺 ( , 1, 1) , [𝐺 ( , , 1) + 𝐺 ( , , 1)
7
3
6 6
7 6
6
6
+𝐺 ( , 0, )] ,
7
7
6 5 6
+𝐺 ( , , )] ,
7 6 7
1
5 5
5
6
[𝐺 ( , , 1) + 𝐺 ( , 0, )
3
6 6
6
7
1
5 5
5 5 6
[𝐺 ( , , 1) + 𝐺 ( , , )
3
6 6
6 6 7
6 5 6
+𝐺 ( , , )]})
7 6 7
6 5 6
+𝐺 ( , , )]})
7 6 7
= πœ™ (max {2,
1 1
2 5 1
= πœ™ (max { , , 0, , , })
3 21
7 21 7
1
11
= πœ™( ) = .
3
36
= πœ™ (2) =
(54)
Thus, we obtain
11
.
6
(58)
Thus, we obtain
1
11
(59)
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
21
6
Then in all the above cases, the mappings 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and
𝑇 are satisfying conditions (3) and (i) of Theorem 15, so that
all the conditions of Theorem 15 are satisfied. Moreover, 5/6
is the unique common fixed point of 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇.
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
1
11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
21 36
(55)
(c) If π‘₯ ∈ ((1/2), 1) and 𝑦 = 1, then we obtain
Remark 17. In this paper, we get the new common fixed point
theorem using the common (𝐸.𝐴) property with three pairs
of weakly compatible mappings. This is a new result has never
been discussed by other authors.
πœ™ (𝑀 (π‘₯, 𝑦, 𝑧))
5
5 5 5
5
= πœ™ (max {𝐺 ( , 0, 1) , 𝐺 ( , , ) , 𝐺 ( , 0, 0) ,
6
6 6 6
6
6
1
5
5 5
𝐺 ( , 1, 1) , [𝐺 ( , 0, 1) + 𝐺 ( , , 1)
7
3
6
6 6
5
6
+𝐺 ( , 0, )] ,
6
7
5 5 6
+𝐺 ( , , )]})
6 6 7
≤ πœ† max {𝐺 (𝑅π‘₯, 𝑆𝑦, 𝑇𝑧) , 𝐺 (𝑓π‘₯, 𝑅π‘₯, 𝑅π‘₯) , 𝐺 (𝑔𝑦, 𝑆𝑦, 𝑆𝑦) ,
5 2 85 44
= πœ™ (max {2, 0, , , , })
3 7 63 63
11
.
6
𝐺 (β„Žπ‘§, 𝑇𝑧, 𝑇𝑧) ,
1
[𝐺 (𝑓π‘₯, 𝑆𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑔𝑦, 𝑇𝑧)
3
+𝐺 (𝑅π‘₯, 𝑆𝑦, β„Žπ‘§)] ,
(56)
Thus, we obtain
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) =
Remark 18. If we take (1) 𝑅 = 𝑆 = 𝑇; (2) 𝑓 = 𝑔 = β„Ž; (3)
𝑅 = 𝑆 = 𝑇 = 𝐼 (𝐼 is identity mapping); (4) 𝑆 = 𝑇 and 𝑔 = β„Ž;
(5) 𝑆 = 𝑇, 𝑔 = β„Ž = 𝐼 in Theorem 15, then several new results
can be obtained.
Corollary 19. Let (𝑋, 𝐺) be a 𝐺-metric space. Suppose mappings 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 : 𝑋 → 𝑋 satisfy the following
conditions:
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§)
1
5 5
5
6
[𝐺 ( , , 1) + 𝐺 ( , 0, )
3
6 6
6
7
= πœ™ (2) =
1 5 2 85 44
, , , , })
21 3 7 63 63
1
11
<
= πœ™ (𝑀 (π‘₯, 𝑦, 𝑧)) .
21
6
1
[𝐺 (𝑓π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑓π‘₯, 𝑆𝑦, β„Žπ‘§)
3
+𝐺 (𝑅π‘₯, 𝑔𝑦, β„Žπ‘§)] }
(57)
(60)
10
Abstract and Applied Analysis
for all π‘₯, 𝑦, and 𝑧 ∈ 𝑋, where πœ† ∈ [0, 1). If one of the following
conditions is satisfied, then the pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇)
have a common point of coincidence in 𝑋.
(i) The subspace 𝑅𝑋 is closed in 𝑋, 𝑓𝑋 ⊆ 𝑆𝑋, 𝑔𝑋 ⊆ 𝑇𝑋,
and two pairs of (𝑓, 𝑅) and (𝑔, 𝑆) satisfy common (𝐸.𝐴)
property.
(ii) The subspace 𝑆𝑋 is closed in 𝑋, 𝑔𝑋 ⊆ 𝑇𝑋, β„Žπ‘‹ ⊆ 𝑅𝑋,
and two pairs of (𝑔, 𝑆) and (β„Ž, 𝑇) satisfy common (𝐸.𝐴)
property.
(iii) The subspace 𝑇𝑋 is closed in 𝑋, 𝑓𝑋 ⊆ 𝑆𝑋, β„Žπ‘‹ ⊆ 𝑅𝑋,
and two pairs of (𝑓, 𝑅) and (β„Ž, 𝑇) satisfy common (𝐸.𝐴)
property.
Proof. Suppose that
𝑀 (π‘₯, 𝑦, 𝑧)
= max {𝐺 (𝑅π‘₯, 𝑆𝑦, 𝑇𝑧) , 𝐺 (𝑓π‘₯, 𝑅π‘₯, 𝑅π‘₯) , 𝐺 (𝑔𝑦, 𝑆𝑦, 𝑆𝑦) ,
𝐺 (β„Žπ‘§, 𝑇𝑧, 𝑇𝑧) ,
1
[𝐺 (𝑓π‘₯, 𝑆𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑔𝑦, 𝑇𝑧)
3
+𝐺 (𝑅π‘₯, 𝑆𝑦, β„Žπ‘§)] ,
1
[𝐺 (𝑓π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑓π‘₯, 𝑆𝑦, β„Žπ‘§)
3
Moreover, if the pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇) are weakly
compatible, then 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 have a unique common
fixed point in 𝑋.
Proof. Taking πœ™(𝑑) = πœ†π‘‘, πœ† ∈ [0, 1) in Theorem 15, the
conclusion of Corollary 19 can be obtained from Theorem 15
immediately. This completes the proof of Corollary 19.
Remark 20. If we take (1) 𝑅 = 𝑆 = 𝑇; (2) 𝑓 = 𝑔 = β„Ž; (3)
𝑅 = 𝑆 = 𝑇 = 𝐼 (𝐼 is identity mapping); (4) 𝑆 = 𝑇 and 𝑔 = β„Ž;
(5) 𝑆 = 𝑇, 𝑔 = β„Ž = 𝐼 in Corollary 19, then several new results
can be obtained.
Corollary 21. Let (𝑋, 𝐺) be a 𝐺-metric space. Suppose mappings 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 : 𝑋 → 𝑋 satisfy the following
conditions:
𝐺 (𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) ≤ π‘Ž1 𝐺 (𝑅π‘₯, 𝑆𝑦, 𝑇𝑧) + π‘Ž2 𝐺 (𝑓π‘₯, 𝑅π‘₯, 𝑅π‘₯)
+ π‘Ž3 𝐺 (𝑔𝑦, 𝑆𝑦, 𝑆𝑦) + π‘Ž4 𝐺 (β„Žπ‘§, 𝑇𝑧, 𝑇𝑧)
+ π‘Ž5 [𝐺 (𝑓π‘₯, 𝑆𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑔𝑦, 𝑇𝑧)
+𝐺 (𝑅π‘₯, 𝑆𝑦, β„Žπ‘§)]
+ π‘Ž6 [𝐺 (𝑓π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑓π‘₯, 𝑆𝑦, β„Žπ‘§)
+𝐺 (𝑅π‘₯, 𝑔𝑦, β„Žπ‘§)]
(61)
for all π‘₯, 𝑦, and 𝑧 ∈ 𝑋, where π‘Žπ‘– ≥ 0 (𝑖 = 1, 2, 3, 4, 5, and 6)
and 0 ≤ π‘Ž1 + π‘Ž2 + π‘Ž3 + π‘Ž4 + 3π‘Ž5 + 3π‘Ž6 < 1. If one of the following
conditions is satisfied, then the pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇)
have a common point of coincidence in 𝑋:
(i) the subspace 𝑅𝑋 is closed in X, 𝑓𝑋 ⊆ 𝑆𝑋, 𝑔𝑋 ⊆ 𝑇𝑋,
and two pairs of (𝑓, 𝑅) and (𝑔, 𝑆) satisfy common (𝐸.𝐴)
property;
(ii) the subspace 𝑆𝑋 is closed in 𝑋, 𝑔𝑋 ⊆ 𝑇𝑋, β„Žπ‘‹ ⊆ 𝑅𝑋,
and two pairs of (𝑔, 𝑆) and (β„Ž, 𝑇) satisfy common (𝐸.𝐴)
property;
(iii) the subspace 𝑇𝑋 is closed in 𝑋, 𝑓𝑋 ⊆ 𝑆𝑋, β„Žπ‘‹ ⊆ 𝑅𝑋,
and two pairs of (𝑓, 𝑅) and (β„Ž, 𝑇) satisfy common (𝐸.𝐴)
property.
Moreover, if the pairs (𝑓, 𝑅), (𝑔, 𝑆), and (β„Ž, 𝑇) are weakly
compatible, then 𝑓, 𝑔, β„Ž, 𝑅, 𝑆, and 𝑇 have a unique common
fixed point in 𝑋.
+𝐺 (𝑅π‘₯, 𝑔𝑦, β„Žπ‘§)] } .
(62)
Then
π‘Ž1 𝐺 (𝑅π‘₯, 𝑆𝑦, 𝑇𝑧) + π‘Ž2 𝐺 (𝑓π‘₯, 𝑅π‘₯, 𝑅π‘₯)
+ π‘Ž3 𝐺 (𝑔𝑦, 𝑆𝑦, 𝑆𝑦) + π‘Ž4 𝐺 (β„Žπ‘§, 𝑇𝑧, 𝑇𝑧)
+ π‘Ž5 [𝐺 (𝑓π‘₯, 𝑆𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑅π‘₯, 𝑆𝑦, β„Žπ‘§)]
+ π‘Ž6 [𝐺 (𝑓π‘₯, 𝑔𝑦, 𝑇𝑧) + 𝐺 (𝑓π‘₯, 𝑆𝑦, β„Žπ‘§) + 𝐺 (𝑅π‘₯, 𝑔𝑦, β„Žπ‘§)]
≤ (π‘Ž1 + π‘Ž2 + π‘Ž3 + π‘Ž4 + 3π‘Ž5 + 3π‘Ž6 ) 𝑀 (π‘₯, 𝑦, 𝑧) .
(63)
So, if condition (61) holds, then 𝐺(𝑓π‘₯, 𝑔𝑦, β„Žπ‘§) ≤ (π‘Ž1 +π‘Ž2 +π‘Ž3 +
π‘Ž4 +3π‘Ž5 +3π‘Ž6 )𝑀(π‘₯, 𝑦, 𝑧). Taking πœ† = π‘Ž1 +π‘Ž2 +π‘Ž3 +π‘Ž4 +3π‘Ž5 +3π‘Ž6 in
Corollary 19, the conclusion of Corollary 21 can be obtained
from Corollary 19 immediately.
Remark 22. If we take (1) 𝑅 = 𝑆 = 𝑇; (2) 𝑓 = 𝑔 = β„Ž; (3)
𝑅 = 𝑆 = 𝑇 = 𝐼 (𝐼 is identity mapping); (4) 𝑆 = 𝑇 and 𝑔 = β„Ž;
(5) 𝑆 = 𝑇, 𝑔 = β„Ž = 𝐼 in Corollary 21, then several new results
can be obtained.
Acknowledgments
The present studies are supported by the National Natural Science Foundation of China (11071169, 11271105),
the Natural Science Foundation of Zhejiang Province
(Y6110287, LY12A01030), and the Physical Experiment Center
of Hangzhou Normal University.
References
[1] Z. Mustafa and B. Sims, “A new approach to generalized metric
spaces,” Journal of Nonlinear and Convex Analysis, vol. 7, no. 2,
pp. 289–297, 2006.
[2] Z. Mustafa, H. Obiedat, and F. Awawdeh, “Some fixed point
theorem for mapping on complete 𝐺-metric spaces,” Fixed Point
Theory and Applications, vol. 2008, Article ID 189870, 12 pages,
2008.
[3] Z. Mustafa and B. Sims, “Fixed point theorems for contractive
mappings in complete 𝐺-metric spaces,” Fixed Point Theory and
Applications, vol. 2009, Article ID 917175, 10 pages, 2009.
Abstract and Applied Analysis
[4] Z. Mustafa, W. Shatanawi, and M. Bataineh, “Existence of
fixed point results in 𝐺-metric spaces,” International Journal of
Mathematics and Mathematical Sciences, vol. 2009, Article ID
283028, 10 pages, 2009.
[5] Z. Mustafa, M. Khandagji, and W. Shatanawi, “Fixed point
results on complete 𝐺-metric spaces,” Studia Scientiarum Mathematicarum Hungarica, vol. 48, no. 3, pp. 304–319, 2011.
[6] H. Obiedat and Z. Mustafa, “Fixed point results on a nonsymmetric G-metric spaces,” Jordan Journal of Mathematics and
Statistics, vol. 3, no. 2, pp. 65–79, 2010.
[7] H. Aydi, W. Shatanawi, and C. Vetro, “On generalized weak
𝐺-contraction mapping in 𝐺-metric spaces,” Computers &
Mathematics with Applications, vol. 62, no. 11, pp. 4223–4229,
2011.
[8] H. Aydi, “A fixed point result involving a generalized weakly
contractive condition in 𝐺-metric spaces,” Bulletin of Mathematical Analysis and Applications, vol. 3, no. 4, pp. 180–188, 2011.
[9] Lj. Gajić and M. Stojaković, “On Ćirić generalization of mappings with a contractive iterate at a point in 𝐺-metric spaces,”
Applied Mathematics and Computation, vol. 219, no. 1, pp. 435–
441, 2012.
[10] S. Zhou and F. Gu, “Some new fixed points in G-metric spaces,”
Journal of Hangzhou Normal University, vol. 11, no. 1, pp. 47–50,
2012.
[11] W. Shatanawi, “Fixed point theory for contractive mappings
satisfying Φ-maps in 𝐺-metric spaces,” Fixed Point Theory and
Applications, vol. 2010, Article ID 181650, 9 pages, 2010.
[12] R. Chugh, T. Kadian, A. Rani, and B. E. Rhoades, “Property 𝑃 in
𝐺-metric spaces,” Fixed Point Theory and Applications, vol. 2010,
Article ID 401684, 12 pages, 2010.
[13] M. Abbas and B. E. Rhoades, “Common fixed point results
for noncommuting mappings without continuity in generalized
metric spaces,” Applied Mathematics and Computation, vol. 215,
no. 1, pp. 262–269, 2009.
[14] M. Abbas, T. Nazir, and R. Saadati, “Common fixed point
results for three maps in generalized metric space,” Advances in
Difference Equations, vol. 2011, article 49, 2011.
[15] M. Abbas, T. Nazir, and S. Radenović, “Some periodic point
results in generalized metric spaces,” Applied Mathematics and
Computation, vol. 217, no. 8, pp. 4094–4099, 2010.
[16] M. Abbas, S. H. Khan, and T. Nazir, “Common fixed points of
𝑅-weakly commuting maps in generalized metric spaces,” Fixed
Point Theory and Applications, vol. 2011, article 41, 2011.
[17] R. K. Vats, S. Kumar, and V. Sihag, “Some common fixed point
theorems for compatible mappings of type (A) in complete Gmetric space,” Advances in Fuzzy Mathematics, vol. 6, no. 1, pp.
27–38, 2011.
[18] M. Abbas, T. Nazir, and P. Vetro, “Common fixed point results
for three maps in 𝐺-metric spaces,” Filomat, vol. 25, no. 4, pp.
1–17, 2011.
[19] S. Manro, S. Kumar, and S. S. Bhatia, “𝑅-weakly commuting
maps in 𝐺-metric spaces,” Fasciculi Mathematici, no. 47, pp. 11–
17, 2011.
[20] F. Gu, “Common fixed point theorems for six mappings in
generalized metric spaces,” Abstract and Applied Analysis, vol.
2012, Article ID 379212, 21 pages, 2012.
[21] F. Gu and H. Ye, “Common fixed point theorems of Altman
integral type mappings in G-metric spaces,” Abstract and
Applied Analysis, vol. 2012, Article ID 630457, 13 pages, 2012.
[22] H. Ye and F. Gu, “Common fixed point theorems for a class
of twice power type contraction maps in 𝐺-metric spaces,”
11
[23]
[24]
[25]
[26]
[27]
[28]
[29]
[30]
[31]
[32]
[33]
[34]
[35]
[36]
Abstract and Applied Analysis, vol. 2012, Article ID 736214, 19
pages, 2012.
Y. Yin and F. Gu, “Common fixed point theorem about four
mappings in G-metric spaces,” Journal of Hangzhou Normal
University, vol. 11, no. 6, pp. 511–515, 2012.
A. Kaewcharoen, “Common fixed point theorems for contractive mappings satisfying Φ-maps in 𝐺-metric spaces,” Banach
Journal of Mathematical Analysis, vol. 6, no. 1, pp. 101–111, 2012.
N. Tahat, H. Aydi, E. Karapinar, and W. Shatanawi, “Common
fixed points for singlevalued and multi-valued maps satisfying a
generalized contraction in G-metric spaces,” Fixed Point Theory
and Applications, vol. 2012, 48 pages, 2012.
Z. Mustafa, “Some new common fixed point theorems under
strict contractive conditions in 𝐺-metric spaces,” Journal of
Applied Mathematics, vol. 2012, Article ID 248937, 21 pages,
2012.
A. Kaewcharoen, “Common fixed points for four mappings
in 𝐺-metric spaces,” International Journal of Mathematical
Analysis, vol. 6, no. 45–48, pp. 2345–2356, 2012.
V. Popa and A.-M. Patriciu, “A general fixed point theorem
for pairs of weakly compatible mappings in 𝐺-metric spaces,”
Journal of Nonlinear Science and its Applications, vol. 5, no. 2,
pp. 151–160, 2012.
Z. Mustafa, “Common fixed points of weakly compatible mappings in 𝐺-metric spaces,” Applied Mathematical Sciences, vol.
6, no. 92, pp. 4589–4600, 2012.
M. Gugnani, M. Aggarwal, and R. Chugh, “Common fixed
point results in G-metric spaces and applications,” International
Journal of Computer Applications, vol. 43, no. 11, pp. 38–42, 2012.
H. Aydi, “A common fixed point of integral type contraction in
generalized metric spaces,” Journal of Advanced Mathematical
Studies, vol. 5, no. 1, pp. 111–117, 2012.
K. P. R. Rao, K. Bhanu Lakshmi, Z. Mustafa, and V. C. C. Raju,
“Fixed and related fixed point theorems for three maps in 𝐺metric spaces,” Journal of Advanced Studies in Topology, vol. 3,
no. 4, pp. 12–19, 2012.
M. Abbas, T. Nazir, and D. Dorić, “Common fixed point
of mappings satisfying (E.A) property in generalized metric
spaces,” Applied Mathematics and Computation, vol. 218, no. 14,
pp. 7665–7670, 2012.
Z. Mustafa, H. Aydi, and E. KarapΔ±nar, “On common fixed
points in 𝐺-metric spaces using (E.A) property,” Computers &
Mathematics with Applications, vol. 64, no. 6, pp. 1944–1956,
2012.
W. Long, M. Abbas, T. Nazir, and S. Radenović, “Common fixed
point for two pairs of mappings satisfying (E.A) property in
generalized metric spaces,” Abstract and Applied Analysis, vol.
2012, Article ID 394830, 15 pages, 2012.
G. Jungck and B. E. Rhoades, “Fixed points for set valued
functions without continuity,” Indian Journal of Pure and
Applied Mathematics, vol. 29, no. 3, pp. 227–238, 1998.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download