多频率多函数小波

本文把通过方向多分辨分析构造的由一个函数生成的多频率小波推广到由有限个函数生成的多频率小波，给出由n2j1 j2个函数φ1,…φn,ψ1,…ψn(2j1 j2-1)的平移生成Vj(l)空间的Riesz基的充分必要条件．     

紧支撑正交插值的多小波和多尺度函数

本文给出一类伸缩因子为α的紧支撑正交插值多尺度函数和多小波的构造方法.设{Vj}是尺度函数Φ(x)=[φ1(x),φ2(x),…,φa(x)]T生成的多分辨分析,Vj(?)L2(R)是{a-j/2φ(?)(ajx-k),k∈Z,(?)=1,2,…,a)线性扩张构成的子空间,其插值性是指φ1(x),φ2(x),…,φa(x)满足φj(k+(?)/a)=δk,0δj,e,j,(?)∈{1,2,…,a).当Φ(x)是正交插值的,则多分辨分析的分解或重构系数能用采样点表示而不需要用计算内积的方法产生.基于此,我们建立多小波采样定理,即如果一个连续信号f(x)∈VN,则f(x)=∑i=0a-1∑k∈Zf(k/aN+i/aN+1)φi+1(aNx-k),并给出对应多小波的显式构造公式.更进一步,证明了本文构造的多小波也有插值性.最后,还给出一个构造算例.     

具有整数值伸缩矩阵的三维紧框架小波的存在性

引进了三维紧框架小波的概念,它是由框架多分辨分析中子空间X_1中的若干个三维函数Γ~1(y),Γ~2(y),…,Γ~n(y)构成的.研究了对应于三维尺度函数的三维紧框架小波的存在性.运用时频分析方法、滤波器理论、算子理论,给出这n个三维函数生成小波紧框架的充分条件,得到了由一个尺度函数Ψ(y)构造三维紧框架小波的显式公式.     

r重非正交小波包

该文讨论了由有限个尺度函数｛φ1，φ2，…，φr｝所生成的L2（R）上的多分辨分析．并考虑了L2（R）上直接小波分解和直接小波包分解，对（对偶）非正交小波包以及产生它们的基的稳定性作了较为深人的研究，获得了一些结果．     

任意细分面具的级联算法对单个初始函数的收敛性

级联算法在计算机图形和小波分析中都有很重要的作用．对任意的初始函数φ0，一个级联序列(φ_n)_(n=1)~∞是由迭代产生的序列φ_n=C_aφ_(n-1)(n=1，2，…)，其中 C_a 定义为C_ag=sum from α∈Ζa(α)g(2·-α)，g∈L_p(R)．用函数序列和联合谱半径刻画了级联序列的收敛性．作为一个结果，证明了任意的级联收敛序列都有几何收敛速度，即‖φ_(n-1)-φ_n‖_[L_p(R)]=O((?)~n)对某个(?)∈(0，1)成立．不要求对面具的求和定则的条件．     

小波变换及其应用(续三)

两维正交小波基　在许多实际问题中 ,经常会遇到多维的信号 (如图像等 ) ,因此只有一维小波基是不够的。不难证明 (见 [1 ])若φ( t)与Ψ ( t)是小波标准正交基的尺度函数与母函数 ,φjm( x) =2 j2 φ( 2 jx -m) ,Ψjm( x) =2 j2 Ψ ( 2 jx -m) ,则 {Ψjn( x)φjm( y) ,φjn( x)Ψjm( y) ,Ψjn( x)Ψjm( y) }j,m,nz构成两维平方可积函数空间 (即满足∫∞-∞∫∞-∞|f ( x,y) |2 dxdy <∞的全体函数所构成的线性空间 )的一组标准正交基 (见图 1 2 ( a) ( b) )图 1 2(六 )离散小波变换的应用举例( 1 )消除信号中的噪音信号在生成和传输过程…     

不规则多生成子Gabor框架及其对偶

对给定的φ_0,…,φ_(r-1)∈L~2(R)和a_0,b_0,…,a_(r-1)1,b_(r-1)>0,本文考虑不规则多生成子Gabor系统{E_(mb_l)T_(na_l)φ_l,m,n∈Z,l=0,…,r-1}.本文给出了该系统成为L~2(R)框架的充要条件;得到了不规则多生成子Gabor框架与其对偶之间关系的刻画.特别地,给出了一类多生成子Gabor框架及其对偶的显式构造.     

对称的高逼近阶多小波的构造

本文基于已有的对称多小波,给出构造对称的高逼近阶多小波的一个显式算法．具体地,假设Φ（x）：=（φ1（x）…．,φr（x））T是一个具有逼近阶m的对称加细函数向量．对于任意非负整数n,一个具有逼近阶m＋n的新对称加细函数向量Φ^new（x）：=（φ1^new（x）…．,φr^new（x））^T可由上述算法构造出来．另外,揭示了Φ（x）与Φ^new（x）之间的关系．为了使我们的结果具体化,从具有逼近阶4的三次Hermite函数出发,构造了一个具有逼近阶6的对称加细函数向量．     

再生核空间中的微分算子样条小波

