[論文レビュー] Boundary behavior and interior Hölder regularity of solution to nonlinear stochastic partial differential equations driven by space-time white noise

Beom-Seok Han, Kyeong-Hun Kim|arXiv (Cornell University)|May 28, 2019

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

ひとこと要約

本稿は、有界区間上での空間時間白色ノイズを伴う非線形確率的偏微分方程式（SPDE）について、重み付きソボレフ空間における解の存在および一意性を確立し、鋭い内部ホルダー正則性と正確な境界挙動を証明する。主な結果として、任意の $\kappa \in (\lambda, 1/2)$ および十分小さい $\varepsilon > 0$ に対して、解が $\rho^{-1/2-\kappa}u \in C^{\frac{1}{4}-\frac{\kappa}{2}-\varepsilon,\frac{1}{2}-\kappa-\varepsilon}_{t,x}([0,T]\times(0,1))$ を満たすことが示され、非線形性パラメータ $\lambda$ に依存する最適なホルダー指数が得られる。解析は一般の確率的係数と境界減衰を重み付きノルムおよびハードイ型不等式を用いて扱う。

ABSTRACT

We present uniqueness and existence in weighted Sobolev spaces of the equation $$ u_t=(au_{xx}+bu_x+cu)+ ξ|u|^{1+λ} {\dot{B}}, \quad\,\, t>0, \, x\in (0,1) $$ with initial data $u(0,\cdot)=u_0$ and zero boundary data. Here $λ\in [0,1/2)$, $\dot{B}$ is a space-time white noise, and the coefficients $a,b,c$ and the function $ξ$ depend on $(ω,t,x)$ and the initial data $u_0$ depends on $(ω,x)$. More importantly, we obtain various interior Hölder regularities and boundary behaviors of the solution. For instance, if the initial data is in appropriate $L_p$ spaces, then for any small $\varepsilon>0$ and $T

研究の動機と目的

• 有界領域上での空間時間白色ノイズを伴う非線形SPDEのクラスについて、重み付きソボレフ空間における一意的可解理論を確立すること。
• 非線形性パラメータ $\lambda \in [0, 1/2)$ の影響を考慮しつつ、時間および空間変数における解の内部ホルダー正則性を同定すること。
• 境界近傍における解の挙動、特に境界からの距離に応じた減衰率を、距離に重みをかけたノルムを用いて分析すること。
• 加法的ノイズの既存結果を、時間および空間に依存する確率的係数を有する乗法的ノイズの状況に拡張すること。
• 境界が非空である領域における非自明な境界効果を有するSPDEの一般枠組みを提供し、文献における空白を埋めること。

提案手法

• 解の正則性および境界近傍での減衰を扱うために、重み付きソボレフ空間 $\mathfrak{H}^{1/2-\kappa}_{p,\theta,\text{loc}}(I,\infty)$ を用いる。ここで $\theta$ は境界近傍での重みの強さを制御する。
• 解の成長を制御し、局所領域内でのパスごとの一意性を保証するために、停止時刻 $\tau_m^R$ を用いた局所化手続きを適用する。
• 重要なステップとして、有界性を保証し、事前推定を適用可能にするために、非線形項を切り詰めた $|u \wedge m|^{1+\lambda}$ を用いた近似解 $u_m$ の列を構成する。
• 証明は、確率的最大正則性推定と最大原理の議論に依存し、非負性の維持および解のパスごとの一意性を保証する。
• 初期データの重み付き $L_p$ 空間における可積分性を正当化するためにハードイの不等式を用い、重み付きノルムにおけるホルダー連続性の導出を可能にする。
• 停止時刻 $\tau_m^m \to \infty$ がほとんど確実に成り立つことから、局所重み付きソボレフ空間内での解のグローバル存在が保証される。

実験結果

リサーチクエスチョン

• RQ1 空間時間白色ノイズと乗法的ノイズ（次数 $1+\lambda$）を伴う非線形SPDEの解について、時間および空間における最適ホルダー正則性は何か？
• RQ2 有界領域の境界付近における解の挙動はいかなるものか？ 特に、境界からの距離に応じた正確な減衰率は何か？
• RQ3 時間および空間に依存する確率的係数と乗法的ノイズを有するSPDEについて、重み付きソボレフ空間内での存在および一意性は確立可能か？
• RQ4 ホルダー指数の鋭い依存関係は非線形性パラメータ $\lambda$ に対してどのように現れるか？
• RQ5 重み付きノルムおよびハードイ型不等式は、解および初期データの正則性と可積分性にどのように寄与するか？

主な発見

• 任意の $\kappa \in (\lambda, 1/2)$ および十分小さい $\varepsilon > 0$ に対して、解はほとんど確実に $\rho^{-1/2-\kappa}u \in C^{\frac{1}{4}-\frac{\kappa}{2}-\varepsilon,\frac{1}{2}-\kappa-\varepsilon}_{t,x}([0,T]\times(0,1))$ を満たし、時間における最大ホルダー指数 $\frac{1}{4} - \frac{\lambda}{2} - \varepsilon$ および空間における $\frac{1}{2} - \lambda - \varepsilon$ が得られる。
• 任意の $\varepsilon > 0$ に対して、解はほとんど確実に $\sup_{t \leq T} |u(t,x)| \leq N(\omega) \rho^{1-\varepsilon}(x)$ を満たし、境界付近での強い減衰が示される。
• 初期データ $u_0$ が $L_p(\Omega; \mathring{W}^1_p(I))$ に属する場合（$p > 1$）、任意の $\theta > 0$ に対して $\rho^{\frac{1+\theta}{p}-1}u_0, \rho^{\frac{1+\theta}{p}}D_x u_0 \in L_p(\Omega \times I)$ が成り立つ。これにより、ハードイの不等式を用いて重み付きノルムを制御可能となる。
• 停止時刻 $\tau_m^m \to \infty$ がほとんど確実に成り立つことから、解は時間全域にわたり定義されており、$\mathfrak{H}^{1/2-\kappa}_{p,\theta,\text{loc}}(I,\infty)$ 内に一意な解が存在することが保証される。
• 切り詰め法および停止時刻の手法により、パスごとの一意性と収束性が保証され、近似を用いたグローバル解の構成が可能となる。
• 係数 $a,b,c,\xi$ が $(\omega,t,x)$ に依存する一般の場合にも結果は拡張可能であり、境界効果を有する広範な非線形SPDEのクラスに適用可能な枠組みが得られる。