[論文レビュー] Complex Analysis of Real Functions I: Complex-Analytic Structure and Integrable Real Functions

Jorge L. deLyra|arXiv (Cornell University)|Aug 21, 2017

Algebraic and Geometric Analysis参考文献 8被引用数 6

ひとこと要約

本稿は、単位円板内に複素解析的枠組みを導入し、任意の可積分な実関数を解析関数の実部の境界極限として表現する。すべての可積分な実関数—微分不可能、不連続、あるいは非有界な関数ですらも、このような解析関数から生じることを確立し、複素解析を用いた解析的演算の普遍的レギュレータを提供する。

ABSTRACT

A complex-analytic structure within the unit disk of the complex plane is presented. It can be used to represent and analyze a large class of real functions. It is shown that any integrable real function can be obtained by means of the restriction of an analytic function to the unit circle, including functions which are non-differentiable, discontinuous or unbounded. An explicit construction of the analytic functions from the corresponding real functions is given. The complex-analytic structure can be understood as an universal regulator for analytic operations on real functions.

研究の動機と目的

• 可積分な実関数と複素単位円板内の解析関数の間に深い関係を確立すること。
• 有限区間上の任意の可積分な実関数が、内部解析関数の実部の境界制限に対応することを示すこと。
• 内部解析関数とその特異点に基づく普遍的な枠組みを構築し、微分不可能、不連続、あるいは非有界な実関数の解析を可能とすること。
• 今後の論文において、フーリエ理論および分布論を統一的な複素解析的構造へと拡張する基盤を築くこと。

提案手法

• 内部解析関数を、開単位円板で正則であり、特に w(0) = 0 を満たす関数（適切な内部解析関数）として定義する。
• 内部解析関数の無限階の積分微分鎖の概念を導入し、導関数および積分の間の関数的関係をモデル化する。
• 内部解析関数の特異点を分類し、ソフト特異点と境界に近いハード特異点を区別する。分岐点については外向きに拡張された分岐カットを要する。
• 実関数 f(θ) を単位円上に、f(θ) = lim_{ρ→1⁻} u(ρ,θ) として径方向極限として構成する。ここで u は内部解析関数 w(z) の実部である。
• コーシー・リーマン方程式と調和性の性質を用いて、境界極限の構成の一貫性を保証する。
• 実関数 f(θ) のフーリエ係数が、対応する内部解析関数のテイラー係数に符号化されていることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限区間上の任意の可積分な実関数が、単位円板内の解析関数の実部の境界極限として表現可能であるか？
• RQ2 非解析的、非微分可能、あるいは非有界な実関数を、複素解析的ツールを用いて一貫して表現・解析することは可能か？
• RQ3 特異点、特に境界に近いハード特異点は、内部解析関数の解析接続および境界挙動において果たす役割は何か？
• RQ4 複素解析的構造は、可積分な実関数のフーリエ理論をどのように自然に埋め込み・一般化するか？
• RQ5 この枠組みは、物理学および解析学における発散級数や一般化関数を扱うための厳密な基盤として機能可能か？

主な発見

• 有限区間上で定義された任意の可積分な実関数は、単位円板上での内部解析関数の実部の径方向極限として得られる。
• 構成は普遍的である：微分不可能、不連続、非有界な可積分関数であっても、すべて境界制限によるこのような解析関数から生じる。
• 実関数 f(θ) のフーリエ係数は、対応する内部解析関数のテイラー係数によって直接決定される。
• 複素解析的構造は、関数が古典的に微分可能または可積分でない場合でも、実関数に対する解析的演算の堅牢なレギュレータを提供する。
• 分岐点を含む、単位円上の特異点は、分岐カットを外向きに拡張すれば、自然に取り扱える。
• この方法により、可積分な実関数と特定のクラスの内部解析関数との間の一対一対応が確立され、境界上の実部が元の関数を回復する。