Results on Singh–Chatterjea Type Contractive Mappings in b-Metric Spaces

1. Introduction

Fixed point theory plays a vital role in nonlinear analysis and has found extensive applications in diverse areas such as in computer science, medical science [2], modelling of coronavirus ([3,4,5]), and artistic patterns generation [6].

One of the most fundamental results in fixed point theory is the Banach contraction principle [7]. Over the years, this principle has motivated numerous generalizations that relax the contractive condition or extend the underlying space (metric, Banach, Hilbert [8,9] and Sobolev spaces) to enhance its range of applications. For instance, several authors have introduced notable modifications of the classical Banach contraction principle. In 1968, Kannan [10] proposed a contractive condition that does not require continuity of the mapping. Later, in 1972, Chatterjea [11] introduced another type of contraction involving a symmetric condition on the distances between points and their images. In 1977, Singh [12] extended Kannan’s condition to the p-th iterate of a mapping, establishing fixed point results for a wider class of operators. Comprehensive details of various classes of contractive type mappings that generalize the classical Banach contraction (see [13,14]).

In 1989, the b-metric spaces (quasimetric spaces) were introduced by Bakhtin [15] and formally defined by Czerwik [16] in 1993. The b-metric spaces involve relaxing the triangle inequality of standard metric spaces. It is used to generalize Banach’s fixed point theorem. Motivated by these developments and the recent results by Bekri et al [1], the present article investigates fixed point results for Singh–Chatterjea type mappings in complete b-metric spaces. We establish sufficient conditions for the existence and uniqueness of fixed points and examine the convergence behavior of iterative sequences associated with such mappings. Our findings generalize and improve several known results.

2. Preliminaries

For the convenience of the reader, we collect some important definitions and theorems.

 Theorem 1

(Banach [7]). Let $(X,d)$ be a complete metric space and $T:X\to X$ a mapping for which there exists some $r\in [0,1)$ such that

$$\begin{array}{c}\hfill d(Tx,Ty)\le rd(x,y),\forall x,y\in X.\end{array}$$

(1)

Then T has a unique fixed point in X, and for any initial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to the fixed point of a mapping T.

 Theorem 2

(Kannan [10]). Let $(X,d)$ be a complete metric space and $T:X\to X$ a mapping for which there exists some $r\in [0,{\displaystyle \frac{1}{2}})$ such that

$$\begin{array}{c}\hfill d(Tx,Ty)\le r\left(d\right(x,Tx)+d(y,Ty\left)\right),\forall x,y\in X.\end{array}$$

(2)

Then T has a unique fixed point in X, and for any initial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to the fixed point of a mapping T.

 Theorem 3

(Chatterjea [11]). Let $(X,d)$ be a complete metric space and $T:X\to X$ a mapping for which there exists some $r\in [0,{\displaystyle \frac{1}{2}})$ and

$$\begin{array}{c}\hfill d(Tx,Ty)\le r\left(d\right(x,Ty)+d(y,Tx\left)\right),\forall x,y\in X.\end{array}$$

(3)

Then T has a unique fixed point in X, and for any initial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to the fixed point of a mapping T.

 Theorem 4

(Singh [12]). Let $(X,d)$ be a complete metric space and $T:X\to X$ a mapping for which there exists a positive integer p and a number $r\in (0,{\displaystyle \frac{1}{2}})$ such that

$$\begin{array}{c}\hfill d(T^{p}x,T^{p}y)\le r(d(x,T^{p}x)+d(y,T^{p}y)),\forall x,y\in X.\end{array}$$

(4)

Then T has a unique fixed point in X, and for any initial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to the fixed point of a mapping T.

 Remark 1.

The above theorems have been extended from complete metric spaces to complete b-metric spaces (see [18,19]).

 Definition 1 

( [15,16]). Let X be a nonempty set and let $s\ge 1$ be a given real number. A function $d:X\times X\to {\mathbb{R}}_{+}$ is called a b-metric provided that, for all $x,y,z\in X$,

• $d(x,y)=0$ if and only if $x=y$,
• $d(x,y)=d(y,x)$,
• $d(x,z)\le s\left[d\right(x,y)+d(y,z\left)\right]$.

A pair $(X,d)$ is called a b-metric space.

 Lemma 1

(Singh et al [17]). Let $(X,d)$ be a b-metric space and $x_n$ a sequence in X such that

