[論文レビュー] Fourier Theory on the Complex Plane I: Conjugate Pairs of Fourier Series and Inner Analytic Functions

Jorge L. deLyra|arXiv (Cornell University)|Sep 1, 2014

Algebraic and Geometric Analysis参考文献 1被引用数 11

ひとこと要約

この論文は、実数直線上のフーリエ級数と複素平面における単位円板上の正則関数の間の対応関係を確立し、フーリエ係数がそのような関数のテイラー級数から生じることを示している。主な貢献は、フーリエ級数が発散する場合でさえも、正則関数の境界極限を分析することによって元の実関数を再構成する手法を提供することであり、収束の問題は複素解析の原理によって定式化される。

ABSTRACT

A correspondence between arbitrary Fourier series and certain analytic functions on the unit disk of the complex plane is established. The expression of the Fourier coefficients is derived from the structure of complex analysis. The orthogonality and completeness relations of the Fourier basis are derived in the same way. It is shown that the limiting function of any Fourier series is also the limit to the unit circle of an analytic function in the open unit disk. An alternative way to recover the original real functions from the Fourier coefficients, which works even when the Fourier series are divergent, is thus presented. The convergence issues are discussed up to a certain point. Other possible uses of the correspondence established are pointed out.

研究の動機と目的

• 任意のフーリエ級数と複素平面における開単位円板上の正則関数の間の厳密な対応関係を確立すること。
• 実変数の手法ではなく、複素解析を用いてフーリエ基底の直交性および完全性を導出すること。
• フーリエ級数が発散する場合でさえも、元の実関数をそのフーリエ係数から再構成する手法を提供すること。
• 関連する正則関数のテイラー級数の収束性に基づいて、フーリエ級数の収束を分析すること。
• 内挿正則関数の役割と、特にデルタ関数のような分布を含む場合の境界挙動を調査すること。

提案手法

• 複素べき級数の基本収束定理を用いて、関連する正則関数の収束領域を開単位円板上で定義する。
• 対応関係 $ c_k = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(\theta) e^{-ik\theta} d\theta $ を用いて、フーリエ係数を正則関数のテイラー係数に写像し、フーリエ級数を複素平面に埋め込む。
• 境界 $ |z|=1 $ における実部が余弦級数を回復し、虚部が正弦級数を回復するような、開単位円板上に定義された内挿正則関数 $ w(z) $ を構成する。
• ポisson核および調和拡張の技術を用いて、フーリエ級数が発散する場合でさえも、正則関数の境界値から元の関数を回復する。
• 特にデルタ関数のような分布を含む場合に、正則関数が単位円に近接するときの挙動を、関連する正則関数の極や特異点を分析することによって調べる。
• 正則関数の対数微分を用いて、関数の構造から導関数に類似した分布（例：方形波の導関数）を回復する。

実験結果

リサーチクエスチョン

• RQ1 フーリエ級数をどのようにして複素単位円板上の正則関数と系りつけることができるか？
• RQ2 関連する正則関数のテイラー級数の収束性を通じて、フーリエ級数の収束を理解できるか？
• RQ3 フーリエ級数が発散する場合でも、元の実関数をそのフーリエ係数から再構成することは可能か？
• RQ4 デルタ関数のような分布を単位円板の境界に表現する際、内挿正則関数が果たす役割は何か？
• RQ5 正則関数の境界における特異点は、フーリエ級数の収束挙動とどのように関係するか？

主な発見

• すべてのフーリエ級数は、そのテイラー係数がフーリエ係数と一致する開単位円板上の正則関数に対応する。
• 正則関数の実部が単位円上で極限をとる値は、級数が発散しても元の余弦級数を回復する。
• 正則関数の虚部は正弦級数をもたらし、両者を合わせて元の関数をほとんど everywhere に再構成する。
• デルタ関数分布に対しては、対応する正則関数が単純極を持ち、その実部と虚部は境界上で明確に定義された関数をもたらす。
• 関数 $ w_{2\delta}(z) = \frac{4}{\pi} \frac{z}{1 - z^2} $ は方形波の導関数に対応し、方形波の正則関数の対数微分と一致する。
• フーリエ級数が全単位円上で発散しても、正則関数は開円板上で正しく定義されたままであり、境界上の分布に関連するより深い構造が示唆される。