Related papers: Lusin type theorems for Radon measures

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}$…

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…

In this paper we prove generalizations of Lusin-type theorems for gradients due to Giovanni Alberti, where we replace the Lebesgue measure with any Radon measure $\mu$. We apply this to go beyond the known result on the existence of…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

We prove that if $f:\mathbb{R}^n\to\mathbb{R}$ is convex and $A\subset\mathbb{R}^n$ has finite measure, then for any $\varepsilon>0$ there is a convex function $g:\mathbb{R}^n\to\mathbb{R}$ of class $C^{1,1}$ such that $\mathcal{L}^n(\{x\in…

We generalize a result by Alberti, showing that, if a first-order linear differential operator $\mathcal{A}$ belongs to a certain class, then any $L^1$ function is the absolutely continuous part of a measure $\mu$ satisfying…

Let $f:\mathbb{R}^n\to\mathbb{R}$ be a function. Assume that for a measurable set $\Omega$ and almost every $x\in\Omega$ there exists a vector $\xi_x\in\mathbb{R}^n$ such that $$\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle \xi_x,…

We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$…

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,…

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 provide a suitable generalisation of Pansu's differentiability theorem to general Radon measures on Carnot groups and we show that if Lipschitz maps between Carnot groups are Pansu-differentiable almost everywhere for some Radon measures…

We study the Lusin approximation problem for real-valued measurable functions on Carnot groups. We prove that k-approximate differentiability almost everywhere is equivalent to admitting a Lusin approximation by $C^{k}_{\mathbb{G}}$ maps.…

For all $1\leq m\leq n-1$, we investigate the interaction of locally finite measures in $\mathbb{R}^n$ with the family of $m$-dimensional Lipschitz graphs. For instance, we characterize Radon measures $\mu$, which are carried by Lipschitz…

We characterize Radon measures $\mu$ in $\mathbb{R}^{n}$ that are $d$-rectifiable in the sense that their supports are covered up to $\mu$-measure zero by countably many $d$-dimensional Lipschitz graphs and $\mu \ll \mathcal{H}^{d}$. The…

A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures $\mu$ in $n$-dimensional Euclidean space for all $n\geq 2$ in terms of…

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 prove that the packing dimension of any mean porous Radon measure on $\mathbb R^d$ may be estimated from above by a function which depends on mean porosity. The upper bound tends to $d-1$ as mean porosity tends to its maximum value. This…

We establish a good lambda inequality relating to the distribution function of Riesz potential and fractional maximal function on $\left(\mathbb{R}^n, d\mu\right)$ where $\mu$ is a positive Radon measure which doesn't necessarily satisfy a…

If $\mu$ is a finite complex measure in the complex plane $\C$ we denote by $C^\mu$ its Cauchy integral defined in the sense of principal value. The measure $\mu$ is called reflectionless if it is continuous (has no atoms) and $C^\mu=0$ at…

For a Radon measure $\mu$ on $\mathbb{R}^d$, define $C^n_\mu(x, t)= \ (\frac{1}{t^n} \ |\int_{B(x,t)} \frac{x-y}{t} \, d\mu(y)\ | \ )$. This coefficient quantifies how symmetric the measure $\mu$ is by comparing the center of mass at a…