结果族 365：Joint metric and connection recovery from one boundary patch · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
一块”各向异性”的材料——沿纹理方向导电容易、垂直方向难——只在表面一小片区域通电并测量响应，能推断出内部完整的导电结构吗？这篇论文给出肯定答案：内部结构被唯一确定，最多差一个把测量区域钉死不动的坐标重排。换句话说，隔着墙只摸一小块砖，整面墙的”骨架”就定了，唯一定不了的是你给房间编号的方式。
关键词卡片
看个具体例子
代入 @@M@@n=3@@：若两个光滑度量在同一补丁 @@M@@\Gamma@@ 上的能量型测量相等，@@M@@\Lambda_{g_1,\Gamma}=\Lambda_{g_2,\Gamma}@@，则存在微分同胚 @@M@@\Phi@@ 使 @@M@@g_2=\Phi^*g_1@@ 且 @@M@@\Phi|_\Gamma=\mathrm{Id}@@（在补丁上恒等）。最干净的特例是标量推论：普通欧氏区域里两个光滑电导率 @@M@@\gamma_1,\gamma_2@@ 若在 @@M@@\Gamma@@ 上响应相同，则 @@M@@\gamma_1(x)=\gamma_2(x)@@ 处处成立——连不可及边界上的电导率取值都不需要预先知道。
为什么值得关心
光滑各向异性 Calderón 问题的”同补丁唯一性”悬置多年，本文将其解决；作为副产品，经典电导率反问题也得到完全唯一性，医学电阻抗成像的理论根基因此更稳。
暂无形式化证明（AI 结果待核验）
第一级台阶
（入门导读说”隔着墙只摸一小块砖，整面墙的骨架就定了，唯一定不了的是你给房间编号的方式”。翻译成半数学语言：对象是一块各向异性材料——沿纹理方向导电容易、垂直方向难——在数学上即一个带度量（内积规则）的空间体；操作是”通电测响应”：在表面任意一小片开区域上给定电压输入、读出电流输出。论文断言：这一小片上的完整电压—电流对照表足以确定内部整块结构，仅剩的歧义是给内部点做光滑的重新编号，且编号在测量片上必须纹丝不动。）
第二级台阶
（用本科术语说：”响应表”即 Dirichlet-to-Neumann 映射——把边界电压映射为边界电流的算子；各向异性意味着未知量是黎曼度量而不仅是标量函数。关键辅助概念有：调和坐标——用调和函数充当坐标，使度量表达式最规矩；共形因子——两个度量间逐点的整体缩放倍数；以及微分同胚——光滑可逆的坐标重排，逆问题中原理上无法消除的歧义来源。测量定义为能量型：调和延协的梯度的整体内积，全部用密度书写，不依赖任何背景定向。）
第三级台阶
（定理语境：三维及以上的紧连通光滑流形带边界，补丁取边界上任意非空真相对开子集，输入与观测都限制在补丁上。假设分工：光滑性是实质门槛——可测范畴中即便三维全边界数据也已知可能不唯一（同族对照篇）；维数至少三既用于把共形因子压成常数的换算（分母 n−2 非零），也用于球面调和的强制性估计；”同补丁”设置避开了以往部分数据定理要求输入观测分居两地的几何限制。结论用这些话说：两组度量若在同一补丁上给出相同响应表，则恰相差一个钉死补丁的微分同胚；副产品是欧氏区域上标量电导率被完全唯一确定——连不可及边界上的电导率取值都不必预先知道。）
解决了光滑各向异性 Calderón 问题的”同补丁”唯一性：@@M@@n\ge3@@ 时，仅在一个任意边界开补丁上同时做输入与观测的零频率能量测量，光滑黎曼度量就被确定至只差一个在该补丁上恒等的微分同胚；固定欧氏区域上的标量电导率则被完全唯一确定。
Calderón 1980 年提出逆电导率问题：边界的电流—电压响应能否确定内部系数？几何（各向异性）版本把未知量换成黎曼度量，保持边界的微分同胚成为不可避免的歧义。Sylvester–Uhlmann 用复几何光学解证明光滑标量全边界唯一性；Lee–Uhlmann、Lassas–Uhlmann 的几何恢复限于实解析范畴；KSU 等部分数据结果要求输入与观测分居由凸包几何决定的两个不同区域。对任意光滑度量、且输入与观测限制在同一任意补丁的情形，光滑唯一性长期悬而未决——本文给出肯定回答，且不需要背景度量、解析性或叶化假设。
设 @@M@@M@@ 为紧连通光滑 @@M@@n@@ 维流形（@@M@@n\ge 3@@，带边界），@@M@@\Gamma\subset\partial M@@ 非空真相对开。对 @@M@@f@@ 支于 @@M@@\Gamma@@，令 @@M@@u_f^g@@ 为 @@M@@-\Delta_gu=0@@、边值为 @@M@@f@@ 的解；局部能量 DN 映射（Dirichlet-to-Neumann map）定义为
@@M@@\langle\Lambda_{g,\Gamma}f,h\rangle=\int_M\langle du_f^g,du_h^g\rangle_g\,dV_g@@。
定理：若 @@M@@\Lambda_{g_1,\Gamma}=\Lambda_{g_2,\Gamma}@@，则存在光滑微分同胚 @@M@@\Phi:M\to M@@ 使 @@M@@\Phi|_\Gamma=\Id@@ 且 @@M@@g_2=\Phi^*g_1@@；反向的不变性平凡成立，故这是全部歧义。推论一：全边界数据下可取 @@M@@\Phi@@ 逐点固定整个边界。推论二（标量推论，scalar corollary）：欧氏区域 @@M@@\Omega@@ 上两个严格正的 @@M@@\gamma_1,\gamma_2\in C^\infty(\overline\Omega)@@，若对每个 @@M@@f\in C_c^\infty(\Gamma)@@ 有 @@M@@\gamma_1\partial_\nu u_f^{\gamma_1}=\gamma_2\partial_\nu u_f^{\gamma_2}@@ 于 @@M@@\Gamma@@，则 @@M@@\gamma_1=\gamma_2@@ 于 @@M@@\overline\Omega@@——不假设不可及边界上的电导率值。
先由能量型相等恢复边界射流：能量型是密度取值的算子，主符号 @@M@@\sqrt{\det h}\,\rho@@ 先定出边界度量与密度；对 DN 算子的光滑符号分解做 Lee–Uhlmann 型递归，每一层新出现的法向射流经极化论证必为零，归纳得两组度量在 @@M@@\Gamma@@ 上全部泰勒射流相等。再借射流相等在补丁内侧粘出公共外帽区域 @@M@@E@@，能量极小化的变分比较证明两组格林核（Green kernel）在 @@M@@E@@ 上逐点相等；@@M@@E@@ 中源产生的调和函数的取值分离内点、其二阶芽（jet）恰好张成方程允许的超平面（点分布对偶加唯一延拓），由此获得调和坐标（harmonic coordinates）与有限的成对调和函数族。核心是局部度量延拓定理：若两图表中度量、格林核与该函数族在一张光滑超曲面一侧相等，则相等可穿过超曲面。其证明分三步：先在乘积空间延拓”混合格林核”（两变量分别满足两个度量的方程）；它在以 @@M@@y@@ 为中心的小球面上的通量定义转移泛函 @@M@@T_y@@，精确再现常数与坐标：@@M@@T_y1=1@@、@@M@@T_yx^i=y^i@@。暂时假设规范化后的逆度量差连同有限阶导数小于球半径 @@M@@r@@ 的 @@M@@\varepsilon@@ 倍；在此条件下构造转移表示密度并在固定中心集上一致 @@M@@L^2@@ 有界——这要比较球面调和的升次与降次算子得到带权强制性估计（张量断层成像框架），且移动几何带来的二阶项不能当低阶误差丢弃，需第二次比较纳入控制。常数与坐标的再现恰好消去调和函数的仿射泰勒多项式，余项 @@M@@O(r^2)@@ 给出成对差 @@M@@V@@ 的 @@M@@\|V/r^2\|_{L^2}@@ 界；有限阶插值把所需导数提升到 @@M@@Cr^{3/2}@@，张成的调和黑塞矩阵进而把度量差本身也压到 @@M@@Cr^{3/2}@@——严格优于临时假设。参数顺序精心编排：固定几何与调和族、正则指数、@@M@@\varepsilon@@、阈值，然后一次空间伸缩固定，再让收缩参数 @@M@@\delta\downarrow0@@；连通性论证使收缩贯通 @@M@@(0,1]@@，半径趋于零迫使规范化逆度量相等，两度量仅差共形因子；把共形拉普拉斯公式作用于全部公共调和坐标且 @@M@@n\ge3@@（@@M@@n-2\ne0@@），逼出该因子为常数、在已知侧为零。最后源取值使匹配单值且内点不能逃向边界，极大匹配区无内部边界并光滑延拓过边界，支于补丁的边界数据逼出 @@M@@\Phi|_\Gamma=\Id@@。标量推论经换算 @@M@@g=\gamma^{2/(n-2)}e@@ 化为几何定理（此时 @@M@@\sqrt{\det g}\,g^{ab}=\gamma\delta^{ab}@@），再用”固定边界补丁的共形自微分同胚必为恒等”的刘维尔型刚性引理（沿多边形路径的 ODE 唯一性）消去坐标歧义。
本文主结果暂无形式化证明。它与同族的联络篇共用边界射流、外帽与格林核机制，并为后者提供乘积延拓、球面几何与角向估计的标量原型；与有界可测非唯一性篇形成对照——光滑范畴一个补丁即够，可测范畴三维全边界仍可不唯一。据 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
问 1：证明里最关键、最脆弱的闭环是什么？
（答：局部度量延拓定理里的”严格改进”自举。先临时假设规范化逆度量差连同有限阶导数小于球半径 r 的 ε 倍；转移泛函精确再现常数与坐标（T_y1=1、T_yx^i=y^i），恰好消去调和函数的仿射泰勒多项式，余项 O(r²) 给出成对差 V 的 ‖V/r²‖_{L²} 界；有限阶插值把所需导数提升到 Cr^{3/2}，张成的调和黑塞矩阵再把度量差本身也压到 Cr^{3/2}——严格优于 εr。这个”半阶盈余”是穿过超曲面的全部动力，任何一处指数掉了半阶，自举即死。）
问 2：移动球面带来的二阶项为什么不能当低阶误差扔掉？
（答：因为球面在收缩，几何本身在动，微分迹线产生的二阶项随 r 缩放会与主项同阶进入强制性估计。论文用张量断层成像式的框架比较球面调和的升次与降次算子得到带权正估计，并专门做了第二次比较把这批二阶项纳入、用第一次估计中的正量控制它们。这是最容易被”顺手当作低阶误差”处理错的地方，也是角向一节存在的理由。）
问 3：n≥3 和光滑性，哪条假设更实质？
（答：两条都实质。n≥3 出现两处：共形拉普拉斯公式作用于全部公共调和坐标时靠 n−2≠0 逼出共形因子为常数；球面调和框架本身在二维失灵。光滑性则是与同族可测对照篇的分界：可测范畴中三维全边界数据仍可能不唯一——本文正是靠射流递归与正则延拓吃光滑红利，光滑性一去，全部机制无从启动。）
问 4：与已有部分数据结果相比，真正新意是什么？
（答：Kenig–Sjöstrand–Uhlmann 的部分数据要求输入与观测分居由凸包几何决定的两个不同区域；Chen–Jiang–Liu–Tao 的同补丁结果需要拟解析性，或叶化加单侧排序假设；Guillarmou–Sá Barreto 需要 Einstein 方程。本文对任意光滑度量、任意共同补丁、无背景假设地给出唯一性——这是光滑各向异性 Calderón 同补丁问题的首次完全解决。）
问 5：两个尺度的参数编排为什么值得挑剔地看？
（答：证明里一次空间伸缩被选定后固定（负责压初始差异、处理大半径），严格改进再让半径参数独立地趋于零（δ↓0），连通性论证使收缩贯通整个区间。参数顺序是：几何与调和族→正则指数→ε→阈值→一次伸缩→收缩参数。这种多参数递进一旦顺序颠倒（例如先收缩后定 ε），估计就循环；引言专门强调两个尺度的分离，说明作者清楚这里是命门。）
问 6：作为未形式化的 AI 证明，最可能出错的模式是什么？
（答：混合格林核的乘积延拓与有限射流论证。混合核在两个变量上分别满足两个度量的方程，其 separately harmonic 延拓援引 Zeriahi 型公共基方法；”恰好张成方程允许的全部二阶导数”的点分布对偶加唯一延拓，以及标量推论里”固定边界补丁的共形自微分同胚必为恒等”的刘维尔型 ODE 论证，都是经典工具的精细拼接——正是语言模型容易引错出处或漏掉边界情形的位置。未形式化，宜逐节人工复核。）
问 7：谁会用到它？
（答：医学电阻抗成像（EIT）的理论根基是直接受益者：标量推论说明一块电极贴片上的数据已唯一确定全域电导率，且无须知道不可及边界上的取值；几何反问题与规范场论方向的联络姊妹篇也以本文的乘积延拓、球面几何与角向估计为标量原型。未决的自然问题是稳定性与误差量化——论文只证唯一性，稳定性未讨论。）
总评
（这是把光滑各向异性 Calderón 问题”同补丁唯一性”一次清账的工作，机制完整、与姊妹篇共享骨架且互为印证；但未形式化，成败集中于半阶改进自举与二阶项控制两处窄门，结论宜待社区按节核验后定论。）