-
Adaptive exponential multi-operator splitting for MHD
Authors:
Othmar Koch,
Koray Acar,
Winfried Auzinger,
Friedrich Kupka,
Benedikt Moser
Abstract:
We construct splitting methods for the solution of the equations of magnetohydrodynamics (MHD). Due to the physical significance of the involved operators, splittings into three or even four operators with positive coefficients are appropriate for a physically correct and efficient solution of the equations. To efficiently obtain an accurate solution approximation, adaptive choice of the time-step…
▽ More
We construct splitting methods for the solution of the equations of magnetohydrodynamics (MHD). Due to the physical significance of the involved operators, splittings into three or even four operators with positive coefficients are appropriate for a physically correct and efficient solution of the equations. To efficiently obtain an accurate solution approximation, adaptive choice of the time-steps is important particularly in the light of the unsmooth dynamics of the system. Thus, we construct new method coefficients in conjunction with associated error estimators by optimizing the leading local error term. As a proof of concept, we demonstrate that adaptive splitting faithfully reflects the solution behavior also in the presence of a shock for the viscous Burgers equation, which serves as a simplified model problem displaying several features of the Navier-Stokes equation for incompressible flow.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
Efficient Adaptive Computation of the Dynamics of Mott Transistors
Authors:
Winfried Auzinger,
Lukas Einramhof,
Karsten Held,
Anna Kauch,
Othmar Koch,
Clemens Watzenböck,
Ewa Weinmüller
Abstract:
We investigate time-adaptive Magnus-type integrators for the numerical approximation of a Mott transistor. The rapidly attenuating electromagnetic field calls for adaptive choice of the time steps. As a basis for step selection, asymptotically correct defect-based estimators of the local error are employed. We analyze the error of the numerical approximation in the presence of the unsmooth externa…
▽ More
We investigate time-adaptive Magnus-type integrators for the numerical approximation of a Mott transistor. The rapidly attenuating electromagnetic field calls for adaptive choice of the time steps. As a basis for step selection, asymptotically correct defect-based estimators of the local error are employed. We analyze the error of the numerical approximation in the presence of the unsmooth external potential and demonstrate the advantages of the adaptive approach.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Efficient Magnus-type integrators for solar energy conversion in Hubbard models
Authors:
Winfried Auzinger,
Juliette Dubois,
Karsten Held,
Harald Hofstätter,
Tobias Jawecki,
Anna Kauch,
Othmar Koch,
Karolina Kropielnicka,
Pranav Singh,
Clemens Watzenböck
Abstract:
Strongly interacting electrons in solids are generically described by Hubbardtype models, and the impact of solar light can be modeled by an additional time-dependence. This yields a finite dimensional system of ordinary differential equations (ODE)s of Schrödinger type, which can be solved numerically by exponential time integrators of Magnus type. The efficiency may be enhanced by combining thes…
▽ More
Strongly interacting electrons in solids are generically described by Hubbardtype models, and the impact of solar light can be modeled by an additional time-dependence. This yields a finite dimensional system of ordinary differential equations (ODE)s of Schrödinger type, which can be solved numerically by exponential time integrators of Magnus type. The efficiency may be enhanced by combining these with operator splittings. We will discuss several different approaches of employing exponential-based methods in conjunction with an adaptive Lanczos method for the evaluation of matrix exponentials and compare their accuracy and efficiency. For each integrator, we use defect-based local error estimators to enable adaptive time-step**. This serves to reliably control the approximation error and reduce the computational effort
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
An Algorithm for Computing Coefficients of Words in Expressions Involving Exponentials and its Application to the Construction of Exponential Integrators
Authors:
Harald Hofstätter,
Winfried Auzinger,
Othmar Koch
Abstract:
This paper discusses an efficient implementation of the generation of order conditions for the construction of exponential integrators like exponential splitting and Magnus-type methods in the computer algebra system Maple. At the core of this implementation is a new algorithm for the computation of coefficients of words in the formal expansion of the local error of the integrator. The underlying…
▽ More
This paper discusses an efficient implementation of the generation of order conditions for the construction of exponential integrators like exponential splitting and Magnus-type methods in the computer algebra system Maple. At the core of this implementation is a new algorithm for the computation of coefficients of words in the formal expansion of the local error of the integrator. The underlying theoretical background including an analysis of the structure of the local error is briefly reviewed. As an application the coefficients of all 8th order self-adjoint commutator-free Magnus-type integrators involving the minimum number of 8 exponentials are computed.
△ Less
Submitted 29 November, 2019;
originally announced December 2019.
-
Adaptive Exponential Integrators for MCTDHF
Authors:
Winfried Auzinger,
Alexander Grosz,
Harald Hofstätter,
Othmar Koch
Abstract:
We compare exponential-type integrators for the numerical time-propagation of the equations of motion arising in the multi-configuration time-dependent Hartree-Fock method for the approximation of the high-dimensional multi-particle Schr{ö}dinger equation. We find that among the most widely used integrators like Runge-Kutta, exponential splitting, exponential Runge-Kutta, exponential multistep and…
▽ More
We compare exponential-type integrators for the numerical time-propagation of the equations of motion arising in the multi-configuration time-dependent Hartree-Fock method for the approximation of the high-dimensional multi-particle Schr{ö}dinger equation. We find that among the most widely used integrators like Runge-Kutta, exponential splitting, exponential Runge-Kutta, exponential multistep and Lawson methods, exponential Lawson multistep methods with one predictor/corrector step provide optimal stability and accuracy at the least computational cost, taking into account that the evaluation of the nonlocal potential terms is by far the computationally most expensive part of such a calculation. Moreover, the predictor step provides an estimator for the time-step** error at no additional cost, which enables adaptive time-step** to reliably control the accuracy of a computation.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Non-existence of generalized splitting methods with positive coefficients of order higher than four
Authors:
Winfried Auzinger,
Harald Hofstätter,
Othmar Koch
Abstract:
We prove that generalized exponential splitting methods making explicit use of commutators of the vector fields are limited to order four when only real coefficients are admitted. This generalizes the restriction to order two for classical splitting methods with only positive coefficients.
We prove that generalized exponential splitting methods making explicit use of commutators of the vector fields are limited to order four when only real coefficients are admitted. This generalizes the restriction to order two for classical splitting methods with only positive coefficients.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Time adaptive Zassenhaus splittings for the Schrödinger equation in the semiclassical regime
Authors:
Winfried Auzinger,
Harald Hofstätter,
Othmar Koch,
Karolina Kropielnicka,
Pranav Singh
Abstract:
Time dependent Schrödinger equations with conservative force field U commonly constitute a major challenge in the numerical approximation, especially when they are analysed in the semiclassical regime. Extremely high oscillations originate from the semiclassical parameter, and call for appropriate methods. We propose to employ a combination of asymptotic Zassenhaus splitting with time adaptivity.…
▽ More
Time dependent Schrödinger equations with conservative force field U commonly constitute a major challenge in the numerical approximation, especially when they are analysed in the semiclassical regime. Extremely high oscillations originate from the semiclassical parameter, and call for appropriate methods. We propose to employ a combination of asymptotic Zassenhaus splitting with time adaptivity. While the former turns the disadvantage of the semiclassical parameter into an advantage, leading to highly efficient methods with low error constants, the latter enables to choose an optimal time step and to speed up the calculations when the oscillations subside. We support the results with numerical examples.
△ Less
Submitted 17 February, 2020; v1 submitted 12 February, 2019;
originally announced February 2019.
-
Computable upper error bounds for Krylov approximations to matrix exponentials and associated $\varphi$-functions
Authors:
Tobias Jawecki,
Winfried Auzinger,
Othmar Koch
Abstract:
An a posteriori estimate for the error of a standard Krylov approximation to the matrix exponential is derived. The estimate is based on the defect (residual) of the Krylov approximation and is proven to constitute a rigorous upper bound on the error, in contrast to existing asymptotical approximations. It can be computed economically in the underlying Krylov space. In view of time-step** applic…
▽ More
An a posteriori estimate for the error of a standard Krylov approximation to the matrix exponential is derived. The estimate is based on the defect (residual) of the Krylov approximation and is proven to constitute a rigorous upper bound on the error, in contrast to existing asymptotical approximations. It can be computed economically in the underlying Krylov space. In view of time-step** applications, assuming that the given matrix is scaled by a time step, it is shown that the bound is asymptotically correct (with an order related to the dimension of the Krylov space) for the time step tending to zero. This means that the deviation of the error estimate from the true error tends to zero faster than the error itself. Furthermore, this result is extended to Krylov approximations of $\varphi$-functions and to improved versions of such approximations. The accuracy of the derived bounds is demonstrated by examples and compared with different variants known from the literature, which are also investigated more closely. Alternative error bounds are tested on examples, in particular a version based on the concept of effective order. For the case where the matrix exponential is used in time integration algorithms, a step size selection strategy is proposed and illustrated by experiments.
△ Less
Submitted 11 February, 2019; v1 submitted 10 September, 2018;
originally announced September 2018.
-
Symmetrized local error estimators for time-reversible one-step methods in nonlinear evolution equations
Authors:
Winfried Auzinger,
Harald Hofstätter,
Othmar Koch
Abstract:
Prior work on computable defect-based local error estimators for (linear) time-reversible integrators is extended to nonlinear and nonautonomous evolution equations. We prove that the asymptotic results from the linear case [W. Auzinger and O. Koch, An improved local error estimator for symmetric time-step** schemes, Appl.Math.Lett. 82 (2018), pp. 106-110] remain valid, i.e., the modified estima…
▽ More
Prior work on computable defect-based local error estimators for (linear) time-reversible integrators is extended to nonlinear and nonautonomous evolution equations. We prove that the asymptotic results from the linear case [W. Auzinger and O. Koch, An improved local error estimator for symmetric time-step** schemes, Appl.Math.Lett. 82 (2018), pp. 106-110] remain valid, i.e., the modified estimators yield an improved asymptotic order as the step size goes to zero. Typically, the computational effort is only slightly higher than for conventional defect-based estimators, and it may even be lower in some cases. We illustrate this by some examples and present numerical results for evolution equations of Schrödinger type, solved by either time-splitting or Magnus-type integrators. Finally, we demonstrate that adaptive time-step** schemes can be successfully based on our local error estimators.
△ Less
Submitted 2 January, 2019; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators
Authors:
Winfried Auzinger,
Harald Hofstaetter,
Othmar Koch
Abstract:
We describe a package realized in the Julia programming language which performs symbolic manipulations applied to nonlinear evolution equations, their flows, and commutators of such objects. This tool was employed to perform contrived computations arising in the analysis of the local error of operator splitting methods. It enabled the proof of the convergence of the basic method and of the asympto…
▽ More
We describe a package realized in the Julia programming language which performs symbolic manipulations applied to nonlinear evolution equations, their flows, and commutators of such objects. This tool was employed to perform contrived computations arising in the analysis of the local error of operator splitting methods. It enabled the proof of the convergence of the basic method and of the asymptotical correctness of a defect-based error estimator. The performance of our package is illustrated on several examples.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Setup of Order Conditions for Splitting Methods
Authors:
Winfried Auzinger,
Wolfgang Herfort,
Harald Hofstätter,
Othmar Koch
Abstract:
This article is based on earlier papers where an approach based on Taylor expansion and the structure of its leading term as an element of a free Lie algebra was described for the setup of a system of order conditions for operator splitting methods. Along with a brief review of these materials and some theoretical background, we discuss the implementation of the ideas from these papers in computer…
▽ More
This article is based on earlier papers where an approach based on Taylor expansion and the structure of its leading term as an element of a free Lie algebra was described for the setup of a system of order conditions for operator splitting methods. Along with a brief review of these materials and some theoretical background, we discuss the implementation of the ideas from these papers in computer algebra, in particular using Maple 18. A parallel version of such a code is described.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Convergence of a Strang splitting finite element discretization for the Schrödinger-Poisson equation
Authors:
Winfried Auzinger,
Thomas Kassebacher,
Othmar Koch,
Mechthild Thalhammer
Abstract:
Operator splitting methods combined with finite element spatial discretizations are studied for time-dependent nonlinear Schrödinger equations. In particular, the Schrödinger-Poisson equation under homogeneous Dirichlet boundary conditions on a finite domain is considered. A rigorous stability and error analysis is carried out for the second-order Strang splitting method and conforming polynomial…
▽ More
Operator splitting methods combined with finite element spatial discretizations are studied for time-dependent nonlinear Schrödinger equations. In particular, the Schrödinger-Poisson equation under homogeneous Dirichlet boundary conditions on a finite domain is considered. A rigorous stability and error analysis is carried out for the second-order Strang splitting method and conforming polynomial finite element discretizations. For sufficiently regular solutions the classical orders of convergence are retained, that is, second-order convergence in time and polynomial convergence in space is proven. The established convergence result is confirmed and complemented by numerical illustrations.
△ Less
Submitted 21 December, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Adaptive splitting methods for nonlinear Schrödinger equations in the semiclassical regime
Authors:
Winfried Auzinger,
Thomas Kassebacher,
Othmar Koch,
Mechthild Thalhammer
Abstract:
The error behavior of exponential operator splitting methods for nonlinear Schr{ö}dinger equations in the semiclassical regime is studied. For the Lie and Strang splitting methods, the exact form of the local error is determined and the dependence on the semiclassical parameter is identified. This is enabled within a defect-based framework which also suggests asymptotically correct a~posteriori lo…
▽ More
The error behavior of exponential operator splitting methods for nonlinear Schr{ö}dinger equations in the semiclassical regime is studied. For the Lie and Strang splitting methods, the exact form of the local error is determined and the dependence on the semiclassical parameter is identified. This is enabled within a defect-based framework which also suggests asymptotically correct a~posteriori local error estimators as the basis for adaptive time stepsize selection. Numerical examples substantiate and complement the theoretical investigations.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Adaptive high-order splitting methods for systems of nonlinear evolution equations with periodic boundary conditions
Authors:
Winfried Auzinger,
Othmar Koch,
Michael Quell
Abstract:
We assess the applicability and efficiency of time-adaptive high-order splitting methods applied for the numerical solution of (systems of) nonlinear parabolic problems under periodic boundary conditions. We discuss in particular several applications generating intricate patterns and displaying nonsmooth solution dynamics. First we give a general error analysis for splitting methods for parabolic…
▽ More
We assess the applicability and efficiency of time-adaptive high-order splitting methods applied for the numerical solution of (systems of) nonlinear parabolic problems under periodic boundary conditions. We discuss in particular several applications generating intricate patterns and displaying nonsmooth solution dynamics. First we give a general error analysis for splitting methods for parabolic problems under periodic boundary conditions and derive the necessary smoothness requirements on the exact solution in particular for the Gray-Scott equation and the Van der Pol equation. Numerical examples demonstrate the convergence of the methods and serve to compare the efficiency of different time-adaptive splitting schemes and of splitting into either two or three operators, based on appropriately constructed a posteriori local error estimators.
△ Less
Submitted 7 September, 2016; v1 submitted 5 April, 2016;
originally announced April 2016.
-
The BCH-Formula and Order Conditions for Splitting Methods
Authors:
Winfried Auzinger,
Wolfgang Herfort,
Othmar Koch,
Mechthild Thalhammer
Abstract:
As an application of the BCH-formula, order conditions for splitting schemes are derived. The same conditions can be obtained by using non-commutative power series techniques and inspecting the coefficients of Lyndon-Shirshov words.
As an application of the BCH-formula, order conditions for splitting schemes are derived. The same conditions can be obtained by using non-commutative power series techniques and inspecting the coefficients of Lyndon-Shirshov words.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
-
Practical splitting methods for the adaptive integration of nonlinear evolution equations. Part I: Construction of optimized schemes and pairs of schemes
Authors:
Winfried Auzinger,
Harald Hofstätter,
David Ketcheson,
Othmar Koch
Abstract:
We present a number of new contributions to the topic of constructing efficient higher-order splitting methods for the numerical integration of evolution equations. Particular schemes are constructed via setup and solution of polynomial systems for the splitting coefficients. To this end we use and modify a recent approach for generating these systems for a large class of splittings. In particular…
▽ More
We present a number of new contributions to the topic of constructing efficient higher-order splitting methods for the numerical integration of evolution equations. Particular schemes are constructed via setup and solution of polynomial systems for the splitting coefficients. To this end we use and modify a recent approach for generating these systems for a large class of splittings. In particular, various types of pairs of schemes intended for use in adaptive integrators are constructed.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
-
Fast stray field computation on tensor grids
Authors:
Lukas Exl,
Winfried Auzinger,
Simon Bance,
Markus Gusenbauer,
Franz Reichel,
Thomas Schrefl
Abstract:
A direct integration algorithm is described to compute the magnetostatic field and energy for given magnetization distributions on not necessarily uniform tensor grids. We use an analytically-based tensor approximation approach for function-related tensors, which reduces calculations to multilinear algebra operations. The algorithm scales with N^(4/3) for N computational cells used and with N^(2/3…
▽ More
A direct integration algorithm is described to compute the magnetostatic field and energy for given magnetization distributions on not necessarily uniform tensor grids. We use an analytically-based tensor approximation approach for function-related tensors, which reduces calculations to multilinear algebra operations. The algorithm scales with N^(4/3) for N computational cells used and with N^(2/3) (sublinear) when magnetization is given in canonical tensor format. In the final section we confirm our theoretical results concerning computing times and accuracy by means of numerical examples.
△ Less
Submitted 30 September, 2011; v1 submitted 27 September, 2011;
originally announced September 2011.