フーリエ積分

フーリエ級数の周期を無限大にすることにより得られる以下の式

$f (x) = \int_{0}^{\infty} \{G (ω) \cos ω x + H (ω) \sin ω x\} d ω$

$\frac{1}{π} \int_{- \infty}^{\infty} f (v) \cos ω v d v = G (ω)$

$\frac{1}{π} \int_{- \infty}^{\infty} f (v) \sin ω v d v = H (ω)$

をフーリエ積分による $f (x)$ の表示という．

■導出

後の積分の計算で混乱を避けるために式フーリエ係数の積分変数を $x$ から $v$ に変更する．定積分の積分変数が変わっても定積分の値は変わらない．

$a_{0} = \frac{1}{2 l} \int_{- l}^{l} f (x) d x = \frac{1}{2 l} \int_{- l}^{l} f (v) d v$ 　･･････(1)

$a_{n} = \frac{1}{l} \int_{- l}^{l} f (x) \cos \frac{n π}{l} x d x$ $= \frac{1}{l} \int_{- l}^{l} f (v) \cos ω_{n} v d v$ 　･･････(2)

$b_{n} = \frac{1}{l} \int_{- l}^{l} f (x) \sin \frac{n π}{l} x d x$ $= \frac{1}{l} \int_{- l}^{l} f (v) \sin ω_{n} v d v$ 　･･････(3)

( $\frac{n π}{l} = ω_{n}$ とおいている)

$n = 1, 2, 3, \cdot \cdot \cdot$ なので， $ω_{1} = \frac{π}{l}$ ， $ω_{2} = \frac{2 π}{l}$ ， $ω_{3} = \frac{3 π}{l}$ ，･･･のようになり， $ω_{n}$ は初項 $ω_{1} = \frac{π}{l}$ ，公差 $Δ ω = \frac{π}{l}$ の等差数列の第 $n$ 項と考えることができる．

周期 $2 l$ の周期関数を $f_{l} (x)$ で表すことにする． $f_{l} (x)$ のフーリエ級数は

$f_{l} (x) \sim a_{0} + \sum_{n = 1}^{\infty} (a_{n} \cos \frac{n π}{l} x + b_{n} \sin \frac{n π}{l} x)$ 　･･････(4)

となる．(4)に(1)，(2)，(3)を代入すると

$f_{l} (x) \sim \frac{1}{2 l} \int_{- l}^{l} f (v) d v$ $+ \sum_{n = 1}^{\infty} \{(\frac{1}{l} \int_{- l}^{l} f (v) \cos ω_{n} v d v) \cos ω_{n} x + (\frac{1}{l} \int_{- l}^{l} f (v) \sin ω_{n} v d v) \sin ω_{n} x\}$ 　･･････(5)

となる． $Δ ω = \frac{π}{l}$ より $\frac{1}{l} = \frac{Δ ω}{π}$ となり，これを(5)に代入すると

$f_{l} (x) \sim \frac{Δ ω}{2 π} \int_{- l}^{l} f (v) d v$ $+ \sum_{n = 1}^{\infty} \{(\frac{Δ ω}{π} \int_{- l}^{l} f (v) \cos ω_{n} v d v) \cos ω_{n} x + (\frac{Δ ω}{π} \int_{- l}^{l} f (v) \sin ω_{n} v d v) \sin ω_{n} x\}$

$f_{l} (x) \sim (\frac{1}{2 π} \int_{- l}^{l} f (v) d v) Δ ω$ $+ \sum_{n = 1}^{\infty} \frac{1}{π} \{(\int_{- l}^{l} f (v) \cos ω_{n} v d v) \cos ω_{n} x + (\int_{- l}^{l} f (v) \sin ω_{n} v d v) \sin ω_{n} x\} Δ ω$ 　･･････(6)

ここで， $l \to \infty$ にすると，フーリエ級数がどうなるか検討する．

$\lim_{l \to \infty} f_{l} (x) \sim \lim_{l \to \infty} [(\frac{1}{2 π} \int_{- l}^{l} f (v) d v) Δ ω$ $+ \sum_{n = 1}^{\infty} \frac{1}{π} \{(\int_{- l}^{l} f (v) \cos ω_{n} v d v) \cos ω_{n} x + (\int_{- l}^{l} f (v) \sin ω_{n} v d v) \sin ω_{n} x\} Δ ω]$ 　･･････(7)

まず，(7)の右辺の第１項の

$\lim_{l \to \infty} (\frac{1}{2 π} \int_{- l}^{l} f (v) d v) Δ ω$

の値について考える．

$l \to \infty$ のとき， $Δ ω = \frac{π}{l}$ より， $Δ ω \to 0$ となる．

今回取り扱う関数 $f (x)$ は， $|\lim_{l \to \infty} \frac{1}{2 π} \int_{- l}^{l} f (v) d v|$ が有限の値をもつとする．この場合

$\lim_{l \to \infty} (\frac{1}{2 π} \int_{- l}^{l} f (v) d v) Δ ω = 0$

となる．

次に，(7)の右辺の第2項の

$\lim_{l \to \infty} \sum_{n = 1}^{\infty} \frac{1}{π} \{(\int_{- l}^{l} f (v) \cos ω_{n} v d v) \cos ω_{n} x + (\int_{- l}^{l} f (v) \sin ω_{n} v d v) \sin ω_{n} x\} Δ ω$ 　･･････(8)

を，定積分の定義式

$\lim_{n \to \infty} \sum_{i = 1}^{n} f (c_{i}) Δ x = \int_{a}^{b} f (x) d x$ 　･･････(9)

ただし， $Δ x = \frac{b - a}{n}$ ， $a + (i - 1) Δ x ≦ c_{i} ≦ a + i Δ x$

と対比することにより，定積分の式に変換することを考える．

(9)の $n \to \infty$ の操作は， $n \to \infty$ のとき $Δ x \to 0$ となり，微小要素 $f (x) Δ x$ の数を無限大にするための操作である．また， $n \to \infty$ のとき， $c_{1} \to a$ ， $c_{n} \to b$ となる．(8)において定積分の定義式(9)の

$c_{i}$ に対応するのは $ω_{n}$ ，

$Δ x$ に対応するのは $Δ ω$ ，

$n \to \infty$ ( $Δ x \to 0$ の操作)に対応するのは， $l \to \infty$ ( $Δ ω \to 0$ の操作)，

$a$ に対応するのは $ω_{1}$ で， $l \to \infty$ のとき $ω_{1} \to 0$ ，

$b$ に対応するのは $ω_{n} = n Δ ω$ であり， $l \to \infty$ によって $Δ ω \to 0$ とするとともに， $n \to \infty$ として $ω_{n} = n Δ ω \to \infty$ ，

である．以上の対応関係より(8)式は

$\lim_{l \to \infty} \sum_{n = 1}^{\infty} \frac{1}{π} \{(\int_{- l}^{l} f (v) \cos ω_{n} v d v) \cos ω_{n} x + (\int_{- l}^{l} f (v) \sin ω_{n} v d v) \sin ω_{n} x\} Δ ω$

$= \int_{0}^{\infty} \frac{1}{π} \{(\int_{- \infty}^{\infty} f (v) \cos ω v d v) \cos ω x + (\int_{- \infty}^{\infty} f (v) \sin ω v d v) \sin ω x\} d ω$ 　･･････(10)

と，積分変数 $ω$ の定積分に変換できる．

$\lim_{l \to \infty} f_{l} (x) = f (x)$

$\frac{1}{π} \int_{- \infty}^{\infty} f (v) \cos ω v d v = G (ω)$

$\frac{1}{π} \int_{- \infty}^{\infty} f (v) \sin ω v d v = H (ω)$

とおくと(7)は

$f (x) = \int_{0}^{\infty} \{G (ω) \cos ω x + H (ω) \sin ω x\} d ω$

となる．

ホーム>>カテゴリー分類>>数列>>級数展開>>フーリエ積分

最終更新日： 2026年8月12日