关于高斯函数的几个恒等式

对高斯函数的两个恒等式：〔ｘ〕＋〔ｘ＋１／ｍ〕＋．．．＋〔ｘ＋ｍ－１／ｍ〕＝〔ｍｘ〕，其中ｘ∈Ｒ，ｍ∈Ｎ；１／２（ｐ－１）Σ（ｋ＝１）〔ｋｑ／ｐ〕＝Ｐ－１／２．ｑ－１／２，其中ｐ、ｑ是正奇数且（ｐ，ｑ）＝１，以及Ｔｏｍ．Ｍ．Ａｐｏｓｔｏｌ的一个问题“若ａ＝１，２，３，４，５，６，７。证明存在一个（依赖于ａ的）整数ｂ，使得ｎΣ（ｋ＝１）〔ｋ／８〕＝〔（２ｎ＋ｂ）＾２／８ａ〕”，作了进一步的推广，得到     

环的交换性的两点注记

讨论半素环和有单位元环的交换性，用较初等的方法证明如下两个定理，并利用这两个定理对近期的一些结果作了推广。定理１．１环Ｒ为无零因子环，ｍ和ｎ为给定自然数且ｍ＞ｎ．若有ｘ￣ｍ－ｘ￣ｎ∈Ｚ（Ｒ），则Ｒ可换。定理２．２环Ｒ有单位元，ｍ，ｎ为正整数。设（Ⅰ）设ｍ＿ｉ，ｎ＿ｉ（ｉ＝１，２…，ｋ）为非负整数，满足：且存在ｉ，ｊ使ｉ＞ｊ而ｍ＿ｉｎ＿ｊ≠０．若Ｒ为ｌ－扭自由的，且都有：则Ｒ可换。（Ⅱ）若有，其中ｍ＿１＋ｍ＿２＝ｍ，ｎ＿１＋ｎ＿２＝ｎ，ｍ＿１，ｍ＿２，ｎ＿１，ｎ＿２为自然数，且Ｒ为ｈ－扭自由的，则Ｒ可换。     

关于弱基与度量化

本文证明了几个弱基度量化定理，主要结果如下：（１）拓扑空间Ｘ是可度量化当且仅当Ｘ有弱基Ｂ满足如果对每个收敛序列｛ｘｎ｝→ｘ及ｘ的每个开邻域Ｕ，存在ｍ∈Ｎ，使得Ｔ（ｘ，ｍ）∪→∪（ｘ，ｍ）且仅在Ｂ的限多个元素与Ｔ（ｘ，ｍ）及Ｘ－Ｕ相交，其中Ｔ（ｘ，ｍ）＝｛ｘｎ：ｎ≥ｍ｝∪｛ｘ｝；（２）拓扑空间Ｘ是可度量化当且仅当Ｘ有一个弱展开Ｇ１，Ｇ２…，使得对每个自然数ｉ及任意Ｕ１，Ｕ２∈Ｇｉ＋１且Ｕ１∩∪２≠Φ     

2—距离空间与紧哈斯道夫拓扑空间上的不动点定理

本文中，作者得到几个在２－距离空间和紧哈斯道夫拓扑空间上的不动点定理，它扩弃了文〔４〕和〔５〕中一些结果。主要结果是定理１与定理２，定理４与定理６。     

组合数论中的一个猜测

证明如下定理：设ａ＾（ｉ）＝（ａ１＾（ｉ），ａ２＾（ｉ））为整向量，ｉ＝１，２，…，ｍ，则对任意息然数ｎ，当ｍ〉２（ｎ－１）时，必有非常空集合（「１，２，…，ｍ），使Σｉ∈ａ＾（ｉ）＝０（ｍｏｄ ｎ）。     

求解不适定问题的多参数正则化方法

本文将求解不适定问题的Ｔｉｋｈｏｎｏｖ正则化方法推广到带有多个正则参数的情形，对于泛函Ｍ＾α〔ｚ，ｖ，Ａ〕＝ρ＾２（Ａｚ，ｖ）＋α１Ω〔ｚ〕＋α２Ω２〔ｚ〕＋…＋αＮΩＮ〔ｚ〕其中α＝（α１，α２，…，αＮ），证明了对任意给定的一组正则参数αｉ〉０（ｉ＝１，２，…，Ｎ），其泛函的极小元存在；以及在正则参数的选取满足一定条件下，泛函的极小元对数据的扰动具有连续依赖性。     

多目标优化中Geoffrion真有效解的一个标量化定理

本文在广义Ｒ＋＾ｍ－次类凸的假设下，导出了多目标优化中Ｇｅｏｆｆｒｉｏｎ真有效的一个标量化定理。这一结果推广和改进了引文〔１，２〕中的相应结果。     

关于某些特殊函数的Barnes积分表示

利用形如〔１ａｂ０１ｃ００１〕，（ａ，ｂ，ｃ为实数）的矩阵群的不可约表示，导出了Γ（ｚ）（ζ（ｘ）－１），１／Γ（１＋ｚ），Ｗｋｍ（（√ｒ１＋√ｒ２）＾２ｅ＾ｉθ）以及Ｊｍ（ｚ）的Ｂａｒｎｅｓ积分表示。     

增算子的不动点定理的推广

