论文部分内容阅读
考虑非线性微分方程0CDtαy（t）=f（t,y（t））,n-1＆lt;α＆lt;n,初始条件为y（（k））（0）=y0（（k））,k=0,1,…,n-1.将时间区间[0,T]不均匀分割,步长τi=t（i＋1）-ti,0≤i≤N-1,且满足τi≤τi＋1,在此基础上利用梯形公式,得到隐差分格式,并证明了其系数所满足的一个特殊性质,为后续证明差分格式的稳定性以及误差分析奠定基础.