Αριθμός Μάρκοφ

225px|μικρογραφία|δεξιά|Ο Ρώσος μαθηματικός και στοχαστής Αντρέι Αντρέγιεβιτς Μάρκοφ (1856–1922)
**Αριθμός Μάρκοφ** ή **αριθμός Μάρκοβ** (αγγλικά: *Markov number* ή πιο σπάνια *Markow number* και συχνά σε παλιές εκδόσεις *Markoff number*) είναι ένας θετικός ακέραιος *x*, *y* ή *z* που αποτελεί μέρος της λύσης της διοφαντικής εξίσωσης Μάρκοφ

:x^2 + y^2 + z^2 = 3xyz,\,

η οποία μελετήθηκε από τον Αντρέι Μάρκοφ το 1879 και το 1880.

Οι πρώτοι αριθμοί Μάρκοφ είναι

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

και εμφανίζονται ως συντεταγμένες των τριάδων Μάρκοφ (Markov triples)

:(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), (1, 13, 34), (1, 34, 89), (2, 29, 169), (5, 13, 194), (1, 89, 233), (5, 29, 433), (89, 233, 610), ...

Υπάρχουν άπειροι αριθμοί Μάρκοφ και τριάδες Μάρκοφ αντίστοιχα.

## Δέντρο Μάρκοφ
500px|μικρογραφία|Διάγραμμα: Τα πρώτα επίπεδα του αριθμητικού δέντρου Μάρκοφ
Υπάρχουν δύο απλοί τρόποι για να αποκτήσετε μία νέα τριάδα Μάρκοφ από μία παλιά (*x*,&nbsp;*y*,&nbsp;*z*). Πρώτον, μπορεί κανείς να ανταλλάξει τους τρεις αριθμούς *x*,&nbsp;*y*,&nbsp;*z*, έτσι ώστε, να μπορεί κανείς να κανονικοποιήσει τις τριάδες στη μορφή *x*&nbsp;≤&nbsp;*y*&nbsp;≤&nbsp;*z*. Δεύτερον, αν (*x*,&nbsp;*y*,&nbsp;*z*) είναι μια τριάδα Μάρκοφ μετά από ριζική αναστροφή (Vieta jumping) και ισχύει (*x*,&nbsp;*y*,&nbsp;3*xy*&nbsp;&minus;&nbsp;*z*). Εφαρμόζοντας αυτή τη λειτουργία επιστρέφει δύο φορές την ίδια τριάδα ξεκινώντας ομοίως την κάθε μία. Ενώνουμε με το 1, 2, ή 3 κάθε κανονικοποιημένη τριάδα Μάρκοφ και έτσι μπορεί κανείς να λάβει ομοίως κανονικοποιημένες τριάδες, καθώς δημιουργείται ένα γράφημα που αρχίζει από την (1,1,1), όπως στο διάγραμμα.

Αυτό το γράφημα είναι συνδεδεμένο με την (1,1,1) και με άλλα λόγια κάθε τριάδα Μάρκοφ, με μία αλληλουχία τέτοιων πράξεων, μπορεί να συνδεθεί με την (1,1,1). Αν για παράδειγμα αρχίσουμε με την (1, 5, 13) παίρνουμε τρεις γειτονικές της (5, 13, 194), (1, 13, 34) και (1, 2, 5) στο δέντρο Markov εάν το *x* έχει οριστεί σε 1, 5 και 13, αντίστοιχα. Για παράδειγμα, ξεκινώντας με την (1, 1, 2) και ανταλλάσσοντας τα *y* και *z* πριν από κάθε επανάληψη του μετασχηματισμού απαριθμούνται τριάδες Μάρκοφ με τους αριθμούς Φιμπονάτσι. Ξεκινώντας με την ίδια τριάδα και ανταλλάσσοντας τα *x* και *z* πριν από κάθε επανάληψη απαριθμούνται τριάδες με τους αριθμούς Πελ.

Όλοι οι αριθμοί Μάρκοφ για τις περιοχές που συνορεύουν με την περιοχή 2 είναι αριθμοί του Πελ με μονό δείκτη (ή οι αριθμοί *n* τέτοιοι ώστε 2*n*2&nbsp;&minus;&nbsp;1 να είναι ένα τετράγωνο), επίσης όλοι οι αριθμοί Μάρκοφ για τις περιοχές που συνορεύουν με την περιοχή 1 είναι αριθμοί του Φιμπονάτσι με μονό δείκτη. Έτσι, υπάρχουν άπειρες τριάδες Μάρκοφ της μορφής

:(1, F_{2n - 1}, F_{2n + 1}),\,

όπου *F**x* είναι ο *x*-στός αριθμός Φιμπονάτσι. Ομοίως, υπάρχουν άπειρες τριάδες Μάρκοφ της μορφής

:(2, P_{2n - 1}, P_{2n + 1}),\,

όπου *P**x* είναι ο *x*-στός αριθμός Πελ.

## Άλλες ιδιότητες
Εκτός από τις δύο μικρότερες *μοναχικές* τριάδες (1,1,1) και (1,1,2), κάθε τριάδα Μάρκοφ αποτελείται από τρεις διακριτούς ακέραιους.

