Next Article in Journal
Cells with Broken Left–Right Symmetry: Roles of Intrinsic Cell Chirality in Left–Right Asymmetric Epithelial Morphogenesis
Previous Article in Journal
Some Singular Vector-Valued Jack and Macdonald Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Caristi, Nadler and H + -Type Contractive Mappings and Their Fixed Points in θ-Metric Spaces

1
Department of Mathematics, Visvesvaraya National Institute of Technology, Nagpur 440010, India
2
Faculty of Sciences and Mathematics, University of Priština, Lole Ribara 29, Kosovska Mitrovica 38220, Serbia
3
Nonlinear Analysis Research Group, Ton Duc Thang University, Ho Chi Minh City 71000, Vietnam
4
Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City 71000, Vietnam
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(4), 504; https://doi.org/10.3390/sym11040504
Submission received: 19 March 2019 / Revised: 1 April 2019 / Accepted: 2 April 2019 / Published: 7 April 2019

Abstract

:
A new proper generalization of metric called as θ -metric is introduced by Khojasteh et al. (Mathematical Problems in Engineering (2013) Article ID 504609). In this paper, first we prove the Caristi type fixed point theorem in an alternative and comparatively new way in the context of θ -metric. We also investigate two θ -metrics on CB ( X ) (family of nonempty closed and bounded subsets of a set X). Furthermore, using the obtained θ -metrics on CB ( X ) , we prove two new fixed point results for multi-functions which generalize the results of Nadler and Lim type in the context of such spaces. In order to illustrate the usability of our results, we equipped them with competent examples.

1. Introduction

A wide range of pertinence made fixed point theory one of the most attractive areas of research in nonlinear analysis and hence mathematics. Fixed point results are the indispensable aid for showing the existence of solutions, not only in mathematical sciences, but also in game theory and economics. Kakutani [1] provided one such standard tool by means of a generalized form of Brouwer’s fixed point theorem, which is used to prove the existence of Nash equilibrium in non-cooperative games. In order to study the applications of fixed point theorems and their equivalence to other results like intersection theorems, we refer the readers to a monograph of Border [2].
One of the most celebrated and applicable results in nonlinear analysis is Banach Contraction Principle (BCP), which inspired many mathematicians to work in fixed point theory. A number of generalizations of BCP have been obtained by many fixed point theorists in order to achieve the likelihood of more general fixed point results for mappings (both single and multivalued) in metric type spaces (cf. Boyd and Wong [3], Meir and Keeler [4], Geraghty [5], Lim [6], Khojasteh et al. [7], etc.). The famous version of BCP for multivalued mappings is obtained by Nadler [8] using the notion of the Pompeiu–Hausdorff metric. The fixed point theorem of Nadler is generalized by many authors in complete metric spaces, one of which is given by Pathak et al. in [9] using the notion of H + metric.
An interesting and fruitful generalization of the Banach Contraction Principle (BCP) on a complete metric space is the Caristi fixed point theorem (Caristi’s FPT) [10]. Caristi FPT is equivalent to the Ekeland’s variational principle and Takahashi’s nonconvex minimization theorem [11,12]. Weston [13] proved the equivalence of the conclusion of Caristi’s fixed point theorem with metric completeness. The result of Caristi has been extended and generalized in various ways (cf. [14,15] and references therein). Caristi’s [10] fixed point theorem can be stated as follows: for a mapping T on a complete metric space ( X , d ) , if there exists a lower semicontinuous function ψ from X into [ 0 , ) such that
d ( x , T x ) ψ ( x ) ψ ( T x )
for every x X , then T has a fixed point.
On the other hand, in an effort to generalize BCP, which holds in all complete metric spaces, to a wide class of spaces, Khojasteh et al. [16] coined the notion of θ -metric. This proper generalization of metric is accomplished by replacing the triangular inequality with a weaker assumption. The authors in [16] also investigated the topology induced by θ -metric and presented some topological properties of this space. In addition to this, they characterized the BCP and Caristi type fixed point theorems in the setting of θ -metric space.
In this article, we prove the Caristi fixed point theorem in the θ -metric setting with a novel approach of proof. In addition to this, we investigate H θ and H θ + metrics along the lines of [9,17,18]. Moreover, we prove some fixed point results for multivalued mappings along with illustrative examples.
The flow of work in this article is as follows: Section 2 presents some of the basic concepts. First, in Section 3, we prove the Caristi type fixed point theorems in an alternative and comparatively new way in the context of θ -metric. We also investigate two θ -metrics on CB ( X ) in Section 4. Furthermore, fixed point theorems for multifunction in the context of θ -metric spaces are proved in Section 5, which generalize various metric fixed point results. We equipped this article with competent examples.

2. Preliminaries

