Next Article in Journal
Research on Fuzzy Temporal Event Association Mining Model and Algorithm
Next Article in Special Issue
Best Proximity Point for ΓτF-Fuzzy Proximal Contraction
Previous Article in Journal
Exponential Stability of Hopfield Neural Network Model with Non-Instantaneous Impulsive Effects
Previous Article in Special Issue
Fixed Point Theorems for Mann’s Iteration Scheme in Convex Gb-Metric Spaces with an Application
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Extended Results for Multivalued F-Contraction Mappings

by
Hakan Sahin
1,*,†,
Mustafa Aslantas
2,† and
Ali Abdulkareem Nasir Nasir
2,†
1
Department of Mathematics, Faculty of Engineering and Natural Sciences, Bursa Technical University, Bursa 16310, Turkey
2
Department of Mathematics, Faculty of Science, Çankırı Karatekin University, Çankırı 18100, Turkey
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2023, 12(2), 116; https://doi.org/10.3390/axioms12020116
Submission received: 15 December 2022 / Revised: 17 January 2023 / Accepted: 20 January 2023 / Published: 22 January 2023
(This article belongs to the Special Issue Fixed Point Theory and Its Related Topics III)

Abstract

:
In this study, we introduce a new notion, so-called K W -type F-contraction mapping, inspired by the ideas of Wardowski and Klim–Wardowski. Then, we investigate the existence of a best proximity point for such mappings by considering a new family, which is larger than the family of functions that is often used in fixed-point results for multivalued mappings. To demonstrate the effectiveness of our result, we also give a comparative example to which similar results in the literature cannot be applied. Moreover, we present an application of our main result to homotopic mappings.

1. Introduction and Preliminaries

