Δέκατο έκτο πρόβλημα του Χίλμπερτ

Το δέκατο έκτο πρόβλημα του Χίλμπερτ τέθηκε από τον Ντέιβιντ Χίλμπερτ στο συνέδριο του Διεθνούς Συνεδρίου Μαθηματικών στο Παρίσι το 1900, ως μέρος της λίστας με τα 23 προβλήματα των μαθηματικών.

Το αρχικό πρόβλημα τέθηκε ως Πρόβλημα της τοπολογίας των αλγεβρικών καμπυλών και επιφανειών (Problem der Topologie algebraischer Kurven und Flächen).

Στην πραγματικότητα το πρόβλημα αποτελείται από δύο παρόμοια προβλήματα σε διαφορετικούς κλάδους των μαθηματικών:

• Μια διερεύνηση των σχετικών θέσεων των κλάδων πραγματικών αλγεβρικών καμπυλών βαθμού n (και ομοίως για αλγεβρικές επιφάνειες).
• Ο προσδιορισμός του ανώτερου ορίου για τον αριθμό των οριακών κύκλων σε δισδιάστατα πολυωνυμικά διανυσματικά σώματα βαθμού n και μια διερεύνηση των σχετικών θέσεών τους.

Το πρώτο πρόβλημα είναι ακόμη άλυτο για n = 8. Επομένως, αυτό το πρόβλημα είναι αυτό που συνήθως εννοούμε όταν μιλάμε για το δέκατο έκτο πρόβλημα του Χίλμπερτ στην πραγματική αλγεβρική γεωμετρία. Το δεύτερο πρόβλημα παραμένει επίσης άλυτο: δεν είναι γνωστό κανένα ανώτερο όριο για τον αριθμό των οριακών κύκλων για οποιοδήποτε n > 1, και αυτό είναι αυτό που συνήθως εννοείται με το δέκατο έκτο πρόβλημα του Χίλμπερτ στο χώρο των δυναμικών συστημάτων.

Η Βασιλική Εταιρεία Μαθηματικών της Ισπανίας δημοσίευσε μια επεξήγηση του δέκατου έκτου προβλήματος του Χίλμπερτ .

Το πρώτο μέρος του 16ου προβλήματος του Χίλμπερτ

Το 1876, ο Χάρνακ ερεύνησε αλγεβρικές καμπύλες στο πραγματικό προβολικό επίπεδο και διαπίστωσε ότι καμπύλες βαθμού n δεν μπορούσαν να έχουν περισσότερες από

$\frac{n^2-3n+4}{2}$

ξεχωριστές συνδεδεμένες συνιστώσες. Επιπλέον, έδειξε πώς να κατασκευάζει καμπύλες που επιτυγχάνουν αυτό το ανώτερο όριο, και συνεπώς ότι ήταν το καλύτερο δυνατό όριο. Οι καμπύλες με αυτόν τον αριθμό συνιστωσών ονομάζονται καμπύλες Μ.

Ο Χίλμπερτ είχε ερευνήσει τις καμπύλες Μ βαθμού 6 και διαπίστωσε ότι οι 11 συνιστώσες ήταν πάντα ομαδοποιημένες με έναν ορισμένο τρόπο. Η πρόκλησή του προς τη μαθηματική κοινότητα ήταν τώρα να διερευνήσει πλήρως τις πιθανές διαμορφώσεις των συνιστωσών των καμπυλών Μ.

Επιπλέον, ζήτησε τη γενίκευση του θεωρήματος των καμπυλών του Χάρνακ σε αλγεβρικές επιφάνειες και μια παρόμοια διερεύνηση των επιφανειών με τον μέγιστο αριθμό συνιστωσών.

Το δεύτερο μέρος του 16ου προβλήματος του Χίλμπερτ

Εδώ θα εξετάσουμε πολυωνυμικά διανυσματικά σώματα στο πραγματικό επίπεδο, δηλαδή ένα σύστημα διαφορικών εξισώσεων της μορφής:

$\frac{dx}{dt}=P(x,y),\frac{dy}{dt}=Q(x,y)$

όπου και τα δύο P και Q είναι πραγματικά πολυώνυμα βαθμού n.

Αυτά τα πολυωνυμικά διανυσματικά σώματα μελετήθηκαν από τον Πουανκαρέ, ο οποίος είχε την ιδέα να εγκαταλείψει την αναζήτηση για την εύρεση ακριβών λύσεων του συστήματος και αντ' αυτού προσπάθησε να μελετήσει τα ποιοτικά χαρακτηριστικά της συλλογής όλων των πιθανών λύσεων.

Μεταξύ πολλών σημαντικών ανακαλύψεων, διαπίστωσε ότι τα οριακά σύνολα τέτοιων λύσεων δεν χρειάζεται να είναι ένα στάσιμο σημείο, αλλά θα μπορούσε μάλλον να είναι μια περιοδική λύση. Τέτοιες λύσεις ονομάζονται οριακοί κύκλοι.

Το δεύτερο μέρος του 16ου προβλήματος του Χίλμπερτ είναι να αποφασίσει ένα ανώτερο όριο για τον αριθμό των οριακών κύκλων σε πολυωνυμικά διανυσματικά σώματα βαθμού n και, παρόμοια με το πρώτο μέρος, να διερευνήσει τις σχετικές θέσεις τους.

Αποτελέσματα

Αποδείχθηκε το 1991/1992 από τους Γιούλι Ιλιασένκο και Ζαν Εκάλ ότι κάθε πολυωνυμικό διανυσματικό σώμα στο επίπεδο έχει μόνο πεπερασμένους οριακούς κύκλους (ένα άρθρο του Ανρί Ντουλάκ από το 1923 που υποστήριζε την απόδειξη αυτής της δήλωσης είχε αποδειχθεί ότι περιείχε κενό το 1981). Η δήλωση αυτή δεν είναι προφανής, αφού είναι εύκολο να κατασκευαστούν ομαλά (C^∞) διανυσματικά σώματα στο επίπεδο με απείρως πολλούς ομόκεντρους οριακούς κύκλους.

Το ερώτημα αν υπάρχει ένα πεπερασμένο άνω όριο H(n) για τον αριθμό των οριακών κύκλων των επίπεδων πολυωνυμικών διανυσματικών σωμάτων βαθμού n παραμένει άλυτο για οποιοδήποτε n > 1. (H(1) = 0 αφού τα γραμμικά διανυσματικά πεδία δεν έχουν οριακούς κύκλους.) Οι Εβγένι Λάντις και Ιβάν Πετρόφσκι ισχυρίστηκαν ότι βρήκαν λύση στη δεκαετία του 1950, αλλά αποδείχθηκε ότι ήταν λάθος στις αρχές της δεκαετίας του 1960. Είναι γνωστά τετραγωνικά επίπεδα διανυσματικά σώματα με τέσσερις οριακούς κύκλους.. Ένα παράδειγμα αριθμητικής απεικόνισης τεσσάρων οριακών κύκλων σε ένα τετραγωνικό επίπεδο διανυσματικό σώμα μπορεί να βρεθεί στο. Γενικά, οι δυσκολίες στην εκτίμηση του αριθμού των οριακών κύκλων με αριθμητική ολοκλήρωση οφείλονται στους ένθετους οριακούς κύκλους με πολύ στενές περιοχές έλξης, οι οποίοι είναι κρυφοί ελκυστές, και στους ημι-σταθερούς οριακούς κύκλους.

Αρχική διατύπωση των προβλημάτων

Στην ομιλία του, ο Χίλμπερτ παρουσίασε τα προβλήματα ως εξής:

Ο Χίλμπερτ συνεχίζει:

Εξωτερικοί σύνδεσμοι

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
• Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
• Proof of Dehn's Theorem at Everything2
• Πρότυπο:MathWorld
• Dehn Invariant at Everything2
• Ντέιβιντ Χίλμπερτ, Μαθηματικά προβλήματα, 6ο πρόβλημα, σε αγγλική μετάφραση.

Δείτε επίσης

• Δυναμικό σύστημα
• Διαφορική εξίσωση
• Συνήθης διαφορική εξίσωση
• Τετραγωνικό σώμα
• Ελλειπτική συνάρτηση
• Αλγεβρική γεωμετρία
• Πιερ Ντελίν
• Ανρί Πουανκαρέ
• Χώρος Χίλμπερτ
• Ντάβιντ Χίλμπερτ
• Ευκλείδειος χώρος
• Επιφάνεια Ρίμαν
• Αλγεβρική ποικιλία

Βιβλιογραφία

• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book

Πηγές

• 16th Hilbert problem: computation of Lyapunov quantities and limit cycles in two-dimensional dynamical systems
• Πρότυπο:Cite web
• Πρότυπο:Cite web
• Πρότυπο:Cite journal