Next Article in Journal
Image Encryption Algorithm Based on Tent Delay-Sine Cascade with Logistic Map
Next Article in Special Issue
A Fixed-Point Subgradient Splitting Method for Solving Constrained Convex Optimization Problems
Previous Article in Journal
Algebraic Bethe Ansatz for the Trigonometric sℓ(2) Gaudin Model with Triangular Boundary
Previous Article in Special Issue
Sensitivity Analysis of Mixed Cayley Inclusion Problem with XOR-Operation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Proximally Compatible Mappings and Common Best Proximity Points

1
Department of Mathematics, Amrita School of Engineering, Amrita Vishwa Vidyapeetham, Coimbatore 641105, India
2
Institute of Research and Development of Processes IIDP, University of the Basque Country, Campus of Leioa, 48940 Leioa, Bizkaia, Spain
3
Nonlinear Analysis Research Group, Ton Duc Thang University, Ho Chi Minh City 721400, Vietnam
4
Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City 721400, Vietnam
*
Authors to whom correspondence should be addressed.
Symmetry 2020, 12(3), 353; https://doi.org/10.3390/sym12030353
Submission received: 31 January 2020 / Revised: 24 February 2020 / Accepted: 26 February 2020 / Published: 1 March 2020
(This article belongs to the Special Issue Symmetry in Nonlinear Functional Analysis and Optimization Theory)

Abstract

:
The purpose of this paper is to introduce and analyze a new idea of proximally compatible mappings and we extend some results of Jungck via proximally compatible mappings. Furthermore, we obtain common best proximity point theorems for proximally compatible mappings through two different ways of construction of sequences. In addition, we provide an example to support our main result.

1. Introduction

A study of best proximity point theory is a useful tool for providing optimal approximate solutions when a mapping does not have a fixed point. In other words, optimization problems can be converted to the problem of finding best proximity points. Hence, the existence of best proximity points develops the theory of optimization.
Interestingly, these best proximity point theorems also serve as a natural generalization of fixed point theorems and a best proximity point becomes a fixed point if the mapping under consideration is a self-mapping.
In [1], Jungck introduced the notion of compatible mappings and derived results on common fixed points for the compatible mappings. Sessa [2] defined the term weakly commuting pairs and obtained fixed point theorems. The following theorem via commuting mappings was studied in [3].
Theorem 1.
Let ( X , D ) be complete metric space. Then, a continuous function Λ : X X has a fixed point if and only if there exists s ( 0 , 1 ) and a function Γ : X X which commutes with Λ ( Γ Λ = Λ Γ ) and satisfies: Γ ( X ) Λ ( X ) and D ( Γ ( η ) , Γ ( ω ) ) s D ( Λ ( η ) , Λ ( ω ) ) for η , ω X .
One can note that the above theorem is a generalization of the Banach contraction theorem. Das et al. [4] generalized the result of Jungck [3] and proved existence of common fixed point for mappings which need not be continuous. In [5], Chang generalized and unified many fixed point theorems in complete metric spaces. Later, Conserva [6] proved three existence of common fixed point theorems for commuting mappings on a metric space which generalize the various fixed point results. In 1998, Jungck and Rhoades [7] initiated the concept of weakly compatible mappings and proved that the class of weakly compatible mappings contains the class of compatible mappings. Furthermore, Chugh and Kumar [8] proved theorems on existence of a common fixed point for weakly compatible mappings.
In the sequel, Basha et al. [9] gave existence of common best proximity points for pairs of non-self mappings in metric spaces. Aydi et al. [10] established the existence result of common best proximity point for generalized α ψ proximal contractive pair of non-self mappings. In [11], Mongkolkeha et al. proved existence of common best proximity point for a pair of proximity commuting mappings in a complete metric space. On the other hand, Cvetković et al. [12] showed existence of common fixed point for four mappings in cone metric spaces. Parvaneh L o l o et al. [13] proved a result which gives sufficient condition to exist a common best proximity point for four different mappings in metric-type spaces. One can get some ideas on results of common best proximity point for several kinds of non-self mappings which are available in [14,15,16,17,18]
In this research paper, we provide the concept of proximally compatible mappings and we give common best proximity point theorems for proximally compatible non-self mappings. First, we prove some basic results from Jungck [1], which are analogous of self mappings. Using these results, we give enough conditions that make sure the existence of a common best proximity point.

2. Preliminaries

Here we start with some notions:
Let M , N be two subsets of a metric space ( X , D ) .
d i s t ( M , N ) = D ( M , N ) = i n f { D ( η , ω ) : η M , ω N } ; D ( η , N ) = i n f { D ( η , ω ) : ω N } ; M 0 = { η M : D ( η , ω ) = d i s t ( M , N ) for some ω N } ; N 0 = { ω N : D ( η , ω ) = d i s t ( M , N ) for some η M } .
Definition 1
([13]). An element η M is said to be a common best proximity point of the nonself-mappings Λ 1 , Λ 2 , , Λ n : M N if it satisfies
D ( η , Λ 1 η ) = D ( η , Λ 2 η ) = = D ( η , Λ n η ) = D ( M , N ) .
Definition 2
([13]). Mappings Λ : M N and Γ : M N are said to be commute proximally if they satisfy
[ D ( υ , Λ η ) = D ( ν , Γ η ) = D ( M , N ) ] implies Λ ν = Γ υ ,
for some υ , ν , η M .
Definition 3.
Let Λ , Γ be two non self-mappings Λ , Γ : M N . A point η M is said to be coincidence point if Λ ( η ) = Γ ( η ) .
Definition 4.
A pair of mappings Λ and Γ is called weakly commuting proximally pair if they commute proximally at coincidence points.
Definition 5
([13]). If M 0 then the pair ( M , N ) is said to have the P-property if for any η 1 , η 2 M 0 and ω 1 , ω 2 N 0
D ( η 1 , ω 1 ) = D ( M , N ) D ( η 2 , ω 2 ) = D ( M , N ) i m p l i e s D ( η 1 , η 2 ) = D ( ω 1 , ω 2 ) .
Definition 6.
A function χ : [ 0 , ) [ 0 , ) is said to be an altering distance function if it satisfies,
(i) 
χ is non-decreasing and continuous,
(ii) 
χ ( t ) = 0 iff t = 0 .
In [2], Khan et al. extended the fixed point theorems for contractive type mappings using altering distance function.
Let M and N be subsets of a metric space ( X , D ) . Let Γ : M N be a continuous and nondecreasing mapping such that
χ ( D ( Γ ( η ) , Γ ( ω ) ) ) χ ( D ( η , ω ) ) φ ( D ( η , ω ) ) for η , ω M ,
where χ , φ are altering distance functions.

