A Coupling between Integral Equations and On-Surface Radiation Conditions for Diffraction Problems by Non Convex Scatterers

Abstract

The aim of this paper is to introduce an orignal coupling procedure between surface integral equation formulations and on-surface radiation condition (OSRC) methods for solving two-dimensional scattering problems for non convex structures. The key point is that the use of the OSRC introduces a sparse block in the surface operator representation of the wave field while the integral part leads to an improved accuracy of the OSRC method in the non convex part of the scattering structure. The procedure is given for both the Dirichlet and Neumann scattering problems. Some numerical simulations show the improvement induced by the coupling method.

1. Introduction

During the last decades, time-harmonic wave propagation has proved to be central in many engineering and technological key developments, based, e.g., on acoustics, electromagnetism or elastic mechanisms. When one wants to simulate the associated boundary-value problem, one of the difficulties is related to the fact that the solution which has to be computed is set in an exterior unbounded domain ${\mathsf{\Omega }}^{+}$ defined as the complementary of a finite scatterer ${\mathsf{\Omega }}^{-}$. Therefore, to use a standard numerical method, it is necessary to bound the computational domain. One well-known possibility is to use an absorbing boundary condition [1,2,3,4,5,6,7] or a Perfectly Matched Layer [8,9,10,11,12,13] to bound the domain and then solve the resulting problem by the finite element method [14,15,16]. Another widely used alternative is to rewrite equivalently the initial exterior PDE problem as an integral equation over the finite surface $\mathsf{\Gamma }$ of the scatterer ${\mathsf{\Omega }}^{-}$ based on the Green’s function [17,18,19,20,21,22,23,24,25,26,27,28]. Then, this has the advantage of reducing from one the dimension of the problem. One of the main drawbacks is that, unlike the initial problem which involves partial differential operators, the integral equation is defined by construction as a nonlocal pseudodifferential operator. When a discretization technique is then applied, as the boundary element method, then the corresponding discrete version of the integral equation leads to the numerical solution of a highly indefinite complex-valued dense linear system which is particularly difficult to tackle in the high-frequency regime. Many technical aspects are then necessary to make it working correctly for some applications, for example to reduce the storage and to accelerate the solution of the linear system [17,18,29]. Various numerical methods were further developed to propose some other ways to solve, at least approximately, the initial scattering problem. One of them is the On-Surface Radiation Condition (OSRC) method introduced in [30] and further developed by many authors (see, e.g., [31]). Without giving too much details now, the OSRC approach also leads to solve an equation given over the surface of the scatterer, but defined through local surface partial differential operators. Therefore, after the application of the boundary element method, the linear system is highly sparse, yielding an efficient way to solve the scattering problem. The price to pay is that the method can be considered as a numerical asymptotic method, and therefore can lose some accuracy in some cases, in particular when the scatterer is not convex and includes some concave parts [31] where multiple scattering effects are present. Considering the problem of getting better accuracy for OSRC based techniques, a coupled formulation between the OSRC method and a two-dimensional finite element technique was proposed in [32] for scattering by single non convex obstacles. For the numerical simulation of multiple scattering problems (then leading to non convex global structures), coupled OSRC/integral equation formulations were presented in [33,34], where the shapes of the single obstacles are convex [33] or slightly non convex [34]. The aim of the present paper is to contribute to the improvement of the OSRC method for non convex single obstacles by proposing a direct simple coupling between the OSRC and the surface integral equation method. Unlike [32], the presented method is naturally only set on the boundary of the scatterer and does not suffer from the pollution error related to the finite element method.

The plan of the paper is the following: In Section 2, we introduce the two-dimensional Dirichlet scattering problem and the basic informations about the integral equation representations and their numerical approximation. Section 3 presents the notion of OSRC and its numerical discretization after writing the variational formulation. Section 4 develops the original coupling procedure for the Dirichlet problem. In particular, we explain how to formulate the problem and to improve its convergence properties if it is used in a Krylov solver, based on operator preconditioning. The coupling is validated in a simple two-dimensional example. The extension to the Neumann problem is shortly given in Section 5. Finally, Section 6 is a conclusion.

2. Two-Dimensional Scattering-Integral Equation Formulations

2.1. The Two-Dimensional Scattering Problem

Let us consider ${\mathsf{\Omega }}^{-}$ as a scatterer with polygonal boundary $\mathsf{\Gamma }:={\mathsf{\Omega }}^{-}$. The homogeneous isotropic exterior domain of propagation is denoted by ${\mathsf{\Omega }}^{+}={\mathbb{R}}^2\backslash \overline{{\mathsf{\Omega }}^{-}}$. For the sake of conciseness in the presentation, we first assume that the scatterer is acoustically sound-soft (i.e., Dirichlet boundary condition). Nevertheless, the case of a sound-hard scattering problem (Neumann boundary condition) is also treated shortly in Section 5. We now consider a time-harmonic incident plane wave $u^{\mathrm{inc}}\left(\mathbf{x}\right)=e^{ik{\theta }^{\mathrm{inc}}·\mathbf{x}}$ (with $\mathbf{x}=(x_1,x_2)\in {\mathbb{R}}^2$) illuminating ${\mathsf{\Omega }}^{-}$, with an incidence direction ${\theta }^{\mathrm{inc}}=(cos\left({\theta }^{\mathrm{inc}}\right),sin\left({\theta }^{\mathrm{inc}}\right))$ for a time dependence $e^{-i\omega t}$, setting $\omega$ as the wave pulsation and k as the wavenumber. The sound-soft scattering problem of $u^{\mathrm{inc}}$ by ${\mathsf{\Omega }}^{-}$ leads to the computation of the scattered wavefield $u\in {\mathcal{C}}^2\left({\mathsf{\Omega }}^{+}\right)\cap {\mathcal{C}}^0\left(\overline{{\mathsf{\Omega }}^{+}}\right)$ as the solution to the boundary-value problem

$$\left\{\begin{array}{c}{\displaystyle (\mathsf{\Delta }+k^2)u=0,\mathrm{in}{\mathsf{\Omega }}^{+},}\hfill \\ {\displaystyle u=-u^{\mathrm{inc}},\mathrm{on}\mathsf{\Gamma },}\hfill \\ {\displaystyle \underset{\left|\right|\mathbf{x}\left|\right|\to +\infty }{lim}{\left|\right|\mathbf{x}\left|\right|}^{1/2}(\nabla u·\frac{\mathbf{x}}{\left|\right|\mathbf{x}\left|\right|}-iku)=0.}\hfill \end{array}\right.$$

(1)

We designate by $(\mathsf{\Delta }+k^2)$ the Helmholtz operator, where $\mathsf{\Delta }={\partial }_{x_1}^2+{\partial }_{x_2}^2$ is the laplacian. The gradient operator is ∇ and $\left|\right|\mathbf{x}\left|\right|=\sqrt{\mathbf{x}·\mathbf{x}}$, where $\mathbf{x}·\mathbf{y}$ is the scalar product of two vectors $\mathbf{x}$ and $\mathbf{y}$ of ${\mathbb{R}}^2$. The last equation of (1) is the well-known Sommerfeld’s radiation condition at infinity that ensures the uniqueness of the scattered wave field u. The outwardly directed unit normal vector to ${\mathsf{\Omega }}^{-}$ is $\mathbf{n}$. A schematic representation of the problem is given in Figure 1. The existence and uniqueness of the solution to this BVP is well-known and detailed in [20], Theorem 2.12. From standard arguments connecting formulations in classical and Sobolev spaces ([20], p. 107), then $u\in H_{\mathrm{loc}}^1\left({\mathsf{\Omega }}^{+}\right)$ and u is ${\mathcal{C}}^{\infty }$ up to $\mathsf{\Gamma }$, excluding the corners of the polygonal curves ([20], Lemma 2.35). Following [20], Theorem 2.12, then it can also be proved that $\frac{\partial u}{\partial \mathbf{n}}\in L^2\left(\mathsf{\Gamma }\right)$.

Figure 1. Scattering configuration and notations.

2.2. Integral Operators for Scattering

Let us define G as the two-dimensional free-space Green’s kernel

$${\displaystyle \forall \mathbf{x},\mathbf{y}\in {\mathbb{R}}^2,\mathbf{x}\ne \mathbf{y},G(\mathbf{x},\mathbf{y})=\frac{i}{4}{H}_0^{\left(1\right)}(k\parallel \mathbf{x}-\mathbf{y}\parallel ),}$$

(2)

where $H_0^{\left(1\right)}$ is the first-kind Hankel’s function of order zero. Building an integral equation needs the Helmholtz integral representation formula ([20], Theorems 2.20 and 2.21).

Proposition 1. 

If $v\in {\mathcal{C}}^2\left({\mathsf{\Omega }}^{+}\right)\cap H_{\mathrm{loc}}^1\left({\mathsf{\Omega }}^{+}\right)$ is a solution to the Helmholtz equation in an unbounded domain ${\mathsf{\Omega }}^{+}$ which also satisfies the Sommerfeld radiation condition, then the following relation holds

$${\int }_{\mathsf{\Gamma }}-G(\mathbf{x},\mathbf{y}){\partial }_{\mathbf{n}}v\left(\mathbf{y}\right)+{\partial }_{{\mathbf{n}}_{\mathbf{y}}}G(\mathbf{x},\mathbf{y})v\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right)=\left\{\begin{array}{cc}v\left(\mathbf{x}\right)\hfill & \mathrm{if}\mathbf{x}\in {\mathsf{\Omega }}^{+},\hfill \\ 0\hfill & \mathit{otherwise}.\hfill \end{array}\right.$$

(3)

In addition, let us assume that $v^{-}\in {\mathcal{C}}^2\left({\mathsf{\Omega }}^{-}\right)\cap H^1\left({\mathsf{\Omega }}^{-}\right)$ is solution to the Helmholtz equation in a bounded domain ${\mathsf{\Omega }}^{-}$. One can write

$${\int }_{\mathsf{\Gamma }}-G(\mathbf{x},\mathbf{y}){\partial }_{\mathbf{n}}{v}^{-}\left(\mathbf{y}\right)+{\partial }_{{\mathbf{n}}_{\mathbf{y}}}G(\mathbf{x},\mathbf{y})v^{-}\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right)=\left\{\begin{array}{cc}0\hfill & \mathrm{if}\mathbf{x}\in {\mathsf{\Omega }}^{+},\hfill \\ -v^{-}\left(\mathbf{x}\right)\hfill & \mathit{otherwise}.\hfill \end{array}\right.$$

(4)

Let us now introduce the volume single- and double-layer integral operators, respectively, denoted by $\mathcal{L}$ and $\mathcal{M}$, that are defined for $\mathit{\rho }\in L^2\left(\mathsf{\Gamma }\right)$ by

$$\begin{array}{ccc}\forall \mathbf{x}\in {\mathbb{R}}^2\backslash \mathsf{\Gamma },\mathcal{L}:\mathit{\rho }& ⟼& {\displaystyle \mathcal{L}\mathit{\rho }\left(\mathbf{x}\right)={\int }_{\mathsf{\Gamma }}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right),}\\ \forall \mathbf{x}\in {\mathbb{R}}^2\backslash \mathsf{\Gamma },\mathcal{M}:\mathit{\rho }& ⟼& {\displaystyle \mathcal{M}\mathit{\rho }\left(\mathbf{x}\right)=-{\int }_{\mathsf{\Gamma }}{\partial }_{{\mathbf{n}}_{\mathbf{y}}}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right).}\end{array}$$

The wave fields v and $v^{-}$ (see (3) and (4)) can be expressed as

