[论文解读] Recovery of non compactly supported coefficients of elliptic equations on an infinite waveguide

Yavar Kian|arXiv (Cornell University)|Sep 6, 2017

Numerical methods in inverse problems参考文献 49被引用 7

一句话总结

本文通过复几何光学解与Carleman估计，首次实现了在无限波导中从部分边界测量数据唯一恢复非紧支集电势。关键结果表明，即使电势非紧支集或非周期，只要Dirichlet-to-Neumann映射在超过一半的边界上定义，即可唯一确定电势。

ABSTRACT

We consider the unique recovery of a non compactly supported and non periodic perturbation of a Schr\\"odinger operator in an unbounded cylindrical domain, also called waveguide, from boundary measurements. More precisely, we prove recovery of general class of electric potentials from the partial Dirichlet-to-Neumann map, where the Dirichlet data is supported on slightly more than half of the boundary and the Neumann data is taken on the other half of the boundary. We apply this result in different context including recovery of some general class of coefficients from measurements on a bounded subset and recovery of an electric potential, supported on an unbounded cylinder, of a Schr\\"odinger operator in a slab.

研究动机与目标

• 解决在无界柱形区域（无限波导）中，从部分边界测量数据唯一恢复非紧支集电势的反问题。
• 将现有反边界值问题结果推广至具有非紧系数的无界域。
• 在部分数据条件下，利用Dirichlet数据在超过一半边界上支持、Neumann数据在剩余部分支持的设定，建立波导中Schrödinger算子的唯一性。
• 将结果应用于平板几何中电势的恢复，该问题在浅海声学与纳米结构中有实际应用价值。
• 通过结合Carleman估计、复几何光学解与密度论证，克服非紧支集带来的挑战。

提出的方法

• 在无限波导中，利用相位函数与大参数渐近展开构造Schrödinger方程的复几何光学（CGO）解。
• 应用一种带权重函数的Carleman估计，权重函数依赖于方向θ ∈ S¹，以控制解的行为并推导稳定性界。
• 通过将电势对称延拓至更大区域，利用对称性构造满足所需边界条件的解。
• 使用密度论证证明有界子区域中的解在全区域中稠密，从而实现估计的延拓。
• 将Carleman估计与DN映射数据结合，导出涉及两个电势差的积分恒等式。
• 取大参数ρ → ∞的极限，证明电势差与振荡函数的L²内积趋于零，从而得出唯一性。

实验结果

研究问题

• RQ1 能否从部分边界测量数据唯一恢复无限波导中非紧支集电势？
• RQ2 在无界柱形域中，当Dirichlet-to-Neumann映射在略超过一半边界上定义时，是否能唯一确定电势？
• RQ3 复几何光学方法与Carleman估计能否被调整以处理无界域中的非紧系数？
• RQ4 如何将恢复结果推广至电势支持在无限圆柱上的平板几何情形？
• RQ5 在何种几何与数据条件下，即使电势非紧支集，仍能实现电势的唯一确定？

主要发现

• Dirichlet-to-Neumann映射限制在子集G ⊂ ∂Ω上，其中Dirichlet数据在包含θ₀阴影面的集合K上支持，可唯一确定电势q ∈ L∞(Ω)。
• 该结果适用于一般L∞电势，无需假设其紧支集或周期性，扩展了以往仅限于紧支集或周期系数的结论。
• 证明表明，当ρ → ∞时，L²内积∫Ω (q₁−q₂)v₁v₂ dx → 0，从而得出q₁ = q₂。
• 该方法依赖于构造具有特定指数权重的CGO解，并证明渐近展开中误差项的衰减估计。
• 关键技术步骤是使用含方向θ且满足θ₁ > 0的权重函数的Carleman估计，从而在波导中实现对解的有效控制。
• 该结果被应用于平板区域中电势的恢复，表明相同的唯一性框架适用于浅海声学与纳米结构中的模型。