[论文解读] On the stability of $ϕ$-uniform domains

Riku Klén, Y. Li+2 more|arXiv (Cornell University)|Dec 23, 2008

Analytic and geometric function theory参考文献 10被引用 4

一句话总结

本文研究了 ℝⁿ 中 φ-一致区域的稳定性，引入了一类区域，其拟双曲度量受距离比度量的同胚 φ 有界。关键结果表明，从 φ-一致区域中移除一个几何点列后，可得到一个 φ₁-一致区域，证明了此类扰动下的鲁棒稳定性。

ABSTRACT

We study two metrics, the quasihyperbolic metric and the distance ratio metric of a subdomain $G \subset {\mathbb R}^n$. In the sequel, we investigate a class of domains, so called $φ$-uniform domains, defined by the property that these two metrics are comparable with respect to a homeomorphism $φ$ from $[0,\infty)$ to itself. Finally, we discuss a number of stability properties of $φ$-uniform domains. In particular, we show that the class of $φ$-uniform domains is stable in the sense that removal of a geometric sequence of points from a $φ$-uniform domain yields a $φ_1$-uniform domain.

研究动机与目标

• 研究在拓扑修改（特别是点移除）下 φ-一致区域的稳定性特性。
• 通过同胚 φ 将经典的一致区域概念推广为以函数依赖界代替常数界。
• 建立从 φ-一致区域中移除几何点列后仍保持 φ-一致性的条件，并得到新的控制函数 φ₁。
• 探讨拟双曲度量与距离比度量在区域几何中的行为，以及 φ 在二者比较中的作用。
• 将双李普希茨不变性与区域可移除性结果推广至更广泛的 φ-一致框架。

提出的方法

• 通过不等式 $k_G(x,y) \leq \varphi\left(\frac{|x-y|}{\min\{\delta_G(x),\delta_G(y)\}}\right)$ 定义 φ-一致区域，其中 $k_G$ 为拟双曲度量，$\delta_G$ 为到边界的距离。
• 利用拟双曲测地线性质与单调性，在嵌套区域之间比较度量。
• 将距离比度量 $j_G(x,y) = \log\left(1 + \frac{|x-y|}{\min\{\delta_G(x),\delta_G(y)\}}\right)$ 作为比较基准。
• 通过分类讨论建立稳定性：(1) 点位于中心球内，(2) 点位于中心球外，(3) 混合区域，利用三角不等式与度量界。
• 构造依赖于 φ 与 ψ（互补区域一致性的模）的控制函数 $\varphi_1, \varphi_2, \varphi_3$，以在穿孔区域中控制拟双曲度量。
• 利用双李普希茨不变性与区域分解技术，将结果从球推广至一般区域。

实验结果

研究问题

• RQ1 在何种条件下，从 φ-一致区域中移除一个几何点列可保证保持 φ-一致性？
• RQ2 在 φ-一致区域中，拟双曲度量与距离比度量之间有何关系？φ 在此比较中起何作用？
• RQ3 φ-一致区域的稳定性能否从单点移除推广至具有特定几何间距的无限点列？
• RQ4 新控制函数 φ₁ 对原始 φ 与补集一致性的模 ψ 的依赖关系如何？
• RQ5 双李普希茨映射在多大程度上保持 φ-一致性性质？双李普希茨常数如何影响所得控制函数？

主要发现

• φ-一致区域类在移除几何点列下保持稳定：若 D 是 φ-一致的，且 F 是 D 内某球中一个几何点列，则 D \ F 是 φ₁-一致的，其中 φ₁ 仅依赖于 φ 与被移除点补集的一致性模 ψ。
• 对于 φ-一致区域 D 及满足 $|x_0 - x_i| = \frac{1}{2^{i+2}}\delta_D(x_0)$ 的点列 $\{x_i\}$，若 $F = \bigcup E_i \cup \{x_0\}$，则区域 $D \setminus F$ 是 φ₃-一致的，其中 $\varphi_3(t) = 2\max\{\varphi_1(5t), \varphi_2(5t)\}$，且 φ₁、φ₂ 依赖于 φ 与 ψ。
• 稳定性结果通过分类讨论成立：当两点均位于中心球内、外区域或跨区域时，拟双曲度量被距离比的函数有界，且该界由 φ₃ 控制。
• 拟双曲度量始终不小于距离比度量，而 φ-一致条件将其强化为函数依赖的比较。
• 通过区域分解，该结果可推广至一般区域：从 φ-一致区域 D 中移除一个几何点列后，得到的区域为 φ₃-一致，且 φ₃ 显式由 φ 与 ψ 构造。
• 控制函数 φ₃ 明确定义为 $\varphi_3(t) = 2\max\{\varphi_1(5t), \varphi_2(5t)\}$，其中 φ₁ 与 φ₂ 由 φ 与 ψ 导出，确认了稳定性结果中的函数依赖关系。