$$\left\{\begin{array}{cc}v\left(\mathbf{x}\right)=-\mathcal{L}\left({\partial }_{\mathbf{n}}v{|}_{\mathsf{\Gamma }}\right)\left(\mathbf{x}\right)-\mathcal{M}\left(v{|}_{\mathsf{\Gamma }}\right)\left(\mathbf{x}\right),\hfill & \forall \mathbf{x}\in {\mathsf{\Omega }}^{+},\hfill \\ v^{-}\left(\mathbf{x}\right)=\mathcal{L}\left({\partial }_{\mathbf{n}}{v}^{-}{|}_{\mathsf{\Gamma }}\right)\left(\mathbf{x}\right)+\mathcal{M}\left(v^{-}{|}_{\mathsf{\Gamma }}\right)\left(\mathbf{x}\right),\hfill & \forall \mathbf{x}\in {\mathsf{\Omega }}^{-}.\hfill \end{array}\right.$$

Furthermore, the single- and double-layer integral operators provide some outgoing solutions to the Helmholtz equation [20].

2.3. Direct Boundary Integral Equations for the Dirichlet Problem

The aim of this section is to provide without any detail the standard integral equation formulations for solving the two-dimensional scattering problem with Dirichlet boundary condition that will be used later. More details can be found in [17,20,28] for the derivation and properties of these integral equations (well-posedness, existence of resonant modes,...). Let us introduce the following boundary integral operators

$$\begin{array}{c}{\displaystyle L\mathit{\rho }\left(\mathbf{x}\right)={\int }_{\mathsf{\Gamma }}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right),}\hfill \\ {\displaystyle M\mathit{\rho }\left(\mathbf{x}\right)=-{\int }_{\mathsf{\Gamma }}{\partial }_{{\mathbf{n}}_{\mathbf{y}}}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right),}\hfill \\ {\displaystyle N\mathit{\rho }\left(\mathbf{x}\right)={\int }_{\mathsf{\Gamma }}{\partial }_{{\mathbf{n}}_{\mathbf{x}}}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right),}\hfill \\ {\displaystyle D\mathit{\rho }\left(\mathbf{x}\right)=-{\partial }_{{\mathbf{n}}_{\mathbf{x}}}{\int }_{\mathsf{\Gamma }}{\partial }_{{\mathbf{n}}_{\mathbf{y}}}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right).}\hfill \end{array}$$

(5)

Then, based on the expressions of the trace and normal derivative trace of the volume single- and double-layer potentials (see, e.g., [20] for further details), a first formulation is based on the trace of the single-layer operator

$$L\mathit{\rho }=-u^{\mathrm{inc}}{|}_{\mathsf{\Gamma }}\mathrm{in}{\mathrm{L}}^2\left(\mathsf{\Gamma }\right),$$

(6)

where the unknown density $\mathit{\rho }$ is an element of $L^2\left(\mathsf{\Gamma }\right)$. The equation is well-posed and equivalent to the exterior scattering problem (1) as soon as k is not an irregular interior frequency of the associated Dirichlet boundary-value problem [17,20,28]. This integral equation is called Electric Field Integral Equation (EFIE) in electromagnetism. In the sequel, this formulation will be denoted by Single-Layer Integral Equation (SLIE). In the case of a closed boundary $\mathsf{\Gamma }$, which is the situation in the paper, it can be proved that the spurious internal modes do not radiate. Therefore, there is no pollution in the far-field computation, which justifies that the SLIE can be considered as a reference solution. In addition, for an open surface $\mathsf{\Gamma }$, the SLIE is the only possible integral equation that can be written.

Another surface integral formulation is given by (see [20] for the functional framework associated to the integral equations)

$$(\frac{1}{2}I+N)\mathit{\rho }=-{\partial }_{\mathbf{n}}{u}^{\mathrm{inc}}{|}_{\mathsf{\Gamma }}.$$

(7)

It is also well-posed and equivalent to the exterior scattering problem (1) if k is not an interior Neumann resonance [17,28]. This formulation is often designated by Magnetic Field Integral Equation (MFIE). Nevertheless, this integral equation is not recommended in practice since the spurious modes radiate and introduce some errors when computing the far-field pattern. To avoid the interior resonance problem, Burton and Miller [17,19,28] proposed to rather use a linear combination between the EFIE and MFIE. If $\alpha$ is a real-valued parameter such that $0<\delta <1$ and if $\eta$ is a complex parameter with $\Im \left(\eta \right)\ne 0$, where $\Im \left(\eta \right)$ is the imaginary part of $\eta$, then one gets the Combined Field Integral Equation (CFIE) [17,23,28] or Burton-Miller Integral Equation (BWIE)

$$\left[(1-\delta )(\frac{1}{2}I+N)+\delta \eta L\right]\mathit{\rho }=-(1-\delta ){\partial }_{\mathbf{n}}{u}^{\mathrm{inc}}{{|}_{\mathsf{\Gamma }}-\delta \eta u^{\mathrm{inc}}|}_{\mathsf{\Gamma }}.$$

(8)

This integral equation is well-posed for any wavenumber k but can only be applied to closed surfaces.

An important point is that all these integral equations are based on the single-layer representation

$${\displaystyle \forall \mathbf{x}\in {\mathsf{\Omega }}^{+},u\left(\mathbf{x}\right)=\mathcal{L}\mathit{\rho }\left(\mathbf{x}\right),}$$

(9)

where the unknown surface field $\mathit{\rho }$ is the physical quantity defined by the jump (set as the difference between the interior and exterior traces)

$$\mathit{\rho }={\left[{\partial }_{\mathbf{n}}u\right]}_{\mathsf{\Gamma }}:=-{\partial }_{\mathbf{n}}{u}_{|\mathsf{\Gamma }}^{+}+{\partial }_{\mathbf{n}}{u}_{|\mathsf{\Gamma }}^{-}=-({\partial }_{\mathbf{n}}{u}_{|\mathsf{\Gamma }}+{\partial }_{\mathbf{n}}{u}_{|\mathsf{\Gamma }}^{\mathrm{inc}}).$$

(10)

To compute the far-field pattern, let us recall that we have: $u=\mathcal{L}\mathit{\rho }+\mathcal{M}\lambda$, where $\mathit{\rho }$ and $\lambda$ are two unknown densities. In the polar coordinates system $(r,\theta )$, the use of asymptotic expansions when $r\to +\infty$ leads to the following relation [22]

$$\forall \theta \in [0,2\pi ],u(r,\theta )=\frac{e^{ikr}}{r^{1/2}}\left[a_{\mathcal{L}}\left(\theta \right)+a_{\mathcal{M}}\left(\theta \right)\right]+O\left(\frac{1}{r^{3/2}}\right),$$

