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

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

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

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

加权Steiner问题与加权GP猜想

加权Ｓｔｅｉｎｅｒ问题与加权ＧＰ猜想贝清泉（汕头大学数学系，汕头５１５０６３）已给平面上三定点Ａ，Ｂ，Ｃ，求点Ｐ使ＰＡ＋ＰＢ＋ＰＣ极小，这就是古典的Ｓｔｅｉｎｅｒ树问题．如令：ｆ（Ｐ’）一Ｐ’Ａ＋Ｐ’Ｂ＋Ｐ’Ｃ；ｋ＝ｄｒｉｎ什（Ｐ’ｎ＝ｍｉｎＪ＊’Ａ...     

Hilbert模形式与一类Dirichlet级数的特殊值

在文［２］中，Ｗ．Ｋｏｈｎｎ对权为ｋ和ｌ的任意二个歧点型模形式ｆ和ｇ（其变换群是全模群ＳＬ＿２（Ｚ））定义了一类Ｄｉｒｉｃｈｌｅｔ级数Ｌ＿（ｆ，ｇ，ｎ）（ｓ），利用Ｌ＿（ｆ，ｇ；ｎ）（ｓ）（为整数），可构造一个线性映射Ｗ＿ｇ：Ｓ＿ｋ→Ｓ＿（ｋ－ｌ）．并且讨论了Ｌ＿（ｆ，ｇ；ｎ）的一些特征值．在本文中，我们将［２］中的结果推广到Ｈｉｌｂｅｒｔ模形式的情况，并得到类似的结论．     

点可迁图的限制边连通度

设Ｓ是连通图Ｇ的边子集．如果Ｇ－Ｓ不连通而且不含孤立点，那么称Ｓ是Ｇ的一个限制边割，Ｇ中所有限制边割中最小边数称为Ｇ的限制边连通度，记为λ＇（Ｇ）．限制边连通度是对传统边连通度的推广，而且是计算机互连网络容错性的一个重要度量．点可迁图是一类重要的网络模型．本文证明了如下结论： 设 Ｇ是连通的点可迁图．如果 Ｇ的点数ｎ≥ ４，而且点度ｋ≥ ２，那么或者λ＇（Ｇ）＝ ２ｋ－２，或者ｎ是偶数，Ｇ含三角形且存在整数ｍ≥２，使得ｋ≥λ＇（Ｇ）＝ｎ／ｍ≤２ｋ－３．关     

关于平面点集三角剖分的两类子集

给定欧氏平面上的一个点集合Ｓ，我们给出两类端点在Ｓ中的线段集合，第一类线段集合是Ｓ的任一三角剖分的子集，第二类线段集合是Ｓ的任一最小权三解剖分的子集，这两类子集是不相交的，这两类子集合的计算要用Ｏ(n³)时间和Ｏ（ｎ）空间．     

Hibert模形式与一类Dirichlet级数的特殊值

在文（２）中，Ｗ．Ｋｏｈｎｎ对权为Ｋ和Ｌ的任意二个岐点型模形式ｆ和ｇ（其变换群是全模群ＳＬ２（Ｚ）定义了一类Ｄｉｒｉｃｈｌｅｔ级数Ｌｆ，ｇ，ｎ（Ｓ），利用Ｌｆ，ｇ；ｎ（ｓ）（ｎ≥１为整数），可构造一个线性映射Ｗｇ：Ｓｋ→Ｓｋ－１，并且讨论了Ｌｆ，ｇ；ｎ的一些特征值，在本文中，我们将（２）中的结果推广到Ｈｉｂｅｒｔ模形式的情况，并得到类似的结论。     

关于一类几何极值问题

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

关于最大权k－子集分拆问题

对给定规模为ｎ的集合Ｓ，其每一个规模至多为ｋ的子集对应一个权．本文研究如何将Ｓ分为　个互不相交的规模至多为ｋ的子集且满足权和最大的问题．我们证明了该问题当ｋ＝２时是多项式时间可解的；当ｋ≥３时为ＮＰ－完全的；同时给出了一个Ｏ（ｎ￣（ｋ＋１））时间的启发式算法，所得到的解与最优解之比不小于１／ｋ．     

一类本原无向图的重上广义本原指数集

设Ｒ（ｎ，ｄ）表示由全体恰含ｄ个环点的ｎ（ｎ≥３）阶本原无向图所构成的集合，Ｆ（ｎ，ｄ，ｋ）为Ｒ（ｎ，ｄ）中图的第ｋ重上广义本原指数的最大值，１≤ｄ≤ｎ，２≤ｋ≤ｎ－１。本文给出了Ｆ（ｎ，ｄ，ｋ）的具体形式，并证明了Ｒ（ｎ，ｄ）的第ｋ重上广义本原指数集为Ｅ（ｎ，ｄ，ｋ）＝｛１，２，…，Ｆ（ｎ，ｄ，ｋ）｝。     

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

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

关于类空W超曲面的一个存在性定理

利用超曲面的旋转对称性，将ＰＤＥ的求解转化为ＯＤＥ的求解，确定了Ｄｅ Ｓｉｔｔｅｒ空间中的一类旋转型的Ｗｅｉｎｇａｒｔｅｎ超曲面。即获得：给定Ｒ＾ｎ－１内开集（０，∞）＾ｎ－１上一个Ｃ＾１函数ｋｎ＝ｆ（ｋ１，…，ｋｎ－１）（ｎ≥２），一定存在Ｄｅ Ｓｉｔｔｅｒ空间Ｓ１＾ｎ＋１内的ｎ维类空旋转超曲面Ｍ，使得Ｍ的ｎ个主曲率ｋ１，…，ｋｎ恰有上述函数关系。     

K~m_n系统与极限环的个数

Ｋ~ｍ_ｎ系统与极限环的个数谢向东（福建宁德师范专科学校宁德３５２１００）关键词：极限环；不变直线；ｎ次可微系统ＡＭＳ（１９９１）主场分类：３４Ｃ０５．考虑平面ｎ次系统其中Ｐ。，Ｑ。为ｘ，ｙ的ｎ次多项式，（Ｐ。，Ｑ。）一１．定义记具有ｍ条共点的不变直线...     

图的匹配设计的矩阵构造法

完全图Ｋ_ｎ（完全二部图Ｋ_ｎ,ｎ）的一个ｋ－匹配的集合Ｍ,若满足：Ｋ_ｎ（Ｋ_ｎ,ｎ）的每一对独立边恰出现在Ｍ的λ个元素中,则称Ｍ为一个匹配设计,记为ＭＡＴＣＨ（ｎ,ｋ,λ）（ＢＩＭＡＴＣＨ（ｎ;ｋ,λ））一设计．本文定义两个匹配设计对应的矩阵,并以此构造出某些新的匹配设计．     

有限交换环上极限线性群的Sylowp—子群

本文给出了有限交换局部环Ｒ上无限线性群ＧＬ（Ｒ）＝∪ｎＧＬｎＲ的Ｓｙｌｏｗｐ－子群的形式．令Ｍ是有限交换局部环Ｒ的唯一极大理想，ｋ＝Ｒ／Ｍ为Ｒ的剩余类域．用Ｘ（ｋ）表示ｋ的特征，并假定Ｐ与ｘ（ｋ）互素．作者证明了：ＧＬ（Ｒ）的任一Ｓｙｌｏｗｐ－子群Ｓ或者同构于的可数无限直积与Ｐ（ｊ）的无限直积的直积（当Ｐ≠２或Ｐ＝２，Ｘ（ｋ）β≡１（ｍｏｄ４））或者同构于Ｐｉ的无限直积与Ｐ（ｊ）的无限直积的直积（当Ｐ＝２，Ｘ（ｋ）β≡３（ｍｏｄ４）），这里，只是ＧＬ（ｅｐｉ）Ｒ（分别地，ＧＬ（２ｒｉ）Ｒ）的Ｓｙｌｏｗｐ－子群，Ｐ（ｊ））同构于Ｐ＝∪ｉ∈Ｉｐｉ，Ｉ是可数集．     

