Skip to main content

On the numerical solutions of two-dimensional scattering problems for an open arc


For the scattering problems of acoustic wave for an open arc in two dimensions, we give a uniqueness and existence analysis via the single layer potential approach leading to a system of integral equations that contains a weakly singular operator. For its numerical solutions, we describe an \(O(h^{3})\) order quadrature method based on the specific integral formula including convergence and stability analysis. Moreover, the asymptotic expansion of errors with odd power \(O(h^{3})\) is got and the Richardson extrapolation algorithm (EA) is used to improve the accuracy of numerical solutions. The efficiency of the method is illustrated by a numerical example.


The scattering problems of electromagnetic waves or time-harmonic acoustic waves by an infinitely long semi-cylindrical obstacle with a smooth open contour cross-section \(\varGamma \subset R^{2}\) are reduced to the Helmholtz equation with unbounded boundary value problems

$$ \textstyle\begin{cases} \Delta u(x)+k^{2}u(x)=0, \quad x\in R^{2}\backslash \varGamma , \\ u(x)=g(x), \quad x\in \varGamma , \\ \frac{\partial u(x)}{\partial r}-iku(x)=o(\frac{1}{\sqrt{r}}),\quad r= \vert x \vert \longrightarrow \infty , \end{cases} $$

where Γ is a smooth open arc, \(k>0\) is the wave number, and \(\vert x \vert \) is the Euclidean distance.

The solution of (1) is got by the single layer potential theory in the following form [1]:

$$ u(y)= \int _{\varGamma }K_{0} \bigl( \vert x-y \vert \bigr)v(x)\,ds_{x}, \quad y\in R^{2}\backslash \varGamma , $$

where \(K_{0} \vert x-y \vert \) is the fundamental solution of (1), which is described as

$$ K_{0} \bigl( \vert x-y \vert \bigr)= \frac{i}{4}H_{0}^{(1)} \bigl(k \vert x-y \vert \bigr),\quad x\neq y, $$

and \(H_{0}^{(1)}=iN_{0}+J_{0}\) is the Hankel function of order zero and of the first kind.

\(N_{0}\) is the Neumann function of order zero, which is given by

$$ N_{0}(z)=\frac{2}{\pi } \biggl(\ln \frac{z}{2}+ \gamma \biggr)J_{0}(z)+\frac{2}{\pi } \sum _{n=1}^{\infty } \Biggl(\sum _{m=1}^{n} \frac{1}{m} \Biggr) \frac{(-1)^{(n+1)}}{(n!)^{2}} \biggl(\frac{z}{2} \biggr)^{2n} $$

with \(\gamma =0.57721\ldots \) denoting the Euler constant, and \(J_{0}\) is the Bessel function of order zero, which is given by

$$ J_{0}(z)=\sum_{n=0}^{\infty } \frac{(-1)^{n}}{(n!)^{2}} \biggl(\frac{z}{2} \biggr)^{2n}. $$

Equations (4) and (5) are valid for small \(\vert z \vert \). For large \(\vert z \vert \), they are inaccurate, and other series expressions are given in [2].

We decompose the integral kernel to analyze its properties as follows:

$$ K_{0} \bigl( \vert x-y \vert \bigr)=k_{1}(x,y)+k_{2}(x,y), $$

where \(k_{1}(x,y)=-1/2\pi \ln \vert x-y \vert \) is a logarithmic singular function and \(k_{2}(x,y)=i/4-1/2\pi (\ln (k/2)+\gamma )+O( \vert x-y \vert \ln \vert x-y \vert )\) is a smooth function.

The singe layer potential (2) solves the unbounded Dirichlet problem provided the density v is the solution of the boundary integral equation

$$ g(y)= \int _{\varGamma }K_{0} \bigl( \vert x-y \vert \bigr)v(x)\,ds_{y}, \quad y\in \varGamma , $$

which is the first kind boundary integral equation with weakly singular kernel. Assume that \(C_{\varGamma }\) denotes the logarithmic capacity of Γ, when \(C_{\varGamma }\neq 1\), the solution of (7) exists and is unique. Once the solution \(v(x)\) is solved by (7), the value \(u(x)\) (\(x\in R^{2}\backslash \varGamma \)) can be got by (2).

Boundary element method (BEM) [1, 3], finite element method (FEM) [4], and some meshless methods [5, 6] have been developed for numerical solutions of the Helmholtz equation. Huang and Wang [7] considered numerical solutions of the boundary integral equation of the Helmholtz equation with mixed boundary value problem on a smooth closed curve by the mechanical quadrature method [8] and extrapolation algorithm. In this case, the solution of the equation is smooth. The boundary element-free method was proposed by Chen, Liu, and Li [2] for solving two-dimensional exterior and interior Helmholtz equations with mixed boundary value problem. The large wave numbers Helmholtz equation was solved by Wang, Zhai, and Zhang [9] using a new weak Galerkin mixed finite element method. Dastour and Liao [10] presented the finite difference method for solving the two-dimensional Helmholtz problems. A radial basis function-generated finite difference scheme was introduced by London̄o and Montegranario [11] to get the numerical solutions of the two-dimensional Helmholtz equation. Celiker and Lin [12] solved the Helmholtz equation with the Dirichlet boundary value problem by using a conforming finite element method and obtained the high precision numerical solutions, etc. In the above numerical methods, the boundary element method is a good choice due to the reduction of the dimension of boundary value problems. Boundary element method can be used to transform boundary value problems into boundary integral equations which include singular integral [1]. There are numerical methods to solve the boundary integral equations (7), such as Galerkin method [13], collocation method [14], and meshless methods [15]. However, these methods are either of low accuracy or complicated or unstable.

The focus of the paper is to investigate the numerical solutions of the Helmholtz equation with Dirichlet problems for the smooth open arc by using a high-accuracy quadrature method which has the characteristics of high-accuracy, low computational complexity, and good stability. We firstly convert the problem into a weakly singular boundary integral equation by using the potential theory. Because the boundary integral equation is defined on the smooth open arc, its solution is singular at the end of the open arc, which seriously affects the accuracy of the numerical solutions. In order to obtain high accuracy numerical solutions, we use Sidi transform to eliminate the singularity of solution at the end of open arc. Further, we construct a high-accuracy quadrature method according to the specific quadrature formula and discrete the equation to get a system of linear equations. Then, we prove the convergence of the numerical solutions and the stability of the method, and prove that the error has a single parameter asymptotic expansion with odd power \(O(h^{3})\), and the discrete matrix has a good condition number. The higher accuracy can be obtained by the EA. In the end, numerical results support our theoretical analysis.

The remainder of the paper is organized as follows. We analyze the singularities of the solutions and integral kernels in Sect. 2. A quadrature method with high-accuracy is constructed to discrete the integral equation by using singular integral formula in Sect. 3. Furthermore, we prove the convergence and stability of the method. In Sect. 4, we get the single parameter asymptotic expansion of the error and construct the EA based on the expansion to improve the accuracy of the numerical solutions. A numerical example is given in Sect. 5 to verify our theoretical analysis.

Singularity analysis of integral kernels and solutions

For the convenience of discussion, we assume that the boundary Γ is described by the parameter mapping: \(x=x(t)=(x_{1}(t),x_{2}(t))\), \(t\in [0,1]\) with \(x(t)\in C^{m}[0,1]\), \(m\in N\) and also assume \(y=x(s)=(x_{1}(s),x_{2}(s))\), \(s\in [0,1]\). Under the parameter mapping, (7) can be converted into the following integral equation:

$$ g(s)= \int _{0}^{1}K_{0} \bigl( \bigl\vert x(t)-x(s) \bigr\vert \bigr)v \bigl(x(t) \bigr) \bigl\vert x^{\prime }(t) \bigr\vert \,dt, \quad s\in [0,1], $$

with \(g(s)=g(x(s))\). Since the function v is singular at \(t=0\) and \(t=1\), we use Sidi transformation [16] to eliminate singularity, which is defined as follows:

$$ t=\psi _{p}(\tau ):[0,1]\rightarrow [0,1], \quad p\in N, $$

where \(\psi _{p}(\tau )=\vartheta _{p}(\tau )/\vartheta _{p}(1)\), \(\vartheta _{p}(\tau )=\int _{0}^{\tau }(\sin (\pi \rho ))^{p}\,d\rho \). Hence (8) is equivalent to

$$ g(s)= \int _{0}^{1}K_{0} \bigl( \bigl\vert x( \tau )-x(s) \bigr\vert \bigr)v(\tau ) \bigl\vert x^{\prime } \bigl( \psi _{p}( \tau ) \bigr) \bigr\vert \psi ^{\prime }_{p}( \tau )\,d\tau , \quad s\in [0,1], $$

where \(x(\tau )=x(\psi _{p}(\tau ))\), \(v(\tau )=v(x(\psi _{p}(\tau )))\), and \(\psi ^{\prime }_{p}(\tau )\) has zero points with degree p at \(\tau =0\) and \(\tau =1\).

Some integral operators on \([0,1]\) are defined as follows:

$$ (Tw) (s)= \int _{0}^{1}t(s,\tau )w(\tau )\,d\tau $$

with \(t(s,\tau )=-\frac{1}{2\pi }\ln \vert 2e^{-1/2}\sin (\pi (s-\tau )) \vert \), \(w(\tau )=v(\tau ) \vert x^{\prime }(\psi _{p}(\tau )) \vert \psi ^{\prime }_{p}(\tau )\),

$$ (K_{1}w) (s)= \int _{0}^{1}k_{1}(s,\tau )w(\tau )\,d \tau $$

with \(k_{1}(s,\tau )=-\frac{1}{2\pi }[\ln \vert x(s)-x(\tau ) \vert -\ln \vert 2e^{-1/2} \sin (\pi (s-\tau )) \vert ]\), and

$$ (K_{2}w) (s)= \int _{0}^{1}k_{2}(s,\tau )w(\tau )\,d \tau $$

with \(k_{2}(s,\tau )=k_{2}(x(s),x(\tau ))\). From (11), (12), and (13), we transform (10) into the following matrix operator equation:

$$ (T+K_{1}+K_{2})w=\tilde{G}, $$

where \(\tilde{G}=g(s)\) and \(w=w(\tau )\) with \(w(0)=w(1)=0\) if p is sufficiently large. The Symm operator T is an isomorphism between \(H^{l}[0, 1]\) and \(H^{l+1}[0, 1]\) for any real l, where \(H^{l}[0, 1]\) is the periodic Sobolev space with period 1, so (14) is equivalent to

$$ \bigl(E+T^{-1}(K_{1}+K_{2}) \bigr)w=G, $$

where E is the identity operator and \(G=T^{-1}\tilde{G}\).

Next, we analyze the singularity of the solution v of (7), Let \(Q_{1}\) and \(Q_{2}\) be the end of Γ, and assume the endpoints correspond to the parameter values \(t_{m}\) (\(m=1,2\)). It is well known that the solution v has singularity at points \(t_{m}\) (\(m=1,2\)) [17, 18]. The solution v can be described as the following form:

$$ v \bigl(x(t) \bigr)=t^{\beta _{m-1}}(1-t)^{\beta _{m}}g(t), $$

where \(g(0)\neq 0\), \(g(1)\neq 0\), and \(\beta _{m}\geq -\frac{1}{2}\). Further, we get

$$ w(\tau )=d_{1}g(0)\tau ^{(p+1)\beta _{m-1}+p} \bigl(1+O \bigl( \tau ^{2} \bigr) \bigr), \quad \tau \rightarrow 0^{+} $$


$$ w(\tau )=d_{2}g(1) (1-\tau )^{(p+1)\beta _{m}+p} \bigl(1+O \bigl((1-\tau )^{2} \bigr) \bigr) ,\quad \tau \rightarrow 1^{-}, $$

where \(d_{1}\) and \(d_{2}\) are constants. From (17) and (18), it is easy to know that \(w(\tau )\) is bounded in \([0, 1]\) and has zeros at \(\tau =0\) and \(\tau =1\).

Then we get the following results hold:

  1. (1)

    \(t(s,\tau )\) is a logarithmic singular function on \(s\in [0,1]\) and \(\tau \in [0,1]\);

  2. (2)

    \(k_{1}(s,\tau )\) is a continuous function on \(s\in [0,1]\) and \(\tau \in [0,1]\);

  3. (3)

    \(k_{2}(s,\tau )\) is a continuous function on \(s\in [0,1]\) and \(\tau \in [0,1]\);

  4. (4)

    The solution \(w(\tau )\) is a smooth function.

High-accuracy quadrature method

Lemma 1


Assume\(g(x)\)and\(h(x)\in C^{2m}[a,b]\). \(G(x)=\ln \vert x-t \vert g(x)+h(x)\)is a periodic function with a period of\(b-a\)and at least 2mdifferentiable in\({\L }=\{-\infty ,+\infty \}\setminus \{t+kT\}_{\{k=-\infty \}}^{\{+ \infty \}}\). There exists a quadrature formula as follows:

$$ Q_{n}(G)=h\sum_{j=1,x_{j}\neq t}G(x_{j})+h(t)h+ \ln \biggl(\frac{h}{2\pi } \biggr)g(t)h, $$

and the error is given by

$$ E_{n}(G)= \int _{a}^{b}G(x)\,dx-Q_{n}(G)=2\sum _{j=1}^{m-1} \frac{\zeta '(-2j)}{(2j)!}g^{(2j)}(t)h^{2j+1}+O \bigl(h^{2m} \bigr), $$

where\(\zeta '(t)\)is the derivative of the Riemann zeta function andhis the mesh widths.

Let us assume that \(h=1/n\) (\(n\in N\)) denotes mesh widths, and \(s_{j}=\tau _{j}=(j-1/2)h\), \(j=1,\ldots,n\), are middle nodes. For an integral operator M with continuous kernel \(m(s,\tau )\) as \(K_{1}\) and \(K_{2}\), by the midpoint or the trapezoidal rule [19], the Nyström approximation \(M^{h}\) is defined

$$ \bigl(M^{h}w \bigr) (s)=h\sum _{j=1}^{n}m(s,\tau _{j})w(\tau _{j}),\quad s\in [0,1], $$

with the error bounds

$$ (Mw) (s)- \bigl(M^{h}w \bigr) (s)=O \bigl(h_{m}^{2l} \bigr). $$

For the logarithmic singular operator T, by the quadrature formula (19), the Fredholm approximation \(T^{h}\) is defined

$$ \bigl(T^{h}w \bigr) (s_{i})= \frac{h}{2\pi }\sum_{j=1,s_{i}\neq \tau _{j}}^{n}\ln \bigl\vert 2e^{-1/2} \sin \pi (s-\tau _{j}) \bigr\vert w(\tau _{j})+\frac{h}{2\pi }\ln \biggl\vert \frac{2\pi e^{-1/2}h}{2\pi } \biggr\vert w(s_{i}) $$

with the error bounds

$$ (Tw) (s_{i})- \bigl(T^{h}w \bigr) (s_{i})=-\frac{2}{\pi }\sum_{\mu =1}^{2l-1} \frac{\zeta ^{\prime }(-2\mu )}{(2\mu )!} \bigl[w(s_{i}) \bigr]^{2\mu }h_{m}^{2\mu +1}+O \bigl(h_{m}^{2l} \bigr),\quad i=1,\ldots,n. $$

From (21) and (23), we can get the approximate equation of (14) as follows:

$$ \bigl(T^{h}+K_{1}^{h}+K_{2}^{h} \bigr)w^{h}=\tilde{G}^{h}, $$

where \(w^{h}=(w(\tau _{1}),\ldots,w(\tau _{n}))\) and \(\tilde{G}^{h}=(\tilde{G}(\tau _{1}),\ldots,\tilde{G}(\tau _{n}))\). It is obvious that (25) is a linear equation with n unknowns. The solution \(w^{h}\) is solved by (25), then the value \(u(y)\) (\(y\in R^{2}\backslash \varGamma \)) can be got by the following form:

$$ u^{h}(y)=h\sum_{j=1}^{n}K_{0} \bigl( \bigl\vert y-x(\tau _{j}) \bigr\vert \bigr)w(\tau _{j}). $$

To discuss a unique solution existing for (25), we firstly obtain that the operator \(T^{h}\) is invertible. From (23) we know that \(T^{h}\) is the circular matrix, which is expressed by

$$ T^{h}=\operatorname{circulate} \biggl(- \frac{h}{2\pi }\ln \bigl\vert e^{-1/2}h \bigr\vert ,\ldots,- \frac{h}{2\pi }\ln \bigl\vert 2e^{-1/2}\sin \bigl(\pi (n-1)h \bigr) \bigr\vert \biggr). $$

Lemma 2

There are two constants\(c_{1}>0\)and\(c_{2}>0\)independent ofh, which make the eigenvalues\(\lambda _{\alpha }\) (\(\alpha =1,\ldots,n\)) of matrix\(T^{h}\)satisfy\(c_{1}\geq \lambda _{\alpha }\geq c_{2}h\).


Since \(\sin (\pi -x)=\sin (x)\), it is easy to see that \(T^{h}\) is a symmetric circular matrix. Further, we get \(\lambda _{(}\alpha )=F(\epsilon ^{\alpha })/2\pi \) with \(\epsilon =e^{2\pi \sqrt{-1}/n}\) and

$$ F(z)=-h \Biggl\{ \ln \bigl\vert he^{-1/2} \bigr\vert +\sum _{j=1}^{n-1}z^{j}\ln \bigl\vert 2e^{-1/2}\sin (j \pi /n) \bigr\vert \Biggr\} . $$

To estimate the upper bound, we first prove the following identity:

$$ \prod_{j=1}^{n-1}\sin \biggl( \frac{j\pi }{n} \biggr)=\frac{n}{2^{n-1}}. $$

Because the polynomial \(x^{n}-1\) can be factorized by its complex roots, we obtain

$$ x^{n}-1=(x-1)\prod_{j=1}^{n-1} \bigl(x-e^{2\pi ij/n} \bigr) $$


$$ 1+x+x^{2}+\cdots +x^{n-1}\prod_{j=1}^{n-1} \bigl(x-e^{2\pi ij/n} \bigr). $$

Let \(x=1\), we have

$$ n=\prod_{j=1}^{n-1} \bigl(1-e^{2\pi ij/n} \bigr)=\prod_{j=1}^{n-1} \bigl\vert e^{\pi ijn} \bigr\vert \bigl\vert e^{- \pi ij/n}-e^{\pi ij/n} \bigr\vert =2^{n-1}\prod_{j=1}^{n-1} \sin (\pi j/n). $$

Based on the above equation, identity (28) can be got. From (28) we have

$$ F(1)=-h \Biggl\{ \ln \bigl\vert he^{-1/2} \bigr\vert +\sum _{j=1}^{n-1}\ln \bigl\vert 2e^{-1/2}\sin (j \pi /n) \bigr\vert \Biggr\} =\frac{1}{2}, $$

and obtain \(\lambda _{0}=1/4\pi \).

For \(\alpha =1,\ldots,n-1\), we have

$$ \lambda _{\alpha }=-\frac{h}{2\pi } \bigl\{ \ln \bigl\vert he^{-1/2} \bigr\vert +\varPsi \bigl(\epsilon ^{\alpha } \bigr) \bigr\} = \bigl(\ln (2n)+(1/2-\ln 2)\varPhi \bigl(\epsilon ^{\alpha } \bigr)-\varPsi \bigl( \epsilon ^{\alpha } \bigr) \bigr)/2\pi n $$

with \(\varPsi (z)=\sum_{j=1}^{n-1}z^{j}\ln \vert \sin (j\pi /n) \vert \) and \(\varPhi (\epsilon ^{\alpha })=1+z+\cdots +z^{n-1}\).

Since \(\varPsi (\epsilon ^{\alpha })=n\delta _{\alpha ,0}\) and \((1/2-\ln 2)<0\), by (28), we get

$$ \bigl\vert \varPsi (z) \bigr\vert \leq \sum_{j=1}^{n-1}- \ln \bigl\vert \sin (j\pi /n) \bigr\vert =-\ln \Biggl(\prod _{j=1}^{n-1} \sin (j\pi /n) \Biggr)=-\ln n+(n-1)\ln 2, $$

and obtain the upper bound of \(\lambda _{\alpha }\)

$$ \lambda _{\alpha }\leq \frac{1}{2\pi n} \bigl(\ln (2n)-\ln n+(n-1)\ln 2 \bigr)= \frac{\ln 2}{2\pi }. $$

For the lower bound estimate, we first have

$$\begin{aligned} \lambda _{\alpha }^{\prime }&=\ln \bigl\vert e^{-1/2}/n \bigr\vert +\sum_{j=1}^{n-1}\cos (2\alpha j \pi /n)\ln \bigl\vert 2e^{-1/2}\sin (j\pi /n) \bigr\vert \\ &=-\ln n+\sum_{j=1}^{n-1}\cos (2\alpha \pi /n)\ln \bigl\vert 2\sin (j\pi /n) \bigr\vert , \end{aligned}$$

where \(\lambda _{\alpha }^{\prime }=-2\pi n\lambda _{\alpha }\).

From the expansion of the function [20] \(\psi (z)=-\gamma -1/z+z\sum_{j=1}^{\infty }1/[j(j+z)]\), we have

$$ \psi (\alpha /n)=\ln 2-\gamma -\ln n-(\pi /2)\cot (\alpha \pi /n)+ \sum _{j=1}^{n-1}\cos (2\alpha \pi /n)\ln \bigl\vert 2\sin (j\pi /n) \bigr\vert , $$

and get

$$\begin{aligned}& \begin{aligned} \sum_{j=1}^{n-1}\cos (2 \alpha \pi /n)\ln \bigl\vert 2\sin (j\pi /n) \bigr\vert &=-\ln 2+ \ln n+(\pi /2)\cot (\alpha \pi /n) \\ &\quad {}-n/\alpha +\alpha /n\sum_{j=1}^{\infty } \frac{1}{j(j+\alpha /n)}. \end{aligned} \end{aligned}$$

Further, we obtain

$$ \lambda _{\alpha }^{\prime }=-\ln 2+(\pi /2)\cot ( \alpha \pi /n)-n/\alpha + \alpha /n\sum_{j=1}^{\infty } \frac{1}{j(j+\alpha /n)}. $$


$$ \cot (\alpha \pi /n)=n/\alpha \pi -\alpha \pi /(3n)-\cdots -2^{2j} \vert B_{2j} \vert /(2j)!( \alpha \pi /n)^{2j-1}-\cdots $$

into (30) yields

$$\begin{aligned}& \begin{aligned} \lambda _{\alpha }^{\prime }&=-\ln 2+ \bigl(n/(2\alpha )-\alpha \pi ^{2}/(6n)- \cdots -2^{2j} \vert B_{2j} \vert /(2j)!(\alpha \pi /n)^{2j-1}\pi -\cdots \bigr) \\ &\quad{} -n/\alpha +\alpha /n\sum_{j=1}^{\infty } \frac{1}{j(j+\alpha /n)}, \end{aligned} \end{aligned}$$


$$\begin{aligned}& \begin{aligned} \lambda _{\alpha }&=\ln 2/(2\pi n)+ \Biggl\{ \bigl(1/(2 \alpha )+\alpha \pi ^{2}/ \bigl(6n^{2} \bigr)+ \cdots -2^{2j} \vert B_{2j} \vert /(2j)!(\alpha \pi /n)^{2j-1}\pi /n+\cdots \bigr) \\ &\quad{} -\alpha /n^{2}\sum_{j=1}^{\infty } \frac{1}{j(j+\alpha /n)} \Biggr\} /(2\pi ), \end{aligned} \end{aligned}$$

where \(B_{j}\) is the Bernoulli number. Further, from

$$ \alpha \pi ^{2}/ \bigl(6n^{2} \bigr)-\alpha /n^{2} \sum_{j=1}^{\infty } \frac{1}{j(j+\alpha /n)}>\alpha /n^{2} \Biggl\{ \sum_{j=1}^{\infty } \biggl[j^{-2}- \frac{1}{j(j+\alpha /n)} \biggr] \Biggr\} >0, $$

we obtain

$$ \lambda _{\alpha }>1/(4\pi \alpha )+(\alpha \pi )/ \bigl(12n^{2} \bigr)+\cdots >1/(4 \pi \alpha )>1/(4\pi n). $$

From (29) and (31), we complete the proof of Lemma 2. □

Corollary 1

(1) The condition number of matrix\(T^{h}\)is\(O(n)\); (2) the matrix\(T^{h}\)is invertible, and its inverse matrix\((T^{h})^{-1}\)is uniformly bounded, and the spectral norm satisfies\(\Vert (T^{h})^{-1} \Vert =O(n)\).

Based on the above corollary, (25) is equivalent to

$$ \bigl(E^{h}+ \bigl(T^{h} \bigr)^{-1} \bigl(K_{1}^{h}+K_{2}^{h} \bigr) \bigr)w^{h}= \bigl(T^{h} \bigr)^{-1}G^{h}. $$

In the following, we will discuss the convergence of the numerical solutions of (32). First, some special operators and subspaces are introduced.

A subspace \(C_{0}[0,1]\subset C[0,1]\) is defined as

$$ C_{0}[0,1]= \bigl\{ v(t)\in C[0,1]:v(t)/\sin ^{3}(\pi t)\in C[0,1] \bigr\} $$

with a norm \(\Vert v \Vert ^{*}=\max_{0\leq t\leq 1} \vert v(t)/\sin ^{3}(\pi t) \vert \).

A piecewise linear function subspace is defined as

$$ S^{h}=\operatorname{span} \bigl\{ e_{j}(t),j=1,\ldots,n \bigr\} \subset C_{0}[0,1], $$

where the basis function \(e_{j}(t)\) satisfies \(e_{j}(t_{i})=\delta _{ji}\) and \(\{t_{i}\}_{i=0}^{n_{m}-1}\) denotes the basis points.

A prolongation operator is defined as \(L^{h}:R^{n}\rightarrow S^{h}\) and it satisfies

$$ L^{h}v=\sum_{j=1}^{n}v_{j}e_{j}(t),\quad \forall v=(v_{1},\ldots,v_{n}) \in R^{n}. $$

A restricted operator is defined as \(F^{h}:C_{0}[0,1]\rightarrow R^{n}\) and it satisfies

$$ F^{h}v= \bigl(v(t_{1}),\ldots,v(t_{n}) \bigr) \in R^{n},\quad \forall v\in C_{0}[0,1]. $$

Next, we provide some lemmas to prove the convergence.

Lemma 3

\(\{L^{h}(T^{h})^{-1}F^{h}T:C^{3}[0,1]\rightarrow C[0,1]\}\)is convergent to E.


From (23), assume that \(\forall \psi \in C^{3}[0,1]\) and \(\psi ^{h}\) are the solutions of auxiliary equations \(T\psi =\rho \) and \(T^{h}\psi ^{h}=F^{h}\rho \), respectively. We get

$$ T\psi (s_{i})=T^{h}\psi (s_{i})+\eta _{i}, $$

in which \(\eta _{i}=O(h^{3})\) (\(i=1,\ldots,n\)). Denoting \(e(s_{i})=\psi ^{h}(s_{i})-\psi (s_{i})\), we get

$$ T^{h}e(s_{i})=T^{h} \bigl(\psi ^{h}- \psi \bigr)\big| _{s=s_{i}} =F^{h}\rho \big| _{s=s_{i}}- \bigl(T \psi (s_{i})-\eta _{i} \bigr)=\eta _{i}=O \bigl(h^{3} \bigr) $$


$$ T^{h}e=\eta , \quad\quad e^{\prime }= \bigl(e(s_{1}), \ldots,e(s_{n}) \bigr),\quad\quad \eta ^{\prime }=(\eta _{1}, \ldots, \eta _{n}). $$

We get \(e=(T^{h})^{-1}\eta \) with \(\Vert e \Vert =O(h^{2})\) by Corollary 1, and

$$ \begin{aligned} \Vert e \Vert &= \bigl\Vert \bigl(T^{h} \bigr)^{-1}\varepsilon \bigr\Vert = \bigl\Vert F^{h}T^{-1}\rho - \bigl(T^{h} \bigr)^{-1}F^{h} \rho \bigr\Vert \\ &= \bigl\Vert F^{h}\phi - \bigl(T^{h} \bigr)^{-1}F^{h}T\phi \bigr\Vert .\end{aligned} $$

By \(L^{h}F^{h}\rightarrow E\) as \(h\rightarrow 0\) in \(\text{\pounds} (C^{3}[0,1]\rightarrow C[0,1])\), the proof of Lemma 3 is completed. □

Lemma 4

Assume that\(T\in \text{\pounds} (C[0,1],C^{k}[0,1])\), \(T^{-1}\)exist, \(M\in \text{\pounds} (C[0,1],C^{k+1}[0,1])\), and the kernel\(m(s,\tau )\)ofMsatisfies\(T^{-1}m(s,\tau )=\tilde{m}(s,\tau )\), in which\(\tilde{m}(s,\tau )\)is the kernel of. Let\(\tilde{m}(s,\tau )\)and\(\frac{d}{ds}\tilde{m}(s,\tau )\)be continuous on\([0,1]^{2}\). We have

$$ \bigl(\tilde{M}^{h}w \bigr) (s)=h\sum _{j=1}^{n}\tilde{m}(s,\tau _{j})w(\tau _{j}), \quad w\in [0,1], $$

is the collectively compact convergent to:

$$ T^{-1}M^{h}\overset{c.c}{\rightarrow }T^{-1}M\in \text{\pounds} \bigl(C^{0}[0,1],C^{1}[0,1] \bigr). $$


According to (35), we get

$$ T^{-1}M^{h}w=h\sum_{j=1}^{n} \tilde{m}(s,\tau _{j})w(\tau _{j}) \quad \rightarrow\quad \int _{0}^{1}\tilde{m}(s,\tau )w(\tau )\,d\tau =T^{-1}Mu. $$

\(d(s,\tau )\) is a continuous function on \([0,1]^{2}\), hence we get [21]

$$ T^{-1}M^{h}\overset{c.c}{\rightarrow }T^{-1}M \in \text{\pounds} \bigl(C^{0}[0,1],C^{ \infty }[0,1] \bigr) $$


$$ \frac{d}{ds}T^{-1}M^{h}w=\frac{d}{ds} \Biggl[h \sum_{j=1}^{n}\tilde{m}(s, \tau _{j})w(\tau _{j}) \Biggr]. $$

Since \(\frac{d}{ds}\tilde{d}(s,\tau )\) is a continuous function on \([0,1]^{2}\), (36) can be obtained. □

Further the following corollary can be got.

Corollary 2

Let the Nyström approximation\(M^{h}\)ofMbe defined by (21), we have

$$ L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}M^{h} \overset{c.c}{\rightarrow }T^{-1}M\in C[0,1] \rightarrow C[0,1]. $$


Under the parameter transformations (9), the kernel \(m(s,\tau )\) of M is continuous, and its high order derivatives are also continuous. From

$$ L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}M^{h}= \bigl(L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}T \bigr) \bigl(T^{-1}M^{h} \bigr), $$

we get

$$ \bigl\Vert L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}M^{h} \bigr\Vert _{0,0}\leq \bigl\Vert \bigl(L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}T \bigr) \bigr\Vert _{0,3} \bigl\Vert T^{-1}M^{h} \bigr\Vert _{3,0}, $$

in which \(\Vert \cdot \Vert _{m_{2},m_{1}}\) is the norm of \(\text{\pounds} (C^{m_{1}}[0,1], C^{m_{2}}[0,1])\). By Lemma 4 and \(T^{-1}M^{h}\in C[0,1]\rightarrow C^{3}[0,1]\), there exists a constant c independent of h so that

$$ \bigl\Vert L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}T \bigr\Vert _{0,3}\leq c\quad \text{and}\quad \bigl\Vert T^{-1}M^{h} \bigr\Vert _{3,0}\leq c. $$

Also using the results of [21] and Lemma 3, we conclude that \(\{T^{-1}M^{h}:C[0,1]\rightarrow C^{3}[0,1] \}\) must be collectively compact convergent to \(T^{-1}M\). Hence, the proof is completed. □

Let \((\hat{T}^{h})^{-1}(\hat{K}_{1}^{h}+\hat{K}_{2}^{h})=L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})\), \(\hat{w}^{h}=L^{h}w^{h}\), and \(\hat{G}=L^{h}G^{h}\). We construct an operator equation

$$ \bigl(E^{h}+ \bigl(\hat{T}^{h} \bigr)^{-1} \bigl(\hat{K}_{1}^{h}+ \hat{K}_{2}^{h} \bigr) \bigr)\hat{w}^{h}= \bigl( \hat{T}^{h} \bigr)^{-1}\hat{G}^{h}. $$

Obviously, if \(\hat{w}^{h}\) is the solution of (38), then \(F^{h}\hat{w}^{h}\) must be the solution of (32); conversely, if \(w^{h}\) is the solution of (32), then \(L^{h}w^{h}\) must be the solution of (38). Below we prove that there exists a unique solution \(\hat{w}^{h}\) in (38) such that \(\hat{w}^{h}\) converges to w.

Finally, the main theorem is proved to complete the proof of convergence.

Theorem 1

\(\{L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})\}\)is collectively convergent to\(T^{-1}(K_{1}+K_{2})\in C_{0}[0,1]\):

$$ L^{h} \bigl(T^{h} \bigr)^{-1}F^{h} \bigl(K_{1}^{h}+K_{2}^{h} \bigr) \overset{c.c}{\rightarrow }T^{-1}(K_{1}+K_{2}). $$


Let \(\varTheta =\{\upsilon : \Vert \upsilon \Vert \leq 1,\upsilon \in V \}\) be a unit ball. \(H=\{h^{1},h^{2},\ldots \}\) is the grid step sequence and \(h^{l}\rightarrow 0\) as \(l\rightarrow \infty \). We arbitrarily take a sequence \(\{Z_{h}\}_{h\in H}\) in space Θ and verify that there exists a convergent subsequence in \(\{L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})Z_{h}\}\). Using the results of Lemma 4 and Corollary 2, and by

