Detecting rigid convexity of bivariate polynomials

作者：Henrion Didier^*

来源：Linear Algebra and Its Applications, 2010, 432(5): 1218-1233.

DOI：10.1016/j.laa.2009.10.033

• Multivariate polynomials
• Convexity
• Linear matrix inequality
• Real algebraic geometry

Given a polynomial x is an element of R(n) bar right arrow p(x) in n = 2 variables, a symbolic-numerical algorithm is first described for detecting whether the connected component of the plane sublevel set P = {x : p(x) >= 0} containing the origin is rigidly convex, or equivalently, whether it has a linear matrix inequality (LMI) representation, or equivalently, if polynomial p(x) is hyperbolic with respect to the origin. The problem boils down to checking whether a univariate polynomial matrix is positive semidefinite, an optimization problem that can be solved with eigenvalue decomposition. When the variety C = {x : p(x) = 0} is an algebraic curve of genus zero, a second algorithm based on Bezoutians is proposed to detect whether P has an LMI representation and to build such a representation from a rational parametrization of C. Finally, some extensions to positive genus curves and to the case n > 2 are mentioned.

• 出版日期2010-2-15