1.8

Сходимость по вероятности и по распределению

[27/0%]
Показать
LaTeX
Задача 1.8.1

Лемма 9.3 утверждает: достаточным условием сходимости YnY_{n} по вероятности к cc является E[(Yn−c)2]→0\mathbb {E}\left[(Y_{n}-c)^{2}\right] \rightarrow 0.

?
(a)

Докажите неравенство Чебышёва: для любой случайной величины XX и неотрицательной функции g(⋅)g(\cdot ),

P(g(X)≥ε)≤1εE[g(X)] \mathbb {P}\left(g(X) \geq \varepsilon \right) \leq \frac{1}{\varepsilon } \mathbb {E}\left[g(X)\right]

для каждого ε>0\varepsilon >0. (Во многих статистических приложениях полезно брать g(x)=(x−a)2/b2g(x)= (x-a)^{2} / b^{2} для некоторых констант aa и bb.)

(b)

Докажите Лемму 9.3. [Указание: Примените неравенство Чебышёва.]

Задача 1.8.2

Чтобы убедиться, что обратное утверждение к Теореме 8.2 не верно, пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые с E[Xi]=θ,var⁡(Xi)=σ2<∞\mathbb {E}\left[X_{i}\right]=\theta , \operatorname {var}\left(X_{i}\right)=\sigma^{2}<\infty, и пусть δn=Xˉ\delta_{n}=\bar{X} с вероятностью 1−εn1-\varepsilon_{n} и δn=An\delta_{n}=A_{n} с вероятностью εn\varepsilon_{n}. Если εn\varepsilon_{n} и AnA_{n} — константы, удовлетворяющие

εn→0 и εnAn→∞, \varepsilon _{n} \rightarrow 0 \quad \text{ и } \quad \varepsilon _{n} A_{n} \rightarrow \infty ,

то δn\delta_{n} состоятельна для оценивания θ\theta, но E[(δn−θ)2]\mathbb {E}\left[(\delta_{n}-\theta )^{2}\right] не стремится к нулю.

?
Задача 1.8.3

Предположим, что ρ(x)\rho (x) — чётная функция, не убывающая и неотрицательная при x≥0x \geq 0 и положительная при x>0x>0. Тогда E[ρ[δn−g(θ)]]→0\mathbb {E}\left[\rho \left[\delta_{n}-g(\theta )\right]\right] \rightarrow 0 для всех θ\theta влечёт, что δn\delta_{n} состоятельна для оценивания g(θ)g(\theta ).

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

Если An,BnA_{n}, B_{n} и YnY_{n} сходятся по вероятности к a,ba, b и yy соответственно, то An+BnYnA_{n}+B_{n} Y_{n} сходится по вероятности к a+bya+b y.

(b)

Если AnA_{n} принимает постоянное значение ana_{n} с вероятностью 1, и an→aa_{n} \rightarrow a, то An→aA_{n} \rightarrow a по вероятности.

Задача 1.8.5

Обращаясь к Примеру 8.4, покажите, что cnSn2→Pσ2c_{n} S_{n}^{2} \xrightarrow {P} \sigma^{2} для любой последовательности констант cn→1c_{n} \rightarrow 1. В частности, MLE σ^2=n−1nSn2\hat{\sigma }^{2}=\frac{n-1}{n} S_{n}^{2} является состоятельной оценкой σ2\sigma^{2}.

?
Задача 1.8.6

Проверьте уравнение (8.9).

?
Задача 1.8.7

Если {an}\left\{ a_{n}\right\} — последовательность действительных чисел, стремящаяся к aa, и если bn=(a1+…+an)/nb_{n}=\left(a_{1}+\ldots +a_{n}\right) / n, то bn→ab_{n} \rightarrow a.

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

Если δn\delta_{n} состоятельна для θ\theta, а gg непрерывна, то g(δn)g\left(\delta_{n}\right) состоятельна для g(θ)g(\theta ).

