View source for Diffraction, mathematical theory of

A branch of mathematical physics dealing with the problems involved in the mathematical description of wave phenomena. This definition also includes geometrical optics, but this discipline is traditionally considered as an independent branch of mathematical physics. The fundamental partial differential equations which describe wave processes are the [[Maxwell equations|Maxwell equations]], the equations of [[Dynamic problems of elasticity theory|dynamic problems of elasticity theory]], the [[Wave equation|wave equation]] (in two spatial variables it describes vibrations of membranes; in three spatial variables it represents the propagation of sound), the equations of hydrodynamics and several others.

==Problem formulation in the mathematical theory of diffraction.==
These problems may be discussed taking the wave equation as an example; problems for other equations describing wave processes are formulated in a similar manner.

Transient problems of diffraction are, essentially, mixed problems (cf. [[Mixed problem|Mixed problem]]), i.e. problems involving initial and boundary conditions for the wave equation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323401.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323402.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323403.png" /> is a domain in the plane or in three-dimensional space; also

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323404.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323405.png" /> of the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323406.png" />, in the simplest cases,

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323407.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323408.png" /> are given functions. The coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d0323409.png" /> on certain surfaces (in the three-dimensional case) or lines (in the planar case) may have jumps; in such a case it is necessary to specify, in addition,  "conjugate conditions"  for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234010.png" />, which interconnect the values of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234011.png" /> and its derivatives on different sides of the surface across which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234012.png" /> has a jump. That such a formulation of problems of this kind is correct is proved by a priori estimates of the unknown solution in different norms, using the concept of compactness. The detailed problems of the description of the singularities of the solutions, the behaviour of the solutions as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234013.png" />, and the development of algorithms useful in practice for a numerical solution are still far from being finally solved.

Stationary problems of diffraction. An important role in the mathematical theory of diffraction is played by solutions that depend harmonically on time, i.e. solutions of equation (1) of the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>

The parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234015.png" /> corresponds to the circular frequency. The functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234018.png" /> (see formulas (1) and (3)) should also show a harmonic dependence on time:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234019.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234020.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234021.png" /></td> </tr></table>

Equation (1) and the boundary conditions (3) give

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234022.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234023.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>

Of major importance for bounded domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234024.png" /> is the problem of finding non-trivial solutions of equation (5) for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234025.png" /> in the case of homogeneous boundary conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234026.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234027.png" />. This is the so-called problem of finding the eigen functions. However, it is the solution of equation (5) under the boundary conditions (6) for unbounded domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234028.png" /> which is of fundamental interest in the mathematical theory of diffraction. The conditions (5) and (6) alone are insufficient for the determination of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234029.png" />, and  "conditions at infinity"  must also be specified.

The most frequent physical formulation of the problem of diffraction is the following: It is assumed that the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234030.png" /> of equation (5) is given as the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234031.png" /> of two functions, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234032.png" /> is a known function (the  "incident wave" ), while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234033.png" /> is the  "scattered"  or the diffraction-generated wave. The wave <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234034.png" /> must not contain waves issuing from infinity; this physical condition leads to the conditions at infinity just mentioned. The corresponding conditions in the situation where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234035.png" /> is the exterior of a bounded domain, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234037.png" /> is constant outside a sphere of a sufficiently large radius, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234038.png" /> is a function of compact support, are known as the [[Radiation conditions|radiation conditions]]. If the radiation conditions are met, the problem (5), (6) is well-posed; this is proved either by reducing the problems to integral equations or by a priori estimates. Other methods for finding the unique solution of problem (5), (6) are based on the [[Limiting-amplitude principle|limiting-amplitude principle]] and on the [[Limit-absorption principle|limit-absorption principle]]. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234039.png" /> is the exterior of a bounded domain, the two principles yield the same solution as the radiation conditions. No general theory of problems involving the Helmholtz equation in the case of unbounded domains has been developed. The limit-absorption principle will yield solutions of physical interest in all cases of practical importance.

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234040.png" />, solutions of the [[Dirichlet problem|Dirichlet problem]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234041.png" /> and the [[Neumann problem(2)|Neumann problem]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234042.png" /> may be obtained in the form of double- and single-layer potentials, respectively:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234043.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234044.png" /></td> </tr></table>

For the unknown density <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234045.png" /> a Fredholm integral equation of the second kind is obtained. In proving the solvability of the Dirichlet and the Neumann problem the difficulties encountered are completely similar to the classical difficulties involved in solving the exterior Dirichlet problem for the Laplace equation by methods of potential theory.

==Methods for solving problems in the mathematical theory of diffraction.==
Of major importance in problems of the mathematical theory of diffraction is the ratio between the wavelength and the characteristic dimensions of the body in the vicinity of which the wave process is studied. If the wavelength is large (small) as compared with the characteristic dimensions of the body, one speaks of the diffraction of long (short) waves. In the former cases the quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032340/d03234046.png" /> in equation (5) may be regarded as a small parameter, which makes it possible to apply in this case the different variants of perturbation theory. The solution of the Laplace equation may be taken as the first approximation. Ordinary numerical methods of mathematical physics — e.g. variational methods and numerical solution of the integral equations of potential theory — are also applicable in this case. For domains of special type the problems in the mathematical theory of diffraction may be solved in an explicit form, i.e. the solutions are given in the form of series or integrals containing special functions. The most important tools for this purpose are the method of separation of variables, or the [[Fourier method|Fourier method]], and the [[Wiener–Hopf method|Wiener–Hopf method]].

Obtaining numerical results for explicit solutions of problems in the mathematical theory of diffraction was formerly successful in cases of long waves only (the shorter the wave, the poorer the convergence of the series and the integrals). As the computing techniques developed, many problems were solved also in domains where the wavelength is not linearly proportional to the characteristic dimension. The most effective methods for such a purpose consist in reducing the problems of diffraction to integral and integro-differential equations, and the different variants of [[Projection methods|projection methods]].

==Asymptotic methods in the mathematical theory of diffraction.==
If the wavelength is small, numerical solution of the problems in diffraction is very difficult, even when computers are used. The most important methods in this category are asymptotic ones, which have the additional advantage of permitting certain general conclusions to be made about the problem under investigation. Asymptotic methods are certain methods yielding the approximate value of the unknown functions. They are based on physical ideas and formal transformations, mostly without a rigorous foundation. One of the first methods for finding approximate solutions of short-wave problems in the form of some quadrature was the [[Kirchhoff method|Kirchhoff method]], which is widely used to this very day in solving practical problems. Just as important is the [[Ray method|ray method]], which gives rise to a number of methods for finding the asymptotics of many problems of diffraction. As a rule, the constructions involved in the ray method are easily performed, provided the relevant ray field is regular. If, on the other hand, the field has any singularities, the resulting situation is typical of the [[Boundary-layer theory|boundary-layer theory]]: The asymptotics of solutions are known everywhere except for very small neighbourhoods of the points at which the ray field is no longer regular. It is only necessary to find it in this small domain, i.e. in the boundary layer. The corresponding analogue of the boundary-layer method is known as the [[Parabolic-equation method|parabolic-equation method]], which is often employed both in the numerical solution of problems in the mathematical theory of diffraction and in deriving asymptotic formulas.

Important asymptotic formulas for solving problems in the mathematical theory of diffraction may also be obtained when an explicit expression of the solution is known. Using a well-developed method (the so-called Watson transformation), this explicit solution is converted to a contour integral, the asymptotics of which is sought with the aid of either the [[Saddle point method|saddle point method]] or the residue theorem. It is interesting to note that the asymptotic expressions thus obtained may be used as guides,  "models" , to  "guess"  the form of asymptotic expansions in problems of diffraction the explicit solution of which is unknown. Such constructions are characteristic of the  "method of canonical problemsmethod of canonical problems" , which is a development of the parabolic-equation method.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  V.M. Babich,   V.S. Buldyrev,   "Asymptotic methods in the diffraction of short waves" , Moscow  (1972)  (In Russian)  (Translation forthcoming: Springer)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L.A. Vainshtein,   "The theory of diffraction and the factorization method" , Moscow  (1966)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.V. Nikol'skii,   "The use of variation methods in solving interior problems in electrodynamics" , Moscow  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.D. Kupradze,   "Randwertaufgaben der Schwingungstheorie und Integralgleichungen" , Deutsch. Verlag Wissenschaft.  (1956)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  V.D. Kupradze,   T.V. Burchuladze,   T.G. Gegelia,   M.O. Basheleishvili,   "Three-dimensional problems of the mathematical theory of elasticity and thermoelasticity" , North-Holland  (1979)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  F.G. Friedlander,   "Sound pulses" , Cambridge Univ. Press  (1958)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  H. Hönl,   A.-W. Maue,   K. Westpfahl,   "Theorie der Beugung"  S. Flügge (ed.) , ''Handbuch der Physik'' , '''25/1''' , Springer  (1961)  pp. 218–573</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  A.G. Sveshnikov,   "Numerical methods in diffraction theory"  R. James (ed.) , ''Proc. Internat. Congress Mathematicians (Vancouver, 1974)'' , '''2''' , Canad. Math. Congress  (1975)  pp. 437–442  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  V.M. [V.M. Babich] Babič,   N.Y. [N.Ya. Kirpichnikova] Kirpičnikova,   "The boundary-layer method in diffraction problems" , Springer  (1981)  (Translated from Russian)</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L.B. Felsen,   N. Marcuvitz,   "Radiation and scattering of waves" , Prentice-Hall  (1973)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.J. Bowman,   T.B.A. Senior,   P.L.E. Uslenghi,   "Electromagnetic and acoustic scattering by simple shapes" , North-Holland  (1969)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C.H. Wilcox,   "Scattering theory for the d'Alembert equation in exterior domains" , Springer  (1975)</TD></TR></table>