次序统计量分布的参数识别

设x_1,x_2,…,x_n是n个相互独立的随机变量,第k个(1≤k≤n)次序统计量x(k)的分布是否能唯一决定每个随机变量x_i(i=1,2,…,n)的分布,当k=n时,Anderson TW等对一定类型的随机变量作出了肯定的回答。本文将对一定类型的相互独立同分布(i.i.d.)的随机变量,研究k为任意正整数(1≤k≤n)时上述提出的问题。     

关于一个整除性的问题

1984年,孙琦教授提出:是否对每一整数n>1,都存在n个整数x_i>1(i=1,2…,n),使得每个x_i是x_1…x_(i-1)x_(i 1)…x_n-1的真因子?为方便起见,我们以下简称此问题为S问题.本文给出了S问题的一个完整的答案,证明了当n≥4时,S问题的解数X(n)>0;当n=2.3时,X(n)=0.同时我们还给出了S问题的一个构造性结果,并且对几个具体的n,计算了X(n)的值.     

关于一次同余方程组解的下界估计

设p为任一素数,L,s,t为任意自然数,a_(ij)(1≤t,1≤j≤s)为st个整数,对于每个i(1≤i≤t),a_(ij),…,a_(is)不全为P~L的倍数。又记X=max(1,1×1)。考察一次同余方程组a_(il)x_1… a_(is)x_x x_(s i)≡0(modp~L)(1) (1≤i≤St)适合条件-p~L/2相似文献   

关于不定方程a_1X_1+a_2X_2+…+a_nX_n=N的非负解个数的讨论

设不定方程(1)a_1x_1+a_2x_2+…+a_nx_n=N,其中,n≥2,(a_1,…a_n)=1,N和a_i(i=1,2,…,n)均为正整数(且不妨假设a_1≤a_2≤…≤a_n)。 (1) (1)的非负整数解的个数是有限的,设为T_n(N)。记0相似文献   

判别Hamilton图的一个方法

本文研究寻找Hamilton的圈的一个方法,证明了如下定理:设G是单图,V(G)={V_1,V_2,…,V_n},则G是Hamilton图的充分必要条件是X_(ki)取1或0时,方程组(*)有解,其中sum from i=1 to n sum from j=1 to n x_(ki)x_(k+1)jV_iV_j=1而x(n+1)j=x_(1j) sum from i=1 to n x_(ki)~2=1 sum from i=1 to n x_(ik)~2=1 而V_iV_i=1 当V_i和V_j邻接时, 0 当V_i和V_j不邻接时。     

相关随机变量和的中心极限定理

设x_1,x_2,…,x_n,… (1)是一个随机变量序列。定义1.(1)称为 f(n)-相关的,若当 s-1>f(n)时(x_1,x_2,…,x_)与(x_,x_(s+1),…,x_n)彼此独立。定义2.设 S_n=sum from i=1 to n x_i 是(1)的部分和。若存在固定的正数 H 和固定的ρ,0≤ρ≤1,     

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

本文主要研究差分方程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}=?,初始值为正实数。通过构造恰当的方程组和二元函数,证明该方程的唯一平衡解是局部稳定的并且是全局吸引子,得到其平衡解是全局渐近稳定的结论。     

关于Borel的一个定理

Borel的一个经典性定理是,如果两组整函数G_i(Z)(i=1,2,…,n)和H_i(Z)(i=1,2,…n)满足恒等式sum from j=1 to n G_i(Z)e~Hj~(Z)≡0 并且如果G_i(1≤i≤n)的增长性,在某种意义下,较慢于e~Hj~(-H)k(1≤j,k≤n,j≠k)的增长性,则G_i(Z)≡0 (i=1,2,…,n),在本文中得出了这个定理的几个推广。     

关于r进制表示法的一个问题数码和问题的探讨

设r>1是一个固定的正整数,则每一个正整数x都可以唯一地表示成x=anrn+an-1rn-1+…+a1r+a0其中ai为非负整数且≤r-1,0≤i≤n,an≠0.在序列{0,1,2…,r-1}上定义有界算术函数f(m),f(0)=0.令Sf(x)= ni=0f(ai),Br,f,k(x)=1x i≤x(Sf(i))k,k为任意给定的正整数.证明了Br,f,k(x)=f(1)+…+f(r-1)rklogkrx+O(logk-1rx)=f(1)+…+f(r-1)rklogkrx.     

关于MYCIELSKI方程的推广

