arXiv subjects

Timon S. Gutleb

Publications and source records attributed to Timon S. Gutleb.

13 recordsLinked to original sources

arXiv2026

Sparse space-time spectral methods can time-step by peel and pass

Global space-time spectral methods give spectral accuracy in time but typically require the whole space-time history to be resolved and stored on a single tensor-product domain $T \times \Omega$. We record that in an endpoint-benign Legendre or Chebyshev-$T$ time basis, whose polynomials all equal one at the right endpoint, the final time slice of a space-time block is recovered exactly by summing the stored coefficients along the time index. This peel-and-pass step is a special case of a Jacobi endpoint identity, which also gives derivative formulae for higher-order equations. Writing such higher-order equations as first-order systems preserves the benign value-passing structure. The result is a sparse space-time spectral element method that advances block by block, stores only one block, and needs far fewer time coefficients per solve for long-time problems. We prove the identities, give resident-memory, solve-cost and error-propagation models, and demonstrate the method on $(1{+}1)$D heat, wave and Klein--Gordon equations, and on $(2{+}1)$D fractional heat on the disk with weighted Zernike polynomials in space.

math.NA↗

arXiv2025

A frame approach for equations involving the fractional Laplacian

Exceptionally elegant formulae exist for the fractional Laplacian operator applied to weighted classical orthogonal polynomials. We utilize these results to construct a solver, based on frame properties, for equations involving the fractional Laplacian of any power, $s \in (0,1)$, on an unbounded domain in one or two dimensions. The numerical method represents solutions in an expansion of weighted classical orthogonal polynomials as well as their unweighted counterparts with a specific extension to $\mathbb{R}^d$, $d \in \{1,2\}$. We examine the frame properties of this family of functions for the solution expansion and, under standard frame conditions, derive an a priori estimate for the stationary equation. Moreover, we prove one achieves the expected order of convergence when considering an implicit Euler discretization in time for the fractional heat equation. We apply our solver to numerous examples including the fractional heat equation (utilizing up to a $6^\text{th}$-order Runge--Kutta time discretization), a fractional heat equation with a time-dependent exponent $s(t)$, and a two-dimensional problem, observing spectral convergence in the spatial dimension for sufficiently smooth data.

math.NA↗

arXiv2024

Building hierarchies of semiclassical Jacobi polynomials for spectral methods in annuli

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.

math.NA↗

arXiv2024

Parameterizing Intersecting Surfaces via Invariants

We introduce and analyze numerical companion matrix methods for the reconstruction of hypersurfaces with crossings from smooth interpolants given unordered or, without loss of generality, value-sorted data. The problem is motivated by the desire to machine learn potential energy surfaces arising in molecular excited state computational chemistry applications. We present simplified models which reproduce the analytically predicted convergence and stability behaviors as well as two application-oriented numerical experiments: the electronic excited states of Graphene featuring Dirac conical cusps and energy surfaces corresponding to a sulfur dioxide ($SO_2$) molecule in different configurations.

math.NA↗

arXiv2024

Polynomial and rational measure modifications of orthogonal polynomials via infinite-dimensional banded matrix factorizations

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.

math.NA↗

arXiv2024

Atomic Cluster Expansion without Self-Interaction

The Atomic Cluster Expansion (ACE) (Drautz, Phys. Rev. B 99, 2019) has been widely applied in high energy physics, quantum mechanics and atomistic modeling to construct many-body interaction models respecting physical symmetries. Computational efficiency is achieved by allowing non-physical self-interaction terms in the model. We propose and analyze an efficient method to evaluate and parameterize an orthogonal, or, non-self-interacting cluster expansion model. We present numerical experiments demonstrating improved conditioning and more robust approximation properties than the original expansion in regression tasks both in simplified toy problems and in applications in the machine learning of interatomic potentials.

math.NA↗

arXiv2023

Explicit fractional Laplacians and Riesz potentials of classical functions

We prove and collect numerous explicit and computable results for the fractional Laplacian $(-\Delta)^s f(x)$ with $s>0$ as well as its whole space inverse, the Riesz potential, $(-\Delta)^{-s}f(x)$ with $s\in\left(0,\frac{1}{2}\right)$, subject to row-specific parameter and integrability conditions. Choices of $f(x)$ include weighted classical orthogonal polynomials such as the Legendre, Chebyshev, Jacobi, Laguerre and Hermite polynomials, or first and second kind Bessel functions with or without sinusoid weights. Some higher dimensional fractional Laplacians and Riesz potentials of generalized Zernike polynomials on the unit ball and its complement as well as whole space generalized Laguerre polynomials are also discussed. The aim of this paper is to aid in the continued development of numerical methods for problems involving the fractional Laplacian or the Riesz potential in bounded and unbounded domains -- both directly by providing useful basis or frame functions for spectral method approaches and indirectly by providing accessible ways to construct computable synthetic problems on which to test new numerical methods.

math.NA↗

arXiv2023

A static memory sparse spectral method for time-fractional PDEs

We introduce a method which provides accurate numerical solutions to fractional-in-time partial differential equations posed on $[0,T] \times Ω$ with $Ω\subset \mathbb{R}^d$ without the excessive memory requirements associated with the nonlocal fractional derivative operator. Our approach combines recent advances in the development and utilization of multivariate sparse spectral methods as well as fast methods for the computation of Gauss quadrature nodes with recursive non-classical methods for the Caputo fractional derivative of general fractional order $α> 0$. An attractive feature of the method is that it has minimal theoretical overhead when using it on any domain $Ω$ on which an orthogonal polynomial basis is already available. We discuss the memory requirements of the method, present several numerical experiments demonstrating the method's performance in solving time-fractional PDEs on intervals, triangles and disks and derive error bounds which suggest sensible convergence strategies. As an important model problem for this approach we consider a type of wave equation with time-fractional dampening related to acoustic waves in viscoelastic media with applications in the physics of medical ultrasound and outline future research steps required to use such methods for the reverse problem of image reconstruction from sensor data.

math.NA↗

arXiv2023

A time splitting method for the three-dimensional linear Pauli equation

We analyze a numerical method to solve the time-dependent linear Pauli equation in three space dimensions. The Pauli equation is a semi-relativistic generalization of the Schrödinger equation for 2-spinors which accounts both for magnetic fields and for spin, with the latter missing in preceding numerical work on the linear magnetic Schrödinger equation. We use a four operator splitting in time, prove stability and convergence of the method and derive error estimates as well as meshing strategies for the case of given time-independent electromagnetic potentials, thus providing a generalization of previous results for the magnetic Schrödinger equation.

math.NA↗

arXiv2021

Computation of Power Law Equilibrium Measures on Balls of Arbitrary Dimension

We present a numerical approach for computing attractive-repulsive power law equilibrium measures in arbitrary dimension. We prove new recurrence relationships for radial Jacobi polynomials on $d$-dimensional ball domains, providing a substantial generalization of the work based on recurrence relationships of Riesz potentials on arbitrary dimensional balls. Among the attractive features of the numerical method are good efficiency due to recursively generated banded and approximately banded Riesz potential operators and computational complexity independent of the dimension $d$, in stark contrast to the widely used particle swarm simulation approaches for these problems which scale catastrophically with the dimension. We present several numerical experiments to showcase the accuracy and applicability of the method and discuss how our method compares with alternative numerical approaches and conjectured analytical solutions which exist for certain special cases. Finally, we discuss how our method can be used to explore the analytically poorly understood gap formation boundary to spherical shell support.

math.NA↗

arXiv2021

Computing Equilibrium Measures with Power Law Kernels

We introduce a method to numerically compute equilibrium measures for problems with attractive-repulsive power law kernels of the form $K(x-y) = \frac{|x-y|^α}α-\frac{|x-y|^β}β$ using recursively generated banded and approximately banded operators acting on expansions in ultraspherical polynomial bases. The proposed method reduces what is naively a difficult to approach optimization problem over a measure space to a straightforward optimization problem over one or two variables fixing the support of the equilibrium measure. The structure and rapid convergence properties of the obtained operators results in high computational efficiency in the individual optimization steps. We discuss stability and convergence of the method under a Tikhonov regularization and use an implementation to showcase comparisons with analytically known solutions as well as discrete particle simulations. Finally, we numerically explore open questions with respect to existence and uniqueness of equilibrium measures as well as gap forming behaviour in parameter ranges of interest for power law kernels, where the support of the equilibrium measure splits into two intervals.

math.NA↗

arXiv2020

A fast sparse spectral method for nonlinear integro-differential Volterra equations with general kernels

We present a sparse spectral method for nonlinear integro-differential Volterra equations based on the Volterra operator's banded sparsity structure when acting on specific Jacobi polynomial bases. The method is not restricted to convolution-type kernels of the form $K(x,y)=K(x-y)$ but instead works for general kernels at competitive speeds and with exponential convergence. We provide various numerical experiments on problems with or without known analytic solutions and comparisons with other methods.

math.NA↗

arXiv2019

A sparse spectral method for Volterra integral equations using orthogonal polynomials on the triangle

We introduce and analyse a sparse spectral method for the solution of Volterra integral equations using bivariate orthogonal polynomials on a triangle domain. The sparsity of the Volterra operator on a weighted Jacobi basis is used to achieve high efficiency and exponential convergence. The discussion is followed by a demonstration of the method on example Volterra integral equations of the first and second kind with known analytic solutions as well as an application-oriented numerical experiment. We prove convergence for both first and second kind problems, where the former builds on connections with Toeplitz operators.

math.NA↗