Next Article in Journal
SGDID: A Privacy-Enhanced Supervised Distributed Identity Model for Smart Grid and Electric Vehicle Integration
Previous Article in Journal
Scheduling Optimization of Emergency Resources to Chemical Industrial Parks Based on Improved Bacterial Foraging Optimization
Previous Article in Special Issue
On the Problem of the Uniqueness of Fixed Points and Solutions for Quadratic Fractional-Integral Equations on Banach Algebras
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces

1
Department of Mathematics, University of Management and Technology, Lahore 54770, Pakistan
2
Department of Mathematics and Applied Mathematics, Sefako Makgatho Health Sciences University, Ga-Rankuwa, Medunsa, Pretoria 0204, South Africa
3
Department of Mathematics, College of Science, Taif University, P.O. Box 11099, Taif 21944, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(2), 254; https://doi.org/10.3390/sym17020254
Submission received: 20 December 2024 / Revised: 25 January 2025 / Accepted: 5 February 2025 / Published: 7 February 2025
(This article belongs to the Special Issue New Trends in Fixed Point Theory with Emphasis on Symmetry)

Abstract

:
In this article, we define a new class of noncommuting self mappings known as the S-operator pair. Also, we provide the existence and uniqueness of common fixed point results involving the S-operator pair satisfying the ( F , φ , ψ , Z ) -contractive condition in m-metric spaces, which unifies and generalizes most of the existing relevant fixed point theorems. Furthermore, the variables in the m-metric space are symmetric, which is significant for solving nonlinear problems in operator theory. In addition, examples are provided in order to illustrate the concepts and results presented herein. It has been demonstrated that the results can be applied to prove the existence of a solution to a system of integral equations, a nonlinear fractional differential equation and an ordinary differential equation for damped forced oscillations. Also, in the end, the satellite web coupling problem is solved.

1. Introduction

Over the last century, there has been rapid advancement in fixed point theory and its applications after the development of the Banach contraction principle [1] and the Brouwer fixed point theorem [2]. It has various applications in nonlinear analysis, game theory, economics, optimization theory, integral differential equations, dynamic system theory, signal and image processing, and other related fields of applied mathematics. For more details, we refer the reader to these references and papers [3,4,5,6]. The Banach contraction principle [1] (for short, BCP) is one of the fundamental principles of metric fixed point theory. It guarantees that any contraction mapping on complete metric space (for short, MS) has a unique fixed point. Several authors have explored the BCP in various directions to produce generalizations, extensions and applications of their findings. Exploring the fundamental properties of the new types of spaces is one of the most fascinating and interesting subjects. Thus, within the context of different generalized metric spaces, certain authors have demonstrated results related to fixed points, coincidence points and common fixed points, contributing to this area of study in this direction; for more references, consult [3,4,5,7,8]. In a MS ( W , l ) with a self-mapping J : W W , a point v W is called a fixed point of J if l ( v , J v ) = 0 . A point v W is called a coincidence point (for short, CP) [9] of J and L, where J , L : W W if and only if L v = J v . If a point v W exists, such that L v = J v = w , then a point w W is referred as a point of coincidence [9]. On the other hand, a point w W is considered as a common fixed point (for short, Cfp) [10] of J and L if and only if L w = J w = w . The study of a Cfp of mappings satisfying various contraction conditions holds significant importance in fixed point theory and is of substantial interest to scholars. We consult the references included in [8,10,11,12] for an overview of Cfp theory, its associated results, applications and compared different contraction conditions.
Jleli et al. [13] gave the ideas of φ -fixed point and F , φ -contraction mappings and proved some φ -fixed point results for such mappings in the framework of complete MS, and also deduced some fixed point results in the setting of complete partial metric spaces. In 2021, H. N. Saleh [5] established the definitions of point of φ -coincidence and common φ -fixed point and additionally proved a few associated results in the framework of MS and partial metric spaces. If W ϕ , J , L : W W and φ : W 0 , is a given function, then w W is said to be a point of φ -coincidence of J and L if and only if L v = J v = w and φ ( w ) = 0 . A point w W is called a common φ -fixed point of J and L if and only if L w = J w = w and φ ( w ) = 0 .
In 1976, Jungck [10] established a common fixed point theorem (for short, Cfpt) for commuting mappings (for short, Cmaps) as a generalization of the contraction theorem of Banach. Sessa [8] proposed the idea of weakly commuting mappings (for short, W-Cmaps) and established a Cfpt for self mappings in the setting of a complete MS. Jungck [12] defined that the compatible mappings (for short, Comp-maps) are an extension of the Cmaps. Moreover, properties of the Comp-maps are derived and applied to acquire results. In 1997, Jungck and Rhoades [14] provided the concept of weakly compatible mappings (for short, WComp-maps) and proved fixed point results for set valued non-continuous functions. Al-Thagafi and Shahzad [15] proved the Cfpt for new classes of noncommuting self mappings known as occasionally weakly compatible mappings (for short, OWComp-maps). Additionally, they employed them to derive various types of invariant approximation results that complemented, extended and assembled the well-known results from the literature. Pathak and Hussain [16] proposed a notion of the P-operator pair (for short, P-Op), which comprises WComp-maps and OWComp-maps as a proper class. Hussain et al. [17] presented a new class of noncommuting mapping called the J H -operator pair (for short, J H -Op) and acquired Cfpt for such mappings. Pathak and Deepmala [16] demonstrated the existence of Cfp solutions for a new class of noncommuting mapping known as the P D -operator pair (for short, P D -Op), which is distinct from P-Op and J H -Op. In recent years, many writers have used these ideas to produce Cfpt for different classes of mappings.
Symmetry is a key feature of Banach spaces and is closely related to fixed point problems [18]. Globally, renowned researchers are observing and researching this phenomenon. The unwavering interest in this area of research originates from its practical applications in various fields. Now, note that symmetry is a mapping on some object, W, that is supposed to be structured onto itself in such a way that the structure remains preserved. Saleem et al. [19] and Sain [20] proposed many ways this mapping can be obtained. By using the concept of symmetry, Neugebaner [18] obtained various applications of a layered compression–expansion fixed point theorem to find the of solutions of a second-order difference equation with Dirichlet boundary conditions.
In recent years, various generalizations of standard MS have emerged. For instance, a partial metric space is one of the most influential generalizations of ordinary MS. In 1994, Matthews [21] proposed the notion of partial metric space (for short, p-MS) by keeping the symmetric condition of the space and replacing the equality l ( v , v ) = 0 in the definition of the metric with the inequality l ( v , v ) l ( v , w ) for all v , w W . Therefore, the self distance of any point of the space may not be zero. In fact, the motivation for presenting the idea of a p-MS was to acquire an appropriate mathematical model in computation theory. Also, he acquired various results in p-MS. Particularly, he investigated the development of the Banach fixed point result in the setting of p-MS. Later on, various mathematicians studied the existence and uniqueness of a fixed point for nonlinear mapping satisfying many contractive conditions in the framework of p-MS. Based on the result of Matthews, in 2014, Asadi et al. [22] extended the p-MS to an m-metric space (for short, m-MS) and provided several examples to demonstrate how the notion of m-MS is a true generalization of p-MS. They proposed the symmetric m-metric space by replacing the inequality l ( v , v ) l ( v , w ) in the definition of p-MS with m i n l ( v , v ) , l ( w , w ) l ( v , w ) because l ( w , w ) = 0 may become l ( w , w ) 0 . Additionally, they demonstrated the validity of some of the main theorems by generalized contractions for obtaining fixed points for mappings.
In this paper, we introduce a new class of noncommuting self mappings known as the S-operator pair. This class contain the Cmaps, WComp-map, OWComp-map, J H -Op, P-Op and P D -Op as proper subclasses, as illustrated in remarks and examples. For this new class, we establish some common φ -fixed point results satisfying ( F , φ , ψ , Z ) -contraction in the context of m-MS ( W , m ) , which is more general than ordinary metric space. Our results unify, extend and complement fixed point theorems due to Jungck [10], Jungck and Rhoades [14], Jungck [9], Pathak and Deepmala [16], Hussain et al. [17], H.K. Pathak and N. Hussain [23] and many others. Some corollaries and related φ -fixed point results are also provided to prove the validity of our results. After that, examples and applications of our results for the existence of a solution to a system of integral equations, a nonlinear fractional differential equation and an ordinary differential equation for damped forced oscillations is also given in this paper. In the end, we find the solution of the satellite web coupling problem. In the sequel, R , R + and N represent the set of all real numbers, positive real numbers and natural numbers, respectively.

2. Preliminaries

