Next Article in Journal
Reconstructing Loads in Nanoplates from Dynamic Data
Next Article in Special Issue
On the Fixed Circle Problem on Metric Spaces and Related Results
Previous Article in Journal
Fixed-Point Theorems for Nonlinear Contraction in Fuzzy-Controlled Bipolar Metric Spaces
Previous Article in Special Issue
New Iterative Scheme Involving Self-Adaptive Method for Solving Mixed Variational Inequalities
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Existence of Solutions to a Boundary Value Problem via New Weakly Contractive Operator

by
Rhoda Chiroma
1,
Trad Alotaibi
2,
Mohammed Shehu Shagari
1,
Awad A. Bakery
3,*,
OM Kalthum S. K. Mohammed
3 and
Arafa O. Mustafa
4
1
Department of Mathematics, Faculty of Physical Sciences, Ahmadu Bello University, 810211 Zaria, Nigeria
2
Department of Mathematics, College of Science, Taif University, P.O. Box 1109, Taif 21944, Saudi Arabia
3
Department of Mathematics, College of Science and Arts at Khulis, University of Jeddah, Jeddah 23218, Saudi Arabia
4
College of Business at Khulis, University of Jeddah, Jeddah 23218, Saudi Arabia
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(4), 397; https://doi.org/10.3390/axioms12040397
Submission received: 22 February 2023 / Revised: 5 April 2023 / Accepted: 6 April 2023 / Published: 20 April 2023
(This article belongs to the Special Issue Fixed Point Theory and Its Related Topics IV)

Abstract

:
In this paper, the notion of generalized quasi-weakly contractive operators in metric-like spaces is introduced, and new conditions for the existence of fixed points for such mappings are investigated. A non-trivial example which highlights the novelty of our principal idea is constructed. It is observed comparatively that the proposed concepts herein subsume some important results in the corresponding literature. As an application, one of our obtained findings is utilized to setup novel criteria for the existence of solutions to two-point boundary value problems of a second order differential equation. To attract new researchers in the directions examined in this article, a significant number of corollaries are pointed out and discussed.

1. Introduction

The Banach fixed point theorem (also known as the contraction mapping principle) is an essential tool in the theory of metric spaces. It ensures the existence and uniqueness of fixed points of specific mappings of metric spaces (MSs) and provides a useful search method to find these fixed points. In efforts to explore more fixed point results, several researchers have established generalizations of MSs. The idea of a contraction mapping principle in quasi-metric spaces was introduced by Bakhtin [1]. The latter notion was extended to b-metric spaces by Czerwik [2]. As an improvement of MSs and the corresponding fixed point results, the concept of cone MSs was initiated by Huang and Zhang [3]. In a related development, Mustafa and Sims [4] recently coined a novel approach to generalized MSs. One of the earliest generalizations is the quasi-MS defined by Wilson [5]. In a similar approach, Matthews [6] introduced the concept of partial MS as a part of the investigation into denotational semantics of data flow networks. The main contribution in [6] is the establishment of the fact that self-distance in the partial metric space is not necessarily zero. As a refinement of the partial MS, Amini-Harandi [7] proposed the notion of metric-like space (MlS) by relaxing the axiom of non-negativity and small self-distances in partial MS. In another direction, Alber et al. [8] introduced the idea of weak contraction mappings in the context of Hilbert space by defining additional algebraic structure on the space. Following this, Cho [9] established some fixed point results for weakly contractive mappings in MS which extended some known results. A general remark on invariant point results for weakly contractive operators was made by Aguirre and Reich [10], which formed one of the good reference notes in the literature.
It is noted from the review of the existing literature that little or no work has been conducted on the quasi-weakly contractive operator as a result of MlS. Hence, motivated by the idea in [9], in this manuscript we introduce a new concept of a generalized quasi-weakly contractive operator in MlS and investigate the existence and uniqueness of fixed points of such operators. The idea proposed in this manuscript generalizes several well-known findings in the corresponding literature. Substantial examples are presented to verify our proposed idea and compare it to other corresponding results. A few corollaries which compare our new concepts to other well-known ideas in the literature are presented and analyzed. As an application, in order to investigate new existence conditions for the solution of a class of boundary value problems, one of our obtained corollaries is used. Our proposed ideas herein extend the results of [9,11] and some references therein from complete MS to σ -complete MlS.
The paper is organized as follows: Section 1 presents the introduction and review of the related literature. In Section 2, the fundamental concepts needed in the sequel are collated. The main findings of the paper are discussed in Section 3. Some consequences of our obtained invariant point results in partial metric spaces are established in Section 4. In Section 5, one of the results obtained herein is applied to investigate new conditions for the existence of a solution to a boundary value problem of the second order.

2. Preliminaries

In this section, we record basic ideas needed in later sections.
Definition 1
([6]). Let Ω be a nonempty set. A function ρ : Ω × Ω R + is called a partial metric on Ω if, for all l , m , z Ω , the following conditions are satisfied:
(1) 
ρ ( l , l ) = ρ ( m , m ) l = m ;
(2) 
ρ ( l , l ) ρ ( l , m ) ;
(3) 
ρ ( l , m ) = ρ ( m , l ) ;
(4) 
ρ ( l , z ) ρ ( l , m ) + ρ ( m , z ) ρ ( m , m ) .
The pair ( Ω , ρ ) is called a partial MS. Note that if ρ ( l , m ) = 0 , then l = m . An example of a partial metric defined on R + , is ρ ( l , m ) = max { l , m } , l , m 0 . For more examples of partial metrics, see [9]. Let the sequence in Ω be { l y } y N . Then,
(1) 
{ l y } y N is convergent to l if lim y ρ ( l , l y ) = ρ ( l , l ) ;
(2)
{ l y } y N is said to be a Cauchy sequence if lim y , i ρ ( l y , l i ) exists and is finite;
(3)
If each Cauchy sequence in Ω converges to a point l Ω , then Ω is complete. such that
lim y , i ρ ( l y , l i ) = ρ ( l , l ) .
Remark 1.
A partial MS Ω is complete if and only if there exists l Ω such that for every Cauchy sequence { l y } y N in Ω,
lim y , i ρ ( l y , l i ) = ρ ( l , l ) .
Definition 2
([7]). A mapping σ : Ω × Ω R + is said to be an Ml on Ω if for any l , m , z Ω , the following hold:
( σ 1 )
σ ( l , m ) = 0 l = m ;
( σ 2 )
σ ( l , m ) = σ ( m , l ) ;
( σ 3 )
σ ( l , z ) σ ( l , m ) + σ ( m , z ) .
The pair ( Ω , σ ) is called an MlS.
Definition 3
([7]). A sequence { l y } y N in an MlS ( Ω , σ ) converges to a point l Ω if σ ( l , l ) = lim y σ ( l y , l ) .
Definition 4
([7]). A sequence { l y } y N in an MlS ( Ω , σ ) is called a σ-Cauchy sequence if the limit lim y , i σ ( l y , l i ) exists and is finite. If there is any l Ω such that for each σ-Cauchy sequence { l y } y = 0 ,
lim y σ ( l y , l ) = lim y , i σ ( l y , l i ) ,
then, the MlS ( Ω , σ ) is said to be complete.
Remark 2
([7]). Every partial MS is an MlS, but the converse is not always true. The example given here recognizes this observation.
Example 1
([7]). Let Ω = { 0 , 1 } , and let
σ ( l , m ) = 2 , i f l = m = 0 ; 1 , o t h e r w i s e .
Then, ( Ω , σ ) is an MlS, but since σ ( 0 , 0 ) σ ( 0 , 1 ) , ( Ω , σ ) is not a partial MS.
Remark 3
([7]). An Ml on Ω satisfies all the conditions of a metric except that σ ( l , l ) may be positive for l Ω .
Definition 5
([12]). Let ( Ω , d ) be an MS. A self-mapping Υ : Ω Ω is said to be a quasi-contraction if there exists λ 0 , 1 2 such that for all l , m Ω ,
d ( Υ l , Υ m ) max { d ( l , m ) , d ( l , Υ l ) , d ( m , Υ m ) , d ( l , Υ m ) , d ( m , Υ l ) } .
Definition 6
([8]). Let ( Ω , d ) be an MS. A mapping Υ : Ω Ω is said to be weakly contractive, if for all l , m Ω ,
d ( Υ l , Υ m ) d ( l , m ) λ ( d ( l , m ) ) ,
where λ : R + R + is a continuous and non-decreasing function such that λ ( 0 ) = 0 and lim t + λ ( t ) = + .
Definition 7.
A function f : Ω [ 0 , ] , where Ω is an MS, is called lower semi-continuous if, for all l Ω and { l y } y N Ω with lim y l y = l , we have
f ( l ) lim inf y l y .
Let Ψ = { ψ : [ 0 , ) [ 0 , ) | ψ be continuous and ψ ( t ) = 0 t = 0 } . In addition, let Φ = { ϕ : [ 0 , ) [ 0 , ) | ϕ be lower semi-continuous and ϕ ( t ) = 0 t = 0 } .
Cho [9] obtained the following result in the context of MS.
Definition 8
([9]). Let Ω be an MS with metric d, Υ : Ω Ω be a mapping, and let φ : X [ 0 , ) be a lower semi-continuous function. Then, Υ is called a generalized weakly contractive mapping if it satisfies the following condition:
ψ ( d ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ψ ( M ( l , m , φ ) ) ϕ ( N ( l , m , φ ) )
for all l , m Ω , where ψ Ψ , ϕ Φ and
M ( l , m , φ ) = max d ( l , m ) + φ ( l ) + φ ( m ) + d ( l , Υ l ) + φ ( l ) + φ ( Υ l ) , d ( l , Υ m ) + φ ( m ) + φ ( Υ m ) , 1 2 [ d ( l , Υ m ) + φ ( l ) + φ ( Υ m ) + d ( m , Υ l ) + φ ( m ) + φ ( Υ l ) ,
N ( l , m , φ ) = max { d ( l , m ) + φ ( l ) + φ ( m ) , d ( m , Υ m ) + φ ( m ) + φ ( Υ m ) } .
The main result of [9] is as follows.
Theorem 1
([9]). Let Ω be a complete MS. If Υ is a generalized weakly contractive mapping, then there exists a unique z Ω such that z = Υ z and φ ( z ) = 0 .
Lemma 1.
Let ( Ω , σ ) be an MlS, and let { l y } y N be a sequence in Ω such that if { l y } y N is not a σ-Cauchy sequence in ( Ω , σ ) . Then, there exist ϵ + > 0 and two subsequences { l y ( k ) } k N and { l i ( k ) } y N of { l y } k N , where y , i are positive integers with y ( k ) > i ( k ) > k such that
σ ( l i ( k ) , l y ( k ) ) ϵ +
and
σ ( l i ( k ) 1 , l y ( k ) ) < ϵ + .
Moreover, suppose that
lim y σ ( l y , l y + 1 ) = 0 .
Then, the following hold:
(1) 
lim k σ ( l i ( k ) , l y ( k ) ) = ϵ + ;
(2) 
lim k σ ( l i ( k ) , l y ( k ) + 1 ) = ϵ + ;
(3) 
lim k σ ( l i ( k 1 ) , l y ( k ) ) = ϵ + ;
(4) 
lim k σ ( l i ( k ) 1 , l y ( k + 1 ) ) = ϵ + .
Proof. 
Suppose that { l y } y N is not a σ -Cauchy sequence in ( Ω , σ ) . Then, there exist ϵ + > 0 and sequences { l y ( k ) } k N and { l i ( k ) } k N of positive integers y , i with y ( k ) > i ( k ) > k , such that
σ ( l i ( k ) , l y ( k 1 ) ) < ϵ + , σ ( l i ( k ) , l y ( k ) ) ϵ + ,
for all k N . Then,
ϵ + σ ( l i ( k ) , l y ( k ) ) σ ( l y ( k ) , l y ( k 1 ) ) + σ ( l y ( k 1 ) , l i ( k ) ) < ϵ + + σ ( l y ( k ) , l y ( k 1 ) ) .
Applying (4), we deduce from (5) that
lim k σ ( l i ( k ) , l y ( k ) ) = ϵ + .
Moreover,
σ ( l i ( k ) , l y ( k ) ) σ ( l i ( k ) , l y ( k + 1 ) ) + σ ( l y ( k + 1 ) , l y ( k ) )
and
σ ( l i ( k ) , l y ( k + 1 ) ) σ ( l i ( k ) , l y ( k ) ) + σ ( l y ( k ) , l y ( k + 1 ) ) .
Letting k in the above two expressions and employing (4) and (6), we have
lim k σ ( l i ( k ) , l y ( k + 1 ) ) = ϵ + .
In similar steps, we can show that the sequences in ( 3 ) and ( 4 ) tend to ϵ + . □

3. Main Results

In this section, we introduce the concept of a generalized quasi-weakly contractive operator in the framework of MlS and examine the conditions for the existence of a fixed point of such an operator.
Definition 9.
Let ( Ω , σ ) be an MlS. A self-mapping Υ : Ω Ω is called a generalized quasi-weakly contractive operator, if it satisfies the following condition:
ψ ( σ ( Υ l , Υ l ) + σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ) ψ ( C ( l , m , φ ) ) ϕ ( L ( l , m , φ ) ) ,
for all l , m Ω , where ψ Ψ , ϕ , φ Φ and
C ( l , m , φ ) = max σ ( l , l ) + σ ( l , m ) + φ ( l ) + φ ( m ) , σ ( l , Υ l ) + φ ( l ) + φ ( Υ l ) , + σ ( m , m ) σ ( m , Υ m ) + φ ( m ) + φ ( Υ m ) , 1 2 [ σ ( l , Υ m ) + φ ( l ) + φ ( Υ m ) + σ ( m , Υ l ) + φ ( m ) + φ ( Υ l ) ]
L ( l , m , φ ) = max σ ( l , l ) + σ ( l , m ) + φ ( l ) + φ ( m ) , σ ( m , m ) + σ ( m , Υ m ) + φ ( m ) + φ ( Υ m ) .
The following is the main result of this paper.
Theorem 2.
Let ( Ω , σ ) be a σ-complete MlS. If Υ is a generalized quasi-weakly contractive operator, then there exists a unique u Ω such that u = Υ u and φ ( u ) = 0 .
Proof. 
Starting from an arbitrary point l : = l 0 Ω , we will construct a recursive sequence { l y } y N in the following manner:
l 0 : = l and l y = Υ l y 1 , for all n N .
We presume that l y l y 1 for all y N . In fact, if for some y N , it is observed that the expression l y = l y 1 = Υ l y 1 , then the proof is finished.
By replacing l = l y 1 and m = l y in (8), we obtain
C ( l y 1 , l y , φ ) = max σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y 1 , Υ l y 1 ) + φ ( l y 1 ) + φ ( Υ l y 1 ) , σ ( l y , l y ) + σ ( l y , Υ l y ) + φ ( l y ) + φ ( Υ l y ) , 1 2 [ σ ( l y 1 , Υ l y ) + φ ( l y 1 ) + φ ( Υ l y ) + σ ( l y , Υ l y 1 ) + φ ( l y ) + φ ( Υ l y 1 ) ]
= max σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) , 1 2 [ σ ( l y 1 , l y + 1 ) + φ ( l y 1 ) + φ ( l y + 1 ) + σ ( l y , l y ) + φ ( l y ) + φ ( l y ) ] .
We observe that
1 2 [ σ ( l y 1 , l y + 1 ) + φ ( l y 1 ) + φ ( l y + 1 ) + σ ( l y , l y ) + φ ( l y ) + φ ( l y ) ] 1 2 [ σ ( l y 1 , l y ) + σ ( l y , l y + 1 ) + φ ( l y 1 ) + φ ( l y + 1 ) + σ ( l y , l y ) + φ ( l y ) + φ ( l y ) ] max { σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) } .
Hence, (10) becomes
C ( l y 1 , l y , φ ) = max { σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) } ) .
Similarly, we obtain
L ( l y 1 , l y , φ ) = max σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y , Υ l y ) + φ ( Υ l y ) + σ ( l y , l y ) + φ ( l y ) } )
= max σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) , σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y + 1 ) + φ ( l y ) .
Consequently, (7) gives
ψ ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) ) = ψ ( σ ( Υ l y 1 , Υ l y 1 ) + σ ( Υ l y 1 , Υ l y ) + φ ( Υ l y 1 ) + φ ( Υ l y ) ψ ( C ( l y 1 , l y , φ ) ) ϕ ( L ( l y 1 , l y , φ ) ) .
If
σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) < σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 )
for some positive integer y, then it follows from (11) that
ψ ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) ) ψ ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) ) ϕ ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) )
which implies that
ϕ ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) ) = 0 .
Hence,
σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) = 0 ,
from which we notice that
l y = l y + 1 , σ ( l y , l y ) = 0 and φ ( l y ) = φ ( l y + 1 ) = 0
which is a contradiction. Therefore,
σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y )
for all y = 1 , 2 , 3 ,
Hence,
C ( l y 1 , l y , φ ) = σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y )
and
L ( l y 1 , l y , φ ) = σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) .
From (11), we have
ψ ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) ) ψ ( σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) ) ϕ ( σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) ) .
It follows from (12) that the sequence { σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) } is bounded below and non-increasing.
Therefore,
σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) η a s n ,
for some η 0 .
Suppose that η > 0 . Taking limit in (13) as y , using the continuity of ψ and the lower semi-continuity of ϕ , lead to
ψ ( η ) ψ ( η ) lim inf y ϕ ( σ ( l y 1 , l y 1 ) + σ ( l y 1 , l y ) + φ ( l y 1 ) + φ ( l y ) ) ψ ( η ) ϕ ( η ) < ψ ( η ) ,
which is a contradiction. Thus, lim y ( σ ( l y , l y ) + σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) ) = 0 , from which we have
lim y σ ( l y , l y ) = lim y σ ( l y , l y + 1 ) = 0
and
lim y φ ( l y ) = lim y φ ( l y + 1 ) = 0 .
Now, we prove that the sequence { l y } y N is Cauchy. Assume that { l y } y N is not Cauchy. Then, by Lemma 1, there exist ϵ + > 0 and subsequences { l y ( k ) } k N and { l i ( k ) } k N of { l y } y N such that (2) and (3) hold.
From (8), we have
C ( l y ( k ) , l i ( k ) , φ ) = max σ ( l y ( k ) , l y ( k ) ) + σ ( l y ( k ) , l i ( k ) ) + φ ( l y ( k ) ) + φ ( l i ( k ) ) , σ ( l y ( k ) , Υ l y ( k ) ) + φ ( l y ( k ) ) + φ ( Υ l y ( k ) ) , σ ( l y ( k ) , l y ( k ) ) + σ ( l i ( k ) , Υ l i ( k ) ) + φ ( l i ( k ) ) + φ ( Υ l i ( k ) ) , 1 2 [ σ ( l y ( k ) , Υ l i ( k ) ) + φ ( l y ( k ) ) + φ ( Υ l i ( k ) ) + σ ( l i ( k ) , Υ l y ( k ) ) + φ ( l i ( k ) ) + φ ( Υ l y ( k ) ) ] .
= max σ ( l y ( k ) , l y ( k ) ) + σ ( l y ( k ) , l i ( k ) ) + φ ( l y ( k ) ) + φ ( l i ( k ) ) , σ ( l y ( k ) , l y ( k ) + 1 ) + φ ( l y ( k ) ) + φ ( l y ( k ) + 1 ) , σ ( l i ( k ) , l i ( k ) ) + σ ( l i ( k ) , l i ( k ) + 1 ) + φ ( l i ( k ) ) + φ ( l i ( k ) + 1 ) 1 2 [ σ ( l y ( k ) , l i ( k ) + 1 ) + φ ( l y ( k ) ) + φ ( l i ( k ) + 1 ) + σ ( l i ( k ) , l y ( k ) + 1 ) + φ ( l i ( k ) ) + φ ( l y ( k ) + 1 ) ] } .
As k in (16), applying Lemma 1 and using Equations (14) and (15) yield
lim k C ( l y ( k ) , l i ( k ) , φ ) = ϵ + .
On similar steps, it follows from (9) that
L ( l y ( k ) , l i ( k ) , φ ) = max σ ( l y ( k ) , l y ( k ) ) + σ ( l y ( k ) , l i ( k ) ) + φ ( l y ( k ) ) + φ ( l i ( k ) ) , σ ( l i ( k ) , l i ( k ) ) + σ ( l i ( k ) , Υ l i ( k ) ) + φ ( l i ( k ) ) + φ ( Υ l i ( k ) )
= max σ ( l y ( k ) , l y ( k ) ) + σ ( l y ( k ) , l i ( k ) ) + φ ( l y ( k ) ) + φ ( l i ( k ) ) , σ ( l i ( k ) , l i ( k ) ) + σ ( l i ( k ) , l i ( k ) + 1 ) + φ ( l i ( k ) ) + φ ( l i ( k ) + 1 ) .
Thus,
lim k L ( l y ( k ) , l i ( k ) , φ ) = ϵ + .
From (7), we have
ψ ( σ ( l y ( k ) + 1 , l y ( k ) + 1 ) + σ ( l y ( k ) + 1 , l i ( k ) + 1 ) + φ ( l y ( k ) + 1 ) + φ ( l i ( k ) + 1 ) ψ ( C ( l y ( k ) , l i ( k ) , φ ) ) ϕ ( L ( ( l y ( k ) , l i ( k ) , φ ) ) .
Letting k in (19), and using Lemma 1, the continuity of ψ , the lower semi-continuity of ϕ and by using Equations (15), (17) and (18), we obtain ψ ( ϵ + ) ψ ( ϵ + ) ϕ ( ϵ + ) , which is a contradiction because ϕ ( ϵ + ) > 0 . Therefore, { l y } y N is a Cauchy sequence. The completeness of Ω implies that there exists u Ω such that lim y l y = u . Given that ϕ is lower semi-continuous, φ ( u ) lim inf y φ ( l y ) lim y φ ( l y ) = 0 , from which it follows that φ ( u ) = 0 .
Now, from (8), we obtain
C ( l y ( k ) , u , φ ) = max σ ( l y , l y ) + σ ( l y , u ) + φ ( l y ) + φ ( u ) , σ ( l y , Υ l y ) + φ ( l y ) + φ ( Υ l y ) , σ ( u , u ) + σ ( u , Υ u ) + φ ( u ) + φ ( Υ u ) , 1 2 [ σ ( l y , Υ u ) + φ ( l y ) + φ ( Υ u ) + σ ( u , Υ l y ) + φ ( u ) + φ ( Υ l y ) ]
= max σ ( l y , l y ) + σ ( l y , u ) + φ ( l y ) + φ ( u ) , σ ( l y , l y + 1 ) + φ ( l y ) + φ ( l y + 1 ) , σ ( u , u ) + σ ( u , Υ u ) + φ ( u ) + φ ( Υ u ) , 1 2 [ σ ( l y , Υ u ) + φ ( l y ) + φ ( Υ u ) + σ ( u , l y + 1 ) + φ ( u ) + φ ( l y + 1 ) ] ,
from which we have
lim y C ( l y , u , φ ) = lim y max { σ ( u , u ) , σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) , 1 2 [ σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) ] } = σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) .
In like manner, we have
lim y L ( l y , u , φ ) = lim y max { σ ( l y , l y ) + σ ( l y , u ) + φ ( l y ) + φ ( u ) , σ ( u , u ) + σ ( u , Υ u ) + φ ( u ) + φ ( Υ u ) } = max { σ ( u , u ) , σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) } = σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) .
Therefore, from (7), we have
ψ ( σ ( l y + 1 , l y + 1 ) + σ ( l y + 1 , Υ u ) + φ ( l y + 1 ) + φ ( Υ u ) ) = ψ ( σ ( Υ l y , Υ l y ) + σ ( Υ l y , Υ u ) + φ ( Υ l y ) + φ ( Υ u ) ) ψ ( C ( l y , u , φ ) ) ϕ ( L ( l y , u , φ ) ) .
Letting y in (22) and employing the continuity of ψ , the lower continuity of ϕ and using Equations (20) and (19), we have
ψ ( σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) ) ψ ( σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) ) ϕ ( σ ( u , u ) + σ ( u , Υ u ) + φ ( Υ u ) ) .
The expression (23) implies that
ϕ ( σ ( u , Υ u ) + φ ( Υ u ) + σ ( u , u ) ) = 0 and hence σ ( u , Υ u ) + φ ( Υ u ) + σ ( u , u ) = 0 .
Therefore, u = Υ u , φ ( Υ u ) = 0 and σ ( u , u ) = 0 .
To see uniqueness, suppose that p is another fixed point of Υ with l = u and m = p . Then, p = Υ p and φ ( p ) = 0 . Now, using (7), we have
ψ ( σ ( u , u ) + σ ( p , u ) ) = ψ ( σ ( Υ u , Υ u ) + σ ( Υ p , Υ u ) ) = ψ ( σ ( Υ u , Υ u ) + σ ( Υ u , Υ p ) + φ ( Υ u ) + φ ( Υ p ) ψ ( C ( u , p , φ ) ) ϕ ( L ( u , p , φ ) ) = ψ ( σ ( u , u ) + σ ( p , u ) ) ϕ ( σ ( u , u ) + σ ( p , u ) ) .
Consequently, u = p . □
We construct the following example to verify the hypotheses of Theorem 2.
Example 2.
Let Ω = { 0 , 1 , 2 } together with the metric σ : Ω × Ω R + defined by σ ( 0 , 0 ) = σ ( 1 , 1 ) = 0 , σ ( 2 , 2 ) = 9 20 , σ ( 0 , 2 ) = σ ( 2 , 0 ) = 2 5 , σ ( 1 , 2 ) = σ ( 2 , 1 ) = 3 5 , σ ( 0 , 1 ) = σ ( 1 , 0 ) = 1 2 . Then, ( Ω , σ ) is a σ-complete MlS. Notice that σ ( 2 , 2 ) 0 . Hence, σ is not a metric. In addition, σ ( 2 , 2 ) > σ ( 2 , 0 ) , implying that σ is not a partial metric. Define a self-mapping Υ : Ω Ω by Υ ( 0 ) = Υ ( 1 ) = 0 and Υ ( 2 ) = 1 .
To see that Υ is a generalized quasi-weakly contractive operator, let ψ ( t ) = 4 t 5 , ϕ ( t ) = 2 t 5 and φ ( t ) = 3 t 5 . We then consider the following cases:
Case 1:
l , m Ω , l = m ;
Case 2:
l , m Ω , l m .
We demonstrate using the following Table 1 that inequality (7) is satisfied for each of the above cases.
In the following Figure 1, we illustrate the validity of contractive inequality (7) using Example 2.
Therefore, all the hypotheses of Theorem 2 are satisfied, and Υ has a fixed point, l = 0 . Consequently, Υ is a generalized quasi-weakly contractive operator.
To see that the generalized quasi-weakly contractive operator introduced in this manuscript is not the generalized weakly contractive operator introduced by Cho [9], let Ω be equipped with the Euclidean metric d. Then, ( Ω , d ) is a complete MS. However, taking any points l , m { 1 , 2 } Ω , we see that
ψ ( σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) = 4 5 8 5 = 32 25 > 28 25 = 4 5 14 5 2 5 14 5 = 4 5 max 14 5 , 14 5 , 8 5 , 11 5 2 5 max 14 5 , 8 5 = ψ ( M ( l , m , φ ) ) ϕ ( N ( l , m , φ ) ) .
Therefore, the generalized quasi-weakly contractive operator is not the generalized weakly contractive mapping defined by Cho [9], and so Theorem 1 due to Cho [9] is not applicable to this example.
In what follows, we present some consequences of Theorem 2.
Corollary 1.
Let ( Ω , σ ) be a σ-complete MlS. Suppose that the self-mapping Υ satisfies the following condition:
ψ ( σ ( Υ l , Υ l ) + σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ) ψ ( C ( l , m , φ ) ) ϕ ( C ( l , m , φ ) ) ,
for all l , m Ω , where ψ Ψ and ϕ , φ Φ . Then, there exists a unique u Ω such that u = Υ u and φ ( u ) = 0 .
By taking ϕ ( t ) = 0 , for all t R + , we have the next result.
Corollary 2.
Let ( Ω , σ ) be a σ-complete MlS. Assume that the self-mapping Υ satisfies the following condition:
ψ ( σ ( Υ l , Υ l ) + σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ) ψ ( C ( l , m , φ ) ) ,
for all l , m Ω , where ψ Ψ . Then, there exists a unique u Ω such that u = Υ u and φ ( u ) = 0 .
Corollary 3.
Let ( Ω , σ ) be a σ-complete MlS. Suppose that the self-mapping Υ satisfies the following condition:
σ ( Υ l , Υ l ) + σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ) C ( l , m , φ ) ,
for all l , m Ω . Then there exists a unique u Ω such that u = Υ u and φ ( u ) = 0 .
Proof. 
Take ψ ( t ) = t for all t R + in Corollary 2. □
Corollary 4.
Let ( Ω , σ ) be a σ-complete MlS. Suppose that the self-mapping Υ satisfies the following condition:
ψ ( σ ( Υ l , Υ l ) + σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ) ψ ( σ ( l , l ) + σ ( l , m ) + φ ( l ) + φ ( m ) ) ϕ ( σ ( l , l ) + σ ( l , m ) + φ ( l ) + φ ( m ) ) ,
for all l , m Ω , where ψ Ψ and ϕ , φ Φ . Then, there exists a unique u Ω such that u = Υ u and φ ( u ) = 0 .
Corollary 5.
Let ( Ω , σ ) be a σ-complete MlS. Suppose that the self-mapping Υ satisfies the following condition:
ψ ( σ ( Υ k x , Υ k l ) + σ ( Υ k x , Υ k m ) + φ ( Υ k l ) + φ ( Υ k m ) ) ψ ( C ( l , m , φ ) ) ϕ ( L ( l , m , φ ) ) ,
for all l , m Ω , where ψ Ψ , ϕ , φ Φ and k is a positive integer. Then, there exists a unique u Ω such that u = Υ u , and φ ( u ) = 0 .
Proof. 
Let S = Υ k . Then, by Theorem 2, S has a unique fixed point, say u. Then Υ k u = S u = u and
φ ( u ) = φ ( S u ) = φ ( Υ k u ) = 0 .
Since Υ k + 1 u = Υ u ,
S T u = Υ k ( Υ u ) = Υ k + 1 u = Υ u ,
and so Υ u is a fixed point of S. By the uniqueness of a fixed point of S, Υ u = u . □
We construct the following example to support the hypothesis of Corollary 1.
Example 3.
Let Ω = { 0 , 1 , 2 , 3 } and σ ( l , m ) = l + m , for all l , m Ω . Then, ( Ω , σ ) is a σ-complete MlS. Note that σ is not a metric, since for l = 1 = m , σ ( 1 , 1 ) = 2 > 0 . Similarly, σ is not a partial metric, since for l = 2 and m = 1 , σ ( 2 , 2 ) > σ ( 2 , 1 ) . Now, define the self-mapping Υ : Ω Ω by Υ l = l 2 3 ( 1 + l ) for all l Ω . In addition, let ψ ( t ) = 4 5 t , ϕ ( t ) = t 2 and φ ( t ) = 9 10 t . Obviously, ψ Ψ , ϕ , φ Φ . To show that the contractive inequality (24) holds, we consider the following cases:
  • Case 1: l , m Ω , l = m ;
  • Case 2: l , m Ω , l m .
We demonstrate using the following Table 2 that inequality (24) is satisfied for each of the above cases.
In the following Figure 2, we illustrate that under the above cases, inequality (24) using Example 3 is satisfied.
Hence, all the assumptions of Theorem 2 are satisfied. We therefore see that u = 0 is a fixed point of Υ.

4. Applications to Fixed Point Results in Partial MS

In this section, we give some applications to fixed point theorems in partial metric spaces. To deduce partial metric version of our results, we consider an auxiliary function ρ q : Ω × Ω R + given as
ρ q ( l , l ) + ρ q ( l , m ) = 2 ρ ( l , m ) 2 ρ ( l , l ) + ρ ( m , m ) .
It is clear that the mapping ρ q is an Ml on Ω .
Consistent with [6], we have the following observation.
Remark 4.
Let { l y } y N be a sequence in Ω. If the sequence { l y } y N is convergent to l in ( Ω , ρ q ) , then it is convergent to l in ( Ω , ρ ) , and the converse is not always true.
Theorem 3.
Let Ω be a complete partial MS. Suppose that Υ : Ω Ω is a mapping such that
ψ ( ρ ( Υ l , Υ l ) + ρ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) ) ψ ( C q ( l , m , φ ) ) ϕ ( L ( l , m , φ ) ) ,
for all l , m Ω , where ψ Ψ , φ , ϕ Φ , C q = max ρ ( l , m ) , ρ ( m , Υ m ) , ρ ( m , Υ l ) 2 and L = max ρ ( l , Υ m ) , ρ ( m , Υ l ) .
Then, there exists a unique u Ω such that u = Υ u and ρ ( u , u ) = 0 .
Proof. 
From (27), we have
ρ ( l , m ) = ρ q ( l , l ) + ρ q ( l , m ) + 2 ρ ( l , l ) ρ ( m , m ) 2 ,
for all l , m Ω . Let σ ( l , l ) = ρ q ( l , l ) 2 , σ ( l , m ) = ρ q ( l , m ) ρ ( m , m ) 2 and φ ( l ) = ρ ( l , l ) for all l , m Ω . Then Ω is a σ -complete MlS with metric σ , and φ : X R + is a lower semi-continuous function. By these transformations, (28) reduces to (7). By Theorem 2, there exists a unique u Ω such that u = Υ u and ρ ( u , u ) = 0 . □
In line with the method of deducing Theorem 3, we can also obtain the following results which are improvements of some ideas in [9,13].
Corollary 6.
Let Ω be a σ-complete with partial metric ρ. Suppose that Υ : Ω Ω is a mapping such that
ψ ( ρ ( Υ l , Υ l ) + ρ ( Υ l , Υ m ) ) ψ max ρ ( l , m ) , ρ ( l , Υ l ) , ρ ( m , Υ m ) , 1 2 [ ρ ( l , Υ m ) + ρ ( m , Υ l ) ] ϕ max ρ ( l , m ) , ρ ( l , Υ l ) , ρ ( m , Υ m ) , 1 2 [ ρ ( l , Υ m ) + ρ ( m , Υ l ) ] ,
for all l , m Ω , where ψ Ψ and ϕ Φ .
Then, there exists a unique u Ω such that u = Υ u and ρ ( u , u ) = 0 .
Remark 5.
If ϕ is continuous in Corollary 6, then we obtain Theorem 2.5 of [11].
Corollary 7.
Let Ω be a complete partial MS. Suppose that Υ : Ω Ω is a mapping such that
ψ ( ρ ( Υ l , Υ l ) + ρ ( Υ l , Υ m ) ) ψ ( ρ ( l , m ) ) ϕ ( ρ ( l , m ) )
for all l , m Ω , where ψ Ψ and ϕ Φ .
Then, there exists a unique u Ω such that u = Υ u and ρ ( u , u ) = 0 .

