Next Article in Journal
Transfer Learning of High-Dimensional Stochastic Frontier Model via Elastic Net
Previous Article in Journal
H Preview Tracking Control of Time-Delay Discrete Systems and Its Application in Nuclear Reactor Problems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A New Class of (α,η,(Q,h),L)-Contractions in Triple Controlled Metric-Type Spaces with Application to Polynomial Sine-Type Equations

Department of Mathematics and Sciences, Prince Sultan University, P.O. Box 66833, Riyadh 11586, Saudi Arabia
Axioms 2025, 14(7), 506; https://doi.org/10.3390/axioms14070506
Submission received: 6 June 2025 / Revised: 22 June 2025 / Accepted: 26 June 2025 / Published: 27 June 2025
(This article belongs to the Section Mathematical Analysis)

Abstract

This paper introduces a novel class of generalized contractions, termed ( α , η , ( Q , h ) , L ) -contraction mapping, within the context of triple controlled metric-type spaces, extending the framework of fixed point theory in controlled structures. The proposed mapping is defined using α -admissible and η -subadmissible functions, in conjunction with a control pair ( Q , h ) of upper class of type I, and incorporates Wardowski’s function L -contraction condition. Under suitable hypotheses, we establish both the existence and uniqueness of fixed points for this class of mappings. Several corollaries are derived as special cases of the main result. Moreover, we provide a nontrivial application by analyzing the solvability of a nonlinear equation involving powers of the sine function, thereby illustrating the utility of the developed theory.

1. Introduction

One of the foundational results in fixed point theory is the Banach contraction principle [1], which guarantees the existence and uniqueness of fixed points for self-contractive mappings on complete metric spaces. Since its introduction in 1922, this principle has inspired extensive research, with many generalizations aimed at relaxing the original assumptions and broadening its applicability. One major direction of development has involved generalizing the underlying space. Notably, b-metric spaces, introduced by Bakhtin [2] and refined by Czerwik [3], extend the classical metric structure. This was followed by extended b-metric spaces [4], controlled metric-type spaces [5], controlled b-Branciari metric-type spaces [6], and double controlled metric-type spaces [7,8]. To address increasingly complex systems, recent work has introduced triple controlled metric-type spaces [9,10,11], which employ three control functions to govern the generalized distance. These spaces enable the treatment of nonlinear problems with multiple interdependent constraints, opening new directions for both theory and application. Fixed point theory in such generalized frameworks has found applications across various fields. In ecology, it aids in analyzing equilibrium states in population dynamics and ecosystem models [12]. In computer science, it provides theoretical underpinnings for program semantics, static analysis, and iterative algorithms [13]. In economics, it supports core results in game theory and general equilibrium models [14]. The flexibility of controlled metric spaces makes them particularly valuable in these domains, where classical metric assumptions are often too restrictive.
Fixed point theory on generalized metric-type spaces has seen notable progress with the introduction of several contraction conditions. Among these, Wardowski’s L -contraction [15] and Samet et al.’s α -admissible mappings [16] have proven instrumental in relaxing classical assumptions. Recent works (such as [11,17]) have extended these ideas to ( α , F ) -contractions on various metric frameworks.
To control the iterative behavior in more complex settings, we incorporate a control pair ( Q , h ) from the upper class of type I, as introduced by Ansari et al. [18,19]. The use of ( Q , h ) allows for a finer regulation of the contraction dynamics, particularly in triple controlled metric-type spaces. This combination facilitates the establishment of fixed point results under broader and more flexible conditions, with potential applications in nonlinear analysis and applied mathematics.
In this work, we introduce a novel contraction mapping, denoted by ( α , η , ( Q , h ) , F )-contractions, within the framework of triple controlled metric-type spaces. These mappings incorporate the following:
  • α -admissible and η -subadmissible control functions.
  • a control pair ( Q , h ) from the upper class of type I.
  • a function-based contraction condition of Wardowski type via L -functions.
We establish both the existence and uniqueness of fixed points for these mappings and derive several corollaries as special cases of our main result. In addition, we present an example of our main result.
To demonstrate the applicability of the proposed theory, we analyze a nonlinear equation involving powers of the sin ( ξ ) function,
sin r ( ξ ) ( r 4 1 ) sin r + 1 ( ξ ) r 4 sin ( ξ ) + 1 = 0 ,
by first establishing the existence and uniqueness of a real root of an mth-degree polynomial in x. Then, as an application, we apply it to the x = s i n ( ξ ) function, thereby illustrating how our framework effectively handles analytical problems involving nonlinear trigonometric expressions.

2. Preliminaries

In 2000, Branciari [20] introduced the notion of rectangular metric spaces, also known as generalized metric spaces.
Definition 1.
The mapping d : X 2 [ 0 , ) , with X , is defined as follows:
1. 
d ( χ 1 , χ 2 ) = 0 χ 1 = χ 2 , for all χ 1 , χ 2 X ;
2. 
d ( χ 1 , χ 2 ) = d ( χ 2 , χ 1 ) , the symmetry property for all χ 1 , χ 2 X ;
3. 
d ( χ 1 , χ 2 ) d ( χ 1 , χ 3 ) + d ( χ 3 , χ 4 ) + d ( χ 4 , χ 2 ) .
The pair ( X , d ) is called a rectangular metric space.
Rectangular metric spaces have attracted considerable interest, as their topological structure is generally incompatible with that of ordinary metric spaces. This fundamental distinction has motivated numerous authors to further explore and develop the theory of such spaces [21]. The concept was subsequently extended to rectangular b-metric spaces [22,23]. More recently, in 2020, the controlled b-Branciari metric-type space was introduced [6], providing an even more flexible framework.
Definition 2.
Let X , and consider a real number s 1 . The mapping d : X 2 [ 0 , ) is defined as follows:
1. 
d ( χ 1 , χ 2 ) = 0 χ 1 = χ 2 , for all χ 1 , χ 2 X ;
2. 
d ( χ 1 , χ 2 ) = d ( χ 2 , χ 1 ) , the symmetry property for all χ 1 , χ 2 X ;
3. 
d ( χ 1 , χ 2 ) s [ d ( χ 1 , χ 3 ) + d ( χ 3 , χ 4 ) + d ( χ 4 , χ 2 ) ] ,
for all χ 1 , χ 2 X and all distinct points χ 3 , χ 4 X , each different from χ 1 , χ 2 . The structure ( X , d ) is called a rectangular b-metric space.
Definition 3.
Let X and consider β : X × X [ 1 , ) . A function d : X × X [ 0 , ) is referred to as a controlled b-Branciari type metric if it fulfills the following conditions:
1. 
d ( χ 1 , χ 2 ) = 0 χ 1 = χ 2 , for all χ 1 , χ 2 X ;
2. 
d ( χ 1 , χ 2 ) = d ( χ 2 , χ 1 ) , symmetry condition for all χ 1 , χ 2 X ;
3. 
d ( χ 1 , χ 2 ) β ( χ 1 , χ 3 ) d ( χ 1 , χ 3 ) + β ( χ 3 , χ 4 ) d ( χ 3 , χ 4 ) + β ( χ 4 , χ 2 ) d ( χ 4 , χ 2 ) .
For every pair χ 1 , χ 2 that belongs to X , and for all distinct elements χ 3 , χ 4 X , each different from χ 1 , χ 2 . The structure ( X , d ) is termed a controlled b-Branciari metric-type space.
The triple controlled metric-type space was introduced as an extension to the controlled b-Branciari metric-type space. For more information, consult [9,10,11].
Definition 4.
([9]). Consider X , let β , μ , γ : X × X [ 1 , ) be functions. A mapping ϖ : X 2 [ 0 , ) is termed as a triple controlled metric type if it satisfies the following:
(q1)
ϖ ( χ 1 , χ 2 ) = 0 if and only if χ 1 = χ 2 , for every χ 1 , χ 2 X ;
(q2)
ϖ ( χ 1 , χ 2 ) = ϖ ( χ 2 , χ 1 ) , for every χ 1 , χ 2 X ;
(q3)
ϖ ( χ 1 , χ 2 ) β ( χ 1 , χ 3 ) ϖ ( χ 1 , χ 3 ) + μ ( χ 3 , χ 4 ) ϖ ( χ 3 , χ 4 ) + γ ( χ 4 , χ 2 ) ϖ ( χ 4 , χ 2 ) .
For every χ 1 , χ 2 X and for every distinct elements χ 3 , χ 4 X , each different from χ 1 and χ 2 . The structure ( X , ϖ ) is termed a triple controlled metric-type space (it is abbreviated as TC M T S ).
Remark 1.
The relationship between these various rectangular metric-type spaces can be observed as follows: by taking s = 1 , one can see that every rectangular metric space is a rectangular b-metric-type space. Also, by taking the function β = s , we observe that every rectangular b-metric space is a controlled b-Branciari metric-type space. Moreover, by taking β = μ = γ , we conclude that every controlled b-Branciari metric-type space is a triple controlled metric-type space. The converse does not hold in any of these cases. Figure 1 below illustrates the relationship between various metric spaces.
The triple controlled metric-type space, TC M T S , is a generalization of controlled b-Branciari metric-type space, as illustrated in the example below (c.f. [9]).
Example 1.
Let A = X Y , where X = { 1 n : n N } and Y is the set of all positive integers. Define the mapping ϖ : A × A [ 0 , ) by
ϖ ( χ 1 , χ 2 ) = 0 i f f χ 1 = χ 2 , χ 1 + 10 i f χ 1 X , χ 2 { 6 , 9 } , or χ 1 { 6 , 9 } , χ 2 X , 2 otherwise .
The control functions β , μ , γ : A × A [ 1 , ) are defined as
β ( χ 1 , χ 2 ) = 1 χ 1 if χ 1 X , χ 2 Y , 1 otherwise .
μ ( χ 1 , χ 2 ) = χ 1 + χ 2 if χ 1 X , χ 2 Y , 2 otherwise ,
and
γ ( χ 1 , χ 2 ) = χ 1 + 1 if both χ 1 , χ 2 X , or χ 1 , χ 2 Y , 3 2 otherwise .
One can easily show that ϖ is a TC M T S . Note
ϖ ( 1 3 , 9 ) = 31 3 > β ( 1 3 , 4 ) ϖ ( 1 3 , 4 ) + β ( 4 , 1 ) ϖ ( 4 , 1 ) + β ( 1 , 9 ) ϖ ( 1 , 9 ) = 10 .
Thus, the TC M T S is not a controlled b-Branciari metric-type space.
The notions of convergence, Cauchy sequences, completeness, and open balls within the framework of TC M T S are presented in the following discussion.
Definition 5.
Consider the TC M T S structure ( X , ϖ ) , and assume { χ n } is any sequence in the space X .
(1) 
The operator T : X X is termed to be continuous at point χ 0 X , if for every ε > 0 , there exists t > 0 so that T ( B ( χ 0 , t ) ) B ( T χ 0 , ε ) .
(2) 
The open ball B ( χ , ε ) is described as
B ( χ , ε ) = { χ 1 X , ϖ ( χ , χ 1 ) < ε } ,
for some ε > 0 and χ X .
(3) 
A sequence { χ n } in X is termed to converge to some χ 0 in X , if for every ε > 0 , you can find some N N , so that ϖ ( χ n , χ 0 ) < ε for every n N . In this case, we write lim n χ n = χ 0 .
(4) 
The sequence { χ n } is said to be a Cauchy sequence, if for every ε > 0 , there exists some N N such that ϖ ( χ m , χ n ) < ε for every m , n N .
(5) 
The space ( X , ϖ ) is said to be a complete space if every Cauchy sequence in X is convergent.
Remark 2.
In light of the disparities between the rectangular b-metric space topology and the conventional metric space topology, an illustrative example, initially constructed in [24] and further discussed in subsequent studies [23,25], demonstrates a fundamental distinction. Unlike traditional metric spaces, where each convergent sequence has a unique limit, in b-metric spaces, sequences may converge to multiple limits. This property highlights a significant deviation from the standard sequence convergence’s behavior within metric spaces.
Example 2.
Let X = { 0 , 2 } , Y = { 1 n : n N } and consider the set W = X Y . The mapping δ : W × W [ 0 , ) is defined as
δ ( χ 1 , χ 2 ) = 0 , χ 1 = χ 2 , 1 χ 2 χ 1 , and { χ 1 , χ 2 } X or { χ 1 , χ 2 } Y , χ 2 , χ 1 X , χ 2 Y , χ 1 , χ 1 X , χ 2 Y .
Consider K ( χ 1 , χ 2 ) = δ ( χ 1 , χ 2 ) 2 , and s = 3 , then one can see that ( W , K ) is a rectangular b-metric space. Note that the sequence { 1 n } converges to two elements 0 and 2. For more illustrations, refer to [23,24].
The next lemma, adapted from [26] and further explored in [23,25], illustrates the condition that guarantees the unique convergence of a sequence in b-metric spaces.
Lemma 1. 
Let { χ n } be a Cauchy sequence in a rectangular b-metric space ( X , ϖ ) with the property that χ m χ n for all m n . Under these conditions, the sequence { χ n } admits at most one limit point.
Definition 6
([18,19]). A map h : R + × R + R belongs to the subclass of type I if it fulfills the following condition: for all a , b R + , whenever a 1 , it holds that h ( 1 , b ) h ( a , b ) .
Example 3
([18,19]). Each function h is of a subclass of type I:
(1) 
let h ( a , b ) = ( b + l ) a , with l > 1 .
(2) 
let h ( a , b ) = ( a + l ) b , with l > 0 .
(3) 
let h ( a , b ) = a n b k , such that k > 0 , n N { 0 } .
Definition 7
([18,19]). The pair ( Q , h ) is called an upper class of type I, if h is of a subclass of type I, and Q : R + × R + R is a function fulfilling the following conditions:
1. 
0 r 1 implies Q ( r , t ) Q ( 1 , t ) ,
2. 
h ( 1 , b ) Q ( r , t ) implies b r t , for all b , r , t R + .
Example 4
([18,19]). Examples of the pair ( Q , h ) :
(1) 
Let h ( a , b ) = ( b + l ) a , with l > 1 and, Q ( r , t ) = r t + l .
(2) 
Let h ( a , b ) = ( a + l ) b , l > 0 , and Q ( s , t ) = ( 1 + l ) s t .
(3) 
Let h ( a , b ) = a n b k , and Q ( s , t ) = s m t k , and k > 0 .
(4) 
Let h ( a , b ) = m a + n m + n b , with m , n N , and Q ( s , t ) = s t .
The notion of α -admissible mappings was proposed by Samet et al. [16], while the notion η -subadmissible mapping can be found in [27].
Definition 8.
Consider the mapping T : X X and let α , η : X × X [ 0 , ) be functions. Then,
(1) 
T is referred to as α -admissible mapping, if for all χ 1 , χ 2 X , we have
α ( χ 1 , χ 2 ) 1 α ( T χ 1 , T χ 2 ) 1 .
(2) 
T is referred to as η-subadmissible mapping, if for all χ 1 , χ 2 X , we have
η ( χ 1 , χ 2 ) 1 η ( T χ 1 , T χ 2 ) 1 .
Example 5.
Consider A = [ 0 , + ) , and let T : A A and α : A 2 [ 0 , ) be defined as T ( χ ) = 7 χ , and for all χ 1 , χ 2 A ,
α ( χ 1 , χ 2 ) = e χ 2 χ 1 , if χ 1 χ 2 , χ 1 0 . 0 if χ 1 < χ 2 .
Then, T is termed as α -admissible mapping
Example 6.
Let X = [ 0 , + ) , the mapping T : X X is defined as;
T ( χ ) = χ 4 if χ [ 0 , 1 ] , 2 χ 7 4 if χ > 1 .
Let α , η : X 2 ( , + ) be defined by
α ( χ 1 , χ 2 ) = 1 if χ 1 , χ 2 [ 0 , 1 ] , 0 otherwise ,
and
η ( χ 1 , χ 2 ) = 1 if χ 1 , χ 2 [ 0 , 1 ] , 2 otherwise .
Then, T is α-admissible and η-subadmissible mapping, since if α ( χ 1 , χ 2 ) 1 , means χ 1 , χ 2 [ 0 , 1 ] , consequently, α ( T χ 1 , T χ 2 ) = α ( χ 1 4 , χ 2 4 ) 1 . Moreover, T is η-subadmissible, since if η ( χ 1 , χ 2 ) 1 , means χ 1 , χ 2 [ 0 , 1 ] , hence η ( T χ 1 , T χ 2 ) = η ( χ 1 4 , χ 2 4 ) 1 .
Wardowski [15] introduced the L -contraction, later extended to various generalized metric spaces [28,29].
Definition 9.
Define L as the collection of all functions L : ( 0 , ) ( , ) that meet the following conditions:
(L1)
L is a strictly increasing.
(L2)
For any sequence { s n } of positive real numbers, the equivalence;
lim n s n = 0 lim n L ( s n ) = ,
holds true.
(L3)
There exists a constant r ( 0 , 1 ) lim s 0 + s r L ( s ) = 0 .
Example 7.
Let F ( t ) = 1 t , and G ( t ) = l n ( t ) , for t > 0 . It is evident that both F(t) and G(t) fulfill the conditions ( L 1 ) , ( L 2 ) , and ( L 3 ) . Therefore, they are member of the class L . For additional information, refer to [15].
Definition 10.
Let ( X , ϖ ) be a TC M T S . A self-mapping T : X X is said to be L -contraction if there exists a function L L and a constant τ > 0 such that the following implication holds:
ϖ ( T χ 1 , T χ 2 ) > 0 τ + L ( ϖ ( T χ 1 , T χ 2 ) ) L ( ϖ ( χ 1 , χ 2 ) ) , f o r χ 1 , χ 2 X .
Next, we present our novel ( α , η , ( Q , h ) , L ) —contraction mapping on a TC M T S ( X , ϖ ) .
Definition 11.
Let ( X , ϖ ) be a TC M T S , where X . A mapping T : X X is considered to be an ( α , η , ( Q , h ) , L ) —contraction, if the following inequality is satisfied:
h α ( x , y ) , τ + L ( ϖ ( T x , T y ) Q η ( x , y ) , L ( ϖ ( x , y ) ) ,
for every x , y X , such that ϖ ( T x , T y ) > 0 , and τ > 0 . The pair ( Q , h ) is an upper class of type I, here α and η as in Definition 8.
Example 8.
Let ( X , ϖ ) be a TC M T S , and let the mapping T : X X be an ( α , η , ( Q , h ) , L ) -contraction mapping. By taking h ( x , y ) = x n y k and Q ( s , t ) = s m t k , where m , n N { 0 } , and k > 0 , and L ( s ) = l n ( s ) , thus Equation (2) simplifies to
α ( x , y ) n ( τ + l n ( ϖ ( T x , T y ) ) ) k η ( x , y ) m l n ( ϖ ( x , y ) ) k .

3. Main Results

The primary fixed-point result based on our novel ( α , η , ( Q , h ) , L ) -contraction mapping (defined on TC M T S , ( X , ϖ ) ) framework is presented below.
Theorem 1.
Let ( X , ϖ ) be a complete TC M T S , and let T : X X be an ( α , η , ( Q , h ) , L ) -contraction mapping, as in Definition 11, satisfying the following conditions:
(T1) 
T is both α-admissible and η-subadmissible.
(T2) 
Some χ 0 X can be found, so that α ( χ 0 , T χ 0 ) 1 and η ( χ 0 , T χ 0 ) 1 .
(T3) 
For χ 0 X , we define the sequence { χ n } by χ n = T n χ 0 , for n N . Assume the following conditions hold:
sup m 1 lim i β ( χ 2 i + 2 , χ 2 i + 3 ) β ( χ 2 i , χ 2 i + 1 ) γ ( χ 2 i + 2 , χ m ) < 1 ,
and
sup m 1 lim i μ ( χ 2 i + 3 , χ 2 i + 4 ) μ ( χ 2 i + 1 , χ 2 i + 2 ) γ ( χ 2 i + 2 , χ m ) < 1 .
Furthermore, for each χ ˜ X , the following limits exists and are finite;
lim n β ( χ ˜ , χ n ) , lim n μ ( χ n , χ ˜ ) and lim n γ ( χ n , χ ˜ ) .
Then T admits a fixed point in X . Moreover, if T has two fixed points χ ˜ 1 , χ ˜ 2 X satisfying α ( χ ˜ 1 , χ ˜ 2 ) 1 and η ( χ ˜ 1 , χ ˜ 2 ) 1 , then T possess a unique fixed point in X .
Proof. 
We start by selecting χ 0 as in condition (T2), hence α ( χ 0 , T χ 0 ) 1 , and η ( χ 0 , T χ 0 ) 1 . The general term of the sequence { χ n } is defined by setting T χ 0 = χ 1 , T 2 χ 0 = T χ 1 = χ 2 . For any n N , we have
T n χ 0 = T n 1 χ 1 = = T χ n 1 = χ n .
By utilizing the pair ( Q , h ) :
h 1 , τ + L ( ϖ ( χ n , χ n + 1 ) ) = h 1 , τ + L ( ϖ ( T χ n 1 , T χ n ) ) . h α ( χ n 1 , χ n ) , τ + L ( ϖ ( T χ n 1 , T χ n ) ) . Q η ( χ n 1 , χ n ) , L ( ϖ ( χ n 1 , χ n ) ) . Q 1 , L ( ϖ ( χ n 1 , χ n ) ) .
Which gives
τ + L ( ϖ ( χ n , χ n + 1 ) ) L ( ϖ ( χ n 1 , χ n ) ) .
After continuing the process a few times,
L ( ϖ ( χ n , χ n + 1 ) ) L ( ϖ ( χ n 1 , χ n ) ) τ . L ( ϖ ( χ n 2 , χ n 1 ) ) 2 τ . L ( ϖ ( χ 0 , χ 1 ) ) n τ .
Taking the limit n + in (7), and utilizing τ > 0 ,
lim n + L ( ϖ ( χ n , χ n + 1 ) ) = .
As L L , by (L2), it implies that lim n + ϖ ( χ n , χ n + 1 ) = 0 . By condition (L3), we can find some k ( 0 , 1 ) , such that
lim n + ( ϖ ( χ n , χ n + 1 ) ) k L ( ϖ ( χ n , χ n + 1 ) ) = 0 .
Utilizing (7), we get
L ( ϖ ( χ n , χ n + 1 ) ) L ( ϖ ( χ 0 , χ 1 ) ) n τ .
Which gives
( ϖ ( χ n , χ n + 1 ) ) k L ( ϖ ( χ n , χ n + 1 ) ) ( ϖ ( χ n , χ n + 1 ) ) k L ( ϖ ( χ 0 , χ 1 ) )
n τ ( ϖ ( χ n , χ n + 1 ) ) k 0 .
Letting n tends to infinity in Equation (10), we obtain
lim n + n ( ( ϖ ( χ n , χ n + 1 ) ) k = 0 .
Therefore, lim n + n 1 / k ( ϖ ( χ n , χ n + 1 ) ) = 0 ; thus, there is some n 0 N so that
ϖ ( χ n , χ n + 1 ) 1 n 1 / k , f o r a l l n n 0 .
Step A: Establishing the convergence of the sequence { χ n } .
We start by showing { χ n } is Cauchy sequence in two steps; thus, for all, m , n N :
Step 1. Assume that p = 2 m + 1 is an odd integer, where m 1 . By applying triangular inequality in the context of the TC M T S , we derive:
ϖ ( χ n , χ n + 2 m + 1 ) β ( χ n , χ n + 1 ) ϖ ( χ n , χ n + 1 ) + μ ( χ n + 1 , χ n + 2 ) ϖ ( χ n + 1 , χ n + 2 ) + γ ( χ n + 2 , χ n + 2 m + 1 ) ϖ ( χ n + 2 , χ n + 2 m + 1 ) . β ( χ n , χ n + 1 ) ϖ ( χ n , χ n + 1 ) + μ ( χ n + 1 , χ n + 2 ) ϖ ( χ n + 1 , χ n + 2 ) + γ ( χ n + 2 , χ m ) [ β ( χ n + 2 , χ n + 3 ) ϖ ( χ n + 2 , χ n + 3 ) + μ ( χ n + 3 , χ n + 4 ) ϖ ( χ n + 3 , χ n + 4 ) + γ ( χ n + 4 , χ n + 2 m + 1 ) ϖ ( χ n + 4 , χ n + 2 m + 1 ) ] .
ϖ ( χ n , χ n + 2 m + 1 ) β ( χ n , χ n + 1 ) ϖ ( χ n , χ n + 1 ) + μ ( χ n + 1 , χ n + 2 ) ϖ ( χ n + 1 , χ n + 2 ) + i = n 2 + 1 n + 2 m 2 2 [ β ( χ 2 i , χ 2 i + 1 ) ϖ ( χ 2 i , χ 2 i + 1 ) + μ ( χ 2 i + 1 , χ 2 i + 2 ) ϖ ( χ 2 i + 1 , χ 2 i + 2 ) ] j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) + i = n 2 + 1 n + 2 m 2 γ ( χ 2 i , χ n + 2 m + 1 ) ϖ ( χ n + 2 m , χ n + 2 m + 1 ) . β ( χ n , χ n + 1 ) ϖ ( χ n , χ n + 1 ) + μ ( χ n + 1 , χ n + 2 ) ϖ ( χ n + 1 , χ n + 2 ) + i = n 2 + 1 n + 2 m 2 2 β ( χ 2 i , χ 2 i + 1 ) ϖ ( χ 2 i , χ 2 i + 1 ) j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) + i = n 2 + 1 n + 2 m 2 γ ( χ 2 i , χ n + 2 m + 1 ) ϖ ( χ n + 2 m , χ n + 2 m + 1 ) + i = n 2 + 1 n + 2 m 2 2 μ ( χ 2 i + 1 , χ 2 i + 2 ) ϖ ( χ 2 i + 1 , χ 2 i + 2 ) j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) .
The last inequality can be written as
ϖ ( χ n , χ n + 2 m + 1 ) β ( χ n , χ n + 1 ) ϖ ( χ n , χ n + 1 ) + μ ( χ n + 1 , χ n + 2 ) ϖ ( χ n + 1 , χ n + 2 ) + i = n 2 + 1 n + 2 m 2 β ( χ 2 i , χ 2 i + 1 ) ϖ ( χ 2 i , χ 2 i + 1 ) j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) + i = n 2 + 1 n + 2 m 2 2 μ ( χ 2 i + 1 , χ 2 i + 2 ) ϖ ( χ 2 i + 1 , χ 2 i + 2 ) j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) .
By substituting Equation (12) into the preceding inequality, we conclude that
ϖ ( χ 2 i , χ 2 i + 1 ) 1 ( 2 i ) 1 / k ,
which leads to
ϖ ( χ n , χ n + 2 m + 1 ) β ( χ n , χ n + 1 ) 1 ( n ) 1 / k + μ ( χ n + 1 , χ n + 2 ) 1 ( n + 1 ) 1 / k + i = n 2 + 1 n + 2 m 2 β ( χ 2 i , χ 2 i + 1 ) j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) 1 ( 2 i ) 1 / k + i = n 2 + 1 n + 2 m 2 2 μ ( χ 2 i + 1 , χ 2 i + 2 ) j = n 2 + 1 i γ ( χ 2 j , χ n + 2 m + 1 ) 1 ( 2 i + 1 ) 1 / k .
We express it as
ϖ ( χ n , χ n + 2 m + 1 ) β ( χ n , χ n + 1 ) 1 ( n ) 1 / k + μ ( χ n + 1 , χ n + 2 ) 1 ( n + 1 ) 1 / k
+ [ Ξ n + 2 m / 2 Ξ n / 2 ] + [ Υ n + 2 m 2 / 2 Υ n / 2 ] .
where
Ξ p = i = 1 p j = 1 i γ ( χ 2 j , χ n + 2 m + 1 ) β ( χ 2 i , χ 2 i + 1 ) 1 ( 2 i ) 1 / k ,
and
Υ q = i = 1 q j = 1 i γ ( χ 2 j , χ n + 2 m + 1 ) μ ( χ 2 i + 1 , χ 2 i + 2 ) 1 ( 2 i + 1 ) 1 / k .
Applying the ratio test in conjunction with Equation (4), we find that
lim n , m [ Ξ n + 2 m / 2 Ξ n / 2 ] = 0 .
Likewise, employing Equation (5) and again using the ratio test, we obtain
lim n , m [ Υ n + 2 m 2 / 2 Υ n / 2 ] = 0 .
Furthermore, from Equation (6) and the fact k ( 0 , 1 ) , it follows that
lim n β ( χ n , χ n + 1 ) ( 1 n 1 / k ) = 0 , and lim n μ ( χ n + 1 , χ n + 2 ) 1 ( n + 1 ) 1 / k = 0 .
Therefore,
lim n , m ϖ ( χ n , χ n + 2 m + 1 ) = 0 .
Step 2: Let p = 2 m be an even integer, with m 1 . Repeat the same process as in Step 1. Hence, we obtain;
lim n , m ϖ ( χ n , χ n + 2 m ) = 0 .
Consequently, the sequence { χ n } is Cauchy in the complete TC M T S ( X , ϖ ) , so it converges to a point χ ˜ X , that is,
lim n ϖ ( χ n , χ ˜ ) = 0 .
Step B: We show T χ ˜ = χ ˜ , i.e., χ ˜ is a fixed point.
Consider Equation (2):
h 1 , τ + L ( ϖ ( T χ n , T χ ˜ ) ) h α ( χ n , χ ˜ ) , τ + L ( ϖ ( T χ n , T χ ˜ ) ) . Q 1 , L ( ϖ ( χ n , χ ˜ ) ) .
Since ( Q , h ) belongs to the upper class of type I, it follows that
τ + L ( ϖ ( T χ n , T χ ˜ ) L ( ϖ ( χ n , χ ˜ ) ) .
Taking the limit as n tends to infinity in (17), and using Equation 16 and (L2) from Definition 9, we obtain lim n L ( ϖ ( χ n , χ ˜ ) ) = , which implies lim n ϖ ( T χ n , T χ ˜ ) = 0 . Observe
ϖ ( χ ˜ , T χ ˜ ) β ( χ ˜ , χ n ) ϖ ( χ ˜ , χ n ) + μ ( χ n , χ n + 1 ) ϖ ( χ n , χ n + 1 ) + γ ( T χ n , T χ ˜ ) ϖ ( T χ n , T χ ˜ l ) .
By passing to the limit as n in Equation (18) and invoking Equation (6), we arrive at the conclusion that T χ ˜ = χ ˜ .
Step C: We establish the uniqueness of the fixed point. Suppose there exist two distinct fixed points, χ ˜ 1 , and χ ˜ 2 , such that α ( χ ˜ 1 , χ ˜ 2 ) 1 and η ( χ ˜ 1 , χ ˜ 2 ) 1 . Consider
h 1 , τ + L ( ϖ ( χ ˜ 1 , χ ˜ 2 ) ) = h 1 , τ + L ( ϖ ( T χ ˜ 1 , T χ ˜ 2 ) ) . Q 1 , L ( ϖ ( χ ˜ 1 , χ ˜ 2 ) ) .
Which gives
τ + L ( ϖ ( χ ˜ 1 , χ ˜ 2 ) ) L ( ϖ ( χ ˜ 1 , χ ˜ 2 ) ) .
This yields τ 0 , which contradicts the assumption that τ > 0 . Therefore, we must have χ ˜ 1 = χ ˜ 2 , confirming that the fixed point is unique.
Remark 3.
Let ( X , ϖ ) be a complete TC M T S , by taking β = μ = γ , then ( X , ϖ ) becomes controlled b-Branciari metric type as in Definition 3. Thus, we obtain a special case of our primary Theorem 1.
Corollary 1.
Let ( X , ϖ ) be a complete controlled b-Branciari metric type, and let T : X X be an ( α , η , ( Q , h ) , L ) —contraction mapping satisfying the following conditions:
(T1) 
T is both α-admissible and η-subadmissible.
(T2) 
There is some χ 0 X such that α ( χ 0 , T χ 0 ) 1 and η ( χ 0 , T χ 0 ) 1 .
(T3) 
For χ 0 X , we define the sequence { χ n } by χ n = T n χ 0 , for n N . Assume the following conditions hold:
sup m 1 lim i β ( χ 2 i + 2 , χ 2 i + 3 ) β ( χ 2 i , χ 2 i + 1 ) β ( χ 2 i + 2 , χ m ) < 1 .
Furthermore, for each χ ˜ X , the following limits exists and are finite:
lim n β ( χ ˜ , χ n ) .
Then T admits a fixed point in X . Moreover, if T has two fixed points χ ˜ 1 , χ ˜ 2 X satisfying α ( χ ˜ 1 , χ ˜ 2 ) 1 and η ( χ ˜ 1 , χ ˜ 2 ) 1 , then T possess a unique fixed point in X .
Next, we state a corollary to our primary theorem.
Corollary 2.
Let ( X , ϖ ) be a complete TC M T S , and let T : X X be an α-admissible and η-subadmissible L -contraction mapping satisfying the following:
α ( x , y ) n ( τ + L ( ϖ ( T x , T y ) ) ) k η ( x , y ) m L ( ϖ ( x , y ) ) k .
where m , n N { 0 } , k > 0 . Moreover, the following conditions hold:
1. 
There is some χ 0 X such that α ( χ 0 , T χ 0 ) 1 and η ( χ 0 , T χ 0 ) 1 .
2. 
For χ 0 X , we define the sequence { χ n } by χ n = T n χ 0 , for n N , such that the following conditions hold:
sup m 1 lim i β ( χ 2 i + 2 , χ 2 i + 3 ) β ( χ 2 i , χ 2 i + 1 ) γ ( χ 2 i + 2 , χ m ) < 1 ,
and
sup m 1 lim i μ ( χ 2 i + 3 , χ 2 i + 4 ) μ ( χ 2 i + 1 , χ 2 i + 2 ) γ ( χ 2 i + 2 , χ m ) < 1 .
Furthermore, for each χ ˜ X , the following limits exists and are finite:
lim n β ( χ ˜ , χ n ) , lim n μ ( χ n , χ ˜ ) and lim n γ ( χ n , χ ˜ ) .
Then, T admits a fixed point in X . Moreover, if T has two fixed points χ ˜ 1 , χ ˜ 2 X satisfying α ( χ ˜ 1 , χ ˜ 2 ) 1 and η ( χ ˜ 1 , χ ˜ 2 ) 1 , then T admits a unique fixed point in X .
Proof. 
Choosing h ( x , y ) = x n y k and Q ( s , t ) = s m t k , where m , n N { 0 } , and k > 0 in Definition 11. Therefore, in the statement of Theorem 1, the Equation (2) becomes
α ( χ 1 , χ 2 ) n ( τ + L ( ϖ ( T χ 1 , T χ 2 ) ) ) k η ( χ 1 , χ 2 ) m L ( ϖ ( χ 1 , χ 2 ) ) k .
Next, we present a supporting example for Corollary 2, inspired by [30].
Example 9.
Let X = [ 0 , + ) , and consider the mapping ϖ : X 2 [ 0 , + ) , defined by ϖ ( χ 1 , χ 2 ) = | χ 1 χ 2 | . The control functions β , μ , γ : X 2 [ 1 , ) are defined by β ( χ 1 , χ 2 ) = max { χ 1 , χ 2 } + 1 , μ ( χ 1 , χ 2 ) = max { χ 1 , χ 2 } + 2 , and
γ ( χ 1 , χ 2 ) = χ 1 + χ 2 if χ 1 [ 0 , 1 ] , 1 if χ 1 > 1 .
Then, ( X , ϖ ) is a complete TC M T S . The pair ( Q , h ) of upper class of type I will be taken as h ( x , y ) = x y and Q ( s , t ) = s t also L ( t ) = l n ( t ) , while the mapping T : X X is defined as
T ( χ ) = χ 4 if χ [ 0 , 1 ] , 2 χ 7 4 if χ > 1 .
Let α , η : X 2 ( , + ) be defined as in Example 6. Thus, T is α-admissible and η-subadmissible.
To show T is ( α , η , ( Q , h ) L ) -contraction mapping, we only need to look at the case when χ 1 , χ 2 [ 0 , 1 ] . Note
ϖ ( T χ 1 , T χ 2 ) = | T χ 1 T χ 2 | = 1 4 | χ 1 χ 2 | = 1 4 ϖ ( χ 1 , χ 2 ) < 1 2 ϖ ( χ 1 , χ 2 ) .
Hence,
α ( χ 1 , χ 2 ) ( l n ( 2 ) + l n ( ϖ ( T χ 1 , T χ 2 ) ) ) l n ( 2 ) + l n ( ϖ ( T χ 1 , T χ 2 ) ) η ( χ 1 , χ 2 ) l n ( ϖ ( χ 1 , χ 2 ) ) .
By taking τ = l n ( 2 ) > 0 , in (24), we have
α ( χ 1 , χ 2 ) ( τ + l n ( ϖ ( T χ 1 , T χ 2 ) ) ) η ( χ 1 , χ 2 ) l n ( ϖ ( χ 1 , χ 2 ) ) .
Therefore, we have
h α ( χ 1 , χ 2 ) , τ + L ( ϖ ( T χ 1 , T χ 2 ) Q η ( χ 1 , χ 2 ) , L ( ϖ ( χ 1 , χ 2 ) ) ,
which implies that T is ( α , η , ( Q , h ) L ) -contraction mapping.
Let χ 0 = 1 , then α ( χ 0 , T χ 0 ) 1 , η ( χ 0 , T χ 0 ) 1 . We form a sequence by χ 1 = T ( χ 0 ) = T ( 1 ) = 1 4 ; hence, χ i = T i ( χ 0 ) = T i ( 1 ) = 1 4 i for all i 1 . Finally, to show Equations (21) and (22) holds, observe
sup m 1 lim i β ( χ 2 i + 2 , χ 2 i + 3 ) β ( χ 2 i , χ 2 i + 1 ) γ ( χ 2 i + 2 , χ m ) = sup m 1 lim i [ m a x { 1 4 2 i + 2 , 1 4 2 i + 3 } + 1 ) [ m a x { 1 4 2 i , 1 4 2 i + 1 } + 1 ) ] ( 1 4 2 i + 2 + 1 4 m ) < 1 ,
and
sup m 1 lim i μ ( χ 2 i + 3 , χ 2 i + 4 ) μ ( χ 2 i + 1 , χ 2 i + 2 ) γ ( χ 2 i + 2 , χ m ) = sup m 1 lim i [ m a x { 1 4 2 i + 3 , 1 4 2 i + 4 } + 2 ) [ m a x { 1 4 2 i + 1 , 1 4 2 i + 2 } + 2 ) ] ( 1 4 2 i + 2 + 1 4 m ) < 1 .
Moreover, for any χ X , all the limits lim i + β ( χ , χ i ) , lim i + μ ( χ i , χ ) , and lim i + γ ( χ i , χ ) exists and are finite. Therefore, T fulfills all the hypotheses of Corollary 2. Consequently, T has a fixed point, which is χ = 0 .

