Π_k空间上自共轭算子的二次交换子及广义谱分解

文[1]、[2]讨论了■_k空间上自共轭算子的三角模型、谱分解和算子演算,本文继续讨论与这类算子的谱分解有关的一些问题.在§1中,我们研究■_1空间上自共轭算子代数的二次交换子;§2讨论自共轭算子的广义谱分解.     

Π空间上的酉算子(Ⅰ)

在对∏_K空间(Pontrjagin空间)算子的研究中,已有的一个基本结果是:对任何∏_K上酉(或自共轭)算子必有K维非正不变子空间。[2]对于∏空间(Krien空间)的自共轭算子A,在假设是正则分解、P_-AP_+是全连续算子时,证明了A有极大非正不变子空间。但[2]中没给出不变子空间的形式,这对进一步的讨论(例如讨论A的谱或结构)是远不够的。本文我们将讨论∏上的酉算子,在不同于[2]的全连续的另外一种假设下,不仅证明极大非正不变子空间的存在,给出了不变子空间的形式,并且利用     

π_1空间上循环自共轭算子的谱系特型

本文利用πk上自共轭算子的三角模型刻画给出了π1上循环自共轭算子的谱系特型,从而指出了在不定度规空间上建立自共轭算子相应谱测度的极为困难性。     

关于最小交换J酉扩张

自从 Halmos 构造了压缩算子的酉扩张后,关于压缩算子与压缩算子半群的酉扩张已有了一系列的研究工作,后来又有人把这些结果推广到一般的线性有界算子及算子半群的 J 酉扩张,见[1]～[3].近年来,严绍宗进一步讨论了压缩算子半群的酉扩张,并给出了算子酉扩张和 J 酉扩张的一般形式.     

半亚正常算子的函数模型

夏道行教授于[1]中引入了半亚正常算子T=VP,它满足p-VPV~*=R~2≥0。这儿T=VP是T的极分解.易知这时V总可以延拓为上的等距算子.[1]在V为酉算子的假设下给出了T的函数模型.本文对V为一般的等距算子情况给出T类似的函数模型. 文[2]对等距算子的结构给出了Wold分解,即每个等距算子V可以直和分解为一个酉算子u和一个单向平移算子S.相对于这个分解,T有表示     

算子代数的广义特征分解

§1.引言用H表示Hilbert空间,A是H上自共轭算子,它可以谱分解成下面形式: A=∫_(-∞)~(+∞)λdE_λ(1.1)上式是我们了解自共轭算子非常有力的工具。正如熟知,上述分解式中谱系{Eλ}的连续谱点λ。未必是算子A的特征值,通常只能看作“近似特征值”。在文[1]～[4]中对这种“近似特征值”进行了进一步研究,引入了广义特征向量概念,从而使A的连续谱点也具有“特征向量”,不过它是“广义”特征向量。广义特征向量是从微分方程中广义解概念抽象而来的,因而这方面的理论自然地可以用在方程广义解的研究当中,在文[13]中就例举了这方面的实例。     

线性算子的分解

本文主要采用Hilbert(希尔伯特)空间上自共轭(Hermite(埃尔米特))算子的初等综合理论(参阅[3]或[4])。1、关于矩的不等式设A是Hilbert空间上的正的自共轭的线性算子,即是下面这样的算子:     

不定尺度空间Π_k后上的压缩算子

§1 压缩算子的性质本文总是设Π_k为具有K个负指标的Понтрягин空间.设T是П_(k)П_(k)的线性稠定算子,如果对任何x∈■(T),有(Tx,Tx)≤(x,x), (1)则称T为П_k→П_k的线性稠定算子.显然,不定度规与定度与定度归上压缩算子差别是很大的     

关于完全非酉压缩算子的函数模型

1.设■是希尔伯特空间,T是由■到■中的线性有界算子。又设T是压缩的,即||T||≤1。近年来,B.Sz-Nazy等人系统地研究了T的酉扩张(dilatation unitaire),经过较长的准备工作,他们给出了当T是完全非酉算子(定义见§2)时的函数模型。即是说,通过一个酉算子V把■映照成函数空间■,而使得VT~*V~(-V)成为■中的推移算子(见[4]或本文的§3中定理)。但他们未给出V的具体形式。我们在这篇短文中,完全避免T的酉扩张而是用较直接,较简单的方法给出V的形式,这也就给出函数模型的另一证明,为了阅读方便起见,本文中的陈述不依赖于B.SZ-Nagy等人论文中的知识。我们先叙述一些概念和预备知识。     

保持算子乘积广义投影的可加映射

设B(H)是复Hilbert空间H上的有界线性算子全体且dim H2,证明了B(H)上的可加满射φ保持算子乘积非零广义投影的充要条件是存在酉算子或共轭酉算子U及常数a且a6=1使得对于任意的A∈B(H)都有φ(A)=aUAU*,或存在共轭酉算子U及常数a且a6=1使得对于任意的A∈B(H)都有φ(A)=aUA*U*。     

正则谱算子的微扰

