arXiv subjects

Erwan Le Gruyer

Publications and source records attributed to Erwan Le Gruyer.

6 recordsLinked to original sources

arXiv2020

Kirszbraun's theorem via an explicit formula

Let $X,Y$ be two Hilbert spaces, $E$ a subset of $X$ and $G: E \to Y$ a Lipschitz mapping. A famous theorem of Kirszbraun's states that there exists $\widetilde{G} : X \to Y$ with $\widetilde{G}=G$ on $E$ and $\textrm{Lip}(\widetilde{G})=\textrm{Lip}(G).$ In this note we show that in fact the function $$\widetilde{G}:=\nabla_Y(\textrm{conv}(g))( \cdot , 0), \qquad \text{where} $$ $$ g(x,y) = \inf_{z \in E} \lbrace \langle G(z), y \rangle + \tfrac{M}{2} \|(x-z,y)\|^2 \rbrace + \tfrac{M}{2}\|(x,y)\|^2, $$ defines such an extension. We apply this formula to get an extension result for {\em strongly biLipschitz homeomorphisms.} Related to the latter, we also consider extensions of $C^{1,1}$ strongly convex functions.

math.FA↗

arXiv2018

Explicit formulas for $C^{1,1}$ Glaeser-Whitney extensions of 1-fields in Hilbert spaces

We give a simple alternative proof for the $C^{1,1}$--convex extension problem which has been introduced and studied by D. Azagra and C. Mudarra [2]. As an application, we obtain an easy constructive proof for the Glaeser-Whitney problem of $C^{1,1}$ extensions on a Hilbert space. In both cases we provide explicit formulae for the extensions. For the Gleaser-Whitney problem the obtained extension is almost minimal, that is, minimal up to a factor $\frac{1+\sqrt{3}}{2}$ in the sense of Le Gruyer [15].

math.FA↗

arXiv2017

Explicit formulas for $C^{1, 1}$ and $C^{1, ω}_{\textrm{conv}}$ extensions of $1$-jets in Hilbert and superreflexive spaces

Given $X$ a Hilbert space, $ω$ a modulus of continuity, $E$ an arbitrary subset of $X$, and functions $f:E\to\mathbb{R}$, $G:E\to X$, we provide necessary and sufficient conditions for the jet $(f,G)$ to admit an extension $(F, \nabla F)$ with $F:X\to \mathbb{R}$ convex and of class $C^{1, ω}(X)$, by means of a simple explicit formula. As a consequence of this result, if $ω$ is linear, we show that a variant of this formula provides explicit $C^{1,1}$ extensions of general (not necessarily convex) $1$-jets satisfying the usual Whitney extension condition, with best possible Lipschitz constants of the gradients of the extensions. Finally, if $X$ is a superreflexive Banach space, we establish similar results for the classes $C^{1, α}_{\textrm{conv}}(X)$.

math.FA↗

arXiv2015

Kirszbraun extension on connected finite graph

We prove that the tight function introduced Sheffield and Smart (2012) is a Kirszbraun extension. In the real-valued case we prove that Kirszbraun extension is unique. Moreover, we produce a simple algorithm which calculates efficiently the value of Kirszbraun extension in polynomial time.

math.FA↗

arXiv2014

A general theorem of existence of quasi absolutely minimal Lipschitz extensions

In this paper we consider a wide class of generalized Lipschitz extension problems and the corresponding problem of finding absolutely minimal Lipschitz extensions. We prove that if a minimal Lipschitz extension exists, then under certain other mild conditions, a quasi absolutely minimal Lipschitz extension must exist as well. Here we use the qualifier "quasi" to indicate that the extending function in question nearly satisfies the conditions of being an absolutely minimal Lipschitz extension, up to several factors that can be made arbitrarily small.

math.FA↗

arXiv2004

On Absolutely Minimizing Lipschitz Extensions and PDE $Δ_infty = 0$

We prove the existence of Absolutely Minimizing Lipschitz Extensions by a method which differs from those used by G. Aronsson in general metrically convex compact metric spaces and R. Jensen in Euclidean spaces. Assuming Jensen's hypotheses, our method yields numerical schemes for computing, in euclidean $\mathbb R$, the solution of viscosity of equation $Δ_\infty=0$ with Dirichlet's condition.

math.FA↗