arXiv subjects

Mike A. Botchev

Publications and source records attributed to Mike A. Botchev.

6 recordsLinked to original sources

arXiv2025

Explicit adaptive time stepping for the Cahn-Hilliard equation by exponential Krylov subspace and Chebyshev polynomial methods

The Cahn-Hilliard equation has been widely employed within various mathematical models in physics, chemistry and engineering. Explicit stabilized time stepping methods can be attractive for time integration of the Cahn-Hilliard equation, especially on parallel and hybrid supercomputers. In this paper, we propose an exponential time integration method for the Cahn-Hilliard equation and describe its efficient Krylov subspace based implementation. We compare the method to a Chebyshev polynomial local iteration modified (LIM) time stepping scheme. Both methods are explicit (i.e., do not involve linear system solution) and tested with both constant and adaptively chosen time steps.

math.NA↗

arXiv2023

On convergence of waveform relaxation for nonlinear systems of ordinary differential equations

To integrate large systems of nonlinear differential equations in time, we consider a variant of nonlinear waveform relaxation (also known as dynamic iteration or Picard-Lindel\"of iteration), where at each iteration a linear inhomogeneous system of differential equations has to be solved. This is done by the exponential block Krylov subspace (EBK) method. Thus, we have an inner-outer iterative method, where iterative approximations are determined over a certain time interval, with no time stepping involved. This approach has recently been shown to be efficient as a time-parallel integrator within the PARAEXP framework. In this paper, convergence behavior of this method is assessed theoretically and practically. We examine efficiency of the method by testing it on nonlinear Burgers, three-dimensional Liouville-Bratu-Gelfand, and three-dimensional nonlinear heat conduction equations and comparing its performance with that of conventional time-stepping integrators.

math.NA↗

arXiv2021

Coarse grid corrections in Krylov subspace evaluations of the matrix exponential

A coarse grid correction (CGC) approach is proposed to enhance the efficiency of the matrix exponential and $\varphi$ matrix function evaluations. The approach is intended for iterative methods computing the matrix-vector products with these functions. It is based on splitting the vector by which the matrix function is multiplied into a smooth part and a remaining part. The smooth part is then handled on a coarser grid, whereas the computations on the original grid are carried out with a relaxed stopping criterion tolerance. Estimates on the error are derived for the two-grid and multigrid variants of the proposed CGC algorithm. Numerical experiments demonstrate the efficiency of the algorithm, when employed in combination with Krylov subspace and Chebyshev polynomial expansion methods.

math.NA↗

arXiv2020

A residual concept for Krylov subspace evaluation of the $φ$ matrix function

An efficient Krylov subspace algorithm for computing actions of the $φ$ matrix function for large matrices is proposed. This matrix function is widely used in exponential time integration, Markov chains and network analysis and many other applications. Our algorithm is based on a reliable residual based stopping criterion and a new efficient restarting procedure. For matrices with numerical range in the stable complex half plane, we analyze residual convergence and prove that the restarted method is guaranteed to converge for any Krylov subspace dimension. Numerical tests demonstrate efficiency of our approach for solving large scale evolution problems resulting from discretized in space time-dependent PDEs, in particular, diffusion and convection-diffusion problems.

math.NA↗

arXiv2019

A nested Schur complement solver with mesh-independent convergence for the time domain photonics modeling

A nested Schur complement solver is proposed for iterative solution of linear systems arising in exponential and implicit time integration of the Maxwell equations with perfectly matched layer (PML) nonreflecting boundary conditions. These linear systems are the so-called double saddle point systems whose structure is handled by the Schur complement solver in a nested, two-level fashion. The solver is demonstrated to have a mesh-independent convergence at the outer level, whereas the inner level system is of elliptic type and thus can be treated efficiently by a variety of solvers.

math.NA↗

arXiv2011

Residual, restarting and Richardson iteration for the matrix exponential, revised

A well-known problem in computing some matrix functions iteratively is the lack of a clear, commonly accepted residual notion. An important matrix function for which this is the case is the matrix exponential. Suppose the matrix exponential of a given matrix times a given vector has to be computed. We develop the approach of Druskin, Greenbaum and Knizhnerman (1998) and interpret the sought-after vector as the value of a vector function satisfying the linear system of ordinary differential equations (ODE) whose coefficients form the given matrix. The residual is then defined with respect to the initial-value problem for this ODE system. The residual introduced in this way can be seen as a backward error. We show how the residual can be computed efficiently within several iterative methods for the matrix exponential. This completely resolves the question of reliable stopping criteria for these methods. Further, we show that the residual concept can be used to construct new residual-based iterative methods. In particular, a variant of the Richardson method for the new residual appears to provide an efficient way to restart Krylov subspace methods for evaluating the matrix exponential.

math.NA↗