On the Darboux and Birkhoff steps in the asymptotic stability of solitons

We give a unified proof of the step to find Darboux coordinates and of the ensuing Birkhoff normal forms procedure, developed in the course of the proof of asymptotic stability of solitary waves in [4, 8, 10].