[논문 리뷰] Second order differentiation formula on compact $RCD^*(K,N)$ spaces

Nicola Gigli, Luca Tamanini|arXiv (Cornell University)|2017. 01. 14.

Geometric Analysis and Curvature Flows참고 문헌 32인용 수 10

한 줄 요약

이 논문은 유한한 차원 N < ∞인 컴팩트한 RCD*(K,N) 공간에서, W₂-지오데식 μₜ에 沿해 함수 f ∈ H²,²(X)의 적분의 두 번째 도함수를 유도한다. 그 결과, 두 번째 도함수는 ∫ Hess(f)(∇φ, ∇φ) dμ₀로 주어지며, 여기서 φ는 캄토로비치 포텐셜이다. 증명은 엔트로픽 인터폴레이션을 통해 W₂-지오데식을 근사하고, 밀도, 쇼팅거 포텐셜, 그리고 그들의 헤시안에 대한 균일한 추정을 도출함으로써 이루어지며, 기존 결과를 비가속도 메트릭 측도 공간으로 확장한다.

ABSTRACT

Aim of this paper is to prove the second order differentiation formula along geodesics in compact $RCD^*(K,N)$ spaces with $N

연구 동기 및 목표

• 유한한 N < ∞인 컴팩트한 RCD*(K,N) 공간에서 지오데식에 沿해 두 번째 도함수 공식을 수립하는 것.
• W₂-지오데식에 따라 H²,² 함수의 적분의 두 번째 도함수를 특성화함으로써, 첫 번째 도함수 공식을 두 번째 도함수로 확장하는 것.
• W₂-지오데식을 근사하기 위해 엔트로픽 인터폴레이션에 대한 균일한 추정—밀도, 포텐셜, 그리고 그들의 헤시안에 대해—을 개발하는 것.
• 비점성 해가 이 비가속도 설정에서 퇴적 점성 방법을 통해 얻어질 수 있음을 보이는 것.
• RCD 공간에서 분할 정리 및 '체적 콘의 존재는 메트릭 콘의 존재를 암시한다'는 정리와 같은 기하학적 정리의 증명을 단순화하기 위한 기초를 마련하는 것.

제안 방법

• 작은 산란을 가진 쇼팅거 문제의 해인 엔트로픽 인터폴레이션을 사용하여 W₂-지오데식을 두 번째 차수까지 근사하는 것.
• 새로운 리-요우 유형 부등식을 통해 엔트로픽 인터폴레이션의 밀도 프로파일이 유계임을 도출하는 것.
• 햄일토니안 유형의 기울기 추정을 사용하여 쇼팅거 포텐셜의 균일한 리프시츠 연속성을 확립하는 것.
• 곡률 추정과 RCD*(K,N) 조건을 이용하여 쇼팅거 포텐셜의 헤시안에 대한 균일한 가중 L² 제어를 확보하는 것.
• 엔트로픽 인터폴레이션에 따라 테스트 함수의 적분의 두 번째 도함수에 대해 극한을 취하여 두 번째 도함수 공식을 복원하는 것.
• 열 흐름을 통한 정규화 절차를 사용하여 결과를 테스트 함수에서 일반적인 H²,² 함수로 확장하는 것.

실험 결과

연구 질문

• RQ1 유한한 N < ∞인 컴팩트한 RCD*(K,N) 공간에서 W₂-지오데식에 대해 두 번째 도함수 공식을 수립할 수 있는가?
• RQ2 엔트로픽 인터폴레이션은 비가속도 메트릭 측도 공간에서 W₂-지오데식의 유효한 두 번째 차수 근사 체계를 제공하는가?
• RQ3 엔트로픽 인터폴레이션에 따라 적분의 두 번째 도함수에 대해 극한을 취하기 위해 필요한 균일한 추정—밀도, 포텐셜, 그리고 그들의 헤시안에 대해—은 무엇인가?
• RQ4 RCD 설정에서, 스무스 케이스와 마찬가지로 비점성 해가 퇴적 점성 방법을 통해 복원될 수 있는가?
• RQ5 두 번째 도함수 공식은 RCD 공간에서 분할 정리나 '체적 콘의 존재는 메트릭 콘의 존재를 암시한다'는 정리와 같은 핵심 기하학적 정리의 증명을 단순화하는 데 기여하는가?

주요 결과

• W₂-지오데식 μₜ에 따라 t ↦ ∫ f dμₜ의 두 번째 도함수는 f ∈ H²,²(X)에 대해 ∫ Hess(f)(∇φ, ∇φ) dμ₀로 주어지며, 여기서 φ는 μ₀에서 μ₁로의 캄토로비치 포텐셜이다.
• f ∈ H²,²(X)에 대해 함수 t ↦ ∫ f dμₜ는 [0,1]에서 C²이며, 적분의 진화에 대한 강한 정칙성을 보여준다.
• 엔트로픽 인터폴레이션은 밀도, 포텐셜, 포텐셜의 헤시안에 대한 균일한 제어를 통해 W₂-지오데식의 두 번째 차수 근사로 기능한다.
• 쇼팅거 포텐셜의 헤시안은 균일한 가중 L² 유계를 가지며, 이는 두 번째 도함수에 대해 극한을 취할 때 핵심적이다.
• 비점성 해는 정규화된 방정식의 해들의 극한으로 얻어지며, 이는 RCD 설정에서 퇴적 점성 방법의 타당성을 확인한다.
• 두 번째 도함수 공식은 RCD 공간에서 분할 정리 및 '체적 콘의 존재는 메트릭 콘의 존재를 암시한다'는 정리와 같은 기하학적 결과의 증명을 단순화하는 데 기여한다.