変数変換と周辺化

指数分布とコーシー分布の計算 など参照

確率密度関数の変数変換は，微分同相に限って定義されている。
変数変換で計算しておいて，周辺化によって潰すテクニックを使えば，必要なものだけ取り出すことができる。

基本的な考え方と公式

このとき，

考え方

 の極限をとる（グラフの面積を考える）。
左辺：

右辺：

 は区分的に単調であれば，逆像の数だけ和を考えることで対応できる。

Ex. X+Yの密度関数を求める方法

1. X~f(x), Y~g(y) (f,g 密度関数)
1' X,Y 独立とする。→ 結合密度 h(x,y)=f(x)g(y)

2. u = x+y の密度関数 k を求めたい。
2' ダミー変換 v=y を導入して，変数変換φと捉える。
  
   φは正則行列だから微分同相になっていることに注意する。そうなるようにダミーを導入した。

3. u,v の結合密度 k(u,v) を求める。
3' 次の変換公式に従う。
    結合分布をu,vで引き戻して，ヤコビアンをかける。
3.1 
3.2 ∴ 

4. 不要なダミー変数 v を周辺化によって潰す。得られた周辺分布が求めるものである。

ΣXn への拡張
 とおいて u1 以外を周辺化すればよい。

このとき逆変換行列は次で与えられる。

密度関数の変数変換

重積分（微分形式）の変数変換
 diffeo. に対し，

密度関数の変数変換
Mの開集合Uとして，以下が成り立つ（重積分の変数変換）。

両辺は確率P(U)を表していることに注意すると，右辺は次のように書けなければならない。

従って密度関数の変数変換として以下を得る。

ヤコビアンが一見吊り合わないような印象を与えるのは，
本来，ヤコビアンは密度関数ではなく微分形式のほうに付随するものだからである。