# Fixed Point Theorems for Generalizedα-β-Weakly Contraction Mappings in Metric Spaces and Applications

Authors: Abdul Latif; Chirasak Mongkolkeha; Wutiphol Sintunavarat
Journal: The Scientific World Journal
 (2014)

---

## Abstract

We extend the notion of generalized weakly contraction mappings due to Choudhury et al. (2011) to generalizedα-β-weakly contraction mappings. We show with examples that our new class of mappings is a real generalization of several known classes of mappings. We also establish fixed point results for such mappings in metric spaces. Applying our new results, we obtain fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph.


---

## Body

## 1. Introduction

The well-known Banach’s contraction principle has been generalized in many ways over the years [1–6]. One of the most interesting studies is the extension of Banach's contraction principle to a case of weakly contraction mappings which was first given by Alber and Guerre-Delabriere [7] in Hilbert spaces. In 2001, Rhoades [8] has shown that the result of Alber and Guerre-Delabriere [7] is also valid in complete metric spaces. Fixed point problems involving weak contractions and mappings satisfying weak contractive type inequalities have been considered in [9–13] and references therein.On the other hand, the concept of the altering distance function was introduced by Khan et al. [14]. In 2011, Choudhury et al. [15] generalized weakly contraction mappings by using an altering distance control function and proved fixed point theorem for a pair of these mappings. Some generalizations of this function of fixed point problems in metric and probabilistic metric spaces have been studied [16–18].Recently, Samet et al. [19] introduced the concepts of α-ψ-contraction mappings and α-admissible mappings and established various fixed point theorems for such mappings in complete metric spaces. Afterwards, many fixed point results via the concepts of α-admissible mappings occupied a prominent place in many aspects (see [20–25] and references therein).From the mentioned above, we introduce the concept of generalizedα
-
β
-weakly contraction mappings and give some examples to show the real generality of these mappings. We also obtain fixed point results for such mappings. Our result improves and complements several results in the literatures. As an application of our results, fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph are also derived from our results.


## 2. Preliminaries

In this section, we give some notations and basic knowledge. Throughout this paper,ℕ denotes the set of positive integers.Definition 1 (see [14]).
A functionψ
:
[
0
,
∞
)
→
[
0
,
∞
) is called analtering distance function if the following properties are satisfied:(i)
ψ is monotone increasing and continuous;
(ii)
ψ
(
t
)
=
0 if and only if t
=
0.Definition 2 (see [26]).
Let(
X
,
d
) be a metric space and let T be a self-mapping on X. A mapping T is said to becontraction if, for each x
,
y
∈
X, one has
(1)
d
(
T
x
,
T
y
)
≤
k
d
(
x
,
y
)
,
where k
∈
[
0,1
).Definition 3 (see [8]).
Let(
X
,
d
) be a metric space and let T be a self-mapping on X. A mapping T is said to beweak contraction if, for each x
,
y
∈
X, one has
(2)
d
(
T
x
,
T
y
)
≤
d
(
x
,
y
)
-
ϕ
(
d
(
x
,
y
)
)
,
where ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous and nondecreasing function such that ϕ
(
t
)
=
0 if and only if t
=
0.In fact, if we takeϕ
(
t
)
=
(
1
-
k
)
t for all t
≥
0, where 0
≤
k
<
1, then the condition (2) becomes (1).In 2011, Choudhury et al. [15] introduced the concept of a generalized weakly contractive condition as follows.Definition 4 (see [15]).
Let(
X
,
d
) be a metric space and let T be a self-mapping on X. A mapping T is said to be ageneralized weakly contraction, if, for each x
,
y
∈
X, one has
(3)
ψ
(
d
(
T
x
,
T
y
)
)
≤


ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(4)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.Remark 5.
It is easy to see that a generalized weakly contractive condition (3) is more general than several generalized contractive conditions. The following conditions are an example of a special case of a generalized weakly contractive condition (3):(i)
d
(
T
x
,
T
y
)
≤
k
m
(
x
,
y
) for all x
,
y
∈
X, where k
∈
[
0,1
);
(ii)
d
(
T
x
,
T
y
)
<
m
(
x
,
y
) for all x
,
y
∈
X;
(iii)
d
(
T
x
,
T
y
)
≤
m
(
x
,
y
)
-
(
1
-
k
)
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
} for all x
,
y
∈
X, where k
∈
[
0,1
).Moreover, the contractive condition (1) is also a special case of condition (3).Definition 6 (see [19]).
LetX be a nonempty set and let α
:
X
×
X
→
[
0
,
∞
) be a mapping. A self-mapping T
:
X
→
X is said to be α
-admissible if the following condition holds:
(5)
x
,
y
∈
X
,
α
(
x
,
y
)
≥
1
⟹
α
(
T
x
,
T
y
)
≥
1
.Example 7 (see [19]).
LetX
=
[
0
,
∞
) and define T
:
X
→
X and α
:
X
×
X
→
[
0
,
∞
) by
(6)
T
x
=
x
,
∀
x
∈
X
,
α
(
x
,
y
)
=
{
e
x
-
y
;
x
≥
y
,
0
;
x
<
y
.
Then T is α-admissible.


## 3. Main Results

In this section, we introduce the concept of generalizedα
-
β
-weakly contraction mappings and prove the fixed point theorems for such mappings.Definition 8.
Let(
X
,
d
) be a metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T a self-mapping on X. A mapping T is said to be ageneralized
α
-
β
-
weakly contraction type
A if, for each x
,
y
∈
X, one has
(7)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(8)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.Definition 9.
Let(
X
,
d
) be a metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T a self-mapping on X. A mapping T is said to be ageneralized
α
-
β
-
weakly contraction type
B if, for each x
,
y
∈
X, one has
(9)
α
(
x
,
y
)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(10)
m
(
x
,
y
)
=
max
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.If we takeα
(
x
,
y
)
=
β
(
x
,
y
)
=
1 for all x
,
y
∈
X, then generalized α
-
β
-weakly contraction mappings type A and type B become generalized weakly contraction mappings due to Choudhury et al. [15]. Therefore, classes of generalized α
-
β
-weakly contraction mappings type A and type B are larger than the class of generalized weakly contraction mappings. Next, we give some examples to show the real generality of classes of generalized α
-
β
-weakly contraction mappings.Example 10.
LetX
=
[
0,1
]
∪
{
2,3
,
4
,
…
}. From [27], X is a complete metric space with metric defined by
(11)
d
(
x
,
y
)
=
{
|
x
-
y
|
;
x
,
y
∈
[
0,1
]
,
x
+
y
;
one
of
x
,
y
∉
[
0,1
]
,
x
≠
y
,
0
;
x
=
y
.
Let a mapping T
:
X
→
X be defined by
(12)
T
x
=
{
x
2
;
x
∈
[
0,1
]
,
x
-
1
;
x
∈
{
2,3
,
4
,
…
,
10
}
,
x
2
;
x
∈
{
11,12,13
,
…
}
.
First, we show that T is generalized α
-
β
-weakly contractive type A with the functions ψ
,
ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) and α
,
β
:
X
×
X
→
[
0
,
∞
) defined by
(13)
ψ
(
t
)
=
{
t
;
0
≤
t
≤
1
,
t
2
;
t
>
1
,
ϕ
(
t
)
=
{
t
2
;
0
≤
t
≤
1
,
1
2
;
t
>
1
,
α
(
x
,
y
)
=
{
1
;
x
,
y
∈
[
0,1
]
,
2
;
one
of
x
,
y
∉
[
0,1
]
,
x
,
y
≤
10
,
0
;
otherwise
,
β
(
x
,
y
)
=
{
1
;
x
,
y
∈
[
0,1
]
∪
{
2,3
,
4
,
…
,
10
}
,
ψ
(
d
(
T
x
,
T
y
)
)
;
otherwise
.
Next we show that T is a generalized α
-
β
-weakly contraction mapping type A. For x
,
y
∈
X, we distinguish the following cases.Case 1 (x
,
y
∈
[
0,1
]).
Without loss of generality, we may assume thatx
≥
y. Now we obtain that
(14)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
=
max
⁡
{
x
-
y
,
x
2
,
y
2
,
1
2
(
x
-
y
2
+
|
y
-
x
2
|
)
}
=
{
x
-
y
;
0
≤
y
≤
x
2
,
x
2
;
x
2
<
y
≤
x
.
In case of0
≤
y
≤
x
/
2, we have ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
=
(
1
/
2
)
(
x
-
y
) and then
(15)
ψ
(
d
(
T
x
,
T
y
)
)
=
1
2
(
x
-
y
)
=
(
x
-
y
)
-
1
2
(
x
-
y
)
=
(
x
-
y
)
-
ϕ
(
max
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
In case ofx
/
2
<
y
≤
x, we have max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
=
max
⁡
⁡
{
x
-
y
,
y
/
2
}.
Ifmax
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
=
y
/
2, then we have
(16)
ψ
(
d
(
T
x
,
T
y
)
)
=
1
2
(
x
-
y
)
≤
x
2
-
y
4
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
If max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
=
x
-
y, then we have
(17)
ψ
(
d
(
T
x
,
T
y
)
)
=
1
2
(
x
-
y
)
<
x
2
-
x
4
≤
x
4
<
y
2
=
x
2
-
1
2
(
x
-
y
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
Therefore, for x
,
y
∈
[
0,1
], we get that T satisfies condition (7).Case 2 (x
∈
{
2,3
,
4
,
…
,
10
} and y
∈
[
0,1
]).
In this case, we obtain that(18)
-
x
2
+
x
y
<
0
,
-
x
2
+
(
y
2
4
-
y
)
<
0
,
-
x
2
+
1
<
0
,
(19)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
=
max
⁡
⁡
{
x
+
y
,
2
x
-
1
,
3
y
2
,
1
2
(
x
+
y
2
+
y
+
x
-
1
)
}
=
max
⁡
⁡
{
x
+
y
,
2
x
-
1
,
3
y
2
,
1
2
(
2
x
+
3
y
2
-
1
)
}
=
2
x
-
1
.
From (18), we obtain that
(20)
ψ
(
d
(
T
x
,
T
y
)
)
=
ψ
(
x
-
1
+
y
2
)
=
(
x
+
y
2
-
1
)
2
=
x
2
+
x
y
+
y
2
4
-
2
x
-
y
+
1
=
x
2
+
x
y
+
y
2
4
-
2
x
-
y
+
1
+
3
x
2
-
3
x
2
=
4
x
2
+
(
-
x
2
+
x
y
)
+
(
-
x
2
+
y
2
4
-
y
)
+
(
-
x
2
+
1
)
-
2
x
≤
4
x
2
-
2
x
=
4
x
2
-
2
x
+
1
-
1
=
(
2
x
-
1
)
2
-
(
2
)
(
1
2
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
Therefore, we conclude that T satisfies condition (7) in this case.Case 3 (x
∈
[
0,1
] and y
∈
{
2,3
,
4
,
…
,
10
}).
This case is similar to Case2.Case 4 (x
∈
{
2,3
,
4
,
…
,
10
} and y
∈
{
2,3
,
4
,
…
,
10
}).
Now we obtain that(21)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
=
{
max
⁡
{
1
2
(
x
+
y
-
1
+
y
+
x
-
1
)
}
0
,
2
x
-
1
,
2
y
-
1
,
1
2
(
x
+
y
-
1
+
y
+
x
-
1
)
}
;
x
=
y
,
max
⁡
{
1
2
(
x
+
y
-
1
+
y
+
x
-
1
)
}
x
+
y
,
2
x
-
1
,
2
y
-
1
,
1
2
(
x
+
y
-
1
+
y
+
x
-
1
)
}
;
x
≠
y
.
=
{
2
x
-
1
;
x
=
y
,
max
⁡
⁡
{
x
+
y
-
1
)
}
x
+
y
,
2
x
-
1
,
2
y
-
1
,
x
+
y
-
1
}
;
x
≠
y
.
=
{
2
x
-
1
;
y
≤
x
,
2
y
-
1
;
y
>
x
.
If x
=
y, we have ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
=
2
x
-
1 and so
(22)
ψ
(
d
(
T
x
,
T
y
)
)
=
ψ
(
0
)
=
0
≤
(
2
x
-
1
)
2
-
2
(
1
2
)
=
ψ
(
2
x
-
1
)
-
α
(
x
,
y
)
ϕ
(
2
x
-
1
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
If y
<
x, we have ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
=
2
x
-
1, and hence
(23)
ψ
(
d
(
T
x
,
T
y
)
)
=
ψ
(
x
+
y
-
2
)
=
(
x
+
y
-
2
)
2
<
(
2
x
-
2
)
2
=
(
2
x
-
1
)
2
+
(
3
-
4
x
)
<
(
2
x
-
1
)
2
-
1
=
(
2
x
-
1
)
2
-
2
(
1
2
)
=
ψ
(
2
x
-
1
)
-
α
(
x
,
y
)
ϕ
(
2
x
-
1
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
If y
>
x, we have ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
=
2
y
-
1, and hence
(24)
ψ
(
d
(
T
x
,
T
y
)
)
=
ψ
(
x
+
y
-
2
)
=
(
x
+
y
-
2
)
2
<
(
2
y
-
2
)
2
=
(
2
y
-
1
)
2
+
(
3
-
4
y
)
<
(
2
y
-
1
)
2
-
1
=
(
2
y
-
1
)
2
-
2
(
1
2
)
=
ψ
(
2
y
-
1
)
-
α
(
x
,
y
)
ϕ
(
2
y
-
1
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
Now we conclude thatT satisfies condition (7) in this case.Case 5 (one ofx
,
y
∉
[
0,1
]
∪
{
2,3
,
4
,
…
,
10
}).
Ifx
=
y, we obtain that
(25)
ψ
(
d
(
T
x
,
T
y
)
)
=
ψ
(
0
)
=
0
=
ψ
(
d
(
T
x
,
T
y
)
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
Ifx
≠
y, we get ψ
(
m
(
x
,
y
)
)
≥
1 and so
(26)
ψ
(
d
(
T
x
,
T
y
)
)
≤
ψ
(
d
(
T
x
,
T
y
)
)
ψ
(
m
(
x
,
y
)
)
=
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
Now we conclude thatT satisfies condition (7) in this case.
From all cases, we get thatT is generalized α
-
β
-weakly contraction mapping type A.Remark 11.
From Example10, we can see that T is not a generalized weakly contraction mapping. Indeed, putting x
=
11 and y
=
12, we get
(27)
m
(
11,12
)
=
max
⁡
{
1
2
(
d
(
11
,
T
(
12
)
)
+
d
(
12
,
T
(
11
)
)
)
}
d
(
11,12
)
,
d
(
11
,
T
(
11
)
)
,
d
(
12
,
T
(
12
)
)
,
lllllllllllllll
1
2
(
d
(
11
,
T
(
12
)
)
+
d
(
12
,
T
(
11
)
)
)
}
=
156
,
(28)
ψ
(
d
(
T
(
11
)
,
T
(
12
)
)
)
=
ψ
(
121
+
144
)
=
16
5
2
>
15
6
2
>
15
6
2
-
1
2
=
ψ
(
m
(
11,12
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
11
,
T
(
12
)
)
}
d
(
11,12
)
,
l
l
l
l
l
l
l
l
d
(
11
,
T
(
12
)
)
}
)
.
Before presenting the main results in this paper, we introduce the following concept, which will be used in our results.Definition 12.
LetX be a nonempty set and β
:
X
×
X
→
[
0
,
∞
). A self-mapping T
:
X
→
X is said to be β
0
-subadmissible if the following condition holds:
(29)
x
,
y
∈
X
,
0
<
β
(
x
,
y
)
≤
1
⟹
0
<
β
(
T
x
,
T
y
)
≤
1
.Definition 13.
LetX be a nonempty set and α
:
X
×
X
→
[
0
,
∞
) a mapping.(i)
α is said to beforward transitive if for each x
,
y
,
z
∈
X for which α
(
x
,
y
)
≥
1 and α
(
y
,
z
)
≥
1 one has α
(
x
,
z
)
≥
1;
(ii)
α is said to be 0-backward transitive if for each x
,
y
,
z
∈
X for which 0
<
α
(
x
,
y
)
≤
1 and 0
<
α
(
y
,
z
)
≤
1 one has 0
<
α
(
x
,
z
)
≤
1.


### 3.1. Generalizedα
-
β
-Weakly Contraction Mappings TypeA

In this subsection, we give the fixed point results for generalizedα
-
β
-weakly contraction mappings type A.Theorem 14.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type A; then the following conditions hold: (a)
T is continuous;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
Starting fromx
0
∈
X in assumption (
d
) and letting x
n
+
1
=
T
x
n for all n
∈
ℕ
∪
{
0
}, if there exists n
0
∈
ℕ
∪
{
0
} such that x
n
0
=
x
n
0
+
1, then x
n
0 is a fixed point of T. This finishes the proof. Therefore, we may assume that x
n
≠
x
n
+
1 for all n
∈
ℕ
∪
{
0
}. Since 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
), we get
(30)
0
<
β
(
x
0
,
x
1
)
≤
1
≤
α
(
x
0
,
x
1
)
.
It follows from T is α-admissible and β
0-subadmissible that
(31)
0
<
β
(
T
x
0
,
T
x
1
)
≤
1
≤
α
(
T
x
0
,
T
x
1
)
,
and then
(32)
0
<
β
(
x
1
,
x
2
)
≤
1
≤
α
(
x
1
,
x
2
)
.
By repeating this process, we get that {
x
n
} is a sequence in X such that x
n
+
1
=
T
x
n and
(33)
0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
)
,
for all n
∈
ℕ
∪
{
0
}. By using the generalized α
-
β
-weakly contractive condition type A of T, we have
(34)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
=
ψ
(
d
(
T
x
n
,
T
x
n
+
1
)
)
≤
β
(
x
n
,
x
n
+
1
)
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
α
(
x
n
,
x
n
+
1
)
×
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
)
,
d
(
x
n
+
1
,
T
x
n
+
1
)
}
)
≤
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
,
for all n
∈
ℕ
∪
{
0
}. Now we obtain that
(35)
m
(
x
n
,
x
n
+
1
)
=
max
⁡
{
1
2
(
d
(
x
n
,
T
x
n
+
1
)
+
d
(
x
n
+
1
,
T
x
n
)
)
}
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
,
T
x
n
)
,
d
(
x
n
+
1
,
T
x
n
+
1
)
,
1
2
(
d
(
x
n
,
T
x
n
+
1
)
+
d
(
x
n
+
1
,
T
x
n
)
)
}
=
max
⁡
{
1
2
(
d
(
x
n
,
x
n
+
2
)
+
d
(
x
n
+
1
,
x
n
+
1
)
)
}
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
,
1
2
(
d
(
x
n
,
x
n
+
2
)
+
d
(
x
n
+
1
,
x
n
+
1
)
)
}
=
max
⁡
{
1
2
(
d
(
x
n
,
x
n
+
2
)
)
}
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
,
1
2
(
d
(
x
n
,
x
n
+
2
)
)
}
≤
max
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
,
for all n
∈
ℕ
∪
{
0
}. From (34) and (35), we get
(36)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
,
for all n
∈
ℕ
∪
{
0
}.
Suppose thatd
(
x
n
,
x
n
+
1
)
≤
d
(
x
n
+
1
,
x
n
+
2
) for some n
∈
ℕ
∪
{
0
}. Then we have
(37)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
-
ϕ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
<
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
which is a contradiction. Hence d
(
x
n
+
1
,
x
n
+
2
)
<
d
(
x
n
,
x
n
+
1
) for all n
∈
ℕ
∪
{
0
}. This means that {
d
(
x
n
,
x
n
+
1
)
} is a monotone decreasing sequence. Since {
d
(
x
n
,
x
n
+
1
)
} is bounded below, there exists r
≥
0 such that
(38)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
r
.
Using (36), we get
(39)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
d
(
x
n
,
x
n
+
1
)
)
,
for all n
∈
ℕ
∪
{
0
}. Taking n
→
∞ in the above inequality, we have
(40)
ψ
(
r
)
≤
ψ
(
r
)
-
ϕ
(
r
)
.
This implies that r
=
0; that is,
(41)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
0
.
Next, we will prove that{
x
n
} is a Cauchy sequence. Suppose that {
x
n
} is not a Cauchy sequence. Then there exists ε
>
0 such that
(42)
d
(
x
m
k
,
x
n
k
)
≥
ε
for all n
k
>
m
k
≥
k, where k
∈
ℕ. Further, corresponding to m
k, we can choose n
k in such a way that it is the smallest integer with n
k
>
m
k
≥
k satisfying (42). Then we have
(43)
d
(
x
m
k
,
x
n
k
)
≥
ε
,
d
(
x
m
k
,
x
n
k
-
1
)
<
ε
.
By using (43) and triangular inequality, we get
(44)
ε
≤
d
(
x
m
k
,
x
n
k
)
≤
d
(
x
m
k
,
x
n
k
-
1
)
+
d
(
x
n
k
-
1
,
x
n
k
)
≤
ε
+
d
(
x
n
k
-
1
,
x
n
k
)
.
From (41) and (44), we have
(45)
lim
⁡
k
→
∞
d
(
x
m
k
,
x
n
k
)
=
ε
.
From the triangular inequality, we get
(46)
d
(
x
m
k
,
x
n
k
)
≤
d
(
x
m
k
,
x
m
k
+
1
)
+
d
(
x
m
k
+
1
,
x
n
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
=
d
(
x
m
k
+
1
,
x
n
k
+
1
)
+
d
(
x
m
k
,
x
m
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
≤
d
(
x
m
k
+
1
,
x
m
k
)
+
d
(
x
m
k
,
x
n
k
)
+
d
(
x
n
k
,
x
n
k
+
1
)
+
d
(
x
m
k
,
x
m
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
≤
2
d
(
x
m
k
+
1
,
x
m
k
)
+
d
(
x
m
k
,
x
n
k
)
+
2
d
(
x
n
k
,
x
n
k
+
1
)
.
Using (45) and (46), we get
(47)
lim
⁡
k
→
∞
d
(
x
m
k
+
1
,
x
n
k
+
1
)
=
ε
.
Again, by the triangular inequality, we get
(48)
d
(
x
m
k
,
x
n
k
)
≤
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
,
d
(
x
m
k
,
x
n
k
+
1
)
≤
d
(
x
m
k
,
x
n
k
)
+
d
(
x
n
k
,
x
n
k
+
1
)
.
Using (48), we obtain that
(49)
lim
⁡
k
→
∞
d
(
x
m
k
,
x
n
k
+
1
)
=
ε
.
Similarly, we can prove
(50)
lim
⁡
k
→
∞
d
(
x
n
k
,
x
m
k
+
1
)
=
ε
.
Since α is forward transitive, β is 0-backward transitive, and n
k
>
m
k, we can conclude that
(51)
0
<
β
(
x
m
k
,
x
n
k
)
≤
1
≤
α
(
x
m
k
,
x
n
k
)
.
In view of the fact that T is generalized α
-
β
-weakly contractive type A mapping and (51), we have
(52)
ψ
(
d
(
x
m
k
+
1
,
x
n
k
+
1
)
)
=
ψ
(
d
(
T
x
m
k
,
T
x
n
k
)
)
≤
β
(
x
m
k
,
x
n
k
)
ψ
(
m
(
x
m
k
,
x
n
k
)
)
-
α
(
x
m
k
,
x
n
k
)
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
≤
ψ
(
m
(
x
m
k
,
x
n
k
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
≤
ψ
(
max
⁡
{
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
T
x
m
k
)
,
d
(
x
n
k
,
T
x
n
k
)
,
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
=
ψ
(
max
⁡
⁡
{
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
x
m
k
+
1
)
,
d
(
x
n
k
,
x
n
k
+
1
)
,
⁡
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
x
n
k
+
1
)
}
)
.
Letting k
→
∞, by using (45), (47), (49), and (50), we obtain that
(53)
ψ
(
ε
)
≤
ψ
(
ε
)
-
ϕ
(
ε
)
<
ψ
(
ε
)
which is a contradiction. Then, we deduce that {
x
n
} is a Cauchy sequence. Since X is a complete metric space, then there exists x
*
∈
X such that x
n
→
x
* as n
→
∞. From the continuity of T, it follows that
(54)
lim
⁡
n
→
∞
x
n
+
1
=
lim
⁡
n
→
∞
T
x
n
=
T
x
*
.
Using the uniqueness of limit of the sequence, we conclude that T
x
*
=
x
* and the proof is complete.In the next theorem, the continuity of a generalizedα
-
β
-weakly contraction mapping type A in Theorem 14 is replaced by the following condition:(
𝒞
)
if{
x
n
} is a sequence in X such that 0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
) for all n
∈
ℕ and x
n
→
x as n
→
∞, then 0
<
β
(
x
n
,
x
)
≤
1
≤
α
(
x
n
,
x
) for all n
∈
ℕ.Theorem 15.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type A; then the following conditions hold:(a)
condition(
𝒞
) holds;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
As in the proof of Theorem14, we can find a sequence {
x
n
} in X such that x
n
+
1
=
T
x
n for all n
∈
ℕ
∪
{
0
} and {
x
n
} is Cauchy sequence which converges to some point x
* in X. Moreover, we have
(55)
0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
)
,
for all n
∈
ℕ. By using condition (
𝒞
), we obtain that
(56)
0
<
β
(
x
n
,
x
)
≤
1
≤
α
(
x
n
,
x
)
,
for all n
∈
ℕ. Now, let us claim that T
x
*
=
x
*. Supposing the contrary, from the fact that T is a generalized α
-
β
-weakly contractive type A and (55), we get
(57)
ψ
(
d
(
x
n
+
1
,
T
x
*
)
)
=
ψ
(
d
(
T
x
n
,
T
x
*
)
)
≤
β
(
x
n
,
x
*
)
ψ
(
m
(
x
n
,
x
*
)
)
-
α
(
x
n
,
x
*
)
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
≤
β
(
x
n
,
x
*
)
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
≤
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
.
On the other hand, we obtain that
(58)
m
(
x
n
,
x
*
)
=
max
⁡
{
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
T
x
n
)
)
}
d
(
x
n
,
x
*
)
,
d
(
x
n
,
T
x
n
)
,
d
(
x
*
,
T
x
*
)
,
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
T
x
n
)
)
}
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
T
x
n
)
)
}
=
max
⁡
{
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
x
n
+
1
)
)
}
d
(
x
n
,
x
*
)
,
d
(
x
n
,
x
n
+
1
)
,
d
(
x
*
,
T
x
*
)
,
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
x
n
+
1
)
)
}
,
for all n
∈
ℕ. Letting n
→
∞ in (57), by using (58) and the continuity of ψ, we get
(59)
ψ
(
d
(
x
*
,
T
x
*
)
)
≤
ψ
(
d
(
x
*
,
T
x
*
)
)
-
ϕ
(
d
(
x
*
,
T
x
*
)
)
<
ψ
(
d
(
x
*
,
T
x
*
)
)
which is a contradiction. Therefore T
x
*
=
x
* and the proof is complete.We obtain that Theorems14 and 15 cannot claim the uniqueness of fixed point. To assure the uniqueness of the fixed point, we will add the following condition:(
𝒞
′
)
for allx
,
y
∈
X there exists z
∈
X such that
(60)
0
<
β
(
x
,
z
)
≤
1
≤
α
(
x
,
z
)
,
0
<
β
(
y
,
z
)
≤
1
≤
α
(
y
,
z
)
.Definition 16.
LetX be a nonempty set, T
:
X
→
X a mapping, and x
0
∈
X. The orbit of T at x
0 is denoted by 𝒪
(
T
,
x
0
) and defined by
(61)
𝒪
(
T
,
x
0
)
:
=
{
x
0
,
T
(
x
0
)
,
T
2
(
x
0
)
,
T
3
(
x
0
)
,
…
,
T
n
(
x
0
)
,
…
}
,
where T
n
+
1
x
0
=
T
(
T
n
x
0
) and T
0
x
0
=
x
0.Theorem 17.
By adding condition(
𝒞
′
) to the hypotheses of Theorem 14 (or Theorem 15) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (60). Then T has a unique fixed point.Proof.
Suppose thatx and x
* are two fixed points of T. By condition (
𝒞
′
) there exists z
∈
X such that
(62)
0
<
β
(
x
,
z
)
≤
1
≤
α
(
x
,
z
)
,
0
<
β
(
x
*
,
z
)
≤
1
≤
α
(
x
*
,
z
)
.
It follows from T is α-admissible and β
0-subadmissible that
(63)
0
<
β
(
x
,
T
n
z
)
≤
1
≤
α
(
x
,
T
n
z
)
,
0
<
β
(
x
*
,
T
n
z
)
≤
1
≤
α
(
x
*
,
T
n
z
)
,
for all n
∈
ℕ. Since the limit of 𝒪
(
T
,
z
) exists, we get that {
T
n
z
} converges to some element in X. Let us claim that T
n
z
→
x as n
→
∞. Suppose the contrary; that is
(64)
lim
⁡
n
→
∞
d
(
T
n
z
,
x
)
:
=
r
>
0
.
By the generalized α
-
β
-weakly contractive condition type A of T, we have
(65)
ψ
(
d
(
x
,
T
n
+
1
z
)
)
=
ψ
(
d
(
T
x
,
T
(
T
n
z
)
)
)
≤
β
(
x
,
T
n
z
)
ψ
(
m
(
x
,
T
n
z
)
)
-
α
(
x
,
T
n
z
)
×
ϕ
(
max
⁡
⁡
{
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
(
T
n
z
)
)
}
)
≤
β
(
x
,
T
n
z
)
ψ
(
m
(
x
,
T
n
z
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
(
T
n
z
)
)
}
)
≤
ψ
(
m
(
x
,
T
n
z
)
)
-
ϕ
(
max
⁡
{
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
n
+
1
z
)
}
)
,
for all n
∈
ℕ. On the other hand, we have
(66)
m
(
x
,
T
n
z
)
=
max
⁡
{
1
2
(
d
(
x
,
T
(
T
n
z
)
)
+
d
(
T
n
z
,
T
x
)
)
}
d
(
x
,
T
n
z
)
,
d
(
x
,
T
x
)
,
d
(
T
n
z
,
T
(
T
n
z
)
)
,
1
2
(
d
(
x
,
T
(
T
n
z
)
)
+
d
(
T
n
z
,
T
x
)
)
}
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
n
+
1
z
)
+
d
(
T
n
z
,
x
)
)
}
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
n
+
1
z
)
,
1
2
(
d
(
x
,
T
n
+
1
z
)
+
d
(
T
n
z
,
x
)
)
}
,
for all n
∈
ℕ. From (64), (65), (66), and the property of ψ and ϕ, we obtain that
(67)
ψ
(
r
)
≤
ψ
(
r
)
-
ϕ
(
r
)
<
ψ
(
r
)
which is a contradiction, and hence T
n
z
→
x as n
→
∞. Similarly, we can show that T
n
z
→
x
* as n
→
∞. Using the uniqueness of limit of the sequence, we conclude that x
=
x
* and the proof is complete.


