---
title: Chatterjea-Type Mappings Overview
url: https://www.emergentmind.com/topics/chatterjea-type-mappings
type: topic
---

# Chatterjea-Type Mappings Overview

Chatterjea-type mappings are contractive-type operators whose defining feature is the use of *cross terms* involving the distances from a point to the image of another point. In the standard metric formulation, a self-map \(T:X\to X\) is of Chatterjea type if there exists \(\gamma\in[0,\tfrac12)\) such that
\[
d(Tx,Ty)\le \gamma\big(d(x,Ty)+d(y,Tx)\big),\qquad x,y\in X.
\]
On a complete metric space, this condition yields a unique fixed point. Subsequent work has extended the scheme to enriched, multivalued, three-point, cyclic, iterated, and nonclassical-distance settings, while also clarifying limits of uniqueness, continuity, and the role of the chosen iterative process [2404.00782][2605.21549][1909.03494].

## 1. Classical form and basic structural features

The classical Chatterjea condition differs from Banach and Kannan contractivity in that it does not control \(d(Tx,Ty)\) directly by \(d(x,y)\) or by \(d(x,Tx)+d(y,Ty)\), but by the mixed distances \(d(x,Ty)\) and \(d(y,Tx)\). Recent expositions emphasize that Chatterjea-type mappings are non-equivalent to Banach and Kannan contractions and that they may be discontinuous. At the same time, the standard complete-metric fixed point theorem remains: if \(T\) satisfies the Chatterjea inequality with constant in \([0,\tfrac12)\), then \(T\) has a unique fixed point [2403.07906][2404.00782][2605.21549].

This cross-term formulation has several consequences that recur throughout the literature. First, the class is flexible enough to accommodate mappings excluded by Banach-type Lipschitz conditions. Second, continuity is not intrinsic to the definition. Third, once the ambient geometry or the contractive inequality is altered, uniqueness can be lost, weakened, or replaced by “at most two fixed points,” as happens in some three-point analogues. A persistent theme is therefore not merely existence of fixed points, but the interaction among contractive geometry, admissible iterates, and the topology or generalized distance structure of the space [2404.00782][2403.07906].

## 2. Enriched Chatterjea mappings and Krasnoselskij averaging

A major normed-space development is the notion of a \((k,b)\)-enriched Chatterjea mapping. For a normed linear space \((X,\|\cdot\|)\), a map \(T:X\to X\) is called \((k,b)\)-enriched Chatterjea if there exist \(k\ge 0\) and \(b\in[0,\tfrac12)\) such that
\[
\|k(x-y)+Tx-Ty\|
\le
b\Big(\|(k+1)(x-y)+y-Ty\|+\|(k+1)(y-x)+x-Tx\|\Big)
\]
for all \(x,y\in X\). The case \(k=0\) recovers the classical Chatterjea pattern. In this framework, all Banach contractions with constant \(c<\tfrac13\) and all Kannan contractions with constant \(a<\tfrac13\) are included as enriched Chatterjea mappings with \(k=0\), so the class is explicitly designed as a unifying extension [1909.03494].

The associated fixed point theorem is formulated in Banach spaces. If \(T\) is \((k,b)\)-enriched Chatterjea, then \(\operatorname{Fix}(T)=\{p\}\), and there exists \(\lambda\in(0,1]\) such that the Krasnoselskij iteration
\[
x_{n+1}=(1-\lambda)x_n+\lambda Tx_n
\]
converges to \(p\) for every starting point \(x_0\in X\). The paper also derives the estimate
\[
\|x_{n+1}-x_n\|\le \delta\|x_n-x_{n-1}\|,\qquad \delta=\frac{b}{1-b}<1,
\]
which yields the Cauchy property and convergence. The role of Krasnoselskij averaging is essential: the paper exhibits \(T(x)=1-x\) on \([0,1]\), a map that is not Banach, Kannan, or Chatterjea, yet is enriched Chatterjea for suitable parameters, has unique fixed point \(x=\tfrac12\), and fails to have convergent Picard iteration except at the fixed point itself. The same work also notes discontinuous examples within the enriched class [1909.03494].

## 3. Multivalued variants and average-operator methods

Chatterjea-type fixed point theory has also been extended to multivalued mappings. In complete partial cone metric spaces \((X,p)\), with \(P\) a normal cone and \(CBP(X)\) denoting the nonempty, closed, bounded subsets of \(X\), a multivalued map \(T:X\to CBP(X)\) is assumed to satisfy
\[
H_p(Tx,Ty)\le \lambda\big(p(Tx,y)+p(Ty,x)\big),\qquad \lambda\in(0,\tfrac12),
\]
where \(H_p\) is the Hausdorff-type partial metric built from \(p\). Under this Chatterjea-type condition, \(T\) has a fixed point \(x^*\in X\) with \(x^*\in T(x^*)\). The proof proceeds through iterative selections \(x_{n+1}\in T(x_n)\), geometric control of successive partial distances, and completeness of the partial cone metric space. An explicit finite example on \(X=\{0,1,2\}\) shows the theorem in a setting where self-distances may be nonzero and the distance values are vectors in \(\mathbb{R}^2\) [2209.01770].

