[論文レビュー] Support theorem for a singular semilinear stochastic partial differential equation

Khalil Chouk, Peter K. Friz|arXiv (Cornell University)|Sep 15, 2014

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

ひとこと要約

本稿は、2次元空間における空間時間白色ノイズによって駆動される特異な非線形確率偏微分方程式（gPAM）に対して、ストルック＝ヴァラダラン型のサポート定理を確立する。パラコントロールド分布を用いて、解の法則の位相的サポートを、十分に強い位相における強化ノイズのサポートとして同定することで、古典的手法では定義されない積のための問題を克服する。サブクリティカルな状況下で、きめ細かく滑らかなパスに依存する解析的手法を用いることで、ウォング＝ザカイ近似の発散を回避する。

ABSTRACT

We consider the generalized parabolic Anderson equation (gPAM) in 2 dimensions with periodic boundary. This is an example of a singular semilinear stochastic partial differential equations, solutions of which require renormalization and have only be understood recently via Hairer's regularity structures and, in some cases equivalently, paracontrollled distributions due to Gubinelli, Imkeller and Perkowski. In the present paper we describe the law of gPAM, by establishing a Stroock{Varadhan type support theorem in suitable Holder{Besov spaces.

研究の動機と目的

• 2次元空間における一般化パラボリックアンダーソンモデル（gPAM）の解の法則に対するサポート定理を提供すること。
• 古典的手法が、定義されない積のため失敗する空間時間白色ノイズを伴う特異なSPDEに、ストルック＝ヴァラダランのサポート定理フレームワークを拡張すること。
• パラコントロールド分布と強化ノイズの精密な解析を用いることで、特異な設定下でウォング＝ザカイ近似の発散を克服すること。
• 解がノイズパスに対して強い位相で連続的依存することを確立し、解のサポートがノイズのサポートによって特徴づけられることを可能にすること。
• KPZ方程式やΦ⁴₃理論などの他のサブクリティカル特異SPDEへのサポート定理の一般化の基盤を築くこと。

提案手法

• gPAM方程式における ill-posed 積 $ f(u)\xi $ を取り扱うために、パラコントロールド分布フレームワークを用いる。ここで $ \xi $ は空間時間白色ノイズである。
• Hölder–Besov空間における固定点法を用いて、正則化された方程式の局所的well-posednessを証明し、反復を用いて大域的解の存在を示す。
• 十分に強い位相における強化ノイズのサポートを同定し、解の連続的依存性に不可欠な役割を果たす。
• リッチ・パスに類似した戦略を適用：解のサポートは、解写像の連続性を活用して、強化ノイズのサポートによって決定される。
• 決定的摂動下での解の挙動を分析するために、ファインマン＝カックの公式と対数変換を用い、サポートの厳密包含を証明する。
• Cameron–Martin空間 $ \mathcal{H} $ から $ C([0,T], \mathcal{C}^\alpha) $ への解写像 $ h \mapsto v^h $ の連続性を確立し、サポート記述の堅牢性を保証する。

実験結果

リサーチクエスチョン

• RQ1 2次元空間における特異なgPAM確率偏微分方程式の解の法則の位相的サポートは何か？
• RQ2 空間時間白色ノイズを伴うSPDEに対して、ストルック＝ヴァラダランのサポート定理をどのように拡張できるか？特に、ノイズが古典的手法では扱えないほど粗い場合。
• RQ3 パラコントロールド分布を用いることで、特異なSPDEにおけるウォング＝ザカイ近似の発散をサポート定理の文脈で克服できるか？
• RQ4 強化ノイズが解のサポートを決定づける役割を果たす場合、そのサポートはどれほど強い位相で特徴づけられるか？
• RQ5 滑らかなノイズパスによって駆動される解の閉包は、解の法則の全サポートよりも真に小さいか？その理由は何か？

主な発見

• gPAM方程式の解 $ u $ の法則のサポートは、Cameron–Martin空間 $ \mathcal{H} $ 内の滑らかなノイズパスによって駆動される解の集合の閉包として特徴づけられる。この記述は、空間 $ C([0,T], \mathcal{C}^\alpha(\mathbb{T}^2)) $ 内で成り立つ。
• 解写像 $ h \mapsto v^h $ は $ \mathcal{H} $ から $ C([0,T], \mathcal{C}^\alpha(\mathbb{T}^2)) $ への連続写像であり、ノイズのサポートによるサポート記述が適切に定義されることを保証する。
• 十分に強い位相における強化ノイズのサポートが同定され、解がノイズに対して連続的依存するための根幹的役割を果たす。
• 正規化における定数 $ c $ をゼロに設定することは、ファインマン＝カックの公式と対数変換による背理法により、サポートを変えると示された。
• 滑らかなノイズパスによって駆動される解の閉包は、解の法則の全サポートに真に含まれる。これは、サポートが滑らかなパス近似よりも真に大きいことを証明する。
• 結果は堅牢であり、KPZ方程式や $ \Phi^4_3 $ などの他のサブクリティカル特異SPDEへのサポート定理の一般化を可能にする。類似のパラコントロールド手法が適用可能である。