An estimate for Lipschitz constants of metric projections (Q1283001)

From MaRDI portal
Revision as of 00:59, 18 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
An estimate for Lipschitz constants of metric projections
scientific article

    Statements

    An estimate for Lipschitz constants of metric projections (English)
    0 references
    0 references
    0 references
    0 references
    14 October 1999
    0 references
    Let \(\Omega\) be a closed convex subset of a Banach space \(X\) and \(x\in X\). An element \(\overline x\in\Omega\) such that \(\| x-\overline x\|= \min_{m\in\Omega}\| x- m\|\) is called a nearest point to \(x\). If for each \(x\in X\), there exists a unique nearest point in \(\Omega\), say \(P_\Omega(x)\), then the map \(P_\Omega: X\to\Omega\) is called the metric projection. The moduli of convexity and smoothness of \(X\) are defined, respectively, by \[ \delta_X(\varepsilon)= \inf\{1-\| \textstyle{{1\over 2}} (x+ y)\|:\| x\|=\| y\|, \| x-y\|= \varepsilon\},\;0\leq \varepsilon\leq 2, \] and \[ P_X(t)= \sup\{\textstyle{{1\over 2}} (\| x+ y\|+\| x-y\|)- 1:\| x\|= 1, \| y\|= t\},\;t>0. \] Let \(p\geq 2\), \(1< q\leq 2\), \(X\) is said to be \(p\)-uniformly convex (resp. \(q\)-uniformly smooth) if there is a constant \(d>0\) such that \(\delta_X(\varepsilon)\geq d\varepsilon^p\) (resp. \(P_X(t)\leq dt^q\)). The main purpose of the paper is to give a global estimate for Lipschitz constants of metric projections in a \(p\)-uniformly convex and \(q\)-uniformly smooth Banach space. Main Theorem: Let \(X\) be a \(p\)-uniformly convex and \(q\)-uniformly smooth Banach space. Let \(\Omega\) be a closed convex subset in \(X\). Then for any \(x,y\in X\), we have \[ \| P_\Omega(x)- P_\Omega(y)\|\leq \Biggl[{pc_q(2^{p- 1}- 1\over qd_p(2^{q- 1}- 1)} c^{p-q}\Biggr]\| x- y\|^{q/p}, \] where \[ d_p= \inf\Biggl\{{(1/2)\| x\|^p+ (1/2)\| y\|^p- \|(x+ y)/2\|^p\over\|(x- y)/2\|^p}:\| x- y\|> 0\Biggr\}, \] \[ c_q= \sup\Biggl\{{(1/2)\| x\|^q+ (1/2)\| y\|^q-\|(x+ y)/2\|^q\over \|(x- y)/2\|^q}:\| x- y\|> 0\Biggr\}, \] and \[ c= \max\{\| x- P_\Omega(y)\|,\;\| y- P_\Omega(x)\|\}. \]
    0 references
    0 references
    nearest point
    0 references
    metric projection
    0 references
    moduli of convexity and smoothness
    0 references
    \(p\)-uniformly convex
    0 references
    \(q\)-uniformly smooth
    0 references