理论教育 微分系统的反射函数理论及应用

微分系统的反射函数理论及应用

时间:2023-11-25 理论教育 版权反馈
【摘要】:,5)为任意连续可微的奇函数,ki∈Z+.当ri,βi(i=1,2,…

微分系统的反射函数理论及应用

考虑线性微分系统

At)=(aijt))n×n为连续矩阵函数,tR.

这里Rtx)为连续可微函数,且保证系统(3.2.2)的Cauchy问题的解存在唯一.

定理3.2.1978-7-111-47659-7-Chapter03-18.jpg,则Ftx)=Ftx为系统(3.2.2)的反射函数的充要条件为

必要性 设Ftx)=Ftx为系统(3.2.2)的反射函数,则由反射函数的基本关系式得

将式(3.2.3)关于x求偏导并令x=0得

F′t)+FtAt)+A(-tFt)=0.

将此再代入式(3.2.3)得

FtRtx)+R(-tFtx)=0.

综上即得必要性成立.充分性 显然成立.

推论3.2.1Ft)为系统(3.2.1)的反射矩阵,则系统(3.2.2)与系统(3.2.1)等价,当且仅当

FtRt,x)+R(-tFtx)=0. (3.2.4)

由上面结论可知,若线性系统(3.2.1)的反射矩阵已知,则可以写出与系统(3.2.1)等价的微分系统类(3.2.2),只要Rtx)满足式(3.2.4)即可.例如我们可以任取Rtx)=F(-trtx)-r(-tFtx),这里rtx)为任意连续可微函数.显然Rtx)满足关系式(3.2.4).当微分系统(3.2.1)和系统(3.2.2)皆为2ω-周期系统时,则它们的Poincaré映射相同,从而其周期解的个数相同,性态也相同,这样我们就可以利用线性系统来研究非线性微分系统参考文献([99,116,127,150]等).

例3.2.1 微分系统[150]

具有反射函数978-7-111-47659-7-Chapter03-22.jpg

这里at)+a(-t)=bt)+b(-t),rij=rijt),βij=βijt)都是奇连续可微函数,978-7-111-47659-7-Chapter03-23.jpg978-7-111-47659-7-Chapter03-24.jpg.当该微分系统为2ω-周期系统时,若α(-ω)=1,则该系统在[-ωω]上有定义的所有解皆为2ω-周期解,当α(-ω)≠1时,该微分系统的2ω-周期解唯一,且该解当α(-ω)<1时渐近稳定;当α(-ω)>1时不稳定.

例3.2.2 微分系统[150]

与线性系统

等价,且它们的反射函数978-7-111-47659-7-Chapter03-27.jpg

这里riβii=1,2,…,5)为任意连续可微的奇函数,ki∈Z+i=1,2,3,4).riβii=1,2,…,5)都是2π-周期函数时,这些微分系统的解皆为2π-周期解.

由上我们可知,研究线性微分系统的反射函数,对研究非线性微分系统具有极大的重要意义,现在我们来讨论线性系统的等价性.

定理3.2.2[56] 若连续可微矩阵Δt)满足

其中βkt)为连续奇函数,则对任意连续的奇函数αkt)和整数l,微分系统

等价于微分系统(3.2.1).

Ft)为系统(3.2.1)的反射矩阵,则

下面我们只需证明Ft)也是微分系统(3.2.6)的反射矩阵.为了证明该结论,我们首先证明

ut)∶=FtΔt)-Δ(-tFt)≡0.

事实上,由于

u′t)=F′tΔt)+FtΔ′t)-(Δ(-t))′Ft)-Δ(-tF′t.

将式(3.2.5)和式(3.2.7)、式(3.2.8)代入上式计算得

由于该方程为一阶齐线性方程,其满足条件u(0)=0的唯一解为u=0,从而有ut)≡0.FtΔt)=Δ(-tFt.由此可推得FtΔk=Δk(-tFt),从而Ft)为微分系统(3.2.6)的反射矩阵.定理的结论得证.令Bt)=At)-αtΔt),则978-7-111-47659-7-Chapter03-32.jpg

考虑微分系统

定理3.2.3[55] 假设

1)对于连续可微矩阵At)和Bt),tR,存在一个连续可微的奇函数αt)和连续的奇函数βt)满足

