Μονοτονία λύσεων αὐτονόμων ἐξισώσεων μὲ ὁμαλὴ συνάρτηση ροῆς

Συντονιστές: grigkost, Κοτρώνης Αναστάσιος

Άβαταρ μέλους
Γ.-Σ. Σμυρλής
Δημοσιεύσεις: 600
Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
Τοποθεσία: Λευκωσία, Κύπρος

Μονοτονία λύσεων αὐτονόμων ἐξισώσεων μὲ ὁμαλὴ συνάρτηση ροῆς

#1

Μη αναγνωσμένη δημοσίευση από Γ.-Σ. Σμυρλής » Τετ Απρ 16, 2025 11:32 am

[b]Πρόταση.[/b] Ἔστω f:\mathbb R\to\mathbb R συνεχῶς διαφορίσιμη, καὶ \varphi : I\to\mathbb R, ὅπου I ἀνοικτὸ διάστημα, λύση τῆς ἐξισώσεως x'=f(x). Τότε ἡ \varphi εἴτε εἶναι γνησίως μονότονη στὸ I εἴτε σταθερή στὸ I.
τελευταία επεξεργασία από Γ.-Σ. Σμυρλής σε Παρ Απρ 18, 2025 2:55 am, έχει επεξεργασθεί 1 φορά συνολικά.



Λέξεις Κλειδιά:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18201
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Μονοτονία λύσεων αὐτονόμων ἐξισώσεων

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Πέμ Απρ 17, 2025 7:53 am

Γ.-Σ. Σμυρλής έγραψε:
Τετ Απρ 16, 2025 11:32 am
Πρόταση. Ἔστω f:\mathbb R\to\mathbb R συνεχῶς διαφορίσιμη, καὶ \varphi : I\to\mathbb R, ὅπου I ἀνοικτὸ διάστημα, λύση τῆς ἐξισώσεως x'=f(x). Τότε ἡ \varphi εἴτε εἶναι γνησίως μονότονη στὸ I εἴτε σταθερή στὸ I.
.
Θα θεωρώ ως δεδομένο ότι η εξίσωση έχει μοναδική λύση. Πιστεύω να είναι σωστό αυτό, και ότι μας το λέει η θεωρία, αλλά αυτή την στιγμή δεν μπορώ να το αποδείξω. Από εκεί και πέρα:

1η περίπτωση: Έστω ότι για την λύση \phi υπάρχει t_0\in I τέτοιο ώστε f(\phi(t_0)) =0.

Παρατηρούμε τότε ότι η σταθερή συνάρτηση \psi (t) =\phi(t_0) για κάθε t\in I ικανοποιεί την εξίσωση x'=f(x) (και τα δύο μέλη μηδενίζονται). Από την μοναδικότητα της λύσης η \psi (t) είναι η λύση, και μάλιστα σταθερή, όπως θέλαμε να δείξουμε.

2η περίπτωση: Έστω ότι για την λύση \phi και για όλα τα t_0\in I ισχύει f(\phi(t_0)) \ne 0.

Τότε η f\circ \phi διατηρεί το πρόσημό της. Χωρίς βλάβη f(\phi (t) )>0 για κάθε t\in I (όμοια για την περίπτωση f(\phi (t)) <0).

Τότε η εξίσωση δίνει \phi '(t) = f( \phi (t) )>0. Έπεται ότι η \phi είναι γνήσια αύξουσα (θετική παράγωγος). Όμοια, στην άλλη περίπτωση είναι γνήσια φθίνουσα, όπως θέλαμε.


Άβαταρ μέλους
Γ.-Σ. Σμυρλής
Δημοσιεύσεις: 600
Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
Τοποθεσία: Λευκωσία, Κύπρος

Re: Μονοτονία λύσεων αὐτονόμων ἐξισώσεων

#3

Μη αναγνωσμένη δημοσίευση από Γ.-Σ. Σμυρλής » Παρ Απρ 18, 2025 2:51 am

Μιχάλη, πράγματι ἡ συνεχὴς διαφορισιμότης τῆς f ἐξασφαλίζει καθολικὴ μοναδικότητα, καὶ αὐτὸ εἶναι τὸ κλειδί!


Απάντηση

Επιστροφή σε “ΑΝΑΛΥΣΗ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες