Adaptive boundary element methods for strongly elliptic integral equations

Summary Integral operators are nonlocal operators. The operators defined in boundary integral equations to elliptic boundary value problems, however, are pseudo-differential operators on the boundary and, therefore, provide additional pseudolocal properties. These allow the successful application of adaptive procedures to some boundary element methods. In this paper we analyze these methods for general strongly elliptic integral equations and obtain a-posteriori error estimates for boundary element solutions. We also apply these methods to nodal collocation with odd degree splines. Some numerical examples show that these adaptive procedures are reliable and effective.This work was carried out while Dr. De-hao Yu was an Alexander-von-Humboldt-Stiftung research fellow at the University of Stuttgart in 1987, 1988     

Spline collocation for strongly elliptic equations on the torus

Summary We prove convergence and error estimates in Sobolev spaces for the collocation method with tensor product splines for strongly elliptic pseudodifferential equations on the torus. Examples of applications include elliptic partial differential equations with periodic boundary conditions but also the classical boundary integral operators of potential theory on torus-shaped domains in three or more dimensions. For odd-degree splines, we prove convergence of nodal collocation for any strongly elliptic operator. For even-degree splines and midpoint collocation, we find an additional condition for the convergence which is satisfied for the classical boundary integral operators. Our analysis is a generalization to higher dimensions of the corresponding analysis of Arnold and Wendland [4].     

The convergence of a direct BEM for the plane mixed boundary value problem of the Laplacian

Summary In this paper the convergence analysis of a direct boundary elecment method for the mixed boundary value problem for Laplace equation in a smooth plane domain is given. The method under consideration is based on the collocation solution by constant elements of the corresponding system of boundary integral equations. We prove the convergence of this method, provide asymptotic error estimates for the BEM-solution and give some numerical examples.     

Midpoint collocation for Cauchy singular integral equations

Summary A Cauchy singular integral equation on a smooth closed curve may be solved numerically using continuous piecewise linear functions and collocation at the midpoints of the underlying grid. Even if the grid is non-uniform, suboptimal rates of convergence are proved using a discrete maximum principle for a modified form of the collocation equations. The same techniques prove negative norm estimates when midpoint collocation is used to determine piecewise constant approximations to the solution of first kind equations with the logarithmic potential.This work was supported by the Australian Research Council through the program grant Numerical analysis for integrals, integral equations and boundary value problems     

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 the boundary element method for some nonlinear boundary value problems

Summary Here we analyse the boundary element Galerkin method for two-dimensional nonlinear boundary value problems governed by the Laplacian in an interior (or exterior) domain and by highly nonlinear boundary conditions. The underlying boundary integral operator here can be decomposed into the sum of a monotoneous Hammerstein operator and a compact mapping. We show stability and convergence by using Leray-Schauder fixed-point arguments due to Petryshyn and Neas.Using properties of the linearised equations, we can also prove quasioptimal convergence of the spline Galerkin approximations.This work was carried out while the first author was visiting the University of Stuttgart     

On the fast solutions of nonlinear elliptic equations

Summary In a recent paper we described a multi-grid algorithm for the numerical solution of Fredholm's integral equation of the second kind. This multi-grid iteration of the second kind has important applications to elliptic boundary value problems. Here we study the treatment of nonlinear boundary value problems. The required amount of computational work is proportional to the work needed for a sequence of linear equations. No derivatives are required since these linear problems are not the linearized equations.     

Spline collocation for singular integro-differential equations over (0.1)

Summary This paper analyses the convergence of spline collocation methods for singular integro-differential equations over the interval (0.1). As trial functions we utilize smooth polynomial splines the degree of which coincides with the order of the equation. Depending on the choice of collocation points we obtain sufficient and even necessary conditions for the convergence in sobolev norms. We give asymptotic error estimates and some numerical results.     

Spectral approximation of the periodic-nonperiodic Navier-Stokes equations

