COMMON FIXED POINT THEOREMS FOR WEAKLY COMPATIBLE
MAPPINGS IN COMPLEX VALUED b-METRIC SPACES
Anil Kumar Dubey
1, Madhubala Kasar
2, Ravi Prakash Dubey
3 1Department of Mathematics, Bhilai Institute of Technology, Bhilai House, Durg, Chhattisgarh 491001, India
anilkumardby70@gmail.com
2
Government Higher Secondary School, Titurdih, Durg, Chhattisgarh 491001, India
madhubala.kasar@gmail.com
3
Department of Mathematics, Dr. C.V. Raman University, Kota, Bilaspur, Chhattisgarh 495113, India
ravidubey_1963@yahoo.co.in
KeyWords:
Complex valued b-metric space, weakly compatible maps, (E.A.) property, (CLRg) property.
2010 MSC : 47H10, 54H25.
Abstract
In this paper, we prove a common fixed point theorem for weakly compatible mappings in complex valued b-metric space and also improve the condition of contraction of the results of M. Kumar et al.[7]. Further, we prove common fixed point theorems for weakly compatible mappings with (E.A.) property and (CLRg) property.
1. Introduction and Preliminaries
In 2011, Azam et al. [2] introduced the notion of complex valued metric spaces and established sufficient conditions for the existence of common fixed points of a pair of mappings satisfying a contractive condition. Complex valued metric space is a generalization of classical metric space. After the establishment of complex valued metric space, many authors have contributed with their works in this space. Some of these results are described in [7,8,11,13,14].
In 2013, Rao et al.[10] introduced the concept of complex valued b-metric space which is a generalization of complex valued metric space. Then, some other authors generalized this concept and proved several common fixed point and fixed point theorems in complex valued b-metric spaces (see [3,4,5,9] and the references contained therein). Aamri and Moutawakil[1] introduced the notion of (E.A.) property. Recently, Verma and Pathak [11] proved common fixed point theorem for two pairs of weakly compatible mappings with (E.A.) property, and a common fixed point theorem using (CLRg) property which was introduced by Sintunavarat and Kumam [12].
In this paper, we prove a common fixed point theorem for weakly compatible mappings satisfying a contractive condition of rational type in the frame work of complex valued b-metric spaces. Further application of perperty (E.A.) and common limit range (CLRg) property are employed.
Let us start by defining some important definitions, basic notations and necessary results from existing literature. Let
C
be the set of complex numbers andz
1,
z
2
C
.
Define a partial order¶
onC
as follows:if and only if
Re
(
z
1)
Re
(
z
2),
Im
(
z
1)
Im
(
z
2).
Thusz ¶
1z
2 if one of the following holds:In particular, we write
z Æ
1z
2 ifz
1
z
2 and one of (C1),(C2) and (C3) is satisfied and we writez
1z
2 if only (C3) is satisfied.Remark 1.1.
We note that the following statements hold:R
b
a,
anda
b
az¶
bz
z
C
.
2 10
¶
z Æ
z
|
z
1|<|
z
2|
.
2 1z
z ¶
andz
2z
3
z
1z
3.
Definition 1.2[10]
LetX
be a nonempty set and lets
1
be a given real number. A functiond :
X
X
C
is called a complex valued b-metric onX
if for allx
,
y
,
z
X
the following conditions are satisfied:)
,
(
0
¶
d
x
y
andd
(
x
,
y
)
=
0
if and only ifx
= y
,
),
,
(
=
)
,
(
x
y
d
y
x
d
)].
,
(
)
,
(
[
)
,
(
x
y
s
d
x
z
d
z
y
d
¶
pair
(
X
,
d
)
is called a complex valued b-metric space.Example 1.3[10]
LetX
=
[0,1].
Define a mappingd :
X
X
C
byd
(
x
,
y
)
=|
x
y
|
2
i
|
x
y
|
2,
for allx
,
y
X
.
Then(
X
,
d
)
is complex valued b-metric space withs
=
2.
Definition 1.4[10]
Let(
X
,
d
)
be a complex valued b-metric space.(i) A point
x
X
is called interior point of a setA
X
whenever there exists0
r
C
such that
:
(
,
)
.
=
)
,
(
x
r
y
X
d
x
y
r
A
B
(ii) A point
x
X
is called a limit point of a setA
whenever for every0
r
C
,
B
(
x
,
r
)
(
A
x
)
.
(iii) A subsetA
X
is called an open set whenever each element ofA
is an interior point ofA
.(iv) A subset
A
X
is called closed set whenever each limit point ofA
belongs toA
. (v) A sub-basis for a Hausdorff topology
onX
is a familyF
=
{
B
(
x
,
r
)
:
x
X
and
0
r
}.
Definition 1.5[10]
Let(
X
,
d
)
be a complex valued b-metric space,
x
n be a sequence inX
andx
X
.
(i) If for everyc
C
,
with0
c
there isN
N
such that for alln
> N
,
d
(
x
n,
x
)
c
,
then
x
n is said to be convergent,
x
n converges tox
andx
is the limit point of
x
n . We denote this bylim
nx
n=
x
or
x
n
x
as
n
.
(ii) If for every
c
C
,
with0
c
there isN
N
such that for alln
> N
,
d
(
x
n,
x
nm)
c
,
wherem
N
,
then
x
n is said to be a Cauchy sequence.(iii) If every Cauchy sequence in
X
is convergent, then(
X
,
d
)
is said to be a complete complex valued b-metric space.Lemma 1.6[10]
Let(
X
,
d
)
be a complex valued b-metric space and let
x
n be a sequence inX
. Then
x
n converges tox
if and only if|
d
(
x
n,
x
)
|
0
asn
.
Lemma 1.7[10]
Let(
X
,
d
)
be a complex valued b-metric space and let
x
n be a sequence inX
. Then
x
n is a Cauchy sequence if and only if|
d
(
x
n,
x
nm)
|
0
asn
,
wherem
N
.In 1996, Jungck [6] introduced the concept of weakly compatible maps as follows:
Definition 1.8.
Two self mapsf
and
g
are said to be weakly compatible if they commute at coincidence points. In 2002, Aamri et al. [1] introduced the notion of E.A. property as follows:Definition 1.9.
Two self mappingsf
and
g
of a metric space(
X
,
d
)
are said to satisfy E.A. property if there exists a sequence{
x
n}
inX
such thatlim
nfx
n=
lim
ngx
n=
t
for somet
inX
.
In 2011, Sintunavarat et al. [12] introduced the notion of
(
CLR
g)
property as follows:Definition 1.10.
Two self mappingsf
and
g
of a metric space(
X
,
d
)
are said to satisfy(
CLR
g)
property if there exists a sequence{
x
n}
inX
such thatlim
nfx
n=
lim
ngx
n=
gx
for somex
inX
.
2. Main Result
In this section, we shall prove our results relaxing the condition of complex valued b-metric space being complete.Theorem 2.1.
Let(
X
,
d
)
be a complex valued b-metric space with the coefficients
1
and letf
,
g
:
X
X
. If there exist a mappingsA
,
B
,
C
,
D
,
E
:
X
(0,1)
such that for allx
,
y
X
:
(ii)
fX
gX
,
(iii)(
sA
B
C
D
E
)
g
(
x
)
<
1,
(iv))
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
fy
d
fx
gx
d
gx
B
gy
gx
d
gx
A
fy
fx
d
¶
In
gX
is complete subspace ofX
,
thenf
andg
have a coincidence point. Moreover, iff
andg
are weakly compatible thenf
andg
have a unique common fixed point.Proof.
Letx
0
X
,
From (ii), we can construct sequences{
x
n}
and{
y
n}
inX
by.
0,1,2,
=
,
=
=
gx
1fx
n
y
n n n From (1), we have)
,
(
=
)
,
(
y
n 1y
nd
fx
n 1fx
nd
)
,
(
)
(
gx
n 1d
gx
n 1gx
nA
¶
)
,
(
1
)
.
(
)
.
(
)
(
)
,
(
)
(
=
1 1 1 1
n n n n n n n n n ny
y
d
y
y
d
y
y
d
fx
B
y
y
d
fx
A
)
,
(
1
)
.
(
)
.
(
)
(
)
,
(
)
(
1 1 1 1
n n n n n n n n n ny
y
d
y
y
d
y
y
d
gx
B
y
y
d
gx
A
¶
Thus, we have Since|
1
d (
y
n,yn1)
|>|
d
(
y
n,
y
n1)
|,
we have where<
1.
)
(
1
)
(
)
(
=
0 0 0y
B
y
D
y
A
Now|
d
(
y
n2,
y
n1)|
|
(
,
)
|
|
(
,
1)
|
2 1 n n n ny
d
y
y
y
d
So form
> n
,
|
d
(
y
m,
y
n)
|
s
|
d
(
y
n,
y
n1)
|
s
|
d
(
y
n1,
y
m)
|
Therefore,|
(
,
)
|
0
1
|
)
,
(
|
1 0
d
y
y
s
s
y
y
d
n n m
asn
.
Hence,
y
n is a Cauchy sequence ingX
. ButgX
is a complete subspace ofX
, so there is au
ingX
such thatu
y
n
asn
.
Letv
g
1u
.
Thengv
= u
.
Now,we shall porve thatfv =
u
.v
x =
andy
=
x
n1in (1), we get, Lettingn
,
we havethat is
|
d
(
u
,
fv
)
|
0
implies thatfv
= u
.
Thus,fv
=
u
=
gv
and hencev
is the coincidence point off
andg
. Now, sincef
andg
are weakly compatible, sou
=
fv
=
gv
implies thatfu
=
fgv
=
gfv
=
gu
.
Now we claim that.
= u
gu
Let, if possible,gu
u
.
From (1), we have that is Since|
1
d
(
u
,
gu
)
|>|
d
(
u
,
gu
)
|,
we have which implies that(
A
C
)(
u
)
1,
a contradiction.For the uniqueness, let
w
be another common fixed point off
andg
such thatw
u
.
From (1), we have that is Since|
1
d
(
w
,
u
)
|>|
d
(
w
,
u
)
|,
we have|
)
,
(
|
)
)(
(
|
)
,
(
|
d
w
u
A
C
w
d
w
u
implies that(
A
C
)(
w
)
1,
a contradiction. Hencef
andg
have a unique common fixed point.Corollary 2.2.
Let(
X
,
d
)
be a complex valued b-metric space with the coefficients
1
and letf
,
g
:
X
X
.
If there exist a mappingsA
,
B
,
C
,
D
:
X
(0,1)
such that for allx
,
y
X
:
(i)
A
(
fx
)
A
(
gx
);
B
(
fx
)
B
(
gx
);
C
(
fx
)
C
(
gx
);
D
(
fx
)
D
(
gx
),
(ii)fX
gX
,
(iii)(
sA
B
C
D
)
g
(
x
)
<
1,
(iv))
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
fy
d
fx
gx
d
gx
B
gy
gx
d
gx
A
fy
fx
d
¶
In
gX
is complete subspace ofX
,
thenf
andg
have a coincidence point. Moreover, iff
andg
are weakly compatible thenf
andg
have a unique common fixed point.Proof. By putting
E
=
0
in Theorem 2.1, we get the result of Corollary 2.2.Corollary 2.3.
Let(
X
,
d
)
be a complex valued b-metric space with the coefficients
1
and letf
,
g
:
X
X
.
If there exists mappingA
:
X
(0,1)
such that for allx
,
y
X
:
(i)
A
(
fg
)
A
(
gx
),
(ii)fX
gX
,
(iii)(
sA
)
g
(
x
)
<
1,
(iv)
d
(
fx
,
fy
)
¶
A
(
gx
)
d
(
gx
,
gy
).
(3) IngX
is complete subspace ofX
,
thenf
andg
have a coincidence point. Moreover, iff
andg
are weaklycompatible then
f
andg
have a unique common fixed point.Proof. By putting
B
=
C
=
D
=
E
=
0
in Theorem 2.1, we get the result of Corollary 2.3.Theorem 2.4.
Let(
X
,
d
)
be a complex valued b-metric space with the coefficients
1
and letf
,
g
:
X
X
. If there exist a mappingsA
,
B
,
C
,
D
,
E
:
X
(0,1)
such that for allx
,
y
X
:
(i)
A
(
fx
)
A
(
gx
);
B
(
fx
)
B
(
gx
);
C
(
fx
)
C
(
gx
);
D
(
fx
)
D
(
gx
)
and
E
(
fx
)
E
(
gx
),
(ii)fX
gX
,
(iii)(
sA
B
C
D
E
)
g
(
x
)
<
1,
(iv)
)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
fy
d
fx
gx
d
gx
B
gy
gx
d
gx
A
fy
fx
d
¶
If
f
andg
satisfy(CLRg
)
property andf
andg
are weakly compatible thenf
andg
have a unique common fixed point.Proof.
Sincef
andg
satisfy the(CLRg
)
property, there exists a sequence{
x
n}
inX
such thatFrom (4), we have
)
.
(
1
)
(
)
,
(
)
(
)
,
(
)
(
)
,
(
n n n n ngx
gx
d
gx
fx
d
fx
gx
d
gx
B
gx
gx
d
gx
A
fx
fx
d
¶
Lettingn
,
we havewhich implies that
|
d
(
fx
,
gx
)
|
0
that isfx
= gx
.
Now, let
u
=
fx
=
gx
.
Sincef
andg
are weakly compatible mappings, thereforefgx =
gfx
which implies that.
=
=
=
fgx
gfx
gu
fu
Now, we claim that
gu
= u
.
Let, if possible,gu
u
.
From (4), we havethat is
Since
|
1
d
(
u
,
gu
)
|>|
d
(
u
,
gu
)
|,
then we havewhich implies that
(
A
C
)(
u
)
1,
a contradiction. Hencegu
=
u
=
fu
. Therefore,u
is the common fixed point off
andg
.the uniqueness, let
w
be another common fixed point off
andg
such thatw
u
.
From (4), we have)
,
(
=
)
,
(
w
u
d
fw
fu
d
is|
)
,
(
1
|
|
)
,
(
||
)
,
(
|
)
(
|
)
,
(
|
)
(
|
)
,
(
|
u
w
d
u
w
d
u
w
d
w
C
u
w
d
w
A
u
w
d
.Since
|
1
d
(
w
,
u
)
|>|
d
(
w
,
u
)
|,
then we haveimplies that
(
A
C
)(
w
)
1,
a contradiction. Hencef
andg
have a unique common fixed point.Corollary 2.5.
Letf
and
g
be self mappings of a complex valued b-metric space(
X
,
d
)
satisfying all conditions of Theorem 2.4 and the following:)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
gx
d
fy
gx
d
gx
C
gy
gx
d
gx
A
fy
fx
d
¶
(6)for all
x,
y
in
X
, where(
sA
C
)
g
(
x
)
<
1.
Thenf
and
g
have a unique common fixed point. By puttingB
=
D
=
E
=
0
in Theorem 2.4, we get the Corollary 2.5.Corollary 2.6.
Letf
and
g
be self mappings of a complex valued b-metric space(
X
,
d
)
satisfying all conditions of Theorem 2.4 and the following:)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
gx
d
fy
gx
d
gx
C
fy
fx
d
¶
(7)for all
x,
y
in
X
, where(
sC
)
g
(
x
)
<
1.
Thenf
and
g
have a unique common fixed point. By puttingA
=
0
in Corollary 2.5, we get the Corollary 2.6.
Corollary 2.7.
Letf
and
g
be self mappings of a complex valued b-metric space(
X
,
d
)
satisfying all condition of Theorem 2.4 and the following:)
,
(
)
(
)
,
(
fx
fy
A
gx
d
gx
gy
d
¶
(8)for all
x,
y
in
X
, where(
sA
)
g
(
x
)
<
1.
Thenf
and
g
have a unique common fixed point. By puttingC
=
0
in Corollary 2.5, we get the Corollary 2.7.Theorem 2.8.
Let(
X
,
d
)
be a complex valued b-metric space with the coefficients
1
and letf
andg
be self mappings satisfying all conditions of Theorem 2.4 and the following:(a)
f
andg
satisfyE
.A
.
Property andf
andg
are weakly compatible, (b)gX
is a closed subset ofX
.
Then
f
andg
have a unique common fixed.Since
f
andg
satisfy theE
.A
.
property, there exists a sequence
x
n inX
such that for somex
inX
.
(9)
Now,
gX
is closed subset ofX
, thereforelim
ngx
n= ga
,
for somea
X
. So from (9), we have.
= ga
fx
lim
n n We claim thatfa =
ga
. From (4), we have)
.
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
n n n n ngx
ga
d
gx
fx
d
fa
ga
d
ga
B
gx
ga
d
ga
A
fx
fa
d
¶
Lettingn
,
we havewhich implies that
|
d
(
fa
,
ga
)
|
0
, that isfa
= ga
.
Now, we show that
fa
is the common fixed point off
andg
. Let, if possiblefa
ffa
.
Sincef
andg
are weakly compatible,gfa =
fga
implies thatffa
=
fga
=
gfa
=
gga
.
From (4), we have)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
ga
gfa
d
ga
fa
d
ffa
gfa
d
gfa
B
ga
gfa
d
gfa
A
fa
ffa
d
¶
)
,
(
1
)
,
(
)
,
(
)
(
ga
gfa
d
ga
gfa
d
fa
gfa
d
gfa
C
)
,
(
1
)
,
(
)
,
(
)
(
ga
gfa
d
ga
gfa
d
fa
ga
d
gfa
D
)
,
(
1
)
,
(
)
,
(
)
(
ga
gfa
d
ga
fa
d
fa
gfa
d
gfa
E
)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
=
ga
ffa
d
ga
fa
d
ffa
ffa
d
ffa
B
fa
ffa
d
ffa
A
)
,
(
1
)
,
(
)
,
(
)
(
ga
ffa
d
ga
ffa
d
fa
ffa
d
ffa
C
)
,
(
1
)
,
(
)
,
(
)
(
ga
ffa
d
ga
ffa
d
fa
ga
d
ffa
D
)
,
(
1
)
,
(
)
,
(
)
(
ga
ffa
d
ga
fa
d
fa
ffa
d
ffa
E
)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
=
fa
ffa
d
fa
ffa
d
fa
ffa
d
ffa
C
fa
ffa
d
ffa
A
that is,|
)
,
(
|
)
(
|
)
,
(
|
d
ffa
fa
A
ffa
d
ffa
fa
|
)
,
(
1
|
|
)
,
(
||
)
,
(
|
)
(
fa
ffa
d
fa
ffa
d
fa
ffa
d
ffa
C
.Since
|
1
d
(
ffa
,
fa
)
|>|
d
(
ffa
,
fa
)
|,
we have
|
d
(
ffa
,
fa
)
|
(
A
C
)(
ffa
)
|
d
(
ffa
,
fa
)
|,
a contradiction, since(
A
C
)
1.
Henceffa
=
fa
=
gfa
.
Thusfa
is common fixed point off
andg
.
Finally, we show that the common fixed point is unique. For this, let
u
andv
be two common fixed point off
andg
such that
u
v
.
that isSince
|
1
d
(
u
,
v
)
|>|
d
(
u
,
v
)
|,
we have
|
d
(
u
,
v
)
|
(
A
C
)(
u
)
|
d
(
u
,
v
)
|,
a contradiction, since(
A
C
)
1.
Hencef
andg
have a unique common fixed point.Corollary 2.9.
Let(
X
,
d
)
be a complex valued b-metric space with the coefficients
1
and letf
andg
be self mappings satisfying the following:(i)
fX
gX
,
(ii)
f
andg
satisfyE
.A
.
property andf
andg
are weakly compatible, (iii)(
sA
C
)
g
(
x
)
<
1,
(iv),
)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
gx
d
fy
gx
d
gx
C
gy
gx
d
gx
A
fy
fx
d
¶
(10) for allx,
y
inX
.
Then
f
andg
have a unique common fixed point.Proof. By putting
B
=
D
=
E
=
0
in Theorem 2.8, we get the Corollary 2.9.Corollary 2.10.
Letf
andg
be self mappings of a complex valued b-metric space(
X
,
d
)
satisfying all conditions of Corollary 2.9 and the following:)
,
(
1
)
,
(
)
,
(
)
(
)
,
(
gy
gx
d
gy
gx
d
fy
gx
d
gx
C
fy
fx
d
¶
(11)for all
x,
y
inX
, where(
sC
)
g
(
x
)
<
1.
Then
f
andg
have a unique common fixed point.Proof. By putting
A
=
0
in Corollary 2.9, we get the Corollary 2.10.
Corollary 2.11.
Letf
andg
be self mappings of a complex valued b-metric space(
X
,
d
)
satisfying all conditions of Corollary 2.9 and the following:)
,
(
)
(
)
,
(
fx
fy
A
gx
d
gx
gy
d
¶
(12) for allx,
y
inX
, where(
sA
)
g
(
x
)
<
1.
Then
f
andg
have a unique common fixed point.Proof.
By puttingC
=
0
in Corollary 2.9, we get the Corollary 2.11.References
1. M. Aamri and D. El. MoutawaKil, Some new common fixed point theorems under strict contractive conditions, J. Math. Anal. Appl. 27(1), 181-188(2002).
2. A.Azam, B.Fisher and M. Khan, Common fixed point theorems in complex valued metric spaces, Numer. Funct. Anal. Optim. 32(3),243-253(2011).
3. A.K. Dubey, Common fixed point results for contractive mappings in complex valued b-metric spaces, Nonlinear Funct. Anal. and Appl., Vol.20, No.2, 257-268(2015).
4. A.K. Dubey, Rita Shukla, R.P. Dubey, Some Fixed Point Theorems in Complex Valued b-Metric Spaces, Journal of Complex Systems, Vol. 2015, Article ID 832467, 7 Pages, http.//dx.doi.org/10.1155/2015/832467 .
5. A.K. Dubey, Rita Shukla, R.P. Dubey, Some common fixed point theorems for contractive mappings in complex valued b-metric spaces, Asian Journal of Mathematics and Applications, Vol. 2015, Article ID ama0266, 13 pages. 6. G. Jungck, Common fixed points for non-continuous non-self mappings on non-metric spaces, Far East J. Math.
Sci. 4(2), 199-212(1996).
7. M. Kumar, P. Kumar, S. Kumar, Common fixed point theorems in Complex valued metric spaces, Journal of Analysis & Number Theory, 2(2), 103-109(2014).
8. S. Kumar, M. Kumar, P. Kumar, S.M. Kang, Common fixed point theorems for weakly compatible mappings in complex valued metric spaces, Int. J. of Pure and Applied Mathematics, 92(3), 403-419(2014).
9. A.A. Mukheimer, Some common fixed point theorems in complex valued b-metric spaces, The Scientific World Journal, Vol.2014(2014), Article ID 587825, 6 pages.
10. K.P.R Rao, P.R Swamy, J.R., Prasad, A common fixed point theorem in complex valued b-metric spaces, Bulletin of Mathematics and Statistics Research, Vol. 1, Issue 1,1-8(2013).
11. R.K. Verma, H.K. Pathak, Common fixed point theorems using property (E.A.) in complex valued metrid spaces, Thai J. of Mathematics, 11(2), 347-355(2013).
12. W. Sintunavarat, P. Kumam, Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces, Journal of Applied Mathematics, 2011, Article ID 637958, 14 pages.
13. W. Sintunavarat, P. Kumam, Generalized common fixed point theorems in complex valued metric spaces and applications, Journal of Inequalities and Applications, (2012), 2012:84
14. W. Sintunavarat, Y.J. Cho, P. Kumam, Urysohn integral equations approach by common fixed points in complex valued metric spaces, Advan ces in Difference Equations, 2013(2013):49.