Μετάβαση στο περιεχόμενο

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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Το δέκατο ένατο πρόβλημα του Χίλμπερτ είναι ένα από τα 23 προβλήματα Χίλμπερτ που παρουσιάζονται σε έναν κατάλογο που συνέταξε ο Ντέιβιντ Χίλμπερτ το 1900[1]. Διερωτάται αν οι λύσεις των κανονικών προβλημάτων του λογισμού των μεταβολών είναι πάντα αναλυτικές[2] . Άτυπα, και ίσως λιγότερο άμεσα, αφού η έννοια του Χίλμπερτ για ένα "κανονικό πρόβλημα παραλλαγών" το προσδιορίζει ακριβώς ως ένα πρόβλημα παραλλαγών του οποίου η εξίσωση Όιλερ-Λαγκράνζ είναι μια ελλειπτική μερική διαφορική εξίσωση με αναλυτικούς συντελεστές[3] , Το δέκατο ένατο πρόβλημα του Χίλμπερτ, παρά την προφανώς τεχνική του διατύπωση, θέτει απλώς το ερώτημα αν, σε αυτή την κατηγορία μερικών διαφορικών εξισώσεων, οποιαδήποτε λύση κληρονομεί τη σχετικά απλή και καλά κατανοητή ιδιότητα να είναι αναλυτική συνάρτηση από την εξίσωση που ικανοποιεί. Το δέκατο ένατο πρόβλημα του Χίλμπερτ επιλύθηκε ανεξάρτητα στα τέλη της δεκαετίας του 1950 από τους Έννιο ντε Τζόρτζι και Τζον Φορμπς Νας Τζούνιορ.

Η προέλευση του προβλήματος

[Επεξεργασία | επεξεργασία κώδικα]

Ένα από τα πιο περίεργα εννοιολογικά γεγονότα στη θεωρία των αναλυτικών συναρτήσεων είναι ότι υπάρχουν μερικές διαφορικές εξισώσεις των οποίων τα ολοκληρώματα είναι όλα αναγκαστικά αναλυτικές συναρτήσεις ανεξάρτητων μεταβλητών, οι οποίες, εν ολίγοις, μπορούν να έχουν μόνο αναλυτικές λύσεις [4] ——Ντάβιντ Χίλμπερτ (Hilbert 1900, p. 288).

Ο Ντέιβιντ Χίλμπερτ παρουσίασε αυτό που σήμερα είναι γνωστό ως το δέκατο ένατο πρόβλημά του στην ομιλία του στο Δεύτερο Διεθνές Συνέδριο Μαθηματικών[5]. Στο ( Χίλμπερτ 1900, σ. 288), αναφέρει ότι, κατά τη γνώμη του, ένα από τα πιο αξιοσημείωτα γεγονότα της θεωρίας των αναλυτικών συναρτήσεων είναι ότι υπάρχουν κλάσεις μερικών διαφορικών εξισώσεων που δέχονται μόνο αναλυτικές συναρτήσεις ως λύσεις, αναφέροντας ως παραδείγματα την εξίσωση Λαπλάς, την εξίσωση Λιούβιλ[6], την εξίσωση ελάχιστης επιφάνειας και μια κλάση γραμμικών μερικών διαφορικών εξισώσεων που μελετήθηκε από τον Εμίλ Πικάρ[7]. Στη συνέχεια σημειώνει ότι οι περισσότερες μερικές διαφορικές εξισώσεις που μοιράζονται αυτή την ιδιότητα είναι εξισώσεις Όιλερ-Λαγκράνζ ενός καλά καθορισμένου τύπου μεταβλητού προβλήματος, οι οποίες ικανοποιούν τις ακόλουθες τρεις ιδιότητες[8]

(1)     ,
(2)     ,
(3)      F είναι αναλυτική συνάρτηση για όλα τα ορίσματά της p, q, z, x και y.

Ο Χίλμπερτ το ονομάζει αυτό «κανονικό πρόβλημα μεταβολής»[9]. Η ιδιότητα (1) σημαίνει ότι πρόκειται για ελάχιστα προβλήματα. Η ιδιότητα (2) είναι η συνθήκη ελλειπτικότητας στις εξισώσεις Όιλερ-Λαγκράνζ που σχετίζονται με τη δεδομένη συνάρτηση, ενώ η ιδιότητα (3) είναι μια απλή υπόθεση κανονικότητας για τη συνάρτηση F.[10] Έχοντας προσδιορίσει την κατηγορία των προβλημάτων που εξετάζονται, θέτει το ακόλουθο ερώτημα: «... κάθε μερική διαφορική εξίσωση Λαγκράνζ ενός προβλήματος κανονικής μεταβολής έχει την ιδιότητα να δέχεται αποκλειστικά αναλυτικά ολοκληρώματα;»[11] Διερωτάται περαιτέρω αν αυτό ισχύει ακόμη και όταν η συνάρτηση απαιτείται να λάβει συνοριακές τιμές που είναι συνεχείς, αλλά όχι αναλυτικές, όπως συμβαίνει στο πρόβλημα του Ντίριχλετ για τη συνάρτηση δυναμικού [8].

διαδρομή προς την πλήρη λύση

[Επεξεργασία | επεξεργασία κώδικα]

Ο Χίλμπερτ διατύπωσε το δέκατο ένατο πρόβλημά του ως πρόβλημα κανονικότητας για μια κατηγορία ελλειπτικών μερικών διαφορικών εξισώσεων με αναλυτικούς συντελεστές[8]. Κατά συνέπεια, οι πρώτες προσπάθειες των ερευνητών που προσπάθησαν να το επιλύσουν στόχευαν στη μελέτη της κανονικότητας των κλασικών λύσεων για εξισώσεις που ανήκουν σε αυτή την κατηγορία. Για τις λύσεις C3, το πρόβλημα του Χίλμπερτ έλαβε θετική απάντηση από τον Σεργκέι Μπερνστάιν (1904) στη διατριβή του. Έδειξε ότι οι λύσεις C3 μη γραμμικών ελλειπτικών αναλυτικών εξισώσεων σε 2 μεταβλητές είναι αναλυτικές. Το αποτέλεσμα του Μπερνστάιν βελτιώθηκε με την πάροδο των ετών από διάφορους συγγραφείς, όπως ο Πετρόφσκι (Petrowsky (1939)), οι οποίοι μείωσαν τις απαιτήσεις διαφοροποίησης της λύσης που απαιτούνται για να αποδειχθεί ότι είναι αναλυτική. Από την άλλη πλευρά, άμεσες μέθοδοι στον λογισμό των μεταβολών έχουν δείξει την ύπαρξη λύσεων με πολύ αδύναμες ιδιότητες διαφορισιμότητας. Για πολλά χρόνια, υπήρχε ένα κενό μεταξύ αυτών των αποτελεσμάτων. Οι λύσεις που μπορούσαν να κατασκευαστούν ήταν γνωστό ότι είχαν τετραγωνικά ολοκληρώσιμες δεύτερες παραγώγους, αλλά αυτό δεν ήταν αρκετά ισχυρό για να τροφοδοτήσει τον μηχανισμό που μπορούσε να αποδείξει ότι ήταν αναλυτικές, ο οποίος χρειαζόταν συνέχεια των πρώτων παραγώγων. Αυτό το κενό καλύφθηκε ανεξάρτητα από τον Έννιο Ντε Τζιόρτζι (Ennio De Giorgi (1956, 1957) και τον Τζον Φορμπς Νας (John Forbes Nash (1957, 1958)), οι οποίοι μπόρεσαν να δείξουν ότι οι λύσεις είχαν πρώτες παραγώγους που ήταν συνεχείς κατά Χόλντερ. Από προηγούμενα αποτελέσματα αυτό σήμαινε ότι οι λύσεις είναι αναλυτικές όποτε η διαφορική εξίσωση έχει αναλυτικούς συντελεστές, ολοκληρώνοντας έτσι τη λύση του δέκατου ένατου προβλήματος του Χίλμπερτ. Στη συνέχεια, ο Γιούργκεν Μόζερ έδωσε μια εναλλακτική απόδειξη των αποτελεσμάτων που προέκυψαν από τον Έννιο Ντε Τζιόρτζι (Ennio De Giorgi (1956, 1957)) και τον Τζον Φορμπς Νας (John Forbes Nash (1957, 1958).).

Αντιπαραδείγματα σε διάφορες γενικεύσεις του προβλήματος

[Επεξεργασία | επεξεργασία κώδικα]

Η καταφατική απάντηση στο δέκατο ένατο πρόβλημα του Χίλμπερτ που δόθηκε από τους Έννιο Ντε Τζιόρτζι και Τζον Φορμπς Νας έθεσε το ερώτημα αν το ίδιο συμπέρασμα ισχύει και για τις εξισώσεις Όιλερ-Λαγκράνζ γενικότερων συναρτησιακών. Στα τέλη της δεκαετίας του 1960, οι Μαζ'ια (Maz'ya (1968)),[12] Ντε Γκιόργκι (De Giorgi (1968)) και Γκιούστι & Μιράντα (Giusti & Miranda (1968)) κατασκεύασαν ανεξάρτητα διάφορα αντιπαραδείγματα,[13] δείχνοντας ότι γενικά δεν υπάρχει ελπίδα να αποδειχθούν τέτοια αποτελέσματα κανονικότητας χωρίς την προσθήκη περαιτέρω υποθέσεων.

