Huygens principle

The statement that the propagation of oscillations, described by the wave equation, in a space of odd dimension involves the re-appearance of a sharply-localized initial state at a later moment of time at another point as a phenomenon just as sharply localized. If the number of space variables is even, Huygens' principle is absent, and the signal from the localized initial perturbation received at the observation point will be washed away. The principle was first formulated by Chr. Huygens in 1678 [1] and was subsequently developed by A. Fresnel in 1818 in his studies on the problems of diffraction (cf. also Diffraction, mathematical theory of).

Huygens' principle results from the mathematical fact that the solution of the wave equation at a point of the three-dimensional space at the moment of time is expressed in terms of the values of the solution and its derivatives on an arbitrary closed surface inside which is contained, at preceding moments of time. In particular, the solution of the Cauchy problem at the point for the wave equation is determined only by the initial data at the intersection of the initial manifold with the characteristic cone of and does not depend on the initial data inside and outside the characteristic cone (cf. also Characteristic surface). A rigorous mathematical formulation of Huygens' principle was first given by H. Helmholtz (1859) and by G. Kirchhoff (1882) for the stationary and non-stationary cases, respectively.

The results of J. Hadamard [2], according to which the solution of the Cauchy problem for the second-order linear hyperbolic equation

(*)

for even depends only on the initial data at the intersection of the initial manifold with the characteristic conoid if and only if the fundamental solution of (*) has no logarithmic terms, is a generalization of Huygens' principle to include the linear hyperbolic equation (*). For an account of the entire class of equations of the form (*) for which Huygens' principle is valid, see [4].

References

[1]	C. Huygens, "Tractise on light" , Moscow-Leningrad (1935) (In Russian; translated from French)
[2]	J. Hadamard, "Lectures on Cauchy's problem in linear partial differential equations" , Dover, reprint (1952) (Translated from French)
[3]	R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German)
[4]	N.Kh. Ibragimov, "Huygens' principle" , Some problems in mathematics and mechanics , Leningrad (1970) pp. 159–170 (In Russian)

Comments

In a weaker form, Huygens' principle refers to the propagation of singularities of the fundamental solution. Writing the latter as an oscillatory integral (or Fourier integral operator), it can be explained in terms of the principle of stationary phase, see [a1], [a2] and Stationary phase, method of the.

An intermediate form is to define a sharp front as a piece of the wave front such that the fundamental solution at one side has a smooth extension over the boundary. For the wave-type operators this only happens when the space dimension is odd, cf. .

The most restricted form, in which the fundamental solution is equal to zero at one side of the wave front, is called the lacunary principle. For operators with constant coefficients this has been discussed in .

References

[a1]	L. Hörmander, "Fourier integral operators I" Acta Math. , 127 (1971) pp. 79–183
[a2]	J.J. Duistermaat, L. Hörmander, "Fourier integral operators II" Acta Math. , 128 (1972) pp. 183–269
[a3a]	L. Gårding, "Sharp fronts of paired oscillatory integrals" Publ. R.I.M.S. , 12. Suppl. (1967/77) pp. 53–68
[a3b]	L. Gårding, "Sharp fronts of paired oscillatory integrals" Publ. R.I.M.S. , 13 (1977/78) pp. 821
[a4a]	M.F. Atiyah, R. Bott, L. Gårding, "Lacunas for hyperbolic differential operators with constant coefficients I" Acta Math. , 124 (1980) pp. 109–189
[a4b]	M.F. Atiyah, R. Bott, L. Gårding, "Lacunas for hyperbolic differential operators with constant coefficients II" Acta Math. , 131 (1973) pp. 145–206