(b)

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые как N(θ,1)N(\theta , 1), и пусть g(θ)=0g(\theta )=0, если θ≠0\theta \neq 0, и g(0)=1g(0)=1. Найдите состоятельную оценку g(θ)g(\theta ).

Задача 1.8.9
?
(a)

В Примере 8.5 найдите cov⁡(Xi,Xj)\operatorname {cov}\left(X_{i}, X_{j}\right) для любых i≠ji \neq j.

(b)

Проверьте (8.10).

Задача 1.8.10
?
(a)

В Примере 8.5 найдите значение p1p_{1}, при котором pkp_{k} становится независимым от kk.

(b)

Если p1p_{1} имеет значение, найденное в (a), то для любых целых i1<⋯<iri_{1}<\cdots <i_{r} и kk совместное распределение Xi1,…,XirX_{i_{1}}, \ldots , X_{i_{r}} совпадает с распределением Xi1+k,…,Xir+kX_{i_{1}+k}, \ldots , X_{i_{r}+k}.

Задача 1.8.11

Предположим, что X1,…,XnX_{1}, \ldots , X_{n} имеют общее среднее ξ\xi и дисперсию σ2\sigma^{2}, и что cov⁡(Xi,Xj)=ρj−i\operatorname {cov}\left(X_{i}, X_{j}\right)= \rho_{j-i}. Для оценивания ξ\xi покажите, что:

?
(a)

Xˉ\bar{X} не состоятельна, если ρj−i=ρ≠0\rho_{j-i}=\rho \neq 0 для всех i≠ji \neq j;

(b)

Xˉ\bar{X} состоятельна, если ∣ρj−i∣≤Mγj−i\left|\rho_{j-i}\right| \leq M \gamma^{j-i} при ∣γ∣<1\left|\gamma \right|<1.

Задача 1.8.12

Предположим, что kn[δn−g(θ)]k_{n}\left[\delta_{n}-g(\theta )\right] сходится по распределению к непрерывному предельному распределению HH. Докажите, что:

?
(a)

Если kn′/kn→d≠0k_{n}^{\prime } / k_{n} \rightarrow d \neq 0 или ∞\infty, то kn′[δn−g(θ)]k_{n}^{\prime }\left[\delta_{n}-g(\theta )\right] также сходится к непрерывному предельному распределению.

(b)

Если kn′/kn→0k_{n}^{\prime } / k_{n} \rightarrow 0 или ∞\infty, то kn′[δn−g(θ)]k_{n}^{\prime }\left[\delta_{n}-g(\theta )\right] сходится по вероятности к нулю или бесконечности соответственно.

(c)

Если kn→∞k_{n} \rightarrow \infty, то δn→g(θ)\delta_{n} \rightarrow g(\theta ) по вероятности.

Задача 1.8.13

Покажите, что если Yn→cY_{n} \rightarrow c по вероятности, то она сходится по распределению к случайной величине YY, равной cc с вероятностью 1.

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

В Примере 8.7(i) и (ii) Yn→0Y_{n} \rightarrow 0 по вероятности. Покажите, что:

(b)

Если HnH_{n} обозначает функцию распределения YnY_{n} в Примере 8.7(i) и (ii), то Hn(a)→0H_{n}(a) \rightarrow 0 для всех a<0a<0 и Hn(a)→1H_{n}(a) \rightarrow 1 для всех a>0a>0.

(c)

Найдите lim⁡Hn(0)\lim H_{n}(0) для Примера 8.7(i) и (ii).

Задача 1.8.15

Если Tn>0T_{n}>0 удовлетворяет n[Tn−θ]→LN(0,τ2)\sqrt{n}\left[T_{n}-\theta \right] \xrightarrow {\mathcal{L}} N\left(0, \tau^{2}\right), найдите предельное распределение (надлежащим образом нормированных)

?
(a)

Tn\sqrt{T_{n}} и

