谐波小波转换

谐波小波转换（Harmonic Wavelet Transform）为学者大卫‧纽兰德（David E. Newland）于1993年所提出，是一个以小波为基底的线性转换，得以将讯号变换至时频域（Time-Frequency Domain）上。谐波小波转换结合了短时距傅立叶变换和连续小波转换两者之优点的讯号分析工具，而其离散版本则可以用快速傅立叶变换做有效率的运算。

考量一个偶对称的实数函数${\displaystyle w_e(x)}$，其傅立叶变换定义为：

则透过反傅立叶变换，我们可以得到该函数${\displaystyle w_e(x)}$为：

而考量另一奇对称的函数${\displaystyle w_o(x)}$，若定义其傅立叶变换为：

则其反傅立叶变换会得到${\displaystyle w_o(x)}$为：

假如结合${\displaystyle w_e(x)}$和${\displaystyle w_o(x)}$，透过${\displaystyle w(x)=w_e(x)+i{w}_o(x)}$的关系，我们会得到一复数函数，并定义它为谐波小波（Harmonic Wavelet）。本谐波小波将为以下数学形式：

也由于傅立叶转换的特性和${\displaystyle W_e(\mathrm{\omega <!--\; \omega \; -->})}$和${\displaystyle W_o(\mathrm{\omega <!--\; \omega \; -->})}$的定义，谐波小波的傅立叶转换对为：

接着，考量到小波转换中的精神－－母小波的缩放（Dilation）和平移，透过伸张方程式（Dilation Equation）我们可以写出一系列的谐波小波（其中${\displaystyle j}$和${\displaystyle k}$皆为整数）：

根据前文对${\displaystyle W(\mathrm{\omega <!--\; \omega \; -->})}$的定义，或是透过直接计算傅立叶转换对，我们也可以得到缩放和平移后的一系列谐波小波在频域上的表示法：

而若我们将不同的正整数${\displaystyle j}$带入上式，例如${\displaystyle j=3}$和${\displaystyle j=4}$，我们会发现后者的振幅会是前者的一半，然而其频带宽会是前者的两倍。这样的特性使得每一阶（Level，对应到不同的${\displaystyle j}$）的谐波小波，其频域将随着阶数越高而越宽，由是达到多分辨率的效果。

随着${\displaystyle j}$的阶数比0越来越小，频带的振幅将越来越高、越来越窄，一路向频率为0的位置延伸。而根据多分辨率分析的理论，我们可以将这些阶数小于0的频带全部收为一个频带，并定义为-1阶（${\displaystyle j=-<!--\; -\; -->1}$）。它涵盖了DC到${\displaystyle 2\mathrm{\pi <!--\; \pi \; -->}}$的频带范围。以小波转换的术语来说，这样具低通滤波性质的函式，被称之为缩放函数（Scaling Function），又称为父小波（Father Wavelet）。谐波小波的缩放函数定义为：

若要证明谐波小波有正交的特性，必须分两个层次讨论，${\displaystyle j}$（不同阶的谐波小波）和${\displaystyle k}$（不同位移量）。首先讨论不同阶的谐波小波。根据傅立叶理论，若两任意阶数的谐波小波正交，它将有下列关系（参考David Newland，1993）：

因为任意阶数之谐波小波其频谱皆分布在正频率轴，故${\displaystyle W(\mathrm{\omega <!--\; \omega \; -->})V(-<!--\; -\; -->\mathrm{\omega <!--\; \omega \; -->})}$永远为0。我们还必须证明下式也成立：

而因为不同阶数之谐波小波其频带不相交，故上式的右式也为0，由是证明不同阶数谐波小波的正交特性。至于同阶数、不同位移量的谐波小波，因为傅立叶变换的特性，在时域的位移相当于在频域的讯号必须乘上一个线性相位，因此对位移之谐波小波来说，必须满足下式：

当k不为0的时候，上式将会成立。换言之，当具有位移存在时，谐波小波正交的特质成立。最后，我们也可以用相似的证明方式，证明谐波小波之父小波也具有正交特性。

如同傅立叶级数一般，由于父小波和母小波皆具有正交的特性，我们可以用它们做为基底来对一个函数做展开：

而它们的系数，根据投影，分别为：

而对于实数函数${\displaystyle f(t)}$,系数将会有这样的关系： ${\displaystyle {\stackrel{~<!--\; ~\; -->}{a}}_{j,k}=a_{j,k}^{\ast <!--\; \ast \; -->}}$ 、${\displaystyle {\stackrel{~<!--\; ~\; -->}{a}}_k=a_k^{\ast <!--\; \ast \; -->}}$。