arxiv: v3 [math.fa] 11 Jan 2018

Transcription

1 LOCALISATION PROPERTY OF BATTLE LEMARIÉ WAVELETS SUMS Elena P. Ushakova,, Kristina E. Ushakova 3 Comuting Center of the Far Eastern Branch of the Russian Academy of Sciences, Khabarovsk, Russia Peoles Friendshi University of Russia, Moscow, Russia 3 Immanuel Kant Baltic Federal University, Institute of Living Systems, Kaliningrad, Russia s: elenau@inbox.ru, 3 kristina.ushakova@outlook.com arxiv: v3 [math.fa] Jan 08 Key words: B sline, sline wavelet, Battle Lemarié scaling function and wavelet, construction, localisation, Nikolskii Besov saces. MSC 000): 4C40, 4B35. Abstract: Exlicit formulae are given for a tye of Battle Lemarié scaling functions and related wavelets. Comactly suorted sums of their translations are established and alied to alternative norm characterization of sequence saces isometrically isomorhic to Nikolskii Besov saces on R.. Introduction Battle Lemarié scaling functions are olynomial slines with simle knots at Z obtained by orthogonalisation rocess of the B slines. For n N the n th order B sline is defined recursively by B n x) := B n B 0 )x) = 0 B n x t) dt = x n B n x) + n + x B n x ) n with B 0 = χ [0,). It is known that B n generates multiresolution analysis of L R) [3, 4]. Moreover [3], a) su B n = [0, n + ], n N 0} and B n x) > 0 for all x 0, n + ), and B n C n for n ; b) the restriction of B n to each [m, m + ], m = 0,..., n, is a olynomial of degree n; c) the function B n x) is symmetrical about x = n + )/, that is B n n+ x) = B n n+ + x). Battle Lemarié scaling functions and related wavelets lay an imortant role in aroximation theory, numerical analysis see e.g. [3]), image, data and signal rocessing involving analysis of biological sequences and molecular biology related signals, etc. []. On the strength of the differentiation roerty B nx) = B n x) B n x ) for a.a. x R, n N, ) this function class has aeared to be an effective tool for solving roblems related to the theory of integration and differentiation oerators in function saces [4]. There is a number of aers devoted to Battle Lemarié scaling functions and wavelets. Most of them deal with their imlicit or aroximate exressions. An idea of how to find exlicit formulae for this function class was given in works by I.Ya. Novikov and S.B. Stechkin [7, 7] and [8, 5], see also [5] and [6]). The roblem, we dealt in [4], concerned the oerators comactness and aroximation roerties. The solution method required, first of all, exlicit formulae for the chosen wavelet system. The other imortant oints were in finding their roer transformations and sums in order to localise non comactly suorted scaling functions and wavelets of this tye and, making use of ), connect their comonents slines) with slines of lower or higher orders. All these questions were covered in [4,.., Lemma 5, Proosition 7, Corollary 8] for the scaling function and wavelets of the first order only. The results of the resent work make us able to continue the study of comactness and aroximation roerties of integration oerators in The research of the first author was suorted by the Russian Science Foundation roject RSF-DST: ).

2 saces of functions of higher smoothness than established in [4]. In the first art of this work we derive exact exressions for a family of Battle Lemarié scaling functions and wavelets of all ositive integer orders ). The second art of the aer is devoted to the "localisation roerty" of the class 3). Namely, we establish comactly suorted combinations Ψ n of wavelets of Battle Lemarié tye see 43) in Theorem 3.), which contribute to simle connection between two B slines of different orders by an integration differential) oerator as well as to relation between dilations of B slines see 46), 47) and 49)). Similar result is given for the scaling function see 4) in Theorem 3. in combination with )) and both are alied to equivalent norm characteristics in Besov tye saces Proosition 4.). Throughout the aer, we use Z, N and R for integers, natural and real numbers, resectively; symbol C for the comlex lane. We make use of marks := and =: for introducing new quantities.. Construction of Battle Lemarié scaling functions and related wavelets The Fourier transform of the normalised B sline of the n th order has the form ) ˆB n ω) = [ ˆB sinω/) n+ 0 ω)] n+ = e in+)ω/ = e in+)ω/4 cosω/4)) n+ ˆBn ω/). ) ω/ In articular, if n = then and, therefore, ˆB ω) = e iω/ [ + cosω/)] ˆB ω/) 3) B x) = B x) + B x ) + B x ). 4) The general two scale relation formula for B n, n N 0}, has the following form [3, Chater 4]: n+ B n x) = n n + )! k!n + k)! B nx k). 5) Fixed n N and any d, τ Z ut B n; d,τ x) := B n d x τ), x R. Each d Z let V d denote the L R) closure of the linear san of the system B n; d,τ : τ Z}. It is well known [3] that the sline saces V d, d Z, which are generated by the scaling function B n, constitute a multiresolution analysis of L R) in the sense that i)... V V 0 V...; ) ii) clos L R) d Z V d = L R); iii) d Z V d = 0}; iv) for each d the B n; d,τ : τ Z} is an unconditional but not orthonormal) basis of V d. Further, there are the orthogonal comlementary subsaces..., W, W 0, W,... such that v) V d+ = V d W d for all d Z, where stands for V d W d and V d+ = V d + W d. Wavelet subsaces W d, d Z, related to the sline B n, are also generated by some basic functions wavelets) in the same manner as the sline saces V d, d Z, are generated by the sline B n. It is well known that there exists another scaling function, whose integer translations form an orthonormal system within the same multiresolution analysis. The function φ BL n L R) satisfying ˆφ BL n ω) = ˆB n ω) ) ˆB / n ω + πm) m Z