where $a_{\mathcal{L}}$ and $a_{\mathcal{M}}$ are the radiated far-fields for the single- and double-layer potentials, respectively, defined for any angle $\theta$ of $[0,2\pi ]$ by

$$\left\{\begin{array}{c}{\displaystyle a_{\mathcal{L}}\left(\theta \right)=\frac{1}{8\sqrt{k\pi }}{e}^{i\pi /4}{\int }_{\mathsf{\Gamma }}{e}^{-ik\theta ·\mathbf{y}}\mathit{\rho }\left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right),}\hfill \\ {\displaystyle a_{\mathcal{M}}\left(\theta \right)=\frac{1}{8\sqrt{k\pi }}{e}^{i\pi /4}{\int }_{\mathsf{\Gamma }}-\frac{ik}{\parallel \mathbf{y}\parallel }\theta ·\mathbf{y}{e}^{-ik\theta ·\mathbf{y}}\lambda \left(\mathbf{y}\right)\mathrm{d}\mathsf{\Gamma }\left(\mathbf{y}\right),}\hfill \end{array}\right.$$

with $\theta :=(cos(\theta ),sin(\theta \left)\right)$. In addition, the Sonar Cross Section (SCS) (in $\mathrm{dB}$) is such that

$$\forall \theta \in [0,2\pi ],\sigma \left(\theta \right)=10{log}_{10}\left(2\pi {\left|a_{\mathcal{L}}\left(\theta \right)+a_{\mathcal{M}}\left(\theta \right)\right|}^2\right).$$

(11)

When using the single-layer representation (9), only $a_{\mathcal{L}}$ is needed while $a_{\mathcal{M}}$ is set to zero. In the paper, we will focus on the SLIE.

2.4. Numerical Approximation

To numerically solve Equation (6) (or (8)), we first introduce a polygonal interpolating surface ${\mathsf{\Gamma }}_h$ which approximates $\mathsf{\Gamma }$. The triangularization of ${\mathsf{\Gamma }}_h$ is built by using $n_K$ linear segments $K_j$ of size h. Therefore, we have ${\mathsf{\Gamma }}_h={\cup }_{j=1}^{n_K}{K}_j$. In the numerical examples, we take about 10 elements per wavelength which is enough to get a suitable accuracy for the Boundary Element Method (BEM). The notation ${\mathbb{P}}_{\ell }$ designates the space of complex-valued polynomials of order ℓ. In (6) (or (8)), no derivative operator is applied to the unknown $\mathit{\rho }$. However, as seen below, the OSRC method, and the integral equation technique for the Neumann problems introduce some tangential derivatives that apply to the surface fields. For this reason, we propose to use the linear BEM all along the paper, where the conformal finite element space $V_h$ of ${\mathbb{P}}_1$ piecewise continuous functions is defined by

$$V_h:=\left\{{\varphi }_h^{\prime }\in {\mathcal{C}}^0\left({\mathsf{\Gamma }}_h\right);{\varphi }_{K_j}^{\prime }:={\varphi }_{h\mid K_j}^{\prime }\in {\mathbb{P}}_1,\forall j=1,...,n_K\right\}.$$

For the Dirichlet problem, a ${\mathbb{P}}_0$ (constant per segment) BEM could also be applied. For the numerical approximation, we naturally use the weak form of the integral Equation (6) which leads to [27]

$$\forall q\in L^2\left(\mathsf{\Gamma }\right),{\int }_{\mathsf{\Gamma }}{\int }_{\mathsf{\Gamma }}G(\mathbf{x},\mathbf{y})\mathit{\rho }\left(\mathbf{y}\right)q\left(\mathbf{x}\right)d\mathsf{\Gamma }\left(\mathbf{y}\right)d\mathsf{\Gamma }\left(\mathbf{x}\right)=-{\int }_{\mathsf{\Gamma }}{u}^{\mathrm{inc}}{|}_{\mathsf{\Gamma }}\left(\mathbf{x}\right)q\left(\mathbf{x}\right)d\mathsf{\Gamma }\left(\mathbf{x}\right).$$

(12)

Let us consider now that the BEM is applied. To compute the elementary interaction

$$I(K^1,K^2):={\int }_{K^1}{\int }_{K^2}G(\mathbf{x},\mathbf{y})d{K}^2\left(\mathbf{y}\right)d{K}^1\left(\mathbf{x}\right),$$

(13)

for two segments $K^1$ and $K^2$ of ${\mathsf{\Gamma }}_h$, a standard semi-analytical integration formula is used. This means that there is a first outer integration in (13) according to $\mathbf{x}$ on $K^1$ and based on a two-points Gauss–Legendre quadrature. Next, for the inner integral with respect to $\mathbf{y}$ on $K^2$, if $K^1\ne K^2$, then again a two-points Gauss–Legendre quadrature is applied, an exact integration formula is used [35] when $K^1=K^2$. By using the interpolating surface ${\mathsf{\Gamma }}_h$ and the linear approximations of both $\mathit{\rho }$ and q in $V_h$, the discrete form of (12) yields the linear system

$$\mathbb{L}\mathit{\rho }=-\mathbb{M}{\mathbf{u}}^{\mathrm{inc}},$$

(14)

where $\mathbb{L}$ is the complex-valued matrix associated with the single-layer operator and $\mathbb{M}$ is the surface mass matrix. If $n_P$ is the number of points of the curve ${\mathsf{\Gamma }}_h$, then all the matrices are elements of the space ${\mathcal{M}}_{n_P}\left(\mathbb{C}\right)$ of complex-valued matrices of size $n_P\times n_P$. Indeed, assuming that $\mathsf{\Gamma }$ is a closed boundary, then the number of degrees of freedom of the linear boundary element method, i.e., the number of points $n_P:=dim\left(V_h\right)$, is equal to the number of segments: $n_P=n_K$. In addition, the unknown complex-valued nodal vector $\mathit{\rho }$ and the nodal incident vector ${\mathbf{u}}^{\mathrm{inc}}$ are in ${\mathbb{C}}^{n_P}$. For computing the coefficients of $\mathbb{L}$, some semi-analytical quadrature formula are used to integrate the kernel singularity. If one rather uses the BWIE (8), the discrete form leads to

