[论文解读] Jordan domains with a rectifiable arc in their boundary

Vasiliki Liontou, Vassili Nestoridis|arXiv (Cornell University)|May 5, 2017

Holomorphic and Operator Theory参考文献 3被引用 4

一句话总结

本文证明，若一个若尔当代数域的边界包含一条可求长的弧，则其黎曼映射的导数在该弧的原像附近表现得如同 $ H^1 $ 函数。通过反射原理与 Hardy 空间性质，作者证明沿径向趋近该弧时，导数的 $ L^1 $-范数保持一致有界，从而推广了经典结果：可求长的若尔当曲线对应于 $ H^1 $ 导数。

ABSTRACT

We show that if an open arc J of the boundary of a Jordan domain $Ω$ is rectifiable, then the derivative $Φ$' of the Riemann map $Φ: D ightarrow Ω$ from the open unit disk D onto $Ω$ behaves as an $H^1$ function when we approach the arc $Φ^{-1}(J^{\prime})$,where $J^{\prime}$ is any compact subarc of $J$. "

研究动机与目标

• 将经典结果——可求长的若尔当曲线与黎曼映射导数属于 $ H^1 $ 的等价性——推广至仅边界部分可求长的情形。
• 研究若尔当域中，黎曼映射导数在可求长边界弧的紧致子弧附近的性质。
• 将 Hardy 空间 $ H^p $ 理论推广至那些在单位圆的子弧上 $ L^1 $-范数保持有界的函数，即使整个边界不可求长。
• 探讨定义在单位圆子弧上的广义 Hardy 型空间的拓扑与泛函分析性质。

提出的方法

• 使用反射原理将可求长边界弧 $ J $ 的紧致子弧 $ J' $ 扩展为一条完整的可求长若尔当曲线 $ \gamma' $，并构造其内部的子区域 $ G' \subset \Omega $。
• 构造一个黎曼映射 $ f: D \to G' $，由经典理论保证 $ f' \in H^1(D) $。
• 定义从单位圆盘到自身的共形映射 $ h = \Phi^{-1} \circ f $，使得 $ J' $ 的原像被映射为单位圆周的一个子弧。
• 应用反射原理，将 $ h $ 解析延拓至单位圆周附近，确保其在邻域内全纯且单射。
• 利用 $ f' \in H^1 $ 所继承的 $ \int_a^b |f'(re^{it})| dt $ 在 $ r \to 1^- $ 时的一致有界性，控制 $ \int_a^b |\Phi'(re^{it})| dt $。
• 通过基于划分的估计与极限论证，建立关键不等式 $ \text{length}(\Phi(e^{it})_{t\in[a,b]}) \leq \liminf_{r\to1^-} \text{length}(\Phi(re^{it})_{t\in[a,b]}) $。

实验结果

研究问题

• RQ1 在仅边界部分可求长时，黎曼映射导数在何种条件下属于 Hardy 空间 $ H^1 $？
• RQ2 经典结果——可求长边界与 $ H^1 $-导数之间的等价性——是否可推广至边界的子弧？
• RQ3 黎曼映射导数沿径向极限趋近于边界可求长子弧时，其 $ L^1 $-范数的行为如何？
• RQ4 当 $ r \to 1^- $ 时，黎曼映射下径向线段像的长度与边界弧长度之间有何关系？
• RQ5 定义在单位圆子弧上的广义 Hardy 型空间的拓扑与完备性性质是什么？

主要发现

• 若 $ J \subset \partial\Omega $ 为可求长的开弧，且 $ J' \subset J $ 为紧致子弧，则当 $ r \to 1^- $ 时，有 $ \int_a^b |\Phi'(re^{it})| dt $ 保持有界，其中 $ \Phi^{-1}(J') = [a,b] \subset \partial D $。
• 边界弧 $ \Phi(e^{it}) $ 在 $ t \in [a,b] $ 上的长度满足 $ \text{length}(\Phi(e^{it})_{t\in[a,b]}) \leq \liminf_{r\to1^-} \text{length}(\Phi(re^{it})_{t\in[a,b]}) $。
• 若边界弧 $ \Phi(e^{it}) $ 在 $ t \in [a,b] $ 上具有有限长度，则 $ \lim_{r\to1^-} \text{length}(\Phi(re^{it})_{t\in[a,b]}) = \text{length}(\Phi(e^{it})_{t\in[a,b]}) $。
• 在可求长弧的原像附近，$ \Phi' $ 的 $ H^1 $ 性质得以保持：$ \sup_{0<r<1} \int_a^b |\Phi'(re^{it})| dt < \infty $。
• 等价关系成立：$ \Phi' $ 沿 $ [a,b] $ 的 $ L^1 $-范数一致有界，当且仅当边界弧 $ \Phi(e^{it}) $ 可求长，且图像曲线 $ \Phi(re^{it}) $ 在 $ r \to 1^- $ 时长度一致有界。
• 本文构造了一个候选反例，其中 $ \liminf_{r\to1^-} \text{length}(\Phi(re^{it})) < \limsup_{r\to1^-} \text{length}(\Phi(re^{it})) $，尽管尚未确认此类例子的存在。