C1XD2=F2的反对称解及其最佳逼近

利用迭代方法来解线性矩阵方程组A1XB1+C1XD1=F1,A2XB2+C2XD2=F2.若这个矩阵方程组是相容的,那么它的反对称解就能在有限步迭代中得到.如果选取一个特殊的初始矩阵,就能够求得其最小范数解.若任意给定一个矩阵,可在A1B1+C1D1=F1,A2B2+C2D2=F2中求得它的最佳逼近解.最后通过实例说明了这种迭代算法是有效的.     

求矩阵方程组A1XB1=C1，A2XB2=C2最小二乘对称解及其最佳逼近的迭代法

该文提出了梯度矩阵(F(X))的概念,构造了一种迭代法求最小二乘问题min‖(A1XB1,A2XB2)-(C1,C2)‖的对称解.通过这种方法,给定初始对称矩阵X1,在没有舍入误差的情况下,经过有限步迭代,找到它的一个对称解.并且,通过选择一种特殊的初始对称矩阵,得到它的最小范数对称解X*.另外,给定对称矩阵X0,通过求解最小二乘问题min‖(A1~XB1,A2~XB2)-(~C1,~C2)‖(其中~C1=C1-A1X0B1,~C2=C2-A2X0B2),得到它的最佳逼近对称解.     

一类矩阵方程系统最小Frobenius范数问题的对称解

针对一类矩阵方程系统(A XB,C XD)=(E,F)的最小Frobenius范数问题的对称解提出了一种迭代求解方法,并分析了其相应性质.对于任意的初始对称矩阵,运用此方法经过有限步迭代能得到矩阵方程系统在最小Frobenius范数意义下的一个对称解.如果选取特殊形式的初始对称矩阵还能得到原问题唯一的最小范数对称解.数值仿真说明了此方法的有效性.     

一类矩阵方程系统最小Frobenius范数问题的对称解

针对一类矩阵方程系统(A XB,C XD)=(E,F)的最小Frobenius范数问题的对称解提出了一种迭代求解方法,并分析了其相应性质.对于任意的初始对称矩阵,运用此方法经过有限步迭代能得到矩阵方程系统在最小Frobenius范数意义下的一个对称解.如果选取特殊形式的初始对称矩阵还能得到原问题唯一的最小范数对称解.数值仿真说明了此方法的有效性.     

非线性矩阵方程X~(-1)+A*X~qA=Q的正定解

研究矩阵方程X-1+A*XqA=Q(q≥1)的正定解,给出了存在正定解的一个充分条件,并构造了求解的迭代方法.     

求解非线性矩阵方程X~α+A~*X~(-1)A=Q的免逆迭代算法

非线性矩阵方程Xα+A*X-1A=Q在工程中有着非常重要的应用,其中:A,Q为n维复矩阵,且Q为n维Hermitian正定矩阵.给出了当α≥1时,求解非线性矩阵方程Xα+A*X-1A=Q最大Hermitian正定解的免逆迭代算法,并通过数值举例说明了所给算法的有效性.     

求解非线性矩阵方程Xs+A*X-1A=Q的迭代法

研究非线性矩阵方程X*+A*X-1A=Q,其中A,Q为复数域上的n×n阶矩阵,且Q是正定阵.主要讨论在s≥1,0＜t≤1和0＜s≤1,t≥1两种条件下,该非线性矩阵方程的正定解.并得到了求解该非线性矩阵方程极值解的迭代法.     

关于非线性矩阵方程X+A*X-qA=Q的Hermite正定解

考虑非线性矩阵方程X+A*X-qA=Q,其中A是n阶非奇异复矩阵,Q是n阶hermite正定阵.考虑q∈(0,1]和q∈[1,∞)两种情况下非线性矩阵方程存在正定解(唯一正定解)的充分条件和必要条件,并在最后给出一个获得矩阵方程正定解的迭代序列.     

关于不定方程x~3-1=Dy~2

利用参数法将不定方程x~3-1=Dy~2(D>0)分解成一元一次方程和一元二次方程组成的方程组,对这个方程组的解用参数表示,通过设定此参数的值得到该不定方程的非平凡解.分别讨论D不可约和D可约时,不定方程x~3-1=Dy~2非平凡解的求解方法.     

关于非线性矩阵方程X+A~TX~(-1)A=Q的正定解

考虑非线性矩阵方程X+ATX-1A=Q,其中A是一个实矩阵,AT表示A的转置矩阵,Q是正定矩阵.矩阵方程存在正定解的充分条件和必要条件,这里给出的充要条件能够体现非线性矩阵方程的性质,同时得到了与之相关的新结论.     

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.     

矩阵方程AXB＋CYD=F的通解

利用矩阵的广义逆对于含两个未知矩阵的Ｘ，Ｙ的非齐次矩阵方程ＡＸＢ＋ＣＹＤ＝Ｆ进行了讨论，得到了其通解表达式，此外，还给出了该方程有解的一个充要条件。     

关于丢番图方程y~2=a~2(bx+c)~4+dx~2+ex+f

给出了用初等方法解决一类丢番图方程 y2 =a2 (bx +c ) 4+dx2 +ex +f 的求解问题的判别方法 ,并给出解的范围 ,在 z≠ 1且其取值范围较大时 ,可利用给出的 Pascal程序段 ,求出 z值 .     

矩阵方程X+A~*X~(-)qA=Q当q>1时的Hermite正定解

讨论矩阵方程X+AX?qA=Q在q>1时的Hermite正定解的存在性,并且构造了2种数值求解的迭代方法.利用数值例子对以上结果进行了说明.     

关于Diophantine方程x~3+1=py~2

利用同余理论,得出了丢番图方程x 3+1=py2无正整数解的一个充分条件.设p是奇素数,证明了:当p=3(24k+19)(24k+20)+1,其中k是非负整数,则方程x 3+1=py2无正整数解.     

关于丢番图方程χ3+1=py2

用初等方法证明了当p是奇素数且p=27s2+1,2|s时,则方程x3+1=py2无正整数解.     

关于Diophantine方程x~3+11~3=Dy~2

设D是无平方因子且不能被3或6l+1之型素数整除的正整数,用初等方法讨论了Diophantine方程x 3+113=Dy2整数解的情况,并且给出x<104时方程x3+113=Dy2的所有整数解.     

关于不定方程x~3+1=86y~2

关于不定方程x3+1=86y2是一个未解决的方程,利用递归数列,同余式以及Pell方程的解的性质以及maple的小程序等方法,证明了不定方程x3+1=86y2,仅有整数解(x,y)=(-1,0),(7,±2)。     

关于Legendre方程x~2+ny~2=z~2的研究

讨论了Legendre方程的整数解公式 ,并导出特殊形式下的两个结论     

一个未解决的丢番图方程x~3+1=35_y~2

利用递归数列,同余式这一新方法证明了不定方程x3+1=35y2,仅有整数解(x ,y)=(-1,0)(19,±14).