How does the wave subsequently develop in the region ? In order to answer this question, we must first of all decompose into harmonic components of the form (i.e., Fourier harmonics). Unfortunately, if we attempt this using only real frequencies, , then we encounter convergence difficulties, because does not vanish at . For the moment, we can circumvent these difficulties by only considering finite (in time) wave-forms. In other words, we now imagine that for and . Such a wave-form can be thought of as the superposition of two infinite (in time) wave-forms, the first beginning at , and the second at with the opposite phase, so that the two cancel for all time .

According to standard Fourier transform theory,

(854) |

Because is a real function of that is zero for and , we can write

(855) |

Finally, it follows from symmetry (in ) that

(856) |

Equation (854) yields

(857) |

or

Let us assume, for the sake of simplicity, that

(859) |

where is a positive integer. This ensures that is continuous at . Equation (859) reduces to

(860) |

This expression can be written

or

It is not entirely obvious that Equation (863) is equivalent to Equation (862). However, we can easily prove that this is the case by taking Equation (863), and then using the standard definition of a real part (i.e., half the sum of the quantity in question and its complex conjugate) to give

(863) |

Replacing the dummy integration variable by in the second integral, and then making use of symmetry, it is easily seen that the previous expression reduces to Equation (862).

Equation (862) can be written

(864) |

Note that the integrand is finite at , because, at this point, the vanishing of the denominator is compensated for by the simultaneous vanishing of the numerator. It follows that the integrand in Equation (863) is also not infinite at , as long as we do not separate the two exponentials. Thus, we can replace the integration along the real axis through this point by a small semi-circle in the upper half of the complex plane. Once this has been done, we can deform the path still further, and can integrate the two exponentials in Equation (863) separately: that is,

The contour is sketched in Figure 6. Note that it runs from to , which accounts for the change of sign between Equations (863) and (866).

We have already mentioned that a finite wave-form that is zero for and can be through of as the superposition of two out of phase infinite wave-forms, one starting at , and the other at . It is plausible, therefore, that the first term in the previous expression corresponds to the infinite wave form starting at , and the second to the infinite wave form starting at . If this is the case then the wave-form (854), which starts at and ends at , can be written

Let us test this proposition. In order to do this, we must replace the original path of integration, , by two equivalent paths.

First, consider . In this case, has a negative real part in the upper half-plane that increases indefinitely with increasing distance from the axis. Thus, we can replace the original path of integration by the path . (See Figure 7.) If we let approach infinity in the upper half-plane then the integral clearly vanishes along this path. Consequently,

(867) |

for .

Next, consider . Now has a negative real part in the lower half-plane, so the exponential vanishes at infinity in this half-plane. If we attempt to deform to infinity in the lower half-plane then the path of integration ``catches'' on the singularity of the integrand at . (See Figure 7.) The path of integration therefore consists of three parts: 1) the part at infinity, , where the integral vanishes due to the exponential factor ; 2) , the two parts leading to infinity, which cancel one another, and, thus, contribute nothing to the integral; 3) the path around the singularity. This latter contribution can easily be evaluated using the Cauchy residue theorem:

(868) |

Thus, we have proved that expression (867) actually describes a wave-form, beginning at , whose subsequent motion is specified by Equation (854).

Equation (867) can immediately be generalized to give the wave motion in the region : that is,

This follows from standard wave theory, because we know that an unterminated wave motion at of the form takes the form after moving a distance into the dispersive medium, provided that and are related by the appropriate dispersion relation. For a dielectric medium consisting of a single resonant species, this dispersion relation is written [see Equation (785)]