arXiv subjects

Alexander Ostermann

Publications and source records attributed to Alexander Ostermann.

At least 55 records · Page 3Linked to original sources

arXiv2019

A splitting/polynomial chaos expansion approach for stochastic evolution equations

In this paper, we combine deterministic splitting methods with a polynomial chaos expansion method for solving stochastic parabolic evolution problems. The stochastic differential equation is reduced to a system of deterministic equations that we solve explicitly by splitting methods. The method can be applied to a wide class of problems where the related stochastic processes are given uniquely in terms of stochastic polynomials. A comprehensive convergence analysis is provided and numerical experiments validate our approach.

math.NA↗

arXiv2019

A Lawson-type exponential integrator for the Korteweg-de Vries equation

We propose an explicit numerical method for the periodic Korteweg-de Vries equation. Our method is based on a Lawson-type exponential integrator for time integration and the Rusanov scheme for Burgers' nonlinearity. We prove first-order convergence in both space and time under a mild Courant-Friedrichs-Lewy condition $τ=O(h)$, where $τ$ and $h$ represent the time step and mesh size, respectively. Numerical examples illustrating our convergence result are given.

math.NA↗

arXiv2019

Two exponential-type integrators for the "good" Boussinesq equation

We introduce two exponential-type integrators for the "good" Bousinessq equation. They are of orders one and two, respectively, and they require lower regularity of the solution compared to the classical exponential integrators. More precisely, we will prove first-order convergence in Hrfor solutions in H^{r+1} with r > 1/2 for the derived first-order scheme. For the second integrator, we prove second-order convergence in Hrfor solutions in H^{r+3} with r > 1/2 and convergence in L2for solutions in H^3. Numerical results are reported to illustrate the established error estimates. The experiments clearly demonstrate that the new exponential-type integrators are favorable over classical exponential integrators for initial data with low regularity.

math.NA↗

arXiv2019

Error estimates of a Fourier integrator for the cubic Schrödinger equation at low regularity

We present a new filtered low-regularity Fourier integrator for the cubic nonlinear Schrödinger equation based on recent time discretization and filtering techniques. For this new scheme, we perform a rigorous error analysis and establish better convergence rates at low regularity than known for classical schemes in the literature so far. In our error estimates, we combine the better local error properties of the new scheme with a stability analysis based on general discrete Strichartz-type estimates. The latter allow us to handle a much rougher class of solutions as the error analysis can be carried out directly at the level of $L^2$ compared to classical results \black in dimension $d$, \black which are limited to higher-order (sufficiently smooth) Sobolev spaces $H^s$ with $s>d/2$. In particular, we are able to establish a global error estimate in $L^2$ for $H^1$ solutions which is roughly of order $τ^{ {1\over 2} + { 5-d \over 12} }$ in dimension $d \leq 3$ ($τ$ denoting the time discretization parameter). This breaks the "natural order barrier" of $τ^{1/2}$ for $H^1$ solutions which holds for classical numerical schemes (even in combination with suitable filter functions).

math.NA↗

arXiv2018

On the convergence of Lawson methods for semilinear stiff problems

Since their introduction in 1967, Lawson methods have achieved constant interest in the time discretization of evolution equations. The methods were originally devised for the numerical solution of stiff differential equations. Meanwhile, they constitute a well-established class of exponential integrators. The popularity of Lawson methods is in some contrast to the fact that they may have a bad convergence behaviour, since they do not satisfy any of the stiff order conditions. The aim of this paper is to explain this discrepancy. It is shown that non-stiff order conditions together with appropriate regularity assumptions imply high-order convergence of Lawson methods. Note, however, that the term regularity here includes the behaviour of the solution at the boundary. For instance, Lawson methods will behave well in the case of periodic boundary conditions, but they will show a dramatic order reduction for, e.g., Dirichlet boundary conditions. The precise regularity assumptions required for high-order convergence are worked out in this paper and related to the corresponding assumptions for splitting schemes. In contrast to previous work, the analysis is based on expansions of the exact and the numerical solution along the flow of the homogeneous problem. Numerical examples for the Schrödinger equation are included.

math.NA↗

arXiv2018

A comparison of boundary correction methods for Strang splitting

In this paper we consider splitting methods in the presence of non-homogeneous boundary conditions. In particular, we consider the corrections that have been described and analyzed in Einkemmer, Ostermann 2015 and Alonso-Mallo, Cano, Reguera 2016. The latter method is extended to the non-linear case, and a rigorous convergence analysis is provided. We perform numerical simulations for diffusion-reaction, advection-reaction, and dispersion-reaction equations in order to evaluate the relative performance of these two corrections. Furthermore, we introduce an extension of both methods to obtain order three locally and evaluate under what circumstances this is beneficial.