$$[(1-\delta )(\frac{1}{2}\mathbb{M}+\mathbb{N})+\delta \eta \mathbb{V})]\mathit{\rho }=-(1-\delta )\mathbb{M}{\partial }_{\mathbf{n}}{\mathbf{u}}^{\mathrm{inc}}-\delta \eta \mathbb{M}{\mathbf{u}}^{\mathrm{inc}},$$

(15)

where ${\partial }_{\mathbf{n}}{\mathbf{u}}^{\mathrm{inc}}$ is the nodal complex-valued vector related to the normal trace of the incident field. Finally, we have

$$\mathit{\rho }=-({\partial }_{\mathbf{n}}\mathbf{u}+{\partial }_{\mathbf{n}}{\mathbf{u}}^{\mathrm{inc}}).$$

(16)

3. Loss of Accuracy of the OSRC Method for Non Convex Scatterers

3.1. First and Second-Order OSRCs

The on-surface radiation condition (OSRC) method was introduced in the middle of the eighties by Kriegsmann, Taflove and Umashankar [30]. At that time, the main idea was to develop an approximate but efficient and low memory numerical solution for scattering problems, most particularly in the high-frequency regime. Starting from local approximations of the Dirichlet-to-Neumann (DtN) operator, they were able to propose the computation of the scattered field by two-dimensional simple obstacles. Since then, the OSRC method has received much attention from many researchers and many improvements and extensions have been proposed (see, e.g., [31]). For the sake of conciseness, we restrict our presentation to the so-called first- and second-order Bayliss–Turkel-like radiation conditions [36].

The first-order OSRC (that we denote by OSRC${}^1$) is given by

$${\partial }_{\mathbf{n}}{u}^1+(-ik+\frac{\kappa }{2})u^1=0,\mathrm{on}\mathsf{\Gamma }.$$

(17)

In the above equation, $(u^1,{\partial }_{\mathbf{n}}{u}^1)$ is the OSRC Cauchy data that approximate the exact Cauchy data $(u,{\partial }_{\mathbf{n}}u)$ on $\mathsf{\Gamma }$. Here, let us remark that $(u^1,{\partial }_{\mathbf{n}}{u}^1)$ must be understood as a notation since the OSRC is an approximate DtN map, which means that we do not a priori know if ${\partial }_{\mathbf{n}}{u}^1$ is the normal derivative trace of a function $u^1$. The function $\kappa :=\kappa \left(s\right)$ is the curvature at a point s of the surface, where s is the curvilinear abscissa counterclockwise directed along $\mathsf{\Gamma }$. Equation (17) can be seen as a simple impedance boundary condition for the exterior domain ${\mathsf{\Omega }}^{+}$. Various ways of deriving (17) are available in the literature. Let us mention for example [1] were formal and rigorous approaches are developed.

The first-order OSRC (17) can be improved, leading to the so-called symmetrical second-order Bayliss–Turkel condition (denoted by OSRC${}^2$ in the sequel)

$${\partial }_{\mathbf{n}}{u}^2+(-ik+\frac{\kappa }{2}-\frac{{\kappa }^2}{8(\kappa -ik)})u^2-{\partial }_s(\frac{1}{2(\kappa -ik)}{\partial }_s)u^2=0,\mathrm{on}\mathsf{\Gamma }.$$

(18)

In (18), the curvilinear derivative operator is written ${\partial }_{s}u=\nabla u·\tau$, where $\tau$ is the tangent vector to $\mathsf{\Gamma }$ ($\mathbf{n}·\tau =0$). In the same spirit, an Engquist–Majda-like OSRC can be derived [1,31]. However, some numerical simulations in various papers show that the boundary condition (18) provides a higher accuracy. Therefore, in the present paper, we restrict our study to (18).

3.2. Numerical Approximation

To solve (18), we introduce the weak formulation

$${\int }_{\mathsf{\Gamma }}{\partial }_{\mathbf{n}}{u}^{2}vd\mathsf{\Gamma }+{\int }_{\mathsf{\Gamma }}(-ik+\frac{\kappa }{2}-\frac{{\kappa }^2}{8(\kappa -ik)})u^{2}vd\mathsf{\Gamma }+{\int }_{\mathsf{\Gamma }}\frac{1}{2(\kappa -ik)}{\partial }_s{u}^2{\partial }_{s}vd\mathsf{\Gamma }=0,\mathrm{on}\mathsf{\Gamma },$$

(19)

for some suitable test-functions v in $H^1\left(\mathsf{\Gamma }\right)$. The pair of approximate Cauchy data $(u^2,{\partial }_{\mathbf{n}}{u}^2)$ is discretized in the finite element space $V_h\times V_h$. When the BEM is introduced, then the discretization of (19) can be rewritten at the matrix level as

$$\mathbb{M}{\partial }_{\mathbf{n}}{\mathbf{u}}^2+({\mathbb{M}}^{\beta }+{\mathbb{S}}^{\alpha }){\mathbf{u}}^2=\mathbf{0},$$

(20)

where the functions $\alpha$ and $\beta$ are defined for OSRC${}^2$ by

$$\alpha =\frac{1}{2(\kappa -ik)},\beta =-ik+\frac{\kappa }{2}-\frac{{\kappa }^2}{8(\kappa -ik)}.$$

The matrices ${\mathbb{S}}^{\alpha }$ and ${\mathbb{M}}^{\beta }$ are, respectively, the (sparse) $n_P\times n_P$ generalized stiffness and mass matrices associated with the functions $\alpha$ and $\beta$. In addition, the vectors ${\mathbf{u}}^2$ and ${\partial }_{\mathbf{n}}{\mathbf{u}}^2$ are complex-valued vector fields of ${\mathbb{C}}^{n_K}$. Finally, the second-order OSRC method requires the following stable approximation scheme for the curvature [36]: let $K=\left({\mathbf{a}}_1{\mathbf{a}}_2{\mathbf{a}}_3\right)$ be a triangle whose vertices ${\mathbf{a}}_j$, $j=1,2,3$, are points on ${\mathsf{\Gamma }}_h$, then, the curvature at the vertex ${\mathbf{a}}_2$ can be approximated by

