91 research outputs found
Postprocessed integrators for the high order integration of ergodic SDEs
The concept of effective order is a popular methodology in the deterministic
literature for the construction of efficient and accurate integrators for
differential equations over long times. The idea is to enhance the accuracy of
a numerical method by using an appropriate change of variables called the
processor. We show that this technique can be extended to the stochastic
context for the construction of new high order integrators for the sampling of
the invariant measure of ergodic systems. The approach is illustrated with
modifications of the stochastic -method applied to Brownian dynamics,
where postprocessors achieving order two are introduced. Numerical experiments,
including stiff ergodic systems, illustrate the efficiency and versatility of
the approach.Comment: 21 pages, to appear in SIAM J. Sci. Compu
Strang splitting method for semilinear parabolic problems with inhomogeneous boundary conditions: a correction based on the flow of the nonlinearity
The Strang splitting method, formally of order two, can suffer from order
reduction when applied to semilinear parabolic problems with inhomogeneous
boundary conditions. The recent work [L .Einkemmer and A. Ostermann. Overcoming
order reduction in diffusion-reaction splitting. Part 1. Dirichlet boundary
conditions. SIAM J. Sci. Comput., 37, 2015. Part 2: Oblique boundary
conditions, SIAM J. Sci. Comput., 38, 2016] introduces a modification of the
method to avoid the reduction of order based on the nonlinearity. In this paper
we introduce a new correction constructed directly from the flow of the
nonlinearity and which requires no evaluation of the source term or its
derivatives. The goal is twofold. One, this new modification requires only one
evaluation of the diffusion flow and one evaluation of the source term flow at
each step of the algorithm and it reduces the computational effort to construct
the correction. Second, numerical experiments suggest it is well suited in the
case where the nonlinearity is stiff. We provide a convergence analysis of the
method for a smooth nonlinearity and perform numerical experiments to
illustrate the performances of the new approach.Comment: To appear in SIAM J. Sci. Comput. (2020), 23 page
Exotic aromatic B-series for the study of long time integrators for a class of ergodic SDEs
We introduce a new algebraic framework based on a modification (called
exotic) of aromatic Butcher-series for the systematic study of the accuracy of
numerical integrators for the invariant measure of a class of ergodic
stochastic differential equations (SDEs) with additive noise. The proposed
analysis covers Runge-Kutta type schemes including the cases of partitioned
methods and postprocessed methods. We also show that the introduced exotic
aromatic B-series satisfy an isometric equivariance property.Comment: 33 page
Recommended from our members
Computing the long term evolution of the solar system with geometric numerical integrators
Simulating the dynamics of the Sun–Earth–Moon system with a standard algorithm yields a dramatically wrong solution, predicting that the Moon is ejected from its orbit. In contrast, a well chosen algorithm with the same initial data yields the correct behavior. We explain the main ideas of how the evolution of the solar system can be computed over long times by taking advantage of so-called geometric numerical methods. Short sample codes are provided for the Sun–Earth–Moon system
Asymptotic Preserving numerical schemes for multiscale parabolic problems
We consider a class of multiscale parabolic problems with diffusion
coefficients oscillating in space at a possibly small scale .
Numerical homogenization methods are popular for such problems, because they
capture efficiently the asymptotic behaviour as ,
without using a dramatically fine spatial discretization at the scale of the
fast oscillations. However, known such homogenization schemes are in general
not accurate for both the highly oscillatory regime
and the non oscillatory regime . In this paper, we
introduce an Asymptotic Preserving method based on an exact micro-macro
decomposition of the solution which remains consistent for both regimes.Comment: 7 pages, to appear in C. R. Acad. Sci. Paris; Ser.
Rigid body dynamics
Encyclopedia of Applied and Computational Mathematics, SpringerFull entry in Encyclopedia of Applied and Computational Mathematics, Springe
A priori error estimates for finite element methods with numerical quadrature for nonmonotone nonlinear elliptic problems
The effect of numerical quadrature in finite element methods for solving quasilinear elliptic problems of nonmonotone type is studied. Under similar assumption on the quadrature formula as for linear problems, optimal error estimates in the L 2 and the H 1 norms are proved. The numerical solution obtained from the finite element method with quadrature formula is shown to be unique for a sufficiently fine mesh. The analysis is valid for both simplicial and rectangular finite elements of arbitrary order. Numerical experiments corroborate the theoretical convergence rate
Explicit stabilized integrators for stiff optimal control problems
Explicit stabilized methods are an efficient alternative to implicit schemes
for the time integration of stiff systems of differential equations in large
dimension. In this paper, we derive explicit stabilized integrators of orders
one and two for the optimal control of stiff systems. We analyze their
favorable stability properties based on the continuous optimality conditions.
Furthermore, we study their order of convergence taking advantage of the
symplecticity of the corresponding partitioned Runge-Kutta method involved for
the adjoint equations. Numerical experiments including the optimal control of a
nonlinear diffusion-advection PDE illustrate the efficiency of the new
approach.Comment: 23 page
Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds
We derive a new methodology for the construction of high order integrators
for sampling the invariant measure of ergodic stochastic differential equations
with dynamics constrained on a manifold. We obtain the order conditions for
sampling the invariant measure for a class of Runge-Kutta methods applied to
the constrained overdamped Langevin equation. The analysis is valid for
arbitrarily high order and relies on an extension of the exotic aromatic
Butcher-series formalism. To illustrate the methodology, a method of order two
is introduced, and numerical experiments on the sphere, the torus and the
special linear group confirm the theoretical findings.Comment: 40 page
Algebraic Structures of B-series
B-series are a fundamental tool in practical and theoretical aspects of numerical integrators for ordinary differential equations. A composition law for B-series permits an elegant derivation of order conditions, and a substitution law gives much insight into modified differential equations of backward error analysis. These two laws give rise to algebraic structures (groups and Hopf algebras of trees) that have recently received much attention also in the non-numerical literature. This article emphasizes these algebraic structures and presents interesting relationships among the
- …