Core Concepts
The core message of this article is to develop a framework for establishing the convergence of spectral methods for solving operator equations involving non-compact operators, and to apply this framework to two specific examples: solving differential equations with periodic boundary conditions and solving Riemann-Hilbert problems on the unit circle.
Abstract
The article presents a framework for establishing the convergence of spectral methods for solving operator equations involving non-compact operators. The key idea is to identify a left-Fredholm regulator for the operator and show that this regulator has a sufficiently good finite-dimensional approximation. This allows the authors to prove convergence results that go beyond the classical settings where the operator is a compact perturbation of the identity.
The authors apply this framework to two specific examples:
Solving differential equations with periodic boundary conditions:
The authors consider a differential operator L that can be decomposed as L = L0 + L1, where L0 has constant coefficients and L1 has variable coefficients.
They show that if L is invertible and L0 + PNL1 is invertible on the range of the Fourier truncation projection PN, then the finite-dimensional approximation converges optimally to the true solution.
The authors also use this framework to analyze the convergence of the spectrum of such operators, obtaining improved results compared to previous work.
Solving Riemann-Hilbert problems on the unit circle:
The authors consider the classical Riemann-Hilbert problem of finding a sectionally analytic function ϕ satisfying a boundary condition on the unit circle.
They show that the finite-dimensional approximation of the solution, using Fourier collocation, converges at an optimal rate in Sobolev spaces.
The article also includes a detailed discussion of Sobolev spaces of periodic functions and the properties of the Fourier orthogonal projection and interpolation operators, which are crucial for the analysis of the numerical methods.