四元数自共轭矩阵与行列式的几个定理

本文继续使用文献[1],[2],[3],[4],[5]的符号和术语。对四元数体Q上的自共轭矩阵与行列式进行讨论得到几个重要定理。为此,先作几点说明。 2.设A为四元数体Q上的一个n阶矩阵,若A=(即,A=a_(ij),a_(ij)∈Q。恒有a_(ij)=a_(ji))。则说A是四元数体Q上的一个自共轭矩阵。自共轭四元矩阵A的行列式记为‖A‖。     

四元数体上一类矩阵方程的极小范数最小二乘解

借助于四元数体上自共轭矩阵的奇异值分解,给出了四元数矩阵方程AX＋XB＋CXD=F的极小范数最小二乘解.同时,在有解的条件下给出了Hermite最小二乘解及其通解的表达形式.     

对称广义中心对称半正定矩阵模型修正的矩阵逼近法及其应用

设X,B分别是实测的位移矩阵和载荷矩阵, C是有限元模型估计,找对称广义中心对称半正定矩阵(A)使‖C-(A)‖F=min(A:AX=B)‖C-A‖F.我们证明这样的(A)存在唯一,并应用它来修正动力模型.数值结果证明方法是行之有效的.     

正规矩阵的任意扰动

设A为n×n矩阵,其特征值为λ1,λ2,…,λn;矩阵B=A+X之特征值为μ1,μ2,…,μn.若A,B均为正规矩阵,由Wielandt-Hoffman定理[1],存在1,2,…,n的一个排列k1,k2,…,kn,使得nj=1|λj-μkj|2≤‖X‖2F,(1)其中‖·‖F表示Frobenius范数.又,在同样条件下,存在1,2,…,n的一个排列l1,l2,…,ln,使得对1≤j≤n均有|λj-μlj|≤2.91‖X‖2,(2)其中‖·‖2表示谱范数,这是R.Bhatia等人的结果[2].本文旨在讨论A为正规矩阵,B为任意矩阵时特征值的扰动估计,得到了几个扰动定理,分别推广了上述两个结果.本文用CH表示矩阵C的共轭转置,trC表示C的迹;…     

四元数矩阵的实表示与四元数矩阵方程

四元数矩阵与四元数矩阵方程在力学和工程问题的理论研究和实际数值计算中都起到重要的作用.该文借助四元数矩阵的实表示方法,研究了一般四元数矩阵方程AXB-CYD=E的解的问题,给出了一种求解四元数矩阵方程的算法技巧.该文还得到了四元数矩阵的Roth's定理.     

自共轭四元数矩阵的行列式的展开定理及其应用

本文是在[1]文的基础上,证明自共轭四元数矩阵 A 的行列式‖A‖的展开定理,而当 A 为实对称矩阵或复 Hermitian 矩阵时,‖A‖的展开式即与通常的行列式|A|的展开式一致.并由此进一步得出 A 的特征多项式 f(λ)就是 A 的特征矩阵的行展开式,从而得到 f(λ)的直接计算法,且由此又得到正定与半正定自共轭矩阵的另一等价命题,完善了[2]中(?)4的结果.还有一些关于实、复正定与半正定矩阵的重要定理,也可应用展开定理把它们加以推广.     

一对四元数矩阵方程的共轭延拓解

定义广义四元数共轭延拓矩阵的概念,利用矩阵分块和四元数矩阵的实表示方法,分别给出四元数矩阵方程AX=C和XB=D存在列共轭延拓解和行共轭延拓解的必要充分条件及解的表达式.     

四元数矩阵方程(AXB,CXD)=(E,F)的最小范数最小二乘Hermitian解

提出了研究四元数矩阵方程(AXB, CXD)=(E, F)的最小范数最小二乘Hermitian解的一个有效方法.首先应用四元数矩阵的实表示矩阵以及实表示矩阵的特殊结构,把四元数矩阵方程转化为相应的实矩阵方程,然后求出四元数矩阵方程(AXB, CXD)=(E, F)的最小二乘Hermitian解集,进而得到其最小范数最小二乘Hermitian解.所得到的结果只涉及实矩阵,相应的算法只涉及实运算,因此非常有效.最后的两个数值例子也说明了这一点.     

四元数矩阵方程的复转化及保结构算法

给出四元数矩阵复表示运算定义及其相关性质,并运用复表示运算的保结构特性,讨论了四元数矩阵Moore-Penrose逆计算以及两类四元数矩阵方程AXB=C和AX-XB=C的数值求解方法.数值算例检验了所给算法的可行性.     

分裂四元数矩阵的奇异值分解及应用

利用i-共轭重新定义了分裂四元数矩阵的共轭转置,在此基础上借助复表示和友向量研究了分裂四元数矩阵的奇异值分解,并利用所得结果解决了分裂四元数矩阵的极分解和分裂四元数矩阵方程AXB-CYD=E.     

双对称非负定阵一类逆特征值问题的最小二乘解

１．引言 逆特征值问题在工程中有广泛的应用,其研究已有一些很好的结果［１－５］．最近,文［６］还研究了双对称矩阵逆特征值问题,即研究了如下两个问题： 问题Ａ．已知Ｘ∈Ｒｎｘｍ,Ａ＝ｄｉａｇ（λ１…,λｍ）,求Ａ∈ＢＳＲｎｘｎ使 ＡＸ＝ＸＡ,其中 Ｒｎｘｍ表示全体 ｎ ｘ ｍ实矩阵集合, ＢＳＲｎｘｎ表示全体 ｎ ｘ ｎ双对称阵集合． 问题Ｂ．已知Ａ＊ＥＲｎｘｎ,求Ａ∈ＳＥ使 ｜｜Ａ＊－Ａ｜｜＝ ｉｎｆ ｜｜Ａ＊－Ａ｜｜ ＡＦＳＥ其中 ＳＥ是问题 Ａ的解集合,｜｜． ｜｜表示 Ｆｒｏｂｅｎｉｕｓ范数． 在实际问题中, …     

