6.4

Стационарные распределения и предельная теорема

[17/100%]
Показать
LaTeX
Задача 6.4.1

Корректурный экземпляр книги читает бесконечная последовательность редакторов, проверяющих его на наличие ошибок. При каждом прочтении каждая ошибка обнаруживается с вероятностью pp; между прочтениями типография исправляет обнаруженные ошибки, но вносит случайное число новых ошибок (ошибки могут вноситься, даже если ни одна ошибка не была обнаружена). Предполагая обычную независимость и то, что числа новых ошибок после разных прочтений одинаково распределены, найдите выражение для производящей функции вероятностей стационарного распределения числа XnX_{n} ошибок после nn-го цикла «редактор--типография», если оно существует. Найдите его в явном виде, когда типография вносит на каждом этапе пуассоновски распределённое число ошибок.

?
Задача 6.4.2

Проделайте заново соответствующие части упражнений (6.3.1)--(6.3.4), используя новые доступные вам методы. В частности, для упражнения (6.3.3):

?
(a)

проделайте заново часть (a);

(b)

проделайте заново часть (b).

Задача 6.4.3

Пусть XnX_{n} — количество воды в водохранилище в полдень дня nn. В течение суток, начинающихся в этот момент, в водохранилище поступает количество воды YnY_{n}, а непосредственно перед полуднем каждого дня из него забирается ровно одна единица воды (если такое количество может быть найдено). Максимальная ёмкость водохранилища равна KK, а избыточный приток воды переливается и теряется. Предположим, что YnY_{n} — независимые одинаково распределённые случайные величины, и что при округлении до какой-то смехотворно малой единицы объёма все числа в этом упражнении являются неотрицательными целыми. Покажите, что (Xn)\left(X_{n}\right) — марковская цепь, и найдите её матрицу переходных вероятностей и выражение для её стационарного распределения через производящую функцию вероятностей GG величин YnY_{n}.

Найдите стационарное распределение, когда YY имеет производящую функцию вероятностей G(s)=p(1−qs)−1G(s) = p(1-q s)^{-1}.

?
Задача 6.4.4

Покажите на примере, что цепи, не являющиеся неприводимыми, могут иметь много различных стационарных распределений.

?
Задача 6.4.5

Пусть (xi(n):i,n≥1)\left(x_{i}(n): i, n \geq 1\right) — ограниченное семейство вещественных чисел.

?
(a)

Покажите, что существует возрастающая последовательность натуральных чисел n1,n2,…n_{1}, n_{2}, \ldots, такая что lim⁡r→∞xi(nr)\lim_{r \rightarrow \infty } x_{i}\left(n_{r}\right) существует при всех ii.

(b)

Используя этот результат, докажите, что для неприводимой марковской цепи, если неверно, что pij(n)→0p_{i j}(n) \rightarrow 0 при n→∞n \rightarrow \infty для всех ii и jj, то существует последовательность (nr:r≥1)(n_{r}: r \geq 1) и вектор \vectα(≠0)\vect {\alpha }( \neq \mathbf{0}), такие что pij(nr)→αjp_{i j}\left(n_{r}\right) \rightarrow \alpha_{j} при r→∞r \rightarrow \infty для всех ii и jj.

Задача 6.4.6

Случайное блуждание на графе. Частица совершает случайное блуждание по множеству вершин связного графа GG, который для простоты мы считаем не имеющим ни петель, ни кратных рёбер. На каждом шаге она переходит к соседу своей текущей позиции, причём каждый такой сосед выбирается с равной вероятностью. Если GG имеет η(<∞)\eta ( < \infty ) рёбер, покажите, что стационарное распределение задаётся формулой πv=dv/(2η)\pi_{v} = d_{v} /(2 \eta ), где dvd_{v} — степень вершины vv.

?
Задача 6.4.7

Покажите, что случайное блуждание на бесконечном бинарном дереве невозвратно.

?
Задача 6.4.8

В каждый момент времени n=0,1,2,…n = 0,1,2, \ldots в камеру попадает YnY_{n} частиц, где {Yn:n≥0}\left\{ Y_{n}: n \geq 0\right\} независимы и имеют распределение Пуассона с параметром λ\lambda. Времена жизни частиц независимы и имеют геометрическое распределение с параметром pp. Пусть XnX_{n} — число частиц в камере в момент времени nn. Покажите, что XX — марковская цепь, и найдите её стационарное распределение.

?
Задача 6.4.9

Случайная последовательность выпуклых многоугольников строится следующим образом: наугад выбираются два ребра текущего многоугольника, их середины соединяются, и один из двух получившихся меньших многоугольников наугад выбирается в качестве следующего члена последовательности. Пусть Xn+3X_{n}+3 — число рёбер nn-го построенного таким образом многоугольника. Найдите E[Xn]\mathbb {E}\left[X_{n}\right] через X0X_{0} и найдите стационарное распределение марковской цепи XX.

?
Задача 6.4.10

