Weak Convergence Methods for Nonlinear Partial Differential ...
Weak Convergence Methods for Nonlinear Partial Differential ...
Weak Convergence Methods for Nonlinear Partial Differential ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
(also ab ≤ ap + bq für a, b ≥ 0, 1 + 1 = 1)<br />
p q p q ∣ d<br />
∣∣∣<br />
∣dt f(x, u(x) + tv(x), Du(x) + tDv(x))<br />
= |D y f(x, u(x) + tv(x), Du(x) + tDv(x)) v(x)<br />
+ D z f(x, u(x) + tv(x), Du(x) + tDv(x))Dv(x)|<br />
≤ C(1 + |u(x) + tv(x)| p−1 + |Du(x) + tDv(x)| p−1 )(|v(x)| + |Dv(x)|)<br />
≤ C(1 + |u(x) + tv(x)| p + |Du(x) + tDv(x)| p ) + C(|v(x)| p + |Dv(x)| p )<br />
≤ C(1 + |u(x)| p + |Du(x)| p ) + C(|v(x)| p + |Dv(x)| p )<br />
für |t| ≤ 1. Die letzte Funktion ist unabhängig von t ∈ (−1, 1) und integrierbar.<br />
Wir dürfen also unter dem Integral differenzieren und erhalten<br />
∫<br />
0 = i ′ d<br />
(0) =<br />
U dt∣ f(x, u(x) + tv(x), Du(x) + tDv(x)) dx<br />
t=0<br />
∫ m∑<br />
m∑ n∑<br />
= ∂ yi f(x, u(x), Du(x))v i (x) + ∂ zij f(x, u(x), Du(x))∂ j v i (x) dx.<br />
U<br />
i=1<br />
Durch diese Rechnung und partielle Integration motiviert definieren wir:<br />
Definition 4.1 Wir sagen u ∈ A ist eine schwache Lösung des Randwertproblems<br />
i=1<br />
j=1<br />
− div(D z f(x, u(x), Du(x)) + D y f(x, u(x), Du(x)) = 0 in U,<br />
u = g auf ∂U.<br />
wenn<br />
∫<br />
U<br />
D y f(x, u(x), Du(x)) · v(x) + D z f(x, u(x), Du(x)) : Dv(x) dx = 0<br />
für alle v ∈ W 1,p<br />
0 (U; R m ).<br />
Hier ist D z f als m × n Matrix mit den Einträgen ∂ zij f zu verstehen. (Das<br />
Skalarprodukt im Matrizenraum wird oft mit einem Doppelpunkt bezeichnet.<br />
Für A = (a ij ), B = (b ij ) ∈ R m×n ist A : B := ∑ m ∑ n<br />
i=1 j=1 a ij b ij = Spur(A T B).)<br />
In Indexschreibweise entspricht das den m Gleichungen<br />
− ∑ j<br />
∂ j ∂ zij f(x, u(x), Du(x)) + ∂ yi f(x, u(x), Du(x)) = 0 für i = 1, . . ., m.<br />
Unsere Rechnung von oben zeigt dann:<br />
83