Skript - Fachbereich Mathematik - Technische Universität Darmstadt
Skript - Fachbereich Mathematik - Technische Universität Darmstadt
Skript - Fachbereich Mathematik - Technische Universität Darmstadt
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
5. SOBOLEV RÄUME III. - GEBIETE 26<br />
Satz 5.4 (Dichtheit). Sei ∅ = Ω ⊆ R d beschränkt und von der Klasse C m .<br />
Sei u ∈ W m,p (Ω) wobei 1 ≤ p < ∞. Dann existiert eine Folge (un) ⊆<br />
C ∞ c (Rd ) mit un Ω → u in W m,p (Ω), d.h. die Menge<br />
u Ω : u ∈ C ∞ c (R d ) <br />
ist ein dichter Unterraum von W m,p (Ω).<br />
Beweis. Sei u ∈ W m,p (Ω) und betrachte Fu. Satz 4.1 liefert eine Folge<br />
(vn) ⊆ C ∞ c (R d ) mit<br />
lim<br />
n→∞ vn −FuW m,p (Rd ) = 0.<br />
Die Folge un := vn Ω hat die gewünschten Eigenschaften. <br />
Korollar 5.5. Sei m ∈ N (m ≥ 1), ∅ = Ω ⊆ R d beschränkt von der Klasse<br />
C m oder Ω = R d + und 1 ≤ p < ∞. Dann gelten die folgende Aussagen<br />
(a) 1 m<br />
p − d > 0 =⇒ Wm,p (Ω) ֒→ Lr (Ω) mit 1 1 m<br />
r = p − d ,<br />
(b) 1<br />
p<br />
(c) 1<br />
p<br />
− m<br />
d = 0 =⇒ Wm,p (Ω) ֒→ L r (Ω) für alle r ∈ [d,∞),<br />
− m<br />
d < 0 =⇒ Wm,p (Ω) ֒→ L ∞ (Ω)<br />
jeweils mit stetiger Einbettung.<br />
(a) Sei 1 m<br />
p − d < 0, m−d/p ∈ N. Setze<br />
k := m− d<br />
<br />
p und θ := m− d<br />
p −k, 0 < θ < 1<br />
=⇒ für jede f ∈ W m,p (Ω). Dann existiert C mit<br />
D α f L ∞ (Ω) ≤ Cf W m,p (Ω) für alle |α| ≤ k<br />
|D α f(x)−D α f(y)| ≤ Cf W m,p (Ω)|x−y| θ<br />
Insbesondere gilt<br />
mit stetiger Einbettung.<br />
W m,p (Ω) ֒→ C k (Ω)<br />
für fast alle x,y ∈ Ω, |α| = k.<br />
Beweis. Ü.A. <br />
Satz 5.6 (Charakterisierungen von Sobolev Funktionen). Es sei f ∈ Lp (Ω)<br />
mit 1 < p ≤ ∞. Äquivalent sind<br />
(a) f ∈ W1,p (Ω)<br />
(b) Es existiert C > 0<br />
<br />
<br />
f ∂ϕ<br />
<br />
<br />
≤ Cϕ<br />
∂xi<br />
Lp ′ (Ω) , für alle ϕ ∈ C∞ c (Ω), i = 1,...,d.<br />
Ω<br />
(c) Es existiert ein C > 0, so dass für jedes Ω ′ ⊂ Ω mit Ω ′ ⊆ Ω und<br />
für alle h ∈ R d mit |h| < dist(Ω ′ ,Ω c ) gilt<br />
τhf −f L p (Ω ′ ) ≤ C|h|.<br />
Bemerkung 5.7. Es kann C = ∇f L p (Ω) gewählt werden.