21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

134 [CH. 9: THE PSEUDO-NEWTON OPERATOR<br />

Proposition 9.10. Assume that f ∈ H d , Let R 1 , . . . , R s be as above,<br />

and assume the canonical norm in C n+1 . Then, for ‖X‖ = 1,<br />

( ‖D k f(X)‖<br />

) 1/(k−1)<br />

≤ ‖f‖ 1/(k−1) D 2<br />

with D = max d i .<br />

Proof.<br />

k!<br />

D k f i (X) = 〈f i (·), D k K i (·, ¯X)〉.<br />

Thus,<br />

Theorem 9.11 (Higher derivative estimate). Let f ∈ H d and X ∈<br />

C n+1 \ {0}. Then,<br />

γ(f, X) ≤ ‖X‖ (max d i) 3/2<br />

µ(f, x)<br />

2<br />

Proof. Without loss of generality, scale X so that ‖X‖ = 1. For each<br />

k ≥ 2,<br />

( ‖Df(X) † D k )<br />

f(X)‖<br />

1<br />

k−1<br />

≤ ‖Df(X) −1 ‖ 1/(k−1) ‖f‖ 1/(k−1) D k!<br />

|X ⊥ 2<br />

1<br />

≤ ‖L x (f) −1 ‖ 1/(k−1) 1/(k−1) D1+ k−1<br />

‖f‖ .<br />

2<br />

≤ D3/2<br />

µ(f, x)1/(k−1)<br />

2<br />

≤ D3/2<br />

µ(f, x)<br />

2<br />

using that µ(f, x) ≥ √ n ≥ 1.<br />

Exercise 9.4. Show that Proposition 9.10 holds for multi-homogeneous<br />

polynomials, with<br />

D = max d ij .<br />

Exercise 9.5. Let f denote a system of multi-homogeneous equations.<br />

Let X ∈ C n+s \ Ω, scaled such that ‖X i ‖ = 1. Show that,<br />

γ(f, X) ≤ ‖X‖ (max d ij) 3/2<br />

µ(f, x).<br />

2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!