关于容许单纯可递移动群的芬斯拉空间

当黎曼空間的单参数运动群的路集(一維不变流形)全体組成测地綫汇的时候,此单参数运动群就被称为单参数的移动群,运动群的每一单参数子群都是单参数移动群时,此运动群就被称为移动群。E.Cartan利用活动标形法証明了这样的定理;当正定的黎曼空間容許单純可递移动群时,此黎曼空間必为对称黎曼空間。此地,我們考察了容許单純可递移动群的芬斯拉空間,得到如下的一些結果:     

关于三角形算子代数

引言关于Hilbert空間中算子譜和算子环的理論中,对自共軛算子和可交换算子代数(亦称算子环)理論方面已經有了較好的研究。在有限維空間上,自共軛算子的标准模型就是对角綫形式的矩陣。而可交換的算子代数的标准模型就是对角綫矩陣全体。这个事实在无限維Hilbert空間中得到完全类似的推     

双时温度格林函数的微扰论图形规则

利用S矩陣的展开式,我們証明了双时温度格林函数的一种微扰論图形計算規則。按照这种規則进行計算,将直接得出动量——时間表象均各級微扰項。对时間变数进行傅立变換,可以得到动量——能量表象的表式。     

完备空间内矩阵算子的全连续性

1.G.Kthe曾經証明在完备空間λ中对任何X∈λ恆有{X_n}弱收斂于X(見§3定理2),接着他又給出了{X_n}强收斂于X的充要条件(参看§1定理2,3),这是元素的情形,对于矩陣Kthe也討論了类似的問題,得到下列結果:设∑(λ)为     

羣表示与电子自旋算子

在一般量子力学书籍中,对于电子自旋算子間的换位(对易)关系,总是由对于軌道角动量算子間的換位关系推广而得,从而給出了泡利矩陣的二阶表示形式,但是自旋算子間的换位关系,是否可以推导出来?这組换位关系是否具有唯一性?自旋算子的矩陣表示是否必須为二阶的?一阶表示威更高阶表示是否可能?在相对論量子力学中,算子α_1,α_2,α_3,α_4的矩陣是否必須为四阶的?本文根据群表示理論,給出关于这些問題的回答。     

对“Hermitian矩阵不等式”一文的讨论

本刊1981年第11卷第1期上刊登的“Hermitian矩陣不等式“一文”,提出了有关Hermitian矩陣不等式的若干引理和定理,然则其中絕大多数都是已知結果的复述或者用已知的結果立即就可导出的簡单推論。以下我們分别給予說明。此外,我們順便給出一个关于Hermitian矩陣的行列式界限的不等式,它改进了[1]的結果。为了方便起見,所有記号都沿用[1]。     

M. Rockowski的一个定理

在[1]中,作者曾經指出,M.Rockowski在[2]中所作的关于判別超曲面的凸性的定理的証明有錯誤。作者利用Morse理論以及Chern和Lashof的結果,对子流形作出了一般性的結果(以[2]中的結果为特例),但是,Rockowski的証明的想法还是比較有意义的,这在于它比較直观,办法也比較初等。以下将对他的証明給出改正。設M~n是,n(≥2)維的紧致的、无边的且是定向的微分流形,E~(n 1)是n 1維的欧氏空     

环面上格子图Cm×Cn的带宽

求一个图(Graph)——或一个对称矩陣——的带宽(Band width)是一个很有实际意义的組合問題。已經証明,即使对于树形图(Tree)来說,确定它的带宽問題也属于NP—完全类。因此,求出一些特殊类型的图的带宽就更加引人注目。事实上,能够定出其带宽的图很少。除了一些很簡单的情形外,迄今已知的主要結果只有完全偶图K_(m:n)、n維方体Q_n、平面格子图P_m×P_n和柱面上的格子图C_m×P_n。Dewdney在1976年所作的关于图的带宽的一篇綜述报告中,提出了三个沒有解决的問题。其中一个是求环面上格子图C_m×C_n的带宽。本文解决了这个問題,我們得到下述結果: 定理1.当m≠n且min(m,n)≥3时,环面上格子图C_m×C_n的带宽为2min(m,n); 定理2.当n≥3时,环面上格子图C_n×C_n的带宽为2n—1.     

π介子在氘核上光致产生的运动学分析

由空間轉动不变性和空間反演不变性的要求,决定了π介子在氘核上光致产生过程(未引起分裂)的跃迁振幅的一般形式。計算了未态反冲氘核的矢量极化和张量极化。利用維格納-爱卡特定理将物理振幅用多极跃迁矩陣元表示出来。     

函数空間L~p上的測度

1.在本文中,我們将研究函数空間L~p上的柱上测度的可列可加性。这方面第一个結果是获得的:設Φ为可列希尔伯脫空間,Φ′为其共軛空間,則Φ′上每个关于Φ的拓扑連續的柱上测度成为可列可加的充要条件是Φ为核空間。对于希尔伯脫空間,也有类似的結果。在具有可列基的巴拿赫空間的情形,J.Kampé有过討論,但所得到的結果比較形式,很难应用于具体的空間。夏道行先生在[1]中提供了一个有效的判定可列可加性的方法。本文将只考察函数空間L~p的情形。为了写起来方便起見,我們不妨只考察     

关于带有未知参数的正态分布的置信限及进一步精確

