有限次元で座標を与える x_k = q_k^T v という同じ技が、関数空間では有名なフーリエ係数の公式 a_k = (1/π)∫ f(x)cos(kx) dx を生み出すのはなぜでしょうか。
日本語版の動画は準備中です(英語版を表示しています)
読み込み中…
内積としての係数
と展開し、 との内積をとって と を使い、 を読み取りましょう。
行列の形
同じ連立方程式を、正規直交なベクトルを列にもつ の形に書き、正方行列 では となることを述べて、第一成分を と照らし合わせましょう。
フーリエ基底の関数の直交性
関数の内積 を定義し、基底 の確認として を計算しましょう。
のフーリエ係数の公式
級数に を掛けて から まで積分し、 を使って を導きましょう。