### 3.2. Generalizedα
-
β
-Weakly Contraction Mappings Type B

In this subsection, we obtain the existence and uniqueness of fixed point theorems for generalizedα
-
β
-weakly contraction mappings type B.Theorem 18.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type B; then the following conditions hold:(a)
T is continuous;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
As in the proof of Theorem14, we can find a sequence {
x
n
} in X such that x
n
+
1
=
T
x
n, x
n
≠
x
n
+
1, and
(68)
0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
)
,
for all n
∈
ℕ
∪
{
0
}. Moreover, for each n
∈
ℕ
∪
{
0
}, we have
(69)
m
(
x
n
,
x
n
+
1
)
≤
max
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
.
Since T is a generalized α
-
β
-weakly contraction mapping type B, for each n
∈
ℕ
∪
{
0
}, we get
(70)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
=
ψ
(
d
(
T
x
n
,
T
x
n
+
1
)
)
≤
α
(
x
n
,
x
n
+
1
)
ψ
(
d
(
T
x
n
,
T
x
n
+
1
)
)
≤
β
(
x
n
,
x
n
+
1
)
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
≤
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
≤
ψ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
.
Suppose that d
(
x
n
,
x
n
+
1
)
≤
d
(
x
n
+
1
,
x
n
+
2
) for some n
∈
ℕ
∪
{
0
}. From (70), we get
(71)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
-
ϕ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
<
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
which is a contradiction. Therefore d
(
x
n
+
1
,
x
n
+
2
)
<
d
(
x
n
,
x
n
+
1
) for all n
∈
ℕ
∪
{
0
}. This means that {
d
(
x
n
,
x
n
+
1
)
} is a monotone decreasing sequence. It follows from a sequence {
d
(
x
n
,
x
n
+
1
)
} bounded below that there exists r
≥
0 such that
(72)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
r
.
From (70), we get
(73)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
d
(
x
n
,
x
n
+
1
)
)
,
for all n
∈
ℕ
∪
{
0
}. Taking n
→
∞ in the above inequality, we have
(74)
ψ
(
r
)
≤
ψ
(
r
)
-
ϕ
(
r
)
.
This implies that r
=
0; that is,
(75)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
0
.
Next, we will prove that{
x
n
} is a Cauchy sequence. Suppose that {
x
n
} is not a Cauchy sequence. Then there exists ε
>
0 such that
(76)
d
(
x
m
k
,
x
n
k
)
≥
ε
,
for all n
k
>
m
k
≥
k, where k
∈
ℕ. Further, corresponding to m
k, we can choose n
k in such a way that it is the smallest integer with n
k
>
m
k
≥
k satisfying (76). Then we have
(77)
d
(
x
m
k
,
x
n
k
)
≥
ε
,
d
(
x
m
k
,
x
n
k
-
1
)
<
ε
.
As the same argument in Theorem 14, we have
(78)
lim
⁡
k
→
∞
d
(
x
m
k
,
x
n
k
)
=
lim
⁡
n
→
∞
d
(
x
m
k
,
x
n
k
+
1
)
=
lim
⁡
n
→
∞
d
(
x
n
k
,
x
m
k
+
1
)
=
ε
.
Moreover, we have
(79)
0
<
β
(
x
m
k
,
x
n
k
)
≤
1
≤
α
(
x
m
k
,
x
n
k
)
.
In view of the fact that T is generalized α
-
β
-weakly contraction mapping type B, we have
(80)
ψ
(
d
(
x
m
k
+
1
,
x
n
k
+
1
)
)
=
ψ
(
d
(
T
x
m
k
,
T
x
n
k
)
)
≤
α
(
x
m
k
,
x
n
k
)
ψ
(
d
(
x
m
k
+
1
,
x
n
k
+
1
)
)
≤
β
(
x
m
k
,
x
n
k
)
ψ
(
m
(
x
m
k
,
x
n
k
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
≤
ψ
(
max
⁡
⁡
{
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
T
x
m
k
)
,
d
(
x
n
k
,
T
x
n
k
)
,
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
=
ψ
(
max
⁡
⁡
{
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
x
m
k
+
1
)
,
d
(
x
n
k
,
x
n
k
+
1
)
,
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
x
n
k
+
1
)
}
)
,
for all k
∈
ℕ. Letting k
→
∞ in the above relation, we obtain that
(81)
ψ
(
ε
)
≤
ψ
(
ε
)
-
ϕ
(
ε
)
<
ψ
(
ε
)
which is a contradiction. Therefore, we deduce that {
x
n
} is a Cauchy sequence and so it converges to some element x
*
∈
X. By the continuity of T, we get
(82)
lim
⁡
n
→
∞
x
n
+
1
=
lim
⁡
n
→
∞
T
x
n
=
T
x
*
,
and hence T
x
*
=
x
*. Therefore the proof is complete.Theorem 19.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type B; then the following conditions hold:(a)
condition(
𝒞
) holds;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
As in the proof of Theorem18, we can find a sequence {
x
n
} in X such that x
n
+
1
=
T
x
n for all n
∈
ℕ
∪
{
0
} and {
x
n
} is a Cauchy sequence converging to some point x
* in X.
Also, as in the proof of Theorem15, for each n
∈
ℕ, we get
(83)
0
<
β
(
x
n
,
x
*
)
≤
1
≤
α
(
x
n
,
x
*
)
,
(84)
lim
⁡
n
→
∞
m
(
x
n
,
x
*
)
=
d
(
x
*
,
T
x
*
)
.
Now, let us claim that T
x
*
=
x
*. On contrary, assume that x
*
≠
T
x
* that is d
(
x
*
,
T
x
*
)
≠
0. By using (83) and a generalized α
-
β
-weakly contractive condition type B, we get
(85)
ψ
(
d
(
x
n
+
1
,
T
x
*
)
)
=
ψ
(
d
(
T
x
n
,
T
x
*
)
)
≤
α
(
x
n
,
x
*
)
ψ
(
d
(
T
x
n
,
T
x
*
)
)
≤
β
(
x
n
,
x
*
)
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
≤
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
.
Letting n
→
∞ in (85), we get
(86)
ψ
(
d
(
x
*
,
T
x
*
)
)
≤
ψ
(
d
(
x
*
,
T
x
*
)
)
-
ϕ
(
d
(
x
*
,
T
x
*
)
)
<
ψ
(
d
(
x
*
,
T
x
*
)
)
which is a contradiction. Therefore T
x
*
=
x
* and the proof is complete.Theorem 20.
By adding condition(
𝒞
′
) to the hypotheses of Theorem 18 (or Theorem 19) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in A satisfying (60). Then T has a unique fixed point.Proof.
Apply the proof of Theorem18 (or Theorem 19) and Theorem 17.


## 3.1. Generalizedα
-
β
-Weakly Contraction Mappings TypeA

In this subsection, we give the fixed point results for generalizedα
-
β
-weakly contraction mappings type A.Theorem 14.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type A; then the following conditions hold: (a)
T is continuous;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
Starting fromx
0
∈
X in assumption (
d
) and letting x
n
+
1
=
T
x
n for all n
∈
ℕ
∪
{
0
}, if there exists n
0
∈
ℕ
∪
{
0
} such that x
n
0
=
x
n
0
+
1, then x
n
0 is a fixed point of T. This finishes the proof. Therefore, we may assume that x
n
≠
x
n
+
1 for all n
∈
ℕ
∪
{
0
}. Since 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
), we get
(30)
0
<
β
(
x
0
,
x
1
)
≤
1
≤
α
(
x
0
,
x
1
)
.
It follows from T is α-admissible and β
0-subadmissible that
(31)
0
<
β
(
T
x
0
,
T
x
1
)
≤
1
≤
α
(
T
x
0
,
T
x
1
)
,
and then
(32)
0
<
β
(
x
1
,
x
2
)
≤
1
≤
α
(
x
1
,
x
2
)
.
By repeating this process, we get that {
x
n
} is a sequence in X such that x
n
+
1
=
T
x
n and
(33)
0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
)
,
for all n
∈
ℕ
∪
{
0
}. By using the generalized α
-
β
-weakly contractive condition type A of T, we have
(34)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
=
ψ
(
d
(
T
x
n
,
T
x
n
+
1
)
)
≤
β
(
x
n
,
x
n
+
1
)
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
α
(
x
n
,
x
n
+
1
)
×
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
)
,
d
(
x
n
+
1
,
T
x
n
+
1
)
}
)
≤
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
,
for all n
∈
ℕ
∪
{
0
}. Now we obtain that
(35)
m
(
x
n
,
x
n
+
1
)
=
max
⁡
{
1
2
(
d
(
x
n
,
T
x
n
+
1
)
+
d
(
x
n
+
1
,
T
x
n
)
)
}
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
,
T
x
n
)
,
d
(
x
n
+
1
,
T
x
n
+
1
)
,
1
2
(
d
(
x
n
,
T
x
n
+
1
)
+
d
(
x
n
+
1
,
T
x
n
)
)
}
=
max
⁡
{
1
2
(
d
(
x
n
,
x
n
+
2
)
+
d
(
x
n
+
1
,
x
n
+
1
)
)
}
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
,
1
2
(
d
(
x
n
,
x
n
+
2
)
+
d
(
x
n
+
1
,
x
n
+
1
)
)
}
=
max
⁡
{
1
2
(
d
(
x
n
,
x
n
+
2
)
)
}
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
,
1
2
(
d
(
x
n
,
x
n
+
2
)
)
}
≤
max
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
,
for all n
∈
ℕ
∪
{
0
}. From (34) and (35), we get
(36)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
,
for all n
∈
ℕ
∪
{
0
}.
Suppose thatd
(
x
n
,
x
n
+
1
)
≤
d
(
x
n
+
1
,
x
n
+
2
) for some n
∈
ℕ
∪
{
0
}. Then we have
(37)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
-
ϕ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
<
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
which is a contradiction. Hence d
(
x
n
+
1
,
x
n
+
2
)
<
d
(
x
n
,
x
n
+
1
) for all n
∈
ℕ
∪
{
0
}. This means that {
d
(
x
n
,
x
n
+
1
)
} is a monotone decreasing sequence. Since {
d
(
x
n
,
x
n
+
1
)
} is bounded below, there exists r
≥
0 such that
(38)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
r
.
Using (36), we get
(39)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
d
(
x
n
,
x
n
+
1
)
)
,
for all n
∈
ℕ
∪
{
0
}. Taking n
→
∞ in the above inequality, we have
(40)
ψ
(
r
)
≤
ψ
(
r
)
-
ϕ
(
r
)
.
This implies that r
=
0; that is,
(41)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
0
.
Next, we will prove that{
x
n
} is a Cauchy sequence. Suppose that {
x
n
} is not a Cauchy sequence. Then there exists ε
>
0 such that
(42)
d
(
x
m
k
,
x
n
k
)
≥
ε
for all n
k
>
m
k
≥
k, where k
∈
ℕ. Further, corresponding to m
k, we can choose n
k in such a way that it is the smallest integer with n
k
>
m
k
≥
k satisfying (42). Then we have
(43)
d
(
x
m
k
,
x
n
k
)
≥
ε
,
d
(
x
m
k
,
x
n
k
-
1
)
<
ε
.
By using (43) and triangular inequality, we get
(44)
ε
≤
d
(
x
m
k
,
x
n
k
)
≤
d
(
x
m
k
,
x
n
k
-
1
)
+
d
(
x
n
k
-
1
,
x
n
k
)
≤
ε
+
d
(
x
n
k
-
1
,
x
n
k
)
.
From (41) and (44), we have
(45)
lim
⁡
k
→
∞
d
(
x
m
k
,
x
n
k
)
=
ε
.
From the triangular inequality, we get
(46)
d
(
x
m
k
,
x
n
k
)
≤
d
(
x
m
k
,
x
m
k
+
1
)
+
d
(
x
m
k
+
1
,
x
n
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
=
d
(
x
m
k
+
1
,
x
n
k
+
1
)
+
d
(
x
m
k
,
x
m
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
≤
d
(
x
m
k
+
1
,
x
m
k
)
+
d
(
x
m
k
,
x
n
k
)
+
d
(
x
n
k
,
x
n
k
+
1
)
+
d
(
x
m
k
,
x
m
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
≤
2
d
(
x
m
k
+
1
,
x
m
k
)
+
d
(
x
m
k
,
x
n
k
)
+
2
d
(
x
n
k
,
x
n
k
+
1
)
.
Using (45) and (46), we get
(47)
lim
⁡
k
→
∞
d
(
x
m
k
+
1
,
x
n
k
+
1
)
=
ε
.
Again, by the triangular inequality, we get
(48)
d
(
x
m
k
,
x
n
k
)
≤
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
+
1
,
x
n
k
)
,
d
(
x
m
k
,
x
n
k
+
1
)
≤
d
(
x
m
k
,
x
n
k
)
+
d
(
x
n
k
,
x
n
k
+
1
)
.
Using (48), we obtain that
(49)
lim
⁡
k
→
∞
d
(
x
m
k
,
x
n
k
+
1
)
=
ε
.
Similarly, we can prove
(50)
lim
⁡
k
→
∞
d
(
x
n
k
,
x
m
k
+
1
)
=
ε
.
Since α is forward transitive, β is 0-backward transitive, and n
k
>
m
k, we can conclude that
(51)
0
<
β
(
x
m
k
,
x
n
k
)
≤
1
≤
α
(
x
m
k
,
x
n
k
)
.
In view of the fact that T is generalized α
-
β
-weakly contractive type A mapping and (51), we have
(52)
ψ
(
d
(
x
m
k
+
1
,
x
n
k
+
1
)
)
=
ψ
(
d
(
T
x
m
k
,
T
x
n
k
)
)
≤
β
(
x
m
k
,
x
n
k
)
ψ
(
m
(
x
m
k
,
x
n
k
)
)
-
α
(
x
m
k
,
x
n
k
)
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
≤
ψ
(
m
(
x
m
k
,
x
n
k
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
≤
ψ
(
max
⁡
{
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
T
x
m
k
)
,
d
(
x
n
k
,
T
x
n
k
)
,
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
=
ψ
(
max
⁡
⁡
{
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
x
m
k
+
1
)
,
d
(
x
n
k
,
x
n
k
+
1
)
,
⁡
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
x
n
k
+
1
)
}
)
.
Letting k
→
∞, by using (45), (47), (49), and (50), we obtain that
(53)
ψ
(
ε
)
≤
ψ
(
ε
)
-
ϕ
(
ε
)
<
ψ
(
ε
)
which is a contradiction. Then, we deduce that {
x
n
} is a Cauchy sequence. Since X is a complete metric space, then there exists x
*
∈
X such that x
n
→
x
* as n
→
∞. From the continuity of T, it follows that
(54)
lim
⁡
n
→
∞
x
n
+
1
=
lim
⁡
n
→
∞
T
x
n
=
T
x
*
.
Using the uniqueness of limit of the sequence, we conclude that T
x
*
=
x
* and the proof is complete.In the next theorem, the continuity of a generalizedα
-
β
-weakly contraction mapping type A in Theorem 14 is replaced by the following condition:(
𝒞
)
if{
x
n
} is a sequence in X such that 0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
) for all n
∈
ℕ and x
n
→
x as n
→
∞, then 0
<
β
(
x
n
,
x
)
≤
1
≤
α
(
x
n
,
x
) for all n
∈
ℕ.Theorem 15.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type A; then the following conditions hold:(a)
condition(
𝒞
) holds;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
As in the proof of Theorem14, we can find a sequence {
x
n
} in X such that x
n
+
1
=
T
x
n for all n
∈
ℕ
∪
{
0
} and {
x
n
} is Cauchy sequence which converges to some point x
* in X. Moreover, we have
(55)
0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
)
,
for all n
∈
ℕ. By using condition (
𝒞
), we obtain that
(56)
0
<
β
(
x
n
,
x
)
≤
1
≤
α
(
x
n
,
x
)
,
for all n
∈
ℕ. Now, let us claim that T
x
*
=
x
*. Supposing the contrary, from the fact that T is a generalized α
-
β
-weakly contractive type A and (55), we get
(57)
ψ
(
d
(
x
n
+
1
,
T
x
*
)
)
=
ψ
(
d
(
T
x
n
,
T
x
*
)
)
≤
β
(
x
n
,
x
*
)
ψ
(
m
(
x
n
,
x
*
)
)
-
α
(
x
n
,
x
*
)
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
≤
β
(
x
n
,
x
*
)
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
≤
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
.
On the other hand, we obtain that
(58)
m
(
x
n
,
x
*
)
=
max
⁡
{
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
T
x
n
)
)
}
d
(
x
n
,
x
*
)
,
d
(
x
n
,
T
x
n
)
,
d
(
x
*
,
T
x
*
)
,
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
T
x
n
)
)
}
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
T
x
n
)
)
}
=
max
⁡
{
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
x
n
+
1
)
)
}
d
(
x
n
,
x
*
)
,
d
(
x
n
,
x
n
+
1
)
,
d
(
x
*
,
T
x
*
)
,
1
2
(
d
(
x
n
,
T
x
*
)
+
d
(
x
*
,
x
n
+
1
)
)
}
,
for all n
∈
ℕ. Letting n
→
∞ in (57), by using (58) and the continuity of ψ, we get
(59)
ψ
(
d
(
x
*
,
T
x
*
)
)
≤
ψ
(
d
(
x
*
,
T
x
*
)
)
-
ϕ
(
d
(
x
*
,
T
x
*
)
)
<
ψ
(
d
(
x
*
,
T
x
*
)
)
which is a contradiction. Therefore T
x
*
=
x
* and the proof is complete.We obtain that Theorems14 and 15 cannot claim the uniqueness of fixed point. To assure the uniqueness of the fixed point, we will add the following condition:(
𝒞
′
)
for allx
,
y
∈
X there exists z
∈
X such that
(60)
0
<
β
(
x
,
z
)
≤
1
≤
α
(
x
,
z
)
,
0
<
β
(
y
,
z
)
≤
1
≤
α
(
y
,
z
)
.Definition 16.
LetX be a nonempty set, T
:
X
→
X a mapping, and x
0
∈
X. The orbit of T at x
0 is denoted by 𝒪
(
T
,
x
0
) and defined by
(61)
𝒪
(
T
,
x
0
)
:
=
{
x
0
,
T
(
x
0
)
,
T
2
(
x
0
)
,
T
3
(
x
0
)
,
…
,
T
n
(
x
0
)
,
…
}
,
where T
n
+
1
x
0
=
T
(
T
n
x
0
) and T
0
x
0
=
x
0.Theorem 17.
By adding condition(
𝒞
′
) to the hypotheses of Theorem 14 (or Theorem 15) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (60). Then T has a unique fixed point.Proof.
Suppose thatx and x
* are two fixed points of T. By condition (
𝒞
′
) there exists z
∈
X such that
(62)
0
<
β
(
x
,
z
)
≤
1
≤
α
(
x
,
z
)
,
0
<
β
(
x
*
,
z
)
≤
1
≤
α
(
x
*
,
z
)
.
It follows from T is α-admissible and β
0-subadmissible that
(63)
0
<
β
(
x
,
T
n
z
)
≤
1
≤
α
(
x
,
T
n
z
)
,
0
<
β
(
x
*
,
T
n
z
)
≤
1
≤
α
(
x
*
,
T
n
z
)
,
for all n
∈
ℕ. Since the limit of 𝒪
(
T
,
z
) exists, we get that {
T
n
z
} converges to some element in X. Let us claim that T
n
z
→
x as n
→
∞. Suppose the contrary; that is
(64)
lim
⁡
n
→
∞
d
(
T
n
z
,
x
)
:
=
r
>
0
.
By the generalized α
-
β
-weakly contractive condition type A of T, we have
(65)
ψ
(
d
(
x
,
T
n
+
1
z
)
)
=
ψ
(
d
(
T
x
,
T
(
T
n
z
)
)
)
≤
β
(
x
,
T
n
z
)
ψ
(
m
(
x
,
T
n
z
)
)
-
α
(
x
,
T
n
z
)
×
ϕ
(
max
⁡
⁡
{
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
(
T
n
z
)
)
}
)
≤
β
(
x
,
T
n
z
)
ψ
(
m
(
x
,
T
n
z
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
(
T
n
z
)
)
}
)
≤
ψ
(
m
(
x
,
T
n
z
)
)
-
ϕ
(
max
⁡
{
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
n
+
1
z
)
}
)
,
for all n
∈
ℕ. On the other hand, we have
(66)
m
(
x
,
T
n
z
)
=
max
⁡
{
1
2
(
d
(
x
,
T
(
T
n
z
)
)
+
d
(
T
n
z
,
T
x
)
)
}
d
(
x
,
T
n
z
)
,
d
(
x
,
T
x
)
,
d
(
T
n
z
,
T
(
T
n
z
)
)
,
1
2
(
d
(
x
,
T
(
T
n
z
)
)
+
d
(
T
n
z
,
T
x
)
)
}
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
n
+
1
z
)
+
d
(
T
n
z
,
x
)
)
}
d
(
x
,
T
n
z
)
,
d
(
T
n
z
,
T
n
+
1
z
)
,
1
2
(
d
(
x
,
T
n
+
1
z
)
+
d
(
T
n
z
,
x
)
)
}
,
for all n
∈
ℕ. From (64), (65), (66), and the property of ψ and ϕ, we obtain that
(67)
ψ
(
r
)
≤
ψ
(
r
)
-
ϕ
(
r
)
<
ψ
(
r
)
which is a contradiction, and hence T
n
z
→
x as n
→
∞. Similarly, we can show that T
n
z
→
x
* as n
→
∞. Using the uniqueness of limit of the sequence, we conclude that x
=
x
* and the proof is complete.