Summary In order to approximate the Navier-Stokes equations with periodic boundary conditions in two directions and a no-slip boundary condition in the third direction by spectral methods, we justify by theoretical arguments an appropriate choice of discrete spaces for the velocity and the pressure. The compatibility between these two spaces is checked via an infsup condition. We analyze a spectral and a collocation pseudo-spectral method for the Stokes problem and a collocation pseudo-spectral method for the Navier-Stokes equations. We derive error bounds of spectral type, i.e. which behave likeM ^– whereM depends on the number of degrees of freedom of the method and represents the regularity of the data.     

The convergence of even degree spline collocation solution for potential problems in smooth domains of the plane

Summary In this article we derive new error estimates for collocation solution of potential type problems by using even degree smooth splines as trial functions. It turns out that for smooth potentials the assured convergence is of the same order as by using splines of the odd degreed+1. Some numerical examples which conform the theoretical results are presented. Present address: (1. 7. 1988–31. 12. 1988) Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Fourth order eigenvalue approximation by extrapolation on domains with reentrant corners

Summary The eigenvalue problem of the Laplace operator is considered on a non-convex domain composed of rectangles. This model problem may be solved by the finite element method with bilinear elements on a rectangular mesh. It is known thatO(h) ²(<1) convergence can be obtained for the eigenvalues, if the mesh hasO(h) ^–2 points. A simple extrapolation scheme is presented which, on appropriately graded meshes, increases the rate of convergence toO(h) ⁴ This work was supported by the Deutsche Forschungsgemeinschaft (DFG), SFB 123 Stochatistische Mathematische Modelle, Universität Heidelberg     

The finite element method with nodes moving along the characteristics for convection-diffusion equations

Summary We examine the convergence properties of the finite element method with nodes moving along the characteristics for one-dimensional convection-diffusion equations. For linear elements, we demonstrate optimal rates of convergence in theL ²,H ¹ andL norms. Both linear and nonlinear problems are considered.This work forms part of the research programme of the Oxford/Reading Institute for Computational Dynamics.     

A family of higher order mixed finite element methods for plane elasticity

Summary The Dirichler problem for the equations of plane elasticity is approximated by a mixed finite element method using a new family of composite finite elements having properties analogous to those possessed by the Raviart-Thomas mixed finite elements for a scalar, second-order elliptic equation. Estimates of optimal order and minimal regularity are derived for the errors in the displacement vector and the stress tensor inL ²(), and optimal order negative norm estimates are obtained inH ^s () for a range ofs depending on the index of the finite element space. An optimal order estimate inL () for the displacement error is given. Also, a quasioptimal estimate is derived in an appropriate space. All estimates are valid uniformly with respect to the compressibility and apply in the incompressible case. The formulation of the elements is presented in detail.This work was performed while Professor Arnold was a NATO Postdoctoral Fellow     

The collocation method for mixed boundary value problems on domains with curved polygonal boundaries

Summary. We consider an indirect boundary integral equation formulation for the mixed Dirichlet-Neumann boundary value problem for the Laplace equation on a plane domain with a polygonal boundary. The resulting system of integral equations is solved by a collocation method which uses a mesh grading transformation and a cosine approximating space. The mesh grading transformation method yields fast convergence of the collocation solution by smoothing the singularities of the exact solution. A complete stability and solvability analysis of the transformed integral equations is given by use of a Mellin transform technique, in a setting in which each arc of the polygon has associated with it a periodic Sobolev space. Received April 15, 1995 / Revised version received April 10, 1996     

Convergence rate estimate for a domain decomposition method

Summary We provide a convergence rate analysis for a variant of the domain decomposition method introduced by Gropp and Keyes for solving the algebraic equations that arise from finite element discretization of nonsymmetric and indefinite elliptic problems with Dirichlet boundary conditions in ². We show that the convergence rate of the preconditioned GMRES method is nearly optimal in the sense that the rate of convergence depends only logarithmically on the mesh size and the number of substructures, if the global coarse mesh is fine enough.This author was supported by the National Science Foundation under contract numbers DCR-8521451 and ECS-8957475, by the IBM Corporation, and by the 3M Company, while in residence at Yale UniversityThis author was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy under Contract W-31-109-Eng-38This author was supported by the National Science Foundation under contract number ECS-8957475, by the IBM Corporation, and by the 3M Company     

