Aubry Mather theory - davidar/scholarpedia GitHub Wiki