Η *εικασία μοναδικότητας* αναφέρει ότι για έναν δεδομένο αριθμό Μάρκοφ *c*, υπάρχει μία ακριβώς κανονικοποιημένη λύση που έχει τον αριθμό *c* ως το μεγαλύτερο στοιχείο της: ζητήθηκαν οι αποδείξεις αυτής της εικασίας, αλλά κανένας ως φαίνεται δεν τις έδωσε σωστά.

Οι μονοί αριθμοί Μάρκοφ είναι κατά 1 μεγαλύτεροι από τα πολλαπλάσια του 4, ενώ ακόμη και οι αριθμοί Μάρκοφ είναι κατά 2 μεγαλύτεροι από τα πολλαπλάσια των 32.

Το 1982 η εργασία του *Don Zagier* εικάζει ότι ο *n*-στός αριθμός Μάρκοφ δίνεται ασυμπτωτικά από

:m_n = \tfrac13 e^{C\sqrt{n}+o(1)}&nbsp; όπου &nbsp;*C* = 2.3523418721...

Επιπλέον, τόνισε ότι

:x^2 + y^2 + z^2 = 3xyz +4/9&nbsp; (μια εξαιρετικά καλή προσέγγιση της αρχικής διοφαντικής εξίσωσης)

είναι ισοδύναμη με την

:f(x)+f(y)=f(z)&nbsp; όπου &nbsp;f(t) = arcosh(3t/2) 

Η εικασία αποδείχθηκε, με χρήση τεχνικών από την υπερβολική γεωμετρία, από τους *Greg McShane* και *Igor Rivin* το 1995.

Ο *n*-στός αριθμός *Lagrange* μπορεί να υπολογιστεί από τον *n*-στό αριθμό Μάρκοφ με τον τύπο

:L_n = \sqrt{9 - {4 \over {m_n}^2}} \,

όπου *L**n* ο *n*-στός αριθμός *Lagrange* και *m**n* ο *n*-στός αριθμός Μάρκοφ.

## Θεώρημα Μάρκοφ
Ο Αντρέι Μάρκοφ το 1879 και το 1880. έδειξε ότι αν

:f(x,y) = ax^2+bxy+cy^2 \, 

είναι μια αόριστη δυαδική τετραγωνική μορφή με πραγματικούς συντελεστές και διακρίνουσα

:D = b^2-4ac

τότε υπάρχουν ακέραιοι *x*,&nbsp;*y* για τους οποίους η *f* παίρνει το πολύ μία μη μηδενική τιμή της απολύτου τιμής

:\frac{\sqrt D}{3}

εκτός αν η *f* είναι μιας *μορφής Μάρκοφ* η οποία πολλαπλασιάζεται από μία σταθερά

:px^2+(3p-2a)xy+(b-3a)y^2 \, 

όπου (*p*,&nbsp;*q*,&nbsp;*r*) είναι μία τριάδα Μάρκοφ και

: 0&nbsp;&nbsp;&nbsp;aq\equiv\pm r\bmod p,&nbsp;&nbsp;&nbsp;bp-a^2=1 \,

## Πίνακες
Αν *X* και *Y* ανήκουν στο *SL<sub>2</sub>(*'C**)'' τότε

:<math>Tr(X)Tr(Y)Tr(XY) + Tr(XYX^{-1}Y^{-1})+2= Tr(X)^2+Tr(Y)^2+Tr(XY)^2</math>

έτσι ώστε εάν

:<math>Tr(XYX^{-1}Y^{-1})={-2}</math>

τότε

:<math>Tr(X)Tr(Y)Tr(XY) = Tr(X)^2+Tr(Y)^2+Tr(XY)^2</math>

Ειδικότερα, εάν η ''X'' και ''Y'' έχουν επίσης ακέραιες καταχωρήσεις, τότε είναι μία τριάδα Μάρκοφ της μορφής

:<math>Tr(X)/3,</math>&nbsp;&nbsp;&nbsp;<math>Tr(Y)/3,</math>&nbsp;&nbsp;&nbsp;<math>Tr(XY)/3</math>

Αν ''XYZ''&nbsp;=&nbsp;1 τότε

:<math>Tr(XY) = Tr(Z)</math>

οπότε πιο συμμετρικά αν ''X'', ''Y'' και ''Z'' ανήκουν στο ''SL<sub>2</sub>(**Z*')* με *XYZ*&nbsp;=&nbsp;1 και ο μεταγωγέας των δύο εξ αυτών έχει ίχνος -2, τότε τα ίχνη τους προς 3 είναι μία τριάδα Μάρκοφ.

## Περαιτέρω ανάγνωση
*Φάσμα Μάρκοφ

## Παραπομπές


## Βιβλιογραφία
* 
* 
* 
* 
* 
:: 1η καταχώρηση: 
:: 2η καταχώρηση: 
* 
* 
* 

Κατηγορία:Διοφαντικές εξισώσεις
Κατηγορία:Θεωρία αριθμών