Next Article in Journal
Finding College Student Social Networks by Mining the Records of Student ID Transactions
Previous Article in Journal
Even Higher Order Fractional Initial Boundary Value Problem with Nonlocal Constraints of Purely Integral Type
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Best Proximity Results on Dualistic Partial Metric Spaces

Department of Mathematics and Informatics, University Politehnica of Bucharest, 313 Splaiul Independenţei, 060042 Bucharest, Romania
Symmetry 2019, 11(3), 306; https://doi.org/10.3390/sym11030306
Submission received: 9 February 2019 / Revised: 24 February 2019 / Accepted: 25 February 2019 / Published: 1 March 2019

Abstract

:
We introduce the generalized almost ( φ , θ ) -contractions by means of comparison type functions and another kind of mappings endowed with specific properties in the setting of dualistic partial metric spaces. Also, generalized almost θ -Geraghty contractions in the setting of dualistic partial metric spaces are defined by the use of a function of Geraghty type and another adequate auxiliary function. For these classes of generalized contractions, we have stated and proved the existence and uniqueness of a best proximity point.

1. Introduction

The problem of whether the equation T x = x has solutions or not, where T is a self mapping on X, has been studied thoroughly, since the famous principle of Banach was stated. The issue has been developed even further: find the point x which realizes the smallest distance from a subset A of a set X, with a metric d, to another subset B, by means of a nonself mapping T, that is d ( A , B ) = d ( x , T x ) . Such a point is called point of best proximity. The importance of this problem increases if we think that, if the sets A and B are mutually disjoint, the equation x = T x does not have any solution. Many researchers have been attracted by the study of best proximity points. In [1], some best proximity results are stated, also an algorithm to determine such a point is given. Best proximity properties for nonself nonexpansive mappings are proved in [2]. In [3], some existence and uniqueness results with regard to appropriate nonself mappings, by means of some control functions, are stated. In [4], a convergence theorem was used in order to prove an existence property with regard to an adequate map, without using the famous lemma of Zorn. In [5], conditions which ensure the existence and uniqueness of a best proximity point are stated. In [6], a suitable property is used to state best proximity theorems for generalized types of contractions.
The use of generalized metric spaces moved further the theory of fixed point and that of best proximity point. In this respect, in [7,8,9] results are stated in the framework of different types of b-metric spaces. The setting of Menger probabilistic metric spaces has been used in [10] in order to obtain some best proximity results. Generalized weak contractions in partial metric spaces are developed in [11]. In [12], the framework of dualistic metric spaces is used in order to prove some properties on a pair of adequate mappings. In [13], dual contractions of rational type are studied in the context of dualistic partial metric spaces. Important aspects of fixed point results can be found, for example, in [14] or [15].
The aim of this paper is to introduce generalized contraction mappings in the framework of dualistic metric spaces and to state and prove some best proximity results for such kind of contractions. We have in view generalized contractivity conditions defined by means of a comparison type function to which we add a term which involves a continuous function endowed with suitable properties. Also, we refer to generalized contractions formed by a Geraghty type term and a second one involving adequate continuous mappings.

2. Preliminaries

