## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

)

Julius O. Smith III (jos@ccrma.stanford.edu) Center for Computer Research in Music and Acoustics (CCRMA) Department of Music, Stanford University Stanford, California 94305 April 10, 2007

Outline • Domains of Deﬁnition • Discrete Fourier Transform • Properties of the Fourier Transform For more details, see • Mathematics of the DFT (Music 320 text): http://ccrma.stanford.edu/~jos/mdft/ • Appendices A-D of Spectral Audio Signal Processing (our text): http://ccrma.stanford.edu/~jos/sasp/

1

Domains of Deﬁnition

The Fourier Transform can be deﬁned for signals that are • Discrete or Continuous Time • Finite or Inﬁnite Duration This results in four cases: Time Duration Finite Inﬁnite Fourier Series (FS) Fourier Transform (FT)

P

cont.

X(k) =

0

x(t)e

−jωk t

+∞

dt X(ω) =

−∞

x(t)e−jωtdt time

k = −∞, . . . , +∞ Discrete FT (DFT)

N −1

**ω ∈ (−∞, +∞) t Discrete Time FT (DTFT) discr.
**

+∞

X(k) =

n=0

x(n)e−jωk n

X(ω) =

n=−∞

x(n)e−jωn

time n

k = 0, 1, . . . , N − 1 discrete freq. k

ω ∈ (−π, +π) continuous freq. ω

2

**Signal and Transform Notation
**

• n, k ∈ Z (integers) or ZN (integers modulo N ) • x(n) ∈ R (reals) or C (complex numbers) • x ∈ CN means x is a length N complex sequence • x = x(·) • X = DFT(x) ∈ CN , or x↔X where “↔” is read as “corresponds to”. • X(k) = DFTk (x) = DFTN,k (x) ∈ C • x(n) = IDFTn(X) = IDFTN,n(X) • For x ∈ C∞, X = DTFT(x) = DFT∞(x) ∈ C∞ 2π • x = conjugate of x • ∠x = phase of x The notation XY or X · Y denotes the vector containing (XY )k = X(k)Y (k), k = 0, . . . , N − 1. This is denoted by ‘X .* Y’ in Matlab, where X and Y may a pair of column vectors, or a pair of row vectors.

3

**The Discrete Fourier Transform
**

The “kth bin” of the Discrete Fourier Transform (DFT) is deﬁned as X(k) = DFTk (x) = x, sk =

n=0 ∆ ∆ ∆ N −1

x(tn)e−jωk tn

sk (n) = ejωk tn ;

∆

∆

k = 0, 1, . . . , N − 1 tn = nT

∆

k 2πk ωk = 2π fs = ; N NT

We may interpret the DFT as the coeﬃcients of projection of the signal vector x onto the N sinusoidal basis signals sk , k = 0, 1, . . . , N − 1: X(k) = x, sk

4

**Inverse DFT The inverse DFT is given by
**

N −1

x(tn) =

k=0

1 x, sk 2 sk (tn ) = N sk

N −1

X(ωk )ejωk tn

k=0

It can be interpreted as the superposition of the projections, i.e., the sum of the sinusoidal basis signals weighted by their respective coeﬃcients of projection: x=

k

x, sk 2 sk sk

5

The DFT, Cont’d There are several ways to think about the DFT: 1. Sampled uniform ﬁlter bank output 2. Projection onto the set of “basis” sinusoids (frequencies at N roots of unity) 3. Coordinate transformation (“natural” RN basis to “sinusoidal” basis) 4. Matrix multiplication X = W∗x, where W∗[k, n] = e−jωk tn This course will emphasize the ﬁrst two.

6

**Properties of the DFT
**

We are going to be performing manipulations on signals and their Fourier Transform throughout this class. It is important to understand how changes we make in one domain aﬀect the other domain. The Fourier theorems are helpful for this purpose. Derivations of the Fourier theorems for the DTFT case may be found in Appendix D1 of the text, and in Mathematics of the DFT2 (Music 320 text) for the DFT case.

1 2

http://ccrma.stanford.edu/~jos/sasp/Fourier_Theorems_DTFT.html http://ccrma.stanford.edu/~jos/mdft/Fourier_Theorems.html

7

Linearity αx1 + βx2 ↔ αX1 + βX2 or DFT(αx1 + βx2) = α · DFT(x1) + β · DFT(x2) α, β ∈ C x1, x2, X1, X2 ∈ CN The Fourier Transform “commutes with mixing.”

8

Time Reversal Deﬁnition: Flipn(x) = x(−n) = x(N − n) Note: x(n) = x(n mod N ) for signals in CN (DFT case). When computing a sampled DTFT using the DFT, we interpret time indices n = 1, 2, . . . , N/2 − 1 as positive time indices, and n = N − 1, N − 2, . . . , N/2 as the negative time indices n = −1, −2, . . . , −N/2. Under this interpretation, the Flip operator simply reverses a signal in time. Fourier theorems: Flip(x) ↔ X for x ∈ CN . In the typical special case of real signals (x ∈ RN ), Flip(x) ↔ X Thus, time-reversing a signal conjugates its spectrum.

