Next Article in Journal
Controlling Achiral and Chiral Properties with an Electric Field: A Next-Generation QTAIM Interpretation
Next Article in Special Issue
Some New Results for (α, β)-Admissible Mappings in 𝔽-Metric Spaces with Applications to Integral Equations
Previous Article in Journal
Bivariate Proportional Hazard Models: Structure and Inference
Previous Article in Special Issue
Analytical Formulas for Conditional Mixed Moments of Generalized Stochastic Correlation Process
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solution of Integral Equation with Neutrosophic Rectangular Triple Controlled Metric Spaces

by
Gunaseelan Mani
1,
Rajagopalan Ramaswamy
2,*,
Arul Joseph Gnanaprakasam
3,
Ola A Ashour Abdelnaby
1,4,
Slobodan Radojevic
5 and
Stojan Radenović
5
1
Department of Mathematics, Saveetha School of Engineering, Saveetha Institute of Medical and Technical Sciences, Chennai 602105, India
2
Department of Mathematics, College of Science and Humanities in Alkharj, Prince Sattam Bin Abdulaziz University, ALkharj 11942, Saudi Arabia
3
Department of Mathematics, College of Engineering and Technology, SRM Institute of Science and Technology, Kattankulathur, Chennai 603203, India
4
Department of Mathematics, Cairo University, Cairo 12613, Egypt
5
Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrad, Serbia
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(10), 2074; https://doi.org/10.3390/sym14102074
Submission received: 9 September 2022 / Revised: 24 September 2022 / Accepted: 29 September 2022 / Published: 6 October 2022
(This article belongs to the Special Issue Symmetries in Differential Equation and Application)

Abstract

:
In this paper, we introduce the notion of neutrosophic rectangular triple-controlled metric space, relaxing the symmetry requirement of neutrosophic metric spaces, by replacing triangular inequalities with rectangular inequalities, and prove fixed point theorems. We have derived several interesting results for contraction mappings supplemented with non-trivial examples. The derived results have been applied to prove the existence of a unique analytical solution as well as a closed form of the unique solution to the integral equation.

1. Introduction

Pursuant upon the reporting of the famous Contraction Mapping Theorem (CMT) by S.Banach [1] in 1922, the study of the existence and uniqueness of fixed points and common fixed points in metric and metric-like spaces and their applications has become a subject of great interest. In 1979, Itoh [2] presented the application of fixed point results to differential equations in Banach spaces. Many authors proved the Banach contraction principle in various generalized metric spaces. In the sequel, the notion of rectangular metric space was introduced by Branciari [3] in 2000. He replaced the right-hand side of the triangular inequality of the metric space with a three-term expression and established an analogous proof of the CMT. Since then, many fixed point theorems for various contractions on rectangular metric spaces have appeared in the literature [4,5,6,7,8,9,10].
In 1965, Zadeh [11] introduced the concept of fuzzy sets, which has varied applications in logical semantics. The concept of the continuous t-norm was introduced by Schweizer et al. [12]. Kramosil and Michlek [13] were the first to introduce the notion of fuzzy metric space, using continuous t-norms as an analog to metric spaces, and analyzed the notions with the probabilistic/statistical extension of metric spaces. The concept of fuzzy sets and fuzzy metric space has varied applications in applied sciences, such as fixed point theorems, signal and image processing including medical imaging, decision making, etc. Garbiec [14] reported the fuzzy extension of the Banach contraction mapping theorem. Since then, many fixed point results have been reported by researchers using different types of contractive conditions in the setting of fuzzy metric space, dislocated fuzzy metric space, intuitionistic fuzzy metric space, etc.; see [15,16,17,18,19,20,21,22,23,24,25,26,27,28,29]. More recently, Ali et al. [30] have presented some applications of the best proximity points of non-self maps in the setting of non-Archimedian fuzzy metric spaces.
In the recent past, many researchers have reported fixed point results in the setting of fuzzy metric spaces and the like. For instance, in 2018, Mlaiki [31] presented fixed point results by defining the concept of controlled metric spaces. Konwar [32], in 2020, defined intutionistic fuzzy b-metric space and established fixed point results under various contractive conditions. Saif Ur Rehman et al. [33] proved some α ϕ fuzzy cone contraction results with integral-type application.
In the sequel, the concept of neutrosophic metric spaces was introduced by Kirisci and Simsek and various fixed point results were established by them in the setting of these spaces [34,35,36]. Subsequently, Sowndrarajan et al. [37] reported several fixed point results in neutrosophic metric spaces. Sezen [38] presented the concept of controlled fuzzy metric spaces and derived various fixed point results. The concept of fuzzy double-controlled metric space was given by Saleem et al. [39] in 2021. More recently, Uddin et al. [40] established the fixed point theorem on neutrosophic double-controlled metric space and presented an application to the derived result thereon.
Inspired by the above, in the present work, we define the notion of neutrosophic rectangular triple-controlled metric space and establish fixed point theorems. Accordingly, we have organized the rest of the manuscript as follows. Some preliminaries and a monograph are presented in Section 2. In Section 3, we define the neutrosophic metric space and define the Cauchy sequence and its convergence and establish fixed point results. We support the derived results with non-trivial examples. In Section 4, we establish the existence of a unique analytical solution to the Fredholm integral equation. We have also supplemented the derived results by finding the closed form of the unique solution to the intergral equation.

2. Preliminaries

A quick review of the following definitions and monograph will be useful in the sequel.
Definition 1
([19]). A binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is called a continuous triangle norm if:
(1)
σ = σ , ( ) , σ [ 0 , 1 ] ;
(2)
is continuous;
(3)
1 = , ( ) [ 0 , 1 ] ;
(4)
( σ ) κ = ( σ κ ) , for all , σ , κ [ 0 , 1 ] ;
(5)
If κ and σ ν , with , σ , κ , ν [ 0 , 1 ] , then σ κ ν .
Definition 2
([19]). A binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is called a continuous triangle co-norm if:
(1)
σ = σ , for all , σ [ 0 , 1 ] ;
(2)
is continuous;
(3)
0 = 0 , for all [ 0 , 1 ] ;
(4)
( σ ) κ = ( σ κ ) , for all , σ , κ [ 0 , 1 ] ;
(5)
If κ and σ ν , with , σ , κ , ν [ 0 , 1 ] , then σ κ ν .
Definition 3
([2]). Given that β , Γ : × [ 1 , + ) are non-comparable functions, if : × [ 0 , + ) satisfies the following conditions
(a)
( ϑ , Q ) = 0 iff ϑ = Q ;
(b)
( ϑ , Q ) = ( Q , ϑ ) ;
(c)
( ϑ , Q ) β ( ϑ , ψ ) ( ϑ , ψ ) + Γ ( ψ , Q ) ( ψ , Q ) ,
for all ϑ , Q , ψ . Then, ( , ) is said to be a double-controlled metric space.
Definition 4
([39]). Suppose and β , Γ : × [ 1 , + ) are two non-comparable functions, ⋆ is a continuous t-norm and W is a fuzzy set on × × ( 0 , + ) . It is said to be a fuzzy double-controlled metric on ℑ, for all ϑ , Q , ψ if
(i)
W ( ϑ , Q , 0 ) = 0 ;
(ii)
W ( ϑ , Q , ς ) = 1 for all ς > 0 , if and only if ϑ = Q ;
(iii)
W ( ϑ , Q , ς ) = W ( Q , ϑ , ς ) ;
(iv)
W ( ϑ , ψ , ς + ς ) W ϑ , Q , ς β ( ϑ , Q ) W Q , ψ , ς Γ ( Q , ψ ) ;
(v)
W ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is left continuous.
Then, ( , W , E , ) is said to be a fuzzy double-controlled metric space.
Definition 5
([32]). Take . Letbe a continuous t-norm,be a continuous t-co-norm, b 1 and W , E be fuzzy sets on × × ( 0 , + ) . If ( , W , E , , ) fullfils all ϑ , Q and χ , ς > 0 ,
(I)
W ( ϑ , Q , ς ) + E ( ϑ , Q , ς ) 1 ;
(II)
W ( ϑ , Q , ς ) > 0 ;
(III)
W ( ϑ , Q , ς ) = 1 ϑ = Q ;
(IV)
W ( ϑ , Q , ς ) = W ( Q , ϑ , ς ) ;
(V)
W ( ϑ , ψ , b ( ς + χ ) ) W ( ϑ , Q , ς ) W ( Q , ψ , χ ) ;
(VI)
W ( ϑ , Q , · ) is a non-decreasing function of R + and lim ς + W ( ϑ , Q , ς ) = 1 ;
(VII)
E ( ϑ , Q , ς ) > 0 ;
(VIII)
E ( ϑ , Q , ς ) = 0 ϑ = Q ;
(IX)
E ( ϑ , Q , ς ) = E ( Q , ϑ , ς ) ;
(X)
E ( ϑ , ψ , b ( ς + χ ) ) E ( ϑ , F Q , ς ) E ( Q , ψ , χ ) ;
(XI)
E ( ϑ , Q , · ) is a non-increasing function of R + and lim ς + E ( ϑ , Q , ς ) = 0 .
Then, ( , W , E , , ) is an intuitionistic fuzzy b -metric space.
Definition 6
([36]). Let , be a continuous t-norm,be a continuous t-co-norm, and W , E , Υ are neutrosophic sets on × × ( 0 , + ) . It is said to be a neutosophic metric on ℑ, if, for all ϑ , Q , ψ , the following conditions are satisfied:
(1)
W ( ϑ , Q , ς ) + E ( ϑ , Q , ς ) + Υ ( ϑ , Q , ς ) 3 ;
(2)
W ( ϑ , Q , ς ) > 0 ;
(3)
W ( ϑ , Q , ς ) = 1 for all ς > 0 , if and only if ϑ = Q ;
(4)
W ( ϑ , Q , ς ) = W ( Q , ϑ , ς ) ;
(5)
W ( ϑ , ψ , ς + χ ) W ( ϑ , Q , ς ) W ( Q , ψ , χ ) ;
(6)
W ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is continuous and lim ς + W ( ϑ , Q , ς ) = 1 ;
(7)
E ( ϑ , Q , ς ) < 1 ;
(8)
E ( ϑ , Q , ς ) = 0 for all ς > 0 , if and only if ϑ = Q ;
(9)
E ( ϑ , Q , ς ) = E ( Q , ϑ , ς ) ;
(10)
E ( ϑ , ψ , ς + χ ) E ( ϑ , Q , ς ) E ( Q , ψ , χ ) ;
(11)
E ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is continuous and lim ς + E ( ϑ , Q , ς ) = 0 ;
(12)
Υ ( ϑ , Q , ς ) < 1 ;
(13)
Υ ( ϑ , Q , ς ) = 0 for all ς > 0 , if and only if ϑ = Q ;
(14)
Υ ( ϑ , Q , ς ) = Υ ( Q , ϑ , ς ) ;
(15)
Υ ( ϑ , ψ , ς + χ ) Υ ( ϑ , Q , ς ) Υ ( Q , ψ , χ ) ;
(16)
Υ ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is continuous and lim ς + Υ ( ϑ , Q , ς ) = 0 ;
(17)
If ς 0 , then W ( ϑ , Q , ς ) = 0 , E ( ϑ , Q , ς ) = 0 .
Then, ( , W , E , Υ , , ) is called a neutrosophic metric space.
Now, we present our main results.