The framework we use, dualistic partial metrics, is due to O’Neill. One of the main conditions fulfilled by such spaces is the symmetry, a property which is of crucial importance in proving our statements.
Definition 1 
([16]). Let M be a nonempty set. A function D : M × M R is called a dualistic partial metric if
( D 1 ) 𝚥 = λ if and only if D ( 𝚥 , 𝚥 ) = D ( λ , λ ) = D ( 𝚥 , λ ) ;
( D 2 ) D ( λ , λ ) D ( λ , 𝚥 ) ;
( D 3 ) D ( 𝚥 , λ ) = D ( λ , 𝚥 ) ;
( D 4 ) D ( 𝚥 , κ ) D ( 𝚥 , λ ) + D ( λ , κ ) D ( λ , λ ) ,
for each 𝚥, λ, κ M .
Along our work, M , ( M , D ) denotes a dualistic partial metric space, and A , B M , A , B , unless specifically stated otherwise.
In this case,
d D : M × M R + , d D ( λ , κ ) = D ( λ , κ ) D ( λ , λ ) ,
is a quasi metric on M. With respect to the induced topologies, there is the relation τ ( D ) = τ ( d D ) . Moreover, d D s ( 𝚥 , λ ) = max { d D ( 𝚥 , λ ) , d D ( λ , 𝚥 ) } is a metric on M .
To any partial metric (please, see [17]), one can associate a dualistic partial metric space, as the next example shows.
Example 1.
Let P be a partial metric defined on M .
D : M × M R , D ( 𝚥 , κ ) = P ( 𝚥 , κ ) P ( 𝚥 , 𝚥 ) P ( κ , κ ) , f o r e a c h 𝚥 , κ M ,
is a dualistic partial metric.
Remark 1.
D ( 𝚥 , κ ) might not be positive. Furthermore, the equality D ( 𝚥 , κ ) = 0 does not necessarily compel 𝚥 = κ . In this frame, D ( 𝚥 , 𝚥 ) is considered as the weight of 𝚥, and indicates the quantity of information 𝚥 has. However, D R 0 + × R 0 + is a partial metric.
Remark 2.
Each partial metric is obviously a dualistic partial one, but the reverse does not hold true. Define
D : R × R R , D ( λ , ) = max { λ , } , f o r a l l λ , R .
Obviously D satisfies the dualistic partial metric hypotheses. But D is not a partial metric; it is enough to see that D ( 7 , 2 ) = 2 R 0 + .
In accordance with [16], D generates a T 0 topology on M , denoted by τ ( D ) , in which the open balls are { B D ( λ , ϵ ) : λ M , ϵ > 0 } , where B D ( λ , ϵ ) = { κ M : D ( λ , κ ) < ϵ + D ( λ , λ ) } .
Now we can introduce the notions of convergence, Cauchy sequences, and completness in this setting of dualistic partial metric spaces.
Definition 2 
([18]).
(1) 
A sequence { 𝚥 n } in ( M , D ) is a Cauchy sequence if lim n , m D ( 𝚥 n , 𝚥 m ) exists and it is finite.
(2) 
A sequence { 𝚥 n } M converges to a point 𝚥 * if and only if D ( 𝚥 * , 𝚥 * ) = lim n D ( 𝚥 * , 𝚥 n ) .
(3) 
( M , D ) is complete if each Cauchy sequence { 𝚥 n } in M converges, in τ ( D ) , to 𝚥 * M such that D ( 𝚥 * , 𝚥 * ) = lim n , m D ( 𝚥 n , 𝚥 m ) .
The next lemma establishes some connections between the original dualistic partial metric and the induced one.
Lemma 1 
([18]). The following statements hold:
(1) 
Each Cauchy sequence in the induced metric space ( M , d D s ) is also a Cauchy sequence in the dualistic partial metric space ( M , D ) .
(2) 
If the completness of ( M , D ) is fulfilled then the completness of ( M , d D s ) is satisfied also. Moreover, the converse holds true.
(3) 
A sequence { 𝚥 n } M converges to 𝚥 * M in τ ( d D s ) if and only if
lim n , m D ( 𝚥 n , 𝚥 m ) = lim n D ( 𝚥 * , 𝚥 n ) = D ( 𝚥 * , 𝚥 * ) .
To introduce our new results, we need several specific concepts related to a nonself mapping T in the setting of dualistic partial metric spaces.
Two subsets of A and B respectively will be of paramount importance, namely
A 0 = { a A : there exists b B , D ( a , b ) = D ( A , B ) } ,
B 0 = { b B : there exists a A , D ( a , b ) = D ( A , B ) } ,
where
D ( A , B ) : = inf { D ( a , b ) : a A , b B } .
Definition 3.
Let T be a nonself mapping from A to B. An element A is called a best proximity point of T if the following equality is fulfilled
D ( , T ) = D ( A , B ) .
A tool of significant importance in the development of the best proximity point results is the notion of a pair endowed with the (weak) ( P ) -property.
Following the definition of [19], the next notion can be introduced in this framework.
Definition 4.
Presume that A 0 . If for each 𝚥 1 , 𝚥 2 A , and κ 1 , κ 2 B , the following implication holds
D ( 𝚥 1 , κ 1 ) = D ( A , B ) D ( 𝚥 2 , κ 2 ) = D ( A , B ) implies | D ( 𝚥 1 , 𝚥 2 ) | | D ( κ 1 , κ 2 ) | ,
the pair ( A , B ) is endowed with the weak ( P ) -property.
By replacing the inequality in the right-hand side of the implication by an equality, a less general notion is obtained, namely that of a pair endowed with the ( P ) -property. In the next lines, we present an example of a pair endowed with the weak ( P ) -property.
Example 2.
Consider A = [ 1 , 0 ] , and B = [ 3 , 2 ] subsets of R , and D : R × R R , D ( 𝚥 , κ ) = max { 𝚥 , κ } . It can be noticed that D ( A , B ) = 1 . Suppose D ( 𝚥 1 , κ 1 ) = 1 , and D ( 𝚥 2 , κ 2 ) = 1 . Then 𝚥 1 = 1 , and 𝚥 2 = 1 . Hence, D ( 𝚥 1 , 𝚥 2 ) = 1 , while D ( κ 1 , κ 2 ) = max { κ 1 , κ 2 } . Since κ 1 , and κ 2 belong to [ 3 , 2 ] , the inequality | D ( 𝚥 1 , 𝚥 2 ) | | D ( κ 1 , κ 2 ) | is satisfied. Therefore, the pair ( A , B ) is endowed with the weak ( P ) -property.

3. Almost ( φ , θ ) -Contractions

