[論文レビュー] 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

ひとこと要約

本稿は、決定的最適制御問題におけるマーティンのポテンシャル理論のmax-plus版を展開し、バセマン関数を用いてマーティン境界を定義し、最小マーティン境界上の測度による上限表現を示す表現定理を証明する。主な貢献は、極小境界上の測度による表現を特徴づけるmax-plus版のマーティン表現定理であり、極端な調和関数が近似的測地線およびノルム空間内のバセマン点と関連することを示している。

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.

研究の動機と目的

• 古典的ポテンシャル理論を決定的最適制御問題のmax-plus代数設定へ拡張すること。
• バセマン関数によるコンパクト化を用いて、マーティン境界のmax-plus版を定義すること。
• 最小マーティン境界上の測度を用いて、max-plus調和関数の表現定理を確立すること。
• 極値解を近似的測地線の極限として特徴づけ、それらをラクス＝オレニク半群の固有関数と関連付けること。
• 最小マーティン境界とノルム空間の幾何学的性質、特に双対単位球の極点との関係を明らかにすること。

提案手法

• ノード $i$ から $j$ への経路の重みの上限としてmax-plusグリーン核 $A^*_{ij}$ を定義し、調和関数の基盤を形成する。
• 基準測度 $\sigma_i$ を導入し、$\pi_j := \sup_k (\sigma_k + A^*_{kj})$ を定義することで調和関数空間を正規化する。
• 積位相における $\{A^*_{\cdot j} - \pi_j\}_{j \in S}$ の閉包としてmax-plusマーティン空間 $\mathscr{M}$ を構成する。
• マーティン境界を $\mathscr{M} \setminus \mathscr{K}$ として定義する。ここで $\mathscr{K}$ は正規化された基本解の集合である。
• 最小マーティン境界 $\mathscr{M}^m$ を極値調和関数の集合として特定し、これは近似的測地線の極限に一致する。
• max-plusマーティン表現定理を証明する：任意の $\pi$-可積分な調和関数 $u$ は、上半連続関数 $\nu$ を用いて $u = \sup_{w \in \mathscr{M}^m} \nu(w) + w$ の形に表現可能である。

実験結果

リサーチクエスチョン

• RQ1 古典的マーティン境界理論を決定的最適制御問題のmax-plus代数設定にどのように適応できるか。
• RQ2 マーティン境界の幾何学的・動的解釈は、経路と漸近的挙動の観点からどのように解釈できるか。
• RQ3 max-plus意味における極値調和関数は、バセマン関数および近似的測地線とどのように対応するか。
• RQ4 一様移動不変Lax-Oleinik半群の固有関数は、最小マーティン境界を用いて特徴づけられるか。
• RQ5 最小マーティン境界とノルム空間の双対単位球の極点との関係は何か。

主な発見

• 最小マーティン境界 $\mathscr{M}^m$ は、有限の最大報酬を達成する近似的測地線の極限の集合に一致する。
• 最小マーティン境界は、他の調和関数の非自明な上限として表せない極値max-plus調和関数の集合に一致する。
• 任意の $\pi$-可積分なmax-plus調和関数 $u$ は、$\mathscr{M}^m$ 上の上半連続関数 $\nu$ を用いて $u = \sup_{w \in \mathscr{M}^m} \nu(w) + w$ の形に表現可能であり、これはマーティン表現定理のmax-plus版を確立する。
• 一様移動不変Lax-Oleinik半群に対して、極値固有関数は、対応するノルム空間のバセマン点に正確に一致する。
• $p > 1$ の $L^p$-ノルムの場合、バセマン点は $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$ である。このような関数が極値解を生成する。
• 最小マーティン境界は、双対単位球の適切な面の極点の集合と位相的に同相であり、代数的構造と凸幾何学を結びつける。