1: \begin{abstract}
2: In recent work, Li et al.\ (Comm.\ Math.\ Sci., 7:81-107, 2009) developed
3: a diffuse-domain method (DDM) for solving partial differential equations in
4: complex, dynamic geometries with Dirichlet, Neumann, and Robin boundary
5: conditions. The diffuse-domain method uses an implicit representation of the
6: geometry where the sharp boundary is replaced by a diffuse layer with
7: thickness $\epsilon$ that is typically proportional to the minimum grid size.
8: The original equations are reformulated on a larger regular domain and the
9: boundary conditions are incorporated via singular source terms. The
10: resulting equations can be solved with standard finite difference and finite
11: element software packages. Here, we present a matched asymptotic analysis of
12: general diffuse-domain methods for Neumann and Robin boundary conditions.
13: Our analysis shows that for certain choices of the boundary condition
14: approximations, the DDM is second-order accurate in $\epsilon$. However, for
15: other choices the DDM is only first-order accurate. This helps to explain
16: why the choice of boundary-condition approximation is important for rapid
17: global convergence and high accuracy. Our analysis also suggests correction
18: terms that may be added to yield more accurate diffuse-domain methods.
19: Simple modifications of first-order boundary condition approximations are
20: proposed to achieve asymptotically second-order accurate schemes. Our
21: analytic results are confirmed numerically in the $L^2$ and $L^\infty$ norms
22: for selected test problems.
23: \end{abstract}
24: