Next Article in Journal
MedMAE: A Self-Supervised Backbone for Medical Imaging Tasks
Previous Article in Journal
A Machine Learning-Based Computational Methodology for Predicting Acute Respiratory Infections Using Social Media Data
Previous Article in Special Issue
FPGA Implementation of Synergetic Controller-Based MPPT Algorithm for a Standalone PV System
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Subsequential Continuity in Neutrosophic Metric Space with Applications

1
Department of Mathematics, MMEC, Maharishi Markandeshwar (Deemed to be University), Mullana, Ambala 133207, Haryana, India
2
Department of Mathematical Sciences and Computing, Walter Sisulu University, Mthatha 5117, South Africa
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Computation 2025, 13(4), 87; https://doi.org/10.3390/computation13040087
Submission received: 27 December 2024 / Revised: 22 January 2025 / Accepted: 20 March 2025 / Published: 25 March 2025
(This article belongs to the Special Issue Nonlinear System Modelling and Control)

Abstract

:
This paper introduces two concepts, subcompatibility and subsequential continuity, which are, respectively, weaker than the existing concepts of occasionally weak compatibility and reciprocal continuity. These concepts are studied within the framework of neutrosophic metric spaces. Using these ideas, a common fixed point theorem is developed for a system involving four maps. Furthermore, the results are applied to solve the Volterra integral equation, demonstrating the practical use of these findings in neutrosophic metric spaces.

1. Introduction

Zadeh introduced FSs in 1965 [1], and the concept of FMSs has been extensively explored by numerous researchers through various approaches. Kramosil and Michalek initially introduced FMS in 1975 [2], laying the foundation for further developments. Later, in 1994, George and Veeramani refined this concept by introducing significant modifications and investigating the Hausdorff topology for these spaces [3]. Over the years, researchers have expanded on these ideas, introducing statistical FMS, fuzzy pseudo metric spaces, and other related notions [2,4,5,6]. Various studies have contributed to the advancement of fuzzy metric concepts, drawing from different perspectives [5,7,8,9,10,11].
Several researchers, including [2,12,13,14,15,16,17,18,19], have contributed to the study of commuting mappings and FPTs for compatible and subcompatible maps in FMSs [20,21]. These theorems serve as a significant extension and generalization of various FPTs originally formulated for contractive-type mappings in metric spaces and similar structures. Furthermore, the work of [22] was instrumental in introducing the concept of type ( β ) compatibility within FMS. Their research established links between compatible maps and those classified under types ( α ) and ( β ) , while also formulating a series of FPTs specifically tailored for type ( β ) compatible maps in FMS.
Grabiec [19], in 1988, expanded the classical FPTs initially proposed by Banach and later refined by Edelstein in 1962 [23], extending their applicability to FMS as outlined by the definitions provided by Kramosil and Michalek.
In 1983, Krassimir Atanassov [24,25] introduced the concept of IFSs as an extension of Lotfi Zadeh’s FS theory, broadening the conventional understanding of set structures. Later, in 2004, Park [26] extended FMSs, originally formulated by George and Veeramani in 1994 [3], by proposing IFM-spaces. This development provided a natural progression in the field, linking these spaces to existing results in metric spaces (MS) [24,25,26,27].
Further advancements followed in 2006 when Gregori et al. [28] analyzed the convergence of topologies induced by fuzzy metrics and IFM. Expanding on this, Saadati et al. [29] gave the idea of modified IFMSs. After that Saadati, Sedghi, and Shobe [29] refined the IFMS framework of Park’s work [26] and the foundational ideas of George and Veeramani [3], leading to the development of modified IFMSs. Numerous researchers have since explored various aspects of IFMS, employing diverse methodologies [30,31]. Several other researchers [32] have explored additional fixed point results within the context of NMSs.
A major advancement in this field came with Smarandache’s work in 1999, which introduced the concept of measuring dilemmas while also generalizing existing mathematical structures that represent imprecision. Many researchers have contributed to the development of neutrosophic theory, including those who formulated neutrosophic logic [33] and the Dombi neutrosophic graph [34]. Ongoing research continues to expand the notion of NSs and their wide-ranging applications.
In neutrosophic set theory, each event is characterized by three key components: truthfulness (T), indeterminacy (I), and falsity (F), as originally introduced by Smarandache in 2003. NMSs further extend these ideas by utilizing continuous triangular norms (CTN) and continuous triangular conorms (CTC) to facilitate their study and application. In the present paper, Section 2 presents the idea of NS, and NMS [35] is then defined with the help of CTC and CTN. Additionally, a definition of Cauchy sequences in NMS is provided.
Moving to Section 3, some definitions and examples of weakly commuting, compatible mappings, as well as occasionally weakly compatible, subsequentially continuous, and subcompatible mappings in NMS, are introduced. In Section 4, FPT is established by using subsequentially continuous and subcompatible mappings in NMS. Section 5 focuses on illustrating the practical applications of the results, presenting examples to validate the findings. Section 6 provides the conclusion of the study. Lastly, the abbreviations and references used in the paper are given.

2. Preliminaries

In this section, some preliminaries are given that will be used later on.
Definition 1
([7]). A CTN is a binary operator : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] if satisfies the following criteria:
For p , l , f , t [ 0 , 1 ] ,
1. 
is continuous,
2. 
if p f and l t , then p l f t ,
3. 
p 1 = p , and
4. 
is associative and commutative.
Example 1
([7]). (i) ι ν = ι ν (ii) ι ν = m i n ( ι , ν ) ι , ν [ 0 , 1 ] .
Definition 2
([7]). A CTC is a binary operator : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] if satisfies the following criteria:
For p , l , f , t [ 0 , 1 ] ,
1. 
is continuous,
2. 
If p f and l t , then p l f t ,
3. 
p 0 = p ,
4. 
is associative and commutative.
Example 2
([7]). (i) g h = g + h g h (ii) g h = m a x ( g , h ) for all g , h [ 0 , 1 ]
Definition 3
([35]). Let A be an arbitrary set. Then = < l , P ( l ) , Q ( l ) , R ( l ) > : l A is an NS such that : A × A × R + [ 0 , 1 ] . Let be a CTN and let be the CTC. Then ( A , , , ) is NMS if the following criteria are satisfied. ∀ l , m , v A ,
1. 
0 P ( l , m , t ) 1 , 0 Q ( l , m , t ) 1 , 0 R ( l , m , t ) 1 , for all t R + ,
2. 
P ( l , m , t ) + Q ( l , m , t ) + R ( l , m , t ) 3 , (for t R + ),
3. 
P ( l , m , t ) = 1 (for t > 0 ) iff l = m ,
4. 
P ( l , m , t ) = P ( m , l , t ) (for t > 0 ),
5. 
P ( l , m , t ) P ( m , v , s ) P ( l , v , t + s ) ( t , s > 0 ) ,
6. 
P ( l , m , . ) : [ 0 , ) [ 0 , 1 ] is continuous,
7. 
l i m t P ( l , m , t ) = 1 ( t > 0 ) ,
8. 
Q ( l , m , t ) = 0 (for t > 0 ) iff l = m ,
9. 
Q ( l , m , t ) = Q ( m , l , t ) (for t > 0 ),
10. 
Q ( l , m , t ) Q ( m , v , s ) Q ( l , v , t + s ) ( t , s > 0 ) ,
11. 
Q ( l , m , . ) : [ 0 , ) [ 0 , 1 ] is continuous,
12. 
l i m t Q ( l , m , t ) = 0 ( t > 0 ) ,
13. 
R ( l , m , t ) = 0 (for t > 0 ) iff l = m ,
14. 
R ( l , m , t ) = R ( m , l , t ) (for t > 0 ),
15. 
R ( l , m , t ) R ( m , v , s ) B ( l , v , t + s ) ( t , s > 0 ) ,
16. 
R ( l , m , . ) : [ 0 , ) [ 0 , 1 ] is continuous,
17. 
l i m t R ( l , m , t ) = 0 (for all t > 0 ), and
18. 
if t 0 , then P ( l , m , t ) = 0 , Q ( l , m , t ) = 1 and R ( l , m , t ) = 1 .
Thus, = ( P , Q , R ) is called neutrosophic metric (NM) on A .
The functions P ( l , m , t ) , Q ( l , m , t ) , R ( l , m , t ) denote the nearness degree, neutralness degree, and non-nearness degree between l and m with respect to t , respectively.
Definition 4
([35]). Consider an NMS ( A , , , ) . A sequence { a n } cgs a A iff, for ε > 0 and l ( 0 , 1 ) , m N such that n m
P ( a n , a , ε ) > 1 l , Q ( a n , a , ε ) < l , Q ( a n , a , ε ) < l
or alternatively,
lim n P ( a n , a m , ε ) = 1 , lim n Q ( a n , a m , ε ) = 0 , lim n Q ( a n , a m , ε ) = 0
as ε .
Definition 5
([35]). Consider an NMS ( A , , , ) . A sequence { a n } in A is termed as a Cauchy sequence, if for a given l > 0 and ε > 0 , n 0 N such that
P ( a l , a r , ε ) > 1 l , Q ( a l , a r , ε ) < l , R ( a l , a r , ε ) < l ,
for all l , r n 0 .
Definition 6
([35]). If every Cauchy sequence is convergent, then an NMS ( A , , , ) is complete.
In the next section, key definitions and illustrative examples of subcompatibility and subsequential continuity within the framework of NMS are provided. These definitions and examples serve as the groundwork for the theoretical development and will be utilized in later sections to establish fixed point results and demonstrate their applications in solving practical problems within the framework of NMS.

3. Subcompatibility and Subsequential Continuity in NMS

Definition 7.
Let ζ and υ be two maps within NMS ( A , , , ) . We define ζ and υ as weakly commuting when the following conditions holds: P ( ζ υ b , υ ζ b , ϱ ) P ( ζ b , υ b , ϱ ) , Q ( ζ υ b , υ ζ b , ϱ ) Q ( ζ b , υ b , ϱ ) , R ( ζ υ b , υ ζ b , ϱ ) R ( ζ b , υ b , ϱ ) , for all b A and ϱ > 0 .
Example 3.
Let A = R and consider the NMS ( A , , , ) , where  = ( P , Q , R ) represents the neutrosophic metric functions given as  P ( x , y , ϱ ) = ϱ 1 + | x y | , Q ( x , y , ϱ ) = | x y | 1 + | x y | , and R ( x , y , ϱ ) = 1 P ( x , y , ϱ ) Q ( x , y , ϱ ) . Define the mappings ζ , υ : A A as ζ ( b ) = b + 1 and υ ( b ) = 2 b
Now, the following conditions are verified: AS ζ υ ( b ) = ζ ( 2 b ) = 2 b + 1 and υ ζ ( b ) = υ ( b + 1 ) = 2 ( b + 1 ) = 2 b + 2 . Thus,
P ( ζ υ b , υ ζ b , ϱ ) = ϱ 1 + | ( 2 b + 1 ) ( 2 b + 2 ) | = ϱ 1 + 1 = ϱ 2 ,
and
P ( ζ b , υ b , ϱ ) = ϱ 1 + | ( b + 1 ) ( 2 b ) | = ϱ 1 + | b 1 | .
Clearly, P ( ζ υ b , υ ζ b , ϱ ) P ( ζ b , υ b , ϱ ) holds.
Q ( ζ υ b , υ ζ b , ϱ ) = | ( 2 b + 1 ) ( 2 b + 2 ) | 1 + | ( 2 b + 1 ) ( 2 b + 2 ) | = 1 2 ,
and
Q ( ζ b , υ b , ϱ ) = | ( b + 1 ) ( 2 b ) | 1 + | ( b + 1 ) ( 2 b ) | = | b 1 | 1 + | b 1 | .
Clearly, Q ( ζ υ b , υ ζ b , ϱ ) Q ( ζ b , υ b , ϱ ) holds.
Since R ( x , y , ϱ ) = 1 P ( x , y , ϱ ) Q ( x , y , ϱ ) , it can be verified that
R ( ζ υ b , υ ζ b , ϱ ) R ( ζ b , υ b , ϱ ) .
Thus, ζ and υ satisfy all the conditions.
Definition 8.
Assume an NMS ( A , , , ) . Assume ζ and υ are maps. These maps are compatible, if, for any ϱ > 0 , the following axioms are fulfilled:
lim n P ( ζ υ a n , υ ζ a n , ϱ ) = 1 , lim n Q ( ζ υ a n , υ ζ a n , ϱ ) = 0
and
lim n R ( ζ υ a n , υ ζ a n , ϱ ) = 0 ,
whenever a sequence { a n } in A such that both lim n ζ a n and lim n υ a n converge to the same point b A .
Example 4.
Assume A = R and the maps ζ ( x ) = 2 x and υ ( x ) = x 2 for x R . Consider a sequence { a n } defined by a n = 1 n . Then for ϱ > 0 ,
P ( ζ υ a n , υ ζ a n , ϱ ) 1 , Q ( ζ υ a n , υ ζ a n , ϱ ) 0 , and R ( ζ υ a n , υ ζ a n , ϱ ) 0 , as n .
Also,
lim n ζ a n = lim n 2 · 1 n = 0 , lim n υ a n = lim n 1 2 n = 0 .
Both mappings ζ a n and υ a n converge to 0. Thus, these maps are compatible in NMS.
Definition 9.
Two mappings ζ and υ of an NMS ( A , , , ) are called reciprocal continuous if ζ υ a n ζ b and υ ζ a n υ b , whenever { a n } is a sequence such that ζ a n , υ a n b for some b in A .
Example 5.
Let A = R and consider the NMS ( A , , , ) , where
= ( P , Q , R ) represents the neutrosophic metric functions given as
P ( x , y , ϱ ) = ϱ 1 + | x y | , Q ( x , y , ϱ ) = | x y | 1 + | x y | , and R ( x , y , ϱ ) = 1 P ( x , y , ϱ ) Q ( x , y , ϱ ) .
Define the mappings ζ , υ : A A as ζ ( b ) = b + 1 and υ ( b ) = 2 b
Now, let { a n } be a sequence in A such that
a n = 1 n , so that a n 0 as n .
Also,
ζ a n = a n + 1 = 1 n + 1 , υ a n = 2 a n = 2 n .
As n , both ζ a n 1 and υ a n 0 .
Now, the condition ζ a n , υ a n b is verified for some b A : Let b = 0 . For the given sequence { a n } , ζ a n b + 1 = 1 , and υ a n 2 b = 0 , which satisfies the condition.
Now,
ζ υ a n = ζ ( 2 a n ) = 2 a n + 1 = 2 n + 1 , υ ζ a n = υ ( a n + 1 ) = 2 ( a n + 1 ) = 2 n + 2 .
As n , ζ υ a n ζ b = 1 and υ ζ a n υ b = 0 .
Since both limits are consistent, ζ and υ are reciprocal continuous.
Remark 1.
When both ζ and υ are continuous, it is evident that they exhibit reciprocal continuity. However, it is important to note that this reciprocity does not guarantee continuity in return. Moreover, within the context of the typical FPT applied to a compatible pair of mappings that satisfy contractive conditions, the continuity of one of the mappings either ζ or υ implies their reciprocal continuity, but the converse is not true.
Example 6.
Let A = R , and define NMS ( A , , , ) where P ( x , y , ϱ ) = ϱ 1 + | x y | , Q ( x , y , ϱ ) = | x y | 1 + | x y | , and R ( x , y , ϱ ) = 1 P ( x , y , ϱ ) Q ( x , y , ϱ ) . Define ζ , υ : A A mappings as
ζ ( x ) = x + 1 and υ ( x ) = 2 x .
Both ζ and υ are continuous.
Since both mappings ζ and υ are continuous, they will exhibit reciprocal continuity. That is, for any sequence { a n } such that ζ a n b and υ a n b as n , we will have
ζ υ a n ζ b and υ ζ a n υ b .
For example, if a n = 1 n , then ζ a n = 1 n + 1 1 and υ a n = 2 n 0 .
Thus, we have ζ υ a n = ζ 2 n = 2 n + 1 1 and υ ζ a n = υ 1 n + 1 = 2 n + 2 2 .
Therefore, the mappings satisfy reciprocal continuity.
However, ζ and υ are continuous, and this does not guarantee that they will be reciprocal continuous in every case without additional conditions.
Thus, the continuity of ζ and υ ensures their reciprocal continuity, but reciprocal continuity does not necessarily imply continuity for these mappings.
Definition 10.
Consider an NMS ( A , , , ) . Let ζ and υ be self-maps on the set A . A point a within A is defined as a CP of ζ and υ if and only if ζ ( a ) = υ ( a ) . In such a case, the value w = ζ ( a ) = υ ( a ) is known as a coincidence point for both ζ and υ .
Definition 11.
Consider an NMS denoted as ( A , , , ) . A pair of self-mappings denoted as ( ζ , υ ) is said to be WC if it exhibits commutativity at the point of coincidence. In other words, if a point u in A such that ζ ( u ) = υ ( u ) , then ζ ( υ ( u ) ) = υ ( ζ ( u ) ) .
Example 7.
Let A = R , and define an NMS ( A , , , ) where
P ( x , y , ϱ ) = ϱ 1 + | x y | , Q ( x , y , ϱ ) = | x y | 1 + | x y | , and R ( x , y , ϱ ) = 1 P ( x , y , ϱ ) Q ( x , y , ϱ ) .
Define two mappings ζ , υ : A A as ζ ( x ) = x + 2 and υ ( x ) = x + 2 . To check if ( ζ , υ ) are weakly compatible, we need to verify if a point u A such that ζ ( u ) = υ ( u ) , and if so, whether ζ ( υ ( u ) ) = υ ( ζ ( u ) ) . Thus, to find u where ζ ( u ) = υ ( u )
ζ ( u ) = u + 2 , υ ( u ) = u + 2 .
Clearly, ζ ( u ) = υ ( u ) for all u A , because both mappings are identical.
Now commutativity can be verified at u . For any u A ,
ζ ( υ ( u ) ) = ζ ( u + 2 ) = ( u + 2 ) + 2 = u + 4 ,
and
υ ( ζ ( u ) ) = υ ( u + 2 ) = ( u + 2 ) + 2 = u + 4 .
Thus, ζ ( υ ( u ) ) = υ ( ζ ( u ) ) holds for all u A .
Since ζ ( u ) = υ ( u ) for all u A , and ζ ( υ ( u ) ) = υ ( ζ ( u ) ) for all u A , the pair ( ζ , υ ) is weakly compatible.
Thus, the mappings ζ ( x ) = x + 2 and υ ( x ) = x + 2 are weakly compatible because they satisfy the condition of commutativity at the point of coincidence. Specifically, since ζ ( u ) = υ ( u ) for all u , they exhibit commutativity at every point, satisfying the definition of weak compatibility in an NMS.
Remark 2.
Two maps that are compatible also satisfy the condition of being weakly compatible, but the reverse statement is not necessarily true.
Definition 12.
Two self-maps denoted as ζ and υ within the framework of an NMS represented as ( A , , , ) are termed occasionally weakly compatible (OWC) if a point a A that is a coincidence point for both ζ and υ, and at this point both ζ and υ exhibit commutativity.
Example 8.
Let A = R , and define an NMS ( A , , , ) , where
P ( x , y , ϱ ) = ϱ 1 + | x y | , Q ( x , y , ϱ ) = | x y | 1 + | x y | , and R ( x , y , ϱ ) = 1 P ( x , y , ϱ ) Q ( x , y , ϱ ) .
Define two mappings ζ , υ : A A as ζ ( x ) = x + 1 and υ ( x ) = x + 1 .
Now,
ζ ( a ) = a + 1 , υ ( a ) = a + 1 .
Clearly, ζ ( a ) = υ ( a ) for all a A , so every a A is a coincidence point.
Again, for any a A ,
ζ ( υ ( a ) ) = ζ ( a + 1 ) = ( a + 1 ) + 1 = a + 2 ,
and
υ ( ζ ( a ) ) = υ ( a + 1 ) = ( a + 1 ) + 1 = a + 2 .
Since ζ ( υ ( a ) ) = υ ( ζ ( a ) ) , ζ and υ exhibit commutativity at every coincidence point.
Thus, both maps are OWC.
Definition 13.
Consider an NMS ( A , , , ) , self-maps ζ and υ on the set A are defined to be subcompatible if a sequence { a n } in A such that lim n ζ a n = lim n υ a n = b , b A and satisfy lim n P ( ζ υ a n , υ ζ a n , ϱ ) = 1 , lim n Q ( ζ υ a n , υ ζ a n , ϱ ) = 0 , lim n R ( ζ υ a n , υ ζ a n , ϱ ) = 0 .
Example 9.
Consider the set A = [ 0 , 1 ] , and define the neutrosophic metric functions P , Q , R : A × A × [ 0 , ) [ 0 , 1 ] as follows:
P ( x , y , ϱ ) = 1 | x y | , Q ( x , y , ϱ ) = | x y | , R ( x , y , ϱ ) = | x y | .
Let the operations and be defined as the standard addition and multiplication on [ 0 , 1 ] modulo 1, respectively.
Define the self-maps ζ and υ on A as ζ ( x ) = x 2 and υ ( x ) = x 3 .
Now, take the sequence { a n } in A as a n = 1 n for n 1 .
Now, convergence of ζ a n and υ a n can be verified: ζ ( a n ) = 1 2 n and υ ( a n ) = 1 3 n .
As n , lim n ζ ( a n ) = 0 and lim n υ ( a n ) = 0 .
Thus, lim n ζ ( a n ) = lim n υ ( a n ) = b = 0 , where b A .
Now, subcompatibility conditions can be evaluated:
ζ υ ( a n ) = ζ 1 3 n = 1 6 n and υ ζ ( a n ) = υ 1 2 n = 1 6 n .
Thus,
lim n P ( ζ υ ( a n ) , υ ζ ( a n ) , ϱ ) = 1 1 6 n 1 6 n = 1 , lim n Q ( ζ υ ( a n ) , υ ζ ( a n ) , ϱ ) = 1 6 n 1 6 n = 0 , and lim n R ( ζ υ ( a n ) , υ ζ ( a n ) , ϱ ) = 1 6 n 1 6 n = 0 .
Thus, the maps ζ and υ satisfy the conditions for subcompatibility in the neutrosophic metric space ( A , , , ) with the given sequence { a n } .
Thus, it is evident that two occasionally weakly compatible maps are also subcompatible, but the reverse statement is not always true. The example provided below illustrates that there can be instances of subcompatible maps that do not qualify as occasionally weakly compatible (OWC).
Example 10.
Consider an MS ( A , d ) , where d is defined as d ( ϰ , ς ) = | ϰ ς | , ϰ, ς∈ A = [ 0 , ) and, for any positive value ϱ ( 0 , ) , we have the operators and defined as follows: The T N operator is denoted by with its default operation being the minimum, i.e., T N x y = min ( x , y ) , and the T C operator is denoted by with its default operation being the maximum, i.e., T C x y = max ( x , y ) . Define P ( ϰ , ς , ϱ ) = { ϱ ϱ + | ϰ ς | ϱ > 0 0 ϱ = 0 , Q ( ϰ , ς , ϱ ) = { ϰ ς ϱ + | ϰ ς | ϱ > 0 1 ϱ = 1 and R ( ϰ , ς , ϱ ) =   { | ϰ ς | ϱ ϱ > 0 0 ϱ = 0 . Clearly, ( A , , , ) is a complete NMS.
Define ζ and υ as follows: ζ ( ϰ ) = ϰ 2 and υ ( ϰ ) =   { ϰ + 2 ϰ [ 0 , 4 ] ( 9 , ) ϰ + 12 ϰ ( 4 , 9 ] .  Consider the sequence { ϰ n } in set A defined as ϰ n = 2 + 1 n for n = 1 , 2 , 3 , .
As n approaches infinity, the limits are as follows:
  • lim n ζ ϰ n = lim n υ ϰ n = 4 , so 4 is an element of set A .
  • Additionally, ζ υ ϰ n approaches 16 and υ ζ also tends to 16 as n approaches infinity.
Thus, lim n P ( ζ υ ϰ n , υ ζ ϰ n , ϱ ) = 1 , lim n Q ( ζ υ ϰ n , υ ζ ϰ n , ϱ ) = 0 and
lim n R ( ζ υ ϰ n , υ ζ ϰ n , ϱ ) = 0 .
Thus, the subcompatibility of ζ and υ is proved. However, ζ ϰ = υ ϰ if and only if ϰ = 2 and ζ υ ( 2 ) υ ζ ( 2 ) . Therefore, ζ and υ do not satisfy the OWC property.
Our next goal is to introduce the concept of subsequential continuity within the framework of NMS. This concept is more relaxed than the previously established notion of reciprocal continuity, which was firstly given by Pant [36]. A similar notion was also introduced by H. Boudhadjera [20] within the framework of MS.
Definition 14.
Let ( A , , , ) be NMS. Self-maps ζ and υ defined on the set A are called subsequentially continuous iff a sequence { a n } in A such that lim n ζ a n = lim n υ a n = b , b A and satisfy lim n ζ υ a n = ζ b , lim n υ ζ a n = υ b .
It is evident that, if both ζ and υ are continuous or reciprocally continuous, then they are subsequentially continuous. However, the subsequent example demonstrates that ∃ pairs of maps that are subsequentially continuous, but do not meet the criteria of being continuous or reciprocally continuous.
Example 11.
Consider an MS ( A , d ) , where the metric d is defined as d ( ϰ , ς ) = | ϰ ς | . For any elements ϰ and ς in A = [ 0 , ) and for any positive value ϱ ( 0 , ) , we have the operators and defined as follows:
  • T N x y = min . ( x , y ) and T C x y = max . ( x , y ) . Define P ( ϰ , ς , ϱ ) = { ϱ ϱ + | ϰ ς | ϱ > 0 0 ϱ = 0 , Q ( ϰ , ς , ϱ ) = { ϰ ς ϱ + | ϰ ς | ϱ > 0 1 ϱ = 1 and R ( ϰ , ς , ϱ ) =   { | ϰ ς | ϱ ϱ > 0 0 ϱ = 0 . Clearly, ( A , , , ) is a complete NMS.
Define ζ and υ as follows: ζ ( ϰ ) =   { 1 + ϰ ϰ [ 0 , 1 ] 2 ϰ 1 ϰ [ 1 , ) .  and υ ( ϰ ) =   { 1 ϰ ϰ [ 0 , 1 ] 3 ϰ 2 ϰ [ 1 , ) . . Clearly ζ and υ are discontinuous at ϰ = 1 . Consider the sequence { ϰ n } in set A , defined as ϰ n = 1 n for n = 1 , 2 , 3 , .
As n approaches infinity, the limits are as follows:
  • lim n ζ ϰ n = lim n υ ϰ n = 1 , so 1 is an element of set A .
  • Additionally, ζ υ ϰ n approaches 2 (which is ζ ( 1 ) ) and υ ζ also tends to 1 (which is υ ( 1 ) ) as n approaches infinity.
Therefore, ζ and υ exhibit subsequential continuity.
Now, consider the sequence { ϰ n } in set A defined as ϰ n = 1 + 1 n for n = 1 , 2 , 3 , . . . . In this case, as n approaches infinity for the sequence { ϰ n } in set A , defined as ϰ n = 1 + 1 n for n = 1 , 2 , 3 , :
lim n ζ ϰ n = lim n υ ϰ n = 1 , so 1 is an element of set A . However, ζ υ ϰ n approaches 1 (which is ζ ( 1 ) ), not 2.
As a result, when n approaches infinity, ζ and υ do not exhibit reciprocal continuity as ζ υ ϰ n does not converge to ζ ( 1 ) .
Lemma 1.
Consider the sequence { u n } within the NMS ( A , , , ) . If a constant k in the open interval ( 0 , 1 ) such that
P ( u n , u n + 1 , k ϱ ) P ( u n 1 , u n , ϱ ) , Q ( u n , u n + 1 , k ϱ ) Q ( u n 1 , u n , ϱ )
and
R ( u n , u n + 1 , k ϱ ) R ( u n 1 , u n , ϱ ) ,
ϱ > 0 and n = 1 , 2 , 3 . . . . Then { u n } is a Cauchy sequence in A .
Proof. 
Consider the following conditions: P ( u n , u n + 1 , k ϱ ) P ( u n 1 , u n , ϱ ) , Q ( u n , u n + 1 , k ϱ ) Q ( u n 1 , u n , ϱ ) , and R ( u n , u n + 1 , k ϱ ) R ( u n 1 , u n , ϱ ) .
These imply that
{ P ( u n , u n + 1 , k ϱ ) } is a non-decreasing sequence bounded above by 1, and
{ Q ( u n , u n + 1 , k ϱ ) } and { R ( u n , u n + 1 , k ϱ ) } are non-increasing sequences bounded below by 0.
By the monotone convergence theorem,
P ( u n , u n + 1 , k ϱ ) l P , Q ( u n , u n + 1 , k ϱ ) l Q , R ( u n , u n + 1 , k ϱ ) l R ,
where l P [ 0 , 1 ] , l Q [ 0 , 1 ] , and l R [ 0 , 1 ] .
Additionally, for m > n , using the properties of the neutrosophic metric, we have
P ( u m , u n , ϱ ) P ( u m 1 , u m , k m n ϱ ) ,
Q ( u m , u n , ϱ ) Q ( u m 1 , u m , k m n ϱ ) ,
R ( u m , u n , ϱ ) R ( u m 1 , u m , k m n ϱ ) .
P ( u m 1 , u m , k m n ϱ ) l P , Q ( u m 1 , u m , k m n ϱ ) l Q , R ( u m 1 , u m , k m n ϱ ) l R ,
as m , n .
Additionally, for ϵ > 0 , N is chosen such that, for all m , n N ,
P ( u m 1 , u m , k m n ϱ ) > 1 ϵ , Q ( u m 1 , u m , k m n ϱ ) < ϵ , R ( u m 1 , u m , k m n ϱ ) < ϵ .
By the triangle inequality,
P ( u m , u n , ϱ ) 1 , Q ( u m , u n , ϱ ) 0 , R ( u m , u n , ϱ ) 0 .
Thus, { u n } is a Cauchy sequence in A . □
Lemma 2.
Consider the NMS denoted as ( A , , , ) . For all elements a and b belonging to A as well as for any positive number ϱ, if a constant k in ( 0 , 1 ) , such that
P ( a , b , k ϱ ) P ( a , b , ϱ ) , Q ( a , b , k ϱ ) Q ( a , b , ϱ ) , R ( a , b , k ϱ ) R ( a , b , ϱ ) ,
then a = b .
Proof. 
If P ( a , b , k ϱ ) P ( a , b , ϱ ) , Q ( a , b , k ϱ ) Q ( a , b , ϱ ) and R ( a , b , k ϱ ) R ( a , b , ϱ ) for all t > 0 and some constant 0 < k < 1 , then
P ( a , b , s ) P a , b , s k P a , b , s k 2 P a , b , s k n ,
Q ( a , b , s ) Q a , b , s k Q a , b , s k 2 Q a , b , s k n
and
R ( a , b , s ) R a , b , s k R a , b , s k 2 R a , b , s k n
for all s > 0 and a , b A . Letting n , we have P ( a , b , s ) = 1 , Q ( a , b , s ) = 0 , and R ( a , b , s ) = 0 , so
a = b .
Now, we move forward to formulate the main theorem by leveraging the concepts of subcompatible and subsequentially continuous maps. These definitions, introduced earlier, form the basis for deriving significant fixed point results in NMS.

4. Result and Discussion

Theorem 1.
Consider four self-maps ζ , ψ , υ and τ of NMS ( A , , , ) with continuous TN and continuous TC defined by ϱ ϱ ϱ and ( 1 ϱ ) ( 1 ϱ ) ( 1 ϱ ) ϱ [ 0 , 1 ] . If the pairs ( ζ , υ ) and ( ψ , τ ) are both compatible and subsequentially continuous, then the following holds:
1. 
ζ and υ possess a CP.
2. 
ψ and τ possess a CP.
3. 
Let a , b A , with k ( 0 , 1 ) and ϱ > 0 ,
P ( ζ a , ψ b , k ϱ ) P ( υ a , τ b , ϱ ) P ( ζ a , υ a , ϱ ) P ( ψ b , τ b , ϱ ) P ( ψ b , υ a , 2 ϱ ) P ( ζ a , τ b , ϱ ) , Q ( ζ a , ψ b , k ϱ ) Q ( υ a , τ b , ϱ ) Q ( ζ a , υ a , ϱ ) Q ( ψ b , τ b , ϱ ) Q ( ψ b , υ a , 2 ϱ ) Q ( ζ a , τ b , ϱ ) , R ( ζ a , ψ b , k ϱ ) R ( υ a , τ b , ϱ ) R ( ζ a , υ a , ϱ ) R ( ψ b , τ b , ϱ ) R ( ψ b , υ a , 2 ϱ ) R ( ζ a , τ b , ϱ ) .
Thus, ζ , ψ , τ and υ have a unique CFP.
Proof. 
Given that ( ζ , υ ) and ( ψ , τ ) are both subcompatible and subsequentially continuous, it follows that there are two sequences denoted as { a n } and { b n } within the set A such that
lim n ζ a n = lim n υ a n = c , c A , which satisfies
lim n P ( ζ υ a n , υ ζ a n , ϱ ) = P ( ζ c , υ c , ϱ ) = 1 , lim n Q ( ζ υ a n , υ ζ a n , ϱ ) = Q ( ζ c , υ c , ϱ ) = 0
and
lim n R ( ζ υ a n , υ ζ a n , ϱ ) = R ( ζ c , υ c , ϱ ) = 0 .
Additionally, lim n ψ b n = lim n τ b n = c , c A , which satisfies
lim n P ( ψ τ b n , τ ψ b n , ϱ ) = P ( ψ c , τ c , ϱ ) = 1 , lim n Q ( ψ τ b n , τ ψ b n , ϱ ) = Q ( ψ c , τ c , ϱ ) = 0
and
lim n R ( ψ τ b n , τ ψ b n , ϱ ) = R ( ψ c , τ c , ϱ ) = 0 .
Therefore, ζ c = υ c and ψ c = τ c , i.e., c is a CP of ζ and υ and c is a CP of ψ and τ .
Now, we will prove that c = c . By condition (3), we have taken a = a n and b = b n ,
P ( ζ a n , ψ b n , k ϱ ) P ( υ a n , τ b n , ϱ ) P ( ζ a n , υ a n , ϱ ) P ( ψ b n , τ b n , ϱ ) P ( ψ b n , υ a n , 2 ϱ ) P ( ζ a n , τ b n , ϱ ) , Q ( ζ a n , ψ b n , k ϱ ) Q ( υ a n , τ b n , ϱ ) Q ( ζ a n , υ a n , ϱ ) Q ( ψ b n , τ b n , ϱ ) Q ( ψ b n , υ a n , 2 ϱ ) Q ( ζ a n , τ b n , ϱ )
and
R ( ζ a n , ψ b n , k ϱ ) R ( υ a n , τ b n , ϱ ) R ( ζ a n , υ a n , ϱ ) R ( ψ b n , τ b n , ϱ ) R ( ψ b n , υ a n , 2 ϱ ) R ( ζ a n , τ b n , ϱ ) .
Assuming the limit is n , we have
P ( c , c , k ϱ ) P ( c , c , ϱ ) P ( c , c , ϱ ) P ( c , c , ϱ ) P ( c , c , 2 ϱ ) P ( c , c , ϱ ) , Q ( c , c , k ϱ ) Q ( c , c , ϱ ) Q ( c , c , ϱ ) Q ( c , c , ϱ ) Q ( c , c , 2 ϱ ) Q ( c , c , ϱ )
and
R ( c , c , k ϱ ) R ( c , c , ϱ ) R ( c , c , ϱ ) R ( c , c , ϱ ) R ( c , c , 2 ϱ ) R ( c , c , ϱ ) .
P ( c , c , k ϱ ) P ( c , c , ϱ ) , Q ( c , c , k ϱ ) Q ( c , c , ϱ )
and
R ( c , c , k ϱ ) R ( c , c , ϱ ) .
By Lemma 2, we have c = c .
Furthermore, we will prove that ζ c = c . To establish this claim, we utilize inequality (3) by selecting a = c and b = b n . This gives
P ( ζ c , ψ b n , k ϱ ) P ( υ c , τ b n , ϱ ) P ( ζ c , υ c , ϱ ) P ( ψ b n , τ b n , ϱ ) P ( ψ b n , υ c , 2 ϱ ) P ( ζ c , τ b n , ϱ ) , Q ( ζ c , ψ b n , k ϱ ) Q ( υ c , τ b n , ϱ ) Q ( ζ c , υ c , ϱ ) Q ( ψ b n , τ b n , ϱ ) Q ( ψ b n , υ c , 2 ϱ ) Q ( ζ c , τ b n , ϱ )
and
R ( ζ c , ψ b n , k ϱ ) R ( υ c , τ b n , ϱ ) R ( ζ c , υ c , ϱ ) R ( ψ b n , τ b n , ϱ ) R ( ψ b n , υ c , 2 ϱ ) R ( ζ c , τ b n , ϱ ) .
Assuming the limit is n , one can obtain
P ( ζ c , c , k ϱ ) P ( ζ c , c , ϱ ) P ( ζ c , ζ c , ϱ ) P ( c , c , ϱ ) P ( c , ζ c , 2 ϱ ) P ( ζ c , c , ϱ ) , Q ( ζ c , c , k ϱ ) Q ( ζ c , c , ϱ ) Q ( ζ c , ζ c , ϱ ) Q ( c , c , ϱ ) Q ( c , ζ c , 2 ϱ ) Q ( ζ c , c , ϱ )
and
R ( ζ c , c , k ϱ ) R ( ζ c , c , ϱ ) R ( ζ c , ζ c , ϱ ) R ( c , c , ϱ ) R ( c , ζ c , 2 ϱ ) R ( ζ c , c , ϱ ) .
P ( ζ c , c , k ϱ ) P ( ζ c , c , ϱ ) , Q ( ζ c , c , k ϱ ) Q ( ζ c , c , ϱ ) ,
and
R ( ζ c , c , k ϱ ) R ( ζ c , c , ϱ ) .
By Lemma 2, we have ζ c = c = c .
Again, we claim that ψ c = c . By inequality (3) of Theorem 1, assuming a = c and b = c , we obtain
P ( ζ c , ψ c , k ϱ ) P ( υ c , τ c , ϱ ) P ( ζ c , υ c , ϱ ) P ( ψ c , τ c , ϱ ) P ( ψ c , υ c , 2 ϱ ) P ( ζ c , τ c , ϱ ) , Q ( ζ c , ψ c , k ϱ ) Q ( υ c , τ c , ϱ ) Q ( ζ c , υ c , ϱ ) Q ( ψ c , τ c , ϱ ) Q ( ψ c , υ c , 2 ϱ ) Q ( ζ c , τ c , ϱ )
and
R ( ζ c , ψ c , k ϱ ) R ( υ c , τ c , ϱ ) R ( ζ c , υ c , ϱ ) R ( ψ c , τ c , ϱ ) R ( ψ c , υ c , 2 ϱ ) R ( ζ c , τ c , ϱ ) .
P ( c , ψ c , k ϱ ) P ( c , ψ c , ϱ ) P ( ζ c , ζ c , ϱ ) P ( ψ c , ψ c , ϱ ) P ( ψ c , c , 2 ϱ ) P ( c , ψ c , ϱ ) , Q ( c , ψ c , k ϱ ) Q ( c , ψ c , ϱ ) Q ( ζ c , ζ c , ϱ ) Q ( ψ c , ψ c , ϱ ) Q ( ψ c , c , 2 ϱ ) Q ( c , ψ c , ϱ )
and
R ( c , ψ c , k ϱ ) R ( c , ψ c , ϱ ) R ( ζ c , ζ c , ϱ ) R ( ψ c , ψ c , ϱ ) R ( ψ c , c , 2 ϱ ) R ( c , ψ c , ϱ ) .
By Lemma 2, we have c = ψ c = τ c .
Therefore, c = ζ c = ψ c = υ c = τ c ; i.e., c is a common FP of ζ , ψ , υ and τ .
Uniqueness: Now suppose ∃ another FP w of ζ , ψ , υ and τ .
Under condition (3) of Theorem 1, if we set a = c and b = w , we obtain,
P ( ζ c , ψ w , k ϱ ) P ( υ c , τ w , ϱ ) P ( ζ c , υ c , ϱ ) P ( ψ w , τ w , ϱ ) P ( ψ w , υ c , 2 ϱ ) P ( ζ c , τ w , ϱ ) , Q ( ζ c , ψ w , k ϱ ) Q ( υ c , τ w , ϱ ) Q ( ζ c , υ c , ϱ ) Q ( ψ w , τ w , ϱ ) Q ( ψ w , υ c , 2 ϱ ) Q ( ζ c , τ w , ϱ )
and
R ( ζ c , ψ w , k ϱ ) R ( υ c , τ w , ϱ ) R ( ζ c , υ c , ϱ ) R ( ψ w , τ w , ϱ ) R ( ψ w , υ c , 2 ϱ ) R ( ζ c , τ w , ϱ ) .
P ( c , w , k ϱ ) P ( c , w , ϱ ) , Q ( c , w , k ϱ ) Q ( c , w , ϱ )
and
R ( c , w , k ϱ ) R ( c , w , ϱ ) .
Therefore, in accordance with Lemma 2, it can be concluded that c = w .
When we substitute υ = τ in the above theorem, the following result emerges. □
Corollary 1.
Let us consider three self-maps ζ , ψ , and υ of NMS ( A , , , ) with continuous TN and continuous TC defined by ϱ ϱ ϱ and ( 1 ϱ ) ( 1 ϱ ) ( 1 ϱ ) ϱ [ 0 , 1 ] . If the pairs ( ζ , υ ) and ( ψ , υ ) are compatible and subsequentially continuous, then
1. 
ζ and υ have a CP, and
2. 
ψ and υ have a CP.
3. 
Further, let a , b A , k ( 0 , 1 ) , ϱ > 0 ,
P ( ζ a , ψ b , k ϱ ) P ( υ a , υ b , ϱ ) P ( ζ a , υ a , ϱ ) P ( ψ b , υ b , ϱ ) P ( ψ b , υ a , 2 ϱ ) P ( ζ a , υ b , ϱ ) , Q ( ζ a , ψ b , k ϱ ) Q ( υ a , υ b , ϱ ) Q ( ζ a , υ a , ϱ ) Q ( ψ b , υ b , ϱ ) Q ( ψ b , υ a , 2 ϱ ) Q ( ζ a , υ b , ϱ )
and
R ( ζ a , ψ b , k ϱ ) R ( υ a , υ b , ϱ ) R ( ζ a , υ a , ϱ ) R ( ψ b , υ b , ϱ ) R ( ψ b , υ a , 2 ϱ ) R ( ζ a , υ b , ϱ ) .
Then, ζ , ψ and υ have a unique common FP.
Proof. 
The proof is the same as in the above theorem. If υ = τ , the desired result will be obtained. □
Remark 3.
We can also establish the validity of this theorem by substituting subsequential continuity of the pairs with reciprocal continuity of the pairs.
Remark 4.
The conclusions of the previously mentioned theorems remain valid when we replace compatibility with subcompatibility and subsequential continuity with reciprocal continuity while maintaining all other hypotheses unchanged.

5. Application

Let us take an example of volterra I.E and apply FPT to find the solution.
Consider the following I.E, which is a Volterra I.E of the first kind:
u ( z ) = z + ϱ 0 z e ( z ϖ ) u ( ϖ ) d ϖ ,
where • u ( z ) is the unknown function,
  • ϱ is a given constant and
  • 0 z 1 .
We want to prove that this I.E has a unique solution on the interval [ 0 , 1 ] .
Step 1: 
Define the Operator:
We define an operator M as follows:
M ( u ) ( z ) = z + ϱ 0 z e ( z ϖ ) u ( ϖ ) d ϖ .
To prove that M is continuous, we will show that, if a sequence of functions { u n } converges to some function u (pointwise or in some other suitable norm), then the sequence of transformed functions M ( u n ) converges to M ( u ) .
Let us consider a sequence of functions { u n } that converges to u pointwise:
u n ( z ) u ( z ) as n .
We will show that
M ( u n ) ( z ) M ( u ) ( z ) as n .
For this, we can break down M ( u n ) ( z ) :
M ( u n ) ( z ) = z + ϱ 0 z e ( z ϖ ) u n ( ϖ ) d ϖ .
Now, we will use the concept of dominated convergence. For this we will show that
  • u n ( ϖ ) converges pointwise to u ( ϖ ) as n for each ϖ in the interval [ 0 , z ] .
  • ∃ a dominating function g ( z ) such that | u n ( ϖ ) | g ( z ) n and ϖ in [ 0 , z ] and g ( z ) is integrable on [ 0 , z ] .
  • The dominated convergence theorem (DCT) is used to justify interchanging the limit and the integral sign in M ( u n ) ( z ) .
By the DCT, we can conclude that
M ( u n ) ( z ) M ( u ) ( z ) as n .
This establishes the subsequential continuity of the operator M when sequence of functions { u n } converges pointwise to u.
Step 2: 
Show M is a Contraction Mapping:
To apply the FPT, we have to show that M is a contraction mapping on a suitable MS. For this purpose, we can use the L norm, which measures the supremum of the absolute values of the function over the interval [ 0 , 1 ] .
Now, to prove that M is a contraction mapping, we will prove that ∃ a constant 0 k < 1 such that
| M ( u ) M ( v ) | k | u v | ,
where | u | = sup 0 z 1 | u ( z ) | is the L norm.
By analyzing | M ( u ) ( z ) M ( v ) ( z ) | , we can derive an expression involving the difference | u ( z ) v ( z ) | . By using the Mean Value Theorem for integrals, we can find a k such that the contraction condition holds.
Step 3: 
Apply the Fixed-Point Theorem:
Once we have established that M is a contraction mapping, we can apply the FPT. This theorem guarantees that ∃ a unique function u in the MS of continuous functions on [ 0 , 1 ] such that M ( u ) = u . This function u is the unique solution to the original integral equation.
This method shows that the I.E has a unique solution on the interval [ 0 , 1 ] by applying the FPT and using the concept of a contraction mapping with subcompatibility or subsequential continuity.
Implementation by taking a mathematical example
Step 1: 
Defining the Operator:
Consider the sequence of functions { u n ( z ) } = z n n for n 1 on the interval [ 0 , 1 ] . We aim to show that u n ( z ) converges pointwise to u ( z ) = 0 on [ 0 , 1 ] .
(i) Pointwise Convergence:
For any fixed z in [ 0 , 1 ] , as n approaches infinity, z n n converges to 0. Since the numerator z n grows slower than the denominator, n goes to infinity. Therefore, u n ( z ) converges pointwise to u ( z ) = 0 .
(ii) Existence of Dominating Function:
We will find a dominating function g ( z ) such that | u n ( z ) | g ( z ) for all n and z in [ 0 , 1 ] .
Since u n ( z ) = z n n and 0 z 1 , we have | u n ( z ) | 1 n for all n.
Now, choose g ( z ) = 1 . Then | u n ( z ) | 1 n 1 for all n and z in [ 0 , 1 ] . Hence, g ( z ) = 1 is a dominating function.
(iii) Dominated Convergence Theorem (DCT):
With g ( z ) = 1 , which is integrable over [ 0 , 1 ] , we can apply the DCT to justify the interchange of the limit and the integral sign.
Thus,
M ( u n ) ( z ) = z + ϱ 0 z e ( z ϖ ) u n ( ϖ ) d ϖ = z + ϱ 0 z e ( z ϖ ) ϖ n n d ϖ .
Since e ( z ϖ ) is bounded on [ 0 , 1 ] , we can replace u n ( ϖ ) with u ( ϖ ) = 0 by the DCT. Therefore, M ( u n ) ( z ) converges to M ( u ) ( z ) as n .
This establishes the subsequential continuity of the operator M when functions u n converges pointwise to u.
Step 2: 
Show M is a Contraction Mapping:
To prove that M is a contraction mapping, we need to find a constant 0 k < 1 such that for any two functions u ( z ) and v ( z ) in the function space, the operator M satisfies the contraction condition:
| M ( u ) M ( v ) | k | u v | ,
where | f | = sup z [ 0 , 1 ] | f ( z ) | represents the supremum norm over the interval [ 0 , 1 ] .
Let M ( u ) and M ( v ) be
M ( u ) ( z ) = z + ϱ 0 z e ( z ϖ ) u ( ϖ ) d ϖ .
M ( v ) ( z ) = z + ϱ 0 z e ( z ϖ ) v ( ϖ ) d ϖ .
Thus, the difference M ( u ) ( z ) M ( v ) ( z ) is
M ( u ) ( z ) M ( v ) ( z ) = ϱ 0 z e ( z ϖ ) ( u ( ϖ ) v ( ϖ ) ) d ϖ .
Now, | M ( u ) M ( v ) | is
| M ( u ) M ( v ) | = sup z [ 0 , 1 ] | M ( u ) ( z ) M ( v ) ( z ) |
= sup z [ 0 , 1 ] ϱ 0 z e ( z ϖ ) ( u ( ϖ ) v ( ϖ ) ) d ϖ .
Substituting the expression for M ( u ) ( z ) M ( v ) ( z ) ,
| M ( u ) M ( v ) | = sup z [ 0 , 1 ] ϱ 0 z e ( z ϖ ) ( u ( ϖ ) v ( ϖ ) ) d ϖ .
The absolute value of the integral can be bounded by the integral of the absolute value:
| M ( u ) M ( v ) | sup z [ 0 , 1 ] ϱ 0 z e ( z ϖ ) | u ( ϖ ) v ( ϖ ) | d ϖ .
Since e ( z ϖ ) 1 for all z , ϖ [ 0 , 1 ] , we have
| M ( u ) M ( v ) | sup z [ 0 , 1 ] ϱ 0 z | u ( ϖ ) v ( ϖ ) | d ϖ .
By the definition of the supremum norm,
| u ( ϖ ) v ( ϖ ) | | u v | , ϖ [ 0 , 1 ] .
Thus,
| M ( u ) M ( v ) | sup z [ 0 , 1 ] ϱ 0 z | u v | d ϖ .
Since | u v | is independent of ϖ , it can be factored out:
| M ( u ) M ( v ) | ϱ | u v | sup z [ 0 , 1 ] 0 z 1 d ϖ .
Simplifying the integral 0 z 1 d ϖ = z , it follows that
| M ( u ) M ( v ) | ϱ | u v | sup z [ 0 , 1 ] z .
Since z 1 for z [ 0 , 1 ] , we get
| M ( u ) M ( v ) | ϱ | u v | .
If ϱ < 1 , we can set k = ϱ , where 0 k < 1 . Thus, M satisfies the contraction condition:
| M ( u ) M ( v ) | k | u v | .
Step 3: 
Apply the Fixed-Point Theorem:
The Fixed-Point Theorem states:
If Y is a complete metric space and M : Y Y is a contraction mapping with contraction constant k < 1 , then M has a unique FP u * in Y such that M ( u * ) = u * .
Here, Y is the space of continuous functions equipped with the supremum norm | f | over the interval [ 0 , 1 ] , and M : Y Y is the operator defined as
M ( u ) ( z ) = z + ϱ 0 z e ( z ϖ ) u ( ϖ ) d ϖ .
We have already shown that M is a contraction mapping with contraction constant k = ϱ , which satisfies 0 ϱ < 1 .
Now, as M is a contraction mapping on a complete MS, ∃ a unique FP u * such that M ( u * ) = u * . In other words, ∃ a unique function u ( z ) satisfying the I.E:
u ( z ) = z + ϱ 0 z e ( z ϖ ) u ( ϖ ) d ϖ .
To find the solution, let u 0 ( z ) = 0 by the Picard iteration method. Find u 1 ( z ) :
u n + 1 ( z ) = z + ϱ 0 z e ( z ϖ ) u n ( ϖ ) d ϖ
Since u 0 ( z ) = 0 , the integral term becomes zero, and we have
u 1 ( z ) = z + ϱ 0 z e ( z ϖ ) · 0 d ϖ
u 1 ( z ) = z
Therefore, u 1 ( z ) = z is the first approximation in the Picard iteration method when the initial guess is u 0 ( z ) = 0 .
To find u 2 ( z ) , the second approximation in the Picard iteration method, we use u 1 ( z ) = z obtained from the previous iteration as the input function in the iteration formula:
u n + 1 ( z ) = z + ϱ 0 z e ( z ϖ ) u n ( ϖ ) d ϖ
u 2 ( z ) = z + ϱ 0 z e ( z ϖ ) · ϖ d ϖ
We will compute this integral to find u 2 ( z ) :
u 2 ( z ) = z + ϱ 1 e z ϖ · ϖ | 0 z + 0 z 1 e z ϖ · 1 d ϖ
u 2 ( z ) = z + ϱ 1 e z z · z + 0 z 1 e z ϖ d ϖ
u 2 ( z ) = z + ϱ z 1 + 1 e z ϖ | 0 z
u 2 ( z ) = z + ϱ z + 1 1 e z
u 2 ( z ) = ( 1 ϱ ) z + ϱ ϱ 1 e z
Therefore, u 2 ( z ) = ( 1 ϱ ) z + ϱ ϱ 1 e z . This is the second approximation in the Picard iteration method.
By using the boundary conditions, we can calculate the u ( z ) , which is the unique solution to the I.E on [ 0 , 1 ] .
Therefore, by applying the FPT, we have established the existence and uniqueness of the solution to the I.E. This completes the proof that the given Volterra I.E has a unique solution on the interval [ 0 , 1 ] .
Now we are giving an example in decision theory.
Example 12.
Application in Decision Theory:
In decision-making problems involving uncertainty, neutrosophic metric spaces (NMSs) provide a robust framework to evaluate alternatives by considering degrees of membership (T), non-membership (F), and indeterminacy (I). This framework is particularly useful in situations where the available information is incomplete, inconsistent, or vague, such as selecting suppliers for a sustainable supply chain.
For example, a company needs to choose the best supplier from four candidates ( S 1 , S 2 , S 3 , S 4 ) based on three criteria:
1. 
cost efficiency (f),
2. 
delivery time (g), and
3. 
environmental sustainability (h).
Each supplier’s performance on these criteria is evaluated in the neutrosophic metric space, where
  • T represents the degree of membership (e.g., how well a supplier meets the criterion),
  • F represents the degree of non-membership (e.g., how poorly a supplier performs), and
  • I represents the degree of indeterminacy (e.g., uncertainty or ambiguity in the evaluation).
The overall performance of a supplier is mapped using k, which combines the three criteria into a single score.
Now, the mappings f (cost efficiency) and g (delivery time) are subcompatible if their evaluations align sufficiently, meaning there is no strong contradiction between their outputs. For example, if a supplier scores high on cost efficiency (f) but moderately on delivery time (g), their neutrosophic evaluations should overlap in a way that allows meaningful aggregation into k (overall performance). Subcompatibility ensures that combining f, g, and h into k results in a coherent overall evaluation. Again, if a sequence of evaluations for a supplier (e.g., periodic assessments over time) converges to a certain neutrosophic value under mappings f and g, then k should reflect this consistency; i.e., gradual changes in criterion evaluations should lead to gradual changes in the overall performance k, avoiding abrupt or discontinuous shifts.
Numerical Example
Consider supplier S 1 evaluated as follows:
  • f ( S 1 ) = ( 0.8 , 0.1 , 0.1 ) for cost efficiency,
  • g ( S 1 ) = ( 0.7 , 0.2 , 0.1 ) for delivery time, and
  • h ( S 1 ) = ( 0.6 , 0.2 , 0.2 ) for environmental sustainability.
The overall performance k ( S 1 ) is calculated as
k ( S 1 ) = max { f ( S 1 ) , g ( S 1 ) , h ( S 1 ) } .
Using the component-wise maximum,
k ( S 1 ) = ( max ( 0.8 , 0.7 , 0.6 ) , max ( 0.1 , 0.2 , 0.2 ) , max ( 0.1 , 0.1 , 0.2 ) ) ,
k ( S 1 ) = ( 0.8 , 0.2 , 0.2 ) .
Here,
  • T = 0.8 : the supplier S 1 has a high overall membership degree;
  • F = 0.2 : there is a moderate degree of non-membership;
  • I = 0.2 : some indeterminacy exists in the evaluation.
Now, subcompatibility and sequential continuity are used:
1. 
Subcompatibility:  f ( S 1 ) and g ( S 1 ) are subcompatible if their neutrosophic evaluations do not strongly contradict each other. For example, f ( S 1 ) = ( 0.8 , 0.1 , 0.1 ) and g ( S 1 ) = ( 0.7 , 0.2 , 0.1 ) align well because their T, F, and I values are close and compatible.
2. 
Sequential Continuity: If the evaluations of f ( S 1 ) , g ( S 1 ) , and h ( S 1 ) change gradually over time (e.g., f ( S 1 ) ( 0.85 , 0.05 , 0.1 ) ), then k ( S 1 ) should also change gradually, ensuring that the overall performance mapping remains consistent.
Thus, in NMSs, the decision-making process accounts for uncertainty and inconsistency in supplier evaluations. Subcompatibility ensures the coherent aggregation of criteria into overall performance, while sequential continuity maintains consistency in evaluations over time, making NMS an effective tool for solving complex, uncertain problems such as supplier selection.

6. Conclusions

Within this study, some innovative concepts, such as specific subcompatibility and subsequential continuity, are presented. They offer a less restrictive framework compared to OWC and reciprocal continuity within the context of NMS. Leveraging these concepts, a common fixed point theorem applicable to four mappings is formulated. Our findings are further extended within the NMS framework. To showcase the practical relevance of this study, illustrative examples were provided to validate the new results and demonstrate their applicability in integral equations.

Author Contributions

N.G.: writing—review, conceptualization, formal analysis, writing—original draft and editing, data curation, validation, software, visualization, and investigation. V.G.: conceptualization, supervision, writing—original draft and editing, methodology, project administration, and investigation. R.S.: writing—original draft and editing and validation. All the authors contributed equally to the preparation of this paper. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by Directorate of Research and Innovation, Walter Sisulu University, South Africa.

Informed Consent Statement

All authors provide consent for the publication of identifiable details, including those within the text (“Material”), in this journal. This article does not involve any studies with human participants or animals conducted by any of the authors, so informed consent is not required.

Data Availability Statement

My manuscript has no associated data. The code used in this study is accessible from the corresponding author upon request.

Acknowledgments

The authors express their gratitude to all the reviewers for their valuable feedback, which greatly contributed to enhancing the completeness and significance of our paper.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

MSMetric space
CMCompatible Maps
FPFixed Point
FPTFixed point theorem
FMSFuzzy metric space
IFSIntuitionistic fuzzy set
NSNeutrosophic set
NMSNeutrosophic metric space
CTNContinous triangular norm
CTCContinous triangular conorm
IFMIntuitionistic fuzzy metric
IFMSIntuitionistic fuzzy metric space
CPCoincidence point
OWCOccasionally weakly compatible
I.EIntegral Equation
DCT  Dominatyed Convergence Theorem

References

  1. Zadeh, L.A. Fuzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar]
  2. Kramosil, I.; Michalek, J. Fuzzy metric and statistical spaces. Kibernetica 1975, 11, 326–334. [Google Scholar]
  3. George, A.; Veeramani, P. On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64, 395–399. [Google Scholar]
  4. Deng, Z.-K. Fuzzy pseudo-metric spaces. J. Math. Anal. Appl. 1982, 86, 74–95. [Google Scholar]
  5. Kaleva, O.; Seikkala, S. On fuzzy metric spaces. Fuzzy Sets Syst. 1984, 12, 225–229. [Google Scholar]
  6. Bandyopadhyay, T.; Samanta, S.K.; Das, P. Fuzzy metric spaces redefined and a fixed point theorem. Bull. Cal. Math. Soc. 1989, 81, 247–252. [Google Scholar]
  7. Menger, K.M. Statistical metrics. Proc. Natl. Acad. Sci. USA 1942, 28, 535–537. [Google Scholar]
  8. Gupta, V.; Gondhi, A.; Shukla, R. Fixed Point Results in Modified Intuitionistic Fuzzy Soft Metric Spaces with Application. Mathematics 2024, 12, 1154. [Google Scholar] [CrossRef]
  9. Shukla, S.; Dubey, N.; Shukla, R.; Meznik, I. Coincidence point of Edelstein type mappings in fuzzy metric spaces and application to the stability of dynamic markets. Axioms 2023, 12, 854. [Google Scholar] [CrossRef]
  10. Mani, N.; Pingale, M.; Shukla, R.; Pathak, R. Fixed point theorems in fuzzy b-metric spaces using two different t-norms. Adv. Fixed Point Theory 2023, 13, 29. [Google Scholar]
  11. Shukla, S.; Rai, S.; Shukla, R. Some Fixed Point Theorems for α-Admissible Mappings in Complex-Valued Fuzzy Metric Spaces. Symmetry 2023, 15, 1797. [Google Scholar] [CrossRef]
  12. Jungck, G. Commuting maps and fixed points. Am. Math. 1976, 83, 261–263. [Google Scholar]
  13. Jungck, G. Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9, 771–779. [Google Scholar]
  14. Jungck, G.; Murthy, P.P.; Cho, Y.J. Compatible mapping of type (a) and common fixed points. Math. Jpn. 1993, 38, 381–390. [Google Scholar]
  15. Jungck, G.; Rhoades, B.E. Some fixed point theorems for compatible maps. Int. J. Math. Math. Sci. 1993, 3, 417–428. [Google Scholar]
  16. Pathak, H.K.; Cho, Y.J.; Kang, J.M.; Madharia, B. Compatible mappings of type (c) and common fixed point theorems of gregus type. Demonstr. Math. 1998, 31, 499–518. [Google Scholar]
  17. Sharma, S.; Deshp, E.B. Common fixed points of compatible maps of type (β) on fuzzy metric spaces. Demonstr. Math. 2002, 35, 165–174. [Google Scholar]
  18. Mishra, S.N.; Sharma, N.; Singh, S.L. Common fixed points of maps on fuzzy metric spaces. Int. J. Math. Math. Sci. 1994, 17, 253–258. [Google Scholar]
  19. Grabiec, M. Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27, 385–389. [Google Scholar] [CrossRef]
  20. Bouhadjera, H.; Godet-Thobie, C. Common fixed theorems for pairs of sub compatible maps. arXiv 2009, arXiv:0906.3159v1. [Google Scholar]
  21. Manro, S.; Bouhadjera, H.; Singh, S. A common fixed point theorem in intuitionistic fuzzy metric space by using subcompatible maps. Int. J. Contemp. Math. Sci. 2010, 5, 2699–2707. [Google Scholar]
  22. Cho, Y.J.; Pathak, H.K.; Kang, S.M.; Jung, J.S. Common fixed points of compatible maps of type (β) on fuzzy metric spaces. Fuzzy Sets Syst. 1998, 93, 99–111. [Google Scholar]
  23. Edelstein, M. On fixed and periodic points under contractive mappings. J. London Math. Soc. 1962, 37, 74–79. [Google Scholar]
  24. Naidu, S.V.R.; Rao, K.P.P.; Srinivasarao, N. On convergent sequences and fixed point theorems in D-metric spaces. Int. J. Math. Sci. 2005, 12, 1969–1988. [Google Scholar]
  25. Atanassov, K.; Stoeva, S. Intuitionistic fuzzy sets. In Proceedings of the Polish Symposium on Interval and Fuzzy Mathematics, Poznan, Poland, 23–26 August 1983. [Google Scholar]
  26. Park, J.H. Intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2004, 22, 1039–1046. [Google Scholar]
  27. Johnsy, J.; Jeyaraman, M.; Shukla, R.; Venkatesan, R. Exploring profit opportunities in intuitionistic fuzzy metric spaces via Edelstein type mappings. Int. J. Anal. Appl. 2024, 22, 143. [Google Scholar]
  28. Gregori, V.; Romaguera, S.; Veeramani, P. A Note on Intuitionistic Fuzzy Metric Spaces. Chaos Solitons Fractals 2006, 28, 902–905. [Google Scholar]
  29. Saadati, R.; Sedghi, S.; Shobe, N. Modified intuitionistic fuzzy metric spaces and some fixed point theorems. Chaos Solitons Fractals 2008, 38, 36–47. [Google Scholar]
  30. Miah, S.S. An in-depth exploration of intuitionistic fuzzy T0 in the context of bitopology. Notes Intuitionistic Fuzzy Sets 2024, 30, 66–76. [Google Scholar] [CrossRef]
  31. Miah, S.S.; Miah, J.; Amin, R.; Sultana, N. Intuitionistic fuzzy normal bi-topological space-approach of intuitionistic fuzzy open sets. Notes Intuitionistic Fuzzy Sets 2024, 30, 230–241. [Google Scholar] [CrossRef]
  32. Miah, S.S.; Lily, F.T.; Amin, R.; Karim, R.; Akbar, M.A. Separation axioms on fuzzy neutrosophic bitopological spaces using fuzzy neutrosophic open sets. J. Umm -Qura Univ. Appl. Sci. 2024. [Google Scholar] [CrossRef]
  33. Smarandache, F. Neutrosophic set-a generalization of the intuitionistic fuzzy set. Int. J. Pure Appl. Math. 2005, 24, 287. [Google Scholar]
  34. Lakhwani, T.S.; Mohanta, K.; Dey, A.; Mondal, S.P.; Pal, A. Some operations on Dombi neutrosophic graph. J. Ambient. Intell. Humaniz. Comput. Intell. Humaniz. Comput. 2021, 13, 425–443. [Google Scholar]
  35. Kirisci, M.; Simsek, N. Neutrosophic metric spaces. Math. Sci. 2020, 14, 241–248. [Google Scholar]
  36. Pant, R.P.; Jha, K. A remark on common fixed points of four mappings in a fuzzy metric space. J. Fuzzy Syst. 2004, 12, 433–438. [Google Scholar]
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

Gupta, V.; Garg, N.; Shukla, R. Subsequential Continuity in Neutrosophic Metric Space with Applications. Computation 2025, 13, 87. https://doi.org/10.3390/computation13040087

AMA Style

Gupta V, Garg N, Shukla R. Subsequential Continuity in Neutrosophic Metric Space with Applications. Computation. 2025; 13(4):87. https://doi.org/10.3390/computation13040087

Chicago/Turabian Style

Gupta, Vishal, Nitika Garg, and Rahul Shukla. 2025. "Subsequential Continuity in Neutrosophic Metric Space with Applications" Computation 13, no. 4: 87. https://doi.org/10.3390/computation13040087

APA Style

Gupta, V., Garg, N., & Shukla, R. (2025). Subsequential Continuity in Neutrosophic Metric Space with Applications. Computation, 13(4), 87. https://doi.org/10.3390/computation13040087

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