[論文レビュー] A generalization of inversion formulas of Pestov and Uhlmann

Venkateswaran P. Krishnan|ArXiv.org|Dec 8, 2007

Numerical methods in inverse problems参考文献 2被引用数 5

ひとこと要約

本稿は、2次元単純リーマン多様体上の測地線ラジアル変換のペスタフ＝ウルマンの逆公式を一般化し、ガウス曲率が定数に近い（すなわち、||∇K||_{C⁰} が小さい）場合に、逆公式が収束するノイマン級数展開に変わるこを示している。主な結果は、この曲率条件のもとで、演算子 𝒲 および (𝒲*)² が小さいノルムを持つことが示され、定数曲率がなくても安定な逆公式が級数展開によって得られることである。

ABSTRACT

In this note, we give a generalization of the inversion formulas of Pestov-Uhlmann for the geodesic ray transform of functions and vector fields on simple 2-dimensional manifolds of constant curvature. The inversion formulas given here hold for 2-dimensional simple manifolds whose curvatures close to a constant.

研究の動機と目的

• 定数曲率の多様体でのペスタフとウルマンの正確な逆公式が、これまで定数曲率に限られていたが、これを曲率が定数に近い2次元単純リーマン多様体のより広いクラスへ拡張すること。
• 曲率の変動が小さい条件下で、関数およびベクトル場の測地線ラジアル変換に対する安定的かつ収束する逆公式を確立すること。
• 逆公式の誤差が曲率の勾配にどのように依存するかを定量的に特定し、||∇K||_{C⁰} が十分に小さいときの収束を保証すること。

提案手法

• 測地線ラジアル変換と水平微分作用素 𝒫⊥ を含む積分作用素 𝒲 に対する境界を、曲率の勾配 ∇K の関数として導出する。
• 測地線に沿ったジュリア型分解を用いて、𝒲 のカーネルを、スカラー・ジュリア方程式 a'' + Ka = 0 を満たす関数 a(x,ξ,t) および b(x,ξ,t) で表現する。
• 関数 q = ∂θ(a/b) 及びその同次化形 Q(x,tξ) = tq(x,ξ,t) を導入し、これらは 𝒲 の積分カーネルに現れる。
• 演算子ノルム ||𝒲||_{L²→C∞} が ||∇K||_{C⁰} の定数倍で有界であることを示し、||∇K|| が小さいとき ||𝒲|| < 1 となることを示す。
• ノイマン級数展開 (I + 𝒲²)^{-1} を用いて測地線ラジアル変換を逆転し、元のフレドホルム型の公式を定数曲率でない設定へ一般化する。
• 同様の枠組みを、随伴作用素 (𝒲*)² を用いたソリノイダル成分へ適用することで、ベクトル場に対しても同様の結果を確立する。

実験結果

リサーチクエスチョン

• RQ1 ペスタフ＝ウルマンの測地線ラジアル変換の逆公式は、定数曲率の多様体を越えて拡張可能か？
• RQ2 非定数曲率の設定において、逆公式の収束を保証する曲率勾配の条件は何か？
• RQ3 曲率勾配の大きさは、逆公式の安定性および収束性にどのように影響するか？
• RQ4 曲率の変動が小さいとき、フレドホルム型の逆公式は収束するノイマン級数展開に変換可能か？
• RQ5 演算子ノルム ||𝒲|| が曲率勾配 ∇K にどのように依存するか、正確に特定できるか？

主な発見

• 演算子 𝒲 は、ノルム ||𝒲||_{L²→C∞} が ||∇K||_{C⁰} の定数倍で有界であることが示され、曲率の変動と逆公式の安定性の間の定量的関係が確立された。
• ||∇K||_{C⁰} が十分に小さいとき、||𝒲|| < 1 であるため、関数の逆転におけるノイマン級数 (I + 𝒲²)^{-1} の収束が保証される。
• 関数の逆公式は、f = (I + 𝒲²)^{-1}(1/(4π) δ⊥ I₁* (α* H(I₀f)⁻|_{∂₊SM})) で与えられ、f ∈ L²(M) に対して有効である。
• ベクトル場に対しても同様の公式が H₀¹(M) 上で成り立ち、h = (I + (𝒲*)²)^{-1}(1/(4π) I₀* (α* H(I₁ℋ⊥h)⁺|_{∂₊SM})) と表される。
• 曲率勾配が一様に有界かつ小さいという条件下で、ノイマン級数の収束が保証される。
• 元のペスタフ＝ウルマンの公式は定数曲率の場合にのみ正確であったが、本結果により、その近傍の全多様体へ一般化された。