\documentclass[uebung]{lecture}

\title{Wtheo 0: Übungsblatt 7}
\author{Josua Kugler, Christian Merten}

\renewcommand{\P}{\mathbb{P}}
\usepackage{stmaryrd}
\begin{document}

\punkte[25]

\stepcounter{aufgabe}

\begin{aufgabe}
    \begin{enumerate}[(a)]
        \item Es gilt 
        \begin{align*}
            \mathbbm{f}^{X + Y}(z) &= [\mathbbm{f}^X * \mathbbm{f}^Y](z)\\
            &= \int_{-\infty}^\infty \mathbbm{f}^X(z-x) \mathbbm{f}^Y(x)\d {x}\\
            &= \int_{-\infty}^\infty \frac{1}{\sqrt{2\pi \sigma_1^2}}e^{-\frac{1}{2\sigma_1^2}((z- x) - \mu_1)^2}\frac{1}{\sqrt{2\pi \sigma_2^2}}e^{-\frac{1}{2\sigma_2^2}(x - \mu_2)^2} \d{x}\\
            \intertext{Durch die Substitution $x \mapsto x + \mu_2$ erhalten wir}
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2\sigma_1^2}((z- x) - (\underbrace{\mu_1 + \mu_2}_{\eqqcolon \mu}))^2 -\frac{1}{2\sigma_2^2}x^2} \d{x}\\
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2\sigma_1^2}(x - z + \mu)^2 -\frac{1}{2\sigma_2^2}x^2} \d{x}\\
            \intertext{Wir substituieren $z = z - \mu$. }
            \mathbbm{f}^{X + Y}(z + \mu) &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2\sigma_1^2}(x - z)^2 -\frac{1}{2\sigma_2^2}x^2} \d{x}\\
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2} \left[\left(\frac{1}{\sigma_1^2} + \frac{1}{\sigma_2^2}\right)x^2 - 2\frac{1}{\sigma_1^2} xz + \frac{1}{\sigma_1^2}z^2 \right]} \d{x}\\
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2}\frac{\sigma_1^2 + \sigma_2^2}{\sigma_1^2\cdot \sigma_2^2}\left[x^2 - 2\frac{\sigma_2^2}{\sigma_1^2 + \sigma_2^2} xz + \frac{\sigma_2^2}{\sigma_1^2 + \sigma_2^2}z^2 \right]} \d{x}\\
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2}\frac{\sigma_1^2 + \sigma_2^2}{\sigma_1^2\cdot \sigma_2^2}\left[\left(x - \frac{\sigma_2^2}{\sigma_1^2 + \sigma_2^2} z\right)^2 - \frac{\sigma_2^4}{(\sigma_1^2 + \sigma_2^2)^2}z^2 + \frac{\sigma_2^2}{\sigma_1^2 + \sigma_2^2}z^2\right] } \d{x}\\
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2}\frac{\sigma_1^2 + \sigma_2^2}{\sigma_1^2\cdot \sigma_2^2}\left[\left(x - \frac{\sigma_2^2}{\sigma_1^2 + \sigma_2^2} z\right)^2\right]} \cdot e^{- \frac{1}{2} \left[- \frac{\sigma_2^2}{\sigma_1^2(\sigma_1^2 + \sigma_2^2)} + \sigma_1^2\right]z^2} \d{x}
            \intertext{Subsitution $x \coloneqq x + \frac{\sigma_2^2}{\sigma_1^2 + \sigma_2^2}z$ und erhalten}
            &= \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^\infty e^{-\frac{1}{2}\frac{\sigma_1^2 + \sigma_2^2}{\sigma_1^2 \sigma_2^2} x^2} \d{x} \cdot e^{- \frac{1}{2} \left[- \frac{\sigma_2^2}{\sigma_1^2(\sigma_1^2 + \sigma_2^2)} + \frac{1}{\sigma_1^2}\right]z^2} \\
            &= \frac{1}{2\pi\sigma_1\sigma_2} \cdot \frac{\sigma_1\sigma_2}{\sqrt{\sigma_1^2 + \sigma_2^2}}\int_{-\infty}^\infty e^{-\frac{1}{2}x^2} \d{x}\cdot e^{- \frac{1}{2} \left[- \frac{\sigma_2^2}{\sigma_1^2(\sigma_1^2 + \sigma_2^2)} + \frac{\sigma_1^2 + \sigma_2^2}{\sigma_1^2(\sigma_1^2 + \sigma_2^2)}\right]z^2} \\
            &= \frac{1}{\sqrt{2\pi(\sigma_1^2 + \sigma_2^2)}} \cdot e^{- \frac{1}{2(\sigma_1^2 + \sigma_2^2)}z^2}
        \intertext{Resubstitution $z \coloneqq z + \mu = z+\mu_1 + \mu_2$}
        \mathbbm{f}^{X + Y}(z) &= \frac{1}{\sqrt{2\pi(\sigma_1^2 + \sigma_2^2)}} \cdot e^{- \frac{1}{2(\sigma_1^2 + \sigma_2^2)}(z - (\mu_1 + \mu_2))^2}
        \end{align*}
        Daraus folgt $X + Y = N_{(\mu_1+ \mu_2, \sigma_1^2 + \sigma_2^2)}$.
        \item Es ist bekannt, dass $n \cdot \overline{X_n} = \sum_{i = 1}^{n} X_i \sim N_{(n\mu, n\sigma^2)}$ für $X_i \sim N_{(\mu, \sigma^2)}$.
        Wir betrachten nun $h(X) = \frac{1}{\sqrt{n\sigma^2}} X - \frac{\sqrt{n}\mu}{\sigma}$. Nach dem Transformationssatz gilt dann für $Z_n = h(n \cdot \overline{X_n})$:
        \begin{align*}
            \mathbbm{f}^{Z_n}(y) &= \sqrt{n\sigma^2} \frac{1}{2\pi n\sigma^2}e^{-\frac{1}{2n \sigma^2}(\sqrt{n\sigma^2}(y + \sqrt{n}\sigma^{-1} \mu) - n\mu)^2}\\
            &= \frac{1}{2\pi} e^{-\frac{1}{2n \sigma^2}(\sqrt{n\sigma^2}y + n\mu - n\mu)^2}\\
            &= \frac{1}{2\pi} e^{-\frac{1}{2n \sigma^2}\cdot n\sigma^2y^2}\\
            &= \frac{1}{2\pi} e^{-\frac{1}{2}y^2}\\
        \end{align*}
        Daher gilt $Z_n \sim N_{(0,1)}$.
   \end{enumerate}