3 is called the Battle Lemarié scaling function [,, ]. Integer translations of φ BL n form an orthonormal basis in V 0 of the multiresolution analysis generated by B n. The n th order Battle-Lemarié wavelet is the function ψn BL whose Fourier transform is ˆψ n BL iω/ ˆφ BL n ω + π) ω) = e ˆφ BL n ω/ + π) ˆφ BL n ω/). Integer translations of ψn BL form an orthonormal basis in W 0 of the multiresolution analysis generated by B n. A scaling function φ and one of its associated wavelets ψ form a wavelet system φ, ψ}. In order to derive exlicit exressions for sline wavelet systems of all orders n N with roerties analogous to φ BL n and ψ BL n we follow the idea from [7, 7] see also [8, 5], [5] and [6]). 3.. Auxiliary results. Denote P n ω) := ˆB n ω + πm) m Z and write ˆφ # n ω) = ˆB n ω) Pn ω) = m# n ω/) ˆφ # n ω/), 6) where the low ass filter m # n ω) see )) is given by m # n ω) := e in+)ω/ cosω/)) n+ P n ω) P n ω). A wavelet function ψ # n related to φ # n must be of the form where the high ass filter M # n ω) is given by ˆψ # n ω) = M # n ω/) ˆφ # n ω/), 7) M # n ω) := e iω m # n w + π) = e iω e in+)ω+π)/ sinω/)) n+ P n ω + π) P n ω) = e iω e in+)ω/ i sinω/)) n+ P n ω + π) e = e iω iω P n ω) Consider P n ω), n N. It is well known that P 0 ω) = and φ # 0, ψ# 0 P n ω) = sinω/)) n+) k Z ) n+ P n ω + π) P n ω). 8) form the Haar system. Write ω + πk) n+) =: ρ n+)ω). 9) The exressions 9) were investigated in terms of rational olynomials in [0]. Let us shortly exlain milestones of this well known theory see also [3, 6.4]). Differentiation of 9) yields ρ m+ ω) = cosω/)ρ m ω) m sinω/)ρ mω), m even. As it was mentioned before, ρ ω) =. Following [0, Part B,.], we exress ρ m ω) as olynomials in the variable z = cosω/) by means of ρ m ω) = U m cosω/) to obtain the recurrence relation for U m+ z) = z U m z) + m + z )U mz) 0)

4 4 with U 0 z) =. Being an even olynomial for even m, the U m z) may be exressed as a olynomial Uκy) in the variable y = z of degree κ = m )/. By [0, Part B, Lemma ], U m z) has all simle and urely imaginary zeros z,..., z m }. The change of variable transforms them into the zeros α,..., α κ } of Uκy), which must all be ositive and not less than. Thus, since Uκ0) = U m ) =, ρ n+) ω) = U n x) = yα )... yαn ). We may and shall assume that y > see [0, Part B, Lemma 3]). To find zeros of y/α j, j =,..., n, with resect to e ±iω in this case, we write α j y = α j sin ω/) = 0, that is α j ) + e iω + e iω = e ±iω e iω + α j )e iω + ) = 0. Thus, e iω = α j ) ± α j α j ), where α j > and, therefore, α j ) ± α j α j ) R. Notice that r j := α j ) α j α j ) 0, ) ) and, therefore, /r j := α j ) + α j α j ) >. Denote t j = r j ±. Since t j = t j, then sin ω/) α j = e±iω 4α j e iω + r j )e iω + /r j ) = e±iω 4α j t j e iω + t j )e iω t j + ) Thus, with t j = r ± j, j =,..., n, = 4α j t j e ±iω t j + )e iω t j + ) = 4α j t j e ±iω t j +. P n ω) = ρ n+) ω) = e ±iω t +... e ±iω t n +. ) 4α t 4α n t n In view of 6), 7), 8) and ) we construct a wavelet system of Battle Lemarié tye as follows... The construction. Denote A ± t j ω) := α j t j e ±iω t j + ), j =,..., n. Describe the case n = before considering the general situation. Examle.. If n = then α = 3/, r = 3 see 0) and ) in.) and we have 4) with x, if 0 x <, B x) = x, if x <, 3) 0 otherwise. Taking into account 6) and ) with t = r, define ˆφ ω) = If we choose t = /r in ) then ˆB ω) A ± r ω) = α r ˆB ω) e ±iω r + =: ˆφ ± ω). 4) ˆϕ ω) = α /r ˆB ω) e ±iω /r + = α /r e ±iω /r ˆB ω) e iω r + = α r ˆB ω) e iω r + e iω =: ˆϕ ± ω), 5)

