Next Article in Journal
Predicting Contagion from the US Financial Crisis to International Stock Markets Using Dynamic Copula with Google Trends
Previous Article in Journal
Addendum: Salem, A. et al. Fractional Langevin Equations with Nonlocal Integral Boundary Conditions. Mathematics 2019, 7, 402
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Feng-Liu Type Fixed Point Results for Multivalued Mappings in GMMS

1
Department of Mathematics, Faculty of Science, Gazi University, Ankara 06010, Turkey
2
Department of Mathematics, Faculty of Arts & Sciences, Erzincan University, Erzincan 24060, Turkey
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(11), 1031; https://doi.org/10.3390/math7111031
Submission received: 9 July 2019 / Revised: 24 October 2019 / Accepted: 25 October 2019 / Published: 1 November 2019
(This article belongs to the Section Mathematics and Computer Science)

Abstract

:
We present the concept of multivalued mappings in generalized modular metric spaces (GMMS). In addition, we give Caristi and Feng-Liu fixed point results for this type of mappings in GMMS. Then, we obtain an application for final outcomes in the sense of Jleli and Samet.

1. Introduction

Multivalued mappings have many applications in pure and applied mathematics. Topology, theory of functions of a real variable, nonlinear functional analysis, the theory of games, and mathematical economics are some examples for those mentioned areas.
We picture the basics of the theory of multivalued mappings. We describe two topologies and linked open balls in the generalized modular metric spaces (GMMS). After that we compare some other topologies in modular spaces, modular metric spaces, and JS(Jleli-Samet)-metric spaces defined by Jleli and Samet in [1]. For this purpose, we give some useful definitions and clarify why we need them. Then, we add the definition of generalized Hausdorff modular distance.
We investigate a new type of definitions in GMMS, such as multivalued Lipschitzian mapping and D-multivalued contraction. In addition, we focus connection between those definitions. We give a generalization of the Banach principle of contraction mappings and we explain how we find a fixed point if we have a multivalued contraction mapping of a GMMS X D into the nonempty D-closed and bounded subsets of X D .
Nadler initiated the fixed point theory of set-valued contractions. After that it is developed by many authors in different directions. Some fixed point theorems for multivalued contraction mapping are proved, as well as a theorem on the behaviour of fixed points as the mappings vary. We choose two of them: Caristi and Feng-Liu type approaches for the existence of a fixed point in GMMS.
Finally, we give an application for a non-homogeneous linear parabolic partial differential equation and an initial value problem in GMMS to make our results clear.
Definition 1. 
Let X be an abstract set. A function D : ( 0 , ) × X × X [ 0 , ] is said to be a generalized modular metric(GMM) on X, if it satisfies the following three axioms:
  • ( G M M 1 ) if D λ ( x , y ) = 0 , for all λ > 0 , then x = y , for all x , y X ;
  • ( G M M 2 ) D λ ( x , y ) = D λ ( y , x ) , for all λ > 0 and x , y X ;
  • ( G M M 3 ) there exists C > 0 such that, if ( x , y ) X × X , { x n } X with lim n D λ ( x n , x ) = 0 , for some λ > 0 , then
    D λ ( x , y ) C lim sup n D λ ( x n , y ) .
The pair ( X , D ) is said to be a generalized modular metric space(GMMS).
Example 1. 
Let X = { 1 , 2 , 3 } and define D : ( 0 , ) × X × X [ 0 , ] as D λ ( 1 , 1 ) = D λ ( 2 , 2 ) = D λ ( 3 , 3 ) = 0 , D λ ( 1 , 2 ) = D λ ( 2 , 1 ) = 2 , D λ ( 1 , 3 ) = D λ ( 3 , 1 ) = 6 , D λ ( 2 , 3 ) = D λ ( 3 , 2 ) = 2 for λ > 0 . Then, G M M 1 and G M M 2 are obvious. D λ + μ ( 1 , 3 ) D λ ( 1 , 2 ) + D μ ( 2 , 3 ) gives us 6 4 , is not true, so ( X , D ) is not a modular metric space. For G M M 3 , we have lim n D λ ( x n , x ) = 0 , while we have lim n x n = x . It is clear that if we take x = y then G M M 3 is satisfied, if we choose x y it is easy to show that D λ ( x , y ) C lim sup n D λ ( x n , y ) is true.
It is easy to check that if there exist x , y X and { x n } X with lim n D λ ( x n , x ) = 0 , for some λ > 0 , while D λ ( x , y ) < , then we must have C 1 . In fact, throughout this work, we assume C 1 .
Let D be a GMM on X. Fix x 0 X . The set
X D = X D ( x 0 ) = { x X : D λ ( x , x 0 ) 0 as λ }
is called generalized modular set.
Definition 2. 
Let ( X D , D ) be a GMMS.
(1) 
The sequence { x n } n N in X D is said to be D-convergent to x X D if and only if D λ ( x n , x ) 0 , as n , for some λ > 0 .
(2) 
The sequence { x n } n N in X D is said to be D-Cauchy if D λ ( x m , x n ) 0 , as m , n , for some λ > 0 .
(3) 
A subset A of X D is said to be D-closed if for any { x n } from A which D-converges to x, where x A . The set C ( X D ) is defined as all the nonemty D-closed subsets of X D .
(4) 
A subset A of X D is said to be D-complete if for any { x n } D-Cauchy sequence in A such that lim n , m D λ ( x n , x m ) = 0 for some λ, there exists a point x A such that lim n D λ ( x n , x ) = 0 .
Now, we give a definition of multivalued mappings and show some results related to fixed points in GMMS.

