The characteristic function is the Fourier transform of the probability density.

Definition: The characteristic function of a random variable \(\x \in \real^d\) is \(\varphi(\t) = \Ex \exp(i\t \Tr \x)\), where \(i=\sqrt{-1}\).

Note that \(\exp(i\t \Tr \x) = \cos(\t \Tr \x) + i \sin(\t \Tr \x)\); the characteristic function is thus bounded and continuous, so by the Portmanteau theorem, if \(\x_n \inD \x\) then the characteristic functions will also converge. This is actually an if and only if statement, known as the continuity theorem and formally stated below.

Important properties of characteristic functions

For all of the properties below, \(x\) and \(y\) are random variables with characteristic functions \(\varphi_{\x}\) and \(\varphi_{\y}\), \(b\) and \(\c\) are constants, and \(\bm = \Ex \X\). To keep things consistent with the numbering in the course notes, I will refrain from numbering the first three properties.

Existence and uniqueness

(i) For any random vector \(\x\), \(\varphi(\t)\) exists and is continuous for all \(\t \in \real^d\).

(ii) Two random vectors \(\x\) and \(\y\) have the same distribution if and only if \(\varphi_\x(\t) = \varphi_\y(\t)\).

Continuity

Theorem (Continuity): \(\x_n \inD \x\) if and only if \(\varphi_n(\t) \to \varphi(\t)\) for all \(\t \in \real^d\).

Other properties

(1) \(\varphi(\zero) = 1\) and \(\abs{\varphi(\t)} \le 1\) for all \(\t\)

(2) \(\varphi_{\x/b}(\t) = \varphi_{\x}(\t/b)\) for \(b \ne 0\)

(3) \(\varphi_{\x+\c}(\t) = \exp(i \t \Tr \c) \varphi_{\x}(\t)\)

(4) \(\varphi_{\x+\y}(\t) = \varphi_{\x}(\t) \varphi_{\y}(\t)\) if \(\x \ind \y\)

(5) \(\nabla \varphi_{\x}(\t)\) exists, is continuous, and \(\nabla \varphi_{\x}(\zero) = i\bm\) if \(\Ex\norm{\x} < \infty\)

(6) \(\nabla^2 \varphi_{\x}(\t)\) exists, is continuous, and \(\nabla^2 \varphi_{\x}(\zero) = -\Ex(\x\x \Tr)\) if \(\Ex\norm{\x}^2 < \infty\)

(7) \(\varphi_{\x}(\t) = \exp(i \t \Tr \c)\) if \(\x=\c\) with probability 1

(8) \(\varphi_{\x}(\t) = \exp(i \t \Tr \bm - \tfrac{1}{2}\t \Tr \bS \t)\) if \(\x \sim \Norm(\bm, \bS)\)