关于数列性质的探讨

一、等差数列根据等差数列的通项公式易得下面性质：性质１若数列｛ａｎ｝是等差数列，则ａ１＋ａｎ＝ａ２＋ａｎ－１＝…＝ａｒ＋ａｎ－ｒ＋１＝…，即与两端等距离的两项之和均相等．性质２若数列｛ａｎ｝是等差数列，则当ｍ＋ｎ＝ｋ＋ｔ时（ｍ，ｎ，ｋ，ｔ∈Ｎ），有ａ...     

数学问题解答

１９９９年４月号问题解答（解答由问题提供人给出）１１８６设ｎ∈Ｎ,ｎ≥２,ｋ∈Ｒ＋,求函数ｙ＝ｘｎｘ－ｋ（ｘ∈（ｋ,＋∞））的最小值．解由均值不等式ｘ１＋ｘ２＋…＋ｘｎｎ≥ｎｘ１ｘ２…ｘｎ得ｘ１ｘ２…ｘｎ≤（ｘ１＋ｘ２＋…＋ｘｎｎ）ｎ∵ｙ＝ｘｎｘ－ｋ...     

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

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

高阶等比数列的划分

文［１］研究了（一阶）等比数列的高阶等差划分的问题,证明了等比数列的均匀划分仍为等比数列,一阶等差划分为３阶等比数列,并猜想ｋ阶等差划分为２ｋ＋１阶等比数列．本文证明：定理　ｓ阶等比数列的ｔ阶等差划分数列为ｓｔ＋ｓ＋ｔ阶等比数列．为了阅读方便,我们先简述一下有关概念．设｛ａｎ｝＝｛ａ（０）ｎ｝为任一数列（ａｎ≠０）．记ａ（１）ｎ＝ａ（０）ｎａ（０）ｎ＋１,…,ａ（ｓ）ｎ＝ａ（ｓ－１）ｎ＋１ａ（ｓ－１）ｎ,则｛ａ（ｓ）ｎ｝称为｛ａｎ｝的ｓ阶商数列．若ａ（ｓ）ｎ＝ｑ（非１常数）,对ｎ∈Ｎ均成立,则｛…     

广义逆A_(T,S)~(2)的子式

１．引 言 设Ａ∈Ｃｍ×ｎ,Ｍ和Ｎ分别为ｍ和ｎ阶Ｈｅｒｍｉｔｅ正定阵,考虑下列方程 （１） ＡＸＡ＝Ａ （２） ＸＡＸ＝Ｘ （３）（ＡＸ）＊＝ＡＸ （４）（ＸＡ）＊＝ＸＡ （３Ｍ）（ＭＡＸ）＊＝ＭＡＸ （４Ｎ）（ＮＸＡ）＊＝ＮＸＡ 如果Ｘ∈Ｃｎ×ｍ满足条件（１）和（２）,则称Ｘ为Ａ的自反广义逆,记作Ｘ＝Ａ（１,２）;如果 Ｘ满足条件（２）,则称Ｘ为 Ａ的｛２｝逆,记作 Ｘ＝Ａ（２）;如果Ｘ满足（１）－（４）,则称Ｘ为 Ａ的 Ｍ－Ｐ逆,记作Ｘ＝Ａ＋;如果Ｘ满足（１）、（２）、（３Ｍ）、（４Ｎ）,则称 Ｘ为 Ａ的加权…     

等差数列的又一个有趣性质

