Next Article in Journal
CoFi: Coding-Assisted File Distribution over a Wireless LAN
Previous Article in Journal
An Efficient Essential Secret Image Sharing Scheme Using Derivative Polynomial
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Application of Fixed Point Results on Rational F-Contraction Mappings to Solve Boundary Value Problems

1
Department of Mathematics, The ICFAI University, Raipur, Chhattisgarh 490042, India
2
Department of Mathematics, Veer Surendra Sai University of Technology, Burla 768018, India
3
Center for General Education, China Medical University, Taichung 40402, Taiwan
4
Romanian Academy, Gh. Mihoc–C. Iacob Institute of Mathematical Statistics and Applied Mathematics, 050711 Bucharest, Romania
5
Department of Mathematics and Informatics, University Politehnica of Bucharest, 060042 Bucharest, Romania
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(1), 70; https://doi.org/10.3390/sym11010070
Submission received: 26 November 2018 / Revised: 4 January 2019 / Accepted: 7 January 2019 / Published: 9 January 2019

Abstract

:
The notion of rational F-contractions using α -admissibility of type-S in b-metric-like spaces is introduced and the new fixed and periodic point theorems are proved for such mappings. Numerical examples are illustrated to check the efficiency and applicability of our fresh findings. It is also observed that some of the works reported in the literature are the particular cases of the present study.

1. Introduction

The notion of F-contraction mapping was introduced by Wardowski [1] in fixed point theory and proved the related results. These results are the generalization of Banach contraction mapping principle as well as various fixed point theorems appearing in the literature, for instance [2]. On the other hand, Alghamdi et al. [3] found existence and uniqueness of fixed points for the mappings in b-metric-like and partially ordered b-metric-like spaces.
The notion of α -admissible maps was introduced that provided a beautiful class of mapping by Samet et al. [4] to observe the existence as well as uniqueness of fixed point. Using the same concept or slight modifications, a lot of work has been done in that direction. Sintunavarat [5] introduced the concept of α -admissible type-S in partial b-metric space and derived based fixed point results.
In the present paper, we introduce different types of rational F-contraction with α -admissibility type-S and examine the existence and uniqueness of fixed points in b-metric-like spaces.
Throughout this paper, R , R + and N are denoted as real numbers, nonnegative real numbers and positive integers, respectively.

2. Prerequisites

Definition 1 ([1]).
Let F be the family of all functions F : ( 0 , ) R such that
(F1) 
F is strictly increasing, i.e., for all u , v R + such that u < v , F ( u ) < F ( v ) ;
(F2) 
for each sequence { α n } n = 1 of positive numbers, lim α 0 + α n = 0 if and only if
lim n F ( α n ) = ;
(F3) 
there exists k ( 0 , 1 ) such that lim α 0 + α k F ( α ) = 0 .
Definition 2 ([1]).
Suppose ( U , d ) is a metric space. The mapping T : U U is said to be F-contraction on ( U , d ) if there exist T F and τ > 0 such that
u , v U , [ d ( T u , T v ) > 0 τ + F ( d ( T u , T v ) ) F ( d ( u , v ) ) ] .
Definition 3.
Let ( U , d ) be a metric space. A mapping T : U U is said to be an F-weak contraction on ( U , d ) if there exist T F and τ > 0 such that u , v U with T u T v
τ + F ( d ( u , T u ) ) F max d ( u , v ) , d ( u , T u ) d ( v , T v ) d ( u , T v ) + d ( v , T u ) 2 .
Definition 4 ([6]).
Let U be a nonempty set, let k 1 be a given real number. A function d : U × U [ 0 , ) is called a b-metric if the following conditions hold: u , v , w U .
(S1)
d ( u , v ) = 0 if and only if u = v ,
(S2)
d ( u , v ) = d ( v , u ) ,
(S3)
d ( u , v ) k [ d ( u , w ) + d ( z , w ) ] .
Then, ( U , d ) is said to be a b-metric space. k 1 is the coefficient of ( U , d ) .
Definition 5 ([7]).
Let U be a nonempty set, a mapping σ : U × U R + such that u , v , w U
1) 
σ ( u , v ) = 0 implies u = v ,
2) 
σ ( u , v ) = σ ( v , u ) ,
3) 
σ ( u , v ) σ ( u , w ) + σ ( w , v ) .
Then ( U , σ ) is said to be a metric-like space.
Definition 6 ([3]).
Let U be a nonempty set and a real number k 1 be given. A function σ b : U × U R + such that the following assertions hold u , v , w U :
b1) 
σ b ( u , v ) = 0 implies u = v ,
b2) 
σ b ( u , v ) = σ b ( v , u ) ,
b3) 
σ b ( u , v ) k [ σ b ( u , w ) + σ b ( w , v ) ] .
Then, ( U , σ b ) is said to be a b-metric-like space.
Ref. [8] recommended that the converses of the below facts need not be held.
  • Let U be a nonempty set and σ b is b-metric-like on U such that the pair ( U , σ b ) be a b-metric-like space.
  • In a b-metric-like space ( U , σ b ) , if u , v U and σ b ( u , v ) = 0 , then u = v , and σ b ( u , u ) may be positive for u U .
  • It can be easily observed that every b-metric and partial b-metric spaces are b-metric-like spaces with the same k.
Every b-metric-like σ b on U generates a topology τ σ b whose base is the family of all open σ b -balls { B σ b ( u , δ ) : u U , δ > 0 } , where { B σ b ( u , δ ) = { v U : | σ b ( u , v ) σ b ( u , u ) | < δ } , u U and δ > 0 .
Definition 7 ([3]).
Let ( U , σ b ) be a b-metric-like space with coefficient k, let { u n } be any sequence in U and u U . Then,
(i) 
{ u n } is called convergent to u w.r.t. τ σ b , if lim n σ b ( u n , u ) = σ b ( u , u ) ,
(ii) 
{ u n } is called Cauchy sequence in ( U , σ b ) if lim n , m σ b ( u n , u m ) exists (it is finite),
(iii) 
( U , σ b ) is called complete b-metric-like space if, for every Cauchy sequence { u n } in U, there exists u U such that
lim n , m σ b ( u n , u m ) = lim n σ b ( u n , u ) = σ b ( u , u ) .
It can be noted that the limit of a sequence may not be unique in b-metric-like spaces.
Let us discuss the notion of b-convergence, b-Cauchy sequence, b-continuity and b-completeness in b-metric-like spaces.
Definition 8 ([9]).
Let ( U , σ b ) be a b-metric-like space. Then, a sequence { u n } in U is called
(a) 
b-convergent if there exists u U such that σ b ( u n , u ) 0 as n . In this case, we write lim n u n = u ,
(b) 
b-Cauchy if σ b ( u n , u m ) 0 as n , m .
Each b-convergent sequence is b-Cauchy with a unique limit in b-metric-like spaces. The following lemma is necessary to prove main results.
Lemma 1 ([9]).
Let ( U , σ b ) be a b-metric-like space with coefficient s 1 and let { u n } and { v n } be b-convergent to points u , v U , respectively. Then,
1 s 2 σ b ( u , v ) lim inf n σ b ( u n , v n ) lim sup n σ b ( u n , v n ) s 2 σ b ( u , v ) .
In particular, if u = v , then lim n σ b ( u n , v n ) = 0 . Moreover, for each z U , we have
1 s σ b ( u , z ) lim inf n σ b ( u n , z ) lim sup n σ b ( u n , z ) s σ b ( u , z ) .
Remark 1 ([10]).
Let ( U ; σ b ) be a b-metric-like space and let T : U U be a continuous mapping. Then,
lim n + σ b ( u n , u ) = σ b ( u , u ) lim n + σ b ( T u n , T u ) = σ b ( T u , T u ) .
Definition 9 ([10]).
Let ( U , σ U ) and ( V , σ V ) be two b-metric-like spaces.
(1) 
The space ( U , σ U ) is b-complete if every b-Cauchy sequence in U is b-converges.
(2) 
A function T : U V is b-continuous at a point u U if it is b-sequentially continuous at u , that is, whenever { u n } is b-convergent to u , { T u n } is b-convergent to T u .
Many papers related to fixed point results in b-metric-like spaces appear in literature, some of them are [3,7,10,11,12,13] and references therein.
The idea of α -admissibility was studied by [4] for the first time. After that, Ref. [5] extended this concept as α -admissibility type-S in the light of metric spaces and b-metric spaces, respectively.
Definition 10 ([4,5]).
For a nonempty set U, let α : U × U [ 0 , ) and f : U U are mappings. Then, u , v U ,
(i) 
we say that the mapping T is α-admissible mapping if
α ( u , v ) 1 α ( T u , T v ) 1
and is denoted by the symbol P ( U , α ) .
(ii) 
we say that the mapping T is α-admissible mapping of type S if
α ( u , v ) s α ( T u , T v ) s
and is denoted by the symbol P s ( U , α ) , where s 1 .
Definition 11 ([5]).
Let U be a nonempty set. Suppose that α : U × U [ 0 , ) and T : U U are mappings. Then, u U .
(i) 
T is said to be a weak α-admissible mapping if
α ( u , T u ) 1 α ( T u , T T u ) 1 ,
and is denoted by W P ( U , α )
(ii) 
T is said to be a weak α-admissible mapping of type S if
α ( u , T u ) s α ( T u , T T u ) s ,
and is denoted by W P s ( U , α ) , where s 1 .
Ref. [5] presented some examples to show that the class of [] α -admissible mappings and the class of α -admissible mappings of type S are independent; that is, P ( X , α ) P s ( U , α ) .
Remark 2 ([5]).
It is easy to see that the following assertions hold:
(i) 
α-admissibility ⇒ weak α-admissibility, that is,
P ( U , α ) W P ( U , α ) ,
(ii) 
α-admissibility type S⇒ weak α-admissibility of type S, that is,
P s ( U , α ) W P s ( U , α ) .

3. Results

In this section, we investigate some fixed point results for rational F-contractions mapping with α -admissibility type-S and for the classes of W P s ( U , α ) and P s ( U , α ) :
F i x ( T ) : = { u U | T u = u } .
In addition, for each elements u and v in a b-metric-like space ( U , σ b ) with coefficient s 1 . Let
F ( Δ s ( u , v ) ) = max σ b ( u , v ) , σ b ( u , T u ) , σ b ( v , T v ) , σ b ( u , T v ) + σ b ( v , T u ) 2 s , σ b ( u , T u ) σ b ( v , T v ) 1 + s [ σ b ( u , v ) + σ b ( u , T v ) + σ b ( v , T u ) ] , σ b ( u , T v ) σ b ( u , v ) 1 + s σ b ( u , T u ) + s 3 [ σ b ( v , T u ) + σ b ( v , T v ) ] ,
where T is a self-mapping on U, we write Δ ( u , v ) instead of Δ s ( u , v ) when s = 1 , i.e.,
F ( Δ ( u , v ) ) = max σ b ( u , v ) , σ b ( u , T u ) , σ b ( v , T v ) , σ b ( u , T v ) + σ b ( v , T u ) 2 , σ b ( u , T u ) σ b ( v , T v ) 1 + σ b ( u , v ) + σ b ( u , T v ) + σ b ( v , T u ) , σ b ( u , T v ) σ b ( u , v ) 1 + σ b ( u , T u ) + σ b ( v , T u ) + σ b ( v , T v ) .
Definition 12.
Let ( U , σ b ) be a b-metric-like space with coefficient s 1 , let α : U × U [ 0 , ) be given mappings. Then, T : U U is called rational F-contraction if the following condition holds:
u , v U w i t h α ( u , v ) s a n d σ b ( T u , T v ) > 0 τ + F ( s 3 σ b ( T u , T v ) ) F ( Δ s ( u , v ) ) .
We denote by Θ s ( U , α , F ) the collection of all rational F-contractions on a b-metric-like space ( U , σ b ) with coefficient s 1 .
Theorem 1.
Let ( U , σ b ) be a b-complete b-metric-like space with coefficient s 1 , let α : U × U [ 0 , ) , and T : U U be given mappings. Suppose that the following conditions hold:
(S1)
T Θ s ( U , α , F ) W S s ( U , α ) ,
(S2)
there exists u 0 U such that α ( u 0 , T u 0 ) s ,
(S3)
α has a transitive property type S , that is, for u , v , w U ,
α ( u , v ) s and α ( v , w ) s α ( u , w ) s .
(S4)
T is b-continuous.
Then, F i x ( T ) .
Proof. 
By the given condition ( S 2 ) , there exists u 0 U such that
α ( u 0 , T u 0 ) s .
Define the sequence { u n } by u n + 1 = T u n . If there exists n 0 N , such that u n 0 = u n 0 + 1 , then u n 0 F i x ( T ) and hence the proof is completed. Thus, we assume that u n u n + 1 , for all n N .
It follows that
σ b ( u n , u n + 1 ) > 0 , n N .
Hence, we have
1 2 s σ b ( u n , T u n ) < σ b ( u n , T u n ) , n N .
Now, we need to prove that
lim n σ b ( u n , u n + 1 ) = 0 .
It follows from T W S s ( U , α ) and α ( u 0 , T u 0 ) s that
α ( u 1 , u 2 ) = α ( T u 0 , T T u 0 ) s .
By induction, we obtain
α ( u n + 1 , u n + 2 ) s .
As we have
F ( σ b ( u n + 1 , u n + 2 ) ) = F ( σ b ( T u n , T u n + 1 ) ) F ( s 3 σ b ( T u n , u n + 1 ) ) , n N ,
it follows from T Θ s ( U , α , F ) that the inequalities (6) and (11) imply that
τ + F ( σ b ( T u n , T u n + 1 ) ) τ + F ( s 3 σ b ( T u n , T u n + 1 ) ) F ( Δ s ( u n , u n + 1 ) )
for all n N . Note that, for each n N , we have
F ( Δ s ( u n , u n + 1 ) ) = F max σ b ( u n , T u n ) , σ b ( T u n , T 2 u n ) , σ b ( u n , T 2 u n ) + σ b ( T u n , T u n ) 2 s , σ b ( u n , T u n ) σ b ( T u n , T 2 u n ) 1 + s [ σ b ( u n , T u n ) + σ b ( u n , T 2 u n ) + σ b ( T u n , T u n ) ] , σ b ( u n , T 2 u n ) σ b ( u n , T u n ) 1 + s σ b ( u n , T u n ) + s 3 [ σ b ( T u n , T u n ) + σ b ( T u n , T 2 u n ) ] = F max σ b ( u n , T u n ) , σ b ( T u n , T 2 u n ) , σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) + σ b ( T u n , u n ) + σ b ( u n , T u n ) 2 s , σ b ( u n , T u n ) σ b ( T u n , T 2 u n ) 1 + s [ σ b ( u n , T u n ) + σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) + σ b ( T u n , u n ) + σ b ( T u n , u n ) ] , [ σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) ] σ b ( u n , T u n ) 1 + s σ b ( u n , T u n ) + s 3 [ σ b ( T u n , u n ) + σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) ]
= F max σ b ( u n , T u n ) , σ b ( T u n , T 2 u n ) , 3 σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) 2 s , σ b ( u n , T u n ) σ b ( T u n , T 2 u n ) 1 + s [ 4 σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) ] , [ σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) ] σ b ( u n , T u n ) 1 + s σ b ( u n , T u n ) + s 3 [ 2 σ b ( u n , T u n ) + σ b ( T u n , T 2 u n ) ] < F max σ b ( u n , T u n ) , σ b ( T u n , T 2 u n ) .
If Δ s ( u n , T u n ) = σ b ( T u n , T 2 u n ) for some n N , then inequality (12) implies that
τ + F ( σ b ( T u n , T 2 u n ) ) τ + F ( s 3 σ b ( T u n , T 2 u n ) ) < F ( σ b ( T u n , T 2 u n ) ) ,
which contradicts τ > 0 . Hence,
Δ s ( u n , u n + 1 ) = σ b ( u n , T u n ) , n N .
From (12), we have
τ + F ( σ b ( T u n , T 2 u n ) ) τ + F ( s 3 σ b ( T u n , T 2 u n ) ) < F ( σ b ( u n , T u n ) )
for all n N . Therefore, the above inequality becomes
F ( σ b ( T u n , T 2 u n ) ) < F ( σ b ( u n , T u n ) ) τ ,
which is equivalent to
F ( σ b ( u n + 1 , T u n + 1 ) ) < F ( σ b ( u n , T u n ) ) τ , n N .
Iteratively, we find that
F ( σ b ( u n , T u n ) ) F ( σ b ( u n 1 , T u n 1 ) ) τ F ( σ b ( u n 2 , T u n 2 ) ) 2 τ F ( σ b ( u n 3 , T u n 3 ) ) 3 τ F ( σ b ( u 0 , T u 0 ) ) n τ .
From (16), we obtain lim n F ( σ b ( u n , T u n ) ) = , which, together with ( F 2 ) , gives
lim n σ b ( u n , T u n ) = lim n σ b ( u n , u n + 1 ) = 0 .
Using the method of contradiction, let us prove that { u n } is a b-Cauchy sequence in U . Assume that there exists ϵ 0 > 0 and sequences { u p ( k ) } and { u q ( k ) } of { u n } such that p ( k ) > q ( k ) k and
σ b ( u p ( k ) , u q ( k ) ) ϵ 0
and q ( k ) is the smallest number such that (18) holds:
σ b ( u p ( k ) , u q ( k ) 1 ) < ϵ 0 .
By ( σ b 3 ) , (18) and (19), we get
ϵ 0 σ b ( u p ( k ) , u q ( k ) ) s σ b ( u p ( k ) , u q ( k ) 1 ) + s σ b ( u q ( k ) 1 , u q ( k ) ) < s ϵ 0 + s σ b ( u q ( k ) 1 , u q ( k ) ) .
Owing to (17), there exists N 1 N such that
σ b ( u p ( k ) 1 , T u p ( k ) 1 ) < ϵ 0 , σ b ( u q ( k ) , T u q ( k ) ) < ϵ 0 , σ b ( u p ( k ) , T u p ( k ) ) < ϵ 0 , k > N 1 ,
which together with (20) shows
σ b ( u p ( k ) , u q ( k ) ) < 2 s ϵ 0 , k > N 1 ,
hence
F ( σ b ( u p ( k ) , u q ( k ) ) ) < F ( 2 s ϵ 0 ) , k > N 1 ,
From (17), (18) and (21), we get
1 2 s σ b ( u p ( k ) , T u p ( k ) ) < ϵ 0 2 s < σ b ( u p ( k ) , u q ( k ) ) k > N 1 .
Using the triangular inequality, we deduce that
σ b ( u p ( k ) , u q ( k ) ) s σ b ( u p ( k ) , u p ( k ) + 1 ) + s 2 [ σ b ( u p ( k ) + 1 , u q ( k ) + 1 ) + σ b ( u q ( k ) + 1 , u q ( k ) ) ] .
Passing to the limit k + in (25), by (16) yields
ϵ 0 s 2 lim sup k σ b ( u p ( k ) + 1 , u q ( k ) + 1 ) ,
hence there exists N 2 N , such that σ b ( u p ( k ) + 1 , u q ( k ) + 1 ) > 0 for k > N 2 ,
i.e., σ b ( T u p ( k ) , T u q ( k ) ) > 0 . Using the transitivity property type S of α , we get
α ( u p ( k ) , u q ( k ) ) s .
Since T Θ s ( U , α , F ) , we have
τ + F ( σ b ( u p ( k ) + 1 , u q ( k ) + 1 ) ) τ + F ( s 3 σ b ( T u p ( k ) , T u q ( k ) ) ) F ( Δ s ( u p ( k ) , u q ( k ) ) ) .
By (6), (21), (23), and (25), we obtain
F ( Δ s ( u p ( k ) , u q ( k ) ) ) = F max σ b ( u p ( k ) , u q ( k ) ) , σ b ( u p ( k ) , T u p ( k ) ) , σ b ( u q ( k ) , T u q ( k ) ) , σ b ( u p ( k ) , T u q ( k ) ) + σ b ( u q ( k ) , T u p ( k ) ) 2 s , σ b ( u p ( k ) , T u p ( k ) ) σ b ( u q ( k ) , T u q ( k ) ) 1 + s [ σ b ( u p ( k ) , u q ( k ) ) + σ b ( u p ( k ) , T u q ( k ) ) + σ b ( u q ( k ) , T u p ( k ) ) ] , σ b ( u p ( k ) , T u q ( k ) ) σ b ( u p ( k ) , u q ( k ) ) 1 + s σ b ( u p ( k ) , T u p ( k ) ) + s 3 [ σ b ( u q ( k ) , T u p ( k ) ) + σ b ( u q ( k ) , T u q ( k ) ) ] F max σ b ( u p ( k ) , u q ( k ) ) , σ b ( u p ( k ) , T u p ( k ) ) , σ b ( u q ( k ) , T u q ( k ) ) , σ b ( u p ( k ) , u q ( k ) ) + σ b ( u q ( k ) , T u q ( k ) ) + σ b ( u q ( k ) , u p ( k ) ) + σ b ( u p ( k ) , T u p ( k ) ) 2 s , σ b ( u p ( k ) , T u p ( k ) ) σ b ( u q ( k ) , T u q ( k ) ) 1 + s [ 2 σ b ( u p ( k ) , u q ( k ) ) + σ b ( u q ( k ) , T u q ( k ) ) + σ b ( u q ( k ) , u p ( k ) ) + σ b ( u p ( k ) , T u p ( k ) ) ] , σ b ( u p ( k ) , u q ( k ) + 1 ) σ b ( u p ( k ) , u q ( k ) ) 1 + s σ b ( u p ( k ) , T u p ( k ) ) + s 3 [ σ b ( u q ( k ) , u p ( k ) ) + σ b ( u p ( k ) , T u p ( k ) ) + σ b ( u q ( k ) , T u q ( k ) ) ] F max 2 s ϵ 0 , σ b ( u p ( k ) , T u p ( k ) ) , σ b ( u q ( k ) , T u q ( k ) ) , 2 s ϵ 0 + ϵ 0 + 2 s ϵ 0 + ϵ 0 2 s , σ b ( u p ( k ) , T u p ( k ) ) σ b ( u q ( k ) , T u q ( k ) ) 1 + s [ 2 s ϵ 0 + 2 s ϵ 0 + ϵ 0 + 2 s ϵ 0 + ϵ 0 ] , ( 2 s ϵ 0 + ϵ 0 ) ( 2 s ϵ 0 ) 1 + s σ b ( u p ( k ) , T u p ( k ) ) + s 3 [ 2 s ϵ 0 + σ b ( u p ( k ) , T u p ( k ) ) + σ b ( u q ( k ) , T u q ( k ) ) ]
for k > max { N 1 , N 2 } . Passing to the k + in (28) and using (27), we obtain
τ + F ( ϵ 0 ) F ( ϵ 0 ) ,
which contradicts τ > 0 . Therefore, { u n } is a b-Cauchy sequence in U . Now, ( U , σ b ) is a b-completeness b-metric-like space; there exists u * U such that
σ b ( u * , u * ) = lim n σ b ( u n , u * ) = lim n , m σ b ( u n , u m ) = 0 .
By b-continuity of T, we get
lim n σ b ( T u n , T u * ) = 0 .
From the triangle inequality, we have
σ b ( u * , T u * ) s [ σ b ( u * , T u n ) + σ b ( T u n , T u * ) ] n N .
Passing to the limit as n in the above inequality, we obtain
σ b ( u * , T u * ) = 0 .
Then, T u * = u * . This shows that F i x ( T ) .  □
Considering different cases of condition (6) in Theorem 1, we have the following contraction results.
(I)
Take F ( α ) = ln α ( α > 0 ) and τ = ln ( 1 λ ) where λ ( 0 , 1 ) , then
u , v U with α ( u , v ) s and σ b ( T u , T v ) > 0 s 3 σ b ( T u , T v ) λ Δ s ( u , v ) .
(II)
Taking F ( α ) = ln α + α ( α > 0 ) and τ = ln ( 1 λ ) where λ ( 0 , 1 ) , then
u , v U with α ( u , v ) s and σ b ( T u , T v ) > 0 s 3 σ b ( T u , T v ) ) e s 3 σ b ( T u , T v ) Δ s ( u , v ) λ Δ s ( u , v ) .
(III)
Take F ( α ) = 1 α ( α > 0 ) and τ = λ where λ > 0 , then
u , v U with α ( u , v ) s and σ b ( T u , T v ) > 0 s 3 σ b ( T u , T v ) ) 1 ( 1 + λ Δ s ( u , v ) ) 2 Δ s ( u , v ) .
(IV)
Taking F ( α ) = ln ( α 2 + α ) ( α > 0 ) and τ = ln ( 1 λ ) where λ > 0 , then
u , v U with α ( u , v ) s and σ b ( T u , T v ) > 0 s 3 σ b ( T u , T v ) ) [ s 3 σ b ( T u , T v ) + 1 ] λ Δ s ( u , v ) [ Δ s ( u , v ) + 1 ] .
Now, we verify Theorem 1 by the two following examples:
Example 1.
Let U = [ 0 , 1 ] and σ b : U × U [ 0 , ) be defined by
σ b ( u , v ) = max { u , v } 2 , u , v U .
Then, ( U , σ b ) is a b-complete b-metric-like space with constant s = 2 . Define mappings T : U U and α : U × U [ 0 , ) by
α ( u , v ) = 1 + e u + v , u , v [ 0 , 1 ] , l n ( 2 u + 3 ) , o t h e r w i s e , a n d T ( u ) = u 8 , u , v [ 0 , 1 ) , 1 32 , if u = 1 .
Now, we need to show that T Θ s ( U , α , F ) .
Proof. 
Supposing that u , v U , so that α ( u , v ) s = 2 . Defining the function F ( α ) = ln ( α ) for α R + , then we get
τ + F ( s 3 σ b ( T u , T v ) ) F ( Δ s ( u , v ) ) ln Δ s ( u , v ) 8 σ b ( T u , T v ) τ .
We distinguish it into four cases:
Case I: For u = 1 and v [ 0 , 1 ] , we have
8 σ b ( T u , T v ) = 8 σ b 1 32 , T v = 8 1 1024 , v [ 0 , 1 4 ] v 2 64 , v ( 1 4 , 1 ) 1 1024 , v = 1 = 1 128 , v [ 0 , 1 4 ] v 2 8 , v ( 1 4 , 1 ) 1 128 , v = 1
and
Δ s ( u , v ) = max σ b ( u , v ) , σ b ( v , f v ) , σ b ( u , T u ) , σ b ( u , T v ) + σ b ( v , T u ) 2 s , σ b ( u , T u ) σ b ( v , T v ) 1 + s [ σ b ( u , v ) + σ b ( u , T v ) + σ b ( v , T u ) ] , σ b ( u , T v ) σ b ( u , v ) 1 + s σ b ( u , T u ) + s 3 [ σ b ( v , T u ) + σ b ( v , T v ) ] = max u 2 , v 2 , u 2 , ( max { u , T v } ) 2 + ( max { v , T u } ) 2 4 , u 2 v 2 1 + 2 [ u 2 + ( max { u , T v } ) 2 + ( max { v , T x } ) 2 ] , ( max { u , T v } ) 2 u 2 1 + 2 u 2 + 8 [ ( max { v , T u } ) 2 + v 2 ] = 1 .
Therefore, from (37), we get
Δ s ( u , v ) 8 σ b ( T u , T v ) = 128 , v [ 0 , 1 4 ] 8 v 2 , v ( 1 4 , 1 ) 128 , v = 1 .
Case II: For u < 1 and v = 1 , we have
8 σ b ( T u , T v ) = 8 σ b T u , 1 32 = 8 1 1024 , u [ 0 , 1 4 ] u 2 64 , u ( 1 4 , 1 ) 1 1024 , u = 1 = 1 128 , u [ 0 , 1 4 ] u 2 8 , u ( 1 4 , 1 ) 1 128 , u = 1
and
Δ s ( u , v ) = 1 .
Hence, we get
Δ s ( u , v ) 8 σ b ( T u , T v ) = 128 , u [ 0 , 1 4 ] 8 u 2 , u ( 1 4 , 1 ) 128 , u = 1 .
Case III: For u < v < 1 , we have
8 σ b ( T u , T v ) = 8 σ b u 8 , v 8 = 8 v 2 64 = v 2 8 , and Δ s ( u , v ) = v 2 .
Hence, we get
Δ s ( u , v ) 8 σ b ( T u , T v ) = 8 .
Case VI: For v u < 1 , we have
8 σ b ( T u , T v ) = 8 σ b u 8 , v 8 = 8 u 2 64 = u 2 8 , and Δ s ( u , v ) = u 2 .
Hence, we get
Δ s ( u , v ) 8 σ b ( T u , T v ) = 8 ,
if 0 < τ ln 8 and from the Equations (38)–(41), we obtain ln Δ s ( u , v ) 8 σ b ( T u , T v ) τ . This implies that (6) holds and thus T Θ s ( U , α , F ) . It is easy to see that T W S s ( U , α ) . Indeed, if u U is such that
α ( u , T u ) s = 2 ,
then u , T u [ 0 , 1 ) . This implies that T T u [ 0 , 1 ) and hence
α ( T u , T T u ) s .
In addition, we can see that T is b-continuous and there is u 0 = 1 such that
α ( u 0 , T u 0 ) = α ( 1 , T ( 1 ) ) = α ( 1 , 1 32 ) = 1 + e 1 + 1 32 2 = s .
Hence, all the conditions of Theorem 1 are fulfilled and F i x ( T ) . This example is verified that 0 F i x ( T ) .  □
Example 2.
Consider U = { 0 , 1 , 2 } . Let σ b : U × U [ 0 , ) be defined by
σ b ( 0 , 0 ) = 0 , σ b ( 1 , 1 ) = 1 4 , σ b ( 2 , 2 ) = 5 2 , σ b ( 0 , 1 ) = σ b ( 1 , 0 ) = 1 2 ,
σ b ( 0 , 2 ) = σ b ( 2 , 0 ) = 9 2 , σ b ( 1 , 2 ) = σ b ( 2 , 1 ) = 5 .
It is clear that ( U , σ b ) is a b-complete b-metric like space with constant s = 17 8 . The mappings T : U U and α : U × U [ 0 , ) defined by
T 0 = 0 , T 1 = 0 , T 2 = 1 ,
and
α ( u , v ) = sinh ( u + v ) + e u v + 5 4 , u , [ 0 , 1 ] ln ( 5 u + 3 ) , o t h e r w i s e .
Now, we need to prove that T Θ s ( U , α , F ) .
Proof. 
Supposing that u , v U , so that α ( u , v ) s = 17 4 . Define the function F ( α ) = 1 α + α for α R + , and τ = 1 10 .
Now, σ b ( T 0 , T 0 ) = σ b ( T 0 , T 1 ) = 0 , so it can be distinguished in three cases:
Case I: For u = 0 and v = 2 ,
F ( Δ s ( 0 , 2 ) ) = F max σ b ( 0 , 2 ) , σ b ( 2 , T 2 ) , σ b ( 0 , T 0 ) , σ b ( 0 , T 2 ) + σ b ( 2 , T 0 ) 2 s , σ b ( 0 , T 0 ) σ b ( 2 , T 2 ) 1 + 17 8 [ σ b ( 0 , 2 ) + σ b ( 0 , T 2 ) + σ b ( 2 , T 0 ) ] , σ b ( 0 , T 2 ) σ b ( 0 , 2 ) 1 + 17 8 σ b ( 0 , T 0 ) + 17 8 3 [ σ b ( 2 , T 0 ) + σ b ( 2 , T 2 ) ] = F max 9 2 , 5 , 0 , 5 4 , 0 , 0.02 = 4.8
and
τ + F ( s 3 σ b ( T u , T v ) ) = 1 10 + F 17 8 3 σ b ( T 0 , T 2 ) = 4.58 .
Therefore, from (42) and (43), inequality (6) was satisfied.
In addition, it has been observed that u = 1 and v = 2 was similar to case I, since σ b ( T 0 , T 2 ) = σ b ( T 1 , T 2 ) = σ b ( 0 , 1 ) .
Case II: For u = 2 and v = 2 ,
F ( Δ s ( 2 , 2 ) ) = F max σ b ( 2 , 2 ) , σ b ( 2 , T 2 ) , σ b ( 2 , T 2 ) , σ b ( 2 , T 2 ) + σ b ( 2 , T 2 ) 2 s , σ b ( 2 , T 2 ) σ b ( 2 , T 2 ) 1 + 17 8 [ σ b ( 2 , 2 ) + σ b ( 2 , T 2 ) + σ b ( 2 , T 2 ) ] , σ b ( 2 , T 2 ) σ b ( 2 , 2 ) 1 + 17 8 σ b ( 2 , T 2 ) + 17 8 3 [ σ b ( 2 , T 2 ) + σ b ( 2 , T 2 ) ] = F max 5 2 , 5 , 5 , 5 2 , 9 29 , 29 250 = 4.8
and
τ + F ( s 3 σ b ( T u , T v ) ) = 1 10 + F 17 8 3 σ b ( T 2 , T 2 ) = 2.07 .
Therefore, from (44) and (45), inequality (6) was satisfied.
Case III: For u = 2 and v ( 0 , 1 ) , it is obvious.
(a)
For u = 2 and v = 0 , it follows as Case I.
(b)
For u = 2 and v = 1 , it follows as Case II.
This implies that (6) holds for all the cases—thus f Θ s ( U , α , F ) . It is easy to see that f W S s ( U , α ) . Indeed, if u U is such that
α ( u , T u ) s = 17 8 ,
then u , T u [ 0 , 1 ) . This implies that T T u [ 0 , 1 ) and hence
α ( T u , T T u ) s .
In addition, we can see that T is b-continuous and there is u 0 = 1 such that
α ( u 0 , T u 0 ) = α ( 1 , T 1 ) = α ( 1 , 0 ) = sinh ( 1 + 0 ) + e 0 + 5 4 17 8 = s .
All the requirements of Theorem 1 are satisfied. Hence, it can be concluded that F i x ( T ) . In this example, it shows that that 0 F i x ( T ) .  □
In the following theorem, we derive fixed point results by replacing assumption ( S 4 ) of Theorem 1 by α s -regularity of U.
Theorem 2.
Let ( U , σ b ) be a b-complete b-metric-like space with coefficient s 1 , let α : U × U [ 0 , ) , and T : U U be a rational F contraction mapping with α-admissibility type-S. Again, assume the following conditions:
(S1)
T Θ s ( U , α , F ) W S s ( U , α ) ,
(S2)
there exists u 0 U such that α ( u 0 , T u 0 ) s ,
(S3)
α has a transitive property type S,
(S4)
U is α s -regular, that is if { u n } is a sequence in U such that
α ( u n , u n + 1 ) s ,
for all n N and u n u U as n , then α ( u n , u ) s , for all n N .
Then, F i x ( T ) .
Proof. 
Following the proof in Theorem 1, we obtain that { u n } is a b-Cauchy sequence in the b-complete b-metric-like space ( U , σ b ) . By b-completeness of U, there exists u U such that
lim n σ b ( u n , u ) = 0 ,
that is, u n u as n . By α s -regularity of U , we have
α ( u n , u ) s ,
for all n N . It follows from T Θ s ( U , α , F ) that
τ + F ( σ b ( T u n , T u ) ) τ + F ( s 3 σ b ( T u n , T u ) ) F ( Δ s ( u n , u ) ) ,
where
Δ s ( u n , u ) = max σ b ( u n , u ) , σ b ( u n , T u n ) , σ b ( u , T u ) , σ b ( u n , T u ) + σ b ( T u n , u ) 4 k , σ b ( u n , T u n ) σ b ( u , T u ) 1 + σ b ( u n , u ) , σ b ( u n , T u n ) σ b ( u , T u ) 1 + σ b ( T u n , T u ) 1 + σ b ( u , T u n ) 1 + σ b ( u n , T u ) σ b ( u , T u n ) .
Taking the limit supremum as n in (48) and using Lemma (1), we get
τ + F ( σ b ( u , T u ) ) τ + F ( s 2 σ b ( u , T u ) ) = τ + F s 3 1 s σ b ( u , T u ) τ + F s 3 lim sup n σ b ( u n + 1 , T u ) F lim sup n Δ s ( u n , u ) F ( σ b ( u , T u ) ) ,
which is a contradiction since τ > 0 , which is possible only if F ( σ b ( u , T u ) ) = 0 . It follows that σ b ( u , T u ) = 0 , equivalently, u = T u and thus F i x ( T ) . This completes the proof. □
Next, we use Remark 2 to establish the following results for the class S s ( U , α ) .
Corollary 1.
Supposing all the conditions of Theorem 1 are fulfilled, except the condition ( S 1 ) , i . e . ,
( S 1 ^ )
T Θ s ( U , α , F ) S s ( U , α ) ,
(S2)
there exists u 0 U such that α ( u 0 , T u 0 ) s ,
(S3)
α has a transitive property type S ,
(S4)
T is b-continuous.
Then, F i x ( T ) .
Corollary 2.
Suppose all the conditions of Corollary 1 are satisfied, apart from the condition ( S 4 ) , i . e . ,
( S 1 ^ )
T Θ s ( U , α , F ) S s ( U , α ) ,
(S2)
there exists u 0 U such that α ( u 0 , T u 0 ) s ,
(S3)
α has a transitive property type S ,
(S4)
U is α s -regular.
Then, F i x ( T ) .