$$ L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}K_{1}^{h}Z_{h}=L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}T^{h} \bigl[ \bigl(T^{h} \bigr)^{-1}F^{h}K_{1}^{h} \bigr]Z_{h}, $$

we get

$$\begin{aligned}& \begin{gathered} \bigl\Vert L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}M^{h} \bigr\Vert _{0,0} \\ \quad \leq \bigl\Vert L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}T^{h} \bigr\Vert _{0,1} \bigl\Vert \bigl(T^{h} \bigr)^{-1}F^{h}D^{h}] \bigr\Vert _{1,0} \\ \quad \leq c \bigl\Vert \bigl(T^{h} \bigr)^{-1}F^{h}M^{h}] \bigr\Vert _{1,0}, \end{gathered} \end{aligned}$$

where \(M^{h}\) stands for \(K_{1}^{h}\) and \(K_{2}^{h}\). Thus we get

$$ L^{h} \bigl(T^{h} \bigr)^{-1}F^{h}M^{h} \overset{c.c}{\rightarrow }T^{-1}M. $$

An infinite subsequence is found in \(\{L^{h}(T^{h})^{-1}F^{h}K_{1}^{h}Z_{h}\}\) by collectively compact theory [21], which converges as \(h\rightarrow 0\). Similarly, \(\{L^{h}(T^{h})^{-1}F^{h}K_{2}^{h}Z_{h}\}\) has the same result. Hence, it is proved that there exists an infinite subsequence \(H^{(1)}\subset H\) such that \(\{L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})Z_{h}\}\) converges. Similarly, it can be concluded that there exists an infinite subsequence \(H^{(d)}\subset H^{(d-1)}\subset \cdots \subset H^{(1)} \subset H\) such that \(\{L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})Z_{h}\}\) converges. Therefore, \(\{L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})\}\) is a collectively compact convergent sequence, and \(L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h})\overset{P}{\rightarrow }T^{-1}(K_{1}+K_{2})\), where \(\overset{P}{\rightarrow }\) shows the point of convergence. The proof is completed. □

Meanwhile, the following corollary is presented to obtain the stability of the method.

Corollary 3

Assume that\(K_{1}^{h}\), \(K_{2}^{h}\), and\(T^{h}\)are defined by (21) and (23), respectively. The eigenvalues of\(\varUpsilon ^{h}=T^{h}+K_{1}^{h}+K_{2}^{h}\)are\(\lambda _{i}\) (\(i=1,\ldots,n\)). There is the bound of condition number

$$ \operatorname{Cond} \bigl(\varUpsilon ^{h} \bigr)= \frac{\max_{1\leq i\leq n} \vert \lambda _{i}(\varUpsilon ^{h}) \vert }{\min_{1\leq i\leq n} \vert \lambda _{i}(\varUpsilon ^{h}) \vert }=O \bigl({h}^{-1} \bigr). $$

Asymptotic expansion of error and EA

In what follows, the single parameter asymptotic expansion of error is got to describe the EA.

Theorem 2

There exists a functionΦindependent ofhsuch that the following asymptotic expansion with a single parameter holds at nodes:

$$ w^{h}-w=h^{3}\varPhi +o \bigl(h^{3} \bigr), $$

where\(w^{h}\in S\), \(w\in C^{3}[0,1]\).


By (22) and (24), there exists the single parameter asymptotic expansion

$$ \bigl(\tilde{G}^{h}-\tilde{G} \bigr)=h^{3}L^{h}F^{h} \omega +o \bigl(h^{3} \bigr), $$

in which \(\omega =-\zeta ^{\prime }(-2)g^{\prime \prime }(s)/\pi \).

Using (14), (22), and (24), we obtain

$$\begin{aligned} \bigl(T^{h}+K_{1}^{h}+K_{2}^{h} \bigr)F^{h} \bigl(w^{h}-w \bigr) =&\tilde{G}^{h}-L^{h} \bigl(T^{h}+K_{1}^{h}+K_{2}^{h} \bigr)F^{h}w \\ =&\tilde{G}^{h}- \bigl[(T+K_{1}+K_{2})w-h^{3}L^{h}F^{h} \gamma \bigr]+o \bigl(h^{3} \bigr) \\ =& \bigl(\tilde{G}^{h}-\tilde{G} \bigr)+h^{3}L^{h}F^{h} \gamma +o \bigl(h^{3} \bigr) \\ =&h^{3}L^{h}F^{h}\eta +o \bigl(h^{3} \bigr), \end{aligned}$$

