自然数方幂和的一个性质的证明

自然数方幂和的一个性质的证明湖南浏阳十一中刘会成令Ｓｋ（ｎ）＝１ｋ＋２ｋ＋…＋ｎｋ（ｋ≥０，ｋ∈Ｚ）．文［１］，［２］，［３］均提到下面一个性质：Ｓ２ｋ（Ｎ）＝Ｓ２（ｎ）Ｐ２（ｎ）（ｉ）Ｓ２ｋ＋１（ｎ）＝Ｓ２１（ｎ）Ｐ１（ｎ）（ｉｉ）其中ｋ为自然数，...     

ERDS-RE''''NYI大数律下自正则的效用

｛Ｘ，Ｘｉ，ｉ≥１｝是ｉ．ｉ．ｄ．ｒ．ｖ′．ｓ．在矩母函数存在的条件下，由古典的Ｅｒｄｏｓ－Ｒéｎｙｉ大数律有ｌｉｍｎ→∞ｍａｘ０≤ｋ≤ｎ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘｉ［ｃｌｏｇｎ］＝α（ｃ），α（ｃ）为某常数．自正则下ＭｉｋｌóｓＣｓｏｒｇｏ＆ＳｈａｏＱｉｍａｎ（１９９４）在仅要求一阶矩的条件下就得到了：ｌｉｍｎ→∞ｍａｘ０≤ｋ≤ｎ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘｉ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１（Ｘ２ｉ＋１）＝β（ｃ），β（ｃ）为某常数．众所周知，自正则下人们往往在较弱条件下取得相应结果是因为：分母中的Ｘ能有效抵销分子中Ｘ较大而引起整个分式极限行为的波动．因此，在什么样的条件下，式ｍａｘ０≤ｋ≤ｎ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘｉ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘ２ｉ１－β［ｃｌｏｇｎ］β→ｒ（ｃ）成为非常有意思的问题，因为它将依赖于β的大小．本文给出，当０＜β≤１２时，只要Ｅ（Ｘ）≥０，上式就有有限极限．当１２＜β＜１时，则必须在矩母函数存在下，上式才有有限极限．并都求出了其极限表达式．     

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

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

一类双对称矩阵反问题的最小二乘解

１．问题的提出近年来,对于矩阵反问题ＡＸ＝Ｂ的研究已取得了一系列的结果［１］,获得了解存在的条件,但由于实际问题中Ｘ,Ｂ由实验给出,很难保证满足解存在的条件,因此研究问题的最小二乘解是有实际意义的．本文就结构设计中用到的一类双对称矩阵的最小二乘问题进行探讨．令Ｒ~(ｎ×ｍ)表示所有ｎ×ｍ阶实矩阵集合,Ｒ~n=Ｒ~(n×1)　表示其中秩为ｒ的子集;ＯＲ~（ｎ×ｎ）　表示所有ｎ阶正交阵之集;Ａ~（ ）表示矩阵Ａ的Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ广义逆;Ｉ_ｋ表示ｋ阶单位阵;||·||表示Fｒｏｂｅｎｉｕｓ范数;表示ＳＲ~(ｎ…     

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

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

线性流形上双对称阵逆特征值问题

１．引言 令Ｒ表示所有ｎ×ｍ阶实对称阵集合,Ｒ＝Ｒ,Ｒ表示Ｒ中秩为ｒ的子集; ＯＲ是ｎ阶正交阵之集; Ａ＋表示Ａ的Ｍｏｏｒｓ－ｐｅｎｒｏｓｅ广义逆;Ｉｋ表示ｋ阶单位阵; ＳＲ表示 ｎ×ｎ表示ｎ阶实对称阵的全体; Ｒ（Ａ）表示 Ａ的列空间; Ｎ（Ａ）表示 Ａ的零空间; ｒａｎｋ（Ａ）表示 Ａ的秩,对 Ａ＝（ａｉｊ）, Ｂ＝（ｂｉｊ） Ｒ, Ａ＊ Ｂ表示 Ａ与 Ｂ的 Ｈａｄａｍａｒｄ乘积,其定义为 Ａ＊ Ｂ＝（ａｉｊ　ｂｉｊ）,并且定义 Ａ与 Ｂ的内积为（Ａ,Ｂ）＝ｔ,（ＢＡ）,由此内积导出的范数为（Ａ,Ａ）＝（ｔ,（Ａ…     

基于校正函数的一类具三角结构的非线性系统的自适应控制

１引言 考虑如下的具有二角结构的作线性系统ＬＰＴＳ（ｌｉｎｅａｒｌｙ　ｐａｒａｍｅｔｅｒｉｚｅｄ ｔｒｉａｎｇｕｌａｒｓｔｒｕｃｔｕｒｅ）．其中ｘ＝（ｘ１,．……ｘｎ）Ｔ０∈Ｒｎ为系统的状态,ｕ∈Ｒ为控制输入,θ∈Ｒｐ为未知常值参数向量,γｉ０及γｉ′,β′（ｘ）β０为已知的光滑非线性函数,γｉ０（０）＝０,γｉ′（０）＝０,β０（０）≠０;（ｉ＝１,…,ｎ）,对这样的系统,Ｄ．Ｓｅｔｏ,Ａ．Ｍ．Ａｎｎａｓｗａｍｙ和Ｊ．Ｂａｉｌｌｉｅｕｌ在［１］中进行了讨论,但是他们对同一参数用了多个估计,使得系…     

Lavoie不等式的改进

设为ｍ×ｎ复数阵，Ａ．为ｍｉ×ｎ阵，记Ｂ＝其中表示Ａｉ的Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ广义逆。Ｌａｖｏｉｅ［１］证明了不等式：０≤ｄｅｔＡＢ≤１．本文的目的是对这个不等式作进一步改进。     

体上右线性方程组的反问题

设Ｆ，Ｋ，Ω分别表示一个任意的体、一个具有对合反自同构的体和一个实四元数体，Ｆ^ｎ表示Ｆ上的ｎ维右向量空间．本文推广和改进了实线性方程组的反问题及一系列结果，解决了Ｆ上右线性方程组更具一般性的反问题（简称ＩＰＳ）：给定ｂ∈Ｆ^s和α_ｉ∈Ｆ^ｎ（ｉ＝１，…，ｍ≤ｎ）满足ｒａｎｋ［α₁，…，α_m］＝ｍ，求所有的ｓ×ｎ矩阵Ａ使Ａα_ｉ＝ｂ（ｉ＝１，…，ｍ）．当ｓ＝ｎ时     

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

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

An algebraic certificate for Budan’s theorem

The existing algorithms to construct the real closure of an ordered field involve very high complexities. These algorithms are based on Sturm’s theorem which we suspect to be one reason for the complexities since all known proofs of Sturm’s theorem use Rolle’s theorem which is problematic in a constructive context.Therefore we propose to replace the use of Sturm’s theorem by Budan’s theorem. In this paper we present as a first step in this direction an algebraic certificate for Budan’s theorem. An algebraic certificate is a certain kind of proof of a statement. In particular, it is an algorithm which produces, from an arbitrary data in the premise of the statement, explicit (in)equalities which express the conclusion.     

关于Fuzzy度量点式刻画的一点注记

本文中重新定义由一个点式Ｆｕｚｚｙｐ．ｑ．度量ｄ所诱导的Ｆｕｚｚｙｐ．ｑ．度量｛Ｄｒ｜ｒ＞０｝（代替［１］中的相关重域映射族）．在新的定义下，点式Ｆｕｚｚｙｐ．ｑ．（ｐ．）度量与Ｆｕｚｚｙｐ．ｐ．（ｐ．）度量之间有令人满意的──对应关系．     

AHP在师范院校毕业生质量评价中的应用

陶凤梅，杨启昌．ＡＨＰ在师范院校毕业生质量评价中的应用．数理统计与管理，１９９８，１７（４），４～９．本文介绍了运用带概率条件的层次分析法确定师范院校毕业生质量综合评价中各评价指标重要度的方法，建立了师范院校毕业生质量综合评价层次结构     

Evaluations of Parameters for the Optimization of S.S.O.R. and A.D.I. Preconditioning

The main goal of this paper is to give two ways to estimate the needed parameters in order to obtain the condition number of S.S.O.R. preconditioned matrices, namely, the algebraic matricial formulation of convexity Riesz theorem and the tridiagonal Fourier analysis. The improvement with respect to Axelsson's approach is explicitly given. Estimations of the condition number in the case of A.D.I. preconditioning is also considered.     

关于图的导出森林独立系统

本文研究图的导出森林独立系统.在这个独立系统中,独立集是指导出子图不含圈的点子集.文中证明了图G的导出森林独立系统是拟阵当且仅当G是块森林.文中同时给出了在强弦图上求最大导出森林的多项式算法.     

一类非拟Newton算法及其收敛性

本文对求解无约束最优化问题提出一类非拟Ｎｅｗｔｏｎ算法，此方法同样具有二次终止性，产生的矩阵序列保持正定对称传递性，并证明了新类中的任何一种算法的全局收敛和超线性收敛性。     

A Geometrical Proof of Shiota's Theorem on a Conjecture of S. P. Novikov

We give a new proof of Shiota's theorem on Novikov's consecture, which states that the K.P. equation characters Jacobians among all indecomposable principally polarized abelian varieties.     

二阶Melnikov函数及其应用

在Ｍｅｌｎｉｋｏｖ函数的种种应用中，目前常见到的仅是一阶形式。本文具体推导了二阶Ｍｅｌｎｉｋｏｖ函数的分析表达，提出了临界情况下考察双曲鞍点的稳定流形与不稳定流形相对位置的二阶判据，并成功地用于环面ｖａｎｄｅｒＰｏｌ方程的研究中。