2. Results

2.1. Multivalued Mappings in GMMS

Two fixed point theorems for multivalued contraction mapping are proved in [2] by Nadler. The first, a generalization of the contraction mapping principle of Banach, states as a multivalued contraction mapping of a complete metric space into the nonempty closed and bounded subsets of same metric space has a fixed point. The second, a generalization of a result of Edelstein, is a fixed point theorem for compact set-valued local contractions. Nadler’s study is applied through other metric spaces, such as in [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19].
Feng and Liu [20] gave one of the most important generalization of Nadler’s result without using Pompei-Hausdorff distance. Then many studies focused on those results and applied them in different metric spaces; for example in [21]. We consider Feng-Liu theorem in GMMS.
Let ( X D , D ) be a GMMS and B X D D - sequentially open subset of X D , while each sequence of X D has lim n D λ ( x n , x ) = 0 for some λ , and there exists a point x B such that most part of the sequence included in B.
Let τ X D be a family of all sequentially open subsets of X D . Any convergent sequence in X D is convergent in a topological space ( X D , τ X D ) . When we take C ( X D ) as a family of all nonempty closed subsets of ( X D , τ X D ) and N a family of all nonempty subsets A of X D , we have the following property. Then we threat these two subsets as they are equal. If D λ ( x , A ) = 0 , then x A for all x X D , while D λ ( x , A ) = inf { D λ ( x , y ) : y A } . If the property is satisfied for any B C ( X D ) and x X D , then there exists a sequence in B such that lim n D λ ( x n , x ) = 0 . In a topological space ( X D , τ X D ) , we have x B such that most part of the sequence included in B, which means B A , so x A = A ¯ . As a result C ( X D ) N . If we have A N , x X D - A and a sequence in X D such that lim n D λ ( x n , x ) = 0 , then no subsequence in A satisfy D λ ( x , A ) = 0 for any x A . So X D - A τ X D is found. We have A C ( X D ) . The result gives us C ( X D ) = N . In addition, the definition of an open subset is given by using open balls in GMMS as the following. If A is a subset of X D for any x X D , there exists ϵ > 0 such that B ( x , ϵ ) : = { y X D : D λ ( x , y ) < ϵ } A .
In our related paper [22], τ X D meets properties of usual topology. For example, if we take modular vector spaces as in [23], the ρ -ball B ρ ( x , r ) , where x X ρ and r 0 , is defined by B ρ ( x , r ) = { y X ρ ; ρ ( x - y ) < r } . B ρ is an open ball and a subset of A in vector space X ρ . In the example of the topology ( τ ρ ) for all ρ -open subsets of X ρ is similar for open subsets of τ X ρ in a modular space X ρ .
Chistyakov [24] defined modular open balls and gave their topological structure as: A nonempty set in X is said to ω -open if for every x A and λ > 0 there exists μ > 0 such that B ( x ) λ , μ A by using ω as a modular metric. Denoted by τ ( ω ) for all ω -open subsets of X ω we have a ω -topology (modular topology) on X ω , which is similar to τ X D in a modular metric space.
When we take a JS-metric space and the topology on JS-metric space, as in [21], we find the usual topology on JS-metric space is, again, equal to τ X D .
Now we can begin with the definition of generalized Hausdorff modular. Next, we interpret some material and produce their relation in the following section.
Let ( X D , D ) be a GMMS. For all nonempty A , B X D , the generalized Hausdorff modular is defined by:
H D ( λ , A , B ) = max { sup a A D λ ( a , B ) , sup b B D λ ( b , A ) }
on C ( X D ) —D-strongly complete version of X D is defined in the next section—where D λ ( a , B ) = inf b B D λ ( a , b ) .
If λ = 1 , we have:
H D ( A , B ) = max { sup a A D 1 ( a , B ) , sup b B D 1 ( b , A ) }
on C ( X D ) , where D 1 ( a , B ) = inf b B D 1 ( a , b ) .
Example 2. 
If we use the GMMS which is given in the first example, for A = { 1 , 2 } , B = { 3 } X , we have
H D ( λ , { 1 , 2 } , { 3 } ) = max { sup a { 1 , 2 } D λ ( a , { 3 } ) , sup b { 3 } D λ ( b , { 1 , 2 } ) } ,
where D λ ( a , { 3 } ) = inf b { 3 } D λ ( a , b ) and D λ ( { 1 , 2 } , b ) = inf a { 1 , 2 } D λ ( a , b ) . All possible results can be calculated easily.

