设为首页 加入收藏 期刊导航 网站地图
  • 首页
  • 期刊
    • 数学与物理
    • 地球与环境
    • 信息通讯
    • 经济与管理
    • 生命科学
    • 工程技术
    • 医药卫生
    • 人文社科
    • 化学与材料
  • 会议
  • 合作
  • 新闻
  • 我们
  • 招聘
  • 千人智库
  • 我要投搞
  • 办刊

期刊菜单

  • ●领域
  • ●编委
  • ●投稿须知
  • ●最新文章
  • ●检索
  • ●投稿

文章导航

  • ●Abstract
  • ●Full-Text PDF
  • ●Full-Text HTML
  • ●Full-Text ePUB
  • ●Linked References
  • ●How to Cite this Article
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 argabacb


0f


满足








ff f
 

  
。

定理 C 假设
 


00,
j
Az j
1是整函数且


1
j
A


。假设






012
,,dzdzdz是不全恒等于零的多项式,
a,b是复常数且 和0arg argabab

或(0 < c < 1),acb




0z



是级小于 1的整函数,如果

0f

是方程(1.1)


0f

的一个整数解,那么微分多项式

210
g
zdfdf
 
 df
满足


f


。
在文[6]中作者将较强的条件 或arg argabacb

(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, ,jmax:1,1, ,1
sj
mm sskm




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
fr





。
本文将得到下面两个推论。
推论 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
mmjsskm

.
且,则方程(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
mm2
00p

00p0h

。由文[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
pp观察上式可知方程左边关于 e的最高次项含有。含有这项的是 ,所以
。从而与已知条件矛盾, 。
0
4mz
e4
0
p
4
00p0h
Copyright © 2012 Hanspub 181
娄 伟,陈宗煊  一类高阶周期微分方程的解和小函数的关系
由文[13]能得到


2
gz

。即

f



。定理 3得证。
6. 推论 1的证明
设

f
z为方程(1.2)的解,由复域微分方程的基本理论可知 为整函数。令f


g
zfzz
,则 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
zfzz,则 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
zk0
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.

版权所有:汉斯出版社 (Hans Publishers) Copyright © 2012 Hans Publishers Inc. All rights reserved.