一个奇素數定理

定理:如果2n+1是一个素數,那么,它必定是2~n+1或2~n-1的約數;当[n+(1/2)]是奇數時取正号,反之取負号。 証明:我們只要作出一个整係數方程,滿足下面三个条件,問題就解决了。 1) 2n+1是方程的根。 2) 常數項有約數2~n+1(或2~n-1)。 3) 常數項其他素約數与2n+1互素。 現在我們就來作这个整係數方程。当[(n+1)/2]是奇數時,我們給出方程:(x-2)(x-4)…(x-2n)= =-(x-4)(x-8)…(x-4n)。方程的常數項等於士2~n(2~n+1)n!,条件2),3)顯然滿足。以2n+1代入,我們还需要証明等式 multiply from k=1 to n (2n+1-2k)=-multiply from i=1 to n (2n+1-4i)对应於k的偶數值,我們取i=k/2,就有     

高维Pedoe不等式的一个加强

设Ω(A_n),Ω(A'_n)是n维欧氏空间E~n(n≥3)中的两个n维单形,棱长分别为a_i,a'_i(i=1,2,…,C_(n+1)~2),体积为V_n,V'_n,各棱长的乘积分别为P_n,P'_n对θ∈(0,2],本文证明 sum from i=1 to C_(n+1)~2 (a'_i~θ(sum from j=1 to C_(n+1)~2 (a_i~θ-2a_i~θ))≥((n(n+1)(n~2+n-47))/8)·[2~n(n!)~2/n+1]~(θ/n)[(P'_n/P_n)~(2θ/n(n+1))V_n~(2θ/n)+(P_n/P'_n)~(2θ/n(n+1))V'_n~(2θ/n)]等号成立当且仅当n(A_n),n(A'_n)均为正则单形。     

三个数列的收敛速度

利用不等式形式对e-〔1+1/n〕~n,〔1+1/n〕~(n+1)-e,e-sum from k=0 to n 1/k!进行了估计,给出了数列〔〔1+1/n〕~n〕,〔〔1+1/n〕~(n+1)〕,sum from k=0 to n 1/k!收敛于e的速度.     

由谱数据数值稳定地构造实对称带状矩阵

§1.引言 设r,n是正整数并且0r有a_(ij)=0.     

实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.     

实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.     

Exact Solution to an Extremal Problem on Graphic Sequences with a Realization Containing Every 2-Tree on k Vertices

A simple graph G is a 2-tree if G=K_3,or G has a vertex v of degree 2,whose neighbors are adjacent,and G-v is a 2-tree.Clearly,if G is a 2-tree on n vertices,then |E(G)|=2 n-3.A non-increasing sequence π=(d_1,...,d_n) of nonnegative integers is a graphic sequence if it is realizable by a simple graph G on n vertices.[Acta Math.Sin.Engl.Ser.,25,795-802(2009)] proved that if k≥2,n≥9/2 k~2+19/2 k and π=(d_1,...,d_n) is a graphic sequence with∑_(i=1)~n di(k-2)n,then π has a realization containing every 1-tree(the usual tree) on k vertices.Moreover,the lower bound(k-2)_n is the best possible.This is a variation of a conjecture due to Erdos and Sos.In this paper,we investigate an analogue problem for 2-trees and prove that if k≥3 is an integer with k≡i(mod 3),n≥ 20[k/3] ~2+31[k/3]+12 and π=(d_1,...,d_n) is a graphic sequence with ∑_(i=1)~n d_imax{k-1)(n-1), 2 [2 k/3] n-2 n-[2 k/3] ~2+[2 k/3]+1-(-1)~i}, then π has a realization containing every 2-tree on k vertices.Moreover,the lower bound max{(k-1)(n-1), 2[2 k/3]n-2 n-[2 k/3] ~2+[2 k/3]+1-(-1)~i}is the best possible.This result implies a conjecture due to [Discrete Math.Theor.Comput.Sci.,17(3),315-326(2016)].     

任意阶Laplace算子的特征值估计

设D为n维Euclid空间Rn的一个有界区域,且0＜λ1≤λ2≤…≤λk≤…是l阶Laplace算子的Dirichlet问题{(-△)lu=λu, 在D中,u=(e)u/(e)n=…=(e)l-1u/(e)nl-1=0,在(e)D上的特征值.得到了该问题用其前k个特征值来估计第(k+1)个特征值λk+1的不等式k∑i=1(λk+1-λi)≤1/n(4l(n+2l-2)]1/2{k∑i=1(λk+1-λi)1/2λil-1/lk∑i=1(λk+1-λi)1/2λi1/l}1/2,此不等式不依赖于区域D.对l≥3,上述不等式比所有已知的结果都要好.陈庆民与杨洪苍考虑了l=2的情形.我们的结果是他们结果的自然推广.当l=1时,我们的不等式蕴含杨洪苍不等式的弱形式.文中还给出了陈和杨的一个断言的直接证明.     

不等式k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)的几种证法

为什么要证明不等式k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)下面通过实例来说明,高中数学第三册P.147.3(4)题:求证1/1~(1/2)+1/2~(1/2)+…+1/n~(1/2)>n~(1/2)(n>1)。我们用数学归纳法来证明。 (1)当n=2时不等式左边=1/1~(1/2)+1/2~(1/2)=(2+2~(1/2))/2右边=2~(1/2)=(2~(1/2)+2~(1/2))/2,显然不等式成立。 (2)假设当n=k(k>1)时不等式成立,     

