相中啟，潘 偉

(華中師范大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院，中國 武漢 430079)

1952年，Duffin和Schaeffer在深入研究非調(diào)和Fourier級數(shù)時引入框架(離散框架)的概念[1].小波分析誕生以來，框架理論得到了迅速發(fā)展[2-3].它廣泛應(yīng)用于信號處理、圖像處理和抽樣理論等方面[4-7].連續(xù)框的概念由Kaiser[8],Ali等[9]分別獨立引入，它是離散框架的概括，是一般化的框架.Gabardo和韓德廣[10]稱其為“與可測空間相關(guān)的框架”；Askari等[11]稱其為“廣義框架”；而在數(shù)學(xué)物理中則稱其為“相干態(tài)”[9].目前，連續(xù)框架已廣泛應(yīng)用于連續(xù)小波變換及短時Fourier變換等方面[12-13].本文主要討論了連續(xù)框架的等價刻畫和連續(xù)框架的對偶問題.

全文組織如下：第1節(jié)列出本文所要用到的一些定義和基本事實并給出連續(xù)框架的2個等價刻畫.第2節(jié)討論了連續(xù)框架的對偶，給出了Riesz型框架的新結(jié)果.

1 連續(xù)框架的等價刻畫

本文中，H，K始終指復(fù)的Hilbert空間，S指連續(xù)框架的框架算子.

定義1[10]設(shè)H是復(fù)的Hilbert空間，(Ω,μ)是賦有正測度μ的測度空間，{φω}ω∈Ω?H使得對所有的f∈H,是Ω上的可測函數(shù).如果存在A，B>0使得

(1)

則稱{φω}ω∈Ω關(guān)于(Ω，μ)是連續(xù)框架，A，B分別稱為連續(xù)下、上框架界，所有上框架界的下確界稱為最優(yōu)上框架界,所有下框架界的上確界稱為最優(yōu)下框架界，顯然最優(yōu)框架界仍是框架界.若(1)式右端不等式成立，則稱{φω}ω∈Ω是Bessel序列，B稱為Bessel界.易見，若μ是計數(shù)測度，Ω:=,則{φω}ω∈Ω成為離散框架.此外，(1)式左端的不等式表明{φω}ω∈Ω是完備的，即

設(shè){φω}ω∈Ω關(guān)于(Ω,μ)是H的界為A，B的連續(xù)框架，則

(2)

T*:H→L2(Ω,μ),(T*f)(ω)=〈f,φω〉,ω∈Ω.

(3)

由復(fù)合算子T和其共軛算子T*就得到框架算子

(4)

容易證明S有界，可逆且是自共軛的正算子.由此得到連續(xù)框架恢復(fù)公式

(5)

(6)

引理1[3]設(shè)W：K→H是有界線性算子，若其值域RW是閉的，則存在有界線性算子W?：H→K使得WW?f=f,?f∈RW.算子W?稱為W的偽逆算子.

進一步，Christensen證明了

引理2[3]設(shè)W：K→H是有界線性算子，若其值域RW是閉的，則

(ii) (W*)?W*是R(W*)?上的正交投影；

(iv) (W*)?=(W?)*.

下面的定理給出了連續(xù)框架的一個等價刻畫.

定理1設(shè){φω}ω∈Ω關(guān)于(Ω,μ)是H中的Bessel序列，則{φω}ω∈Ω關(guān)于(Ω,μ)是H的連續(xù)框架的充分必要條件是：(2)式所定義的算子T是滿射.

證先證必要性.設(shè){φω}ω∈Ω是H的界為A，B的連續(xù)框架，其預(yù)框架算子為T，由(2)式知

所以T*是單射，因此T是滿射.

再證充分性.只需證明存在常數(shù)c1,c2(0

(7)

所以

接下來的定理同樣給出了連續(xù)框架的等價刻畫.

定理2{φω}ω∈Ω關(guān)于(Ω,μ)為H的界為A，B的連續(xù)框架當(dāng)且僅當(dāng)下面2個條件滿足：

(ii)預(yù)框架算子T是定義好的且

(8)

證首先假設(shè){φω}ω∈Ω關(guān)于(Ω,μ)是H的界為A，B的連續(xù)框架，即

由Cauchy-Schwartz不等式得

因此‖Tη‖2≤B‖η‖2,于是(ii)成立.

A‖T?Tη‖2≤‖TT?Tη‖2=‖Tη‖2.

即

這說明{φω}ω∈Ω滿足下框架條件，上框架條件可以由(8)式右端的不等式直接得到.

2 連續(xù)框架的對偶

定義2[10]設(shè){φω}ω∈Ω,{ψω}ω∈Ω關(guān)于(Ω，μ)是H的連續(xù)框架，若對任意的f,g∈H

則稱{ψω}ω∈Ω是{φω}ω∈Ω的對偶框架；若{φω}ω∈Ω的對偶框架唯一，則稱{φω}ω∈Ω是Riesz型框架.

〈f,(TT*)-1f〉.

因此

綜上可知{S-1φω}ω∈Ω是{φω}ω∈Ω的對偶框架.

下面的定理給出了預(yù)框架算子T的偽逆T?的詳細刻畫.

定理3設(shè){φω}ω∈Ω關(guān)于(Ω,μ)是H的連續(xù)框架，T是其預(yù)框架算子，S是其框架算子，則

(T?f)(ω)=〈f,S-1φω〉,f∈H,ω∈Ω.

此外，若A，B是{φω}ω∈Ω的最優(yōu)框架界，則A=‖S-1‖-1=‖T?‖-2,B=‖S‖=‖T‖2.

證由于{φω}ω∈Ω是H的連續(xù)框架，由定理1知T是滿射，即RT=H.由引理1知，?f∈H,TT?f=f.對任意的h∈H有

由(2)式知

因此

(T?f)(ω)=〈f,S-1φω〉,?f∈H,ω∈Ω.

根據(jù)定義，

引理5[10]設(shè){φω}ω∈Ω關(guān)于(Ω,μ)是H的連續(xù)框架，T是預(yù)框架算子.則{φω}ω∈Ω是Riesz型框架的充分必要條件是RT*=L2(Ω,μ).

下面給出Riesz型框架的新結(jié)果.

定理4{φω}ω∈Ω關(guān)于(Ω,μ)為H的界為A，B的Riesz型框架當(dāng)且僅當(dāng)下面2個條件滿足：

(ii)預(yù)框架算子T是定義好的且

A‖η‖2≤‖Tη‖2≤B‖η‖2,?η∈L2(Ω,μ).

(9)

推論1{φω}ω∈Ω關(guān)于(Ω,μ)為H的Riesz型框架的充分必要條件是(2)式所定義的算子T是定義好的雙射.

參考文獻：

[1] DUFFIN R J, SCHAEFFER A C. A class of nonharmonic Fourier series [J]. Trans Amer Math Soc, 1952,72(2):341-366.

[2] DAUBECHIES I. Ten lectures on wavelets [M]. Philadelphia: SIAM, 1992.

[3] CHRISTENSEN O. An introduction to frames and Riesz bases [M]. Boston: Birkh?user, 2002.

[4] FEICHTINGER H G, STROHMER T. Gabor analysis and algorithms: theory and applications[M].Boston: Birkh?user, 1998.

[5] FEICHTINGER H G, STROHMER T. Advances in Gabor analysis [M]. Boston: Birkh?user, 2003.

[6] CASAZZA P G. Modern tools for Weyl-Heisenberg frame theory [J]. Adv Imag Elect Phys, 2001,115(1):1-127.

[7] 王國秋，楊夢云.雙正交小波的譜半徑及其應(yīng)用[J].湖南師范大學(xué)自然科學(xué)學(xué)報, 2011,34(1):14-18.

[8] KAISER G. A friendly guide to wavelets [M]. Boston: Birkh?user, 1994.

[9] ALI S T, ANTOINE J P, GAZEAU J P. Continuous frames in hilbert spaces [J]. Ann Phys, 1993,222(1): 1-37.

[10] GABARDO J P, HAN D. Frames associated with measurable space [J]. Adv Comp Math, 2003,18(3):127-147.

[11] ASKARI-HEMMAT A, DEHGHAN M A, RADJABALIPOUR M. Generalized frames and their redundancy[J]. Proc Amer Math Soc, 2001,129(4):1143-1147.

[12] ALI S T, ANTOINE J P, GAZEAU J P. Coherent states, wavelets and their generalizations [M].Berlin: Springer-Verlag, 2000.

[13] GR?CHENIG K. Foundations of time-frequency analysis [M]. Berlin: Birkh?user-Verlag, 2001.