【时频分析 02】Wingner-Ville Transform

我们今天继续学习短时傅里叶变换，看清它的特性和不足。今天要引入新的工具来弥补短时傅里叶变换的不足，尽管它自身也有不足之处（没有缺点的工具是不存在的）。

短时傅里叶变换（STFT / Windowed FT）

引入窗函数 $g(t)$ 做时间上的局部化：
$$\begin{gathered} g(t),\text{Localization (Time)} \\ {V}_{g}f(x,w)={\int }_{-\infty }^{+\infty }f(t)\overline{g(t-x)}\exp (-jwt)dt \end{gathered}$$

• 我们非常关心短时傅里叶变换是否能够恰如其分地反映出信号在时域上的平移和频域上的调制：

$$f(t)\to M_{w^{\prime }}{T}_{x^{\prime }}f(t)=f(t-x^{\prime })\exp (j{w}^{\prime }t)$$

根据短时傅里叶变换的定义：
$$\begin{gathered} V_g(M_{w^{\prime }}{T}_{x^{\prime }}f)(x,w)={\int }_{-\infty }^{+\infty }\exp (j{w}^{\prime }t)f(t-x^{\prime })\overline{g(t-x)}\exp (-jwt)dt \\ \stackrel{t^{\prime }=t-x^{\prime }}{=}{\int }_{-\infty }^{+\infty }f(t^{\prime })\overline{g(t^{\prime }+x^{\prime }-x)}\exp (-j(w-w^{\prime })(t^{\prime }+x^{\prime }))d{t}^{\prime } \\ =\exp (-j(w-w^{\prime })x^{\prime }){\int }_{-\infty }^{+\infty }f(t^{\prime })\overline{g(t^{\prime }-(x-x^{\prime }))}\exp (-j(w-w^{\prime })t^{\prime })d{t}^{\prime } \\ =\exp (-j(w-w^{\prime })x^{\prime })V_{g}f(x-x^{\prime },w-w^{\prime }) \end{gathered}$$

可见，短时傅里叶变换确实能够做到这一点。只不过相差了一个指数因子，这是一个小缺点。(后面的分析工具能弥补这个缺点)

如果一个信号有自己的傅里叶变换，我们通过Parseval关系知道傅里叶变换是“保能量”的：（注意, 这里及后面都抛开$\frac{\pi }{2}$不谈）
$$f\stackrel{\mathcal{F}}{\to }\hat{f},||f|{|}^2=||\hat{f}|{|}^2$$
这说明傅里叶变换本身只是一个正交变换，是一个旋转。这也是对的，举个例子，时域频域就像同一块宝石的不同面，从不同的角度看，它的重量并没有变。

• 现在我们比较关心短时傅里叶变换是否也能够保能量？虽然我们很容易注意到，“加窗”这一操作对能量的损耗应该是很大的。

Parseval关系有一个简单的推广：
$$<f,g>=<\hat{f},\hat{g}>$$
我们关心Parseval关系是否能够推广到短时傅里叶变换，并且我们猜测有如下的形式：
$$<V_{g_1}{f}_1,V_{g_2}{f}_2>=<f_1,f_2>\overline{<g_1,g_2>}$$
下面我们来推导这件事，为了减轻积分的难度，我们可以把短时傅里叶变换看做某种傅里叶变换，然后利用Parseval关系：
$$\begin{gathered} <V_{g_1}{f}_1,V_{g_2}{f}_2>=<(f_1(t)\overline{g_1(t-x)}{)}^{\wedge },(f_2(t)\overline{g_2(t-x)}{)}^{\wedge }{>}_{(x,w)\text{双重积分}} \\ =<(f_1(t)\overline{g_1(t-x)}),(f_2(t)\overline{g_2(t-x)}){>}_{(x,t)} \\ ={\int }_{-\infty }^{+\infty }{\int }_{-\infty }^{+\infty }{f}_1(t)\overline{g_1(t-x)})\overline{f_2(t)\overline{g_2(t-x)}}dtdx \\ ={\int }_{-\infty }^{+\infty }{f}_1(t)\overline{f_2(t)}\left({\int }_{-\infty }^{+\infty }\overline{g_1(t-x)})g_2(t-x)dx\right)dt \\ \stackrel{x^{\prime }=t-x}{=}{\int }_{-\infty }^{+\infty }{f}_1(t)\overline{f_2(t)}dt{\int }_{-\infty }^{+\infty }\overline{g_1(x)})g_2(x)dx \\ =<f_1,f_2>\overline{<g_1,g_2>} \end{gathered}$$
这个结果叫做Moyal公式。是Parseval的一个推广。它从能量的角度对短时傅里叶变换进行了说明：
$$||V_{g}f|{|}^2=<V_g{f}_{,}{V}_{g}f>=<f,f>\overline{<g,g>}=||f|{|}^2||g|{|}^2$$
因此，当人们在选择这个窗 $g$ 的时候，有意地将这个能量归一化：$||g|{|}^2=1$，从而和傅里叶变换本身能够比较。

