[論文レビュー] Regularity and strict positivity of densities for the nonlinear stochastic heat equation

Le Chen, Yaozhong Hu+1 more|arXiv (Cornell University)|Nov 11, 2016

Stochastic processes and financial applications参考文献 14被引用数 6

ひとこと要約

本稿は、測度値初期データおよび空間時間白色ノイズを伴う非線形確率的熱方程式の解の確率密度関数の存在、滑らかさ、および厳密な正の性質について、必要十分条件を確立する。局所化されたマルヤビン微積分のバージョンを用いて、拡散係数が有界でないか、ゼロに近づく場合でも、解の密度が内部で滑らかでかつ厳密に正であることを証明している。これは、古典的な結果を拡張し、放物型アンダーソン・モデルを特別な場合として含む。

ABSTRACT

In this paper, we establish a necessary and sufficient condition for the existence and regularity of the density of the solution to a semilinear stochastic (fractional) heat equation with measure-valued initial conditions. Under a mild cone condition for the diffusion coefficient, we establish the smooth joint density at multiple points. The tool we use is Malliavin calculus. The main ingredient is to prove that the solutions to a related stochastic partial differential equation have negative moments of all orders. Because we cannot prove $u(t,x)\in \mathbb{D}^\infty$ for measure-valued initial data, we need a localized version of Malliavin calculus. Furthermore, we prove that the (joint) density is strictly positive in the interior of the support of the law, where we allow both measure-valued initial data and unbounded diffusion coefficient. The criteria introduced by Bally and Pardoux [1] are no longer applicable for the parabolic Anderson model. We have extended their criteria to a localized version. Our general framework includes the parabolic Anderson model as a special case.

研究の動機と目的

• 測度値初期データを伴う半線形確率的（分数階）熱方程式の解の密度の存在および滑らかさに関する必要十分条件を確立すること。
• 拡散係数がゼロに近づくか、有界でない場合に適用可能な、密度正則性の古典的Bally-Pardoux基準を局所化された枠組みへと拡張すること。
• 複数の空間的点における解の同時密度が、初期条件が一般である場合でも、その台の内部で滑らかでかつ厳密に正であることを証明すること。
• 放物型アンダーソン・モデルを、密度正則性および厳密な正の性質に関する一般的解析的枠組みに特別な場合として含めること。
• 測度値初期データに対してu(t,x) ∈ D^∞ が成立しないという課題を克服するため、局所化されたマルヤビン微積分のアプローチを開発すること。

提案手法

• 著者たちは、初期データが測度である場合にマルヤビン正則性が欠ける状況に対処するため、マルヤビン微積分の局所化されたバージョンを用いる。
• 関連する確率的偏微分方程式の解が、すべての順序の負のモーメントを持つことを証明し、密度正則性のための重要な技術的要因を提供する。
• この手法は、マルヤビン微分およびその高階微分のモーメントの有界性と条件付き有界性を確立することに依存する。
• Huら[9]の一般化された枠組みが適応され、基本解Gおよびノイズのスペクトル測度に関する仮定が組み込まれ、可積分性と正則性を保証する。
• BallyとPardoux[1]のインスピレーションを受けて、局所化手順が用いられ、拡散係数の厳密な正の性質を仮定する必要がなくなる。
• ウィーナークラウス分解に基づく、関数Ψ_n^i(t,x)、解およびその微分のモーメント、および条件付き境界に関する詳細な推定が分析に含まれる。

実験結果

リサーチクエスチョン

• RQ1 非線形確率的熱方程式の解が、測度値初期データを伴う場合に、固定された空間時間点 (t,x) ∈ (0,∞) × ℝ で滑らかな密度を持つための条件は何か？
• RQ2 拡散係数および初期データに一般な条件が課された場合に、複数の空間的点における解の同時密度の滑らかさは、どのように確立できるか？
• RQ3 拡散係数がゼロに近づくか、無限大に発散する場合でも、解の密度がその台の内部で厳密に正であるとは言えるか？
• RQ4 拡散係数がゼロから正の下界を保証されない場合に、密度正則性の古典的Bally-Pardoux基準をどのように拡張できるか？
• RQ5 放物型アンダーソン・モデルは、マルヤビン微積分を用いて滑らかで厳密に正の密度を証明する一般枠組みに含められるか？

主な発見

• 拡散係数にやや厳しい錐条件が課された場合、非線形確率的熱方程式の解は、任意の固定された (t,x) ∈ (0,∞) × ℝ で滑らかな密度を持つ。
• 複数の異なる空間的点における解の同時密度は、拡散係数が無限大に発散するか、ある値でゼロに近づく場合でも滑らかである。
• 初期データがディラック・デルタのような測度値である場合でも、解の密度はその法則の台の内部で厳密に正である。
• この手法により、Bally-Pardoux基準が局所化された設定へと拡張され、σ(y) ≥ c > 0 という仮定を排除することができた。
• 拡散係数がゼロに近づく場合でも、放物型アンダーソン・モデル（ρ(u) = λu）は滑らかで厳密に正の密度を満たす条件を満たすことが示された。
• 著者たちは、解のマルヤビン微分がすべての順序の負のモーメントを持つことを証明した。これは、完全なマルヤビン正則性が欠ける状況下でも、密度正則性を確立する上で重要なステップである。