Dirichlet Domain Decomposition Methods
by Yi Zhang
Coupling interface data is THE most important component of domain decomposition (DD) methods. In many cases the coupled data are only required to up to order 1, which means, only continuity of variable and continuity of normal derivatives are need for adequate accuracy. So, in variant formulation of the transmission condition of a problem, when its domain is decomposed, one can require a priori that the Dirichlet boundary/interface condition are built in the trial function, while the Neumann condition at boundary and interface has to be enforced explicitly. In particular, with as unknown variable in the local subdomain and as its exterior normal derivative at the subdomain boundary , the Dirichlet transmission condition
for neighboring subdomains and at the common “border” , can be built in the trial function. The Neumann condition at the same interface would be
because the normal derivatives are to opposite direction. At this moment, I should make some definitions. Let’s call the “real” boundary of the domain as “boundary”, while the local “boundary” for certain subdomain, together with “real” boundary, as skeleton . So condition above is imposed on skeletons. We should also consider some Neumann boundary condition is imposed at part of the boundary , and Dirichlet boundary condition is imposed on the rest, called . Now the weak form of N. boundary/interface is
For one interface/boundary of one subdomain, only one of equations above is valid. When those equations are added up for all the subdomains, we have
If we look those normal derivatives as flux, and notice that the summation does not include the boundaries in , above equation simply says that the total flux across the skeletons and N. boundaries adds up to the flux across N. boundaries. In correspondence, the test function would be zero on . Besides, with the notation above, the interfaces in the inner of domain is .
Dirichlet DD method, resolves , by which the Dirichlet boundary condition and interface matching condition are naturally satisfied. The remaining the problem now is then how to obtain a weak formulation with unknown from the last equation above. One can make an educated guess, if there exists a map between and , say, , we immediately have the weak formulation of as
It turns out that that map does exist, under some condition of course. And by noticing that the we did not employ any information of the specific differential equation, one can guess that those information are hidden exactly in .