25

Слабая сходимость

[20/40%]
Показать
LaTeX
Задача 25.1
?
(a)

Покажите на примере, что функции распределения, имеющие плотности, могут слабо сходиться, даже если плотности не сходятся: Указание: Рассмотрите fn(x)=1+cos⁡2πnxf_{n}(x)=1+ \cos 2 \pi n x на [0,1][0,1].

(b)

Пусть fnf_{n} равна 2n2^{n}, умноженному на индикатор множества тех xx в единичном интервале, для которых dn+1(x)=⋯=d2n(x)=0d_{n+1}(x)=\cdots =d_{2 n}(x)=0, где dk(x)d_{k}(x) — kk-й двоичный знак. Покажите, что fn(x)→0f_{n}(x) \rightarrow 0 всюду, кроме множества лебеговой меры 0; на этом исключительном множестве переопределите fn(x)=0f_{n}(x)=0 для всех nn, так что fn(x)→0f_{n}(x) \rightarrow 0 везде. Покажите, что распределения, соответствующие этим плотностям, слабо сходятся к мере Лебега, ограниченной на единичный интервал.

(c)

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

(d)

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

(e)

Постройте пример, подобный Примеру 253, в котором μn(A)→μ(A)\mu_{n}(A) \rightarrow \mu (A) не выполняется, но в котором все меры происходят из непрерывных плотностей на [0,1][0,1].

Задача 25.2

14.8↑14.8 \uparrow Приведите простое доказательство теоремы Гливенко—Кантелли (Теорема 20.6) при дополнительном предположении, что FF непрерывна.

?
Задача 25.3

Начальные цифры.

?
(a)

Покажите, что первая значащая цифра положительного числа xx равна dd (в десятичной системе счисления) тогда и только тогда, когда {log⁡10x}\left\{ \log_{10} x\right\} лежит между log⁡10d\log_{10} d и log⁡10(d+1)\log_{10}(d+1), d=1,…,9d=1, \ldots , 9, где фигурные скобки обозначают дробную часть.

(b)

Для положительных чисел x1,x2,…x_{1}, x_{2}, \ldots пусть Nr(d)N_{r}(d) — число тех среди первых nn, которые имеют начальную цифру dd. Покажите, что

lim⁡n1nNn(d)=log⁡10(d+1)−log⁡10d,d=1,…,9(25.14) \lim _{n} \frac{1}{n} N_{n}(d)=\log _{10}(d+1)-\log _{10} d, \quad d=1, \ldots , 9 \tag {25.14}

если последовательность log⁡10xn,n=1,2,…\log_{10} x_{n}, n=1,2, \ldots, равномерно распределена по модулю 1. Это верно, например, для xn=ϑnx_{n}=\vartheta^{n}, если log⁡10ϑ\log_{10} \vartheta иррационально.

(c)

Пусть DnD_{n} — первая значащая цифра положительной случайной величины XnX_{n}. Покажите, что

lim⁡nP[Dn=d]=log⁡10(d+1)−log⁡10d,d=1,…,9(25.15) \lim _{n} P\left[D_{n}=d\right]=\log _{10}(d+1)-\log _{10} d, \quad d=1, \ldots , 9 \tag {25.15}

если {log⁡10Xn}⇒U\left\{ \log_{10} X_{n}\right\} \Rightarrow U, где UU равномерно распределена на единичном интервале.

Задача 25.4

Покажите, что для каждой вероятностной меры μ\mu на прямой существуют вероятностные меры μn\mu_{n} с конечным носителем такие, что μn⇒μ\mu_{n} \Rightarrow \mu. Покажите далее, что μn{x}\mu_{n}\left\{ x\right\} можно взять рациональным и что каждую точку носителя можно взять рациональной. Таким образом, существует счётное множество вероятностных мер такое, что каждая μ\mu является слабым пределом некоторой последовательности из этого множества. Таким образом, пространство функций распределения сепарабельно в метрике Леви (см. Задачу 14.5).

?
Задача 25.5

Покажите, что (25.5) влечёт P([X≤x]Δ[Xn≤x])→0P\left([X \leq x] \Delta \left[X_{n} \leq x\right]\right) \rightarrow 0, если P[X=x]=0P[X=x]=0.

?
Задача 25.6

Для произвольных случайных величин XnX_{n} существуют положительные константы ana_{n} такие, что anXn⇒0a_{n} X_{n} \Rightarrow 0.

?
Задача 25.7

