Fourier interpolation on the real line

Modular and automorphic functions (11F03) Holomorphic modular forms of integral weight (11F11) Forms of half-integer weight; nonholomorphic modular forms (11F37) Trigonometric approximation (42A10) Spaces determined by compactness or summability properties (nuclear spaces, Schwartz spaces, Montel spaces, etc.) (46A11)

Abstract: We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set

0, p m s q r t 1, p m s q r t 2, p m s q r t 3, d o t s

.

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\).

Recommendations

Cites work

Cited in

(33)

This page was built for publication: Fourier interpolation on the real line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2418565)