2025-11-10T03:12:47.808086

Hausdorff measure of critical set for Luzin $N$ condition

DoleÅ¾alovÃ¡, HrubeÅ¡ovÃ¡, Roskovec

It is well-known that there is a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ for any $p<n$ which maps a set $C$ of zero Lebesgue $n$-dimensional measure onto the set of positive measure. We study the size of this critical set $C$ and characterize its lower and upper bounds from the perspective of Hausdorff measures defined by a general gauge function.

academic

Hausdorff measure of critical set for Luzin $N$ condition

基本信息

论文ID: 2005.06559
标题: Hausdorff measure of critical set for Luzin $N$ condition
作者: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
分类: math.FA (泛函分析)
发表时间: 2020年5月13日
论文链接: https://arxiv.org/abs/2005.06559

摘要

众所周知，对于任何 $p<n$ ，存在Sobolev同胚 $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ ，它将零Lebesgue $n$ 维测度的集合 $C$ 映射到正测度集合上。本文从一般规范函数定义的Hausdorff测度角度研究该临界集 $C$ 的大小，并刻画其下界和上界。

研究背景与动机

核心问题

本文研究的核心问题是违反Luzin $N$ 条件的临界集的Hausdorff测度特征。Luzin $N$ 条件要求对于任何集合 $E \subseteq \Omega$ ，如果 $L^n(E) = 0$ ，则 $L^n(f(E)) = 0$ ，即函数不能将零测度集映射到正测度集。

重要性分析

物理意义：在固体力学和其他物理模型中，Luzin $N$ 条件禁止通过形变"创造物质"，而Luzin $N^{-1}$ 条件禁止"物质消失"
数学意义：这些条件与变量替换公式的有效性、面积公式和余面积公式的成立密切相关
理论完备性：刻画违反这些条件的临界集大小对理解Sobolev映射的性质具有重要意义

现有研究局限性

Reshetnyak证明了 $W^{1,n}$ 中Sobolev同胚满足条件 $N$
Marcus和Mizel证明了 $W^{1,p}$ ( $p > n$ )中映射满足条件 $N$
Ponomarev构造了 $W^{1,p}$ ( $1 \leq p < n$ )中违反条件 $N$ 的反例
但现有研究主要考虑幂函数型规范函数 $h(t) = t^α$ ，缺乏对一般规范函数的系统研究

核心贡献

理论贡献：将临界集大小的研究从经典的幂函数型Hausdorff测度扩展到一般规范函数定义的Hausdorff测度
构造方法：基于Ponomarev构造，给出了在grand Sobolev空间 $W^{1,n)}$ 中违反Luzin $N$ 条件的同胚的精确刻画
上界结果：证明了对于满足特定条件的规范函数 $h(t) = t^n\tau(t)$ ，存在临界集 $C_A$ 使得 $0 < H^h(C_A) < \infty$
下界结果：证明了对于任意规范函数 $h$ ，都可以构造临界集 $C_A$ 使得 $H^h(C_A) = 0$

方法详解

任务定义

研究违反Luzin $N$ 条件的Sobolev同胚 $f: Q_0 \to Q_0$ （其中 $Q_0 = [-1,1]^n$ ），刻画其临界集 $C_A$ 在一般规范函数 $h$ 定义的Hausdorff测度 $H^h$ 下的大小。

核心理论框架

Luzin条件定义

Luzin $N$ 条件： $L^n(E) = 0 \Rightarrow L^n(f(E)) = 0$
Luzin $N^{-1}$ 条件： $L^n(f(E)) = 0 \Rightarrow L^n(E) = 0$

规范函数和Hausdorff测度

规范函数 $h(t): [0,\infty) \to [0,\infty)$ 满足：

$h$ 单调非递减
$h(0) = 0$
$h$ 连续

Hausdorff测度定义为： $H^h(A) = \lim_{\delta \to 0^+} \inf\left\{\sum_{i=1}^{\infty} h(\text{diam}U_i) : A \subseteq \bigcup_i U_i, \text{diam}(U_i) < \delta\right\}$

Ponomarev构造方法

基本设置

构造两个严格递减序列 $\{a_k\}$ 和 $\{b_k\}$ ：

$a_0 = b_0 = 1$
$\lim_{k \to \infty} a_k = 0$
$\lim_{k \to \infty} b_k > 0$

定义半径序列：

$r_k = 2^{-k}a_k$
$\tilde{r}_k = 2^{-k}b_k$

Cantor型集合构造

通过归纳构造嵌套立方体系统：

对于 $v = [v_1, v_2, \ldots, v_k] \in V^k$ ，定义中心 $z_v$ 和立方体 $Q_v$
构造源Cantor集： $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
构造像Cantor集： $C_B = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} \tilde{Q}_v$

同胚映射构造

在第 $k$ 步，定义映射 $f_k$ ：

在 $Q_v$ 内： $f_k(x) = f_{k-1}(z_v) + \frac{\tilde{r}_k}{r_k}(x - z_v)$
在环域 $Q'_v \setminus Q_v$ 内：使用径向映射

技术创新点

参数选择的精细化：通过选择 $b_k = \frac{1}{2}(1 + a_k)$ ，确保构造的映射属于grand Sobolev空间 $W^{1,n)}$
规范函数的一般化处理：
- 对于定理1.1，要求 $h(t) = t^n\tau(t)$ ，其中 $\tau$ 满足特定的单调性和极限条件
- 对于定理1.2，允许任意规范函数
测度估计技术：建立了立方体直径与Hausdorff测度之间的关键估计： $\sum_{u \in U} h(\text{diam}Q_u) \approx 2^{-nk}\#U$

主要定理

定理1.1（上界结果）

设 $\tau: (0,\infty) \to [1,\infty)$ 为单调连续函数，满足 $\lim_{t \to 0^+} \tau(t) = \infty$ ，且对所有 $p \in (0,1]$ 存在 $x_p \in (0,1)$ 使得对所有 $t \in (0, x_p)$ 有 $\frac{1}{\tau(pt)} > t^n$ 。