[論文レビュー] Comformal mapping asymptotics at a cusp

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

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

ひとこと要約

本稿では、境界曲線の一般化されたべき級数パラメータ表示を用いて、解析的カウプス付近における共形写像の明示的漸近展開を導出する。これは、ケイゼルの小角度摂動に対する結果を任意の接続次数に一般化し、$ 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.

研究の動機と目的

• ケイゼルの小角度摂動を持つカウプスにおける共形写像の漸近的結果を、任意の接続次数にまで拡張すること。
• カウプスにおける任意の接続次数を捉えることができる一般化されたべき級数による境界曲線のパラメータ表示を開発すること。
• 所定の漸近的性質を持つ局所的単葉な共形写像の明示的表現を提供すること。
• すべての $ d > 0 $ に対して有効な統一された漸近公式を確立すること。ここで $ d $ はカウプスにおける境界曲線の接続次数を表す。

提案手法

• 境界曲線のカウプス近傍を一般化されたべき級数 $ \log z $ を用いてパラメータ表示する新規手法を提案する。具体的には、$ z \in (-\epsilon,0) \cup (0,\epsilon) $ に対して $ \Gamma_k(z) = \frac{-2\pi}{a\log z}\left(1 + \sum_{n=1}^{\infty} \frac{\Phi_n(z)}{\log^n z}\right) $ と定義する。
• クリスティョフエル＝シュバルツ積分表現を用いて共形写像関数を導出し、カウプス付近での漸近的性質を分析する。
• 解析接続と共形不変性を適用して、変数変換による解析的変更においても漸近的性質が保存されることを示す。
• 写像 $ g(z) = f^{1/d}(z^d) $ を構築することで、$ d=1 $ の場合から任意の $ d>0 $ への一般化を実現し、元の写像を $ d $ 乗のカウプスに結びつける。
• 複素解析の技法を用い、$ z=0 $ の近傍における $ f(z) $ の級数展開と虚部の推定を用いて、局所的単葉性および境界上での連続性を証明する。
• 漸近的性質が共形同値性のもとで不変であることを確立し、既知の写像性質を持つモデル領域への還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の接続次数 $ d>0 $ を持つカウプスにおいて、共形写像関数の漸近的挙動はどのように振る舞うか？
• RQ2 $ d=1 $ におけるケイゼルの結果（小摂動）をすべての $ d>0 $ に一般化できるか？
• RQ3 境界曲線のどのパラメータ表示が、カウプスにおける所定の漸近的挙動を持つ共形写像の明示的構成を可能にするか？
• RQ4 $ d \neq 1 $ のとき、曲率に類する係数 $ a $ はカウプスの幾何学的性質とどのように関係するか？
• RQ5 一般化されたべき級数 $ \log z $ は、境界および写像関数の表現において果たす役割は何か？

主な発見

• 上半平面 $ \mathbb{H} $ から領域 $ D $ への共形写像 $ f $ の、原点におけるカウプス近傍の漸近的挙動は、$ d=1 $ の場合に $ \lim_{z \to 0} f(z) \left(-\frac{2\pi}{a \log|z|}\right)^{-1} = 1 $ で与えられ、ケイゼルの結果と一致するが、パラメータ表示が異なる。
• 任意の $ 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} $ は原点で $ \mathbb{R} $ と $ d $ 乗の接続を持つ。漸近展開として、$ u^* \to 0 $ のとき $ v^*(z) = \frac{a}{2d}(u^*(z))^{1+d} + o((u^*)^{1+d}) $ が成り立つ。
• パラメータ表示 $ \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 $ はカウプス近傍の幾何的挙動を制御し、$ d \neq 1 $ のとき、$ a/d $ が展開における有効な曲率に類する項を特徴付ける。