[論文レビュー] The sharp higher order Hardy--Rellich type inequalities on the homogeneous groups

Van Hoang Nguyen|arXiv (Cornell University)|Aug 30, 2017

Advanced Harmonic Analysis Research参考文献 35被引用数 3

ひとこと要約

この論文は、高階微分を含む積分恒等式を用いて、同次群上における鋭い高階のハーディー–レリッヒ型不等式を確立する。重み付き $L^p$ および臨界不等式の新規なものを導出し、特にスケーリング不変なバージョンを鋭く特定し、ユークリッド空間 $\r^n$ における先行研究を是正・拡張する。

ABSTRACT

We prove several interesting equalities for the integrals of higher order derivatives on the homogeneous groups. As consequences, we obtain the sharp Hardy--Rellich type inequalities for higher order derivatives including both the subcritical and critical inequalities on the homogeneous groups. We also prove several uncertainty principles on the homogeneous groups. Our results seem to be new even in the case of Euclidean space $\mathbb R^n$ and give a simple proof of several classical Hardy--Rellich type inequalities in $\mathbb R^n$.

研究の動機と目的

• 積分恒等式を用いて、同次群上における鋭い高階のハーディー–レリッヒ型不等式を導出すること。
• $\r^n$ における古典的なハーディー–レリッヒ不等式を、高階微分および重み付き $L^p$ 様式へ一般化すること。
• 鋭い定数を伴う新規な臨界不等式を確立し、文献における以前の結果を是正すること。
• 臨界ケースにおける不確実性原理およびスケーリング不変不等式を証明すること。
• ユークリッド空間における既知の結果を簡素化・拡張する統一的枠組みを提供すること。

提案手法

• 同次群上における高階微分の正確な積分恒等式を導出し、不等式の基礎を築く。
• これらの恒等式を応用して、最適定数を伴う鋭い重み付き $L^2$ および $L^p$ ハーディー–レリッヒ不等式を証明する。
• 変換 $f_R(x) = f(Rx/|x|)$ を用いたスケーリング不変枠組みを導入し、グローバルな臨界不等式を導出する。
• 径方向分解および径方向微分（$\nabla_r$, $\nabla_r^k$）を用いて、径対称性と不等式の鋭さを分析する。
• 変分法および試験関数（例：$f_ ho(x) = (\text{ln}(R/|x|))^{1/2 - \rho}$）を用いて、定数の鋭さを検証する。
• 高次元における臨界不等式と亜臨界不等式の等価性を確立し、既知の結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 同次群上における高階の重み付き $L^p$ ハーディー–レリッヒ不等式における鋭い定数は何か？
• RQ2 $\r^n$ 上で臨界ハーディー–レリッヒ不等式をスケーリング不変形式でどのように定式化できるか？
• RQ3 新しい不等式は、Adimurthi と Santra (2019) が主張した以前の鋭い定数をどのように是正・改善するか？
• RQ4 同次群上における高階微分を含む積分恒等式から不確実性原理を導出可能か？
• RQ5 高次元における亜臨界と臨界ハーディー–レリッヒ不等式の関係は何か？

主な発見

• 本論文は、同次群上における高階微分のための鋭い $L^p$ ハーディー–レリッヒ不等式を証明し、明示的な最適定数を提示する。
• $n = 4k$ の場合、不等式 $\left(2^{2k-2}(2k-1)! ight)^2 \sup_{R>0} \int_{\r^n} \frac{|f - f_R|^2}{|x|^n |\ln(R/|x|)|^2} dx \leq \int_{\r^n} |\Delta_r^k f|^2 dx$ が成り立ち、鋭いものである。
• $n = 4k+2$ の場合、不等式 $\left(2^{2k-1}(2k)! ight)^2 \sup_{R>0} \int_{\r^n} \frac{|f - f_R|^2}{|x|^n |\ln(R/|x|)|^2} dx \leq \int_{\r^n} |\partial_r \Delta_r^k f|^2 dx$ は鋭く、Adimurthi と Santra の以前の主張を是正する。
• 不等式 $\left(\frac{n-1}{n}\right)^n \int_{\r^n} \frac{|f - f_R|^n}{|x|^n |\ln(R/|x|)|^n} dx \leq \int_{\r^n} \left|\frac{x}{|x|} \cdot \nabla f\right|^n dx$ は鋭く、スケーリング不変であることが確立された。
• 重み付き $L^p$ バージョンへの拡張により、$\left(\prod_{i=0}^{k-1} \frac{n + p'(2i + \alpha))(n - p(2i + 2 + \alpha))}{pp'}\right)^p \int \frac{|f|^p}{|x|^{p(2k + \alpha)}} dx \leq \int \frac{|\Delta_r^k f|^p}{|x|^{p\alpha}} dx$ といった新規な不等式が得られる。
• 本論文は、臨界不等式 (6.18) が試験関数を用いて鋭いことを証明し、先行研究における不一致を解消した。