緊支撐小波框架的穩(wěn)定性

1、第30卷第3期曲阜師范大學(xué)學(xué)報Vol.30No.32004年7月JournalofQufuNormalUniversityJuly2004緊支撐小波框架的穩(wěn)定性丁友征,周家云(第一作者:男,28歲,碩士;山東建筑工程學(xué)院數(shù)理系,250014,濟南市;曲阜師范大學(xué)數(shù)學(xué)系,273165,山東省曲阜市)摘要:討論了L2(R)上具有緊支撐的小波框架分別對母小波攝動、樣品值攝動和多個項同時攝動時的穩(wěn)定性,得出了一些新的結(jié)果,推廣了有關(guān)文獻的結(jié)果.關(guān)鍵詞:小波框架;緊支撐;穩(wěn)定性中圖分類號:O177.1文獻標識碼:A文章編號:1001-5337(2004)03-0001-061引言及預(yù)備知識設(shè)H為可分的復(fù)

2、無窮維Hilbert空間.JnJ,A,B>0使xH有Ax2nJ6xn2x2成立,那么稱xnnJ是、B、下界.如果A=B,那么稱xnnJ為嚴格框架,如果A=B=1,那么稱xn.當小波理論蓬勃發(fā)展時,Daubechies,Grossmann和Meyer把連續(xù)小波1.后來這一觀點在文獻2中得到了更深的發(fā)展.如今的框架理論已廣泛應(yīng)用于純粹數(shù)學(xué)和應(yīng)用數(shù)學(xué)的多個領(lǐng)域.-定義1設(shè)gL(R),a>1,b>0,令gmn(x)=a22g,m,nZ,其中Z是整數(shù)集,如果nmba22gmnm,nZ是L(R)的框架,則稱gmnm,nZ是L(R)的小波框架(或仿射框架).其中函數(shù)g稱為基小波或母小波,實

3、數(shù)a,b稱為框架參數(shù),a稱為膨脹參數(shù),b稱為平移參數(shù).n本文分別討論了母小波g的攝動,a,m的攝動以及多個項同時攝動時小波框架的穩(wěn)定性.下面定義本文用到的3個算子.bRaR0,定義如下算子:22Tb:L(R)L(R),g|Tbg,其中Tbg(x)=g(x-b),xR;Eb:L(R)2L(R),2g|Ebg,其中Ebg(x)=eibx2g(x),xR;Da:L(R)2L(R),2g|Dag,其中Dag(x)=|a|2意f,gL(R),有-12g.分別稱為平移算子、旋轉(zhuǎn)算子、膨脹算子.易知上述算子都是酉算子,且對任a收稿日期:2003-08-03基金項目:國家自然科學(xué)基金(19871048)和?？?/p>

4、研基金曲阜師范大學(xué)學(xué)報(自然科學(xué)版)2004年2f,Tbg=T-bf,g;f,Ebg=E-bf,g;f,Dag=Df,g.aTbf=E-bf;Ebf=Tbf;Daf=Df.aR其中g(shù)是g的傅立葉變換g(x)=g(y)eixy-2dy.接下來給出本文通用的一些符號.函數(shù)gL(R),a>1,b>0,R,Z.令mn>0,m,ngmn(x)=DanTmbg(x)=a(p)(q)-n2g(a-nx-mb),x-mb),gmn(x)=DanTbg(x)=am-n2-12g(a-n-1gmn(x)=DnTmbg(x)=ngmn(p,q)g(nx-mb),-12-1(x)=DnT(gbg(x

5、)=nnx-mb).m2主要結(jié)果首先給出判定具有緊支撐的小波框架的一個充要條件.2定理1設(shè)gL(R),a>1,b>0suppI,I=,+L,是某個實數(shù),且g(R).(1)gmnm,nZ),B為界的框架的充要條件是bA6n|g(ax)|n2(2)gmnm,nZ是L(R)的以A為界的嚴格框架的充要條件是(3)gmnm,nZ是L(R)的正規(guī)框架的充要條件是6n|g(ax)|n26n|g(ax)|n22證明(1)gDanf)I,再由gL(R)知gDanfL(I),令emb任意fL(R),nZ,易知supp(x)=e2imbx122,xI,mZ.那么bemb是L(I)的就范正交基,因此由Pa

6、rseval公式得m,n6|f,gmn|=m,n6|f,DanTmbg|=m,n6|f,Da-nE-mbg|-112m,n6|Danf,Embg|=-1m,n6bn|gDanf,bemb|an=b=b=b-16nngDanf=b-n-n|g(x)D6If(x)|dx-1a6R|f(ax)|g(x)|dxn22-16nRm,n|f(x)|g(ax)|dx.(3)22必要性.由gmnm,nZ是L(R)的以A,B為界的框架知,任意fL(R)有Af=Af226n|f,gmn|Bf=Bf.22由(3)式及f的任意性,即知bA充分性.由bA6n6n|g(ax)|n2Af=Af6mn|f,gmn|=b-1R

