陳 偉,蔡占川
(1. 江南大學(xué)數(shù)字媒體學(xué)院, 江蘇 無錫 214122;2. 澳門科技大學(xué)資訊科技學(xué)院, 澳門)
高次Haar函數(shù)的推廣*
陳 偉1,蔡占川2
(1. 江南大學(xué)數(shù)字媒體學(xué)院, 江蘇 無錫 214122;2. 澳門科技大學(xué)資訊科技學(xué)院, 澳門)
k次V-系統(tǒng)是一類正交分段多項式函數(shù)系,Haar函數(shù)是當k=0時的情形, 因而又稱為高次Haar函數(shù)。V-系統(tǒng)定義在區(qū)間[0,1]上的均勻剖分上, 經(jīng)過對所謂“生成元函數(shù)”進行2n倍壓縮及平移得到。提出了一種正交非均勻分段多項式函數(shù)系的構(gòu)造方法, 稱之為高次非均勻Haar函數(shù)系。對于任意給定的區(qū)間[0,1]上的非均勻?qū)哟吻短灼史? 首先定義一組截斷單項式,并證明了對這組截斷單項式系進行Gram-Schmidt過程, 結(jié)果便是相應(yīng)的高次非均勻Haar函數(shù), 原來的V-系統(tǒng)只是高次非均勻Haar函數(shù)系的特殊情形。證明了該函數(shù)系的正交性, 再生性及收斂性, 并給出了一個具體構(gòu)造實例。
V-系統(tǒng);Haar函數(shù);非均勻;Gram-Schmidt
正交變換在信號逼近、 壓縮、 特征提取等領(lǐng)域具有廣泛的應(yīng)用, 它的數(shù)學(xué)基礎(chǔ)便是正交函數(shù)系[1-3]。在眾所周知的Fourier三角函數(shù)系以及諸多正交多項式系中, 每一個基函數(shù)不僅是連續(xù)的, 而且具有任意階的連續(xù)導(dǎo)數(shù)。 歷史上, 為了回答“是否存在非連續(xù)的完備正交函數(shù)系”這樣的反問, 匈牙利數(shù)學(xué)家Haar構(gòu)造了后人稱呼的“Haar函數(shù)”。如果不考慮規(guī)范系數(shù), Haar函數(shù)僅取值+1,-1或0, 因此可以看作是一類正交零次分段多項式函數(shù)系。當小波分析興起后,Haar函數(shù)成為小波變換中典型的波函數(shù)代表[1]。
2007年, 國內(nèi)學(xué)者宋瑞霞等[4]構(gòu)造了一類L2[0,1]上的完備正交分段多項式函數(shù)系, 稱為k(k=0,1,2,…)次V-系統(tǒng),V-系統(tǒng)是一類有限區(qū)間上的正交多小波[5],Haar函數(shù)是k=0時的特殊情形, 因此V-系統(tǒng)又稱為高次Haar函數(shù)[6]。與傳統(tǒng)的連續(xù)正交函數(shù)不同,V-系統(tǒng)既包含光滑函數(shù), 又有各個層次的間斷函數(shù), 從而能夠表達更加復(fù)雜的信號。文獻[7-9]將V-系統(tǒng)應(yīng)用到幾何圖形表達, 數(shù)據(jù)聚類, 三維模型重構(gòu)與檢索等實際問題中, 取得了良好的結(jié)果。
V-系統(tǒng)是通過對所謂“生成元函數(shù)”作2n(n=1,2,…)倍壓縮得到, 這種構(gòu)造方式建立在區(qū)間[0,1]的均勻剖分基礎(chǔ)上, 因而基函數(shù)的分段點位置只出現(xiàn)在q/2p處。本文的目的, 是構(gòu)造非均勻剖分節(jié)點下的V-系統(tǒng), 稱之為非均勻高次Haar函數(shù)。
當分段節(jié)點位置為非均勻分布時, 原來的V-系統(tǒng)構(gòu)造方法不再有效。 也就是說, 不再能夠通過壓縮與平移操作得到。本文提出了一種高次非均勻Haar函數(shù)系的構(gòu)造方法, 根據(jù)給定的區(qū)間[0,1]上的非均勻?qū)哟吻短追指? 首先定義一類線性無關(guān)函數(shù)系。本文證明, 對這類線性無關(guān)函數(shù)系作Gram-Schmidt正交化手續(xù), 結(jié)果便是對應(yīng)非均勻節(jié)點分割上的高次Haar函數(shù)系, 原來的均勻V-系統(tǒng)只是它的一種特殊情形。進一步地, 本文從理論上證明了高次非均勻Haar函數(shù)系的正交性, 再生性及收斂性。
V-系統(tǒng)是一類正交分段多項式函數(shù)系, 其中既包含連續(xù)的基函數(shù), 又包含具有各種層次間斷性的基函數(shù)。因此V-系統(tǒng)能夠兼顧Fourier三角基與Haar函數(shù)的優(yōu)點, 可以更好地表達信號。
其中
[f,g]
從第2組(n=2)開始,V-系統(tǒng)中的基函數(shù)均由生成元經(jīng)壓縮及平移直接得到,如下:
那么, 函數(shù)集合
即為k次V-系統(tǒng)。
圖1 均勻V-系統(tǒng)前10項基函數(shù)(k=1)Fig.1 The first 10 base functions of uniform V-system (k=1)
2.1 非均勻?qū)哟吻短追指?/p>
Haar函數(shù)及V-系統(tǒng)定義在區(qū)間[0,1]的自相似均勻分割上。本文構(gòu)造的高次Haar函數(shù)系, 同樣定義在一個具有層次嵌套關(guān)系的分割上。不同的是,各層的分割位置不再固定為q/2p處。
定義2 (非均勻?qū)哟吻短追指?
為區(qū)間[0,1]上的第n層非均勻剖分, 滿足如下條件:
(iv)Jn=2n;
圖2所示為當n=0,1,2,3,4時的某一組非均勻?qū)哟吻短追指睢?/p>
圖2 區(qū)間[0,1]上的非均勻?qū)哟吻短追指頕ig. 2 Non-uniform hierarchical nested partition in the interval [0,1]
2.2 截斷單項式
本文構(gòu)造的高次非均勻Haar函數(shù)系, 由于失去了原有自相似均勻剖分的特點, 不再能夠直接通過生成元函數(shù)得到整個函數(shù)系。因此,首先定義一類截斷單項式函數(shù)系。
稱為Xn上的截斷單項式函數(shù)系。
2.3 高次非均勻Haar函數(shù)
證明 按截斷單項式函數(shù)系中的函數(shù)按序排列并記為W1,W2,…,Wj,…, 相應(yīng)的正交化結(jié)果記為G1,G2,…,Gj,…, 而將k次非均勻Haar函數(shù)系記為V1,V2,…,Vj,…。
當j=1時, 可具體驗證G1=W1=V1。
當j=2時, 可具體驗證G2=W2=V2。
假定Gj=Vj對j=1,2,…,m-1(m≥4)成立, 根據(jù)Gram-Schmidt正交化手續(xù),
下面將證明上述事實對j=m也成立。
證畢。
2.4 性質(zhì)
定理2(標準正交性)k次非均勻Haar函數(shù)系是L2[0,1]上的標準正交函數(shù)系, 即
證明 根據(jù)定理1,k次非均勻Haar函數(shù)系由線性無關(guān)函數(shù)組經(jīng)Gram-Schmidt正交化手續(xù)得到, 從而得證。
定理3(再生性) 設(shè)f(x)是區(qū)間[0,1]上的分段k次多項式, 且分段點位于Xn{0,1}, 則f(x)可以用Xn上的k次非均勻Haar函數(shù)系的有限項基函數(shù)線性組合精確表示,即
其中Λ為有限的指標集。
證明 根據(jù)定義2, 記Xn分割之下的分段k次多項式集合為Pk,Δn, 則
因而
此即說明,Xn分割之下任一分段k次多項式都可以由k次非均勻Haar函數(shù)系的前2n(k+1)個基函數(shù)精確表達。證畢。
假設(shè)f(x)是給定的函數(shù), 定義
為函數(shù)f(x)的非均勻Haar級數(shù), 其中
記
為函數(shù)f(x)的非均勻Haar級數(shù)的部分和。那么, 有下面的定理。
另一方面,l(x)∈Pk,Δn, 即表明對于f(x)∈L2[0,1]來說, 存在h(x)∈Mk,n, 使得
定理3表明本文構(gòu)造的高次非均勻Haar函數(shù)系是L2[0,1]中的完備正交函數(shù)系[11]。
定理1從理論上給出了高次非均勻Haar函數(shù)系的構(gòu)造方法,這里以一個具體例子進行驗證。
給定如下非均勻?qū)哟吻短追指頧3, 通過本文方法, 構(gòu)造出相應(yīng)的高次非均勻Haar函數(shù)系。
運用本文方法, 可以得到任意k次的非均勻Haar函數(shù)系。 限于篇幅, 這里只列出該非均勻分割上的1次與2次Haar函數(shù)系的基函數(shù)圖像, 見圖3與圖4, 并列出1次非均勻Haar函數(shù)的前8項基函數(shù)表達式。
n=0:
n=1:
n=2:
圖3 非均勻高次Haar函數(shù)(k=1)Fig.3 The high order non-uniform Haar functions (k=1)
圖4 非均勻高次Haar函數(shù)(k=2)Fig.4 The high order non-uniform Haar functions (k=2)
現(xiàn)有的正交分段多項式函數(shù)系定義在有限區(qū)間的均勻分割上, 本文構(gòu)造了一類非均勻正交分段多項式函數(shù)系, 稱之為高次非均勻Haar函數(shù)系。傳統(tǒng)的V-系統(tǒng)是它的一種特殊情形。根據(jù)給定的非均勻?qū)哟吻短追指? 根據(jù)本文方法, 可以自動高效地得到相應(yīng)的任意k次非均勻Haar函數(shù)系, 并且該函數(shù)系具有正交性, 再生性及收斂性。
[1] 齊東旭, 宋瑞霞, 李堅. 非連續(xù)正交函數(shù)—U-系統(tǒng)、V-系統(tǒng)、多小波及其應(yīng)用[M]. 北京:科學(xué)出版社, 2011.
[2] 楊發(fā)權(quán), 李贊, 羅中良,等. 一種N維數(shù)據(jù)塊正交調(diào)制及其調(diào)解識別方法的研究[J]. 中山大學(xué)學(xué)報(自然科學(xué)版), 2012, 52(5): 18-22.
[3] 蔡占川, 陳偉. 基于正交GF系統(tǒng)的散亂數(shù)據(jù)擬合及分析[J]. 中山大學(xué)學(xué)報(自然科學(xué)版), 2013, 51(3): 73-77.
[4]SONGRX,MAH,WANGTJ,etal.CompleteorthogonalV-systemanditsapplications[J].CommunicationsonPureandAppliedAnalysis, 2007, 6(3): 853-871.
[5]HUANGC,YANGLH,QIDX.Anewclassofmulti-waveletbases:V-system[J].ActaMathematicaSinica, 2012, 28(1): 105-120.
[6] 熊剛強, 齊東旭. 高次Walsh系與高次Haar系[J]. 寧夏大學(xué)學(xué)報(自然科學(xué)版), 2011,32(2): 109-115.
[7] 宋瑞霞, 王也娜, 李成華,等.V-系統(tǒng)在形狀相似檢索中的應(yīng)用[J]. 計算機輔助設(shè)計與圖形學(xué)學(xué)報, 2014, 26(11): 1930-1937.
[8]SONGRX,ZHAOZX,WANGXC,etal.AnapplicationoftheV-systemtotheclusteringofChernofffaces[J].ComputersandGraphics, 2010, 34: 529-536.
[9]SONGRX,YAODX,WANGXC,etal.Retrievalmethodfor3DobjectgroupbasedonV-system[J].JournalofAdvancedMechanicalDesign,Systems,andManufacturing, 2012, 6(3): 340-353.
[10] 徐森林. 實變函數(shù)論[M]. 合肥:中國科學(xué)技術(shù)大學(xué)出版社,2013.
[11]BOORCD.Apracticalguidetothesplines(revrisededition)[M].NewYork:Springer-Verlag, 2001.
The generalization of high order Haar functions
CHENWei1,CAIZhanchuan2
(1. School of Digital Media, Jiangnan University, Wuxi 214122, China;2. Faculty of Information Technology, Macau University of Science and Technology, Macau, China)
ThekdegreeV-systemisaclassoforthogonalpiecewisepolynomialfunctionswhichisalsonamedashighorderHaarfunctions.V-systemisdefinedontheuniformpartitionofinterval[0,1]andobtainedbymulti-scalesqueezingandshiftingoperationsontheso-calledgenerators.TheV-systemtothecaseofnon-uniformpartitionisgeneralized,andthecorrespondingresultisnamedashighordernon-uniformHaarfunctions.Foranygivenpartitionontheinterval[0,1],asetoftruncatedmonomialswasfirstlydefined.Itisprovedthatthenon-uniformHaarfunctionscanbeobtainedthroughtheGram-Schmidtorthogonalizationprocess.Theorthogonality,reproducibilityandconvergenceoftheproposedfunctionsareproved,andaspecificconstructiveexampleisalsogiven.
V-system; Haar functions; non-uniform; Gram-Schmidt
10.13471/j.cnki.acta.snus.2016.03.010
2015-07-07
國家自然科學(xué)基金資助項目(61402201);澳門科技發(fā)展基金資助項目(110/2014/A3);浙江大學(xué)CAD&CG國家重點實驗室開放課題資助項目(A1513,A1609);中央高?;究蒲袠I(yè)務(wù)費資助項目(JUSRP11416)
陳偉(1986年生),男;研究方向:信號處理;E-mail:chenwei.must@gmail.com
TP
A
0529-6579(2016)03-0059-05