2023-07-05 17:53:41 +02:00
|
|
|
\lecture{12}{2023-05-16}{Proof of the CLT}
|
2023-05-16 17:49:09 +02:00
|
|
|
|
2023-07-28 03:45:37 +02:00
|
|
|
We now want to prove the \yaref{clt}.
|
2023-05-16 17:49:09 +02:00
|
|
|
The plan is to do the following:
|
|
|
|
\begin{enumerate}[1.]
|
|
|
|
\item Identify the characteristic function of a standard normal
|
|
|
|
\item Show that the characteristic functions of the $V_n$ converge pointwise
|
|
|
|
to that of $\cN$.
|
2023-07-28 03:45:37 +02:00
|
|
|
\item Apply \yaref{levycontinuity}
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{enumerate}
|
|
|
|
|
|
|
|
First, we need to prove some properties of characteristic functions.
|
|
|
|
|
|
|
|
\begin{lemma}
|
|
|
|
\label{charfprops}
|
|
|
|
For every real random variable $X$, we have
|
|
|
|
\begin{enumerate}[(i)]
|
|
|
|
\item $\phi_X(0) = 1$ and $|\phi_X(t)| \le 1$ for all $t \in \R$.
|
|
|
|
\item $\phi_X$ is uniformly continuous.
|
|
|
|
\item If $\bE[|X|^n] < \infty$ for any $n \in \N$, then $\phi_X$ i
|
|
|
|
$n$-times continuously differentiable
|
|
|
|
and $\bE[X^n] = (-\i)^n \phi_X^{(n)}(0)$.
|
|
|
|
\item For independent random variables $X$ and $Y$, we have
|
|
|
|
\[
|
|
|
|
\phi_{X + Y}(t) = \phi_X(t) \cdot \phi_Y(t).
|
|
|
|
\]
|
|
|
|
\end{enumerate}
|
|
|
|
\end{lemma}
|
|
|
|
\begin{refproof}{charfprops}
|
|
|
|
\begin{enumerate}[(i)]
|
|
|
|
\item $\phi_X(0) = \bE[e^{\i 0 X}] = \bE[1] = 1$.
|
2023-07-28 03:56:43 +02:00
|
|
|
For $t \in \R$, we have $|\phi_X(t)| = |\bE[e^{\i t X}]| \overset{\yaref{jensen}}{\le} \bE[|e^{\i t X}|] = 1$.
|
2023-05-16 17:49:09 +02:00
|
|
|
|
|
|
|
\item Let $t, h \in \R$.
|
|
|
|
Then
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
|
|
|
|\phi_X(t+h) - \phi_X(t)| &=& |\bE[e^{\i (t+h) X} - e^{\i t X}]|\\
|
|
|
|
&=& |\bE[e^{\i t X} (e^{\i h X} - 1)]|\\
|
2023-07-28 03:56:43 +02:00
|
|
|
&\overset{\yaref{jensen}}{\le}&
|
2023-05-16 17:49:09 +02:00
|
|
|
\bE[|e^{\i t X}| \cdot |e^{\i h X} -1|]\\
|
2023-07-12 17:57:05 +02:00
|
|
|
&=& \bE[|e^{\i h X} - 1|]
|
|
|
|
\text{\reflectbox{$\coloneqq$}} g(h)\\
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
|
|
|
|
Hence $\sup_{t \in \R} |\phi_X(t + h) - \phi_X(t) | \le g(h)$.
|
|
|
|
We show that $\lim_{h \to 0} g(h) = 0$.
|
|
|
|
|
|
|
|
For all $\omega \in \Omega$, we realize
|
|
|
|
\[
|
|
|
|
\lim_{h \to 0} |e^{\i h X(\omega)}- 1| = 0.
|
|
|
|
\]
|
|
|
|
Thus $|e^{\i h X} - 1| \xrightarrow{h \to 0} 0$ almost surely.
|
|
|
|
Since also for all $h \in \R$ we have $|e^{\i h X} - 1| \le 2$,
|
|
|
|
it follow that $|e^{\i h X} - 1|$ is dominated for all $h \in \R$.
|
|
|
|
Thus, we can apply the dominated convergence theorem % TODO REF
|
|
|
|
and obtain
|
|
|
|
\[
|
|
|
|
\lim_{h \to 0} g(h) = \lim_{h \to 0} \bE[|e^{\i h X} - 1|]
|
|
|
|
= \bE[\lim_{h \to 0} |e^{\i h X} - 1|] = 0.
|
|
|
|
\]
|
|
|
|
It follows that
|
|
|
|
\[
|
|
|
|
\lim_{n \to 0} \sup_{t \in \R} | \phi_X(t + h) - \phi_X(t)| = 0,
|
|
|
|
\]
|
|
|
|
which means that $\phi_X$ is uniformly continuous.
|
|
|
|
\item
|
|
|
|
\begin{claim}
|
|
|
|
\label{charfprop:c1}
|
|
|
|
For $y \in \R$, we have $|e^{\i y} - 1| \le |y|$.
|
|
|
|
\end{claim}
|
|
|
|
\begin{subproof}
|
|
|
|
For $y \ge 0$, we have
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
2023-05-25 00:33:14 +02:00
|
|
|
|e^{\i y} - 1| &=& |\int_0^y \cos(s) \dif s + \i \int_0^y \sin(s) \dif s|\\
|
|
|
|
&=& |\int_0^y e^{\i s} \dif s|\\
|
2023-07-28 03:56:43 +02:00
|
|
|
&\overset{\yaref{jensen}}{\le}& \int_0^y |e^{\i s}| ds = y.
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
For $y < 0$, we have $|e^{\i y} - 1| = |e^{-\i y} - 1|$
|
|
|
|
and we can apply the above to $-y$.
|
|
|
|
\end{subproof}
|
|
|
|
|
|
|
|
First, we look at $n = 1$. Then $\bE[|X|] < \infty$.
|
|
|
|
Consider
|
|
|
|
\[
|
|
|
|
\frac{\phi_X(t + h) - \phi_X(t)}{h} = \bE\left[e^{\i t X} \frac{e^{\i h X} - 1}{h}\right].
|
|
|
|
\]
|
|
|
|
We have $e^z = \sum_{n = 0}^\infty \frac{z^k}{n!}$.
|
|
|
|
Hence
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
|
|
|
\lim_{n \to \infty} e^{\i t X} \left( \frac{1 + \i h X + \frac{(\i h X)^2}{2} + o(h^2) - 1}{h} \right)
|
|
|
|
&=& e^{\i t X} \i X \text{ almost surely.}
|
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
|
|
|
|
For arbitrary $h \in \R$, we have
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
|
|
|
|e^{\i t X} \frac{e^{\i h X}}{h}| &\le & \left| \frac{1}{h} \left( e^{\i h X} - 1 \right)\right|\\
|
2023-07-28 03:45:37 +02:00
|
|
|
&\overset{\yaref{charfprop:c1}}{\le}& \left|\frac{1}{h} \i h X\right| = |X|.
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
Thus the dominated convergence theorem can be applied and we obtain
|
|
|
|
\[
|
|
|
|
\lim_{h \to 0} \frac{\phi_X(t + h) - \phi_X(t)}{h} = \lim_{h \to 0} \bE\left[ e^{\i t X} \left( \frac{e^{\i h X}-1}{h} \right) \right]
|
|
|
|
= \bE[e^{\i t X} \i X].
|
|
|
|
\]
|
|
|
|
|
|
|
|
It follows that $\phi_X$ is differentiable and $\phi_X(t) = \bE[e^{\i t X} \i X]$.
|
|
|
|
For $t = 0$ we get $\phi'_X(0) = \i \bE[X]$, i.e.~
|
|
|
|
-$\i \phi'_X(0) = \bE[X]$.
|
|
|
|
|
|
|
|
Adapting the proof of (ii) gives that
|
|
|
|
$\phi'_X(t)$ is continuous.
|
|
|
|
|
|
|
|
Adapting the proof of (iii) gives
|
|
|
|
the statement for arbitrary $n \in \N$.
|
|
|
|
|
|
|
|
\item Easy exercise.
|
|
|
|
\end{enumerate}
|
|
|
|
\end{refproof}
|
|
|
|
|
|
|
|
\begin{lemma}\label{lec12_2} % Lemma 2
|
|
|
|
For $X \sim \cN(0,1)$, we have $\phi_X(t) = e^{-\frac{t^2}{2}}$
|
|
|
|
for all $t \in \R$.
|
|
|
|
\end{lemma}
|
|
|
|
\begin{refproof}{lec12_2}
|
|
|
|
We have
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
2023-07-13 00:06:30 +02:00
|
|
|
\phi_X(t) &=& \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty e^{\i t x} e^{-\frac{x^2}{2}} \dif x\\
|
|
|
|
&=& \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty (\cos(tx) + \i \sin(tx)) e^{-\frac{x^2}{2}} \dif x\\
|
|
|
|
&=& \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty \cos(t x) e^{-\frac{x^2}{2}} \dif x,\\
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
since, as $x \mapsto \sin(tx)$ is odd and $x \mapsto e^{-\frac{x^2}{2}}$
|
|
|
|
is even, their product is odd, wich gives that the integral is $0$.
|
|
|
|
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
|
|
|
\phi'_X(t) &=& \bE[\i X e^{\i t X}] \\
|
2023-05-25 00:33:14 +02:00
|
|
|
&=& \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty \i x \left( \cos(t x) + \i \sin(tx) \right) e^{-\frac{x^2}{2}} \dif x\\
|
|
|
|
&=& \frac{1}{\sqrt{2 \pi}} \left( \i \int_{-\infty}^\infty x \cos(tx) \right) e^{-\frac{x^2}{2}} \dif x\\
|
2023-07-13 00:06:30 +02:00
|
|
|
&=& \frac{1}{\sqrt{2 \pi}} \left(\underbrace{\i \int_{-\infty}^\infty x \cos(tx) e^{-\frac{x^2}{2}} \dif x}_{= 0} + \int_{-\infty}^\infty - \sin(t x) e^{-\frac{x^2}{2}} \dif x\right)\\
|
|
|
|
&=& \int_{-\infty}^\infty \underbrace{\sin(tx)}_{y(x)} \underbrace{ \frac{1}{\sqrt{2 \pi}}(-x) e^{\i\frac{x^2}{2}}}_{f'(x)} \dif x\\
|
2023-05-16 17:49:09 +02:00
|
|
|
&=& \underbrace{[ \sin(tx) \frac{1}{\sqrt{2 \pi} e^{-\frac{x^2}{2}}}]_{x=-\infty}^\infty}_{=0}
|
2023-07-13 00:06:30 +02:00
|
|
|
- \int_{-\infty}^\infty t \cos(tx) \frac{1}{\sqrt{2 \pi}} e^{-\frac{x^2}{2}} \dif x\\
|
2023-05-16 17:49:09 +02:00
|
|
|
&=& -t \phi_X(t)
|
|
|
|
\end{IEEEeqnarray*}
|
2023-05-23 17:10:43 +02:00
|
|
|
Thus, for all $t \in \R$
|
2023-05-16 17:49:09 +02:00
|
|
|
\[
|
2023-07-13 00:06:30 +02:00
|
|
|
(\log(\phi_X(t)))' = \frac{\phi'_X(t)}{\phi_X(t)} = -t.
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
Hence there exists $c \in \R$, such that
|
|
|
|
\[
|
|
|
|
\log(\phi_X(t)) = -\frac{t^2}{2} + c.
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
Since $\phi_X(0) = 1$, we obtain $c = 0$.
|
|
|
|
Thus
|
|
|
|
\[
|
|
|
|
\phi_X(t) = e^{-\frac{t^2}{2}}.
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{refproof}
|
|
|
|
|
|
|
|
|
2023-07-28 03:45:37 +02:00
|
|
|
Now, we can finally prove the \yaref{clt}:
|
2023-05-16 17:49:09 +02:00
|
|
|
\begin{refproof}{clt}
|
|
|
|
Let $X_1,X_2,\ldots$ be i.i.d.~random variables
|
|
|
|
with $\bE[X_1] = \mu_1$, $\Var(X_1) = \sigma^2$.
|
|
|
|
|
|
|
|
Let
|
|
|
|
\[
|
|
|
|
Y_i \coloneqq \frac{X_i - \mu}{\sigma}
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
i.e.~we normalize to $\bE[Y_1] = 0$ and $\Var(Y_1) = 1$.
|
|
|
|
We need to show that
|
|
|
|
\[
|
|
|
|
V_n \coloneqq \frac{S_n - n \mu}{ \sigma \sqrt{n}} = \frac{Y_1+ \ldots + Y_n}{\sqrt{n}} \xrightarrow{\omega, n\to \infty} \cN(0,1) % TODO
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
Let $t \in \R$.
|
|
|
|
Then
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
2023-05-25 00:33:14 +02:00
|
|
|
\phi_{V_n}(t) &=& \bE[e^{\i t Y_n}]\\
|
2023-07-13 00:06:30 +02:00
|
|
|
&=& \bE[e^{\i t \left( \frac{Y_1 + \ldots + Y_n}{\sqrt{n}} \right)}] \\
|
|
|
|
&=& \bE\left[e^{\i t \frac{Y_1}{\sqrt{n}}}\right] \cdot \ldots \cdot \bE\left[e^{\i t \frac{Y_n}{\sqrt{n}}}\right]\\
|
|
|
|
&=& \left( \phi\left(\frac{t}{\sqrt{n}}\right) \right)^n.
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
where $\phi(t) \coloneqq \phi_{Y_1}(t)$.
|
|
|
|
|
|
|
|
We have
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
2023-05-25 00:33:14 +02:00
|
|
|
\phi(s) &=& \phi(0) + \phi'(0) s + \frac{\phi''(0)}{2} s^2 + o(s^2), \text{ as $s \to 0$}\\
|
2023-05-23 17:10:43 +02:00
|
|
|
&=& 1 - \underbrace{\i \bE[Y_1] s}_{=0}
|
2023-05-25 00:33:14 +02:00
|
|
|
- \bE[Y_1^2] \frac{s^2}{2} + o(s^2), \text{ as $s \to 0$}
|
|
|
|
\\
|
|
|
|
&=& 1 - \frac{s^2}{2} + o(s^2), \text{ as $s \to 0$}
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
|
|
|
|
Setting $s \coloneqq \frac{t}{\sqrt{n}}$ we obtain
|
|
|
|
\[
|
2023-07-13 00:06:30 +02:00
|
|
|
\phi\left(\frac{t}{ \sqrt{n}}\right) = 1 - \frac{t^2}{2n} + o\left( \frac{t^2}{n} \right) \text{ as $n \to \infty$}
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
|
|
|
|
|
|
|
|
\[
|
2023-07-13 00:06:30 +02:00
|
|
|
\phi_{V_n}(t) = \left( \phi\left( \frac{t}{\sqrt{n}} \right) \right)^n
|
|
|
|
= \left(1 - \frac{t^2}{2 n} + o\left( \frac{t^2}{n} \right)\right)^n
|
|
|
|
\xrightarrow{n \to \infty} e^{-\frac{t^2}{2}},
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-05-16 17:49:09 +02:00
|
|
|
where we have used the following:
|
|
|
|
|
|
|
|
\begin{claim}
|
|
|
|
For a sequence $a_n, n\in \N$ with $\lim_{n \to \infty} n a_n = \lambda$,
|
|
|
|
it holds that $\lim_{n \to \infty} (1 + a_n)^n = e^{\lambda}$.
|
|
|
|
\end{claim}
|
|
|
|
|
|
|
|
|
|
|
|
We have shown that
|
|
|
|
\[
|
2023-07-13 00:06:30 +02:00
|
|
|
\phi_n(t) \xrightarrow{n \to \infty} e^{-\frac{t^2}{2}} = \phi_{\cN(0,1)}(t).
|
2023-05-23 17:10:43 +02:00
|
|
|
\]
|
2023-07-28 03:45:37 +02:00
|
|
|
Using \yaref{levycontinuity}, we obtain the \yaref{clt}.
|
2023-05-16 17:49:09 +02:00
|
|
|
\end{refproof}
|
|
|
|
|
|
|
|
\begin{remark}
|
|
|
|
If $X: \Omega \to \R^d$ with distribution $\nu$,
|
|
|
|
we define
|
|
|
|
\begin{IEEEeqnarray*}{rCl}
|
|
|
|
\phi_X: \R^d &\longrightarrow & \C \\
|
|
|
|
t &\longmapsto & \bE[e^{\i \langle t , X\rangle}]
|
|
|
|
\end{IEEEeqnarray*}
|
|
|
|
where $\langle t, X\rangle \coloneqq \sum_{i = 1}^d t_i X_i$.
|
|
|
|
\end{remark}
|
|
|
|
Exercise: Find out, which properties also hold for $d > 1$.
|
2023-07-11 23:38:47 +02:00
|
|
|
\todo{TODO}
|