線形代数II/関数空間 の履歴(No.12)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数II/関数空間 へ行く。
無限次元の線形空間†
これまで主に、有限個数のベクトルで張ることのできる、 有限次元の線形空間について学んできた。
線形空間にはこれ以外に、有限個のベクトルで張ることのできない 無限次元の線形空間が存在する。
中でも有用なのが以下で見る関数の線形空間である。
関数の線形空間 = 関数空間†
閉区間 ただし で定義された任意の複素関数を要素とする集合 は、 通常の和と定数倍に対して線形空間を為す。
すなわち、 のとき、
を として、
を として
定義すれば、 であり、 はこれらの演算に対して閉じている。
以下、数ベクトル空間と対比させながら関数空間について学んでいこう。
ベクトルの値†
のとき、 添字 に対して をプロットすれば、 「ベクトルのグラフ」を表示できる。 から への対応関係を1つ決めると、 それが1つのベクトルを決めることに相当する。 |
のとき、 変数 に対して をプロットすれば、 「関数のグラフ」を表示できる。 から への対応関係を1つ決めると、 それが1つの関数を決めることに相当する。 |
ただし本来、ベクトルや関数の値は複素数を想定しているので、 上記グラフはあくまで概念的な物である。
- ベクトルの和はグラフの重ね合わせに
- ベクトルの定数倍はグラフの上下方向の引き延ばしに
それぞれ対応する。
内積†
本授業で採用している内積の公理はかけ算の順番が一般的な物と異なるため注意せよ。
標準内積: &math((\bm a,\bm b)\equiv\bm a^\dagger\bm b =\sum_{k=1}^n \overline{a_k}b_k); 少し一般化して、 としても内積の公理を満たす。ただし はある決まった正の数列で、 個々の成分に付けられた重みに相当する。 |
標準内積: 少し一般化して、 としても良い。ただし、 は「重み関数」と呼ばれる。 |
正規・直交†
正規性: 直交: 正規直交: ベクトルの組 に対して |
正規性: 直交: 正規直交: 関数の組 に対して |
完全性・成分表示†
あるベクトルの組 が線形空間 を張るとは、 任意の を次の形に表せること。 |
ある関数系 が完全であるとは、 任意の関数 を次の形に表せること。 実際には の までの和を取るわけには行かないため、 この表示は のときに となることを意味する。 例えば、関数系 は、任意の無限回微分可能な関数を と表せることから、この空間において完全系をなす。 |
正規直交基底 により と分解するとき、 その 成分を として求められる。(あるいは ) すなわち、 |
正規直交関数系 により と分解するとき、 その の係数を として求められる。すなわち、 |
与えられた関数をこのように正規直交な完全関数系で展開することを、 「フーリエ式展開」と呼ぶ。
正規直交基底 に対するベクトル の表現を とすれば、 → 正規直交基底に対する内積の成分表示 を参照 |
パーセバルの等式: 正規直交関数系 が完全であることと、 任意の関数 に対して を求めた際に を満たすこととは同値となる。この等式はパーセバルの等式と呼ばれる。 例えば、 が完全系であるとき、 は恐らく完全系ではない。 このように関数系が不完全なときは、右辺の項数が不足する。 両方合わせると、任意の関数系 に対して が成り立つ。これをベッセルの不等式と呼ぶ。 |
正規直交な完全関数系の例†
授業で扱う範囲においては、
ルジャンドル(Legendre)多項式 は量子力学で、
実・複素フーリエ級数は 波動・電気回路・信号処理などの他にも幅広い分野で、
活用されることになる。
ルジャンドル(Legendre)多項式†
ルジャンドル多項式は、内積の積分範囲を に、また、重み関数 において をシュミットの直交化法を用いて直交化して得られる関数系である。 (厳密には係数分だけ異なるが)
と同様に無限回微分可能な関数を元とする関数空間に於いて完全系をなす。
1) |
2) &math(\bm f_1&=x-(\bm e_0,x)\bm e_0\\ &=x-\frac{1}{2}\int_{-1}^1dx\,x\\ &=x-\frac{1}{2}\Big[\frac{x^2}{2}\Big]_{-1}^1\\ &=x); |
3) &math(\bm f_2&=x^2-(\bm e_0,x^2)\bm e_0-(\bm e_1,x^2)\bm e_1\\ &=x^2-\frac{1}{2}\int_{-1}^1dx\,x^2-\frac{3}{2}\int_{-1}^1dx\,x^3\\ &=x^2-\frac{1}{2}\Big[\frac{x^3}{3}\Big]_{-1}^1-\frac{3}{2}\Big[\frac{x^4}{4}\Big]_{-1}^1\\ &=x^2-\frac{1}{3}); &math((\bm f_2,\bm f_2)&=\int_{-1}^1 dx\,\Big(x^4-\frac{2}{3}x^2+\frac{1}{9}\Big)\\ &=\Big[\frac{1}{5}x^5-\frac{2}{9}x^3+\frac{1}{9}x\Big]_{-1}^1\\ &=\frac{2}{5}-\frac{2}{9}=\frac{8}{45}); &math(\therefore \bm e_2&=\frac{1}{\|\bm f_2\|}\bm f_2\\ &=\sqrt{\frac{5}{2}}\cdot\sqrt{3}{2}(x^2-\frac{1}{3})\\ &=\sqrt{\frac{5}{2}}\cdot\frac{1}{2}(3x^2-1)); |
これを続けると、一般に
の形が得られる。式中で として表わした部分がルジャンドル多項式と呼ばれる。
具体的な形は、
などとなる。
実フーリエ級数展開†
区間 を定義域とする実関数空間に、 重み関数 = 1 として内積を導入するとき、
&math(\Big\{ a_0(x)&=\frac{1}{\sqrt{2\pi}}, \\ a_1(x)&=\frac{1}{\sqrt \pi}\cos x, b_1(x)=\frac{1}{\sqrt \pi}\sin x, \\ a_2(x)&=\frac{1}{\sqrt \pi}\cos 2x, b_2(x)=\frac{1}{\sqrt \pi}\sin 2x, \dots,\\ a_k(x)&=\frac{1}{\sqrt \pi}\cos kx, b_k(x)=\frac{1}{\sqrt \pi}\sin kx,\dots\Big\} );
は正規直交基底を為す。→ 正規直交性を確かめよ
と展開するとき、各係数は、
として与えられる。
微分不可能な点を持っているような関数を含む、 ルジャンドル多項式で表せる空間よりもさらに広い空間で完全系となる。
複素フーリエ級数展開†
区間 を定義域とする複素関数空間に、 重み関数 = 1 として内積を導入するとき、
&math(\Big\{ \phi_0(x)&=\frac{1}{\sqrt{2\pi}}, \\ \phi_1(x)&=\frac{1}{\sqrt {2\pi}}e^{ix}, \phi_{-1}(x)=\frac{1}{\sqrt {2\pi}}e^{-ix}, \\ \phi_2(x)&=\frac{1}{\sqrt {2\pi}}e^{2ix}, \phi_{-2}(x)=\frac{1}{\sqrt {2\pi}}e^{-2ix}, \dots,\\ \phi_k(x)&=\frac{1}{\sqrt {2\pi}}e^{kix}, \phi_{-k}(x)=\frac{1}{\sqrt {2\pi}}e^{-kix}, \dots\Big\} );
は正規直交基底を為す。→ 正規直交性を確かめよ
と展開するとき、各係数は、
として与えられる。
微分不可能な点を持っているような関数を含む、 ルジャンドル多項式で表せる空間よりもさらに広い空間で完全系となる。