• No results found

Analysis and construction of a family of refinable functions based on generalized Bernstein polynomials

N/A
N/A
Protected

Academic year: 2020

Share "Analysis and construction of a family of refinable functions based on generalized Bernstein polynomials"

Copied!
29
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Analysis and construction of a family of

refinable functions based on generalized

Bernstein polynomials

Ting Cheng and Xiaoyuan Yang

*

*Correspondence:

xiaoyuanyang@vip.163.com Department of Mathematics, LMIB of the Ministry of Education, Beihang University, Beijing, China

Abstract

In this paper, we construct a new family of refinable functions from generalized Bernstein polynomials, which include pseudo-splines of Type II. A comprehensive analysis of the refinable functions is carried out. We then prove the convergence of cascade algorithms associated with the new masks and construct Riesz wavelets whose dilation and translation form a Riesz basis forL2(R). Stability of the subdivision

schemes, regularity and approximation orders are obtained. We also illustrate the symmetry of the corresponding refinable functions.

MSC: 42C40; 41A15; 46B15

Keywords: refinable functions; generalized Bernstein polynomials; cascade algorithms; Riesz wavelet bases

1 Introduction

During the last decades, the study of refinable functions has attracted considerable at-tention. This will be followed by a description of the development of refinable func-tions. Initially, B-splines appeared as a special family of refinable functions, which sat-isfied the scaling equation in []. After that, pseudo-splines of Type I were introduced by Daubechieset al.[] and Selesnick [], along with the appearance of pseudo-splines of Type II in []. Especially, the properties of them, such as stability, regularity, approxi-mation orders etc., were fully analyzed in [, , ]. Later, there appeared other refinable functions that had been discovered, for instance, dual pseudo-splines [, ], pseudo-box splines [], Battle-Lemarie refinable functions [–], Butterworth refinable functions [, ], pseudo-Butterworth refinable functions [], generalized pseudo-Butterworth refin-able functions [], and so on. Notice that almost all contributions above focus on the extensions based upon pseudo-splines. However, we discover that pseudo-Butterworth refinable functions, as an extension of pseudo-splines, lack compact support, although they have exponential decay to compensate the lack. It is natural to consider a new exten-sion of pseudo-splines, which has compact support and exponential decay, in particular, masks of new refinable functions derived from generalized Bernstein polynomials [] by substitution and summation.

(2)

We start with generalized Bernstein polynomials, defined as

S(kn)(t) =

n k

t(t+α)· · ·(t+ [k– ]α)( –t)( –t+α)· · ·( –t+ [nk– ]α)

( +α)( + α)· · ·( + [n– ]α) , ()

whereα≥. New masks with order (m,l,α) for given nonnegative integersm,l, satisfying l<m– , and ≤α<(m+l)–, are defined by substitutingt=sin(ω),n=m+lin () and the summation ofl+  terms of them as follows:

τm,l,α(ω) :=

l

j=

m+l j

j–

i=

sin

ω

+

m+lj–

i=

cos

ω

+

m+l–

i=

( +). ()

They include almost all masks of pseudo-splines of Type II [] whenα= . Furthermore, the properties of the new refinable functions corresponding to the masks () are addressed. Convergence of cascade algorithms is implemented, which guarantees the existence of refinable functions. At the same time, we construct their Riesz wavelets whose dilation and translation form a Riesz basis forL(R). Finally, stability of the subdivision schemes,

regularity, approximation orders, and symmetry are analyzed.

The remainder of this paper is organized as follows: Section  collects some notations. Section  elaborates the convergence of cascade algorithms based on the masks. Sec-tion  constructs a Riesz basis forL(R). Section  analyzes the stability of the subdivision

schemes. Section  shows the regularity and the influences of the parametersm,l,αon the decay rate. Section  gives the approximation order of the new refinable functions. Section  illustrates the symmetry of the refinable functions.

2 Preliminaries

For the convenience of the reader, we review some definitions and properties as regards refinement masks in this section.

ByL(R), we denote all the functionsf(x) satisfying

f(x) L (R):=

R

f(x)dx

 

<∞

and byl(Z) the set of all sequencescdefined onZsuch that

cl(Z):=

i∈Z

c(i)

 

<∞.

A compactly supported functionφL(R) is refinable if it satisfies the refinement

equa-tion

φ= 

k∈Z

(3)

whereτ, called the refinement mask ofφ, is a finitely supported sequence. The Fourier transform ofφis

φ(ξ) =

R

φ(t)eiξtdt, ξ∈R.

For a given finitely supported sequencec, its corresponding Laurent polynomial is de-fined by

˜

c(z) :=

i∈Z

c(i)zi, forz∈C\{}.

The corresponding trigonometric polynomial is

ˆ

c(ξ) =c˜e, ξ∈R.

With the above, the refinement equation () can be written in terms of its Fourier trans-form as

ˆ

