Cahen-Konstante

Die Cahen-Konstante ist eine nach dem französischen Mathematiker Eugène Cahen (1865–1941) 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 <math>S_0, S_1, S_2, S_3, ...</math> ab, die rekursiv durch

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

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

<math>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</math>

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:

<math>C = \sum_{k=0}^\infty \frac{1}{S_{2 k}} = \frac{1}{2} + \frac{1}{7} + \frac{1}{1807} + \frac{1}{10650056950807} + \cdots</math>

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

<math>C = 0{,}64341\text{ }05462\text{ }88338\text{ }02618\text{ }22543\text{ }07757\text{ }56476\text{ }32865\text{ }87860\text{ }26823\text{ }...</math> (Folge A118227 in OEIS).

Eugène Cahen bewies 1891 auf elementare Weise, dass C irrational ist<ref>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)</ref> (dies folgt schon daraus, dass die Pierce-Entwicklung nicht abbricht). J. Les Davison und Jeffrey Shallit zeigten 1991, dass C transzendent ist.<ref>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)</ref> 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

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

gegeben, wobei die Folge <math>q_0, q_1, q_2, q_3, ...</math> rekursiv durch

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

definiert ist (Folge A006279 in OEIS).

Zu Variationen der definierenden Reihe von C ist bekannt, dass

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

während <math>\textstyle\sum_{k=0}^\infty 1/S_k = 1</math> und noch offen ist, was über <math>\textstyle\sum_{k=0}^\infty 1/(S_k-1) = 1{,}69103\text{ }02067\text{ }57253\text{ }97443\text{ }...</math> gesagt werden kann<ref>Finch: Cahen’s constant, 2003, S. 436</ref> (die Sylvester-Folge ist in diesem Fall die Engel-Entwicklung, also ist der Grenzwert jedenfalls irrational).

Literatur

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

Weblinks

• {{#if: | {{{author}}} | Eric W. Weisstein }}: Cahen’s Constant. In: MathWorld (englisch). {{#if: CahensConstant | {{#ifeq: {{#property:P2812}} | CahensConstant | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
• {{#if:20120304044921

      | {{#ifeq: 20120304044921 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: The Cahen constant to 4000 digits | {{#invoke:WLink|getEscapedTitle|The Cahen constant to 4000 digits}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20120304044921}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Datum
         | {{#if: The Cahen constant to 4000 digits | {{#invoke:WLink|getEscapedTitle|The Cahen constant to 4000 digits}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20120304044921}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: The Cahen constant to 4000 digits | {{#invoke:WLink|getEscapedTitle|The Cahen constant to 4000 digits}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: The Cahen constant to 4000 digits | {{#invoke:WLink|getEscapedTitle|The Cahen constant to 4000 digits}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: The Cahen constant to 4000 digits | {{#invoke:WLink|getEscapedTitle|The Cahen constant to 4000 digits}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: The Cahen constant to 4000 digits | {{#invoke:WLink|getEscapedTitle|The Cahen constant to 4000 digits}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20120304044921|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://pi.lacim.uqam.ca/piDATA/cahen.txt}}
    || {{#if:  || }}
  }}{{#if: The Cahen constant to 4000 digits
    | {{#if: {{#invoke:WLink|isBracketedLink|The Cahen constant to 4000 digits}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://pi.lacim.uqam.ca/piDATA/cahen.txt%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://pi.lacim.uqam.ca/piDATA/cahen.txt%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/cahen.txt }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} bei Plouffe’s Inverter (englisch)

Einzelnachweise

<references />