三角関数の積の積分と直交性

「三角関数の積の積分」で重要なのは定積分ですが，とりあえず不定積分をやってみます。

三角関数の積和公式については，積和公式の導出と覚え方を参考にしてください。丸覚えしてもよいですが，すぐに導出できるようになっておきましょう。

ちなみに「三角関数の3つ以上の積」も繰り返し積和公式を使えば最終的に三角関数の和に直せるので積分できます。（計算が複雑なので問題として見たことはありませんが）

三角関数の積の積分の中でも，区間幅 $2\pi$ の定積分が非常に重要です。

積分区間が $0$ から $2\pi$ となっていますが，$-\pi$ から $\pi$ などとしても同じ公式が成り立ちます。（積分区間幅が $2\pi$ ならなんでもよい。）

$4$ つ別々に公式として覚えるのではなくて 「異なる三角関数の積を一周期にわたって積分すると $0$ になる」と覚えるとよいです。

上記の公式は「異なる三角関数は直交する」ことを表しています。

もう少し詳しく説明します。

関数 $f,g$ に対して $$(f,g) = \int_0^{2\pi} f(x) g(x) dx$$ と定義しましょう。

実はこの「積」はベクトルの内積と同じような性質を持ちます。

例えば $(f_1 + f_2 , g) = (f_1,g) + (f_2,g)$ が成立します。

そして，この「内積」が $0$ になるような2つの関数を「直交する」と定義します。すると，

$$\int_0^{2\pi} \sin nx \cos mx dx = 0$$ という式は，$\sin nx$ と $\cos mx$ が直交していることを表します。

さて，任意の平面ベクトルは直交する2ベクトル $(1,0),(0,1)$ の和の形で表されます。

これのアナロジーから，任意の（性質の良い）関数が $\{ \sin x,\sin 2x,\cdots, \cos x,\cos 2x,\cdots \}$ の和によって表されないか？と期待できます。

このように，関数は成分の数が無限個あるベクトルとみなせるのです！

この事実は大学で学ぶフーリエ級数展開の基礎となっています。詳しくは フーリエ級数展開の公式と意味 を読んでみてください。

Tag:積分公式一覧