An Eigenvalue Method for Testing Positive Definiteness of a Multivariate Form

Abstract—In this paper, we present an eigenvalue method for testing positive definiteness of a multivariate form. This problem plays an important role in the stability study of nonlinear au-tonomous systems via Lyapunov’s direct method in automatic control. At first we apply the D’Andrea–Dickenstein version of the classical Macaulay formulas of the resultant to compute the symmetric hyperdeterminant of an even order supersymmetric tensor. By using the supersymmetry property, we give detailed computation procedures for the Bezoutians and specified ordering of monomials in this approach. We then use these formulas to calculate the characteristic polynomial of a fourth order three di-mensional supersymmetric tensor and give an eigenvalue method for testing positive definiteness of a quartic form of three variables. Some numerical results of this method are reported. Index Terms—Eigenvalue method, positive definiteness, super-symmetric tensor, symmetric hyperdeterminant. I