Fully-discrete provably Lyapunov consistent discretizations for convection-diffusion-reaction PDE systems

Rasha Al Jahdali,David C. Del Rey Fernandez,Lisandro Dalcin,Matteo Parsani
2024-10-15
Abstract:Convection-diffusion-reaction equations are a class of second-order partial differential equations widely used to model phenomena involving the change of concentration/population of one or more substances/species distributed in space. Understanding and preserving their stability properties in numerical simulation is crucial for accurate predictions, system analysis, and decision-making. This work presents a comprehensive framework for constructing fully discrete Lyapunov-consistent discretizations of any order for convection-diffusion-reaction models. We introduce a systematic methodology for constructing discretizations that mimic the stability analysis of the continuous model using Lyapunov's direct method. The spatial algorithms are based on collocated discontinuous Galerkin methods with the summation-by-parts property and the simultaneous approximation terms approach for imposing interface coupling and boundary conditions. Relaxation Runge-Kutta schemes are used to integrate in time and achieve fully discrete Lyapunov consistency. To verify the properties of the new schemes, we numerically solve a system of convection-diffusion-reaction partial differential equations governing the dynamic evolution of monomer and dimer concentrations during the dimerization process. Numerical results demonstrated the accuracy and consistency of the proposed discretizations. The new framework can enable further advancements in the analysis, control, and understanding of general convection-diffusion-reaction systems.
Numerical Analysis,Computational Physics
What problem does this paper attempt to address?
This paper aims to solve the stability problem in the numerical simulation of the convection - diffusion - reaction partial differential equations (PDEs) system. Specifically, the paper proposes a comprehensive framework for constructing fully - discrete Lyapunov uniformly discretized methods of arbitrary orders. These methods can mimic the stability analysis of the continuous model, especially through the Lyapunov direct method. The following are the main objectives and problems solved in the paper: ### Main Problems 1. **Stability Preservation**: How to preserve the stability characteristics of the convection - diffusion - reaction PDE system in numerical simulation to ensure the accuracy of prediction, the analysis of the system, and the effectiveness of decision - making. 2. **Lyapunov Consistency**: How to construct a discretization method so that it also has Lyapunov stability at the discrete level, that is, the discretized system can maintain the same stability characteristics as the continuous model. 3. **High - Order Accuracy**: How to design high - order spatial and temporal discretization methods while ensuring Lyapunov consistency. ### Solutions 1. **Discretization Methods**: - **Spatial Discretization**: Use the discontinuous Galerkin (DG) method based on Legendre - Gauss - Lobatto (LGL) quadrature points and combine it with the summation - by - parts (SBP) property to handle interface coupling and boundary conditions. - **Time Discretization**: Use the relaxation Runge - Kutta (RK) scheme for time integration to achieve fully - discrete Lyapunov consistency. 2. **Theoretical Framework**: - **Lyapunov Direct Method**: Analyze the stability of the system by constructing a Lyapunov function or Lyapunov functional. - **Integral by Parts Formula**: Use the SBP method to simulate the integral by parts formula (integration by parts, IBP) at the discrete level, which is a crucial step in stability analysis. 3. **Verification and Application**: - **Numerical Experiments**: Verify the accuracy and consistency of the proposed discretization method by numerically solving the convection - diffusion - reaction PDE system that describes the dynamic evolution of monomer and dimer concentrations. - **High - Performance Computing Framework**: Implement the algorithm in the SSDC framework to meet the scalability and robustness requirements for complex simulations. ### Key Contributions - **Fully - Discrete Lyapunov Uniformly Discretized Framework**: Provide a systematic method for constructing fully - discrete Lyapunov uniformly discretized methods of arbitrary orders. - **High - Order Accuracy and Stability**: Ensure that the discretization method can maintain Lyapunov stability while maintaining high - order accuracy. - **Wide Applicability**: This framework can be applied to various convection - diffusion - reaction systems, promoting further research and application in related fields. Through these methods and theoretical frameworks, the paper provides a solid theoretical basis and practical tools for the numerical simulation of the convection - diffusion - reaction PDE system, which helps to understand and predict the dynamic behavior of complex systems more accurately.