Let R + = [ 0 , + ) and N be the set of all natural numbers. Let us begin with the following definition.
Definition 1
([16]). Let mapping θ : R + × R + R + be continuous in both variables and I m ( θ ) = { θ ( u , v ) : u 0 , v 0 } . Then, θ is said to be a B-action if and only if the following hold:
(i) 
θ ( 0 , 0 ) = 0 and θ ( v , u ) = θ ( u , v ) for all v , u 0 ,
(ii) 
θ ( u , v ) < θ ( p , q ) i f e i t h e r u < p , v q , o r u p , v < q ,
(iii) 
for each r I m ( θ ) and for each u [ 0 , r ] , there exists v [ 0 , r ] such that θ ( v , u ) = r ,
(iv) 
θ ( u , 0 ) u , for all u > 0 .
The set of all B-actions is denoted by Υ .
Example 1
([16]). The following functions are examples of B-action:
(i) 
θ ( v , u ) = k ( v + u ) , where k ( 0 , 1 ] ,
(ii) 
θ ( v , u ) = k ( v + u + v u ) , where k ( 0 , 1 ] ,
(iii) 
θ ( v , u ) = v u / ( 1 + v u ) ,
(iv) 
θ ( v , u ) = v + u + v u .
In the following result, the notion of inverse B-action η is brought into focus.
Lemma 1
([16]). Let θ be a B-action. For each r I m ( θ ) and s B = [ 0 , r ] , there exist t [ 0 , r ] and a function η : [ 0 , + ) × [ 0 , + ) [ 0 , + ) such that η ( r , s ) = t . Then, one derives the following.
(a1)
η ( 0 , 0 ) = 0 .
(a2)
θ ( η ( r , s ) , s ) = r and θ ( r , η ( s , r ) ) = s .
(a3)
η is continuous with respect to the first variable.
(a4)
If η ( r , s ) 0 , then 0 s r .
In what follows, θ denotes B-actions. The authors of [16] formulated the concept of θ -metric spaces as follows:
Definition 2
([16]). A mapping d θ : X × X R + is said to be θ-metric on a nonempty set X with respect to B-action θ Υ if the following hold true:
(i) 
d θ ( a , b ) = 0 if and only if a = b ,
(ii) 
d θ ( a , b ) = d θ ( b , a ) , for all a , b X ,
(iii) 
d θ ( a , b ) θ ( d θ ( a , c ) , d θ ( c , b ) ) , for all a , b , c X .
A pair ( X , d θ ) is called θ-metric space. For examples of θ-metric, readers are referred to [16].
In the following definition, the notions of convergence of a sequence, Cauchy sequence, completeness of θ -metric and continuity of mapping are discussed.
Definition 3
([16]). Let ( X , d θ ) be a θ-metric space. Then,
(i) 
a sequence { x n } in X is said to be converged to x X if d θ ( x n , x ) 0 as n ,
(ii) 
a sequence { x n } is Cauchy if, for each ϵ > 0 , there exists N > 0 such that, for all m n N , d θ ( x n , x m ) < ϵ .
(iii) 
( X , d θ ) is complete if every Cauchy sequence { x n } is convergent in X.
(iv) 
A self-mapping T on ( X , d θ ) is said to be θ-continuous if d θ ( T x n , T x ) 0 whenever d θ ( x n , x ) 0 as n .
The authors of [16] observed that, in a θ -metric space ( X , d θ ) , every open ball is an open set and the topology is formed by the collection of open sets (denoted by τ d θ ) . A pair ( X , τ d θ ) is a Hausdorff topological space induced by a θ -metric on X. The set { B d θ ( u , 1 n ) : n N } is a local base at u and the topology τ d θ is first countable.
Remark 1.
Recently, Brzdek et al. [19] introduced a notion of generalized d q metric which can be defined as: a function d : X × X R + satisfying following axioms for all a , b , c X ,
( B 1 )
if d ( a , b ) = 0 and d ( b , a ) = 0 , then a = b ;
( B 2 )
there exist a mapping μ : R + × R + R + which is nondecreasing with respect to each variable such that d ( a , c ) μ ( d ( a , b ) , d ( b , c ) ) .
If we compare the two functions θ and μ, it is observed that μ enjoys more freedom over θ, since continuity and symmetry are relaxed in case of μ. Prima facie, it appears that the concept of generalized d q -metric is more general than the θ-metric. It is also noteworthy here that, in order to generalize the notion of metric in the analogous form, the continuity and symmetry are necessary for θ function.
We consider the following class of mappings which act as auxiliary functions in defining Caristi type contractive conditions.
Definition 4
([16]). Suppose that ( X , d θ ) is a complete θ-metric space. Define P θ as the class of all maps μ : X × X [ 0 , + ) which satisfies the following conditions:
(E1) 
there exists x ^ such that μ ( x ^ , . ) is bounded below and lower semicontinuous, and μ ( . , y ) is upper semicontinuous for each y X ,
(E2) 
μ ( x , y ) = 0 if and only if x = y ,
(E3) 
θ ( μ ( x , y ) , μ ( y , z ) ) μ ( x , z ) for each x , y , z X .
By virtue of the above definition, the following results hold:
Lemma 2
([16]). μ ( x , y ) η ( μ ( x , z ) , μ ( x , y ) ) for each x , y , z X .
Definition 5
([16]). Let Γ θ denote the family of functionals ν : R + R + such that
(i) 
ν ( θ ( x , y ) ) θ ( ν ( x ) , ν ( y ) ) for each x , y R + ,
(ii) 
ν is nondecreasing map,
(iii) 
ν is continuous,
(iv) 
ν ( t ) = 0 if and only if t = 0 .
Example 2.
(a) 
Let θ ( t , s ) = s t 1 + s t ; thus, I m ( θ ) = [ 0 , 1 ) . Now, let μ 1 : X × X [ 0 , + ) be defined by
μ 1 ( x , y ) = exp φ ( y ) φ ( x ) i f x y , 0 i f x = y .
(b) 
Let θ ( s , t ) = s + t ; thus, I m ( θ ) = [ 0 , + ) . Now, let μ 2 : X × X [ 0 , + ) be defined by
μ 2 ( x , y ) = φ ( y ) φ ( x ) .
(c) 
Let θ ( s , t ) = s + t 2 n + 1 , n 1 ; thus, I m ( θ ) = [ 0 , + ) . Now, let μ 3 : X × X [ 0 , + ) be defined by
μ 3 ( x , y ) = φ ( y ) φ ( x ) 2 n + 1 .
If φ : X R is a lower bounded, lower semicontinuous function, then clearly μ i P θ , i = 1 , 2 , 3 .
Definition 6.
Let ( X , d θ ) be a θ-metric space.
  • A point x X is called a fixed point of a mapping f : X X if and only if f ( x ) = x .
  • A point x X is called a periodic point of a mapping f : X X if and only if there exists n N such that f n ( x ) = x .

3. Caristi Type Fixed Point Theorems