A second multivalued branch uses normed spaces and enrichment. For \(T:X\to CB(X)\), a multivalued enriched Chatterjea mapping is defined by the existence of \(b\in[0,\infty)\) and \(\theta\in[0,\tfrac12)\) such that
\[
H(bx+Tx,by+Ty)\le
\theta\Big(d((b+1)x,by+Ty)+d((b+1)y,bx+Tx)\Big),
\]
with \(H\) the Hausdorff metric and \(bx+Tx\) the corresponding Minkowski sum. The central tool is the average operator
\[
T_\lambda x=\{(1-\lambda)x+\lambda u:\ u\in Tx\},\qquad \lambda=\frac{1}{b+1},
\]
for which \(\operatorname{Fix}(T)=\operatorname{Fix}(T_\lambda)\). This reduces the enriched condition to a standard multivalued Chatterjea condition and yields existence of fixed points. The same framework provides data dependence: if \(S:X\to CB(X)\) satisfies \(H(Tx,Sx)\le \varepsilon\) for all \(x\), then for every \(z^*\in F(S)\) there exists \(z\in F(T)\) such that
\[
d(z,z^*)\le \frac{1}{1-k}\varepsilon,\qquad k=\frac{\theta}{1-b\theta}.
\]
If \(S\) is itself multivalued enriched Chatterjea, then
\[
H(F(S),F(T))\le \frac{1}{1-k}\varepsilon.
\]
These results place stability of fixed point sets on the same footing as existence [2108.06811].

## 4. Three-point, generalized, and cyclic formulations

A substantial recent line of work replaces the two-point Chatterjea inequality by a genuinely three-point condition. One formulation defines a generalized Chatterjea-type mapping on a metric space \((X,d)\), \(|X|\ge 3\), by requiring
\[
d(Tx,Ty)+d(Ty,Tz)+d(Tz,Tx)
\le
\lambda\Big(
d(x,Ty)+d(y,Tx)+d(y,Tz)+d(z,Tx)+d(z,Ty)+d(x,Tz)
\Big)
\]
for all pairwise distinct \(x,y,z\), with \(\lambda\in[0,\tfrac12)\). Under the additional assumption \(T(Tx)\neq x\) whenever \(Tx\neq x\), the map has at least one fixed point and at most two fixed points. The paper gives examples of generalized Chatterjea maps that are not standard Chatterjea maps, including discontinuous examples and examples outside Kannan and triangle-perimeter classes [2404.00782].

A related paper works with the constant range \(\gamma\in[0,\tfrac13)\) and the assumption that \(T\) has no periodic points of prime period \(2\). It again concludes existence of a fixed point and that the number of fixed points is at most two. It further proves continuity at fixed points for generalized Chatterjea-type mappings and derives fixed point theorems even when completeness is not mandatory, provided appropriate orbit-limit or density-and-continuity hypotheses are satisfied. It also identifies parameter regimes under which standard Chatterjea mappings, generalized Kannan mappings, and mappings contracting perimeters of triangles are contained in the generalized Chatterjea class [2403.07906].

A different generalization appears in \(G\)-metric spaces. There, a cyclical operator \(T:\bigcup_{i=1}^p A_i\to\bigcup_{i=1}^p A_i\) is a \(G\)-cyclic \((\varphi-\psi)\)-Chatterjea contraction if for suitable \(\alpha,\beta\) with \(0<\alpha\) and \(0<\alpha+\beta<1\),
\[
\varphi\big(G(Tx,Ty,Tz)\big)
\le
\varphi\big(\alpha\,G(x,Ty,Tz)+\beta\,G(y,z,Tx)\big)
-
\psi\big(G(x,Ty,Tz),G(y,z,Tx),G(z,y,Tx)\big)
\]
for \(x\in A_i\), \(y,z\in A_{i+1}\). In a complete \(G\)-metric space with closed subsets \(A_i\), such a cyclical operator has a unique fixed point in \(\bigcap_i A_i\). This formulation introduces altering-distance and control functions while preserving the essential Chatterjea cross-term structure [1803.00913].

## 5. Iterated forms, \(k\)-continuity, and minimal assumptions

Another direction studies Chatterjea behavior on iterates rather than on \(T\) itself. The 2026 paper “Another Perspective on Chatterjea Contraction” introduces \(m\)-Chatterjea contractions and proves existence and uniqueness of fixed points on complete metric spaces under an additional \(k\)-continuity assumption, meaning that some iterate \(\psi^k\) is continuous. For \(m=2\) and for general \(m\), the iterative sequence \((\psi^n x)\) converges to the unique fixed point. At the same time, the paper gives counterexamples showing that without \(k\)-continuity the iterates may converge while no fixed point exists, and it provides examples demonstrating that the \(m\)-Chatterjea class strictly contains the classical Chatterjea class [2605.21549].

