矩阵方程A~TXA=D的双对称最小二乘解

１．引 言 本文用 Ｒｎ×ｍ表示全体 ｎ×ｍ实矩阵集合，用 ＳＲｎ×ｎ（ＳＲ０ｎ×ｎ）表示全体 ｎ× ｎ实对称（实对称半正定）矩阵集合，ＯＲｎ×ｎ表示全体 ｎ× ｎ实正交矩阵集合，ＢＳＲｎ×ｎ表示全体ｎ×ｎ双对称实矩阵集合．这里，一个实对称矩阵Ａ＝（ａｉｊ）ｎ×ｎ被称为双对称矩阵，如果对所有的 　　　　　　　 　　　　　　　　　　　　　　　用Ａ×Ｂ表示矩阵 Ａ与 Ｂ的Ｈａｄａｍａｒｄ乘积，Ｉｋ表示 ｋ× ｋ阶单位矩阵，Ｏ表示零矩阵，Ｓｋ＝（ｅｋ，…，ｅ２，ｅ１）∈ Ｒｋ×ｋ，其中ｅｉ表示Ｉｋ的第ｉ列． 矩阵方程…     

单位球上线性不变族的偏差定理

若Ｓ为 ｎ中的单位球Ｂｎ上的线性不变族，ｆ∈Ｓ，本文给出Ｔｒ（Ｊｆ（ｚ）Ｊｆ（ｚ））的估计，这里Ｊｆ（ｚ）为ｆ的Ｊａｃｏｂｉ矩阵，也给出了ｄｅｔ（Ｊｆ（ｚ）Ｊｆ（ｚ））的估计的一个新证明．若Ｓ为Ｂｎ上的正规化双全纯凸映照，ｆ∈Ｓ；还给出了ｆ的共变导数的估计．     

厄米特矩阵的迹的几点性质

应用矩阵Ａ＝（ａｉｊ）∈Ｃｎ×ｎ的弗罗伯尼范数ＡＦ和谱范数ＡＳ，研究厄米特矩阵的迹的性质，得到几个结论：Ｔｒ（ＡＢ）＝∑ｎｉ＝１λｉ∑ｎｊ＝１ｔｉｊμｊ（λｉ，μｊ分别为Ａ，Ｂ的特征值，０≤ｔｉｊ≤１，且∑ｎｉ＝１ｔｉｊ＝１，ｊ＝１，２，…，ｎ）；Ｔｒ（ＡＢ）≤Ｔｒ（Ａ）ＢＳ；Ｔｒ（ＡＢ）Ｈ（ＡＢ）］≤Ｔｒ（ＡＨＡ）［ｍａｘ１≤ｉ≤ｎλｉ］２（λｉ是Ｂ的特征值）等．     

恰含d个非零对角元的本原矩阵的广义最大密度指数集

设Ａ是一个具有周期ｐ的ｎ×ｎ不可约布尔矩阵,文［１］定义了矩阵的广义最大密度指数ｈＡ（ｋ）令ＤＩＳｎ,ｄ（ｋ）＝｛ｈＡ（ｋ）｜ Ａ ＰＭｎ（ｄ）｝,其中ＰＭｎ（ｄ）是所有恰含ｄ个非零对角元的ｎ×ｎ本原矩阵的集合．本文证明了另外,我们定义矩阵Ａ的范数,用Ａ表示,为Ａ中１的个数,并且刻划了具有最小范数的极矩阵．     

带振荡系数的Kloosterman和

ａ，ｑ为正整数，且（ａ，ｑ）＝１，μ（ｎ）为Ｍｂｉｕｓ函数，带系数μ（ｎ）的不完整Ｋｌｏｏｓｔｅｒｍａｎ和定义为Ｓ（Ｎ，ａ，ｑ）＝∑ｎＮｎｎ≡１（ｍｏｄｑ）μ（ｎ）δｑ（ｎ）ｅａｎｑ，其中δｑ（ｎ）＝１如果（ｎ，ｑ）＝１，否则δｑ（ｎ）＝０本文建立如下较为精确的上界估计Ｓ（Ｎ，ａ，ｑ）Ｎｄ（ｑ）ｌｏｇ５２Ｎｑ１２＋ｑ１５ｌｏｇ１３５ＮＮ１５｛｝这个结果进一步改进了Ｈａｊｅｌａ，Ｐｏｌｉｎｇｔｏｎ以及Ｓｍｉｔｈ以前的工作     

除环上矩阵的保逆线性算子

除环上矩阵的保逆线性算子曹重光（黑龙江大学数学系，哈尔滨１５００８０）关键词除环，逆矩阵，线性算子．分类号ＡＭＳ（１９９１）１５Ａ０４，１５Ａ３３／ＣＣＬＯ１５１．２１设Ｒ是一个除环，Ｆ为其中心域，又设ｃｈａｒＲ≠２，３；Ｗ＿ｎ（Ｒ）及Ｓ＿ｎ（Ｒ）分...     

关于《矩阵正定性的进一步推广》一文的注记

关于《矩阵正定性的进一步推广》一文的注记黎奇升（湖南吉首大学数学系，吉首４１６０００）文［１］给出了下面定义并讨论了它们的一些性质．定义　设Ａ∈Ｒ￣（ｎ×ｎ），若对任何０≠Ｘ∈Ｒ￣（ｎ×１），都有正定矩阵Ｓ＝Ｓｘ，使Ｘ￣ＴＳｘＡＸ＞０，则称Ａ为广义正...     

对称本原矩阵指数集的刻画

设Ｓｎ表示由全体ｎ阶对称本原（０，１）－矩所构成的集合，并设Ｓ（ｎ，ｄ）＝｛Ａ∈Ｓｎ│Ａ的伴随有向图中的最小奇圈之长为ｄ≥１｝。本文证明了：Ｓ（ｎ，ｄ）的本原指数集为｛ｄ－１，ｄ，…，２ｎ－ｄ－１｝＼Ｄ，其中Ｄ为｛ｎ－ｄ＋１，ｎ－ｄ＋２，…，２ｎ－ｄ－２｝中的所有奇数与０之并集，同时，我们也给出了Ｓ（ｎ，ｄ）中指数达到上界的矩阵集合的完全刻画。     

复合算子的次正常性

设（Ｓ，∑，μ）为一个σ－有限的测度空间，ｇ是从Ｓ到Ｓ使得复合算子Ｃｇ为有界算子的映射．本文证明了以下三个条件等价：１）Ｃｇ为Ｌ２（Ｓ，∑，μ）上的次正常算子；２）对所有自然数ｎ及几乎所有ｘ∈Ｓ，３）对几乎所有ｘ∈Ｓ，存在（０，‖Ｃｇ‖）上的概率测度μｘ使得     

最大公因数矩阵的行列式

设Ｓ＝｛ｘ１，ｘ２，…，ｘｎ）是含ｎ个不同正整数的集合，（Ｓ）表示定义在Ｓ上的最大公因数矩阵，本文证明了且等号成立当且仅当Ｓ是最大公因数封闭集．     

带Hardy空间函数核的Marcinkiewicz积分的L~p有界性

本文证明了一类分别相应于 Ｌｉｔｔｌｅｗｏｏｄ－Ｐａｌｅｇ ｇ函数, 函数和面积积分Ｓ的 Ｍａｒｃｉｎｋｉｅｗｉｃｚ积分算子,μΩ,μ~*Ω,λ和μΩ,ｓ的 Ｌ~p（Ｒ~n）有界性．其中核函数Ω∈Ｈ~１（Ｓ（ｎ－１））这里Ｈ~１（Ｓ（ｎ－１））记Ｒ~ｎ（ｎ ≤２）中的单位球面 Ｈａｒｄｒ空间．本文结果是已知结果的本质改进和推广．     

带Hardy空间函数核的Marcinkiewicz积分的L~p有界性

本文证明了一类分别相应于 Ｌｉｔｔｌｅｗｏｏｄ－Ｐａｌｅｇ ｇ函数, 函数和面积积分Ｓ的 Ｍａｒｃｉｎｋｉｅｗｉｃｚ积分算子,μΩ,μ~*Ω,λ和μΩ,ｓ的 Ｌ~p（Ｒ~n）有界性．其中核函数Ω∈Ｈ~１（Ｓ（ｎ－１））这里Ｈ~１（Ｓ（ｎ－１））记Ｒ~ｎ（ｎ ≤２）中的单位球面 Ｈａｒｄｒ空间．本文结果是已知结果的本质改进和推广．     

复合等差(比)数列的通项公式及其应用

我们看两类函数（１）｛ａｆ（ｎ）｝　（ｎ＝１,２,…）（２）｛ｆ（ａｎ）｝　（ｎ＝１,２,…）如果数列（１）、（２）是等差（比）数列,那么我们把它们称为复合等差（比）数列．于是,ａｆ（ｎ）＝ａｆ（１）＋（ｎ－１）ｄ或ａｆ（ｎ）＝ａｆ（１）ｑｎ－１．例１　数列｛ａｎ｝满足２Ｓ２ｎ＝２ａｎＳｎ－ａｎ（ｎ≥２）,ａ１＝２,求ａｎ及Ｓｎ．解　将ａｎ＝Ｓｎ－Ｓｎ－１（ｎ≥１）代入等式,得　　　　２ＳｎＳｎ－１＝Ｓｎ－１－Ｓｎ．因为ａ１＝２≠０,故Ｓｎ≠０,上式可变为１Ｓｎ－１Ｓｎ－１＝２,∴　数列｛１Ｓｎ…     

关于一类几何极值问题

设平面上边长为１和２的闭矩形区域为Ｒ，Ｓ是Ｒ上一个有限点集，ｆ（Ｓ）是Ｓ中任意两点之间的最小距离，ｆＲ（ｎ）＝ｍａｘｆ（Ｓ），本文给出了当２≤ｎ≤６时，ｆＲ（ｎ）的精确值以及相应的图形．     

交换主理想整环上立方幂等矩阵的线性保持

