关于若干整数分拆问题

Y．Alavi,A．J．Boals,G．Chartrand,P．ErdSs和O．R．Oellermann提出下面的猜想：已知整数a1,a2,…,ak,满足n≤ai≤2n-2,1≤i≤k,且a1＋a2＋…＋ak=rt（n＋1）／2,则S=（1,2,…,n）包含有k个互不相交子集S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。推广该猜想,得到下面的定理：已知整数a1,a2,…,ak,满足ai≥n,1≤i≤k,且a1＋a2＋…＋a4≤n（n＋1）／2,则S={1,2,…,n）包含有k个互不相交子集．S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。由此定理易推出K．Ando,S．Gervacio和M．Kano证明的一个主要定理。参考文献中的一个错误同时被更正。     

关于恒等式e^x=∑n≥0LnJn（2x）的证明

关于恒等式e^x=∑n≥0LnJn（2x）已有组合证明，本文将用微积分的方法证明该恒等式，其中L0=1,L1=1,L2=3,Ln＋1=Ln＋Ln-1（n≥2）,Jn（2x）=∑k≥0（-1）^kx^n＋2k/k!（n＋k）!.     

一类差分方程的全局渐近稳定性

本文主要研究差分方程x_(n+1)=∑ti=1a_ix_(n-m_i)/(q+∑t i=1c_ix_(n-m_i)+∑s k=1 b_kx_(n-n_k)),n=0,1,…的全局性质,记A=∑t i=1 a_i,B=∑s k=1 b_k,C=∑t i=1 c_i和l=max{m_t,n_s},其中a_i0,c_i0 for all 1≤i≤t,b0 for all 1≤k≤s,qA,B≠C,0≤m_1m_2…m_t,0≤n_1n_2…n_s,and{m_1,m_2,…,m_t}∩{n_1,n_2,…,n_s}=?,初始值为正实数。通过构造恰当的方程组和二元函数,证明该方程的唯一平衡解是局部稳定的并且是全局吸引子,得到其平衡解是全局渐近稳定的结论。     

杨辉三角与素数的关系

设p为素数,s,t∈N,a=t∑i=0 aip^i,r=s∑i=0 rip^i,这里ai,ri∈N,0≤ai≤p-1,0≤i≤t,0≤ri≤p-1,0≤i≤s,证明了Ca^r=Ca0^r0…Cas^rs（mod p）和Ca＋r^r≡Ca0＋r0^r0 Ca1＋r1^r1…Cat＋rt^rt（mod p）两个同余式．据此导出了杨辉三角的第a行以及第0行至第a行的二项系数中,使Ca^r≡0（mod p）的个数和使Ca^r≡0（mod p）的个数,推出了斜列{Ca＋r^r：r=0,1,…}中使Ca＋r^r≠0（mod p）的个数和使Ca＋r^r≡0（mod p）的个数．     

两类非线性差分方程的全局渐近稳定性

利用泛函分析方法证明差分方程xn 1=∑i∈Zk-{j,s,t}xn-i xrn-t xn-jxmn-s A∑i∈Zk-{j,s,t}xn-i xnm-s xn-jxnr-t A,n=0,1,…,其中k∈{2,3,…},j,s,t∈Zk≡{0,1,…,k}(s≠t,j{s,t}),A,r,m∈[0, ∞)且初始条件x-k,x-k 1,…,x0∈(0, ∞),和差分方程xn 1=∑i∈Zk-{j0,j1,…,js}xn-i xn-j0xn-j1…xn-js 1∑i∈Zk-{j0,j1,…,js-1}xn-i xn-j0xn-j1…xn-js-1,n=0,1,…,其中k∈{1,2,3,…},1≤s≤k,{j0,…,js}Zk(ji≠jl对i≠l)且初始条件x-k,x-k 1,…,x0∈(0, ∞)的唯一平衡点-x=1是全局渐近稳定的.该结果推广了文献[3~5,7]中相应的结果.     

关于κ-超竞赛图的度序列

本文给出了当k=4,n＞k时,非降的非负整数序列S=(s1,s2,…,sn)为某一k-超竞赛图的度序列的一个充要条件,即对任意的r(1≤r≤n),有 r∑i=1 si≥(r 2)(n-2 k-2), 且当r=n时取等号.本文的结果是文献[1]中的关于k-超竞赛图的度序列拓展为k=4的情形.     

奇异k-紧整数无限族

设n，s1，s2是3个正整数，使得s1〈s2〈n，gcd（n，s1，s2）=1．双环网G（n；s1，s2）是个有向图，其结点集为V={0，1，2，…，n-1}，其弧集为A={i→i＋s1 （mod n），i→i＋s2（mod n）｜i∈V}，s1和s2称为步长．设d（n；s1，s2）为双环网G（n；s1，s2）的直径．令 d（n）=min{d（n；s1，s2）｜s1〈s2〈n}，d1（n）=min{d（n；1，s）｜1〈s〈n）． 已知d1（n）≥d（n）≥｜√3n｜-2=lb（n）．若d（n；s1，s2）=d（n）=lb（n）＋k（k≥0），则称G（n：s1，s2）是个k-紧优的双环网．虽然等式d1（n）=d（n）对于无限多个整数n成立，但也存在无限多个整数n使得d1（n）〉d（n），这样的n称为奇异整数．若d1（n）〉d（n）=lb（n）十k，k≥0，则这样的n称为奇异k-紧整数． 本文给出构造奇异k-紧整数无限族的方法，并对于k=1,2．…．20，构造出这样的无限族．     

Kn—e图中的路因子

G是一个Kn-e图,e∈E（Ka）。设σ2（G）表示不相邻顶点度和的最小值．令｜V（G）｜=n=∑^ki=1 a,并且σ2（G）≥,n＋k-1．证明对于图G中任意的k个顶点v1,v2,…vk。存在点不相交的路P1,P2,…Pk,使得对于1≤i≤k,都有｜V（Pi）｜=ai．并且vi是Pi的一个端点．     

微积分中的三点注记

对∞∑n=1（-1）^n=1 1/（n＋k1）＋（n＋k2）＋…＋（n＋km）n≥1 1≤k1〈k2〈…〈km m≥给出求和方法。对四类方程f（x,y,z）=0证明在奇异点处，无切平面。对n维单位球体体积Vn（n≥2） n=5 V5体积最大，lim n→＋∞Vn=0     

一类广义Cantor集的Hausdorff测度

讨论了线性迭代系统si（x）=aix＋ci,i=1,2,3在满足开集条件时, 产生的广义Cantor集E与F,并获得了E与F的s维Hausdorff测度的精确值,即H^s（E）=1,Hs（F）=[c3/1-a3-c1/1-a1]^s,其中s满足a1^s＋a2^s＋a3^s=1.     

4杆汉诺塔的最优移动次数

通常汉诺塔问题只带三根杆,当圆盘数为n时,最优移动次数为T3(n)=2n-1.对于带4杆的汉诺塔问题,最优移动次数满足关系T4(n)=2T4(m)+T3(n-m),其中m=arglmin{2T4(l)+T3(n-l)}依赖于n.对于正数整k,当k(k-1)/2+1≤n≤k(k+1)/2,n=k(k-1)/2+l时,T4(n)=(l+k-2)2k-1+1.特别,T4(sk)=2T4(sk-1)+T3(k),其中s0=0,sk=sk-1+k(k≥1).     

一类高阶线性微分方程解的复振荡性质

研究了高阶线性微分方程f（k）＋Ak-1（z）epk-1（z）f（k-1）＋Ak-2（z）epk-2（z）f（k-2）＋…＋A0（z）.ep0（z）f=0和f（k）＋Ak-1（z）epk-1（z）f（k-1）＋Ak-2（z）epk-2（z）f（k-2）＋…＋A0（z）ep0（z）f=F（z）解的增长性问题,其中pj（z）=ajzn＋bj,1zn-1＋…＋bj,n,Aj（z）和F（z）是有限级整函数.针对pj（z）中aj（j=0,1,…,k-1）的幅角主值不全相等的情形,得到了方程解的增长级的精确估计.     

一类高阶线性微分方程解的复振荡性质

研究了高阶线性微分方程f(k)+Ak-1(z)epk-1(z)f(k-1)+Ak-2(z)epk-2(z)f(k-2)+…+A0(z).ep0(z)f=0和f(k)+Ak-1(z)epk-1(z)f(k-1)+Ak-2(z)epk-2(z)f(k-2)+…+A0(z)ep0(z)f=F(z)解的增长性问题,其中pj(z)=ajzn+bj,1zn-1+…+bj,n,Aj(z)和F(z)是有限级整函数.针对pj(z)中aj(j=0,1,…,k-1)的幅角主值不全相等的情形,得到了方程解的增长级的精确估计.     

环Z_（pα）上的重根负循环码

证明了对任意的整数k满足1≤k≤m（α,pβ）,存在一个负循环码C≤Zpα[x]/〈xn＋1〉（n=pβl且p不整除l）可由k个多项式生成但不能由k-1个多项式生成.     

自然数等幂和的一种解法与推广

本文运用等比数列求和公式及求导法则,得到了∑n k＝1 km ,∑n k＝1[a ＋（k -1）d]m,∑n k＝1[a ＋（k -1）d]mxa＋（k-1）d-1（m,n∈瓔,a,d∈瓗）等若干等幂和公式,为一类等幂和级数提供了一种简洁计算方法。     

关于二元函数的三角插值逼近

目的为克服Lagrange插值多项式不能对任意连续函数都一致收敛的问题,构造了一类二元乘积型三角插值多项式算子使得该算子在全平面上能够一致收敛到每个以2π为周期的二元连续函数。方法通过对Lagrange插值三角多项式的平移与组合,在已有成果的基础上做了推广,构造了一类形式较为广泛的二元乘积型三角插值多项式Tmn（f;x,y）=∑k=0^2m∑l=0^2nf（xk,yl）mα^k（x）mβ^l（x）,进而讨论了该算子的逼近性质。结果／结论证明了该算子在全平面上一致收敛到任意以2π为周期的二元连续函数,并且对C2π,2π^s,r（s≤α,r≤β）函数类的逼近均达到最佳收敛阶,即,当f（x,y）∈C2π,2π^s,r,s≤α,r≤β,成立｜Tmn（f;x,y）-f（x,y）｜=O{Emn^＊（f）＋1/m^sω（ ^sf/ x^s;1/m,0）＋1/n^rω（ ^rf/ y^r;0,1/n）＋1/m^s1/n^rω（ ^s＋rf/ x^s y^r;1/m,1/n）}。     

关于广义位数码和的一个注记

给定非负实数b1〈b2〈b3〈…〈bk,称它们是B-数码．设n=bi1bi2…bij,1≤ij≤k,j=1,2,3,…,称s（n）=bi1＋bi2＋…＋bij是n的B-数码和．对于给定的x=bi1bi2…bij,b1≤bij≤bk,j=0,1,2,…,n,给出了∑n≤x s（n）和∑n≤x s^2（n）的一个估计．     

广义轮型完全多部图的生成树数

证明了如下结论:设KWk,n是由轮图集W={Wn1,Wn2,…,Wnk}生成的n阶广义轮型完全k-部图,其中n={n1,n2,…,nk},n=|n|=n1+n2+…+nk,1≤k≤n.那么KWk,n的生成树数目为t(KWk,n)=n2k-2∏ki=1αni-1i+βni-1i-2n-ni+1,其中αi=(di+d2i-4)/2,βi=(di-d2i-4)/2,di=n-ni+3.     

单位圆内高阶非齐次线性微分方程解的性质

研究了在单位圆内的高阶非齐次线性微分方程．设f是单位圆内高阶非齐次线性微分方程f^（k）＋Ak-1（z）f^（k-1）…Ao（z）f=F（z）的解,其中系数A（z）（J=0,…,k-1）在单位圆内解析,F（z）（不恒为0）也在单位圆内解析,在不同的条件下得到了,的增长级与F（z）的增长级之间的关系．