[論文レビュー] Analysis and Probability on Infinite-Dimensional Spaces

Nathaniel Eldredge|arXiv (Cornell University)|Jul 13, 2016

Advanced Banach Space Theory参考文献 7被引用数 9

ひとこと要約

この論文は、無限次元空間における解析と確率論について大学院レベルの入門を提供し、バナッハ空間上のガウス測度（抽象ウィener空間）に焦点を当てる。関数解析、測度論、確率過程の道具を用いて、無限次元のルベーグ測度の非存在や、カミロン＝マーチン空間の役割といった基礎的結果を確立する。主な貢献は、トポロジー、測度、確率論の無限次元における相互作用を体系的に展開し、直感的で具体的な例（ブラウン運動など）に重点を置くことにある。

ABSTRACT

These lecture notes contain an introduction to some of the fundamental ideas and results in analysis and probability on infinite-dimensional spaces, mainly Gaussian measures on Banach spaces. They originated as the notes for a topics course at Cornell University in 2011.

研究の動機と目的

• 無限次元バナッハ空間における確率論に、厳密でありながら直感的な基礎を提供すること。特にガウス測度に焦点を当てる。
• 無限次元空間の構造的制限を明確にすること。例えば、平行移動不変なルベーグ測度が存在しないこと。
• カミロン＝マーチン空間が、大部分の確率的および解析的作用が発生する「活性」部分空間として果たす役割を明らかにすること。
• 共分散および標本路の性質を通じて、古典的確率過程（ブラウン運動や分数ブラウン運動など）と抽象理論を結びつけること。
• セパラブルバナッハ空間などのポリッシュ空間上の有限ボレル測度がラドン測度であることを示し、測度を伴う集合のコンパクト近似を可能にする。

提案手法

• バナッハ空間 $W$ にガウス測度 $\mu$ とその関連するカミロン＝マーチン空間 $H$ を備えた抽象ウィナー空間の枠組みを用いる。
• リースの補題を用いて、一様に分離された点列を構成し、無限次元バナッハ空間における平行移動不変測度が開球に有限正の測度を割り当てることができないことを証明する。
• ポリッシュ空間を $[0,1]^\infty$ に埋め込むことで、可分な完備距離空間上の有限ボレル測度がラドン測度であることを示す。
• バナッハ空間上の強い位相と弱い位相の間の位相的および測度論的相互作用を分析し、特にコンパクト性と収束に関する関係を検討する。
• バナッハ空間とその双対空間の双対性を用いて、カミロン＝マーチン空間を共分散作用素の像の閉包として定義する。
• 古典的ウィナー空間や連続ガウス過程などの具体例を通じて理論的結果を図示し、それらのカミロン＝マーチン空間と標本路の正則性を計算する。

実験結果

リサーチクエスチョン

• RQ1 なぜ無限次元の可分バナッハ空間には、開球に有限正の測度を割り当てる平行移動不変なボレル測度が存在しないのか？
• RQ2 カミロン＝マーチン空間は、バナッハ空間上のガウス測度の「台」としてどのように機能するのか？また、なぜウィナークラウスや確率積分の自然な定義域となるのか？
• RQ3 バナッハ空間上の異なるノルムが誘導する位相の関係は何か？そして、それらがボレル測度の存在と性質にどのように影響を与えるか？
• RQ4 与えられたボレル確率測度のもとで、全測度を有するコンパクト集合の列をどのように構成できるか？
• RQ5 ブラウン運動や分数ブラウン運動といった特定のガウス過程のカミロン＝マーチン空間の明示的表現は何か？

主な発見

• 無限次元ルベーグ測度は存在しない：無限次元の可分バナッハ空間上の任意の平行移動不変ボレル測度は、すべての開集合に測度 0 または無限大を割り当てる。
• ポリッシュ空間（例えば、可分な完備距離空間）上の有限ボレル測度はラドン測度である。これは、コンパクト集合による近似が可能であることを意味するが、無限次元バナッハ空間ではコンパクト集合がどこにも内点を持たないため、その性質は直感的でない。
• バナッハ空間 $W$ 上のガウス測度のカミロン＝マーチン空間 $H$ は $W$ の稠密部分空間であり、測度の「全行動」を担う。これはウィナー積分やカミロン＝マーチンの公式の自然な定義域として機能する。
• 古典的ウィナー空間では、ブラウン運動の標本路の性質（例えば、ホルダー連続性や dyadic 区間における有界 Variation）を用いて、明示的なコンパクト集合 $K_n$ を構成でき、$\mu(\bigcup K_n) = 1$ を満たす。
• バナッハ空間上の異なるノルムが誘導する位相は、連続関数の数や収束の性質に影響を与える。強い位相はより多くの開集合を持ち、収束列が少なくなる。
• あるベクトル空間上の2つのノルムがともに完備であるが互いに同値でない場合、それらが生成する位相は恒等写像の連続性を保つように比較可能ではない。このような例は選択公理を用いて構成可能である。