Pei Minghe and Wang Libo and Lv Xuezhe: Existence, uniqueness and qualitative properties of heteroclinic solutions to nonlinear second-order ordinary differential equations. (2021)