応用数学 第9回 (2) 三角関数のなす直交関数系
周期関数
三角関数の顕著な性質は、
周期をもつ、ということです。
Def.1 関数 f(x) が周期 2π を持つ、とは、全ての x について
f(x+2π)=f(x)
が成り立つこと。
周期関数を全体として眺めると
Th.2 (1) 周期
2π を持つ連続関数の集合
V はベクトル空間を成す。
- V には
⟨f,g⟩=∫π−πfgdx
によって内積を定義できる。
証明
(1) は
- (f+g)(x+2π)=f(x+2π)+g(x+2π)=f(x)+g(x)=(f+g)(x),
- (cf)(x+2π)=cf(x+2π)=cf(x)=(cf)(x)
より。
(2) は内積の条件：双線形性、正値性、非退化、対称性を確かめます。
双線形性 とは
- ⟨f,g+h⟩=⟨f,g⟩+⟨f,h⟩
- ⟨f+g,h⟩=⟨f,h⟩+⟨g,h⟩
- ⟨cf,g⟩=⟨f,cg⟩=c⟨f,g⟩
が成り立つことですが、これは積分の双線形性から従います。
正値性 は
⟨f,f⟩=∫π−πf(x)2dx≧0 より。
非退化 ⟨f,f⟩=0 であれば関数として
f(x)2=0 すなわち
f(x)=0 となります。
対称性 ⟨f,g⟩=⟨g,f⟩ は定義から直ちに従います。(証明終)
Rem.3 内積が定義できると「大きさ」や「角度」を定義することができるのは普通のベクトルと同様です：
|f|=√⟨f,f⟩,
cosθ=⟨f,g⟩|f|×|g|
三角関数のなす直交関数系
さて、次の関数系を考えましょう:
S={1,cos(x),cos(2x),cos(3x),⋯ sin(x),sin(2x),sin(3x),⋯ }
(
1 だけ不揃いに見えますが
1=cos(0x) も三角関数のひとつです。)
Th.4 (1)
S に属する関数たちは全て周期
2π を持つ ( すなわち
V の要素である )。
- S に属する関数たちは、内積 ⟨ , ⟩ に関して互いに直交している：
また、
- ⟨1,1⟩=2π
- ⟨cos(nx),cos(nx)⟩=⟨sin(nx),sin(nx)⟩=π ∀n≧1
(2) の意味で
S を 「直交関数系」と言います。
証明 (2) は積和の公式を使って
⟨cos(mx),sin(nx)⟩=∫π−πcos(mx)sin(nx)dx=∫π−π12(sin((m+n)x)−sin((m−n)x))dx=0
のように示せます。(証明終)
S の三角関数たちは互いに直交していますので、
V の中に無限個の直交軸を作っている、
と考えることができます。そこで、
周期 2π を持つ連続関数はこの三角関数たちの無限和で書けるのではないか
と考えた人たちがいた訳です。