1. 引言
自上世纪三四十年代以来,部分学者开始研究方程
(1)
解的问题,至今仍有学者继续研究,并且非常具有研究价值,在实数域中已经开始研究分数阶微分方程,但是在复数域研究最多的是二阶线性微分方程解的增长性,在许多学者的不断努力下,很多这一方面的问题已经得到解决,其中最为杰出的是来自美国University of New Orleans的著名函数论专家Gary G. Gunderse和来自芬兰University of Eastern Finland的Janne Heittokangas教授,国内的伍鹏程教授、温智涛老师以及他们的团队仍然在继续该方面的研究。研究形如(1)式的微分方程解的性质,主要讨论的是系数
和
的一些性质来确定解f的增长性,I. Amemiya和M. Ozawa [1],G. Gunderse [2] 几位学者都研究过这个问题。起初是研究
和
的阶数,或者固定其中一个系数研究另一个系数的性质来确定解的阶数的有限性,但是随着研究的时间推移,研究的学者变得越来越少,直至两位教授将指数多项式引入,并进行推广得到对偶指数多项式以及强对偶指数多项式,并且将解f与系数
通过对偶指数多项式直接联系到一起,这让问题变得简单化,不仅仅为二阶线性微分方程的研究开辟了新的天地,对n阶(
)复线性微分方程也提供了新思路的思路,除了在线性微分方程的应用还有在零点分布中得到了应用,还在2019年推广了Polya和Schwengeler在20世纪20年代的一些结果,其中表明f的临界射线恰好是f的q阶Borel方向。原由Steinmetz引入的
和
渐近方程的误差项也得到了改进 [3]。所以指数多项式的研究前景很广阔,可以涉及到这个方向上的各个方面。
鉴于此,将着重综述指数多项式、对偶指数多项式,强对偶指数多项式的定义以及在线性微分方程中应用的研究进展、尚未解决的具有研究价值的问题,在此基础上展望未来的研究方向和内容。
2. 发展历程
本节主要阐述指数和的背景,首先介绍指数和,指数和是一个整函数,可以写成如下形式 [1]:
(2)
其中系数
为多项式且满足
,
。常数
是两两不同的,被称为f的主导系数且
,
。
在2019年Janne Heittokangas教授在论文 [3] 中对指数和的背景有着详细的整理,对指数和的背景简要概括如下:关于指数和的研究至少可以追溯到1925年,R. Nevanlinna建立了亚纯函数的两个基本定理,开始了值分布理论的近代研究。几十年来,亚纯函数值分布理论的新发展都是以Neva-nlinna理论为基础。Ritt [4] 在1929年提出:如果两个常系数指数和比值为g是整函数,那么g也是一个指数和。这一关于指数多项式商的猜想历经近20年,直至1948年才被Lax [5] 利用一阶整函数和正规型整函数的性质将这一结果证明出来,这为后人研究指数多项式奠定了基础。随后在1958年著名数学家Shapiro提出一个重要猜想:如果两个指数和的多项式系数有无穷多公共零点,那么他们都是某个第三个指数和的倍数 [6]。这一猜想被称为Shapiro猜想,它让人联想到代数学里面环的知识,但是目前代数学研究的都是有限维的环,以及特殊的无限维,所以要想证明这一定理还需要代数学方向上的突破,如果Shapiro猜想被证明,会是这一领域的一大突破。在1931年Langer [7] 从常系数和实可公度系数、常系数和一般实指数、系数渐进恒定、共线复指数、一般复常数等方面综述了关于指数和和积分的零点的早期发展,这对后面指数多项式的发展与应用起到了很大的作用。
Janne Heittokangas教授和Gary G. Gundersen专家在2018年研究了具有指数多项式系数的线性微分方程,其中恰好有一个系数的增长极大于所有其他系数。主要结果表明,这类方程的非平凡指数多项式解与最高阶系数有一定的对偶关系。这是最早将对偶指数多项式的研究放在线性微分方程的应用中。Janne Heittokangas教授和Gary G. Gundersen专家以及温智涛老师在2021年研究了具有整系数的复线性微分方程,其中一个系数是指数多项式,并控制所有其它系数的增长。如果这样的方程有指数多项式解f,那么f的阶和主系数的阶相等,并且这两个函数具有一定的对偶性质。
到目前为止关于指数多项式的研究以Janne Heittokangas教授和Gary G. Gundersen专家为首的相关学者研究成果最为丰富,同时他们也研究了复动力系统。尤其是在近几年二阶复线性微分方程的解出现了瓶颈期的时候,他带领团队在指数多项式找到突破口,在2015年发现指数多项式的拓展——对偶指数多项式,并在2018年推广出强对偶指数多项式,这一发现还在任意正整数阶微分方程中得到应用于推广,这也让复线性微分方程的研究多了一份思路,为后来学者的研究打下了坚实的基础。在第三节主要阐述指数多项式以及其在二阶复线性微分方程中的应用。
3. 指数多项式
本节主要阐述指数多项式、对偶指数多项式与强对偶指数多项式的定义,说起这一方向贡献最大的人就不得不提起Gary G. Gunderse专家以及Janne Heittokangas教授,他们在 [8] [9] 中引入了指数多项式、对偶指数多项式与强对偶指数多项式的定义及其性质。
首先Ronkin L.在1992年引入完全正规增长 [10] (简称c.r.g.):如果一个整函数g是关于增长极
的有限型,并且
,在可能的零上密度异常集之外,这个集合对于每个
值是相同的,那么整函数g是完全正规增长的。指数多项式是c.r.g.的一个重要子类,在2015年Heittokangas J.指出指数多项式的一般形式 [9],
(3)
其中
和
是关于z的
阶的多项式
,并且这种形式的任何指数多项式都是c.r.g.的,多项式是指数多项式的一种特殊形式。
超越指数多项式 [10]:超越指数多项根据指数多项式可以写成一般形式如下:
(4)
其中f的阶为
,
是非零的并且两两不同,
是阶数小于等于
的指数多项式,使得对于
,
有
.
Steinmetz在1978年提出用
,
表示(4)中函数f的共轭主导系数集,有限集
的凸包
是有限多个包含W的封闭半平面的交点,因此每个封闭
要么是一个多边形,要么当共轭主导系数
共线时是一个线段。用
来表示
的周长。如果
是一个线段,则
等于该线段长度的两倍 [11]。
定理1 [11]:设f为给定(4)形式的式子,则
(5)
若
时,则
(6)
如果
时,则
(7)
Steinmetz在1980年 [12] 中提出了指数多项式商之间的关系:假设h是两个超越指数多项式的商,表示成
(8)
其中f是如同(4)的形式,g是一个如下的指数多项式
(9)
对于商h,定义集合
。h的迫近函数为
(10)
如果
则满足定理1的结论,所以Steinmetz是先找到了迫近函数的特殊形式,进而通过指数多项式的形式推导出迫近函数一般形式。
温智涛老师在2018年提出对偶指数多项式 [13]:假设f是如(4)的函数形式,如果非零的共轭主导系数
位于一条特定的射线
上,那么f被称为简单的指数多项式。设g是另一个简单的指数多项式且
,若g的非零主导系数都位于相反的射线
上,也就是说f与g的主导系数分别位于两条相反的射线上,则称f与g为对偶指数多项式。如果这样
与g的积的阶就会小于q,这样对研究二阶复线性微分方程打开了一个新的突破口。
Heittokangas在2021年发现强对偶指数多项式 [8],强对偶指数多项式一定是对偶指数多项式,对偶指数多项式不一定是强对偶指数多项式,强对偶指数多项式是指:假设f与g分别是可公度频率为
和
的对偶指数多项式,他们拥有相同的公共因子w,但是符号相反。如果
在一条包括原点在内的射线上,其中
。则f与g为强对偶指数多项式。
综上可以观察到:对偶指数多项式就是在对偶指数多项式得基础上加了一定的条件,并且引入了新的概念,这样使定义更加完整,使用起来更加方便。在对偶中强意味着
和
的乘积再次成为一个可公度的指数多项式,其中w或-w是一个公共因子,在
和
都为常数的情况下,导数
和
,
的每个乘积是一个可公度的指数多项式,其公因数与
和
的乘积具有相同的公因子。
4. 在二阶复线性微分方程中的应用
Heittokangas与I. Laine,K. Tohge在2021年 [8] 中针对对偶指数多项式在二阶复线性微分方程中的应用做出了最新的重要结论,其实在2015年Heittokangas教授就提出 [9] 指数多项式解在二阶复线性微分方程作为解并不罕见,此后他继续深入研究,在2021年对自己之前在2018年得出的结论 [9] 做出调整,主要有以下两个结果:
定理2 [8]:假设f与
是(1)中的超越指数多项式,
是满足
的整函数,则f与
是
阶的对偶指数多项式,f可标准化表示为
,其中
,
是阶数小于等于
的指数多项式。
这个定理是在他之前的论文 [9] 中得到的结论上进行的改进,主要是对
作了较弱的假设,但是得到了更强的结果,可以看出学者的不断探索与创新的精神,使自己的结果越来越好,越来越完善,为后面的学者铺路搭桥。
定理3 [8]:假设
是(1)的一个解,其中
是一个指数多项式,
是一个整函数并且满足
。则
常数
和一个非零多项式
使得:
(11)
这里的解f是(4)的特殊形式,阶数q为1的超越指数多项式,并且与
是对偶指数多项式,定理3与定理2是有联系的,定理3中的f,
,
满足定理一中的条件,是定理2的一种特殊形式。其实指数多项式的应用不仅在二阶复线性微分方程中,还有无穷阶的应用,以及零点分布中的应用还有微分方程的解的渐进式的研究也有很多。
5. 展望
指数多项式的研究任重而道远,运用非常之广泛,目前已经取得许多进展。迄今为止还有很多问题没有解决,需要我们深入研究,比如在2021年Heittokangas教授在最新的文章中提出的两个未解决的问题:
问题1 [8] 在定理2的假设下,阶数
,
为多项式,是否总是对的?
问题2 [8] 如果解的主导系数是q阶对偶指数多项式,那么所讨论的微分方程至少是
阶的吗?
除了以上两个问题,还有现在一直在研究的二阶复线性微分方程解的增长性的问题,对于这一类问题的研究,学者们已经进行了很长一段时间的探索,其中最为出名的是GOP-problem,虽然该问题已经有一部分被解决,但是还有很多思路值得后人去探索。希望在世界各国学者的努力下终有一天可以解决所有问题,为基础数学添砖加瓦。
致谢
作者非常感谢相关文献对本文的启发以及审稿专家提出的宝贵意见。
基金项目
本文获得贵州大学人才引进基金(N0201918)资助。