作为额外的奖励,St¨ormer Verlet/leapfrog计划是order haccurate。具体来说,我们离散时间范围[t,t],tk=t+kh,如果k=0,1,N、 (68)其中时间步长h=(T- t) /N被适当地选择。我们将连续时间哈密顿系统(31)替换为离散时间动力系统,并让^xk和^pk分别表示x(tk)和p(tk)的近似值。我们要求^xkand^pk遵循数值格式:^pk-= ^pk+hxH(^xk,^pk)-) ,^xk-1=^xk-HpH(^xk,^pk)-) + pH(^xk)-1,^pk-),^pk-1=^pk-+HxH(^xk)-1,^pk-),(69)我们引入了半区间值^pk-. 这些动量中间值的存在是蛙跳方法的关键,它保证了方案是辛的。请注意,(69)中的第一和第二个等式隐含在^pk中-和^xk-分别为1。计算导数得到^pk-= ^pk+h2γa(^xk)^pk-+h2γ^pTk-C(^xk)^pk-+HV(^xk),^xk-1=^xk-h2γC(^xk)+C(^xk)-1)^pk--h2γa(^xk)+a(^xk)-1),^pk-1=^pk-+h2γa(^xk)-1) ^pk-+h2γ^pTk-C(^xk)-1) ^pk-+HV(^xk)-1).(70)S.Chaiworawitkul、P.Hagan和A.Lesniewskit该系统受制于终端条件:^xN=y,^pN=0。(71)注意,(70)中的前两个关系通常不能明确地解决^pk-和^xk-分别为1,因此需要数值求解。这可以有效地实现,例如通过牛顿方法和初始猜测^pk-= ^pk和^xk-1=^xk。事实上,在实践中,牛顿方法的几次迭代可以得到非常精确的解。求解这个系统会得到一个近似的流图^Φt。在本节的整个提醒中,我们将抑制x、p等上的帽子。记住,所有的量都是真实值的数值近似。第二步。为了进行下一步,我们开发了一种算法,用于反转流动图Φt:U→ U如上所述。
|