余作用交叉积的顺从性

对C~*-动力系统(A,G,α),Green证明了当A,G都顺从时,A×G也是顺从的Lau和Paterson在1991年证明了当A×G顺从时,A顺从。自然地当δ为局部紧群G在A上的余作用时是否仍有相应结论?我们知道A的顺从性等价于A(?)K(L~2(G))的顺从性,又由Katayama对偶定理知(A×G)×G≌A(?)K(L~2(G))。设δ对应的G在A×G上按常规意义下的作用为α,则(A×G)×G≌(A×G)×G。若G顺从,则有:(A×G)×G≌(A×G)×G≌(A×G)×G≌A(?)K(L~2(G))。从而此时A的顺从性等价于A×G的顺从性。对照作用结论余下的只要证明若A为顺从(G不一定顺从)时,有A×G是顺从的。     

C~*-代数映象环面的注记

设(A,Z,α)是C~*-动力系统,并且α~n=id,这里n是固定的正整数。自然要问C~*-叉积A×~αZ与A×~αZ_β之间有何关系。结果如下: A×_αZ≌M(A×_αZ_β), 其中M(A×_αZ_n)是的映象环面,而(A×_αZ_n,Z_x,)是(A,Z_n,α)的对偶系统。     

关于奥尔里奇空间内的线性积分算子

设M_1(u)、N_1(v),M_2(u)、N_2(v)和Φ(u)、ψ(v)是三对互补的N函数.F和G分别是两个欧氏空间的有界闭集.对应的奥尔里奇函数空间分别记为L_(M1)~*(F)、L_(N1)~*(F),L_(M2)~*(G)、L_(N2)~*(G)和L_Φ~*(G×F)、L_ψ~*(G×F),或简单记作L_M~*     

高斯整数环上的二阶线性群

记Z[i]为高斯整数环;G_2=GL(2,Z[i]);G_2~(±)={X∈G_2|detX=±1};G_2~ =SL(2,Z[i]);G_2和G_2~ 的射影群记为PG_2和PG_2~ (注意G_2~±的射影群等于PG_2~ )。任一X∈G_2在PG_2中的像记为∑X,任一X∈G_2~ 在PG_2~ 中的像记为±X,任一群C的自同构群记为A(G),G的换位子群记为G＇,X→(?)表复数共轭在群上诱导出的自同构,并记     

一类l-群的判定问题

对任何拓扑空间I,令C(I)(C~*(I))表示I上所有(有界)实值连续函数的集合。C(I),C~*(I)均构成有单位元的可换环,同时又是分配格。50年代以来,对环C(I),C~*(I)的一阶理论,它们与I的相互关系都已被广泛研究。1980年,Cherlin还证明,对大多数拓扑空间I,环C(I)的初等理论     

全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

矩阵正定性的分块判定

本文研究实矩阵(未必对称)和复矩阵(未必是Hermite阵)在下述意义下的正定性分块判定法或称逐次降P(≥2)阶判定法。 定义 设A∈R~(n×n),若对任何0≠x∈ R~(n×1)都有x~TAx>0,则称A为(实)正定阵。一般地,设A∈C~(n×n),若对任何0≠     

边色数的分类问题及其有关性质

设图G为简单连通图,由Vizing定理可知△(G)≤x′(G)≤△(G)+1。其中,△(G)表示图G的最大顶点次,x′(G)是图G的边色数。若x′(x)=△(G),则称G为第一类图,并记为G∈C~1;若 x′(G)=△(G)+1,则称G为第二类图,记为G∈C~2。本文的目的在于讨论边色数的分类问题及其有关性     

S_p(4,K)的单模的扩张(Ⅱ)

设G=S_p(4,K),K是特征数p>0的代数闭域。在文献[1]中笔者对奇素数p完全确定了单G-模的扩张,本文讨论P=2的情形。由于对某些λ∈X_1(T),Ext_(G_1)~1(L(λ),L(λ))可以不等于零,相应的讨论要比奇素数p的情形复杂一些。除非另外说明,我们仍使用文献[1]的记号。     

关于矩阵条件数的界

设矩阵A∈C~(m×n),非奇异.把A看作C~n中的线性算子时,对应于C~n中任何一种范数‖x‖矩阵A都有相应的算子范数     

关于算子方程A=A~*C

H是复Hilbert空间,B(H)是H上有界线性算子全体,C是复数域。对任何A,A~(-1)∈B(H),文献[1]中称算子C=A~(*-1)A为A的极·积算子,文献[1]对C作了较多研究,文献[2]中以极·积算子为工具,给出H上算子方程λA~2+μA~(*2)=αA~*A+βAA~*(λ,μ,α,β∈C)可解性的研究,并写出了它的全部解。文献[2]中主要用到当C为正常算子时,方程C=A~(*-1)A可解的充要条件以及它的全部解的表达式(见文献[1]定理5)。这就很自然地促使人们研究     

调和Hardy空间和混合模空间之间的连续嵌入

