[論文レビュー] Invariant distributions, Beurling transforms and tensor tomography in higher dimensions

Gabriel P. Paternain, Mikko Salo+1 more|Apollo (University of Cambridge)|Apr 28, 2014

Mathematical Analysis and Transform Methods参考文献 29被引用数 9

ひとこと要約

この論文は、不変分布を用いて共役測地線線形積分変換の上への性質を確立することで、2次元から高次元へのテンソルトモグラフィーの結果を拡張する。アノソフ多様体におけるペストフ恒等式と亜楕円的推定、非正曲率多様体におけるベルリング変換の収縮性を用い、終端値条件の下で対称テンソル場に対する測地線積分変換の単射性を証明することで、高次元におけるスペクトル剛性および逆問題理論の進展を図る。

ABSTRACT

In the recent articles \cite{PSU1,PSU3}, a number of tensor tomography results were proved on two-dimensional manifolds. The purpose of this paper is to extend some of these methods to manifolds of any dimension. A central concept is the surjectivity of the adjoint of the geodesic ray transform, or equivalently the existence of certain distributions that are invariant under geodesic flow. We prove that on any Anosov manifold, one can find invariant distributions with controlled first Fourier coefficients. The proof is based on subelliptic type estimates and a Pestov identity. We present an alternative construction valid on manifolds with nonpositive curvature, based on the fact that a natural Beurling transform on such manifolds turns out to be essentially a contraction. Finally, we obtain uniqueness results in tensor tomography both on simple and Anosov manifolds that improve earlier results by assuming a condition on the terminator value for a modified Jacobi equation.

研究の動機と目的

• 2次元テンソルトモグラフィーの結果を任意次元の多様体に一般化すること。
• 制御されたフーリエ係数を持つ不変分布の構成を用いて、共役線形積分変換 $ I_m^* $ の上への性質を確立すること。
• アノソフ多様体および非正曲率多様体において、終端値条件の下で測地線積分変換 $ I_m $ の単射性を証明すること。
• $ L^2 $-恒等式と曲率に基づく推定を用いて、調和解析、力学系、幾何的逆問題を統合すること。
• $ \alpha $-制御多様体と終端値を用いて、アノソフ測地線フローの新たな特徴付けを提供すること。

提案手法

• 測地線ベクトル場 $ X $、垂直および水平勾配 $ \overset{\tt{v}}{\nabla}, \overset{\tt{h}}{\nabla} $、曲率 $ K $ を結ぶ基礎的 $ L^2 $-恒等式としてペストフ恒等式を用いる。
• 亜楕円的 $ L^2 $-推定を適用し、最初のフーリエ係数が制御された不変分布の構成により、アノソフ多様体上での $ I_0^* $ の上への性質を証明する。
• 断面曲率 $ K \leq 0 $ のとき、対称テンソル場へのベルリング変換が収縮的であるとみなせるようになり、不変分布の代替的構成を可能にする。
• $ \alpha $-制御多様体を定義し、終端値 $ \beta_{\text{Ter}} $ を用いて非正曲率とアノソフ条件の間を補間する。
• 単位接束体 $ SM $ 上での球面調和関数展開を用い、関数を分解し、$ X = X_+ + X_- $ が異なるフーリエモードに与える作用を分析する。
• 交換子恒等式とギュイユム＝カジダンエネルギー恒等式を用い、ペストフ恒等式と曲率項を関連づける。特に2次元の場合に有効である。

実験結果

リサーチクエスチョン

• RQ1 不変分布を用いて、高次元における共役線形積分変換 $ I_m^* $ の上への性質を確立できるか？
• RQ2 亜楕円的推定とペストフ恒等式は、アノソフ多様体上での制御されたフーリエ係数を持つ不変分布の構成をどのように支援するか？
• RQ3 ベルリング変換は、非正曲率多様体上での不変分布の構成において、どのような役割を果たすか？
• RQ4 修正されたジャコビ方程式の終端値 $ \beta_{\text{Ter}} $ は、線形積分変換 $ I_m $ の単射性にどのように影響するか？
• RQ5 $ \alpha $-制御多様体の概念は、高次元におけるアノソフ測地線フローの力学的特徴付けを提供できるか？

主な発見

• 任意のアノソフ多様体上には、最初のフーリエ係数が制御された不変分布が存在し、亜楕円的 $ L^2 $-推定とペストフ恒等式を用いて構成される。
• 非正曲率多様体上では、トレースレス対称テンソル場へのベルリング変換は本質的に収縮的であり、不変分布の代替的構成を可能にする。
• 亜楕円的推定とペストフ恒等式を用いて、アノソフ多様体上での $ I_0^* $ の上への性質が確立され、これにより $ I_0 $ の単射性が導かれる。
• $ m \geq 1 $ の場合、終端値 $ \beta_{\text{Ter}} $ に関する条件の下で $ I_m^* $ の上への性質が証明され、アノソフ多様体および非正曲率多様体上での $ I_m $ の単射性が得られる。
• $ u \in \Omega_1 $ に対して $ \|X_-u\| \leq \sqrt{2}\|X_+u\| $ が平坦な場合に最良であることが示され、以前の研究 [GK80c] の定数に修正が必要であることを示唆する。
• ペストフ恒等式とギュイユム＝カジダン恒等式は、和と再ラベル化の下で等価であることが示され、特に $ \Lambda_k $ 成分に制限すると前者は後者に還元される。