[論文レビュー] The nonlinear stochastic heat equation with rough initial data:a summary of some new results

Le Chen, Robert C. Dalang|arXiv (Cornell University)|Oct 5, 2012

Stochastic processes and financial applications参考文献 16被引用数 3

ひとこと要約

本稿は、非有界かつ非テンペッドな初期データ（非正規化測度やデルタ関数を含む）をもつ ℝ 上の非線形確率的熱方程式について、グロワンルの補題を回避する新しいピカード反復法を用いて、解の存在、一意性、およびモーメント推定値を確立する。すべての p ≥ 2 に対する p 階モーメントの鋭い上界・下界を導出し、成長指数（リャプノフ指数）を特定し、初期条件が不規則であっても t > 0 における解のホルダー連続性を証明する。さらに、パラボリックアンダーソンモデルの2次モーメントおよびリャプノフ指数の位相遷移について明示的な公式を提示する。

ABSTRACT

This is a preliminary announcement of results in the PhD. thesis of the first author concerning the nonlinear stochastic heat equation in the spatial domain $\R$, driven by space-time white noise. A central special case is the parabolic Anderson model. The initial condition is taken to be a measure on $\R$, such as the Dirac delta function, but this measure may also have non-compact support and even be non-tempered (for instance with exponentially growing tails). Existence and uniqueness is proved without appealing to Gronwall's lemma, by keeping tight control over moments in the Picard iteration scheme. Upper and lower bounds on all $p$-th moments $(p\ge 2)$ are obtained. These bounds become equalities for the parabolic Anderson model when $p=2$. The growth indices introduced by Conus and Khoshnevisan (2010) are determined and, despite the irregular initial conditions, Hölder continuity of the solution for $t>0$ is established.

研究の動機と目的

• 非有界または非テンペッドな初期データ（例えば指数的成長を示す符号付き測度を含む）に対しても、非線形確率的熱方程式の解の存在および正則性理論を拡張すること。
• グロワンルの補題に依存せずに、ピカード反復におけるきめ細やかな制御を用いて、すべての p ≥ 2 に対してモーメント推定値を確立すること。
• 特にパラボリックアンダーソンモデルに対して、解の正確な成長指数（リャプノフ指数）を特定すること。
• 初期データが非常に不規則であっても、t > 0 における空間的・時間的ホルダー連続性を証明すること。
• 例えばルベーグ測度やデルタ関数初期データの下で、2次モーメントおよび2点相関関数の明示的公式を提供すること。

提案手法

• 解の構成に、モーメントの境界をグロワンルの不等式ではなく直接制御する、修正されたピカード反復スキームを用いる。
• 初期データは、すべての t > 0 および x ∈ ℝ に対して |μ| * Gν(t,·)(x) < ∞ を満たす符号付きボレル測度 μ であると仮定し、コンパクトでなく、非テンペッドな台を持つ可能性を許容する。
• パラボリックアンダーソンモデル（ρ(u) = λu）に対しては、熱核および双曲線関数を用いて、2次モーメントおよび2点相関関数の明示的公式を導出する。
• 成長指数（リャプノフ指数）は、モーメント成長の漸近的解析により計算され、β や λ などのパrameterに基づく位相遷移を同定する。
• 初期条件項 J₀ と反復積分項 I における確率積分および熱核成分のホルダー連続性推定値を用いて、標本パスの正則性を確立する。
• 解析では、μ のジョルダン分解および熱核 Gν(t,x) = (2πνt)⁻¹ᐟ² exp(−|x|²/(2νt)) の性質を活用し、空間的・時間的挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 非有界または非テンペッドな初期データ（例えば指数的尾部を示す測度やデルタ関数）をもつ非線形確率的熱方程式は解けるか？
• RQ2 p ≥ 2 のとき、解の p 階モーメントの正確な上界・下界は何か？特にパラボリックアンダーソンモデルにおいてはどのように振る舞うか？
• RQ3 解の上界・下界リャプノフ指数（成長指数）の正確な値は何か？初期データおよび非線形性パrameter λ にどのように依存するか？
• RQ4 初期データが不規則（例えば測度または不連続関数）であっても、t > 0 における空間的・時間的ホルダー連続性は示されるか？
• RQ5 初期データの減衰率 β の関数として、2次モーメントの成長挙動にどのような位相遷移が生じるか？また、導出された境界は鋭いか？

主な発見

• 初期データ μ = δ₀ のパラボリックアンダーソンモデルにおいて、E[|u(t,x)|²] = (λ²/(2ν)) e^(λ⁴t/(4ν)) Φ(λ²√(t/(2ν))) Gν/₂(t,x) を満たし、明示的な漸近的挙動を示す。
• 2次モーメントの上界・下界リャプノフ指数は、β ≥ λ²/(2ν) のとき λ²/2 に等しく、0 < β ≤ λ²/(2ν) のとき βν/2 + λ⁴/(8βν) に等しくなる。これにより、鋭い位相遷移が証明される。
• 初期データ μ(dx) = e^(-β|x|)dx のパラボリックアンダーソンモデルにおいて、2次モーメントのリャプノフ指数は β ≥ λ²/(2ν) のとき λ²/2、それ以外の場合は βν/2 + λ⁴/(8βν) に等しくなる。境界の鋭さが確認される。
• 初期データが符号付きボレル測度で、可積分性条件を満たす場合でも、解は確率的に時間指数 1/4−、空間指数 1/2− でホルダー連続である。
• 初期データ μ = ルベーグ測度 または μ = δ₀ の場合、2点相関関数の明示的公式が導出され、既知の結果と一致するが、より広い初期データの仮定の下で得られた。
• 本稿では、μ = δ₀ のとき、解は t = 0 で連続でないことが証明される。||I(t,x)||₂² は x = 0 で ∞ に発散し、他点では t → 0⁺ のとき 0 に収束する。これは初期確率積分に特異性が存在することを示唆する。