Συγκεκριμένα, ο Μαζ'ια ( Maz'ya (1968)) έδωσε αρκετά αντιπαραδείγματα που αφορούσαν μια απλή ελλειπτική εξίσωση τάξης μεγαλύτερης των δύο με αναλυτικούς συντελεστές[14]. Για τους ειδικούς, το γεγονός ότι τέτοιες εξισώσεις θα μπορούσαν να έχουν μη αναλυτικές και ακόμη και μη ομαλές λύσεις προκάλεσε αίσθηση[15].

Οι Ντε Γκιόργκι (De Giorgi (1968)) και Γκιούστι & Μιράντα (Giusti & Miranda (1968)) έδωσαν αντιπαραδείγματα που έδειξαν ότι στην περίπτωση που η λύση είναι διανυσματικής αξίας και όχι κλιμακωτής αξίας, δεν χρειάζεται να είναι αναλυτική- το παράδειγμα του Ντε Γκιόργκι αποτελείται από ένα ελλειπτικό σύστημα με περιορισμένους συντελεστές, ενώ αυτό των Γκιούστι και Μιράντα έχει αναλυτικούς συντελεστές[16]. Αργότερα, ο Νετσάς (1977) έδωσε άλλα, πιο εκλεπτυσμένα, παραδείγματα για το πρόβλημα με διανυσματική αξία[17].

Το θεώρημα του Ντε Γκιόργκι

[Επεξεργασία | επεξεργασία κώδικα]

Το βασικό θεώρημα που απέδειξε ο Ντε Γκιόργκι είναι μια εκ των προτέρων εκτίμηση που δηλώνει ότι αν η u είναι λύση μιας κατάλληλης γραμμικής δευτεροβάθμιας αυστηρά ελλειπτικής PDE της μορφής

και η έχει τετραγωνικά ολοκληρώσιμες πρώτες παραγώγους, τότε η είναι συνεχής κατά Χόλντερ.

Εφαρμογή του θεωρήματος του Ντε Γκιόργκι στο πρόβλημα του Χίλμπερτ

[Επεξεργασία | επεξεργασία κώδικα]

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

είναι αναλυτικές. Εδώ είναι μια συνάρτηση σε κάποιο συμπαγές σύνολο του Rn, είναι το διάνυσμα κλίσης της, και είναι η Λαγκρανζιανή, μια συνάρτηση των παραγώγων του που ικανοποιεί ορισμένες συνθήκες αύξησης, ομαλότητας και κυρτότητας. Η ομαλότητα της μπορεί να αποδειχθεί χρησιμοποιώντας το θεώρημα του Ντε Γκιόργκι ως εξής. Η εξίσωση Όιλερ-Λαγκράνζ για αυτό το μεταβλητό πρόβλημα είναι η μη γραμμική εξίσωση

και διαφοροποιώντας το ως προς προκύπτει

Αυτό σημαίνει ότι ικανοποιεί τη γραμμική εξίσωση

με

οπότε σύμφωνα με το αποτέλεσμα του Ντε Γκιόργκι η λύση w έχει συνεχείς πρώτες παραγώγους Χόλντερ, υπό την προϋπόθεση ότι ο πίνακας είναι φραγμένος. Όταν αυτό δεν συμβαίνει, απαιτείται ένα επιπλέον βήμα: πρέπει να αποδείξουμε ότι η λύση είναι συνεχής κατά Λίπσιτζ, δηλαδή η κλίση είναι μια συνάρτηση .

