English
Related papers

Related papers: Definable Lipschitz selections for affine-set valu…

200 papers

H\"ormann (2006) gave an extension of almost sure central limit theorem for bounded Lipschitz 1 function. In this paper, we show that his result of almost sure central limit theorem is also hold for any Lipschitz function under stronger…

Probability · Mathematics 2007-05-23 Yu Miao , Guangyu Yang

Let $F:[0,T]\times\R^n\mapsto 2^{\R^n}$ be a continuous multifunction with compact, not necessarily convex values. In this paper, we prove that, if $F$ satisfies the following Lipschitz Selection Property: \begin{itemize} \item[{(LSP)}]…

funct-an · Mathematics 2016-08-31 Alberto Bressan , Graziano Crasta

Kirszbraun's Theorem states that every Lipschitz map $S\to\mathbb R^n$, where $S\subseteq \mathbb R^m$, has an extension to a Lipschitz map $\mathbb R^m \to \mathbb R^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem:…

Logic · Mathematics 2014-02-26 Matthias Aschenbrenner , Andreas Fischer

In this article, we study the Lipschitz Geometry at infinity of complex analytic sets and we obtain results on algebraicity of analytic sets and on Bernstein's problem. Moser's Bernstein Theorem says that a minimal hypersurface which is a…

Complex Variables · Mathematics 2022-07-19 José Edson Sampaio

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

Algebraic Geometry · Mathematics 2019-05-15 Anna Valette , Guillaume Valette

To every finite-dimensional $\mathbb C$-algebra $\Lambda$ of finite representation type we associate an affine variety. These varieties are a large generalization of the varieties defined by "$u$ variables" satisfying "$u$-equations", first…

Representation Theory · Mathematics 2026-01-01 Nima Arkani-Hamed , Hadleigh Frost , Pierre-Guy Plamondon , Giulio Salvatori , Hugh Thomas

We provide necessary and sufficient conditions for a $1$-jet $(f, G):E\rightarrow \mathbb{R} \times X$ to admit an extension $(F, \nabla F)$ for some $F\in C^{1, \omega}(X)$. Here $E$ stands for an arbitrary subset of a Hilbert space $X$…

Functional Analysis · Mathematics 2021-07-07 Daniel Azagra , Carlos Mudarra

We investigate when does the Repov\v{s}-Semenov Splitting problem for selections have an affirmative solution for continuous set-valued mappings in finite-dimensional Banach spaces. We prove that this happens when images of set-valued…

General Topology · Mathematics 2009-03-02 Maxim V. Balashov , Dušan Repovš

Within Bishop-style constructive mathematics we study the classical McShane-Whitney theorem on the extendability of real-valued Lipschitz functions defined on a subset of a metric space. Using a formulation similar to the formulation of…

Logic · Mathematics 2023-06-22 Iosif Petrakis

We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if $F \subseteq \mathbb{R}^n$ is a closed set represented so that the distance function $x \mapsto d(x,F)$ can be…

Logic · Mathematics 2026-04-07 Andrea Brun , Guido Gherardi , Alberto Marcone

Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual,…

Analysis of PDEs · Mathematics 2013-06-21 Fabio Cavalletti

We study a new bi-Lipschitz invariant \lambda(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor…

Metric Geometry · Mathematics 2007-05-23 A. Brudnyi , Yu. Brudnyi

Let $k\in\mathbb{N}_0\cup\{\infty\}$. According to Whitney's extension theorem, each real-valued Whitney $k$-Jet on a closed subset $A\subseteq\mathbb{R}^n$ can be extended to a $C^k$-function on $\mathbb{R}^n$. Based on Whitney's original…

Functional Analysis · Mathematics 2023-07-18 Johanna Jakob

We study two classes of extension problems, and their interconnections: (i) Extension of positive definite (p.d.) continuous functions defined on subsets in locally compact groups $G$; (ii) In case of Lie groups, representations of the…

Functional Analysis · Mathematics 2015-07-10 Palle Jorgensen , Steen Pedersen , Feng Tian

In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends…

Algebraic Geometry · Mathematics 2025-03-11 Antonio Lerario , Luca Rizzi , Daniele Tiberio

Let $\Omega$ be a complex lattice which does not have complex multiplication and $\wp=\wp_\Omega$ the Weierstrass $\wp$-function associated to it. Let $D\subseteq\mathbb{C}$ be a disc and $I\subseteq\mathbb{R}$ be a bounded closed interval…

Logic · Mathematics 2024-11-20 Raymond McCulloch

In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of Euclidean space is the restriction of a function that is continuously differentiable to order p. A necessary and sufficient…

Algebraic Geometry · Mathematics 2007-05-23 E. Bierstone , P. D. Milman , W. Pawlucki

In this work we establish some rigidity results for Serrin's overdetermined problem \begin{equation*} \left\{ \begin{array}{cll} - \Delta u=f(u) & \text{in}& \Omega,\newline u > 0& \text{in} & \Omega,\newline u=0 & \text{on} & \partial…

Analysis of PDEs · Mathematics 2025-02-10 Nicolas Beuvin , Alberto Farina

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

Logic · Mathematics 2011-07-20 Isaac Goldbring

Let $f:[0,+\infty) \to \mathbb{R}$ be a (locally) Lipschitz function and $\Omega \subset \mathbb{R}^2$ a $C^{1,\alpha}$ domain whose boundary is unbounded and connected. If there exists a positive bounded solution to the overdetermined…

Analysis of PDEs · Mathematics 2015-05-22 Antonio Ros , David Ruiz , Pieralberto Sicbaldi