多変数のガウス積分
更新
1次元のガウス積分の一般化です。多変数の正規分布にまつわる積分です。一次元の場合と比較しつつ,どのように拡張されるのか理解しましょう。
大学数学で重要となる概念のオンパレードです!
- 二次関数を行列,ベクトルで表す(二次形式)
- 正定値行列,行列の平方根
- 多変数の置換積分(ヤコビアン)
二次関数の行列表示
二次関数の行列表示
目標は指数の中身が多変数の二次関数であるような積分の計算です。
多変数( 変数)の二次関数は一般的に,
と表せます。
シグマが入り乱れていて煩雑なので,行列とベクトルを用いて表します:
は の対称行列, は 次元ベクトルです。 は定数項です(積分の計算方法には影響しないので今回は とします)。
ここで,ガウス積分が発散しないための必要十分条件として「 が正定値である」ことが課せられます。そのため が定義できます。
また,左辺は から まで全ての変数()で積分します。
ガウス積分の準備:平方完成
ガウス積分の準備:平方完成
一次元の場合の二次関数が平方完成できたのと同様に,多変数の場合も平方完成できます:
ちなみに1変数の場合は です。
多変数のガウス積分
多変数のガウス積分
それでは,冒頭の公式(多変数のガウス積分)を証明します。
置換積分を用います。多変数の場合の置換積分なので,ヤコビアンが必要になります。
ヤコビアンについては 重積分の変数変換とヤコビアン を見てください。
ただし, と置換し,ヤコビアンが であることを用いた。
よって,一次元のガウス積分に帰着される:
高校数学の考え方が自然に拡張されるのが美しいです。