Song Mingliang; Li Runzhen: A nonzero solution for bounded selfadjoint operator equations and homoclinic orbits of Hamiltonian systems. (2021)