Рассмотрим систему с
![$N+1$ $N+1$](https://dxdy-02.korotkov.co.uk/f/1/d/9/1d9fbd45300f5c63e198fef59879276482.png)
состояниями. Состояние системы определяется однозначно, например, количеством белых снежков у Д.М.
0 белых снежков-1-е состояние, 1 белый-2-е состояние,
![$\dots , N $ $\dots , N $](https://dxdy-03.korotkov.co.uk/f/6/b/d/6bd1cbf1ec9b229f39b52ab37f29817482.png)
белых
![$N+1$ $N+1$](https://dxdy-02.korotkov.co.uk/f/1/d/9/1d9fbd45300f5c63e198fef59879276482.png)
-е состояние. Тогда переходы системы из одного состояния в другое образуют однородную цепь Маркова.
Этой цепи соответствует матрица
![$p_{i,j}(n)$ $p_{i,j}(n)$](https://dxdy-04.korotkov.co.uk/f/f/1/0/f10afe4d8bc9d3e8b6c5773f970a728082.png)
, матричные элементы которой -это вероятности того, что система за
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
шагов перейдет из состояния
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
в состояние
![$j. P(n)=Q^n$ $j. P(n)=Q^n$](https://dxdy-01.korotkov.co.uk/f/0/3/e/03e4bfd2c7ad2ea9999ae096b54ea1c982.png)
,где
![$Q$ $Q$](https://dxdy-02.korotkov.co.uk/f/1/a/f/1afcdb0f704394b16fe85fb40c45ca7a82.png)
- матрица переходных вероятностей системы, т.е.
![$q_{i,j}$ $q_{i,j}$](https://dxdy-04.korotkov.co.uk/f/b/1/3/b13b4016eb577e91a0fb6a2fe443b09382.png)
это вероятность перехода системы из состояния
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
в состояние
![$j$ $j$](https://dxdy-04.korotkov.co.uk/f/3/6/b/36b5afebdba34564d884d347484ac0c782.png)
за один шаг. Таким образом задача сводится к построению матрицы
![$Q$ $Q$](https://dxdy-02.korotkov.co.uk/f/1/a/f/1afcdb0f704394b16fe85fb40c45ca7a82.png)
и нахождению затем
![$p_{1,1}(N)$ $p_{1,1}(N)$](https://dxdy-01.korotkov.co.uk/f/8/f/2/8f21fe85e1a9464827f96b155253957e82.png)
. Для каждого конкретного
![$N$ $N$](https://dxdy-04.korotkov.co.uk/f/f/9/c/f9c4988898e7f532b9f826a75014ed3c82.png)
можно построить матрицу
![$Q$ $Q$](https://dxdy-02.korotkov.co.uk/f/1/a/f/1afcdb0f704394b16fe85fb40c45ca7a82.png)
. Это трех диагональная матрица, потому что возможные изменения номера состояния за один шаг
![$0$ $0$](https://dxdy-03.korotkov.co.uk/f/2/9/6/29632a9bf827ce0200454dd32fc3be8282.png)
или
![$\pm 1$ $\pm 1$](https://dxdy-02.korotkov.co.uk/f/1/c/3/1c30aa006a39269d6b0437e4856fcae282.png)
.Ограничимся случаем
![$N=2$ $N=2$](https://dxdy-03.korotkov.co.uk/f/2/2/4/224e6819744eb493dfcc2829e9ab013e82.png)
. Матрица
![$Q$ $Q$](https://dxdy-02.korotkov.co.uk/f/1/a/f/1afcdb0f704394b16fe85fb40c45ca7a82.png)
имеет вид:
![$$\begin {pmatrix}\dfrac 13&\dfrac23&0\\\\\dfrac 16&\dfrac 23&\dfrac 16\\\\0&\dfrac 23&\dfrac 13\end {pmatrix}$$ $$\begin {pmatrix}\dfrac 13&\dfrac23&0\\\\\dfrac 16&\dfrac 23&\dfrac 16\\\\0&\dfrac 23&\dfrac 13\end {pmatrix}$$](https://dxdy-04.korotkov.co.uk/f/b/b/6/bb652a9e0b6b7f91e3340f37c86157e382.png)
Ее можно представить в виде
![$Q=AQ_1A^{-1}\eqno (1)$ $Q=AQ_1A^{-1}\eqno (1)$](https://dxdy-01.korotkov.co.uk/f/c/d/4/cd42b4cf1282b26cd4f01e2e2da3592182.png)
, где
![$$Q_1=\begin {pmatrix}0&0&0\\0&\frac 13&0\\0&0&1\end {pmatrix}, A=\begin {pmatrix}2&1&1\\-1&0&1\\2&-1&1\end {pmatrix},A^{-1}=\begin {pmatrix}\frac 16&-\frac 13&\frac 16\\\\\frac 12&0&-\frac 12\\\\\frac 16&\frac 23&\frac 16\end {pmatrix}$$ $$Q_1=\begin {pmatrix}0&0&0\\0&\frac 13&0\\0&0&1\end {pmatrix}, A=\begin {pmatrix}2&1&1\\-1&0&1\\2&-1&1\end {pmatrix},A^{-1}=\begin {pmatrix}\frac 16&-\frac 13&\frac 16\\\\\frac 12&0&-\frac 12\\\\\frac 16&\frac 23&\frac 16\end {pmatrix}$$](https://dxdy-02.korotkov.co.uk/f/9/4/3/943d1193c5d4d9c652bcde71f0dc20dd82.png)
С помощью разложения (1) получим:
![$$Q^k=\begin {pmatrix}\frac 16+\frac 1{2\cdot 3^k}&\frac 23&\frac 16-\frac 1{2\cdot 3^k}\\\\\frac 16&\frac 23&\frac 16\\\\\frac 16-\frac 1{2\cdot 3^k}&\frac 23&\frac 16+\frac 1{2\cdot 3^k}\end {pmatrix}$$ $$Q^k=\begin {pmatrix}\frac 16+\frac 1{2\cdot 3^k}&\frac 23&\frac 16-\frac 1{2\cdot 3^k}\\\\\frac 16&\frac 23&\frac 16\\\\\frac 16-\frac 1{2\cdot 3^k}&\frac 23&\frac 16+\frac 1{2\cdot 3^k}\end {pmatrix}$$](https://dxdy-03.korotkov.co.uk/f/6/9/9/69991766a75e72374b42d34afae5f06482.png)
Вероятность оказаться после
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
туров в исходном (первом ) состоянии равна
![$p_{1,1}(k)=\frac 16+\frac 1{2\cdot 3^k}$ $p_{1,1}(k)=\frac 16+\frac 1{2\cdot 3^k}$](https://dxdy-03.korotkov.co.uk/f/2/b/7/2b7f62d0000378effd75ac941c7b44f882.png)
. С ростом
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
она стремится к
![$\frac 16$ $\frac 16$](https://dxdy-03.korotkov.co.uk/f/2/6/d/26d92bbfafdd2e5d3a677b3205bd78aa82.png)
.