[Paper Review] Range description for a spherical mean transform on spaces of constant curvatures

Linh V. Nguyen|arXiv (Cornell University)|Jul 8, 2011

Numerical methods in inverse problems10 references3 citations

TL;DR

This paper provides a complete range description for the spherical mean transform on hyperbolic spaces and the 2-sphere, showing that a function lies in the range if and only if it satisfies smoothness, support, and orthogonality conditions analogous to those in Euclidean spaces. The characterization relies on solving a Darboux-Euler-Poisson problem and extends prior results from Euclidean geometry to spaces of constant curvature.

ABSTRACT

We describe the range of a restricted spherical mean transform, which sends a function supported inside a closed ball in a hyperbolic space to its mean values on the geodesics spheres centered at the boundary of the ball. The description resembles that of the same transform on the Euclidean spaces obtained by Mark Agranovsky, David Finch, and Peter Kuchment [Inverse Problems and Imaging, 3(3):373--382, 2009] and Mark Agranovsky and Linh V. Nguyen [J. Anal. Math., 112:351--367, 2010]. We also derive a similar characterization for the corresponding transform on the two dimensional spherical space.

Motivation & Objective

• To characterize the range of the spherical mean transform on hyperbolic spaces where functions are supported in a closed ball.
• To extend the known range descriptions from Euclidean spaces to non-Euclidean spaces of constant curvature, specifically hyperbolic and spherical geometries.
• To establish necessary and sufficient conditions—smoothness, support, and orthogonality—for a function to be in the range of the restricted spherical mean transform.
• To prove that the orthogonality condition arises from the PDE structure of the transform, particularly through solutions to the Darboux-Euler-Poisson equation.
• To demonstrate that the same range characterization applies to the 2-dimensional sphere, completing the analogy with Euclidean results.

Proposed method

• Use the unit ball model of hyperbolic space with metric $ ds^2 = \frac{4}{(1-|x|^2)^2}dx^2 $, defining geodesic spheres and the spherical mean transform via integration over these spheres.
• Employ the PDE characterization of the spherical mean transform: $ \partial_r^2 + (n-1)\coth(r)\partial_r - \Delta $ applied to $ G(x,r) $, with initial conditions $ G(x,0) = f(x) $, $ G_r(x,0) = 0 $.
• Introduce horospheres and the function $ \langle x, \eta \rangle = \log\left(\frac{1-|x|^2}{|x-\eta|^2}\right) $ to define eigenfunctions of the Laplace-Beltrami operator.
• Derive the orthogonality condition by requiring that $ \int_S g(x,r) \overline{e^{\mu \langle x,\eta \rangle}} d\sigma(x) = 0 $ for all $ \eta \in \mathbb{S}^{n-1} $, ensuring compatibility with the PDE solution.
• Construct a global extension of the solution to the Darboux-Euler-Poisson problem on $ \overline{B} \times [0,2R] $, ensuring smoothness and vanishing at $ r=2R $.
• Use separation of variables and spherical harmonics to reduce the PDE to an ODE in the radial variable, solving it via associated Legendre-type functions and verifying the moment condition.

Experimental results

Research questions

• RQ1 What are the necessary and sufficient conditions for a function $ g $ defined on $ S \times \overline{\mathbb{R}}_+ $ to be the spherical mean transform of a compactly supported function in hyperbolic space?
• RQ2 How does the range description of the spherical mean transform on hyperbolic space compare to that in Euclidean space, particularly in terms of smoothness, support, and orthogonality?
• RQ3 Can the orthogonality condition in the hyperbolic setting be derived from the underlying PDE structure, and how does it relate to eigenfunctions of the Laplace-Beltrami operator?
• RQ4 Does the same range characterization hold for the spherical mean transform on the 2-dimensional sphere, and if so, how is it related to the hyperbolic case?
• RQ5 To what extent do moment conditions play a role in the range description, and can they be subsumed by the smoothness, support, and orthogonality conditions in non-Euclidean geometries?

Key findings

• The range of the spherical mean transform on hyperbolic space is characterized by three conditions: smoothness and compact support in $ C_0^\infty(S \times [0,2R]) $, and orthogonality to all functions $ e^{\mu \langle x, \eta \rangle} $ for $ \eta \in \mathbb{S}^{n-1} $.
• The orthogonality condition arises naturally from the PDE structure of the transform and ensures that the solution to the Darboux-Euler-Poisson problem extends smoothly to the boundary.
• The solution $ G(x,r) $ to the PDE extends smoothly to $ \overline{B} \times [0,2R] $ with $ G(x,2R) = G_r(x,2R) = 0 $, confirming the global extendibility required for the range characterization.
• For the 2-sphere, a similar range description holds, with the same conditions of smoothness, support, and orthogonality, establishing a complete analogy with the Euclidean case.
• The moment condition, which was necessary in some Euclidean formulations, is not required here because the orthogonality condition already implies it in the hyperbolic and spherical settings.
• The proof relies on the global solvability of the Darboux-Euler-Poisson problem and the use of spherical harmonics and eigenfunctions of the Laplace-Beltrami operator to verify the range conditions.