[論文レビュー] Hölder continuity of solutions to hypoelliptic equations with bounded measurable coefficients

Cyril Imbert, Clément Mouhot|arXiv (Cornell University)|May 18, 2015

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

ひとこと要約

本稿は、De Giorgi の手法の新規適応と運動論的理論のツール（特に平均化補題）を組み合わせることで、有界可測係数をもつ非線形放物型退化微分方程式の $L^2$ 弱解の Hölder 連続性を確立する。主な結果として、解は普遍的な Hölder 指数 $α = α(d,\lambda,\Lambda)$ をもって局所 Hölder 連続であることが示され、正則性の伝達と新しい退化的等周不等式を用いて、De Giorgi-Nash 理論が運動論的位相空間における退化的状況へと拡張される。

ABSTRACT

We prove that $L^2$ weak solutions to hypoelliptic equations with bounded measurable coefficients are Hölder continuous. The proof relies on classical techniques developed by De Giorgi and Moser together with the averaging lemma and regularity transfers developed in kinetic theory. The latter tool is used repeatedly: first in the proof of the local gain of integrability of sub-solutions; second in proving that the gradient with respect to the velocity variable is $L^{2+ε}_{\mathrm{loc}}$; third, in the proof of an "hypoelliptic isoperimetric De Giorgi lemma." To get such a lemma, we develop a new method which combines the classical isoperimetric inequality on the diffusive variable with the structure of the integral curves of the first-order part of the operator. It also uses that the gradient of solutions w.r.t. $v$ is $L^{2+ε}_{\mathrm{loc}}$.

研究の動機と目的

• 有界可測係数をもつ非線形放物型退化微分方程式の $L^2$ 弱解の Hölder 連続性を確立すること。
• 位相空間における輸送と拡散の相互作用から生じる正則性に起因する退化的状況において、De Giorgi-Nash 理論を拡張すること。
• 積分曲線の幾何的構造と速度勾配の $L^{2+\varepsilon}$ 正則性を組み合わせた、新しい退化的等周不等式を構築すること。
• 平均化補題を用いた、自然な $H^1_v$ 評価から空間変数における可積分性と正則性を獲得する、新たな洗練された証明戦略を提供すること。

提案手法

• 位相空間の円柱における解に対して、振幅の減少を示す補題を証明することにより、De Giorgi の反復法を退化的状況に適応する。
• 平均化補題を用いて、$H^1_v$ から $H^s_x$（$s>0$ 小さき）への正則性の伝達を実現し、劣解における可積分性の向上を可能にする。
• 解の速度変数に関する勾配が $L^{2+\varepsilon}_{\mathrm{loc}}$ に属することを確立し、新規等周不等式の鍵となるステップとする。
• 微分作用素の1次部分の積分曲線の構造と古典的等周不等式を組み合わせることで、新規の退化的等周不等式を構築する。
• 切り捨て関数と弱 Poincaré 不等式の枠組みを用いて、振幅の制御と $L^2$ 劣解の局所有界性の証明を行う。
• コンパクト性および弱収束の議論を用いて近似列における極限に移行し、極限が元の微分方程式の解として特定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 楕円型・放物型方程式に対する De Giorgi-Nash 理論は、有界可測係数をもつ非線形放物型退化微分方程式へと拡張可能か？
• RQ2 空間に拡散がないが速度にのみ拡散がある場合でも、$L^2$ 弱解の正則性が退化的状況において Hölder 連続性を示すか？
• RQ3 運動論的理論における平均化補題を、退化的微分方程式の解の空間変数における可積分性と正則性を獲得するために体系的に適用可能か？
• RQ4 積分曲線の幾何的構造と組み合わせた、De Giorgi の等周不等式の退化的版を構築可能か？
• RQ5 可測かつ有界係数をもつ運動論的 Fokker-Planck 型方程式の $L^2$ 解における最良の正則性向上は何か？

主な発見

• 非線形放物型退化微分方程式 $\partial_t f + v\cdot\nabla_x f = \nabla_v \cdot (A(x,v,t)\nabla_v f)$ の $L^2$ 弱解は、時空速度変数において Hölder 連続である。
• 解は普遍的な Hölder 連続性評価を満たす：$\|f\|_{C^\alpha(Q_1)} \leq C\|f\|_{L^2(Q_0)}$ で、$α = \alpha(d,\lambda,\Lambda)$ は次元および強楕円定数にのみ依存する。
• 解の速度変数に関する勾配は $L^{2+\varepsilon}_{\mathrm{loc}}$ に属し、証明において重要な正則性の向上を示す。
• $L^2$ 劣解に対して $L^2-L^\infty$ 評価を確立し、局所有界性を示す。
• 積分曲線の幾何的構造と $L^{2+\varepsilon}$ 正則性を組み合わせた、新規の退化的等周不等式を構築し、振幅の減少を証明する。
• 証明戦略は切り捨て関数や弱 Poincaré 不等式を回避し、従来の手法よりも短く、より明確な Hölder 連続性の証明ルートを提供する。