応用数学において、信号の非一様離散フーリエ変換(NUDFTまたはNDFT )は、離散フーリエ変換または離散時間フーリエ変換に関連するフーリエ変換の一種ですが、入力信号は等間隔の点または周波数(またはその両方)でサンプリングされません。これは、シフトDFTの一般化です。信号処理、 [1]、磁気共鳴イメージング、[2]、偏微分方程式の数値解法で重要な用途があります。 [3]
非均一サンプリングの一般化されたアプローチとして、NUDFT を使用すると、任意の周波数で有限長信号の周波数領域情報を取得できます。NUDFT を採用する理由の 1 つは、多くの信号が周波数領域でエネルギーを非均一に分散していることです。したがって、非均一サンプリング方式は、多くのデジタル信号処理アプリケーションでより便利で有用です。たとえば、NUDFT は、ユーザーが制御できる可変スペクトル解像度を提供します。
意味
非一様離散フーリエ変換は、複素数の列を次のように定義される
別の複素数の列に変換する。


ここで、はサンプル点、は周波数です。 および の場合、式 ( 1 )は離散フーリエ変換に簡約されることに注意してください。 NUDFT には 3 つのタイプがあります。[4]これらのタイプは普遍的なものではなく、著者によってタイプが異なると番号が異なる場合があります。
![{\displaystyle p_{0},\ldots ,p_{N-1}\in [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b61b74955f5755d2a349348f1ebcfed5a193cf4)
![{\displaystyle f_{0},\ldots ,f_{N-1}\in [0,N]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05e82320ba259de7088896efc4210c8f20fd1cc5)


- 非一様離散フーリエ変換I型(NUDFT-I)は、一様サンプル点を使用するが、非一様(非整数)周波数を使用する。これは、等間隔の点で一般化フーリエ級数を評価することに相当する。これは、NDFT [5]または順方向NDFT [6] [7]としても知られている。


- 非一様離散フーリエ変換II型(NUDFT-II)は、一様(つまり整数)周波数を使用するが、サンプル点は非一様である。これは、不等間隔の点でフーリエ級数を評価することに相当する。これは、随伴NDFTとしても知られている。[7] [6]


- タイプ III の非一様離散フーリエ変換 (NUDFT-III) は、非一様サンプル ポイントと非一様周波数の両方を使用します。これは、非等間隔のポイントで一般化フーリエ級数を評価することに相当します。NNDFT とも呼ばれます。


同様のNUDFTのセットは、式( 1 )のを代入することによって定義できます。ただし、均一な場合とは異なり、この代入は逆フーリエ変換とは無関係です。NUDFTの逆変換は別の問題であり、以下で説明します。


多次元NUDFT
多次元NUDFTは、複素数の次元配列を、次のように定義される
別の複素数の次元配列に変換します。




ここで、はサンプル点、は周波数、およびは0からまでのインデックスの次元ベクトルです。タイプI、II、IIIの多次元NUDFTは、1Dの場合と同様に定義されます。[4]![{\displaystyle \mathbf {p} _{\mathbf {n} }\in [0,1]^{d}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d59d715079e5ed1d113072f3599e2d5be0657566)
![{\displaystyle {\boldsymbol {f}}_{\mathbf {k} }\in [0,N_{1}]\times [0,N_{2}]\times \cdots \times [0,N_{d}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63a4cd05cf653f6cd7a9801ecc4e93cf8eb0d779)



NUDFT-IはZ変換として表現できる。[8]長さのシーケンスのNUDFT-Iは
![{\displaystyle x[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/864cbbefbdcb55af4d9390911de1bf70167c4a3d)

![{\displaystyle X(z_{k})=X(z)|_{z=z_{k}}=\sum _{n=0}^{N-1}x[n]z_{k}^{ -n},\quad k=0,1,...,N-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fe5ac1e2ac8ef34f992d2635440ae2a24d76696)
ここで、は の Z 変換であり、は z 平面上の任意の異なる点です。サンプリング ポイントが単位円上に等間隔の角度で配置されている場合、NUDFT は DFT に簡約されることに注意してください。

![{\displaystyle x[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/864cbbefbdcb55af4d9390911de1bf70167c4a3d)

上記を行列で表すと、

どこ
![{\displaystyle \mathbf {X} ={\begin{bmatrix}X(z_{0})\\X(z_{1})\\\vdots \\X(z_{N-1})\end{bmatrix }},\quad \mathbf {x} ={\begin{bmatrix}x[0]\\x[1]\\\vdots \\x[N-1]\end{bmatrix}},{\text{ and}}\quad \mathbf {D} ={\begin{bmatrix}1&z_{0}^{-1}&z_{0}^ {-2}&\cdots &z_{0}^{-(N-1)}\\1&z_{1}^{-1}&z_{1}^{-2}&\cdots &z_{1}^{-(N-1)}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&z_{N-1}^{-1}&z_{N-1}^{ -2}&\cdots &z_{N-1}^{-(N-1)}\end{bmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b627c3540ebfef4009a515c62a71d1b6469d92d8)
NUDFT-Iの直接反転
ご覧のとおり、NUDFT-I は によって特徴付けられ、したがって点 によって特徴付けられます。 をさらに因数分解すると、点が別個であれば は非特異であることがわかります。 が非特異である場合、次のように一意の逆 NUDFT-I を取得できます。






。
が与えられれば、ガウス消去法を使って を解くことができます。しかし、この方法の複雑さは です。この問題をより効率的に解くために、まず多項式補間によって直接決定します。




。
次に、上記の補間多項式の係数を示します。
![{\displaystyle x[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/864cbbefbdcb55af4d9390911de1bf70167c4a3d)
次数のラグランジュ多項式として表すと、


![{\displaystyle X(z)=\sum _{k=0}^{N-1}{\frac {L_{k}(z)}{L_{k}(z_{k})}}{\hat {X}}[k],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/818367ac2c772673954ae30bd52912d98a888d0a)
基本多項式は
次のとおりです。
。
ニュートン補間法で
表すと、

ここで、 はに関する の番目の階の差商です。


![{\displaystyle {\hat {X}}[0],{\hat {X}}[1],...,{\hat {X}}[j]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f5aafe4831831e302b27a4167c2444136e4305c)

![{\displaystyle c_{0}={\hat {X}}[0],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/704f29fdd121aa0c49e349a25c89e8781ce82f34)
![{\displaystyle c_{1}={\frac {{\hat {X}}[1]-c_{0}}{1-z_{0}z_{1}^{-1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4834a73bfcc8e4c746e161d87386764c672da0aa)
![{\displaystyle c_{2}={\frac {{\hat {X}}[2]-c_{0}-c_{1}(1-z_{0}z^{-1})}{(1 -z_{0}z_{2}^{-1})(1-z_{1}z_{2}^{-1})}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57f5093afbea6756f45742e7106bb8cecc2522f4)

ラグランジュ表現の欠点は、追加ポイントが含まれると補間多項式の次数が上がり、すべての基本多項式を再計算する必要が生じることです。ただし、ニュートン表現に含まれる追加ポイントには、さらに 1 つの項を追加するだけで済みます。
下三角法を使って解くことができます:


どこ
![{\displaystyle \mathbf {X} ={\begin{bmatrix}{\hat {X}}[0]\\{\hat {X}}[1]\\\vdots \\{\hat {X}}[N-1]\end{bmatrix}},\quad \mathbf {c} ={\begin{bmatrix}c_{0}\\c_{1}\\\vdots \\c_{N-1}\end{bmatrix}},{\text{ および}}\quad \mathbf {L} ={\begin{bmatrix}1&0&0&\cdots &0\\1&(1-z_{0}z_{1}^{-1})&0&\cdots &0\\1&(1-z_{0}z_{2}^{-1})&(1-z_{0}z_{2}^{-1})(1-z_{1}z_{2}^{-1})&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&(1-z_{0}z_{N-1}^{-1})&(1-z_{0}z_{N-1}^{-1})(1-z_{1}z_{N-1}^{-1})&\cdots &\prod _{k=0}^{N-2}(1-z_{k}z_{N-1}^{-1})\end{bmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/528c94a15cfcea3c03d357a7339f4d69be388669)
上記の式により、は操作内で計算できます。このように、ニュートン補間はラグランジュ補間よりも効率的ですが、後者は次のように変更する必要があります。


。
式(1)を単純に適用するとNUDFTを計算するアルゴリズムが得られるが、高速フーリエ変換(FFT)に基づくアルゴリズムも存在する。このようなアルゴリズムはNUFFTまたはNFFTと呼ばれ、オーバーサンプリングと補間、[9] [10] [11] [12]最小最大補間、[2]および低ランク近似に基づいて開発されている。[13]一般に、NUFFTは、非一様問題をFFTを適用できる一様問題(または一様問題のシーケンス)に変換することでFFTを活用する。[4] NUFFTを実行するためのソフトウェアライブラリは、1D、2D、および3Dで利用できる。[7] [6] [14] [15] [16] [17]
アプリケーション
NUDFT の用途は次のとおりです。
参照
参考文献
- ^ Bagchi, Sonali; Mitra, Sanjit K. (1999).非一様離散フーリエ変換と信号処理におけるその応用。ボストン、マサチューセッツ州: Springer US。ISBN 978-1-4615-4925-3。
- ^ ab Fessler, JA; Sutton, BP (2003 年 2 月). 「最小最大補間を使用した非一様高速フーリエ変換」. IEEE Transactions on Signal Processing . 51 (2): 560–574. Bibcode :2003ITSP...51..560F. doi :10.1109/TSP.2002.807005. hdl : 2027.42/85840 .
- ^ Lee, June-Yub; Greengard, Leslie (2005 年 6 月). 「タイプ 3 非一様 FFT とその応用」. Journal of Computational Physics . 206 (1): 1–5. Bibcode :2005JCoPh.206....1L. doi :10.1016/j.jcp.2004.12.004.
- ^ abc Greengard, Leslie; Lee, June-Yub (2004年1月). 「非一様高速フーリエ変換の高速化」. SIAM Review . 46 (3): 443–454. Bibcode :2004SIAMR..46..443G. CiteSeerX 10.1.1.227.3679 . doi :10.1137/S003614450343200X.
- ^ ゲルリンド・プロンカ;ポッツ、ダニエル。Steidl, ガブリエレ;マンフレッド・タッシェ (2019)。数値フーリエ解析。ビルクホイザー。土井:10.1007/978-3-030-04306-3。ISBN 978-3-030-04306-3。
- ^ abc PyNUFFT サービス。「PyNUFFT の基本的な使用方法 — PyNUFFT 2023.2.2 ドキュメント」。pynufft.readthedocs.io 。2024年2 月 27 日閲覧。
- ^ abc The Simons Foundation. 「変換の数学的定義 — finufft 2.2.0 ドキュメント」. finufft.readthedocs.io . 2024年2月27日閲覧。
- ^ Marvasti, Farokh (2001).非均一サンプリング:理論と実践ニューヨーク:Springer. pp. 325–360. ISBN 978-1-4615-1229-5。
- ^ Dutt, Alok (1993 年 5 月). 非等間隔データの高速フーリエ変換(PDF) (PhD). イェール大学.
- ^ Dutt, Alok; Rokhlin , Vladimir (1993 年 11 月)。「非等間隔データの高速フーリエ変換」。SIAM Journal on Scientific Computing。14 ( 6): 1368–1393。Bibcode : 1993SJSC ...14.1368D。doi : 10.1137/0914081。
- ^ Potts, Daniel; Steidl, Gabriele (2003 年 1 月)。「NFFT による非等間隔ノットの高速合計」。SIAM Journal on Scientific Computing。24 ( 6): 2013–2037。Bibcode : 2003SJSC ...24.2013P。doi : 10.1137/S1064827502400984 。
- ^ Boyd, John P (1992年12月). 「不規則グリッドへのチェビシェフ、フーリエ、シンク補間の高速アルゴリズム」(PDF) . Journal of Computational Physics . 103 (2): 243–257. Bibcode :1992JCoPh.103..243B. doi :10.1016/0021-9991(92)90399-J. hdl : 2027.42/29694 .
- ^ Ruiz-Antolín, Diego; Townsend, Alex (2018年2月20日). 「低ランク近似に基づく非一様高速フーリエ変換」(PDF) . SIAM Journal on Scientific Computing . 40 (1): A529–A547. arXiv : 1701.04492 . Bibcode :2018SJSC...40A.529R. doi :10.1137/17M1134822. hdl :10902/13767.
- ^ 「NUFFT ページ」. cims.nyu.edu .
- ^ 「NFFT」。www.nfft.org。
- ^ 「MikaelSlevinsky/FastTransforms.jl」。GitHub 。 2019年2月13日。
- ^ “chebfun/chebfun”. GitHub . 2019-02-07.
外部リンク
- 非一様フーリエ変換: チュートリアル。
- NFFT 3.0 – チュートリアル
- NUFFT ソフトウェア ライブラリ