An official website of the United States government
Abstract Beginning with the work of Landau, Pollak and Slepian in the 1960s on time‐band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory, and integrable systems. Previously, such pairs were constructed by ad hoc methods, which essentially worked because a commuting operator of low order could be found by a direct calculation. We describe a general approach to these problems that proves that every pointWof Wilson's infinite dimensional adelic Grassmannian gives rise to an integral operator , acting on for a contour , which reflects a differential operator with rational coefficients in the sense that on a dense subset of . By using analytic methods and methods from integrable systems, we show that the reflected differential operator can be constructed from the Fourier algebra of the associated bispectral function . The exact size of this algebra with respect to a bifiltration is in turn determined using algebro‐geometric methods. Intrinsic properties of four involutions of the adelic Grassmannian naturally lead us to consider the reflecting property above in place of plain commutativity. Furthermore, we prove that the time‐band limited operators of the generalized Laplace transforms with kernels given by the rank one bispectral functions always reflect a differential operator. A 90° rotation argument is used to prove that the time‐band limited operators of the generalized Fourier transforms with kernels admit a commuting differential operator. These methods produce vast collections of integral operators with prolate‐spheroidal properties, associated to the wave functions of all rational solutions of the KP hierarchy vanishing at infinity, introduced by Krichever in the late 1970s.
more »
« less
Reflective prolate-spheroidal operators and the KP/KdV equations
Commuting integral and differential operators connect the topics of signal processing, random matrix theory, and integrable systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the Korteweg–de Vries (KdV) equation. We prove a general theorem that the integral operator associated to every wave function in the infinite-dimensional adelic Grassmannian G r a d of Wilson always reflects a differential operator (in the sense of Definition 1 below). This intrinsic property is shown to follow from the symmetries of Grassmannians of Kadomtsev–Petviashvili (KP) wave functions, where the direct commutativity property holds for operators associated to wave functions fixed by Wilson’s sign involution but is violated in general. Based on this result, we prove a second main theorem that the integral operators in the computation of the singular values of the truncated generalized Laplace transforms associated to all bispectral wave functions of rank 1 reflect a differential operator. A 9 0 ○ rotation argument is used to prove a third main theorem that the integral operators in the computation of the singular values of the truncated generalized Fourier transforms associated to all such KP wave functions commute with a differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, including as special cases the integral operators associated to all rational solutions of the KdV and KP hierarchies considered by [Airault, McKean, and Moser, Commun. Pure Appl. Math. 30, 95–148 (1977)] and [Krichever, Funkcional. Anal. i Priložen. 12, 76–78 (1978)], respectively, in the late 1970s. Many examples are presented.
more »
« less
- Award ID(s):
- 1901830
- PAR ID:
- 10154901
- Date Published:
- Journal Name:
- Proceedings of the National Academy of Sciences
- Volume:
- 116
- Issue:
- 37
- ISSN:
- 0027-8424
- Page Range / eLocation ID:
- 18310 to 18315
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract In the mid 1980s it was conjectured that every bispectral meromorphic function {\psi(x,y)} gives rise to an integral operator {K_{\psi}(x,y)} which possesses a commuting differential operator.This has been verified by a direct computation for several families of functions {\psi(x,y)} where the commuting differential operator is oforder {\leq 6} . We prove a general version of this conjecture for all self-adjoint bispectral functions of rank 1and all self-adjoint bispectral Darboux transformations of the rank 2 Bessel and Airy functions.The method is based on a theorem giving an exact estimate of the second- and first-order terms ofthe growth of the Fourier algebra of each such bispectral function. From it we obtaina sharp upper bound on the order of the commuting differential operator for theintegral kernel {K_{\psi}(x,y)} leading to a fast algorithmic procedurefor constructing the differential operator; unlike the previous examples its order is arbitrarily high.We prove that the above classes of bispectral functions are parametrized by infinite-dimensionalGrassmannians which are the Lagrangian loci of the Wilson adelic Grassmannian and its analogsin rank 2.more » « less
-
We review recent advances in algorithms for quadrature, transforms, differential equations and singular integral equations using orthogonal polynomials. Quadrature based on asymptotics has facilitated optimal complexity quadrature rules, allowing for efficient computation of quadrature rules with millions of nodes. Transforms based on rank structures in change-of-basis operators allow for quasi-optimal complexity, including in multivariate settings such as on triangles and for spherical harmonics. Ordinary and partial differential equations can be solved via sparse linear algebra when set up using orthogonal polynomials as a basis, provided that care is taken with the weights of orthogonality. A similar idea, together with low-rank approximation, gives an efficient method for solving singular integral equations. These techniques can be combined to produce high-performance codes for a wide range of problems that appear in applications.more » « less
-
A (2+1)-dimensional fifth-order KdV-like equation is introduced through a generalized bilinear equation with the prime number . The new equation possesses the same bilinear form as the standard (2+1)-dimensional fifth-order KdV equation. By Maple symbolic computation, classes of lump solutions are constructed from a search for quadratic function solutions to the corresponding generalized bilinear equation. We get a set of free parameters in the resulting lump solutions, of which we can get a nonzero determinant condition ensuring analyticity and rational localization of the solutions. Particular classes of lump solutions with special choices of the free parameters are generated and plotted as illustrative examples.more » « less
-
Abstract We study a one-parameter family of self-adjoint normal operators for the x-ray transform on the closed Euclidean disk D , obtained by considering specific singularly weighted L 2 topologies. We first recover the well-known singular value decompositions in terms of orthogonal disk (or generalized Zernike) polynomials, then prove that each such realization is an isomorphism of C ∞ ( D ) . As corollaries: we give some range characterizations; we show how such choices of normal operators can be expressed as functions of two distinguished differential operators. We also show that the isomorphism property also holds on a class of constant-curvature, circularly symmetric simple surfaces. These results allow to design functional contexts where normal operators built out of the x-ray transform are provably invertible, in Fréchet and Hilbert spaces encoding specific boundary behavior.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1073/pnas.1906098116
