[论文解读] 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-to-Neumann 映射进行高阶线性化，作者将拟线性电导率微分的恢复问题转化为各向异性复几何光学解乘积的完备性性质，该性质通过振幅在二维平面上的集中性得以证明。关键结果是 Dirichlet-to-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-to-Neumann 映射唯一确定完整拟线性电导率函数的结论。
• 发展并应用高阶线性化技术，将非线性反问题简化为线性化方程解的乘积的完备性问题。

提出的方法

• 对非线性 Dirichlet-to-Neumann 映射进行高阶线性化，以提取拟线性电导率微分的信息。
• 将恢复电导率对称张量微分的问题，简化为线性化电导率方程解的各向异性乘积的完备性性质。
• 利用振幅在二维平面上集中的复几何光学（CGO）解，通过积分恒等式探测张量分量。
• 利用四个 CGO 解乘积在射线上局部集中的事实，使傅里叶分析得以应用，从而证明若积分消失，则张量为零。
• 应用实 Banach 空间之间 $ C^\infty $ 映射的隐函数定理，建立在 $ C^\infty $ 正则性假设下 Dirichlet 问题的适定性。
• 通过针对具有正交相平面和零实部的精心构造的 CGO 解测试积分恒等式，证明解乘积的完备性。

实验结果

研究问题

• RQ1 在维度 $ n \geq 3 $ 下，Dirichlet-to-Neumann 映射能否唯一确定一个拟线性各向同性电导率？
• RQ2 高阶线性化技术是否允许仅从边界测量中恢复电导率函数的完整泰勒展开？
• RQ3 能否利用振幅局部化的复几何光学解，建立线性化方程解的各向异性乘积的完备性？
• RQ4 在电导率函数上，何种最小正则性条件仍能保证 Calderón 问题的全局唯一性？

主要发现

• 在全纯依赖性假设 (H1)、(H2) 下，Dirichlet-to-Neumann 映射唯一确定了 $ \Omega \times \mathbb{C} \times \mathbb{C}^n $ 中的拟线性电导率 $ \gamma $，证明了定理 1.1。
• 对于在 $ \rho $ 和 $ \mu $ 上具有 $ C^\infty $ 依赖关系的实值电导率，边界数据唯一确定了 $ \gamma $ 在 $ (0,0) $ 处的所有偏导数，如定理 1.3 所述。
• 通过使用振幅在二维平面上集中的复几何光学解，建立了各向异性解乘积的完备性性质（命题 1.2），导致沿射线的傅里叶变换为零。
• 该证明依赖于构造具有特定相位和振幅行为的 CGO 解，确保四个此类解的乘积在一条线上局部集中，从而可应用傅里叶分析推导出张量为零。
• 通过实 Banach 空间之间 $ C^\infty $ 映射的隐函数定理，建立了 Dirichlet 问题的适定性，确保了对边界数据的全纯与光滑依赖性。
• 该方法可推广至在 $ \rho $ 上光滑且在 $ \mu $ 上实解析的电导率，通过从零点的泰勒系数进行解析延拓，可完全恢复电导率函数。