×

Derivatives of generalized distance functions and existence of generalized nearest points. (English) Zbl 1006.46015

Let \(X\) be a real Banach space of dimension at least 2, \(C\) a closed bounded convex subset of \(X\) with \(0\in\text{int }C\). The Minkowski functional \(p_C: X\to \mathbb{R}\) with respect to the set \(C\) is defined by \[ p_C(x)= \inf\{\alpha> 0: x\in\lambda C\},\quad \forall x\in X. \] For a closed nonempty subset \(G\) of \(X\), the generalized distance function is defined by \(d_G(x)= \inf_{z\in G} p_C(x- z)\), \(\forall x\in X\). A point \(z_0\in G\) with \(p_C(x- z_0)= d_G(x)\) is called a generalized nearest point to \(x\) from \(G\). For any \(x,y\in X\), the one-sided directional derivative of \(d_G\) at \(x\) is \[ d_G'(x)(y)= \lim_{t\to 0^+} {d_G(x+ ty)- d_G(x)\over t}. \] In this paper, the authors investigate the relationship between directional derivatives of generalized distance functions and the existence of generalized nearest points in Banach spaces. It is proved that if the one-sided diretional derivative of the generalized distance function associated to \(G\) at \(x\) equals to \(1\) or \(-1\), then the generalized nearest point to \(x\) from \(G\) exists, provided that \(X\) is a compactly locally uniformly convex Banach space. Moreover, a partial answer to the following open problem put forward by S. Fitzpatrick [Bull. Austr. Math. Soc. 39, No. 2, 233-238 (1989; Zbl 0674.46011)] is given.
If \(G\) is a closed subset of reflexive Banach space \(X\), is the set \[ D= \{x\in X\mid G; \exists y\in \text{Bd}(c)\text{ with }d_G'(x)(y)= 1\} \] residual in \(X\setminus G\)? Theorem 3.5 in the present paper says that the answer to the problem is affirmative if \(C\) is both strictly convex and Kadeč. Whether Theorem 3.5 remains true without this assumption remains not known.

MSC:

46B20 Geometry and structure of normed linear spaces

Citations:

Zbl 0674.46011
Full Text: DOI

References:

[1] De Blasi, F. S.; Myjak, J., On a generalized best approximation problem, J. Approx. Theory, 94, 54-72 (1998) · Zbl 0912.41015
[2] De Blasi, F. S.; Myjak, J.; Papini, P. L., Porous sets in best approximation theory, J. London. Math. Soc. (2), 44, 135-142 (1991) · Zbl 0786.41027
[3] De Blasi, F. S.; Myjak, J., Ensembles poreux dans la théorie de la meilleure approximation, C. R. Acad. Sci. Paris I, 308, 353-356 (1989) · Zbl 0661.41014
[4] Borwein, J. M.; Fitzpatrick, S., Existence of nearest points in Banach spaces, Canad. J. Math., 41, 702-720 (1989) · Zbl 0668.46006
[5] Burke, J. V.; Ferris, M. C.; Qian, Maijian, On the Clarke subdifferential of the distance function of a closed set, J. Math. Anal. Appl., 166, 199-213 (1992) · Zbl 0761.49009
[6] Coyette, M., Differentiability of distance functions, Functional Analysis and Approximation, Bagni di Lucca, 1988 (1989), Pitagora: Pitagora Bologna, p. 164-182 · Zbl 0673.41024
[7] Fitzpatrick, S., Metric projections and the differentiability of distance functions, Bull. Austral. Math. Soc., 22, 291-312 (1980) · Zbl 0437.46012
[8] Fitzpatrick, S., Differentiation of real valued functions and continuity of metric projections, Proc. Amer. Math. Soc., 91, 544-548 (1984) · Zbl 0604.46050
[9] Fitzpatrick, S., Nearest points to closed sets and directional derivatives of distance functions, Bull. Austral. Math. Soc., 39, 233-238 (1989) · Zbl 0674.46011
[10] Giles, J. R., A distance function property implying differentiability, Bull. Austral. Math. Soc., 39, 59-70 (1989) · Zbl 0689.46003
[11] Lau, K. S., Almost Chebyshev subsets in reflexive Banach spaces, Indiana Univ. Math. J., 27, 791-795 (1978) · Zbl 0398.41026
[12] Li, C., On well posed generalized best approximation problems, J. Approx. Theory, 107, 96-108 (2000) · Zbl 1014.41015
[13] Stehkin, S. B., Approximation properties of sets in normed linear spaces, Rev. Roumaine Math. Pures Appl., 8, 5-18 (1963) · Zbl 0198.16202
[14] Zajicek, L., Differentiability of distance functions and points of multi valuedness of the metric projection in Banach spaces, Czechoslovak Math. J., 33, 292-308 (1983) · Zbl 0527.41028
[15] Zamfirescu, T., The nearest point mapping is single valued nearly everywhere, Arch. Math., 54, 563-566 (1990) · Zbl 0715.54013
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.