Fixed-point theory in metric spaces was initiated by the result which states that every self-mapping φ on a complete metric space ( , ρ ) , such that ρ ( φ s ˇ , φ u ˘ ) k ρ ( s ˇ , u ˘ ) , for all s ˇ , u ˘ where k [ 0 , 1 ) , has a unique fixed point in . The result is known as Banach’s contraction principle [1]. Banach’s contraction principle has been generalized in different ways, especially because of its applications in non-linear analysis [2,3]. In this sense, Wardowski [4] introduced the useful and interesting concept of F-contraction mappings and obtained a fixed-point result for new kinds of mappings. Thus, previously established results in the literature, including the famous Banach contraction principle, were extended [5]. Then, in 2015, Cosentino et al. [6] adapted Wardowski’s result to b-metric spaces. In 2016, Durmaz et al. [7] took ordered metric spaces and F-contractions into account together. In 2017, combining F-contractions and c-comparison functions, Aydi et al. [8] obtained a fixed-point theorem for such mappings. In 2019, Sahin et al. [9] investigated the existence of a fixed point for Feng–Liu-type multivalued mappings defined via F-contraction in M-metric spaces. A reminder of some notions and notations related to F-contraction is provided below.
Let F be a family function Ψ : ( 0 , ) R satisfying the following conditions:
(F 1 )
For all λ 1 , λ 2 > 0 with λ 1 < λ 2 , we have Ψ ( λ 1 ) < Ψ ( λ 2 ) .
(F 2 )
For every sequence { λ t } ( 0 , ) , lim t λ t = 0 if lim t Ψ ( λ t ) = .
(F 3 )
There is k ( 0 , 1 ) satisfying lim λ 0 + λ k Ψ ( λ ) = 0 .
Let φ : be a mapping and ( , ρ ) be a metric space. If there is τ > 0 and Ψ F , such that
τ + Ψ ( ρ ( φ s ˇ , φ u ˘ ) ) Ψ ( ρ ( s ˇ , u ˘ ) )
for all s ˇ , u ˘ with ρ ( φ s ˇ , φ u ˘ ) > 0 , then φ is called an F-contraction on .
Then, Wardowski proved the following result for the F-contraction mappings.
Theorem 1 
([4]). Let φ be an F-contraction on ( , ρ ) where ( , ρ ) is a complete metric space. Then, there exists a unique point s ˇ * in ℑ satisfying φ s ˇ * = s ˇ * and, for each s ˇ 0 , the sequence { φ t s ˇ 0 } converges to s ˇ * .
Recently, Secelean [10] presented the following conditions which are equivalent to the ( F 2 ), but easy condition
( F 2 )
inf Ψ =
or
( F 2 )
there exists the sequence { λ t } ( 0 , ) , such that lim t Ψ ( λ t ) = .
Then, Secelean [10] proved the following important lemma:
Lemma 1. 
Let Ψ : ( 0 , ) R be an increasing function and { λ t } ( 0 , ) be a sequence. Then, the following statements are true.
(i) 
if lim t Ψ ( λ t ) = , then l i m t λ t = 0 .
(ii) 
if inf Ψ = and lim t λ t = 0 , then lim t Ψ ( λ t ) = .
We will denote the set of all functions Ψ : ( 0 , ) R satisfying ( F 1 ), ( F 2 ) and ( F 3 ) by F .
Combining multivalued mappings and Lipschitz mappings, Nadler [11] presented one of the important generalizations of the Banach contraction principle for multivalued mappings as follows:
Theorem 2 
([11]). Let φ be a multivalued mapping on ( , ρ ) , where ( , ρ ) is a complete metric space, such that φ s ˇ is a non-empty, closed and bounded subset of ℑ (denote by C B ( ) ) for any s ˇ . If there exists c ( 0 , 1 ) , such that
H ( φ s ˇ , φ u ˘ ) c ρ ( s ˇ , u ˘ )
for all s ˇ , u ˘ , then the mapping φ has a fixed point in ℑ where
H ( Γ , Λ ) = max { sup s ˇ Γ ρ ( s ˇ , Λ ) , sup u ˘ Λ ρ ( Γ , u ˘ ) }
for all Γ , Λ C B ( ) .
Considering the family of all non-empty closed subsets of (denoted by C ( ) ) instead of C B ( ) , an interesting and nice generalization of Nadler’s result, without using the Hausdorff metric, was obtained by Feng and Liu [12] as follows:
Theorem 3 
([12]). Let φ : C ( ) be a multivalued mapping on a complete metric space ( , ρ ) . Assume that there exists u ˘ I b s ˇ = { u ˘ φ s ˇ : b ρ ( s ˇ , u ˘ ) ρ ( s ˇ , φ s ˇ ) } for all s ˇ and for some b , c [ 0 , 1 ) with c < b , such that
ρ ( u ˘ , φ u ˘ ) c ρ ( s ˇ , u ˘ ) .
Then, the mapping φ has a fixed point in ℑ provided that the mapping s ˇ ρ ( s ˇ , φ s ˇ ) is lower semi-continuous.
Then, Klim and Wardowski [13] introduced a new contraction for multivalued mappings by considering the ideas of Feng–Liu [12] and Mizoguchi–Takahashi [14]. Hence, they proved the following nice result for such contractive mappings:
Theorem 4 
([13]). Let φ : C ( ) be a multivalued mapping on a complete metric space ( , ρ ) and a function h : R defined by h ( s ˇ ) = ρ ( s ˇ , φ s ˇ ) be lower semi-continuous. If there exist b ( 0 , 1 ) and φ : [ 0 , ) [ 0 , b ) , such that
lim s + sup φ ( ) < b
for all s 0 and there exists u ˘ I b s ˇ for all s ˇ satisfying
ρ ( u ˘ , φ u ˘ ) φ ( ρ ( s ˇ , u ˘ ) ) ρ ( s ˇ , u ˘ ) ,
then the mapping φ has a fixed point in ℑ.
Recently, taking into account the idea of F-contraction for multivalued mappings, multivalued F-contraction mappings were presented by Altun et al. [15].
Let φ : C B ( ) be a multivalued mapping on a metric space ( , ρ ) . If there is τ > 0 and Ψ F , such that
τ + Ψ ( H ( φ s ˇ , φ u ˘ ) ) Ψ ( ρ ( s ˇ , u ˘ ) )
for all s ˇ , u ˘ with H ( φ s ˇ , φ u ˘ ) > 0 , then φ is called a multivalued F-contraction mapping.
Then, they proved that a compact valued ( K ( ) ) multivalued F-contraction mapping φ on a complete metric space ( , ρ ) has a fixed point in . In addition, they investigated whether the same result is valid if the mapping φ is C B ( ) valued and proved a fixed-point result for the new type of mappings by assuming the following property in addition to (F 1 )–(F 3 ):
(F 4 ) For all Γ ( 0 , ) with inf Γ > 0 , we have Ψ ( inf Γ ) = inf Ψ ( Γ ) .
We denote the family of functions Ψ F satisfying (F 4 ) by F * throughout this study.
On the other hand, if for a non-self mapping φ : Γ Λ on a metric space ( , ρ ) ,we have ρ ( Γ , Λ ) > 0 , then the equation φ s ˇ = s ˇ may not have a solution. In this case, the question whether there is a point s ˇ , such that ρ ( s ˇ , φ s ˇ ) = ρ ( Γ , Λ ) , has become very popular in recent times. The point s ˇ is said to be the best proximity point of φ [16]. It is clear that, if the mapping φ has a best proximity point, then the minimization problem min ρ ( s ˇ , φ s ˇ ) : s ˇ Γ has a solution. Therefore, this topic has been studied by many authors [17,18,19,20,21,22,23,24]. Now, we recall some concepts and notations which are important for our results.
Let us consider the following subsets of a metric space ( , ρ ) :
Γ 0 = { s ˇ Γ : ρ ( s ˇ , u ˘ ) = ρ ( Γ , Λ ) for some u ˘ Λ }
and
Λ 0 = { u ˘ Λ : ρ ( s ˇ , u ˘ ) = ρ ( Γ , Λ ) for some s ˇ Γ } .
Definition 1 
([25]). Let Γ and Λ be non-empty subsets of a metric space ( , ρ ) . Then, the pair ( Γ , Λ ) is said to have a modified P-property, if it is satisfied
ρ ( s ˇ 1 , u ˘ 1 ) = ρ ( Γ , Λ ) ρ ( s ˇ 2 , u ˘ 2 ) = ρ ( Γ , Λ ) ρ ( s ˇ 1 , s ˇ 2 ) = ρ ( u ˘ 1 , u ˘ 2 )
for all s ˇ 1 , s ˇ 2 Γ with s ˇ 1 s ˇ 2 and u ˘ 1 , u ˘ 2 Λ with u ˘ 1 u ˘ 2 .
Very recently, Sahin [25] introduced generalized multivalued F-contraction mapping inspired by the ideas of Feng–Liu and Wardowski, and then proved the following result for such mappings.
Theorem 5 
([25]). Let Γ , Λ be closed, having a modified P-property, where ( , ρ ) is a complete metric space and Γ 0 . Suppose that φ : Γ C ( Λ ) is a multivalued mapping and f ( s ˇ , u ˘ ) = ρ ( u ˘ , φ s ˇ ) is lower semi-continuous on Γ × Λ . If there are τ > 0 and Ψ F * such that for all s ˇ Γ 0 with ρ ( s ˇ , φ s ˇ ) > ρ ( Γ , Λ ) and u ˘ φ s ˇ , there exists z Γ 0 satisfying
ρ ( u ˘ , z ) = ρ ( Γ , Λ )
and
τ + Ψ ( ρ ( u ˘ , φ z ) ) Ψ ( ρ ( s ˇ , z ) ) ,
then, φ has a best proximity point in Γ .
Thus, the main result for C B ( ) valued mappings in [15] has been generalized in an interesting way. Note that one needs the family F * to show the existence of a fixed point for C B ( ) valued mappings. However, Aslantas [26] presented another approach by a new family, which includes F * . We combine the approaches of Secelean [10] and Aslatas [26]. Now, let φ : Γ P ( Λ ) (the family of all non-empty subsets of Λ ) be a mapping defined on a metric space ( , ρ ) , where Γ , Λ . Define a family by
φ ρ F * * = { Ψ F : Ψ σ , φ s ˇ , u ˘ for all s ˇ , u ˘ ρ Λ Γ and σ 0 } ,
where
Ψ σ , φ s ˇ , u ˘ = { z φ s ˇ : Ψ ( ρ ( u ˘ , z ) ) Ψ ( ρ ( u ˘ , φ s ˇ ) ) + σ }
and
ρ Λ Γ = s ˇ , u ˘ Γ × Λ : ρ ( s ˇ , u ˘ ) = ρ ( Γ , Λ ) and ρ ( u ˘ , φ s ˇ ) > 0 .
Then, it can be shown that F * is a proper subset of φ ρ F * * .
In this study, we offer a novel idea known as K W -type F-contraction mapping, which is inspired by the theories of Klim–Wardowski and Wardowski. Then, we examine the existence of a best proximity point for such mappings by considering a new family φ ρ F * * , which is larger than the family of functions F * . In addition, we give a comparative example to which similar results in the literature cannot be applied to demonstrate the effectiveness of our result.

