Strict convexity of the free energy of the canonical ensemble under decay of correlations

We consider a one-dimensional lattice system of unbounded, real-valued spins. We allow arbitrary strong, attractive, nearest-neighbor interaction. We show that the free energy of the canonical ensemble converges uniformly in $C^2$ to the free energy of the grand canonical ensembles. The error estimates are quantitative. A direct consequence is that the free energy of the canonical ensemble is uniformly strictly convex for large systems. Another consequence is a quantitative local Cram\'er theorem which yields the strict convexity of the coarse-grained Hamiltonian. With small adaptations, the argument could be generalized to systems with finite-range interactions on a graph, as long as the degree of the graph is uniformly bounded and the associated grand canonical ensemble has uniform decay of correlations.