2025-11-18T23:22:13.929831

Metric viscosity solutions and distance-like functions on the Wasserstein space

Jiang, Cui

Viscosity solutions to the eikonal equation |Du|g = 1, known to be exactly distance-like functions, on a non-compact complete Riemannian manifold (M,g) are crucial for understanding the underlying geometric and topological properties. In this work, we explore metric viscosity solutions, distance-like functions and their relationship on a metric space, especially on the Wasserstein space Pp(X) where X is a complete, separable, locally compact and non-compact geodesic space. Meanwhile, we provide two distinct ways to construct (strong) metric viscosity solutions on Pp(X) and study their properties.

academic

Wasserstein 공간에서의 메트릭 점성해와 거리유사함수

기본정보

논문ID: 2311.10618
제목: Metric viscosity solutions and distance-like functions on the Wasserstein space
저자: Huajian Jiang, Xiaojun Cui
분류: math.AP (편미분방정식 해석)
발표일시: 2025년 1월 3일 (arXiv v4)
논문링크: https://arxiv.org/abs/2311.10618

초록

본 논문은 Wasserstein 공간에서 메트릭 점성해, 거리유사함수 및 이들 간의 상호관계를 연구한다. 비컴팩트 완비 리만 다양체에서 eikonal 방정식 |∇u|_g = 1의 점성해는 정확히 거리유사함수이며, 이는 기하학적 및 위상적 성질을 이해하는 데 중요하다. 저자들은 이 이론을 일반 메트릭 공간, 특히 Wasserstein 공간 P_p(X)(X는 완비, 가분, 국소컴팩트이며 비컴팩트인 측지공간)로 일반화하고, 강 메트릭 점성해를 구성하는 두 가지 방법을 제시한다.

연구 배경 및 동기

1. 문제 배경

고전 미분기하학에서 eikonal 방정식 |∇u|_g = 1의 점성해와 거리유사함수(distance-like functions) 사이에는 깊은 연관성이 존재한다. 거리유사함수는 무한원점까지의 거리를 나타내며, 그 1-Lipschitz 성질이 eikonal 방정식의 점성 부해(subsolution)가 되게 하고, 음의 기울기 곡선의 존재성이 점성 상해(supersolution)가 되게 한다.

2. 연구 과제

고전 점성해 이론은 미분 구조에 크게 의존하여 일반 메트릭 공간으로의 직접적 일반화가 어렵다. 다양한 메트릭 점성해의 정의가 존재하지만, 이들 간의 관계와 거리유사함수와의 연결성은 여전히 불명확하다.

3. Wasserstein 공간의 중요성

Wasserstein 공간은 최적수송 이론의 기초이며, 기하학적 추론, 생성적 대립 신경망, 군집 분석, 평균장 게임 등 다양한 분야에 광범위하게 응용된다. Wasserstein 공간이 국소컴팩트성을 결여하고 있음에도 불구하고, 그 풍부한 기하학적 성질로 인해 이 공간에서의 메트릭 점성해 연구는 중요한 의미를 갖는다.

4. 연구 동기

본 논문의 목표는:

메트릭 공간에서 메트릭 점성해와 거리유사함수의 동치성 확립
Wasserstein 공간에서 강 메트릭 점성해 구성
이러한 해의 기하학적 성질 및 존재성 연구

핵심 기여

메트릭 점성해와 거리유사함수의 동치성 확립: 완비 무한 길이 공간에서 메트릭 점성해가 정확히 dl_G-함수임을 증명 (정리 1.5)
ε-음의 기울기 곡선의 존재성 제시: 모든 메트릭 점성해가 전역 ε-음의 기울기 곡선을 가짐을 증명 (정리 1.7)
Wasserstein 공간에서의 강 메트릭 점성해 구성:
- (CS) 조건을 만족하는 닫힌집합 수열을 통한 dl_C-함수 구성 (정리 1.12)
- 환경공간의 메트릭 점성해로부터 Wasserstein 공간 위의 해 구성 (정리 1.13)
(CS) 조건 도입: Wasserstein 공간에서 강 메트릭 점성해 구성의 핵심 기술 조건
반례 및 안정성 분석 제시: dl_C-함수가 항상 메트릭 점성해가 아님을 보이고 해의 안정성 분석

방법론 상세 설명

문제 정의

