Invariant manifold, difference equation, parameterization method,  
Euler-Lagrange, Frenkel-Kontorova, analytic function