[論文レビュー] Quantitative regularity for parabolic De Giorgi classes

Jessica Guerand|arXiv (Cornell University)|Mar 18, 2019

Nonlinear Partial Differential Equations参考文献 22被引用数 5

ひとこと要約

本稿では、粗い係数をもつ放物型方程式に対して、De Giorgi法の定量的バージョンを提示し、内部正則性推定におけるHölder指数の明示的下界を確立する。新たな定量的中間値補題を導入することで、放物型方程式の解および放物型De Giorgiクラスに属する関数について、初めて計算可能なHölder連続性推定が可能になる。

ABSTRACT

We deal with the De Giorgi H{ö}lder regularity theory for parabolic equations with rough coefficients and parabolic De Giorgi classes which extend the notion of solution. We give a quantitative proof of the interior H{ö}lder regularity estimate for both using De Giorgi method. Recently, the De Giorgi method initially introduced for elliptic equation has been extended to parabolic equation in a non quantitative way. Here we extend the method to the parabolic De Giorgi classes in a quantitative way. To this aim, we get a quantitative version of the non quantitative step of the method, the parabolic intermediate value lemma, one of the two main tools of the De Giorgi method sometimes called ``second lemma of De Giorgi''.

研究の動機と目的

• 放物型De Giorgiクラスの内部Hölder正則性定理の定量的証明を提供し、Hölder指数の明示的計算を可能にする。
• 従来の放物型設定において非定量的であったDe Giorgi法を、中間値補題の定量的バージョンを導入することで拡張する。
• 次元、強楕円定数、および低次の項の可積分性といった構造的パラメータを用いて、Hölder半ノルムおよび指数の計算可能な下界を確立する。
• 放物型方程式におけるDe Giorgi法が完全に定量的でないという文献のギャップを埋め、将来のキネティック方程式（例：Fokker-Planck方程式）への応用を促進する。
• 中間値補題がシリンダ間の時間ギャップがない場合に失敗することを示し、キネティック方程式に適した修正されたシリンダ構成を提案する。

提案手法

• 放物型De Giorgiクラスにおける非定量的中間値補題（De Giorgiの「第二の補題」）の定量的バージョンを開発する。
• 時間区間の二重分割を用いて、超レベル集合および下位レベル集合の測度を制御し、De Giorgiクラスの定義に由来するエネルギー型不等式を活用する。
• 時間区間 $ (t_{p-1}, t_p) $ および $ (t_p, t_{p+1}) $ を用いた被覆議論を適用し、$ Q_1 $、$ \overline{Q_1} $、$ Q_2 $ 上で $ |u < k| $、$ |u \to l| $、$ |k < u < l| $ を含む定量的推定を導出する。
• 誤差項をバランスさせるためのパラメータ $ n $ を導入し、最終的な不等式の測度の上昇冪則的依存性を最適化する。
• De Giorgiクラスおよび放物型シリンダのスケーリング不変性を用いて、局所的結果を一般領域へ拡張する。
• 反例を分析し、サブスオリューションに対して中間値補題が成立するためには時間ギャップ（例：$ \overline{Q_1} = (-2,-1) \times B_1 $）が必要であることを示し、キネティック方程式への影響を議論する。

実験結果

リサーチクエスチョン

• RQ1 古典的な放物型方程式におけるDe Giorgi法を完全に定量的に行い、Hölder指数の明示的下界を計算可能にすることができるか？
• RQ2 放物型設定における中間値補題の正確な定量的形は何か？また、De Giorgiクラスのパラメータにどのように依存するか？
• RQ3 時間区間が分離されていない場合、なぜ中間値補題がサブスオリューションに対して失敗するのか？正則性推定にどのような影響を与えるか？
• RQ4 定量的De Giorgi法をFokker-Planck方程式のようなキネティック方程式に拡張できるか？また、シリンダ幾何の修正にはどのような変更が必要か？
• RQ5 Hölder半ノルムが関数の $ L^2 $ ノルムおよび $ \lambda, \Lambda, \gamma_1, \gamma_2, \gamma_3, p $ のような構造的パラメータにどのように依存するか？

主な発見

• 放物型中間値補題の定量的バージョンが確立された：$ u \in DG^+ $、$ u \leq 1 $ on $ Q_{3/2} $、および $ k < l \leq 1 $ に対して、不等式 $ (l-k)^2 |\{u \leq k\} \cap Q_1| \cdot |\{u \geq l\} \cap \overline{Q_1}| \leq C |\{k < u < l\} \cap Q_2|^{1/(4p+2)} $ が成り立ち、$ C $ は $ d, k, \gamma_1, \gamma_2, \gamma_3, p $ のみに依存する。
• 放物型De GiorgiクラスのHölder正則性推定が定量化された：$ \|u\|_{C^\alpha(Q_1)} \leq C(\|u\|_{L^2(Q_2)} + 1) $ であり、$ C $ および $ \alpha $ は $ d, \gamma_1, \gamma_2, \gamma_3, p $ のみに依存し、$ \alpha $ は計算可能である。
• 放物型方程式 $ \partial_t u = \nabla_x \cdot (A \nabla_x u) + B \cdot \nabla_x u + g $ の弱解に対して、$ \|g\|_{L^q(Q_2)} \leq 1 $、$ q > \max(2, (d+2)/2) $ のとき、同じHölder推定が成り立ち、$ C $ および $ \alpha $ は $ d, \lambda, \Lambda $ のみに依存する。
• 関数 $ f(t,x,v) = \mathbf{1}_{\{x+2t < -2\}} $ の不連続性を示す反例により、$ \overline{Q_1} $ を $ Q_1 $ に置き換えた場合に中間値補題が失敗することを示し、時間ギャップの必要性を強調する。
• キネティック方程式では、標準的なエネルギー推定ではDe Giorgiクラスを直接定義するのに不十分である。中間値不等式を保つために、時間ギャップを含む修正されたシリンダ構成（例：$ \overline{Q_1} = (-3,-2) \times B_1 \times B_1 $）を提案する。
• 証明により、二重分割からの誤差項は $ n \approx |\{k < u < l\} \cap Q_2|^{-p/(4p+2)} $ と選ぶことでバランス可能であり、最終的に超レベル集合の測度にべき乗則的依存性が得られる。