Asymptotically sharp Hardy-Rellich inequalities on lattices

技術要約：格子上の漸近的にシャープなハーディ・リリッヒ不等式

問題設定
本論文は、整数格子 $\mathbb{Z}^d$ 上の離散的ハーディ・リリッヒ不等式における最適定数 $C_{m,d}$ のシャープな漸近挙動の決定を扱っている。ここで、$d \to \infty$ としたときの挙動である。固定された整数次数 $m \ge 1$ に対して、不等式は次のように定義される：
$$\sum_{n \in \mathbb{Z}^d} |D_m u(n)|^2 \ge C_{m,d} \sum_{n \in \mathbb{Z}^d \setminus \{0\}} \frac{|u(n)|^2}{|n|^{2m}}, \quad \forall u \in E(\mathbb{Z}^d),$$
ここで、$E(\mathbb{Z}^d)$ は原点で消滅するコンパクトな台を持つ関数の空間であり、$D_m$ は次数 $m$ の離散微分作用素を表す。

連続的なユークリッド空間 $\mathbb{R}^d$ におけるシャープな定数は（$d^{2m}$ のスケールで）よく理解されているが、離散的なケースでは、スケーリング引数や部分積分が欠如しているため、重大な課題が生じる。Guptaによる先行研究では、$d$ が大きいとき $C_{m,d}$ は $d^m$ としてスケールすることが示されたが、その正確な漸近極限は未解決の問いとして残されていた。具体的には、$0 < \liminf_{d\to\infty} C_{m,d}/d^m \le \limsup_{d\to\infty} C_{m,d}/d^m < \infty$ であることが知られていた。本論文は、この極限の正確な値を解明することを目的としている。

手法
著者らは、フーリエ解析、関数恒等式、および確率論的な集中評価を組み合わせた多段階のアプローチを採用している：

1. フーリエ還元: Guptaの手法に従い、$\mathbb{Z}^d$ 上の離散的問題を、平坦なトーラス $\mathbb{T}^d = [-\pi, \pi]^d$ 上の等価な重み付き積分不等式へと変換する。離散和は、特定の異方性重み関数を用いて積分へと変換される：
   $$\omega(x) = \sum_{j=1}^d \left(\sin \frac{x_j}{2}\right)^2.$$
   これにより、問題は以下の形式の重み付き不等式の最良の定数を見つけることに帰着する：
   $$\int_{\mathbb{T}^d} |D_k \phi|^2 \omega^\gamma dx \ge C_{d,k,\ell,\gamma} \int_{\mathbb{T}^d} |D_\ell \phi|^2 \omega^{\gamma-k+\ell} dx.$$

2. 一般化されたハーディ・リリッヒ恒等式: 異方性重み $\omega^\gamma$ から生じる誤差項を扱うために、著者らは一般的な一次および二次ハーディ・リリッヒ恒等式を利用する。主要な新規性は、ヘッセ行列をテンソル積を介してベクトル場と結合させる、第二次のリリッヒ型恒等式（補題2.1、式2.2）の導入である。これにより、標準的なベッセル対のアプローチでは対処できない、異なる空間方向間の結合を精密に管理することが可能となる。

3. 確率論的な集中評価: 重み $\omega$ は、独立な確率変数の経験平均として解釈される。著者らは、この確率論的構造を利用して、高次元において重みが退化する領域（$\omega \to 0$ となる領域）を制御する：

   • ヘフディングの不等式: 重みが平均から大きく逸脱する集合の測度を推定するために使用され、高次元において「悪い」領域が無視できるほど小さくなることを保証する。
   • エントロピー法: 著者らはトーラス上の対数ソボレフ不等式を利用しており、最良の定数が次元に依存しないことに注目している。これにより、重み付き積分を抑え込むための、次元によらない一様なエントロピー評価が可能となる。

主な貢献と結果
本論文の主要な結果は、最適定数の正確な漸近極限の決定である：

定理 1.1: すべての固定された整数 $m \ge 1$ に対して、シャープな定数 $C_{m,d}$ は次を満たす：
$$\lim_{d \to \infty} \frac{C_{m,d}}{d^m} = 2^m.$$

これを達成するために、著者らはまず、トーラス上の一般的な重み付き不等式の漸近挙動を与える定理 1.3を確立する。非負整数 $\ell, k$ について $0 < k - \ell \le \gamma$ であるとき、以下を示す：
$$\lim_{d \to \infty} \frac{C_{d,k,\ell,\gamma}}{d^{k-\ell}} = 2^{\ell-k}.$$

この証明は、勾配とラプラシアンを含む重み付きノルムのシャープな評価を確立する命題 1.4に基づいている。具体的には、大きな $d$ に対して以下を示す：

• $\int |\nabla \phi|^2 \omega^\gamma \approx \int \phi^2 \omega^\gamma$ （低次項を除いて）
• $\int |\nabla \phi|^2 \omega^\gamma \approx \frac{d}{2} \int \phi^2 \omega^{\gamma-1}$
• $\int |\Delta \phi|^2 \omega^\gamma \approx \int |\nabla \phi|^2 \omega^\gamma$
• $\int |\Delta \phi|^2 \omega^\gamma \approx \frac{d}{2} \int |\nabla \phi|^2 \omega^{\gamma-1}$

これらの評価は、新しいリリッヒ恒等式と、$\omega$ の異方性を扱うための確率論的な集中評価（ヘフディングおよびエントロピー）を組み合わせることによって導出される。

意義
本論文は、Guptaが残した離散的ハーディ・リリッチ定数の正確な漸近挙動に関する問いに対し、完全な回答を提供したと主張している。この結果は、離散と連続の設定における根本的な違いを浮き彫りにしている。すなわち、$\mathbb{R}^d$ における最適定数は $d^{2m}$ のオーダーで増大するのに対し、格子 $\mathbb{Z}^d$ 上では $d^m$ のオーダーで増大する。著者らは、特に異方性重みを次元一様に扱うための確率論的な集中評価の使用を含む彼らのアプローチが、高次元の離散的不等式を分析するための新しいツールキットを提供していると述べている。

また、本論文は、完成後、Guptaが異なるアプローチを用いて同じ結果を独立に得たことを認めている。著者らの貢献は、フーリエ還元、新しい二次恒等式、および確率論的手法を組み合わせることで、これらのシャープな評価を導出した特定の組み合わせにある。