Глава 7

Сходимость случайных величин

[105/100%]
Показать
LaTeX
§
Задача 7.1.1

Пусть r≥1r \geq 1, и определим ∥X∥r={E∣Xr∣}1/r\left\| X\right\|_{r} = \left\{ \mathbb {E}\left|X^{r}\right|\right\}^{1 / r}. Покажите, что:

?
(a)

∥cX∥r=∣c∣⋅∥X∥r\left\| c X\right\|_{r} = \left|c\right| \cdot \left\| X\right\|_{r} для c∈Rc \in \mathbb {R},

(b)

∥X+Y∥r≤∥X∥r+∥Y∥r\left\| X+Y\right\|_{r} \leq \left\| X\right\|_{r}+\left\| Y\right\|_{r}

(c)

∥X∥r=0\left\| X\right\|_{r} = 0 тогда и только тогда, когда P(X=0)=1\mathbb {P}\left(X = 0\right) = 1.

Это означает, что ∥⋅∥r\left\| \cdot \right\|_{r} является нормой на множестве классов эквивалентности случайных величин на данном вероятностном пространстве с конечным rr-м моментом, где отношение эквивалентности задаётся как X∼YX \sim Y тогда и только тогда, когда P(X=Y)=1\mathbb {P}\left(X = Y\right) = 1.

Задача 7.1.2

Определим ⟨X,Y⟩=E[XY]\langle X, Y\rangle = \mathbb {E}\left[X Y\right] для случайных величин XX и YY с конечной дисперсией, и определим ∥X∥=⟨X,X⟩\left\| X\right\| = \sqrt{ }\langle X, X\rangle. Покажите, что:

?
(a)

⟨aX+bY,Z⟩=a⟨X,Z⟩+b⟨Y,Z⟩\langle a X+b Y, Z\rangle = a\langle X, Z\rangle +b\langle Y, Z\rangle,

(b)

∥X+Y∥2+∥X−Y∥2=2(∥X∥2+∥Y∥2)\left\| X+Y\right\|^{2}+\left\| X-Y\right\|^{2} = 2\left(\left\| X\right\|^{2}+\left\| Y\right\|^{2}\right) — свойство параллелограмма,

(c)

если ⟨Xi,Xj⟩=0\left\langle X_{i}, X_{j} \right\rangle = 0 для всех i≠ji \neq j, то

∥∑i=1nXi∥2=∑i=1n∥Xi∥2 \left\| \sum _{i = 1}^{n} X_{i}\right\| ^{2} = \sum _{i = 1}^{n}\left\| X_{i}\right\| ^{2}
Задача 7.1.3

Пусть g,h:[0,1]→Rg, h:[0,1] \rightarrow \mathbb {R}, и определим dϵ(g,h)=∫Edxd_{\epsilon }(g, h) = \int_{E} d x, где E={u∈[0,1]:∣g(u)−h(u)∣>ϵ}E = \left\{ u \in [0,1] : \left|g(u)-h(u)\right| > \epsilon \right\}. Покажите, что dϵd_{\epsilon } не удовлетворяет неравенству треугольника.

?
Задача 7.1.4

Для двух функций распределения FF и GG положим

d(F,G)=inf⁡{δ>0:F(x−δ)−δ≤G(x)≤F(x+δ)+δ для всех x∈R} d(F, G) = \inf \left\{ \delta > 0: F(x-\delta )-\delta \leq G(x) \leq F(x+\delta )+\delta \text{ для всех } x \in \mathbb {R}\right\}

Покажите, что dd является метрикой на пространстве функций распределения.

?
Задача 7.1.5

Найдите случайные величины X,X1,X2,…X, X_{1}, X_{2}, \ldots, такие что E[∣Xn−X∣2]→0\mathbb {E}\left[\left|X_{n}-X\right|^{2}\right] \rightarrow 0 при n→∞n \rightarrow \infty, но E∣Xn∣=∞\mathbb {E}\left|X_{n}\right| = \infty при всех nn.

?
§
Задача 7.2.1
?
(a)

Предположим, что Xn→rXX_{n} \xrightarrow {r} X, где r≥1r \geq 1. Покажите, что E∣Xnr∣→E∣Xr∣\mathbb {E}\left|X_{n}^{r}\right| \rightarrow \mathbb {E}\left|X^{r}\right|.

(b)

Предположим, что Xn→1XX_{n} \xrightarrow {1} X. Покажите, что E[Xn]→E[X]\mathbb {E}\left[X_{n}\right] \rightarrow \mathbb {E}\left[X\right]. Верно ли обратное?

(c)

Предположим, что Xn→2XX_{n} \xrightarrow {2} X. Покажите, что Var⁡(Xn)→Var⁡(X)\operatorname {Var}\left(X_{n}\right) \rightarrow \operatorname {Var}\left(X\right).

Задача 7.2.2

Предположим, что ∣Xn∣≤Z\left|X_{n}\right| \leq Z при всех nn, где E[Z]<∞\mathbb {E}\left[Z\right] < \infty. Докажите, что если Xn→PXX_{n} \xrightarrow {\mathrm{P}} X, то Xn→1XX_{n} \xrightarrow {1} X.

?
Задача 7.2.3
?
(a)

Дайте строгое доказательство того, что E[XY]=E[X]E[Y]\mathbb {E}\left[X Y\right] = \mathbb {E}\left[X\right] \mathbb {E}\left[Y\right] для любой пары X,YX, Y независимых неотрицательных случайных величин на (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) с конечными средними. [Указание: для k≥0,n≥1k \geq 0, n \geq 1 определим Xn=k/nX_{n} = k / n, если k/n≤X<(k+1)/nk / n \leq X < (k+1) / n, и аналогично для YnY_{n}. Покажите, что XnX_{n} и YnY_{n} независимы, и Xn≤XX_{n} \leq X, и Yn≤YY_{n} \leq Y. Выведите отсюда, что E[Xn]→E[X]\mathbb {E}\left[X_{n}\right] \rightarrow \mathbb {E}\left[X\right] и E[Yn]→E[Y]\mathbb {E}\left[Y_{n}\right] \rightarrow \mathbb {E}\left[Y\right], а также E[XnYn]→E[XY]\mathbb {E}\left[X_{n} Y_{n}\right] \rightarrow \mathbb {E}\left[X Y\right].]

(b)

Приведите пример, показывающий, что произведение XYX Y зависимых случайных величин X,YX, Y с конечными средними может иметь E[XY]=∞\mathbb {E}\left[X Y\right] = \infty.

Задача 7.2.4

Покажите, что сходимость по распределению эквивалентна сходимости по метрике Леви из упражнения (7.1.4).

?
Задача 7.2.5
?
(a)

Предположим, что Xn→DXX_{n} \xrightarrow {\mathrm{D}} X и Yn→PcY_{n} \xrightarrow {\mathrm{P}} c, где cc — постоянная. Покажите, что XnYn→DcXX_{n} Y_{n} \xrightarrow {\mathrm{D}} c X, и что Xn/Yn→DX/cX_{n} / Y_{n} \xrightarrow {\mathrm{D}} X / c, если c≠0c \neq 0.

(b)

Предположим, что Xn→D0X_{n} \xrightarrow {\mathrm{D}} 0 и Yn→PYY_{n} \xrightarrow {\mathrm{P}} Y, и пусть g:R2→Rg: \mathbb {R}^{2} \rightarrow \mathbb {R} непрерывна. Покажите, что g(Xn,Yn)→Pg(0,Y)g\left(X_{n}, Y_{n}\right) \xrightarrow {\mathrm{P}} g(0, Y).

Примечание.
?

Эти результаты иногда называют «теоремой (теоремами) Слуцкого».

Задача 7.2.6

Пусть X1,X2,…X_{1}, X_{2}, \ldots — случайные величины на вероятностном пространстве (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}). Покажите, что множество A={ω∈Ω ⁣:последовательность Xn(ω) сходится}A = \left\{ \omega \in \Omega \colon \text{последовательность } X_{n}(\omega ) \text{ сходится}\right\} является событием (то есть принадлежит F\mathcal{F}), и что существует случайная величина XX (то есть F\mathcal{F}-измеримая функция X:Ω→RX: \Omega \rightarrow \mathbb {R}), такая что Xn(ω)→X(ω)X_{n}(\omega ) \rightarrow X(\omega ) для ω∈A\omega \in A.

?
Задача 7.2.7

Пусть {Xn}\left\{ X_{n}\right\} — последовательность случайных величин, и пусть {cn}\left\{ c_{n}\right\} — последовательность вещественных чисел, сходящаяся к пределу cc. Покажите, что сходимость XnX_{n} к XX влечёт сходимость cnXnc_{n} X_{n} к cXc X, для сходимости

?
(a)

почти наверное,

(b)

в среднем порядка rr,

(c)

по вероятности,

(d)

по распределению.

Задача 7.2.8

Пусть {Xn}\left\{ X_{n}\right\} — последовательность независимых случайных величин, сходящаяся по вероятности к пределу XX. Покажите, что XX почти наверное постоянна.

?
Задача 7.2.9

Говорят, что последовательность дискретных случайных величин XnX_{n} с функциями вероятностей fnf_{n} сходится по вариации к XX с функцией вероятностей ff, если

∑x∣fn(x)−f(x)∣→0 при n→∞ \sum _{x}\left|f_{n}(x)-f(x)\right| \rightarrow 0 \quad \text{ при } \quad n \rightarrow \infty

Предположим, что Xn→XX_{n} \rightarrow X по вариации, и u:R→Ru: \mathbb {R} \rightarrow \mathbb {R} ограничена. Покажите, что E[u(Xn)]→E[u(X])\mathbb {E}\left[u\left(X_{n}\right)\right] \rightarrow \mathbb {E}\left[u(X\right]).

?
Задача 7.2.10

Пусть {Xr:r≥1}\left\{ X_{r}: r \geq 1\right\} — независимые пуассоновские величины с параметрами {λr:r≥1}\left\{ \lambda_{r}: r \geq 1\right\} соответственно. Покажите, что ∑r=1∞Xr\sum_{r = 1}^{\infty } X_{r} сходится или расходится почти наверное в зависимости от того, сходится или расходится ∑r=1∞λr\sum_{r = 1}^{\infty } \lambda_{r}.

