Variational Approaches to Kirchhoff-Type Second-Order Impulsive Differential Equations on the Half-Line