给出了具有半序结构的Ｈａｕｓｄｏｒｆｆ空间Ｘ上集值增算子的不动点定理，推广了文献〔１〕中定理１，减弱了其对空间Ｘ的要求，如果Ｘ仅为半序集，给出了Ｘ上单值增算子的不动点定理，改进了文献〔１，２，３〕中的相应结果。     

关于图的非正常边着色

图Ｇ的非正常边着色，即（ｍ·ｄ）一边着色是把边集Ｅ（Ｇ）划分成ｍ个子集Ｅ１，Ｅ２，…，Ｅｍ，使得每一边子集的导出子图Ｇ〔Ｅｉ〕，ｉ＝１，２，…，ｍ的最大度最多是ｄ。Ｗｏｏｄａｌ问：对奇数ｄ和自然数ｍ，最大度是ｍｄ的第二类图中哪些是（ｍｄ）一边可着色的？哪些不是？本文对Ｗｏｏｄａｌ的这一公开问题给出了一些明确的解答。     

哥德巴赫问题的一个推广

设整数ａ，ｂ１，ｂ２满足ａ＞１，（ａ，ｂ１）＝（ａ，ｂ２）＝１．证明了几乎所有适合条件ｍ≡ｂ１＋ｂ２（ｍｏｄａ）的偶数ｍ可以表示为ｐ１＋ｐ２的形式，其中ｐｉ为素数，并且ｐｉ≡ｂｉ（ｍｏｄａ），ｉ＝１，２     

几类特殊图的典型强因子图

给出了一个图是强不可收缩图的充要条件． 讨论了Ｔ〔Ａ１ ,Ａ２ ,…,Ａｎ〕, Ｋｍ１ ,ｍ２ ,…,ｍｒ , 树以及二分图的典型强因子图． 最后, 从典型强因子图的角度给出了Ｋｎａｕｅｒ 定理的一个证明     

一类二阶Volterra—hammerstein型积分微分方程非线性…

本利用上下解方法研究了一类Ｖｏｌｔｅｒｒａ－ｈａｍｍｅｒｓｔｅｉｎ型积分微分方程非线性边值问题｛（│ｕ＇│＾ｐ－２ｕ＇）＇＝ｆ（ｔ，ｕ，Ｔ１ｕ，Ｔ２ｕ，ｕ＇）（ｐ〉１） Ｌ（ｕ（０），ｕ＇（０））＝０ Ｒ（ｕ（１），ｕ＇（１））＝０ ［Ｔｉｕ］（ｔ）＝ψｉ（ｔ）＋∫ｏ＾ｔＫｉ（ｔ，ｓ）ｕ（ｓ）ｄｓ （ｉ＝１，２）给出了解的存在性定理。     

算术级数中素数的差距

设ｌ和Ｒ是互素的正整数，Ｒ为偶数．ｐｉ是算术级数ｌ＋ｖＲ，ｖ＝０，１，２，… 中的第ｉ个素数，对任一正整数ｒ，定义 这里ψ（Ｒ）是欧拉函数。我们的主要结果为： 定理１．对任一正整数ｒ，我们有 定理 ２．设 θｒ是方程 的解，则 本文对定理１给予详细证明，定理２可用类似的方法得到。     

微分中值定理“中值点”渐近性的进一步推广

利用函数的泰勒级数展式，得到了高阶柯西微分中值定理“中值点”的较一般的渐近性结果，推广了文献〔１〕、〔２〕的结果。     

用逻辑方程解集关系求逻辑方程组的解集

给出了逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１,ｍｉ＝１　ＦｉＧ－ｉ＝１及逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集关系定理,得到了如下结论：若逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１和ｍｉ＝１　ＦｉＧ－ｉ＝１解集分别为Ｓ１和Ｓ２,则逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集为Ｓ１－Ｓ２．     

线性规划无穷多最优解求法的一个注记

本文对文献「１」中的线性规划无穷我最优解判别定理的中以完善，得到了当所有σ〈０，某个σｍ＋ｋ＝０且αｉ，ｍ＋ｋ≤，ｉ＝１，２，…，ｍ时，无穷多最解优的求法。     

伯努利数与判别素数的充要条件

根据等幂和与判别素数的充要条件,获得了伯努利数与判别素数的充要条件,并利用所得结果对居加猜想进行了讨论,证明了：若ＳＰ－１（Ｐ－１）≡－１（ｍｏｄｐ）成立,则Ｐ是素数或者Ｐ＝Ｐ１Ｐ２…ＰＳ是绝对伪素数,并且ＰＢＰ－１的分母,Ｐ｜（ＰＢＰ－１＋１）的分子;ＰＰｉ≡１（ｍｏｄＰｉ）;∑ｓｉ＝１１Ｐｉ－１Ｐ是整数;在２≤２ｍ≤（ｐ５－１）内必存在偶数２ｍ,使得对每个Ｐｉ均有Ｐｉ－１｜２ｍ,Ｐ｜Ｂ２ｍ的分母,Ｐ｜（ＰＢ２ｍ＋１）的分子．     

关于矩阵可对角化的判定

给出了矩阵可对角化的几个充要条件，分别削弱了〔１〕，〔２〕中一个定理的条件，优化了矩阵的对角化理论，指出了求可对角化矩阵的特征向量的一条捷径。     

高阶中立型微分方程的振动性

本文得到了一类偶数阶中立型微分方程振动的条件，推广和改进了文〔１〕—〔３〕的结果及证明