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)     

显式完全平方守恒差分格式的构造及其初步检验

构造完全平方守恒型差分格式是克服非线性计算不稳定的重要措施之一,并且在大气和海洋问题的数值模拟中已得到广泛的应用。以往构造的完全平方守恒的差分格式一般是隐式的,而具体求解时总是化为显式方式近似地求解。既然如此,能否直接构造出显式的完全平方守恒或完全能量守恒的差分格式呢?答案是肯定的。在文献[1]的基础上,本文采用加耗散的方式构造了多种形式的显式完全平方守恒的差分格式,并用Rossby-Haurwitz波进行了初步的检验,结果令人满意。     

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

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,     

核反应动力学中的一个半线性抛物型方程组

本文讨论核反应动力学数学模型的半线性抛物型方程组的初边值问题正平衡解的存在性与门槛结果,其中u_1是中于通量,u_2是反应堆温度.a,b,α>0,Ω(?)R~N有界,(?)Ω∈C~β,u_(10)(x),u_(20)(x)∈C~β(Ω),0 <β<1,n是(?)Ω上的单位外法向.(1)式的边界条件表示系统与外界有热交换.当α=0,即系统绝热时,许多作者都讨论过(1)式的解的整体存在性、渐近性和爆破问题,见文献[1,2]及其参考文献.由抛物型方程组的经典结论容易知道(1)存在局部解且非负.同时容易证明,当B≤0时(1)式的解整体存在且一致趋于零(t→ ∞).下面我们只讨论B>0,作变换可认为B=1.先讨论(1)式的正平衡解的存在性.     

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

对区间对称矩阵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]如下:     

考虑非弹性碰撞的低浓度固液两相流动理学模型

用修正的BGK模型模拟粒间非弹性碰撞效应, 用Fokker-Planck扩散算子描述湍流-颗粒作用, 建立了低浓度固液两相流颗粒相的模型动理学方程和宏观水动力学方程组. 运用 Chapman-Enskog迭代法获得动理学方程的二阶近似解, 建立了颗粒相脉动应力和脉动能传导通量的显式本构关系. 建立的动理学模型在颗粒近乎弹性条件下简化为已有的模型, 为固液两相流模拟提供了一个实用模型.     

低维有限点集偏差的精确计算公式(Ⅲ)

本通信是文献[1]和[2]的继续.设d≥2,S_d={u_k(l≤k≤n)}是d维单位立方体G_d=[0,1)~d中的有限点集,u_k=(u_(1,k),u_(2,k),…,u_(d,k)满足u_(1.1)≤u_(1.2)≤…≤u_(1.n). 令u_0=(u_(1.0),u_(2.0),…,u_(α.0)=(0,0,…,0),u_(n 1)=(u_(1,n 1),u_(2,n 1),…,u_(d.n 1))=(1,1,…,1).对于每个l_1(l_1=0,1,…,n)按递增顺序排列 u_(2.j)(j=0,1,…,l_1,n 1),并将它们记作     

对Davenport定理的一点改进

设a,c,…表示n维实欧氏空间中的实向量,而|a|=|(u_1,u_2,…,u_n)|=(u_1~2 u_2~2 … u_n~2)~(1/2)表示a的长度。又设a_1,a_2,…a_n,是n维实欧氏空间中线性无关的实向量。称由全体形如     

关于本原矩阵严格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     

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

众所周知,代数数域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中是相结合的),则     

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

其中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,就一定可化为     

超越连分数

一、引言和结果如果(a_n)和(b_n),n=1,2,…,是两个正整数序列,在Perron的记号下,实无理数A和B分别定义为简单连分数[a_1,a_2,a_3,…]和[b_1,b_2,b_3,…]。本文的目的是在比文献[2]和[3]给出的稍微弱的条件下,建立如下的结果:     

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))。     

半隐式完全平方守恒时间差分格式的构造及其初步检验

以往构造的完全平方守恒时间差分格式是完全隐式的,通常需要求解非线性方程组,故往往仅具有理论上的价值,虽然可以用“瞬时线性化”方法将其化为线性方程组求解,但它对积分时间步长又带来了新的限制,因此,计算量仍然嫌大。最近文献[2]设计出显式完全平方守恒时间差分格式,并通过了初步检验,这是一个很重要的进展。但显式格式时间积分步长由于显式计算稳定判据的约束,用做预报方案时需要的积分时间仍然过大,因而不利于推广使用。     

低浓度颗粒流Boltzmann方程的同伦分析方法解

同伦分析方法(homotopy analysis method, HAM)是求解强非线性问题的有力手段. 针对颗粒流的动理学理论中的非线性微分积分方程——?Boltzmann方程, 采用 HAM方法选取局域Maxwell速度分布函数作为初始猜测解, 得到了低浓度颗粒流的Boltzmann方程的一阶近似解, 与传统的Chapman-Enskog方法得到的一阶近似解表达式的结构一致, 初步显示了HAM方法求解Boltzmann方程的有效性, 为一般Boltzmann方程的HAM方法求解奠定了基础.     

二参数正态过程的马尔科夫性

设t(t_1,t_2)为平面上的点(图1),R_+~2=(t:t_1≥0,t_2≥0)中Borelσ-代数记为β。ξ={ξ,(ω),t∈R_+~2}为概率空间(Ω,(?),P)上的实值随机过程。t(t_1,t_2)≥s(s_1,s_2)如t_1≥s_i,i=1,2,R_t=(s:s_1≤t_1或s_2≤t_2),(?)=σ{ξ(?),s∈R_1},即括号中变量产生的σ-代数。称ξ为二参数马尔科夫过程(二马程),如对任意有界β可测函数f,任意u=(u_1,u_2)>t=(t_1,t_2)∈R_+~2,有     

谱展开法的非线性计算不稳定的例子

非定常流体力学问题(包括数值天气预报问题)大多是非线性方程的求解问题,如果采用显式有限差分法求解,常常存在非线性计算不稳定的现象,在文献[1,2]中已给出许多这种不稳定的例子.正如在文献[1]中所指出的,为了抑制和克服这种不稳定性,保持上述物理问题的平方守恒性(包括能量守恒性)是十分重要的。谱展开法是一种有效的近似求解方法,它比     

环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]给出了本原多项式的系数     

更新序列的圈积的f序列的明显表达式

Kingman于1966年用概率方法证明了更新序列理论中的一个十分重要的结果(参看:J.R.Statist.Soc.B, 28(1966), 417—447):若u=(u_0,u_1,…)和V=(v_0,v_1,…)是两个更新序列,则n和V的圈积n(?)V=(u_0v_0,u_1v_1,…,)也是一个更新序列。作者用分析方法也证明了这一结果,但至今却还未能求出圈积u(?)V的f序列的明显表达式,尽管u(?)u本身的表达式(u_0v_0,u_1v_1,…)是如此简单,最近作者解决了这个问题,其结果陈述如下。     

二元周期序列相关函数的估计

引言一个二元序列是指a=(a_1,a_2,…,a_n,…),其中a_n=+1或-1.(1)以A_n表示满足条件a_1=a_(n+1) (i=1,2,…)的二元序列全体,显然|A_n|=2~n。这里|A_n|表示集合A_n的元素个数。设(1)式中的二元序列a∈A_n,在数字通信等领域中广泛采用下面两种自相关函数: