Abstract
In this paper, we obtain some best proximity point results by introducing the concepts of proximal p-contractions of the first type and proximal p -contractions of the second type on partial metric spaces. Thus, some famous results in the literature such as the main result of Altun et al. (Acta Math Hung 162:393–402, 2020) and Basha (J Approx Theory 163(11):1772–1781, 2011) have been extended. Also, we provide some examples where our results are applicable and the results in Haghi et al. (Topol Appl 160:450–454, 2013) are not. Hence, our results are a real generalization of some results in metric spaces and partial metric spaces. Finally, we obtain sufficient conditions for the existence of the solution of nonlinear fractional differential equations via our results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In 1922, Banach [7] proved a fundamental theorem, known as the Banach contraction principle, which is considered the beginning of the fixed point theory on metric spaces. Because of its applicability, many authors have studied to generalize this principle [15, 21]. One of the interesting and nice generalizations has been obtained by Popescu [19]. He presented a contractive condition, named p-contraction, which expands Banach contraction as follows:
Theorem 1
Let \(\phi :(\Xi ,\theta )\rightarrow (\Xi ,\theta )\) be a p-contraction mapping, that is, there exists q in [0, 1) satisfying
for all \(\varpi ,\varsigma \in \Xi\) where \((\Xi ,\theta )\) is a complete metric space. Hence, there is a point \(\varpi\) in \(\Xi\) satisfying \(\varpi =\phi \varpi .\)
Recently, many authors extended the fixed point theory in different way by considering nonself mappings. Let \(\Lambda ,\Pi\) be nonempty subsets of a metric space \((\Xi ,\theta )\) and \(\phi :\Lambda \rightarrow \Pi\) be a mapping. If \(\Lambda \cap \Pi\) is empty, then there is no a point \(\varpi\) in \(\Lambda\) such that \(\phi \varpi =\varpi\). Therefore, it is reasonable to investigate whether there is a point \(\varpi ^{*}\in \Lambda\) satisfying \(\theta (\varpi ^{*},\phi \varpi ^{*})\) is minimum. In this sense, Basha and Veeramani [10] gave the notion of best proximity point. We say that the point \(\varpi ^{*}\in \Lambda\) is a best proximity point of \(\phi\) if it satisfies \(\theta (\varpi ^{*},\phi \varpi ^{*})=\theta (\Lambda ,\Pi )\). Best proximity point theorems are logical expansions of fixed point results because every best proximity point turns into a fixed point when \(\Lambda =\Pi =\Xi\). Thus, several authors have researched this subject [4, 5, 9, 20, 23,24,25].
We now review several properties linked to the best proximity point theory. We regard the following sets:
and
where \(\theta (\Lambda ,\Pi )=\inf \left\{ \theta (\varpi ,\varsigma ):\varpi \in \Lambda \text { and }\varsigma \in \Pi \right\}\).
We give the definitions of proximal contractions of the first and second kind [8].
Definition 1
Let \((\Xi ,\theta )\) be a metric space. A mapping \(\phi :\Lambda \rightarrow \Pi\) is called a proximal contraction of first kind if there exists q in [0, 1) such that, for all \(\xi _{1},\xi _{2},\varpi _{1},\varpi _{2}\in \Lambda\),
Definition 2
Let \((\Xi ,\theta )\) be a metric space. A mapping \(\phi :\Lambda \rightarrow \Pi\) is called a proximal contraction of second kind if there exists q in [0, 1) such that, for all \(\xi _{1},\xi _{2},\varpi _{1},\varpi _{2}\in \Lambda\),
If every sequence \(\{\varpi _{r}\}\) in \(\Lambda\) satisfying \(\theta (\varsigma ,\varpi _{r})\rightarrow \theta (\varsigma ,\Lambda )\) for some \(\varsigma \in \Pi\) has a subsequence \(\{\varpi _{r_{k}}\}\) such that \(\varpi _{r_{k}}\rightarrow \varpi\) for some \(\varpi \in \Lambda\), then \(\Lambda\) is said to be approximately compact with respect to \(\Pi\).
For proximal contractions of the first and second kind, the following theorems are the primary results.
Theorem 2
([8]) Let \((\Xi ,\theta )\) be a complete metric space, \(\emptyset \ne \Lambda ,\Pi \subseteq\) \(\Xi\) with \(\Lambda _{0}\ne \emptyset\) where \(\Pi\) is approximatively compact with respect to \(\Lambda\) and \(\Lambda\) is closed. Suppose that \(\phi :\Lambda \rightarrow \Pi\) is a continuous proximal contraction of the first kind and \(\phi (\Lambda _{0})\subseteq \Pi _{0}\). Then, there exists a unique element \(\varpi\) in \(\Lambda\) such that \(\theta (\varpi ,\phi \varpi )=\theta (\Lambda ,\Pi )\).
Theorem 3
([8]) Let \((\Xi ,\theta )\) be a complete metric space and \(\emptyset \ne \Lambda ,\Pi \subseteq\) \(\Xi ~\)with \(\Lambda _{0}\ne \emptyset\) where \(\Lambda\) is approximately compact with respect to \(\Pi\) and \(\Lambda\) is closed. Assume that \(\phi :\Lambda \rightarrow \Pi\) is a continuous proximal contraction of the second kind and \(\phi (\Lambda _{0})\subseteq \Pi _{0}\). Then, there exists an element \(\varpi\) in \(\Lambda\) such that \(\theta (\varpi ,\phi \varpi )=\theta (\Lambda ,\Pi )\). Moreover, if \(\varpi ^{*}\) is another best proximity point of \(\phi\) , then \(\phi \varpi\) and \(\phi \varpi ^{*}\) are identical.
On the other hand, Matthews [18] obtained another generalization of the Banach contraction principle by giving a famous notion called a partial metric. Then, numerous fixed point results in partial metric spaces have been obtained in various ways [1, 2, 6, 11, 22]. We now remind the concept of the partial metric space and its some properties.
Definition 3
([18]) Let \(\Xi \ne \emptyset\) and \(\kappa :\Xi \times \Xi \rightarrow [0,\infty )\). If \(\kappa\) satisfies the following conditions, for all \(\varpi ,\varsigma ,z\in \Xi\),
-
(p1)
\(\kappa (\varpi ,\varpi )=\kappa (\varpi ,\varsigma )=\kappa (\varsigma ,\varsigma )\) if and only if \(\varpi =\varsigma ,\)
-
(p2)
\(\kappa (\varpi ,\varpi )\le \kappa (\varpi ,\varsigma ),\)
-
(p3)
\(\kappa (\varpi ,\varsigma )=\kappa (\varsigma ,\varpi ),\)
-
(p4)
\(\kappa (\varpi ,\varsigma )\le \kappa (\varpi ,z)+\kappa (z,\varsigma )-\kappa (z,z)\),
then \(\kappa\) is called partial metric, and \((\Xi ,\kappa )\) is called partial metric space.
It can be easily seen that a metric space is a partial metric space, but the converse may not happen. In fact, let \(\Xi =[0,\infty )\) and \(\kappa :\Xi \times \Xi \rightarrow [0,\infty )\) be a function defined by \(\kappa (\varpi ,\varsigma )=\max \{\varpi ,\varsigma \}\) for all \(\varpi ,\varsigma \in \Xi\). Although \((\Xi ,\kappa )\) is a partial metric space, it is not a metric space.
Let \((\Xi ,\kappa )\) be a partial metric space. The sets
for all \(\varpi \in \Xi\) and \(\varepsilon >0\) is called open ball.
Let \(\varpi \in \Xi\) and \(\{\varpi _{r}\}\) be a sequence in \(\Xi\). Hence, \(\{\varpi _{r}\}\) converges to \(\varpi\) with respect to \(\tau _{\kappa }\) if and only if
If \(\lim _{r,m\rightarrow \infty }\kappa (\varpi _{r},\varpi _{m})\) exists and is finite, then the sequence \(\{\varpi _{r}\}\) in \(\Xi\) is said to be a Cauchy sequence. Further, \((\Xi ,\kappa )\) is said to be complete if every Cauchy sequence \(\{\varpi _{r}\}\) in \(\Xi\) converges to a point \(\varpi \in \Xi\) with respect to \(\tau _{\kappa }\) such that
Let \(\kappa ^{s}:\Xi \times \Xi \rightarrow [0,\infty )\) be a function defined by
Then, \(\kappa ^{s}\) is a metric on \(\Xi .\)
We now give the following lemma which gives the relationship between \(\kappa ^{s}\) and \(\kappa .\)
Lemma 1
([18]) Let \((\Xi ,\kappa )\) be a partial metric space.
-
(i)
\(\{\varpi _{r}\}\) is a Cauchy sequence in \((\Xi ,\kappa ^{s})\) if and only if \(\{\varpi _{r}\}\) is a Cauchy sequence in \((\Xi ,\kappa )\).
-
(ii)
\((\Xi ,\kappa ^{s})\) is a complete metric space if and only if \((\Xi ,\kappa )\) is a complete partial metric space.
-
(iii)
Consider a sequence \(\{\varpi _{r}\}\) in \((\Xi ,\kappa )\) and \(\varpi \in \Xi .\) Then, we get
$$\begin{aligned}{} & {} \lim _{r\rightarrow \infty }\kappa ^{s}(\varpi _{r},\varpi )=0\Longleftrightarrow \kappa (\varpi ,\varpi )\nonumber \\{} & {} =\lim _{r\rightarrow \infty }\kappa (\varpi _{r},\varpi )=\lim _{r,m\rightarrow \infty }\kappa (\varpi _{r},\varpi _{m}). \end{aligned}$$
The following lemma is important because it gives the characterization of the closed set in partial metric spaces.
Lemma 2
([1]) Let \((\Xi ,\kappa )\) be a partial metric space and \(\emptyset \ne \Lambda \subseteq \Xi\). Define \(\kappa (\varpi ,\Lambda )=\inf \left\{ \kappa (\varpi ,a):a\in \Lambda \right\}\). Then, we have
where \({\overline{\Lambda }}\) is closure of \(\Lambda\) with respect to \(\tau _{\kappa }\).
Definition 4
([18]) Let \((\Xi ,\kappa )\) be a partial metric space and \(\phi :\Xi \rightarrow \Xi\) be a mapping. We say that \(\phi\) is a continuous mapping with respect to \(\tau _{\kappa }\) if
then
In the present paper, we introduce the new concepts of proximal p-contraction of the first type and proximal p-contraction of the second type on partial metric spaces. Then, we obtain some best proximity point results for such mappings. Hence, we generalize and extend some famous results in the literature such as the main result of [3] and [8]. Recently, Haghi et al. [13] proved that some results on partial metric spaces are equivalent to the results in the context of a metric spaces. But, this case is not valid for our main results. Therefore, we provide some important examples where our results are applicable and their results are not. Hence, our results are a real generalization of some results in metric spaces and partial metric spaces. Finally, with the help of our results, we obtain sufficient conditions for the existence of the solution of nonlinear fractional differential equations.
Main results
Considering partial metric spaces, we begin this section by giving the definition of approximately compact.
Definition 5
Let \((\Xi ,\kappa )\) be a partial metric space, and \(\emptyset \ne \Lambda ,\Pi \subseteq \Xi\). If every sequence \(\{\varpi _{r}\}\) in \(\Lambda\) satisfying \(\kappa (\varsigma ,\varpi _{r})\rightarrow \kappa (\varsigma ,\Lambda )\) for some \(\varsigma \in \Pi\) has a subsequence \(\{\varpi _{r_{k}}\}\) such that
for some \(\varpi \in \Lambda\), then \(\Lambda\) is said to be \(\kappa\) -approximately compact with respect to \(\Pi\).
After that, we introduce the following definition of proximal p -contraction of the first type.
Definition 6
Let \((\Xi ,\kappa )\) be a partial metric space and \(\emptyset \ne \Lambda ,\Pi \subseteq \Xi .\) A mapping \(\phi :\Lambda \rightarrow \Pi\) is said to be a proximal p-contraction of the first type if there exists q in [0, 1) such that, for all \(\xi _{1},\xi _{2,}\varpi _{1},\varpi _{2}\in \Lambda\) with \(\xi _{1}\ne \xi _{2}\),
Now, we give our first main result.
Theorem 4
Let \((\Xi ,\kappa )\) be a complete partial metric space and \(\emptyset \ne \Lambda ,\Pi \subseteq \Xi\) where \(\Lambda\) is closed and \(\Pi\) is a \(\kappa\)-approximately compact with respect to \(\Lambda\). Assume that the followings hold:
-
(i)
\(\Lambda _{0}\ne \emptyset\) and \(\phi (\Lambda _{0})\subseteq \Pi _{0}.\)
-
(ii)
\(\phi :\Lambda \rightarrow \Pi\) is a proximal p-contraction of the first type.
Then, there exists \(\varpi ^{*}\) in \(\Lambda\) such that \(\kappa (\varpi ^{*},\phi \varpi ^{*})=\kappa (\Lambda ,\Pi )\).
Proof
Let \(\varpi _{0}\) be an arbitrary point in \(\Lambda _{0}.\) Because of the fact that \(\phi \varpi _{0}\in \phi (\Lambda _{0})\subseteq \Pi _{0},\) there exists \(\varpi _{1}\in \Lambda _{0}\) satisfying
Similarly, since \(\phi \varpi _{1}\in \phi (\Lambda _{0})\subseteq \Pi _{0},\) there exists \(\varpi _{2}\in \Lambda _{0}\) satisfying
Performing this process again, one can create a sequence \(\{\varpi _{r}\}\) in \(\Lambda\) satisfying
for all \(r\ge 1.\) Assume that \(\varpi _{r_{0}}=\varpi _{r_{0}+1}\) for some \(r_{0}\ge 1\), then, from (2), \(\varpi _{r_{0}+1}\) is a best proximity point of \(\phi\). We now get \(\varpi _{r}\ne \varpi _{r+1}\) for all \(r\ge 1\). Because \(\phi\) is a proximal p-contraction of the first type, we have, for all \(r\ge 1,\)
If there exists \(r_{0}\ge 1\) such that \(\kappa (\varpi _{r_{0}-1},\varpi _{r_{0}})\le \kappa (\varpi _{r_{0}},\varpi _{r_{0}+1})\), then we have
which is a contradiction. Therefore, we can conclude that \(\kappa (\varpi _{r},\varpi _{r+1})<\kappa (\varpi _{r-1},\varpi _{r})\) for all \(r\ge 1\). Hence, we get
and so, for all \(r\ge 1\),
Using the last inequality, we have, for all \(r\ge 1\),
Hence, we can obtain, for all \(m,r\ge 1\) with \(m>r\),
Hence, \(\lim _{r,m\rightarrow \infty }\kappa (\varpi _{r},\varpi _{m})=0\), and so \(\{\varpi _{r}\}\) is a Cauchy sequence in \(\Lambda\). Since \(\Lambda\) is a closed subset of complete partial metric space \((\Xi ,\kappa )\), there is \(\varpi ^{*}\) in \(\Lambda\) satisfying
Moreover, from (2) and (3), it can be seen that
Therefore, \(\kappa (\varpi ^{*},\phi \varpi _{r})\rightarrow \kappa (\varpi ^{*},\Pi )\) as \(r\rightarrow \infty\). Since \(\Pi\) is a \(\kappa\)-approximately compact with respect to \(\Lambda\), there exists a subsequence \(\{\phi \varpi _{r_{k}}\}\) of \(\{\phi \varpi _{r}\}\) such that
for some \(\varsigma ^{*}\in \Pi\). Therefore, from (2) and Lemma 1 (iii), we have
and so taking the limit as \(k\rightarrow \infty ,\) we have
Hence, we get \(\varpi ^{*}\in \Lambda _{0}\). Also, due to the fact that \(\phi \varpi ^{*}\in \phi (\Lambda _{0})\subseteq \Pi _{0}\), there exists \(z\in \Lambda _{0}\) such that
We can consider \(\varpi _{r+1}\ne z\) for all \(r\ge 1\). Otherwise, since \(\varpi _{r}\ne \varpi _{r+1}\) for all \(r\ge 1,\) we can find subsequences satisfying \(\varpi _{r_{k}+1}\ne z\) for all \(k\ge 1\). Then, from (2 ) and (4), we have
for all \(r\ge 1.\) Taking the limit as \(r\rightarrow \infty\) in the last inequality, from (3) and (5), we get
which implies \(\varpi ^{*}=z\). Hence, from (4), there exists \(\varpi ^{*}\) in \(\Lambda\) such that \(\kappa (\varpi ^{*},\phi \varpi ^{*})=\kappa (\Lambda ,\Pi )\). \(\square\)
The following example is important as it shows that the approach of Haghi et al. [13] cannot be applied to Theorem 4.
Example 1
Let \(\Xi =\left( \{0\}\cup [1,\infty )\right) \times \left( \{0\}\cup [1,\infty )\right)\) and \(\kappa :\Xi \times \Xi \rightarrow [0,\infty )\) defined by
where \(\varpi =(\varpi _{1},\varpi _{2})\) and \(\varsigma =(\varsigma _{1},\varsigma _{2})\in \Xi\). Then, \((\Xi ,\kappa )\) is a complete partial metric space. Also, for all \(\varpi \in \Xi ,\) we have
and
Consider the sets
and
Then, we have \(\kappa (\Lambda ,\Pi )=12,\) \(\Lambda _{0}=\Lambda\) and \(\Pi _{0}=\Pi\). Further, it can be seen that \(\Lambda\) is closed. If we define a mapping \(\phi :\Lambda \rightarrow \Pi\) by
then we get \(\phi (\Lambda _{0})\subseteq \Pi _{0}\) and \(\phi\) is continuous mapping with respect to \(\tau _{\kappa }.\) Also, the mapping \(\phi\) satisfies (1) for \(q=\frac{16}{17}\). Indeed, let \(\xi ,v,\varpi ,\varsigma\) be arbitrary points in \(\Lambda\) with \(\xi \ne v\) satisfying
Then, we get \(\varpi =\xi \ne v=\varsigma \in \{(3,8),(1,11)\}.\) In this case, we have
Thus, all hypotheses of Theorem 4 are satisfied, and so \(\phi\) has a best proximity point in \(\Lambda\). Now, consider the standard metric \(\theta\) defined by
as in Proposition 2.1 of [13]. However, for \(\xi =\varpi =(3,8)\) and \(\varsigma =v=(1,11)\in \Lambda\), we have
for all \(q\in [0,1)\). Therefore, \(\phi\) does not satisfy (1) with respect to \(\theta\).
Taking \(\Lambda =\Pi =\Xi\) in Theorem 4, we obtain the following fixed point result.
Corollary 1
Let \(\phi :(\Xi ,\kappa )\rightarrow (\Xi ,\kappa )\) be a mapping where \((\Xi ,\kappa )\) is a complete partial metric space. Then, there is a point \(\varpi ^{*}\) in \(\Xi\) satisfying \(\varpi ^{*}=\phi \varpi ^{*}\) if there is q in [0, 1) satisfying, for all \(\varpi \ne \varsigma\),
Now, we introduce the following definition of proximal p-contraction of the second type.
Definition 7
Let \((\Xi ,\kappa )\) be a partial metric space and \(\emptyset \ne \Lambda ,\Pi \subseteq \Xi .\) A mapping \(\phi :\Lambda \rightarrow \Pi\) is said to be proximal p-contraction of the second type if there exists q in [0, 1) such that, for all \(\xi _{1},\xi _{2,}\varpi _{1,}\varpi _{2}\in \Lambda\) with \(\phi \xi _{1}\ne \phi \xi _{2},\)
Now, we give our second main result.
Theorem 5
Let \((\Xi ,\kappa )\) be a complete partial metric space and \(\emptyset \ne \Lambda ,\Pi \subseteq \Xi\) where \(\Pi\) is closed and \(\Lambda\) is a \(\kappa\)-approximately compact with respect to \(\Pi .\) Assume that the followings hold:
-
(i)
\(\Lambda _{0}\ne \emptyset\) and \(\phi (\Lambda _{0})\subseteq \Pi _{0}\).
-
(ii)
\(\phi :\Lambda \rightarrow \Pi\) is a proximal p-contraction of the second type.
-
(iii)
\(\phi\) is a continuous mapping with respect to \(\tau _{\kappa }\).
Then, there exists \(\varpi ^{*}\) in \(\Lambda\) such that \(\kappa (\varpi ^{*},\phi \varpi ^{*})=\kappa (\Lambda ,\Pi )\).
Proof
Let \(\varpi _{0}\in\) \(\Lambda _{0}\) be any point. Since \(\phi \varpi _{0}\in \phi (\Lambda _{0})\subseteq \Pi _{0},\) there exists \(\varpi _{1}\in \Lambda _{0}\) satisfying
Similarly, since \(\phi \varpi _{1}\in \phi (\Lambda _{0})\subseteq \Pi _{0},\) there exists \(\varpi _{2}\in \Lambda _{0}\) satisfying
Repeating this process, we can construct a sequence \(\{\varpi _{r}\}\) in \(\Lambda\) such that, for all \(r\ge 1,\)
Assume that \(\phi \varpi _{r_{0}}=\phi \varpi _{r_{0}+1}\) for some \(r_{0}\ge 1\), then from (7), \(\varpi _{r_{0}+1}\) is a best proximity point of \(\phi\). We now get \(\phi \varpi _{r}\ne \phi \varpi _{r+1}\) for all \(r\ge 1\). Because \(\phi\) is a proximal p-contraction of the second type, we have, for all \(r\ge 1,\)
Suppose that the inequality \(\kappa (\phi \varpi _{r_{0}-1},\phi \varpi _{r_{0}})\le \kappa (\phi \varpi _{r_{0}},\phi \varpi _{r_{0}+1})\) holds for some \(r_{0}\ge 1\), then we have
This is a contradiction. Thus, we can conclude that \(\kappa (\phi \varpi _{r},\phi \varpi _{r+1})<\kappa (\phi \varpi _{r-1},\phi \varpi _{r})\) for all \(r\ge 1\). Therefore, we get
and so, for all \(r\ge 1\),
Using the last inequality, we have
for all \(r\ge 1\). Now, for \(m,r\ge 1\) with \(m>r\), we obtain
Therefore, we have \(\lim _{r,m\rightarrow \infty }\kappa (\phi \varpi _{r},\phi \varpi _{m})=0\). Thus, \(\{\phi \varpi _{r}\}\) is a Cauchy sequence in \(\Pi\). Because of the fact that \(\Pi\) is a closed subset of complete partial metric space \((\Xi ,\kappa )\), there is \(\varsigma ^{*}\in \Pi\) satisfying
Moreover, from (7), it can be seen that
Hence, we get \(\kappa (\varsigma ^{*},\varpi _{r+1})\rightarrow \kappa (\varsigma ^{*},\Lambda )\) as \(r\rightarrow \infty\). Since \(\Lambda\) is a \(\kappa\)-approximately compact with respect to \(\Pi\), there exists a subsequence \(\{\varpi _{r_{k}}\}\) of \(\{\varpi _{r}\}\) such that
for some \(\varpi ^{*}\in \Lambda\). Since \(\phi\) is a continuous mapping with respect to \(\kappa\), we get
Hence, we get
and so taking the limit as \(k\rightarrow \infty ,\) we have \(\kappa (\varpi ^{*},\phi \varpi ^{*})=\kappa (\Lambda ,\Pi ).\) \(\square\)
The following example is important as it shows that the approach of Haghi et al. [13] cannot be applied to Theorem 5.
Example 2
Let \((\Xi ,\kappa )\) be as in Example 1. Let \(\Lambda =\left\{ (4,9),(2,12)\right\}\) and \(\Pi =\left\{ (2,9),(1,11)\right\}\). Then, we have \(\kappa (\Lambda ,\Pi )=15\), \(\Lambda _{0}=\Lambda\) and \(\Pi _{0}=\Pi\) . Since the single point \(\{(\varpi _{1},\varpi _{2})\}\) is closed whenever \(\varpi _{1}>0\) for all \(\varpi =(\varpi _{1},\varpi _{2})\in \Pi\), \(\Pi\) is closed. Also, it can be seen that \(\Lambda\) is \(\kappa\)-approximately compact with respect to \(\Pi\). Define a mapping \(\phi :\Lambda \rightarrow \Pi\) by
Hence, \(\phi\) is a continuous mapping with respect to \(\tau _{\kappa }\). Further, we have \(\phi (\Lambda _{0})\subseteq \Pi _{0}\). We will demonstrate that \(\phi\) is a proximal p-contraction of the second type for \(q=\frac{29 }{31}\). Let \(\xi ,v,\varpi ,\varsigma\) be arbitrary points in \(\Lambda\) with \(\phi \xi \ne \phi v\) satisfying
Then, we get \(\phi \varpi =\phi \xi \ne \phi v=\phi \varsigma \in \{(2,9),(1,11)\}.\) In this case, we have
Thus, all hypotheses of Theorem 5 are satisfied, and so \(\phi\) has a best proximity point in \(\Lambda\). Now, consider the metric \(\theta\) defined by
as in Proposition 2.1 of [13]. However, for \(\phi \varpi =\phi \xi =(2,9)\) and \(\phi v=\phi \varsigma =(1,11)\), we have
for all \(q\in [0,1)\). Therefore, \(\phi\) does not satisfy (1) with respect to \(\theta\).
If we take \(\Lambda =\Pi =\Xi\) in Theorem 5, then we present the following fixed point result.
Corollary 2
Let \(\phi :(\Xi ,\kappa )\rightarrow (\Xi ,\kappa )\) be a continuous mapping with respect to \(\tau _{\kappa }\) where \((\Xi ,\kappa )\) is a complete partial metric space. Then, there is a point \(\varpi ^{*}\) in \(\Xi\) satisfying \(\varpi ^{*}=\phi \varpi ^{*}\) if there exists q in [0, 1) such that for all \(\varpi ,\varsigma \in \Xi\) with \(\phi \varpi \ne \phi \varsigma\),
Nonlinear fractional differential equations
The existence and uniqueness of the solution to nonlinear fractional differential equations are examined in this section. First, let us recall some basic definitions of fractional calculus (see [12, 14, 16, 17, 26, 27]). The Caputo derivative of h of order \(\alpha >0\) is defined by
where \(h:[0,\infty )\rightarrow {\mathbb {R}}\) is a continuous function and \(r=\left[ \alpha \right] +1\) with \([\alpha ]\) denoting the integer part of a positive real number \(\alpha\), and \(\Gamma\) is the gamma function
The following nonlinear fractional differential equation of Caputo type
with integral boundary conditions
where \(h:[0,1]\times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is a continuous function, and \(1<\alpha \le 2\), \(0<\) \(\delta <1\), \(\varpi \in C[0,1]\). Since h is a continuous, it is clear that Eq. (10 ) is equal to the integral equation.
Theorem 6
Assume the following conditions are true:
(i) for all \(\varpi \in C[0,1]\) and \(\beta \in [0,1],\) the mapping \(\phi :\Xi \rightarrow \Xi\)
is a continuous mapping.
(ii) there is \(q\in [0,1)\) such that
Then, the problem (10) has a solution.
Proof
Let \(\Xi =C[0,1]\) and \(\kappa :\Xi \times \Xi \rightarrow [0,\infty )\) be a function defined by
for all \(\xi ,v\in \Xi\) and \(\beta \in [0,1].\) Hence, \((\Xi ,\kappa )\) is a complete partial metric space. Now, we will demonstrate that \(\phi\) holds (6). For all \(\varpi ,\varsigma \in \Xi\) and \(\beta \in [0,1],\) we have
which implies that
Hence, we get
As a result, all of Corollary 1’s hypotheses are met, and thus \(\phi\) has a fixed point. Consequently, there is a solution to nonlinear fractional differential equation of Caputo type (10). \(\square\)
Conclusion
Using best proximity point theory on complete partial metric spaces, we aim to expand several famous conclusions that have already been in the literature. We first introduce some new concepts, named proximal p -contractions of the first type and proximal p-contractions of the second type, and then prove some best proximity point theorems for such mappings on partial metric spaces. We also get some notable examples where our results are valid and the results in [13] are not. Hence, our results are a real generalization of some of the results that exist in standard metric spaces and partial metric spaces. Finally, with the help of our results, we obtain sufficient conditions for the existence of the solution of nonlinear fractional differential equations.
References
Altun, I., Simsek, H.: Some fixed point theorems on dualistic partial metric spaces. J. Adv. Math. Stud. 1, 1–9 (2008)
Altun, I., Sola, F., Simsek, H.: Generalized contractions on partial metric spaces. Topol. Appl. 157(18), 2778–2785 (2010)
Altun, I., Aslantas, M., Sahin, H.: Best proximity point results for p-proximal contractions. Acta Math. Hung. 162, 393–402 (2020)
Aslantas, M.: Finding a solution to an optimization problem and an application. J. Optim. Theory Appl. 194(1), 121–141 (2022)
Aslantas, M.: A new contribution to best proximity point theory on quasi metric spaces and an application to nonlinear integral equations. Optimization 1–14 (2022)
Aydi, H., Abbas, M., Vetro, C.: Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces. Topol. Appl. 159, 3234–3242 (2012)
Banach, S.: Sur les opérations dans les ensembles abstraits et leur applications aux équations intégrales. Fund. Math. 3, 133–181 (1922)
Basha, S.S.: Best proximity point theorems. J. Approx. Theory 163(11), 1772–1781 (2011)
Basha, S.S.: Extensions of Banach’s contraction principle. Numer. Funct. Anal. Optim. 31(5), 569–576 (2010)
Basha, S.S., Veeramani, P.: Best approximations and best proximity pairs. Acta Sci. Math. 63, 289–300 (1977)
Ćirić, L., Samet, B., Aydi, H., Vetro, C.: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 218(6), 2398–2406 (2011)
El-Hady, E.S., Ogrekci, S.: On Hyers–Ulam–Rassias stability of fractional differential equations with Caputo derivative. J. Math. Comput. Sci. 22, 325–332 (2021)
Haghi, R.H., Rezapour, S., Shahzad, N.: Be careful on partial metric fixed point results. Topol. Appl. 160, 450–454 (2013)
Hattaf, K., Mohsen, A.A., Al-Husseiny, H.F.: Gronwall inequality and existence of solutions for differential equations with generalized Hattaf fractional derivative. J. Math. Comput. Sci. 27, 18–27 (2022)
Kadelburg, Z., Radenovic, S.: Fixed point and tripled fixed point theorems under Pata-Type conditions in ordered metric spaces. Int. J. Anal. Appl. 6, 113–122 (2014)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies 204, Elsevier, Amsterdam (2006)
Long, L.D.: Cauchy problem for inhomogeneous fractional nonclassical diffusion equation on the sphere. J. Math. Comput. Sci 25(4), 303–311 (2022)
Matthews, S.G.: Partial metric topology. Ann. N.Y. Acad. Sci. 728, 183–197 (1994)
Popescu, O.: A new type of contractive mappings in complete metric spaces. Bull. Transilv. Univ. Brasov, Ser. III Math. Inform. Phys. 150, 479–482 (2008)
Raj, V.S.: Best proximity point theorems for non-self mappings. Fixed Point Theory 14(2), 447–454 (2013)
Reich, S.: Fixed points of contractive functions. Boll. Unione Mat. Ital. 5, 26–42 (1972)
Romaguera, S.: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 159, 194–199 (2012)
Sahin, H.: Existence and uniqueness results for nonlinear fractional differential equations via new Q-function. Adv. Oper. Theory 7, 1–21 (2022)
Sahin, H.: A new best proximity point result with an application to nonlinear Fredholm integral equations. Mathematics 10(4), 1–14 (2022)
Sahin, H., Aslantas, M., Nasir Nasir, A.A.: Some extended results for multivalued F-contraction mappings. Axioms 12(2), 116 (2023)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integral and Derivative. Gordon and Breach, London (1993)
Youssef, M.I.: Generalized fractional delay functional equations with Riemann–Stieltjes and infinite point nonlocal conditions. J. Math. Comput. Sci. 24, 33–48 (2022)
Acknowledgements
The author is grateful to the referees for their valuable comments, which improved how the paper was presented.
Funding
Open access funding provided by the Scientific and Technological Research Council of Türkiye (TÜBİTAK).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aslantaş, M. Existence of the solution of nonlinear fractional differential equations via new best proximity point results. Math Sci (2024). https://doi.org/10.1007/s40096-023-00521-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40096-023-00521-4