APP下载

Hilbert空间中的K-R-融合框架*

2024-01-31洪国庆杨富超张建霞

河南工学院学报 2023年6期
关键词:一族界线常数

洪国庆,杨富超,张建霞

(1. 河南工学院 理学部,河南 新乡 453003;2. 河南工学院 智能工程学院,河南 新乡453003)

0 引言

傅里叶变换作为现代分析的主要工具已有100多年的历史。但是它只提供频率信息,且在它的相位中隐藏关于信号发射时刻和持续时间的信息。Gabor[1]在1946年解决了这个问题并引入了一种基本信号分解新方法。因为该方法提供了对附加噪声、量化和传输损耗的恢复能力且具有捕捉信号重要特征的能力,因此很快成为该领域的范例。1952年,Duffin和Schaeffer[2]研究非调和傅里叶级数的一些深层问题时发现需要一个正式的结构来处理L2[0, 1]中高度冗余的指数函数族。为此,Duffin和Schaeffer引入了Hilbert空间框架的概念。人们发现Gabor的方法是其一个特例,且属于时频分析领域[3]。令I表示一个可数指标集,序列{fi}i∈I表示Hilbert空间H的一族向量。若存在常数0<α≤β<+∞,使得

则称序列{fi}i∈I为H的一个框架。框架作为Hilbert空间基的一种推广,使得空间中任意元素可以被框架元素的线性组合表示,并且这种表示方法可以不唯一,正因如此,使其在实际应用中有许多优于基的地方。

20世纪80年代末,Daubechies、Grossman 和Meyer[4]重新提出了框架的基本概念并展示了框架对数据处理的重要性,同时这项开创性的工作也揭示了对信号处理的意义。此后,人们对框架理论及其应用进行了深入的研究,并取得了一系列重要研究成果。随着泛函分析、算子理论、算子代数和Banach空间理论等许多工具用于框架的研究,框架的内容日渐丰富。到目前为止,框架已经成为基础数学、应用数学、计算机科学和工程学中的一个标准概念。我国学者分别研究了Banach空间中的(p,Y)-框架理论、算子代数B(H)上的算子框架、Banach空间中的Xd-框架与Riesz基、Hilbert模框架理论、Banach空间中的连续框架、有限维或带类群结构的算子值框架、小波框架的构造、Hilbert空间中的K-框架、框架的优化设计等重要问题,使框架理论得到了进一步的发展。

Hilbert空间中的K-R-融合框架是R-融合框架[6,7,8]与K-框架[9,10,11]的有机结合,本文将对K-R-融合框架的刻画和性质、冗余性进行研究。

1 预备知识

在本文中,符号I,J表示可数或有限指标集。令H和M表示可分复Hilbert空间,B(H,M)表示从H到M的所有有界线性算子构成的集合。如果H=M,则B(H,M)=B(H)。符号IH表示H上的恒等算子。对于一个有界线性算子T,ranT表示T的值域空间,kerT表示T的零空间,T*表示T的伴随算子。如果W和V分别是H和M的闭子空间,则分别令πW∈(H)和τV∈(M)表示在子空间W和V上的正交投影。

定义1设Ti∈(H,M)表示Hilbert空间H到M的一族有界线性算子,{Wi}i∈I表示H的一族闭子空间,{Vi}i∈I表示M的一族闭子空间,{vi}i∈I为一族权重。若存在常数0<α≤β<∞使得

成立,则称序列{(Wi,Vi,Ti,vi)}i∈I是Hilbert空间H的界为α和β的R-融合框架。

R-融合框架使用的相关表示空间是

其中内积定义为

定义2设K∈B(H),设Ti∈B(H,M)表示Hilbert空间H到M的一族有界线性算子,{Wi}i∈I表示H的一族闭子空间,{Vi}i∈I表示M的一族闭子空间,{vi}i∈I为一族权重。若存在常数0<α≤β<∞使得

成立,则称序列{(Wi,Vi,Ti,vi)}i∈I是Hilbert空间H的界为α和β的K-R-融合框架。

设R={(Wi,Vi,Ti,vi)}i∈I是界为β的Bessel R-融合序列,定义分析算子

TR:H|→Rl2,TRf={viτViTiπWif}i∈I∀f∈H

此时有

此外,若R是一个界为α和β的K-R-融合框架,则有

αKK*≤SR≤βIH

引理1[12]设H,H1,H2是Hilbert空间,T∈(H2,H)S∈(H1,H),则下列条件等价:

(1)ranS⊆ranT;

(2)存在α>0使得SS*≤αTT*;

(3)存在N∈(H1,H2)使得S=TN。

2 K-R-融合框架的性质与刻画

本节给出了K-R-融合框架和紧K-R-融合框架的一些新的刻画和性质。

定理1设K∈B(H),R={(Wi,Vi,Ti,vi)}i∈I是H的界为β的Bessel R-融合序列,则R是H的K-R-融合框架当且仅当存在N∈B(H)使得K=SR1/2N,其中SR是R的R-融合框架算子。

αKK*≤SR

因此有

KK*R≤α-1SR1/2(SR1/2)*

(充分性)设存在算子N∈(H)使得K=SR1/2N。由引理1可得存在常数α>0使得αKK*≤SR,因此序列R是Hilbert空间H的K-R-融合框架。

证明:(1)设序列R是Hilbert空间H的紧K-R-融合框架,则存在常数α>0使得

传统图纸会审工作方法是对照平立剖图纸进行问题查找,尺寸比对,信息核实等会审读图工作,其效率非常低,不易找到设计图纸问题。

使得

因此,

必要性得证。

(充分性)由条件可知,

设存在常数α,β>0使得

3 K-R-融合框架的冗余性

如所周知,框架的一个重要性质是冗余性。许多学者讨论了框架、广义框架和融合框架的冗余问题。本节讨论了一个充分条件,即在不破坏剩余集的K-R-融合框架性质的情况下,可以去除一些元素。

因此,

从而对任意h∈ran(K)有

另一方面,对每个h∈ran(K)⊥和f∈H,有

〈K*h,f〉=〈h,Kf〉=0

即R={(Wi,Vi,Ti,vi)}i∈JI是Hilbert空间H的界为α和β的K-R-融合框架。

猜你喜欢

一族界线常数
一族非齐次双调和方程解的边界Schwarz引理
关于Landau常数和Euler-Mascheroni常数的渐近展开式以及Stirling级数的系数
The Beasts Within
有界线性算子的Drazin逆的逆序律
通勤一族的好物推荐 Tecsun BT-90蓝牙耳机放大器
关于进一步加强行政区域界线管理维护边界地区社会稳定的意见
几个常数项级数的和
万有引力常数的测量
婚姻的智慧,是分寸和界线
各国(地区)独居生活调查:独居一族在地球崛起