Οχι...Lipschitz

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

Άβαταρ μέλους
S.E.Louridas
Δημοσιεύσεις: 6147
Εγγραφή: Σάβ Μαρ 21, 2009 10:53 am
Τοποθεσία: Aegaleo.
Επικοινωνία:

Οχι...Lipschitz

#1

Μη αναγνωσμένη δημοσίευση από S.E.Louridas » Τρί Μάιος 24, 2011 11:19 pm

Θεωρούμε:
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 συνεχώς στην θέση 0 και ας υπολογιστεί ο k, ώστε η εν λόγω επέκταση να είναι παντού διαφορίσιμη και να μην ικανοποιεί την συνθήκη του Lipschitz.

S.E.Louridas


S.E.Louridas

1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.

Λέξεις Κλειδιά:
Άβαταρ μέλους
Κοτρώνης Αναστάσιος
Επιμελητής
Δημοσιεύσεις: 3203
Εγγραφή: Κυρ Φεβ 22, 2009 11:11 pm
Τοποθεσία: Μπροστά στο πισί...
Επικοινωνία:

Re: Οχι...Lipschitz

#2

Μη αναγνωσμένη δημοσίευση από Κοτρώνης Αναστάσιος » Δευ Οκτ 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 συνεχώς στην θέση 0 και ας υπολογιστεί ο k, ώστε η εν λόγω επέκταση να είναι παντού διαφορίσιμη και να μην ικανοποιεί την συνθήκη του Lipschitz.

S.E.Louridas
ΤΗν επεκτείνουμε συνεχώς στο 0 αφού στο υπόλοιπό διάστημα δεν έχει πρόβλημα. Για k\in(1,2) είναι 0\leq|x^{k}\sin(1/x)|\leq |x^k|\stackrel{x\to0+}{\longrightarrow}0, άρα θέτουμε f_{k}(0)=0. (Το παραπάνω ισχύει και για κάθε k>0.)

Ακόμα \displaystyle{\left|\frac{x^{k}\sin(1/x)-0}{x-0}\right|=|x^{k-1}\sin(1/x)|\leq |x^{k-1}|\stackrel{x\to0+}{\longrightarrow}0}, οπότε η συνεχής επέκταση είναι και παραγωγίσιμη στο 0. (Στο υπόλοιπο διάστημα είμαστε οκ)

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

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

Τώρα η επιλογή του k ώστε να έχουμε μη φραγμένη παράγωγο πάλι δεν είναι μοναδική. Πάλι καλύπτεται και η τρίτη συνθήκη για κάθε k\in(1,2), αφού για x\in(0,1] είναι (x^k\sin(1/x)){'}=kx^{k-1}\sin(1/x)-x^{k-2}\cos(1/x) και για τις ακολουθίες x_{n}=(2n\pi)^{-1} και y_{n}=(2n\pi+\pi/2)^{-1} έχουμε αντίστοιχα τα όρια -\infty και 0 για κάθε k\in(1,2).


Εσύ....; Θα γίνεις κανίβαλος....;
Απάντηση

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

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

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