[論文レビュー] 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を径方向変数に関する常微分方程式（ODE）に還元し、関連するルジャンドル関数型の関数を用いて解き、モーメント条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 関数 $ g $ が双曲空間上、$ S \times \overline{\mathbb{R}}_+ $ に定義されているとき、それがコンパクト台付き関数の球面平均変換であるための必要十分条件は何か？
• 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次元球面に対しても、同様の範囲記述が成り立ち、滑らかさ、台、直交性の条件が同じであるため、ユークリッドの場合との完全な類似性が確立される。
• 一部のユークリッド形式において必要であったモーメント条件は、本稿の設定では不要である。なぜなら、直交性条件が双曲空間および球面設定においてすでにそれを含意しているからである。
• 証明は、ダーブル・オイラー・プアッソン問題のグローバル可解性と、球面調和関数およびラプラシアン＝ベルトラミー作用素の固有関数の使用に依拠しており、範囲条件の検証がなされている。