[논문 리뷰] Heat Flows on Time-dependent Metric Measure Spaces and Super-Ricci Flows

Eva Kopfer, Karl‐Theodor Sturm|arXiv (Cornell University)|2016. 11. 08.

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

한 줄 요약

이 논문은 시간에 따라 변화하는 측도를 갖는 공간에서 열 흐름의 존재성, 유일성 및 정칙성을 확립하고, 초리치 흐름을 기하학적, 분석적, 확률적 성질의 동치 조건으로 특성화한다. 주요 기여는 볼츠만 엔트로피의 동적 볼록성, 이중 열 흐름에 의한 워샤어스타인 거리의 단조성, 열 흐름에 대한 기울기 추정, 그리고 시간 도함수를 포함하는 보처 유형 부등식 간의 동치성을 증명함으로써, 변화하는 기하학에서 합성 곡률 경계와 포물선형 흐름을 통합하는 것이다.

ABSTRACT

We study the heat equation on time-dependent metric measure spaces (as well as the dual and the adjoint heat equation) and prove existence, uniqueness and regularity. Of particular interest are properties which characterize the underlying space as a super Ricci flow as previously introduced by the second author. Our main result yields the equivalence of (i) dynamic convexity of the Boltzmann entropy on the (time-dependent) $L^2$-Wasserstein space; (ii) monotonicity of $L^2$-Kantorovich-Wasserstein distances under the dual heat flow acting on probability measures (backward in time); (iii) gradient estimates for the heat flow acting on functions (forward in time); (iv) a Bochner inequality involving the time-derivative of the metric. Moreover, we characterize the heat flow on functions as the unique forward EVI-flow for the (time-dependent) energy in $L^2$-Hilbert space and the dual heat flow on probability measures as the unique backward EVI-flow for the (time-dependent) Boltzmann entropy in $L^2$-Wasserstein space.

연구 동기 및 목표

• 시간에 따라 변화하는 측도를 갖는 공간에서 열 흐름을 정의하고 엄밀히 연구함으로써, 정적 분석을 변화하는 기하학적 구조로 확장한다.
• 합성 리치 곡률 경계를 시간에 따라 변화하는 공간으로 일반화함으로써, 초리치 흐름을 기하학적, 분석적, 확률적 성질의 동치 조건으로 특성화한다.
• 시간에 따라 변화하는 에너지에 대한 유일한 전진 EVI-흐름으로서 열 흐름을, 그리고 볼츠만 엔트로피에 대한 유일한 역방향 EVI-흐름으로서 이중 열 흐름을 확립한다.
• 시간에 따라 변화하는 설정에서 동적 볼록성, 운반 추정, 기울기 추정, 보처 부등식 간의 동치성을 증명함으로써 곡률 경계를 포물선형 PDE와 통합한다.

제안 방법

• 시간에 따라 변화하는 딜 레이크 형식을 통해 열 방정식을 구성하고, 에너지 추정과 커mutator 보조정리를 사용하여 시간 도함수를 제어한다.
• 이중 열 방정식은 확률 측도에서 연구되며, 그 $L^2$-워샤어스타인 거리에서의 단조성은 볼츠만 엔트로피의 동적 볼록성과 연결된다.
• 이중성과 수축 추정을 통해 볼츠만 엔트로피의 동적 볼록성, 열 흐름에 대한 기울기 추정, 시간에 따라 변화하는 보처 부등식 간의 동치성을 증명한다.
• 시간에 따라 변화하는 에너지에 대한 유일한 전진 EVI-흐름으로서 열 흐름을, 그리고 볼츠만 엔트로피에 대한 유일한 역방향 EVI-흐름으로서 이중 흐름을 $L^2$-워샤어스타인 공간에서 특성화한다.
• 시간에 따라 변화하는 설정에서 EVI 조건의 동적 형태를 도입하여, 제곱 거리의 $\partial_t^-$-도함수를 통해 시간 도함수의 미분을 곡률 경계와 연결한다.
• 증명은 시간에 따라 변화하는 거리 함수의 로그-립시츠 연속성과 기하학적 비교 부등식에서 $a \to 0$으로의 극한을 이용한 추론에 기반한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하는 측도를 갖는 공간에서 열 흐름의 존재성과 정칙성을 보장하는 조건은 무엇인가?
• RQ2 시간에 따라 변화하는 설정에서 운반, 기울기, 엔트로피 성질을 통해 초리치 흐름을 동치로 특성화할 수 있는가?
• RQ3 변화하는 공간에서 보처 부등식에 있어서 시간 도함수의 미분과 곡률 경계 사이의 정확한 관계는 무엇인가?
• RQ4 시간에 따라 변화하는 공간에서 열 흐름이 에너지와 엔트로피에 대한 유일한 EVI-흐름으로 특성화될 수 있는가?
• RQ5 운반 추정, 기울기 추정, 볼츠만 엔트로피의 동적 볼록성은 변화하는 기하학에서 얼마나 동치성을 유지하는가?

주요 결과

• 시간에 따라 변화하는 측도를 갖는 공간에서 열 흐름은 미약한 적분 가능성 조건 하에 존재하며, 유일하고 정칙성 추정을 만족한다.
• 볼츠만 엔트로피는 워샤어스타인 공간의 지오데식선을 따라 동적으로 볼록일 조건은 시간에 따라 변화하는 측도가 특정한 보처 유형 부등식(시간 도함수 포함)을 만족할 때이다.
• 이중 열 흐름에 의한 $L^2$-워샤어스타인 거리의 단조성은 볼츠만 엔트로피의 동적 볼록성과 전진 열 흐름에 대한 기울기 추정과 동치이다.
• 전진 열 흐름은 시간에 따라 변화하는 에너지에 대한 유일한 전진 EVI-흐름이며, 이중 흐름은 $L^2$-워샤어스타인 공간에서 볼츠만 엔트로피에 대한 유일한 역방향 EVI-흐름이다.
• 시간에 따라 변화하는 설정에서의 보처 부등식은 시간 도함수를 포함하며, 제곱 거리의 $\partial_t^-$-도함수의 하한을 통해 초리치 흐름을 특성화한다.
• 운반 추정, 기울기 추정, 동적 볼록성 간의 동치성은 $N=\infty$의 경우에도 성립하며, 고전 결과를 변화하는 공간으로 일반화한다.