(b)

log⁡Tn\log T_{n}.

Задача 1.8.16

Если TnT_{n} удовлетворяет n[Tn−θ]→LN(0,τ2)\sqrt{n}\left[T_{n}-\theta \right] \xrightarrow {\mathcal{L}} N\left(0, \tau^{2}\right), найдите предельное распределение (надлежащим образом нормированных)

?
(a)

Tn2T_{n}^{2},

(b)

log⁡∣Tn∣\log \left|T_{n}\right|,

(c)

1/Tn1 / T_{n}, и

(d)

eTne^{T_{n}}.

Задача 1.8.17

Дисперсионно-стабилизирующие преобразования — это преобразования, при которых полученная статистика имеет асимптотическую дисперсию, не зависящую от интересующих параметров. Для каждого из следующих случаев найдите асимптотическое распределение преобразованной статистики и покажите, что оно стабилизирует дисперсию.

?
(a)

Tn=1n∑i=1nXi,Xi∼Poisson⁡(λ),h(Tn)=TnT_{n}=\frac{1}{n} \sum_{i=1}^{n} X_{i}, X_{i} \sim \operatorname {Poisson}(\lambda ), h\left(T_{n}\right)=\sqrt{T_{n}}.

(b)

Tn=1n∑i=1nXi,Xi∼Bernoulli⁡(p),h(Tn)=arcsin⁡TnT_{n}=\frac{1}{n} \sum_{i=1}^{n} X_{i}, X_{i} \sim \operatorname {Bernoulli}(p), h\left(T_{n}\right)=\arcsin \sqrt{T_{n}}.

Задача 1.8.18
?
(a)

Функция v(⋅)v(\cdot ) является дисперсионно-стабилизирующим преобразованием, если оценка v(Tn)v\left(T_{n}\right) имеет асимптотическую дисперсию τ2(θ)[v′(θ)]2=c\tau^{2}(\theta )\left[v^{\prime }(\theta )\right]^{2}=c, где cc — константа, не зависящая от θ\theta.

(b)

Для произвольного положительного целого nn найдите дисперсионно-стабилизирующее преобразование, если τ2(θ)=θn\tau^{2}(\theta )=\theta^{n}. В частности, будьте внимательны в важном случае n=2n=2.

[Дисперсионно-стабилизирующее преобразование (если оно существует) является решением дифференциального уравнения, возникающего из приближения дельта-метода для дисперсии оценки (Теорема 8.12), и не зависит от распределения статистики (за исключением того, что распределение определяет вид дисперсии). Преобразования из пункта (b) известны как семейство степенных преобразований Бокса—Кокса и играют важную роль в прикладной статистике. Подробнее и для интересных обсуждений см. Bickel and Doksum 1981, Box and Cox 1982 и Hinkley and Runger 1984.]

Задача 1.8.19

Serfling (1980, Раздел 3.1) отмечает, что можно установить следующие вариации Теоремы 8.12. Покажите, что:

?
(a)

Если hh дифференцируема в окрестности θ\theta, а h′h^{\prime } непрерывна в θ\theta, то h′(θ)h^{\prime }(\theta ) можно заменить на h′(Tn)h^{\prime }\left(T_{n}\right), получив

n[h(Tn)−h(θ)]τh′(Tn)→LN(0,1). \sqrt{n} \frac{\left[h\left(T_{n}\right)-h(\theta )\right]}{\tau h^{\prime }\left(T_{n}\right)} \xrightarrow {\mathcal{L}} N(0,1).
(b)

Более того, если τ2\tau^{2} — непрерывная функция θ\theta, скажем, τ2(θ)\tau^{2}(\theta ), её можно заменить на τ2(Tn)\tau^{2}\left(T_{n}\right), получив

