Erratum to “Simple Method for Evaluating Singular Integrals” [American Journal of Computational Mathematics, Volume 7, Number 4, December 2017 PP. 444-450]

Nhan T. Tran

Department of Mathematics, Kansas State University, Manhattan, KS, USA.

DOI: 10.4236/ajcm.2019.93015                

Abstract

In this paper, we study the class of one-dimensional singular integrals that converge in the sense of Cauchy principal value. In addition, we present a simple method for approximating such integrals.

Keywords

Singular Integral, Weakly Singular, Strongly Singular, Numerical Integration

The original online version of this article (Tran, N.T. (2017) Simple Method for Evaluating Singular Integrals. American Journal of Computational Mathematics, 7, 444-450. https://doi.org/10.4236/ajcm.2017.74032) unfortunately contains some mistakes. The author wishes to correct the errors in the article which have been labeled in yellow.

1. Introduction

Many problems in engineering and science require evaluating singular integrals. For example, in electromagnetic and acoustic wave scattering, the boundary integral equations have singular kernels, see [1] - [6] . In fluid and solid mechanics, physicists and engineers face the same problem, see [7] [8] . Thus, the study of such integrals plays an important role in engineering and science. In this paper, we consider only one-dimensional singular integrals that converge in the sense of Cauchy principal value.

One-dimensional singular integrals are defined in the literature as follows

${\displaystyle {\int }_a^b}\frac{u\left(t\right)}{{\left(t-s\right)}^p}\text{d}t,s\in \left(a,b\right),p>0,$ (1)

in which $u\left(t\right)$ is a continuous function. These integrals are classified by the order of singularity. If $p<1$ , the integral is called weakly singular. If $p=1$ , the integral is strongly singular. If $p>1$ , the integral is called hyper-singular, see [9] . In other words, an integral is called weakly singular if its value exists and continuous at the singularity. An integral is called strongly singular if both the integrand and integral are singular. An integral is called hyper-singular if the kernel has a higher-order singularity than the dimension of the integral. For strongly singular integrals, they are often defined in terms of Cauchy principal value, see [10] . For hyper singular integrals, they are often interpreted as Hadamard finite part integrals, see [11] .

There are many special methods developed to treat singular integral problems since numerical integration routines often lead to inaccurate solutions. For example, to deal with the singularities in surface integral equations, the method of moments regularizes the singular integrals by sourcing them analytically for specific observation point [12] [13] . Other methods include Gaussian quadrature method which has high-order of accuracy with a non-uniform mesh [14] [15] , Newton-Cotes method which has low-order of accuracy with a uniform mesh [16] [17] [18] , Guiggiani s method which extracts the singular parts of the integrand and treat them analytically [19] , sigmoidal transformation which transforms the integrand to a periodic function [20] [21] , and Duffy’s transformation

which cancels the singularity of type $\frac{1}{t}$ [22] . Most of these methods can be

characterized in three categories: singularity subtraction, analytical transformation, and special purpose quadrature.

In this paper, we present an alternative approach for approximating one dimensional singular integrals which converge in the sense of Cauchy principal value. In addition, a proof of this method is outlined in section 2 to serve as a theoretical basis for the method. In section 3, the detailed implementation of our method is described for integrals over the standard interval [−1, 1].

2. Approximation of Singular Integrals

Theorem 1. Let ${\displaystyle {\int }_D}f\left(x\right)\text{d}x$ , $D\subseteq \left[-\mathrm{1,1}\right]$ , be a singular integral that has finite value in the sense of Cauchy principal value. Suppose $x_0$ is its only singularity in D. Then, for any $ϵ>0$ , there exist $N>0$ and $a_j\mathrm{,0}\le j\le n$ , $n\ge N$ , such that: for all $n\ge N$

$\left|{\displaystyle {\int }_D}f\left(x\right)\text{d}x-{\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j{\displaystyle {\int }_D}{U}_j\left(x\right)\text{d}x\right|<ϵ\mathrm{,}$ (2)

where $U_j\mathrm{,0}\le j\le n$ , are Chebyshev polynomials of second kind.

Proof

Let $D_{\delta }:=D\backslash B_{\delta }\left(x_0\right)$ , where $B_{\delta }\left(x_0\right):=\left(x_0-\delta ,x_0+\delta \right)$ and $\delta >0$ . Since f is

continuous in $D_{\delta }$ , f can be expressed as:

$f\left(x\right)={\displaystyle \underset{j=0}{\overset{\infty }{\sum }}}{a}_j{U}_j\left(x\right),x\in D_{\delta }$ (3)

where $U_j$ are Chebyshev polynomials of second kind

$U_j\left(x\right)=\frac{\sin \left(\left(j+1\right){\cos }^{-1}\left(x\right)\right)}{\sin \left({\cos }^{-1}\left(x\right)\right)},j\ge 0.$ (4)

Therefore

$\left|{\displaystyle {\int }_{D_{\delta }}}f\left(x\right)\text{d}x-{\displaystyle {\int }_{D_{\delta }}}{\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j{U}_j\left(x\right)\text{d}x\right|\to 0,\text{as}n\to \infty .$ (5)

Since ${\displaystyle {\int }_D}f\left(x\right)\text{d}x$ has finite value in the sense of Cauchy principal value, one has

$\left|{\displaystyle {\int }_D}f\left(x\right)\text{d}x-{\displaystyle {\int }_{D_{\delta }}}f\left(x\right)\text{d}x\right|\to 0\text{as}\delta \to 0.$ (6)

This means for any $ϵ>0$ , there exists ${\delta }_{ϵ}>0$ such that: for all $0<\delta <{\delta }_{ϵ}$

$\left|{\displaystyle {\int }_D}f\left(x\right)\text{d}x-{\displaystyle {\int }_{D_{\delta }}}f\left(x\right)\text{d}x\right|<ϵ\mathrm{.}$ (7)

From (5), for any $ϵ>0$ , there exists $N>0$ such that: for $n\ge N$

$\left|{\displaystyle {\int }_{D_{\delta }}}f\left(x\right)\text{d}x-{\displaystyle {\int }_{D_{\delta }}}{\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j{U}_j\left(x\right)\text{d}x\right|<ϵ.$ (8)

Thus, from (7) and (8)

$\left|{\displaystyle {\int }_D}f\left(x\right)\text{d}x-{\displaystyle {\int }_{D_{\delta }}}{\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j{U}_j\left(x\right)\text{d}x\right|<2ϵ,$ (9)

for all $0<\delta <{\delta }_{ϵ}$ , $n\ge N$ . ,

3. Methods for Computing Singular Integrals

In this section, we present a method for evaluating the following singular integral which converges in the sense of Cauchy principal value

$S={\displaystyle {\int }_{-1}^1}f\left(x\right)\text{d}x.$ (10)

Without loss of generality, the singularity can be assumed to be at zero. For general cases, one can always divide the interval of integration into many small intervals and treat them separately.

From Section 2, we need to find the coefficient $a_i$ such that

$S\simeq {\displaystyle \underset{i=0}{\overset{n}{\sum }}}{a}_i{\displaystyle {\int }_{-1}^1}{U}_i\left(x\right)\text{d}x.$ (11)

Since $U_i$ are Chebyshev polynomials of second kind, they admit some nice properties

$1.{\displaystyle {\int }_{-1}^1}{U}_i\left(x\right)\text{d}x=\frac{2{\sin }^2\frac{\left(i+1\right)\text{π}}{2}}{i+1},$ (12)

$\text{2}\text{.}{\displaystyle {\int }_{-1}^1}{U}_j\left(x\right)U_i\left(x\right)\sqrt{1-x^2}\text{d}x=\frac{\text{π}}{2}{\delta }_{ij}\mathrm{.}$ (13)

Now consider the following integral

${\displaystyle {\int }_{-1}^1}f\left(x\right)U_i\left(x\right)\sqrt{1-x^2}\text{d}x\simeq {\displaystyle {\int }_{-1}^1}{\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j{U}_j\left(x\right)U_i\left(x\right)\sqrt{1-x^2}\text{d}x$ (14)

$={\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j{\displaystyle {\int }_{-1}^1}{U}_j\left(x\right)U_i\left(x\right)\sqrt{1-x^2}\text{d}x$ (15)

$={\displaystyle \underset{j=0}{\overset{n}{\sum }}}{a}_j\frac{\text{π}}{2}{\delta }_{ij}$ (16)

$=\frac{\text{π}}{2}{a}_i,0\le i\le n.$ (17)

Thus, the coefficient $a_i$ can be computed by

$a_i=\frac{2}{\pi }{\displaystyle {\int }_{-1}^1}f\left(x\right)U_i\left(x\right)\sqrt{1-x^2}\text{d}x,0\le i\le n,$ (18)

and

$S={\displaystyle {\int }_{-1}^1}f\left(x\right)\text{d}x\simeq {\displaystyle \underset{i=0}{\overset{n}{\sum }}}{a}_i{\displaystyle {\int }_{-1}^1}{U}_i\left(x\right)\text{d}x$ (19)

$={\displaystyle \underset{i=0}{\overset{n}{\sum }}}{a}_i\frac{2{\sin }^2\frac{\left(i+1\right)\text{π}}{2}}{i+1}.$ (20)

4. Conclusion

In this paper, we present a method for approximating singular integrals which converge in the sense of Cauchy principal value. The proof of this method is outlined and the detailed implementation is also provided. One of the advantages of this method is that it is simple to implement. This method can serve as an alternative approach to other special methods in the literature.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Ramm, A.G. (2013) Scattering of Acoustic and Electromagnetic Waves by Small Bodies of Arbitrary Shapes. Applications to Creating New Engineered Materials, Momentum Press, New York.
[2]	Tran, N.T. (2017) Numerical Method for Solving Electromagnetic Scattering Problem by Many Small Impedance Bodies. Kansas State University, Manhattan.
[3]	Ramm, A.G. and Tran, N.T. (2015) A Fast Algorithm for Solving Scalar Wave Scattering Problem by Billions of Particles. Journal of Algorithms and Optimization, 3, 1-13.
[4]	Tran, N.T. (2013) Numerical Solution of Many-Body Wave Scattering Problem and Creating Materials with A Desired Refraction Coefficient. The International Journal of Structural Changes in Solids, 5, 27-38.
[5]	Tran, N.T. (2017) Numerical Method for Solving Electromagnetic Wave Scattering by One and Many Small Perfectly Conducting Bodies. Kansas State University, Manhattan.
[6]	Tran, N.T. (2016) Numerical Methods for Solving Wave Scattering Problems. Kansas State University, Manhattan.
[7]	Chien, C.C., Rajiyah, H. and Atluri, S.N. (1991) On the Evaluation of Hyper-Singular Integrals Arising in the Boundary Element Method for Linear Elasticity. Computational Mechanics, 8, 57-70. https://doi.org/10.1007/BF00370548
[8]	Karami, G. and Derakhshan, D. (1999) An Efficient Method to Evaluate Hypersingular and Supersingular Integrals in Boundary Integral Equations Analysis. Engineering Analysis with Boundary Elements, 23, 317-326. https://doi.org/10.1016/S0955-7997(98)00085-X
[9]	Neri, U. (1971) Singular Integrals and Sobolev Spaces. In: Singular Integrals, Springer, Berlin, 151-211. https://doi.org/10.1007/BFb0079059
[10]	Wazwaz, A.M. (1997) A First Course in Integral Equations. World Scientific, Singapore.
[11]	Hadamard, J. (2014) Lectures on Cauchy’s Problem in Linear Partial Differential Equations. Courier Corporation, Westford.
[12]	Resende, U.C., Moreira, F.J. and Pereira-Filho, O.M. (2007) Efficient Evaluation of Singular Integral Equations in Moment Method Analysis of Bodies of Revolution. Journal of Microwaves, Optoelectronics and Electromagnetic Applications (JMOe), 6, 373-391.
[13]	Tzoulis, A. and Eibert, T.F. (2005) Review of Singular Potential Integrals for Method of Moments Solutions of Surface Integral Equations. Advances in Radio Science, 2, 93-99. https://doi.org/10.5194/ars-2-93-2004
[14]	Hui, C.Y. and Shia, D. (1999) Evaluations of Hypersingular Integrals Using Gaussian Quadrature. International Journal for Numerical Methods in Engineering, 44, 205-214. https://doi.org/10.1002/(SICI)1097-0207(19990120)44:2<205::AID-NME499>3.0.CO;2-8
[15]	Tsamasphyros, G. and Dimou, G. (1990) Gauss Quadrature Rules for Finite Part Integrals. International Journal for Numerical Methods in Engineering, 30, 13-26. https://doi.org/10.1002/nme.1620300103
[16]	Du, Q.K. (2001) Evaluations of Certain Hypersingular Integrals on Interval. International Journal for Numerical Methods in Engineering, 51, 1195-1210. https://doi.org/10.1002/nme.218
[17]	Li, B. and Sun, W. (2009) Newton-Cotes Rules for Hadamard Finite-Part Integrals on an Interval. IMA Journal of Numerical Analysis, 30, 1235-1255. https://doi.org/10.1093/imanum/drp011
[18]	Sun, W. and Wu, J. (2005) Newton-Cotes Formulae for the Numerical Evaluation of Certain Hypersingular Integrals. Computing, 75, 297-309. https://doi.org/10.1007/s00607-005-0131-5
[19]	Guiggiani, M., Krishnasamy, G., Rudolphi, T.J. and Rizzo, F.J. (1992) A General Algorithm for the Numerical Solution of Hypersingular Boundary Integral Equations. Journal of Applied Mechanics, 59, 604-614. https://doi.org/10.1115/1.2893766
[20]	Choi, U.J., Kim, S.W. and Yun, B.I. (2004) Improvement of the Asymptotic Behaviour of the Euler-Maclaurin Formula for Cauchy Principal Value and Hadamard Finite-Part Integrals. International Journal for Numerical Methods in Engineering, 61, 496-513. https://doi.org/10.1002/nme.1077
[21]	Elliott, D. and Venturino, E. (1997) Sigmoidal Transformations and the Euler-Maclaurin Expansion for Evaluating Certain Hadamard Finite-Part Integrals. Numerische Mathematik, 77, 453-465. https://doi.org/10.1007/s002110050295
[22]	Duffy, M.G. (1982) Quadrature over a Pyramid or Cube of Integrands with a Singularity at a Vertex. SIAM Journal on Numerical Analysis, 19, 1260-1262. https://doi.org/10.1137/0719090