特性関数 (確率論)

thumb|250px| の一様確率変数の特性関数。原点を中心とする対称性のある確率変数であるため、この関数は実数値を返す。ただし、一般に特性関数は複素数を返す。
確率論と統計学において、任意の確率変数に対する**特性関数**（とくせいかんすう、）とは、その確率分布を完全に定義する関数である。したがって、確率密度関数や累積分布関数の代わりに特性関数を解析の基盤とすることもできる。確率変数の重み付き総和で分布を定義する単純な特性関数も存在する。

1 変量の分布以外にも、ベクトルまたは行列型の確率変数についての特性関数もあり、さらに一般化することもできる。

実数引数をとる関数と考えたとき、特性関数は積率母関数とは異なり、常に存在する。特性関数の振る舞いとその分布の属性には、モーメントの存在や密度関数の存在などの関係がある。

## 導入
特性関数は確率変数を記述する代替手段を提供する。累積分布関数
: F_X (x)=\operatorname{\mathbb{E}} [\mathbf{1}_{\{ X\leq x\}} ]
は確率変数  の確率分布の振る舞いと属性を完全に決定するが、それと同様に特性関数
: \varphi_X (t)=\operatorname{\mathbb{E}}[e^{itX}]
も確率変数  の確率分布の振る舞いと属性を完全に決定する。どちらか一方が分かっていればもう一方を求めることができ、その確率変数の特徴についてそれぞれ異なる洞察を与える。しかし、これらの関数を単純な標準的関数で表せるかどうかは、場合によって異なる。

確率変数が確率密度関数を持つ場合、特性関数と密度関数は互いにもう一方のフーリエ変換になっているという意味で双対である。確率変数に積率母関数がある場合、特性関数は複素領域に拡張されうる。
: \varphi_X (-it)=M_X(t)

なお、確率密度関数や積率母関数が存在しない場合でも、ある確率分布の特性関数は常に存在する。

特性関数は、特に独立した確率変数の線型結合の分析で有効である。他にも、確率変数のの理論においても重要である。

## 定義
スカラーの確率変数  について、その特性関数は、 の期待値として定義される。ここで  は虚数単位、 は特性関数の引数である。
: \varphi_X :\mathbb{R} \to\mathbb{C}; \quad \varphi_X (t)=\operatorname{\mathbb{E}} [e^{itX} ]=\int_{-\infty}^\infty e^{itx} \, dF_X (x)\qquad \left( =\int_{-\infty}^\infty e^{itx} f_X (x)\, dx\right)
ここで  は  の累積分布関数、積分はリーマン＝スティルチェス型である。確率変数  に確率密度関数  がある場合、その特性関数は確率密度関数のフーリエ変換であり、上記の括弧内の式が対応する。

なお、特性関数の定義に出現する定数は一般的なフーリエ変換のものとは異なる。例えば書籍によっては  と定義しており、これは本質的にはパラメータの変更である。他にも、確率測度  の特性関数を 、確率密度関数  に対応する特性関数を  と表すこともある。

特性関数の記法は、多変量の確率変数やさらに複雑な確率要素に一般化される。特性関数の引数は確率変数  が値を持つ空間の連続的双対空間に常に属する。主な場合における定義を以下に示す。
*  が -次元の確率ベクトルの場合、 について、
*: \varphi_X (t) = \operatorname{\mathbb{E}}[e^{it'X}],
*  が-次元の確率行列の場合、 について、
*: \varphi_X (t)=\operatorname{\mathbb{E}} [e^{i\operatorname{tr} (t'X)}],
*  が複素確率変数の場合、 について、
*: \varphi_X (t)=\operatorname{\mathbb{E}} [e^{i\operatorname{Re}(\overline{t}X)}],
*  が -次元の複素確率ベクトルの場合、 について、
*: \varphi_X (t)=\operatorname{\mathbb{E}} [e^{i\operatorname{Re} (t^* X)}],
*  が確率過程の場合、 のほとんど全ての実現値について積分  が収束するような全ての関数  について、
*: \varphi_X (t)=\operatorname{\mathbb{E}} [e^{i\int_\mathbb{R} t(s)X(s)ds}].
ここで （プライム）は  転置行列、 は行列の跡作用素、 は複素数の実部、 は  の複素共役、 は共役転置行列を意味する。

## 具体例

|-
|ガンマ 
|style="text-align:center"|(1-it\theta)^{-k}
|-
|指数 
|style="text-align:center"|(1-it\lambda^{-1} )^{-1}
|-
|多変量正規 
|style="text-align:center"|e^{it'\mu -\frac{1}{2} t'\Sigma t}
|}

## 性質
* 確率変数の特性関数は、測度が有限な空間上の有界な連続関数の積分であるため、常に存在する。
* 特性関数は空間全体について一様連続である。
* ゼロ付近では根を持たない ()。
* 有界である ()。
* エルミート関数である（）。原点を中心として対称性のある確率変数の特性関数は実数関数であり偶関数である。
* 累積分布関数と特性関数の間には全単射が存在する。すなわち、2 つの任意の確率変数  と  について、次が成り立つ：
*: F_{X_1} =F_{X_2} \ \Leftrightarrow \ \varphi_{X_1} =\varphi_{X_2} .
* 確率変数  に最大 -次のモーメントがある場合、その特性関数  は実数直線全体について  階連続微分可能である。このとき、次が成り立つ：
*: \operatorname{E} \, X^k =(-i)^k \varphi_X^{(k)} (0).
* 特性関数  がゼロにおいて  階の導関数を持つなら、確率変数  は  が偶数なら最大で -次のモーメントを持つが、 が奇数なら最大で -次までである。
*  が独立確率変数で、 が何らかの定数としたとき、 の線型結合の特性関数は次のようになる。
*: \varphi_{a_1 X_1 +\ldots +a_n X_n} (t)=\varphi_{X_1} (a_1 t)\cdot \ldots \cdot \varphi_{X_n} (a_n t).
* 特性関数の裾野の振る舞いは、対応する確率密度関数の平滑性を決定する。

### 連続性
上述した確率分布と特性関数の全単射は「連続」である。すなわち、累積分布関数の族  が何らかの分布  にするとき、対応する一連の特性関数  も収束し、極限  はそのままの  の特性関数に対応する。これをより形式的に述べると、次のようになる。

: **[[レヴィの連続性定理]]** ：-変量確率変数の列  が確率変数  に分布において収束する場合、常に列  は原点で連続な関数  に各点収束する。この  は  の特性関数である。

この定理は大数の法則や中心極限定理の証明によく使われる。

### 反転公式
累積分布関数と特性関数には1対1対応が存在するので、一方を知っていれば常にもう一方を求めることができる。上に挙げた特性関数の定義によれば、累積分布関数 （または確率密度関数 ）を知っていれば  を計算できる。一方、特性関数  を知っていて対応する累積分布関数を求めたい場合、以下に挙げる**反転定理**を利用できる。

; 定理
: 特性関数  が積分可能なら、 は絶対連続であり、 の確率密度関数は以下のように与えられる（ がスカラーの場合）。
:: f_X (x)=F_X'(x)=\frac{1}{2\pi}\int_{-\infty}^{\infty} e^{-itx} \varphi_X (t)\, dt
: 多変量の場合の確率密度関数は、ルベーグ測度  に対する分布  のラドン＝ニコディム微分として理解される。
:: f_X (x)=\frac{d\mu_X}{d\lambda} (x)=\frac{1}{(2\pi)^n} \int_{\mathbb{R}^n} e^{-i(t\cdot x)} \varphi_X (t)\lambda (dt)

; 定理（レヴィ）
: 累積分布関数  の特性関数を  とし、2 つの点  で定義される \{ x\mid a が  の連続性集合ならば（1 変量では、この条件は  が  と  で連続なことと等価である）、
:: F_X (b)-F_X (a)=\frac{1}{2\pi} \lim_{T\to\infty} \int_{-T}^{+T} \frac{e^{-ita} -e^{-itb}} {it} \, \varphi_X (t)\, dt, &nbsp;  がスカラーの場合
: \mu_X\big(\{a, &nbsp;  がベクトル型確率変数の場合

; 定理
:  が  について**原子的**ならば（1 変量の場合、これは  の不連続点を意味する）、
:: F_X (a)-F_X (a-0)=\lim_{T\to\infty} \frac{1}{2T} \int_{-T}^{+T} e^{-ita} \varphi_X (t)\, dt, &nbsp;  がスカラー型確率変数の場合
:: \mu_X (\{ a\} )=\lim_{T_1\to\infty} \cdots \lim_{T_n\to\infty} \left( \prod_{k=1}^n \frac{1}{2T_k} \right) \int\limits_{\{-T\leq t\leq T\}} e^{-i(t\cdot x)}\varphi_X (t)\lambda (dt), &nbsp;  がベクトル型確率変数の場合
; 定理 (Gil-Pelaez)
: 1 変量確率変数  について、 が  の連続点ならば、
:: F_X (x)=\frac{1}{2} -\frac{1}{\pi} \int_0^\infty \frac{\operatorname{Im}[e^{-itx} \varphi_X (t)]}{t} \,dt

### 特性関数の判定基準
減少しない càdlàg 関数（右連続左極限関数） で、極限が  および  となる場合、 は何らかの確率変数の累積分布関数に対応している。

他にも、与えられた関数  について、それが何らかの確率変数の特性関数かどうかを判定する単純な判定基準が存在する。これについての中心的成果としてボホナーの定理があるが、その主な条件である非負定性の判定が非常に難しいため、これが利用できる場面は多くはない。他にも , ,  などの定理もあるが、それらも応用が難しい。一方  の定理は非常に単純な凸条件を提供するが、それは十分条件であって必要条件ではない。この条件を満たす特性関数を  と呼ぶ。

* **ボホナーの定理** ：任意の関数 \scriptstyle \varphi :\ \mathbb{R}^n\to\mathbb{C} が何らかの確率変数の特性関数であるとき、常に  は非負定性で原点で連続であり、かつ  である。
* **ヒンチンの判定条件** ：原点で値が  で絶対連続な複素数値関数  は、以下のように表現できるときのみ特性関数といえる。
::\varphi (t)=\int_{-\infty}^\infty g(t+\theta )\overline{g(\theta )} d\theta 
* **マティアスの定理** ：原点で値が  で、実数値で偶関数で連続で絶対積分可能な関数  は、以下が成り立つ場合のみ特性関数といえる。
::(-1)^n \int_{-\infty}^\infty \varphi (pt)e^{-t^2/2} H_{2n} (t)dt \geq 0
: ここで  であり、常に  である。 は、-次のエルミート多項式を意味する。
250px|thumb|ポリアの定理を使い、有限区間では同じだが、それ以外の区間では異なる 2 つの確率変数を構築した例
* **ポリアの定理** ： が実数値の連続関数で以下の条件を満たす場合、
** ,
**  は偶関数,
**  は  について凸関数,
** ,
:  は絶対連続で対称な分布の特性関数である。
* 有限または可算な個数の特性関数の凸線型結合 \scriptstyle \sum_n a_ n\varphi_n (t)（ただし、\scriptstyle a_n \geq 0,\ \sum_n a_n =1）も特性関数である。
* 有限個の特性関数の積 \scriptstyle \prod_n \varphi_n (t) も特性関数である。原点で連続な関数に収束するなら、無限個の積でも成り立つ。
*  が特性関数、 がある実数としたとき、, , ,  も全て特性関数である。

## 利用
連続性定理があるため、特性関数は中心極限定理の証明でよく使われる。

### 分布の基本的操作
特性関数は、独立な確率変数の線型関数を操作する際に特に便利である。例えば、 を独立な（同分布である必要はない）確率変数の列とし、
:S_n = \sum_{i=1}^n a_i X_i
とする。ここで  は定数である。すると、 の特性関数は次のように定義できる。
:\varphi_{S_n} (t)=\varphi_{X_1} (a_1 t)\varphi_{X_2} (a_2 t) \cdots \varphi_{X_n} (a_n t)
特に \varphi_{X+Y} (t) = \varphi_X (t)\varphi_Y (t) となる。これを示すには、特性関数の定義を書いてみればよい。
:\varphi_{X+Y} (t)=E\left( e^{it(X+Y)} \right) =E\left( e^{itX} e^{itY} \right)=E\left( e^{itX} \right) E\left( e^{itY} \right) =\varphi_X (t)\varphi_Y (t)
 と  の独立性は、3 つ目の式と 4 つ目の式が等しいことを示すのに必要となる。

もう一つの興味深い例として、 の場合、 は標本平均となる。この場合  で平均を表し、
:\varphi_{\overline{X}} (t)=\left( \varphi_X (t/n)\right)^n
となる。

### モーメント
特性関数は確率変数のモーメントを求める場合にも使える。-次のモーメントがある場合、特性関数は  階微分可能で、次が成り立つ：
:\operatorname{\mathbb{E}} [X^n] = i^{-n}\, \varphi_X^{(n)} (0)=i^{-n} \, \left[ \frac{d^n}{dt^n} \varphi_X (t)\right]_{t=0}.
例えば、 が標準的なコーシー分布に従うとする。すると \varphi_X (t)=e^{-|t|} である。コーシー分布には期待値がなく、この特性関数は点  で微分可能ではない。また、 回の独立な観測についての標本の平均  の特性関数は、上の節にあるように \varphi_{\overline{X}} (t)=(e^{-|t|/n})^n =e^{-|t|} となる。これは標準のコーシー分布の特性関数であり、標本の平均と母集団は同じ分布である。

特性関数の対数はキュムラント母関数であり、キュムラントを求める際に有用である。ただし、キュムラント母関数を積率母関数の対数と定義する場合もあり、その場合は特性関数の対数を**第 2** キュムラント母関数と呼ぶ。

### データ解析
標本データに累積分布関数をあてはめるとき、特性関数を使うことができる。確率密度関数の閉形式が使えないため最尤法が適用しにくい場合、安定分布の当てはめも含め、特性関数を使ったあてはめが有効である。この場合の推定手順は、データから計算された経験的な特性関数と理論的な特性関数をマッチさせるという方法である。 と  は、そのような推定手順の理論的背景を提供している。さらに、 では、最尤法の適用が難しい場合に、経験的な特性関数を時系列モデルに適合させるという応用を解説している。

### 例
尺度母数 、形状母数  のガンマ分布の特性関数は次の通りである。
:(1-\theta \, i\, t)^{-k}
ここで、次のような 2 つのガンマ分布を考える。
:X~\sim \Gamma(k_1 ,\theta ) \mbox{ and } Y \sim \Gamma(k_2 ,\theta)
 と  が互いに独立のとき、 がどのような分布になるかを求めたい。それぞれの特性関数は次の通りである。
:\varphi_X (t)=(1-\theta \,i\,t)^{-k_1} ,\,\qquad \varphi_Y (t)=(1-\theta \,i\,t)^{-k_2}
 と  が独立であることと、特性関数の基本性質から、次が導かれる。
:\varphi_{X+Y} (t)=\varphi_X (t)\varphi_Y (t)=(1-\theta \,i\, t)^{-k_1}(1-\theta \, i\, t)^{-k_2} =\left( 1-\theta \, i\, t\right)^{-(k_1 +k_2)}
これは、尺度母数 、形状母数  のガンマ分布の特性関数に他ならない。したがって、最終的に次の結果が得られる。
:X+Y \sim \Gamma (k_1 +k_2 ,\theta )
この結果は、尺度母数が同じ  個の独立なガンマ分布の確率変数に拡張することができ、以下の関係が導かれる。
:\forall i\in \{ 1,\ldots ,n\} :X_i \sim \Gamma (k_i ,\theta )\qquad \Rightarrow \qquad \sum_{i=1}^n X_i \sim \Gamma \left( \sum_{i=1}^n k_i ,\theta\right)

## 関連する概念
関連する概念として、積率母関数とがある。特性関数は全ての確率分布について存在するが、積率母関数はそうとは限らない。

特性関数は、フーリエ変換と密接な関係がある。確率密度関数  の特性関数は、 の連続フーリエ変換  の複素共役である。

:\varphi_X (t)=\langle e^{itX} \rangle =\int_{-\infty}^\infty e^{itx} p(x)\, dx=\overline{\left( \int_{-\infty}^\infty e^{-itx} p(x)\, dx \right)} =\overline{P(t)}

同様に  への逆フーリエ変換で  を得られる。
:p(x)=\frac{1}{2\pi} \int_{-\infty}^\infty e^{itx} P(t)\, dt=\frac{1}{2\pi} \int_{-\infty}^\infty e^{itx} \overline{\varphi_X (t)} \, dt
確率変数が密度関数を持たない場合でも、特性関数はその確率変数に対応した測度のフーリエ変換と見なすことができる。

## 脚注

## 参考文献
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
*