指數多項式

指數多項式是同時帶有變數${\displaystyle x}$和某種指數函數${\displaystyle E(x)}$的多項式。在複數域${\displaystyle \mathrm {C} }$中，將${\displaystyle x}$映至${\displaystyle e^{x}}$的常規指數函數就是這樣的指數函數。在這情境下，指數多項式一般指的是形如${\displaystyle P(x,e^{x})}$且${\displaystyle P(x,e^{x})\in \mathrm {C} }$的雙變數多項式。[1][2]

複數域${\displaystyle \mathrm {C} }$並無特別之處；指數多項式也可指稱任何指數域或指數環上的多項式，其中${\displaystyle e^{x}}$可代以這些環或域中相對應的指數函數；[3]類似地，並無理由認為這樣的函數只能有一個變數，而一個${\displaystyle n}$個變數的指數多項式會是有著${\displaystyle P(x_{1},\cdots ,x_{n},e^{x_{1}},\cdots ,e^{x_{n}})}$這樣的形式、帶有${\displaystyle 2n}$個變數的多項式。

對於域${\displaystyle K}$上的指數多項式的形式，可處理如次：[4]設${\displaystyle W}$為${\displaystyle K}$中的有限生成Z-子模，並考慮如下的和：

${\displaystyle \sum _{i=1}^{m}f_{i}(X)\exp(w_{i}X)}$

其中${\displaystyle f_{i}}$是${\displaystyle K[X]}$中的多項式，而${\displaystyle \exp(w_{i}X)}$則是${\displaystyle W}$中有著「${\displaystyle \exp(u+v)=\exp(u)\exp(v)}$」這樣的性質、以${\displaystyle w_{i}}$為指數的形式符號。

更加一般的情境下，一個「指數多項式」一詞可能會出現的地方，是交換群的指數函數。

和指數域對指數函數的定義類似，一個將拓樸交換群${\displaystyle \mathrm {G} }$的元素映至複數域的加法群上的同態映射稱為加法函數；而將之映至複數域的非零元素構成的乘法群上的同態映射則稱為指數函數，或簡稱指數。加法函數與指數函數的乘積稱為指數單項式；而這些單項式的線性組合，就稱為${\displaystyle \mathrm {G} }$上的指數多項式。[5][6]