技術要約：$q > n$ における $q$ 次双対クヴェル積分に関するブルン・ミンコフスキー不等式

1. 問題設定と背景

本論文は、$q$ 次双界クヴェル積分（dual quermassintegral）$\widetilde{V}_q(K)$ について、$q$ が次元 $n$ を超える場合のブルン・ミンコフスキー不等式の妥当性を調査している。原点を含む星状体 $K$ に対して、双界クヴェル積分は以下のように定義される：
$$\widetilde{V}_q(K) = \frac{1}{n} \int_{S^{n-1}} \rho_K(u)^q \, du = \frac{q}{n} \int_K |x|^{q-n} \, dx,$$
ここで $\rho_K$ は径関数である。中心的な問いは、Sadovsky と Zhang [23] によって提起されたものであり、様々な対称性の仮定（任意、原点対称、または無条件対称）の下で、不等式
$$\widetilde{V}_q(K+L)^{1/q} \geq \widetilde{V}_q(K)^{1/q} + \widetilde{V}_q(L)^{1/q}$$
が $q > n$ の場合に成立するかどうかである。

$0 < q \leq n$ の範囲ではこの不等式が成立することが知られているが（$q=n$ の場合は古典的なブルン・ミンコフスキー不等式）、$q > n$ での挙動は未解決のままであった。Xu と Yang [28] による先行研究では、原点対称なクラスにおいて $q > 2n+1$ の場合に不等式が成立しないことが示されている。本論文の目的は、失敗の鋭い閾値を決定し、特定の幾何学的クラスにおける正の結果を確立することである。

2. 手法

著者らは、変分解析、次元削減、および重み付き幾何学的不等式の組み合わせを用いている。

2.1. 変分解析と第2変分

負の結果の核心は、測度 $\mu_q(K) = \int_K |x|^{q-n} dx$ の局所的な $1/q$-凹性を分析することにある。Kolesnikov-Milman [17] から導出された重み付き第2変分公式（補題 2.1）を用いて、著者らはユークリッド球 $B^n_2$ の摂動に対する安定性をテストしている。

• 任意の体: 奇関数的な摂動（第1球面調和関数）をテストする。第2変分は正（局所的な凸性を示し、したがって不等式の失敗を意味する）であり、$q > n$ の場合にこれが発生する。
• 原点対称な体: 偶関数的な摂動をテストする。局所的な安定性の閾値は $q \leq 2n+1$ となるが、これは大域的な妥当性を保証するには不十分であることが示されている。

2.2. 次元削減

原点対称な体に対する大域的な反例を構成するために、著者らは次元削減の議論を利用している。彼らは $K_\epsilon = A \times [-\epsilon, \epsilon]^{n-2}$ という形の体（ここで $A$ は平面凸体）を考える。$\epsilon \to 0$ のとき、$n$ 次元のパラメータ $q$ は実質的に平面パラメータ $Q = q - n + 2$ に減少する。

• 平面矩形を分析することにより、不等式は $Q > 4$、すなわち $q > n + 2$ の場合に成立しないことを示す。
• この構成により、局所的な安定性の閾値と大域的な失敗の閾値の間のギャップを埋めている。

2.3. 特異重み付きレイリー公式とハーディ不等式

正の結果、特に無条件凸体に関する結果を得るために、著者らは特異重み付きレイリー公式（命題 6.5）を開発している。

• 著者らは、重み $|x|^\alpha$（ここで $\alpha = q-n$）を持つ作用素 $L_\alpha = \Delta + \alpha \frac{x}{|x|^2} \cdot \nabla$ に対する特異ノイマン問題を解いている。
• 特異性を扱うために、原点付近での解のアシンプトティック展開を導出している（補題 6.3）。
• 極めて重要なことに、$\alpha$ の符号に合わせた座標スライス型のハーディ型不等式（補題 7.1 および 7.3）を確立している。これらの不等式は、レイリー公式における不利な項を制御し、$-n < \alpha \leq 1$（すなわち $0 < q \leq n+1$）において特定のエネルギー汎関数 $I_\alpha(u)$ の非負性を証明することを可能にする。

3. 主な貢献と結果

3.1. 任意の体における範囲の鋭さ

