\usepackageamsmath\usepackageamsfonts\usepackageamssymb\usepackagefancybox\usepackagegraphics\usepackagemathrsfs\usepackage[all]xy\usepackagepgfplots\pgfplotssetcompat=newest\usetikzlibraryintersections,calc,arrows.meta

確率変数列の一様可積分性の判定|十分条件と必要十分条件

確率論
確率論

一様可積分性をもつ確率変数列は,積分と極限の順序交換に関するヴィタリ(Vitali)の収束定理が成り立つのでした.

ヴィタリの収束定理は確率変数列の

が分かっていれば適用でき,ルベーグの収束定理とは違って優関数をとってこなくても良い点で有用です.

この記事では

  • 一様可積分性が成り立つための十分条件
  • 一様可積分性が成り立つための必要十分条件

を順に説明します.

一様可積分性の復習

まずは一様可積分性の定義を確認しておきましょう.

[一様可積分]確率空間(Ω,F,P)において,実数値確率変数列{Xn}nN

limλsupnN{|Xn|λ}|Xn(ω)|P(dω)=0(limλsupnNE[|Xn|I{|Xn|λ}]=0)

を満たすとき,{Xn}nN一様可積分(uniformly integrable)であるという.

ただし,Eは期待値,集合AΩに対してIAA上の定義関数です:

E[X]=ΩX(ω)P(dω),IA(ω)={1,ωA,0,ωA.

要するに{Xn}が一様可積分であるとは,「|Xn|λ以上となるところでのXnの期待値」がnによらず一様にλ0に近付くということですね.





一様可積分性の十分条件

一様可積分の十分条件を2つ示します.

十分条件1(優関数の存在)

確率関数列に優関数が存在すれば,一様可積分となります.

確率変数列{Xn}nNについて,可積分な確率変数Xが存在して,任意のnN, ωΩに対して|Xn(ω)|X(ω)が成り立てば,{Xn}nNは一様可積分である.

確率変数族{|X|I{|X|λ}}λ>0について,

  • {|X|I{|X|λ}}λ>0λ00概収束し,
  • 任意のωΩに対して||X(ω)|I{|X|λ}(ω)|X(ω)が成り立ち,
  • 仮定よりXは可積分である.

よって,ルベーグの収束定理が適用できて,

limλE[|X|I{|X|λ}]=0

が成り立つ.仮定より,任意のnNに対して|Xn|Xだから,

E[|Xn|I{|Xn|λ}]E[|X|I{|Xn|λ}]E[|X|I{|X|λ}]0(λ)

が成り立つ.よって,{Xn}nNは一様可積分である.

例えば,可積分な実数値確率変数Xに対して,X=X1=X2=で定まる確率変数列{Xn}nN(全ての項がXの確率変数列)は一様可積分です.

実際,Xが可積分であることから,|X|も可積分で|Xn||X|をみたします.

すなわち,|X|を優関数にとれるので,{X}nNは一様可積分となります.

十分条件2(1より大きい冪でも期待値が有限)

1次より大きい増大をもち,期待値を有限にする正値関数が存在すれば,一様可積分となります.

確率変数列{Xn}nNについて,ボレル可測関数ψ:RR>0が存在して,

lim|x||x|ψ(x)=0,supnNE[ψ(Xn)]<

が同時に成り立てば,{Xn}nNは一様可積分である.

M:=supnNE[ψ(Xn)]とおき,任意のϵ>0をとる.lim|x||x|ψ(x)=0より,あるR>0が存在して,

|x|>R|x|ψ(x)<ϵM

が成り立つ.よって,

E[|Xn|I{|Xn|R}]=E[|Xn|ψ(Xn)ψ(Xn)I{|Xn|R}]E[ϵMψ(Xn)I{|Xn|R}]=ϵME[ψ(Xn)I{|Xn|R}]ϵME[ψ(Xn)]ϵMM=ϵ

nNによらず成り立つ.よって,{Xn}nNは一様可積分である.

この系として,期待値の列{E[|Xn|p]}p>1)が一様に有界な確率変数列{Xn}は一様可積分であることが分かります.

確率変数列{Xn}を考える.あるp>1が存在して,supnNE[|Xn|p]<なら{Xn}は一様可積分である.

関数列{Xn}nNp乗可積分であるとする:supnNE[|Xn|p]<.このとき,ψ(x)=|x|pととれば,

lim|x||x|ψ(x)=lim|x||x||x|p=lim|x||x|1p=0,supnNE[ψ(Xn)]=supnNE[|Xn|p]<

