[論文レビュー] Fourier Theory on the Complex Plane III: Low-Pass Filters, Singularity Splitting and Infinite-Order Filters

Jorge L. deLyra|arXiv (Cornell University)|Nov 24, 2014

Algebraic and Geometric Analysis参考文献 2被引用数 3

ひとこと要約

本稿は、フーリエ解析におけるローパスフィルタを理解するための複素平面フレームワークを提示する。1次フィルタは『特異点の分裂』を実行する——単一の単位円上の特異点が、2つのより穏やかな特異点に置き換えられる——これにより、定符号フーリエ級数の収束性が向上する。高次および無限次フィルタは反復によって構築され、$C^{\frown{\text{infty}}}$関数が得られ、そのフーリエ級数は絶対的かつ一様収束する。

ABSTRACT

When Fourier series are employed to solve partial differential equations, low-pass filters can be used to regularize divergent series that may appear. In this paper we show that the linear low-pass filters defined in a previous paper can be interpreted in terms of the correspondence between Fourier Conjugate (FC) pairs of Definite Parity (DP) Fourier series and inner analytic functions, which was established in earlier papers. The action of the first-order linear low-pass filter corresponds to an operation in the complex plane that we refer to as "singularity splitting", in which any given singularity of an inner analytic function on the unit circle is replaced by two softer singularities on that same circle, thus leading to corresponding DP Fourier series with better convergence characteristics. Higher-order linear low-pass filters can be easily defined within the unit disk of the complex plane, in terms of the first-order one. The construction of infinite-order filters, which always result in $C^{\infty}$ real functions over the unit circle, and in corresponding DP Fourier series which are absolutely and uniformly convergent to these functions, is presented and discussed.

研究の動機と目的

• 単位円板上の内挙動関数の文脈において、線形ローパスフィルタを解釈すること。
• 偏微分方程式の解において生じる発散する定符号（DP）フーリエ級数の収束問題を扱うこと。
• 特異点の操作を用いて、高次および無限次フィルタの幾何学的・解析的枠組みを構築すること。
• 無限次フィルタが、単位円上で絶対的かつ一様収束するDPフーリエ級数に収束する$C^{\frown{\text{infty}}}$実関数を生成することを示すこと。

提案手法

• DPフーリエ級数のフーリエ共役（FC）ペアと開単位円板内における内挙動関数との対応関係を用いる。
• コンvolutionを用いて、コンpactな台を持ち、単位積分を持つ矩形カーネル $K_{\theta}^{(1)}$ を用いて1次ローパスフィルタを定義する。
• 1次フィルタを反復的に適用することで高次フィルタを構築し、微分可能性が向上する滑らかなカーネルが得られるようにする。
• 高次フィルタの極限として無限次フィルタを導出し、単位円上に稠密な特異点を持つ$C^{\frown{\text{infty}}}$カーネルが得られることを示す。
• 高次導関数が消える点におけるテイラー級数の収束性を検討することで、カーネル関数の解析性を分析する。
• 高次導関数が消える点において、収束するテイラー級数で表現できないため、カーネルはその台区間のいかなる点に対しても解析的でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 1次ローパスフィルタは、内挙動関数を用いた複素平面における幾何的解釈はどのように可能か？
• RQ2 特異点の分裂が、なぜ定符号フーリエ級数の収束性を向上させるのか、そのメカニズムは何か？
• RQ3 高次フィルタは、単位円板フレームワーク内でどのように体系的に構築可能か？
• RQ4 無限次フィルタカーネルの解析的性質は何か？また、複素平面に標準的な解析接続で拡張可能か？
• RQ5 無限次カーネルは$C^{\frown{\text{infty}}}$であるにもかかわらず、なぜ解析的でないのか？

主な発見

• 1次ローパスフィルタは『特異点の分裂』に対応する——単位円上の1つの特異点が、2つのより穏やかな特異点に置き換えられ、級数の収束性が向上する。
• 高次フィルタは1次フィルタの反復的適用によって構築され、微分可能性が向上し、より多くの点で高次導関数が消えるカーネルが得られる。
• 無限次フィルタカーネルは$C^{\frown{\text{infty}}}$であり、すべての$n$次以上の導関数が消える点が$2^n + 1$個存在するが、$n \to \infty$のときこの集合は稠密になる。
• 無限次カーネルは、その台区間のいかなる点に対しても、収束するテイラー級数で表現できないため、解析的でない。
• 単位円上に稠密な非解析的点の集合があるため、標準的な解析接続によって複素平面への解析的拡張は不可能である。
• 無限次フィルタに対応するDPフーリエ級数は、単位円上で$C^{\frown{\text{infty}}}$実関数に絶対的かつ一様収束する。