[論文レビュー] The Calder\'{o}n inverse problem for isotropic quasilinear conductivities

Cătălin I. Cârstea, Ali Feizmohammadi+3 more|arXiv (Cornell University)|Mar 10, 2021

Numerical methods in inverse problems参考文献 48被引用数 33

ひとこと要約

本稿は、$ n \geq 3 $次元における非線形等方的導電率方程式の Calderón 逆問題について、全空間での一意性を確立する。著者らは、Dirichlet-Neumann写像の高次線形化を実行し、非線形導電率微分の回復を、非等方的複素幾何学的光線解の積の完全性という性質に還元する。この完全性は、2次元平面付近に振幅が集中する性質を用いて証明される。主な結果は、Dirichlet-Neumannデータが全非線形導電率関数を一意に決定することである。

ABSTRACT

We prove a global uniqueness result for the Calder\'{o}n inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes.

研究の動機と目的

• 非線形等方的導電率における Calderón 逆問題の全一意性問題を解決すること。
• 元来線形・等方的導電率に対して定式化された古典的 Calderón 問題を、導電率が解およびその勾配に依存する非線形設定に拡張すること。
• 最小限の正則性仮定のもとで、Dirichlet-Neumann写像が全非線形導電率関数を一意に決定することを確立すること。
• 高次線形化技術を構築し、非線形逆問題を線形化方程式の解の積の完全性問題に還元すること。

提案手法

• 非線形 Dirichlet-Neumann写像の高次線形化を実行し、非線形導電率微分に関する情報を抽出する。
• 導電率の対称テンソル値微分の回復問題を、線形化導電率方程式の解の非等方的積の完全性という性質に還元する。
• 振幅が2次元平面付近に集中する複素幾何学的光線（CGO）解を用い、積分恒等式を通じてテンソル成分を調べる。
• 4つのCGO解の積が特定の線（レイト）に局在化することを活用し、フーリエ解析を用いて積分が消える場合にテンソルが消えることを示す。
• 実バナッハ空間間の $ C^\infty $ マップに対する陰関数定理を適用し、$ C^\infty $ 正則性仮定のもとで Dirichlet 問題の適切な定式化を確立する。
• 直交する位相平面と実部が消えるように構築された CGO 解を用いて、積の完全性をテストすることで、解の積の完全性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq 3 $次元において、Dirichlet-Neumann写像は非線形等方的導電率を一意に特定できるか？
• RQ2 高次線形化技術により、境界測定から導電率関数の全テイラー展開が回復可能か？
• RQ3 振幅が局在化する複素幾何学的光線解を用いて、線形化方程式の解の非等方的積の完全性を確立できるか？
• RQ4 Calderón 問題における全一意性が保たれる最小の正則性条件は何か？

主な発見

• ホロモルフィック依存性仮定 (H1), (H2) のもとで、$ \Omega \times \mathbb{C} \times \mathbb{C}^n $ 上で Dirichlet-Neumann写像が非線形導電率 $ \gamma $ を一意に特定する。これは定理 1.1 の証明である。
• $ \rho $ と $ \mu $ について $ C^0 $ に依存する実数値導電率に対して、境界データは $ (0,0) $ における $ \gamma $ のすべての偏微分を一意に特定する（定理 1.3 に記載）。
• 非等方的解の積の完全性（命題 1.2）は、2次元平面付近に振幅が集中する複素幾何学的光線解を用いて確立され、その結果、線に沿ったフーリエ変換が消える。
• 証明は、特定の位相と振幅挙動を有する CGO 解の構成に依存しており、4つのこのような解の積が直線に局在化することを保証し、フーリエ解析を用いてテンソルが消えることを導く。
• 実バナッハ空間間の $ C^\infty $ マップに対する陰関数定理を用いて、境界データに対するホロモルフィックかつ滑らかな依存性を保証することで、Dirichlet 問題の適切な定式化を確立する。
• 本手法は、$ \rho $ について滑らかで、$ \mu $ について実解析的である導電率に対しても拡張可能であり、ゼロにおけるテイラー係数から解析接続を用いて導電率関数を完全に回復可能である。