はじめに
「連続型分布の確率密度関数、多すぎて覚えられない……」
1級の範囲に並ぶ連続型分布は10種類です。指数、ワイブル、ガンマ、ベータ、コーシーと、式の形はばらばらに見えます。期待値も分散も全部暗記するとなると、気が遠くなりますよね。
例えば、料理のソースを考えてみましょう。洋食のソースは無数にありますが、料理人が全部を別々に覚えているわけではありません。基本のソースをいくつか作れれば、残りはそこに材料を足した変化形です。
実は、連続型分布も同じです。分布の多くは、一様分布や指数分布の変数変換で作れます。そして、定数やモーメントの計算は、ほとんどがガンマ関数とベータ関数の2つの積分に帰着します。式を暗記しなくても、その場で導けるのです。
そこで登場するのが、今回の主役 核(カーネル)を見抜く という考え方です。確率密度関数の定数を除いた「顔つき」を見て、積分を計算せずに答えを出す技です。
前回の記事では、離散型分布を3つの技で導き直しました。今回の記事では、累積分布関数から作る分布、ガンマ分布とベータ分布、正規分布と対数正規分布、そして多変量正規分布について解説します。
変換で作る分布:一様分布からワイブル分布まで
はじめに、累積分布関数が簡単な式で書ける分布について解説します。
( 0 , 1 ) (0, 1) ( 0 , 1 ) の 一様分布 は、期待値 1 / 2 1/2 1/2 、分散 1 / 12 1/12 1/12 です。変数変換の記事で見たように、U U U がこの分布に従うとき、X = F − 1 ( U ) X = F^{-1}(U) X = F − 1 ( U ) は累積分布関数 F F F の分布に従います。つまり、一様分布は基本のソースです。
【一様分布から作る4つの分布】
分布 累積分布関数または生存関数 U U U からの作り方指数分布 S ( x ) = e − λ x S(x) = e^{-\lambda x} S ( x ) = e − λ x − log ( 1 − U ) / λ -\log(1 - U)/\lambda − log ( 1 − U ) / λ ワイブル分布 S ( x ) = e − ( x / η ) m S(x) = e^{-(x/\eta)^m} S ( x ) = e − ( x / η ) m η { − log ( 1 − U ) } 1 / m \eta\{-\log(1 - U)\}^{1/m} η { − log ( 1 − U ) } 1/ m ロジスティック分布 F ( x ) = 1 / ( 1 + e − ( x − μ ) / s ) F(x) = 1/(1 + e^{-(x-\mu)/s}) F ( x ) = 1/ ( 1 + e − ( x − μ ) / s ) μ + s log ( U / ( 1 − U ) ) \mu + s\log(U/(1 - U)) μ + s log ( U / ( 1 − U )) コーシー分布 F ( x ) = 1 / 2 + ( arctan x ) / π F(x) = 1/2 + (\arctan x)/\pi F ( x ) = 1/2 + ( arctan x ) / π tan ( π ( U − 1 / 2 ) ) \tan(\pi(U - 1/2)) tan ( π ( U − 1/2 ))
1つずつ見ていきましょう。
1. 指数分布とワイブル分布
指数分布 は危険率が一定 h ( x ) = λ h(x) = \lambda h ( x ) = λ の分布で、無記憶性をもちます。逆に、S ( s + t ) = S ( s ) S ( t ) S(s + t) = S(s)S(t) S ( s + t ) = S ( s ) S ( t ) を満たす連続な生存関数は、指数分布に限られます。
ワイブル分布 は、指数分布の時間軸を曲げた分布です。T T T を平均1の指数分布として X = η T 1 / m X = \eta T^{1/m} X = η T 1/ m とします。m m m を形状パラメータ、η \eta η を尺度パラメータと呼びます。
S ( x ) = exp ( − ( x η ) m ) , h ( x ) = m η ( x η ) m − 1 S(x) = \exp\left(-\left(\frac{x}{\eta}\right)^m\right), \qquad h(x) = \frac{m}{\eta}\left(\frac{x}{\eta}\right)^{m-1} S ( x ) = exp ( − ( η x ) m ) , h ( x ) = η m ( η x ) m − 1
危険率は − log S -\log S − log S の微分から出ます。形状 m m m の値で、危険率の振る舞いが変わります。
【形状パラメータと故障の型】
m < 1 m < 1 m < 1 : 危険率が減る。使い始めに壊れやすい初期故障の型
m = 1 m = 1 m = 1 : 危険率が一定。指数分布で、偶発故障の型
m > 1 m > 1 m > 1 : 危険率が増える。古くなるほど壊れやすい摩耗故障の型
例題:ワイブル分布の計算
機械の寿命 X X X (年)が、形状 m m m 、尺度 η \eta η のワイブル分布に従う。〔1〕E [ X r ] E[X^r] E [ X r ] を求めよ。〔2〕m = 2 m = 2 m = 2 、η = 10 \eta = 10 η = 10 のとき、E [ X ] E[X] E [ X ] を求めよ。〔3〕同じ条件で、P ( X > 5 ) P(X > 5) P ( X > 5 ) と P ( X > 10 ∣ X > 5 ) P(X > 10 \mid X > 5) P ( X > 10 ∣ X > 5 ) を求めよ。
【解答】
〔1〕X = η T 1 / m X = \eta T^{1/m} X = η T 1/ m と E [ T a ] = ∫ 0 ∞ x a e − x d x = Γ ( 1 + a ) E[T^{a}] = \int_0^\infty x^a e^{-x}\, dx = \Gamma(1 + a) E [ T a ] = ∫ 0 ∞ x a e − x d x = Γ ( 1 + a ) より、E [ X r ] = η r Γ ( 1 + r / m ) E[X^r] = \eta^r\, \Gamma(1 + r/m) E [ X r ] = η r Γ ( 1 + r / m ) である。
〔2〕E [ X ] = 10 Γ ( 3 / 2 ) = 10 × π 2 ≈ 8.86 E[X] = 10\, \Gamma(3/2) = 10 \times \dfrac{\sqrt{\pi}}{2} \approx 8.86 E [ X ] = 10 Γ ( 3/2 ) = 10 × 2 π ≈ 8.86 である。
〔3〕P ( X > 5 ) = e − 1 / 4 ≈ 0.779 P(X > 5) = e^{-1/4} \approx 0.779 P ( X > 5 ) = e − 1/4 ≈ 0.779 である。P ( X > 10 ∣ X > 5 ) = S ( 10 ) / S ( 5 ) = e − 1 + 1 / 4 = e − 3 / 4 ≈ 0.472 P(X > 10 \mid X > 5) = S(10)/S(5) = e^{-1 + 1/4} = e^{-3/4} \approx 0.472 P ( X > 10 ∣ X > 5 ) = S ( 10 ) / S ( 5 ) = e − 1 + 1/4 = e − 3/4 ≈ 0.472 である。
同じ5年でも、新品がもつ確率より、5年使った機械がもつ確率のほうが低いです。m = 2 > 1 m = 2 > 1 m = 2 > 1 なので、摩耗の型です。
2. ロジスティック分布とコーシー分布
ロジスティック分布 は、確率のロジットが x x x の1次式になる分布です。F F F を解き直すと log F ( x ) 1 − F ( x ) = x − μ s \log\dfrac{F(x)}{1 - F(x)} = \dfrac{x - \mu}{s} log 1 − F ( x ) F ( x ) = s x − μ です。微分すると f = F ( 1 − F ) / s f = F(1 - F)/s f = F ( 1 − F ) / s という形になります。左右対称で平均は μ \mu μ 、分散は π 2 s 2 / 3 \pi^2 s^2/3 π 2 s 2 /3 、尖度は1.2で、正規分布より少し裾が重い分布です。
変数変換の記事の結果から、独立な指数分布の比の対数 log ( T 1 / T 2 ) \log(T_1/T_2) log ( T 1 / T 2 ) が標準ロジスティック分布に従うことも分かります。U = T 1 / ( T 1 + T 2 ) U = T_1/(T_1 + T_2) U = T 1 / ( T 1 + T 2 ) が一様分布なので、U / ( 1 − U ) U/(1 - U) U / ( 1 − U ) の対数になるからです。
コーシー分布 は、f ( x ) = 1 / { π ( 1 + x 2 ) } f(x) = 1/\{\pi(1 + x^2)\} f ( x ) = 1/ { π ( 1 + x 2 )} の分布です。裾が重すぎて、期待値が存在しません。
∫ 0 ∞ x π ( 1 + x 2 ) d x = [ log ( 1 + x 2 ) 2 π ] 0 ∞ = ∞ \int_0^\infty \frac{x}{\pi(1 + x^2)}\, dx = \left[\frac{\log(1 + x^2)}{2\pi}\right]_0^\infty = \infty ∫ 0 ∞ π ( 1 + x 2 ) x d x = [ 2 π log ( 1 + x 2 ) ] 0 ∞ = ∞
左右対称だから平均は0、とは言えないのです。一方、パーセント点はつねに存在します。中央値は0、四分位数は ± 1 \pm 1 ± 1 です。位置を表すには、順番にもとづく特性値を使います。
以上が、変換で作る分布についての解説です。
ガンマ分布とベータ分布:核を見抜く
次に、2つの積分から生まれる分布について説明します。
ガンマ関数 は Γ ( α ) = ∫ 0 ∞ x α − 1 e − x d x \Gamma(\alpha) = \int_0^\infty x^{\alpha-1} e^{-x}\, dx Γ ( α ) = ∫ 0 ∞ x α − 1 e − x d x です。部分積分で Γ ( α + 1 ) = α Γ ( α ) \Gamma(\alpha + 1) = \alpha\Gamma(\alpha) Γ ( α + 1 ) = α Γ ( α ) が出ます。y = β x y = \beta x y = β x と置換すると、次の公式が得られます。
∫ 0 ∞ x α − 1 e − β x d x = Γ ( α ) β α \int_0^\infty x^{\alpha-1} e^{-\beta x}\, dx = \frac{\Gamma(\alpha)}{\beta^\alpha} ∫ 0 ∞ x α − 1 e − β x d x = β α Γ ( α )
この左辺の形 x α − 1 e − β x x^{\alpha-1} e^{-\beta x} x α − 1 e − β x が、ガンマ分布 G a ( α , β ) Ga(\alpha, \beta) G a ( α , β ) の核です。確率密度関数は、これを全体の積分で割った f ( x ) = β α Γ ( α ) x α − 1 e − β x f(x) = \dfrac{\beta^\alpha}{\Gamma(\alpha)} x^{\alpha-1} e^{-\beta x} f ( x ) = Γ ( α ) β α x α − 1 e − β x です。
ここがポイントです。ガンマ分布の期待値の積分には、新しい計算は要りません。x r x^r x r や e t x e^{tx} e t x を掛けても核の形は保たれ、α \alpha α や β \beta β がずれるだけだからです。人の顔つきを見れば親戚だと分かるように、積分の中身の顔つきを見れば、公式が使えると分かります。
E [ X r ] = β α Γ ( α ) ⋅ Γ ( α + r ) β α + r = Γ ( α + r ) Γ ( α ) β r , M ( t ) = β α Γ ( α ) ⋅ Γ ( α ) ( β − t ) α = ( β β − t ) α E[X^r] = \frac{\beta^\alpha}{\Gamma(\alpha)} \cdot \frac{\Gamma(\alpha + r)}{\beta^{\alpha + r}} = \frac{\Gamma(\alpha + r)}{\Gamma(\alpha)\beta^r}, \qquad M(t) = \frac{\beta^\alpha}{\Gamma(\alpha)} \cdot \frac{\Gamma(\alpha)}{(\beta - t)^\alpha} = \left(\frac{\beta}{\beta - t}\right)^\alpha E [ X r ] = Γ ( α ) β α ⋅ β α + r Γ ( α + r ) = Γ ( α ) β r Γ ( α + r ) , M ( t ) = Γ ( α ) β α ⋅ ( β − t ) α Γ ( α ) = ( β − t β ) α
E [ X r ] E[X^r] E [ X r ] の式は、r > − α r > -\alpha r > − α なら実数の r r r でも成り立ちます。M ( t ) M(t) M ( t ) は t < β t < \beta t < β で有限です。
例題:核の公式でモーメントを求める
X ∼ G a ( 3 , 2 ) X \sim Ga(3, 2) X ∼ G a ( 3 , 2 ) とする。〔1〕E [ 1 / X ] E[1/X] E [ 1/ X ] を求めよ。〔2〕V [ 1 / X ] V[1/X] V [ 1/ X ] を求めよ。〔3〕E [ X ] E[\sqrt{X}] E [ X ] を求めよ。
【解答】
〔1〕α = 3 \alpha = 3 α = 3 、β = 2 \beta = 2 β = 2 、r = − 1 r = -1 r = − 1 として、E [ X − 1 ] = Γ ( 2 ) Γ ( 3 ) × 2 = 1 E[X^{-1}] = \dfrac{\Gamma(2)}{\Gamma(3)} \times 2 = 1 E [ X − 1 ] = Γ ( 3 ) Γ ( 2 ) × 2 = 1 である。
〔2〕E [ X − 2 ] = Γ ( 1 ) Γ ( 3 ) × 4 = 2 E[X^{-2}] = \dfrac{\Gamma(1)}{\Gamma(3)} \times 4 = 2 E [ X − 2 ] = Γ ( 3 ) Γ ( 1 ) × 4 = 2 だから、V [ 1 / X ] = 2 − 1 = 1 V[1/X] = 2 - 1 = 1 V [ 1/ X ] = 2 − 1 = 1 である。
〔3〕E [ X 1 / 2 ] = Γ ( 7 / 2 ) Γ ( 3 ) 2 E[X^{1/2}] = \dfrac{\Gamma(7/2)}{\Gamma(3)\sqrt{2}} E [ X 1/2 ] = Γ ( 3 ) 2 Γ ( 7/2 ) である。Γ ( 7 / 2 ) = 5 2 ⋅ 3 2 ⋅ 1 2 π \Gamma(7/2) = \dfrac{5}{2} \cdot \dfrac{3}{2} \cdot \dfrac{1}{2}\sqrt{\pi} Γ ( 7/2 ) = 2 5 ⋅ 2 3 ⋅ 2 1 π より、これは 15 π 16 2 ≈ 1.175 \dfrac{15\sqrt{\pi}}{16\sqrt{2}} \approx 1.175 16 2 15 π ≈ 1.175 である。
なお、E [ X ] = 3 / 2 E[X] = 3/2 E [ X ] = 3/2 なので 1 / E [ X ] = 2 / 3 1/E[X] = 2/3 1/ E [ X ] = 2/3 です。E [ 1 / X ] = 1 E[1/X] = 1 E [ 1/ X ] = 1 とは一致しません。期待値は非線形の関数と順序を入れかえられないのです。
待ち時間との関係も押さえましょう。独立な指数分布 k k k 個の和 T k T_k T k は G a ( k , λ ) Ga(k, \lambda) G a ( k , λ ) に従います。「T k ≤ t T_k \le t T k ≤ t 」と「時刻 t t t までに k k k 回以上起こる」は同じ事象なので、次の式が成り立ちます。
P ( T k ≤ t ) = P ( N ≥ k ) , N ∼ P o ( λ t ) P(T_k \le t) = P(N \ge k), \qquad N \sim Po(\lambda t) P ( T k ≤ t ) = P ( N ≥ k ) , N ∼ P o ( λ t )
例えば、λ = 1 \lambda = 1 λ = 1 、k = 3 k = 3 k = 3 、t = 2 t = 2 t = 2 なら、1 − e − 2 ( 1 + 2 + 2 ) ≈ 0.323 1 - e^{-2}(1 + 2 + 2) \approx 0.323 1 − e − 2 ( 1 + 2 + 2 ) ≈ 0.323 です。積分なしで、ガンマ分布の確率が求まりました。
ベータ分布 B e ( a , b ) Be(a, b) B e ( a , b ) の核は x a − 1 ( 1 − x ) b − 1 x^{a-1}(1-x)^{b-1} x a − 1 ( 1 − x ) b − 1 です。変数変換の記事で示した B ( a , b ) = Γ ( a ) Γ ( b ) / Γ ( a + b ) B(a, b) = \Gamma(a)\Gamma(b)/\Gamma(a+b) B ( a , b ) = Γ ( a ) Γ ( b ) /Γ ( a + b ) を使うと、同じ技が使えます。
E [ X r ] = B ( a + r , b ) B ( a , b ) = Γ ( a + r ) Γ ( a + b ) Γ ( a ) Γ ( a + b + r ) E[X^r] = \frac{B(a + r, b)}{B(a, b)} = \frac{\Gamma(a + r)\, \Gamma(a + b)}{\Gamma(a)\, \Gamma(a + b + r)} E [ X r ] = B ( a , b ) B ( a + r , b ) = Γ ( a ) Γ ( a + b + r ) Γ ( a + r ) Γ ( a + b )
r = 1 r = 1 r = 1 で E [ X ] = a a + b E[X] = \dfrac{a}{a+b} E [ X ] = a + b a 、r = 2 r = 2 r = 2 で E [ X 2 ] = a ( a + 1 ) ( a + b ) ( a + b + 1 ) E[X^2] = \dfrac{a(a+1)}{(a+b)(a+b+1)} E [ X 2 ] = ( a + b ) ( a + b + 1 ) a ( a + 1 ) です。差をとると、分散 a b ( a + b ) 2 ( a + b + 1 ) \dfrac{ab}{(a+b)^2(a+b+1)} ( a + b ) 2 ( a + b + 1 ) ab が出ます。
試験のポイント:積分の中身が核の形をしていたら、計算せずに公式に帰着させます。答案には「G a ( α + r , β ) Ga(\alpha + r, \beta) G a ( α + r , β ) の確率密度関数の積分が1であることから」と理由を書きます。
以上が、ガンマ分布とベータ分布についての説明です。
正規分布と対数正規分布:平方完成の技
続いて、正規分布の系統について解説します。
正規分布 (ガウス分布)の定数 2 π \sqrt{2\pi} 2 π は、次の積分から来ています。2乗して極座標に移るのが定番です。
I 2 = ∬ e − ( x 2 + y 2 ) / 2 d x d y = ∫ 0 2 π ∫ 0 ∞ e − r 2 / 2 r d r d θ = 2 π I^2 = \iint e^{-(x^2 + y^2)/2}\, dx\, dy = \int_0^{2\pi} \int_0^\infty e^{-r^2/2}\, r\, dr\, d\theta = 2\pi I 2 = ∬ e − ( x 2 + y 2 ) /2 d x d y = ∫ 0 2 π ∫ 0 ∞ e − r 2 /2 r d r d θ = 2 π
ここで I = ∫ e − x 2 / 2 d x I = \int e^{-x^2/2}\, dx I = ∫ e − x 2 /2 d x です。Γ ( 1 / 2 ) = π \Gamma(1/2) = \sqrt{\pi} Γ ( 1/2 ) = π も、置換すればこの積分から出ます。
モーメント母関数は 平方完成 で求めます。指数の部分は、次のように変形できます。
t x − ( x − μ ) 2 2 σ 2 = − ( x − μ − σ 2 t ) 2 2 σ 2 + μ t + σ 2 t 2 2 tx - \frac{(x - \mu)^2}{2\sigma^2} = -\frac{(x - \mu - \sigma^2 t)^2}{2\sigma^2} + \mu t + \frac{\sigma^2 t^2}{2} t x − 2 σ 2 ( x − μ ) 2 = − 2 σ 2 ( x − μ − σ 2 t ) 2 + μ t + 2 σ 2 t 2
第1項は N ( μ + σ 2 t , σ 2 ) N(\mu + \sigma^2 t, \sigma^2) N ( μ + σ 2 t , σ 2 ) の核なので、積分すると定数が打ち消し合います。e t x e^{tx} e t x を掛けても、釣り鐘の山が横へ移動するだけで、山の形は変わらないのです。残るのは M ( t ) = exp ( μ t + σ 2 t 2 / 2 ) M(t) = \exp(\mu t + \sigma^2 t^2/2) M ( t ) = exp ( μ t + σ 2 t 2 /2 ) です。ここでも、核を見抜く技が働きました。
対数正規分布 は、Y ∼ N ( μ , σ 2 ) Y \sim N(\mu, \sigma^2) Y ∼ N ( μ , σ 2 ) に対する X = e Y X = e^Y X = e Y の分布です。すると E [ X r ] = E [ e r Y ] E[X^r] = E[e^{rY}] E [ X r ] = E [ e r Y ] は Y Y Y のモーメント母関数そのものです。積分を1回もせずに、すべてのモーメントが出ます。
E [ X r ] = exp ( r μ + r 2 σ 2 2 ) E[X^r] = \exp\left(r\mu + \frac{r^2\sigma^2}{2}\right) E [ X r ] = exp ( r μ + 2 r 2 σ 2 )
よって、平均は e μ + σ 2 / 2 e^{\mu + \sigma^2/2} e μ + σ 2 /2 、分散は e 2 μ + σ 2 ( e σ 2 − 1 ) e^{2\mu + \sigma^2}(e^{\sigma^2} - 1) e 2 μ + σ 2 ( e σ 2 − 1 ) です。中央値は単調変換で保たれるので e μ e^\mu e μ です。最頻値は確率密度関数の対数を微分して、e μ − σ 2 e^{\mu - \sigma^2} e μ − σ 2 です。
例えば、μ = 0 \mu = 0 μ = 0 、σ = 1 \sigma = 1 σ = 1 なら、最頻値0.368、中央値1、平均1.649です。最頻値 < < < 中央値 < < < 平均となり、右に裾を引く形が式からも読み取れます。また、独立な対数正規分布の積は、対数をとると正規分布の和なので、再び対数正規分布です。
以上が、正規分布と対数正規分布についての解説です。
多変量正規分布:線形変換で考える
最後に、多変量正規分布 N p ( μ , Σ ) N_p(\boldsymbol{\mu}, \Sigma) N p ( μ , Σ ) を見ていきましょう。
独立に標準正規分布に従う p p p 個の変数を並べたベクトルを Z \boldsymbol{Z} Z とし、Σ = A A ⊤ \Sigma = AA^\top Σ = A A ⊤ となる行列 A A A で X = μ + A Z \boldsymbol{X} = \boldsymbol{\mu} + A\boldsymbol{Z} X = μ + A Z とします。これが多変量正規分布です。Σ \Sigma Σ が正則なら、変数変換の公式から、準1級で見た確率密度関数が出ます。部品の Z \boldsymbol{Z} Z を、線形変換で組み立てたものと考えると、性質はすべて見通せます。
モーメント母関数は、t ⊤ X \boldsymbol{t}^\top\boldsymbol{X} t ⊤ X が1変量の正規分布 N ( t ⊤ μ , t ⊤ Σ t ) N(\boldsymbol{t}^\top\boldsymbol{\mu}, \boldsymbol{t}^\top\Sigma\boldsymbol{t}) N ( t ⊤ μ , t ⊤ Σ t ) に従うことから出ます。
M ( t ) = E [ e t ⊤ X ] = exp ( t ⊤ μ + 1 2 t ⊤ Σ t ) M(\boldsymbol{t}) = E[e^{\boldsymbol{t}^\top\boldsymbol{X}}] = \exp\left(\boldsymbol{t}^\top\boldsymbol{\mu} + \frac{1}{2}\boldsymbol{t}^\top\Sigma\boldsymbol{t}\right) M ( t ) = E [ e t ⊤ X ] = exp ( t ⊤ μ + 2 1 t ⊤ Σ t )
ここから、2つの性質が証明できます。
【多変量正規分布の性質の証明】
線形変換: B X + b B\boldsymbol{X} + \boldsymbol{b} B X + b のモーメント母関数を計算すると、平均 B μ + b B\boldsymbol{\mu} + \boldsymbol{b} B μ + b 、分散 B Σ B ⊤ B\Sigma B^\top B Σ B ⊤ の多変量正規分布の形になる。周辺分布はその特別な場合である
無相関なら独立: 共分散の部分が0なら、t ⊤ Σ t \boldsymbol{t}^\top\Sigma\boldsymbol{t} t ⊤ Σ t が変数ごとに分かれ、モーメント母関数が積に分かれる
性質2は、同時分布が多変量正規分布であるときだけの話です。周辺分布がそれぞれ正規分布というだけでは、無相関でも独立とは言えません。
条件付き分布は、行列の公式を暗記しなくても、回帰の発想で導けます。2変量で見てみましょう。
例題:親子の身長
父の身長 X X X と息子の身長 Y Y Y が2変量正規分布に従い、平均は170と172、標準偏差はどちらも6、相関係数は ρ = 0.5 \rho = 0.5 ρ = 0.5 とする。〔1〕W = Y − β X W = Y - \beta X W = Y − β X (β = ρ σ Y / σ X \beta = \rho\sigma_Y/\sigma_X β = ρ σ Y / σ X )が X X X と独立であることを示し、X = x X = x X = x のもとでの Y Y Y の条件付き分布を求めよ。〔2〕X = 182 X = 182 X = 182 のとき、Y Y Y の条件付き平均と分散を求めよ。〔3〕P ( Y > 185 ∣ X = 182 ) P(Y > 185 \mid X = 182) P ( Y > 185 ∣ X = 182 ) を求めよ。
【解答】
〔1〕( X , W ) (X, W) ( X , W ) は ( X , Y ) (X, Y) ( X , Y ) の線形変換だから2変量正規分布に従う。C o v [ X , W ] = ρ σ X σ Y − β σ X 2 = 0 \mathrm{Cov}[X, W] = \rho\sigma_X\sigma_Y - \beta\sigma_X^2 = 0 Cov [ X , W ] = ρ σ X σ Y − β σ X 2 = 0 なので、性質2より独立である。V [ W ] = σ Y 2 − 2 β ρ σ X σ Y + β 2 σ X 2 = σ Y 2 ( 1 − ρ 2 ) V[W] = \sigma_Y^2 - 2\beta\rho\sigma_X\sigma_Y + \beta^2\sigma_X^2 = \sigma_Y^2(1 - \rho^2) V [ W ] = σ Y 2 − 2 β ρ σ X σ Y + β 2 σ X 2 = σ Y 2 ( 1 − ρ 2 ) である。Y = β X + W Y = \beta X + W Y = β X + W で W W W は X X X と独立だから、次を得る。
Y ∣ X = x ∼ N ( μ Y + β ( x − μ X ) , σ Y 2 ( 1 − ρ 2 ) ) Y \mid X = x \ \sim\ N\left(\mu_Y + \beta(x - \mu_X),\ \ \sigma_Y^2(1 - \rho^2)\right) Y ∣ X = x ∼ N ( μ Y + β ( x − μ X ) , σ Y 2 ( 1 − ρ 2 ) )
〔2〕β = 0.5 \beta = 0.5 β = 0.5 より、平均は 172 + 0.5 × 12 = 178 172 + 0.5 \times 12 = 178 172 + 0.5 × 12 = 178 、分散は 36 × 0.75 = 27 36 \times 0.75 = 27 36 × 0.75 = 27 である。
〔3〕z = ( 185 − 178 ) / 27 ≈ 1.35 z = (185 - 178)/\sqrt{27} \approx 1.35 z = ( 185 − 178 ) / 27 ≈ 1.35 より、確率は約0.089である。
父が平均より12cm高くても、息子の予想は平均より6cmの高さです。これが、後の記事で学ぶ平均への回帰です。条件付き分散が x x x によらないことも、多変量正規分布の特徴です。
以上が、多変量正規分布についての解説です。
細かい部分が分からなかったとしても問題ありません。ここでは、「分布は変換で作られ、計算は核を見抜いて公式に帰着させる」という点だけ押さえておきましょう。
今回のまとめ
それでは、今回の内容を振り返ります。
今回は10種類の連続型分布を、変換と核という2つの視点で整理しました。基本のソースが分かれば、残りは変化形です。式を丸ごと覚えるのではなく、その場で導けることが、1級の強みになります。
今回のポイントを振り返りましょう。
振り返り
指数・ワイブル・ロジスティック・コーシーは、一様分布の変換で作れる。ワイブル分布は形状 m m m で故障の型が変わる。
ガンマ分布とベータ分布のモーメントは、核を見抜くと積分なしで求まる。
正規分布のモーメント母関数は平方完成で出て、対数正規分布のモーメントはその値そのものである。
多変量正規分布は線形変換で考える。無相関なら独立で、条件付き分布は回帰で導ける。
キーワードのおさらい
一様分布: 区間のどの値も同じ濃さの分布。他の分布の入り口
正規分布(ガウス分布): M ( t ) = exp ( μ t + σ 2 t 2 / 2 ) M(t) = \exp(\mu t + \sigma^2 t^2/2) M ( t ) = exp ( μ t + σ 2 t 2 /2 ) の分布
指数分布: 危険率が一定の分布。無記憶性をもつ
ガンマ分布: 核が x α − 1 e − β x x^{\alpha-1} e^{-\beta x} x α − 1 e − β x の分布。指数分布の和を含む
ベータ分布: 核が x a − 1 ( 1 − x ) b − 1 x^{a-1}(1-x)^{b-1} x a − 1 ( 1 − x ) b − 1 の分布。( 0 , 1 ) (0, 1) ( 0 , 1 ) の値をとる
コーシー分布: 1 / { π ( 1 + x 2 ) } 1/\{\pi(1 + x^2)\} 1/ { π ( 1 + x 2 )} の分布。期待値が存在しない
対数正規分布: 対数が正規分布に従う分布。E [ X r ] = exp ( r μ + r 2 σ 2 / 2 ) E[X^r] = \exp(r\mu + r^2\sigma^2/2) E [ X r ] = exp ( r μ + r 2 σ 2 /2 )
ワイブル分布: 危険率が x m − 1 x^{m-1} x m − 1 に比例する分布。寿命の分析で使う
ロジスティック分布: ロジットが x x x の1次式になる分布
多変量正規分布: 独立な標準正規分布の線形変換で作られる分布
さて、これで主な分布がそろいました。次は、これらの分布から作った統計量の分布です。t t t 分布やカイ二乗分布は、どのように導かれるのでしょうか?
次回は、標本分布の導出について紹介します。
それでは、次の記事へ進んでいきましょう。