?. Let-g, Since ?(f + g ? g ? T ) = ?(f ), we have ?(g ? g ? T ) ? 0. Taking ?g, we get equality. Thus ? is T -invariant. Next, as ?(0) = 0, when taking g = ?f we obtain ?(f ) ? ?(f ) ? 0. This shows that ? ? Max(f ) and concludes the proof of the lemma, La condition de Walters, pp.34-287, 2001.

T. Bousch and O. Jenkinson, Cohomology classes of dynamically non-negative C k functions, Inventiones Mathematicae, vol.148, issue.1, pp.207-217, 2002.
DOI : 10.1007/s002220100194

J. Brémont, Finite flowers and maximizing measures for generic Lipschitz functions on the circle, Nonlinearity, vol.19, issue.4, pp.813-828, 2006.
DOI : 10.1088/0951-7715/19/4/003

J. Conze and Y. Guivarc-'h, Croissance des sommes ergodiques et principe variationnel, 1990.

M. Denker, C. Grillenberger, and K. Sigmund, Ergodic theory on compact spaces, Lecture Notes in Mathematics, vol.527, 1976.
DOI : 10.1007/BFb0082364

O. Jenkinson, Ergodic optimization. Discrete and Cont, Dyn. Systems, vol.15, pp.197-224, 2006.

O. Jenkinson and I. Morris, Lyapunov optimizing measures for C1 expanding maps of the circle, Ergodic Theory and Dynamical Systems, vol.28, issue.06, 2007.
DOI : 10.1007/BF01404606

M. Pollicott and R. Sharp, Livsic theorems, maximizing measures and the stable norm, Dynamical Systems, vol.320, issue.1, pp.75-88, 2004.
DOI : 10.1007/978-1-4612-4372-4

D. Ruelle, Thermodynamic formalism, second edition, 2004.