洪國慶,楊富超,張建霞

(1. 河南工學(xué)院 理學(xué)部,河南 新鄉(xiāng) 453003;2. 河南工學(xué)院 智能工程學(xué)院,河南 新鄉(xiāng)453003)

0 引言

傅里葉變換作為現(xiàn)代分析的主要工具已有100多年的歷史。但是它只提供頻率信息,且在它的相位中隱藏關(guān)于信號(hào)發(fā)射時(shí)刻和持續(xù)時(shí)間的信息。Gabor[1]在1946年解決了這個(gè)問題并引入了一種基本信號(hào)分解新方法。因?yàn)樵摲椒ㄌ峁┝藢?duì)附加噪聲、量化和傳輸損耗的恢復(fù)能力且具有捕捉信號(hào)重要特征的能力,因此很快成為該領(lǐng)域的范例。1952年,Duffin和Schaeffer[2]研究非調(diào)和傅里葉級(jí)數(shù)的一些深層問題時(shí)發(fā)現(xiàn)需要一個(gè)正式的結(jié)構(gòu)來處理L2[0, 1]中高度冗余的指數(shù)函數(shù)族。為此,Duffin和Schaeffer引入了Hilbert空間框架的概念。人們發(fā)現(xiàn)Gabor的方法是其一個(gè)特例,且屬于時(shí)頻分析領(lǐng)域[3]。令I(lǐng)表示一個(gè)可數(shù)指標(biāo)集,序列{fi}i∈I表示Hilbert空間H的一族向量。若存在常數(shù)0<α≤β<+∞,使得

則稱序列{fi}i∈I為H的一個(gè)框架。框架作為Hilbert空間基的一種推廣,使得空間中任意元素可以被框架元素的線性組合表示,并且這種表示方法可以不唯一,正因如此,使其在實(shí)際應(yīng)用中有許多優(yōu)于基的地方。

20世紀(jì)80年代末,Daubechies、Grossman 和Meyer[4]重新提出了框架的基本概念并展示了框架對(duì)數(shù)據(jù)處理的重要性,同時(shí)這項(xiàng)開創(chuàng)性的工作也揭示了對(duì)信號(hào)處理的意義。此后,人們對(duì)框架理論及其應(yīng)用進(jìn)行了深入的研究,并取得了一系列重要研究成果。隨著泛函分析、算子理論、算子代數(shù)和Banach空間理論等許多工具用于框架的研究,框架的內(nèi)容日漸豐富。到目前為止,框架已經(jīng)成為基礎(chǔ)數(shù)學(xué)、應(yīng)用數(shù)學(xué)、計(jì)算機(jī)科學(xué)和工程學(xué)中的一個(gè)標(biāo)準(zhǔn)概念。我國學(xué)者分別研究了Banach空間中的(p,Y)-框架理論、算子代數(shù)B(H)上的算子框架、Banach空間中的Xd-框架與Riesz基、Hilbert模框架理論、Banach空間中的連續(xù)框架、有限維或帶類群結(jié)構(gòu)的算子值框架、小波框架的構(gòu)造、Hilbert空間中的K-框架、框架的優(yōu)化設(shè)計(jì)等重要問題,使框架理論得到了進(jìn)一步的發(fā)展。

Hilbert空間中的K-R-融合框架是R-融合框架[6,7,8]與K-框架[9,10,11]的有機(jī)結(jié)合,本文將對(duì)K-R-融合框架的刻畫和性質(zhì)、冗余性進(jìn)行研究。

1 預(yù)備知識(shí)

在本文中,符號(hào)I,J表示可數(shù)或有限指標(biāo)集。令H和M表示可分復(fù)Hilbert空間,B(H,M)表示從H到M的所有有界線性算子構(gòu)成的集合。如果H=M,則B(H,M)=B(H)。符號(hào)IH表示H上的恒等算子。對(duì)于一個(gè)有界線性算子T,ranT表示T的值域空間,kerT表示T的零空間,T*表示T的伴隨算子。如果W和V分別是H和M的閉子空間,則分別令πW∈(H)和τV∈(M)表示在子空間W和V上的正交投影。

定義1設(shè)Ti∈(H,M)表示Hilbert空間H到M的一族有界線性算子,{Wi}i∈I表示H的一族閉子空間,{Vi}i∈I表示M的一族閉子空間,{vi}i∈I為一族權(quán)重。若存在常數(shù)0<α≤β<∞使得

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

R-融合框架使用的相關(guān)表示空間是

其中內(nèi)積定義為

定義2設(shè)K∈B(H),設(shè)Ti∈B(H,M)表示Hilbert空間H到M的一族有界線性算子,{Wi}i∈I表示H的一族閉子空間,{Vi}i∈I表示M的一族閉子空間,{vi}i∈I為一族權(quán)重。若存在常數(shù)0<α≤β<∞使得

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

設(shè)R={(Wi,Vi,Ti,vi)}i∈I是界為β的Bessel R-融合序列,定義分析算子

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

此時(shí)有

此外,若R是一個(gè)界為α和β的K-R-融合框架,則有

αKK*≤SR≤βIH

引理1[12]設(shè)H,H1,H2是Hilbert空間,T∈(H2,H)S∈(H1,H),則下列條件等價(jià):

(1)ranS?ranT;

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

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

2 K-R-融合框架的性質(zhì)與刻畫

本節(jié)給出了K-R-融合框架和緊K-R-融合框架的一些新的刻畫和性質(zhì)。

定理1設(shè)K∈B(H),R={(Wi,Vi,Ti,vi)}i∈I是H的界為β的Bessel R-融合序列,則R是H的K-R-融合框架當(dāng)且僅當(dāng)存在N∈B(H)使得K=SR1/2N,其中SR是R的R-融合框架算子。

αKK*≤SR

因此有

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

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

證明:(1)設(shè)序列R是Hilbert空間H的緊K-R-融合框架,則存在常數(shù)α>0使得

傳統(tǒng)圖紙會(huì)審工作方法是對(duì)照平立剖圖紙進(jìn)行問題查找，尺寸比對(duì)，信息核實(shí)等會(huì)審讀圖工作，其效率非常低，不易找到設(shè)計(jì)圖紙問題。

使得

因此,

必要性得證。

(充分性)由條件可知,

設(shè)存在常數(shù)α,β>0使得

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

如所周知,框架的一個(gè)重要性質(zhì)是冗余性。許多學(xué)者討論了框架、廣義框架和融合框架的冗余問題。本節(jié)討論了一個(gè)充分條件,即在不破壞剩余集的K-R-融合框架性質(zhì)的情況下,可以去除一些元素。

因此,

從而對(duì)任意h∈ran(K)有

另一方面,對(duì)每個(gè)h∈ran(K)⊥和f∈H,有

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

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