math.NA↗

arXiv2018

A split step Fourier/discontinuous Galerkin scheme for the Kadomtsev--Petviashvili equation

In this paper we propose a method to solve the Kadomtsev--Petviashvili equation based on splitting the linear part of the equation from the nonlinear part. The linear part is treated using FFTs, while the nonlinear part is approximated using a semi-Lagrangian discontinuous Galerkin approach of arbitrary order. We demonstrate the efficiency and accuracy of the numerical method by providing a range of numerical simulations. In particular, we find that our approach can outperform the numerical methods considered in the literature by up to a factor of five. Although we focus on the Kadomtsev--Petviashvili equation in this paper, the proposed numerical scheme can be extended to a range of related models as well.

math.NA↗

arXiv2018

Numerical low-rank approximation of matrix differential equations

The efficient numerical integration of large-scale matrix differential equations is a topical problem in numerical analysis and of great importance in many applications. Standard numerical methods applied to such problems require an unduly amount of computing time and memory, in general. Based on a dynamical low-rank approximation of the solution, a new splitting integrator is proposed for a quite general class of stiff matrix differential equations. This class comprises differential Lyapunov and differential Riccati equations that arise from spatial discretizations of partial differential equations. The proposed integrator handles stiffness in an efficient way, and it preserves the symmetry and positive semidefiniteness of solutions of differential Lyapunov equations. Numerical examples that illustrate the benefits of this new method are given. In particular, numerical results for the efficient simulation of the weather phenomenon El Niño are presented.

math.NA↗

arXiv2017

Efficient boundary corrected Strang splitting

Strang splitting is a well established tool for the numerical integration of evolution equations. It allows the application of tailored integrators for different parts of the vector field. However, it is also prone to order reduction in the case of non-trivial boundary conditions. This order reduction can be remedied by correcting the boundary values of the intermediate splitting step. In this paper, three different approaches for constructing such a correction in the case of inhomogeneous Dirichlet, Neumann, and mixed boundary conditions are presented. Numerical examples that illustrate the effectivity and benefits of these corrections are included.

math.NA↗

arXiv2017

Low regularity exponential-type integrators for semilinear Schrödinger equations

We introduce low regularity exponential-type integrators for nonlinear Schrödinger equations for which first-order convergence only requires the boundedness of one additional derivative of the solution. More precisely, we will prove first-order convergence in $H^r$ for solutions in $H^{r+1}$ ($r>d/2$) of the derived schemes. This allows us lower regularity assumptions on the data in the energy space than for instance required for classical splitting or exponential integration schemes. For one dimensional quadratic Schrödinger equations we can even prove first-order convergence without any loss of regularity. Numerical experiments underline the favorable error behavior of the newly introduced exponential-type integrators for low regularity solutions compared to classical splitting and exponential integration schemes.

math.NA↗

arXiv2016

Evaluation of the Partitioned Global Address Space (PGAS) model for an inviscid Euler solver

In this paper we evaluate the performance of Unified Parallel C (which implements the partitioned global address space programming model) using a numerical method that is widely used in fluid dynamics. In order to evaluate the incremental approach to parallelization (which is possible with UPC) and its performance characteristics, we implement different levels of optimization of the UPC code and compare it with an MPI parallelization on four different clusters of the Austrian HPC infrastructure (LEO3, LEO3E, VSC2, VSC3) and on an Intel Xeon Phi. We find that UPC is significantly easier to develop in compared to MPI and that the performance achieved is comparable to MPI in most situations. The obtained results show worse performance (on VSC2), competitive performance (on LEO3, LEO3E and VSC3), and superior performance (on the Intel Xeon Phi).

cs.DC↗

arXiv2016

ADI type preconditioners for the steady state inhomogeneous Vlasov equation

The purpose of the current work is to find numerical solutions of the steady state inhomogeneous Vlasov equation. This problem has a wide range of applications in the kinetic simulation of non-thermal plasmas. However, the direct application of either time stepping schemes or iterative methods (such as Krylov based methods like GMRES or relexation schemes) is computationally expensive. In the former case the slowest timescale in the system forces us to perform a long time integration while in the latter case a large number of iterations is required. In this paper we propose a preconditioner based on an ADI type splitting method. This preconditioner is then combined with both GMRES and Richardson iteration. The resulting numerical schemes scale almost ideally (i.e. the computational effort is proportional to the number of grid points). Numerical simulations conducted show that this can result in a speedup of close to two orders of magnitude (even for intermediate grid sizes) with respect to the not preconditioned case. In addition, we discuss the characteristics of these numerical methods and show the results for a number of numerical simulations.

