![]() | ||
In the mathematical theory of wavelets, a spline wavelet is a wavelet constructed using a spline function. There are different types of spline wavelets. The interpolatory spline wavelets introduced by C.K. Chui and J.Z. Wang are based on a certain spline interpolation formula. Though these wavelets are orthogonal, they do not have compact supports. There is a certain class of wavelets, unique in some sense, constructed using B-splines and having compact supports. Even though these wavelets are not orthogonal they have some special properties that have made them quite popular. The terminology spline wavelet is sometimes used to refer to the wavelets in this class of spline wavelets. These special wavelets are also called B-spline wavelets and cardinal B-spline wavelets. The Battle-Lemarie wavelets are also wavelets constructed using spline functions.
Contents
- Cardinal B splines
- Elementary properties
- Two scale relation
- Riesz property
- Cardinal B splines of small orders
- Constant B spline
- Linear B spline
- Quadratic B spline
- Cubic B spline
- Bi quadratic B spline
- Quintic B spline
- Multi resolution analysis generated by cardinal B splines
- Wavelets from cardinal B splines
- Definitions
- Procedure to find the fundamental cardinal interpolatory spline
- Example
- Wavelet using fundamental interpolatory spline
- Compactly supported B spline wavelets
- Definition
- Properties
- Decomposition relation
- Compactly supported B spline wavelet of order 1
- Compactly supported B spline wavelet of order 2
- Compactly supported B spline wavelet of order 3
- Compactly supported B spline wavelet of order 4
- Compactly supported B spline wavelet of order 5
- Battle Lemarie wavelets
- Additional reading
- References
Cardinal B-splines
Let n be a fixed non-negative integer. Let Cn denote the set of all real-valued functions defined over the set of real numbers such that each function in the set as well its first n derivatives are continuous everywhere. A bi-infinite sequence . . . x−2, x−1, x0, x1, x2, . . . such that xr < xr+1 for all r and such that xr approaches ±∞ as r approaches ±∞ is said to define a set of knots. A spline of order n with a set of knots {xr} is a function S(x) in Cn such that, for each r, the restriction of S(x) to the interval [xr, xr+1) coincides with a polynomial with real coefficients of degree at most n in x.
If the separation xr+1 - xr, where r is any integer, between the successive knots in the set of knots is a constant, the spline is called a cardinal spline. The set of integers Z = {. . ., -2, -1, 0, 1, 2, . . .} is a standard choice for the set of knots of a cardinal spline. Unless otherwise specified, it is generally assumed that the set of knots is the set of integers.
A cardinal B-spline is a special type of cardinal spline. For any positive integer m the cardinal B-spline of order m, denoted by Nm'(x), is defined recursively as follows.
Concrete expressions for the cardinal B-splines of all orders up to 5 and their graphs are given later in this article.
Elementary properties
- The support of
N m ( x ) is the closed interval[ 0 , m ] . - The function
N m ( x ) is non-negative, that is,N m ( x ) > 0 for0 < x < m . -
∑ k = − ∞ ∞ N m ( x − k ) = 1 for allx . - The cardinal B-splines of orders m and m-1 are related by the identity:
N m ( x ) = x m − 1 N m − 1 ( x ) + m − x m − 1 N m − 1 ( x − 1 ) . - The function
N m ( x ) is symmetrical aboutx = m 2 N m ( m 2 − x ) = N m ( m 2 + x ) . - The derivative of
N m ( x ) is given byN m ′ ( x ) = N m − 1 ( x ) − N m − 1 ( x − 1 ) . -
∫ − ∞ ∞ N m ( x ) d x = 1
Two-scale relation
The cardinal B-spline of order m satisfies the following two-scale relation:
Riesz property
The cardinal B-spline of order m satisfies the following property, known as the Riesz property: There exists two positive real numbers
where
Cardinal B-splines of small orders
The cardinal B-splines are defined recursively starting from the B-spline of order 1, namely
Constant B-spline
The B-spline of order 1, namely
The two-scale relation for this B-spline is
Linear B-spline
The B-spline of order 2, namely
The two-scale relation for this wavelet is
Quadratic B-spline
The B-spline of order 3, namely
The two-scale relation for this wavelet is
Cubic B-spline
The cubic B-spline is the cardinal B-spline of order 4, denoted by
The two-scale relation for the cubic B-spline is
Bi-quadratic B-spline
The bi-quadratic B-spline is the cardinal B-spline of order 5 denoted by
The two-scale relation is
Quintic B-spline
The quintic B-spline is the cardinal B-spline of order 6 denoted by
Multi-resolution analysis generated by cardinal B-splines
The cardinal B-spline
That these define a multi-resolution analysis follows from the following:
- The spaces
V k ⋯ ⊂ V − 2 ⊂ V − 1 ⊂ V 0 ⊂ V 1 ⊂ V 2 ⊂ ⋯ . - The closure in
L 2 ( R ) of the union of all the subspacesV k L 2 ( R ) . - The intersection of all the subspaces
V k - For each integer
k the set{ N m , k j ( x ) : j = ⋯ , − 2 , − 1 , 0 , 1 , 2 , ⋯ } is an unconditional basis forV k
Wavelets from cardinal B-splines
Let m be a fixed positive integer and
Definitions
Let m be a fixed positive integer and let
is known as the cardinal spline interpolation problem. The special case of this problem where the sequence
is the fundamental cardinal spline interpolation problem. The solution of the problem yields the fundamental cardinal interpolatory spline of order m. This spline is denoted by
where the sequence
Procedure to find the fundamental cardinal interpolatory spline
The fundamental cardinal interpolatory spline
it can be seen from the equations defining the sequence
from which we get
This can be used to obtain concrete expressions for
Example
As a concrete example, the case
The only nonzero values of
Thus
This yields the following expression for
Splitting this expression into partial fractions and expanding each term in powers of z in an annular region the values of
Wavelet using fundamental interpolatory spline
For a positive integer m, the function
is a basic wavelet relative to the cardinal B-spline of order
Example
The wavelet of order 2 using interpolatory spline is given by
The expression for
Now, using the expression for the derivative of
The following piecewise linear function is the approximation to
Two-scale relation
The two-scale relation for the wavelet function
Compactly supported B-spline wavelets
The spline wavelets generated using the interpolatory wavelets are not compactly supported. Compactly supported B-spline wavelets were discovered by Charles K. Chui and Jian-zhong Wang and published in 1991. The compactly supported B-spline wavelet relative to the cardinal B-spline
Definition
The compactly supported B-spline wavelet of order m is given by
This is an m-th order spline. As a special case, the compactly supported B-spline wavelet of order 1 is
which is the well-known Haar wavelet.
Properties
- The support of
ψ C , m ( x ) is the closed interval[ 0 , 2 m − 1 ] . - The wavelet
ψ C , m ( x ) is the unique wavelet with minimum support in the following sense: Ifη ( x ) ∈ W 0 W 0 2 m − 1 in length thenη ( x ) = c 0 ψ C , m ( x − n 0 ) for some nonzero constantc 0 n 0 -
ψ C , m ( x ) is symmetric for even m and antisymmetric for odd m.
Two-scale relation
Decomposition relation
The decomposition relation for the compactly supported B-spline wavelet has the following form:
where the coefficients
Here the sequence
Compactly supported B-spline wavelet of order 1
The two-scale relation for the compactly supported B-spline wavelet of order 1 is
The closed form expression for compactly supported B-spline wavelet of order 1 is
Compactly supported B-spline wavelet of order 2
The two-scale relation for the compactly supported B-spline wavelet of order 2 is
The closed form expression for compactly supported B-spline wavelet of order 2 is
Compactly supported B-spline wavelet of order 3
The two-scale relation for the compactly supported B-spline wavelet of order 3 is
The closed form expression for compactly supported B-spline wavelet of order 3 is
Compactly supported B-spline wavelet of order 4
The two-scale relation for the compactly supported B-spline wavelet of order 4 is
The closed form expression for compactly supported B-spline wavelet of order 4 is
Compactly supported B-spline wavelet of order 5
The two-scale relation for the compactly supported B-spline wavelet of order 5 is
The closed form expression for compactly supported B-spline wavelet of order 5 is
Battle-Lemarie wavelets
The Battle-Lemarie wavelets form a class of orthonormal wavelets constructed using the class of cardinal B-splines. The expressions for these wavelets are given in the frequency domain; that is, they are defined by specifying their Fourier transforms. The Fourier transform of a function of t, say,
Definition
Let m be a positive integer and let
The m-th order Battle-Lemarie wavelet is the function