Support theorems for horocycles on hyperbolic spaces (Q1940449)

Das klassische Träger-Theorem für die Radon-Transformation \(f\mapsto\widehat f\) auf \(\mathbb{R}^n\) besagt, dass der Träger einer stetigen schnell fallenden Funktion \(f\) auf \(\mathbb{R}^n\) in der Kugel \(\{|x|\leq R\}\) enthalten ist, wenn \(\widehat f\) auf allen Hyperebenen \(\xi\) mit \(\xi\cap\{|x|\leq R\}=\emptyset\) verschwindet. Auch für viele andere Typen von Radon-Transformationen wurden Träger-Theoreme bewiesen von der Bauart, dass der Träger einer Funktion \(f\) (mit bestimmten Eigenschaften) in einer kompakten Menge enthalten ist, falls deren Radon-Transformierte \(\widehat f\) kompakten Träger hat; dabei läßt sich meist auch eine Beziehung zwischen den Trägern von \(f\) und \(\widehat f\) angeben. Ein wichtiges Beispiel ist das Träger-Theorem für die Horozyklen-Transformation auf einem symmetrischen Raum. In der vorliegenden Arbeit wird ein Träger-Theorem für die Horozyklen-Transformation auf dem hyperbolischen Raum \(\mathbb{H}^n\) bewiesen, jedoch nicht bezogen auf den (längst erledigten) Fall einer abgeschlossenen Kugel, sondern bezogen auf einen festen Horozyklus \(\xi_0\subseteq\mathbb{H}^n\). In einem symmetrischen Raum vom Rang 1 -- also insbesondere auch in \(\mathbb{H}^n\) -- ist das Innere und das Äußere eines Horozyklus wohldefiniert. Das Träger-Theorem besagt jetzt, dass eine exponentiell fallende Funktion \(f\) stets außerhalb von \(\xi_0\) verschwindet, falls \(\widehat f(\xi)= 0\) ist für jeden außerhalb von J\(\xi_0\) gelegenen Horozyklus \(\xi\).