[論文レビュー] Hölder estimates for nonlocal-diffusion equations with drifts

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Oct 30, 2014

Advanced Mathematical Modeling in Engineering参考文献 8被引用数 3

ひとこと要約

本稿では、跳躍核のスケーリング行動から導かれる関数Φから得られる内在的スケーリングに従う、非局所拡散方程式の解に対する事前Φ= Hölder推定値を確率的アプローチを用いて確立する。解が滑らかであることを示す。主な結果は、空間時間における鋭いHölder連続性推定値であり、そのモジュラスはΦに依存し、漂移の滑らかさおよび基礎的なLévy測度の性質に依存する。

ABSTRACT

We study a class of nonlocal-diffusion equations with drifts, and derive a priori $Φ$-Hölder estimate for the solutions by using a purely probabilistic argument, where $Φ$ is an intrinsic scaling function for the equation.

研究の動機と目的

• 時間に依存する漂移を伴う非局所拡散方程式を解く関数に対する事前Hölder正則性推定値を確立すること。
• 分数階ラプラシアンの場合を越えて、一般の非局所作用素と漂移を伴うHölder推定値を拡張すること。
• 不規則な跳躍核を伴う状況下でHölder連続性を測るための内在的スケーリング関数Φを導入し、それを用いること。
• 漂移および跳躍核に対する最小限の仮定の下で、非局所作用素と漂移を伴うHölder正則性に関する先行研究を統合・一般化すること。

提案手法

• 著者らは、関連する時不変Lévy過程およびそのLévyシステムに基づく、完全に確率論的な議論を用いて、遷移密度および到達確率を分析する。
• 跳躍核のスケーリング行動を捉えるために、Φ(r) := ( ∫_r^2 ds/(sϕ(s)) )^{-1} と定義される内在的スケーリング関数を導入する。特にϕが指数α ∈ (0,2) で正則変動する場合に有効である。
• 時間空間の放物型シリンダーQ(r)を構築し、コンact集合Kへの到達確率を制御するために、より大きなシリンダーQ(φ_a(r))からの抜ける時間の分析に依存する。
• Lévyシステムの公式および跳躍核κ_t(x,z)の境界を用いて、主要な推定値を導出する。これは、対称性および積分可能性条件(1.2)および(1.3)を活用する。
• 測度の変換および時空変換を用いて、問題を変換された座標系における局所的正則性推定値に還元する。
• 比較原理および最大不等式を用いて、解の振動を制御し、最終的なHölder推定値に至る。

実験結果

リサーチクエスチョン

• RQ1 跳躍核がべき則スケーリングを満たさない場合、非局所拡散方程式の解に対して事前Hölder推定値をどのように確立できるか。
• RQ2 上位臨界的状況（α ∈ (0,1)）において、解のHölder正則性を支配する適切な内在的スケーリング関数Φは何か。
• RQ3 時間に依存する漂移が僅かにHölder連続または有界可測である場合、解のHölder正則性は保持されるか。
• RQ4 特に拡散が漂移よりも低次のとき、漂移の存在が解の空間時間における連続性モジュラスにどのように影響するか。
• RQ5 一般の跳躍核および漂移を伴う非局所方程式に対して、鋭いHölder推定値を導出するのに十分な確率的道具は何か。

主な発見

• 本稿では、跳躍核のスケーリング行動から導かれる内在的スケーリング関数Φを用いて、非局所拡散方程式 ∂_t u = L^b_t u の解に対してΦ= Hölder推定値を確立する。
• 任意の古典的解uに対して、|u(t,x) - u(s,y)| ≤ C‖u‖_∞ (|x-y|^β + |t-s|^{β/α}) / t^{β/α} が成り立ち、β ∈ (0,1) はd, αおよび漂移の滑らかさに依存する。
• 漂移bが有界可測（α ∈ [1,2)）の場合、Hölder指数βはdおよびαにのみ依存し、定数Cは‖b‖_∞に依存する。
• 上位臨界的状況（α ∈ (0,1)）では、同じHölder推定値を保証するためには、漂移bが Hölder空間C^{1−α} に属している必要がある。これは、小スケールで漂移が支配的であることを反映している。
• 内在的スケーリング関数Φは lim_{r→0} Φ(r)/ϕ(r) = α を満たし、r → 0 のとき Φ(r) → 0 となる。これは非自明な正則性推定値に不可欠である。
• 証明は、プロセスの確率論的構成および放物型シリンダーからの抜ける時間の推定に依存し、Lévyシステムおよび到達確率を用いて解の振動を制御する。