--------------------------
よく考えると「導関数の近似(0)~(5)」はつまらなかったので削除しました.
補足: AF ( AFqn = (qn+1 + qn) / 2 ) を用いれば ⊿F, AF だけで q '(t) = -a q(t) や q "(t) = - ω2 q(t) の良好な近似が得られます.(因果性による ⊿F, ⊿B の選択は不要)
発展: 本丸はもちろん x 'k(t) = fk(t, x1(t), ... , xm(t)) のような非線形方程式です.
蛇足: 失敗作でもいいから見たいという人はこちらをどうぞ.
[1] 第16章 常微分方程式の初期値問題 — 一段法
http://na-inet.jp/nasoft/chap16.pdf (16.6 陽的・陰的Runge-Kutta法の比較)
[2] Special lecture about Infinite higher order Symplectic Integrator
http://www-cms.phys.s.u-tokyo.ac.jp/~naoki/CIPINTRO/SYMP/index.html