7、|f(x)|6n|g(ax)|dxn2Bf=Bf,2即gmnm,nZ是L(R)的以A,B為界的框架.由(1)的證明,易知(2),(3)成立.第3期丁友征等:緊支撐小波框架的穩(wěn)定性3注1在本定理的證明中需要gL(R),但在充分性的證明中已經(jīng)隱含了這個條件.事實上,此定理也可推廣到多個母小波生成的框架的情形.2推論2設(shè)giL(R),i=1,2,k,a>1,b>0,如果supp(gi),+L,是某個實數(shù),且gi(R),那么(gi)mn,i=1,2,km,nZ是L(R)的以bAi2i=16kAi,i=16kBi為界的小波框架的充要條件是6n|gi(ax)|n2受文獻3啟發(fā),我們得到如下母小

8、波攝動的一個結(jié)論.2定理3設(shè)gL(R),a>1,b>0,supp(g)I,其中I=,+2(1)gmnm,nZ是L(R)上的以A,B為界的框架;b,是某個實數(shù),如果(2)fL2(R),suppfI,且存在0,1),使1,2|g(x)-f(x)|22222那么fmnm,nZ是L(R)的以21-1+12A,1+1-12n.2證明由條件(1)及定理1知,bAn|g(2n6nn|f(x26n|g(ax)|126nnn2|g(ax)-f(ax)|12(bB)(1+知又12+16n|g(ax)|2+26nn|f(ax)|212n21212+1)(bB)226n|f(ax)|6n|f(ax)|12

9、n21+1-n122126n|f(ax)|n2-6n|g(ax)|-+226n|g(ax)-f(ax)|n2|f(ax)|nn2126nn|g(ax)|n212112nn|g(ax)|26n126n|g(ax)|2126n|g(ax)|nn12-26n|f(ax)|n212(1-故12-1)(bA)6n|f(ax)|212,6n|f(ax)|21-1+1-1+12222由定理1即知,fmnm,nZ是L(R)的以12A,1+1-122B為界的小波框架.注2當條件(2)中的1=0時即為文獻4中定理4.(q)2給出gmnm,nZ是L(R)的框架的充要條件.2定理4設(shè)gL(R),a>1,b>

10、;0,Z,suppgI,I=,+n是正實數(shù),nL(R),那么(q)2(1)gmnm,nZ是L(R)的以A,B為界的框架的充要條件是,是某個實數(shù),且gbA6n|g(nx)|2曲阜師范大學(xué)學(xué)報(自然科學(xué)版)2004年4q2(2)gmnm,nZ是L(R)的嚴格框架的充要條件是q2(3)gmnm,nZ是L(R)的正規(guī)框架的充要條件是()()66nn|g(nx)|g(nx)|22證明類似于定理3的證明.注3定理中的gL(R)在必要性的證明中是必需的.下面的結(jié)論是文獻7的定理1.2的特殊情況.2定理5設(shè)gL(R),a>1,b>0,suppg,+,是某個實數(shù),如果2(1)gmnm,nZ是L(R)

11、的以A,B為界的小波框架;(2)g(x+h)-g(x)|D|h|存在D>0,>0,使得任意hR,有|nn(3)(0,1)使得|正實數(shù)列nnZ滿足:存在n-a|a;(4)常數(shù)D,使得(bA)120>Dr2|,+12,其中r=mb(a-1)(k+1)2(k+1)k),k0N使得a0(1-1.(q)2那么gmnm,nZ是L(R)的框架,界為b0bA-Dr22(a-1)1n,22a2)k)2j證明由條件(1)及定理1知,bA|ga)|x|r<aj+1,e.xR,任意x0,取j0Z,使得a0|x|.當n>0,n)aj0+1ak0(1-)aj0+1.na(1-n因此,當n&g

12、t;j0+k0時,g(g(ax)=0.故nx)=n26|g(g(ax)|=nx)-nnj+k006n2|g(g(ax)|nx)-nj+k006D|n-a|22-2j2n2|x|2D2nj+k0062-2(r)a2(k+j)ja2n=Dra2222nj+k006a2n=Dra222-2j1-a-2=Dr.2a-12(k+1)因此6n|g(nx)|2126n|g(ax)|n212+6n|g(g(ax)|nx)-n212bB+Dr2,(a2-1)1212(k+1)6n|g(nx)|2126nn|g(ax)|-6nn|g(g(ax)|nx)-212bA-Dr2.(a2-1)1(k+1)q2由定理4知,

13、gmnm,nZ是L(R)的框架,界為()b0bA-Dr22(a-1)1(k+1)2,b0bB+Dr2(a2-1)1(k+1)2.通過下面的兩個引理我們得到兩個樣品值攝動的定理.5>0使|,m,nZ且mn.則引理6如果實數(shù)列L,|nnZ滿足:存在L,n-n|n-m|eitnnZ是L-r,r的框架,其中0<r<.2由此即知,如果n是滿足引理的條件,則e引理762ibtn是L-r,r的框架.其中0<r<12b.2it2,nZ,則en是L-,上的Riesz基.4it2n由定理的證明可知,當實數(shù)列nZ是L(Ir)上的Riesz基,其中Ir=nnZ滿足定理條件時,那么e如果實

14、數(shù)列L<nnZ滿足|n-n|第3期丁友征等:緊支撐小波框架的穩(wěn)定性5,(r+2),r是整數(shù).由此即知,er2ibtn是L2,上的Riesz基.2b2b2定理8設(shè)gL(R),a>1,b>0,suppgI,I=-r,r,其中0<r<.如果2b(1)>0,使|,mn;實數(shù)列L,|nnZ滿足:存在L,n-n|n-m|2(2)gmnm,nZ是L(R)的以A,B為界的框架.p2那么gmnm,nZ是L(R)的框架.()證明由條件(2)及定理1知gL(R)且bA6n|g(ax)|n2e2ibxm22,xI,mZ.由引理6知embmZ是L(I)上的框架,設(shè)界為C,D.任意fL

15、(R),nZ,易知gDanf2L(I),因此6m|f,gmn|(p)2=66mmn|f,DanT|bgm2=2|gDanf,e-mb|26=mm|f,Da-nE-mbg|22|gDanfe|,故CgDanf6|f,gmn|DgDanf.又m2(p)2gDaf=2-rr|()dx222因此故(p)6ngDanf22|f(x)|6Rn|(x)|g(x)|dx=2n2|g(ax)|dx=nR|f(x)|g(ax)|dx.22n2nRR|f(x)|6n|g(ax)|dx.2n2bACf=bACf22m,n6|f,gmn|(p)2DbBf=bBDf.2即gmnm,nZ是L(R)的以bAC,bBD為界的框

16、架.2定理9設(shè)gL(R),a>1,b>0,suppgI,I=,r是某個整數(shù),如果2b2b(1)實數(shù)列L<14;mmZ滿足|m-m|2(2)gmnm,nZ是L(R)的以A,B為界的小波框架.p2那么gmnm,nZ是L(R)的框架.()證明令emb(x)=e2ibxm2,xI,mZ,由引理7知embmZ是L(I)的Riesz基.余下的證明同定理8.最后,我們討論多個項同時攝動時的情況.2定理10設(shè)gL(R),a>1,b>0,suppgI,I=-r,r,其中0<r<,如果2b2(1)gmnm,nZ是L(R)的以A,B為界框架;(2)fL2(R),suppfI

17、,且存在0,1)使得1,2|g(x)-f(x)|222n(4)(0,1)使|an,nZ,且正實數(shù)列nnZ滿足:存在n-a|bk)其中k0N使a0(1-1;1+22222A>Dr,2a-12(k+1)(5)實數(shù)列mmN滿足定理8的條件(1).p,q2那么fmnm,nZ是L(R)的框架.()(2),根據(jù)定理3可得,fmn是L2(R)的小波框架,再由條件(3)、(4)及定理5可知證明由條件(1)、曲阜師范大學(xué)學(xué)報(自然科學(xué)版)2004年6p2p,q2fmn是L(R)的框架,最后根據(jù)定理8可得,fmnm,nZ是L(R)的框架.()()2定理11設(shè)gL(R),a>1,b>0,suppg

18、I,I=2(1)gmnm,nZ是L(R)的以A,B為界的框架;,r是某個整數(shù),如果2b2b(2)fL2(R),suppfI,且存在0,1),使得12(3)存在D>0,>0,使得任意hR,有|f(x+h)-f(x)|D|h|n(4)(0,1)使|an,nZ,且正實數(shù)列nnZ滿足:存在n-a|20A>DM,2a-12(k+1)其中M=,2b2bk)1.,k0N使a0(1-(5)實數(shù)列mmZ滿足定理9的條件(1).p,q2那么fmnm,nZ是L(R)的框架.()(2),根據(jù)定理3可得,fmn是L2R)(3)、(4)及定理5可知證明由條件(1)、q2p,qfmn是L(R)的框架,最后

19、根據(jù)定理9可知fmnnZ()()注4以上定理將文獻7x-f(x)|<|g(x)|推廣為兩項,即定理10、定理11中的條件(2).參考文獻:1DaubechiesI,GrossmannA,MeyerY.PainlessnonorthogonalexpansionsJ.JMathPhys,1986,27:12711283.2DaubechiesI,etal.Thewavelettransform,time-frequancylocationandsignalanalysisJ.IEEETransInformTheory,1990,36(5):9611005.3CazassaPG,ChristensenO.PerturbationofoperatorsandapplicationsofframestheoryJ.JourFourierAnalandAppl,1997,3(5):533557.4ZhangJing.Onthestabilityofwaveletandgaborframes(Rieszbases)J.JFourierAnalandAppl,1999,5(1):105125.5DuffinRJ,SchaefferAC.AclassofnonharmonicFourierSeriesJ.FransAMS,1952,72:341336.6YongR.AInt