Σελίδα 1 από 1
Οχι...Lipschitz
Δημοσιεύτηκε: Τρί Μάιος 24, 2011 11:19 pm
από S.E.Louridas
Θεωρούμε:
![f:\left( {0,1} \right] \to \mathbb{R},\;f\left( x \right) = x^k \sin \frac{1}
{x},\;o\pi o\upsilon \;k \in \left( {1,2} \right). f:\left( {0,1} \right] \to \mathbb{R},\;f\left( x \right) = x^k \sin \frac{1}
{x},\;o\pi o\upsilon \;k \in \left( {1,2} \right).](/forum/ext/geomar/texintegr/latexrender/pictures/300ba84608a60d2ad4d348de4605bef0.png)
Ας επεκταθεί η f συνεχώς στην θέση 0 και ας υπολογιστεί ο k, ώστε η εν λόγω επέκταση να είναι παντού διαφορίσιμη και να μην ικανοποιεί την συνθήκη του Lipschitz.
S.E.Louridas
Re: Οχι...Lipschitz
Δημοσιεύτηκε: Δευ Οκτ 31, 2011 2:20 pm
από Κοτρώνης Αναστάσιος
S.E.Louridas έγραψε:Θεωρούμε:
![f:\left( {0,1} \right] \to \mathbb{R},\;f\left( x \right) = x^k \sin \frac{1}
{x},\;o\pi o\upsilon \;k \in \left( {1,2} \right). f:\left( {0,1} \right] \to \mathbb{R},\;f\left( x \right) = x^k \sin \frac{1}
{x},\;o\pi o\upsilon \;k \in \left( {1,2} \right).](/forum/ext/geomar/texintegr/latexrender/pictures/300ba84608a60d2ad4d348de4605bef0.png)
Ας επεκταθεί η f συνεχώς στην θέση 0 και ας υπολογιστεί ο k, ώστε η εν λόγω επέκταση να είναι παντού διαφορίσιμη και να μην ικανοποιεί την συνθήκη του Lipschitz.
S.E.Louridas
ΤΗν επεκτείνουμε συνεχώς στο

αφού στο υπόλοιπό διάστημα δεν έχει πρόβλημα. Για

είναι

, άρα θέτουμε

. (Το παραπάνω ισχύει και για κάθε

.)
Ακόμα

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

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

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

ώστε να έχουμε μη φραγμένη παράγωγο πάλι δεν είναι μοναδική. Πάλι καλύπτεται και η τρίτη συνθήκη για κάθε

, αφού για
![x\in(0,1] x\in(0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/703be7fd649c026db82a5c6478ef7734.png)
είναι

και για τις ακολουθίες

και

έχουμε αντίστοιχα τα όρια

και

για κάθε

.