[論文レビュー] Harnack's Inequality for Parabolic De Giorgi Classes in Metric Spaces

Juha Kinnunen, Niko Marola+2 more|arXiv (Cornell University)|Jun 27, 2011

Nonlinear Partial Differential Equations参考文献 27被引用数 28

ひとこと要約

本稿は、倍加測度とPoincaré不等式を備えた測度空間上における、スケールおよび位置不変のハーナック不等式を、放物型De Giorgiクラスに属する関数に対して確立する。放物型De Giorgiクラスの定義を導入し、正の性質の拡張と内在幾何学的構造を活用することで、放物型準最小化関数の局所 Hölder 継続性および強い最大原理を証明し、古典的結果を一般の測度空間へと拡張する。

ABSTRACT

In this paper we study problems related to parabolic partial differential equations in metric measure spaces equipped with a doubling measure and supporting a Poincare' inequality. We give a definition of parabolic De Giorgi classes and compare this notion with that of parabolic quasiminimizers. The main result, after proving the local boundedness, is a scale and location invariant Harnack inequality for functions belonging to parabolic De Giorgi classes. In particular, the results hold true for parabolic quasiminimizers.

研究の動機と目的

• 倍加測度とPoincaré不等式を備えた測度空間における放物型De Giorgiクラスの定義と研究を行う。
• これらのクラスに属する関数に対して、スケールおよび位置不変のハーナック不等式を確立する。
• 放物型準最小化関数が、放物型De Giorgiクラスに属する関数と同一の正則性を満たすことを示す。
• 放物型方程式の正則性理論を、ユークリッド空間から一般の測度空間へと拡張する。
• 非滑らかな幾何的設定下における変分的手法を用いた放物型問題の統一的枠組みを提供する。

提案手法

• 測度空間内の時空シリンダーにおける2次構造条件を通じて、放物型De Giorgiクラスを定義する。
• エネルギー比較不等式（時間微分と空間勾配を含む）を用いて定義される、放物型準最小化関数をモデルクラスとして用いる。
• 正の解に対する下界の時間的・空間的伝播を可能にする、正の性質の拡張法を適用する。
• ユークリッド空間の線形構造の代わりに、測度空間に適応した抽象的補題（補題2.5）を確立する。
• 幾何的倍加性と内在的時間スケーリングを用いて、時間と空間における反復的被覆論法を構築し、小さな球から大きな球へ正の性質を伝播させる。
• 倍加性とPoincaré不等式を用いて、振動を制御し、スケール不変の推定を得る。

実験結果

リサーチクエスチョン

• RQ1 倍加測度とPoincaré不等式を備えた一般の測度空間において、De Giorgiクラスに属する関数に対して、放物型ハーナック不等式を確立できるか？
• RQ2 放物型準最小化関数は測度空間においてどのように振る舞い、熱方程式の解と同一の正則性を満たすか？
• RQ3 測度空間における線形構造の欠如下で、古典的DiBenedettoの手法をどのように修正すればハーナック不等式を証明できるか？
• RQ4 Hölder連続性や強い最大原理といった正則性結果は、ユークリッド空間から測度空間へどの程度拡張可能か？
• RQ5 測度空間において、放物型De Giorgiクラスのクラスは、放物型準最小化関数のクラスよりも厳密に大きいとみなせるか？

主な発見

• すべての放物型De Giorgiクラスに属する関数に対して、定理5.7で述べられるように、スケールおよび位置不変のハーナック不等式が成り立つ。
• ハーナック不等式は、放物型De Giorgiクラスに属する関数の局所 Hölder 連続性を示唆する。
• 非負の関数に対して、放物型De Giorgiクラスに属する関数は強い最大原理を満たす。
• ハーナック不等式の定数は、関数の具体的な内容に依存せず、倍加定数とPoincaré定数にのみ依存する。
• 正の性質の反復的拡張に依存する証明により、時間的・空間的変化に伴い下界が指数関数的に減少する。
• 放物型De Giorgiクラスのクラスは、放物型準最小化関数を含み、結果はそれらを特別な場合として含む。