[论文解读] A "milder" version of Calder\'on's inverse problem for anisotropic conductivities and partial data

El Maati Ouhabaz|arXiv (Cornell University)|Jan 29, 2015

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

一句话总结

本文提出了一种基于谱理论的证明方法，证明了在部分 Dirichlet-to-Neumann 数据下，各向异性的椭圆算子之间的酉等价性。结果表明，若其部分 D-t-N 映射在具有聚点的集合上一致，则在 Robin、混合或 Dirichlet 边界条件下，这些算子彼此酉等价。关键结果通过避免依赖唯一性延拓和算子扩张理论，转而利用特征值的单调性及 D-t-N 映射的全纯性，扩展了先前的工作。

ABSTRACT

Given a general symmetric elliptic operator $$ L\_{a} := \sum\_{k,,j=1}^d \p\_k (a\_{kj} \p\_j) + \sum\_{k=1}^d a\_k \p\_k - \p\_k(\overline{a\_k} .) + a\_0$$we define the associated Dirichlet-to-Neumann (D-t-N) operator with partial data, i.e., data supported in a part of the boundary. We prove positivity, $L^p$-estimates and domination properties for the semigroup associated with this D-t-N operator. Given $L\_a $ and $L\_b$ of the previous type with bounded measurable coefficients $a = \{a\_{kj}, \ a\_k, a\_0 \}$ and $b = \{b\_{kj}, \ b\_k, b\_0 \}$, we prove that if their partial D-t-N operators (with $a\_0$ and $b\_0$ replaced by $a\_0 -\la$ and $b\_0 -\la$) coincide for all $\la$, then the operators $L\_a$ and $L\_b$, endowed with Dirichlet, mixed or Robin boundary conditions are unitary equivalent. In the case of the Dirichlet boundary conditions, this result was proved recently by Behrndt and Rohleder \cite{BR12} for Lipschitz continuous coefficients. We provide a different proof which works for bounded measurable coefficients and other boundary conditions.

研究动机与目标

• 通过谱理论，在部分边界测量下建立各向异性椭圆算子的酉等价性。
• 为 Behrndt 与 Rohleder 关于 D-t-N 映射唯一性的结果提供一种替代证明，适用于 Robin、混合和 Dirichlet 边界条件。
• 减弱对系数正则性的假设，尤其在 d = 2 维时，不再需要 Lipschitz 连续性。
• 证明 D-t-N 算子和 Robin 正则化椭圆算子的特征值关于 Robin 参数严格单调。

提出的方法

• 在 ∂Ω 的子集 Γ1 ⊂ ∂Ω 上，通过椭圆方程 La(λ)u = 0 的弱解，定义部分数据的 Dirichlet-to-Neumann (D-t-N) 算子。
• 利用 D-t-N 映射 ⟨NΓ1,a(λ)ϕ, ψ⟩ 在 C ∖ σ(LD_a) 上的全纯性，将 D-t-N 映射相等性从实轴扩展至整个复平面。
• 通过极小-极大原理和唯一性延拓，建立特征值 λμ_a,k 关于 Robin 参数 μ 的严格单调性。
• 证明 D-t-N 映射相等性蕴含 Robin 正则化算子 Lμ_a 和 Lμ_b 的谱和重数完全相同。
• 通过取极限 μ → −∞ 恢复 Dirichlet 情况，表明 LD_a 和 LD_b 的特征值具有相同的重数，从而证明其酉等价性。
• 构造 Lμ_a 和 Lμ_b 特征基之间的酉映射，证明所有边界条件下算子的酉等价性。

实验结果

研究问题

• RQ1 在何种条件下，部分 Dirichlet-to-Neumann 映射的相等性可推出其对应椭圆算子的酉等价性？
• RQ2 能否在不假设系数 Lipschitz 连续性的前提下，证明 Calderón 反问题部分数据唯一性结果？
• RQ3 Robin 正则化算子 Lμ_a 的谱行为如何依赖于参数 μ？
• RQ4 D-t-N 映射的全纯性在将相等性从实数域扩展至复数域中起何作用？
• RQ5 能否仅凭相同的 D-t-N 数据，建立具有不同边界条件（Robin、混合、Dirichlet）算子之间的酉等价性？

主要发现

• 若部分 D-t-N 映射 NΓ1,a(λ) 和 NΓ1,b(λ) 在 ρ(LD_a) ∩ ρ(LD_b) 中具有聚点的集合上对所有 λ 一致，则在 Robin、混合或 Dirichlet 边界条件下，La 和 Lb 彼此酉等价。
• Robin 正则化算子 Lμ_a 和 Lμ_b 的特征值关于 μ 严格递减，确保了谱对应关系的单射性。
• 对所有 μ ∈ ℝ，Lμ_a 和 Lμ_b 的谱和重数完全相同，该结论通过 D-t-N 映射相等性与特征值单调性共同确立。
• 在极限 μ → −∞ 下恢复 Dirichlet 情况，表明 λD_a,k = λD_b,k 且重数相同，从而推出 LD_a 和 LD_b 的酉等价性。
• 对所有 λ ∉ σ(LD_a) = σ(LD_b)，(λ − Lμ_a) 的核的迹等于 (λ − Lμ_b) 的核的迹，确认了边界上谱的一致性。
• 证明过程在主要论证中避免使用算子扩张理论和唯一性延拓，转而依赖谱理论与全纯函数演算。