?
Задача 7.2.11

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины, равномерно распределённые на {1,2,…,m}\left\{ 1,2, \ldots , m\right\}, и пусть Im=min⁡{r≥2:Xr=XS при некотором s<r}I_{m} = \min \left\{ r \geq 2: X_{r} = X_{S} \text{ при некотором } s < r\right\} — наименьший индекс совпадения значений. Покажите, что Im/mI_{m} / \sqrt{m} сходится по распределению при m→∞m \rightarrow \infty к распределению Рэлея с плотностью f(x)=xe−12x2,x>0f(x) = x e^{-\frac{1}{2} x^{2}}, x > 0.

?
Задача 7.2.12

Случайная величина XX имеет конечные моменты всех порядков и удовлетворяет P(X>0)=1\mathbb {P}\left(X > 0\right) = 1, P(X>x)>0\mathbb {P}\left(X > x\right) > 0 при x>0x > 0.

?
(a)

Покажите, что c=∑n=0∞1/E[Xn]c = \sum_{n = 0}^{\infty } 1 / \mathbb {E}\left[X^{n}\right] удовлетворяет c<∞c < \infty.

(b)

Пусть MM принимает значения в {1,2,…}\left\{ 1,2, \ldots \right\} с функцией вероятностей f(m)=1/(cE[Xm])f(m) = 1 /\left(c \mathbb {E}\left[X^{m}\right]\right) при m≥1m \geq 1. Покажите, что E[xM]<∞\mathbb {E}\left[x^{M}\right] < \infty при всех x≥0x \geq 0, тогда как E[XM]=∞\mathbb {E}\left[X^{M}\right] = \infty.

§
Задача 7.3.1
?
(a)

Предположим, что Xn→ P XX_{n} \xrightarrow {\text{ P }} X. Покажите, что последовательность {Xn}\left\{ X_{n}\right\} фундаментальна (сходится по Коши) по вероятности, то есть для всех ϵ>0,P(∣Xn−Xm∣>ϵ)→0\epsilon > 0, \mathbb {P}\left(\left|X_{n}-X_{m}\right| > \epsilon \right) \rightarrow 0 при n,m→∞n, m \rightarrow \infty. В каком смысле верно обратное?

(b)

Пусть {Xn}\left\{ X_{n}\right\} и {Yn}\left\{ Y_{n}\right\} — последовательности случайных величин, такие что пары (Xi,Xj)(X_{i}, X_{j}) и (Yi,Yj)\left(Y_{i}, Y_{j}\right) имеют одинаковые распределения при всех i,ji, j. Если Xn→PXX_{n} \xrightarrow {\mathrm{P}} X, покажите, что YnY_{n} сходится по вероятности к некоторому пределу YY, имеющему то же распределение, что и XX.

Задача 7.3.2

Покажите, что вероятность того, что произойдёт бесконечно много событий {An:n≥1}\left\{ A_{n}: n \geq 1\right\}, удовлетворяет P(An б.ч.)≥lim⁡sup⁡n→∞P(An)\mathbb {P}\left(A_{n} \text{ б.ч.}\right) \geq \lim \sup_{n \rightarrow \infty } \mathbb {P}\left(A_{n}\right).

?
Задача 7.3.3

Пусть {Sn:n≥0}\left\{ S_{n}: n \geq 0\right\} — простое случайное блуждание, которое на каждом шаге сдвигается вправо с вероятностью pp, и пусть S0=0S_{0} = 0. Обозначим Xn=Sn−Sn−1X_{n} = S_{n}-S_{n-1}.

?
(a)

Покажите, что {Sn=0 б.ч.}\left\{ S_{n} = 0 \text{ б.ч.}\right\} не является хвостовым событием последовательности {Xn}\left\{ X_{n}\right\}.

(b)

Покажите, что P(Sn=0 б.ч.)=0\mathbb {P}\left(S_{n} = 0 \text{ б.ч.}\right) = 0, если p≠12p \neq \frac{1}{2}.

(c)

Пусть Tn=Sn/nT_{n} = S_{n} / \sqrt{n}; покажите, что

{lim inf⁡n→∞Tn≤−x}∩{lim sup⁡n→∞Tn≥x} \left\{ \liminf _{n \rightarrow \infty } T_{n} \leq -x\right\} \cap \left\{ \limsup _{n \rightarrow \infty } T_{n} \geq x\right\}

является хвостовым событием последовательности {Xn}\left\{ X_{n}\right\} при всех x>0x > 0, и выведите отсюда непосредственно, что P(Sn=0 б.ч.)=1\mathbb {P}\left(S_{n} = 0 \text{ б.ч.}\right) = 1, если p=12p = \frac{1}{2}.

Задача 7.3.4

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые одинаково распределённые случайные величины. Событие AA, определённое в терминах XnX_{n}, называется перестановочным (обмениваемым), если AA инвариантно относительно конечных перестановок координат, то есть его индикаторная функция IAI_{A} удовлетворяет IA(X1,X2,…,Xn,…)=IA(Xi1,Xi2,…,Xin,Xn+1,…)I_{A}\left(X_{1}, X_{2}, \ldots , X_{n}, \ldots \right) = I_{A}\left(X_{i_{1}}, X_{i_{2}}, \ldots , X_{i_{n}}, X_{n+1}, \ldots \right) при всех n≥1n \geq 1 и всех перестановках (i1,i2,…,in)\left(i_{1}, i_{2}, \ldots , i_{n}\right) чисел (1,2,…,n)(1,2, \ldots , n). Покажите, что для всякого перестановочного события AA либо P(A)=0\mathbb {P}\left(A\right) = 0, либо P(A)=1\mathbb {P}\left(A\right) = 1.

?
Задача 7.3.5

Возвращаясь к простому случайному блужданию SS из упражнения (7.3.3), покажите, что {Sn=0 б.ч.}\left\{ S_{n} = 0 \text{ б.ч.}\right\} — перестановочное событие относительно шагов блуждания, и выведите из закона нуля или единицы Хьюитта-Сэвиджа, что его вероятность равна либо 0, либо 1.

?
Задача 7.3.6

Пусть f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} — непрерывная функция, и пусть SnS_{n} — случайная величина, имеющая биномиальное распределение с параметрами nn и xx. Используя формулу E[Z]=E[ZIA]+E[ZIA∁]\mathbb {E}\left[Z\right] = \mathbb {E}\left[Z I_{A}\right]+\mathbb {E}\left[Z I_{A^{\complement }}\right] с Z=f(x)−f(n−1Sn)Z = f(x)-f\left(n^{-1} S_{n}\right) и A={∣n−1Sn−x∣>δ}A = \left\{ \left|n^{-1} S_{n}-x\right| > \delta \right\}, покажите, что

lim⁡n→∞sup⁡0≤x≤1∣f(x)−∑k=0nf(k/n)(nk)xk(1−x)n−k∣=0 \lim _{n \rightarrow \infty } \sup _{0 \leq x \leq 1}\left|f(x)-\sum _{k = 0}^{n} f(k / n)\binom {n}{k} x^{k}(1-x)^{n-k}\right| = 0

Вы доказали теорему Вейерштрасса об аппроксимации, утверждающую, что всякая непрерывная функция на [0,1][0,1] может быть равномерно на этом интервале приближена многочленом.

?
Задача 7.3.7

Говорят, что последовательность случайных величин X1,X2,…X_{1}, X_{2}, \ldots полностью сходится к XX, если

∑nP(∣Xn−X∣>ϵ)<∞ для всех ϵ>0 \sum _{n} \mathbb {P}\left(\left|X_{n}-X\right| > \epsilon \right) < \infty \quad \text{ для всех } \epsilon > 0

Покажите, что для последовательностей независимых величин полная сходимость эквивалентна п.н.-сходимости. Найдите последовательность (зависимых) случайных величин, которая сходится п.н., но не полностью.

?
Задача 7.3.8

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые одинаково распределённые случайные величины с общим средним μ\mu и конечной дисперсией. Покажите, что

(n2)−1∑1≤i<j≤nXiXj→Pμ2 при n→∞ \binom {n}{2}^{-1} \sum _{1 \leq i < j \leq n} X_{i} X_{j} \xrightarrow {P} \mu ^{2} \quad \text{ при } n \rightarrow \infty
?
Задача 7.3.9

Пусть {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} — независимые случайные величины, имеющие показательное распределение с параметром 1. Покажите, что

P(lim sup⁡n→∞Xnlog⁡n=1)=1 \mathbb {P}\left(\limsup _{n \rightarrow \infty } \frac{X_{n}}{\log n} = 1\right) = 1
?
Задача 7.3.10

Пусть {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} — независимые случайные величины со стандартным нормальным распределением N(0,1)N(0,1). Покажите, что:

?
(a)

P(lim sup⁡n→∞∣Xn∣log⁡n=2)=1\mathbb {P}\left(\limsup_{n \rightarrow \infty } \frac{\left|X_{n}\right|}{\sqrt{\log n}} = \sqrt{2}\right) = 1,

(b)