On Spline Collocation for Singular Integral Equations

This paper is devoted to the approximate solution of one-dimensional singular integral equations on a closed curve by spline collocation methods. As the main result we give conditions which are sufficient and in special cases also necessary for the convergence in SOBOLEV norms. The paper is organized as follows. In chapter 1 we indicate some definitions and some facts about projection methods. In chapter 2, we generalize a technique developed in [1] and study the convergence of collocations using splines of odd degree in periodic SOBOLEV spaces. In chapter 3, we apply our method to collocations by splines of even degree and consider the case of systems of equations. And in the last chapter, 4, the results are applied to singular integral equations and compared with known facts about piecewise linear spline collocation for such equations.     

Stability of a spline collocation method for strongly elliptic multidimensional singular integral equations

Summary We consider a spline collocation method for strongly elliptic zero order pseudodifferential equationsp _gw Au=f on a cube =(0, 1) ^m . Utilizing multilinear spline functions which are zero at the boundary we collocate at the meshpoints inside . For classical strongly elliptic translation invariant pseudodifferential operators, we verify the stability of the considered collocation method inL ²(). Afterwards, form2 and a right hand sidefH ⁸(),s>m/2, we prove an asymptotic convergence estimate.The author has been supported by a grant of Deutsche Forschungsgemeinschaft under grant number Ko 634/32-1     

On the stability of Runge-Kutta methods for delay integral equations

Summary We present a class of Runge-Kutta methods for the numerical solution of a class of delay integral equations (DIEs) described by two different kernels and with a fixed delay . The stability properties of these methods are investigated with respect to a test equation with linear kernels depending on complex parameters. The results are then applied to collocation methods. In particular we obtain that any collocation method for DIEs, resulting from anA-stable collocation method for ODEs, with a stepsize which is submultiple of the delay , preserves the asymptotic stability properties of the analytic solutions.This work was supported by CNR (Italian National Council of Research)     

On numerical cubatures of singular surface integrals in boundary element methods

Summary We present and analyze methods for the accurate and efficient evaluation of weakly, Cauchy and hypersingular integrals over piecewise analytic curved surfaces in ³.The class of admissible integrands includes all kernels arising in the numerical solution of elliptic boundary value problems in three-dimensional domains by the boundary integral equation method. The possibly not absolutely integrable kernels of boundary integral operators in local coordinates are pseudohomogeneous with analytic characteristics depending on the local geometry of the surface at the source point. This rules out weighted quadrature approaches with a fixed singular weight.For weakly singular integrals it is shown that Duffy's triangular coordinates leadalways to a removal of the kernel singularity. Also asymptotic estimates of the integration error are provided as the size of the boundary element patch tends to zero. These are based on the Rabinowitz-Richter estimates in connection with an asymptotic estimate of domains of analyticity in ².It is further shown that the modified extrapolation approach due to Lyness is in the weakly singular case always applicable. Corresponding error and asymptotic work estimates are presented.For the weakly singular as well as for Cauchy and hypersingular integrals which e.g. arise in the study of crack problems we analyze a family of product integration rules in local polar coordinates. These rules are hierarchically constructed from finite part integration formulas in radial and Gaussian formulas in angular direction. Again, we show how the Rabinowitz-Richter estimates can be applied providing asymptotic error estimates in terms of orders of the boundary element size.Partially supported by the Priority Research Programme Boundary Element Methods of the German Research Foundation DFG under Grant No. We 659/16-1 (guest programme) and under AFOSR-grant 89-0252.     

On the effect of numerical integration in the Galerkin boundary element method

Summary. We discuss the effect of cubature errors when using the Galerkin method for approximating the solution of Fredholm integral equations in three dimensions. The accuracy of the cubature method has to be chosen such that the error resulting from this further discretization does not increase the asymptotic discretization error. We will show that the asymptotic accuracy is not influenced provided that polynomials of a certain degree are integrated exactly by the cubature method. This is done by applying the Bramble-Hilbert Lemma to the boundary element method. Received May 24, 1995