2.1.1. Fixed Point Results for Multivalued Mappings

Abdou and Khamsi searched the existence of fixed point for contractive-type multivalued map in the setting of modular metric spaces in their study, and they investigated the existence of fixed point of multivalued modular contractive mappings in modular metric spaces in [25]. They claimed that their results generalize or improve the fixed point result of Nadler in [2] and Edelstein. Their study inspired us to work on similar ideas and generalize their results for GMMS.
In a primary sense, we define Lipschitzian mapping, fixed point and D-multivalued contraction in GMMS for more generalized form of Lipschitzian maps we take λ = 1 such as in [25]. Then we give some essential definitions, such as D-strongly Cauchy sequence in GMMS. Afterwards, we show relations between these definitions and generalized Hausdorff modular metric. At the end of this section, we give A linked fixed point theorem for D-multivalued contraction mapping in GMMS.
Definition 3. 
Let ( X D , D ) be a GMMS. A mapping f : X D C ( X D ) is called a multivalued Lipschitzian mapping, if there exists a constant k 0 such that for any x , y X D , for every a f ( x ) there exists b f ( y ) , such that
D 1 ( a , b ) k D 1 ( x , y ) .
A point x X D is called a fixed point of f whenever x f ( x ) . The set of fixed points of f will be denoted by F i x ( f ) .
The mapping f is called as D-multivalued contraction, if the constant k < 1 .
Example 3. 
If we take the same example as before, a mapping f : X C ( X ) such that f ( 1 ) = f ( 2 ) = 1 and f ( 3 ) = 2 for every a f ( x ) there exists b f ( y ) the inequality D 1 ( a , b ) k D 1 ( x , y ) is verified in X.
Definition 4. 
Let X D be a GMMS and { x n } n N be a sequence of X D .
(1) 
The sequence { x n } n N in X D is said to be D-strongly Cauchy if n = 1 D λ ( x n , x n + 1 ) < , for some λ > 0 .
(2) 
A subset M of X D is said to be D-strongly complete if for any { x n } D-strongly Cauchy sequence in M such that n = 1 D λ ( x n , x n + 1 ) < for some λ, there exists a point x M such that lim n D λ ( x n , x ) = 0 .
(3) 
D is said to satisfy 1-Fatou property if for any convergent sequence { x n } n N X D and x X D , such that lim n D 1 ( x n , x ) = 0 , we have
D 1 ( x , y ) lim inf n D 1 ( x n , y ) ,
for any y X D .
Let ( X D , D ) be a GMMS. Let f : X D C ( X D ) be a multivalued map and x , y X D . Assume that H D ( f ( x ) , f ( y ) ) k D 1 ( x , y ) with 0 < D 1 ( x , y ) < for some constant k 0 and for every a f ( x ) there exists b f ( y ) , such that
D 1 ( a , b ) H D ( f ( x ) , f ( y ) ) + ε k D 1 ( x , y ) + ε = k D 1 ( x , y ) + 1 - k 2 D 1 ( x , y ) = 1 + k 2 D 1 ( x , y ) ,
where ε = 1 - k 2 D 1 ( x , y ) > 0 . If we say 1 + k 2 = k then D 1 ( a , b ) k D 1 ( x , y ) .
At this point, we explain that D-multivalued contraction mapping f has a fixed point in particular space X D .
Theorem 1. 
Let ( X D , D ) be a G M M S . Assume that X D is D-strongly complete and D satisfy 1-Fatou property. Let f : X D C ( X D ) be a D-multivalued contraction mapping. Assume that D 1 ( x 0 , x ) is finite for some x 0 X D and x f ( x 0 ) . Then f has a fixed point.
Proof. 
Fix x 0 X D such that D 1 ( x 0 , f ( x ) ) < for some x 1 f ( x 0 ) then there exists x 2 f ( x 1 ) such that
D 1 ( x 1 , x 2 ) k D 1 ( x 0 , x 1 ) ,
where D 1 ( x 1 , x 2 ) < .
D 1 ( x 2 , x 3 ) k 2 D 1 ( x 0 , x 1 ) ,
where D 1 ( x 2 , x 3 ) < . By induction, we build a sequence { x n } there is x 1 f ( x n + 1 ) , for every x 0 f ( x n ) , then there exists x n + 1 f ( x n ) , since f is a D-multivalued contraction:
D 1 ( x n , x n + 1 ) k n D 1 ( x 0 , x 1 ) ,
where D 1 ( x n , x n + 1 ) < , for every n 0 . Since k < 1 , n = 1 D 1 ( x n , x n + 1 ) is convergent, i.e., { x n } is D-strongly Cauchy. Since X D is D-strogly complete, there exists a point x X D such that lim n D 1 ( x n , x ) = 0 . Since there is x 0 f ( x ) , for every x 1 f ( x n ) ,
D 1 ( x 0 , x 1 ) k D 1 ( x n , x ) ,
and D 1 has 1-Fatou property,
D 1 ( x 0 , x 1 ) k D 1 ( x , x ) k lim inf n D 1 ( x n , x ) ,
we conclude that lim n D 1 ( x 0 , x 1 ) = 0 , then x is fixed point of f. □