• 另外Moyal公式还有一个用途，就是做短时傅里叶变化的逆变换（Inversion）

$$f(t)=C{\int }_{{\mathbb{R}}^2}{V}_{g}f(x,w)(M_w{T}_{x}h(t))dwdx$$

这个 $h$ 的加入就像一个药引子。$z(t)$ 为任意关于t的函数
KaTeX parse error: Invalid delimiter type 'ordgroup' at position 140: …V_gf(x,w)\biggr{̲(̲}̲\int_{-\infty}^…
于是我们就得到了短时傅里叶变换的逆转公式：
$$\forall h.V_{g}f(x,w)\leftrightarrow \frac{1}{\overline{<g,h>}}{\int }_{{\mathbb{R}}^2}{V}_{g}f(x,w)(M_w{T}_{x}h(t))dwdx=f(t)$$
信号处理三部曲：

1. Analysis（Transform、Decomposition, …）把复杂问题变简单。
2. Process（Filtering，Operating, …）优化
3. Synthesizing（Reconstruct，Anti-Transform, …）Restoration

有一个非常高的观点是Gabor提出的。Gabor认为通信就是把信号的能量，在不同的时间，不同的频率，换句话讲，在时频平面上做适当的安排。

Gabor发明了全息技术，因此而得诺贝尔物理学奖。全息照片是立体的。

我们人眼之所以能感知到立体，是因为不同物体散射的光进入我们人眼，眼睛所接受到的相位信息是不一样的。并不是因为两只眼睛我们才能感受到立体，你闭上一只眼睛同样能感受到立体。而照片我们之所以感受不到立体，是因为它把相位信息全部抹除了，只留下了强度信息。灰度不就是强度么。

全息技术，就是不但保留强度信息，更是通过技术手段保留相位信息，并通过特殊的播放装置，把相位信息播放出来。

我们继续，即将介绍下一个时频分析工具。我们来看一个信号：
$$\begin{gathered} k(x,w)=\delta (w-w_0)\text{ (Stationary)} \\ \Rightarrow k(x,w)=\delta (w-w_0(x))\text{ (Non-Stationary)} \end{gathered}$$
前者是平稳的情况，不随时间x发生变化，后者是非平稳的情况。我们现在主要分析非平稳的情况。$k(x,w)$是信号真实的表现（ground truth）。我们现在对 $k(x,w)$ 做一个反傅里叶变换。(注意，这里不在乎$\frac{1}{2\pi }$)
$${\int }_{-\infty }^{+\infty }k(x,w)\exp (jwt)dw={\int }_{-\infty }^{+\infty }\delta (w-w_0(x))\exp (jwt)dw=\exp (j{w}_0(x)t)$$
注意，这里得到的 $\exp (j{w}_0(x)t)$ 是我的 ground-truth 经过傅里叶反变换得到的。这意味着我要分析的工具应当也长成这么个模样。这样就可以直接傅里叶变换得到我的 ground-truth 然而这样的分析工具只存在于理想中没法用，因为你并不知道 $w_0(x)$。因此我们需要跳出来看这个信号到底是什么？

• 如果 $w_0(x)$ 是作为频域随时间x的变化，那么它指的就应该是**频率（Frequency）**了，只不过这个频率是时变的，此其一。
• 其二，对于信号而言，频率是什么意思？——相位求导就是频率：$\exp (j{w}_{0}x)\stackrel{w_{0}x=\varphi (x)}{⟹}{\varphi }^{\prime }(x)=w_0$

所以，我们就可以把信号 $f(x)=\exp (j{w}_0(x)t)$ 变成如下模样：
$$f(x)=\exp (j\varphi (x))=\exp (j{\varphi }^{\prime }(x)t)$$
再使用一个差分近似来得到我想要的目标：
$$\begin{gathered} \exp (j{\varphi }^{\prime }(x)t)\stackrel{\text{差分近似}}{\approx }\exp (j\frac{\varphi (x+\frac{t}{2})-\varphi (x-\frac{t}{2})}{t}t) \\ =\exp (j\varphi (x+\frac{t}{2}))\overline{\exp (j\varphi (x-\frac{t}{2}))}=f(x+\frac{t}{2})\overline{f(x-\frac{t}{2})} \end{gathered}$$
如此一来，我只要把基于单信号的某种操作 $f(x+\frac{t}{2})\overline{f(x-\frac{t}{2})}$ 傅里叶变换过去，就能得到我ground truth的某种近似。

$${\int }_{-\infty }^{+\infty }f(x+\frac{t}{2})\overline{f(x-\frac{t}{2})}\exp (-jwt)dt$$
这个新的时频分析工具记作 $W_f(x,w)$（纪念 Wingner，这个变换统称Wingner-Ville Transform）和我们短时傅里叶变换的依赖性一样，他给出的是时频平面上的结果。但是它的做法跟短时傅里叶变换完全不同。是因为它是**二次的（Quadratic）**所以他没有线性特性，即 $W_{f+g}(x,w)=W_f(x,w)+W_g(x,w)+\text{{Cross term}}$，这也是它为人诟病的一点。但它也有很多优点：

1. Real 是实的。(如果把信号看做能量，那就应该是实的)
   $$\overline{W_f(x,w)}={\int }_{-\infty }^{+\infty }\overline{f(x+\frac{t}{2})}f(x-\frac{t}{2})\exp (-jwt)dt\stackrel{t^{\prime }=-t}{=}{W}_f(x,w)$$

2. $W_{M_{w^{\prime }}{T}_{x^{\prime }}f}(x,w)$能够处理的相较于短时傅里叶变换更加干净：
   $$\begin{gathered} W_{M_{w^{\prime }}{T}_{x^{\prime }}f}(x,w)={\int }_{-\infty }^{+\infty }(M_{w^{\prime }}{T}_{x^{\prime }}f)(x+\frac{t}{2})\overline{(M_{w^{\prime }}{T}_{x^{\prime }}f)(x-\frac{t}{2})}\exp (-jwt)dt \\ ={\int }_{-\infty }^{+\infty }\exp (j{w}^{\prime }(x+\frac{t}{2}))f(x-x^{\prime }+\frac{t}{2})\exp (-j{w}^{\prime }(x-\frac{t}{2}))\overline{f(x-x^{\prime }-\frac{t}{2})}\exp (-jwt)dt \\ ={\int }_{-\infty }^{+\infty }\exp (j{w}^{\prime }t))f(x-x^{\prime }+\frac{t}{2})\overline{f(x-x^{\prime }-\frac{t}{2})}\exp (-jwt)dt \\ ={\int }_{-\infty }^{+\infty }f(x-x^{\prime }+\frac{t}{2})\overline{f(x-x^{\prime }-\frac{t}{2})}\exp (-j(w-w^{\prime })t)dt \\ =W_f(x-x^{\prime },w-w^{\prime }) \end{gathered}$$

