Perron-Frobenius operators and the Klein-Gordon equation
For a smooth curve Γ and a set Λ in the plane R2, let AC(Γ; Λ) be the space of finite Borel measures in the plane supported on Γ, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on Λ. Following [12], we say that (Γ, Λ) is a Heisenberg uniqueness pair if AC(Γ...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión enviada para evaluación y publicación |
| Fecha de publicación: | 2014 |
| 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/45142 |
| Acceso en línea: | http://hdl.handle.net/11441/45142 https://doi.org/10.4171/JEMS/427 |
| Access Level: | acceso abierto |
| Palabra clave: | Trigonometric system Inversion Composition operator Klein-Gordon equation Ergodic theory |
| Sumario: | For a smooth curve Γ and a set Λ in the plane R2, let AC(Γ; Λ) be the space of finite Borel measures in the plane supported on Γ, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on Λ. Following [12], we say that (Γ, Λ) is a Heisenberg uniqueness pair if AC(Γ; Λ) = {0}. In the context of a hyperbola Γ, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets Λ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly address the issue of finding the dimension of AC(Γ; Λ) when it is nonzero. We will fix the curve Γ to be the hyperbola x1x2 = 1, and the set Λ = Λα,β to be the lattice-cross Λα,β = (αZ × {0}) ∪ ({0} × βZ), where α, β are positive reals. We will also consider Γ+, the branch of x1x2 = 1 where x1 > 0. In [12], it is shown that AC(Γ; Λα,β) = {0} if and only if αβ ≤ 1. Here, we show that for αβ > 1, we get a rather drastic “phase transition”: AC(Γ; Λα,β) is infinite-dimensional whenever αβ > 1. It is shown in [13] that AC(Γ+; Λα,β) = {0} if and only if αβ < 4. Moreover, at the edge αβ = 4, the behavior is more exotic: the space AC(Γ+; Λα,β) is one-dimensional. Here, we show that the dimension of AC(Γ+; Λα,β) is infinite whenever αβ > 4. Dynamical systems, and more specifically Perron-Frobenius operators, will play a prominent role in the presentation. |
|---|