- Open Access
High-frequency asymptotics for the modified Helmholtz equation in a half-plane
Boundary Value Problems volume 2014, Article number: 45 (2014)
Based on the integral representations of the solution derived via Fokas’ transform method, the high-frequency asymptotics for the solution of the modified Helmholtz equation, in a half-plane and subject to the Dirichlet condition, is discussed. For the case of piecewise constant boundary data, full asymptotic expansions of the solution are obtained by using Watson’s lemma and the method of steepest descents for definite integrals.
MSC:35B40, 35C15, 35J05, 41A60.
There is huge mathematical and engineering interest in acoustic and electromagnetic wave scattering problems, driven by many applications such as modeling radar, sonar, acoustic noise barriers, atmospheric particle scattering, ultrasound, and VLSI . Many problems of scattering of time-harmonic acoustic or electromagnetic waves can be formulated as the Helmholtz and modified Helmholtz equations, supplemented with appropriate boundary conditions. Many efforts have been made to develop efficient numerical schemes and approximate methods to deal with the problems of high wavenumbers (i.e., high frequencies) [2–6]. It is noted in [4, 7] that a question yet to be fully resolved is to obtain accurate approximations of the solutions with a reasonable computational cost in the high-frequency case. Therefore it seems desirable, and difficult, to consider the high-frequency asymptotics of the equation and its modified version. This is the main motive of the present investigation. Applying the theory of asymptotic analysis [8–10], one may achieve a high degree of accuracy with only a few leading terms in the asymptotic expansions of the solution involved.
The objective of the present paper is to consider the following Dirichlet boundary value problem of the modified Helmholtz equation in the upper half-plane Ω:
where n is the outer normal vector, is the usual Laplace operator, and , is the closed real line, d decays sufficiently fast at infinity (e.g. ).
As a first step, we given the integral representation for the solution of the Dirichlet boundary value problem (1.1)-(1.2) for general derived by Fokas’ transform method.
And then, by using Watson’s lemma and the method of steepest descents for definite integrals, we focus on the high-frequency asymptotics with respect to specific Dirichlet data, namely,
where refers to a finite interval and D is an arbitrary constant.
2 The integral representation for the solution
For the Dirichlet boundary value problem (1.1)-(1.2), by using Fokas’ transform method, we have the following lemma.
Lemma 1 Assume that the function solves the modified Helmholtz equation (1.1) in the upper half z-plane Ω, and that it satisfies the Dirichlet boundary conditions (1.2), then the integral representation is valid:
The interested reader is referred to [, Ch. 11] and  for derived in detail. Accordingly, when we specify (1.2) in accordance to the piecewise constant Dirichlet data (1.3), we have the following lemma.
Lemma 2 Assume that the function solves the modified Helmholtz equation (1.1) in the upper half z-plane Ω, and that it satisfies the Dirichlet boundary conditions (1.3), then the integral representation is valid:
where l is an arbitrary ray in the first quadrant of the complex k-plane, oriented from the origin to infinity, with an angle between l and the positive real axis less than .
3 Asymptotic approximations
Our goal in this section is to study the asymptotical behavior of the solution to the Dirichlet problem of the modified Helmholtz equation, as the frequency, or, equivalently, the wavenumber, approaches infinity. This large-β asymptotic analysis will be based on the integral representation (2.3), and it will be carried out by using the method of steepest descents.
First we note that (2.3) can be expressed as the sum of two integrals of the form
where , and the path l, the same as in (2.3), is initially chosen as a ray in the first quadrant, emanating from the k-origin, with an open angle with the positive real line not exceeding . We denote
The phase function has a pair of saddle points determined by , lying symmetrically on the unit circle. For large positive β, the steepest descent path passing through the saddle point is simply the ray Γ starting from the origin and passing through . We note that the steepest descent path is defined by requiring and to decrease as k goes away from the saddle; cf. [8–10] for the definition and for basic background of the method of steepest descents. Also the steepest ascent path through is the unit circle, and it ends at the other saddle ; compare Figure 1 for the paths.
Using Cauchy’s integral theorem, the integration path l can be deformed to the steepest descent path Γ. Recalling that the argument θ may range over and that the integrand in (3.1) has a simple pole at , we divide our discussion into three cases, namely (i) , (ii) , and (iii) . We deform the paths case by case.
Case (i). When , the steepest descent path passing through lies in the first quadrant of the complex k-plane. We simply deform l into Γ, and we have
Case (ii). When , the steepest descent path passing through coincides with the positive half real axis of the complex k-plane. Also is a simple pole of the integrand. The seemingly complicated situation turns out to be easily handled, since can be explicitly given in this case:
where the integration path consists of two segments and and a upper half circle joining them, as illustrated in Figure 1. The last equality is obtained by using the symmetry of the integral under the transformation , picking up half of the residue of the integrand at , and taking the limit as .
Case (iii). When , the steepest descent path Γ emanating from the saddle point is in the fourth quadrant of the complex k-plane. To deform the original path l to Γ, one has to pick up the residue from the simple pole at . Accordingly, we have
We are now in a position to derive the asymptotic approximation for in (3.1) for fixed . We denote
Obviously we have . We divide the half z-plane Ω into three regions, namely, I, II, and III, defined by , and , respectively; cf. Figure 2. Then it is clear that when , for ; for , and ; and for , . On the boundaries, when , , while as .
where for . Obviously on the steepest descent path, and for each there is a pair of points on Γ, say, and , satisfying (3.7). Indeed, we may specify
Accordingly one obtains
which can be expanded into a convergent series for small τ in the form
where δ is a positive constant, and the coefficients can be evaluated in view of (3.8). Waston’s lemma implies that the whole contribution to the asymptotic behavior of the integrals in (3.9) comes from the saddle . Substituting (3.10) into (3.9) yields the full asymptotic expansion
where is the usual Gamma function. We summarize our discussion as follows.
Theorem 1 For large positive β (i.e., high frequencies and, equivalently, large wavenumbers), the following asymptotic expansions of the solution to the boundary value problem (1.1), (1.3) of the modified Helmholtz equation hold:
as , where and are defined in (3.6). Two exceptional cases are
as and , and
as and .
Chandler-Wilde SN, Graham IG: Boundary integral methods in high-frequency scattering. In Highly Oscillatory Problems. Edited by: Engquist B, Fokas T, Hairer E, Iserles A. Cambridge University Press, Cambridge; 2009:154-193.
Arden S, Chandler-Wilde SN, Langdon S: A collocation method for high frequency scattering by convex polygons. J. Comput. Appl. Math. 2007, 204: 334-343. 10.1016/j.cam.2006.03.028
Bao G, Wei G-W, Zhao S: Numerical solution of the Helmholtz equation with high wavenumbers. Int. J. Numer. Methods Eng. 2004, 59: 389-408. 10.1002/nme.883
Chandler-Wilde SN, Langdon S: A Galerkin boundary element method for high frequency scattering by convex polygons. SIAM J. Numer. Anal. 2007, 45: 610-640. 10.1137/06065595X
Kim S, Shin C-S, Keller JB: High-frequency asymptotics for the numerical solution of the Helmholtz equation. Appl. Math. Lett. 2005, 18: 797-804. 10.1016/j.aml.2004.07.027
Langdon S, Chandler-Wilde SN: A wavenumber independent boundary element method for acoustic scattering problem. SIAM J. Numer. Anal. 2006, 43: 2450-2477. 10.1137/S0036142903431936
Keller JB: Progress and prospects in the theory of linear wave propagation. SIAM Rev. 1979, 21: 229. 10.1137/1021031
Copson ET Cambridge Tracts in Math. and Math. Phys. 55. In Asymptotic Expansions. Cambridge University Press, London; 1965.
Olver FWJ: Asymptotics and Special Functions. Academic Press, New York; 1974.
Wong R: Asymptotic Approximations of Integrals. Academic Press, Boston; 1989.
Fokas AS: A Unified Approach to Boundary Value Problems. SIAM, Philadelphia; 2008.
Spence, EA: Boundary Value Problems for Linear Elliptic PDEs. PhD thesis, University of Cambridge (2010)
This research was supported in part by the National Natural Science Foundation of China under grant numbers 10871212.
The author declares that he has no competing interests.
About this article
- high-frequency asymptotics
- Fokas’ transform method
- method of steepest descents
- modified Helmholtz equation
- Dirichlet boundary value problem