Fixed Point Theory on Triple Controlled Metric-like Spaces with a Numerical Iteration

Abstract

Fixed point theory is a versatile mathematical theory that finds applications in a wide range of disciplines, including computer science, engineering, fractals, and even behavioral sciences. In this study, we propose triple controlled metric-like spaces as a generalization of controlled rectangular metric-like spaces. By examining the $\Theta$-contraction mapping within these spaces, we extend and enhance the existing literature to establish significant fixed point results. Utilizing these findings, we demonstrate the existence of solutions to a Fredholm integral equation and provide an example of a numerical iteration method applicable to a specific case of this Fredholm integral equation.

1. Introduction

Fixed point theory, initially proposed by Banach in 1922 [1], has become a valuable tool in both theoretical mathematics and practical applications. Its versatility extends to variational inequalities, linear inequalities, approximation theory, integral and differential equations, dynamic systems, fractals, game theory, optimization problems, mathematical modeling, and image authentication schemes for secure communication and malicious modification detection [2,3,4]. The applications of fixed point theory in various disciplines have been comprehensively documented by Debnath et al. [5]. In recent years, there has been a growing interest in generalizing metric spaces. This has resulted in the development of various spaces such as b-metric spaces [6], extended b-metric spaces [7], controlled metric spaces [8,9], rectangular metric spaces [10], rectangular b-metric spaces [11,12], and controlled rectangular metric-like spaces [13]. These generalizations offer new perspectives and possibilities in the study of metric spaces, constituting a dynamic and evolving field characterized by continuous research endeavors (for examples, see [10,11,12,14,15,16,17,18,19,20,21,22]). These spaces present novel and intriguing approaches to metric space concepts, showing promise for diverse applications.

Furthermore, fixed point theory plays a fundamental role in solving existence and uniqueness problems, particularly in the context of differential and integral equations. It serves as a fundamental framework for addressing various problems, including integrodifferential equations [13,21,23,24]. Researchers have explored various metric-type spaces under different contraction conditions such as the F-contraction introduced by Wardowski [25] and the concept of $\Theta$-contraction introduced by Jleli et al. [26,27] in the context of Branciari metric spaces. The Banach contraction principle provides a powerful tool in nonlinear analysis, enabling the establishment of existence and uniqueness theorems and the resolution of differential and integral equations.

Inspired by the notion of triple controlled metric-type spaces introduced by Tasneem et al. [20] and the work of Azmi [22], this article introduces the concept of triple controlled metric-like spaces. We utilize the $\Theta$-contraction mapping on these spaces to establish a fixed point theorem and provide illustrative examples. In addition, we apply our main fixed point results to prove the existence of solutions for a Fredholm integral equation. To demonstrate practical relevance, we provide an example of a numerical iteration method applicable to a specific case of this Fredholm integral equation. Finally, we conclude the article with an open question for future research.

2. Preliminaries

In 2020, Mlaiki introduced the concept of double controlled metric-like spaces [28]. This novel extension expands the understanding and application of metric-like spaces.

Definition 1.

Let $\mathfrak{F}$ be a non-empty set, and consider the functions $\beta ,\mu :\mathfrak{F}\times \mathfrak{F}\to [1,+\infty )$. A mapping $\sigma :\mathfrak{F}\times \mathfrak{F}\to [0,+\infty )$ is referred to as a double controlled metric-like space if it satisfies the following criteria:

($q1$)

$\sigma ({\xi }_1,{\xi }_2)=0$ implies that ${\xi }_1={\xi }_2$ for all ${\xi }_1,{\xi }_2\in \mathfrak{F}$;

($q2$)

$\sigma ({\xi }_1,{\xi }_2)=\sigma ({\xi }_2,{\xi }_1)$, a symmetry condition for all ${\xi }_1,{\xi }_2\in \mathfrak{F}$;

($q3$)

$\sigma ({\xi }_1,{\xi }_2)\le \beta ({\xi }_1,{\xi }_3)\sigma ({\xi }_1,{\xi }_3)+\mu ({\xi }_3,{\xi }_2)\sigma ({\xi }_3,{\xi }_2)$, for all ${\xi }_1,{\xi }_2,{\xi }_3\in \mathfrak{F}$.

The pair $(\mathfrak{F},\sigma )$ is called a double controlled metric-like space.

Continuing with our exploration, we now introduce the concept of triple controlled rectangular metric-like spaces.

Definition 2.

Let $\mathfrak{F}$ be a non-empty set, and consider the functions $\beta ,\mu ,\gamma :\mathfrak{F}\times \mathfrak{F}\to [1,+\infty )$. A mapping $\sigma :\mathfrak{F}\times \mathfrak{F}\to [0,+\infty )$ is referred to as triple controlled rectangular metric-like space if it satisfies the following criteria:

($q1$)

$\sigma ({\xi }_1,{\xi }_2)=0$ implies that ${\xi }_1={\xi }_2$ for all ${\xi }_1,{\xi }_2\in \mathfrak{F}$;

($q2$)

$\sigma ({\xi }_1,{\xi }_2)=\sigma ({\xi }_2,{\xi }_1),$ a symmetry condition for all ${\xi }_1,{\xi }_2\in \mathfrak{F}$;

($q3$)

$\sigma ({\xi }_1,{\xi }_2)\le \beta ({\xi }_1,{\xi }_3)\sigma ({\xi }_1,{\xi }_3)+\mu ({\xi }_3,{\xi }_4)\sigma ({\xi }_3,{\xi }_4)+\gamma ({\xi }_4,{\xi }_2)\sigma ({\xi }_4,{\xi }_2)$, for all ${\xi }_1,{\xi }_2\in \mathfrak{F}$ and for all distinct points ${\xi }_3,{\xi }_4\in \mathfrak{F},$ each distinct from ${\xi }_1$ and ${\xi }_2$.

The pair $(\mathfrak{F},\sigma )$ is denoted as a triple controlled rectangular metric-like space and will be abbreviated to $\mathcal{TCRMLS}$ throughout this article.

Example 1.

Let $\mathfrak{F}=\{0,1,2,3\}$. Consider the function $\sigma :\mathfrak{F}\times \mathfrak{F}\to [0,+\infty )$ defined by

$$\sigma (0,0)=\sigma (1,1)=\sigma (0,1)=\sigma (1,0)=\sigma (1,3)=\sigma (3,1)=1,\sigma (3,3)=0,$$

and

$$\sigma (2,2)=\sigma (2,1)=\sigma (1,2)=2,\sigma (0,3)=\sigma (3,0)=3,\sigma (2,3)=\sigma (3,2)=1/3,$$

and the three functions $\beta ,\mu ,\gamma :\mathfrak{F}\times \mathfrak{F}\to [1,+\infty )$ are defined by:

$$\beta (x,x)=1,x\in \mathfrak{F},\beta (1,2)=\beta (2,1)=\beta (2,0)=\beta (0,2)=\beta (0,1)=\beta (1,0)=1,$$

$$\beta (0,3)=\beta (3,0)=4/3,\beta (1,3)=\beta (3,1)=3/2,\beta (2,3)=\beta (3,2)=3.$$

$$\mu (x,x)=1,x\in \mathfrak{F},\mu (1,2)=\mu (2,1)=3/2,\mu (2,0)=\mu (0,2)=2,\mu (2,3)=\mu (3,2)=4,$$

$$\mu (0,1)=\mu (1,0)=\mu (0,3)=\mu (3,0)=\mu (1,3)=\mu (3,1)=1,$$

and

$$\gamma (x,x)=1,x\in \mathfrak{F},\gamma (1,2)=\gamma (2,1)=2,\gamma (2,0)=\gamma (0,2)=1,\gamma (2,3)=\gamma (3,2)=3,$$

$$\gamma (0,1)=\gamma (1,0)=\gamma (0,3)=\gamma (3,0)=\gamma (1,3)=\gamma (3,1)=1.$$

One can easily show that $(\mathfrak{F},\sigma )$ is a triple controlled rectangular metric-like space rather than a triple controlled metric-type space since $\sigma (1,1)=1\ne 0.$

Example 2.

Let $\mathfrak{F}=A\cup B$, where A is the set of natural numbers and $B=\{\frac{1}{n}:n\in N\}$. We define $\sigma :{\mathfrak{F}}^2\to [0,+\infty )$ by:

$$\sigma (a,b)=\left\{\begin{array}{c}0,impliesa=b,\hfill \\ a+6,ifa\in \{1,2,3\},b\in Bora\in B,b\in \{1,2,3\},\hfill \\ 1otherwise.\hfill \end{array}\right.$$

(1)

Let $\beta ,\mu ,\gamma :\mathfrak{F}\times \mathfrak{F}\to [1,+\infty )$ be defined as:

$$\beta (a,b)=\left\{\begin{array}{cc}a,\hfill & ifa\in A,b\in B,\hfill \\ 1,\hfill & otherwise.\hfill \end{array}\right.$$

$$\mu (a,b)=\left\{\begin{array}{cc}\frac{1}{b},\hfill & ifa\in A,b\in B,\hfill \\ 1.5,\hfill & otherwise.\hfill \end{array}\right.$$

$$\gamma (a,b)=\left\{\begin{array}{cc}a+b,\hfill & ifa\in A,b\in B,\hfill \\ 2,\hfill & otherwise.\hfill \end{array}\right.$$

One can easily show that $(\mathfrak{F},\sigma )$ is a triple controlled rectangular metric-like space rather than a triple controlled metric-type space since $\sigma (4,4)=1\ne 0$.

Observe that:

$$\sigma (1,1/2)=7>\beta (1,4)\sigma (1,4)+\mu (4,1/2)\sigma (4,1/2)=3.$$

Hence, $(\mathfrak{F},\sigma )$ is not a double controlled metric-like space. In addition,

$$\sigma (1,1/2)=7>\beta (1,5)\sigma (1,5)+\beta (5,4)\sigma (5,4)+\beta (4,1/2)\sigma (4,1/2)=4.$$

Hence, $(\mathfrak{F},\sigma )$ is not a rectangular b-metric-like space.

Example 3.

Consider the space $\mathfrak{F}=C\left(\right[0,1],\mathbb{R})$ consisting of all continuous functions defined on the interval $[0,1]$. Define $\sigma :\mathfrak{F}\times \mathfrak{F}⟶[0,+\infty )$ by:

$$\sigma (f,g)=su{p}_{t\in [0,1]}{\left|f\left(t\right)-g\left(t\right)\right|}^4,$$

and $\sigma (1/5,1/5)=1/85$. The controlled functions $\beta ,\mu ,\gamma :\mathfrak{F}\times \mathfrak{F}\to [1,+\infty )$ are expressed as follows:

$\beta (f,g)=\left\{\begin{array}{cc}{\sup }_{t\in [0,1]}|f\left(t\right)-g\left(t\right)|+85,\hfill & iff\left(t\right)\ne g\left(t\right),\hfill \\ 80,\hfill & iff\left(t\right)=g\left(t\right),\hfill \end{array}\right.$

$\mu (f,g)=\left\{\begin{array}{cc}{\sup }_{t\in [0,1]}(f^2\left(t\right)+g^2\left(t\right))+85,\hfill & iff\left(t\right)\ne g\left(t\right),\hfill \\ 85,\hfill & iff\left(t\right)=g\left(t\right),\hfill \end{array}\right.$

$\gamma (f,g)=\left\{\begin{array}{cc}max\{{\sup }_{t\in [0,1]}|f\left(t\right)|,{\sup }_{t\in [0,1]}|g\left(t\right)|\}+85,\hfill & iff\left(t\right)\ne g\left(t\right),\hfill \\ 82,\hfill & iff\left(t\right)=g\left(t\right).\hfill \end{array}\right.$

To show that $(\mathfrak{F},\sigma )$ is a $\mathcal{TCRMLS}$, we verify the conditions from Definition 2. Observe that $\sigma (f,g)=0$ implies $f=g$ and $\sigma (f,g)=\sigma (g,f)$ are straightforward. To show the third condition, we expand it as follows:

$$\begin{array}{ccc}\hfill {|f-g|}^4& =& {|f-h+h-k+k-g|}^4.\hfill \\ \hfill & \le & {|f-h|}^4+{4|f-h|}^3{|h-k|+4|f-h|}^3{|k-g|+6|f-h|}^2{|h-k|}^2\hfill \\ \hfill & +& {12|f-h|}^2{|h-k||k-g|+6|f-h|}^2{|k-g|}^2+{4|f-h||h-k|}^3\hfill \\ \hfill & +& {12|f-h||h-k|}^2{|k-g|+12|f-h||h-k||k-g|}^2+{4|f-h||k-g|}^3\hfill \\ \hfill & +& {|h-k|}^4+{4|h-k|}^3{|k-g|+6|h-k|}^2{|k-g|}^2+{4|h-k||k-g|}^3+{|k-g|}^4.\hfill \\ \hfill \end{array}$$

(2)

Next, we consider other cases. For all $f,g\in \mathfrak{F}$ and $f,g\ne 1/5$.

Case 1, if $sup|k-g|\le sup|h-k|\le sup|f-h|$, we can apply these conditions to Equation (2) and demonstrate that:

$$\begin{array}{ccc}\hfill {|f-g|}^4& \le & \beta (f,h)\sigma (f,h)+\mu (h,k)\sigma (h,k)+\gamma (k,g)\sigma (k,g),\hfill \end{array}$$

which gives $\sigma (f,g)\le \beta (f,h)\sigma (f,h)+\mu (h,k)\sigma (h,k)+\gamma (k,g)\sigma (k,g).$

Case 2, if $sup|f-h|\le sup|k-g|\le sup|h-k|$, we can once again utilize the conditions in Equation (2) to readily demonstrate that:

$$\sigma (f,g)\le \beta (f,h)\sigma (f,h)+\mu (h,k)\sigma (h,k)+\gamma (k,g)\sigma (k,g).$$

(3)

Similarly, for the other cases, if both $f=g=1/5$, we can utilize Equation (2) to demonstrate, by considering various scenarios, that

$$\beta (1/5,h)\sigma (1/5,h)+\mu (h,k)\sigma (h,k)+\gamma (k,1/5)\sigma (k,1/5)\ge \sigma (1/5,1/5)=1/85.$$

Hence, we have shown that $(\mathfrak{F},\sigma )$ is a $\mathcal{TCRMLS}$.

In a triple controlled rectangular metric-like space, the following concepts are relevant: continuity, open ball, convergence, and Cauchy sequences.

Definition 3.

Let $(\mathfrak{F},\sigma )$ be a $\mathcal{TCRMLS}$:

• The open ball with center ${\xi }_0$ and radius $r>0$ is defined by:

  $$\mathbb{B}({\xi }_0,r)=\{w\in \mathfrak{F},|\sigma ({\xi }_0,w)-\sigma ({\xi }_0,{\xi }_0)|<r\}.$$
• The mapping $S:\mathfrak{F}\to \mathfrak{F}$ is said to be continuous at ξ if for each $\epsilon >0$, there exists $\delta >0$ such that:

  $$S\left(\mathbb{B}\right(\xi ,\delta \left)\right)\subseteq \mathbb{B}\left(S\right(\xi ),\epsilon ).$$

Definition 4.

Let $(\mathfrak{F},\sigma )$ be a $\mathcal{TCRMLS}$, and let $\left\{{\xi }_n\right\}$ be any sequence in $\mathfrak{F}$.

(1) A sequence $\left\{{\xi }_n\right\}$ in $\mathfrak{F}$ is said to be convergent to some w in $\mathfrak{F}$ if and only if

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,w)=\sigma (w,w).$$

(2) We say that $\left\{{\xi }_n\right\}$ is a Cauchy sequence if and only if the limit ${lim}_{n,m\to +\infty }\sigma ({\xi }_n,{\xi }_m)$ exists and is finite.

(3) The space $(\mathfrak{F},\sigma )$ is called complete if every Cauchy sequence in $\mathfrak{F}$ is convergent. In other words, for any Cauchy sequence $\left\{{\xi }_n\right\}$, there exists a $w\in \mathfrak{F}$ such that:

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,w)=\sigma (w,w)=\underset{n,m\to +\infty }{lim}\sigma ({\xi }_n,{\xi }_m).$$

Remark 1.

Metric-like spaces differ from metric spaces as they do not possess certain topological and convergence properties. One such property is the uniqueness of the limit of a convergent sequence, which may not hold in metric-like spaces. For example, consider Example 1, where $\mathfrak{F}=\{0,1,2,3\}$. Let $\{{\xi }_n=1\}$ represent the constant sequence $\left\{1\right\}$. In this case, we observe that:

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,1)=\sigma (1,1)=1,$$

and

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,2)=\sigma (1,2)=2=\sigma (2,2).$$

This demonstrates that the limit of a convergent sequence is not unique in a triple controlled rectangular metric-like space.

3. The Main Results

The main section of our study begins with the definition of the family of functions $\theta$, as originally introduced in [26].

Definition 5.

Let $\Theta$ be the set of all θ functions $\theta :(0,+\infty )\to (1,+\infty )$ that satisfy the following requirements:

($\theta 1$)

θ is non-decreasing.

($\theta 2$)

For any sequence $\left\{t_m\right\}$ of positive real numbers, it holds that:

$$\underset{m\to +\infty }{lim}{t}_m=0^{+}ifandonlyif\underset{m\to +\infty }{lim}\theta \left(t_m\right)=1.$$

($\theta 3$)

There exist the constants k and M, where $0<k<1$ and $M\in (0,+\infty ]$, such that:

$$\underset{t\to 0^{+}}{lim}\frac{\theta \left(t\right)-1}{t^k}=M.$$

Next, we present our main theorem, which showcases our important contributions to the field of fixed point theory in the context of a complete $\mathcal{TCRMLS}.$

Theorem 1.

Consider a complete triple controlled rectangular metric-like space $(\mathfrak{F},\sigma )$, where $\mathfrak{F}$ is a non-empty set. Let $T:\mathfrak{F}\to \mathfrak{F}$ be a self-mapping such that:

$$\xi ,w\in \mathfrak{F},\sigma (T\xi ,Tw)\ne 0implies\theta \left(\sigma (T\xi ,Tw)\right)\le {\left[\theta \left(\sigma (\xi ,w)\right)\right]}^r,$$

(4)

where $\theta \in \Theta$ and $r\in (0,1)$. Furthermore, for any ${\xi }_0\in \mathfrak{F}$, we define the sequence $\left\{{\xi }_n\right\}$ by ${\xi }_n=T^n{\xi }_0$, such that:

$$\underset{m\ge 1}{sup}\underset{i\to +\infty }{lim}\frac{\beta ({\xi }_{2i+2},{\xi }_{2i+3})}{\beta ({\xi }_{2i},{\xi }_{2i+1})}\gamma ({\xi }_{2i+2},{\xi }_m)<1,$$

(5)

and

$$\underset{m\ge 1}{sup}\underset{i\to +\infty }{lim}\frac{\mu ({\xi }_{2i+3},{\xi }_{2i+4})}{\mu ({\xi }_{2i+1},{\xi }_{2i+2})}\gamma ({\xi }_{2i+2},{\xi }_m)<1.$$

(6)

In addition, for each $\xi \in \mathfrak{F}$

$$\underset{n\to +\infty }{lim}\beta (\xi ,{\xi }_n),\underset{n\to +\infty }{lim}\mu ({\xi }_n,\xi ),\mathit{and}\underset{n\to +\infty }{lim}\gamma ({\xi }_n,\xi )\mathit{exist}\mathit{and}\mathit{are}\mathit{finite}.$$

(7)

Then, T admits a unique fixed point in $\mathfrak{F}.$

Proof. 

Let ${\xi }_0$ be an arbitrary point in $\mathfrak{F}$. We construct a sequence $\left\{{\xi }_n\right\}$ using the following iteration: ${\xi }_1=T{\xi }_0,{\xi }_2=T{\xi }_1=T^2{\xi }_0$, and ${\xi }_3=T{\xi }_2=T^2{\xi }_1=T^3{\xi }_0$, thus ${\xi }_n=T^n{\xi }_0$ for all $n\in \mathbb{N}$.

In the case where for some $m\in \mathbb{N}$ we have $T^m{\xi }_0=T^{m+1}{\xi }_0$, it implies that $T^m{\xi }_0$ is a fixed point of T. Thus, we can assume without loss of generality that ${\xi }_n\ne {\xi }_{n+1}$, i.e., $\sigma (T^n{\xi }_0,T^{n+1}{\xi }_0)>0$ for all $n\in \mathbb{N}$.

Applying (4) recursively, we arrive at

$$\begin{array}{cc}\hfill \theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)& =\theta \left(\sigma (T{\xi }_{n-1},T{\xi }_n)\right)\hfill \\ \hfill & \le {\left[\theta \left(\sigma ({\xi }_{n-1},{\xi }_n)\right)\right]}^r\hfill \\ \hfill & \le {\left[\theta \left(\sigma ({\xi }_{n-2},{\xi }_{n-1})\right)\right]}^{r^2}\hfill \\ \hfill & \le {\left[\theta \left(\sigma ({\xi }_{n-3},{\xi }_{n-2})\right)\right]}^{r^3}\le \cdots \hfill & \hfill \le {\left[\theta \left(\sigma ({\xi }_0,{\xi }_1)\right)\right]}^{r^n}.\end{array}$$

(8)

Since $\theta \left(t\right)>1$, we have

$$1<\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)\le {\left[\theta \left(\sigma ({\xi }_0,{\xi }_1)\right)\right]}^{r^n}.$$

(9)

As $0<r<1$, inferring from the fact that n tends to infinity in Equation (9):

$$\underset{n\to +\infty }{lim}\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)=1.$$

By utilizing property $\left(\theta 2\right)$, we derive

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,{\xi }_{n+1})=0.$$

(10)

Analogous techniques can be employed to establish that:

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,{\xi }_{n+2})=0.$$

(11)

By $\left(\theta 3\right)$, there exist $k\in (0,1)$ and $M\in (0,+\infty ]$ so that:

$$\underset{n\to +\infty }{lim}\frac{\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)-1}{{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k}=M.$$

(12)

Case I: Assume that $0<M<+\infty$, and let $L=\frac{M}{2}$. From Equation (12), we can find some $n_0\in \mathbb{N}$ such that for all $n\ge n_0$, we obtain:

$$\left|\frac{\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)-1}{{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k}-M\right|\le L.$$

This implies that

$$L=M-L\le \frac{\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)-1}{{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k},\mathrm{for} \mathrm{all}n\ge n_0.$$

Hence, for all $n\ge n_0$, we have

$$n{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k\le n[\frac{\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)-1}{L}].$$

By employing Equation (9), we obtain

$$n{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k\le n[\frac{{\left[\theta \left(\sigma ({\xi }_0,{\xi }_1)\right)\right]}^{r^n}-1}{L}].$$

By making $n\to +\infty$ in the above inequality above, we obtain

$$\underset{n\to +\infty }{lim}n{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k=0.$$

(13)

Case II: In the case where $M=+\infty$, we select an arbitrary number $L>0$. By employing the definition of a limit, we can find an $n_1\in \mathbb{N}$ such that

$$\frac{\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)-1}{{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k}\ge L,\mathrm{for}\mathrm{all}n\ge n_1,$$

which gives

$$n{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k\le n[\frac{\theta \left(\sigma ({\xi }_n,{\xi }_{n+1})\right)-1}{L}].$$

Again, by applying Equation (9) to the aforementioned inequality and taking the limit as $n\to +\infty$, we obtain:

$$\underset{n\to +\infty }{lim}n{\left[\sigma ({\xi }_n,{\xi }_{n+1})\right]}^k=0.$$

(14)

Thus, based on Equations (13) and (14), we can deduce that for any $M\in (0,+\infty ]$ and $0<k<1$, there exists $\tilde{N}\in \mathbb{N}$, where $\tilde{N}=max\{n_0,n_1\}$ such that:

$$\sigma ({\xi }_n,{\xi }_{n+1})\le \frac{1}{n^{1/k}},\mathrm{for}\mathrm{all}n\ge \widehat{N}.$$

(15)

To demonstrate that the sequence $\left\{{\xi }_n\right\}$ is a Cauchy sequence, we consider two cases. For any $m,n\in \mathbb{N}$, we have the following:

Case 1: We begin by considering an odd number denoted as $p=2m+1$, where $m\ge 1$. By utilizing the property (q3) from Definition 2, we obtain:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m+1})& \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\gamma ({\xi }_{n+2},{\xi }_{n+2m+1})\sigma ({\xi }_{n+2},{\xi }_{n+2m+1})\hfill \\ \hfill & \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\gamma ({\xi }_{n+2},{\xi }_m)[\beta ({\xi }_{n+2},{\xi }_{n+3})\sigma ({\xi }_{n+2},{\xi }_{n+3})+\mu ({\xi }_{n+3},{\xi }_{n+4})\sigma ({\xi }_{n+3},{\xi }_{n+4})\hfill \\ \hfill & +\gamma ({\xi }_{n+4},{\xi }_{n+2m+1})\sigma ({\xi }_{n+4},{\xi }_{n+2m+1})].\hfill \\ \hfill ⋮\end{array}$$

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m+1})& \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-2}{2}}[\beta ({\xi }_{2i},{\xi }_{2i+1})\sigma ({\xi }_{2i},{\xi }_{2i+1})+\mu ({\xi }_{2i+1},{\xi }_{2i+2})\sigma ({\xi }_{2i+1},{\xi }_{2i+2})]\hfill \\ \hfill & \left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)+\prod _{i=\frac{n}{2}+1}^{\frac{n+2m}{2}}\gamma ({\xi }_{2i},{\xi }_{n+2m+1})\sigma ({\xi }_{n+2m},{\xi }_{n+2m+1})\hfill \\ \hfill & \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-2}{2}}\beta ({\xi }_{2i},{\xi }_{2i+1})\sigma ({\xi }_{2i},{\xi }_{2i+1})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)\hfill \\ \hfill & +\prod _{i=\frac{n}{2}+1}^{\frac{n+2m}{2}}\gamma ({\xi }_{2i},{\xi }_{n+2m+1})\sigma ({\xi }_{n+2m},{\xi }_{n+2m+1})\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-2}{2}}\mu ({\xi }_{2i+1},{\xi }_{2i+2})\sigma ({\xi }_{2i+1},{\xi }_{2i+2})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right).\hfill \end{array}$$

We can express the last inequality as follows:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m+1})& \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m}{2}}\beta ({\xi }_{2i},{\xi }_{2i+1})\sigma ({\xi }_{2i},{\xi }_{2i+1})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-2}{2}}\mu ({\xi }_{2i+1},{\xi }_{2i+2})\sigma ({\xi }_{2i+1},{\xi }_{2i+2})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right).\hfill \end{array}$$

By utilizing Equation (15) in the last inequality, we can deduce that $\sigma ({\xi }_{2i},{\xi }_{2i+1})\le \frac{1}{{\left(2i\right)}^{1/k}}$. Hence, we obtain:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m+1})& \le \beta ({\xi }_n,{\xi }_{n+1})\frac{1}{{\left(n\right)}^{1/k}}+\mu ({\xi }_{n+1},{\xi }_{n+2})\frac{1}{{(n+1)}^{1/k}}\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m}{2}}\beta ({\xi }_{2i},{\xi }_{2i+1})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)\frac{1}{{\left(2i\right)}^{1/k}}\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-2}{2}}\mu ({\xi }_{2i+1},{\xi }_{2i+2})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)\frac{1}{{(2i+1)}^{1/k}}.\hfill \end{array}$$

We can express it as follows:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m+1})& \le \beta ({\xi }_n,{\xi }_{n+1})\frac{1}{{\left(n\right)}^{1/k}}+\mu ({\xi }_{n+1},{\xi }_{n+2})\frac{1}{{(n+1)}^{1/k}}\hfill \end{array}$$

(16)

$$\begin{array}{cc}\hfill & +[{\Lambda }_{n+2m/2}-{\Lambda }_{n/2}]+[{\Omega }_{n+2m-2/2}-{\Omega }_{n/2}].\hfill \end{array}$$

(17)

where

$${\Lambda }_p=\sum _{i=1}^p\left(\prod _{j=1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)\beta ({\xi }_{2i},{\xi }_{2i+1})\frac{1}{{\left(2i\right)}^{1/k}},$$

and

$${\Omega }_q=\sum _{i=1}^q\left(\prod _{j=1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m+1})\right)\mu ({\xi }_{2i+1},{\xi }_{2i+2})\frac{1}{{(2i+1)}^{1/k}}.$$

By employing the ratio test and utilizing (5) and (6), we can conclude that ${lim}_{n,m\to +\infty }[{\Lambda }_{n+2m/2}-{\Lambda }_{n/2}]=0$ and ${lim}_{n,m\to +\infty }[{\Omega }_{n+2m-2/2}-{\Omega }_{n/2}]=0$.

Moreover, (7) implies that ${lim}_{n\to +\infty }\beta ({\xi }_n,{\xi }_{n+1})\left(\frac{1}{n^{1/k}}\right)=0$ and ${lim}_{n\to +\infty }\mu ({\xi }_{n+1},{\xi }_{n+2})\frac{1}{{(n+1)}^{1/k}}=0$ since $k\in (0,1)$. Hence,

$$\underset{n,m\to +\infty }{lim}\sigma ({\xi }_n,{\xi }_{n+2m+1})=0.$$

(18)

Case 2: Now, let us consider an even number denoted as $p=2m$, where $m\ge 1$. By applying the property (q3) from Definition 2, we obtain:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m})& \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\gamma ({\xi }_{n+2},{\xi }_{n+2m})\sigma ({\xi }_{n+2},{\xi }_{n+2m}).\hfill \\ \hfill ⋮\end{array}$$

By following the same steps as in case 1, we eventually arrive at the conclusion:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m})& \le \beta ({\xi }_n,{\xi }_{n+1})\sigma ({\xi }_n,{\xi }_{n+1})+\mu ({\xi }_{n+1},{\xi }_{n+2})\sigma ({\xi }_{n+1},{\xi }_{n+2})\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-1}{2}}\beta ({\xi }_{2i},{\xi }_{2i+1})\sigma ({\xi }_{2i},{\xi }_{2i+1})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m})\right)\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-3}{2}}\mu ({\xi }_{2i+1},{\xi }_{2i+2})\sigma ({\xi }_{2i+1},{\xi }_{2i+2})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m})\right).\hfill \end{array}$$

By utilizing the fact that $\sigma ({\xi }_{2i},{\xi }_{2i+1})\le \frac{1}{{\left(2i\right)}^{1/k}}$, we can express the above inequalities as follows:

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m})& \le \beta ({\xi }_n,{\xi }_{n+1})\frac{1}{{\left(n\right)}^{1/k}}+\mu ({\xi }_{n+1},{\xi }_{n+2})\frac{1}{{(n+1)}^{1/k}}\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-1}{2}}\beta ({\xi }_{2i},{\xi }_{2i+1})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m})\right)\frac{1}{{\left(2i\right)}^{1/k}}\hfill \\ \hfill & +\sum _{i=\frac{n}{2}+1}^{\frac{n+2m-3}{2}}\mu ({\xi }_{2i+1},{\xi }_{2i+2})\left(\prod _{j=\frac{n}{2}+1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m})\right)\frac{1}{{(2i+1)}^{1/k}}.\hfill \end{array}$$

By expressing it as in Equation (16):

$$\begin{array}{cc}\hfill \sigma ({\xi }_n,{\xi }_{n+2m})& \le \beta ({\xi }_n,{\xi }_{n+1})\frac{1}{{\left(n\right)}^{1/k}}+\mu ({\xi }_{n+1},{\xi }_{n+2})\frac{1}{{(n+1)}^{1/k}}\hfill \\ \hfill & +[{\Lambda }_{n+2m/2}-{\Lambda }_{n/2}]+[{\Omega }_{n+2m-2/2}-{\Omega }_{n/2}].\hfill \end{array}$$

where

$${\Lambda }_p=\sum _{i=1}^p\left(\prod _{j=1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m})\right)\beta ({\xi }_{2i},{\xi }_{2i})\frac{1}{{\left(2i\right)}^{1/k}},$$

and

$${\Omega }_q=\sum _{i=1}^q\left(\prod _{j=1}^i\gamma ({\xi }_{2j},{\xi }_{n+2m})\right)\mu ({\xi }_{2i+1},{\xi }_{2i+2})\frac{1}{{(2i+1)}^{1/k}}.$$

By employing the ratio test and applying (5)–(7), we can proceed with the same procedures as before to establish that:

$$\underset{n,m\to +\infty }{lim}\sigma ({\xi }_n,{\xi }_{n+2m})=0.$$

(19)

Hence, the sequence $\left\{{\xi }_n\right\}$ is a Cauchy sequence in a complete $\mathcal{TCRMLS}$, implying that it converges to some $\widehat{\xi }\in \mathfrak{F}$, i.e.,

$$\underset{n\to +\infty }{lim}\sigma ({\xi }_n,\widehat{\xi })=\sigma (\widehat{\xi },\widehat{\xi })=\underset{n,m\to +\infty }{lim}\sigma ({\xi }_n,{\xi }_{n+2m})=0.$$

Next, in order to demonstrate that the mapping T fixes $\widehat{\xi }$, we observe that since T satisfies (4), we have the following:

$$ln\left(\theta \right(\sigma (T\xi ,Tw)\left)\right)\le r\left(ln\right(\theta \left(\sigma \right(\xi ,w\left)\right)\left)\right)\le ln\left(\theta \right(\sigma (\xi ,w)\left)\right).$$

Since $\theta$ is non-decreasing, we deduce that T is continuous. Hence, by utilizing Lemma 2 in [29], we obtain

$$\underset{n\to +\infty }{lim}\sigma (T{\xi }_n,T\widehat{\xi })=\sigma (T\widehat{\xi },T\widehat{\xi })=0.$$

(20)

To illustrate that $T\widehat{\xi }=\widehat{\xi }$ by (20) we have

$$\sigma (\widehat{\xi },T\widehat{\xi })=\underset{n\to +\infty }{lim}\sigma ({\xi }_{n+1},T\widehat{\xi })=\underset{n\to +\infty }{lim}\sigma (T{\xi }_n,T\widehat{\xi })=0.$$

(21)

This implies that $\sigma (\widehat{\xi },T\widehat{\xi })=0$, i.e., $\widehat{\xi }$ is fixed by T, $T\widehat{\xi }=\widehat{\xi }$.

Suppose that T has two fixed points, $\widehat{a}$ and $\widehat{b}$. To establish the uniqueness of the fixed points, assume that $\widehat{a}\ne \widehat{b}$. Then, by utilizing Equation (4), we can deduce the following:

$$\begin{array}{ccc}\hfill \theta (\sigma (\widehat{a},\widehat{b}))& =& \theta (\sigma (T\widehat{a},T\widehat{b}))\hfill \\ & \le & {[\theta (\sigma (\widehat{a},\widehat{b}))]}^r\hfill \\ & <& \theta (\sigma (\widehat{a},\widehat{b})).\hfill \end{array}$$

This leads to a contradiction, implying that $\widehat{a}=\widehat{b}$. Therefore, T has a unique fixed point. □

Now, we provide an illustrative example that supports Theorem 1.

Example 4.

Let $\mathfrak{F}=[0,2]$. Define the mapping $\sigma :\mathfrak{F}\times \mathfrak{F}\to [0,+\infty )$ by:

$$\sigma (\xi ,w)=\left\{\begin{array}{cc}1\hfill & if\xi =w=2,\hfill \\ {|\xi -w|}^4\hfill & otherwise.\hfill \end{array}\right.$$

Let $\beta ,\mu ,\gamma :\mathfrak{F}\times \mathfrak{F}\to [1,+\infty )$ be defined as:

$$\beta (\xi ,w)=\left\{\begin{array}{cc}max\{\xi ,w\}+1\hfill & if0\le \xi ,w\le 1,\hfill \\ 4\hfill & otherwise.\hfill \end{array}\right.$$

$$\mu (\xi ,w)=\left\{\begin{array}{cc}{\xi }^2+w^2+1\hfill & if0\le \xi ,w\le 1,\hfill \\ 1\hfill & otherwise.\hfill \end{array}\right.$$

and

$$\gamma (\xi ,w)=\left\{\begin{array}{cc}\xi +w\hfill & if0\le \xi \le 1,\hfill \\ 2\hfill & otherwise.\hfill \end{array}\right.$$

One can verify that $(\mathfrak{F},\sigma )$ is a complete $\mathcal{TCRMLS}$.

Consider the contraction mapping $T:\mathfrak{F}\to \mathfrak{F}$ defined by $T\left(\xi \right)=\frac{\xi }{5}$, and let $\theta :(0,+\infty )\to (1,+\infty )$ be defined as $\theta \left(t\right)=5^{\sqrt{t}}$. Then, $\theta \in \Theta$. The sequence $\left\{{\xi }_n\right\}$ is formed as follows: we start with ${\xi }_0=1$, and then by repeatedly applying the iteration $T{\xi }_{n-1}={\xi }_n$, we obtain ${\xi }_1=T{\xi }_0=T\left(1\right)=\frac{1}{5},{\xi }_2=T\left(\frac{1}{5}\right)=\frac{1}{5^2}$, thus ${\xi }_n=T^n\left(1\right)=\frac{1}{5^n}$ for all $n\in \mathbb{N}$. So,

$$\frac{\beta ({\xi }_{2i+2},{\xi }_{2i+3})}{\beta ({\xi }_{2i},{\xi }_{2i+1})}\gamma ({\xi }_{2i+2},{\xi }_m)=\frac{(\frac{1}{5^{2i+2}}+1)}{(\frac{1}{5^{2i}}+1)}(\frac{1}{5^{2i+2}}+\frac{1}{5^m}).$$

Hence, we obtain

$$\underset{m\ge 1}{sup}\underset{i\to +\infty }{lim}\frac{\beta ({\xi }_{2i+2},{\xi }_{2i+3})}{\beta ({\xi }_{2i},{\xi }_{2i+1})}\gamma ({\xi }_{2i+2},{\xi }_m)<1.$$

(22)

Similarly,

$$\underset{m\ge 1}{sup}\underset{i\to +\infty }{lim}\frac{\mu ({\xi }_{2i+3},{\xi }_{2i+4})}{\mu ({\xi }_{2i+1},{\xi }_{2i+2})}\gamma ({\xi }_{2i+2},{\xi }_m)=\underset{m\ge 1}{sup}\underset{i\to +\infty }{lim}\frac{({(\frac{1}{5^{2i+3}})}^2+{(\frac{1}{5^{2i+4}})}^2+1)}{({(\frac{1}{5^{2i+1}})}^2+{(\frac{1}{5^{2i+2}})}^2+1)}(\frac{1}{5^{2i+2}}+\frac{1}{5^m})<1.$$

(23)

Furthermore, it can be easily shown that:

$$\underset{n\to +\infty }{lim}\beta (\xi ,{\xi }_n),\underset{n\to +\infty }{lim}\mu ({\xi }_n,\xi ),and,\underset{n\to +\infty }{lim}\gamma ({\xi }_n,\xi )areallfinite.$$

Taking $r=1/5$, we determine if $\theta \left(\sigma (T\xi ,Tw)\right)\le {\left[\theta \left(\sigma (\xi ,w)\right)\right]}^{1/5}$. Take any $\xi ,w\in \mathfrak{F}$ so that $\sigma (T\xi ,Tw)\ne 0.$ As $\sigma (T\xi ,Tw)=|\frac{\xi }{5}-\frac{w}{5}{|}^4$, hence

$$\theta \left(\sigma (T\xi ,Tw)\right)=5^{\sqrt{|\frac{\xi }{5}-\frac{w}{5}{|}^4}}=5^{\frac{1}{25}{|\xi -w|}^2}\le {[5^{\sqrt{{|\xi -w|}^4}}]}^{1/5}.$$

Therefore, all conditions of Theorem 1 are satisfied. Hence, T has a unique fixed point $\xi =0$ in $\mathfrak{F}$.

4. Application to Fredholm Type Integral Equation and Numerical Iteration

In this section, we examine the application of our main theorem. Let us consider Example 3, where $\mathfrak{F}=C\left(\right[0,1],\mathbb{R})$, and $\sigma :\mathfrak{F}\times \mathfrak{F}⟶[0,+\infty )$ is defined as before:

$$\sigma (f,g)=su{p}_{t\in [0,1]}{\left|f\left(t\right)-g\left(t\right)\right|}^4.$$

Furthermore, we have $\sigma (1/5,1/5)=1/85$. The controlled functions $\beta ,\mu ,$ and $\gamma$ are defined as in Example 3. This establishes that $(\mathfrak{F},\sigma )$ is a complete $\mathcal{TCRMLS}$.

Let $T:\mathfrak{F}\to \mathfrak{F}$, be the Fredholm-type integral operator defined as follows:

$$Tf\left(t\right)=\Xi \left(t\right)+{\int }_0^1\lambda (t,s,f\left(s\right))ds \mathrm{for} t,s\in [0,1],\mathrm{and}f,\xi \in \mathfrak{F},$$

(24)

where $\lambda (t,s,f\left(s\right)):{[0,1]}^2⟶\mathbb{R}$, and $\Xi :[0,1]⟶\mathbb{R}$ are continuous functions.

Theorem 2.

Consider the complete $\mathcal{TCRMLS}$ defined in Example 3. Assume that for any $f,g\in \mathfrak{F}$, there exists $\nu \in [1,+\infty )$ such that the following condition holds:

$$|\lambda (t,s,f\left(s\right))-\lambda (t,s,g\left(s\right))|\le e^{\frac{-\nu }{4}}|f\left(s\right)-g\left(s\right)|.$$

(25)

Then, the integral Equation (24) has a unique solution.

Proof. 

For any $t\in [0,1]$ and $f,g\in \mathfrak{F}$, we have

$$\begin{array}{ccc}\hfill {\displaystyle |}Tf\left(t\right)-Tg\left(t\right){{\displaystyle |}}^4& =& |(\Xi \left(t\right)+{\int }_0^1\lambda (t,s,f\left(s\right))ds)-(\Xi \left(t\right)+{\int }_0^1\lambda (t,s,g\left(s\right))ds){|}^4\hfill \\ & \le & {\int }_0^1|\lambda (t,s,f\left(s\right))-\lambda (t,s,g\left(s\right)){|}^{4}ds\hfill \\ & \le & {\int }_0^1{e}^{-\nu }|f\left(s\right)-g\left(s\right){|}^{4}ds\hfill \\ & \le & e^{-\nu }\sigma (f,g).\hfill \end{array}$$

This gives

$$\sigma (Tf,Tg)\le e^{-\nu }\sigma (f,g).$$

(26)

Let $\theta \left(t\right)=e^{\sqrt{t}}$; therefore, $\theta \left(t\right)\in \Theta$. To demonstrate that T satisfies Equation (4), let us take the square root of (26), which gives us the following inequality:

$$\sqrt{\sigma (Tf,Tg)}\le \sqrt{e^{-\nu }\sigma (f,g)}.$$

Thus,

$$e^{\sqrt{\sigma (Tf,Tg)}}\le {(e^{\sqrt{\sigma (f,g)}})}^r,\mathrm{where}r=\sqrt{e^{-\nu }}<1,\mathrm{since}\nu \ge 1.$$

Therefore, T satisfies (4) and accordingly, all the requirements of Theorem 1 are fulfilled, which suggests that the integral Equation (24) has a unique solution. □

Next, let us consider a special case of the Fredholm-type integral operator $T:\mathfrak{F}\to \mathfrak{F}$ in (24), where we set $\Xi \left(t\right)=\frac{4}{5}t$ and $\lambda (t,s,f\left(s\right))=t{f}^4\left(s\right)$. Thus, the Fredholm-type integral operator T can be expressed as follows:

$$Tf\left(t\right)=\frac{4}{5}t+{\int }_0^{1}t{f}^4\left(s\right)ds \mathrm{for} t,s\in [0,1],\mathrm{and}f\in \mathfrak{F}$$

(27)

where $\frac{4}{5}t$ and $t{f}^4\left(s\right)$ are continuous functions.

Theorem 3.

Consider $(\mathfrak{F},\sigma )$ a complete $\mathcal{TCRMLS}$, as in Example 3, and let T be as in (27). Assume that for any $f,g\in \mathfrak{F}$, there exists $\nu \in [1,+\infty )$ such that

$$|t{f}^4\left(s\right)-t{g}^4\left(s\right)|\le e^{\frac{-\nu }{4}}|f\left(s\right)-g\left(s\right)|.$$

(28)

Then, the integral Equation (27) has a unique solution.

Proof. 

The proof follows a similar approach to the proof of Theorem 2.

Next, starting with the initial condition $f_0\left(t\right)=0$ and performing numerical iterations on Equation (27), we obtain the following:

$$f_{n+1}\left(t\right)=T{f}_n\left(t\right)=\frac{4}{5}t+{\int }_0^{1}t{f}_n^4\left(s\right)ds,f\in \mathfrak{F}.$$

(29)

By substituting values for $n\in \mathbb{N}$ into Equation (29), we obtain the following:

$f_1\left(t\right)=0.8t,$

$f_2\left(t\right)=0.888192t,$

$f_3\left(t\right)=0.9209892437t,$

$f_4\left(t\right)=0.9438958364t,$

$f_5\left(t\right)=0.9587545851t,$

$f_6\left(t\right)=0.9689895354t,$

$f_7\left(t\right)=0.9763219350t,$

$f_8\left(t\right)=0.9817197717t,$

$f_9\left(t\right)=0.9857719529t,$

$f_{10}\left(t\right)=0.9888581911t,$

⋮

$f_{81}\left(t\right)=0.99999999986t,$

$f_{82}\left(t\right)=0.99999999989t,$

$f_{83}\left(t\right)=0.99999999991t,$

$f_{84}\left(t\right)=0.99999999993t,$

$f_{85}\left(t\right)=0.99999999994t,$

$f_{86}\left(t\right)=0.99999999995t,$

$f_{87}\left(t\right)=0.99999999996t,$

$f_{88}\left(t\right)=0.99999999997t,$

$f_{89}\left(t\right)=0.99999999998t,$

$f_{90}\left(t\right)=0.99999999998t,$

$f_{91}\left(t\right)=t$.

All the requirements of Theorem 1 are satisfied, indicating that the integral Equation (27) has a unique solution, which is the function $f\left(t\right)=t$. Furthermore, the effectiveness of the proposed methodology has been confirmed by the numerical results. Figure 1 illustrates the convergence behavior of the iterations, with the t values depicted on the x-axis and the numerical iteration values $f_j\left(t\right)$ shown on the y-axis. □

5. Conclusions

In this article, we have introduced the novel concept of triple controlled metric-like spaces, denoted as $\mathcal{TCRMLS}$. We have provided a comprehensive definition of these spaces and presented illustrative examples. We have also investigated the properties of $\Theta$-contraction mappings within the class of complete $\mathcal{TCRMLS}$ and established a fixed point theorem in this setting. Furthermore, we have demonstrated the applicability of our theory by considering the existence of solutions to the Fredholm integral equation. The numerical analysis and results have provided strong support for our main findings, highlighting the significance of our approach.

Our study only considered $\Theta$-contraction mappings in triple controlled metric-like spaces; however, there are many other types of contraction mappings that could be investigated. Additionally, our study focused on the theoretical development of triple controlled metric-like spaces and their application to fixed point theory. However, we did not explore the practical implications of our work in other areas of mathematics such as computer science, engineering, and behavioral sciences.

We conclude the article with the following question for future research: Wardowski [25] introduced a new type of contractions called $\mathcal{F}$-contractions, whereas Azmi [22] introduced $(\alpha -\mathcal{F})$-contractive mappings on triple controlled metric-type spaces and established fixed point results.

Question:

Let $(\mathfrak{F},\sigma )$ be a complete triple controlled metric-like space, and let $T:\mathfrak{F}\to \mathfrak{F}$ be an $(\alpha -\mathcal{F})$-contractive mapping. This means that there exists a mapping $\alpha :\mathfrak{F}\times \mathfrak{F}\to [0,+\infty )$, $F\in$$\mathcal{F}$, and a constant $\tau >0$ such that the following inequality holds:

$$\begin{array}{c}\hfill \tau +\alpha (x,y)F\left(\sigma \right(Tx,Ty\left)\right)\le F\left(\sigma \right(x,y\left)\right),\end{array}$$

for all $x,y\in \mathfrak{F}$, where $\sigma (Tx,Ty)>0$.

Under what other condition(s) does T have a unique fixed point in $(\mathfrak{F},\sigma )$?