2. Main Results

Now, we introduce the following definition:
Definition 2. 
Let ( , ρ ) be a metric space and Γ , Λ . Assume that φ : Γ C ( Λ ) is a mapping and Ψ F . Then, we say that φ is K W -type F-contraction mapping if there are σ 0 and τ : ( 0 , ) ( σ , ) , such that, for all s > 0
lim s + inf τ ( ) > σ ,
and there exists z Γ 0 for all s ˇ Γ 0 with ρ ( s ˇ , φ s ˇ ) > ρ ( Γ , Λ ) and u ˘ φ s ˇ satisfying
ρ ( z , u ˘ ) = ρ ( Γ , Λ )
and
τ ( ρ ( s ˇ , z ) ) + Ψ ( ρ ( u ˘ , φ z ) ) Ψ ( ρ ( s ˇ , z ) ) .
The following is the main result of this study:
Theorem 6. 
Let ( , ρ ) be a complete metric space, φ : Γ C ( Λ ) be a K W -type F-contraction mapping, where Γ , Λ are closed non-empty subsets having a modified P-property, Γ 0 and Ψ φ ρ F * * . Then, φ has a best proximity point in Γ provided that f ( s ˇ , u ˘ ) = ρ ( u ˘ , φ s ˇ ) is lower semi-continuous on Δ, where
Δ = { ( s ˇ , u ˘ ) Γ × Λ : ρ ( s ˇ , u ˘ ) = ρ ( Γ , Λ ) } .
Proof. 
Let s ˇ 0 be an arbitrary point in Γ 0 and choose u ˘ 0 φ s ˇ 0 . If ρ ( s ˇ 0 , φ s ˇ 0 ) = ρ ( Γ , Λ ) , then s ˇ 0 is a best proximity point of φ , and so the proof is completed. Now, assume ρ ( s ˇ 0 , φ s ˇ 0 ) > ρ ( Γ , Λ ) . Since φ is a K W -type F-contraction mapping, there is s ˇ 1 Γ 0 satisfying
ρ ( s ˇ 1 , u ˘ 0 ) = ρ ( Γ , Λ )
and
τ ( ρ ( s ˇ 0 , s ˇ 1 ) ) + Ψ ( ρ ( u ˘ 0 , φ s ˇ 1 ) ) Ψ ( ρ ( s ˇ 0 , s ˇ 1 ) ) .
Hence, we get s ˇ 0 s ˇ 1 . Since Ψ φ ρ F * * , we get Ψ σ , φ s ˇ 1 , u ˘ 0 . So, there exists u ˘ 1 φ s ˇ 1 satisfying
Ψ ( ρ ( u ˘ 0 , u ˘ 1 ) ) Ψ ( ρ ( u ˘ 0 , φ s ˇ 1 ) ) + σ .
If ρ ( s ˇ 1 , φ s ˇ 1 ) = ρ ( Γ , Λ ) , then s ˇ 1 is a best proximity point of φ , and so the proof is completed. Now, assume ρ ( s ˇ 1 , φ s ˇ 1 ) > ρ ( Γ , Λ ) . Then, there is s ˇ 2 Γ 0 satisfying
ρ ( s ˇ 2 , u ˘ 1 ) = ρ ( Γ , Λ )
and
τ ( ρ ( s ˇ 1 , s ˇ 2 ) ) + Ψ ( ρ ( u ˘ 1 , φ s ˇ 2 ) ) Ψ ( ρ ( s ˇ 1 , s ˇ 2 ) ) .
Hence, we get s ˇ 1 s ˇ 2 . Since Ψ φ ρ F * * , we get Ψ σ , φ s ˇ 2 , u ˘ 1 . So, there exists u ˘ 2 φ s ˇ 2 satisfying
Ψ ( ρ ( u ˘ 1 , u ˘ 2 ) ) Ψ ( ρ ( u ˘ 1 , φ s ˇ 2 ) ) + σ .
By continuing, one can find two sequences { s ˇ t } in Γ and { u ˘ t } in Λ with s ˇ t s ˇ t + 1 and u ˘ t u ˘ t + 1 satisfying
ρ ( s ˇ t + 1 , u ˘ t ) = ρ ( Γ , Λ ) ,
τ ( ρ ( s ˇ t , s ˇ t + 1 ) ) + Ψ ( ρ ( u ˘ t , φ s ˇ t + 1 ) ) Ψ ( ρ ( s ˇ t , s ˇ t + 1 ) ) ,
and
Ψ ( ρ ( u ˘ t , u ˘ t + 1 ) ) Ψ ( ρ ( u ˘ t , φ s ˇ t + 1 ) ) + σ .
for all t 0 . Further, since the pair ( Γ , Λ ) has the modified P-property, then, from (5), we get
ρ ( s ˇ t , s ˇ t + 1 ) = ρ ( u ˘ t 1 , u ˘ t )
for all t 1 . Thus, using (6) and (7), we obtain
Ψ ( ρ ( s ˇ t , s ˇ t + 1 ) ) = Ψ ( ρ ( u ˘ t 1 , u ˘ t ) ) Ψ ( ρ ( u ˘ t 1 , φ s ˇ t ) ) + σ Ψ ( ρ ( s ˇ t 1 , s ˇ t ) ) + σ τ ( ρ ( s ˇ t 1 , s ˇ t ) ) < Ψ ( ρ ( s ˇ t 1 , s ˇ t ) )
for all t 1 . Hence, the sequence { ρ ( s ˇ t , s ˇ t + 1 ) } is decreasing. Then, { ρ ( s ˇ t , s ˇ t + 1 ) } converges for some u [ 0 , ) . Assume that u > 0 . Then, from the hypothesis, we obtain
lim t inf τ ( ρ ( s ˇ t , s ˇ t + 1 ) ) > σ ,
and so there is η R with η > σ and t 0 N satisfying
τ ( ρ ( s ˇ t , s ˇ t + 1 ) ) > η
for all t t 0 . Therefore, for all t t 0 , we have
Ψ ( ρ ( s ˇ t , s ˇ t + 1 ) ) = Ψ ( ρ ( u ˘ t 1 , u ˘ t ) ) Ψ ( ρ ( s ˇ t 1 , s ˇ t ) ) + σ τ ( ρ ( s ˇ t 1 , s ˇ t ) ) < Ψ ( ρ ( s ˇ t 1 , s ˇ t ) ) + σ η Ψ ( ρ ( s ˇ t 2 , s ˇ t 1 ) ) + σ τ ( ρ ( s ˇ t 2 , s ˇ t 1 ) ) + σ η < Ψ ( ρ ( s ˇ t 2 , s ˇ t 1 ) ) + 2 σ η < Ψ ( ρ ( s ˇ t 0 , s ˇ t 0 + 1 ) ) + t t 0 σ η .
Taking the limit as t in (10), we have
lim t Ψ ( ρ ( s ˇ t , s ˇ t + 1 ) ) = ,
and so, from (F 2 ) and Lemma 1, we get
u = lim t ρ ( s ˇ t , s ˇ t + 1 ) = 0
which is a contradiction. Therefore, we get
lim t ρ ( s ˇ t , s ˇ t + 1 ) = 0 .
From the condition (F 3 ), there exists k ( 0 , 1 ) satisfying
lim t ρ ( s ˇ t , s ˇ t + 1 ) k Ψ ( ρ ( s ˇ t , s ˇ t + 1 ) ) = 0 .
From (10), we have
ρ ( s ˇ t , s ˇ t + 1 ) k Ψ ( ρ ( s ˇ t , s ˇ t + 1 ) ) ρ ( s ˇ t , s ˇ t + 1 ) k Ψ ( ρ ( s ˇ t 0 , s ˇ t 0 + 1 ) ) ρ ( s ˇ t , s ˇ t + 1 ) k t σ η 0
for all t t 0 . Hence, we get
t ρ ( s ˇ t , s ˇ t + 1 ) k 0 as t .
Therefore, there exists t 1 N satisfying
t ρ ( s ˇ t , s ˇ t + 1 ) k 1
for all t t 1 , which implies that
ρ ( s ˇ t , s ˇ t + 1 ) 1 t 1 / k
for all t t 1 . Now, let t , m N with m > t t 1 . Hence, we get
ρ ( s ˇ t , s ˇ m ) ρ ( s ˇ t , s ˇ t + 1 ) + ρ ( s ˇ t + 1 , s ˇ t + 2 ) + + ρ ( s ˇ m 1 , s ˇ m ) 1 t 1 / k + 1 ( t + 1 ) 1 / k + + 1 ( m 1 ) 1 / k i = t m 1 1 i 1 / k i = t 1 i 1 / k .
Since i = 1 1 i 1 / k < , { s ˇ t } is a Cauchy sequence in Γ . From (8), { u ˘ t } is also a Cauchy sequence in Λ . Since Γ and Λ are closed subsets of the complete metric space ( , ρ ) , there exist s ˇ * Γ and u ˘ * Λ satisfying s ˇ t s ˇ * and u ˘ t u ˘ * as t . Taking the limit as t in (5), we have
ρ ( s ˇ * , u ˘ * ) = ρ ( Γ , Λ ) ,
and so, we get ( s ˇ * , u ˘ * ) Δ . Moreover, from (9), (F 2 ) and Lemma 1, we get
lim t Ψ ( ρ ( u ˘ t , φ s ˇ t + 1 ) ) = ,
and so
lim t ρ ( u ˘ t , φ s ˇ t + 1 ) = 0 .
Now, since the function f ( s ˇ , u ˘ ) = ρ ( u ˘ , φ s ˇ ) is lower semi-continuous on Δ , s ˇ t + 1 s ˇ * and u ˘ t u ˘ * as t , from (13), we obtain
ρ ( u ˘ * , φ s ˇ * ) = f ( s ˇ * , u ˘ * ) lim t inf f ( s ˇ t + 1 , u ˘ t ) = lim t inf ρ ( u ˘ t , φ s ˇ t + 1 ) = 0 ,
and so, u ˘ * φ s ˇ * ¯ = φ s ˇ * . Therefore, from (12), we have
ρ ( Γ , Λ ) ρ ( s ˇ * , φ s ˇ * ) ρ ( s ˇ * , u ˘ * ) = ρ ( Γ , Λ ) .
So, we get
ρ ( s ˇ * , φ s ˇ * ) = ρ ( Γ , Λ ) ,
that is, s ˇ * is a best proximity point of φ . □
We obtain the generalized result below by using Theorem 6. The result generalizes the main result of [25].
Corollary 1. 
Let ( , ρ ) be a complete metric space and φ : Γ C ( Λ ) be a mapping, where Γ , Λ are closed non-empty subsets having a modified P-property. Assume that Γ 0 , τ > 0 and Ψ φ ρ F * * . If, for all s ˇ Γ 0 with ρ ( s ˇ , φ s ˇ ) > ρ ( Γ , Λ ) and u ˘ φ s ˇ , there exists z Γ 0 , such that
ρ ( z , u ˘ ) = ρ ( Γ , Λ ) ,
and
τ + Ψ ( ρ ( u ˘ , φ z ) ) Ψ ( ρ ( s ˇ , z ) )
then, φ has a best proximity point in Γ provided that f ( s ˇ , u ˘ ) = ρ ( u ˘ , φ s ˇ ) is lower semi-continuous on Δ .
Proof. 
To show the existence by Theorem 6, it is enough to demonstrate that the contraction condition of Theorem 6 is satisfied. Now, let s ˇ Γ 0 with ρ ( s ˇ , φ s ˇ ) > ρ ( Γ , Λ ) and u ˘ φ s ˇ be arbitrary points. Using Corollary 1, we say that there exists z Γ 0 , such that
ρ ( u ˘ , z ) = ρ ( Γ , Λ ) ,
and
τ + Ψ ( ρ ( u ˘ , φ z ) ) Ψ ( ρ ( s ˇ , z ) ) .
On the other hand, since τ > 0 , there exists a real number σ , such that 0 < σ < τ . Now, if we define the mapping τ : ( 0 , ) ( σ , ) by τ ( ) = τ for all > 0 , then the inequality (2) is satisfied. In addition, from (14), we have
τ ( ρ ( s ˇ , z ) ) + Ψ ( ρ ( u ˘ , φ z ) ) Ψ ( ρ ( s ˇ , z ) ) ,
and so, from Theorem 6, the mapping φ has a best proximity point in Γ .
Theorem 6 is a proper generalization of Corollary 1, as demonstrated by the example that follows.
Example 1. 
Let = R 2 and the function ρ : × R be the taxi-cab metric; that is, for all s ˇ = ( s ˇ 1 , s ˇ 2 ) , u ˘ = ( u ˘ 1 , u ˘ 2 ) , ρ ( s ˇ , u ˘ ) = | s ˇ 1 u ˘ 1 | + | s ˇ 2 u ˘ 2 | . If we take the subsets
Γ = 0 , 1 γ : γ N × { 0 }
and
Λ = 0 , 1 γ : γ N × { 1 }
then, Γ and Λ are closed subsets of the complete metric space ( , ρ ) . Moreover, ρ ( Γ , Λ ) = 1 , Γ 0 = Γ , Λ 0 = Λ and the pair ( Γ , Λ ) has the modified P-property. Consider the mappings Ψ : R + R and φ : Γ C ( Λ ) as Ψ ( α ) = ln α and
φ s ˇ = Λ , s ˇ = ( 0 , 0 ) 1 γ + 1 , 1 , s ˇ = 1 γ , 0 , γ N .
Choose σ = 0 and define the function τ : ( 0 , ) ( 0 , ) by
τ ( ) = ln γ + 1 γ , = 1 γ ( γ + 1 ) , γ N 1 , otherwise .
Then, we have Ψ φ ρ F * * and lim s + inf τ ( ) = 1 > 0 = σ for all s > 0 . We also have f ( s ˇ , u ˘ ) = ρ ( u ˘ , φ s ˇ ) is lower semi-continuous on Δ. Now, we indicate that φ is a K W -type F-contraction mapping. Let s ˇ = 1 γ , 0 for arbitrary γ N and choose u ˘ 1 γ + 1 , 1 = φ s ˇ . Then, it has to be z = 1 γ + 1 , 0 , and so φ z = 1 γ + 2 , 1 . In this case, it is satisfied
τ 1 γ ( γ + 1 ) + Ψ 1 ( γ + 1 ) ( γ + 2 ) = ln γ + 1 γ + ln 1 ( γ + 1 ) ( γ + 2 ) = ln 1 γ ( γ + 2 ) ln 1 γ ( γ + 1 ) = Ψ 1 γ ( γ + 1 )
for all γ N . Hence, all conditions of Theorem 6 hold; so, φ has a best proximity point in Γ. However, Theorem 1 is not applied to this example because the contraction condition of Corollary 1 is not satisfied. Assume the contrary, that is, there exists τ > 0 , such that, for all s ˇ Γ 0 with ρ ( s ˇ , φ s ˇ ) > ρ ( Γ , Λ ) and u ˘ φ s ˇ , there exists z Γ 0 , such that
ρ ( u ˘ , z ) = ρ ( Γ , Λ ) ,
and
τ + Ψ ( ρ ( u ˘ , φ z ) ) Ψ ( ρ ( s ˇ , z ) ) .
In this case, for s ˇ = 1 γ , 0 , γ N and choose u ˘ 1 γ + 1 , 1 = φ s ˇ . Then, it has to be z = 1 γ + 1 , 0 , and so φ z = 1 γ + 2 , 1 . In this case, it is satisfied
τ + Ψ 1 ( γ + 1 ) ( γ + 2 ) Ψ 1 γ ( γ + 1 ) ,
which implies that
τ ln γ + 2 γ
for all γ N . Taking the limit as γ , we have
τ 0
which is a contradiction.
If we define the function φ : [ 0 , ) [ 0 , 1 ) by
φ = 0 , = 0 e τ ( ) , > 0
via the function τ in Theorem 6, then we have lim s + sup φ ( ) < 1 for all s > 0 . Taking into account the function Ψ : R + R by Ψ ( α ) = ln α in Theorem 6, we also get, for all s ˇ Γ 0 and u ˘ φ s ˇ , there exists z Γ 0 satisfying
ρ ( u ˘ , z ) = ρ ( Γ , Λ )
and
ρ ( u ˘ , φ z ) φ ( ρ ( s ˇ , z ) ) ρ ( s ˇ , z ) .
Therefore, we can obtain the following best proximity point version of the fixed-point result of Klim and Wardowski with the help of Theorem 6.
Corollary 2. 
Let ( , ρ ) be a complete metric space, φ : Γ C ( Λ ) be a mapping where Γ , Λ are closed non-empty subsets having a modified P-property and Γ 0 . If there exist φ : [ 0 , ) [ 0 , 1 ) , such that, for all s > 0
lim s + sup φ ( ) < 1
and there exists z Γ 0 for all s ˇ Γ 0 and u ˘ φ s ˇ satisfying
ρ ( u ˘ , z ) = ρ ( Γ , Λ )
and
ρ ( u ˘ , φ z ) φ ( ρ ( s ˇ , z ) ) ρ ( s ˇ , z ) ,
and f ( s ˇ , u ˘ ) = ρ ( u ˘ , φ s ˇ ) is lower semi-continuous on Δ, then φ has a best proximity point in Γ.
When Γ = Λ = in Theorem 6, we conclude the following fixed-point theorem which is a generalization of the main result of [27].
Corollary 3. 
Let φ : C ( ) be a multivalued mapping on a complete metric space ( , ρ ) and Ψ φ ρ F * * . If there exist σ > 0 and τ : ( 0 , ) ( σ , ) , such that, for all s > 0
lim s + inf τ ( ) > σ
and, for all s ˇ with ρ ( s ˇ , φ s ˇ ) > 0 and u ˘ φ s ˇ , it is satisfied
τ ( ρ ( s ˇ , u ˘ ) ) + Ψ ( ρ ( u ˘ , φ u ˘ ) ) Ψ ( ρ ( s ˇ , u ˘ ) ) .
Then, φ has a fixed point in ℑ, provided that f ( s ˇ , s ˇ ) = ρ ( s ˇ , φ s ˇ ) is lower semi-continuous.

