28.10.2013 Aufrufe

Skript - Fachbereich Mathematik - Technische Universität Darmstadt

Skript - Fachbereich Mathematik - Technische Universität Darmstadt

Skript - Fachbereich Mathematik - Technische Universität Darmstadt

MEHR ANZEIGEN
WENIGER ANZEIGEN

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.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!