5 5 Figure. φ + which is a shifted version of ˆφ ω) of the form 4). Further, since for 0 < r < then we can write e ±iω r + = r e ±iω ) l, 6) l=0 φ ± x) = α r r ) l B x ± l) and ϕ ± x) = α r r ) l B x l ). 7) l 0 Choosing between ± we obtain φ + and ϕ with "left tails" of the forms φ + x) = α r r ) l B x l) and ϕ x) = α r r ) l B x l + ) = φ + x + ) 8) l 0 and, analogously, φ and ϕ+ with "right tails" of the forms φ x) = α r r ) l B x l) and ϕ + x) = α r r ) l B x l ) = φ x ). 9) l 0 φ ± and ϕ differ by integer shifts only and constitute the same multiresolution analysis of L R). To construct wavelets ψ related to φ = φ ± and φ = ϕ ± we write according to 7), 8) and ): where see also 3)) that is M ω) := e iω H ω + π), l 0 l 0 ˆψ ω) = M ω/) ˆφ ω/), H ω) = ˆφ ω) ˆφ ω), H ω) = cos ω/) e±iω t + e ±iω t + e iω, t = r ± Thus, taking into account that for any r l 0 ˆB ω) ˆB ω) = e iω cos ω/), [e iω /r + ][e ±iω/ /r + ] = r e ±iω/ [e ±iω r + ][e iω/ r + ], 0).

6 6 Figure. φ Figure 3. ψ + r we obtain ˆψ ω) = α t [ t e iω/ ] [e iω/ + e iω/ ] ˆB [e iω t + ][e ±iω/ ω/) t + ] = r [/r e α t iω/ ] [e iω/ + e iω/ ] ˆB [e iω r + ][e ±iω/ ω/), t = r r + ] [r e iω/ ] [e iω/ + e iω/, ) ] [e ±iω r + ][e iω/ e ±iω/ ˆB ω/), t = /r r + ] which means that we can construct two tyes of ψ : one having [/r e iω/ ] in the numerator in ˆψ and the other one with [r e iω/ ]. Symbol ψ t will be used to emhasise our choice of t = r ± in ). With resect to 6) and in view of [/t e iω/ ] [e iω/ + e iω/ ] = e iω/ /t + /t ) + + /t )e iω/ e iω

7 7 Figure 4. r ψ + /r Figure 5. ψ r the ψ = ψ ± r with ˆψ defined by ) for t = r, have the following forms: ψ r ± x) = r r α ) k 0 r k r ) m[ B x k ± m + ) r m 0 + )B x k ± m) + + )B x k ± m ) B x k ± m ) ]. ) r r

8 8 Figure 6. r ψ /r Analogously, for the ψ = ψ ± /r with ˆψ defined by ) for t = /r, we get ψ ± /r x) = α r k 0 r ) k m 0 r ) m[ r B x ± ) ± k m + ) + r )B x ± ) ± k m) + + r )B x ± ) ± k m ) B x ± ) ± k m )]. To obtain further results of the aer in the case n = see 3 4) we shall use wavelet systems φ ±, ψ± r }, φ ±, ψ± /r } and their shifted counterarts φ ± ± ), ψ± r ± )} and φ± ), ψ± /r )}. For general n N we define ˆφ n as follows: where see )) ˆφ n ω) = 3) ˆB n ω) A ± t w)... A ± t n w) = m nω/) ˆφ n ω/), 4) m n ω) := e in+)ω/ cosω/)) n+ A± t w)... A ± t n w) A ± t w)... A ± t n w). The Fourier transform of a wavelet function ψ n related to φ n must satisfy the condition ˆψ n ω) = M n ω/) ˆφ n ω/), 5) where, with A t j w) = A ± t j w + π) = e iω t j )/ α j t j ), j =,..., n, M n ω) := e iω m n w + π) =e iω e in+)ω+π)/ e iπ sinω/)) n+ A t w)... A t n w) A t w)... A t n w) =e iω e in+)ω/ e iπ i sinω/)) n+ A t w)... A t n w) A t w)... A t n w) e =e iπn+) e iω iω ) n+ A t w)... A t n w) A t w)... A t n w). 6)

9 9 By 4) ˆφ n ω) = n α t... α n t n ˆBn ω) e ±iω t + )... e ±iω t n + ). 7) Considering ), we can vary ± in different terms in the denumerator of ˆφ n. But, for simlicity, in this work we limit our attention to the cases with either all "+" or all " " only. If t j = r j for all j =,..., n, we write, taking into account 6), ˆφ n ω) = n α r... α n r n l =0 r e ±iω ) l... r n e ±iω ) ln ˆB n ω), 8) l n=0 and, in view of FB n k))ω) = e ikω FB n ))ω), where Ff) := ˆf, we obtain φ n x) = n α r... α n r n r ) l... l =0 l n=0 r n ) ln B n x ± l... ± l n ). 9) If t j = /r j for at least one of j =,..., n we write, similarly to the case n = : A ± /r j ω) = αj /r j e ±iω /r j + = αj r j e iω e iω r j + = e iω A r j ω). 30) We say that j J r or, alternatively, that j J /r ), where j,..., n}, if t j = r j or t j = /r j ). Let c /r denote the cardinality of the set J /r,..., n}. Then, it follows from 7) and 30), that ˆφ n ω) = n α r... α n r n ˆBn ω) e c /riω [ j J r e ±iω r j + ) ][ ι J /r e iω r ι + ) ] = β n r j e ±iω ) l j j J r l j =0 r ι e iω ) lι ˆB n ω) e c/riω, 3) ι J /r l ι=0 where β n := n α r... α n r n. By definition of P n ω) see.) and on the strength of ), the system φ n τ)}, defined by 8) or by 3), is an orthonormal basis of V 0 generated by B n; 0,τ : τ Z}. In order to construct ψ n, we write, taking into account 5), 6) and 4), ˆψ n ω) = )n+ ) n+ n+ e iω/ e iω/ A t w/)... A t n w/) A t w)a ± t w/)... A t n w)a ± t n w/) ˆB n ω/), where e iω/ ) n+ e iω/ n+ = n ) k n + )! k!n + k)! en k)iω/.