3. Main Results

We commence this section by defining neutrosophic rectangular triple-controlled metric space.
Definition 7.
Let and β , Γ , η : × [ 1 , + ) be given non-comparable functions, be a continuous t-norm, and be a continuous t-co-norm. The neutrosophic set W , E , G on × × ( 0 , + ) is said to be a neutrosophic rectangular triple-controlled metric on ℑ, if, for any ϑ , ψ and all distinct x , Q \ { ϑ , ψ } , the following conditions are satisfied:
(i)
W ( ϑ , Q , ς ) + E ( ϑ , Q , ς ) + G ( ϑ , Q , ς ) 3 ;
(ii)
W ( ϑ , Q , ς ) > 0 ;
(iii)
W ( ϑ , Q , ς ) = 1 for all ς > 0 , if and only if ϑ = Q ;
(iv)
W ( ϑ , Q , ς ) = W ( Q , ϑ , ς ) ;
(v)
W ( ϑ , ψ , ς + χ + w ˇ ) W ϑ , Q , ς β ( ϑ , Q ) W Q , x , χ Γ ( Q , x ) W x , ψ , w ˇ η ( x , ψ ) ;
(vi)
W ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is continuous and lim ς + W ( ϑ , Q , ς ) = 1 ;
(vii)
E ( ϑ , Q , ς ) < 1 ;
(viii)
E ( ϑ , Q , ς ) = 0 for all ς > 0 , if and only if ϑ = Q ;
(ix)
E ( ϑ , Q , ς ) = E ( Q , ϑ , ς ) ;
(x)
E ( ϑ , ψ , ς + χ + w ˇ ) E ϑ , Q , ς β ( ϑ , Q ) E Q , x , χ Γ ( Q , x ) E x , ψ , w ˇ η ( x , ψ ) ;
(xi)
E ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is continuous and lim ς + E ( ϑ , Q , ς ) = 0 ;
(xii)
G ( ϑ , Q , ς ) < 1 ;
(xiii)
G ( ϑ , Q , ς ) = 0 for all ς > 0 , if and only if ϑ = Q ;
(xiv)
G ( ϑ , Q , ς ) = G ( Q , ϑ , ς ) ;
(xv)
G ( ϑ , ψ , ς + χ + w ˇ ) G ϑ , Q , ς β ( ϑ , Q ) G Q , x , χ Γ ( Q , x ) G x , ψ , χ η ( x , ψ ) ;
(xvi)
G ( ϑ , Q , · ) : ( 0 , + ) [ 0 , 1 ] is continuous and lim ς + G ( ϑ , Q , ς ) = 0 ;
(xvii)
If ς 0 , then W ( ϑ , Q , ς ) = 0 , E ( ϑ , Q , ς ) = 1 and Υ ( ϑ , Q , ς ) = 1 .
Then, ( , W , E , G , , ) is called a neutrosophic rectangular triple-controlled metric space.
Example 1.
Let = { 1 , 2 , 3 , 4 } and β , Γ , η : × [ 1 , + ) be three non-comparable functions given by β ( ϑ , Q ) = ϑ + Q + 1 , Γ ( ϑ , Q ) = ϑ 2 + Q 2 + 1 , and η ( ϑ , Q ) = ϑ 2 + Q 2 1 . Define W , E , G : × × ( 0 , + ) [ 0 , 1 ] as
W ( ϑ , Q , ς ) = 1 , if ϑ = Q ς ς + max { ϑ , Q } , if otherwise , E ( ϑ , Q , ς ) = 0 , if ϑ = Q max { ϑ , Q } ς + max { ϑ , Q } , if otherwise ,
and
G ( ϑ , Q , ς ) = 0 , if ϑ = Q max { ϑ , Q } ς , if otherwise .
Then, ( , W , E , G , , ) is a neutrosophic rectangular triple-controlled metric space with continuous t-norm σ = σ and continuous t-co-norm, a ¯ = max { , a ¯ } .
Proof. 
We need to prove only (v), (x) and (xv).
Let ϑ = 1 , Q = 2 , x = 3 and ψ = 4 . Then
W ( 1 , 4 , ς + χ + w ˇ ) = ς + χ + w ˇ ς + χ + w ˇ + max { 1 , 4 } = ς + χ + w ˇ ς + χ + w ˇ + 4 ,
whereas
W 1 , 2 , ς β ( 1 , 2 ) = ς β ( 1 , 2 ) ς β ( 1 , 2 ) + max { 1 , 2 } = ς 4 ς 4 + 2 = ς ς + 8 ,
W 2 , 3 , χ Γ ( 2 , 3 ) = χ Γ ( 2 , 3 ) χ Γ ( 2 , 3 ) + max { 2 , 3 } = χ 12 χ 12 + 3 = χ χ + 36 ,
and
W 3 , 4 , w ˇ η ( 3 , 4 ) = w ˇ η ( 3 , 4 ) w ˇ η ( 3 , 4 ) + max { 3 , 4 } = w ˇ 24 w ˇ 24 + 4 = w ˇ w ˇ + 96 .
That is,
ς + χ + w ˇ ς + χ + w ˇ + 3 ς ς + 8 · χ χ + 36 . w ˇ w ˇ + 96 .
Then, this satisfies all ς , χ , w ˇ > 0 . Hence,
W ( ϑ , ψ , ς + χ + w ˇ ) W ϑ , Q , ς β ( ϑ , Q ) W Q , x , χ Γ ( Q , x ) W x , ψ , w ˇ η ( x , ψ ) .
Now,
E ( 1 , 4 , ς + χ + w ˇ ) = max { 1 , 4 } ς + χ + w ˇ + max { 1 , 4 } = 4 ς + χ + w ˇ + 4 ,
whereas
E 1 , 2 , ς β ( 1 , 2 ) = max { 1 , 2 } ς β ( 1 , 2 ) + max { 1 , 2 } = 2 ς 4 + 2 = 8 ς + 8 ,
E 2 , 3 , χ Γ ( 2 , 3 ) = max { 2 , 3 } χ Γ ( 2 , 3 ) + max { 2 , 3 } = 3 χ 12 + 3 = 36 χ + 36 ,
and
E 3 , 4 , w ˇ η ( 3 , 4 ) = max { 3 , 4 } w ˇ η ( 3 , 4 ) + max { 3 , 4 } = 4 w ˇ 24 + 4 = 96 w ˇ + 96 .
That is,
4 ς + χ + w ˇ + 4 max 8 ς + 8 , 36 χ + 36 , 96 w ˇ + 96 .
The above expression is true for all ς , χ , w ˇ > 0 .
Hence,
E ( ϑ , ψ , ς + χ + w ˇ ) E ϑ , Q , ς β ( ϑ , Q ) E x , ψ , χ Γ ( x , ψ ) E x , ψ , w ˇ η ( x , ψ ) .
Now,
G ( 1 , 3 , ς + χ + w ˇ ) = max { 1 , 3 } ς + χ + w ˇ = 3 ς + χ + w ˇ ,
whereas
G 1 , 2 , ς Γ ( 1 , 2 ) = max { 1 , 2 } ς Γ ( 1 , 2 ) = 2 ς 4 = 8 ς ,
G 2 , 3 , χ Γ ( 2 , 3 ) = max { 2 , 3 } χ Γ ( 2 , 3 ) = 3 χ 12 = 36 χ ,
and
G 3 , 4 , w ˇ η ( 3 , 4 ) = max { 3 , 4 } w ˇ η ( 3 , 4 ) = 4 w ˇ 24 = 96 w ˇ .
That is,
3 ς + χ + w ˇ max 8 ς , 36 χ , 96 w ˇ .
Then, it satisfies all ς , χ > 0 . Hence,
G ( ϑ , ψ , ς + χ + w ˇ ) G ϑ , Q , ς β ( ϑ , Q ) G Q , x , χ Γ ( Q , x ) G x , ψ , χ η ( x , ψ ) .
Hence, ( , W , E , G , , ) is a neutrosophic rectangular triple-controlled metric space. □
Remark 1.
It can be seen that the preceding example satisfies both the continuous t-norm a ¯ = min { , a ¯ } and continuous t-co-norm a ¯ = max { , a ¯ } .
Example 2.
Let = B U , where B = { 0 , 1 2 , 1 3 , 1 4 } and U = [ 1 , 2 ] and β , Γ , η : × [ 1 , + ) be given by β ( ϑ , Q ) = 1 , Γ ( ϑ , Q ) = 1 and η ( ϑ , Q ) = 1 . Define ν : × [ 0 , + ) as follows:
ν ( ϑ , Q ) = ν ( Q , ϑ ) for all ϑ , Q ν ( ϑ , Q ) = 0 ϑ = Q ,
and
ν ( 0 , 1 2 ) = ν ( 1 2 , 1 3 ) = 0.2 ν ( 0 , 1 3 ) = ν ( 1 3 , 1 4 ) = 0.02 ν ( 0 , 1 4 ) = ν ( 1 2 , 1 4 ) = 0.5 ν ( ϑ , Q ) = | ϑ Q | , otherwise .
Define W , E , G : × × ( 0 , + ) [ 0 , 1 ] as
W ( ϑ , Q , ς ) = ς ς + ν ( ϑ , Q ) , E ( ϑ , Q , ς ) = ν ( ϑ , Q ) ς + ν ( ϑ , Q ) , G ( ϑ , Q , ς ) = ν ( ϑ , Q ) ς .
Then, we have
W ( ϑ , ψ , ς + χ + w ˇ ) W ϑ , Q , ς β ( ϑ , Q ) W Q , x , χ Γ ( Q , x ) W x , ψ , w ˇ η ( x , ψ ) ,
E ( ϑ , ψ , ς + χ + w ˇ ) E ϑ , Q , ς β ( ϑ , Q ) E x , ψ , χ Γ ( x , ψ ) E x , ψ , w ˇ η ( x , ψ ) ,
G ( ϑ , ψ , ς + χ + w ˇ ) G ϑ , Q , ς β ( ϑ , Q ) G Q , x , χ Γ ( Q , x ) G x , ψ , χ η ( x , ψ ) .
Then, ( , W , E , G , , ) is a neutrosophic rectangular triple-controlled metric space with continuous t-norm a ¯ = a ¯ and continuous t-co-norm a ¯ = max { , a ¯ } .
Definition 8.
Let ( , W , E , G , , ) be a neutrosophic rectangular triple-controlled metric space, an open ball with center ϑ, radius r , 0 < r < 1 and ς > 0 on G ( ϑ , r , ς ) is defined as below:
G ( ϑ , r , ς ) = { Q : W ( ϑ , Q , ς ) > 1 r , E ( ϑ , Q , ς ) < r , G ( ϑ , Q , ς ) < r } .
Definition 9.
Let ( , W , E , G , , ) be a neutrosophic rectangular triple-controlled metric space and { ϑ j } be a sequence in ℑ. Then, { ϑ j } is said to be
(a)
convergent if there exists ϑ such that
lim j + W ( ϑ j , ϑ , ς ) = 1 , lim j + E ( ϑ j , ϑ , ς ) = 0 , lim j + G ( ϑ j , ϑ , ς ) = 0 for all ς > 0 ,
(b)
Cauchy, if and only if, for each a ¯ > 0 , ς > 0 , there exists j 0 N such that
W ( ϑ j , ϑ m , ς ) 1 a ¯ , E ( ϑ j , ϑ m , ς ) a ¯ , E ( ϑ j , ϑ m , ς ) a ¯ for all j , m j 0 ,
( , W , E , G , , ) is called a complete neutrosophic rectangular triple-controlled metric space if every Cauchy seqeunce is convergent in ℑ.
Lemma 1.
Let ( , W , E , G , , ) be a neutrosophic rectangular triple-controlled metric space. If, for some 0 < ρ < 1 and for any ϑ , Q , ς > 0 ,
W ( ϑ , Q , ς ) W ϑ , Q , ς ρ , E ( ϑ , Q , ς ) E ϑ , Q , ς ρ , G ( ϑ , Q , ς ) G ϑ , Q , ς ρ ,
then, ϑ = Q .
Proof. 
(1) implies that
W ( ϑ , Q , ς ) W ϑ , Q , ς ρ j , E ( ϑ , Q , ς ) E ϑ , Q , ς ρ j , G ( ϑ , Q , ς ) G ϑ , Q , ς ρ j , j N , ς > 0 .
Now,
W ( ϑ , Q , ς ) lim j + W ϑ , Q , ς ρ j = 1 , E ( ϑ , Q , ς ) lim j + E ϑ , Q , ς ρ j = 0 , G ( ϑ , Q , ς ) lim j + G ϑ , Q , ς ρ j = 0 , ς > 0 .
Moreover, from (iii), (viii), (xiii), we have ϑ = Q . □
Theorem 1.
Suppose ( , W , E , G , , ) is a complete neutrosophic rectangular triple-controlled metric space in the company of β , Γ , η : × [ 1 , + ) with 0 < ρ < 1 . Let p : be a mapping satisfying
W ( p ϑ , p Q , ρ ς ) W ( ϑ , Q , ς ) , E ( p ϑ , p Q , ρ ς ) E ( ϑ , Q , ς ) and G ( p ϑ , p Q , ρ ς ) G ( ϑ , Q , ς ) ,
for all ϑ , Q and ς > 0 . Then, p has a unique fixed point.
Proof. 
Let ϑ 0 ∈ℑ. Define the sequence ϑ j by ϑ j = p j ϑ 0 = p ϑ j 1 , j N .
For all ς > 0 , we have
W ( ϑ j , ϑ j + 1 , ρ ς ) = W ( p ϑ j 1 , p ϑ j , ρ ς ) W ( ϑ j 1 , ϑ j , ς ) W ϑ j 2 , ϑ j 1 , ς ρ W ϑ j 3 , ϑ j 2 , ς ρ 2 W ϑ 0 , ϑ 1 , ς ρ j 1 , E ( ϑ j , ϑ j + 1 , ρ ς ) = E ( p ϑ j 1 , p ϑ j , ρ ς ) E ( ϑ j 1 , ϑ j , ς ) E ϑ j 2 , ϑ j 1 , ς ρ E ϑ j 3 , ϑ j 2 , ς ρ 2 E ϑ 0 , ϑ 1 , ς ρ j 1 ,
and
G ( ϑ j , ϑ j + 1 , ρ ς ) = G ( p ϑ j 1 , p ϑ j , ς ) G ( ϑ j 1 , ϑ j , ς ) G ϑ j 2 , ϑ j 1 , ς ρ G ϑ j 3 , ϑ j 2 , ς ρ 2 G ϑ 0 , ϑ 1 , ς ρ j 1 .
We obtain
W ( ϑ j , ϑ j + 1 , ρ ς ) W ϑ 0 , ϑ 1 , ς ρ j 1 , E ( ϑ j , ϑ j + 1 , ρ ς ) E ϑ 0 , ϑ 1 , ς ρ j 1 and G ( ϑ j , ϑ j + 1 , ρ ς ) G ϑ 0 , ϑ 1 , ς ρ j 1 .
Using (v), (x) and (xv), we have the following cases:
Case 1. When i = 2 m + 1 , i.e., i is odd, then
W ( ϑ j , ϑ j + 2 m + 1 , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 2 m + 1 , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 4 , ϑ j + 2 m + 1 , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ( ϑ j , ϑ j + 2 m + 1 , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 2 m 2 , ϑ j + 2 m 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
W ϑ j + 2 m 1 , ϑ j + 2 m , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 2 m , ϑ j + 2 m + 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
E ( ϑ j , ϑ j + 2 m + 1 , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 2 m + 1 , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 4 , ϑ j + 2 m + 1 , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
E ( ϑ j , ϑ j + 2 m + 1 , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 2 m 2 , ϑ j + 2 m 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
E ϑ j + 2 m 1 , ϑ j + 2 m , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 2 m , ϑ j + 2 m + 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
and
G ( ϑ j , ϑ j + 2 m + 1 , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 2 m + 1 , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 4 , ϑ j + 2 m + 1 , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
G ( ϑ j , ϑ j + 2 m + 1 , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
G ϑ j + 2 m 2 , ϑ j + 2 m 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 2 m 1 , ϑ j + 2 m , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 2 m , ϑ j + 2 m + 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) .
Using (3) in the above inequalities, we have
W ( ϑ j , ϑ j + 2 m + 1 , ς ) W ϑ 0 , ϑ 1 , ς 3 ρ j 1 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 ρ j ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ 0 , ϑ 1 , ς 3 2 ρ j + 1 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 2 ρ j + 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 3 ρ j + 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 3 ρ j + 4 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 3 ρ j + 5 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 3 ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 2 ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 1 ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
E ( ϑ j , ϑ j + 2 m + 1 , ς ) E ϑ 0 , ϑ 1 , ς 3 ρ j 1 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 ρ j ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ 0 , ϑ 1 , ς 3 2 ρ j + 1 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 2 ρ j + 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 3 ρ j + 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 3 ρ j + 4 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 3 ρ j + 5 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 3 ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 2 ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 1 ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
G ( ϑ j , ϑ j + 2 m + 1 , ς ) G ϑ 0 , ϑ 1 , ς 3 ρ j 1 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 ρ j ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ 0 , ϑ 1 , ς 3 2 ρ j + 1 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 2 ρ j + 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 3 ρ j + 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 3 ρ j + 4 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 3 ρ j + 5 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 3 ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 2 ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ 0 , ϑ 1 , ς 3 m ρ j + 2 m 1 ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) .
Case 2. When i = 2 m , i.e., i is even, then
W ( ϑ j , ϑ j + 2 m , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 2 m , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 4 , ϑ j + 2 m , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
W ( ϑ j , ϑ j + 2 m , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 2 m 4 , ϑ j + 2 m 3 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 2 m 3 , ϑ j + 2 m 2 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 2 m 2 , ϑ j + 2 m , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ,
E ( ϑ j , ϑ j + 2 m , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 2 m , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 4 , ϑ j + 2 m , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
E ( ϑ j , ϑ j + 2 m , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 2 m 4 , ϑ j + 2 m 3 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 2 m 3 , ϑ j + 2 m 2 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 2 m 2 , ϑ j + 2 m , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ,
and
G ( ϑ j , ϑ j + 2 m , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 2 m , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 4 , ϑ j + 2 m , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
G ( ϑ j , ϑ j + 2 m , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 2 m 4 , ϑ j + 2 m 3 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 2 m 3 , ϑ j + 2 m 2 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 2 m 2 , ϑ j + 2 m , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) .
Using (3) in the above inequalities, we have
W ( ϑ j , ϑ j + 2 m , ς ) W ϑ 0 , ϑ 1 , ς 3 ρ j 1 β ( ϑ j , ϑ j + 1 ) W ϑ 0 , ϑ 1 , ς 3 ρ j ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ 0 , ϑ 1 , ς 3 2 ρ j + 1 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 2 ρ j + 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 3 ρ j + 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 3 ρ j + 4 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 3 ρ j + 5 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 5 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 4 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 3 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ,
E ( ϑ j , ϑ j + 2 m , ς ) E ϑ 0 , ϑ 1 , ς 3 ρ j 1 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ρ j ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ 0 , ϑ 1 , ς 3 2 ρ j + 1 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ 0 , ϑ 1 , ς 3 2 ρ j + 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) )
E ϑ 0 , ϑ 1 , ς 3 3 ρ j + 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ 0 , ϑ 1 , ς 3 3 ρ j + 4 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ 0 , ϑ 1 , ς 3 3 ρ j + 5 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 5 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 4 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 3 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ,
and,
G ( ϑ j , ϑ j + 2 m , ς ) G ϑ 0 , ϑ 1 , ς 3 ρ j 1 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ρ j ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ 0 , ϑ 1 , ς 3 2 ρ j + 1 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 2 ρ j + 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 3 ρ j + 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 3 ρ j + 4 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 3 ρ j + 5 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 5 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 4 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ 0 , ϑ 1 , ς 3 m 1 ρ j + 2 m 3 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) .
As j + , we have
lim j + W ( ϑ j , ϑ j + i , ς ) = 1 1 1 = 1 , lim j + E ( ϑ j , ϑ j + i , ς ) = 0 0 0 = 0 ,
and
lim j + G ( ϑ j , ϑ j + i , ς ) = 0 0 0 = 0 .
Therefore, { ϑ j } is a Cauchy sequence. Since ( , W , E , G , , ) is a complete neutrosophic rectangular triple-controlled metric space, we have
lim j + ϑ j = ϑ .
Now, due to the fact that ϑ is a fixed point of p , utilizing e, j, and o, we obtain
W ( ϑ , p ϑ , ς ) W ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) W ϑ j , ϑ j + 1 , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , p ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) = W ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) W p ϑ j 1 , p ϑ j , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) W p ϑ j , p ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) W ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) W ϑ j 1 , ϑ j , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) W ϑ j , ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) 1 1 1 = 1 as j + ,
E ( ϑ , p ϑ , ς ) E ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) E ϑ j , ϑ j + 1 , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , p ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) = E ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) E p ϑ j 1 , p ϑ j , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) E p ϑ j , p ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) E ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) E ϑ j 1 , ϑ j , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) E ϑ j , ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) 0 0 0 = 0 as j + ,
and
G ( ϑ , p ϑ , ς ) G ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) G ϑ j , ϑ j + 1 , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , p ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) = G ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) G p ϑ j 1 , p ϑ j , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) G p ϑ j , p ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) G ϑ , ϑ j , ς 3 ( β ( ϑ , ϑ j ) ) G ϑ j 1 , ϑ j , ς 3 ( Γ ( ϑ j , ϑ j + 1 ) ) G ϑ j , ϑ , ς 3 ( η ( ϑ j + 1 , p ϑ ) ) 0 0 0 = 0 as j + .
Hence, p ϑ = ϑ .
Now, we examine the uniqueness. Let p κ = κ for some κ , then
1 W ( κ , ϑ , ς ) = W ( p κ , p ϑ , ς ) W κ , ϑ , ς ρ = W p κ , p ϑ , ς ρ W κ , ϑ , ς ρ 2 W κ , ϑ , ς ρ j 1 as j + , 0 E ( κ , ϑ , ς ) = E ( p κ , p ϑ , ς ) E κ , ϑ , ς ρ = E p κ , p ϑ , ς ρ E κ , ϑ , ς ρ 2 E κ , ϑ , ς ρ j 0 as j + ,
and
0 G ( κ , ϑ , ς ) = G ( p κ , p ϑ , ς ) G κ , ϑ , ς ρ = G p κ , p ϑ , ς ρ G κ , ϑ , ς ρ 2 G κ , ϑ , ς ρ j 0 as j + ,
by using (iii), (viii) and (xiii), ϑ = κ . □
Definition 10.
Let ( , W , E , G , , ) be a neutrosophic rectangular triple-controlled metric space. A map p : is an NRT(neutrosophic rectangular triple)-controlled contraction if there exists 0 < ρ < 1 , such that
1 W ( p ϑ , p Q , ς ) 1 ρ 1 W ( ϑ , Q , ς ) 1
E ( p ϑ , p Q , ς ) ρ E ( ϑ , Q , ς ) ,
and
G ( p ϑ , p Q , ς ) ρ G ( ϑ , Q , ς ) ,
for all ϑ , Q and ς > 0 .
We now present the fixed point result for an NRT (neutrosophic rectangular triple)-controlled contraction.
Theorem 2.
Let ( , W , E , G , , ) be a complete neutrosophic rectangular triple-controlled metric space with β , Γ , η : × [ 1 , + ) . Let p : be an ND-controlled contraction. Further, suppose that for an arbitrary ϑ 0 , and j , q N , where ϑ j = p j ϑ 0 = p ϑ j 1 . Then, p has a unique fixed point.
Proof. 
Let ϑ 0 ∈ℑ. Define ϑ j by ϑ j = p j ϑ 0 = p ϑ j 1 , j N . From (4)–(6), for all ς > 0 , j > q , we deduce
1 W ( ϑ j , ϑ j + 1 , ς ) 1 = 1 W ( p ϑ j 1 , p ϑ j , ς ) 1 ρ 1 W ( ϑ j 1 , ϑ j , ς ) = ρ W ( ϑ j 1 , ϑ j , ς ) ρ 1 W ( ϑ j , ϑ j + 1 , ς ) ρ W ( ϑ j 1 , ϑ j , ς ) + ( 1 ρ ) ρ 2 W ( ϑ j 2 , ϑ j 1 , ς ) + ρ ( 1 ρ ) + ( 1 ρ ) .
Proceeding in this way, we have
1 W ( ϑ j , ϑ j + 1 , ς ) ρ j W ( ϑ 0 , ϑ 1 , ς ) + ρ j 1 ( 1 ρ ) + ρ j 2 ( 1 ρ ) + + ρ ( 1 ρ ) + ( 1 ρ ) ρ j W ( ϑ 0 , ϑ 1 , ς ) + ( ρ j 1 + ρ j 2 + + 1 ) ( 1 ρ ) ρ j W ( ϑ 0 , ϑ 1 , ς ) + ( 1 ρ j ) .
We obtain
1 ρ j W ( ϑ 0 , ϑ 1 , ς ) + ( 1 ρ j ) W ( ϑ j , ϑ j + 1 , ς )
E ( ϑ j , ϑ j + 1 , ς ) = E ( p ϑ j 1 , p ϑ j , ς ) ρ E ( ϑ j 1 , ϑ j , ς ) = E ( p ϑ j 2 , p ϑ j 1 , ς ) ρ 2 E ( ϑ j 2 , ϑ j 1 , ς ) ρ j E ( ϑ 0 , ϑ 1 , ς ) ,
and
G ( ϑ j , ϑ j + 1 , ς ) = G ( p ϑ j 1 , p ϑ j , ς ) ρ G ( ϑ j 1 , ϑ j , ς ) = G ( p ϑ j 2 , p ϑ j 1 , ς ) ρ 2 G ( ϑ j 2 , ϑ j 1 , ς ) ρ j G ( ϑ 0 , ϑ 1 , ς ) .
Using (v), (x) and (xv), we have the following cases:
Case 1. When i = 2 m + 1 , i.e., i is odd, then
W ( ϑ j , ϑ j + 2 m + 1 , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 2 m + 1 , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 4 , ϑ j + 2 m + 1 , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
W ( ϑ j , ϑ j + 2 m + 1 , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 2 m 2 , ϑ j + 2 m 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 2 m 1 , ϑ j + 2 m , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) W ϑ j + 2 m , ϑ j + 2 m + 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
E ( ϑ j , ϑ j + 2 m + 1 , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 2 m + 1 , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 4 , ϑ j + 2 m + 1 , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
E ( ϑ j , ϑ j + 2 m + 1 , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 2 m 2 , ϑ j + 2 m 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 2 m 1 , ϑ j + 2 m , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) E ϑ j + 2 m , ϑ j + 2 m + 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
and
G ( ϑ j , ϑ j + 2 m + 1 , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 2 m + 1 , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 4 , ϑ j + 2 m + 1 , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
G ( ϑ j , ϑ j + 2 m + 1 , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 6 , ϑ j + 2 m + 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 2 m 2 , ϑ j + 2 m 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 2 m 1 , ϑ j + 2 m , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) G ϑ j + 2 m , ϑ j + 2 m + 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) .
Using (3) in the above inequalities, we deduce
W ( ϑ j , ϑ j + 2 m + 1 , ς ) 1 ρ j W ϑ 0 , ϑ 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) + ( 1 ρ j ) 1 ρ j + 1 W ϑ 0 , ϑ 1 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) + ( 1 ρ j + 1 ) 1 ρ j + 2 W ϑ 0 , ϑ 1 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 2 ) 1 ρ j + 3 W ϑ 0 , ϑ 1 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 3 ) 1 ρ j + 4 W ϑ 0 , ϑ 1 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 4 ) 1 ρ j + 5 W ϑ 0 , ϑ 1 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 5 )
1 ρ j + 6 W ϑ 0 , ϑ 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 6 ) 1 ρ j + 2 m 2 W ϑ 0 , ϑ 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 2 m 2 ) 1 ρ j + 2 m 1 W ϑ 0 , ϑ 1 , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 2 m 1 ) 1 ρ j + 2 m W ϑ 0 , ϑ 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) + ( 1 ρ j + 2 m ) ,
E ( ϑ j , ϑ j + 2 m + 1 , ς ) ρ j E ϑ 0 , ϑ 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) ρ j + 1 E ϑ 0 , ϑ 1 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) ρ j + 2 E ϑ 0 , ϑ 1 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 3 E ϑ 0 , ϑ 1 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 4 E ϑ 0 , ϑ 1 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 5 E ϑ 0 , ϑ 1 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 6 E ϑ 0 , ϑ 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 2 m 2 E ϑ 0 , ϑ 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 2 m 1 E ϑ 0 , ϑ 1 , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 2 m E ϑ 0 , ϑ 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ,
and
G ( ϑ j , ϑ j + 2 m + 1 , ς ) ρ j G ϑ 0 , ϑ 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) ρ j + 1 G ϑ 0 , ϑ 1 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) ρ j + 2 G ϑ 0 , ϑ 1 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 3 G ϑ 0 , ϑ 1 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 4 G ϑ 0 , ϑ 1 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 5 G ϑ 0 , ϑ 1 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) )
ρ j + 6 G ϑ 0 , ϑ 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m + 1 ) η ( ϑ j + 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 2 m 2 G ϑ 0 , ϑ 1 , ς 3 m ( β ( ϑ j + 2 m 2 , ϑ j + 2 m 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 2 m 1 G ϑ 0 , ϑ 1 , ς 3 m ( Γ ( ϑ j + 2 m 1 , ϑ j + 2 m ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) ρ j + 2 m G ϑ 0 , ϑ 1 , ς 3 m ( η ( ϑ j + 2 m , ϑ j + 2 m + 1 ) η ( ϑ j + 2 m 2 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m + 1 ) ) .
Case 2. When i = 2 m , i.e., i is even, then
W ( ϑ j , ϑ j + 2 m , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 2 m , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 4 , ϑ j + 2 m , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
W ( ϑ j , ϑ j + 2 m , ς ) W ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) W ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) W ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
W ϑ j + 2 m 4 , ϑ j + 2 m 3 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 2 m 3 , ϑ j + 2 m 2 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) W ϑ j + 2 m 2 , ϑ j + 2 m , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ,
E ( ϑ j , ϑ j + 2 m , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 2 m , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 4 , ϑ j + 2 m , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
E ( ϑ j , ϑ j + 2 m , ς ) E ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) E ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 2 m 4 , ϑ j + 2 m 3 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m ) )
E ϑ j + 2 m 3 , ϑ j + 2 m 2 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) E ϑ j + 2 m 2 , ϑ j + 2 m , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ,
and
G ( ϑ j , ϑ j + 2 m , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 2 m , ς 3 ( η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 4 , ϑ j + 2 m , ς 3 2 ( η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
G ( ϑ j , ϑ j + 2 m , ς ) G ϑ j , ϑ j + 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) G ϑ j + 2 , ϑ j + 3 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 3 , ϑ j + 4 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 4 , ϑ j + 5 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 5 , ϑ j + 6 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 6 , ϑ j + 2 m , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 2 m 4 , ϑ j + 2 m 3 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) )
G ϑ j + 2 m 3 , ϑ j + 2 m 2 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) G ϑ j + 2 m 2 , ϑ j + 2 m , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) .
Using (3) in the above inequalities, we deduce
W ( ϑ j , ϑ j + 2 m , ς ) 1 ρ j W ϑ 0 , ϑ 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) + ( 1 ρ j ) 1 ρ j + 1 W ϑ 0 , ϑ 1 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) + ( 1 ρ j + 1 ) 1 ρ j + 2 W ϑ 0 , ϑ 1 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 2 ) 1 ρ j + 3 W ϑ 0 , ϑ 1 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 3 ) 1 ρ j + 4 W ϑ 0 , ϑ 1 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 4 ) 1 ρ j + 5 W ϑ 0 , ϑ 1 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 5 ) 1 ρ j + 6 W ϑ 0 , ϑ 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 6 ) 1 ρ j + 2 m 4 W ϑ 0 , ϑ 1 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 2 m 4 ) 1 ρ j + 2 m 3 W ϑ 0 , ϑ 1 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 2 m 3 ) 1 ρ j + 2 m 2 W ϑ 0 , ϑ 1 , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m + 1 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) + ( 1 ρ j + 2 m 2 )
G ( ϑ j , ϑ j + 2 m , ς ) ρ j G ϑ 0 , ϑ 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) ρ j + 1 G ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) ρ j + 2 G ϑ 0 , ϑ 1 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 3 G ϑ 0 , ϑ 1 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) )
ρ j + 4 G ϑ 0 , ϑ 1 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 5 G ϑ 0 , ϑ 1 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 6 G ϑ 0 , ϑ 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 2 m 4 G ϑ 0 , ϑ 1 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 2 m 3 G ϑ 0 , ϑ 1 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 2 m 2 G ϑ 0 , ϑ 1 , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) .
E ( ϑ j , ϑ j + 2 m , ς ) ρ j E ϑ 0 , ϑ 1 , ς 3 ( β ( ϑ j , ϑ j + 1 ) ) ρ j + 1 E ϑ j + 1 , ϑ j + 2 , ς 3 ( Γ ( ϑ j + 1 , ϑ j + 2 ) ) ρ j + 2 E ϑ 0 , ϑ 1 , ς 3 2 ( β ( ϑ j + 2 , ϑ j + 3 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 3 E ϑ 0 , ϑ 1 , ς 3 2 ( Γ ( ϑ j + 3 , ϑ j + 4 ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 4 E ϑ 0 , ϑ 1 , ς 3 3 ( β ( ϑ j + 4 , ϑ j + 5 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 5 E ϑ 0 , ϑ 1 , ς 3 3 ( Γ ( ϑ j + 5 , ϑ j + 6 ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 6 E ϑ 0 , ϑ 1 , ς 3 3 ( η ( ϑ j + 6 , ϑ j + 2 m ) η ( ϑ j + 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 2 m 4 E ϑ 0 , ϑ 1 , ς 3 m 1 ( β ( ϑ j + 2 m 4 , ϑ j + 2 m 3 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 2 m 3 E ϑ 0 , ϑ 1 , ς 3 m 1 ( Γ ( ϑ j + 2 m 3 , ϑ j + 2 m 2 ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) ρ j + 2 m 2 E ϑ 0 , ϑ 1 , ς 3 m 1 ( η ( ϑ j + 2 m 2 , ϑ j + 2 m ) η ( ϑ j + 2 m 4 , ϑ j + 2 m ) η ( ϑ j + 2 , ϑ j + 2 m ) ) .
As j + , we deduce
lim j + W ( ϑ j , ϑ j + q , ς ) = 1 1 = 1 , lim j + E ( ϑ j , ϑ j + q , ς ) = 0 0 0 = 0 ,
and
lim j + G ( ϑ j , ϑ j + q , ς ) = 0 0 0 = 0 .
Therefore, { ϑ j } is a Cauchy sequence. Since ( , W , E , G , , ) is a complete neutrosophic rectangular triple-controlled metric space, we have
lim j + ϑ j = ϑ .
Now, we examine that ϑ is a fixed point of p . Utilizing (v), (x) and (xv), we obtain
1 W ( p ϑ j , p ϑ , ς ) 1 ρ 1 W ( ϑ j , ϑ , ς ) 1 = ρ W ( ϑ j , ϑ , ς ) ρ 1 ρ W ( ϑ j , ϑ , ς ) + ( 1 ρ ) W ( p ϑ j , p ϑ , ς ) .
Using the above inequality, we obtain
W ( ϑ , p ϑ , ς ) W ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) W ϑ j , ϑ j + 1 , ς 3 Γ ( ϑ j , ϑ j + 1 ) W ϑ j + 1 , p ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) W ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) W p ϑ j 1 , p ϑ j , ς 3 Γ ( ϑ j , ϑ j + 1 ) W p ϑ j , p ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) W ϑ , ϑ j , ς ( 3 β ( ϑ , ϑ j ) ) 1 ρ j W ( ϑ 0 , ϑ 1 , ς 3 Γ ( ϑ j , ϑ j + 1 ) ) + ( 1 ρ j ) 1 ρ W ϑ j , ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) + ( 1 ρ ) 1 1 1 = 1 as j + ,
E ( ϑ , p ϑ , ς ) E ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) E ϑ j , ϑ j + 1 , ς 3 Γ ( ϑ j , ϑ j + 1 ) E ϑ j + 1 , p ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) E ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) E p ϑ j 1 , p ϑ j , ς 3 Γ ( ϑ j , ϑ j + 1 ) E p ϑ j , p ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) E ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) ρ j 1 E ϑ j 1 , ϑ j , ς 3 Γ ( ϑ j , ϑ j + 1 ) ρ E ϑ j , ϑ , ς 3 η ( ϑ j + 1 , ϑ ) 0 0 0 = 0 as j + ,
and
G ( ϑ , p ϑ , ς ) G ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) G ϑ j , ϑ j + 1 , ς 3 Γ ( ϑ j , ϑ j + 1 ) G ϑ j + 1 , p ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) G ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) G p ϑ j 1 , p ϑ j , ς 3 Γ ( ϑ j , ϑ j + 1 ) G p ϑ j , p ϑ , ς 3 η ( ϑ j + 1 , p ϑ ) G ϑ , ϑ j , ς 3 β ( ϑ , ϑ j ) ρ j 1 G ϑ j 1 , ϑ j , ς 3 Γ ( ϑ j , ϑ j + 1 ) ρ G ϑ j , ϑ , ς 3 η ( ϑ j + 1 , ϑ ) 0 0 0 = 0 as j + .
Hence, p ϑ = ϑ . For uniqueness, consider that p κ = κ for some κ . Then,
1 W ( ϑ , κ , ς ) 1 = 1 W ( p ϑ , p κ , ς ) 1 ρ 1 W ( ϑ , κ , ς ) 1 < 1 W ( ϑ , κ , ς ) 1 ,
E ( ϑ , κ , ς ) = E ( p ϑ , p κ , ς ) ρ E ( ϑ , κ , ς ) < E ( ϑ , κ , ς ) ,
and
G ( ϑ , κ , ς ) = G ( p ϑ , p κ , ς ) ρ G ( ϑ , κ , ς ) < G ( ϑ , κ , ς ) ,
which are contradictions.
Thus, we have W ( ϑ , κ , ς ) = 1 , E ( ϑ , κ , ς ) = 0 and G ( ϑ , κ , ς ) = 0 , and accordingly, ϑ = κ . □
Example 3.
Let = [ 0 , 1 ] and β , Γ , η : × [ 1 , + ) be three non-comparable functions given by
β ( ϑ , Q ) = 1 if ϑ = Q , 1 + max { ϑ , Q } 1 + min { ϑ , Q } if ϑ Q ,
Γ ( ϑ , Q ) = 1 if ϑ = Q , 1 + max { ϑ 2 , Q 2 } 1 + min { ϑ 2 , Q 2 } if ϑ Q ,
and
η ( ϑ , Q ) = 1 if ϑ = Q , 1 + max { ϑ 2 , Q } 1 + min { ϑ 2 , Q } if ϑ Q .
Define W , E , G : × × ( 0 , + ) [ 0 , 1 ] as
W ( ϑ , Q , ς ) = ς ς + | ϑ Q | , E ( ϑ , Q , ς ) = | ϑ Q | ς + | ϑ Q | , G ( ϑ , Q , ς ) = | ϑ Q | ς .
Then, ( , W , E , G , , ) is a complete neutrosophic rectangular triple-controlled metric space with continuous t-norm σ = σ and continuous t-co-norm σ = max { , σ } .
Define p : by p ( ϑ ) = 1 3 ϑ 5 and take ρ [ 1 2 , 1 ) , then
W ( p ϑ , p Q , ρ ς ) = W 1 3 ϑ 5 , 1 3 Q 5 , ρ ς = ρ ς ρ ς + | 1 3 ϑ 5 1 3 Q 5 | = ρ ς ρ ς + | 3 ϑ 3 Q | 5 ρ ς ρ ς + | ϑ Q | 5 = 5 ρ ς 5 ρ ς + | ϑ Q | ς ς + | ϑ Q | = W ( ϑ , Q , ς ) ,
E ( p ϑ , p Q , ρ ς ) = E 1 3 ϑ 5 , 1 3 Q 5 , ρ ς = | 1 3 ϑ 5 1 3 Q 5 | ρ ς + | 1 3 ϑ 5 1 3 Q 5 | = | 3 ϑ 3 Q | 5 ρ ς + | 3 ϑ 3 Q | 5 = | 3 ϑ 3 Q | 5 ρ ς + | 3 ϑ 3 Q | | ϑ Q | 5 ρ ς + | ϑ Q | | ϑ Q | ς + | ϑ Q | = E ( ϑ , Q , ς ) ,
and
G ( p ϑ , p Q , ρ ς ) = G 1 3 ϑ 5 , 1 3 Q 5 , ρ ς = | 1 3 ϑ 5 1 3 Q 5 | ρ ς = | 3 ϑ 3 Q | 5 ρ ς = | 3 ϑ 3 Q | 5 ρ ς | ϑ Q | 5 ρ ς | ϑ Q | ς = G ( ϑ , Q , ς ) .
Thus, all conditions of Theorem 1 are satisfied with 0 as the unique fixed point for p .

