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 28<br />
Daher existiert ein C > 0, so dass für f ∈ M ein j ∈ {1,...,m} mit<br />
(13)<br />
|ψj(x)−(ηn ∗f)(x)| < Cε, x ∈ Ω ′<br />
existiert. Bezeichne die Erweiterung mit 0 auf R d von ψ mit ˜ ψ. Dann folgt<br />
aus (10), (11), (12) und (13), dass<br />
für ein j ∈ {1,...,m} gilt, d.h.<br />
f − ˜ ψj L p (R d ) < ε<br />
M ⊂<br />
m<br />
B( ˜ ψi,ε).<br />
i=1<br />
Daher ist M relativ kompakt.<br />
Der allgemeine Fall folgt aus demSpezialfall, wennman dieMenge ˜ M = { ˜ f :<br />
f ∈ M}, wobei ˜ f die Erweiterung mit 0 auf R d von f bezeichnet, betrachtet.<br />
(s. Adams, Sobolev Spaces, Theorem 2.32) <br />
Theorem 5.9 (Rellich). Sei ∅ = Ω ⊆ Rd beschränkt der Klasse C1 . Sei<br />
1 ≤ p < ∞. Dann gilt<br />
(a) p < d =⇒ W1,p (Ω) ֒→ Lr (Ω), r ∈ [1,p∗ ), wobei 1<br />
p∗ = 1 1<br />
p − d erfüllt<br />
ist;<br />
(b) p = d =⇒ W1,p (Ω) ֒→ Lr (Ω), r ∈ [1,∞);<br />
(c) p > d =⇒ W1,p (Ω) ֒→ C(Ω)<br />
jeweils mit kompakter Einbettung.<br />
Beweis. (a) Sei B die Einheitskugel in W 1,p (Ω). Wir verwenden Satz<br />
5.8. Sei 1 ≤ r < p ∗ . Dann existiert ein θ ∈ (0,1] mit 1<br />
r<br />
= θ<br />
1<br />
+ 1−θ<br />
p ∗ . Sei<br />
Ω ′ ⊆ Ω ′ ⊆ Ω und |h| < dist(Ω ′ ,Ω c ). Die Interpolationsungleichung 1.11 und<br />
5.6 liefern<br />
τhu−u Lr (Ω ′ ) ≤ τhu−u α L1 (Ω ′ 1−α<br />
) τhu−u<br />
Lp∗ (Ω ′ )<br />
falls u ∈ B. Ferner gilt für solche u<br />
<br />
|u(x)| r dx<br />
u L r (Ω\Ω ′ ) =<br />
Ω\Ω ′<br />
≤ |Ω\Ω ′ | 1−r/p∗<br />
≤ |h| α ∇u α L 1 (Ω) (2u L p∗ (Ω) )1−α<br />
≤ C|h| α ∇u α L p (Ω) u1−α<br />
W 1,p (Ω) ≤ C|h|α ,<br />
1/r ≤ uLp∗ (Ω\Ω ′ ) |Ω\Ω′ | 1−r/p∗<br />
≤ ε,<br />
falls Ω ′ geeignet gewählt ist.<br />
(b) Analog.<br />
(c) Sei p > d. Sei B die Einheitskugel in W 1,p (Ω). Es ist zu zeigen, dass B<br />
relativ kompakt in C(Ω) ist. Korollar 5.5 liefert<br />
|f(x)−f(y)| ≤ C|x−y| α<br />
∀f ∈ B,