physics.comp-ph↗

arXiv2016

Splitting methods for constrained diffusion-reaction systems

We consider Lie and Strang splitting for the time integration of constrained partial differential equations with a nonlinear reaction term. Since such systems are known to be sensitive with respect to perturbations, the splitting procedure seems promising as we can treat the nonlinearity separately. This has some computational advantages, since we only have to solve a linear constrained system and a nonlinear ODE. However, Strang splitting suffers from order reduction which limits its efficiency. This is caused by the fact that the nonlinear subsystem produces inconsistent initial values for the constrained subsystem. The incorporation of an additional correction term resolves this problem without increasing the computational cost. Numerical examples including a coupled mechanical system illustrate the proven convergence results.

math.NA↗

arXiv2016

A splitting approach for the magnetic Schrödinger equation

The Schrödinger equation in the presence of an external electromagnetic field is an important problem in computational quantum mechanics. It also provides a nice example of a differential equation whose flow can be split with benefit into three parts. After presenting a splitting approach for three operators with two of them being unbounded, we exemplarily prove first-order convergence of Lie splitting in this framework. The result is then applied to the magnetic Schrödinger equation, which is split into its potential, kinetic and advective parts. The latter requires special treatment in order not to lose the conservation properties of the scheme. We discuss several options. Numerical examples in one, two and three space dimensions show that the method of characteristics coupled with a nonequispaced fast Fourier transform (NFFT) provides a fast and reliable technique for achieving mass conservation at the discrete level.

math.NA↗

arXiv2016

The Leja method revisited: backward error analysis for the matrix exponential

The Leja method is a polynomial interpolation procedure that can be used to compute matrix functions. In particular, computing the action of the matrix exponential on a given vector is a typical application. This quantity is required, e.g., in exponential integrators. The Leja method essentially depends on three parameters: the scaling parameter, the location of the interpolation points, and the degree of interpolation. We present here a backward error analysis that allows us to determine these three parameters as a function of the prescribed accuracy. Additional aspects that are required for an efficient and reliable implementation are discussed. Numerical examples that illustrate the performance of our Matlab code are included.

math.NA↗

arXiv2016

Overcoming order reduction in diffusion-reaction splitting. Part 2: oblique boundary conditions

Splitting methods constitute a well-established class of numerical schemes for the time integration of partial differential equations. Their main advantages over more traditional schemes are computational efficiency and superior geometric properties. In the presence of non-trivial boundary conditions, however, splitting methods usually suffer from order reduction and some additional loss of accuracy. For diffusion-reaction equations with inhomogeneous oblique boundary conditions, a modification of the classic second-order Strang splitting is proposed that successfully resolves the problem of order reduction. The same correction also improves the accuracy of the classic first-order Lie splitting. The proposed modification only depends on the available boundary data and, in the case of non Dirichlet boundary conditions, on the computed numerical solution. Consequently, this modification can be implemented in an efficient way, which makes the modified splitting schemes superior to their classic versions. The framework employed in our error analysis also allows us to explain the fractional orders of convergence that are often encountered for classic Strang splitting. Numerical experiments that illustrate the theory are provided.

math.NA↗

arXiv2015

Splitting methods for time integration of trajectories in combined electric and magnetic fields

The equations of motion of a single particle subject to an arbitrary electric and a static magnetic field form a Poisson system. We present a second-order time integration method which preserves well the Poisson structure and compare it to commonly used algorithms, such as the Boris scheme. All the methods are represented in a general framework of splitting methods. We use the so-called $ϕ$ functions, which give efficient ways for both analyzing and implementing the algorithms. Numerical experiments show an excellent long term stability for the new method considered.

math.NA↗

arXiv2015

A splitting approach for the Kadomtsev--Petviashvili equation

We consider a splitting approach for the Kadomtsev--Petviashvili equation with periodic boundary conditions and show that the necessary interpolation procedure can be efficiently implemented. The error made by this numerical scheme is compared to exponential integrators which have been shown in Klein and Roidot (SIAM J. Sci. Comput., 2011) to perform best for stiff solutions of the Kadomtsev--Petviashvili equation. Since many classic high order splitting methods do not perform well, we propose a stable extrapolation method in order to construct an efficient numerical scheme of order four. In addition, the conservation properties and the possibility of order reduction for certain initial values for the numerical schemes under consideration is investigated.

physics.comp-ph↗