[논문 리뷰] A family of functional inequalities: Lojasiewicz inequalities and displacement convex functions

Jérôme Bolte, Adrien Blanchet|arXiv (Cornell University)|2016. 12. 08.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 4

한 줄 요약

이 논문은 몽체-칸토로비치 거리로 장비된 확률 공간에서 이동 볼록 함수에 대해 기울기 유형과 기능 유형의 로자예비치 부등식 간의 동치성을 확립한다. λ-볼록 함수에 대해 기울기 로자예비치 부등식이 기울기 흐름의 수렴을 암시함을 증명하며, 오또-비라니의 로그 소볼레프 부등식과 탈라그랑드 부등식 간의 동치성을 특수화하여 회복한다. 또한 거듭제곱형 엔트로피에 대해 가비아르도-니레버그 부등식과 비선형 탈라그랑드 부등식 간의 새로운 동치성을 도입한다.

ABSTRACT

For displacement convex functionals in the probability space equip\-ped with the Monge-Kantorovich metric we prove the equivalence between the gradient and functional type Łoja\-sie\-wicz inequalities. \chg{We also discuss the more general case of $λ$-convex functions and we provide a general convergence theorem for the corresponding gradient dynamics. Specialising our results to the Boltzmann entropy, we recover Otto-Villani's theorem asserting the equivalence between logarithmic Sobolev and Talagrand's inequalities. The choice of power-type entropies shows a new equivalence between Gagliardo-Nirenberg inequality and a nonlinear Talagrand inequality. Some nonconvex results and other types of equivalences are discussed.

연구 동기 및 목표

• 확률 측도 공간에서 로자예비치 부등식과 기울기 흐름 간의 체계적 프레임워크를 구축하는 것.
• λ-볼록 함수에 대해 기울기 유형과 기능 유형의 로자예비치 부등식 간의 동치성을 증명하는 것.
• 기존의 기능 부등식 동치성(예: 로그 소볼레프 부등식과 탈라그랑드 부등식)을 일반 프레임워크의 특수한 경우로 회복하는 것.
• 거듭제곱형 엔트로피를 통해 가비아르도-니레버그 부등식과 비선형 탈라그랑드 부등식 간의 새로운 동치성을 규명하는 것.
• 최적 운반 설정에서 로자예비치 유형 조건 하에 기울기 역학의 일반 수렴 정리를 제공하는 것.

제안 방법

• 확률 측도 공간에서 두 종류의 로자예비치 부등식을 도입한다: 하나는 에너지 증가량을 몽체-칸토로비치 거리와 연결하는 기능 유형, 다른 하나는 에너지 값과 그 기울기 사이의 관계를 다루는 기울기 유형.
• 몽체-칸토로비치 거리에 따른 확률 공간의 리만 기하학적 구조를 이용하여 거리 미분, 하위도함수, 기울기 등을 엄밀하게 정의한다.
• 일반화된 지오데식을 따라 λ-볼록성을 적용하여 워셔스타인 공간에서 함수의 행동과 하위도함수의 성질를 특성화한다.
• 감소된 하위도함수와 최소 노름 하위기울기의 개념을 사용하여 거리 기울기와 기울기 흐름 역학을 정의하고 분석한다.
• 볼츠만 엔트로피와 거듭제곱형 엔트로피에 특수화하여 추상적인 로자예비치 부등식을 구체적인 기능 부등식으로 변환한다.
• 로자예비치 부등식 간의 동치성을 활용하여, 특히 다수의 평형점이 존재하는 경우에도 기울기 흐름의 수렴 속도를 도출한다.

실험 결과

연구 질문

• RQ1 이동 볼록 함수에 대해 기울기 유형과 기능 유형의 로자예비치 부등식이 언제 동치가 되는가?
• RQ2 로자예비치 부등식은 워셔스타인 공간에서 기울기 흐름의 수렴 속도를 어떻게 유도할 수 있는가?
• RQ3 이 프레임워크를 볼츠만 엔트로피에 적용했을 때 어떤 기능 부등식 동치성이 나타나는가?
• RQ4 거듭제곱형 엔트로피를 고려함으로써 새로운 기능 부등식 동치성을 유도할 수 있는가?
• RQ5 비볼록 설정에서 탈라그랑드 유형과 로그 소볼레프 유형 부등식 간의 역함수 관계는 어느 정도 성립하는가?

주요 결과

• 기울기 유형의 로자예비치 부등식은 기울기 흐름의 유한 길이 궤적을 암시하며, 최소화자로의 수렴을 보장한다.
• λ-볼록 함수에 대해 기울기 유형과 기능 유형의 로자예비치 부등식은 동치이며, 수렴 분석을 위한 통합된 프레임워크를 제공한다.
• 볼츠만 엔트로피에 특수화하면 오또-비라니의 정리가 복원되며, 로그 소볼레프 부등식과 탈라그랑드 부등식 간의 동치성이 입증된다.
• 거듭제곱형 엔트로피에 대해 이 프레임워크는 가비아르도-니레버그 부등식과 비선형 탈라그랑드 유형 부등식 간의 새로운 동치성을 도출한다.
• 볼츠만 엔트로피에 대해 탈라그랑드에서 로그 소볼레프 부등식으로의 역함수 관계는 유계된 L∞ 변동성을 가진 볼록 포텐셜에 대해 성립하며, 새로운 증명을 통해 입증된다.
• 다수의 최소화자가 존재하는 경우에도 로자예비치 유형 조건 하에 기울기 역학의 일반 수렴 정리가 확립된다.