Next Article in Journal
A Novel Hybrid Data-Driven Modeling Method for Missiles
Previous Article in Journal
Research on the Detection Method of Implicit Self Symmetry in a High-Level Semantic Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Relation-Theoretic Fixed Point Theorems for Generalized Weakly Contractive Mappings

by
Priyam Chakraborty
1,
Binayak S. Choudhury
1 and
Manuel De la Sen
2,*
1
Department of Mathematics, Indian Institute of Engineering Science and Technology, Shibpur, Howrah-711103, India
2
Institute of Research and Development of Processes, University of the Basque Country, 48940 Leioa, Bizkaia, Spain
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(1), 29; https://doi.org/10.3390/sym12010029
Submission received: 15 November 2019 / Revised: 13 December 2019 / Accepted: 18 December 2019 / Published: 21 December 2019

Abstract

:
In recent times there have been two prominent trends in metric fixed point theory. One is the use of weak contractive inequalities and the other is the use of binary relations. Combining the two trends, in this paper we establish a relation-theoretic fixed point result for a mapping which is defined on a metric space with an arbitrary binary relation and satisfies a weak contractive inequality for any pair of points whenever the pair of points is related by a given relation. The uniqueness is obtained by assuming some extra conditions. The metric space is assumed to be R -complete. We use R -continuity of functions. The property of local T-transitivity of the relation R is used in the main theorem. There is an illustrative example. An existing fixed point result is generalized through the present work. We use a method in the proof of our main theorem which is a blending of relation-theoretic and analytic approaches.
MSC:
AMS Subject Classification 2000: 54H25

1. Introduction and Preliminaries

The present paper is a relation-theoretic fixed point result of a self-mapping on a metric space which is assumed to satisfy a weak contraction inequality. It is a combination of two recent trends of metric fixed point theory. One is the use of weak contractive inequalities to establish fixed point results while the other is to relax the set of pairs of points for which the contraction inequality is defined for the purpose of obtaining a fixed point result of the corresponding mapping. In the following we briefly dwell upon these two trends.
Weak contractions are intermediate concepts between a contraction mapping and a non-expansive mapping. They were first introduced by Alber et al. [1] in the context of Hilbert spaces and was subsequently defined in metric spaces by Rhoades [2]. In the same work, a weak contraction mapping principle was established. Afterwards, the idea was generalized and extended in several ways by which a large amount of literature on the fixed point theory of weakly contractive mappings was produced. Some instance of these works are [3,4,5,6,7,8,9,10,11,12,13].
On the other hand, it was realized that in several proofs of many important results of fixed point theory, it is not necessary to assume the contraction condition for arbitrary pairs of points chosen from the space itself. There can be suitable restrictions on the choice of such pairs. This perception had its expression in the fixed point theory on partially ordered metric space [14,15,16,17,18,19]. Also, there are several recent papers in fixed point theory on metric spaces with a graph, [20,21,22] for instance, where the contractive conditions are generally assumed for pairs of points which are adjacent vertices of the graph. Viewing graphs and partial orders as relations, attempts have been recently made to define weaker relations on metric spaces which will serve the same purpose. Focus on this line of research has been on binary relations on metric spaces which are weaker than graphs, etc.. Some works in this line are [23,24,25,26,27].
In the present context we prove a fixed point result for a self-mapping satisfying a weak contraction inequality for choices of points which are related by some relation having specific properties both in relation to the metric spaces and the function defined on it. We illustrate our result with an example. Our result is an extension of previous results existing in literature [4,28].
In the extension, the following definitions will be utilized.
We denote N as the set of natural numbers. R as the set of real numbers.
Definition 1.
[25] Let X be any nonempty set and R X × X be some binary relation defined on X. Then two elements u and v, of X, are R -comparative if either ( u , v ) R or ( v , u ) R . This is denoted as [ u , v ] R .
Definition 2.
[29,30] A binary relation R defined on any nonempty set X is said to be
  • reflexive if ( u , u ) R for all u X ,
  • symmetric if ( u , v ) R implies ( v , u ) R ,
  • transitive if ( u , v ) R , ( v , w ) R implies ( u , w ) R ,
  • dichotomous if [ u , v ] R for all u , v X ,
  • trichotomous if [ u , v ] R or u = v for all u , v X ,
  • equivalence if R is reflexive, symmetric and transitive.
