[论文解读] On behavior of homeomorphisms with inverse modulus conditions

Evgeny Sevost’yanov, С. А. Скворцов|arXiv (Cornell University)|Dec 20, 2017

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

一句话总结

本文研究了同胚映射 $ g: D' \to D $ 的局部与边界行为，其逆映射 $ f = g^{-1} $ 满足形式为 $ M(f(\Gamma)) \leq \int_D Q(x) \rho^n(x)\,dm(x) $ 的逆模条件，其中 $ \rho $ 为所有容许函数。在 $ Q \in L^1(D) $ 的可积性条件下，并假设边界的局部连通性与弱平坦性，作者证明了 $ g $ 在 $ D' $ 中的一致连续性及其在 $ \overline{D'} $ 上的连续延拓，且延拓后的映射族在闭包上也是一致连续的。

ABSTRACT

We consider some class of homeomorphisms of domains of Euclidean space, which are more general than quasiconformal mappings. For these homeomorphisms, we have obtained theorems on local behavior of it's inverse mappings in a given domain. Under some additional conditions, we proved results about behavior of mappings mentioned above in the closure of the domain.

研究动机与目标

• 分析同胚映射 $ g $ 的局部与边界行为，其逆映射满足广义的逆模条件。
• 消除先前工作中使用的归一化约束（如固定两点），以扩大适用范围。
• 在几何与可积性条件下，建立映射族在定义域闭包上的等度连续性与连续延拓。
• 展示当 $ \{g_m = f_m^{-1}\} $ 一致连续时，逆映射族 $ \{f_m\} $ 仍可能不一致连续，凸显在逆模条件下行为的非对称性。

提出的方法

• 定义映射类 $ \mathfrak{R}_Q(D, D') $，其中 $ g: D' \to D $ 满足：若 $ f = g^{-1} $，则对所有容许函数 $ \rho $，有 $ M(f(\Gamma)) \leq \int_D Q(x) \rho^n(x)\,dm(x) $。
• 利用曲线族的模 $ M(\Gamma(E,F,D)) $ 量化连通性与边界行为。
• 应用几何条件：边界点处的局部连通性与 $ \partial D' $ 的弱平坦性，确保小邻域能将模较大的集合分离开来。
• 在 $ Q \in L^1(D) $ 条件下，通过模估计与紧致性论证，建立 $ D' $ 中的等度连续性。
• 利用弱平坦性与局部连通性假设，证明映射可连续延拓至 $ \overline{D'} $，并确保像集为 $ \overline{D} $。
• 通过一个反例（$ f_m $ 映射 $ \mathbb{B}^n \to B(0,2) $）说明：尽管 $ \{g_m = f_m^{-1}\} $ 在 $ \overline{B(0,2)} $ 上一致连续，但 $ \{f_m\} $ 在 0 点不一致连续，揭示了在逆模条件下行为的非对称性。

实验结果

研究问题

• RQ1 在何种条件下，满足逆模条件的同胚映射族 $ g: D' \to D $（其中 $ f = g^{-1} $）在 $ D' $ 中是一致连续的？
• RQ2 此类映射 $ g $ 是否可连续延拓至闭包 $ \overline{D'} $？在何种条件下延拓后的映射族也是一致连续的？
• RQ3 几何边界条件（如局部连通性与弱平坦性）如何与 $ Q $ 的可积性相互作用，以保证等度连续性？
• RQ4 当 $ \{g_m = f_m^{-1}\} $ 一致连续时，其逆族 $ \{f_m\} $ 的行为如何？这种行为是否破坏了拟共形映射中观察到的对称性？
• RQ5 能否通过去除如固定两点等归一化约束，将结果推广至拟共形映射之外？

主要发现

• 当 $ Q \in L^1(D) $ 且 $ \overline{D}, \overline{D'} $ 为紧致时，族 $ \mathfrak{R}_Q(D, D') $ 在 $ D' $ 中是一致连续的。
• 若 $ D $ 在所有边界点处局部连通，$ D' $ 具有弱平坦边界，且 $ Q \in L^1(D) $，则每个 $ g \in \mathfrak{S}_{\delta,A,Q}(D,D') $ 均可连续延拓至 $ \overline{D'} $，且延拓后的族在 $ \overline{D'} $ 上也是一致连续的。
• 延拓映射 $ \overline{g}: \overline{D'} \to \overline{D} $ 满足 $ \overline{g}(\overline{D'}) = \overline{D} $，保持了闭包结构。
• 在反例中，尽管 $ \{g_m = f_m^{-1}\} $ 在 $ \overline{B(0,2)} $ 上一致连续，但逆族 $ \{f_m\} $ 在 0 点不一致连续，表明逆模条件不保证逆向的一致连续性。
• $ Q \in L^1(D) $ 条件对等度连续性至关重要；若无此条件，模控制将失效，无法保证等度连续性。
• 通过 $ f_m $ 与 $ g_m $ 的例子表明，满足逆模条件的映射类严格大于拟共形映射类，且其逆族的行为可能截然不同。