设D={x∈R~n;λ(x)<0}是一具有光滑边界的有界区域,λ∈C~∞(R~n)是D的一个定义函数,(?)λ在(?)D={x∈R~n;λ(x)=0}的某个邻域内处处不为零.对r>0,我们以dσ_r和dσ分别记(?)D_r={x∈R~n; λ(x)=-r}和(?)D上的n-1维Hausdorff测度,而以dm记R~n中的Lebesgue测度D上复值调和函数的全体记h(D)对f∈h(D)及非负整数m,置grad_mf为f的m阶梯度,其模为此处α=(α_1,α_2,…α_n)为n重指标,|α|=α_1+α_2+…+α_n,grad(?)=f.对0相似文献   

人造金刚石低压合成的非平衡定态相图研究

人造金刚石能实现低压稳定的生长,同时可出现石墨的消蚀,对此无法用经典热力学来加以解释.用非平衡热力学耦合理论,可以对人造金刚石的低压合成作出明确的回答.对恒温恒压反应过程,用Gibbs自由能,(G)的变化来判断反应方向.(1)C(石墨)=C(金刚石);低压下,△G_1>0;反应自发地向左方.(2)H~*=1/2H_2,△G2<<0;反应强烈趋向于右方.反应(1)与(2)发生热力学耦合时,(3)=(1)+χ(2),C(石墨)+χH~*=χ/2 H_2+C(金刚石),只要耦合参数χ不是很小,△G_3=△G_1+χ△G_2<0;反应将趋向于右方.所以,有足够超平衡浓度     

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

本文讨论核反应动力学数学模型的半线性抛物型方程组的初边值问题正平衡解的存在性与门槛结果,其中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)式的正平衡解的存在性.     

包装(P,P—1)(P,P)图对和Slater问题

设G是简单无向图。V(G),E(G)分别表示G的顶点集和边集。如果|E(G)|=|V(G)|-K,则称G是(P,P—K)图。对于同阶图对{G_1,G_2},如果G_1与的某个子图同构,则称图对{G_1,G_2}是可包装     

允许素数阶互素自同构的有限解

本文中涉及的群都是指有限群。文中使用的一切符号的意义遵循文献[1]。 首先作一说明。设群G允许素数r阶自同构α,且r|G|。令A=<α>,那末C_G(α)=C_G(A),且G的“A不变子群”与“α不变子群”等同,所以在涉及此情形时,我们可应用文献[1]定理6.2.2.     

关于禁用子图与Hamilton性的新结果

不含导出子图同构于K_(1,3)或F的图称{K_(1,3),F}-free图.设图G含有无弦的点控制圈(简称VD-圈):C=C_1C_2…C_kC_1,并假定依下标顺序给定一正向.用C_(ij)表示沿C的正向从C_i到C_j的一段道路.如果{C_i,C_j}是G的2-割集,当G无爪(K_(1,3)-free)时,G-{C_i,C_j}恰有两个分支.用G_(ij)表示G的满足G_(ij)∩C=C_(ij)的极大连通子图.设P=v_0v_1…v_(d-1)v_d是G的一条直径路,X={x∈V|d(x,P)>l}.当G是{K_(1,3),F}-free图且d≥3时,同文献[1]定义     

S~7上无Lie群构造

首先我们列出以下八个熟知的结果: 引理1 连通紧致Lie群G是其中心C(G)和若干个连通单正规子群G_1,…,G_s的乘积。即 G=C(G)·G_1…G_s,其中G~*=G_1…G_s是G的半单连通正规     

α混合相依下非参数核回归的相合性

设{(Y_t,Z_t),t=0,±1,±2,…}为定义在概率空间(Ω,(?),(?))上取值于R~p×R~1的随机平稳序列,若E|Z_t|<∞,则回归函数(?)(y)=E(Z_t|Y_t=y)存在.设(Y_1,Z_1),(Y_2,Z_2),…,(Y_n,Z_n)为该平稳序列的一个样本量为n的实现,则(?)(y)的Nadaraya-Watson估计即(?)_n(y)=sum fron i=1 to n Z_i K(y-Y_i/h_n)/ sum from j=1 to n K(y-Y_j/h_n),这里h_n为正常数(窗宽),K(·)是R~p上的非负Borel可测核函数.本文中0/0定义为0.若Y_t=(Z_(t-1),…,Z_(t-p)＇,此在非线性时序中具有特别的兴趣,(?)(y)即为自回归函数.为讨论(1)式的渐近性质,文献中要求平稳序列具有一定的混合性,比较典型的有:(?)混合,ρ混合β混合,α混合.其中α混合具有特别的兴趣:首先由其他3种混合性可推出a混合,α混合是对序列相依较为宽容的限制;其次,在非线性时序中,在一些可验证的条件下,非线性模型具有几何遍历性(见文献[1,2]及An和Huang~1),Lu~(2)～4)等),由其可得β混合,从而α混合,且混合系数以几何速度收敛于0.基于这些,本文在α混合下讨论(1)式的渐近性.定义 称平稳序列{(Y_t,Z_t),t=0,±1,±2,…}为α混合,若α(k)=sup|P(AB)-P(A)P(B)|→0.(2)当k→∞时,其中(?)_a~b表示由{(Y_t,Z_t),α≤t≤b}生成的σ代数,α(k)称为混合系数.     

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残留图,如果对