Heisenberg uniqueness pairs and the Klein-Gordon equation

Abstract

A Heisenberg uniqueness pair (HUP) is a pair (Γ, Λ), where Γ is a curve in the plane and Λ is a set in the plane, with the following property: any bounded Borel measure µ in the plane supported on Γ, which is absolutely continuous with respect to arc length, and whose Fourier transform bµ vanishes on Λ, must automatically be the zero measure. We prove that when Γ is the hyperbola x1x2 = 1, and Λ is the lattice-cross Λ = (αZ × {0}) ∪ ({0} × βZ), where α, β are positive reals, then (Γ, Λ) is an HUP if and only if αβ ≤ 1; in this situation, the Fourier transform bµ of the measure solves the one-dimensional Klein-Gordon equation. Phrased differently, we show that e πiαnt , e πiβn/t , n ∈ Z, span a weak-star dense subspace in L ∞(R) if and only if αβ ≤ 1. In order to prove this theorem, some elements of linear fractional theory and ergodic theory are needed, such as the Birkhoff Ergodic Theorem. An idea parallel to the one exploited by Makarov and Poltoratski (in the context of model subspaces) is also needed. As a consequence, we solve a problem on the density of algebras generated by two inner functions raised by Matheson and Stessin.