[論文レビュー] Local Hardy and Rellich inequalities for sums of squares of vector fields

Michael Ruzhansky, Durvudkhan Suragan|arXiv (Cornell University)|Jan 21, 2016

Advanced Harmonic Analysis Research被引用数 13

ひとこと要約

本稿は、滑らかな多様体の有界領域上で、正の基本解の存在を保証する条件下で、ベクトル場の二乗和に対する局所的HardyおよびRellich不等式を確立する。重み付きエネルギー推定と許容領域における部分積分を用いて、古典的結果を階層的Lie群やユークリッド空間上のHörmander型作用素へと一般化した鋭い不等式を導出する。

ABSTRACT

We prove local refined versions of Hardy's and Rellich's inequalities as well as of uncertainty principles for sums of squares of vector fields on bounded sets of smooth manifolds under certain assumptions on the vector fields. We also give some explicit examples, in particular, for sums of squares of vector fields on Euclidean spaces and for sub-Laplacians on stratified Lie groups.

研究の動機と目的

• 滑らかな多様体の有界領域上での作用素 $\mathcal{L} = \sum_{k=1}^N X_k^2 $ に対する局所的HardyおよびRellich不等式の確立。
• このような不等式が成り立つために十分な幾何学的および解析的条件（特に正の基本解の存在）の同定。
• 階層的Lie群上のサブラプラシアンおよび $\mathbb{R}^n$ 上の非滑らかな係数をもつHörmander型作用素に対する古典的不等式の拡張。
• 許容領域における部分積分を用いた、部分リーマン幾何学における不確実性原理および精密な重み付き推定の一般枠組みの提供。
• 非滑らかなベクトル場が2段階Hörmander条件を満たす具体例を通じた枠組みの検証。

提案手法

• 境界が区分的滑らかで単純な許容領域 $\Omega \subset M$ の概念を導入し、部分積分公式の有効性を保証する。
• 点 $y$ の近傍 $T_y$ において $-\mathcal{L} = \delta_y$ の基本解 $\Gamma_y$ が存在し、$T_y \setminus \{y\}$ で $\Gamma_y > 0$ かつ $y$ で $\Gamma_y \to \infty$ となることを仮定する。
• 許容領域 $\Omega$ 上で部分積分を用いて重み付きエネルギー恒等式を導出し、微分形式 $X_k f_k$ および $\langle X_k, d\nu \rangle$ にストークスの定理を適用する。
• 基本解の性質を活用するため、$v \in C^1(\Omega) \cap C(\overline{\Omega})$ を用いた $v X_k \Gamma_y$ を含むテスト関数を構成する。
• 許容領域上で発散定理 $\sum_k \int_\Omega X_k f_k \, d\nu = \sum_k \int_{\partial\Omega} f_k \langle X_k, d\nu \rangle$ を適用し、境界項を制御する。
• 制御距離と係数のHölder連続性を用いて、Hörmander型設定における基本解の存在および正値性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル場 $\{X_k\}$ がどのような条件下で、有界領域上での $\mathcal{L} = \sum X_k^2 $ に対して局所的Hardy不等式が成り立つか。
• RQ2 部分リーマン幾何学的設定において、ベクトル場の二乗和に対してRellich型不等式を確立できるか。
• RQ3 基本解 $\Gamma_y$ の性質が得られる不等式の鋭さにどのように影響するか。
• RQ4 Hörmanderの条件を満たすが必ずしも滑らかでない作用素に対して、古典的HardyおよびRellich不等式をどの程度まで一般化できるか。
• RQ5 部分積分公式の有効性を保証するための、領域 $\Omega$ およびベクトル場に関する構造的仮定は何か。

主な発見

• 境界が区分的滑らかで単純な任意の有界開領域 $\Omega \subset M$ に対して、$\mathcal{L} = \sum X_k^2 $ が点 $y$ の近傍で正の基本解 $\Gamma_y $ を持てば、$\Gamma_y $ の特異性に依存する鋭い定数をもつ局所的Hardy不等式が成り立つ。
• 同じ仮定のもとで、$ \int_\Omega \frac{|\mathcal{L} u|^2}{|x-y|^4} d\nu \geq C \int_\Omega \frac{|u|^2}{|x-y|^4} d\nu $ の形の局所的Rellich不等式が証明され、明示的な鋭い定数が得られる。
• 次元 $n \geq 3$ の階層的Lie群上では、任意の単純境界をもつ有界領域で、サブラプラシアン $\mathcal{L} = \sum X_k^2 $ は局所的HardyおよびRellich不等式を満たす。
• $\mathbb{R}^n $ 上のベクトル場 $ X_k = \frac{\partial}{\partial x_k} + \sum_{m=N+1}^n a_{k,m}(x) \frac{\partial}{\partial x_m} $ で、$a_{k,m} \in C^{1,\alpha} $ かつHörmanderの2段階条件を満たす場合、不等式は局所的に成り立つ。
• 非滑らかな係数（例：$a(x) = x_2(1+|x_2|)$）をもつ具体例を構成し、ベクトル場が $C^{1,1}$ でありながらHörmanderの条件を満たすが、不等式は依然として成立することが示された。
• 基本解 $\Gamma_y $ は導出過程で重みとして用いられ、$y$ での発散性により、重み付き $L^2 $ 推定における特異性の鋭い制御が可能となる。