(B-A+BA-ABα+(α′+αβ)(A-B)=0. (3.2.10)

2)矩阵978-7-111-47659-7-Chapter03-34.jpgR上连续可微.则微分系统(3.2.9)与系统(3.2.1)等价.

由定理的条件计算得

Δ′t)=AtΔt)-ΔtAt)+βtΔt),

由定理3.2.2得系统(3.2.9)与系统(3.2.1)等价.(www.daowen.com)

下面将讨论何时微分系统(3.2.1)等价于线性微分系统

这里Cn×n常数矩阵,mt)为一个连续的纯量函数.

引理3.2.1m(0)≠0,则微分系统(3.2.11)等价于微分系统978-7-111-47659-7-Chapter03-36.jpg978-7-111-47659-7-Chapter03-37.jpg.这里D=m(0)Cnt)为一个纯量偶函数,并且n(0)=1.

由于微分系统(3.2.11)的基解矩阵为978-7-111-47659-7-Chapter03-38.jpg,则其反射矩阵为

Ft)也是微分系统

的反射矩阵,从而引理的结论成立.

由该引理可得,对于微分系统(3.2.11),我们不妨假设函数mt)为偶函数且m(0)=1.

引理3.2.2 若微分系统(3.2.1)等价于微分系统(3.2.11),则C=A(0).

若系统(3.2.1)等价于系统(3.2.11),其反射矩阵为Ft),则由本章3.1节得

At)=mtC+F(-tRt)-R(-tFt),

其中Rt)为任意连续矩阵函数.令t=0得

A(0)=m(0)C=C.

从而引理得证.

由此引理得mtC=mtA(0).Bt)=mtA(0)代入式(3.2.10)得

A′t)-m′tA(0))α+αmAtA(0)-A(0)At))

-(αβ+α′)(At)-mA(0))=0. (3.2.12)由定理3.2.3得:

定理3.2.4 假设对于微分系统(3.2.1)存在连续可微的纯量偶函数mt)和奇函数αt),βt)满足式(3.2.12),则系统(3.2.1)等价于微分系统

定理3.2.5 若定理3.2.4的条件满足,并且At+2ω)=At),则

1)微分系统(3.2.1)与系统(3.2.13)解的稳定性态相同;

2)微分系统(3.2.1)的解φt;-ωx0)为2ω-周期解的充要条件为系统(3.2.13)的解ψt;-ωx0)为2ω-周期解,x0F(-ωx)=x的解.

由定理3.2.4知,微分系统(3.2.1)与系统(3.2.13)等价,其Poincaré映射为Tx)=F(-ωx),由此及反射函数的基本引理即可推得该定理的结论.

例3.2.3 微分系统

等价于微分系统

其中978-7-111-47659-7-Chapter03-45.jpgδt)为任意连续可微的奇函数,

abcd为常数.

978-7-111-47659-7-Chapter03-47.jpg,则978-7-111-47659-7-Chapter03-48.jpg

由定理3.2.3得上面两个线性系统等价.

现在来考虑微分系统

何时具有形如

的反射矩阵?这里Mt),At)为n1×n1阶矩阵,Dt),Nt)为n2×n2阶矩阵,(n1+n2=n.Bt)为n1×n2阶矩阵,Ct)为n2×n1阶矩阵.

引理3.2.3 若系统(3.2.15)为系统(3.2.14)的反射矩阵,则Mt)为978-7-111-47659-7-Chapter03-51.jpg978-7-111-47659-7-Chapter03-52.jpg的反射矩阵,Nt)为978-7-111-47659-7-Chapter03-53.jpg的反射矩阵,且MB+B(-tN=0,NC+C(-tM=0.

该引理可由反射矩阵的基本关系式直接推得.

定理3.2.6 若矩阵At),Bt)满足

则矩阵(3.2.16)为微分系统(3.2.15)的反射矩阵,且

该定理的结论只需验证引理3.2.3的条件成立即可.

例3.2.4 若在式(3.2.15)中取978-7-111-47659-7-Chapter03-56.jpg

则它的反射矩阵为式(3.2.16),其中978-7-111-47659-7-Chapter03-58.jpgαβγ为任意连续可微的奇函数.

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