Application

Let = C ( [ c , a ] , R ) , the set of real-valued continuous functions defined on [ c , a ] .
Consider the integral equation
ϑ ( τ ) = ( τ ) + δ c a ( τ , v ) ϑ ( τ ) ν v for τ , v [ c , a ]
where δ > 0 , ( v ) is a fuzzy function of v : v [ c , a ] and : C ( [ c , a ] × R ) R + . Define W and E by means of
W ( ϑ ( τ ) , Q ( τ ) , ς ) = sup τ [ c , a ] ς ς + | ϑ ( τ ) Q ( τ ) | for all ϑ , Q and ς > 0 , E ( ϑ ( τ ) , Q ( τ ) , ς ) = 1 sup τ [ c , a ] ς ς + | ϑ ( τ ) Q ( τ ) | for all ϑ , Q and ς > 0 ,
and
G ( ϑ ( τ ) , Q ( τ ) , ς ) = sup τ [ c , a ] | ϑ ( τ ) Q ( τ ) | ς for all ϑ , Q and ς > 0 ,
with the continuous t-norm and continuous t-co-norm defined by σ = · σ and σ = max { , σ } , respectively. Define β , Γ , η : × [ 1 , + ) as
β ( ϑ , Q ) = 1 if ϑ = Q , 1 + max { ϑ , Q } 1 + min { ϑ , Q } if ϑ Q ,
Γ ( ϑ , Q ) = 1 if ϑ = Q , 1 + max { ϑ 2 , Q 2 } 1 + min { ϑ 2 , Q 2 } if ϑ Q ,
and
η ( ϑ , Q ) = 1 if ϑ = Q , 1 + max { ϑ 2 , Q } 1 + min { ϑ 2 , Q } if ϑ Q .
Then, ( , W , E , G , , ) is a complete neutrosophic rectangular triple-controlled metric space. Let | ( τ , v ) ϑ ( τ ) ( τ , v ) Q ( τ ) | | ϑ ( τ ) Q ( τ ) | for ϑ , Q , ρ ( 0 , 1 ) and for all τ , v [ c , a ] . Moreover, let ( τ , v ) ( δ c a ν v ) ρ < 1 . Then, the integral Equation (10) has a unique solution.
Proof. 
Define p : by
p ϑ ( τ ) = ( τ ) + δ c a ( τ , v ) ϑ ( τ ) ν v for all τ , v [ c , a ] .
Now, for all ϑ , Q , we deduce
W ( p ϑ ( τ ) , p Q ( τ ) , ρ ς ) = sup τ [ c , a ] ρ ς ρ ς + | p ϑ ( τ ) p Q ( τ ) | = sup τ [ c , a ] ρ ς ρ ς + | ( τ ) + δ c a ( τ , v ) ϑ ( τ ) ν v ( τ ) δ c a ( τ , v ) ϑ ( τ ) ν v | = sup τ [ c , a ] ρ ς ρ ς + | δ c a ( τ , v ) ϑ ( τ ) ν v δ c a ( τ , v ) ϑ ( τ ) ν v | = sup τ [ c , a ] ρ ς ρ ς + | ( τ , v ) ϑ ( τ ) ( τ , v ) Q ( τ ) | ( δ c a ν v ) sup τ [ c , a ] ς ς + | ϑ ( τ ) Q ( τ ) | W ( ϑ ( τ ) , Q ( τ ) , ς ) ,
E ( p ϑ ( τ ) , p Q ( τ ) , ρ ς ) = 1 sup τ [ c , a ] ρ ς ρ ς + | p ϑ ( τ ) p Q ( τ ) | = 1 sup τ [ c , a ] ρ ς ρ ς + | ( τ ) + δ c a ( τ , v ) ϑ ( τ ) ν v ( τ ) δ c a ( τ , v ) ϑ ( τ ) ν v | = 1 sup τ [ c , a ] ρ ς ρ ς + | δ c a ( τ , v ) ϑ ( τ ) ν v δ c a ( τ , v ) ϑ ( τ ) ν v | = 1 sup τ [ c , a ] ρ ς ρ ς + | ( τ , v ) ϑ ( τ ) ( τ , v ) Q ( τ ) | ( δ c a ν v ) 1 sup τ [ c , a ] ς ς + | ϑ ( τ ) Q ( τ ) | E ( ϑ ( τ ) , Q ( τ ) , ς ) ,
and
G ( p ϑ ( τ ) , p Q ( τ ) , ρ ς ) = sup τ [ c , a ] ρ ς ρ ς + | p ϑ ( τ ) p Q ( τ ) | = sup τ [ c , a ] ρ ς ρ ς + | ( τ ) + δ c a ( τ , v ) ϑ ( τ ) ν v ( τ ) δ c a ( τ , v ) ϑ ( τ ) ν v | = sup τ [ c , a ] ρ ς ρ ς + | δ c a ( τ , v ) ϑ ( τ ) ν v δ c a ( τ , v ) ϑ ( τ ) ν v | = sup τ [ c , a ] ρ ς ρ ς + | ( τ , v ) ϑ ( τ ) ( τ , v ) Q ( τ ) | ( δ c a ν v ) sup τ [ c , a ] ς ς + | ϑ ( τ ) Q ( τ ) | W ( ϑ ( τ ) , Q ( τ ) , ς ) ,
Thus, all the conditions of Theorem (1) are satisfied and operator p has a unique fixed point. This proves that (10) has a unique solution. □
Example 4.
Consider the integral equation
ϑ ( τ ) = | cos τ | + 1 7 0 1 v ϑ ( v ) ν v , for all v [ 0 , 1 ] .
Then, it has a solution in ℑ.
Proof. 
Let p : be defined by
p ϑ ( τ ) = | cos τ | + 1 7 0 1 v ϑ ( v ) ν v ,
and set ( τ , v ) ϑ ( τ ) = 1 7 v ϑ ( v ) and ( τ , v ) Q ( τ ) = 1 7 v Q ( v ) , where ϑ , Q , and for all τ , v [ 0 , 1 ] . Then, we have
| ( τ , v ) ϑ ( τ ) ( τ , v ) Q ( τ ) | = | 1 7 v ϑ ( v ) 1 7 v Q ( v ) | = v 7 | ϑ ( v ) Q ( v ) | | ϑ ( v ) Q ( v ) | .
Furthermore, see that 1 7 0 1 v ν v = 1 7 ( 1 ) 2 2 ( 0 ) 2 2 = ρ < 1 , where δ = 1 7 . It is easy to verify all other conditions of the preceding application and hence a solution exists in . □
Indeed, the closed form of the unique solution for the integral equation of Example 4 using the software is found to be
a ( τ ) = | cos τ | + 0.0574712 ,
and the graph of the solution is shown in Figure 1.