10 0 Then, on the strength of 6) and 0), n+ α t... α n t n ˆψ n w) = ) n+ e iω/ t )... e iω/ t n ) e ±c ) /riω/ k n + )! k!n + k)! en k)iω/ = j J r m j =0 r j e iω ) m j r j e ±iω/ ) l j l j =0 rι ι J /r m ι=0 r ι e ±iω ) mι l ι=0 r ι e iω/ ) lι ˆB n ω/) n+ α t... α n t n r... r n ) ) n+ /t e iω/ )... /t n e iω/ ) e ±c ) /riω/ k n + )! k!n + k)! en k)iω/ j J r m j =0 r j e iω ) m j r j e ±iω/ ) l j l j =0 ι J /r m ι=0 r ι e ±iω ) mι l ι=0 r ι e iω/ ) lι ˆB n ω/). 3) Denote γ n := α t... α n t n r... r n ). Similarly to the case n =, we shall use symbols ψ t ±,...,t n to emhasise the choice of and t j, j =,..., n, in the roduct /t e iω/ )... /t n e iω/ ) in 3). Since FB n ±k))ω) = e±ikω/ ˆBn ω/), then the re image of n+ /t e iω/ )... /t n e iω/ ) k n + )! ) k!n + k)! en k)iω/ ˆBn ω/) is a sum of n + translations of ˆB n ω/) with coefficients deending on n and t j, j =,... n. It holds: /t e iω/ )... /t n e iω/ ) = ) n e niω/ + The art n ) n k k= j,...,j k,...,n} j... j k /t j... /t jk e n k)iω/. 33) n+ n ) k n + )! ˆBn ω/) k!n + k)! en k)iω/ 34) in 3) is the most essential in the definition of ˆψ ± t,...,t n. Its similarity with the right hand side of the two scale relation formula 5) lays an imortant role in connection between dilations of B slines see 46), 47) and 49)). Pre image of 34) has the form n+ n ) k n + )! k!n + k)! B n +n k)). Moreover, u to a constant, it is equal to n + ) th order derivative of B n+ x + n) see )): n+ n ) k n + )! k!n + k)! B n +n k)) = n B n+) n+ x + n). 35)

11 Below is the exression for ψ ± r,...,r n with ˆψ ± r,...,r n of the form 3) is given with resect to 33): γ n ψ ± r,...,r n ) = r ) m m =0 r ) l... l =0 r n ) mn m n=0 l n=0 r n ) ln [ n+ ) k n + )! k!n + k)! B n +n k) n m ± l... m n ± l n ) r j j,...,n} j,j,...,n} j j + r j r j j,...,j c,...,n} j... j c } n+ } n+ ) c r j... r jc ) k n + )! k!n + k)! B n +n k) n ) m ± l... m n ± l n )+ ) k n + )! k!n + k)! B n +n k) n ) m ± l... m n ± l n ) +... } n+ ) k n + )! k!n + k)! B n +n k) n c) m ± l... m n ± l n ) )n r... r n n+ ] ) k n + )! k!n + k)! B n +n k) m ± l... m n ± l n ). 36) Analogously one can construct ψ t,...,t n with all n ossible combinations of t j = r j ±, j =,..., n. For the sake of convenience it is reasonable to center them at c /r ). To obtain further results of the aer see 3 4) we shall use wavelet systems φ ± n c /r ), ψ± t,...,t n c /r ) } and φ ± n c /r ± ), ψ± t,...,t n c /r ± ) } with t j = r j ±, j =,..., n. By construction, translations of those φ ± n and ψ n ± := ψ t ±,...,t n form orthonormal basis in subsaces V 0 and W 0 of L R) related to the multiresolution analysis generated by B n ) and B n ± ). Moreover, since 0 < r j <, j =,..., n, then the system } d/ h n dτ : d N, τ Z, where N := N 0 } and N 0 := N 0}, consisting of h n τ x) := φ ± n x τ) and h n dτ x) := ψ± n d x τ), 38) is an orthonormal basis in L R) with the following roerties: i) φ ± n and ψ n ± have classical continuous derivatives u to order n inclusively on R; ii) the restriction of φ ± n and ψ n ± to each interval k, k + ) with k Z is a olynomial of degree at most n; iii) there are constants c > 0 and α > 0 such that for m = 0,,..., n d m dx m φ± n x) + d m dx m ψ± n x) c e α x, x R \ Z; iv) for m = 0,,..., n R x m ψ ± n x) dx = 0. 37)

