Frenkel-Kontorova model