4. Periodic Point Results

Now, we discuss periodic point theorems for self-mappings on a b-metric-like space for which the following definition is required.
Definition 13 ([14]).
A mapping T : U U is said to have the property- ( P ) if F i x ( T n ) =Fix(T), for every n N .
Theorem 3.
Let ( U , σ b ) be a b-complete b-metric-like space with coefficient s 1 , let α : U × U [ 0 , ) , and T : U U be given mappings. Suppose that the following conditions hold:
(S1)
T Θ s ( U , α , F ) W S s ( U , α ) ;
(S2)
there exists u 0 U such that α ( u 0 , T u 0 ) s ;
(S3)
α has a transitive property type S ,
(S4)
T is b-continuous;
(S5)
If z F i x ( T n ) and z F i x ( T ) , then α ( T n 1 z , T n z ) s .
Then, F i x ( T ) has propertv- ( P ) .
Proof. 
Following Theorem 1, we have T u * = u * . This shows that Fix ( T n ) =Fix(T) for n = 1 . Let n > 1 and assume, by contradiction, that z F i x ( T n ) and z F i x ( T ) , such that σ b ( z , T z ) 0 . Now, applying ( S 5 ) and (11), we have
F ( σ b ( z , T z ) ) F ( σ b ( T ( T n 1 z ) , T 2 ( T n 1 z ) ) ) F ( s 3 σ b ( T ( T n 1 z ) , T 2 ( T n 1 z ) ) ) F ( Δ s ( T n 1 z , T n z ) )
and, by using the inequality (12) and (49), we get
τ + F ( σ b ( z , T z ) ) τ + F ( σ b ( T ( T n 1 z ) , T 2 ( T n 1 z ) ) ) τ + F ( s 3 σ b ( T ( T n 1 z ) , T 2 ( T n 1 z ) ) ) F ( Δ s ( T n 1 z , T n z ) ) F ( σ b ( T n 1 z , T n z ) ) .
Hence, the above inequality turns into
F ( σ b ( z , T z ) ) < F ( σ b ( T n 1 z , T n z ) ) τ .
Iteratively, we find that
F ( σ b ( z , T z ) ) F ( σ b ( T n 1 z , T n z ) ) τ F ( σ b ( T n 2 z , T n 1 z ) ) 2 τ F ( σ b ( T n 3 z , T n 2 z ) ) 3 τ F ( σ b ( z , T z ) ) n τ .
From (52), we obtain lim n F ( σ b ( z , T z ) ) = , which together with ( F 2 ) gives
lim n σ b ( z , T z ) = 0 ,
which implies that σ b ( z , T z ) = 0 . Hence, F i x ( T n ) = F i x ( T ) , □

5. Application to First-Order Periodic Boundary Value Problem

Consider the first-order periodic boundary value problem
u ( t ) = T ( t , u ( t ) ) , t I = [ 0 , T ] , u ( 0 ) = u ( T ) ,
where T > 0 and T : I × R R is a continuous function. We prove an existence theorem for the solution of (54) as an application of Theorem 1. Consider the space
F = C ( I , R ) : = { u : I R u is   continuous   on I } .
Define σ b : U × U R + by
σ b ( u , v ) = sup t [ 0 , τ ] ( | u ( t ) | + | v ( t ) | ) 2 u , v F .
Obviously, ( F , σ b , 2 ) is a b-complete b-metric like space. Then, ( F , σ b , 2 ) is a b-complete b-metric like space. This problem (54) is equivalent to the integral equation
u ( t ) = 0 T G ( t , s ) [ T ( s , u ( s ) ) + λ u ( s ) ] d s ,   for   all   t [ 0 , T ] ,
where G ( t , s ) is the Green function given by
G ( t , s ) = e λ ( T + s t ) e λ T 1 , 0 s < t T , e λ ( s t ) e λ T 1 , 0 t < s T .
Define the mapping T : C ( I , R ) C ( I , R ) by
T u ( t ) = 0 T G ( t , s ) [ T ( s , u ( s ) ) + λ u ( s ) ] d s ,   for   all   t I .
Note that, if u * C 1 ( I , R ) is a fixed point of T , then u * C 1 ( I , R ) is a solution of (54). Next, we give the following notions which are required to complete this section.
Definition 14.
1.
A solution to (54) is a function u C 1 ( I , R ) satisfying conditions in (54).
2.
A lower solution for (54) is a function γ C 1 ( I , R ) such that
γ ( t ) T ( t , γ ( t ) ) , f o r   t I , γ ( 0 ) γ ( T ) .
3.
An upper solution for (54) is a function β C 1 ( I , R ) such that
β ( t ) T ( t , β ( t ) ) , f o r   t I , β ( 0 ) β ( T ) .
Theorem 4.
Assuming that the following assertions hold
(H1) 
T : I × R R is continuous,
(H2) 
A nondecreasing function ξ ( k , · ) , k [ 0 , τ ] , i.e.,
u , v R , u v ξ ( r , u ) ξ ( r , v ) ;
(H3) 
there exists u 0 U such that ξ ( u 0 ( t ) , T u 0 ( t ) ) s for all t I ,
(H4) 
for each t I and ( u , v ) U , ξ ( u ( t ) , v ( t ) ) s
implies that ξ ( T u ( t ) , T v ( t ) ) s ,
(H5) 
for each t I , if { u n } is a sequence in U such that u n u in U and ξ ( u n ( t ) , u n + 1 ( t ) ) 0 , for all n N , then
ξ ( u n ( t ) , u ( t ) ) 0 , n N ,
(H6) 
there exist λ > 0 , such that for ( u , v ) U and t I with ξ ( u , v ) 0 ,
0 | T ( t , u ) + λ u ( t ) | + | T ( t , v ) + λ v ( t ) | 3 λ 4 Δ s ( u , v ) ,
where
Δ s ( u , v ) = max ( | u | + | v | ) 2 , ( | u | + | T u | ) 2 , ( | v | + | T v | ) 2 , ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 2 s , ( | u | + | T u | ) 2 ( | v | + | T v | ) 2 1 + s [ ( | u | + | v | ) 2 + ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 ] , ( | u | + | T v | ) 2 ( | u | + | v | ) 2 1 + s ( | u | + | T u | ) 2 + s 3 [ ( | v | + | T u | ) 2 + ( | v | + | T v | ) 2 ] 1 2 ,
(H7) 
there exist β U , a lower solution of (54) such that for all t I ,
ξ ( β ( t ) , T β ( t ) ) 0 .
Then, the existence of a lower solution for (54) implies the existence of a unique solution of (54). Then, u * C ( I , R ) is a solution of the integral Equation (56).
Proof. 
From (H1)-(H2), it follows that f is continuous and non-decreasing mapping. In addition, for (57), there exists u 0 f such that u 0 f u 0 . For all t [ 0 , τ ] , and conditions (H6) and (56), we get
σ b ( T ( u ) , T ( v ) ) = sup p [ 0 , τ ] ( | T ( u ) | + | T ( v ) | ) 2 = sup t [ 0 , τ ] 0 τ G ( t , s ) ( T ( t , u ) + λ u ( t ) ) d r + 0 τ G ( t , s ) ( T ( t , v ) + λ v ( t ) ) d r 2 sup t [ 0 , τ ] 0 τ G ( t , s ) | ( T ( t , u ) + λ u ( t ) ) | d r + 0 τ G ( t , s ) ( T ( t , v ) + λ v ( t ) ) d r 2 = sup t [ 0 , τ ] 0 τ G ( t , s ) ( | ( T ( t , u ) + λ u ( t ) ) | + | ( T ( t , v ) + λ v ( t ) ) | ) d r 2 sup t [ 0 , τ ] 0 τ G ( t , s ) ( Δ s ( u , v ) ) d r 2 sup t [ 0 , τ ] 0 τ G ( t , s ) d r 2 × 3 λ 4 max ( | u | + | v | ) 2 , ( | u | + | T u | ) 2 , ( | v | + | T v | ) 2 , ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 2 s , ( | u | + | T u | ) 2 ( | v | + | T v | ) 2 1 + s [ ( | u | + | v | ) 2 + ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 ] , ( | u | + | T v | ) 2 ( | u | + | v | ) 2 1 + s ( | u | + | T u | ) 2 + s 3 [ ( | v | + | T u | ) 2 + ( | v | + | T v | ) 2 ] 1 2 2 sup t [ 0 , τ ] 1 e λ T 1 1 λ e λ ( T + s t ) 0 t + 1 λ e λ ( s t ) t T 2 × 9 λ 16 max ( | u | + | v | ) 2 , ( | u | + | T u | ) 2 , ( | v | + | T v | ) 2 , ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 2 s , ( | u | + | T u | ) 2 ( | v | + | T v | ) 2 1 + s [ ( | u | + | v | ) 2 + ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 ] , ( | u | + | T v | ) 2 ( | u | + | v | ) 2 1 + s ( | u | + | T u | ) 2 + s 3 [ ( | v | + | T u | ) 2 + ( | v | + | T v | ) 2 ] 1 2 2 .
This implies that
σ b ( T ( u ) , T ( v ) ) 1 16 × 9 λ 16 max ( | u | + | v | ) 2 , ( | u | + | T u | ) 2 , ( | v | + | T v | ) 2 , ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 2 s , ( | u | + | T u | ) 2 ( | v | + | T v | ) 2 1 + s [ ( | u | + | v | ) 2 + ( | u | + | T v | ) 2 + ( | v | + | T u | ) 2 ] , ( | u | + | T v | ) 2 ( | u | + | v | ) 2 1 + s ( | u | + | T u | ) 2 + s 3 [ ( | v | + | T u | ) 2 + ( | v | + | T v | ) 2 ] 1 2 2 .
Now, by considering the F-contraction function T : [ 0 , + ) into itself defined by:
F ( α ) = 1 α + α , for t 0 ,
we get
τ + F ( s 3 σ b ( T u , T v ) ) F max σ b ( u , v ) , σ b ( u , T u ) , σ b ( v , T v ) , σ b ( u , T v ) + σ b ( v , T u ) 2 s , σ b ( u , T u ) σ b ( v , T v ) 1 + s [ σ b ( u , v ) + σ b ( u , T v ) + σ b ( v , T u ) ] , σ b ( u , T v ) σ b ( u , v ) 1 + s σ b ( u , T u ) + s 3 [ σ b ( v , T u ) + σ b ( v , T v ) ] .
Now, we define the function α : U × U [ 0 , ) by
α ( u , v ) = 1 + e u + v , if ξ ( u ( t ) , v ( t ) ) 0 , for ( u , v ) U , for all t [ 0 , 1 ] , ln ( 2 u + 3 ) , otherwise .
From (6), we have
α ( u , v ) s and σ b ( T u , T v ) > 0 τ + F ( s 3 σ b ( T u , T v ) ) F ( Δ s ( u , v ) ) ,
with coefficient s 1 and for each ( u , v ) U . From condition (H3) and (57), there exists u 0 U such that ( u 0 , T u 0 ) U with α ( u 0 , T u 0 ) s .
Again, by using (58) and condition (H2), the following assertions hold ( u , v ) U :
α ( u , v ) s ξ ( u ( t ) , v ( t ) ) s , t [ 0 , 1 ] ξ ( T u ( t ) , T v ( t ) ) s , t [ 0 , 1 ] α ( T u , T v ) s , for ( u , v ) U .
Therefore, T is a α -admissibility of type -S. Next, from (57) and condition (H5), we get easily that
for any sequence { u n } in U if α ( u n , u n + 1 ) s , n N and u n u U as n , then α ( u n , u ) s , n N .
Finally, let β ( t ) be a lower solution for (54). We claim that β T β .
In fact,
β ( t ) + λ β ( t ) T ( t , β ( t ) ) + λ β ( t ) , t I .
Multiplying by e λ t ,
( β ( t ) e λ t ) [ T ( t , β ( t ) ) + λ β ( t ) ] e λ t , t I ,
and this gives us
β ( t ) e λ t β ( 0 ) + 0 t [ T ( s , β ( s ) ) + λ β ( s ) ] e λ s d s , t I .
As β ( 0 ) β ( T ) , the last inequality gives us
β ( 0 ) e λ T β ( T ) e λ T β ( 0 ) + 0 T [ T ( s , β ( s ) ) + λ β ( s ) ] e λ s d s ,
and so
β ( 0 ) 0 T e λ s e λ T 1 [ T ( s , β ( s ) ) + λ β ( s ) ] d s .
The above equation and (60) give us
β ( t ) e λ t 0 t e λ ( T + s ) e λ T 1 [ T ( s , β ( s ) ) + λ β ( s ) ] d s + t T e λ s e λ T 1 [ T ( s , β ( s ) ) + λ β ( s ) ] d s ,
and, consequently,
β ( t ) 0 t e λ ( T + s t ) e λ T 1 d s + t T e λ ( s t ) e λ T 1 [ T ( s , β ( s ) ) + λ β ( s ) ] d s = 0 T G ( t , s ) [ T ( s , β ( s ) ) + λ β ( s ) ] d s = T β ( t ) , for t I .
Therefore, from (57) and condition (H7), we get α ( β , T β ) > s . Finally, Theorem 1 gives that T has a unique fixed point. Hence, the problem (54) has a unique solution. □
Remark 3.
Similarly, we can get the upper solution of (54) if we prove the upper condition in place of a lower condition.

6. Conclusions

The notion of rational F-contractions using α -admissibility of type-S is considered in b-metric-like spaces and the new fixed point and periodic point results are studied for such mappings. Some new theorems have been established on existence of solutions for rational F-contractions mapping with α -admissibility type- S , for the classes W P s ( X , α ) and P s ( X , α ) . Numerical examples are illustrated in order to check the effectiveness and applicability of results. Furthermore, as an application to our results, the solution of first-order periodic boundary value problem is discussed.

Author Contributions

All the authors have contributed equally to this paper. All the authors have read and approved the final manuscript.

Funding

Not applicable.

Acknowledgments

The authors wish to thank the referees and the editor for their careful reading of the manuscript, remarkable comments and suggestions which helped to improve the presentation of the paper.

Conflicts of Interest

The authors declare that there is no conflict of interest. The author has not received funding from any sources for this work. There is no research involving human participants and/or animals in the manuscript.

References

  1. Wardowski, D. Fixed point theory of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94. [Google Scholar] [CrossRef]
  2. Ali, M.U.; Kamran, T.; Postolache, M. Solution of Volterra integral inclusion in b-metric spaces via new fixed point theorem. Nonlinear Anal. Model. Control 2017, 22, 17–30. [Google Scholar] [CrossRef]
  3. Alghamdi, M.A.; Hussain, N.; Salimi, P. Fixed point and coupled fixed point theorems on b-metric-like spaces. J. Inequal. Appl. 2013. [Google Scholar] [CrossRef]
  4. Samet, B.; Vetro, C.; Vetro, P. Fixed point theorems for α-ψ-contactive type mappings. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  5. Sintunavarat, W. Nonlinear integral equations with new admissibility types in b-metric spaces. J. Fixed Point Theory Appl. 2015, 17, 1–32. [Google Scholar] [CrossRef]
  6. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inf. Univ. Ostrav. 1993, 5, 5–11. [Google Scholar]
  7. Amini-Harandi, A. Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012. [Google Scholar] [CrossRef]
  8. Shukla, S. Partial b-metric spaces and fixed point theorems. Mediterr. J. Math. 2014, 11, 703–711. [Google Scholar] [CrossRef]
  9. Hussain, N.; Roshan, J.R.; Parvaneh, V.; Kadelburg, Z. Fixed points of contractive mappings in b-metric-like spaces. Sci. World J. 2014, 2014. [Google Scholar] [CrossRef] [PubMed]
  10. Chen, C.F.; Dong, J.; Zhu, C.X. Some fixed point theorems in b-metric-like spaces. Fixed Point Theory Appl. 2015, 122. [Google Scholar] [CrossRef]
  11. Karapınar, E.; Kutbi, MA.; Piri, H.; O’Regan, D. Fixed points of conditionally F-contractions in complete metric-like spaces. Fixed Point Theory Appl. 2015, 126. [Google Scholar] [CrossRef]
  12. Piri, H.; Kumam, P. Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 210. [Google Scholar] [CrossRef]
  13. Minak, G.; Helvaci, A.; Altun, I. Ćirić type generalized F-contractions on complete metric spaces and fixed point results. Filomat 2014, 28, 1143–1151. [Google Scholar] [CrossRef]
  14. Abbas, M.; Ali, B.; Romaguera, S. Fixed and period points of generalized contractions in metric space. Fixed Point Theory Appl. 2013, 243. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Jagannadha Rao, G.V.V.; Padhan, S.K.; Postolache, M. Application of Fixed Point Results on Rational F-Contraction Mappings to Solve Boundary Value Problems. Symmetry 2019, 11, 70. https://doi.org/10.3390/sym11010070

AMA Style

Jagannadha Rao GVV, Padhan SK, Postolache M. Application of Fixed Point Results on Rational F-Contraction Mappings to Solve Boundary Value Problems. Symmetry. 2019; 11(1):70. https://doi.org/10.3390/sym11010070

Chicago/Turabian Style

Jagannadha Rao, G. V. V., S. K. Padhan, and Mihai Postolache. 2019. "Application of Fixed Point Results on Rational F-Contraction Mappings to Solve Boundary Value Problems" Symmetry 11, no. 1: 70. https://doi.org/10.3390/sym11010070

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