[论文解读] The coarea formula for Sobolev mappings

Jan Malý, David Swanson+1 more|ArXiv.org|Dec 1, 2001

Differential Equations and Boundary Problems参考文献 22被引用 13

一句话总结

该论文将费德勒的面积公式扩展至 $W^{1,p}(\mathbb{R}^n; \mathbb{R}^m)$ 中的 Sobolev 映射，其中 $p > m$ 且梯度属于 Lorentz 空间 $L^{m,1}$，证明此类映射的图像为 $\mathcal{H}^n$-可求和，并且面积公式与面积分公式几乎处处成立。其核心贡献在于利用图像的可求和性作为核心分析工具，将面积公式的有效性拓展至非利普希茨映射。

ABSTRACT

We extend Federer's coarea formula to mappings $f$ belonging to the Sobolev class $W^{1,p}(R^n;R^m)$, $1 \le m < n$, $p>m$, and more generally, to mappings with gradient in the Lorentz space $L^{m,1}(R^n)$. This is accomplished by showing that the graph of $f$ in $R^{n+m}$ is a Hausdorff $n$-rectifiable set.

研究动机与目标

• 将费德勒的面积公式从利普希茨映射推广至更广泛的 Sobolev 映射类。
• 为满足 $p > m$ 且梯度属于 Lorentz 空间 $L^{m,1}$ 的映射 $f \in W^{1,p}(\mathbb{R}^n; \mathbb{R}^m)$ 建立面积公式的有效性。
• 证明此类映射的图像为 $\mathcal{H}^n$-可求和，从而可应用几何测度论工具。
• 提供一个统一的框架，简化并推广先前结果，尤其适用于 $m > 1$ 的情形。
• 通过 Hölder 连续性处理临界情况 $p = m$，表明在此正则性条件下面积公式依然成立。

提出的方法

• 证明当 $p > m$ 或 $|\nabla f| \in L^{m,1}$ 时，$f \in W^{1,p}(\Omega; \mathbb{R}^m)$ 的图像 $\mathcal{G}_f$ 为可数 $\mathcal{H}^n$-可求和。
• 将面积公式 $\mathcal{H}^n(\bar{f}(E)) = \int_E |J_n \bar{f}(x)| \, dx$ 作为关键中间步骤，以推导面积分公式。
• 在 $W^{1,m}$-映射和正交投影的背景下，应用类似富比尼的论证，分析投影下像的测度。
• 将利普希茨映射在可求和集之间的面积公式作为证明中的基础工具。
• 利用积分几何测度 $\mathcal{I}^n$ 处理 $p = m$ 的临界情况，当 Hausdorff 测度无法捕捉可求和性时，作为替代。
• 应用几何测度论中的结果，包括 $\mathcal{H}^q$-可求和理论以及雅可比行列式在仿射子空间上限制时的行为。

实验结果

研究问题

• RQ1 面积公式能否被推广至 $W^{1,p}(\mathbb{R}^n; \mathbb{R}^m)$ 中满足 $p > m$ 的 Sobolev 映射？
• RQ2 当梯度属于 Lorentz 空间 $L^{m,1}(\mathbb{R}^n)$ 时，面积公式是否仍然成立？
• RQ3 在相同条件下，Sobolev 映射 $f \in W^{1,p}(\mathbb{R}^n; \mathbb{R}^m)$ 的图像是否为 $\mathcal{H}^n$-可求和？
• RQ4 在 Hölder 连续性条件下，面积公式能否被推广至临界情况 $p = m$？
• RQ5 当 $\mathcal{H}^n$-可求和性不成立时，积分几何测度 $\mathcal{I}^n$ 的作用是什么？

主要发现

• 对于满足 $p > m$ 或 $p \geq m = 1$ 的局部 $f \in W^{1,p}_{\mathrm{loc}}(\Omega; \mathbb{R}^m)$，且 $f$ 精确表示时，面积公式成立。
• 此类映射的图像 $\mathcal{G}_f$ 为可数 $\mathcal{H}^n$-可求和，从而可应用几何测度论工具。
• 当 $|\nabla f| \in L^{m,1}(\Omega)$ 时，面积公式与面积分公式成立，将结果推广至更精细的可积性尺度。
• 在临界情况 $p = m$ 时，若 $f$ 为 Hölder 连续，则面积公式成立，且图像为 $\mathcal{I}^n$-可求和。
• 在相同条件下，对所有可测集 $E \subset \Omega$，面积公式 $\mathcal{H}^n(\bar{f}(E)) = \int_E |J_n \bar{f}(x)| \, dx$ 成立。
• 若 $\mathcal{L}^n(N) = 0$，则对所有 $V \in \mathbf{G}(n+m,n)$，有 $\mathcal{H}^n(P_V \circ \bar{f}(N)) = 0$，从而 $\mathcal{I}^n(\bar{f}(N)) = 0$。