1: \begin{abstract}
2: %%
3: We present a novel computational framework for diffusive-reactive
4: systems that satisfies the non-negative constraint and maximum
5: principles on general computational grids. The governing equations
6: for the concentration of reactants and product are written in terms
7: of tensorial diffusion-reaction equations.
8: %
9: We restrict our studies to fast irreversible bimolecular reactions.
10: If one assumes that the reaction is diffusion-limited and all
11: chemical species have the same diffusion coefficient, one
12: can employ a linear transformation to rewrite the governing
13: equations in terms of \emph{invariants}, which are unaffected
14: by the reaction. This results in two uncoupled tensorial diffusion
15: equations in terms of these invariants, which are solved using a
16: novel non-negative solver for tensorial diffusion-type equations.
17: The concentrations of the reactants and the product are then
18: calculated from invariants using algebraic manipulations. The
19: novel aspect of the proposed computational framework is that
20: it will always produce physically meaningful non-negative
21: values for the concentrations of all chemical species.
22: %
23: Several representative numerical examples are presented to
24: illustrate the robustness, convergence, and the numerical
25: performance of the proposed computational framework. We
26: will also compare the proposed framework with other popular
27: formulations. In particular, we will show that the Galerkin
28: formulation (which is the standard single-field formulation)
29: does not produce reliable solutions, and the reason can be
30: attributed to the fact that the single-field formulation does
31: not guarantee non-negative solutions. We will also show
32: that the clipping procedure (which produces non-negative
33: solutions but is considered as a variational crime) does not
34: give accurate results when compared with the proposed
35: computational framework.
36: %%
37: \end{abstract}
38: