Heisenberg uniqueness pairs and the Klein-Gordon equation
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 o...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión enviada para evaluación y publicación |
| Fecha de publicación: | 2011 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/45349 |
| Acceso en línea: | http://hdl.handle.net/11441/45349 https://doi.org/10.4007/annals.2011.173.3.6 |
| Access Level: | acceso abierto |
| Palabra clave: | Trigonometric system Inversion Composition operator Klein-Gordon equation Ergodic theory |
| Sumario: | 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. |
|---|