[論文レビュー] Inverse problems in spacetime II: Reconstruction of a Lorentzian manifold from light observation sets

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

Geometric Analysis and Curvature Flows参考文献 12被引用数 8

ひとこと要約

本稿は、ローレンツ幾何における2つの逆問題に取り組む。1つ目は、時空領域の共形構造を時空的測地線に沿った受動的光観測から再構成すること。2つ目は、非線形性に基づく新規な手法を用いて、二次非線形項を有する半線形波動方程式の能動的逆問題を解くこと。4次元では、源から解への作用素が測地線に沿った因果的領域の被覆の位相的・微分的・共形的構造を一意に特定する。

ABSTRACT

We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are: 1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $\mu$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed. 2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $\mu$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $\mu$ and return back to $\mu$.

研究の動機と目的

• 時空領域内の点から発せられる光円錐の受動的観測から、その領域の共形型を再構成すること。
• 線形版が未解決のまま残っている非線形ハイパボリック波動方程式の逆問題を解くこと。
• 半線形波動方程式の源から解への作用素が、時空的測地線に沿った因果的影響領域における時空の完全な幾何的構造を特定することを示すこと。
• 非線形性を道具として活用する新規な手法を開発し、線形手法では解決できない逆問題を解けるようにすること。

提案手法

• 点 $ q $ からの未来光円錐と近傍 $ V $ の交わりとして定義される光観測集合 $ P_V(q) $ を用い、幾何的構造を推定する。
• 因果性条件と共形不変性を適用し、$ V $ 上のデータから未知領域 $ W \subset M $ の共形類を再構成する。
• 半線形波動方程式の非線形項を構成的手段として活用する、非線形逆問題のための新規な手法を導入する。
• コンパクト台を持つ源を $ V $ 上に与えたときの解の制限を返す源から解への作用素を用い、時空構造を回復する。
• 微局所解析と特異点の伝播技術を用い、波動方程式の解の振る舞いを分析し、幾何的データを推定する。
• 4次元時空では、源から解へのデータが、測地線 $ \mu $ から出発し再び戻る波の伝搬が可能な最大領域の位相的・微分的・共形的構造を一意に特定することを確立する。

実験結果

リサーチクエスチョン

• RQ1 時空領域内の点から発せられる光信号の受動的観測から、その領域の共形構造を再構成できるか？
• RQ2 ハイパボリック波動方程式の非線形項を、線形方程式に対応する逆問題が未解決の状態で依然として解決可能な逆問題の解法に用いることができるか？
• RQ3 4次元における半線形波動方程式の源から解への作用素は、下位の時空幾何をどの程度まで特定するか？
• RQ4 時空領域の全幾何的構造（位相的・微分的・共形的）を、時空的測地線の近傍に制限された波動データから回復することは可能か？

主な発見

• 因果性仮定のもとで、開かつ相対的にコンパクトな部分集合 $ W \subset M $ の共形型は、$ V $ 上の計量の共形類、近傍 $ V $、およびすべての $ q \in W $ に対する光観測集合 $ P_V(q) $ から一意に再構成可能である。
• 二次非線形項を有する半線形波動方程式の逆問題は、本手法により解決可能であり、その線形版は未解決のまま残っているクラスに属する。
• 4次元時空では、源から解への作用素が、測地線 $ \mu $ から出発し再び戻る波の伝搬が可能な最大領域の位相的・微分的・共形的構造を一意に特定する。
• 波動方程式の非線形性は障害ではなく、逆問題において鍵となる要因であり、線形手法では到達できない幾何的データの回復を可能にする。