四元数矩阵方程AX=B的实部半正定解(英文)

一个ｎ×ｎ实四元数矩阵称为实部半正定（或正定）矩阵，如果对于任意的非零ｎ维四元数列向量ｘ，有Ｒｅ［ｘＡｘ］≥０（或＞０）．本文给出了四元数矩阵方程ＡＸ＝Ｂ有实部半正定（或正定）矩阵解的充要条件及其通解的表达式，并给出了四元数分块阵为实部半正定（或正定）矩阵的一个判别法则     

半正定分块矩阵和一个线性矩阵方程及其反问题

一个实的（未必对称）ｎ×ｎ矩阵Ａ称为半正定的，如果对任意非零的ｎ维行向量ｘ，均有ｘＭｘ^t≥０．本文给出了一个分块ｎ×ｎ矩阵为半正定的充要条件．另外，我们讨论了线性矩阵方程ＡＸ＝Ｂ对解附加种种条件下的解．我们应用矩阵在相抵下的标准形给出了这一方程的相容性的充要条件．还给出这个方程的反问题在对解附加各种条件下的解．     

一类强大数定律的推广

设Ｘｎ（ｎ≥０）是在可数集Ｅｎ中取值的随机变量，Ａｎ（ｘ０，…，ｘｎ－１）是定义在Ｅ０×…×Ｅｎ－１上的正值函数，｛φｎ（ｘ），ｎ≥１｝是（－∞，＋∞）上的正值连续偶函数序列，且当｜ｘ｜增加时，φｎ（ｘ）／｜ｘ｜↑，φｎ（ｘ）／ｘ２↓．本文给出了ａ．ｅ．收敛的一个充分条件．所得结果是一类经典强大数定律的推广．证明中发展了第一作者所提出的研究离散随机变量序列强极限定理的分析方法．     

一道加拿大数学竞赛题的推广

1997年加拿大数学公共竞赛有一道题是 :已知 16个正数之和为 10 0 ,平方和为 10 0 0 ,证明这 16个数中没有一个大于 2 5 .本文将推广该题的结论 .首先给出二次函数 ｆ(ｘ) =ｘ2 的一条性质 :对于任意ｎ个实数ｘ1 ,ｘ2 ,… ,ｘｎ,有ｘ21 +ｘ22 +… +ｘ2 ｎｎ ≥ (ｘ1 +ｘ2 +… +ｘｎｎ ) 2 (当且仅当ｘ1 =ｘ2 =… =ｘｎ 时取等号 )①定理　设ｎ(≥ 2 )个实变数ｘｉ(ｉ =1,2 ,… ,ｎ)之和为定值Ａ ,平方和为定值Ｂ ,则ｘｉ(ｉ=1,2 ,… ,ｎ)的取值范围为 :(1)当Ａ2 >ｎＢ时 ,ｘｉ 不存在 ;(2 )当Ａ2 =ｎＢ时 ,ｘｉ=Ａｎ;(3 )当Ａ2 <ｎＢ时 ,Ａ …     

半正定未必对称矩阵的Kronecker 乘积

一个ｎ×ｎ实矩阵Ａ称为半正定，如果对每个ｎ维非零实向量ｘ，均有xAx^T≥0．本文给出了两个半正定，未必对称实矩阵为半正定的充要条件．     

四元数矩阵方程AX=B的实部半正定解

一个n×n实四元数矩阵称为实部半正定(或正定)矩阵，如果对于任意的非零n维四元数列向量x，有Re[x·Ax]≥0(或>0)，本给出了四元数矩阵方程AX=B有实部半正定(或正定)矩阵解的充要条件及其通解的表达式，并给出了四元数分块阵为实部半正定(或正定)矩阵的一个判别法则。     

带粗糙核的多线性振荡奇异积分

本文考虑多线性算子ＴＡｆ（ｘ）＝∫ＲｎｅｉＰ（ｘ，ｙ）Ω（ｘ－ｙ）｜ｘ－ｙ｜ｎ＋ｍＲｍ＋１（Ａ；ｘ，ｙ）ｆ（ｙ）ｄｙ，ｎ２，其中Ｐ（ｘ，ｙ）是Ｒｎ×Ｒｎ中的实值多项式，Ω是零次齐次函数且满足ｍ阶消失性条件，Ｒｍ＋１（Ａ；ｘ，ｙ）＝Ａ（ｘ）－｜α｜ｍＤαＡ（ｙ）（ｘ－ｙ）α，对任何｜α｜＝ｍ，ＤαＡ∈ＢＭＯ（Ｒｎ）．证明了Ω∈Ｌｑ（Ｓｎ－１）且ｑ＞１时，对任何１＜ｐ＜∞，‖ＴＡｆ‖ｐＣ（ｎ，ｍ，ｐ，ｄｅｇＰ）｜α｜＝ｍ‖ＤαＡ‖ＢＭＯ‖ｆ‖ｐ     

加性函数的一个结果的简单证明

以‖ｘ‖表示ｘ与其最近的整数的距离．本文给出了如下结果的一个简化证明：如果一实值加性函数ｆ（ｎ）满足条件‖ｆ（ｎ＋１）─ｆ（ｎ）‖＝Ｏ（１）（ｎ→∞）；则存在一常数Ｃ，使得ｆ（ｎ）—Ｃｌｏｇｎ为整值加性函数．     

短区间上非同构有限Abel群的个数

用算术函数ａ（ｎ）表示ｎ阶非同构Ａｂｅｌ群的个数，令Ａｋ（ｘ）＝∑／ｎ≤ｘ／ａ（ｎ）＝ｋ １，Ａｋ（ｘ；ｈ）＝Ａｋ（ｘ＋ｊ）－Ａｋ（ｘ）。     

一个多线性振荡奇异积分算子

本文建立多线性算子ＴＡ１，Ａ２，…Ａｋｆ（ｘ）＝ｐ．ｖ∫ＲｎｅｉＰ（ｘ，ｙ）Ω（ｘ－ｙ）｜ｘ－ｙ｜ｎ＋Ｍ－ｋｋｊ＝１Ｒｍｊ（Ａｊ；ｘ，ｙ）ｆ（ｙ）ｄｙ，ｎ２，的一个变形的ｓｈａｒｐ估计，其中Ｐ（ｘ，ｙ）是Ｒｎ×Ｒｎ上的实值多项式，Ω是零阶齐性函数且满足某种消失性条件，Ｍ＝∑ｋｊ＝１ｍｊ，Ｒｍｊ（Ａｊ；ｘ，ｙ）表示Ａｊ在ｘ点关于ｙ的ｍｊ阶Ｔａｙｌｏｒ级数余项，对所有满足｜α｜＝ｍｊ－１（ｊ＝１，２，…，ｋ）的指标α，ＤαＡｊ∈ＢＭＯ（Ｒｎ）．作为ｓｈａｒｐ估计的推论，得到了算子ＴＡ１，Ａ２…Ａｋ在Ｌｐ（１＜ｐ＜∞）上的有界性．     

关于次酉矩阵与次镜象矩阵

提出了共轭次转置矩阵、次酉矩阵与次镜象矩阵的概念，对它们的基本性质及其与（反）次Kermite阵的关系进行了深入的研究，获得了一些新的结果，将正交阵的广义Gayley分解推广到了次酉阵上。     

三对角矩阵求逆的快速算法和逆元素的表示式

本文给出了ｎ阶三对角矩阵求逆的快速算法，其四则运算的计算量只要ｎ＾２＋７ｎ－８。同时给出了逆元素的表示式，从而得到逆元素的准确估计，大大拓广和改进了［２］、［３］的结果。     

关于k-广义酉矩阵

