6.1.5 Random Vectors

When dealing with multiple random variables, it is sometimes useful to use vector and matrix notations. This makes the formulas more compact and lets us use facts from linear algebra. In this section, we briefly explore this avenue. The reader should be familiar with matrix algebra before reading this section. When we have $n$ random variables $X_1$, $X_2$, ..., $X_n$ we can put them in a (column) vector $\textbf{X}$: \begin{equation} \nonumber \textbf{X} = \begin{bmatrix} X_1 \\%[5pt] X_2 \\%[5pt] . \\[-10pt] . \\[-10pt] . \\[5pt] X_n \end{bmatrix}. \end{equation} We call $\textbf{X}$ a random vector. Here $\textbf{X}$ is an $n$-dimensional vector because it consists of $n$ random variables. In this book, we usually use bold capital letters such as $\mathbf{X,Y}$ and $\mathbf{Z}$ to represent a random vector. To show a possible value of a random vector we usually use bold lowercase letters such as x, y and z. Thus, we can write the CDF of the random vector $\textbf{X}$ as \begin{align} F_{\mathbf{\large{X}}}(\textbf{x})&=F_{X_{\large{1}}, X_{\large{2}}, ..., X_{\large{n}}}(x_1, x_2, ..., x_n) \\ &=P(X_1 \leq x_1, X_2 \leq x_2, ..., X_n \leq x_n). \end{align} If the $X_i$'s are jointly continuous, the PDF of X can be written as \begin{align} f_{\mathbf{\large{X}}}(\textbf{x})=f_{X_{\large{1}}, X_{\large{2}}, ..., X_{\large{n}}}(x_1, x_2,..., x_n). \end{align}


The expected value vector or the mean vector of the random vector X is defined as \begin{align} \nonumber E\mathbf{X} = \begin{bmatrix} EX_1 \\%[5pt] EX_2 \\%[5pt] . \\[-10pt] . \\[-10pt] . \\[5pt] EX_n \end{bmatrix}. \end{align} Similarly, a random matrix is a matrix whose elements are random variables. In particular, we can have an $m$ by $n$ random matrix M as \begin{align} \nonumber \mathbf{M} = \begin{bmatrix} X_{11} & X_{12} & ... & X_{1n} \\%[5pt] X_{21} & X_{22} & ... & X_{2n} \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] X_{m1} & X_{m2} & ... & X_{mn} \end{bmatrix}. \end{align} We sometimes write this as M$=[X_{ij}]$, which means that $X_{ij}$ is the element in the $i$th row and $j$th column of M. The mean matrix of M is given by \begin{align} \nonumber E\mathbf{M} = \begin{bmatrix} EX_{11} & EX_{12} & ... & EX_{1n} \\%[5pt] EX_{21} & EX_{22} & ... & EX_{2n} \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] EX_{m1} & EX_{m2} & ... & EX_{mn} \end{bmatrix}. \end{align} Linearity of expectation is also valid for random vectors and matrices. In particular, let X be an $n$-dimensional random vector and the random vector Y be defined as \begin{align} \mathbf{Y}=\mathbf{AX+b}, \end{align} where A is a fixed (non-random) $m$ by $n$ matrix and b is a fixed $m$-dimensional vector. Then we have \begin{align} E\mathbf{Y}=\mathbf{AEX+b}. \end{align} Also, if $\mathbf{X_1, X_2, \cdots, X_k}$ are $n$-dimensional random vectors, then we have \begin{align} \mathbf{E[X_1+X_2+ \cdots +X_k]=EX_1+EX_2+ \cdots +EX_k}. \end{align}

Correlation and Covariance Matrix

For a random vector $\mathbf{X}$, we define the correlation matrix, $\mathbf{R_X}$, as \begin{align} \nonumber \mathbf{R_X=E[XX^{T}]} = E \begin{bmatrix} X_1^2 & X_1 X_2 & ... & X_1 X_n \\%[5pt] X_2 X_1 & X_2^2 & ... & X_2 X_n \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] X_n X_1 & X_n X_2 & ... & X_n^2 \end{bmatrix} = \begin{bmatrix} EX_1^2 & E[X_1 X_2] & ... & E[X_1 X_n] \\%[5pt] EX_2 X_1 & E[X_2^2] & ... & E[X_2 X_n] \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] E[X_n X_1] & E[X_n X_2] & ... & E[X_n^2] \end{bmatrix}, \end{align} where $^T$ shows matrix transposition.

The covariance matrix, $C_X$, is defined as \begin{align} \nonumber \mathbf{C_X}&=\mathbf{E[(X-EX)(X-EX)^{T}]} \\ \nonumber \\ \nonumber &= E \begin{bmatrix} (X_1-EX_1)^2 & (X_1-EX_1)(X_2-EX_2) & ... & (X_1-EX_1)(X_n-EX_n) \\%[5pt] (X_2-EX_2)(X_1-EX_1) & (X_2-EX_2)^2 & ... & (X_2-EX_2) (X_n-EX_n) \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] (X_n-EX_n) (X_1-EX_1) & (X_n-EX_n) (X_2-EX_2) & ... & (X_n-EX_n)^2 \end{bmatrix} \\
\nonumber &= \begin{bmatrix} \textrm{Var}(X_1) & \textrm{Cov}(X_1,X_2)& ... & \textrm{Cov}(X_1,X_n) \\%[5pt] \textrm{Cov}(X_2,X_1) & \textrm{Var}(X_2) & ... & \textrm{Cov}(X_2,X_n) \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] \textrm{Cov}(X_n,X_1) & \textrm{Cov}(X_n X_2) & ... & \textrm{Var}(X_n) \end{bmatrix}. \end{align} The covariance matrix is a generalization of the variance of a random variable. Remember that for a random variable, we have $\textrm{Var}(X)=EX^2-(EX)^2$. The following example extends this formula to random vectors.
For a random vector X, show \begin{align} \mathbf{C_X}= \mathbf{R_X-EX EX^T}. \end{align}
  • Solution
    • We have \begin{align} \nonumber \mathbf{C_X}&=\mathbf{E[(X-EX)(X-EX)^{T}]} \\ \nonumber &=\mathbf{E[(X-EX)(X^T-EX^T)]} \\ \nonumber &=\mathbf{E[X X^T]-EX EX^T-EX EX^T+EX EX^T} \hspace{10pt} \textrm{(by linearity of expectation)} \\ \nonumber &=\mathbf{R_X-EX EX^T}. \end{align}

\begin{align} &\textrm{Correlation matrix of X: } \\ \nonumber & \hspace{80pt} \mathbf{R_X=E[X X^{T}]} \\ &\textrm{Covariance matrix of X: } \\ \nonumber & \hspace{80pt} \mathbf{C_X=E[(X-EX)(X-EX)^{T}]=R_X-EX EX^T} \end{align}

Let X be an $n$-dimensional random vector and the random vector Y be defined as \begin{align}%\label{} \mathbf{Y=A X+b}, \end{align} where A is a fixed $m$ by $n$ matrix and b is a fixed $m$-dimensional vector. Show that \begin{align} \mathbf{C_Y=A C_X A^T}. \end{align}
  • Solution
    • Note that by linearity of expectation, we have \begin{align} \mathbf{EY=A EX+b}. \end{align} By definition, we have \begin{align} \mathbf{C_Y}&=\mathbf{E[(Y-EY)(Y-EY)^{T}]}\\ &=\mathbf{E[(A X+b-A EX-b)(AX+b-A EX-b)^T]}\\ &=E\mathbf{[A(X-EX)(X-EX)^T A^T ]}\\ &=\mathbf{AE[(X-EX)(X-EX)^T] A^T} &\textrm{(by linearity of expectation)}\\ &= \mathbf{A C_X A^T}. \end{align}

Let $X$ and $Y$ be two jointly continuous random variables with joint PDF \begin{equation} \nonumber f_{X,Y}(x,y) = \left\{ \begin{array}{l l} \frac{3}{2}x^2+y & \quad 0<x,y<1 \\ & \quad \\ 0 & \quad \text{otherwise} \end{array} \right. \end{equation} and let the random vector U be defined as \begin{equation} \nonumber \mathbf{U} = \begin{bmatrix} X \\%[5pt] Y \end{bmatrix}. \end{equation} Find the correlation and covariance matrices of U.
  • Solution
    • We first obtain the marginal PDFs of $X$ and $Y$. Note that $R_X=R_Y=(0,1)$. We have for $x \in R_X$ \begin{align} f_X(x)&=\int_{0}^{1} \frac{3}{2}x^2+y \hspace{5pt}dy\\ &=\frac{3}{2}x^2+\frac{1}{2}, \hspace{10pt} \textrm{for $0<x<1$}. \end{align} Similarly, for $y \in R_Y$, we have \begin{align} f_Y(y)&=\int_{0}^{1} \frac{3}{2}x^2+y \hspace{5pt}dx\\ &=y+\frac{1}{2}, \hspace{10pt} \textrm{for $0<y<1$}. \end{align} From these, we obtain $EX=\frac{5}{8}$, $EX^2=\frac{7}{15}$, $EY=\frac{7}{12}$, and $EY^2=\frac{5}{12}$. We also need $EXY$. By LOTUS, we can write \begin{align} EXY&=\int_{0}^{1} \int_{0}^{1} xy \left(\frac{3}{2}x^2+y\right) dxdy\\ &= \int_{0}^{1} \frac{3}{8}y+\frac{1}{2}y^2 dy\\ &=\frac{17}{48}. \end{align} From this, we also obtain \begin{align} \textrm{Cov}(X,Y)&=EXY-EXEY\\ &=\frac{17}{48}-\frac{5}{8}.\frac{7}{12}\\ &=-\frac{1}{96}. \end{align} The correlation matrix $R_U$ is given by \begin{equation} \nonumber \mathbf{R_U=E[UU^{T}]} = \begin{bmatrix} EX^2 & EXY \\%[5pt] EYX & EY^2 \end{bmatrix} = \begin{bmatrix} \frac{7}{15} & \frac{17}{48} \\[5pt] \frac{17}{48} & \frac{5}{12} \end{bmatrix}. \end{equation} The covariance matrix $\mathbf{C_U}$ is given by \begin{equation} \nonumber \mathbf{C_U} = \begin{bmatrix} \textrm{Var}(X) & \textrm{Cov}(X,Y) \\%[5pt] \textrm{Cov}(Y,X) & \textrm{Var}(Y) \end{bmatrix} = \begin{bmatrix} \frac{73}{960} & -\frac{1}{96} \\[5pt] -\frac{1}{96} & \frac{11}{144} \end{bmatrix}. \end{equation}

Properties of the Covariance Matrix:

The covariance matrix is the generalization of the variance to random vectors. It is an important matrix and is used extensively. Let's take a moment and discuss its properties. Here, we use concepts from linear algebra such as eigenvalues and positive definiteness. First note that, for any random vector X, the covariance matrix $\mathbf{C_X}$ is a symmetric matrix. This is because if $\mathbf{C_X}=[c_{ij}]$, then \begin{align}%\label{} c_{ij}=\textrm{Cov}(X_i,X_j)=\textrm{Cov}(X_j,X_i)=c_{ji}. \end{align} Thus, the covariance matrix has all the nice properties of symmetric matrices. In particular, $\mathbf{C_X}$ can be diagonalized and all the eigenvalues of $\mathbf{C_X}$ are real. Here, we assume X is a real random vector, i.e., the $X_i$'s can only take real values. A special important property of the covariance matrix is that it is positive semi-definite (PSD). Remember from linear algebra that a symmetric matrix M is positive semi-definite (PSD) if, for all vectors b, we have \begin{align} \mathbf{b^T M b} \geq 0. \end{align} Also, M is said to be positive definite (PD), if for all vectors b$\neq 0$, we have \begin{align} \mathbf{b^T M b} > 0. \end{align} By the above definitions, we note that every PD matrix is also PSD, but the converse is not generally true. Here, we show that covariance matrices are always PSD.
Theorem . Let $\mathbf{X}$ be a random vector with $n$ elements. Then, its covariance matrix $\mathbf{C_X}$ is positive semi-definite(PSD).
Proof. Let b be any fixed vector with $n$ elements. Define the random variable $Y$ as \begin{align} Y=\mathbf{b^T (X-EX)}. \end{align} We have \begin{align} 0 &\leq EY^2\\ &=E(YY^T)\\ &=\mathbf{b^T} E\big[\mathbf{(X-EX)(X-EX)^T}\big]\mathbf{b} \\ &=\mathbf{b^T C_X b}. \end{align} Note that the eigenvalues of a PSD matrix are always larger than or equal to zero. If all the eigenvalues are strictly larger than zero, then the matrix is positive definite. From linear algebra, we know that a real symmetric matrix is positive definite if and only if all its eigenvalues are positive. Since $\mathbf{C_X}$ is a real symmetric matrix, we can state the following theorem.
Theorem . Let $\mathbf{X}$ be a random vector with $n$ elements. Then its covariance matrix $\mathbf{C_X}$ is positive definite (PD), if and only if all its eigenvalues are larger than zero. Equivalently, $\mathbf{C_X}$ is positive definite (PD), if and only if $\det(\mathbf{C_X})>0$.
Note that the second part of the theorem is implied by the first part. This is because the determinant of a matrix is the product of its eigenvalues, and we already know that all eigenvalues of $\mathbf{C_X}$ are larger than or equal to zero.
Let $X$ and $Y$ be two independent $Uniform(0,1)$ random variables. Let the random vectors U and V be defined as \begin{equation} \nonumber \mathbf{U} = \begin{bmatrix} X \\%[5pt] X+Y \end{bmatrix}, \hspace{5pt} \mathbf{V} = \begin{bmatrix} X \\%[5pt] Y \\ X+Y \end{bmatrix}. \end{equation} Determine whether $\mathbf{C_U}$ and $\mathbf{C_V}$ are positive definite.
  • Solution
    • Let us first find $\mathbf{C_U}$. We have \begin{equation} \nonumber \mathbf{C_U} = \begin{bmatrix} \textrm{Var}(X) & \textrm{Cov}(X,X+Y) \\%[5pt] \textrm{Cov}(X+Y,X) & \textrm{Var}(X+Y) \end{bmatrix}. \end{equation} Since $X$ and $Y$ are independent $Uniform(0,1)$ random variables, we have \begin{align}%\label{} \textrm{Var}(X)=\textrm{Var}(&Y)=\frac{1}{12},\\ \textrm{Cov}(X,X+Y)&=\textrm{Cov}(X,X)+\textrm{Cov}(X,Y)\\ &=\frac{1}{12}+0=\frac{1}{12},\\ \textrm{Var}(X+Y)=&\textrm{Var}(X)+\textrm{Var}(Y)=\frac{1}{6}. \end{align} Thus, \begin{equation} \nonumber \mathbf{C_U} = \begin{bmatrix} \frac{1}{12} & \frac{1}{12} \\[5pt] \frac{1}{12} & \frac{1}{6} \end{bmatrix}. \end{equation} So we conclude \begin{align}%\label{} \det(\mathbf{C_U})&=\frac{1}{12} . \frac{1}{6} - \frac{1}{12} . \frac{1}{12}\\ &=\frac{1}{144}>0. \end{align} Therefore, $\mathbf{C_U}$ is positive definite. For $\mathbf{C_V}$, we have \begin{align} \nonumber \mathbf{C_V} &= \begin{bmatrix} \textrm{Var}(X) & \textrm{Cov}(X,Y) & \textrm{Cov}(X,X+Y) \\%[5pt] \textrm{Cov}(Y,X) & \textrm{Var}(Y) &\textrm{Cov}(Y,X+Y) \\ \textrm{Cov}(X+Y,X) &\textrm{Cov}(X+Y,Y) & \textrm{Var}(X+Y) \end{bmatrix}\\ &= \begin{bmatrix} \frac{1}{12} & 0 & \frac{1}{12} \\[5pt] 0 & \frac{1}{12} & \frac{1}{12} \\[5pt] \frac{1}{12} & \frac{1}{12} & \frac{1}{6} \end{bmatrix}. \end{align} So we conclude \begin{align}%\label{} \det(\mathbf{C_V})&=\frac{1}{12} \left(\frac{1}{12} \cdot \frac{1}{6} - \frac{1}{12} \cdot \frac{1}{12} \right)-0+ \frac{1}{12} \left(0 - \frac{1}{12} \cdot \frac{1}{12} \right)\\ &=0. \end{align} Thus, $\mathbf{C_V}$ is not positive definite (we already know that it is positive semi-definite).

Finally, if we have two random vectors, $\mathbf{X}$ and $\mathbf{Y}$, we can define the cross correlation matrix of $\mathbf{X}$ and $\mathbf{Y}$ as \begin{align} \nonumber \mathbf{R_{XY}=E[X Y^T]}. \end{align} Also, the cross covariance matrix of X and Y is \begin{align} \nonumber \mathbf{C_{XY}=E[(X-EX)(Y-EY)^T]}. \end{align}

Functions of Random Vectors: The Method of Transformations

A function of a random vector is a random vector. Thus, the methods that we discussed regarding functions of two random variables can be used to find distributions of functions of random vectors. For example, we can state a more general form of Theorem 5.1 (method of transformations). Let us first explain the method and then see some examples on how to use it. Let $\textbf{X}$ be an $n$-dimensional random vector with joint PDF $f_{\mathbf{X}}(\mathbf{x})$. Let $G:\mathbb{R}^n \mapsto \mathbb{R}^n$ be a continuous and invertible function with continuous partial derivatives and let $H=G^{-1}$. Suppose that the random vector $\mathbf{Y}$ is given by $\mathbf{Y}=G(\mathbf{X})$ and thus $\mathbf{X}=G^{-1}(\mathbf{Y})=H(\mathbf{Y})$. That is, \begin{equation} \nonumber \mathbf{X} = \begin{bmatrix} X_1 \\%[5pt] X_2 \\%[5pt] . \\[-10pt] . \\[-10pt] . \\[5pt] X_n \end{bmatrix} =\begin{bmatrix} H_1(Y_1,Y_2,...,Y_n) \\%[5pt] H_2(Y_1,Y_2,...,Y_n) \\%[5pt] . \\[-10pt] . \\[-10pt] . \\[5pt] H_n(Y_1,Y_2,...,Y_n) \end{bmatrix}. \end{equation} Then, the PDF of Y, $f_{Y_1,Y_2,...,Y_n}(y_1,y_2,...,y_n)$, is given by
\begin{align} \nonumber f_{\mathbf{Y}}(\mathbf{y})=f_{\mathbf{X}}\big(H(\mathbf{y})\big) |J| \end{align}

where $J$ is the Jacobian of $H$ defined by \begin{align} \nonumber J= \det \begin{bmatrix} \frac{\partial H_1}{\partial y_1} & \frac{\partial H_1}{\partial y_2} & ... & \frac{\partial H_1}{\partial y_n} \\[5pt] \frac{\partial H_2}{\partial y_1} & \frac{\partial H_2}{\partial y_2} & ... & \frac{\partial H_2}{\partial y_n} \\ \vdots &\vdots &\vdots &\vdots \\ \frac{\partial H_n}{\partial y_1} & \frac{\partial H_n}{\partial y_2} &... & \frac{\partial H_n}{\partial y_n} \\ \end{bmatrix}, \end{align} and evaluated at $(y_1,y_2,...,y_n)$.
Let X be an $n$-dimensional random vector. Let A be a fixed (non-random) invertible $n$ by $n$ matrix, and b be a fixed $n$-dimensional vector. Define the random vector Y as \begin{align}%\label{} \mathbf{Y=AX+b}. \end{align} Find the PDF of $\mathbf{Y}$ in terms of PDF of $\mathbf{X}$.
  • Solution
    • Since $A$ is invertible, we can write \begin{align}%\label{} X=A^{-1}(Y-b). \end{align} We can also check that \begin{align} \nonumber J= \det (A^{-1})=\frac{1}{\det(A)}. \end{align} Thus, we conclude that \begin{align} f_{Y}(y)=\frac{1}{|\det(A)|}f_{X}\big(A^{-1}(y-b) \big). \end{align}

Normal (Gaussian) Random Vectors:

We discussed two jointly normal random variables previously in Section 5.3.2. In particular, two random variables $X$ and $Y$ are said to be bivariate normal or jointly normal, if $aX+bY$ has normal distribution for all $a,b \in \mathbb{R}$. We can extend this definition to $n$ jointly normal random variables.
Random variables $X_1$, $X_2$,..., $X_n$ are said to be jointly normal if, for all $a_1$,$a_2$,..., $a_n$ $\in \mathbb{R}$, the random variable \begin{align}%\label{} a_1X_1+a_2X_2+...+a_nX_n \end{align} is a normal random variable.

As before, we agree that the constant zero is a normal random variable with zero mean and variance, i.e., $N(0,0)$. When we have several jointly normal random variables, we often put them in a vector. The resulting random vector is a called a normal (Gaussian) random vector.
A random vector \begin{equation} \nonumber \textbf{X} = \begin{bmatrix} X_1 \\%[5pt] X_2 \\%[5pt] . \\[-10pt] . \\[-10pt] . \\[5pt] X_n \end{bmatrix} \end{equation} is said to be normal or Gaussian if the random variables $X_1$, $X_2$,..., $X_n$ are jointly normal.

To find the general form for the PDF of a Gaussian random vector it is convenient to start from the simplest case where the $X_i$'s are independent and identically distributed (i.i.d.), $X_i \sim N(0,1)$. In this case, we know how to find the joint PDF. It is simply the product of the individual (marginal) PDFs. Let's call such a random vector the standard normal random vector. So, let \begin{equation} \nonumber \textbf{Z} = \begin{bmatrix} Z_1 \\%[5pt] Z_2 \\%[5pt] . \\[-10pt] . \\[-10pt] . \\[5pt] Z_n \end{bmatrix}, \end{equation} where $Z_i$'s are i.i.d. and $Z_i \sim N(0,1)$. Then, we have \begin{align}%\label{} f_{\mathbf{Z}}(\mathbf{z})&=f_{Z_1, Z_2, ..., Z_n}(z_1, z_2, ..., z_n)\\ &=\prod_{i=1}^{n} f_{Z_i}(z_i)\\ &=\frac{1}{(2\pi)^{\frac{n}{2}}} \exp \left\{-\frac{1}{2} \sum_{i=1}^{n} z_i^2 \right\}\\ &=\frac{1}{(2\pi)^{\frac{n}{2}}} \exp \left\{-\frac{1}{2} \mathbf{z}^T\mathbf{z} \right\}. \end{align}
For a standard normal random vector Z, where $Z_i$'s are i.i.d. and $Z_i \sim N(0,1)$, the PDF is given by \begin{align}%\label{} f_{\mathbf{Z}}(\mathbf{z})=\frac{1}{(2\pi)^{\frac{n}{2}}} \exp \left\{-\frac{1}{2} \mathbf{z}^T\mathbf{z} \right\}. \end{align}

Now, we need to extend this formula to a general normal random vector X with mean $\mathbf{m}$ and covariance matrix C. This is very similar to when we defined general normal random variables from the standard normal random variable. We remember that if $Z \sim N(0,1)$, then the random variable $X=\sigma Z+ \mu$ has $N(\mu, \sigma^2)$ distribution. We would like to do the same thing for normal random vectors.

Assume that I have a normal random vector X with mean $\mathbf{m}$ and covariance matrix C. We write $\mathbf{X} \sim N(\mathbf{m},\mathbf{C})$. Further, assume that $\mathbf{C}$ is a positive definite matrix.(The positive definiteness assumption here does not create any limitations. We already know that $\mathbf{C}$ is positive semi-definite (Theorem 6.2), so $\det(\textbf{C}) \geq 0$. We also know that $\mathbf{C}$ is positive definite if and only if $\det(\textbf{C})>0$ (Theorem 6.3). So here, we are only excluding the case $\det(\textbf{C})=0$. If $\det(\textbf{C})=0$, then you can show that you can write some $X_i$'s as a linear combination of others, so indeed we can remove them from the vector without losing any information.) Then from linear algebra we know that there exists an $n$ by $n$ matrix Q such that \begin{align}%\label{} &\textbf{Q}\textbf{Q}^T=\textbf{I} \quad (\textbf{I} \textrm{ is the identity matrix}),\\ &\textbf{C}= \textbf{Q} \textbf{D} \textbf{Q}^T, \end{align} where D is a diagonal matrix \begin{equation} \nonumber D = \begin{bmatrix} d_{11} & 0 & ... & 0 \\%[5pt] 0 & d_{22} & ... & 0 \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] 0 & 0 & ... & d_{nn} \end{bmatrix}. \end{equation} The positive definiteness assumption guarantees that all $d_{ii}$'s are positive. Let's define \begin{equation} \nonumber D^{\frac{1}{2}} = \begin{bmatrix} \sqrt{d_{11}} & 0 & ... & 0 \\%[5pt] 0 & \sqrt{d_{22}} & ... & 0 \\%[5pt] . & . & . & .\\[-10pt] . & . & . & . \\[-10pt] . & . & . & . \\[5pt] 0 & 0 & ... & \sqrt{d_{nn}} \end{bmatrix}. \end{equation} We have $D^{\frac{1}{2}} D^{\frac{1}{2}}=\mathbf{D}$ and $D^{\frac{1}{2}}={D^{\frac{1}{2}}}^{T}$. Also define \begin{align}%\label{} \mathbf{A}= Q D^{\frac{1}{2}} Q^T. \end{align} Then, \begin{align}%\label{} \mathbf{A} \mathbf{A}^{T}= \mathbf{A}^{T}\mathbf{A}=\mathbf{C}. \end{align} Now we are ready to define the transformation that converts a standard Gaussian vector to $\mathbf{X} \sim N(\mathbf{m},\mathbf{C})$. Let Z be a standard Gaussian vector, i.e., $\mathbf{Z} \sim N(\mathbf{0},\mathbf{I})$. Define \begin{align}%\label{} \mathbf{X}=\mathbf{A}\mathbf{Z}+\mathbf{m}. \end{align} We claim that $\mathbf{X} \sim N(\mathbf{m},\mathbf{C})$. To see this, first note that $\mathbf{X}$ is a normal random vector. The reason is that any linear combination of components of $\mathbf{X}$ is indeed a linear combination of components of $\mathbf{Z}$ plus a constant. Thus, every linear combination of components of $\mathbf{X}$ is a normal random variable. It remains to show that $E\mathbf{X}=\mathbf{m}$ and $\mathbf{C_X}=\mathbf{C}$. First note that by linearity of expectation we have \begin{align}%\label{} E\mathbf{X} &= E \left[\mathbf{A}\mathbf{Z}+\mathbf{m}\right]\\ &= \mathbf{A} E[\mathbf{Z}] +\mathbf{m}\\ &= \mathbf{m}. \end{align} Also, by Example 6.12 we have \begin{align}%\label{} C_X&=A C_Z A^T\\ &=\mathbf{A} \mathbf{A}^{T} & (\textrm{since } C_Z=\mathbf{I})\\ &=\mathbf{C}. \end{align} Thus, we have shown that X is a random vector with mean $\mathbf{m}$ and covariance matrix C. Now we can use Example 6.15 to find the PDF of X. We have \begin{align} f_{\mathbf{X}}(\mathbf{x})&=\frac{1}{|\det(\mathbf{A})|}f_{\mathbf{Z}}\big(\mathbf{A}^{-1}(\mathbf{x}-\mathbf{m}) \big) \\ &=\frac{1}{(2\pi)^{\large{\frac{n}{2}}} |\det(\mathbf{A})|} \exp \left\{-\frac{1}{2} (\mathbf{A}^{-1}(\mathbf{x}-\mathbf{m}))^T(\mathbf{A}^{-1}(\mathbf{x}-\mathbf{m})) \right\}\\ &=\frac{1}{(2\pi)^{\large{\frac{n}{2}}} \sqrt{\det(\mathbf{C})}} \exp \left\{-\frac{1}{2} (\mathbf{x}-\mathbf{m})^T\mathbf{A}^{-T} \mathbf{A}^{-1}(\mathbf{x}-\mathbf{m}) \right\}\\ &=\frac{1}{(2\pi)^{\large{\frac{n}{2}}} \sqrt{\det(\mathbf{C})}} \exp \left\{-\frac{1}{2} (\mathbf{x}-\mathbf{m})^T \mathbf{C}^{-1}(\mathbf{x}-\mathbf{m}) \right\}. \end{align}

For a normal random vector $\mathbf{X}$ with mean $\mathbf{m}$ and covariance matrix $\mathbf{C}$, the PDF is given by \begin{align}\label{eq:pdf-normal-vec} f_{\mathbf{X}}(\mathbf{x})=\frac{1}{(2\pi)^{\large{\frac{n}{2}}} \sqrt{\det\textbf{C}}} \exp \left\{-\frac{1}{2} (\textbf{x}-\textbf{m})^T \mathbf{C}^{-1}(\textbf{x}-\textbf{m}) \right\} \hspace{20pt} (6.1) \end{align}

Let $X$ and $Y$ be two jointly normal random variables with $X \sim N(\mu_X,\sigma_X)$, $Y \sim N(\mu_Y,\sigma_Y)$, and $\rho(X,Y)=\rho$. Show that the above PDF formula for PDF of $\begin{bmatrix} X \\%[5pt] Y \end{bmatrix}$ is the same as $f_{X,Y}(x,y)$ given in Definition 5.4 in Section 5.3.2. That is, \begin{align} \label{eq:bivariate-normal} f_{XY}(x,y)&=\frac{1}{2 \pi \sigma_X \sigma_Y \sqrt{1-\rho^2}} \cdot \\ & \exp \left\{-\frac{1}{2 (1-\rho^2)}\bigg[\bigg(\frac{x-\mu_X}{\sigma_X}\bigg)^2 +\bigg(\frac{y-\mu_Y}{\sigma_Y}\bigg)^2-2\rho \frac{(x-\mu_X)(y-\mu_Y)}{\sigma_X \sigma_Y} \bigg] \right\}. \end{align}
  • Solution
    • Both formulas are in the form $ae^{-\frac{1}{2}b}$. Thus, it suffices to show that they have the same $a$ and $b$. Here we have \begin{equation} m = \begin{bmatrix} \mu_X \\%[5pt] \mu_Y \end{bmatrix}. \end{equation} We also have \begin{equation} \nonumber C = \begin{bmatrix} \textrm{Var}(X) & \textrm{Cov}(X,Y) \\%[5pt] \textrm{Cov}(Y,X) & \textrm{Var}(Y) \end{bmatrix}=\begin{bmatrix} \sigma^2_X & \rho \sigma_X \sigma_Y \\%[5pt] \rho \sigma_X \sigma_Y & \sigma^2_Y \end{bmatrix}. \end{equation} From this, we obtain \begin{align}%\label{} \det \mathbf{C}= \sigma^2_X \sigma^2_Y(1-\rho^2). \end{align} Thus, in both formulas for PDF $a$ is given by \begin{align}%\label{} a= \frac{1}{2 \pi \sigma_X \sigma_Y\sqrt{1-\rho^2}}. \end{align} Next, we check $b$. We have \begin{equation} \nonumber C^{-1} = \frac{1}{\sigma^2_X \sigma^2_Y(1-\rho^2)}\begin{bmatrix} \sigma^2_Y & -\rho \sigma_X \sigma_Y \\%[5pt] -\rho \sigma_X \sigma_Y & \sigma^2_X \end{bmatrix}. \end{equation} Now by matrix multiplication we obtain \begin{align}%\label{} (x-m)^T \mathbf{C}^{-1}(x-m) &= \\ &\hspace{-40pt}=\frac{1}{\sigma^2_X \sigma^2_Y(1-\rho^2)} \begin{bmatrix} x-\mu_X\\ y-\mu_Y \end{bmatrix}^{T} \begin{bmatrix} \sigma^2_Y & -\rho \sigma_X \sigma_Y \\%[5pt] -\rho \sigma_X \sigma_Y & \sigma^2_X \end{bmatrix} \begin{bmatrix} x-\mu_X\\ y-\mu_Y \end{bmatrix}\\ &\hspace{-40pt}=-\frac{1}{2 (1-\rho^2)}\left[\left(\frac{x-\mu_X}{\sigma_X}\right)^2 +\left(\frac{y-\mu_Y}{\sigma_Y}\right)^2-2\rho \frac{(x-\mu_X)(y-\mu_Y)}{\sigma_X \sigma_Y} \right], \end{align} which agrees with the formula in Definition 5.4.

Remember that two jointly normal random variables $X$ and $Y$ are independent if and only if they are uncorrelated. We can extend this to multiple jointly normal random variables. Thus, if you have a normal random vector whose components are uncorrelated, you can conclude that the components are independent. To show this, note that if the $X_i$'s are uncorrelated, then the covariance matrix $\mathbf{C}_\mathbf{X}$ is diagonal, so its inverse $\mathbf{C}^{-1}_\mathbf{X}$ is also diagonal. You can see that in this case the PDF (Equation 6.1) becomes the products of marginal PDFs.
If $\mathbf{X}=[X_1,X_2,...,X_n]^T$ is a normal random vector, and we know $\textrm{Cov}(X_i,X_j)=0$ for all $i \neq j$, then $X_1$,$X_2$, ..., $X_n$ are independent.

Another important result is that if $\mathbf{X}=[X_1,X_2,...,X_n]^T$ is a normal random vector then $\mathbf{Y}=\mathbf{A}\mathbf{X}+\mathbf{b}$ is also a random vector because any linear combination of components of $\mathbf{Y}$ is also a linear combination of components of $\mathbf{X}$ plus a constant value.
If $\mathbf{X}=[X_1,X_2,...,X_n]^T$ is a normal random vector, $\mathbf{X} \sim N(\mathbf{m},\mathbf{C})$, $\mathbf{A}$ is an $m$ by $n$ fixed matrix, and $\mathbf{b}$ is an $m$-dimensional fixed vector, then the random vector $\mathbf{Y}=\mathbf{A}\mathbf{X}+\mathbf{b}$ is a normal random vector with mean $\mathbf{A}E\mathbf{X}+\mathbf{b}$ and covariance matrix $\mathbf{A} \mathbf{C} \mathbf{A}^T$. \begin{align}%\label{} \mathbf{Y} \sim N(\mathbf{A}E\mathbf{X}+\mathbf{b},\mathbf{A} \mathbf{C} \mathbf{A}^T) \end{align}

The print version of the book is available through Amazon here.

Book Cover