Обобщите Пример 25.8, показав для трёхмерных случайных векторов (An,Bn,Xn)(A_{n}, B_{n}, X_{n}) и констант aa и b,a≥0b, a \geq 0, что если An⇒a,Bn⇒bA_{n} \Rightarrow a, B_{n} \Rightarrow b и Xn⇒XX_{n} \Rightarrow X, то AnXn+Bn⇒aX+bA_{n} X_{n}+B_{n} \Rightarrow a X+b. Указание: Сначала покажите, что если Yn⇒YY_{n} \Rightarrow Y и Dn⇒0D_{n} \Rightarrow 0, то DnYn⇒0D_{n} Y_{n} \Rightarrow 0.

?
Задача 25.8

Предположим, что Xn⇒XX_{n} \Rightarrow X и hnh_{n} и hh — борелевские функции. Пусть EE — множество тех xx, для которых hnxn→hxh_{n} x_{n} \rightarrow h x не выполняется для некоторой последовательности xn→xx_{n} \rightarrow x. Предположим, что E∈R1E \in \mathscr {R}^{1} и P[X∈E]=0P[X \in E]=0. Покажите, что hnXn⇒hXh_{n} X_{n} \Rightarrow h X.

?
Задача 25.9

Предположим, что распределения случайных величин XnX_{n} и XX имеют плотности fnf_{n} и ff. Покажите, что если fn(x)→f(x)f_{n}(x) \rightarrow f(x) для xx вне множества лебеговой меры 0, то Xn⇒XX_{n} \Rightarrow X.

?
Задача 25.10

↑\uparrow Предположим, что XnX_{n} принимает в качестве значений γn+kδn,k=0,±1,…\gamma_{n}+k \delta_{n}, k=0, \pm 1, \ldots, где δn>0\delta_{n}>0. Предположим, что δn→0\delta_{n} \rightarrow 0 и что, если knk_{n} — целое число, меняющееся вместе с nn таким образом, что γn+knδn→x\gamma_{n}+k_{n} \delta_{n} \rightarrow x, то P[Xn=γn+knδn]δn−1→f(x)P\left[X_{n}=\gamma_{n}+k_{n} \delta_{n}\right] \delta_{n}^{-1} \rightarrow f(x), где ff — плотность случайной величины XX. Покажите, что Xn⇒XX_{n} \Rightarrow X.

?
Задача 25.11

↑\uparrow Пусть SnS_{n} имеет биномиальное распределение с параметрами nn и pp. Примем как известное, что

P[Sn=kn](np(1−p))1/2→12πe−x2/2(25.16) P\left[S_{n}=k_{n}\right](n p(1-p))^{1 / 2} \rightarrow \frac{1}{\sqrt{2 \pi }} e^{-x^{2} / 2} \tag {25.16}

если (kn−np)(np(1−p))−1/2→x\left(k_{n}-n p\right)(n p(1-p))^{-1 / 2} \rightarrow x. Выведите теорему Муавра—Лапласа: (Sn−np)(np(1−p))−1/2⇒N\left(S_{n}\right. -n p)(n p(1-p))^{-1 / 2} \Rightarrow N, где NN имеет стандартное нормальное распределение. Это частный случай центральной предельной теоремы; см. Раздел 27.

?
Задача 25.12

Докажите слабую сходимость в Примере 25.3, используя Теорему 25.8 и теорию интеграла Римана.

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

Покажите, что вероятностные меры удовлетворяют μn⇒μ\mu_{n} \Rightarrow \mu, если μn(a,b]→μ(a,b]\mu_{n}(a, b] \rightarrow \mu (a, b] всякий раз, когда μ{a}=μ{b}=0\mu \left\{ a\right\} =\mu \left\{ b\right\} =0.

(b)

Покажите, что если ∫fdμn→∫fdμ\int f d_{\mu_{n}} \rightarrow \int f d \mu для всех непрерывных ff с ограниченным носителем, то μn⇒μ\mu_{n} \Rightarrow \mu.

Задача 25.14

↑\uparrow Пусть μ\mu — мера Лебега, ограниченная на единичный интервал; пусть μn\mu_{n} соответствует массе xn,i−xn,i−1x_{n, i}-x_{n, i-1} в некоторой точке из ( xn,i−1,xn,ix_{n, i-1}, x_{n, i} ], где 0=xn0<xn1<⋯<xnn=10=x_{n 0} <x_{n 1}<\cdots <x_{n n}=1. Покажите, рассматривая функции распределения, что μn⇒μ\mu_{n} \Rightarrow \mu, если max⁡i<n(xn,i−xn,i−1)→0\max_{i<n}\left(x_{n, i}-x_{n, i-1}\right) \rightarrow 0. Выведите, что ограниченная борелевская функция, непрерывная почти всюду на единичном интервале, интегрируема по Риману. См. Задачу 17.1.