$$d(x_{n+1},x_{n+2})\le rd(x_n,x_{n+1}),n=0,1,2,...,$$

(5)

where $0\le r<1$. Then $\left\{x_n\right\}$ is a Cauchy sequence in X provided that $sr<1.$

 Theorem 5

(Chu et al [?]). If T is a singled valued function defined on a complete metric space X into itself, such that the function $T^n$ is a contraction for some $n\in \mathbb{N}$, then T has a unique fixed point.

 Remark 2.

An analogous conclusion holds for complete b-metric spaces since the only assumption required in the proof of Theorem 5 is that $T^n$ possesses a unique fixed point.

3. Main Results

In this section, we extend the result of Bekri et al [1] from a complete metric spaces to b-complete metric spaces.

 Theorem 6

(Singh-Chatterjea Contraction). Let $(X,d)$ be a complete b-metric space and $T:X\to X$ a mapping. Suppose there exists $p\in \mathbb{N}$ and $\alpha \in \left(0,{\displaystyle \frac{1}{2}}\right)$ such that

$$\begin{array}{c}\hfill d(T^{p}x,T^{p}y)\le \alpha (d(x,T^{p}y)+d(y,T^{p}x)),\forall x,y\in X.\end{array}$$

(6)

Then T has a unique fixed point $x^{*}\in X$, and for any intial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to $x^{*}$.

 Proof. 

Let $S=T^p$. It follows from (6) that the mapping $S:X\to X$ satisfies the Chatterjea-type inequality

$$\begin{array}{c}\hfill d(Sx,Sy)\le \alpha \left(d\right(x,Sy)+d(y,Sx\left)\right),\forall x,y\in X.\end{array}$$

(7)

Let $x_0\in X$ and define $x_{n+1}=S{x}_n$. Using (7) and Def. 1, we have the following

$$\begin{array}{ccc}\hfill d(S{x}_n,S{x}_{n-1})& \le & \alpha [d(x_n,S{x}_{n-1})+d(x_{n-1},S{x}_n)]\hfill \\ \hfill d(x_{n+1},x_n)& \le & \alpha [d(x_n,x_n)+d(x_{n-1},x_{n+1})]\hfill \\ \hfill d(x_{n+1},x_n)& \le & s\alpha [d(x_{n+1},x_n)+d(x_n,x_{n-1})]\hfill \\ \hfill d(x_{n+1},x_n)& \le & {\displaystyle \frac{s\alpha }{1-s\alpha }}d(x_n,x_{n-1}).\hfill \end{array}$$

Since $\alpha \in (0,{\displaystyle \frac{1}{2}})$ and $s\ge 1$, then $r={\displaystyle \frac{s\alpha }{1-s\alpha }}<1$. It follows immediately that

$$\begin{array}{ccc}\hfill d(x_{n+1},x_n)& \le & rd(x_n,x_{n-1}).\hfill \end{array}$$

(8)

Therefore $\left\{x_n\right\}$ is Cauchy by lemma 1. The completeness of X implies that the limit $x^{*}\in X$ with

$$x_n\to x*.$$

Now, we want to show that $x^{*}$ is a fixed point of S, i.e $S{x}^{*}=x^{*}$. Let us consider the inequality with $(x^{*},x_n)$. Using $\left(\right)$, we obtain

$$\begin{array}{c}\hfill d(S{x}^{*},x_{n+1})\le \alpha [d(x^{*},x_{n+1})+d(x_n,S{x}^{*})]\end{array}$$

Letting $n\to \infty$ yields

$$d(S{x}^{*},x^{*})\le \alpha d(x^{*},S{x}^{*})$$

Therefore, $d(x^{*},S{x}^{*})=0$ since $\alpha \in (0,{\displaystyle \frac{1}{2}})$. Thus, we have $S{x}^{*}=x^{*}.$ We claim that S has a unique fixed point. Suppose on the contrary that there exist $x_{*}\in X$ such that $S{x}_{*}=x_{*}$. It follows from $\left(\right)$ that

$$\begin{array}{c}\hfill d(x^{*},x_{*})=d(S{x}^{*},S{x}_{*})\le \alpha (d(x^{*},S{x}_{*})+d(x_{*},S{x}^{*}))=2\alpha d(x^{*},x_{*})\end{array}$$

