Corrosion detection by identification of a nonlinear Robin boundary condition

技术摘要：通过识别非线性罗宾边界条件进行腐蚀检测

问题表述
本文研究了一个由腐蚀检测引发的逆边值问题。物理模型描述了有界连通区域 $\Omega \subset \mathbb{R}^n$（$n \geq 2$）内的电势 $u$，该区域具有 $C^1$ 边界。边界被划分为可及区域 $\Gamma_A$ 和不可及区域 $\Gamma_I$，其中在 $\Gamma_A$ 上给定电流 $f$ 并测量电压，而在 $\Gamma_I$ 上可能发生腐蚀。

控制方程为 $\Omega$ 内的电导率方程 $-\text{div}(\gamma\nabla u) = 0$，其中电导率 $\gamma$ 是对称且一致椭圆的。边界条件如下：

1. 诺伊曼条件 在 $\Gamma_A$ 上：$\partial_{\nu,\gamma}u = f$。
2. 非线性罗宾条件 在 $\Gamma_I$ 上：$\partial_{\nu,\gamma}u + a(x, u) = 0$。

此处，$\partial_{\nu,\gamma}u = (\gamma\nabla u) \cdot \nu$ 为共法向导数。函数 $a(x, u)$ 模拟腐蚀；若 $a \equiv 0$，则无腐蚀，而 $a$ 非零则表明其存在。该逆问题旨在根据在 $\Gamma_A$ 上测量的柯西数据 $(u|_{\Gamma_A}, \partial_{\nu,\gamma}u|_{\Gamma_A})$ 唯一确定非线性项 $a(x, u)$。

本文通过全局柯西数据集 $C_a$ 定义参数到测量的映射，该集合由正问题解生成的所有可能边界测量组成。主要探讨的问题包括：

• IP1（全局识别）： $C_{a_1} = C_{a_2}$ 是否意味着 $a_1 = a_2$ 在 $\Gamma_I \times \mathbb{R}$ 上成立？
• IP2（局部识别）： 局部柯西数据集（特定解邻域内的测量）的相等性是否意味着非线性项的局部相等性？

方法论
作者将最初为半线性椭圆方程开发的策略（具体参考文献 [17] 和 [18]）调整应用于非线性罗宾情形。核心方法论依赖于线性化以及通过线性化方程的解对非线性解的参数化。

1. 可解性与线性化：
   本文首先针对一类“容许非线性项”$A_{ad}$ 建立了非线性方程 (1.1) 的可解性。与要求严格结构假设（例如导数的正性）的方法不同，本文仅假设非线性项允许至少存在一个解。
   一个关键步骤涉及围绕已知解 $w$ 分解解空间。利用隐函数定理和不动点论证（引理 2.2 和 2.3），作者表明接近 $w$ 的解 $u$ 可以唯一地参数化为 $u = w + v + Q(v)$，其中 $v$ 是线性化方程的解：
   $$\begin{cases} -\text{div}(\gamma\nabla v) = 0 & \text{在 } \Omega \text{ 内}, \\ \partial_{\nu,\gamma}v = g & \text{在 } \Gamma_A \text{ 上}, \\ \partial_{\nu,\gamma}v + \partial_u a(x, w)v = 0 & \text{在 } \Gamma_I \text{ 上}. \end{cases}$$
   此处，$Q(v)$ 代表高阶余项。

2. 唯一延拓与朗格逼近：
   识别证明利用了线性椭圆方程理论中的两个基本工具：

   • 唯一延拓： 如果两个解在 $\Gamma_A$ 上具有相同的柯西数据，则它们在 $\Omega$ 内完全相同。
   • 朗格逼近： 线性化方程解在 $\Gamma_I$ 上的迹集合在 $C(\Gamma_I)$ 中是稠密的。这允许构造解 $v$ 以逼近不可及边界上的任意函数。

3. 从局部到全局的策略：
   该方法在解的“图”上识别非线性项 $a(x, z)$。具体而言，如果局部柯西数据集重合，则对于对应于局部数据集中解 $u(x)$ 值的参数 $z$，非线性项被证明是相等的。为了实现全局识别，必须刻画可达集 $E_a = \{(x, u(x)) \in \Gamma_I \times \mathbb{R} : u \text{ 是解}\}$。如果 $E_a = \Gamma_I \times \mathbb{R}$，则全局识别随之成立。

主要结果

• 定理 1.5（局部识别）：
  本文证明，如果两个容许非线性项 $a_1$ 和 $a_2$ 在解 $w_1$ 和 $w_2$（它们本身具有相等的柯西数据）周围生成相同的局部柯西数据集，则 $w_1 = w_2$ 在 $\Gamma_I$ 上成立。此外，存在 $\lambda > 0$ 使得：
  $$a_1(x, w_1(x) + \varepsilon) = a_2(x, w_1(x) + \varepsilon)$$
  对于几乎所有 $x \in \Gamma_I$ 和 $|\varepsilon| \leq \lambda$ 成立。这证实了非线性项在解 $w_1$ 附近的态变量 $u$ 中被唯一局部确定。

• 定理 1.6（全局数据与可达集）：
  如果全局柯西数据集相等（$C_{a_1} = C_{a_2}$），则：

  1. 可达集相同：$E_{a_1} = E_{a_2}$。
  2. 非线性项在该可达集上相等：对于几乎所有 $(x, z) \in E_{a_1}$，有 $a_1(x, z) = a_2(x, z)$。
  3. 可达集 $E_a$ 是 $\Gamma_I \times \mathbb{R}$ 的开子集。

意义与主张
本文声称提供了一个从边界测量中识别非线性腐蚀项的严格框架。其主要贡献是成功地将半线性椭圆方程的线性化技术调整应用于逆非线性罗宾问题。

作者强调，他们的方法对非线性项的要求极低（仅需解存在），避免了高阶线性化方法通常要求的非线性项为实解析或满足严格单调性条件。

关于全局逆问题（IP1），本文态度审慎。它并未声称已证明对于所有容许非线性项都有 $E_a = \Gamma_I \times \mathbb{R}$。相反，它确立了 $E_a$ 是一个开集，且全局识别等价于刻画该可达集。本文指出，对解的行为（特别是它们是否能覆盖整个态空间）的洞察是解决全局问题的关键，并将 $E_a$ 的刻画作为一个独立的、待解决的开放问题（IP4）留给未来研究。

这项工作还有助于澄清非线性设定下局部柯西数据的定义，利用边界范数而非内部范数，以符合边界测量的物理现实。