高阶线性微分方程亚纯解同小函数的关系
The Relations between Solutions of High Order Complex Domain Differential Equation and Small Functions
DOI: 10.12677/PM.2016.65053, PDF, HTML, XML,   
作者: 丁逸韬*, 肖丽鹏:江西师范大学数学与信息科学学院,江西 南昌
关键词: 高阶线性微分方程不动点小函数Periodic Higher Order Linear Differential Equations Fixed Point Small Functions
摘要: 本文研究了高阶线性微分方程亚纯解的不动点及亚纯解同小函数的关系问题,得到了微分方程亚纯解的一些性质。
Abstract: In this paper, we investigate the problems on fixed points and hyper-order of solutions of high order differential equations with meromorphic coefficients, and we obtain the precise properties of high solutions of linear differential equations.
文章引用:丁逸韬, 肖丽鹏. 高阶线性微分方程亚纯解同小函数的关系[J]. 理论数学, 2016, 6(5): 391-397. http://dx.doi.org/10.12677/PM.2016.65053

1. 引言与结果

本文将使用值分布的标准记号 [1] - [3] ,用表示亚纯函数的级和下级,用表示亚纯函数的零点收敛指数和不同零点收敛指数,并引入以下定义:

定义1 [4] 亚纯函数的超级定义

定义2 [5] 亚纯函数的二级零点收敛指数定义为

的二级不同零点收敛指数定义为

定义3 [6] 假设为亚纯函数,那么我们定义的不动点的收敛指数

定义4 [6] 假设为亚纯函数,那么我们定义的二级不动点的收敛指数

自文献 [7] - [9] 以来,国际上分别对复域齐次与非齐次线性微分方程解的零点与增长性进行了许多研究,且人们用超级的概念对齐次线性微分方程的无穷解作出了更精确的估计。对于线性微分方程大量的无穷级亚纯解,如何得到其不动点的个数的精确估计,并用超级、二级零点收敛指数、二级不同零点收敛指数的概念进一步地估计微分方程的无穷解的增长性、零点密度及不动点密度,陈宗煊在文献 [5] 中首次得到了几种类型二阶线性微分方程整函数解的不动点性质,得到了以下结果:

定理A 假设为多项式,次数,那么微分方程

(1)

的所有非零解有无穷多个不动点,且满足:

陈玉、陈宗煊、廖莉在文献 [10] 中研究了高阶复域微分方程亚纯解的不动点与超级,得到了以下结果:

定理B 假设是亚纯函数,满足,如果微分方程

(2)

有亚纯解,且,我们有

i) 如果,那么至多有一个例外解,方程(2)的其它所有非零解都有无穷多个不动点,且满足

ii )进一步地,如果,那么方程(2)的所有非零亚纯解都有无穷多个不动点,且满足

本文将在更宽泛的条件下,考虑方程(2)的非零亚纯解以及解的一阶导函数同小函数的关系。

定理1 假设是有限级亚纯函数,满足,且不是方程(2)的解,如果是方程(2)的亚纯解,且。那么

i)

ii) 进一步,若,则

定理2 假设是有限级亚纯函数,满足,且不是微分方程

(3)

的解,如果方程(3)有非零亚纯解,且。那么

i),至多除去一个例外;

ii) 进一步,若,则,至多除去一个例外。

定理3 假设是有限级亚纯函数,满足,且不是微分方程(3)的解,如果方程(3)有非零亚纯解,且,那么

i),至多除去一个例外;

ii) 进一步,若,则,至多除去一个例外。

注记1 将定理1,定理2,定理3条件变换成,定理1,定理2,定理3结论仍然成立。

注记2 令,可以分别得到方程(2)及方程(3)非零亚纯解的不动点性质。

推论1 假设是亚纯函数,满足,且。如果是方程(2)的亚纯解,且。则满足

推论2 假设是有限级亚纯函数,满足,如果方程(3)有非零亚纯解,且,那么,有无穷多个不动点,且满足,至多除去一个例外。

推论3 假设,是有限级亚纯函数,满足,且,如果方程(3)有非零亚纯解,且,那么,有无穷多个不动点,且满足,至多除去一个例外;进一步地,如果,则

2. 预备知识及引理

