PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3363–3370 S 0002-9939(97)04002-1
PERTURBATIONS OF THE HAAR WAVELET
N. K. GOVIL AND R. A. ZALIK
(Communicated by Palle E. T. Jorgensen)
Abstract. Let m Z+ be given. For any ε>0 we construct a function ε ∈ ε f { } having the following properties: (a) f { } has support in [ ε, 1+ε]. (b) ε m − f { } C ( , ). (c) If h denotes the Haar function and 0 <δ< ,then ε∈ −∞ ∞ δ 1/δ 1/δ ε ∞ f h δ (1 + 2 ) (2ε) .(d)f generates an affine Riesz basis k { }− kL ( ) ≤ {} whose frame boundsR (which are given explicitly) converge to 1 as ε 0. →
Let be a Hilbert space with inner product , and norm := , 1/2.Let + H h· ·i + k·k h· ·i denote the natural numbers. A sequence fn,n Z is called a frame if thereZ are constants A and B such that for every{ f ∈ }⊂H ∈H A f 2 f,f 2 B f 2. k k ≤ |h ni| ≤ k k n Z+ X∈ The constants A and B are called bounds of the frame. If only the right-hand + inequality is satisfied for all f ,then fn,n Z is called a Bessel sequence with bound B. A frame is called∈H exact, or{ a Riesz∈ basis},ifupontheremovalofany single element of the sequence, it ceases to be a frame. However, not every frame + is a Riesz basis: as is well known, a sequence fn,n Z is a Riesz basis if and only if it is the image of an orthonormal{ basis∈ under}⊂H a bounded invertible linear operator U : ([1, 11]). Clearly for an orthonormal basis both frame bounds equal 1. H→H In [5] it is shown that adding a Bessel sequence with a small bound to a Riesz basis transforms the original basis into another Riesz basis. It is also shown how frame bounds for the new basis are obtained from frame bounds of the original basis. Given an arbitrary positive integer m, in the present paper we use these results to ε m perturb the Haar function into a function f { } C ( , ) with support in [ ε, 1+ε] (thus having good time and frequency∈ localization)−∞ ∞ that preserves the symmetry− of the Haar wavelet and generates an affine Riesz basis in L2( , ). The lack of orthogonality precludes the use of the fast wavelet transform.−∞ On∞ the ε other hand the functions f { } are given explicitly in terms of cardinal B-splines. Other wavelets do not have a closed form representation and have to be obtained recursively, using the cascade algorithm [4, 10]. Since frame bounds are given
Received by the editors March 18, 1996 and, in revised form, June 21, 1996. 1991 Mathematics Subject Classification. Primary 42C99; Secondary 41A05, 46C99. Key words and phrases. Frames, affine frames, Riesz bases, Haar wavelet, basis perturbations, -bounded mean variation, cardinal splines. ∧ The authors are grateful to Ole Christensen, Sergio J. Favier, Christopher E. Heil, and Luis Miguel Pozo Coronado for their helpful comments.
c 1997 American Mathematical Society
3363
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3364 N. K. GOVIL AND R. A. ZALIK
explicitly, the frame algorithm or other algorithms can be used to reconstruct a function from its wavelet coefficients ([4, 6]). Let denote the integers, therealnumbers,and Z R φ (x)=aj/2φ(ajx bk), j,k − where a>1andb>0. Our construction is based on a sequence of auxiliary propositions, some of which are of independent interest. We begin with:
Lemma 1. Let φ L2( ).If ∈ R φ ,φ B, |h j,k j0,k0 i| ≤ j,k X∈Z for every j0,k0 ,then φj,k j,k is a Bessel sequence with bound B. ∈Z { } ∈Z Proof. From Schur’s lemma ([3, Lemma 5] or [11, p. 159]) we deduce that the 2 2 operator generated by φj,k,φj0,k0 ,j,j0,k,k0 is bounded in ` ( ), and the assertion follows from the{h discussioni in [11, p.∈Z} 159]. Z
Remark. This lemma was implicitly used in the proof of [3, Lemma 9]. See also [7, Proposition 9.10]. The next result is a quantitative version of [2, Lemma 9], and its proof is based on the concept of -bounded mean variation introduced by Shi [8]: ∧ Let := λk,k =1,2,... be a nondecreasing sequence of positive numbers such that∧ {1 = . For any} locally integrable function f and a bounded interval λn ∞ I of length I , define j P| j | 1 f := f(t)dt, Ij I | j | ZIj 1 µ (f):= f(t) f dt. Ij I | − Ij| | j|ZIj The function f is said to be of -bounded mean variation on an interval I,and we write f BMV (I), if ∧ ∈∧ ∞ µ (f) M (f,I)=sup Ij < , ∧ λ ∞ j=1 j X where the supremum is taken over all sequences of nonoverlapping subintervals Ij of I. Let BV ( ) denote the set of functions of bounded variation over .Wehave: R R Lemma 2. Assume that φ satisfies the following conditions: (a) supp φ [c, d]=:I, (b) φ BV⊆( ), (c) ∈φ(t)dtR=0. R If Vφ denotes the total variation of φ on ,then φj,k j,k is a Bessel sequence with BesselR bound R { } ∈Z
√a 1 (a+1) 1 Mφ := φ (d c) [(d c)b− +1]Vφ + b− φ . k k∞ √a 1 − { − √a k k∞} −
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use PERTURBATIONS OF THE HAAR WAVELET 3365
Proof. Let θj0 ,k0 = φj,k,φj0,k0 .Then j,k |h i| P∈Z θj0,k0 = + =Σ1+Σ2. j j k j n=1,2,... let αn =infx In φ(x)andβn =supx I φ(x). Then for every ε>0, ∈ ∈ n we can select two points γn and δn in each interval In so that n 1 n 1 (3) φ(γ ) α + ε 2− − ,φ(δ) β ε2−−. n ≤ n n ≥ n− Clearly 1 µ (φ)= φ(x) φ dx β α . In I | − In| ≤ n − n | n|ZIn Hence by (3), ∞ ∞ 1 µ (φ) φ(I0 ) + ε In ≤ | n | 2n n=1 n=1 X X X (4) V + ε, ≤ φ where In0 =[γn,δn]andφ(In0)=φ(γn) φ(δn). Since (4) holds for every ε>0, we obtain− (5) µ (φ) V , In ≤ φ implying that φ BMV (c, d), andX ∈∧ (6) M (φ, I) Vφ, ∧ ≤ with := λk : k =1,2,... and λk =1fork=1,2,.... Thus∧ (2),{ (6) and [3, Lemma} 7] yield µ (φ ) [(d c)b 1 +1]V , Ij j ,k 0,k0 − φ − 0 ≤ − k K(j j ,0,k ) ∈ X− 0 0 and from (1) we conclude that √a 1 (7) Σ1 φ (d c) [(d c)b− +1]Vφ. ≤k k∞ − √a 1 − − License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3366 N. K. GOVIL AND R. A. ZALIK From [3, (3.17)] 2 1 (j j0)/2 2 1 (a +1)(d c) (8) Σ2 φ b− (a+1)(d c) a − = φ b− − . ≤k k∞ − k k∞ (√a 1) j