Namespaces
Variants
Actions

Difference between revisions of "Diffraction, mathematical theory of"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
 +
<!--
 +
d0323401.png
 +
$#A+1 = 46 n = 0
 +
$#C+1 = 46 : ~/encyclopedia/old_files/data/D032/D.0302340 Diffraction, mathematical theory of
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
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.
 
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.
  
Line 6: Line 18:
 
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
 
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>
+
$$ \tag{1 }
 +
 
 +
\frac{1}{c  ^ {2} ( M ) }
 +
U _ {tt} - \Delta U  = F ( M , t )
 +
$$
  
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
+
in the domain $  ( 0 < t < + \infty ) \times \Omega $,  
 +
where $  \Omega $
 +
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>
+
$$ \tag{2 }
 +
\left . U \right | _ {t= 0 }  = U _ {0} ( M ) ; \  \left .
 +
\frac{\partial  U
 +
}{\partial  t }
 +
\right | _ {t=} 0 = U _ {1} ( M ) ;
 +
$$
  
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,
+
on the boundary $  S $
 +
of the domain $  \Omega $,  
 +
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>
+
$$ \tag{3 }
 +
\left . U \right | _ {S}  = \Phi ( M , t ) \  \textrm{ or } \  \left .
 +
\frac{
 +
\partial  U }{\partial  n }
 +
\right | _ {S}  = \Psi ( M , t ); \  M \in S ,\ \
 +
t > 0 .
 +
$$
  
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.
+
Here $  F, U _ {0} , U _ {1} , \Phi , \Psi $
 +
are given functions. The coefficient $  c ( M ) $
 +
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 $  U $,  
 +
which interconnect the values of the function $  U $
 +
and its derivatives on different sides of the surface across which $  c ( M ) $
 +
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 $  t \rightarrow \infty $,  
 +
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
 
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>
+
$$ \tag{4 }
 +
U ( M , t )  = e ^ {- i \omega t } u ( M ) ,\  \omega =
 +
\textrm{ const } .
 +
$$
  
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:
+
The parameter $  \omega $
 +
corresponds to the circular frequency. The functions $  F( M, t) $,
 +
$  \Phi ( M, t) $
 +
and $  \Psi ( M, t) $(
 +
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>
+
$$
 +
F ( M, t)  = f ( M) e ^ {- i \omega t } ;
 +
$$
  
<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>
+
$$
 +
\Phi ( M, t)  = \phi ( M) e ^ {- i \omega t } ;
 +
$$
  
<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>
+
$$
 +
\Psi ( M, t)  = \psi ( M) e ^ {- i \omega t } .
 +
$$
  
 
Equation (1) and the boundary conditions (3) give
 
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>
+
$$ \tag{5 }
 +
\Delta u +
 +
\frac{\omega  ^ {2} }{c  ^ {2} ( M) }
 +
= - f ( M),\  M \in
 +
\Omega ,
 +
$$
  
<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>
+
$$ \tag{6 }
 +
\left . u \right | _ {S}  = \phi ( M) \  \textrm{ or } \  \left .  
 +
\frac{
 +
\partial  u }{\partial  n }
 +
\right | _ {S}  = \psi ( M) .
 +
$$
  
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.
+
Of major importance for bounded domains $  \Omega $
 +
is the problem of finding non-trivial solutions of equation (5) for $  f = 0 $
 +
in the case of homogeneous boundary conditions $  \phi ( M) = 0 $
 +
or $  \psi ( M) = 0 $.  
 +
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 $  \Omega $
 +
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 $  u $,  
 +
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.
+
The most frequent physical formulation of the problem of diffraction is the following: It is assumed that the solution $  u $
 +
of equation (5) is given as the sum $  u _ {i} + u _ {s} $
 +
of two functions, where $  u _ {i} $
 +
is a known function (the "incident wave" ), while $  u _ {s} $
 +
is the "scattered" or the diffraction-generated wave. The wave $  u _ {s} $
 +
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 $  \Omega $
 +
is the exterior of a bounded domain, $  \omega > 0 $,  
 +
$  c( M) $
 +
is constant outside a sphere of a sufficiently large radius, while $  f( M) $
 +
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 $  \Omega $
 +
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:
+
If $  c( M) = \textrm{ const } $,  
 +
solutions of the [[Dirichlet problem|Dirichlet problem]] $  ( u \mid  _ {S} = \phi ( M) ) $
 +
and the [[Neumann problem]] $  ( \partial  u / \partial  n \mid  _ {S} = \psi ) $
 +
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>
+
$$
 +
{\int\limits \int\limits } _ { S } \mu ( N)
 +
\frac \partial {\partial  n _ {N} }
  
<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>
+
\frac{e ^ {i k r } }{4 \pi r }
 +
  d S ,
 +
$$
  
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.
+
$$
 +
{\int\limits \int\limits } _ { S } \mu ( N)
 +
\frac{e ^ {i k r } }{4 \pi r }
 +
  d S .
 +
$$
 +
 
 +
For the unknown density $  \mu ( N) $
 +
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.==
 
==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]].
+
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 $  \omega $
 +
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]].
 
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]].
Line 60: Line 151:
 
