This paper discusses the necessary and sufficient conditions for the existence of Hermite positive definite solutions of the quaternion matrix equation X<sup>m</sup>+ B*XB = C (m > 0) and its iterative ...This paper discusses the necessary and sufficient conditions for the existence of Hermite positive definite solutions of the quaternion matrix equation X<sup>m</sup>+ B*XB = C (m > 0) and its iterative solution method. According to the characteristics of the coefficient matrix, a corresponding algebraic equation system is ingeniously constructed, and by discussing the equation system’s solvability, the matrix equation’s existence interval is obtained. Based on the characteristics of the coefficient matrix, some necessary and sufficient conditions for the existence of Hermitian positive definite solutions of the matrix equation are derived. Then, the upper and lower bounds of the positive actual solutions are estimated by using matrix inequalities. Four iteration formats are constructed according to the given conditions and existence intervals, and their convergence is proven. The selection method for the initial matrix is also provided. Finally, using the complexification operator of quaternion matrices, an equivalent iteration on the complex field is established to solve the equation in the Matlab environment. Two numerical examples are used to test the effectiveness and feasibility of the given method. .展开更多
In this paper,we study the nonlinear matrix equation X-A^(H)X^(-1)A=Q,where A,Q∈C^(n×n),Q is a Hermitian positive definite matrix and X∈C^(n×n)is an unknown matrix.We prove that the equation always has a u...In this paper,we study the nonlinear matrix equation X-A^(H)X^(-1)A=Q,where A,Q∈C^(n×n),Q is a Hermitian positive definite matrix and X∈C^(n×n)is an unknown matrix.We prove that the equation always has a unique Hermitian positive definite solution.We present two structure-preserving-doubling like algorithms to find the Hermitian positive definite solution of the equation,and the convergence theories are established.Finally,we show the effectiveness of the algorithms by numerical experiments.展开更多
In this paper,a new formulation of the Rubin’s q-translation is given,which leads to a reliable q-harmonic analysis.Next,related q-positive definite functions are introduced and studied,and a Bochner’s theorem is pr...In this paper,a new formulation of the Rubin’s q-translation is given,which leads to a reliable q-harmonic analysis.Next,related q-positive definite functions are introduced and studied,and a Bochner’s theorem is proved.展开更多
The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistoo...The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators.More precisely, for a class of discrete convolution kernels relevant to variable-step L1-type time discretizations, weshow that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Ourproof is based on an elementary constructing strategy by using the properties of discrete orthogonal convolutionkernels and discrete complementary convolution kernels. To our knowledge, this is the first general result onsimple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using theunified theory, we obtain the stability for some simple nonuniform time-stepping schemes straightforwardly.展开更多
A shift splitting concept is introduced and, correspondingly, a shift-splitting iteration scheme and a shift-splitting preconditioner are presented, for solving the large sparse system of linear equations of which the...A shift splitting concept is introduced and, correspondingly, a shift-splitting iteration scheme and a shift-splitting preconditioner are presented, for solving the large sparse system of linear equations of which the coefficient matrix is an ill-conditioned non-Hermitian positive definite matrix. The convergence property of the shift-splitting iteration method and the eigenvalue distribution of the shift-splitting preconditioned matrix are discussed in depth, and the best possible choice of the shift is investigated in detail. Numerical computations show that the shift-splitting preconditioner can induce accurate, robust and effective preconditioned Krylov subspace iteration methods for solving the large sparse non-Hermitian positive definite systems of linear equations.展开更多
Based on the fixed-point theory, we study the existence and the uniqueness of the maximal Hermitian positive definite solution of the nonlinear matrix equation X+A^*X^-2A=Q, where Q is a square Hermitian positive de...Based on the fixed-point theory, we study the existence and the uniqueness of the maximal Hermitian positive definite solution of the nonlinear matrix equation X+A^*X^-2A=Q, where Q is a square Hermitian positive definite matrix and A* is the conjugate transpose of the matrix A. We also demonstrate some essential properties and analyze the sensitivity of this solution. In addition, we derive computable error bounds about the approximations to the maximal Hermitian positive definite solution of the nonlinear matrix equation X+A^*X^-2A=Q. At last, we further generalize these results to the nonlinear matrix equation X+A^*X^-nA=Q, where n≥2 is a given positive integer.展开更多
In this paper, a new splitting positive definite nonconforming mixed finite element method is proposed for pseudo-hyperbolic equations, in which a quasi-Wilson quadrilateral element is used for the flux p, and the bil...In this paper, a new splitting positive definite nonconforming mixed finite element method is proposed for pseudo-hyperbolic equations, in which a quasi-Wilson quadrilateral element is used for the flux p, and the bilinear element is used for u. Superconvergence results in ||·||div,h norm for p and optimal error estimates in L2 norm for u are derived for both semi-discrete and fully discrete schemes under almost uniform meshes.展开更多
A splitting positive definite mixed finite element method is proposed for second-order viscoelasticity wave equation. The proposed procedure can be split into three independent symmetric positive definite integro-diff...A splitting positive definite mixed finite element method is proposed for second-order viscoelasticity wave equation. The proposed procedure can be split into three independent symmetric positive definite integro-differential sub-system and does not need to solve a coupled system of equations. Error estimates are derived for both semidiscrete and fully discrete schemes. The existence and uniqueness for semidiscrete scheme are proved. Finally, a numerical example is provided to illustrate the efficiency of the method.展开更多
Geometric structures of a manifold of positive definite Hermite matrices are considered from the viewpoint of information geometry.A Riemannian metric is defined and dual α-connections are introduced.Then the fact th...Geometric structures of a manifold of positive definite Hermite matrices are considered from the viewpoint of information geometry.A Riemannian metric is defined and dual α-connections are introduced.Then the fact that the manifold is ±l-flat is shown.Moreover,the divergence of two points on the manifold is given through dual potential functions.Furthermore,the optimal approximation of a point onto the submanifold is gotten.Finally,some simulations are given to illustrate our results.展开更多
We establish the convergence theories of the symmetric relaxation methods for the system of linear equations with symmetric positive definite coefficient matrix, and more generally, those of the unsymmetric relaxation...We establish the convergence theories of the symmetric relaxation methods for the system of linear equations with symmetric positive definite coefficient matrix, and more generally, those of the unsymmetric relaxation methods for the system of linear equations with positive definite matrix.展开更多
The Hermitian positive definite solutions of the matrix equation X-A^*X^-2 A=I are studied. A theorem for existence of solutions is given for every complex matrix A. A solution in case A is normal is given. The basic...The Hermitian positive definite solutions of the matrix equation X-A^*X^-2 A=I are studied. A theorem for existence of solutions is given for every complex matrix A. A solution in case A is normal is given. The basic fixed point iterations for the equation are discussed in detail. Some convergence conditions of the basic fixed point iterations to approximate the solutions to the equation are given.展开更多
In this paper we consider a class of differential systems with positive definite polynomial having exactly one and two limit cycles. Such a system is more extensive than paper [1,2].
Let m and n be fixed, positive integers and P a space composed of real polynomials in m variables. The authors study functions f : R →R which map Gram matrices, based upon n points of R^m, into matrices, which are n...Let m and n be fixed, positive integers and P a space composed of real polynomials in m variables. The authors study functions f : R →R which map Gram matrices, based upon n points of R^m, into matrices, which are nonnegative definite with respect to P Among other things, the authors discuss continuity, differentiability, convexity, and convexity in the sense of Jensen, of such functions展开更多
This contribution gives results on the action of the Laplace-Beltrami derivative on suffi- ciently smooth kernels on the sphere, those defined by absolutely and uniformly expansions generated by a family of at least c...This contribution gives results on the action of the Laplace-Beltrami derivative on suffi- ciently smooth kernels on the sphere, those defined by absolutely and uniformly expansions generated by a family of at least continuous functions. Among other things, the results show that convenient Laplace-Beltrami derivatives of positive definite kernels on the sphere are positive definite too. We also include similar results on the action of the Laplace-Beltrami derivative on condensed spherical harmonic expansions.展开更多
A quasi positive definite matrix is the generalization of a positive definite matrix. A necessary and sufficient condition of quasi positive definite matrix is obtained in this paper for the Kronecker product and Ha...A quasi positive definite matrix is the generalization of a positive definite matrix. A necessary and sufficient condition of quasi positive definite matrix is obtained in this paper for the Kronecker product and Hadamard product of two quasi positive definite matrices, and Schur's achievements in Hadamard product of the positive definite matrix is generalized to quasi positive definite matrix theory.展开更多
Based on the idea of maximum determinant positive definite matrix completion,Yamashita(Math Prog 115(1):1–30,2008)proposed a new sparse quasi-Newton update,called MCQN,for unconstrained optimization problems with spa...Based on the idea of maximum determinant positive definite matrix completion,Yamashita(Math Prog 115(1):1–30,2008)proposed a new sparse quasi-Newton update,called MCQN,for unconstrained optimization problems with sparse Hessian structures.In exchange of the relaxation of the secant equation,the MCQN update avoids solving difficult subproblems and overcomes the ill-conditioning of approximate Hessian matrices.However,local and superlinear convergence results were only established for the MCQN update with the DFP method.In this paper,we extend the convergence result to the MCQN update with the whole Broyden’s convex family.Numerical results are also reported,which suggest some efficient ways of choosing the parameter in the MCQN update the Broyden’s family.展开更多
A class of regularized conjugate gradient methods is presented for solving the large sparse system of linear equations of which the coefficient matrix is an ill-conditioned symmetric positive definite matrix. The conv...A class of regularized conjugate gradient methods is presented for solving the large sparse system of linear equations of which the coefficient matrix is an ill-conditioned symmetric positive definite matrix. The convergence properties of these methods are discussed in depth, and the best possible choices of the parameters involved in the new methods are investigated in detail. Numerical computations show that the new methods are more efficient and robust than both classical relaxation methods and classical conjugate direction methods.展开更多
In this paper, the nonexistence, existence and the number of limit cycles for a class of differential systems with positive definite polynomial are considered, and the results obtained generalize and supplement those ...In this paper, the nonexistence, existence and the number of limit cycles for a class of differential systems with positive definite polynomial are considered, and the results obtained generalize and supplement those of [1].展开更多
Recently,some authors(Shen and Shi,2016)studied the generalized shiftsplitting(GSS)iteration method for singular saddle point problem with nonsymmetric positive definite(1,1)-block and symmetric positive semidefinite(...Recently,some authors(Shen and Shi,2016)studied the generalized shiftsplitting(GSS)iteration method for singular saddle point problem with nonsymmetric positive definite(1,1)-block and symmetric positive semidefinite(2,2)-block.In this paper,we further apply the GSS iteration method to solve singular saddle point problem with nonsymmetric positive semidefinite(1,1)-block and symmetric positive semidefinite(2,2)-block,prove the semi-convergence of the GSS iteration method and analyze the spectral properties of the corresponding preconditioned matrix.Numerical experiment is given to indicate that the GSS iteration method with appropriate iteration parameters is effective and competitive for practical use.展开更多
This paper proposes a new two-step non-oscillatory shape-preserving positive definite finite difference advection transport scheme, which merges the advantages of small dispersion error in the simple first-order upstr...This paper proposes a new two-step non-oscillatory shape-preserving positive definite finite difference advection transport scheme, which merges the advantages of small dispersion error in the simple first-order upstream scheme and small dissipation error in the simple second-order Lax-Wendroff scheme and is completely different from most of present positive definite advection schemes which are based on revising the upstream scheme results. The proposed scheme is much less time consuming than present shape-preserving or non-oscillatory advection transport schemes and produces results which are comparable to the results obtained from the present more complicated schemes. Elementary tests are also presented to examine the behavior of the scheme.展开更多
文摘This paper discusses the necessary and sufficient conditions for the existence of Hermite positive definite solutions of the quaternion matrix equation X<sup>m</sup>+ B*XB = C (m > 0) and its iterative solution method. According to the characteristics of the coefficient matrix, a corresponding algebraic equation system is ingeniously constructed, and by discussing the equation system’s solvability, the matrix equation’s existence interval is obtained. Based on the characteristics of the coefficient matrix, some necessary and sufficient conditions for the existence of Hermitian positive definite solutions of the matrix equation are derived. Then, the upper and lower bounds of the positive actual solutions are estimated by using matrix inequalities. Four iteration formats are constructed according to the given conditions and existence intervals, and their convergence is proven. The selection method for the initial matrix is also provided. Finally, using the complexification operator of quaternion matrices, an equivalent iteration on the complex field is established to solve the equation in the Matlab environment. Two numerical examples are used to test the effectiveness and feasibility of the given method. .
基金This research is supported by the National Natural Science Foundation of China(No.11871444).
文摘In this paper,we study the nonlinear matrix equation X-A^(H)X^(-1)A=Q,where A,Q∈C^(n×n),Q is a Hermitian positive definite matrix and X∈C^(n×n)is an unknown matrix.We prove that the equation always has a unique Hermitian positive definite solution.We present two structure-preserving-doubling like algorithms to find the Hermitian positive definite solution of the equation,and the convergence theories are established.Finally,we show the effectiveness of the algorithms by numerical experiments.
文摘In this paper,a new formulation of the Rubin’s q-translation is given,which leads to a reliable q-harmonic analysis.Next,related q-positive definite functions are introduced and studied,and a Bochner’s theorem is proved.
基金Hong-Lin Liao was supported by National Natural Science Foundation of China(Grant No.12071216)Tao Tang was supported by Science Challenge Project(Grant No.TZ2018001)+3 种基金National Natural Science Foundation of China(Grants Nos.11731006 and K20911001)Tao Zhou was supported by National Natural Science Foundation of China(Grant No.12288201)Youth Innovation Promotion Association(CAS)Henan Academy of Sciences.
文摘The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators.More precisely, for a class of discrete convolution kernels relevant to variable-step L1-type time discretizations, weshow that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Ourproof is based on an elementary constructing strategy by using the properties of discrete orthogonal convolutionkernels and discrete complementary convolution kernels. To our knowledge, this is the first general result onsimple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using theunified theory, we obtain the stability for some simple nonuniform time-stepping schemes straightforwardly.
基金Research supported by The China NNSF 0utstanding Young Scientist Foundation (No.10525102), The National Natural Science Foundation (No.10471146), and The National Basic Research Program (No.2005CB321702), P.R. China.
文摘A shift splitting concept is introduced and, correspondingly, a shift-splitting iteration scheme and a shift-splitting preconditioner are presented, for solving the large sparse system of linear equations of which the coefficient matrix is an ill-conditioned non-Hermitian positive definite matrix. The convergence property of the shift-splitting iteration method and the eigenvalue distribution of the shift-splitting preconditioned matrix are discussed in depth, and the best possible choice of the shift is investigated in detail. Numerical computations show that the shift-splitting preconditioner can induce accurate, robust and effective preconditioned Krylov subspace iteration methods for solving the large sparse non-Hermitian positive definite systems of linear equations.
文摘Based on the fixed-point theory, we study the existence and the uniqueness of the maximal Hermitian positive definite solution of the nonlinear matrix equation X+A^*X^-2A=Q, where Q is a square Hermitian positive definite matrix and A* is the conjugate transpose of the matrix A. We also demonstrate some essential properties and analyze the sensitivity of this solution. In addition, we derive computable error bounds about the approximations to the maximal Hermitian positive definite solution of the nonlinear matrix equation X+A^*X^-2A=Q. At last, we further generalize these results to the nonlinear matrix equation X+A^*X^-nA=Q, where n≥2 is a given positive integer.
基金Supported by the National Natural Science Foundation of China(No.10971203,11271340,11101384)the Specialized Research Fund for the Doctoral Program of Higher Education(No.20094101110006)
文摘In this paper, a new splitting positive definite nonconforming mixed finite element method is proposed for pseudo-hyperbolic equations, in which a quasi-Wilson quadrilateral element is used for the flux p, and the bilinear element is used for u. Superconvergence results in ||·||div,h norm for p and optimal error estimates in L2 norm for u are derived for both semi-discrete and fully discrete schemes under almost uniform meshes.
基金This work was supported in part by the National Natural Science Foundation of China (Grant No, 11061021), the Program of Higher-level Talents of Inner Mongolia University (No. Z200901004), and the Scientific Research Projection of Higher Schools of Inner Mongolia (Nos. N J10006, N J10016, NJZZ12011).
文摘A splitting positive definite mixed finite element method is proposed for second-order viscoelasticity wave equation. The proposed procedure can be split into three independent symmetric positive definite integro-differential sub-system and does not need to solve a coupled system of equations. Error estimates are derived for both semidiscrete and fully discrete schemes. The existence and uniqueness for semidiscrete scheme are proved. Finally, a numerical example is provided to illustrate the efficiency of the method.
基金Supported by Natural Science Foundations of China(Grant No.61179031 and 61401058)
文摘Geometric structures of a manifold of positive definite Hermite matrices are considered from the viewpoint of information geometry.A Riemannian metric is defined and dual α-connections are introduced.Then the fact that the manifold is ±l-flat is shown.Moreover,the divergence of two points on the manifold is given through dual potential functions.Furthermore,the optimal approximation of a point onto the submanifold is gotten.Finally,some simulations are given to illustrate our results.
文摘We establish the convergence theories of the symmetric relaxation methods for the system of linear equations with symmetric positive definite coefficient matrix, and more generally, those of the unsymmetric relaxation methods for the system of linear equations with positive definite matrix.
文摘The Hermitian positive definite solutions of the matrix equation X-A^*X^-2 A=I are studied. A theorem for existence of solutions is given for every complex matrix A. A solution in case A is normal is given. The basic fixed point iterations for the equation are discussed in detail. Some convergence conditions of the basic fixed point iterations to approximate the solutions to the equation are given.
文摘In this paper we consider a class of differential systems with positive definite polynomial having exactly one and two limit cycles. Such a system is more extensive than paper [1,2].
文摘Let m and n be fixed, positive integers and P a space composed of real polynomials in m variables. The authors study functions f : R →R which map Gram matrices, based upon n points of R^m, into matrices, which are nonnegative definite with respect to P Among other things, the authors discuss continuity, differentiability, convexity, and convexity in the sense of Jensen, of such functions
基金supported by CAPES-Brasilsupported by FAPESP-Brasil(Grant No.2010/19734-6)
文摘This contribution gives results on the action of the Laplace-Beltrami derivative on suffi- ciently smooth kernels on the sphere, those defined by absolutely and uniformly expansions generated by a family of at least continuous functions. Among other things, the results show that convenient Laplace-Beltrami derivatives of positive definite kernels on the sphere are positive definite too. We also include similar results on the action of the Laplace-Beltrami derivative on condensed spherical harmonic expansions.
文摘A quasi positive definite matrix is the generalization of a positive definite matrix. A necessary and sufficient condition of quasi positive definite matrix is obtained in this paper for the Kronecker product and Hadamard product of two quasi positive definite matrices, and Schur's achievements in Hadamard product of the positive definite matrix is generalized to quasi positive definite matrix theory.
基金This work was supported by the Chinese NSF Grants(Nos.11331012 and 81173633)the China National Funds for Distinguished Young Scientists(No.11125107)+1 种基金the CAS Program for Cross&Coorperative Team of the Science&Technology InnovationThe authors are grateful to Professors Masao Fukushima and Ya-xiang Yuan for their warm encouragement and valuable suggestions.They also thank the two anonymous referees very much for their useful comments on an early version of this paper.
文摘Based on the idea of maximum determinant positive definite matrix completion,Yamashita(Math Prog 115(1):1–30,2008)proposed a new sparse quasi-Newton update,called MCQN,for unconstrained optimization problems with sparse Hessian structures.In exchange of the relaxation of the secant equation,the MCQN update avoids solving difficult subproblems and overcomes the ill-conditioning of approximate Hessian matrices.However,local and superlinear convergence results were only established for the MCQN update with the DFP method.In this paper,we extend the convergence result to the MCQN update with the whole Broyden’s convex family.Numerical results are also reported,which suggest some efficient ways of choosing the parameter in the MCQN update the Broyden’s family.
基金Subsidized by The Special Funds For Major State Basic Research Projects G1999032803.
文摘A class of regularized conjugate gradient methods is presented for solving the large sparse system of linear equations of which the coefficient matrix is an ill-conditioned symmetric positive definite matrix. The convergence properties of these methods are discussed in depth, and the best possible choices of the parameters involved in the new methods are investigated in detail. Numerical computations show that the new methods are more efficient and robust than both classical relaxation methods and classical conjugate direction methods.
文摘In this paper, the nonexistence, existence and the number of limit cycles for a class of differential systems with positive definite polynomial are considered, and the results obtained generalize and supplement those of [1].
基金Supported by Guangxi Science and Technology Department Specific Research Project of Guangxi for Research Bases and Talents(Grant No.GHIKE-AD23023001)Natural Science Foundation of Guangxi Minzu University(Grant No.2021KJQD01)Xiangsi Lake Young Scholars Innovation Team of Guangxi University for Nationalities(Grant No.2021RSCXSHQN05)。
文摘Recently,some authors(Shen and Shi,2016)studied the generalized shiftsplitting(GSS)iteration method for singular saddle point problem with nonsymmetric positive definite(1,1)-block and symmetric positive semidefinite(2,2)-block.In this paper,we further apply the GSS iteration method to solve singular saddle point problem with nonsymmetric positive semidefinite(1,1)-block and symmetric positive semidefinite(2,2)-block,prove the semi-convergence of the GSS iteration method and analyze the spectral properties of the corresponding preconditioned matrix.Numerical experiment is given to indicate that the GSS iteration method with appropriate iteration parameters is effective and competitive for practical use.
基金This work is supported by the Ntional Natural Science Foundation of China.
文摘This paper proposes a new two-step non-oscillatory shape-preserving positive definite finite difference advection transport scheme, which merges the advantages of small dispersion error in the simple first-order upstream scheme and small dissipation error in the simple second-order Lax-Wendroff scheme and is completely different from most of present positive definite advection schemes which are based on revising the upstream scheme results. The proposed scheme is much less time consuming than present shape-preserving or non-oscillatory advection transport schemes and produces results which are comparable to the results obtained from the present more complicated schemes. Elementary tests are also presented to examine the behavior of the scheme.