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.
2. L 2 -REGULARITÄTSTHEORIE 38<br />
Für k = 1,...,d−1 setze ϕ := −D −h<br />
k (ξ2Dh ku). Da<br />
ϕ(x) = − 1 2<br />
ξ (x)[u(x+hek)−u(x)] <br />
h D−h<br />
k<br />
= 1<br />
h2 2<br />
ξ (x−hek)[u(x)−u(x−hek)]−ξ 2 (x)[u(x+hek)−u(x)] ,<br />
x ∈ Ω,<br />
folgt ϕ ∈ H1 0 (Ω). Wie im Beweis von Theorem 2.1 erhalten wir<br />
<br />
≤ C<br />
,<br />
D h k ∇u2 L 2 (V)<br />
d.h. ∂ku ∈ H1 (V) für k = 1,...,d−1 und<br />
d<br />
(19)<br />
Desweiteren gilt:<br />
k,l=1,k+l 0 (vgl. Definition 5.2. Setze V := Φx(V ′ ).<br />
und u ′ = u◦Φx. Dann gilt u ′ ∈ H1 (Ω ′ ), u| ∂Ω ′ ∩Rd = 0 und (dies ist noch zu<br />
+<br />
Zeigen)<br />
d<br />
<br />
i,j=1<br />
Ω<br />
a ′ ij ∂jϕ ′ ∂iu ′ =<br />
<br />
Ω<br />
d<br />
i=1<br />
b ′ iϕ′ ∂iu ′ <br />
+<br />
Ω<br />
.<br />
a ′ 0ϕ′ u ′ <br />
+<br />
Ω<br />
ϕ ′ f ′ ,<br />
mit f ′ = f ◦Φx und geeigneten a ′ ij , b′ i und a′ 0 . Außerdem gilt (auch dies ist<br />
noch zu Zeigen)<br />
d<br />
i,j=1<br />
a ′ ijξiξj ≥ α ′ |ξ| 2 , ξ ∈ R d .