理论教育 一个微分方程具有形如的反射函数

一个微分方程具有形如的反射函数

时间:2023-11-25 理论教育 版权反馈
【摘要】:根据反射函数的性质,我们知道式为系统的反射函数,当且仅当M′x+N′+MX(t,x)+X≡0,M=1,N=0. 由于X(t,x)关于x解析,从而关于x可任意阶求导,则有N′+MX(t,0)+X≡0; M′+MX(t,0)+MX≡0; MX(t,0)+MX≡0(i=2,3,…

一个微分方程具有形如的反射函数

本节我们主要讨论何时一个微分方程具有形如

Ftx)=Mtx+Nt), (tx)∈R2 (4.2.1)

的反射函数.

引理4.2.1 函数(4.2.1)为某个微分方程的反射函数,当且仅当

Ftx)=xe2mt+nt)emt. (4.2.2)

其中mt),nt)为奇的可微函数.

必要性 设Ftx)=Mtx+Nt)为某个微分方程的反射函数,则由反射函数的性质2)得

M(-t)[Mtx+Nt)]+N(-t)=x

M(-tMt)=1,M(-tNt)+N(-t)=0. (4.2.3)

F(0,x)=xM(0)=1,N(0)=0.从而有Mt)>0.978-7-111-47659-7-Chapter04-38.jpg,则Mt)=e2mt.又由M(-tMt)=1得,mt)+m(-t)=0,即mt)为奇函数.又由式(4.2.3)得e2m(-tNt)+N(-t=0.Nt)e-mt=nt),则nt)+n(-t)=0,Nt)=nt)emt,从而有Ftx)=xe2mt+nt)emt.

充分性 由于Ftx)=xe2mt+nt)emt,则

F(-tFtx))=F(0,x)=x.

显然该函数为方程

的反射函数.

推论4.2.1 函数Ftx)=x+nt)为某个微分方程的反射函数,当且仅当,nt)为奇函数.

Ftx)=x+nt)为某个微分方程的反射函数,当且仅当,F(-tFtx))=F(0,x)=x,即nt)+n(-t)=0.

定理4.2.1 具有连续可微右端函数的微分方程以式(4.2.2)为反射函数,当且仅当,该微分方程可以表示成

这里Rtx)为任意连续可微函数.

该结论可与第2章定理2.2.2同理可得.

在该定理中取mt)≡0,则得:

推论4.2.2 具有连续可微右端函数的微分方程以Ftx)=x+nt)为反射函数,当且仅当,该微分方程可以表示成

这里Rtx)为任意连续可微函数.

定理4.2.2 假设

1)方程(4.2.5)的右端为t的2ω-周期函数;

2)mt),nt)为连续可微的奇函数;

3)Rtx)在R2上连续可微;

4)方程(4.2.5)的解在[-ωω]上有定义,

i)当mω)≠0时,方程(4.2.5)具有唯一2ω-周期解,且该周期解,当mω)>0时渐近稳定,当mω)<0时不稳定;

ii)当mω)=nω)=0时,方程(4.2.5)的一切解皆是2ω-周期解;

iii)当mω)=0,nω)≠0时,方程(4.2.5)不存在2ω-周期解.

设方程(4.2.5)的反射函数为(4.2.2),则其Poincaré映射为

Tx)=F(-ωx)=xe2m(-ω+n(-ω)em(-ω

=xe-2mω-nω)e-mω.

由此及第2章的基本引理2.1.1即得该定理的结论.

例4.2.1 微分方程

具有形如式(4.2.2)的反射函数,当且仅当,

bt)+b(-t)cosαt)+c(-t)sinαt)≡0;

ct)-b(-t)sinαt)+c(-t)cosαt)≡0.

这里

并且此时,该微分方程的反射函数为Ftx)=x+αt.若方程(4.2.6)中at),bt),ct)为2ω-周期连续可微函数.则当αω)=0时,方程(4.2.6)所有在[-ωω]上有意义的解皆为2ω-周期解.αω)≠0时,方程(4.2.6)不存在2ω-周期解.

例4.2.2 微分方程

具有反射函数Ftx)=x+αt.其中at)为任意偶函数,αt)为任意奇函数,bt)为任意连续函数.

下面我们来讨论一阶微分方程

这里Xtx)在R2上连续关于x解析.

问题:方程(4.2.7)何时其反射函数为线性的?若是线性的,那如何寻找该线性反射函数?

根据反射函数的性质,我们知道式(4.2.1)为系统(4.2.7)的反射函数,当且仅当

M′tx+N′t)+MtXtx)+X(-tMtx+Nt))≡0,(www.daowen.com)

M(0)=1,N(0)=0. (4.2.8)由于Xtx)关于x解析,从而关于x可任意阶求导,则有

N′t)+MtXt,0)+X(-tNt))≡0; (4.2.9)

