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

ワッサーシュタイン空間上の計量粘性解と距離類関数

基本情報

論文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

要旨

本論文は、ワッサーシュタイン空間上の計量粘性解、距離類関数およびそれらの相互関係を研究している。非コンパクト完備リーマン多様体上では、eikonal方程式 |∇u|_g = 1 の粘性解は正確に距離類関数であり、これは幾何学的および位相的性質の理解に極めて重要である。著者らはこの理論を一般計量空間、特にワッサーシュタイン空間P_p(X)（ここでXは完備、可分、局所コンパクトかつ非コンパクトな測地空間）に推広し、強計量粘性解を構成する2つの方法を提供している。

研究背景と動機

1. 問題背景

古典微分幾何学において、eikonal方程式 |∇u|_g = 1 の粘性解と距離類関数（distance-like functions）の間には深い関連性が存在する。距離類関数は無限遠への距離を表し、その1-Lipschitz性質によってeikonal方程式の粘性劣解となり、負勾配曲線の存在性によって粘性上解となる。

2. 研究上の課題

古典的粘性解理論は微分構造に大きく依存しており、一般計量空間への直接的な推広は困難である。様々な計量粘性解の定義が存在するが、それらの相互関係および距離類関数との関連性は依然として不明確である。

3. ワッサーシュタイン空間の重要性

ワッサーシュタイン空間は最適輸送理論の基礎となり、幾何学的推論、生成的敵対的ネットワーク、クラスタリング分析、平均場ゲーム理論など多くの分野で広く応用されている。ワッサーシュタイン空間は局所コンパクト性を欠いているが、その豊かな幾何学的性質により、その上の計量粘性解の研究は重要な意義を持つ。

4. 研究動機

本論文の目的は以下の通りである：

計量空間上の計量粘性解と距離類関数の等価性を確立する
ワッサーシュタイン空間上の強計量粘性解を構成する
これらの解の幾何学的性質と存在性を研究する

核心的貢献

計量粘性解と距離類関数の等価性を確立：完備無界長さ空間上で、計量粘性解がちょうどdl_G-関数であることを証明した（定理1.5）
ε-負勾配曲線の存在性を提供：任意の計量粘性解が全域的なε-負勾配曲線を持つことを証明した（定理1.7）
ワッサーシュタイン空間上の強計量粘性解を構成：
- (CS)条件を満たす閉集合列によるdl_C-関数の構成（定理1.12）
- 環境空間の計量粘性解からワッサーシュタイン空間上の解の構成（定理1.13）
(CS)条件を導入：これはワッサーシュタイン空間上で強計量粘性解を構成するための重要な技術的条件である
反例と安定性分析を提供：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)条件を満たさない

構成的証明

強計量粘性解を2つの方法で構成：

(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-関数は強計量粘性解
環境空間の計量粘性解はワッサーシュタイン空間上の強計量粘性解を誘導

重要な発見

安定性の失効：計量粘性解は点ごとの収束下では不安定である（例2）が、局所一様収束下では安定である（命題3.14）
表現公式（命題4.8）：強計量粘性解はBusemann関数で表現できる： $u(ω) = \inf_{γ∈N(u)}[u(γ(0)) + b_γ(ω)]$
弱KAM性質（命題4.6）：非分岐空間上で、負勾配射線は一意性を持つ