Our solution may also be regarded as a solution to what can be called the interior reconstruction problem (cf. Ref. 3, p. 622) for a domain bounded by mutually parallel planes, namely the determination of the field in the domain 0 ≤ z <z1, from the knowledge of the field distribution on the plane z=z1>0, if we assume that the field obeys the Sommerfeld radiation condition at infinity in the half space z>0.
G. C. Sherman, J. Opt. Soc. Am. 57, 1490 (1967).
R. Mittra and R. L. Ranson in Modern Optics, J. Fox, Ed. (Polytechnic Press, Brooklyn, 1967, J. Wiley & Sons, Inc., New York, distr.), p. 633.
B. B. Baker and E. T. Copson, The Mathematical Theory of Huygens' Principle (Clarendon Press, Oxford, 1960), 2nd ed., p. 25.
M. Born and E. Wolf, Principles of Optics (Pergamon Press, Oxford and New York, 1965), 3rd ed., §8.3.3
D. Gabor, Proc. Roy. Soc. (London) 197A, 462 (1949).
L. Mertz, Transformations in Optics (J. Wiley & Sons, Inc., New York, 1965), Ch. 3.
J. T. Winthrop and C. R. Worthington, J. Opt. Soc. Am. 56, 588 (1966).
While the present paper was being written, a paper by G. C. Sherman (Ref. 2) appeared, which deals with some aspects of this problem. Sherman’s point-convergence function corresponds to our inverse-propagation kernel K01.
C. J. Bouwkamp, in Rep. Progr. Phys. 17, 41 (1954).
E. Wolf, Proc. Phys. Soc. (London) 74, 269 (1959), Appendix.
E. Lalor, J. Opt. Soc. Am. 58, 1235 (1968).
This formula follows by a straightforward modification of a formula due to H. Weyl, Ann. Physik 60, 481 (1919). For a direct derivation of this formula, see, for example, A. Banos, Dipole Radiation in the Presence of a Conducting Half-Space [Pergamon Press (Ltd.), Oxford, 1966], Eq. (2.19).
R. K. Luneburg, Mathematical Theory of Optics (University of California Press, Berkeley and Los Angeles, 1966), p. 311 et seq.
E. Lalor, J. Math. Phys. 9, 2001 (1968); J. Opt. Soc. Am. 58, 720A (1968).
A referee has pointed out to us that although the reciprocity theorem is not stated there explicitly, the result appears in §4 of the paper by Mittra and Ranson (Ref. 3). We are obliged to the referee for bringing this fact to our attention.
G. C. Sherman [Phys. Rev. Letters 21, 761 (1968), Theorem II] recently showed that a field which obeys these conditions can be continued into the whole half-space z<0. With the help of this result the reciprocity theorem may be formulated in a more general form, in which the restrictions z0≥0 and |d|≤z1 are removed.
Footnote added in proof. Since this paper was written an article by W. Lukosz, J. Opt. Soc. Am. 58, 1084 (1968) appeared, in which this reciprocity theorem is also given [Lukosz's equation (3.12)]. However, Lukosz does not explicitly assume that evanescent waves are absent, i.e., that the field in any plane z=const>0 is bandlimited to the domain u2+v2≤k2. As is evident from our analysis, the theorem applies only to fields that are bandlimited in this wav.