# High-frequency asymptotics for the modified Helmholtz equation in a half-plane

- Min-Hai Huang
^{1}Email author

**2014**:45

https://doi.org/10.1186/1687-2770-2014-45

© Huang; licensee Springer. 2014

**Received: **10 September 2013

**Accepted: **14 February 2014

**Published: **21 February 2014

## Abstract

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.

## Keywords

## 1 Introduction

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 [1]. 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.

where **n** is the outer normal vector, $\mathrm{\u25b3}=\frac{{\partial}^{2}}{\partial {x}^{2}}+\frac{{\partial}^{2}}{\partial {y}^{2}}=4\frac{{\partial}^{2}}{\partial z\partial \overline{z}}$ is the usual Laplace operator, $z=x+iy$ and $\overline{z}=x-iy$, $\mathrm{\Gamma}=\partial \mathrm{\Omega}$ is the closed real line, *d* decays sufficiently fast at infinity (*e.g.* $d\in {L}^{1}({\mathbb{R}}^{+})\cap {L}^{2}({\mathbb{R}}^{+})$).

As a first step, we given the integral representation for the solution of the Dirichlet boundary value problem (1.1)-(1.2) for general $d(z)$ derived by Fokas’ transform method.

where $[a,b]$ 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*$q(x,y)$

*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*:

*where*

The interested reader is referred to [[11], Ch. 11] and [12] 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*$q(x,y)$

*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* $\pi -arg(z-b)$.

## 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.

*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 $\pi -arg(z-b)$. We denote

*β*, the steepest descent path passing through the saddle point ${k}_{+}$ is simply the ray Γ starting from the origin and passing through ${k}_{+}$. We note that the steepest descent path is defined by requiring $Im\phi (k)=Im\phi ({k}_{+})$ and $Re\phi (k)$ 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 ${k}_{+}$ is the unit circle, and it ends at the other saddle ${k}_{-}$; 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 $(0,\pi )$ and that the integrand in (3.1) has a simple pole at $k=1$, we divide our discussion into three cases, namely (i) $0<\theta <\pi /2$, (ii) $\theta =\pi /2$, and (iii) $\frac{\pi}{2}<\theta <\pi $. We deform the paths case by case.

*k*-plane. We simply deform

*l*into Γ, and we have

*k*-plane. Also $k=1$ is a simple pole of the integrand. The seemingly complicated situation turns out to be easily handled, since $I(\beta )$ can be explicitly given in this case:

where the integration path $\tilde{\mathrm{\Gamma}}$ consists of two segments $[0,1-\epsilon ]$ and $[1+\epsilon ,\mathrm{\infty})$ 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 $k\leftrightarrow 1/k$, picking up half of the residue of the integrand at $k=1$, and taking the limit as $\epsilon \to 0$.

*k*-plane. To deform the original path

*l*to Γ, one has to pick up the residue from the simple pole at $k=1$. Accordingly, we have

*z*-plane Ω into three regions, namely, I, II, and III, defined by $Rez\in (-\mathrm{\infty},a)$, $Rez\in (a,b)$ and $Rez\in (b,\mathrm{\infty})$, respectively;

*cf.*Figure 2. Then it is clear that when $z\in \mathrm{III}$, ${\theta}_{j}\in (0,\pi /2)$ for $j=1,2$; for $z\in \mathrm{II}$, ${\theta}_{2}\in (\pi /2,\pi )$ and ${\theta}_{1}\in (0,\pi /2)$; and for $z\in \mathrm{I}$, ${\theta}_{1},{\theta}_{2}\in (\pi /2,\pi )$. On the boundaries, when $Rez=b$, ${\theta}_{2}=\pi /2$, while ${\theta}_{1}=\pi /2$ as $Rez=a$.

*cf.*[8–10]). To be precise, we employ the standard argument of Watson’s lemma. Firstly, we introduce

*τ*in the form

*δ*is a positive constant, and the coefficients ${c}_{l}={c}_{l}(r,\theta )$ 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 $k={k}_{+}$. Substituting (3.10) into (3.9) yields the full asymptotic expansion

where $\mathrm{\Gamma}(t)$ 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*$q(x,y)$

*to the boundary value problem*(1.1), (1.3)

*of the modified Helmholtz equation hold*:

*as*$\beta \to +\mathrm{\infty}$,

*where*${r}_{j}$

*and*${\theta}_{j}$

*are defined in*(3.6).

*Two exceptional cases are*

*as*$\beta \to +\mathrm{\infty}$

*and*$Rez=a$,

*and*

*as* $\beta \to +\mathrm{\infty}$ *and* $Rez=b$.

## Declarations

### Acknowledgements

This research was supported in part by the National Natural Science Foundation of China under grant numbers 10871212.

## Authors’ Affiliations

## References

- 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.View ArticleGoogle Scholar - 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.028MATHMathSciNetView ArticleGoogle Scholar - 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.883MATHMathSciNetView ArticleGoogle Scholar - 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/06065595XMATHMathSciNetView ArticleGoogle Scholar - 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.027MATHMathSciNetView ArticleGoogle Scholar - 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/S0036142903431936MATHMathSciNetView ArticleGoogle Scholar - Keller JB: Progress and prospects in the theory of linear wave propagation.
*SIAM Rev.*1979, 21: 229. 10.1137/1021031MATHMathSciNetView ArticleGoogle Scholar - Copson ET Cambridge Tracts in Math. and Math. Phys. 55. In
*Asymptotic Expansions*. Cambridge University Press, London; 1965.View ArticleGoogle Scholar - Olver FWJ:
*Asymptotics and Special Functions*. Academic Press, New York; 1974.Google Scholar - Wong R:
*Asymptotic Approximations of Integrals*. Academic Press, Boston; 1989.MATHGoogle Scholar - Fokas AS:
*A Unified Approach to Boundary Value Problems*. SIAM, Philadelphia; 2008.MATHView ArticleGoogle Scholar - Spence, EA: Boundary Value Problems for Linear Elliptic PDEs. PhD thesis, University of Cambridge (2010)Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.