指数多项式
在数学上,指数多项式(exponential polynomials)是一类定义于交换群、环、域等之上,并同时有著带变数多项式和指数函数的函数。
定义
域上的定义
指数多项式是同时带有变数 和某种指数函数 的多项式。在复数域 中,将 映至 的常规指数函数就是这样的指数函数。在这情境下,指数多项式一般指的是形如 且 的双变数多项式。[1][2]
复数域 并无特别之处;指数多项式也可指称任何指数域或指数环上的多项式,其中 可代以这些环或域中相对应的指数函数;[3]类似地,并无理由认为这样的函数只能有一个变数,而一个 个变数的指数多项式会是有著 这样的形式、带有 个变数的多项式。
对于域 上的指数多项式的形式,可处理如次:[4]设 为 中的有限生成Z-子模,并考虑如下的和:
其中 是 中的多项式,而 则是 中有著“ ”这样的性质、以 为指数的形式符号。
交换群上的定义
更加一般的情境下,一个“指数多项式”一词可能会出现的地方,是交换群的指数函数。
和指数域对指数函数的定义类似,一个将拓朴交换群 的元素映至复数域的加法群上的同态映射称为加法函数;而将之映至复数域的非零元素构成的乘法群上的同态映射则称为指数函数,或简称指数。加法函数与指数函数的乘积称为指数单项式;而这些单项式的线性组合,就称为 上的指数多项式。[5][6]
性质
应用
定义于实数或复数上的指数多项式常出现于超越数论,在其中,这类函数出现于使用指数函数的证明中。指数多项式也是模型论和解析几何间的连结。若将指数变体给定义为 上的点,在其中某数量有限的指数多项式会倾向消失(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 (页面存档备份,存于互联网档案馆)
- ^ 4.0 4.1 Everest, Graham; van der Poorten, Alf; Shparlinski, Igor; Ward, Thomas. Recurrence sequences. Mathematical Surveys and Monographs 104. Providence, RI: American Mathematical Society. 2003: 140. ISBN 0-8218-3387-1. Zbl 1033.11006.
- ^ 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.