本文的目的是为了对带有未知参数的正态分布函数造置信限及进一步的精确本文首先在§1.里将証明一般定理,而这些定理是W.Wasow的結果[1]在二維空間中的推广,其次在§2.里应用所得結果对带有未知参数的正态分布函數比較精确地造     

乘积空間稳定性与微分方程組临界情形(Ⅱ)

本文继续的工作,应用乘积空间稳定性理論給山駐定方程组第二临界情形及周期系数方程組第一、第二临界情形的定理一个新証明。由此表明,运用深邃的V_函数理論所解决的稳定性問題,均可用简捷的乘积空間方法直接証明它。与此同时,我們还可以进一步运用所得的結果直接判断具多重零根及多对純虛根的临界情形的稳定性,得到包含[4]～[10]的一系列结果。本     

空間l~p上的測度

关于泛函空間上的測度問题,已經有过一些研究。例如 証明了如下的基本定理:对任一可列希尔伯特空間ф,ф＇上每个对ф的拓扑連續的柱状集的測度成为可列可加的充要条件是ф为核空间。夏道行进一步考察了在具可数基的巴拿赫空間上連續的綫性随机过程的样本空間”。并且利用中的方法,作为一个特例,给出了比定理更广的結果。本文主要根据中的一些結果来研究空間l~p 上的测度。为叙述方便起見,     

有穷齐次Марков链关于遍历性的一致性上界S_k~*

前言設P=(p_(ij)),(i,j=1,…k),是一个有穷齐次鏈的轉移概率矩陣,即P是一个k×k的随机矩陣。关于有穷齐次鏈的遍历性,作者在[1]之§2中已証明过下述結果。定理.P具有遍历性的充分必要条件为:存在一个自然数s,使P~s中至少有一列元素皆大于0。根据此定理并注意到P~(s 1)=PP~s,記{P}为全体具有遍历性的k×k随机矩陣的集合,     

Hamiltonian型的解析理论

Ⅱ、四元整数矩阵§0.引言繼(Ⅰ),这一部分仍为討論Hamiltonian型的解析理論作必要的准备。有独立兴趣的是我們算出了四元整数么模群的演出元素(即定理3)。§1.矩阵与行列式1.設A为m行n列的以四无数为元素的矩陣,称A为四元数矩陣,記为A=A~((m,n))。若     

关于稳定性行列式制定法的某些問題

本文論文[1],[2],[3]的方法,究竟包括文[4],[5],[6]的結果达到什么程度。当然它不能直接达到所期望的条件。但若从此再施用本文的方法,也可間接推得的积分式φ(t)及其稳定性的充分必要条件的証明;跟着推得φ(t)的某些性质——如φ(t)可作为广义特征方程微小根的近似值;又如下文§3指出φ(t)的不变式性貭。最后,在§§5,6推論到非綫性組,所得結果与許淞庆文[9]的結果一致,更且显出这稳定的“型”。但本文所用的方法和推演的过程,与上述各文献,逈然不相同。     

Orlicz空間中УРЫСОН算子的全連續性

本文研究作用于Orlicz空間中算子的全連續性质。在§1里,我們指出:如果N-函数M_1(u)滿足△_2-条件,那末从算子在某一个球T(θ,r;L_M_1~*)中具有全連續性能夠推出它在整个空間L_M_1~*中也具有全連續性,这里所要求满足的条件比[2]中所要求滿足的条件为弱。1954年,等就L_p空間中算子的全連續性建立了一些较一般的充分条件;后来,在N-函数M_2(u)满足△_2-条件的假定下,将[4]中結果拓广到Orlicz空間。在§2里,我們无需假定N-函数M_2(u)滿足△_2-条件,仍然将[4]的結果拓广到Orlicz空間。     

具有不連續边界条件的位論問題

§1 引言 本文是作者的論文[1]的推广,將[1]的方法与一些主要結果推广到m維空間去,主要是將处理古典狄利克雷問題与牛孟問題所用的弗雷特霍姆积分方程方法推广到有不     

最佳控制数学理论中的两个存在性问题

本文討论了最佳控制数学理論中可取控制的存在性及最佳控制的存在性。§1中用不同于■[11][12]的方法处理了可取控制的存在性,並且还把容許控制区域推广到有界可測函数类而得出可取控制存在的結果。§2利用等时区域的概念对一阶非线性系統x=f(t,x,u)及特殊的n阶非线性系統X=A(t)X+φ(u,t)討論上面的問題.在最后§3中,利用§1的結果証明了一个最佳控制存在的定理,此[9],[10]中的結果有所进步。于这节末还提出利用变分法来討論最佳控制存在的初步結果。     

关于相继二素数的距离问题

設p_1,p_2,…,p_(n-1),p_n……表示素数序列;dn=p_n—p_(n-1)表示第n—1个及与之相继的第n个素数間的距离。1935年,德国数学家P.Erdos首先証明了存在着正絕对常数C.使对无限个dn有dn>c log p_n((log_2p_nlog_4p_n)/log_3~2p_n)按照P.Erdos所提供的方法R.A.Rankin于1938年証明了c>1/3-ε(ε为任意小的固定正数)A.Schonhage于1962年証明了c>e~γ/2-ε本文則証明了c>e~γ-ε(γ表示Euler常数)即証明了下述定理: 設p_n表第n个素数;dn=p_n-p_(n-1)(n>1)則存在着无限多个素数p_n使dn>(e~γ-ε)logp_n((log_2p_nlog_4p_n)/(log_3~2p_n))其中γ表Euler常数,ε表任意小的固定正数。