[論文レビュー] Harnack Inequalities for Stochastic (Functional) Differential Equations with Non-Lipschitzian Coefficients

Jinghai Shao, Feng‐Yu Wang+1 more|arXiv (Cornell University)|Aug 25, 2012

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

ひとこと要約

本稿では、非リプシッツ係数を有する確率的（関数的）微分方程式に対して、カップリング法を用いてハーナック不等式を確立する。一般化された単調性および強楕円性条件の下で、開領域上での解の存在および一意性を証明することにより、対数ハーナック不等式およびべき乗型ハーナック不等式を導出する。時間に依存する非リプシッツ性を持つドリフトおよび拡散係数を用いた、係数のモジュラスの成長に関する可積分性条件を満たす、新たな枠組みにより、従来の結果をより滑らかでない係数へと拡張する。

ABSTRACT

By using coupling arguments, Harnack type inequalities are established for a class of stochastic (functional) differential equations with multiplicative noises and non-Lipschitzian coefficients. To construct the required couplings, two results on existence and uniqueness of solutions on an open domain are presented.

研究の動機と目的

• 非リプシッツ係数を有する確率的（関数的）微分方程式へ、ハーナック型不等式を拡張すること。
• 一般化された単調性および楕円性条件の下で、開領域上におけるSDEおよびSFDEの解の存在および一意性を確立すること。
• 標準的なリプシッツ連続性が成り立たない状況において、カップリングに基づく枠組みを構築し、対数ハーナック不等式およびべき乗型ハーナック不等式を導出すること。
• ドリフトおよび拡散係数の滑らかさや正規性に関する仮定を緩和することで、従来のハーナック不等式に関する結果を一般化すること。

提案手法

• 非リプシッツ係数を有するSDEおよびSFDEの解の間の確率的カップリングを構築するためのカップリング論法を用いる。
• 関数族 $ \mathscr{U} $ を新たに導入し、係数の非リプシッツ性を $ u(r) + r u'(r) $ の可積分性および正値性条件によって特徴付ける。
• ビハリの不等式およびバーグシュタイン＝デイヴィス＝ギュンデイの不等式を用いて、非リプシッツ係数の存在下でのモーメントおよびパスワイズ一意性を制御する。
• 元の係数の切り捨てられた、一様リプシッツな近似列を用いた逐次的手法により、開領域上での解の存在および一意性を確立する。
• 弱収束および緊密性の議論を用いて、有界かつリプシッツな係数を有する近似SDEの列における極限に至る。
• 弱収束下での極限過程のマルティングルおよび二次変動の性質を分析することで、ハーナック不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準的なリプシッツ条件が成立しない非リプシッツ係数を有するSDEに対して、ハーナック不等式を確立できるか？
• RQ2 開領域上における非リプシッツ係数を有するSDEおよびSFDEの解の存在および一意性をどのように証明できるか？
• RQ3 ドリフトおよび拡散係数にどのような条件を課すと、非リプシッツ領域における対数ハーナック不等式およびべき乗型ハーナック不等式が成立するか？
• RQ4 カップリング法を非リプシッツ係数を有する確率微分方程式に適応するにはどのようにすればよいか？
• RQ5 可積分性条件 $ \int_0^1 \frac{ds}{s u(s)} = \infty $ は、パスワイズ一意性およびハーナック型推定の成立にどのように寄与するか？

主な発見

• 一般化された単調性および楕円性条件の下で、正値関数 $ f \in \mathscr{B}_b(\mathbb{R}^d) $ に対して、形式 $ P(T)\log f(y) \leq \log P(T)f(x) + \frac{K(T)|x-y|^2}{2\lambda(T)^2(1 - e^{-K(T)T})} $ の対数ハーナック不等式が確立される。
• 係数の成長率 $ \delta(T) $ に明示的な依存を持つ、べき乗型ハーナック不等式 $ (P(T)f(y))^p \leq (P(T)f^p(x)) e^{C(T)|x-y|^2} $ が、$ p > \left(1 + \frac{\delta(T)}{\lambda(T)}\right)^2 $ の条件下で導出される。
• 元の係数の切り捨てられた一様リプシッツ近似列を用いた逐次的手法により、開領域上での解の存在および一意性が証明される。
• ビハリの不等式およびモーメント推定を用いて、条件 $ \int_0^1 \frac{ds}{s u(s)} = \infty $ の下でパスワイズ一意性が確立され、解のパスは爆発時刻まで一意に定まる。
• 近似過程の弱収束を用いて、極限過程が法則的に元のSDE/SFDEを満たすことを示し、極限の拡散係数が必要な楕円性および成長条件を保つことを確認する。
• 本枠組みにより、成長が制御された非リプシッツ係数を有する場合に、古典的なリプシッツ設定を超えてハーナック不等式を拡張できることを示している。