Related papers: Lusin type theorems for Radon measures

Topological measures and deficient topological measures generalize Borel measures and correspond to certain non-linear functionals. We study integration with respect to deficient topological measures on locally compact spaces. Such an…

Let $L$ be a second order elliptic operator on $R^d$ with a constant diffusion matrix and a dissipative (in a weak sense) drift $b \in L^p_{loc}$ with some $p>d$. We assume that $L$ possesses a Lyapunov function, but no local boundedness of…

The art of analysis involves the subtle combination of approximation, inequalities, and geometric intuition as well as being able to work at different scales. With this subtlety in mind, we present this paper in a manner designed for wide…

Uniform integer-valued Lipschitz functions on a domain of size $N$ of the triangular lattice are shown to have variations of order $\sqrt{\log N}$. The level lines of such functions form a loop $O(2)$ model on the edges of the hexagonal…

In the setting of $\R^d$ with an $n-$dimensional measure $\mu,$ we give several characterizations of Lipschitz spaces in terms of mean oscillations involving $\mu.$ We also show that Lipschitz spaces are preserved by those Calderon-Zygmund…

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…

We study the regularity of Radon measures $\mu$ which satisfy that there exists a function $h_\mu$ in $H^1(\Omega)$, stationary harmonic such that $\Delta h_\mu =\mu$ in $\Omega$ (here $\Omega$ is an open set of $\mathbb{R}^2$). Such…

If $f$ is a nonzero Bohr almost periodic function on $\mathbb R$ with a bounded spectrum we prove there exist $C_f > 0$ and integer $n > 0$ such that for every $u > 0$ the mean measure of the set $\{\, x \, : \, |f(x)| < u \, \}$ is less…

Let $X$ be a locally compact Polish space. Let $\mathbb K(X)$ denote the space of discrete Radon measures on $X$. Let $\mu$ be a completely random discrete measure on $X$, i.e., $\mu$ is (the distribution of) a completely random measure on…

We evaluated some particular type of functional integral over the local gauge group C^{\infty}({\bf R}^n, U(1)) by going to a discretized lattice. The results explicitly violates the property of the Haar measure. We also analysed the…

We show that the Heisenberg group $\mathbb{H}^n$ contains a measure zero set $N$ such that every Lipschitz function $f\colon \mathbb{H}^n \to \mathbb{R}$ is Pansu differentiable at a point of $N$. The proof adapts the construction of small…

We study the class of functions on Lipschitz-graph domains satisfying a differential-oscillation condition and show that such functions are $\epsilon$-approximable. As a consequence we obtain the quantitative Fatou theorem in the spirit of…

For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…

On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular,…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure $\mu$ on $[0,1)$, every $f\in L^2(\mu)$ possesses a Fourier series of the form $f(x)=\sum_{n=0}^{\infty}c_ne^{2\pi inx}$. We show that the coefficients…

We prove that if $f:(a,b)\to\mathbb{R}$ is convex, then for any $\varepsilon>0$ there is a convex function $g\in C^2(a,b)$ such that $|\{f\neq g\}|<\varepsilon$ and $\Vert f-g\Vert_\infty<\varepsilon$.

Let $ f(z)=\int(z-x)^{-1}d\mu(x) $, where $ \mu $ is a Borel measure supported on several subintervals of $ (-1,1) $ with smooth Radon-Nikodym derivative. We study strong asymptotic behavior of the error of approximation $ (f-r_n)(z) $,…

In this note we show that if $G$ is a solvable group acting on the line, and if there is $T\in G$ having no fixed points, then there is a Radon measure $\mu$ on the line quasi-invariant under $G$. In fact, our method allows for the same…

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…