が成り立つから,{Xn}nNは一様可積分である.





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

次に,一様可積分の必要十分条件について説明します.

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

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

以下は一様可積分の必要十分条件です.

実数値確率変数列{Xn}nNについて,{Xn}nNが一様可積分であることと,次が同時に成り立つことは同値である.

  1. supnNE[|Xn|]<が成り立つ.
  2. 任意のϵ>0に対して,あるδ>0が存在して,AFP(A)<δをみたすならsupnNE[|Xn|IA]<ϵが成り立つ.

(1)(2)の証明]実数値確率変数列{Xn}nNが一様可積分であるとする.

このとき,1つ目の条件supnNE[|Xn|]<が成り立つことは前回の記事で示したから,2つ目の条件を示す.

任意にϵ>0をとる.{Xn}nNが一様可積分であることから,あるR>0が存在して,

supnNE[|Xn|I{|Xn|R}]<ϵ2

が成り立つ.ここで,AFP(A)<ϵ2Rとすると,

supnNE[|Xn|IA]=supnN(E[|Xn|IA{|Xn|R}]+E[|Xn|IA{|Xn|<R}])supnN(E[|Xn|I{|Xn|R}]+E[RIA{|Xn|<R}])supnN(E[|Xn|I{|Xn|R}]+RE[IA])(supnNE[|Xn|I{|Xn|<R}])+RP(A)<ϵ2+Rϵ2R=ϵ

となって,2つ目の条件も成り立つ.

[十分性の証明]実数値確率変数列{Xn}nNが2つの条件を同時に満たすとし,1つ目の条件についてM:=supnNE[|Xn|]<とする.

任意のλ>0に対して,δ=2Mλとすると,

P({ωΩ | |Xn(ω)|λ})=E[I{|Xn|λ}]E[|Xn|λI{|Xn|λ}]=1λE[|Xn|I{|Xn|λ}]1λE[|Xn|]Mλ=δ2<δ

が成り立つから,2つ目の条件より

supnNE[|Xn|I{|Xn|λ}]<ϵ

が成り立つ.すなわち,{Xn}nNは一様可積分である.

応用(一様可積分性と和)

いまみた必要十分条件を用いると,次のように一様可積分な確率変数列の和は一様可積分となることが証明できます.

一様可積分な2つの確率変数列{Xn}nN, {Yn}nNに対して,{Xn+Yn}nNは一様可積分である.

一様可積分性の必要十分条件より,supnNE[|Xn|]<, supnNE[|Yn|]<が成り立つから,

supnNE[|Xn|+|Yn|]=supnN(E[|Xn|]+E[|Yn|])(supnNE[|Xn|])+(supnNE[|Yn|])<

が成り立つ.

また,一様可積分性の必要十分条件より,任意のϵ>0に対して,あるδ,η>0が存在して,A,BFP(A)<δ, P(B)<ηをみたすならsupnNE[|Xn|IA]<ϵ2, supnNE[|Yn|IB]<ϵ2が成り立つ.

よって,P(C)<min{δ,η}を満たすCFをとると,

supnNE[|Xn|IC]<ϵ2,supnNE[|Yn|IC]<ϵ2

が成り立つ.よって,

supnNE[|Xn+Yn|IC]supnNE[(|Xn|+|Yn|)IC]supnN(E[|Xn|IC]+E[|Yn|IC])(supnNE[|Xn|IC])+(supnNE[|Yn|IC])<ϵ2+ϵ2<ϵ

が成り立つ.

以上より,{Xn+Yn}nNは一様可積分性の必要十分条件を満たすことが分かったから,{Xn+Yn}nNは一様可積分である.





参考文献

確率論

[舟木直久 著/朝倉書店]

本書は確率論の入門書で,全体を通して丁寧に書かれています.

第1章では確率論の概説がなされており,例えば「大数の弱法則」「大数の強法則」にまで平易な説明で触れられているのが嬉しいです.

ただし,本書の「まえがき」に書かれているように,第2章から第5章は大学3年〜4年相当の確率論の内容となっているので,第2章以降を読むにはそれなりの基礎が必要となります.

第6章,第7章では代表的な確率過程である「マルチンゲール」「マルコフ過程」が解説されています.

本書は全体を通して「なぜその概念を学ぶ必要があるのか」という動機付けが大切にされており,新しい概念を前向きに理解しやすい点が優れている好著となっています.

コメント