H.P.Kramer在文章[1]中得到了正则谱算子的无界微扰定理,他在定理的条件中假设D(S~*)(?)D(T~(*v)).而由于有这个条件,定理根本不能应用于由偶数阶形式微分算子τ=d~(2μ)/dx~(2μ) 及Sturm型边界条件所产生的微分算子上,得到他原文中的定理3。例考虑L_2[0,1]上由形式微分算子及边条件f＂＇(0)=f＂＇(1)=f＂(0)=f＂(1)=0所产生的微分算子T.显然,形式微分算子τ=d~4/dx~4是自共轭的.又由Lagrange公式及给定的边界条件,有     

自共轭空间的结构

本文继[1]研究自共轭空间的结构,通过对*到*上自同构保范映射的讨论,给出了以下主要结论:自共轭空间*上任意两个数积之间由一个自伴算子相联系;按照不同数积的伴随元是T相似的;在一定条件下,*可通过一个自反的Banach空间来构造。     

Banach空间中的广义p正常算子

本文是在文献[4]基础上利用广义半内积空间的理论引入Banach空间上的广义p正常算子T=A+iB,AB-BA=0,其中A,B是广义p自共轭算子;同时还引入广义p正常算子的对偶算子T~*=A-iB及广义p酉算子,并就这些算子的有关谱进行了讨论。     

关于不定尺度空间中的酉算子

自从引入不定尺度空间以来,许多文章对这种空间及其上的算子理论进行了研究。对于不定尺度空间上的酉算子和自共轭算子的谱分布及不变子空间等的研究已有许多重要结果。由于空间的度规(尺度)是不定的,所以这种空间上酉算子与普通Hilbert空间上酉算子的谱分布情况有很大区别,例如:这种空间上的酉算子的特征值可以不在单位圆周上,这是熟知的。本文的第一个目的是研究具有无限维负子空间(正子空间也是无限维的不定尺度空间上的酉算子的谱半径的估计。不定尺度空间上酉算子的不     

关于三角代数上的广义Engel条件

设R是有单位元的交换环,A,B是R上酉代数,M是非零(A,B)-酉双模。D是三角代数T上的导子。本文刻画了三角代数上满足广义Engel条件[[…[[D(X~m)X~n-X~pG(X~q),X~(n1)],X~(n2)],…],X~(nk)]=0和[D(X),X]_kX-X[G(X),X]_k=0的导子的结构。     

F空间C~∞[a,b]上的线性连续泛函

设C~∞[d,b]是[a,b]上无穷次可微的函数全体组成的线性空间,其上定义F-范数: |u|=sum from K=0 to ∞(1/2~k(?) |u|_k/(1+|u|_k),这里。本文给出上述空间上线性连续泛函的一般形式。首先建立一延拓定理。定理1.设A。A_n(n=0,1,2,…)是线性空间,A(?)A.|·|,|·|_n,分别是A上F-范数及A。上B-范数,满足: 1) |x_m|→0(m→+∞)(=)对k=0,1,…,|x_m|_k→0(m→+∞); 2) 对n=1,2,…则对A上任一线性连续泛函T(指|x_n|→0),存在n及T_n∈A_n~+,使得T=T_n|A。     

Morse型数与拓扑度的关系及其应用

本文利用拓扑度理论及Morse型数与拓扑度的关系,给出了文[2]中有关渐近二次函数的临界点的一个存在性定理的另一证明,并且获得了其临界点存在唯一的一个充要条件和两个充分条件;我们还简单地导出了文[1]、[2]中得到的渐近二次函数存在非平凡临界点的部分结论;最后,在Hilbert空间上的C~2实值函数有紧梯度场的假设条件下,给出了文[2]中的三临界点定理的一种加强形式。     

U自共轭算子与自对偶次正常算子

本文通过对算子方程UA=A*U的讨论,给出了J.B.Conway于[1]中提出的自对偶次正常算子的一个内蕴性描述. 定义设H是可析的Hilbert空间,U是日上的酉算子,如果H上的算子A满足方程UA=A*U,则称A为U自共轭算子(U self adjoint,本文简记为U s.a.). U s.a.算子具有如下初等性质: 性质1 A是U s.a.算子,则σ(A)与σ_(?)(A)关于实数轴对称.当λ∈σ_(?)(A)时,A-λ与A-λ的Fredholm指标互为相反数,特别当λ为实数时,ind(A-λ)=0. 证显然,由方程UA=A*U,可知σ(A),σ.(A)是关于实数轴对称的.又根据U     

定义在开区间上的连续函数空间内的线性算子

在[5]中,作者计论了所谓广义片断连续函数类上的全连续算子。在这篇文章里,将计论定义在开区间上的连续函数粉间内的有界线性算子。第1节是预备知识,在第2,3节里分别计论由C(a,b)到其自身及C[a,b]的有界线性算子与全连续线性算子的一般形式。第4节则讨论由C(a,b)到任一B-型空间的有界线性算子与全连续性算子的一般形式。 1.设C(a,b)表(a,b)上一切有界连续函数的全体,具有模     

关于算子的最佳逼近问题

在本文中,我们给出了Hilbert空间上一个算子有唯一的自共轭逼近的充要条件和有唯一的非负实逼近的充要条件.同时,我们还改进了[2]中关于算子到非负算子集距离的一些结果.