The Euler numbers, also called the secant numbers or zig numbers, are defined for by
(1)
|
(2)
|
where
is the hyperbolic secant and sec is the secant.
Euler numbers give the number of odd alternating
permutations and are related to Genocchi numbers.
The base e of the natural
logarithm is sometimes known as Euler's number.
A different sort of Euler number, the Euler number of a finite complex ,
is defined by
(3)
|
This Euler number is a topological invariant.
To confuse matters further, the Euler characteristic is sometimes also called the "Euler number" and numbers produced by the
prime-generating polynomial are sometimes called "Euler numbers" (Flannery
and Flannery 2000, p. 47). In this work, primes generated by that polynomial
are termed Euler primes, and prime Euler numbers are
terms Euler number primes.
Some values of the (secant) Euler numbers are
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|
(OEIS A000364).
The slightly different convention defined by
(16)
| |||
(17)
|
is frequently used. These are, for example, the Euler numbers computed by the Wolfram Language function EulerE[n]. This definition has the particularly simple series definition
(18)
|
and is equivalent to
(19)
|
where
is an Euler polynomial.
The number of decimal digits in for
, 2, 4, ... are 1, 1, 1, 2, 4, 5, 7, 9, 11, 13, 15, 17, ...
(OEIS A047893). The number of decimal digits
in
for
, 1, ... are 1, 5, 139, 2372, 33699, ... (OEIS A103235).
The Euler numbers have the asymptotic series
(20)
|
A more efficient asymptotic series is given by
(21)
|
(P. Luschny, pers. comm., 2007).
Expanding
for even
gives the identity
(22)
|
where the coefficient
is interpreted as
(Ely 1882; Fort 1948; Trott 2004, p. 69) and
is a tangent number.
Stern (1875) showed that
(23)
|
iff . This result had been previously stated by Sylvester
in 1861, but without proof.
Shanks (1968) defines a generalization of the Euler numbers by
(24)
|
Here,
(25)
|
and is
times the coefficient of
in the series expansion of
. A similar expression holds for
, but strangely not for
with
. The following table gives the first few values of
for
, 1, ....
OEIS | ||
1 | A000364 | 1, 1, 5, 61, ... |
2 | A000281 | 1, 3, 57, 2763, ... |
3 | A000436 | 1, 8, 352, 38528, ... |
4 | A000490 | 1, 16, 1280, 249856, ... |
5 | A000187 | 2, 30, 3522, 1066590, ... |
6 | A000192 | 2, 46, 7970, 3487246, ... |
7 | A064068 | 1, 64, 15872, 9493504, ... |
8 | A064069 | 2, 96, 29184, 22634496, ... |
9 | A064070 | 2, 126, 49410, 48649086, ... |
10 | A064071 | 2, 158, 79042, 96448478, ... |