BDDC
   HOME

TheInfoList



OR:

In
numerical analysis Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic computation, symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of ...
, BDDC (balancing domain decomposition by constraints) is a
domain decomposition method In mathematics, numerical analysis, and numerical partial differential equations, domain decomposition methods solve a boundary value problem by splitting it into smaller boundary value problems on subdomains and iterating to coordinate the solu ...
for solving large
symmetric Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
,
positive definite In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular: * Positive-definite bilinear form * Positive-definite f ...
systems of
linear equations In mathematics, a linear equation is an equation that may be put in the form a_1x_1+\ldots+a_nx_n+b=0, where x_1,\ldots,x_n are the variables (or unknowns), and b,a_1,\ldots,a_n are the coefficients, which are often real numbers. The coefficien ...
that arise from the
finite element method The finite element method (FEM) is a popular method for numerically solving differential equations arising in engineering and mathematical modeling. Typical problem areas of interest include the traditional fields of structural analysis, heat ...
. BDDC is used as a
preconditioner In mathematics, preconditioning is the application of a transformation, called the preconditioner, that conditions a given problem into a form that is more suitable for Numerical mathematics, numerical solving methods. Preconditioning is typical ...
to the
conjugate gradient method In mathematics, the conjugate gradient method is an algorithm for the numerical solution of particular systems of linear equations, namely those whose matrix is positive-definite. The conjugate gradient method is often implemented as an iterativ ...
. A specific version of BDDC is characterized by the choice of coarse degrees of freedom, which can be values at the corners of the subdomains, or averages over the edges or the faces of the interface between the subdomains. One application of the BDDC preconditioner then combines the solution of local problems on each subdomains with the solution of a global
coarse problem : ''This article deals with a component of numerical methods. For coarse space in topology, see coarse structure.'' In numerical analysis, coarse problem is an auxiliary system of equations used in an iterative method for the solution of a given la ...
with the coarse degrees of freedom as the unknowns. The local problems on different subdomains are completely independent of each other, so the method is suitable for
parallel computing Parallel computing is a type of computation in which many calculations or processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time. There are several different fo ...
. With a proper choice of the coarse degrees of freedom (corners in 2D, corners plus edges or corners plus faces in 3D) and with regular subdomain shapes, the condition number of the method is bounded when increasing the number of subdomains, and it grows only very slowly with the number of elements per subdomain. Thus the number of iterations is bounded in the same way, and the method scales well with the problem size and the number of subdomains.


History

BDDC was introduced by different authors and different approaches at about the same time, i.e., by Cros,J.-M. Cros, ''A preconditioner for the Schur complement domain decomposition method'', in Domain Decomposition Methods in Science and Engineering, I. Herrera, D. E. Keyes, and O. B. Widlund, eds., National Autonomous University of Mexico (UNAM), México, 2003, pp. 373–380. 14th International Conference on Domain Decomposition Methods, Cocoyoc, Mexico, January 6–12, 2002. Dohrmann,C. R. Dohrmann, ''A preconditioner for substructuring based on constrained energy minimization'', SIAM J. Sci. Comput., 25 (2003), pp. 246–258. and Fragakis and Papadrakakis,Y. Fragakis and M. Papadrakakis, ''The mosaic of high performance domain decomposition methods for structural mechanics: Formulation, interrelation and numerical efficiency of primal and dual methods'', Comput. Methods Appl. Mech. Engrg., 192 (2003), pp. 3799–3830. as a primal alternative to the
FETI-DP The FETI-DP method is a domain decomposition methodC. Farhat, M. Lesoinne, P. LeTallec, K. Pierson, and D. Rixen, ''FETI-DP: a dual-primal unified FETI method. I. A faster alternative to the two-level FETI method'', Internat. J. Numer. Methods Engrg ...
domain decomposition method by
Farhat Farhat (Arabic: فَرْحَات, ''farḥāt'') is an Arabic male given name meaning "delight, pleasure, luckier, good luck, good fortune". This is the male variant from the female stem given name Farha. It may refer to: Given name * Farhat Abba ...
et al.C. Farhat, M. Lesoinne, P. LeTallec, K. Pierson, and D. Rixen, ''FETI-DP: a dual-primal unified FETI method. I. A faster alternative to the two-level FETI method'', Internat. J. Numer. Methods Engrg., 50 (2001), pp. 1523–1544. C. Farhat, M. Lesoinne, and K. Pierson, ''A scalable dual-primal domain decomposition method'', Numer. Linear Algebra Appl., 7 (2000), pp. 687–714. Preconditioning techniques for large sparse matrix problems in industrial applications (Minneapolis, MN, 1999). See J. Mandel and B. Sousedík, ''BDDC and FETI-DP under minimalist assumptions'', Computing, 81 (2007), pp. 269–280. for a proof that these are all actually the same method as BDDC. The name of the method was coined by
Mandel Mandel is a surname (and occasional given name) that occurs in multiple cultures and languages. It is a Dutch, German and Jewish surname, meaning "almond", from the Middle High German and Middle Dutch ''mandel''.''Dictionary of American Family Nam ...
and Dohrmann,J. Mandel and C. R. Dohrmann, ''Convergence of a balancing domain decomposition by constraints and energy minimization'', Numer. Linear Algebra Appl., 10 (2003), pp. 639–659. because it can be understood as further development of the BDD (
balancing domain decomposition In numerical analysis, the balancing domain decomposition method (BDD) is an iterative method to find the solution of a symmetric positive definite system of linear algebraic equations arising from the finite element method.J. Mandel, ''Balancing d ...
) method.J. Mandel, ''Balancing domain decomposition'', Comm. Numer. Methods Engrg., 9 (1993), pp. 233–241. Mandel, Dohrmann, and Tezaur J. Mandel, C. R. Dohrmann, and R. Tezaur, ''An algebraic theory for primal and dual substructuring methods by constraints'', Appl. Numer. Math., 54 (2005), pp. 167–193. proved that the eigenvalues of BDDC and FETI-DP are identical, except for the eigenvalue equal to one, which may be present in BDDC but not for FETI-DP, and thus their number of iterations is practically the same. Much simpler proofs of this fact were obtained later by Li and WidlundJ. Li and O. B. Widlund, ''FETI-DP, BDDC, and block Cholesky methods'', Internat. J. Numer. Methods Engrg., 66 (2006), pp. 250–271. and by Brenner and Sung. S. C. Brenner and L.-Y. Sung, ''BDDC and FETI-DP without matrices or vectors'', Comput. Methods Appl. Mech. Engrg., 196 (2007), pp. 1429–1435.


Coarse space

The coarse space of BDDC consists of energy minimal functions with the given values of the coarse degrees of freedom. This is the same coarse space as used for corners in a version of BDD for
plate Plate may refer to: Cooking * Plate (dishware), a broad, mainly flat vessel commonly used to serve food * Plates, tableware, dishes or dishware used for setting a table, serving food and dining * Plate, the content of such a plate (for example: ...
s and shells.Le Tallec, Patrick; Mandel, Jan; Vidrascu, Marina, ''A Neumann-Neumann domain decomposition algorithm for solving plate and shell problems.'' SIAM J. Numer. Anal. 35 (1998), no. 2, 836–867 The difference is that in BDDC, the coarse problem is used in an additive fashion, while in BDD, it is used a multiplicatively.


A mechanical description

The BDDC method is often used to solve problems from
linear elasticity Linear elasticity is a mathematical model of how solid objects deform and become internally stressed due to prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mec ...
, and it can be perhaps best explained in terms of the deformation of an elastic structure. The elasticity problem is to determine the deformation of a structure subject to prescribed displacements and forces applied to it. After applying the finite element method, we obtain a system of linear algebraic equations, where the unknowns are the displacements at the nodes of the elements and the right-hand side comes from the forces (and from nonzero prescribed displacements on the boundary, but, for simplicity, assume that these are zero). A preconditioner takes a right hand side and delivers an approximate solution. So, suppose we have an elastic structure divided into nonoverlapping substructures, and, for simplicity, suppose the coarse degrees of freedom are only subdomain corners. Suppose forces applied to the structure are given. The first step in the BDDC method is the interior correction, which consists of finding the deformation of each subdomain separately given the forces applied to the subdomain except at the interface of the subdomain with its neighbors. Since the interior of each subdomain moves independently and the interface remains at zero deformation, this causes kinks at the interface. The forces on the interface necessary to keep the kinks in balance are added to the forces already given on the interface. The interface forces are then distributed to the subdomain (either equally, or with weights in proportion to the stiffness of the material of the subdomains, so that stiffer subdomains get more force). The second step, called subdomain correction, is finding the deformation for these interface forces on each subdomain separately subject to the condition of zero displacements on the subdomain corners. Note that the values of the subdomain correction across the interface in general differ. At the same time as the subdomain correction, the coarse correction is computed, which consists of the displacement at all subdomain corners, interpolated between the corners on each subdomain separately by the condition that the subdomain assumes the same shape as it would with no forces applied to it at all. Then the interface forces, same as for the subdomain correction, are applied to find the values of the coarse correction at subdomain corners. Thus, the interface forces are averaged and the coarse solution is found by the
Galerkin method In mathematics, in the area of numerical analysis, Galerkin methods, named after the Russian mathematician Boris Galerkin, convert a continuous operator problem, such as a differential equation, commonly in a weak formulation, to a discrete prob ...
. Again, the values of the coarse correction on subdomain interfaces is, in general, discontinuous across the interface. Finally, the subdomain corrections and the coarse correction are added and the sum is averaged across the subdomain interfaces, with the same weights as were used to distribute the forces to the subdomain earlier. This gives the value of the output of BDDC on the interfaces between the subdomains. The values of the output of BDDC in the interior of the subdomains are then obtained by repeating the interior correction. In a practical implementation, the right-hand-side and the initial approximation for the iterations are preprocessed so that all forces inside the subdomains are zero. This is done by one application of the interior correction as above. Then the forces inside the subdomains stay zero during the conjugate gradients iterations, and so the first interior correction in each application of BDDC can be omitted.


References


External links


Interview
with Jan Mandel, Clark Dohrmann, and Radek Tezaur about "An algebraic theory for primal and dual substructuring methods by constraints"

with Olof Widlund and Jing Li about "FETI-DP, BDDC, and Block Cholesky methods" {{DEFAULTSORT:Bddc Domain decomposition methods