[論文レビュー] Hölder regularity for hypoelliptic kinetic equations with rough diffusion coefficients

François Golse, Alexis Vasseur|arXiv (Cornell University)|Jun 5, 2015

Numerical methods in inverse problems参考文献 13被引用数 6

ひとこと要約

この論文は、De Giorgi-Nash-Moser 法を用いて、粗い拡散係数をもつ運動的 Fokker-Planck 方程式の解の Hölder 正則性を確立する。平均化補題を用いて輸送作用素の混合効果を組み込むことで、弱解の局所 Hölder 連続性を証明し、測定可能で有界な拡散行列をもつ超楕円型方程式への古典的正則性理論の拡張を達成する。

ABSTRACT

This paper is dedicated to the application of the DeGiorgi-Nash-Moser regularity theory to the kinetic Fokker-Planck equation. This equation is hypoelliptic. It is parabolic only in the velocity variable, while the Liouville transport operator has a mixing effect in the position/velocity phase space. The mixing effect is incorporated in the classical DeGiorgi method via the averaging lemmas. The result can be seen as a Hölder regularity version of the classical averaging lemmas.

研究の動機と目的

• 粗い、測定可能な拡散係数をもつ超楕円型運動的方程式へ、De Giorgi-Nash-Moser 正則性理論を拡張すること。
• データの最小限の可積分性仮定の下で、Fokker-Planck 方程式の弱解の局所 Hölder 連続性を確立すること。
• 平均化補題を用いて、輸送（Liouville）作用素の混合効果を De Giorgi 框組みに組み込むこと。
• 古典的平均化補題推定と、運動論的理論と楕円型正則性理論の橋渡しとなる Hölder 正則性の双対を提供すること。

提案手法

• 超楕円型 Fokker-Planck 作用素に De Giorgi 法を適応する。これは速度に関しては放物型であるが、位置に関してはそうではない。
• エネルギー推定と正規化技術を用いて、弱解の局所 $ L^rown $ 界を確立する。
• 位相空間における De Giorgi の反復スキームを適用し、運動方程式の非一様スケーリングを考慮する。
• 平均化補題を用いて、解の振動を制御し、速度変数からの正則性を全位相空間へ移す。
• 入れ子になったシリンダー $ Q[r] $ におけるスケーリングと反復を用い、原点における Hölder 連続性を導出する。
• 方程式の空間的および時間的平行移動不変性を用いて、原点における局所正則性を一般の Hölder 連続性に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 De Giorgi-Nash-Moser 法を、粗い拡散係数をもつ運動方程式に適応して、Hölder 連続性を証明できるか？
• RQ2 位相空間における輸送作用素の混合効果は、Fokker-Planck 方程式の解の正則性にどのように影響するか？
• RQ3 平均化補題をどれほど活用して、$ L^2 $-ベースのエネルギー推定と Hölder 連続性のギャップを埋められるか？
• RQ4 測定可能で有界な拡散行列をもつ Fokker-Planck 方程式の解の最適な Hölder 指数は何か？
• RQ5 Fokker-Planck 作用素の超楕円型構造は、拡散係数が測定可能である場合でも、正則性の伝播を可能にするか？

主な発見

• 弱解が測定可能で有界な拡散係数をもつ Fokker-Planck 方程式に対して、空間、時間、速度変数において局所 Hölder 連続であることが証明された。
• 局所 $ L^rown $ 界が中間的ステップとして確立され、$ L^2_{\text{loc}} $ に属する解で $ \nabla_v f \in L^2_{\text{loc}} $ である場合に有効である。
• Hölder 指数 $ \sigma = \ln \mu / \ln(\omega^2 / 28) $ が明示的に定量化され、$ \mu = 1 - \theta^{k^* + 3} < 1 $ であり、反復パラメータに依存する。
• Hölder 連続性は、放物型シリンダー $ Q[\omega^3/54] $ で成り立ち、連続性のモジュラスはデータの大きさと拡散行列の強楕円定数 $ \Lambda $ に依存する。
• 解と外部項が有界である任意の近傍で、平行移動とスケーリングを用いて一般解へ拡張され、局所 Hölder 連続性が証明された。
• 方法により、解と外部項の $ L^\infty $ 範囲および強楕円定数 $ \Lambda $ に明示的な依存性をもつ、構成的 Hölder 連続性モジュラスが得られた。