Attainment and (sub)differentiability of the supremal convolution of a function and square of the norm (Q432421): Difference between revisions

Let \((X,\|\cdot\|)\) be a real Banach space. For a function \(f:X\to \mathbb R\cup\{\infty\}\) one defines the infimal (supremal) convolution of \(f\) with the \(p\)'th power of the norm at a point \(x\in X\) by \((f\square \|\cdot\|^p)(x)=\inf\{f(z)+\|x-z\|^p : z\in X\}\) (resp. \((f\Delta \|\cdot\|^p)(x)=\sup\{-f(z)+\|x-z\|^p : z\in X\}\)). It is obvious that \(-(f\Delta \|\cdot\|^p)=f\square(-\|\cdot\|^p).\) Also, taking \(f\) to be the indicator function of a nonempty subset \(K\) of \(X\), \(f\square \|\cdot\|^p\) is the \(p\)'th power of the distance function to \(K\), while \(f\Delta \|\cdot\|^p \) is the \(p\)'th power of the farthest distance function to \(K\). The differentiability properties of the infimal convolution were studied by the authors in a previous paper [J. Math. Anal. Appl. 368, No. 2, 538--550 (2010; Zbl 1195.46043)]. The present paper is concerned with the differentiability properties of the supremal convolution of a function \(f\) with the square of the norm. Throughout the paper it is assumed that \(f\) has a certain property, called property (Q), meaning that \(f\) is proper, lsc, bounded from below and \(\liminf_{\|z\|\to \infty}f(z)/(\|z\|^2)>1.\) Also, one says that \((f\Delta \|\cdot\|^p)(x)\) is attained if there exists \(z\in X\) such that \((f\Delta \|\cdot\|^p)(x)=-f(z)+\|x-z\|^2,\) and that it is attained strongly if, further, \(\lim\|x-z_n\|=0\) for every maximizing sequence \((z_n)\) in \(X.\) Under these hypotheses, \(\partial(f\Delta \|\cdot\|^2)(x)=\partial(\|\cdot\|^2)(x-z).\) Moreover, \(\|\cdot\|^2\) is Gâteaux (Fréchet) differentiable at the point \(x-z\) iff \(f\Delta \|\cdot\|^2 \) is Gâteaux (Fréchet) differentiable at the point \(x,\) and, in this case, \((f\Delta \|\cdot\|^2 )'(x)=2\|x-z\|\, \|\cdot\|'(x-z)\) (Proposition 1). In Theorem 3 one proves that if \(\|\cdot\|\) is Fréchet differentiable and LUR, then \((f\Delta \|\cdot\|^2)(x) \) is attained strongly at \(z\) iff \(f\Delta \|\cdot\|^2\) is Fréchet differentiable at \(x-z.\) Some generic differentiability results, containing as particular cases generic differentiability results of the farthest point mapping, are also proved. The obtained results extend some results obtained for the farthest point mapping by \textit{S. Dutta} and \textit{P. Bandyopadhyay} [Bull. Aust. Math. Soc. 71, No. 3, 425--433 (2005; Zbl 1084.46010)] and \textit{S. Dutta} [Proc. Am. Math. Soc. 133, No. 10, 2949--2955 (2005; Zbl 1088.49012)].