3. Proximally Compatible Mappings

Now we extend the definition of compatible mappings (Definition 2.1 of [1]) for the case of non-self mappings.
Definition 7.
Let M and N be two subsets of a metric space ( X , D ) . Two non-self mappings Λ and Γ from M to N are proximally compatible if for any sequences { η n } , { υ n } and { ν n } in M
D ( υ n , Λ η n ) = D ( M , N ) D ( ν n , Γ η n ) = D ( M , N ) i m p l i e s lim n D ( Λ ν n , Γ υ n ) = 0 ,
whenever lim n υ n = lim n ν n = t .
Example 1.
Let X = R 2 and D ( η , ω ) = ( η 1 ω 1 ) 2 + ( η 2 ω 2 ) 2 , where η = ( η 1 , η 2 ) , ω = ( ω 1 , ω 2 ) . In addition, we consider M = { ( 0 , η ) : 0 η 1 } , N = { ( 1 , ω ) : 0 ω 1 } , then M 0 = M , N 0 = N . Define the functions Λ , Γ : M N by Λ ( 0 , η ) = ( 1 , η 3 ) and Γ ( 0 , η ) = ( 1 , 2 η 3 ) . Now if
D ( ( 0 , η n 3 ) , ( 1 , η n 3 ) ) = 1 D ( ( 0 , 2 η n 3 ) , ( 1 , 2 η n 3 ) ) = 1
then, we have D ( Λ ( 0 , 2 η n 3 ) , Γ ( 0 , η n 3 ) ) = D ( ( 1 , 2 3 η n 9 ) , ( 1 , 2 η n 9 ) ) = 6 η n 9 and D ( ( 0 , η n 3 ) , ( 0 , 2 η n 3 ) ) = η n 3 . Since η n 3 0 as n , 6 η n 9 0 . So Λ and Γ are proximally compatible.
Proposition 1.
Let M and N be two subsets of a metric space ( X , D ) . Let Λ , Γ : M N be continuous and let B = { a M : D ( a , Λ a ) = D ( a , Γ a ) = D ( M , N ) } . Assume that the pair ( M , N ) satisfies P-property. Then Λ and Γ are proximally compatible if any one of the following holds:
(1) 
If υ n , ν n t M as n , then t B ,
(2) 
D ( υ n , ν n ) 0 as n implies D ( υ n , B ) 0 as n ,
(3) 
B is compact and D ( υ n , ν n ) 0 as n imply D ( η n , B ) 0 as n ,
where υ n , ν n , η n are same as in Definition 7.
Proof. 
We assume lim n υ n = lim n ν n = t for some t M .
If (1) holds, since t B , D ( t , Λ t ) = D ( t , Γ t ) = D ( M , N ) . By P-property, D ( Λ t , Γ t ) = 0 . Since Λ , Γ are continuous, which gives
lim n Λ ν n = Λ t lim n Γ υ n = Γ t implies D ( Λ ν n , Γ υ n ) D ( Λ t , Γ t ) = 0 ,
result follows. If (2) holds, and by noting that B is closed, since D ( υ n , B ) 0 as n , then there exists a sequence { b n } in B such that D ( υ n , b n ) 0 as n . This implies that b n t as n , and then t B . So the result follows from (1). If (3) holds, since B is compact, there is a subsequence { η n k } of { η n } such that { η n k } converges to η and η B , that is, D ( η , Λ η ) = D ( η , Γ η ) = D ( M , N ) . The continuity of Λ implies that Λ η n k Λ η . From Definition , in particular, we have D ( υ n k , Λ η n k ) = D ( M , N ) , and as k , we obtain D ( t , Λ η ) = D ( M , N ) , and by P-property, we get t = η . Therefore Λ , Γ are proximally compatible by (1).  □
Proposition 2.
Let M and N be two subsets of a metric space ( X , D ) . Let Λ , Γ : M N , be proximally compatible and the pair ( M , N ) satisfy P- property.
(1) 
If Λ t = Γ t , with
D ( υ , Λ t ) = D ( M , N ) D ( ν , Γ t ) = D ( M , N ) ,
then Λ ν = Γ υ .
(2) 
Suppose that lim n υ n = lim n ν n = t for some t in M, where υ n , ν n are same as in Definition 7.
(a) 
If Λ is continuous at t, then lim n Γ υ n = Λ t .
(b) 
If Λ , Γ are continuous at t, with
D ( υ , Λ t ) = D ( M , N ) D ( ν , Γ t ) = D ( M , N ) ,
then υ = ν and Λ ν = Γ υ .
Proof. 
For (1), suppose that Λ t = Γ t and
D ( υ , Λ t ) = D ( M , N ) D ( ν , Γ t ) = D ( M , N ) .
By P-property, we have D ( υ , ν ) = D ( Λ t , Γ t ) = 0 , and this implies that υ = ν . Now, assume υ n u p s i l o n , ν n = ν , η n = t , for all n N . So
D ( υ n , Λ η n ) = D ( M , N ) D ( ν n , Γ η n ) = D ( M , N ) , implies lim n D ( Λ ν n , Γ υ n ) = 0
by proximally compatible. Then D ( Λ ν , Γ υ ) = 0 , proving (1). Now we prove 2(a), since lim n ν n = t , lim n Λ ν n = Λ t by continuity of Λ . Now
D ( Γ υ n , Λ t ) D ( Γ υ n , Λ ν n ) + D ( Λ ν n , Λ t ) .
Since Λ , Γ are proximally compatible, D ( Γ υ n , Λ t ) 0 .
For 2(b), Γ υ n Λ t by 2(a) and by continuity Γ υ n Γ t . Thus Λ t = Γ t . By the P-property we have υ = ν . In addition, also Λ ν = Γ υ , by (1).  □

