Skript - Fachbereich Mathematik - Technische Universität Darmstadt
Skript - Fachbereich Mathematik - Technische Universität Darmstadt
Skript - Fachbereich Mathematik - Technische Universität Darmstadt
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.