Zum Inhalt springen

Markoff-Zahl

aus Wikipedia, der freien Enzyklopädie
Datei:MarkoffNumberTree.png
Die ersten Einträge im Baum der Markoff-Zahlen

Eine Markoff-Zahl (nach Andrei Andrejewitsch Markow) ist eine natürliche Zahl <math>x, y</math> oder <math>z</math>, die als Lösung der diophantischen Markoff-Gleichung

<math>x^2 + y^2 + z^2 = 3xyz\,</math>

vorkommt. Die ersten Markoff-Zahlen sind

1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325, …

Sie sind Teile der Lösungen der Markoff-Gleichung, von denen die ersten <math>(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29)</math> lauten. Die Lösungen werden auch als Markoff-Tripel bezeichnet.<ref>Siehe auch den Abschnitt „Die Markoff-Zahlen“ in Paulo Ribenboims Buch Meine Zahlen, meine Freunde: Google Books</ref><ref>Die Markoff-Zahlen sind die Folge A002559 in Neil Sloanes Online Encyclopedia of Integer Sequences.</ref>

Markoff-Zahlen kommen in der Theorie der Quadratischen Formen und der diophantischen Approximationen vor: Ist <math>m</math> eine Markoff-Zahl, so ist <math>m/\sqrt{9m^2-4}</math> sowohl ein Element des sogenannten Markoff-Spektrums (quadratische Formen) als auch des Lagrange-Spektrums (diophantische Approximationen).

Eigenschaften

Es gibt unendlich viele Markoff-Zahlen und -Tripel. Da die Markoff-Gleichung symmetrisch in den Variablen ist, kann man die Lösungstripel <math>(x, y, z)</math> der Größe nach geordnet mit <math>x \le y \le z</math> angeben. Mit Ausnahme der beiden kleinsten Tripel <math>(1,1,1)</math> und <math>(1,1,2)</math> bestehen die Lösungstripel <math>(x, y, z)</math> aus drei verschiedenen Zahlen. Eine seit langer Zeit untersuchte – aber noch unbewiesene – Vermutung besagt, dass das größte Element <math>z</math> eines Tripels schon das Markoff-Tripel <math>(x, y, z)</math> bestimmt.<ref>Der Lösungsansatz von Norbert Riedel aus dem Jahr 2007 (Markoff Equation and Nilpotent Matrices, Vorlage:ArXiv) wird diskutiert in dem langen Artikel von Serge Perrine: De Frobenius à Riedel: analyse des solutions de l’équation de Markoff, Archive-Ouvertes (PDF; 713 kB).</ref>

Die Markoff-Zahlen können wie rechts abgebildet in einem Baum angeordnet werden. Die zur Region 1 benachbarten Markoff-Zahlen sind die Fibonacci-Zahlen <math>f_i</math> mit ungeradem <math>i</math>. Die zur Region 2 benachbarten Markoff-Zahlen sind die sogenannten Pell-Zahlen <math>p_i</math> mit ungeradem <math>i</math>.<ref>Diese genügen, mit den Startwerten <math>p_0=0</math> und <math>p_1=1</math>, der Rekursion <math>p_i = 2p_{i-1}+p_{i-2}</math>. Die Pell-Zahlen mit ungeradem <math>i</math> haben die Eigenschaft, dass <math>2p_i^2 - 1</math> eine Quadratzahl ist (sie sind Lösungen <math>y</math> der Pellschen Gleichung <math>x^2-2y^2=-1\,</math>).</ref>

Ist eine Markoff-Zahl <math>m</math> ungerade, so erfüllt sie die Kongruenz <math>m \equiv 1\ mod\ 4</math> und wenn sie gerade ist, dann gilt <math>m \equiv 2\ mod\ 32</math>.<ref>Ying Zhang: Congruence and Uniqueness of Certain Markov Numbers, Acta Arithmetica 128 3, 2007, 295–301</ref> Die drei Markoff-Zahlen eines Tripels sind stets paarweise teilerfremd.

Die Erzeugung neuer Markoff-Tripel aus bekannten

Man kann aus einer Lösung <math>(x, y, z)</math> der Markoff-Gleichung mittels <math>(x, y, z) \to (x, y, 3xy - z)</math> weitere Lösungen erzeugen.<ref>Es gilt nämlich <math>x^2 + y^2 + (3xy-z)^2 = x^2 + y^2 + z^2 + 9x^2y^2 - 6xyz = 9x^2y^2 - 3xyz = 3(3xy-z)xy\,</math>.</ref> Dabei ist es nicht nötig, dass die Lösung, mit der man beginnt, der Größe nach geordnet ist. Die unterschiedlichen Anordnungen von <math>x, y</math> und <math>z</math> können unterschiedliche Tripel <math>(x, y, 3xy - z)</math> erzeugen.

Nimmt man zum Beispiel <math>(1, 5, 13)</math>, dann bekommt man die drei benachbarten Tripel <math>(5, 13, 194), (1, 13, 34)</math> und <math>(1, 2, 5)</math> im Markoff-Baum, wenn man <math>x</math> gleich <math>1, 5</math> oder <math>13</math> setzt. Wendet man <math>(x, y, z) \to (x, y, 3xy - z)</math> zweimal an, ohne die Einträge im Tripel umzusortieren, so bekommt man wieder das Ausgangstripel.

Datei:MarkoffNumberAsymptotics.png
Fehler der Approximation für die ersten 1000 Markoff-Zahlen

Beginnt man mit <math>(1, 1, 2)</math> und vertauscht fortwährend <math>y</math> und <math>z</math> vor jeder Transformation, so erzeugt man damit die oben erwähnten Markoff-Tripel, die Fibonacci-Zahlen enthalten. Mit dem gleichen Starttripel aber mit Vertauschen von <math>x</math> und <math>z</math> erzeugt man die Pell-Lösungen.

Wie groß ist die n-te Markoff-Zahl?

Im Jahr 1982 bewies Don Zagier eine asymptotische Formel für die Anzahl der Markoff-Tripel unterhalb einer Schranke und vermutete, dass die <math>n</math>-te Markoff-Zahl asymptotisch gegeben ist durch

<math>m_n = \tfrac13 e^{C\sqrt{n}+o(1)}</math> mit <math>C = 2,3523418721\ldots</math>

(hier wird die O-Notation von E. Landau verwendet).<ref>Don B. Zagier: On the Number of Markoff Numbers Below a Given Bound. In: Mathematics of Computation, 160, 1982, S. 709–723, ams.org (PDF; 1,2 MB)</ref><ref>Siehe den <templatestyles src="Webarchiv/styles.css" />{{#if:20140224114418

      | {{#ifeq: 20140224114418 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20140224114418}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20140224114418}} im Internet Archive{{#if: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} {{#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: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} {{#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: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }}  
                 }}}}}}}}{{#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:20140224114418|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://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}}
    || {{#if:  || }}
  }}{{#if: Vortrag von M. Waldschmidt
    | {{#if: {{#invoke:WLink|isBracketedLink|Vortrag von M. Waldschmidt}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: PDF; 4,2 MB
    |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://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf }}
              | 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}}
            }} 
       }}
  }}</ref>

Der Fehler <math>(\log(3 m_n)/C)^2-n</math> ist in der nebenstehenden Abbildung illustriert. Die 1000. Markoff-Zahl ist ca. <math>6\cdot 10^{31}</math>.<ref>Folge A002559 in OEIS</ref>

Literatur

  • Thomas Cusick, Mari Flahive: The Markoff and Lagrange spectra. In: Math. Surveys and Monographs, 30, 1989, AMS, Providence
  • Serge Perrine: La théorie de Markoff et ses développements. Tessier & Ashpool, 2002, Vorlage:ArXiv
  • Caroline Series: The Geometry of Markoff Numbers. In: The Mathematical Intelligencer, 7 (3), 1985, S. 20–29.
  • {{#if: | {{{author}}} | Eric W. Weisstein }}: Markov number. In: MathWorld (englisch). {{#if: MarkovNumber | {{#ifeq: {{#property:P2812}} | MarkovNumber | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}

Einzelnachweise

<references />