Εικοστό πρώτο πρόβλημα του Χίλμπερτ

Το **εικοστό πρώτο πρόβλημα** από τα 23 προβλήματα του Χίλμπερτ, από τον περίφημο κατάλογο που παρουσίασε το 1900 ο Ντέιβιντ Χίλμπερτ, αφορά την ύπαρξη μιας συγκεκριμένης κατηγορίας γραμμικών διαφορικών εξισώσεων με συγκεκριμένα ιδιάζοντα σημεία και μονοδρομική ομάδα.

## Δήλωση

Το αρχικό πρόβλημα του 1902 διατυπώθηκε ως εξής :

**Απόδειξη της ύπαρξεως γραμμικών διαφορικών εξισώσεων που έχουν προδιαγεγραμμένη μονοδρομική ομάδα**

 Στη θεωρία των γραμμικών διαφορικών εξισώσεων με μία ανεξάρτητη μεταβλητή z, επιθυμώ να επισημάνω ένα σημαντικό πρόβλημα το οποίο πολύ πιθανόν να είχε κατά νου ο ίδιος ο Ρίμαν. Το πρόβλημα αυτό έχει ως εξής: Να δείξουμε ότι υπάρχει πάντα μια γραμμική διαφορική εξίσωση της κατηγορίας Φούξιαν, με συγκεκριμένα ιδιάζοντα σημεία και μονοδρομική ομάδα. Το πρόβλημα απαιτεί την παραγωγή n συναρτήσεων της μεταβλητής z, κανονικών σε όλο το μιγαδικό z-επίπεδο εκτός από τα δοσμένα ιδιάζοντα σημεία- στα σημεία αυτά οι συναρτήσεις μπορούν να γίνουν άπειρες με πεπερασμένη μόνο τάξη, και όταν το z περιγράφει κύκλους γύρω από τα σημεία αυτά οι συναρτήσεις θα υποστούν τις προβλεπόμενες γραμμικές αντικαταστάσεις. Η ύπαρξη τέτοιων διαφορικών εξισώσεων έχει αποδειχθεί πιθανή με την καταμέτρηση των σταθερών, αλλά η αυστηρή απόδειξη έχει επιτευχθεί μέχρι σήμερα μόνο στην ειδική περίπτωση όπου οι θεμελιώδεις εξισώσεις των συγκεκριμένων αντικαταστάσεων έχουν όλες ρίζες απόλυτου μεγέθους μονάδας. Ο Λ. Σλέσινγκερ (1895) έδωσε αυτή την απόδειξη, βασιζόμενος στη θεωρία του Πουανκαρέ για τις φουξιανές ζ-συναρτήσεις. Η θεωρία των γραμμικών διαφορικών εξισώσεων θα είχε προφανώς μια πιο ολοκληρωμένη εμφάνιση αν το πρόβλημα που σκιαγραφήθηκε εδώ μπορούσε να διευθετηθεί με κάποια απόλυτα γενική μέθοδο.

## Ορισμός

Στην πραγματικότητα είναι πιο σωστό να μιλάμε όχι για διαφορικές εξισώσεις αλλά για γραμμικά συστήματα διαφορικών εξισώσεων: για να υλοποιήσουμε οποιαδήποτε μονοδρομία μέσω μιας διαφορικής εξίσωσης πρέπει να δεχτούμε, γενικά, την παρουσία πρόσθετων φαινομενικών ιδιομορφιών, δηλαδή ιδιομορφιών με τετριμμένη τοπική μονοδρομία. Σε πιο σύγχρονη γλώσσα, τα εν λόγω (συστήματα) διαφορικών εξισώσεων είναι αυτά που ορίζονται στο μιγαδικό επίπεδο, μείον μερικά σημεία, και με μια κανονική ιδιομορφία σε αυτά. Μια πιο αυστηρή εκδοχή του προβλήματος απαιτεί αυτές οι ιδιομορφίες να είναι φουξιανές, δηλαδή πόλοι πρώτης τάξεως (λογαριθμικοί πόλοι), μεταξύ άλλων και στο άπειρο. Προβλέπεται μια ομάδα μονοδρομίας, μέσω μιας πεπερασμένης διάστασης μιγαδικής παράστασης της θεμελιώδους ομάδας του συμπληρώματος στη σφαίρα Ρίμαν αυτών των σημείων, συν το σημείο στο άπειρο, μέχρι ισοδυναμίας. Η θεμελιώδης ομάδα είναι στην πραγματικότητα μια ελεύθερη ομάδα, σε «κυκλώματα» που περνούν μία φορά γύρω από κάθε σημείο που λείπει, ξεκινώντας και καταλήγοντας σε ένα δεδομένο σημείο βάσης. Το ερώτημα είναι αν η απεικόνιση από αυτές τις φουξιανές εξισώσεις σε κλάσεις απεικονίσεων είναι επιρριπτική.

## Ιστορία