0　引　　言r次多项式样条小波是从一个满足特殊的广义微分方程Dr+1φ(x)=δ(x)(D是广义微分子算子)的解φ(x)=xr+r!出发来构造的,文献[1]根据这一思想给出非多项式的H1(R)空间中微分算子样条小波分析的构造方法,本文基于这一思路来讨论W2(R)空间中的微分算子样条小波理论.在W2(R)空间中讨论非多项式形式的微分算子样条小波分析理论,这是多项式小波理论自然深入的发展.本文首先给出W2(R)空间中小波分析定义,然后给出小波函数在时、频域上的表达式,最后利用W2(R)空间中的若干特殊性质,给出小波的投影表达式.并证明了投影逼近函数uj(X)…     

广义Euler函数φ_2(n)与Euler函数φ(n)混合的一方程

令函数φ(n)为Euler函数,函数φ_e(n)为广义Euler函数,讨论了方程φ_2(φ(n))=φ(φ_2(n)的可解性,利用初等的方法给出了其成立时正整数n的形式或者n需满足的条件.     

小波紧框架的构造

小波框架理论是小波分析的重要内容之一.本文对于4-带尺度函数,由V1中的l个函数ψ1,ψ2,…,ψl构造小波紧框架.首先给出这个l个函数构成小波紧框架的充分条件.由此给出由4-带尺度函数构造出一个小波紧框架的公式.最后还给出类似于小波的小波紧框架的分解与重构算法.     

保Taylor联合谱的线性映射

设L(H),Lncom(H)分别是HilbertH上有界算子及n个两两交换的算子组的集合.设T∈Lncom(H),sp(T)表示Taylor联合谱,φi(i=1,2,…,n)是L(H)上满的线性映射且满足φi(Tl)φj(Tk)=φj(Tk)φi(Tl)当且仅当TlTk=TkTl,i,j=1,2,…,n.设T=(T1,T2,…,Tn)∈Lncom(H),φ=(φ1,φ2,…,φn),φ(T)=(φ1(T1),φ2(T2),…,φn(Tn)).文章证明了如果dimH<∞,对任意T=(T1,T2,…Tn)∈Lncom(H),sp(φ(T))=sp(T),则φi=φj,i,j=1,2,…,n.如果dimH=∞,T=(T1,T2,…Tn)∈Lncom(H),sp(φ(T))=sp(T),则φ是自同构或反自同构.     

α带小波紧框架的显式构造方法

文中研究了对应于α-带尺度函数的小波紧框架,这个小波紧框架是由V₁中的n个函数ψ¹,ψ²,...,ψⁿ构成. 首先给出了这n个函数构成小波紧框架的充分条件, 并借助尺度函数给出了构造小波紧框架的显式公式. 如果尺度函数的符号是有理函数,则可以构造出符号为有理函数的小波紧框架. 其次给出类似于正交小波的小波紧框架的分解与重构算法,并构造了小波紧框架的数值算例.     

On approximation of smooth functions from null spaces of optimal linear differential operators with constant coefficients

For a real valued function f defined on a finite interval I we consider the problem of approximating f from null spaces of differential operators of the form Ln(ψ) = n ∑ k=0 akψ(k), where the constant coefficients ak ∈ R may be adapted to f . We prove that for each f ∈ C(n)(I), there is a selection of coefficients {a1, ,an} and a corresponding linear combination Sn( f ,t) = n ∑ k=1 bkeλkt of functions ψk(t) = eλkt in the nullity of L which satisfies the following Jackson’s type inequality: f (m) Sn(m )( f ,t) ∞≤ |an|2n|Im|1/1q/ep|λ|λn|n|I||nm1 Ln( f ) p, where |λn| = mka x|λk|, 0 ≤ m ≤ n 1, p,q ≥ 1, and 1p + q1 = 1. For the particular operator Mn(f) = f + 1/(2n) f(2n) the rate of approximation by the eigenvalues of Mn for non-periodic analytic functions on intervals of restricted length is established to be exponential. Applications in algorithms and numerical examples are discussed.     

Vector subdivision schemes in (Lp(Rs))r(1 ≤ p ≤∞) spaces

The purpose of this paper is to investigate the refinement equations of the form ψ(x) = ∑α∈Zs a(α)ψ(Mx - α), x ∈ Rs,where the vector of functions ψ=(ψ1,…,ψr)T is in (Lp(Rs))r, 1≤p≤∞,a(α),α∈Zs,is a finitely supported sequence of r × r matrices called the refinement mask, and M is an s × s integer matrix suchthat lim n→∞ M-n = 0. In order to solve the refinement equation mentioned above, we start with a vectorof compactly supported functions ψ0 ∈ (Lp(Rs))r and use the iteration schemes fn := Qnaψ0,n = 1,2,…,where Qa is the linear operator defined on (Lp(Rs))r given by Qaψ:= ∑α∈Zs a(α)ψ(M·- α),ψ∈ (Lp(Rs))r. This iteration scheme is called a subdivision scheme or cascade algorithm. In this paper, we characterize the Lp-convergence of subdivision schemes in terms of the p-norm joint spectral radius of a finite collection of somelinear operators determined by the sequence a and the set B restricted to a certain invariant subspace, wherethe set B is a complete set of representatives of the distinct cosets of the quotient group Zs/MZs containing 0.     

Compactly supported (bi)orthogonal wavelets generated by interpolatory refinable functions

This paper provides several constructions of compactly supported wavelets generated by interpolatory refinable functions. It was shown in [7] that there is no real compactly supported orthonormal symmetric dyadic refinable function, except the trivial case; and also shown in [10,18] that there is no compactly supported interpolatory orthonormal dyadic refinable function. Hence, for the dyadic dilation case, compactly supported wavelets generated by interpolatory refinable functions have to be biorthogonal wavelets. The key step to construct the biorthogonal wavelets is to construct a compactly supported dual function for a given interpolatory refinable function. We provide two explicit iterative constructions of such dual functions with desired regularity. When the dilation factors are larger than 3, we provide several examples of compactly supported interpolatory orthonormal symmetric refinable functions from a general method. This leads to several examples of orthogonal symmetric (anti‐symmetric) wavelets generated by interpolatory refinable functions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Irregular wavelet frames on L~2 (R~n)

In this paper, we present the conditions on dilation parameter {sj}j that ensure a discrete irregular wavelet system to be a frame on L2(Rn), and for the wavelet frame we consider the perturbations of translation parameter b and frame function ψ respectively.     

Smoothing Minimally Supported Frequency Wavelets: Part II

The main purpose of this paper is to give a procedure to "mollify" the low-pass filters of a large number of Minimally Supported Frequency (MSF) wavelets so that the smoother functions obtained in this way are also low-pass filters for an MRA. Hence, we are able to approximate (in the L²-norm) MSF wavelets by wavelets with any desired degree of smoothness on the Fourier transform side. Although the MSF wavelets we consider are bandlimited, this may not be true for their smooth approximations. This phenomena is related to the invariant cycles under the transformation $x\mapsto 2x (\mbox{mod}2\pi).The main purpose of this paper is to give a procedure to “mollify” the low-pass filters of a large number ofMinimally Supported Frequency (MSF) wavelets so that the smoother functions obtained in this way are also low-pass filters for an MRA. Hence, we are able to approximate (in the L ² -norm) MSF wavelets by wavelets with any desired degree of smoothness on the Fourier transform side. Although the MSF wavelets we consider are bandlimited, this may not be true for their smooth approximations. This phenomena is related to the invariant cycles under the transformation x ?2x (mod2π). We also give a characterization of all low-pass filters for MSF wavelets. Throughout the paper new and interesting examples of wavelets are described.     

On <Emphasis Type="Italic">s</Emphasis>-Elementary Super Frame Wavelets and Their Path-Connectedness

A super wavelet of length n is an n-tuple (ψ ₁,ψ ₂,…,ψ _n ) in the product space \(\prod_{j=1}^{n} L^{2}(\mathbb{R})\), such that the coordinated dilates of all its coordinated translates form an orthonormal basis for \(\prod_{j=1}^{n} L^{2} (\mathbb{R})\). This concept is generalized to the so-called super frame wavelets, super tight frame wavelets and super normalized tight frame wavelets (or super Parseval frame wavelets), namely an n-tuple (η ₁,η ₂,…,η _n ) in \(\prod_{j=1}^{n}L^{2} (\mathbb{R})\) such that the coordinated dilates of all its coordinated translates form a frame, a tight frame, or a normalized tight frame for \(\prod_{j=1}^{n} L^{2}(\mathbb{R})\). In this paper, we study the super frame wavelets and the super tight frame wavelets whose Fourier transforms are defined by set theoretical functions (called s-elementary frame wavelets). An m-tuple of sets (E ₁,E ₂,…,E _m ) is said to be τ-disjoint if the E _j ’s are pair-wise disjoint under the 2π-translations. We prove that a τ-disjoint m-tuple (E ₁,E ₂,…,E _m ) of frame sets (i.e., η _j defined by \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\) is a frame wavelet for L ²(?) for each j) lead to a super frame wavelet (η ₁,η ₂,…,η _m ) for \(\prod_{j=1}^{m} L^{2} (\mathbb{R})\) where \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\). In the case of super tight frame wavelets, we prove that (η ₁,η ₂,…,η _m ), defined by \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\), is a super tight frame wavelet for ∏_1≤j≤m L ²(?) with frame bound k ₀ if and only if each η _j is a tight frame wavelet for L ²(?) with frame bound k ₀ and that (E ₁,E ₂,…,E _m ) is τ-disjoint. Denote the set of all τ-disjoint s-elementary super frame wavelets for ∏_1≤j≤m L ²(?) by \(\mathfrak{S}(m)\) and the set of all s-elementary super tight frame wavelets (with the same frame bound k ₀) for ∏_1≤j≤m L ²(?) by \(\mathfrak{S}^{k_{0}}(m)\). We further prove that \(\mathfrak{S}(m)\) and \(\mathfrak{S}^{k_{0}}(m)\) are both path-connected under the ∏_1≤j≤m L ²(?) norm, for any given positive integers m and k ₀.