M′t)+MtX(1)t,0)+MtX(1)(-tNt))≡0; (4.2.10)

MtXit,0)+MitXi(-tNt))≡0(i=2,3,…) (4.2.11)

这里XiXtx)关于xi阶偏导数.

因此,式(4.2.1)为微分系统(4.2.7)的反射函数的充要条件是式(4.2.9)~式(4.2.11)同时成立.

若方程(4.2.7)为线性方程时,我们可以求出其通解,从而其反射函数Ftx)=φ(-ttx.若方程(4.2.7)不是线性方程时,方程(4.2.11)中至少有一个不是恒等式,从而由式(4.2.9)~式(4.2.11)可以解出Mt),Nt),从而Ftx)就可以求出.

现在我们考虑Riccati方程

这里at),bt),ct)连续可微,tR.

对于Riccati方程,方程(4.2.9)~方程(4.2.11)变为

N′+Mat)+a(-t)+b(-tN+c(-tN2≡0; (4.2.13)

M′+M[bt)+b(-t)+2c(-tNt)]≡0; (4.2.14)

2Mct)+2M2c(-t)≡0. (4.2.15)

由式(4.2.15)得Mt)=e2mtct)+c(-t)e2mt≡0.rt)=ct)e-mt,则rt)+rt)≡0,从而r2t)≡-rtr(-t)≡-ctc(-t),因此ctc(-t)≤0,

978-7-111-47659-7-Chapter04-47.jpg

又由rt)=ct)e-mt978-7-111-47659-7-Chapter04-48.jpg,则978-7-111-47659-7-Chapter04-49.jpg978-7-111-47659-7-Chapter04-50.jpg.将此代入式(4.2.13)和式(4.2.14)后解出Nt),从而Ftx)的表达式就有了.

现在我们来看看Riccati方程(4.2.12)具有形如Ftx)=Mtx的反射函数的条件.

定理4.2.3Ftx)=Mtx为Riccati方程(4.2.12)的反射函数,当且仅当,函数

t的奇函数.此时

必要性 设Ftx)=Mtx为方程(4.2.12)的反射函数,则

由上第二式得978-7-111-47659-7-Chapter04-54.jpg,将此式代入上面其他两式得

因此必要性得证.

充分性 在条件(4.2.16)成立时,可直接验证(4.2.12)的反射函数.978-7-111-47659-7-Chapter04-56.jpg为方程

定理4.2.4 假设函数(4.2.16)为奇函数,方程(4.2.12)的系数函数为连续的2ω-周期函数,且方程(4.2.12)的解φt;-ω,0)在[-ωω]上有意义,则

1)当978-7-111-47659-7-Chapter04-57.jpg时,方程(4.2.12)有唯一2ω-周期解φt,0)且稳定;

2)当978-7-111-47659-7-Chapter04-58.jpg时,方程(4.2.12)的唯一2ω-周期解不稳定;3)当978-7-111-47659-7-Chapter04-59.jpg时,方程(4.2.12)在[ω]上有意义的解均为2ω-周期解.

由定理4.2.3得,方程(4.2.12)的Poincaré映射

由此即可得上述结论.

现在我们来讨论微分方程

这里ait)在R上连续(i=0,1,2,…,l.由于上式右端为x的解析函数,则关系式(4.2.9)~式(4.2.11)等价于

k=l-1,k=l时式(4.2.20)变为

Mal-1t)+Ml-1[al-1(-t)+lal(-tN]=0; (4.2.21)

Malt)+Mlal(-t)=0. (4.2.22)

又由引理4.2.1得M=e2mtN=nt)emtmt),nt)为奇函数.将此代入式(4.2.21)和式(4.2.22)得

al-1t)+e2l-2mt[al-1(-t)+lal(-tnt)emt]=0; (4.2.23)

alt)+al(-t)e2(l-1)mt=0. (4.2.24)

不失一般性,令

alt)=αt)el-1)mt. (4.2.25)

将此代入式(4.2.24)得αt)+α(-t)≡0,由此及式(4.2.25)得

α2t)=-αtα(-t)=-alt)e(1-lmtal(-t)e(1-lm(-t

=-altal(-t),

由此,我们可以假设altal(-t)≤0,且具有式(4.2.25)形式,其中αt)为连续的奇函数.则由式(4.2.25)得

又由式(4.2.23)得

lal(-tnt)emt=-al-1t)e2(2-lmt-al-1(-t),

从而

因此,Ftx)=e2mtx+nt)emt就可用方程(4.2.17)的系数来表示.再验证反射函数的基本关系式,即可推得ait)(i=0,1,2,…,l)所应满足关系式,这样就回答了何时微分方程(4.2.17)具有Ftx)=e2mtx+nt)emt形式的反射函数.

对于微分系统(n>1),何时具有Ftx)=Mtx+Nt)的反射函数?可以类似推得.

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

我要反馈