5. Applications to Boundary Value Problem

In recent years, there has been a growing interest in studying integral equations to prove the existence and uniqueness of a fixed point. Mohammed et al. [14] in 2021, investigated sufficient criteria for the existence and uniqueness of solutions to nonlinear Fredholm integral equations of the second kind on time scales. Specifically, they proposed a new Lipschitz condition on the kernel that guarantees the existence and uniqueness of solutions. This result is important because it provides a new tool for solving nonlinear integral equations on time scales. In later development, Jiddah et al. [15] and Jiddah et al. [16] in 2022 obtained unprecedented existence conditions for the solution of a family of integral equations. They used a fixed point theorem in generalized metric space to prove the existence of solutions of the examined equation.
In this section, Corollary 3 is applied to examine existence criteria for a solution to a boundary value problem. To this effect, consider the following boundary value problem of a second order differential equation
d 2 l d t 2 = τ ( t , l ( t ) ) t [ 0 , 1 ] , x R + l ( 0 ) = l ( 1 ) = 0 ,
where τ : [ 0 , 1 ] × R + R + is a continuous function. This problem is equivalent to the integral equation:
l ( t ) = 0 1 ξ ( t , s ) τ ( s , l ( s ) ) d s , t [ 0 , 1 ]
where ξ ( t , s ) is called the Green function, defined by
ξ ( t , s ) = t ( 1 s ) , if   0 s < t 1 s ( 1 t ) , if   0 t < s 1 .
Let Ω = C ( [ 0 , 1 ] , R ) be the set of all continuous real-valued functions defined on [ 0 , 1 ] . We equip Ω with the mapping
σ ( l , m ) = sup t [ 0 , 1 ] ( | l ( t ) + | y ( t ) | )
Then ( Ω , σ ) is a complete MlS. Consider the self-mapping Υ : Ω Ω defined by
Υ l ( t ) = 0 1 ξ ( t , s ) τ ( s , l ( s ) ) d s , t [ 0 , 1 ]
Then, obviously l is a fixed point of Υ if and only if l is a solution to (29) We now study existence conditions of the boundary value problem (29) under the following hypotheses.
Theorem 4.
Let φ Φ and Υ : Ω Ω be a self-mapping on Ω. Assume further that the following conditions are satisfied:
(1)
| τ ( s , a ) | + | τ ( s , b ) | | a | + | b | for all a , b Ω ;
(2)
| τ ( s , a ) | | a | , for all a Ω .
Then, the boundary value problem (29) has a solution in Ω.
Proof. 
Taking (31) and (32) into account, let l , m Ω . Then,
| Υ l ( t ) | + | Υ y ( t ) | = 0 1 ξ ( t , s ) τ ( s , l ( s ) ) d s + 0 1 ξ ( t , s ) τ ( s , y ( s ) ) d s 0 1 ξ ( t , s ) d s | τ ( s , l ( s ) ) | + 0 1 ξ ( t , s ) d s | τ ( s , y ( s ) ) | 0 1 ξ ( t , s ) d s ( | τ ( s , l ( s ) ) + τ ( s , y ( s ) ) | ) 0 1 ξ ( t , s ) d s ( | l ( s ) + | y ( s ) | ) .
Therefore,
σ ( Υ l , Υ m ) = sup t [ 0 , 1 ] ( | Υ l ( t ) | + | Υ y ( t ) | ) 0 1 ξ ( t , s ) d s sup t [ 0 , 1 ] ( | l ( t ) | + | y ( t ) | ) 0 1 ξ ( t , s ) d s σ ( l , m ) .
Notice that,
φ ( Υ l ) sup t [ 0 , 1 ] ( φ ( Υ l ( t ) ) ) = φ ( sup t [ 0 , 1 ] Υ l ( t ) ) φ sup t [ 0 , 1 ] 0 1 ξ ( t , s ) τ ( s , l ( s ) ) d s φ sup t [ 0 , 1 ] 0 1 ξ ( t , s ) l ( s ) d s φ ( l ) .
Hence,
σ ( Υ l , Υ l ) + σ ( Υ l , Υ m ) + φ ( Υ l ) + φ ( Υ m ) 0 1 ξ ( t , s ) d s σ ( l , l ) + 0 1 ξ ( t , s ) d s σ ( l , m ) + φ ( Υ l ) + φ ( Υ m ) 0 1 ξ ( t , s ) d s σ ( l , l ) + σ ( l , m ) + φ 0 1 ξ ( t , s ) τ ( s , l ( s ) ) d s + φ 0 1 ξ ( t , s ) τ ( s , y ( s ) ) d s 0 1 ξ ( t , s ) d s σ ( l , l ) + 0 1 ξ ( t , s ) d s σ ( l , m ) + φ 0 1 ξ ( t , s ) l ( s ) d s + φ 0 1 y ( s ) d s σ ( l , l ) + σ ( l , m ) + φ ( l ) + φ ( m ) C ( l , m , φ ) .
This corresponds to the inequality (26) of Corollary 3. It follows that there is a fixed point of Υ , l in Ω which is equivalent to a solution of (29).
Conversely, if l is a solution of (29), then l is also a solution of (32), so that Υ l = l , that is, l is a fixed point of Υ .

6. Conclusions

As a generalization of Banach’s fixed point theorem, Amini-Harandi introduced the concept of MlS and derived some related fixed-point results in such space. In this manuscript, the notion of generalized quasi-weakly contractive operators in MlS is introduced and conditions for the existence of fixed points for such mappings are investigated. Non-trivial comparative examples have been presented to illustrate the proposed ideas and to show that they are indeed generalizations of a few concepts in the literature. As an application, one of our results is utilized to examine novel criteria for the existence of solutions to a class of boundary value problems. The concepts examined in this work improve some known corresponding results in metric and dislocated metric spaces. While the presented ideas are theoretical, we hope that they will encourage further research in the proposed directions and also find applications in the areas where non-zero self distance is needed.

Author Contributions

Conceptualization: R.C., A.A.B. and M.S.S., methodology: M.S.S. and T.A., formal analysis, T.A. and A.A.B., review and editing, O.K.S.K.M. and A.O.M., funding acquisition, A.A.B., writing, review, and editing: A.A.B. and M.S.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research work was funded by the University of Jeddah, Jeddah, Saudi Arabia, under grant No. (UJ-22-DR-66).

Data Availability Statement

No data was used to support this research.

Acknowledgments

This work was funded by the University of Jeddah, Jeddah, Saudi Arabia, under grant No. (UJ-22-DR-66). The authors, therefore, acknowledge with thanks the University of Jeddah, for its technical and financial support.

Conflicts of Interest

The authors declare that they have no competing interest.

References

  1. Bakhtin, I. The contraction mapping principle in quasi metric spaces. Funct. Anal. 1989, 30, 26–37. [Google Scholar]
  2. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  3. Huang, L.G.; Zhang, X. Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332, 1468–1476. [Google Scholar] [CrossRef]
  4. Mustafa, Z.; Sims, B. A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7, 289–297. [Google Scholar]
  5. Wilson, W.A. On quasi-metric spaces. Am. J. Math. 1931, 53, 675–684. [Google Scholar] [CrossRef]
  6. Matthews, S.G. Partial metric topology. Ann. N. Y. Acad. Sci. 1994, 728, 183–197. [Google Scholar] [CrossRef]
  7. Amini-Harandi, A. Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 2012, 204. [Google Scholar] [CrossRef]
  8. Alber, Y.; Guerre-Delabriere, S. Principles of weakly contractive maps in Hilbert spaces. In New Results in Operator Theory and Its Applications; Birkhäuser: Basel, Switzerland, 1997; Volume 98, pp. 7–22. [Google Scholar] [CrossRef]
  9. Cho, S. Fixed point theorems for generalized weakly contractive mappings in metric spaces with application. Fixed Point Theory Appl. 2012, 2018, 3. [Google Scholar] [CrossRef]
  10. Aguirre-Salazar, L.; Reich, S. A remark on weakly contractive mappings. J. Nonlinear Covex Anal. 2015, 16, 767–773. [Google Scholar]
  11. Chi, K.P.; Karapinar, E.; Thanh, T.D. On the fixed point theorems for generalized weakly contractive mappings on partial metric spaces. Bull. Iran. Math. Soc. 2013, 39, 369–381. [Google Scholar]
  12. Ćirić, L.B. A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45, 267–273. [Google Scholar] [CrossRef]
  13. Abdeljawad, T. Fixed points for generalized weakly contractive mappings in partial metric spaces. Math. Comput. Model. 2011, 54, 2923–2927. [Google Scholar] [CrossRef]
  14. Mohammed, S.S.; Alansari, M.; Azam, A.; Kanwal, S. Fixed points of (φ, F)-weak contractions on metric-like spaces with applications to integral equations on time scales. Bol. Soc. Mat. Mex. 2021, 27, 39. [Google Scholar] [CrossRef]
  15. Jiddah, J.A.; Alansari, M.; Mohamed, O.S.K.; Shagari, M.S.; Bakery, A.A. Fixed point results of Jaggi-type hybrid contraction in generalized metric space. J. Funct. Spaces 2022, 2022, 2205423. [Google Scholar] [CrossRef]
  16. Jiddah, J.A.; Noorwali, M.; Shagari, M.S.; Rashid, S.; Jarad, F. Fixed point results of a new family of hybrid contractions in generalized metric space with applications. AIMS Math. 2022, 7, 17894–17912. [Google Scholar] [CrossRef]
Figure 1. Illustration of contractive inequality (7) using Example 2.
Figure 1. Illustration of contractive inequality (7) using Example 2.
Axioms 12 00397 g001
Figure 2. Illustration of contractive inequality (24) using Example 3.
Figure 2. Illustration of contractive inequality (24) using Example 3.
Axioms 12 00397 g002
Table 1. Table of values for Cases 1 and 2.
Table 1. Table of values for Cases 1 and 2.
CaseslmLHS of (7)RHS of (7)
Case 10000
1100.48
220.961.32
Case 20100.44
020.881.14
1000.44
120.881.14
200.881.1
210.881.14
Table 2. Illustration of the contractive inequality (24).
Table 2. Illustration of the contractive inequality (24).
CaseslmLHS of (24)RHS of (24)
Case 10000
110.77331.74
222.06223.48
333.485.22
Case 1010.25331.265
020.67552.5933
031.143.9375
100.521.17
121.19552.5933
131.663.9375
201.38662.34
211.642.91
232.52664.05
302.343.51
312.59334.08
323.01554.65
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Chiroma, R.; Alotaibi, T.; Shehu Shagari, M.; Bakery, A.A.; Mohammed, O.K.S.K.; Mustafa, A.O. On the Existence of Solutions to a Boundary Value Problem via New Weakly Contractive Operator. Axioms 2023, 12, 397. https://doi.org/10.3390/axioms12040397

AMA Style

Chiroma R, Alotaibi T, Shehu Shagari M, Bakery AA, Mohammed OKSK, Mustafa AO. On the Existence of Solutions to a Boundary Value Problem via New Weakly Contractive Operator. Axioms. 2023; 12(4):397. https://doi.org/10.3390/axioms12040397

Chicago/Turabian Style

Chiroma, Rhoda, Trad Alotaibi, Mohammed Shehu Shagari, Awad A. Bakery, OM Kalthum S. K. Mohammed, and Arafa O. Mustafa. 2023. "On the Existence of Solutions to a Boundary Value Problem via New Weakly Contractive Operator" Axioms 12, no. 4: 397. https://doi.org/10.3390/axioms12040397

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