All articles published by MDPI are made immediately available worldwide under an open access license. No special
permission is required to reuse all or part of the article published by MDPI, including figures and tables. For
articles published under an open access Creative Common CC BY license, any part of the article may be reused without
permission provided that the original article is clearly cited. For more information, please refer to
https://www.mdpi.com/openaccess.
Feature papers represent the most advanced research with significant potential for high impact in the field. A Feature
Paper should be a substantial original Article that involves several techniques or approaches, provides an outlook for
future research directions and describes possible research applications.
Feature papers are submitted upon individual invitation or recommendation by the scientific editors and must receive
positive feedback from the reviewers.
Editor’s Choice articles are based on recommendations by the scientific editors of MDPI journals from around the world.
Editors select a small number of articles recently published in the journal that they believe will be particularly
interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the
most exciting work published in the various research areas of the journal.
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 -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.
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 with a self-mapping a point is called a fixed point of J if A point is called a coincidence point (for short, CP) [9] of J and L, where if and only if . If a point exists, such that , then a point is referred as a point of coincidence [9]. On the other hand, a point is considered as a common fixed point (for short, Cfp) [10] of J and L if and only if 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 -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 , and is a given function, then is said to be a point of -coincidence of J and L if and only if and A point is called a common -fixed point of J and L if and only if and
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 -operator pair (for short, -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 -operator pair (for short, -Op), which is distinct from P-Op and -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 in the definition of the metric with the inequality for all . 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 in the definition of p-MS with because may become 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, -Op, P-Op and -Op as proper subclasses, as illustrated in remarks and examples. For this new class, we establish some common -fixed point results satisfying -contraction in the context of m-MS 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, and 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.
Notation1.
The following notations are essential in the sequel:
1
-fp fixed point;
2
-Poc = point of -coincidence;
3
-Cfp = common -fixed point;
4
the set of all the points at which J and L coincide;
5
the set of all CPs;
6
represents the collection of fixed points of
7
;
8
9
10
In 1976, Jungck [10] proposed the notion of Cmaps and proved Cfpt for such mappings in the framework of MS, defined as follows.
Definition1
([10]).Suppose is a MS, and J and L are self mappings on then a pair is said to be Cmaps if and only if
In 1982, Sessa [8] generalized Cmaps by calling self mappings J and L of a MS a weakly commuting pair, defined as follows.
Definition2
([8]).Suppose is a MS, and J and L are self mappings on then a pair is said to be W-Cmaps if and only if
Remark1.
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.
Definition3
([12]).Suppose is a MS, and J and L are self mappings on then a pair is said to be Comp-maps if and only if
If is a sequence in then for some
Remark2.
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.
Definition4
([14]).Suppose is a MS, and J and L are self mappings on then a pair is said to be WComp-map if and only if
Remark3.
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.
Definition5
([9]).Suppose is a MS, and J and L are self mappings on then a pair is said to be OWComp-maps if and only if
Remark4.
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 Op, defined as follows.
Definition6
([16]).Suppose is a MS, and J and L are self mappings on then a pair is said to be P-Op if and only if there is a point , such that and
Remark5.
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 , 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 -Op, defined as follows.
Definition7
([17]).Suppose is a MS, and J and L are self mappings on then a pair is said to be -Op if and only if there is a point in , such that
Remark6.
If J and L are -Op, then they are not OWComp-maps and not WComp-maps.
H.K. Pathak and Deepmala [23] defined -Op of single valued mappings and proved Cfpt for this class of mappings under relaxed conditions.
Definition8
([23]).Suppose is a MS, and J and L are self mappings on then a pair is said to be -Op if there is a point , such that and
Remark7.
Every pair of Cmaps, nontrivial WComp-maps and nontrivial OWComp-maps are Op. In addition, -Op is a weaker form of W-Cmaps and Comp-maps, but the reverse implication is invalid. -Op is not the same as P-Op or -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:
Definition9
([21]).Let W The mapping is a partial metric on W if each of the following conditions are satisfied for all , :
(1)
(2)
(3)
(4)
Then the pair is known as a p-MS.
It follows from (1) and (2) that if 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:
Definition10
([22]).Let W The mapping is a m-metric on W if each of the following conditions are satisfied for all , :
(m1)
(m2)
(m3)
(m4)
Then the pair is known as MS.
Lemma1
([22]).Every ρ-metric is a m-metric, but the converse does not hold in general.
Definition11
([22]).Let be a m-MS and there exists a sequence in Then:
(1)
A sequence is m-convergent that converges to if and only if as . In this particular case, we can write
(2)
A sequence is an m-Cauchy sequence if and only if
exist and are finite.
(3)
An m-MS is called m-complete if every m-Cauchy sequence in W converges with respect to ( topology induced by m ) to a point , such that
In [13], the idea of -contraction mapping was introduced and the existence of the fixed point was studied for such mappings.
Definition14
([13]).Let be a complete MS and A mapping is said to be a contraction mapping if there exist and , such that
Definition15
([3]).Let J and L be self mappings on a nonempty set W, such that with Let sequence such that
Then, the sequence with initial point is known as the 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 MS. Then we use this conclusion to derive the Cfp of a pair of mappings, where J is a -contraction with respect to L.
We now provide the definition of an S-operator pair, defined as follows.
Definition16.
Let be a MS, and J and L are self mappings on The pair is known as an Operator pair (for short, Op) if and only if there exists a point in , such that
Example2.
Let and define by . Define by and Since and Clearly, is Op.
Remark10.
Every pair of Cmaps, nontrivial WComp-maps and nontrivial OWComp-maps are S-Op, but the reverse implications do not always hold true.
Example3.
Let and define by . Define by and . Since and Clearly, is Op, Op, Op and Op, but not Cmaps, not WComp-map and not OWComp-map.
Remark11.
Every S-Op is -Op but every -Op, P-Op and -Op are not S-Op.
We take into consideration the following example for this.
Example4.
Let be endowed with the Euclidean metric. Define by
and
Since and . Clearly, the pair is -Op, P-Op and -Op, but not S-Op.
Example5.
Let and defined by Define by
Note that and and . Clearly the pair is S-Op, but not Cmaps, not WComp-map and not OWComp-map. Also note that the pair is neither P-Op nor -Op.
Now, we will provide the notion of the -generalized contraction for the pair of mappings J and L in the setting of m-MS as follows.
Definition17.
Let be a m-MS, and . A mapping J is known as a -contraction with respect to L, if there is a lower semicontinuous function , such that
where
for all and .
By taking in (1), we obtain the following definition.
Definition18.
Let be a m-MS, and . A mapping J is known as a -contraction with respect to L, if there is a lower semicontinuous function , such that
Now, we are ready to state and prove our main result.
Theorem1.
Let be a m-complete m-MS and with . Suppose that one of the subspaces and is closed in W and the pair is a S-Op. Then J and L has a unique φ-Cfp provided that J is a -contraction with respect to L.
Proof.
Suppose that As we obtain a sequence by with initial point Suppose that for some Then implies that is a CP. For any put and in condition (1) to obtain
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 with a -contraction.
Corollary1.
Let be a complete m-MS, and with . Let us assume that one of the subspaces and is closed in where is a S-Op and φ is a lower semicontinuous function. If J is a -contraction with respect to then J and L has a unique φ-Cfp.
Proof.
Theorem (1) yields the result that follows by choosing , and the remaining proof follows under the same lines. □
Also, we obtain the following common -fixed point result of WComp-map with -contraction.
Corollary2.
Let be a complete m-MS, and with . Let us assume that one of the subspaces and is closed in where is a WComp-map and φ is a lower semicontinuous function. If J is a -contraction with respect to then J and L has a unique φ-Cfp.
To support Corollary (1), we provide the following example.
Example6.
Let and be defined by
Then is an m-MS. Define a mapping as:
and
Note that Define functions , and by
Now we will show that J is a -contraction with respect to Let then
Note that and Then is a S-Op. Therefore, all the requirements of Corollary (1) are satisfied. Furthermore, 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.
Corollary3.
Let be a complete p-MS, and with . Let us assume that one of the subspaces and is closed in where is a S-Op and φ is a lower semicontinuous function. If J is a -contraction with respect to 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. □
Corollary4.
Let be a complete p-MS, and with . Let us assume that one of the subspaces and is closed in where is a S-Op and φ is a lower semicontinuous function. If J is a -contraction with respect to 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. □
Corollary5.
Let be a complete p-MS, and with . Let us assume that one of the subspaces and is closed in where is a WComp-map and φ is a lower semicontinuous function. If J is a -contraction with respect to then J and L has a unique φ-Cfp.
We present the following example in order to bolster Corollary (4).
Example7.
Let . Define the mapping by
Then is a p-MS. Define a mapping as:
and
Note that Define functions , and by
Now we will show that J is a -contraction with respect to Let then
Note that , and . Then the pair is a Op. Therefore, all the requirements of Corollary (4) are satisfied. Furthermore, 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.
Corollary6.
Let be a complete MS, and with . Let us assume that one of the subspaces and is closed in where is a S-Op and φ is a lower semicontinuous function. If J is a -contraction with respect to 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. □
Corollary7.
Let be a complete MS, and with . Let us assume that one of the subspaces and is closed in where is a S-Op and φ is a lower semicontinuous function. If J is a -contraction with respect to 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. □
Corollary8.
Let be a complete MS, and with . Let us assume that one of the subspaces and is closed in where is a WComp-map and φ is a lower semicontinuous function. If J is a -contraction with respect to then J and L has a unique φ-Cfp.
Remark12.
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 , the identity mapping on W, in Theorem (1), we conclude the following definitions and corollaries, which seem to be new to the existing literature.
Definition19.
Let be a m-MS. A mapping J is known as a -contraction if there is a lower semicontinuous function , such that
where
for all , and .
Definition20.
Let be a m-MS. A mapping J is known as a -contraction if there is a lower semicontinuous function , such that
for all , and .
Corollary9.
Let be a m-complete m-MS and , . Then J has a unique φ-fp provided that J is a -contraction.
Proof.
By putting and using Definition (19) in Theorem (1), we immediately deduce the result. □
Corollary10.
Let be a m-complete m-MS and , . Then J has a unique φ-fp provided that J is a -contraction.
Proof.
By taking 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.
Corollary11.
Let be a complete p-MS and , . Then J has a unique φ-fp provided that J is a -contraction.
Proof.
We deduce the result from Corollary (9) since an m-MS is a generalization of p-MS. □
Corollary12.
Let be a complete p-MS and , . Then J has a unique φ-fp provided that J is a -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.
Corollary13.
Let be a complete MS and , . Then J has a unique φ-fp provided that J is a -contraction.
Proof.
We deduce the result from Corollary (9) and Corollary (11) since m-MS and p-MS are a generalization of MS. □
Corollary14.
Let be a complete MS and , . Then J has a unique φ-fp provided that J is a -contraction.
Proof.
We deduce the result from Corollaries (10) and (12) since m-MS and p-MS are a generalization of MS. □
Remark13.
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):
where and are given functions. Let denote the set of all real valued continuous functions defined on For an arbitrary define that is
Then is an m-complete MS.
Now we are equipped to state and prove our result as follows:
Theorem2.
Take into consideration the system of Equations (17) and (18). Assume that the following conditions are satisfied:
(1)
and f are continuous functions.
(2)
are two mappings defined by
with property that for some
(3)
For all and we have
Then there exists a unique common solution for the system of integral Equations (17) and (18).
Proof.
For all and we have
which on taking supremum leads to
Now, we write the three essential functions and as
for all where and
Hence, the above inequality can be written as
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 -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 , this fractional derivative form is provided as
where stands for the real number’s integer part (see [28,29]). Furthermore, the order fractional integral of Riemann–Liouville is denoted by
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
The Caputo fractional derivative of order is represented as and is a continuous function. Let the set of all real valued continuous functions defined on be represented by the symbol . Define for an arbitrary , that is
Then is an m-complete m-MS. The expression for the nonlinear fractional Equation (21) is
A function 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.
Theorem3.
Assume that the following conditions are satisfied:
(i)
is sequentially continuous.
(ii)
There exists a continuous function such that
for all and for all , such that and a constant P with a constant K relate with such that
Then, nonlinear fractional differential Equation (21) has a common solution as a φ-Cfp
Proof.
Let us define by
Now we will show that J is a -contraction with respect to By condition (ii), we have
So, we obtain
which on taking supremum leads to
Since we have
Now, we write the three essential functions and as
for all , where and
Hence, the above inequality can be written as
Hence, J is a -contraction with respect to Since all the criteria of Corollary (1) are satisfied, there exists , a -Cfp of J and 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 was examined by Shoib et al. [32]. At time r, the object’s position is It experiences a force due to spring
Moreover, a damping force that resists the object’s movement is shown:
Now, by the second law of motion
where 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 is applied to the object. Then, by the second law given by Newton,
where Let For forced damped oscillation, the green function is defined as
where can be expressed using 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.
Theorem4.
Assume that the following conditions are satisfied:
(i)
There exists a continuous function such that
for , and
(ii)
There exists a function such that
Then, problem (25) has a φ-Cfp which is a solution of (24).
Now, we write the three essential functions and as
for all , where and
Hence, the above inequality can be written as
Hence, J is a -contraction with respect to Since all the criteria of Corollary (1) are satisfied, there exists , a -Cfp of J and 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:
where denotes the temperature of radiation at any point 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
Let be a set of Riemann integrable functions on . Define for an arbitrary , that is
Clearly, is a complete m-metric space.
Theorem5.
Let be a self mapping in a complete m-metric space, satisfying
and
Then, the satellite web coupling boundary value problem (26) has a unique φ-fp.
Proof.
Define a self mapping by
A solution to the satellite web coupling problem (26) is clearly a fixed point of a self map A. Consider , for all and (25), we have
Then, by using Conditions (27) and (28), we obtain
hence, we obtain
Now, we write the three essential functions and as
for all , where and
Hence, the above inequality can be written as
Hence, J is a -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 -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 -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
Banach, S. Surles operations dans ensembles abstraits et leur application aux equations integrales. Fundam. Math.1922, 3, 51–57. [Google Scholar] [CrossRef]
Goebel, K.; Kirk, W.A. Topics in Metric Fixed Point Theory; Cambridge University Press: Cambridge, UK, 1990. [Google Scholar]
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]
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]
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. Control2021, 26, 781–800. [Google Scholar] [CrossRef]
Zölzer, U. DAFX: Digital Audio Effects; John Wiley & Sons: Hoboken, NJ, USA, 2002; 554p. [Google Scholar]
Bouabdelli, M. Some results related to common fixed point of four maps in f-metric spaces. SEES2024, 5, 1–23. [Google Scholar] [CrossRef]
Sessa, S. On a weak commutativity condition of mappings in fixed point consideration. Publ. Inst. Math.1982, 32, 149–153. [Google Scholar]
Jungck, G.; Rhoades, B.E. Fixed point theorems for occasionally weakly compatible mappings. Fixed Point Theory2006, 7, 287–296. [Google Scholar]
Jungck, G. Commuting mappings and fixed points. Am. Math. Mon.1976, 83, 261–263. [Google Scholar] [CrossRef]
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]
Jungck, G. Compatible mappings and common fixed points. Int. J. Math. Math. Sci.1986, 9, 771–779. [Google Scholar] [CrossRef]
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]
Jungck, G.; Rhoades, B.E. Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math.1998, 29, 227–238. [Google Scholar]
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]
Pathak, H.K.; Hussain, N. Common fixed points for P-operator pair with applications. Appl. Math. Comput.2010, 217, 3137–3143. [Google Scholar] [CrossRef]
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]
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]
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. Symmetry2022, 14, 1032. [Google Scholar] [CrossRef]
Sain, D. Birkhoff-James orthogonality of linear operators on finite dimensional Banach spaces. J. Math. Anal. Appl.2017, 447, 860–866. [Google Scholar] [CrossRef]
Matthews, S.G. Partial metric topology. N. Y. Acad. Sci.1994, 728, 183–197. [Google Scholar] [CrossRef]
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]
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]
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. Mathematics2019, 7, 373. [Google Scholar] [CrossRef]
Rus, I.A. Generalized Contractions and Applications; Cluj University Press: Clui-Napoca, Romania, 2001. [Google Scholar]
Imdad, M.; Khan, A.R.; Saleh, H.N.; Alfaqih, W.M. Some φ-Fixed Point Results for (F,φ,α-ψ)-Contractive Type Mappings with Applications. Mathematics2019, 7, 122. [Google Scholar] [CrossRef]
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]
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]
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. Symmetry2020, 12, 832. [Google Scholar] [CrossRef]
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
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]
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]
Stakgold, I.; Hoist, M. Green’s Functions and Boundary Value Problems; John Wiley & Sons: Hoboken, NJ, USA, 2011. [Google Scholar]
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.
Farooq, S.; Saleem, N.; Aphane, M.; Althobaiti, A.
Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces. Symmetry2025, 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
No
No
Article Access Statistics
For more information on the journal statistics, click here.
Multiple requests from the same IP address are counted as one view.
Farooq, S.; Saleem, N.; Aphane, M.; Althobaiti, A.
Common φ-Fixed Point Results for S-Operator Pair in Symmetric M-Metric Spaces. Symmetry2025, 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.