Section 25

Weak Convergence

[20/40%]
Show
LaTeX
Problem 25.1
?
(a)

Show by example that distribution functions having densities can converge weakly even if the densities do not converge: Hint: Consider fn(x)=1+cos⁡2πnxf_{n}(x)=1+ \cos 2 \pi n x on [0,1][0,1].

(b)

Let fnf_{n} be 2n2^{n} times the indicator of the set of xx in the unit interval for which dn+1(x)=⋯=d2n(x)=0d_{n+1}(x)=\cdots =d_{2 n}(x)=0, where dk(x)d_{k}(x) is the kk th dyadic digit. Show that fn(x)→0f_{n}(x) \rightarrow 0 except on a set of Lebesgue measure 0 ; on this exceptional set, redefine fn(x)=0f_{n}(x)=0 for all nn, so that fn(x)→0f_{n}(x) \rightarrow 0 everywhere. Show that the distributions corresponding to these densities converge weakly to Lebesgue measure confined to the unit interval.

(c)

Show that distributions with densities can converge weakly to a limit that has no density (even to a unit mass).

(d)

Show that discrete distributions can converge weakly to a distribution that has a density.

(e)

Construct an example, like that of Example 25.3, in which μn(A)→μ(A)\mu_{n}(A) \rightarrow \mu (A) fails but in which all the measures come from continuous densities on [0,1][0,1].

Problem 25.2

14.8↑14.8 \uparrow Give a simple proof of the Gilvenko-Cantelli theorem (Theorem 20.6) under the extra hypothesis that FF is continuous.

?
Problem 25.3

Initial digits.

?
(a)

Show that the first significant digit of a positive number xx is dd (in the scale of 10) if and only if {log⁡10x}\left\{ \log_{10} x\right\} lies between log⁡10d\log_{10} d and log⁡10(d+1)\log_{10}(d+1), d=1,…,9d=1, \ldots , 9, where the braces denote fractional part.

(b)

For positive numbers x1,x2,…x_{1}, x_{2}, \ldots, let Nr(d)N_{r}(d) be the number among the first nn that have initial digit dd. Show that

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}

if the sequence log⁡10xn,n=1,2,…\log_{10} x_{n}, n=1,2, \ldots, is uniformly distributed modulo 1. This is true, for example, of xn=ϑnx_{n}=\vartheta^{n} if log⁡10ϑ\log_{10} \vartheta is irrational.

(c)

Let DnD_{n} be the first significant digit of a positive random variable XnX_{n}. Show that

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

if {log⁡10Xn}⇒U\left\{ \log_{10} X_{n}\right\} \Rightarrow U, where UU is uniformly distributed over the unit interval.

Problem 25.4

Show that for each probability measure μ\mu on the line there exist probability measures μn\mu_{n} with finite support such that μn⇒μ\mu_{n} \Rightarrow \mu. Show further that μn{x}\mu_{n}\left\{ x\right\} can be taken rational and that each point in the support can be taken rational. Thus there exists a countable set of probability measures such that every μ\mu is the weak limit of some sequence from the set. The space of distribution functions is thus separable in the Lévy metric (see Problem 14.5).

?
Problem 25.5

Show that (25.5) implies that P([X≤x]Δ[Xn≤x])→0\mathbb {P}\left([X \leq x] \Delta \left[X_{n} \leq x\right]\right) \rightarrow 0 if P(X=x)=0\mathbb {P}\left(X=x\right)=0.

?
Problem 25.6

For arbitrary random variables XnX_{n} there exist positive constants ana_{n} such that anXn⇒0a_{n} X_{n} \Rightarrow 0.

?
Problem 25.7

Generalize Example 25.8 by showing for three-dimensional random vectors (An,Bn,Xn)(A_{n}, B_{n}, X_{n}) and constants aa and b,a≥0b, a \geq 0, that, if An⇒a,Bn⇒bA_{n} \Rightarrow a, B_{n} \Rightarrow b, and Xn⇒XX_{n} \Rightarrow X, then AnXn+Bn⇒aX+bA_{n} X_{n}+B_{n} \Rightarrow a X+b Hint: First show that if Yn⇒YY_{n} \Rightarrow Y and Dn⇒0D_{n} \Rightarrow 0, then DnYn⇒0D_{n} Y_{n} \Rightarrow 0.

?
Problem 25.8

Suppose that Xn⇒XX_{n} \Rightarrow X and that hnh_{n} and hh are Borel functions. Let EE be the set of xx for which hnxn→hxh_{n} x_{n} \rightarrow h x fails for some sequence xn→xx_{n} \rightarrow x. Suppose that E∈R1E \in \mathscr {R}^{1} and P(X∈E)=0\mathbb {P}\left(X \in E\right)=0. Show that hnXn⇒hXh_{n} X_{n} \Rightarrow h X.

?
Problem 25.9

Suppose that the distributions of random variables XnX_{n} and XX have densities fnf_{n} and ff. Show that if fn(x)→f(x)f_{n}(x) \rightarrow f(x) for xx outside a set of Lebesgue measure 0, then Xn⇒XX_{n} \Rightarrow X.

?
Problem 25.10

↑\uparrow Suppose that XnX_{n} assumes as values γn+kδn,k=0,±1,…\gamma_{n}+k \delta_{n}, k=0, \pm 1, \ldots, where δn>0\delta_{n}>0. Suppose that δn→0\delta_{n} \rightarrow 0 and that, if knk_{n} is an integer varying with nn in such a way that γn+knδn→x\gamma_{n}+k_{n} \delta_{n} \rightarrow x, then P(Xn=γn+knδn)δn−1→f(x)\mathbb {P}\left(X_{n}=\gamma_{n}+k_{n} \delta_{n}\right) \delta_{n}^{-1} \rightarrow f(x), where ff is the density of a random variable XX. Show that Xn⇒XX_{n} \Rightarrow X.

?
Problem 25.11

↑\uparrow Let SnS_{n} have the binomial distribution with parameters nn and pp. Assume as known that

P(Sn=kn)(np(1−p))1/2→12πe−x2/2(25.16) \mathbb {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}

if (kn−np)(np(1−p))−1/2→x\left(k_{n}-n p\right)(n p(1-p))^{-1 / 2} \rightarrow x. Deduce the DeMoivre-Laplace theorem: (Sn−np)(np(1−p))−1/2⇒N\left(S_{n}-n p\right)(n p(1-p))^{-1 / 2} \Rightarrow N, where NN has the standard normal distribution. This is a special case of the central limit theorem; see Section 27.

?
Problem 25.12

Prove weak convergence in Example 25.3 by using Theorem 25.8 and the theory of the Riemann integral.

?
Problem 25.13
?
(a)

Show that probability measures satisfy μn⇒μ\mu_{n} \Rightarrow \mu if μn(a,b]→μ(a,b]\mu_{n}(a, b] \rightarrow \mu (a, b] whenever μ{a}=μ{b}=0\mu \left\{ a\right\} =\mu \left\{ b\right\} =0.

(b)

Show that, if ∫fdμn→∫fdμ\int f d \mu_{n} \rightarrow \int f d \mu for all continuous ff with bounded support, then μn⇒μ\mu_{n} \Rightarrow \mu.

Problem 25.14

↑\uparrow Let μ\mu be Lebesgue measure confined to the unit interval; let μn\mu_{n} correspond to a mass of xn,i−xn,i−1x_{n, i}-x_{n, i-1} at some point in ( xn,i−1,xn,ix_{n, i-1}, x_{n, i} ], where 0=xn0<xn1<⋯<xnn=10=x_{n 0} <x_{n 1}<\cdots <x_{n n}=1. Show by considering the distribution functions that μn⇒μ\mu_{n} \Rightarrow \mu if max⁡i<n(xn,i−xn,i−1)→0\max_{i<n}\left(x_{n, i}-x_{n, i-1}\right) \rightarrow 0. Deduce that a bounded Borel function continuous almost everywhere on the unit interval is Riemann integrable. See Problem 17.1.

