Académique Documents
Professionnel Documents
Culture Documents
n
h
n
e
inv
,
H(v) =
1
..
2
h
n
e
inv
(1)
We assume that only nitely many h
n
,
h
n
are non-zero. Dene
f,
f by
f =
1
j=1
H(2
j
v),
f =
1
j=1
H(2
j
v) (2)
These innite products can only converge if
H(0) =
H(0) = 1 (3)
that is, if
n
h
n
=
h
n
=
..
2
(4)
If (3) is satised, then the innite products in (2) converge
uniformly and absolutely on compacts. Obviously
f(v) = H
v
2
_ _
f
v
2
_ _
,
f(v) =
H
v
2
_ _
f
v
2
_ _
(5)
or, equivalently
f(t) =
..
2
n
h
n
f(2t n),
f(t) =
..
2
n
h
n
f(2t n) (6)
at least in the sense of distributions. From [1], f and
f have
compact support. We also dene the corresponding c and
c by
c = e
iv/2
H
v
2
+p
_ _
f
v
2
_ _
,
c = e
iv/2
H
v
2
+p
_ _
f
v
2
_ _
(7)
or, equivalently
c(x) =
..
2
n
(1)
n
h
1n
f(2x n) (8)
c(x) =
..
2
n
(1)
n
h
1n
f(2x n) (9)
We now discuss the biorthogonality of f and
f. Obviously, if
f and
f dened as (6) are biorthogonal, then we have [14]
H(v)
n
k=0
f
k
n
_ _
B
n
k
(x)
=
n
k=0
f
k
n
_ _
n
k
_ _
x
k
(1 x)
nk
(11)
The Bernstein form of a general polynomial is expressed by
H1(x) =
n
k=0
d(k)
n
k
_ _
x
k
(1 x)
nk
(12)
where d(i) are the Bernstein coefcients.
Theorems 1 and 2 indicate that the representation of
decomposing and reconstructing low-pass lters expressed by
Bernstein polynomials ensures that the coefcients of lters
are symmetric, which is of great signicance in image
processing.
Theorem 1: Suppose that the low-pass lter of analysis (or
synthesis) is as follows
H1(x) =
N
k=0
d(k)
N
k
_ _
x
k
(1 x)
Nk
(13)
H(v) = H sin
2
v
2
_ _ _ _
=
j=N
j=N
h
j
e
ivj
(14)
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 51
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org
where x = sin
2
(v/2) and z = e
iv
. Then, we have
h
m
= h
m
=
N
k=m
[(km)/2]
n=0
(1)
m
a
k
2
k+2n+m
k
2n + m
_ _
2n + m
n
_ _
, m 0 (15)
and
a
k
=
k
i=0
(1)
ki
d(i)
N
i
_ _
N i
k i
_ _
(16)
Proof: Suppose that
H1(x) =
N
k=0
a
k
x
k
(17)
we have
H1(x) =
N
i=0
d(i)
N
i
_ _
x
i
Ni
j=0
(1)
j
N i
j
_ _
x
j
=
N
i=0
Ni
j=0
d(i)(1)
j
N
i
_ _
N i
j
_ _
x
i+j
Thus
a
k
=
k
i=0
(1)
ki
d(i)
N
i
_ _
N i
k i
_ _
(18)
Furthermore, if x = sin
2
(v/2), z = e
iv
, then
H(v) =
N
k=0
a
k
1cos v
2
_ _
k
=
N
k=0
a
k
2
k
k
j=0
(1)
j
k
j
_ _
cos
j
(v)
=
N
k=0
a
k
2
k
k
j=0
(1)
j
k
j
_ _
z + z
1
2
_ _
j
=
N
k=0
k
j=0
j
l=0
(1)
j
a
k
2
k+j
k
j
_ _
j
l
_ _
z
j2l
Set j 22l m, then l ( j 2m)/2. For the sake of
convenience, we dene the expression given by
k
j m
2
_ _
=
k
j m
2
_ _
, if
j m
2
is a postive integer
0, else
(19)
We obtain
h
m
=
N
k=m
k
j=m
( 1)
j
a
k
2
k+j
k
j
_ _
j
j m
2
_ _
=
N
k=0
km
s=0
( 1)
m+s
a
k
2
k+s+m
k
s + m
_ _
m + s
s
2
_ _
=
N
k=0
[(km)/2]
n=0
( 1)
m
a
k
2
k+2n+m
k
2n + m
_ _
2n + m
n
_ _
Thus, (15) is proven. A
Similarly, we can obtain Theorem 2.
Theorem 2: Suppose that the low-pass lter of synthesis (or
analysis) is as follows
H1(x) =
N+2K+1
k=0
d(k)
N + 2K + 1
k
_ _
x
k
(1 x)
N+2K+1k
(20)
H(v) = H sin
2
v
2
_ _ _ _
=
j=N+2K+1
j=N2K1
h
j
e
ivj
(21)
where x = sin
2
(v/2) and z = e
iv
. Then, we have
h
m
=
h
m
=
N+2K+1
k=m
[(km)/2]
n=0
(1)
m
a
k
2
k+2n+m
k
2n + m
_ _
2n + m
n
_ _
, m 0 (22)
and
a
k
=
k
i=0
(1)
ki
d(i)
N + 2K + 1
i
_ _
N + 2K + 1 i
k i
_ _
(23)
Theorem 3 reveals that the number of zeros in Bernstein
coefcients determines the vanishing moments of wavelets
functions. This conclusion greatly reduces the extent of
complexity in analysing the transforming property of
wavelet functions. Meanwhile, the number of ones in
Bernstein coefcients decides the atness of frequency
response passbands of lters. These two transforming
features are crucial to image compression. The benet of
applying the Bernstein polynomial in constructing
biorthogonal wavelets is further testied in Section 5.
Theorem 3: If we represent analysis and synthesis low-pass
lters with an odd length in Bernstein basis form
H1(x) =
N
k=0
d(k)
N
k
_ _
x
k
(1 x)
Nk
(24)
H(v) = H1 sin
2
v
2
_ _ _ _
(25)
52 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
for x = sin
2
(v/2) and satisfy as
d
k
H(v)
dv
k
|
v=p
= 0, k = 0, 1, 2, 3, . . . , 2K 1 (26)
d
k
H(v)
dv
k
|
v=o
= d
k,0
, k = 0, 1, 2, 3, . . . , 2P 1 (27)
where d
k,0
is the Kronecker symbol. If and only if the above
conditions are satised, then d(n) is as follows
d(n) =
1, 0 n , P
arbitrary, P n N K
0, N K , n N
(28)
where P and K are integral numbers.
Theorem 4: If H(v) =
N
N
h
n
e
iv
and
H(v) =
N+2K+1
N2K1
h
n
e
iv
, where h
n
and
h
n
are shown by Theorems
1 and 2. Assume that (10) holds. The corresponding
Bernstein coefcients d(i) and
d(i) satisfy the following
equation
2
mn=2l
N
k=m
[(km)/2]
n
=0
N+2K+1
k
=n
[(k
n)/2]
n
=0
(1)
n+m
_
a
k
2
k+2n
+m
k
2n
+ m
_ _
2n
+ m
n
_ _
a
k
2
k
+2n
+n
k
2n
+ n
_ _
2n
+ n
n
_ __
= d
l0
,
0 l N + K (29)
where
a
k
=
k
i=0
(1)
ki
d(i)
N
i
_ _
N i
k i
_ _
,
a
k
=
i=0
(1)
k
d(i)
N + 2K + 1
i
_ _
N + 2K + 1 i
k
i
_ _
Proof: Since
H(v) =
N
N
h
m
e
imv
,
H(v) =
N+2K+1
N2K1
h
n
e
inv
we have
H(v)
H(v) =
2N+2K+1
s=2N2K1
mn=s
(h
m
h
n
)e
isv
H(v +p)
H(v +p) =
2N+2K+1
s=2N2K1
mn=s
(h
m
h
n
)(1)
s
e
isv
From (10), it follows that
H(v)
H(v +p)
= 2
(N+K)
l=(N+k)
mn=2l
h
m
h
n
_ _
e
i2lv
= 1, 0 l N + K
We immediately obtain (29). A
Suppose that the number of vanishing moments of c
dened by (8) is 2k; according to Theorem 3, we have
H(v) = 1 sin
2
v
2
_ _ _ _
k
Nk
i=0
d(i)
N
i
_ _
sin
2
v
2
_ _ _ _
i
1 sin
2
v
2
_ _ _ _
Nik
=
1 + e
iv
2
_ _
2k
F(v) (30)
where
F(v) = e
ikv
Nk
i=0
d(i)
N
i
_ _
sin
2
v
2
_ _ _ _
i
1 sin
2
v
2
_ _ _ _
Nik
(31)
Similarly, suppose that the number of vanishing moments of
c dened by (9) is 2
k; we have
H(v) =
1 + e
iv
2
_ _
2
F(v) (32)
F(v) = e
i
kv
N+2K+1
k
i=0
d(i)
N + 2K + 1
i
_ _
sin
2
v
2
_ _ _ _
i
1 sin
2
v
2
_ _ _ _
N+2K+1i
k
(33)
Lemma 1: Suppose that F(v) is dened by (31); we have
F(v) = e
iv(Nm)
m
s=m
b
s
e
isv
(34)
where
b
s
=
m
k=s
[(ks)/2]
n=0
a
k
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
(35)
a
k
=
k
i=0
( 1)
ki
d(i)
N
i
_ _
m i
k i
_ _
(36)
and s . 0, b
s
= b
s
.
Proof: From (31), we have
F(v) = e
i(Nm)v
m
i=0
d(i)
N
i
_ _
sin
2
v
2
_ _ _ _
i
1 sin
2
v
2
_ _ _ _
mi
= e
i(Nm)v
f (v)
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 53
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org
and
f (x) =
m
i=0
d(i)
N
i
_ _
x
i
(1 x)
mi
=
m
i=0
d(i)
N
i
_ _
x
i
mi
j=0
m i
j
_ _
(1)
j
x
j
=
m
i=0
d(i)
m
k=i
(1)
ki
N
i
_ _
m i
k i
_ _
x
k
=
m
k=0
a
k
x
k
where
a
k
=
k
i=0
(1)
ki
d(i)
N
i
_ _
m i
k i
_ _
Consequently, for z = e
iv
f (v) =
m
k=0
k
j=0
a
k
2
k
(1)
j
k
j
_ _
z + z
1
2
_ _j
=
m
k=0
k
j=0
a
k
2
k
(1)
j
k
j
_ _
j
l=0
1
2
j
j
l
_ _
z
j2l
Let j 22l s, we obtain
f (v) =
m
s=m
_
m
k=s
[(ks)/2]
n=0
a
k
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
_
z
s
Thus, Lemma 1 is proven. A
Theorem 5 will give sufcient conditions of the
biorthogonality of c,
c.
Theorem 5: Let H(v) =
N
N
h
n
e
inv
and
H(v) =
N+2K+1
N2K1
h
n
e
inv
be shown by Theorems 1 and 2. The
number of vanishing moments of corresponding c and
c
are 2L and 2
L. Assume that
(10) holds. Let c and
c be functions dened by (8) and
(9). Suppose that Bernstein coefcients d(i) and
d(i)
satisfy the following
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
m i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2L1/2
(37)
(see (38))
We obtain the following results:
1. For some arbitrary integer n . 0
B
2
n = max
2
n
1
j=0
F(2
j
v)
1/2
n
, 2
2L(1/2)
(39)
B
2
n = max
2
n
1
j=0
F(2
j
v)
1/2
n
, 2
2
L(1/2)
(40)
where F(v) and
F(v) are dened by (31) and (33).
2.
kf,
f(t l)l = d
l0
L 1/2 log
2
B
2
n .
3. The corresponding c and
c are biorthogonal wavelets in
L
2
(R).
Proof: It is easy to nd that sequences B
2
n and
B
2
n are
decreasing
2
n
1
j=0
F(2
j
v)
max
2
n1
1
j=0
F(2
j
v)|max|
2
n
1
j=2
n1
F(2
j2
n1
2
2
n1
v)
= max
2
n1
1
j=0
F(2
j
v)|max|
2
n1
1
j=0
F(2
j
v)
= max
2
n1
1
j=0
F(2
j
v)
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N + 2K + 1
i
_ _
m i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2
L1/2
(38)
54 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
Hence, B
2
n B
2
n1 B
1
= max|F(w)|. Similarly, we
can prove
B
2
n
B
2
n1
B
1
= max|
F(w)|. Combining
Lemma 1, (37) and (38), we obtain conclusion (1) by [1, 14].
From [1, 14], we have kf,
f(t l)l = d
l0
,
f(v)
C(1 + |v|)
1/2a
,
f (v)|(1 + |v|)
a
, 1 (41)
then f [ C
a
, which means that the regularity of f can be
estimated via the decay of its Fourier transform. The Sobolev
regularity of f is studied with the spectral properties of a
transfer operator associated with the coefcients of lters
[14]. Transfer operators are dened as follows.
For a 2p-periodic function u(v) that depends on the
coefcients of lter is xed and the associated transfer
operator T
u
acts on 2p-periodic functions according to
T
u
(v) = u(v/2)f (v/2) + u(v/2 +p)f (v/2 +p) (42)
Note that if u = S
n[Z
f
n
e
inv
is a trigonometric polynomial,
that is, u
n
= 0 if |n| . N, then the nite-dimensional space
E
u
= {
|n|N
c
n
e
inv
: c
n
[ C} is invariant under the
action of T
u
.
One of the main results in the univariate theory is as
follows.
Assume that H(v) can be factorised as H(v) = ((1 +
e
iv
)/2)
L
F(v) where F(v) is a trigonometric polynomial
and dene u(v) = |F(v)|
2
. The Sobolev exponent
[14]: s(f) = sup{s:
_
(1 + |v|
s
)|
f|
2
dv , +1} satises the
estimate
s(f) L
log r
2 log 2
(43)
where r is the spectral radius of T
u
restricted to E
u
.
Dene the associated transfer operator T acts on
2p-periodic functions according to
Tf (v) = F
v
2
_ _
2
f
v
2
_ _
+ F
v
2
+p
_ _
2
f
v
2
+p
_ _
(44)
where F(v) is dened by (31).
Lemma 2: For any 2p-periodic continuous functions f, g, we
consider the conjugate operator T
of T, and have
T
f (v) = 2|F(v)|
2
f (v) (45)
Proof: In fact, for any 2p periodic continuous f and g
,Tf , g. =
_
p
p
F
v
2
_ _
2
f
v
2
_ _
g(v) dv
+
_
p
p
F
v
2
+p
_ _
2
f
v
2
+p
_ _
g(v) dv
= 2
_
p/2
p/2
|F(v)|
2
f (v)g(2v) dv
_
+
_
3p/2
p/2
|F(v)|
2
f (v)g(2v) dv
_
= 2
_
3p/2
p/2
|F(v)|
2
f (v)g(2v) dv =,f , T
g.
Thus, Lemma 2 is proven. A
Lemma 3: Suppose that
|F(v)|
2
=
2m
t=2m
b
t
e
itv
where
b
t
=
mt
k=m
b
k+t
b
k
(t . 0), b
t
= b
t
and b
t
, t = m, . . . , m is dened by (35).
Proof: By Lemma 1, we have
|F(v)|
2
=
m
j=m
b
j
e
ijv
_ _
m
k=m
b
k
e
ikv
_ _
=
m
j=m
m
k=m
b
j
b
k
e
i( jk)v
Setting j 2k t, for t . 0, we have
|F(v)|
2
=
2m
t=2m
mt
k=m
b
k+t
b
k
e
ikv
Therefore, Lemma 3 is proven. A
Lemma 4 shows how to evaluate r(T).
Lemma 4:
r(T) 4m
m
i=m
b
2
i
(46)
where b
i
is shown by (35).
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 55
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org
Proof: We consider the conjugate operator T
. By direct
computation, for any 2p-periodic continuous functions f,
we have
T
f (v) = 2|F(v)|
2
f (v) (47)
The matrix of T
is restricted to E = {
2m
j=2m
c
j
e
ijv
,
(c
2m
, c
2m+1
, . . . , c
2m
) [ R
2m+1
}, we have
H = (b
k2l
)
l,k=2m,2m+1,...,2m
(48)
Notice that the matrix H is shown as follows (see (49))
We remark matrix H
c
, which consists of all rows and columns
of H except its rst and last rows and columns. To estimate
the bounds of the eigenvalues of H, by Lemma 3, we have
|b
t
|
1
2
mt
k=m
b
2
k+t
+
mt
j=m
b
2
k
_ _
=
1
2
m
m+t
b
2
l
+
mt
j=m
b
2
k
_ _
m
i=m
b
2
i
(50)
It is obvious by (49) that b
2m
is an eigenvalue of H with
multiplicity 2. Hence, the spectral radius of H is
r(H) = max{|b
2m
|, r(H
c
)} max{|b
2m
|, H
c
1
}
max |b
2m
|,
2m1
i=2m+1
|b
i2j
|
_ _
2m
m
i=m
b
2
i
(51)
By Theorem 5 and Lemma 2-4, Theorem 6 is proven. A
For sufcient conditions of the biorthogonality, and the
regularity analysis of f,
f by (8), we have the following
results. By [5, 6] and Lemma 4, Theorem 6 is proven.
Theorem 6: Let
H(v) =
NK
k=0
d(i)
N K
k
_ _
sin
2k
(v/2)(cos
2(Nk)
(v/2)
(52)
H(v) =
N+2K+1
K
k=0
d(i)
N + 2K + 1
K
k
_ _
sin
2k
(v/2)
(cos
2(N+2K+1k)
(v/2)) (53)
Set m N 2K, m = N + 2K + 1
d(i) satisfy
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
m i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2K1/2
(54)
m
s= m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N +2K +1
i
_ _
mi
k i
_ _
2
k+2n+s
(1)
s
k
2n +s
_ _
2n +s
n
_ _
,2
2
K1/2
(55)
We obtain the following results:
1. kf,
f(t l)l = d
l0
,
f(v) C(1 + |v|)
1/2a
,
f(v)
C(1 + |v|)
1/2 a
, where a = 2K 1/2 log
2
|F(v)|, a =
2
K 1/2 log
2
m
i=m
b
2
i
, 2
K
1
2
log
2
4m
m
i= m
b
2
i
(56)
where b
i
is dened by (35), and
b
s
=
m
k=0
[(ks)/2]
n=0
a
k
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
a
k
=
k
i=0
(1)
ki
d(i)
N + 2K + 1
i
_ _
m i
k i
_ _
We now give a general model to construct the biorthogonal
scaling functions f and
f with the largest possible
regularity. In fact, this method can be described as a
constrained optimisation problem of nding suitable
Bernstein coefcients {d(i)} and {
d(i)}. By (56) of
Theorem 6, when log
2
4m
m
i=m
b
2
i
and log
2
4 m
m
i= m
b
2
i
reach a minimum value, the regularity (exponent) of c and
(49)
56 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
dened by (8): Suppose that the objective function is
f (d(0), d(1), . . . , d(N))
=
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
m i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
mn=2l
_
N
k=m
[(km)/2]
n
=0
N+2K+1
k
=n
[(k
n)/2]
n
=0
(1)
n+m
a
k
2
k+2n
+m
k
2n
+m
_ _
2n
+m
n
_ _
a
k
2
k
+2n
+n
2n
+n
_ _
2n
+n
n
_ _
_
=d
l0
, 0 l N +K (58)
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
mi
k i
_ _
2
k+2n+s
(1)
s
k
2n +s
_ _
2n +s
n
_ _
,2
2L1/2
(59)
m
s= m
m
k=s
[(ks)/2]
n=0
k
i=0
( 1)
ki
d(i)
N +2K +1
i
_ _
Li
k i
_ _
2
k+2n+s
( 1)
s
k
2n +s
_ _
2n +s
n
_ _
, 2
2
L1/2
(60)
d(0),
d(1), . . . ,
d(N + 2K + 1))
=
_
m
s= m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N + 2K + 1
i
_ _
m i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
_
min g(
d(0),
d(1), . . . ,
mn=2l
N
k=m
[(km)/2]
n
=0
N+2K+1
k
=n
[(k
n)/2]
n
=0
(1)
n+m
_
a
k
2
k+2n
+m
k
2n
+ m
_ _
2n
+ m
n
_ _
a
k
2
k
+2n
+n
k
2n
+ n
_ _
2n
+ n
n
_ _
_
= d
l0
,
0 l N + K (62)
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
m i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2L1/2
(63)
m
s= m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N + 2K + 1
i
_ _
L i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2
L1/2
(64)
d(0),
d(1),...,
d(N+2K+1))
=
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
mi
k i
_ _
2
k+2n+s
m
s= m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N +2K+1
i
_ _
mi
k i
_ _
2
k+2n+s
(1)
s
k
2n+s
_ _
2n+s
n
_ _
(65)
min w(d(0), d(1),..., d(N),
d(0),
d(1)...,
d(N+2K+1))
Subjected to
2
mn=2l
N
k=m
[(km)/2]
n
=0
N+2K+1
k
=n
[(k
n)/2]
n
=0
(1)
n+m
_
a
k
2
k+2n
+m
k
2n
+ m
_ _
2n
+ m
n
_ _
a
k
2
k
+2n
+n
k
2n
+ n
_ _
2n
+ n
n
_ _
_
= d
l0
,
0 l N + K (66)
m
s=m
m
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
N
i
_ _
mi
k i
_ _
2
k+2n+s
( 1)
s
k
2n +s
_ _
2n +s
n
_ _
,2
2L1/2
(67)
m
s= m
m
k=s
[(ks)/2]
n=0
k
i=0
( 1)
ki
d(i)
N +2K +1
i
_ _
mi
k i
_ _
2
k+2n+s
(1)
s
k2n +s
_ _ 2n +s
n
_ _
,2
2
L1/2
(68)
Restriction (66) assures that the decomposing and reconstructing
low-pass lters satisfy perfect reconstruction conditions.
Restrictions (67) and (68) assure the biorthogonality of and
7
5
b +
21
10
,
1
10
8b
3
35 28b
2
+ 42b
1 + 2b
, 0, 0
_ _
58 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
Bernstein coefcients are obtained by (see equation at the
bottom of the page)
where d [ R is a parameter.
Example 5: Let the lengths of low-pass lters in analysis and
synthesis be 13 and 11, respectively (or 11 and 13). Suppose
that the vanishing moments of c and
c dened by (8) and (9)
are 2 and 2. If (10) is satised, then the corresponding Bernstein
coefcientsareobtainedby(seeequationat thebottomof thepage)
where e [ R is a parameter.
Example 6: Let the lengths of low-pass lters in analysis and
synthesis be 7 and 13, respectively (or 13 and 7). Suppose that
the vanishing moments of c and
33
28
b +
55
28
,
27
56
b
3
+
99
56
b
2
165
56
b +
165
56
,
81
70
b
4
+
99
14
b
2
297
70
b
3
99
14
b +
33
7
,
(243/56)b
5
+ (891/56)b
4
(1485/56)b
3
+ (1485/56)b
2
(495/28)b + (33/4)
3b + 1
, 0, 0, 0
_
d = [1, 1, 1, d, 0, 0]
D = 1, 1, 1,
5
28
d +
33
28
,
(9690/7)d
2
(3250/7)d
3
(8751/14)d + 108 + (500/7)d
4
550d
2
+ 500d
3
355d + 72
,
_
(2875/14)d
3
+ (20 425/28)d
2
(9255/28)d + 54
550d
2
+ 500d
3
355d + 72
,
(500/7)d
3
(1425/14)d + (3425/14)d
2
+ (108/7)
550d
2
+ 500d
3
355d + 72
, 0, 0
_
d = [1, 1, c, 0, 0, 0]
D = 1, 1,
5
14
c +
19
14
,
15
28
c +
12
7
,
10
7
c
2
23
7
c +
47
14
,
(625/7)c
4
+ (2875/14)c
3
(5575/28)c
2
+ (4005/28)c 6
3 + 25c + 50c
2
,
_
(125/7)c
3
25c
2
+ (1105/14)c (289/14)
3 + 25c + 50c
2
, 0, 0
_
d = [1, 1, 1, 1, e, 0, 0, 0]
D = 1, 1, 1, 1,
19 200 + (1 921 535/2)e
3
(1 158 213/2)e
2
+ 167 964e 240 100e
4
300 125e
4
+ 360 150e
3
286 895e
2
+ 99 176e 12 800
,
_
(2 174 375/4)e
3
(1 157 625/4)e
2
+ 82 382e 9600 (300 125/2)e
4
300 125e
4
+ 360 150e
3
286 895e
2
+ 99 176e 12 800
,
85 750e
4
+ (591 675/2)e
3
(309 295/2)e
2
+ 49 588e 6400
300 125e
4
+ 360 150e
3
286 895e
2
+ 99 176e 12 800
,
(1 020 425/8)e
3
(300 125/8)e
4
+ 24 794e (277 095/4)e
2
3200
300 125e
4
+ 360 150e
3
286 895e
2
+ 99 176e 12 800
, 0
_
60 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
corresponding Bernstein coefcients are obtained by (see
equation at the bottom of the page)
where b [ R is a parameter.
Theorem 7 shows the sufcient conditions of wavelets c
and
c to be biorthogonal from Examples 114, when
Bernstein coefcients belong to certain range.
Theorem 7: In the following tables, when Bernstein
coefcients belong to certain ranges, c and
c from
Examples 114 are biorthogonal wavelets in L
2
(R).
Furthermore, by solving Models 13, we obtain the largest
possible regularities of c and
c. The detailed conclusions
are given in the Table 1.
Proof: We will prove the conclusion of Example 1 in Table 1,
while the conclusion of other cases can be proven similarly.
Suppose that (see equation at the bottom of the page)
Thus
f (b) = 2
..
2
1
4
+
3
4
b
+
1
2
+
3
2
b
_ _
, 8
..
2
f (b) = 2
..
2
15
64
9
32
b +
9
64
b
2
1
16
(27/4)b
3
+(63/4)b
2
(63/4)b +(35/4)
3b +1
_ _
25
32
+
3
4
b
9
32
b
2
+
3
8
(27/4)b
3
+(63/4)b
2
(63/4)b +(35/4)
3b +1
_ _
1
64
+
9
32
b
9
64
b
2
15
16
(27/4)b
3
+(63/4)b
2
(63/4)b +(35/4)
3b +1
_ _
33
16
3
2
b +
9
16
b
2
+
5
4
(27/4)b
3
+(63/4)b
2
(63/4)b +(35/4)
3b +1
_ _
_
,2
..
2
(7 56 142 128/55)b
5
(3 94 074 072/11)b
4
+ (22 13 447 796/55)b
3
(3 41 604 144/55)b
2
+(1 13 142 630/11)b 1 977 714
18 003 384b
4
+ 13 288 212b
3
4 608 576b
2
+ 815 805b 58 825
(5 67 106 596/55)b
5
(81 015 228/5)b
4
+ (8 35 299 864/55)b
3
(2 12 865 408/55)b
2
+(97 643 826/55)b (2 371 474/11)
18 003 384b
4
+ 13 288 212b
3
4 608 576b
2
+ 815 805b 58 825
2
s=2
2
k=s
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
4 + 2k + 1
i
_ _
2 i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2(42)1/2
f (b) =
4
s=4
4
k=0
[(ks)/2]
n=0
k
i=0
(1)
ki
d(i)
5 + 2k + 1
i
_ _
4 i
k i
_ _
2
k+2n+s
(1)
s
k
2n + s
_ _
2n + s
n
_ _
, 2
2(54)1/2
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 61
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org
by Theorem 6, when Bernstein coefcients belong to
the set B >
B = (2.6667, 2.6667) >(1.1912, 1.2587) =
(1.1912, 1.2587), c and
c are biorthogonal wavelets in L
2
(R).
From Fig. 1c, when b 1.1913 [ (1.1912, 1.2587),
function f (b) reaches a minimum. So the best parameter
(37) of Model 1 is 1.1913.
From Fig. 1d, when b 1.217 [ (1.1912, 1.2587),
function
f (b) reaches a minimum. So the best parameter
(38) of Model 2 is 1.217.
From Fig. 1e, when b 1.217 [ (1.1912, 1.2587), function
f (b) +
around zero
b function
f (b) 4
..
2
around b 1.5
c function f (b) around b 1.2
d function
by Models 13
Filter pair Set Best parameter of
Model 1
Best parameter of
Model 2
Best parameter of
Model 3
Example 1 (1.1912, 1.2587) 1.1913 1.217 1.217
Example 2 (0.8091, 1.3333) 0.8092 1.251 0.8092
Example 3 (0.6218, 1.2) 0.6219 1.185 1
Example 4 (0.4424, 0.81) 0.4425 0.8 0.4425
Example 5 (0.0828, 0.1778) 0.1286 0.1777 0.1285
Example 6 (0.1926, 0.286) < (0.3381, 0.6667) 0.3382 0.3432 0.3432
Example 7 (0.6058, 1.3333) 0.6059 1.3332 0.8333
Example 8 (0.8366, 1.6) 0.8367 1.2268 0.8367
Example 9 (20.0064, 0.3321) < (0.3393, 0.6667) 0.3319 0.6666 0.3320
Example 10 (0.9947, 1.67) 0.9948 1.5078 1.5078
Example 11 (20.0168, 0.8) 0.0666 0.7 0.198
Example 12 (0.9870, 1.6847) 0.9871 1.3262 1.3262
Example 13 (0.4483, 0.9143) 0.4485 0.7406 0.4484
Example 14 (0.8750, 2.0110) 0.8751 1.6412 0.8751
62 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
the DWT image. Thus, an objective function is introduced by
us as follows. If the preponderant amount of energy is
concentrated in the low-frequency part, the objective
function can reach its minimum value, which is dened as
min f = min
j,k,m
3
i=1
(D
i
j,k,m
)
2
_ _
j,k,m
((C
j,k,m
)
2
+
3
i=1
(D
i
j,k,m
)
2
)
(69)
where C
j,k,m
are coefcients of a low-frequency sub-band
(LL), D
i
j,k,m
, i 1, 2, 3 are coefcients of high-frequency
sub-bands (LH, HL, HH).
Based on the ve aspects mentioned above, the following
algorithm is suggested. The following steps can be taken in
order to obtain lters which have a better effect on
compression of the image.
Algorithm 1 (algorithm of the optimal lters):
Step 1: Utilising the lters obtained from Examples 114, a
coefcient matrix can be formulated after DWT.
Step 2: Solving the non-linear optimisation models (69) by
SQP [23], we obtain the initialisation value of
parameterisation of lters. The lters of Examples 114 by
the parameterisations of lters can be obtained.
Step 3: Set the group of solutions obtained by Step 2 as the
original population. Finess function is dened by PSNR
of reconstruction of image. Searching range of
parameterisations of lters is restricted by Theorem 7.
Step 4: Calculate the peak signal to noise ratio (PSNR) value
of the reconstructed image. If it converges, then obtain the
optimal solution, otherwise go to Step 5.
Step 5: We use the GA [24] to acquire the new
parameterisation of lters. The lters of Examples 114 by
new parameterisations of lters can be obtained. Utilising
the new lters compress wavelet coefcients by the bit-
plane prediction coding method, go to Step 4.
Since the framework proposed in this paper ensures that the
biorthogonal wavelets have good regularity, vanishing
moments and atness of the frequency response, the rst
three requirements mentioned above are satised. The
purpose of construction of parametric lters is to achieve
(69) by adjusting the parameters. By applying Examples 1
14 and Algorithm 1, we obtain a new family of transforms
BBW17/7, BBW15/13, BBW17/11, BBW17/15 and
BBW25/19 as shown in Table 2.
As Fig. 2 indicates, the passband of the frequency response
of synthesis and analysis low-pass lters of BBW15/13,
BBW17/7, BBW17/11 and BBW17/15 display better
atness than that of CDF9/7, which testies the efciency
of Algorithm 1.
In order to evaluate energy compaction of the transforms,
we dene the energy compaction ability as follows
E
comp
(LL) = E
M
/E
Total
, M = LL (70)
where E
LL
is the energy of the sub-band LL and E
Total
is the
energy of the whole image. We analyse the energy
compaction ability BBW17/11 and CDF9/7 for city,
factory, Toulouse and San Francisco. In Fig. 3, the vertical
axis represents the energy percentage of the lowest-
frequency sub-band. The energy percentage of each level
using BBW17/11 is higher than the corresponding level
using CDF9/7, which means BBW17/11 has better
energy compaction ability as shown in Fig. 3. In wavelet
construct, we hope to construct wavelet bases with bigger
E
comp
(LL).
We explore the applicability of the newly designed
transforms to still images, in particular remote sensing
images (see Fig. 4). The new transforms and CDF9/7 are
Table 2 Best lters from Examples 114
Filters Parameter H
H
BBW (15/13) 1.1071 0.7909514153, 0.4143203796,
20.0628834756, 20.0690533966,
0.0251533902, 0.0082864076,
20.0041922317
0.8505266620, 0.3778139152,
20.0791084712, 20.0275108192,
0.0078159446, 0.0034614712,
20.0004174138, 20.0002111766
BBW (17/7) 1.4363 0.8227982894, 0.4266704415,
20.0578457541, 20.0731170509
0.7769929600, 0.4008823089,
20.0784015690, 20.0651822134,
0.0531282040, 0.0190696179,
20.0112071569, 20.0012163228,
0.0015374324
BBW (17/11) 1.4452 0.7808889544, 0.4266174085,
20.0491881155, 20.0874989399,
0.0122970289, 0.0144349220
0.7980748793, 0.4152788416,
20.0829711757, 20.0723271361,
0.0528941607, 0.0118257160,
20.0168438682, 20.00122403010,
0.0014368342
BBW (17/15) 0.6557 0.786343827, 0.4130474234,
20.0594277847, 20.0667620754,
0.0237711139, 0.0070134514,
20.0039618523, 0.0002545912
0.8551401110, 0.3791884132,
20.0828812880, 20.0296087901,
0.0094685634, 0.0043723636,
20.0005783263, 20.0003985961,
20.0000256140
BBW (25/19) 1.7566 0.7791080241, 0.4354390791,
20.0576009944, 20.1095644608,
0.0288004972, 0.0347566893,
20.0082287135, 20.0079698474,
0.0010285892, 0.0008919304
0.8212708854, 0.3928295002, 20.0770085626,
20.0364590962, 0.0213472550, 20.0019923591,
20.0029960949, 20.0016882230,0.0023670737,
0.0009164388, 20.0008375691,
20.0000528700,0.0000458457
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 63
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org
incorporated into context-based entropy coding in order to
compare their performance. Here each image is
decomposed up to six scales with the wavelet transform.
We carry out a series of experiments to evaluate the
suitability of BBW17/7, BBW17/11, BBW17/15 and
BBW25/19 for image compression. Table 3 shows that
PSNR results at the rate of compression is 1:16. PSNR of
reconstructed images has a little increase, and BBW17/11
has the best performance. The detailed comparison of
PSNR is listed in the following Table 3. BBW17/11 and
Fig. 2 CDF9/7 and BBW 15/13 for low-pass lters of analysis
a CDF9/7 and BBW15/13, BBW17/7, BBW17/11, BBW17/15 for low-pass lters of analysis
b CDF9/7 and BBW15/13 for low-pass lters of synthesis
c CDF9/7 and BBW17/7 for low-pass lters of analysis
d CDF9/7 and BBW17/7 for low-pass lters of synthesis
e CDF9/7 and BBW17/11 for low-pass lters of analysis
f CDF9/7 and BBW17/11 for low-pass lters of synthesis
g CDF9/7 and BBW17/15 for low-pass lters of analysis
h CDF9/7 and BBW17/15 for low-pass lters of synthesis
Fig. 3 Energy percentage comparison between CDF9/7 and BBW17/11
a Level 1
b Level 2
c Level 3
d Level 4
64 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
CDF9/7 have approximately same time expenditure and
computational complexity for the compression programme
of the image.
Figs. 5 and 6 are reconstructed images of city and Barb by
applying BBW15/13, BBW17/7, BBW17/11, BBW17/15
and BBW25/19, respectively. As can been seen from the
following reconstructed images, the contour on the houses
and edges of the road produced by BBW15/13, BBW17/7,
BBW17/11, BBW17/15, BBW15/13 and BBW25/19 are
less distorted by ringing effects and the abundance in
textures of remote images are restored perfectly.
6 Conclusions and future research directions
The most signicant research in this paper can be concluded
as follows: we present a general framework of construction of
Fig. 4 Original remote-sensing images
a Beijing
b Airport
c Brussels
d Toulouse
e City
f Factory
g San Francisco
Table 3 PSNR of the compressed images
Test images CDF9/7 BBW15/13 BBW17/7 BBW17/11 BBW17/15 BBW25/19
city 23.93 24.07 24.08 24.16 24.07 24.11
factory 21.52 21.65 21.63 21.79 21.66 21.69
Toulouse 26.50 26.52 26.43 26.66 26.54 26.62
airport 23.39 23.42 23.40 23.47 23.42 23.41
San Francisco 24.67 24.68 24.67 24.82 24.68 24.78
Brussels 25.62 25.69 25.62 25.78 25.70 25.69
Beijing 25.86 26.95 26.91 27.01 26.96 26.87
Gold Hill 33.41 33.45 33.38 33.52 33.48 33.40
barb 33.58 34.03 34.29 34.65 34.02 34.46
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 65
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org
biorthogonal wavelets based on Bernstein bases along with
theory analysis and application. The presented framework
possesses the largest possible regularities and the required
vanishing moments. We propose an efcient technique that
generates a wide range of new biorthogonal symmetric
wavelet transforms. The realisation of the construction of
arbitrary odd lengths lters is achieved. By this framework,
a new family of parametric biorthogonal wavelet lters with
symmetry are constructed. The parameterisation is a good
strategy to obtain biorthogonal wavelet transforms with
more attractive features. In this paper, an optimal model of
FIR aiming at image compression is brought forward. We
Fig. 5 Reconstructed images of city by applying
a CDF9/7
b BBW15/13
c BBW17/7
d BBW17/11
e BBW17/15
f BBW25/19
Fig. 6 Reconstructed images of BARB by applying
a CDF9/7
b BBW15/13
c BBW17/7
d BBW17/11
e BBW17/15
f BBW25/19
66 IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067
& The Institution of Engineering and Technology 2011 doi: 10.1049/iet-cvi.2009.0083
www.ietdl.org
optimise the presented parametric biorthogonal wavelet lters
with the optimal model and obtain BBW17/11 with excellent
compression potential. We demonstrate the performance of
the new family of lters given in this paper for image
compression with very encouraging results.
Motivated by the observed performance improvement, the
following research areas have been identied to be promising.
We will research the construction of contourlet transform
[25], an efcient directional multiresolution image
representation. One of the advantages of the contourlet
transform is that the basis function is anisotropic, which
overcomes the shortcoming of the basis function of wavelet
transform which has vertical and horizontal directions only.
Therefore the contourlet transform can represent 2-D
singular edges of images more efciently. We will present a
new framework of the construction of contourlet transform
by presented Bernstein biorthogonal wavelet lters in the
future. Based on this, we will research remote-sensing
images fusion, compression and feature extraction
techniques based on the new contourlet transform.
7 Acknowledgments
The authors would like to thank the Associate Editor and
anonymous reviewers for their constructive comments and
suggestions, which have lead to a signicantly improved
manuscript. This research was supported by the National
Natural Science Foundation of China under grant 60775018
and National Key Basic Research Program (973) of China
under grant 2009CB724001.
8 References
1 Cohen, A., Daubechies, I., Feauveau, J.C.: Biorthogonal bases of
compactly supported wavelets, Commun. Pure Appl. Math., 1992, 45,
pp. 485560
2 Chui, C.K., Wang, J.: On compactly supported spline wavelets and a
duality principle, Trans. Am. Math. Soc., 1992, 330, pp. 903915
3 Geronimo, J.S., Hardin, D.P., Massopust, P.R.: Fractal
functions analyses and wavelets expansions based on several scaling
functions, J. Approx. Theory, 1994, 78, pp. 373401
4 Shen, H.J.Z.: Compactly supported (bi)orthogonal wavelets generated
by interpolatory renable functions, Adv. Comput. Math., 1999, 11,
pp. 81104
5 Cohen, A., Daubechies, I.: A stablity criterion for biorthogonal wavelet
bases and their related subband coding scheme, Duke Math. J., 1992,
68, pp. 313335
6 Chui, C.K., Li, C.: A gengerl framework of multivariate wavelets with
duals, Appl. Comput. Harmon. Anal., 1994, 1, pp. 368390
7 Ansari, R., Kim, C.W., Dedovic, M.: Structure and design of two-
channel lterbanks derived from a triplet of halfband lters, IEEE
Trans. Circuits Syst. II, 1999, 46, pp. 14871496
8 Chui, C.K., Stockler, J., Ward, J.D.: On compactly supported box-
spline wavelets, Approx. Theory Appl., 1992, 8, pp. 368390
9 Cohen, A., Grochenging, K., Villemoes, L.: Regularity of multivariate
renable function, Constr. Approx., 1999, 15, pp. 241255
10 He, W., Lai, M.J.: Construction of bivariate compactly supported box
spline wavelets with arbitrarily high regularities, Appl. Comput.
Harmon. Anal., 1999, 6, pp. 5374
11 Cooklev, T., Nishihara, A., Sablatash, M.: Regular orthonormal and
biorthogonal wavelets lters, Signal Process., 1997, 57, pp. 121137
12 Antonini, M., Barlaud, M., Mathieu, P., Daubechies, I.: Image coding
using wavelet transform, IEEE. Trans. Image Process., 1992, 2,
pp. 205220
13 Vetterli, M., Herley, C.: Wavelets and lter banks: theory and design,
IEEE Trans. Acoust. Speech Signal Process., 1992, 40, pp. 22072232
14 Daubechies, I.: Ten lectures on wavelets (SIAM, Philadelphia, PA,
1992)
15 He, W.J., Lai, M.J.: Construction of trivariate compactly supported
biorthogonal box spline wavelets, J. Approx. Theory, 2003, 120,
pp. 119
16 Dong, B., Shen, Z.W.: Construction of biorthogonal wavelets from
pseudo-splines, J. Approx. Theory, 2006, 138, pp. 211231
17 Zhang, J.K., Davidson, T.N., Luo, Z.Q., Max Wong, K.: Design of
interpolating biorthogonal multiwavelet systems with compact
support, Appl. Comput. Harmon. Anal., 2001, 11, pp. 420438
18 Averbuch, A.Z., Zheludev, V.A.: Construction of biorthogonal discrete
wavelets transforms using interpolatory spline, Appl. Comput. Harmon.
Anal., 2002, 12, pp. 2556
19 Villasenor, J.D., Belzer, B., Liao, J.: Wavelet lter evaluation for image
compression, IEEE Trans. Image Process., 1995, 4, pp. 10531060
20 Tay, D.B.H.: A novel approach to the design of the class triplet
halfband lter banks, IEEE Trans. Circuits Syst. II, Exp. Briefs, 2004,
51, pp. 378383
21 Boyer, R.P.: Generalized Bernstein polynomials and symmetric
functions, Adv. Appl. Math., 2002, 28, pp. 1739
22 Winger, L.L., Venetsanopoulos, A.N.: Biorthogonal nearly coiet
wavelet for image compression, Signal Process. Image Commun.,
2001, 16, pp. 859869
23 Nocedal, J., Wright, S.J.: Numberical optimization (Springer Science
Business Media, Inc., 1999)
24 Li, M.Q.: Basic theory and application of genetic algorithms (Beijing
Science Press, 2004)
25 Do, N., Vetterli, M.: The contourlet transform: an efcient directional
multiresolution image represent, IEEE Trans. Image Process., 2005,
14, (12), pp. 20912106
IET Comput. Vis., 2011, Vol. 5, Iss. 1, pp. 5067 67
doi: 10.1049/iet-cvi.2009.0083 & The Institution of Engineering and Technology 2011
www.ietdl.org