β Back to LINEAR SYSTEMS AND SIGNALS Overview
A close connection exists between the DTFT and the CTFT (continuous-time Fourier transform). For this reason, which Sec. 9.4 discusses, the properties of the DTFT are very similar to those of the CTFT, as the following discussion shows.
LINEARITY OF THE DTFT
If
x1[n] ββ X1() and x2[n] ββ X2()
then
a1βx1β[n]+a2βx2β[n]βΊa1βX1β(Ξ©)+a2βX2β(Ξ©)
The proof is trivial. The result can be extended to any finite sums.
CONJUGATE SYMMETRY OF X()
In Eq. (9.20), we proved the conjugation property
xβ[n]βΊXβ(βΞ©)(9.28)
β To explain this point, consider the unit step function u[n] and its transforms. Both the z-transform and the DTFT synthesize x[n], using everlasting exponentials of the form zn. The value of z can be anywhere in the complex z-plane for the z-transform, but it must be restricted to the unit circle (z = ej) in the case of the DTFT. The unit step function is readily synthesized in the z-transform by a relatively simple spectrum X[z] = z/(z β 1), by choosing z outside the unit circle (the ROC for u[n] is |z| > 1). In the DTFT, however, we are restricted to values of z only on the unit circle (z = ej). The function u[n] can still be synthesized by values of z on the unit circle, but the spectrum is more complicated than when we are free to choose z anywhere, including the region outside the unit circle. In contrast, when x[n] is absolutely summable, the region of convergence for the z-transform includes the unit circle, and we can synthesize x[n] by using z along the unit circle in both the transforms. This leads to X[ej] = X().
868 CHAPTER 9 FOURIER ANALYSIS OF DISCRETE-TIME SIGNALS
We also showed that as a consequence of this, when x[n] is real, X() and X(β) are conjugates, that is,
X(βΞ©)=Xβ(Ξ©)
This is the conjugate symmetry property. Since X() is generally complex, we have both amplitude and angle (or phase) spectra
X(Ξ©)=β£X(Ξ©)β£ejβ X(Ξ©)
Hence, for real x[n], it follows that
β£X(Ξ©)β£=β£X(βΞ©)β£andβ X(Ξ©)=ββ X(βΞ©)
Therefore, for real x[n], the amplitude spectrum |X()| is an even function of and the phase spectrum X() is an odd function of .
TIME AND FREQUENCY REVERSAL
Also called the reflection property, the time and frequency reversal property states that
x[βn]βΊX(βΞ©)(9.29)
Demonstration of this property is straightforward. From Eq. (9.19), the DTFT of x[βn] is
DTFT{x[βn]}=n=βββββx[βn]eβjΞ©n=m=βββββx[m]ejΞ©m=X(βΞ©)
EXAMPLE 9.7 Using the Reflection Property
Use the time-frequency reversal property of Eq. (9.29) and pair 2 in Table 9.1 to derive pair 4 in Table 9.1.
Pair 2 states that
Ξ³nu[n]=eiΞ©βΞ³eiΞ©ββ£Ξ³β£<1
Hence, from Eq. (9.29),
Ξ³βnu[βn]=eβjΞ©βΞ³eβjΞ©ββ£Ξ³β£<1
Moreover, Ξ³ |n| could be expressed as a sum of Ξ³ n u[n] and Ξ³ βn u[βn], except that the impulse at n = 0 is counted twice (once from each of the two exponentials). Hence,
Ξ³β£nβ£=Ξ³nu[n]+Ξ³βnu[βn]βΞ΄[n]
Combining these results and invoking the linearity property, we can write
DTFT{Ξ³β£nβ£}=ejΞ©βΞ³ejΞ©β+eβjΞ©βΞ³eβjΞ©ββ1=1β2Ξ³cosΞ©+Ξ³21βΞ³2ββ£Ξ³β£<1
which agrees with pair 4 in Table 9.1.
DR ILL 9.5 Using the Reflection Property
In Table 9.1, derive pair 13 from pair 15 by using the time-reversal property of Eq. (9.29).
MULTIPLICATION BY n: FREQUENCY DIFFERENTIATION
nx[n]βΊjdΞ©dX(Ξ©)β(9.30)
The result follows immediately by differentiating both sides of Eq. (9.19) with respect to .
EXAMPLE 9.8 Using the Frequency-Differentiation Property
Use the frequency-differentiation property of Eq. (9.30) and pair 2 in Table 9.1 to derive pair 5 in Table 9.1.
Pair 2 states that
Ξ³nu[n]=eiΞ©βΞ³eiΞ©ββ£Ξ³β£<1
Hence, from Eq. (9.30),
nΞ³nu[n]=jdΞ©dβ{ejΞ©βΞ³ejΞ©β}=(ejΞ©βΞ³)2Ξ³ejΞ©ββ£Ξ³β£<1
which agrees with pair 5 in Table 9.1.
TIME-SHIFTING PROPERTY If
x[n] ββ X()
then
x[nβk]βΊX(Ξ©)eβjkΞ©forΒ integerΒ k(9.31)
This property can be proved by direct substitution in the equation defining the direct transform. From Eq. (9.19), we obtain
x[nβk]βΊn=βββββx[nβk]eβjΞ©n=m=βββββx[m]eβjΞ©[m+k]
=eβjΞ©kn=βββββx[m]eβjΞ©m=eβjkΞ©X(Ξ©)
This result shows that delaying a signal by k samples does not change its amplitude spectrum. The phase spectrum, however, is changed by βk. This added phase is a linear function of with slope βk.
PHYSICAL EXPLANATION OF LINEAR PHASE
Time delay in a signal causes a linear phase shift in its spectrum. The heuristic explanation of this result is exactly parallel to that for continuous-time signals given in Sec. 7.3 (see Fig. 7.22).
EXAMPLE 9.9 Demonstrating Linear Phase
To demonstrate the linear phase associated with a time shift, find the DTFT of x[n] = (1/4)sinc (Ο(nβ2)/4), shown in Fig. 9.10a.
In Ex. 9.6, we found that
41βsinc(4Οnβ)βΊm=βββββrect(Ο/2Ξ©β2Οmβ)
Use of the time-shifting property [Eq. (9.31)] yields (for integer k)
41βsinc(4Ο(nβ2)β)βΊm=βββββrect(Ο/2Ξ©β2Οmβ)eβj2Ξ©
The spectrum of the shifted signal is shown in Fig. 9.10b.
DR ILL 9.6 Using the Time-Shifting Property
Verify the result in Eq. (9.24) from pair 7 in Table 9.1 and the time-shifting property of the DTFT.
FREQUENCY-SHIFTING PROPERTY
If
x[n]βΊX(Ξ©)
then
x[n]ejΞ©cβnβΊX(Ξ©βΞ©cβ)(9.32)
This property is the dual of the time-shifting property. To prove the frequency-shifting property, we use Eq. (9.19) as
x[n]ejΞ©cβnβΊn=βββββx[n]ejΞ©cβneβjΞ©n=n=βββββx[n]eβj(Ξ©βΞ©cβ)n=X(Ξ©βΞ©cβ)
From this result, it follows that
x[n]eβjΞ©cβnβΊX(Ξ©+Ξ©cβ)
872 CHAPTER 9 FOURIER ANALYSIS OF DISCRETE-TIME SIGNALS
Adding this pair to the pair in Eq. (9.32), we obtain
x[n]cos(Ξ©cβn)βΊ21β{X(Ξ©βΞ©cβ)+X(Ξ©+Ξ©cβ)}(9.33)
This is the modulation property.
Multiplying both sides of pair (9.32) by ejΞΈ , we obtain
x[n]ej(Ξ©cβn+ΞΈ)βΊX(Ξ©βΞ©cβ)ejΞΈ
Using this pair, we can generalize the modulation property as
x[n]cos(Ξ©cβn+ΞΈ)βΊ21β{X(Ξ©βΞ©cβ)eiΞΈ+X(Ξ©+Ξ©cβ)eβiΞΈ}
EXAMPLE 9.10 Modulation Property
A signal x[n] = sinc (Οn/4) modulates a carrier coscn. Find and sketch the spectrum of the modulated signal x[n] coscn for
- (a) c = Ο/2
- (b) c = 7Ο/8 = 0.875Ο
(a) For x[n] = sinc (Οn/4), we find (Table 9.1, pair 8)
X(Ξ©)=4m=βββββrect(Ο/2Ξ©β2Οmβ)
Figure 9.11a shows the DTFT X(). From the modulation property of Eq. (9.33), we obtain
x[n]cos(0.5Οn)βΊ2m=βββββrect(0.5ΟΞ©β0.5Οβ2Οmβ)+rect(0.5ΟΞ©+0.5Οβ2Οmβ)
Figure 9.11b shows half the X() shifted by Ο/2 and Fig. 9.11c shows half the X() shifted by βΟ/2. The spectrum of the modulated signal is obtained by adding these two shifted spectra and multiplying by half, as shown in Fig. 9.11d.
(b) Figure 9.12a shows X(), which is the same as that in part (a). For c = 7Ο/8 = 0.875Ο, the modulation property of Eq. (9.33) yields
x[n]cos(0.875Οn)βΊ2m=βββββrect(0.5ΟΞ©β0.875Οβ2Οmβ)+rect(0.5ΟΞ©+0.875Οβ2Οmβ)
Figure 9.11 Instance of modulation for Ex. 9.10a.
Figure 9.12b shows X() shifted by 7Ο/8 and Fig. 9.12c shows X() shifted by β7Ο/8. The spectrum of the modulated signal is obtained by adding these two shifted spectra and multiplying by half, as shown in Fig. 9.12d. In this case, the two shifted spectra overlap. Since the operation of modulation thus causes aliasing, it does not achieve the desired effect of spectral shifting. In this example, to realize spectral shifting without aliasing requires c β€ 3Ο/4.
DR ILL 9.7 Using the Frequency-Shifting Property
In Table 9.1, derive pairs 12 and 13 from pair 11 and the frequency-shifting/modulation property.
TIME- AND FREQUENCY-CONVOLUTION PROPERTY If
x1[n] ββ X1() and x2[n] ββ X2()
then
x1β[n]βx2β[n]βΊX1β(Ξ©)X2β(Ξ©)(9.34)
and
x1β[n]x2β[n]βΊ2Ο1βX1β(Ξ©)βX2β(Ξ©)(9.35)
where
x1β[n]βx2β[n]=m=βββββx1β[m]x2β[nβm]
For two continuous, periodic signals, we define the periodic convolution, denoted by symbol -β asβ
X1β(Ξ©)βX2β(Ξ©)=2Ο1ββ«2ΟβX1β(u)X2β(Ξ©βu)du
The convolution here is not the linear convolution used so far. This is a periodic (or circular) convolution applicable to the convolution of two continuous, periodic functions with the same period. The limit of integration in the convolution extends only to one period.
Proof of the time-convolution property is identical to that given in Sec. 5.2 [Eq. (5.19)]. All we have to do is replace z with ej. To prove the frequency-convolution property of Eq. (9.35), we have
x1β[n]x2β[n]βΊn=βββββx1β[n]x2β[n]eβjΞ©n=n=βββββx2β[n][2Ο1ββ«2ΟβX1β(u)eβjnudu]eβjΞ©n
Interchanging the order of summation and integration, we obtain
x1β[n]x2β[n]βΊ2Ο1ββ«2ΟβX1β(u)[n=βββββx2β[n]eβj(Ξ©βu)n]du=2Ο1ββ«2ΟβX1β(u)X2β(Ξ©βu)du
EXAMPLE 9.11 DTFT of an Accumulator System
If
x[n]βX(Ξ©)
, then show that βk=ββnβx[k]βΟX(0)βk=ββββΞ΄(Ξ©β2Οk)+eiΞ©β1eiΞ©βX(Ξ©) .
β In Eq. (8.20), we defined periodic convolution for two discrete, periodic sequences in a different way. Although we are using the same symbol -β for both discrete and continuous cases, the meaning will be clear from the context.
876 CHAPTER 9 FOURIER ANALYSIS OF DISCRETE-TIME SIGNALS
To begin, we notice that
x[n]βu[n]=k=βββββx[k]u[nβk]=k=βββnβx[k]
Applying the time-convolution property of Eq. (9.34) and pair 10 in Table 9.1, it follows that
k=βββnβx[k]=x[n]βu[n]βΊX(Ξ©)(Οk=βββββΞ΄(Ξ©β2Οk)+eiΞ©β1eiΞ©β)
Because of 2Ο periodicity, X(0) = X(2Οk). Moreover, X()Ξ΄( β 2Οk) = X(2Οk)Ξ΄( β 2Οk) = X(0)Ξ΄(β2Οk). Hence,
k=βββnβx[k]βΊΟX(0)k=βββββΞ΄(Ξ©β2Οk)+eiΞ©β1eiΞ©βX(Ξ©)
DR ILL 9.8 Using the Frequency-Convolution Property
In Table 9.1, derive pair 9 from pair 8, assuming c β€ Ο/2. Use the frequency-convolution property.
PARSEVALβS THEOREM If
x[n]βΊX(Ξ©)
then Ex, the energy of x[n], is given by
Exβ=n=ββββββ£x[n]β£2=2Ο1ββ«2Οββ£X(Ξ©)β£2dΞ©
\n(9.36)
To prove this property, we have from Eq. (9.28),
Xβ(Ξ©)=n=βββββxβ[n]eiΞ©n
Now,
n=ββββββ£x[n]β£2=n=βββββxβ[n]x[n]=n=βββββxβ[n][2Ο1ββ«2ΟβX(Ξ©)eiΞ©ndΞ©]
=2Ο1ββ«2ΟβX(Ξ©)[n=βββββxβ[n]eiΞ©n]dΞ©
=2Ο1ββ«2ΟβX(Ξ©)Xβ(Ξ©)dΞ©=2Ο1ββ«2Οββ£X(Ξ©)β£2dΞ©
Table 9.2 summarizes Parsevalβs theorem and the other important properties of the DTFT.
| Operation | x[n] | X() |
|---|
| Linearity | a1x1[n] +a2x2[n] | a1X1()+a2X2() |
| Conjugation | xβ[n] | Xβ(β) |
| Scalar multiplication | ax[n] | aX() |
| Multiplication by n | nx[n] | dX() j d |
| Time reversal | x[βn] | X(β) |
| Time shifting | x[nβk] | X()eβjk k integer |
| Frequency shifting | x[n] ejcn | X(βc) |
| Time convolution | x1[n] β x2[n] | X1()X2() |
| Frequency convolution | x1[n]x2[n] | # 1 X1[u]X2[βu]du 2Ο 2Ο |
| Parsevalβs theorem | = ββ x[n] 2 Ex n=ββ | # 1 2 d Ex X() = 2Ο 2Ο |
TABLE 9.2 Properties of the DTFT
EXAMPLE 9.12 Using Parsevalβs Theorem to Find Signal Energy
Find the energy of x[n] = sinc (cn), assuming c < Ο.
From pair 8, Table 9.1, the fundamental band spectrum of x[n] is
sinc(Ξ©cβn)βΊΞ©cβΟβrect(2Ξ©cβΞ©β)β£Ξ©β£β€Ο
878 CHAPTER 9 FOURIER ANALYSIS OF DISCRETE-TIME SIGNALS
From Parsevalβs theorem [Eq. (9.36)], we have
Exβ=2Ο1ββ«βΟΟβΞ©c2βΟ2β[rect(2Ξ©cβΞ©β)]2dΞ©
Because rect(/2c) = 1 over || β€ c and is zero otherwise, the preceding integral yields
Exβ=2Ο1β(Ξ©c2βΟ2β)(2Ξ©cβ)=Ξ©cβΟβ