12 Figure 7. φ + The iv) follows, in articular, from [3, 3.7, Proosition 4] see also [3,.5]). We comlete the section by examle of φ ± n and ψ ± n of order n =. Examle.. Let n =. Then U 4 x) = x 4 + x + )/5 = y 5y + 5)/5 = U y) and α, = 5± 05)/4. Therefore, r = 3 05) and r = 3+ 05) By 9), we have with β = 4 α α r r four otions, deending on ±, in total): φ ± x) = β r ) l r ) m B x ± l ± m), 39) where l=0 m=0 x, 0 x <, x + 3x 3 B x) =, x <, x 3x + 9, x < 3 0 otherwise. By 3) and 6), say, for t j = r j, j =,, that is in the case c /r = 0) ˆψ r ±,r x) = γ [ /r e iω/ )/r e iω/ ) e iω 3e iω/ + 3 e iω/] ˆB ω/) r e ±iω/ ) k r e ±iω/ ) k r e iω ) m k =0 k =0 m =0 with γ = r r α r α r. Since /r e iω/ )/r e iω/ ) [e iω 3e iω/ + 3 e iω/] [ ] = e iω /r + /r )e iω/ + /r r ) [e iω 3e iω/ + 3 e iω/] 40) r e iω ) m m 0 = /r r )e iω /r + /r + 3/r r ))e iω/ + + 3/r + /r ) + 3/r r )) 3 + 3/r + /r ) + /r r ))e iω/ /r + /r )e iω e 3iω/,

13 3 Figure 8. φ Figure 9. ψ + r,r a wavelet ψ + r,r, related to φ ± may have, in articular, the following form: γ ψ r +,r x) = = ) k 0 r k r ) k r ) m r ) m [ B x + k + k m m + )/r r ) k 0 m 0 m 0 /r + /r + 3/r r ))B x + k + k m m + ) + + 3/r + /r ) + 3/r r ))B x + k + k m m ) 3 + 3/r + /r ) + /r r ))B x + k + k m m ) /r + /r )B x + k + k m m ) B x + k + k m m 3) ]. 4)

14 4 For a function F on R and m N ut and define, recursively, 3. Localisation roerty S ±m F )x) := F x) + r j F x ± m), R ±m F )x) := F x) + r ι F x ± m) S ±m ɛ... S ±m F )x) := S ±m ɛ... S±m F )x) + r jɛ S ±m ɛ... S±m F )x ± m), ɛ c r, j ɛ J r ; R ±m υ... R ±m F )x) := R ±m υ... R±m F )x) + r ιυ R ±m υ... R±m F )x ± m), υ c /r, ι υ J /r. Let φ n, ψ n } be wavelet systems 37) with ˆφ n = ˆφ ± n satisfying 3) and ˆψ n = ˆψ t ±,...,t n of the form 3). For simlicity we assume that φ n are centred at ± c /r ) and ψ n are centred at c /r ). Recall that c /r denotes cardinality of the set J /r. Similarly, c r stands for cardinality of the set J r. Theorem 3.. Fixed n N, ut β n := n α r... α n r n, γ n := α t... α n t n r... r n ), γ n := and δ n := n j= r j r j ). n α...α nr...r n) ) n+ It holds and Φ n x) := S c ± r... S ± [ R c /r... R ] ) φ± n x) = β n B n x) 4) δ n γ n Bn+) n+ n+ x + n) = Ψ nx) := [ =... Λ ± r rn r4 r3 r r,r,r 3,r 4,...,r n x) r Λ ± r Λ ± x) ) } r r r,,r r 3,r 4,...,r Λ ± x) n,,r r r 3,r 4,...,r n r,r,r 3,r 4,...,r n x) r 3 Λ ± x) r r r r,r,,r r 4,...,r Λ ± x) n,r 3 r,,r r 4,...,r n 3 r Λ ± x) ) }] r r r,,,r r r 4,...,r Λ ± x) n,,,r 3 r r r 4,...,r n 3 [ r 4 Λ ± x) r r3 r r r,r,r 3,,...,r Λ ± r n 4 r,r,r 3, r r Λ ± r, r,r 3, r 4,...,r n x) r Λ ± r, r,r 3, r 4,...,r n x) ) ) x),...,r r n 4 ) } r 3 Λ ± x) ) r r r r,r,,,...,r Λ ± x) r 3 r n,r 4 r,,,...,r r 3 r n 4 r Λ ± x) ) }] ) ) r r r,,,,...,r Λ ± x)... r r r 3 r n,,,,...,r n..., 43) 4 r r r 3 r n 4 where B n+) n+ ) stands for the n + ) th order derivative of B n+ ) and Λ ± t,...,t n x) := Sc r S ±/... S [ S±/ R ± c /r Rc / /r... R ± R / ψ t ± ] ),...,t n x). 44) c r )

