起こりうる状態を過不足なく分け、各状態から次の回の状態へ移る確率を用いて、状態確率の漸化式を立てます。
1 状態と遷移
定義 1.1 (状態確率と遷移確率).回目に状態にある確率をとします。状態から次に状態へ移る条件付き確率を、状態からへの遷移確率といいます。
各状態から着目する状態へ入る場合を排反に分けると、次の回の状態確率を求めることができます。
2 完結した二状態の例
ある機械は、毎日の終わりに正常または故障のいずれかの状態にあります。正常ならば翌日も正常である確率を、故障ならば修理によって翌日に正常である確率をとします。初日は正常であるとします。
例 2.1.日目に正常である確率をとすると、故障である確率はです。翌日に正常である場合を、前日に正常であった場合と故障であった場合に分けると、
を得ます。
定理 2.2. 上の二状態モデルでは、
が成り立ちます。
証明. 不動点はを満たすのでです。したがって
です。なので、等比数列の一般項から結論を得ます。▨
注意 2.3 (確率としての検算).なので、一般項は確率の範囲にあります。またを大きくするとは0.4へ近づき、漸化式の不動点と一致します。
上の例で状態を一つの確率だけで表すことができるのは、状態が正常と故障の二つだけなので、故障である確率がと決まるためです。三状態以上では、通常は複数の状態確率を同時に追います。
例 2.4. 状態を晴れ、曇り、雨の三つに分ける場合、日目の確率をとし、を保ちながら、各遷移確率を係数とする連立漸化式を立てます。一つの確率だけを追うと、前日の残り二状態を区別することができません。
3 例題
レベル3 — 確率漸化式
はじめの状態を p_01 として、n 回の操作の後に指定した状態にある確率 p_n を n の式で表せ。
解法の型1回の操作で場合分けして p_(n+1)a p_n + b を立て、不動点b/(1−a) を引いて (p_n −を公比 a の等比数列にする
例 3.1. 表の出る確率が 1/3 である硬貨を繰り返し投げる。n 回投げたとき、表の出た回数が偶数(0 回も含む)である確率を p_n とする。p_n を求めよ。
答
注意 n+1 回目に「偶数回」なのは、「n 回目まで偶数回で、次が裏(確率 2/3)」か「n 回目まで奇数回で、次が表(確率 1/3)」。整理すると p_(n+1)(1 − 2·1/3) p_n + 1/31/3·p_n + 1/3。不動点は1/2(回数を重ねると偶数・奇数が半々に近づく)。検算: n1 では p_11/2 + (1/2)(1 − 2·1/3)2/3 で、裏が出る確率に一致する。
例 3.2. 点 P は部屋 A、部屋 B のいずれかにいる。1回の操作でサイコロを1個投げ、P が A にいるときは出た目が 2 以下なら B へ移り(それ以外は A に留まる)、P が B にいるときは出た目が 1 以下なら A へ移る(それ以外は B に留まる)。はじめ P は A にいる。n 回の操作の後に P が A にいる確率 p_n を求めよ。
答
注意 n+1 回目に A にいるのは「n 回目に A にいて留まる(確率 4/62/3)」か「n 回目に B にいて A へ移る(確率 1/6)」。整理して p_(n+1)1/2·p_n + 1/6。不動点は(1/6)/(1 − 1/2)1/3(長い目で見て A にいる割合)。p_n −は公比 1/2 の等比数列で初項 1 −2/3。
4 演習
問題 4.1.例 2.1の機械が初日に故障している場合に、日目に正常である確率を求めよ。
問題 4.2. 二状態の機械について、正常から翌日も正常である確率を、故障から翌日に正常である確率をとする(、)。日目に正常である確率が満たす漸化式と、その漸化式の不動点を求めよ。
解答.
日目に故障である確率はである。翌日に正常である場合を、前日に正常であった場合と故障であった場合に分けると、二つの場合は排反なので
を得る。不動点は、すなわちを満たす。ならば、不動点はただ一つ存在し、である。となるのは、、のもとでは、の場合に限る。この場合の漸化式はであり、すべての実数が不動点である。▨
問題 4.3.問題 4.1で求めた一般項が0以上1以下にあり、漸化式と初期条件を満たすことを、代入して確かめよ。
解答.
一般項にを代入するとであり、初期条件を満たす。一般項を漸化式の右辺に代入すると、
であり、右辺は一般項ののときの値に等しい。したがって、一般項は漸化式を満たす。さらに、すべての正の整数についてなのでであり、は0以上1以下にある。▨
レベル3 — 確率漸化式
はじめの状態を p_01 として、n 回の操作の後に指定した状態にある確率 p_n を n の式で表せ。
解法の型1回の操作で場合分けして p_(n+1)a p_n + b を立て、不動点b/(1−a) を引いて (p_n −を公比 a の等比数列にする
問題 4.4. 5 個の地点 A, B, C, D, E の上を点 P が動く。1回の操作で、P は今いる地点以外の 4 個の地点のいずれかへ等確率で移る。はじめ P は地点 A にある。n 回の操作の後に P が地点 A にある確率 p_n を求めよ。
解答.
答
注意 n+1 回目に A にいるのは「n 回目に A 以外にいて(確率 1 − p_n)、そこから A へ移る(確率 1/4)」場合だけなので p_(n+1)(1 − p_n)/4。不動点は1/5(長い目で見ると 5 個の地点に均等に散らばる)。p_n − 1/5 は公比 −1/4 の等比数列で、初項 p_0 − 1/54/5。検算: n1 のとき p_11/5 − (1/5)0(1回で A には戻れない)。▨
問題 4.5. 表の出る確率が 2/5 である硬貨を繰り返し投げる。n 回投げたとき、表の出た回数が偶数(0 回も含む)である確率を p_n とする。p_n を求めよ。
解答.
答
注意 n+1 回目に「偶数回」なのは、「n 回目まで偶数回で、次が裏(確率 3/5)」か「n 回目まで奇数回で、次が表(確率 2/5)」。整理すると p_(n+1)(1 − 2·2/5) p_n + 2/51/5·p_n + 2/5。不動点は1/2(回数を重ねると偶数・奇数が半々に近づく)。検算: n1 では p_11/2 + (1/2)(1 − 2·2/5)3/5 で、裏が出る確率に一致する。▨
問題 4.6. 点 P は部屋 A、部屋 B のいずれかにいる。1回の操作でサイコロを1個投げ、P が A にいるときは出た目が 2 以下なら B へ移り(それ以外は A に留まる)、P が B にいるときは出た目が 2 以下なら A へ移る(それ以外は B に留まる)。はじめ P は A にいる。n 回の操作の後に P が A にいる確率 p_n を求めよ。
解答.
答
注意 n+1 回目に A にいるのは「n 回目に A にいて留まる(確率 4/62/3)」か「n 回目に B にいて A へ移る(確率 2/61/3)」。整理して p_(n+1)1/3·p_n + 1/3。不動点は(1/3)/(1 − 1/3)1/2(長い目で見て A にいる割合)。p_n −は公比 1/3 の等比数列で初項 1 −1/2。▨