next up previous
Next: Fourier Transforms for Multidimensional Up: Fourier Transforms for Multidimensional Previous: Fourier Transforms for Multidimensional

Fourier Transforms for Aperiodic, Periodic and Truncated Periodic Functions.

In these notes, we will adopt the engineering convention of using tex2html_wrap_inline500 as the imaginary unit. We will in general denote the Fourier transform of a function f as tex2html_wrap_inline504 .

Consider a function tex2html_wrap_inline506 defined on the entire real line tex2html_wrap_inline508 . The Fourier transform is defined as:

  equation20

and the inverse Fourier transform as:

  equation26

Some comments on conventions are necessary. First, the transform involves a negative sign in the exponent, and the inverse transform involves a positive sign. In certain contexts, and in particular depending upon whether a mathematical, physical or engineering perspective is used, this situation may be reversed. As we shall see later in the case of plane waves, this convention is sometimes mixed within the same context! The other remark involves the tex2html_wrap_inline510 factor present in the inverse transform. Again, sometimes this factor is present in the forward transform, or sometimes both (1.1) and (1.2) contain the factor tex2html_wrap_inline512 . In other contexts, the formulas are written in terms of tex2html_wrap_inline514 ; for example, if u=t, a time variable with units of tex2html_wrap_inline518 , then tex2html_wrap_inline520 , called radian frequency, and having units of tex2html_wrap_inline522 , while tex2html_wrap_inline524 has units of Hz (Hertz). Making this change of variables eliminates the tex2html_wrap_inline528 factor all together.

The formulas (1.1) and (1.2) are the basis for Fourier analysis of functions defined on the unbounded 1-dimensional continuum from tex2html_wrap_inline532 to tex2html_wrap_inline534 . The inverse transform (1.2) has the additional interpretation of representing any such function as the superposition of a collection of sinusoidal functions:

  equation39

The parameter tex2html_wrap_inline536 must range over the unbounded continuum tex2html_wrap_inline538 in order for all functions to be so represented. An important parameter in Fourier analysis is the total energy in a function f, defined as:

  equation44

The total energy in the frequency domain is defined as:

  equation48

and an important result is Parseval's theorem:

  equation54

Alternatively, consider a function tex2html_wrap_inline506 defined on finite interval tex2html_wrap_inline544 . Then the Fourier transform and inverse transform relations are, respectively:

  equation57

and:

  equation61

where:

  equation66

Actually, (1.8) is sometimes called the Fourier series, and the values tex2html_wrap_inline546 are called the Fourier coefficients of f. Note that (1.8) represents the function f as the superposition of a discrete collection of sinusoids at frequencies tex2html_wrap_inline552 , where the fundamental frequency tex2html_wrap_inline554 is related to the length of the domain of definition T via (1.9). This form of Fourier analysis has a different interpretation. If we extend the definition of f to beyond the interval tex2html_wrap_inline544 , then the extended function is periodic with period T. Indeed, the basis sinusoidal functions:

  equation78

are precisely the sinusoids which have period T.

Thus, whereas (1.1) and (1.2) define Fourier analysis for aperiodic functions, (1.7) and (1.8) define Fourier analysis for periodic functions. Whereas the frequency domain for aperiodic functions is continuous, the frequency domain for periodic functions is discrete, and indeed the representation of a periodic function tex2html_wrap_inline506 with a sequence of values tex2html_wrap_inline546 at the frequencies tex2html_wrap_inline552 is called the line spectrum of f. Indeed, if we attempt to compute the aperiodic Fourier transform (1.1) of a periodic function f, we get an impulse train:

  equation89

where tex2html_wrap_inline576 denotes the Dirac delta function.

Now, if we consider a function f specified on the interval tex2html_wrap_inline544 which is not extended periodically but is instead zero outside this interval, the two Fourier analyses do not coincide. To clarify this, let tex2html_wrap_inline506 be periodic with period T and Fourier coefficients tex2html_wrap_inline546 , and let tex2html_wrap_inline588 be the window function defined as:

  equation96

and define the truncated function tex2html_wrap_inline590 as:

  equation103

Then the Fourier transform (1.1) tex2html_wrap_inline592 of tex2html_wrap_inline590 is:

  equation111

where:

  equation115

A comparison of (1.14) and (1.11) reveals that truncated a periodic function to one period causes the line spectrum to become continuous, but ``approximately'' discrete to the extent which the tex2html_wrap_inline596 functions in (1.14) have nonzero width and rippling tails.

Let us generalize to the case where an otherwise periodic function is truncated to several periods. Thus, let f have period T and Fourier coefficients tex2html_wrap_inline546 corresponding to a discrete line spectrum. We truncate f with the window function tex2html_wrap_inline606 to N complete periods, thus obtaining:

  equation123

Then the Fourier transform of tex2html_wrap_inline610 is:

  equation133

The continuous spectrum tex2html_wrap_inline612 is an approximation of the discrete spectrum tex2html_wrap_inline546 in the sense that narrow pulses ( tex2html_wrap_inline596 functions) of width (measured from first null to first null) tex2html_wrap_inline618 . These pulses, corresponding to spectral resolution, get narrower as N increases. As we include more periods of f in our ``window'', the spectrum becomes more and more discrete.

Consider, for example, a wave function present in a one-dimensional crystalline structure (i.e., a periodic potential structure). If the periodic structure were extended to infinity, without bound, then the wave function could be represented by a line spectrum, and the ``allowable'' frequencies tex2html_wrap_inline536 would be discrete, namely tex2html_wrap_inline552 . However, in any real device or material, the crystal has boundaries. The impact of this upon the wave function depends on the nature of the boundary. The case presented above assumes the function is truncated to identically 0 outside the material region, but regardless of the precise nature of the boundary conditions, we are left with a quasi-periodic function with a continuous spectrum (that is, a continuum of allowed frequecies); the continuous spectrum is ``approximately'' discrete, with the approximate model becoming more appropriate as the dimensions of the material encompass a sufficiently large number of fundamental periods of the wave function.


next up previous
Next: Fourier Transforms for Multidimensional Up: Fourier Transforms for Multidimensional Previous: Fourier Transforms for Multidimensional

Prof F. Fontaine
Thu May 9 15:29:28 EDT 1996