$$\kappa \left({\mathbf{a}}_2\right)=\frac{4\times \mathrm{area}\left(K\right)}{a_1{a}_2{a}_3},$$

(21)

where $a_j$, for $j=1,\dots ,3$, are the lengths of the edges of K ordered with respect to the increasing size. This formula is directly applied on the triangles associated with the surface mesh and built on two adjacent segments. Using Formula (21) implies that the curvature is not equal to zero at the corner of the square since the triangle used to compute the numerical curvature is not flat. For a uniform surface mesh with size h, the numerical curvature is given as $\sqrt{2}/h$. This allows us to reproduce the scattering phenomenon arising at the corner (see also [36]).

Since we are solving a scattering problem with given Dirichlet boundary condition, then ${\mathbf{u}}^2$ is given by $-{\mathbf{u}}^{\mathrm{inc}}$ and then

$$\mathbb{M}{\partial }_{\mathbf{n}}{\mathbf{u}}^2=({\mathbb{M}}^{\beta }+{\mathbb{S}}_h^{\alpha }){\mathbf{u}}^{\mathrm{inc}}.$$

(22)

This means that ${\partial }_{\mathbf{n}}{u}^2$ is simply obtained through the solution of a complex-valued sparse linear system defined by the mass matrix. Once the unknown is obtained then one can compute an approximation of the jump of the normal derivative trace by the relation

$${\mathit{\rho }}^2=-({\partial }_{\mathbf{n}}{\mathbf{u}}^2+{\partial }_{\mathbf{n}}{\mathbf{u}}^{\mathrm{inc}}).$$

(23)

Another way of writing this relation is that ${\mathit{\rho }}^2$ is solution to

$$\mathbb{M}{\mathit{\rho }}^2=-({\mathbb{M}}^{{\beta }^2}+{\mathbb{S}}_h^{{\alpha }^2}){\mathbf{u}}^{\mathrm{inc}}-\mathbb{M}{\partial }_{\mathbf{n}}{\mathbf{u}}^{\mathrm{inc}}:={\mathbf{g}}^2.$$

(24)

The far-field can be directly obtained through expressions (11).

Even if the boundary condition (17) can be a priori applied to any scatterer ${\mathsf{\Omega }}^{-}$, we will see during the numerical simulations that a serious loss of accuracy is observed when the scatterer presents some concave parts (see [36] and Figure 1, Figure 2 and Figure 3). Indeed, in the concavity, the presence of multiply bounced rays cannot be modeled by local differential operators since the nature of this phenomena is nonlocal. Therefore, the aim of the next sections is to provide an original way to directly couple the OSRC formulation in the convex part of the scatterer to the SLIE restricted to the concave part to improve the accuracy.

Figure 2. Bistatic SCS for the unit square cylinder with cavity and Dirichlet boundary condition: Case 1: $k=2$ and ${\theta }^{\mathrm{inc}}=135$ deg., Case 2: $k=8$ and ${\theta }^{\mathrm{inc}}=160$ deg. and Case 3: $k=14$ and ${\theta }^{\mathrm{inc}}=150$ deg.

Figure 3. Bistatic SCS for the unit square cylinder with cavity and Neumann boundary condition: Case 1: $k=9$ and ${\theta }^{\mathrm{inc}}=140$ deg.; Case 2: $k=13$ and ${\theta }^{\mathrm{inc}}=160$ deg.

4. The Coupling Procedure for Non Convex Scatterers

4.1. Weak Coupling Procedure and Boundary Element Approximation

Since the OSRC solution is locally inaccurate in the non convex part of the domain, we propose to build a solution which is computed first by the OSRC method and improved thanks to the integral equation where the quality of the OSRC approximation deteriorates. To this end, let us assume that the geometry $\mathsf{\Gamma }$ can be decomposed into two non-overlapping parts $\mathsf{\Gamma }:={\mathsf{\Gamma }}_1\cup {\mathsf{\Gamma }}_2$, with ${\mathsf{\Gamma }}_1\cap {\mathsf{\Gamma }}_2=\left\{{\mathbf{a}}_1;{\mathbf{a}}_2\right\}$. The geometry ${\mathsf{\Gamma }}_1$ is related to the boundary part of $\mathsf{\Gamma }$ which is convex, the complementary (where we will use an integral equation) is ${\mathsf{\Gamma }}_2$ (see Figure 1). The proposed procedure uses 1) a global computation of an approximate surface density ${\mathit{\rho }}^2$ through the OSRC on $\mathsf{\Gamma }$ and 2) injects the restriction of this approximation to ${\mathsf{\Gamma }}_1$ into the global integral equation formulation on $\mathsf{\Gamma }$ to obtain an approximate density on ${\mathsf{\Gamma }}_2$. This way of partitioning the computation allows us to solve a smaller size boundary element system and can be seen as a ”one shot” computation.

In the following, if $\mathbb{A}$ is a global matrix on $\mathsf{\Gamma }$, we denote by ${\mathbb{A}}_{j\ell }$ the extracted matrix related to the interaction between the part ${\mathsf{\Gamma }}_j$ of the boundary and ${\mathsf{\Gamma }}_{\ell }$, $j,\ell =1,2$. We then have

$$\mathbb{A}=\left(\begin{array}{cc}{\mathbb{A}}_{11}& {\mathbb{A}}_{12}\\ {\mathbb{A}}_{21}& {\mathbb{A}}_{22}\end{array}\right).$$

(25)

In a similar way, the restriction of a nodal complex-valued vector $\mathbf{z}$ to the part of the boundary ${\mathsf{\Gamma }}_{\ell }$ is written ${\mathbf{z}}_{\ell }$, for $\ell =1,2$. Then, we propose the following algorithm for the SLIE formulation: compute ${\mathit{\rho }}^2:=({\mathit{\rho }}_1^2,{\tilde{\mathit{\rho }}}_2^2)\in {\mathbb{C}}^{n_P}$ such that

