[论文解读] The anisotropic Calder{ó}n problem for singular metrics of warped product type: the borderline between uniqueness and invisibility

Thierry Daudé, Niky Kamran+1 more|arXiv (Cornell University)|May 15, 2018

Numerical methods in inverse problems参考文献 27被引用 3

一句话总结

本文在具有奇异度量的扭曲积黎曼流形上建立了各向异性Calderón问题的唯一性与不可见性阈值。通过奇异Sturm-Liouville理论与Weyl-Titchmarsh函数，证明当系数属于临界$L^p$空间或$L^∞$时，Dirichlet-to-Neumann映射唯一确定度量；超过此范围时，反例表明某些区域会因边界测量而变得不可见。

ABSTRACT

In this paper, we investigate the anisotropic Calder{ó}n problem on cylindrical Riemannian manifolds with boundary having two ends and equipped with singular metrics of (simple or double) warped product type, that is whose warping factors only depend on the horizontal direction of the cylinder. By singular, we mean that these factors are only assumed to be positive almost everywhere and to belong to some L p space with 0 < p $\le$ $\infty$. Using recent developments on the Weyl-Titchmarsh theory for singular Sturm-Liouville operators, we prove that the local Dirichlet-to-Neumann maps at each end are well defined and determine the metric uniquely if: 1. (Doubly warped product case) the coefficients of the metric are L $\infty$ and bounded from below by a positive constant. 2. (Warped product case) the coefficients of the metrics belong to a critical L p space where p < $\infty$ depends on the dimension of the compact fibers of the cylinder. Finally, we show (in the warped product case and for zero frequency) that these uniqueness results are sharp by giving simple counterexamples for a class of singular metrics whose coefficients do not belong to the critical L p space. All these counterexamples lead to a region of space that is invisible to boundary measurements.

研究动机与目标

• 确定各向异性Calderón问题中奇异黎曼度量（扭曲积类型）的唯一性与不可见性之间的临界边界。
• 建立Dirichlet-to-Neumann映射在带边柱状流形上唯一确定度量的条件。
• 识别度量系数的临界可积性阈值（$L^p$或$L^∞$），超过此阈值时唯一性失效且不可见性出现。
• 构造显式反例，展示某些区域因度量变化而无法通过边界测量探测到的隐身效应。

提出的方法

• 利用最近在具有可测系数的奇异Sturm-Liouville算子上的Weyl-Titchmarsh理论进展。
• 分析由扭曲积度量中变量分离导出的径向ODE的谱理论。
• 应用复角动量法，将谱数据与柱体各端的DN映射关联。
• 通过$H^1(M)$中的弱解推导Dirichlet-to-Neumann映射，确保即使在奇异度量下仍保持适定性。
• 构造具有幂律奇点的径向ODE的显式解，并分析其$L^2$-可积性与能量条件。
• 应用能量估计与Bessel型解的渐近分析，确定有限能量解存在且唯一的条件。

实验结果

研究问题

• RQ1 在扭曲积情形下，度量系数的临界$L^p$可积性阈值是多少，可保证从DN映射唯一确定度量？
• RQ2 在双扭曲积情形下，系数的$L^∞$有界性如何影响唯一性？
• RQ3 在何种条件下奇异度量会导致不可见性，即流形的某些部分无法通过边界测量探测？
• RQ4 能否构造出DN映射无法探测到区域中度量变化的反例，即使度量在其他区域光滑？
• RQ5 紧致纤维的维数在确定唯一性临界$L^p$空间时起什么作用？

主要发现

• 在双扭曲积度量下，若系数属于$L^∞$且下界为正，则Dirichlet-to-Neumann映射唯一确定度量。
• 在扭曲积情形下，当系数属于临界$L^p$空间时唯一性成立，其中$p = \frac{2n}{n-2}$（$n > 2$），$p = ∞$（$n=2$）。
• 当度量系数低于临界$L^p$阈值时，反例表明DN映射无法区分中心区域的度量，导致不可见性。
• 反例涉及具有幂律奇点$|x - x_0|^{-r}$的度量，其中$r$超过临界指数，导致界面之间出现隐身效应。
• 在$n=3$维时，临界$L^p$空间对应$p = 3$，且当$r \to 2^-$时，度量奇异程度足以引发不可见性。
• 所有反例构造中黎曼体积均为有限，证实不可见性并非源于无穷体积，而是由奇异度量行为引起。