The following result is the restatement of Caristi type fixed point theorem presented by Khojasteh et al. in ([16], Theorem 34). We prove this theorem with a new and simple approach in the context of θ -metric space.
Theorem 1.
Let ( X , d θ ) be a complete θ-metric space and μ P θ and ν Γ θ . Let T : X X be a mapping satisfying
ν ( d θ ( x , T x ) ) μ ( T x , x )
for any x X . Then, T has a fixed point in X.
Proof. 
Let us define a multivalued map S : X 2 X as
S ( u ) = { v X : ν ( d θ ( u , v ) ) μ ( u , v ) } , for any u X .
Since 0 = ν ( 0 ) = ν ( d θ ( u , u ) ) μ ( u , u ) = 0 , thus u S ( u ) . Hence, S ( u ) is nonempty for every u X .
We now show that, for each v S ( u ) , S ( v ) S ( u ) .
Let v S ( u ) . This gives us ν ( d θ ( u , v ) ) μ ( u , v ) . As S ( v ) is nonempty, let w S ( v ) . Then, ν ( d θ ( v , w ) ) μ ( v , w ) . We show that w S ( u ) . Since ν is nondecreasing,
ν ( d θ ( u , w ) ) ν ( θ ( d θ ( u , v ) , d θ ( v , w ) ) ) θ ( ν ( d θ ( u , v ) ) , ν ( d θ ( v , w ) ) ) θ ( μ ( u , v ) , μ ( v , w ) ) μ ( u , w ) .
Therefore, w S ( u ) . Thus, S ( v ) S ( u ) .
We define a sequence { u n } in X which starts from some arbitrary u 1 X . Suppose u n 1 is known and choose u n + 1 S ( u n ) such that, for u ^ X ,
lim n μ ( u ^ , u n + 1 ) inf z S ( u n ) μ ( u ^ , z ) = τ .
For any n N , since u n + 1 S ( u n ) , by using Lemma 2, we have
ν ( d θ ( u n , u n + 1 ) ) μ ( u n , u n + 1 ) η ( μ ( u ^ , u n ) , μ ( u ^ , u n + 1 ) ) .
Taking the limit as n and using continuity of ν , we have
lim n ν ( d θ ( u n , u n + 1 ) ) = ν ( lim n d θ ( u n , u n + 1 ) ) η ( lim n μ ( u ^ , u n ) , lim n μ ( u ^ , u n + 1 ) ) < η ( τ , τ ) = 0 .
This yields us
ν ( lim n d θ ( u n , u n + 1 ) ) = 0 .
From ( i v ) of Definition 5, we get
lim n d θ ( u n , u n + 1 ) = 0 .
Now, using ( i ) of Definition 5, we have
ν ( d θ ( u n , u n + k ) ) ν ( θ ( d θ ( u n , u n + 1 ) , d θ ( u n + 1 , u n + k ) ) ) θ ( ν ( d θ ( u n , u n + 1 ) ) , ν ( d θ ( u n + 1 , u n + k ) ) ) .
Taking the limit as n on both sides of the above inequality, we get
lim n ν ( d θ ( u n , u n + k ) ) θ ( 0 , lim n ν ( d θ ( u n + 1 , u n + k ) ) ) lim n ν ( d θ ( u n + 1 , u n + k ) ) lim n θ ( ν ( d θ ( u n , u n + 1 ) ) , ν ( d θ ( u n + 1 , u n + k ) ) ) θ ( 0 , lim n ν ( d θ ( u n + 2 , u n + k ) ) ) lim n ν ( d θ ( u n + 2 , u n + k ) ) lim n ν ( d θ ( u n + k 1 , u n + k ) ) 0 .
Therefore, by ( i v ) of Definition 5, we have
lim n d θ ( u n , u n + k ) = 0 .
Thus, { u n } is a Cauchy sequence in X. By the completeness of X, there exists some p X such that u n p as n .
Since ν is continuous and μ is upper semicontinuous in the first variable,
ν ( d θ ( p , u n ) ) lim sup m ν ( d θ ( u m , u n ) ) lim sup m μ ( u m , u n ) μ ( p , u n ) .
Thus, p n = 1 S ( u n ) . Hence, n = 1 S ( u n ) is nonempty and S ( p ) n = 1 S ( u n ) .
Now, for any q n = 1 S ( u n ) such that u n q , by Definition 4, we have
μ ( u ^ , q ) inf n N μ ( u ^ , u n ) = lim n μ ( u ^ , u n ) .
Therefore, by Inequality (1), we have
0 ν ( d θ ( u n , q ) ) μ ( u n , q ) η ( μ ( u ^ , u n ) , μ ( u ^ , q ) ) < η ( μ ( u ^ , u n ) , lim n μ ( u ^ , u n ) ) .
Varying n over N , we get
lim n ν ( d θ ( u n , q ) ) = 0 .
Therefore { u n } q . The uniqueness of limit of a sequence ensures that p = q . Thus, we have, S ( p ) n = 1 S ( u n ) = { p } . Thus, S ( p ) = { p } .
In addition, from Inequality (1), we have ν ( d θ ( p , T p ) ) μ ( p , T p ) . This yields T p S ( p ) = { p } . Thus, p = T p . □
Remark 2.
The earlier proofs of Caristi fixed point theorem in metric space setting involve assigning a partial order on X. Then, they used Zorn’s Lemma or the Brezis Browder order principle or transfinite induction. Even Khojasteh et al. [16] proved the above theorem using the same technique.
In our proof, we do not assume any partial order on X, so Zorn’s Lemma or the Brezis–Browder theorem can not be applied. Thus, our proof is different from earlier proofs and comparatively new in the context of space as well as technique.
As a consequence, we obtain the following theorems.
Theorem 2.
Let ( X , d θ ) be a complete θ-metric space and μ P θ and ν Γ θ . Let T : X P ( X ) be a mapping satisfying
ν ( d θ ( x , y ) ) μ ( y , x ) ,
for any x X and y T x . Then, T has a fixed point in X.
Proof. 
The proof follows in the same manner as proof of Theorem 1. □
Theorem 3.
Let ( X , d θ ) be a complete θ-metric space and μ P θ and ν Γ θ . Let f : X X be a mapping satisfying
ν ( d θ ( x , f n x ) ) μ ( f n x , x ) ,
for any x X . Then, T has a periodic point in X.
Proof. 
Let T : X X be defined by T x = f n x . Then, from Inequality (6), we have
ν ( d θ ( x , T x ) ) μ ( T x , x )
for any x X . Then, by Theorem 1, T u = u . Hence, f n u = u , i.e., u is periodic point of f. □
Example 3.
Let X = [ 0 , ) with d θ ( x , y ) = | x y | and θ ( s , t ) = s + t . We define a mapping T : X X as
T x = 0 , i f x = 0 , 3 2 , i f x ( 0 , 1 ] , x 2 , i f x > 1 .
Let ν : [ 0 , ) [ 0 , ) be defined by ν ( t ) = ln ( 1 + t ) . We now verify that ν Γ .
(i) 
For every s , t I m ( θ ) , we have
θ ( ν ( s ) , ν ( t ) ) = ν ( s ) + ν ( t ) = ln ( 1 + s ) + ln ( 1 + t ) = ln [ ( 1 + s ) ( 1 + t ) ] = ln ( 1 + s + t + s t ) > ln ( 1 + s + t ) = ν ( s + t ) = ν ( θ ( s , t ) ) .
(ii) 
Since ln ( t ) is nondecreasing for t > 1 , ν ( t ) for t > 0 is too.
(iii) 
Continuity of log function implies continuity of ν.
(iv) 
Let ν ( t ) = 0 ln ( 1 + t ) = 0 1 + t = 1 t = 0 .
Thus, ν ( t ) = ln ( 1 + t ) Γ θ .
Let φ : X [ 0 , + ) be defined as φ ( x ) = d θ ( x , T x ) . Then, one can see that φ is lower bounded and a lower semicontinuous function.
Consider μ ( x , y ) = φ ( y ) φ ( x ) . Then, clearly μ P θ .
For the above ν and μ, T satisfies
ν ( d θ ( x , T x ) ) μ ( T x , x )
for every x X . Thus, T satisfies all the conditions of Theorem 1. Consequently, T has a fixed point 0.
Here, it is worth mentioning that T does not satisfy d ( x , T x ) ϕ ( x ) ϕ ( T x ) when x = 1 . Thus, T does not obey the Caristi fixed point theorem.