15 Proof. Since φ ± n is centred at ± c /r ) we obtain by 3), F S c ± r... S ± [ R c /r... R ] ) φ± n ω) = F S c ±... [ r S± R c /r... R ] ) φ± n ω) + r jcr e±iω F S c ±... r S± = + r jcr e ±iω )F S c ±... [ r S± R c /r... R ] ) φ± n ω) =... = [ cr e ±iω r jɛ + ) ] F = [ cr e ±iω r jɛ + ) ][ F ɛ= R c /r... R φ± n = [ cr e ±iω r jɛ + ) ] + r jc/r )F ɛ= ɛ= ) ω) + r jc/r F R c /r... R φ± n [ R c /r... R φ± n ] ) ω) R c /r... R φ± n ) ] Rc /r... R φ± n ω) ) ω) 5 ) ω)... = [ cr e ±iω r jɛ + ) ][c /r e iω r ιυ + ) ] Fφ ± n )ω) = β n FB n )ω), 45) ɛ= and based on 4) is roven. On the strength of definition 3) of ˆψ ± n, we obtain, similarly to 45), that ) n υ= γ n F Λ ± t,...,t n ) ω) = /t e iω/ )... /t n e iω/ ) n+ ) k n + )! k!n + k)! en k)iω/ ˆBn ω/), where Λ ± t,...,t n defined by44). Recall that t j = r j ±, j =,..., n. Given n and chosen + or in Λ ± t,...,t n we consider the collection T 0 of n functions Tt 0,...,t n x) := Λ ± t,...,t n x), meaning n different combinations of t j = r j ±, j =,..., n, in Λ ± t,...,t n. We air elements of T 0 as follows: Tt 0,...,t n and Tt 0 from,...,t T0 are couled if t j = t n j for j =,..., n, while t = /t. Each coule we associate with the function Tt,...,t n = Tr 0 r,t,...,t n r T 0,t r,...,t n and call T the new collection of n functions Tt,...,t n. If n =, we finish the localisation rocess and obtain the function T = r Λ ± r r Λ ± satisfying r e iω/ ˆT ω) γ /r r ) = ˆB ω/) 4 ) k! k! k)! e k)iω/ = ˆB ω/) ) + e iω/ =: ˆΨ ω), δ γ that is [ B +) Ψ ) = δ γ B ) + B ] ) = [ ψ r + ) + r ψ r + + /) + r ψ + r ) + r ψ r + /) )] )] [ψ +/r ) + r ψ +/r /) + r ψ + /r + ) + r ψ + /r + /) Combination 5) with substitution x = y / brings, in articular, = S S+/ ψ r )x) R + R / ψ /r )x). Ψ y /) δ γ = B y) B y ) + B y ) = B y) B y ). 46)

16 6 If n then, similarly to the revious ste, we air elements of T by matching two functions Tt,...,t n and Tt such that t,...,t j = t n j for j = 3,..., n, but t = /t. Each coule we associate with the function T t 3,...,t n = r T r,...,t n r T r,...,t n and call T the new collection of n functions Tt 3,...,t n. Again, if n =, we sto the rocess with the function T such that ˆT ω) = ˆB ω/) 3 3! ) k δ γ 8 k!3 k)! e k)iω/ = ˆB ) ω/) e iω 4 3eiω/ e iω/ =: ˆΨ ω), 4 δ γ that is [ B x + ) Ψ x) = δ γ [ 4 S = In view of 5), 3B x + ) 4 S±/ S S±/ + 3B x) 4 B x ) ] 4 ψ r + ),r x) S S±/ R ± R / ψ + ) ] /r,r x) [ S S±/ R ± R / ψ + ) r,/r x) R ± R / R ± R / ψ + ) /r,/r x) ]. Ψ x) = [ ] B x+) 3B x+)+3b x) B x ) = B x+) 3 δ γ 4 B x+) B x ). 47) If n 3 we continue the rocess. At j-th ste we deal with functions T j t j,...,t n = rj T j r j,t j,...,t n r j T j /r j,t j,...,t n from T j and form the new collection T j of n j elements T j t j+,...,t n = rj T j r j,t j+,...,t n r j T j /r j,t j+,...,t n. 48) Overall, starting from 44) requiring n stes, and making exactly n stes of the form 48), that is 3n stes in total, we obtain the localised function T n with ˆT n ω) δ n γ n From here 43) follows by 35). = ˆB n ω/) n+ n+ ) k n + )! k!n + k)! en k)iω/ =: ˆΨ n ω). δ n γ n Remark 3.. We have su Ψ n = [ n/, n/ + ]. By 5), it holds, where [] stands for integer art of : ˆΨ n ω) γ n δ n e inω/ = ˆB n+ n ω/) ) k n + )! n+ k!n + k)! e kiω/ = ˆB n ω) ˆB n ω/) n [n/] n + )! k + )!n k)! e k+)iω/. 49) Φ n and Ψ n realize the localisation roerty of Battle Lemarié wavelet systems. Φ n is constructed by integer shifts of φ n, which generate the same multiresolution analysis in L R). For Ψ n we grou roer shifts of wavelets ψ n = ψ t ±,...,t n from the systems 37). They constitute bases in subsaces W 0 related

17 to multiresolution analysis generated by B n ) and B n ± ). This localisation roerty is crucial, in articular, for the estimate f Bq s R) f Bq s R) in the roof of Proosition 4. in Prerequisites. 4. Equivalent norms theorem 4... Nikolskii Besov saces. Let s R and 0 <, q. For the definition of Nikolskii Besov saces BqR) s or Besov tye saces, in other terminology, which is more commonly used) we refer to [, ]. If, in addition, s > max0, / } then one can define BqR) s as follows. Let L R) with 0 < be the set of all Lebesgue measurable functions f on R, quasi normed by f L R) := R fx) dx ) / with the obvious modification for =. For M N and f L R) ut see e.g. [0, Remark.6]) h f) ) := f + h) f ), M h f) := h M h f) and ω M f, t) := su M h f L R), t > 0. h <t If max0, / } < s < M and, q then f B s qr) if and only if f L R) and 0 ) [ t s ] /q q dt ω M f, t) <. t The theory and roerties of Nikolskii Besov saces B s qr) may be found in [4, 7, 8, 9, 9] Sequence saces. Let 0 <, 0 < q and s R. The sequence sace b s q consists of all sequences such that the quasi norm µ = µ dτ C: d N, τ Z} ) q ) q µ b s q := µ dτ d= 7 < 50) wth the usual modification if = and/or q = ) is finite. Sequence saces of the tye b s q were introduced in [5, 6] in connection with atomic decomosition of the saces B s qr) Sline bases in B s qr). Let SR) be the Schwartz sace of all comlex valued raidly decreasing, infinitely differentiable functions on R, and let S R) denote its dual sace of temered distributions. Proosition 4.. [3] Let n N and let } h n dτ : d N, τ Z be an L normalised) orthogonal sline basis in L R) according to 38). Let 0 <, 0 < q and } } max, n < s < n + min,. Let f S R). Then f BqR) s if and only if it can be reresented as f = µ dτ ds ) h n dτ, µ bs q, 5) d N

