[論文レビュー] The Lp Minkowski problem for polytopes for negative p

Guangxian Zhu|arXiv (Cornell University)|Feb 25, 2016

Point processes and geometric inequalities参考文献 31被引用数 3

ひとこと要約

この論文は、$p < 0$ の場合、特に臨界ケース $p = -n$（中心的アフィンMinkowski問題）を含めて、多面体における$L_p$ Minkowski問題の解の存在を確立する。支持関数における変分的アプローチと摂動論法を用いて、任意の正の重みを持つ離散測度（半球に集中していない単位法線上に定義され、部分空間への濃縮条件を満たす）に対して、その$L_p$表面面積測度と一致する多面体が存在することを証明する。

ABSTRACT

Existence of solutions to the Lp Minkowski problem is proved for all p less than 0. For the cirtical case of p=-n, which is known as the centro-affine Minkowski problem, this paper contains the main result in [71] as a special case.

研究の動機と目的

• 負の$p$の未解決領域、特に$p < 0$における多面体の$L_p$ Minkowski問題を解くこと。
• $p > 1$ における既知の存在結果を、$L_p$ Minkowski不等式が確立されておらず、問題がはるかに困難である$p < 0$ の場合に拡張すること。
• 中心的アフィン変換に対して不変であり、アフィン等周問題理論の中心的役割を果たす、臨界ケース$p = -n$（中心的アフィンMinkowski問題）を扱うこと。
• 正の重みを持つ単位法線上に定義された離散測度に対して、その測度が$L_p$表面面積測度として実現される多面体の存在を保証する十分条件を確立すること。
• 法線が任意の半球に集中していないこと、および任意の部分空間との交わりが閉半球内にあることを条件として、解の存在を保証すること。

提案手法

• 多面体の$L_p$ Minkowski問題を、$L_p$表面面積測度に関連する汎関数$\Phi_P(\xi)$を最小化する変分問題として定式化する。
• 外法線$u_k$を持つ多面体$P$を$P_\delta$に摂動する技術を適用し、$\delta$だけ面を内側に平行移動させて新たな多面体$P_\delta$を構成する。
• 体積を1に正規化するために、スケーリング係数$\lambda_\delta = V(P_\delta)^{-1/n}$を用いることで、原点が重心となるようにする。
• 摂動下での汎関数$\Phi_{\lambda P_\delta}(\xi(\lambda P_\delta))$の振る舞いを分析し、特定の条件下でそれが厳密に減少することを示す。
• 背理法を用いる：ある$P_0$に対して$ \Phi_P(o) < \Phi_{P_0}(o)$を満たす最小化子$P$が存在すると仮定し、それより小さい汎関数値を持つ摂動多面体$P_0$を構成することで、最小性に矛盾を導く。
• 正の$t$に対して$t^p$の凸性（$p < 0$）と、$\delta \to 0^+$におけるスケーリング係数$\lambda_\delta$の漸近的挙動を用いて、$B(\delta) > 0$を示し、これにより汎関数が減少することを示す。

実験結果

リサーチクエスチョン

• RQ1 $p < 0$ の場合、特に臨界ケース$p = -n$において、多面体の$L_p$ Minkowski問題に解が存在するか？
• RQ2 $p < 0$ の場合、球面上の離散測度$\sum \alpha_k \delta_{u_k}$に対して、法線の幾何的制約が適切に満たされていれば、その測度を$L_p$表面面積測度として実現する多面体が保証されるか？
• RQ3 外法線$u_k$の配置にどのような条件が課されれば、$p < 0$ における$L_p$ Minkowski問題の解の存在が保証されるか？
• RQ4 多面体の小さな摂動に対して、汎関数$\Phi_P(\xi)$はどのように振る舞い、それが最小性および存在の証明にどのように利用できるか？
• RQ5 法線が一般位置にあり、任意の半球に集中していない場合、中心的アフィンMinkowski問題は離散測度に対して多面体解をもつのか？

主な発見

• すべての$p < 0$に対して、多面体の$L_p$ Minkowski問題は解をもつ。これは、既知の$p > 1$の結果を負の範囲に拡張するものである。
• 特に$p = -n$の場合、結果は中心的アフィンMinkowski問題を特別な場合として含み、同じ条件下で解の存在が確認される。
• 単位法線$u_1, \dots, u_N$が任意の開半球に含まれず、任意の部分空間との交わりが閉半球内にある場合に解が存在する。
• 解の存在は、支持関数の摂動と体積正規化を用いた背理法により証明され、任意の最小化子が必要な測度条件を満たすことが示される。
• $p < 0$ の場合、特定の摂動に対して汎関数$\Phi_P(\xi)$は厳密に減少し、これは最小化子の仮定に反するため、解が存在しなければならないことを示唆する。
• 証明は、$t > 0$ および $p < 0$ に対して$t^p$の凸性と、$\delta \to 0^+$における体積正規化係数$\lambda_\delta$の漸近展開に依存しており、これにより摂動が厳密に小さい汎関数値を与えることが保証される。