Theory of implantation recoil atoms