---
title: Geraghty-Type Non-Self Mappings
url: https://www.emergentmind.com/topics/geraghty-type-non-self-mappings
type: topic
---

# Geraghty-Type Non-Self Mappings

Searching arXiv for the cited papers and closely related work on Geraghty-type non-self mappings.
First, I’ll look up the core Geraghty/Suzuki-related fixed point paper and the non-self multivalued background paper.
Searching arXiv for: 1207.6207 Geraghty Suzuki completeness Abtahi; 1109.3021 generalized contractive non-self multi-valued mappings
Geraghty-type non-self mappings are mappings for which the contractive mechanism is governed by a Geraghty control function, while the map itself is non-self, typically of the form \(T:A\to B\) with \(A,B\subseteq X\). In this setting, ordinary fixed points are generally unavailable when \(A\cap B=\varnothing\), so the natural replacement is a best proximity point, namely a point \(x^*\in A\) such that \(d(x^*,Tx^*)=d(A,B)\). Recent work formulates this theory in a proximal form, often through an auxiliary map \(S\), and proves existence and uniqueness under Geraghty-type and Kannan–Geraghty-type assumptions. Closely related literatures include Suzuki-inspired self-map generalizations of Geraghty’s theorem, generalized non-self multivalued endpoint theory controlled by Boyd–Wong/Amini-Harandi type functions, and auxiliary-image formulations in which self-map dynamics is transported to \(T(X)\) [2510.02406].

## 1. Core setting and definitions

The standard metric framework is a complete metric space \((X,d)\) together with two nonempty subsets \(A,B\subseteq X\). A mapping is called non-self when it has the form
\[
T:A\to B,
\]
rather than \(T:A\to A\). Because \(A\) and \(B\) may be disjoint, the quantity
\[
d(A,B):=\inf\{d(x,y):x\in A,\ y\in B\}
\]
replaces the fixed-point equation as the fundamental geometric benchmark. The associated best proximity sets are
\[
A_0:=\{x\in A: d(x,y)=d(A,B)\ \text{for some } y\in B\},
\]
\[
B_0:=\{y\in B: d(x,y)=d(A,B)\ \text{for some } x\in A\}.
\]
A point \(x^*\in A\) is a best proximity point if
\[
d(x^*,Tx^*)=d(A,B).
\]

The Geraghty mechanism is encoded by a control class. In the non-self proximal framework developed in 2025, the relevant class is
\[
\Gamma=\left\{\beta:[0,\infty)\to[0,1):\ \beta(t_n)\to 1 \Rightarrow t_n\to 0\right\}.
\]
This is the same logical feature that underlies classical Geraghty contractions: the contractive coefficient may vary with scale and may approach \(1\), but only near \(0\) [2510.02406].

A distinctive feature of the recent non-self theory is the use of an auxiliary function
\[
S:A\cup B\to A\cup B,
\]
satisfying
\[
S(A)\subseteq A,\qquad S(B)\subseteq B.
\]
In the principal theorems, \(S\) is assumed to be continuous on \(A\) and on \(B\), one-to-one, subsequentially convergent, and such that
\[
S(A_0)\subseteq A_0,\qquad S(B_0)\subseteq B_0.
\]
The paper uses “subsequentially convergent” exactly in the sense that if \(\{Sx_n\}\) converges, then \(\{x_n\}\) has a convergent subsequence [2510.02406].

## 2. Geraghty ancestry and the self-map antecedents

The modern non-self theory is best understood against the background of Geraghty’s self-map fixed point principle and later Suzuki-type weakenings of global contraction. In the classical one-variable form recalled in the infinite-dimensional extension paper, a self-map \(T:X\to X\) is a Geraghty contraction when
\[
d(Tx,Ty)\le \beta(d(x,y))\,d(x,y),
\]
where \(\beta:[0,\infty)\to[0,1)\) belongs to a Geraghty class \(G\) satisfying
\[
\beta(t_n)\to 1 \implies t_n\to 0.
\]
This control condition is the prototype for later non-self and multivariable variants [2105.00549].

A distinct but closely related development appears in the Suzuki-inspired self-map theory of Abtahi. There the global contractive hypothesis is weakened to conditional forms involving \(d(x,Tx)\), while the convergence criterion is preserved through Geraghty-style subsequences and ratios
\[
\delta_n=d(x_{p_n},x_{q_n}),
\qquad
\alpha_n=
\begin{cases}
0,&\delta_n=0,\\[1mm]
\dfrac{d(Tx_{p_n},Tx_{q_n})}{\delta_n},&\delta_n>0.
\end{cases}
\]
The central implication is that, under the Suzuki-type trigger
\[
\forall x,y\in X\;\Bigl(\frac12 d(x,Tx)<d(x,y)\ \Rightarrow\ d(Tx,Ty)<d(x,y)\Bigr),
\]
the subsequential criterion \(\alpha_n\to 1 \Rightarrow \delta_n\to 0\) is equivalent to convergence of the Picard orbit to a unique fixed point in a complete metric space. The same paper introduces a test-function class
\[
\Psi=\left\{\varphi:\mathbb R^+\to[0,1]:\ \varphi(s_n)\to 1 \Rightarrow s_n\to 0\right\},
\]
which is the closest analogue there to Geraghty’s variable-coefficient form [1207.6207].

That paper, however, is explicitly a self-map paper: all mappings are \(T:X\to X\), every theorem is stated for self-maps, and the proofs use ordinary Picard iteration \(x_{n+1}=Tx_n\). It therefore does not treat non-self mappings directly. Its significance for non-self work lies in what it calls the Suzuki-conditioned Geraghty mechanism: contraction is imposed only under a local trigger involving \(d(x,Tx)\), while the convergence logic is carried by Geraghty-style subsequences [1207.6207].

This distinction corrects a frequent misconception. Not every Geraghty-type generalization is a non-self theorem. Some papers generalize the contractive side but remain strictly within self-map dynamics; others change the operator arity, as in \(T:X^k\to X\) or \(T:X^\mathbb N\to X\), without entering standard non-self fixed point theory [2105.00549].

## 3. Proximal Geraghty-type non-self mappings

The 2025 best proximity framework gives a direct formulation of Geraghty-type non-self mappings. The principal condition is an \(S\)-proximal Geraghty-type inequality: for all \(u,v,x,y\in A\),
\[
d(Su,STx)=d(Sv,STy)=d(A,B)
\quad\Longrightarrow\quad
d(Su,Sv)\leq \beta(d(Sx,Sy))\,d(Sx,Sy),
\]
where \(\beta\in\Gamma\). The map is non-self because \(T:A\to B\), and it is proximal because the inequality is imposed only on quadruples linked by the minimal-distance relations
\[
d(Su,STx)=d(A,B), \qquad d(Sv,STy)=d(A,B).
\]
The corresponding best proximity conclusion is not \(Tx=x\), but
\[
d(Sx^*,STx^*)=d(A,B).
\]

Under the assumptions that \((A,B)\) are nonempty subsets of a complete metric space, \(A_0\) and \(B_0\) are nonempty and closed, \(S\) is continuous on \(A\) and on \(B\), one-to-one, subsequentially convergent, and preserves \(A_0,B_0\), and
\[
T(A_0)\subseteq B_0,
\]
the main theorem states that there exists a unique \(x^*\in A\) such that
\[
d(Sx^*,STx^*)=d(A,B).
\]
Moreover, every sequence \(\{x_n\}\subseteq A\) satisfying
\[
d(Sx_{n+1},STx_n)=d(A,B), \qquad \forall n\in\mathbb N,
\]
converges to \(x^*\) [2510.02406].

The paper also introduces a proximal Kannan–Geraghty non-self condition. For all \(u,v,x,y\in A\),
\[
d(Su,STx)=d(Sv,STy)=d(A,B)
\]
implies
\[
d(Su,Sv)\leq \beta\!\big(d(Sx,Sy)\big)\,\big[d^*(Sx,STx)+d^*(Sy,STy)\big],
\]
where
\[
d^*(Sx,STx):=d(Sx,STx)-d(A,B)\geq 0
\]
and \(\beta\in\Gamma\). Under the same structural assumptions, there again exists a unique \(x^*\in A\) such that
\[
d(Sx^*,STx^*)=d(A,B),
\]
and every proximal sequence defined by
\[
d(Sx_{n+1},STx_n)=d(A,B)
\]
converges to that point [2510.02406].

These two formulas are the direct non-self Geraghty analogues developed in the paper. They recover constant-coefficient proximal contractions when \(\beta\equiv k\in(0,1)\), and recover constant-coefficient proximal Kannan conditions when \(\beta\equiv \alpha\) [2510.02406].

## 4. Iterative mechanism and the role of the auxiliary map

The proof strategy proceeds in the \(S\)-image rather than directly in \(A\). Starting from any \(x_0\in A_0\), the assumptions
\[
T(A_0)\subseteq B_0,\qquad S(A_0)\subseteq A_0,\qquad S(B_0)\subseteq B_0
\]
allow the construction of a sequence \(\{x_n\}\subseteq A_0\) satisfying
\[
d(Sx_{n+1},STx_n)=d(A,B), \qquad \forall n.
\]
The Geraghty-type inequality then yields a recurrence of the same formal type as Geraghty’s classical fixed point theorem, but for the transformed sequence \(\{Sx_n\}\). The authors conclude by “standard arguments as in Geraghty’s fixed point theorem” that \(\{Sx_n\}\) is Cauchy, hence convergent in the complete ambient space [2510.02406].

At that stage, the auxiliary hypotheses on \(S\) become decisive. Continuity is used to identify the limit of a convergent subsequence of \(\{x_n\}\) with the limit of \(\{Sx_n\}\). Injectivity is then used twice: first to show that the candidate limit is indeed a best proximity point, and second to prove uniqueness from an equality of \(S\)-images. Subsequential convergence is the assumption that allows one to pass back from convergence of \(\{Sx_n\}\) to an actual convergent subsequence of \(\{x_n\}\) [2510.02406].

The necessity of this condition is exhibited by a counterexample. Let
\[
X=\{0,1\}\times [0,\infty)
\]
with the Euclidean metric, and define
\[
A=\{(0,x):x\in[0,\infty)\},\qquad B=\{(1,y):y\in[0,\infty)\}.
\]
Then \(A_0=A\) and \(B_0=B\). Define
\[
T(0,x)=(1,2x+1),
\qquad
S(x,y)=(x,e^{-y}).
\]
The transformed sequence may converge because
\[
S(0,n)=(0,e^{-n})\to (0,0)\in A,
\]
but the original sequence \(\{(0,n)\}\subseteq A\) has no convergent subsequence in \(A\), since the second coordinate diverges to \(+\infty\). The paper concludes that \(S\) is not subsequentially convergent and that, in this case, \(T\) has no best proximity point. The example isolates subsequential convergence of \(S\) as essential rather than cosmetic [2510.02406].

A further misconception is thereby addressed. In auxiliary-image methods, convergence of the transformed orbit does not by itself imply convergence of the original orbit. The \(S\)-space and the original domain need not have the same compactness or sequential behavior, and the transfer back to \(A\) is one of the genuinely nontrivial steps.

## 5. Neighboring frameworks and boundary cases

The literature surrounding Geraghty-type non-self mappings is heterogeneous. Some contributions are directly non-self but not Geraghty in the strict sense; others are Geraghty but not non-self; still others use auxiliary transport maps while remaining self-map theorems.

