Canonical Melnikov theory for diffeomorphisms