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.
6. SOBOLEV RÄUME IV. SPUROPERATOREN 30<br />
Beweis. DieRichtungvonlinksnachrechtsistklar.Seinunu ∈ W 1,p (R d + )<br />
mit Γ R d + u = 0und(un) ⊂ C ∞ c (R d ) mit un → u in W 1,p (R d +). Wir bezeichnen<br />
die Fortsetzung von u mit 0 auf Rd mit ũ und zeigen, dass ũ ∈ W1,p (Rd )<br />
liegt, wobei Dαũ die Fortsetzung von Dαu mit 0 auf Rd ist. Es gilt<br />
<br />
D α <br />
ũϕ = D α unϕ<br />
da<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∂R d +<br />
R d<br />
<br />
<br />
<br />
<br />
unϕ<br />
<br />
<br />
R d +<br />
= lim<br />
n→∞<br />
<br />
= lim<br />
n→∞<br />
Rd +<br />
D α uϕ = lim<br />
n→∞<br />
Rd +<br />
⎛<br />
<br />
⎜<br />
⎝−<br />
R d +<br />
unD α ϕ+<br />
unD α <br />
ϕ =<br />
R d +<br />
|α| ≤ 1, ϕ ∈ C ∞ c (Rd ),<br />
<br />
∂R d +<br />
≤ Γ R d + un L p (R d−1 )ϕ L p ′ (R d−1 )<br />
⎞<br />
⎟<br />
unϕ⎠<br />
uD α <br />
ϕ =<br />
R d<br />
ũD α ϕ,<br />
→ 0 für n → ∞.<br />
Daher liegt u ∈ W 1,p (R d ). Da h ↦→ T h u (vgl. 1. Übungsblatt) für h =<br />
(0,0,0,...,h) eine stetige Abbildung mit Werten in W 1,p (R d ) ist, folgt die<br />
Behauptung nach Lemma 3.10 (d). <br />
Satz 6.3 (Spursatz). Sei 1 ≤ p < ∞ und ∅ = Ω ⊂ R d + beschränkt und<br />
von der Klasse C 1 . Dann existiert eine eindeutige stetige Abbildung ΓΩ :<br />
W 1,p (Ω) → L p (∂Ω) mit<br />
ΓΩu = u|∂Ω, u ∈ C ∞ c (Ω).<br />
Beweis. Nach Voraussetzung existiert eine ÜberdeckungUj des Randes<br />
von Ω. Wir bezeichnen wieder die zugehörigen Diffeomorphismen mit Φj.<br />
Weiter sei ϕj eine der Überdeckung Uj untergeordnete Zerlegung der Eins<br />
und ψj ∈ C ∞ c (Rd ) mit 0 ≤ ψj ≤ 1 und suppϕj ⊂⊂ {ψj ≡ 1}. Wir definieren<br />
Dann gilt:<br />
ΓΩu := ϕj(Γ R d + (ψju)◦Φj)◦Φ −1<br />
j .<br />
(ΓΩu)(x) = ϕj(x)(Γ R d + (ψju)◦Φj)◦Φ −1<br />
j (x)<br />
= ϕj(x)((ψju)◦Φj)◦Φ −1<br />
j (x) = ϕj(x)(ψju)(x)<br />
= u(x), x ∈ ∂Ω, u ∈ C ∞ c (R d ).