Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

A “beam” of light is very familiar. A laser pointer, for example, produces a pattern of light that is almost like a transverse section of a plane wave. But not quite. The laser beam spreads as it travels. You might think that this is simply due to the imperfections in the laser. But, in fact, no matter how hard you try to perfect your laser, you cannot avoid some spreading. The problem is “diffraction.”

Interference is a crucial part of the physics of diffraction. We have seen it already in one-dimensional situations such as interferometers and reflection from thin films. Here we begin to see what amazing things it does in more than one dimension.

13.1: Interference

Double Slit

The classic arrangement of the double slit experiment is illustrated in Figure 13.1. There is an opaque screen with two narrow slits in it in the z=0z = 0 plane (shown in cross section in the xzx-z plane — the slits come out of the paper in the yy direction) a small distance ss apart. The opaque screen is illuminated by a “point” source of light. For example, this could be a light with a clear glass bulb and a colored filter to pick out a narrow frequency range, far away in the −zz direction. A laser beam spread out with a lens would serve just as well. The important thing is to produce illumination at the opaque screen in which the frequency is in a narrow range and the phase of the light reaching the two slits is correlated. This will certainly be true if the illumination for z<0z < 0 is nearly a plane wave.

The double slit experiment.

Figure 13.1:The double slit experiment.

Now an interesting thing happens at the second screen, at z=Zz = Z. This “screen” could be a photographic plate, a translucent screen, or even your retina. What appears on this screen is a series of parallel lines of brightness in the yy direction (parallel to the slits). If one of the slits is covered up, the lines disappear.

What is going on is interference between the two possible straight-line paths by which the light can reach the screen. We will give a heuristic, physical discussion of the interference in this section. Then in the next section, we will derive the same result using the kind of forced oscillation and boundary condition arguments that you know from our study of one-dimensional waves.

The physical picture is this. The electric field at z=Zz = Z is a sum of the fields that come from the two slits. At x=0x = 0, in the symmetrical arrangement shown in Figure 13.1, the two possible paths for the light have the same length. Therefore, the two components of the field have the same phase. Therefore they interfere “constructively” and there is a bright line at x=0x = 0. As x changes, at z=Zz = Z, the relative length of the two paths changes. We will then get alternating positions of constructive and destructive interference. This gives rise to the bright lines.

We can understand the effect quantitatively by computing the path length explicitly. Consider a point on the screen at x=Xx = X. This is shown in Figure 13.2.

The length of the dotted line in Figure 13.2 is

X2+Z2.(13.1)\sqrt{X^{2}+Z^{2}}. \tag{13.1}

For the upper and lower slits, the path lengths are slightly shorter and longer respectively. The total difference in path length is

Δ=(X+s/2)2+Z2(Xs/2)2+Z2.(13.2)\Delta \ell=\sqrt{(X+s / 2)^{2}+Z^{2}}-\sqrt{(X-s / 2)^{2}+Z^{2}}. \tag{13.2}

For ZsZ \gg s, we can expand Δ\Delta \ell in 13.2 in a Taylor series,

ΔsXX2+Z2.(13.3)\Delta \ell \approx \frac{s X}{\sqrt{X^{2}+Z^{2}}}. \tag{13.3}
Path lengths.

Figure 13.2:Path lengths.

Therefore if the angular wave number of the light is k, the phase difference between the two paths is

ksXX2+Z2.(13.4)\frac{k s X}{\sqrt{X^{2}+Z^{2}}}. \tag{13.4}

We get an intensity maximum every time the phase is a multiple of 2π2 \pi, when

ksXX2+Z2=2nπ(13.5)\frac{k s X}{\sqrt{X^{2}+Z^{2}}}=2 n \pi \tag{13.5}

In terms of the wavelength, λ=2π/k\lambda=2 \pi / k, this is

XX2+Z2=nλs.(13.6)\frac{X}{\sqrt{X^{2}+Z^{2}}}=n \frac{\lambda}{s}. \tag{13.6}

Fourier Optics

Suppose that instead of a simple pattern of two slits, there is some more complicated pattern on the opaque screen. In general, we can describe the wave disturbance in the z=0z = 0 plane by some function of xx and y,1y,^{1}

f(x,y).(13.7)f(x, y). \tag{13.7}

Our strategy will be to think of the wave produced for z>0z > 0 by this general function as a sum of the effects of tiny holes at all the values of xx and yy for which f(x,y)f(x, y) is nonzero. For each little piece of the function, we can compute the path length to some point on the screen at z=Zz = Z. Then we can add up all the pieces.

Suppose, for simplicity, that f(x,y)f(x, y) is only nonzero in some small region around the origin, so that xx and yy will be small

x,yZ(13.8)x, y \ll Z \tag{13.8}

for all relevant values of xx and yy. Now the path length from the point (x,y,0)(x, y, 0) on the screen at z=0z = 0 to the point (X,Y,Z)(X, Y,Z) on the screen at z=Zz = Z is

(Xx)2+(Yy)2+Z2.(13.9)\sqrt{(X-x)^{2}+(Y-y)^{2}+Z^{2}}. \tag{13.9}

Using 13.8, we can expand this as follows:

R+Δ(x,y)+,(13.10)R+\Delta \ell(x, y)+\cdots , \tag{13.10}

where

R=X2+Y2+Z2(13.11)R=\sqrt{X^{2}+Y^{2}+Z^{2}} \tag{13.11}

and

Δ(x,y)=xX+yYR(13.12)\Delta \ell(x, y)=-\frac{x X+y Y}{R} \tag{13.12}

Thus the wave on the path from (x,y,0)(x, y, 0) to (X,Y,Z)(X, Y,Z) gets a phase of approximately

eik(R+Δ).(13.13)e^{i k(R+\Delta \ell)}. \tag{13.13}

Now we can put the pieces of the wave back together to see how the interference works at the point (X,Y,Z)(X, Y,Z). We just sum over all values of xx and yy, with a factor of the phase and the function, f(x,y)f(x, y). Because xx and yy are continuous variables, the sum is actually an integral,

dxdyf(x,y)eik(R+Δ)=eikRdxdyf(x,y)ei(xX+yY)k/R.(13.14)\int d x \int d y f(x, y) e^{i k(R+\Delta \ell)}=e^{i k R} \int d x \int d y f(x, y) e^{-i(x X+y Y) k / R}. \tag{13.14}

As we will see in more detail below, this is a two-dimensional Fourier transform of the function, f(x,y)f(x, y).

The equation, 13.14, is the fundamental result of Fourier optics. It contains much of the physics of diffraction. We have made a number of assumptions in deriving it that need further discussion. In the next section, we will derive it in a different way, treating the wave for z>0z > 0 as the result of a forced oscillation, produced by the wave in the z=0z = 0 plane. This will give us an alternative physical description of diffraction. But it will be useful to keep the simple picture of adding up all the possible paths in mind as we get deeper into the phenomena of interference and diffraction.


1We are ignoring polarization.

13.2: Beams

Making a Beam

Consider a system with an opaque barrier in the z=0z = 0 plane. If it is illuminated by a plane wave traveling in the +zz direction, the barrier absorbs the wave completely. Now cut a hole in the barrier. You might think that this would produce a beam of light traveling in the direction of the initial plane wave. But it is not that simple. This is actually the same problem that we considered in the previous section, 13.7-13.14, with the function, f(x,y)f(x, y), given by

f(x,y)eiωt(13.15)f(x, y) e^{-i \omega t} \tag{13.15}

where

f(x,y)={1 inside the opening 0 outside the opening (13.16)f(x, y)=\left\{\begin{array}{l} 1 \text { inside the opening } \\ 0 \text { outside the opening } \end{array}\right. \tag{13.16}

In fact, it will be useful to think about the more general problem, because the the function, 13.16, is discontinuous. As we will see later, this leads to more complicated diffraction phenomena than we see with a smooth function. In particular, we will assume that f(x,y)f(x, y) is signifigantly different from zero only for small x and y and goes to zero for large xx and yy. Then we can talk about the position of the “opening” that produces the beam, near x=y=0x = y = 0.

We can think of this problem as a forced oscillation problem. It is much easier to analyze the physics if we ignore polarization, so we will discuss scalar waves. For example, we could consider the transverse waves on a flexible membrane or pressure waves in a gas. Equivalently, we could consider light waves that depend only on two dimensions, xx and zz, and polarized in the yy direction. We will not worry about these niceties too much, because as usual, the basic properties of the wave phenomena will be determined by translation invariance properties that are independent of what it is that is waving!

Caveats

It is worth noting that there are other approaches to the diffraction problem besides the ones we discuss here. The physical setup we are considering is slightly different from the standard setup of Huygens-Fresnel-Kirchhoff diffraction, because we are studying a different problem. In Huygens-Fresnel-Kirchhoff diffraction,[1] you consider the diffraction of a plane wave from a finite object, whereas, our opaque screen is infinite in the xx-yy plane. In the Huygens-Fresnel case, the appropriate boundary condition is that there are no incoming spherical waves coming back in from infinity toward the object that is doing the diffracting. The diffraction produces outgoing spherical waves only. We will not discuss this alternative physical setup in detail because it leads deeper into Bessel functions[2] than we (and probably the reader as well) are eager to go. The advantage of our formulation is that we can set it up entirely with the plane wave solutions that we have already discussed. We will simply indicate the differences between our treatment and Huygens-Fresnel diffraction. For diffraction in the forward region, at large z and not very far from the z axis, the diffraction is the same in the two cases.

The reader should also notice that we have not explained exactly how the oscillation, 13.15,

f(x,y)eiωt(13.17)f(x, y) e^{-i \omega t} \tag{13.17}

in the z=0z = 0 plane is produced. This is by no means a trivial problem, but we will not discuss it in detail. We are concentrating on the physics for z>0z > 0. This will be quite interesting enough.

Boundary at \infty

To determine the form of the waves in the region z>0z > 0 (beyond the barrier), we need boundary conditions both at z=0z = 0 and at z=z=\infty. At z=0z = 0, there is an oscillating amplitude given by 13.15.[3] At z=z=\infty, we must impose the condition that there are no waves traveling in the −zz direction (back toward the barrier) and that the sodwlutions are well behaved at \infty.

The normal modes have the form

eikriωt(13.18)e^{i \vec{k} \cdot \vec{r}-i \omega t} \tag{13.18}

where k\vec{k} satisfies the dispersion relation

ω2=v2k2.(13.19)\omega^{2}=v^{2} \vec{k}^{2}. \tag{13.19}

Thus given two components of k\vec{k}, we can find the third using 13.18. So we can write the solution as

ψ(r,t)=dkxdkyC(kx,ky)eikriωt for z>0(13.20)\psi(\vec{r}, t)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}-i \omega t} \text { for } z>0 \tag{13.20}

