フェイェールの定理

フェイエールの定理

数学の分野で非常に重要な役割を果たす「フェイエールの定理」は、ハンガリーの数学者フェイェール・リポートの名に由来しています。この定理は、周期2πの連続関数に対するフーリエ級数の特性を明らかにしています。

定理の概要

具体的には、連続関数 f: R → C が周期2πで定義されているとき、そのフーリエ級数の部分和の列

$$s_n(x) = rac{1}{2 ext{π}} imes ext{Sum}_{k=-n}^{n} c_k e^{ikx}$$

に対して、チェザロ平均の列 $\sigma_n$ が [-π, π] 上で f に一様収束することが保証されています。このチェザロ平均 $\sigma_n$ は次のように定義されます：

$$egin{align} \\sigma_n(x) &= rac{1}{n} ext{Sum}_{k=0}^{n-1} s_k(x) \\ &= rac{1}{2 ext{π}} ext{∫}_{- ext{π}}^{ ext{π}} f(x - t) F_n(t) dt \\ \\end{align}$$

ここで、$F_n(t)$ は第 n 次のフェイェール核を示します。

フーリエ級数とチェザロ平均

フーリエ級数の元となる係数 $c_k$ は次のように表されます：

$$c_k = rac{1}{2 ext{π}} ext{∫}_{- ext{π}}^{ ext{π}} f(t) e^{-ikt} dt$$

この数学的な表現は、関数 f のフーリエ展開における重要な要素です。特に、f が [-π, π] の区間でどのように振る舞うかを考える際に、チェザロ平均の概念が用いられます。これにより、連続でない関数に対しても定理を適用可能です。このようにして、フーリエ級数は広範な関数に対しても有効であることが示されています。

より一般的な適用

フェイエールの定理は、連続でない関数や特殊な条件を持つものにも適用されます。たとえば、関数 f(x) が L1(-π, π) に属すと仮定した場合、f(x) の左極限および右極限が存在する必要があります。

$$ ext{σ}_n(x_0) o rac{1}{2} ig(f(x_0 + 0) + f(x_0 - 0) ig)$$

この関係式は、チェザロ平均が存在する場合、あるいは無限大へ発散する場合にも成り立ちます。そのため、実際の応用においてもこの定理は非常に便利です。特にリース・マルツェルの定理によると、フェイエールの定理の特性は、フーリエ級数の計算における異なる平均法が利用される場合にも成立することが示されています。

参考文献

• - Zygmund, Antoni (1968). Trigonometric series (2nd ed.). Cambridge University Press.

もう一度検索