一様可積分性の判定条件｜十分条件と必要十分条件

一様可積分性をもつ確率変数列は，積分と極限の順序交換に関する[Vitaliの収束定理]が成り立つ．

[Vitaliの収束定理]は一様可積分な確率変数列が0に概収束していれば，期待値も0に収束することが言えるため，[Lebesgueの収束定理]とは違って優関数をとってこなくても適用できる点が大きなメリットである．

この[Vitaliの収束定理]については前回の記事で説明したので参照されたい．

したがって，[Vitaliの収束定理]を適用するには，確率変数列が一様可積分であることを判定する必要がある．

今回の記事では一様可積分性が成り立つための

十分条件
必要十分条件

を説明する．

一連の記事はこちら

【確率変数の4つの収束｜概収束，平均収束，確率収束，法則収束】
【一様可積分とヴィタリの収束定理｜ルベーグの収束定理の一般化】
【一様可積分性の判定条件｜十分条件と必要十分条件】←この記事

【SPONSORED LINK】

1 一様可積分性の復習
2 一様可積分性の十分条件
- 2.1 十分条件１
- 2.2 十分条件２
3 一様可積分性の必要十分条件
- 3.1 一様可積分性の必要十分条件
- 3.2 一様可積分と和

一様可積分性の復習

まずは一様可積分の定義を復習しておく．

[一様可積分]　実数値確率変数列 $\{X_n\}_{n\in\N}$ が

$\begin{align*} \lim_{\lambda\to\infty}\sup_{n\in\N}\mathbb{E}\brc{|X_n|I_{\{|X_n|\ge\lambda\}}}=0 \end{align*}$

を満たすとき， $\{X_n\}_{n\in\N}$ は一様可積分であるという．

ただし，確率空間を $(\Omega,\mathcal{F},\mathbb{P})$ とし， $\mathbb{E}$ は期待値である：

$\begin{align*} \mathbb{E}[X]=\int_{\Omega}X_n(\omega)\,\mathbb{P}(d\omega). \end{align*}$

また，集合 $A\subset\Omega$ に対して $I_{A}$ は $A$ 上の定義関数である：

$\begin{align*} I_{A}(\omega)=\begin{cases}1&\omega\in A,\\0&\omega\notin A.\end{cases} \end{align*}$

この記事では，これらの記号を用いる．

一様可積分性の十分条件

一様可積分の十分条件を2つ示す．

十分条件１

確率関数列に優関数が存在すれば，一様可積分である．

確率変数列 $\{X_n\}_{n\in\N}$ について，可積分な確率変数 $X$ が存在して，任意の $n\in\N$ , $\omega\in\Omega$ に対して $|X_n(\omega)|\le X(\omega)$ が成り立てば， $\{X_n\}_{n\in\N}$ は一様可積分である．

[証明]

確率変数族 $\{|X|I_{|X|\ge\lambda}\}_{\lambda>0}$ について，

$\{|X|I_{|X|\ge\lambda}\}_{\lambda>0}$ は $\lambda\to0$ で0に概収束し，
任意の $\omega\in\Omega$ に対して $\abs{|X(\omega)|I_{|X|\ge\lambda}(\omega)}\le X(\omega)$ が成り立ち，
仮定より $X$ は可積分である．

よって，Lebesgueの収束定理が適用できて，

$\begin{align*} \lim_{\lambda\to\infty}\mathbb{E}\brc{|X|I_{|X|\ge\lambda}}=0 \end{align*}$

が成り立つ．仮定より，任意の $n\in\N$ に対して $|X_n|\le X$ だから，

$\begin{align*} \mathbb{E}\brc{|X_n|I_{|X_n|\ge\lambda}} \le&\mathbb{E}\brc{|X|I_{|X_n|\ge\lambda}} \\\le&\mathbb{E}\brc{|X|I_{|X|\ge\lambda}} \\\to&0\quad (\lambda\to\infty) \end{align*}$

が成り立つ．よって， $\{X_n\}_{n\in\N}$ は一様可積分である．

[証明終]

例えば，可積分な実数値確率変数 $X$ に対して， $X=X_1=X_2=\dots$ で定まる確率変数列 $\{X_n\}_{n\in\N}$ (全ての項が $X$ の確率変数列)は一様可積分である．

実際， $X$ が可積分であることから， $|X|$ も可積分で $|X_n|\le |X|$ をみたす．

すなわち， $|X|$ を優関数にとれるので， $\{X\}_{n\in\N}$ は一様可積分である．

十分条件２

1次より大きい増大をもち，期待値を有限にする正値関数が存在すれば，一様可積分である．

確率変数列 $\{X_n\}_{n\in\N}$ について，Borel可測関数 $\psi:\R\to\R_{>0}$ が存在して，

$\begin{align*} \begin{cases} \lim_{|x|\to\infty}\dfrac{|x|}{\psi(x)}=0\\ \sup_{n\in\N}\mathbb{E}[\psi(X_n)]<\infty \end{cases} \end{align*}$