P(Xn>an б.ч.)={0 если ∑nP(X1>an)<∞1 если ∑nP(X1>an)=∞\mathbb {P}\left(X_{n} > a_{n} \text{ б.ч.}\right) = \begin{cases} 0 & \text{ если } \sum_{n} \mathbb {P}\left(X_{1} > a_{n}\right) < \infty \\ 1 & \text{ если } \sum_{n} \mathbb {P}\left(X_{1} > a_{n}\right) = \infty \end{cases}

Задача 7.3.11

Постройте пример, показывающий, что сходимость по распределению XnX_{n} к XX не влечёт сходимости единственных медиан последовательности XnX_{n}.

?
Задача 7.3.12

(i) Пусть {Xr:r≥1}\left\{ X_{r}: r \geq 1\right\} — независимые, неотрицательные и одинаково распределённые случайные величины с бесконечным средним. Покажите, что lim⁡sup⁡r→∞Xr/r=∞\lim_{\sup_{r \rightarrow \infty }} X_{r} / r = \infty почти наверное. (ii) Пусть {Xr}\left\{ X_{r}\right\} — стационарная марковская цепь на положительных целых числах с переходными вероятностями

pjk={jj+2 если k=j+12j+2 если k=1 p_{j k} = \begin{cases} \frac{j}{j+2} & \text{ если } k = j+1 \\ \frac{2}{j+2} & \text{ если } k = 1\end{cases}
?
(a)

Найдите стационарное распределение цепи и покажите, что оно имеет бесконечное среднее.

(b)

Покажите, что lim⁡sup⁡r→∞Xr/r≤1\lim \sup_{r \rightarrow \infty } X_{r} / r \leq 1 почти наверное.

Задача 7.3.13

Пусть {Xr:1≤r≤n}\left\{ X_{r}: 1 \leq r \leq n\right\} — независимые одинаково распределённые случайные величины со средним μ\mu и конечной дисперсией σ2\sigma^{2}. Пусть Xˉ=n−1∑r=1nXr\bar{X} = n^{-1} \sum_{r = 1}^{n} X_{r}. Покажите, что

∑r=1n(Xr−μ)/∑r=1n(Xr−Xˉ)2 \sum _{r = 1}^{n}\left(X_{r}-\mu \right) / \sqrt{\sum _{r = 1}^{n}\left(X_{r}-\bar{X}\right)^{2}}

сходится по распределению к распределению N(0,1)N(0,1) при n→∞n \rightarrow \infty.

?
Задача 7.3.14

Для случайной величины XX со средним 00, дисперсией σ2\sigma^{2} и E[X4]<∞\mathbb {E}\left[X^{4}\right] < \infty покажите, что

P(∣X∣>t)≤E[X4]−σ4E[X4]−2σ2t2+t4,t>0 \mathbb {P}\left(|X| > t\right) \leq \frac{\mathbb {E}\left[X^{4}\right]-\sigma ^{4}}{\mathbb {E}\left[X^{4}\right]-2 \sigma ^{2} t^{2}+t^{4}}, \quad t > 0
?
§
Задача 7.4.1

Пусть X2,X3,…X_{2}, X_{3}, \ldots — независимые случайные величины, такие что

P(Xn=n)=P(Xn=−n)=12nlog⁡n,P(Xn=0)=1−1nlog⁡n \mathbb {P}\left(X_{n} = n\right) = \mathbb {P}\left(X_{n} = -n\right) = \frac{1}{2 n \log n}, \quad \mathbb {P}\left(X_{n} = 0\right) = 1-\frac{1}{n \log n}

Покажите, что эта последовательность подчиняется слабому закону, но не усиленному закону, в том смысле, что n−1∑1nXin^{-1} \sum_{1}^{n} X_{i} сходится к 0 по вероятности, но не почти наверное.

?
Задача 7.4.2

Постройте последовательность {Xr:r≥1}\left\{ X_{r}: r \geq 1\right\} независимых случайных величин с нулевым средним, такую что n−1∑r=1nXr→−∞n^{-1} \sum_{r = 1}^{n} X_{r} \rightarrow -\infty почти наверное при n→∞n \rightarrow \infty.

?
Задача 7.4.3

Пусть NN — пространственный пуассоновский процесс с постоянной интенсивностью λ\lambda в Rd\mathbb {R}^{d}, где d≥2d \geq 2. Пусть SS — шар радиуса rr с центром в нуле. Покажите, что N(S)/∣S∣→λN(S) /\left|S\right| \rightarrow \lambda почти наверное при r→∞r \rightarrow \infty, где ∣S∣\left|S\right| — объём шара.

?
Задача 7.4.4

В каждой из последовательности независимых ставок игрок либо выигрывает 30%30 \%, либо теряет 25%25 \% своего текущего капитала, каждое с вероятностью 12\frac{1}{2}. Обозначая её капитал после nn ставок через FnF_{n}, покажите, что E[Fn]→∞\mathbb {E}\left[F_{n}\right] \rightarrow \infty при n→∞n \rightarrow \infty, тогда как Fn→0F_{n} \rightarrow 0 почти наверное.

?
Задача 7.4.5

Пусть Sn=X1+X2+⋯+XnS_{n} = X_{1}+X_{2}+\cdots +X_{n} — сумма независимых одинаково распределённых случайных величин. Пусть δ,ϵ>0\delta , \epsilon > 0, и определим усечённые величины Yj=XjI{∣Xj∣≤δn}Y_{j} = X_{j} I_{\left\{ \left|X_{j}\right| \leq \delta n\right\} }. Пусть A={Xj=Yj при j=1,2,…,n}A = \left\{ X_{j} = Y_{j} \text{ при } j = 1,2, \ldots , n\right\}, и B={∣Sn−nE[Y1]∣≥ϵn}B = \left\{ \left|S_{n}-n \mathbb {E}\left[Y_{1}\right]\right| \geq \epsilon n\right\}. Докажите, что:

?
(a)

P(B)≤P(A∁)+P(B∣A)\mathbb {P}\left(B\right) \leq \mathbb {P}\left(A^{\complement }\right)+\mathbb {P}\left(B \mid A\right),

(b)

P(A∁)≤nP(∣X1∣>δn)\mathbb {P}\left(A^{\complement }\right) \leq n \mathbb {P}\left(\left|X_{1}\right| > \delta n\right),

(c)

P(B∣A)≤E[Y12]/(nϵ2)\mathbb {P}\left(B \mid A\right) \leq \mathbb {E}\left[Y_{1}^{2}\right] /\left(n \epsilon^{2}\right).

Выведите отсюда слабый закон больших чисел, а именно, что если E∣X1∣<∞\mathbb {E}\left|X_{1}\right| < \infty, то

P(∣Sn/n−μ∣>ϵ)→0 при n→∞ \mathbb {P}\left(\left|S_{n} / n-\mu \right| > \epsilon \right) \rightarrow 0 \quad \text{ при } n \rightarrow \infty

где μ=E[X1]\mu = \mathbb {E}\left[X_{1}\right].

§
Задача 7.5.1

Интервал [0,1][0,1] разбит на nn непересекающихся подынтервалов длиной p1,p2,…p_{1}, p_{2}, \ldots, pnp_{n}, и энтропия этого разбиения определяется как

h=−∑i=1npilog⁡pi h = -\sum _{i = 1}^{n} p_{i} \log p_{i}

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины, равномерно распределённые на [0,1][0,1], и пусть Zm(i)Z_{m}(i) — число величин среди X1,X2,…,XmX_{1}, X_{2}, \ldots , X_{m}, попавших в ii-й интервал указанного разбиения. Покажите, что

Rm=∏i=1npiZm(i) R_{m} = \prod _{i = 1}^{n} p_{i}^{Z_{m}(i)}

удовлетворяет m−1log⁡Rm→−hm^{-1} \log R_{m} \rightarrow -h почти наверное при m→∞m \rightarrow \infty.

?
Задача 7.5.2

Катастрофы происходят в моменты времени T1,T2,…T_{1}, T_{2}, \ldots, где Ti=X1+X2+⋯+XiT_{i} = X_{1}+X_{2}+\cdots +X_{i}, а XiX_{i} — независимые одинаково распределённые положительные случайные величины. Пусть N(t)=max⁡{n:Tn≤t}N(t) = \max \left\{ n: T_{n} \leq t\right\} — число катастроф, произошедших к моменту tt. Докажите, что если E[X1]<∞\mathbb {E}\left[X_{1}\right] < \infty, то N(t)→∞N(t) \rightarrow \infty и N(t)/t→1/E[X1]N(t) / t \rightarrow 1 / \mathbb {E}\left[X_{1}\right] при t→∞t \rightarrow \infty, почти наверное.

?
Задача 7.5.3

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые одинаково распределённые случайные величины, принимающие значения в целых числах Z\mathbb {Z} и имеющие конечное среднее. Покажите, что марковская цепь S={Sn}S = \left\{ S_{n}\right\}, заданная как Sn=∑1nXiS_{n} = \sum_{1}^{n} X_{i}, невозвратна, если E[X1]≠0\mathbb {E}\left[X_{1}\right] \neq 0.

?
§
Задача 7.6.1

Говорят, что функция ϕ(x)\phi (x) принадлежит «верхнему классу», если, в обозначениях этого раздела, P(Sn>ϕ(n)n б.ч.)=0\mathbb {P}\left(S_{n} > \phi (n) \sqrt{n} \text{ б.ч.}\right) = 0. Следствием закона повторного логарифма является то, что αlog⁡log⁡x\sqrt{\alpha \log \log x} принадлежит верхнему классу при всех α>2\alpha > 2. Используя первую лемму Бореля-Кантелли, докажите гораздо более слабый факт, что ϕ(x)=αlog⁡x\phi (x) = \sqrt{\alpha \log x} принадлежит верхнему классу при всех α>2\alpha > 2, в частном случае, когда XiX_{i} — независимые величины N(0,1)N(0,1).

?
§
Задача 7.7.1

Пусть X1,X2,…X_{1}, X_{2}, \ldots — случайные величины, такие что частичные суммы Sn=X1+X2+⋯+XnS_{n} = X_{1}+X_{2}+\cdots +X_{n} образуют мартингал. Покажите, что E[XiXj]=0\mathbb {E}\left[X_{i} X_{j}\right] = 0, если i≠ji \neq j.

?
Задача 7.7.2

Пусть ZnZ_{n} — размер nn-го поколения ветвящегося процесса с иммиграцией, в котором размеры семей имеют среднее μ(≠1)\mu ( \neq 1), а среднее число иммигрантов в каждом поколении равно mm. Предположим, что E[Z0]<∞\mathbb {E}\left[Z_{0}\right] < \infty, и покажите, что

Sn=μ−n{Zn−m(1−μn1−μ)} S_{n} = \mu ^{-n}\left\{ Z_{n}-m\left(\frac{1-\mu ^{n}}{1-\mu }\right)\right\}

является мартингалом относительно подходящей последовательности случайных величин.

?
Задача 7.7.3

Пусть X0,X1,X2,…X_{0}, X_{1}, X_{2}, \ldots — последовательность случайных величин с конечными средними, удовлетворяющая E(Xn+1∣X0,X1,…,Xn)=aXn+bXn−1\mathbb {E}\left(X_{n+1} \mid \right. \left.X_{0}, X_{1}, \ldots , X_{n}\right) = a X_{n}+b X_{n-1} при n≥1n \geq 1, где 0<a,b<10 < a, b < 1 и a+b=1a+b = 1. Найдите значение α\alpha, при котором Sn=αXn+Xn−1,n≥1S_{n} = \alpha X_{n}+X_{n-1}, n \geq 1, задаёт мартингал относительно последовательности XX.

?
Задача 7.7.4

Пусть XnX_{n} — чистый выигрыш игрока от ставки в одну единицу на nn-й игре в казино; величины XnX_{n} могут быть зависимыми, но игра честная в том смысле, что E[Xn+1∣X1,X2,…,Xn]=0\mathbb {E}\left[X_{n+1} \mid X_{1}, X_{2}, \ldots , X_{n}\right] = 0 при всех nn. Игрок ставит YY на первую игру, а затем ставит fn(X1,X2,…,Xn)f_{n}\left(X_{1}, X_{2}, \ldots , X_{n}\right) на (n+1)(n+1)-ю игру, где f1,f2,…f_{1}, f_{2}, \ldots — заданные функции. Покажите, что её выигрыш после nn игр равен

Sn=∑i=1nXifi−1(X1,X2,…,Xi−1) S_{n} = \sum _{i = 1}^{n} X_{i} f_{i-1}\left(X_{1}, X_{2}, \ldots , X_{i-1}\right)

где f0=Yf_{0} = Y. Покажите далее, что последовательность S={Sn}S = \left\{ S_{n}\right\} удовлетворяет условию мартингальности E(Sn+1∣X1,X2,…,Xn)=Sn,n≥1\mathbb {E}\left(S_{n+1} \mid \right. \left.X_{1}, X_{2}, \ldots , X_{n}\right) = S_{n}, n \geq 1, если YY считается известной на протяжении всего процесса.

?
Задача 7.7.5

Серией в случайной перестановке (π1,π2,…,πn)\left(\pi_{1}, \pi_{2}, \ldots , \pi_{n}\right) чисел (1,2,…,n)(1,2, \ldots , n) называется подпоследовательность, удовлетворяющая πr−1>πr<πr+1<⋯<πs>πs+1\pi_{r-1} > \pi_{r} < \pi_{r+1} < \cdots < \pi_{s} > \pi_{s+1}. По соглашению положим π0=n+1\pi_{0} = n+1 и πn+1=0\pi_{n+1} = 0. Пусть RnR_{n} — число серий. Покажите, что Mn=nRn−12n(n+1)M_{n} = n R_{n}-\frac{1}{2} n(n+1) является мартингалом. Найдите E[Rn]\mathbb {E}\left[R_{n}\right] и E[Rn2]\mathbb {E}\left[R_{n}^{2}\right].

?
§
Задача 7.8.1

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины с нулевыми средними и конечными дисперсиями, и пусть Sn=X1+X2+⋯+XnS_{n} = X_{1}+X_{2}+\cdots +X_{n}. Используя неравенство Дуба-Колмогорова, покажите, что

P(max⁡1≤j≤n∣Sj∣>ϵ)≤1ϵ2∑j=1nVar⁡(Xj) для ϵ>0 \mathbb {P}\left(\max _{1 \leq j \leq n}\left|S_{j}\right| > \epsilon \right) \leq \frac{1}{\epsilon ^{2}} \sum _{j = 1}^{n} \operatorname {Var}\left(X_{j}\right) \quad \text{ для } \epsilon > 0
?
Задача 7.8.2

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины, такие что ∑nn−2Var⁡(Xn)<∞\sum_{n} n^{-2} \operatorname {Var}\left(X_{n}\right) < \infty. Используя неравенство Колмогорова, докажите, что

∑i=1nXi−E[Xi]i→ п.н. Y при n→∞ \sum _{i = 1}^{n} \frac{X_{i}-\mathbb {E}\left[X_{i}\right]}{i} \xrightarrow {\text{ п.н. }} Y \quad \text{ при } n \rightarrow \infty

для некоторой конечной случайной величины YY, и выведите отсюда, что

1n∑i=1n(Xi−E[Xi])→ п.н. 0 при n→∞ \frac{1}{n} \sum _{i = 1}^{n}\left(X_{i}-\mathbb {E}\left[X_{i}\right]\right) \xrightarrow {\text{ п.н. }} 0 \quad \text{ при } n \rightarrow \infty

(Может оказаться полезной лемма Кронекера: если (an)\left(a_{n}\right) и (bn)\left(b_{n}\right) — вещественные последовательности с bn↑∞b_{n} \uparrow \infty и ∑iai/bi<∞\sum_{i} a_{i} / b_{i} < \infty, то bn−1∑i=1nai→0b_{n}^{-1} \sum_{i = 1}^{n} a_{i} \rightarrow 0 при n→∞n \rightarrow \infty.)

?
Задача 7.8.3

Пусть SS — мартингал относительно XX, такой что E[Sn2]<K<∞\mathbb {E}\left[S_{n}^{2}\right] < K < \infty при некотором K∈RK \in \mathbb {R}. Предположим, что Var⁡(Sn)→0\operatorname {Var}\left(S_{n}\right) \rightarrow 0 при n→∞n \rightarrow \infty, и докажите, что S=lim⁡n→∞SnS = \lim_{n \rightarrow \infty } S_{n} существует и почти наверное постоянен.

?
§
Задача 7.9.1

Пусть YY равномерно распределена на [−1,1][-1,1], и пусть X=Y2X = Y^{2}.

?
(a)

Найдите наилучший предсказатель XX по YY и YY по XX.

(b)

Найдите наилучший линейный предсказатель XX по YY и YY по XX.

Задача 7.9.2
?
(a)

Пусть пара (X,Y)(X, Y) имеет общее двумерное нормальное распределение. Найдите E[Y∣X]\mathbb {E}\left[Y \mid X\right].

(b)

Пусть U1,U2,…,UnU_{1}, U_{2}, \ldots , U_{n} — независимые случайные величины N(0,1)N(0,1), и пусть (ai),(bi)\left(a_{i}\right),\left(b_{i}\right) — вещественные ненулевые векторы. Покажите, что X=∑iaiUiX = \sum_{i} a_{i} U_{i} и Y=∑ibiUiY = \sum_{i} b_{i} U_{i} удовлетворяют

E[Y∣X]=X∑iaibi∑iai2 \mathbb {E}\left[Y \mid X\right] = X \frac{\sum _{i} a_{i} b_{i}}{\sum _{i} a_{i}^{2}}
Задача 7.9.3

Пусть X1,X2,…,XnX_{1}, X_{2}, \ldots , X_{n} — случайные величины с нулевыми средними и ковариационной матрицей V=(vij)\mathbf{V} = \left(v_{i j}\right), и пусть YY имеет конечный второй момент. Найдите линейную функцию hh от XiX_{i}, минимизирующую среднеквадратичную ошибку E[(Y−h(X1,…,Xn))2]\mathbb {E}\left[\left(Y-h\left(X_{1}, \ldots , X_{n}\right)\right)^{2}\right].

?
Задача 7.9.4

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

?
(a)

E[E[Y∣g]]=E[Y]\mathbb {E}\left[\mathbb {E}\left[Y \mid g\right]\right] = \mathbb {E}\left[Y\right].

(b)

E[αY+βZ∣g]=αE[Y∣g]+βE[Z∣g]\mathbb {E}\left[\alpha Y+\beta Z \mid g\right] = \alpha \mathbb {E}\left[Y \mid g\right] + \beta \mathbb {E}\left[Z \mid g\right] при α,β∈R\alpha , \beta \in \mathbb {R}.

(c)

E[Y∣g]≥0\mathbb {E}\left[Y \mid g\right] \geq 0, если Y≥0Y \geq 0.

(d)

E[Y∣g]=E[E[Y∣H]∣g]\mathbb {E}\left[Y \mid g\right] = \mathbb {E}\left[\mathbb {E}\left[Y \mid \mathcal{H}\right] \mid g\right], если G⊆H\mathcal{G} \subseteq \mathcal{H}.

(e)

E[Y∣G]=E[Y]\mathbb {E}\left[Y \mid \mathcal{G}\right] = \mathbb {E}\left[Y\right], если YY независима от IGI_{G} при каждом G∈GG \in \mathcal{G}.

(f)

Неравенство Йенсена. g{E[Y∣g]}≤E[g(Y)∣g]g\left\{ \mathbb {E}\left[Y \mid g\right]\right\} \leq \mathbb {E}\left[g(Y) \mid g\right] для всех выпуклых функций gg.

(g)

Если Yn→ п.н. YY_{n} \xrightarrow {\text{ п.н. }} Y и ∣Yn∣≤Z\left|Y_{n}\right| \leq Z п.н., где E[Z]<∞\mathbb {E}\left[Z\right] < \infty, то E[Yn∣g]→ п.н. E[Y∣g]\mathbb {E}\left[Y_{n} \mid \mathcal{g}\right] \xrightarrow {\text{ п.н. }} \mathbb {E}\left[Y \mid \mathcal{g}\right].

Утверждения (b)-(f), разумеется, следует понимать «почти наверное».

Задача 7.9.5

Пусть XX и YY имеют совместную функцию вероятности f(x,y)={x(x+1)}−1f(x, y) = \left\{ x(x+1)\right\}^{-1} при x=y=1,2,…x = y = 1,2, \ldots. Покажите, что E[Y∣X]<∞\mathbb {E}\left[Y \mid X\right] < \infty, тогда как E[Y]=∞\mathbb {E}\left[Y\right] = \infty

?
Задача 7.9.6

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство, и пусть g\mathcal{g} — под-σ\sigma-алгебра F\mathcal{F}. Пусть HH — пространство gизмеримых случ\mathcal{g}_{\text{измеримых случ}} случайных величин с конечным вторым моментом.

?
(a)

Покажите, что HH замкнуто относительно нормы ∥⋅∥2\left\| \cdot \right\|_{2}.

(b)

Пусть YY — случайная величина, удовлетворяющая E[Y2]<∞\mathbb {E}\left[Y^{2}\right] < \infty, и покажите эквивалентность следующих двух утверждений для любого M∈HM \in H :

(i) E[(Y−M)Z]=0\mathbb {E}\left[(Y-M) Z\right] = 0 для всех Z∈HZ \in H,

(ii) E[(Y−M)IG]=0\mathbb {E}\left[(Y-M) I_{G}\right] = 0 для всех G∈GG \in \mathcal{G}.

Задача 7.9.7

Для, возможно, зависимых случайных величин XX и YY определим коэффициент максимальной корреляции m(X,Y)=sup⁡ρ(f(X),g(Y))m(X, Y) = \sup \rho (f(X), g(Y)), где ρ\rho обозначает обычную корреляцию, а супремум берётся по всем функциям ff и gg, таким что f(X)f(X) и g(Y)g(Y) имеют конечные ненулевые дисперсии. Покажите, что:

?
(a)

m(X,Y)=0m(X, Y) = 0 тогда и только тогда, когда XX и YY независимы,

(b)

m(X,Y)2=sup⁡gVar⁡(E[g(Y]∣X))m(X, Y)^{2} = \sup_{g} \operatorname {Var}\left(\mathbb {E}\left[g(Y\right] \mid X\right)), где супремум берётся по всем функциям gg, таким что Var⁡(g(Y))=1\operatorname {Var}\left(g(Y\right)) = 1

(c)

f^(X)m(X,Y)=E[g^(Y]∣X)\widehat{f}(X) m(X, Y) = \mathbb {E}\left[\widehat{g}(Y\right] \mid X) п.н., где f^\widehat{f} и g^\widehat{g} — функции, такие что m=ρ(f^(X),g^(Y))m = \rho (\widehat{f}(X), \widehat{g}(Y)).

(d)

Имеем, п.н., что

E[E(f^(X]∣Y)∣X)=m(X,Y)2f^(X),E[E(g^(Y]∣X)∣Y)=m(X,Y)2g^(Y) \mathbb {E}\left[\mathbb {E}(\widehat{f}(X\right] \mid Y) \mid X) = m(X, Y)^{2} \widehat{f}(X), \quad \mathbb {E}\left[\mathbb {E}(\widehat{g}(Y\right] \mid X) \mid Y) = m(X, Y)^{2} \widehat{g}(Y)
(e)

Если упорядоченная тройка X,Y,ZX, Y, Z образует марковскую цепь, покажите, что m(X,Z)≤m(X,Y)m(Y,Z)m(X, Z) \leq m(X, Y) m(Y, Z), причём равенство достигается, если (X,Y)(X, Y) и (Z,Y)(Z, Y) одинаково распределены.

(f)

Выведите отсюда, что для пары (U,V)(U, V) со стандартным двумерным нормальным распределением m(U,V)m(U, V) является возрастающей функцией модуля корреляции ∣ρ∣\left|\rho \right|. [Можно показать, что в этом случае m(U,V)=∣ρ∣m(U, V) = \left|\rho \right|.]

Задача 7.9.8

Пусть ρmon⁡(X,Y)=sup⁡ρ(f(X),g(Y))\rho_{\operatorname {mon}}(X, Y) = \sup \rho (f(X), g(Y)), где супремум берётся по всем монотонным функциям ff и gg, таким что f(X)f(X) и g(Y)g(Y) имеют конечные ненулевые дисперсии. Покажите, что ρmon (X,Y)=0\rho_{\text{mon }}(X, Y) = 0 тогда и только тогда, когда XX и YY независимы.

Для случайных величин X,YX, Y с конечными ненулевыми дисперсиями покажите, что ρ(X,Y)≤ρmon⁡(X,Y)≤m(X,Y)\rho (X, Y) \leq \rho_{\operatorname {mon}}(X, Y) \leq m(X, Y), где mm — коэффициент максимальной корреляции.

?
Задача 7.9.9

Пусть (X,Y)(X, Y) имеет совместную плотность f(x,y)=2e−x−yf(x, y) = 2 e^{-x-y} при 0<x≤y<∞0 < x \leq y < \infty.

?
(a)

Найдите предсказатель XX по Y=yY = y с минимальной среднеквадратичной ошибкой.

(b)

Найдите линейный предсказатель XX по Y=yY = y с минимальной среднеквадратичной ошибкой.

(c)

Сравните их.

§
Задача 7.10.1

Покажите, что сумма {Xn+Yn}\left\{ X_{n}+Y_{n}\right\} двух равномерно интегрируемых последовательностей {Xn}\left\{ X_{n}\right\} и {Yn}\left\{ Y_{n}\right\} даёт равномерно интегрируемую последовательность.

?
Задача 7.10.2
?
(a)

Предположим, что Xn→rXX_{n} \xrightarrow {r} X, где r≥1r \geq 1. Покажите, что {∣Xn∣r:n≥1}\left\{ \left|X_{n}\right|^{r}: n \geq 1\right\} равномерно интегрируема, и выведите отсюда, что E[Xnr]→E[Xr]\mathbb {E}\left[X_{n}^{r}\right] \rightarrow \mathbb {E}\left[X^{r}\right], если rr — целое число.

(b)

Обратно, предположим, что {∣Xn∣r:n≥1}\left\{ \left|X_{n}\right|^{r}: n \geq 1\right\} равномерно интегрируема, где r≥1r \geq 1, и покажите, что Xn→rXX_{n} \xrightarrow {r} X, если Xn→PXX_{n} \xrightarrow {\mathrm{P}} X.

Задача 7.10.3

Пусть g:[0,∞)→[0,∞)g:[0, \infty ) \rightarrow [0, \infty ) — возрастающая функция, удовлетворяющая g(x)/x→∞g(x) / x \rightarrow \infty при x→∞x \rightarrow \infty. Покажите, что последовательность {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} равномерно интегрируема, если sup⁡nE[g(∣Xn∣)]<∞\sup_{n} \mathbb {E}\left[g\left(\left|X_{n}\right|\right)\right] < \infty.

?
Задача 7.10.4

Пусть {Zn:n≥0}\left\{ Z_{n}: n \geq 0\right\} — размеры поколений ветвящегося процесса с Z0=1,E[Z1]=1Z_{0} = 1, \mathbb {E}\left[Z_{1}\right] = 1, Var⁡(Z1)≠0\operatorname {Var}\left(Z_{1}\right) \neq 0. Покажите, что {Zn:n≥0}\left\{ Z_{n}: n \geq 0\right\} не является равномерно интегрируемой.

?
Задача 7.10.5

Предположим, что Xn≤Yn≤ZnX_{n} \leq Y_{n} \leq Z_{n}, где Xn→PX,Yn→PYX_{n} \xrightarrow {\mathrm{P}} X, Y_{n} \xrightarrow {\mathrm{P}} Y, и Zn→PZZ_{n} \xrightarrow {\mathrm{P}} Z. Если E[Xn]→E[X]\mathbb {E}\left[X_{n}\right] \rightarrow \mathbb {E}\left[X\right] и E[Zn]→E[Z]\mathbb {E}\left[Z_{n}\right] \rightarrow \mathbb {E}\left[Z\right], покажите, что E[Yn]→E[Y]\mathbb {E}\left[Y_{n}\right] \rightarrow \mathbb {E}\left[Y\right].

?
Задача 7.10.6

Пусть {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} — последовательность величин, удовлетворяющая E[sup⁡n∣Xn∣]<∞\mathbb {E}\left[\sup_{n}\left|X_{n}\right|\right] < \infty. Покажите, что {Xn}\left\{ X_{n}\right\} равномерно интегрируема.

?
Задача 7.10.7

Приведите пример равномерно интегрируемой последовательности {Xn}\left\{ X_{n}\right\} случайных величин и σ\sigma-алгебры qq, таких что Xn→ п.н. XX_{n} \xrightarrow {\text{ п.н. }} X при n→∞n \rightarrow \infty, но E[Xn∣g]\mathbb {E}\left[X_{n} \mid g\right] не сходится п.н. к E[X∣g]\mathbb {E}\left[X \mid \mathcal{g}\right].

?
§
Задача 7.11.1

Пусть XnX_{n} имеет функцию плотности

fn(x)=nπ(1+n2x2),n≥1 f_{n}(x) = \frac{n}{\pi \left(1+n^{2} x^{2}\right)}, \quad n \geq 1

Относительно каких видов сходимости XnX_{n} сходится при n→∞n \rightarrow \infty?

?
Задача 7.11.2

(i) Предположим, что Xn→ п.н. XX_{n} \xrightarrow {\text{ п.н. }} X и Yn→ п.н. YY_{n} \xrightarrow {\text{ п.н. }} Y.

?
(a)

Покажите, что Xn+Yn→ п.н. X+YX_{n}+Y_{n} \xrightarrow {\text{ п.н. }} X+Y.

(b)

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

(c)

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

(d)

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

Покажите, что если Xn→ п.н. XX_{n} \xrightarrow {\text{ п.н. }} X и Yn→ п.н. YY_{n} \xrightarrow {\text{ п.н. }} Y, то XnYn→ п.н. XYX_{n} Y_{n} \xrightarrow {\text{ п.н. }} X Y. Верен ли соответствующий результат для других видов сходимости?

Задача 7.11.3

Пусть g:R→Rg: \mathbb {R} \rightarrow \mathbb {R} — непрерывная функция. Покажите, что g(Xn)→Pg(X)g\left(X_{n}\right) \xrightarrow {\mathrm{P}} g(X), если Xn→PXX_{n} \xrightarrow {\mathrm{P}} X.

?
Задача 7.11.4

Пусть Y1,Y2,…Y_{1}, Y_{2}, \ldots — независимые одинаково распределённые величины, каждая из которых может принимать любое значение из {0,1,…,9}\left\{ 0,1, \ldots , 9\right\} с равной вероятностью 110\frac{1}{10}. Пусть Xn=∑i=1nYi10−iX_{n} = \sum_{i = 1}^{n} Y_{i} 10^{-i}. Используя характеристические функции, покажите, что XnX_{n} сходится по распределению к равномерному распределению на [0, 1]. Выведите отсюда, что Xn→ п.н. YX_{n} \xrightarrow {\text{ п.н. }} Y для некоторой YY, равномерно распределённой на [0,1][0,1].

?
Задача 7.11.5

Пусть N(t)N(t) — пуассоновский процесс с постоянной интенсивностью на R\mathbb {R}.

?
(a)

Найдите ковариацию N(s)N(s) и N(t)N(t).

(b)

Покажите, что NN непрерывен в среднем квадратичном, то есть E[{N(t+h)−N(t)}2]→0\mathbb {E}\left[\left\{ N(t+h)-N(t)\right\}^{2}\right] \rightarrow 0 при h→0h \rightarrow 0.

(c)

Докажите, что NN непрерывен по вероятности, то есть P(\midN(t+h)−N(t)∣>ϵ)→0\mathbb {P}\left(\midN (t+h\right)-N(t)| > \epsilon ) \rightarrow 0 при h→0h \rightarrow 0, для всех ϵ>0\epsilon > 0.

(d)

Покажите, что NN дифференцируем по вероятности, но не в среднем квадратичном.

Задача 7.11.6

Докажите, что n−1∑i=1nXi→ п.н. 0n^{-1} \sum_{i = 1}^{n} X_{i} \xrightarrow {\text{ п.н. }} 0, если XiX_{i} — независимые одинаково распределённые величины с нулевыми средними, такие что E[X14]<∞\mathbb {E}\left[X_{1}^{4}\right] < \infty.

?
Задача 7.11.7

Покажите, что Xn→ п.н. XX_{n} \xrightarrow {\text{ п.н. }} X, если ∑nE[∣Xn−X∣r]<∞\sum_{n} \mathbb {E}\left[\left|X_{n}-X\right|^{r}\right] < \infty при некотором r>0r > 0.

?
Задача 7.11.8

Покажите, что если Xn→DXX_{n} \xrightarrow {\mathrm{D}} X, то aXn+b→DaX+ba X_{n}+b \xrightarrow {\mathrm{D}} a X+b для любых вещественных aa и bb.

?
Задача 7.11.9
?
(a)

Неравенство Кантелли, или одностороннее неравенство Чебышова. Если XX имеет нулевое среднее и дисперсию σ2>0\sigma^{2} > 0, покажите, что

P(X≥t)≤σ2σ2+t2 для t>0 \mathbb {P}\left(X \geq t\right) \leq \frac{\sigma ^{2}}{\sigma ^{2}+t^{2}} \quad \text{ для } t > 0
(b)

Выведите отсюда, что ∣μ−m∣≤σ\left|\mu -m\right| \leq \sigma, где μ\mu, mm, и σ(>0)\sigma ( > 0) — среднее, медиана и стандартное отклонение данного распределения.

(c)

Используя неравенство Йенсена, докажите пункт (b) напрямую.

Задача 7.11.10

Покажите, что Xn→P0X_{n} \xrightarrow {\mathrm{P}} 0 тогда и только тогда, когда

E[∣Xn∣1+∣Xn∣]→0 при n→∞ \mathbb {E}\left[\frac{\left|X_{n}\right|}{1+\left|X_{n}\right|}\right] \rightarrow 0 \quad \text{ при } n \rightarrow \infty
?
Задача 7.11.11

Говорят, что последовательность {Xn}\left\{ X_{n}\right\} сходится по Коши в среднем квадратичном, если E[(Xn−Xm)2]→0\mathbb {E}\left[\left(X_{n}-X_{m}\right)^{2}\right] \rightarrow 0 при m,n→∞m, n \rightarrow \infty. Покажите, что {Xn}\left\{ X_{n}\right\} сходится в среднем квадратичном к некоторому пределу XX тогда и только тогда, когда она сходится по Коши в среднем квадратичном. Верен ли соответствующий результат для других видов сходимости?

?
Задача 7.11.12

Предположим, что {Xn}\left\{ X_{n}\right\} — последовательность некоррелированных величин с нулевыми средними и равномерно ограниченными дисперсиями. Покажите, что n−1∑i=1nXi→ с.к. 0n^{-1} \sum_{i = 1}^{n} X_{i} \xrightarrow {\text{ с.к. }} 0.

?
Задача 7.11.13

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые одинаково распределённые случайные величины с общей функцией распределения FF, и предположим, что F(x)<1F(x) < 1 при всех xx. Пусть Mn=max⁡{X1,X2,…,Xn}M_{n} = \max \left\{ X_{1}, X_{2}, \ldots , X_{n}\right\}, и предположим, что существует строго возрастающая неограниченная положительная последовательность a1,a2,…a_{1}, a_{2}, \ldots, такая что P(Mn/an≤x)→H(x)\mathbb {P}\left(M_{n} / a_{n} \leq x\right) \rightarrow H(x) для некоторой функции распределения HH. Будем считать, что HH непрерывна и 0<H(1)<10 < H(1) < 1; существенно более слабых условий достаточно, но они вносят дополнительные трудности.

?
(a)

Покажите, что n[1−F(anx)]→−log⁡H(x)n\left[1-F\left(a_{n} x\right)\right] \rightarrow -\log H(x) при n→∞n \rightarrow \infty, и выведите отсюда, что

1−F(anx)1−F(an)→log⁡H(x)log⁡H(1) если x>0 \frac{1-F\left(a_{n} x\right)}{1-F\left(a_{n}\right)} \rightarrow \frac{\log H(x)}{\log H(1)} \quad \text{ если } x > 0
(b)

Выведите отсюда, что если x>0x > 0

1−F(tx)1−F(t)→log⁡H(x)log⁡H(1) при t→∞ \frac{1-F(t x)}{1-F(t)} \rightarrow \frac{\log H(x)}{\log H(1)} \quad \text{ при } t \rightarrow \infty
(c)

Положим x=x1x2x = x_{1} x_{2} и сделаем подстановку

g(x)=log⁡H(ex)log⁡H(1) g(x) = \frac{\log H\left(e^{x}\right)}{\log H(1)}

чтобы получить g(x+y)=g(x)g(y)g(x+y) = g(x) g(y), и выведите отсюда, что

H(x)={exp⁡(−αx−β) если x≥00 если x<0 H(x) = \begin{cases} \exp \left(-\alpha x^{-\beta }\right) & \text{ если } x \geq 0 \\ 0 & \text{ если } x < 0\end{cases}

для некоторых неотрицательных констант α\alpha и β\beta. Вы показали, что HH является функцией распределения Y−1Y^{-1}, где YY имеет распределение Вейбулла.

Задача 7.11.14

Пусть X1,X2,…,XnX_{1}, X_{2}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением Коши. Покажите, что Mn=max⁡{X1,X2,…,Xn}M_{n} = \max \left\{ X_{1}, X_{2}, \ldots , X_{n}\right\} таково, что πMn/n\pi M_{n} / n сходится по распределению, причём предельная функция распределения задаётся как H(x)=e−1/xH(x) = e^{-1 / x} при x≥0x \geq 0.

?
Задача 7.11.15

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые одинаково распределённые случайные величины, общая характеристическая функция ϕ\phi которых удовлетворяет ϕ′(0)=iμ\phi^{\prime }(0) = i \mu. Покажите, что n−1∑j=1nXj→Pμn^{-1} \sum_{j = 1}^{n} X_{j} \xrightarrow {\mathrm{P}} \mu.

?
Задача 7.11.16

Расстояние по полной вариации dTV(X,Y)d_{\mathrm{TV}}(X, Y) между двумя случайными величинами XX и YY определяется как

dTV(X,Y)=sup⁡u:∥u∥∞=1∣E[u(X])−E[u(Y])∣ d_{\mathrm{TV}}(X, Y) = \sup _{u:\left\| u\right\| _{\infty } = 1}|\mathbb {E}\left[u(X\right])-\mathbb {E}\left[u(Y\right])|

где супремум берётся по всем (измеримым) функциям u:R→Ru: \mathbb {R} \rightarrow \mathbb {R}, таким что ∥u∥∞=sup⁡x∣u(x)∣\left\| u\right\|_{\infty } = \sup_{x}\left|u(x)\right| удовлетворяет ∥u∥∞=1\left\| u\right\|_{\infty } = 1.

?
(a)

Если XX и YY дискретны с вероятностями fnf_{n} и gng_{n} соответственно в точках xnx_{n}, покажите, что

dTV(X,Y)=∑n∣fn−gn∣=2sup⁡A⊆R∣P(X∈A)−P(Y∈A)∣ d_{\mathrm{TV}}(X, Y) = \sum _{n}\left|f_{n}-g_{n}\right| = 2 \sup _{A \subseteq \mathbb {R}}|\mathbb {P}\left(X \in A\right)-\mathbb {P}\left(Y \in A\right)|
(b)

Если XX и YY непрерывны с функциями плотности ff и gg соответственно, покажите, что

dTV(X,Y)=∫−∞∞∣f(x)−g(x)∣dx=2sup⁡A⊆R∣P(X∈A)−P(Y∈A)∣ d_{\mathrm{TV}}(X, Y) = \int _{-\infty }^{\infty }|f(x)-g(x)| d x = 2 \sup _{A \subseteq \mathbb {R}}|\mathbb {P}\left(X \in A\right)-\mathbb {P}\left(Y \in A\right)|
(c)

Покажите, что dTV(Xn,X)→0d_{\mathrm{TV}}\left(X_{n}, X\right) \rightarrow 0 влечёт Xn→XX_{n} \rightarrow X по распределению, но обратное неверно.

(d)

Максимальное сцепление (coupling). Покажите, что P(X≠Y)≥12dTV(X,Y)\mathbb {P}\left(X \neq Y\right) \geq \frac{1}{2} d_{\mathrm{TV}}(X, Y), и что существует пара X′,Y′X^{\prime }, Y^{\prime } с теми же маргинальными распределениями, для которой достигается равенство.

(e)

Если Xi,YjX_{i}, Y_{j} — независимые случайные величины, покажите, что

dTV(∑i=1nXi,∑i=1nYi)≤∑i=1ndTV(Xi,Yi) d_{\mathrm{TV}}\left(\sum _{i = 1}^{n} X_{i}, \sum _{i = 1}^{n} Y_{i}\right) \leq \sum _{i = 1}^{n} d_{\mathrm{TV}}\left(X_{i}, Y_{i}\right)
Задача 7.11.17

Пусть g:R→Rg: \mathbb {R} \rightarrow \mathbb {R} — ограниченная непрерывная функция. Покажите, что

∑k=0∞g(k/n)(nλ)kk!e−nλ→g(λ) при n→∞ \sum _{k = 0}^{\infty } g(k / n) \frac{(n \lambda )^{k}}{k!} e^{-n \lambda } \rightarrow g(\lambda ) \quad \text{ при } n \rightarrow \infty
?
Задача 7.11.18

Пусть XnX_{n} и YmY_{m} — независимые случайные величины, имеющие пуассоновское распределение с параметрами nn и mm соответственно. Покажите, что

(Xn−n)−(Ym−m)Xn+Ym→DN(0,1) при m,n→∞ \frac{\left(X_{n}-n\right)-\left(Y_{m}-m\right)}{\sqrt{X_{n}+Y_{m}}} \xrightarrow {\mathrm{D}} N(0,1) \quad \text{ при } m, n \rightarrow \infty
?
Задача 7.11.19
?
(a)

Предположим, что X1,X2,…X_{1}, X_{2}, \ldots — последовательность случайных величин, каждая из которых имеет нормальное распределение, и такая что Xn→DXX_{n} \xrightarrow {\mathrm{D}} X. Покажите, что XX имеет нормальное распределение, возможно вырожденное.

(b)

Для каждого n≥1n \geq 1 пусть (Xn,Yn)\left(X_{n}, Y_{n}\right) — пара случайных величин, имеющих двумерное нормальное распределение. Предположим, что Xn→PXX_{n} \xrightarrow {\mathrm{P}} X и Yn→PYY_{n} \xrightarrow {\mathrm{P}} Y, и покажите, что пара (X,Y)(X, Y) имеет двумерное нормальное распределение.

Задача 7.11.20

Пусть X1,X2,…X_{1}, X_{2}, \ldots — случайные величины, удовлетворяющие Var⁡(Xn)<c\operatorname {Var}\left(X_{n}\right) < c при всех nn и некоторой константе cc. Покажите, что последовательность подчиняется слабому закону, в том смысле, что n−1∑1n(Xi−E[Xi])n^{-1} \sum_{1}^{n}\left(X_{i}-\mathbb {E}\left[X_{i}\right]\right) сходится по вероятности к 00, если коэффициенты корреляции удовлетворяют одному из следующих условий: (i) ρ(Xi,Xj)≤0\rho \left(X_{i}, X_{j}\right) \leq 0 при всех i≠ji \neq j, (ii) ρ(Xi,Xj)→0\rho \left(X_{i}, X_{j}\right) \rightarrow 0 при ∣i−j∣→∞\left|i-j\right| \rightarrow \infty.

?
Задача 7.11.21

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины с общей функцией плотности

f(x)={0 если ∣x∣≤2cx2log⁡∣x∣ если ∣x∣>2 f(x) = \begin{cases} 0 & \text{ если }\left|x\right| \leq 2 \\ \frac{c}{x^{2} \log \left|x\right|} & \text{ если }\left|x\right| > 2\end{cases}

где cc — константа. Покажите, что XiX_{i} не имеют среднего, но n−1∑i=1nXi→P0n^{-1} \sum_{i = 1}^{n} X_{i} \xrightarrow {\mathrm{P}} 0 при n→∞n \rightarrow \infty. Покажите, что сходимость не имеет места почти наверное.

?
Задача 7.11.22

Пусть XnX_{n} — евклидово расстояние между двумя точками, выбранными независимо и равномерно из nn-мерного единичного куба. Покажите, что E[Xn]/n→1/6\mathbb {E}\left[X_{n}\right] / \sqrt{n} \rightarrow 1 / \sqrt{6} при n→∞n \rightarrow \infty.

?
Задача 7.11.23

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины, равномерно распределённые на [−1,1][-1,1]. Покажите, что

P(∣∑i=1nXi−1∣>12nπ)→12 при n→∞ \mathbb {P}\left(\left|\sum _{i = 1}^{n} X_{i}^{-1}\right| > \frac{1}{2} n \pi \right) \rightarrow \frac{1}{2} \quad \text{ при } n \rightarrow \infty
?
Задача 7.11.24

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины, каждая XkX_{k} из которых имеет функцию вероятности, заданную как

P(Xk=k)=P(Xk=−k)=12k2P(Xk=1)=P(Xk=−1)=12(1−1k2) если k>1 \begin{aligned} & \mathbb {P}\left(X_{k} = k\right) = \mathbb {P}\left(X_{k} = -k\right) = \frac{1}{2 k^{2}} \\ & \mathbb {P}\left(X_{k} = 1\right) = \mathbb {P}\left(X_{k} = -1\right) = \frac{1}{2}\left(1-\frac{1}{k^{2}}\right) \quad \text{ если } k > 1 \end{aligned}

Покажите, что Un=∑1nXiU_{n} = \sum_{1}^{n} X_{i} удовлетворяет Un/n→DN(0,1)U_{n} / \sqrt{n} \xrightarrow {\mathrm{D}} N(0,1), но Var⁡(Un/n)→2\operatorname {Var}\left(U_{n} / \sqrt{n}\right) \rightarrow 2 при n→∞n \rightarrow \infty.

?
Задача 7.11.25

Пусть X1,X2,…X_{1}, X_{2}, \ldots — случайные величины, и пусть N1,N2,…N_{1}, N_{2}, \ldots — случайные величины, принимающие значения в положительных целых числах, такие что Nk→P∞N_{k} \xrightarrow {\mathrm{P}} \infty при k→∞k \rightarrow \infty. Покажите, что: (i) если Xn→DXX_{n} \xrightarrow {\mathrm{D}} X и XnX_{n} независимы от NkN_{k}, то XNk→DXX_{N_{k}} \xrightarrow {\mathrm{D}} X при k→∞k \rightarrow \infty, (ii) если Xn→ п.н. XX_{n} \xrightarrow {\text{ п.н. }} X, то XNk→PXX_{N_{k}} \xrightarrow {\mathrm{P}} X при k→∞k \rightarrow \infty.

?
Задача 7.11.26
?
(a)

Пусть a(k,n)=nk/(k−1)a(k, n) = n^{k} /(k-1)! при 1≤k≤n+11 \leq k \leq n+1. Используя тот факт, что 1−x≤e−x1-x \leq e^{-x} при x≥0x \geq 0, покажите, что

a(n−k,n)a(n+1,n)≤e−k2/(2n) если k≥0 \frac{a(n-k, n)}{a(n+1, n)} \leq e^{-k^{2} /(2 n)} \quad \text{ если } k \geq 0
(b)

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые пуассоновские величины с параметром 1, и пусть Sn=X1+⋯+XnS_{n} = X_{1}+\cdots +X_{n}. Определим функцию g:R→Rg: \mathbb {R} \rightarrow \mathbb {R} как

g(x)={−x если 0≥x≥−M0 иначе  g(x) = \begin{cases} -x & \text{ если } 0 \geq x \geq -M \\ 0 & \text{ иначе }\end{cases}

где MM — большое положительное число. Покажите, что при больших nn

E[g{Sn−nn}]=e−nn{a(n+1,n)−a(n−k,n)} \mathbb {E}\left[g\left\{ \frac{S_{n}-n}{\sqrt{n}}\right\} \right] = \frac{e^{-n}}{\sqrt{n}}\left\{ a(n+1, n)-a(n-k, n)\right\}

где k=⌊Mn1/2⌋k = \left\lfloor M n^{1 / 2}\right\rfloor.

(c)

Теперь, используя центральную предельную теорему и пункт (a) выше, выведите формулу Стирлинга:

n!ennn+122π→1 при n→∞ \frac{n!e^{n}}{n^{n+\frac{1}{2}} \sqrt{2 \pi }} \rightarrow 1 \quad \text{ при } n \rightarrow \infty
Задача 7.11.27

Мешок содержит красные и зелёные шары. Из мешка вынимают шар, отмечают его цвет, а затем возвращают в мешок вместе с новым шаром того же цвета. Изначально мешок содержал по одному шару каждого цвета. Если RnR_{n} обозначает число красных шаров в мешке после nn добавлений, покажите, что Sn=Rn/(n+2)S_{n} = R_{n} /(n+2) является мартингалом. Выведите отсюда, что отношение числа красных шаров к числу зелёных сходится почти наверное к некоторому пределу при n→∞n \rightarrow \infty.

?
Задача 7.11.28

Пусть {Xi:i≥1}\left\{ X_{i}: i \geq 1\right\} — независимые одинаково распределённые случайные величины с нулевым средним и конечной положительной дисперсией σ2\sigma^{2}, и пусть Sn=∑1nXiS_{n} = \sum_{1}^{n} X_{i}. Предположим, что целочисленный случайный процесс M(t)M(t) удовлетворяет t−1M(t)→Pθt^{-1} M(t) \xrightarrow {\mathrm{P}} \theta при t→∞t \rightarrow \infty, где θ\theta — положительная константа. Покажите, что

SM(t)σθt→DN(0,1) и SM(t)σM(t)→DN(0,1) при t→∞. \frac{S_{M(t)}}{\sigma \sqrt{\theta t}} \xrightarrow {\mathrm{D}} N(0,1) \quad \text{ и } \quad \frac{S_{M(t)}}{\sigma \sqrt{M(t)}} \xrightarrow {\mathrm{D}} N(0,1) \quad \text{ при } t \rightarrow \infty .

Не следует предполагать, что процесс MM независим от XiX_{i}.

?
Задача 7.11.29

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины с нулевыми средними, и Sn=X1+X2+⋯+XnS_{n} = X_{1}+X_{2}+\cdots +X_{n}. Пусть Mn=max⁡1≤k≤n∣Sk∣M_{n} = \max_{1 \leq k \leq n}\left|S_{k}\right|, и покажите, что E[Sn2IAk]>c2P(Ak)\mathbb {E}\left[S_{n}^{2} I_{A_{k}}\right] > c^{2} \mathbb {P}\left(A_{k}\right), где Ak={Mk−1≤c<Mk}A_{k} = \left\{ M_{k-1} \leq c < M_{k}\right\} и c>0c > 0. Выведите отсюда неравенство Колмогорова:

P(max⁡1≤k≤n∣Sk∣>c)≤E[Sn2]c2,c>0. \mathbb {P}\left(\max _{1 \leq k \leq n}\left|S_{k}\right| > c\right) \leq \frac{\mathbb {E}\left[S_{n}^{2}\right]}{c^{2}}, \quad c > 0.
?
Задача 7.11.30

Пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины с нулевыми средними, и пусть Sn=X1+X2+⋯+XnS_{n} = X_{1}+X_{2}+ \cdots +X_{n}. Используя неравенство Колмогорова или теорему о сходимости мартингалов, покажите, что: (i) ∑i=1∞Xi\sum_{i = 1}^{\infty } X_{i} сходится почти наверное, если ∑k=1∞E[Xk2]<∞\sum_{k = 1}^{\infty } \mathbb {E}\left[X_{k}^{2}\right] < \infty, (ii) если существует возрастающая вещественная последовательность (bn)(b_{n}), такая что bn→∞b_{n} \rightarrow \infty и удовлетворяющая неравенству ∑k=1∞E[Xk2]/bk2<∞\sum_{k = 1}^{\infty } \mathbb {E}\left[X_{k}^{2}\right] / b_{k}^{2} < \infty, то bn−1∑k=1∞Xk→ п.н. 0b_{n}^{-1} \sum_{k = 1}^{\infty } X_{k} \xrightarrow {\text{ п.н. }} 0 при n→∞n \rightarrow \infty.

?
Задача 7.11.31

Марковская цепь X0,X1,…,XnX_{0}, X_{1}, \ldots , X_{n} имеет начальное распределение fi=P(X0=i)f_{i} = \mathbb {P}\left(X_{0} = i\right) и переходную матрицу P\mathbf{P}. Функция логарифмического правдоподобия λ(P)\lambda (\mathbf{P}) определяется как λ(P)=log⁡(fX0pX0,X1pX1,X2⋯pXn−1,Xn)\lambda (\mathbf{P}) = \log \left(f_{X_{0}} p_{X_{0}, X_{1}} p_{X_{1}, X_{2}} \cdots p_{X_{n-1}, X_{n}}\right). Покажите, что:

?
(a)

λ(P)=log⁡fX0+∑i,jNijlog⁡pij\lambda (\mathbf{P}) = \log f_{X_{0}}+\sum_{i, j} N_{i j} \log p_{i j}, где NijN_{i j} — число переходов из ii в jj,

(b)

рассматриваемая как функция pij,λ(P)p_{i j}, \lambda (\mathbf{P}) максимальна, когда pij=p^ijp_{i j} = \widehat{p}_{i j}, где p^ij=Nij/∑kNik\widehat{p}_{i j} = N_{i j} / \sum_{k} N_{i k},

(c)

если XX неприводима и эргодична, то p^ij→ п.н. pij\widehat{p}_{i j} \xrightarrow {\text{ п.н. }} p_{i j} при n→∞n \rightarrow \infty.

Задача 7.11.32

Эргодическая теорема в дискретном времени. Пусть XX — неприводимая марковская цепь с дискретным временем, и пусть μi\mu_{i} — среднее время возвращения в состояние ii. Пусть Vi(n)=∑r=0n−1I{Xr=i}V_{i}(n) = \sum_{r = 0}^{n-1} I_{\left\{ X_{r} = i\right\} } — число посещений состояния ii до момента n−1n-1, и пусть ff — произвольная ограниченная функция на SS. Покажите, что:

?
(a)

n−1Vi(n)→ п.н. μi−1n^{-1} V_{i}(n) \xrightarrow {\text{ п.н. }} \mu_{i}^{-1} при n→∞n \rightarrow \infty,

(b)

если μi<∞\mu_{i} < \infty при всех ii, то

1n∑r=0n−1f(Xr)→∑i∈Sf(i)/μi при n→∞ \frac{1}{n} \sum _{r = 0}^{n-1} f\left(X_{r}\right) \rightarrow \sum _{i \in S} f(i) / \mu _{i} \quad \text{ при } n \rightarrow \infty
Задача 7.11.33

Эргодическая теорема в непрерывном времени. Пусть XX — неприводимая возвратная марковская цепь с непрерывным временем, с генератором G\mathbf{G} и конечными средними временами возвращения mjm_{j}.

?
(a)

Покажите, что 1t∫0tI{X(s)=j}ds→ п.н. 1mjgj\frac{1}{t} \int_{0}^{t} I_{\left\{ X(s) = j\right\} } d s \xrightarrow {\text{ п.н. }} \frac{1}{m_{j} g_{j}} при t→∞t \rightarrow \infty;

(b)

выведите отсюда, что стационарное распределение π\pi удовлетворяет πj=1/(mjgj)\pi_{j} = 1 /\left(m_{j} g_{j}\right);

(c)

покажите, что если ff — ограниченная функция на SS, то

1t∫0tf(X(s))ds→ п.н. ∑iπif(i) при t→∞. \frac{1}{t} \int _{0}^{t} f(X(s)) d s \xrightarrow {\text{ п.н. }} \sum _{i} \pi _{i} f(i) \quad \text{ при } t \rightarrow \infty .
Задача 7.11.34

Предположим, что последовательности {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} и {Yn:n≥1}\left\{ Y_{n}: n \geq 1\right\} хвостово эквивалентны, то есть ∑n=1∞P(Xn≠Yn)<∞\sum_{n = 1}^{\infty } \mathbb {P}\left(X_{n} \neq Y_{n}\right) < \infty. Покажите, что:

?
(a)

∑n=1∞Xn\sum_{n = 1}^{\infty } X_{n} и ∑n=1∞Yn\sum_{n = 1}^{\infty } Y_{n} сходятся или расходятся одновременно,

(b)

∑n=1∞(Xn−Yn)\sum_{n = 1}^{\infty }\left(X_{n}-Y_{n}\right) сходится почти наверное,

(c)

если существуют случайная величина XX и последовательность ana_{n}, такие что an↑∞a_{n} \uparrow \infty и an−1∑r=1nXr→ п.н. Xa_{n}^{-1} \sum_{r = 1}^{n} X_{r} \xrightarrow {\text{ п.н. }} X, то

1an∑r=1nYr→ п.н. X. \frac{1}{a_{n}} \sum _{r = 1}^{n} Y_{r} \xrightarrow {\text{ п.н. }} X.
Задача 7.11.35

Пусть {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} — независимые случайные величины. Покажите, что ∑n=1∞Xn\sum_{n = 1}^{\infty } X_{n} сходится п.н., если при некотором a>0a > 0 все три следующих ряда сходятся:

(a) ∑nP(∣Xn∣>a)\sum_{n} \mathbb {P}\left(\left|X_{n}\right| > a\right)

(b) ∑nVar⁡(XnI{∣Xn∣≤a})\sum_{n} \operatorname {Var}\left(X_{n} I_{\left\{ \left|X_{n}\right| \leq a\right\} }\right)

(c) ∑nE[XnI{∣Xn∣≤a}]\sum_{n} \mathbb {E}\left[X_{n} I_{\left\{ \left|X_{n}\right| \leq a\right\} }\right].

?
Примечание.
?

Обратное также верно, но доказывается сложнее.

Задача 7.11.36

Пусть {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} — независимые случайные величины с непрерывной общей функцией распределения FF. Будем называть XkX_{k} рекордным значением последовательности, если Xk>XrX_{k} > X_{r} при 1≤r<k1 \leq r < k, и обозначим через IkI_{k} индикаторную функцию события, что XkX_{k} — рекордное значение.

?
(a)

Покажите, что случайные величины IkI_{k} независимы.

(b)

Покажите, что Rm=∑k=1mIrR_{m} = \sum_{k = 1}^{m} I_{r} удовлетворяет Rm/log⁡m→ п.н. 1R_{m} / \log m \xrightarrow {\text{ п.н. }} 1 при m→∞m \rightarrow \infty.

Задача 7.11.37

Пусть {Xn:n≥1}\left\{ X_{n}: n \geq 1\right\} — последовательность независимых случайных величин с P(Xn=1)=P(Xn=−1)=12\mathbb {P}\left(X_{n} = 1\right) = \mathbb {P}\left(X_{n} = -1\right) = \frac{1}{2}. Сходится ли ряд ∑r=1nXr/r\sum_{r = 1}^{n} X_{r} / r п.н. при n→∞n \rightarrow \infty?

?
Задача 7.11.38

Формула Стирлинга для гамма-функции. Пусть XX имеет гамма-распределение Γ(1,s)\Gamma (1, s). Рассматривая интеграл функции плотности Y=(X−s)/sY = (X-s) / \sqrt{s}, покажите, что Γ(s)∼2πss−12e−s\Gamma (s) \sim \sqrt{2 \pi } s^{s-\frac{1}{2}} e^{-s} при s→∞s \rightarrow \infty. [Указание: может оказаться полезным, что

∫abe−u(x)dx≤1u′(a)∫abu′(x)e−u(x)dx \int _{a}^{b} e^{-u(x)} d x \leq \frac{1}{u^{\prime }(a)} \int _{a}^{b} u^{\prime }(x) e^{-u(x)} d x

если u′(x)u^{\prime }(x) строго положительна и возрастает.]

?
Задача 7.11.39

Пусть c1,c2,…c_{1}, c_{2}, \ldots — вещественные числа, пусть X1,X2,…X_{1}, X_{2}, \ldots — независимые случайные величины с функцией вероятности f(1)=f(−1)=12f(1) = f(-1) = \frac{1}{2}, и пусть Sn=∑r=1ncrXrS_{n} = \sum_{r = 1}^{n} c_{r} X_{r}. Обозначим

Bn=∑r=1ncr4,Dn=∑r=1ncr2 B_{n} = \sum _{r = 1}^{n} c_{r}^{4}, \quad D_{n} = \sqrt{\sum _{r = 1}^{n} c_{r}^{2}}
?
(a)

Используя характеристические функции, покажите, что Sn/DnS_{n} / D_{n} сходится по распределению к распределению N(0,1)N(0,1) (при n→∞n \rightarrow \infty) тогда и только тогда, когда Bn/Dn4→0B_{n} / D_{n}^{4} \rightarrow 0. [Указание: можно использовать тот факт, что −23θ4≤12θ2+log⁡cos⁡θ≤−112θ4-\frac{2}{3} \theta^{4} \leq \frac{1}{2} \theta^{2}+\log \cos \theta \leq -\frac{1}{12} \theta^{4} при −14π≤θ≤14π-\frac{1}{4} \pi \leq \theta \leq \frac{1}{4} \pi.]

(b)

Найдите предел Sn/DnS_{n} / D_{n} в частном случае cr=2−rc_{r} = 2^{-r}.

Задача 7.11.40

Пусть XX и YY — случайные величины со средним 00, дисперсией 11 и корреляцией ρ\rho. Покажите, что при ϵ>0\epsilon > 0

P(∣X∣∨∣Y∣>ϵ)≤1ϵ2(1+1−ρ2) \mathbb {P}\left(|X| \vee |Y| > \epsilon \right) \leq \frac{1}{\epsilon ^{2}}\left(1+\sqrt{1-\rho ^{2}}\right)

где x∨y=max⁡{x,y}x \vee y = \max \left\{ x, y\right\}. [Указание: если ∣t∣≤1\left|t\right| \leq 1, функция g(x,y)=(x2−2txy+y2)/(ϵ2(1−t2))g(x, y) = \left(x^{2}-2 t x y+y^{2}\right) /\left(\epsilon^{2}\left(1-t^{2}\right)\right) неотрицательна и, более того, удовлетворяет g(x,y)≥1g(x, y) \geq 1, когда ∣x∣∨∣y∣≥ϵ\left|x\right| \vee \left|y\right| \geq \epsilon.]

?
Задача 7.11.41

Хвост пуассоновского распределения, шары по ячейкам. Пусть XX имеет пуассоновское распределение с параметром 1.

?
(a)

Покажите, что P(X≥t)≤et−1/tt\mathbb {P}\left(X \geq t\right) \leq e^{t-1} / t^{t} при t≥1t \geq 1.

(b)

Выведите отсюда, что максимум MnM_{n} из nn независимых случайных величин, распределённых как XX, удовлетворяет

lim⁡n→∞P(Mn≥(1+a)log⁡nlog⁡log⁡n)={1 если a<00 если a>0 \lim _{n \rightarrow \infty } \mathbb {P}\left(M_{n} \geq \frac{(1+a) \log n}{\log \log n}\right) = \begin{cases} 1 & \text{ если } a < 0 \\ 0 & \text{ если } a > 0\end{cases}