王 权
(山西大同大学数学与计算机科学学院,山西大同 037009)
时标是测度链的一种特殊情形,我们通常用符号T来表示一个时标,如果T是实数集R上的一个非空的闭子集,我们称T是一个时标。
时标上动力方程振动理论是动力方程定性理论的一个重要分支,近年来受到国内外学者的广泛关注,见参考文献[1-5],关于时标的基本理论可见文献[6-7],在文献[8]中,赵建军,赵爱民讨论了时标上二阶中立型动力方程
的振动性,得到了方程所有解振动的充分条件。本文主要基于现有文献[8]基础上讨论时标上二阶中立型动力方程的振动性并进行分析证明,从而推广现有的结论。
本文讨论的问题,需要一些特定的背景,为此给出如下一些定义:
定义 1 任一时标 T,对 t∈T,设 infø:=supT,定义前跳算子 σ:T→T 为 σ(t)=inf{τ∈T:τ>t}对 t∈T,设 supø:=infT,定义后跳算子 ρ∶T→T 为 ρ(t)=sup{τ∈T:τ<t}。当 σ(t)=t时,称 t是右稠密的;当 σ(t)>t时,称t是右分散的。同样,当ρ(t)=t,ρ(t)<t时,分别称t是左稠密的和左分散的。如果T有右分散那的最小值点m,则Tk=T{m}。否则,Tk=T。 如果T存在左分散的最大值点M,则Tk=T{M}。否则,Tk=T。
定义2 定义μ(t):=σ(t)-t为时标上的链函数。对此我们还可以从微分方程的未知函数定义域R和差分方程未知函数定义域Z来理解,当T=R时,μ(t)=0,σ(t)=t,ρ(t)=t,定义域内每一点既是左稠密点又是右稠密点,即稠密点;当T=Z时,μ(t)=1,σ(t)=t+1,ρ(t)=t-1,定义域内每一个点都既是左分散点又是右分散点,即分散点。
定义3 如果a,b∈T,则我们定义[a,b]={t∈T∶a≤t≤b}。如果 b是左稠密点,则有[a,b]k=[a,b],如果是左分散点,则有[a,b]k=[a,b)。
定义4 函数f:T→R,t∈T(如果t=supT,则认为t不是左分散的),如果对于∀ε>0,存在t的某个领域U,使得对于所有的s∈U,有
则称函数f在点t处是△可导的,记作f△(t)(如果极限存在)。
定义5 函数f:T→R,t∈TK,如果有实数f▽(t),使得对∀ε>0,存在 t的一个开领域 U(即 U=(t-δ,tδ)∩T, δ>0 为某一实数),对所有的 s∈U,都有
成立,则称f▽(t)为f在t点的▽-导数。
定义6 函数f是右稠密连续的是指f在右稠密点连续且在左稠密点左极限存在。也称f为连续的。记为f∈Crd(T,R)。
如果函数f是右稠密连续的,则存在一个函数F(t)满足 F▽(t)=f(t),这时,有
考虑时间尺度上的二阶中立型动力方程
解的振动性,其中 pi∈Crd(T,R+),τ,δi∈(0,∞),使得对所有 t∈T,有 t-τ,t-δi∈T,fi∈C(T×R,R),i=1,2,…,n,并得到方程所有解振动的充分条件,推广了文献[8]中的相关结果。
我们先给出所需条件:
(H1)存在 P∈(0,1),使对充分大的 t∈T,成立。
(H2)对 i= 1,2,…,n,存在∈(CR,R),qi∈Crd(T,R+),单调不减,使当 u≠0 时有(u)>0 且
相关结果及其证明
引理 1 设(H1),(H2)成立,δi>τ,i=1,2,…,n。如果
且
此引理的证明在文献[8]已有详细描述,这里略过。
引理 2 设(H1),(H2)及(3)成立,δi>τ,i=1,2,…,n。如果
证明过程与引理1类似,我们指引用其相关描述方法。
证明 假设(1)存在最终负解x(t),则存在t0>0,使得对于任意的t≥t0时令通过方程(1)有且 y△△(t)最终不恒为零,其中于是 y△(t)单调不增。
首先假设
否则存在 t1≥t0,使 y△(t1)>0,从而有
y△(t)≤y△(t1),t∈[t1,∞)。
则有
与(6)矛盾,故(5)成立。同样假设
由(5)知 y(t)在[t0+δ,∞)上是单调递减的。如果(7)不成立,则存在 t1∈(t0+δ,∞),使 y(t1)<0,从而,当 t≥t1时有
从而由方程(1),当 t≥t2=t1+δ时,有
这样推导出
与条件(3)矛盾,故(7)成立。 并且,当t>t0时有
还是由方程(1)知,当 t>t0+δ时,有
从t到∞积分,可得到
再结合f的单调性,就有
令 z(t)=-P-1y(t),则 z(t)<0,且满足
注意到z△(t)≥0且F(u)关于u单调不减,由△导数的链式法则有
从而有
对于 T>t1≥t0+δ由(8)与条件(2)可以得到
同时利用条件(3)我们还可以得到
可以看到(9)和(10)矛盾,也就是最初的假设方程(1)存在最终负解不成立,引理证毕.
从引理1和引理2我们可以推导出
定理 设(H1),(H2)及(3)成立,δi>τ,i=1,2,…,n。如果有
那么方程(1)所有解振动。
将以上所讨论的结果加以推广可得到以下结论:
对于如下时标上二阶中立型动力方程:
其中,pi∈Crd(T,R+),δi∈(0,∞),τ(t)∈C1(0,∞)且存在点 tz∈T 使得在(tz,∞)上 τ'(t)<1,对所有 t∈T 有
t-τ(t),t-δi∈T,fi∈C(T×R,R),i=1,2,…,n。
当以下3个条件:
(H1)存在 p∈(0,1),使对充分大的 t∈T,pi(t)≤P成立;
(H2)对 i=1,2,…,n,存在∈C(R,R),qi∈Crd(T,R+),单调不减,使当 u≠0 时有 u(u)>0 且fi(t,μ)/(u)≥qi(t);
(H3)假设(H1),(H2)成立,当 δi>τ(t),i=1,2,…,n时,有成立时,如果则方程(1)的所有解振动。此结论推广了文献[8]中的定理。
[1]刘月华,陈亚波.二阶线性中立型时滞差分方程非振动解的存在性[J].湖南农业大学学报,2001,27(1):76-78.
[2]刘爱莲,朱思铭,吴洪武.二阶时标动力系统的振动准则[J].中山大学学报:自然科学版,2004,43(2):9-12.
[3]唐先华,庾建设.具正负系数中立型时滞方程的正解[J].数学学报,1999.42(5):795-802.
[4]郭上江,黄立宏.具正负系数中立型时滞差分方程振动解和最终解的存在性[J].湖南大学学报:自然科学版,2000.27(6):1-3.
[5]魏俊杰.一阶偏差元微分方程的充要条件及其应用[J].数学学报,1989.32(5):632-638.
[6]Lakshm Ikantham V,Sivasundaram S,Kaymakcalan B.Dynamic System on Measure Chinas[M].Boston:Kluwer Academic Publisher,1996.
[7]Martn Bohner,Allan Peterson.Dynamic Equations on Time Scales,An Introduction with Applications[M].Boston:Birkhauser,2001.
[8]赵爱民,赵建军.时标上二阶中立型动力方程的振动性[J].山西大学学报:自然科学版,2007.30(2):133-135.