四元数矩阵方程AXAH=B的最小二乘解

引入了四元数矩阵范数的概念，通过使用四无数矩阵的奇异值分解，给出了四元数矩阵方程AXA^H＝B在最小二乘意义下的Hermitian解以及Skew-Hermitian解．     

关于两个最小二乘解流形的逼近性

L1={X∈Rn×m|f(X)=‖XA1-B1‖2+‖CT1X-DT1‖2=min},L2={Y∈Rn×m|g(Y)=‖YA2-B2‖2+‖CT2Y-DT2‖2=min},其中A1∈Rm×k1,B1∈Rn×k1,C1∈Rn×l1,D1∈Rm×l1,A2∈Rm×k2,B2∈Rn×k2,C2∈Rn×l2,D2∈Rm×l2均为已知矩阵,本文讨论了L1,L2两个线性流形之间的逼近性,给出了d(L1,L2)=minX∈L1,Y∈L2‖X-Y‖的具体表达式.     

B值移动平均过程的Strassen重对数律

设 {ε,εt;t∈ Z}是 iid的 B值随机变量序列 ,{ aj;j∈ Z}是一个实数列 ,满足 ∞j=-∞|aj|<∞ .记 Xt= ∞j=-∞ajεt-j,Sn = nt=1Xt.对 p≥ 1 ,本文研究了n-1 -( p/ 2 ) (2 L2 n) -( p/ 2 ) ni=1 ‖ Si‖p 及 n-1 -( p/ 2 ) (2 L2 n) -( p/ 2 ) ni=0 ‖ Sn- Si‖ p的渐进性质 ,使得 Strassen(1 964)及 Chen(1 994)的一些结果得到推广 .     

矩阵方程AX=B的双反对称最佳逼近解

本文主要讨论下而两个问题并得到相关结果:问题Ⅰ:给定A ∈ R~(k×n),B ∈ R~(k×n),求X ∈ BASR~(n×n),使得AX=B.问题Ⅱ:给定X* ∈R~(n×n),求X使得‖X-X~*‖=minX∈S_E‖X-X~*‖,其中S_E是问题Ⅰ的解集合,‖·‖是Frobenius范数.通过对上述问题的讨论给出了问题Ⅰ解存在的充分必要条件和其解的一般表达式同时给出了问题Ⅱ的解,算法,和数值例子.     

基样条与整函数的极限性质

本文证明了‖smf-f‖ p→ 0 ( m→∞ )的必要条件是 f∈ Bπ,p,其中 Bπ,p=Bπ∩ Lp( R) ,Bπ表示指数 π型的整函数在R上限制是有界函数所构成的集合 ,smf 是在整数点对 f 插值的唯一确定的 m-1次基样条 .最终得到了关于整函数的一个等价刻划     

一类反对称正交反对称矩阵逆特征值问题

设P为一给定的对称正交矩阵,记AARnP={A∈Rn×n‖AT=-A,(PA)T=-PA}.讨论了下列问题:问题给定X∈Cn×m,Λ=diag(λ1,λ2,…,λm).求A∈AARPn使AX=XΛ.问题设A~∈Rn×n,求A*∈SE使‖A~-A*‖=infA∈SE‖A~-A‖,其中SE为问题的解集合,‖.‖表示Frobenius范数.研究了AARPn中元素的通式,给出了问题解的一般表达式,证明了问题存在唯一逼近解A*,且得到了此解的具体表达式.     

具误差隐格式迭代逼近严格伪压缩映像族公共不动点

设K是实Banach空间E中非空闭凸集, {Ti}i=1N是N个具公共不动点集F的严格伪压缩映像, {an}(?)[0,1]是实数列, {un}(?)K是序列,且满足下面条件设X0∈K,{xn}由下式定义xn=αnxn-1 (1-αn)Tnxn-un-1,n≥1其中Tn=TnmodN,则有下面结论(i)limn→∞‖xn-p‖存在,对所有P∈F; (ii)limn→∞d(xn,F)存在,当d(xn,F)=infp∈F‖xn-p‖; (iii)liminfn→∞‖xn-Tnxn‖=0．文中另一个结果是,如果{xn}(?){1-2-n,1},则{xn}收敛．文中结果改进与扩展了Osilike(2004)最近的结果,证明方法也不同．     

基样条插值的极限性质

本文证明了当m→∞时‖s^(k)mf-f^(k)‖p→0（1＜p＜∞,k=0,1,2）的充要条件是f∈Bπ,p,其中Bπ,p＝Bπ∩Lp(R),Bπ表示指数π型的整函数在R上限制为有界函数所构成的集合,而Smf是在整数点对f 插值的唯一确定的m-1次基样条,进而得一了函数类Bπ,p的三个等价的特征刻划。     

关于Szász算子的强逆不等式

In this paper,we obtain the strong converse inequality for Szász operators with K-functional by introducing a new K-functional of the form Kαλ(f,t2) = infg∈C2λ{‖f-g‖0 t2‖g‖2}(0≤λ≤1,0＜α＜2),where ‖·‖0,‖·‖2,C2λ are defined in the paper.As for its applications,we have extended some results before this paper.