φ(ξ) =τˆ(ξ/)φˆ(ξ/), ξ∈R. ()

We callτˆthe refinement mask for convenience, too.

By the iteration of equation (), the corresponding refinable functionφ can be written in terms of its Fourier transform as

ˆ

φ(ω) :=

j=

ˆ

τ–. ()

DefineT:=R/[πZ] and defineL,∞(R) as the subspace of allfL(R) such that

fL,∞(R):=

kZ

ˆf(ω+ πk)  

L∞(T)

<∞,

whereL∞(T) denotes the space of all π-periodic measurable functions with finite

essen-tial upper bound. The notationTand the spaceL,∞(R) were introduced in [] and [],

respectively.

A systemX(ψ) ={ψn,k= n/ψ(n·–k) :n,k∈R}is a Riesz basis if there exist  <C≤ C<∞such that, for all sequencescl(Z),

Ccl(Z)≤

(n,k)∈Z

c[n,k]ψn,k

L(R)

Ccl(Z)

holds and the span of{ψn,k:n,k∈Z}is dense forL(R). The functionψis called a Riesz

wavelet if theX(ψ) form a Riesz basis forL(R), which is also called a Riesz wavelet system.

A functionφL(R) is called stable if there exist two positive constantsA,B, such

that for any sequencecl(Z)

Acl(Z)

i∈Z

c(i)φ(·–i)

L(R)

(4)

It is well known that this condition is equivalent to the existence of two other positive constantsA,B, such that

A≤

k∈Z

φˆ(ξ+ πk)≤B,

for almost allξ∈R[]. The upper bound always holds ifφhas compact support and the lower bound is equivalent to

ˆ

φ(ξ+ πk)k∈Z= , () for allξ∈R, where  denotes the zero sequence. In particular, we consider the stability of the compactly supported centered B-splines,

Bm(ξ) =eim

ξ

sin(ξ/) ξ/

m

.

Since it is obvious that there isC> , such that|Bm(ξ)|> √

Cfor allξ∈[–π,π], we have

Bm(ξ),Bm(ξ)

(ξ) =Bm(ξ)

+

k∈Z

Bm(ξ+ )

Bm(ξ)

C.

Hence all B-splines are stable. We use

Pn:f

k∈Z

f,φn,kφn,k

to approximatefL(R). A functionφsatisfies the Strang-Fix condition of ordermif

ˆ

φ()= , Djφˆ(πk) = , ∀k∈Z\ {},∀|j|<m.

Under certain conditions onφ(e.g., if it is compactly supported andφˆ() = ), the Strang-Fix condition is equal to the requirement thatτˆhas a zero of ordermat each of the points

in{,π} \. In [], ifφsatisfies the Strang-Fix condition of ordermand the correspond-ing markτˆsatisfies  –| ˆτ(·)|=O(| · |m) at the origin, then the approximation order is min{m,m}.

In the following, we will adopt some of the notations from []. The transition operator Taˆ for π-periodic functionsaˆandf can be defined as

[Taˆf](w) :=aˆ(ω/) 

f(ω/) +aˆ(ω/ +π)f(ω/ +π), ω∈R. Forτ ∈R, a quantity is defined by

ρτ(aˆ,∞) :=lim sup

n→∞

Taˆnsin

ω

τ /n

L∞(T)

.

The notationρ(aˆ) is defined by

(5)

A functionf belongs to the Hölder class(T) withβ> , iff is a π-periodic contin-uous function such thatf isntimes continuously differentiable and there exists a positive number C satisfying

f(n)(x) –f(n)(y)≤C|xy|βn

for allx,y∈T, wherenis the largest integer such thatnβ.

3 Convergence of cascade algorithms based on the masks

In this section, a demonstration of the convergence of cascade algorithms in the space L,∞(R) is given. For notational simplicity, we will introduce the following three defini-tions:

Bmj ,l,α(ω) :=

j–

i=

sin

ω

+

m+lj–

i=

cos

ω

+

m+l–

i=

( +),

Gmj,l,α(ω) :=

m+  j

j–

i=

sin

ω

+

m+lj–

i=

cos

ω

+

m+l–

i=

( +),

Tm,l,α(ω) :=

l

j=

m+l j

j–

i=

sin

ω

+

m+lj–

i=

cos

ω

+

m+l–

i=

( +).

We will provide three lemmas about the relations of the quantitiesρτ(aˆ,∞) associated with masks and a condition of the convergence of cascade algorithms which are necessary for the following theorem.

Lemma ([], Theorem .) Leta be aˆ π-periodic measurable function such thata|∈ (T)witha|()= andβ> .Ifa(ω)|=| +e|τ| ˆA(ω)|a.e.ωRfor someτ such thatAˆ(ω)∈L∞(T),then

ρτ(aˆ,∞) =inf

n∈N

Tanˆ 

n

L∞(T)=nlim→∞ T n

ˆ

a