## 3.2. Generalizedα
-
β
-Weakly Contraction Mappings Type B

In this subsection, we obtain the existence and uniqueness of fixed point theorems for generalizedα
-
β
-weakly contraction mappings type B.Theorem 18.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type B; then the following conditions hold:(a)
T is continuous;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
As in the proof of Theorem14, we can find a sequence {
x
n
} in X such that x
n
+
1
=
T
x
n, x
n
≠
x
n
+
1, and
(68)
0
<
β
(
x
n
,
x
n
+
1
)
≤
1
≤
α
(
x
n
,
x
n
+
1
)
,
for all n
∈
ℕ
∪
{
0
}. Moreover, for each n
∈
ℕ
∪
{
0
}, we have
(69)
m
(
x
n
,
x
n
+
1
)
≤
max
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
.
Since T is a generalized α
-
β
-weakly contraction mapping type B, for each n
∈
ℕ
∪
{
0
}, we get
(70)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
=
ψ
(
d
(
T
x
n
,
T
x
n
+
1
)
)
≤
α
(
x
n
,
x
n
+
1
)
ψ
(
d
(
T
x
n
,
T
x
n
+
1
)
)
≤
β
(
x
n
,
x
n
+
1
)
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
≤
ψ
(
m
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
≤
ψ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
n
+
1
)
,
d
(
x
n
+
1
,
x
n
+
2
)
}
)
.
Suppose that d
(
x
n
,
x
n
+
1
)
≤
d
(
x
n
+
1
,
x
n
+
2
) for some n
∈
ℕ
∪
{
0
}. From (70), we get
(71)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
-
ϕ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
<
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
which is a contradiction. Therefore d
(
x
n
+
1
,
x
n
+
2
)
<
d
(
x
n
,
x
n
+
1
) for all n
∈
ℕ
∪
{
0
}. This means that {
d
(
x
n
,
x
n
+
1
)
} is a monotone decreasing sequence. It follows from a sequence {
d
(
x
n
,
x
n
+
1
)
} bounded below that there exists r
≥
0 such that
(72)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
r
.
From (70), we get
(73)
ψ
(
d
(
x
n
+
1
,
x
n
+
2
)
)
≤
ψ
(
d
(
x
n
,
x
n
+
1
)
)
-
ϕ
(
d
(
x
n
,
x
n
+
1
)
)
,
for all n
∈
ℕ
∪
{
0
}. Taking n
→
∞ in the above inequality, we have
(74)
ψ
(
r
)
≤
ψ
(
r
)
-
ϕ
(
r
)
.
This implies that r
=
0; that is,
(75)
lim
⁡
n
→
∞
d
(
x
n
,
x
n
+
1
)
=
0
.
Next, we will prove that{
x
n
} is a Cauchy sequence. Suppose that {
x
n
} is not a Cauchy sequence. Then there exists ε
>
0 such that
(76)
d
(
x
m
k
,
x
n
k
)
≥
ε
,
for all n
k
>
m
k
≥
k, where k
∈
ℕ. Further, corresponding to m
k, we can choose n
k in such a way that it is the smallest integer with n
k
>
m
k
≥
k satisfying (76). Then we have
(77)
d
(
x
m
k
,
x
n
k
)
≥
ε
,
d
(
x
m
k
,
x
n
k
-
1
)
<
ε
.
As the same argument in Theorem 14, we have
(78)
lim
⁡
k
→
∞
d
(
x
m
k
,
x
n
k
)
=
lim
⁡
n
→
∞
d
(
x
m
k
,
x
n
k
+
1
)
=
lim
⁡
n
→
∞
d
(
x
n
k
,
x
m
k
+
1
)
=
ε
.
Moreover, we have
(79)
0
<
β
(
x
m
k
,
x
n
k
)
≤
1
≤
α
(
x
m
k
,
x
n
k
)
.
In view of the fact that T is generalized α
-
β
-weakly contraction mapping type B, we have
(80)
ψ
(
d
(
x
m
k
+
1
,
x
n
k
+
1
)
)
=
ψ
(
d
(
T
x
m
k
,
T
x
n
k
)
)
≤
α
(
x
m
k
,
x
n
k
)
ψ
(
d
(
x
m
k
+
1
,
x
n
k
+
1
)
)
≤
β
(
x
m
k
,
x
n
k
)
ψ
(
m
(
x
m
k
,
x
n
k
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
≤
ψ
(
max
⁡
⁡
{
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
T
x
m
k
)
,
d
(
x
n
k
,
T
x
n
k
)
,
1
2
(
d
(
x
m
k
,
T
x
n
k
)
+
d
(
x
n
k
,
T
x
m
k
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
T
x
n
k
)
}
)
=
ψ
(
max
⁡
⁡
{
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
d
(
x
m
k
,
x
n
k
)
,
d
(
x
m
k
,
x
m
k
+
1
)
,
d
(
x
n
k
,
x
n
k
+
1
)
,
1
2
(
d
(
x
m
k
,
x
n
k
+
1
)
+
d
(
x
n
k
,
x
m
k
+
1
)
)
}
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
m
k
,
x
n
k
)
,
d
(
x
n
k
,
x
n
k
+
1
)
}
)
,
for all k
∈
ℕ. Letting k
→
∞ in the above relation, we obtain that
(81)
ψ
(
ε
)
≤
ψ
(
ε
)
-
ϕ
(
ε
)
<
ψ
(
ε
)
which is a contradiction. Therefore, we deduce that {
x
n
} is a Cauchy sequence and so it converges to some element x
*
∈
X. By the continuity of T, we get
(82)
lim
⁡
n
→
∞
x
n
+
1
=
lim
⁡
n
→
∞
T
x
n
=
T
x
*
,
and hence T
x
*
=
x
*. Therefore the proof is complete.Theorem 19.
Let(
X
,
d
) be a complete metric space, α
,
β
:
X
×
X
→
[
0
,
∞
) two given mappings, and T
:
X
→
X a generalized α
-
β
-weakly contraction type B; then the following conditions hold:(a)
condition(
𝒞
) holds;
(b)
T is α-admissible and β
0-subadmissible;
(c)
α is forward transitive and β is 0-backward transitive;
(d)
there existsx
0
∈
X such that 0
<
β
(
x
0
,
T
x
0
)
≤
1
≤
α
(
x
0
,
T
x
0
).Then T has a fixed point in X.Proof.
As in the proof of Theorem18, we can find a sequence {
x
n
} in X such that x
n
+
1
=
T
x
n for all n
∈
ℕ
∪
{
0
} and {
x
n
} is a Cauchy sequence converging to some point x
* in X.
Also, as in the proof of Theorem15, for each n
∈
ℕ, we get
(83)
0
<
β
(
x
n
,
x
*
)
≤
1
≤
α
(
x
n
,
x
*
)
,
(84)
lim
⁡
n
→
∞
m
(
x
n
,
x
*
)
=
d
(
x
*
,
T
x
*
)
.
Now, let us claim that T
x
*
=
x
*. On contrary, assume that x
*
≠
T
x
* that is d
(
x
*
,
T
x
*
)
≠
0. By using (83) and a generalized α
-
β
-weakly contractive condition type B, we get
(85)
ψ
(
d
(
x
n
+
1
,
T
x
*
)
)
=
ψ
(
d
(
T
x
n
,
T
x
*
)
)
≤
α
(
x
n
,
x
*
)
ψ
(
d
(
T
x
n
,
T
x
*
)
)
≤
β
(
x
n
,
x
*
)
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
≤
ψ
(
m
(
x
n
,
x
*
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
n
,
x
*
)
,
d
(
x
*
,
T
x
*
)
}
)
.
Letting n
→
∞ in (85), we get
(86)
ψ
(
d
(
x
*
,
T
x
*
)
)
≤
ψ
(
d
(
x
*
,
T
x
*
)
)
-
ϕ
(
d
(
x
*
,
T
x
*
)
)
<
ψ
(
d
(
x
*
,
T
x
*
)
)
which is a contradiction. Therefore T
x
*
=
x
* and the proof is complete.Theorem 20.
By adding condition(
𝒞
′
) to the hypotheses of Theorem 18 (or Theorem 19) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in A satisfying (60). Then T has a unique fixed point.Proof.
Apply the proof of Theorem18 (or Theorem 19) and Theorem 17.


