The Continuous Time Fourier Transform converts an aperiodic signal into the frequency domain.
X(ω)=∫−∞∞x(t)e−jωtdt
The intuition for this transform comes from the Fourier Series. Only periodic signals can be represented by the Fourier Series. If we start with a finite signal x(t), then we can just make it periodic by copying the domain over which it is nonzero so it repeats over a period T. Call this signal x~(t). Since x~ is periodic, we can find its fourier series coefficients.
These steps are possible because x~(t)=x(t) over a single period, and x(t) is zero outside that period.
Tak=∫−∞∞x(t)e−jnT2πt
Notice that if we let T approach infinity, then ω0=T2π becomes very small, so the Tak can almost be thought of as samples of some continuous time function. What this means is for a general aperiodic signal, regardless of if it is finite or not, we can think of it as having "infinite period" and thus made up of a continuous set of frequencies. This is what motivates the CTFT.
Definition 25
The Inverse Continuous Time Fourier Transform takes us from the frequency domain reprsentation of a function X(ω) to its time domain representation x(t)
x(t)=2π1∫−∞∞X(ω)ejωtdω
We can arrive at this equation by starting from the Fourier series again. Our faux signal x~(t) which was the periodic function we constructed out of our aperiodic one is represented by its Fourier Series
For all these properties, assume that x(t)↔X(ω) and y(t)↔Y(ω)Linearity:
ax(t)+by(t)↔aX(ω)+bY(ω)
Time Shift:
x(t−t0)↔e−jωt0X(ω)
Time/Frequency Scaling:
x(at)↔∣a∣1X(aω)
Conjugation:
x∗(t)↔X∗(−ω)
Derivative:
dtdx(t)↔jωX(ω),dωdX(ω)↔−jtx(t)
Convolution/Multiplication:
(x∗y)(t)↔X(ω)Y(ω),x(t)y(t)↔2π1(X∗Y)(ω)
Frequency Shift:
ejω0tx(t)↔X(ω−ω0)
Parsevals Theorem:
∫−∞∞∣x(t)∣2dt=2π1∫−∞∞∣X(ω)∣2dω
Convergence of the CTFT
A big question that arises when thinking about the Fourier Transform is whether or not the integral ∫x(t)e−jωt actually converges.
Theorem 5
If ∫−∞∞∣x(t)∣dt converges, then X(ω) exists and is continuous. In addition, X(ω) approaches 0 as ∣ω∣ approaches ∞.
Conceptually, this theorem makes sense because
∣x(t)e−jωt∣=∣x(t)∣∣e−jωt∣=∣x(t)∣.
So if one converges, the other must converge. However, this means that x(t)=1, x(t)=sin(ωt), x(t)=cos(ωt) don’t have a "strict" Fourier Series because the integral doesn’t converge for these periodic signals. In order to get around this, we can define a "generalized" Fourier Transform which operates on periodic signals.
Starting with x(t)=1, we know that in the frequency domain, the only consituent frequency is ω=0. This means that X(ω)=kδ(ω) where k is some scalar. Using the Inverse Fourier Transform,
x(t)=2π1∫kδ(ω)ejωtdω=2πk.
That means k=2π, so
x(t)=1↔X(ω)=2πδ(ω).
Now if we apply the frequency shift property, we see that
x(t)=ejω0t=2πδ(ω−ω0).
With this, we can define our generalized Fourier Transform for periodic signals.
Definition 26
The generalized Fourier Transform for a periodic signal x(t) is
X(ω)=∑−∞∞ak⋅2πδ(ω−ω0)
where ak are the coefficients of the Fourier Series of x(t).
This definition works because any periodic signal can be represented by its Fourier Series. The rational behind using the Dirac Delta in this generalized Fourier Transform is exlained by the Theory of Distributions which can be found in Appendix.
Discrete Time Fourier Transform
Definition 27
The Discrete Time Fourier Transform converts aperiodic discrete signals into the frequency domain.
X(ω)=∑−∞∞x[n]e−jωn
The intution for the Discrete Time Fourier Transform is more or less the same as that of the Continuous Time Fourier Transform.
Definition 28
The Inverse Discrete Time Fourier Transform converts the frequency domain representation of a signal back into its time domain representation.
x[n]=2π1∫<2π>X(ω)ejωndω
Properties of the DTFT
For all these properties, assume that x[n]↔X(ω) and y[n]↔(ω)Time Shift:
x[n−n0]↔e−jωn0X(ω)
Frequency Shift:
X(ω−ω0)↔ejω0nx[n]
Time Reversal:
x[−n]↔X(−ω)
Conjugation:
x∗[n]=X∗(−ω)
Time Expansion: In discrete time, compression of a signal doesn’t make sense because we can’t have partial steps (i.e n must be an integer). However, we can stretch a signal.
xM[n]↔X(Mω),xM[n]={x[Mn]0when nmodM=0else.
Derivative Property:
nx[n]↔jdωdX(ω)
Multiplication Property:
x[n]y[n]↔2π1∫2πX(θ)Y(ω−θ)dθ
Convolution Property:
(x∗y)[n]=X(ω)Y(ω)
Convergence of the DTFT
Just like in continuous time, it was unclear whether or not the integral would converge, in discrete time, it is unclear if the infinite sum will converge. The convergence theorem for both are essentially the same.
Theorem 6
If ∑−∞∞∣x[n]∣ converges, then X(ω)exists and is continuous.
Just like in continuous time, periodic signals like x[n]=1,x[n]=sin(ω0t),x[n]=cos(ω0t)... are problematic because they don’t converge under the "strict" transform, so they require a generalized transform. In the frequency domain, a constant signal like x[n]=1 will be the sum of all frequencies. This will look like a sum of Dirac Deltas
and we can apply the frequency shift property to get
x[n]=ejω0n↔X(ω)=2π∑l=−∞∞δ(ω−ω0−2πl).
Once again using the Fourier Series representation of x[n], we can define the generalized Discrete Time Fourier Transform.
Definition 29
For a perioidic signal x[n], the generalized Discrete Time Fourier Transform is
x[n]↔2π∑−∞∞akδ(ω−N2πk)
where ak are the Fourier Series coefficients of x[n]
Discrete Fourier Transform
Whereas the CTFT takes a continuous signal and outputs a continuous frequency spectrum and the DTFT takes a discrete signal and outputs a continuous, periodic frequecy spectrum, the Discrete Fourier Transform takes a discrete periodic signal and outputs a discrete frequency spectrum.
Definition 30
For a length N finite sequence {x[n]}0n−1, the Discrete Fourier Transform of the signal is a length N finite sequence {X[k]}0n−1 where
X[k]=∑n=0N−1x[n]e−jN2πkn.
One way to interpret the DFT is in terms of the Fourier series for a disrete periodic signal x~[n]=x[n mod N]. Recall that the coefficient of the kth term of the Fourier Series is
ak=N1∑n=0N−1x[n]e−jN2πkn.
Notice that the ak of the Fourier Series are the DFT values except scaled by a factor of N. This gives an intuitive inverse DFT.
Definition 31
For a length N finite sequence {X[k]}0N−1 representing the DFT of a finite perioidc signal {x[n]}0N−1, the inverse DFT is given by
x[n]=N1∑k=0N−1X[k]ejN2πkn.
One important property of the DFT is its complex conjugacy. When x[n] is a real valued signal, then X[n−k]=X[k]∗. This can easily be shown by substituting N−k into the DFT formula. Further intuition for the DFT comes from relating it to the DTFT. Suppose we have a finite signal x[n] which is 0 for n<0 and n>N−1. The DTFT of this signal is
X(ω)=∑n=−∞∞x[n]e−jωn=∑n=0N−1x[n]e−jωn.
Suppose we sample the DTFT at intervals of N2πk, then
X[k]=X(N2πk)=∑n=0N−1x[n]e−jN2πkn.
Thus we can think of the DFT as a N point sample of the DTFT.
2D Fourier Transforms
So far, our Fourier Transforms have been limited to signals of a single dimension. However, in the real world, signals might be multidimensional (think images). Thankfully, each of the Fourier Transforms generalizes easily into higher dimensions.\
Just like in 1 dimension, absolute summability/integrability guarantee the convergence of these transforms. It turns out that when a 2D signal is simply a multiplication of two 1D signals, the Fourier Transforms are very easy to compute.
Theorem 7
If x(t1,t2)=x(t1)x(t2), then X(ω1,ω2)=X(ω1)X(ω2)