[論文レビュー] Generalized random fields and L\\'evy's continuity theorem on the space of tempered distributions

Hermine Biermé, Olivier Durieu+1 more|arXiv (Cornell University)|Jun 28, 2017

Stochastic processes and financial applications参考文献 6被引用数 7

ひとこと要約

この論文は、核空間の抽象的枠組みを避けて、緩和分布空間における一般化された確率場のLévyの連続性定理の自己完結的証明を提供する。主な貢献は、シュワーツ空間とその双対の性質を活用し、特性関数型の点ごとの収束を通じて分布収束を直接かつ容易に導出することにある。

ABSTRACT

In this note, we recall main properties of generalized random fields and present a proof of the continuity theorem of Paul L\\'evy for generalized random fields in the space of tempered distributions. This theorem was first proved by Fernique (1968) in a more general setting. The aim of this note is to provide a self-contained proof that in particular avoids the abstract theory of nuclear spaces.

研究の動機と目的

• 緩和分布空間における一般化された確率場のLévyの連続性定理の自己完結的証明を提供すること。
• 既存の取り扱いにおいて複雑になる核空間およびその双対の抽象的理論に依存しないこと。
• 一般化された確率場の弱収束とその特性関数型の点ごとの収束との同値性を確立すること。
• 確率的収束に関連する緩和分布空間の位相的性質を明確にすること。
• ランダムボールモデルや画像処理など応用で頻出する文脈において、直接的かつ初等的な証明を提供することで、文献におけるギャップを埋めること。

提案手法

• 基礎関数空間としてシュワーツ空間 $\mathcal{S}(\mathbb{R}^d)$ 及びその位相的双対、すなわち緩和分布空間 $\mathcal{S}'(\mathbb{R}^d)$ を用いる。
• $\mathcal{S}'$ 上の弱位相と強位相について、それらのボレル $\sigma$-集合が一致することを示す。
• ティコノフの定理と $\mathcal{S}$ 内の相対コンパクト性を用いて、閉かつ有界な集合の弱コンパクト性を確立する。
• 等連続性と $\mathcal{S}$ と $\mathcal{S}'$ 間の双対性を活用し、有界集合上で弱位相と強位相の関係を明らかにする。
• 一般化された確率場の特性関数型の基礎としてミンロス–ボッハナーの定理を適用する。
• 連続性が原点で成立する条件下で、特性関数型の点ごとの収束により分布収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 核空間の抽象的理論を用いずに、一般化された確率場のLévyの連続性定理を証明することは可能か？
• RQ2 $\mathcal{S}'$ のどのような位相的および関数解析的性質が、特性関数型の収束が分布収束を意味することを保証するか？
• RQ3 有界かつ閉集合の文脈において、$\mathcal{S}'$ 上の弱位相と強位相はどのように関係するか？
• RQ4 一般化された確率場に対して、特性関数型の点ごとの収束が分布収束を意味するのはどのような条件下か？
• RQ5 関数解析学の専門家でない研究者にもアクセス可能な、自己完結的な連続性定理の証明を構築することは可能か？

主な発見

• $\mathcal{S}'$ 上のボレル $\sigma$-集合は、弱位相と強位相の両方で同一であり、確率論的取り扱いが一貫して可能である。
• 弱閉かつ弱有界な $\mathcal{S}'$ の任意の部分集合は弱コンパクトである。これはティコノフの定理と $\mathcal{S}$ の構造に起因する。
• 強有界な $\mathcal{S}'$ の部分集合は等連続であるため、その上では弱位相と強位相が同値である。
• 閉かつ強有界な $\mathcal{S}'$ の部分集合は、弱コンパクトかつ強コンパクトである。これは双対空間内での収束性を保証する。
• 証明により、一般化された確率場の分布収束が、極限が原点で連続である限り、その特性関数型の点ごとの収束と同値であることが示された。
• この結果は、特にランダムフィールドや画像モデリングに関連する確率過程の極限定理において、実用的かつアクセス可能な道具を提供する。