[論文レビュー] Local/global existence and uniqueness of solutions for SPDE with generalized coercivity condition

Wei Liu, Michael Röckner|arXiv (Cornell University)|Feb 2, 2012

Navier-Stokes equation solutions参考文献 48被引用数 1

ひとこと要約

本稿では、一般化された強制性および局所単調性条件の下で、非線形確率偏微分方程式（SPDE）の局所的および大域的解の存在および一意性を確立する。この枠組みはヒルバート空間上での加法的ノイズを伴うSPDEに適用可能であり、3次元ナビエ＝ストークス方程式やカーン＝ヒリャール方程式といった重要な方程式への応用によって検証されている。

ABSTRACT

In this paper we obtain the local and global existence and uniqueness of solutions for general nonlinear evolution equations with coefficients satisfying some local monotonicity and generalized coercivity conditions. The analog result is also established for stochastic evolution equations on Hilbert space with general additive noise. As applications, the main results are applied to stochastic 3D Navier-Stokes equation, stochastic tamed 3D Navier-Stokes equation, stochastic surface growth PDE, Cahn-Hilliard equation and the equation of power law fluids.

研究の動機と目的

• 局所的および大域的解の存在および一意性を、局所単調性および一般化された強制性条件を満たす係数をもつ一般非線形発展方程式について確立すること。
• ヒルバート空間上での一般加法的ノイズを伴う確率的発展方程式へこれらの結果を拡張すること。
• 数学的物理学および流体力学に現れる広範なSPDEのクラスに適用可能な統一的解析的枠組みを提供すること。
• 特に確率的3次元ナビエ＝ストークス方程式および制御されたナビエ＝ストークス方程式といった重要なSPDEモデルへの具体的応用を通じて、理論的枠組みの妥当性を検証すること。
• 標準的な強制性仮定が成立しないような複雑な系へも適用可能な、強固なSPDEの存在理論を提供すること。

提案手法

• 標準的な強い強制性要件を弱める一般化された強制性条件を用いることで、非線形SPDEに広く適用可能となるようにする。
• 非線形性を制御し、パスごとの一意性を保証するために、ドリフト作用素における局所単調性条件を適用する。
• 適切な関数空間における解の構成のために、ガラーキン近似と事前推定、および緊密性の議論を組み合わせる。
• 与えられた条件下で局所的解の存在および一意性を示すために、適切な重み付き空間におけるバナッハの不動点定理を用いる。
• 一般化された強制性および単調性枠組みのもとで、パスごとの一意性および強い解の存在を示すためにヤマダ＝ワタナベ型の議論を適用する。
• 一様な事前推定を示し、停止時間の議論を用いて局所解を大域的解へ拡張することで、大域的解の存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 非線形SPDEの係数が退化的または弱い強制性を持つ場合、どのような条件下で局所的および大域的解の存在および一意性を保証できるか。
• RQ2 古典的な強制性条件をどのように一般化すれば、より広いクラスのSPDEに適用可能でありながら解の存在および一意性を保てるか。
• RQ3 この枠組みはヒルバート空間上での加法的ノイズを伴うSPDEに拡張可能か。その場合、解の正則性にどのような影響があるか。
• RQ4 この理論は、確率的3次元ナビエ＝ストークス方程式やカーン＝ヒリャール方程式といった物理的に重要な方程式に、どの程度適用可能か。
• RQ5 標準的な強制性仮定が成立しなくなった場合、解析的手法にどのような修正が必要か。安定性および収束性はどのように保たれるか。

主な発見

• 本稿では、一般化された強制性および局所単調性条件の下で、SPDEの局所的および大域的解の存在および一意性が証明され、古典的仮定を越える拡張が達成された。
• この枠組みは、ノイズおよび係数にややきつい条件を課えることで、確率的3次元ナビエ＝ストークス方程式（包括して制御されたバージョン）に対しても適用可能である。
• 本手法により、非単調的かつ退化的であることで知られる表面成長PDEおよびパワー則流体方程式に対しても解の存在が確立された。
• カーン＝ヒリャール方程式は、提案された条件下で一意解を有することを示し、相分離モデルに対する理論の頑健性を確認した。
• 事前推定、コンパクトネス、および不動点議論の組み合わせによって結果が得られ、適切な関数空間内での強い解の存在が保証された。
• 強い強制性をより柔軟な一般化された条件に置き換えることで、多様なSPDEの統一的取り扱いが可能となり、適用範囲が広がった。