Θεώρημα ύπαρξης του Πεάνο

θεώρημα

Στα μαθηματικά, ειδικότερα στη μελέτη των συνήθων διαφορικών εξισώσεων, το θεώρημα ύπαρξης του Πεάνο, θεώρημα Πεάνο ή θεώρημα Κωσύ–Πεάνο, που πήρε το όνομά του από τους Τζουζέπε Πεανό και Ωγκυστέν-Λουί Κωσύ, είναι ένα θεμελιώδες θεώρημα , το οποίο εγγυάται την ύπαρξη των λύσεων ορισμένων προβλημάτων αρχικών τιμών.

ΙστορίαΕπεξεργασία

Ο Πεανό δημοσίευσε για πρώτη φορά το θεώρημα το 1886 με μια εσφαλμένη απόδειξη.[1] Το 1890 δημοσίευσε μία νέα σωστή απόδειξη με χρήση διαδοχικών προσεγγίσεων.[2]

ΘεώρημαΕπεξεργασία

Έστω D ένα ανοικτό υποσύνολο του R × R με

 

μια συνεχής συνάρτηση και

 

μια συνεχής, πρώτης τάξης διαφορική εξίσωση ορισμένη στο D. Τότε κάθε πρόβλημα αρχικών τιμών με

 

για την f, με  , έχει μια τοπική λύση

 

όπου   είναι μια γειτονιά του   στο  , τέτοια ώστε   για κάθε  .[3]

Η λύση δεν χρειάζεται να είναι μοναδική: η ίδια αρχική τιμή (x0,y0) μπορεί να οδηγήσει σε πολλές διαφορετικές λύσεις z.

Σχετικά θεωρήματαΕπεξεργασία

Το θεώρημα του Πεάνο μπορεί να συγκριθεί με ένα άλλο αποτέλεσμα ύπαρξης, το θεώρημα Πικάρ-Λίντελεφ. Το θεώρημα Πικάρ–Λίντελεφ έχει περισσότερες υποθέσεις και καταλήγει σε περισσότερα αποτελέσματα (εγγυάται και τη μοναδικότητα της λύσης). Απαιτεί συνέχεια Λίπσιτς, ενώ το θεώρημα Πεάνο απαιτεί μόνο τη συνέχεια, αλλά αυτό αποδεικνύει τόσο την ύπαρξη όσο και την μοναδικότητα ενώ το θεώρημα Πεάνο αποδεικνύει μόνο την ύπαρξη των λύσεων. Για παράδειγμα, θεωρούμε την συνήθη διαφορική εξίσωση   στο   Σύμφωνα με το θεώρημα του Πεάνο, αυτή η εξίσωση έχει λύσεις, αλλά το θεώρημα Πικάρ–Λίντελεφ δεν ισχύει δεδομένου ότι η δεξιά πλευρά δεν είναι Λίπσιτς συνεχής σε κάθε γειτονιά που περιέχει το 0. Έτσι, μπορούμε να συμπεράνουμε την ύπαρξη αλλά όχι και την μοναδικότητα της λύσης της. Αποδεικνύεται ότι αυτή η συνήθης διαφορική εξίσωση έχει δύο είδη λύσεων. Θεωρώντας σαν αρχική υπόθεση ότι   τότε, είτε  , είτε  

Το θεώρημα ύπαρξης του Καραθεοδωρή είναι μια γενίκευση του θεωρήματος ύπαρξης του Πεάνο με ασθενέστερες συνθήκες από τη συνέχεια.

ΣημειώσειςΕπεξεργασία

  1. Peano, G. (1886). «Sull’integrabilità delle equazioni differenziali del primo ordine». Atti Accad. Sci. Torino 21: 437–445. https://archive.org/stream/attidellaraccade21real#page/436/mode/2up/search/peano. 
  2. Peano, G. (1890). «Demonstration de l’intégrabilité des équations différentielles ordinaires». Mathematische Annalen 37 (2): 182–228. doi:10.1007/BF01200235. 
  3. (Coddington & Levinson 1955, σελ. 6)

ΑναφορέςΕπεξεργασία