|Title:||The tensor eigenvalue methods for the positive definiteness identification problem|
|Subject:||Hong Kong Polytechnic University -- Dissertations|
Calculus of tensors
|Department:||Department of Applied Mathematics|
|Pages:||vii, 110 leaves ; 30 cm|
|Abstract:||The main purposes of this thesis are to solve the positive definiteness identification problems by using some tensor eigenvalue methods. The positive definiteness identification problems arise in numerous fields of mathematics and its applications. Effective methods intended to obtain a reliable answer to the problems are of doubtless theoretical and practical interest. Recently, to do this, Qi presented the concepts of H-eigenvalues/Z-eigenvalues of a real n-dimensional supersymmetric tensor, and proved that H-eigenvalues/Z-eigenvalues exist for an even order real supersymmetric tensor A, and A is positive definite if and only if all of its H-eigenvalues/Z-eigenvalues are positive. Based on this, we proposed tensor eigenvalue methods for the positive definiteness identification problems. Using formulas of the resultants of polynomial equations systems, we present two viable algorithms to calculate the smallest H-eigenvalue/Z-eigenvalue for a real supersymmetric tensor respectively. Numerical results show that our algorithms are feasible and efficient for identifying the positive definiteness of quartic forms with three variables. The main contributions of this thesis are as follows. In the thesis, we first present a complete explicit criterion for the positive definiteness of a general quartic form of two variables. Secondly, we present an H-eigenvalue method for the positive definiteness identification problem. At first we apply the D'Andrea-Dickenstein version of the classical Macaulay formulas of resultants 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 H-eigenvalue method for the positive definiteness identification problem of a quartic form of three variables. Thirdly, for an even order tensor, we first establish a formula of the E-characteristic polynomial of its tensor based on the Macaulay's formulas of resultants, then give an upper bound for the degree of that E-characteristic polynomial. Examples illustrate that this bound is tough when m and n is small. Finally, we present a Z-eigenvalue method to identify the positive definiteness for quartic forms of three variables. We first construct a limiting E-characteristic polynomial for an even order supersymmetric tensor in the irregular case. Then we apply the D'Andrea-Dickenstein version of the classical Macaulay formula of a resultant to establish a formula of the (limiting) E-characteristic polynomial for a regular (irregular) fourth order three dimensional real supersymmetric tensor. Using such a formula, we propose an algorithm which is efficient on determining positive definiteness of a quartic form of three variables. Some numerical results of the H-eigenvalue method and the Z-eigenvalue for identifying positive definiteness of quartic forms with three variables are reported.|
|Rights:||All rights reserved|
Files in This Item:
|b20697326.pdf||For All Users||10.88 MB||Adobe PDF||View/Open|
As a bona fide Library user, I declare that:
- I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
- I will use the Database for the purpose of my research or private study only and not for circulation or further reproduction or any other purpose.
- I agree to indemnify and hold the University harmless from and against any loss, damage, cost, liability or expenses arising from copyright infringement or unauthorized usage.
By downloading any item(s) listed above, you acknowledge that you have read and understood the copyright undertaking as stated above, and agree to be bound by all of its terms.
Please use this identifier to cite or link to this item: