高维M(?)bius群的Shimizu-Leutbecher定理

二维的Shimixu-Leutbecher定理,是判断平面上一个包含抛物元素的M(?)bius群是否离散的重要条件,也是著名的ζφrgen-son不等式的一个重要推论.由于高维M(?)bius群与平面M(?)bius群有着许多本质的差异,如何在高维建立Jφrgenson不等式一直是当今复分析领域的一个十分活跃的课题.本文利用Clifford矩阵给出了高维空间的Shimizu-Leutbecher定理.且利用这个定理,具体得到了一类保持上半空间不变的M(?)bius群的稳定集.若M(?)表示n维空间(?)上所有保向     

复加权Plancherel公式与Jacobi变换

设v∈c,考虑复平面上单位圆盘D上的测度。设D(D)是由D上具有紧支集的C~∞函数组成的空间,D~#(D)是由D~#(D)中的径向函数组成的子空间.M(?)bius群SU(1,1)在D~#(D)上的表现T~v定义为　　则由射影表示T~v诱导出来的不变Laplace算子为　　设φ_λ~v(z)是满足φ_λ~v(0)=1和     

具有拟共形延拓单叶函数的菲茨杰拉德不等式

在比勃巴赫猜想的研究中,菲茨杰拉德不等式十分重要,由它可得到一系列重要结果。本文则将利用面积定理建立具有拟共形延拓单叶函数的菲茨杰拉德不等式。     

成语等式

图中两道等式是各由四句成语组成的．请把这些文字分别换成0—9的数字，相同文字换相同的数字，使等式成立。     

有界域解析映照的固有微分的估值

设(?)是复平面上的单位圆。f(z)在(?)解析并适合|f(z)|≤M,则Schwarz引理即     

整环上Mbius函数与一个逆问题的解

近年来,数论中著名的Mbius反演公式在物理学中得到了重要应用,其中包括黑体辐射逆问题,比热谱反演声子能态密度问题,费米体系与离子晶体中逆问题和由晶体结合能反演原子间对势的逆问题等。本文运用代数整环上Mbius反演公式得出了二维方格子中晶体结合能反演原子间对势的普遍而简洁的表达式,使Mbius反演公式的应用有了新的发展。     

一类群环R(π■Γ)的G_0和G_1群

对含单位元的右Noether环R,用G_0(R)和G_1(R)分别记Grothendieck群K_0(M_R)和Whitehead群K_1(μ_R),其中(?)_R是由一切有限生成右R模组成的交换范畴(见文献[1])。因此,G_0(R)是由以下生成元和定义关系表现的交换群:对每个M∈M_R有生成元[M],对(?)_R中每个正合序列0→M′→M→M″→0,有定义关系[M]=[M′] [M″]。G_1(R)     

使用等式替换策略的广义归结

本文将Robinson及Wos 1969年提出的等式替换策略应用于王湘浩及刘叙华1982年提出的广义归结中,使广义归结中处理等式更自然、简单,而且,广义归结中引入等式替换策略消除等式公理后,仍然是完备的。     

分次本原环的结构

设G是任意群,有限或无限,A为G-分次环,即A是结合环且A=A_g(加群直和,常简写成A_g)并满足A_g·A_h(?)A_(gh),g,h∈G,M为G-分次A-模,即M为右A-模且M=M_g(加群直和)并满足M_g·A_h(?)M_(gh),g,h∈G。关于分次环及分次模的基本定义可     

可递域上的双全纯映照的偏差定理(Ⅱ)

1.若M为有界对称域,包有原点.M为G/K的在C~n中的标准实现,这里G为M的全纯自同构群,K为使原点不变的G的迷向子群、(?)为G的李代数,t为与K相对应的(?)的极大紧子代数.于是(?)有Cartan分解(?)=t+β.若(?)为β的极大交换子空间,选取(?)的一组适当的基 X_1,…,X_q,q=dim(?)=rank M.对于每一个x∈(?)有唯一表示X=     

关于Mbius变换的半旋转分解

<正> 阶为2的二维保向Mbius变换称为是半旋转(记为H-T).Maskit在文献[1]中讨论了二维保向Mbius变换关于H-T的分解.本文继续讨论这种分解,得到了双曲元素关于H-T的一种“平行”分解.作为这种几何分解的应用,我们在H~3中证明了Beardon关于Riemann面上短程线的一个结果;同时定义了n(n>2)维的空间半旋转(记为H-R),并讨论了n维保向Mbius变     

关于Mbius变换的半旋转分解

阶为2的二维保向Mbius变换称为是半旋转(记为H-T).Maskit在文献[1]中讨论了二维保向Mbius变换关于H-T的分解.本文继续讨论这种分解,得到了双曲元素关于H-T的一种“平行”分解.作为这种几何分解的应用,我们在H~3中证明了Beardon关于Riemann面上短程线的一个结果;同时定义了n(n>2)维的空间半旋转(记为H-R),并讨论了n维保向Mbius变     

关于线性等式和不等式组的相容性问题

一、引言 关于线性等式和不等式组的相容性问题,其研究盛早,讨论甚多。然而,对一给定的问题,要判断其相容性却非易事。为探讨对一般线性等式和不等式组问题均有效的方法。本文     

不可分的正定Hermite型

设(m>0,无平方因子)为虚二次域,R_m为它的代数整数环。本文的目的是构作具有判别式为自然数a的R_m上n秩不可分的正定整Hermite型。设L为R_m上正定Hermite格,如果有:L=M⊥N(?)M=o或N=0,则称L为不可分格。设h(X_1,…,X_n)为R_m上正定Hermite型,如果不存在表示式:     

两类新的广义Kantorovich不等式及其应用

本文用谱范数和欧氏范数作为度量,给出了分别属于谱范数类和欧氏范数类的一系列广义Kantorovich不等式(Generalized Kantorovich inequality,简记为GKI),与之对应的是文献[1—4]中首先给出的行列式类、商迹类和迹商类GKI,它们分别给出了det(X′AXX′A~(-1)X),tr(X′AXX′A~(-1)X)与tr(X′AX)/tr(X′A~(-1)X)~(-1)的上界,这里X为n×p阶矩阵,满足X′X=     

素变数三角和的一个Bombieri型均值定理

在Goldbach猜想、孪生素数猜想等数论经典问题的研究中,必须处理素变数三角和S(x;α)=sum from n≤to A(n)e(nα),其中α及x≥2是实数,A(n)是 von Mangoldt函数,而 e(α)=e~(2πiα).当α接近于分母较小的分数时,例如时,有渐近公式(参看文献[1])此处及以下,L代表logx,μ(n)和(?)(n)分别是M(?)bius函数和Euler函数,而带有下标的c总     

一种新的重力理论——重力的局部de Sitter不变理论

一按照典型时空理论,在以 de Sitter 群(?)为运动群的常曲率时空中存在着惯性运动和惯性坐标系.由于 de Sitter 群综合了齐次Lorentz 群(?)和“平移”变换,又是(3,1)号差的Riemann 流形所允许的最大运动群,因此,从局部 de Sitter 不变的角度来描述重力过程,     

关于具有给定西洛子群正规化子的有限群

近年来一系列工作用于研究具有给定西洛子群正规化子性质的有限群.文献[1]证明了,如果有限群G的任意非单位西洛子群的正规化子幂零,则G本身幂零.在文献[2]中指出,所有超可解有限群的群系U不具有这种性质.换句话说,如果有限群G的任意非单位西洛子群的正规化子超可解,那么G可能非超可解.有限幂零群的群系是继承的局部(?)-群系,而U不是(?)-群系.由此产生一个问题:哪些继承局部(?)-群系具有如上所指的性质?本文在可解群类中完全解决了这个问题.此问题由教授提供.     

由三叶形纽结得到的三维流形的不变量

关于Witten不变量,已有不少研究,可参见文献[1～9].Freed和Gompf及Neil曾对若干三维流形Witten不变量τ_r(M)用计算机进行了近似的数值计算.本文给出所有由三叶结作整系数换球术得出的三维流形的不变量(?)_p(M,A)的计算公式(定理1),并通过计算机对p≤13进行符号计算,得到了几个有意思的结论.文中的记号是标准的,可参见文献[3,6,9],不另说明.若记L_n和R_n分别是由左手和右手标架为n的三叶结作换球术得到的三维流形,则L_(-n)和R_n是反向同胚的,于是(?)p(R_n,A)(?)(?)p(L_(-n),A),因此只需计算(?)p(Ln,A).记是m分支的标架全为零的链环,则有引理1〈e_(i_1),…,e_(i_m)〉k_m=e_(i_1)(λ_(i_2))…e_(i_(m-1))(λ_(i_m))〈e_(i_m)〉其中λ_j=-A~(2j+2)-A~(-2j-2).     

形如Np的子群系可补的局部群系

本文中所有群为有限群。定义和符号参见文献[1～3]。这里给出本文常用的一些概念与符号。一个群类称为群系,如果它关于同态像和次直积是封闭的。非空群系(?)称为局部的,如果由可推得一个群类(?)称为Fitting类,如果满足以下两个条件:1)若N为G的次正规子群,则若N_1,…,N_t为G的次正规子群且N_i∈(?),i=1,…,t,则。一个群系的局部子群系如果同时是一个Fitting类,则称之为局部Fitting子群系。设(?)为某一群的集合。我们用form(?)表示由群集合(?)生成的群系,用lform(?)表示由(?)生成的局部群系,π(G)表示群G的阶的素因数的集合,表示所有幂零群的群系,N_π表示所有幂零π-群的群系,(1)表示单位元群系。群系(?)的子群系(?)_1称为在(?)中可补的,如果(?)_1在(?)的子群系格里可补,即存在(?)的子群系(?)_2,使得且.