Die Fragestellung hat durch Einführung der Geschwindigkeit das Problem schon auf ein System erster Ordnung zurückgeführt.
Verlet ist, unter allen Verfahren zweiter Ordnung, das günstigste, wenn denn die exakte Lösung der Differentialgleichung auch energieerhaltend ist. Das läßt sich aus der Fragestellung, die ja eine zeitabhängige Beschleunigung vorsieht, nicht ablesen.
Übrigens ist das mit der Energieerhaltung nicht ganz so einfach, selbst die Kurzversion, die ich dazu in den Wikipedia-Artikel geschrieben habe, Hairer et.al. folgend, wurde kürzlich als so nicht haltbar kritisiert.
Und um vollständig den Horizont des Fragestellers zu verlassen: Was hältst Du von den Beeman-Verfahren, den originalen wie der oft gebrauchten Kurzfassung?
Gruß, Lutz