定理 1.3: 任意の凸体に対して、$q > n$ のときは不等式は成立しない。

• 手法: 第1球面調和関数でユークリッド球を摂動させることで、滑らかで厳密に凸な体を構成する。$\widetilde{V}_q(K)^{1/q}$ の第2変分が正となり、要求される凹性に反する。

3.2. 原点対称な体に対する反例

定理 1.4: 原点対称な凸体に対して、$q > n + 2$ のときは不等式は成立しない。

• 手法: 平面矩形への次元削減を用いることで、$Q = q - n + 2 > 4$ のとき、$t \mapsto \widetilde{V}_q(K_t)^{1/q}$ が $t=0$ において局所的に凸となり、ブルン・ミンコフスキー不等式の厳密な違反を招くことを示す。これにより、先行研究の境界 $q > 2n+1$ が改善された。

3.3. 端点 $q = n + 2$ における正の結果

定理 1.5: 原点対称な凸体に対して、端点 $q = n + 2$ において不等式は成立する。

• 手法: 恒等式 $I(K) = \frac{n}{n+2} \widetilde{V}_{n+2}(K)$ を通じて、$\widetilde{V}_{n+2}(K)$ を極慣性モーメント $I(K)$ に関連付ける。そして、極慣性モーメントに関する Hadwiger の不等式 [10]、すなわち $I(K+L)^{1/(n+2)} \geq I(K)^{1/(n+2)} + I(L)^{1/(n+2)}$ を適用する。

3.4. 無条件凸体に対する全範囲

定理 1.6: 無条件凸体（座標反射に対して不変な体）に対して、不等式は $0 < q \leq n + 1$ の全範囲で成立する。

• 手法: これが本論文の主要な技術的成果である。特異重み付きレイリー公式と座標スライス型のハーディ不等式を組み合わせることで、無条件な体に対する $\widetilde{V}_q$ の局所的な $1/q$-凹性を証明している。
• 等号成立の場合: $K, L$ が $C^2_+$ クラスである場合、等号は $K$ と $L$ が互いに 닮形である場合にのみ成立する。

3.5. 双対曲率測度の一意性

応用として、著者らは $(1, q)$ 次双対曲率測度 $\widetilde{C}_{1,q}$ の一意性の結果を導いている。

• 系 8.4: 無条件な $C^2_+$ 体に対して、もし $\widetilde{C}_{1,q}(K, \cdot) = \widetilde{C}_{1,q}(L, \cdot)$ ならば（$0 < q \leq n+1$ のとき）、$K=L$ である（$q=1$ の場合は 닮形である）。
• 系 8.5: 原点対称な $C^2_+$ 体に対して、もし $\widetilde{C}_{1,n+2}(K, \cdot) = \widetilde{C}_{1,n+2}(L, \cdot)$ ならば、$K=L$ である。

4. 重要性と主張

本論文は、原点 $q > n$ の領域における双界クヴェル積分のブルン・ミンコフスキー不等式の正確な境界を確立することにより、Sadovsky と Zhang [23] による問題 1.2 を解決したと主張している。

• 大域的な妥当性の否定: 一般的な体については $q > n$ で、また原点対称な体については $q > n + 2$ で不等式が成立しないことを示し、原点対称な体における未解決の範囲を $n < q \leq n+2$ へと絞り込んだ。
• 予想: 著者らは、残されたギャップ $n < q < n+2$ においても、原点対称な体に対して不等式が成立する可能性があるという 予想 1 を提示している。
• 無条件の場合: 本論文は、無条件な体に対して $q = n+1$ までの範囲を拡張し、決定的な正の回答を与えている。これは、Hu-Ivaki [12] に着想を得た、特異な重みを扱うための新しいレイリー公式の適応を通じて達成された。
• 応用: これらの結果は、指定されたクラスにおける双対曲率測度に関するミンコフスキー型の不等式および一意性の定理を直ちに導き出し、等号成立の場合に関する Sadovsky と Zhang [23] の問題 9 に答えるものである。

この研究は、$q$ の指数、体の対称性、および幾何学的構造（無条件か一般か）の間の繊細な相互作用を浮き彫りにしており、対称性が助けにはなるものの、$q > n$ のすべての範囲で不等式を維持するには不十分であることを示している。