|
我们还使用惯例作为总结符号thatPji≡ 0when(j<i)。引理1如果它存在,(3.10)和(3.11)中展开式的多项式解由v[n]t=nXm=0mXk=0Xm唯一给出-ktYkt(m)-k) !!Kv[n]m-k、 k(t)(3.12)Z[n]t=nXm=1m-1Xk=0Xm-K-1tYkt(m)-K- 1)!Kv[n]m-k、 k(t)(3.13)Γ[n]t=nXm=1mXk=1Xm-ktYk-1吨(米)-k) !!(k)- 1)!v[n]m-k、 k(t)(3.14)U[n](t,z)=n-1Xm=0mXk=0Xm-ktYkt(m)-k) !!KnXl=m+1zl-m(l)- m) !!v[n]l-k、 k(t)(3.15)具有确定性函数集v[n]m-k、 k(t)of(0)≤ K≤ M≤ n) 满足下列线性常微分方程组˙v[n]m-k、 k(t)=-我≤N-1,1≤k) kσ(t)v[n]m-k+2,k-1(t)+ρ(t)σ(t)α(t)v[n]m-k+1,k(t)+α(t)v[n]m-k、 k+1(t)-我≤N-2)σ(t)v[n]m-k+2,k(t)+ρ(t)σ(t)α(t)v[n]m-k+1,k+1(t)+α(t)v[n]m-k、 k+2(t)+我≤N-1,1≤k) kσ(t)v[n-1] m-k+1,k-1(t)+κ(t)v[n-1] m-k、 k(t)+ 我≤N-1) σ(t)v[n]m-k+1,k(t)+I(m)≤N-1) kXl=0C(k,l)lyλ(t,0)β(t)v[n-l] m-k+1,k-l(t)-N-mXj=1v[n-l] j+m-k、 k-l(t)q(t,j)j!(3.16)具有终端条件v[n]n,0(T)=nxH(0),所有其他组件为零。证明:假设(3.12)中给出的多项式形式解存在。
|