where \(\gamma =-\zeta ^{\prime }(-2)v^{\prime \prime }(t)/\pi \), and \(\eta =\omega +\gamma \). From Theorem 1, we get

$$ \bigl(E+L^{h} \bigl(T^{h} \bigr)^{-1}F^{h} \bigl(K_{1}^{h}+K_{2}^{h} \bigr) \bigr) \bigl(w^{h}-w \bigr)=h^{3} \bigl(T^{h} \bigr)^{-1}L^{h}F^{h} \eta +o \bigl(h^{3} \bigr). $$

We construct the following auxiliary equation:

$$ \bigl(E+T^{-1}(K_{1}+K_{2}) \bigr) \varPhi =T^{-1}\eta $$

and its approximate equation

$$ \bigl(E+L^{h} \bigl(T^{h} \bigr)^{-1}F^{h} \bigl(K_{1}^{h}+K_{2}^{h} \bigr) \bigr)\varPhi ^{h}= \bigl(T^{h} \bigr)^{-1}L^{h}F^{h} \eta . $$

By substituting (46) into (44), we get

$$ \bigl(E+L^{h} \bigl(T^{h} \bigr)^{-1}F^{h} \bigl(K_{1}^{h}+K_{2}^{h} \bigr) \bigr) \bigl(w^{h}-w-h^{3}\varPhi ^{h} \bigr)=o \bigl(h^{3} \bigr). $$

Since \((E+L^{h}(T^{h})^{-1}F^{h}(K_{1}^{h}+K_{2}^{h}))\) is uniformly bounded, from Theorem 1 we get

$$ w^{h}-w-h^{3}\varPhi ^{h}=o \bigl(h^{3} \bigr). $$

Replacing \(\varPhi ^{h}\) with Φ, we can complete the proof. □

Based on the single parameter asymptotic expansion (41), the EA can be constructed as follows [22]:

$$ \hat{u}^{h}(s_{j})=\frac{1}{7} \bigl(8u^{h/2}(s_{j})-u^{h}(s_{j}) \bigr), $$

with the error estimate \(\Vert \hat{u}^{h}(s_{j})-u(s_{j}) \Vert =o(h^{3})\).

By the extrapolation results, the following a posteriori estimate can be obtained:

$$\begin{aligned} \bigl\Vert u^{h/2}(s_{j})-u(s_{j}) \bigr\Vert \leq & \biggl\Vert \frac{8}{7}u^{h/2}(s_{j})- \frac{1}{7}u^{h}(s_{j})-u(s_{j}) \biggr\Vert \\ &{}+\frac{1}{7} \bigl\Vert u^{h/2}(s_{j})-u^{h}(s_{j}) \bigr\Vert \leq \frac{1}{7} \bigl\Vert u^{h/2}(s_{j})-u^{h}(s_{j}) \bigr\Vert +o \bigl(h^{3} \bigr). \end{aligned}$$

The self-adaptive algorithm can be got by using the above inequality. Obviously, the EA is not complicated, but the accuracy of the numerical solution is improved.

Numerical example

In what follows, we provide a numerical example to verify the proposed method.


We consider the scattering of a plane wave \(u^{i}\) by a sound-soft cylinder with the smooth open contour cross section with the boundary Γ, which is described by the parameter mapping \(x(t)=(2\sin \frac{t}{2},\sin t)\), \(\frac{\pi }{4}\leq t\leq \frac{7\pi }{4}\). The incident wave is given by \(u^{i}(x)=e^{ikd\cdot x}\) with d denoting the unit vector of propagation direction, and the boundary values \(g=-u^{i}\) on Γ are considered. The far-field pattern \(u_{\infty }\) is defined by the asymptotic behavior of the scattered wave

$$ u(y)=\frac{e^{ik \vert y \vert }}{\sqrt{ \vert y \vert }} \bigl\{ u_{\infty }+O \bigl(1/ \vert y \vert \bigr) \bigr\} , \quad \vert y \vert \rightarrow \infty , $$

uniformly in all directions \(\hat{y}=y/ \vert y \vert \). Based on the following asymptotic formula of the Hankel function

$$ H_{0}^{(1)}(y)=\sqrt{\frac{2}{\pi y}}e^{i(y-\pi /4)} \bigl\{ 1+O(1/y) \bigr\} ,\quad \vert y \vert \rightarrow \infty , $$

the far-field pattern of the single-layer potential (2) is obtained by the form

$$ u_{\infty }(\hat{y})=c \int _{\varGamma }e^{-ikx\cdot y}v(x)\,ds_{y} $$

with \(c=-\frac{e^{i\pi /4}}{\sqrt{2\pi k}}\).

In Tables 1 and 2, we show some approximate values for the far-field patterns \(u_{\infty }(d)\) in the forward direction \(d=(1,0)\) with \(k=1\) and \(k=5\), respectively. Let \(\operatorname{Re}(e_{\infty }(d))\) denote the real part of errors and \(\operatorname{Im}(e_{\infty }(d))\) denote the imaginary part of errors. Also let \(\operatorname{Re}(e^{E}_{\infty }(d))\) and \(\operatorname{Im}(e^{E}_{\infty }(d))\) denote the errors by the EA once. Let \(\mathit{ratio}=\frac{e| _{n}}{e| _{2n}}\) with \(e| _{n}\) denote the errors under the mesh widths \(h=1/n\). From Tables 1 and 2, we can see \(\log _{2}\mathit{ratio}\approx 3\), which agrees with Theorem 2 very well, and the EA greatly improves the accuracy of numerical solutions.

Table 1 Numerical results for the far-field pattern \(u_{\infty }(d)\) with \(k = 1\)
Table 2 Numerical results for the far-field pattern \(u_{\infty }(d)\) with \(k = 5\)

In Tables 3 and 4, we show the condition numbers of the discrete matrices with \(k=1\) and \(k=5\), respectively. Let \(\vert \lambda _{\max } \vert \) and \(\vert \lambda _{\min } \vert \) denote the absolute values of the maximum eigenvalue and the minimum eigenvalue, respectively. From Tables 3 and 4, we can see \(\frac{\mathrm{Cond}| _{2n}}{\mathrm{Cond}|_{n}}\approx 2\), which agrees with Corollary 3 very well, where Cond is the condition number.

Table 3 The condition number with \(k=1\)
Table 4 The condition number with \(k=5\)


In this paper, we discuss the high-accuracy quadrature method and the EA for scattering problems for a smooth open arc, there exist the following advantages: (a) Computing an entry of the discrete matrices is straightforward and simple, without any singular integrals, hence the method is appropriate to solve weakly singularity problems; (b) The method possesses the feature of high accuracy. The \(O(h^{3})\) order accuracy of the error is proved, and the numerical results verify our theoretical analysis. The EA can be used to raise the accuracy of the solutions, see Tables 1 and 2; (c) The condition number of the discrete matrix increases linearly, which shows that the method is stable. Although the method has the characteristics of high accuracy, low computational complexity, and good stability, it also has a limitation, that is, the method is effective for solving weakly singular boundary integral equations, but not for strongly singular and hypersingular boundary integral equations. Based on the research results in [23, 24], we intend to apply the method to the Neumann problems for the Helmholtz equation and the exterior acoustic problems with arbitrary and high wave numbers in the future.


  1. 1.

    Kirkup, S., Wu, S.F.: The Boundary Element Method in Acoustics. Cambridge University Press, Cambridge (2007)

    Google Scholar 

  2. 2.

    Chen, L.C., Liu, X., Li, X.L.: The boundary element-free method for 2D interior and exterior Helmholtz problems. Comput. Math. Appl. 77(3), 846–864 (2019)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Bergman, D.R.: Boundary element method. In: Computational Acoustics: Theory and Implementation (2018)

    Google Scholar 

  4. 4.

    Chen, S.H.: Adaptive techniques in the finite element method. In: Computational Geomechanics and Hydraulic Structures (2019)

    Google Scholar 

  5. 5.

    Jin, B., Zheng, Y.: A meshless method for some inverse problems associated with the Helmholtz equation. Comput. Methods Appl. Mech. Eng. 195(22), 2270–2288 (2006)

    MathSciNet  MATH  Article  Google Scholar 

  6. 6.

    Tadeu, A., Chen, C.S., António, J., et al.: A boundary meshless method for solving heat transfer problems using the Fourier transform. Adv. Appl. Math. Mech. 3(5), 572–585 (2011)

    MathSciNet  MATH  Article  Google Scholar 

  7. 7.

    Huang, J., Wang, Z.: Extrapolation algorithms for solving mixed boundary integral equations of the Helmholtz equation by mechanical quadrature methods. SIAM J. Sci. Comput. 31(6), 4115–4129 (2009)

    MathSciNet  MATH  Article  Google Scholar 

  8. 8.

    Li, H., Huang, J.: Mechanical quadrature method and splitting extrapolation algorithm for the boundary integral equation of the axisymmetric anisotropic Darcy’s equation. Int. J. Comput. Math. 94(1), 135–150 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  9. 9.

    Wang, R.S., Wang, X.S., Zhai, Q.L., et al.: A weak Galerkin mixed finite element method for the Helmholtz equation with large wave numbers. Numer. Methods Partial Differ. Equ. 34(3), 1009–1032 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  10. 10.

    Dastour, H., Liao, W.Y.: A fourth-order optimal finite difference scheme for the Helmholtz equation with PML. Comput. Math. Appl. 78(6), 2147–2165 (2019)

    MathSciNet  Article  Google Scholar 

  11. 11.

    London̄o, M.A., Montegranario, H.: Radial basis function-generated finite differences with Bessel weights for the 2D Helmholtz equation. Eng. Anal. Bound. Elem. 105, 257–266 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Celiker, E., Lin, P.: A highly-accurate finite element method with exponentially compressed meshes for the solution of the Dirichlet problem of the generalized Helmholtz equation with corner singularities. J. Comput. Appl. Math. 361(1), 227–235 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  13. 13.

    Wang, B., Wang, R., Xu, Y.S.: Fast Fourier–Galerkin methods for first-kind logarithmic-kernel integral equations on open arcs. Sci. China Math. 53(1), 1–22 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  14. 14.

    Chen, X.L., Xie, Z.Q., Luo, J.S.: A wavelet collocation method for boundary integral equations of the modified Helmholtz equation. Appl. Math. Comput. 321(15), 300–312 (2018)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Assari, P., Dehghan, M.: Solving a class of nonlinear boundary integral equations based on the meshless local discrete Galerkin (MLDG) method. Appl. Numer. Math. 123, 137–158 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  16. 16.

    Sidi, A., Israrli, M.: Quadrature methods for periodic singular Fredholm integral equation. J. Sci. Comput. 3, 201–231 (1988)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Yan, Y., Sloan, I.: On integral equation of the first kind with logarithmic kernels. J. Integral Equ. Appl. 1, 1–31 (1988)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Sloan, I.H., Spence, A.: The Galerkin method for integral equations of the first-kind with logarithmic kernel: theory. IMA J. Numer. Anal. 3, 105–122 (1988)

    MathSciNet  MATH  Article  Google Scholar 

  19. 19.

    Davis, P., Rabinowitz, P.: Methods of Numerical Integration, 2nd edn. Academic Press, New York (1984)

    Google Scholar 

  20. 20.

    Gradshteyan, I.S., Ryzhik, Z.M.: Tables of Integrals, Series and Products. Academic Press, New York (1980)

    Google Scholar 

  21. 21.

    Anselone, P.M.: Collectively Compact Operator Approximation Theory. Prentice Hall, Englewood Cliffs (1971)

    Google Scholar 

  22. 22.

    Liem, C.B., Lü, T., Shih, T.M.: The Splitting Extrapolation Method. World Scientific, Singapore (1995)

    Google Scholar 

  23. 23.

    Chen, L.C., Li, X.L.: A complex variable boundary element-free method for the Helmholtz equation using regularized combined field integral equations. Appl. Math. Lett. 101, 106067 (2020)

    MathSciNet  MATH  Article  Google Scholar 

  24. 24.

    Chen, L.C., Li, X.L.: Boundary element-free methods for exterior acoustic problems with arbitrary and high wavenumbers. Appl. Math. Model. 72, 85–103 (2019)

    MathSciNet  MATH  Article  Google Scholar 

Download references


The authors would like to express sincere thanks to the anonymous referees for valuable comments and suggestions.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.


Research of the first author was supported by the Program of Chengdu Normal University (YJRC2018-1; CS18ZDZ02) and research of the third author was supported by the National Natural Science Foundation of China (11661005; 11301070).

Author information




The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hu Li.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Li, H., Huang, J. & Zeng, G. On the numerical solutions of two-dimensional scattering problems for an open arc. Bound Value Probl 2020, 136 (2020).

Download citation


  • Quadrature method
  • Extrapolation algorithm
  • Scattering problems
  • Smooth open arc