-
The Hilbert matrix done right
Authors:
A. Montes-Rodríguez,
J. A. Virtanen
Abstract:
We give very simple proofs of the classical results of Magnus and Hill on the spectral properties of the Hilbert matrix $$ H = \left ( {1 \over i+j+ 1 } \right )_{i,j\geq 0} $$ which defines a bounded linear operator on the sequence space $\ell^2$. In particular, we use the Mehler-Fock transform to find the spectrum and the latent eigenfunctions of the Hilbert matrix, that is, we show that the spe…
▽ More
We give very simple proofs of the classical results of Magnus and Hill on the spectral properties of the Hilbert matrix $$ H = \left ( {1 \over i+j+ 1 } \right )_{i,j\geq 0} $$ which defines a bounded linear operator on the sequence space $\ell^2$. In particular, we use the Mehler-Fock transform to find the spectrum and the latent eigenfunctions of the Hilbert matrix, that is, we show that the spectrum of $H$ is $[0,π]$ with no eigenvalues (Magnus' result) and describe all complex sequences $x$ such that $Hx=μx$ for some complex number $μ$ (Hill's result).
△ Less
Submitted 11 November, 2024;
originally announced November 2024.
-
Hyperbolic Fourier series and the Klein-Gordon equation
Authors:
A. Bakan,
H. Hedenmalm,
A. Montes-Rodriguez
Abstract:
In an effort to extend classical Fourier theory, Hedenmalm and Montes-Rodríguez (2011) found that the function system \[ e_m(x)=e^{iπmx},\quad e_n^\dagger(x)=e_n(-1/x)=e^{-iπn/x} \] is weak-star complete in $L^{\infty}(\mathbb{R})$ when $m,n$ range over the integers with $n\ne0$. It turns out that the system can be used to provide unique representation of functions and more generally distributions…
▽ More
In an effort to extend classical Fourier theory, Hedenmalm and Montes-Rodríguez (2011) found that the function system \[ e_m(x)=e^{iπmx},\quad e_n^\dagger(x)=e_n(-1/x)=e^{-iπn/x} \] is weak-star complete in $L^{\infty}(\mathbb{R})$ when $m,n$ range over the integers with $n\ne0$. It turns out that the system can be used to provide unique representation of functions and more generally distributions on the real line $\mathbb{R}$. For instance, we may represent uniquely the unit point mass at a point $x\in\mathbb{R}$: \[ δ_x(t)=A_0(x)+\sum_{n\ne0}\big(A_n(x)\,e^{iπnt} +B_n(x)\,e^{-iπn/t}\big), \] with at most polynomial growth of the coefficients, so that the sum converges in the sense of distribution theory. In a natural sense, the system $\{A_n,B_n\}_n$ is biorthogonal to the initial system $\{e_n,e_n^\dagger\}_n$ on the real line. More generally, for a distribution $f$ on the compactified real line, we may decompose it in a \emph{hyperbolic Fourier series} \[ f(t)=a_0(f)+\sum_{n\ne0}\big(a_n(f)\,e^{iπnt}+b_n(f)\,e^{-iπn/t}\big), \] understood to converge in the sense of distribution theory. Such hyperbolic Fourier series arise from two different considerations. One is the Fourier interpolation problem of recovering a radial function $φ$ on $\mathbb{R}^d$ from partial information on $φ$ and its Fourier transform $\hat φ$, studied by Radchenko and Viazovska (2019). Another consideration is the interpolation theory of the Klein-Gordon equation $\partial_x\partial_y u+u=0$. For instance, the biorthogonal system $\{A_n,B_n\}_n$ leads to a collection of solutions that vanish along the lattice-cross of points $(πk,0)$ and $(0,πl)$ save for one of these points. These interpolating solutions allow for restoration of a given solution $u$ from its values on the lattice-cross.
△ Less
Submitted 21 January, 2024; v1 submitted 12 January, 2024;
originally announced January 2024.
-
Hyperbolic Fourier series
Authors:
Andrew Bakan,
Haakan Hedenmalm,
Alfonso Montes-Rodriguez,
Danylo Radchenko,
Maryna Viazovska
Abstract:
In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system…
▽ More
In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system $1$, $\exp ( i πn x)$, $\exp ( i πn/ x)$, $n \in \mathbb{Z} \setminus \{0\}$, and show that it is complete in $L^1 (\mathbb{R})$. We associate with each $f \in L^1 (\mathbb{R}, (1+x^2)^{-1} d x)$ its hyperbolic Fourier series
$h_{0}(f) + \sum_{n \in \mathbb{Z}\setminus \{0\}}(h_{n}(f) e^{ i πn x} + m_{n}(f) e^{-i πn / x} )$ and prove that it converges to $f$ in the space of tempered distributions on the real line. Applied to the above mentioned biorthogonal system, the integral transform given by
$U_{\varphi} (x, y):= \int_{\mathbb{R}} \varphi (t) \exp \left( i x t + i y / t \right) d t $, for $\varphi \in L^{1} (\mathbb{R})$ and $(x, y) \in \mathbb{R}^{2}$, supplies interpolating functions for the Klein-Gordon equation.
△ Less
Submitted 4 July, 2023; v1 submitted 30 September, 2021;
originally announced October 2021.
-
Fourier uniqueness in $\mathbb{R}^4$
Authors:
Andrew Bakan,
Haakan Hedenmalm,
Alfonso Montes-Rodriguez,
Danylo Radchenko,
Maryna Viazovska
Abstract:
We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017.
We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
An extension of ergodic theory for Gauss-type maps
Authors:
Haakan Hedenmalm,
Alfonso Montes-Rodriguez
Abstract:
We propose an extension of ergodic theory which focuses on the identification of ergodicity in terms of the uniqueness of the invariant measure. We first explain the concept for the doubling maps, which can be analyzed using Fourier methods. We then proceed to the Gauss-type maps of interest, of the form $x\mapsto -β/x$ mod $2\mathbb Z$ on the symmetric interval $[-1,1]$, for $0<β\le1$. We study a…
▽ More
We propose an extension of ergodic theory which focuses on the identification of ergodicity in terms of the uniqueness of the invariant measure. We first explain the concept for the doubling maps, which can be analyzed using Fourier methods. We then proceed to the Gauss-type maps of interest, of the form $x\mapsto -β/x$ mod $2\mathbb Z$ on the symmetric interval $[-1,1]$, for $0<β\le1$. We study an extended state space on the interval, formed as the restriction to the interval $[-1,1]$ of functions of the form $f+\mathbf{H}g$, where $f$ and $g$ are $L^1$-functions. We then look for invariant states for the Gauss-type map. We find that the standard ergodicity results available for $L^1$ extend with difficulty to the larger state space. The machinery developed involves a dynamical decomposition of the odd part of the Hilbert kernel. We apply the result to decide the issue when the nonnegative integer powers of two given atomic singular inner functions is complete in $H^\infty$ with respect to the weak-star topology.
△ Less
Submitted 10 December, 2015;
originally announced December 2015.
-
The Klein-Gordon equation, the Hilbert transform, and dynamics of Gauss-type maps
Authors:
Haakan Hedenmalm,
Alfonso Montes-Rodriguez
Abstract:
A pair $(Γ,Λ)$, where $Γ\subset\mathbb{R}^2$ is a locally rectifiable curve and $Λ\subset\mathbb{R}^2$ is a {\em Heisenberg uniqueness pair} if an absolutely continuous (with respect to arc length) finite complex-valued Borel measure supported on $Γ$ whose Fourier transform vanishes on $Λ$ necessarily is the zero measure. Recently, it was shown by Hedenmalm and Montes that if $Γ$ is the hyperbola…
▽ More
A pair $(Γ,Λ)$, where $Γ\subset\mathbb{R}^2$ is a locally rectifiable curve and $Λ\subset\mathbb{R}^2$ is a {\em Heisenberg uniqueness pair} if an absolutely continuous (with respect to arc length) finite complex-valued Borel measure supported on $Γ$ whose Fourier transform vanishes on $Λ$ necessarily is the zero measure. Recently, it was shown by Hedenmalm and Montes that if $Γ$ is the hyperbola $x_1x_2=M^2/(4π^2)$, where $M>0$ is the mass, and $Λ$ is the lattice-cross $(α\mathbb{Z}\times\{0\}) \cup (\{0\}\timesβ\mathbb{Z})$, where $α,β$ are positive reals, then $(Γ,Λ)$ is a Heisenberg uniqueness pair if and only if $αβM^2\le4π^2$. The Fourier transform of a measure supported on a hyperbola solves the one-dimensional Klein-Gordon equation, so the theorem supplies very thin uniqueness sets for a class of solutions to this equation. The case of the semi-axis $\mathbb{R}_+$ as well as the holomorphic counterpart remained open. In this work, we completely solve these two problems. As for the semi-axis, we show that the restriction to $\mathbb{R}_+$ of the above exponential system spans a weak-star dense subspace of $L^\infty(\mathbb{R}_+)$ if and only if $0<αβ<4$, based on dynamics of Gauss-type maps. This has an interpretation in terms of dynamical unique continuation. As for the holomorphic counterpart, we show that the above exponential system with $m,n\ge0$ spans a weak-star dense subspace of $H^\infty_+(\mathbb{R})$ if and only if $0<αβ\le1$. To obtain this result, we need to develop new harmonic analysis tools for the dynamics of Gauss-type maps, related to the Hilbert transform. Some details are deferred to a separate publication.
△ Less
Submitted 1 March, 2020; v1 submitted 13 March, 2015;
originally announced March 2015.
-
Perron-Frobenius operators and the Klein-Gordon equation
Authors:
Francisco Canto-Martin,
Haakan Hedenmalm,
Alfonso Montes-Rodriguez
Abstract:
We study the non-uniqueness sets for solutions to the Klein-Gordon equation in 1 space dimension, for solutions whose Fourier transform is a finite complex measure absolutely continuous with respect to arc length. We show that generally, in the non-unique case for lattice-crosses, the space of solutions that vanish there is infinite-dimensional.
We study the non-uniqueness sets for solutions to the Klein-Gordon equation in 1 space dimension, for solutions whose Fourier transform is a finite complex measure absolutely continuous with respect to arc length. We show that generally, in the non-unique case for lattice-crosses, the space of solutions that vanish there is infinite-dimensional.
△ Less
Submitted 1 January, 2012;
originally announced January 2012.
-
Heisenberg uniqueness pairs and the Klein-Gordon equation
Authors:
H. Hedenmalm,
A. Montes-Rodriguez
Abstract:
The notion of a Heisenberg Uniqueness Pair (HUP) is introduced. This amounts to asking which collections of exponentials are weak-star fundamental in $L^\infty$ on a planar curve. In the case when the curve is a hyperbola, we can give a complete answer if the frequencies are restricted to equally spaced points on a lattice-cross. As a consequence, we solve a problem on the density of algebras ge…
▽ More
The notion of a Heisenberg Uniqueness Pair (HUP) is introduced. This amounts to asking which collections of exponentials are weak-star fundamental in $L^\infty$ on a planar curve. In the case when the curve is a hyperbola, we can give a complete answer if the frequencies are restricted to equally spaced points on a lattice-cross. As a consequence, we solve a problem on the density of algebras generated by two inner functions raised by Matheson and Stessin.
△ Less
Submitted 7 October, 2009;
originally announced October 2009.
