[论文解读] On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target

Noel DeJarnette, Piotr Hajłasz+2 more|arXiv (Cornell University)|Sep 21, 2011

Geometric Analysis and Curvature Flows参考文献 31被引用 4

一句话总结

该论文证明了当且仅当 $\dim M \leq n$ 时，Lipschitz 映射在 Sobolev 空间 $W^{1,p}(M, \mathbb{H}^n)$ 中是稠密的，当 $\dim M \geq n+1$ 且 $n \leq p < n+1$ 时则不稠密。关键机制在于构造了 $\mathbb{S}^n$ 到 Heisenberg 群 $\mathbb{H}^n$ 的水平双Lipschitz嵌入，由于 Lipschitz 同伦群所捕捉的非平凡拓扑结构，这些嵌入阻碍了 Lipschitz 近似。

ABSTRACT

We study the question: when are Lipschitz mappings dense in the Sobolev space $W^{1,p}(M,\mathbf{H}^n)$? Here $M$ denotes a compact Riemannian manifold with or without boundary, while $\mathbf{H}^n$ denotes the $n$th Heisenberg group equipped with a sub-Riemannian metric. We show that Lipschitz maps are dense in $W^{1,p}(M,\mathbf{H}^n)$ for all $1\le p

研究动机与目标

• 确定 Lipschitz 映射在 Heisenberg 群为目标的 Sobolev 空间中稠密的条件。
• 通过水平嵌入的几何性质，研究 Sobolev 空间中 Lipschitz 近似受阻的拓扑障碍。
• 引入并研究子黎曼空间（特别是 $\mathbb{H}^n$）的 Lipschitz 同伦群。
• 利用复几何与辛几何显式构造 $\mathbb{H}^n$ 中球面的水平双Lipschitz嵌入。

提出的方法

• 利用复双曲几何与辛结构，构造 $\mathbb{S}^n$ 到 $\mathbb{H}^n$ 的光滑水平嵌入。
• 利用此类嵌入的存在性，证明某些 Sobolev 映射无法被 Lipschitz 映射近似。
• 应用度理论与沿曲线的微积分基本定理，分析近似序列的像。
• 使用 Fubini 定理将 Sobolev 范数限制在圆周上，控制误差项的 $L^\infty$-范数。
• 应用 Kirszbraun 型扩张定理（Lang–Schroeder），证明在 $\mathbb{H}^1$ 中避开 $y$-轴的映射可 Lipschitz 扩张至圆盘。
• 通过分析 $\mathbb{H}^n$ 中黎曼分支的曲率与完备性，为扩张定理提供依据。

实验结果

研究问题

• RQ1 对于紧致黎曼流形 $M$，Lipschitz 映射在 $W^{1,p}(M, \mathbb{H}^n)$ 中何时稠密？
• RQ2 哪些拓扑或几何障碍会阻止 Sobolev 空间中 Heisenberg 目标下的 Lipschitz 近似？
• RQ3 球面到 $\mathbb{H}^n$ 的水平嵌入如何与 Lipschitz 同伦群的非平凡性相关联？
• RQ4 每个从 $\mathbb{S}^1$ 到 $\mathbb{H}^1$ 且避开 $y$-轴的 Lipschitz 映射是否都能扩展为 $\mathbb{B}^2$ 上的 Lipschitz 映射？
• RQ5 $\mathbb{H}^n$ 的子黎曼结构在 Lipschitz 映射稠密性中起什么作用？

主要发现

• 当 $\dim M \leq n$ 且 $1 \leq p < \infty$ 时，Lipschitz 映射在 $W^{1,p}(M, \mathbb{H}^n)$ 中稠密。
• 当 $\dim M \geq n+1$ 且 $n \leq p < n+1$ 时，Lipschitz 映射在 $W^{1,p}(M, \mathbb{H}^n)$ 中不稠密。
• 非稠密性结果等价于 $\mathbb{H}^n$ 的第 $n$ 个 Lipschitz 同伦群非平凡。
• 利用复双曲几何与辛几何，显式构造了 $\mathbb{S}^n$ 到 $\mathbb{H}^n$ 的水平双Lipschitz嵌入。
• $\mathbb{H}^1$ 中避开 $y$-轴的 $\mathbb{S}^1$ 到 $\mathbb{H}^1$ 的映射可 Lipschitz 扩展至 $\mathbb{B}^2$，该结论通过曲率与完备性论证得到支持。
• 证明依赖于反证法：若 Sobolev 映射可被 Lipschitz 映射近似，则其像必在正测度下与 $y$-轴相交，从而违反关键几何约束。