메트릭 공간에서 eikonal 방정식 |∇u|(y) = 1의 메트릭 점성해를 연구하며, 여기서 |∇u|(y) := lim sup_{x→y} |u(x)-u(y)|/d(x,y)는 일반화된 기울기 노름이다.

핵심 정의

메트릭 점성해 (정의 1.1): 길이공간 (Y,d)의 열린집합 Ω에서, 국소 Lipschitz 함수 u가 메트릭 점성해라 함은 모든 y∈Ω에 대해 |∂u|(y) = 1을 만족할 때이며, 여기서 $|∂u|(y) := \limsup_{x∈Ω,x→y} \frac{(u(y)-u(x))^+}{d(y,x)}$

거리유사함수:

dl_C-함수 (정의 1.2): 닫힌집합 수열 {H_n}에 대해, 함수 u(y) = lim_{n→∞}d(y,H_n) - c_n
dl_G-함수 (정의 1.3): 모든 c < u(y)에 대해 u(y) = c + d(y, u^{-1}(-∞,c])를 만족하는 함수

주요 기술 도구

1. 부분순서 관계 (정의 3.3): 1-Lipschitz 함수 u와 δ > 0에 대해, x ≼_δ y를 u(x) - u(y) ≥ δd(x,y)일 때로 정의

2. (CS) 조건 (정의 1.9): 수열 {y_n}이 (CS) 조건을 만족함은 σ > 0과 단위속도 측지선 μ_n이 존재하여 ∂B_σ(y_0) ∩ _{n∈ℕ}이 수렴하는 부분수열을 가질 때

주요 정리의 증명 개요

정리 1.5의 증명:

(i)⇒(ii): 보조정리 3.5를 이용하여 단조감소 체인 구성을 통해 dl_G 성질 증명
(ii)⇒(i): dl_G 성질을 이용하여 구면 최소화 조건 직접 검증
핵심은 보조정리 3.4에서 Zorn 보조정리를 사용한 극소원소 구성

정리 1.12의 증명:

(CS) 조건을 이용하여 co-ray의 존재성 보장 (보조정리 4.4)
Ascoli-Arzelà 정리를 통해 측지선 수열의 수렴성 획득
극한 곡선이 음의 기울기 사선임을 증명

실험 설정

이론 검증

본 논문은 주로 이론 연구이며, 구체적 예시를 통해 이론 결과를 검증한다:

예시 2: dl_C-함수가 메트릭 점성해가 아닌 반례 구성

ω_n = (1-1/n²)δ_0 + (1/n²)δ_{n²} ∈ P_2(ℝ)로 설정
함수 u_n(ω) = W_2(ω,ω_n) - W_2(δ_0,ω_n)은 메트릭 점성해
그러나 극한함수 u ≡ 0은 메트릭 점성해가 아님

예시 3-5: (CS) 조건 검증

예시 3: 사선 위의 수열이 (CS) 조건 만족
예시 4: Dirac 측도 수열이 (CS) 조건 만족
예시 5: 특수 구성 수열이 (CS) 조건 불만족

구성적 증명

두 가지 방식으로 강 메트릭 점성해 구성:

(CS) 조건을 만족하는 닫힌집합 수열로부터 출발
환경공간 X 위의 메트릭 점성해로부터 출발

실험 결과

주요 이론 결과

동치성 정리 (정리 1.5): 완비 무한 길이 공간에서 다음이 동치:

u는 메트릭 점성해
u는 dl_G-함수
u는 구면 최소화 조건을 만족: u(y) = inf_{x∈∂B_r(y)}{u(x) + d(x,y)}

존재성 정리 (정리 1.7): 모든 메트릭 점성해는 전역 ε-음의 기울기 곡선을 가지며, 곡선은 무한원점으로 향함

구성 정리 (정리 1.12-1.13):

(CS) 조건을 만족하는 dl_C-함수는 강 메트릭 점성해
환경공간의 메트릭 점성해는 Wasserstein 공간 위의 강 메트릭 점성해를 유도

중요 발견

안정성 실패: 메트릭 점성해는 점별 수렴 하에서 불안정 (예시 2), 그러나 국소 균일 수렴 하에서는 안정 (명제 3.14)
표현 공식 (명제 4.8): 강 메트릭 점성해는 Busemann 함수로 표현 가능: $u(ω) = \inf_{γ∈N(u)}[u(γ(0)) + b_γ(ω)]$
약 KAM 성질 (명제 4.6): 비분기 공간에서 음의 기울기 사선은 유일성을 가짐