Mathematically, the electroneutrality assumption can be considered similar to the continuity condition in fluid flow. While the first principles model is often solved directly, many researchers solve the Pressure-Poisson equation, which requires additional boundary conditions.8 Interestingly, EN for electrochemical systems is approximate, whereas continuity for fluid flow is rigorous. On the other hand, Poisson’s equation is more rigorous than EN for electrochemical systems but is approximate for flow problems. Another subtle mathematical aspect is that the Nernst-Planck-EN (NPEN) equations as originally written are index-2 Differential Algebraic Equation (DAE) for potential, just as the time-dependent Navier Stokes equation is an index-2 DAE for local pressure. There is no explicit occurrence of potential in the NPEN equations, though this may usually be alleviated by eliminating one concentration variable and using that equation for potential, resulting in an index-1 DAE. In contrast, the dynamic PNP equations are an index-1 system. The discussion and controversy related to the choice of appropriate boundary conditions for pressure at the walls is another point of similarity.
This talk will discuss the relevance of EN relative to the PNP and PNPZF models at different length and time scales for four problems of interest – i) The Bazant model system, ii) Lithium deposition in symmetric cells iii) Liquid junction potentials and iv) Parallel plate reactors.4,6,9,10 We will evaluate the effect of simplifying assumptions such as EN and ZF from a simulations perspective. This will be studied in terms of the modification of equation structure and the stiffness avoided or worse, introduced. We will also identify the models more prone to numerical artifacts and discuss the utility of simplifying assumptions in this context. For example, if finite difference methods (as opposed to finite-volume method) do not conserve charge or mass, which approximation is less erroneous? That is, if one cannot resolve the length scales to a given tolerance, which assumption gives more accurate results with a relatively coarse computational grid? We will also attempt to determine the extents of time and length scales that can be resolved with a given numerical method. Equations that will benefit from robust and adaptive time solvers will also be examined. We will present our efforts towards efficient real-time simulation of these models for control, design, and parameter estimation. We will also attempt to derive boundary conditions that are more accurate than ZF and EN but less stiff than the full PNP model, potentially allowing for the use of double layer physics sans the associated computational complexity.
Acknowledgments
The authors acknowledge financial support from the Battery500 Consortium. We acknowledge the influence of seminal works in this field from Prof. John Newman and Prof. Martin Bazant.
References
- J. Newman and K. E. Thomas-Alyea, Electrochemical Systems, 3rd ed., John Wiley and Sons, Inc., Hoboken, New Jersey (2004).
- M. Doyle, T. J. Fuller, and J. Newman, J. Electrochem. Soc., 140, 1526 (1993).
- J. Newman and W. Tiedemann, AIChE J., 21, 25 (1975).
- M. Z. Bazant, K. Thornton, and A. Ajdari, Phys. Rev. E - Stat. Physics, Plasmas, Fluids, Relat. Interdiscip. Top., 70, 24 (2004).
- I. Streeter and R. G. Compton, J. Phys. Chem. C, 112, 13716 (2008).
- D. Britz and J. Strutwolf, Electrochim. Acta, 137, 328 (2014).
- S. Mafe, J. Pellicer, and V. M. Aguilella, J. Phys. Chem., 90, 6045 (1986).
- R. L. Sani, J. Shen, O. Pironneau, and P. M. Gresho, Int. J. Numer. Methods Fluids, 50, 673 (2006).
- K. N. Wood et al., ACS Cent. Sci., 2, 790 (2016).
- R. E. White, J. Electrochem. Soc., 130, 1037 (1983).