[论文解读] Value functions on a finite time horizon in the Wasserstein spaces

Ryan Hynd, Hwa Kil Kim|arXiv (Cornell University)|Jul 17, 2013

Geometric Analysis and Curvature Flows被引用 1

一句话总结

本文证明了在 Wasserstein 空间中，由带有 $W_p$ 范数的最优控制问题导出的广义值函数，以粘性解意义满足 Hamilton-Jacobi 方程，从而完成了 Gangbo 等人启动的一项基础性研究。一个关键结果是，当势能形式为 $Π(μ) = ∫_{ℝ^d} V(x) dμ(x)$ 时，给出了值函数的严格公式，该公式在形式上将 Euler-Poisson 动力学与经典 Hamilton-Jacobi 理论联系起来。

ABSTRACT

We study analogs of value functions arising in classical mechanics in the space of probability measures endowed with the Wasserstein metric $W_p$, for $1<p<\infty$. Our main result is that each of these generalized value functions is a type of viscosity solution of an appropriate Hamilton-Jacobi equation, completing a program initiated by Gangbo, Tudorascu, and Nguyen. Of particular interest is a formula we derive for a generalized value function when the associated potential energy is of the form ${\cal V}(\mu)=\int_{\mathbb{R}^d}V(x)d\mu(x)$. This formula allows us to make rigorous a well known heuristic connection between Euler-Poisson equations and classical Hamilton-Jacobi equations. Further results are presented which suggest there is a rich theory to be developed of deterministic control in the Wasserstein spaces.

研究动机与目标

• 将经典值函数从有限维空间推广到在 Wasserstein 范数 $W_p$（$1 < p < \infty$）下定义的概率测度空间。
• 建立广义值函数在粘性意义下满足 Hamilton-Jacobi 方程，从而完成在 Wasserstein 空间上最优控制理论的基础性研究。
• 当势能为函数 $V(x)$ 关于测度 $\mu$ 的积分时，推导出值函数的显式表达式，从而实现与 Euler-Poisson 方程的严格连接。

提出的方法

• 将值函数形式化为配备 $W_p$ 范数的概率测度空间中最优控制问题的解。
• 利用粘性解理论，将广义值函数表征为 Wasserstein 空间中 Hamilton-Jacobi 方程的解。
• 当势能为 $\mathcal{V}(\mu) = \int_{\mathbb{R}^d} V(x) d\mu(x)$ 时，推导出值函数的闭式表达式，利用 Wasserstein 范数的结构特征。
• 应用最优传输与变分法技术，分析值函数的正则性与动力学行为。
• 通过推导出的公式，建立所得 Hamilton-Jacobi 方程与 Euler-Poisson 系统之间的联系。
• 证明该理论在 Wasserstein 空间中支持一个丰富且结构一致的确定性控制框架，暗示其具有更广泛的应用潜力。

实验结果

研究问题

• RQ1 如何将经典力学中的值函数从有限维空间推广到在 Wasserstein 范数 $W_p$ 下的概率测度空间？
• RQ2 这些广义值函数在何种意义下满足 Hamilton-Jacobi 方程？粘性解理论在此语境下如何应用？
• RQ3 当势能为函数 $V(x)$ 关于测度 $\mu$ 的积分泛函 $\mathcal{V}(\mu) = \int V(x) d\mu(x)$ 时，能否推导出值函数的闭式表达式？
• RQ4 所得 Hamilton-Jacobi 方程与流体动力学中 Euler-Poisson 系统之间的确切联系是什么？
• RQ5 在 Wasserstein 空间中，确定性控制理论的结构性质与理论基础是什么？

主要发现

• 在 Wasserstein 空间中，广义值函数是适当 Hamilton-Jacobi 方程的粘性解，将经典结果推广至无穷维测度空间。
• 当势能为 $\mathcal{V}(\mu) = \int_{\mathbb{R}^d} V(x) d\mu(x)$ 时，推导出值函数的闭式表达式，从而实现了与 Euler-Poisson 动力学的严格分析连接。
• 该公式为长期以来 Hamilton-Jacobi 方程与 Euler-Poisson 系统之间存在的启发式联系提供了数学基础。
• 研究结果证实，Wasserstein 空间中的确定性控制理论具有丰富且结构一致的特性，暗示其与连续介质力学存在深刻联系。
• 粘性解框架成功推广至 Wasserstein 空间设定，验证了此类工具在最优传输与控制理论中的适用性。
• 本工作完成了 Gangbo、Tudorascu 与 Nguyen 启动的基础性研究，为未来的发展奠定了严格的分析基础。