Το πρόβλημα αυτό ονομάζεται συνηθέστερα πρόβλημα Ρίμαν-Χίλμπερτ. Οδήγησε σε διάφορες διμερείς αντιστοιχίες γνωστές ως «αντιστοιχίες Ρίμαν-Χίλμπερτ», για επίπεδες αλγεβρικές συνδέσεις με κανονικές ιδιομορφίες και γενικότερα για κανονικές ολονομικές D-modules  ή επίπεδες αλγεβρικές συνδέσεις με κανονικές ιδιομορφίες σε κύριες G-δέσμες, σε όλες τις διαστάσεις. Η ιστορία των αποδείξεων που αφορούν μια απλή μιγαδική μεταβλητή είναι περίπλοκη. Ο Γιόσιπ Πλέμελ δημοσίευσε μια λύση το 1908. Η εργασία αυτή έγινε για μεγάλο χρονικό διάστημα αποδεκτή ως οριστική λύση- υπήρξε επίσης εργασία του G. D. Mπίρκοφ το 1913. Ο Πλέμελζ (1964) έγραψε μια μονογραφία που συνοψίζει την εργασία του. Λίγα χρόνια αργότερα ο σοβιετικός μαθηματικός Γιούλι Σ. Ιλιασένκο και άλλοι άρχισαν να εγείρουν αμφιβολίες για την εργασία του Πλέμελτζ. Στην πραγματικότητα, ο Πλέμελτζ αποδεικνύει με ακρίβεια ότι οποιαδήποτε ομάδα μονοδρομιών μπορεί να υλοποιηθεί από ένα κανονικό γραμμικό σύστημα το οποίο είναι φουξιανό σε όλα τα σημεία εκτός από ένα από τα ιδιάζοντα σημεία. Ο ισχυρισμός του Πλέμελζ ότι το σύστημα μπορεί να γίνει Φουξιανό και στο τελευταίο σημείο είναι λανθασμένος, εκτός αν η μονοδρομία είναι διαγωνοποιήσιμη εκεί.

Πράγματι, ο Αντρέι Α. Μπολιμπρούχ (1990) βρήκε ένα αντιπαράδειγμα στη δήλωση του Πλέμελζ. Αυτό θεωρείται συνήθως ως αντιπαράδειγμα στο ακριβές ερώτημα που είχε κατά νου ο Χίλμπερτ - ο Μπολιμπρούχ έδειξε ότι για μια δεδομένη διαμόρφωση πόλων ορισμένες ομάδες μονοδρομιών μπορούν να πραγματοποιηθούν από κανονικά, αλλά όχι από φουξιανά συστήματα. (Το 1990 δημοσίευσε την ενδελεχή μελέτη της περίπτωσης των κανονικών συστημάτων μεγέθους 3 παρουσιάζοντας όλες τις περιπτώσεις που υπάρχουν τέτοια αντιπαραδείγματα. Το 1978 ο Ντέκερς έδειξε ότι για συστήματα μεγέθους 2 ο ισχυρισμός του Πλέμελζ είναι αληθής. Ο Αντρέι Α. Μπολιμπρούχ (1992) και ανεξάρτητα ο Βλαντιμίρ Κόστοφ (1992) έδειξαν ότι για οποιοδήποτε μέγεθος, μια μη αναγώγιμη μονοδρομική ομάδα μπορεί να υλοποιηθεί από ένα σύστημα Φουξ.
Η συνδιάσταση της ποικιλίας των μονοδρομικών ομάδων κανονικών συστημάτων μεγέθους n με p+1 πόλους που δεν μπορούν να πραγματοποιηθούν από συστήματα Φούξιαν είναι ίση με 2(n-1)p (). Παράλληλα, η σχολή της αλγεβρικής γεωμετρίας Γκρόθεντιεκ είχε αρχίσει να ενδιαφέρεται για ζητήματα «ολοκληρώσιμων συνδέσεων σε αλγεβρικές ποικιλίες», γενικεύοντας τη θεωρία των γραμμικών διαφορικών εξισώσεων σε επιφάνειες Ρίμαν. Ο Πιερ Ντελίν απέδειξε μια ακριβή αντιστοιχία Ρίμαν-Χίλμπερτ σε αυτό το γενικό πλαίσιο (ένα σημαντικό σημείο ήταν να πούμε τι σημαίνει « φουξιανή»). Με την εργασία του Χέλμουτ Ρέχρλ, καλύφθηκε και πάλι η περίπτωση σε μία μιγαδική διάσταση.

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

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

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

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

*
*
*Deligne, Pierre (1970). Équations différentielles à points singuliers réguliers. (French) Lecture Notes in Mathematics, Vol. 163. Springer-Verlag, Berlin-New York, 1970. 133 pp. MR0417174
*
*
*Gérard, Raymond (1969). Le problème de Riemann-Hilbert sur une variété analytique complexe. (French) Ann. Inst. Fourier (Grenoble) 19 (1969), fasc. 2, 1--32. MR0281946
*
*Röhrl, Helmut (1957). Das Riemann-Hilbertsche Problem der Theorie der linearen Differentialgleichungen. (German) Math. Ann. 133, 1--25. MR0086958
*
* 
*

## Πηγές
* On the Riemann–Hilbert Problem (archive.org copy http://euclid.ucc.ie/pages/staff/mk/mathesis.pdf )
*
*

Κατηγορία:Αλγεβρική γεωμετρία
Κατηγορία:Αλγεβρικές καμπύλες
Κατηγορία:Διαφορικές εξισώσεις
Κατηγορία:Προβλήματα του Χίλμπερτ
Κατηγορία:Ιστορία των Μαθηματικών
Κατηγορία:Άλυτα προβλήματα στα μαθηματικά
Κατηγορία:Ευκλείδεια επιπεδομετρία