フェイェール核

フェイェール核の概要

フェイェール核（Fejér kernel）は、フーリエ級数に関連する数学の概念であり、特にチェザロ和を閉じた形式で表現するために用いられます。この核は、リポート・フェイェールというハンガリーの数学者に名付けられたもので、彼の業績によって明らかになった重要な性質を持っています。フェイェール核は、非負の積分核から構成される列であり、これを使用することで近似単位元を得ることができます。

フェイェール核の定義

n-番目のフェイェール核は、次のように定義されます。

$$F_n(x) = rac{1}{n} extstyle ext{∑}_{k=0}^{n-1} D_k(x)$$

ここで$D_k(x)$はk-番目のディリクレ核であり、以下のように表現されます。

$$D_k(x) = extstyle ext{∑}_{s=-k}^{k} e^{isx}$$

このディリクレ核自体も、ある閉じた形で表現することができます。それは次のようになります。

$$F_n(x) = rac{1}{n}igg(rac{ ext{sin}(rac{n x}{2})}{ ext{sin}(rac{x}{2})}igg)^2$$

この式が意味を持つ範囲において、フェイェール核は適切に定義されます。

フェイェール核の性質

フェイェール核の最も重要な特性の一つは、その正値性です。具体的には、$F_n$は函数として常に非負の値を取ります。これに加えて、畳み込み作用素としての性質も重要であり、周期$2 ext{π}$の正値関数$f hickspace (f ext{≥} 0)$に対して次のような不等式が成り立ちます。

$$0 ext{≤} (f F_n)(x) = rac{1}{2 ext{π}} ext{∫}_{- ext{π}}^{ ext{π}} f(y) F_n(x-y) ext{d}y$$

この結果は、フェイェール核が近似単位元として働くことを示しています。すなわち、次のような収束が成立します。

$$f F_n o f$$

ここで、$f$は連続関数または$L^p([- ext{π}, ext{π}])$に属する任意の関数とします。また以上の性質から、ヤングの不等式を利用することで次のような評価が得られます。

$$igg\|F_n * f \bigg\ ext{L}^p([- ext{π}, ext{π}]) ext{≤} \|f\|_{L^p([- ext{π}, ext{π}])}$$

この評価は、$f$が連続関数の場合にも成り立ち、実際に$f$が連続であるときは、収束が一様であることが確認できます。

関連項目

フェイェール核は多くの数学的理論の基礎として役立っており、関連するトピックには以下のようなものがあります。

• - フェイェールの定理
• - ディリクレ核
• - ギブズ現象
• - シャルル・ジャン・ド・ラ・ヴァレ＝プサン

などが挙げられます。これらのテーマを探求することで、フェイェール核の数学的な意義をさらに深く理解することができるでしょう。また、参考文献を用いることで、より高度な理解が促進されます。

もう一度検索