[論文レビュー] The support theorem for the single radius spherical mean transform

Mark Agranovsky, Peter Kuchment|arXiv (Cornell University)|May 8, 2009

Photoacoustic and Ultrasonic Imaging参考文献 21被引用数 8

ひとこと要約

本稿は、$\mathbb{R}^n$ 上の単一半径球面平均変換について、支持定理を確立する。$f \in L^p(\mathbb{R}^n)$ で $p \leq 2n/(n-1)$ を満たす関数が、閉じた $R$-凸領域 $K$ の外部にあるすべての半径 $R$ の球面上で平均がゼロならば、$f$ は $K$ の閉包に台を持つ。この結果は、以前の単射性に関する結果を一般化し、臨界指数 $2n/(n-1)$ における鋭い閾値を示しており、調和解析と畳み込み技術を用いた自己完結的な証明が与えられる。

ABSTRACT

Let f(x) belong to L^p(R^n) and R>0. The transform is considered that integrates the function f over (almost) all spheres of radius R in R^n. This operator is known to be non-injective (as one can see by taking Fourier transform). However, the counterexamples that can be easily constructed using Bessel functions of the 1st kind, only belong to L^p if p>2n/(n-1). It has been shown previously by S. Thangavelu that for p not exceeding the critical number 2n/(n-1), the transform is indeed injective. In this article, the support theorem is proven that strengthens this injectivity result. Namely, if K is a convex bounded domain in R^n, the index p is not above 2n/(n-1), and (almost) all the integrals of $f$ over spheres of radius $R$ not intersecting K are equal to zero, then f is supported in the closure of the domain K. In fact, convexity in this case is too strong a condition, and the result holds for any what we call an R-convex domain.

研究の動機と目的

• $f \in L^p$ で $p \leq 2n/(n-1)$ のとき、$\ mathbb{R}^n$ 上の単一半径球面平均変換に対して鋭い支持定理を確立すること。
• 凸領域を超えて、より広いクラスの $R$-凸領域へ単射性の結果を一般化すること。
• 技術的結果が大部の参考文献に散らばっているのを避けて、自己完結的かつ簡潔な支持定理の証明を提供すること。
• 臨界指数 $2n/(n-1)$ が球面平均変換の単射性を決定づける役割を明らかにすること。

提案手法

• 球面調和関数におけるフーリエ級数展開を用いて、問題を径方向成分と球面調和成分に還元すること。
• 半径 $R$ の球面上のデルタ関数との畳み込みを用い、$K$ の外部で $h = f * \delta_R = 0$ となる方程式が得られること。
• 畳み込み方程式にフーリエ変換を適用し、$\widehat{h}(\xi) = \widehat{f}(\xi) \widehat{\delta_R}(\xi)$ を得、その後の分布方程式の解析を行うこと。
• 背理法と単項式の次数に関する帰納法を用い、$f$ のすべての微分が $K$ の近傍で消えることを示し、ストークスの公式と単項式への直交性を用いること。
• $R$-凸領域の概念を用い、$K$ の補集合における半径 $R$ の球の中心の集合が連結であることで定義されること。
• 中心の集合の連結性と、$f$ が $B(x,R)$ で消える点の集合の開集合・閉集合性を用いた位相的議論により、局所的な消えを $K$ の補集合全体へ拡張すること。

実験結果

リサーチクエスチョン

• RQ1 どのような $p$ と領域 $K$ の条件下で、単一半径球面平均変換は $L^p(\mathbb{R}^n)$ 上で単射となるか？
• RQ2 単射性と支持定理は、凸領域からより広い領域のクラスへ拡張可能か？
• RQ3 変換が単射でなくなる閾値を示す $p$ の鋭い境界は何か？
• RQ4 散らかった結果に依存せず、自己完結的かつ簡潔に支持定理を証明する方法は何か？

主な発見

• 球面平均変換は、$f \in L^p(\mathbb{R}^n)$ で $p \leq 2n/(n-1)$ のとき単射であり、この閾値は鋭い。
• 支持定理は、$R$-凸領域（$K$ の補集合が半径 $R$ の閉球の和集合で、中心の集合が連結）に対しても成り立つ。
• すべての半径 $R$ の球面（$K$ の外部）上で平均がゼロならば、$f$ は $K$ の閉包にコンパクトに台を持つ。
• 証明は調和解析、球面上のデルタ関数との畳み込み、単項式の次数に関する帰納法とストークスの公式を用いた局所的消えの議論に依存する。
• 関数 $f$ が $B(x,R)$ で消えるような中心 $x$ の集合は、$CK$ 内の $R$-球の中心の連結集合において、開かつ閉であるため、全体に等しくなる。これにより、$f=0$ が $\mathbb{R}^n \setminus K$ 上で成り立つ。
• この結果は、以前の単射性の結果を強化し、積分幾何学の重要な結果を明確にし、臨界指数 $2n/(n-1)$ の役割を明確にした、洗練された自己完結的証明を提供する。