logo

完全正規直交基底と完全正規直交集合 📂ルベーグ空間

完全正規直交基底と完全正規直交集合

定理：正規直交集合が持つ同値条件

{ϕn}1∞\left\{ \phi_{n} \right\}_{1}^\inftyがL2(a,b)L^2(a,b)の正規直交集合であり、f∈L2(a,b)f \in L^2(a,b)とする。すると、以下の条件はすべて同値である。

  • (a)(a)すべてのnnに対して⟨f,ϕn⟩=0\left\langle f, \phi_{n} \right\rangle=0ならば、f=0f=0である。

  • (b)(b)すべてのf∈L2(a,b)f\in L^2(a,b)に対して、級数∑1∞⟨f,ϕn⟩ϕn\sum_{1}^\infty \left\langle f,\phi_{n}\right\rangle\phi_{n}がffにノルムセンスで収束する。つまり、以下の式が成り立つ。

    f=∑1∞⟨f,ϕn⟩ϕn f=\sum_{1}^\infty \left\langle f,\phi_{n}\right\rangle\phi_{n}

  • (c)(c)すべてのf∈L2(a,b)f \in L^2(a,b)に対して、パーセバルの方程式と呼ばれる以下のような式を満たす。

    ∥f∥2=∑n=1∞∣⟨f,ϕn⟩∣2 \| f \|^2 = \sum \limits_{n=1}^{\infty} \left| \left\langle f,\phi_{n} \right\rangle \right|^{2}

説明

(a)−(c)(a) - (c)を満たす正規直交集合を正規直交基底または完全正規直交集合と呼ぶ。

これらの三条件をよく見ると、正規直交基底は有限次元のベクター空間で基底と同じ役割を果たすことがわかる。

  • {ϕn}\left\{ \phi_{n} \right\}が正規直交基底のとき、定数⟨f,ϕn⟩\left\langle f, \phi_{n}\right\rangleを（一般化された）フーリエ係数と呼ぶ。

  • 級数∑⟨f,ϕn⟩ϕn\sum \left\langle f, \phi_{n}\right\rangle\phi_{n}を（一般化された）フーリエ級数と呼ぶ。

補助定理

f∈L2(a,b)f \in L^2(a,b)であり、{ϕn}\left\{ \phi_{n} \right\}がL2(a,b)L^2(a,b)で正規直交集合であるとする。すると級数∑⟨f,ϕn⟩ϕn\sum \left\langle f,\phi_{n} \right\rangle\phi_{n}はノルムセンスで収束する。そして、次のような不等式を満たす。

∥∑⟨f,ϕn⟩ϕn∥≤∣f∣ \left\| \sum \left\langle f,\phi_{n}\right\rangle \phi_{n} \right\| \le | f|

証明

  • (a)  ⟹  (b)(a) \implies (b)

    (a)(a)とする。すると補助定理によって∑⟨f,ϕn⟩ϕn\sum \left\langle f, \phi_{n} \right\rangle\phi_{n}はノルムセンスで収束する。級数の差をggと定義する。

    g=f−∑n=1∞⟨f,ϕn⟩ϕn g=f-\sum \limits_{n=1}^{\infty} \left\langle f, \phi_{n} \right\rangle\phi_{n}

    すると、g=0g=0を示すことができる。

    ⟨g,ϕm⟩= ⟨f,ϕm⟩−∑n=1∞⟨f,ϕn⟩⟨ϕn,ϕm⟩= ⟨f,ϕm⟩−⟨f,ϕm⟩= 0 \begin{align*} \left\langle g,\phi_{m} \right\rangle &=\ \left\langle f,\phi_{m}\right\rangle - \sum \limits_{n=1}^{\infty}\left\langle f,\phi_{n} \right\rangle \left\langle \phi_{n}, \phi_{m} \right\rangle \\ &=\ \left\langle f,\phi_{m}\right\rangle - \left\langle f,\phi_{m}\right\rangle \\ &=\ 0 \end{align*}

    したがって、仮定によりg=0g=0である。ゆえに、f=∑n=1∞⟨f,ϕn⟩ϕnf= \sum_{n=1}^\infty \left\langle f, \phi_{n} \right\rangle\phi_{n}

■

  • (b)  ⟹  (c)(b) \implies (c)

    (b)(b)とする。すると、f=∑1∞⟨f,ϕn⟩ϕnf=\sum_{1}^\infty \left\langle f, \phi_{n}\right\rangle\phi_{n}なので

    ∥f∥2= ∥∑n=1∞⟨f,ϕn⟩ϕn∥2=∥lim⁡N→∞∑n=1N⟨f,ϕn⟩ϕn∥2=lim⁡N→∞∥∑n=1N⟨f,ϕn⟩ϕn∥2=lim⁡N→∞∑n=1N∣⟨f,ϕn⟩∣2=∑n=1∞∣⟨f,ϕn⟩∣2 \begin{align*} \| f \|^2 &=\ \left\| \sum \limits_{n=1}^{\infty} \left\langle f, \phi_{n} \right\rangle \phi_{n} \right\| ^2 \\ &= \left\| \lim \limits_{N \rightarrow \infty} \sum \limits_{n=1} ^{N} \left\langle f, \phi_{n} \right\rangle\phi_{n} \right\| ^2 \\ &= \lim \limits_{N \rightarrow \infty} \left\| \sum \limits_{n=1} ^{N} \left\langle f, \phi_{n} \right\rangle\phi_{n} \right\| ^ 2 \\ &= \lim \limits_{N \rightarrow \infty} \sum _{n=1}^{N} | \left\langle f,\phi_{n} \right\rangle |^2 \\ &= \sum \limits _{n=1} ^{\infty} | \left\langle f, \phi_{n} \right\rangle |^2 \end{align*}

三番目の等式は、仮定により級数がノルムセンスで収束するから成り立つ。四番目の等式はピタゴラスの定理により成り立つ。

■

  • (c)  ⟹  (a)(c) \implies (a)

    (c)(c)とする。すると、

    ∥f∥2=∑n=1∞∣⟨f,ϕn⟩∣2 \| f \|^2 =\sum \limits _{n=1} ^{\infty}\left| \left\langle f,\phi_{n} \right\rangle \right|^{2}

    したがって、すべてのnnに対して⟨f,ϕn⟩=0\left\langle f, \phi_{n} \right\rangle=0ならば、f=0f=0であることが示される。

■