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.

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 ).

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!