Best Proximity Results on Dualistic Partial Metric Spaces

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.


Introduction
The problem of whether the equation Tx = 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, Tx).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 = Tx 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.

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 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, is a quasi metric on M. With respect to the induced topologies, there is the relation } 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.
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, 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{λ, }, for all λ, ∈ R.
Now we can introduce the notions of convergence, Cauchy sequences, and completness in this setting of dualistic partial metric spaces.
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 s D ) 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 s D ) is satisfied also.Moreover, the converse holds true.
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 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.
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.
Therefore, the pair (A, B) is endowed with the weak (P)-property.

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.
For any t ∈ [0, +∞), 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 Φ.
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, Such a nonself mapping is a generalized almost (ϕ, θ)-contraction.
We provide now an example of such a generalized contraction.
With regard to such kind of generalized contractions, the next result holds true.
Then, T possesses a unique best proximity point.
Proof.Consider  0 ∈ A 0 .Since TA 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 (A, B) is a pair which possesses the weak (P)-property, therefore, for n ∈ N, the inequality Using the generalized contractivity of T, we obtain Hence, it has been proved that Using the monotone of ϕ, we get Considering n → ∞ and having in mind the properties of the c-comparison function, it follows that Let us focus now on the self distance.By using the generalized contraction property of T, it follows Obviously, it can be easily proved that which compels also that D( n ,  n ) → 0.
Taking into account the inequalities and letting n → +∞, we obtain lim 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 s D , as Lemma 1 states.Relation (1) from the induced quasi metric d D implies the following relation Furthermore, taking advantage of inequalities (2), and (3), we obtain Re-writing this relation, it follows, for n, ∈ N, Since d D is a quasi metric, for n, p ∈ N, by the use of the previous relation, it may be noticed that Therefore, we are able to conclude that { n } is a Cauchy sequence with respect to d s D , and hence also with regard to D. Since A is closed, we obtain that { n } is convergent to an element  ∈ A. Therefore, 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 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.
We can move on to the uniqueness part of the theorem.Suppose T has two different best proximity points, , and κ.The By taking θ ≡ 0, and ϕ ∈ Φ as particular choices, the next result is reached.
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 Then T possesses a unique fixed point.
the conditions from Corollary 3 are fulfilled.Therefore, T has a unique fixed point.

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 We provide now some examples of such functions from the set G.
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.
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 2n } is not a Cauchy sequence, and Then there exist δ > 0, and the subsequences {m k }, {n k } so that the subsequences Based on this lemma, we obtain its variant in dualistic partial metric spaces, as follows.Lemma 3. Let { n } in M, so that { 2n } is not a Cauchy sequence, and Then there exist δ > 0, and the subsequences {m k }, {n k } so that the subsequences

Proof. Let d s
D be the metric induced by D. By using Lemma 1, { 2n } is not a Cauchy sequence with respect to d s D either.According to Lemma 2, there exists δ > 0, and some subsequences {m k }, {n k } so that the subsequences 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 s D , 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) TA 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 TA 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 (A, B) is a pair which fulfills the weak (P)-property, therefore we obtain, for n ∈ N, the inequality Using the generalized contractivity of T, we get 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, and taking n → ∞ it follows that lim n→∞ β(|D( 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 Having in view that We continue by proving that { n } is a Cauchy sequence in τ(D).
Presume { 2n } is not a Cauchy sequence in τ(D) .By Lemma 3, there exists δ > 0, m k , n k ∈ N, so that Having in mind the generalized triangle inequality, it follows and also By dividing the inequality by |D( 2m k ,  2n k )| and then taking k → ∞, we get that Therefore, { 2n } 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 As lim n→∞ D( n ,  n ) = 0, we get that D(, ) = 0.The next relation holds true  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 (2) TA 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.Then T has a unique fixed point.
We end up this section with an example.

A 0 =Definition 3 .
{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}.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).