在文 [1]中介绍并证明了———等差数列的一个有趣性质 :性质Ａ　若ａ1,ａ2 ,ａ3 ,… ,ａｎ,ａｎ 1成等差数列(2≤ｎ∈Ｎ) ,则有恒等式Ｃ0 ｎａ1-Ｃ1ｎａ2 Ｃ2 ｎａ3 -… (- 1) ｋＣｋｎａｋ 1 … (- 1) ｎ - 1Ｃｎ - 1ｎ ａｎ (- 1) ｎＣｎｎａｎ 1=0 .显然 ,性质Ａ对含有 (ｎ 1)项的等差数列都成立 (2≤ｎ∈Ｎ) .此外 ,我们还发现了酷似性质Ａ的———等差数列的又一个有趣性质 :性质Ｂ　若Ｓｎ 是等差数列 {ａｎ}的前ｎ项和 ,则当 3≤ｎ∈Ｎ时 ,恒有等式Ｃ1ｎＳ1-Ｃ2 ｎＳ2 Ｃ3 ｎＳ3 -… (- 1) ｋ- 1ＣｋｎＳｋ … (- …     

n阶时滞差分方程的边值问题

本文研究ｎ阶时滞差分方程的边值问题：ｘ（ｋ＋ｎ）＝ｆ（ｋ，ｘｋ（），ｘ（ｋ），ｘ（ｋ＋１），…，ｘ（ｋ＋ｎ－１）），ｋ∈ＩＴ，ｘ（ｍ）＝φ（ｍ），ｍ∈Ｉ－ｒ，ｘ（１）＝ａ１，ｘ（２）＝ａ２，…，ｘ（ｎ－２）＝ａｎ－２，ｘ（Ｔ）＝Ａ，｛得到了解的存在性和唯一性的结果．     

关于一类和式的估值

设｛ａｎ｝为递增的正项等差数列：ａｎ＝ａ１＋（ｎ－１）ｄ，ｎ∈Ｎ，其中ｄ，ａ１＞０，本文讨论和式ｎｋ＝１１ａｋ＝１ａ１＋１ａ２＋…＋１ａｎ的估值，并解决文［１］中遗留的问题．定理１设ｄ≤２ａ１，则对任意ｎ∈Ｎ有ｍｎ≤ｎｋ＝１１ａｋ＜Ｍｎ①其中Ｍｎ...     

平均单叶函数的相邻系数

设ｆ（ｚ）＝ｚ＋Σａｎｚ＾ｎ为单位园｜ｚ｜＜１内解析且平均单叶，记其族为Ｍ又设｛ｆ（ｚ）／ｚ｝＾λ＝１＋Σ＾∞ｎ＝１Ｄｎ（λ），λ＞０，本文说明了：定理一 若ｆ∈Ｍ，λ＞０，则：Σ＾∞ｋ＝１｛｜｜Ｄｋ（λ）｜－｜Ｄｋ－１（λ）｜｜／ｄｋ（λ）｝＾２≤Ａｎ，ｎ＝２，３，…其中Ａ为绝对常数。ｄｋ（ｈ）＝ｈ（ｈ＋１）…（ｈ＋ｋ－１）／ｋ！当λ＝１／２，ｆ∈ｓ时为Ｉ．Ｖ．Ｍｉｌｍ所证明。定理二 若ｆ∈Ｍ并     

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

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

秩为k的有限序列t—相交族

设ｎ，ｓ１，ｓ２，…，ｓｎ为正整数及Ｍ（ｓ１，ｓ２，…，ｓｎ）＝｛（ｘ１，ｘ２，…，ｘｎ）｜０ｘｉｓｉ，且ｘｉ为正整数｝．若ＦＭ（ｓ１，ｓ２，…，ｓｎ）满足：对任何ａ，ｂ∈Ｆ，都至少有ｔ个ｉ使ａｉ∧ｂｉ＝ｍｉｎ（ａｉ，ｂｉ）＞０，则称Ｆ为Ｍ（ｓ１，ｓ２，…，ｓｎ）中的一个ｔ－相交序列族．对ｘ＝（ｘ１，ｘ２，…，ｘｎ）∈Ｍ（ｓ１，ｓ２，…，ｓｎ），称ｒ（ｘ）＝∑ｎｉ＝１ｘｉ为ｘ的秩．本文讨论并得到当ｓ１＝ｓ２＝…＝ｓｎ时Ｍ（ｓ１，ｓ２，…，ｓｎ）中秩为ｋ的有限序列最大相交族，从而获得了由Ｅｎｇｅｌ和Ｆｒａｎｋｌ提出的一个关于有限序列相交族的公开未解问题在ｋｎ＋ｔ－１情形下的解．     

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

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

Hamiltonian图的泛圈性的一个充分条件

设Ｇ是一个ｎ阶图,若对于每一个ｋ（３≤ｋ≤ｎ）,Ｇ都含有长度为ｋ的圈,则称Ｇ为泛圈图． 在［１］中, Ｒ．Ｊ, Ｆａｕｄｒｅｅ等证明了如下结果： 定理Ａ设Ｇ是一个ｎ－阶２－连通图,δ（Ｇ）≥ｔ．若对于Ｇ中任意两个不相邻的点ｕ和ｖ,均有 ｜Ｎ（ｕ） ∪ Ｎ（ｖ）｜≥ｎ－ｔ,则 Ｇ是 Ｈａｍｉｌｔｏｎｉａｎ图． 根据 Ｂｏｎｄｙ在［４］中的想法：几乎任何一个 Ｈａｍｉｌｔｏｎｉａｎ图的非平凡的充分条件都可能蕴含着图的泛圈性质,自然有如下猜测：设图Ｇ满足定理Ａ的条件,则Ｇ是泛圈圈或者 ｎ＝２ｔ; Ｇ≌Ｋ_（ｔ,ｔ）…     

高维空间中半线性波动方程的Sobolev指数

ＧｕｓｔａｖｏＰｏｎｃｅ与ＴｈｏｍａｓＣ．Ｓｉｄｅｒｉｓ［４］猜测对一些具有特殊非线性项的半线性波动方程，如ｕｔ－△ｕ＝ｕｋ（Ｄｕ）α（ｘ∈Ｒｎ，ｋ∈Ｚ＋，ｌ＝｜α｜２），其中Ｓｏｂｏｌｅｖ指数会在ｎ２与（ｎ２＋１）之间．文［４］中，在ｘ∈Ｒ３时，回答了这一问题．本文在ｎ３维空间中，得到了半线性波动方程ｕｔ－△ｕ＝ｕｋ（Ｄｕ）α（ｘ∈Ｒｎ，ｋ∈Ｚ＋，ｌ＝｜α｜２）的Ｓｏｂｏｌｅｖ指数为ｍａｘ｛ｎ２＋１２，（ｎ２－１）·ｌ－３ｌ－１＋２｝，此数确实在区间［ｎ２＋１２，ｎ２＋１］中．     

关于Shannon－McMillan定理的若干研究

设｛Ｘｎ，ｎ≥１｝是字母集为Ｓ＝｛１，２，…，Ｎ｝上的任意信源，其分布为ｐ｛ｘ１，…，ｘｎ｝，（ｐｋ（１），ｐｋ（２），…，ｐｋ（Ｎ），ｋ＝１，２，…，是Ｓ上的一列分布　称为｛Ｘｋ，１≤ｋ≤ｎ｝相对于乘积分布　的熵密度偏差，本文利用这个概念研究任意信源的极限性质，其中包括在没有平稳性和遍历性假设情况下对ＳｈａｎｎｏｎＭｃＭｉｌｌａｎ定理的某些讨论．     

强相依高斯序列超过数点过程与部分和的联合渐近分布

（Ｘｎ）为标准化平稳高斯序列,ｐｎ＝ＥＸ１Ｘｎ＋１,Ｎｎ为Ｘ１,Ｘ２,…,Ｘｎ对水平ｕｎ＝ｘ／ａｎ＋ｂｎ的超过数形成的点过程,Ｍｎ＾（ｋ）为Ｘ１,Ｘ２,…,Ｘｎ的第ｋ个最大值,Ｓｎ＝（ｎ）∑（ｉ＝１）Ｘｉ,ｐｎｌｏｇｎ→ｒ∈（０,∞）时,得到Ｎｎ与Ｓｎ、Ｍｎ＾（ｋ）与Ｓｎ的联合渐近分布。     

一个不等式的推广及应用

若ａ∈Ｒ,则ａ２≥２ａ－１①当且仅当ａ＝１时等号成立．将此不等式推广到一般,有定理若ａ∈Ｒ＋,ｎ∈Ｎ且ｎ≥２,则ａ２≥ｎａ－（ｎ－１）②当且仅当ａ＝１时等号成立．证由均值不等式,有ａ２＋（ｎ－１）＝ａｎ＋１＋１＋…＋１ｎ－１个≥ｎａ,∴ａｎ≥ｎａ－（...     

等差数列前n 1项同次幂和的递归关系

等差数列前ｎ＋１项同次幂和的递归关系李朝星（湖北师范学院４３５００２）设ａ，ｄ是任意实数但ｄ≠０，ｋ为非负整数．用Ｓｋ（ｎ；ａ，ｄ）表示等差数列ａ，ａ＋ｄ，ａ＋２ｄ，…，ａ＋ｎｄ，…的前ｎ＋１项ｋ次幂的和，即Ｓｋ（ｎ；ａ，ｄ）＝ａｋ＋（ａ＋ｄ）ｋ＋（...     

GL(n,Z)中的局部有限子群的一点注记

证明了：若Ｇ是一般线性群ＧＬ（ｎ,Ｚ）中的局部有限子群,则Ｇ含有一个２~ｍ阶的初等阿贝尔２－子群,且 Ｇ同构于 ＧＬ（ｎ,Ｚ_ｐ）的一个子群,其中户为任意奇素数．当 ｎ＝１,２,３,４时,Ｇ的阶分别是 ２,３· ２~ｋ（ｋ＝ｍｉｎ（４,ｍ＋１）,０≤ｍ≤４）,３·２~ｋ（ｋ＝ｍｉｎ｛５,ｍ＋１｝,０≤ｍ≤５）,３~２·５·２~ｋ（ｋ＝ｍｉｎ｛９,ｍ＋６｝,０≤ｍ≤９）的一个因子,而当ｎ≥５时,Ｇ的阶是（ｐ~ｉ－１）的一个因子,其中ｐ为任意素数．     

一个三角恒等式的推广的复数证明

《数学通报》１９９７年第９期“一个三角恒等式的推广”一文中的定理的证明过程较繁，若用复数证明则比较简便．此处对该定理的Ⅱ１作证明，其余各恒等式的证明与其类似．定理Ⅱ１若ｍ，ｎ，ｋ∈Ｎ，则当ｎ＞ｍ≥１时，有∑２ｎｋ＝１（ｃｏｓｋπ２ｎ＋１）２ｍ＝〔（１...