A related iterative generalization is the Singh-Chatterjea contraction. Here one assumes that for some \(p\in\mathbb N\) and \(\alpha\in(0,\tfrac12)\),
\[
d(T^p x,T^p y)\le \alpha\big(d(x,T^p y)+d(y,T^p x)\big),\qquad x,y\in X.
\]
On a complete metric space this implies a unique fixed point, and the entire orbit \(T^n x_0\) converges to it for every initial point. The paper states that this framework recovers classical Chatterjea when \(p=1\), relates to Singh’s iterate-based extension of Kannan mappings, and strictly enlarges the class of admissible operators. It also shows that every Banach contraction becomes Singh-Chatterjea after sufficiently many iterates; the minimum \(p\) is characterized by the inequality \(\lambda^p\le \tfrac13\) when \(\lambda\) is the Banach constant [2510.11975].

At the opposite end of the spectrum, the 2025 CJM-based analysis identifies an essentially weakest Chatterjea-type condition on a complete metric space:
\[
d(Tx,Ty)<\frac12\big(d(x,Ty)+d(y,Tx)\big),\qquad x\ne y.
\]
This is the condition labeled \((\mathrm{CM2})\). The paper proves that, together with an orbit-wise CJM implication, \((\mathrm{CM2})\) is equivalent to the statement that \(T\) has a unique fixed point and every Picard sequence converges to it. The significance is that no uniform contraction constant below \(\tfrac12\) is required; strict pointwise cross-term dominance suffices within the CJM framework [2505.01672].

## 6. Nonclassical distance structures and broader analytical scope

Chatterjea-type ideas have been transplanted into several generalized distance frameworks. In semimetric spaces with triangle functions \(\Phi\), one studies both the classical Chatterjea inequality
\[
d(Tx,Ty)\le \beta\big(d(x,Ty)+d(y,Tx)\big),\qquad 0<\beta<\tfrac12,
\]
and the Chatterjea-Bianchini condition
\[
d(Tx,Ty)\le \beta \max\{d(x,Ty),d(y,Tx)\},\qquad 0<\beta<1.
\]
For complete semimetric spaces with continuous \(d\) and triangle functions satisfying the paper’s conditions \((2.5)\), \((2.6)\), (i), and (ii), fixed point results are established for the Chatterjea-Bianchini case. The framework specializes to metric, \(b\)-metric, ultrametric, and power-type triangle functions, with explicit parameter ranges such as \(0<\beta<1/K\) for \(b\)-metrics and \(0<\beta<2^{-1/q}\) for power triangle functions \(\Phi(u,v)=(u^q+v^q)^{1/q}\) [2501.00392].

In partial \(b\)-metric spaces \((X,p)\), Chatterjea-type mappings are treated through
\[
p(Tx,Ty)\le \lambda\big(p(x,Ty)+p(y,Tx)\big).
\]
For complete partial \(b\)-metric spaces with coefficient \(s\ge 2\) and \(\lambda\in[0,2)\), the fixed point is unique and satisfies \(p(u,u)=0\). The same paper develops a max-type Chatterjea condition, a joint Chatterjea-Kannan theorem with coefficient constraints, and \(T\)-stability of Picard iteration. It also conjectures the \(P\)-property for these broader classes [1902.03108].

In probabilistic cone metric spaces, the contractive condition becomes distributional:
\[
F_{Tx,Ty}(t)\ge \min\left\{F_{x,Ty}\!\left(\frac{t}{2\alpha}\right),\,F_{y,Tx}\!\left(\frac{t}{2\alpha}\right)\right\},\qquad \alpha\in(0,\tfrac12).
\]
On complete probabilistic cone metric spaces, this guarantees a unique fixed point. The formulation combines uncertainty, via distribution-valued distances, with cone-induced order. The cited work presents this as relevant to stochastic processes, random operators, and uncertainty modeling in functional equations [2509.06962].

Taken together, these developments show that Chatterjea-type mappings are no longer confined to complete metric spaces and single-valued self-maps. They now encompass enriched averaging schemes in Banach spaces, set-valued dynamics, three-point and cyclic geometries, iterate-based contractions, semimetric and partial metric structures, and probabilistic cone settings. A plausible implication is that the class functions less as a single theorem and more as a contractive template adaptable to different ambient geometries. The cited works explicitly connect these extensions to nonlinear equations, variational inequalities, optimization problems, differential inclusions, economics, computer science, stochastic processes, and random operators [1909.03494][2209.01770][2509.06962].

Source: https://www.emergentmind.com/topics/chatterjea-type-mappings