4. H θ and H θ + Metrics

Let ( X , d θ ) be a θ -metric space. Let CB ( X ) = { P X : ϕ P is θ bounded and closed } . For P , Q CB ( X ) , define
H θ ( P , Q ) = max sup { d θ ( q , P ) | q Q } , sup { d θ ( p , Q ) | p P }
and
H θ + ( P , Q ) = 1 2 sup { d θ ( q , P ) | q Q } + sup { d θ ( p , Q ) | p P } ,
where
d θ ( p , Q ) = inf { d θ ( p , q ) | q Q } .
We call H θ a θ -Pompeiu–Hausdorff distance (see [20] and references therein). We also denote sup { d θ ( p , Q ) | p P } by ρ θ ( P , Q ) .
Theorem 4.
( CB ( X ) , H θ ) is a θ-metric space if ( X , d θ ) is θ-metric space.
Proof. 
Clearly, due to non-negativity and symmetry of d θ , H θ is also non-negative and symmetric.
Next, we show H θ ( P , Q ) = 0 if and only if P = Q . We only require to show that H θ ( P , Q ) = 0 P = Q ; the converse will be true due to property ( i ) of Definition 2. For this, suppose that H θ ( P , Q ) = 0 for any P , Q CB ( X ) . This implies that sup { d θ ( q , P ) | q Q } = 0 , which gives us d θ ( q , P ) = 0 for q Q . This yields q P ¯ . Thus, Q P ¯ = P . Similarly, sup { d θ ( p , Q ) | p P } = 0 implies p Q ¯ , which yields P Q ¯ = Q . Therefore, P = Q .
Now, it remains to prove that H θ ( P , R ) θ ( H θ ( P , Q ) , H θ ( Q , R ) ) for any P , Q , R CB ( X ) .
Suppose P , Q , R CB ( X ) . Let u P be arbitrary; there exists v Q and ϵ > 0 such that
d θ ( u , v ) d θ ( u , Q ) + ϵ 2 .
In addition, there exists w R such that
d θ ( v , w ) d θ ( v , R ) + ϵ 2 .
Now,
d θ ( u , R ) d θ ( u , w ) θ ( d θ ( u , v ) , d θ ( v , w ) ) < θ d θ ( u , Q ) + ϵ 2 , d θ ( v , R ) + ϵ 2 < θ H θ ( P , Q ) + ϵ 2 , H θ ( Q , R ) + ϵ 2 .
Since u is arbitrary in P, we have
sup { d θ ( a , R ) | a P } θ H θ ( P , Q ) + ϵ 2 , H θ ( Q , R ) + ϵ 2 .
Since ϵ is arbitrary, the above inequality yields
sup { d θ ( a , R ) | a P } θ H θ ( P , Q ) , H θ ( Q , R ) .
Using the similar argument, we obtain
sup { d θ ( c , P ) | c R } θ H θ ( P , Q ) , H θ ( Q , R ) .
Thus, from Inequalities (7) and (8), we get
H θ ( P , R ) θ H θ ( P , Q ) , H θ ( Q , R ) .
 □
Theorem 5.
( CB ( X ) , H θ + ) is θ-metric space if ( X , d θ ) is θ-metric space.
Proof. 
We only prove H θ + ( P , R ) θ H θ + ( P , Q ) , H θ + ( Q , R ) for any P , Q , R CB ( X ) . Other things follow in the same way as in the proof of Theorem 4. Suppose P , Q , R CB ( X ) . Letting u P , there exists v Q and ϵ > 0 such that
d θ ( u , v ) d θ ( u , Q ) + ϵ 2 .
In addition, there exists w R such that
d θ ( v , w ) d θ ( v , R ) + ϵ 2 .
Furthermore, for ϵ > 0 , there exist a P and b Q such that
1 2 d θ ( a , Q ) + d θ ( b , P ) + ϵ 2 d θ ( a , Q ) ,
1 2 d θ ( b , P ) + d θ ( a , Q ) + ϵ 2 d θ ( b , P ) .
Now,
d θ ( a , R ) d θ ( a , c ) θ ( d θ ( a , b ) , d θ ( b , c ) ) < θ d θ ( a , Q ) + ϵ 2 , d θ ( b , R ) + ϵ 2 < θ 1 2 d θ ( a , Q ) + d θ ( b , P ) + ϵ , 1 2 d θ ( b , R ) + d θ ( c , Q ) + ϵ θ H θ + ( P , Q ) + ϵ , H θ + ( Q , R ) + ϵ .
Taking supremum in the above inequality, we get
sup { d θ ( a , R ) | a P } θ H θ + ( P , Q ) + ϵ , H θ + ( Q , R ) + ϵ .
Since ϵ is arbitrary, this yields
sup { d θ ( a , R ) | a P } θ H θ + ( P , Q ) , H θ + ( Q , R ) .
Using a similar argument, we get
sup { d θ ( c , P ) | c R } θ H θ + ( P , Q ) , H θ + ( Q , R ) .
Adding Inequalities (9) and (10), we get
1 2 sup { d θ ( a , R ) | a P } + sup { d θ ( c , P ) | c R } θ H θ + ( P , Q ) , H θ + ( Q , R ) ,
that is,
H θ + ( P , R ) θ H θ + ( P , Q ) , H θ + ( Q , R ) .
 □
Remark 3.
H θ and H θ + defined above are equivalent metrics on CB ( X ) , since
1 2 H θ ( P , Q ) H θ + ( P , Q ) H θ ( P , Q ) .
It is worth mentioning here that the equivalence of the two θ-metric does not mean that the results proved with one are equivalent to others. This is shown by means of some examples in [9] in the case of metric spaces.

5. Fixed Point Results for Set-Valued Mappings

This section presents some fixed point results in θ -metric spaces for multivalued mappings. Firstly, we obtain a fixed point theorem using θ –Pompeiu–Hausdorff metric. Secondly, we prove some fixed point theorems of Pathak and Sahzad type [9] for the multivalued case using the H θ + metric. The results presented here generalize various results of the metric fixed point theory.

5.1. Lim–Nadler Type Fixed Point Theorems

