Skip to main content

Time-scaling property of DTFS

Short answer

Time expansion by integer m inserts m-1 zeros between samples, yielding x_{(m)}[n] with period mN. Its Fourier coefficients become b_k = a_k / m (with a_k repeating every N). Prove by summing only non-zero samples.

State and prove the time-scaling property for discrete-time Fourier series pair.

In discrete time, x[an]x[an] is not defined for non-integer anan, so time scaling is defined through the time-expanded signal (inserting zeros).

Statement

Let x[n]x[n] be periodic with period NN and DTFS coefficients aka_k. For a positive integer mm define

x(m)[n]={x[n/m],n a multiple of m0,otherwisex_{(m)}[n] = \begin{cases} x[n/m], & n \text{ a multiple of } m \\ 0, & \text{otherwise} \end{cases}

(m−1m - 1 zeros are inserted between samples). Then x(m)[n]x_{(m)}[n] is periodic with period mNmN and

x(m)[n]⟷FS1makx_{(m)}[n] \overset{FS}{\longleftrightarrow} \frac{1}{m}a_k

(with aka_k viewed as periodic with period NN, so the mNmN coefficients are ak/ma_k/m for k=0,1,…,mN−1k = 0, 1, \dots, mN-1).

Proof

The period of x(m)[n]x_{(m)}[n] is mNmN, so its coefficients are

bk=1mN∑n=0mN−1x(m)[n]e−jk2πmNnb_k = \frac{1}{mN}\sum_{n=0}^{mN-1}x_{(m)}[n]e^{-jk\frac{2\pi}{mN}n}

Only n=mrn = mr (r=0,1,…,N−1r = 0, 1, \dots, N-1) give non-zero terms, where x(m)[mr]=x[r]x_{(m)}[mr] = x[r]:

bk=1mN∑r=0N−1x[r] e−jk2πmNmr=1m[1N∑r=0N−1x[r]e−jk2πNr]=1mak\begin{aligned} b_k &= \frac{1}{mN}\sum_{r=0}^{N-1}x[r]\,e^{-jk\frac{2\pi}{mN}mr} \\ &= \frac{1}{m}\left[\frac{1}{N}\sum_{r=0}^{N-1}x[r]e^{-jk\frac{2\pi}{N}r}\right] \\ &= \frac{1}{m}a_k \end{aligned}

Interpretation

  • Expanding in time by mm multiplies the period by mm, so the fundamental frequency becomes ω0/m=2π/(mN)\omega_0/m = 2\pi/(mN) and the spectrum is packed mm times more densely.
  • The coefficient values are divided by mm, because the same NN non-zero samples of one period are now averaged over mNmN samples instead of NN.
  • The coefficient pattern of x[n]x[n] is repeated mm times within one period of bkb_k.

Example: x[n]={1,1}x[n] = \{1, 1\} with N=2N = 2 has a0=1a_0 = 1, a1=0a_1 = 0. With m=2m = 2, x(2)[n]={1,0,1,0}x_{(2)}[n] = \{1, 0, 1, 0\} (N=4N = 4) gives bk=14(1+e−jπk)={0.5,0,0.5,0}b_k = \frac{1}{4}(1 + e^{-j\pi k}) = \{0.5, 0, 0.5, 0\}, which is 12{a0,a1,a0,a1}\frac{1}{2}\{a_0, a_1, a_0, a_1\}.

✓ Answer checked by Claude Opus 5.5 (high effort)

All Signals and Systems chapter 2 questions →