[论文解读] On finitely Lipschitz space mappings

Руслан Салімов|arXiv (Cornell University)|Mar 7, 2011

Analytic and geometric function theory参考文献 9被引用 12

一句话总结

该论文证明了在 $ \bbR^n $（$ n \geq 2 $）中，若 $ n-1 < p < n $ 且 $ Q $ 在无穷小球上的essential supremum 有限，则关于 $ p $-模的环 $ Q $-同胚在每一点都是有限Lipschitz连续的。关键结果是给出了一个依赖于 $ Q $ 的 $ L^1 $-平均的逐点Lipschitz界，且显式地依赖于 $ n $ 和 $ p $。

ABSTRACT

It is established that a ring $Q$-homeomorphism with respect to $p$-modulus in ${\Bbb R}^n$, $n\geqslant2,$ is finitely Lipschitz if $n-1

研究动机与目标

• 建立关于 $ p $-模的环 $ Q $-同胚在 $ \bbR^n $（$ n \geq 2 $）中为有限Lipschitz的充分条件。
• 研究当控制函数 $ Q $ 在小球上具有有限平均积分时，$ Q $-同胚的正则性。
• 通过分析 $ p $-模与度量畸变之间的相互作用，将 $ Q $-同胚理论扩展至拟共形和拟等距映射之外。
• 根据 $ Q $ 在某点附近的 $ L^1 $-平均，推导出逐点Lipschitz常数的定量界。

提出的方法

• 使用关于 $ p $-模的环 $ Q $-同胚定义，要求对所有可允许的 $ \varrho $ 和路径族 $ \Gamma $，有 $ M_p(f\Gamma) \leq \int_G Q(x) \varrho^p(x)\,dm(x) $。
• 应用容量估计 $ \mathrm{cap}_p(fB(x_0,2\varepsilon), \overline{fB(x_0,\varepsilon)}) \geq \gamma \left( \frac{d^p(fB(x_0,\varepsilon))}{m^{1-n+p}(fB(x_0,2\varepsilon))} \right)^{1/(n-1)} $，以关联畸变与容量。
• 将环 $ Q $-同胚条件与测试函数 $ \eta(t) = 1/\varepsilon $ 在区间 $ (\varepsilon, 2\varepsilon) $ 上结合，得到不等式 $ \mathrm{cap}_p(fB(x_0,2\varepsilon), \overline{fB(x_0,\varepsilon)}) \leq \frac{1}{\varepsilon^p} \int_{A(x_0,\varepsilon,2\varepsilon)} Q(x)\,dm(x) $。
• 以球 $ B(x_0,\varepsilon) $ 上 $ Q $ 的 $ L^1 $-平均 $ Q_0 $ 作为控制Lipschitz常数的参数。
• 应用广义Poincaré型不等式，并通过 $ p $-容量与 $ p $-模的测度比较，推导出像球直径的界。
• 取 $ \varepsilon \to 0 $ 的极限，得到逐点Lipschitz界 $ L(x_0,f) \leq \lambda_{n,p} Q_0^{1/(n-p)} $，其中 $ \lambda_{n,p} $ 仅依赖于 $ n $ 和 $ p $。

实验结果

研究问题

• RQ1 在什么条件下，关于 $ p $-模的环 $ Q $-同胚在 $ \bbR^n $（$ n \geq 2 $）中是有限Lipschitz的？
• RQ2 在小球上 $ Q $ 的局部 $ L^1 $-平均如何影响此类映射的逐点Lipschitz行为？
• RQ3 当 $ n-1 < p < n $ 时，Lipschitz常数对 $ p $-模与区域几何的最优依赖关系是什么？
• RQ4 能否将 $ Q $-同胚理论扩展至满足Calderón型条件的Orlicz-Sobolev类映射？
• RQ5 是否存在关于 $ Q $-同胚下像球畸变的定量界，以 $ Q $ 的平均值表示？

主要发现

• 若 $ n-1 < p < n $ 且 $ Q $ 在点 $ x_0 \in G $ 附近小球上的平均值的essential上极限有限，则关于 $ p $-模的环 $ Q $-同胚在点 $ x_0 $ 处是有限Lipschitz的。
• 逐点Lipschitz常数满足 $ L(x_0,f) \leq \lambda_{n,p} Q_0^{1/(n-p)} $，其中 $ Q_0 = \overline{\lim}_{\varepsilon \to 0} \frac{1}{\Omega_n \varepsilon^n} \int_{B(x_0,\varepsilon)} Q(x)\,dm(x) $，且 $ \lambda_{n,p} $ 是仅依赖于 $ n $ 和 $ p $ 的正常数。
• 若 $ Q $ 在定义域内每一点的平均积分有限，则该结果全局成立，意味着 $ f $ 在 $ G $ 上是有限Lipschitz的。
• 证明依赖于将像环形电容器的 $ p $-容量与路径的 $ p $-模进行比较，使用在环形区域上具有紧支集的测试函数。
• 该界是精确的，因为指数 $ 1/(n-p) $ 自然地源于 $ n $-维空间中 $ p $-模与容量的标度性质。
• 该结果将具有有限畸变的映射类扩展至拟共形和拟等距映射之外，包括某些Orlicz-Sobolev类和 $ W^{1,p} $-Sobolev映射（当 $ p > n-1 $ 时）。