Eulersche Zahlen

Dieser Artikel behandelt eine Folge ganzer Zahlen. Zu anderen nach Euler benannten Zahlen und Zahlenfolgen siehe Eulersche Zahlen (Begriffsklärung).

Die Eulerschen Zahlen oder manchmal auch Euler-Zahlen (nach Leonhard Euler) sind eine Folge E n {\displaystyle E_{n}} ganzer Zahlen, die durch die Taylorentwicklung der Hyperbelfunktion Secans hyperbolicus

sech ( x ) = 1 cosh ( x ) = 2 e x + e x = n = 0 E n x n n ! {\displaystyle \operatorname {sech} (x)={\frac {1}{\cosh(x)}}={\frac {2}{e^{x}+e^{-x}}}=\sum _{n=0}^{\infty }E_{n}{\frac {x^{n}}{n!}}}

definiert sind. Sie sind nicht zu verwechseln mit den zweiparametrigen Euler-Zahlen E ( n , k ) {\displaystyle E(n,k)} .

Zahlenwerte

Die ersten Eulerschen Zahlen E n 0 {\displaystyle E_{n}\neq 0} lauten

n {\displaystyle n} E n {\displaystyle E_{n}}
0 1
2 −1
4 5
6 −61
8 1385
10 −50521
12 2702765
14 −199360981
16 19391512145
18 −2404879675441
20 370371188237525

Alle Eulerschen Zahlen mit ungeradem Index sind Null, während diejenigen mit geradem Index alternierendes Vorzeichen haben. Ferner besitzen die positiven Werte, mit Ausnahme von E0 bei Division durch 10 den Rest 5 und die negativen Werte modulo 10 den Rest −1 bzw. Wert 9.

Manche Autoren lassen die Zahlen mit ungeradem Index ganz weg, halbieren die Indizes sozusagen, da dort die Werte mit 0 nicht betrachtet werden, und definieren ihre Euler-Zahlen als verbleibende Folge. Manchmal werden die Eulerschen Zahlen auch so definiert, dass sie alle positiv sind, sprich unseren ( 1 ) n E 2 n {\displaystyle (-1)^{n}E_{2n}} entsprechen.

Eigenschaften

Asymptotisches Verhalten

Für das asymptotische Verhalten der Eulerschen Zahlen gilt

E 2 n ( 1 ) n 8 n π ( 4 n π e ) 2 n = ( 1 ) n e 2 ( 4 n π e ) 2 n + 1 2 {\displaystyle E_{2n}\sim (-1)^{n}\,8\,{\sqrt {\frac {n}{\pi }}}\left({\frac {4n}{\pi e}}\right)^{2n}=(-1)^{n}{\frac {\sqrt {e}}{2}}\left({\frac {4n}{\pi e}}\right)^{2n+{\frac {1}{2}}}}

oder präziser

E 2 n ( 2 n ) ! 2 ( 1 ) n ( 2 π ) 2 n + 1 {\displaystyle {\frac {E_{2n}}{(2n)!}}\sim 2\,(-1)^{n}\left({\frac {2}{\pi }}\right)^{2n+1}}

mit der ~-Äquivalenz-Notation.

Rekursionsgleichung

Eine leicht zu merkende Form der Rekursionsgleichung mit dem Startwert E 0 = 1 {\displaystyle E_{0}=1} lautet

n N : ( E + 1 ) n + ( E 1 ) n = 0 {\displaystyle \forall \,n\in \mathbb {N} \colon \quad (E+1)^{n}+(E-1)^{n}=0}

wobei E n {\displaystyle E^{n}} als E n {\displaystyle E_{n}} zu interpretieren ist und woraus

n N : k = 0 n ( 1 + ( 1 ) n k ) ( n k ) E k = 0 {\displaystyle \forall \,n\in \mathbb {N} \colon \quad \sum _{k=0}^{n}\left(1+(-1)^{n-k}\right){n \choose k}E_{k}=0}

bzw. durch Indextransformation die explizite Gestalt

n N : E n = k = 1 n / 2 ( n 2 k ) E n 2 k {\displaystyle \forall \,n\in \mathbb {N} \colon \quad E_{n}=-\sum _{k=1}^{\lfloor n/2\rfloor }{n \choose 2k}E_{n-2k}}

folgt.

Geschlossene Darstellungen

Die Eulerschen Zahlen lassen sich sogar exakt[1]

n N 0 : E 2 n = ( 2 n ) ! 2 2 n + 2 ( 1 ) n π 2 n + 1 k = 0 ( 1 ) k ( 2 k + 1 ) 2 n + 1 = ( 2 n ) ! 2 ( 1 ) n ( 2 π ) 2 n + 1 ( ζ ( 2 n + 1 , 1 4 ) ζ ( 2 n + 1 , 3 4 ) ) {\displaystyle \forall \,n\in \mathbb {N} _{0}\colon \quad E_{2n}={\frac {(2n)!\,2^{2n+2}}{(-1)^{n}\pi ^{2n+1}}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)^{2n+1}}}={\frac {(2n)!\,2}{(-1)^{n}(2\pi )^{2n+1}}}\left(\zeta (2n+1,{\tfrac {1}{4}})-\zeta (2n+1,{\tfrac {3}{4}})\right)}

mittels der Hurwitzschen Zetafunktion ζ {\displaystyle \zeta } falls n 0 {\displaystyle n\not =0} ist, darstellen. Und unter Ausnutzung ihrer Funktionalgleichung (dort mit m=1, n=4) die elegante Beziehung

E 2 n = 4 2 n + 1 ζ ( 2 n , 1 4 ) {\displaystyle E_{2n}=4^{2n+1}\zeta (-2n,{\tfrac {1}{4}})}

aufstellen, die diese Zahlen als skalierte Funktionswerte dieser auf C { 1 } {\displaystyle \mathbb {C} \setminus \{1\}} holomorphen Funktion identifiziert. Somit erhalten wir auch

E 2 n = 4 2 n + 1 B 2 n + 1 ( 1 4 ) 2 n + 1 {\displaystyle E_{2n}=-4^{2n+1}{\frac {B_{2n+1}({\tfrac {1}{4}})}{2n+1}}}

was einen direkten Zusammenhang mit den Bernoulli-Polynomen B n ( x ) {\displaystyle B_{n}(x)} und somit zu den Bernoulli-Zahlen herstellt. Außerdem gilt

E 2 n = ( 1 ) n 4 n + 1 ( 2 n ) ! π 2 n + 1 β ( 2 n + 1 ) , {\displaystyle E_{2n}={\frac {(-1)^{n}4^{n+1}(2n)!}{\pi ^{2n+1}}}\cdot \beta (2n+1),}

wobei β ( s ) {\displaystyle \beta (s)} die Dirichletsche Betafunktion bezeichnet.

Eulersche Polynome

Nicht zu verwechseln mit den Euler-Polynomen

Die Eulerschen Polynome E n : R R {\displaystyle {\text{E}}_{n}\colon \mathbb {R} \to \mathbb {R} } werden meistens durch ihre erzeugende Funktion

2 e x t e t + 1 = n = 0 E n ( x ) t n n ! {\displaystyle {\frac {2e^{xt}}{e^{t}+1}}=\sum _{n=0}^{\infty }{\text{E}}_{n}(x){\frac {t^{n}}{n!}}}

implizit definiert. Die ersten lauten

E 0 ( x ) = 1 {\displaystyle {\text{E}}_{0}(x)=1}
E 1 ( x ) = x 1 2 {\displaystyle {\text{E}}_{1}(x)=x-{\tfrac {1}{2}}}
E 2 ( x ) = x 2 x = x ( x 1 ) {\displaystyle {\text{E}}_{2}(x)=x^{2}-x=x(x-1)}
E 3 ( x ) = x 3 3 2 x 2 + 1 4 = 1 4 ( 2 x 1 ) ( 2 x 2 2 x 1 ) {\displaystyle {\text{E}}_{3}(x)=x^{3}-{\tfrac {3}{2}}x^{2}+{\tfrac {1}{4}}={\tfrac {1}{4}}(2x-1)(2x^{2}-2x-1)}
E 4 ( x ) = x 4 2 x 3 + x = x ( x 1 ) ( x 2 x 1 ) {\displaystyle {\text{E}}_{4}(x)=x^{4}-2x^{3}+x=x(x-1)(x^{2}-x-1)}
E 5 ( x ) = x 5 5 2 x 4 + 5 2 x 2 1 2 = 1 2 ( 2 x 1 ) ( x 2 x 1 ) 2 {\displaystyle {\text{E}}_{5}(x)=x^{5}-{\tfrac {5}{2}}x^{4}+{\tfrac {5}{2}}x^{2}-{\tfrac {1}{2}}={\tfrac {1}{2}}(2x-1)(x^{2}-x-1)^{2}}
E 6 ( x ) = x 6 3 x 5 + 5 x 3 3 x = x ( x 1 ) ( x 4 2 x 3 2 x 2 + 3 x + 3 ) {\displaystyle {\text{E}}_{6}(x)=x^{6}-3x^{5}+5x^{3}-3x=x(x-1)(x^{4}-2x^{3}-2x^{2}+3x+3)}

