Related papers: A covering theorem for singular measures in the Eu…

Let us consider a Riemannian manifold $M$ (either separable or non-separable). We prove that, for every $\epsilon>0$, every Lipschitz function $f:M\rightarrow\mathbb R$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$…

We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $\epsilon:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$…

We denote the local "little" and "big" Lipschitz functions of a function $f: {{\mathbb R}}\to {{\mathbb R}}$ by $ {\mathrm {lip}}f$ and $ {\mathrm {Lip}}f$. In this paper we continue our research concerning the following question. Given a…

We prove that, given an $RCD^{*}(K,N)$-space $(X,d,m)$, then it is possible to $m$-essentially cover $X$ by measurable subsets $(R_{i})_{i\in \mathbb{N}}$ with the following property: for each $i$ there exists $k_{i} \in \mathbb{N}\cap…

We prove that the positive mass theorem applies to Lipschitz metrics as long as the singular set is low-dimensional, with no other conditions on the singular set. More precisely, let $g$ be an asymptotically flat Lipschitz metric on a…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1…

A finite family $\mathcal{F}=\{f_1,\ldots,f_n\}$ of continuous selfmaps of a given metric space $X$ is called an iterated function system (shortly IFS). In a case of contractive selfmaps of a complete metric space is well-known that IFS has…

Let $\mu$ be a finite Radon measure on an open set $\Omega\subset\mathbb{R}^d$, singular with respect to the Lebesgue measure. We prove Lusin-type solvability results for the prescribed divergence equation and the prescribed Jacobian…

Let $X$ be a subset of a Hilbert space. We prove that if $v\colon X\to \mathbb{R}^m$ is such that \begin{equation*} \Big\lVert v(x)-\sum_{i=1}^m t_iv(x_i)\Big\rVert\leq \Big\lVert x-\sum_{i=1}^m t_ix_i\Big\rVert \end{equation*} for all…

Inspired by the work of Borwein and Erdelyi \cite{BE1997JAMS} on generalizations of M\"{u}ntz's theorem, we investigate the properties of the system $\{x^{\lambda_n}\}_{n=1}^{\infty}$ in weighted $L^p (A)$ spaces, for $p\ge 1$, denoted by…

We show, as our main theorem, that if a Lipschitz map from a compact Riemannian manifold $M$ to a connected compact Riemannian manifold $N$, where $\dim M \geq \dim N$, has no singular points on $M$ in the sense of F.H. Clarke, then the map…

Let $\mu$ be a Borel probability measure on a compact path-connected metric space $(X, \rho)$ for which there exist constants $c,\beta>1$ such that $\mu(B) \geq c r^{\beta}$ for every open ball $B\subset X$ of radius $r>0$. For a class of…

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

We add to the literature the following observation. If $\mu$ is a singular measure on $\mathbb{R}^n$ which assigns measure zero to every porous set and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lipschitz function which is…

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$-dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such…

Let $\Omega \subset \mathbb{R}^{n+1}$, $n \geq 1$, be an open and connected set. Set $\mathcal{T}_n$ to be the set of points $\xi \in \partial \Omega$ so that there exists an approximate tangent $n$-plane for $\partial\Omega$ at $\xi$ and…

We prove that a Radon measure $\mu$ on $\mathbb{R}^n$ can be written as $\mu=\sum_{i=0}^n\mu_i$, where each of the $\mu_i$ is an $i$-dimensional rectifiable measure if and only if for every Lipschitz function $f:\mathbb{R}^n\to\mathbb{R}$…

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…

Let $\lambda_{1},\ldots,\lambda_{n}$ be real numbers in $(0,1)$ and $p_{1},\ldots,p_{n}$ be points in $\mathbb{R}^{d}$. Consider the collection of maps $f_{j}:\mathbb{R}^{d}\to\mathbb{R}^{d} $ given by $$f_{j}(x)=\lambda_{j} x…