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.
4. We finally investigate the cubic term<br />
D 3 f(y)[. . ., . . .,...] = ∑ i,j,k<br />
D 3 f(y)[λ i , λ j , λ k ]ϕ i (νξ i · x)ϕ j (νξ j · x)ϕ k (νξ k · x).<br />
Fix i, j, k ∈ {1, 2, 3}. If two of the vectors ξ 1 , ξ 2 , ξ 3 are parallel, say ξ i ‖ ξ j<br />
(w.l.o.g.), then as in the first step<br />
D 2 f(y)[λ i , λ j ] = 0<br />
∀y.<br />
This remains true if y is replaced by y + tλ k . So<br />
D 3 f(y)[λ i , λ j , λ k ] = d dt∣ D 2 f(y + tλ k )[λ i , λ j ] = 0.<br />
t=0<br />
If, on the other hand, ξ i is not parallel to ξ j <strong>for</strong> i ≠ j, then one can choose<br />
ϕ 1 , ϕ 2 , ϕ 3 in such a way as to have<br />
ϕ 1 (νξ 1 · x)ϕ 2 (νξ 2 · x)ϕ 3 (νξ 3 · x) ∗ ⇀ c ≠ 0<br />
(Exercise!). As by assumption l = lim f(u (ν) ) = f(y), we obtain<br />
0 = lim ∑ i,j,k<br />
D 3 f(y)[λ i , λ j , λ k ]ϕ i ϕ j ϕ k<br />
= 3 limD 3 f(y)[λ 1 , λ 2 , λ 3 ]ϕ 1 ϕ 2 ϕ 3<br />
= 3cD 3 f(y)[λ 1 , λ 2 , λ 3 ].<br />
Corollary 2.43 Let dim span Λ = d and choose coordinates so that<br />
span Λ = {y ∈ R m : y d+1 = . . . = y d = 0} .<br />
□<br />
If l = f(u) <strong>for</strong> every sequence satisfying (H), then f is a polynomial in y 1 , ..., y d<br />
of degree at most min{n, d} whose coefficients depend on y d+1 , ..., y m .<br />
Proof. Suppose (e 1 , ..., e d ) ∈ Λ is a basis of span Λ and (e 1 , ..., e n ) is a basis of<br />
34