Cahen-Konstante

Die Cahen-Konstante ist eine nach dem französischen Mathematiker Eugène Cahen (1865–) benannte mathematische Konstante. Sie ist eine transzendente Zahl und wird als Grenzwert einer alternierenden Reihe von Stammbrüchen definiert.

Definition

Die Nenner der Stammbrüche leiten sich von den Folgengliedern der Sylvester-Folge S₀,S₁,S₂,S₃,... ab, die rekursiv durch

$S_0 = 2, \qquad S_{n+1} = 1 + S_0 \cdots S_n = 1 - S_n + S_n^2$     für n = 0, 1, 2, 3, …

definiert ist (Folge A000058 in OEIS). Mit dieser Folge ist die Cahen-Konstante durch

$C = \sum_{k=0}^\infty \frac{(-1)^k}{S_k-1} = 1 - \frac{1}{2} + \frac{1}{6} - \frac{1}{42} + \frac{1}{1806} - \frac{1}{3263442} + - \cdots$

definiert, das heißt, die Sylvester-Folge ist die Pierce-Entwicklung von C. Mit dem Leibniz-Kriterium kann die Konvergenz der Reihe direkt gezeigt werden.

Eigenschaften

Nach Zusammenfassen von jeweils zwei Gliedern der Reihe erhält man eine Reihe, deren Glieder nur positive Stammbrüche sind:

$C = \sum_{k=0}^\infty \frac{1}{S_{2 k}} = \frac{1}{2} + \frac{1}{7} + \frac{1}{1807} + \frac{1}{10650056950807} + \cdots$

Diese Darstellung liefert auch der Greedy-Algorithmus zur Stammbruchzerlegung von C (die Nenner bilden die Folge A123180 in OEIS). Die Reihe konvergiert wegen des doppelt exponentiellen Wachstums der Sylvester-Folge rasch, jeder hinzugenommene Summand vervierfacht die Anzahl gültiger Stellen.

Ein Näherungswert für die Cahen-Konstante ist

C = 0,64341 05462 88338 02618 22543 07757 56476 32865 87860 26823 ... (Folge A118227 in OEIS).

Eugène Cahen bewies 1891 auf elementare Weise, dass C irrational ist^[1] (dies folgt schon daraus, dass die Pierce-Entwicklung nicht abbricht). J. Les Davison und Jeffrey Shallit zeigten 1991, dass C transzendent ist.^[2] Ihr Beweis zeigt allgemeiner für alle Zahlen, deren Kettenbruchentwicklungen bestimmten einfachen rekursiven Bildungsgesetzen genügen, dass sie transzendent sind. Speziell für C ist die Kettenbruchentwicklung durch

$[0; 1, q_0^2, q_1^2, q_2^2, q_3^2, ...] = [0; 1, 1, 1, 4, 9, ...]$     (Folge A006280 in OEIS)

gegeben, wobei die Folge q₀,q₁,q₂,q₃,... rekursiv durch

$q_0 = q_1 = 1, \qquad q_{n+2} = q_n^2 q_{n+1} + q_n$     für n = 0, 1, 2, 3, …

definiert ist (Folge A006279 in OEIS).

Zu Variationen der definierenden Reihe von C ist bekannt, dass

$C = \frac{1}{2} \biggl(\!1 + \sum_{k=0}^\infty \frac{(-1)^k}{S_k}\biggr),$

während $\textstyle\sum_{k=0}^\infty 1/S_k = 1$ und noch offen ist, was über $\textstyle\sum_{k=0}^\infty 1/(S_k-1) = 1{,}69103\text{ }02067\text{ }57253\text{ }97443\text{ }...$ gesagt werden kann^[3] (die Sylvester-Folge ist in diesem Fall die Engel-Entwicklung, also ist der Grenzwert jedenfalls irrational).

Literatur

• Steven R. Finch: Cahen’s constant, Kapitel 6.7 in Mathematical constants, Cambridge University Press, Cambridge 2003, ISBN 0-521-81805-2, S. 434–436 (englisch)

Einzelnachweise

1. ↑ E. Cahen: Note sur un développement des quantités numériques, qui présente quelque analogie avec celui en fractions continues, Nouvelles Annales de Mathématiques 10, 1891, S. 508–514 (französisch)
2. ↑ J. Les Davison, J. O. Shallit: Continued fractions for some alternating series (17. Oktober 1990), Monatshefte für Mathematik 111, 1991, S. 119–126, doi:10.1007/BF01332350 (englisch)
3. ↑ Finch: Cahen’s constant, 2003, S. 436

Weblinks

• Eric W. Weisstein: Cahen’s Constant. In: MathWorld. (englisch)
• The Cahen constant to 4000 digits bei Plouffe’s Inverter (englisch)