n

L∞(T)=ρ(Aˆ,∞).

Lemma ([], Theorem .) Leta andˆ ˆc beπ-periodic measurable functions such that

aˆ(ω)≤ˆc(ω)

for almost everyω∈R.Then

ρτ(aˆ,∞)≤ρτc,∞), τ∈R.

Lemma ([], Theorem .) Letaˆ∈(T)withaˆ() = andβ> .Ifρ(aˆ) < ,then the cascade algorithm associated with the maska converges in the space Lˆ ,∞(R).

(6)

Lemma  For two positive integers l,m,l<m– ,if

≤α< 

(m+l) – , ()

then

max

ω∈TBj(ω)≤

 

m+l–

, j= , , . . . ,l. ()

Proof Forj= , , . . . ,l, it is obvious that

Bj(ω) = cos(ω

) + (m+l–  –j)α sin(ω) + Bj+(ω).

We claim that

Bj(ω)

Bj+(ω)

=cos

(ω

) + (m+l–  –j)α sin(ω

) +

> . ()

Sincel<m– , forj= , , . . . ,l, we have

j<m+l–  –j. ()

There are two cases to consider: Case I: Suppose thatcos(ω)≥. By () and (), it is easy to see that

α>  > –cos(ω) m+l–  – j.

Then

cos

ω

+ (m+l–  –j)α>sin

ω

+. ()

This implies Condition (). Case II: Suppose thatcos(ω) < . In the same way, we get

α> –cos(ω) m+l–  – j,

forj= , , . . . ,l. Then () holds. This concludes the claim (). By using (), one gets

(m+l– ) – (m+l– )α<(m+l– ) – (m+l– ) (m+l) –  = .

Then

(m+l– )α ( +α)( + (m+l– )α)<

(m+l– )α  + (m+l– )α<

. ()

Thus

(7)

Similarly, one has

(m+l– )α  + (m+l– )α <

. ()

For anyx, notice that

x  + ( +x)

>  ()

andB(ω), which is a continuous function on [–π,π] and is differentiable on (–π,π), has

the maximum value atω=π. The reason as follows: the equation [B(ω)]=  has three

zeros, atω= ,±π. Since [B(ω)]> ,B() is the minimum ofB(ω) on [–π,π]. Thus B(±π) is the maximum ofB(ω) on [–π,π]. Therefore, applying (), (), (), (), and

B(ω) =

sin

ω

m+l–

i=

cos

ω

+

m+l–

i=

( +)

m+l–

i=

m+l–

i=

( +)

m+l–

i=  + (i+ )α·

(m+l– )α ( +α)( + (m+l– )α)

(m+l– )α  + (m+l– )α

m+l–

·

=

 

m+l–

,

we get the inequality ().

Theorem  If we letτm,l,α(ω)be the mask(),then the cascade algorithm associated with the maskτm,l,α(ω)converges in the space L,∞(R).

Proof For|cos(ω

)|=| +e

 |, one has

τm,l,α(ω)= – +eT(ω) = +e–T(ω)

.

Applying

B(ω) =

m+l–

i=

cos

ω

+

m+l–

i=

( +)

m+l–

i=

( +)

m+l–

i=

(8)

and Lemma , we obtain

max

ω∈T

–Tm,l,α(ω)=max

ω∈T

–

B(ω) +

l

j=

m+l j

Bj(ω)

<max

ω∈T

–

 +

max

ω∈[–π,π]Bj(ω)

l j=

m+l j

<max

ω∈T

–

 +

 

m+l–

()m+l–

=

. ()

Bringing Lemma  and Lemma  together yields

ρτm,l,α(ω)≤ρ

τm,l,α(ω),∞=ρ

–T(ω),∞< .

Thus, by Lemma , the cascade algorithm associated with the maskτm,l,α(ω) converges in

the spaceL,∞(R).

4 Riesz wavelets

In this section, we shall construct Riesz wavelets based on the masks (). The following two lemmas analyze recurrence relations ofτm,l,α(ω), which are useful for the construction of Riesz wavelets.

Lemma  If letτm,l,α(ω)be the mask(),thenτm,l,α(ω)satisfies

τm+,l,α(ω) =τm+,l–,α(ω) +

cos(ω

) +

 + (m+l)α

Gml ,l,α(ω) ()

and

τm+,l,α(ω) =τm,l,α(ω) –

sin(ω

) +

 + (m+l)α

Gml ,l,α(ω). ()

Proof By the summation ofl+  terms of generalized Bernstein polynomials satisfying the recurrence []

S(kn+)(t) =

 –t+ (nk)α  +

S(kn)(t) +

t+ (k– )α  +

S(kn–)(t),

we can derive that

l

j=

Sj(m+l+)(t) =

l

j=

 –t+ (m+lj)α  + (m+l)α

S(jm+l)(t)

+

l

j=

t+ (j– )α  + (m+l)α

(9)

Substitutingt=sin(ω) in (), one gets

l

j= Sj(m+l+)

sin ω  = l j=

cos(ω

) + (m+lj)α

 + (m+l)α

S(jm+l)

sin ω  + l j=

sin(ω

) + (j– )α

 + (m+l)α

S(j–m+l)

sin ω  = l– j= S(jm+l)

sin ω  +

cos(ω

) +

 + (m+l)α

Gml ,l,α(ω). ()

By using (), one obtains

l

j= Sj(m+l+)

sin ω  = l– j= S(jm+l)

sin ω  +

cos(ω

) +

 + (m+l)α

Gml,l,α(ω)

+S(lm+l)

sin ω

S(lm+l)

sin ω  = l j= S(jm+l)

sin ω  –

sin(ω

) +

 + (m+l)α

Gml,l,α(ω).

Thus, the conditions () and () are demonstrated.

Lemma  If letτm,l,α(ω)be the mask(),then we derive

τm,l,α(ω)+τm,l,α(ω+π)>

 , ω∈T. ()

Proof Whenl= , one hasm> ,

τm,,α(ω)=

m+   m i= cos ω

+

m

i=

( +)

+

m+   sin ω

m–

i= cos ω

+

m

i=

( +)

=

msin

ω

+  +

m–

i= cos ω

+

m

i=

( +)

,

and

τm,,α(ω+π)=

mcos

ω

+  +

m–

i= sin ω

+

m

i=

( +)

(10)

It follows from the above two equalities of|τm,,α(ω)|and|τm,,α

 (ω+π)|that

τm,,α(ω)+τm,,α(ω+π)

=

msin(ω) +  +  +

m–

i= cos ω

+

m

i=

( +)

+

mcos(ω

) +  +

 +

m–

i= sin ω

+

m

i=

( +)

=

 +msin

(ω

)

 +

m–

j=

 –sin

(ω

)

 +

+

 +mcos

(ω

)

 +

m–

j=

 –cos

(ω

)

 +

 +msin

(ω

)

 +

 +

m–

j=

–sin(ω)  +

+

 +mcos

(ω

)

 +

 +

m–

j=

–cos(ω

)

 +

 +msin

(ω

)

 +

 –msin

ω   +

 +mcos

(ω

)

 +

 –mcos

ω

. ()

The first inequality follows from the general formula of the Bernoulli inequality. Substi-tutingy=sin(ω

) in (), let

f(y) =

 + ym  +

( –my)+

 +( –y)m  +

 – ( –y)m.

We claim that

f(y) >

 . ()

First of all,f(y) is derived as follows:

f(y)

= 

 + ym  +

m  +

( –my)+ 

 + ym  +

( –my)(–m)

+ 

 +( –y)m  +

m

 +

 – ( –y)m

+ m

 +( –y)m  +

(11)

=

 + ym  +

( –my)

( –my) m  +m

 + ym  +

– 

×

 +( –y)m  +

 –m( –y) –m( –y) m  +m

 +( –y)m  +

.

Additionally,

f(y) = 

m  +

( –my)

( –my) m  +m

 + ym  +

+ (–m)

 + ym  +

( –my) m  +m

 + ym  +

+ 

 + ym  +

( –my)

– m

 +

+ 

m  +

 –m( –y) –m( –y) m  +m

 +( –y)m  +

+ (–m)

 +( –y)m  +

 –m( –y) m  +m

 +( –y)m  +

+ 

 +( –y)m  +

 –m( –y)– m

 +

.

Combiningf() =  andf() >  yields

f(y)≥min

f(),f

 

,f()

. Here, f   =  +  m

 +

  – m  +  +  m

 +

  –  – m  =   +  /m+ α

 m– 

 > √   . () Let

g(x) = 

 +  /x+ α

 x– 

.

The condition () follows from the fact thatg(x) is increasing on [, +∞]. It is obviously true forf() >

√ 

 andf() > √

 . This concludes the claim (). Assume () holds when l=k– . Consider the casel=k. By using () in Lemma , we have

τm+,l,α(ω)=τm+,l–,α(ω)+ τm+,l–,α(ω)cos

(ω

) +

 + (m+l)α

×S(lm+l)

sin ω  +

cos(ω

) + (m– )α

 + (m+l– )α

S(lm+l–)

(12)

Adding that

τm,l,α(ω+π)=τm,l–,α(ω+π)+ τm,l–,α(ω+π)sin

(ω

) + (m– )α

 + (m+l– )α

×Sl(m+l–)

cos

ω

+

sin(ω

) + (m– )α

 + (m+l– )α

S(lm+l–)

cos

ω

.

Combining together the above equalities so that

τm,l,α(ω)+τm,l,α(ω+π)=τm,l–,α(ω)+τm,l–,α(ω+π)+f(ω) +f(ω+π),

where

f(ω) = τm,l–,α(ω)cos

(ω

) + (m– )α

 + (m+l– )α

S(lm+l–)

sin

ω

+

cos(ω

) + (m– )α

 + (m+l– )α

Sl(m+l–)

sin

ω

.

The condition () follows from the fact that

τm,k–,α(ω)+τm,k–,α(ω+π)>

  .

This concludes the proof of Lemma .

Conditions for constructing a Riesz wavelet basis are given by the following lemma.

Lemma ([], Theorem .) Letaˆ∈(T)withaˆ() = andβ> .Letφ be the refin-able function corresponding to the refinement maskaˆ.Denotebˆ(ω) =eaˆ(ω+π).Define a waveletψ(ˆπ) :=bˆ(ω)φˆ(ω).Then the shifts ofφare stable in L(R)andφgenerates a Riesz wavelet basis in L(R)if and only if

(i) bˆ() = andd(ω) :=aˆ(ω)bˆ(ω+π) –aˆ(ω+π)bˆ(ω)= for allω∈R. (ii) ρ(aˆ) < andρ(aˆ˜) < ,whereaˆ˜(ω) :=bˆ(ω+π)/d(ω).

Theorem  Letφm,l,αbe the refinable functions from generalized Bernstein polynomials with the refinement mask().Define a waveletm,l,αsuch that

ˆ

m,l,α(ω) :=eiωτm,l,α(ω+π)φˆm,l,α(ω).

Thenm,l,αgenerates a Riesz wavelet basis in L(R).

Proof Note thatbˆ(ω) =eτm,l,α

 (ω+π), thusbˆ() =τ

m,l,α

 (π) = , and

d(ω) =τm,l,α(ω)bˆ(ω+π) –τm,l,α(ω+π)bˆ(ω)

(13)

Therefore, condition (i) in Lemma  holds true.ρ(τm,l,α(ω)) <  has been proved in Theo-rem . Noting that

τm,l,α(ω) = bˆ(ω+π) d(ω)

eτm,l,α

 (ω+ π)

e(|τm,l,α

 (ω)|+|τm,l,

α

 (ω+π)|)

= τ

m,l,α

 (ω)

|τm,l,α(ω)|+|τm,l,α

 (ω+π)|

,

we obtain

τm,l,α

 (ω) 

= τ

m,l,α

 (ω)

|τm,l,α(ω)|+|τm,l,α

 (ω+π)|

= +e –|T

m,l,α

 (ω)|

(|τm,l,α(ω)|+|τm,l,α

 (ω+π)|)

.

Combining () and () in Lemma  yields

max

ω∈T

|–Tm,l,α(ω)| (|τm,l,α(ω)|+|τm,l,α

 (ω+π)|)

<

 

(

√   )

= .

By using Lemma  and Lemma , it is derived that

ρτm,l,α(ω)≤ρ

τm,l,α(ω),∞=ρ

–Tm,l,α

 (ω)

(|τm,l,α(ω)|+|τm,l,α

 (ω+π)|)

,∞

< .

Consequently, condition (ii) in Lemma  holds true.

5 Stability of the subdivision schemes

In this section, we will prove the stability of refinable functions based on the masks (). The following lemma gives the recurrence relations ofTm,l,α(ω).

Lemma  If we letτm,l,α(ω)be the mask(),then Tm,l,α(ω)satisfies

Tm+,l,α(ω) =Tm+,l–,α(ω) +

cos(ω

) + cos(π

)( + (m+l)α)

Gml,l,α(ω), for|ω| =π, ()

and

Tm,l,απ) =

 + (m+l– )αT

m,l–,α

 (±π) +

l

j=

m+l–  j

Bmj ,l,απ). ()

Proof We consider into two cases. Suppose that |ω| =π. Equation () is applied in Lemma  so that

Tm+,l,α(ω) =Tm+,l–,

α

 (ω) +

cos(ω

) + cos(π

)( + (m+l)α)

(14)

Suppose, on the other hand, that|ω|=π; we check the condition (). Note that

Tm,l,απ) =

l

j=

m+l j

Bmj ,l,απ)

=

m+l

Bm,l,απ) +

l

j=

m+l–  j

+

m+l–  j– 

Bmj,l,απ)

= 

 + (m+l– )αT

m,l–,α

 (±π) +

l

j=

m+l–  j

Bmj ,l,απ).

This establishes the lemma.

Theorem  Letτm,l,α(ω)be the mask(),then the refinable functionsφm,l,αwith the masks τm,l,α(ω)are stable.

Proof We claim that the condition () holds. Indeed, the refinable functions with the masksτm,l,α(ω), which belong toL(R) as shown in Theorem , have been proved. They

are compactly supported for finite refinement masks. In the following, we derive the in-equality

τm,l,α(ω)>

l

j=

m+l j

(sin(ω

))

j(cos(ω

))

m+lj

( +α)( + α)· · ·( + [m+l– ]α)

= 

( +α)( + α)· · ·( + [m+l– ]α)

× l

j=

m+l j

sin

ω

j cos

ω

m+lj

= 

( +α)( + α)· · ·( + [m+l– ]α)

cosm

ω

× l

j=

m+l j

sin

ω

j cos

ω

lj

> 

( +α)( + α)· · ·( + [m+l– ]α)

cosm

ω

. ()

Applying the stability of B-splines yields the existence of two positive constantsA,B,

such that

A≤

kZ

Bm(ξ+ πk)

B, for almost allξ∈R,

whereBmdenotes the B-spline of order m. It implies that|Bm(ω)|has the finite

func-tional value. Combining () with () yields

φm,l,α(ω)=

j=

τm,l,α–

>

j=

( +α)( + α)· · ·( + [m+l– ]α)cos

(15)

= lim

M→+∞

M

j=

( +α)( + α)· · ·( + [m+l– ]α)cos

mj–ω

= lim

M→+∞

( +α)( + α)· · ·( + [m+l– ]α)

M

× M

j=

cosm–j–ω

≥ lim

M→+∞

( +α)( + α)· · ·( + [m+l– ]α)

M

×cosm–ω

M

j=

cosm–j–ω

.

Since

 < 

( +α)( + α)· · ·( + [m+l– ]α)< ,

this leads to

lim

M→+∞

( +α)( + α)· · ·( + [m+l– ]α)

M

= . ()

Moreover,

φm,l,α(ω)=Bm(ω)

lim

M→+∞

( +α)( + α)· · ·( + [m+l– ]α)

M

= .

Thus, there exist two positive constantsA,B, such that

A≤

kZ

φm,l,α(ξ+ πk)≤B, for almost allξ∈R.

This concludes the theorem.

6 Regularity

This section is devoted to an analysis of the regularity of refinable functionsφm,l,α with the maskτm,l,α(ω) defined by (). Our primary goal is to obtain the lower bound of the regularity exponentsγm,l,αof refinable functionsφm,l,αby estimating the decay ratesβm,l,α of their Fourier transform. The relation is expressed by

γm,l,αβm,l,α–  –ε,

(16)

can be factorized as

τ(ω) =cosn

ω

L(ω),

where nis the maximal multiplicity of the zeros ofτ atπ andL(ω) is a trigonometric polynomial withL() = . Therefore, one obtains

φ(ω) =

j=

τ–=

j= cosn

–

j=

L–=sincn

ω

j=

L–,

which shows the decay of|φ|can be characterized by|τ|as stated in the following theorem.

Theorem ([], Lemma .) Letτbe the refinement mask of the refinable functionφof the form

τ(ω)=cosn

ω

L(ω), ω∈[–π,π].

If

L(ω)≤L

π

for|ω| ≤π  ,

L(ω)L(ω)≤L

π

forπ

 ≤ |ω| ≤π,

()

thenφ(ω)≤C( +|ω|)–n+KwithK=log(|L(π

)|)/log,and this decay is optimal.

By using the following theorem, the decay rate of Fourier transforms of refinable func-tionsφm,l,αwith the maskτm,l,α(ω) is analyzed. Especially, the caseα=  was demonstrated in [], Theorem .. We will give the discussion of the case  <α<(m+l)–.

Theorem  Letφm,l,αbe refinable functions with the maskτm,l,α(ω).Then

φm,l,αC +|ω|–+K,

whereK=log(|Tm,l,α(π)|)/log,and the decay rateβm,l,α=  –log(|Tm,l,α(π)|)/logis optimal.As a result,φm,l,αm,l,α,whereγm,l,α

 ≥βm,l,

α

 –  –ε,for any small enoughε> .

Proof It is obvious that|τm,l,α(ω)|=cos(ω

)|T

m,l,α

 (ω)|,ω∈[–π,π]. We claim that

Tm,l,α(ω)≤Tm,l,α

π

, for|ω| ∈

,π

. ()

Indeed,Tm,l,α(ω) is a continuous function on [–π,π] and is differentiable on (–π,π). The maximum value ofTm,l,α(ω) on [–π

, π

 ] can be derived as follows: We findω=  is

(17)

ofTm,l,α(ω) on [–π,π]. Consequently,Tm,l,α()≤Tm,l,α(±π). Here,Tm,l,α(ω) is an even function. Hence, () holds. Next we show

Tm,l,α(ω)Tm,l,α(ω)≤Tm,l,α

π

, for|ω| ∈

π  ,π

.

Here,Tm,l,α(ω)Tm,l,α(ω) is a continuous function on|ω| ∈[π,π] and is differentiable on

|ω| ∈(π

 ,π). Since the equation [T

m,l,α

 (ω)Tm,l,

α

 (ω)]=  has no zeros on|ω| ∈[π,π],

we are required to compareTm,l,α(π)Tm,l,α(π) withTm,l,α(π)Tm,l,α(π). As a result of

