在数学上,指数多项式(exponential polynomials)是一类定义于交换群、环、域等之上,并同时有著带变数多项式和指数函数的函数。
指数多项式是同时带有变数和某种指数函数的多项式。在复数域中,将映至的常规指数函数就是这样的指数函数。在这情境下,指数多项式一般指的是形如且的双变数多项式。[1][2]
复数域并无特别之处;指数多项式也可指称任何指数域或指数环上的多项式,其中可代以这些环或域中相对应的指数函数;[3]类似地,并无理由认为这样的函数只能有一个变数,而一个个变数的指数多项式会是有著这样的形式、带有个变数的多项式。
对于域上的指数多项式的形式,可处理如次:[4]设为中的有限生成Z-子模,并考虑如下的和:
其中是中的多项式,而则是中有著“”这样的性质、以为指数的形式符号。
更加一般的情境下,一个“指数多项式”一词可能会出现的地方,是交换群的指数函数。
和指数域对指数函数的定义类似,一个将拓朴交换群的元素映至复数域的加法群上的同态映射称为加法函数;而将之映至复数域的非零元素构成的乘法群上的同态映射则称为指数函数,或简称指数。加法函数与指数函数的乘积称为指数单项式;而这些单项式的线性组合,就称为上的指数多项式。[5][6]
Ritt定理(Ritt's theorem)指出,类似唯一分解定理和因式定理的定理,在指数多项式环上成立。[4]
定义于实数或复数上的指数多项式常出现于超越数论,在其中,这类函数出现于使用指数函数的证明中。指数多项式也是模型论和解析几何间的连结。若将指数变体给定义为上的点,在其中某数量有限的指数多项式会倾向消失(vanish)的话,那么就可利用诸如解析几何中的Khovanskiǐ定理和模型论中的Wilkie定理等定理证明说,在允许包含更高维的指数变体的投影的像的状况下,这些指数变体会有著良好的行为,也就是这些变体所构成的集合,在集合论运算下是稳定的。实际上,前述的这两个定理可推出说实数所有的指数变体构成一个实数上的最小o结构(o-minimal structure)。
指数多项式也出现在线性时滞微分方程的特征方程中。
C. J. Moreno, The zeros of exponential polynomials, Compositio Mathematica 26 (1973), pp.69–78.
M. Waldschmidt, Diophantine approximation on linear algebraic groups, Springer, 2000.
Martin Bays, Jonathan Kirby, A.J. Wilkie, A Schanuel property for exponentially transcendental powers, (2008), arXiv:0810.4457v1 (页面存档备份,存于互联网档案馆)
László Székelyhidi, On the extension of exponential polynomials, Mathematica Bohemica 125 (2000), pp.365–370.
P. G. Laird, On characterizations of exponential polynomials, Pacific Journal of Mathematics 80 (1979), pp.503–507.