判断实对称矩阵正定性的一种方法

<正> 判断实对称矩阵A正定性的一般方法有:1.A的特征值全大于零;或2.A的顺序主子式全大于零。这些方法都比较复杂,本文介绍一种比较简单的方法。定理1 设实对称矩阵     

正定二次型判别条件的证明

正定二次型判别条件的证明刘学鹏（临沂师专２７６００５）在二次型的理论中，正定二次型是一类特殊而重要的二次型，相应的正定矩阵也是一类特殊而重要的矩阵．对于实二次型，其正定性的判别法之一，是利用其顺序主子式是否大于零．此理论根据的证明，笔者依据目前流行的...     

实对称矩阵A正定的充分条件的证明

具体给出一个实对称矩阵A以后,判定A正定的有效方法由下述定理给出。 定理 实二次型f(x_1.…x_n)=sum from i,j=1 to n (a_(ij)x_ix_j)=X’AX是正定的充要条件是矩阵A的顺序主子式全大于零。 必要性的证明在此就不再赘述。下面我们     

几类矩阵的判定

主子式(顺序主子式)全为正或非负的矩阵、广义正定(非负定)矩阵、M 矩阵、广义对角占优矩阵等几类矩阵在矩阵理论和许多应用领域内是十分重要的矩阵类,本文提出判断一个矩阵是否上述几类矩阵的统一方法—分块降阶判定法,它包含、改进了[4、5]中主要结论。     

从正定矩阵判定定理所想到的

从正定矩阵判定定理所想到的贾正华（皖巢湖师专数学系２３８０００）众所周知，在《高等代数》教材中都有这样一个定理：ｎ阶实对称方阵Ａ正定，即对任一实的非零ｎ维列向量Ｘ都有Ｘ＇ＡＸ＞０的充要条件为Ａ的各阶顺序主子式大于零，若把Ａ实对称这一条件拓广为实方阵，...     

Bapat-Kwong矩阵不等式的推广

本文研究了两个经典的Hermitian正定矩阵的Hadamard乘积的Bapat-Kwong矩阵不等式的推广,利用局部完全Hermitian矩阵的性质,根据可逆矩阵的主子矩阵与其Schur补的关系,得到了两个局部完全Hermitian矩阵的Hadamard乘积的矩阵不等式.所得到的结果不仅在放弃了正定性的前提下得到了经典的Bapat-Kwong矩阵不等式,而且还给出了这个矩阵不等式等式成立的充分必要条件.     

求Toeplitz矩阵各阶主子式和特征值的O(n~2)算法

形如T~(n)=(T_(ij)~(n))_(n×n),T_(ij)~(n)=t_(i-j),i,j=1～n的n阶矩阵称为Toeplitz矩阵。 Toeplitz矩阵(简称T矩阵)是一类很重要的特殊矩阵,地震预报、天气预测、石油勘探等许多应用领域的数学模型中常常遇到T型矩阵,因此研究其快速算法具有很大的实用价值。1964年,W.F.Trench在对称正定的条件下给出了T矩阵求逆的O(n~2)算法。1969年,S.Zohar进一步讨论了Trench的算法,主要工作是对推导的简化以及把对称正定的条件减弱为强非奇(即各阶主子式全不为零),算法的主要思想请参阅文[1]或[2]。     

SPN—矩阵谱的一个特性条件

设A=(a_(ij))是n×n实矩阵,A的谱{λ_1,λ_2,…,λ_n}满足ρ(A)=|λ_1|≥|λ_2|≥…≥|λ_n|。如果A的每个奇数阶主子式是(非负)正的且每个偶数阶主子式是(非正)负的,则称A是(半)PN—矩阵。在过去的十几年里,PN—矩阵类和半PN—矩阵类在经济学文献中已引起足够的重视[1],因为每个主子式皆为负(非正)的矩阵被     

逆p·n·p·矩阵的表征

一个n阶实方阵A,若其各阶主子式皆非正,则称A为p.n.p.矩阵,记作A∈PNP;特别地,若A∈NP且各阶主子式皆负,则称A为p.n.矩阵,记作A∈PN进一步,若n阶实方阵A非奇异,且A^-1∈PNP,则称A为逆p.n.p.矩阵,记作A∈IPNP;特别地,若A^-1∈PN,则称A为逆p.n.矩阵,记作A∈IPN。     

条件正定矩阵及其在多元插值计算中的应用

这里A一般不是正定的,按后面定义只是“条件正定”的,特别,A的对角线元素往往是零.这给方程组的求解带来了困难.我们的目的是如何利用“条件正定”的特点建立有效的算法,减少计算量和机器时间.为此,先讨论“条件正定”矩阵及与之相关的“条件正定”函数的某些性质,以便于判定A的条件正定性.然后利用这个性质构造有效算法.最后的平板样条数值结果表明,应用“条件正定”作工具建立的算法,比通常算法求解(1)的效率提高四倍以上.     

