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.

[SEC. 2.1: SYLVESTER’S RESULTANT 13<br />

zero. The polynomials f and g have a common root if and only if the<br />

linear map M f,g : P e−1 × P d−1 → P d+e−1 defined by<br />

is degenerate.<br />

a, b ↦→ af + bg<br />

If we assimilate each P d to k d+1 by associating each a(x) = a d x d +<br />

· · · + a 0 to [a d , · · · , a 0 ] T ∈ k d+1 , the linear map M f,g corresponds to<br />

the Sylvester matrix<br />

⎡<br />

⎤<br />

f d<br />

g e<br />

. f d−1 f d g ..<br />

e−1 . f .. .<br />

d−1 ge−2<br />

.. ge<br />

. .<br />

.. .<br />

fd<br />

.. ge−1<br />

Syl(f, g) =<br />

. f d−1 . g e−2<br />

.<br />

f 1<br />

f 0 f 1 . g 1 .<br />

. f .. . 0 g0 ..<br />

⎢<br />

⎣<br />

. .. . ⎥<br />

f1<br />

..<br />

g1<br />

⎦<br />

f 0 g 0<br />

The Sylvester resultant is usually defined as<br />

Res x (f(x), g(x)) def<br />

= det Syl(f, g).<br />

Proof of Theorem 2.1. Assume that z ∈ k is a common root for f<br />

and g. Then,<br />

[z d+e z d+e−1 · · · z 1] Syl(f, g) = a(z)f(z) + b(z)g(z) = 0.<br />

Therefore the determinant of Syl(f, g) must vanish. Hence M f,g is<br />

degenerate.<br />

Reciprocally, assume that M f,g is degenerate. Then there are<br />

a ∈ P e−1 , b ∈ P d−1 so that af + bg ≡ 0. Assume for simplicity that<br />

d ≤ e and g e ≠ 0. By the Fundamental Theorem of Algebra, g admits<br />

e roots z 1 , . . . , z e (counted with multiplicity). By the pigeonhole

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

Saved successfully!

Ooh no, something went wrong!