An Eigenvalue Method for Testing Positive Definiteness of a Multivariate Form

摘要

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 autonomous 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 dimensional 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.