本文研究了k-广义酉矩阵的性质及其与酉矩阵、辛矩阵、Householder矩阵之间的联系,取得了许多新的结果,推广了酉矩阵及Householder矩阵的相应结果,特别将正交矩阵的广义Cayley分解推广到了广义酉矩阵上;并将各类酉矩阵及辛矩阵统一了起来.     

拟酉矩阵与拟Hermite矩阵

利用次Hermite矩阵给出了拟酉矩阵与（反）拟Hermite矩阵的概念,研究了它们的基础本性质及其之间的关系,将各类酉矩阵与Hermite矩阵一了起来。     

分块带状矩阵的逆

1引言如果分块矩阵A=(A_(ij))_(n×n)满足A_(ij)=O(j-i＞p且i-j＞q),其中A_(ij)为m阶矩阵,则称A为(p,q)-分块带状矩阵．分块带状矩阵在一些实际问题中经常出现,例如在量子场论中用途很广的非线性Schr(?)dinger方程的差分离散问题,解热传导问题等,都会遇到分块带状矩阵．常见的分块三对角矩阵,分块五对角矩阵都是特殊的分块带状矩阵．采用通常的方法求解分块带状矩阵的逆矩阵时,需要进行O(n~3)次m阶矩阵的运算．本文首先将分块带状矩阵扩充成可逆的分块上(下)三角矩阵,利用其逆矩阵导出了分块带状矩阵的逆矩阵表达式；进而利用所得到的公式分别推导了分块三对角矩阵及分块五对角矩阵的逆矩阵的快速算法,所需运算量为O(n~2)次m阶矩阵的运算．本文的结果扩充了文[1]等关于分块三对角阵求逆的相关结果．     

关于广义对角占优矩阵判别的注记

1 引言 最近,文[4]给出了H-矩阵的若干简捷判据。在此,我们把它的其中两个主要结果作一公共推广,使判别范围放宽。此外,我们还给出不可约矩阵是广义对角占优的一个判别条件。 若没有特别说明,本文所使用的符号与术语皆与[6]同。此外,我们还使用如下符号。 设n为正整数,记     

一类矩阵方程的埃尔米特自反最小二乘解

利用埃尔米特自反矩阵的表示定理和矩阵的拉直方法,研究了矩阵方程$AX+BY=C$的埃尔米特自反最小二乘问题,进一步,给出了方程在埃尔米特自反矩阵集合中可解的充分必要条件,得到解的一般表达式,最后,对任意给定的一对复矩阵,得到了其相关最佳逼近问题解的表达式.     

矩阵方程AX＝B的中心对称解及其最佳逼近

基于一种新的思路,本文将一类约束矩阵方程问题化为无约束矩阵方程问题,从而轻易地获得了简洁且满意的结果.     

定义在广义Gcd—closed集S上的GGCD矩阵和GLCM矩阵的逆

设S＝｛x1,x2,…xn｝是一个由非零整数且|xi|≠|xj≠k.1≤i,j≤n)组合的集合,我们先定义了集S上的广义GCD（GGCD）矩阵和广义LCM（GLCM）矩阵,然后计算了定义在广义gcd-closed集上的GGCD矩阵和CLCM矩阵的逆矩阵。     

EQUISTABILITY OF THE MATRIX DIFFERENTIAL EQUATIONS

１ＩｎｔｒｏｄｕｃｔｉｏｎＩｎ［１］，ｔｈｅｉｄｅａｓｏｆａｇｅｎｅｒａｌｉｚｅｄｍａｔｒｉｘｖａｌｕｅｄｎｏｒｍａｎｄｍａｔｒｉｘＬｙａｐｕｎｏｖｆｕｎｃｔｉｏｎｓｈａｖｅｂｅｎｐｒｏｐｏｓｅｄａｎｄｔｈｅｍａｉｎｃｏｍｐａｉｒｓｏｎｔｈｅｏｒｅ...