We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Functional Analysis

Title: Geometric characterizations of the strict Hadamard differentiability of sets

Abstract: Let $S$ be a closed subset of a Banach space $X$. Assuming that $S$ is epi-Lipschitzian at $\bar{x}$ in the boundary $ \bd S$ of $S$, we show that $S$ is strictly Hadamard differentiable at $\bar{x}$ IFF the Clarke tangent cone $T(S, \bar{x})$ to $S$ at $\bar{x}$ contains a closed hyperplane IFF the Clarke tangent cone $T(\bd S, \bar{x})$ to $\bd S$ at $\bar{x}$ is a closed hyperplane. Moreover when $X$ is of finite dimension, $Y$ is a Banach space and $g: X \mapsto Y$ is a locally Lipschitz mapping around $\bar{x}$, we show that $g$ is strictly Hadamard differentiable at $\bar{x}$ IFF $T(\mathrm{graph}\,g, (\bar{x}, g(\bar{x})))$ is isomorphic to $X$ IFF the set-valued mapping $x\rightrightarrows K(\gh g, (x, g(x)))$ is continuous at $\bar{x}$ and $K(\gh g, (\bar{x}, g(\bar{x})))$ is isomorphic to $X$, where $K(A, a)$ denotes the contingent cone to a set $A$ at $a \in A$.
Subjects: Functional Analysis (math.FA); Optimization and Control (math.OC)
Cite as: arXiv:2111.13870 [math.FA]
  (or arXiv:2111.13870v1 [math.FA] for this version)

Submission history

From: Abderrahim Jourani [view email]
[v1] Sat, 27 Nov 2021 11:35:05 GMT (322kb)

Link back to: arXiv, form interface, contact.