Tomasz Odrzygóźdź Różniczkowanie normy supremum Niech f ∈ C

Transkrypt

Tomasz Odrzygóźdź Różniczkowanie normy supremum Niech f ∈ C
Tomasz Odrzygóźdź
Różniczkowanie normy supremum
Niech f ∈ C([0, 1]). Defniujemy ||f || = supx∈[0,1] |f (x)|. Sprawdzimy czy i ewenetualnie gdzie odwzorowanie φ : f 7−→ ||f || ma mocną pochodną.
Zdefiniujmy zbiór A := {x ∈ [0, 1] : |f (x)| = ||f ||}. Zbiór ten jest niepusty bo funkcja
ciągła na zbiorze zwartym osiąga swoje kresy. Narazie rozpatrzę funkcje o normie niezerowej. Zerem zajmę się na końcu. Rozpatrzmy przypadki:
1) Przypadek gdy #A > 1. Udowodnię, że odwzorowanie φ nie ma w f mocnej pochodnej.
Przypuśćmy nie wprost, że odwzorowanie φ ma w f pochodną, którą oznaczę φ0 . Wtedy
jest ona odwzorowaniem liniowym: C([0, 1]) → R. Ponieważ zbiór A ma conajmniej dwa
elementy, zatem istnieją takie różne x1 , x2 ∈ A , że |f (x1 )| = |f (x2 )| = ||f ||. Dla ustalenia uwagi załóżmy, że f (x1 ) > 0. Niech v ∈ C([0, 1]) będzie dowolną funkcją spełniającą
warunki:
∀x takiego, że |x − x1 | >
||v|| < ||f ||
1
|x
2 1
− x2 | zachodzi v(x) = 0, oraz ||v|| = v(x1 ) > 0, oraz
Zauważmy, że dla tego przypadku ||f + v|| = ||f || + ||v||, zaś ||f − v|| = ||f ||. Spróbujmy
znaleźć pochodną kierunkową funkcji φ w punkcie f wzdłuż wektora v.
|||
= limt→0 t||v||
= ||v|| = v(x1 ).
limt→0− |||f +tv||−||f
t
t
|||f −tv||−||f |||
limt→0+
= 0. Widzimy, że nie istnieje pochodna kierunkowa wzdłuż v zatem
t
nie istnieje mocna pochodna odwzorowania φ.
Przypadek, gdy f (x1 ) < 0 można rozpatrzeć analogicznie (tzn bardzo podobnie).
Rozpatrzmy teraz przypadek, gdy #A = 1. Niech x0 będzie takim punktem, że f (x0 ) =
||f ||. Załóżmy dla ustalenia uwagi, że f (x0 ) > 0. Niech va,b , będzie dowolną funkcją
ciągłą, spełniającą warunki:
Dla x ∈
/ [x0 − a2 , x0 + a2 ] zachodzi va,b (x) = 0, oraz va,b (x0 ) = b, oraz |va,b (x0 )| = ||va,b ||.
Zauważmy, że dla b > 0 zachodzi ||f + va,b || = ||va,b ||. Zatem jeśli istnieje pochodna
odwzorowania φ to musi ona być dana wzorem φ0 va,b = va,b (x0 ). Wskażę teraz taki ciąg
funkcji van ,bn , który nie spełnia:
|(||f +van ,bn ||−||f ||−|bn |)|
limn→∞
=0
|bn |
Niech bn będzie dowolnym ciągiem liczb dodatnich zbieżnym do 0. Funkcja f jest ciągła
więc istnieje otoczenie punktu x0 takie, że funkcja f na tym przedziale zmienia się o
mniej niż b10n . Oznaczmy to otoczenie przez u(bn ). Niech an = u(b2n ) . Zauważmy, że
1
||f || < ||f − va,n || + |b2n | ||. Zatem ||f − van ,bn || − ||f || − |bn |)|| > |b2n | . Wszystkie wyrazy ciągu
|(||f +van ,bn ||−||f ||−|bn |)|
są większe niż 12 zatem ciąg nie jest zbieżny do 0. Zatem nie istnieje
|bn |
mocna pochodna w tym punkcie.
Ostatni przypadek f = 0. Niech va,b będzie zdefiniowane tak jak w poprzednim zadaniu.
Rozpatrzmy pochodną kierunkową wzdłuż dowolnej funkcji v. Ponieważ ||v|| = || − v||
więc pochodna kierunkowa wzdłuż v jeśli istnieje musi być równa pochodnej kierunkowej
wzdłuż −v. Ale wtedy jeśli pochodna wzdłuż v musi być równa 0. Jednak odwzorowanie
zerowe nie spełnia definicji mocnej pochodnej w punkcie 0.
2

Podobne dokumenty