维格纳分布

维格纳分布(又名韦格纳分布，英文: Wigner Distribution Function,缩写为WDF) 是由1963年的诺贝尔物理学奖得主尤金·维格纳，于1932年首次引用的一个新的方程式。
众所皆知，傅立叶变换对于研究稳态(时间独立)的讯号(波形)是一项非常有用的工具，然而，讯号(波形)一般来说在时间上并非是独立的，这样的讯号或是波形傅立叶变换并无法有效地完全分析其特性，因此对于一个非稳态的讯号完全分析需要测量出时间以及频率上的表现。本页面介绍的数学函数是时频分析中的基础方法，在1980年，Claasen，Mecklenbrauker对WDF做了更进一步的研究。除此之外，线性时频分析中，STFT、Gabor transform和WDF扮演了相当重要的角色，其中WDF对于分析很多非稳态的随机讯号都有很好的表现，例如：量子力学、光学、声学、通讯、生物工程、讯号处理和影像处理。有时也被用在分析地震的资料，以及处理声音的相位失真。
定义.
维格纳分布有许多不同的定义，而此处的定义是特别针对时频分析而定的。若给定一时间序列formula_1，它的非平稳自相关函数如下公式所列
　　　formula_2
其中formula_3代表所有可能实验的程序的平均，formula_4代表平均，其可能是时间的函数也有可能不是。维格纳函数formula_5起初是以包含时间平均formula_6与时间差formula_7的自相关函数和时间差进行傅立叶转换来表示，如下：
　　formula_8
对於单一零平均的时间序列，维格纳函数可以简化如下：
定义二.
定义二与定义一之间的关系 : formula_11
其他定义.
在声纳和雷达系统中，传送出去的声波的反射波可以用来侦测目标物的位置跟速度，在很多情形下，收到的讯号因为都普勒位移，所以跟原本的讯号并不一样。Woodward(1953) 改写了原本的公式
这个公式被称为Woodward ambiguity function，这个式子在雷达系统的讯号处理和设计上扮演重要的角色。
而维格纳分布亦为科恩系列分布的其中一种特例，当科恩系列分布中的formula_14时，科恩系列分布会是维格纳分布。
WDF、STFT和Gabor的比较.
WDF、STFT和Gabor都占了时频分析中非常重要的地位，在这边比较一下WDF、STFT、Gabor和WDF的变体Cohen's Class Distribution之间的差别。
清晰度：描述时频图在时间和频率域上解析信号细节的能力。
相交项的问题：多分量信号时可能出现不想要的相交项(cross term)，导致时频图难以解读。
复杂度：指运算复杂度，较高的复杂度意味著需要更多的计算资源。
处理随机程序：对具有随机性质的信号进行有效分析和表征的能力。
频率分辨率：频域解析度的能力，越高越能分辨接近的频率分量。
时间分辨率：时间域解析度的能力，越高越能定位信号的时间变化。
能量集中性：时频图中能量分布是否聚集在主要分量，分散则会影响分析效果。
数值稳定性：算法在不同条件下（如随机噪声或非稳态信号）保持稳定表现的能力。
WDF的优缺点.
在这里列出WDF主要的优缺点
优点 : 
1.有良好的解析度，尤其是对单一成分，且瞬时频率变化不为2次式以上，适合分析瞬态与多变信号。
2.有良好的数学运算性质(见WDF的数学性质)。
3.对随机过程和非稳态信号表现良好，可用于分析随机程序(见WDF与随机程序的关系)。
4.信号能量分布高度集中于真实分量，便于解析信号结构。
5.在时间和频率域上的边际分布与原始信号一致, 满足投影性质。
6.提供准确的能量分布估计，便于信号重建。
7.能准确表示信号瞬时频率，有助于动态信号分析，有限制(缺点4)。
8.无窗函数限制，能解析接近频率分量。
9.对非线性信号具有优势，便于非线性行为检测。
10.对含有噪声或随机成分的信号也能表现出色。
缺点 : 
1.有相交项(cross term)的问题，降低时频图可解读性，改进方法请见 改进型韦格纳分布。
2.需执行二维积分或卷积，对计算资源要求高。若讯号时间越长，则需要更久的时间。
3.不是一对一函数，无法辨别相位部分，例如: formula_15
4.不适合分析瞬时频率变化为2次式以上的型态，即formula_16。
5.低信噪比环境下，噪声可能被放大，影响准确性。
6.不满足线性运算，影响某些应用的便利性。
7.结果分布可能对输入条件敏感，缺乏唯一性。
相交项特性.
WDF不是一个线性的转换，由于formula_17的signal auto-correlation function formula_18，如果有两种以上不同性质的讯号叠加，会产生相交项。然而相交项却有重要且有用的物理意义，像是可以用来分析期望值，相反的，短时距傅立叶转换就没有此特性，详见维格纳分布与随机程序的关系。以下数学方程式对于WDF后会产生相交项。
WDF与随机程序的关系.
对于一个随机程序x(t)，我们无法得知其确切的值，因此会将其值表示为一个机率函数，通常E[x(t)] = 0 for any t
将x(t)的维格纳分布取期望值后可得其谱密度(Power spectral density，PSD)，如下公式所列
formula_21
formula_22
当x(t)的统计特性不随时间变化时，可称x(t)为平稳的随机程序，其谱密度也可简化为formula_23，也就是说维格纳函数能初略的告诉我们谱密度如何随时间进行变化。维格纳函数能在平稳程序对所有时间ｔ都简化成谱密度，然而也等同于非平稳的自相关函数，这也是维格纳分布的动机。
下图为一个平稳的随机程序进行维格纳分析后的例子，可明显看出此信号不随时间变化，也就是时频分析结果为水平线。反之，亦可利用时频分析结果是否为水平线判断该讯号是否为一平稳的讯号。
而在讯号处理中常见的白杂讯，其谱密度formula_24，其中formula_25为一个常数。白杂讯的维格纳分布如下图，可看出此杂讯在所有时间及频率都存在著。
维格纳分布的相交项在处理随机程序时派上用场，相对的，没有相交项的短时距傅立叶转换，则无法用于随机程序，如下公式所示，只有在零平均随机程序时，formula_26
formula_27
常见的时频分析例子.
以下的例子说明如何用WDF来做时频分析
常数讯号.
输入讯号为常数，则时频分布为一条线重合于时轴，如果'x"("t") = 1，则：
弦波讯号.
输入讯号为弦波，则时频分布为一条线平行于时轴，如果，则：
啁啾声信号.
啁啾声讯号的瞬时频率随时间线性，表示时频分布为一条斜值线，例如
则瞬时频率为：
故WDF为：
余弦讯号.
x(t) = cos(440formula_33t), 当 t 小于 0.5， 频率 f = 220Hz<br>
x(t) = cos(660formula_33t), 当 0.5 小于等于 t 小于 1， 频率 f = 330Hz<br>
x(t) = cos(524formula_33t), 当 t 大于等于 1， 频率 f = 262Hz<br>
单位脉冲讯号.
因为单位脉冲包含所有的频率分布，且在时间不等于零时没值，故WDF为通过原点的且与时轴垂直的线
WDF的数学性质证明.
WDF满足永远是实数的性质，以下是证明:
WDF实现方法.
以下为电脑计算WDF的实现方式
在使用这三个方法前，先来做个前提讨论
从定义一出发
formula_48
令 formula_49
formula_50
再令 formula_51 ，则上述式子则为
formula_52
下面介绍的三种方法都是从这条式子开始推导
注意事项 :
若x(t)是无限长的讯号，则p要从负无限加到正无限，这点不易实现。
若x(t)为有限长的讯号，则p范围可以缩小，就可能实现。
故下面三种方法都是在第2种情况下讨论，即x(t)为有限长讯号，p范围可以缩小
我们假设formula_53
<BR>
直接运算(暴力法).
<BR>
限制条件 : 
只有一个 : 要满足Nyquist criterion
formula_54，其中B是formula_55的频宽，大约是x(t)的两倍。
推导 :
formula_53
所以当formula_57 时，
formula_58
固定中间的n值 (formula_59) 来探讨p的范围
formula_60
即 formula_61-– (1)
formula_62
即 formula_63-- (2)
其中 (1) & (2) 的下限是同义的
故(1) & (2)皆可改写为
formula_63
且可以发现 formula_65 代表 formula_59 离两个边界的距离
注意事项： 当 n > n2 或 n < n1 时，将没有 p 能满足上面的不等式 
最后推导出的式子如下
formula_67
其中 formula_68
使用离散傅立叶变换.
<BR>
限制条件 :
(1)要满足Nyquist criterion
formula_54，其中B是formula_55的频宽，大约是x(t)的两倍。
(2)formula_71
(3) formula_72
推导 :
前提讨论的式子可以改写为
formula_73
令formula_74
formula_75
针对中间formula_76项
令
formula_77
formula_78
最后得出的式子如下
formula_79
其中
formula_80
formula_77
formula_78
使用Chirp-Z 转换.
<BR>
限制条件 : 
只有一个 : 要满足Nyquist criterion
formula_54，其中B是formula_55的频宽，大约是x(t)的两倍。
推导 :
前提讨论的式子可改写为
formula_85
计算分成3步骤
STEP 1 : formula_86
STEP 2 : formula_87
STEP 3 : formula_88
延伸变化.
视窗型韦格纳分布.
视窗型韦格纳分布（Windowed Wigner Distribution Function），在韦格纳分布中，当x(t)为无限长讯号时，WDF很难去实现它。所以在积分中加入一个新的函数 ，目的是撷取x(t)中的片段来计算，不需从负无限积分到正无限。
定义.
formula_89 ， 其中formula_90为实数且为有限长讯号 
原始韦格纳分布定义 formula_48
实现方法.
从定义出发 
formula_93 
令formula_94 
formula_95 
再令formula_51 
formula_97 
假设w(t) = 0 for |t| > B 
即 formula_98 
其中formula_99 
如此一来，p范围便可缩小。 
formula_100
避免相交项的原因.
从定义出发 formula_93，其中formula_90为实数且为有限长讯号 
假设formula_103的情况下，比较有无mask function所产生的不同结果 
理想情形 : formula_104
没有使用mask function.
即mask function formula_105 
formula_106 
总共有3种情况要讨论，如下图，可见cross term在没有使用mask function时，无法被消除
使用mask function.
formula_107 
假设formula_108，且formula_109
由于formula_110只在-B到B有值，故乘上formula_110就能去除相交项(Cross term)，只保留下图中两条红线中间的区域，也就是Auto terms。 
但上述其实是理想的情况，x(t)为窄频信号Delta function 
如果X(τ)宽度太宽或是有ripple的话，Cross term仍会有残留，示意图如下 
蓝色线为X(τ)的讯号，若X(τ)的宽度太宽或是有ripple产生，就可能会跑进formula_110的范围里面，进而导致无法完全滤除Cross term。
总结.
cross term 只有在讯号每个成分的宽度都小于2B，且时间差formula_113都大于B时，才能被消除
改进型韦格纳分布.
此方法可以消除相交项(cross term)。
加伯–韦格纳转换.
消除相交项(cross term)问题，在某些情况下比加伯转换拥有更好的清晰度。