Digitala Vetenskapliga Arkivet

Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Perron-Frobenius operators and the Klein-Gordon equation
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).ORCID iD: 0000-0002-4971-7147
2014 (English)In: Journal of the European Mathematical Society (Print), ISSN 1435-9855, E-ISSN 1435-9863, Vol. 16, no 1, p. 31-66Article in journal (Refereed) Published
Abstract [en]

For a smooth curve Gamma and a set Lambda in the plane R-2, let AC(Gamma; Lambda) be the space of finite Borel measures in the plane supported on Gamma, absolutely continuous with respect to arc length and whose Fourier transform vanishes on Lambda. Following [12], we say that (Gamma, Lambda) is a Heisenberg uniqueness pair if AC(Gamma; Lambda) = {0}. In the context of a hyperbola Gamma, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets Gamma of a collection of solutions to the Klein-Gordon equation. In this work, we mainly address the issue of finding the dimension of AC(Gamma; Lambda) when it is nonzero. We will fix the curve Gamma to be the hyperbola x(1)x(2) = 1, and the set Lambda = Lambda(alpha,beta) to be the lattice-cross Lambda(alpha,beta) = (alpha Zeta x {0}) boolean OR ({0} x beta Z), where alpha, beta are positive reals. We will also consider Gamma(+), the branch of x(1)x(2) = 1 where x(1) > 0. In [12], it is shown that AC(Gamma; Lambda(alpha,beta)) = {0} if and only if alpha beta <= 1. Here, we show that for alpha beta > 1, we get a rather drastic "phase transition": AC(Gamma; Lambda(alpha,beta)) is infinite-dimensional whenever alpha beta > 1. It is shown in [13] that AC(Gamma(+); Lambda(alpha,beta)) = {0} if and only if alpha beta < 4. Moreover, at the edge alpha beta = 4, the behavior is more exotic: the space AC(Gamma(+); Lambda(alpha,beta)) is one-dimensional. Here, we show that the dimension of AC(Gamma(+); Lambda(alpha,beta)) is infinite whenever alpha beta > 4. Dynamical systems, and more specifically Perron-Frobenius operators, play a prominent role in the presentation.

Place, publisher, year, edition, pages
2014. Vol. 16, no 1, p. 31-66
Keywords [en]
Trigonometric system, inversion, Perron-Frobenius operator, Koopman operator, invariant measure, Klein-Gordon equation, ergodic theory
National Category
Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-139512DOI: 10.4171/JEMS/427ISI: 000328255500002Scopus ID: 2-s2.0-84890361563OAI: oai:DiVA.org:kth-139512DiVA, id: diva2:687413
Funder
Swedish Research Council
Note

QC 20140114

Available from: 2014-01-14 Created: 2014-01-14 Last updated: 2022-06-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hedenmalm, Håkan
By organisation
Mathematics (Div.)
In the same journal
Journal of the European Mathematical Society (Print)
Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 75 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf