首页/论文/2012.01892

arXiv 2012.018922020-12math.CA

Density of Lipschitz functions in Energy

Sylvester Eriksson-Bique

备注：: 19 pages, comments welcome. This version is substantially revised and improved from the last version. The main change is an expanded section 2 with many details fleshed out, and some auxiliary terminology. A reader may also find the expanded discussion in the introduction interesting

英文摘要：

In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls. Emphatically, $p=1$ is allowed. We also give a few corollaries and pose questions for future work. The proof is direct and does not involve the usual flow techniques from prior work. It also yields a new approximation technique, which has not appeared in prior work. Notable with all of this is that we do not use any form of Poincaré inequality or doubling assumption. The techniques are flexible and suggest a unification of a variety of existing literature on the topic.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Direction sets, Lipschitz graphs and density

We consider the direction set determined by various subsets $E$ of Euclidean space and show that there is a trichotomy: Either (i) The subset is the graph of a Lipschitz function and the direction set is not dense in the sphere, (ii) The subset is the graph of a non-Lipschitz function and the direction set is dense but not everything, or (iii) The subset is not a graph (in a suitable sense) and every direction is determined by the set. We then explore a variety of results based on this trichotomy under additional assumptions on the set $E$.

2017-03-05math.CAmath.CO

Density estimate from below in relation to a conjecture of A. Zygmund on Lipschitz differentiation

Letting $A \subset \mathbb{R}^n$ be Borel measurable and $W_0 : A \to \mathbb{G}(n,m)$ Lipschitzian, we establish that \begin{equation*} \limsup_{r \to 0^+} \frac{\mathcal{H}^m \left[ A \cap B(x,r) \cap (x+ W_0(x))\right]}{α(m)r^m} \geq \frac{1}{2^n}, \end{equation*} for $\mathcal{L}^n$-almost every $x \in A$. In particular, it follows that $A$ is $\mathcal{L}^n$-negligible if and only if $\mathcal{H}^m(A \cap (x+W_0(x))=0$, for $\mathcal{L}^n$-almost every $x \in A$.

2021-04-10math.CAmath.FA

度量测度空间中Lipschitz函数的稠密性与弱梯度的等价性

Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces

比较了度量测度空间中弱梯度（模）的几种概念。利用最优输运理论的工具，证明了度量测度空间上Lipschitz映射的能量密度与加倍和Poincaré假设无关.

2012-05-16math.APmath.CAmath.FA

Lipschitz函数在能量意义下稠密性的又一证明

Yet another proof of the density in energy of Lipschitz functions

该研究提出了Lipschitz函数在能量意义下稠密于带重心平面定义的度量Sobolev空间（及Newtonian-Sobolev空间）的新短证明，通过归约到Banach空间框架、结合凸分析工具与正规1-流叠加原理完成，同时得到光滑柱函数稠密性的新证。

2024-02-01math.CAmath.FAmath.MG

Lipschitz one sets modulo sets of measure zero

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 set $E {\subset} {\mathbb R}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}}f=\mathbf{1}_E$ or $ {\mathrm {Lip}}f=\mathbf{1}_E$? In giving some partial answers to this question uniform density type (UDT) and strong uniform density type (SUDT) sets play an important role. In this paper we show that modulo sets of zero Lebesgue measure…

2019-12-20math.CA

Geometry of measures in real dimensions via Hölder parameterizations

We investigate the influence that $s$-dimensional lower and upper Hausdorff densities have on the geometry of a Radon measure in $\mathbb{R}^n$ when $s$ is a real number between $0$ and $n$. This topic in geometric measure theory has been extensively studied when $s$ is an integer. In this paper, we focus on the non-integer case, building upon a series of papers on $s$-sets by Martín and Mattila from 1988 to 2000. When $0<s<1$, we prove that measures with almost everywhere positive lower density and finite upper density are carried by countably many bi-Lipschitz curves. When $1\leq s<n$, we id…

2018-04-25math.CA

更多相关论文收起更多论文

Curves between Lipschitz and $C^1$ and their relation to geometric knot theory

In this article we investigate regular curves whose derivatives have vanishing mean oscillations. We show that smoothing these curves using a standard mollifier one gets regular curves again. We apply this result to solve a couple of open problems. We show that curves with finite Möbius energy can be approximated by smooth curves in the energy space $W^{\frac 32,2}$ such that the energy converges which answers a question of He. Furthermore, we extend the result of Scholtes on the $Γ$-convergence of the discrete Möbius energies towards the Möbius energy and prove conjectures of Ishizeki and Nag…

2016-02-29math.CAmath.FA

Big and little Lipschitz one sets

Given a continuous function $f: {\mathbb R}\to {\mathbb R}$ we denote the so-called "big Lip" and "little lip" functions by $ {\mathrm {Lip}} f$ and $ {\mathrm {lip}} f$ respectively}. In this paper we are interested in the following question. Given a set $E {\subset} {\mathbb R}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}} f=\mathbf{1}_E$ or $ {\mathrm {Lip}} f=\mathbf{1}_E$? For monotone continuous functions we provide the rather straightforward answer. For arbitrary continuous functions the answer is much more difficult to find. We introduce the concept of u…

2021-02-10math.CA

An implicit function theorem for Lipschitz mappings into metric spaces

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive upper $n$-density on a set of positive Lebesgue measure, then, there is a local diffeomorphism $G$ in $\mathbb{R}^{n+m}$ and a Lipschitz map $π:X\to \mathbb{R}^n$ such that $π\circ f\circ G^{-1}$, when restricted to a certain subset of $A$ of positive measure, is a the orthogonal projection of $\mathbb{R}^{n+m}$ onto the first $n$-coordinates. This may be seen a…

2019-03-24math.CAmath.GT

Tangent lines and Lipschitz differentiability spaces

We study the existence of tangent lines, i.e. subsets of the tangent space isometric to the real line, in tangent spaces of metric spaces. We first revisit the almost everywhere metric differentiability of Lipschitz continuous curves. We then show that any blow-up done at a point of metric differentiability and of density one for the domain of the curve gives a tangent line. Metric differentiability enjoys a Borel measurability property and this will permit us to use it in the framework of Lipschitz differentiability spaces. We show that any tangent space of a Lipschitz differentiability space…

2015-04-29math.CAmath.FAmath.MG

Purely unrectifiable metric spaces and perturbations of Lipschitz functions

We characterise purely $n$-unrectifiable subsets $S$ of a complete metric space $X$ with finite Hausdorff $n$-measure by studying arbitrarily small perturbations of elements of the set of all bounded 1-Lipschitz functions $f\colon X \to \mathbb R^m$ with respect to the supremum norm. In one such characterisation it is shown that, if $S$ has positive lower density almost everywhere, then the set of all $f$ with $\mathcal H^n(f(S))=0$ is residual. Conversely, if $E\subset X$ is $n$-rectifiable with $\mathcal H^n(E)>0$, the set of all $f$ with $\mathcal H^n(f(E))>0$ is residual. These results pro…

2020-03-09math.CAmath.MG

密度单调变换下的平方函数与可求长性

Square Functions and Rectifiability under Monotone Transformations of the Density

Spatiolyx LLC（Spatiolyx有限责任公司）

本文证明密度经区间上双Lipschitz函数复合后，原关于n-AD正则测度一致n-可求长性的平方函数Carleson条件刻画仍成立，还推广了光滑平方函数等情形的相关结论。

2026-09-01math.CA

通过Lipschitz映射的biLipschitz片段刻画空间的可求长性

Characterizing rectifiability via biLipschitz pieces of Lipschitz mappings on the space

本文给出了可求长度量空间的新刻画：通过Lipschitz映射的biLipschitz片段及完全biLipschitz分解，并利用独立Alberti表示构造方法，将不可求长空间刻画为存在与低维映射定量横截的曲线片段上$\cH^1$-零测集的空间。

2025-10-15math.CAmath.MG

Perturbation of elliptic operators in 1-sided NTA domains satisfying the capacity density condition

Let $Ω\subset\mathbb{R}^{n+1}$, $n\ge 2$, be a 1-sided non-tangentially accessible domain (aka uniform domain), i.e., a set which satisfies the interior Corkscrew and Harnack chain conditions, respectively scale-invariant/quantitative versions of openness and path-connectedness. Assume that $Ω$ satisfies the so-called capacity density condition. Let $L_0u=-\mathrm{div}(A_0\nabla u)$, $Lu=-\mathrm{div}(A\nabla u)$ be two real (non-necessarily symmetric) uniformly elliptic operators, and write $ω_{L_0}$, $ω_L$ for the associated elliptic measures. The goal of this program is to find sufficient c…

2021-03-19math.APmath.CA

片段可微结构

Fragment-wise differentiable structures

University of Warwick（华威大学）；University of Jyväskylä（于韦斯屈莱大学）

本文为Lipschitz函数和Weaver导数建立片段式几何理论，引入片段图册与$\ast$-上梯度，证明有限Hausdorff维数空间存在性，并给出逼近新结果，揭示与Sobolev理论的平行性。

2026-09-23math.CAmath.FAmath.MG