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 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,

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!