Definition 3.
[29] Let X be any nonempty set with a binary relation R on X.
(1) 
The inverse or dual relation of R , denoted by R 1 , is defined by
R 1 = { ( u , v ) X × X : ( v , u ) R } .
(2) 
The reflexive closure of R , denoted by R # , is defined as R # : = R u , where u = { ( u , u ) : u X } .
(3) 
The symmetric closure of R , denoted by R s , is defined to be R s : = R R 1 .
Remark 1.
R # is the smallest relation on X, containing R , which is reflexive.
R s is the smallest symmetric relation on X containing R .
Definition 4.
R -preserving sequence:[31] Let X be any nonempty set with a binary relation R on it. We call the sequence { u n } X to be R -preserving if ( u n , u n + 1 ) R for all n N 0 .
Definition 5.
d-self closed relation:[25] Let ( X , d ) be a metric space with a binary relation R on it. R is d-self closed if for any R -preserving sequence { u n } with u n u , there exists a subsequence { u n k } of { u n } with [ u n k , u ] R for every k N 0 .
Definition 6.
T-closed relation:[25] Let X be any nonempty set with the self-map T : X X . A binary relation R on X is called T-closed if for any u , v X , ( u , v ) R ( T u , T v ) R .
Definition 7.
R -directed set:[32] Let X be a nonempty set with a binary relation R on it. The set E X is called R -directed if for each u , v E , there exists w X such that ( u , w ) R and ( v , w ) R .
Definition 8.
Path of length k: [33] Let X be a nonempty set with a binary relation R on it. For u , v X , a path of length k ( where k is a natural number) in R from u to v is a finite sequence { z 0 , z 1 , z 2 , , z k } X with the following conditions:
( i ) z 0 = u a n d z k = v ,
( i i ) ( z i , z i + 1 ) R f o r each i , where ( 0 i k 1 ) .
A path of length k contains k + 1 elements of X which may be repeated.
Definition 9.
Transitive relation: [26] A nonempty subset R of X × X is transitive if ( u , w ) R for all u , v , w X such that ( u , v ) , ( v , w ) R .
Definition 10.
T-Transitive relation: [26] Given a map T : X X , we say a relation R on X to be T -transitive if ( T u , T w ) R for all u , v , w X such that ( T u , T v ) , ( T v , T w ) R .
Definition 11.
Locally Transitive relation: [26] A binary relation R on a nonempty set X is said to be locally transitive if for every (effectively) R -preserving sequence { u n } X (with range E : = { u n : n N } ) , the relation R | E is transitive.
Definition 12.
Locally T-Transitive relation: [26] Let X be a nonempty set with a self-mapping T on it. A binary relation R on X is said to be locally T-transitive if for every (effectively) R -preserving sequence { u n } T ( X ) (with range E : = { u n : n N } ) , the binary relation R | E is transitive.
Definition 13.
T-symmetric relation: Given a self mapping T : X X , we say that a binary relation R on X is T -symmetrie if ( T u , T v ) R for all u , v X such that ( T v , T u ) R .
Definition 14.
R -complete:[24] Let (X, d) be a metric space with a binary relation R on it. We say that (X, d) is R -complete if every R -preserving Cauchy sequence in X is convergent.
Definition 15.
R -closed:[24] Let (X, d) be a metric space and R a binary relation on it. The set E X is said to be R -closed if every R -preserving convergent sequence in E is convergent to a point of E.
Definition 16.
R -continuous function:[24] Let (X, d) be a metric space with a binary relation R on it and u X . A mapping f : X X is called R -continuous at the point u if for every R -preserving sequence { u n } , u n u f u n f u .
f is called R -continuous if the function f is R -continuous at every point of X.
Definition 17.
R -connected set:[26] Let X be a non empty set with a binary relation R on it. A subset E of X is R -connected if there is a path from u to v in R , for all u , v E .
In this paper if T : X X is a self-mapping and R is a binary relation on it, we use the notations:
X ( T ; R ) : = { u X : ( u , T u ) R } N 0 : = N { 0 } .

2. Main Results

