2025-11-23T08:25:15.809780

Reweighting metric measure spaces and Onsager-Machlup

Selk

Given a metric measure space $M:=(X,d,Î¼)$ the Onsager-Machlup (OM) functional is a real valued function that has been seen as a generalized notion of a probability density function. The effect of reweighting the measure on OM functionals has been studied, however analogous reweightings of the metric to the best of our knowledge remain open. In this short note, we prove a transformation formula for OM functionals on geodesic metric measure spaces under reweighting of both the metric and the measure.

academic

Reweighting metric measure spaces and Onsager-Machlup

基本信息

论文ID: 2510.10591
标题: Reweighting metric measure spaces and Onsager-Machlup
作者: Zachary Selk (Florida State University)
分类: math.PR (Probability Theory), math.MG (Metric Geometry)
发表时间: October 14, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.10591

摘要

给定度量测度空间 $M:=(X,d,\mu)$ ，Onsager-Machlup (OM) 泛函是一个实值函数，被视为概率密度函数的广义化概念。虽然已经研究了测度重新加权对OM泛函的影响，但据作者所知，度量的类似重新加权问题仍然是开放的。本文证明了在测地度量测度空间上，同时对度量和测度进行重新加权时OM泛函的变换公式。

研究背景与动机

问题背景

无穷维概率的困难: 在随机过程的自然设定——无穷维概率中，缺乏Lebesgue测度来定义概率密度函数是一个根本困难。
OM泛函的意义: Onsager-Machlup泛函是概率密度函数的广义化概念，通过小球测度比值的极限来定义： $\lim_{r \to 0^+} \frac{\mu(B(r,x))}{\mu(B(r,y))} = \exp(OM(y) - OM(x))$
现有研究局限: 虽然测度重新加权下的OM泛函变换已被充分研究，但度量重新加权的影响仍然未知。

研究动机

OM理论可以置于一般度量测度空间的研究框架中，因此研究度量变化的影响是自然的
已知即使等价度量也可能导致不同的OM泛函，但缺乏度量和测度联合重新加权的变换公式
填补这一理论空白对理解OM泛函的几何性质具有重要意义

核心贡献

建立了度量-测度联合重新加权的变换公式: 对于度量测度空间 $(X, e^{-U}d_0, e^{-V}\mu_0)$ ，给出了OM泛函的明确表达式
区分了有限维和无穷维情况: 证明了在满足小球估计条件的有限维空间中，OM泛函存在且有明确公式；在无穷维空间中，非常数度量重新加权会破坏OM泛函的存在性
提供了具体的应用: 包括Riemann流形、高斯过程等重要例子的处理
揭示了几何与概率的深层联系: 通过"制图投影"类比，展示了几何变形在概率理论中的作用

方法详解

任务定义

研究在度量测度空间 $M_0 = (X, d_0, \mu_0)$ 上，当同时进行以下变换时OM泛函如何变化：

度量变换: $d_0 \mapsto e^{-U}d_0$
测度变换: $\mu_0 \mapsto e^{-V}\mu_0$

其中 $U, V: X \to \mathbb{R}$ 是局部一致连续函数。

核心定理

定理1.3 设 $M_0 := (X, d_0, \mu_0)$ 是具有OM泛函 $OM_0$ 的测地度量测度空间。

(a) 常数度量重新加权: 若 $U$ 是常数，则 $OM = OM_0 + V$

(b) 有限维情况: 若存在点 $q \in Z$ 使得 $\lim_{r \to 0^+} \frac{\mu_0(B_0(Cr, q))}{\mu_0(B_0(r, q))} = C^p$ 则 $OM = OM_0 - pU + V$

(c) 无穷维情况: 若存在小球估计 $\lim_{r \to 0^+} r^\alpha \log \mu_0(B_0(r, q)) = -C$ 且 $U$ 非常数，则OM泛函在 $Z$ 上不存在。

技术创新点

度量重新加权的几何处理: 通过绝对连续路径的积分定义新度量： $d(x,y) = \inf\left\{\int_0^1 e^{-U(\gamma(t))}|\dot{\gamma}(t)|dt : \gamma \in AC([0,1], X), \gamma(0)=x, \gamma(1)=y\right\}$
局部一致连续性的利用: 关键利用了 $U, V$ 的局部一致连续性来控制小球的包含关系和测度估计
小球估计的分类: 根据不同的小球行为（幂律 vs 指数衰减）区分有限维和无穷维情况