2.1.2. From Caristi-Type to Feng-Liu-Type Fixed Point Results for Multivalued Mappings

Caristi proved a general fixed point theorem and applied it to derive a generalization of the Contraction Mapping Principle in a complete metric space, then gave an application together with the characterization of weakly inward mappings to obtain some fixed point theorems in Banach spaces [26]. Following that, many authors expanded his approach through different metric spaces; for example in [27]. In addition, there exist an application of Caristi-type mappings in [28]. We examine Caristi-type mappings and state Feng-Liu-type results in GMMS in this section.
Theorem 2. 
Let X D be a D-complete GMMS and f : X D C B ( X D ) be a nonexpansive mapping such that for each x X D and y f ( x ) we have
D 1 ( x , y ) Θ D ( x , y ) - Θ D ( y , z )
for z f ( y ) , while C B ( X D ) is D-closed and bounded subsets of X D and the function Θ D : X D × X D [ 0 , ] is lower semicontinuous with its first variable. Then D 1 ( x n , x n + 1 ) < , so f has a fixed point.
Proof. 
Let x 0 X D and x 1 f ( x 0 ) . If x 1 = x 0 , then proof is completed. Let x 0 x 1 . Using the above inequality of the theorem, then
D 1 ( x 0 , x 1 ) Θ D ( x 0 , x 1 ) - Θ D ( x 1 , x 2 ) ,
for x 2 f ( x 1 ) . When we continue the process, we have x n f ( x n ) while x n x n + 1 , then we have
0 < D 1 ( x n - 1 , x n ) Θ D ( x n - 1 , x n ) - Θ D ( x n , x n + 1 ) ,
for x n + 1 f ( x n ) . We have Θ D ( x n - 1 , x n ) n N nonincreasing sequence and converges to ω > 0 . If we take limit for the above inequality, we have
lim n D 1 ( x n - 1 , x n ) lim n { Θ D ( x n - 1 , x n ) - Θ D ( x n , x n + 1 ) } , lim n D 1 ( x n - 1 , x n ) lim n Θ D ( x n - 1 , x n ) - lim n Θ D ( x n , x n + 1 ) , lim n D 1 ( x n - 1 , x n ) ω - ω = 0
for n N . It is the same way to show { x n } n N is D-Cauchy sequence. Then we assume ω is a fixed point of f:
D 1 ( ω , f ( ω ) ) D 1 2 ( ω , x n + 1 ) - D 1 2 ( f ( ω ) , x n + 1 ) , D 1 2 ( ω , x n + 1 ) - H D ( f ( ω ) , f ( x n + 1 ) ) , D 1 2 ( ω , x n + 1 ) - D 1 2 ( ω , x n ) ,
for the last equality we pass the limit, and then we have
lim n D 1 ( ω , f ( ω ) ) lim n D 1 2 ( ω , x n + 1 ) - lim n D 1 2 ( ω , x n ) , lim n D 1 ( ω , f ( ω ) ) D 1 2 ( ω , ω ) - D 1 2 ( ω , ω ) = 0 .
Then ω is a fixed point of f. □
Next, it is available to generalize even more as below.
Theorem 3. 
Let X D be a D-complete GMMS and f : X D C B ( X D ) be a multivalued mapping
H D ( f ( x ) , f ( y ) ) υ ( D 1 ( x , y ) )
for all x , y X D and υ : [ 0 , ] [ 0 , ] is a lower semicontunious map defined as υ ( t ) < t for t [ 0 , ] and satisfied that υ ( t ) t is nondecreasing. Then D 1 ( x n , x n + 1 ) < , so f has a fixed point.
Feng and Liu [20] gave the following theorem without using Hausdorff distance. To state their result, we use the following notation for a multivalued mapping f on X D , let and we define
I D , β x ( f ) = { a f ( x ) ; β D λ ( x , a ) D λ ( x , f ( x ) ) } .
The function f is called D-lower semicontinuous, and for any sequence { x n } X D is convergent to x X D , if D 1 ( x , f ( x ) ) lim inf n D 1 ( x n , f ( x n ) ) .
Example 4. 
If we take the same example as before, a mapping f : X C ( X ) such that f ( x ) = 3 , β = 1 2 , x X , we can show for any calculation of β D 1 ( x , a ) D 1 ( x , f ( x ) ) , where a f ( x ) , it is satisfied. Then f is called D-lower semicontinuous for any sequence { x n } X is convergent to x X , if D 1 ( x , f ( x ) ) lim inf n D 1 ( x n , f ( x n ) ) .
Theorem 4. 
Let ( X D , D ) be a complete GMMS and f be D-multivalued mapping on X D . Suppose there exists a constant K > 0 such that K β < 1 for any x X D there is y I D , β x ( f ) satisfying
D 1 ( y , f ( y ) ) K D 1 ( x , y ) .
If there exists x 0 X D such that D 1 ( x 0 , f ( x 0 ) ) < . Assume there exists a sequence { x n } in X D such that β D 1 ( x n + 1 , x n + 2 ) K D 1 ( x n , x n + 1 ) and β D 1 ( x n + 1 , f ( x n + 1 ) ) K D 1 ( x n , f ( x n ) ) ; while x n + 1 f ( x n ) and D 1 ( x n , x n + 1 ) < for any n N .
The sequence is D-strongly Cauchy, and if we assume D 1 ( x , f ( x ) ) is D-lower semicontinuous, then f has a fixed point.
Proof. 
Since f ( x ) X D for all x X D , then I D , b x ( f ) is nonempty. Let us start choosing x 0 X D such that D 1 ( x 0 , f ( x 0 ) ) < . From D 1 ( y , f ( y ) ) K D 1 ( x , y ) , there exists x 1 I D , β x 0 ( f ) such that,
D 1 ( x 1 , f ( x 1 ) ) K D 1 ( x 0 , x 1 ) .
Since x 1 I D , β x 0 ( f ) , then x 1 f ( x 0 ) and
β D 1 ( x 0 , x 1 ) D 1 ( x 0 , f ( x 0 ) ) < .
Choosing x 1 X D such that D 1 ( x 1 , f ( x 1 ) ) < . From D 1 ( y , f ( y ) ) K D 1 ( x , y ) , there exists x 2 I D , β x 1 ( f ) such that,
D 1 ( x 2 , f ( x 2 ) ) K D 1 ( x 1 , x 2 ) .
Since x 2 I D , β x 1 ( f ) , then x 2 f ( x 1 ) and
b D 1 ( x 1 , x 2 ) D 1 ( x 1 , f ( x 1 ) ) < .
By choosing x n + 1 M such that D 1 ( x n + 1 , f ( x n + 1 ) ) < . From D 1 ( y , f ( y ) ) K D 1 ( x , y ) , there exists x n + 1 I D , β x n ( f ) such that,
D 1 ( x n , f ( x n ) ) K D 1 ( x n , x n + 1 ) .
Since x n + 1 I D , β x n ( f ) , then x n + 1 f ( x n ) and
β D 1 ( x n , x n + 1 ) D 1 ( x n , f ( x n ) ) < .
Then, we have,
β D 1 ( x n + 1 , x n + 2 ) D 1 ( x n , f ( x n + 1 ) ) K D 1 ( x n , x n + 1 ) ,
which give us, while x n + 1 f ( x n ) ,
β D 1 ( x n + 1 , f ( x n + 1 ) ) D 1 ( x n , f ( x n + 1 ) ) K D 1 ( x n , f ( x n ) ) .
Then, we have
D 1 ( x n + 1 , f ( x n + 1 ) ) K β D 1 ( x n , f ( x n ) )
for K β < 1 for any x X D ,
D 1 ( x n + 1 , f ( x n + 1 ) ) K β n D 1 ( x 0 , x 1 ) ,
while n = 1 D 1 ( x n , x n + 1 ) < and { x n } is D-strongly Cauchy and X D is D-strongly complete; then
0 = lim n D 1 ( x n , x n + 1 ) = lim n D 1 ( x n , f ( x n ) ) .
D 1 ( x , f ( x ) ) is D-lower semicontinuous,
0 D 1 ( z , f ( z ) ) lim inf n D 1 ( x n , f ( x n ) ) ;
since f ( z ) X D , then we have z f ( z ) .  □

