#### Abstract

This article considers weakly singular, singular, and hypersingular integrals, which arise when the boundary integral equation methods are used to solve problems in elastostatics. The main equations related to formulation of the boundary integral equation and the boundary element methods in 2D and 3D elastostatics are discussed in details. For their regularization, an approach based on the theory of distribution and the application of the Green theorem has been used. The expressions, which allow an easy calculation of the weakly singular, singular, and hypersingular integrals, have been constructed.

#### 1. Introduction

A huge amount of publications is devoted to the boundary integral equation methods (BIM) and its application in science and engineering [1–5]. One of the main problems arising in the numerical solution of the BIE by the boundary element method (BEM) is a calculation of the divergent integrals. In mathematics divergent integrals have established theoretical basis. For example, the weakly singular integrals are considered as improper integrals; the singular integrals are considered in the sense of Cauchy principal value (PV); the hypersingular integrals had been considered by Hadamard as finite part integrals (FP). Different methods have been developed for calculation of the divergent integrals. Usually different divergent integrals need different methods for their calculation. Analysis of the most known methods used for treatment of the different divergent integrals has been done in [3, 4, 6–8]. The correct mathematical interpretation of the divergent integrals with different singularities has been done in terms of the theory of distributions (generalized functions). The theory of distributions provides a unified approach for the study of the divergent integrals and integral operators with kernels containing different kind of singularities.

In our previous publications [9–19], approach based on the theory of distributions has been developed for regularization of the divergent integrals with different singularities. The above mentioned approach for regularization of the hypersingular integrals has been used for the first time in [11]. Then it was further developed for static and dynamic problems of fracture mechanics in [15, 18, 19], respectively, and also in [9, 10, 13]. The equations presented in [12, 14] can be applied for a wide class of divergent integral regularizations for example for 2D and 3D elasticity [5, 14].

In the present paper, the approach for the divergent integral regularization based on the theory of distribution and Green’s theorem is further developed. The equations that enable easy calculation of the weakly singular, singular, and hypersingular integrals for different shape functions are presented here.

#### 2. Main Equations of Elastostatics

Lets consider a homogeneous, lineally elastic body, which in three-dimensional Euclidean space occupies volume with smooth boundary . The region is an open bounded subset of the three-dimensional Euclidean space with a Lipschitzian regular boundary *.* The boundary contains two parts and such that and . On the part are prescribed displacement of the body points, and on the part are prescribed traction , respectively. The body may be affected by volume forces . We assume that displacements of the body points and their gradients are small, so its stress-strain state is described by small strain deformation tensor . The strain tensor and the displacement vector are connected by Cauchy relations
where is a derivative with respect to space coordinates . The components of the strain tensor must also satisfy the Saint-Venant’s relations

From the balance of impulse and the moment of impulse lows follow that the stress tensor is symmetric one and satisfy the equations of equilibrium Here and throughout the paper the summation convention applies to repeated indices.

The tensor of deformation and stress are related by Hook’s law Here are elastic modules. In the case of homogeneous anisotropic medium they are symmetric and satisfy condition of ellipticity

In the case of homogeneous isotropic medium, the elastic modules have the form where and are Lame constants, and , is a Kronecker’s symbol.

Substituting stress tensor in (2.3) and using Hook’s law (2.4) and Cauchy relations (2.1), we obtain the differential equations of equilibrium in the form of displacements which may be presented in the form

The differential operator for homogeneous anisotropic medium has the form and for homogeneous isotropic medium has the form

If the problem is defined in an infinite region, then solution of (2.8) must satisfy additional conditions at the infinity in the form where is the distance in the three-dimensional Euclidian space.

If the body occupied a finite region with the boundary , it is necessary to establish boundary conditions. We consider the mixed boundary conditions in the form

The differential operator is called stress operator. It transforms the displacements into the tractions. For homogeneous anisotropic and isotropic medium, they have the forms respectively. Here are components of the outward normal vector, is a derivative in direction of the vector normal to the surface .

