All convex bodies are in the subdifferential of some everywhere differentiable locally Lipschitz function

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Daniilidis, Aris, Deville, Robert, Tapia-Garcia, Sebastian
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866914947629318144
author Daniilidis, Aris
Deville, Robert
Tapia-Garcia, Sebastian
author_facet Daniilidis, Aris
Deville, Robert
Tapia-Garcia, Sebastian
contents We construct a differentiable locally Lipschitz function $f$ in $\mathbb{R}^{N}$ with the property that for every convex body $K\subset \mathbb{R}^N$ there exists $\bar x \in \mathbb{R}^N$ such that $K$ coincides with the set $\partial_L f(\bar x)$ of limits of derivatives $\{Df(x_n)\}_{n\geq 1}$ of sequences $\{x_n\}_{n\geq 1}$ converging to~$\bar x$. The technique can be further refined to recover all compact connected subsets with nonempty interior, disclosing an important difference between differentiable and continuously differentiable functions. It stems out from our approach that the class of these pathological functions contains an infinite dimensional vector space and is dense in the space of all locally Lipschitz functions for the uniform convergence.
format Preprint
id arxiv_https___arxiv_org_abs_2405_09206
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle All convex bodies are in the subdifferential of some everywhere differentiable locally Lipschitz function
Daniilidis, Aris
Deville, Robert
Tapia-Garcia, Sebastian
Classical Analysis and ODEs
Functional Analysis
Optimization and Control
We construct a differentiable locally Lipschitz function $f$ in $\mathbb{R}^{N}$ with the property that for every convex body $K\subset \mathbb{R}^N$ there exists $\bar x \in \mathbb{R}^N$ such that $K$ coincides with the set $\partial_L f(\bar x)$ of limits of derivatives $\{Df(x_n)\}_{n\geq 1}$ of sequences $\{x_n\}_{n\geq 1}$ converging to~$\bar x$. The technique can be further refined to recover all compact connected subsets with nonempty interior, disclosing an important difference between differentiable and continuously differentiable functions. It stems out from our approach that the class of these pathological functions contains an infinite dimensional vector space and is dense in the space of all locally Lipschitz functions for the uniform convergence.
title All convex bodies are in the subdifferential of some everywhere differentiable locally Lipschitz function
topic Classical Analysis and ODEs
Functional Analysis
Optimization and Control
url https://arxiv.org/abs/2405.09206