[论文解读] Comformal mapping asymptotics at a cusp

Dmitri Prokhorov|arXiv (Cornell University)|Nov 2, 2015

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

一句话总结

本文通过使用边界曲线的广义幂级数参数化方法，推导出在解析尖点附近共形映射的显式渐近展开式。该研究将Kaiser针对小角度扰动尖点的结果推广至任意阶切触情形，表明当 $ z \to 0 $ 时，映射函数的行为类似于 $ \left(-\frac{2\pi}{da\log|z|}\right)^{-1/d} $，其中 $ d $ 为切触阶数，$ a $ 控制类似曲率的系数。

ABSTRACT

We describe the asymptotic behavior of the mapping function at an analytic cusp compared with Kaiser's results for cusps with small perturbation of angles and the known explicit formulae for cusps with circular boundary curves. We propose a boundary curve parametrization by generalized power series which allows us to give explicit representations for locally univalent mapping functions with given asymptotic properties and for cusp boundary curves having an arbitrary order of tangency.

研究动机与目标

• 将Kaiser针对小角度扰动尖点的共形映射渐近结果推广至任意切触阶次的尖点。
• 通过广义幂级数构造边界曲线的参数化形式，以捕捉尖点处的任意阶切触性质。
• 为具有指定尖点渐近行为的局部单值共形映射提供显式表示。
• 建立对所有 $ d > 0 $ 均有效的统一渐近公式，其中 $ d $ 表示边界曲线在尖点处的切触阶次。

提出的方法

• 提出一种基于 $ \log z $ 的广义幂级数的新边界曲线参数化方法，具体形式为 $ \Gamma_k(z) = \frac{-2\pi}{a\log z}\left(1 + \sum_{n=1}^{\infty} \frac{\Phi_n(z)}{\log^n z}\right) $，定义域为 $ z \in (-\epsilon,0) \cup (0,\epsilon) $。
• 利用Christoffel-Schwarz积分表示推导共形映射函数，并分析其在尖点附近的渐近行为。
• 应用解析延拓与共形不变性，证明渐近行为在解析变量变换下保持不变。
• 构造映射 $ g(z) = f^{1/d}(z^d) $，将 $ d=1 $ 的结果推广至任意 $ d>0 $，从而将原映射与 $ d $ 阶尖点联系起来。
• 采用复分析技术，包括 $ f(z) $ 在 $ z=0 $ 附近的级数展开及虚部估计，以证明局部单值性与边界上的连续性。
• 证明渐近行为在共形等价下不变，从而可将问题约化为具有已知映射性质的模型区域。

实验结果

研究问题

• RQ1 在任意切触阶次 $ d>0 $ 的尖点处，共形映射函数的渐近行为如何？
• RQ2 Kaiser针对 $ d=1 $ 且小扰动的情形所得结果能否推广至所有 $ d>0 $ ？
• RQ3 何种边界曲线参数化形式可实现具有指定渐近行为的共形映射的显式构造？
• RQ4 当 $ d \neq 1 $ 时，曲率类似系数 $ a $ 与尖点的几何结构有何关系？
• RQ5 在 $ \log z $ 上的广义幂级数在表示边界与映射函数中起何作用？

主要发现

• 在尖点 $ 0 $ 附近，共形映射 $ f: \mathbb{H} \to D $ 的渐近行为为 $ \lim_{z \to 0} f(z) \left(-\frac{2\pi}{a \log|z|}\right)^{-1} = 1 $（当 $ d=1 $ 时），与Kaiser的结果一致，但采用不同参数化形式。
• 对于任意 $ d>0 $，渐近公式推广为 $ \lim_{z \to 0} g(z) \left(-\frac{2\pi}{d a \log|z|}\right)^{-1/d} = 1 $，其中 $ g $ 映射至在尖点处具有 $ d $ 阶切触的区域。
• 边界曲线 $ \Gamma^{1/d} $ 在 $ 0 $ 处具有 $ d $ 阶切触于 $ \mathbb{R} $，其渐近展开为 $ v^*(z) = \frac{a}{2d}(u^*(z))^{1+d} + o((u^*)^{1+d}) $，当 $ u^* \to 0 $ 时成立。
• 参数化形式 $ \Gamma_k(z) = \frac{-2\pi}{a\log z}\left(1 + \sum_{n=1}^{\infty} \frac{\Phi_n(z)}{\log^n z}\right) $ 允许对任意 $ d>0 $ 和任意 $ a>0 $ 显式构造共形映射。
• 映射 $ g(z) = f^{1/d}(z^d) $ 将具有 $ d=1 $ 切触的区域变换为具有 $ d $ 阶切触的区域，同时保持渐近结构不变。
• 渐近公式中的系数 $ a $ 控制尖点附近的几何行为，其中 $ a/d $ 表征了 $ d \neq 1 $ 时展开式中有效曲率类似项的特征。