Integral equation simulations have useful applications in synthetic medical design and molecular docking. The challenges to be confronted when treating a BEM (Boundary Element Method) simulation are multiple. First, the resulting BEM-matrix is dense if classical polynomial basis functions are used. Second, the matrix entries are usually integrals admitting 4D integrands which are singular. In addition, the matrix density results in a large memory capacity requirement which leads to the need of a dense linear solver for standard polynomial bases. On the other hand, the advantage of BEM  -  over the traditional FEM (Finite Element Method)  -  is that one needs only smaller geometric data  because light-weight 2D-surfaces are utilized instead of massive 3D-meshes. That is especially true if one is only interested in the solution on the surface of a given geometry or in the infinite domain exterior to the geometry as frequently occurring in quantum simulations. In addition, the convergence is substantially faster because only a small degree of freedom is sufficient to attain a precise BEM approximation. Wavelets   -  partially serve as a remedy to the former challenges as they compress the dense matrices into quasi-sparse ones  -  . In the BEM framework, there are generally two formulations (first kind and second kind) which have their own advantages and drawbacks. The first kind formulation admits a weakly singular kernel while the second one admits a double layer kernel. Therefore, the computation of the integrals for the first kind is comparatively more efficient. On the other hand, the first kind formulation produces a system which is badly conditioned as the condition number escalates exponentially with the wavelet levels. In contrast, the second kind formulation produces a system which admits a bounded condition number if the multiscale wavelet basis is used. The purpose of this document is to remedy the bad conditioning of the first kind formulation. We will use domain decomposition techniques  -  to overcome that bad conditioning of the weakly singular BEM. That amounts to decomposing the whole surface into subdomains which are overlapping in our case. Each subdomain will be an amalgamation of surface patches. We will utilize only the additive version of the domain decomposition which is thus equivalent to a block Jacobi structure. The width of the subdomain overlaps will play an important role in the convergence guarantee of the additive domain decomposition. A graph decomposition into subgraphs is applied to carry out the domain decomposition in practice. Before going into details, a short survey of related past works is in order. A splitting method for CAD surfaces has been proposed in  for BEM simulation. Additionally, methods for checking the regularity of the mappings have been proved in  . While approximations are required to obtain global continuity in   for CAD objects, it can be achieved exactly for molecular surfaces in   . Furthermore, a real chemical simulation by using wavelet BEM is described in  for the quantum computation. The surface structure which is required by the wavelet-BEM is unfortunately very complicated to construct in contrast to the standard mesh generation  . Domain decomposition of BEM using triangular meshes is found in  which is also important because many valuable surface geometries (e.g. from 3D-scanner) are only available in triangular forms. Apart from additive methods, multiplicative ones are treated in  where planar four-sided patches are utilized. Besides, multigrids  -  propose an efficient method to alleviate the bad conditioning of linear systems originating from partial differential equations and integral equations. The use of multigrid for the treatment of pseudo-differential operators of order minus one has been examined in  which is applicable to weakly singular kernels.
1.1. Principal Contributions
We want to highlight here our main contributions in the theoretical and practical significances. We elaborate mathematical proofs which guarantee the convergence of the additive Schwarz method. For a decomposition of the surface, the ASM operator is used together with the single layer bilinear form. Our first contribution consists in the theoretical estimation of the smallest eigenvalue of the domain decomposition method. That is, for an arbitrary on the maximal level L, there is satisfying the representation
such that the single layer bilinear form fulfills
The significance of the above upper bound is that the ASM operator with respect to the weakly singular bilinear form
verifies on the maximal level L the eigenvalue lower bound
Our next contribution is the theoretical estimation of the largest eigenvalue of the domain decomposition method. The involvement of the overlap size of the subsurfaces in the condition number is analytically examined. For an arbitrary function, we have
That is significant in deducing the upper estimate
The main significance of this study is to provide a rigorous preconditioner which is theoretically demonstrated to reduce the condition number. We have an analytical deduction of the condition number which does not grow exponentially with the multiscale level. Indeed, the condition number admits the upper bound
As for the practical contribution, we present outcomes from computer implementations which originate from molecular patches. We use realistic geometries consisting of molecular surfaces on our domain decomposition. The implementation is complete and not just some part of the theory is illustrated. In particular, the BEM linear system as well as the domain decomposition technique has been implemented completely. We contribute in practically exhibiting that the domain decomposition method admits a significant advantage over the unpreconditioned system. A lot of reduction of the iteration number is achieved. By growing the multiscale levels, the required iteration counts grow only very slowly in contrast to the unpreconditioned system whose iteration counts increase significantly fast. In addition, we contribute in utilizing a graph based approach to practically assemble the domain decomposition for the BEM application.
1.2. Advantage over Previous Works
We will describe now the principal advantages of our approach compared with previous methods. An incomplete Cholesky factorization has been recently used in  for the preconditioning of the BEM linear system. The principal advantage of the domain decomposition over the Cholesky factorization is that the subproblems (see later (62)) in the additive Schwarz method can be solved independently. As a consequence, if a multiprocessor or a parallel computer is at disposition, the subproblems involving can be solved simultaneously by different processors. That is, solving the subproblems requires no interprocessor communications. In contrast, the Cholesky factorization must be solved as a single large entity at once.
A reverse Schur preconditioning technique for use in hierarchical matrices has been newly described in  . Hierarchical matrices are entirely other techniques for treating BEM. Their method is fundamentally different from wavelet method because they already take another approach from the starting setup by using meshes in addition to polynomial bases which are very well suited for triangular meshes. The H-matrix method is based on approximation of the integral kernels. The advantage of our method is that we use the original form of the kernels. In addition, the patchwise geometric structure here fits well with domain decompositions which can be applied to distributed computing.
In term of domain decompositions   , our presented method is somewhat innovative in the application of additive method to wavelet BEM for free-form curved patches because the currently available methods in domain decompositions are well developed only for finite element method and finite volume method. In the framework of BEM, the domain decomposition techniques are mostly restricted to polynomial bases. Domain decompositions on four-sided patches have been utilized in  but they considered only planar patches admitting edges which are parallel to the axes. We are not aware of any more recent generalization of  to curved patches. A direct comparison is somewhat difficult because our geometric patches form closed and free-form NURBS manifolds. In addition, they use standard polynomial basis. An advantage of the presented method here is that we use wavelet basis which yields a quasi-sparse linear system that enables faster matrix-vector multiplications. It is beyond the scope of this document to reproduce all the programming tasks that the other authors had implemented for their own approach. Therefore, we base our work on rigorous mathematical theory while the computer results are mainly for illustrative purpose to practically exhibit the remedy of the problem of exponential condition number.
2. Weakly Singular Integral on Patched Manifold
This section is occupied by the presentation of the integral equation of first kind which is formulated on a boundary surface that is decomposed into four-sided patches. After presenting the required surface structure, we will introduce the problem setting as well as the variational formulations using a nested sequence of subspaces. We suppose the geometry satisfies the following conditions.
・ We have a covering of the surface by four-sided patches,
・ The intersection of two different patches and is supposed to be either empty, a common curvilinear edge or a common vertex,
・ Each patch where is the image by which is described by a bivariate function that is bijective, sufficiently smooth and admitting bounded Jacobians,
・ The patch decomposition has a global continuity: for each pair of patches, sharing a curvilinear edge, the parametric representation is subject to a matching condition. That is, a bijective affine mapping exists such that for all on the common curvilinear edge, one has. In other words, the images of the functions and agree pointwise at common edges after some reorientation,
・ The manifold is orientable and the normal vector is consistently pointing outward for any.
An illustration of the above surface structure is depicted in Figure 1. The CAD representation of the former mappings uses the concept of B-spline and NURBS    . Consider two integers such that. The interval [0,1] is subdivided by a knot sequence such that for and such that the initial and the final entries of the knot sequence are clamped and. One defines the B-splines    basis functions as
where we employ the divided difference in which we use the truncated power functions given by if, while it is zero otherwise. The integer k controls the polynomial degree of the B-spline which
Figure 1. Patch representation of a Water Cluster with 1089 NURBS.
admits an overall smoothness of while the integer n controls the number of B-spline functions for which each B-spline basis is supported by. The NURBS patch admitting the control points and weights is expressed as
We will consider only geometries which are globally smooth and which admit moderate curvature. For each patch, the Gram determinant is denoted by
After transformation onto, the -scalar product and -norm are expressed respectively as
Upon the whole surface, we use the Sobolev semi-norm
We will use the next Sobolev space on the manifold
We introduce also the dual space equipped with the dual norm
By designating the 3D region enclosed within by, our objective is to solve the next interior problem with Dirichlet boundary condition for a given:
We make now the change of unknown by using the density function
Introduce the single layer operator such that for
The continuous problem is to search for such that
Once the solution u to the integral Equation (11) becomes available, the solution to the initial problem (8) is obtained by applying (9). For the discrete Galerkin variational formulation, we consider a nested set of finite dimensional spaces
whose construction will be specified later on. By discretizing (11) in each subspace, one has such that
which is a boundary integral equation of the first kind where we use the kernel
We are only interested in the solution to (13) for the finest space corresponding to the maximal level L. We will use the bilinear form defined as
The Gram determinant and its partial derivatives are assumed to be bounded
for where for sufficiently large. The Galerkin variational formulation with respect to a finite dimensional space spanned by uses the approximating functions where are the BEM-unknowns. The linear system is eventually obtained such that the matrix entries and the right hand side are respectively
The determination of a matrix entry calculates an integration in 4D where the integrand is highly nonlinear and possibly singular depending on the patch pair. By using tensor product B-spline wavelet basis functions, the matrix becomes quasi-sparse. In contrast to the second kind formulation, the weakly singular integral equation produces a symmetric positive definite matrix which is very badly conditioned. Since the stepsize of the discretization is of the form for the maximal level, the smallest and largest eigenvalues  for the current 3D problem are as follows
That means, the condition number increases exponentially as. In this document, we intend to remedy this problem of bad conditioning by using the ASM (Additive Schwarz Method) form of the domain decomposition. It consists in splitting the whole surface into several subdomains. The ASM method is similar to the block Jacobi while the MSM (Multiplicative Schwarz Method)  is similar to the block Gauss-Seidel. In contrast to the multiplicative case, the ASM fits very well with parallel computations in practice because every processor can treat its own subdomains with a minimal interprocessor communication. There are two versions of domain decomposition: the overlapping and the non-overlapping ones. We treat in this document the overlapping domain decomposition but the construction of the decomposition starts from a non-overlapping one. In our case, each subdomain constitutes of a set of patches. For a function u defined on the surface and functions defined on the subsurface such that, the key ingredient for a functional domain decomposition method is the following equivalence:
whose verification is the purpose of this document.
3. Multiscale Wavelet Galerkin Formulation
This section will be occupied by the construction of the nested subspaces (12) on the whole surface. First, we will introduce the subspaces by using the single-scale bases. We present afterward the multi-scale basis which is more efficient with respect to the first kind integral equation. Since we have a four-sided decomposition, constructing the wavelet basis on the unit square is sufficient to form basis functions on the whole surface. On level, we introduce the knot sequence
The internal knots on the next level are obtained by inserting one new knot inside two consecutive knots on the lower level. Introduce the piecewise constant linear space in the unit interval on level:
where designates the characteristic function having unit value in D and zero value beyond D. By using the two scale relation
and the inclusion, the spaces form a nested sequence of subspaces:
On each patch (), we define the piecewise constant space on level as
On the whole surface, we define
with the dimensionalities
It is deduced from the above construction that we have the inclusion . We will denote the orthogonal projection with respect to the scalar product onto by such that
Since the single-scale basis functions produce dense matrices, we will introduce another basis which spans the space. On account of the nestedness (26), the space can be expressed as an orthogonal sum
with respect to the -scalar product where is the complementary wavelet space
For the explicit expression of the wavelet functions, we use the Haar wavelet defined on by
whose relation with the single scale basis is such that. By using dilation and shift, one obtains for and
The wavelet functions constitute an orthonormal basis
where the first Dirac comes from the inter-level orthogonality while the second Dirac is justified by the non-overlapping of and on the same level. By applying the decomposition (31) recursively, one obtains on the maximal level L
so that we have the dimensionalities
A function has two representations: in the single-scale basis and in the multiscale basis, we have respectively
The next norm equivalences related to the coefficients are valid  
with constants and independent on the levels. Due to the property (35) and, the orthogonal projection of any onto verifies
The 2D-wavelet spaces on the unit square is defined for any level as follows
We have therefore
With respect to the wavelet basis functions, the integrals in (19) and (20) become
Before embarking to the next statement, let us enumerate the 2D-basis which are on different levels. The indices of the basis which are on level or lower are
Similarly for level
As a consequence, the basis indices which are exactly on level are the difference between those lower than and those lower than. That corresponds to
The following theorem is a collection of properties which enable the subsequent statements.
Theorem 1. (see for e.g.  ) We have the continuity and the coercivity of the weakly singular bilinear form with respect to the norm
and hence the equivalence
4. Domain Decomposition for the Wavelet BEM
We will focus in this section on the framework of the ASM domain decomposition. In term of geometric structure, the overlapping domain decomposition will be as follows
In term of linear spaces, this leads to the decomposition
On account of the overlapping condition (57), the space decomposition (58) is not necessarily a direct sum. Denote the orthogonal projection onto with respect to the bilinear form from (16) by
The ASM operator is defined by
The initial problem (13) is identical  to
The expression of each term of the right hand side b is obtained by locally solving the next equation on the subdomain without explicitly knowing the solution
where designates the duality pairing between and. The following two criteria are important for the theoretical convergence   of the above additive domain decomposition.
(i) For any function, there exist functions such that we have the representation verifying
for a constant independent of u and.
(ii) For an arbitrary representation such that, there is a constant such that
If those two criteria (i) and (ii) are satisfied, then we have the following spectral properties of the additive domain decomposition in term of the smallest and largest eigenvalues 
The objective of the next description is to verify those two properties for the BEM bilinear form stemming from the single layer potential as introduced in (16). Our construction of the overlapping decomposition (56) and (57) starts from a non- overlapping decomposition (see Figure 2)
Figure 2. Domain decomposition of a Water Cluster molecule admitting 1109 patches and 20 non-overlapping subdomains.
Each subdomain which forms a connected subsurface is expanded by additional margin patches to obtain. One margin extension amounts to including the patches which share a node with. That construction is not only important for practical reason but our convergence results depend also on the overlap size
In the construction, we assume additionally that is nonempty. That is to say, the subdomain is not completely covered by the margins of the other subdomains.
Theorem 2. Consider an overlapping domain decomposition verifying (56) and (57). For an arbitrary on the maximal level L, there exists fulfilling the representation
such that the single layer bilinear form in (16) satisfies
Proof. Let us consider any function. We have the representation
By using the above construction of, the subsurface is nonempty. We define therefore
By using the orthogonal projections where, we estimate  
Since constitutes a non-overlapping covering of the whole surface, we obtain
On the other hand, we have
By using and the inverse inequality 
for piecewise constant functions, we obtain
Eventually, we conclude from the equivalence (55)
We find in  a lengthy deduction of (73) on screen domains whose proof can be extended to curved patches. Another way to obtain (73) for a piecewise constant function in which is as follows. Since,
The operator being a projection, we deduce and hence
One has the next piecewise constant approximation for
By applying that to, we obtain
Lemma 1. Consider two different subdomains and in the overlapping domain decomposition (56) and (57). For a pair of patches such that and and for the 2D-wavelet basis and where and,
The next estimate is valid
where the constant c is independent of the maximum level L.
Proof. We have
where. Since and , one expresses
By using the primitive of and partial integrations on all four variables, one obtains
By using the boundedness of the functions, and their derivatives as well as the Calderon-Zygmund estimate, one deduces
We use the expression where if and else. On that account, one obtains
By combining (88) and (89), one deduces from (86)
Theorem 3. Consider an overlapping domain decomposition of the surface such as in (56) and (57). For any function, we have on level L the next estimate for the weakly singular potential from (16) in term of the overlap widths
where the constant c is independent of the maximal level L and the overlap widths.
Proof. Let a patch pair be such that and. Consider a function such that
We intend first to estimate where
For, one deduces from the Cauchy-Schwarz inequality
In addition, one has  
where and b are respectively the matrix and the vector. As done previously in (92), one has
where. As a consequence, by using (92), one obtains
On the other hand, one has the estimate
On account of the result in (83), one deduces
Therefore, by using the enumerations of and from (48), one deduces
Consequently, it yields the next estimate
On account of the fact that
where the last relation was due to the -norm and -norm equivalence. In the same manner as we did in (78), we have the bound
As a consequence, we obtain
Since, we conclude
Theorem 4. Consider an overlapping domain decomposition verifying
(56) and (57). Consider also a function fulfilling the representation
By using the bilinear form from (16), we have the next estimation in term of the maximal level L and the margin widths
where the constant c is independent on the maximal level L.
Proof. We are showing first that. Consider a patch pair such that. Since constitutes a non-overlapping partitioning of, there exists some p such that and some such that. Hence, we have and thus. The opposite inclusion is evident because. Therefore, we obtain
because are mutually disjoint. Further, we have
where we used in the last equality which holds because is not overlapped by any other subdomain and. Note also that for the same partitioning reason as above and. We deduce therefore
By combining that with (100), we obtain
In the same fashion as in the deduction of (78), we have
Similarly, we have
As a consequence,
By using the -norm and -norm equivalence, we conclude
Corollary 1. Consider an overlapping domain decomposition of the surface verifying (56) and (57). The ASM operator with respect to the weakly singular bilinear form
verifies on the maximal level L the eigenvalue range
and the condition number upper bound
where the constants, and are independent on the level L.
Proof. Consider an arbitrary representation where. We have
because. Combining that last inequality with (102), we obtain
where the constant c is independent on the level L and the functions u,. The bound of the smallest eigenvalue is obtained from (66) and (70). We deduce the estimate of the largest eigenvalue from (66) and (116). The condition number is estimated by
The spectral range might not be optimal yet but our current objective in this document is mainly to eliminate the exponential dependence which was described in (21). In fact, we have the estimate
which becomes very small as the maximal level L increases. Therefore, the proposed method reduces the upper bound of the condition number from to.
5. Practical Implementation and Numerical Results
In this section, we present some practical results related to the previous theory where we use several molecular models. For the quantum models, we employ Water Clusters and other molecules which are acquired from PDB files. When the molecular dynamic steps attain its equilibrium state where the total energy becomes stable, a water cluster is obtained by extracting the water molecules which are contained in some given large sphere whose radius controls the final size of the Water Cluster. The Hydrogen and Oxygen atoms contained in that large sphere constitute the components of the Water Clusters. The creation of the patch decomposition of the molecular surfaces is performed as described in    .
For the practical construction of the domain decomposition on molecular surfaces, we apply a graph partitioning technique. We assemble a graph whose vertices correspond to the patches of the geometry. Two graph vertices and are connected by a graph edge if the corresponding patches and are adjacent. Afterwards, the graph is decomposed into subgraphs. The patches pertaining to each subgraph generate one subdomain in the nonoverlapping domain decomposition. The Water Cluster on Figure 2 is an illustration of the result of such a graph decomposition technique.
We compare in Figure 3 the convergence histories of the direct method and the domain decomposition method. The plots depict the relation between the number of iterations and the residual errors. The quantum model is a Borane containing 432 patches and 100 subdomains. One observes that the number of iterations grow very rapidly in function of the level for the direct method. In contrast, the levels hardly affect the required numbers of iterations for the domain decomposition method. In fact, the iteration counts to drop the error below 10−9 are respectively 83, 145, 339, 804 for levels 1 till 4 by using the direct method. In order to perceive the plots of the domain decomposition results more clearly, we depict in Figure 4 an enlargement the curves of below iterations 60 where the whole iterations of the direct method cannot be observed. We observe that the errors decrease very quickly for all four levels requiring iteration counts between 28 and 42 by using the domain decomposition technique.
Although it is not the purpose of this document, we summarize in Figure 5(a) the BEM-simulation using single layer potential for a couple of molecules (propane and
Figure 3. Comparison of the direct method and the domain decomposition. Number of iterations vs. residual error.
Figure 4. Close-up of the convergence history of the domain decomposition method for four multiscale levels.
Figure 5. (a) BEM error in function of the maximal level, (b) Density function on a Water Cluster molecule.
Water Cluster) and several right hand-sides. We consider two exact solutions which are respectively and that have vanishing Laplacian. The right hand side is the restriction of the function on the boundary. The curves display the BEM convergence in function of the multiscale level. The error reduction is affected by the exact solutions but in general the errors reduce satisfactorily in function of the wavelet levels. The error plots lightly vary in function of the used molecules but in general all the curves exhibit the same slope characteristic. In fact, they decrease linearly in logarithmic scale in function of the BEM levels. Figure 5(b) exhibits the density function from (13) on the molecular surface where the triangulation is only used for graphical presentation and not for simulation where a Water Cluster molecule is used.
In Table 1, we collect the error reduction of the direct method and the domain decomposition where we consider a Water Cluster which consists of 1109 patches. We gather only some iteration steps where the reduction corresponds to the ratio of two consecutive residuals. The data have been the outcomes of a simulation on the maximal level. We observe that the domain decomposition is very efficient in comparison to the direct method because the error reduction is substantially smaller for the domain decomposition than for the direct method. For the domain decomposition approach, 54 iterations are needed to drop the error below 10−9 whereas 1007 iterations are required for the direct method to obtain an error of order.
Table 1. Error reductions for Water Cluster admitting 1109 patches at level.
We considered the single layer formulation using multiscale wavelet basis where the resulting system is badly conditioned. The additive version of the domain decomposition was used to circumvent the problem of bad conditioning. We concentrated on the non-overlapping domain decomposition where every subdomain is constituted of several patches. The convergence of the corresponding additive Schwarz method was examined. The smallest and the largest eigenvalues as well as the condition number have been estimated. Practical implementations exhibit satisfactory numerical results corresponding to the proposed theory.