Pure Mathematics 理论数学, 2012, 2, 177-184 http://dx.doi.org/10.12677/pm.2012.24028 Published Online October 2012 (http://www.hanspub.org/journal/pm.html) The Relation between Solutions of a Class of Higher-Order Periodic Differential Equations with Functions of Small Growth Wei Lou, Zo ngxuan Chen School of Mathematical Sciences, South China Normal University, Guangzhou Email: 330136754@qq.com, chzx@vip.sina.com Received: Jul. 5th, 2012; revised: Jul. 19th, 2012; accepted: Jul. 27th, 2012 Abstract: In this paper we research the relation between solution of a class of higher-order periodic differen- tial equations with their first derivative, second derivative and functions of small growth. And then discuss fixed points and hyperorder of the class of solutions to get the character of their fixed points. Under the condi- tion of the higher-order periodic differential equations, the character of their fixed points is different from other general entire functions’. Keywords: Higher-Order Differential Equations; Fixed Point; Convergence Exponent; Entire Function; Hyperorder 一类高阶周期微分方程的解和小函数的关系 娄 伟,陈宗煊 华南师范大学数学科学学院,广州 Email: 330136754@qq.com, chzx@vip.sina.com 收稿日期:2012 年7月5日;修回日期:2012年7月19 日;录用日期:2012 年7月27日 摘 要:在本文中研究了一类高阶周期微分方程的解和它们的一阶,二阶导数与小函数之间的关系, 进而探讨这类解的不动点及超级的问题,得到它们的不动点性质,由于受到周期微分方程的制约,与 一般整函数的不动点性质相比有所不同。 关键词:高阶微分方程;收敛指数;整函数;不动点;超级 1. 引言与结果 在本文中,我们使用值分布论标准记号(见[1-3])。另外,我们还使用 f 表示亚纯函数 f z的级, f 表示 f z的零点收敛指数, f 表示 f z的不同零点序列的收敛指数。 我们还使用 f 表示亚纯函数f取小函数 的点的收敛指数。 陈宗煊在文[4]中证明了如下结果: 定理 A 假设 00, j Az j 1是整函数且 1 j A ,假设 a,b是复常数且和 a,那么方程 0ab b 10 0 az bz fAefAef (1.1) 的每一个解 0f 具有无穷极。 对于二阶线性微分方程的解及它们的一阶,二阶导数,微分多项式取小函数的点的性质,已经有大量的研 究成果,文[5]证明如下的结果: Copyright © 2012 Hanspub 177 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 定理 B 假设 00, j Az j 1是整函数且 1 j A ,假设 a,b是复常数且 0ab 和 ,如果 ab 0z 是有限级整函数,那么方程(1.1)的每一个解 0f 满足 f 。进一步,如果将 a加强为条件 或(0 < c < 1),则方程(1.1)的每一个解 b arg argabacb 0f 满足 ff f 。 定理 C 假设 00, j Az j 1是整函数且 1 j A 。假设 012 ,,dzdzdz是不全恒等于零的多项式, a,b是复常数且 和0arg argabab 或(0 < c < 1),acb 0z 是级小于 1的整函数,如果 0f 是方程(1.1) 0f 的一个整数解,那么微分多项式 210 g zdfdf df 满足 f 。 在文[6]中作者将较强的条件 或arg argabacb (0 < c < 1)减弱,得到如下结果: 定理 D 假设 是整函数且 00, j Az j 1 1 j A ,假设 a,b是复常数且 和0ab 1, 2ab,如果 0z 是级小于 1的整函数,那么方程(1.1)的每一个解 0f 满足 f ff 。 定理 E 假设 00, j Az j 1是整函数且 1 j A ,假设 012 ,,dzdzdz是不全恒等于零的多项式, a,b是复常数且 和0ab 1,32 , 43,2,3, 4ab,如果 0z 是级小于 1的整函数, 0f 是方程(1.1) 0f 的一个整数解,那么微分多项式 210 g zdfdf df 满足 f 。 考虑高阶周期线性微分方程 1 10 0 kk z k fpef pef z (1.2) 以及非齐次线性方程 1 101 kk 2 z zz kz f pefpefQeQe (1.3) 在本文中,我们深入研究了高阶周期微分方程的解和它们的一阶,二阶导数取小函数的点的性质,得到下 面的定理: 定理 1 假设 1 1 1, j j jj mz mz z z jjmj jm pe aeaeae 其中 1 1,, jj j mj jm aa a ,是常数且 是整数。假设存在0; 1 j jm j am 0, ,1 s ms k满足 。假设 max:0, , sj mmj 1, 1,ss, 1km 0z 是有限级整函数。那么方程(1.2)的每个解 0f 满足 f 。 定理 2 假设 z j pe如定理 1中表示,设存在 0, ,1 s ms k 满足 。 0, ,jmax:1,1, ,1 sj mm sskm 0z 是超越整函数且 1 ,或者是满足 deg 1 s 的 多项式。那么方程(1.2)的每个解 0f 满足 ff 。 定理 3 假设 1 1 1, j j jj mz mz z z jjmj jm pe aeaeae 且 0 degdeg z j pp e1对所有1成立。且jk 1 ,那么方程(1.2)的每个解 0f 满足 fff 。 由前面的问题可知,如果小函数 ,那么这些问题可以推导出高阶周期微分方程的解的不动点的性 质。对于一般整函数、亚纯函数的不动点,近些年来,人们已经取得了一系列丰硕成果(见[7])。一般超越整函 数可能没有或仅有有限多个不动点,例如 zz cz f zcez (c为任意非零常数)。([7],系理 2.2)指出:若f为超越 整函数,则 f fz 有无穷多个不动点。 文[8]中建立了二级零点收敛指数,二级不动点收敛指数的概念,得到了齐次与非齐次线性微分方程解的不 动点的个数的精确估计,并用超级,二级零点收敛指数,二级不动点收敛指数的概念进一步精确地估计了微分 方程的无穷极解的增长率,零点密度,不动点密度。 Copyright © 2012 Hanspub 178 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 在本文中,为进一步精确估计无穷级解的增长率,零点与不动点的密度,我们引入如下定义。 定义 1 假设 121 2 ,, ,0 jj zzzrr r 为超越整函数 f z的不动点,那么我们定义 f z的不动点的 收敛指数 f 为 1 log , lim log r Nr f z fr 。 定义 2 (见[9])设 f z为亚纯函数,那么我们定义 f z的超级 2 f 为 2 loglog , lim lo g r Trf fr 。 定义 3 假设 f z为整函数,那么我们定义 f z的二级不动点收敛指数 2 f 为 2 1 loglog , lim log r Nr f z fr 。 定义 4 假设 f z为整函数,那么我们定义 f z的二级零点收敛指数 2 f 为 2 1 loglog , lim , log r Nr f fr 定义 f z的二级不同零点收敛指数 2 f 为 2 1 loglog , mlog Nr li r f fr 。 本文将得到下面两个推论。 推论 1 假设 1 1 1, j j jj mz mz z z jjmj jm pe aeaeae 其中 1 1,, jj j mj jm aa a ,是常数且 是整数。假设存在0; 1 j jm j am 0, ,1 s ms k满足 。则方程(1.2)的所有非零解 max:0, , sj mmj 1, 1,ss, 1km f z有无穷多个不动点,且 ,ff 22 f 1f。 推论 2 假设 1 1 1 j j jj mz mz z z jjmjm pe aeaeae j , 1, 2 d Qzd是关于 z的多项式,存在 满足 0, ,1 s ms k max:0, ,1,1,,1 sj mmjsskm . 且,则方程(1.3)至多除去一个例外解,其他所有解有无穷多个不动点,且 , 。 1201 0 zzzz Qe Qepepe ff 22 1ff 2. 为证明定理所需的引理 在文[10]中定理 1.3的证明过程中,作者首先证明了下面的一个结论: 引理 1 假设 1 1 1, j j jj mz mz z z jjmj jm pe aeaeae 其中 1 1,, jj j mj jm aa a ,是常数且 是整数。假设存在0; 1 j jm j am 0, ,1 s ms k满足 。如果 max:0, , sj mmj 1, 1,ss, 1km 00 z pe ,那么方程(1 .1)的每个解 0f 满足 f 。 引理 2 ([10],定理 1.4)假设 1 1 1, j j jj mz mz z z jjmj jm pe aeaeae Copyright © 2012 Hanspub 179 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 其中 1 1,, jj j mj jm aa a ,是常数且 是整数。假设存在0; 1 j jm j am 0, ,1 s ms k满足 。 max:0, , sj mmj 1, 1,ss, 1km 1, 2 d Qzd是关于 z的多项式,如果 ,则方程(1.2) 最多有一个非平凡次正规解 00 z pe 0 f ,其他所有解满足 21f 。 引理 3 ([11],引理 6) 假设 是整函数, 0,,1,0 j Ajk F f z满足微分方程 1 11 kk k0 f AfAf A fF 且 max,0,1, ,10, j FAj kF 则 f ff 。 引理 4 ([12],引理 5.8) 假设 与 Gr H r为两个定义在(0, )内的非减实函数 1) 若除去一个有穷线测度的集合 E外有 Gr Hr,那么对任意的1 ,存在 使得对所有都有 0 r0 rr GrH r 。 2) 若存在一个集合 E,其对数测度 lmE ,使得当 rE 时 Gr Hr,那么对任意常数 e , 当 时有 1r GrH r 。 3. 定理 1的证明 假设 0f 是(1.2)的解,那么 f是整函数,且由引理 1可知 f 。令 0 g zfz z ,那么 和 0 g f 0 gf 。将 0 fg 代入(1.2),得到 11 01 00010 kzkzkzk kk gpeg pegpepe z (3.1) 我们注意到方程(3.1)可能具有有限级解,但这里我们可以仅讨论满足 0 gf 为无穷级的解,所以我们仅需对 方程(3.1)的无穷级整函数解 0 g 证明 0 g 成立。 由于方程(1.2)的所有非零解有无穷级及 z 是有限级整函数,我们可知 1 10 0 kzk z k pe pe 对方程(3.1),由[13]和 1 10 0 kzk z k pe pe 可知 00 gg ,即 f 。 4. 定理 2的证明 由定理 1的证明显然 f 成立,下面证 f 。 对方程(1.2)的两边进行微分,得到 11 112100 kk k zzz zz kkk fpefpepefpepefpf 0 (4.1) 由方程(1.2)可得到 1 0 kz f pe f fp 代人上面的方程中有 11 12 0 0 kkk kk fhfhfhf (4.2) 其中 00 1121210101 00 ,,, kkkkkk pp hp hppphppp pp 0 0 , p p k 将 1 111 ,,, kk fg fgfg 代人方程(4.2)有 11 111110110 , kk kk kk ghg hghghh 令 1 10 kk k hh h ,如果 ,则0h 12 0100 01001 0 kk k ppppppppp 0s mmz 。 当时,上面方程左边关于e的最高次项含有e,根据已知条件可得 0s mm Copyright © 2012 Hanspub 180 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 000 1 0000 0, sss ss msmsmsm msm aamaa maa 化简可得 。对方程变形两边求积分有 1 00 ss s mm 0 1dd s s szmm z,因为 是超越整函数 z 或者满足 deg 1 s 0 的多项式。可得 ,所 以。显 然,这与条件相矛盾, 所以 。 1 0 ss lnmm z 1smz e 1 h 当时,则有,即,矛盾,综上可知 0s mm2 00p 00p0h 。由文[13]能得到 1 gz ,即 f。定理 2证毕。 5. 定理 3的证明 由定理 2的证明方法可以类似的证得 ff 。下面证 f 。令 2 gz f , 则 2 gff 和 2 gf 。 对方程(4.1)的两边微分可得 21 1 112123 21010 0 22 220 kk k zzzzzz kkkkkk zzzzzz fpefpepefpepepef pe pepefpe pefpef k . 将 1 0 kz f pef fp 代人上式,再结合方程(4.2)有 21 10 kkk kk fHfHf Hf 2 (5.1) 其中 00 11 111 21 22 00 ,2 zz zzz z kkk kkk zz pe pe HpeHpepepe pe pe , 00 1 1123112 1 2 00 2 ,, zz zzzzzzz kkkkkk kk zz pe pe Hpepepepepepepe pe pe 00 1 22 102212 2 00 2, zz zzzz zzz zz pe pe H pepepepepepepe pe pe 00 11 012101 00 2, zz zz pe pe ppp ppp pe pe , 20及 。 将 2 22 2 ,,, kk fg fgfgk 代人方程(5.1)得到 11 212 2212 , kk kk kk gHg HgHH 令 1 1 kk k hHH 2 ,只需证明 0h 即可。假设 0h ,化简 2 H 可得 24 0 1 22 20 s m i p Hp ,由 ,可得成立。 0h 1 22 2 2020120 20 kk k ppH pH 由条件中的 0 deg deg j pp观察上式可知方程左边关于 e的最高次项含有。含有这项的是 ,所以 。从而与已知条件矛盾, 。 0 4mz e4 0 p 4 00p0h Copyright © 2012 Hanspub 181 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 由文[13]能得到 2 gz 。即 f 。定理 3得证。 6. 推论 1的证明 设 f z为方程(1.2)的解,由复域微分方程的基本理论可知 为整函数。令f g zfzz ,则 z为解 f z 的不动点的充分必要条件是 。由 0gz g zfzz 知 2 , 2 g fg f 。由定义知 f fz g 。 将 代入方程(1.2)有 fgz 1 1100 kk 1 z zz z kz g pegpegpegpezpe (6.1) 由已知条件可得,由引理 2可知方程(6.1)最多有一个例外解 01 0 zz pezpe 0 g 。其他所有解满足 。由方程(6.1)可知 gg 2 ,1g 0 g z 为方程(6.1)的例外解,从而 00 0fgz 为方程(1.2)的零 解。所以方程(1.2)的所有非零解有无穷多个不动点。又根据方程(6.1)中 01 max,0,1,,11, zz j pezpep jk 由引理 3可得 g g 。即有 fggf 。 由,下面只需证明 22 1fg 22 f f 。又因为 22 f g ,即证 22 g g 。设 为 g的n级零点,n > k,则由方程(6.1)知 为 0 z 0 z 10 z z epez p的n − k级零点。于是 01 11 1 ,,, z NrkNr Nr gg pezpe z (6.2) 方程(6.1)可以写成 1 11 01 11 kk k zz gg g pp ggg pezpe 0 p g 最多除去一个线性测度为有穷的子集 0,E对所有 rE 都有 1 01 01 11 ,,, ,0 j kk j jj zz g mr mrmrpmr gg pez pe 1 (6.3) 由(6.2)和(6.3 )得到对所有 r都有 E 1 01 01 1 0 111 ,, 01,,,,01 1 ,log,2,0log i kK j jj zz k j j g Trg TrTrkNrmrpmr gg pezpe kNrCrTr gTrpr g g 当r充分大时有 1 log ,, 2 CrTrgTrg 且对多项式 j p及ò0 当r充分大时有 ò ,0,1, j Trp rjk ,1 由上面可得当 rE 时有 ò 1 ,2 , 4TrgkNrkr g 由引理 4和(6.4)有 22 g g ,又由 2 g 和 2 g 的定义可得 22 g g , 22 g g 。综上所述有 。 22 1ff Copyright © 2012 Hanspub 182 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 7. 推论 2的证明 设 f z为方程(1.3)的解,由复域微分方程的基本理论可知 f为整函数。令 g zfzz,则 z为解 f z 的不动点的充分必要条件是 0gz。由 g zfzz 知 22 , g fg f 。由定义知 f fz g 。 将 f gz代入方程(1.2)有 1 110120 kk 1 z zzzzz kz g pegpegpegQeQe pezpe (7.1) 由已知条件可得方程右边不为 0,则方程(7.1) 至多除去一个例外解0 g 。其他所有解 g满足 ,gggff 。所以方程(1.3)至多除去一个例外解,其他所有解有无穷多个不动 点,且 ff 。 和推论 1的证明类似,下面只须证 22 g g 。设为g的n级零点,n,则由方程(7.1)知 为 0 zk0 z 120 1 z zz QeQepe zpe z 的n − k级零点。于是 120 1 11 1 ,,, zzzz NrkNr Nr gg QeQepe zpe (7.2) 方程(7.1)可以写成 1 11 120 1 11 kk k zzzz gg g pp ggg QeQepe zpe 0 p g 最多除去一个线性测度为有穷的子集 0,E,对所有 rE 都有 1 01 1201 11 ,,, ,0 j kk j jj zzzz g mr mrmrpmr gg QeQepe zpe 1 由上式和(7.2)得到对所有 都有 rE 1 0 1201 1 1 1 0 201 111 ,,01,, , 1 ,01,log,2,, ,,,0log k j j zzzz i Kk z j j j zzz Trg TrTrkNrmrp gg QeQepe zpe g mrkNrCrTrgTrpTrQe gg TrQ eTrp eTrper 当r充分大时有 1 log ,, 2 CrTrgTrg 且对多项式 j p及ò0 当r充分大时有 ò ,0,1, j Trp rjk ,1 由推论 1的证明可以得到 22 1ff 。由此推论 2得证。 参考文献 (References) [1] W. Hayman. Meromorphic function. Oxford: Clarendon Press, 1964. [2] I. Laine. Nevanlinna theory and complex differential equations. Berlin: W.de Gruyter, 1993. [3] 杨乐. 值分布论及其新研究[M]. 北京: 科学出版社, 1982. [4] Z. X. Chen. The growth of solutions of differential equation () 0. z fefQzf Science in China, Series, 2001, 31(9): 775-784. [5] Z. X. Chen. The relation between solution of a class of second order differential equation with functions of small growth. Chinese Annals of Mathematics, 2006, A27: 431-442. [6] 徐俊峰. 微分方程的解和小函数的关系[J]. 数学学报, 2010, 53(2): 291-296. Copyright © 2012 Hanspub 183 娄 伟,陈宗煊 一类高阶周期微分方程的解和小函数的关系 Copyright © 2012 Hanspub 184 [7] 庄圻泰, 杨重骏. 亚纯函数的不动点与分解论[M]. 北京: 北京大学出版社, 1988. [8] 陈宗煊. 二阶复域微分方程解的不动点和超级[J]. 数学物理学报, 2000, 20(3): 425-432. [9] 仪洪勋, 杨重骏. 亚纯函数唯一性定理[M]. 北京: 科学出版社, 1988. [10] Z.-X. Chen, K. H. Shon. Research article on subnormal solutions of periodic differential equations. Hindawi Publishing Corporation Abstract and Applied Analysis, 2010, Article ID: 170762. [11] 涂金, 陈宗煊, 曹廷彬. 某类高阶微分方程解的复振荡[J]. 江西师范大学报, 2005, 29(1): 8-11. [12] 何育赞, 肖修治. 代数体函数与常微分方程[M]. 北京: 科学出版社, 1988. [13] Z.-X. Chen. Zeros of meromorphic solutions of higher order linear differential equations. Analysis, 1994, 14(4): 425-438. |