-
A Unified Rational Krylov Method for Elliptic and Parabolic Fractional Diffusion Problems
Authors:
Tobias Danczul,
Clemens Hofreither,
Joachim Schöberl
Abstract:
We present a unified framework to efficiently approximate solutions to fractional diffusion problems of stationary and parabolic type. After discretization, we can take the point of view that the solution is obtained by a matrix-vector product of the form $f^{\boldsymbolτ}(L)\mathbf{b}$, where $L$ is the discretization matrix of the spatial operator, $\mathbf{b}$ a prescribed vector, and…
▽ More
We present a unified framework to efficiently approximate solutions to fractional diffusion problems of stationary and parabolic type. After discretization, we can take the point of view that the solution is obtained by a matrix-vector product of the form $f^{\boldsymbolτ}(L)\mathbf{b}$, where $L$ is the discretization matrix of the spatial operator, $\mathbf{b}$ a prescribed vector, and $f^{\boldsymbolτ}$ a parametric function, such as the fractional power or the Mittag-Leffler function. In the abstract framework of Stieltjes and complete Bernstein functions, to which the functions we are interested in belong to, we apply a rational Krylov method and prove uniform convergence when using poles based on Zolotarëv's minimal deviation problem. The latter are particularly suited for fractional diffusion as they allow for an efficient query of the map $\boldsymbolτ\mapsto f^{\boldsymbolτ}(L)\mathbf{b}$ and do not degenerate as the fractional parameters approach zero.
We also present a variety of both novel and existing pole selection strategies for which we develop a computable error certificate. Our numerical experiments comprise a detailed parameter study of space-time fractional diffusion problems and compare the performance of the poles with the ones predicted by our certificate.
△ Less
Submitted 16 April, 2021; v1 submitted 24 March, 2021;
originally announced March 2021.
-
On Rational Krylov and Reduced Basis Methods for Fractional Diffusion
Authors:
Tobias Danczul,
Clemens Hofreither
Abstract:
We establish an equivalence between two classes of methods for solving fractional diffusion problems, namely, Reduced Basis Methods (RBM) and Rational Krylov Methods (RKM). In particular, we demonstrate that several recently proposed RBMs for fractional diffusion can be interpreted as RKMs. This changed point of view allows us to give convergence proofs for some methods where none were previously…
▽ More
We establish an equivalence between two classes of methods for solving fractional diffusion problems, namely, Reduced Basis Methods (RBM) and Rational Krylov Methods (RKM). In particular, we demonstrate that several recently proposed RBMs for fractional diffusion can be interpreted as RKMs. This changed point of view allows us to give convergence proofs for some methods where none were previously available.
We also propose a new RKM for fractional diffusion problems with poles chosen using the best rational approximation of the function $x^{-s}$ in the spectral interval of the spatial discretization matrix. We prove convergence rates for this method and demonstrate numerically that it is competitive with or superior to many methods from the reduced basis, rational Krylov, and direct rational approximation classes. We provide numerical tests for some elliptic fractional diffusion model problems.
△ Less
Submitted 26 February, 2021;
originally announced February 2021.
-
A Reduced Basis Method For Fractional Diffusion Operators II
Authors:
Tobias Danczul,
Joachim Schöberl
Abstract:
We present a novel numerical scheme to approximate the solution map $s\mapsto u(s) := \mathcal{L}^{-s}f$ to partial differential equations involving fractional elliptic operators. Reinterpreting $\mathcal{L}^{-s}$ as interpolation operator allows us to derive an integral representation of $u(s)$ which includes solutions to parametrized reaction-diffusion problems. We propose a reduced basis strate…
▽ More
We present a novel numerical scheme to approximate the solution map $s\mapsto u(s) := \mathcal{L}^{-s}f$ to partial differential equations involving fractional elliptic operators. Reinterpreting $\mathcal{L}^{-s}$ as interpolation operator allows us to derive an integral representation of $u(s)$ which includes solutions to parametrized reaction-diffusion problems. We propose a reduced basis strategy on top of a finite element method to approximate its integrand. Unlike prior works, we deduce the choice of snapshots for the reduced basis procedure analytically. Avoiding further discretization, the integral is interpreted in a spectral setting to evaluate the surrogate directly. Its computation boils down to a matrix approximation $L$ of the operator whose inverse is projected to a low-dimensional space, where explicit diagonalization is feasible. The universal character of the underlying $s$-independent reduced space allows the approximation of $(u(s))_{s\in(0,1)}$ in its entirety. We prove exponential convergence rates and confirm the analysis with a variety of numerical examples.
Further improvements are proposed in the second part of this investigation to avoid inversion of $L$. Instead, we directly project the matrix to the reduced space, where its negative fractional power is evaluated. A numerical comparison with the predecessor highlights its competitive performance.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
A Reduced Basis Method For Fractional Diffusion Operators I
Authors:
Tobias Danczul,
Joachim Schöberl
Abstract:
We propose and analyze new numerical methods to evaluate fractional norms and apply fractional powers of elliptic operators. By means of a reduced basis method, we project to a small dimensional subspace where explicit diagonalization via the eigensystem is feasible. The method relies on several independent evaluations of $(\textrm{I}-t_i^2Δ)^{-1}f$, which can be computed in parallel. We prove exp…
▽ More
We propose and analyze new numerical methods to evaluate fractional norms and apply fractional powers of elliptic operators. By means of a reduced basis method, we project to a small dimensional subspace where explicit diagonalization via the eigensystem is feasible. The method relies on several independent evaluations of $(\textrm{I}-t_i^2Δ)^{-1}f$, which can be computed in parallel. We prove exponential convergence rates for the optimal choice of sampling points $t_i$, provided by the so-called Zolotarëv points. Numerical experiments confirm the analysis and demonstrate the efficiency of our algorithm.
△ Less
Submitted 24 September, 2019; v1 submitted 11 April, 2019;
originally announced April 2019.