## 4. Applications

In this section, we give the several fixed point results which are obtained by our results in Section3.


### 4.1. Fixed Point Results on an Ordinary Metric Space

Settingα
(
x
,
y
)
=
β
(
x
,
y
)
=
1 for all x
,
y
∈
X in Theorem 14 (or Theorem 18), we get the following result.Corollary 21.
Let(
X
,
d
) be a complete metric space and T
:
X
→
X a continuous generalized weakly contraction mapping. Then T has a fixed point in X.By using Remark5, we obtain the following results.Corollary 22.
Let(
X
,
d
) be a complete metric space and T
:
X
→
X a continuous mapping and
(87)
d
(
T
x
,
T
y
)
≤
k
m
(
x
,
y
)
,
for all x
,
y
∈
X, where k
∈
[
0,1
) and
(88)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
.
Then T has a fixed point in X.Corollary 23.
Let(
X
,
d
) be a complete metric space and T
:
X
→
X a continuous mapping and
(89)
d
(
T
x
,
T
y
)
<
m
(
x
,
y
)
,
for all x
,
y
∈
X, where
(90)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
.
Then T has a fixed point in X.Corollary 24.
Let(
X
,
d
) be a complete metric space and let T
:
X
→
X be a continuous mapping and
(91)
ψ
(
d
(
T
x
,
T
y
)
)
≤
m
(
x
,
y
)
-
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
,
for all x
,
y
∈
X, where
(92)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
.
Then T has a fixed point in X.