2.1.3. An Application

When we mention applications of multivalued mappings, one of them is given by Khamsi et al. in [23] for modular vector spaces. They pointed out a fixed point theorem for uniformly Lipschitzian mappings in modular vector spaces which has the uniform normal structure property in the modular sense. They expanded their results in the variable exponent space. Another application of them is given by Borisut et al. in [29]. They proved some fixed point theorems in generalized metric spaces by using the generalized contraction and they applied the fixed point theorems to show the existence and uniqueness of solution to the ordinary difference equation (ODE), partial difference equation (PDEs) and fractional boundary value problem.
For a non-homogeneous linear parabolic partial differential equation, initial value problem is given in [6], such as
f t ( x , t ) = f x x ( x , t ) + S ( x , t , f ( x , t ) , f x ( x , t ) ) , - < x < , 0 < t T , f ( x , 0 ) = ϕ ( x ) 0
for same valued x X D , where S is continuous and ϕ assumed to be continuously differentiable such that ϕ and ϕ are bounded. By a solution of this problem, a function f = f ( x , t ) defined on R × I = [ 0 , T ] , where I satisfying the following conditions:
(i)
f , f t , f x , f x x C ( R × I ) while it denotes the space of all continuous real valued functions,
(ii)
f , f x are bounded R × I ,
(iii)
f t ( x , t ) = f x x ( x , t ) + S ( x , t , f ( x , t ) , f x ( x , t ) ) , ( x , t ) R × I ,
(iv)
f ( x , 0 ) = ϕ ( x ) 0 for all x R ,
The differential equation problem below, is equivalent to the following integral equation problem:
f ( x , t ) = - K ( x - δ , t ) ϕ ( δ ) d δ + 0 t - K ( x - δ , t - u ) S ( δ , u , f ( δ , u ) , f x ( δ , u ) ) d δ d u
for all x R and 0 < t T where
K ( x , t ) = 1 4 π t e - x 2 4 t .
This problem admits a solution if and only if the corresponding problem just below has a solution. Let
B : = { f ( x , t ) : f , f x C ( R × I ) , | | f | | < }
where
| | f | | : = sup x R , t I | f ( x , t ) | + sup x R , t I | f x ( x , t ) | .
Now, we take a function D 1 as
D 1 ( x , y ) : = 1 λ ω 1 ( x , y ) = 1 λ 2 | x - y |
is a GMM on B. Obviously, the GMMS B ω is a D - complete and independent of generators.
While D 1 is a GMMS, lower semicontinous it is easy to proof for Feng-Liu-type.
Theorem 5. 
Let the problem
f t ( x , t ) = f x x ( x , t ) + S ( x , t , f ( x , t ) , f x ( x , t ) ) , - < x < , 0 < t T , f ( x , 0 ) = ϕ ( x ) 0 .
and assume the following:
(i) 
For c > 0 with | s | < c and | p | < c the function S ( x , t , s , p ) is uniformly Hölder continuous in x and t for each compact subset of R × I ,
(ii) 
There exists a constant c S T + 2 π - 1 2 T 1 2 q , where q ( 0 , 1 ) such that
0 1 λ S [ ( x , t , s 2 , p 2 ) - S ( x , t , s 1 , p 1 ) ] c S [ s 2 - s 1 + p 2 - p 1 λ ]
for all ( s 1 , p 1 ) , ( s 2 , p 2 ) R × R with s 1 s 2 and p 1 p 2 ,
(iii) 
S is bounded for bounded s and p;
Then the problem has a solution.
Proof. 
Let choose x B ω is a solution of the problem below, if and only if x B ω is a solution integral equivalent.
When we take the graph G with V ( G ) = B ω and E ( G ) = { ( z , v ) B ω × B ω : z ( x , t ) v ( x , t ) and z x ( x , t ) v x ( x , t ) for each ( x , t ) R × I } . E ( G ) is partially ordered and ( B ω , E ( G ) ) satisfy property (A).
The mapping Ω : B ω B ω defined as
f ( u ( x , t ) ) : = - K ( x - δ , t ) ϕ ( δ ) d δ + 0 t - K ( x - δ , t - u ) S ( δ , u , f ( δ , u ) , f x ( δ , u ) ) d δ d u
for all x R and when we solve the problem, the solution gives us the existence of fixed point of f.
Since ( z , v ) , ( z x , v x ) , ( f ( z ) , f ( v ) ) , ( f ( z x ) , f ( v x ) ) E ( G ) and from the definition of f and ( i i )
1 λ | f ( v ( x , t ) ) - f ( z ( x , t ) ) | c S D 1 ( z , v ) .
Then, we have
1 λ | f x ( v ( x , t ) ) - f x ( z ( x , t ) ) | c S D 1 ( z , v ) - K ( x - δ , t ) ϕ ( δ ) d δ 2 π - 1 2 T 1 2 c S D 1 ( z , v ) .
When we take the solutions together:
D 1 ( f ( z ) , f ( v ) ) ( T + 2 π - 1 2 T 1 2 ) c S D 1 ( z , v ) D 1 ( f ( z ) , f ( v ) ) c D 1 ( z , v ) , c ( 0 , 1 ) | f ( z ) - f ( v ) | λ 2 | z - v | , λ ( 0 , 1 ) .
From Feng-Liu’s perspective, we have
λ 2 | v - f ( v ) | λ 2 H d ( f ( z ) , f ( v ) ) λ 2 | z - v | d ( v , f ( v ) ) H d ( f ( z ) , f ( v ) ) d ( z , v ) D 1 ( v , f ( v ) ) H D ( f ( z ) , f ( v ) ) D 1 ( z , v )
since we have b D 1 ( z , v ) D 1 ( z , f ( z ) ) , while b ( 0 , 1 ) . Then, there exists a z B ω such that z = f ( z ) , which is the solution of the problem. □