Let Φ θ be a collection of mappings φ : R + R + with
(i)
for each α > 0 , there exists β > 0 such that α < u < β implies φ ( u ) α ,
(ii)
φ ( θ ( u , v ) ) θ ( φ ( u ) , φ ( v ) ) for all u , v I m ( θ ) ,
(iii)
φ ( u ) = 0 if and only if u = 0 .
The following result is required to prove the fixed point theorem.
Lemma 3.
Let φ Φ θ such that for some u > 0 , φ ( u ) u . Then,
(i) 
φ ( l ) < l for every l > 0 ,
(ii) 
for every sequence { l n } such that l n l as n , l n l > 0 , we have
lim sup n φ ( l n ) < l .
Proof. 
( i ) Suppose there exists c > 0 such that φ ( c ) = c . Let c I m ( θ ) then for every u I m ( θ ) such that u < c , we can find v I m ( θ ) by ( i i i ) of Definition 1 such that θ ( u , v ) = c .
Therefore,
c = φ ( c ) = φ ( θ ( u , v ) ) θ ( φ ( u ) , φ ( v ) ) θ ( u , v ) = c .
This implies that φ ( u ) = u for every u c . Since φ Φ θ , for α = c 2 , there exists β > c 2 such that φ ( l ) < c 2 for every l ( c 2 , β ) . If l ( c 2 , β ) ( c 2 , c ) , we have φ ( l ) = l > c 2 , which is a contradiction. Thus, φ ( l ) < l for every l > 0 .
( i i ) Letting l n l , then we can find l > 0 such that θ ( l , l ) = l n by using ( i i i ) of Definition 1. Now, we have
φ ( l n ) = φ θ ( l , l ) θ φ ( l ) , φ ( l ) < θ ( l , l ) = l n .
Therefore, lim sup n φ ( l n ) < l .  □
Example 4.
Let φ : R + R + be defined by φ ( t ) = ln ( 1 + t ) . Clearly, φ ( t ) < t . Let θ : R + R + be defined by θ ( s , t ) = s + t + s t . We now verify that φ Φ θ .
(i) 
for α > 0 , we consider β = exp ( α ) 1 ; then, β > α . For t ( α , β ) , we have φ ( t ) = ln ( 1 + t ) < ln exp ( α ) = α .
(ii) 
For every s , t I m ( θ ) , we have
θ ( φ ( s ) , φ ( t ) ) = φ ( s ) + φ ( t ) + φ ( s ) φ ( t ) = ln ( 1 + s ) + ln ( 1 + t ) + ln ( 1 + s ) ln ( 1 + t ) > ln ( 1 + s ) + ln ( 1 + t ) = ln ( 1 + s + t + s t ) = φ ( s + t + s t ) = φ ( θ ( s , t ) ) .
(iii) 
φ ( t ) = 0 ln ( 1 + t ) = 0 1 + t = 1 t = 0 .
Thus, φ Φ θ .
Theorem 6.
Let ( X , d θ ) be a complete θ-metric space and T : X CB ( X ) be a multivalued mapping such that there exists φ Φ θ satisfying
H θ ( T a , T b ) φ ( d θ ( a , b ) )
for all a , b X . Then, T has a fixed point.
Proof. 
Let us take arbitrary a 0 in X and Fix a 1 T a 0 . We choose a 2 T a 1 such that
d θ ( a 1 , a 2 ) H θ ( T a 0 , T a 1 ) φ ( d θ ( a 0 , a 1 ) ) < d θ ( a 0 , a 1 ) .
In general, if a n is chosen such that a n T a n , then we can choose a n + 1 T a n such that
d θ ( a n , a n + 1 ) H θ ( T a n 1 , T a n ) φ ( d θ ( a n 1 , a n ) ) < d θ ( a n 1 , a n ) .
Then, { d n = d θ ( a n , a n + 1 ) } is a strictly decreasing sequence. Thus, there exists some d 0 such that d n d . Suppose d > 0 .
Then, from Inequality (11), we have
d n φ ( d n ) d n .
Tending n to ∞, we get
d lim n φ ( d n ) d .
That is, lim n φ ( d n ) = d , which contradicts ( i i ) of Lemma 3. Thus, d = 0 . Hence, H θ ( T a n , T a n + 1 ) 0 , d n 0 as n .
Supposing that { a n } is not Cauchy, then there exist two subsequences of { a n } say { a n ( k ) } , { a m ( k ) } and ϵ > 0 such that
d θ ( a n ( k ) , a m ( k ) ) ϵ
for all k, where m ( k ) > n ( k ) k . Then, clearly
d θ ( a n ( k ) 1 , a m ( k ) ) < ϵ .
Thus, we have
ϵ d θ ( a n ( k ) , a m ( k ) ) θ d θ ( a n ( k ) , a n ( k ) 1 ) , d θ ( a n ( k ) 1 , a m ( k ) ) θ d θ ( a n ( k ) , a n ( k ) 1 ) , ϵ .
Tending k to ∞, we get
lim k d θ ( a n ( k ) , a m ( k ) ) = ϵ .
In addition, we have
ϵ d θ ( a n ( k ) + 1 , a m ( k ) + 1 ) H θ ( T a n ( k ) , T a m ( k ) ) φ ( d θ ( a n ( k ) , a m ( k ) ) ) < d θ ( a n ( k ) , a m ( k ) ) .
Taking k , we get
lim k φ ( d θ ( a n ( k ) , a m ( k ) ) ) = ϵ .
However, due to Lemma 3(ii), we have
lim sup k φ ( d θ ( a n ( k ) , a m ( k ) ) ) < ϵ ,
which contradicts Equation (12). Thus, { a n } is a Cauchy sequence and completeness of θ -metric space X gives rise to existence of v X such that a n v as n . Now,
d θ ( v , T v ) θ d θ ( v , a n + 1 ) , ρ θ ( T a n , T v ) < θ d θ ( v , a n + 1 ) , H θ ( T a n , T v ) < θ d θ ( v , a n + 1 ) , φ ( d θ ( a n , v ) ) < θ d θ ( v , a n + 1 ) , d θ ( a n , v ) .
Letting n , we get d θ ( v , T v ) = 0 , which implies v T v .  □
Example 5.
Let X = [ 0 , 10 ] be a θ-metric space with d θ : X × X R + defined as d θ ( x , y ) = | x y | and θ ( s , t ) = s + t + s t . Clearly, ( X , d θ ) is complete. Let T : X CB ( X ) be given by
T ( a ) = { 0 } , i f a = 0 , 0 , ln ( 1 + a ) , i f a > 0 .
Let us define a mapping φ : R + R + by φ ( v ) = ln ( 1 + v ) . Then, clearly φ Φ θ and φ ( v ) < v , for every v > 0 (as shown in Example 4).
We now show that H θ ( T a , T b ) φ ( d θ ( a , b ) ) holds for all a , b X .
For this, let b a 0 , then T a T b , so we have
H θ ( T a , T b ) = ln ( 1 + b ) ln ( 1 + a ) = ln 1 + b 1 + a .
Since a b , we have 1 + b 1 + a 1 + b a , which implies ln 1 + b 1 + a ln ( 1 + | b a | ) . Thus, we get H θ ( T a , T b ) φ ( d θ ( a , b ) ) .
All of the requirements of Theorem 6 are fulfilled. Hence, T has a fixed point a = 0 .
Remark 4.
In 1969, Meir and Keeler [4] obtained an interesting generalization of BCP on a complete metric space. In 2001, Lim [6] characterized the Meir–Keeler contraction by introducing an L-function φ which satisfies the condition ( i ) of class Φ θ in metric context. Thus, our Theorem 6 characterizes Lim type fixed point results. Consequently, Theorem 6 generalizes various fixed point results of Lim–Nadler type in metric spaces in the context of both space and contractive conditions.

5.2. Pathak and Sahzad Type Fixed Point Theorem