?
Problem 25.15

2.18  5.19↑2.18 \; 5.19 \uparrow A function ff of positive integers has distribution function FF if FF is the weak limit of the distribution function Pn[m:f(m)≤x]P_{n}[m: f(m) \leq x] of ff under the measure having probability 1/n1 / n at each of 1,…,n1, \ldots , n (see 2.34)). In this case D[m:f(m)≤x]=F(x)D[m: f(m) \leq x]=F(x) (see (2.35)) for continuity points xx of FF. Show that φ(m)/m\varphi (m) / m (see (2.37)) has a distribution:

?
(a)

Show by the mapping theorem that it suffices to prove that 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) has a distribution.

(b)

Let fu(m)=∑p≤uδp(m)log⁡(1−1/p)f_{u}(m)=\sum_{p \leq u} \delta_{p}(m) \log (1-1 / p), and show by (5.45) that fuf_{u} has distribution function Fu(x)=P(∑p≤uXplog⁡(1−1/p)≤x)F_{u}(x)=\mathbb {P}\left(\sum_{p \leq u} X_{p} \log (1-1 / p) \leq x\right), where the XpX_{p} are independent random variables (one for each prime pp ) such that P(Xp=1)=1/p\mathbb {P}\left(X_{p}=1\right)= 1 / p and P(Xρ=0)=1−1/p\mathbb {P}\left(X_{\rho }=0\right)=1-1 / p.

(c)

Show that ∑pXplog⁡(1−1/p)\sum_{p} X_{p} \log (1-1 / p) converges with probability 1. Hint: Use Theorem 22.6.

(d)

Show that lim⁡u→∞sup⁡nEn[∣f−fu∣]=0\lim_{u \rightarrow \infty } \sup_{n} E_{n}\left[\left|f-f_{u}\right|\right]=0 (see (5.46) for the notation).

(e)

Conclude by Markov's inequality and Theorem 25.5 that ff has the distribution of the sum in (c).

Problem 25.16

For A∈R1A \in \mathscr {R}^{1} and T>0T>0, put λT(A)=λ([−T,T]∩A)/2T\lambda_{T}(A)=\lambda ([-T, T] \cap A) / 2 T, where λ\lambda is Lebesgue measure. The relative measure of AA is

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

provided that this limit exists. This is a continuous analogue of density (see (2.35)) for sets of integers. A Borel function ff has a distribution under λT\lambda_{T}; if this converges weakly to FF, then

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

for continuity points uu of FF, and FF is called the distribution function of ff. Show that all periodic functions have distributions.

?
Problem 25.17

Suppose that sup⁡n∫fdμn<∞\sup_{n} \int f d \mu_{n}<\infty for a nonnegative ff such that f(x)→∞f(x) \rightarrow \infty as x→±∞x \rightarrow \pm \infty. Show that {μn}\left\{ \mu_{n}\right\} is tight.

?
Problem 25.18

23.4↑23.4 \uparrow Show that the random variables AtA_{t} and LtL_{t} in Problems 23.3 and 23.4 converge in distribution. Show that the moments converge.

?
Problem 25.19

In the applications of Theorem 9.2, only a weaker result is actually needed: For each KK there exists a positive α=α(K)\alpha =\alpha (K) such that if E[X]=0,E[X2]=1\mathbb {E}\left[X\right]=0, \mathbb {E}\left[X^{2}\right]=1, and E[X4]≤K\mathbb {E}\left[X^{4}\right] \leq K, then P(X≥0)≥α\mathbb {P}\left(X \geq 0\right) \geq \alpha. Prove this by using tightness and the corollary to Theorem 25.12.

?
Problem 25.20

Find uniformly integrable random variables XnX_{n} for which there is no integrable ZZ satisfying P(∣Xn∣≥t)≤P(∣Z∣≥t)\mathbb {P}\left(\left|X_{n}\right| \geq t\right) \leq \mathbb {P}\left(\left|Z\right| \geq t\right) for t>0t>0.

?