[논문 리뷰] Brunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian

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

Point processes and geometric inequalities참고 문헌 11인용 수 6

한 줄 요약

이 논문은 1-리에즈 용적에 대한 브룬-민코프스키 부등식을 수립하고 분수적 설정에서 1/2라플라스 연산자 용적 함수의 수준집합 볼록성을 증명한다. 카파레리-실베스트레 확장과 고차원 조화 함수의 성질을 이용하여, 컴팩트 볼록 집합에서 1/2라플라스 연산자 딜리클레 문제의 해가 수준집합 볼록임을 보이고, 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라플라스 연산자 딜리클레 문제의 해가 수준집합 볼록함을 증명하는 것.
• 기존의 2-용적과 2-라플라스 연산자 결과를 $s = 1/2$인 분수적 경우로 확장하는 것.
• 분수적 용적의 등면적 부등식에 기초를 마련하는 것.
• 일반적인 $\alpha$-리에즈 용적에 대한 브룬-민코프스키 부등식의 타당성을 추측하고, 평균 너비 또는 둘레가 고정된 조건 하에서 $I_\alpha(K)$의 최소화자로서 구의 최소성에 대해 제기하는 것.

제안 방법

• 1/2라플라스 연산자를 한 차원 높은 차원에서의 고전적 라플라스 연산자와 연결하기 위해 카파레리-실베스트레 확장을 활용한다.
• 용적 함수 $u$의 조화 확장을 $\mathbb{R}^{N+1}_+$에 정의하여, 여기서 라플라스 방정식을 만족함을 보인다.
• 경계 극한 성질 $\partial_t U(x,0) = (-\Delta)^{1/2}u(x)$를 이용해 분수적 라플라스 연산자와 법선 도함수를 연결한다.
• 하우스도르프 거리에서 수렴하는 근사 수열 $K_\varepsilon$가 $K$로 수렴함을 보장하기 위해 용적 함수의 균일 수렴성을 확보한다.
• 확장된 함수 $V_\lambda$에 대해 $\mathbb{R}^{N+1}$에서 조화 함수의 초수준집합에 대한 브룬-민코프스키 부등식을 적용한다.
• 초수준집합 간 포함 관계를 유도하기 위해 확장된 해들의 볼록 조합을 통한 비교 함수 $\widetilde{V}_\lambda$를 구성한다.

실험 결과

연구 질문

• RQ1 1-리에즈 용적이 볼록체에 대해 브룬-민코프스키 유사 부등식을 만족하는가?
• RQ2 볼록체에서 1/2라플라스 연산자 딜리클레 문제의 해가 수준집합 볼록한가?
• RQ3 2-용적에 대한 고전적 브룬-민코프스키 부등식은 $s = 1/2$인 분수적 경우로 확장 가능한가?
• RQ4 고정된 평균 너비 또는 둘레 조건 하에서 구가 1-리에즈 용적의 유일한 최소화자인가?
• RQ5 지수 $1/(N - \alpha)$를 가진 일반적인 $\alpha$-리에즈 용적에 대해 브룬-민코프스키 부등식이 확장 가능한가?

주요 결과

• 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)}$ 는 임의의 $\lambda \in [0,1]$ 및 볼록체 $K_0, K_1$에 대해 성립한다.
• 볼록체 $K$에서 1/2라플라스 연산자 문제의 해 $u$는 수준집합 볼록하다: 모든 $c \in \mathbb{R}$에 대해 $\{u > c\}$ 는 볼록이다.
• 1/2라플라스 연산자 용적 함수 $u$는 $\mathbb{R}^{N+1}_+$에서 조화 함수의 제한이며, 원래 공간에서의 초수준집합은 확장된 공간에서의 초수준집합의 볼록 조합과 관련이 있다.
• 하우스도르프 거리에서 $K_\varepsilon \to K$로 수렴함에 따라 근사 용적 함수 $u_\varepsilon$가 $u$로 수렴하는 균일 수렴성은 수준집합 볼록성과 용적 부등식의 안정성을 보장한다.
• 코로나리 3.2는 평균 너비 $c$가 고정된 볼록체들 중에서 1-리에즈 용적 $I_1(K)$가 정확히 측도 $c$인 구에서 최소화됨을 보여준다.
• 일반적인 $\alpha \in (0,N)$에 대해 $I_\alpha(K)$의 최소화자로서 구가 유일한 최소화자임이 추측된다.