∆ ∆ ∆

9

Symmetry The Fourier transform of real signals exhibits special symmetry which is important to us in many cases. Basically, Real ↔ Hermitian The Fourier transform of a real signal x is therefore • Conjugate Symmetric (Hermitian symmetric) X(−k) = X(k) • Real part Symmetric (even) re {X(−k)} = re {X(k)} • Imaginary part Antisymmetric (skew-symmetric, odd) im {X(−k)} = −im {X(k)} • Magnitude Symmetric (even) |X(−k)| = |X(k)| • Phase Antisymmetric (odd) ∠X(−k) = −∠X(k)

10

Shift Theorem The Shift operator is deﬁned as Shiftl,n(y) = y(n − l). Since indexing is deﬁned modulo N , Shiftl (y) is a circular right-shift by l samples. Shiftl (y) ↔ e−j(·)l Y or, more loosely, y(n − l) ↔ e−jωl Y (ω) i.e., DFTk [Shiftl (y)] = e−jωk l Y (ωk ) e−jωk l = Linear Phase Term, slope = −l • ∠Y (ωk ) += − ωk l • Multiplying a spectrum Y by a linear phase term e−jωk l with phase slope −l corresponds to a circular right-shift in the time domain by l samples: • negative slope ⇒ time delay • positive slope ⇒ time advance

∆

11

**Convolution The cyclic convolution of x and y is deﬁned as
**

N −1

(x ∗ y)(n) =

m=0

∆

x(m)y(n − m),

x, y ∈ CN

Cyclic convolution is also called circular convolution, ∆ since y(n − m) = y(n − m (mod N )). Convolution is cyclic in the time domain for the DFT and FS cases, and acyclic for the DTFT and FT cases. The Convolution Theorem is then (x ∗ y) ↔ X · Y

12

**Correlation The cross-correlation of x and y in CN is deﬁned as:
**

N −1

(x ⋆ y)(n) =

m=0

∆

x(m)y(n + m),

x, y ∈ CN

Using this deﬁnition we have the correlation theorem: (x ⋆ y) ↔ X(ωk )Y (ωk ) The correlation theorem is often used in the context of spectral analysis of ﬁltered noise signals. Autocorrelation The autocorrelation of a signal x ∈ CN is simply the cross-correlation of x with itself: (x ⋆ x)(n) =

m=0 ∆ N −1

x(m)x(m + n),

x ∈ CN

From the correlation theorem, we have (x ⋆ x) ↔ |X(ωk )|2

13

**Power Theorem The inner product of two signals is deﬁned as: x, y =
**

n ∆

xn y n

Using this notation, we have the following: 1 x, y = X, Y N When we consider the inner product of a signal with itself, we have a special case known as Parseval’s Theorem: X 1 X, X = x = x, x = N N (Also called the Rayleigh’s Energy Theorem.)

2 2

14

Stretch We deﬁne the Stretch operator such that: StretchL : CN → CN L Which means that it transforms a length N complex signal, into a length N L signal. Speciﬁcally, we do this by inserting L − 1 zeros in between each pair of samples of the signal.

x y y = Stretch2(x) →

...

...

15

Repeat or Scale Similarly, the RepeatL operator, deﬁned on the unit circle, frequency-scales its input spectrum by the factor L: ω ← Lω The original spectrum is repeated L times as ω traverses the unit circle. This is illustrated in the following diagram for L = 2:

X Y

Y

= REPEAT (X) → 3

ω

ω

Using these deﬁnitions, we have the Stretch Theorem: StretchL(x) ↔ RepeatL(X) Application: Upsampling by any integer factor L: Passing the stretched signal through an ideal lowpass ﬁlter cutting oﬀ at ω ≥ π/L yields ideal bandlimited interpolation of the original signal by the factor L.

16

Zero-Padding ↔ Interpolation Zero padding in the time domain corresponds to ideal interpolation in the frequency domain. Proof:

http://ccrma.stanford.edu/~jos/mdft/Zero Padding Theorem Spectral.html

Downsampling ↔ Aliasing The downsampling operation DownsampleM selects every M th sample of a signal: DownsampleM,n(x) = x(M n) In the DFT case, DownsampleM maps CN to C M , while for the DTFT, DownsampleM maps C∞ to C∞. The Aliasing Theorem states that downsampling in time corresponds to aliasing in the frequency domain: DownsampleM (x) ↔ 1 AliasM (X) M

N

∆

where the Alias operator is deﬁned for X ∈ CN

17

(DFT case) as

M −1

AliasM,l (X) =

k=0

∆

X l+k

N M

,

l = 0, 1, . . . ,

N −1 M

**For X ∈ C∞ (DTFT case), the Alias operator is given by AliasM,ω (X) =
**

k=0 M −1 ∆ M −1

X e X

k=0

ω j( M +k 2π ) M

,

−π ≤ ω < π

=

∆

∆

1 k M WM z

where WM = ej2π/M is a common notation for the primitive M th root of unity, and z = ejω as usual. This normalization corresponds to T = 1 after downsampling. Thus, T = 1/M prior to downsampling. The summation terms above for k = 0 are called aliasing components. The aliasing theorem points out that in order to downsample by factor M without aliasing, we must ﬁrst lowpass-ﬁlter the spectrum to [−πfs/M, πfs/M ]. This ﬁltering essentially zeroes out the spectral regions which alias upon sampling.

18

- Discrete Fourier Transform in Excel Tutorialuploaded bySpider Financial
- Discret FTuploaded byDwipjoy Sarkar
- Fourier Transform Cheat Sheetuploaded byalbert604
- Data Mininguploaded byTanmay Dey
- DFTuploaded byAhmed Edris
- Ananduploaded byNandani Candy Dcosta
- v37-8-1uploaded byPchit Ton
- Matlab Fileuploaded byBhushan Singh Badgujjar
- Fourier Transformuploaded bytiktiktak
- reportuploaded byVarun Pant
- BEE4413 Chapter 7uploaded byNUrul Aqilah Mus
- (Optical Science and Engineering) Partha P. Banerjee, John M. Jarem-Computational Methods for Electromagnetics and Optical Systems-CRC Press (2000)uploaded bysrikumar sandeep
- Fourier Transformuploaded byAli Abdurrahman Sungkar
- FourierJAI_1uploaded byjimiranda
- Mathematics - Fourier Transforms Using MATLABuploaded byapi-3833675
- 7uploaded bymhlmk
- symmetry-02-0146s1uploaded byDaniel Torres
- Cbir Using Fourier Descriptorsuploaded byultimatekp144
- Handout 7 - Spectral Analysis & Meas Formants.pdfuploaded bySricharan Anandakrishna
- 0_(1)Model-Based Channel Estimation for OFDM Signals in Rayleigh Fadinguploaded byramza038
- Downloads 201006151717 WindowfunctionWikipediauploaded byDhimas Arief Dharmawan
- A Quick Glance over the Digital Watermarkinguploaded byInternational Journal for Scientific Research and Development - IJSRD
- EE 583 Lecture04uploaded byYazanAlomari
- Vibration Analysis on Rotating Shaft using Matlabuploaded byIJSTE
- MHW1uploaded byalimnh2003
- Group 9uploaded byshah_mayana
- Yang2008 a Study of Inverse Short-time Fourier Transformuploaded bymrutyunjayahiremath
- digitaluploaded bysirisiri100
- The Generalized Correlation Method for Estimation of Time Delay-3c4uploaded byAbin Baby
- Cap4_Mihaela_all_English.pptuploaded byShubham Gupta

- Menu at Sebo in San Franciscouploaded byjamesyu
- 01 thisisthebestuploaded byjamesyu
- 01 My Great Novel With Numbersuploaded byjamesyu
- 01 My Great Noveluploaded byjamesyu
- 01 My Great Noveluploaded byjamesyu
- 03-26 Entry Door copy 9uploaded byjamesyu
- Facebook Connect for Web Startups Design Guideuploaded byjamesyu
- 03-26 Entry Door Copy 11uploaded byjamesyu
- 01 My Great Novel With Numbersuploaded byjamesyu
- REST Cheatsheetuploaded byjamesyu
- test file text 1uploaded byjamesyu
- test file text 1uploaded byjamesyu
- Parse Presentationuploaded byjamesyu
- 03-26 Entry Door Copy 4uploaded byjamesyu
- Restaurants To Tryuploaded byjamesyu
- 03-26 Entry Door Copy 13uploaded byjamesyu
- 03-26 Entry Door copy 9uploaded byjamesyu
- 03-26 Entry Door copy 12uploaded byjamesyu
- 03-26 Entry Door Copy 8uploaded byjamesyu
- 03-26 Entry Door Copy 14uploaded byjamesyu
- 03-26 Entry Door Copy 9uploaded byjamesyu
- PDF Testuploaded byjamesyu
- 03-26 Entry Door Copy 9uploaded byjamesyu
- 03-26 Entry Door Copy 9uploaded byjamesyu
- 03-26 Entry Door Copy 15uploaded byjamesyu
- 03-26 Entry Door Copy 17uploaded byjamesyu
- 03-26 Entry Door Copy 14uploaded byjamesyu
- 03-26 Entry Door Copy 12uploaded byjamesyu
- 03-26 Entry Door Copy 16uploaded byjamesyu
- iPaper Animation -- Stick Figure Drawinguploaded byjamesyu

Close Dialog## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

Loading