| Framework | Mapping type | Relation to Geraghty-type non-self mappings |
|---|---|---|
| Best proximity with auxiliary \(S\) | \(T:A\to B\) | Direct theory |
| Common strict fixed points with \(\psi\) | \(T,S:K\to P_{cl,bd}(X)\) | Indirect background |
| Infinite-input Geraghty operators | \(T:X^k\to X\), \(T:X^\mathbb N\to X\) | Indirect analogue |
| \(T\)-extended auxiliary-image theory | \(S:X\to X\) | Methodological precursor |

A prominent indirect precursor is the 2011 paper on generalized contractive non-self multivalued mappings. There the setting is a complete metric space \((X,d)\), a closed subset \(K\subseteq X\), and non-self multivalued maps
\[
T,S:K\to P_{cl,bd}(X),
\]
with contraction measured by the Hausdorff metric:
\[
H(Tx,Sy)\le \psi\bigl(N_{T,S}(x,y)\bigr),
\]
where
\[
N_{T,S}(x,y)=
\max\left\{
d(x,y),\ d(x,Tx),\ d(y,Sy),\ \frac{d(y,Tx)+d(x,Sy)}{2}
\right\}.
\]
The control function \(\psi\) is upper semicontinuous, satisfies \(\psi(t)<t\) for all \(t>0\), and
\[
\liminf_{t\to\infty}(t-\psi(t))>0.
\]
The main theorem states that \(T\) and \(S\) have a unique common strict fixed point in \(K\) if and only if they have the common approximate \(K\)-boundary strict fixed point property, and moreover
\[
\operatorname{SFix}(T)=\operatorname{Fix}(T)=\operatorname{Fix}(S)=\operatorname{SFix}(S).
\]
This is non-self, multivalued, and proximal in spirit, but it is not a Geraghty theorem in the classical \(\beta(t_n)\to 1 \Rightarrow t_n\to 0\) form [1109.3021].

Another adjacent direction is the 2021 theory of infinite Geraghty-type extensions for operators
\[
T:X^k\to X,\qquad T:\prod_{l=1}^\infty X\to X.
\]
Its fixed point notion is diagonal,
\[
T((u,u,u,\dots))=u,
\]
and its contractive conditions involve \(\beta\in G\). This paper extends Geraghty, Kannan–Geraghty, and Fisher–Geraghty ideas to multivariable and infinite-input operators, and applies them to infinite-dimensional Fredholm and Urysohn integral equations. It is not a non-self mapping paper in the standard sense \(T:A\to B\), but it shows how Geraghty control can survive outside the classical self-map format [2105.00549].

A third neighboring strand is the 2026 \(T\)-extended framework. There the principal object is still a self-map \(S:X\to X\), but the contractive behavior is measured on the auxiliary image through
\[
d(TSx,TSy),
\]
with \(T:X\to X\) continuous, injective, and subsequentially convergent. The paper proves that \(T\)-extended weakly contractive and \(T\)-extended Geraghty classes coincide, and likewise \(T\)-extended weakly Kannan and \(T\)-extended Kannan–Geraghty classes coincide. The key induced map is
\[
F:T(X)\to T(X),\qquad F(Tx)=T(Sx).
\]
This is not a non-self theory, since \(S\) remains a self-map, but it offers an explicit transport principle from a generalized formulation to a classical self-map problem on \(T(X)\) [2604.23400].

## 6. Applications, examples, and methodological significance

The direct application developed in the 2025 non-self paper is a registration-inspired alignment model. For \(\delta>0\), let
\[
A=\{(0,t): t\in[0,1]\},\qquad B=\{(\delta,s): s\in[0,1]\}
\]
as compact subsets of \(\mathbb R^2\) with the Euclidean metric. Then
\[
d(A,B)=\delta,\qquad A_0=A,\qquad B_0=B.
\]
Take
\[
S=\mathrm{Id}_{A\cup B},
\qquad
T(0,t)=(\delta,\kappa t),
\]
for \(\kappa\in(0,1)\). If
\[
u=(0,u_2),\quad v=(0,v_2),\quad x=(0,x_2),\quad y=(0,y_2)\in A
\]
and
\[
d(Su,STx)=d(A,B),\qquad d(Sv,STy)=d(A,B),
\]
then
\[
u=(0,\kappa x_2),\qquad v=(0,\kappa y_2),
\]
and therefore
\[
d(Su,Sv)=\kappa\, d(Sx,Sy).
\]
Thus the Geraghty-type condition holds with the constant function \(\beta\equiv \kappa\in\Gamma\). The theorem yields a unique \(x^*\in A\) such that
\[
d(Sx^*,STx^*)=d(A,B)=\delta.
\]
Since
\[
d\big((0,t),(\delta,\kappa t)\big)=\sqrt{\delta^2+(1-\kappa)^2 t^2},
\]
this equals \(\delta\) if and only if \(t=0\), so the unique best proximity point is
\[
x^*=(0,0).
\]
The paper calls this the “unique and well-defined alignment anchor” [2510.02406].

The same example also makes the iteration explicit. If \(x_n=(0,t_n)\), then the proximal relation
\[
d(Sx_{n+1},STx_n)=d(A,B)=\delta
\]
forces
\[
x_{n+1}=(0,\kappa t_n),
\]
hence
\[
t_{n+1}=\kappa t_n,\qquad t_n=\kappa^n t_0\to 0.
\]
The abstract existence theorem is therefore realized by a concrete geometric decay toward the unique best proximity point [2510.02406].

From a broader methodological perspective, this suggests two major directions. First, Geraghty-type control can be transplanted from fixed point theory to best proximity theory provided the geometry is organized through proximal relations and an auxiliary transform. Second, auxiliary-image methods appear in both genuine non-self results and in self-map transport theorems, but the target statements differ sharply: non-self theories seek best proximity points, whereas auxiliary self-map theories reduce to fixed points of induced maps such as \(F(Tx)=TSx\) [2510.02406].

## 7. Conceptual boundaries and research directions

The current literature establishes a clear conceptual boundary. A direct theory of Geraghty-type non-self mappings now exists in best proximity form, but many papers adjacent to it remain outside that category. The 2012 Suzuki-inspired theorem is self-map only; the 2011 non-self multivalued paper is nonlinear and non-self but not Geraghty in the standard \(\beta\)-class sense; the 2021 infinite-input paper is Geraghty but not non-self in the subset-to-subset sense; and the 2026 \(T\)-extended theory is again a self-map framework transported to \(T(X)\) [1207.6207].

Within the direct non-self theory, the strongest structural assumptions are also the most consequential. The requirements that \(A_0\) and \(B_0\) be nonempty and closed, that
\[
T(A_0)\subseteq B_0,
\]
and that \(S\) be continuous, injective, subsequentially convergent, and preserve \(A_0,B_0\), are not ancillary hypotheses. They are the mechanisms that make proximal iteration possible, allow convergence to be proved in the transformed space, and permit that convergence to be lifted back to the original domain [2510.02406].

A plausible implication is that future extensions will likely focus on weakening these auxiliary hypotheses rather than on altering the Geraghty control condition itself. The existing counterexample shows that subsequential convergence of the auxiliary map is tightly tied to the proof architecture. Likewise, the transport philosophy developed for self-maps on \(T(X)\) suggests a route for further non-self generalizations: one may attempt to encode non-self dynamics into an induced self-map on an auxiliary image or proximity space, while preserving a Geraghty-type control law [2604.23400].

In that sense, Geraghty-type non-self mappings now occupy a specific position within metric fixed point theory: they are not merely non-self analogues of classical contractions, but a proximal theory in which scale-dependent Geraghty control, auxiliary transforms, and best proximity geometry are combined to recover existence, uniqueness, and convergence when literal fixed points are unavailable [2510.02406].

Source: https://www.emergentmind.com/topics/geraghty-type-non-self-mappings