線形代数II/関数空間 の履歴(No.6)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数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); 少し一般化して、 としても内積の公理を満たす。ただし はある決まった正の数列で、 個々の成分に付けられた重みに相当する。 |
標準内積: 少し一般化して、 としても良い。ただし、 は「重み関数」と呼ばれる。 |
正規・直交†
正規性: 直交: 正規直交: ベクトルの組 に対して |
正規性: 直交: 正規直交: 関数の組 に対して |
完全性・成分表示†
あるベクトルの組 が線形空間 を張るとは、 任意の を次の形に表せること。 |
ある関数系 が完全であるとは、 任意の関数 を次の形に表せること。 実際には の までの和を取るわけには行かないため、 この表示は のときに となることを意味する。 |
正規直交基底 により と分解するとき、 その 成分を として求められる。(あるいは ) すなわち、 |
正規直交関数形 により と分解するとき、 その の係数を として求められる。すなわち、 |
与えられた関数をこのように正規直交な完全関数系で展開することを、 「フーリエ式展開」と呼ぶ。
正規直交な完全関数系の例1:ルジャンドル(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)); |
これを続けると、一般に
の形が得られる。式中で として表わした部分がルジャンドル多項式と呼ばれる。
具体的な形は、
などとなる。