Theorem 1.
Let ( X , d ) be a metric space with some binary relation R on it and T : X X be a self map, with the following conditions satisfied.
(i) 
( X , d ) is R -complete,
(ii) 
X ( T , R )
(iii) 
R is T- c l o s e d
(iv) 
R is l o c a l l y T - t r a n s i t i v e
(v) 
either T is R - c o n t i n u o u s or R is d- s e l f c l o s e d ,
(vi) 
T is a generalized weakly contractive map on R , i.e.,there exist two continuous functions ϕ, ψ : [ 0 , ) [ 0 , ) , such that ϕ ( t ) = ψ ( t ) = 0 if and only if t = 0 , and if x , y X with [ x , y ] R then
ψ ( d ( T x , T y ) ) ψ ( m 1 ( x , y ) ) ϕ ( m 2 ( x , y ) )
where m 1 ( x , y ) : = max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , 1 2 [ d ( x , T y ) + d ( y , T x ) ] } and m 2 ( x , y ) : = m a x { d ( x , y ) , d ( y , T y ) } , then T has a fixed point.
Proof. 
As X ( T , R ) , x 0 X such that ( x 0 , T x 0 ) R .
Let us define a sequence { x n } by x n : = T n x 0 .
Since R is T- c l o s e d and ( x 0 , T x 0 ) R , we have i N , ( T i x 0 , T i + 1 x 0 ) R , that is, ( x i , x i + 1 ) R , i N .
Therefore { x n } is an R - p r e s e r v i n g sequence.
Let ρ n : = d ( x n , x n + 1 ) .
From the contractive condition in Equation (1) we have, for all n N 0
ψ ( d ( T x n , T x n + 1 ) ) ψ ( m 1 ( x n , x n + 1 ) ) ϕ ( m 2 ( x n , x n + 1 ) ) or ψ ( ρ n + 1 ) ψ ( m 1 ( x n , x n + 1 ) ) ϕ ( m 2 ( x n , x n + 1 ) ) ,
where m 1 ( x n , x n + 1 ) = max { d ( x n , x n + 1 ) , d ( x n + 1 , 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 ) ) } . and m 2 ( x n , x n + 1 ) = max { d ( x n , x n + 1 ) , d ( x n + 1 , x n + 2 ) } .
Again we have , for all n N 0 , d ( x n , x n + 2 ) d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 2 max { d ( x n , x n + 1 ) , d ( x n + 1 , x n + 2 ) } , that is , 1 2 ( d ( x n , x n + 2 ) + d ( x n + 1 , x n + 1 ) ) max { d ( x n , x n + 1 ) , d ( x n + 1 , x n + 2 ) } .
Thus m 1 ( x n , x n + 1 ) = max { ρ n , ρ n + 1 } , n N 0 .
Then Equation (2) reduces to
ψ ( ρ n + 1 ) ψ ( max { ρ n , ρ n + 1 } ) ϕ ( max { ρ n , ρ n + 1 } ) .
Case-I:
If ρ n 0 < ρ n 0 + 1 , for some n 0 N , then from Equation (3) we have
ψ ( ρ n 0 + 1 ) ψ ( ρ n 0 + 1 ) ϕ ( ρ n 0 + 1 ) ϕ ( ρ n 0 + 1 ) = 0 ρ n 0 + 1 = 0 [ as ϕ ( t ) = 0 t = 0 ] d ( x n 0 + 1 , x n 0 + 2 ) = 0 x n 0 + 1 = x n 0 + 2 = T x n 0 + 1 .
In this case x n 0 + 1 is a fixed point of T and we arrive at the conclusion of the theorem.
Case-II:
If ρ n ρ n + 1 n N , then { ρ n } is a sequence of non-negative real numbers which is monotone decreasing.
The sequence { ρ n } is bounded below by 0 and, as it is monotone decreasing, it must be convergent.
Let lim n ρ n = ρ (say).
In this case, from (3) we have ψ ( ρ n + 1 ) ψ ( ρ n ) ϕ ( ρ n ) .
Taking limit n and using continuity of the functions ϕ and ψ , we have ψ ( ρ ) ψ ( ρ ) ϕ ( ρ ) , which implies that ϕ ( ρ ) = 0 .
Then, by a property of ϕ , we have ρ = 0 , that is, lim n d ( x n , x n + 1 ) = 0 .
We will now establish that { x n } is a Cauchy sequence.
Otherwise, there exists some ϵ > 0 for which we can find two sequences of positive integers { m k } and { n k } such that for every positive integer k,
n k > m k > k , d ( x m k , x n k ) ϵ and d ( x m k , x n k 1 ) < ϵ .
Now,
ϵ d ( x m k , x n k ) d ( x m k , x n k 1 ) + d ( x n k 1 , x n k ) . using (4) we get, ϵ d ( x m k , x n k ) < ϵ + d ( x n k 1 , x n k ) .
Taking the limit as k in the above and using the result proved above that lim n d ( x n , x n + 1 ) = 0 , n N , we have
lim k d ( x m k , x n k ) = ϵ
Also,
d ( x m k , x n k + 1 ) d ( x m k , x n k ) + d ( x n k , x n k + 1 ) .
Taking the limit k in the above,
lim k d ( x m k , x n k + 1 ) ϵ + 0 .
Also
d ( x m k , x n k ) d ( x m k , x n k + 1 ) + d ( x n k + 1 , x n k ) .
Taking the limit k in the above inequalities, we obtain ϵ lim k d ( x m k , x n k + 1 ) + 0 .
Thus lim k d ( x m k , x n k + 1 ) = ϵ .
Also
d ( x m k + 1 , x n k ) d ( x m k + 1 , x m k ) + d ( x m k , x n k )
Taking the limit as k in the above inequalities, we obtain
lim k d ( x m k + 1 , x n k ) ϵ .
Also
d ( x m k , x n k ) d ( x m k , x m k + 1 ) + d ( x m k + 1 , x n k )
Taking the limit as k in the above inequalities, we have
ϵ lim k d ( x m k + 1 , x n k )
Thus lim k d ( x m k + 1 , x n k ) = ϵ .
Again,
d ( x m k + 1 , x n k + 1 ) d ( x m k + 1 , x m k ) + d ( x m k , x n k + 1 ) .
Taking the limit as k in the above inequalities and using (6), we have
lim k d ( x m k + 1 , x n k + 1 ) ϵ .
Also
d ( x m k + 1 , x n k ) d ( x m k + 1 , x n k + 1 ) + d ( x n k + 1 , x n k ) .
Taking the limit as k in the above inequalities and using (7), we have
ϵ lim k d ( x m k + 1 , x n k + 1 ) .
Thus lim k d ( x m k + 1 , x n k + 1 ) = ϵ .
Now, as { x n } is R preserving sequence and by the local T-transitivity of R , we have ( x i , x j ) R i < j . Thus we can say that [ x m k , x n k ] R for any k N .
Therefore, from (1) ψ ( d ( x m k + 1 , x n k + 1 ) ) ψ ( m 1 ( x m k , x n k ) ) ϕ ( m 2 ( x m k , x n k ) ) .
Taking limit as k and using continuity of ϕ and ψ we have ψ ( ϵ ) ψ ( ϵ ) ϕ ( ϵ ) , that is ϕ ( ϵ ) = 0 , which, by a property of ϕ , implies that ϵ = 0 , this contradicts the fact that ϵ > 0 .
Hence { x n } is R -preserving Cauchy sequence in X.
Thus { x n } x for some x X , as X is R -complete.
Now we consider two subcases,
Subcase-II(A): If T is R -continuous, then using the fact { x n } x in both sides of x n + 1 = T x n , we have x = T x .
Thus x is a fixed point.
Subcase-II(B): If T is not R -continuous, then by a condition of the theorem, R is d- s e l f c l o s e d .
Then for the R -preserving sequence { x n } , where lim n x n = x , a subsequence { x n k } of { x n } such that [ x n k , x ] R for all k N .
Then we have , ψ ( d ( T x n k , T x ) ) ψ ( m 1 ( x n k , x ) ) ϕ ( m 2 ( x n k , x ) ) or , ψ ( d ( x n k + 1 , T x ) ) ψ ( m 1 ( x n k , x ) ) ϕ ( m 2 ( x n k , x ) ) ,
where m 1 ( x n k , x ) = max { d ( x n k , x ) , d ( x n k , T x n k ) , d ( x , T x ) , 1 2 ( d ( x n k , T x ) + d ( T x n k , x ) ) } = max { d ( x n k , x ) , d ( x n k , x n k + 1 ) , d ( x , T x ) , 1 2 ( d ( x n k , T x ) + d ( x n k + 1 , x ) ) } m 2 ( x n k , x ) = max { d ( x n k , x ) , d ( x , T x ) } .
Now
lim k ψ ( d ( x n k + 1 , T x ) ) = ψ ( lim k d ( x n k + 1 , T x ) ) [ as ψ is continuous ] = ψ ( d ( x , T x ) )
lim k ψ ( m 1 ( x n k , x ) ) = ψ ( lim k m 1 ( x n k , x ) ) [ as ψ is continuous ] = ψ ( lim k max { d ( x n k , x ) , d ( x n k , x n k + 1 ) , d ( x , T x ) , 1 2 ( d ( x n k , T x ) + d ( x n k + 1 , x ) ) } ) = ψ ( max { lim k d ( x n k , x ) , lim k d ( x n k , x n k + 1 ) , lim k d ( x , T x ) , 1 2 lim k ( d ( x n k , T x ) + d ( x n k + 1 , x ) ) } ) = ψ ( max { d ( x , x ) , d ( x , x ) , d ( x , T x ) , 1 2 ( d ( x , T x ) + d ( x , x ) ) } ) = ψ ( d ( x , T x ) )
and
lim k ϕ ( m 1 ( x n k , x ) ) = ϕ ( lim k m 1 ( x n k , x ) ) [ as ϕ is continuous ] = ϕ ( lim k max { d ( x n k , x ) , d ( x , T x ) } ) = ϕ ( max { lim k d ( x n k , x ) , lim k d ( x , T x ) } ) = ϕ ( max { d ( x , x ) , d ( x , T x ) } ) = ϕ ( d ( x , T x ) ) .
Taking limit as k in both sides of (9) we have,
lim k ψ ( d ( x n k + 1 , T x ) ) lim k ψ ( m 1 ( x n k , x ) ) lim k ϕ ( m 2 ( x n k , x ) ) or , ψ ( d ( x , T x ) ) ψ ( d ( x , T x ) ) ϕ ( d ( x , T x ) ) or , ϕ ( d ( x , T x ) ) = 0 or , d ( x , T x ) = 0
or , x = T x .
Thus also in this subcase x is a fixed point. □
Note:
(i) In Theorem 1, the generalized weak contraction appearing through inequality (1) has been considered in [4] for the case of complete metric spaces without any ordering. Here we prove the existence of fixed points of these contractions with some variations in a metric space, having a binary relation R . Later in the last section we describe an example which shows that the result of [4], is effectively generalized here.
(ii) In Subcase II-B of the proof we use Definition 11 of d-self closed relation given by Alam et al. in [25]. This is actually weaker than that given by Turinici [31] for the partial order case. If we consider the definition of Turinici [31], then there is no need to consider subsequences.
Remark 2.
Fixed point results for weakly contractive mappings have more scopes of applications than the corresponding results for contractive mappings in a natural way. In the above theorem, results are obtained under a further relaxation by correlating the weak contraction condition with a binary relation. This widens the scope of applications to a large extent.
For uniqueness of the fixed point we need some further conditions.
Theorem 2.
In addition to the conditions stated in Theorem 1, if any of the following conditions hold
(vii.a) 
T ( X ) is R -connected and if x 0 is a fixed point of T, then x 0 X ( T , R ) .
(vii.b) 
T ( X ) is R -connected and R is T-transitive.
(vii.c) 
T ( X ) is R -connected and R is T-symmetric.
Then the fixed point is unique.
Proof. 
Let (vii.a) hold.
Let x , y be two fixed points of T.
Since T is R -connected, there is a finite path { z 0 , z 1 , , z k 1 } such that x = z 0 , y = z k 1 , z i T ( X ) and ( z i , z i + 1 ) R for 0 i k 1 1 .
We construct a sequence x n as follows
x 1 = x = z 0 , x 2 = z 1 , , x k 1 + 1 = z k 1 = y and x n = y , for n k 1 + 2 .
Since y is a fixed point of T, y X ( T , R ) or ( y , T y ) = ( y , y ) R .
Hence { x n } is a R - p r e s e r v i n g sequence.
By assumption (iv) of Theorem 1, ( x , y ) R , as R is locally T- t r a n s i t i v e .
Now by assumption (vi) of Theorem 1, it follows that,
ψ ( d ( T x , T y ) ) ψ ( m 1 ( x , y ) ) ϕ ( m 2 ( x , y ) )
where m 1 ( x , y ) = max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , 1 2 [ d ( x , T y ) + d ( y , T x ) ] } = max { d ( x , y ) , d ( x , x ) , d ( y , y ) , 1 2 [ d ( x , y ) + d ( y , x ) ] } = d ( x , y )
and m 2 ( x , y ) = max { d ( x , y ) , d ( y , T y ) } , = max { d ( x , y ) , d ( y , y ) } , = d ( x , y ) .
From (12) we have
ψ ( d ( x , y ) ) ψ ( d ( x , y ) ) ϕ ( d ( x , y ) ) or , ϕ ( d ( x , y ) ) = 0 or , d ( x , y ) = 0 or , x = y .
This proves the uniqueness of the fixed point.
Now let (vii.b) hold.
Let us assume there be two fixed points x , y of T.
Since T is R -connected, there is a finite path { z 0 , z 1 , , z k 2 } such that x = z 0 , y = z k 2 , z i T ( X ) and ( z i , z i + 1 ) R for 0 i k 2 1 .
As R is T-transitive, ( x , y ) R .
Now by assumption (vi) of Theorem 1, we have,
ψ ( d ( T x , T y ) ) ψ ( m 1 ( x , y ) ) ϕ ( m 2 ( x , y ) )
where m 1 ( x , y ) = max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , 1 2 [ d ( x , T y ) + d ( y , T x ) ] } = max { d ( x , y ) , d ( x , x ) , d ( y , y ) , 1 2 [ d ( x , y ) + d ( y , x ) ] } = d ( x , y )
and m 2 ( x , y ) = max { d ( x , y ) , d ( y , T y ) } , = max { d ( x , y ) , d ( y , y ) } , = d ( x , y ) .
From (15) we have
ψ ( d ( x , y ) ) ψ ( d ( x , y ) ) ϕ ( d ( x , y ) ) or , ϕ ( d ( x , y ) ) = 0 or , d ( x , y ) = 0 or , x = y .
Thus the fixed point is unique in this case also.
Now let (vii.c) hold.
Let x , y be two fixed points of T.
Since T is R -connected, there is a finite path { z 0 , z 1 , , z k 3 } such that x = z 0 , y = z k 3 , z i T ( X ) and ( z i , z i + 1 ) R for 0 i k 3 1 .
We construct a sequence x n as follows
x 1 = x = z 0 , x 2 = z 1 , , x k 3 = z k 3 1 , x k 3 + 1 = z k 3 = y and x k 3 + ( 2 i 1 ) = z k 3 , x k 3 + 2 i = z k 3 1 , for all i N .
As R is T-symmetric, i.e., R is symmetric on T ( X ) we have ( z k 3 1 , z k 3 ) R ( z k 3 , z k 3 1 ) R .
Hence { x n } is a R - p r e s e r v i n g sequence and as R is locally T- t r a n s i t i v e , we have ( x , y ) R .
Now by assumption (vi) of Theorem 1, we have,
ψ ( d ( T x , T y ) ) ψ ( m 1 ( x , y ) ) ϕ ( m 2 ( x , y ) )
where m 1 ( x , y ) = max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , 1 2 [ d ( x , T y ) + d ( y , T x ) ] } = max { d ( x , y ) , d ( x , x ) , d ( y , y ) , 1 2 [ d ( x , y ) + d ( y , x ) ] } = d ( x , y )
and m 2 ( x , y ) = max { d ( x , y ) , d ( y , T y ) } , = max { d ( x , y ) , d ( y , y ) } , = d ( x , y ) .
From (18) we have
ψ ( d ( x , y ) ) ψ ( d ( x , y ) ) ϕ ( d ( x , y ) ) or , ϕ ( d ( x , y ) ) = 0 or , d ( x , y ) = 0 or , x = y .
Thus in this case also, we find that the fixed point would be unique.
Hence our result is proved. □
Remark 3.
In Theorem 2 some additional conditions ensure the uniqueness of the fixed point. This creates the additional feature that whatever be the admissible initial choice of x 0 , the algorithm developed here converges to unique fixed point. This creates an operational advantage in possible applications of the theorem.
Further we note that the above theorems combine two trends of research in metric fixed point theory, one in which contractive conditions are weakened in a particular way by using weak inequalities and the other in which restricting the relevant pairs of points with respect to which contractive conditions are to be satisfied through the introduction of appropriate relations. In both cases, the aim is to retain the fixed point property of the relevant function under relaxed conditions. Some instances of works in the former line are [3,4,5,9,10,11] while references [23,24,25,26] are some works obtained in the latter line of research. Particularly, the present work directly extends the result of [4].

