1. Introduction and Preliminaries
Banach’s classical contraction mapping principle asserts that, in a complete metric space , if is a contraction mapping, this implies the existence of a unique fixed point. This foundational principle has garnered substantial interest from various scholars, thereby motivating them to explore and enhance the theory of fixed points in the metric context.
In 1970, Takahashi [
1] offered models of convex structures in metric spaces that were not inserted in a Banach space, a contribution that continues to inspire ongoing research in this field. He proved the existence of fixed-point theorems if there were mappings with invariant properties.
In 2002, Branciari [
2] discovered a fixed-point theorem for a single-valued mapping that fulfills a correspondence of the Banach contraction for this inequality. One such exploration is exemplified by an illustrative graphical example in [
3], which emphasizes the practical utility of integral-type rational contractions, as well as offering one of many instances of their application.
To pursue this objective, researchers have embarked on a journey to broaden the horizons of metric fixed-point theory by exploring various abstract spaces. One notable endeavor involves the examination of modular metric spaces, an extension initially introduced by Chistyakov in [
4,
5,
6] as a generalized concept derived from modular spaces.
In 2013, Azadifar et al. [
7] established an important part of a provided fixed point of integral-type compatible mappings, as well as the uniqueness of their existence in modular metric spaces.
In 2021, the authors of [
8] developed the approach of Gupta et al. [
9] to a common fixed-point theorem for the contraction of integral types to investigate the breadth of the Banach fixed-point theorem in modular metric spaces, and this was achieved by studying the contractive conditions that contain integral types. They provided numerous theorems that illustrated the presence and singularity of a common fixed point among the self-mappings that satisfy integral variety contraction requirements. They also gave various corollaries and instances to show the validity of their results.
On the other hand, a fundamental classical best-approximation theorem attributed to Fan [
10] provides assurances regarding the existence of an element belonging to a set.
O’Regan and Shahzad [
11] examined Fan’s approximation result in a multivalued form in 2003. In 2005, Hussain et al. [
12] examined the example of non-star-shaped input values and common fixed-point findings for operators on non-star-shaped domains, as well as offering Brosowski–Meinardus-type approximation theorems as applications.
In 2021, Malih [
13] explained the best approximation concept in metric space for contractions of an integral type via several methods. The investigation of integral-type contractions, along with the approach to best proximity points, was also generalized to encompass the study of metric spaces, as exemplified in the scholarly work presented in the studies of [
14,
15].
Reich’s [
16] study involved combining the results obtained in earlier sections, thereby ultimately leading to the formulation of novel fixed-point theorems. Furthermore, he introduced a distinctive version of Fan’s [
10] fixed-point theorem by integrating the principles of approximation theory into the realm of fixed-point theory.
The authors of [
17] presented a theorem concerning proximity pairs, in which the essential conditions for verifying the presence of a specific element were outlined. Moreover, the authors established the correlations between the best approximation theorem and the theorem on proximity pairs.
Furthermore, Asadi et al., as documented in [
18], have played an instrumental role in the development of fixed-point theory within the realm of modular metric spaces. They introduced the concept of
-proximal quasi-contraction mappings and the notion of the best
-proximity point within the context of modular metric spaces. Notably, their pioneering work has not only advanced modular metric spaces, but has also paved the way for the applicability of best proximity point results in the broader context of generalized modular metric spaces.
The authors of one study formulated a generalization of the modular metric notion that can be applied to any abstract set, whereby a more dynamic and varied application of this mathematical framework was substituted [
19]. They also introduced certain important definitions that supplement and improve upon our understanding of the expanded modular metric notion. This section outlines these topics and provides comprehensive explanations of them.
Definition 1 ([
19]).
Let M be a set, and be a function with the following properties:- (U1)
If for all , then for all .
- (U2)
for all and all .
- (U3)
There exists a constant such that if and with for some , then:
Then, the pair forms a generalized modular metric space.
If there exist and in M such that and for some and , then we must have .
Let us fix
, while
(abbreviated as
U) is a generalized modular metric on
M. Consider the set
This set is known as a generalized modular set. We provide additional useful definitions below.
Definition 2 ([
19]).
Let be a generalized modular metric space. We define the following concepts:- (1)
A sequence in is called U-convergent to if and only if , as , when some .
- (2)
A sequence in is said to be U-Cauchy if for any m, and when .
- (3)
A subset A of is called U-closed if, for any from A that U-converges to ξ (where ), we denote the set of all nonempty U-closed subsets of as .
- (4)
A subset A of is called U-complete if there exists a point such that for any that forms a U-Cauchy sequence, and for some p.
The definition of -compatible mapping is as follows: if two self-mappings, such as K and L on space, exist with the property while is a sequence, and when , , then the following is the case for some when .
Theorem 1 ([
7]).
Let be a complete modular metric space, and let be . Consider the self-compatible mappings L and such that they satisfy the inclusion condition as follows:Additionally, if for some and for all and , then the following inequality holds:where is a non-negative Lebesgue integrable and summable function with for every time . Furthermore, if either K or L are continuous, there exists a unique fixed point for both mappings. In 2021, Kerim et al. [
8] proved some common fixed-point theorems in modular metric spaces, as well as providing certain examples about integral-type contractions.
Theorem 2 ([
8]).
Let be a complete modular metric space with modular metric ω and let be self-compatible mappings that satisfy for all , where and is a function with for all . Then, L and K have a unique fixed point . In the article, refers to the family of all functions such that:
- (1)
is continuous and non-decreasing;
- (2)
if and only if . is denoted to the set of all functions such that is a Lebesgue integrable function with for all , which are summable and non-negative.
Then, while is the collection of all functions, which is .
In 1976, Jungck [
20] subsequently developed a more generalized commutativity, known as compatibility, which is more broad than weak commutativity. However, in this study, we establish a new definition for generalized, modular metric space [
21].
Definition 3. Let be a metric space. Then, the self-mappings K and L are said to be compatible if whenever is a sequence in M such that for some and when .
Jungck [
20] presented a fixed-point theorem for commuting maps that generalized Banach’s principle. Various writers subsequently generalized and expanded his findings in numerous ways, whereas Sessa [
22] specified weak commutativity in metric spaces.
Definition 4 ([
22]).
Let be a metric space. Then, the self-mappings K and L are said to be weakly commuting if: for all and when . In 2002, the authors of [
23] gave the definition of the E.A. property, and they proved that if weakly-compatible self-mappings have this property, then they have common fixed points.
Definition 5 ([
23]).
Let K and L be two self-mappings of a metric space . If there exists a sequence such that for some , then K and L satisfy the E.A. property. Theorem 3 ([
23]).
Let K and L be two weakly-compatible self-mappings of a metric space such that:- (i)
K and L satisfy the E.A. property;
- (ii)
;
- (iii)
.
If or are complete subspaces of M, then K and L have a unique fixed point.
Following this, Malih [
13] revealed weakly-compatible self-mappings that satisfy the condition of integral-type contractions; in addition, it was also shown that if they satisfy as such, then they have a unique fixed point.
Theorem 4 ([
13]).
Let K and L be weakly-compatible self-mappings of a subset M of metric space satisfying the following condition: , . Or, if is complete, we have the following: for each , where is a Lebesgue-integrable function, which is non-negative and summable on each compact subset such that for each , . Then, K and L have a unique fixed point. Khan and Khan [
24] gave the following definitions:
Definition 6 ([
24]).
Let be a given metric space, be a nonempty subset, and . We define the following concepts:- (i)
The distance from ξ to V is given by .
- (ii)
If and , ξ is called a ϱ-approximation to ξ if , which is according to V.
- (iii)
The best approximation of ξ is defined as from V.
- (iv)
When is nonempty for all , V is called proximinal.
- (v)
Proximinality is defined as when is bounded and V is closed; as such, is closed.
- (vi)
If is a mapping with , then V is called a K-invariant subset of M.
Additionally, Khan and Khan [
24] also demonstrated an example of invariant approximation with the following theorem in metric spaces.
Theorem 5 ([
24]).
Let be a metric space with a non-expansive mapping, and let be a fixed point of K. If V is a closed K-invariant subset of M, and if has the restriction and this mapping is a compact mapping, then the best approximation set is not empty. In his work, Malih [
13] merged Theorem 1.4 and Theorem 1.5 from metric spaces to create what is now known as Theorem 2.2. Similarly, we undertake a comparable approach to theorems in this paper.
2. Main Results
In this section, we rigorously present and prove theorems within the framework of generalized modular metric spaces from Branciari’s perspective. Theorem 2.1, along with several subsequent theorems, was originally introduced in [
25] without accompanying proof. However, in this paper, we provide a comprehensive and rigorous proof for Theorem 2.1 and the following theorems, contributing to a deeper understanding of their underlying principles.
Theorem 6. Let be a U-complete generalized modular metric space, and let and be a Branciari contraction (BC) such that for all , Let there be a Lebesgue-integrable mapping summable (LIMS) (i.e., with a finite integral) on an all-compact subset of that is non-negative when all is . Then, K has a unique fixed point such that there is for all when all .
Proof. There is an n-times iteration of (5), as follows:
Since
, we have:
Then, we have
Thus, we select the following:
As such, there then exists
and a sequence
such that
as
and
when all
. Therefore, we have the following:
which is a contradiction.
For all and as a U-Cauchy sequence, we have the following: when all and when there is at least one . Now, we assume that there exists an such that for each there are as , which means that . Then, we assume the minimal sense of such that but for each and for the sequences and as in .
Now, we investigate the character of
and
. Primarily, we have
while
. This is according to
and (6), as well as (7), as follows:
which is as a result of the below equations:
while
, and thus there exists
, for each
. Indeed, one of them has
; thus, if there exists a subsequence
such that
, then from (1), (9), and (10) we have the following:
while we have
, and then:
If we consent to
on both sides of (12), then we have for
, which is a contradiction of
, which is where the integral is positive. Accordingly, for a fixed
, we have
when all
. Lastly, we justify the robust characteristic that there exists a
and a
such that for each
we have
, which helps estimate the existence of a subsequence
such that
as
. Then, starting with
we obtain
, which we have once more when the contradiction is such that
. Eventually, at the end of this step, we are able to show the Cauchy frame of
. Genuinely, for each
, we have the following for each
:
with which, as a result of (14)–(16), we have
Thus, while we have
, there is
, which is a contradiction. This step is proven. Now, we show the existence of a fixed point.
As
M is a
U-complete generalized modular metric space, a point of
a in
M can be established such that
a serves as a fixed point. To illustrate this, consider
. In fact, if
then:
Meanwhile,
is such that we must respectfully have both
and
converge to 0. As such, we have
while
is for the proof of (19). Now, if
does not converge when there is
, there exists a subsequence
such that
when there is a fixed
, which is as a result of the next contradiction:
while
.
Now, we show the uniqueness of the fixed point. Assume that there are two different points
such that
and
. Then, according to (1), we have the contradiction
which converges to 0. Moreover, the last stage proves that, for each
, there is
. The proof is thus complete. □
In this paper, we argue that Theorem 6 is no longer valid if we concede that the 0 value is near zero practically everywhere for the mapping ; thus, we establish this with the following example (please note that we cannot display a negative value for ):
Example 1. Let and be defined byThus, we choose , which is the U-complete generalized modular metric space as per the following: , which is for each when all and there is the .Thus, Theorem 6 is satisfied for all , but K has no fixed point. In a similar manner, if we choose , then when all and there is a , we have the following:but, again, K has no fixed points. Other results are also applicable for generalized, modular metric space [
7,
8].
Theorem 7. Let be a complete generalized modular metric space, and let and be self-compatible mappings that satisfy for some and when , then all are LIMSs with when all , which is . Also, whether K or L is continuous, then there exists a unique fixed point of both. Theorem 8. Let be a complete generalized modular metric space, and let be a self-compatible mapping that satisfiesfor all , where and are a function with ; then, we have the following for all: . As such, L and K have a unique fixed point, . In 1976, Jungck [
20] presented a fixed-point theorem for commuting maps that generalized Banach’s Principle, and many writers have generalized and expanded his findings in numerous ways. However, Sessa [
22] has defined weak commutativity in their work. Thus, we define a new version of it for generalized modular metric space as follows.
Definition 7. Let be a generalized modular metric space, and then the self-mappings K and L are said to be U-weakly commuting iffor all and . Jungck [
21] subsequently developed a more generalized commutativity, known as compatibility, which covers a broader range of conditions compared to weak commutativity. Consequently, we are now introducing a novel conceptualization of generalized modular metric spaces.
Definition 8. Let be a generalized modular metric space. Then, the self-mappings K and L are said to be U-compatible if whenever is a sequence in M such that is for some and .
Demonstrating that weakly commuting mappings are compatible is straightforward; however, it is important to note that neither implication holds in reverse.
Vijayaraju et al. [
26] examined the existence of a unique fixed-point theorem for a set of maps satisfying a generic contractive condition of the integral type. Razani and Moradi [
27] have illustrated the common fixed-point theorem within modular spaces of this category. Our work builds upon Jungck’s [
20] objectives and extends Branciari’s [
2] conclusions into the realm of generalized modular metric spaces, specifically focusing on compatible mappings. This section explores the presence of a common fixed point for
U-compatible mappings when they satisfy a contractive condition of this nature in modular metric spaces.
Vijayaraju et al. [
26] addressed common fixed-point theorem for a set of maps that satisfy a generic contractive circumstance of the integral type. The authors [
27] have demonstrated the common fixed-point theorem of this type in modular spaces. We expand and enhance Jungck’s [
20] objectives and Branciari’s [
2] conclusion in generalized modular metric space to compatible mappings. This section is dedicated to the exploration of the existence of a common fixed point among recently-introduced compatible mappings, subject to the constraints of a contractive condition of this specific nature within modular metric spaces.
Now, we give a proof of the theorem given in their work [
25].
Theorem 9 ([
25]).
Let M be a U-complete generalized modular metric space, and and be two U-compatible mappings such that ,Thus, the LIMS (i.e., with a finite integral) on the all-compact subset of is non-negative, and this is such that we have . If one of K or L is continuous, then there exists a unique fixed point of K and L.
Proof. Let
be an arbitrary point of
M and produce the sequence
such as
for each
. It is thus possible that
. This is such when
and
. As such, from (25) we have the following:
by installing this formula, we have
and by taking the limit while
, we thus take
Meanwhile, when each
, we have the following remarks:
We display
as a
U-Cauchy sequence. When all
, there exists
such that
for all
while
and
. When used in similar manner, let us assume that
and
; we then have
for all
. Now, we produce
when all
. Then,
is a
U-Cauchy sequence. Since
M is
U-complete, there exists
such that
is as
. If
K is continuous, then
and
. From the
U-compatibility of
M, we have
as
for
. In addition, when
considers that
and
, then, in the latter part, we show that
a is a common fixed point of
K and
L. From (25), it can be that:
If we take the limit
, we have:
which answers the expression that
when
. As a result of
, then, from
, there exists a point
such that
. In addition, from (25) we have
and if we take the limit while
, we have
and
Hence,
and
. Likewise, if we take
L to be continuous (in place of K), then we can show
analogously. Eventually, if we assume that
a and
b are two common fixed points of
K and
L, then
which asserts that
when
; thus, as a result, we have
. □
The next theorem is a supplementary revision of Theorem 6, which is when we take a condition such as , where is a U-closed and a U-bounded subset of M.
Theorem 10 ([
25]).
Let M be a U-complete generalized modular metric space and be a U-closed and U-bounded subset of M, , and . Thus, we have two U-compatible mappings such that , when all and . Thus, the LIMSs (i.e., with a finite integral) on the all-compact subset of is non-negative, which is such that we have the following for all: . If one of K or L is continuous, then there exists a unique fixed point of K and L. Rhoades [
28] demonstrated the existence of two fixed-point theorems for mappings that satisfy a generic contractive inequality of the integral type in the context of a version of generalized modular metric space [
25]. These results follow Branciari’s [
2] established theorem for contraction mapping:
Theorem 11 ([
25]).
Let K be a mapping from complete metric space that is into itself and satisfies for all where and for all , where for and , which are given in Theorem 6. Then, K has a unique fixed point such that for all, we have In 2004, Berinde [
29] provided a definition that serves as an inspiration for the following:
Definition 9 ([
29]).
Let be a metric space. A self operator is said to be a weak ψ-contraction or -weak contraction, provided that there exist a comparison function K and some such that for all . Definition 10. In the context of a generalized modular metric space represented as M, a mapping denoted as K qualifies as a weak contraction, or more specifically, a -weak contraction. This categorization is applicable under the condition that there exist two constants, and , which satisfy the subsequent inequality for all : In 2010, Olatinwo [
30] generalized Branciari’s conclusion using Definition 8, and they used the same approach as Berinde and Berinde [
31] in their work. We thus established the following fixed-point theorem for generalized modular metric space through Olatinwo’s step.
Definition 11. A function is called a comparison function when it captures the subsequent situations:
- (i)
If for some , then ψ is monotone increasing.
- (ii)
.
- (iii)
Definition 12. If and only if the following two properties encounter one another, then mapping Ψ is called an altering distance function.
- (i)
Ψ is continuous and non-decreasing.
- (ii)
Ψ if and only if
Here, we define the similar aspect for a generalized modular metric.
Theorem 12. Let be a complete generalized modular metric space, and let satisfy a -weak contraction of the integral type, which is defined as follows:for all , where there is and . We thus assume the following: - (i)
is a monotonically increasing function, and is a continuous comparison function.
- (ii)
The Lebesgue-integrable mapping summable (LIMS)-Stieltjes function is non-negative, and this applies when all , .
Then, K possesses a unique fixed point such that for all M, we have .
For a generalized modular metric, they provided a weak contraction theorem of a version of the integral-type [
25].
Theorem 13. Let M be a U-complete generalized modular metric space and let satisfy a -weak contraction of the integral type as defined below:for all . We thus assume the following conditions: - (i)
is a continuous comparison function.
- (ii)
ψ is continuous with , and both ψ and are monotone increasing functions.
- (iii)
The Lebesgue-integrable mapping summable (LIMS)-Stieltjes function is non-negative, and this applies when all are , . Additionally, is an increasing function.
Under these conditions, K possesses a unique fixed point such that for all , there is .
Aydi [
32] proposed the formulation and fixed-point theory for the contractive conditions of an integral type with changing distances. They [
25] used the same approach for a generalized modular metric.
Theorem 14. is subadditive on all if Theorem 15. Let M be a U-complete generalized modular metric space and such thatwhen all with non-negative real numbers such that , where are altering distances. Thus, we have: The LIMSs for is sub-additive on all of the subsets of , which are non-negative when all Then, K has a unique fixed point in M.
3. Best Approximation Results with Application
In this paper, we provide fixed-point results for a best approximation of generalized modular metric space via Malih’s angle [
13], which was based on the structure of Theorems 6 and 7.
Theorem 16. Let be a subset of generalized modular metric space M with the weakly-compatible self-mappings that satisfy , or that let be complete. As such, we obtainLIMS for and , which is a non-negative function with , which is when all . Then, K and L have a unique fixed point. An example of a better understanding of the theorem is given below:
Example 2. and and 2 for other values. In addition, when , then is for and when all . When K and L are weakly compatible, then 2 is a fixed point for all ℵ.
Theorem 17. Let M be generalized modular metric space and satisfy a fixed point ; thus, the following is satisfied: LIMS for and , which is a non-negative function with when all . If V is a closed K-invariant subset of M and , as well as a compact mapping, then the set is the best approximation, which is not empty.
Samet’s [
33] work is inspirational for this following example:
Example 3. and , which shows is not even a modular expression when and 2 are present for the other values. This applies when is for when all . When and V are a closed K-invariant subset of M, and when is a compact mapping, then the set applies.
Further extensions of our results are applicable from two to four finite self-mappings for common fixed points such as the symmetric spaces given in [
34]. For the set-valued mappings, similar outcomes are useful for optimization in other areas; these serve as guiding lights. In addition, for those who want to explore more in this field, we recommend the work of [
35]; for more work on the applications of systems of initial value problems, we recommend [
36]; regarding graphical extended metric spaces applications, we recommend [
37]; and for those seeking more on (
)-generalized contractions and their applications in matrix equations, there is the work of [
38].