4. Application

In summary, Theorem 1 provides a rigorous framework for establishing the existence and uniqueness of a real root of an mth-degree polynomial. While various methods have been developed to address root-finding problems—most notably numerical algorithms—the fixed point approach employed herein offers an elegant and analytically tractable alternative. As a particular application, we further demonstrate the existence of a unique real root for an mth-degree polynomial formulated in terms of x = sin ( ξ ) .
Theorem 2.
For r 3 any natural number, the below equation
x r ( r 4 1 ) x r + 1 r 4 x + 1 = 0 ,
admits a unique solution within the interval [ 1 , 1 ] .
Proof. 
If | x | > 1 , then Equation (25) have no solution; thus, | x | 1 . Let X = [ 1 , 1 ] . For any x , y X , define the function ϖ : X 2 [ 0 , + ) , by ϖ ( x , y ) = | x y | . Consider the three mappings β , μ , γ : X 2 [ 1 , ) specified as follows:
β ( x , y ) = m a x { y , x } + 2 , and μ ( x , y ) = 1 , while
γ ( x , y ) = m a x { y , x } + 9 10 if y , x [ 0 , 1 ] , 1 otherwise .
It can be verified that ( X , ϖ ) constitute a complete triple controlled metric-type space TC M T S .
Choose the pair ( Q , h ) by h ( x , y ) = x y and Q ( s , t ) = s t . Additionally, define the function L ( t ) = l n ( t ) . The operator T : X X , is defined by
T ( x ) = x r + 1 ( r 4 1 ) x r + r 4 .
Given that r 3 , we choose r = 5 for computational convenience. However, the same approach can be applied to verify the result for any r 3 . Accordingly, Equation (26) transforms into:
T x = x 5 + 1 ( 5 4 1 ) x 5 + 5 4 = x 5 + 1 624 x 5 + 625 .
Let α , η : X 2 ( , + ) be defined by
α ( x , y ) = 1 if x , y , [ 0 , 1 ] , 0 otherwise ,
η ( x , y ) = 1 if x , y [ 0 , 1 ] , 2 otherwise .
One can easily show that T is α -admissible and η -subadmissible mapping, since if α ( x , y ) 1 , it means x , y [ 0 , 1 ] , so T x , T y [ 0 , 1 ] . Consequently, α ( T x , T y ) 1 . Similarly, one can show that if η ( x , y ) 1 , then η ( T x , T y ) 1 .
To show T is ( α , η , ( Q , h ) L ) -contraction mapping, note that for x , y [ 0 , 1 ] , we have
ϖ ( T x , T y ) = | T x T y | = | x 5 + 1 624 x 5 + 625 y 5 + 1 624 y 5 + 625 | . = | x 5 y 5 ( 624 x 5 + 625 ) ( 624 y 5 + 625 ) | . | x y | 625 = 1 625 ϖ ( x , y ) .
Hence, we have
α ( x , y ) ( l n ( 625 ) + l n ( ϖ ( T x , T y ) ) ) l n ( 625 ) + l n ( ϖ ( T x , T y ) ) η ( x , y ) l n ( ϖ ( x , y ) ) .
By taking τ = l n ( 625 ) > 0 , in (28), we have
α ( x , y ) ( τ + l n ( ϖ ( T x , T y ) ) ) η ( x , y ) l n ( ϖ ( x , y ) ) .
Therefore, we have
h α ( x , y ) , τ + l n ( ϖ ( T x , T y ) Q η ( x , y ) , l n ( ϖ ( x , y ) ) ,
which implies that T is ( α , η , ( Q , h ) L ) -contraction mapping.
Finally, we show that Equations (4) and (5) of Theorem 1 holds. Let x 0 X such that α ( x 0 T x 0 ) 1 , and η ( x 0 T x 0 ) 1 , so x 0 [ 0 , 1 ] . Form the sequence x n = T n x 0 . We study the behavior of T n x 0 as n tends to infinity.
The sequence { x n } is decreasing as n tends to infinity. Since, x 1 = T x 0 = x 0 5 + 1 624 x 0 5 + 625 , and
x 2 = T x 1 = T ( x 0 5 + 1 624 x 0 5 + 625 ) = x 1 5 + 1 624 x 1 5 + 625 = ( x 0 5 + 1 624 x 0 5 + 625 ) 5 + 1 624 ( x 0 5 + 1 624 x 0 5 + 625 ) 5 + 625 .
Thus, for general n, we have
x n + 1 = T x n = x n 5 + 1 624 x n 5 + 625 .
One can show that the sequence { x n } is a decreasing sequence. Furthermore, for each x n [ 0 , 1 ] . Let
K n , m = β ( x 2 n + 2 , x 2 n + 3 ) β ( x 2 n , x 2 n + 1 ) γ ( x 2 n + 2 , x m ) . = ( m a x { x 2 n + 2 , x 2 n + 3 } + 2 ) ( m a x { x n , x n + 1 } + 2 ) ( m a x { x 2 n + 2 , x m } + 9 10 ) .
Hence, one can easily see that
sup m 1 lim n K n , m = sup m 1 lim n ( m a x { x 2 n + 2 , x 2 n + 3 } + 2 ) ( m a x { x n , x n + 1 } + 2 ) ( m a x { x 2 n + 2 , x m } + 9 10 ) < 1 .
Also, in the same way, one can show that
sup m 1 lim n S n , m = sup m 1 lim n μ ( x 2 n + 3 , x 2 n + 4 ) μ ( x 2 n + 1 , x 2 n + 2 ) γ ( x 2 n + 2 , χ m ) . = sup m 1 lim n m a x { x 2 n + 2 , x m } + 9 10 < 1 .
Moreover, the limit lim n β ( x , x n ) = lim n = m a x { x , x n } + 2 , exists and is finite, also both lim n μ ( x n , x ) and lim n γ ( x n , x ) are well defined and finite. Hence, all the requirements of Theorem 1 are satisfied. It follows that the operator T admits a unique fixed point in X , which corresponds to the unique real solution of Equation (32). □
Next, we present an application of our Theorem 2 to the trignometric function x = s i n ( ξ ) .
Theorem 3.
For r 3 any natural number, the following equation
sin r ( ξ ) ( r 4 1 ) sin r + 1 ( ξ ) r 4 sin ( ξ ) + 1 = 0 ,
admits a unique solution within the interval [ 1 , 1 ] .
Proof. 
Note, for ξ [ 1 , 1 ] , we then have sin ( ξ ) [ 1 , 1 ] . Denote x = sin ( ξ ) , and let X = [ 1 , 1 ] . Apply Theorem 2. □

5. Conclusions

In this study, we introduced a novel class of contractive mappings, denoted as ( α , η , ( Q , h ) , L )-contractions, within the framework of triple controlled metric-type spaces. By incorporating α -admissibility, η -subadmissibility, and a control pair ( Q , h ) from the upper class of type I, alongside Wardowski-type L -contractions, we established comprehensive fixed point theorems ensuring both existence and uniqueness. These results not only generalize but also unify several prior contributions in the field of controlled and functional fixed point theory.
The practical efficacy of the proposed framework was demonstrated through the solvability analysis of a nonlinear equation involving powers of the sine function, where a unique solution was established within a bounded domain.
This work paves the way for several potential research directions. Can the present framework be extended to encompass multi-valued mappings or coupled fixed point configurations? Are analogous results attainable in fuzzy or probabilistic metric settings, or within partial metric structures? Moreover, exploring applications in domains such as ecology and economics, where controlled nonlinear dynamics frequently arise, remains an open and intriguing question.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article.

Acknowledgments

The author would like to thank Prince Sultan University for covering the article publication fees through the TAS Research Lab.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Banach, S. Sur les operations dans les ensembles et leur application aux equation sitegrales. Fundam. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Bakhtin, A. The contractive mapping principle in almost metric spaces. Funct. Anal. Gos. Ped. Inst. Unianowsk 1989, 30, 26–37. [Google Scholar]
  3. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  4. Kamran, T.; Samreen, M.; UL Ain, Q. A Generalization of b-metric space and some fixed point theorems. Mathematics 2017, 5, 19. [Google Scholar] [CrossRef]
  5. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. Controlled Metric Type Spaces and the Related contractive Principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef]
  6. Tasneem, Z.S.; Kalpana, G.; Abdeljawad, T. Controlled b-Branciari metric type spaces and related fixed point theorems with applications. Filomat 2020, 34, 4253–4269. [Google Scholar] [CrossRef]
  7. Abdeljawad, T.; Mlaiki, N.; Aydi, H.; Souayah, N. Double controlled metric type spaces and some fixed point results. Mathematics 2018, 6, 320. [Google Scholar] [CrossRef]
  8. Azmi, F.M. Generalized contraction mappings in double controlled metric type space and related fixed point theorems. J. Inequalities Appl. 2023, 87. [Google Scholar] [CrossRef]
  9. Tasneem, Z.S.; Kalpana, G.; Abdeljawad, T. A different approach to fixed point theorems on triple controlled metric type spaces with a numerical experiment. Dyn. Syst. Appl. 2021, 30, 111–130. [Google Scholar] [CrossRef]
  10. Gopalan, K.; Zubair, S.T.; Abdeljawad, T.; Mlaiki, N. New Fixed Point Theorem on Triple Controlled Metric Type Spaces with Applications to Volterra–Fredholm Integro-Dynamic Equations. Axioms 2022, 11, 19. [Google Scholar] [CrossRef]
  11. Azmi, F.M. New Contractive Mappings and Solutions to Boundary-Value Problems in Triple Controlled Metric Type Spaces. Symmetry 2022, 14, 2270. [Google Scholar] [CrossRef]
  12. Hastings, A. Fixed points and the stability of ecological systems. Ecol. Model. 1977, 5, 269–285. [Google Scholar]
  13. Cousot, P.; Cousot, R. Static determination of dynamic properties of programs. In Proceedings of the 2nd International Symposium on Programming, Paris, France, 13–15 April 1976; pp. 106–130. [Google Scholar]
  14. Arrow, K.J.; Debreu, G. Existence of an equilibrium for a competitive economy. Econometrica 1954, 22, 265–290. [Google Scholar] [CrossRef]
  15. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef]
  16. Samet, B.; Vetro, C.; Vetro, P. Fixed points theorems for α-ψ-contractive type mappings. Nonlinear Anal. Theory Methods Appl. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  17. Jleli, M.; Samet, B. Best proximity points for α-ψ-contractive type mappings and applications. Bulletin des Sciences Mathématiques 2013, 137, 977–995. [Google Scholar] [CrossRef]
  18. Ansari, A.H. Note on “α-admissible mappings and related fixed point theorems”. In Proceedings of the 2nd Regional Conference on Mathematics and Applications, Payame Noor University, Tehran, Iran, September 2014; pp. 373–376. [Google Scholar]
  19. Ansari, A.H.; Shukla, S. Some fixed point theorems for ordered F-(Ƒ,h)-contraction and subcontractions in 0-f-orbitally complete partial metric spaces. J. Adv. Math. Stud. 2016, 9, 37–53. [Google Scholar]
  20. Branciari, A. A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces. Publ. Math. 2000, 57, 31–37. [Google Scholar] [CrossRef]
  21. Karapinar, E.; Aydi, H.; Samet, B. Fixed points for generalized (α-ψ)-contractions on generalized metric spaces. J. Inequal. Appl. 2014, 2014, 229. [Google Scholar]
  22. George, R.; Redenovic, S.; Reshma, K.P.; Shukla, S. Rectangular b-metric space and contractive principles. J. Nonlinear Sci. Appl. 2015, 8, 1005–1013. [Google Scholar] [CrossRef]
  23. Roshan, J.R.; Parvaneh, V.; Kadelburg, Z.; Hussain, N. New fixed point results in b-rectangularmetric spaces. Nonlinear Anal. Model. Control. 2016, 21, 614–634. [Google Scholar] [CrossRef]
  24. Sarma, I.R.; Rao, J.M.; Rao, S.S. Contractions over generalized metric spaces. J. Nonlinear Sci. Appl. 2009, 2, 180–182. [Google Scholar] [CrossRef]
  25. Ansari, A.; Aydi, H.; Kumari, P.; Yildirim, I. New Fixed Point Results via C-class Functions in b-Rectnagular Metric Spaces. Commun. Math. Appl. 2018, 9, 635. [Google Scholar]
  26. Jleli, M.; Samet, B. The Kannan fixed point theorem in a cone rectangular metric space. J. Nonlinear Sci. Appl. 2009, 2, 161–167. [Google Scholar] [CrossRef]
  27. Ansari, A.H.; Chandok, S.; Hussain, N.; Mustafa, Z.; Jaradat, M.M.M. Some common fixed point theorems for weakly α-admissible pairs in G-metric spaces with auxiliary functions. J. Math. 2017, 8, 80–107. [Google Scholar]
  28. Aydi, H.; Karapinar, E.; Yazidi, H. Modified F-contractions via α- admissible mappings and application to integral equations. Filomat 2017, 31, 1141–1148. [Google Scholar] [CrossRef]
  29. Devi, K.M.; Rohen, Y.; Singh, K.A. Fixed points of modified F-contractions in S-metric spaces. J. Math. Comput. Sci. 2022, 12, 197. [Google Scholar] [CrossRef]
  30. Azmi, F.M. Wardowski Contraction on Controlled S-Metric Type Spaces with Fixed Point Results. Int. J. Anal. Appl. 2024, 22, 151. [Google Scholar] [CrossRef]