====References====
 
====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) {{MR|}} {{ZBL|0045.20303}} {{ZBL|0041.43001}} </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) {{MR|0530377}} {{ZBL|0406.73001}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> F.G. Friedlander, "Sound pulses" , Cambridge Univ. Press (1958) {{MR|0097233}} {{ZBL|0079.41001}} </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 {{MR|0177615}} {{ZBL|0116.21001}} </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) {{MR|}} {{ZBL|0334.65091}} </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) {{MR|0555574}} {{MR|0481585}} {{ZBL|}} </TD></TR></table>
 
<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) {{MR|}} {{ZBL|0045.20303}} {{ZBL|0041.43001}} </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) {{MR|0530377}} {{ZBL|0406.73001}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> F.G. Friedlander, "Sound pulses" , Cambridge Univ. Press (1958) {{MR|0097233}} {{ZBL|0079.41001}} </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 {{MR|0177615}} {{ZBL|0116.21001}} </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) {{MR|}} {{ZBL|0334.65091}} </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) {{MR|0555574}} {{MR|0481585}} {{ZBL|}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.B. Felsen, N. Marcuvitz, "Radiation and scattering of waves" , Prentice-Hall (1973) {{MR|0471626}} {{ZBL|}} </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) {{MR|1111017}} {{ZBL|}} </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) {{MR|0460927}} {{ZBL|}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.B. Felsen, N. Marcuvitz, "Radiation and scattering of waves" , Prentice-Hall (1973) {{MR|0471626}} {{ZBL|}} </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) {{MR|1111017}} {{ZBL|}} </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) {{MR|0460927}} {{ZBL|}} </TD></TR></table>

Latest revision as of 19:35, 5 June 2020


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, the equations of dynamic problems of elasticity theory, the 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), i.e. problems involving initial and boundary conditions for the wave equation

$$ \tag{1 } \frac{1}{c ^ {2} ( M ) } U _ {tt} - \Delta U = F ( M , t ) $$

in the domain $ ( 0 < t < + \infty ) \times \Omega $, where $ \Omega $ is a domain in the plane or in three-dimensional space; also

$$ \tag{2 } \left . U \right | _ {t= 0 } = U _ {0} ( M ) ; \ \left . \frac{\partial U }{\partial t } \right | _ {t=} 0 = U _ {1} ( M ) ; $$

on the boundary $ S $ of the domain $ \Omega $, in the simplest cases,

$$ \tag{3 } \left . U \right | _ {S} = \Phi ( M , t ) \ \textrm{ or } \ \left . \frac{ \partial U }{\partial n } \right | _ {S} = \Psi ( M , t ); \ M \in S ,\ \ t > 0 . $$

Here $ F, U _ {0} , U _ {1} , \Phi , \Psi $ are given functions. The coefficient $ c ( M ) $ 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 $ U $, which interconnect the values of the function $ U $ and its derivatives on different sides of the surface across which $ c ( M ) $ 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 $ t \rightarrow \infty $, 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

$$ \tag{4 } U ( M , t ) = e ^ {- i \omega t } u ( M ) ,\ \omega = \textrm{ const } . $$

