[论文解读] 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 problems参考文献 10被引用 3

一句话总结

本文为双曲空间和2-球面上的球平均变换提供了完整的范围描述，表明当且仅当函数满足类似于欧几里得空间中的光滑性、紧支集和正交性条件时，其位于该变换的值域中。该刻画依赖于求解达布克斯-欧拉-泊松问题，并将先前在欧几里得几何中的结果扩展至常曲率空间。

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.

研究动机与目标

• 刻画双曲空间中函数在闭球内紧支集时球平均变换的值域。
• 将已知的欧几里得空间中的范围描述结果推广至非欧几里得常曲率空间，特别是双曲几何与球面几何。
• 建立函数属于受限球平均变换值域的充分必要条件——光滑性、支集和正交性。
• 证明正交性条件源于变换的PDE结构，特别是通过达布克斯-欧拉-泊松方程的解得出。
• 证明相同的范围刻画也适用于2维球面，从而完成与欧几里得结果的类比。

提出的方法

• 使用双曲空间的单位球模型，其度量为 $ ds^2 = \frac{4}{(1-|x|^2)^2}dx^2 $，通过在测地线球面上积分来定义测地线球面与球平均变换。
• 采用球平均变换的PDE刻画：对 $ G(x,r) $ 应用算子 $ \partial_r^2 + (n-1)\coth(r)\partial_r - \Delta $，初始条件为 $ G(x,0) = f(x) $，$ G_r(x,0) = 0 $。
• 引入平移面（horospheres）与函数 $ \langle x, \eta \rangle = \log\left(\frac{1-|x|^2}{|x-\eta|^2}\right) $，以定义拉普拉斯-贝尔特拉米算子的本征函数。
• 通过要求对所有 $ \eta \in \mathbb{S}^{n-1} $ 有 $ \int_S g(x,r) \overline{e^{\mu \langle x,\eta \rangle}} d\sigma(x) = 0 $，推导出正交性条件，以确保与PDE解的相容性。
• 在 $ \overline{B} \times [0,2R] $ 上构造达布克斯-欧拉-泊松问题解的全局延拓，确保光滑性且在 $ r=2R $ 处为零。
• 通过变量分离与球谐函数方法，将PDE约化为关于径向变量的常微分方程，利用关联勒让德类型函数求解，并验证矩条件。

实验结果

研究问题

• RQ1 定义在 $ S \times \overline{\mathbb{R}}_+ $ 上的函数 $ g $，其成为双曲空间中紧支集函数的球平均变换的充分必要条件是什么？
• RQ2 双曲空间中球平均变换的范围描述与欧几里得空间中的描述相比，特别是在光滑性、支集和正交性方面有何异同？
• RQ3 在双曲情形下，正交性条件能否从其底层PDE结构中导出？它与拉普拉斯-贝尔特拉米算子的本征函数有何关系？
• RQ4 相同的范围刻画是否也适用于2维球面上的球平均变换？若成立，其与双曲情形有何关联？
• RQ5 矩条件在范围描述中起多大作用？在非欧几里得几何中，这些条件是否可被光滑性、支集和正交性条件所涵盖？

主要发现

• 双曲空间中球平均变换的值域由三个条件刻画：在 $ C_0^\infty(S \times [0,2R]) $ 中的光滑性与紧支集，以及对所有 $ \eta \in \mathbb{S}^{n-1} $ 的 $ e^{\mu \langle x, \eta \rangle} $ 的正交性。
• 正交性条件自然源于变换的PDE结构，并确保达布克斯-欧拉-泊松问题的解可光滑延拓至边界。
• PDE的解 $ G(x,r) $ 可光滑延拓至 $ \overline{B} \times [0,2R] $，且满足 $ G(x,2R) = G_r(x,2R) = 0 $，从而确认了值域刻画所要求的全局可延拓性。
• 对于2-球面，存在类似的范围描述，其条件同样为光滑性、支集与正交性，从而与欧几里得情形形成完整类比。
• 在欧几里得形式中曾必要的矩条件在此处不再需要，因为正交性条件已在双曲与球面情形中隐含了该矩条件。
• 证明依赖于达布克斯-欧拉-泊松问题的全局可解性，以及球谐函数与拉普拉斯-贝尔特拉米算子本征函数的使用，以验证值域条件。