#### 3. Integral Representations for Displacements and Traction

In order to establish integral representations for the displacements and tractions, let us consider bilinear form which depends on two fields of the strain tensor that correspond to two fields of the displacements and Obviously that

Integrating the equality (3.1) over the volume and applying the Gauss-Ostrogradskii formula, we will obtain Taking into account that and , we will find the first Betti’s theorem in the form We will replace and in (3.4) and subtract resulting equation from (3.4). Because the form (3.1) is symmetrical one, we will obtain the second Betti’s theorem in the form Taking into the account the definition of differential operator given in (2.8) and the definition of differential operator given in (2.12), we obtain relation which is called the Betti’s reciprocal theorem.

This theorem is usually used for obtaining integral representations for the displacements and traction vectors. To do that, we consider solution of the elliptic partial differential equation (2.8) in an infinite space for the body force Now considering that

from (3.6) we obtain the integral representation for the displacements vector which is called Somigliana’s identity. The kernels and are called fundamental solutions for elastostatics.

Applying to (3.9) the differential operator , we will find integral representation for the traction in the form The kernels and may be obtained applying the differential operator to the kernels and , respectively.

The integral representations (3.9) and (3.10) are usually used for direct formulation of the boundary integral equations in elastostatics.

#### 4. Fundamental Solutions

In order to find the fundamental solutions for the differential operator , we consider the differential equations of elastostatics in the form displacements (3.7). Solutions of these equations are called the fundamental solutions.

In 3D elastostatics, they have the form

In 2D elastostatics they have the form Here and for 3D and 2D case, respectively, .

The kernels from (3.9) may be obtained by applying to differential operator as it is shown here Then after some transformations and simplifications, the expression for the kernels will have the following form

The kernels and from (3.10) may be obtained by applying differential operator to and , respectively Then after some transformations and simplifications the expression for the kernels will have the form and for the kernels, will have the form In (4.5)–(4.9), , and in 3D and 2D cases, respectively.

The kernels (4.1)–(4.9) contain different kind singularities; therefore, corresponding integrals are divergent. Here we will investigate there singularities and develop methods of divergent integrals calculation.

#### 5. Singularities, Boundary Properties, and Boundary Integral Equations

Simple observation shows that kernels in the integral representations (3.9) and (3.10) tend to infinity when . More detailed analysis of (4.1)–(4.9) gives us the following results.

In the 3D case with ,

In the 2D case with , In order to investigate these functions and integrals with singular kernels, definition and classification of the integrals with various singularities will be presented here.

*Definition 5.1. *Let one considers two points with coordinated (where or ) and region with smooth boundary of the class . The boundary integrals of the types
where is a finite function in and is a finite function in , are *weakly singular* for , *singular* for , and *strongly singular of hypersingular *for .

*Definition 5.2. *Let we consider two points with coordinated (where or ) and region with smooth boundary of the class . The boundary integrals of the types
where is a finite function in and is a finite function in , are weakly singular.

The integrals with singularities can not be considered in usual (Riemann or Lebegue) sense. In order to such integrals have sense, it is necessary special consideration of them. We will apply this definition of the integrals from (3.9) and (3.10).

*Definition 5.3. *Integrals in (3.9) with kernels are weakly singular and must be considered as improper
Here is a part of the boundary, projection of which on tangential plane is contained in the circle of the radio with center in the point .

*Definition 5.4. *Integrals in (3.9) and (3.10) with kernels and are singular and must be considered in sense of the Cauchy principal values as
Here is a part of the boundary, projection of which on tangential plane is the circle of the radio with center in the point .

*Definition 5.5. *Integrals in (3.10) with kernels are hypersingular and must be considered in sense of the Hadamard finite part as
Here functions are chosen from the condition of the limit existence.

Singular character of the channels in (3.9) and (3.10) determine boundary properties of the corresponding potentials. Analysis of these formulae show that the boundary potentials, with the kernels , are weakly singular, and, therefore, they are continuous everywhere in the and, therefore, may be continuously extended on the boundary . The potentials with the kernels and contain singular kernels, and they jump when crossing the boundary . The potential with the kernels contain hypersingular kernels. They continuously cross the boundary .

Boundary properties of these potentials have been studied extensively in [1, 2, 5, 8, 20] and so forth. Summary of these studies may be expressed by the equations
The symbols “±” and “” denote that two equalities, one with the top sign and the other with the bottom sign, are considered. The up index “0” points out that the direct value of the corresponding potentials on the surface should be taken.

Now using integral representations for displacements and traction and boundary properties of the potentials, we can get boundary integral equations for elastostatics. Tending in (3.9) and (3.10) to the boundary and taking into consideration boundary properties of the potentials (5.8), we obtain representation of the displacements and traction vectors on the boundary surface . On the smooth parts of the boundary, they have the following form
The plus and minus signs in these equations are used for the interior and exterior problems, respectively. Together with boundary conditions, they are used for compositing the BIE for the problems of elastostatics. The BIE are usually solved numerical transforming them into discrete system of finite dimensional equations. Such method is called the boundary element method (BEM).

#### 6. Projection Method and the BEM Equations

The main idea of the BEM consists in approximation of the BIE and further solution of that approximated finite dimensional BE system of equations. The mathematical essence of this approach is the so-called projection method. Let us outline some results from mathematical theory of the projection methods related to the approximation of the BIE. For more information, one can refer to [4, 21].

We consider two Banach spaces and and functional equation in those spaces
Here is the linear operator mapping from Banach space in Banach space , is a domain, and is a range of the operator *. *The equation (6.1) is named the exact equation, and its solution is the exact solution. We denote Banach space of the linear operators mapping from in *. *

Let in and act sequences of projection operators and such that where and are finite dimension subspaces of the Banach spaces and ; is a parameter of discretization.

Now we consider operator mapping in finite dimensional subspaces and and an approximate equation Solution of (6.3) is the approximate solutions of (6.1). The general scheme of the approached equations construction (6.3) is illustrated by the following diagram.(6.4)

Now let us consider operator mapping in finite-dimensional subspaces and and an approximate equation.

Existence of the exact solution, convergence of the approximate solution to the exact one, and stability of the approximations are the main problems which arrived in application of the projection methods. In order to solve these problems, we have to formulate them mathematically.

We assume that projection operators and converge to identity operators in and , respectively. It means that

*Definition 6.1. *Let conditions (6.5) be satisfied and stating from some for any , (6.3) has unique solution . In this case if
then the solution of the approximate problem (6.3) converges to the exact solution (6.1). It means that the projective method presented on diagram (6.4) is applicable to the initial problem (6.1).

*Definition 6.2. *Let for some sequence of the operators mapping from into there is a constant such that stating from some
then for sequence of the operators , the condition of stability of the approximate solution is satisfied.

Conditions (6.5)–(6.7) are very important for formulation conditions of existence, convergence and stability of the approximate solution. These conditions contain the following theorem [21, 22].

Theorem 6.3. *Let the following conditions be satisfied: *(1)*the projection operators and converge to identity operators in the Banach spaces and , respectively, as it stated in (6.5);*(2)*the sequence of approximate operators converges to on each exact solution;*(3)*the condition of stability (6.7) is satisfied for the sequence of operators .**Then the following consequences take place: *(1)*the exact solution exists and it is unique;*(2)*for all enough small h exists a unique solution of the approximate equation (6.3);*(3)*the sequence of the approximate equation converges to the exact one and takes place in the estimation *

Thus, using a projective method instead of the exact solution of (6.1) in functional space , we can find the solution of the approximate equation (6.3) in finite dimensional space *.* The functional spaces and are related by means of the projection operators and , respectively. It is also important to construct inverse operator which maps the finite dimensional space into the initial functional space . Such operator refers to as the operator of interpolation. Because of , the interpolation operator is not unique; moreover, for any two functional spaces and , it is possible to construct infinite set of interpolation operators.