Figure 1. The diagram displays the relationship between various rectangular metric-type spaces.
Figure 1. The diagram displays the relationship between various rectangular metric-type spaces.
Axioms 14 00506 g001
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

Azmi, F.M. A New Class of (α,η,(Q,h),L)-Contractions in Triple Controlled Metric-Type Spaces with Application to Polynomial Sine-Type Equations. Axioms 2025, 14, 506. https://doi.org/10.3390/axioms14070506

AMA Style

Azmi FM. A New Class of (α,η,(Q,h),L)-Contractions in Triple Controlled Metric-Type Spaces with Application to Polynomial Sine-Type Equations. Axioms. 2025; 14(7):506. https://doi.org/10.3390/axioms14070506

Chicago/Turabian Style

Azmi, Fatima M. 2025. "A New Class of (α,η,(Q,h),L)-Contractions in Triple Controlled Metric-Type Spaces with Application to Polynomial Sine-Type Equations" Axioms 14, no. 7: 506. https://doi.org/10.3390/axioms14070506

APA Style

Azmi, F. M. (2025). A New Class of (α,η,(Q,h),L)-Contractions in Triple Controlled Metric-Type Spaces with Application to Polynomial Sine-Type Equations. Axioms, 14(7), 506. https://doi.org/10.3390/axioms14070506

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