-
Nonlocal vector calculus on the sphere
Authors:
Hadrien Montanelli,
Richard Mikael Slevinsky,
Qiang Du
Abstract:
We introduce a nonlocal vector calculus on the unit two-sphere using weakly singular integral operators. Within this framework, the operators are diagonalizable in terms of scalar and vector spherical harmonics, a property that facilitates the proof of a nonlocal Stokes theorem. This constitutes the first instance of such a theorem on a curved surface. Furthermore, our analysis demonstrates the st…
▽ More
We introduce a nonlocal vector calculus on the unit two-sphere using weakly singular integral operators. Within this framework, the operators are diagonalizable in terms of scalar and vector spherical harmonics, a property that facilitates the proof of a nonlocal Stokes theorem. This constitutes the first instance of such a theorem on a curved surface. Furthermore, our analysis demonstrates the strong convergence of these nonlocal operators to the classical differential operators of vector calculus as the interaction range tends to zero.
△ Less
Submitted 18 May, 2025;
originally announced May 2025.
-
Fast measure modification of orthogonal polynomials via matrices with displacement structure
Authors:
Karim Gumerov,
Samantha Rigg,
Richard Mikael Slevinsky
Abstract:
It is well known that matrices with low Hessenberg-structured displacement rank enjoy fast algorithms for certain matrix factorizations. We show how $n\times n$ principal finite sections of the Gram matrix for the orthogonal polynomial measure modification problem has such a displacement structure, unlocking a collection of fast algorithms for computing connection coefficients (as the upper-triang…
▽ More
It is well known that matrices with low Hessenberg-structured displacement rank enjoy fast algorithms for certain matrix factorizations. We show how $n\times n$ principal finite sections of the Gram matrix for the orthogonal polynomial measure modification problem has such a displacement structure, unlocking a collection of fast algorithms for computing connection coefficients (as the upper-triangular Cholesky factor) between a known orthogonal polynomial family and the modified family. In general, the ${\cal O}(n^3)$ complexity is reduced to ${\cal O}(n^2)$, and if the symmetric Gram matrix has upper and lower bandwidth b, then the ${\cal O}(b^2n)$ complexity for a banded Cholesky factorization is reduced to ${\cal O}(b n)$. In the case of modified Chebyshev polynomials, we show that the Gram matrix is a symmetric Toeplitz-plus-Hankel matrix, and if the modified Chebyshev moments decay algebraically, then a hierarchical off-diagonal low-rank structure is observed in the Gram matrix, enabling a further reduction in the complexity of an approximate Cholesky factorization powered by randomized numerical linear algebra.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Building hierarchies of semiclassical Jacobi polynomials for spectral methods in annuli
Authors:
Ioannis P. A. Papadopoulos,
Timon S. Gutleb,
Richard M. Slevinsky,
Sheehan Olver
Abstract:
We discuss computing with hierarchies of families of (potentially weighted) semiclassical Jacobi polynomials which arise in the construction of multivariate orthogonal polynomials. In particular, we outline how to build connection and differentiation matrices with optimal complexity and compute analysis and synthesis operations in quasi-optimal complexity. We investigate a particular application o…
▽ More
We discuss computing with hierarchies of families of (potentially weighted) semiclassical Jacobi polynomials which arise in the construction of multivariate orthogonal polynomials. In particular, we outline how to build connection and differentiation matrices with optimal complexity and compute analysis and synthesis operations in quasi-optimal complexity. We investigate a particular application of these results to constructing orthogonal polynomials in annuli, called the generalised Zernike annular polynomials, which lead to sparse discretisations of partial differential equations. We compare against a scaled-and-shifted Chebyshev--Fourier series showing that in general the annular polynomials converge faster when approximating smooth functions and have better conditioning. We also construct a sparse spectral element method by combining disk and annulus cells, which is highly effective for solving PDEs with radially discontinuous variable coefficients and data.
△ Less
Submitted 10 July, 2024; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Lifting Sylvester equations: singular value decay for non-normal coefficients
Authors:
Raphaël Clouâtre,
Brock Klippenstein,
Richard Mikaël Slevinsky
Abstract:
We aim to find conditions on two Hilbert space operators $A$ and $B$ under which the expression $AX-XB$ having low rank forces the operator $X$ itself to admit a good low rank approximation. It is known that this can be achieved when $A$ and $B$ are normal and have well-separated spectra. In this paper, we relax this normality condition, using the idea of operator dilations. The basic problem then…
▽ More
We aim to find conditions on two Hilbert space operators $A$ and $B$ under which the expression $AX-XB$ having low rank forces the operator $X$ itself to admit a good low rank approximation. It is known that this can be achieved when $A$ and $B$ are normal and have well-separated spectra. In this paper, we relax this normality condition, using the idea of operator dilations. The basic problem then becomes the lifting of Sylvester equations, which is reminiscent of the classical commutant lifting theorem and its variations. Our approach also allows us to show that the (factored) alternating direction implicit method for solving Sylvester equaftions $AX-XB=C$ does not require too many iterations, even without requiring $A$ to be normal.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Fast and stable rational approximation of generalized hypergeometric functions
Authors:
Richard Mikael Slevinsky
Abstract:
Rational approximations of generalized hypergeometric functions ${}_pF_q$ of type $(n+k,k)$ are constructed by the Drummond and factorial Levin-type sequence transformations. We derive recurrence relations for these rational approximations that require $\mathcal{O}[\max\{p,q\}(n+k)]$ flops. These recurrence relations come in two forms: for the successive numerators and denominators; and, for an au…
▽ More
Rational approximations of generalized hypergeometric functions ${}_pF_q$ of type $(n+k,k)$ are constructed by the Drummond and factorial Levin-type sequence transformations. We derive recurrence relations for these rational approximations that require $\mathcal{O}[\max\{p,q\}(n+k)]$ flops. These recurrence relations come in two forms: for the successive numerators and denominators; and, for an auxiliary rational sequence and the rational approximations themselves. Numerical evidence suggests that these recurrence relations are much more stable than the original formulæ~for the Drummond and factorial Levin-type sequence transformations. Theoretical results on the placement of the poles of both transformations confirm the superiority of factorial Levin-type transformation over the Drummond transformation.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Polynomial and rational measure modifications of orthogonal polynomials via infinite-dimensional banded matrix factorizations
Authors:
Timon S. Gutleb,
Sheehan Olver,
Richard Mikael Slevinsky
Abstract:
We describe fast algorithms for approximating the connection coefficients between a family of orthogonal polynomials and another family with a polynomially or rationally modified measure. The connection coefficients are computed via infinite-dimensional banded matrix factorizations and may be used to compute the modified Jacobi matrices all in linear complexity with respect to the truncation degre…
▽ More
We describe fast algorithms for approximating the connection coefficients between a family of orthogonal polynomials and another family with a polynomially or rationally modified measure. The connection coefficients are computed via infinite-dimensional banded matrix factorizations and may be used to compute the modified Jacobi matrices all in linear complexity with respect to the truncation degree. A family of orthogonal polynomials with modified classical weights is constructed that support banded differentiation matrices, enabling sparse spectral methods with modified classical orthogonal polynomials.
△ Less
Submitted 26 March, 2024; v1 submitted 16 February, 2023;
originally announced February 2023.
-
A recursive algorithm for an efficient and accurate computation of incomplete Bessel functions
Authors:
Richard M. Slevinsky,
Hassan Safouhi
Abstract:
In a previous work, we developed an algorithm for the computation of incomplete Bessel functions, which pose as a numerical challenge, based on the $G_{n}^{(1)}$ transformation and Slevinsky-Safouhi formula for differentiation. In the present contribution, we improve this existing algorithm for incomplete Bessel functions by developing a recurrence relation for the numerator sequence and the denom…
▽ More
In a previous work, we developed an algorithm for the computation of incomplete Bessel functions, which pose as a numerical challenge, based on the $G_{n}^{(1)}$ transformation and Slevinsky-Safouhi formula for differentiation. In the present contribution, we improve this existing algorithm for incomplete Bessel functions by developing a recurrence relation for the numerator sequence and the denominator sequence whose ratio forms the sequence of approximations. By finding this recurrence relation, we reduce the complexity from ${\cal O}(n^4)$ to ${\cal O}(n)$. We plot relative error showing that the algorithm is capable of extremely high accuracy for incomplete Bessel functions.
△ Less
Submitted 24 April, 2022;
originally announced April 2022.
-
Fast associated classical orthogonal polynomial transforms
Authors:
Brock Klippenstein,
Richard Mikael Slevinsky
Abstract:
We discuss a fast approximate solution to the associated classical -- classical orthogonal polynomial connection problem. We first show that associated classical orthogonal polynomials are solutions to a fourth-order quadratic eigenvalue problem with polynomial coefficients such that the differential operator is degree-preserving. Upon linearization, the discretization of this quadratic eigenvalue…
▽ More
We discuss a fast approximate solution to the associated classical -- classical orthogonal polynomial connection problem. We first show that associated classical orthogonal polynomials are solutions to a fourth-order quadratic eigenvalue problem with polynomial coefficients such that the differential operator is degree-preserving. Upon linearization, the discretization of this quadratic eigenvalue problem is block upper-triangular and banded. After a perfect shuffle, we extend a divide-and-conquer approach to the upper-triangular and banded generalized eigenvalue problem to the blocked case, which may be accelerated by one of a few different algorithms. Associated orthogonal polynomials arise from iterated Stieltjes transforms of orthogonal polynomials; hence, fast approximate conversion to classical cases combined with fast discrete sine and cosine transforms provides a modular mechanism for synthesis of singular integral transforms of classical orthogonal polynomial expansions.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
On symmetrizing the ultraspherical spectral method for self-adjoint problems
Authors:
Jared Lee Aurentz,
Richard Mikael Slevinsky
Abstract:
A mechanism is described to symmetrize the ultraspherical spectral method for self-adjoint problems. The resulting discretizations are symmetric and banded. An algorithm is presented for an adaptive spectral decomposition of self-adjoint operators. Several applications are explored to demonstrate the properties of the symmetrizer and the adaptive spectral decomposition.
A mechanism is described to symmetrize the ultraspherical spectral method for self-adjoint problems. The resulting discretizations are symmetric and banded. An algorithm is presented for an adaptive spectral decomposition of self-adjoint operators. Several applications are explored to demonstrate the properties of the symmetrizer and the adaptive spectral decomposition.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
Fast and accurate algorithms for the computation of spherically symmetric nonlocal diffusion operators on lattices
Authors:
Yu Li,
Richard Mikael Slevinsky
Abstract:
We present a unified treatment of the Fourier spectra of spherically symmetric nonlocal diffusion operators. We develop numerical and analytical results for the class of kernels with weak algebraic singularity as the distance between source and target tends to $0$. Rapid algorithms are derived for their Fourier spectra with the computation of each eigenvalue independent of all others. The algorith…
▽ More
We present a unified treatment of the Fourier spectra of spherically symmetric nonlocal diffusion operators. We develop numerical and analytical results for the class of kernels with weak algebraic singularity as the distance between source and target tends to $0$. Rapid algorithms are derived for their Fourier spectra with the computation of each eigenvalue independent of all others. The algorithms are trivially parallelizable, capable of leveraging more powerful compute environments, and the accuracy of the eigenvalues is individually controllable. The algorithms include a Maclaurin series and a full divergent asymptotic series valid for any $d$ spatial dimensions. Using Drummond's sequence transformation, we prove linear complexity recurrence relations for degree-graded sequences of numerators and denominators in the rational approximations to the divergent asymptotic series. These relations are important to ensure that the algorithms are efficient, and also increase the numerical stability compared with the conventional algorithm with quadratic complexity.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
A rapid and well-conditioned algorithm for the Helmholtz--Hodge decomposition of vector fields on the sphere
Authors:
Julien Molina,
Richard Mikael Slevinsky
Abstract:
A rapid algorithm is derived for the Helmholtz--Hodge decomposition on the surface of the sphere in spherical coordinates. The algorithm uncouples modes of spherical harmonics with different absolute order, writes the conversion as barely-overdetermined banded linear systems, and solves them with banded $QR$ decompositions that factor and execute in optimal complexity. Rigorous upper bounds on the…
▽ More
A rapid algorithm is derived for the Helmholtz--Hodge decomposition on the surface of the sphere in spherical coordinates. The algorithm uncouples modes of spherical harmonics with different absolute order, writes the conversion as barely-overdetermined banded linear systems, and solves them with banded $QR$ decompositions that factor and execute in optimal complexity. Rigorous upper bounds on the $2$-norm relative condition number of the banded linear systems support the observable low error growth with respect to truncation degree.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
A spectral method for nonlocal diffusion operators on the sphere
Authors:
Richard Mikael Slevinsky,
Hadrien Montanelli,
Qiang Du
Abstract:
We present algorithms for solving spatially nonlocal diffusion models on the unit sphere with spectral accuracy in space. Our algorithms are based on the diagonalizability of nonlocal diffusion operators in the basis of spherical harmonics, the computation of their eigenvalues to high relative accuracy using quadrature and asymptotic formulas, and a fast spherical harmonic transform. These techniq…
▽ More
We present algorithms for solving spatially nonlocal diffusion models on the unit sphere with spectral accuracy in space. Our algorithms are based on the diagonalizability of nonlocal diffusion operators in the basis of spherical harmonics, the computation of their eigenvalues to high relative accuracy using quadrature and asymptotic formulas, and a fast spherical harmonic transform. These techniques also lead to an efficient implementation of high-order exponential integrators for time-dependent models. We apply our method to the nonlocal Poisson, Allen--Cahn and Brusselator equations.
△ Less
Submitted 8 June, 2018; v1 submitted 15 January, 2018;
originally announced January 2018.
-
Conquering the pre-computation in two-dimensional harmonic polynomial transforms
Authors:
Richard Mikael Slevinsky
Abstract:
We describe a skeletonization of the spherical harmonic connection problem that reduces the storage and pre-computation to superoptimal complexities at the cost of increasing the execution time by the modest multiplicative factor of $\mathcal{O}(\log n)$. One advantage of accelerating the spherical harmonic connection problem over accelerating synthesis and analysis is that neighbouring layers (in…
▽ More
We describe a skeletonization of the spherical harmonic connection problem that reduces the storage and pre-computation to superoptimal complexities at the cost of increasing the execution time by the modest multiplicative factor of $\mathcal{O}(\log n)$. One advantage of accelerating the spherical harmonic connection problem over accelerating synthesis and analysis is that neighbouring layers (in steps of two) may be expanded in eachother's bases. The proposed skeletonization maximizes this interconnectivity by overlaying a dyadic partitioning on the connection problem. We derive the symmetric-definite banded generalized eigenvalue problem required to accelerate spherical harmonic transforms. We also include a full analysis of the weighted normalized Jacobi connection problem with applications to fast harmonic polynomial transforms on the disk, triangle, rectangle, deltoid, wedge, and any other geometry with a bivariate analogue of Jacobi polynomials.
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
Fast and backward stable transforms between spherical harmonic expansions and bivariate Fourier series
Authors:
Richard Mikael Slevinsky
Abstract:
A rapid transformation is derived between spherical harmonic expansions and their analogues in a bivariate Fourier series. The change of basis is described in two steps: firstly, expansions in normalized associated Legendre functions of all orders are converted to those of order zero and one; then, these intermediate expressions are re-expanded in trigonometric form. The first step proceeds with a…
▽ More
A rapid transformation is derived between spherical harmonic expansions and their analogues in a bivariate Fourier series. The change of basis is described in two steps: firstly, expansions in normalized associated Legendre functions of all orders are converted to those of order zero and one; then, these intermediate expressions are re-expanded in trigonometric form. The first step proceeds with a butterfly factorization of the well-conditioned matrices of connection coefficients. The second step proceeds with fast orthogonal polynomial transforms via hierarchically off-diagonal low-rank matrix decompositions. Total pre-computation requires at best $\mathcal{O}(n^3\log n)$ flops; and, asymptotically optimal execution time of $\mathcal{O}(n^2\log^2 n)$ is rigorously proved via connection to Fourier integral operators.
△ Less
Submitted 4 November, 2017; v1 submitted 15 May, 2017;
originally announced May 2017.
-
On the use of Hahn's asymptotic formula and stabilized recurrence for a fast, simple, and stable Chebyshev--Jacobi transform
Authors:
Richard Mikael Slevinsky
Abstract:
We describe a fast, simple, and stable transform of Chebyshev expansion coefficients to Jacobi expansion coefficients and its inverse based on the numerical evaluation of Jacobi expansions at the Chebyshev--Lobatto points. This is achieved via a decomposition of Hahn's interior asymptotic formula into a small sum of diagonally scaled discrete sine and cosine transforms and the use of stable recurr…
▽ More
We describe a fast, simple, and stable transform of Chebyshev expansion coefficients to Jacobi expansion coefficients and its inverse based on the numerical evaluation of Jacobi expansions at the Chebyshev--Lobatto points. This is achieved via a decomposition of Hahn's interior asymptotic formula into a small sum of diagonally scaled discrete sine and cosine transforms and the use of stable recurrence relations. It is known that the Clenshaw--Smith algorithm is not uniformly stable on the entire interval of orthogonality. Therefore, Reinsch's modification is extended for Jacobi polynomials and employed near the endpoints to improve numerical stability.
△ Less
Submitted 8 February, 2016;
originally announced February 2016.
-
A fast and well-conditioned spectral method for singular integral equations
Authors:
Richard Mikael Slevinsky,
Sheehan Olver
Abstract:
We develop a spectral method for solving univariate singular integral equations over unions of intervals by utilizing Chebyshev and ultraspherical polynomials to reformulate the equations as almost-banded infinite-dimensional systems. This is accomplished by utilizing low rank approximations for sparse representations of the bivariate kernels. The resulting system can be solved in…
▽ More
We develop a spectral method for solving univariate singular integral equations over unions of intervals by utilizing Chebyshev and ultraspherical polynomials to reformulate the equations as almost-banded infinite-dimensional systems. This is accomplished by utilizing low rank approximations for sparse representations of the bivariate kernels. The resulting system can be solved in ${\cal O}(m^2n)$ operations using an adaptive QR factorization, where $m$ is the bandwidth and $n$ is the optimal number of unknowns needed to resolve the true solution. The complexity is reduced to ${\cal O}(m n)$ operations by pre-caching the QR factorization when the same operator is used for multiple right-hand sides. Stability is proved by showing that the resulting linear operator can be diagonally preconditioned to be a compact perturbation of the identity. Applications considered include the Faraday cage, and acoustic scattering for the Helmholtz and gravity Helmholtz equations, including spectrally accurate numerical evaluation of the far- and near-field solution. The Julia software package SingularIntegralEquations.jl implements our method with a convenient, user-friendly interface.
△ Less
Submitted 8 December, 2016; v1 submitted 2 July, 2015;
originally announced July 2015.
-
Computing Energy Eigenvalues of Anharmonic Oscillators using the Double Exponential Sinc collocation Method
Authors:
Philippe Gaudreau,
Richard Slevinsky,
Hassan Safouhi
Abstract:
A quantum anharmonic oscillator is defined by the Hamiltonian ${\cal H}= -\frac{ {\rm d^{2}}}{{\rm d}x^{2}} + V(x)$, where the potential is given by $V(x) = \sum_{i=1}^{m} c_{i} x^{2i}$ with $c_{m}>0$. Using the Sinc collocation method combined with the double exponential transformation, we develop a method to efficiently compute highly accurate approximations of energy eigenvalues for anharmonic…
▽ More
A quantum anharmonic oscillator is defined by the Hamiltonian ${\cal H}= -\frac{ {\rm d^{2}}}{{\rm d}x^{2}} + V(x)$, where the potential is given by $V(x) = \sum_{i=1}^{m} c_{i} x^{2i}$ with $c_{m}>0$. Using the Sinc collocation method combined with the double exponential transformation, we develop a method to efficiently compute highly accurate approximations of energy eigenvalues for anharmonic oscillators. Convergence properties of the proposed method are presented. Using the principle of minimal sensitivity, we introduce an alternate expression for the mesh size for the Sinc collocation method which improves considerably the accuracy in computing eigenvalues for potentials with multiple wells.
We apply our method to a number of potentials including potentials with multiple wells. The numerical results section clearly illustrates the high efficiency and accuracy of the proposed method. All our codes are written using the programming language Julia and are available upon request.
△ Less
Submitted 18 November, 2014; v1 submitted 8 November, 2014;
originally announced November 2014.
-
The Double Exponential Sinc Collocation Method for Singular Sturm-Liouville Problems
Authors:
Philippe Gaudreau,
Richard Slevinsky,
Hassan Safouhi
Abstract:
Sturm-Liouville problems are abundant in the numerical treatment of scientific and engineering problems. In the present contribution, we present an efficient and highly accurate method for computing eigenvalues of singular Sturm-Liouville boundary value problems. The proposed method uses the double exponential formula coupled with Sinc collocation method. This method produces a symmetric positive-…
▽ More
Sturm-Liouville problems are abundant in the numerical treatment of scientific and engineering problems. In the present contribution, we present an efficient and highly accurate method for computing eigenvalues of singular Sturm-Liouville boundary value problems. The proposed method uses the double exponential formula coupled with Sinc collocation method. This method produces a symmetric positive-definite generalized eigenvalue system and has exponential convergence rate. Numerical examples are presented and comparisons with single exponential Sinc collocation method clearly illustrate the advantage of using the double exponential formula.
△ Less
Submitted 7 July, 2015; v1 submitted 26 September, 2014;
originally announced September 2014.
-
On the use of conformal maps for the acceleration of convergence of the trapezoidal rule and Sinc numerical methods
Authors:
Richard Mikael Slevinsky,
Sheehan Olver
Abstract:
We investigate the use of conformal maps for the acceleration of convergence of the trapezoidal rule and Sinc numerical methods. The conformal map is a polynomial adjustment to the $\sinh$ map, and allows the treatment of a finite number of singularities in the complex plane. In the case where locations are unknown, the so-called Sinc-Padé approximants are used to provide approximate results. This…
▽ More
We investigate the use of conformal maps for the acceleration of convergence of the trapezoidal rule and Sinc numerical methods. The conformal map is a polynomial adjustment to the $\sinh$ map, and allows the treatment of a finite number of singularities in the complex plane. In the case where locations are unknown, the so-called Sinc-Padé approximants are used to provide approximate results. This adaptive method is shown to have almost the same convergence properties. We use the conformal maps to generate high accuracy solutions to several challenging integrals, nonlinear waves, and multidimensional integrals.
△ Less
Submitted 12 June, 2014;
originally announced June 2014.
