polynomial resultants
play

Polynomial Resultants Henry Woody May 2, 2016 The Resultant - PowerPoint PPT Presentation

Polynomial Resultants Henry Woody Polynomial Resultants Henry Woody May 2, 2016 The Resultant Polynomial Resultants Henry Woody Definition: For f ( x ) = a n x n + ... + a 1 x + a 0 , g ( x ) = b m x m + ... + b 1 x + b 0 F [ x ],


  1. Polynomial Resultants Henry Woody Polynomial Resultants Henry Woody May 2, 2016

  2. The Resultant Polynomial Resultants Henry Woody Definition: For f ( x ) = a n x n + ... + a 1 x + a 0 , g ( x ) = b m x m + ... + b 1 x + b 0 ∈ F [ x ], � Res( f , g , x ) = a m n b n ( α i − β j ) , m i , j where f ( α i ) = 0 for 1 ≤ i ≤ n , and g ( β j ) = 0 for 1 ≤ j ≤ m .

  3. Common Factor Lemma Polynomial Resultants Henry Woody Let f ( x ) , g ( x ) ∈ F [ x ] have degrees n and m , both greater than zero, respectively. Then f ( x ) and g ( x ) have a non-constant common factor if and only if there exist nonzero polynomials A ( x ) , B ( x ) ∈ F [ x ] such that deg( A ( x )) ≤ m − 1, deg( B ( x )) ≤ n − 1 and A ( x ) f ( x ) + B ( x ) g ( x ) = 0.

  4. Proof Polynomial Resultants Henry Woody ( = ⇒ ) Assume h ( x ) ∈ F [ x ] is a common factor of f ( x ) and g ( x ), then f ( x ) = h ( x ) f 1 ( x ) and g ( x ) = h ( x ) g 1 ( x ). Consider, g 1 ( x ) f ( x ) + ( − f 1 ( x )) g ( x ) = g 1 ( x )( h ( x ) f 1 ( x )) − f 1 ( x )( h ( x ) g 1 ( x )) = 0

  5. Proof Polynomial Resultants Henry Woody ( ⇐ = ) Assume A ( x ) and B ( x ) exist. Assume, contrary to the lemma, that f ( x ) and g ( x ) share no non-constant factors. Then gcd( f ( x ) , g ( x )) = r ( x ) f ( x ) + s ( x ) g ( x ) = 1

  6. Polynomial Resultants Henry Woody Let f ( x ) = a n x n + ... + a 1 x + a 0 , a n � = 0 g ( x ) = b m x m + ... + b 1 x + b 0 , b m � = 0 A ( x ) = c m − 1 x m − 1 + ... + c 1 x + c 0 , B ( x ) = d n − 1 x n − 1 + ... + d 1 x + d 0 . And A ( x ) f ( x ) + B ( x ) g ( x ) = 0

  7. The Sylvester Matrix Polynomial Resultants Syl( f , g , x ) Henry Woody a n b m   a n − 1 a n b m − 1 b m   ... ...   a n − 2 a n − 1 b m − 2 b m − 1     . . . . ... ...   . . . . . . a n . . b m     . . . .  . . . .  . . a n − 1 . . b m − 1     a 0 a 1 b 0 b 1     . . ... ...  . .  . . a 0 b 0     ... ...   a 1 b 1   a 0 b 0

  8. Properties of the Sylvester Matrix Polynomial Resultants Henry Woody The determinant of the Sylvester matrix Syl( f , g , x ) is a polynomial in the coefficients a i , b j of the polynomials f ( x ) and g ( x ). Further, det(Syl( f , g , x )) = Res( f , g , x ) . For f ( x ) , g ( x ) ∈ F [ x ], there exist polynomials A ( x ) , B ( x ) ∈ F [ x ] so that A ( x ) f ( x ) + B ( x ) g ( x ) = Res( f , g , x ).

  9. Applications: The Discriminant Polynomial Resultants Henry Woody For a polynomial f ( x ) ∈ F [ x ], where f ( x ) = a n x n + ... + a 1 x + a 0 , the discriminant is given by D = ( − 1) n ( n − 1) / 2 Res( f , f ′ , x ) , a n where f ′ ( x ) is the derivative of f ( x ).

  10. Discriminant Example Polynomial Resultants Henry Woody Let f ( x ) = ax 2 + bx + c , then f ′ ( x ) = 2 ax + b . � � a 2 a 0 D = ( − 1) 2(2 − 1) / 2 � � = − 1 a ( a ( b 2 ) − b (2 ab ) + c (4 a 2 )) � � b b 2 a � � a � � 0 c b � � = − 1 a ( ab 2 − 2 ab 2 + 4 a 2 c ) = − 1 a ( − ab 2 + 4 a 2 c ) = b 2 − 4 ac ,

  11. Applications: Elimination Polynomial Resultants Henry Woody Res i : F [ x 1 , ..., x n ] × F [ x 1 , ..., x n ] → F [ x 1 , ..., x i − 1 , x i +1 , ..., x n ], where Res i is the resultant relative to the variable x i .

  12. Elimination Example Polynomial Resultants Henry Woody Let f ( x , y ) = x 2 y 2 − 25 x 2 + 9 and g ( x , y ) = 4 x + y be two polynomials in F [ x , y ].

  13. Partial Solutions Polynomial Resultants Henry Woody Theorem: If ( α 1 , ..., α i − 1 , α i +1 , ..., α n ) is a solution to a homogeneous system of polynomials in F [ x 1 , ..., x i − 1 , x i +1 , ..., x n ] obtained by taking resultants of polynomials in F [ x 1 , ..., x n ] with respect to x i , then there exists α i ∈ E , where E is the field in which all polynomials in the system split, such that ( α 1 , ..., α i , ..., α n ) is a solution to the system in F [ x 1 , ..., x n ].

  14. The End Polynomial Resultants Henry Woody Thank You. This is the end. Questions? Comments?

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend