1: \begin{abstract}

2: Spectral deferred corrections (SDC) are a class of iterative methods for the numerical solution of ordinary differential equations. 

3: SDC can be interpreted as a Picard iteration to solve a fully implicit collocation problem, preconditioned with a low order method. 

4: It has been widely studied for first-order problems, using explicit, implicit or implicit-explicit Euler and other low order methods as preconditioner. 

5: For first-order problems, SDC achieves arbitrary order of accuracy and possesses good stability properties.

6: While numerical results for SDC applied to the second-order Lorentz equations exist, no theoretical results are available for SDC applied to second-order problems.

7: 

8: We present an analysis of the convergence and stability properties of SDC using velocity-Verlet as the base method for general second-order initial value problems.

9: Our analysis proves that the order of convergence depends on whether the force in the system depends on the velocity.

10: We also demonstrate that the SDC iteration is stable under certain conditions. 

11: Finally, we show that SDC can be computationally more efficient than a simple Picard iteration or a fourth-order Runge-Kutta-Nyström method.

12: \end{abstract}

13: