[論文レビュー] An Introduction to Stochastic PDEs

Martin Hairer|arXiv (Cornell University)|Jul 23, 2009

Stochastic processes and financial applications参考文献 35被引用数 118

ひとこと要約

本稿は、加法的空間時間白色ノイズを伴う半線形放物型SPDEに焦点を当て、確率的偏微分方程式（SPDE）の自己完結的入門を提供する。中心的な例として確率的熱方程式を用い、解の正則性を分析し、1次元ではノイズの特異性と熱核の滑らかさ効果の相互作用により、解が時間に関してほぼ1/4-ホルダー連続で、空間に関してほぼ1/2-ホルダー連続であることを示している。

ABSTRACT

These notes are based on a series of lectures given first at the University of Warwick in spring 2008 and then at the Courant Institute, Imperial College London, and EPFL. It is an attempt to give a reasonably self-contained presentation of the basic theory of stochastic partial differential equations, taking for granted basic measure theory, functional analysis and probability theory, but nothing else. The approach taken in these notes is to focus on semilinear parabolic problems driven by additive noise. These can be treated as stochastic evolution equations in some infinite-dimensional Banach or Hilbert space that usually have nice regularising properties and they already form a very rich class of problems with many interesting properties. Furthermore, this class of problems has the advantage of allowing to completely pass under silence many subtle problems arising from stochastic integration in infinite-dimensional spaces.

研究の動機と目的

• 最小限の前提知識で済むPostgraduate研究者を対象に、SPDEの基礎的でアクセスしやすい入門を提供すること。
• 乗法的ノイズやリーヴィー・ノイズのような技術的複雑性を避けるために、加法的ノイズを伴う半線形放物型SPDEに焦点を当てること。
• 空間時間白色ノイズによって駆動される確率的熱方程式の解の正則性特性を分析すること。
• 離散粒子系からの形式的連続極限を用いて、ノイズと拡散のヒューリスティックなスケーリングを正当化すること。
• 熱半群による正則化の観点から、確率的ODEとSPDEの間の概念的・技術的ブリッジを確立すること。

提案手法

• スプリングで接続された粒子の離散的鎖として確率的熱方程式を導出し、独立した白色ノイズに作用させる。
• スケーリングの議論（k ≈ νN²、σ ≈ √N）を用いて、空間時間白色ノイズを伴う確率的PDEへの収束を示す。
• 空間時間白色ノイズの共分散構造を特徴づける：E[ξ(s,x)ξ(t,y)] = δ(t−s)δ(x−y)。
• 定数の変動公式を適用し、解を確率的畳み込みとして表現する：u(t,x) = ∫₀ᵗ ∫ ℝⁿ p(t−s,x−y) ξ(s,y) dy ds。
• 微分の交換に基づくヒューリスティクスを用いる：ノイズの1回の時間微分は、正則性の2回の空間微分に対応する。
• ブラウン運動およびその微分との比較とスケーリングを用いて、ホルダー正則性推定（1次元では時間に関して1/4、空間に関して1/2）を正当化する。

実験結果

リサーチクエスチョン

• RQ1 空間時間白色ノイズによって駆動される確率的熱方程式の解は、空間時間正則性に関してどのように振る舞うか？
• RQ2 離散モデルのどのスケーリングが、確率的PDEによって記述される非自明な連続極限をもたらすか？
• RQ3 連続極限においてノイズが空間時間白色ノイズとして特徴づけられるのはなぜか？ また、その共分散構造はどのように離散系から生じるか？
• RQ4 熱半群の滑らかさ効果と空間時間白色ノイズの特異性がどのように作用し合い、連続的な解を生じさせるか？
• RQ5 解のホルダー正則性とノイズの正則性、および熱方程式のカーネルとの関係は何か？

主な発見

• 1次元空間では、確率的熱方程式の解は時間に関してほぼ1/4-ホルダー連続で、空間に関してほぼ1/2-ホルダー連続である。
• 解は中心がゼロのガウス過程であり、その共分散関数は熱核と空間時間白色ノイズの共分散によって決定される。
• 空間時間白色ノイズの形式的導出は、離散的白色ノイズの極限として行われるが、ノイズの共分散の非退化極限を得るためにσ ≈ √Nである必要がある。
• 解の時間正則性は、ノイズの時間における特異性によって制限されており、これはブラウン運動の微分（ほぼ1/2-ホルダー）に類似している。
• 解の正則性は、ノイズの特異性と熱核の滑らかさ効果のトレードオフに起因する：ノイズの1回の時間微分が、2回の空間微分に相当する。
• 高次元（n ≥ 2）では、解は関数値を取らず、分布として解釈されなければならない。これは点での正則性の崩壊を示している。