[論文レビュー] Complex Analysis of Real Functions III: Extended Fourier Theory

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

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

ひとこと要約

本稿は、可積分な実関数の完全なフーリエ理論が、単位開円板上に存在する内挙動解析関数を通じて、複素解析的構造に埋め込まれることを確立する。この構造を用いることで、角速度微分および積分作用素を導入し、可積分関数を超えて特異なシュワーツ分布や非可積分関数へとフーリエ理論を拡張する。この枠組みにおいて、フーリエ基底関数、内積、直交性、完全性関係が自然に導かれることが示される。

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 the complete Fourier theory of integrable real functions is contained within that structure, that is, within the structure of the space of inner analytic functions on the open unit disk. We then extend the Fourier theory beyond the realm of integrable real functions, to include for example singular Schwartz distributions, and possibly other objects.

研究の動機と目的

• 可積分な実関数のフーリエ理論のすべての核心的要素—基底関数、級数、内積、直交性、完全性—が、単位円板上における内挙動解析関数の複素解析的構造に含まれることを示すこと。
• 可積分な実関数のフーリエ係数が、内挙動解析関数のテイラー係数に対応することを示し、統一的な解析的枠組みを構築すること。
• 内挙動解析関数に対する角速度微分および積分作用素を導入することで、可積分関数を超えるフーリエ理論の拡張を実現すること。
• 実関数の特異点を、それらの複素解析的対応物を用いて分類し、ソフト、境界上のハード、非可積分の特異点を区別すること。
• 半径 ρ₀ < 1 の円周上に一パrameter族のヒルベルト空間を構成し、内積とノルムを保存するが、ρ₀ → 1⁻ における自然な極限が存在することを確立すること。

提案手法

• 本稿は、実関数 f(θ) のフーリエ係数 αₖ および βₖ を用いて、内挙動解析関数 w(z) を構成し、それを複素数のテイラー係数 cₖ に写像して w(z) = Σ cₖ zᵏ を定義する。
• 角速度微分 w·(z) = i z dw/dz および角速度原始関数 w⁻¹·(z) = -i ∫₀ᶻ (w(z′) - w(0))/z′ dz′ を導入し、これらは θ による微分および積分の離散的類似物として機能する。
• これらの作用素により、適切な内挙動解析関数の無限の積分微分連鎖が生成され、特異点の柔らかさ・硬さの度合いによる分類が可能になる。
• 特異点は、単位円周上で有限極限を持つ「ソフト」、有限極限を持たない「ハード」、1回の積分でソフトになる「境界上のハード」に分類され、可積分な特異点はソフトまたは境界上のハードに属する。
• 内積 (w₁|w₂) は半径 ρ₀ < 1 の円周上での閉曲線積分により定義され、∑ ρ₀²ᵏ c₁,k* c₂,k に一致する。係数が指数的に有界であれば、この級数は指数的に速く収束する。
• ρ₀ → 1⁻ における収束性を解析し、ノルムや内積が発散する可能性があるものの、可積分な実関数および分布に対しては構造が有効であることが示される。

実験結果

リサーチクエスチョン

• RQ1 可積分な実関数の完全なフーリエ理論は、開単位円板上に存在する複素解析的構造から導出可能か？
• RQ2 内挙動解析関数に対する角速度微分および積分作用素は、単位円周上での実関数の θ-微分および積分に対応するか？
• RQ3 ソフト、ハード、境界上のハードという特異点分類が、可積分関数を超えるフーリエ理論の拡張において果たす役割は何か？
• RQ4 級数が発散する場合でも、ρ₀ → 1⁻ の極限を用いて内挙動解析関数の内積およびノルムを一貫して定義可能か？
• RQ5 半径 ρ₀ < 1 の円周上に存在する一パrameter族のヒルベルト空間は、実関数およびそのフーリエ表現の構造とどのように関係するか？

主な発見

• フーリエ理論のすべての要素—基底関数、直交性、完全性、内積、ノルム—が、開単位円板上における内挙動解析関数の複素解析的構造に埋め込まれている。
• テイラー基底 {wₖ} は正規直交基底であり、(wₖ₁|wₖ₂) = δₖ₁,ₖ₂ および ‖wₖ‖ = 1 を満たす。これは内積の閉曲線積分による定義から導かれる。
• 内積 (w₁|w₂) = ∑ ρ₀²ᵏ c₁,k* c₂,k は、ρ₀ < 1 かつ係数 cₖ が指数的に有界であれば、指数的に速く収束する。
• 内挙動解析関数のノルムは ‖w‖² = ∑ ρ₀²ᵏ |cₖ|² で与えられ、ρ₀ < 1 では有限に保たれるが、ρ₀ → 1⁻ では発散する可能性がある。
• ρ₀ → 1⁻ の極限においても、内挙動解析関数と実関数との一対一対応が保たれ、ノルムや内積が発散しても、分布への拡張が可能になる。
• 実関数の特異点は、それらの複素解析的対応物を用いて分類される：ソフト特異点は可積分であり、境界上のハード特異点は1回の積分で可積分になり、非可積分のハード特異点は標準的なフーリエ理論から除外される。