The Momentary Fourier Transformation Derived from Recursive Matrix Transformations
Sandor Albrecht, Ian Cumming and József Dúdás
Dept. of Electrical and Computer Engineering
The University of British Columbia
Vancouver, BC, Canada V6T 1Z4.
Presented at the 13th International Conference on Digital Signal Processing, Santorini, Greece, July 2-4, 1997. Published on pages 337-340 of the proceedings.
The momentary Fourier transform (MFT) computes the DFT of a discrete-time sequence for every new sample of the sequence. It has an efficient recursive form, and an alternate derivation is given using matrix transformations. Recursive and non-recursive forms of the inverse MFT are also given, which can provide efficient frequency domain filtering.
2. Momentary matrix transformation
2.1 The recursive form of the MMT
3. Momentary Fourier Transform
4. The Inverse MFT
5. Usage of the MFT
5.1 Example of MFT usage
5.2 Computing efficiency
The momentary or moving Fourier transform (MFT) is a method of computing the discrete Fourier transform (DFT) of a sequence in incremental steps. It can be computed using an efficient recursive formula, and it is useful in cases where the detailed evolution of the spectra of a time series is wanted, and in cases where only a few Fourier coefficients are needed.
Uses of the incremental DFT were introduced by Papoulis in 1977 , and by Bitmead and Anderson in 1981 . A detailed derivation of the momentary Fourier transform was given by Dudás in 1986 . In 1991, Lilly gives a similar derivation, using the term "moving Fourier transform", and uses the MFT for updating the model of a time-varying system .
In this paper, we introduce the matrix form of the momentary transform in Section 2, and show that it has a recursive form. In Section 3, we show that when the momentary matrix transform takes the form of the discrete Fourier transform, the resulting MFT has an efficient (recursive) computational structure. In Section 4, the inverse MFT is derived for the first time. An example of the use of the MFT and a discussion of its computational efficiency is given in Section 5.
Let xi be a sample of an arbitrary discrete-time function of one variable. The function will be analyzed through an N-point window, ending at the current time i. In subsequent analyses, the window will be advanced one sample at a time, as shown in Figure 1.
Figure 1: The sampled function xi
At times i-1 and i, the windowed samples can be represented by the column vectors:
Let T be an N´N non-singular transformation matrix, which has the inverse T-1. The sequence of windowed vectors can be transformed by T:
yi-1 = Txi-1 ,
Let P be an N´ N elementary cyclic permutational matrix:
When the vector xi-1 is premultiplying by P, a one-element circular shift is performed, such that the time index of each element is increased by one, and the first element becomes the last one:
Then the xi vector can be expressed by the shifted xi-1 vector, with an adjustment Di made for the samples entering and leaving the window:
The transformation TP will be called the momentary matrix transform (MMT) because it represents the matrix transform T shifted one moment (i.e. one sample) in time.
2.1 The Recursive Form of the MMT
Substituting (6) into the transformation associated with the ith window in (2), the following relationships are obtained:
where use is made of the inverse transform xi-1 = T-1 yi-1.
Equation (8) expresses the recursivity of the momentary matrix transforms, since calculation of the newly transformed index vector yi needs the previously transformed index vector yi-1 and the difference between the function values of the samples entering and leaving the window. The MMT is particularly efficient if the similarity matrix P'=TPT-1 is diagonal.
3 MOMENTARY FOURIER TRANSFORM
An interesting case is when the matrix transform T performs the Discrete Fourier Transform (DFT). When
Wk = e-j2 p k/N ,
are the N complex roots of unity (the DFT twiddle factors), the DFT can be written as the matrix transform:
and the inverse DFT is implemented by the matrix transform:
It can be shown that the similarity transform has the desired diagonal form:
so that the momentary Fourier transform (MFT) has the efficient recursive form:
To get (13), note that , which means that:
It can be shown that the DFT is the only matrix transformation which possesses the diagonal form (12).
The N-element vector yi contains the Fourier coefficients of the N-point sequence xi ending at time i. Note that while the vectors xi-1 and xi share N-2 common elements, the vectors yi-1 and yi share no common elements in general.
Note also that in the incremental form (13), each spectral component yi,k at time i is computed only from the same spectral component at time i-1,
so that the recursive formula is particularly efficient if only a few frequency components need to be computed, as in the zoom transform.
Thus we see that if the DFT of the sequence [xi-N…xi-1] has been computed, the DFT of the sequence [xi-N+1…xi] can be computed using N complex multiplies and N+1 complex adds (the obvious computational savings are available if the time sequence is real-valued). Because of the diagonal structure of TPT-1, the MFT can also be efficiently computed for shifts q>1 , but its efficiency drops relative to the FFT, as the computation load is O(qN) (see Section 5.2).
4 THE INVERSE MFT
The matrix transformation equations lead to an efficient recursive implementation of the inverse momentary Fourier transform as well. Starting with the matrix form of the inverse DFT:
note that for a recursive calculation, only the last element of xi need be calculated at the current time. This involves only the last row of the matrix T-1 in (11) so that:
and the obvious recursion exists:
This recursion requires N complex multiplies and N+1 complex adds for each new output point.
Note also that in the non-recursive form (16), the oldest element of xi, can be computed using adds only:
from which the sequence xi can be computed from the 2-dimensional "sequence" yi with an N-1 sample delay. In this way the MFT/IMFT combination (15),(19) can provide an efficient frequency-domain filter, especially if many of the DFT coefficients are set to zero by the filtering operation.
5 USAGE OF THE MFT
5.1 Example of MFT Usage
To illustrate the usage of the incremental form of the MFT, a complex exponential of length 3N samples is used. Using an analysis record length of N = 30, and a frequency of 20 cycles/record, the magnitude of the evolving spectrum is shown in Figure 2, when the MFT is incremented by one sample at each analysis stage.
Figure 2: Illustration of MFT usage
The MFT begins with the initial conditions of y0 = 0. This is equivalent to having N zeros precede the data vector. In Figure 2, note how the energy in the spectrum rises from zero to a maximum in the first N samples. Also note how spectral leakage is observed in the first N-1 time samples, because the complex exponential does not have an integer number of cycles/record over this time. After time N-1, there is an integer number of cycles/record, so all the energy in the spectrum lies in one bin. For the last N-1 samples in Figure 2, leakage occurs again, and the spectral energy decays to zero.
In Figure 3, an example of speech analysis is given. An 72-point DFT is used, and the MFTs are spaced by 14 samples. The speech is a 0.275 s record of the word "pipe".
Figure 3: Speech analysis using the MFT
5.2 Computing Efficiency
Consider the case where N-point DFTs are used to analyze an Nu-point complex-valued data record. If the input data is shifted by q samples between each DFT application, where , then DFTs are needed to spectrum analyze the record. It is assumed that the coefficients are precomputed and stored.
Then, when radix-2 FFTs are used to analyze the data,
are needed. It can be shown that in the case of the MFT, the number of real operations needed are:
where N1 is the number of DFT coefficients that are to be computed, .
Figure 4: Comparison of MFT and FFT arithmetic.
This computing load is illustrated in Figure 4, for the case of Nu = 1024, N = 64, and N1 = 4 & 64. The FFT is quite efficient if the shift increment q > N / 4, but is very inefficient if the shift between FFTs is only a few samples. In contrast, the MFT is very efficient compared to the FFT if the shift between samples is small, but its relative efficiency drops as the shift q increases. The efficiencies of the FFT and the full MFT are approximately the same when q = 4. However, if only a few DFT coefficients are needed (e.g. N1 = 4), the reduced MFT is very efficient, even for large values of shift between DFTs. Similar conclusions are reached with different values of N and Nu. Note also that:
As a second example of efficiency, consider an N-point frequency domain filter applied with a fast convolution. The filter is applied with a forward FFT (or MFT), an array multiply, then an inverse FFT (or MFT). The comparison of efficiencies is shown in Figure 5. If the full MFT is used to compute all the DFT coefficients, then the FFT is more efficient. But if only a subset of the DFT coefficients need be computed, the MFT/IMFT option can be more efficient for many values of N.
Figure 5: Efficiency comparison in fast convolution
The momentary or moving Fourier transform has been derived using a matrix formulation of the DFT, and an incremental form has also been given. The incremental or recursive form is particularly efficient when successive DFTs with a high overlap ratio is to be computed, or when only a few DFT coefficients are needed. Recursive and non-recursive inverse MFTs have also been derived, including a non-recursive form which requires only additions to obtain the time sequence.
The authors would like to thank Dr. József Dúdás for introducing them to the momentary Fourier transform. Financial support from the NSERC/MDA Industrial Research Chair in Radar Remote Sensing is gratefully acknowledged.
 A. Papoulis, Signal Analysis. McGraw-Hill, 1977
 R. R. Bitmead and C. D. O. Anderson, "Adaptive frequenct sampling filters," IEEE Trans. On Circuits and Systems, vol. CAS-28, pp. 524-534, June 1981.
 J. Dúdás, The Momentary Fourier Transform. PhD thesis, Technical University of Budapest, 1986.
 J. H. Lilly, "Efficient DFT-based model reduction for continuous systems," IEEE Trans. On Automatic Control, vol. 36, pp. 1188-1193, Oct. 1991
 B. G. Sherlock and D. M. Monro, "Moving discrete Fourier transform," IEE Proceedings-F, vol. 139, pp. 279-282, Aug. 1992.
Last updated: 27th March 1998 by Ian Cumming.