[論文レビュー] Hardy Type Inequalities Related to Degenerate Elliptic Differential Operators

Lorenzo D’Ambrosio|ArXiv.org|Mar 8, 2006

Nonlinear Partial Differential Equations参考文献 37被引用数 36

ひとこと要約

本稿は、Carnot群のようなサブリーマン多様体の設定に一般化された、非線形退化楕円型作用素 $ L_p $ に対する鋭いHardy型不等式を確立する。正の重み $ \theta $ に対して $ -L_p\theta \geq 0 $ を仮定することで、$ u \in C^1_0(\Omega) $ に対して有効な不等式 $ c\int_\Omega \frac{|u|^p}{\theta^p} |\nabla_L \theta|^p d\xi \leq \int_\Omega |\nabla_L u|^p d\xi $ の最適定数 $ c $ を導出する。特にヘイゼンベルク群やグリューシュイン作用素の状況において、明示的かつ最適な定数が得られる。

ABSTRACT

We prove some Hardy type inequalities related to quasilinear second order degenerate elliptic differential operators L_p(u):=- abla_L^*(\abs{ abla_L u}^{p-2} abla_L u). If ϕis a positive weight such that -L_pϕ>= 0, then the Hardy type inequality c\int_Ω\frac{\abs u^p}{ϕ^p}\abs{ abla_L ϕ}^p dξ\le \int_Ω\abs{ abla_L u}^p dξholds. We find an explicit value of the constant involved, which, in most cases, results optimal. As particular case we derive Hardy inequalities for subelliptic operators on Carnot Groups.

研究の動機と目的

• 非線形退化楕円型作用素 $ L_p $ に対する古典的Hardy不等式を、サブリーマン多様体の設定に一般化すること。
• Carnot群上のサブラプラシアンに関連する作用素に対して、Hardy型不等式の明示的かつ最適な定数を導出すること。
• 正の重み $ \phi $ に対して $ -L_p\phi \geq 0 $ を満たす一般枠組みを導入することで、既存の結果を統一的かつ拡張すること。
• 外領域および距離関数を用いた $ L_p $-調和関数に基づく鋭い不等式を確立すること。
• 導出された定数が、特にユークリッド的およびサブリーマン的設定において最適であることを示すこと。

提案手法

• 作用素 $ L_p u = -\nabla_L^*(|\nabla_L u|^{p-2}\nabla_L u) $ を用い、$ -L_p\phi \geq 0 $ という条件に基づく一般枠組みを用いてHardy型不等式を導出する。
• 先行研究 [18, 19, 44] で用いられた手法を応用し、重み付きテスト関数と部分積分を用いて主不等式を導出する。
• 基礎となるリー群構造の極性化および同次性の性質を活用して、基本解 $ N_2 $ の挙動を分析する。
• 距離関数 $ \delta = d_{CC}(\cdot, \partial\Omega) $ または $ d_2(\cdot, \partial\Omega) $（$ d_2 $ はゲージ $ N_2 $ を用いて定義）を用いて不等式を導出する。
• $ d(\xi) = R - N_2(\xi) $ または $ d(\xi) = N_2(\xi)^{\frac{p-Q}{p-1}} - R^{\frac{p-Q}{p-1}} $ を用いたテストにより適切な上解を構成する。
• 与えられた仮定のもとで $ L_p N_2 \geq 0 $ が成り立つことを利用して、主定理（定理2.7）の適用可能性を検証する。

実験結果

リサーチクエスチョン

• RQ1 正の重み $ \phi $ に対して $ -L_p\phi \geq 0 $ を満たす条件下で、非線形退化楕円型作用素 $ L_p $ に対するHardy型不等式の最適定数は何か？
• RQ2 一貫した枠組みを用いて、古典的Hardy不等式をCarnot群上でのサブリーマン作用素にどのように一般化できるか？
• RQ3 グリューシュイン型やヘイゼンベルク＝グライナー型作用素に対して、鋭い定数を明示的に計算できるか？
• RQ4 Hardy不等式の最良定数が達成されない条件は何か？
• RQ5 基礎となる群の幾何的性質（例えば、同次性、ゲージ）は、不等式の形および鋭さにどのように影響を与えるか？

主な発見

• 条件 $ -L_p\phi \geq 0 $ の下で、すべての $ u \in C^1_0(\Omega) $ に対して不等式 $ c\int_\Omega \frac{|u|^p}{\phi^p} |\nabla_L \phi|^p d\xi \leq \int_\Omega |\nabla_L u|^p d\xi $ が成立し、$ \phi = R - N_2 $ の場合、$ c = \frac{p-1}{p} $ が得られる。
• ヘイゼンベルク群では、定数 $ c = \frac{p-1}{p} $ が最適であり、ユークリッドの場合の鋭い定数と一致する。
• 外領域 $ \Omega = \{ N_2(\xi) > R \} $ においては、$ c = \frac{|p - Q|}{p} $ が成り立ち、$ \nabla_L = \nabla $ のときこの定数は鋭い。
• $ \delta = d_{CC}(\cdot, \partial\Omega) $ の場合、定数は $ c = \frac{|p - Q|}{p} \cdot \frac{1}{\| \nabla_L N_2 \|_{L^\infty}} $ となり、与えられた仮定のもとで最適である。
• 最適性は極限による議論と、ユークリッドの場合に既知の鋭い定数との比較によって証明される。
• 本結果は、Carnot群上のサブラプラシアン、グリューシュイン作用素、ヘイゼンベルク型作用素に対する既存の不等式を一般化・統合し、明示的かつ最適な定数を伴う単一の枠組みを提供する。