Diameter estimate for planar $L_p$ dual Minkowski problem

技術要約：平面 $L_p$ デュアル・ミンコフスキー問題における直径の推定

問題設定
本論文は、平面における $L_p$ デュアル・ミンコフスキー問題を扱っている。これは、単位円 $S^1$ 上の与えられた測度 $\mu$ が、原点を含む凸体 $K$ の $L_p$ デュアル曲率測度 $\tilde{C}_{p,q}(K, \cdot)$ として現れるかどうかを決定しようとする、凸幾何学における中心的な課題である。この問題は、以下のモノー・アンペア型の方程式によって支配される：
$$h_K^{1-p} (h_K^2 + |\nabla h_K|^2)^{\frac{q-n}{2}} \det(\nabla^2 h_K + h_K I) = f$$
ここで、$h_K$ は支持関数であり、$f$ は所与の測度の密度、$n=2$ である。

直径の推定（$\|h_K\|_{L^\infty}$ の境界）は、$p > q$ の場合や、$p \leq q$ の特定のケース（例：$p=0, n=2,3$）では既知であるが、$n=2$ の平面設定において $0 < p < 1$ かつ $q \geq 2$ のケースは未解決のままであった。著者らは、標準的な最大値原理による議論が失敗し、解が非有界または退化する可能性がある状況である、$p < q$ の領域を具体的に対象としている。

手法
著者らは、ジョン楕円（$K$ に含まれる最大体積の楕円）の幾何学的解析と組み合わせた背理法を用いている。核心となる戦略は、凸体 $K$ の離心率に関する一様な境界を確立することである。

1. 補間推定（補題 2.1）： 著者らは、ジョン楕円 $E$ の主半径（$r_1, r_2$）を用いて、全測量 $\tilde{C}_{p,q}(K, S^1)$ の新たな上限および下限を導出している。具体的には、$p \in [0, 1]$ かつ $q \geq 2$ のとき、以下を示している：
   $$c_1 (r_1 r_2)^{1-p} (r_1^2 + r_2^2)^{\frac{p+q-2}{2}} \leq \tilde{C}_{p,q}(K, S^1) \leq c_2 (r_1 r_2)^{1-p} (r_1^2 + r_2^2)^{\frac{p+q-2}{2}}$$
   この推定は、ジョン楕円の面積と境界長の間の補間となっている。

2. 離心率による背理法： 直径が非有界であると仮定し、長軸と短軸の比率（$r_1/r_2$）が無限大に発散する凸体の列を構成する。著者らは、細長い図形の「先端」に対する原点の位置に関して、2つの幾何学的構成を分析している：

   • ケース 1： 原点が先端から遠い場合（距離 $d \geq c_0 r_1$）。
   • ケース 2： 原点が先端の近くにある場合（距離 $d < r_1/M$）。

   どちらのケースにおいても、密度の積分（これは有界である）が、全測量の推定から導かれる幾何学的項の成長率と一致できないことを示している。これにより矛盾が生じ、したがって直径は有界でなければならないことが証明される。

3. 一意性と正値性（セクション 4）： 特定のケース $q=2$（$L_p$ ミンコフスキー問題）において、著者らは確立された直径の推定を用いて、一意性と正値性を証明している。彼らは、定数解 $h \equiv 1$ の周りでの線形化を用い、Schauder 推定を適用している。密度 $f$ が $C^\alpha$ ノルムにおいて定数関数に十分に近ければ、線形化演算子は可逆であること（$2-p$ が $S^1$ 上の Laplace–Beltrami 作用素の固有値ではないため）を示し、逆関数定理を通じて一意性を保証している。

主要な貢献と結果

• 定理 1.1（直径の推定）： $p \in (0, 1), q \geq 2$ であり、有界な正の密度 $f$ ($1/\Lambda \leq f \leq \Lambda$) を持つとき、平面 $L_p$ デュアル・ミンコフスキー問題を解く任意の凸体 $K$ は、一様な直径境界 $\|h_K\|_{L^\infty} \leq C(p, q, \Lambda)$ を満たす。

  • 意義： これは、従来のメソッドが失敗していた超臨界範囲 $0 < p < 1$ における平面デュアル設定での直径推定の未解決問題を解決した。

• 定理 1.2（一意性と正値性）： $p \in (0, 1)$ かつ $q=2$ のとき、密度 $f \in C^\alpha(S^1)$ が定数関数 1 に十分に近く（具体的には $\|f - 1\|_{C^\alpha} \leq \varepsilon_0$）、解が一意的である。さらに、その解は正であり、$C^{2,\alpha}(S^1)$ に属する。

  • 意義： これは、一意性が一般に成立しない範囲（$p=0$ や離散測量の反例が示されている範囲）である $0 < p < 1$ において、非対称なデータに対する一意性の結果を提供する。また、これは $0 < p < 2$ の劣臨界範囲において、正の $f$ に対してさえ必ずしも保証されない正値性の問題にも対処している。

意義と範囲
本論文は、重要な要素は**全測量の推定（補題 2.1）であり、これが $0 < p < 1$ の $L_p$ ケースに対する新しい証明手法を提供していると主張している。著者らは、彼らの結果が平面の場合（$n=2$）**に特有であり、本研究の範囲内では高次元（$n \geq 3$）には拡張されないことを明示している。

著者らは、正値性の結果の一般性について控えめな姿勢を崩しておらず、滑らかな正の $f$ に対しても解の正の下限は一般には得られないため、「定数に十分に近い」という条件が必要であることを述べている。また、$f \equiv 1$ の場合の $p < q \leq p+4$ における解の一意性は、一般的なケースでは依然として未解決の問題であるとし、彼らの結果は摂動的な領域（定数関数の近傍）に限定されていることを認めている。

本研究は、Chou および Wang、Chen および Li などの先行研究に基づき、それらを統合したものであり、特に平面設定における $0 < p < 1$ かつ $q \geq 2$ の文献における空白を埋めるものである。