Song Mingliang; Li Runzhen: A nonzero solution for bounded selfadjoint operator equations and homoclinic orbits of Hamiltonian systems. (2021)
Song Mingliang: Existence of solutions for subquadratic convex or B-concave operator equations and applications to second order Hamiltonian systems. (2020)