[論文レビュー] Paracontrolled Distributions and the 3-dimensional Stochastic Quantization Equation

Rémi Catellier, Khalil Chouk|arXiv (Cornell University)|Oct 25, 2013

Stochastic processes and financial applications参考文献 16被引用数 125

ひとこと要約

本稿では、パラコントロールド分布を用いて、3次元 $Φ^4_3$ ストークス的量子化方程式の局所的時間解の存在と一意性を確立する。パラコントロールド分解と正規化技術を組み合わせることで、空間時間白色ノイズに起因する特異な非線形項を解消し、適切なベソフ＝ホーラー空間枠組みにおける固定点法を可能にする。

ABSTRACT

We prove the existence and uniqueness of a local solution to the periodic renormalized $\\Phi^4_3$ model of stochastic quantisation using the method of controlled distributions introduced recently by Imkeller, Gubinelli and Perkowski ("Paraproducts, rough paths and controlled distributions", arXiv:1210.2684)

研究の動機と目的

• 空間時間白色ノイズによって駆動される3次元 $Φ^4_3$ ストークス的量子化方程式の局所的時間解の存在と一意性を確立すること。
• 解の空間的正則性が $\mathcal{C}^{-1/2}$ よりも低いことから生じる非線形項 $u^3$ の不適切性を解消すること。
• ハイラーの正則性構造とは異なり、より明示的で解析的取り扱いが容易なパラコントロールド分布を用いた、代替的な構成的解法を提供すること。
• 発散定数 $C_\varepsilon$ を含む体系的な正規化手順を通じて、発散する非線形項を厳密に定義・制御すること。
• パラコントロールド枠組みにおける固定点法を用い、擬微分型計算とベソフ空間の推定を活用して、収束を確立すること。

提案手法

• グビネリ、インケラー、ペルコウスキーが導入したパラコントロールド分布フレームワークを用い、解をガウス成分 $X$ と滑らかさを持つ剰余項に分解する。
• ベソフ＝ホーラー空間 $\mathcal{C}^\alpha = B_{\infty,\infty}^\alpha$ における擬微分型計算を用い、$u^3$ に起因する特異な非線形項を制御する。
• 正規化された方程式 $\partial_t u = \Delta u - (u^3 - C_\varepsilon u) + \xi$ を用い、$C_\varepsilon \sim \frac{a}{\varepsilon} + b\log \varepsilon + c$ が $\varepsilon \to 0$ の際に発散することを考慮する。
• パラコントロールド分布の空間における固定点法を用いて解を構成し、点での正則性に欠けるにもかかわらず収束を保証する。
• 可換子推定と周波数局在化技術（二重ブロック $\Delta_j$, $S_{j-1}$）を用い、特異成分と滑らか成分の相互作用を制御する。
• スワーツ関数の急速な減衰と周波数局在化作用素の $L^1$ ノルム推定に依存する、可換子補題を適用してパラコントロールド分解の誤差をバウンドする。

実験結果

リサーチクエスチョン

• RQ1 空間時間白色ノイズを伴う $\Phi^4_3$ 方程式において、$u^3$ 項が数学的に厳密に意味を持つようにはできるか？
• RQ2 パラコントロールド分布法は、3次元における特異な確率的偏微分方程式を解くためのハイラーの正則性構造の代替として有効であるか？
• RQ3 滑らか化された解が非自明な極限に収束するようにするために必要な正規化定数は何か？
• RQ4 解が $\mathcal{C}^{-1/2}$ よりも低い位置にある場合、固定点法を関数空間枠組みでどのように定式化できるか？
• RQ5 ガウス過程 $X = \int_0^t P_{t-s} \xi_s ds$ は、解の分解と正則性構造において果たす役割は何か？

主な発見

• パラコントロールド分布枠組みにおいて、3次元 $\Phi^4_3$ 方程式の解 $u$ は局所的に時間について存在し、一意的である。
• 解 $u$ は任意の $\alpha < -1/2$ に対して $C([0,T]; \mathcal{C}^{\alpha}(\mathbb{T}^3))$ に属する。これは、ノイズに起因する予想される低正則性を確認するものである。
• 非線形項 $u^3$ は、$C_\varepsilon \sim \frac{a}{\varepsilon} + b\log \varepsilon + c$ が滑らか化された解の収束を保証する正規化手続きによって定義される。
• パラコントロールド分布の空間における固定点法は、周波数局在化推定を用いて収束が確立された。
• 可換子項の明示的制御は、可換子補題によって達成され、スワーツ関数の急速な減衰と周波数局在化作用素の $L^1$ ノルム推定に依存する。
• 解析により、パラコントロールドアプローチが、$\|u\|_\alpha \|v\|_\beta$ 型ノルムにおける剰余項の定量的制御を可能にし、誤差バウンドが $\varepsilon^{-\delta} 2^{-j(\alpha + \beta + \delta)}$ の形で $\delta > 0$ に対して減少することが確認された。