where

kz=ω2/v2kx2ky2.(13.21)k_{z}=\sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}. \tag{13.21}

Note that 13.20 does not determine the sign of k2k_{2}. But the boundary condition at \infty does. If kzk_{z} is real, it must be positive in order to describe a wave traveling to the right, away from the barrier. If kzk_{z} is complex, its imaginary part must be positive, otherwise eikre^{i \vec{k} \cdot \vec{r}} would blow up as zz goes to \infty. Thus,

 if Imkz=0, then Rekz>0 ; otherwise Imkz>0 . (13.22)\text { if } \operatorname{Im} k_{z}=0, \text { then } \operatorname{Re} k_{z}>0 \text { ; otherwise } \operatorname{Im} k_{z}>0 \text { . } \tag{13.22}

We discussed the physical signifigance of the boundary condition, 13.21, in our discussion of tunneling starting on page 274. There is real physics in the boundary condition at infinity. For example, consider the relation between this analysis and the discussion of path lengths in the previous section. In the language of the last chapter, we cannot describe the effects of the waves with imaginary kzk_{z}. However, the boundary condition, 13.21, ensures that these components of the wave will go to zero rapidly for large zz.

Boundary at z=0z=0

All we need to do to determine the form of the wave for z>0z > 0 is to find C(kx,ky)C(k_{x}, k_{y}). To do that, we implement the boundary condition at z=0z = 0 by using 13.19

ψ(r,t)=dkxdkyC(kx,ky)eikriωt for z>0(13.23)\psi(\vec{r}, t)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}-i \omega t} \text { for } z>0 \tag{13.23}

and setting

ψ(r,t)z=0=f(x,y)eiωt(13.24)\left.\psi(\vec{r}, t)\right|_{z=0}=f(x, y) e^{-i \omega t} \tag{13.24}

to get 13.15. Taking out the common factor of eiωte^{-i \omega t}, this condition is

f(x,y)=dkxdkyC(kx,ky)ei(kxx+kyy).(13.25)f(x, y)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i\left(k_{x} x+k_{y} y\right)}. \tag{13.25}

If f(x,y)f(x, y) is well behaved at infinity (as it certainly is if, as we have assumed, it goes to zero for large xx and yy), then only real kxk_{x} and kyk_{y} can contribute in 13.23. A complex kxk_{x} would produce a contribution that blows up either for x+x \rightarrow+\infty or xx \rightarrow-\infty. Thus the integrals in 13.23 run over real k from −\infty to \infty.

13.23 is just a two-dimensional Fourier transform. Using arguments analogous to those we used in our discussion of signals, we can invert it to find CC.

C(kx,ky)=14π2dxdyf(x,y)ei(kxx+kyy)(13.26)C\left(k_{x}, k_{y}\right)=\frac{1}{4 \pi^{2}} \int d x d y f(x, y) e^{-i\left(k_{x} x+k_{y} y\right)} \tag{13.26}

Inserting 13.24 into 13.19 with 13.20 and 13.21

kz=ω2/v2kx2ky2(13.27)k_{z}=\sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}} \tag{13.27}
 if Imkz=0 , then Rekz>0 ; otherwise Imkz>0(13.28)\text { if } \operatorname{Im} k_{z}=0 \text { , then } \operatorname{Re} k_{z}>0 \text { ; otherwise } \operatorname{Im} k_{z}>0 \tag{13.28}

gives the result for the wave, ψ(r,t)\psi(\vec{r}, t), for z>0z > 0. This result is really very general. It holds for any reasonable f(x,y)f(x, y).


13.3: Small and Large z

But what do we do with it? The integral in 13.19 is too complicated to do analytically. Below, we will give some examples of how it works by doing the integral numerically. However, for small zz and for large zz, the integral simplifies in different ways.

Small zz

For sufficiently small zz, we would expect on physical grounds that we really have produced a beam and projected an image of the function, f(x,y)f(x, y). To see this explicitly, we will use the fact that for a particular (well behaved) f(x,y)f(x, y), the Fourier transform C(kx,ky)C(k_{x}, k_{y}) is a function that goes to zero for

kkx2+ky21/L(13.29)k \equiv \sqrt{k_{x}^{2}+k_{y}^{2}} \gg 1 / L \tag{13.29}

for some LL much larger than the wavelength. The distance LL is determined by the smoothness of f(x,y)f(x, y). Typically, LL is the size of the smallest important feature in f(x,y)f(x, y), the smallest distance over which f(x,y)f(x, y) changes appreciably. We saw this in our discussion of Fourier transforms in connection with signals in Chapter 10. We will see more examples below. We can expand kzzk_{z}z in the exponential in a Taylor expansion,

kzz=zω2/v2kx2ky2=zωv1v2(kx2+ky2)ω2zωvzv(kx2+ky2)2ω(13.30)\begin{aligned} &k_{z} z=z \sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}} \\ &=\frac{z \omega}{v} \sqrt{1-\frac{v^{2}\left(k_{x}^{2}+k_{y}^{2}\right)}{\omega^{2}}} \\ &\approx \frac{z \omega}{v}-\frac{z v\left(k_{x}^{2}+k_{y}^{2}\right)}{2 \omega} \tag{13.30} \end{aligned}

Because of 13.25, the largest value of kx2+ky2\sqrt{k_{x}^{2}+k_{y}^{2}} that we need in the integral, 13.19

ψ(r,t)=dkxdkyC(kx,ky)eikriωt for z>0(13.31)\psi(\vec{r}, t)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}-i \omega t} \text { for } z>0 \tag{13.31}

is of order 1/L1/L. For much larger values, the integrand is zero. Thus the largest possible value of the second term in the expansion 13.26 that matters in the integral, 13.19 is of the order of

zv2ωL2.(13.32)\frac{z v}{2 \omega L^{2}}. \tag{13.32}

Therefore, if LL is finite and zz is small (ωL2/v)\left(\ll \omega L^{2} / v\right), the second term is small and we can keep only the first term, zω/vz \omega / v. Then putting this back into the integral, 13.19, we have

ψ(r,t)=dkxdkyC(kx,ky)eikriωtdkxdkyC(kx,ky)ei(kxx+kyy+zω/vωt)dkxdkyC(kx,ky)ei(kxx+kyy)ei(zω/vωt)f(x,y)eiω(zvt)/v(13.33)\begin{gathered} \psi(\vec{r}, t)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}-i \omega t} \\ \approx \int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i\left(k_{x} x+k_{y} y+z \omega / v-\omega t\right)} \\ \approx \int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i\left(k_{x} x+k_{y} y\right)} e^{i(z \omega / v-\omega t)} \approx f(x, y) e^{i \omega(z-v t) / v} \tag{13.33} \end{gathered}

This is just what we expect — a beam with the shape of the original function, propagating in the zz direction with velocity vv.

The result 13.28 begins to break down when the next term in the Taylor series, 13.26, becomes important. That is when

zv(kx2+ky2)ω1(13.34)\frac{z v\left(k_{x}^{2}+k_{y}^{2}\right)}{\omega} \approx 1 \tag{13.34}

Thus

zωL2v=2πL2λ(13.35)z \approx \frac{\omega L^{2}}{v}=\frac{2 \pi L^{2}}{\lambda} \tag{13.35}

marks the transition from a simple beam to the onset of important diffraction effects.

If L=0L = 0, which is the situtation in the example of a single slit of width 2a2a, that we will analyze in detail later, important diffraction effects start immediately because the slit has sharp edges. However, the beam maintains some semblance of its original size until za2/λz \approx a^{2} / \lambda.

For z larger than ωL2/v\omega L^{2} / v, the kxk_{x} and kyk_{y} dependence from the eikzze^{i k_{z} z} factor cannot be ignored. In general, the evaluation of the integral, 13.19, is very hard. However, for very large z,zLz, z \gg L, we can use a physical argument to find the result of the integral, 13.19.

Large zz

Suppose that you are very far away, at a point R=(X,Y,Z)\vec{R}=(X, Y, Z),

(x,y,z)=(X,Y,Z) for ZωL2/v.(13.36)(x, y, z)=(X, Y, Z) \text { for } Z \gg \omega L^{2} / v. \tag{13.36}

Then you cannot see the details of the shape of the opening or other details of f(x,y)f(x, y), only its position. The wave you detect at some far-away point must have come from the opening and if you are far enough away, it is almost a plane wave. This is called “Fraunhofer” or “far-field” diffraction. If this condition is not satisfied, the problem is called “Fresnel” or “near-field” diffraction. For the light to actually reach your eye in the far-field situation, the propagation vector must point from the opening to you. The situation is depicted in the diagram in Figure 13.3. In the near-field region, the spreading due to diffraction is of the same order as the size of the opening. For much larger ZZ, in the far-field region, the k\vec{k} vector must point back to the opening.

Thus the only contribution to the integral, 13.19,

ψ(r,t)=dkxdkyC(kx,ky)eikriωt for z>0(13.37)\psi(\vec{r}, t)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}-i \omega t} \text { for } z>0 \tag{13.37}

that counts is that proportional to eikRe^{i \vec{k} \cdot \vec{R}} where k\vec{k} points from the opening to your eye. Because the integrand in 13.19 has a factor ofC(kx,ky)C(k_{x}, k_{y}), the amplitude of the wave is proportional to C(kx,ky)C(k_{x}, k_{y}) where

(kx,ky,kz)=(kx,ky,ω2/v2k2)(X,Y,Z).(13.38)\left(k_{x}, k_{y}, k_{z}\right)=\left(k_{x}, k_{y}, \sqrt{\omega^{2} / v^{2}-k^{2}}\right) \propto(X, Y, Z). \tag{13.38}
The basic diffraction problem — making a beam.

Figure 13.3:The basic diffraction problem — making a beam.

The amplitude is also inversely proportional to

R=X2+Y2+Z2,(13.39)R=\sqrt{X^{2}+Y^{2}+Z^{2}}, \tag{13.39}

because the intensity must fall off as R2R^{−2}, as in a spherical wave, by energy conservation.

There are other factors that contribute to the variation of the amplitude besides C(kx,ky)C(k_{x}, k_{y}) (we will see one below). However, typically, all the other factors are very slowly varying and can be ignored. Thus we expect that the intensity for large ZZ is approximately

C(kx,ky)2R2,(13.40)\frac{\left|C\left(k_{x}, k_{y}\right)\right|^{2}}{R^{2}}, \tag{13.40}

where k\vec{k} and R\vec{R} are related by 13.32.

