ディリクレ核の定義と幾つかの性質
| 目次 | |
|---|---|
| - | ディリクレ核の定義 |
| - | コサインの和 |
| - | 指数関数の和 |
| - | 周期が $2 \pi$ |
| - | 偶関数 |
| - | フーリエ級数との関係 |
| - | ディリクレ核の積分 |
ディリクレ核の定義
次の関数
$n=10$ の場合のディリクレ核
ディリクレ核はコサインの和による表現
ディリクレ核は
証明
三角関数の加法定理より、
であるので、
である。
これより、
である。
$m=1$ から $m=n$ までを順番に並べると、
となることから分かるように、
全てを足し合わせると、殆どの項がキャンセルし、
となる。
したがって、
ディリクレ核の定義から、
が成り立つ。
三角関数の加法定理より、
ディリクレ核の指数関数による表現
ディリクレ核
.
周期が $2 \pi$
ディリクレ核の周期は $2 \pi$ である。
偶関数
ディリクレ核は偶関数である。
フーリエ級数との関係
積分可能な関数 $f$ によって、フーリエ係数
補足
数列 $S_{n}$ の $n \rightarrow \infty$ の極限
をフーリエ級数という。
フーリエ級数が関数 $f(x)$ に等しいとき、 すなわち、 数列 $S_{n}$ の収束先が $f(x)$ になるとき、
と表し、右辺を $f(x)$ のフーリエ展開と呼ぶ。
数列 $S_{n}$ の $n \rightarrow \infty$ の極限
フーリエ級数が関数 $f(x)$ に等しいとき、 すなわち、 数列 $S_{n}$ の収束先が $f(x)$ になるとき、
ディリクレ核の積分
ディリクレ核の積分は、
