[論文レビュー] Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

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

Numerical methods in inverse problems参考文献 80被引用数 159

ひとこと要約

この論文は、非線形双曲型方程式を道具として用いることで、グローバルに双曲型なローレンツ多様体上の逆問題を解くための新規な手法を確立している。受動的光観測集合が時空領域の共形構造を一意に決定することを証明し、2次非線形性を有する能動的測定においては、源-解作用素が時空の因果的・微分的・共形的構造を、時系列的経路の依存領域内で完全に決定することを示している。

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$.

研究の動機と目的

• 時空領域内の源から発する光円錐の受動的観測から、その領域の共形構造を特定すること。
• 線形的手法が失敗する状況で非線形性を活用する非線形双曲型方程式の逆問題に対する新規な手法の開発。
• 源-解作用素を用いた能動的測定から、時空の位相的・微分的・共形的構造を再構成すること。
• 自然な因果的および幾何的条件下で、共形類の一意性を証明し、線形方程式に対する既知の結果を拡張すること。
• 真空中の時空において、共形因子が一意に決定されることを示し、追加の曲率制約のもとで等長性が得られることを確立すること。

提案手法

• 点源から発する光円錐と観測領域との交わりである光観測集合の族を用いて、時空領域の共形構造を再構成する。
• 非線形波干渉、特に4波干渉から生じる4次項を対象として、波フロント集合および特異性の台を研究するための微局所解析を適用する。
• 非線形波方程式の解として歪められた平面波パッケージを用い、幾何的情報を露わにする漸近展開の構成を可能にする。
• 波方程式の非線形性を活用して高次特異性を生成し、線形逆問題の限界を克服する。
• 最初の観測時刻関数とカット点推定値を用いて、観測時空とモデル多様体との間の共形微分同相写像を構築する。
• 真空中の時空において、一意的継続性の議論とリッチ曲率制約を用いて、共形因子が恒等的に消えることを示し、等長性を示す。

実験結果

リサーチクエスチョン

• RQ1 グローバルに双曲型な時空領域の共形構造は、その領域内に存在する源から発する光円錐の受動的観測から一意に特定可能か？
• RQ2 線形方程式に対して未解決の逆問題を解くために、非線形双曲型方程式を道具として用いることは可能か？
• RQ3 2次非線形性を有する半線形波方程式の源-解作用素は、時空幾何にどの程度までを決定するか？
• RQ4 真空中の時空において、共形因子がどの条件下で消え、等長性が成立するのか？
• RQ5 波干渉の微局所解析を用いて、非線形波方程式における計量情報をエンコードする特異性をどのように検出できるか？

主な発見

• 因果的および正則性の仮定の下で、相対的にコンパactsな開集合 $ W $ 内の源から発する光観測集合の族は、$ W $ 上の計量の共形類を一意に決定する。
• 4次元時空において、2次非線形性を有する半線形波方程式の源-解作用素は、時系列的経路の依存領域の位相的・微分的・共形的構造を決定する。
• この手法により、線形方程式では未解決のままの非解析的または時変設定においても、非線形方程式の逆問題を解くことが可能になる。
• 真空中の時空において、2つの等長領域間の共形因子は恒等的に消えるため、計量は共形同値ではなく、等長であることが示される。
• 最初の観測時刻関数とカット点推定値の構築により、受動的データから時空多様体の微分的構造を回復可能である。
• 一般に存在する集合で $ ilde{ ho}_{f g}(oldsymbol{ heta}) $ が消えないことにより、非線形波干渉が時空を再構成するのに十分な幾何的情報を保持することが保証される。