The Lipschitz constants of the metric ε-projection operator in spaces with given modules of convexity and smoothness (Q4229503)

Let \((X,\|\cdot\|)\) be a normed linear space over the field of real numbers, \(M\subseteq X\), \(x\in X\) and \(\varepsilon\geq 0\). The formula \(x^\varepsilon_M= \{z\in M: \|x-z\|\leq xM+\varepsilon\}\) defines the metric \(\varepsilon\)-projection of \(x\) onto \(M\), where \(xM= \inf\{\|x-z\|: z\in M\}\). Let \(V= V(X)\) be the set of the triples \((x,M,\varepsilon)\) for which \(x^\varepsilon_M\neq\emptyset\). The operator \(P:V\to 2^X\setminus\{\emptyset\}\) defined by \(P(v)= x^\varepsilon_M\), \(v= (x,M,\varepsilon)\) is called the metric \(\varepsilon\)-projection operator. Let a metric \(P\) on \(V\) be defined by \(P(v,w)= |\varepsilon- \delta|+ 2\|x-y\|+ 3\alpha(M,N)\), where \(v= (x,M,\varepsilon)\), \(w= (y,N,\delta)\in V\), and \(\alpha(M,N)\) be the Hausdorff distance between \(M\) and \(N\), i.e. \(\alpha(M,N)= \max(\beta(M,N), \gamma(M,N))\), \(\beta(M,N)= \gamma(M,N)= \sup_{p\in M} \inf_{q\in N}\|p-q\|\). Let the codomain \(2^X\setminus\{\emptyset\}\) of \(P\) be equipped with one of the three derivations \(\tau= \alpha,\beta,\gamma\) and \(C_V(X)\) be the set of all nonempty convex subsets of \(X\). It is known that for \(x\in X\), \(M\in C_V(X)\), \(\varepsilon>0\), and \(\tau= \alpha,\beta,\gamma\) the operator \(P\) is \(\tau\)-Lipschitzian at \(v= (x,M,\varepsilon)\) w.r.t. the totality of variables, which means that the \(\tau\)-Lipschitz constants \(K_\tau(v)\) defined by \(K_\tau(v)= \sup\left\{{\tau(P(w),P(v))\over P(v,w)}: w\in X, P(u,w)\neq 0\right\}\) are finite and satisfy certain upper estimates. In this paper, the author obtains upper estimates for \(K_\tau(v)\) in terms of the modules of convexity and smoothness of \(X\) and show that they cannot be improved in the class of all normed linear spaces. These estimates are also used to obtain new stability evaluations for continuous selectors of the operator \(P\).