t可约m×n 二部分竞赛图的得分表偶

设(X,Y)是m×n 二部分竞赛图T_(m,n)的顶点集合V(T_(m,n))的有序分划,其中X=(x_1,x_2,…,x_m},Y={y_1,y_2,…,y_n},x_i、y_j 在T_(m,n)中的得分分别为a_i、b_j,l≤i≤m,l≤j≤(?),且a_1≤a_2≤…≤a_m,b_1≤b_2≤…≤b_n.记A=(a_1,a_2,…,a_m),B=(b_1,b_2,…,b_n),则T_(m,n)     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

一类描述非混沌映射的符号动力系统

1 符号空间上—类非混沌的动力系统设A_0=A_1=A_2=…={0,1},X=multiply from i=0 to ∞ (A_i).对整数k≥2,在X上定义度量d_k及d′_k为,对任a=(a_0,a_1,a_2,…)及b=(b_0,b_1,b_2,…)∈x,     

非线性三种群的空间周期解

其中x_i是第i个种群的数量,r_i是第i个种群的生长率,实系数a_i,b_i,c_i反应了种群自身及相互间的关系.May讨论了当方程(1)满足:i) r_1=r_2=r_3>0,ii) b_1=c_2=a_3=-α,iii)c_1=a_2=b_3=-β三组条件时,存在空间周期解的条件及解的几何性质.文献[1]的结论引起了生物数学工作者的极大兴趣,其后出现了对方程(1)讨论的一系列文章.但在空间周期解方面均未见有好的结果,甚至当方程(1)描述捕食与被捕食系统时是否存在空间周期解都不知道.本文将用齐次向量场的基本理论来解决这一问题.如果方程(1)中r_1=r_2=r_3,就一定可化为     

具有给定理想类群的代数数域的算术刻划

众所周知,代数数域K的理想类数h(K)等于1的充要条件是域K的整数环O_k为唯一因子分解整区,后者是说,如果a_1…,a_n,b_1,…,b_m均是环O_K中的不可约元素,并且a_1…a_n～b_1…b_m(这里a～b是指a和b在O_K中是相结合的),则     

广义Kac-Moody代数模的权链与权集

广义Kac-Moody代数的概念是由Borcherds首先引入的,普通Kac-Moody代数的许多结果都可推广到其上去(详见文献[1]和[2]中§11.13),本文讨论了广义Kac-Moody代数模L(A)的权链和权集的某些性质.设A=(a_(ij))_(n×n)为一实矩阵且满足(Cl)a_(li)=2或a_(ii)≤0,(C2)a_(ij)≤O,如果i≠j;a_(ij)∈Z,如果a_(ii)=2,(C3)a_(ij)=O当且仅当a_(ji)=0,     

单叶函数Hadamard型乘积的一点注记

设S={f(z)=z+a_2+z_2+…|f(z)在单位圆内单叶解析}。f(z)=z+a_2z~2+…和g(z)=z+b_2z~2…的Hadamard型乘积定义为f(z)~*g(z)     

环Z/(2e)上本原序列最高权位的0,1分布(Ⅱ)

设f(x)=x~n c_(n-1)x~(n-1) … C_0是Z/(2~e)上首一多项式,适合关系式a_(i n)=-(c_0a_i c_1a_(i 1) … c_(n-1)a_(i n-1)),i=0,1,2,…(1)的Z/(2~e)上序列a=(a_0,a_1,…)称由f(x)生成的线性递归序列,由f(x)生成的Z/(2~e)上的所有序列的集合记为G(f(x))_e,并记G’(f(x))_e={a∈G(f(x))_e│a≠0 mod 2}.递归式(1)等价于关系式f(x)a=0=(0,0,…),其中x表示移位算子,即xa=(a_1,a_2,a_3,…).Z/(2~e)上序列a有唯一权位分解a=a_0 a_12 … a_(e-1)2~(e-1),其中a_i=(a_(i0),a_(i1),…)是0,1序列,并称a_i是a的第i权位序列,称a_(e-1)为a的最高权位序列.对Z/(2~e)上首一n次多项式f(x),若f(0)(即c_0)是可逆元,则由文献[1],f(x)的周期per(f(x))_e≤2~(e-1)(2~n-1).当per(f(x))=2~(e-1)(2~n-1)时,称f(x)是Z/(2~e)上n次本原多项式,并称G’(f(x))_e中序列为f(x)生成的本原序列.文献[2]给出了本原多项式的系数     