Αφού είναι γνωστό ότι η w έχει συνεχείς (n+1)st παραγώγους Χόλντερ για κάποιο n ≥ 1, τότε οι συντελεστές aij έχουν συνεχείς nth παραγώγους Χόλτερ, οπότε ένα θεώρημα του Σόουντερ (Schauder) συνεπάγεται ότι οι (n+2)nd παράγωγοι είναι επίσης συνεχείς Χόλτερ, οπότε επαναλαμβάνοντας αυτό απείρως συχνά αποδεικνύεται ότι η λύση w είναι ομαλή.

Ο Τζον Νας έδωσε μια εκτίμηση συνέχειας για τις λύσεις της παραβολικής εξίσωσης

όπου u είναι μια περιορισμένη συνάρτηση των x1,...,xn, t που ορίζεται για t ≥ 0. Από την εκτίμησή του ο Νας μπόρεσε να συμπεράνει μια εκτίμηση συνέχειας για τις λύσεις της ελλειπτικής εξίσωσης

εξετάζοντας την ειδική περίπτωση κατά την οποία το u δεν εξαρτάται από το t.

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

[Επεξεργασία | επεξεργασία κώδικα]
  1. See (Hilbert 1900) or, equivalently, one of its translations.
  2. "Sind die Lösungen regulärer Variationsprobleme stets notwendig analytisch?" (English translation by Mary Frances Winston Newson:-"Are the solutions of regular problems in the calculus of variations always necessarily analytic?"), formulating the problem with the same words of Hilbert (1900, p. 288).
  3. See (Hilbert 1900, σελίδες 288–289), or the corresponding section on the nineteenth problem in any of its translations or reprints, or the subsection "The origins of the problem" in the historical section of this entry.
  4. Πρωτότυπο γερμανικό κείμενο του Χίμπερ: Eine der begrifflich merkwürdigsten Thatsachen in den Elementen der Theorie der analytischen Funktionen erblicke ich darin, daß es Partielle Differentialgleichungen giebt, deren Integrale sämtlich notwendig analytische Funktionen der unabhängigen Variabeln sind, die also, kurz gesagt, nur analytischer Lösungen fähig sind.
  5. For a detailed historical analysis, see the relevant entry "Hilbert's problems".
  6. Hilbert does not cite explicitly Joseph Liouville and considers the constant Gaussian curvature K as equal to -1/2: compare the relevant entry with (Hilbert 1900, σελ. 288).
  7. Unlike Liouville's work, Picard's work is explicitly cited by Hilbert (1900, p. 288 and footnote 1 in the same page).
  8. 8,0 8,1 8,2 Βλ. (Hilbert 1900, σελ. 288).
  9. In his exact words: "Reguläres Variationsproblem". Hilbert's definition of a regular variational problem is stronger than the one currently used, for example, in (Gilbarg & Trudinger 2001, σελ. 289).
  10. Since Hilbert considers all derivatives in the "classical", i.e. not in the weak but in the strong, sense, even before the statement of its analyticity in (3), the function F is assumed to be at least Πρότυπο:SubSup, as the use of the Hessian determinant in (2) implies.
  11. English translation by Mary Frances Winston Newson: Hilbert's (1900, p. 288) precise words are:-"... d. h. ob jede Lagrangesche partielle Differentialgleichung eines reguläres Variationsproblem die Eigenschaft at, daß sie nur analytische Integrale zuläßt" (Italics emphasis by Hilbert himself).
  12. See (Giaquinta 1983, σελ. 59), (Giusti 1994, p. 7 footnote 7 and p. 353), (Gohberg 1999, σελ. 1), (Hedberg 1999, σελίδες 10–11), (Kristensen & Mingione 2011, p. 5 and p. 8), and (Mingione 2006, σελ. 368).
  13. See (Giaquinta 1983, σελίδες 54–59), (Giusti 1994, p. 7 and pp. 353).
  14. See (Hedberg 1999, σελίδες 10–11), (Kristensen & Mingione 2011, p. 5 and p. 8) and (Mingione 2006, σελ. 368).
  15. According to (Gohberg 1999, σελ. 1).
  16. See (Giaquinta 1983, σελίδες 54–59) and (Giusti 1994, p. 7, pp. 202–203 and pp. 317–318).
  17. For more information about the work of Jindřich Nečas see the work of Kristensen & Mingione (2011, §3.3, pp. 9–12) and (Mingione 2006, §3.3, pp. 369–370).