Here we derive sufficient conditions on the coefficients used
in the scaling equation and wavelet scaling equation thatensure, for every
, that the sets
and
have the orthonormality properties described in
The Scaling Equation and
The Wavelet Scaling
Equation .
For
to be orthonormal at all
, we certainly need
orthonormality when
. This is equivalent to
where
There is an interesting frequency-domain interpretation of the
previous condition. If we define
then we see that our condition is equivalent to
. In the
-domain,
this yields the pair of conditions
Power-symmetry property
Putting these together,
where the last property invokes the fact that
and that real-valued impulse responses yield
conjugate-symmetric DTFTs. Thus we find that
are the impulse response coefficients of a
power-symmetric filter. Recall that this property was alsoshared by the analysis filters in an orthogonal
perfect-reconstruction FIR filterbank.
Given orthonormality at level
, we have now derived a condition on
which is necessary and sufficient for orthonormality
at level
. Yet the same condition is necessary and sufficient
for orthonormality at level
:
where
. Using induction, we conclude that the previous
condition will be necessary and sufficient for orthonormalityof
for all
.
To find conditions on
ensuring that the set
is orthonormal at every
, we can repeat the steps above
but with
replacing
,
replacing
, and the wavelet-scaling equation replacing the
scaling equation. This yields
Next derive a condition which guarantees that
, as required by our definition
, for all
. Note that, for any
,
is guaranteed by
which is equivalent to
for all
where
. In other words, a 2-downsampled version of
must consist only of zeros. This necessary and
sufficient condition can be restated in the frequency domainas
The choice
satisfies our condition, since
In the time domain, the condition on
and
can be expressed
Recall that this property was satisfied by the analysisfilters in an orthogonal perfect reconstruction FIR
filterbank.
Note that the two conditions
are sufficient to ensure that both
and
are orthonormal for all
and that
for all
, since they
satisfy the condition
automatically.