唐桂林
(安徽郵電職業(yè)技術(shù)學院,安徽 合肥 230031)
對偶泛函在計算機輔助幾何設計、圖形圖像處理中有著重要的作用,利用對偶泛函可以實現(xiàn)各種不同基函數(shù)的相互轉(zhuǎn)換,一直以來對偶泛函及其升階算法的研究受到眾多學者的關注。文獻[1-8]討論了不同基函數(shù)的對偶基及其應用;文獻[9]討論了一般多項式基函數(shù)的對偶基問題;文獻[10]給出了泛函分析中對偶基的構(gòu)造方法;文獻[11]給出了J-NTP表達式。由于關于J-NTP基函數(shù)的對偶泛函及其升階算法的相關結(jié)果還沒有出現(xiàn),這里首先根據(jù)對偶泛函的傳統(tǒng)算法,給出J-NTP基函數(shù)對偶泛函的升階算法,并以具體案列來驗證所給算法的正確性。
圖1 五次J-NTP曲線Fig.1 The five J-NTP curve
定理1 在區(qū)間[0,1]上n=2m次J-NTP基函數(shù)的對偶泛函可表示為:
(2)
引理1j0,j1,…,jn是一組線性無關的基函數(shù),其生成空間為Jn=span {j0,j1,…,jn}則有
(3)
引理2 設p0,p1,…,pn是一組線性正交基函數(shù),其生成空間為Pn=span {p0,p1,…,pn},則有
即
(4)
(5)
下面介紹一種新的升階算法。該種算法相對于引理1和引理2來說,計算量要少很多。
定理2 設j0,j1,…,jm,m∈{0,1,2,…,n}是m維線性空間的基函數(shù),其生成空間為
i∈{0,1,…,m},j∈{0,1,…,m}
(6)
下面構(gòu)造n+1維歐式空間Dn+1,即有
i∈{0,1,…,n+1},j∈{0,1,…,n+1}
(7)
spanDn+1=spanJn+1=spanJn∪{jn+1}=spanDn∪{jn+1}=span {Dn,jn+1}
即有
(8)
根據(jù)對偶基的定義,則有
當i∈{0,1,2,…,n}時
當i=n+1時
即
其中
下面我們以J-NTP基函數(shù)為例來驗證上述算法。不妨設:
J4={j0,j1,j2,j3,j4},
j0=(1-t)4,j1=t(1-t)3,j2=1-t3-(1-t)3,j3=t3(1-t),j4=t4
(9)
(10)
1)當i=0時
根據(jù)泛函分析中的對偶泛函理論,對下標j進行分類討論,則有
即有
2)當i=1時,同理可有
3)當i=2時,同理可有
4)當i=3時,同理可有
5)當i=4時,同理可有
根據(jù)上述算法,我們現(xiàn)在利用4次J-NTP基函數(shù)的對偶基來構(gòu)造5次J-NTP基函數(shù)的對偶基函數(shù)
(11)
(12)
當j=0時,分別討論i=0,1,2,3,4,5時的情況:
1)當i=0時,即
2)當i=1時,即
3)當i=2時,即
4)當i=3時,即
5)當i=4時,即
6)當i=5時,即
即有
其中系數(shù)矩陣:
當j=0時,可以得到矩陣M如下:
根據(jù)泛函分析中對偶理論,給出J-NTP 基函數(shù)對偶泛函的升階算法。文中以4次J-NTP 基函數(shù)對偶泛函為例,得到5次J-NTP 基函數(shù)對偶泛函,驗證該算法的正確性。該方法需要解一個線性方程組才能得到對偶基,但與現(xiàn)有的方法相比其解方程組的計算量由O(N3)變?yōu)镺(N),這在計算機輔助幾何設計中有著潛在的應用價值。