Rotund norms, Clarke subdifferentials and extensions of Lipschitz functions
type: Item
instance of: scholarly article
title: Rotund norms, Clarke subdifferentials and extensions of Lipschitz functions
zbMATH Open document ID: 1002.49020
DOI: 10.1016/S0362-546X(00)00187-5
author: Jonathan M. Borwein
author: John Giles
author: J. D. Vanderwerff
published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods
publication date: 2003-01-15T00:00:00Z
reviewed by: Jörg Thierfelder
Mathematics Subject Classification ID: 49J52
zbMATH DE Number: 1693157
zbMATH Keywords: Baire category
zbMATH Keywords: Clarke subdifferential
zbMATH Keywords: pathological Lipschitz functions
zbMATH Keywords: Lipschitz separation property
zbMATH Keywords: rotundity
Wikidata QID: Q56935789
MaRDI profile type: Publication
cites work: Approximation of Lipschitz functions by \(\Delta\)-convex functions in Banach spaces
cites work: Q4942472
cites work: Lipschitz functions with maximal Clarke subdifferentials are generic
cites work: Q3996569
cites work: Q3134552
cites work: Q3329946
cites work: Q4884905
cites work: Extension of Lipschitz functions
cites work: Q4136031
cites work: Banach Spaces that are Uniformly Rotund in Weakly Compact Sets of Directions
cites work: Some examples concerning rotundity in Banach spaces
cites work: Q5638789
review text: It is well known that the Clarke subdifferential of a Lipschitz function is an essential tool in nonsmooth analysis and especially in nonsmooth optimization. Nevertheless, there exists a large class of pathological Lipschitz functions for which this notion provides no information about the local behavior of the function. So in recent papers it is shown that the set of 1-Lipschitz functions on any Banach space \(X\) for which \(\partial_C f(x)= B_{X^*}\) for all \(x\in X\), is residual (i.e., the complement of a set of first category) in the set of all 1-Lipschitz functions on \(X\).NEWLINENEWLINENEWLINEIn the present paper, the authors discuss the following question:NEWLINENEWLINENEWLINEGiven any closed proper subspace \(Y\subset X\) and any bounded 1-Lipschitz function \(f: Y\to\mathbb{R}\), is there a bounded 1-Lipschitz function \(f: X\to\mathbb{R}\) such that \(\widetilde f|_Y= f\) and \(\partial_C f(x)= B_{X^*}\) for all \(x\in X\)?NEWLINENEWLINENEWLINEThough the answer can be negative for finite-dimensional spaces with special norm (here a simple example is presented) it is shown that there are many Banach spaces for which the answer is positive. Such spaces are specified by the so-called \textit{maximal subdifferential extension property} (MSEP).NEWLINENEWLINENEWLINEIn the main theorem of the paper it is shown that the MSEP is closely related to special separation properties of \(X\) regarding Lipschitz functions: the so-called Lipschitz separation property and the densely Lipschitz separation property. These properties can be characterized further in terms of different rotundity properties to the unit sphere or to the space \(X\), respectively. (The Banach space \(X\) is called to be rotund if for points \(x\), \(y\) of the unit sphere the relation \(\|x+y\|= 2\) implies \(x= y\).) For finite-dimensional Banach spaces all introduced notions are equivalent. For infinite spaces however (even for reflexive Banach spaces) these equivalences fail in general.
description: scientific article; zbMATH DE number 1693157