No label defined (Q4663564)

Let \(\rho_1\leq \rho_2\) be two complete metrics on a set \(Y\). A subset \(E\) of \(Y\) is called \((\rho_1,\rho_2)\)-porous if there exist \(r_0>0\) and \(\alpha \in (0,1)\) such that for each \(x\in Y\) and each \(r\in (0,r_0)\) there exists \(z\in Y\setminus E\) with \(\rho_2(x,z)\leq r\) and \(B_{\rho_1}(z,\alpha r)\cap E =\emptyset.\) The set \(E\) is called \(\sigma\)-\((\rho_1,\rho_2)\)-porous if it is a countable union of \((\rho_1,\rho_2)\)-porous sets. These notions were considered by the second author in [Calc. Var. Partial Differ. Equ. 13, No. 3, 265--293 (2001; Zbl 1032.49035)]. The present paper is concerned with the study of strong well-posedness (a notion defined in the paper) of some minimization problems. On the family \(S(X)\) of all nonempty closed subsets of a Banach space \((X,\| \cdot\| )\) one considers two metrics: \(\, \widetilde H(A,B) =H(A,B)(1+H(A,B))^{-1}\, \) (with the convention \(\infty/\infty =1\)), where \(H\) is the extended Hausdorff metric on \(S(X),\) and \(\,h(A,B) =\sum_{n=1}^\infty 2^{-n}h_n(A,B)(1+h_n(A,B))^{-1}, \) where \(\, h_n(A,B)=\sup\{| d(x,A)-d(x,B)| : \| x\| \leq n\},\, n\in \mathbb N.\) Then \(h\leq \widetilde H\) and \(S(X)\) is complete with each of the metrics \(h\) and \(\widetilde H.\) For a function \(f:X\to \mathbb R\) satisfying some natural restrictions, and for \(A\in S(X)\) and \(x\in X\) one considers the minimization problem \(\min\{f(x-y) : y\in A\}, \) which, for \(f=\| \cdot\| ,\) becomes the best approximation problem. A typical result of the paper is the following one: There exists a subset \(\Omega\) of \(S(X)\times X\) such that \(S(X)\times X\setminus \Omega\) is \(\sigma\)-\((h+\| \cdot \| ,\widetilde H+\| \cdot \| )\)-porous and for each \((A,x)\in \Omega\) the problem \(\, f(x-y)\rightarrow\min,\, y\in A, \) is strongly well-posed (Theorem 2.2). The obtained results extend a lot of generic existence results in best approximation and optimization.