We require the following concepts to prove our results in this section.
Definition 7.
Let ( X , d θ ) be a θ-metric space. A mapping T : X CB ( X ) is an H θ + -contraction if
(i) 
there exists L ( 0 , 1 ) such that H θ + ( T a , T b ) L d θ ( a , b ) , for every a , b X ,
(ii) 
for every a X , b T a and k > 0 , there exists c T b such that
d θ ( b , c ) H θ + ( T a , T b ) + k .
Definition 8.
A mapping T : X CB ( X ) is called generalized H θ + -contraction if d θ ( a , b ) in (i) of Definition 7 is replaced by m θ ( a , b ) = max { d θ ( a , b ) , d θ ( a , T a ) , d θ ( b , T b ) } .
Theorem 7.
Every generalized H θ + -contraction on a complete θ-metric space has a fixed point.
Proof. 
Let ( X , d θ ) be a complete θ -metric space. We may choose k > 0 satisfying 0 < L + k = β < 1 . Let us take arbitrary a 0 in X and fix a 1 T a 0 . From ( i i ) of Definition 7, it follows that we can choose a 2 T a 1 such that
d θ ( a 1 , a 2 ) H θ + ( T a 0 , T a 1 ) + k m θ ( a 0 , a 1 ) ( L + k ) m θ ( a 0 , a 1 ) = β m θ ( a 0 , a 1 ) .
Similarly, there exists a 3 T a 2 such that
d θ ( a 2 , a 3 ) β m θ ( a 1 , a 2 ) .
In general, if a n be chosen, then we can choose a n + 1 T a n such that
d θ ( a n + 1 , a n + 2 ) β m θ ( a n , a n + 1 ) β max { d θ ( a n , a n + 1 ) , d θ ( a n , a n + 1 ) , d θ ( a n + 1 , a n + 2 ) } β max { d θ ( a n , a n + 1 ) , d θ ( a n + 1 , a n + 2 ) } .
If we take max { d θ ( a n , a n + 1 ) , d θ ( x n + 1 , x n + 2 ) } = d θ ( a n + 1 , a n + 2 ) , then, from Inequality (14), we get d θ ( a n + 1 , a n + 2 ) β d θ ( a n + 1 , a n + 2 ) , which is a contradiction. Thus, we have
d θ ( a n + 1 , a n + 2 ) β d θ ( a n , a n + 1 ) .
Inductively,
d θ ( a n + 1 , a n + 2 ) β n d θ ( a 0 , a 1 ) .
Furthermore, we show that sequence { a n } is Cauchy sequence. Since we have
0 d θ ( a n , a n + p ) θ d θ ( a n , a n + 1 ) , d θ ( a n + 1 , a n + p ) ,
tending n to ∞, we get
0 lim n d θ ( a n , a n + p ) lim n θ β n d θ ( a 0 , a 1 ) , d θ ( a n + 1 , a n + p ) θ 0 , lim n d θ ( a n + 1 , a n + p ) lim n d θ ( a n + 1 , a n + p ) lim n θ d θ ( a n + 1 , a n + 2 ) , d θ ( a n + 2 , a n + p ) lim n θ β n d θ ( a 0 , a n + 1 ) , d θ ( a n + 2 , a n + p ) θ 0 , lim n d θ ( a n + 2 , a n + p ) θ 0 , lim n d θ ( a n + p 1 , a n + p ) θ 0 , 0 = 0 .
Thus, we get lim n , m d θ ( a n , a m ) = lim n d θ ( a n , a n + p ) = 0 . Therefore, { a n } is a Cauchy sequence and completeness of ( X , d θ ) gives rise to existence of c in X such that lim n d θ ( a n , c ) = 0 .
Now, since
1 2 ρ θ ( T a n , T c ) + ρ θ ( T c , T a n ) = H θ + ( T a n , T c ) L m θ ( a n , c ) ,
where ρ θ ( T a n , T c ) = sup { d θ ( a n + 1 , T c ) | a n + 1 T a n } . Thus, we have
lim inf n 1 2 ρ θ ( T a n , T c ) + ρ θ ( T c , T a n ) L d θ ( c , T c ) .
Now,
d θ ( c , T c ) = 1 2 [ d θ ( c , T c ) + d θ ( c , T c ) ] 1 2 [ θ ( d θ ( c , T a n ) , ρ θ ( T a n , T c ) ) + θ ( d θ ( c , T a n ) , ρ θ ( T a n , T c ) ) ] .
Taking limit as n , we get
d θ ( c , T c ) L d θ ( c , T c ) ,
a contradiction. Thus, d θ ( c , T c ) = 0 , and hence u T c ¯ = T c .  □
Theorem 8.
Every H θ + -contraction on a complete θ-metric space has a fixed point.
Proof. 
Proof follows from the proof of Theorem 7. □
Example 6.
Let X = { x , y , z } and d θ : X × X R + be defined by
d θ ( x , y ) = 1 5 , d θ ( x , z ) = 1 , d θ ( y , z ) = 3 4 ,
d θ ( a , a ) = 0 , a n d d θ ( a , b ) = d θ ( b , a ) f o r e v e r y a , b X .
Then, for θ ( s , t ) = s + t + s t , ( X , d θ ) is a complete θ-metric space but not a metric space.
Let T : X CB ( X ) be such that
T ( a ) = { x } , i f a = x , { x , y } , i f a = y , { x , z } , i f a = z .
First, we verify that H θ + ( T a , T b ) L m θ ( a , b ) = max { d θ ( a , b ) , d θ ( a , T a ) , d θ ( b , T b ) } holds for some L ( 0 , 1 ) . Consider the following three cases:
  • If a = x , b = y , then m θ ( a , b ) = 1 5 and H θ + ( T a , T b ) = 1 10 . Thus, H θ + ( T a , T b ) L m θ ( a , b ) is satisfied for L 1 2 ,
  • If a = x , b = z , then m θ ( a , b ) = 1 and H θ + ( T a , T b ) = 1 2 . Thus, H θ + ( T a , T b ) L m θ ( a , b ) is satisfied for L 1 2
  • If a = y , b = z , then m θ ( a , b ) = 3 4 and H θ + ( T a , T b ) = 19 40 . Thus, H θ + ( T a , T b ) L m θ ( a , b ) is satisfied for L 19 30 .
Now, we verify that, for every a X , b T a and k > 0 , there exists c T b such that d θ ( b , c ) H θ + ( T a , T b ) + k .
  • If a = x , b = x T ( a ) = { x } , k > 0 , there exists c = x T ( b ) = a such that 0 = d θ ( b , c ) H θ + ( T a , T b ) + k .
  • If a = y , b T a = T ( y ) = { x , y } ,
    (i) 
    let b = x , k > 0 , there exists c = x T b = x such that 0 = d θ ( b , c ) < H θ + ( T a , T b ) + k ,
    (ii) 
    let b = y , k > 0 , there exists c T b = { x , y } say c = x such that 0 = d θ ( b , c ) < H θ + ( T a , T b ) + k .
  • If a = z , b T a = T ( z ) = { x , z } ,
    (i) 
    let b = x , k > 0 , there exists c = x T b = { x } such that 0 = d θ ( b , c ) < H θ + ( T a , T b ) + k ,
    (ii) 
    let b = z , k > 0 , there exists c T b = { x , z } say c = z such that 0 = d θ ( b , c ) < H θ + ( T a , T b ) + k .
