Macroscopic Modeling of a One-Dimensional Electrochemical Cell using the Poisson-Nernst-Planck Equations

摘要

This thesis presents the one-dimensional equations, numerical method and simulations of a model to characterize the dynamical operation of an electrochemical cell. This model extends the current state-of-the art in that it accounts, in a primitive way, for the physics of the electrolyte/electrode interface and incorporates diffuse-charge dynamics, temperature coupling, surface coverage, and polarization phenomena. The one-dimensional equations account for a system with one or two mobile ions of opposite charge, and the electrode reaction we consider (when one is needed) is a one-electron electrodeposition reaction. Though the modeled system is far from representing a realistic electrochemical device, our results show a range of dynamics and behaviors which have not been observed previously, and explore the numerical challenges required when adding more complexity to a model. Furthermore, the basic transport equations (which are developed in three spatial dimensions) can in future accomodate the inclusion of additional physics, and coupling to more complex boundary conditions that incorporate two-dimensional surface phenomena and multi-rate reactions.;In the model, the Poisson-Nernst-Planck equations are used to model diffusion and electromigration in an electrolyte, and the generalized Frumkin-Butler-Volmer equation is used to model reaction kinetics at electrodes. An energy balance equation is derived and coupled to the diffusion-migration equation. The model also includes dielectric polarization effects by introducing different values of the dielectric permittivity in different regions of the bulk, as well as accounting for surface coverage effects due to adsorption, and finite size "crowding", or steric effects. Advection effects are not modeled but could in future be incorporated. In order to solve the coupled PDE's, we use a variable step size second order scheme in time and finite differencing in space. Numerical tests are performed on a simplified system and the scheme's stability and convergence properties are discussed. While evaluating different methods for discretizing the coupled flux boundary condition, we discover a thresholding behaviour in the adaptive time stepper, and perform additional tests to investigate it. Finally, a method based on ghost points is chosen for its favorable numerical properties compared to the alternatives. With this method, we are able to run simulations with a large range of parameters, including any value of the nondimensionalized Debye length epsilon.;The numerical code is first used to run simulations to explore the effects of polarization, surface coverage, and temperature. The code is also used to perform frequency sweeps of input signals in order to mimic impedance spectroscopy experiments. Finally, in Chapter 5, we use our model to apply ramped voltages to electrochemical systems, and show theoretical and simulated current-voltage curves for liquid and solid thin films, cells with blocking (polarized) electrodes, and electrolytes with background charge. Linear sweep and cyclic voltammetry techniques are important tools for electrochemists and have a variety of applications in engineering. Voltammetry has classically been treated with the Randles-Sevcik equation, which assumes an electroneutral supported electrolyte. No general theory of linear-sweep voltammetry is available, however, for unsupported electrolytes and for other situations where diffuse charge effects play a role. We show theoretical and simulated current-voltage curves for liquid and solid thin films, cells with blocking electrodes, and membranes with fixed background charge. The analysis focuses on the coupling of Faradaic reactions and diffuse charge dynamics, but capacitive charging of the double layers is also studied, for early time transients at reactive electrodes and for non-reactive blocking electrodes. The final chapter highlights the role of diffuse charge in the context of voltammetry, and illustrates which regimes can be approximated using simple analytical expressions and which require more careful consideration.