In this section, we will now present some fundamental definitions, notions, examples, lemmas and remarks pertaining to our major finding in this part.
Notation 1.
The following notations are essential in the sequel:
1
φ -fp = φ fixed point;
2
φ -Poc = point of φ -coincidence;
3
φ -Cfp = common φ -fixed point;
4
P o c ( J , L ) = the set of all the points at which J and L coincide;
5
C p ( J , L ) = the set of all CPs;
6
F ( J ) = represents the collection of fixed points of J ;
7
m v w = min m ( v , v ) , m ( w , w ) ;
8
M v w = max m ( v , v ) , m ( w , w ) ;
9
D ( P o c ( J , L ) ) = sup l ( v , w ) : v , w P o c ( J , L ) ;
10
D ( C p ( J , L ) ) = sup l ( v , w ) : v , w C p ( J , L ) .
In 1976, Jungck [10] proposed the notion of Cmaps and proved Cfpt for such mappings in the framework of MS, defined as follows.
Definition 1
([10]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be Cmaps if and only if
J L v = L J v , for all v W .
In 1982, Sessa [8] generalized Cmaps by calling self mappings J and L of a MS ( J , L ) a weakly commuting pair, defined as follows.
Definition 2
([8]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be W-Cmaps if and only if
J L v = L J v , for some v W .
Remark 1.
Every pair of Cmaps are WCmaps. Instead, the converse is invalid.
In 1986, Jungck [12] gave the generalization of Cmaps and W-Cmaps known as Comp-maps, defined as follows.
Definition 3
([12]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be Comp-maps if and only if
lim w l ( J L v w , L J v w ) = 0 ,
If v w is a sequence in W , then lim w J v w = lim w L v w = w for some w W .
Remark 2.
Every pair of W-Cmaps are Comp-maps. Instead, the converse is invalid.
In 1997, in order to prove fixed point results for set valued non-continuous functions, Jungck and Rhoades [14] gave the concept of WComp-maps, defined as follows.
Definition 4
([14]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be WComp-map if and only if
J L v = L J v , for all v C p ( J , L ) .
Remark 3.
Every pair of Comp-maps are WComp-maps. Instead, the converse is invalid.
Jungck [9] established Cfpt for new classes of noncommuting mappings known as OWComp-maps, defined as follows.
Definition 5
([9]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be OWComp-maps if and only if
J L v = L J v , for some v C p ( J , L ) .
Remark 4.
If J and L are WComp-maps, then they are OWComp-maps. Instead, the converse is invalid in general.
In 2010, Pathak [16] proved Cfpt for new classes of noncommuting mappings known as P Op, defined as follows.
Definition 6
([16]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be P-Op if and only if there is a point v X , such that v C p ( J , L ) and
l ( v , J v ) D ( C p ( J , L ) ) .
Remark 5.
Every pair of OWComp-maps are P-Op. Instead, the converse is invalid. If the self mappings J and L of W are WComp-map, then L C p ( J , L ) C p ( J , L ) , and hence J and L are P-Op. Clearly, OWComp-maps and nontrivial WComp-maps J and L, which do have a CP, are P-Op.
Hussain et al. [17] established a new class of noncommuting mappings called J H -Op, defined as follows.
Definition 7
([17]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be J H -Op if and only if there is a point w = L v = J v in P o c ( J , L ) , such that
l ( w , v ) D ( P o c ( J , L ) ) .
Remark 6.
If J and L are J H -Op, then they are not OWComp-maps and not WComp-maps.
H.K. Pathak and Deepmala [23] defined P D -Op of single valued mappings and proved Cfpt for this class of mappings under relaxed conditions.
Definition 8
([23]). Suppose ( W , l ) is a MS, and J and L are self mappings on W , then a pair ( J , L ) is said to be P D -Op if there is a point v X , such that v C p ( J , L ) and
l ( J L v , L J v ) D ( P o c ( J , L ) ) .
Remark 7.
Every pair of Cmaps, nontrivial WComp-maps and nontrivial OWComp-maps are P D Op. In addition, P D -Op is a weaker form of W-Cmaps and Comp-maps, but the reverse implication is invalid. P D -Op is not the same as P-Op or J H -Op.
On the other hand, Matthews [21] established the notion of p-MS and demonstrated the validity of the BCP in such spaces. After that, Asadi and Karapinar [22] presented the concept of a m-MS and established fixed point theorems within their context. Using a few examples, they showed how m-MS is a true generalization of p-MS. We also refer to [4,24] for more findings in this direction.
Matthews [21] provided the definition of p-MS, which is as follows:
Definition 9
([21]). Let W ϕ . The mapping ρ : W × W [ 0 , ) is a partial metric on W if each of the following conditions are satisfied for all v , w W , x W v , w :
(1)
ρ ( v , v ) = ρ ( w , w ) = ρ ( v , w ) v = w ;
(2)
0 ρ ( v , v ) ρ ( v , w ) ;
(3)
ρ ( v , w ) = ρ ( w , v ) ;
(4)
ρ ( v , w ) ρ ( v , x ) + ρ ( x , w ) ρ ( x , x ) .
Then the pair ( W , ρ ) is known as a p-MS.
It follows from (1) and (2) that v = w if ρ ( v , w ) = 0 . In general, nevertheless, the contrary is not true.
Asadi et al. [22] provided the following notion of m-MS as an extension of p-MS, which is defined as follows:
Definition 10
([22]). Let W ϕ . The mapping m : W × W [ 0 , ) is a m-metric on W if each of the following conditions are satisfied for all v , w W , x W v , w :
(m1)
m ( v , v ) = m ( w , w ) = m ( v , w ) v = w ;
(m2)
0 m v w m ( v , w ) ;
(m3)
m ( v , w ) = m ( w , v ) ;
(m4)
m ( v , w ) m v w m ( v , x ) m v x + m ( x , w ) m x w .
Then the pair ( W , m ) is known as m MS.
Lemma 1
([22]). Every ρ-metric is a m-metric, but the converse does not hold in general.
Definition 11
([22]). Let ( W , m ) be a m-MS and there exists a sequence v t in W . Then:
(1)
A sequence v t is m-convergent that converges to v W if and only if v t v as t . In this particular case, we can write
lim t m ( v t , v ) m v t v = 0 .
(2)
A sequence v t is an m-Cauchy sequence if and only if
lim t , k m ( v t , v k ) m v t v k and lim t , k M v t v k m v t v k ,
exist and are finite.
(3)
An m-MS is called m-complete if every m-Cauchy sequence v t in W converges with respect to t m ( topology induced by m ) to a point v W , such that
lim t m ( v t , v ) m v t v = 0 and lim t M v t v m v t v = 0 .
Remark 8
([22]). For every v , w , i ( W , m ) , we have
1.
0 M v w + m v w = m ( v , v ) + m ( w , w ) ;
2.
0 M v w m v w = m ( v , v ) m ( w , w ) ;
3.
M v w m v w M v i m v i + M i w m i w .
Definition 12
([25]). Consider Ψ to be the collection of all functions ψ : [ 0 , ) [ 0 , ) , which are called ( c ) -comparison functions, satisfying each of the following properties:
(i)
ψ is monotone increasing, i.e., p 1 p 2 implies ψ p 1 ψ p 2 ;
(ii)
e = 1 + ψ e ( p ) < for all p > 0 , where ψ e is an e iterate of ψ .
Remark 9.
Note that, if ψ Ψ is a ( c ) comparison function, then
(1)
ψ ( 0 ) = 0 ;
(2)
ψ ( p ) < p , for all p > 0 ;
(3)
e = 1 + ψ e ( p ) < implies lim e ψ e ( p ) = 0 , for all p 0 , .
In 2014, Jleli et al. [13] provided the following notion of control functions.
Definition 13.
Consider F to be the collection of all functions F : [ 0 , ) 3 [ 0 , ) which are called control functions and satisfy the following conditions:
(F1)
max u , x F ( u , x , i ) , for all u , x , i [ 0 , ) ;
(F2)
F ( p 1 , p 2 , p 3 ) = 0 if and only if p i = 0 for all i = 1 , 2 , 3 ;
(F3)
F is continuous.
The set of such control functions is denoted by F . Some examples of control functions are given below:
Example 1
([13]). Let r = 1 , 2 , 3 . Define F r : [ 0 , ) 3 [ 0 , ) for all r 1 , 2 , 3 as follows:
F 1 ( u , x , i ) = u + x + i , F 2 ( u , x , i ) = max u + x + i and F 3 ( u , x , i ) = u + u 2 + x + i ,
for all u , x , i [ 0 , ) . Clearly, F 1 , F 2 , F 3 F .
In [13], the idea of F , φ -contraction mapping was introduced and the existence of the fixed point was studied for such mappings.
Definition 14
([13]). Let ( W , l ) be a complete MS and φ : W 0 , . A mapping J : W W is said to be a ( F , φ ) contraction mapping if there exist F F and k ( 0 , 1 ) , such that
F l J v , J w , φ J v , φ J w ψ l ( v , w ) , φ v , φ w , for all v , w W .
Definition 15
([3]). Let J and L be self mappings on a nonempty set W, such that J ( W ) L ( W ) with v 0 W . Let sequence L v q , such that
L v q + 1 = J v q , q = 0 , 1 , 2 ,
Then, the sequence L v q with initial point v 0 is known as the J sequence.

3. Main Results

In this section, we provide the notion of a new class of a noncommuting pair of mappings known as the “S-operator pair”. Also, we show that there exists a φ -Poc for such a pair of mappings within the framework of m MS. Then we use this conclusion to derive the Cfp of a pair ( J , L ) of mappings, where J is a ( F , φ , ψ , Z ) -contraction with respect to L.
We now provide the definition of an S-operator pair, defined as follows.
Definition 16.
Let ( W , l ) be a MS, and J and L are self mappings on W . The pair ( J , L ) is known as an S Operator pair (for short, S Op) if and only if there exists a point w = L v = J v in P o c ( J , L ) , such that
l ( w , L w ) D ( P o c ( J , L ) ) , for all w , v W .
Example 2.
Let W = R and define l : W × W [ 0 , ) by l ( v , w ) = v w . Define J , L : W W by J v = v 3 and L v = v 2 4 . Since C p ( J , L ) = 0 , 1 4 , P o c ( J , L ) = 0 , 1 64 , D ( C p ( J , L ) ) = 1 4 and D ( P o c ( J , L ) ) = 1 64 . Clearly, ( J , L ) is S Op.
Remark 10.
Every pair of Cmaps, nontrivial WComp-maps and nontrivial OWComp-maps are S-Op, but the reverse implications do not always hold true.
Example 3.
Let W = R and define l : W × W [ 0 , ) by l ( v , w ) = v w . Define J , L : W W by J v = v 2 and L v = v 2 . Since C p ( J , L ) = 0 , 1 2 , P o c ( J , L ) = 0 , 1 4 , D ( C p ( J , L ) ) = 1 2 and D ( P o c ( J , L ) ) = 1 4 . Clearly, ( J , L ) is S Op, P Op, J H Op and P D Op, but not Cmaps, not WComp-map and not OWComp-map.
Remark 11.
Every S-Op is P D -Op but every J H -Op, P-Op and P D -Op are not S-Op.
We take into consideration the following example for this.
Example 4.
Let W = 0 , be endowed with the Euclidean metric. Define J , L : W W by
J v = v and L v = v 2 , for all v 0 ,
and
J 0 = L 0 = 3 .
Since C p ( J , L ) = 0 , 1 , P o c ( J , L ) = 1 , 3 , D ( C p ( J , L ) ) = 1 and D ( P o c ( J , L ) ) = 2 . Clearly, the pair ( J , L ) is P D -Op, P-Op and J H -Op, but not S-Op.
Example 5.
Let W = [ 0 , ) and defined l : W × W 0 , by l ( v , w ) = | v w | . Define J , L : W W by
J v = 2 , if v = 0 , 3 v , if 0 < v 1 , v 2 , if 1 < v < . and L v = v + 2 , if 0 v < 2 , v , if 2 v < .
Note that C p ( J , L ) = 0 , 1 , P o c ( J , L ) = 2 , 3 and D ( C p ( J , L ) ) = 1 and D ( P o c ( J , L ) ) = 1 . Clearly the pair ( J , L ) is S-Op, but not Cmaps, not WComp-map and not OWComp-map. Also note that the pair ( J , L ) is neither P-Op nor J H -Op.
Now, we will provide the notion of the ( F , φ , ψ , Z ) -generalized contraction for the pair of mappings J and L in the setting of m-MS as follows.
Definition 17.
Let ( W , m ) be a m-MS, J , L : W W and F F . A mapping J is known as a ( F , φ , ψ , Z ) -contraction with respect to L, if there is a lower semicontinuous function φ : W 0 , , such that
F m J v , J w , φ J v , φ J w ψ Z ( v , w ) ,
where
Z ( v , w ) = max F m L v , L w , φ L v , φ L w , F m J v , J w , φ J v , φ J w , F m L w , J w , φ L w , φ J w , 1 2 F m L v , L w , φ L v , φ L w + F m J v , J w , φ J v , φ J w ,
for all v , w W and ψ Ψ .
By taking Z ( v , w ) = F m L v , L w , φ L v , φ L w in (1), we obtain the following definition.
Definition 18.
Let ( W , m ) be a m-MS, J , L : W W and F F . A mapping J is known as a ( F , φ , ψ ) -contraction with respect to L, if there is a lower semicontinuous function φ : W 0 , , such that
F m J v , J w , φ J v , φ J w ψ F m L v , L w , φ L v , φ L w ,
for all v , w W and ψ Ψ .
  • By taking L = I in (2), we obtain the mapping in [26].
Now, we are ready to state and prove our main result.
Theorem 1.
Let ( W , m ) be a m-complete m-MS and J , L : W W , F F with J ( W ) L ( W ) . Suppose that one of the subspaces J W and L W is closed in W and the pair ( J , L ) is a S-Op. Then J and L has a unique φ-Cfp provided that J is a ( F , φ , ψ , Z ) -contraction with respect to L.
Proof. 
Suppose that v 0 W . As J ( W ) L ( W ) , we obtain a sequence J v w by L v w + 1 = J v w with initial point v 0 . Suppose that J v w 0 = J v w 0 + 1 , for some w 0 N . Then J v w 0 = J v w 0 + 1 = L v w 0 + 1 implies that v w 0 + 1 is a CP. For any w 0 , put v = v w and w = v w + 1 in condition (1) to obtain
F m J v w , J v w + 1 , φ J v w , φ J v w + 1 ψ Z v w , v w + 1 ,
where
Z v w , v w + 1 = max F m L v w , L v w + 1 , φ L v w , φ L v w + 1 , F m J v w , J v w + 1 , φ J v w , φ J v w + 1 , F m L v w + 1 , J v w + 1 , φ L v w + 1 , φ J v w + 1 , 1 2 F m L v w , L v w + 1 , φ L v w , φ L v w + 1 + F m J v w , J v w + 1 , φ S v w , φ J v w + 1 = max F m L v w , L v w + 1 , φ L v w , φ L v w + 1 , F m J v w , J v w + 1 , φ J v w , φ J v w + 1 , F m J v w , J v w + 1 , φ J v w , φ J v w + 1 , 1 2 F m L v w , L v w + 1 , φ L v w , φ L v w + 1 + F m J v w , J v w + 1 , φ J v w , φ J v w + 1 max F m L v w , L v w + 1 , φ L v w , φ L v w + 1 , F m J v w , J v w + 1 , φ J v w , φ J v w + 1 .
If we take Z ( v w , v w + 1 ) = F m J v w , J v w + 1 , φ J v w , φ J v w + 1 , then from (3) we obtain
F m J v w , J v w + 1 , φ J v w , φ J v w + 1 ψ F m J v w , J v w + 1 , φ J v w , φ J v w + 1 < F m J v w , J v w + 1 , φ S v w , φ J v w + 1 ,
which contradicts it. Thus, we obtain
F m J v w , J v w + 1 , φ J v w , φ J v w + 1 ψ F m L v w , L v w + 1 , φ L v w , φ L v w + 1 = ψ F m J v w 1 , J v w , φ J v w 1 , φ J v w ψ ψ F m L v w 1 , L v w , φ L v w 1 , φ L v w = ψ 2 F m J v w 2 , J v w 1 , φ J v w 2 , φ J v w 1 ψ w 1 ψ F m L v 1 , L v 2 , φ L v 1 , φ L v 2 = ψ w F m J v 0 , J v 1 , φ J v 0 , φ J v 1 .
By using induction, we obtain
F m J v w , J v w + 1 , φ J v w , φ J v w + 1 ψ w F m J v 0 , J v 1 , φ J v 0 , φ J v 1 .
From condition (F1) of definition (13), it may be concluded that
max m J v w , J v w + 1 , φ J v w ψ w F m J v 0 , J v 1 , φ J v 0 , φ J v 1 .
By assuming max m J v w , J v w + 1 , φ J v w = m J v w , J v w + 1 in (4), we obtain that
m J v w , J v w + 1 ψ w F m J v 0 , J v 1 , φ J v 0 , φ J v 1 .
On the other hand, we obtain
lim w m J v w , J v w + 1 = 0 .
By assuming min m J v w , J v w , m J v w + 1 , J v w + 1 = m J v w , J v w , using (6) and the condition (m2) of definition (10), we have
lim w m J v w , J v w = lim w min m J v w , J v w , m J v w + 1 , J v w + 1 = lim w m J v w J v w + 1 lim w m J v w , J v w + 1 = 0 .
Since lim w m J v w , J v w = 0 , we have
lim w , m m J v w J v m = 0 .
We now show that J v w is a m Cauchy sequence. Consider t , k N , such that t > k . By using (5) and the condition (m4) of Definition (10), we obtain
m ( J v t , J v k ) m J v t J v k m ( J v t , J v t + 1 ) m J v t J v t + 1 + m ( J v t + 1 , J v k ) m J v t + 1 J v k m ( J v t , J v t + 1 ) m J v t J v t + 1 + m ( J v t + 1 , J v k ) m ( J v t , J v t + 1 ) m J v t J v t + 1 + m ( J v t + 1 , J v t + 2 ) m J v t + 1 J v t + 2 + m ( J v t + 2 , J v k ) m J v t + 2 J v k m ( J v t , J v t + 1 ) m J v t J v t + 1 + m ( J v t + 1 , J v t + 2 ) m J v t + 1 J v t + 2 + + m ( J v k 1 , J v k ) m J v k 1 J v k m ( J v t , J v t + 1 ) + m ( J v t + 1 , J v t + 2 ) + + m ( J v k 1 , J v k ) ψ t F m J v 0 , J v 1 , φ J v 0 , φ J v 1 + ψ t + 1 F m J v 0 , J v 1 , φ J v 0 , φ J v 1 + + ψ k 1 F m J v 0 , J v 1 , φ J v 0 , φ J v 1 i = 1 k 1 ψ i F m J v 0 , J v 1 , φ J v 0 , φ J v 1 j = 1 t 1 ψ j F m J v 0 , J v 1 , φ J v 0 , φ J v 1 .
It follows from Remark (9) and (8) that m ( J v t , J v k ) m J v t J v k 0 as t . Also, by (7), we obtain that
lim t , k M J v t J v k m J v t J v k = 0 .
Thus, J v t is a m-Cauchy sequence in W . Since W is m-complete, there exists b A 0 , such that
lim t m ( J v t , b ) m J v t b = 0 and lim t M J v t b m J v t b = 0 .
Since lim t m J v t , J v t = 0 , we have
lim t m ( J v t , b ) = 0 and lim t M J v t b = 0 .
Thus by Remark (8), we obtain
lim t m ( b , b ) = lim t M J v t b + m J v t b m J v t , J v t = 0 .
This implies that
m ( b , b ) = 0 .
Suppose that W has a closed subspace L ( W ) . Next, we select v W , such that
lim t J v t = lim t L v t + 1 = L v = b .
Now we need to show that φ b = 0 . By assuming max m J v t , J v t + 1 , φ J v t = φ J v t in (4), we have
φ J v t ψ t F m J v 0 , J v 1 , φ J v 0 , φ J v 1 .
Assuming that the limit is t on both sides of the inequality above, we obtain
lim t φ J v t = 0 .
As φ is a lower semicontinuous, then from (9) and (11) we obtain
0 φ b lim t inf φ J v t = 0 .
Hence, φ L v = φ b = 0 . By taking v = v and w = v t in the condition (1), we obtain
F m J v , J v t , φ J v , φ J v t ψ Z v , v t ,
where
Z v , v t = max F m L v , L v t , φ L v , φ L v t , F m J v , J v t , φ J v , φ J v t , F m L v t , J v t , φ L v t , φ J v t 1 2 F m L v , L v t , φ L v , φ L v t + F m J v , J v t , φ J v , φ J v t max F m L v , L v t , φ L v , φ L v t , F m J v , J v t , φ J v , φ J v t , F m L v t , J v t , φ L v t , φ J v t .
If Z v , v t = F m J v , J v t , φ J v , φ J v t , then from (12) we obtain
F m J v , J v t , φ J v , φ J v t ψ F m J v , J v t , φ J v , φ J v t < F m J v , J v t , φ J v , φ J v t ,
which is a contradiction. If Z v , v t = F m L v t , J v t , φ L v t , φ J v t , then from (12) we obtain
F m J v , J v t , φ J v , φ J v t ψ F m L v t , J v t , φ L v t , φ J v t ψ F m L v t , L v m L v t , L v + m L v , J v t m L v , J v t , φ L v t , φ J v t ψ F m L v t , L v + m L v , J v t , φ L v t , φ J v t = ψ F m J v t 1 , L v + m L v , J v t , φ J v t 1 , φ J v t < F m J v t 1 , L v + m L v , J v t , φ J v t 1 , φ J v t .
It follows from the condition (F1) of definition (13) and (13) that
m J v , J v t max m J v , J v t , φ J v < F m J v t 1 , L v + m L v , J v t , φ J v t 1 , φ J v t .
Assuming that the limit is t on both sides of the above inequality, we obtain
lim t m J v , J v t = 0 .
If Z v , v t = F m L v , L v t , φ L v , φ L v t , then from (12) we obtain
ψ F m J v , J v t , φ J v , φ J v t ψ F m L v , L v t , φ L v , φ L v t < F m L v , L v t , φ L v , φ L v t = F m L v , L v t , 0 , φ J v t 1 .
It follows from the condition (F1) of definition (13) and (14) that
m J v , J v t max m J v , J v t , φ J v = F m L v , L v t , 0 , φ J v t 1 .
Then, by taking the limit as t on the both sides of the above inequality, we obtain
lim t m J v , J v t = 0 .
Hence, lim t m J v , J v t = 0 . By using the condition (m4) of definition (10), we have
m ( J v , L v ) m J v L v m ( J v , J v t ) m J v J v t + m ( J v t , L v ) m J v t L v m ( J v , L v ) m J v L v m ( J v , J v t ) + m ( J v t , L v ) lim t m ( J v , L v ) m J v L v lim t m ( J v , J v t ) + lim t m ( J v t , L v ) lim t m ( J v , L v ) m J v L v = 0 .
Thus by using (10), we see that
m ( L v , L v ) = m ( b , b ) = 0 .
Therefore, J v = L v . That is, b is a φ -Poc of the pair ( J , L ) . Moreover, if s is another φ -Poc of the pair ( J , L ) then J s = L s = s and φ ( s ) = 0 . Since L is a ( F , φ , ψ , Z ) -contraction, we have
F m s , b , 0 , 0 = F m J s , J s , 0 , 0 ψ Z s , s < Z s , s ,
where
Z s , s = max F m L s , L s , φ L s , φ L s , F m J s , J s , φ J s , φ J s , F m L s , J s , φ L s , φ J s , 1 2 F m L s , L s , φ L s , φ L s + F m J s , J s , φ J s , φ J s max F m L s , L s , φ L s , φ L s , F m J s , J s , φ J s , φ J s , F m L s , J s , φ L s , φ J s = max F m s , b , φ s , φ b , F m s , b , φ s , φ b , F m b , b , φ b , φ b = max F m s , b , 0 , 0 , 0 = F m s , b , 0 , 0 ,
it is a contradiction. Hence, b is a unique φ -Poc of the pair ( J , L ) . Hence, D ( P o c ( J , L ) ) = 0 . As ( J , L ) is a S-Op, then
m ( b , L b ) D ( P o c ( J , L ) ) = 0 .
Suppose that J b b , then by putting v = b and w = v in (1) we obtain
F m J b , b , φ J b , φ b = F m J b , J v , φ J b , φ J v ψ Z b , v ,
where
Z b , v = max F m L b , L v , φ L b , φ L v , F m J b , J v , φ J b , φ J v , F m L v , J v , φ L v , φ J v , 1 2 F m L b , L v , φ L b , φ L v + F m J b , J v , φ J b , φ J v max F m L b , L v , φ L b , φ L v , F m J b , J v , φ J b , φ J v , F m L v , J v , φ L v , φ J v = max F m b , b , φ b , φ b , F m J b , b , φ J b , φ b = max F 0 , 0 , 0 , F m J b , b , φ J b , φ b = max 0 , F m J b , b , φ J b , φ b = F m J b , b , φ J b , φ b .
Hence
F m J b , b , φ J b , φ b ψ F m J b , b , φ J b , φ b < F m J b , b , φ J b , φ b ,
which is a contradiction. Hence, b = L b = J b . Then there exists a φ -Cfp b = J b = L b .
Uniqueness: suppose that b and n are two φ -Cfp of J and L with n b and
φ ( b ) = φ ( n ) = 0 .
Since L is a ( F , φ , ψ , Z ) contraction, we have
F m b , n , 0 , 0 = F m b , n , φ b , φ n = F m J b , J n , φ J b , φ J n ψ Z b , n ,
where
Z b , n = max F m L b , L n , φ L b , φ L n , F m J b , J n , φ J b , φ J n , F m L n , J n , φ L n , φ J n , 1 2 F m L b , L n , φ L b , φ L n + F m J b , J n , φ J b , φ J n = max F m b , n , φ b , φ n , F m b , n , φ b , φ n , F m n , n , φ n , φ n , 1 2 F m b , n , φ b , φ n + F m b , n , φ b , φ n = max F m b , n , 0 , 0 , 0 = F m b , n , 0 , 0 ,
then by using (15) and (16), we obtain
F m b , n , 0 , 0 ψ F m b , n , 0 , 0 < F m b , n , 0 , 0 ,
which is a contradiction. Hence b is a unique φ -Cfp of mappings J and L. □
Now, we obtain the following common φ -fixed point result of S-Op ( J , L ) with a ( F , φ , ψ ) -contraction.
Corollary 1.
Let ( W , m ) be a complete m-MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a S-Op and φ is a lower semicontinuous function. If J is a ( F , φ , ψ ) -contraction with respect to L , then J and L has a unique φ-Cfp.
Proof. 
Theorem (1) yields the result that follows by choosing Z ( v , w ) = F ( m ( L v , L w ) , φ ( L v ) , φ ( L w ) ) and the remaining proof follows under the same lines. □
Also, we obtain the following common φ -fixed point result of WComp-map ( J , L ) with ( F , φ , ψ ) -contraction.
Corollary 2.
Let ( W , m ) be a complete m-MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a WComp-map and φ is a lower semicontinuous function. If J is a ( F , φ , ψ ) -contraction with respect to L , then J and L has a unique φ-Cfp.
To support Corollary (1), we provide the following example.
Example 6.
Let W = 0 , 1 and m : W × W 0 , be defined by
m ( v , w ) = v + w 2 .
Then ( W , m ) is an m-MS. Define a mapping J , L : W W as:
J v = 3 2 v , if v 0 , 1 , 0 , if 0 < v < 1 ,
and
L v = v , for all v W .
Note that J ( W ) L ( W ) . Define functions ψ : [ 0 , ) [ 0 , ) , φ : W [ 0 , ) and F : [ 0 , ) 3 [ 0 , ) by
ψ p = p 2 , for all p [ 0 , ) φ ( v ) = v , for all v W and F ( u , x , i ) = u + x + i , for all u , x , i [ 0 , ) .
Now we will show that J is a ( F , φ , ψ ) -contraction with respect to L . Let v , w W , then
F m J v , J w , φ J v , φ J w = 9 3 v 3 w 3 v 4 + 3 w 4 = ψ F m L v , L w , φ L v , φ L w .
Note that C p ( J , L ) = 1 , P o c ( J , L ) = 1 and D ( P o c ( J , L ) ) = 0 . Then ( J , L ) is a S-Op. Therefore, all the requirements of Corollary (1) are satisfied. Furthermore, w = 1 is a unique φ-Cfp.
Since an m-MS is a p-MS, from Theorem (1) we immediately conclude the following result. It should be noted that the notions in Definitions (17) and (18) are considered in the framework of p-MS in the following result.
Corollary 3.
Let ( W , ρ ) be a complete p-MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a S-Op and φ is a lower semicontinuous function. If J is a ( F , φ , ψ , Z ) -contraction with respect to L , then J and L has a unique φ-Cfp.
Proof. 
We deduce the result from Theorem (1) since a m-MS is a generalization of p-MS. □
Corollary 4.
Let ( W , ρ ) be a complete p-MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a S-Op and φ is a lower semicontinuous function. If J is a ( F , φ , ψ ) -contraction with respect to L , then J and L has a unique φ-Cfp.
Proof. 
We deduce the result from Corollary (1) since a m-MS is a generalization of p-MS. □
Corollary 5.
Let ( W , ρ ) be a complete p-MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a WComp-map and φ is a lower semicontinuous function. If J is a ( F , φ , ψ ) -contraction with respect to L , then J and L has a unique φ-Cfp.
We present the following example in order to bolster Corollary (4).
Example 7.
Let W = 0 , 1 . Define the mapping ρ : W 2 R by
ρ ( v , w ) = max v , w , for all v , w W .
Then ( W , ρ ) is a p-MS. Define a mapping J , L : W W as:
J v = v 2 if v 0 , 1 , 0 , otherwise ,
and
L v = 2 v , if v 0 , 1 2 , 1 2 , if v = 1 3 , 0 , otherwise .
Note that J ( W ) L ( W ) . Define functions ψ : [ 0 , ) [ 0 , ) , φ : W [ 0 , ) and F : [ 0 , ) 3 [ 0 , ) by
ψ p = p 2 , for all p [ 0 , ) , φ ( v ) = v , for all v W and F ( u , x , i ) = u + x + i , for all u , x , i [ 0 , ) .
Now we will show that J is a ( F , φ , ψ ) -contraction with respect to L . Let v , w W , then
F ρ J v , J w , φ J v , φ J w ψ F ρ L v , L w , φ L v , φ L w .
Note that C p ( J , L ) = 0 , P o c ( J , L ) = 0 and D ( P o c ( J , L ) ) = 0 . Then the pair ( J , L ) is a S Op. Therefore, all the requirements of Corollary (4) are satisfied. Furthermore, w = 0 is a unique φ-Cfp.
Since m-MS and p-MS are an extension of MS, from Theorem (1) we deduce immediately the following results. Note that in the following results we consider the notions in Definitions (17) and (18) in the framework of MS.
Corollary 6.
Let ( W , l ) be a complete MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a S-Op and φ is a lower semicontinuous function. If J is a ( F , φ , ψ , Z ) -contraction with respect to L , then J and L has a unique φ-Cfp.
Proof. 
We deduce the result from Theorem (1) and Corollary (3) since MS is a generalization of p-MS and m-MS. □
Corollary 7.
Let ( W , l ) be a complete MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a S-Op and φ is a lower semicontinuous function. If J is a ( F , φ , ψ ) -contraction with respect to L , then J and L has a unique φ-Cfp.
Proof. 
We deduce the result from Corollaries (1) and (4) since MS is a generalization of p-MS and m-MS. □
Corollary 8.
Let ( W , l ) be a complete MS, J , L : W W and F F with J ( W ) L ( W ) . Let us assume that one of the subspaces J W and L W is closed in W , where ( J , L ) is a WComp-map and φ is a lower semicontinuous function. If J is a ( F , φ , ψ ) -contraction with respect to L , then J and L has a unique φ-Cfp.
Remark 12.
It should be noted that Corollary (8) is a result deduced by Karapinar et al. [27].

4. φ -Fixed Point Results

In this section, we derive some corollaries as generalizations of various results in the literature, as a consequence of our new proved results. Putting L = I W , the identity mapping on W, in Theorem (1), we conclude the following definitions and corollaries, which seem to be new to the existing literature.
Definition 19.
Let ( W , m ) be a m-MS. A mapping J is known as a ( F , φ , ψ , Z ) -contraction if there is a lower semicontinuous function φ : W 0 , , such that
F m J v , J w , φ J v , φ J w ψ Z ( v , w ) ,
where
Z ( v , w ) = max F m v , w , φ v , φ w , F m J v , J w , φ J v , φ J w , F m w , J w , φ w , φ J w , 1 2 F m v , w , φ v , φ w + F m J v , J w , φ J v , φ J w ,
for all v , w W , ψ Ψ and F F .
Definition 20.
Let ( W , m ) be a m-MS. A mapping J is known as a ( F , φ , ψ ) -contraction if there is a lower semicontinuous function φ : W 0 , , such that
F m J v , J w , φ J v , φ J w ψ F m v , w , φ v , φ w ,
for all v , w W , ψ Ψ and F F .
Corollary 9.
Let ( W , m ) be a m-complete m-MS and J : W W , F F . Then J has a unique φ-fp provided that J is a ( F , φ , ψ , Z ) -contraction.
Proof. 
By putting L = I W and using Definition (19) in Theorem (1), we immediately deduce the result. □
Corollary 10.
Let ( W , m ) be a m-complete m-MS and J : W W , F F . Then J has a unique φ-fp provided that J is a ( F , φ , ψ ) -contraction.
Proof. 
By taking Z ( v , w ) = F m v , w , φ v , φ w in Corollary (9), we immediately deduce the result. □
Since an m-MS is a p-MS, from Corollaries (9) and (10) we immediately conclude the following results. It should be noted that the notions in Definitions (19) and (20) are considered in the framework of p-MS in the following results.
Corollary 11.
Let ( W , p ) be a complete p-MS and J : W W , F F . Then J has a unique φ-fp provided that J is a ( F , φ , ψ , Z ) -contraction.
Proof. 
We deduce the result from Corollary (9) since an m-MS is a generalization of p-MS. □
Corollary 12.
Let ( W , p ) be a complete p-MS and J : W W , F F . Then J has a unique φ-fp provided that J is a ( F , φ , ψ ) -contraction.
Proof. 
We deduce the result from Corollary (10) since an m-MS is a generalization of p-MS. □
Since m-MS and p-MS are an extension of MS, then we deduce the following two Corollaries in the setting of MS. Note that in the following Corollaries we consider the notions in Definitions (17) and (18) in the framework of MS.
Corollary 13.
Let ( W , l ) be a complete MS and J : W W , F F . Then J has a unique φ-fp provided that J is a ( F , φ , ψ , Z ) -contraction.
Proof. 
We deduce the result from Corollary (9) and Corollary (11) since m-MS and p-MS are a generalization of MS. □
Corollary 14.
Let ( W , l ) be a complete MS and J : W W , F F . Then J has a unique φ-fp provided that J is a ( F , φ , ψ ) -contraction.
Proof. 
We deduce the result from Corollaries (10) and (12) since m-MS and p-MS are a generalization of MS. □
Remark 13.
It should be noted that Corollary (14) is a result deduced by Imdad et al. [26].

5. Application to System of Integral Equations

We investigated in the existence and uniqueness of a common solution for the following system of integral equations in this part to demonstrate the applicability of Corollary (1):
h ( j ) = q ( j ) + 0 j K ( j , o , h ( o ) ) d o , j 0 , 1 ,
h ( j ) = f ( j ) + 0 j P ( j , o , h ( o ) ) d o , j 0 , 1 ,
where K , P : 0 , 1 × 0 , 1 × R R and q , f : 0 , 1 R are given functions. Let W = C 0 , 1 , R denote the set of all real valued continuous functions defined on 0 , 1 . For an arbitrary h W , define m : W × W R , that is
m ( h ( j ) , v ( j ) ) = sup j a , b h ( j ) + v ( j ) 2 , for all v , w W .
Then ( W , m ) is an m-complete m MS.
Now we are equipped to state and prove our result as follows:
Theorem 2.
Take into consideration the system of Equations (17) and (18). Assume that the following conditions are satisfied:
(1)
K , P , q and f are continuous functions.
(2)
L , J : W W are two mappings defined by
J h ( j ) = q ( j ) + 0 j K ( j , o , h ( o ) ) d o , j 0 , 1 , L h ( j ) = f ( j ) + 0 j P ( j , o , h ( o ) ) d o , j 0 , 1 ,
with property that l ( v , L v ) D ( P o c ( J , L ) ) , for some v P o c ( J , L ) .
(3)
For all h , v W and j , o 0 , 1 , we have
K ( j , o , h ( o ) ) + K ( j , o , v ( o ) ) 1 2 L h + L v .
Then there exists a unique common solution for the system of integral Equations (17) and (18).
Proof. 
For all h , v W and j , o 0 , 1 , we have
m ( J h ( j ) , J v ( j ) ) = J h ( j ) + J v ( j ) 2 = 0 j K ( j , o , h ( o ) ) + K ( j , o , v ( o ) ) 2 d o 0 j K ( j , o , h ( o ) ) + K ( j , o , v ( o ) ) 2 d o 0 j 1 2 L h + L v 2 d o 1 2 0 j L h + L v 2 d o 1 2 sup j a , b L h + L v 2 j = 1 2 m L h , L v j ,
which on taking supremum leads to
m ( J h ( j ) , J v ( j ) ) 1 2 m L h , L v .
Now, we write the three essential functions ψ , F and φ as
F ( u , x , i ) = u + x + i , for all u , x , i [ 0 , ) , ψ p = p 2 ,
for all p [ 0 , ) where ψ Ψ and
φ ( v ) = 0 for all v W .
Hence, the above inequality can be written as
F m J h ( j ) , J v ( j ) , φ J h ( j ) , φ J v ( j ) ψ F m L h ( j ) , L v ( j ) , φ L h ( j ) , φ L v ( j ) .
By Corollary (1), there exists a unique common solution for the system of integral Equations (17) and (18). □

6. Existence of a Solution for Nonlinear Fractional Differential Equation

This section presents an application of Corollary (1) to a nonlinear fractional differential equation in the context of m-MS, where we can use ( F , φ , ψ , Z ) -contractive mapping to achieve a common solution. Here, we look into the nonlinear fractional differential equation’s Caputo derivative using the fractional order. For a continuous function q : 0 , R , this fractional derivative form is provided as
D r γ c q ( r ) = 1 Γ w γ a r r o w γ 1 q w ( o ) d o , w 1 < γ , w = γ + 1 ,
where γ stands for the real number’s integer part γ (see [28,29]). Furthermore, the order γ fractional integral of Riemann–Liouville is denoted by
I o γ q ( r ) = 1 Γ γ 1 a r r o γ q ( o ) d o , γ > 0 ,
The Caputo fractional differential equation finds wide-ranging mathematical applications in fields such as probability theory, physics, acoustics, digital data processing, electrical signals, image processing and physics (see [6]). Inspired by Kilbas et al. [30], Budhia et al. [31], Kanwal et al. [29] and Baleanu et al. [28], the following nonlinear fractional differential equation is
D o c h ( r ) = q r , h r , r 0 , 1 , 1 < γ 2 , h ( 0 ) = 0 , h ( 1 ) = 0 v h ( o ) d o , 0 < v < 1 ,
The Caputo fractional derivative of order γ is represented as D o c and q : 0 , 1 W is a continuous function. Let the set of all real valued continuous functions defined on 0 , 1 be represented by the symbol W = C 0 , 1 , R . Define m : W × W R for an arbitrary h W , that is
m ( h ( r ) , v ( r ) ) = sup r a , b h ( r ) + v ( r ) 2 , for all h , v W .
Then ( W , m ) is an m-complete m-MS. The expression for the nonlinear fractional Equation (21) is
h ( r ) = 1 Γ γ 0 r r o γ 1 q o , h o d o 2 ι 2 v 2 Γ γ 0 1 1 o γ 1 q o , h o d o + 2 ι 2 v 2 Γ γ 0 v 0 o o w γ 1 q w , h w d w d o .
A function h C 0 , 1 , R is a solution of the fractional differential integral Equation (23) if and only if a solution of the nonlinear fractional differential Equation (21) is h. Now, we prove the following theorem.
Theorem 3.
Assume that the following conditions are satisfied:
(i)
q C I × W , W is sequentially continuous.
(ii)
There exists a continuous function q : 0 , 1 × R R + , such that
q r , h o q r , v o P 2 L h ( o ) + L v ( o ) ,
for all r 0 , 1 and for all h , v W , such that l ( h r , v r 0 ) and a constant P with a constant K relate with P , such that
P K 1 , K = r γ α Γ γ + 2 ι 2 v 2 α Γ γ + 2 ι v γ + 1 2 v 2 γ γ + 1 Γ γ .
Then, nonlinear fractional differential Equation (21) has a common solution as a φ-Cfp w C I , W .
Proof. 
Let us define J : C I C ( I ) by
J h ( r ) = 1 Γ γ 0 r r o γ 1 q o , h o d o 2 ι 2 v 2 Γ γ 0 1 1 o γ 1 q o , h o d o + 2 ι 2 v 2 Γ γ 0 v 0 o o w γ 1 q w , h w d w d o .
Now we will show that J is a ( F , φ , ψ , Z ) -contraction with respect to L . By condition (ii), we have
m ( J h ( r ) , J v ( r ) ) = sup r 0 , 1 J h ( r ) + J v ( r ) 2 = 1 2 sup r 0 , 1 1 Γ γ 0 r r o γ 1 q o , h o d o 2 ι 2 v 2 Γ γ 0 1 1 o γ 1 q o , h o d o + 2 ι 2 v 2 Γ γ 0 v 0 o o w γ 1 q w , h w d w d o + 1 Γ γ 0 r r o γ 1 q o , v o d o 2 ι 2 v 2 Γ γ 0 1 1 o γ 1 q o , v o d o + 2 ι 2 v 2 Γ γ 0 v 0 o o w γ 1 q w , v w d w d o 1 2 sup r 0 , 1 1 Γ γ 0 r r o γ 1 q o , h o + q o , v o d o + 2 ι 2 v 2 Γ γ 0 1 1 o γ 1 q o , h o + q o , v o d o + 2 ι 2 v 2 Γ γ 0 v 0 o o w γ 1 q w , h w + q w , v w d w d o 1 2 sup r 0 , 1 L 2 Γ γ 0 r r o γ 1 L h ( o ) + L v ( o ) d o + 2 ι L 2 2 v 2 Γ γ 0 1 1 o γ 1 L h ( o ) + L v ( o ) d o + 2 ι L 2 2 v 2 Γ γ 0 v 0 o o w γ 1 L h ( w ) + L v ( w ) d w d o
So, we obtain
m ( J h ( r ) , J v ( r ) ) 1 2 L Γ γ sup r 0 , 1 L h ( o ) | + | L v ( o ) 2 0 r r o γ 1 d o + 2 ι L 2 v 2 Γ γ sup r 0 , 1 L h ( o ) | + | L v ( o ) 2 0 1 1 o γ 1 d o + 2 ι L 2 v 2 Γ γ sup w 0 , 1 L h ( w ) | + | L v ( w ) 2 0 v 0 o o w γ 1 d o 1 2 L ι γ α Γ γ + 2 ι L 2 v 2 α Γ γ + 2 ι L v γ + 1 2 v 2 γ γ + 1 Γ γ m L h , L v = L 2 r γ α Γ γ + 2 ι 2 v 2 α Γ γ + 2 ι v γ + 1 2 v 2 γ γ + 1 Γ γ m L h , L v L K 2 m L h , L v ,
which on taking supremum leads to
m ( J h ( r ) , J v ( r ) ) L K 2 m L h , L v .
Since L K < 1 , we have
m ( J h ( r ) , J v ( r ) ) 1 2 m L h , L v .
Now, we write the three essential functions ψ , F and φ as
F ( u , x , i ) = u + x + i , for all u , x , i [ 0 , ) , ψ p = p 2 ,
for all p [ 0 , ) , where ψ Ψ and
φ ( v ) = 0 , for all v W .
Hence, the above inequality can be written as
F m J h ( r ) , J v ( r ) , φ J h ( r ) , φ J v ( r ) ψ F m L h ( r ) , L v ( r ) , φ L h ( r ) , φ L v ( r ) .
Hence, J is a ( F , φ , ψ ) -contraction with respect to L . Since all the criteria of Corollary (1) are satisfied, there exists w C ( I ) , a φ -Cfp of J and L , that is, w is a solution to the nonlinear fractional differential Equation (21).

7. Existence of Common Solution of Ordinary Differential Equations for Damped Forced Oscillations

In this section, the damped forced oscillation differential equations problem is examined in the context of m-MS. In 2020, the damped forced oscillation differential problem of an object of mass m moving to and fro on the v-axis around an equilibrium position v = 0 was examined by Shoib et al. [32]. At time r, the object’s position is h ( r ) . It experiences a force due to spring
F s = k u ,
Moreover, a damping force that resists the object’s movement is shown:
F f = b d h d r .
Now, by the second law of motion
F n e t = m d 2 h d r 2 .
where m , b and k are positive constants. Up to that feature, the system is simply the damped harmonic oscillator. Now, suppose the additional time-dependent force q ( r ) is applied to the object. Then, by the second law given by Newton,
m d 2 h d r 2 + b d h d r + k h = q ( r ) ,
If it is assumed that the initial conditions are
h ( 0 ) = 0 , h ( 0 ) = 0 ,
the problem (24) can be expressed as
h ( r ) = 0 ϰ M ( r , o ) K r , o , h ( o ) d o , for all r , o 0 , ϰ ,
where ϰ > 0 . Let W = C ( I ) , I = 0 , ϰ . For forced damped oscillation, the green function is defined as
M ( r , o ) = o e τ ( ϰ + o r ) , 0 o r ϰ , r e τ ( r o ) , 0 r o ϰ .
where τ can be expressed using b , k and m. Drawing inspiration from the work of Shoaib et al. [32], we apply the fixed point method to determine the common solution of a damped forced oscillation differential equation.
Theorem 4.
Assume that the following conditions are satisfied:
(i)
There exists a continuous function K : 0 , ϰ 2 0 , , such that
K r , o , h ( o ) K r , o , v ( o ) 1 2 L h + L v ,
for r , o 0 , ϰ , γ > 0 and h , v R .
(ii)
There exists a function L : I × I R + , such that
sup r 0 , ϰ 0 ϰ L ( r , o ) d o 1 .
Then, problem (25) has a φ-Cfp w W , which is a solution of (24).
Proof. 
Let J : C 1 0 , 1 C 1 0 , 1 be an operator defined by
J h ( r ) = 0 ϰ L r , o K ( r , o , h o ) d o .
Consider h > v , for all h , v C ( I ) and (25), we have
sup r 0 , 1 J h ( r ) + J v ( r ) 2 = sup r 0 , 1 0 ϰ L r , o K ( r , o , h o K ( r , o , v o 2 d o sup r 0 , 1 0 ϰ L r , o 1 2 L h ( o ) + L v ( o ) 2 d o 1 2 L h ( o ) + L v ( o ) 2 sup r 0 , 1 0 ϰ L r , o d o 1 2 L h ( o ) + L v ( o ) 2 1 2 sup r 0 , 1 L h ( o ) + L v ( o ) 2 = 1 2 m L h , L v ,
hence, we obtain
m ( J h ( r ) , J v ( r ) ) 1 2 m L h , L v .
Now, we write the three essential functions ψ , F and φ as
F ( u , x , i ) = u + x + i , for all u , x , i [ 0 , ) , ψ p = p 2 ,
for all p [ 0 , ) , where ψ Ψ and
φ ( v ) = 0 for all v W .
Hence, the above inequality can be written as
F m J h ( r ) , J v ( r ) , φ J h ( r ) , φ J v ( r ) ψ F m L h ( r ) , L v ( r ) , φ L h ( r ) , φ L v ( r ) .
Hence, J is a ( F , φ , ψ ) -contraction with respect to L . Since all the criteria of Corollary (1) are satisfied, there exists w C ( I ) , a φ -Cfp of J and L , that is, w is a solution to the integral Equation (25).

8. Application to a Satellite Web Coupling Problem

We solved a satellite web coupling boundary value problem using Corollary (10), inspired by the use of fixed point techniques in real-world problems [33]. A satellite web connection can be imagined as a thin sheet joining two cylindrical satellites. The problem of radiation from the web coupling between two satellites leads to the following nonlinear boundary value problem defined as:
d 2 h d r 2 = μ h 4 , 0 < r < 1 , h ( 0 ) = h ( 1 ) = 0 ,
where h ( r ) denotes the temperature of radiation at any point r 0 , 1 , μ = 2 a l 2 K 3 ζ > 0 is a non-dimensional positive constant, K is the constant absolute temperature of both satellites, while heat is radiated from the surface of the web into space at 0 absolute temperature, I represents the distance between two satellites, a is a positive constant that describes the radiation qualities of the web’s surface, factor 2 is needed because there is radiation from both top and bottom surfaces, and ζ is thermal conductivity, where is the thickness. The green function is defined as
G r , ξ = r 1 ξ , 0 < r < ξ ξ 1 r , ξ < r < 1
Problem (26) is equivalent to
h ( r ) = 1 μ 0 1 G r , ξ h 4 ξ d ξ .
Let W = R 0 , 1 be a set of Riemann integrable functions on 0 , 1 . Define m : W × W R for an arbitrary h W , that is
m ( h , v ) = sup r a , b h + v 2 , for all h , v W .
Clearly, W , m is a complete m-metric space.
Theorem 5.
Let J : W W be a self mapping in a complete m-metric space, satisfying
h 2 ξ + v 2 ξ h ξ v ξ K μ ,
and
2 + K h ξ + v ξ 8 h ξ + v ξ 0 .
Then, the satellite web coupling boundary value problem (26) has a unique φ-fp.
Proof. 
Define a self mapping J : W W by
J h ( r ) = 1 μ 0 1 G r , ξ h 4 ξ d ξ , ξ 0 , 1 .
A solution to the satellite web coupling problem (26) is clearly a fixed point of a self map A. Consider h > v , for all h , v C ( I ) and (25), we have
sup r 0 , 1 J h ( r ) + J v ( r ) 2 = sup r 0 , 1 1 μ 0 1 G r , ξ h 4 ξ d ξ + 1 μ 0 1 G r , ξ v 4 ξ d ξ 2 = sup r 0 , 1 2 μ 0 1 G r , ξ h 4 ξ v 4 ξ d ξ 2 = sup r 0 , 1 2 μ 0 1 G r , ξ h 2 ξ + v 2 ξ h ξ v ξ h ξ + v ξ d ξ 2 = sup r 0 , 1 2 μ h 2 ξ + v 2 ξ h ξ v ξ h ξ + v ξ 0 1 G r , ξ d ξ 2 sup r 0 , 1 2 + μ h 2 ξ + v 2 ξ h ξ v ξ h ξ + v ξ 0 1 G r , ξ d ξ 2 sup r 0 , 1 2 + μ h 2 ξ + v 2 ξ h ξ v ξ h ξ + v ξ 0 t ξ ( 1 r ) d ξ + t 1 r 1 ξ d ξ 2 = 1 16 sup r 0 , 1 2 + μ h 2 ξ + v 2 ξ h ξ v ξ h ξ + v ξ 2 = 1 16 sup r 0 , 1 2 + μ h 2 ξ + v 2 ξ h ξ v ξ h ξ + v ξ 2 .
Then, by using Conditions (27) and (28), we obtain
sup r 0 , 1 J h ( r ) + J v ( r ) 2 = 1 16 sup r 0 , 1 2 + K h ξ + v ξ 2 1 16 sup r 0 , 1 8 h ξ + v ξ 2 = 1 2 sup r 0 , 1 h ξ + v ξ 2 1 2 sup r 0 , 1 h ξ + v ξ 2 = 1 2 m h , v ,
hence, we obtain
m ( J h ( r ) , J v ( r ) ) 1 2 m h , v .
Now, we write the three essential functions ψ , F and φ as
F ( u , x , i ) = u + x + i , for all u , x , i [ 0 , ) , ψ p = p 2 ,
for all p [ 0 , ) , where ψ Ψ and
φ ( v ) = 0 for all v W .
Hence, the above inequality can be written as
F m J v , J w , φ J v , φ J w ψ F m v , w , φ v , φ w .
Hence, J is a ( F , φ , ψ ) -contraction. Hence, all the postulates of Corollary (10) are validated. As a result, A has a unique φ -fp, and a satellite web coupling problem (26) has a unique solution. □

9. Conclusions

In this article, we have proposed a new class of noncommuting self mappings known as S-Op. Further, we have proved some common φ -fixed point results satisfying ( F , φ , ψ , Z ) -contraction, which generalized the main results in [16,17,23,34] in the sense of m-MS. We have also proved some common φ -fixed point results in the setting of p-MS. The supportive examples of obtained results to illustrate the usability are also provided. Also, we have presented some corollaries and related φ -fixed point results to prove the validity of our results. Furthermore, we also provided the common φ -fixed point theorems for ( F , φ , ψ ) -contraction to illustrate the existence of a solution to a system of integral equations, a nonlinear fractional differential equation, and an ordinary differential equation for damped forced oscillations. Additionally, the satellite web coupling problem is proved. The obtained results extend from those in [5] and also generalize the main theorem of M. Imdad et al. [26].

Author Contributions

Conceptualization, N.S. and S.F.; formal analysis, N.S.; supervision, N.S.; investigation, S.F.; writing—original draft preparation, S.F. and N.S.; writing—review and editing, N.S., M.A. and A.A. All authors have reviewed and consented to the finalized version of the manuscript for publication.

Funding

The authors extend their appreciation to Taif University, Saudi Arabia, for supporting this work through project number (TU-DSPP-2024-87).

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Banach, S. Surles operations dans ensembles abstraits et leur application aux equations integrales. Fundam. Math. 1922, 3, 51–57. [Google Scholar] [CrossRef]
  2. Goebel, K.; Kirk, W.A. Topics in Metric Fixed Point Theory; Cambridge University Press: Cambridge, UK, 1990. [Google Scholar]
  3. Abbas, M.; Shatanawi, W.; Farooq, S.; Mitrovic, Z.D. On a JH-operator pair of type (A) with applications to integral equations. J. Fixed Point Theory Appl. 2020, 22, 1–24. [Google Scholar] [CrossRef]
  4. Altun, I.; Sahin, H.; Turkoglu, D. Fixed point results for multivalued mappings of Feng-Liu type on M-metric spaces. J. Nonlinear Funct. Anal. 2018, 7, 1–8. [Google Scholar] [CrossRef]
  5. Saleh, H.N.; Imdad, M.; Karapinar, E. A study of common fixed points that belong to zeros of a certain given function with appications. Nonlinear Anal. Model. Control 2021, 26, 781–800. [Google Scholar] [CrossRef]
  6. Zölzer, U. DAFX: Digital Audio Effects; John Wiley & Sons: Hoboken, NJ, USA, 2002; 554p. [Google Scholar]
  7. Bouabdelli, M. Some results related to common fixed point of four maps in f-metric spaces. SEES 2024, 5, 1–23. [Google Scholar] [CrossRef]
  8. Sessa, S. On a weak commutativity condition of mappings in fixed point consideration. Publ. Inst. Math. 1982, 32, 149–153. [Google Scholar]
  9. Jungck, G.; Rhoades, B.E. Fixed point theorems for occasionally weakly compatible mappings. Fixed Point Theory 2006, 7, 287–296. [Google Scholar]
  10. Jungck, G. Commuting mappings and fixed points. Am. Math. Mon. 1976, 83, 261–263. [Google Scholar] [CrossRef]
  11. Ahmad, J.; Shoaib, A.; Ayoob, I.; Mlaiki, N. Common fixed points for (κGm)-contractions with applications. AIMS Math. 2024, 9, 15949–15965. [Google Scholar] [CrossRef]
  12. Jungck, G. Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9, 771–779. [Google Scholar] [CrossRef]
  13. Jleli, M.; Samet, B.; Vetro, C. Fixed point theory in partial metric spaces via φ-fixed point’s concept in metric spaces. J. Inequal. Appl. 2014, 2014, 426. [Google Scholar] [CrossRef]
  14. Jungck, G.; Rhoades, B.E. Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29, 227–238. [Google Scholar]
  15. Al-Thagafi, M.A.; Shahzad, N. Generalized I-nonexpansive selfmaps and invariant approximations. Acta Math. Sin. (Engl. Ser.) 2008, 24, 867–876. [Google Scholar] [CrossRef]
  16. Pathak, H.K.; Hussain, N. Common fixed points for P-operator pair with applications. Appl. Math. Comput. 2010, 217, 3137–3143. [Google Scholar] [CrossRef]
  17. Hussain, N.; Khamsi, M.A.; Latif, A. Common fixed points for JH-operators and occasionally weakly biased pairs under relaxed conditions. Nonlinear Anal. 2011, 74, 2133–2140. [Google Scholar] [CrossRef]
  18. Neugebbauer, J.T. The role of symmetry and concavity in the existence of solutions of a difference equation with Dirichlet boundary conditions. Int. J. Differ. Equ. 2020, 15, 483–491. [Google Scholar]
  19. Saleem, N.; Agwu, I.K.; Ishtiaq, U.; RadenoviĀ, S. Strong Convergence Theorems for a Finite Family of Enriched Strictly Pseudocontractive Mappings and ΦT-Enriched Lipschitizian Mappings Using a New Modified Mixed-Type Ishikawa Iteration Scheme with Error. Symmetry 2022, 14, 1032. [Google Scholar] [CrossRef]
  20. Sain, D. Birkhoff-James orthogonality of linear operators on finite dimensional Banach spaces. J. Math. Anal. Appl. 2017, 447, 860–866. [Google Scholar] [CrossRef]
  21. Matthews, S.G. Partial metric topology. N. Y. Acad. Sci. 1994, 728, 183–197. [Google Scholar] [CrossRef]
  22. Karapinar, E.; Asadi, M.; Salimi, P. New extension of p-metric spaces with fixed points results on M-metric spaces. J. Inequal. Appl. 2014, 2014, 18. [Google Scholar]
  23. Deepmala; Pathak, H.K. Common fixed point theorems for PD-operator pairs under relaxed conditions with applications. J. Comput. Appl. Math. 2013, 239, 103–113. [Google Scholar]
  24. Patle, P.R.; Patel, D.K.; Aydi, H.; Gopal, D.; Mlaiki, N. Nadler and Kannan type set valued mappings in M-metric spaces and an application. Mathematics 2019, 7, 373. [Google Scholar] [CrossRef]
  25. Rus, I.A. Generalized Contractions and Applications; Cluj University Press: Clui-Napoca, Romania, 2001. [Google Scholar]
  26. Imdad, M.; Khan, A.R.; Saleh, H.N.; Alfaqih, W.M. Some φ-Fixed Point Results for (F,φ,α-ψ)-Contractive Type Mappings with Applications. Mathematics 2019, 7, 122. [Google Scholar] [CrossRef]
  27. Karapınara, E.; Sametb, B.; Shahi, P. On common fixed points that belong to the zero set of a certain function. J. Nonlinear Sci. Appl. 2017, 10, 3447–3455. [Google Scholar] [CrossRef]
  28. Baleanu, D.; Rezapour, S.; Mohammadi, H. Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 2013, 371, 20120144. [Google Scholar] [CrossRef] [PubMed]
  29. Kanwal, T.; Hussain, A.; Baghani, H.; de la Sen, M. New fixed point theorems in orthogonal F-metric spaces with application to fractional differential equation. Symmetry 2020, 12, 832. [Google Scholar] [CrossRef]
  30. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  31. Budhia, L.; Aydi, H.; Ansari, A.H.; Gopal, D. Some new fixed point results in rectangular metric spaces with an application to fractional-order functional differential equations. Nonlinear Anal. Control. 2020, 25, 580–597. [Google Scholar] [CrossRef]
  32. Shoaib, M.; Sarwar, M.; Abdeljawad, T. Hybrid fixed point theorem with applications to forced damped oscillations and infinite systems of fractional order differential equations. J. Funct. 2020, 2020, 4843908. [Google Scholar] [CrossRef]
  33. Stakgold, I.; Hoist, M. Green’s Functions and Boundary Value Problems; John Wiley & Sons: Hoboken, NJ, USA, 2011. [Google Scholar]
  34. Gupta, V.; Shatanawi, W.; Mani, N. Fixed point theorems for (ψ,β)-Geraghty contraction type maps in ordered metric spaces and some applications to integral and ordinary differential equations. J. Fixed Point Theory And Appl. 2017, 19, 1251–1267. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Farooq, S.; Saleem, N.; Aphane, M.; Althobaiti, A. Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces. Symmetry 2025, 17, 254. https://doi.org/10.3390/sym17020254

AMA Style

Farooq S, Saleem N, Aphane M, Althobaiti A. Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces. Symmetry. 2025; 17(2):254. https://doi.org/10.3390/sym17020254

Chicago/Turabian Style

Farooq, Sadia, Naeem Saleem, Maggie Aphane, and Ali Althobaiti. 2025. "Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces" Symmetry 17, no. 2: 254. https://doi.org/10.3390/sym17020254

APA Style

Farooq, S., Saleem, N., Aphane, M., & Althobaiti, A. (2025). Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces. Symmetry, 17(2), 254. https://doi.org/10.3390/sym17020254

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