本刊英文版Vol.27(2011),No.12论文摘要

<正>Abstract In the "lost notebook",Ramanujan recorded infinite product expansions for 1/r~(1/2)-((1-5~(1/2))/2)r~(1/2) and 1/r~(1/2)-((1+5~(1/2))/2)r~(1/2), where r = r(q) is the Rogers-Ramanujan continued fraction.We shall give analogues of these results that involve Ramanujan's function k = k(q) = r(q)r~2(q~2).     

关于矩阵乘积迹不等式的两个问题

本文讨论关于矩阵乘积迹的两个问题,并得到如下结果:(1)设A 以为Hermitian 矩阵,B 为斜Hermitian 矩阵,则不等式tr(AB)~n≥tr(A~nB~n)n=2k+1或n=4k,k=1,2,……,可以不成立。但是如果A,iB 是半正定Hermitian 矩阵且n=4k+2,k=1,2,……,则tr(AB)~n≥tr(A~nB~n)总成立。(2)设A,B 均为斜Hermitian 矩阵,则不等式tr(AB)~n≤tr(A~nB~n)对n=2k+1,k=1,1,……,可以不成立。但是如果iA,iB 是半正定Hermitian 矩阵且n=2k,k=1,2,……,则tr(AB)~n≤tr(A~nB~n)总成立。     

A NECESSARY AND SUFFICIENT CONDITION FOR THE OSCILLATION OF HIGHER-ORDER NEUTRAL EQUATIONS WITH SEVERAL DELAYS

Consider the higher-order neutral delay differential equationd~t/dt~n(x(t)+sum from i=1 to lp_ix(t-τ_i)-sum from j=1 to mr_jx(t-ρ_j))+sum from k=1 to Nq_kx(t-u_k)=0,(A)where the coefficients and the delays are nonnegative constants with n≥2 even. Then anecessary and sufficient condition for the oscillation of (A) is that the characteristicequationλ~n+λ~nsum from i=1 to lp_ie~(-λτ_i-λ~n)sum from j=1 to mr_je~(-λρ_j)+sum from k=1 to Nq_ke~(-λρ_k)=0has no real roots.     

带比例关系的实带状矩阵特征值反问题

研究了通过矩阵A的顺序主子矩阵A_((k))=(aij)_(i,j=1)^(n-k+1)的特征值{λ_i(n-k+1)的特征值{λ_i^((k)))}_(i=1)((k)))}_(i=1)^(n-k+1)k=1,2,…,r+1来构造一个带比例关系的实带状矩阵的特征值反问题.对当特征值{λ_i(n-k+1)k=1,2,…,r+1来构造一个带比例关系的实带状矩阵的特征值反问题.对当特征值{λ_i^((k))}_(i=1)((k))}_(i=1)^(n-k+1)中有多重特征值出现时,应当如何来构造这类矩阵进行了讨论,并给出了问题的具体算法及数值例子.     

Bargmann空间中无界Gribov-Intissar算子的谱逼近（英文）

在[Adv.Math.(China),2015,44(3):335-353]中,我们研究了经典Bargmann空间Bo中的非自伴算子H_μ:H_μ=S_μ+H_λ,其中S_μ=μz d/(dz),H_λ=iλ(z(d~2)/(dz~2)+z~2 d/(dz)),i~2=-1,参数μ,λ都是实数.我们给出了H_μ的谱分析和H_μ的广义特征向量的渐近分析.设ek(z)=(z~k)/((k!)~(1/2)),k=1,2,…是B0的正交基.算子H_μ可以被一列三对角矩阵逼近,此三对角矩阵的主对角线元素为β_k=μk,次对角线元素α_k=iλk(k+1)~(1/2),1≤k≤n,n∈N.对于μ∈C和λ∈C,本文主要研究上述矩阵的特征值z_(k,n)(μ,λ)的局部化,它是多项式P_(n+1)~(μ,λ)(z)的零点,P_(n+1)~(μ,λ)(z)满足三项递推关系:若"∈R和λ∈R,则上述矩阵是复对称的.在这种情况下,我们证明了R上有界变分复值函数∈(z)的存在性,它使得权重为∈(z)的多项式P_n~(μ,λ)(z)是正交的.我们也考虑了H_μ的扰动H_λ'=S_λ'+H_λ,其中S_λ'=λ'z~2(d~2)/(dz~2)+S_μ,λ'∈R,H_λ可以被矩阵(h_(jk)~λ)_(j,k=1)~∞表示.证明了可以通过S_λ'的特征值和有限矩阵(h_(jk)~λ)_(j,k=1)~n的特征值的组合来逼近H_λ'的特征值.     