Tm,l,α(π)Tm,l,α(π) =Tm,l,α(π)Tm,l,α() =Tm,l,α(π)

and

Tm,l,α

π

Tm,l,α

π

=Tm,l,α

π

Tm,l,α

–π

=

Tm,l,α

π

,

onlyTm,l,α(π) and (Tm,l,α(π

))need to be compared. Letm,α,ωbe fixed. Forl= , we

claim that

Tm,,α

π

>Tm,,α(π).

Here,

Tm,,α

π

=

m+  +

m–

i=

 +

m

j=

( +jm)

and

Tm,l,α(π) =

(m+  +)

m–

i=

m

i=

( +).

Settingg(m) = (Tm,,α(π

))

Tm,,α

 (π), in whichαis fixed, then

g(m) =

m+  +

m–

i=

 +

m

j=

( +jm)

(m+  +)

m–

i=

m

i=

( +).

Notice that

(18)

Indeed, sincel=  andl<m– ,m≥. Whenm= , one has

g() =

(/ + ∗α)

i=

 +

i=

(i+α)

( + ∗α)α

i=

(i+α)

> ,

for ≥α< /. Assuming thatg(m– ) > , we now proveg(m) > . Let

g(m) =Tm,,α

π

=

m+  +

m–

i=

 +

m

i=

( +)

and

g(m) =Tm,l,α(π) =

(m+  +)

m–

i=

m

i=

( +).

Then it is obvious that

g(m) =

(+ (m– )α)(m+  +)

( +)((m– ) +  + (m– )α)g(m– )

and

g(m) =

((m– )α)(m+  +)

( +)((m– ) +  + (m– )α)g(m– ).

Thus,

g(m) =g(m)

g(m)

=g(m– )

 (+ (m– )α)( 

m+  +)

( +)(

(m– ) +  + (m– )α)

g(m– )

((m– )α)(m+  +) ( +)((m– ) +  + (m– )α)

>g(m– )g(m– )

( + (m– )α)(m+  +) ( +)((m– ) +  + (m– )α)

– ((m– )α)(m+  +) ( +)((m– ) +  + (m– )α)

.

Let

h(α) =

+ (m– )α

 +

m+  +

(m– ) +  + (m– )α

(m– )α  +

m+  + (m– ) +  + (m– )α

(19)

h(α) is derived as follows:

h(α) =–m– m+ m+ m– m+ mα+ + m – m– ,m+ ,m+ ,m– ,m+ mα+– – m+ ,m– ,m– m+ ,m– ,m+ ,mα + – m– m+ ,m– ,m+ ,m– ,m + ,mα+m– ,m+ ,m– m+ ,m– ,m + ,mα+m– m+ m+ m– m+ mα /m+ (– +m)α + m+ (– +m)α( +).

Note that for any fixedm> ,h(α) >  onα≥. Thus,h(α) is increasing onα≥. This together with h() >  implies thatg(m) > . This concludes the claim (). Supposing (Tm,l,α(π))>Tm,l,α

 (π), we verify

Tm,l+,α

π

>Tm,l+,α(π). ()

It follows from Lemma  that () is equivalent to

Tm,l,α

π

+  +   + (m+l)αG

m,l,α

l+

π

>   + (m+l)αT

m,l,α

 (π) +

l+

j=

m+l j

Bmj,l+,α(π). ()

Since

(m+l)α  + (m+l)αT

m,l,α

π

>

l

j=

m+l j

Bmj,l+,α(π),

it is obvious that () holds. Hence, by Theorem  ,φm,l,αsatisfies

φm,l,αC +|ω|–+K,

whereK=log(|Tm,l,α(π

 )|)/log, and the decay rateβ

m,l,α

 =  –log(|Tm,l,

α

 (π)|)/log is

optimal. As a result,φm,l,αm,l,α, where γm,l,α

 ≥β

m,l,α

 –  –ε, for any small enough

ε> .

[image:19.595.117.351.375.505.2]

The following table gives the decay ratesβm,l,αof the Fourier transform of refinable func-tionsφm,l,α with the maskτm,l,α(ω). To satisfy the constraint condition () ofm,l,α, we setα= . in Table .

Table  shows that for fixedl,α,βm,l,αincreases asmincreases and for fixedm,α,βm,l,α decreases aslincreases. This is true indeed as presented in the following proposition.

(20)
[image:20.595.117.479.109.198.2]

Table 1 Decay ratesβ0m,l,αof refinable functions with the maskτ0m,l,α(ω), for 7≤m≤13, 1≤l<m– 5, andα= 0.01

(m, l) l = 1 l = 2 l = 3 l = 4 l = 5 l = 6 l = 7

m= 7 10.6157

m= 8 12.2067 11.6886

m= 9 13.7834 11.7927 10.2549

m= 10 15.3438 13.2786 11.6088 10.2745

m= 11 16.8868 14.6887 12.9622 11.448 10.3499

m= 12 18.4116 16.1224 14.3121 11.7464 11.506 10.4583

m= 13 19.9179 17.5444 15.6561 14.0890 12.7551 10.8736 10.5870

() For fixedm,α,βm,l,αdecreases aslincreases. () For fixedl,α,βm,l,αincreases asmincreases.

Proof Applyingβm,l,α=  –log(T m,l,α

 (π))

 , Tm,l,

α

 (π) > , yields  –β

m,l,α

 =log

(Tm,l,α(π))

 ,

which is equivalent to –βm,l,α= log(T m,l,α

 (  ))π=Tm,l,α

 (

π

 ). Following the formula given by

Lemma , one has

Tm+,l,α

π

=Tm+,l–,α

π

+ ( + ) + (m+l)αGml ,l,α

π

.

Thus,

–βm+,l,α= –βm+,l–,α+  + ( + (m+l)α)G

m,l,α

l

π

.

Let

Im+,l–,α= –βm+,l–,α.

For (+(+mm+αl)α)Sl(m+l)() > , it shows thatIm+,l,α>Im+,l–,α, which is equivalent to saying for fixedm,α,Im,l,αincreases aslincreases. Hence, for fixedm,α,βm,l,αdecreases asl increases. Applying Lemma  to the following expression, one obtains

Tm+,l,α

π

=Tm,l,α

π

( +)

 + (m+l)α

Gml,l,α

π

.

Furthermore, we have

Im+,l,α=Im,l,α

 +

( + (m+l)α)

Glm,l,α

π

.

For ((+)

+(m+l)α)G

m,l,α

l (

π

 ) > , we similarly getI

m+,l,α

 <Im,l,

α

 , which means that for fixedl,α, Im,l,αdecreases asmincreases. Therefore, for fixedl,α,βm,l,αincreases asmincreases.

7 Approximation orders

(21)

Theorem  Letφm,l,αbe refinable functions with the maskτm,l,α(ω).Thenφm,l,αprovides the approximation ordersl+ .

Proof In fact, the approximation orders of  –|τm,l,α(ω)|andτm,l,α

 (ω) are independent

onα. For convenience, we setα= . Following [], let

Rm,l(y) = l

j=

m+l j

yj( –y)m+lj,

wherey=sin(ω

), then

 –Rm,l

sin

ω

=O|ω|l+.

Since

Rm,l(y) = –(m+l)

m+l–  l

yl( –y)m–

andsin(ω

) is equal to  whenω=π,cos(m–)(

ω

) has a zero of order (m– ). We conclude

that

Rm,l(y) =O

|ω|(m–)+.

For

minl+ , (m– )= l+ ,

thenφm,l,αprovides the approximation orders l+ .

8 Symmetry

Symmetric coefficients of the mask are of great significance in image processing. In the following, we will give a symmetry proof and provide a graphical illustration.

Lemma  For m,l∈Z+,α≥,j= , , . . . ,l,z=e,we derive

j–

i=

 –

 

z–+z+

m+lj–

i=

 +

 

z–+z+

=

m+l

k=

bjk,m,l,αz–+zk,

where

bjk,m,l,α=Dk

D, k= , , . . . ,m+l, ()

D=

  () . . . ( )m+l

 ( )

(( )

). . . (( )

)m+l

. . . .  ()m+l+((

)m+l+). . . (( 

)m+l+)m+l

Figure

Table  shows that for fixed ldecreases as, α, βm,l,αincreases as m increases and for fixed m, α, βm,l,α l increases
Table 1 Decay rates β1m,l,α0of refinable functions with the mask τ m,l,α0(ω), for 7 ≤ m ≤ 13, ≤ l < m – 5, and α = 0.01
Table 2 Symmetric coefficients of the mask τ 8,2,0.020(ω)
Figure 1 The refinable function with τ 8,2,0.020
+2

References

Related documents

It gives fairly mild conditions under which the optimal nonlinear labor income tax pro fi le derived under maximin has higher marginal tax rates than the ones derived with

Samples in Group A were bonded according to manufacturer instructions without contamination, in Group B, teeth were contaminated with 0.1 ml human saliva applied to the

&#34;Juice,&#34; Uncle Jimmy said without looking at me, his head in the trunk of his car, his hand. outstretched in my

Figure 4.10 ...165 Variations in system energy of armchair and zig-zag nanotube models over different simulation temperatures (a) Kinetic Energy, (b) Potential Energy, and (c)

by the terms of this insured section against legal liability to pay damages, including claimant costs recoverable from the insured , as a result of bodily injury or

The mean scores of the experimental and control groups were 5.18 and 3.68 respectively which shows that there was a significant effect of the Eclectic Approach on

As a response to the lack of social security, to the negative side-effects of user fees introduced in the eighties and to persistent problems with health care financing,