が成り立てば， $\{X_n\}_{n\in\N}$ は一様可積分である．

[証明]

任意の $\epsilon>0$ をとる．2つめの条件式より，

$\begin{align*} M:=\sup_{n\in\N}\mathbb{E}[\psi(X_n)]<\infty \end{align*}$

が成り立つ．1つ目の条件式より，ある $R>0$ が存在して， $|x|\ge R$ なら

$\begin{align*} \dfrac{|x|}{\psi(x)}<\frac{\epsilon}{M} \iff|x|<\frac{\epsilon\psi(x)}{M} \end{align*}$

が成り立つので，

$\begin{align*} &\sup_{n\in\N}\mathbb{E}\brc{|X_n|I_{\{|X_n|\ge R\}}} \\\le&\sup_{n\in\N}\mathbb{E}\brc{\frac{\epsilon\psi(X_n)}{M} I_{\{|X_n|\ge R\}}} \\=&\frac{\epsilon}{M}\bra{\sup_{n\in\N}\mathbb{E}\brc{\psi(X_n) I_{\{|X_n|\ge R\}}}} \\\le&\frac{\epsilon}{M}\bra{\sup_{n\in\N}\mathbb{E}[\psi(X_n)]} \\=&\frac{\epsilon}{M}\times M =\epsilon \end{align*}$

だから， $\{X_n\}_{n\in\N}$ は一様可積分である．

[証明終]

例えば， $p\in(1,\infty)$ に対して $\sup_{n\in\N}\mathbb{E}[|X_n|^p]<\infty$ が成り立っていれば， $\{X_n\}_{n\in\N}$ は一様可積分である．

実際， $\psi(x)=|x|^p$ ととれば

$\begin{align*} \lim_{|x|\to\infty}\dfrac{|x|}{\psi(x)} =&\lim_{|x|\to\infty}\dfrac{|x|}{|x|^p} \\=&\lim_{|x|\to\infty}|x|^{1-p} =0, \\\sup_{n\in\N}\mathbb{E}[\psi(X_n)] =&\sup_{n\in\N}\mathbb{E}[|X_n|^p] <\infty \end{align*}$

が成り立つから， $\{X_n\}_{n\in\N}$ は一様可積分である．

言い換えれば， $L^p(\Omega)$ 上の確率変数列は一様可積分である．

一様可積分性の必要十分条件

次に，一様可積分の必要十分条件について述べる．

この必要十分条件を用いれば，一様可積分な2つの確率変数列の和も一様可積分であることを容易に示すことができる．

一様可積分性の必要十分条件

以下が一様可積分の必要十分条件である．

実数値確率変数列 $\{X_n\}_{n\in\N}$ について， $\{X_n\}_{n\in\N}$ が一様可積分であることと，次が同時に成り立つことは同値である．

$\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$ が成り立つ．
任意の $\epsilon>0$ に対して，ある $\delta>0$ が存在して， $A\in\mathcal{F}$ が $\mathbb{P}(A)<\delta$ をみたすなら $\sup_{n\in\N}\mathbb{E}[|X_n|I_{A}]<\epsilon$ が成り立つ．

[証明]

[必要性の証明]　実数値確率変数列 $\{X_n\}_{n\in\N}$ が一様可積分であるとする．

このとき，1つ目の条件 $\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$ が成り立つことは前回の記事で示した．

【前回の記事：一様可積分とヴィタリの収束定理｜ルベーグの収束定理の一般化】

一様可積分性をもつ確率変数列は，それらの期待値が一様に有界となる．さらに，この確率変数列が概収束していれば，極限の期待値も有限となる．このことから，確率変数列が概収束するだけで極限と積分が順序交換できる[Vitaliの収束定理]が証明できる．

よって，2つ目の条件を示せばよい．

任意に $\epsilon>0$ をとる． $\{X_n\}_{n\in\N}$ が一様可積分であることから，ある $R>0$ が存在して，

$\begin{align*} \sup_{n\in\N}\mathbb{E}\brc{|X_n|I_{\{|X_n|\ge R\}}}<\frac{\epsilon}{2} \end{align*}$

が成り立つ．ここで， $A\in\mathcal{F}$ が $\mathbb{P}(A)<\frac{\epsilon}{2R}$ とすると，

$\begin{align*} &\sup_{n\in\N}\mathbb{E}[|X_n|I_{A}] \\=&\sup_{n\in\N}\bra{\mathbb{E}\brc{|X_n|I_{A\cap\{|X_n|\ge R\}}}+\mathbb{E}\brc{|X_n|I_{A\cap\{|X_n|<R\}}}} \\\le&\sup_{n\in\N}\bra{\mathbb{E}\brc{|X_n|I_{\{|X_n|\ge R\}}}+\mathbb{E}\brc{R I_{A\cap\{|X_n|<R\}}}} \\\le&\sup_{n\in\N}\bra{\mathbb{E}\brc{|X_n|I_{\{|X_n|\ge R\}}}+R\mathbb{E}\brc{I_{A}}} \\\le&\bra{\sup_{n\in\N}\mathbb{E}\brc{|X_n|I_{\{|X_n|<R\}}}}+R\mathbb{P}(A) \\<&\frac{\epsilon}{2}+R\cdot\frac{\epsilon}{2R} =\epsilon \end{align*}$

となって，2つ目の条件も成り立つ．

[十分性の証明]　実数値確率変数列 $\{X_n\}_{n\in\N}$ が2つの条件を同時に満たすとし，1つ目の条件について $M:=\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$ とする．

任意の $\lambda>0$ に対して， $\delta=\frac{2M}{\lambda}$ とすると，

$\begin{align*} &\mathbb{P}\bra{\set{\omega\in\Omega}{|X_n(\omega)|\ge\lambda}} \\=&\mathbb{E}\brc{I_{\{|X_n|\ge\lambda\}}} \\\le&\mathbb{E}\brc{\frac{|X_n|}{\lambda}I_{\{|X_n|\ge\lambda\}}} \\=&\frac{1}{\lambda}\mathbb{E}\brc{|X_n|I_{\{|X_n|\ge\lambda\}}} \\\le&\frac{1}{\lambda}\mathbb{E}\brc{|X_n|} \\\le&\frac{M}{\lambda} =\frac{\delta}{2} <\delta \end{align*}$

が成り立つから，条件2より

$\begin{align*} \sup_{n\in\N}\mathbb{E}[|X_n|I_{\{|X_n|\ge\lambda\}}]<\epsilon \end{align*}$

が成り立つ．すなわち， $\{X_n\}_{n\in\N}$ は一様可積分である．

[証明終]

一様可積分と和

一様可積分な確率変数列の和は一様可積分である．

一様可積分な2つの確率変数列 $\{X_n\}_{n\in\N}$ , $\{Y_n\}_{n\in\N}$ に対して， $\{X_n+Y_n\}_{n\in\N}$ は一様可積分である．

[証明]

一様可積分性の必要十分条件より， $\sup_{n\in\N}\mathbb{E}[|X_n|]<\infty$ , $\sup_{n\in\N}\mathbb{E}[|Y_n|]<\infty$ が成り立つから，

$\begin{align*} \sup_{n\in\N}\mathbb{E}[|X_n+Y_n|] \le&\sup_{n\in\N}\mathbb{E}[|X_n|+|Y_n|] \\=&\sup_{n\in\N}\bra{\mathbb{E}[|X_n|]+\mathbb{E}[|Y_n|]} \\\le&\bra{\sup_{n\in\N}\mathbb{E}[|X_n|]}+\bra{\sup_{n\in\N}\mathbb{E}[|Y_n|]} \\<&\infty \end{align*}$

が成り立つ．

また，一様可積分性の必要十分条件より，任意の $\epsilon>0$ に対して，ある $\delta,\eta>0$ が存在して， $A,B\in\mathcal{F}$ が $\mathbb{P}(A)<\delta$ , $\mathbb{P}(B)<\eta$ をみたすなら $\sup_{n\in\N}\mathbb{E}[|X_n|I_{A}]<\frac{\epsilon}{2}$ , $\sup_{n\in\N}\mathbb{E}[|Y_n|I_{B}]<\frac{\epsilon}{2}$ が成り立つ．

よって， $\mathbb{P}(C)<\min\{\delta,\eta\}$ を満たす $C\in\mathcal{F}$ をとると，

$\begin{align*} \sup_{n\in\N}\mathbb{E}[|X_n|I_{C}]<\frac{\epsilon}{2},\quad \sup_{n\in\N}\mathbb{E}[|Y_n|I_{C}]<\frac{\epsilon}{2} \end{align*}$

が成り立つ．よって，

$\begin{align*} &\sup_{n\in\N}\mathbb{E}[|X_n+Y_n|I_{C}] \\\le&\sup_{n\in\N}\mathbb{E}[|X_n|+|Y_n|I_{C}] \\\le&\sup_{n\in\N}\bra{\mathbb{E}[|X_n|I_{C}]+\mathbb{E}[|Y_n|I_{C}]} \\\le&\bra{\sup_{n\in\N}\mathbb{E}[|X_n|I_{C}]}+\bra{\sup_{n\in\N}\mathbb{E}[|Y_n|I_{C}]} \\<&\frac{\epsilon}{2}+\frac{\epsilon}{2} <\epsilon \end{align*}$

が成り立つ．

以上より， $\{X_n+Y_n\}_{n\in\N}$ は一様可積分性の必要十分条件を満たすことが分かったから， $\{X_n+Y_n\}_{n\in\N}$ は一様可積分である．

[証明終]

一様可積分性の復習

一様可積分性の十分条件

十分条件１

十分条件２

一様可積分性の必要十分条件

一様可積分性の必要十分条件

一様可積分と和

関連記事