椭球不再是唯一答案：形状偏离椭球多远，内部应变就多不均匀，有限元独立复核

椭球夹杂内部应变均匀这一经典结论，现在有了定量的稳健性版本：形状偏离椭球族越远，内部应变越不均匀，反过来内部应变越接近均匀，形状就越被限制在椭球族附近。 此前关于Eshelby猜想的结果是刚性的，只回答场完全均匀时允许哪些形状；微扰分析只刻画无穷小方向和一阶变化，无法控制有限幅度的非椭球形状。 在均匀各向同性、夹杂与基体模量相同、界面完好粘接、无远场载荷的设定下，对任意固定非退化椭球，形状到椭球族的几何距离与归一化均方根应变涨落之间被证明存在双向不等式，常数与扰动频率、本征应变幅度和弹性常数无关。

形状误差不能只看起伏高度，还要看起伏的空间波长，因此度量采用半阶Sobolev范数，把形貌长度尺度纳入力学。 高度均方根对所有波长一视同仁，斜率均方根按波数加权，两者都不能同时给出双向控制。 在局部平坦界面的切平面模型上，一阶场随深度按波数衰减，平方体响应正比于幅度平方乘一次波数；球面上按球谐阶展开后，同一高度下12阶的均方根响应约为3阶的2.48倍，而固定斜率下排序反转。

对任意给定有限形状，椭球扣除给出精确的残余场预算，据此可从部分场信息得到上下界，并随内外区域逐步解析而单调收紧到同一响应。 局部定理只覆盖椭球族附近的无穷维邻域，无法直接回答一个可能远离该邻域的指定几何能有多不均匀。 在长宽比1.5的参考椭球上构造凸起、凹陷和等体积颈缩两瓣三种形状，五个细化层级下所有15个区间都包含位移有限元参考值，区间宽度从第一层到最后一层分别缩小到原来的约1/4、1/3和1/2。

凸起、凹陷和颈缩给出不同的内部不均匀分布，等体积颈缩形状的不均匀最大。 体积变化、最大高度或拟合长宽比本身都不能量化Eshelby均匀性的损失。 有限元场显示凸起在极点和连接处产生变化，凹陷在边缘集中变化，颈缩在缩颈处形成更宽的异质区；三种形状的有限元响应分别为0.0524、0.0763和0.1547。

结果适用于无限均匀各向同性固体中带均匀膨胀本征应变的单个有界夹杂，夹杂与基体模量相同、界面完好粘接、无远场载荷。局部定理是形状幅度意义上的局部，允许非对称、局域化和任意组合的容许空间变化，但不覆盖远离椭球族的形状。有限形状理论针对一个指定几何给出可系统改进的上下界，凸起、凹陷和颈缩三种形状的数值区间是带固定区域求积检验的工作评估，而非定向舍入认证的包围。需要完整计算机辅助认证时，还要求对场积分做外向数值包围。

作者明确说明，所报数值端点是经验上求积稳定的工作评估，不是定向舍入的数值证书，数值认证与和有限元一致是两件不同的事。有限形状理论在连续层面精确，但收敛性证明不给出代数收敛率，观察到的收缩阶数只是计算范围内的现象。局部定理的常数依赖范数约定，在椭球退化时不一致，且未数值求值。部分Lean形式化只覆盖选定的数学组件，不构成完整形式验证；AI评审在给定范围内未发现实质缺口，但不同AI评审上下文并不保证模型误差独立。