The minimal displacement problem of DND-Lipschitzian mappings (Q6168171)

\textit{K. Goebel} [Pac. J. Math. 45, 151--163 (1973; Zbl 0265.47046)] proved 50 years ago that the minimal displacement \(\eta(f;C):=\inf\{\Vert x-f(x)\Vert:x\in C\}\) of a Lipschitz continuous map \(f:C\to C\), with \(C\) being a closed, bounded, convex subset of a Banach space \(X\), satisfies the estimate \(\eta(f;C)\le r(C)\,\max\{0,1-1/k\}\), where \(r(C)\) denotes the Chebyshev radius of \(C\) and \(k\) is the minimal Lipschitz constant of \(f\). In particular, \(\eta(f;C)= 0\) if \(f\) is nonexpansive, but \(f\) need not have a fixed point in \(C\). In this interesting paper, the author proves an analogue for certain noncompact maps which reads as follows. Given a bounded set \(B\) of a metric space \((Y, d)\) and some \(\alpha\ge 0\), recall that a continuous map \(\gamma:[0, 1]\to B\) is called an \(\alpha\)-dense curve in \(B\) if, for each \(x\in B\), there is some \(t_0\in[0,1]\) such that \(d(x,\gamma(t_0))\le\alpha\). Denoting by \(\Gamma(B,\alpha)\) the set of all such curves (which is obviously nonempty for \(\alpha\ge\text{diam}(B)\)), the authors considers the characteristic \[ \phi(B):=\inf\{\alpha\ge 0:\Gamma(B,\alpha)\ne\varnothing\}. \] This characteristic was introduced by the author and \textit{G. Mora} [J. Convex Anal. 22, No. 3, 871--888 (2015; Zbl 1328.47057)] under the name ``degree of convex non-densifiability'' and shares some properties with classical measures of noncompactness. In fact, it is equivalent to the Hausdorff, Kuratowski, and Istratescu measure of noncompactness. So it is not too surprising that there is some kind of Darbo-type fixed point theorem proved by the author recently [\textit{G. García}, Fract. Calc. Appl. Anal. 20, No. 3, 646--661 (2017; Zbl 1439.34011); Filomat 32, No. 10, 3419--3428 (2018; Zbl 1499.34103)] for maps satisfying a condition \[ \phi(f(B))\le k\phi(B)\qquad (B\text{ bounded})\tag{\(*\)} \] for some \(k<1\). In the paper under review, the author shows that \(\eta(f;C)\le r(C)\max\{0,1-1/k\}\), where \(k\) is the minimal constant in \((*)\). Some examples and applications are also given.