4. Common Best Proximity Points for (ϵ,δ,χ,φ)-Contractions

Motivated by Definition 3.1 in [1], we define the following.
Definition 8.
Let ( X , D ) be a metric space. Let M and N be two subsets of X. A pair of nonself mappings Λ and Γ from M to N are ( ϵ , δ , χ , φ ) F , G contractions relative to mappings F , G : M N if and only if Λ ( M ) G ( M ) , Γ ( M ) F ( M ) , and there exists a mapping δ : R + R + such that δ ( ϵ ) > ϵ for all ϵ > 0 and for η , ω M :
1. 
ϵ χ D ( F η , G ω ) φ D ( F η , G ω ) < δ ( ϵ ) implies χ D ( Λ η , Γ ω ) < ϵ , and
2. 
Λ η = Γ ω whenever F η = G ω ,
where χ , φ are altering distance functions.
Note that if Λ and Γ are ( ϵ , δ , χ , φ ) F , G contractions, then χ D ( Λ η , Γ ω ) χ D ( F η , G ω ) φ D ( F η , G ω ) for all η , ω M .
Let M and N be subsets of a metric space ( X , D ) . Let Λ , Γ , F , and G be nonself mappings from M to N such that Λ ( M ) G ( M ) and Γ ( M ) F ( M ) for η 0 M . Any sequence { ω n } is constructed by ω 2 n 1 = G η 2 n 1 = Λ η 2 n 2 and ω 2 n = F η 2 n = Γ η 2 n 1 for n N - called an F , G - iteration of η 0 under Λ and Γ .
Lemma 1.
Let M and N be two subsets of a metric space ( X , D ) . Let F and G be nonself mappings from M to N and let ( Λ , Γ ) be ( ϵ , δ , χ , φ ) F , G contraction. If η 0 M and { ω n } is an F , G -iteration of η 0 under Λ and Γ, then
(i) 
for each ϵ > 0 , ϵ χ D ( ω p , ω q ) φ D ( ω p , ω q ) < δ ( ϵ ) implies
χ D ( ω p + 1 , ω q + 1 ) < ϵ , where p , q are opposite parity,
(ii) 
D ( ω n , ω n + 1 ) 0 as n , and
(iii) 
{ ω n } is a Cauchy sequence.
Proof. 
To prove ( i ) , let ϵ > 0 . Since Λ and Γ are ( ϵ , δ , χ , φ ) F , G -contractions,
ϵ χ D ( F η , G ω ) φ D ( F η , G ω ) < δ ( ϵ ) implies χ D ( Λ η , Γ ω ) < ϵ .
Now suppose that ϵ χ D ( ω p , ω q ) φ D ( ω p , ω q ) < δ ( ϵ ) , where p = 2 n and q = 2 m 1 . We have
χ D ( ω p + 1 , ω q + 1 ) = χ D ( ω 2 n + 1 , ω 2 m ) = χ D ( Λ η 2 n , Γ η 2 m 1 )
and
χ D ( ω p , ω q ) φ D ( ω p , ω q ) = χ D ( ω 2 n , ω 2 m 1 ) φ D ( ω 2 n , ω 2 m 1 ) = χ D ( F η 2 n , G η 2 m 1 ) φ D ( F η 2 n , G η 2 m 1 ) .
By (1), we have,
ϵ χ D ( F η 2 n , G η 2 m 1 ) φ D ( F η 2 n , G η 2 m 1 ) < δ ( ϵ ) ,
which gives χ D ( Λ η 2 n , Γ η 2 m 1 ) = χ D ( ω p + 1 , ω q + 1 ) < ϵ .
For ( i i ) , we know from the hypothesis χ D ( Λ η , Γ ω ) χ D ( F η , G ω ) φ D ( F η , G ω ) for all η , ω M . Suppose n is even, say, n = 2 m ,
χ D ( ω n , ω n + 1 ) = χ D ( ω 2 m , ω 2 m + 1 ) = χ D ( Γ η 2 m 1 , Λ η 2 m ) χ D ( F η 2 m , G η 2 m 1 ) φ D ( F η 2 m , G η 2 m 1 ) χ D ( F η 2 m , G η 2 m 1 ) = χ D ( ω 2 m , ω 2 m 1 ) = χ D ( ω n , ω n 1 ) .
Similarly, one can prove that χ D ( ω n , ω n + 1 ) χ D ( ω n 1 , ω n ) if n = 2 m + 1 . Then the sequence { χ D ( ω n , ω n + 1 ) } is nonincreasing which shows D ( ω n , ω n + 1 ) D ( ω n , ω n 1 ) for all n. Hence, the sequence { D ( ω n , ω n + 1 ) } is bounded and nonincreasing. Thus, there exists r 0 such that
lim n D ( ω n , ω n + 1 ) = r .
Suppose r > 0 . Let us assume n is odd, that is, n = 2 m 1 . Then the inequality
χ D ( ω n , ω n + 1 ) = χ D ( ω 2 m 1 , ω 2 m ) = χ D ( Λ η 2 m 2 , Γ η 2 m 1 ) χ D ( F η 2 m 2 , G η 2 m 1 ) φ D ( F η 2 m 2 , G η 2 m 1 ) χ D ( F η 2 m 2 , G η 2 m 1 ) = χ D ( ω 2 m 2 , ω 2 m 1 ) = χ D ( ω n 1 , ω n )
which implies that
lim m φ D ( F η 2 m 2 , G η 2 m 1 ) = lim m φ D ( ω 2 m 2 , ω 2 m 1 ) = lim n φ D ( ω n + 1 , ω n ) = 0 .
However, as 0 < r D ( ω n + 1 , ω n ) and φ is nondecreasing function,
0 < φ ( r ) φ D ( ω n + 1 , ω n ) ,
and this implies lim n φ D ( ω n + 1 , ω n ) φ ( r ) > 0 which contradicts to (3). Similarly one can easily varify that for the case of n is even. Then we obtain,
lim n D ( ω n , ω n + 1 ) = 0 .
To show ( i i i ) , suppose { ω 2 n } is not a Cauchy sequence. Then we can choose an ϵ > 0 such that for any integer l , there exist m ( l ) and n ( l ) with m ( l ) > n ( l ) l such that
D ( ω 2 m ( l ) , ω 2 n ( l ) ) > ϵ .
For each 2 l , let 2 m ( l ) be the smallest integer exceeding 2 n ( l ) satisfying both (5) and the next inequality
D ( ω 2 n ( l ) , ω 2 m ( l ) 2 ) ϵ .
Then for each 2 l , we have
ϵ D ( ω 2 n ( l ) , ω 2 m ( l ) ) D ( ω 2 n ( l ) , ω 2 m ( l ) 2 ) + D ( ω 2 m ( l ) 2 , ω 2 m ( l ) 1 ) + D ( ω 2 m ( l ) 1 , ω 2 m ( l ) ) .
Using (6), we obtain
ϵ D ( ω 2 n ( l ) , ω 2 m ( l ) ) ϵ + D ( ω 2 m ( l ) 2 , ω 2 m ( l ) 1 ) + D ( ω 2 m ( l ) 1 , ω 2 m ( l ) ) .
From part ( i i ) and by Sandwich lemma, we get
D ( ω 2 n ( l ) , ω 2 m ( l ) ) ϵ as l .
Again from part ( i i ) and (7), the inequality
D ( ω 2 m ( l ) , ω 2 n ( l ) ) D ( ω 2 m ( l ) , ω 2 m ( l ) + 1 ) + D ( ω 2 m ( l ) + 1 , ω 2 n ( l ) )
as l , gives that
ϵ lim l D ( ω 2 m ( l ) + 1 , ω 2 n ( l ) ) .
Now again we have the inequality
D ( ω 2 m ( l ) + 1 , ω 2 n ( l ) ) D ( ω 2 m ( l ) + 1 , ω 2 m ( l ) ) + D ( ω 2 m ( l ) , ω 2 n ( l ) )
as l , we obtain
lim l D ( ω 2 m ( l ) + 1 , ω 2 n ( l ) ) ϵ .
Hence lim l D ( ω 2 m ( l ) + 1 , ω 2 n ( l ) ) = ϵ . In the same way, one can obtain
lim l D ( ω 2 m ( l ) , ω 2 n ( l ) 1 ) = ϵ .
Therefore, we have
χ D ( ω 2 n ( l ) , ω 2 m ( l ) + 1 ) = χ D ( Γ η 2 n ( l ) 1 , Λ η 2 m ( l ) ) χ D ( F η 2 m ( l ) , G η 2 n ( l ) 1 ) φ D ( F η 2 m ( l ) , G η 2 n ( l ) 1 ) = χ D ( ω 2 m ( l ) , ω 2 n ( l ) 1 ) φ D ( ω 2 m ( l ) , ω 2 n ( l ) 1 ) .
Letting l , we get
χ ( ϵ ) χ ( ϵ ) φ ( ϵ ) ,
which implies a contradiction, since ϵ > 0 . Thus, { ω 2 n } is a Cauchy sequence in N and so { ω n } .  □
Lemma 2.
Let M and N be two subsets of a metric space ( X , D ) . Let F , G : M N be nonself mappings. Let Λ and Γ be ( ϵ , δ , χ , φ ) F , G -contractions such that the pairs { Λ , F } and { Γ , G } are proximally compatible. Assume ( M , N ) satisfies P-property and Λ ( M 0 ) N 0 . If there exists z M 0 such that Λ z = F z and Γ z = G z , then Λ , Γ , F and G have unique common best proximity points.
Proof. 
By the definition of ( ϵ , δ , χ , φ ) F , G -contractions implies
χ D ( Λ η , Γ ω ) χ D ( F η , G ω ) φ D ( F η , G ω ) if F η G ω < χ D ( F η , G ω ) .
Suppose z M 0 such that Λ z = F z and Γ z = G z . Thus if F z G z , then
χ D ( Λ z , Γ z ) χ D ( F z , G z ) φ D ( F z , G z ) < χ D ( F z , G z ) ,
which is contradiction. Then Λ z = Γ z = F z = G z .
Since Λ ( M 0 ) N 0 , there exists η M 0 such that D ( η , Λ z ) = D ( η , Γ z ) = D ( η , F z ) = D ( η , G z ) = D ( M , N ) .
As { Λ , F } and { Γ , G } proximally compatible, implies that Λ η = Γ η = F η = G η . Since Λ ( M 0 ) N 0 , there exists ω M 0 such that D ( ω , Λ η ) = D ( ω , Γ η ) = D ( ω , F η ) = D ( ω , G η ) = D ( M , N ) . Since the pair ( M , N ) has the P-property
χ D ( η , ω ) = χ D ( Λ z , Γ η ) χ D ( F z , G η ) φ D ( F z , G η ) = χ D ( η , ω ) φ D ( η , ω ) , φ D ( η , ω ) 0 .
These imply that η = ω . Therefore D ( η , Λ η ) = D ( η , Γ η ) = D ( η , F η ) = D ( η , G η ) = D ( M , N ) .
To prove the uniqueness, suppose that w is another common best proximity point of the mappings Λ , Γ , F and G, so that, D ( w , Λ w ) = D ( w , Γ w ) = D ( w , F w ) = D ( w , G w ) = D ( M , N ) . As the pair ( M , N ) has the P-property
χ D ( η , w ) = χ D ( Λ η , Γ w ) χ D ( F η , G w ) φ D ( F η , G w ) = χ D ( η , w ) φ D ( η , w ) , φ D ( η , w ) 0 ,
which imply η = w . This completes the proof.  □
Now we prove the existence of common best proximity point for four mappings.
Theorem 2.
Let M and N be two subsets of a complete metric space ( X , D ) . Let F and G be mappings from M to N and let Λ and Γ be ( ϵ , δ , χ , φ ) F , G - contractions such that the pairs ( Λ , F ) and ( Γ , G ) are proximally compatible and assume Λ ( M 0 ) G ( M 0 ) N 0 , Γ ( M 0 ) F ( M 0 ) N 0 with G ( M 0 ) , F ( M 0 ) and N 0 are closed. Then Λ , Γ , F and G have unique common best proximity point.
Proof. 
Let η 0 in M 0 . Since Λ ( M 0 ) G ( M 0 ) , there exists η 1 in M 0 such that Λ ( η 0 ) = G ( η 1 ) . Similarly, a point η 2 M 0 can be chosen such that Γ ( η 1 ) = F ( η 2 ) . Continuing in this way, we obtain a sequence { ω n } N 0 such that
ω 2 n = Λ ( η 2 n ) = G ( η 2 n + 1 ) and ω 2 n + 1 = Γ ( η 2 n + 1 ) = F ( η 2 n + 2 ) , n = 0 , 1 , 2 , 3 , .
By Lemma 1, { ω n } is a Cauchy sequence in N 0 . Since N 0 is complete, there is a point z N 0 such that lim n ω n = z . Therefore lim n Λ η 2 n = lim n G η 2 n + 1 = z and lim n Γ η 2 n + 1 = lim n F η 2 n + 2 = z . Then
lim n Λ η 2 n = lim n G η 2 n + 1 = lim n Γ η 2 n + 1 = lim n F η 2 n + 2 = z .
Since F ( M 0 ) is closed, z F ( M 0 ) . Then there exists a point υ M 0 such that F υ = z . Then,
χ D ( Λ υ , Γ η 2 n + 1 ) χ D ( F υ , G η 2 n + 1 ) φ D ( F υ , G η 2 n + 1 ) .
As n ,
χ D ( Λ υ , z ) 0 .
Therefore Λ υ = z = F υ .
Since G ( M 0 ) is closed, z G ( M 0 ) . Then there exists a point ν M 0 such that G ν = z . Then,
χ D ( z , Γ ν ) = χ D ( Λ υ , Γ ν ) χ D ( F υ , G ν ) φ D ( F υ , G ν ) χ D ( F υ , G ν ) = χ D ( z , z ) = 0 .
Therefore Γ ν = z = G ν . Thus Λ υ = F υ = Γ ν = G ν N 0 .
Then there exists η M 0 such that D ( η , Λ υ ) = D ( η , Γ ν ) = D ( η , F υ ) = D ( η , G ν ) = D ( M , N ) . Since the pair ( Λ , F ) and ( Γ , G ) are proximally compatible, Λ η = F η and Γ η = G η and the theorem follows from Lemma 2.  □
Through the following example we illustrate our result.
Example 2.
Let X = R 2 , D ( η , ω ) = ( η 1 ω 1 ) 2 + ( η 2 ω 2 ) 2 where η = ( η 1 , η 2 ) , ω = ( ω 1 , ω 2 ) and let M = { ( 0 , ω ) : ω [ 1 , ) } , N = { ( 1 , ω ) : ω [ 1 , ) } . Then clearly, M 0 = M , N 0 = N . The functions Λ , Γ , F , G : M N are defined by Λ ( 0 , ω ) = ( 1 , ω 2 ) , Γ ( 0 , ω ) = ( 1 , ω ) , F ( 0 , ω ) = ( 1 , ω 4 + 1 2 ) , G ( 0 , ω ) = ( 1 , ω 2 + 1 2 ) . Here ( M , N ) satisfies P-property with D ( M , N ) = 1 and F ( M 0 ) = N 0 , G ( M 0 ) = N 0 . Now we claim that Λ and F are proximally compatible. Indeed, let { ( 0 , η n ) } M 0 , we have
D ( ( 0 , η n 2 ) , ( 1 , η n 2 ) ) = 1 D ( ( 0 , η n 4 + 1 2 ) ) , ( 1 , η n 4 + 1 2 ) ) = 1
whenever ( 0 , η n 2 ) ( 0 , t ) as n and ( 0 , η n 4 + 1 2 ) ( 0 , t ) as n , which implies that t = 1 . Now
D Λ 0 , η n 4 + 1 2 , F ( 0 , η n 2 ) = D 1 , η n 4 + 1 2 2 , 1 , η n 8 + 1 2 = ( η n 4 1 ) 2 / 4 .
As n , since η n 2 1 , we get ( η n 4 1 ) 2 / 4 0 . This proves { Λ , F } is proximally compatible. Similarly, one can easily verify that the pair { Γ , G } is also proximally compatible. Now suppose χ ( t ) = 2 t , φ ( t ) = t , and if ϵ χ D ( F ( 0 , η ) , G ( 0 , ω ) φ D ( F ( 0 , η ) , G ( 0 , ω ) = D ( F ( 0 , η ) , G ( 0 , ω ) ) = ( η 4 ω 2 ) / 2 < δ ( ϵ ) then, because of η , ω 1 , we get η 2 + ω 1 + 2 ϵ + 1 . In addition, also, since ( η 4 ω 2 ) / 2 < δ ( ϵ ) , we obtain that χ D ( Λ ( 0 , η ) , Γ ( 0 , ω ) ) = ( η 2 ω ) < 4 δ ( ϵ ) ( 1 + 2 ϵ + 1 ) 1 = ϵ , if δ ( ϵ ) = ϵ ( 1 + 2 ϵ + 1 ) / 4 . Therefore by Theorem 2, there exists a common best proximity point ( 0 , 1 ) M 0 .
We give another method to find best proximity point by changing the construction of sequence.
Let M and N be subsets of a metric space ( X , D ) . Let Λ , Γ , F , and G be nonself mappings from M to N such that Λ ( M 0 ) G ( M 0 ) and Γ ( M 0 ) F ( M 0 ) . Fix η 0 in M 0 , since Λ ( M 0 ) G ( M 0 ) , there exists an element η 1 in M 0 such that Λ η 0 = G η 1 . Similarly, a point η 2 M 0 can be chosen such that Γ η 1 = F η 2 . By continuing, we get a sequence { η n } in M 0 such that Λ η 2 n = G η 2 n + 1 and Γ η 2 n + 1 = F η 2 n + 2 , for n = 0 , 1 , 2 , 3 ,
Suppose Λ ( M 0 ) N 0 and Γ ( M 0 ) N 0 , there exists { υ n } in M 0 such that
D υ 2 n , Λ η 2 n = D ( M , N ) and D υ 2 n + 1 , Γ η 2 n + 1 = D ( M , N ) .
Therefore
D υ 2 n , Λ η 2 n = D υ 2 n , G η 2 n + 1 = D υ 2 n + 1 , Γ η 2 n + 1 = D υ 2 n + 1 , F η 2 n + 2 = D ( M , N ) .
Lemma 3.
Let Λ and Γ be ( ϵ , δ , χ , φ ) F , G -contractions and assume that the pair ( M , N ) has the P-property. Then the sequence { υ n } defined by (10) above is Cauchy in M 0 .
Proof. 
Let D n = D ( υ n , υ n + 1 ) , n = 0 , 1 , 2 , . Now, we prove D n D n 1 for n = 1 , 2 , 3 , . By the P-property, we have
χ D ( υ 2 n , υ 2 n + 1 ) = χ D ( Λ η 2 n , Γ η 2 n + 1 ) χ D ( F η 2 n , G η 2 n + 1 ) φ D ( F η 2 n , G η 2 n + 1 ) χ D ( F η 2 n , G η 2 n + 1 ) = χ D ( υ 2 n 1 , υ 2 n ) , χ ( D 2 n ) χ ( D 2 n 1 ) .
These imply that D 2 n D 2 n 1 . Similarly,
χ D ( υ 2 n + 1 , υ 2 n + 2 ) = χ D ( Λ η 2 n + 2 , Γ η 2 n + 1 ) χ D ( F η 2 n + 2 , G η 2 n + 1 ) φ D ( F η 2 n + 2 , G η 2 n + 1 ) χ D ( F η 2 n + 2 , G η 2 n + 1 ) = χ D ( υ 2 n + 1 , υ 2 n ) , χ ( D 2 n + 1 ) χ ( D 2 n ) .
These imply that D 2 n + 1 D 2 n . Therefore, we have D n D n 1 . Therefore, the sequence { D ( υ n , υ n + 1 ) } is bounded and non-increasing. Then there exists r 0 such that
lim n D ( υ n , υ n + 1 ) = r .
Suppose that lim n D ( υ n , υ n + 1 ) = r > 0 . Let us assume n is odd, that is, n = 2 m 1 . Again by the P-property and using Λ and Γ are ( ϵ , δ , χ , φ ) F , G -contractions, we obtain
χ D ( υ n , υ n + 1 ) = χ D ( υ 2 m 1 , υ 2 m ) = χ D ( Γ η 2 m 1 , Λ η 2 m ) χ D ( F η 2 m , G η 2 m 1 ) φ D ( F η 2 m , G η 2 m 1 ) χ D ( F η 2 m , G η 2 m 1 ) = χ D ( υ 2 m 1 , υ 2 m 2 ) = χ D ( υ n , υ n + 1 ) .
Now using (11) and continuity of χ in the above inequality, we can obtain
lim m φ D ( F η 2 m , G η 2 m 1 ) = lim m φ D ( υ 2 m 1 , υ 2 m 2 ) = lim n φ D ( υ n , υ n + 1 ) = 0 .
However, as 0 < r D ( υ n , υ n + 1 ) and φ is nondecreasing function,
0 < φ ( r ) φ D ( υ n , υ n + 1 ) ,
so lim n φ D ( υ n , υ n + 1 ) φ ( r ) > 0 which contradicts to (12). Similarly one can easily varify that for the case of n is even. Hence,
lim n D ( υ n , υ n + 1 ) = 0 .
Suppose that { υ 2 n } is not a Cauchy sequence. Then there exists ϵ > 0 and for any even integer 2 l for which we can find subsequences { υ 2 m ( l ) } and { υ 2 n ( l ) } of { υ 2 n } such that 2 n ( l ) is smallest index for which
2 n ( l ) > 2 m ( l ) 2 l , D ( υ 2 m ( l ) , υ 2 n ( l ) ) ϵ .
This means that
D ( υ 2 m ( l ) , υ 2 n ( l ) 1 ) < ϵ .
Then, we obtain
ϵ D ( υ 2 m ( l ) , υ 2 n ( l ) ) D ( υ 2 m ( l ) , υ 2 n ( l ) 1 ) + D ( υ 2 n ( l ) 1 , υ 2 n ( l ) ) < ϵ + D ( υ 2 n ( l ) 1 , υ 2 n ( l ) ) .
Letting l and using (13) we conclude that
lim l D ( υ 2 m ( l ) , υ 2 n ( l ) ) = ϵ .
Again from (13) and (15), the inequality
D ( υ 2 m ( l ) , υ 2 n ( l ) ) D ( υ 2 m ( l ) , υ 2 m ( l ) 1 ) + D ( υ 2 m ( l ) 1 , υ 2 n ( l ) ) ,
as l , gives that
ϵ lim l D ( υ 2 m ( l ) 1 , υ 2 n ( l ) ) .
Now again we have the inequality
D ( υ 2 m ( l ) 1 , υ 2 n ( l ) ) D ( υ 2 m ( l ) 1 , υ 2 m ( l ) ) + D ( υ 2 m ( l ) , υ 2 n ( l ) ) ,
as l , we obtain
lim l D ( υ 2 m ( l ) 1 , υ 2 n ( l ) ) ϵ .
Then from (16) and (17), we have
lim l D ( υ 2 m ( l ) 1 , υ 2 n ( l ) ) = ϵ .
Now we prove lim l D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) = ϵ . By (13) and (18), we have
D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) D ( υ 2 n ( l ) 1 , υ 2 n ( l ) ) + D ( υ 2 n ( l ) , υ 2 m ( l ) 1 ) + D ( υ 2 m ( l ) 1 , υ 2 m ( l ) 2 ) ,
as l , gives that
lim l D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) ϵ .
By triangle inequality
D ( υ 2 n ( l ) , υ 2 m ( l ) ) D ( υ 2 n ( l ) , υ 2 n ( l ) 1 ) + D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) + D ( υ 2 m ( l ) 2 , υ 2 m ( l ) 1 ) + D ( υ 2 m ( l ) 1 , υ 2 m ( l ) ) .
Now using (13), (15) and taking limit on both side of the above inequality, we get
ϵ lim l D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) .
Therefore
lim l D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) = ϵ .
Using (18) and (19), we have
χ D ( υ 2 m ( l ) 1 , υ 2 n ( l ) ) = χ D ( Λ η 2 n ( l ) , Γ η 2 m ( l ) 1 ) χ D ( F η 2 n ( l ) , G η 2 m ( l ) 1 ) φ D ( F η 2 n ( l ) , G η 2 m ( l ) 1 ) = χ D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) φ D ( υ 2 n ( l ) 1 , υ 2 m ( l ) 2 ) .
Letting l , we get
χ ( ϵ ) χ ( ϵ ) φ ( ϵ ) ,
which implies a contradiction, since ϵ > 0 . Thus, { υ 2 n } is a Cauchy sequence in M 0 and so { υ n } .  □
Theorem 3.
Let M and N be two subsets of a complete metric space ( X , D ) . Assume the pair ( M , N ) satisfies P-property. Let F and G be mappings from M to N and let Λ and Γ be ( ϵ , δ , χ , φ ) F , G - contractions such that the pairs ( Λ , F ) and ( Γ , G ) are proximally compatible and assume Λ ( M 0 ) G ( M 0 ) , Γ ( M 0 ) F ( M 0 ) and Λ ( M 0 ) N 0 , Γ ( M 0 ) N 0 with M 0 is closed. If Λ , Γ , F and G are continuous on M then Λ , Γ , F and G have unique common best proximity point.
Proof. 
By Lemma 3, the sequence { υ n } is Cauchy and since M 0 is closed, there exists υ M 0 such that { υ n } converges to υ .
Since the pair { Λ , F } is proximally compatible, by Definition 7, D ( Λ υ 2 n + 1 , F υ 2 n ) 0 . However, since Λ and F are continuous, D ( Λ υ 2 n + 1 , F υ 2 n ) D ( Λ υ , F υ ) . Therefore, Λ υ = F υ .
Similarly, the pair { Γ , G } is proximally compatible, by Definition 7, D ( Γ υ 2 n , G υ 2 n + 1 ) 0 . Also, the continuity of Γ and G implies that D ( Γ υ 2 n , G υ 2 n + 1 ) D ( Γ υ , G υ ) . Therefore, Γ υ = G υ . Further the theorem follows from Lemma 2.  □