设Ｒ（≠Ｆ_３）是特征不为２的交换主理想整环,Ｍ_ｎ（Ｒ）定义Ｒ上的ｎ×ｎ矩阵模,本文刻划当ｎ≥ｍ时从Ｍ_ｎ（Ｒ）到Ｍ_ｎ（Ｒ）的保持立方幂等矩阵的线性映射的形式,由此推广了Ｃｈａｎ和Ｌｉｍ的一个结果（［１,定理３］）．     

关于Jacobi矩阵逆特征值问题的扰动分析

１预备 若不特别说明,本文沿用［６］中记号． Ｈｏｃｈｓｔａｄｔ于１９６７年提出如下问题［１］： 问题Ⅰ　给定两组实数｛λ｝ｎｊ＝１＝１和｛μ｝ｎ＝１ｉ＝１,满足构造一个ｎ阶实对称三对角矩阵Ｊｎ,使得λ１,…λｎ为人的特征值,而Ｊｎ－１阶顺序主子阵的特征值为μ１,…,μｎ－１． 问题Ⅱ　给定一组实数｛λｊ｝ｎｊ＝１,满足构造一个ｎ阶全对称三对角矩阵Ｊｎ（ｓ）,使得Ｊｎ（ｓ）的特征值为λ１,λ２,…λｎ． ｄｅ Ｂｏｏｒ和Ｇｏｌｕｂ［４］提出如下问题： 问题Ⅲ　给定两组实数满足构造ｎ阶实对称三对角矩阵Ｊ…     

关于超曲面上测度的Fourier交换的零点

设Ｓ是Ｅｕｃｌｉｄ空间Ｒ＾ｎ（ｎ≥２）中一个紧闭光滑超曲面，它关于原点中心对称，其Ｇａｕｓｓ曲率处处非零，设ｄμ是Ｓ上一个光滑正测度，ｄμ是其Ｆｏｕｒｉｅｒ变换，本文证明，ｄμ的零点集是一个紧集与可列多个微分同胚于单位球面的超曲面之无交并。     

任意m值随机变量序列与独立序列的比较及其极限性质

设｛Ｘｎ，ｎ≥１｝是在Ｓ＝｛１，２，…，ｍ｝中取值的随机变量序列，其联合分布为ｐ（ｘ１，…，ｘｎ），（ｐ１１，ｐ１２，…，ｐ１ｍ）（ｉ＝１，２，…）是Ｓ上的一列分布，ｋ∈Ｓ，Ｓｎ（ｋ，ω）是ｋ在序列Ｘ１（ω），Ｘｎ（ω）中出现的次数。ψｎ（ω）＝∑＾ｎｉ＝１ｌｏｇｐｉｘｉ－ｌｏｇｐ（Ｘ１，…，Ｘｎ）称为（Ｘｉ，１≤ｉ≤ｎ）相对于乘积分布∏＾ｎｉ＝１ｐｉｘｉ的对数似然比，Ｓｎ（ｋ，ω）－∑＾ｎｉ＝１     

粗糙核分数次振荡积分算子的加权有界性

本文给出了一类带粗糙核的分数次振荡积分算子Ｔμ，Ｔμｆ（ｘ）＝∫ＲｎｅｉＰ（ｘ，ｙ）Ω（ｘ－ｙ）｜ｘ－ｙ｜ｎ－μｈ（｜ｘ－ｙ｜）ｆ（ｙ）ｄｙ的加权Ｌｐ（Ｒｎ）有界性．这里Ｐ（ｘ，ｙ）是Ｒｎ×Ｒｎ上非平凡的实多项式，Ω∈Ｌｑ（Ｓｎ－１）为零阶齐次函数，且ｈ（ｒ）∈ＢＶ（Ｒ＋）．作为推论，证明了Ｔμ和ＢＭＯ函数形成的高阶交换子Ｔμ，ｂ，Ｔμ，ｂｆ（ｘ）＝∫ＲｎｅｉＰ（ｘ，ｙ）Ω（ｘ－ｙ）｜ｘ－ｙ｜ｎ－μｈ（｜ｘ－ｙ｜）［ｂ（ｘ）－ｂ（ｙ）］ｍｆ（ｙ）ｄｙ也是加权Ｌｐ（Ｒｎ）有界的，其中ｂ（ｘ）∈ＢＭＯ（Ｒｎ），ｍ∈Ｚ＋     

PID环上矩阵模的保秩1映射及应用

设Ｒ为含１主理想整环（简记为ＰＩＤ），本文刻划了矩阵模Ｍｎ（Ｒ）上保秩１线性映射的形式；作为其应用，给出了域上矩阵空间的保线性群及Ｍｎ（Ｒ）上保非零行列线性映射的形式，即它们为：Ｔ（Ｘ）＝ＰＸＱ，Ａ↑Ｘ∈Ｍｎ（Ｒ），或Ｔ（Ｘ）＝ＰＸｔＱ，Ａ↑Ｘ∈Ｍｎ（Ｒ）。其中ｄｅｔ（ＰＱ）≠０。