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

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

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

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

$y^{\prime }(t)=f(t,y(t)),y(t_0)=y_0.$

Ας υποθέσουμε ότι Πρότυπο:Math είναι ομοιόμορφα Λίπσιτς συνεχής στο y (εννοώντας ότι η σταθερά Λίπσιτς μπορεί να θεωρηθεί ανεξάρτητη του t) και συνεχής στο t. Τότε, για κάποια τιμή Πρότυπο:Math, υπάρχει μια μοναδική λύση Πρότυπο:Math στο πρόβλημα αρχικών τιμών στο διάστημα $[t_0-\epsilon ,t_0+\epsilon ]$.

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

$y(t)-y(t_0)=\underset{t_0}{\overset{t}{\int }}f(s,y(s))ds.$

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

Θέτουμε

${\phi }_0(t)=y_0$

και

${\phi }_{k+1}(t)=y_0+\underset{t_0}{\overset{t}{\int }}f(s,{\phi }_k(s))ds.$

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

Διαισθητική κατανόηση του θεωρήματος

Η ιδέα πίσω από το θεώρημα είναι η εξής. Μια διαφορική εξίσωση μπορεί να έχει ένα σταθερό σημείο. Για παράδειγμα, για την εξίσωση Πρότυπο:Math η σταθερή λύση είναι η  Πρότυπο:Math, η οποία προκύπτει από την αρχική συνθήκη Πρότυπο:Math. Ξεκινώντας με μια άλλη αρχική συνθήκη Πρότυπο:Math, η σταθερή λύση επιτυγχάνεται μετά από άπειρο χρόνο και ως εκ τούτου η μοναδικότητα της λύσης είναι εγγυημένη. Ωστόσο, εάν η σταθερή λύση επιτυγχάνεται μετά από ένα πεπερασμένο χρόνο, η μοναδικότητα παραβιάζεται. Αυτό συμβαίνει, για παράδειγμα για την εξίσωση Πρότυπο:Math, η λύση που ικανοποιεί την αρχική συνθήκη Πρότυπο:Math μπορεί να είναι είτε Πρότυπο:Math είτε η

$y(t)=\{\begin{array}{cc}{\left(\frac{at}{3}\right)}^3& t<0\\ 0& t\ge 0\end{array}$

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

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

Έστω

$C_{a,b}=\overline{I_a(t_0)}\times \overline{B_b(y_0)}$

όπου:

$\begin{array}{cc}\overline{I_a(t_0)}& =[t_0-a,t_0+a]\\ \overline{B_b(y_0)}& =[y_0-b,y_0+b].\end{array}$

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

$M=\underset{C_{a,b}}{\sup }\Vert f\Vert ,$

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

Θα συνεχίσουμε εφαρμώζοντας το θεώρημα σταθερού σημείου του Μπάναχ χρησιμοποιώντας τη μετρική στο $𝒞(I_a(t_0),B_b(y_0))$ που επάγεται από την ομοιόμορφη νόρμα

$\Vert \phi {\Vert }_{\mathrm{\infty }}=\underset{t\in I_a}{\sup }|\phi (t)|.$

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

$\mathrm{\Gamma }:𝒞(I_a(t_0),B_b(y_0))⟶𝒞(I_a(t_0),B_b(y_0))$

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

$\mathrm{\Gamma }\phi (t)=y_0+\underset{t_0}{\overset{t}{\int }}f(s,\phi (s))ds.$

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

$\mathrm{\Gamma }\phi (t)-y_0$

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

$\Vert {\phi }_1{\Vert }_{\mathrm{\infty }}\le b.$

$\Vert \mathrm{\Gamma }\phi (t)-y_0\Vert =\Vert \underset{t_0}{\overset{t}{\int }}f(s,\phi (s))ds\Vert \le \underset{t_0}{\overset{t}{\int }}\Vert f(s,\phi (s))\Vert ds\le M|t-t_0|\le Ma\le b$

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

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

Δοθέντων δύο συναρτήσεων  ${\phi }_1,{\phi }_2\in 𝒞(I_a(t_0),B_b(y_0))$, προκειμένου να εφαρμόσουμε  το θεώρημα σταθερού σημείου του Μπάναχ θέλουμε

${\Vert \mathrm{\Gamma }{\phi }_1-\mathrm{\Gamma }{\phi }_2\Vert }_{\mathrm{\infty }}\le q{\Vert {\phi }_1-{\phi }_2\Vert }_{\mathrm{\infty }},$

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

$\Vert \mathrm{\Gamma }{\phi }_1-\mathrm{\Gamma }{\phi }_2{\Vert }_{\mathrm{\infty }}=\Vert (\mathrm{\Gamma }{\phi }_1-\mathrm{\Gamma }{\phi }_2)(t)\Vert$

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

$\begin{array}{cc}\Vert (\mathrm{\Gamma }{\phi }_1-\mathrm{\Gamma }{\phi }_2)(t)\Vert & =\Vert \underset{t_0}{\overset{t}{\int }}(f(s,{\phi }_1(s))-f(s,{\phi }_2(s)))ds\Vert \\ & \le \underset{t_0}{\overset{t}{\int }}\Vert f(s,{\phi }_1(s))-f(s,{\phi }_2(s))\Vert ds\\ & \le L\underset{t_0}{\overset{t}{\int }}\Vert {\phi }_1(s)-{\phi }_2(s)\Vert ds& & f\text{ is Lipschitz-continuous}\\ & \le La{\Vert {\phi }_1-{\phi }_2\Vert }_{\mathrm{\infty }}\end{array}$

Αυτή είναι μια συστολή αν Πρότυπο:Math.

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

$\phi \in 𝒞(I_a(t_0),B_b(y_0))$

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

$a<\min \{b/M,1/L\}.$

Βελτιστοποίηση της λύσης του διαστήματος

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

Το λήμμα: ${\displaystyle }$

$\Vert {\mathrm{\Gamma }}^m{\phi }_1-{\mathrm{\Gamma }}^m{\phi }_2\Vert \le \frac{L^m{\alpha }^m}{m!}\Vert {\phi }_1-{\phi }_2\Vert$

Απόδειξη. Θα το αποδείξουμε με επαγωγή. Για τη βάση της επαγωγής Πρότυπο:Math το έχουμε ήδη δει παραπάνω. Ας υποθέσουμε ότι η ανισότητα ισχύει για Πρότυπο:Math, τότε έχουμε:

$\begin{array}{cc}\Vert {\mathrm{\Gamma }}^m{\phi }_1-{\mathrm{\Gamma }}^m{\phi }_2\Vert & =\Vert \mathrm{\Gamma }{\mathrm{\Gamma }}^{m-1}{\phi }_1-\mathrm{\Gamma }{\mathrm{\Gamma }}^{m-1}{\phi }_2\Vert \\ & \le \left|\underset{t_0}{\overset{t}{\int }}\Vert f(s,{\mathrm{\Gamma }}^{m-1}{\phi }_1(s))-f(s,{\mathrm{\Gamma }}^{m-1}{\phi }_2(s))\Vert ds\right|\\ & \le L\left|\underset{t_0}{\overset{t}{\int }}\Vert {\mathrm{\Gamma }}^{m-1}{\phi }_1(s)-{\mathrm{\Gamma }}^{m-1}{\phi }_2(s)\Vert ds\right|\\ & \le \frac{L^m{\alpha }^m}{m!}\Vert {\phi }_1-{\phi }_2\Vert .\end{array}$

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

$\frac{L^m{\alpha }^m}{m!}<1,$

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

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

Άλλα θεωρήματα ύπαρξης

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

$y(t)=0,y(t)=\pm {\left(\frac{2}{3}t\right)}^{\frac{3}{2}}.$

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