Author Contributions

D.T. and N.M. conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Acknowledgments

The authors would like to thank M.A. Khamsi for his helpful and constructive comments that greatly contributed to improving the final version of this paper. This work was supported by the TUBITAK (The Scientific and Technological Research Council of Turkey). The authors gratefully thank to the anonymous reviewers for their careful reading of our manuscript and for the constructive comments and recommendations which definitely help to improve the readability and quality of the paper.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Jleli, M.; Samet, B. A generalized metric space and related fixed point theorems. Fixed Point Theory Appl. 2015, 61. [Google Scholar] [CrossRef]
  2. Nadler, S.B., Jr. Multi-valued contraction mappings. Pac. J. Math. 1969, 30, 475–488. [Google Scholar] [CrossRef]
  3. Abdoua, A.A.N.; Khamsi, M.A. Fixed point theorems in modular vector spaces. J. Nonlinear Sci. Appl. 2017, 10, 4046–4057. [Google Scholar] [CrossRef]
  4. Berinde, M.; Berinde, V. On a general class of multi-valued weakly Picard mappings. J. Math. Anal. Appl. 2007, 326, 772–782. [Google Scholar] [CrossRef] [Green Version]
  5. Dehaish, B.A.B.; Latif, A. Fixed point results for multivalued contractive maps. Fixed Point Theory Appl. 2012, 2012, 61. [Google Scholar] [CrossRef] [Green Version]
  6. Borisut, P.; Khammahawong, K.; Kumam, P. Fixed Point Theory Approach to Existence of Solutions with Differential Equations; IntechOpen: London, UK, 2018. [Google Scholar] [CrossRef]
  7. Ćirić, L.B. A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45, 267–273. [Google Scholar] [CrossRef]
  8. Ćirić, L.B. Multi-valued nonlinear contraction mappings. Nonlinear Anal. 2009, 71, 2716–2723. [Google Scholar] [CrossRef]
  9. Ćirić, L.B.; Ume, J.S. Common fixed point theorems for multi-valued nonself mappings. Publ. Math. Debrecen 2002, 60, 359–371. [Google Scholar]
  10. Daffer, P.Z.; Kaneko, H. Fixed points of generalized contractive multivalued mappings. J. Math. Anal. Appl. 1995, 192, 655–666. [Google Scholar] [CrossRef]
  11. Benavides, T.D.; Khamsi, M.A.; Samadi, S. Uniformly Lipschitzian mappings in modular function spaces. Nonlinear Anal. 2001, 46, 267–278. [Google Scholar] [CrossRef]
  12. Hussain, N.; Yasmin, N.; Shafqat, N. Multi-Valued Ćirić Contractions on Metric Spaces with Applications. Filomat 2014, 28, 1953–1964. [Google Scholar] [CrossRef]
  13. Kamran, T.; Kiran, Q. Fixed point theorems for multi-valued mappings obtained by altering distances. Math. Comput. Model. 2011, 54, 2772–2777. [Google Scholar] [CrossRef]
  14. Karapinar, E.; O’Regan, D.; de Hierro, A.F.R.L.; Shahzad, N. Fixed point theorems in new generalized metric spaces. J. Fixed Point Theory Appl. 2016, 18, 645–671. [Google Scholar] [CrossRef]
  15. Klim, D.; Wardowski, D. Fixed point theorems for set-valued contractions in complete metric spaces. J. Math. Math. Anal. Appl. 2007, 334, 132–139. [Google Scholar] [CrossRef] [Green Version]
  16. Khamsi, M.A.; Kozlowski, W.K.; Reich, S. Fixed point theory in modular function spaces. Nonlinear Anal. 1990, 14, 935–953. [Google Scholar] [CrossRef] [Green Version]
  17. Mizoguchi, N.; Takahashi, W. Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 1989, 141, 177–188. [Google Scholar] [CrossRef] [Green Version]
  18. Reich, S. Some problems and results in fixed point theory. In Topological Methods in Nonlinear Functional Analysis; Contemporary Mathematics: Toronto, ON, Canada; American Mathematical Society: Providence, RI, USA, 1983; Volume 21, pp. 179–187. [Google Scholar]
  19. Suzuki, T. Mizoguchi-Takahashi’s fixed point theorem is a real generalization of Nadler’s. J. Math. Anal. Appl. 2008, 340, 752–755. [Google Scholar] [CrossRef]
  20. Feng, Y.; Liu, S. Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings. J. Math. Anal. Appl. 2006, 317, 103–112. [Google Scholar] [CrossRef] [Green Version]
  21. Altun, I.; Arifi, N.A.; Jleli, M.; Lashin, A.; Samet, B. Feng-Liu type fixed point results for multivalued mappings on JS-metric spaces. J. Nonlinear Sci. Appl. 2016, 9, 3892–3897. [Google Scholar] [CrossRef]
  22. Turkoglu, D.; Manav, N. Fixed Point Theorems in New Type of Modular Metric Spaces. Fixed Point Theory Appl. 2018, 2018, 25. [Google Scholar] [CrossRef]
  23. Alfuraidan, M.R.; Khamsi, M.A.; Manav, N. A Fixed Point Theorem for Uniformly Lipschitzian Mappings in Modular Vector Spaces. Filomat 2017, 31, 5435–5444. [Google Scholar] [CrossRef]
  24. Chistyakov, V.V. Metric Modular Spaces Theory and Applications; Springer Briefs in Mathematics; Springer: Cham, Switzerland, 2015; p. 73. [Google Scholar]
  25. Abdou, A.A.N.; Khamsi, M.A. Fixed points of multivalued contraction mappings in modular metric spaces. Fixed Point Theory Appl. 2014, 2014, 249. [Google Scholar] [CrossRef] [Green Version]
  26. Caristi, J. Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 1976, 215, 241–251. [Google Scholar] [CrossRef]
  27. Arutyunov, A.V.; Gel’man, B.D.; Zhukovskiy, E.S.; Zhukovskiy, S.E. Caristi-like Condition, Existence of Solutions to Equations and Minima of Functions in Metric Spaces. Fixed Point Theory 2019, 20, 31–58. [Google Scholar] [CrossRef]
  28. Turkoglu, D.; Kilinc, E. Some Fixed Point Results for Caristi Type Mappings in Modular Metric Spaces with an Application. Int. J. Anal. Appl. 2016, 12, 15–21. [Google Scholar]
  29. Padcharoen, A.; Kumam, P.; Gopal, D. Coincidence and periodic point results in a modular metric spaces endowed with a graph and applications. Creat. Math. Inform. 2017, 26, 95–104. [Google Scholar]

Share and Cite

MDPI and ACS Style

Turkoglu, D.; Manav, N. Feng-Liu Type Fixed Point Results for Multivalued Mappings in GMMS. Mathematics 2019, 7, 1031. https://doi.org/10.3390/math7111031

AMA Style

Turkoglu D, Manav N. Feng-Liu Type Fixed Point Results for Multivalued Mappings in GMMS. Mathematics. 2019; 7(11):1031. https://doi.org/10.3390/math7111031

Chicago/Turabian Style

Turkoglu, Duran, and Nesrin Manav. 2019. "Feng-Liu Type Fixed Point Results for Multivalued Mappings in GMMS" Mathematics 7, no. 11: 1031. https://doi.org/10.3390/math7111031

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