Θεώρημα Πικάρ–Λίντελεφ

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

Το θεώρημα πήρε το όνομά του από τους Εμίλ Πικάρ, Ερνστ Λίντελεφ, Ρούντολφ Λίπτσιτς και Ωγκυστέν-Λουί Κωσύ.

Θεωρούμε το πρόβλημα αρχικών τιμών

Ας υποθέσουμε ότι  είναι ομοιόμορφα Λίπσιτς συνεχής στο y (εννοώντας ότι η σταθερά Λίπσιτς μπορεί να θεωρηθεί ανεξάρτητη του t) και συνεχής στο t. Τότε, για κάποια τιμή , υπάρχει μια μοναδική λύση  στο πρόβλημα αρχικών τιμών στο διάστημα ., Theorem I.3.1

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

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

Θέτουμε

και

Στη συνέχεια, μπορεί να αποδειχθεί, χρησιμοποιώντας το θεώρημα σταθερού σημείου του Μπάναχ, ότι η ακολουθία των "προσεγγίσεων Πικάρ"  συγκλίνει και αυτό το όριο είναι μια λύση στο πρόβλημα. Μια εφαρμογή της του λήμματος του Γκρένβαλ στο , όπου φ και ψ είναι δύο λύσεις, δείχνει ότι , αποδεικνύοντας έτσι την παγκόσμια μοναδικότητα (η τοπική μοναδικότητα είναι μια συνέπεια της μοναδικότητας του σταθερού σημείου του Μπάναχ).

 Διαισθητική κατανόηση του θεωρήματος 
Η ιδέα πίσω από το θεώρημα είναι η εξής.V. I. Arnold, Ordinary Differential Equations, The MIT Press (1978), ISBN 0-262-51018-9. Μια διαφορική εξίσωση μπορεί να έχει ένα σταθερό σημείο. Για παράδειγμα, για την εξίσωση  η σταθερή λύση είναι η  , η οποία προκύπτει από την αρχική συνθήκη . Ξεκινώντας με μια άλλη αρχική συνθήκη , η σταθερή λύση επιτυγχάνεται μετά από άπειρο χρόνο και ως εκ τούτου η μοναδικότητα της λύσης είναι εγγυημένη. Ωστόσο, εάν η σταθερή λύση επιτυγχάνεται μετά από ένα πεπερασμένο χρόνο, η μοναδικότητα παραβιάζεται. Αυτό συμβαίνει, για παράδειγμα για την εξίσωση , η λύση που ικανοποιεί την αρχική συνθήκη  μπορεί να είναι είτε  είτε η

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

 Αναλυτική απόδειξη 
Έστω

όπου:

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

αυτό είναι η μέγιστη κλίση της συνάρτησης στο μέτρο. Τέλος, έστω L να είναι η σταθερά Λίπσιτς της  ως προς στην δεύτερη μεταβλητή.

Θα συνεχίσουμε εφαρμώζοντας το θεώρημα σταθερού σημείου του Μπάναχ χρησιμοποιώντας τη μετρική στο  που επάγεται από την ομοιόμορφη νόρμα

Ορίζουμε έναν τελεστή ανάμεσα σε δύο συναρτησιακούς χώρους συνεχών συναρτήσεων, τον τελεστή του Πικάρ, ως εξής:

που ορίζεται ως:

Επιβάλλουμε ότι είναι καλά καθορισμένος, με άλλα λόγια, ότι η εικόνα του πρέπει να είναι μια συνάρτηση που παίρνει τιμές σε  ή αντίστοιχα, ότι η νόρμα της

είναι μικρότερη από το b, το οποίο μπορεί να επαναδιατυπωθεί ως


Το τελευταίο βήμα είναι η επιβολή, οπότε θα επιβάλουμε την υποχρέωση .

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

Δοθέντων δύο συναρτήσεων  , προκειμένου να εφαρμόσουμε  το θεώρημα σταθερού σημείου του Μπάναχ θέλουμε


για κάποιο q < 1. Οπότε, έστω t να είναι τέτοιο ώστε

στη συνέχεια, χρησιμοποιώντας τον ορισμό της Γ

Αυτή είναι μια συστολή αν .

