Discrete boundary element methods on general meshes in 3D

Abstract. This paper is concerned with the stability and convergence of fully discrete Galerkin methods for boundary integral equations on bounded piecewise smooth surfaces in . Our theory covers equations with very general operators, provided the associated weak form is bounded and elliptic on , for some . In contrast to other studies on this topic, we do not assume our meshes to be quasiuniform, and therefore the analysis admits locally refined meshes. To achieve such generality, standard inverse estimates for the quasiuniform case are replaced by appropriate generalised estimates which hold even in the locally refined case. Since the approximation of singular integrals on or near the diagonal of the Galerkin matrix has been well-analysed previously, this paper deals only with errors in the integration of the nearly singular and smooth Galerkin integrals which comprise the dominant part of the matrix. Our results show how accurate the quadrature rules must be in order that the resulting discrete Galerkin method enjoys the same stability properties and convergence rates as the true Galerkin method. Although this study considers only continuous piecewise linear basis functions on triangles, our approach is not restricted in principle to this case. As an example, the theory is applied here to conventional “triangle-based” quadrature rules which are commonly used in practice. A subsequent paper [14] introduces a new and much more efficient “node-based” approach and analyses it using the results of the present paper. Received December 10, 1997 / Revised version received May 26, 1999 / Published online April 20, 2000 –? Springer-Verlag 2000     

Thin plate spline Galerkin scheme for numerically solving nonlinear weakly singular Fredholm integral equations

The present work proposes a numerical method to obtain an approximate solution of non-linear weakly singular Fredholm integral equations. The discrete Galerkin method in addition to thin-plate splines established on scattered points is utilized to estimate the solution of these integral equations. The thin-plate splines can be regarded as a type of free shape parameter radial basis functions which create an efficient and stable technique to approximate a function. The discrete Galerkin method for the approximate solution of integral equations results from the numerical integration of all integrals in the method. We utilize a special accurate quadrature formula via the non-uniform composite Gauss-Legendre integration rule and employ it to compute the singular integrals appeared in the scheme. Since the approach does not need any background meshes, it can be identified as a meshless method. Error analysis is also given for the method. Illustrative examples are shown clearly the reliability and efficiency of the new scheme and confirm the theoretical error estimates.     

Fully discrete spectral boundary integral methods for Helmholtz problems on smooth closed surfaces in ${\mathbb R}^3$

Summary. In this paper we describe and analyse a class of spectral methods, based on spherical polynomial approximation, for second-kind weakly singular boundary integral equations arising from the Helmholtz equation on smooth closed 3D surfaces diffeomorphic to the sphere. Our methods are fully discrete Galerkin methods, based on the application of special quadrature rules for computing the outer and inner integrals arising in the Galerkin matrix entries. For the outer integrals we use, for example, product-Gauss rules. For the inner integrals, a variant of the classical product integration procedure is employed to remove the singularity arising in the kernel. The key to the analysis is a recent result of Sloan and Womersley on the norm of discrete orthogonal projection operators on the sphere. We prove that our methods are stable for continuous data and superalgebraically convergent for smooth data. Our theory includes as a special case a method closely related to one of those proposed by Wienert (1990) for the fast computation of direct and inverse acoustic scattering in 3D. Received May 29, 2000 / Revised version received March 26, 2001/ Published online December 18, 2001     

A numerical solution of singular integrodifferential equations with variable coefficients

A method for the numerical solution of singular integrodifferential equations is presented where the integrals are discretized by using a convenient quadrature rule. Then the problem is reduced to a system of linear algebraic equations by applying the discretized functional equation to appropriately selected collocation points. This technique constitutes an extension of an analogous method convenient for solving singular integral equations which was proposed by the authors.     

Integration of singular Galerkin-type boundary element integrals for 3D elasticity problems

Summary. A Galerkin approximation of both strongly and hypersingular boundary integral equation (BIE) is considered for the solution of a mixed boundary value problem in 3D elasticity leading to a symmetric system of linear equations. The evaluation of Cauchy principal values (v. p.) and finite parts (p. f.) of double integrals is one of the most difficult parts within the implementation of such boundary element methods (BEMs). A new integration method, which is strictly derived for the cases of coincident elements as well as edge-adjacent and vertex-adjacent elements, leads to explicitly given regular integrand functions which can be integrated by the standard Gauss-Legendre and Gauss-Jacobi quadrature rules. Problems of a wide range of integral kernels on curved surfaces can be treated by this integration method. We give estimates of the quadrature errors of the singular four-dimensional integrals. Received June 25, 1995 / Revised version received January 29, 1996     

Hypersingular kernel integration in 3D Galerkin boundary element method

We consider Cauchy singular and Hypersingular boundary integral equations associated with 3D potential problems defined on polygonal domains, whose solutions are approximated with a Galerkin boundary element method, related to a given triangulation of the boundary. In particular, for constant and linear shape functions, the most frequently used basis functions, we give explicit results of the analytical inner integrations and suggest suitable quadrature schemes to evaluate the outer integrals required to form the Galerkin matrix elements. These numerical indications are given after an analysis of the singularities arising in the whole integration process, which is valid also for shape functions of higher degrees.     

On the Discrete Galerkin Method for Fredholm Integral Equations of the Second Kind

In the present paper, we refine some previous results on thediscrete Galerlcin method and the discrete iterated Galerkinmethod for Fredholm integral equations of the second kind. Byconsidering discrete inner products and discrete projectionson the same node points but with different quadrature rules,we are able to treat more appropriately kernels with discontinuousderivatives. In particular, for Green's function kernels weobtain a Nystr?m-type method which has the same order of convergenceas the corresponding Nystr?m method for infinitely smooth kernels.     

Extrapolation method for solving weakly singular nonlinear Volterra integral equations of the second kind

Based on a new generalization of discrete Gronwall inequality in [L. Tao, H. Yong, A generalization of discrete Gronwall inequality and its application to weakly singular Volterra integral equality of the second kind, J. Math. Anal. Appl. 282 (2003) 56-62], Navot's quadrature rule for computing integrals with the end point singularity in [I. Navot, A further extension of Euler-Maclaurin summation formula, J. Math. Phys. 41 (1962) 155-184] and a transformation in [P. Baratella, A. Palamara Orsi, A new approach to the numerical solution of weakly singular Volterra integral equations, J. Comput. Appl. Math. 163 (2004) 401-418], a new quadrature method for solving nonlinear weakly singular Volterra integral equations of the second kind is presented. The convergence of the approximation solution and the asymptotic expansion of the error are proved, so by means of the extrapolation technique we not only obtain a higher accuracy order of the approximation but also get a posteriori estimate of the error.     

机械求积法及其外推算法求解Helmholtz非线性边界积分方程

当Helmholtz微分方程转化为非线性边界积分方程后,可以利用机械求积法求得近似解,此方法具有较高的收敛精度阶O(h3)和较低的计算复杂度.构造机械求积法时,一个非线性方程系统通过离散非线性积分方程得到.此外,每个矩阵元素的值都不需要计算任何奇异积分.根据渐近紧理论和Stepleman定理,整个系统的稳定性和收敛性得到了证明.利用h3-Richardson外推算法,收敛精度阶可以提高到O(h5).为了求解非线性方程组,利用Ostrowski不动点定理研究了Newton的解的收敛性.几个算例从数值上说明了本算法的有效性.     

A stable boundary elements method for magnetohydrodynamic channel flows at high Hartmann numbers

The article is devoted to extension of boundary element method (BEM) for solving coupled equations in velocity and induced magnetic field for time dependent magnetohydrodynamic (MHD) flows through a rectangular pipe. The BEM is equipped with finite difference approach to solve MHD problem at high Hartmann numbers up to 10⁶. In fact, the finite difference approach is used to approximate partial derivatives of unknown functions at boundary points respect to outward normal vector. It yields a numerical method with no singular boundary integrals. Besides, a new approach is suggested in this article where transforms 2D singular BEM's integrals to 1D nonsingular ones. The new approach reduces computational cost, significantly. Note that the stability of the numerical scheme is proved mathematically when computational domain is discretized uniformly and Hartmann number is 40 times bigger than length of boundary elements. Numerical examples show behavior of velocity and induced magnetic field across the sections.     

A quadrature-based approach to improving the collocation method

Summary The collocation method is a popular method for the approximate solution of boundary integral equations, but typically does not achieve the high order of convergence reached by the Galerkin method in appropriate negative norms. In this paper a quadrature-based method for improving upon the collocation method is proposed, and developed in detail for a particular case. That case involves operators with even symbol (such as the logarithmic potential) operating on 1-periodic functions; a smooth-spline trial space of odd degree, with constant mesh spacingh=1/n; and a quadrature rule with 2n points (where ann-point quadrature rule would be equivalent to the collocation method). In this setting it is shown that a special quadrature rule (which depends on the degree of the splines and the order of the operator) can yield a maximum order of convergence two powers ofh higher than the collocation method.     

On quadrature and cubature formulas for a class of multiple singular integrals

We consider the problem of conditions for the existence of multiple singular integrals of a certain class at inner and boundary points of a domain. We obtain the quadrature and cubature formulas for calculating multiple singular integrals and present the corresponding estimates for the formulas.     

Error estimation for quadrature by expansion in layer potential evaluation

In boundary integral methods it is often necessary to evaluate layer potentials on or close to the boundary, where the underlying integral is difficult to evaluate numerically. Quadrature by expansion (QBX) is a new method for dealing with such integrals, and it is based on forming a local expansion of the layer potential close to the boundary. In doing so, one introduces a new quadrature error due to nearly singular integration in the evaluation of expansion coefficients. Using a method based on contour integration and calculus of residues, the quadrature error of nearly singular integrals can be accurately estimated. This makes it possible to derive accurate estimates for the quadrature errors related to QBX, when applied to layer potentials in two and three dimensions. As examples we derive estimates for the Laplace and Helmholtz single layer potentials. These results can be used for parameter selection in practical applications.     

The practical Gauss type rules for Hadamard finite-part integrals using Puiseux expansions

A general framework is constructed for efficiently and stably evaluating the Hadamard finite-part integrals by composite quadrature rules. Firstly, the integrands are assumed to have the Puiseux expansions at the endpoints with arbitrary algebraic and logarithmic singularities. Secondly, the Euler-Maclaurin expansion of a general composite quadrature rule is obtained directly by using the asymptotic expansions of the partial sums of the Hurwitz zeta function and the generalized Stieltjes constant, which shows that the standard numerical integration formula is not convergent for computing the Hadamard finite-part integrals. Thirdly, the standard quadrature formula is recast in two steps. In step one, the singular part of the integrand is integrated analytically and in step two, the regular integral of the remaining part is evaluated using the standard composite quadrature rule. In this stage, a threshold is introduced such that the function evaluations in the vicinity of the singularity are intentionally excluded, where the threshold is determined by analyzing the roundoff errors caused by the singular nature of the integrand. Fourthly, two practical algorithms are designed for evaluating the Hadamard finite-part integrals by applying the Gauss-Legendre and Gauss-Kronrod rules to the proposed framework. Practical error indicator and implementation involved in the Gauss-Legendre rule are addressed. Finally, some typical examples are provided to show that the algorithms can be used to effectively evaluate the Hadamard finite-part integrals over finite or infinite intervals.     

Asymptotic Error Expansions for Numerical Solutions of Integral Equations

A general theorem dealing with asymptotic error expansions fornumerical solutions of linear operator equations is proved.This is applied to the Nystr?m, collocation, and Galerkin methodsfor second kind, Fredholm integral equations. For example, weshow that when piecewise polynomials of degree m–1 areused, the iterated Galerkin solution admits an error expansionin even powers of the step-size h, beginning with a term inh^2m.     

The Superconvergence of the Composite Trapezoidal Rule for Hadamard Finite Part Integrals