Thus, T is a generalized H θ + -contraction for L [ 19 30 , 1 ) . Therefore, all the requirements of Theorem 7 are fulfilled. Hence, T has at least one fixed point. Evidently, T has fixed points x , y and z here.

6. Conclusions

Khojasteh et al. [16] introduced θ -metric and generalized the notion of metric by replacing triangle inequality with a weaker form. They proved a Caristi type fixed point theorem by assigning partial order on the domain of operator and made use of Zorn’s lemma. In this manuscript, we proved that the Caristi type fixed point Theorem 1 in an alternative, comparatively new and simple way.
The study of fixed points of multivalued mappings is of immense interest. For that, we investigated two θ -metrics (namely H θ and H θ + ) on CB ( X ) that are equivalent. In Theorem 6, we used H θ metric and established a Lim–Nadler type fixed point theorem in the setting of θ -metric, whereas Theorems 7 and 8 are Pathak–Sahzad type fixed point results proved with the aid of H θ + metric. Clearly, these results generalize that of Nadler [8], Lim [6], Pathak and Sahzad [9], etc. New illustrative examples are provided for better understanding of the results.

Author Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Funding

This research was funded by NBHM, Department of Atomic Energy, Govt. of India (Grant No. -02011/27/2017/R&D-II/11630).

Acknowledgments

The authors are thankful to the anonymous reviewers. The third author is thankful for the support of NBHM, Department of Atomic Energy.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kakutani, S. A generalization of Brouwer’s fixed point theorem. Duke Math. J. 1941, 8, 457–459. [Google Scholar] [CrossRef]
  2. Border, K. Fixed Point Theorems with Applications to Economics and Game Theory; Cambridge Press: Cambridge, UK, 1985. [Google Scholar]
  3. Boyd, D.W.; Wong, J.S.W. On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20, 458–464. [Google Scholar] [CrossRef]
  4. Meir, A.; Keeler, E. A theorem on contraction mappings. J. Math. Anal. Appl. 1969, 28, 326–329. [Google Scholar] [CrossRef] [Green Version]
  5. Geraghty, M. On contractive mappings. Proc. Am. Math. Soc. 1973, 40, 604–608. [Google Scholar] [CrossRef]
  6. Lim, T.C. On characterizations of Meir-Keeler contractive maps. Nonlinear Anal. 2001, 46, 113–120. [Google Scholar] [CrossRef]
  7. Khojasteh, F.; Shukla, S.; Radenović, S. A new approach to the study of fixed point theory for simulation functions. Filomat 2015, 29, 1189–1194. [Google Scholar] [CrossRef]
  8. Nadler, S.B. Multi-valued contraction mappings. Pac. J. Math. 1969, 30, 475–488. [Google Scholar] [CrossRef] [Green Version]
  9. Pathak, H.K.; Shahzad, N. A generalization of Nadler’s fixed point theorem and its application to nonconvex integral inclusion. Topol. Methods Nonlinear Anal. 2013, 41, 207–227. [Google Scholar]
  10. Caristi, J. Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 1976, 215, 241–251. [Google Scholar] [CrossRef]
  11. Khamsi, M.A.; Kirk, W.A. An introduction to metric spaces and fixed point theory. In Pure and Applied Mathematics; Wiley-Interscience: New York, NY, USA, 2001. [Google Scholar]
  12. Takahashi, W. Nonlinear Functional Analysis; Yokohama Publishers: Yoko-hama, Japan, 2000. [Google Scholar]
  13. Weston, J.D. A characterization of metric completeness. Proc. Am. Math. Soc. 1977, 64, 186–188. [Google Scholar] [CrossRef]
  14. Khamsi, M.A. Remarks on Caristi’s fixed point theorem. Nonlinear Anal. 2009, 71, 227–231. [Google Scholar] [CrossRef] [Green Version]
  15. Khojasteh, F.; Karapinar, E.; Khandani, H. Some applications of Caristi’s fixed point theorem in metric spaces. Fixed Point Theory Appl. 2016, 2016. [Google Scholar] [CrossRef]
  16. Khojasteh, F.; Karapinar, E.; Radenovic, S. θ-metric space: A generalization. Math. Probl. Eng. 2013, 2013, 504609. [Google Scholar] [CrossRef]
  17. Patle, P.R.; Rakoćevic, V.; Patel, D.K. An alternative partial metric approach for the existence of common fixed point. Commu. Optim. Theory 2018. [Google Scholar] [CrossRef]
  18. Patle, P.R.; Patel, D.K.; Aydi, H.; Radenović, S. ON H + -type multivalued contractions and applications in symmetric and probabilistic Spaces. Mathematics 2019, 7, 144. [Google Scholar] [CrossRef]
  19. Brzdek, J.; Karapinar, E.; Petrusel, A. A fixed point theorem and the Ulam stability in generalized dq-metric spaces. J. Math. Anal. Appl. 2018, 467, 501–520. [Google Scholar] [CrossRef]
  20. Berinde, V.; Pacurar, M. The role of the Pompeiu–Hausdorff metric in fixed point theory. Creat. Math. Inform. 2013, 22, 143–150. [Google Scholar]

Share and Cite

MDPI and ACS Style

Patle, P.; Vujaković, J.; Patel, D.; Radenović, S. Caristi, Nadler and H + -Type Contractive Mappings and Their Fixed Points in θ-Metric Spaces. Symmetry 2019, 11, 504. https://doi.org/10.3390/sym11040504

AMA Style

Patle P, Vujaković J, Patel D, Radenović S. Caristi, Nadler and H + -Type Contractive Mappings and Their Fixed Points in θ-Metric Spaces. Symmetry. 2019; 11(4):504. https://doi.org/10.3390/sym11040504

Chicago/Turabian Style

Patle, Pradip, Jelena Vujaković, Deepesh Patel, and Stojan Radenović. 2019. "Caristi, Nadler and H + -Type Contractive Mappings and Their Fixed Points in θ-Metric Spaces" Symmetry 11, no. 4: 504. https://doi.org/10.3390/sym11040504

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