This is a joint work with Pierre Pageault. For a homeomorphism h of a compact space, a Lyapunov function is a real valued function that is non-increasing along orbits for h. By looking at simple dynamical systems(=homeomorphisms) on the circle, we will see that there are systems which are topologically conjugate and have Lyapunov functions with various regularity. This will lead us to define barriers analogous to the well known Peierls barrier or to the Mané potential in Lagrangian systems. That will produce by analogy to Mather's theory of Lagrangian Systems an Aubry set which is the generalized recurrence set introduced in the 60's by Joe Auslander and a Mané set which is essentially Conley's chain recurrent set. Even if the abstract does not show it, the lecture will be at the level of a first year graduate student. All necessary concepts can be easily explained.