5. Conclusions

The fixed point theorems help to provide sufficient conditions to ensure the existence of solution for many nonlinear problems. On the other word, the fixed point theorems give the solution of equations of the form T x = x , where T is self mapping. Suppose the mapping T is non-self, there is no guarantee for solution. In this situation, the best proximity point theorems provide approximate solution to the nonlinear problems. In the literature, there are many articles deal the existence of best proximity point for various kind of non-self mappings. The more general version of best proximity point theorems which involve more than one non-self mappings known as common best proximity point theorems. There are many research works that provide the existence of common best proximity points. In the sequel, we want to find existence of common best proximity point for a large class of non-self mappings. Therefore, in this paper, we give a new idea of proximally compatible mappings with an interesting example and using this class of mappings, we extend some results of Jungck. Furthermore, we introduce the concept ( ϵ , δ , χ , φ ) contractions, this class of mappings contains the class of ( ϵ , δ ) contractions in [1]. In addition, using this class, we provide common best proximity point theorems for proximally compatible mappings. Finally, we provide an example to support our main result.

Author Contributions

Conceptualization, V.P. and R.G.; methodology, V.P. and R.G.; validation, V.P. and R.G.; writing—original draft preparation, V.P. and R.G.; writing—review and editing, V.P., M.D.l.S., S.R. and R.G.; funding acquisition, M.D.l.S. and S.R. All authors have read and agreed to the published version of the manuscript.

