一组组合关系式

本文用组合分析的方法及数学归纳法证明了以下一些组合关系式. (1)C(n+k,r)=sum from m=0 to k (k!)/((k-m)!m!)C(n,r-m); (2)sum from m=0 to n K~m C(n,m)=*(1+k)~n; (3)sum from k=0 to n K~m=sum from k=1 to n S(m,k) ((n+1)!)/((k+1)(n-k)!); (4)sum from p=0 to m F(n,p)=((n+m)!)/(n!m!); (5)sum from q=1 to m qF(n,q)=((n+m)!n)/((m-1)!(n+1)!); (6)sum from p=1 to n F(p,m)=((n+m)!)/((m+1)!(n-1)!); (7)sum from r=0 to S (F_(mi2r)F_(n+2r)+F_(m+2r+1)F_(n+2r+1)); =F_(2??+1)(F_(2??+1)F_(m+n+1)+F_(2??)F_(m+n)); (8)sum from k=0 to n C_k=C_(n+5)-2; (9)S_k??5=sum from p=0 to n C_(k+5??)=C_(5n+1+k+γ_(k,5));     

关于不定方程x2+4n=y11的整数解

应用代数数论以及同余法等初等方法讨论不定方程x~2+4~n=y~(11)的整数解情况,证明了不定方程x~2+4~n=y~(11)在x为奇数,n≥1时无整数解;不定方程x~2+4~n=y~(11)在n∈{1,8,9,10}时均无整数解;不定方程x~2+4~n=y~(11)有整数解的充要条件是n≡0(mod 11)或n≡5(mod 11),且当n≡0(mod 11)时,其整数解为(x,y)=(0,4~m);当n≡5(mod 11)时,其整数解为(x,y)=(±2~(11m+5),22m+1),这里的m为非负整数,验证了k=11时猜想1成立。     

费马数是合数的一个充要条件

文章运用数论中的一些简单结果,如(F_m,F_n)=1及F_n=2~(2~n)+1(n≥2)的素因数p具有形状p=2~(n+2)k+1,其中k为某正整数等,给出了费马数是合数的一个充要条件,并得到了F_5,F_6和F_7的素因数分解式。     

不定方程x~2+4~n=y~(13)整数解的完全刻画

文章研究指数型Lebesgue-Nagell不定方程x~2+B=y~k的整数解是数论中的一类重要课题,其中B是非负整数,k是正整数。应用代数数论的方法完全刻画了不定方程x~2+4~n=y~(13)的整数解,既证明了不定方程x~2+4~n=y~(13)有整数解(当且仅当n≡0,6(mod 13)),且其整数解分别为(n,x,y)=(13m,0,4~m)或(13m+6,±2~({13m+6}),2~({2m+1})),其中n,m是非负整数.     

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

对高斯函数的两个恒等式:[x]+[x+(1/m)]+…+[x+((m-1)/m)]=[mx],其中x∈R,m∈N;[kq/p]+[kp/q]=((p-1)/2)·((q-1)/2),其中 p、q 是正奇数且(p,q)=1,以及 Tom.M.Apostol 的一个问题“若 a=1,2,3,4,5,6,7.证明存在一个(依赖于 a 的)整数 b,使得[k/8]=[(2n+b)~2/8a]”,作了进一步的推广,得到一般性的结论.     

m台同类机上的分配博弈

研究n个工件在m台同类机上的资源分配问题.每个代理人管理一个工件并"自私"的选择一台机器加工,目标是极小化他的完工时间.该问题的性能与代理人的目标不同,是通过目标函数来衡量的,该问题的目标函数为全部工件的完工时间和.该文用POA(Price of Anarchy)来衡量一个纳什均衡(Nash Equilibrium)排序的目标函数值与一个最优排序的目标函数值的差异.证得当有一台速度比1大,其余速度均为1时,POA的上界为((4m-3)~(1/2)+1)/2,下界为3/4+(1/4)((m+1)/(m-1))~(1/2);当有一台机器速度小于1,其余速度均为1时,POA的上界为((4m-3)~(1/2)+1)/2,下界为1+(m(2m+1)~(1/2)-2m+1)/(m~2-4 m+2)((2m-1)~(1/2)+2m~2-m)).     

关于不定方程x~2+49~n=y~3的唯一整数解

文章利用代数数论方法证明了不定方程x~2+49~n=y~3 n∈N,x■7的整数解仅(x,y,n)=(±524,65,1)并且证明了x~2+(P~2)~n=y~3,p是素数的一般解.     

论证两个恒等式

一、论证中用的基本公式 1、差分公式:△~(k+1)P(X)=△~kP(X+1)-△~kP(X)P(X)为关于变量X的多项式。 2、牛顿二项式定理:(X+1)~n=C_n~0X~n+C_n~1X~(n-1)+…+C_n~kX~(n-k)+…+C_n~n 3、Pascal公式:C_(n+1)~k=C_n~k+C_n~(k-1) 本文中R表示实数集,N~+表示正整数集。     

关于1-(k,m)-逗点码的一个注记（英文）

令L是A上的一个非空语言,k∈N~0,m∈N。如果L满足(LA~k)~mL∩A~+(LA~k)~(m-1)LA~+=?,那么L是一个码,叫做(k,m)-逗号码。如果L的每个单点集都是一个(k,m)-逗号码,那么L称为1-(k,m)-逗号码。众所周知,1-(k,m)-逗号码类是2~(Xk)\{?},其中X_k={u∈A~+|(?w∈A~k)uwu∩A~+uA~+=?}。Jürgensen等指出X_0是本原字构成之集。Cui等借助于有界字、无界字和本原字刻画了X_1。本文中,我们讨论X_k,其中k≥2。     

一类二阶常微分方程组多点边值问题多个正解的存在性

利用不动点定理,并赋予f,g一定的增长条件,讨论了一类二阶常微分方程组u″(t)+f(t,v(t))=0,0≤t≤1;v″(t)+g(t,u(t))=0,0≤t≤1;u′(0)=∑i=1 m-2 biu′(ξi),u(1)=∑i=1 k aiu(ξi)-∑i=k+1 m-2 aiu(ξi),v′(0)=∑i=1 m-2 diu′(ηi),v(1)=∑i=1 l civ(ηi)-∑i=l+1 m-2 civ(ηi),多个正解的存在性,其中f,g∈C([0,1]×[0,∞),[0,∞)).     

涉及微分多项式的值分布

