[論文レビュー] A regularity result for the nonlocal Fokker-Planck equation with Ornstein-Uhlenbeck drift

Xiaoxia Xie, Jinqiao Duan+2 more|arXiv (Cornell University)|Apr 17, 2015

Gas Dynamics and Kinetic Theory参考文献 22被引用数 8

ひとこと要約

本稿は、オーランシュタイン＝ウーレンバックのドリフトを伴う分数マクスウェル方程式に対して、最初のグローバルな滑らかさ結果を確立し、$ \alpha \in (0,2] $ のとき、すべての $ t > 0 $ に対して空間で $ C^{\infty} $ であることを証明する。証明は、分数熱核から導かれる基本解との畳み込みとして解を表現することに依拠し、分数熱核の既知の滑らかさとスケーリング変換を用いて、摂動された方程式への正則性を移す。

ABSTRACT

Despite there are numerous theoretical studies of stochastic differential equations with a symmetric $α$-stable Lévy noise, very few regularity results exist in the case of $00$ when $α\in (0, 2]$.

研究の動機と目的

• 分数マクスウェル方程式の $ \alpha \in (0,1] $ の場合における正則性結果の欠如に対処すること。特に、非ガウス型の Lévy ノイズの下で。
• 線形ドリフトと対称な $ \alpha $-安定なノイズを伴う分数マクスウェル方程式に対して、解の空間的滑らかさを確立すること。
• 分数ラプラシアンの非局所的性質とドリフト項の潜在的な強度にもかかわらず、すべての $ t > 0 $ で解が空間的に $ C^\infty $ のままであることを証明すること。

提案手法

• 解を方程式の基本解（熱核）との畳み込みとして表現する：$ u(t,x) = (p * u_0)(x) $。
• $ t > 0 $ および $ \alpha \in (0,2) $ のとき、分数熱核 $ \widehat{p}(t,x,y) $ の既知の $ C^\infty $ 滑らかさを用いる。
• 時間依存のスケーリング変換を適用する：$ \tilde{t} = \frac{e^{\alpha t} - 1}{\alpha} $、$ \tilde{x} = e^t x $、これにより摂動された核 $ p(t,x,y) $ を分数熱核 $ \widehat{p} $ に関連付ける。
• 積分を近接領域と遠方領域に分割し、べき則的減衰と $ L^1 $ ノルム推定を用いて、核のすべての空間微分の可積分性を確立する。
• ヤングの不等式と積分記号下での連続性を用いて、解が核からの滑らかさを引き継ぐことを正当化する。
• フーリエ変換を用いて、$ L^\infty $ 桁での解の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 分数マクスウェル方程式にオーランシュタイン＝ウーレンバックのドリフトを伴う場合、$ \alpha \in (0,1] $ であっても、すべての $ t > 0 $ で空間的に滑らかな解が存在するか？
• RQ2 $ \alpha $ が小さい場合にドリフト項が非局所拡散を支配する可能性があるにもかかわらず、解の正則性は保たれるか？
• RQ3 非局所作用素を伴う場合でも、オーランシュタイン＝ウーレンバックのドリフトを伴う方程式の基本解は、正の時刻で空間的に滑らかか？
• RQ4 スケーリング変換が摂動された方程式全体で滑らかさをどのように保っているか、その正確なメカニズムは何か？

主な発見

• 初期データ $ u_0 \in L^\infty({\mathbb{R}}^d) $ がほとんど everywhere で連続である限り、オーランシュタイン＝ウーレンバックのドリフトを伴う分数マクスウェル方程式の解 $ u(t,x) $ は、すべての $ t > 0 $ で空間的に $ C^\infty $ である。
• 解は $ u(t,x) = \int_{{\mathbb{R}}^d} p(t,x-y) u_0(y) dy $ として畳み込みで表され、ここで $ p $ は方程式の基本解である。
• 基本解は $ p(t,x,y) = e^{dt} \widehat{p}\left(\frac{e^{\alpha t} - 1}{\alpha}, e^t x, y\right) $ を満たし、分数熱核と関連づけられる。
• 核 $ p(t,x,y) $ のすべての空間微分が $ \mathbb{R}^d $ 上で可積分であり、畳み込みとドミネートドコンバージェンスにより解の滑らかさが保証される。
• 連続性の点 $ x^0 $ において、$ \lim_{t \to 0^+, x \to x^0} u(t,x) = u_0(x^0) $ を満たし、正しい初期条件が満たされていることが確認される。
• フーリエ変換を用いて $ L^\infty $ における解の一意性が確立され、解が適切に定義されており物理的に意味を持つことが確認される。