arXiv2010
Denote the points in {1,2,..,r}^{Z}= {1,2,..,r}^{N} x {1,2,..,r}^{N} by ({y}^*, {x}). Given a Lipschitz continuous observable A: {1,2,..,r}^{Z} \to {R} , we define the map {G}^+: {H}\to {H} by {G}^+(ϕ)({y}^*) = \sup_{μ\in {M}_σ} [\int_{\{1,2,..,r\}^{N}} ( A({y}^*, {x}) + ϕ({x})) dμ({x}) + h_μ(σ) ], where: σis the left shift map acting on {1,2,..,r}^{N}; {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}^{N}. We show there exist a unique ϕ^+ \in {H } and a unique λ^+\in {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}^{N}, indexed by the points {y}^* \in {1,2,..,r}^{N}. 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 β\to \infty 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 β\propto 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.