n[h(Tn)−h(θ)]τ(Tn)h′(Tn)→LN(0,1). \sqrt{n} \frac{\left[h\left(T_{n}\right)-h(\theta )\right]}{\tau \left(T_{n}\right) h^{\prime }\left(T_{n}\right)} \xrightarrow {\mathcal{L}} N(0,1).
Задача 1.8.20

Теорема 8.16 утверждает (она начинается в многомерной постановке, но её заключение одномерно): пусть (X1ν,…,Xsν)(X_{1 \nu }, \ldots , X_{s \nu }), ν=1,…,n\nu =1, \ldots , n, — nn независимых ss-наборов случайных величин с E[Xiν]=ξi\mathbb {E}\left[X_{i \nu }\right]=\xi_{i} и cov⁡(Xiν,Xjν)=σij\operatorname {cov}(X_{i \nu }, X_{j \nu })=\sigma_{i j}. Пусть Xˉi=∑νXiν/n\bar{X}_{i}=\sum_{\nu } X_{i \nu } / n, и предположим, что hh — вещественнозначная функция от ss аргументов с непрерывными первыми частными производными. Тогда,

n[h(Xˉ1,…,Xˉs)−h(ξ1,…,ξs)]→LN(0,v2), \sqrt{n}\left[h\left(\bar{X}_{1}, \ldots , \bar{X}_{s}\right)-h\left(\xi _{1}, \ldots , \xi _{s}\right)\right] \xrightarrow {\mathcal{L}} N\left(0, v^{2}\right),

где v2=∑i,jσij∂h∂ξi∂h∂ξjv^{2}=\sum_{i,j} \sigma_{i j} \dfrac {\partial h}{\partial \xi_{i}} \dfrac {\partial h}{\partial \xi_{j}}, при условии v2>0v^{2}>0.

Докажите Теорему 8.16.

?
Задача 1.8.21

Говорят, что последовательность чисел RnR_{n} есть o(1/kn)o\left(1 / k_{n}\right) при n→∞n \rightarrow \infty, если knRn→0k_{n} R_{n} \rightarrow 0, и есть O(1/kn)O\left(1 / k_{n}\right), если существуют MM и n0n_{0}, такие что ∣knRn∣<M\left|k_{n} R_{n}\right|<M для всех n>n0n>n_{0}, или, что эквивалентно, если knRnk_{n} R_{n} ограничена.

?
(a)

Если Rn=o(1/kn)R_{n}=o\left(1 / k_{n}\right), то Rn=0(1/kn)R_{n}=0\left(1 / k_{n}\right).

(b)

Rn=0(1)R_{n}=0(1) тогда и только тогда, когда RnR_{n} ограничена.

(c)

Rn=o(1)R_{n}=o(1) тогда и только тогда, когда Rn→0R_{n} \rightarrow 0.

(d)

Если RnR_{n} есть O(1/kn)O\left(1 / k_{n}\right), а kn′/knk_{n}^{\prime } / k_{n} стремится к конечному пределу, то RnR_{n} есть O(1/kn′)O\left(1 / k_{n}^{\prime }\right).

Задача 1.8.22
?
(a)

Если RnR_{n} и Rn′R_{n}^{\prime } оба есть O(1/kn)O\left(1 / k_{n}\right), то и Rn+Rn′R_{n}+R_{n}^{\prime } есть O(1/kn)O\left(1 / k_{n}\right).

(b)

Если RnR_{n} и Rn′R_{n}^{\prime } оба есть o(1/kn)o\left(1 / k_{n}\right), то и Rn+Rn′R_{n}+R_{n}^{\prime } есть o(1/kn)o\left(1 / k_{n}\right).

Задача 1.8.23

Предположим, что kn′/kn→∞k_{n}^{\prime } / k_{n} \rightarrow \infty.

?
(a)

Если Rn=0(1/kn)R_{n}=0\left(1 / k_{n}\right) и Rn′=0(1/kn′)R_{n}^{\prime }=0\left(1 / k_{n}^{\prime }\right), то Rn+Rn′=0(1/kn)R_{n}+R_{n}^{\prime }=0\left(1 / k_{n}\right).

