The effective potential and transshipment in thermodynamic formalism at temperature zero

Original · EN

Denote the points in 1,2,..,rᶻ= 1,2,..,rⁿ x 1,2,..,rⁿ by (y*, x). Given a Lipschitz continuous observable A: 1,2,..,rᶻ → R, we define the map G+: H→ H by G+(ϕ)(y*) = μ∈ Mσ [∫{₁,₂,..,ᵣ}ⁿ (A(y*, x) + ϕ(x)) dμ(x) + hμ(σ)], where: σis the left shift map acting on 1,2,..,rⁿ; Mσdenotes the set of σ-invariant Borel probabilities; hμ(σ) indicates the Kolmogorov-Sinai entropy; H is the Banach space of Lipschitz real-valued functions on 1,2,..,rⁿ. We show there exist a unique ϕ+ ∈ H and a unique λ+∈ R such that G+ (ϕ+) = ϕ+ + λ+. We say that ϕ+ is the effective potential associated to A. This also defines a family of σ-invariant Borel probabilities μy* on 1,2,..,rⁿ, indexed by the points y* ∈ 1,2,..,rⁿ. Finally, for A fixed and for variable positive real values β, we consider the same problem for the Lipschitz observable βA. We investigate then the asymptotic limit when β→ ∞ of the effective potential (which depends now on β) as well as the above family of probabilities. We relate the limit objects with an ergodic version of Kantorovich transshipment problem. In statistical mechanics β∝ 1/T, where T is the absolute temperature. In this way, we are also analyzing the problem related to the effective potential at temperature zero.