The parameter $ \omega $ corresponds to the circular frequency. The functions $ F( M, t) $, $ \Phi ( M, t) $ and $ \Psi ( M, t) $( see formulas (1) and (3)) should also show a harmonic dependence on time:

$$ F ( M, t) = f ( M) e ^ {- i \omega t } ; $$

$$ \Phi ( M, t) = \phi ( M) e ^ {- i \omega t } ; $$

$$ \Psi ( M, t) = \psi ( M) e ^ {- i \omega t } . $$

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

$$ \tag{5 } \Delta u + \frac{\omega ^ {2} }{c ^ {2} ( M) } u = - f ( M),\ M \in \Omega , $$

$$ \tag{6 } \left . u \right | _ {S} = \phi ( M) \ \textrm{ or } \ \left . \frac{ \partial u }{\partial n } \right | _ {S} = \psi ( M) . $$

Of major importance for bounded domains $ \Omega $ is the problem of finding non-trivial solutions of equation (5) for $ f = 0 $ in the case of homogeneous boundary conditions $ \phi ( M) = 0 $ or $ \psi ( M) = 0 $. 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 $ \Omega $ 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 $ u $, 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 $ u $ of equation (5) is given as the sum $ u _ {i} + u _ {s} $ of two functions, where $ u _ {i} $ is a known function (the "incident wave" ), while $ u _ {s} $ is the "scattered" or the diffraction-generated wave. The wave $ u _ {s} $ 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 $ \Omega $ is the exterior of a bounded domain, $ \omega > 0 $, $ c( M) $ is constant outside a sphere of a sufficiently large radius, while $ f( M) $ is a function of compact support, are known as the 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 and on the limit-absorption principle. If $ \Omega $ 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 $ c( M) = \textrm{ const } $, solutions of the Dirichlet problem $ ( u \mid _ {S} = \phi ( M) ) $ and the Neumann problem $ ( \partial u / \partial n \mid _ {S} = \psi ) $ may be obtained in the form of double- and single-layer potentials, respectively:

$$ {\int\limits \int\limits } _ { S } \mu ( N) \frac \partial {\partial n _ {N} } \frac{e ^ {i k r } }{4 \pi r } d S , $$

$$ {\int\limits \int\limits } _ { S } \mu ( N) \frac{e ^ {i k r } }{4 \pi r } d S . $$

For the unknown density $ \mu ( N) $ 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 $ \omega $ 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, and the 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.

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, which is widely used to this very day in solving practical problems. Just as important is the 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: 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, 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 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

[1] V.M. Babich, V.S. Buldyrev, "Asymptotic methods in the diffraction of short waves" , Moscow (1972) (In Russian) (Translation forthcoming: Springer)
[2] L.A. Vainshtein, "The theory of diffraction and the factorization method" , Moscow (1966) (In Russian)
[3] V.V. Nikol'skii, "The use of variation methods in solving interior problems in electrodynamics" , Moscow (In Russian)
[4] V.D. Kupradze, "Randwertaufgaben der Schwingungstheorie und Integralgleichungen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian) Zbl 0045.20303 Zbl 0041.43001
[5] 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) MR0530377 Zbl 0406.73001
[6] F.G. Friedlander, "Sound pulses" , Cambridge Univ. Press (1958) MR0097233 Zbl 0079.41001
[7] 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 MR0177615 Zbl 0116.21001
[8] 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) Zbl 0334.65091
[9] 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) MR0555574 MR0481585

Comments

References

[a1] L.B. Felsen, N. Marcuvitz, "Radiation and scattering of waves" , Prentice-Hall (1973) MR0471626
[a2] J.J. Bowman, T.B.A. Senior, P.L.E. Uslenghi, "Electromagnetic and acoustic scattering by simple shapes" , North-Holland (1969) MR1111017
[a3] C.H. Wilcox, "Scattering theory for the d'Alembert equation in exterior domains" , Springer (1975) MR0460927
How to Cite This Entry:
Diffraction, mathematical theory of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Diffraction,_mathematical_theory_of&oldid=24420
This article was adapted from an original article by V.M. Babich (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article