1956年北京、天津数学競賽試題及解答

(1) 証明:对任何正整数n n~3+(3/2)n~2+(1/2)n-1都是整数,並且用3除时余2, 証明1.n~3+(2/3)n~2-1=(n(n+1)/2)(2n+1)-1==(2n(2n+1)(2n+2)/8)-3+2。对任何整数n說來,(n(n+1))/2是整数,所以原式为整数。在相鄰的三个整数2n,2n+1,2n+2中至少有一个是3的倍数,因为3与8互質,8除得尽分子,分子提出3后还能被8除尽,所以(2n(2n+1)(2n+2)/8)-3是3的倍数,原式用3除时余2。 証明2.用f(n)代表原式,現在用数学归納法証明我們的問題。在n=1时,     

数列的循环求和法——探索一类数列和的表达式

数列求和的方法很多,己有许多杂志刊登了各种数列求和方法的文章,本文提及的循环求和法,其思想方法是通过式子变形,使所求和重复出现,造成循环,亦即构造出含有所求和S的方程S=f(s),然后解出S。问题:求 sum from k=1 to n (k·2~k)sum from k=1 to n (k·2~k)=sum from k=0 to (n-1) ((k+1)2~(k+1))=2 sum from k=0 to (n-1) k2~k+sum from k= to (n-1) (2(k+1))=2[sum from k=1 to n (k·2~k-n·2~n)]+sum from k=1 to n 2~k∴ sum from k=1 to n (k·2~k)=n·2~(n+1)-(2~(n+1)-2) 有许多同志会感兴趣于研究sum from k=1 to n (k~p 2~k)     

SL(3,3~n)和SU(3,3~n)的第一Cartan不变量

确定Cartan不变量是代数群与相关的李型有限群的模表示理论中的一个重要方面.作者利用代数群模表示理论中的一系列结果,计算了3~n个元素的有限域上特殊线性群SL(3,3~n)和特殊酉群SU(3,3~n)的第一Cartan不变量,得到如下结论:当G=SL(3,3~n)时,C_(00)~((n))=a~n+b~n+6~n-2·8~n;而当G=SU(3,3~n)时,C_(00)~((n))=a~n+b~n+6~n-2·8~n+2·(1+(-1)~n),其中a,b是多项式x~2-20x+48的两个根.另外,作者也得到了射影不可分解模U_n(0,0)的维数公式:dim U_n(0,0)=(12~n-6~n+∈)·3~(3n),其中,当G=SL(3,3~n)时,∈=1;而当G=SU(3,3~n)时,∈=-1.     

由一道全国竞赛题引出的新题及解法

1987年全国高中数学联赛第一试有这样一道填空题:若 k 是大于1的整数,a 是方程 x~2-kx+1=0的根,对于大于10的任意自然数 n,a~2~n+a~(-2)~n的个位数字总是7,则 k 的个位数字是____.我们把思路放宽一些来考虑,设 a_n=a~2~n+     

关于多项式系数的整除性

设n是正整数,k1,k2,…+k1=n的非负整数,正整数[nk1k2…ks]=n！/k1!k2!…k5!称为多项式系数,本文讨论了当n=a0+a1p+a2p^2+…arp^r,其中p为素数且p≤n,0≤ai&;lt;p(0≤i≤r);ki=a0^(i)+a1^(i)p+…+ar^(i)p^r,其中ki≤0,∑^si=1,ki=n,0≤ak^(i)p(0≤i&;lt;s)时多项式系数的整除性问题,得出的结果推广了著名的Lucas定理^[1].     

拟Hermite-Fejer插值多项式的逼近特性

设f∈C[-1,1],x_(h,n)=ciskπ/n+1,k=1,2…,n为第二类Chebyshev多项式U_n(x)=sin(n+1)θ/sinθ(x=cosθ)的零点。拟Hermite-Fejer插值多项式为O_n(f,x)=((1+x/2)f(1)+(1-x/2)f(-1))(U_n(x)/n+1)~n+