[論文レビュー] Complex Analysis of Real Functions II: Singular Schwartz Distributions

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

Advanced Differential Equations and Dynamical Systems参考文献 10被引用数 5

ひとこと要約

この論文は、単位円板内における複素解析的枠組みを拡張し、ディラックのデルタ関数やその導関数などの特異なシュワーツ分布と、可積分な実関数を同時に表現することを目的としている。単位円周上に制御された特異性を有する内挙動関数の適切な角極限を定義することにより、正則な分布と特異な分布を同一の複素解析的構造内で統一的に取り扱うことが可能となり、複素解析の道具を用いた堅牢な操作が可能になる。

ABSTRACT

In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that singular Schwartz distributions can be represented within that same structure, so long as one defines the limits involved in an appropriate way. In that previous paper it was shown that essentially all integrable real functions can be represented within the complex-analytic structure. The infinite collection of singular objects which we analyze here can thus be represented side by side with those real functions, thus allowing all these objects to be treated in a unified way.

研究の動機と目的

• 以前の研究で確立された可積分な実関数の複素解析的表現を、ディラックのデルタ関数やその導関数などの特異分布へ拡張すること。
• 特異分布が、内挙動関数の境界極限を適切に定義することにより、同じ複素解析的構造内に一貫して表現可能であることを示すこと。
• 可積分な実関数と特異分布を、内挙動関数の角積分および角微分に基づく同一の枠組みで統一的に取り扱うこと。
• 内挙動関数の特異性（ソフト、ハード、境界ハード）を分類し、それらの度合いを、対応する実関数の可積分性に関連付けること。
• 非可積分な実関数へこの枠組みを拡張する可能性を検討すること、非可積分な特異性を有する内挙動関数を用いること。

提案手法

• 開単位円板内における内挙動関数に基づく複素解析的構造を用い、特に原点で消える正しく内挙動関数（proper inner analytic functions）に注目する。
• 角微分および角原始関数の演算を、複素微分および積分を用いて定義し、これらは一定のρにおける角度θに関する微分および積分に対応する。
• 正しく内挙動関数の無限大の積分微分鎖を構築し、これらの演算に関して閉じており、鎖同士が交差しないようにする。
• 単位円周上の特異性を、有限極限を持つ「ソフト」、有限極限を持たない「ハード」、または1回の角積分でソフトに変わる「境界ハード」と分類し、ソフト・ハードの度合いを境界状態に達するまでの操作回数で定義する。
• 実関数および分布を、内挙動関数の実部および虚部のρ→1⁻極限によって表現する。同一関数から生じるフーリエ共共役対が現れる。
• 特異分布への応用において、分布が関数として表現できない場合でも、対応する内挙動関数を介して、試験関数への作用を決定できることを示す。

実験結果

リサーチクエスチョン

• RQ1 特異なシュワーツ分布は、可積分な実関数に既に用いられていた同一の複素解析的構造内に表現可能か？
• RQ2 内挙動関数にどのような条件を課えると、その境界極限が単位円周上で定義された特異分布を一貫して得られるか？
• RQ3 特異性の度合い（ソフト、ハード、境界）は、対応する実関数または分布の可積分性とどのように関係するか？
• RQ4 この複素解析的枠組み内で、2つの特異分布の積を意味的に定義可能か？
• RQ5 非可積分な実関数を、ハード特異性を有する内挙動関数によって表現できる最大のクラスは何か？

主な発見

• コンパクトな定義域上で定義されたすべての特異なシュワーツ分布は、適切な内挙動関数の極限を用いて、複素解析的構造内で表現可能である。
• 特異分布は、単位円周上にハード特異性を有する内挙動関数に対応し、特に可積分な境界挙動を許容するように配置された、正の硬さ度数を持つものである。
• 単位円周上にソフトまたは境界ハード特異性を有する内挙動関数の実部は、境界極限において可積分な実関数を生成するが、非可積分な特異性から生じる実関数は非可積分である。
• この枠組みにより、試験関数が内挙動関数によって表現される限り、分布と試験関数の積を一貫して定義可能である。
• ディラックのデルタ関数およびその導関数は、$ \bar{w}_{\delta^{n\prime}}(z,z_1) = -i w_{\delta^{n\prime}}(z,z_1) $ の形をした内挙動関数によって表現され、単位円周上で非可積分な実部を有する。
• 理論的考察から、特異な分布は、対応する内挙動関数におけるハード特異性の種別と向きによって本質的に特徴づけられることを示唆しており、分布論に新たな視点を提供する。