查看“︁時頻分析的測不準原理”︁的源代码

{{noteTA
|G1=Math
|G2=Communication
|G3=Signals and Systems
}}
在訊號分析中，訊號的[[時間]]分布 <math>x(t)</math> 與[[頻率 (物理學)|頻率]]分布 <math>X(\omega)</math>之間是有關連的，如果其中一個是寬的，另一個必定是窄的，這是[[傅立葉轉換]]的基本觀念，同時也是[[物理學]]中[[測不準原理]]的精神。不論是物理學或是訊號分析，測不準原理必須討論兩個變量之間的關係，且這兩個變量在[[希爾伯特空間]]中必須是不可交換的運算子，而在訊號分析當中，經常討論的兩個變量是時間與頻率。

==測不準原理在訊號分析中的形式==
===基本形式的測不準原理===

形式跟物理學一樣，不過在此定義訊號在時間與頻率上的標準差:

:<math> \sigma_t^2 = \int (t-\langle t\rangle )^2 |x(t)|^2 dt</math>

:<math> \sigma_{\omega}^2 = \int (\omega-\langle\omega\rangle )^2 |X(\omega)|^2 dt</math>

其中 <math>\langle t\rangle </math> 與 <math>\langle\omega\rangle </math> 代表平均值，<math>x(t)</math> 與 <math>X(\omega)</math> 互為訊號的傅立葉轉換與反轉換，兩者的[[標準差]]相乘就是測不準原理:

:<math>\sigma_t\sigma_{\omega} \ge\frac{1}{2}</math>

由上式可知 <math>x(t)</math> 與 <math>X(\omega)</math> 不可能同時任意寬或任意窄。

===推廣形式的測不準原理===

另外對一個訊號的[[相位]] <math>\phi(t)</math> 作[[微分]]，可以得到該訊號的瞬時頻率 <math>\omega</math>。現在定義一個訊號的[[共變異數]] <math>COV = \langle t\phi'(t)\rangle - \langle t\rangle \langle\omega\rangle </math> ，在此討論的共變異數是看時間與頻率有怎樣的關係，若明顯兩者無關，則 <math>COV = 0</math> 。

有了共變異數的概念，現在可以把測不準原理的形式推廣至如下:

:<math>\sigma_t\sigma_{\omega}\ge\frac{1}{2}</math> <math>\sqrt{1+4COV^2}</math>

==證明==
假設訊號的形式為 <math>x(t) = A(t)e^{j\phi(t)}</math> 且能夠被歸一化。現在考慮一個新訊號<math>x_{new}(t)</math>與一個舊訊號<math>x_{old}(t)</math>，其中新訊號的平均時間與平均頻率皆為零，而舊訊號與新訊號的形狀一樣，但有特定的平均時間與平均頻率，即:

:<math>x_{old} (t) = e^{j\langle\omega\rangle t} x_{new} \left(t - \langle t\rangle \right)</math>

其中這個訊號的頻寬為:

:<math> \sigma_{\omega}^2 = \int |x'(t)|^2 dt</math> 

以及時間寬度為:

:<math> \sigma_t^2 = \int  t^2|x(t)|^2 dt</math>

兩者相乘為:

:<math> \sigma_t^2\sigma_{\omega}^2 = \int  |x'(t)|^2 dt \times \int  |tx(t)|^2 dt </math>

現在考慮[[柯西-施瓦茨不等式]],有:

:<math> \int |f(x)|^2dx\int |g(x)|^2dx \ge \left|\int f^*(x)g(x)dx\right|^2 </math>

若取 <math>f = tx(t)</math> 且 <math>g = x'(t)</math> 並搭配柯西-施瓦茨不等式就能把 <math> \sigma_t^2\sigma_{\omega}^2 = \int  |x'(t)|^2 dt \times \int  |tx(t)|^2 dt </math> 整理成:

:<math> \sigma_t^2\sigma_{\omega}^2 \ge \left|\int tx^*(t)x'(t)dt\right|^2 </math>

上式中的被積分函數 <math>tx^*(t)x'(t) = tA'A + jt\phi'(t)A^2 = \frac{1}{2} \frac{d}{dt}tA^2 - \frac{1}{2}A^2 + jt\phi'(t) </math>

上式第一項是[[全微分]]，[[積分]]為零。第二項積分後是1/2，第三項積分後是j乘上一個訊號的共變異數。所以:

:<math> \sigma_t^2\sigma_{\omega}^2 \ge \left|-\frac{1}{2}+jCOV\right|^2 = \frac{1}{4} + COV^2</math>

上式就是訊號分析當中推廣形式的測不準原理，故得證。若把上式中的 <math>COV^2</math> 略去，就能得到基本形式的測不準原理。

==基本範例==
===最小測不準乘積訊號===

得到了測不準原理的形式，接下來的問題是:甚麼樣的訊號能得到乘積的最小值1/2?在推導過程中可以發現，在柯西-施瓦茨不等式當中的兩個[[函數]]成正比時等號會成立，取 <math>g(x)=-cf(x)</math> ，其中c是任意常數，所以得到

:<math>-ctx(t) = x'(t)</math>

另外在測不準原理的推廣形式中有共變異數，為了消滅這一項，取 <math>c=c_1-jc_2</math> 再代入上式可得到解為:

:<math>x(t)=e^{-(c_1-jc_2)t^2/2}</math>

在將上式代入共變異數 <math>COV = \langle t\phi'(t)\rangle - \langle t\rangle \langle\omega\rangle </math> 而有:

:<math>COV =-\int tc_2t|x(t)|^2dt-\langle\omega\rangle \langle t\rangle =-c_2\int t^2e^{-c_1t^2}dt </math>

若能使上式為零，就能消滅共變異數這一項，明顯c必須是實數才能滿足。若c取a/2，則訊號為:

:<math>x(t)=(a/\pi)^{\frac{1}{4}}e^{-at^2/2}</math>

上式訊號的形式為平均時間與平均頻率皆為零的狀況，若訊號為任一特定的平均時間與平均頻率，則有:

:<math>x(t)=(a/\pi)^{\frac{1}{4}}e^{-a(t-\langle t\rangle )^2/2+j\langle\omega\rangle t}</math>

上式就是[[高斯函數]]，高斯函數的時間寬度與頻寬的乘積能達到最小，高斯函數也作為[[加伯轉換]]的[[窗函數]]，在[[時頻分析]]中具有重要的地位。

===正弦波調變===

現在對高斯函數進行正弦波[[調變]]，訊號為 <math>x(t)=(a/\pi)^{\frac{1}{4}}e^{-at^2/2+jm\sin\omega_mt+j\omega_0t}</math> ，其中有:

:<math>\langle t\rangle =\sqrt{\frac{a}{\pi}}\int te^{-a(t-t_0)^2}dt=t_0</math>

:<math>\langle t^2\rangle =\sqrt{\frac{a}{\pi}}\int t^2e^{-a(t-t_0)^2}dt=t_0^2+\frac{1}{2a}</math>

:<math>\sigma_t^2=\langle t^2\rangle -\langle t\rangle ^2=\frac{1}{2a}</math>

:<math>
\begin{align}
\langle\omega\rangle &=\int \omega|X(\omega)|^2d\omega=\int x^*(t)\frac{1}{j}\frac{d}{dt}x(t)dt\\
&=\sqrt{\frac{a}{\pi}}\int (jat+m\omega_m\cos\omega_m t+\omega_0)e^{-at^2}dt\\
&=m\omega_m e^{-\omega_m^2 /4a} +\omega_0
\end{align}
</math>

:<math>
\begin{align}
\langle \omega^2\rangle &=\int \omega^2|X(\omega)|^2d\omega\\
&=\int x^*(t)\left(\frac{1}{j}\frac{d}{dt}\right)^2x(t)dt\\
&=\int \left|\frac{d}{dt}x(t)\right|^2dt\\
&=\frac{a}{2}+\omega_0^2+2m\omega_m\omega_0 e^{-\omega_m^2/4a}+\frac{m^2\omega_m^2}{2}\left(1+e^{-\omega_m^2/a}\right)
\end{align}
</math>

:<math>\sigma_\omega^2=\langle \omega^2\rangle -\langle\omega\rangle ^2=\frac{a}{2}+\frac{m^2\omega_m^2}{2}\left(1-e^{-\omega_m^2/2a}\right)^2</math>

:<math>
\begin{align}
\sigma_t\sigma_\omega&=\sqrt{\frac{1}{2a}}\sqrt{\frac{a}{2}+\frac{m^2\omega_m^2}{2}\left(1-e^{-\omega_m^2/2a}\right)^2}\\
&=\frac{1}{2}\sqrt{1+\frac{m^2\omega_m^2}{a}\left(1-e^{-\omega_m^2/2a}\right)^2}
\end{align}
</math>

上式就是高斯函數加入正弦波調變後的測不準乘積。

==短時傅立葉轉換的測不準原理==
人們研究訊號特性經常使用的方法是在考慮的時間範圍內只取一小段訊號來分析，並且先忽略其他部分，還可以對那一小段的訊號進行傅立葉轉換來計算那段時間的頻率，這樣的訊號處理方式就叫作短時傅立葉轉換。現在就來分析這一小段時間的測不準原理與原訊號有甚麼關係?以及有甚麼樣的性質。

為了理解短時傅立葉轉換，先定義原訊號<math>x(t)</math>在極短時間內的形式，可以考慮一個窗函數乘上考慮的時間t的範圍，而且這個窗函數在時間t附近達到最大值，然後急速下降。所以用以下的方程式來定義短時間訊號:

:<math>\eta_t(\tau)=\frac{x(\tau)h(\tau-t)}{\sqrt{\int |x(\tau)h(\tau-t)|^2d\tau}}</math>

上式中的<math>h(t)</math>是窗函數，t為考慮的固定時間，<math>\tau</math>為執行時間。另外還讓上式歸一化:

:<math>\int |\eta_t(\tau)|^2d\tau=1</math>

現在讓這樣的短時間訊號作傅立葉轉換:

:<math>F_t(\omega)=\frac{1}{\sqrt{2\pi}}\int e^{-j\omega\tau}\eta_t(\tau)d\tau</math>

上式<math>F_t(\omega)</math>代表在時間t的[[頻譜]]含量，它可以拿來定義更多相關的量，例如平均時間、持續時間、頻寬。

對於一個與時間相關的訊號，平均時間和持續時間是:

:<math>
\langle\tau\rangle _t=\int \tau|\eta_t(\tau)|^2d\tau=\frac{\int \tau|x(\tau)h(\tau-t)|^2}{\int |x(\tau)h(\tau-t)|^2}
</math>

:<math>
T_t^2=\int (\tau-\langle t\rangle )^2|\eta_t(\tau)|^2d\tau=\frac{\int (\tau-\langle\tau\rangle _t)^2|x(\tau)h(\tau-t)|^2}{\int |x(\tau)h(\tau-t)|^2}
</math>

再來考慮平均頻率與頻寬:

:<math>
\langle\omega\rangle _t=\int \omega|F_t(\omega)|^2d\omega=\int \eta_t^*(\tau)\frac{1}{j}\frac{d}{d\tau}\eta_t(\tau)d\tau
</math>

:<math>B_t^2=\int (\omega-\langle\omega\rangle _t)^2|F_t(\omega)|^2d\omega</math>

===時間相關與窗函數相關的測不準原理===
現在可以寫出短時傅立葉轉換的測不準原理:

:<math>B_tT_t\ge\frac{1}{2}</math>

它與時間、訊號和窗函數相關，必須提醒的事情是它只對短時傅立葉轉換做出了限制，與原本訊號的測不準原理無關。可以預測，隨著窗函數變窄，<math>B_t\to\infty</math>。原訊號的測不準原理沒有變化，這是因為藉由加入窗函數而改變了它。

==參見==
{{portal box|數學|資訊科技}}
*[[測不準原理]]

==參考文獻==
*{{Cite book | author = L.科恩(白居宪譯) | title = 时-频分析:理论与应用 | publisher = 西安交通大学出版社 | date = 1998 | pages = 35-41 | ISBN = 9787560509587}}

[[Category:数字信号处理]]