3. Homotopy Result

Recently, there has been a new trend towards interest in homotopy theory due to the close relation between several branches of mathematics and homotopy theory. In this sense, many mathematicians have produced applications of homotopy using their fixed-point results [28,29,30]. Taking into account this approach, we prove a best proximity point result for the homotopy. Now, we recall some basic concepts of this theory:
Definition 3. 
Let ( 1 , τ 1 ) and ( 2 , τ 2 ) be topological spaces, and ψ 1 , ψ 2 : 1 2 be continuous mappings. Then, the mapping ψ is called homotopy if there exists a continuous function ψ : 1 × [ 0 , 1 ] 2 , such that ψ ( s ˇ , 0 ) = ψ 1 s ˇ and ψ ( s ˇ , 1 ) = ψ 2 s ˇ , for all s ˇ 1 . Moreover, ψ 1 and ψ 2 are called homotopic mappings.
The authors give the following definition in [31].
Definition 4. 
Let Γ be a non-empty subset of a metric space ( , ρ ) and ψ : Γ × [ 0 , 1 ] C ( Γ ) be a mapping. If G ( ψ ) is a closed subset of ( Γ × [ 0 , 1 ] × Γ , ρ * ) , then ψ is called a closed multivalued mapping, where
G ( ψ ) = { ( s ˇ , γ , u ˘ ) : s ˇ Γ , γ [ 0 , 1 ] and u ˘ ψ ( s ˇ , γ ) }
and
ρ * ( ( s ˇ 1 , γ 1 , u ˘ 1 ) , ( s ˇ 2 , γ 2 , u ˘ 2 ) ) = ρ ( s ˇ 1 , s ˇ 2 ) + γ 1 γ 2 + ρ ( u ˘ 1 , u ˘ 2 )
for all ( s ˇ 1 , γ 1 , u ˘ 1 ) , ( s ˇ 2 , γ 2 , u ˘ 2 ) Γ × [ 0 , 1 ] × Γ .
Considering the best proximity point theory and Definition 4, Sahin [25] gave the following definition:
Definition 5. 
Let Γ , Λ , where ( , ρ ) is a metric space, and ψ : Γ × [ 0 , 1 ] C ( Λ ) be a multivalued mapping. Then, ψ is said to be a ρ-closed multivalued mapping if
G ρ ( ψ ) = { ( s ˇ , γ , u ˘ ) : s ˇ , u ˘ Y and γ [ 0 , 1 ] with ρ ( u ˘ , ψ ( s ˇ , γ ) = ρ ( Γ , Λ ) }
is a closed subset of ( Γ × [ 0 , 1 ] × Γ , ρ * ) .
Notice, if we take Γ = Λ in Definition 5, then Definition 5 turns to Definition 4. The following result is the main result of this section:
Theorem 7. 
Let ( , ρ ) be a complete metric space, Γ , Λ , where Γ , Λ are closed, U Γ and Γ 0 . Suppose that the pair ( Γ , Λ ) has the modified P-property, ψ : Γ × [ 0 , 1 ] C ( Λ ) is ρ-closed multivalued mapping and Ψ ψ ( . , γ ) ρ F * * for all γ [ 0 , 1 ] . Assume that the following conditions are satisfied:
(i) 
ρ ( s ˇ , ψ ( s ˇ , γ ) ) > ρ ( Γ , Λ ) for all s ˇ Γ U and γ [ 0 , 1 ] ,
(ii) 
there exist σ 0 and τ : ( 0 , ) ( σ , ) , such that, for all s > 0
lim s + inf τ ( ) > σ
and for all s ˇ ¯ Γ 0 , m , γ [ 0 , 1 ] and for all s ˇ B ¯ ( s ˇ ¯ , m ) = { s ˇ Γ : ρ ( s ˇ , s ˇ ¯ ) m } with ρ ( s ˇ , ψ ( s ˇ , γ ) ) > ρ ( Γ , Λ ) and u ˘ ψ ( s ˇ , γ ) , there is ζ B ¯ ( s ˇ ¯ , m ) , such that
ρ ( u ˘ , ζ ) = ρ ( Γ , Λ )
and
τ + Ψ ( ρ ( u ˘ , ψ ( ζ , γ ) ) ) Ψ ( ρ ( s ˇ , ζ ) ) .
(iii) 
for all γ [ 0 , 1 ] , f ( s ˇ , u ˘ ) = ρ ( u ˘ , ψ ( s ˇ , γ ) ) is lower semi-continuous on Δ.
Then, ψ ( · , 1 ) has a best proximity point in Γ, if ψ ( · , 0 ) has a best proximity point in Γ.
Proof. 
Define the following set
H = ( γ , s ˇ ) : ρ ( s ˇ , ψ ( s ˇ , γ ) ) = ρ ( Γ , Λ ) [ 0 , 1 ] × U .
Since there is a point s ˇ in U such that ρ ( s ˇ , ψ ( s ˇ , 0 ) ) = ρ ( Γ , Λ ) , we get H . Now, consider the following partial order on H
( γ , s ˇ ) ( μ , u ˘ ) γ μ and ρ ( s ˇ , u ˘ ) μ γ .
Assume that K is a totally ordered subset of H and γ * = sup { γ : ( γ , s ˇ ) K } . Consider { ( γ n , s ˇ n ) } K with ( γ n , s ˇ n ) ( γ n + 1 , s ˇ n + 1 ) for all n N and γ n γ * as n . So, we get
ρ ( s ˇ n , s ˇ m ) γ m γ n ,
for all n , m N with m > n . Therefore, we get { s ˇ n } U is a Cauchy sequence. There exists s ˇ * Γ , such that s ˇ n s ˇ * as n , since Γ is a closed subset of complete metric space ( Λ , ρ ) . In addition, we have ( s ˇ n , γ n , s ˇ n ) G ρ ( ψ ) and ( s ˇ n , γ n , s ˇ n ) ρ * ( s ˇ * , γ * , s ˇ * ) as n . Since ψ is a closed multivalued mapping, we get
ρ ( s ˇ * , ψ ( s ˇ * , γ * ) ) = ρ ( Γ , Λ ) .
From (i), we have s ˇ n U , and so ( γ * , s ˇ n ) H . It is satisfied ( γ , s ˇ ) ( γ * , s ˇ n ) for all ( γ , s ˇ ) K , since K is totally ordered. Hence, K has an upper bound ( γ * , s ˇ n ) . Therefore, we conclude H has a maximal element ( γ 0 , s ˇ 0 ) H using the Zorn Lemma. We claim that γ 0 = 1 . If we suppose the contrary, then there is γ with γ 0 < γ < 1 . Let R = γ γ 0 > 0 . Hence, considering (ii) and (iii), we say that f : B ¯ ( s ˇ 0 , M ) × Λ [ 0 , ) defined by f ( s ˇ , u ˘ ) = ρ ( u ˘ , ψ ( s ˇ , γ ) ) is lower semi-continuous on Δ and the mapping ψ ( · , γ ) : B ¯ ( s ˇ 0 , M ) C ( Λ ) is a K W -type F-contraction mapping. Therefore, we conclude that ψ ( · , γ ) has a best proximity point s ˇ γ in B ¯ ( s ˇ 0 , M ) using Theorem 6. From (i), s ˇ γ U , and so, ( γ , s ˇ γ ) H , which contradicts that ( γ 0 , s ˇ 0 ) is a maximal element of H. So, γ 0 = 1 and ψ ( · , 1 ) has a best proximity point s ˇ 0 in Γ . □

4. Conclusions

In this paper, we sought to combine the approaches of Wardowski and Klim–Wardowski. Hence, we first introduced a new type of F-contraction, named K W -type F-contraction mapping. Then, we investigated the conditions of existence of a best proximity point for such mappings by considering a new family φ ρ F * * which was larger than the family of functions F * . Moreover, we provided an example where our results can be applied, but to which the results in the literature cannot be applied. Finally, considering a new trend towards homotopy theory, we present an application for homotopic mappings.

Author Contributions

Conceptualization, H.S. and M.A.; methodology, H.S. and M.A.; validation, H.S., M.A. and A.A.N.N.; formal analysis, H.S., M.A. and A.A.N.N.; investigation, H.S., M.A. and A.A.N.N.; resources, H.S., M.A. and A.A.N.N.; writing—original draft preparation, H.S., M.A. and A.A.N.N.; writing—review and editing, H.S., M.A. and A.A.N.N.; visualization, H.S., M.A. and A.A.N.N.; supervision, H.S. and M.A.; project administration, H.S. and M.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The authors are thankful to the referees for making valuable suggestions leading to better presentation of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Banach, S. Sur les opérations dans les ensembles abstraits et leur applications aux équations intégrales. Fundam. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Reich, S. Fixed points of contractive functions. Boll. Unione Mat. Ital. 1972, 5, 26–42. [Google Scholar]
  3. Reich, S. Fixed points in locally covex spaces. Math. Z. 1972, 125, 17–31. [Google Scholar] [CrossRef]
  4. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef] [Green Version]
  5. Piri, H.; Kumam, P. Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 2014, 210. [Google Scholar] [CrossRef] [Green Version]
  6. Cosentino, M.; Jleli, M.; Samet, B.; Vetro, C. Solvability of integrodifferential problems via fixed point theory in b-metric spaces. Fixed Point Theory Appl. 2015, 2015, 70. [Google Scholar] [CrossRef] [Green Version]
  7. Durmaz, G.; Minak, G.; Altun, I. Fixed points of ordered F-contractions. Nonlinear Anal. Hacet. J. Math. Stat. 2016, 45, 15–21. [Google Scholar] [CrossRef]
  8. Aydi, H.; Karapinar, E.; Yazidi, H. Modified F-contractions via α-admissible mappings and application to integral equations. Filomat 2017, 31, 1141–1148. [Google Scholar] [CrossRef]
  9. Sahin, H.; Altun, I.; Turkoglu, D. Two fixed point results for multivalued F-contractions on M-metric spaces. Rev. De La Real Academia De Cienc. Exactas Físicas Y Naturales. Ser. A. Matemáticas 2019, 113, 1839–1849. [Google Scholar] [CrossRef]
  10. Secelean, N.A. Iterated function systems consisting of F-contractions. Fixed Point Theory Appl. 2013, 2013, 277. [Google Scholar] [CrossRef] [Green Version]
  11. Nadler, S.B. Multi-valued contraction mappings. Pac. J. Math. 1969, 30, 475–488. [Google Scholar] [CrossRef] [Green Version]
  12. Feng, Y.; Liu, S. Fixed point theorems for multi-valued contractive mappings and multi-valued mappings. Nonlinear Anal. Model. Control 2006, 317, 103–112. [Google Scholar] [CrossRef] [Green Version]
  13. Klim, D.; Wardowski, D. Fixed point theorems for set-valued contractions in complete metric spaces. J. Math. Anal. Appl. 2007, 334, 132–139. [Google Scholar] [CrossRef] [Green Version]
  14. Mizoguchi, N.; Takahashi, W. Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Appl. 1989, 141, 177–188. [Google Scholar] [CrossRef] [Green Version]
  15. Altun, I.; Mınak, G.; Dag, H. Multivalued F-contractions on complete metric space. J. Nonlinear Convex Anal. 2015, 16, 659–666. [Google Scholar]
  16. Basha, S.S.; Veeramani, P. Best approximations and best proximity pairs. Acta Sci. Math. 1977, 63, 289–300. [Google Scholar]
  17. Abkar, A.; Gabeleh, M. The existence of best proximity points for multivalued non-self-mappings. Rev. De La Real Acad. De Cienc. Físicas Y Naturales. Ser. A Matemáticas 2013, 107, 319–325. [Google Scholar] [CrossRef]
  18. Ahmadi, R.; Niknam, A.; Derafshpour, M. Best Proximity Theorems of Proximal Multifunctions. Fixed Point Theory 2021, 22, 3–14. [Google Scholar] [CrossRef]
  19. Altun, I.; Aslantas, M.; Sahin, H. Best proximity point results for p-proximal contractions. Acta Math. Hung. 2020, 162, 393–402. [Google Scholar] [CrossRef]
  20. Aslantas, M. A new contribution to best proximity point theory on quasi metric spaces and an application to nonlinear integral equations. Optimization 2022, 1–14. [Google Scholar] [CrossRef]
  21. Aslantas, M.; Sahin, H.; Altun, I. Best proximity point theorems for cyclic p-contractions with some consequences and applications. Nonlinear Anal. Model. Control 2021, 26, 113–129. [Google Scholar] [CrossRef]
  22. Reich, S. Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl. 1978, 62, 104–113. [Google Scholar] [CrossRef] [Green Version]
  23. Sahin, H. Best proximity point theory on vector metric spaces. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 2021, 70, 130–142. [Google Scholar] [CrossRef]
  24. Sahin, H.; Aslantas, M.; Altun, I. Feng–Liu type approach to best proximity point results for multivalued mappings. J. Fixed Point Theory Appl. 2020, 22, 11. [Google Scholar] [CrossRef]
  25. Sahin, H. A new type of F-contraction and their best proximity point results with homotopy application. Acta Appl. 2022, 179, 1–15. [Google Scholar] [CrossRef]
  26. Aslantas, M. Some best proximity point results via a new family of F-contraction and an application to homotopy theory. J. Fixed Point Theory Appl. 2021, 23, 1–20. [Google Scholar] [CrossRef]
  27. Altun, I.; Mınak, G.; Olgun, M. Fixed points of multivalued nonlinear F-contractions on complete metric spaces. Nonlinear Anal. Model. Control 2016, 21, 201–210. [Google Scholar] [CrossRef]
  28. Abbas, M.; Iqbal, H.; Petrusel, A. Fixed points for multivalued Suzuki type (θ,R)-contraction mapping with applications. J. Funct. Spaces 2019, 2019, 9565804. [Google Scholar] [CrossRef] [Green Version]
  29. Muhammad, S.; Kumam, P. Common fixed point results for fuzzy mappings on complex-valued metric spaces with homotopy results. Symmetry 2019, 11, 61. [Google Scholar]
  30. O’Regan, D. Topological fixed point theory for compact multifunctions via homotopy and essential maps. Topol. Its Appl. 2019, 265, 106819. [Google Scholar] [CrossRef]
  31. Vetro, C.; Vetro, F. A homotopy fixed point theorem in 0-complete partial metric space. Filomat 2015, 29, 2037–2048. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Sahin, H.; Aslantas, M.; Nasir Nasir, A.A. Some Extended Results for Multivalued F-Contraction Mappings. Axioms 2023, 12, 116. https://doi.org/10.3390/axioms12020116

AMA Style

Sahin H, Aslantas M, Nasir Nasir AA. Some Extended Results for Multivalued F-Contraction Mappings. Axioms. 2023; 12(2):116. https://doi.org/10.3390/axioms12020116

Chicago/Turabian Style

Sahin, Hakan, Mustafa Aslantas, and Ali Abdulkareem Nasir Nasir. 2023. "Some Extended Results for Multivalued F-Contraction Mappings" Axioms 12, no. 2: 116. https://doi.org/10.3390/axioms12020116

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