|
This article is about the discrete Fourier transform (DFT) over any ring, commonly called a number-theoretic transform (NTT) in the case of finite fields. For specific information on the discrete Fourier transform over the complex numbers, see discrete Fourier transform. ==Definition== Let be any ring, let be an integer, and let be a principal ''n''th root of unity, defined by:〔Martin Fürer, "(Faster integer multiplication )", STOC 2007 Proceedings, pp. 57–66. Section 2: The Discrete Fourier Transform.〕 * * for The discrete Fourier transform maps an n-tuple of elements of to another n-tuple of elements of according to the following formula: : By convention, the tuple is said to be in the ''time domain'' and the index is called ''time''. The tuple is said to be in the ''frequency domain'' and the index is called ''frequency''. The tuple is also called the ''spectrum'' of . This terminology derives from the applications of Fourier transforms in signal processing. If is an integral domain (which includes fields), it is sufficient to choose as a primitive ''n''th root of unity, which replaces the condition (1) by:〔 : for Proof: take with . Since , , giving: : where the sum matches (1). Since is a primitive root of unity, . Since is an integral domain, the sum must be zero. ∎ Another simple condition applies in the case where ''n'' is a power of two: (1) may be replaced by .〔 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Discrete Fourier transform (general)」の詳細全文を読む スポンサード リンク
|