Busemann functions were introduced by Herbert Busemann to study the large-scale geometry of metric spaces in his seminal The Geometry of Geodesics. More recently, Busemann functions have been used by probabilists to study asymptotic properties in models of first-passage percolation and directed last-passage percolation.
Definition
Let
Equivalently, a ray is an isometry from the "canonical ray" (the set
Given a ray γ, the Busemann function
That is, when t is very large, the distance
Loosely speaking, a Busemann function can be thought of as a "distance to infinity" along the ray γ.