Funding

This work has been partially funded by Basque Government through Grant IT1207-19.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Jungck, G. Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9, 771–779. [Google Scholar] [CrossRef]
  2. Rhoades, B.E.; Sessa, S.; Kahn, M.S.; Kahn, M.D. Some fixed point theorems for Hardy-Rogers type mappings. Int. J. Math. Math. Sci. 1984, 7, 75–87. [Google Scholar] [CrossRef] [Green Version]
  3. Jungck, G. Commuting mappings and fixed points. Am. Math. Mon. 1976, 83, 261–263. [Google Scholar] [CrossRef]
  4. Das, K.M.; Naik, K.V. Common fixed point theorems for commuting maps on a metric space. Proc. Am. Math. Soc. 1979, 77, 369–373. [Google Scholar]
  5. Chang, S.S. A common fixed point theorem for commuting mappings. Proc. Am. Math. Soc. 1981, 83, 645–652. [Google Scholar] [CrossRef]
  6. Conserva, V. Common fixed point theorems for commuting maps on a metric space. Publ. Inst. Math. 1982, 32, 37–43. [Google Scholar]
  7. Jungck, G.; Rhoades, B.E. Fixed point for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29, 227–238. [Google Scholar]
  8. Chugh, R.; Kumar, S. Common fixed points for weakly compatible maps. Proc. Indian Acad. Sci. (Math. Sci.) 2001, 111, 241–247. [Google Scholar] [CrossRef]
  9. Basha, S.S.; Shahzad, N.; Jeyaraj, R. Common best proximity points: Global optimization of multi-objective functions. Appl. Math. Lett. 2011, 24, 883–886. [Google Scholar] [CrossRef]
  10. Aydi, H.; Felhi, A.; Karapinar, E. On common best proximity points for generalized α-ψ-proximal contractions. J. Nonlinear Sci. Appl. 2016, 9, 2658–2670. [Google Scholar] [CrossRef] [Green Version]
  11. Mongkolkeha, C.; Kumam, P. Some common best proximity points for proximity commuting mappings. Optim. Lett. 2013, 7, 1825–1836. [Google Scholar] [CrossRef]
  12. Cvetković, A.; Stanić, M.; Dimitrijević, S.; Simić, S. Common fixed point theorems for four mappings on cone metric type space. Fixed Point Theory Appl. 2011, 2011, 589725. [Google Scholar] [CrossRef] [Green Version]
  13. Lo’lo, P.; Vaezpour, S.M.; Esmaily, J. Common best proximity points theorem for four mappings in metric-type spaces. Fixed Point Theory Appl. 2015, 2015, 47. [Google Scholar]
  14. Shayanpour, H. Some results on common best proximity point and common fixed point theorem in probabilistic menger space. J. Korean Math. Soc. 2016, 53, 1037–1056. [Google Scholar] [CrossRef]
  15. Pragadeeswarar, V. Common best proximity points for weakly proximal increasing mappings. Thai J. Math. 2019, 17, 163–180. [Google Scholar]
  16. Mondal, S.; Dey, L.K. Some common best proximity point theorems in a complete metric space. Afr. Mat. 2017, 28, 85–97. [Google Scholar] [CrossRef]
  17. Lo’lo, P.; Vaezpour, S.M.; Saadati, R. Common best proximity points results for new proximal C-contraction mappings. Fixed Point Theory Appl. 2016, 2016, 56. [Google Scholar]
  18. Pragadeeswarar, V.; Poonguzali, G.; Marudai, M.; Radenovic, S. Common best proximity point theorem for multivalued mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2017, 2017, 22. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Pragadeeswarar, V.; Gopi, R.; De la Sen, M.; Radenović, S. Proximally Compatible Mappings and Common Best Proximity Points. Symmetry 2020, 12, 353. https://doi.org/10.3390/sym12030353

AMA Style

Pragadeeswarar V, Gopi R, De la Sen M, Radenović S. Proximally Compatible Mappings and Common Best Proximity Points. Symmetry. 2020; 12(3):353. https://doi.org/10.3390/sym12030353

Chicago/Turabian Style

Pragadeeswarar, V., R. Gopi, M. De la Sen, and Stojan Radenović. 2020. "Proximally Compatible Mappings and Common Best Proximity Points" Symmetry 12, no. 3: 353. https://doi.org/10.3390/sym12030353

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