(kx,ky,kz)=(kx,ky,ω2/v2k2)(X,Y,Z)(13.41)\left(k_{x}, k_{y}, k_{z}\right)=\left(k_{x}, k_{y}, \sqrt{\omega^{2} / v^{2}-k^{2}}\right) \propto(X, Y, Z) \tag{13.41}

which implies

kxX=kyY=kzZ=kR=ω/vR,(13.42)\frac{k_{x}}{X}=\frac{k_{y}}{Y}=\frac{k_{z}}{Z}=\frac{k}{R}=\frac{\omega / v}{R}, \tag{13.42}

or

kx=kXR,ky=kYR.(13.43)k_{x}=\frac{k X}{R}, \quad k_{y}=\frac{k Y}{R}. \tag{13.43}

Now here is the point! Inserting 13.36 into 13.24

C(kx,ky)=14π2dxdyf(x,y)ei(kxx+kyy)(13.44)C\left(k_{x}, k_{y}\right)=\frac{1}{4 \pi^{2}} \int d x d y f(x, y) e^{-i\left(k_{x} x+k_{y} y\right)} \tag{13.44}

gives the integral in 13.14 that came from our physical argument about interference!

dxdyf(x,y)eik(R+Δ)=eikRdxdyf(x,y)ei(xX+yY)k/R(13.45)\int d x \int d y f(x, y) e^{i k(R+\Delta \ell)}=e^{i k R} \int d x \int d y f(x, y) e^{-i(x X+y Y) k / R} \tag{13.45}

Thus our description of the wave for z>0z > 0 as a forced oscillation problem contains the same factor that describes the interference of all the paths that the wave can take from the opening to R\vec{R}. The advantage of our present approach is that it is a real derivation.

We can also write this result in terms of angles:

sinθx=XR=kxvω,sinθy=YR=kyvω(13.46)\sin \theta_{x}=\frac{X}{R}=\frac{k_{x} v}{\omega}, \sin \theta_{y}=\frac{Y}{R}=\frac{k_{y} v}{\omega} \tag{13.46}

where θx\theta_{x} and θy\theta_{y} are the angles of the vector r\vec{r} from the X=y=0X = y = 0 line in the xx and yy directions. Or equivalently,

X=Zkxω2/v2kx2ky2,y=Zkyω2/v2kx2ky2(13.47)X=\frac{Z k_{x}}{\sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}}, \quad y=\frac{Z k_{y}}{\sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}} \tag{13.47}

This is illustrated in the diagram in Figure 13.4.

Stationary Phase

Mathematically, 13.32

(kx,ky,kz)=(kx,ky,ω2/v2k2)(X,Y,Z)(13.48)\left(k_{x}, k_{y}, k_{z}\right)=\left(k_{x}, k_{y}, \sqrt{\omega^{2} / v^{2}-k^{2}}\right) \propto(X, Y, Z) \tag{13.48}

arises for large ZZ becasue the phase of the exponential in 13.19

ψ(r,t)=dkxdkyC(kx,ky)eikriωt for z>0(13.49)\psi(\vec{r}, t)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}-i \omega t} \text { for } z>0 \tag{13.49}

is very rapidly varying as a function of kxk_{x} and kyk_{y} except for special values of kxk_{x} and kyk_{y} where the derivatives of the phase with respect to kxk_{x} and kyk_{y} vanish. If the function is centered at x=y=0x = y = 0 and is smooth,[4] the kk derivatives of C(kx,ky)C(k_{x}, k_{y}) are of order LL and are

irrelevant. Thus the contribution comes from k_{x}, k_{y} such that

Figure 13.4:irrelevant. Thus the contribution comes from kxk_{x}, kyk_{y} such that

kx(Xkx+Yky+Zω2/v2kx2ky2)=XZkxω2/v2kx2ky2=0,ky(Xkx+Yky+Zω2/v2kx2ky2)=YZkyω2/v2kx2ky2=0,(13.50)\begin{aligned} \frac{\partial}{\partial k_{x}}\left(X k_{x}+Y k_{y}+Z \sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}\right) &=X-\frac{Z k_{x}}{\sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}}=0, \\ \frac{\partial}{\partial k_{y}}\left(X k_{x}+Y k_{y}+Z \sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}\right) &=Y-\frac{Z k_{y}}{\sqrt{\omega^{2} / v^{2}-k_{x}^{2}-k_{y}^{2}}}=0, \tag{13.50} \end{aligned}

which is equivalent to 13.38. A careful evaluation of the integral, taking account of the kxk_{x} and kyk_{y} dependence in the neighborhood of the critical value determined by 13.38 yields an additional factor in the amplitude of the wave of

Zr2=cosθr(13.51)\frac{Z}{r^{2}}=\frac{\cos \theta}{r} \tag{13.51}

where θ\theta is the angle of the vector r\vec{r} to the zz axis. We expected the /r/r factor because of the spreading of the diffracted wave with distance. The factor of cosθ\cos \theta is actually the only place where the details of the boundary condition at infinity, 13.21, enter into our expression for the diffracted wave. This factor guarantees that the diffracted wave vanishes as we go to the surface of the opaque screen far from the opening. This is analogous to the “obliquity” factor (1+cosθ)/2(1+\cos \theta) / 2, in the Fresnel-Kirchhoff diffraction theory. The difference between the two is due to the different boundary conditions (our infinite flat barrier versus the lack of incoming spherical waves). We will usually ignore this factor, and indeed it generally does not make much difference where diffraction is important in the forward direction. The important thing is that everything else about the diffraction in the far-field region is determined just by linearity, translation invariance and local interactions.

Spot Size

A useful way to think about the transition from near-field (Fresnel) to far-field (Fraunhofer) diffraction is to consider the size of the spot formed by the beam of Figure 13.3 as a function of zz. This is a competition between two effects. Increasing the size of the opening makes the spot size larger at small zz. However, decreasing the size of the opening increases the spread in kxk_{x}, thus increasing the diffraction, and making the spot size larger at large zz. For a given zz, the best you can do is to choose the size of your opening so that these two effects are of the same order of magnitude. Suppose that the size of your opening is \ell. Then the spread in kxk_{x} is of order 2π/2 \pi / \ell. At large zz, the beam spreads into a cone with an opening angle of order

θλ.(13.52)\theta \approx \frac{\lambda}{\ell}. \tag{13.52}

Thus when

λz,(13.53)\frac{\lambda}{\ell} \approx \frac{\ell}{z}, \tag{13.53}

the spreading of the spot due to diffraction is of the same order of magnitude as the size of the opening. We conclude that to minimize the spot size for a given zz, you should choose an opening of size

λz.(13.54)\ell \approx \sqrt{\lambda z}. \tag{13.54}

The relation, 13.41, up to factors of π\pi, is what defines the region of Fresnel diffraction in Figure 13.3. Another way of summarizing the result of this discussion is that for

z2λ,(13.55)z \gg \frac{\ell^{2}}{\lambda}, \tag{13.55}

the spreading due to diffraction is much larger than the spreading due to the size of the opening. This defines the region of far-field, or Fraunhofer diffraction.

Angles

What happens if the plane wave in 13.15 is coming in toward the opaque barrier at an angle, rather than head on? To be specific, suppose that the k\vec{k} vector of the wave makes an angle θ\theta with the perpendicular in the xx-zz plane, so that

kz=kcosθ,kx=ksinθ.(13.56)k_{z}=k \cos \theta, \quad k_{x}=k \sin \theta. \tag{13.56}

Then it is reasonable to assume that the analog of 13.15, the amplitude of the wave in the z=0z = 0 plane, is6

fθ(x,y)=f(x,y)eixksinθ(13.57)f_{\theta}(x, y)=f(x, y) e^{i x k \sin \theta} \tag{13.57}

where the additional xx dependence has simply been inherited from the xx dependence of the incoming wave. We can write the Fourier transform of fθf_{\theta} in terms of that of ff as follows:

fθ(x,y)=dkxdkyC(kx,ky)ei(kxx+kyy)eixksinθ=dkxdkyC(kxksinθ,ky)ei(kxx+kyy),(13.58)\begin{aligned} &f_{\theta}(x, y)=\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i\left(k_{x} x+k_{y} y\right)} e^{i x k \sin \theta} \\ &=\int d k_{x} d k_{y} C\left(k_{x}-k \sin \theta, k_{y}\right) e^{i\left(k_{x} x+k_{y} y\right)} \tag{13.58} \end{aligned},

which implies

Cθ(kx,ky)=C(kxksinθ,ky).(13.59)Cθ(kx, ky) = C(kx − k \sin θ, ky). \tag{13.59}

This is entirely reasonable. If the maximum of C(kx,ky)C(k_{x}, k_{y}) occurs at kx0k_{x} \approx 0, the maximum of Cθ(kx,ky)C_{\theta}(k_{x}, k_{y}) occurs at kx=ksinθk_{x}=k \sin \theta. Thus the diffraction pattern appears where a line through the opening in the direction of the incoming plane wave crosses the screen, just as we would expect from a skew beam.


13.4: Examples

Single Slit

Suppose