In [6], there has been stated a result on best proximity with respect to an almost contraction if some additional hypotheses are satisfied. In order to introduce their theorem, we point out the next definition.
Definition 5 
([20]). If a map φ : [ 0 , + ) [ 0 , + ) fulfills the following two conditions
1. 
φ is increasingly monotone,
2. 
For any t [ 0 , + ) , n = 0 + φ n ( t ) < ,
then φ is said to be a c-comparison.
By replacing the second condition by imposing that lim n + φ n ( t ) = 0 for all t 0 , the concept of comparison functions may be retrieved. Interesting properties of different types of comparison functions can be found, for example, in [21].
The set of all c-comparison functions is denoted by Φ .
Let T be the set of all continuous functions θ : [ 0 , + ) 4 [ 0 , + ) endowed with the properties
θ ( 0 , 𝚥 , λ , κ ) = 0 , for each 𝚥 , λ , κ [ 0 , + ) , θ ( 𝚥 , λ , 0 , κ ) = 0 , for each 𝚥 , λ , κ [ 0 , + ) , θ ( 𝚥 , 𝚥 , 𝚥 , 𝚥 ) = 0 , for each 𝚥 [ 0 , + ) .
Example 3.
Define the function
θ : [ 0 , + ) 4 [ 0 , + ) , θ ( 𝚥 , λ , κ , ) = τ 𝚥 λ κ inf 4 { 𝚥 , λ , κ , } , τ > 0 .
Then θ T .
By means of c-comparison functions and mappings which fulfill some of the properties of the set T in [6] there has been defined a generalized contraction. There has been proved that such a kind of a generalized contraction possesses a best proximity point, provided that it satisfies also an inclusion condition type, and the (P) property is satisfied by a pair of nonempty closed sets adequately chosen.
We are ready now to move on to the first outcome of our work, namely develop best proximity theorems in a wider setting, that of dualistic partial metric spaces. In the following, ( M , D ) is a dualistic partial metric space, A , and B are nonempty subsets of M , and A 0 . Also denote by D ˜ ( 𝚥 , λ ) = D ( 𝚥 , λ ) D ( A , B ) .
The generalized almost ( φ , θ ) -contraction in this framework is introduced as follows
Definition 6.
Let φ Φ , and θ T . Consider T : A B a nonselfmapping so that if for each 𝚥, κ A ,
| D ( T 𝚥 , T κ ) | φ ( | D ( 𝚥 , κ ) | ) + θ D ˜ ( κ , T 𝚥 ) , D ˜ ( 𝚥 , T κ ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( κ , T κ ) .
Such a nonself mapping is a generalized almost ( φ , θ ) -contraction.
We provide now an example of such a generalized contraction.
Example 4.
Let R endowed with the dualistic partial metric D : R × R R , D ( 𝚥 , κ ) = max { 𝚥 , κ } . Consider the mapping T : [ 1 2 , 1 2 ] [ 1 4 , 1 4 ] , T x = 2 x 3 . Furthermore, let us take
φ : [ 0 , ) [ 0 , ) , φ ( t ) = t 2 , if t 0 , 2 3 ; t 2 9 , if t > 2 3 ,
and θ T . It can be easily checked that T is an almost ( φ , θ ) -contraction.
With regard to such kind of generalized contractions, the next result holds true.
Theorem 1.
Consider a generalized almost ( φ , θ ) -contraction T : A B . Additionally, presume that:
(1) 
T A 0 B 0 ;
(2) 
( A , B ) is a pair endowed with the weak (P)-property.
Then, T possesses a unique best proximity point.
Proof. 
Consider 𝚥 0 A 0 . Since T A 0 B 0 , then T 𝚥 0 B 0 , and there is 𝚥 1 A 0 such that D ( 𝚥 1 , T 𝚥 0 ) = D ( A , B ) . By continuing this procedure, we obtain a sequence { 𝚥 n } A 0 , which satisfies the equality
D ( 𝚥 n + 1 , T 𝚥 n ) = D ( A , B ) , n N { 0 } .
( A , B ) is a pair which possesses the weak (P)-property, therefore, for n N , the inequality | D ( 𝚥 n , 𝚥 n + 1 ) | | D ( T 𝚥 n 1 , T 𝚥 n ) | holds true.
Using the generalized contractivity of T, we obtain
| D ( 𝚥 n , 𝚥 n + 1 ) | | D ( T 𝚥 n 1 , T 𝚥 n ) | φ ( | D ( 𝚥 n 1 , 𝚥 n ) | ) + θ ( D ˜ ( 𝚥 n , T 𝚥 n 1 ) , D ˜ ( 𝚥 n 1 , T 𝚥 n ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n , T 𝚥 n ) ) = φ ( | D ( 𝚥 n 1 , 𝚥 n ) | ) + θ ( 0 , D ˜ ( 𝚥 n 1 , T 𝚥 n ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n , T 𝚥 n ) ) = φ ( | D ( 𝚥 n 1 , 𝚥 n ) | ) , n N .
Hence, it has been proved that
| D ( 𝚥 n , 𝚥 n + 1 ) | φ ( | D ( 𝚥 n 1 , 𝚥 n ) | ) , n N .
Using the monotone of φ , we get
| D ( 𝚥 n , 𝚥 n + 1 ) | φ n ( | D ( 𝚥 0 , 𝚥 1 ) | ) , n N .
Considering n and having in mind the properties of the c-comparison function, it follows that | D ( 𝚥 n , 𝚥 n + 1 ) | 0 , so D ( 𝚥 n , 𝚥 n + 1 ) 0 .
Let us focus now on the self distance. By using the generalized contraction property of T, it follows
| D ( 𝚥 n , 𝚥 n ) | | D ( T 𝚥 n 1 , T 𝚥 n 1 ) | φ ( | D ( 𝚥 n 1 , 𝚥 n 1 ) | ) + θ ( D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) ) = φ ( | D ( 𝚥 n 1 , 𝚥 n 1 ) | ) , n N .
Obviously, it can be easily proved that
| D ( 𝚥 n , 𝚥 n ) | φ n ( | D ( 𝚥 0 , 𝚥 0 ) | ) , n N ,
which compels also that D ( 𝚥 n , 𝚥 n ) 0 .
Taking into account the inequalities
D ( A , B ) D ( 𝚥 n , T 𝚥 n ) D ( 𝚥 n , 𝚥 n + 1 ) + D ( 𝚥 n + 1 , T 𝚥 n ) D ( 𝚥 n + 1 , 𝚥 n + 1 ) = D ( 𝚥 n , 𝚥 n + 1 ) + D ( A , B ) D ( 𝚥 n + 1 , 𝚥 n + 1 ) ,
and letting n + , we obtain
lim n + D ( 𝚥 n , T 𝚥 n ) = D ( A , B ) .
We continue by proving that { 𝚥 n } is a Cauchy sequence with respect to D. In order to do that, it is enough to show that { 𝚥 n } is a Cauchy sequence with respect to d D s , as Lemma 1 states.
Relation (1) from the induced quasi metric d D implies the following relation
d D ( 𝚥 n , 𝚥 n + 1 ) = D ( 𝚥 n , 𝚥 n + 1 ) D ( 𝚥 n , 𝚥 n ) , n N { 0 } .
Furthermore, taking advantage of inequalities (2), and (3), we obtain
d D ( 𝚥 n , 𝚥 n + 1 ) | D ( 𝚥 n , 𝚥 n + 1 ) | + | D ( 𝚥 n , 𝚥 n ) | φ n ( | D ( 𝚥 0 , 𝚥 1 ) | ) + φ n ( | D ( 𝚥 0 , 𝚥 0 ) | ) .
Re-writing this relation, it follows, for n, N ,
d D ( 𝚥 n + , 𝚥 n + + 1 ) φ n + ( | D ( 𝚥 0 , 𝚥 1 ) | ) + φ n + ( | D ( 𝚥 0 , 𝚥 0 ) | ) .
Since d D is a quasi metric, for n, p N , by the use of the previous relation, it may be noticed that
d D ( 𝚥 n , 𝚥 n + p ) = 0 p 1 d D ( 𝚥 n + , 𝚥 n + + 1 ) = 0 p 1 φ n + ( | D ( 𝚥 0 , 𝚥 1 ) | ) + φ n + ( | D ( 𝚥 0 , 𝚥 0 ) | ) .
But φ is a c-comparison function, so d D ( 𝚥 n , 𝚥 n + p ) 0 . Similarly, d D ( 𝚥 n + p , 𝚥 n ) 0 . Therefore, we are able to conclude that { 𝚥 n } is a Cauchy sequence with respect to d D s , and hence also with regard to D . Since A is closed, we obtain that { 𝚥 n } is convergent to an element 𝚥 A . Therefore,
lim n D ( 𝚥 n , 𝚥 ) = D ( 𝚥 , 𝚥 ) = lim n , m D ( 𝚥 n , 𝚥 m ) .
Since lim n D ( 𝚥 n , 𝚥 n ) = 0 , we get also that D ( 𝚥 , 𝚥 ) = 0 .
Taking advantage of the fact that D ( 𝚥 n , T 𝚥 n ) D ( A , B ) , by letting n + in the inequality
| D ( T 𝚥 , T 𝚥 n ) | φ ( | D ( 𝚥 , 𝚥 n ) | ) + θ ( D ˜ ( 𝚥 n , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 n ) , D ˜ ( 𝚥 n , T 𝚥 n ) , D ˜ ( 𝚥 , T 𝚥 ) ) ,
it gets lim n + | D ( T 𝚥 , T 𝚥 n ) | = 0 , so lim n + D ( T 𝚥 , T 𝚥 n ) = 0 .
Also, keeping in mind that lim n D ( 𝚥 n , 𝚥 n ) = 0 , similarly it can be proved that lim n D ( T 𝚥 n , T 𝚥 n ) = 0 .
Using the triangle inequality, it follows
D ( 𝚥 , T 𝚥 ) D ( 𝚥 , 𝚥 n ) + D ( 𝚥 n , T 𝚥 n ) + D ( T 𝚥 , T 𝚥 n ) D ( 𝚥 n , 𝚥 n ) D ( T 𝚥 n , T 𝚥 n ) .
Taking n + in relation (4), we obtain that D ( 𝚥 , T 𝚥 ) D ( A , B ) . The converse inequality being obvious, D ( 𝚥 , T 𝚥 ) = D ( A , B ) .
We can move on to the uniqueness part of the theorem. Suppose T has two different best proximity points, 𝚥, and κ . The following relations hold
| D ( 𝚥 , κ ) | | D ( T 𝚥 , T κ ) | φ ( | D ( 𝚥 , κ ) | ) + θ ( D ˜ ( κ , T 𝚥 ) , D ˜ ( 𝚥 , T κ ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( κ , T κ ) ) = φ ( | D ( 𝚥 , κ ) | ) + θ ( D ˜ ( κ , T 𝚥 ) , D ˜ ( 𝚥 , T κ ) , 0 , 0 ) = φ ( | D ( 𝚥 , κ ) | ) ,
which implies D ( 𝚥 , κ ) = 0 .
On the other hand,
| D ( 𝚥 , 𝚥 ) | | D ( T 𝚥 , T 𝚥 ) | φ ( | D ( 𝚥 , 𝚥 ) | ) + θ ( D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 ) ) = φ ( | D ( 𝚥 , 𝚥 ) | ) ,
hence D ( 𝚥 , 𝚥 ) = 0 . Similarly, we obtain D ( κ , κ ) = 0 . As D ( 𝚥 , 𝚥 ) = D ( κ , κ ) = D ( 𝚥 , κ ) , we get that 𝚥 = κ , and the conclusion follows. □
By taking θ 0 , and φ Φ as particular choices, the next result is reached.
Corollary 1.
T : A B is a nonself mapping, and φ Φ so that
| D ( T λ , T κ ) | φ ( | D ( λ , κ ) | ) , λ , κ A .
In addition, presume that
(1)
T A 0 B 0 ;
(2)
the pair ( A , B ) has the weak ( P ) -property.
Then, T possesses a unique best proximity point.
Moreover, by having in view the case A = B = M , we may obtain some fixed point results in the framework of dualistic partial metric spaces.
Corollary 2.
Consider T : M M a generalized almost ( φ , θ ) -contraction. Then, there exists a unique fixed point of T, 𝚥 M .
By taking now the case of θ 0 , we get the following corollary which refers to fixed points.
Corollary 3.
Suppose T : M M , endowed with the property that there exists a c-comparison function φ, so that
| D ( T λ , T κ ) | φ ( | D ( λ , κ ) | ) , λ , κ M .
Then T possesses a unique fixed point.
Example 5.
Let M = 1 2 , 1 2 with the dualistic partial metric D ( 𝚥 , κ ) = max { 𝚥 , κ } . Consider the mapping T : M M , T 𝚥 = 𝚥 3 . By taking φ : [ 0 , ) [ 0 , ) ,
φ ( t ) = t 2 , if t < 1 2 ; t 1 4 , if t 1 2 ,
the conditions from Corollary 3 are fulfilled. Therefore, T has a unique fixed point.

4. Generalized Geraghty Type Contractions

This section is dedicated to some generalized contractions in the sense of Geraghty, defined by means of the set T . The result of Geraghty [22] has attracted many researchers. In [23], generalized Geraghty type contractions are studied in various generalized metric spaces. In [24], common fixed point results are provided, in the setting of partial metric spaces, for improved α -Geraghty contractions; these generalized contractions refer to mappings which form an α -admissible triangular pair, and also have as argument the maximum of four terms involving partial distances between the considered points and their images through the two contractive maps. In [19] a best proximity result is in view, for Geraghty-contractions.
Here we are going to introduce a generalized type of Geraghty contractions, by using functions from the set T . In the following, we focus on existence and uniqueness of a best proximity point for such kind of nonself mapps.
Let G be the set containing all functions β : [ 0 , ) [ 0 , 1 ) , satisfying an implication type condition
β ( t n ) 1 implies t n 0 .
We provide now some examples of such functions from the set G .
Example 6.
The function β : [ 0 , ) [ 0 , 1 ) ,
β : [ 0 , ) [ 0 , 1 ) , β ( t ) = sin t t , if t 0 ; 0 , if t = 0 ,
is an element of G .
Throughout the section, ( M , D ) is a dualistic metric space, β G , θ T , and A , B nonempty subsets of M , A 0 .
To generalize further the Geraghty type contractions, we introduce the following definition.
Definition 7.
A nonself mapping mapping T : A B having the property that for each 𝚥, κ A ,
| D ( T 𝚥 , T κ ) | β ( | D ( 𝚥 , κ ) | ) | D ( 𝚥 , κ ) | + θ D ˜ ( κ , T 𝚥 ) , D ˜ ( 𝚥 , T κ ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( κ , T κ ) ,
is said to be a generalized almost θ-Geraghty contraction.
Example 7.
Let M = R with the dualistic partial metric D ( 𝚥 , κ ) = max { 𝚥 , κ } , and the mapping T : [ 2 , 3 ] [ 1 , 2 ] , T 𝚥 = ln ( 𝚥 + 1 ) . T is a generalized almost θ-Geraghty contraction, for
β : [ 0 , ) [ 0 , 1 ) , β ( 𝚥 ) = 1 𝚥 ln ( 1 + 𝚥 ) if 𝚥 0 ; 0 , if 𝚥 = 0 ,
and θ T .
The next lemma is a feature of sequences which are not Cauchy sequences; it will be used in the proof of our result.
Lemma 2 
([23]). Let { x n } be a sequence in X, and d a metric on X, so that { x 2 n } is not a Cauchy sequence, and
lim n d ( x n , x n + 1 ) = 0 .
Then there exist δ > 0 , and the subsequences { m k } , { n k } so that the subsequences
d ( x 2 m k , x 2 n k ) , d ( x 2 m k , x 2 n k + 1 ) , d ( x 2 m k 1 , x 2 n k )
have the limit δ as k .
Based on this lemma, we obtain its variant in dualistic partial metric spaces, as follows.
Lemma 3.
Let { 𝚥 n } in M , so that { 𝚥 2 n } is not a Cauchy sequence, and
lim n D ( 𝚥 n , 𝚥 n + 1 ) = 0 , and lim n D ( 𝚥 n , 𝚥 n ) = 0 .
Then there exist δ > 0 , and the subsequences { m k } , { n k } so that the subsequences
D ( 𝚥 2 m k , 𝚥 2 n k ) , D ( 𝚥 2 m k , 𝚥 2 n k + 1 ) , D ( 𝚥 2 m k 1 , 𝚥 2 n k )
have the limit δ as k .
Proof. 
Let d D s be the metric induced by D . By using Lemma 1, { 𝚥 2 n } is not a Cauchy sequence with respect to d D s either. According to Lemma 2, there exists δ > 0 , and some subsequences { m k } , { n k } so that the subsequences
d D s ( 𝚥 2 m k , 𝚥 2 n k ) , d D s ( 𝚥 2 m k , 𝚥 2 n k + 1 ) , d D s ( 𝚥 2 m k 1 , 𝚥 2 n k )
have the limit δ as k . Having in mind that lim n D ( 𝚥 n , 𝚥 n ) = 0 , D is symmetric and the definition of the induced metric d D s , it follows the conclusion of the lemma. □
Our result in this respect is
Theorem 2.
Consider a generalized almost θ-Geraghty contraction T from A to B . In addition, assume that
(1)
T A 0 B 0 ;
(2)
( A , B ) is a pair which satisfies the weak (P)-property.
Then, T possesses a best proximity point which is unique.
Proof. 
Let 𝚥 0 A 0 . Having in view that T A 0 B 0 , then T 𝚥 0 B 0 , so there exists 𝚥 1 A 0 such that D ( 𝚥 1 , T 𝚥 0 ) = D ( A , B ) . By repeating this procedure, we obtain a sequence { 𝚥 n } A 0 , which satisfies the equality
D ( 𝚥 n + 1 , T 𝚥 n ) = D ( A , B ) , n N { 0 } .
( A , B ) is a pair which fulfills the weak (P)-property, therefore we obtain, for n N , the inequality | D ( 𝚥 n , 𝚥 n + 1 ) | | D ( T 𝚥 n 1 , T 𝚥 n ) | .
Using the generalized contractivity of T, we get
| D ( 𝚥 n , 𝚥 n + 1 ) | | D ( T 𝚥 n 1 , T 𝚥 n ) | β ( | D ( 𝚥 n 1 , 𝚥 n ) | ) | D ( 𝚥 n 1 , 𝚥 n ) | + θ ( D ˜ ( 𝚥 n , T 𝚥 n 1 ) , D ˜ ( 𝚥 n 1 , T 𝚥 n ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n , T 𝚥 n ) ) = β ( | D ( 𝚥 n 1 , 𝚥 n ) | ) | D ( 𝚥 n 1 , 𝚥 n ) | + θ ( 0 , D ˜ ( 𝚥 n 1 , T 𝚥 n ) , D ˜ ( 𝚥 n 1 , T 𝚥 n 1 ) , D ˜ ( 𝚥 n , T 𝚥 n ) ) = β ( | D ( 𝚥 n 1 , 𝚥 n ) | ) | D ( 𝚥 n 1 , 𝚥 n ) | | D ( 𝚥 n 1 , 𝚥 n ) | , n N .
We get that the sequence { | D ( 𝚥 n , 𝚥 n + 1 ) | } is decreasing. Let r 0 be its limit. Suppose that r 0 . From relation (5), we obtain, for n large enough,
| D ( 𝚥 n , 𝚥 n + 1 ) | | D ( 𝚥 n 1 , 𝚥 n ) | β | D ( 𝚥 n 1 , 𝚥 n ) | < 1 ,
and taking n it follows that lim n β ( | D ( 𝚥 n 1 , 𝚥 n ) | ) = 1 . Having in mind the properties of the function β , we get that lim n | D ( 𝚥 n + 1 , 𝚥 n ) | = 0 , a contradiction to our assumption. It follows that D ( 𝚥 n , 𝚥 n + 1 ) 0 .
Similarly, it can be proved that D ( 𝚥 n , 𝚥 n ) 0 , as n .
Having in view that
D ( A , B ) D ( 𝚥 n , T 𝚥 n ) D ( 𝚥 n , 𝚥 n + 1 ) + D ( 𝚥 n + 1 , T 𝚥 n ) D ( 𝚥 n + 1 , 𝚥 n + 1 ) ,
by considering n we get that
lim n D ( 𝚥 n , T 𝚥 n ) = D ( A , B ) .
We continue by proving that { 𝚥 n } is a Cauchy sequence in τ ( D ) .
Presume { 𝚥 2 n } is not a Cauchy sequence in τ ( D ) . By Lemma 3, there exists δ > 0 , m k , n k N , so that
D ( 𝚥 2 m k , 𝚥 2 n k ) δ , D ( 𝚥 2 m k , 𝚥 2 n k + 1 ) δ , D ( 𝚥 2 m k 1 , 𝚥 2 n k ) δ ,
as k .
Having in mind the generalized triangle inequality, it follows
D ( 𝚥 2 m k + 1 , 𝚥 2 n k ) D ( 𝚥 2 m k + 1 , 𝚥 2 m k ) + D ( 𝚥 2 m k , 𝚥 2 n k ) D ( 𝚥 2 m k , 𝚥 2 m k ) ,
and also
D ( 𝚥 2 m k , 𝚥 2 n k ) D ( 𝚥 2 m k , 𝚥 2 m k + 1 ) + D ( 𝚥 2 m k + 1 , 𝚥 2 n k ) D ( 𝚥 2 m k + 1 , 𝚥 2 m k + 1 ) .
By taking k , we get that lim k D ( 𝚥 2 m k + 1 , 𝚥 2 n k ) = δ .
Similarly, it can be proved that lim k D ( 𝚥 2 m k + 1 , 𝚥 2 n k + 1 ) = δ .
It can be noticed that
| D ( 𝚥 2 m k + 1 , 𝚥 2 n k + 1 ) | | D ( T 𝚥 2 m k , T 𝚥 2 n k ) | β ( | D ( 𝚥 2 m k , 𝚥 2 n k ) | ) | D ( 𝚥 2 m k , 𝚥 2 n k ) | + θ ( D ˜ ( 𝚥 2 n k , T 𝚥 2 m k ) , D ˜ ( 𝚥 2 m k , T 𝚥 2 n k ) , D ˜ ( 𝚥 2 n k , T 𝚥 2 n k ) , D ˜ ( 𝚥 2 m k , T 𝚥 2 m k ) .
By dividing the inequality by | D ( 𝚥 2 m k , 𝚥 2 n k ) | and then taking k , we get that
lim k | D ( 𝚥 2 m k + 1 , 𝚥 2 n k + 1 ) | | D ( 𝚥 2 m k , 𝚥 2 n k ) | lim k β ( | D ( 𝚥 2 m k , 𝚥 2 n k ) | ) 1 ,
hence lim k β ( | D ( 𝚥 2 m k , 𝚥 2 n k ) | ) = 1 . It follows that lim k D ( 𝚥 2 m k , 𝚥 2 n k ) = 0 , which contradicts the fact that lim k D ( 𝚥 2 m k , 𝚥 2 n k ) = δ > 0 . Therefore, { 𝚥 2 n } is a Cauchy sequence. Moreover, having also in mind that lim n D ( 𝚥 n , 𝚥 n + 1 ) = 0 , and lim n D ( 𝚥 n , 𝚥 n ) = 0 , we obtain that { 𝚥 n } is a Cauchy sequence with respect to D . From the completness of ( M , D ) and the fact that A is closed, it follows that there is 𝚥 A so that
lim n D ( 𝚥 n , 𝚥 ) = D ( 𝚥 , 𝚥 ) = lim n , m D ( 𝚥 n , 𝚥 m ) .
As lim n D ( 𝚥 n , 𝚥 n ) = 0 , we get that D ( 𝚥 , 𝚥 ) = 0 .
The next relation holds true
| D ( T 𝚥 n , T 𝚥 ) | β ( | D ( 𝚥 n , 𝚥 ) | ) | D ( 𝚥 n , 𝚥 ) | + θ ( D ˜ ( 𝚥 , T 𝚥 n ) , D ˜ ( 𝚥 n , T 𝚥 ) , D ˜ ( 𝚥 n , T 𝚥 n ) , D ˜ ( 𝚥 , T 𝚥 ) ) , n N ,
having in mind that β ( t ) [ 0 , 1 ) , for any t, and taking n , we get lim n D ( T 𝚥 n , T 𝚥 ) = 0 .
Analogously, lim n D ( T 𝚥 n , T 𝚥 n ) = 0 .
Furthermore, since
D ( A , B ) D ( T 𝚥 , 𝚥 n ) D ( T 𝚥 , T 𝚥 n ) + D ( T 𝚥 n , 𝚥 n ) D ( T 𝚥 n , T 𝚥 n ) , n N ,
by considering n , we obtain that lim n D ( T 𝚥 , 𝚥 n ) = D ( A , B ) .
Moreover,
D ( A , B ) D ( 𝚥 , T 𝚥 ) D ( 𝚥 , 𝚥 n ) + D ( 𝚥 n , T 𝚥 ) D ( 𝚥 n , 𝚥 n ) , n N ,
hence D ( 𝚥 , T 𝚥 ) = D ( A , B ) .
With regard to the uniqueness, assume that there are 𝚥 κ two best proximity points of T. We obtain
| D ( 𝚥 , κ ) | | D ( T 𝚥 , T κ ) | β ( | D ( 𝚥 , κ ) | ) | D ( 𝚥 , κ ) | + θ ( D ˜ ( κ , T 𝚥 ) , D ˜ ( 𝚥 , T κ ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( κ , T κ ) ) | D ( 𝚥 , κ ) | + θ ( D ˜ ( κ , T 𝚥 ) , D ˜ ( 𝚥 , T κ ) , 0 , 0 ) ) | D ( 𝚥 , κ ) | ,
which implies D ( 𝚥 , κ ) = 0 .
On the other hand,
| D ( 𝚥 , 𝚥 ) | | D ( T 𝚥 , T 𝚥 ) | β ( | D ( 𝚥 , 𝚥 ) | ) | D ( 𝚥 , 𝚥 ) | + θ ( D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 ) , D ˜ ( 𝚥 , T 𝚥 ) ) | D ( 𝚥 , 𝚥 ) | ,
hence D ( 𝚥 , 𝚥 ) = β ( | D ( 𝚥 , 𝚥 ) | ) | D ( 𝚥 , 𝚥 ) | . Since β ( | D ( 𝚥 , 𝚥 ) | ) [ 0 , 1 ) , it follows that D ( 𝚥 , 𝚥 ) = 0 . Similarly, we obtain D ( κ , κ ) = 0 . As D ( 𝚥 , 𝚥 ) = D ( κ , κ ) = D ( 𝚥 , κ ) , we get that 𝚥 = κ . □
Having in view the particular situation of θ 0 , and β G , the next corollary follows.
Corollary 4.
Let T be a nonself mapping from A to B , for which there is β G so that
(1)
| D ( T 𝚥 , T λ ) | β ( | D ( 𝚥 , λ ) | ) | D ( 𝚥 , λ ) | , for all 𝚥, λ A ;
(2)
T A 0 B 0 ;
(3)
( A , B ) fulfills the weak (P)-property.
Then, T has a unique best proximity point.
Some fixed point results may be obtained with regard to similar altering distances functions.
Corollary 5.
Consider β G , and θ T . Let T : A B be a mapping which is a generalized almost θ-Geraghty contraction. Then, there exists a unique fixed point of T, 𝚥 M .
Corollary 6.
Suppose there is β G so that, for any 𝚥, λ, the following inequality holds
| D ( T 𝚥 , T λ ) | β ( | D ( 𝚥 , λ ) | ) | D ( 𝚥 , λ ) | .
Then T has a unique fixed point.
We end up this section with an example.
Example 8.
Let M = R with the dualistic partial metric D ( 𝚥 , κ ) = max { 𝚥 , κ } , and the mapping T : [ 0 , 1 ] [ 0 , 1 ] , T 𝚥 = ln ( 𝚥 + 1 ) . T is a generalized almost θ-Geraghty contraction, for
β : [ 0 , ) [ 0 , 1 ) , β ( λ ) = 1 λ ln ( 1 + λ ) , if λ 0 ; 0 , if λ = 0 ,
and θ T . By applying Corollary 6, it follows that the mapping T has a unique fixed point.

5. Conclusions

We introduced a generalized almost ( φ , θ ) -contraction by means of a comparison type function and one of four variables, with adequate properties. Also, a generalized almost θ -Geraghty contraction was defined. Using the concept of (P)-property, we stated existence and uniqueness results of some best proximity points with respect to these two kinds of generalized contractions.

Funding

This research received no external funding

Acknowledgments

The author expresses her gratitude to the reviewers and to the editors whose suggestions significantly improved the paper.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Eldered, A.A.; Veeramani, P. Convergence and existence for best proximity points. J. Math. Anal. Appl. 2006, 323, 1001–1006. [Google Scholar] [CrossRef]
  2. Jacob, G.K.; Postolache, M.; Marudai, M.; Raja, V. Norm convergence iterations for best proximity points of non-self non-expansive mappings. Univ. Politeh. Buchar. Ser. A 2017, 79, 49–56. [Google Scholar]
  3. Samet, B. Some results on best proximity points. J. Optim. Theory Appl. 2013, 159, 281–291. [Google Scholar] [CrossRef]
  4. Sankar Raj, V.; Veeramani, P. Best proximity pair theorems for relatively nonexpansive mappings. Appl. Gen. Topol. 2009, 10, 21–28. [Google Scholar] [CrossRef] [Green Version]
  5. Sankar Raj, V. A best proximity point theorem for weakly contractive non-self mappings. Nonlinear Anal. 2011, 74, 4804–4808. [Google Scholar] [CrossRef]
  6. Shatanawi, W.; Pitea, A. Best proximity point and best proximity coupled point in a complete metric space with (P)-property. Filomat 2015, 29, 63–74. [Google Scholar] [CrossRef]
  7. Hussain, A.; Kanwal, T.; Adeel, M.; Radenović, S. Best proximity point results in b-Metric space and application to nonlinear fractional differential equation. Mathematics 2018, 6, 221. [Google Scholar] [CrossRef]
  8. Radenović, S.; An, T.V.; Quan, L.T. Some coincidence point results for T-contraction mappings on partially b-metric spaces. Nonlinear Anal. Model. Control 2017, 22, 545–565. [Google Scholar] [CrossRef]
  9. Zoto, K.; Rhoades, B.E.; Radenović, S. Some generalizations for (alpha-psi,Phi)-contractions in b-metric-like spaces and an applications. Fixed Point Theory Appl. 2017, 2017, 25. [Google Scholar] [CrossRef]
  10. Jamali, M.; Vaezpour, S.M. Best proximity point for certain nonlinear contractions in Menger probabilistic metric spaces. J. Adv. Math. Stud. 2016, 9, 338–347. [Google Scholar]
  11. Shatanawi, W.; Postolache, W. Coincidence and fixed point results for generalized weak contractions in the sense of Berinde on partial metric spaces. Fixed Point Theory Appl. 2013, 2013, 54. [Google Scholar] [CrossRef] [Green Version]
  12. Nazam, M.; Arshad, M.; Postolache, M. On common fixed point theorems in dualistic partial metric spaces. J. Math. Anal. 2018, 9, 76–89. [Google Scholar]
  13. Nazam, M.; Arshad, M.; Radenović, S.; Turkoglu, D.; Öztürk, V. Some fixed point results for dual contractions of rational type. Math. Moravica 2017, 21, 139–151. [Google Scholar] [CrossRef]
  14. Agarwal, R.; Karapınar, E.; O’Regan, D.; Roldan-Lopez-de-Hierro, A.F. Fixed Point Theory in Metric Type Spaces; Springer International Publishing: Cham, Switzerland, 2015. [Google Scholar]
  15. Kirk, W.; Shahzad, N. Fixed Point Theory in Distance Spaces; Springer International Publishing: Cham, Switzerland, 2014. [Google Scholar]
  16. O’Neill, S.J. Partial metric, valuations and domain theory. Ann. N. Y. Acad. Sci. 1996, 806, 304–315. [Google Scholar] [CrossRef]
  17. Matthews, S.G. Partial metric topology. Ann. N. Y. Acad. Sci. 1994, 728, 183–197. [Google Scholar] [CrossRef]
  18. Arshad, M.; Nazam, M.; Beg, I. Fixed point theorems in ordered dualistic partial metric spaces. Korean J. Math. 2016, 24, 169–179. [Google Scholar] [CrossRef]
  19. Zhang, J.; Su, Y.; Cheng, Q. A note on “A best proximity point theorem for Geraghty-contractions”. Fixed Point Theory Appl. 2013, 2013, 99. [Google Scholar] [CrossRef]
  20. Berinde, V. Approximating fixed points of weak ϕ-contractions using the Picard iteration. Fixed Point Theory Appl. 2003, 4, 131–142. [Google Scholar]
  21. Berinde, V. Iterative Approximation of Fixed Points, 2nd ed.; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 2007. [Google Scholar]
  22. Geraghty, M. On contractive mappings. Proc. Am. Math. Soc. 1973, 40, 604–608. [Google Scholar] [CrossRef]
  23. Dukić, D.; Kadelburg, Z.; Radenović, S. Fixed points of geraghty-type mappings in various generalized metric spaces. Abstr. Appl. Anal. 2011, 2011, 561245. [Google Scholar] [CrossRef]
  24. Nazam, M.; Arshad, M.; Park, C. Fixed point theorems for improved α-Geraghty contractions in partial metric spaces. J. Nonlinear Sci. Appl. 2016, 9, 4436–4449. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Pitea, A. Best Proximity Results on Dualistic Partial Metric Spaces. Symmetry 2019, 11, 306. https://doi.org/10.3390/sym11030306

AMA Style

Pitea A. Best Proximity Results on Dualistic Partial Metric Spaces. Symmetry. 2019; 11(3):306. https://doi.org/10.3390/sym11030306

Chicago/Turabian Style

Pitea, Ariana. 2019. "Best Proximity Results on Dualistic Partial Metric Spaces" Symmetry 11, no. 3: 306. https://doi.org/10.3390/sym11030306

APA Style

Pitea, A. (2019). Best Proximity Results on Dualistic Partial Metric Spaces. Symmetry, 11(3), 306. https://doi.org/10.3390/sym11030306

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