
2.5 Fourier transforms and convolutions 105
of the wave vector, i.e. |k|=2π/λ; in other words, they scale reciprocal space by
a factor of 2π. The reciprocal basis vectors, defined in equation (1.9) on page 11,
must then also be multiplied by 2π , and the de Broglie relation then contains the
factor h
instead of h. Finally, the factor of 2π is sometimes put in front of both
Fourier integrals, in the form 1/(2π)
D/2
, where D is the dimensionality of the
space in which the transform is computed. Hence, when comparing formulas in
the literature, be aware of the fact that the Fourier transform can be defined in
several different ways, all of which are correct, provided subsequent calculations
are performed in a consistent way. For an in-depth study of Fourier transforms and
related mathematical operations as applied to diffraction phenomena we refer the
reader to [Don69], [BW75], [Cow81], and [Bra86]. In this book, we will adhere to
the quantum mechanical sign convention, which has a minus sign in the exponential
of the direct Fourier transform.
2.5.2 The Dirac delta-function
The Dirac delta-function is a rather strange mathematical object which seems to
defy normal properties of continuity and differentiability and still remains useful
in various types of integral calculations. Although there is a rigorous mathematical
definition of this and related functions in the theory of distributions [Don69, pp. 91–
96], we will restrict ourselves to some simple definitions and properties (see, e.g.,
[Bra86]).
The Dirac δ-function is defined by
δ(r − a) =
6
0 r = a;
∞ r = a.
(2.47)
It is represented by an infinitely narrow peak of infinite height at the position r = a,
with the additional property that the area under the peak is equal to one:
...
δ(r − a)dr = 1. (2.48)
If we multiply the δ-function by a constant c, then the function cδ(r − a)isa
delta-function of weight c.
We can regard the δ-function as the limiting case of the Gaussian distribution,
when the width of the distribution goes to zero and the amplitude to infinity, keeping
the area under the curve normalized; in the 1D case this is described by
δ(x) = lim
a→∞
a
√
π
e
−a
2
x
2
. (2.49)