[論文レビュー] Singular stochastic PDEs

Martin Hairer|arXiv (Cornell University)|Mar 25, 2014

Stochastic processes and financial applications参考文献 47被引用数 22

ひとこと要約

この論文は、Kardar-Parisi-Zhang方程式などの極めて特異な確率的偏微分方程式（SPDE）を、以前は意味のないものと見なされていたものを厳密に定義・解くために、'正則性構造'を用いる新しい枠組みを提案する。テイラー多項式の代わりに、方程式のスケーリングと特異性に合わせて構築されたモデル化された分布を用いることで、局所的解の構成が可能となり、再正規化技術を用いて適切な解の存在が確立される。

ABSTRACT

We present a series of recent results on the well-posedness of very singular parabolic stochastic partial differential equations. These equations are such that the question of what it even means to be a solution is highly non-trivial. This problem can be addressed within the framework of the recently developed theory of "regularity structures", which allows to describe candidate solutions locally by a "jet", but where the usual Taylor polynomials are replaced by a sequence of custom-built objects. In order to illustrate the theory, we focus on the particular example of the Kardar-Parisi-Zhang equation, a popular model for interface propagation.

研究の動機と目的

• 不規則なノイズ項によって古典的意味を持たないため、解を定義することが困難な特異な確率的偏微分方程式に対する解の定義という根本的問題に取り組む。
• 空間時間白色ノイズによって駆動される非線形性を有する方程式に対し、一貫性があり意味のある解を割り当てることができる、強固な数学的枠組みを構築する。
• Kardar-Parisi-Zhang（KPZ）方程式を代表例として、理論の適用可能性を示す。
• 古典的ソボレフ空間やホルダー空間を超える、新しい解析的構造を用いて、広範なクラスの特異なSPDEに対して適切な解の存在を確立する。
• 正則性構造フレームワーク内での再正規化を用いて、確率的偏微分方程式における発散を体系的に取り扱うための体系的かつ一貫した手法を提供する。

提案手法

• 理論は、ジェットの概念を一般化するための'正則性構造'を用い、標準的なテイラー多項式の代わりに、方程式のスケーリングと特異性に合わせて調整されたモデル化された分布の族を用いる。
• 解は、重み付き関数空間に埋め込まれたモデル化された分布として局所的に構成され、不規則な解を一貫した幾何的枠組みで記述可能となる。
• 非線形項と空間時間白色ノイズの相互作用によって生じる発散を体系的に除去するため、再正規化手順を統合する。
• 抽象的な多項式的対象に分布を割り当てる'モデル'の使用が、理論の中心的要素であり、これにより下位の確率的構造に適合するよう調整される。
• 解理論は、正則性構造に適合した重み付き関数空間における固定点議論に基づき構築され、局所的解の存在と一意性が保証される。
• この手法はKPZ方程式に適用され、非線形性と粗いノイズの両方が存在するにもかかわらず、数学的に厳密な解の構成が可能であることが確認された。

実験結果

リサーチクエスチョン

• RQ1 空間時間白色ノイズと非線形性を有するが、古典的解析ではあまりに特異すぎて意味を持たない確率的偏微分方程式に対して、一貫性があり意味のある解をどのように割り当てることができるか？
• RQ2 点での正則性が欠如するため、形式的に意味のないものと見なされるSPDEの解を定義するための、どのような構造的枠組みが必要か？
• RQ3 非線形項とノイズの相互作用によって生じる発散を扱うために、再正規化手順を特異なSPDEの解理論に体系的に統合することは可能か？
• RQ4 正則性構造フレームワークは、統計力学や界面成長において中心的な役割を果たすKPZ方程式のような代表的方程式に、どの程度まで適用可能か？
• RQ5 古典的解の概念を一般化しつつも、摂動や非線形性に対して堅牢であるような、解の概念をどのように定義できるか？

主な発見

• 正則性構造の理論は、以前は意味のないものと見なされていた特異なSPDEの解を数学的に厳密に定義するための枠組みを提供する。
• Kardar-Parisi-Zhang方程式は、この枠組み内で適切な解を有することが示され、その構築に関して長年の問題が解決された。
• 再正規化は解のプロセスに体系的に組み込まれており、非線形項と空間時間白色ノイズの相互作用によって生じる発散を除去することが可能である。
• 解の概念は局所的であり、モデル化された分布表現に基づくものであり、不規則な状況における古典的ジェットの概念を一般化する。
• 適切な関数空間における固定点議論が可能となり、広範なクラスの特異なSPDEに対して、局所的解の存在と一意性が保証される。
• この手法は、KPZ方程式のスケーリングと特異性構造を的確に扱い、数学的物理におけるこのような方程式の厳密な解析への道筋を提供する。