3. $V_{\hat{g}}\hat{f}(x,w)=V_{g}f(-w,x)\exp (...)$ 同样如此，能够去除相位因子。我们先对Wagner-Ville做一个推广：
   $$W_{f,g}(x,w)={\int }_{-\infty }^{+\infty }f(x+\frac{t}{2})\overline{g(x-\frac{t}{2})}\exp (-jwt)dt$$
   能够看到，他跟短时傅里叶变换非常相像，这一点点区别却造成了本质不同。
   $$\begin{gathered} W_{\hat{f},\hat{g}}(x,w)={\int }_{-\infty }^{+\infty }\hat{f}(x+\frac{t}{2})\overline{\hat{g}(x-\frac{t}{2})}\exp (-jwt)dt \\ \underset{{\hat{h}}_2(t)=\hat{g}(x-\frac{t}{2})\exp (jwt)}{\overset{{\hat{h}}_1(t)=\hat{f}(x+\frac{t}{2})}{=}}{\int }_{-\infty }^{+\infty }{\hat{h}}_1(t)\overline{{\hat{h}}_2(t)}dt \\ \stackrel{\text{Parseval关系}}{=}{\int }_{-\infty }^{+\infty }{h}_1(s)\overline{h_2(s)}ds\stackrel{\text{证明略}}{=}{W}_{f,g}(-w,x) \end{gathered}$$

   4. Inversion Formula
      $$\begin{gathered} f(x+\frac{t}{2})\overline{f(x-\frac{t}{2})}={\int }_{-\infty }^{+\infty }{W}_f(x,w)\exp (jwt)dt\stackrel{x=\frac{t}{2}}{=}f(t)\overline{f(0)} \\ ⟹f(t)=\frac{1}{\overline{f(0)}}{\int }_{-\infty }^{+\infty }{W}_f(\frac{t}{2},w)\exp (jwt)dt \end{gathered}$$