【维格纳分布】
维格纳分布(又名韦格纳分布，英文: Wigner Distribution Function,缩写为WDF) 是由1963年的诺贝尔物理学奖得主尤金·维格纳，于1932年首次引用的一个新的方程式。
众所皆知，傅立叶变换对于研究稳态(时间独立)的讯号(波形)是一项非常有用的工具，然而，讯号(波形)一般来说在时间上并非是独立的，这样的讯号或是波形傅立叶变换并无法有效地完全分析其特性，因此对于一个非稳态的讯号完全分析需要测量出时间以及频率上的表现。本页面介绍的数学函数是时频分析中的基础方法，在1980年，Claasen，Mecklenbrauker对WDF做了更进一步的研究。除此之外，线性时频分析中，STFT、Gabor transform和WDF扮演了相当重要的角色，其中WDF对于分析很多非稳态的随机讯号都有很好的表现，例如：量子力学、光学、声学、通讯、生物工程、讯号处理和影像处理。有时也被用在分析地震的资料，以及处理声音的相位失真。
==定义==
维格纳分布有许多不同的定义，而此处的定义是特别针对时频分析而定的。若给定一时间序列，它的非平稳自相关函数如下公式所列
其中代表所有可能实验的程序的平均，代表平均，其可能是时间的函数也有可能不是。维格纳函数起初是以包含时间平均与时间差的自相关函数和时间差进行傅立叶转换来表示，如下：
对於单一零平均的时间序列，维格纳函数可以简化如下：
===定义一===
.....(1)
===定义二===
.....(2)
定义二与定义一之间的关系 :
===其他定义===
.....(3)
在声纳和雷达系统中，传送出去的声波的反射波可以用来侦测目标物的位置跟速度，在很多情形下，收到的讯号因为都普勒位移，所以跟原本的讯号并不一样。Woodward(1953) 改写了原本的公式
这个公式被称为Woodward ambiguity function，这个式子在雷达系统的讯号处理和设计上扮演重要的角色。
而维格纳分布亦为科恩系列分布的其中一种特例，当科恩系列分布中的时，科恩系列分布会是维格纳分布。
==WDF和STFT的比较==
WDF、STFT和Gabor transform 都占了时频分析中非常重要的地位，在这边比较一下它们之间的差别。
相交项其实就是处理的过程中产生的额外讯号，是不想要的，WDF的清晰度和复杂度是彼此做取舍的，可以依不同的情况或是不同的方法来决定是否要使用WDF或是另外两种。
==WDF的优缺点==
在这里列出WDF主要的优缺点
优点 :
1.有良好的解析度，尤其是对单一成分，且瞬时频率变化不为2次式以上。
2.有好的数学运算性质(见WDF的数学性质)。
3.可用于分析随机程序(见WDF与随机程序的关系)。
缺点 :
1.有相交项(cross term)的问题，改进方法请见 改进型韦格纳分布。
2.需要更多的时间去计算，若讯号时间越长，则需要更久的时间。
3.不是一对一函数，无法辨别相位部分，例如:
4.不适合分析瞬时频率变化为2次式以上的型态，即。
==相交项特性==
WDF不是一个线性的转换，由于的signal auto-correlation function  ，如果有两种以上不同性质的讯号叠加，会产生相交项。然而相交项却有重要且有用的物理意义，像是可以用来分析期望值，相反的，短时距傅立叶转换就没有此特性，详见维格纳分布与随机程序的关系。以下数学方程式对于WDF后会产生相交项。
== WDF与随机程序的关系 ==
对于一个随机程序x(t)，我们无法得知其确切的值，因此会将其值表示为一个机率函数，通常Ex(t) = 0 for any t
将x(t)的维格纳分布取期望值后可得其谱密度(Power spectral density，PSD)，如下公式所列
当x(t)的统计特性不随时间变化时，可称x(t)为平稳的随机程序，其谱密度也可简化为，也就是说维格纳函数能初略的告诉我们谱密度如何随时间进行变化。维格纳函数能在平稳程序对所有时间ｔ都简化成谱密度，然而也等同于非平稳的自相关函数，这也是维格纳分布的动机。
下图为一个平稳的随机程序进行维格纳分析后的例子，可明显看出此信号不随时间变化，也就是时频分析结果为水平线。反之，亦可利用时频分析结果是否为水平线判断该讯号是否为一平稳的讯号。
200x200像素
而在讯号处理中常见的白杂讯，其谱密度，其中为一个常数。白杂讯的维格纳分布如下图，可看出此杂讯在所有时间及频率都存在著。
200x200像素
维格纳分布的相交项在处理随机程序时派上用场，相对的，没有相交项的短时距傅立叶转换，则无法用于随机程序，如下公式所示，只有在零平均随机程序时，
==常见的时频分析例子==
以下的例子说明如何用WDF来做时频分析
===常数讯号===
输入讯号为常数，则时频分布为一条线重合于时轴，如果'x(t) = 1，则：
===弦波讯号===
输入讯号为弦波，则时频分布为一条线平行于时轴，如果，则：
===啁啾声信号===
啁啾声讯号的瞬时频率随时间线性，表示时频分布为一条斜值线，例如
,
则瞬时频率为：
故WDF为：
===余弦讯号===
x(t) = cos(440t), 当 t 小于 0.5， 频率 f = 220Hz
x(t) = cos(660t), 当 0.5 小于等于 t 小于 1， 频率 f = 330Hz
x(t) = cos(524t), 当 t 大于等于 1， 频率 f = 262Hz
===单位脉冲讯号===
因为单位脉冲包含所有的频率分布，且在时间不等于零时没值，故WDF为通过原点的且与时轴垂直的线
===方波讯号===
,
.
==WDF的数学性质==
==WDF实现方法==
以下为电脑计算WDF的实现方式
# 直接运算(暴力法)            复杂度：
# 使用离散傅立叶变换        复杂度：
# 使用Chirp-Z 转换 复杂度 : ，通常为使用离散傅立叶变换的2~3倍，但限制比使用离散傅立叶变换少
在使用这三个方法前，先来做个前提讨论
从定义一出发
令
再令  ，则上述式子则为
下面介绍的三种方法都是从这条式子开始推导
注意事项 :
若x(t)是无限长的讯号，则p要从负无限加到正无限，这点不易实现。
若x(t)为有限长的讯号，则p范围可以缩小，就可能实现。
故下面三种方法都是在第2种情况下讨论，即x(t)为有限长讯号，p范围可以缩小
我们假设
===直接运算(暴力法) ===
限制条件 :
只有一个 : 要满足Nyquist criterion
，其中B是的频宽，大约是x(t)的两倍。
推导 :
所以当 时，
固定中间的n值 () 来探讨p的范围
即 -– (1)
即 -- (2)
其中 (1) & (2) 的下限是同义的
故(1) & (2)皆可改写为
且可以发现  代表  离两个边界的距离
注意事项： 当 n > n2 或 n
限制条件 :
(1)要满足Nyquist criterion
，其中B是的频宽，大约是x(t)的两倍。
(2)
(3)
推导 :
前提讨论的式子可以改写为
令
针对中间项
令
最后得出的式子如下
其中
===使用Chirp-Z 转换===
限制条件 :
只有一个 : 要满足Nyquist criterion
，其中B是的频宽，大约是x(t)的两倍。
推导 :
前提讨论的式子可改写为
计算分成3步骤
STEP 1 :
STEP 2 :   , 其中
STEP 3 :
==延伸变化==
===视窗型韦格纳分布===
视窗型韦格纳分布（Windowed Wigner Distribution Function），在韦格纳分布中，当x(t)为无限长讯号时，WDF很难去实现它。所以在积分中加入一个新的函数 ，目的是撷取x(t)中的片段来计算，不需从负无限积分到正无限。
==== 定义 ====
， 其中为实数且为有限长讯号
原始韦格纳分布定义
==== 优缺点 ====
* 优点 :
# 降低运算时间，因为为有限长函数。
# 可以有效降低相交项(cross term)问题，但不能完全消除(详见下方说明)。
* 缺点 :
# 一些相交项(cross term)问题仍被保留。
# 可能不符合谱密度(Power spectral density)的定义。
# 一些好用的数学运算性质会消失。
==== 实现方法 ====
从定义出发
令
再令
假设w(t) = 0 for |t| > B
即
其中
如此一来，p范围便可缩小。
==== 避免相交项的原因 ====
从定义出发 ，其中为实数且为有限长讯号
假设的情况下，比较有无mask function所产生的不同结果
550x550像素
理想情形 :
===== 没有使用mask function =====
即mask function
550x550像素
总共有3种情况要讨论，如下图，可见cross term在没有使用mask function时，无法被消除
500x500像素
===== 使用mask function =====
假设，且
由于只在-B到B有值，故乘上就能去除相交项(Cross term)，只保留下图中两条红线中间的区域，也就是Auto terms。
500x500像素
但上述其实是理想的情况，x(t)为窄频信号Delta function
如果X(τ)宽度太宽或是有ripple的话，Cross term仍会有残留，示意图如下
490x490像素
蓝色线为X(τ)的讯号，若X(τ)的宽度太宽或是有ripple产生，就可能会跑进的范围里面，进而导致无法完全滤除Cross term。
==== 总结 ====
cross term 只有在讯号每个成分的宽度都小于2B，且时间差都大于B时，才能被消除
===改进型韦格纳分布===
此方法可以消除相交项(cross term)。
=== 加伯–韦格纳转换 ===
消除相交项(cross term)问题，在某些情况下比加伯转换拥有更好的清晰度。