The composite trapezoidal rule has been well studied and widely applied for numerical integrations and numerical solution of integral equations with smooth or weakly singular kernels. However, this quadrature rule has been less employed for Hadamard finite part integrals due to the fact that its global convergence rate for Hadamard finite part integrals with (p+1)-order singularity is p-order lower than that for the Riemann integrals in general. In this paper, we study the superconvergence of the composite trapezoidal rule for Hadamard finite part integrals with the second-order and the third-order singularity, respectively. We obtain superconvergence estimates at some special points and prove the uniqueness of the superconvergence points. Numerical experiments confirm our theoretical analysis and show that the composite trapezoidal rule is efficient for Hadamard finite part integrals by noting the superconvergence phenomenon. The work of this author was partially supported by the National Natural Science Foundation of China(No.10271019), a grant from the Research Grants Council of the Hong Kong Special Administractive Region, China (Project No. City 102204) and a grant from the Laboratory of Computational Physics The work of this author was supported in part by a grant from the Research Grants Council of the Hong Kong Special Administrative Region, China (Project No. CityU 102204).     

Nyström discretization of parabolic boundary integral equations

A Nyström method for the discretization of thermal layer potentials is proposed and analyzed. The method is based on considering the potentials as generalized Abel integral operators in time, where the kernel is a time dependent surface integral operator. The time discretization is the trapezoidal rule with a corrected weight at the endpoint to compensate for singularities of the integrand. The spatial discretization is a standard quadrature rule for surface integrals of smooth functions. We will discuss stability and convergence results of this discretization scheme for second-kind boundary integral equations of the heat equation. The method is explicit, does not require the computation of influence coefficients, and can be combined easily with recently developed fast heat solvers.     

Talbot quadratures and rational approximations

Many computational problems can be solved with the aid of contour integrals containing e ^z in the integrand: examples include inverse Laplace transforms, special functions, functions of matrices and operators, parabolic PDEs, and reaction-diffusion equations. One approach to the numerical quadrature of such integrals is to apply the trapezoid rule on a Hankel contour defined by a suitable change of variables. Optimal parameters for three classes of such contours have recently been derived: (a) parabolas, (b) hyperbolas, and (c) cotangent contours, following Talbot in 1979. The convergence rates for these optimized quadrature formulas are very fast: roughly O(3^-N ), where N is the number of sample points or function evaluations. On the other hand, convergence at a rate apparently about twice as fast, O(9.28903^-N ), can be achieved by using a different approach: best supremum-norm rational approximants to e ^z for z∈(–∞,0], following Cody, Meinardus and Varga in 1969. (All these rates are doubled in the case of self-adjoint operators or real integrands.) It is shown that the quadrature formulas can be interpreted as rational approximations and the rational approximations as quadrature formulas, and the strengths and weaknesses of the different approaches are discussed in the light of these connections. A MATLAB function is provided for computing Cody–Meinardus–Varga approximants by the method of Carathéodory–Fejér approximation. In memory of Germund Dahlquist (1925–2005).AMS subject classification (2000) 65D30, 41A20     

Integral evaluation in the BEM solution of (hyper)singular integral equations. 2D problems on polygonal domains

The formulation of certain classes of boundary value problems in terms of hypersingular integral equations is currently gaining increasing interest. In this paper we consider such type of equations on 2D polygonal domains, and assume we have to solve them by a collocation or a Galerkin BEM. In particular, given any (polynomial) local basis, we show how to compute efficiently, using a very low number of points, all integrals required by these methods. These integrals have kernels of the type log r, r⁻¹ and r⁻².The quadrature rules we propose to compute the above-mentioned integrals require the user to specify only the local polynomial degrees; therefore, they are quite suitable for the construction of a p or h−p version of the BEM.     

On the Chebyshev quadrature rule of finite part integrals

The stability and the convergence of the Chebyshev quadrature rule of one-sided finite part integrals (J. Approx. Theory 111 (2001) 196–219) is considered with some numerical examples. The three-term recurrence relation is suggested for computing the quadrature weights.