$$\begin{array}{c}\left(1\right)\mathrm{OSRC}:\mathrm{extract}{\mathit{\rho }}_1^2={\left({\mathit{\rho }}^2\right)}_1\in {\mathbb{C}}^{{\mathrm{n}}_{\mathrm{P}1}-2}\mathrm{from}\mathrm{the}\mathrm{computation}\mathrm{of}\mathbb{M}{\mathit{\rho }}^2={\mathbf{g}}^2,\hfill \\ \left(2\right)\mathrm{SLIE}:\mathrm{compute}{\tilde{\mathit{\rho }}}_2^2\in {\mathbb{C}}^{{\mathrm{n}}_{\mathrm{P}2}}\mathrm{as}\mathrm{the}\mathrm{solution}\mathrm{to}{\mathbb{L}}_{22}{\tilde{\mathit{\rho }}}_2^2=-{\mathbb{L}}_{21}{\mathit{\rho }}_1^2-{\left(\mathbb{M}{\mathbf{u}}^{\mathrm{inc}}\right)}_2.\hfill \end{array}$$

(26)

Even if other coupling possibilities are available, this one has the advantage that no modification of an existing code is required. Let us denote by $n_{Kj}$ (respectively, $n_{Pj}$) the number of segments (respectively, points) of the boundary ${\mathsf{\Gamma }}_j$, $j=1,2$, based on the uniform mesh used for the full BEM on ${\mathsf{\Gamma }}_h$. Then, we have $n_K=n_{K1}+n_{K2}$ and $n_P=n_{P1}+n_{P2}-2$ (the two junction points ${\mathbf{a}}_1$ and ${\mathbf{a}}_2$ must be counted once). In step 1), we only retain the values of the OSRC solution that are not considered in the cavity, including the two endpoints ${\mathbf{a}}_1$ and ${\mathbf{a}}_2$. This first step needs $\mathcal{O}\left(n_K\right)$ operations to solve the sparse complex-valued linear system (by using an LU factorization or a preconditioned iterative Krylov solver [37]) while the memory storage is $\mathcal{O}\left(n_{K1}\right)$. In the second step, the solution to a complex-valued full matrix is necessary. If a full storage is considered, then the linear system solution needs $\mathcal{O}\left(n_{K2}^3\right)$ elementary operations and the memory storage is $\mathcal{O}\left(n_{K2}^2\right)$. Usually, in integral equation solvers, most particularly for high-frequency scattering, it is preferable to use a subspace Krylov solver [17,37,38] in conjunction with a fast matrix-vector product algorithm like for example the Multilevel Fast Multipole Method (FMM) [24], high-order solvers [18] or the recent direct Adaptive Cross Approximation (ACA) techniques [29]. In this case, the memory requirement is $\mathcal{O}\left(n_{K2}\right)$ for a computational cost $\mathcal{O}(n_{K2}log{n}_{K2})$. In addition, it is well-known that preconditioning is a requirement to get a fast convergence. The second equation of (26) is defined through the single-layer integral operator. Then, the integral equation is a first-kind Fredholm equation which is known to be badly conditioned. To improve this, we propose a preconditioned version of the algorithm (26) based on the Caldèron relations [17] and well-adapted to fast iterative solvers but without modifying the solution of the initial coupling procedure. Let $\mathbb{D}$ be the discrete version of the normal derivative trace operator D and ${\mathbb{D}}_{22}$ its restriction to ${\mathsf{\Gamma }}_2$. Then, the preconditioned version of (26) is given by: find ${\mathit{\rho }}^2:=({\mathit{\rho }}_1^2,{\tilde{\mathit{\rho }}}_2^2)\in {\mathbb{C}}^{n_P}$ such that

$$\begin{array}{c}\left(1\right)\mathrm{compute}{\mathit{\rho }}_1^2={\left({\mathit{\rho }}^2\right)}_1\in {\mathbb{C}}^{{\mathrm{n}}_{\mathrm{P}1}-2}\mathrm{solution}\mathrm{to}\mathbb{M}{\mathit{\rho }}^2={\mathbf{g}}^2,\hfill \\ \left(2\right)\mathrm{obtain}{\tilde{\mathit{\rho }}}_2^2\in {\mathbb{C}}^{{\mathrm{n}}_{\mathrm{P}2}}\mathrm{as}\mathrm{the}\mathrm{solution}\mathrm{to}{\mathbb{D}}_{22}{\mathbb{L}}_{22}{\tilde{\mathit{\rho }}}_2^2=-{\mathbb{D}}_{22}{\mathbb{L}}_{21}{\mathit{\rho }}_1^2-{\mathbb{D}}_{22}{\left(\mathbb{M}{\mathbf{u}}^{\mathrm{inc}}\right)}_2.\hfill \end{array}$$

(27)

The second equation of (27) is defined by a second-kind integral equation formulation which has better clustering properties for the convergence of Krylov subspace solvers. The price to pay is that each iteration of a Krylov solver requires to apply ${\mathbb{L}}_{22}$ first and next ${\mathbb{D}}_{22}$. The preconditioned Caldèron SLIE coupling procedure (27) is called SLIE-OSRC${}^2$. Once ${\tilde{\mathit{\rho }}}^2:=({\mathit{\rho }}_1^2,{\tilde{\mathit{\rho }}}_2^2)\in {\mathbb{C}}^{n_P}$ has been computed, all the usual quantities of interest can be obtained like for the SCS given by (11).

The SLIE-OSRC${}^2$ formulation may suffer from the existence of interior resonances. Even if the spurious modes do not radiate for the SLIE, it can be better to have access to a stable formulation. To this end, the following BWIE-OSRC${}^2$ coupling procedure could alternatively be used: compute ${\tilde{\mathit{\rho }}}^2:=({\mathit{\rho }}_1^2,{\tilde{\mathit{\rho }}}_2^2)\in {\mathbb{C}}^{n_P}$ such that