Пусть ss — состояние неприводимой марковской цепи на неотрицательных целых числах. Покажите, что цепь возвратна, если существует решение y\mathbf{y} уравнений yi≥∑j:j≠spijyj,i≠sy_{i} \geq \sum_{j: j \neq s} p_{i j} y_{j}, i \neq s, удовлетворяющее условию yi→∞y_{i} \rightarrow \infty.

?
Задача 6.4.11

Частица совершает случайное блуждание по «галстуку-бабочке» ABCDE, изображённому ниже слева, где C — узел. Из любой вершины её следующий шаг с равной вероятностью ведёт в любую соседнюю вершину. Первоначально она находится в A. Найдите ожидаемое значение:

?
(a)

момента первого возвращения в A,

(b)

числа посещений D до возвращения в A,

(c)

числа посещений C до возвращения в A,

(d)

момента первого возвращения в A, при условии, что частица не посещала E,

(e)

числа посещений D до возвращения в A, при условии, что частица не посещала E.

Задача 6.4.12

Частица стартует из AA и совершает симметричное случайное блуждание по графу, изображённому выше справа. Найдите ожидаемое число посещений BB до возвращения в AA.

?
Задача 6.4.13

Колода содержит 52 карты с метками 1,2,…,521,2, \ldots , 52, и первоначально они расположены в возрастающем порядке сверху вниз. На каждом шаге тасования верхняя карта перекладывается на одно из 52 возможных мест, определяемых остальными 51 картами, причём это место выбирается равномерно случайно, независимо от всех предыдущих шагов. Найдите среднее число шагов до того момента, когда карта 52 впервые окажется наверху.

Покажите, что после момента, в который карта с меткой 52 случайно вкладывается сверху, порядок карт в колоде равномерно распределён по 52! возможностям.

?
Задача 6.4.14

Колода содержит 52 карты с метками 1,2,…,521,2, \ldots , 52, и первоначально они расположены в возрастающем порядке сверху вниз. На каждом шаге из колоды равномерно случайно выбирается карта и кладётся наверх, независимо от всех предыдущих шагов. Найдите среднее число шагов до того момента, когда каждая карта была выбрана хотя бы один раз.

Покажите, что после момента, в который последняя выбранная случайным образом карта кладётся наверх, порядок карт в колоде равномерно распределён по 52! возможностям.

?
Задача 6.4.15

Дик и Джим по очереди пишут упражнения для включения в учебник. Дик их пишет, а Джим проверяет. Каждое упражнение содержит ошибку с вероятностью pp, независимо от остальных упражнений. У Джима есть два режима работы. В режиме A он проверяет каждое упражнение по мере его написания. В режиме B он проверяет каждое упражнение с вероятностью 1/r1 / r, где r>1r > 1, независимо от всех прочих событий.

Пусть N≥1N \geq 1. Джим работает в режиме A до тех пор, пока не обнаружит NN подряд идущих упражнений без ошибок, после чего переходит в режим B. В режиме B он работает до тех пор, пока не будет найдено первое упражнение с ошибкой, после чего возвращается в режим A.

Пусть XX — марковская цепь, находящаяся в состоянии ii, если Джим работает в режиме A и последние ii подряд идущих упражнений с момента перехода в режим A оказались без ошибок, и находящаяся в состоянии NN, если Джим находится в режиме B.

?
(a)

Запишите переходные вероятности XX и найдите её стационарное распределение.

(b)

Покажите, что доля проверяемых упражнений в долгосрочной перспективе равна 1/[1+(r−1)(1−pN)]1 /\left[1+(r-1)\left(1-p^{N}\right)\right].

(c)

Найдите выражение для доли содержащих ошибку упражнений, которые Джим в долгосрочной перспективе не обнаруживает.

Задача 6.4.16

11.39), продолжение. Частица совершает случайное блуждание по неотрицательным целым числам следующим образом. Находясь в позиции k≥0k \geq 0, она переходит в следующую позицию, равномерно распределённую на множестве {0,1,…,k,k+1}\left\{ 0,1, \ldots , k, k+1\right\}. Покажите, что последовательность позиций образует апериодическую положительно возвратную марковскую цепь, и найдите её стационарное распределение.

Найдите среднее число шагов μ\mu, необходимых для первого достижения позиции 0, начиная с позиции 1.

?
Задача 6.4.17

Пусть {Xn:n≥0}\left\{ X_{n}: n \geq 0\right\} — неприводимая марковская цепь с пространством состояний SS и матрицей переходных вероятностей P\mathbf{P} (цепь может быть как невозвратной, так и возвратной). Пусть k∈Sk \in S, и пусть x\mathbf{x} — стационарная мера, такая что xk=1x_{k} = 1. Докажите, что x≥ρ(k)\mathbf{x} \geq \rho (k), где ρ(k)\rho (k) задаётся уравнением (6.4.5). Если цепь возвратна, покажите, что x=ρ(k)\mathbf{x} = \rho (k).

?