Man kann sie aber auch zu E 0 ( x ) = 1 {\displaystyle {\text{E}}_{0}(x)=1} und dann für n N {\displaystyle n\in \mathbb {N} } über die Gleichung

E n ( x ) = c x n E n 1 ( t ) d t {\displaystyle {\text{E}}_{n}(x)=\int _{c}^{x}n{\text{E}}_{n-1}(t)\,{\text{d}}t}

induktiv definieren, wobei die untere Integrationsgrenze c {\displaystyle c} für ungerades n {\displaystyle n} 1/2 ist und für gerades n {\displaystyle n} Null ist.

Die Eulerschen Polynome sind symmetrisch um 1 2 {\displaystyle {\tfrac {1}{2}}} , d. h.

E n ( 1 2 + x ) = ( 1 ) n E n ( 1 2 x ) bzw. E n ( x + 1 ) = ( 1 ) n E n ( x ) {\displaystyle {\text{E}}_{n}({\tfrac {1}{2}}+x)=(-1)^{n}{\text{E}}_{n}({\tfrac {1}{2}}-x)\qquad {\text{bzw.}}\qquad {\text{E}}_{n}(x+1)=(-1)^{n}{\text{E}}_{n}(-x)}

und ihre Funktionswerte an den Stellen 1 2 {\displaystyle {\tfrac {1}{2}}} und 0 {\displaystyle 0} der Beziehung

E n ( 1 2 ) = 2 n E n {\displaystyle {\text{E}}_{n}({\tfrac {1}{2}})=2^{-n}E_{n}}

und

E n 1 ( 0 ) = ( 2 n + 1 2 ) B n n {\displaystyle {\text{E}}_{n-1}(0)=(2^{n+1}-2){\frac {B_{n}}{n}}}

genügen, wobei B n {\displaystyle B_{n}} die Bernoulli-Zahl zweiter Art bezeichnet. Ferner haben wir die Identität

E n ( x + 1 ) + E n ( x ) = 2 x n {\displaystyle {\text{E}}_{n}(x+1)+{\text{E}}_{n}(x)=2x^{n}}

Das Eulersche Polynom E n {\displaystyle {\text{E}}_{n}} hat für n > 5 {\displaystyle n>5} weniger als n {\displaystyle n} reelle Nullstellen. So hat zwar E 5 {\displaystyle {\text{E}}_{5}} fünf (allerdings zwei doppelte, sprich nur drei verschiedene), aber schon E 6 {\displaystyle {\text{E}}_{6}} nur die zwei (trivialen) Nullstellen bei 0 und bei 1. Sei R ( n ) = { x R : E n ( x ) = 0 } {\displaystyle R(n)=\{x\in \mathbb {R} \colon {\text{E}}_{n}(x)=0\}} die Nullstellenmenge. Dann ist

1 2 | R ( n ) | + 1 min R ( n ) max R ( n ) 1 2 | R ( n ) | {\displaystyle -{\tfrac {1}{2}}|R(n)|+1\leq \min R(n)\leq \max R(n)\leq {\tfrac {1}{2}}|R(n)|}

– wobei im Fall n=5 die Anzahl | R ( 5 ) | {\displaystyle |R(5)|} als 5 zu bewerten ist, da die Nullstellen mit ihrer Vielfachheit gezählt werden müssen – und es gilt

lim n | R ( n ) | n = 2 π e 0,234 2 {\displaystyle \lim _{n\to \infty }{\frac {|R(n)|}{n}}={\frac {2}{\pi e}}\approx 0{,}2342}

wobei die Funktion | | {\displaystyle |\cdot |} angewandt auf eine Menge eigentlich deren Elementanzahl angibt.

Vorkommen

Taylorreihen

Die Folge der Eulerschen Zahlen E n {\displaystyle E_{n}} tritt zum Beispiel in der Taylorentwicklung von