Διαπιστώνουμε ότι ο τελεστής του Πικάρ είναι μια συστολή στους χώρους Μπάναχ με την μετρική που επάγεται από την ομοιόμορφη νόρμα. Αυτό μας επιτρέπει να εφαρμόσουμε το θεώρημα σταθερού σημείου του Μπάναχ για να καταλήξουμε στο συμπέρασμα ότι ο τελεστής έχει ένα μοναδικό σταθερό σημείο. Ειδικότερα, υπάρχει μια μοναδική συνάρτηση

τέτοια ώστε . Η συνάρτηση αυτή είναι η μοναδική λύση του προβλήματος αρχικών τιμών, που ισχύει για το διάστημα Ia όπου το α ικανοποιεί την προϋπόθεση 


 Βελτιστοποίηση της λύσης του διαστήματος 
Παρ ' όλα αυτά, υπάρχει ένα πόρισμα του θεωρήματος σταθερού σημείου του Μπάναχ που αναφέρει ότι αν ένας τελεστής Tn είναι μια συστολή για κάποιο n στο N τότε ο T έχει ένα μοναδικό σταθερό σημείο. Εμείς θα προσπαθήσουμε να το εφαρμόσουμε αυτό το πόρισμα στον τελεστή του Πικάρ. Αλλά πριν το κάνουμε αυτό, ας θυμηθούμε ένα λήμμα το οποίο θα είναι πολύ χρήσιμο για να εφαρμόσουμε το παραπάνω πόρισμα.Το λήμμα:   Απόδειξη. Θα το αποδείξουμε με επαγωγή. Για τη βάση της επαγωγής  το έχουμε ήδη δει παραπάνω. Ας υποθέσουμε ότι η ανισότητα ισχύει για , τότε έχουμε: 

Ως εκ τούτου, λαμβάνοντας υπόψη αυτή την ανισότητα μπορούμε να διασφαλίσουμε ότι για κάποιο m αρκετά μεγάλο, 

και ως εκ τούτου, η Γm θα είναι μία συστολή. Έτσι, από το προηγούμενο πόρισμα η Γ θα έχει μοναδικό σταθερό σημείο. Έτσι, τελικά, είμαστε σε θέση να βελτιστοποιήσουμε το διάστημα της λύσης παίρνοντας ως  

Η σημασία αυτού του αποτελέσματος είναι ότι το διάστημα ορισμού της λύσης τελικά δεν εξαρτάται από τη σταθερά Λίπσιτς του πεδίου, αλλά στην ουσία εξαρτάται από το διάστημα ορισμού του πεδίου και είναι η μέγιστη απόλυτη τιμή της.

 Άλλα θεωρήματα ύπαρξης 
Το θεώρημα Πικάρ–Λίντελεφ δείχνει ότι η λύση υπάρχει και είναι μοναδική. Το θεώρημα ύπαρξης του Πεάνο δείχνει μόνο την ύπαρξη, δεν δείχνει τη μοναδικότητα, αλλά υποθέτει μόνο ότι η  είναι συνεχής στο y, αντί για Λίπσιτς συνεχής. Για παράδειγμα, η δεξιά πλευρά της εξίσωσης,  με αρχική συνθήκη y(0) = 0 είναι συνεχής αλλά δεν είναι Λίπσιτς συνεχής. Πράγματι, αντί να είναι μοναδική, αυτή η εξίσωση έχει τρεις λύσεις:, p. 7

Ακόμη πιο γενικό είναι το θεώρημα ύπαρξης του Καραθεοδωρή, το οποίο αποδεικνύει την ύπαρξη (με μια πιο γενική έννοια) έχοντας λάβει υπόψιν ασθενέστερες συνθήκες για την . Είναι επίσης ενδιαφέρον να επισημανθεί ότι, παρόλο που οι προϋποθέσεις αυτές είναι μόνο επαρκείς, υπάρχουν επίσης αναγκαίες και επαρκείς συνθήκες για να είναι η λύση του προβλήματος αρχικών τιμών μοναδική, όπως το θεώρημα του Οκαμούρα. , page 159

 Σημειώσεις 

Κατηγορία:Θεωρήματα στην ανάλυση