Let us apply the projection method to the BIE of elastostatics and construct corresponding finite dimensional BE equations. It is known [21, 23] that integral operators in (5.9) map between two functional spaces and that are trace of displacements and traction on the boundary of the region in the following way:

We have to construct finite dimensional functional spaces that correspond to and and the corresponding projection operators. To construct finite dimensional functional spaces, we shall apply approximation by finite functions and splitting into finite elements

Because is the boundary of the region, these elements are called boundary elements. On each boundary element, we shall choose nodes of interpolation. Local projection operators act from functional and to the finite directional ones and
Global projection operators are defined as the sum of the local projection operators
They map and to finite dimensional interpolations spaces
The local projection operators and establish correspondence between vectors of displacements and traction and their value on the nodes of interpolation of the boundary elements
Similarly for the global operators, we have
Let us construct local interpolation operators and *.* For this purpose, we will introduce systems of shape functions and in the finite dimensional functional spaces and *.* Then the vectors of displacements and traction on the boundary element will be represented approximately in the form
and on the whole crack surface in the form

Finite-dimensional analogies for the integral operators (6.9) are operators which map the finite-dimensional functional spaces and , from one to another

Note that in contrast to differential operators, the integral operators are global, and they are defined in the entire space, that is, at every boundary element.

Substitution of the expressions (6.17) in (2.8) gives us the finite-dimensional representations for the vectors of displacements and traction on the boundary in the form where The volume potentials and depend on discretization of the domain. More detailed information on transition from the BIE to the BEM equations can be found in [1, 2, 4, 5, 20].

#### 7. Boundary Elements and Approximation

The BEM can be treated as the approximate method for the BIE solution, which includes approximation of the functions that belong to some functional space by discrete finite model. This model comprises finite number of values of the considered functions which are used for approximation of these functions by the shape functions determined on small subdomains called boundary elements. In this senses the BEM is closely related to a finite element method where the functions also belong to corresponding functional spaces and are approximated by finite model. Below we shall speak about finite element approximations and finite elements (FE), keeping in mind that boundary elements are their specific case.

It is important to mention that the local approximation of the considered function on one FE can be done independently from other FEs. It means that it is possible to approximate function on an FE by means of its values on the nodes independently of the place occupied considered the FE in the FE model and how behave the function on other FEs. Hence, it is possible to create the catalogue of various FE or BE with arbitrary node values interpolation function. Then from this catalogue can be chosen FEs which are necessary for approximation of the function and domain of its definition. The same FE can be used for discrete models of various functions or physical fields by determination of the necessary position of nodes in the model and further definition of the node values of the function or physical field. Thus, finite models of an area and its boundary do not not depend on functions and physical fields for which this area can be a domain of definition.

Let us consider how to construct an FE model of an area and a BE model of its boundary (). We fix in the area finite number of points ; these points refer to as global node points . We shall divide the area into finite number of subareas which are FEs. They have to satisfy the following conditions:
On each FE we introduce a local coordinate system . The nodal points in the local system of coordinates we designate by . They are coordinates of nodal points in the local coordinate system. Local and global coordinate are related in the following way:
Functions depend on position of the nodal points in the FE and BE. They join individual FE together in a FE model. Borders of the FEs and position of the nodal points should be such that, after joining together, separate elements form discrete model of the area *. *

Having constructed FE model of the area , we shall consider approximation of the function that belong to some functional space. The FE model of the area is the domain of function which should be approximated. We denote function on the FE by *.* Then
On each FE, the local functions may be represented in the form
where are interpolation polynomials or nodal functions of the FE with number . In the nodal point with coordinates , they are equal to 1, and in other nodal points are equal to zero. Taking into account (7.3) and (7.4), the global approximation of the function looks like
If the nodal point belongs to several Fes, it is considered in these sums only once.

The FE and BE elements can be of various form and sizes, their surfaces can be curvilinear. The curvilinear FEs are very important in BEM because the boundary surface is usually curvilinear. But it is more convenient to use standard FE, whose surfaces coincide with coordinate planes of the local coordinates system. Mathematically it means that it is necessary to establish relation between local coordinates , in which the element has a simple appearance, and global where the FE represents more complex figure. Local coordinates should be functions of global ones, and on the contrary, global coordinates should be functions of ones. In order to these maps be one-to-one, it is necessary and sufficient that the Jacobians of transformations be nonzero The differential elements along coordinate axes are related by The volume element in the is transformed under the formula and the area element in the is transformed under the formula The differential of the surface located in the is defined by the expression where The element of length of a contour in the is defined by the expression

It is important to point attention that it is quite enough to consider standard FE which can be transformed to the necessary form by suitable transformation of coordinates. The FE approximation has to be linear independent and compact in the corresponding functional space.

We consider here some examples of the FE approximation, which are frequently used in the BEM.

##### 7.1. Piecewise Constant Approximation

The piecewise constant approximation is the simplest one. Interpolation functions in this case do not depend on the FE form and the dimension of the domain. They have the form This approximation is linear independent and compact in the functional spaces in which it is not necessary to approximate the derivative of the function.

##### 7.2. Piecewise Linear Approximation

Interpolation functions in this case change linearly inside the FE and depend on its form and dimension of the domain. Therefore, interpolation functions are called shape functions.

In 1D case, the FEs are linear, and their shape functions are

In 2D case for the rectangular FE, shape functions are

For the triangular FE, it is convenient to introduce system of coordinates which connected with the Cartesian by relation For the triangular FE, the interpolation functions are The local coordinates are also called area coordinates.

##### 7.3. Piecewise Quadratic Approximation

Interpolation functions in this case change quadratically inside the FE and depend on its form and dimension of the domain.

In 1D case, the FEs are bilinear, and their shape functions are at the end nodes and at the midpoint node.

In 2D case for the rectangular FE, shape functions are at the angular nodes and at the side nodes.

For the triangular FE, the interpolation functions are at the angular nodes and at the side nodes.

In order to construct system of algebraic equation for the BEM (6.18), we have to represent global coordinates as function of local ones. The most convenient way to do that is to use the interpolation function defined in (7.13)–(7.23). In this case, the global coordinates have the form
Here is the global coordinate of nodal points for the FE number *. *

#### 8. Regularization of the Divergent Integrals

As it was mentioned above in order to solve the BIE (5.9) numerically, we have to transform them to the finite dimensional BE equations (6.18). In order to do that transform, we have to calculate integrals (6.19). One of the main problems that occur in this situation is the presence of the divergent integrals. They can not be calculated in traditional way, for example, numerically using quadrature formulas. For example, the integrals with the kernels are weakly singular (*WS*). They have to be considered as improper integrals. The integrals with the kernels and are singular. They have to be considered in the sense of Cauchy as principal values (PVs). The integrals with the kernels are hypersingular. They have to be considered in the sense of Hadamard as finite parts (FPs). Traditional approach to the divergent integral calculation may be found in [1, 2, 6, 8]. Following [11–16], we will develop here and apply the method of the divergent integral calculation based on the theory of distribution. This approach consists in application of the second Green theorem and transformation of divergent integrals into regular ones. In [12] we have developed formulas for regularization of the divergent integrals in the form
for 1D and 2D cases, respectively. We will demonstrate here how this approach works in the problems of elastostatics.

##### 8.1. 1D Divergent Integrals

In 2D elastostatics after introducing local system of coordinates and simplification, all divergent integrals can be presented in the form Here is the smooth function that depend on the shape of the BE and the interpolation polynomials.

We consider first the weakly singular integral . Because of logarithmical singularity, we can not use formula (8.1). Therefore, we start from the formula for integration by parts in the form Let in this formula be , , then we obtain Obviously the integral on the left is divergent and on the right is regular one. For the linear BE and piecewise constant approximation , and we get

For the singular integral regularization, we will also use the formula for integration by parts (8.3). Let in this formula , , then we obtain Here also the integral on the left is divergent and on the right is regular one. For the linear BE and piecewise constant approximation , and we get

Finally for the hypersingular integral regularization, we will use formula (8.1) and the above-obtained result for singular regularization. Finally we get Here also the integral on the left is divergent and on the right is regular one. For the linear BE and piecewise constant approximation , and we get From this equation can be found Hadamard’s example of a function that is positive every were in the integration region, but its integral is a negative one

##### 8.2. 2D Divergent Integrals

In 3D elastostatics after introducing local system of coordinates and simplification, all divergent integrals can be presented in the form Here is the smooth function that depends on shape of the BE and interpolation polynomials.

###### 8.2.1. Integrals with Kernels of the Type

From (8.1) for , we get regularization for weakly singular integral Here , and the summation convention applies to repeated indices . The integral on the left is divergent and on the right are regular ones.

For the linear BE and piecewise constant approximation and circular area, we can calculate this integral analytically. Introducing polar, coordinates we will get In order to regularize singular integral, we will use, relation . Then in the same way we get The volume integral on the right is weakly singular. Taking into account the relation , we obtain regularization for this weakly singular integral

For the linear BE and piecewise constant approximation and circular area, we can calculate singular integral in (8.14) analytically. Introducing polar coordinates, we will get Finally from (8.1) for , we get regularization for hupersingular integral

For the linear BE and piecewise constant approximation and circular area, we can calculate this integral analytically. Introducing polar coordinates, we will get

Now using (8.1), any divergent integral with the kernels of the type for any positive integer can be calculated.

###### 8.2.2. Integrals with Kernels of the Type

The weakly singular integral with kernel is calculated taking into account the equation . It is easy to show that The first integral here is already calculated in (8.12). The second one may be presented in the form Combining the last two equations, finally we will get

For the linear BE and piecewise constant approximation and circular area we can calculate this integral analytically. Introducing polar coordinates, we will get

The singular integral with kernel is calculated taking into account that . In this case, The first integral here is already calculated in (8.14). The second one may be presented in the form Combining the last two equations, finally we will get

For the linear BE and piecewise constant approximation and circular area, we can calculate this integral analytically. Introducing polar coordinates, we will get

The hypersingular integral with kernel is calculated taking into account that . In this case, it is easy to show that The first integral here is already calculated in (8.17). The second one may be presented in the form Combining the last two equations, finally we will get The volume integral here is weakly singular. Its regularization may be done using (8.12) and (8.21). For the linear BE and piecewise constant approximation and circular area, we can calculate this integral analytically. Introducing polar coordinates, we will get

###### 8.2.3. Integrals with Kernels of the Type

The weakly singular integral with kernel is calculated using (8.1). Taking into account that , it is easy to show that Here .

For the linear BE and piecewise constant approximation and circular area, we can calculate this integral analytically. Introducing polar coordinates, we will get

The singular integral with kernel is calculated using equation (8.1). Taking into account that , it is easy to show that

The hypersingular integral with kernel is calculated using (8.1). Taking into account that , it is easy to show that The volume integral here is weakly singular. Its regularization may be done using (8.31).

#### 9. Conclusions

The method of regularization of the weakly singular, singular and hypersingular integrals, based on the second Green theorem, is developed here. These divergent integrals are presented when the boundary integral equation methods are used to solve problems in elastostatics. The equations that permit easy calculation of the weakly singular, singular, and hypersingular integrals for different shape functions are presented here. The divergent integrals over the circular domain have been calculated analytically. The main equations related to the boundary integral equation and boundary elements methods formulation in 2D and 3D elastostatics have been discussed in details.