\end{aufgabe}

\stepcounter{aufgabe}

\begin{aufgabe}
    \begin{enumerate}[(a)]
        \item Nach dem Dichtetransformationssatz gilt 
        \begin{align*}
            \mathbbm{f}^{AX + b}(y) &= \frac{1}{|\det(A)|} \mathbbm{f}^{X}(A^{-1}(y-b))\\
            &= \det{AA^t}^{-\frac{1}{2}} \cdot (2\pi)^{-\frac{n}{2}} \det{\Sigma}^{-\frac{1}{2}} e^{-\frac{1}{2}\langle \Sigma^{-1}(A^{-1}(y-b)- \mu), A^{-1}(y-b) - \mu \rangle}\\
            &= \det{A\Sigma A^t}^{-\frac{1}{2}} (2\pi)^{-\frac{n}{2}} e^{-\frac{1}{2}\langle\Sigma^{-1}A^{-1}(y - (A\mu + b)), A^{-1}(y - (A\mu + b))\rangle}\\
            &= \det{A\Sigma A^t}^{-\frac{1}{2}} (2\pi)^{-\frac{n}{2}} e^{-\frac{1}{2}\langle A^{-t}\Sigma^{-1}A^{-1}(y - (A\mu + b)), (y - (A\mu + b))\rangle}\\
            &= \det{A\Sigma A^t}^{-\frac{1}{2}} (2\pi)^{-\frac{n}{2}} e^{-\frac{1}{2}\langle (A\Sigma A^t)^{-1}(y - (A\mu + b)), (y - (A\mu + b))\rangle}
        \end{align*}
        Daher gilt $AX + b \sim N_{A\mu + b, A\Sigma A^t}$. 
        \item Wir definieren $E_{ij}$ mit $(E_{ij})_{kl} = \delta_{ik}\delta_{jl}$.
        Dann erhalten wir durch $P_{ij} = \sum_{i = 1}^{n} E_{ii} - E_{ii} - E_{jj} + E_{ij} + E_{ji}$ eine Permutationsmatrix. 
        Für $Y = P_{1i}X$ gilt $Y \sim N_{(P_{1i}\mu, P_{1i}\Sigma P_{i1})} = N_{(P_{1i}\mu, \Sigma)}$.
        Da $\Sigma = LDL^t$ für eine normiert untere Dreiecksmatrix $L$ und eine Diagonalmatrix $D$, erhalten wir
        \[
            L^{-1}Y - L^{-1}P_i\mu \sim N_{(L^{-1} \mu - L^{-1}\mu, L^{-1}L D L^t L^{-t})} = N_{(0, D)}
        \]
        Es gilt 
        \begin{align*}
            \mathbbm{f}^{(L^{-1}Y - L^{-1}P_i\mu)_1}(x_1) &= \int_{-\infty}^\infty \cdots \int_{-\infty}^\infty \mathbbm{f}^{L^{-1}Y - L^{-1}P_i\mu}(x_1, \dots, x_n) \d{x_n} \d{x_2}\\
            &= \int_{-\infty}^\infty \cdots \int_{-\infty}^\infty \frac{1}{(2\pi)^{\frac{n}{2}}} \cdot (\det D)^{-\frac{1}{2}} e^{-\frac{1}{2}\langle D^{-1}x, x\rangle} \d{x_n} \cdots \d{x_2}\\
            &= (\det D)^{-\frac{1}{2}}\prod_{i = 2}^{n} \int_{-\infty}^\infty \frac{1}{\sqrt{2\pi}} e^{-\frac{1}{2}\sum_{i = 2}^{n} D_{ii}^{-1}x_i^2}\\
            &= \frac{\sqrt{D_{22}\cdot \dots \cdot D_{nn}}}{\sqrt{\det D}} \cdot \frac{1}{\sqrt{2\pi}}e^{-\frac{1}{2}D_{11}^{-1} x_1^2}\\
            &= \frac{1}{\sqrt{2\pi D_{11}}}e^{-\frac{1}{2D_{11}} x_1^2}\\
            \mathbbm{f}^{X_i - \mu_i}(x_i)&\sim N_{(0, D_{11})}  = N_{(0, Y_{11})} = N_{(0, X_{ii})}\\
            \mathbbm{f}^{X_i} &\sim N_{(\mu_i, X_{ii})}
        \end{align*}
        \item c
    \end{enumerate}
\end{aufgabe}
\end{document}