4. Conclusions

In the above work, we have defined neutrosophic rectangular triple-controlled metric spaces and defined some topological properties of such spaces. We have proven the existence of a unique fixed point under various contractive conditions in these spaces, supported with non-trivial examples. To substantiate the derived results, we have presented the existence of a unique analytical solution to the Fredholm integral equations, outperforming those present in the literature. We have also presented the closed form of the unique solution to Example 4 to supplement the derived results. It is an open problem to explore the possibility of extending our results thorugh various contractive conditions, such as Meir-Keeler contractions, Ciric-type contractions or by using more generalized verisons of the defined spaces.

Author Contributions

Investigation: G.M., R.R. and A.J.G.; Methodology: R.R. and G.M.; Project administration: R.R. and S.R. (Slobodan Radojevic), S.R. (Stojan Radenović); Software: A.J.G. and O.A.A.A.; Supervision: R.R. and S.R.; Writing—original draft: G.M. and R.R.; Writing—review and editing: R.R., O.A.A.A. and S.R. (Slobodan Radojevic), S.R. (Stojan Radenović). All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The research was supported by the Deanship of Scientific Research, Prince Sattam Bin Abulaziz University, Alkharj. The authors are grateful to the external reviewers for their valuable comments, which helped to bring the manuscript to the present form.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Banach, S. Sur les operations dans les ensembles abstraits et leur application aux equations integrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Itoh, S. Random fixed point theorems to an application to random differential equations in Banach Spaces. J. Math. Anal. Appl. 1979, 97, 261–273. [Google Scholar] [CrossRef] [Green Version]
  3. 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]
  4. Das, P. A fixed point theorem on a class of generalised metric spaces. Korean J. Math. Sci. 2002, 9, 29–33. [Google Scholar]
  5. Das, P.; Lahri, B.K. Fixed point of a Ljubomir Ciric’s quasi-contraction mapping in a generalized metric space. Publ. Math. Debr. 2002, 61, 589–594. [Google Scholar]
  6. Azam, A.; Arshad, M. Kannan Fixed Point Theorems on generalised metric spaces. J. Nonlinear Sci. Appl. 2008, 1, 45–48. [Google Scholar] [CrossRef]
  7. Azam, A.; Arshad, M.; Beg, I. Banach contraction principle on cone rectangular metric spaces. Appl. Anal. Discret. Math. 2009, 3, 236–241. [Google Scholar] [CrossRef]
  8. Das, P. A fixed point theorem in generalized metric spaces. Soochow J. Math. 2007, 33, 33–39. [Google Scholar]
  9. Das, P.; Lahri, B.K. Fixed Point of contractive mappings in generalised metric space. Math. Slovaca 2009, 59, 499–504. [Google Scholar] [CrossRef]
  10. George, R.; Rajagopalan, R. Common fixed point results for ψ-ϕ contractions in rectangular metric spaces. Bull. Math. Anal. Appl. 2013, 5, 44–52. [Google Scholar]
  11. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  12. Schweizer, B.; Sklar, A. Statistical metric spaces. Pac. J. Math. 1960, 10, 314–334. [Google Scholar] [CrossRef] [Green Version]
  13. Kramosil, I.; Michlek, J. Fuzzy metric and statistical metric spaces. Kybernetika 1975, 11, 336–344. [Google Scholar]
  14. Grabiec, M. Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27, 385–389. [Google Scholar] [CrossRef]
  15. Fang, J.X. On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 1992, 46, 107–113. [Google Scholar] [CrossRef]
  16. 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] [CrossRef]
  17. Mihet, D. A Banach contraction theorem in fuzzy metric spaces. Fuzzy Sets Syst. 2004, 144, 431–439. [Google Scholar] [CrossRef]
  18. Gregory, V.; Romuguera, S. Fuzzy quasi metric spaces. Appl. Gen. Topol. 2004, 5, 129–136. [Google Scholar] [CrossRef] [Green Version]
  19. Park, J.H. Intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2004, 22, 1039–1046. [Google Scholar] [CrossRef]
  20. Rafi, M.; Noorani, M.S.M. Fixed theorems on intuitionistic fuzzy metric space. Iran. J. Fuzzy Syst. 2006, 3, 23–29. [Google Scholar]
  21. Alaca, C.; Turkoglu, D.; Yildiz, C. Fixed points in intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2006, 29, 1073–1078. [Google Scholar] [CrossRef]
  22. Romaguera, S.; Sapena, A.; Tirado, P. The Banach fixed point theorem in fuzzy quasi metric spaces with application to the domain of words. Topol. Appl. 2007, 154, 2196–2203. [Google Scholar] [CrossRef] [Green Version]
  23. Abbas, M.; Altun, I.; Gopal, D. Common Fixed Point Theorems for Non Compatible Mappings in Fuzzy Metric Spaces. Bull. Math. Anal. Appl. 2009, 1, 47–56. [Google Scholar]
  24. Cho, Y.J.; Sedghi, S.; Shobe, N. Generalised fixed point theorems for compatible mappings with some types in fuzzy metric spaces. Chaos Solitons Fractals 2009, 39, 2233–2244. [Google Scholar] [CrossRef]
  25. Gopal, D.; Imdad, M.; Vetro, C. Impact of Common Property (EA) on Fixed Point Theorems in Fuzzy Metric Spaces. Fixed Point Theory Appl. 2011, 14, 1–11. [Google Scholar] [CrossRef] [Green Version]
  26. Sintunavarat, W.; Kumam, P. Fixed Theorems for a Generalized Intuitionistic Fuzzy Contraction in Intuitionistic Fuzzy Metric Spaces. Thai J. Math. 2012, 10, 123–135. [Google Scholar]
  27. Dey, D.; Saha, M. An extension of Banach fixed point theorem in fuzzy metric space. Bol. Soc. Parana Mat. 2014, 32, 299–304. [Google Scholar] [CrossRef] [Green Version]
  28. Rajagopalan, R.; George, R.; Khan, M.S.; Reshma, K.P. Common Fixed Point Theorems for Single and Set-valued Horizontally Weakly Compatible Pairs of Mappings in Dislocated Fuzzy Metric Spaces. Int. J. Math. Anal. 2014, 8, 683–697. [Google Scholar] [CrossRef]
  29. George, R.; Nabwey, H.A.; Reshma, K.P.; Rajagopalan, R. Horizontal Weak Compatibility of Mappings and Common Fixed Points in Dislocated Fuzzy Metric Space. Appl. Math. Sci. 2014, 8, 5641–5652. [Google Scholar] [CrossRef]
  30. Ali, B.; Ali, M.; Hussain, A.; George, R.; Nazir, T. Best proximity points in non-Archimedean fuzzy metric spaces with application to domain of words. AIMS Math. 2022, 7, 16590–16611. [Google Scholar] [CrossRef]
  31. Mlaiki, N. Controlled metric type spaces and the related contraction principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef] [Green Version]
  32. Konwar, N. Extension of fixed results in intuitionistic fuzzy b metric spaces. J. Intell. Fuzzy Syst. 2020, 39, 7831–7841. [Google Scholar] [CrossRef]
  33. Rehman, S.U.; Jabeen, S.; Khan, S.U.; Jaradat, M.M.M. Some α-ϕ Fuzzy Cone Contraction Results with Integral Type Application. J. Math. 2021, 2021, 1566348. [Google Scholar] [CrossRef]
  34. Simsek, N.; Kirişci, M. Fixed point theorems in Neutrosophic metric spaces. Sigma J. Eng. Nat. Sci. 2019, 10, 221–230. [Google Scholar]
  35. Kirişci, M.; Şimşek, N.; Akyiit, M. Fixed point results for a new metric space. Math Meth Appl Sci. 2021, 44, 7416–7422. [Google Scholar] [CrossRef] [Green Version]
  36. Kirişci, M.; Simsek, N. Neutrosophic metric spaces. Math. Sci. 2020, 14, 241–248. [Google Scholar] [CrossRef]
  37. Sowndrarajan, S.; Jeyarama, M.; Smarandache, F. Fixed point Results for Contraction Theorems in Neutrosophic Metric Spaces. Neutrosophic Sets Syst. 2020, 36, 23. [Google Scholar]
  38. Sezen, M.S. Controlled fuzzy metric spaces and some related fixed point results. Numer. Methods Partial Differ. Equ. 2020, 37, 583–593. [Google Scholar] [CrossRef]
  39. Saleem, N.; Isik, H.; Furqan, S.; Park, C. Fuzzy double controlled metric spaces. J. Intell. Fuzzy Syst. 2021, 40, 9977–9985. [Google Scholar] [CrossRef]
  40. Uddin, F.; Ishtiaq, U.; Hussain, A.; Javed, K.; Al Sulami, H.; Ahmed, K. Neutrosophic Double Controlled Metric Spaces and Related Results with Application. Fractal Fractional. 2022, 6, 318. [Google Scholar] [CrossRef]
Figure 1. Solution of Example 4.
Figure 1. Solution of Example 4.
Symmetry 14 02074 g001
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Mani, G.; Ramaswamy, R.; Gnanaprakasam, A.J.; Abdelnaby, O.A.A.; Radojevic, S.; Radenović, S. Solution of Integral Equation with Neutrosophic Rectangular Triple Controlled Metric Spaces. Symmetry 2022, 14, 2074. https://doi.org/10.3390/sym14102074

AMA Style

Mani G, Ramaswamy R, Gnanaprakasam AJ, Abdelnaby OAA, Radojevic S, Radenović S. Solution of Integral Equation with Neutrosophic Rectangular Triple Controlled Metric Spaces. Symmetry. 2022; 14(10):2074. https://doi.org/10.3390/sym14102074

Chicago/Turabian Style

Mani, Gunaseelan, Rajagopalan Ramaswamy, Arul Joseph Gnanaprakasam, Ola A Ashour Abdelnaby, Slobodan Radojevic, and Stojan Radenović. 2022. "Solution of Integral Equation with Neutrosophic Rectangular Triple Controlled Metric Spaces" Symmetry 14, no. 10: 2074. https://doi.org/10.3390/sym14102074

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