E-function: Difference between revisions

Content deleted Content added

Inline

Revision as of 02:49, 28 December 2023

In mathematics, E-functions are a type of power series that satisfy particular arithmetic conditions on the coefficients. They are of interest in transcendental number theory, and are more special than G-functions.

Definition

A function $f (x)$ is called of type $E$ , or an $E$ -function,^[1] if the power series

f(x)=\sum _{n=0}^{\infty }c_{n}{\frac {x^{n}}{n!}}

satisfies the following three conditions:

All the coefficients $c n$ belong to the same algebraic number field, $K$ , which has finite degree over the rational numbers;
For all $\varepsilon >0$ , ${\overline {\left|c_{n}\right|}}=O\left(n^{n\varepsilon }\right),$

where the left hand side represents the maximum of the absolute values of all the algebraic conjugates of

c n

;

For all $\varepsilon >0$ there is a sequence of natural numbers $q 0, q 1, q 2,...$ such that $q n c k$ is an algebraic integer in $K$ for $k = 0, 1, 2,..., n$ , and $n = 0, 1, 2,...$ and for which

q_{n}=O\left(n^{n\varepsilon }\right).

The second condition implies that $f$ is an entire function of $x$ .

Uses

$E$ -functions were first studied by Siegel in 1929.^[2] He found a method to show that the values taken by certain $E$ -functions were algebraically independent. This was a result which established the algebraic independence of classes of numbers rather than just linear independence.^[3] Since then these functions have proved somewhat useful in number theory and in particular they have application in transcendence proofs and differential equations.^[4]

The Siegel–Shidlovsky theorem

Perhaps the main result connected to $E$ -functions is the Siegel–Shidlovsky theorem (also known as the Siegel and Shidlovsky theorem), named after Carl Ludwig Siegel and Andrei Borisovich Shidlovsky.

Suppose that we are given $n$ $E$ -functions, $E 1 (x),..., E n (x)$ , that satisfy a system of homogeneous linear differential equations

y_{i}^{\prime }=\sum _{j=1}^{n}f_{ij}(x)y_{j}\quad (1\leq i\leq n)

where the $f ij$ are rational functions of $x$ , and the coefficients of each $E$ and $f$ are elements of an algebraic number field $K$ . Then the theorem states that if $E 1 (x),..., E n (x)$ are algebraically independent over $K (x)$ , then for any non-zero algebraic number $α$ that is not a pole of any of the $f ij$ the numbers $E 1 (α),..., E n (α)$ are algebraically independent.

Examples

Any polynomial with algebraic coefficients is a simple example of an $E$ -function.
The exponential function is an $E$ -function, in its case $c n =1$ for all of the $n$ .
If $λ$ is an algebraic number then the Bessel function $J λ$ is an $E$ -function.
The sum or product of two $E$ -functions is an $E$ -function. In particular $E$ -functions form a ring.
If $a$ is an algebraic number and $f (x)$ is an $E$ -function then $f (ax)$ will be an $E$ -function.
If $f (x)$ is an $E$ -function then the derivative and integral of $f$ are also $E$ -functions.

References

^ Carl Ludwig Siegel, Transcendental Numbers, p.33, Princeton University Press, 1949.
^ C.L. Siegel, Über einige Anwendungen diophantischer Approximationen, Abh. Preuss. Akad. Wiss. 1, 1929.
^ Alan Baker, Transcendental Number Theory, pp.109-112, Cambridge University Press, 1975.
^ Serge Lang, Introduction to Transcendental Numbers, pp.76-77, Addison-Wesley Publishing Company, 1966.

Weisstein, Eric W. "E-Function". MathWorld.

[1] Carl Ludwig Siegel, Transcendental Numbers, p.33, Princeton University Press, 1949.

[2] C.L. Siegel, Über einige Anwendungen diophantischer Approximationen, Abh. Preuss. Akad. Wiss. 1, 1929.

[3] Alan Baker, Transcendental Number Theory, pp.109-112, Cambridge University Press, 1975.

[4] Serge Lang, Introduction to Transcendental Numbers, pp.76-77, Addison-Wesley Publishing Company, 1966.

[1]

[2]

[3]

[4]

@@ Line 12: / Line 12: @@
 * All the coefficients {{math|1=''c<sub>n</sub>''}} belong to the same [[algebraic number field]], {{math|1=''K''}}, which has [[Degree of a field extension|finite degree]] over the rational numbers;
 * For all <math> \varepsilon>0</math>,&nbsp;&nbsp;&nbsp;<math>\overline{\left|c_n\right|}=O\left(n^{n\varepsilon}\right),</math>
-:: where the left hand side represents the maximum of the absolute values of all the [[Conjugate element (field theory)|algebraic conjugates]] of {{math|1=''c<sub>n</sub>''}};
+: where the left hand side represents the maximum of the absolute values of all the [[Conjugate element (field theory)|algebraic conjugates]] of {{math|1=''c<sub>n</sub>''}};
 * For all <math> \varepsilon>0</math> there is a sequence of natural numbers {{math|1=''q''<sub>0</sub>, ''q''<sub>1</sub>, ''q''<sub>2</sub>,...}} such that {{math|1=''q<sub>n</sub>c<sub>k</sub>''}} is an [[algebraic integer]] in {{math|1=''K''}} for {{math|1=''k'' = 0, 1, 2,..., ''n''}}, and {{math|1=''n'' = 0, 1, 2,...}} and for which
 :<math>q_n=O\left(n^{n\varepsilon}\right). </math>