[論文レビュー] A unified divergent approach to Hardy-Poincaré inequalities in classical and variable Sobolev spaces

Giovanni Di Fratta, Alberto Fıorenza|arXiv (Cornell University)|Jan 1, 2021

Nonlinear Partial Differential Equations参考文献 46被引用数 1

ひとこと要約

本稿では、古典的および可変指数ソボレフ空間におけるハーディー–ポワンカレ不等式を一元的かつ構成的である発散に基づくアプローチで導出する。コンパクトに台を持つ関数に直接発散定理を適用することにより、コンパクト性定理に依存せず、鋭い不等式を確立し、最適定数に関する幾何的情報を回復し、径数および可変指数へと拡張可能である。以前の結果が非コンパクト性の問題を示唆する場合でも、本手法は有効である。

ABSTRACT

We present a unified strategy to derive Hardy-Poincaré inequalities on bounded and unbounded domains. The approach allows proving a general Hardy-Poincaré inequality from which the classical Poincaré and Hardy inequalities immediately follow. The idea also applies to the more general context of variable exponent Sobolev spaces. The argument, concise and constructive, does not require a priori knowledge of compactness results and retrieves geometric information on the best constants.

研究の動機と目的

• 有界および非有界領域にわたるハーディー–ポワンカレ不等式の導出に、一元的かつ構成的な手法を開発すること。
• 最適定数の幾何的依存性を曇らせる非構成的かつコンパクト性に基づく証明の限界を克服すること。
• 特に径数および非定数指数に対して、古典的不等式を可変指数ソボレフ空間へと拡張すること。
• ハーディー–ポワンカレ不等式の最良定数に対する明示的かつ幾何的に意味のある上限を提供すること。
• 径数可変指数空間におけるポワンカレ不等式の失敗に関する以前の結果との顕在的矛盾を解消するため、対数項および関数の大きさの役割を同定すること。

提案手法

• ソボレフ空間におけるコンパクトに台を持つ関数に発散に基づく議論を適用し、発散定理を用いて積分推定を導出する。
• この手法は、関数のL^pノルムをその勾配のL^pノルムを用いて推定することで不等式を構成し、単位ベクトル場に沿った方向微分を用いる。
• 可変指数空間では、指数の正則化された径数プロファイルを用い、Lebesgueの収束定理を適用して極限に移行する。
• コンパクト性定理を避けるために、点ごとの推定および発散構造から導かれる積分恒等式に依存する。
• 重要なステップとして、|x−x₀|と方向σを含む重みを導入し、関数の径数的挙動を制御する。
• C∞(Ω̅)への拡張では、表面積分の剰余項を含めることにより、境界に特異性を持つエネルギー汎関数への応用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 古典的および可変指数ソボレフ空間にわたるハーディーおよびポワンカレ不等式の導出を、一つの構成的手法で統一できるか？
• RQ2 コンパクト性定理に依存せずに、最良定数に関する幾何的情報を回復できるか？
• RQ3 有界領域における径数可変指数に対してポワンカレ不等式が失敗するのはなぜか？ 本手法とどのように調和させられるか？
• RQ4 不等式における対数項が、径数指数に対する推定の妥当性を決定する上で果たす役割は何か？
• RQ5 関数が領域の閉包におけるコンパクトな台を持つ場合に、本手法を表面剰余項を含めて適応できるか？

主な発見

• 発散に基づく手法は、非構成的かつコンパクト性に依存する証明の代替手段を提供し、最良定数の明示的かつ幾何的依存性を導く。
• このアプローチは、単一の統一不等式の特別な場合として、古典的ポワンカレおよびハーディー不等式を回復する。
• 可変指数空間では、指数の弱い正則性仮定のもとで有効なモジュラルハーディー–ポワンカレ不等式を確立する。
• [28, Thm. 3.1]との顕在的矛盾を解消する。不等式における対数項は、|u| ≤ 1のとき、減少径数指数に対しても制御可能であることを示す。
• L∞径数指数に対しても、C¹_b正則化プロファイルによる近似とドミネートド収束定理の適用により、構成が有効である。
• C∞(Ω̅)において、表面積分の剰余項を含む不等式が得られ、境界の異方的エネルギー汎関数への応用が可能になる。