SpecSolve: Spectral methods for spectral measures

Self-adjoint operators on infinite-dimensional spaces with continuous spectra are abundant but do not possess a basis of eigenfunctions. Rather, diagonalization is achieved through spectral measures. The SpecSolve package [SIAM Rev., 63(3) (2021), pp. 489–524] computes spectral measures of general (self-adjoint) differential and integral operators by combining state-of-the-art adaptive spectral methods with an efficient resolvent-based strategy. The algorithm achieves arbitrarily high orders of convergence in terms of a smoothing parameter, allowing computation of both discrete and continuous spectral components. This article extends SpecSolve to two important classes of operators: singular integro-differential operators and general operator pencils. Essential computational steps are performed with off-theshelf spectral methods, including spectral methods on the real line, the ultraspherical spectral method, Chebyshev and Fourier spectral methods, and the (hp-adaptive and sparse) ultraspherical spectral element method. This collection illustrates the power and flexibility of SpecSolve’s “discretization-oblivious” paradigm.

[1]  Ralph E. Showalter,et al.  Pseudoparabolic Partial Differential Equations , 1970 .

[2]  Sheehan Olver,et al.  A Fast and Well-Conditioned Spectral Method , 2012, SIAM Rev..

[3]  Peter Lindqvist,et al.  A NONLINEAR EIGENVALUE PROBLEM , 2004 .

[4]  G. Orlandini,et al.  Response functions from integral transforms with a Lorentz kernel , 1994, nucl-th/9409004.

[5]  ON THE SPECTRAL THEORY OF SINGULAR INTEGRAL OPERATORS. , 1958, Proceedings of the National Academy of Sciences of the United States of America.

[6]  J. Ralston On stationary modes in inviscid rotating fluids , 1973 .

[7]  S. Dyatlov,et al.  Microlocal analysis of forced waves , 2018, Pure and Applied Analysis.

[8]  N. Barnea,et al.  TOPICAL REVIEW: The Lorentz integral transform (LIT) method and its applications to perturbation-induced reactions , 2007, 0708.2803.

[9]  Daniele Boffi,et al.  Finite element approximation of eigenvalue problems , 2010, Acta Numerica.

[10]  Zdenek Strakos,et al.  Preconditioning and the Conjugate Gradient Method in the Context of Solving PDEs , 2014, SIAM spotlights.

[11]  Tosio Kato Perturbation theory for linear operators , 1966 .

[12]  Kristian Kirsch,et al.  Methods Of Modern Mathematical Physics , 2016 .

[13]  David E. Edmunds,et al.  Spectral Theory and Differential Operators , 1987, Oxford Scholarship Online.

[14]  José Alberto Cuminato,et al.  A review of linear and nonlinear Cauchy singular integral and integro-differential equations arising in mechanics , 2007 .

[15]  Nicholas Hale,et al.  The ultraspherical spectral element method , 2020, ArXiv.

[16]  Murray Rosenblatt,et al.  Stochastic Curve Estimation , 1991 .

[17]  Kent-André Mardal,et al.  Preconditioning discretizations of systems of partial differential equations , 2011, Numer. Linear Algebra Appl..

[18]  Matthew J. Colbrook,et al.  Computing spectral properties of topological insulators without artificial truncation or supercell approximation , 2021, IMA Journal of Applied Mathematics.

[19]  Jon Wilkening,et al.  A Spectral Transform Method for Singular Sturm-Liouville Problems with Applications to Energy Diffusion in Plasma Physics , 2013, SIAM J. Appl. Math..

[20]  Yousef Saad,et al.  Approximating Spectral Densities of Large Matrices , 2013, SIAM Rev..

[21]  J. A. C. Weideman,et al.  Computing the Hilbert transform on the real line , 1995 .

[22]  R. Bass,et al.  Review: P. Billingsley, Convergence of probability measures , 1971 .

[23]  Arieh Iserles,et al.  A Family of Orthogonal Rational Functions and Other Orthogonal Systems with a skew-Hermitian Differentiation Matrix , 2019, ArXiv.

[24]  P. Nevai,et al.  Orthogonal polynomials, measures and recurrence relations , 1986 .

[25]  T. Trogdon,et al.  Numerical inverse scattering for the Korteweg–de Vries and modified Korteweg–de Vries equations , 2012 .

[26]  Y. D. Verdière,et al.  Attractors for Two‐Dimensional Waves with Homogeneous Hamiltonians of Degree 0 , 2018, Communications on Pure and Applied Mathematics.

[27]  R. Senoussi,et al.  Semigroup stationary processes and spectral representation , 2003 .

[28]  Sheehan Olver,et al.  A fast and well-conditioned spectral method for singular integral equations , 2015, J. Comput. Phys..

[29]  V. Heine,et al.  Electronic structure based on the local atomic environment for tight-binding bands. II , 1972 .

[30]  Matthew J. Colbrook,et al.  Computing spectral measures of self-adjoint operators , 2020, SIAM Rev..

[31]  G. Kallianpur,et al.  Spectral theory of stationary H-valued processes , 1971 .

[32]  Zdenek Strakos,et al.  Generalized Spectrum of Second Order Differential Operators , 2020, SIAM J. Numer. Anal..

[33]  Zdenek Strakos,et al.  Laplacian Preconditioning of Elliptic PDEs: Localization of the Eigenvalues of the Discretized Operator , 2018, SIAM J. Numer. Anal..

[34]  B. Simon,et al.  Sum rules for Jacobi matrices and their applications to spectral theory , 2001, math-ph/0112008.

[35]  Y. D. Verdière Spectral theory of pseudodifferential operators of degree 0 and an application to forced linear waves , 2018, 1804.03367.