[論文レビュー] Regularization by noise for stochastic Hamilton-Jacobi equations

Paul Gassiat, Benjamin Gess|arXiv (Cornell University)|Sep 22, 2016

Stochastic processes and financial applications参考文献 27被引用数 4

ひとこと要約

本稿は、粗い信号によって駆動される確率的ハミルトニアン・ジャコビ方程式の解の2階微分について、経路ごとの $L^∞$ 界を確立する。ノイズが2階微分が発散することを防ぐ正則化効果を引き起こすことを示し、界は反射型SDEの解を用いて表現され、最適性が証明されている。$p$-ラプラシアン方程式および全変動フロー方程式への応用も含む。

ABSTRACT

We study regularizing effects of nonlinear stochastic perturbations for fully nonlinear PDE. More precisely, path-by-path $L^{\infty}$ bounds for the second derivative of solutions to such PDE are shown. These bounds are expressed as solutions to reflected SDE and are shown to be optimal.

研究の動機と目的

• 完全非線形PDE、特にハミルトニアン・ジャコビ方程式における非線形確率的摂動の正則化効果を分析すること。
• 確率的粗いパス入力下での解の2階微分の鋭い経路的 $L^\infty$ 界を導出すること。
• ノイズが通常の決定的状況で発生する2階微分の有限時間内発散を防ぐことの証明。
• 明示的構成と決定的類似物との比較を通じて、導出界の最適性を確立すること。
• 結果を確率的 $p$-ラプラシアン方程式および分数 Browm運動駆動方程式に拡張し、2階微分のほとんど確実な有界性を示すこと。

提案手法

• 粗いパス入力 $\xi$ を有する完全非線形SPDEに対して、確率的粘性解理論を用いる。
• 粘性解の比較原理と安定性結果を適用し、$D^2u$ に対する界を導出する。
• 初期データ $1/\|D^2u_0\|_{L^\infty}$ を持ち、$dL^{\pm} = V_F(L^{\pm})dt \pm d\xi(t)$, $L^{\pm} \geq 0$ を満たす最大連続解として、$L^{\pm}(t)$ の反射型SDEを定義する。
• 各サンプルパスに対して、$\|D^2u(t,\cdot)\|_{L^\infty} \leq 1/(L^+(t) \wedge L^-(t))$ という重要な界を経路ごとに導出する。
• 滑らかな初期データと粘性解収束を用いた近似スキームを用いて、結果の正当化を行う。
• $p$-ラプラシアンの場合の正則性を確立するため、運動論的定式化と比較原理を用いる。

実験結果

リサーチクエスチョン

• RQ1 確率的摂動は、完全非線形ハミルトニアン・ジャコビ方程式の解に対して、2階微分の発散を防ぐことで正則化効果をもたらすか？
• RQ2 ノイズパス $\xi$ の観点から、$\|D^2u(t,\cdot)\|_{L^\infty}$ の正確な経路的界は何か？
• RQ3 導出界は最適であり、たとえば確率的 $p$-ラプラシアン方程式のような明示的モデルで達成可能か？
• RQ4 ノイズの強度 $\sigma$ は解の正則性にどのように影響し、臨界閾値は存在するか？
• RQ5 分数ブラウン運動（Hurst指数 $H \in (0,1)$）のようなより粗いノイズに対しても、正則化効果は維持されるか？

主な発見

• $m \geq 3$ の確率的 $p$-ラプラシアン方程式において、$\sigma^2 > 2(m-1)(m-2)R^{m-3}$ ならば、すべての $t > 0$ に対して $\|\partial_{xx}u(t)\|_{L^\infty} < \infty$ となる（$R = \|\partial_x u_0\|_{L^\infty}$）。
• 臨界ノイズ強度は最適である：$m = 3$ の場合、$\sigma^2 \leq 4$ ならば、すべての十分大きな $t$ に対して $\|\partial_{xx}u(t)\|_{L^\infty} = \infty$ となる（ほとんど確実に）。
• 界 $\|D^2u(t,\cdot)\|_{L^\infty} \leq 1/(L^+(t) \wedge L^-(t))$ は鋭く、$m=3$ の $p$-ラプラシアンの場合に等号が成立する。
• 分数ブラウン運動 $\beta^H$ を用いた確率的ハミルトニアン・ジャコビ方程式において、$\|D^2u(t,\cdot)\|_{L^\infty} < \infty$ となる（$t > 0$ に対してほぼ確実に）。決定的バージョンではショックが発生するが、ノイズにより回避される。
• 一般の連続パス $\xi$ の場合、界は $L^+(t) = \xi_t - \min_{s \in [0,t]} \xi_s$, $L^-(t) = \max_{s \in [0,t]} \xi_s - \xi_t$ で与えられ、$\|D^2u(t,\cdot)\|_{L^\infty} \leq 1/(L^+(t) \wedge L^-(t))$ が成り立つ。
• ブラウン運動 $\beta$ の場合、$\|Du(t,\cdot)\|_{L^\infty}$ の減衰率は $t^{-1/4}$ であり、先行研究の結果と一致する。