[论文解读] The max-plus Martin boundary

Marianne Akian, Stéphane Gaubert+1 more|arXiv (Cornell University)|Dec 20, 2004

Geometric Analysis and Curvature Flows参考文献 29被引用 30

一句话总结

本文为确定性最优控制问题发展了马尔丁势论的极大-加法版本，通过布塞曼函数引入马丁边界，并证明了一个表示定理，将极大-加法调和函数表示为在最小马丁边界上的测度的上确界。关键贡献是极大-加法版本的马丁表示定理，将极值调和函数与近测地线及赋范空间中的布塞曼点联系起来。

ABSTRACT

We develop an idempotent version of probabilistic potential theory. The goal is to describe the set of max-plus harmonic functions, which give the stationary solutions of deterministic optimal control problems with additive reward. The analogue of the Martin compactification is seen to be a generalisation of the compactification of metric spaces using (generalised) Busemann functions. We define an analogue of the minimal Martin boundary and show that it can be identified with the set of limits of ``almost-geodesics'', and also the set of (normalised) harmonic functions that are extremal in the max-plus sense. Our main result is a max-plus analogue of the Martin representation theorem, which represents harmonic functions by measures supported on the minimal Martin boundary. We illustrate it by computing the eigenvectors of a class of translation invariant Lax-Oleinik semigroups. In this case, we relate the extremal eigenvectors to the Busemann points of a normed space.

研究动机与目标

• 将经典势论扩展至极大-加法代数框架，适用于确定性最优控制问题。
• 通过布塞曼函数的紧化方法，定义马丁边界的极大-加法类比。
• 基于最小马丁边界上的测度，建立极大-加法调和函数的表示定理。
• 将极值解表征为近测地线的极限，并将其与拉克斯-奥莱尼克半群的特征向量联系起来。
• 将最小马丁边界与赋范空间的几何结构联系起来，特别是通过布塞曼点和对偶单位球的极点。

提出的方法

• 将极大-加法格林核 $A^*_{ij}$ 定义为从 $i$ 到 $j$ 的路径权重的上确界，作为调和函数的基础。
• 引入参考测度 $\sigma_i$，并定义 $\pi_j := \sup_k (\sigma_k + A^*_{kj})$ 以归一化调和函数空间。
• 在积拓扑中，将极大-加法马丁空间 $\mathscr{M}$ 构造为 $\{A^*_{\cdot j} - \pi_j\}_{j \in S}$ 的闭包。
• 将马丁边界定义为 $\mathscr{M} \setminus \mathscr{K}$，其中 $\mathscr{K}$ 是归一化基本解的集合。
• 将最小马丁边界 $\mathscr{M}^m$ 识别为极值调和函数的集合，对应于近测地线的极限。
• 证明极大-加法马丁表示定理：每个 $\pi$-可积的调和函数 $u$ 可表示为 $u = \sup_{w \in \mathscr{M}^m} \nu(w) + w$，其中 $\nu$ 是 $\mathscr{M}^m$ 上的上半连续函数。

实验结果

研究问题

• RQ1 如何将经典马丁边界理论适配到极大-加法代数框架下，以处理确定性最优控制问题？
• RQ2 在路径和渐近行为的视角下，极大-加法马丁边界具有何种几何与动力学解释？
• RQ3 极大-加法意义下的极值调和函数如何与布塞曼函数及近测地线对应？
• RQ4 能否通过最小马丁边界刻画平移不变拉克斯-奥莱尼克半群的特征向量？
• RQ5 最小马丁边界与赋范空间中对偶单位球的极点之间存在何种关系？

主要发现

• 最小马丁边界 $\mathscr{M}^m$ 与近测地线的极限一致，这些路径实现了有限的最大奖励。
• 最小马丁边界与极值极大-加法调和函数的集合重合，即无法表示为其他调和函数的非平凡上确界的那些函数。
• 每个 $\pi$-可积的极大-加法调和函数都可表示为 $u = \sup_{w \in \mathscr{M}^m} \nu(w) + w$，其中 $\nu$ 是 $\mathscr{M}^m$ 上的上半连续函数，从而确立了极大-加法版本的马丁表示定理。
• 对于平移不变的拉克斯-奥莱尼克半群，极值特征向量恰好对应于底层赋范空间的布塞曼点。
• 在 $L^p$-范数且 $p > 1$ 的情况下，布塞曼点的形式为 $w: x \mapsto \min_{i \in I} \epsilon_i(x_i - X_i) + \max_{i \in I} \epsilon_i X_i$，其中 $I$ 是指标的非空子集，$\epsilon_i = \pm 1$，且这些点生成了极值解。
• 最小马丁边界与对偶单位球的某个真面的极点集合同胚，从而将代数结构与凸几何联系起来。