n-可扩图的局部邻域条件娄定俊

设G是阶为v的图且具有完美对集。设n是正整数,满足n≤(v-2)/2.G称为n-可扩的,是说:G中任意n条独立边包含在G的一个完美对集中。 设G是一个图且v∈V(G)。定义N_k(v)={u|u∈V(G)且d(u,v)=k}。设u,v∈V(G)满足d(u,v)=2.记I(u,v)=|N(u)∩N(v)|。定义散度α~*(u,v)如下: n_(u+v)(W)=max{|S||w∈N(u)∩N(v),S是G[{w}∪N_G(w)]中包含u和v的独立集},     

积分语言族的强可识性、半可识性与语言族的强替换性

令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L ∑~*为∑上的语言,x L(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。 郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识     

更新序列对于圈乘运算的封闭性

f叫做u的f序列,有时,u叫做由f产生的更新序列。 定义3 设u和v是两个更新序列,令 w_n=u_nv_n(n=0,1,2,…),称w=(w_0,w_1,…)为u和v的圈积,并记为w     

更新序列圈乘运算封闭性的一个证明

得到的数列u=(u_0,u_1,…)被称为f产生的更新序列。f则叫做u的f-序列。若v=(v_0,v_1,…),w=(w_0,w_1,…)是两个更新序列,令u_n=v_nw_n(n=0,1,…),则称u=(u_0,u_1,…)为v与w的圈积,记作u=vw,称为圈乘运算。     

Abel正则语言的毕竟周期性

定义1 (ⅰ).关于么半群M的子集S,P_s表示M上的如下同余:xP_(sy),当且仅当(?)u,v∈M(uxv∈S(?)uyv∈S);(ⅱ).么半群M(有限集合∑生成的自由么半群∑’)的子集s(L)称为M的正则子集(∑上的正则语言),或M的Abel子集(∑上的Abel语言),如果P_s(P_L)指数有限,或商么半群M/P_s(∑~*/P_L)交换。 定义2 令∑为一有限集合,L_1,L_2为∑上的两个语言(即∑~*的两个子集)且     

关于代数函数的唯一和确定问题

本文给出代数函数的唯一性定理: 定理1 假定w(z)和(z)分别是v值和u值代数函数,并且u≤v,如果存在α_0,α_1,…,α_v,c_1,…,C_v∈,两两不同,以及z_1,(l=1,…,v):D(z_1,…,z_v)≠0,使得E_j=E(α_j,w)=E(α_j,)(j=0,1,…,v)和w_(pl)(z_1)=(?)_(ql)(z_1)=‘c_l(l=1,     

三角域上的Walsh函数

对著名的Rademacher函数与Walsh函数在三角域上的构造性研究目前结果极少。本文给出如下新结果: 1.三角域上Rademacher函数定义 设△为三角形区域,取它为坐标三角形。设点P不是顶点,坐标为(u,v,w),规定0≤u,v,w<1,且u+v+w=1。令u,v,w的二进制表示为     

三角域上的Bernstein多项式的凸性

在三角形T上定义并称之为T上的n次Bernstein多项式,其中(u,v,w)是点P关于三角形T的重心座标.     

Opial不等式之进一步推广

定理1 令在u≥0上P(u)及Q(u)非减且Q为凸,P(0)=Q(0)=0,Q~(-1)(v)为Q(u)之右连续逆;则当f∈AC[a,b],f(a)=0时     

关于自反Orlicz空间和J.L.Lions引理

设L_M~*(G)是N函数M(u)和欧氏空间中的有界闭集G定义的Orlicz空间。定理1 L_M~*(G)为自反空间的充要条件是存在互余的N函数φ(u)、ψ(v)和常数K≥C>0使当     

关于连通图幂中边不交1-因子

我们总假设G=(V,E)为p阶连通简单图,n为自然数.G的n次幂图G~n定义如下:V(G~n)=V(G),E(G~n)={uv:d_G(u,v)≤n,u,v∈V(G)},式中d_G(u,v)是u和v在G中的距离. 1984年,Nebesk(?)证明了:当P为偶数     

Hamilton图的一个充分条件

设G=G(V,E)为简单图。d(u)表G中顶点u的度,d(u,v)表顶点u与v的距离。ω(G)表G的分支个数。本文证明了下述定理。 定理 阶数n≥3的简单图G满足下述两条件:     

局部n(弧)强连通有向图

G.Chartrand等在1974年提出了局部u连通的概念。本文将此概念推广到有向图(若有向图D中每个点的邻接点集的导出子图是n(弧)强连通的,则称D为局部n(弧)强连通的),然后给出了下面的定理。 定理1 任何弱连通的而且局部n弧强连通的有向图是(n+1)弧强连通的。 定理2 任何弱连通的而且局部n强连通的有向图是(n+1)强连通的。 定理2是G.Chartrand等的一个定理的推广,     

方程sum from i=1 to n(x_i/d_i)≡0(mod1)的解数和解的最小值

文献[1～3]论及了方程∑ｎｉ=1ｘｉｄｉ≡0(ｍｏｄ1),1≤ｘｉ≤ｄｉ-1,ｉ=1,2,…,ｎ(1)在估计有限域上对角方程的解数中的作用,给出了基本性质与若干缩减过程.更进一步使用与扩展这些性质与方法,本文给出下列各定理.本文的记号同文献[1,2]中基本一致,主要有:Ｉ(ｄ1,…,ｄｎ)表示方程(1)的解的个数;设Ｉ(ｄ1,…,ｄｎ)>0,定义Ｌ(ｄ1,…,ｄｎ)=ｍｉｎ∑ｎｉ=1ｘｉｄｉ∑ｎｉ=1ｘｉｄｉ≡0(ｍｏｄ1),1≤ｘｉ≤ｄｉ-1,ｉ=1,2,…,ｎ.定理1　1)若Ｉ(ｄ1,…,ｄｎ)=5,6,7或9,则Ｌ(ｄ1,…,ｄｎ)=ｎ2,这里记号[ｘ]表示不超过ｘ的最大整数.2)若Ｉ(ｄ1,……     

广义非线性Schrdinger方程组显式差分格式

物理、化学及工程等问题中,出现求解非线性复值函数Schrdinger方程及方程组z_t-iz_(xz) β|z|_z~p=0;w_i-iw_(xx) w(α|w|~2 β|v|~2)=2,v_t-iv_xx v(α|w|~2 β|v|~2)=0.     

关于对角型不定方程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简单无关,且     

关于紧带边流形的嵌入和分类

Haefliger和Hirsch在文献[1]中的定理3.1指出:设M是k连通n维闭流形,M_0=M—D~n,则有 (a) 如v≥2n-k-1,则M_0到R~v的任内浸均正则同伦于一个嵌入; (b) 如v≥2n-k,则M_0到R~v的任二个嵌入是正则同伦的,则它们是同痕的。     

酉群上的广义Fejér算子

设U_n是n阶酉群,u(U)是U_n上Lebesgue可积函数,则u(U)可以展开成Fourier级数 龚昇从Poisson-华核出发,定义了(1)式的方体平均,进而讨论了其收敛定理。此外,从系数出发,龚昇又给出了(1)式方体平均的又一定义:     

非线性定常系统极限环的存在与唯一性

1.设a,l、m、n、b为实数,对于非线性定常系统 dx/dt=ax-y+lx~2+mxy+ny~2 dy/dt=x+bxy (1) 得到定理1 若a=0,且l-b=0或m~2-4n(n+b)≥0,则系统(1)在整个平面上不可能有极限环。定理2 当真a≠0,但l=0或l-b=0时,系统(1)可分别在两奇点O(0,0)、N(0,1/n)外围出现极限环,但不能同时存在,如存在必唯一。定理3 若n=0或n+b=0成立,则当a≠0时,系统(1)可存在包含原点O的极限环,但最多一个。     

同伦满保持幂零性

称映射f:X→Y为同伦满(单),如果对任意的空间W及u,v:Y→W(u,v:W→X),u(?)f(?)v(?)f蕴涵u(?)v(f(?)u(?)f(?)v蕴涵u(?)v).在文献[1]中,林红与沈文淮证明了定理A 设f:X→Y为同伦满(单).如果X和Y是幂零空间,则f的p局部化f_p:X_p→Y_p亦是同伦满(单).这里p是素数或零.