[論文レビュー] Seeing through spacetime

Yaroslav Kurylev, Matti Lassas+1 more|arXiv (Cornell University)|May 14, 2014

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

ひとこと要約

この論文は、非線形波方程式 $ abla_g u + a u^2 = F$ を用いて、局所的に双曲的 Lorentz 時空における逆問題を解くための新しい手法を開発する。非線形性を活用することで、能動的測定を受動的観測に還元し、時空の位相的・微分的・共形構造を時空の時空的測地線の近傍でのデータから回復可能にする。また、光円錐観測から共形型（Ricci平坦性下では完全な計量）を特定可能とする。

ABSTRACT

We study two inverse problems on a globally hyperbolic Lorentzian manifold (M,g). We consider measurements done in a neighborhood V of a time-like, future directed geodesic µ that connects p − to p + . The studied problems are: 1. Active measurements in spacetime: We consider inverse problems for non-linear hyperbolic equations and develop a method that utilizes the non-linearity as a benefit. The method is demonstrated for the non-linear wave equationgu + au 2 = F. We consider the source-to- solution map LV : F → u|V that maps the source F supported on V to the restriction of the solution u on V. When M is 4-dimensional, we show that the set V , the metric g|V on it, and the map LV determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from µ and return back to µ. We use the non-linearity of the wave equation to reduce the problem of active measurements to passive measurements. 2. Passive observations in spacetime: We assume that we are given V , g|V, and the light observations sets PV (q) corresponding to all (or a dense subset of) source points q in W ⊂ M. The light observation set PV (q) is the intersection of V and the light-cone emanating from the point q. When W ⊂ M is a relatively compact, connected, open set which all points are in the chronological past of the point p + but not in the past of the point p − , we show that the given data determine the conformal type of (W,g|W). Under assumption that the space-time is Ricci-flat we can also determine the whole metric tensor in W. The methods developed here have the potential to be applied to a large class of inverse problems for non-linear hyperbolic equations en- countered in various practical imaging problems and other problems in mathematical physics.

研究の動機と目的

• 時空における限られた測定から時空再構成を目的とした、Lorentz 幾何における非線形双曲型方程式の逆問題を扱う。
• 波方程式の非線形性が、能動的測定を受動的測定に変換できるように活用されることを示し、データ収集を簡素化する。
• 未来の点の歴史的過去にある源からの光円錐観測から、時空の共形構造を回復する。
• Ricci平坦性の下で、比較的小さな領域における受動的観測から、完全な計量テンソルを特定できることを示す。
• 非線形双曲型偏微分方程式を含む、画像処理および数学的物理の広範な分野に適用可能なフレームワークを確立する。

提案手法

• 研究は、時空的測地線 $\mu$ の近傍 $V$ における非線形波方程式 $\Box_g u + a u^2 = F$ の源から解への写像 $L_V: F \mapsto u|_V$ を用いて能動的測定をモデル化する。
• 非線形性を活用して、直接的な源の注入を回避するための追加情報が得られ、能動的測定データを受動的観測に還元可能である。
• 受動的観測では、各源点 $q \in W \subset M$ からの未来光円錐と $V$ の交差として定義される光観測集合 $P_V(q)$ に依存する。
• 解析では $W$ が相対的にコンパクトで、連結であり、$p^+$ の歴史的過去にあるが $p^-$ の歴史的過去ではないことを仮定し、$q$ から $V$ への因果的伝播を保証する。
• 光円錐データ $P_V(q)$ から $W$ の共形構造が再構築され、Ricci平坦性の下では完全な計量テンソルが特定される。
• 局所的双曲性と波の因果的伝播に依拠することで、再構築の一意性と安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 双曲型波方程式における非線形性を用いて、時空における能動的逆問題を受動的問題に変換できるか？
• RQ2 時空的測地線の近傍での測定から、時空の位相的・微分的・共形的構造をどの程度回復できるか？
• RQ3 時空領域の共形型は、その歴史的過去にある源からの光円錐観測のみから特定可能か？
• RQ4 Ricci平坦性などの幾何的条件下で、完全な計量テンソルは受動的データから再構築可能か？
• RQ5 本手法は、数学的物理における非線形双曲型方程式を含む逆問題にどの程度一般化可能か？

主な発見

• 非線形波方程式 $\Box_g u + a u^2 = F$ の源から解への写像 $L_V$ は、測地線 $\mu$ に到達・再び戻る波が伝播可能な時空領域の位相的・微分的・共形的構造を決定する。
• 非線形性のおかげで、能動的測定から受動的測定への還元が可能となり、直接的な源の注入を要しない再構築が可能となる。
• $V$、$g|_V$、および $W$ の稠密な部分集合の源 $q$ に対する光観測集合 $P_V(q)$ が与えられたとき、$W$ の共形型は一意に決定される。
• 時空が Ricci平坦である場合、同じ受動的データから $W$ 上の完全な計量テンソルが特定可能である。
• 提示された幾何的および因果的条件下で、4次元の局所的に双曲的時空において、結果は成り立つ。
• 本フレームワークは、画像処理および数学的物理における非線形双曲型方程式を含む広範な逆問題に一般化可能である。