几类时变系统的稳定性的新判据

本文利用文[1]—[4]关于区间矩阵或区间对称矩阵的稳定性判据给出了时变线性系统(dx)/(dt)=A(t)x(1)和具有时滞的线性系统(dx(t))/(dt)=A(t)x(t) B(t)x(t-τ)(2)的零解渐近稳定的充分条件,并利用文献[5]的引理给出了时变直接控制系统(?)的绝对稳定性的充分条件.我们将以上时变系统的稳定性判定归结为有限个常数矩阵的稳定性判定,或者通过所构造的常数矩阵的主子式符号或谱半径来判断.对矩阵 A(t),B(t)不要求缓变,也无任何结构上的特殊要求.     

p.n.p.矩阵的一些性质

一个n阶实方阵若其各阶主子式皆非正,则称为部分非正阵,简写作p.n.p.矩阵.特别地,各阶主子式皆负的p.n.p.矩阵称为部分负矩阵,简写为p.n.矩阵。文[1]、[5]讨论了p.n.p.矩阵的谱性质。本文在[5]的基础上讨论了p.n.p.矩阵的若干性质,并给出p.n.p.矩阵特征值的某些估计式。 引理1 设A=(A_(ij)_n×n为一p.n.p.矩阵,则A的特征值之实部不全为负(n≥2)。 证 设λ_1,λ_2,…,λ_n为A的全部特征值。假定A的每一特征值之实部皆为负。分两种情     

LU分解与广义Schmidt正交化方法

利用对称内积的Schmidt正交化方法证明了各阶主子式不为零对称阵的LDLT分解.引入两个向量组关于弱内积广义正交的概念,并构造了将两组含相同个数向量的线性无关组化为广义正交组的广义Schmidt正交化方法.最后应用这一方法证明了各阶主子式不为零矩阵的LDU分解及一些相关的结果.     

时滞Lur'e系统的采样数据主从同步

研究了带有时变时滞的混沌Lur'e系统基于采样数据控制的同步问题.首先,构造了一个新的含有系统非线性部分有用信息和三重积分项的Lyapunov-Krasovskii泛函(Lyapunov-Krasovskii functional,LKF),且不要求所有的对称矩阵都是正定矩阵.其次,应用Jensen不等式、自由矩阵积分不等式及Schur补引理来估计LKF的导数而得到了一个新的线性矩阵不等式形式的同步判据.最后,时滞Chua电路的数值仿真验证了该控制方法的有效性.     

高阶奇点的定性研究

关于微分方程组孤立奇点的拓扑分类问题,最初是H.Poincare提出的。对于线性矩阵特征根实部皆不为零的情形,已被P.Hartmanc、所解决。前者的方法是几何的,简练然而限制较强;后者是纯分析的,论证颇长。经仔细的计算,可知Hartman的变换恰具有的分析表达式。在线性矩阵具一个零特征根、其余特征根实部同     

关于部分变元Lyapunov矩阵方程几个问题的讨论

关于Lyapunov矩阵方程A^TB+BA=-C的解与线性定常系统x=Ax之零解的部分变元渐近稳定性的关系,本文就最近发表的一些结果讨论了如下几个问题。一、由于全变元正定函数也满足部分正定性的条件,有必要引进严格部分正定函数的定义。严格部分正定函数与全变元正定函数是互不相包的;二、求解矩阵方程即意味着对于给定的矩连A(它使系统x=Ax之零解对部分变元渐近稳定),矩阵C应满足什么条件使矩阵方程有解B,此即Lyapunov函数的存在与构造问题;本文还指出C的秩不必为m,当rank C>m时     

关于Hadamard不等式的再改进

本文提出并改进了文[1]中所给出的几个关于可除环上矩阵行列式的不等式,利用这些不等式我们给出了可除环上任意非奇异矩阵的经典Hadamard不等式的一个再改进. 定义1 设A=(a_(ij))_(n×n)是四元数除环Ω上的矩阵,A=(a_(ij))_(n×n)是A的共轭矩阵,如果A=A,则称A为自共轭矩阵,如果A的各阶主子式均为正实数,则称A为正定自共轭矩阵(文[2]定理4).     

关于矩阵的泛正定性与广义逆偏序的一个注记

指出“矩阵的泛正定性与广义逆偏序”一文的一些错误,利用矩阵的同时合同变换给出了矩阵偏序的若干刻画.     

正定Hermite矩阵加权幂平均的行列式不等式

本文给出了m个正定Hermite矩阵加权幂平均的行列式的一个不等式，它是m个正数的加权益平均不等式的自然推广，也是正定Hermite矩阵行列式的凸性不等式的推广．     

关于复正定矩阵的判定

研究了复矩阵的正定性 ,给出了复正定矩阵的一系列判定条件 ,获得了一些新的结果 ,改进并推广了著名的 Hadam ard不等式、Fejer定理及郭忠的结果 ,削弱了华罗庚不等式的条件 .