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

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

5. SOBOLEV RÄUME III. - GEBIETE 24<br />

3. Schritt: Wir zeigen W 1,p (R d ) ֒→ L ∞ (R d ). Sei u ∈ C 1 c (Rd ), x ∈ R d und<br />

Q ∋ x der Einheitswürfel. Aus (9) folgt<br />

|u(x)| ≤ |ū|+C∇u L p (Q) ≤ u L p (Q) +C∇u L p (Q) ≤ Cd,pu W 1,p (R d ).<br />

Schließlich approximiere u ∈ W 1,p (R d ) mit uk ∈ C 1 c(R d ). <br />

Satz 4.8 (Der Fall p = d). Die Einbettung<br />

ist stetig.<br />

W 1,d (R d ) ֒→ L q (R d ), q ∈ [d,∞)<br />

Beweis. Ohne Beweis. <br />

Korollar 4.9. Sei m ∈ N (m ≥ 1) und 1 ≤ p < ∞. Dann gilt<br />

(a) 1 m<br />

p − d > 0 =⇒ Wm,p (Rd ) ֒→ Lr (Rd ) mit 1 1 m<br />

r = p − d<br />

(b) 1<br />

p<br />

(c) 1<br />

p<br />

m − d = 0 =⇒ Wm,p (Rd ) ֒→ Lr (Rd ) für alle r ∈ [p,∞) 1<br />

q<br />

− m<br />

d < 0 =⇒ Wm,p (R d ) ֒→ L ∞ (R d )<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 (R d ) es existiert C mit<br />

D α fL∞ ≤ CfW m,p ∀|α| ≤ k<br />

|D α f(x)−D α f(y)| ≤ CfW m,p|x−y|θ<br />

Insbesondere gilt<br />

mit stetiger Einbettung.<br />

W m,p (R d ) ֒→ C k (R d )<br />

1 m = p − d<br />

fast alle x,y ∈ R d , |α| = k.<br />

Beweis. ÜA. <br />

5. Sobolev Räume III. - Gebiete<br />

Notation 5.1. Sei x ∈ R d . Dann x = (x ′ ,xd) mit x ′ ∈ R d−1 , x ′ =<br />

(x1,...,xd−1). Wir setzen<br />

R d + := {x = (x′ ,xd) : xd > 0}<br />

Q := {x = (x ′ ,xd) : |x ′ | < 1 und |xd| < 1}<br />

Q+ := Q∩R d +<br />

Q0 := {x = (x ′ ,xd) : |x ′ | < 1 und xd = 0}<br />

Definition 5.2. Sei Ω ⊆ Rd offen. Dann heißt Ω von der Klasse Cm , falls<br />

eine lokal endliche Überdeckung {Uj}j∈N des Randes ∂Ω und bijektive Abbildungen<br />

Φj : Q → Uj existieren, so dass Φj, Φ −1<br />

j m-fach stetig differenzierbar<br />

mit gleichmäßig beschränkten Ableitungen sind und Φj(Q+) = Uj ∩ Ω und<br />

Φj(Q0) = Uj ∩∂Ω gelten.

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!