Ограниченность для КЛП


Приведем сначала вариант теоремы 3.1 для процессов с непрерывным временем. Здесь, как и раньше, через ηQ обозначим момент первого достижения множества Q⊂Z, а через θR — момент первого выхода из множества {||z|| < R}.
Теорема 1. Пусть Q⊂Z и пусть существует неотрицательная функция V∈DA*, обладающая свойствами:

1) Va = sup V(z) < ∞, при любом а > 0;
2) va = inf V(z) → ∞ при а → ∞;
3) Δ1V(z) 0 при z∈Z\Q;
4) Δ2V(z) 0 при z∈(Z\Q)*;

Тогда при любом z не принадлежащим Q:
Pz{∪[(θR = ∞)∪(ηQ < θR)]} = 1

Определение 1. Процесс zt с начальным состоянием z0 = z ограничен по вероятности, если

lim inf Pz{||zt|| < c} = 1. (1)

Определение 2. Процесс zt с начальным состоянием z0 = z ограничен в среднем по времени, если

lim inf 1/t∫P{||zs|| < c}ds = 1. (2)

Очевидно, что регулярность является необходимым условием ограниченности в смысле определений 1 и 2. Из ограниченности процесса по вероятности следует, его ограниченность в среднем по времени, но, вообще говоря, не наоборот.

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

Рассмотрим введенные в достаточных условиях регулярности (b, а) — циклы процесса zt. Именно, пусть 0 < а< b, и пусть τ0(1) — момент первого достижения траекторией процесса zt множества {||z|| < а}, τ1(i) — момент первого (после τ0(i)) выхода траектории процесса zt из множества {||z|| < b}, i ≥ 1, τ0(i) — момент первого (после τ1(i-1)) достижения траекторией процесса zt множества {||z|| < a}, i ≥ 2. Полуинтервалы вида [τ1(i), τ1(i+1)) называются (b, а)-циклами процесса zt.

Во избежание различных оговорок, предположим, что выполнено равенство

inf Pzb < ∞}= 1.

Легко понять, что это предположение не ограничивает общности.

Для каждого z∈Z введем случайную величину ηba(z) по формуле

ηba(z) = ηa(z), ||z|| ≥ a. (2)

ηba(z) = τ02 — τ11, ||z|| < a. (2)

т. е. при ||z|| ≥ a определяемая величина равна времени ηa(z) первого достижения множества {||z|| < a}, а при ||z|| < a величина ηba(z) равна времени «возвращения» траектории процесса zt в множество {|z|| < a}, отсчитываемому с момента начала очередного цикла. В случае дискретного времени в аналогичной ситуации достаточно было рассматривать просто время возвращения. Теорема 2. Пусть существует неотрицательная функция V∈DA* такая, что выполнены следующие условия:

1) Vc = sup V(z) < ∞ при любом c > 0;
2) vc = inf V(z) → ∞ при С → ∞;
3) существуют числа а, b(0 < а < b), Δ > 0 такие, что
а) Δ1V(z) ≤ -Δ, ||z|| ≥ a, z∈Z,
б) Δ2V(z) ≤ 0, ||z|| ≥ a, z∈Z*,
в) для некоторых 0 < ε <1 и θ* > 0
sup Pzb ≤ θ*} < ε г) sup MzV(z11) ≤ v* < ∞, д) семейство случайных величин ηba(z), |z| < a, равномернее интегрируемо. Тогда процесс zt с произвольным начальным состоянием z0 = z∈Z ограничен в среднем по времени.

Теорема 3. Если выполнены все условия (кроме Зд)) теоремы 2 и, кроме того, семейство случайных величин ηba(z), ||z|| < a, ультраравномерно интегрируемо, то процесс zt с произвольным начальным состоянием z0 = z∈Z ограничен по вероятности.

Изменения, которые необходимо произвести в доказательстве теоремы 2 для доказательства теоремы 3, аналогичны соответствующим изменениям, произведенным в ограниченности для процессов с дискретным временем.

Как следует из результатов достижимости для КЛП, условия равномерной и ультраравномерной интегрируемости в теоремах 2 и 3 соответственно могут быть также сформулированы в терминах пробных функций (аналогичные результаты приведены в следствии 1 теоремы 2 и следствии 1 теоремы 3).

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

Рассмотрим введенную выше «вложенную» цепь Маркова zn0. Обозначим через P0{z; •} ее переходную функцию, т. е.

P0{z; B}=P{zn+10∈B|zn0 = z}.

Теорема 4. Пусть у цепи Маркова {zn0 существует стационарное распределение μ*, т.е.

∫μ*(dz)P0(z; B) = μ*(B) для любого B⊂{||z|| < a} и

sup Mzτ0(2) < ∞. (24)

Тогда у процесса zt существует стационарное вероятностное распределение μ.

Целесообразно отметить, что распределение μ, может быть эффективно построено с помощью μ*, причем это построение имеет весьма наглядную интерпретацию.

Пусть В⊂Z. Обозначим через τiB суммарное время, проводимое процессом zt в множестве В на полуинтервале [τ0(i), τ0(i+1)). Если начальное состояние процесса zt распределено по закону μ*, то величины τiB, i > 1, распределены одинаково. В этом случае нижний индекс i будем опускать. Рассмотрим при каждом В⊂Z величину

v(B)= ∫μ*(dz)MzτB,

равную среднему времени, проводимому процессом zt на полуинтервале [τ0(i), τ0(i+1)) в множестве В при начальном распределении μ*. Конечность величин v(B) гарантируется условием (24). Тогда стационарное распределение μ, упоминаемое в теореме 4, можно выбрать в виде

μ(В) =v(B)/v(Z). (25)

Распределение (25) играет важную роль при рассмотрении закона больших чисел.


Комментарии запрещены.




Статистика