### 4.2. Fixed Point Results on Metric Spaces Endowed with an Arbitrary Binary Relation

In this section, we give the existence of fixed point theorems on a metric space endowed with an arbitrary binary relation. Before presenting our results, we give the following notions and definitions.Definition 25.
LetX be a nonempty set and ℛ a binary relation over X. One says that T
:
X
→
X is acomparative mapping with respect to
ℛ if
(93)
x
,
y
∈
X
,
x
ℛ
y
⟹
(
T
x
)
ℛ
(
T
y
)
.Definition 26.
LetX be a nonempty set and ℛ a binary relation over X. One says that X has atransitive property with respect to
ℛ if
(94)
x
,
y
,
z
∈
X
,
x
ℛ
y
,
y
ℛ
z
⟹
x
ℛ
z
.Definition 27.
Let(
X
,
d
) be a metric space and ℛ a binary relation over X. A mapping T
:
X
→
X is said to be ageneralized weakly contraction with respect to
ℛ if for each x
,
y
∈
X for which x
ℛ
y one has
(95)
ψ
(
d
(
T
x
,
T
y
)
)
≤
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(96)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.Theorem 28.
Let(
X
,
d
) be a metric space and ℛ a binary relation over X and T
:
X
→
X a generalized weakly contraction with respect to ℛ; then the following conditions hold: (A)
T is continuous;
(B)
X has a transitive property with respect to ℛ;
(C)
T is comparative mapping with respect to ℛ;
(D)
there existsx
0
∈
X such that x
0
ℛ
(
T
x
0
).Then T has a fixed point in X.Proof.
Consider two mappingsα
,
β
:
X
×
X
→
[
0
,
∞
) defined by
(97)
α
(
x
,
y
)
=
β
(
x
,
y
)
=
{
1
if
x
ℛ
y
;
0
otherwise
.
From condition (
D
), we get α
(
x
0
,
T
x
0
)
=
β
(
x
0
,
T
x
0
)
=
1. Since T is comparative mapping with respect to ℛ, we get T is α-admissible and β
0-subadmissible. Also, α is forward transitive and β is 0-backward transitive since X has a transitive property with respect to ℛ. Since T is a generalized weakly contraction with respect to ℛ, we have, for all x
,
y
∈
X,
(98)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
α
(
x
,
y
)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
This implies that T is generalized α
-
β
-weakly contraction mapping types A and B. Now all the hypotheses of Theorem 14 (or Theorem 18) are satisfied and thus the existence of the fixed point of T follows from Theorem 14 (or Theorem 18).In order to remove the continuity ofT, we need the following condition:(
𝒞
ℛ
)
if{
x
n
} is the sequence in X such that x
n
ℛ
x
n
+
1 for all n
∈
ℕ and it converges to the point x
∈
X, then x
n
ℛ
x for all n
∈
ℕ.Theorem 29.
Let(
X
,
d
) be a metric space and ℛ a binary relation over X and T
:
X
→
X a generalized weakly contraction with respect to ℛ; then the following conditions hold: (A)
the condition(
𝒞
ℛ
) holds on X;
(B)
X has a transitive property with respect to ℛ;
(C)
T is comparative mapping with respect to ℛ;
(D)
there existsx
0
∈
X such that x
0
ℛ
(
T
x
0
).Then T has a fixed point in X.Proof.
The result follows from Theorem15 (or Theorem 19) by considering the mappings α and β given by (97) and by observing that condition (
𝒞
ℛ
) implies property (
𝒞
).To assure the uniqueness of the fixed point, we will add the following condition:(
𝒞
ℛ
′
)
for allx
,
y
∈
X there exists z
∈
X such that
(99)
x
ℛ
z
,
y
ℛ
z
.Theorem 30.
By adding condition(
𝒞
ℛ
′
) to the hypotheses of Theorem 28 (or Theorem 29) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (99). Then T has a unique fixed point.Proof.
The result follows from Theorem17 (or Theorem 20) by considering the mappings α and β given by (97) and by observing that condition (
𝒞
ℛ
′
) implies property (
𝒞
′
).


### 4.3. Fixed Point Results on Metric Spaces Endowed with Graph

Throughout this section, let(
X
,
d
) be a metric space. A set {
(
x
,
x
)
:
x
∈
X
} is called a diagonal of the Cartesian product X
×
X and is denoted by Δ. Consider a graph G such that the set V
(
G
) of its vertices coincides with X and the set E
(
G
) of its edges contains all loops; that is, Δ
⊆
E
(
G
). We assume G has no parallel edges, so we can identify G with the pair (
V
(
G
)
,
E
(
G
)
). Moreover, we may treat G as a weighted graph by assigning to each edge the distance between its vertices. A graph G is connected if there is a path between any two vertices.In this section, we give the existence of fixed point theorems on a metric space endowed with graph. Before presenting our results, we give the following notions and definitions.Definition 31.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X mapping. One says that T
preserves edges of
G if
(100)
x
,
y
∈
X
,
(
x
,
y
)
∈
E
(
G
)
⟹
(
T
x
,
T
y
)
∈
E
(
G
)
.Definition 32.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X mapping. One says that X has atransitive property with respect to graph
G if
(101)
x
,
y
,
z
∈
X
,
(
x
,
y
)
∈
E
(
G
)
,
(
y
,
z
)
∈
E
(
G
)
⟹
(
x
,
z
)
∈
E
(
G
)
.Remark 33.
It is easy to see that ifG is a connected graph, then X has a transitive property with respect to graph G.Definition 34.
Let(
X
,
d
) be a metric space endowed with a graph G. A mapping T
:
X
→
X is said to be ageneralized weakly contraction with respect to graph
G if for each x
,
y
∈
X for which (
x
,
y
)
∈
E
(
G
) one has
(102)
ψ
(
d
(
T
x
,
T
y
)
)
≤
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(103)
m
(
x
,
y
)
=
max
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.Example 35.
Let(
X
,
d
) be a metric space, T
:
X
→
X a given mapping, ψ
:
[
0
,
∞
)
→
[
0
,
∞
) an arbitrary altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) an arbitrary continuous function with ϕ
(
t
)
=
0 if and only if t
=
0. If ϕ
(
d
(
x
,
T
x
)
)
≤
ψ
(
d
(
x
,
T
x
)
) for all x
∈
X, then T is trivially generalized weakly contraction with respect to graph G, where G
=
(
V
(
G
)
,
E
(
G
)
)
=
(
X
,
Δ
).Theorem 36.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized weakly contraction with respect to graph G; then the following conditions hold: (A)
T is continuous;
(B)
X has a transitive property with respect to graph G;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Proof.
Consider two mappingsα
,
β
:
X
×
X
→
[
0
,
∞
) defined by
(104)
α
(
x
,
y
)
=
β
(
x
,
y
)
=
{
1
if
(
x
,
y
)
∈
E
(
G
)
;
0
otherwise
.
From condition (
D
), we get α
(
x
0
,
T
x
0
)
=
β
(
x
0
,
T
x
0
)
=
1. Since T preserves edges of G, we get T is α-admissible and β
0-subadmissible. Also, α is forward transitive property and β is 0-backward transitive since X has transitive property with respect to graph G. Since T is a generalized weakly contraction with respect to graph G, we get
(105)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
α
(
x
,
y
)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
for all x
,
y
∈
X. This implies that T is generalized α
-
β
-weakly contraction mapping types A and B. Therefore, all the hypotheses of Theorem 14 (or Theorem 18) are satisfied. Now the existence of the fixed point of T follows from Theorem 14 (or Theorem 18).In order to remove the continuity ofT, we need the following condition.Definition 37.
Let(
X
,
d
) be a metric space endowed with a graph G. One says that X has G
-regular property if {
x
n
} is the sequence in X such that (
x
n
,
x
n
+
1
)
∈
E
(
G
) for all n
∈
ℕ and it converges to the point x
∈
X; then (
x
n
,
x
)
∈
E
(
G
) for all n
∈
ℕ.Theorem 38.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized α
-
β
-weakly contraction with respect to graph G; then the following conditions hold: (A)
X has G-regular property;
(B)
X has a transitive property with respect to graph G;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Proof.
The result follows from Theorem15 (or Theorem 19) by considering the mappings α and β given by (104) and by observing that G-regular property implies property (
𝒞
).To assure the uniqueness of the fixed point, we will add the following condition:(
𝒞
𝒢
′
)
for allx
,
y
∈
X there exists z
∈
X such that
(106)
(
x
,
z
)
∈
E
(
G
)
,
(
y
,
z
)
∈
E
(
G
)
.Theorem 39.
By adding condition(
𝒞
𝒢
′
) to the hypotheses of Theorem 36 (or Theorem 38) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (106). Then T has a unique fixed point.Proof.
The result follows from Theorem17 (or Theorem 20) by considering the mappings α and β given by (97) and by observing that condition (
𝒞
𝒢
′
) implies property (
𝒞
′
).By using Remark33, we get the following results.Corollary 40.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized weakly contraction with respect to graph G; then the following conditions hold:(A)
T is continuous;
(B)
G is connected graph;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Corollary 41.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized α
-
β
-weakly contraction with respect to graph G; then the following conditions hold:(A)
X has G-regular property;
(B)
G is connected graph;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Corollary 42.
By adding condition(
𝒞
𝒢
′
) to the hypotheses of Corollary 40 (or Corollary 41), the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (106). Then T has a unique fixed point.


## 4.1. Fixed Point Results on an Ordinary Metric Space

Settingα
(
x
,
y
)
=
β
(
x
,
y
)
=
1 for all x
,
y
∈
X in Theorem 14 (or Theorem 18), we get the following result.Corollary 21.
Let(
X
,
d
) be a complete metric space and T
:
X
→
X a continuous generalized weakly contraction mapping. Then T has a fixed point in X.By using Remark5, we obtain the following results.Corollary 22.
Let(
X
,
d
) be a complete metric space and T
:
X
→
X a continuous mapping and
(87)
d
(
T
x
,
T
y
)
≤
k
m
(
x
,
y
)
,
for all x
,
y
∈
X, where k
∈
[
0,1
) and
(88)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
.
Then T has a fixed point in X.Corollary 23.
Let(
X
,
d
) be a complete metric space and T
:
X
→
X a continuous mapping and
(89)
d
(
T
x
,
T
y
)
<
m
(
x
,
y
)
,
for all x
,
y
∈
X, where
(90)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
.
Then T has a fixed point in X.Corollary 24.
Let(
X
,
d
) be a complete metric space and let T
:
X
→
X be a continuous mapping and
(91)
ψ
(
d
(
T
x
,
T
y
)
)
≤
m
(
x
,
y
)
-
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
,
for all x
,
y
∈
X, where
(92)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
.
Then T has a fixed point in X.


## 4.2. Fixed Point Results on Metric Spaces Endowed with an Arbitrary Binary Relation

In this section, we give the existence of fixed point theorems on a metric space endowed with an arbitrary binary relation. Before presenting our results, we give the following notions and definitions.Definition 25.
LetX be a nonempty set and ℛ a binary relation over X. One says that T
:
X
→
X is acomparative mapping with respect to
ℛ if
(93)
x
,
y
∈
X
,
x
ℛ
y
⟹
(
T
x
)
ℛ
(
T
y
)
.Definition 26.
LetX be a nonempty set and ℛ a binary relation over X. One says that X has atransitive property with respect to
ℛ if
(94)
x
,
y
,
z
∈
X
,
x
ℛ
y
,
y
ℛ
z
⟹
x
ℛ
z
.Definition 27.
Let(
X
,
d
) be a metric space and ℛ a binary relation over X. A mapping T
:
X
→
X is said to be ageneralized weakly contraction with respect to
ℛ if for each x
,
y
∈
X for which x
ℛ
y one has
(95)
ψ
(
d
(
T
x
,
T
y
)
)
≤
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(96)
m
(
x
,
y
)
=
max
⁡
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.Theorem 28.
Let(
X
,
d
) be a metric space and ℛ a binary relation over X and T
:
X
→
X a generalized weakly contraction with respect to ℛ; then the following conditions hold: (A)
T is continuous;
(B)
X has a transitive property with respect to ℛ;
(C)
T is comparative mapping with respect to ℛ;
(D)
there existsx
0
∈
X such that x
0
ℛ
(
T
x
0
).Then T has a fixed point in X.Proof.
Consider two mappingsα
,
β
:
X
×
X
→
[
0
,
∞
) defined by
(97)
α
(
x
,
y
)
=
β
(
x
,
y
)
=
{
1
if
x
ℛ
y
;
0
otherwise
.
From condition (
D
), we get α
(
x
0
,
T
x
0
)
=
β
(
x
0
,
T
x
0
)
=
1. Since T is comparative mapping with respect to ℛ, we get T is α-admissible and β
0-subadmissible. Also, α is forward transitive and β is 0-backward transitive since X has a transitive property with respect to ℛ. Since T is a generalized weakly contraction with respect to ℛ, we have, for all x
,
y
∈
X,
(98)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
α
(
x
,
y
)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
.
This implies that T is generalized α
-
β
-weakly contraction mapping types A and B. Now all the hypotheses of Theorem 14 (or Theorem 18) are satisfied and thus the existence of the fixed point of T follows from Theorem 14 (or Theorem 18).In order to remove the continuity ofT, we need the following condition:(
𝒞
ℛ
)
if{
x
n
} is the sequence in X such that x
n
ℛ
x
n
+
1 for all n
∈
ℕ and it converges to the point x
∈
X, then x
n
ℛ
x for all n
∈
ℕ.Theorem 29.
Let(
X
,
d
) be a metric space and ℛ a binary relation over X and T
:
X
→
X a generalized weakly contraction with respect to ℛ; then the following conditions hold: (A)
the condition(
𝒞
ℛ
) holds on X;
(B)
X has a transitive property with respect to ℛ;
(C)
T is comparative mapping with respect to ℛ;
(D)
there existsx
0
∈
X such that x
0
ℛ
(
T
x
0
).Then T has a fixed point in X.Proof.
The result follows from Theorem15 (or Theorem 19) by considering the mappings α and β given by (97) and by observing that condition (
𝒞
ℛ
) implies property (
𝒞
).To assure the uniqueness of the fixed point, we will add the following condition:(
𝒞
ℛ
′
)
for allx
,
y
∈
X there exists z
∈
X such that
(99)
x
ℛ
z
,
y
ℛ
z
.Theorem 30.
By adding condition(
𝒞
ℛ
′
) to the hypotheses of Theorem 28 (or Theorem 29) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (99). Then T has a unique fixed point.Proof.
The result follows from Theorem17 (or Theorem 20) by considering the mappings α and β given by (97) and by observing that condition (
𝒞
ℛ
′
) implies property (
𝒞
′
).


## 4.3. Fixed Point Results on Metric Spaces Endowed with Graph

Throughout this section, let(
X
,
d
) be a metric space. A set {
(
x
,
x
)
:
x
∈
X
} is called a diagonal of the Cartesian product X
×
X and is denoted by Δ. Consider a graph G such that the set V
(
G
) of its vertices coincides with X and the set E
(
G
) of its edges contains all loops; that is, Δ
⊆
E
(
G
). We assume G has no parallel edges, so we can identify G with the pair (
V
(
G
)
,
E
(
G
)
). Moreover, we may treat G as a weighted graph by assigning to each edge the distance between its vertices. A graph G is connected if there is a path between any two vertices.In this section, we give the existence of fixed point theorems on a metric space endowed with graph. Before presenting our results, we give the following notions and definitions.Definition 31.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X mapping. One says that T
preserves edges of
G if
(100)
x
,
y
∈
X
,
(
x
,
y
)
∈
E
(
G
)
⟹
(
T
x
,
T
y
)
∈
E
(
G
)
.Definition 32.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X mapping. One says that X has atransitive property with respect to graph
G if
(101)
x
,
y
,
z
∈
X
,
(
x
,
y
)
∈
E
(
G
)
,
(
y
,
z
)
∈
E
(
G
)
⟹
(
x
,
z
)
∈
E
(
G
)
.Remark 33.
It is easy to see that ifG is a connected graph, then X has a transitive property with respect to graph G.Definition 34.
Let(
X
,
d
) be a metric space endowed with a graph G. A mapping T
:
X
→
X is said to be ageneralized weakly contraction with respect to graph
G if for each x
,
y
∈
X for which (
x
,
y
)
∈
E
(
G
) one has
(102)
ψ
(
d
(
T
x
,
T
y
)
)
≤
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
where
(103)
m
(
x
,
y
)
=
max
⁡
{
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
d
(
x
,
y
)
,
d
(
x
,
T
x
)
,
d
(
y
,
T
y
)
,
1
2
(
d
(
x
,
T
y
)
+
d
(
y
,
T
x
)
)
}
,
ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) is a continuous function with ϕ
(
t
)
=
0 if and only if t
=
0.Example 35.
Let(
X
,
d
) be a metric space, T
:
X
→
X a given mapping, ψ
:
[
0
,
∞
)
→
[
0
,
∞
) an arbitrary altering distance function, and ϕ
:
[
0
,
∞
)
→
[
0
,
∞
) an arbitrary continuous function with ϕ
(
t
)
=
0 if and only if t
=
0. If ϕ
(
d
(
x
,
T
x
)
)
≤
ψ
(
d
(
x
,
T
x
)
) for all x
∈
X, then T is trivially generalized weakly contraction with respect to graph G, where G
=
(
V
(
G
)
,
E
(
G
)
)
=
(
X
,
Δ
).Theorem 36.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized weakly contraction with respect to graph G; then the following conditions hold: (A)
T is continuous;
(B)
X has a transitive property with respect to graph G;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Proof.
Consider two mappingsα
,
β
:
X
×
X
→
[
0
,
∞
) defined by
(104)
α
(
x
,
y
)
=
β
(
x
,
y
)
=
{
1
if
(
x
,
y
)
∈
E
(
G
)
;
0
otherwise
.
From condition (
D
), we get α
(
x
0
,
T
x
0
)
=
β
(
x
0
,
T
x
0
)
=
1. Since T preserves edges of G, we get T is α-admissible and β
0-subadmissible. Also, α is forward transitive property and β is 0-backward transitive since X has transitive property with respect to graph G. Since T is a generalized weakly contraction with respect to graph G, we get
(105)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
α
(
x
,
y
)
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
α
(
x
,
y
)
ψ
(
d
(
T
x
,
T
y
)
)
≤
β
(
x
,
y
)
ψ
(
m
(
x
,
y
)
)
-
ϕ
(
max
⁡
⁡
{
d
(
x
,
y
)
,
d
(
y
,
T
y
)
}
)
,
for all x
,
y
∈
X. This implies that T is generalized α
-
β
-weakly contraction mapping types A and B. Therefore, all the hypotheses of Theorem 14 (or Theorem 18) are satisfied. Now the existence of the fixed point of T follows from Theorem 14 (or Theorem 18).In order to remove the continuity ofT, we need the following condition.Definition 37.
Let(
X
,
d
) be a metric space endowed with a graph G. One says that X has G
-regular property if {
x
n
} is the sequence in X such that (
x
n
,
x
n
+
1
)
∈
E
(
G
) for all n
∈
ℕ and it converges to the point x
∈
X; then (
x
n
,
x
)
∈
E
(
G
) for all n
∈
ℕ.Theorem 38.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized α
-
β
-weakly contraction with respect to graph G; then the following conditions hold: (A)
X has G-regular property;
(B)
X has a transitive property with respect to graph G;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Proof.
The result follows from Theorem15 (or Theorem 19) by considering the mappings α and β given by (104) and by observing that G-regular property implies property (
𝒞
).To assure the uniqueness of the fixed point, we will add the following condition:(
𝒞
𝒢
′
)
for allx
,
y
∈
X there exists z
∈
X such that
(106)
(
x
,
z
)
∈
E
(
G
)
,
(
y
,
z
)
∈
E
(
G
)
.Theorem 39.
By adding condition(
𝒞
𝒢
′
) to the hypotheses of Theorem 36 (or Theorem 38) and the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (106). Then T has a unique fixed point.Proof.
The result follows from Theorem17 (or Theorem 20) by considering the mappings α and β given by (97) and by observing that condition (
𝒞
𝒢
′
) implies property (
𝒞
′
).By using Remark33, we get the following results.Corollary 40.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized weakly contraction with respect to graph G; then the following conditions hold:(A)
T is continuous;
(B)
G is connected graph;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Corollary 41.
Let(
X
,
d
) be a metric space endowed with a graph G and T
:
X
→
X a generalized α
-
β
-weakly contraction with respect to graph G; then the following conditions hold:(A)
X has G-regular property;
(B)
G is connected graph;
(C)
T preserves edges of G;
(D)
there existsx
0
∈
X such that (
x
0
,
T
x
0
)
∈
E
(
G
).Then T has a fixed point in X.Corollary 42.
By adding condition(
𝒞
𝒢
′
) to the hypotheses of Corollary 40 (or Corollary 41), the limit of orbit 𝒪
(
T
,
z
) exists, where z is an element in X satisfying (106). Then T has a unique fixed point.



---

*Source: 784207-2014-05-07.xml*