引理1 [11] 假设是亚纯函数,满足,且满足条件。如果是方程(2)的亚纯解,且。则满足

类似文献 [11] 中定理2的证明方法,我们可得到以下引理:

引理2 假设是有限级亚纯函数,满足,如果方程(3)有非零亚纯解,且,那么

i)

ii)。若,则,至多除去一个例外。

引理3 假设是有穷级亚纯函数,满足,且,如果方程(3)有非零亚纯解,且,那么

i),至多除去一个例外。进一步地,若,则,至多可能除去一个例外;

ii),至多可能除去一个例外。进一步地,若,则,至多可能除去一个例外。

证明 i):若,由引理1知。若,假设方程(3)存在两个互不相等的解,满足,那么。又是方程(2)的解,由引理1得,矛盾,故,至多可能除去一个例外。进一步地,若,由引理2知,至多可能除去一个例外。

ii):类似i)的证明可得。

3. 定理的证明

定理1的证明:i) 假设是方程(2)的非零亚纯解,且,由引理1知,。令,则,且,将代入方程(2),得到

(4)

。由不是方程(2)的解知,于是方程(4)可以写成

(5)

故有

(6)

为常数,下面都代表常数,取值可能不同。考虑方程(5),假设的一个阶零点,则至少是阶零点,所以有

(7)

又因为,除去一个线测度为有穷的集合,所以由(6) (7)式得

(8)

,所以。由引理1得

ii) 令,则,且。对方程(2)两边微分得到

(9)

又由方程(2)

(10)

故有

(11)

,则由定理条件知。于是,方程(11)变成

(12)

对方程(12)式运用类似(6)~(8)式的方法得到

(13)

所以,故,即

定理2的证明:i) 假设是方程(3)的非零亚纯解,且。令,则,且,将代入方程(3),得到

(14)

,由于不是方程(3)的解,知。于是方程(14)可以写成

(15)

对方程(15)运用类似(6)~(8)式的方法得到

(16)

,所以。由引理2得,至多除去一个例外。

ii) 令,则,由引理2得。对方程(3)两边微分得到

(17)

又由方程(3)

(18)

故有

(19)

,由已知条件知

于是,方程(19)变为

(20)

对方程(20)运用类似(6)~(8)式的方法得到

(21)

所以,故,由引理2知即,至多除去一个例外。

定理3的证明:由引理3知,,至多可能除去一个例外。由定理1,定理2的证明方法及结论易得。

参考文献

[1] Hayman, W. (1964) Meromorphic Functions. Clarendon Press, Oxford.
[2] 杨乐. 值分布论及其新研究[M]. 北京: 科学出版社, 1982.
[3] 何育赞, 肖修治. 代数体函数和常微分方程[M]. 北京: 科学出版社, 1988.
[4] 仪洪勋, 杨重骏. 亚纯函数唯一性理论[M]. 北京: 科学出版社, 1995.
[5] 陈宗煊. 二阶复域微分方程解的不动点与超级[J]. 数学物理学报, 2000, 20(3): 425-432.
[6] 陈玉, 陈宗煊. 二阶复域微分方程亚纯解的不动点与超级[J]. 大学数学, 2006, 22(6): 78-81.
[7] Bank, S. and Laine, I. (1982) On the Oscillation Theory of $f''+Af=0$ Where $A$ Is Entire. Transactions of the American Mathematical Society, 273, 351-363. http://dx.doi.org/10.2307/1999210
[8] Gao, S.A. (1989) On the Complex Oscillation of Solutions of Nonhomogeneous Linear Differential Equations with Polynomial Coefficients. Comment Mathematici Universitatis Sancti Pauli, 38, 11-20.
[9] Kwon, K.-H. (1996) Nonexistence of Finite Order Solutions of Certain Second Order Linear Differential equations. Kodai Mathematical Journal, 19, 378-387. http://dx.doi.org/10.2996/kmj/1138043654
[10] 陈玉, 陈宗煊, 廖莉. 高阶复域微分方程亚纯解的不动点与超级[J]. 江西师范大学学报, 2006, 30(3): 241-243.
[11] 陈玉, 陈宗煊. 几类高阶复域微分方程亚纯解的增长性[J]. 数学研究与评论, 2007, 27(4): 826-832.