限距组合初探

限距组合初探李平龙（江苏省灌云县中学２２２２００）自集合｛１，２，３，．．．，ｎ｝中选出ｋ个数ｊ１，ｊ２，．．．，ｊｋ，使之满足：称数组（ｊ１，ｊ２，．．．，ｊｋ）为从ｎ个元素中取出ｋ个元素且限距为ｍ的组合，其组合数简记为Ｃ（ｎ，ｋ，ｍ），显见文［１...     

权为任意正实数的Poincare级数（II）解析的情形

设ｒ为一个正实数，１＜ｒ＜２，是一个Ｈ－群，υ：Γ→Ｃ是一个乘子系（定义见文［８］）．本文在［８］的基础上讨论了Ｐｏｉｎｃａｒｅ级数的存在性．令Ｐ＿（ｎｒ）（ｚ，υ，Ａ＿ｊ，Γ，ｋ＿ｊ）＝Ｐ＿（ｎｒ）（ｚ，０，υ，Γ，ｋ＿ｊ）．这里Ｐ＿（ｎｒ）（ｚ，ｓ，Ａ＿ｊ，Γ，ｋ＿ｊ）如文［８］中定义．我们有：定理｛Ｐ＿（ｎｒ）（ｚ，υ，Ａ＿ｊ，Γ，ｋ＿ｊ）｝ｎ＋ｋ＿Ｋ＞０是群Γ的，权为ｒ的具有乘子系υ的全纯歧点型模形式，且它们张成歧点型模形式所成的空间．应用这个结果，我们证明了一些模形式的性质并推导出一个重要的恒等式．该恒等式在半整权模形式的Ｆｏｕｒｉｅｒ系数估计中有极重要的地位．     

对称部分为半正定的方阵

所有ｎ阶具有半正定对称部分的方阵的集合记作ＰＳＤｎ．本文给出了ＰＳＤｎ中方阵在合同下的标准形以及ＰＳＤｎ中两个方阵合同的一个充要条件，并给出了ＰＳＤｎ中一个方阵及其对称部分与斜对称部分的主子式间的一个不等式．     

数据插值和共轭函数

设Ｇ（ｚ）在｜ｚ｜＜ρ（ρ＞１）中解析，且数据Ｒｅ［Ｇ（ｅｊ２ｋπ／ｎ）］；ｋ＝０，１，…，ｎ－１已给出，其中ｎ＝２ν＋１，本文构造了一个ν次多项式Ｐν（ｚ）满足插值条件Ｒｅ［Ｐν（ｅｊ２ｋπ／ｎ）］＝Ｒｅ［Ｇ（ｅｊ２ｋπ／ｎ）］，ｋ＝０，１，…，ｎ－１．并估计了误差‖Ｇ（ｅｊω）－Ｐν（ｅｊω）‖．此外，还给出了一个Ｗａｌｓｈ类型的超收敛定理．     

关于多项式和的Waring问题（Ⅰ）

设ｆｋ（ｘ）为ｋ次整系数多项式，最高次项系数为正且ｆｋ（ｘ）－ｆｋ（０）没有固定因子．Ｒｋ（ｎ）记整数ｎ表为这样的一个二次、五个三次及一个ｋ次多项式和的表法数，ｕｋ（ｎ）记ｎ表为两个二次、三个三次及一个ｋ次多项式和的表法数．本文得到了当ｋ＝３、４、５时，Ｒｋ（ｎ）的渐近公式及当ｋ≥２时ｕｋ（ｎ）的渐近公式．