In this paper, combining the ideas of exponential integrators and discrete gradients, we propose and analyze a new structure-preserving exponential scheme for the conservative or dissipative system $\dot{y} = Q(M y + \nabla U (y))$, where $Q$ is a $d\times d$ skew-symmetric or negative semidefinite real matrix, $M$ is a $d\times d$ symmetric real matrix, and $U : \mathbb{R}^d\rightarrow\mathbb{R}$ is a differentiable function. We present two properties of the new scheme. The paper is accompanied by numerical results that demonstrate the remarkable superiority of our new scheme in comparison with other structure-preserving schemes in the scientific literature.
We present a new linearly implicit exponential integrator that preserves the polynomial first integrals or Lyapunov functions for the conservative and dissipative stiff equations, respectively. The method is tested by both oscillated ordinary differential equations and partial differential equations, e.g., an averaged system in wind-induced oscillation, the Fermi-Pasta-Ulam systems, and the polynomial pendulum oscillators. The numerical simulations confirm the conservative properties of the proposed method and demonstrate its good behavior in superior running speed when compared with fully imp…
Conservative symmetric second-order one-step schemes are derived for dynamical systems describing various many-body systems using the Discrete Multiplier Method. This includes conservative schemes for the $n$-species Lotka-Volterra system, the $n$-body problem with radially symmetric potential and the $n$-point vortex models in the plane and on the sphere. In particular, we recover Greenspan-Labudde's conservative schemes for the $n$-body problem. Numerical experiments are shown verifying the conservative property of the schemes and second-order accuracy.
In this paper, we develop efficient and accurate evaluation for the Lyapunov operator function $φ_l(\mathcal{L}_A)[Q],$ where $φ_l(\cdot)$ is the function related to the exponential, $\mathcal{L}_A$ is a Lyapunov operator and $Q$ is a symmetric and full-rank matrix. An important application of the algorithm is to the matrix-valued exponential integrators for matrix differential equations such as differential Lyapunov equations and differential Riccati equations. The method is exploited by using the modified scaling and squaring procedure combined with the truncated Taylor series. A quasi-backw…
We present a family of multistep integrators based on the Adams-Bashforth methods. These schemes can be constructed for arbitrary convergence order with arbitrary step size variation. The step size can differ between different subdomains of the system. It can also change with time within a given subdomain. The methods are linearly conservative, preserving a wide class of analytically constant quantities to numerical roundoff, even when numerical truncation error is significantly higher. These methods are intended for use in solving conservative PDEs in discontinuous Galerkin formulations or in…
Conservative symmetric second-order one-step integrators are derived using the Discrete Multiplier Method for a family of vortex-blob models approximating the incompressible Euler's equations on the plane. Conservative properties and second order convergence are proved. A rational function approximation was used to approximate the exponential integral that appears in the Hamiltonian. Numerical experiments are shown to verify the conservative property of these integrators, their second-order accuracy, and as well as the resulting spatial and temporal accuracy of the vortex blob method. Moreover…
We introduce conservative integrators for long term integration of piecewise smooth systems with transversal dynamics and piecewise smooth conserved quantities. In essence, for a piecewise dynamical system with piecewise defined conserved quantities such that its trajectories cross transversally to its interface, we combine Mannshardt's transition scheme and the Discrete Multiplier Method to obtain conservative integrators capable of preserving conserved quantities up to machine precision and accuracy order. We prove that the order of accuracy of the conservative integrators is preserved after…
Since almost twenty years, modified Patankar--Runge--Kutta (MPRK) methods have proven to be efficient and robust numerical schemes that preserve positivity and conservativity of the production-destruction system irrespectively of the time step size chosen. Due to these advantageous properties they are used for a wide variety of applications. Nevertheless, until now, an analytic investigation of the stability of MPRK schemes is still missing, since the usual approach by means of Dahlquist's equation is not feasible. Therefore, we consider a positive and conservative 2D test problem and provide …
We propose a numerical scheme for the time-integration of nonholonomic mechanical systems, both conservative and nonconservative. The scheme is obtained by simultaneously discretizing the constraint equations and the Herglotz variational principle. We validate the method using numerical simulations and contrast them against the results of standard methods from the literature.
In this paper, we generalize the exponential energy-preserving integrator proposed in the recent paper [SIAM J. Sci. Comput. 38(2016) A1876-A1895] for conservative systems, which now becomes linearly implicit by further utilizing the idea of the scalar auxiliary variable approach. Comparing with the original exponential energy-preserving integrator which usually leads to a nonlinear algebraic system, our new method only involve a linear system with constant coefficient matrix. Taking the nonlinear Klein-Gordon equation for example, we derive the concrete energy-preserving scheme and demonstrat…
In this paper, we present a novel investigation of the so-called SAV approach, which is a framework to construct linearly implicit geometric numerical integrators for partial differential equations with variational structure. SAV approach was originally proposed for the gradient flows that have lower-bounded nonlinear potentials such as the Allen-Cahn and Cahn-Hilliard equations, and this assumption on the energy was essential. In this paper, we propose a novel approach to address gradient flows with unbounded energy such as the KdV equation by a decomposition of energy functionals. Further, w…
We show that the exact integrator for the classical Kepler motion, recently found by Kozlov ({\it J. Phys. A: Math. Theor.\} {\bf 40} (2007) 4529-4539), can be derived in a simple natural way (using well known exact discretization of the harmonic oscillator). We also turn attention on important earlier references, where the exact discretization of the 4-dimensional isotropic harmonic oscillator has been applied to the perturbed Kepler problem.
In this paper, we present two Hermite polynomial based approaches to derive one-step numerical integrators for mechanical systems. These methods are based on discretizing the configuration using Hermite polynomials which leads to numerical trajectories continuous in both configuration and velocity. First, we incorporate Hermite polynomials for time-discretization and derive one-step variational methods by discretizing the Lagrange-d'Alembert principle over a single time step. Second, we present the Galerkin approach to derive one-step numerical integrators by setting the weighted average of th…
An explicit numerical strategy that practically preserves invariants is derived for conservative systems by combining an explicit high-order Runge-Kutta (RK) scheme with a simple modification of the standard projection approach, which is named the explicit invariants-preserving (EIP) method. The proposed approach is shown to have the same order as the underlying RK method, while the error of invariants is analyzed in the order of $\mathcal{O}\left(h^{2(p+1)}\right),$ where $h$ is the time step and $p$ represents the order of the method. When $p$ is appropriately large, the EIP method is practi…
Based on the generalized Cayley transform, a family of conservative one-step schemes of the sixth order of accuracy for the Zakharov-Shabat system is constructed. The exponential integrator is a special case. Schemes based on rational approximation allow the use of fast algorithms to solve the initial problem for a large number of values of the spectral parameter.
Modified Patankar (MP) schemes are conservative, linear implicit and unconditionally positivity preserving time-integration schemes constructed for production-destruction systems. For such schemes, a classical stability analysis does not yield any information about the performance. Recently, two different techniques have been proposed to investigate the properties of MP schemes. In Izgin et al. [ESAIM: M2AN, 56 (2022)], inspired from dynamical systems, the Lyapunov stability properties of such schemes have been investigated, while in Torlo et al. [Appl. Numer. Math., 182 (2022)] their oscillat…
In this paper, we propose a semi-Lagrangian discontinuous Galerkin method coupled with Runge-Kutta exponential integrators (SLDG-RKEI) for nonlinear Vlasov dynamics. The commutator-free Runge-Kutta (RK) exponential integrators (EI) were proposed by Celledoni, et al. (FGCS, 2003). In the nonlinear transport setting, the RKEI can be used to decompose the evolution of the nonlinear transport into a composition of a sequence of linearized dynamics. The resulting linearized transport equations can be solved by the semi-Lagrangian (SL) discontinuous Galerkin (DG) method proposed in Cai, et al. (JSC,…
