The max-plus Martin boundary

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.

37 pages; 8 figures v1: December 20, 2004. v2: June 7, 2005. Section 12 added

References in corpus (3)

• Duality and separation theorems in idempotent semimodules
• Minimum representing measures in Idempotent Analysis
• Ideal closures of Busemann space and singular Minkowski space

Cited by in corpus (9)

• The horofunction boundary of finite-dimensional normed spaces
• Approximating the Volume of Tropical Polytopes is Difficult
• Quasi--Euclidean classification of Alcoved Convex Polyhedra
• Horofunction compactifications and duality
• A metric version of Poincaré's theorem concerning biholomorphic inequivalence of domains
• Horofunction compactifications of symmetric cones under Finsler distances
• Extremal length boundary of Teichmüller space contains non-Busemann points
• Viscosity solutions, ends and ideal boundary
• Isometries of polyhedral Hilbert geometries