Related papers: Hard Sard: Quantitative Implicit Function and Exte…

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

We characterise the big pieces of Lipschitz graphs property in terms of projections. Roughly speaking, we prove that if a large subset of an $n$-Ahlfors-David regular set $E \subset \mathbb{R}^d$ has plenty of projections in $L^{2}$, then a…

We prove that any Lipschitz map that satisfies a condition inspired by the work of David may be decomposed into countably many bi-Lipschitz pieces.

On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…

Consider a bounded open set $U$ in $R^n$ and a Lipschitz function g from the boundary of $U$ to $R^m$. Does this function always have a canonical optimal Lipschitz extension to all of $U$? We propose a notion of optimal Lipschitz extension…

Two definitions for the rectfiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on $\mathbb{H}$-regular surfaces, and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups.…

The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/H\"older continuous mappings acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing…

Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge.…

For any $M, n \geq 2$ and any open set $\Omega \subset \mathbb{R}^n$ we find a smooth, strongly polyconvex function $F\colon \mathbb{R}^{M\times n}\to \mathbb{R}$ and a Lipschitz map $u\colon \mathbb{R}^n \to \mathbb{R}^M$ that is a weak…

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

We characterize uniformly perfect, complete, doubling metric spaces which embed bi- Lipschitzly into Euclidean space. Our result applies in particular to spaces of Grushin type equipped with Carnot-Carath\'eodory distance. Hence we obtain…

On weighted Riemannian manifolds we prove the existence of globally Lipschitz transport maps between the weight (probability) measure and log-Lipschitz perturbations of it, via Kim and Milman's diffusion transport map, assuming that the…

In the paper [E. Jim\'enez-Fern\'andez, J. Rodr\'{\i}guez-L\'opez, E. A. S\'anchez-P\'erez, Fuzzy Sets and Systems 406 (2021),66-81], a McShane-Whitney extension theorem is presented for real-valued fuzzy Lipschitz maps between fuzzy metric…

Here we give an alternate proof of a sufficient condition due to J. Mateu, J. Orobitg, and J. Verdera for a quasiconformal map of the plane with dilatation supported in a smooth domain to be bi-Lipschitz. We also extend this theorem to…

We establish a universal approximation theorem for signatures of rough paths that are not necessarily weakly geometric. By extending the path with time and its rough path bracket terms, we prove that linear functionals of the signature of…

We prove that each sub-Riemannian manifold can be embedded in some Euclidean space preserving the length of all the curves in the manifold. The result is an extension of Nash $C^1$ Embedding Theorem. For more general metric spaces the same…

We consider the problem of the observability of positively expansive maps by the time series associated to continuous real functions. For this purpose we prove a general result on the generic observability of a locally injective map of a…

We study the existence problem for a local implicit function determined by a system of nonlinear algebraic equations in the particular case when the determinant of its Jacobian matrix vanishes at the point under consideration. We present a…

We study Lipschitz-free spaces over compact and uniformly discrete metric spaces enjoying certain high regularity properties - having group structure with left-invariant metric. Using methods of harmonic analysis we show that, given a…