[論文レビュー] Stability estimates for inverse problems for semi-linear wave equations on Lorentzian manifolds

Matti Lassas, Tony Liimatainen+2 more|arXiv (Cornell University)|Jun 23, 2021

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

ひとこと要約

本稿は、境界が凸でなく、光的測地線が一意に交わらないという制限を課さずに、全相対論的時空上の半線形波動方程式 $ \square_g u + q u^m = 0 $ における時間に依存するポテンシャル $ q $ の Hölder-安定回復を、Dirichlet-to-Neumann写像を用いて確立する。高次線形化法とガウスビームを用い、先行研究から制限的な幾何的仮定を除去した結果を得た。

ABSTRACT

This paper concerns an inverse boundary value problem of recovering a zeroth order time-dependent term of a semi-linear wave equation on a globally hyperbolic Lorentzian manifold. We show that an unknown potential $q$ in the non-linear wave equation $\square_g u +q u^m=0$, $m\geq 4$, can be recovered in a Hölder stable way from the Dirichlet-to-Neumann map. Our proof is based on the higher order linearization method and the use of Gaussian beams. Unlike some related works, we do not assume that the boundary is convex or that pairs of lightlike geodesics can intersect only once. For this, we introduce some general constructions in Lorentzian geometry. We expect these constructions to be applicable to studies of related problems as well.

研究の動機と目的

• 時空が全相対論的であるローレンツ多様体上における半線形波動方程式の逆問題として、時間に依存するポテンシャル $ q $ の安定性評価を確立すること。
• 先行研究で要請されていた境界の凸性や光的測地線が一意に交わることを仮定しないで、幾何的制限を除去すること。
• 非線形双曲型方程式の逆問題に適用可能な一般化されたローレンツ幾何的構成法を開発すること。
• 高次線形化法を $ m \geq 4 $ の非線形波動方程式、特に曲がった時空上に拡張すること。
• Dirichlet-to-Neumann写像が、最小限の幾何的仮定のもとで $ q $ を Hölder-安定に一意に特定できることを証明すること。

提案手法

• 非線形逆問題を、線形化された問題の系列に還元する高次線形化法を用いる。
• 局所化された波フロントを持つ解を構成するため、ガウスビームを用いる。これにより、境界付近の幾何とポテンシャル $ q $ を効果的に探査できる。
• 閉グラフ定理を適用して、線形化波動方程式に対するエネルギー推定を得る。これにより、適切に定義された問題と安定性が保証される。
• 切り捨て関数と分割単位を用いて座標チャート内に局所解を構成し、有限速度伝播性によりそれらをグローバルに貼り合わせる。
• 観測データとして Dirichlet-to-Neumann写像を用い、境界上のディリクレ境界値を解のノイマントレースにマップする。
• ソボレフ空間理論と初期・境界条件が整合する波動方程式の一意解法に依存する。

実験結果

リサーチクエスチョン

• RQ1 半線形波動方程式 $ \square_g u + q u^m = 0 $ におけるポテンシャル $ q $ は、全相対論的ローレンツ多様体上での Dirichlet-to-Neumann写像から、Hölder-安定に回復可能か？
• RQ2 高次線形化法により、境界が凸でなく、光的測地線が一意に交わらないという仮定なしに、$ q $ の Hölder-安定回復が可能か？
• RQ3 非線形波動方程式の逆問題に一般化されたローレンツ幾何的構成法として、どのような幾何的構成が必要か？
• RQ4 非線形性が $ m \geq 4 $ である場合、境界測定値における情報量はどのように向上するか？
• RQ5 線形化の高次項を用いることで、逆問題の安定性はどの程度向上するか？

主な発見

• 非線形波動方程式 $ \square_g u + q u^m = 0 $ に対して、$ m \geq 4 $ の場合、Dirichlet-to-Neumann写像から $ q $ が Hölder-安定に回復可能である。
• 境界が凸でなく、光的測地線が一意に交わらないという仮定を必要とせず、先行研究で要請されていた制限を除去した。
• 高次線形化法により、非線形逆問題が、ガウスビーム構成で解ける線形問題の系列にうまく還元された。
• 著者らは、非線形双曲型偏微分方程式の逆問題に広く応用可能な一般化されたローレンツ幾何的道具を導入した。
• エネルギー推定は閉グラフ定理を用いて導出され、ソボレフ空間上での解写像の適切な定義と安定性が保証された。
• 時間区間ごとに局所解を繰り返し構成し、有限速度伝播性と適合条件を用いてグローバル解を貼り合わせた。