[論文レビュー] Determining a nonlinear hyperbolic system with unknown sources and nonlinearity

Yi‐Hsuan Lin, Hongyu Liu+1 more|arXiv (Cornell University)|Jul 21, 2021

Numerical methods in inverse problems参考文献 42被引用数 6

ひとこと要約

この論文は、時間依存の非線形双曲型方程式における未知の非線形項および初期源（初期変位および初期速度）の復元結果を、受動的および能動的境界測定を用いて初めて確立する。高次線形化と複素幾何学的光学（CGO）解、および波動方程式の観測可能性を組み合わせることで、一般条件下で初期データと係数の同時一意性を証明し、非線形双曲型系における逆問題分野における画期的な手法を提示する。

ABSTRACT

We investigate inverse boundary problems associated with a time-dependent semilinear hyperbolic equation, where both nonlinearity and sources (including initial displacement and initial velocity) are unknown. We establish in several generic scenarios that one can uniquely determine the nonlinearity or the sources by using passive or active boundary observations. In order to exploit the nonlinearity and the sources simultaneously, we develop a new technique, which combines the observability for linear wave equations and a Runge approximation with higher order linearization for the semilinear hyperbolic equation.

研究の動機と目的

• 時間依存の非線形双曲型方程式における、未知の非線形項および未知の初期源（初期変位および初期速度）の境界逆問題を扱う。
• 境界測定値から初期データおよび非線形項が一意に特定可能となる条件を確立する。
• 高次線形化と観測可能性、CGO解を組み合わせた新技術を開発し、同時に復元を実現する。
• 既存の逆問題フレームワークを、双曲型系における未知の零次および一次非線形項を含めるように拡張する。
• 両方の源および非線形項の復元を強化するため、受動的および能動的測定戦略を統合する。

提案手法

• ディリクレ・トゥ・ノイマン写像の高次線形化を用いて、非線形項および初期データに関する情報を抽出する。
• 形 $ v = a(x,t)e^{i\tau(\eta(x)+t)} + R^{(\tau)} $ の複素幾何学的光学（CGO）解を用いて、振動的解でシステムを調べる。
• 移動方程式 $ a_t - \frac{x}{|x|} \cdot \nabla a - \frac{n-1}{2|x|}a = 0 $ を満たし、$ |\tau| \to \infty $ のとき $ L^2 $ で消える余因子 $ R^{(\tau)} $ を持つCGO解の存在を確立する。
• 線形化波動方程式の解と元の半線形系との関係を示す、双曲型型近似性質を適用する。
• 線形波動方程式の解の積の完全性を用いて、未知の係数および初期データを再構成する。
• 最初の線形化により初期データが消去され、非線形項が分離され、一意に特定可能になるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 零次係数が事前に既知である場合、受動的境界測定値から半線形双曲型方程式の初期データを一意に特定できるか？
• RQ2 どのような条件下で、能動的境界測定を用いて初期データと非線形項を同時に復元できるか？
• RQ3 高次線形化とCGO解をどのように組み合わせることで、未知の源を有する双曲型系における未知の非線形項を復元できるか？
• RQ4 観測可能性と波動解の完全性を組み合わせることで、半線形双曲型方程式における初期データと零次係数を一意に復元できるか？
• RQ5 非線形項にどのような構造的仮定を置けば、受動的または能動的測定により一意に復元可能になるか？

主な発見

• 零次係数が事前に既知である場合、受動的境界測定値から初期データを一意に特定できる。
• 非線形項が特定のクラスに属する場合、非線形項が未知であっても、受動的測定により初期データを依然として一意に復元できる。
• 許容可能な係数条件のもとで、双曲型近似性質と波動解の完全性を用いて、初期データと係数を同時に復元できる。
• DN写像の最初の線形化により初期データが消去され、非線形項が分離され、一意に特定可能になる。
• 提案手法により、線形化された対応系において、初期データと零次係数の両方を同時に復元する、初めての既知の結果が得られた（定理2.7）。
• 局所的適切性のための小さな条件は、解の存在のためのものであり、逆問題の一意性結果に影響しない。