Fourier interpolation on the real line
type: Item
instance of: scholarly article
title: Fourier interpolation on the real line
zbMATH Open document ID: 1455.11075
published in: Publications Mathématiques
publication date: 2019-05-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/1701.00265
review text: The Schwartz class of real functions is defined as \(\mathcal{S}=\{f\in C^\infty(\mathbb{R}): \|f\|_{\alpha,\beta}<\infty, \alpha,\beta\ge0\}\) with seminorm \(\|f\|_{\alpha,\beta}=\sup_{x\in\mathbb{R}} |x^\alpha(\frac{d}{dx})^\beta f(x)|\). If we denote the Fourier transform of a function \(h\) by \(\widehat{h}\), then the main theorem of the paper states that there exists an interpolating basis \(\{a_n\}_{n=0}^\infty\subset\mathcal{S}_{\text{even}}\) of even Schwartz functions such that for every \(f\in\mathcal{S}_{\text{even}}\) it holds that \(f(x)=\sum_{n=0}^\infty a_n(x)f(\sqrt{n})+\sum_{n=0}^\infty \widehat{a}_n(x)\widehat{f}(\sqrt{n})\) for all \(x\in\mathbb{R}\) with absolutely converging right-hand side. A similar result is possible for odd functions in \(f\in\mathcal{S}\). The constructive proof shows that \(a_n\) is the average of two functions \(b_n^+(x)\) and \(b_n^-(x)\) that are integral transforms of \(g_n^\pm(z)\) which are holomorphic modular forms on the \(\theta\)-group \(\Gamma_\theta\) of weight \(3/2\). Although this links the interpolating problem to a rather general theory, the approach taken is largely self contained, introducing the subgroup \(\Gamma_\theta\) of \(\mathrm{SL}_2(\mathbb{Z})\), the modular forms for \(\Gamma_\theta\), leading to the introduction of the \(g_n^\pm\) functions. It is suggested that perhaps the result can be extended to a larger class than Schwartz functions. The bottleneck for that is to estimate bounds for the growth of the functions \(b_n^\pm\).
reviewed by: Adhemar Bultheel
Mathematics Subject Classification ID: 11F37
Mathematics Subject Classification ID: 11F03
Mathematics Subject Classification ID: 11F11
Mathematics Subject Classification ID: 42A10
Mathematics Subject Classification ID: 46A11
zbMATH DE Number: 7059674
zbMATH Keywords: Schwartz class
zbMATH Keywords: theta group
zbMATH Keywords: modular form
zbMATH Keywords: Fourier interpolation
Wikidata QID: Q113001605
author: Danylo V. Radchenko
author: Maryna Viazovska
MaRDI profile type: Publication
OpenAlex ID: W3102994891
arXiv ID: 1701.00265
cites work: Q5433089
cites work: New upper bounds on sphere packings. I
cites work: The sphere packing problem in dimension \(24\)
cites work: Faber Polynomials and the Faber Series
cites work: On the zeros and coefficients of certain weakly holomorphic modular forms
cites work: Eine Verallgemeinerung der Abelschen Integrale
cites work: Five short stories about the cardinal series
cites work: Concordance and the harmonic analysis of sequences
cites work: Some new results on the Eichler cohomology of automorphic forms
cites work: On the growth of entire automorphic integrals
cites work: Measures with locally finite support and spectrum
cites work: Q1838549
cites work: Some extremal functions in Fourier analysis
cites work: The sphere packing problem in dimension 8
cites work: Q4552839
cites work: Q4472996
cites work: Elliptic Modular Forms and Their Applications
cites work: Q3590677
DOI: 10.1007/S10240-018-0101-Z
description: scientific article