3. Illustration

Example 1.
Let X = R . Let N 0 = { 0 , 1 , 2 , 3 , } .
Let d : X × X R be given as d ( u , v ) = | u | + | v | , i f u v , 0 , o t h e r w i s e
Then ( X , d ) is a metric space.
Let T : X X be a self-map, defined as follows:
T u = u 1 , i f u 0 , 0 , i f u = 0 .
Consider the relation R = N 0 × N 0 on X.
Clearly ( X , d ) is R -complete.
We also have ( 2 , T ( 2 ) ) = ( 2 , 2 1 ) = ( 2 , 1 ) R i.e., 2 X ( T , R ) .
So, X ( T , R ) .
Let ( u , v ) R .
If u , v N 0 { 0 } then ( u 1 , v 1 ) R .
If u = 0 , v 0 , and u , v N 0 , then ( T u , T v ) = ( 0 , v 1 ) R .
If u 0 , v = 0 , and u , v N 0 , then ( T u , T v ) = ( u 1 , 0 ) R .
If u = 0 , v = 0 , and u , v N 0 , then ( T u , T v ) = ( 0 , 0 ) R .
Thus for all ( u , v ) R , ( T u , T v ) R .
Hence R is T-closed.
Also, the given relation R is Transitive and hence locally T-transitive.
Next we note that if { u n } is a R -preserving sequence converging to u, then it is eventually constant sequence. So, for a R -preserving sequence, { u n } , if u n u as n , then k N such that u n = u , n k .
Thus, as n , T u n = u n 1 u 1 , if u 0 , and T u n 0 , if u = 0 .
Thus for any R -preserving sequence, { u n } , u n u T u n T u .
Hence T is R -continuous.
Let ψ : [ 0 , ) [ 0 , ) be as follows:
ψ ( t ) = t 2 , t 0 .
Let ϕ : [ 0 , ) [ 0 , ) be as follows:
for s [ 0 , ) , ϕ ( t ) = t 2 2 , i f t 1 , 1 2 , i f t > 1 .
Then ψ and ϕ are continuous and ψ ( t ) = ϕ ( t ) = 0 if and only if t = 0 .
To verify condition (vi) of Theorem 1, let us consider the following cases for u , v X with ( u , v ) R
Case-I: u v .
(i) 
If v 0 and u > v , then
ψ ( d ( T u , T v ) ) = ψ ( d ( u 1 , v 1 ) ) = ψ ( u + v 2 ) = ( u + v 2 ) 2 .
ψ ( m 1 ( u , v ) ) = ψ ( max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , 1 2 [ d ( u , T v ) + d ( v , T u ) ] } ) = ψ ( max { u + v , 2 u 1 , 2 v 1 , u + v 1 or u + v 1 2 } ) = ( 2 u 1 ) 2
(since 1 2 [ d ( u , T v ) + d ( v , T u ) ] = u + v 1 or u + v 1 2 , according to v T u or v = T u respectively )
and
ϕ ( m 2 ( u , v ) ) = ϕ ( max { ( d ( u , v ) , d ( v , T v ) } ) = ϕ ( max { u + v , 2 v 1 } ) = 1 2 .
Then
ψ ( d ( T u , T v ) ) ψ ( m 1 ( u , v ) ) ϕ ( m 2 ( u , v ) ) .
(ii) 
If u 0 and v > u , then
ψ ( d ( T u , T v ) ) = ψ ( d ( u 1 , v 1 ) ) = ψ ( u + v 2 ) = ( u + v 2 ) 2 ,
ψ ( m 1 ( u , v ) ) = ψ ( max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , 1 2 [ d ( u , T v ) + d ( v , T u ) ] } ) = ψ ( max { u + v , 2 u 1 , 2 v 1 , u + v 1 or u + v 1 2 } ) = ( 2 v 1 ) 2
(Since 1 2 [ d ( u , T v ) + d ( v , T u ) ] = u + v 1 or u + v 1 2 , according to u T v or u = T v respectively)
and
ϕ ( m 2 ( u , v ) ) = ϕ ( max { ( d ( u , v ) , d ( v , T v ) } ) = ϕ ( max { u + v , 2 v 1 } ) = 1 2 .
Then
ψ ( d ( T u , T v ) ) ψ ( m 1 ( u , v ) ) ϕ ( m 2 ( u , v ) ) .
(iii) 
If v = 0 , then
ψ ( d ( T u , T v ) ) = ψ ( d ( u 1 , 0 ) ) = ψ ( u 1 ) = ( u 1 ) 2 ,
ψ ( m 1 ( u , v ) ) = ψ ( max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , 1 2 [ d ( u , T v ) + d ( v , T u ) ] } ) = ψ ( max { d ( u , 0 ) , d ( u , T u ) , d ( 0 , 0 ) , 1 2 [ d ( u , 0 ) + d ( 0 , T u ) ] } ) = ψ ( max { u , 2 u 1 , 0 , u 1 2 } ) = ( 2 u 1 ) 2
and
ϕ ( m 2 ( u , v ) ) = ϕ ( max { ( d ( u , v ) , d ( v , T v ) } ) = ϕ ( max { ( d ( u , 0 ) , d ( 0 , 0 ) } ) = ϕ ( u ) = 1 2 .
Then,
ψ ( d ( T u , T v ) ) ψ ( m 1 ( u , v ) ) ϕ ( m 2 ( u , v ) ) .
(iv) 
If u = 0 , then
ψ ( d ( T u , T v ) ) = ψ ( d ( 0 , v 1 ) ) = ψ ( v 1 ) = ( v 1 ) 2 ,
ψ ( m 1 ( u , v ) ) = ψ ( max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , 1 2 [ d ( u , T v ) + d ( v , T u ) ] } ) = ψ ( max { d ( 0 , v ) , d ( 0 , 0 ) , d ( v , T v ) , 1 2 [ d ( 0 , T v ) + d ( v , 0 ) ] } ) = ψ ( max { v , 0 , 2 v 1 , v 1 2 } ) = ( 2 v 1 ) 2
and
ϕ ( m 2 ( u , v ) ) = ϕ ( max { ( d ( u , v ) , d ( v , T v ) } ) = ϕ ( max { ( d ( 0 , v ) , d ( v , T v ) } ) = ϕ ( max { v , 2 v 1 } ) = 1 2 .
Then
ψ ( d ( T u , T v ) ) ψ ( m 1 ( u , v ) ) ϕ ( m 2 ( u , v ) ) .
Case-II: u = v .
Then condition (vi) of Theorem 1 is trivially satisfied.
Therefore, from the above two cases, we have
ψ ( d ( T u , T v ) ) ψ ( m 1 ( u , v ) ) ϕ ( m 2 ( u , v ) ) for all u , v U , where ( u , v ) R ,
m 1 ( u , v ) = max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , 1 2 [ d ( u , T v ) + d ( v , T u ) ] }
and m 2 ( u , v ) = max { d ( u , v ) , d ( v , T v ) }
Then the conditions of Theorem 1 hold in this case.
Here we see that 0 is a fixed point of T.
Further we see that T ( X ) is R -connected and R is T-transitive.
Hence the condition (vii.b) of Theorem 2 holds in this case.
Here it is seen that 0 is the unique fixed point for T.
Remark 4. 
(i) In the above example the relation R has reflexive and transitive properties as well which are not requirements of the theorem. However a weaker criterion of local transitivity is used here to produce the uniqueness.
(ii) In the above example if we put u = 2 and v = 1 , then
ψ ( d ( T u , T v ) ) = ψ d T ( 2 ) , T ( 1 ) = ψ ( d ( 2 1 , 1 1 ) ) = ψ ( d ( 3 , 2 ) ) = ψ ( | 3 | + | 2 | ) = ψ ( 5 ) = 25 , m 1 ( u , v ) = m 1 ( 2 , 1 ) = max { d ( 2 , 1 ) , d ( 3 , 2 ) , d ( 1 , 2 ) , 1 2 [ d ( 2 , 2 ) + d ( 1 , 3 ) ] } = max { 3 , 5 , 3 , 2 } = 5 , m 2 ( u , v ) = m 2 ( 2 , 1 ) , = max { d ( 2 , 1 ) , d ( 1 , 2 ) } , = max { 3 , 3 } = 3 .
Thus we obtain, ψ ( m 1 ( u , v ) ) = 5 2 = 25 and ϕ ( m 2 ( u , v ) ) = ϕ ( 3 ) = 1 2 .
Therefore in this case, the inequality of Equation (1) is not satisfied.
This shows that the inequality in Equation (1) does not hold for an arbitrary pair of points. Thus the result of [4] is not applicable to the present example.

4. Conclusions

The present work is in line with research exploring fixed point properties of various types of contractions under restrictions imposed by relations introduced in the original space on which the function is defined. We consider a type of weakly contractive mapping for our purpose which belongs to a class of mappings meant for weakening the corresponding contraction condition. Due to their less restrictive nature, the fixed point theorems obtained in metric space using relations have more scopes of applications. More precisely, they fit better for modeling the practical real world situations by the less requirements they have in their statements. Some applications are in works like [32,34]. Applications and real-world illustrations on similar lines can be explored for our present result and also for similar other results in future works. Applications may be attempted in areas of differential equations, integral equations, global optimizations, equilibrium problems, etc. Higher dimensional illustrations of the present theorem can also be attempted.
We have already noted that the main result is an actual generalization of a previous result in [4]. The methodology here is comparable with several other similar results dealing with contractive inequalities noted in [3,4,5,6,7,8,9,10]. There are possibilities of applying relation-theoretic methods to other weakly contractive mappings. These problems can be taken up for future research.

Author Contributions

Conceptualization, P.C. and B.S.C.; methodology, B.S.C.; validation, B.S.C. and M.D.l.S.; formal analysis, P.C. and B.S.C.; investigation, P.C.; resources, P.C. and B.S.C.; writing—original draft preparation, P.C.; writing—review and editing, P.C., B.S.C. and M.D.l.S.; visualization, M.D.l.S.; supervision, M.D.l.S.; project administration, M.D.l.S.; funding acquisition, M.D.l.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received funding from the Basque Government through project IT1207-19.

Acknowledgments

The first author acknowledges the Indian Institute of Engineering Science of Technology, Shibpur, for supporting him as JRF. This work was also supported in part by the Basque Government through project IT1207-19.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Alber, Y.I.; Guerre-Delabriere, S. Principles of weakly contractive maps in Hilbert spaces. In New Results in Operator Theory and Its Applications; Goldberg, I., Lyubich, Y., Eds.; Birkhäuser Verlag: Basel, Switzerland, 1997; Volume 98, pp. 7–22. [Google Scholar]
  2. Rhoades, B.E. Some theorems on weakly contractive maps. Nonlinear Anal. Theory Methods Appl. 2001, 47, 2683–2693. [Google Scholar] [CrossRef]
  3. Cho, S. Fixed point theorems for generalized weakly contractive mappings in metric spaces with applications. Fixed Point Theory Appl. 2018, 2018. [Google Scholar] [CrossRef] [Green Version]
  4. Choudhury, B.S.; Konar, P.; Rhoades, B.E.; Metiya, N. Fixed point theorems for generalized weakly contractive mappings. Nonlinear Analysis. Theory Methods Appl. 2011, 74, 2116–2126. [Google Scholar] [CrossRef]
  5. Choudhury, B.S.; Metiya, N.; Maniu, G.; Konar, P. Best proximity results: Optimization by approximate solutions. Fixed Point Theory Appl. 2016, 2016, 79. [Google Scholar] [CrossRef] [Green Version]
  6. Choudhury, B.S.; Metiya, N.; Postolache, M. A generalized weak contraction principle with applications to coupled coincidence point problems. Fixed Point Theory Appl. 2013, 2013, 152. [Google Scholar] [CrossRef] [Green Version]
  7. Choudhury, B.S.; Metiya, N.; Postolache, M.; Konar, P. A discussion on best proximity point and coupled best proximity point in partially ordered metric spaces. Fixed Point Theory Appl. 2015, 2015, 170. [Google Scholar] [CrossRef] [Green Version]
  8. Dutta, P.N.; Choudhury, B.S. A generalization of contraction principle in metric spaces. Fixed Point Theory Appl. 2008. [Google Scholar] [CrossRef] [Green Version]
  9. Jeong, G.S.; Rhoades, B.E. More maps for which F(T), = F(Tn). Demonstratio Math. 2007, 40, 671–680. [Google Scholar] [CrossRef]
  10. Kannan, R. Some results on fixed points-II. Amer. Math. Mon. 1969, 76, 405–408. [Google Scholar]
  11. Sridarata, P.; Suantai, S. Common Fixed Point Theorems for Multi-Valued Weak Contractive Mappings in Metric Spaces with Graphs. Filomat 2018, 32, 671–680. [Google Scholar] [CrossRef]
  12. Reich, S. Some remarks concerning contraction mappings. Can. Math. Bull. 1971, 14, 121–124. [Google Scholar] [CrossRef]
  13. Salazar, L.A.; Reich, S. A remark on weakly contractive mappings. J. Nonlinear Convex Anal. 2015, 16, 767–773. [Google Scholar]
  14. Harjani, J.; Sadarangani, K. Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Analy. Theory Methods Appl. 2009, 71, 3403–3410. [Google Scholar] [CrossRef]
  15. Nieto, J.J.; Lopez, R.R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22, 223–239. [Google Scholar] [CrossRef]
  16. Radenovic, S.; Kadelburg, Z. Generalized weak contractions in partially ordered metric spaces. Comput. Math. Appl. 2010, 60, 1776–1783. [Google Scholar] [CrossRef] [Green Version]
  17. Ran, A.C.M.; Reurings, M.C.B. A fixed point theorem in partially ordered sets and some application to matrix equations. Proc. Am. Math. Soc. 2004, 132, 1435–1443. [Google Scholar] [CrossRef]
  18. Turinici, M. Fixed points for monotone iteratively local contractions. Demonstratio Math. 1986, 19, 171–180. [Google Scholar]
  19. Turinici, M. Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl. 1986, 117, 100–127. [Google Scholar] [CrossRef] [Green Version]
  20. Choudhury, B.S.; Metiya, N.; Debnath, P. End Point Results in Metric Spaces Endowed with a Graph. J. Math. 2016, 2016, 1–7. [Google Scholar] [CrossRef] [Green Version]
  21. Jachymski, J. The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 136, 1359–1373. [Google Scholar] [CrossRef]
  22. Beg, I.; Butt, A.R.; Radojevic, S. The contraction principle for set valued mappings on a metric space with a graph. Comput. Math. Appl. 2010, 60, 1214–1219. [Google Scholar] [CrossRef] [Green Version]
  23. Ahmadullah, M.; Imdad, M.; Gubran, R. Relation-theoretic metrical fixed point theorems under nonlinear contractions. Fixed Point Theory 2019, 20, 3–18. [Google Scholar] [CrossRef]
  24. Alama, A.; Imdad, M. Relation-Theoretic Metrical Coincidence Theorems. Filomat 2017, 31, 4421–4439. [Google Scholar] [CrossRef] [Green Version]
  25. Alam, A.; Imdad, M. Relation-theoretic contraction principle. J. Fixed Point Theory Appl. 2015, 17, 693–702. [Google Scholar] [CrossRef]
  26. Alam, A.; Imdad, M. Nonlinear contractions in metric spaces under locally T-transitive binary relations. Fixed Point Theory 2018, 19, 13–24. [Google Scholar] [CrossRef]
  27. Reich, S.; Zaslavski, A.J. Generic well-posedness of the fixed point problem for monotone nonexpansive mappings. In Mathematics Almost Everywhere; World Scientific: Hackensack, NJ, USA, 2018; pp. 169–179. [Google Scholar]
  28. Rhoades, B.E. A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226, 257–290. [Google Scholar] [CrossRef]
  29. Lipschutz, S. Schaum’s Outlines of Theory and Problems of Set Theory and Related Topics; McGraw-Hill: New York, NY, USA, 1964. [Google Scholar]
  30. Maddux, R.D. Relation Algebras. In Studies in Logic and the Foundations of Mathematics; Elsevier B. V.: Amsterdam, The Netherlands, 2006; p. 150. [Google Scholar]
  31. Turinici, M. Product fixed points in ordered metric spaces. arXiv 2011, arXiv:1110.3079v1. [Google Scholar]
  32. Samet, B.; Turinici, M. Fixed point theorems on a metric space endowed with an arbitrary binary relation and applications. Commun. Math. Anal. 2012, 13, 82–97. [Google Scholar]
  33. Kolman, B.; Busby, R.C.; Ross, S. Discrete Mathematical Structures, 3rd ed.; PHI Pvt. Ltd.: New Delhi, India, 2000. [Google Scholar]
  34. Perveen, A.; Khan, I.A.; Imdad, M. Relation Theoretic Common Fixed Point Results for Generalized Weak Nonlinear Contractions with an Application. Axioms 2019, 8, 49. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Chakraborty, P.; Choudhury, B.S.; De la Sen, M. Relation-Theoretic Fixed Point Theorems for Generalized Weakly Contractive Mappings. Symmetry 2020, 12, 29. https://doi.org/10.3390/sym12010029

AMA Style

Chakraborty P, Choudhury BS, De la Sen M. Relation-Theoretic Fixed Point Theorems for Generalized Weakly Contractive Mappings. Symmetry. 2020; 12(1):29. https://doi.org/10.3390/sym12010029

Chicago/Turabian Style

Chakraborty, Priyam, Binayak S. Choudhury, and Manuel De la Sen. 2020. "Relation-Theoretic Fixed Point Theorems for Generalized Weakly Contractive Mappings" Symmetry 12, no. 1: 29. https://doi.org/10.3390/sym12010029

APA Style

Chakraborty, P., Choudhury, B. S., & De la Sen, M. (2020). Relation-Theoretic Fixed Point Theorems for Generalized Weakly Contractive Mappings. Symmetry, 12(1), 29. https://doi.org/10.3390/sym12010029

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop