Spectral stability and perturbation results for kernel differentiation matrices on the sphere (2311.06982v2)
Abstract: We investigate the spectrum of differentiation matrices for certain operators on the sphere that are generated from collocation at a set of scattered points $X$ with positive definite and conditionally positive definite kernels. We focus on the cases where these matrices are constructed from collocation using all the points in $X$ and from local subsets of points (or stencils) in $X$. The former case are called global methods (e.g., the Kansa or radial basis function (RBF) pseudospectral method), while the latter are referred to as local methods (e.g., the RBF finite difference (RBF-FD) method). Both techniques are used extensively for numerically solving certain partial differential equations on spheres, as well as other domains. For time-dependent PDEs like the diffusion equation, the spectrum of the differentiation matrices and their stability under perturbations are central to understanding the temporal stability of the underlying numerical schemes. In the global case, we present a perturbation estimate for differentiation matrices which discretize operators that commute with the Laplace-Beltrami operator. In doing so, we demonstrate that if such an operator has negative (non-positive) spectrum, then the differentiation matrix does, too. For conditionally positive definite kernels this is particularly challenging since the differentiation matrices are not necessarily diagonalizable. This perturbation theory is then used to obtain bounds on the spectra of the local RBF-FD differentiation matrices based on the conditionally positive definite surface spline kernels. Numerical results are presented to confirm the theoretical estimates.
- Handbook of mathematical functions with formulas, graphs, and mathematical tables, volume 55. National bureau of standards, 1964.
- Solution of the matrix equation AX+ XB= C [f4]. Communications of the ACM, 15(9):820–826, 1972.
- Norms and exclusion theorems. Numerische Mathematik, 2:137–141, 1960.
- Radial basis functions for the sphere. In Recent Progress in Multivariate Approximation: 4th International Conference, Witten-Bommerholz (Germany), September 2000, pages 33–47. Springer, 2001.
- On the role of polynomials in RBF-FD approximations: II. Numerical solution of elliptic PDEs. J. Comput. Phys., 332:257–273, 2017.
- Numerical solution of saddle point problems. Acta numerica, 14:1–137, 2005.
- William Gee Bickley and J McNamee. Matrix and other direct methods for the solution of systems of linear difference equations. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 252(1005):69–131, 1960.
- A necessary and sufficient condition for strictly positive definite functions on spheres. Proceedings of the American Mathematical Society, 131(9):2733–2740, 2003.
- King-wah Eric Chu. Generalization of the Bauer-Fike theorem. Numerische Mathematik, 49:685–691, 1986.
- Oleg Davydov. Error bounds for a least squares meshless finite difference method on closed manifolds. Advances in Computational Mathematics, 49(4):48, 2023.
- Harold Donnelly. Bounds for eigenfunctions of the Laplacian on compact Riemannian manifolds. Journal of Functional Analysis, 187(1):247–261, 2001.
- Highly localized RBF Lagrange functions for finite difference methods on spheres, 2023.
- A radial basis function method for the shallow water equations on a sphere. In Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, pages rspa–2009. The Royal Society, 2009.
- B. Fornberg and N. Flyer. Solving PDEs with radial basis functions. Acta Numer., 24:215–258, 2015.
- B. Fornberg and E. Lehto. Stabilization of RBF-generated finite difference methods for convective PDEs. Journal of Computational Physics, 230:2270–2285, 2011.
- A Primer on Radial Basis Functions with Applications to the Geosciences. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2015.
- Localized bases for kernel spaces on the unit sphere. SIAM J. Numer. Anal., 51(5):2538–2562, 2013.
- Scattered data interpolation on embedded submanifolds with restricted positive definite kernels: Sobolev error estimates. SIAM Journal on Numerical Analysis, 50(3):1753–1776, 2012.
- A high-order kernel method for diffusion and reaction-diffusion equations on surfaces. Journal of Scientific Computing, 56(3):535–565, 2013.
- Q. T. Lê Gia. Approximation of parabolic PDEs on spheres using spherical basis functions. Adv. Comput. Math., 22:377–397, 2005.
- Summation-by-parts operators for general function spaces. SIAM Journal on Numerical Analysis, 61(2):733–754, 2023.
- Fourth order partial differential equations on general geometries. Journal of Computational Physics, 216(1):216–246, 2006.
- Regularized kernel-based reconstruction in generalized besov spaces. Foundations of Computational Mathematics, 18:459–508, 2018.
- Polyharmonic and related kernels on manifolds: interpolation and approximation. Found. Comput. Math., 12(5):625–670, 2012.
- Thomas Hangelbroek. Polyharmonic approximation on the sphere. Constructive Approximation, 33(1):77–92, 2011.
- Direct and inverse results on bounded domains for meshless methods via localized bases on manifolds. Contemporary Computational Mathematics-A Celebration of the 80th Birthday of Ian Sloan, pages 517–543, 2018.
- A comparison of popular point configurations on 𝕊2superscript𝕊2\mathbb{S}^{2}blackboard_S start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Dolomites Res. Notes Approx., 9:16–49, 2016.
- Nick Higham. What is the Sylvester equation? https://nhigham.com/2020/09/01/what-is-the-sylvester-equation/.
- A radial basis function (RBF) compact finite difference (FD) scheme for reaction-diffusion equations on surfaces. SIAM J. Sci. Comput., 39:A219–A2151, 2017.
- From semidiscrete to fully discrete: Stability of Runge–Kutta schemes by the energy method. SIAM review, 40(1):40–73, 1998.
- Conditionally positive definite kernels on euclidean domains. Journal of mathematical analysis and applications, 294(1):345–359, 2004.
- Claus Müller. Spherical harmonics, volume 17. Springer, 2006.
- Localized tight frames on spheres. SIAM Journal on Mathematical Analysis, 38(2):574–594, 2006.
- Adaptive rbf-fd method for elliptic problems with point singularities in 2d. Applied Mathematics and Computation, 313:474 – 497, 2017.
- Eigenvalue stability of radial basis function discretizations for time-dependent problems. Computers & Mathematics with Applications, 51(8):1251–1268, 2006.
- Approximation of eigenfunctions in kernel-based spaces. Advances in Computational Mathematics, 42:973–993, 2016.
- Hyperviscosity-based stabilization for radial basis function-finite difference (RBF-FD) discretizations of advection-diffusion equations. J. Comput. Phys., 372:616–639, 2018.
- A radial basis function (RBF)-finite difference (FD) method for diffusion and reaction-diffusion equations on surfaces. J. Sci. Comput., 63(3):745–768, 2014.
- Christopher D Sogge. Concerning the Lpsuperscript𝐿𝑝{L}^{p}italic_L start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT norm of spectral clusters for second-order elliptic operators on compact manifolds. Journal of Functional Analysis, 77(1):123–138, 1988.
- A least squares radial basis function finite difference method with improved stability properties. SIAM Journal on Scientific Computing, 43(2):A1441–A1471, 2021.
- Stability estimates for radial basis function methods applied to time-dependent hyperbolic pdes. arXiv preprint arXiv:2110.14548, 2021.
- Spectra and Pseudospectra: The Behavior of Nonnormal Matrices and Operators. Princeton University Press, Princeton, 2005.
- Holger Wendland. Scattered data approximation, volume 17. Cambridge university press, 2004.
- Solving partial differential equations on (evolving) surfaces with radial basis functions. Advances in Computational Mathematics, 46:64, 2020.