Nonintrusive manufactured solutions for non-decomposing ablation in two dimensions

Code verification is a necessary step towards establishing credibility in computational physics simulations. It is used to assess the correctness of the implementation of the numerical methods within the code, and it is a continuous part of code development. Code verification is typically performed using exact and manufactured solutions. However, exact solutions are often limited, and manufactured solutions generally require the invasive introduction of an artificial forcing term within the source code, such that the code solves a modified problem for which the solution is known. The equations for some physics phenomena, such as non-decomposing ablation, yield infinite analytic solutions, but the boundary conditions may eliminate these possibilities. For such phenomena, however, we can manufacture the terms that comprise the boundary conditions to obtain exact solutions. In this paper, we present a nonintrusive method for manufacturing solutions for non-decomposing ablation in two dimensions, which does not require the addition of a source term.