[论文解读] 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-Riesz容量的Brunn-Minkowski不等式，并证明了在分数阶设定下，1/2-Laplacian容量函数的水平集凸性。通过使用Caffarelli-Silvestre扩展以及高维调和函数的性质，作者证明了在紧致凸集上，1/2-Laplacian Dirichlet问题的解具有水平集凸性，且1-Riesz容量满足指数为$1/(N-1)$的幂凹Brunn-Minkowski不等式。

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-Riesz容量的分数阶经典Brunn-Minkowski不等式的类比。
• 证明在凸体上，1/2-Laplacian Dirichlet问题的解具有水平集凸性。
• 将关于2-容量和2-Laplacian的已知结果推广到分数阶情形，其中$s = 1/2$。
• 为分数阶容量背景下等周型不等式提供基础。
• 推测一般$\alpha$-Riesz容量的Brunn-Minkowski不等式成立，并且在固定平均宽度或周长约束下，球是$I_\alpha(K)$的最小化器。

提出的方法

• 利用Caffarelli-Silvestre扩展，将1/2-Laplacian与高一维中的经典Laplacian联系起来。
• 将容量函数$u$的调和扩展至$\mathbb{R}^{N+1}_+$，其在该区域满足Laplace方程。
• 利用边界极限性质$\partial_t U(x,0) = (-\Delta)^{1/2}u(x)$，将分数阶Laplacian与法向导数联系起来。
• 通过$K_\varepsilon$在Hausdorff距离下收敛于$K$，确保容量函数的一致收敛性。
• 将$\mathbb{R}^{N+1}$中调和函数的超水平集的Brunn-Minkowski不等式应用于扩展函数$V_\lambda$。
• 通过扩展解的凸组合构造比较函数$\widetilde{V}_\lambda$，以推导超水平集之间的包含关系。

实验结果

研究问题

• RQ1 1-Riesz容量是否对凸体满足Brunn-Minkowski型不等式？
• RQ2 在凸体上，1/2-Laplacian Dirichlet问题的解是否具有水平集凸性？
• RQ3 经典2-容量的Brunn-Minkowski不等式能否推广到分数阶情形，其中$s = 1/2$？
• RQ4 在固定平均宽度或周长约束下，球是否是1-Riesz容量的唯一最小化器？
• RQ5 Brunn-Minkowski不等式是否可推广至一般$\alpha$-Riesz容量，且指数为$1/(N - \alpha)$？

主要发现

• 1-Riesz容量满足Brunn-Minkowski不等式：对于任意$\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-Laplacian问题的解$u$具有水平集凸性：对所有$c \in \mathbb{R}$，集合$\{u > c\}$为凸集。
• 1/2-Laplacian的容量函数$u$是$\mathbb{R}^{N+1}_+$中调和函数的限制，其在原空间中的超水平集与扩展空间中超水平集的凸组合相关。
• 当$K_\varepsilon \to K$在Hausdorff距离下收敛时，逼近容量函数$u_\varepsilon$一致收敛于$u$，这确保了水平集凸性和容量不等式的稳定性。
• 推论3.2表明，在固定平均宽度$c$的凸体中，1-Riesz容量$I_1(K)$在测度为$c$的球处取得最小值。
• 对于一般$\alpha \in (0,N)$，推测球是$I_\alpha(K)$在固定周长或平均宽度约束下的唯一最小化器。