Exponential polynomial: Difference between revisions
Thatsme314 (talk | contribs) |
No edit summary |
||
(5 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{otheruses4|polynomials in variables and exponential functions|the polynomials involving Stirling numbers|Touchard polynomials}} |
{{otheruses4|polynomials in variables and exponential functions|the polynomials involving Stirling numbers|Touchard polynomials}} |
||
In [[mathematics]], '''exponential polynomials''' are |
In [[mathematics]], '''exponential polynomials''' are [[Function (mathematics)|function]]s on [[Field (mathematics)|fields]], [[Ring (mathematics)|rings]], or [[abelian group]]s that take the form of [[polynomial]]s in a variable and an [[exponential function]]. |
||
==Definition== |
==Definition== |
||
===In fields=== |
===In fields=== |
||
An exponential polynomial generally has both a variable ''x'' and some kind of exponential function ''E''(''x''). In the complex |
An exponential polynomial generally has both a variable ''x'' and some kind of exponential function ''E''(''x''). In the [[complex number]]s there is already a canonical exponential function, the function that maps ''x'' to ''[[E (mathematical constant)|e]]''<sup>''x''</sup>. In this setting the term exponential polynomial is often used to mean polynomials of the form ''P''(''x'', ''e''<sup>''x''</sup>) where ''P'' ∈ '''C'''[''x'', ''y''] is a polynomial in two variables.<ref>C. J. Moreno, ''The zeros of exponential polynomials'', Compositio Mathematica 26 (1973), pp.69–78.</ref><ref>M. Waldschmidt, ''Diophantine approximation on linear algebraic groups'', [[Springer Science+Business Media|Springer]], 2000.</ref> |
||
There is nothing particularly special about '''C''' here |
There is nothing particularly special about '''C''' here; exponential polynomials may also refer to such a polynomial on any [[exponential field]] or exponential ring with its exponential function taking the place of ''e''<sup>''x''</sup> above.<ref>Martin Bays, Jonathan Kirby, A.J. Wilkie, ''A Schanuel property for exponentially transcendental powers'', (2008), [https://arxiv.org/abs/0810.4457v1 arXiv:0810.4457v1]</ref> Similarly, there is no reason to have one variable, and an exponential polynomial in ''n'' variables would be of the form ''P''(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>, ''e''<sup>''x''<sub>1</sub></sup>, ..., ''e''<sup>''x''<sub>''n''</sub></sup>), where ''P'' is a polynomial in 2''n'' variables. |
||
For formal exponential polynomials over a field ''K'' we proceed as follows.<ref name=EPSW140>{{cite book | last1=Everest | first1=Graham | last2=van der Poorten | first2=Alf | author2-link=Alfred van der Poorten | last3=Shparlinski | first3=Igor | last4=Ward | first4=Thomas | title=Recurrence sequences | series=Mathematical Surveys and Monographs | volume=104 | location=[[Providence, RI]] | publisher=[[American Mathematical Society]] | year=2003 | isbn=0-8218-3387-1 | zbl=1033.11006 | page=140 }}</ref> Let ''W'' be a finitely generated '''Z'''-submodule of ''K'' and consider finite sums of the form |
For formal exponential polynomials over a field ''K'' we proceed as follows.<ref name=EPSW140>{{cite book | last1=Everest | first1=Graham | last2=van der Poorten | first2=Alf | author2-link=Alfred van der Poorten | last3=Shparlinski | first3=Igor | last4=Ward | first4=Thomas | title=Recurrence sequences | series=Mathematical Surveys and Monographs | volume=104 | location=[[Providence, RI]] | publisher=[[American Mathematical Society]] | year=2003 | isbn=0-8218-3387-1 | zbl=1033.11006 | page=140 }}</ref> Let ''W'' be a [[finitely generated module|finitely generated]] '''Z'''-[[submodule]] of ''K'' and consider finite sums of the form |
||
:<math>\sum_{i=1}^{m} f_i(X) \exp(w_i X) \ , </math> |
:<math>\sum_{i=1}^{m} f_i(X) \exp(w_i X) \ , </math> |
||
where the ''f''<sub>''i''</sub> are polynomials in ''K''[''X''] and the exp(''w''<sub>''i''</sub>''X'') are formal symbols indexed by ''w''<sub>''i''</sub> in ''W'' subject to exp(''u''+''v'') = exp(''u'')exp(''v''). |
where the ''f''<sub>''i''</sub> are polynomials in ''K''[''X''] and the exp(''w''<sub>''i''</sub> ''X'') are formal symbols indexed by ''w''<sub>''i''</sub> in ''W'' subject to exp(''u'' + ''v'') = exp(''u'') exp(''v''). |
||
===In abelian groups=== |
===In abelian groups=== |
||
A more general framework where the term exponential polynomial may be found is that of exponential functions on abelian groups. Similarly to how exponential functions on exponential fields are defined, given a [[topological abelian group]] ''G'' a [[homomorphism]] from ''G'' to the additive group of the complex numbers is called an additive function, and a homomorphism to the multiplicative group of nonzero complex numbers is called an exponential function, or simply an exponential. A product of additive functions and exponentials is called an exponential monomial, and a linear combination of these is then an exponential polynomial on ''G''.<ref>László Székelyhidi, ''On the extension of exponential polynomials'', Mathematica Bohemica '''125''' (2000), pp.365–370.</ref><ref>P. G. Laird, ''On characterizations of exponential polynomials'', Pacific Journal of Mathematics '''80''' (1979), pp.503–507.</ref> |
A more general framework where the term 'exponential polynomial' may be found is that of exponential functions on abelian groups. Similarly to how exponential functions on exponential fields are defined, given a [[topological abelian group]] ''G'' a [[homomorphism]] from ''G'' to the additive group of the complex numbers is called an additive function, and a homomorphism to the multiplicative group of nonzero complex numbers is called an exponential function, or simply an exponential. A product of additive functions and exponentials is called an exponential monomial, and a linear combination of these is then an exponential polynomial on ''G''.<ref>László Székelyhidi, ''On the extension of exponential polynomials'', Mathematica Bohemica '''125''' (2000), pp.365–370.</ref><ref>P. G. Laird, ''On characterizations of exponential polynomials'', Pacific Journal of Mathematics '''80''' (1979), pp.503–507.</ref> |
||
==Properties== |
==Properties== |
||
Line 25: | Line 25: | ||
==Applications== |
==Applications== |
||
Exponential polynomials on '''R''' and '''C''' often appear in [[transcendental number theory]], where they appear as [[auxiliary function]]s in proofs involving the exponential function. They also act as a link between [[model theory]] and [[analytic geometry]]. If one defines an exponential variety to be the set of points in '''R'''<sup>''n''</sup> where some finite collection of exponential polynomials vanish, then results like Khovanskiǐ's theorem in [[differential geometry]] and [[Wilkie's theorem]] in model theory show that these varieties are well-behaved in the sense that the collection of such varieties is stable under the various set-theoretic operations as long as one allows the inclusion of the image under projections of higher-dimensional exponential varieties. Indeed, the two aforementioned theorems imply that the set of all exponential varieties forms an [[o-minimal structure]] over '''R'''. |
Exponential polynomials on '''R''' and '''C''' often appear in [[transcendental number theory]], where they appear as [[auxiliary function]]s in proofs involving the exponential function. They also act as a link between [[model theory]] and [[analytic geometry]]. If one defines an exponential variety to be the set of points in '''R'''<sup>''n''</sup> where some finite collection of exponential polynomials vanish, then results like Khovanskiǐ's theorem in [[differential geometry]] and [[Wilkie's theorem]] in model theory show that these varieties are well-behaved in the sense that the collection of such varieties is stable under the various [[set theory|set-theoretic]] operations as long as one allows the inclusion of the image under projections of higher-dimensional exponential varieties. Indeed, the two aforementioned theorems imply that the set of all exponential varieties forms an [[o-minimal structure]] over '''R'''. |
||
Exponential polynomials appear in the characteristic equation associated with linear [[Delay differential equation#The_characteristic_equation|delay differential equations]]. |
Exponential polynomials also appear in the characteristic equation associated with linear [[Delay differential equation#The_characteristic_equation|delay differential equations]]. |
||
==Notes== |
==Notes== |
||
{{Reflist}} |
{{Reflist}} |
||
== See also == |
|||
* [[Quasi-polynomial]] |
|||
[[Category:Polynomials]] |
[[Category:Polynomials]] |
Latest revision as of 21:48, 26 August 2024
In mathematics, exponential polynomials are functions on fields, rings, or abelian groups that take the form of polynomials in a variable and an exponential function.
Definition
[edit]In fields
[edit]An exponential polynomial generally has both a variable x and some kind of exponential function E(x). In the complex numbers there is already a canonical exponential function, the function that maps x to ex. In this setting the term exponential polynomial is often used to mean polynomials of the form P(x, ex) where P ∈ C[x, y] is a polynomial in two variables.[1][2]
There is nothing particularly special about C here; exponential polynomials may also refer to such a polynomial on any exponential field or exponential ring with its exponential function taking the place of ex above.[3] Similarly, there is no reason to have one variable, and an exponential polynomial in n variables would be of the form P(x1, ..., xn, ex1, ..., exn), where P is a polynomial in 2n variables.
For formal exponential polynomials over a field K we proceed as follows.[4] Let W be a finitely generated Z-submodule of K and consider finite sums of the form
where the fi are polynomials in K[X] and the exp(wi X) are formal symbols indexed by wi in W subject to exp(u + v) = exp(u) exp(v).
In abelian groups
[edit]A more general framework where the term 'exponential polynomial' may be found is that of exponential functions on abelian groups. Similarly to how exponential functions on exponential fields are defined, given a topological abelian group G a homomorphism from G to the additive group of the complex numbers is called an additive function, and a homomorphism to the multiplicative group of nonzero complex numbers is called an exponential function, or simply an exponential. A product of additive functions and exponentials is called an exponential monomial, and a linear combination of these is then an exponential polynomial on G.[5][6]
Properties
[edit]Ritt's theorem states that the analogues of unique factorization and the factor theorem hold for the ring of exponential polynomials.[4]
Applications
[edit]Exponential polynomials on R and C often appear in transcendental number theory, where they appear as auxiliary functions in proofs involving the exponential function. They also act as a link between model theory and analytic geometry. If one defines an exponential variety to be the set of points in Rn where some finite collection of exponential polynomials vanish, then results like Khovanskiǐ's theorem in differential geometry and Wilkie's theorem in model theory show that these varieties are well-behaved in the sense that the collection of such varieties is stable under the various set-theoretic operations as long as one allows the inclusion of the image under projections of higher-dimensional exponential varieties. Indeed, the two aforementioned theorems imply that the set of all exponential varieties forms an o-minimal structure over R.
Exponential polynomials also appear in the characteristic equation associated with linear delay differential equations.
Notes
[edit]- ^ 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
- ^ a b Everest, Graham; van der Poorten, Alf; Shparlinski, Igor; Ward, Thomas (2003). Recurrence sequences. Mathematical Surveys and Monographs. Vol. 104. Providence, RI: American Mathematical Society. p. 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.