同伦单纯轮迴算法

我们证明了以下定理: 定理1 设I~m=[a_1,b_1]×…×[a_m,b_m],{T~(?)i)为I~m×[0,1]的正常单纯剖分序列,H:I~m×[0,1]→R~m为同伦,H~(-1)(0)={(x,t) H(x,t)=0,(x,t)∈I~m×[0,1]}。已给η>0,我们记Z_η={(x,t)∈I~m×[0,1]|ρ((x,t),H~(-1)(0))<η},其中ρ为点(x,t)到集合H~(-1)(0)的距离。则存在     

关于本原矩阵严格Hall指数的一个猜想

设B_n是所有n阶布尔矩阵的集合,对A=(a_(ij)),B=(b_(ij))∈B_n,若a_(ij)≤b_(ij),i,j=1,2,…,n,则记A≤B。如果存在正整数k,使A~k=J_n(全1方阵),那么A∈B_n称为本原矩阵。这样最小的k称为A的本原指数,记作γ(A)。B_n中所有本原矩阵的集合记为P_n。如果存在置换矩阵Q,使Q≤A,那么A∈B_n     

de Bruijn-Good图的同态

设F_2~n是二元域F_2上的n维向量空间,其中n≥1。以F_2~n的2~n个元作顶点,从每一个顶点a=(a_0,a_1,…,a_(n-1))出发,向顶点b=(a_1,a_2,…,a_(n-1),0)和b′=(a_1,…,a_(n-1),1)各做一条有向弧,得到一个有向图G_n,称为n级de Bruijn-Good图。从顶点a=(a_0,a_1,…,a_(n-1))到顶点b=(a_1,…,a_(n-1),a_n)的有向弧记作a→b或记作(a_0,a_1,…,a_(n-1),a_n)。因此G_n是以F_2~n为顶点集,F_2~(n 1)为弧集的有向图,即有G_n=(F_2~n,F_2~(n 1))。     

关于二类Riemann Zeta函数恒等式的二个递推公式

对任意的复数s,设ζ(s)表示RiemannZeta函数,当Re(s)>1时有ζ(s)=sum from n=1 to∞(1/n~s).定义A(n,k,l)=sum from a_1 a_2 … a_k=n(a_1a_2…a_k)~1ζ(2a_1)…ζ(2a_k),(1)其中n≥k为整数,a_1 a_2 … a_k=n表示对所有满足该式的k维正整数组(a_1,a_2,…,a_k)求和,本文的主要目的是研究(1)式的求和计算问题.     

关于单叶函数的局部极大值定理

本文在某些条件下,利用龚升同志的方法,对局部极大值定理中的ε_n作定量的估计,主要结果如下。设S表示在单位圆|z|<1内正则、单叶函数f(z)=z+a_2z~2+a_3z~3+…的全体所组成的函数族。     

乘域的一个性质

设m、n是正整数,n元集合F对于代数运算是闭的,即F是n元乘域。本文将证明: 定理 如果F的2m元子集G对此代数运算构成直积分解中仅有一个偶数阶群以及条件A:对于α∈F,β∈F\G,必有αβ∈F\G以及βα∈F\G的Abel群,则对于F中所有元素的任何两个排列α_1,…,α_n和b_1,…,b_n,相应的F′={a_1b_1,…,a_nb_n}≠F。     

关于二类Riemann Zeta函数恒等式的二个递推公式

<正>对任意的复数s,设ζ(s)表示RiemannZeta函数,当Re(s)>1时有ζ(s)=sum from n=1 to∞(1/n~s).定义A(n,k,l)=sum from a_1+a_2+…+a_k=n(a_1a_2…a_k)~1ζ(2a_1)…ζ(2a_k),(1)其中n≥k为整数,a_1+a_2+…+a_k=n表示对所有满足该式的k维正整数组(a_1,a_2,…,a_k)求和,本文的主要目的是研究(1)式的求和计算问题.     

位数码之和的幂的平均阶

用s(n)表示正整数n的十进制表示中位数码之和,例如,若n=b_r10~r+b_(r-1)10~(r-1)+…+b_110+b_0,则s(n)=b_r+b_(r-1)+…+b_1+b_0. 1/x sum from n≤x (s(n))~k=(9/2)~klog~kx+O(log)~(k-1/3x)。 Cooper与Kennedy证明了对于任何固定的k∈N,有他们还明了     

关于无限方阵的Jordan标准形

本文讨论在任一不可数代数闭域上及任一有限域上把某些无限方阵化为Jordan标准形的问题.所用的方法主要是沟通有限方阵与无限方阵的紧致性论证,其根据是文献[1]中的结果及模型论中的紧致性定理.本文中设F为一不可数代数闭域或有限域.对F上的无限方阵A附加某些条件(见定理1～3),证明这些A可以在一种弱意义下相似于Jordan标准形或对角形(关于“弱意义”的含意,见定理1后面的说明).定义1 设A为F上的无限方阵.如果A的每一行都只含有限个非0元,称A为行有限的(这样的A,可用以左乘F上的任何无限方阵).仿此定义列有限性.定义2 设B=(b_(ij))为F上的无限方阵.如果B适合:诸b_(ii)相等,诸b_(ii+1)均为1,其他b_(ij)均为零,则称B为一无限Jordan块.     

Chowla-Cowles关于Apèry数的猜想

1978年在赫尔辛基召开的ICM会议上,Apéry宣布了ζ(3)=sum from n=1 to ∞ 1/n~3是无理数。他在证明中引入Apéry数a_n(n=0,1,2,…),满足递归式a_0=1,a_1=5,n~3a_n—(34n~3—51n~2 27n—5)_a_(n-1) (n—1)~3a_(n-2)=0。     

多孔介质中两相不可压流驱动问题的新数值方法及理论分析

多孔介质中渗流驱动问题的一般数学模型是关于压力和浓度的耦合非线性偏微分方程组.本文考虑不可压二相流驱动问题,采用一种新的数值方法求解浓度方程,建立了可显式计算的数值格式,即在每个离散时间层上直接给出近似解的显式表达式,克服了用有限元或差分法进行数值计算时必须解大型代数方程组的困难.由于求解是显式的,容易实现并行计算,计算格式是无条件稳定的.文中给出近似解的最优阶误差估计和格式的稳定性分析.1 数值格式考虑二相不可压混溶流(对不混溶情况可完全类似地讨论)驱动问题的初边值问题其中Ω=(a_1,b_1)×(a_2,b_2)是R~2中的有界矩形区域.J=(0,T],p是压力,u=(u_1,u_2)是Darcy速度,c是一相流体的浓度,φ是岩石的孔隙度,是扩散矩阵,n是(?)Ω单位外法向量,其余参数的物理意义见文献[1～6].相容性和唯一性条件分别是     

关于对角型不定方程sum from i=1 to n(a_ix_i~u)=0

文献[1]有一个猜想:m是正偶数,整数a,b,c满足(a±b±c)(a±b)(a±c)(b±c)≠0,u充分大且使q=um+1素,则不定方程ax~u+by~u= cz~u仅有平凡解.Granville证明了此猜想.本文在较少的条件下,对更一般的问题得到了更好的结论.定义 a_1,…,a_n是整数,ε_i∈{0,1,-1},若sum from i=1 to nε_ia_i=0当且仅当ε_i全为零,则称整数 a_1,…,a_n简单无关.定理 设m>1是整数,a_1,…,a_n简单无关,且