?
Задача 25.15

2.185.19↑2.185 .19 \uparrow Функция ff положительных целых чисел имеет функцию распределения FF, если FF является слабым пределом функции распределения Pn[m:f(m)≤x]P_{n}[m: f(m) \leq x] величины ff относительно меры, имеющей вероятность 1/n1 / n в каждой из точек 1,…,n1, \ldots , n (см. 2.34)). В этом случае D[m:f(m)≤x]=F(x)D[m: f(m) \leq x]=F(x) (см. (2.35)) для точек непрерывности xx функции FF. Покажите, что φ(m)/m\varphi (m) / m (см. (2.37)) имеет распределение:

?
(a)

Покажите с помощью теоремы об отображении, что достаточно доказать, что f(m)=log⁡(φ(m)/m)=∑pδp(m)log⁡(1−1/p)f(m)= \log (\varphi (m) / m)=\sum_{p} \delta_{p}(m) \log (1-1 / p) имеет распределение.

(b)

Пусть fu(m)=∑p≤uδp(m)log⁡(1−1/p)f_{u}(m)=\sum_{p \leq u} \delta_{p}(m) \log (1-1 / p), и покажите с помощью (5.45), что fuf_{u} имеет функцию распределения Fu(x)=P[∑p≤uXplog⁡(1−1/p)≤x]F_{u}(x)=P\left[\sum_{p \leq u} X_{p} \log (1-1 / p) \leq x\right], где XpX_{p} — независимые случайные величины (по одной для каждого простого числа pp) такие, что P[Xp=1]=1/pP\left[X_{p}=1\right]= 1 / p и P[Xρ=0]=1−1/pP\left[X_{\rho }=0\right]=1-1 / p.

(c)

Покажите, что ∑pXplog⁡(1−1/p)\sum_{p} X_{p} \log (1-1 / p) сходится с вероятностью 1. Указание: Используйте Теорему 22.6.

(d)

Покажите, что lim⁡u→∞sup⁡nEn[∣f−fu∣]=0\lim_{u \rightarrow \infty } \sup_{n} E_{n}\left[\left|f-f_{u}\right|\right]=0 (обозначения см. в (5.46)).

(e)

Заключите с помощью неравенства Маркова и Теоремы 25.5, что ff имеет распределение суммы из пункта (c).

Задача 25.16

Для A∈R1A \in \mathscr {R}^{1} и T>0T>0 положим λT(A)=λ([−T,T]∩A)/2T\lambda_{T}(A)=\lambda ([-T, T] \cap A) / 2 T, где λ\lambda — мера Лебега. Относительной мерой AA называется

ρ(A)=lim⁡T→∞λT(A),(25.17) \rho (A)=\lim _{T \rightarrow \infty } \lambda _{T}(A), \tag {25.17}

при условии, что этот предел существует. Это непрерывный аналог плотности (см. (2.35)) для множеств целых чисел. Борелевская функция ff имеет распределение относительно λT\lambda_{T}; если оно слабо сходится к FF, то

ρ[x:f(x)≤u]=F(u)(25.18) \rho [x: f(x) \leq u]=F(u) \tag {25.18}

для точек непрерывности uu функции FF, и FF называется функцией распределения ff. Покажите, что все периодические функции имеют распределения.

?
Задача 25.17

Предположим, что sup⁡n∫fdμn<∞\sup_{n} \int f d \mu_{n}<\infty для неотрицательной ff такой, что f(x)→∞f(x) \rightarrow \infty при x→±∞x \rightarrow \pm \infty. Покажите, что {μn}\left\{ \mu_{n}\right\} плотно.

?
Задача 25.18

23.4↑23.4 \uparrow Покажите, что случайные величины AtA_{t} и LtL_{t} из Задач 23.3 и 23.4 сходятся по распределению. Покажите, что моменты сходятся.

?
Задача 25.19

В приложениях Теоремы 9.2 на самом деле требуется лишь более слабый результат: для каждого KK существует положительное α=α(K)\alpha =\alpha (K) такое, что если E[X]=0,E[X2]=1E[X]=0, E\left[X^{2}\right]=1 и E[X4]≤KE\left[X^{4}\right] \leq K, то P[X≥0]≥αP[X \geq 0] \geq \alpha. Докажите это, используя плотность и следствие из Теоремы 25.12.

?
Задача 25.20

Найдите равномерно интегрируемые случайные величины XnX_{n}, для которых не существует интегрируемой ZZ, удовлетворяющей P[∣Xn∣≥t]≤P[∣Z∣≥t]P\left[\left|X_{n}\right| \geq t\right] \leq P[\left|Z\right| \geq t] при t>0t>0.

?