|
,yk,不依赖于δ,对后续计算不重要。其次,我们证明了变换后的系统(A.1)–(A.2)有一个解(x(δ),y(δ),δ=0附近的yk(δ))。很容易验证'x=-(1+k)1/22k3/4kXj=1γ1/2jσKσS2月3日,易=-(1+k)1/22k3/42γ1/2i-kkXj=1γ1/2jσKσS3/2,i=1,k、 (A.3)是由(A.1)通过插入δ=0得出的二次系统的解。此外,(h,h,…,hk)关于变量(x,y,…,yk)的雅可比矩阵,在δ=0和(x,y,…,yk)=(\'x,\'y,…,yk)下计算,为1.-1.-1 ··· -1akaaka。。。。。。阿克卡克,式中,ai=2(\'x+k\'yi)<0,省略零项。使用行(或列)变换,可以验证此矩阵是可逆的。因此,隐函数定理yieldsanε′>0和连续可微函数(x,y,…,yk):(-ε′, ε′) → R1+k如(x(δ),y(δ),yk(δ))为所有δ求解(A.1)∈ (-ε′,ε′)和x(0)=x和yi(0)=yi,对于i=1,k、 由于“x+k”yi<0,必要时使ε′变小,我们还可以确保(x(δ),y(δ),yk(δ))满足所有δ的不等式(A.2)∈ (-ε′, ε′).第三,在恢复变量的变化并设置ε:=(ε′)后,我们可以得出以下结论:t型∈ [0, ε),βΣ(t) :=kσkσS+x(√t)√t、 βi(t) :=k-σKσS+yi(√t)√t、 i=1,k、 定义原始系统的解决方案(4.4)–(4.6)。此外,函数β∑,βi,i=1,k、 在(0,ε)上连续可微,在[0,ε]上连续可微,并且根据表达式(A.3),具有渐近展开式(4.7)–(4.8)。步骤3。我们最终解决了小t>0。
|