Weak KAM from a PDE point of view: viscosity solutions of the Hamilton–Jacobi equation and Aubry set

We introduce the notion of a viscosity solution for the first-order Hamilton–Jacobi equation, in the more general setting of manifolds, to obtain a weak KAM theory using only tools from partial differential equations. This work should be accessible to people with no prior knowledge of the subject.