(b)

Если Rn=o(1/kn)R_{n}=o\left(1 / k_{n}\right) и Rn′=o(1/kn′)R_{n}^{\prime }=o\left(1 / k_{n}^{\prime }\right), то Rn+Rn′=o(1/kn)R_{n}+R_{n}^{\prime }=o\left(1 / k_{n}\right).

Задача 1.8.24

Последовательность случайных величин YnY_{n} называется ограниченной по вероятности, если для любого ε>0\varepsilon >0 существуют MM и n0n_{0}, такие что P(∣Yn∣>M)<ε\mathbb {P}\left(\left|Y_{n}\right|>M\right)<\varepsilon для всех n>n0n>n_{0}. Покажите, что если YnY_{n} сходится по распределению, то YnY_{n} ограничена по вероятности.

?
Задача 1.8.25

В обобщение обозначений oo и OO, будем говорить, что Yn=op(1/kn)Y_{n}=o_{p}\left(1 / k_{n}\right), если knYn→0k_{n} Y_{n} \rightarrow 0 по вероятности, и что Yn=Op(1/kn)Y_{n}=O_{p}\left(1 / k_{n}\right), если knYnk_{n} Y_{n} ограничена по вероятности. Покажите, что результаты Задач 8.21-8.23 остаются справедливыми, если oo и OO заменить на opo_{p} и OpO_{p}.

?
Задача 1.8.26

Пусть (Xn,Yn)(X_{n}, Y_{n}) имеет двумерное нормальное распределение со средними E[Xn]=E[Yn]=0\mathbb {E}\left[X_{n}\right]=\mathbb {E}\left[Y_{n}\right]=0, дисперсиями E[Xn2]=E[Yn2]=1\mathbb {E}\left[X_{n}^{2}\right]=\mathbb {E}\left[Y_{n}^{2}\right]=1 и коэффициентом корреляции ρn\rho_{n}, стремящимся к 1 при n→∞n \rightarrow \infty.

?
(a)

Покажите, что (Xn,Yn)→L(X,Y)\left(X_{n}, Y_{n}\right) \xrightarrow {\mathcal{L}}(X, Y), где XX есть N(0,1)N(0,1) и P(X=Y)=1\mathbb {P}\left(X=Y\right)=1.

(b)

Если S={(x,y):x=y}S=\left\{ (x, y): x=y\right\}, покажите, что (8.25) не выполняется.

Задача 1.8.27

Теорема 8.22 утверждает: предположим, что [n(Y1n−θ1),…,n(Yrn−θr)][\sqrt{n}(Y_{1n}-\theta_{1}), \ldots , \sqrt{n}(Y_{rn}-\theta_{r})] сходится по распределению к многомерному нормальному распределению с вектором средних 00 и ковариационной матрицей Σ\Sigma, и предположим, что h1,…,hrh_{1}, \ldots , h_{r} — rr вещественнозначных функций от θ=(θ1,…,θr)\theta =(\theta_{1}, \ldots , \theta_{r}), определённых и непрерывно дифференцируемых в окрестности ω\omega точки параметра θ\theta и таких, что матрица B=∥∂hi/∂θj∥B=\left\| \partial h_{i} / \partial \theta_{j}\right\| частных производных невырождена в ω\omega. Тогда [n[h1(Yn)−h1(θ)],…,n[hr(Yn)−hr(θ)]][\sqrt{n}[h_{1}(Y_{n})-h_{1}(\theta )], \ldots , \sqrt{n}[h_{r}(Y_{n})-h_{r}(\theta )]] сходится по распределению к многомерному нормальному распределению с вектором средних 00 и ковариационной матрицей BΣB′B\Sigma B'.

Докажите Теорему 8.22. [Указание: Проведите разложение Тейлора, как в доказательстве Теоремы 8.12, и используйте Задачу 4.16.]

?