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

得到的数列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,称为圈乘运算。     

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

本文给出代数函数的唯一性定理: 定理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的二进制表示为     

同伦满保持幂零性

称映射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是素数或零.     

更新序列的圈积的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,…)是如此简单,最近作者解决了这个问题,其结果陈述如下。     

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的独立集},     

L(p~(1,1))和w-E则语言

1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈∑~*,N∈∑~w,有时也把u、v分别记为u(0)u(1)…u(n)(若(u)=n 1)和刚v(0)v(1)v(2)….用w(m,n)记字w的从第m个位置起到第n个位置止的那一串符号构成的字.根据McNaughton的定理,w-E则语言可以通过非决定性的B(?)chi自动机来定义,也可以通过决定性的Muller自动机来定义.     

同伦满与同伦单的局部化

映射f:X→Y称为同伦满(同伦单),如果对任意空间W及映射u,v:Y→W(u,v:W→X),若u○f(?)v○f(f○u(?)f○v),则u(?)v.本文考虑同伦满与同伦单的局部化,即考虑下述问题.问题 设f:X→Y为同伦满(同伦单),问f的p-局部化f_p:X_p→Y_p是否为同伦满(同伦单)?这里p是素数或0.     

非凸2×2拟线性双曲组的黎曼问题

一、广义解的定义及其一般结构 本文考虑的问题是其中U=(u,v),F=(f,g),f,g——(u,v)平面开域G上的解析函数,U~±——G中任意常量。它是文献[1]的推广。如所周知,对它应考虑自模解U=U(ξ)(ξ=x/t),于是化为     

随机线性方程组的一个极限性质

考虑随机线性方程组这儿W_n=(w_(ij))_(nxn),w_(ij),i,j=1,2,…为一列iid随机变量序列且EW_(ij)=0。V_n=(α_1,…,α_n)′为n×1列向量,{α_n},n=1,2,…为一列常数序列。这类方程组在一些物理大系统中起着十分重要的作用.Geman和Hwang(参见Z.wahrsch.     

m-k_n×k_s残留图

本文将讨论m-k_u×k_s残留图。定义1 图G=(V,E)为简单图,u∈V,集合N~*(u)={v∈V|v与u邻接}U{u}叫做u的闭邻域。定义2 G叫做F残留图,F是指定的图,如果对每一点u∈V(G),G-N~*(u)≌F,(≌表示同构)递归地定义,图G叫做是m-F残留图,如果对     

二阶混合型方程的广义Tricomi问题

1.问题的提出 在区域■(=■~ U■~-)中考虑混合型方程 Lw≡k(x,y)w_(xx) w_(yy) α(x,y)w_x β(x,y)w_y γ(x,y)w=f(x,y),(1)其中函数k(x,y)满足条件:yk>0当y≠0,k(x,0)=0,k∈C~1((?)),α,β,γ∈C((?)),f∈L_2((?))。(?)~ 的外边界是一条逐段光滑曲线Γ_0,两端和蜕型线上A,B点相连接,(?)~-的     

氮化硅纳米粒子的量子限制效应

G是一个连通图,SV(G)和u∈V(G),我们记 N(S)={v∈V(G)\S:存在w∈S使得vw∈E(G)}, N(u)={v∈V(G):uv∈E(G)},分别称为S和u点在G中的邻域.进一步,N(u)=N(u)∪{u},u点的闭邻域,和 G(u)=G[N(u)]     

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时     

变分不等式的并行Schwarz算法

设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使     

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

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

度序列已给定的部分标定图的重构问题

设G=(V,E)是简单、无向的p阶部分标定图,V={v_1…,v_p},p≥3。设u,v∈V,X,Y(?)V。记N_Y(v)为顶点v在Y中的邻集,d_Y(v)=|N_Y(v)|为v关于Y的度,为v关于Y的邻接向量,它的第i个分量为0(或1),对应于v与y的第i个顶点不邻接(或邻接)。若d_Y(u)=d_Y(v),称u,v,关于Y等度;若u,v(?)Y,且u(Y)=v(Y),称u,v,关于Y     

半空间上半线性椭圆型方程组正解的对称性

1979年,Gidas等人用平移平面法结合极大值原理讨论了椭圆型方程正解的对称性和单调性.此后十几年中,这方面的研究工作开展得十分活跃,如Gidas等人证明了“如果u∈C~2(?)是方程面△u u~p=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│X_N>0│中的非负解,12是空间维数,则u只依赖于X_N”正如文献[2]中指出的那样,这个结果好就好在对解在无穷远处未加限制.1993年,Berestycki等人应用文献[4]中提出的滑动方法证明了“如果u∈C~2(?)是方程△u f(u)=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│x_N>0│中的正解,且supu=M< ∞,f是[0,M]上的Lipschitz连续函数,f(M)≤0,则u只依赖于X_N”上述这些结果,以及由此产生的各种方法,如平移平面法、滑动方法、窄区域上的极值原理等等,对我们研究非线性椭圆型方程的解的对称性、单调性及解的先验估计等提供了某些行之有效的办法.关于半线性椭圆型方程组的解的对称性和单调性研究,至今为止还未广泛开展.众所周     

代数体函数的一个基本不等式

设w=w(z)为一v值代数体函数,它由不可约方程     

Toeplitz算子酉等价的某些问题

在文献[1]中,Cowen证明:定理C 若f=hou,g=hov,其中h∈L~∞((?)D),u和v为阶数相同的内函数,则Toeplitz算子T_f与T_g酉等价(记为T_f(?)T_g)。Cowen问道:(Ⅰ)定理C的逆何时成立?(Ⅱ)定理C的逆是否对一切非正规Toeplitz算子成立?本文将证明问题(Ⅱ)的答案是否定的。此外,当由Toeplitz算子T_f(或T_g)的Symbol f(相应地,g)生成的