Therefore, $d(x^{*},x_{*})=0$ since $2\alpha <1$. Thus $x^{*}=x_{*}.$ Since $x_0$ is arbitrary, the above argument holds for any $x_0\in X$. Hence $S^{n}x\to x^{*}$ for all $x\in X$. Let us recall that we set $S=T^p,p\in \mathbb{N}$, so $T^p{x}^{*}=x^{*}.$ Then

$$\begin{array}{c}\hfill S\left(T{x}^{*}\right)=T^p\left(T{x}^{*}\right)=T\left(T^p{x}^{*}\right)=T{x}^{*}.\end{array}$$

(9)

So, $T{x}^{*}$ is also a fixed point of S. By uniquesness of fixed point of S, we have $T{x}^{*}=x^{*}$. Thus $x^{*}$ is a unique fixed pointof T. To show the convergence of the full orbit. For each $t=0,1,...,p-1$

$$T^{pn+r}{x}_0=S^n\left(T^t{x}_0\right)\to x^{*}\mathrm{as}n\to \infty .$$

(10)

Hence the entire sequence $\left(T^n{x}_0\right)$ converges to $x^{*}$. Therefore T has a unique fixed point $x^{*}$, and $T^n{x}_0\to x^{*}$ for all $x_0\in X.$ □

The following corollaries can be deduced as particular cases of the main Theorem 6.

 Corollary 1

(Singh-Chatterjea [1]). Let $(X,d)$ be a complete metric space and $T:X\to X$ a mapping. Suppose there exist $p\in \mathbb{N}$ and $\alpha \in (0,{\displaystyle \frac{1}{2}})$ such that

$$\begin{array}{c}\hfill d(T^{p}x,T^{p}y)\le \alpha (d(x,T^{p}y)+d(y,T^{p}x)),\forall x,y\in X.\end{array}$$

(11)

Then T has a unique fixed point $x^{*}\in X$, and for any initial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to $x^{*}$.

Proof. 

Take $s=1$ in Theorem 6. □

 Corollary 2.

Let $(X,d)$ be a complete b-metric space and $T:X\to X$ a mapping under the terms s$\alpha \in (0,{\displaystyle \frac{1}{2}})$ such that

$$\begin{array}{c}\hfill d(Tx,Ty)\le \alpha \left(d\right(x,Ty)+d(y,Tx\left)\right),\forall x,y\in X.\end{array}$$

(12)

Then, there exists $x^{*}\in X$ such that $x_n\to x^{*}$ and $x^{*}$ is unique fixed point of T.

 Proof. 

Take $p=1$ in Theorem 6, we get Theorem 3 in [18]. □

 Remark 3.

If $p=s=1$, then Theorem 6 reduces to the classical Chatterjea in Theorem 3 above.

The following examples illustrate the effectivess of our results.

Example 1

Let $X=[0,1]$ and $d(x,y)={|x-y|}^{{\displaystyle \frac{1}{2}}}$. Define $T:[0,1]\to [0,1]$ by

$$\begin{array}{c}\hfill Tx={\displaystyle \frac{x}{1+x}}.\end{array}$$

(13)

• Let us show that $(X,d)$ is b-metric space. The first two properties in Def. 1 are obvious satisfied. Using the fact that for all $a,b\ge 0$, ${(a+b)}^{{\displaystyle \frac{1}{2}}}\le a^{{\displaystyle \frac{1}{2}}}+b^{{\displaystyle \frac{1}{2}}}\le 2max\{a^{{\displaystyle \frac{1}{2}}},b^{{\displaystyle \frac{1}{2}}}\}\le 2(a^{{\displaystyle \frac{1}{2}}}+b^{{\displaystyle \frac{1}{2}}})$, we obtain

  $$\begin{array}{ccc}\hfill {|x-z|}^{{\displaystyle \frac{1}{2}}}& \le & {|x-y|}^{{\displaystyle \frac{1}{2}}}+{|y-z|}^{{\displaystyle \frac{1}{2}}}\hfill \\ & \le & 2\left(\right|x-y{|}^{{\displaystyle \frac{1}{2}}}+|y-z{|}^{{\displaystyle \frac{1}{2}}})\hfill \\ \hfill d(x,z)& \le & 2\left(d\right(x,y)+d(y,z\left)\right).\hfill \end{array}$$
  Hence, d is a b-metric and since X is finite, $(X,d)$ is a complete b-metric space.
• T is not a Banach contraction i.e.

  $${\displaystyle \frac{d(Tx,Ty)}{d(x,y)}}={\displaystyle \frac{1}{\sqrt{(1+x)(1+y)}}}\to 1\mathrm{as}x,y\to 0,$$

  (14)

  which means that for $k<1$, there exist some $x,y\in X$ such that $d(Tx,Ty)>kd(x,y).$
• T satisfies Singh-Chatterjea for $p\ge 1$. By induction

  $$\begin{array}{c}\hfill Sx=T^p\left(x\right)={\displaystyle \frac{x}{1+px}},x\in [0,1].\end{array}$$

  (15)
  It follows that

  $$\begin{array}{c}\hfill d(T^{p}x,T^{p}y)={\left|{\displaystyle \frac{x-y}{(1+px)(1+py)}}\right|}^{{\displaystyle \frac{1}{2}}}\\ \hfill d(x,T^{p}y)={\left|x-{\displaystyle \frac{y}{(1+py)}}\right|}^{{\displaystyle \frac{1}{2}}}\ge {\displaystyle \frac{{|x-y|}^{\frac{1}{2}}}{{(1+py)}^{\frac{1}{2}}}}\\ \hfill d(y,T^{p}x)={\left|y-{\displaystyle \frac{y}{(1+px)}}\right|}^{{\displaystyle \frac{1}{2}}}\ge {\displaystyle \frac{{|x-y|}^{\frac{1}{2}}}{{(1+px)}^{\frac{1}{2}}}}\\ \hfill d(x,T^{p}y)+d(y,T^{p}x)\ge {|x-y|}^{{\displaystyle \frac{1}{2}}}\left[{\displaystyle \frac{1}{{(1+py)}^{\frac{1}{2}}}}+{\displaystyle \frac{1}{{(1+px)}^{\frac{1}{2}}}}\right].\end{array}$$
  Then, (6) implies that

  $$\begin{array}{c}\hfill {\left|{\displaystyle \frac{x-y}{(1+px)(1+py)}}\right|}^{{\displaystyle \frac{1}{2}}}\le a{|x-y|}^{{\displaystyle \frac{1}{2}}}\left[{\displaystyle \frac{1}{{(1+py)}^{\frac{1}{2}}}}+{\displaystyle \frac{1}{{(1+px)}^{\frac{1}{2}}}}\right].\end{array}$$
  Simplifying this expression gives

  $$\begin{array}{c}\hfill a\ge {\displaystyle \frac{1}{{\left[(1+px)(1+py)\right]}^{\frac{1}{2}}}}\ge {\displaystyle \frac{1}{2\sqrt{3}}}\end{array}$$
  Therefore, we can choose any $a\in \left({\displaystyle \frac{1}{2\sqrt{3}}},{\displaystyle \frac{1}{2}}\right)$.
• Fixed Point
  It follows from (15) that the fixed point of $T^p$ is 0 for $p\ge 1$. By Theorem 6, the fixed point of T is 0. Thus, T has a unique fixed point.

Example 2

This is an example of a mapping T in a complete b-metric space which satisfies the Singh–Chatterjea condition and admits a unique fixed point, while failing to satisfy the Banach, Kannan, and Singh contraction conditions. Let $X=[0,1]$ and $d(x,y)={|x-y|}^{{\displaystyle \frac{1}{2}}}$. Define $T:X\to X$ by

$$\begin{array}{c}\hfill Tx=\left\{\begin{array}{c}{\displaystyle \frac{1}{2}},x\in (0,1]\hfill \\ 0,x=0.\hfill \end{array}\right.\end{array}$$

(16)

• $(X,d)$ is a complete b-metric space.
• T is not a Banach contraction. Let $x_n={\displaystyle \frac{1}{n}}$ and $y=0$. We obtain

  $${\displaystyle \frac{d(T{x}_n,T0)}{d(x_n,0)}}={\displaystyle \frac{\sqrt{0.5}}{\sqrt{\frac{1}{n}}}}\to \infty .$$

  (17)
• T is not a Singh contraction. By induction on T, we have

  $$T^{p}x=\left\{\begin{array}{c}{\displaystyle \frac{1}{2}},x\in (0,1]\hfill \\ 0,x=0.\hfill \end{array}\right.$$
  Let $x=0,y>0$. So, $d(T^{p}x,T^{p}y)=d(0,{\displaystyle \frac{1}{2}})=\sqrt{0.5}$ and
  $d(x,T^{p}x)+d(y,T^{p}y)=d(0,0)+d(y,{\displaystyle \frac{1}{2}})=\sqrt{|y-{\displaystyle \frac{1}{2}}|}$.
  It follows that

  $$\begin{array}{c}\hfill a\ge {\displaystyle \frac{\sqrt{0.5}}{\sqrt{|y-\frac{1}{2}|}}}\ge 1\mathrm{for}\mathrm{all}y\ne {\displaystyle \frac{1}{2}}.\end{array}$$
• Clearly, T is not a Kannan contraction since $T^p=T$ and $T^p$ is not a Singh contraction.
• T is Singh-Chartterjea contraction.
  Case 1: Let $x,y\in (0,1]$, $T^{p}x=T^{p}y={\displaystyle \frac{1}{2}}$. So, $d(T^{p}x,T^{p}y)=0$. The inequality holds trivial.
  Case 2: $x=y=0$. This case is trivial.
  Case 3: $x=0,y>0$. So, $d(0,{\displaystyle \frac{1}{2}})=\sqrt{0.5}$ and $d(0,{\displaystyle \frac{1}{2}})+d(y,0)=\sqrt{0.5}+{\left|y\right|}^{{\displaystyle \frac{1}{2}}}$
  It follows that

  $$\begin{array}{c}\hfill a\ge {\displaystyle \frac{\sqrt{0.5}}{\sqrt{0.5}+{\left|y\right|}^{\frac{1}{2}}}}\ge {\displaystyle \frac{1}{1+\sqrt{2}}}.\end{array}$$
  We can choose $a\in \left({\displaystyle \frac{1}{1+\sqrt{2}}},{\displaystyle \frac{1}{2}}\right)$.
• Fixed Point
  Notice that $T^p\left({\displaystyle \frac{1}{2}}\right)={\displaystyle \frac{1}{2}}$ for $p\ge 1$. Also, $T{\displaystyle \frac{1}{2}}={\displaystyle \frac{1}{2}}.$ Thus, T has a unique fixed point.

Example 3

This is an example of a mapping T in a complete b-metric space which satisfies the Singh–Chatterjea condition and admits a unique fixed point, while failing to satisfy the Banach, Kannan, and Chattejea contraction conditions. Let $X=\{0,1,2\}$ and $d(x,y)={|x-y|}^2$. Consider the mapping $T0=0,T1=0,T2=1.$

• We claim that $(X,d)$ is a complete b-metric space. Indeed,

  $$\begin{array}{c}\hfill d(x,z)={|x-z|}^2={|x-y+y-z|}^2\le 2(d(x,y)+d(y,z)).\end{array}$$
  Since X is finite, $(X,d)$ is a complete b-metric space.
• T is not a Banach contraction. Clearly

  $$\begin{array}{c}\hfill {\displaystyle \frac{d(T2,T1)}{d(2,1)}}=1,\end{array}$$

  which means that for $k<1$, there exist some $x,y\in X$ such that $d(Tx,Ty)>kd(x,y).$
• T is not Kannan contraction. i.e. $d(T2,T1)=1$ and $d(2,T2)+d(1,T1)=2$. So, we have $\alpha \ge {\displaystyle \frac{1}{2}}.$
• T is not Chatterjea contraction. i.e.

  $$\begin{array}{c}\hfill d(Tx,Ty)\le \alpha \left(d\right(x,Ty)+d(y,Tx\left)\right)\\ \hfill d(T1,T0)\le \alpha \left(d\right(1,T0)+d(0,T1\left)\right)\\ \hfill 1\le \alpha (0+0).\end{array}$$
  This is impossible. So, T is not Chattejea.
• T is Singh-Chatterjea. Indeed, notice that $T^p\left(X\right)=\left\{0\right\}$ which implies that $d(T^{p}x,T^{p}y)=0$.
• The fixed point of $T^p$ is 0 for $p>1.$Thus, the unique fixed point of T is 0 as desired.

4. Generalization of Singh-Chatterjea Contraction

In this section, we generalize the Singh–Chatterjea contraction by replacing the constant $\alpha$ with a monotonically decreasing function. Additionally, we introduce extra terms into the Singh–Chatterjea contraction framework, allowing us to recover the Banach, Rakotch, Kannan, Chatterjea, Singh, and Singh–Chatterjea contractions as special cases.

 Theorem 7.

Let $(X,d)$ be a complete b-metric space, $\alpha ,\beta ,r$ be monotinically decreasing functions from $[0,\infty ]$ to $[0,1)$, and let $\alpha (x,y)+2\beta (x,y)+2sr(x,y)<1$. Let $T:X\to X$ a mapping and suppose there exist $p\in \mathbb{N}$ such that

$$\begin{array}{c}\hfill d(T^{p}x,T^{p}y)\le \alpha (x,y)d(x,y)+\beta (x,y)[d(x,T^{p}x)+d(y,T^{p}y)]+\\ \hfill r(x,y)[d(x,T^{p}y)+d(y,T^{p}x)],\forall x,y\in X.\end{array}$$

Then T has a unique fixed point $x^{*}\in X$.

 Proof. 

Let $S=T^p$ for some $p\in \mathbb{N}$ and $\alpha =\alpha \left(d\right(x,y\left)\right),...,r=r\left(d\right(x,y\left)\right).$ Then,

$$\begin{array}{c}\hfill d(Sx,Sy)\le \alpha (x,y)d(x,y)+\beta \left[d\right(x,Sx)+d(y,Sy\left)\right]+r\left[d\right(x,Sy)+d(y,Sx\left)\right],\forall x,y\in X.\end{array}$$

Let $y=Sx$, we obtain the following

$$\begin{array}{c}\hfill d(Sx,S^{2}x)\le {\displaystyle \frac{\alpha +\beta +rs}{1-\beta -rs}}d(x,Sx).\end{array}$$

(18)

It follows from the hypothesis that there exists a monotone decresing funtion $q\left(t\right)$ such that $0\le q\left(t\right)<1$ and

$$\begin{array}{c}\hfill d(Sx,S^{2}x)\le q\left(d(x,Sx)\right)d(x,Sx)\\ \hfill d(Sx,Sy)\le q\left(d\right(x,y\left)\right)d(x,y).\end{array}$$

Therefore, $S=T^p$ is a contraction. By Theorem 5, T has a unique fixed point. □

 Corollary 3

(Bekri et al [1]). Let $(X,d)$ be a complete metric space and $T:X\to X$ a mapping. Suppose there exist $p\in \mathbb{N}$ and $r\in (0,{\displaystyle \frac{1}{2}})$ such that

$$\begin{array}{c}\hfill d(T^{p}x,T^{p}y)\le r(d(x,T^{p}y)+d(y,T^{p}x)),\forall x,y\in X.\end{array}$$

(19)

Then T has a unique fixed point $x^{*}\in X$, and for any initial point $x_0\in X$, the iterative sequence $\left\{T^n{x}_0\right\}$ converges to $x^{*}$.

 Proof. 

Take $\alpha (x,y)=\beta (x,y)=0,s=1$,and $r(x,y)$ to be a number in Theorem 7. □

 Corollary 4.

If $p(x,y)=r(x,y)=0$ in Theorem 7, then we obtain Rakotch’s fixed point theorem [13]. If we take $\alpha (x,y)$ to be a constant, then we have Banach’s contraction Principle [7].

 Corollary 5.

If $\alpha (x,y)=r(x,y)=0$ in Theorem 7, then we obtain Singh’s fixed point theorem [12].

 Corollary 6.

If $\alpha (x,y)=r(x,y)=0$ and $p=1$ in Theorem 7, then we obtain Kannan’s fixed point theorem [10].

 Corollary 7.

If $\beta (x,y)=\alpha (x,y)=0$ and $p=1$ in Theorem 7, then we obtain Chatterjea’s fixed point theorem [11].

5. Open Problems

Recently, some researchers worked on extended b-metric spaces [21], orthogonal b-metric spaces [22] and R- metric spaces [23].

• Results on Singh-Chatterjea Type in extended b-Metric Spaces, orthogonal b-metric spaces and R-metric spaces.

6. Conclusions

In this paper, we have extended the results of Bekri et al. [1] from complete metric spaces to the more general setting of complete b-metric spaces. Our results unify and generalize several fixed point theorems within the b-metric framework, and illustrative examples are provided to demonstrate the applicability and effectiveness of the proposed results. Furthermore, by incorporating additional terms into the Singh–Chatterjea contraction framework, we recover the Banach, Rakotch, Kannan, Chatterjea, Singh, and Singh–Chatterjea contractions as special cases.