[論文レビュー] The Stochastic Heat Equation with a Fractional-Colored Noise: Existence of the Solution

Raluca M. Balan, Ciprian A. Tudor|arXiv (Cornell University)|Mar 3, 2007

Stochastic processes and financial applications参考文献 22被引用数 52

ひとこと要約

本稿では、時間に分数整合性（Hurst指数 H ∈ (1/2, 1)）を持ち、一般の共分散関数 f を持つ空間に色を持つガウスノイズによって駆動される確率的熱方程式の過程解の存在に必要な十分条件を確立する。有界領域における確率積分とフーリエ解析を用いて、f が次数 α ∈ (0, d) のリーマン核である場合、解が存在するための必要十分条件は H > (d − α)/4 であることを示す。これは、空間-時間白色ノイズに対する古典的な H > d/4 条件を緩和するものである。ベッセル核や熱核の場合、条件は依然として H > d/4 のままであり、ポアソン核の場合は H > (d + 1)/4 にまで厳しくなる。

ABSTRACT

In this article we consider the stochastic heat equation $u_{t}-Δu=\dot B$ in $(0,T) imes \bR^d$, with vanishing initial conditions, driven by a Gaussian noise $\dot B$ which is fractional in time, with Hurst index $H \in (1/2,1)$, and colored in space, with spatial covariance given by a function $f$. Our main result gives the necessary and sufficient condition on $H$ for the existence of the process solution. When $f$ is the Riesz kernel of order $α\in (0,d)$ this condition is $H>(d-α)/4$, which is a relaxation of the condition $H>d/4$ encountered when the noise $\dot B$ is white in space. When $f$ is the Bessel kernel or the heat kernel, the condition remains $H>d/4$.

研究の動機と目的

• 分数-色付きガウスノイズによって摂動される線形確率的熱方程式の過程解の存在に必要な十分なHurst指数Hの条件を特定すること。
• 既存の分数ノイズに関する結果（H > d/4）を、Hの閾値を緩和する空間相関構造を組み込むことで拡張すること。
• 時間に分数的で空間に色を持つノイズのための確率的積分法の枠組みを構築し、弱解の厳密な取り扱いを可能にすること。
• リーマン核、ベッセル核、熱核、ポアソン核といった異なる空間共分散構造が、解の存在の正則性閾値に与える影響を特定すること。

提案手法

• 熱核とガウスノイズに関する確率積分を用いて、弱形（mild form）で確率的熱方程式を形式化する。
• ノイズを、時間に分数 Browm運動（H ∈ (1/2, 1)）を持ち、空間共分散関数fで与えられる一般のガウス過程として定義する。
• 時間区間 [0, T] におけるフーリエ解析技術を、R 上のフーリエツールを有界領域に拡張する新しい補題（補題 A.1）を用いて適用する。
• 再生核ヒルベルト空間（RKHS）手法とL2連続性の議論を用いて、パスワイズ正則性および解過程の存在を確立する。
• 時間周波数領域における共分散関数の可積分性を分析することで、リーマン核の場合の臨界条件 H > (d − α)/4 を導出する。
• 解の必要十分条件を、確率積分のヒルベルト半ノルムに関する推定と補足補題（付録A）の使用により証明する。

実験結果

リサーチクエスチョン

• RQ1 時間に分数的で空間に色を持つガウスノイズによって駆動される確率的熱方程式の過程解の存在に必要な最小のHurst指数H > 1/2は何か？
• RQ2 空間共分散関数f（例えば、リーマン核、ベッセル核、熱核、ポアソン核）の選択が、Hの臨界閾値に与える影響は何か？
• RQ3 空間相関が導入された場合、空間-時間白色ノイズに対して知られているH > d/4の存在条件は緩和可能か？
• RQ4 解はwell-definedな過程（すなわち、 jointly measurable かつ 局所L2有界）であるのか、それとも分布的対象にとどまるのか？
• RQ5 SPDEの文脈において、時間に分数的で空間に相関を持つノイズへの確率的積分法を拡張するために必要な数学的道具は何か？

主な発見

• 空間共分散関数が次数 α ∈ (0, d) のリーマン核である場合、解の存在に必要な十分条件は H > (d − α)/4 である。
• ベッセル核または熱核の場合、解の存在条件は依然として H > d/4 のままであり、空間相関があっても閾値が緩和されないことを示している。
• ポアソン核の場合、解の存在条件は H > (d + 1)/4 にまで厳しくなる。これはd/4の閾値よりも厳しい条件であることを示している。
• 解はL2(Ω)連続であり、 jointly measurable な過程の修正として表現可能であるため、パスワイズ正則性が保証される。
• 新規のフーリエ解析的補題（補題 A.1）の使用により、R から有界時間区間への手法の拡張が可能となり、解析において極めて重要である。
• 適切な空間共分散構造（例えば、リーマン核）は、分数的時間ノイズがもたらす粗さを相殺できることを示しており、低H値でも解が存在可能であることを示している。