Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1, FEBRUARY 1980 55
Fourier Analysis
MICHAEL R. PORTNOFF, MEMBER, IEEE
0 1980 IEEE
0096-3518/80/0200-0055$00.75
56 IEEE TRANSACTIONS OM ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL. ASSP-28, NO. I , FEBRUARY 1980
tion that the entire signal must be known in order to obtain its Because Fourier transforms with respect to one, or the other,
transform. Moreover, the Fourier transform does not provide or both, of the indices of such two-dimensional sequences fre-
an adequate representation for linear time-varying systems, nor quently arise in this context, the defhition and notation for
does it always provide an intuitively meaningful representation such transforms will now be formalized. Let f(a, m ) denote a
for the output of such systems. two-dimensional discrete-time sequence. The complete
This paper is divided into two parts. Part I formulates a Fourier transform of f ( n , m), denoted F ( $ , a),is defmed as
time-frequency representation for signals and linear time- the (usual) two-dimensional Fourier transform
varying systems that characterizes their local behavior in terms 00 00
of complex exponentials. The representation of linear time-
varying systems is based on the time-varying frequency re-
sponse 141-[7] , which is a generalization of the frequency
response (3) for linear timeinvariant systems. The time- with inverse transform
frequency representation for signals is based on the short-time
Fourier transform [3] -1211 , which is a formal repmentation
for the output of a filter-bank spectrum analyzer or, equiva-
lently, the usual Fourier transform of the signal viewed through
a sliding time window, The results derived here are of interest
both as a theoretical representation for time-varying systems The partial Fourier transform of f ( n , m), with respect to its
and signals and because they provide techniques applicable first argument, denoted F 1($, m ) is defined as the one-
to a variety of signal processing problems. dimensional Fourier transform off(n, rn)over n, that is,
On a digital processor, in order to realize a signal processing OQ
Qo 00
58
1
X&, a)exp [jmm] dw = x(n, m)
2.rr
-
Thus, not only can the signal x@) be recovered from the
m=n
short-the Fourier transform by evaluating (30) for n = m, but
@I the analysis window h(n) can also be recovered, to within the
Fig. 1. (a) Time-reversed and shifted analysis window h (n - m) superim- multiplicative constant x@), by evaluating (30) for rn = 0. In
posed on data x@). (b) Short-time sequence x(n,rn)=h(n - m ) x ( m )
for a particular value of n. addition to the convolutional structure of (26), X&, a)also
exhibits a convolutional structure when expressed in terms of
e-jwn
the Fourier transforms of h(n) and x(n). Replacing h(n - rn)
in (26) by its Fourier integral representation and simplifying
x(n 1 --&g- X,(n,wl
gives Xz(n,u)as the frequency domain convolution
1 oc1
Since x@) is the inverse Fourier transfunn of X(&): where F l ( w , n) depends on the analysis window and remains
to be determined. Equation (39) can be simplified by per-
forming the integration with respect to c3 to obtain
synthesis equation (25) and relies on the introduction of a x(n) = f ( n ,n - r) h(r - n) x(n)
synthesis window (or, equivalently, a synthesis filter), the new
synthesis equation will be motivated by a heuristic argument
and the synthesis equations (25), ( 3 9 , and (37) will be shown
to be special cases. The general synthesis equation will then
be proved fox a general set of analysis and synthesis filter pairs,
and equivalent interpretations will. be offered in terms of the = x@)
60 IEEE TRANSACTIONS ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL, ASSP-28, NQ. 1, FEBRUARY 1980
if and only if
00
lar choice sf analysis window depends on the data to be ana-
z] f(n, -m) h(m) = 1 fur all n, (43) lyzed 1231, 11243. In addition, both the analysis and synthesis
windows can be allowed to be functions of frequency for such
techniques as constant-Q analysis [25] , [26] These foxmula-
+
or equivalently, if and only if tions are more general than required for many applications and
will not be pursued here. Furthermore, for the remainder of
(44) this paper, only time-invariant synthesis filters f ( n , rn)=f(m)
will be considered. Thus, the synthesis formula (40) reduces to
The synthesis procedure, implied by (40), has two interpre- m o o
tations depending an t h e interpretation of the short-time x@) = -
1
2.rr
f
-m y=-oo
f(n - r) X&, o)exp [ j m ] dccl (48)
Fourier transform. If X2(n,a)is interpreted as a set (indexed
y =-CQ
PURTNQFF: TIME-FREQUENCY REPRESENTATION OF DIGITAL SIGNALS 61
then
06
y(n) = T(n, m ) x ( n - m)
I
m
and corresponds to t h e response, to x@), of the linear time-
varying system with the unit-sample response F(n, rn)given by (a)
00 n
= f(n - r ) h ( r - m )
Thus, the unit-sample response t(n, m) is windowed by h(m)
1 a W in the m direction and smoothed by f ( n ) in the y1 direction.
Equivalently, the time-varying frequency response T2(n,o)is
smoothed by H ( a ) in G, and by f ( n ) in n. In the limit,f(n)
00 00 can be chosen asf(n) = S(n) so that ?(n5 m) becomes (exactly)
= f ( n - r) h(r - m) t(r, n - m ) x(m). q n ,m) = t ( n , m ) h(m). (54)
Letting m' = n - m and Y' = n - P gives The second case is complementary to the first. Namely, a
linear time-varying filter with arbitrary frequency variation in
c3 can be implemented by designing the synthesis windowf(n)
Qo M
= f(m)h(m - r) t ( n - r, m)
y =--00
00
= h(m - n 4- r) t(r, m ) f ( m )
(57)
In this case, t(n, m ) is windowed by f ( m ) in m and smoothed
by h ( - n ) in P I , but an additional smearing is intmduced
because the convolution of (57) is evaluated for (n - m) rather
than n . In the limit, f ( n ) can be chosen as unity and T(n, m )
becomes (exactly)
00
X&R, kSlM)= h(sR - m)x(m)exp [-ji&kmf
A . Implementation of the Short-Time Fuurier Analyzer the resulting signals. Clearly, this procedure could be imple-
If the number of frequency samples M is chosen to be a mented directly [ 111 ; however, it is computationally intracta-
ble fur large values of the transform size M .
highly composite number (usually an integral power of Z),
A synthesis procedure can be formulated, which, for a
then the FFT algorithm can be employed to compute effi-
highly composite number M , permits y ( n ) to be computed
ciently the short-time Fourier transform X&] defined by
from the samples Yk [sR]using the FFT algorithm [ 123. In
(70). Because (70) does not have the form of a discrete
addition to the computational savings afhrded by ernploy-
Fourier transform (DFT), it cannot be directly computed
ing the FFT, the number of computations required to perform
with the FFT algorithm. The limits on the summation are
the 1: R interpolation is reduced by the factor M .
given as infinite, but in practice are finite and determined by Assume that f ( n ) is the unit-sample response of a : R FIR
the length of h(n), By recognizing X k [n] for f x e d n , as
interpolating filter with length 2Q.R -t 1. The synthesis for-
samples equally spaced in frequency, of the (continuously
mula (76) then becomes
valued) partial Fourier transform of x (m)h (n - m ) , X k [ n ]
(71) where the limits on the inner sum, determined by the length
of f ( n ) , are
where sm[n] is the aliased short-time sequence L+(n) = [n/R1 t- Q
Qo
(73)
y n [sR] =--x-1 M-1
Ax Y,[sR] wn/f
PZk
m=O
Thus, for fixed values sf s, y n [sR]is the inverse partial DFT
where of Y k [sR] with respect to k , and can, therefore, be computed
using the FFT algorithm. It is important to observe thaty, [sR]
is periodic in yk with period M . Since the FFT only computes
and ((n))M denotes % reduced modulo M. Although (72)-
values of y , [sR] for one period (E = 0, 1, - M - l), the
9
(74) provide a convenient formulation for implementation
subscript r~ in (79) and (80) is interpreted as reduced modulo
[ 113, [ 3 21, (73) is, in fact, just the discrete Fourier transform
M. Equation (74) is the discrete short-time Fourier transform
formulation of (27) where x, [n] is the aliased short-time
formulation of (47a) for a time-invariant synthesis filter?
function
4For the implementation of (791, Crochiere has observed [ 271 that,
(75) for R < M , a savings in storage over that required by helical interpala-
tion [ 111 can be achieved by first computing the short-time sequence
rl&q =f(n- W Y , [ 4
B. Implementation of the Short-Time Fuurier Synthesizer and then projecting it to obtain
Let Y k[sR]denote the samples of data available to the syn- L
thesizer and let y ( n ) denote the time sequence to be synthe- y W = Qn.[W.
sized. The discrete short-time Fourier synthesis formula S = Id--
PORTNOFF: TIME-FREQUENCY REPRESENTATION OF DIGITAL SIGNALS 65
= f(n-sR)h(sR - m )
frequency must be sufficiently high tu prevent aliasing in
either time or frequency.
1
I
M-1
- -
It----
.or
is band limited in I) and time limited in m so that t(n, m)
can be represented, without aliasing, by samples of T2(n,a). 00
*y
q n - sR ) h @ R - n + m )
1 M-1 00
4 t(sR,m - p M ) .
Thus, ?(n, m) corresponds to the overall unit-sample response
of the system depicted in Fig. 8.
Thus, The conditions on 'the filters and sampling rates, such that
Y
ob 00
The overlap-save method results for
hence
t \ \
Fig* 10. (a) Filter-bank analog fur the conventional method of fast convolution. (b) Filter-bank analog fox the short-
time Fourier transform method of fast convolution.
Fourier transforms based on Gaussian analysis windows, in Rec. Michael R. Portnoff (S69-M77) was born in
1979 IEEE Int* Cunc Acoust., Speech, Signa2 &messing, Wash- Newark, NJ, on July 1,1949. He was educated
ington, DC,Apr. 1979, pp. 186-189. at the Massachusetts Institute of Technology,
T. G . Stockham, Jr., High-speed convolution and correlation, Cambridge, MA, receiving the S.B., S.M., and
in 1966 Conf. Proe, AFIPS Spnng Joaizt Cornput. Con$ Re- E.E. degrees in electrical science and engineer-
printed in Digital Signal Processing, L.R. Rabiner and C. M, ing in 1973, and the Sc.D. degree in electrical
Rader, Ed. New York: XEEE Press, 1972, engineering and computer science in 1978.
C. R. Patisaul and J , C. Hammett, Jr., Timefrequency resolu- From 1969-1971, he was a cooperative
tion experiment in speech analysis and synthesis, J. Acotrst. student a t Bell Telephone Laboratories, Inc.
SQC.Arner,, vol. 5 8 , pp, 1296-1307,Dec, 1975. From 1971-1978, he was a Research Assistant
R. J. Wang, Optimum window length for the measurement of in the M.I.T. Research Laboratory of Elec-
time-varying power spectra, J, Acoust. Soc, Amer., vol. 52, tronics, Digital Signal Processing Group, and a Teaching Assistant in
part 1, pp. 33-38, Jan, 1972. the M.I.T. Department of Elec&tl Engineering and Computer Science,
G . Gambardella, A contribution to the theory of short-time From 1978-1979, he was a Research Associate in the Digital Signal
spectral analysis with nonuniform bandwidth fiters, IEEE Processing Group at MLT. In 1979 he joined the University of Cali-
Tpans. Circuit Themy, vol. CT-18, July 1971. fornia Lawrence Livermore Laboratory, where he is currently a Staff
J. E. Youngberg and S. F. Boll, %onstant-Q signal analysis and Member in the Engineering Research Division. His research interests
synthesis, in Rec. 19 78 IEEE Int. Cm$ Acoust. Speech, Signul are in the theory of digital signal processing and its application to
&messing, Tulsa, OK, Apr. 1978,pp. 375-378. speech,
.... image, and seismic signal processing.
R. E, Crochiere, A weighted overlap-add method of short-time Dr,. Portnoff received the 1977 IEEE Browder J. Thompson M e
Fourier analysis/synthesis, XEEE DunsCAcoust,, Speech, signal morial Prize Award and is a member of Eta Kappa Nu,Tau Beta Pi, and
Processing, this issue, pp. 99-102. Sigma Xi.
0 1980 IEEE
0096-3518/80/0200-0069$00.75