$$\begin{array}{c}\left(1\right){\mathit{\rho }}_1^2={\left({\mathit{\rho }}^2\right)}_1\in {\mathbb{C}}^{{\mathrm{n}}_{\mathrm{P}1}-2}\mathrm{is}\mathrm{solution}\mathrm{to}\mathbb{M}{\mathit{\rho }}^2={\mathbf{g}}^2,\hfill \\ \left(2\right)\mathrm{extract}{\tilde{\mathit{\rho }}}_2^2\in {\mathbb{C}}^{{\mathrm{n}}_{\mathrm{P}2}}\mathrm{from}\mathrm{the}\mathrm{solution}\mathrm{to}\hfill \\ [(1-\delta )(\frac{1}{2}{\mathbb{M}}_{22}+{\mathbb{N}}_{22})+\delta \eta {\mathbb{V}}_{22})]{\tilde{\mathit{\rho }}}_2^2=-[(1-\delta )(\frac{1}{2}{\mathbb{M}}_{21}+{\mathbb{N}}_{21})+\delta \eta {\mathbb{V}}_{21})]{\mathit{\rho }}_1^2\hfill \\ -(1-\delta ){\left(\mathbb{M}{\partial }_{\mathbf{n}}{\mathbf{u}}^{\mathrm{inc}}\right)}_{22}-\delta \eta {\left(\mathbb{M}{\mathbf{u}}^{\mathrm{inc}}\right)}_{22}.\hfill \end{array}$$

(28)

Unlike the SLIE-OSRC${}^2$ formulation, the BWIE-OSRC${}^2$ approach is defined by a second-kind Fredholm integral equation and does not really need to be preconditioned when correctly choosing $\delta$ and $\eta$ (see, e.g., [17]). An extra computational cost and memory storage is required since the evaluation of the double-layer potentials ${\mathbb{N}}_{22}$ and ${\mathbb{N}}_{21}$ are required.

In the following examples, we will report only the results related to the SLIE-OSRC${}^2$ formulation since no resonance were met and we always plot the SCS. In addition, we do not use any iterative solver for the resulting linear systems because we are considering toys problems for a proof of concept. However, for three-dimensional problems, where the method directly extends, the difference between all the formulations may be important in terms of convergence rate. Here, we rather focus on the accuracy improvement. Further investigations are therefore needed, as well as improved formulations and implementation of higher order OSRCs.

4.2. A Numerical Example-Validation of the Procedure

As previously said, we use the SLIE-OSRC${}^2$ formulation. The model toy problem is the following. We consider the obstacle ${\mathsf{\Omega }}^{-}$ as being composed of the square cylinder centered at the origin and with side length 2, with an inner square cavity defined by the corners $(1/3,-1/3),$$(1,-1/3),$$(1,1/3)$ and $(1/3,1/3)$. The boundary ${\mathsf{\Gamma }}_2$ is then defined as the internal boundary to the cavity (blue curve on Figure 1) and ${\mathsf{\Gamma }}_1$ is the complementary boundary on $\mathsf{\Gamma }$ (red curve on Figure 1). For an incident plane wave, the reference solution is given by the SLIE (14) discretized by the BEM (with 10 points per wavelength). The results are clearly improved compared to the pure OSRC approach for wave numbers $k\le 15$ and this, independently of the angle of attack ${\theta }^{\mathrm{inc}}$. As it can be observed on the first picture of Figure 2 (Case 1, for $k=2$), we almost obtain the reference solution by using the SLIE-OSRC${}^2$ approach while a pure OSRC approximation gives a poor accuracy which deteriorates as k increases. For a higher wave number (Case 2, $k=8$), the results are still accurate (see Figure 2). By increasing the frequency, we still have an acceptable solution as seen on the third example of Figure 2 (Case 3, $k=14$). For both the integral equations and OSRCs, since we consider a mesh with ten elements per wavelength, the size of the matrix ${\mathbb{L}}_{2,2}$ is about $n_{K2}=2.5k$, which is more than four times less than for a pure SLIE solution.

5. The Neumann Scattering Problem

The Neumann scattering problem, i.e., considering (1) but with the boundary condition: ${\partial }_{\mathbf{n}}u=-{\partial }_{\mathbf{n}}{u}^{\mathrm{inc}}$ on $\mathsf{\Gamma }$, can be treated similarly with the EFIE [17] based on the normal derivative trace of the double-layer potential written under its weak form (called DLIE). A hyper-singular kernel must then be integrated carefully by semi-integration techniques. For the OSRC, the method applies quite similarly and leads to the solution of a sparse linear system.

In general, the coupling procedure (called DLIE-OSRC${}^2$) has proved to be less accurate than for the Dirichlet problem (i.e., for SLIE-OSRC${}^2$). We think that this is due to the fact that the OSRC approach requires a higher order operator to provide a suitable fast solution during the first step of the method. We recommend to rather use the square-root OSRC developed in [2]. The resulting coupling technique will be analyzed in a forthcoming work. For low and moderate wave numbers ($k\le 4$), we still get quite acceptable results having always in mind the lower computational cost of the DLIE-OSRC${}^2$ method. However, there is a moderate accuracy for wave numbers such that $k\ge 10$ as seen on the two cases reported in Figure 3. Nevertheless, this must be counterbalanced by the lower cost of the procedure and the possibility to increase the OSRC accuracy in the convex part. In addition, we always obtain a good prediction of the main lobs where the energy is mostly radiating. As a general concluding remark, the coupling DLIE-OSRC${}^2$ algorithm provides an interesting alternative to the DLIE. Furthermore, the method is always more accurate than a classical OSRC approach and gives a possibility of its extension to non-convex obstacles.

6. Conclusions

In this paper, we introduced a simple and original algorithm coupling the surface integral equation method and the OSRC technique for solving the scattering problem by nonconvex scatterers. While simple, the coupling method leads to an improved accuracy compared with the pure OSRC approach and reduces the computational cost of a direct integral equation formulation. In addition, we explain how operator preconditioning can be directly included into the formulations. The method is validated on a simple two-dimensional problem as a proof of concept. In particular, the method is accurate for the Dirichlet problem, but still needs to be further investigated by using high-order OSRCs in the case of the Neumann problem. We expect that the formulation can be useful for three-dimensional high-frequency scattering problems solved iteratively by Krylov solvers with acceleration algorithms.