[論文レビュー] Brunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian

Matteo Novaga, Berardo Ruffini|arXiv (Cornell University)|Jan 17, 2014

Point processes and geometric inequalities参考文献 11被引用数 6

ひとこと要約

本稿では、1-リーマン容量に対するブルン＝ミンコフスキー不等式を確立し、分数的設定における1/2ラプラシアン容量関数の等高線凸性を証明する。Caffarelli-Silvestre拡張および高次元における調和関数の性質を用いて、コンパクトな凸集合上での1/2ラプラシアンDirichlet問題の解が等高線凸であり、1-リーマン容量が指数 $1/(N-1)$ を持つべきべき凹型ブルン＝ミンコフスキー不等式を満たすことを示す。

ABSTRACT

We prove that that the 1-Riesz capacity satisfi es a Brunn-Minkowski inequality, and that the capacitary function of the 1/2-Laplacian is level set convex.

研究の動機と目的

• 1-リーマン容量に対する古典的ブルン＝ミンコフスキー不等式の分数的類似を確立すること。
• 凸体上での1/2ラプラシアンDirichlet問題の解が等高線凸であることの証明。
• 2-容量および2-ラプラシアンに関する既知の結果を $s = 1/2$ の分数的状況に拡張すること。
• 分数的容量の文脈における等周型不等式の基礎を提供すること。
• $\alpha$-リーマン容量に対するブルン＝ミンコフスキー不等式の妥当性を予想し、平均幅または周囲長が固定された場合の $I_\alpha(K)$ の球の最小化性を提示すること。

提案手法

• 1/2ラプラシアンを1つ高い次元における古典的ラプラシアンに関連付けるために、Caffarelli-Silvestre拡張を用いる。
• 容量関数 $u$ の調和拡張を $\mathbb{R}^{N+1}_+$ にとり、それがラプラス方程式を満たすことを用いる。
• 境界極限性質 $\partial_t U(x,0) = (-\Delta)^{1/2}u(x)$ を用いて、分数的ラプラシアンと法線微分を結びつける。
• Hausdorff距離における近似列 $K_\varepsilon$ が $K$ に収束することを用いて、容量関数の一様収束を保証する。
• $\mathbb{R}^{N+1}$ における調和関数の超レベル集合に対するブルン＝ミンコフスキー不等式を、拡張関数 $V_\lambda$ に適用する。
• 拡張解の超レベル集合の凸結合を用いて比較関数 $\widetilde{V}_\lambda$ を構成し、超レベル集合間の包含関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 1-リーマン容量は、凸体に対してブルン＝ミンコフスキー型不等式を満たすか？
• RQ2 凸体上での1/2ラプラシアンDirichlet問題の解は、等高線凸か？
• RQ3 2-容量に対する古典的ブルン＝ミンコフスキー不等式は、$s = 1/2$ の分数的状況に拡張可能か？
• RQ4 平均幅または周囲長が固定された場合、球は1-リーマン容量の唯一の最小化子か？
• RQ5 一般の $\alpha$-リーマン容量に対して、ブルン＝ミンコフスキー不等式は指数 $1/(N - \alpha)$ を持つ形で拡張可能か？

主な発見

• 1-リーマン容量はブルン＝ミンコフスキー不等式を満たす：任意の $\lambda \in [0,1]$ および凸体 $K_0, K_1$ に対して $\text{Cap}_1(\lambda K_1 + (1-\lambda)K_0)^{1/(N-1)} \geq \lambda \text{Cap}_1(K_1)^{1/(N-1)} + (1-\lambda)\text{Cap}_1(K_0)^{1/(N-1)}$ が成り立つ。
• 凸体 $K$ 上での1/2ラプラシアン問題の解 $u$ は等高線凸である：任意の $c \in \mathbb{R}$ に対して $\{u > c\}$ は凸である。
• 1/2ラプラシアンの容量関数 $u$ は $\mathbb{R}^{N+1}_+$ における調和関数の制限であり、元の空間におけるその超レベル集合は、拡張空間における超レベル集合の凸結合に関連している。
• 近似容量関数 $u_\varepsilon$ が $K_\varepsilon \to K$ としてHausdorff距離で収束するときの一様収束により、等高線凸性および容量不等式の安定性が保証される。
• 系3.2は、平均幅 $c$ が固定された凸体において、1-リーマン容量 $I_1(K)$ が測度 $c$ の球において最小化されることを示す。
• 一般の $\alpha \in (0,N)$ に対して、球が $I_\alpha(K)$ の固定周囲長または平均幅制約下での唯一の最小化子であると予想される。