[論文レビュー] Fourier Theory on the Complex Plane IV: Representability of Real Functions by their Fourier Coefficients

Jorge L. deLyra|arXiv (Cornell University)|Feb 5, 2015

Algebraic and Geometric Analysis被引用数 6

ひとこと要約

この論文は、複素平面におけるフーリエ理論を精緻化し、任意のルベーグ可積分な実関数が、そのフーリエ係数によって一意に表現可能であることを示している。これは、そのフーリエ級数がほとんど everywhere で発散する場合でも成り立つ。主な貢献は、係数の減衰に関する弱い条件—$|a_{k+1}/a_k| \leq g(k)$ かつ $\lim g(k) = 1$—が、単位円板内への解析接続によって表現可能性を保証することを示したことである。これは、先行研究における予想を証明するものである。

ABSTRACT

The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends the results obtained there to a wider class of real functions. The other two relate to a closer examination of the issue of the representability of real functions by their Fourier coefficients. As was shown in the previous paper, in many cases one can recover the real function from its Fourier coefficients even if the corresponding Fourier series diverges almost everywhere. In such cases we say that the real function is still representable by its Fourier coefficients. Here we establish a very weak condition on the Fourier coefficients that ensures the representability of the function by those coefficients. In addition to this, we show that any real function that is absolutely integrable can be recovered almost everywhere from, and hence is representable by, its Fourier coefficients, regardless of whether or not its Fourier series converges. Interestingly, this also provides proof for a conjecture proposed in the previous paper.

研究の動機と目的

• 実関数の表現可能性に要する収束仮定を弱めるという、先行するフーリエ理論的結果の拡張を目的とする。
• 実関数がフーリエ級数がほとんど everywhere で発散する場合でも、その関数が係数から回復可能であることを保証する最小条件を確立すること。
• すべての絶対可積分な実関数が、$[-\pi, \pi]$ 上で、級数の収束性にかかわらずそのフーリエ係数によって表現可能であることを証明すること。
• 先行論文における、最小限の仮定の下での表現可能性に関する予想を検証すること。

提案手法

• 連続するフーリエ係数の比に関する弱い仮定を導入する：$|a_{k+1}/a_k| \leq g(k)$ かつ $\lim_{k\to\infty} g(k) = 1$。これは収束しない列に対しても許容される。
• 実関数と開単位円板内における内挿的正則関数との対応関係を用い、フーリエ係数から複素正則構造を定義する。
• 特に単位円板内でのテイラー級数の収束性を応用し、複素解析的道具を用いて、実関数を単位円板内における正則関数の境界極限として再構成する。
• フーリエ基底の完全性を、複素平面におけるデルタ関数の恒等式を用いて示す。これは、フーリエ級数の点ごとの収束性とは独立である。
• 測度ゼロの集合の差に起因する関数を同一視するための零測度同値類を用い、フーリエ係数が保存する積分的性質に焦点を当てる。
• 二つの関数が同一の係数を持つならば、それらはほとんど everywhere で等しいことを示すことにより、表現の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 フーリエ級数がほとんど everywhere で発散する場合でも、実関数がそのフーリエ係数によって表現可能であることは保証できるか？
• RQ2 関数の表現可能性を保証するための、フーリエ係数の減衰に関する最小限の条件は何か？
• RQ3 絶対可積分な任意の実関数が、級数の収束性にかかわらずそのフーリエ係数から回復可能か？
• RQ4 係数比に指数的発散がない場合、単位円板内での正則性と表現可能性が保証されるか？

主な発見

• 任意のルベーグ可積分な実関数は、$[-\pi, \pi]$ 上で、そのフーリエ級数がほとんど everywhere で発散する場合でも、そのフーリエ係数によって表現可能である。
• 弱い係数比条件—$|a_{k+1}/a_k| \leq g(k)$ かつ $\lim g(k) = 1$—が、対応する複素べき級数が開単位円板内で収束することを保証する。
• 本論文は、フーリエ基底が、境界上の三角級数の収束性に依存しない形で、関数をほとんど everywhere に一意に表現可能であるという意味で完全であることを証明している。
• 本手法により、零測度同値類ごとに一意で滑らかな代表関数が定義され、これは単位円板内における正則関数の境界極限として与えられる。
• 結果として、先行研究における予想が確認された：係数による表現可能性には、フーリエ級数の収束性は必要ない。
• 同一のフーリエ係数を持つ二つの関数は、ほとんど everywhere で等しい。これは、係数が関数を零測度集合の差を除いて一意に決定することを示している。