[論文レビュー] Infinite-dimensional stochastic differential equations and tail $ σ$-fields

Hirofumi Osada, Hideki Tanemura|arXiv (Cornell University)|Dec 30, 2014

Random Matrices and Applications参考文献 41被引用数 12

ひとこと要約

本稿は、$ \mathbb{R}^d$ における無限個の相互作用するブラウン運動を記述する無限次元確率微分方程式（ISDE）に対する強い解の存在およびパスワイズ一意性に関する一般定理を確立する。著者らは、ラベル付きパス空間のテイル $ \sigma$ -代数を用いた新しい定式化を導入することで、リュエルのクラス（例：レナードジョーンズ6-12）や確率行列理論における対数型ポテンシャルを含む広範な相互作用ポテンシャルに対してこれらの結果を証明し、分野における長年の未解決問題を解決する。

ABSTRACT

We present general theorems solving the long-standing problem of the existence and pathwise uniqueness of strong solutions of infinite-dimensional stochastic differential equations (ISDEs) called interacting Brownian motions. These ISDEs describe the dynamics of infinite-many Brownian particles moving in $ \mathbb{R}^d $ with free potential $ Φ$ and mutual interaction potential $ Ψ$. We apply the theorems to essentially all interaction potentials of Ruelle's class such as the Lennard-Jones 6-12 potential and Riesz potentials, and to logarithmic potentials appearing in random matrix theory. We solve ISDEs of the Ginibre interacting Brownian motion and the sine$_β$ interacting Brownian motion with $ β= 1,2,4$. We also use the theorems in separate papers for the Airy and Bessel interacting Brownian motions. One of the critical points for proving the general theorems is to establish a new formulation of solutions of ISDEs in terms of tail $ σ$-fields of labeled path spaces consisting of trajectories of infinitely many particles. These formulations are equivalent to the original notions of solutions of ISDEs, and more feasible to treat in infinite dimensions.

研究の動機と目的

• 無限次元SDE（ISDE）が表す相互作用するブラウン運動の強い解の存在およびパスワイズ一意性を証明するという、長年の未解決問題を解決すること。
• ISDE理論の適用範囲を、コンパクトに台を持つまたは指数的に減衰する相互作用ポテンシャルに限らず、統計力学および確率行列理論で関連する多項式的減衰型および対数型ポテンシャルへ拡張すること。
• ラベル付きパス空間のテイル $ \sigma$ -代数を用いたISDE解の新しい定式化を構築し、無限次元設定においてより取り扱いやすいものとすること。
• ギニブレおよびサイン $ \beta$ 相互作用ブラウン運動（$ \beta = 1,2,4$ ）といった重要なモデルに適用可能な定理を確立すること。
• 弱解およびディリクレ形式に基づく先行研究を統合・拡張する一般枠組みを提供すること。

提案手法

• ラベル付きパス空間のテイル $ \sigma$ -代数 $ \mathcal{T}_{\mathrm{path}}(S^{\mathbb{N}})$ に基づくISDE解の新しい定式化を導入し、これは古典的解と同値であるが、無限次元設定において解析に適している。
• 5つの仮定（IFC, TT, AC, SIN, NBJ）を含むフレームワークを用いて、テイル $ \sigma$ -代数が自明である場合（$ \mathcal{T}_{\mathrm{path}}(S^{\mathbb{N}})$ ）と非自明な場合の2つの主要定理を証明する。
• 5つの仮定のもとで、パス空間のテイル $ \sigma$ -代数が自明であることを示す第二のテイル定理（定理5.1）を確立し、これはパスワイズ一意性の証明において極めて重要な段階である。
• 局所化された係数とリプシッツ連続性の議論（命題8.2）を用いて、ギニブレおよびサイン $ \beta$ 過程のような特定のモデルの解の存在および一意性を証明する。
• 確率的環境を伴うSDEに対する山田＝渡辺理論を応用し、5つの仮定のもとで強い解の存在を確立する。
• ジョルジのテイル分解を用いて条件付き測度の構造を解析し、テイル測度がほとんど確実に0または1であることを証明することで、一意性の確立を図る。

実験結果

リサーチクエスチョン

• RQ1 長距離相互作用または対数型ポテンシャル（例：レナードジョーンズ6-12ポテンシャル）を有するISDEに対して、強い解が存在し、パスワイズに一意であるかどうか。
• RQ2 ISDEの解の概念を、無限次元空間における解析に適した形に再定式化することは可能か。
• RQ3 ラベル付きパス空間のテイル $ \sigma$ -代数が自明である条件は何か、そしてそれは解のパスワイズ一意性とどのように関係するか。
• RQ4 一般定理は、$ \beta=1,2,4$ のギニブレおよびサイン $ \beta$ ランダム点場に対してISDEを解くために適用可能か。
• RQ5 5つの主要仮定（IFC, TT, AC, SIN, NBJ）が成り立つための十分条件は何か、特にSINおよびNBJ条件について。

主な発見

• 本稿は、リュエルのクラスに属する相互作用ポテンシャル（例：レナードジョーンズ6-12ポテンシャルおよびリーツポテンシャルを含む）を有するISDEに対して、強い解の存在およびパスワイズ一意性を保証する一般定理（定理3.1および3.4）を確立した。
• 著者らは、5つの仮定のもとでテイル $ \sigma$ -代数 $ \mathcal{T}_{\mathrm{path}}(S^{\mathbb{N}})$ が自明であることを証明した。これはパスワイズ一意性を証明する上で極めて重要な段階である。
• ギニブレ相互作用ブラウン運動は、一般定理を用いて $ \beta=1,2,4$ について解かれた。これにより、一意な強い解の存在が確認された。
• サイン $ \beta$ 相互作用ブラウン運動（$ \beta=1,2,4$ ）も同様の枠組みで解かれた。これにより、従来の結果が $ \beta$ の全範囲へ拡張された。
• 局所化およびテイラー展開の技法を用いて、5つの主要仮定（特にSINおよびNBJ条件）が成り立つための十分条件を提供した。
• テイル分解の結果（補題14.2）により、テイル測度 $ \mu_{\mathrm{Tail}}^{\mathsf{a}}$ がほとんど確実に0または1であり、異なる値に対しては互いに特異的であることが示された。これは一意性の証明に不可欠である。