18 8 unconditional convergence being in S R) and locally in any sace BqR) σ with σ < s. The reresentation 5) is unique, µ dτ = µ dτ f) = ds +) fx)h n dτ x) dx, d N, τ Z, and R J : f µf) is an isomorhic ma of BqR) s onto b s q. If, in addition, <, q < then } ds ) h n dτ : d N, τ Z is an unconditional normalised) basis in B s qr). A roof of this roosition may be found in [3, Theorems.46,.49]. 4.. The result. It follows from Proosition 4. and 50) that one can use f B s qr) := f, h n,τ ) + d=0 ds +)q ) q f, h n dτ q 5) with usual modifications for = and q = ) as an equivalent characterization of the norm in B s qr), when 0 <, 0 < q and max /, } n < s < n + min /, }. In this art of the aer we establish an equivalent characteristic for 5). Proosition 4.. Let n N and let } h n dτ : d N, τ Z be an L normalised) orthogonal sline basis in L R) according to 38). Let 0 <, 0 < q and } } max, n < s < n + min,. Then a distribution f S R) belongs to B s qr) if and only if f B s qr) := f, B n; 0,τ ) + d=0 ds +)q f, B n+) n+; d+,τ ) q q < 53) with usual modifications for = and q = ). Furthermore, f Bq s R) may be used as an equivalent norm on BqR). s Proof. Let φ n = φ + n with c r = n. Argumentation for other cases of φ n is analogous. We write, by 9), f, φ + n τ) = β n l =0 r ) l... r n ) ln f, B n τ + l... + l n ) l n=0 = β n r ) l... r n ) ln f, B n τ l... l n ). l 0 l n 0

19 9 Then, if, f, φ + n τ) βn = β n l 0 l 0 r l... l n 0 = βn f, B n m) m Z l 0 r l... r l n n l n 0 r l... rn ln f, B n τ l... l n ) r n τ m+l...+ln ) m τ+l +...+l n l n 0 r l n n f, B n m) r n τ m+l...+ln ) τ m l... l n β n n j= r j f, B n m). 54) m Z Analogously, for > we obtain using n times Hölder s inequality with and = r l j j = rl j/+l j / j for each j =,..., n, that, and reresenting f, φ + n k) ) n βn k Z j= r j m Z f, B n m) ). 55) On the other side, according to the construction of Φ n see 4)) with c r = n and c /r = 0 in our case, β n f, B n τ) ) = f, Φ n τ) ) ) n ) f, φ + n τ) j= + r j ),. n j= + r j), > Thus, β n C f, B n τ) ) f, φ + n τ) ) β n f, B n τ) ) n j= n j= r j ), r j, >, 56) where C n ) := j= + r j ) for and C := n j= + r j) if >.

20 0 For deriving an estimate similar to 54) and 55), but with, say, ψ + r,...,r n this time, we write, by 36), taking into account 3), 33) and 34): γ n ψ n + d τ) = ) m 0 r m r ) l... r n ) mn r n ) ln l 0 m n 0 l n 0 [ n+ ) k n + )! k!n + k)! B n d+ τ k m + l... m n + l n ) r j j,...,n} j,j,...,n} j j r j r j j,...,j c,...,n} j... j c } n+ ) k n + )! k!n + k)! B n d+ τ k + m + l... m n + l n ) } n+ ) k n + )! k!n + k)! B n d+ τ k + m + l... m n + l n ) ) c r j... r jc... + )n r... r n n+ } n+ ) k n + )! k!n + k)! B n d+ τ k + c m + l... m n + l n ) ] ) k n + )! k!n + k)! B n d+ τ k + n m + l... m n + l n ). Denote B n d+ τ m + l... m n + l n ) the quantity in the square brackets. Similarly to 54), γ n f, ψ r +,...,r n d τ) r l r m... l 0 m 0 l n 0 = r m... rn mn m 0 m n 0 = m 0 r ln n m n 0... κ m r m κ) r m... m n 0 r mn n rn mn f, B n d+ τ m l... m n l n ) f, B n d+ τ κ... κ n ) κ n m n r mn κn)... κ m r m κ) r mn+τ κ+κ+...+κn ) n κ m n+τ+κ +...+κ n = f, B n d+ κ) r m... κ Z m 0 m n 0 Analogously, for > r mn n r n mn+τ κ+κ+...+κn ) τ κ m n κ... κ n γ n f, ψ + r,...,r n d τ) ) n j= κ m r m κ) r mn κn ) κ n m n f, B n d+ κ)... j= r mn κn ) κ n m n n r f, B n d+ κ). j ) κ Z ) r j ) f, B n d+ κ). κ Z

