Akramov, IkromIkromAkramovGötschel, SebastianSebastianGötschelMinion, MichaelMichaelMinionRuprecht, DanielDanielRuprechtSpeck, RobertRobertSpeck2024-06-072024-06-072024-06-01SIAM Journal on Scientific Computing 46 (3): A1690-A1713 (2024)https://hdl.handle.net/11420/47802Spectral deferred corrections (SDC) are a class of iterative methods for the numerical solution of ordinary differential equations. SDC can be interpreted as a Picard iteration to solve a fully implicit collocation problem, preconditioned with a low-order method. It has been widely studied for first-order problems, using explicit, implicit, or implicit-explicit Euler and other low-order methods as preconditioner. For first-order problems, SDC achieves arbitrary order of accuracy and possesses good stability properties. 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. 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. Our analysis proves that the order of convergence depends on whether the force in the system depends on the velocity. We also demonstrate that the SDC iteration is stable under certain conditions. Finally, we show that SDC can be computationally more efficient than a simple Picard iteration or a fourth-order Runge-Kutta-Nystr\"om method.en1064-827520243A1690A1713SIAMcollocation methodconvergencePicard iterationspectral deferred corrections (SDC)stabilityvelocity-VerletNatural Sciences and Mathematics::510: MathematicsJournal Article10.1137/23M1592596Journal Article