出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/22 09:04 UTC 版)
ウィグナー分布関数の性質
ウィグナー分布関数には、以下のような特徴的性質がある。
- Projection property
![\begin{align}
|x(t)|^2 &= \int_{-\infty}^\infty W_x(t,f)\,df \\
|X(f)|^2 &= \int_{-\infty}^\infty W_x(t,f)\,dt
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/e57742175533a79f0b74999ca08c58356784e466)
- Energy property
![\int_{-\infty}^\infty \int_{-\infty}^\infty W_x(t,f)\,df\,dt = \int_{-\infty}^\infty |x(t)|^2\,dt=\int_{-\infty}^\infty |X(f)|^2\,df](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e54122e4897e951c006a9dc7428cd6291f8043)
- Recovery property
![\begin{align}
\int_{-\infty}^\infty W_x\left(\frac{t}{2}, f\right) e^{i2\pi ft}\,df &= x(t)x^*(0) \\
\int_{-\infty}^\infty W_x\left(t, \frac{f}{2}\right) e^{i2\pi ft}\,dt &= X(f)X^*(0)
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/1555938f49eebd87878f15a932d5b71b21cc0233)
- Mean condition frequency and mean condition time
![\begin{align}
X(f) &= |X(f)|e^{i2\pi\psi(f)},\quad x(t)=|x(t)|e^{i2\pi\phi(t)}, \\
\text{if } \phi'(t) &= |x(t)|^{-2}\int_{-\infty}^\infty fW_x(t,f)\,df \\
\text{ and } -\psi'(f) &= |X(f)|^{-2}\int_{-\infty}^\infty tW_x(t,f)\,dt
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/99977bce79f4641d33036373e357a4adc6f4dbd3)
- Moment properties
![\begin{align}
\int_{-\infty}^\infty \int_{-\infty}^\infty t^nW_x(t,f)\,dt\,df &= \int_{-\infty}^\infty t^n|x(t)|^2\,dt \\
\int_{-\infty}^\infty \int_{-\infty}^\infty f^nW_x(t,f)\,dt\,df &= \int_{-\infty}^\infty f^n|X(f)|^2\,df
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/5441ba94dd8d188b4829f8bd7159d5fd23be263e)
- Real properties
![W^*_x(t, f) = W_x(t, f)](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/cba0f265de932bfd10f2fc79326daf968d54a10e)
- Region properties
![\begin{align}
\text{If } x(t) &= 0 \text{ for } t > t_0 \text{ then } W_x(t, f) = 0 \text{ for } t > t_0 \\
\text{If } x(t) &= 0 \text{ for } t < t_0 \text{ then } W_x(t, f) = 0 \text{ for } t < t_0
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/e3790b50352c836b1d056856bfbced2adc896854)
- Multiplication theorem
![\begin{align}
\text{If } y(t) &= x(t)h(t) \\
\text{then } W_y(t,f) &= \int_{-\infty}^\infty W_x(t,\ rho)W_h(t, f-\rho)\,d\rho
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/2ad72c1cf819f6513d28dc843402a4e6171ac391)
- Convolution theorem
![\begin{align}
\text{If } y(t) &= \int_{-\infty}^\infty x(t - \tau)h(\tau)\,d\tau\\
\text{then } W_y(t, f) &= \int_{-\infty}^\infty W_x(\rho, f)W_h(t - \rho, f)\,d\rho
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/1e2085747ff4185b3f4aca292d0ab07261320802)
- Correlation theorem
![\begin{align}
\text{If } y(t) &= \int_{-\infty}^\infty x(t + \tau)h^*(\tau)\,d\tau\text{ then } \\
W_y(t, \omega) &= \int_{-\infty}^\infty W_x(\rho,\omega)W_h(-t + \rho, \omega)\,d\rho
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/8c12cc86f370032eea1191b8a0e668b242ac75dc)
- Time-shifting covariance
![\begin{align}
\text{If } y(t) &= x(t - t_0) \\
\text{then } W_y(t,f) &= W_x(t - t_0, f)
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/5bef6c3d4b3a28e16a770b7b808ce1dcf60c7e22)
- Modulation covariance
![\begin{align}
\text{If } y(t) &= e^{i2\pi f_0t}x(t) \\
\text{then } W_y(t, f) &= W_x(t, f - f_0)
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/a330d1ac1388ba967ca786e0bf28467fdeb7bf7f)
- Scale covariance
![\begin{align}
\text{If } y(t) &= \sqrt{a} x(a t) \text{ for some } a > 0 \text{ then }\\
\text{then } W_y(t, f) &= W_x(at, \frac{f}{a})
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/9ed682aeb687d64fc6822d8b96b10df2fd052832)