[論文レビュー] Smooth Solutions of Non-linear Stochastic Partial Differential Equations

Xicheng Zhang|ArXiv.org|Jan 25, 2008

Advanced Mathematical Modeling in Engineering参考文献 22被引用数 4

ひとこと要約

本稿は、非線形確率偏微分方程式（SPDE）のクラスに対して、滑らかな解の存在を示した。これには、確率的バーガース方程式、ジンツブルク＝ランダウ方程式、2次元およびトゥーリング化された3次元ナビエ＝ストークス方程式が含まれる。その根拠は、新規のヒルベルトスケールフレームワークである。SPDEを正則化し、停止時刻と一様有界性を用いたエネルギー推定を適用することで、近似解が滑らかな極限に強く収束することを証明した。これは、従来の半群法やガラーキン法が得る正則性より低い解に限られる問題を克服したものである。

ABSTRACT

In this paper, we study the regularities of solutions of nonlinear stochastic partial differential equations in the framework of Hilbert scales. Then we apply our general result to several typical nonlinear SPDEs such as stochastic Burgers and Ginzburg-Landau's equations on the real line, stochastic 2D Navier-Stokes equations in the whole space and a stochastic tamed 3D Navier-Stokes equation in the whole space, and obtain the existence of their respectively smooth solutions.

研究の動機と目的

• 乗法的ノイズを伴う非線形SPDEに対して滑らかな解の存在を示す統一的枠組みを確立すること。
• 空間的・時間的白色ノイズによって駆動されるSPDEに対して、古典的・強い解理論の欠如に取り組むこと。通常は弱解や弱解のみが得られるが、それらを越える解の存在を示すこと。
• 半群法やガラーキン法に内在する正則性損失を克服するため、ヒルベルトスケールに基づくエネルギー法を導入すること。
• 2次元およびトゥーリング化された3次元ナビエ＝ストークス方程式のような方程式に対し、滑らかな解の結果を全空間上に拡張すること。

提案手法

• セクター型作用素によって生成されるヒルベルトスケール上でSPDEを定式化し、スケール間での解の正則性を制御可能にする。
• 解析的半群を用いて、ヒルベルト空間上での正則化SPDEの列を構築する。
• 解のp次のモーメントについて、ヒルベルトスケールノルム上で伊藤の公式を適用し、エネルギー推定を導出する。
• 解ノルムの重み付き積分に基づく停止時刻を導入し、発散の制御と一様有界性の確保を図る。
• 正則化パラメータに依存しない、時間区間を切断した上でグロワールの不等式を適用し、一様なモーメント推定を導出する。
• 緊密性と収束の議論を用いて、近似解が滑らかな極限に強く収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 初期データおよび係数が滑らかである場合、確率的バーガース方程式やジンツブルグ＝ランダウ方程式のような非線形SPDEに対して、滑らか（古典的）な解が存在しうるか？
• RQ2 標準的な半群法やガラーキン法は、解の高正則性を保持するのか、それとも本質的に正則性を低下させるのか？
• RQ3 2次元およびトゥーリング化された3次元ナビエ＝ストークス方程式のような多様なSPDEに対して、滑らかな解の存在を示す統一的枠組みを構築可能か？
• RQ4 ヒルベルトスケール構造は、確率的摂動下でも解の正則性を保存・強化するために果たす役割は何か？
• RQ5 乗法的ノイズの存在下で、解ノルムの成長をどのように制御すれば、滑らかな解のグローバル存在を保証できるか？

主な発見

• 本稿では、実数直線上の確率的バーガース方程式およびジンツブルグ＝ランダウ方程式に対して、初期データおよびノイズデータが滑らかである場合、一意な強い解が滑らかに空間的に滑らかであることを証明した。
• R²における確率的2次元ナビエ＝ストークス方程式に対しては、加法的空間的・時間的白色ノイズの下で滑らかな解が得られ、従来の弱解の結果を超えた。
• R³におけるトゥーリング化された3次元ナビエ＝ストークス方程式に対しても、滑らかな解が確立された。これは、古典的状況ではグローバル存在が得られなかった問題を克服したものである。
• 正則化パrameter Nに依存しない、ヒルベルトスケールにおける一様なモーメント推定が得られ、収束を保証した。
• supノルムの成長に基づく停止時刻 τ_N に対して、任意の T > 0 に対して lim_{N→∞} P(τ_N < T) = 0 が成り立ち、ほとんど確実に爆発時刻が無限大に発散することを示した。
• 近似列の収束とソボレフノルムにおける一様制御を用いて、解の極限が[0, ∞)上でほとんど確実に滑らかな解であることが示された。