26.10.2014 Aufrufe

Weak Convergence Methods for Nonlinear Partial Differential ...

Weak Convergence Methods for Nonlinear Partial Differential ...

Weak Convergence Methods for Nonlinear Partial Differential ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!