本文考虑了一类涉及微分多项式的值分布,得到如下结果:设n,k为正整数,并且有n≥k+4,f(z)在开平面内超越亚纯,α_j(z)(j=1,…,k)亦在开平面内亚纯,且满足T(r,α_j)=0{T(r,f)}(j=1,…,k),若[α_k(z)f~((k))(z)+…+α_l(z)f~f(z)|f(z)~n(?)常数,则[α_k(z)f~((k))(z)+…+α_1(z)f~l(z)]f(z)~n取任何有限值无穷次,至多零值例外。     

一个变分双曲型组的解

本文研究带Dirichlet条件的边界值问题{□u+△G(u)=f(t,x),(t,x)∈Ω≡(0,π)×(0,π), (*)u(t,x)=0, (t,x)∈aΩ,的解的存在性,这里口是波算子a2/at2-a2/ax2,GRn→R是一连续函数.设σ(口)={k2-m2,k,m∈N}记波算子口的特征值的集合,(a2G(u)/auiaui)记u∈Rn.点处的Hessian阵.假定σ((a2G(u)/auiauj))∩σ(□)=φ.再设E={u|u(t,x)=∑k,mψkm(t,x)Ckm, Ckm ∈ Rn k,m ∈ N,∑k,m(k2+m2+1)|Ckm|2 ＜+∞},Y={y|y(t,x)=∑i,k,mμikmψkm(t,x)ei,k2 - m2 ＜γi(u),μikm ∈ R,k,m ∈N,∑k,m(k2+m2+ 1)|μikm|2＜+∞,i= 1,2,……,n} Z={z|z(t,x)=∑i,k,mμikmψkm(t,x)ei,k2 -m2＞γi(u),μikm ∈ R,k,m ∈ N ,∑k,m(k2 + m2+1)|μikm|2 ＜+ ∞,i = 1,2,……,n}.对Y中的k2-m2记ξ(‖u‖0) =min‖v‖0≤‖u‖0 mink,m∈N min1≤i≤n{γi(v)-(k2- m2) ＞ 0},对Z中的k2-m2,记η(‖u‖0)=min‖v‖0≤‖u‖0 mink,m∈N min1≤i≤n{k2-m2-γi(v)＞0},这里‖·‖0记(L2(Ω))n.假设∫+∞1ξ(s)ds=∞, ∫+∞1η(s)ds=∞.在上述条件下,我们使用R.F.Manasevich的最大值最小值定理证明问题(*)的弱解u0∈(H1(Ω))n的存在性和唯一性.     

图F_mK_n的边色数和邻强边色数

V(Fm Kn)={w}∪{ui｜i=1,2,…,m}∪{uij｜i=1,2,…,m;j=2,3,…,n},E(Fm Kn)={wui｜i=1,2,…,m}∪{uivij｜i=1,2,…,m;j=2,3,…,n}∪{uiui+1｜i=1,2,…,m-1}∪{vijvik｜i=1,2,…,m;j=2,3,…,n-1;k=j+1,j+2,…,n},对图G的一个正常的k边染色法f,若 e∈E(G),e=uv,{f(uw)｜uw∈E(G)}≠{f(vw)｜vw∈E(G)},则称f为G的一个k 邻强边染色法,k的最小值称为G的邻强边色数,从而得到了Fm Kn的边色数和邻强边色数     

一类以广义Fibonacci数为系数的线性不定方程

设a,b为整数,b≠0。广义Fibonacci序列{un}定义为u0=0,u1=1,un 2=aun 1 bun(n≥0)。设a,b,c,n,k,m,r为整数,求解关于t1,…,tm-r的不定方程( 1-)1m ri i k m ii?t e u c=∑=(k>0,m-1>r≥0,c∈Z,ei=±1,i=1,…,m-r)给出了求解例子,并较详细说明了在构造F-L恒等式方面的应用。     

多调和算子组的谱估计

设Ω是R~m(m≥2)中一个有界区域,考虑多调和算子组的特征值问题AΛ(△)u~T=λu~T,x∈Ωu~k=(?)u~k/(?)n=…=(?)~(k-1)u~k/(?)n~(k-1)=0,x∈(?)Ω,k=1,2,…,N其中,u=(u~1,u~2,…,u~N),n是(?)Ω的单位外法向量。将特征值按增加的顺序排列为0<λ_1≤λ_2≤…≤λ_n≤…则成立如下不等式λ_(n 1)≤λ_n 4/m~2n~2(sum from i=1 to n sum from h=1 to N λ_i~(1/k))(sum from i=1 to n sum from k=1 to N k(2k m-2)λ_i~(1-1/k)) sum from i=1 to n sum from k=1 to N λ_i~(1/k)/λ_(n 1)-λ_i≥m~2n~2/(sum from i=1 to n sum from k=1 to N 4k(2k m-2)λ_i~(1-1/k))     

恰有1+(1/2)m(m-1)个顶点的环——分布图的最多边数

令f(n)为任二环均有不同长度的恰有n个顶点的图的最多边数。1975年,Erdos提出了确定f(n)的问题(见〔1〕)。1986年,y,shi证明了f(n)≥n+〔((8n-23)~(1/2)+1)/2〕(n≥3)且当3≤n≤17时,等号成立。于是猜想:对任何整数n≥3,有f(n)=n+〔(8n-23)~(1/2)+1)/2〕本文证明了,当n=1+1/2m(m-1)(m≥3)时,本猜想成立。     

Lagrange插补多项式的Bernstein求和

本文研究了在结点系{z_k~(n)=e~(((2k-1)/n)ni)}_(k=1)~n 上关于函数类 A 的 Lagrange 插补多项式的白恩斯坦—罗格辛斯基求和 U_n(f,z)=1/2{Ln(f,ze~(((s)/n)i)+Ln(f,ze~((-(s)/n)i)}在单位闭圆上的发散性与内闭一致收敛性。     

一类HAMILTON图中圈的数目

Yap H P和Teo S K提出问题:下述等式是否成立?m(K)=(1/2)(k+1)×(k+2),M(k)=2~k+k。此外,对于任意介于m(k)与M(k)之间的整数i,是否存在G∈H(n,k)使得f(G,k)=i?本文解决了上述问题。     

函数Riemann和式的类Taylor级数展开式

如果一元解析函数f(x)无f限阶可导,其Taylor级数展开式f(x)=f(0)+f'(0)x+f″(0)/2!x~2+…+f~((k))(0)/k!x~k+…=∞∑k=0f~((k))(0)/k!x~k.本文讨论将一元无限阶可导函数f(x)在区间[a,b]上的Riemann和式b-a/nn∑k=1f(a+k/n(b-a))展开成1/n的级数:b-a/nn∑k=1f(a+k/n(b-a))=A_0+A_1·1/n+A_2/2!·(1/n)~2+···+A_i/i!·(1/n)~i+···可以看到,这个展开式在形式上与函数的Taylor级数展开式非常相似.     

有圈二部图覆盖的一个结果

H.Wang猜想,对于任意整数k≥2,存在N(k)使得二部图G=(V1,V2,E)中,V1=V2=n≥N(k),且对于G中任意一对不相邻的顶点x∈V1,y∈V2,有d(x)+d(y)≥n+k,那么,对于G中任意k个独立边e1,e2,e3,…,ek,存在顶点不重的k个圈C1,C2,…,Ck,使得ei∈E(Ci),i∈{1,2,…,k}和V(C1∪C2∪…∪Ck)=V(G).H.Wang及J.A.Bondy对k=2,3时证明了猜想成立,本文对k=4证明了猜想的正确性.