21 Since for κ Z f, B n d+ κ) ) n k= r j j,...,n} j,j,...,n} j j j,...,j c,...,n} j... j c n+ ) k n + )! k!n + k)! f, B n d+ κ k) κ Z } n+ ) k n + )! k!n + k)! f, B n d+ κ k + ) κ Z } n+ ) k n + )! r j r j k!n + k)! f, B n d+ κ k + ) κ Z } n+ ) k n + )! r j... r jc k!n + k)! f, B n d+ κ k + c) κ Z } n ) k n + )! r... r n k!n + k)! f, B n d+ κ + n k) j,...,j k,...,n} j... j k and, similarly, for > κ Z f, B n d+ κ) ) + n k= j,...,j k,...,n} j... j k κ Z we obtain, taking into account 34) and 35), ) } ) n+ ) k n + )! r j... r jk k!n + k)! f, B n d+ κ + n k) κ Z ) n+ ) k n + )! r j... r jk k!n + k)! f, B n d+ κ + n k) κ Z ) ),, f, ψ + r,...,r n d τ) ) γ n n+ n j= n j= For the reverse estimate we write, by 43), f, B n+) ) r j ) r j + n ) k= ) n+; d+,τ + n k= j,...,j k,...,n} ) ) f, B n+) n+; d+,τ = f, B n+) n+; d+, n+τ j... j k r j...r jk } ), j,...,j k,...,n} r j...r jk ), > j... j k ) = n+ f, Ψ n τ). γ n δ n.

22 By the construction of Ψ n, f, Ψ n τ) ) [ ) f, ψ r +,...,r n d τ) ) ] + f, ψ r +,...,r n d τ + /) n ) n j= + r j ), n. n j= + r j), > The required two sided estimate for the second term in f Bq s R) follows from the inequalities above and the fact that f Bq s R) with hn 0, hn 00 } equal to φ n ± ), ψ± n ± )} or φ n ), ψ n ± )} are equivalent. References [] G. Battle, A block sin construction of ondelettes, Part I: Lemarie functions, Comm. Math. Phys ) [] G. Battle, A block sin construction of ondelettes, Part II: QFT connection, Comm. Math. Phys ) [3] C.K. Chui, An Introduction to Wavelets, NY: Academic Press, 99. [4] D.E. Edmunds, H. Triebel, Function saces, entroy numbers, differential oerators, Cambridge Uniersity Press, 996. [5] M. Frazier, B. Jawerth, Decomositions of Besov saces, Indiana Univ. Math. J ) [6] M. Frazier, B. Jawerth, A discrete transform and decomositions of distribution saces, J. Funct. Anal ) [7] D. Haroske, H. Triebel, Entroy numbers in weighted function saces and eigenvalue distributions of some degenerate seudodifferential oerators, I, Math. Nachr ) [8] D. Haroske, H. Triebel, Entroy numbers in weighted function saces and eigenvalue distributions of some degenerate seudodifferential oerators, II, Math. Nachr ) [9] D. Haroske, H. Triebel, Wavelet bases and entroy numbers in weighted function saces, Math. Nachr ) [0] T. Kühn, H. G. Leoold, W. Sickel and L. Skrzyczak, Entroy numbers of embeddings of weighted Besov saces, I, Constr. Arox ), [] P.G. Lemarie, Une nouvelle base d ondelettes de L R n ), J. de Math. Pures et Al ) [] P. Lió, Wavelets in bioinformatics and comutational biology: state of art and ersectives, Bioinformatics, Vol., No. 003) 9. [3] Y. Meyer, Wavelets and oerators, Cambridge Univ. Press, Cambridge, 99. [4] M.G. Nasyrova, E.P. Ushakova, Wavelet basis and entroy numbers of Hardy oerator, Analysis Mathematica 08), DOI: 0.007/s [5] I. Ya. Novikov, V. Yu. Protasov, M. A. Skoina, Teoriya vsleskov, Fizmatlit, 005 In Russian). [6] I. Ya. Novikov, V. Yu. Protasov, M. A. Skoina, Wavelet theory, Translations of Mathematical Monograhs, Vol. 39 0). [7] I.Ya. Novikov, S.B. Stechkin, Basic constructions of wavelets, Fundam. Prikl. Mat. 3:4 997), [8] I.Ya. Novikov, S.B. Stechkin, Basic wavelet theory, Russian Math. Surveys 53:6 998), [9] H. J. Schmeisser and H. Triebel, Toics in Fourier Analysis and Function Saces, Wiley, Chichester, 987. [0] I.J. Schoenberg, Contributions to the roblem of aroximation of equidistant data by analytic functions, Quart. Al. Math ), 45-99&-4. [] H. Triebel, Theory of Function Saces, Birkhauser Verlag, Basel, 983. [] H. Triebel, Theory of Function Saces II, Birkhauser Verlag, Basel, 99. [3] H. Triebel, Bases in Function Saces, Samling, Discreancy, Numerical Integration, Euroean Math. Soc. Publishing House, Zurich, 00. [4] P. Wojtaszczyk, A Mathematical Introduction to Wavelets, Cambridge University Press, Cambridge, UK, 997.