[論文レビュー] Unique determination of potentials and semilinear terms of semilinear elliptic equations from partial Cauchy data

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|May 20, 2012

Numerical methods in inverse problems参考文献 15被引用数 4

ひとこと要約

本稿は、2次元における半線形楕円型方程式の逆問題に関して、任意の部分境界における部分的コーシー・データから、ポテンシャル $ q $ と半線形項 $ f(x,u) $ が一意に特定可能であることを確立する。この手法は、複素幾何学的オプティクス解、カーレマン推定、漸近解析を組み合わせ、解の軌道によって定まる特定の領域内で $ q_1 = q_2 $ および $ f_1 - f_2 = 0 $ を示す。

ABSTRACT

For a semilinear elliptic equation, we prove uniqueness results in determining potentials and semilinear terms from partial Cauchy data on an arbitrary subboundary.

研究の動機と目的

• 半線形楕円型方程式の未知係数を、部分的コーシー・データから同定する逆問題に取り組む。
• 半線形項 $ f $ が既知、または特定の正則性および成長条件を満たす場合に、線形ポテンシャル $ q $ の一意同定を確立する。
• ポテンシャル $ q $ が既知であると仮定したもとで、半線形項 $ f $ の一意同定を証明する。
• $ q $ および $ f $ の結果を統合し、より強い正則性および成長条件の下で同時に一意性を達成する。

提案手法

• 指数関数的重み関数を用いた複素幾何学的オプティクス（CGO）解を用いて、半線形方程式の特別な解を構成する。
• 非線形項が存在する状況下で、解およびその勾配の振る舞いを制御するため、カーレマン推定を適用する。
• 大パrameter $ \tau \to \infty $ における漸近解析を用いて、係数の差異に関する情報を抽出する。
• CGO解の内積から生じる振動的積分を解析するため、定常位相の議論を用いる。
• 解および係数の差異を含む関数 $ \mathfrak{G}(u_1, v) $ を構築し、$ \tau \to \infty $ の極限でその値が漸近的に消えることを示す。
• 部分的コーシー・データ $ \widetilde{\Gamma} $ における処理に、トレースおよび境界積分推定を用い、特に $ \tau \to \infty $ の極限において有効に機能させる。

実験結果

リサーチクエスチョン

• RQ1 半線形楕円型方程式におけるポテンシャル $ q $ は、任意の部分境界 $ \widetilde{\Gamma} \subset \partial\Omega $ における部分的コーシー・データから、一意に同定可能か？
• RQ2 ポテンシャル $ q $ が既知である場合、半線形項 $ f(x,u) $ はどのような条件下で一意に回復可能か？
• RQ3 より強い正則性および成長仮定の下で、$ q $ と $ f(x,u) $ を同時に回復可能か？
• RQ4 非線形性 $ f $ の構造は、特に $ u $ が大きい場合に回復の一意性にどのように影響するか？

主な発見

• ポテンシャル $ q $ は、$ C^{2+\alpha} $ の正則性および $ f $ に対する標準的な成長条件を満たす場合、部分的コーシー・データ $ \mathcal{C}_{q_1,f_1} = \mathcal{C}_{q_2,f_2} $ が等しい限り、$ \Omega $ 全体で一意に特定可能である。
• ポテンシャル $ q $ が既知で、$ f \in C^{3+\alpha} $ かつ $ y=0 $ で適切な成長および消失条件を満たす場合、半線形項 $ f $ は集合 $ \bigcup_{j\in\{1,2\}}\bigcup_{F\in\mathcal{U}_j}\mathcal{O}_F $ 内で一意に特定可能である。
• より強い正則性および成長仮定の下で、$ q $ と $ f $ の両方が集合 $ \bigcup_{j\in\{1,2\}}\bigcup_{F\in\mathcal{U}_j}\mathcal{O}_F $ 内で同時に一意に特定可能である。
• 解のコンパクト部分集合における事前 $ L^\infty $ 界のため、$ y $ が任意に大きい場合に $ f $ を回復できないことが示され、一意性の範囲が制限される。
• 内積 $ \mathfrak{G}(u_1, v) $ の漸近解析により、定常位相の公式が得られ、差 $ q_1 - q_2 $ が分離され、密度による議論で任意の内部点で $ q_1 = q_2 $ が証明される。
• 漸近展開における境界積分項は $ o(1/\tau) $ のオーダーで消えるため、振動的積分項によって点での $ q_1 - q_2 $ の回復が可能となる。