f(x,y)={1 for axa0 for x>a(13.60)f(x, y)=\left\{\begin{array}{l} 1 \text { for }-a \leq x \leq a \\ 0 \text { for }|x|>a \end{array}\right. \tag{13.60}

independent of yy. This is really a two-dimensional problem, because we can keep ky=0k_{y} = 0 and ignore it (except for a factor of 2π2\pi, that we won’t worry about) by dropping the kyk_{y} integral from 13.19. 13.24

C(kx,ky)=14π2dxdyf(x,y)ei(kxx+kyy)(13.61)C\left(k_{x}, k_{y}\right)=\frac{1}{4 \pi^{2}} \int d x d y f(x, y) e^{-i\left(k_{x} x+k_{y} y\right)} \tag{13.61}

becomes (with the 2π2\pi corrected to make it one-dimensional)[5]

C(kx)=12πdxf(x)eikxx=12πaadxeikxx=12iπkxeikxxaa=sinkxaπkx.(13.62)\begin{gathered} C\left(k_{x}\right)=\frac{1}{2 \pi} \int_{-\infty}^{\infty} d x f(x) e^{-i k_{x} x} \\ =\frac{1}{2 \pi} \int_{-a}^{a} d x e^{-i k_{x} x}=\left.\frac{1}{-2 i \pi k_{x}} e^{-i k_{x} x}\right|_{-a} ^{a}=\frac{\sin k_{x} a}{\pi k_{x}} . \tag{13.62} \end{gathered}

Thus we expect that the intensity of the wave at large zz is proportional to C(kx)2\left|C\left(k_{x}\right)\right|^{2},

I(x,y)sin2(kxa)kx2(13.63)I(x, y) \propto \frac{\sin ^{2}\left(k_{x} a\right)}{k_{x}^{2}} \tag{13.63}

where

xr=kxk=kxω/v(13.64)\frac{x}{r}=\frac{k_{x}}{k}=\frac{k_{x}}{\omega / v} \tag{13.64}

or

kx=ωvxr.(13.65)k_{x}=\frac{\omega}{v} \frac{x}{r}. \tag{13.65}

Thus if we measure the intensity of the diffracted beam, a distance rr from the opening, the intensity goes as follows:[6]

I(x,y)sin2(2πax/rλ)x2(13.66)I(x, y) \propto \frac{\sin ^{2}(2 \pi a x / r \lambda)}{x^{2}} \tag{13.66}

where λ\lambda is the wavelength of the light. A plot of II as a function of xx is shown in Figure 13.5. This is called a diffraction pattern. In the important case of light passing through a small aperture, the diffraction pattern can be easily observed by projecting the diffracted beam onto a screen. The features of this pattern worth noting are the large maximum at x=0x = 0, with twice the width of all the other maxima, and the periodic zeros for x=nrλ/2ax=n r \lambda / 2 a. Note also that as the width, aa of the slit decreases, the size of the diffraction pattern increases.

Moral: This inverse relation between the size of the slit and the size of the diffraction pattern is another illustration of the general feature of Fourier transforms discussed in Chapter 10.

Near-field Diffraction

We will pause here to discuss the region for intermediate zz, Fresnel diffraction, where the diffraction problem is complicated. All we can do is to evaluate the integral, 13.19, numerically, by computer, and find the intensity approximately at various values of zz. For example, suppose that we take

ωc=2πλ=100a,(13.67)\frac{\omega}{c}=\frac{2 \pi}{\lambda}=\frac{100}{a}, \tag{13.67}
The intensity of the diffraction pattern as a function of x.

Figure 13.5:The intensity of the diffraction pattern as a function of xx.

corresponding to a rather small slit, with a width of only 100/π32100 / \pi \approx 32 times the wavelength of the wave. We will then use 13.19 to calculate the intensity of the wave at various values of zz, in units of aa. For small zz, the result is shown in Figure 13.6. You can see that the basic beam shape is maintained for a while, as we expected from 13.28. However, wiggles develop immediately. The rather large wiggly diffraction is due to the sharp edges. Below, we will give another example in which the diffraction is much gentler. For intermediate zz, shown in Figure 13.7, the wiggles begin to coalesce and dramatically change the overall shape of the beam. At the same time, the beam begins to spread out.

The intensity of a wave passing through a slit, for small z.

Figure 13.6:The intensity of a wave passing through a slit, for small zz.

Finally, in Figure 13.8, we show the approach to the large zz regions, where diffraction takes over completely and the far field diffraction pattern, 13.54, appears.

The intensity of a wave passing through a slit, for intermediate z.

Figure 13.7:The intensity of a wave passing through a slit, for intermediate zz.

The intensity of a wave passing through a slit, as z gets large.

Figure 13.8:The intensity of a wave passing through a slit, as zz gets large.

One more example may be interesting. Suppose that instead of being a simple hole in the opaque screen, the opening is shaded in such a way that the wave disturbance at z=0z = 0 has the form

f(x,y)=ex/a.(13.68)f(x, y)=e^{-|x| / a}. \tag{13.68}

The Fourier transform here was done in Chapter 10 in 10.49-10.56. Substituting ωkx\omega \rightarrow k_{x} and Γ1/a\Gamma \rightarrow 1 / a in 10.56 gives

C(kx)=1πa1+a2kx2.(13.69)C\left(k_{x}\right)=\frac{1}{\pi} \frac{a}{1+a^{2} k_{x}^{2}}. \tag{13.69}

This determines the intensity distribution at large zz. However, unlike the previous example, this pattern gives very gentle diffraction. For small zz, the intensity pattern is shown in Figure 13.9. The sharp point in 13.56 disappears, but otherwise the change is very gradual because the initial pattern is very smooth except at x=0x = 0. For intermediate and large zz, the intensity patterns are shown in Figure 13.10 and Figure 13.11.

The intensity distribution from [13.56](#eq-13-56) for small z.

Figure 13.9:The intensity distribution from 13.56 for small zz.

The intensity distribution from [13.56](#eq-13-56) for intermediate z.

Figure 13.10:The intensity distribution from 13.56 for intermediate zz.

The intensity distribution from [13.56](#eq-13-56) for large z.

Figure 13.11:The intensity distribution from 13.56 for large zz.

Rectangle

Suppose

f(x,y){1 for axxax and ayyay,0 otherwise .(13.70)f(x, y)-\left\{\begin{array}{l} 1 \text { for }-a_{x} \leq x \leq a_{x} \text { and }-a_{y} \leq y \leq a_{y}, \\ 0 \text { otherwise }. \end{array}\right. \tag{13.70}

This is the product of a single slit pattern in xx with a single slit pattern in yy. The Fourier transform is the product of the one-dimensional Fourier transforms

C(kx,ky)=14π2axaxdxeikxxayaydyeikyy=sin(kxax)πkxsin(kyay)πky(13.71)\begin{aligned} C\left(k_{x}, k_{y}\right)=& \frac{1}{4 \pi^{2}} \int_{-a_{x}}^{a_{x}} d x e^{-i k_{x} x} \int_{-a_{y}}^{a_{y}} d y e^{-i k_{y} y} \\ &=\frac{\sin \left(k_{x} a_{x}\right)}{\pi k_{x}} \frac{\sin \left(k_{y} a_{y}\right)}{\pi k_{y}} \tag{13.71} \end{aligned}

Thus the intensity looks approximately like

I(x,y)sin2(2πaxx/rλ)x2sin2(2πayy/rλ)y2.(13.72)I(x, y) \propto \frac{\sin ^{2}\left(2 \pi a_{x} x / r \lambda\right)}{x^{2}} \frac{\sin ^{2}\left(2 \pi a_{y} y / r \lambda\right)}{y^{2}}. \tag{13.72}

Of course, once again, because of the general properties of the Fourier transform, if the rectangle is narrow in xx, the diffraction pattern is spread out in kxk_{x}, and similarly for yy.

δ\delta “Functions”

As the slit in 13.49 gets narrower, the diffraction pattern spreads out. Of course, the intensity also decreases. The intensity at kx=0k_{x} = 0 is related to the Fourier transform of ff at zero, which is just the integral of ff over all xx. As the slit gets narrower, this integral decreases. But suppose that we increase the intensity of the incoming beam, as aa decreases, to keep the intensity of the maximum of the diffraction pattern fixed. Ignoring the yy dependence, we require

fa(x)={12a for axa,0 for x>a.(13.73)f_{a}(x)=\left\{\begin{array}{l} \frac{1}{2 a} \text { for }-a \leq x \leq a, \\ 0 \text { for }|x|>a. \end{array}\right. \tag{13.73}

The limit of faf_{a} as a0a \rightarrow 0 doesn’t really exist as a function. It is zero everywhere except x=0x = 0. But it goes to \infty very fast at x=0x = 0, so that

lima0dxfa(x)=1(13.74)\lim _{a \rightarrow 0} \int d x f_{a}(x)=1 \tag{13.74}

It is extraordinarily convenient to invent an object with these properties, called a “δ\delta-function”. That is, δ(x)\delta(x) has the property that it is zero except at x=0x = 0, and that

dxδ(x)=1.(13.75)\int d x \delta(x)=1. \tag{13.75}

In fact, this object makes a kind of mathematical sense, so long as you do not square it. δ\delta-functions can be manipulated like ordinary functions, added together, multiplied by constants or smooth functions — δ\delta-functions of different variables can even be multiplied — just don’t square them! For example, a delta function can be multiplied by an ordinary continuous function:

f(x)δ(x)=f(0)δ(x)(13.76)f(x) \delta(x)=f(0) \delta(x) \tag{13.76}

where the equality follows because the delta function vanishes except at x=0x = 0, so that only the value of ff at 0 matters.

Now it should be clear from 13.63 and 13.64 that the Fourier transform of δ(x)\delta(x) is just a constant:

C(k)=12πdxeikxδ(x)=12π.(13.77)C(k)=\frac{1}{2 \pi} \int d x e^{-i k x} \delta(x)=\frac{1}{2 \pi}. \tag{13.77}

The diffraction pattern for this thing is thus very boring. There is uniform illumination at all angles.

Of course, in physics, we can’t make δ\delta-functions. However, if aa, in 13.61 is much smaller than the wavelength of the wave, then it might as well be a δ\delta-function, because it only matters what C(kx)C(k_{x}) is for kx<k=2π/λk_{x}<k=2 \pi / \lambda. Larger kxk_{x} correspond to exponential waves that die off rapidly with zz. But for such kxk_{x}, the product kxak_{x}a is very small, thus

C(kx)=12πsinkxakxa12π(1(kxa)26+)12π(13.78)C\left(k_{x}\right)=\frac{1}{2 \pi} \frac{\sin k_{\underline{x}} a}{k_{x} a} \rightarrow \frac{1}{2 \pi}\left(1-\frac{\left(k_{\underline{x}} a\right)^{2}}{6}+\cdots\right) \approx \frac{1}{2 \pi} \tag{13.78}

and we still get uniform diffraction over all angles.

Moral:δ\delta-functions are simply a convenience. When physicists talk about a δ\delta-function, they mean (or at least they should mean) a function likefa(x)f_{a}(x), whereaa is smaller than any physical distance that is important in the problem. Once aa gets that small, it is often easier to keep track of the math when you go all the way to the unphysical limit, a=0a = 0.

Some Properties of δ\delta-Functions

The Fourier transform of a δ\delta-function is a complex exponential:

 if f(x)=δ(xa) then C(k)=12πeika . (13.79)\text { if } f(x)=\delta(x-a) \text { then } C(k)=\frac{1}{2 \pi} e^{-i k a} \text { . } \tag{13.79}

The Fourier transform of a complex exponential is a δ\delta-function:

 if f(x)=eix then C(k)=δ(k).(13.80)\text { if } f(x)=e^{-i \ell x} \text { then } C(k)=\delta(k-\ell). \tag{13.80}

A δ\delta-function can be reached as a limit in a variety of different ways. For example, from 13.68, we would expect that as aa \rightarrow \infty, the Fourier transform of 13.49 should approach a δ\delta-function:

limasinkxakx=δ(kx) . (13.81)\lim _{a \rightarrow \infty} \frac{\sin k_{x} a}{k_{x}}=\delta\left(k_{x}\right) \text { . } \tag{13.81}

Dimension from Two

Using δ\delta-functions, we can say more elegantly what is meant by the statement we made above that if f(x,y)f(x, y) does not depend on yy, the problem is one-dimensional. If we look at the limit of 13.58 as aya_{y} \rightarrow \infty, it goes over into 13.49. In other words, when a rectangle is infinitely long, it is a slit. In this limit, the Fourier transform, 13.59 goes into

sin(kxax)πkxδ(ky).(13.82)\frac{\sin \left(k_{x} a_{x}\right)}{\pi k_{x}} \delta\left(k_{y}\right). \tag{13.82}

This is the real meaning of 13.50. It is one-dimensional in the sense that kyk_{y} is stuck at 0. There is no diffraction in the yy direction.

Many Narrow Slits

An interesting application of δ-functions is to the diffraction pattern for several narrow slits. We will use this later in various ways. Consider a function, f(x,y)f(x, y) of the form

j=0n1δ(xjb)(13.83)\sum_{j=0}^{n-1} \delta(x-j b) \tag{13.83}
If b k_{x} / k=n \lambda, the interference is constructive.

Figure 13.12:If bkx/k=nλb k_{x} / k=n \lambda, the interference is constructive.

The diffraction pattern for three narrow slits.

Figure 13.13:The diffraction pattern for three narrow slits.

This describes a series of nn narrow slits[7] at x=0x = 0, x=bx = b, x=2bx = 2b, etc., up to x=(n1)bx = (n − 1)b. The Fourier transform of 13.71 is a sum of contributions from the individual δ\delta-functions,

The diffraction pattern for 6 narrow slits.

Figure 13.14:The diffraction pattern for 6 narrow slits.

from 13.67 and 13.68

C(kx,ky)=δ(ky)2πj=0n1eijbkx.(13.84)C\left(k_{x}, k_{y}\right)=\delta\left(k_{y}\right) \frac{\perp}{2 \pi} \sum_{j=0}^{n-1} e^{-i j b k_{x}}. \tag{13.84}

But the sum is a geometric series that can be done explicitly:

j=0n1eijbkx=1einbkx1eibkx=einbkx/2(einbkx/2einbkx/2)eibkx/2(eibkx/2eibkx/2)=ei(n1)bkx/2sinnbkx/2sinbkx/2.(13.85)\begin{gathered} \sum_{j=0}^{n-1} e^{-i j b k_{x}}=\frac{1-e^{-i n b k_{x}}}{1-e^{-i b k_{x}}} \\ =\frac{e^{-i n b k_{x} / 2}\left(e^{i n b k_{x} / 2}-e^{-i n b k_{x} / 2}\right)}{e^{-i b k_{x} / 2}\left(e^{i b k_{x} / 2}-e^{-i b k_{x} / 2}\right)}=e^{-i(n-1) b k_{x} / 2} \frac{\sin n b k_{x} / 2}{\sin b k_{x} / 2} . \tag{13.85} \end{gathered}

Thus the diffraction pattern intensity is proportional to

sin2nbkx/2sin2bkx/2.(13.86)\frac{\sin ^{2} n b k_{x} / 2}{\sin ^{2} b k_{x} / 2}. \tag{13.86}

For n=2n = 2, 13.74 is just

4cos2bkx2=2(1+cosbkx).(13.87)4 \cos ^{2} \frac{b k_{x}}{2}=2\left(1+\cos b k_{x}\right). \tag{13.87}

This is the problem with which we started the chapter. When bkx=2mπb k_{x}=2 m \pi for integer mm, then the wave from one slit travels farther than the wave from the other by mλm \lambda, where λ=2π/k\lambda=2 \pi / k is the wavelength. Thus for bkx=2mπb k_{x}=2 m \pi the interference is constructive, as illustrated in figure 13.12.

For larger nn, we still get constructive interference for bkx=2mπb k_{x}=2 m \pi, but the maxima are sharper, because with more slits, there are more possibilities for destructive interference at other angles. In Figure 13.13 and Figure 13.14, we plot 13.74 versus bkxbk_{x} from (−π\pi to 3π3\pi so that you can see two full periods) for n=3n = 3 and 6. Notice the appearance of n2n − 2 secondary maxima between the primary maxima of the intensity. We will return to these relations when we discuss diffraction gratings.


6Again, this is simplistic, ignoring complications from the boundaries in the same way as 13.15.

13.5: Convolution

There is a rather simple theorem, know as the convolution theorem, that is extremely useful in dealing with Fourier transforms. Suppose that we have two functions, f1(x)f_{1}(x) and f2(x)f_{2}(x). Define the function f1f2f_{1} \circ f_{2} as follows:

f1f2(x)=dyf1(xy)f2(y)(13.88)f_{1} \circ f_{2}(x)=\int_{-\infty}^{\infty} d y f_{1}(x-y) f_{2}(y) \tag{13.88}

This integral will be well defined if f1(x)f_{1}(x) and f2(x)f_{2}(x) fall off fast enough at infinity (and certainly if they are nonzero only in a finite region of xx). Note that f1f2f_{1} \circ f_{2} is a function of a single variable. It is also symmetric under the exchange of the two functions, because by a simple change of variables (yxy)(y \rightarrow x-y)

f1f2(x)=dyf1(xy)f2(y)=dyf1(y)f2(xy)=f2f1(x)(13.89)f_{1} \circ f_{2}(x)=\int_{-\infty}^{\infty} d y f_{1}(x-y) f_{2}(y)=\int_{-\infty}^{\infty} d y f_{1}(y) f_{2}(x-y)=f_{2} \circ f_{1}(x) \tag{13.89}

Now the theorem is that the Fourier transform of the convolution is 2π2\pi times the product of the Fourier transforms of the two functions. The proof is immediate (all integrals run from −\infty to \infty):

Cf1f2(k)=12πdxeikxf1f2(x)=12πdxeikxdyf1(xy)f2(y)(13.93)\begin{aligned} C_{f_{1} \circ f_{2}}(k)=\frac{1}{2 \pi} \int d x e^{i k x} f_{1} \circ f_{2}(x) \\ =& \frac{1}{2 \pi} \int d x e^{i k x} \int d y f_{1}(x-y) f_{2}(y) \tag{13.93} \end{aligned}

Now we substitute xy+zx \rightarrow y+z and write the integral over yy and zz,

=12πdzeik(y+z)dyf1(xy)f2(y)=12πdzeikzf1(z)dyeikyf2(y)=2πCf1(k)Cf2(k).(13.94)\begin{gathered} =\frac{1}{2 \pi} \int d z e^{i k(y+z)} \int d y f_{1}(x-y) f_{2}(y) \\ =\frac{1}{2 \pi} \int d z e^{i k z} f_{1}(z) \int d y e^{i k y} f_{2}(y)=2 \pi C_{f_{1}}(k) C_{f_{2}}(k) . \tag{13.94} \end{gathered}

The two-dimensional analog of 13.79 is a straightforward extension. The two-dimensional convolution is

f1f2(x,y)=dxdyf1(xx,yy)f2(x,y)(13.95)f_{1} \circ f_{2}(x, y)=\int d x^{\prime} d y^{\prime} f_{1}\left(x-x^{\prime}, y-y^{\prime}\right) f_{2}\left(x^{\prime}, y^{\prime}\right) \tag{13.95}
Cf1f2(kx,ky)=4π2Cf1(kx,ky)Cf2(kx,ky)(13.96)C_{f_{1} \circ f_{2}}\left(k_{x}, k_{y}\right)=4 \pi^{2} C_{f_{1}}\left(k_{x}, k_{y}\right) C_{f_{2}}\left(k_{x}, k_{y}\right) \tag{13.96}

Repeated Patterns

The convolution theorem can be used to understand many interesting situations. Consider the following very instructive pattern of two wide slits:

f(x,y)={1 for axa1 for axba0 otherwise (13.97)f(x, y)=\left\{\begin{array}{l} 1 \text { for }-a \leq x \leq a \\ 1 \text { for }-a \leq x-b \leq a \\ 0 \text { otherwise } \end{array}\right. \tag{13.97}

for b>2ab > 2a. A piece of the pattern is shown in Figure 13.15 for b=3.5ab = 3.5a.

A piece of the opaque barrier with two wide slits.

Figure 13.15:A piece of the opaque barrier with two wide slits.

This can be regarded as the convolution of two functions:

f=f1f2(13.98)f=f_{1} \circ f_{2} \tag{13.98}

where

f1(x,y)={1 for axa0 otherwise (13.99)f_{1}(x, y)=\left\{\begin{array}{l} 1 \text { for }-a \leq x \leq a \\ 0 \text { otherwise } \end{array}\right. \tag{13.99}

and

f2(x,y)=δ(x)δ(y)+δ(xb)δ(y)(13.100)f_{2}(x, y)=\delta(x) \delta(y)+\delta(x-b) \delta(y) \tag{13.100}

f2(x, y) = δ(x) δ(y) + δ(x − b) δ(y). The corresponding Fourier transforms are, from 13.70 13.84 13.85 Cf1 (kx, ky) = sin(kxa) π kx δ(ky) 13.86 and from 13.73 Cf2 (kx, ky) = 1 4π2 cos bkx 2 e−ibkx/2 . Now applying the convolution theorem gives 13.87 Cf1◦f2 (kx, ky) = cos bkx 2 e−ibkx/2 sin(kxax) π kx δ(ky). 13.88 13.6. PERIODIC f(x, y) 395 Because b > 2a, this describes a pattern that oscillates rapidly on the scale set by 1/b, with an amplitude that varies with the single slit diffraction pattern characterized by size 1/a. The intensity pattern on a distant screen is shown in figure 13.16, for b = 3.5a The dotted line is the pattern for a single wide slit (compare 13.5).

The diffraction pattern for two wide slits.

Figure 13.16:The diffraction pattern for two wide slits.

13.6: Periodic f(x, y)

Suppose f(x,y)f(x, y) is periodic in xx with period aa. That is

f(x+a,y)=f(x,y).(13.101)f(x+a, y)=f(x, y). \tag{13.101}

Then C(kx,ky)C(k_{x}, k_{y}) can only be nonzero if

kx=2πna.(13.90)k_{x}=\frac{2 \pi n}{a}. \tag{13.90}

To see this, insert 13.89 into 13.24,

C(kx,ky)=14π2dxdyf(x+a,y)ei(kxx+kyy).(13.91)C\left(k_{x}, k_{y}\right)=\frac{1}{4 \pi^{2}} \int d x d y\, f(x+a, y) e^{i\left(k_{x} x+k_{y} y\right)}. \tag{13.91}

If we change variables from xxax \rightarrow x-a, Equation 13.91 is

C(kx,ky)=14π2dxdyf(x,y)ei(kxxkxa+kyy)=eikxaC(kx,ky)\begin{align} C\left(k_{x}, k_{y}\right) &= \frac{1}{4 \pi^{2}} \int d x d y \,f(x, y) e^{i\left(k_{x} x-k_{x} a+k_{y} y\right)} \\[4pt] &= e^{-i k_{x} a} C\left(k_{x}, k_{y}\right) \tag{13.92} \end{align}

because the constant phase factor can be taken outside the integral. Equation 13.90 follows because Equation 13.92 implies that either C(kx,ky)=0C\left(k_{x}, k_{y}\right)=0 or eikxa=1e^{-i k_{x} a}=1.

An example of this general principle is Equation 13.74. In the limit that nn \rightarrow \infty, 13.74 goes to 0 except for kx=2πm/bk_{x}=2 \pi m / b for integer mm (where it is infinite). This example is simple because the slits are narrow, so the intensity is independent of mm. However, with repeated wide slits, or some more complicated pattern, we could use the convolution theorem and 13.74 to see that 13.90 emerges as nn \rightarrow \infty. The details of the pattern of each slit will then determine the relative intensity of the diffraction pattern at different mm.

Thus any infinite regular pattern produces a discrete sequence of kk’s. For example, a transmission diffraction grating, that consists of lots of equally spaced lines in the yy direction with xx separation aa on a transparent substrate, produces a C(kx,ky)C(k_{x}, k_{y}) that is nonzero only for ky=0k_{y} = 0 (because there is no yy dependence at all) and kx=2nπ/ak_{x}=2 n \pi / a. Then 13.19 becomes

nCnei(2nπx/a+zω2/v2(2nπ/a)2ωt)(13.102)\sum_{n} C_{n} e^{i\left(2 n \pi x / a+z \sqrt{\omega^{2} / v^{2}-(2 n \pi / a)^{2}}-\omega t\right)} \tag{13.102}

This describes a linear superposition of plane waves fanning out at angles in the xx direction given by

sinθn=2πnvaω=nλa(13.103)\sin \theta_{n}=\frac{2 \pi n v}{a \omega}=\frac{n \lambda}{a} \tag{13.103}

as shown in Figure 13.17.

Typically, for a transmission grating, most of the light goes into the central line, which is to say that you can see right through the grating. Note that the even spacing in sinθn\sin \theta_{n} in 13.94 corresponds to an increasing spacing of the lines projected onto a screen at fixed large zz (for example, a screen like your retina!) because the distance along the screen is determined by

tanθn=nλa2n2λ2.(13.104)\tan \theta_{n}=\frac{n \lambda}{\sqrt{a^{2}-n^{2} \lambda^{2}}}. \tag{13.104}

There is a maximum value of nn, above which no propagating wave is produced (because it corresponds to sinθ>1\sin \theta>1 and thus imaginary kzk_{z}).

Note also the dependence of 13.94 on wavelength. The larger the wavelength of the light, the larger the angles in the pattern from the diffraction grating. This, of course, is why the diffraction grating is useful. It can separate light of different frequencies. The different colors of the rainbow are spread out along a line, for each value of nn. This is illustrated in the Figure 13.18, for three frequencies, blue light with wavelength 4300 A˚\text{Å}, green light with wavelength 5200 A˚\text{Å} and red light with wavelength 6300 A˚\text{Å}, incident on a diffraction grating with 10,000 lines per inch. We have shown 13.95 for nn = −3 to 3 and labeled the colors for the n=1n = 1 secondary maximum. As you see, in a realistic grating, the angles of diffraction can be large, and it is a very bad idea to use a small angle approximation.

13.6.1 Twisting the Grating

Some interesting examples of the effects discussed in 13.48 occur when the incoming light wave comes at the grating at an angle with respect to the perpendicular. Starting with the

A transmission diffraction grating splits a beam of a single frequency.

Figure 13.17:A transmission diffraction grating splits a beam of a single frequency.

The pattern of three frequencies of light from a grating.

Figure 13.18:The pattern of three frequencies of light from a grating.

grating lines in the yy direction and the grating in the xx-yy plane, there are two different effects.

Twisting Around the yy Axis

Suppose that the light comes in at an angle θin\theta_{in} from the perpendicular in the xx-zz plane. Then from 13.48,

Cθin(kx,ky)=C(kxksinθin,ky)(13.105)C_{\theta_{\mathrm{in}}}\left(k_{x}, k_{y}\right)=C\left(k_{x}-k \sin \theta_{\mathrm{in}}, k_{y}\right) \tag{13.105}

where CC is Fourier transform for the perpendicular grating,

C(kx,ky)0 for ky=0,kx=2πna.(13.106)C\left(k_{x}, k_{y}\right) \neq 0 \quad \text { for } \quad k_{y}=0, k_{x}=\frac{2 \pi n}{a}. \tag{13.106}

Thus

Cθin (kx,ky)0 for ky=0,kx=ksinθin +2πna(13.107)\begin{gathered} C_{\theta_{\text {in }}}\left(k_{x}, k_{y}\right) \neq 0 \quad \text { for } \\ k_{y}=0, k_{x}=k \sin \theta_{\text {in }}+\frac{2 \pi n}{a} \tag{13.107} \end{gathered}

or

sinθ=kxk=sinθin+nλa.(13.108)\sin \theta=\frac{k_{x}}{k}=\sin \theta_{\mathrm{in}}+\frac{n \lambda}{a}. \tag{13.108}

In other words, sinθ\sin \theta is simply displaced by sinθin\sin \theta_{\mathrm{in}}. For example, this means that if θ=π/a\theta=\pi / a, the pattern is exactly the same, but the central maximum has moved over, as shown in Figure 13.19.

Twisting Around the xx Axis

Suppose that the light comes in at an angle θ\theta from the perpendicular in the yy-zz plane. Then from 13.48.

Cθin (kx,ky)=C(kx,kyksinθin ).(13.109)C_{\theta_{\text {in }}}\left(k_{x}, k_{y}\right)=C\left(k_{x}, k_{y}-k \sin \theta_{\text {in }}\right) . \tag{13.109}

Now instead of being 0, kyk_{y} is fixed at ksinθin k \sin \theta_{\text {in }}

ky=ksinθin ,kx=2πna . (13.110)k_{y}=k \sin \theta_{\text {in }}, \quad k_{x}=\frac{2 \pi n}{a} \text { . } \tag{13.110}

Now the diffracted waves make nontrivial angles from the perpendicular both in xx and in yy

sinθy=kyky2+kz2=kyk2kx2=sinθin1n2λ2/a2(13.111)\sin \theta_{y}=\frac{k_{y}}{\sqrt{k_{y}^{2}+k_{z}^{2}}}=\frac{k_{y}}{\sqrt{k^{2}-k_{x}^{2}}}=\frac{\sin \theta_{\mathrm{in}}}{\sqrt{1-n^{2} \lambda^{2} / a^{2}}} \tag{13.111}

and

sinθx=kxkx2+kz2=kxk2ky2=nλacosθin.(13.112)\sin \theta_{x}=\frac{k_{x}}{\sqrt{k_{x}^{2}+k_{z}^{2}}}=\frac{k_{x}}{\sqrt{k^{2}-k_{y}^{2}}}=\frac{n \lambda}{a \cos \theta_{\mathrm{in}}}. \tag{13.112}

Again, as in 13.95, what we see if we project the pattern onto a perpendicular screen at fixed zz are the tangents,

(x,y)screen =z(tanθx,tanθy),(13.113)(x, y)_{\text {screen }}=z\left(\tan \theta_{x}, \tan \theta_{y}\right), \tag{13.113}
The pattern for a beam at an angle, \theta_{\text {in }}=\arcsin \lambda / a.

Figure 13.19:The pattern for a beam at an angle, θin =arcsinλ/a\theta_{\text {in }}=\arcsin \lambda / a.

where

tanθx=kxkz,tanθy=kykz.(13.114)\tan \theta_{x}=\frac{k_{x}}{k_{z}}, \quad \tan \theta_{y}=\frac{k_{y}}{k_{z}} . \tag{13.114}

Thus the diffraction pattern appears curved. What one sees on a screen or a retina is the colors of the rainbow spread out along a curved line. This is shown in Figure 13.20, where we plot tanθx\tan \theta_{x} versus tanθy\tan \theta_{y} for a light source and grating as in 13.18, above, but with sinθin =0.5\sin \theta_{\text {in }}=0.5. Note that the pattern has not only curved, it has spread out, compared to 13.18. Here you really see the three-dimensional k\vec{k} vector in action. As tanθy\tan \theta_{y} increases, for fixed kxk_{x}, tanθx\tan \theta_{x} increases as well, because kzk_{z} decreases.

Resolving Power

The discussion so far has assumed that the diffraction grating is truely periodic. But this is only possible if the grating is infinite! In a finite grating, only the middle is periodic. The edges break the periodicity. In a grating consisting of only a finite number of grooves, nn, the diffraction peaks are not infinitely sharp. They are not delta functions. However, as discussed at the beginning of this section, we actually already know what they look like in the finite

The diffraction pattern from a twisted grating.

Figure 13.20:The diffraction pattern from a twisted grating.

case because we have solved the problem of diffraction from nn evenly spaced narrow slits, in 13.74. In the general situation for nn identical grooves, the intensity looks like 13.74 multiplied by some slowly varying function that depends on the shape of the grooves (by the convolution theorem, 13.79). The important consequence of this is that the shape of a diffraction peak for an nn-slit grating is roughly given by 13.74.

The shape of the diffraction peak is important for the following practical question. Suppose that you have a beam of light that consists of a superposition of light of two different frequencies. How close together do the frequencies have to be before their nontrivial diffraction peaks melt together, so that you cannot use your diffraction grating to distinguish them? The larger the number of grooves in the grating, the sharper the diffraction peaks and the easier it is to distinguish different frequencies.

Rayleigh’s criterion is an historically important way of answering this question. Rayleigh assumed that it would be possible to distinguish the diffraction maxima from equally intense waves of slightly different wavelengths if the maximum of one frequency coincides with the first minimum of the other. For a grating of 6 lines, this criterion is illustrated in Figure 13.21. The solid line is the total intensity of a wave consisting of two slightly different frequencies. The contributions from the separate frequency components are indicated by the dotted and dashed lines.

Any such fixed criterion for resolving power should be regarded not as a fact about nature, but as a conventional definition that facilitates communication between experimenters. It is always possible to do better than any given definition by accumulating accurate data on the line shape and modeling the details.

Rayleigh’s criterion for a grating with 6 lines.

Figure 13.21:Rayleigh’s criterion for a grating with 6 lines.

Blazed Gratings

As a spectroscope, the transmission diffraction grating has a disadvantage compared to a prism. The difficulty is that, as we noted above, most of the light impinging on the grating goes right through and is not split into its component frequencies. This is a very serious problem in devices in which the total amount of light is limited. It is often important to have the bulk of the light going into a single nonzero value of nn in 13.94. Then nearly all of the photons can be used for the measurement, rather than being wasted in the n=0n = 0 maximum (which carries no information about the frequency). As we argued above, there is no theoretical reason why such a thing cannot be done. The general principles of translation invariance and local interactions determine the possible angles of diffraction, but not how much light goes to which angle.

In fact, there is a practical and widely used method in reflection gratings. A reflecting surface with a series of evenly spaced parallel lines scored into it acts as a reflection grating, as illustrated in Figure 13.22. This shows a reflection grating in which the predominant reflection of a beam coming in perpendicular to the plane of the grating is also perpendicular. What we want instead is shown in Figure 13.23. To construct such a grating, you can shape the grooves in the grating so that the specular reflection from the individual grooves directs the beam into the nontrivial diffraction maximum, as shown in Figure 13.24.

To do this, you can choose the angle of the blaze to be half the angle of the first maximum, θ1=2πv/aω\theta_{1}=2 \pi v / a \omega, in 13.94, as shown in the blow-up of a groove in figure 13.25.

A reflection diffraction grating splits a beam of a single frequency.

Figure 13.22:A reflection diffraction grating splits a beam of a single frequency.

A blazed grating directs the beam into a nontrivial diffraction maximum.

Figure 13.23:A blazed grating directs the beam into a nontrivial diffraction maximum.

The grooves of a blazed grating.

Figure 13.24:The grooves of a blazed grating.

\theta \approx \theta_{1} / 2.

Figure 13.25:θθ1/2.\theta \approx \theta_{1} / 2.

13.7: X-ray Diffraction

A beautiful three-dimensional example of diffraction from a periodic function is x-ray diffraction from crystals. A crystal is a regular array of atoms whose positions can be described by a periodic function

f(r)=f(r+a)(13.115)f(\vec{r})=f(\vec{r}+\vec{a}) \tag{13.115}

where a\vec{a} is any vector from one point on the lattice to another. Mathematically, we can define the lattice as the set of all such vectors. Note that the lattice always includes the zero vector, the point at the origin. The three-dimensional Fourier transform of f(r)f(\vec{r}) is nonzero only for wave number vectors of the form

2πj=13njj(13.116)2 \pi \sum_{j=1}^{3} n_{j} \vec{\ell}_{j} \tag{13.116}

where j\vec{\ell}_{j} are the basis vectors for the “dual” or “reciprocal” lattice that satisfies

aj= integer, for all a(13.117)\vec{a} \cdot \vec{\ell}_{j}=\text { integer, for all } \vec{a} \tag{13.117}

The idea here is the same as the one-dimensional discussion of the diffraction grating, that kx=2πn/ak_{x}=2 \pi n / a, 13.90. The derivation of 13.107 is precisely analogous to that of 13.90.

We can visualize the relation between the lattice and the dual lattice more easily for two-dimensional “crystals.” For example, consider a lattice of the form

a=nxaxx^+nyayy^(13.118)\vec{a}=n_{x} a_{x} \hat{x}+n_{y} a_{y} \hat{y} \tag{13.118}

shown in Figure 13.26 (for ax=2aya_{x}=2 a_{y}).

A crystal lattice.

Figure 13.26:A crystal lattice.

It is clear that vectors of the form

1=1axx^,2=1ayy^,(13.119)\vec{\ell}_{1}=\frac{1}{a_{x}} \hat{x}, \quad \ell_{2}=\frac{1}{a_{y}} \hat{y}, \tag{13.119}

satisfy 13.108. Furthermore, a little thought will convince you that these are the shortest pair of linearly independent vectors with this property. Thus we can take 13.110 to be the basis vectors for the dual lattice, so that the dual lattice looks like

dm=(mxaxx^+myayy^)(13.120)\vec{d}_{m}=\left(\frac{m_{x}}{a_{x}} \hat{x}+\frac{m_{y}}{a_{y}} \hat{y}\right) \tag{13.120}

as shown in Figure 13.27.Note that the long and short axes are interchanged, as usual in a diffraction process.

The dual lattice.

Figure 13.27:The dual lattice.

Now suppose that there is a plane wave passing through the infinite lattice,

eikriωt.(13.121)e^{i \vec{k} \cdot \vec{r}-i \omega t} . \tag{13.121}

The wave that results from the interaction of the plane wave with the lattice then has the form

eikriωtg(r),(13.122)e^{i \vec{k} \cdot \vec{r}-i \omega t} g(\vec{r}), \tag{13.122}

where g(r)g(\vec{r}) is a periodic function, like f(r)f(\vec{r}) in 13.106. To find the possible refracted waves, we must write this in the form:

eikriωtg(r)= diffracted  waves ,αCαeikαriωt.(13.123)e^{i \vec{k} \cdot \vec{r}-i \omega t} g(\vec{r})=\sum_{\begin{array}{c} \text { diffracted } \atop \text { waves }, \alpha \end{array}} C_{\alpha} e^{i \vec{k}_{\alpha} \cdot \vec{r}-i \omega t} . \tag{13.123}

But we also know from the discussion above that the Fourier transform of gg is nonzero only for values of k\vec{k} of the form 13.107. Thus 13.114 takes the form

eikriωtd3keikrCg(k)=eikriωtnjCnje2πijnjjr(13.124)e^{i \vec{k} \cdot \vec{r}-i \omega t} \int d^{3} k^{\prime} e^{i \vec{k}^{\prime} \cdot \vec{r}} C_{g}\left(\vec{k}^{\prime}\right)=e^{i \vec{k} \cdot \vec{r}-i \omega t} \sum_{n_{j}} C_{n_{j}} e^{2 \pi i \sum_{j} n_{j} \vec{\ell}_{j} \cdot \vec{r}} \tag{13.124}

Therefore, the kα\vec{k}_{\alpha} in 13.114 must have the form

kα=k2πjnjj(13.125)\vec{k}_{\alpha}=\vec{k} \mid 2 \pi \sum_{j} n_{j} \vec{\ell}_{j} \tag{13.125}

But this is only possible if kα\vec{k}_{\alpha} satisfies the dispersion relation in the material, which means, if the material is rotation invariant so that ω2\omega^{2} depends only on k2|\vec{k}|^{2}, that

kα2=k2.(13.126)\left|\vec{k}_{\alpha}\right|^{2}=|\vec{k}|^{2}. \tag{13.126}

Thus we get a diffracted wave only for njn_{j} such that 13.117 is satisfied. X-ray diffraction from a crystal, therefore, can provide direct information about the dual lattice and thus about the crystal lattice itself.

There is a more physical way of thinking about the dual lattice. Consider any vector in the dual lattice that is not a multiple of another,

djnjj.(13.127)\vec{d} \equiv \sum_{j} n_{j} \vec{\ell}_{j}. \tag{13.127}

Now look at the subset of vectors on the lattice that satisfy

da=0.(13.128)\vec{d} \cdot \vec{a}=0. \tag{13.128}

This subset is the set of lattice points that lie in the plane, dr=0\vec{d} \cdot \vec{r}=0, that is the plane perpendicular to d\vec{d} passing through the origin. Now consider the subset

da=1.(13.129)\vec{d} \cdot \vec{a}=1. \tag{13.129}

This subset is the set of lattice points that lie in the plane, dr=1\vec{d} \cdot \vec{r}=1, that is parallel to the plane dr=0\vec{d} \cdot \vec{r}=0, in the lattice. This plane is also perpendicular to d\vec{d} and passes through the point (which may not be a lattice point)

r1=dd2.(13.130)r_{1}=\frac{\vec{d}}{|\vec{d}|^{2}}. \tag{13.130}

Therefore, the perpendicular distance (that is in the d\vec{d} direction) between the two planes is

d^r1=1d.(13.131)\hat{d} \cdot \vec{r}_{1}=\frac{1}{|\vec{d}|}. \tag{13.131}

We can continue this discussion to conclude that the subset of lattice points satisfying

da=m for integer m= to (13.132)\vec{d} \cdot \vec{a}=m \text { for integer } m=-\infty \text { to } \infty \tag{13.132}

is the set of lattice points lying on parallel planes perpendicular to d\vec{d}, with adjacent planes separated by 1/d1 /|\vec{d}|. But this set must be all the lattice points! This is true because da\vec{d} \cdot \vec{a} is an integer for all lattice points by the definition of the dual lattice. Thus all lattice points lie in one of the planes in 13.123.

A vector in the dual lattice.

Figure 13.28:A vector in the dual lattice.

These considerations are illustrated in the two-dimensional crystal in the pictures below. If the vector d\vec{d} in the dual lattice is as shown in Figure 13.28, then the perpendicular planes in the lattice are shown in Figure 13.29.

The corresponding planes in the lattice.

Figure 13.29:The corresponding planes in the lattice.

Now suppose that d\vec{d} is one of the special points in the dual lattice that gives rise to a refracted wave, so that

k+2πd2=k2d(k+πd)=0.(13.133)|\vec{k}+2 \pi \vec{d}|^{2}=|\vec{k}|^{2} \Rightarrow \vec{d} \cdot(\vec{k}+\pi \vec{d})=0. \tag{13.133}

This relation is shown in Figure 13.30. This shows that the kk vector of the refracted wave, k+2πd\vec{k}+2 \pi \vec{d}, is just k\vec{k} reflected in a plane perpendicular to d\vec{d}. We have seen that there are an

The Bragg scattering condition.

Figure 13.30:The Bragg scattering condition.

infinite number of such planes in the lattice, separated by 1/d1 /|\vec{d}|. The contribution to the scattered wave from each of these planes adds constructively to the refracted wave. To see this, consider the phase difference between the incoming wave, eikriωte^{i \vec{k} \cdot \vec{r}-i \omega t} and the diffracted wave eikαriωte^{i \vec{k}_{\alpha} \cdot \vec{r}-i \omega t} for kα=k+2πd\vec{k}_{\alpha}=\vec{k}+2 \pi \vec{d}. Evidently, the phase difference at any point r\vec{r} is

2πdr.(13.134)2 \pi \vec{d} \cdot \vec{r}. \tag{13.134}

This phase difference is an integral multiple of 2π2\pi on all the planes

dr=m for integer m= to .(13.135)\vec{d} \cdot \vec{r}=m \text { for integer } m=-\infty \text { to } \infty. \tag{13.135}

Thus the contribution to scattering from all of the planes of lattice points adds constructively, because the phase relation between the incoming and diffracted wave is the same on all of them. Conversely, if kαk+2πd\vec{k}_{\alpha} \neq \vec{k}+2 \pi \vec{d}, then the contribution from different planes will interfere destructively, and no diffracted wave will result.

This physical interpretation goes with the name “Bragg scattering.” The planes, 13.123 (or 13.126) are the Bragg planes of the crystal. Note that as the vector d\vec{d} in the dual lattice gets longer, the corresponding Bragg planes get closer together, but they are also less dense, containing fewer scattering centers per unit area. Generally the scattering is weaker for large d|\vec{d}|.

Problems

13.9: Fringes and Zone Plates

Holographic Image of a Point

One of the simplest of holographic images is the image of a single point. If a plane wave encounters a very small object in its path, the object will produce a spherical wave. If the plane wave and the spherical wave then are absorbed by a photographic plate, as shown in Figure 13.34, an interference pattern is produced in the form of concentric circles, or fringes.

Specifically, suppose that the plane wave is propagating in the zz direction, the photographic plate is in the xx-yy plane at z=z0z = z_{0} and we put the origin of our coordinate system at the position of the source of the spherical wave, as shown in Figure 13.34. Then the linear combination of plane wave plus spherical wave has the form (ignoring polarization)

Aeikz+Breikr,A e^{i k z}+\frac{B}{r} e^{i k r},

where r=x2+y2+z2r=\sqrt{x^{2}+y^{2}+z^{2}}. We will assume, for simplicity, that AA and BB are real which means that the two waves are in phase at the object. The intensity of the wave at z=z0z = z_{0}, on the photographic plate is therefore

A2+B2r02+2ABr0cos[k(r0z0)]A^{2}+\frac{B^{2}}{r_{0}^{2}}+\frac{2 A B}{r_{0}} \cos \left[k\left(r_{0}-z_{0}\right)\right]

where r0r_{0} is the distance from the object for a point in the z=z0z = z_{0} plane,

r0=z02+R2r_{0}=\sqrt{z_{0}^{2}+R^{2}}
Fringes.

Figure 13.34:Fringes.

and

R=x2+y2R=\sqrt{x^{2}+y^{2}}

is the distance from the zz axis in the xx-yy plane. The intensity depends only on RR, as it must because of the symmetry of the system under rotations around the zz axis.

Usually, we are interested in the region, z0Rz_{0} \gg R, because, as we will see, the intensity pattern is most interesting for small RR. In this region, the distance, r0r_{0} is very nearly equal to z0z_{0}. We can ignore the variation of r0r_{0} in the amplitude, B/r0B / r_{0}. However, there is interesting dependence in the cosine term in 13.133. In this term, we can expand r0r_{0} in a Taylor series around R=z0R=z_{0},

r0=z01+R2/z02=z0+12R2z0+r_{0}=z_{0} \sqrt{1+R^{2} / z_{0}^{2}}=z_{0}+\frac{1}{2} \frac{R^{2}}{z_{0}}+\cdots

Putting all this together, the intensity is given approximately for z0Rz_{0} \gg R by

A2+B2z02+2ABz0coskR22z0.A^{2}+\frac{B^{2}}{z_{0}^{2}}+\frac{2 A B}{z_{0}} \cos \frac{k R^{2}}{2 z_{0}}.

The intensity pattern, (13.137), describes concentric circular “zones” of intensity variation. The zones can be labeled by the maxima and minima of the cosine, at

kR22z0=nπ\frac{k R^{2}}{2 z_{0}}=n \pi

or

R2=nλz0R^{2}=n \lambda z_{0}

where λ\lambda is the wavelength of the wave. For nn even, the cosine has a maximum and for nn odd, a minimum. The intensity variation is greatest if the plane wave and the spherical wave have approximately the same amplitude at the plate,

Bz0=A\frac{B}{z_{0}}=A

Then the amplitude actually goes to zero at the minima. The intensity distribution as a function of RR is shown in Figure 13.35. The positions of the maxima and minima, or “zones,” are shown on the RR axis. On the photographic plate, this intensity distribution gives rise to circular fringes.

The intensity distribution.

Figure 13.35:The intensity distribution.

If the plate is developed and illuminated by a plane wave, the original spherical wave is reproduced along with another spherical wave moving inward toward a point on the zz axis a distance z0z_{0} beyond the plate, as shown in Figure 13.36. This wave is the real image of Figure 13.33. When a plane wave (dotted lines) illuminates the photographic plate produced in Figure 13.34, diverging (dotted lines) and converging (solid lines) spherical waves are produced.

Zone Plates

The hologram of Figure 13.34 can be used to bring part of plane wave to a focus. The converging spherical wave shown in Figure 13.36 is much stronger than the rest of the wave disturbance at the focus, z=2z0z=2 z_{0}, x=y=0x=y=0, because the amplitude of this part of the wave

A plane wave illuminating the photographic plate.

Figure 13.36:A plane wave illuminating the photographic plate.

increases as it approaches the focus. It has the form

1reikr\frac{1}{r^{\prime}} e^{i k r^{\prime}}

where

r=(z2z0)2+x2+y2.r^{\prime}=\sqrt{\left(z-2 z_{0}\right)^{2}+x^{2}+y^{2}}.

The same effect can be produced with a cartoon version of the photographic plate made by taking a transparent plate and blacking out the zones for negative nn in (13.138) where the intensity distribution is less than half the maximum. For example, the first negative zone is the region λz0/2<R2<3λz0/2\lambda z_{0} / 2<R^{2}<3 \lambda z_{0} / 2. The second is the region 5λz0/2<R2<7λz0/25 \lambda z_{0} / 2<R^{2}<7 \lambda z_{0} / 2, etc. The result is a “zone plate.” An example, produced by blacking out the first 4 negative zones is shown in Figure 13.37. These things are quite useful, because they can be easily produced and tailored to any wavelength.

A zone plate.

Figure 13.37:A zone plate.

13.10: 13-8- Holography

Nothing prevents us from doing the analysis of a diffraction pattern from a more complicated function, f(x,y)f(x, y), than that discussed in 13.16. A hologram is just such a diffraction pattern. One of the simplest versions of a hologram is one in which an object is illuminated by a laser, that provides essentially a plane wave. The reflected light, and a part of the laser beam (extracted by some beam splitting technique) are incident on a photographic plate at slightly different angles, as shown schematically in Figure 13.31. The wave incident on the photographic plate has the form

eiωt(eikz+dkxdkyC(kx,ky)eikr)e^{-i \omega t}\left(e^{i k z}+\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}}\right)

where

k=k=ω/v.k=|\vec{k}|=\omega / v.

13.127 describes the two coherent parts of the light wave incident on the photographic plate. For simplicity, we will assume that the signal in which we are actually interested, the reflected wave with Fourier transform C(kx,ky)C(k_{x}, k_{y}), is small compared to the reference wave eikze^{i k z}. This signal is what we would see if the photographic plate were removed and we placed

Making a hologram.

Figure 13.31:Making a hologram.

our eyes in the path of the reflected wave, but out of the path of the laser beam, as shown in Figure 13.32.

Viewing the object.

Figure 13.32:Viewing the object.

The photographic plate (we’ll assume it’s at zz = 0) records only the intensity of the total wave, proportional to

1+2RedkxdkyC(kx,ky)ei(kxx+kyy)+O(C2)1+2 \operatorname{Re} \int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i\left(k_{x} x+k_{y} y\right)}+\mathcal{O}\left(C^{2}\right)

We will drop the terms of order C2C^{2}, assuming that CC is small, although we will be able to see later that they will not actually not make any difference even if CC is large. If we now make a positive slide from the plate and shine through it a laser beam with the same frequency, ω\omega, the wave “gets through” where the light intensity on the plate was large and is absorbed where the intensity was small. Thus we have a forced oscillation problem of exactly the sort that we discussed above, with 13.129 playing the role of f(x,y)f(x, y). The solution for z>0z > 0 (from 13.19-13.24) is

eiωt(eikz+dkxdkyC(kx,ky)eikr+c.c.)e^{-i \omega t}\left(e^{i k z}+\int d k_{x} d k_{y} C\left(k_{x}, k_{y}\right) e^{i \vec{k} \cdot \vec{r}}+\text{c.c.}\right)

where c.c. is the complex conjugate wave obtained by taking the complex conjugate of the signal and changing the sign of the zz dependence to get a wave traveling in the +z+z direction. The important thing to note about the complex conjugate wave is that it represents a beam traveling in a different direction from either the signal or the reference beam, because the complex conjugation has changed the sign of kxk_{x} and kyk_{y}.

The resulting system is shown schematically in Figure 13.33. Your eye sees a reconstructed version of the reflected wave that you would have seen without the photographic plate, as in 13.32. Note that neither the reference beam nor the complex conjugate beam get in the way of your viewing, because they go off at slightly different angles. This is a hologram. Because it is not a picture but a reconstruction of the actual wave that you would have seen in 13.32, it has the surprising property of three-dimensionality that makes a hologram striking.

Viewing the holographic image.

Figure 13.33:Viewing the holographic image.

One might wonder why we choose the angle between the reference beam and the signal to be small. A large angle would have the advantage of getting the reference beam farther out of the way, but it would have an important disadvantage. Consider the intensity pattern on the photographic plate that records the hologram. It is an oscillating pattern with a typical wave number given by the typical value of kxk_{x} or kyk_{y}. These are of order ksinθk \sin \theta, where θ\theta is the angle between the reference beam and the signal. But the distance between neighboring maxima on the photographic plate is therefore of order

2πksinθ=λsinθ\frac{2 \pi}{k \sin \theta}=\frac{\lambda}{\sin \theta}

where λ\lambda is the wavelength of the light. Since λ\lambda is a very small distance, it pays to pick θ\theta small to spread out the pattern on the photographic plate.

Note, also, that the order C2C^{2} terms that we dropped really don’t do any harm even if CC is not small. Because their xx and yy dependence is proportional to that of the signal times its complex conjugate, the typical kxk_{x} and kyk_{y} for these terms is zero and they travel roughly in the direction of the reference beam. They don’t reach your eye in 13.33.

Footnotes
  1. For example, see Hecht, chapter 10.

  2. See the discussion starting on page 314.

  3. Note that in a real physical situation, the boundary conditions are often much more complicated than 13.16, because the physics of the boundary matters. However, this often means that diffraction in a real situation is even larger.

  4. See, however, the discussion on page 383.

  5. Note that sinka/k\sin k a / k is well-defined (=a= a) at k=0k = 0.

  6. Here we are assuming small angles, so that sinθtanθ\sin \theta \approx \tan \theta. In our discussion of diffraction gratings below, we will see what happens when the difference in important.

  7. “Narrow” here means narrow compared to the wavelength of the light — see the moral above.