Jan Mycielski 曾研究一类不定方程:x~xx~y=Z~z;x~xy~zZ~y=x~yy~z=z~x。本文将来上述方程推广为x_1~(x_2)x_2~(x_3)………x_k~(x_y) x_2~(x_1)=1(?),x>2,z>1,k≥3x_1~(x_1)x_2~(x_3)x_3~(x_4)………x_(k-1)~(x_(k-1))x_(k-1)~(x_k)=x_k~(x_2),x~2>1,k≥3x_1~(x2)x………x_(k-2)~(xk-1)x_(k-1)~(xk)=x_k~(x1),x_2>1,k≥3对于这些方程,我们分别地给出整数解(6-1)、(6-2);(7-1),(7-2)和(8-1),(8-2)。     

含有全部K元排列的短数列

设n,k都是正整数,k≤n。设函数F(n,k)具有下述性质:存在一个长度为F(n,k)的数列S_(n,k,)对每一个i,1≤i≤k,它的前F(n,i)项以1,2,…,n的全部i元排列为其子数列,并且任何长度小于F(n,k)的数列不再满足这一条件。本文证明了下面的, 定理设1≤k≤n-1,F(n,k)的定义如上所述,则 F(n,k)≤k(n-1) 1-[k/6]-[(k 2)/6]这里[x]表示实数x的整数部分。     

关于B_6—序列

设A都非负整数集N的一个非空子集合。如果对于任意整数n,不定方程n=x_1 … x_h在A中至少有一个解x_i∈A,x_1≤…≤x_h,则称A为B_h—序列。我们用A(x)表示A之计数函数。本文中,我们证明了:如果A为B_6—序列且满足A(x~2)<<(A(x))~2(x→∞),则 liminfA(x)(logx)~(1/6)/x~(1/6)<∞。     

Riemann可积的充要条件

设 f:[a,b]→R,P={x_i|a≤x_0相似文献   

求解混合整数线性规划的降维搜索法

很多实际问题归结为解如下线性规划max C~TX AX=b (1) {X≥0 其中X=(x_1,…x_L,x_(L 1),…x_n)~T的x_1…x_L 为整数。降维搜索法求解这个问题,首先是从(1)的约束中除掉x_1…x_L为整数的要求,求出线性规划的最优解。此解若不为整数解,则从解的分量x_1开始取整,即令x_1=[x_1~(0)] 代入约束,在n-1维空间上求最优解。如果仍不是整数解,则继续在n-1维最优解中令分量x_2取整,求n-2维空间的最优解。若降维至n-r得一整数解,则依定理1,停止继续降维。此时的整数解为(1)的可行解。然后在此可行解的基础上在x的两边进行左右搜索,用新的更优的可行整数解代替原有的可行整数解。用定理(2)和(3)判别是否停止搜索,搜索完毕便得n-r 1维(1≤r≤L)的一个最优整数解。然后求出所有n-r 1维的最优整数解,比较所有n-r 1维的最优解,得n-r 2维的一个最优整数解,如此类推,一定可求得原问题(1)的最优整数解。降维搜索法可以完全平行地推广到求非线性规划的整数解。     

迭代序列x_(n+1)=(α+βx_(n-k))/(1+sum from i=1 to k x_(n-i+1)~γ)的全局性质

通过函数f(x)=(α+βx)/(1+kxγ)在[0,+∞)上的单调性,并利用上下极限方法得到了非线性差分方程x_(n+1)=(α+βx_(n-k))/(1+sum from i=1 to k x_(n-i+1)~γ)正平衡点的全局吸引性,同时还得到正振动解的半循环分布.其中α>0,0<β<1,0<γ≤1,k∈N,x-k…x0是任意非负实数.     

一类n阶完全常微分方程边值问题解的存在性

用Leray-Schauder不动点定理,讨论完全n阶边值问题:{-u~((n))(t)=f(t,u(t),u′(t),…,u~((n-1))(t)), t∈[0,1],u~((i))(0)=0, i=0,1,2,…,n-2,u~((n-1))(1)=0烅烄烆解的存在性,其中f:[0,1]×R~n→R为连续函数.在一个允许f(t,x_0,x_1,…,x_(n-1))关于x_i(i=0,1,2,…,n-1)超线性增长的不等式条件及f(t,x_0,x_1,…,x_(n-1))关于x_(n-1)满足Nagumo型增长的条件下,得到了该问题解的存在性.     

Vandermonde行列式的一个推广与一类多重积分的计算

定义了与函数相关的Vandermonde行列式,从而得到了多重积分∫_Eφ~(n)(∑_(i=0)~na_ix_i)dx_1dx_2…dx_n的一般计算公式,其中E={(x_1,x_2,…,x_n)|∑_(i=1)~na_ix_i≤1,x_i≥0,i=1,2,…,n},x_0=1-∑_(i=1)~nx_i,并给出了若干特例。     

多调和算子组的谱估计

设Ω是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))     

关于若干整数分拆问题

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证明的一个主要定理。参考文献中的一个错误同时被更正。     

求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。