[論文レビュー] Arc length as a conformal parameter for locally analytic curves

Vassili Nestoridis, Athanase Papadopoulos|arXiv (Cornell University)|Aug 31, 2015

Advanced Numerical Analysis Techniques参考文献 2被引用数 4

ひとこと要約

本稿は、複素平面における局所的正則曲線に対して弧長が共形パラメータとして機能することを確立し、最大正則拡張を可能にする。任意の局所的正則曲線が弧長パラメータ化によって一意に最大正則拡張を有することを証明し、正則ジョードン曲線と局所的正則ジョードン曲線の概念が一致することを示している。

ABSTRACT

For any locally analytic curve we show that arc length can be complexified and seen as a conformal parameter. As an application, we show that any such curve defines a unique maximal one and that the notions of analytic Jordan curve coincides with the notion of a Jordan curve which is locally analytic. We give examples where we also find, for a curve $γ$(s), the limit sets of the largest extensions, that is, the limit set of the curve as s converges to the end point of the interval.

研究の動機と目的

• 弧長を複素化し、複素平面における局所的正則曲線の共形パラメータとして用いることができることを示すこと。
• 弧長パラメータ化を用いて、任意の局所的正則曲線が一意に最大正則拡張を有することを証明すること。
• 正則ジョードン曲線と局所的正則ジョードン曲線の概念が同値であることの確立。
• このような曲線の最大拡張の極限集合を分析すること、特に極限集合が単一の点または円である場合を含む。
• 弧長パラメータと角パラメータとの比較において、解析関数の定義域の性質を特徴づけること。

提案手法

• 局所的正則曲線を弧長でパラメータ化し、このパラメータ化が複素領域に正則に拡張されることを示す。
• 非ゼロの微分係数と局所的正則性の性質から、逆関数定理を用いて共形拡張が可能であることを用いる。
• リーマン写像定理と共形同値性を応用し、曲線を実区間を含む開集合上の正則写像と関連付ける。
• 複素パrameter空間における弧長微分の収束を分析し、正則性の最大定義域を特定する。
• 関数 $ f(z) = (z-1)^\tau \exp\left(\frac{z+1}{z-1}\right) $ を用いた明示的例を構築し、拡張行動を研究する。
• 絶対値 $ \left| \frac{ds^2}{d\delta^2} \right| \sim \frac{e^y}{y^3} $ の漸近的解析を用いて、絶対値が発散する場合の非拡張可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 複素平面における局所的正則曲線に対して、弧長を共形パラメータとして用いることができるか？
• RQ2 任意の局所的正則曲線が一意に最大正則拡張を有するか？
• RQ3 正則ジョードン曲線の概念と局所的正則ジョードン曲線の概念は同値か？
• RQ4 局所的正則曲線の最大拡張の可能な極限集合は何か？
• RQ5 拡張定義域の大きさの観点から、弧長パラメータ化は他のパラメータ化と比べてどのように異なるか？

主な発見

• 弧長パラメータ化により、局所的正則曲線の複素化が可能となり、複素領域における共形パラメータが得られる。
• 任意の局所的正則曲線は、初期パラメータ化に依存しない一意な最大正則拡張を有する。
• 曲線の最大拡張の極限集合は、端点における挙動に応じて $ \mathbb{C} \cup \{\infty\} $ 内の単一の点または円である可能性がある。
• 曲線 $ \gamma(x) = (1-x)\exp\left(\frac{x+1}{x-1}\right) $ において、弧長によるパラメータ化により特異点を超えて拡張され、実数直線全体が得られる。
• 例3.6において、$ \tau > \frac{1}{2} $ のとき、関数 $ f(z) = (z-1)^\tau \exp\left(\frac{z+1}{z-1}\right) $ を用いた $ \gamma(t) = f(e^{it}) $ は、$ \tau > 1 $ のとき有限な弧長積分を有し、$ A = -\infty, B = +\infty $ となるため、曲線は拡張可能である。
• 本稿は、曲線 $ \gamma $ 上で関数 $ f $ が $ \theta $ に関して正則であることと、弧長 $ s $ に関して正則であることの同値性を示しており、弧長が共形パラメータとしての最適性を裏付けている。