[論文レビュー] Regularity of weak supersolutions to elliptic and parabolic equations: lower semicontinuity and pointwise behavior

Naian Liao|arXiv (Cornell University)|Nov 8, 2020

Nonlinear Partial Differential Equations参考文献 24被引用数 4

ひとこと要約

本稿では、De Giorgi型補題に基づく測度論的アプローチを導入することで、発散型の一般クラスの楕円型および放物型方程式に対する弱上位解の下半連続性を確立する。弱上位解は零集合での再定義により下半連続な代表元を有し、放物型問題では、正の性質の拡張を用いて、過去の時間における本質的下限または積分平均から、時刻における点での値を回復可能であることを示す。

ABSTRACT

We demonstrate a measure theoretical approach to the local regularity of weak supersolutions to elliptic and parabolic equations in divergence form. In the first part, we show that weak supersolutions become lower semicontinuous after redefinition on a set of measure zero. The proof relies on a general principle, i.e. the De Giorgi type lemma, which offers a unified approach for a wide class of elliptic and parabolic equations, including an anisotropic elliptic equation, the parabolic $p$-Laplace equation, and the porous medium equation. In the second part, we shall show that for parabolic problems the lower semicontinuous representative at an instant can be recovered pointwise from the "essliminf" of past times. We also show that it can be recovered by the limit of certain integral average of past times. The proof hinges on the expansion of positivity for weak supersolutions. Our results are structural properties of partial differential equations, independent of any kind of comparison principle.

研究の動機と目的

• 非退化・特異な放物型方程式に対する弱上位解の下半連続代表元の存在を確立すること。
• 与えられた時刻における放物型上位解の点での値が、過去の挙動（本質的下限または積分平均）から回復可能であることを示すこと。
• 比較原理に依存しない、上位解の正則性の統一的枠組みを提供すること。
• p-ラプラシアンや多孔質媒体方程式のような方程式に対し、符号が変化する解を含めて、構造的正則性結果を拡張すること。

提案手法

• 超レベル集合の測度密度を制御するDe Giorgi型補題を用いることで、上位解が鋭い突起を形成せず、球の境界付近で最小値をとることを保証する。
• 証明は、ある球内で正のレベル以上に十分な測度密度を持つ場合、その中心を共有するより小さい球内でもその半分以上の値をとらなければならないという一般的原則に依存する。
• 放物型問題では、正の性質の拡張を用いて、時空内の一点まわりの収縮するシリンダ内での解の定量的下界を導出する。
• 弱ハーナック不等式を避けるために、$L^r$–$L^∞$推定と定数加法不変性などの構造的性質を用いる。
• 多孔質媒体方程式に対しては、変換を施してDe Giorgi枠組みに適合可能にし、符号が変化する解に対しても解析可能となる。
• 矛盾による議論を用い、本質的下限が点での下限よりも厳密に小さいと仮定し、正の性質の拡張を用いて測度密度条件の破綻を導く。

実験結果

リサーチクエスチョン

• RQ1 一般の発散型楕円型および放物型方程式に対する弱上位解は、測度ゼロの集合での再定義により下半連続な代表元を有するか？
• RQ2 放物型上位解の時刻における点での値は、どのように過去の挙動から再構成可能か？
• RQ3 弱上位解の下半連続代表元は、比較原理に依存しない構造的性質であるか？
• RQ4 本手法は、定数の加法が解を保存しない方程式（例：多孔質媒体方程式）へも拡張可能か？
• RQ5 正の性質の拡張は、時空内の一点付近での上位解の振動に対する定量的制御を可能にするか？

主な発見

• p-ラプラシアンや多孔質媒体方程式を含む広範な楕円型および放物型方程式に対する弱上位解は、測度ゼロの集合での再定義により下半連続代表元を有する。
• 点での下半連続代表元は、過去の時間における解の本質的下限として点単位で回復可能である。
• 同様の条件下で、積分平均の極限としても回復可能である。
• 解が測度的に急激に低下することを防ぐために、超レベル集合に鋭い突起が生じないことを保証するDe Giorgi型補題に依存する。
• 多孔質媒体方程式に対しても、符号が変化する解に対しても本手法は有効であり、定数加法に依存する従来の手法の制限を克服する。
• 矛盾による議論により、本質的下限が点での下限よりも厳密に小さいと仮定すると、正の性質の拡張を用いて測度密度条件が破綻することが示され、これにより所望の下半連続性が証明される。