|
定义bn,k:={(i,j)| 0≤ 我≤ n、 0个≤ j≤ k,1≤ i+j≤ b} 。将D uhamel原理应用于(3.8),我们可以看到UN+1,k=ZTtdsP0,0(t,s)n+1Xi=0kXj=0(1–δi+j,0)Ai,jun–i+1,k–j=ZTtdsP0,0(t,s)X(i,j)∈An+k+1n+1,kAi,jun–i+1,k–j=ZTtdsP0,0(t,s)An+1,kP0,0(s,t)Д+X(i,j)∈An+k+1n+1,kn+k-i-j+1Xl=1XIn-i+1,k-j,lZTtdsZTsds··ZTsl-1dslP0,0(t,s)Ai,jP0,0(s,s)A(n-i+1),(k-j)··P0,0(sl-1,sl)A(n-i+1)l,(k-j)lP0,0(sl,t)Д,(A.1),其中(A.1)遵循我们的归纳假设。对(A.1)中的和进行重新排序,我们得到UN+1,k=ZTtdsP0,0(t,s)An+1,kP0,0(s,t)Д+n+kXl=1X(i,j)∈An+k–l+1n+1,kXIn–i+1,k–j,lZTtdsZTsds··ZTsl–1dslP0,0(t,s)Ai,jP0,0(s,s)A(n–i+1),(k–j)··P0,0(sl–1,sl)A(n–i+1)l,(k–j)lP0,0(sl,t)Д。(A.2)接下来,注意in+1,k,l=[(i,j)∈An+k–l+1n+1,k(i nn···nl–1j kk···kl–1.nn···nl–1kk···kl–1.∈ In–i+1,k–j,l–1) 。(A.3)因此,将(A.3)与(A.2)相结合,我们得到UN+1,k=ZTtdsP0,0(t,s)An+1,kP0,0(s,t)Д+n+kXl=1XIn+1,k,l+1ZTtdsZTsds··ZTsl–1dslP0,0(t,s)A(n+1),kP0,0(s,s)A(n+1),k··P0,0(sl–1,sl)A(n+1)l+1,kl+1P0,0(sl,t)^1。重新标记(s、s、s、···、sl) → (s,s,···,s)l+1) 重新编制索引并给定Sun+1,k=ZTtdsP0,0(t,s)An+1,kP0,0(s,t)Д+n+k+1Xl=2XIn+1,k,lZTtdsZTsds···ZTsl–1dslP0,0(t,s)a(n+1),kP0,0(s,s)a(n+1),k··P0,0(sl–1,sl)a(n+1)l,klP0,0(sl,t)Д=n+k+1Xl=1XIn+1,k,LZTL TDSZTSDS···ZTsldslP0,0(t,s)A(n+1),kP0,0(s,s)A(n+1),k···P0,0(sl-1,sl)A(n+1)l,klP0,0(sl,t)~n,对于(n+1,k)情况为(4.3)。(n,k+1)的证明是类似的。B定理5.1的证明在本节中,我们证明定理5.1。我们的策略是根据我们目前的情况调整inLorig et al.(2015a)的渐近精度证明。因此,许多定理5.1所需的命题和引理源自Lorig等人的类似命题和引理。
|