sec ( x ) = 1 cos ( x ) = 1 cosh ( i x ) = n = 0 ( 1 ) n E 2 n x 2 n ( 2 n ) ! {\displaystyle \sec(x)={\frac {1}{\cos(x)}}={\frac {1}{\cosh(\mathrm {i} \,x)}}=\sum _{n=0}^{\infty }(-1)^{n}E_{2n}{\frac {x^{2n}}{(2n)!}}}

auf. Sie ist verwandt mit der Folge der Bernoulli-Zahlen B n {\displaystyle B_{n}} was man auch an der Darstellung

csch ( x ) = 1 sinh ( x ) = n = 0 ( 2 2 n ) B n x n 1 n ! {\displaystyle \operatorname {csch} (x)={\frac {1}{\sinh(x)}}=\sum _{n=0}^{\infty }(2-2^{n})B_{n}{\frac {x^{n-1}}{n!}}}

erkennt. Aus dem Konvergenzradius der Taylorentwicklung der Sekans-funktion – der Cosinus im Nenner dort wird 0 bei π 2 {\displaystyle {\tfrac {\pi }{2}}} – von π 2 {\displaystyle {\tfrac {\pi }{2}}} folgt aus dem Wurzelkriterium das lim sup log | E n n ! | n log ( 2 π ) {\displaystyle \limsup \log \left|{\tfrac {E_{n}}{n!}}\right|\sim n\log \left({\tfrac {2}{\pi }}\right)} asymptotisch gelten muss. Sie treten natürlich auch in den Taylorreihen der höheren Ableitungen vom Secans hyperbolicus bzw. der Gudermannfunktion auf.

Integrale

Auch bei manchen uneigentlichen Integralen treten sie auf; beispielsweise bei dem Integral

0 ln n ( x ) 1 + x 2 d x = | E n | ( π 2 ) n + 1 {\displaystyle \int \limits _{0}^{\infty }{\frac {\ln ^{n}(x)}{1+x^{2}}}\,dx=|E_{n}|\left({\frac {\pi }{2}}\right)^{n+1}} .

Permutationen

Die Eulerschen Zahlen kommen beim Zählen der Anzahl alternierender Permutationen mit gerader Elementanzahl vor. Eine alternierende Permutation von Werten ist eine Auflistung dieser Werte a 1 , a 2 , , a 2 n {\displaystyle a_{1},a_{2},\ldots ,a_{2n}} , so dass diese Permutation kein Tripel a j 1 , a j , a j + 1 {\displaystyle a_{j-1},a_{j},a_{j+1}} mit 1 < j < 2 n {\displaystyle 1<j<2n} enthält, das geordnet ist. Allgemein gilt für die Anzahl A 2 n {\displaystyle A_{2n}} der alternierenden Permutationen von 2 n {\displaystyle 2n} Elementen (die vergleichbar sind)

A 2 n = 2 | E 2 n | {\displaystyle A_{2n}=2|E_{2n}|} ,

wobei der Faktor zwei dadurch entsteht, dass man jede Permutation durch Umdrehen der Reihenfolge in eine andere alternierende Permutation überführen kann. Für eine beliebige (also auch ungerade) Anzahl n N 0 {\displaystyle n\in \mathbb {N} _{0}} gilt

A n = 2 n ! α n {\displaystyle A_{n}=2\,n!\,\alpha _{n}}

mit α 0 = α 1 = 1 {\displaystyle \alpha _{0}=\alpha _{1}=1} und

α n = 1 2 n j = 0 n 1 α j α n 1 j {\displaystyle \alpha _{n}={\frac {1}{2n}}\sum _{j=0}^{n-1}\alpha _{j}\alpha _{n-1-j}}

für n 2 {\displaystyle n\geq 2} , womit man einen weiteren effizienten Algorithmus auch zur Bestimmung der E 2 n {\displaystyle E_{2n}} erhält. Für ungerades n {\displaystyle n} werden die Werte A n 2 {\displaystyle {\tfrac {A_{n}}{2}}} auch Tangentenzahlen genannt.

Literatur

  • J. M. Borwein, P. B. Borwein, K. Dilcher, Pi, Euler Numbers, and Asymptotic Expansions, AMM, V. 96, No. 8, (Oct. 1989), pp. 681–687

Weblinks

Einzelnachweise

  1. M. Abramowitz and I. Stegun, Handbook of Mathematical Functions. Dover, N.Y. 1964, p. 807