old section 8
DOCX · 25.7 KB
Open DOCX file
Superseded section 8 of Phil's spectral theory book, marked as retired on 4.15.13. It works out Fourier transforms of x(t)=1, the shifted delta function, and the Heaviside step function. The step function is treated with an e^(-εt) regularization, contour inversion, principal value and pseudofunction notation, giving θ(0)=1/2, and is checked against the derivative rule and the Laplace transform. Equations are partly garbled in the extraction.
AI-written summary; may contain errors. This description is approximate.
Extracted text (machine-read; may contain errors)
Old Section 8 PhL retired 4.15.13
8. Some simple examples of spectra
(a) The spectrum of x(t) = 1 :
In this example, x(t) is a constant over all time. Using (1.1) and (2.1), we find:
x(t) = 1 X(ω) = 2π δ(ω) . (8.1)
This comes as no surprise. For a DC signal, all the energy is concentrated at zero frequency. Of course x(t) = 1 does not respect the requirement !Syntax Error, Idt |x(t)| < 0, which is why the spectrum is a distribution.
(b) The spectrum of x(t) = δ(t - t1) :
Here x(t) is an infinitely narrow pulse of area 1, positioned at t=t1. Using (1.1), we get the following Fourier spectrum:
x(t) = δ(t - t1) X(ω) = e-iωt . (8.2)
The spectrum X(ω) has a constant magnitude 1 for all ω, out to infinite frequency. For such a pulse at t=0,
x(t) = δ(t) X(ω) = 1 (8.3)
and here the phase is constant. This result is (8.1) with ω ↔ t and the constant adjusted due to the asymmetry of the transform in our adopted convention.
(c) The regular Fourier Integral Transform spectrum of the Heaviside step function θ(t) is the somewhat peculiar first line following, whereas the generalized Fourier Integral Transform gives the second line
x(t) = θ(t) X(ω) = " " = = = [ pf(1/ω) + iπδ(ω)]
(8.4)
X(ω) = // generalized Fourier Integral Transform of (6,4,5)
which we now explain. This Heaviside x(t) is also not in the class of functions for which the Fourier Transform is defined (!Syntax Error, Idt |x(t)| < 0). We bring θ(t) into the acceptable class by replacing θ by θε where,
θε(t) ≡ for some very small ε > 0
Then
Xε(ω) = !Syntax Error, Idt θε(t) e-iωt = !Syntax Error, I dt e-εt e-iωt =
and then X(ω) = limε→0 Xε(ω) = (1/iω). But we really have to think of (1/iω) as meaning the limit of . To see why, we now compute x(t) from the inversion formula,
x(t) = (1/2π) !Syntax Error, Idω e+iωt = (1/2πi) !Syntax Error, Idω e+iωt . pole at ω = +iε
For t < 0, close the ω contour down and get 0 since the great circle vanishes. For t > 0 close up and pick up the pole reside to get x(t) = e-εt. For t = 0, we let the pole move to the real axis from above and deflect the contour down
Fig 8.1
In the limit the contour is shrunk around the pole, the contributions from (-∞,0) and (0,∞) cancel. These two terms are known as a principle value integral and we have
PV!Syntax Error, Idω (1/ω) = 0
since the left and right sides cancel (even range integral of an odd function). All that is left is the half turn around the pole which picks up half the residue at the pole (one can show) so the result is then
x(0) = (1/2πi) !Syntax Error, Idω = (1/2πi) (1/2) (2πi * 1) = 1/2
and we obtain the fact that θ(0) = 1/2 as was shown in Fig 1.1.
What we have just done is sometimes written using the following obscure notation (see for example Stakgold Chapter 1 page 50 (1.27))
= pf(1/ω) + iπδ(ω) // similarly = pf(1/ω) – iπδ(ω) (8.5)
where pf means pseudofunction and is a symbolic function like the delta function which acquires meaning when it is placed inside an integral. The meaning is that when pf(1/ω) is inside an integral, the integral is a principal value integral at ω = 0, so
!Syntax Error, Idω = !Syntax Error, Idω pf(1/ω) + !Syntax Error, Idω iπδ(ω)
= PV !Syntax Error, Idω (1/ω) + iπ = 0 + iπ = iπ
and then
x(0) = (1/2π) !Syntax Error, Idω = (1/2πi) !Syntax Error, Idω = (1/2πi) iπ = 1/2 .
If we apply our upcoming differentiation rule (11.1) [ which is to multiply by iω ] we find that
θ(t) ↔ => δ(t) = dθ(t)/dt ↔ iω = 1
which agrees with (8.3) above.
Using the generalized Fourier Integral Transform stated in (6.4) and (6.5), we can regard X(ω) = 1/(iω) without all the ε business since the ω recovery contour in (6.5) runs below all singularities in the ω plane, which contour, when deformed up, gives Fig 8.1 and all the results quoted above. Applying our Laplace equivalence notion (6.8), we would predict from X(ω) = 1/(iω) that
L{θ(t), s} = X(s) = X(s/i) = =
which is in agreement with any Laplace table.