一四元数矩阵方程组的广义(反)反射解

该文给出了四元数矩阵方程组X_1B_1=C_1,X_2B_2=C2,A_1X_1B_3+A_2X_2B_4=C_b可解的充要条件及其通解的表达式,利用此结果建立了四元数矩阵方程组XB_a=C_a,A_bXB_b=C_b有广义(反)反射解的充要条件及其有此种解时通解的表达式.     

含分数逆幂的矩阵方程对称自反解的双迭代算法

<正>1引言含分数逆幂的矩阵方程在控制理论、梯形网络和动态规划等领域中有重要的应用~([1-3]).考虑有代表性的一类含分数逆幂的双变量矩阵方程A_1X_1B_1+A_2X_2B_2+E_1X_1~(-1/2)F_1+E_2X_2~(-2/3)F_2=G,(1)其中A_i,B_i,E_i,F_i,X_i,G∈R~(n×n)(i=1,2).替换方程(1)中的X_1~(1/2)为X_1,X_2~(1/3)为X_2可得A_1X_1~2B_1+A_2X_2~3B_2+E_1X_1~(-1)F_1+E_2X_2~(-2)F_2=G.(2)近年来,人们对这种类型的非线性矩阵方程进行了许多研究,并建立了一些有效的算法.例如,Li J等~([1])研究了方程X-A~HX~(-p)A=Q唯一正定解的存在性问题,并给出了方     

利用矩阵的初等行变换求解一般线性方程组

本文介绍一种利用矩阵的初等行变换(以下简称行变换)求解一般线性方程组A_(mn)X_(n1)=B_(m1),其中A_(mn)=(a_(ij)),X_(n1)=(x_1x_2…x_n)~T,B=(b_1b_2…b_n)~T(1)的方法,这种方法通过适当的初等行变换,使得它的一个特解及它的导出组A_(mn)X_(n1)=O_(m1) (2)的基础解系都巧妙地蕴含在同一个矩阵中,即可直接写出它们的通解.实践证明,该方法简单易行,与传统的方法相比,能达到事半功倍的效果.     

用矩阵的初等行变换解矩阵方程X_(m×n)A_(n×s)=B_(m×s)

设矩阵方程为X_(m×n)A_(n×s)=B_(m×s) (1)本文运用矩阵的初等行变换给出了解矩阵方程(1)的一个简便方法。对于矩阵方程(1),我们给出了下面的定理1 矩阵方程(1)有解的充要条件是     

子矩阵约束下矩阵方程组的双对称最小二乘解

矩阵方程组l∑j=1在控制与系统领域中具有广泛应用.该文构造了一种算法求解这个矩阵方程组,其中X_j∈R~(n_j×n_j)(j=1,2,…,l)为带有特殊中心主子矩阵约束的双对称矩阵.在没有舍入误差的情况下,该算法经过有限步迭代得到[X_1,X_2,…,X_l],使得t∑i=1||l∑j=1A_(ij)X_jB_(ij)-C_i||=min.实例表明这种方法是有效的.     

非齐次常系数线性微分方程组的解的拓扑分类

<正> 把(2)的积分曲线族记为{A,B}.若存在 R~n 到自身的拓扑变换(?),把{A_1,B_1)中的积分曲线变为{A_2,B_2)中的积分曲线,则称{A_1,B_1)与{A_2,B_2}拓扑等价,记为{A_1,B_1)～{A_2,B_2).当 B=0时,即对齐次常系数线性微分方程组,Kuiper 完全解决了它们的积分曲线族的拓扑分类.     

平面束的方程

关于平面束的方程,有些通用教材的讲述似有不完善之处,今提出来向大家请教.例如,有教材一方面说“通过定直线的所有平面的全体称为平面束”;另一方面又说“方程A_1x B_1y C_1z D_1十 λ(A_2x B_2y C_2z D_2)=0(其中λ为任意常数)称为通过直线L:A_1x B_1y C_1z D_1=0A_2x B_2y C_2z D_2=0 (A_1:B_1:C_1≠A_2:B_2:C_2)的平面束方程.”     

三角形全等(上)

<正>定义△ABC与△A_1B_1C_1中,若AB=A_1B_1,BC=B_1C_1,CA=C_1A_1,∠ABC=∠A_1B_1C_1,∠BCA=∠B_1C_1A_1,∠CAB=∠C_1A_1B_1.则称△ABC与△A_1B_1C_1合同(全等),△ABC与△A_1B_1C_1全等,记为△ABC≌△A_1B_1C_1.两个三角形全等的判定:三角形全等的判定定理1如果一个三角形的两边和夹角,与另一个三角形的两边和夹角对应相等,则这两个三角形全等.简记为     

等积变形与面积证题(三)

<正>一般说来,若Δ=Δ_1+Δ_2+…+Δ_n称为一个面积方程.如例1中,就是从面积方程S(△ABC)=S(△APB)+S(△BPC)+S(△CPA)入手的.1.若S(△ABC)=S(△A_1B_1C_1),这样1/2AB·h_c=1/2A_1B_1h_(c1).当AB=A_1B_1,则有h_c=h_(c1);当h_c=h_(c1),则有AB=A_1B_1.利用上述关系可以证明线段的相等.     

由非顺序主子阵和缺损广义特征对构造对称三对角矩阵

本文讨论形如A_nX=λC_nX的方程,其中A_n是一个对称三对角矩阵,C_n是一个对角矩阵.对矩阵A_n进行3×3分块,给定A_n的一个非顺序主子阵A_(r+1,r+s),给定C_n和四个向量X_1=(x_1,…,x_r)',X_3=(x_(r+s+1),…,x_n)',Y_1=(y_1,…,y_r)',Y_3=(y_(r+s+1),…,y_n)'和两个不同实数λ,μ,构造一个对称三对角矩阵A_n和两个向量X_2=(x_(r+1),…,x_(r+s))',Y_2=(y_(r+1),…,y_(r+s))',满足A_nX=λC_nX和A_nY=μC_nY,其中X=(X_1',X_2',X_3')',Y=(Y_1',Y_2',Y_3')'.本文给出问题有解的条件,解的表达式和相应算法,并给出数值算例验证算法的有效性.     

关於高維射影空間共軛网論的研究(Ⅱ)

<正> 本文是继前文[1]来討論n維射影空間S_n(n≥4)的共軛网有关的一些性貭,特別是第k类共軛和調和性貭.我們已經闡明,当k=1时,这些性貭变为普通共軛性貭和調和性貭.这里,很自然地发生一个問題:当一个拉普拉斯叙列{…X_3X_1X_2X_4…}是另一个拉普拉斯叙列{…A_3A_1A_2A_4…}的第k类內接叙列吋,能不能在这两个之間嵌入k-1个(k>1)拉普拉斯叙列{…A_3~((h))A_1~((h))A_2~((h))A_4~((h))…}(h=1,2,…,k-1),使一个內接着一个而且最后的一个內接于{…A_3A_1A_2A_4…}呢?我們将証明,問題中的嵌入完全可能,这     

区间H—矩阵的稳定性

动态系统K=AX,X(t_0)=X_0,若系数矩阵A为区间H-矩阵,则当A_(ii)<0时,系数矩阵A是稳定的。本文证明了这个命题并举例说明,对[1]的结果作了扩展,且方法简便。     

五角星中的Menelaus型定理的简证及推广

本刊1993年第12期朱道勋先生翻译介绍了五角星中的Menelaus型定理: 定理 如图1,如果A_1B_1A_2B_2A_3B_3A_4B_4A_5B_5是一个五角星,则     

解二元二次方程组的通法

对于一般的二元二次方程组A_1x~2+B_1xy+C_1y~2+D_1x+E_1y+F_1=0,A_2x~2+B_2xy+C_2y~2+D_2x+E_2y+F_2=0。可以写成下列形式 A_1x~2+(B_1y+D_1)x+ A_2x~2+(B_2y+D_2)x+ (C_1y~2+E_1y+F_1)=0 (1) (C_2y~2+E_2y+F_2)=0 (2)也可以把它写成y的降幂排列形式,如果把x~2、x作为两个未知数,那么解此二元一次方程组,有     

线性子空间上求解矩阵方程组A_1XB_1=C_1,A_2XB_2=C_2的迭代算法

应用共轭梯度方法,结合线性投影算子,给出迭代算法求解了线性矩阵方程组A_1XB_1=C_1,A_2XB_2=C_2在任意线性子空间上的约束解及其最佳逼近.当矩阵方程组A_1XB_1=C_1,A_2XB_2=C_2相容时,可以证明,所给迭代算法经过有限步迭代可得到矩阵方程组的约束解、极小范数解和最佳逼近.文中的数值例子证实了该算法的有效性.     

解广义特征值反问题的同伦方法

1.引言 我们讨论下列广义特征值反问题: (G)已知B是n×n阶对称半正定矩阵,λ=(λ_1,…,λ_(2n-1))~T∈R~(2n-1),且{λ_i}~(n_3),和{λ_i}_(n+1)~(2n-1)严格交错。问题是欲求一个实对称三对角n×n阶矩阵A,使得λ_1…,λ_n是Ax=λBx的特征值,λ_(n+1),…,λ_(2n-1)是A_(n-1)x=λB_(n-1)x的特征值,其中A_(n-1),B_(n-1)分别是矩阵A,B的前n-1阶主子阵。     

有限辛群Sp(4,11)的Cartan不变量矩阵(英文)

本文计算了B_2型有限辛群Sp(4,11)的Cartan不变量矩阵C=(c_((λμ)~((1)))_(λμ∈X_1(Y)).     

三棱柱中折线的最值问题

<正>问题呈现如图1,在直三棱柱ABC-A_1B_1C_1中,底面为直角三角形,∠ACB=90°,AC=6,BC=CC_1=2(1/2),P是BC_1上一点,则CP+PA_1的最小值是____.讨论经历易知,若A_1、P、C三点在一条直线上时,A_1P+CP最短.连接A_1B,即可将平面A_1C_1B_1沿BC_1翻折,使之与平面BCC_1在同一平面(如图2)。     

三元綫性方程组的图解法

1.引言在工程中常須求解多元綫性方程組,但常用的解法是較煩的,本文試图用图解法来簡化三元綫性方程組的求解,从而有助于更多元的方程組的求解。 2.方法标准型的三元綫性方程組 A_1x B_1y C_1z K_1=0, A_2x B_2y C_2z K_2=0, (1) A_3x B_3y C_3z K_3=0当y的諸系数(或x,z的諸系数)不为零时,     

矩阵方程组A1XB1=C1,A2XB2=C2的相容性与通解

本文推广了R.Penrose关于矩阵方程组AX=C,XB=D的工作,给出了矩阵方程组 A_1XB_1=C_1,A_2XB_2=C_2的相容性条件,给出了通解表达式以及唯一解的充要条件。