Compatibility of Martensitic Microstructures in Polycrystals

技术摘要：多晶体中马氏体微观结构的相容性

问题陈述
本文研究了多晶体中跨越晶界的马氏体微观结构的运动学相容性。虽然单晶微观结构源于对称相关的马氏体变体与奥氏体相之间的相容性要求，但多晶体引入了额外的约束：每个晶粒中的微观结构必须与其相邻晶粒在边界处实现相容。作者重点研究了高层奥氏体具有立方对称性，且材料发生向低对称相转变（具体为立方-四方及立方-正交转变）的情况。核心问题在于，是否存在能够跨越任意晶界的零能微观结构（即最小化自由能泛函的微观结构），以及如果存在，则需要多高的复杂度（层片阶数）。

研究方法
本研究采用了马氏体相变的非线性弹性模型。自由能密度 $\psi$ 在一组能量阱 $K = \bigcup_{i=1}^N SO(3)U^i$ 上进行最小化，其中 $U^i$ 是变换应变。

1. 简化为平面边界： 作者首先证明，在正则性假设下，晶界处的局部相容性问题可以简化为研究两个具有相对旋转 $R \in SO(3)$ 和法向量 $m$ 的晶粒之间的平面界面问题。
2. 零阶层片（恒定梯度）： 通过 Hadamard 跳跃条件（$A - B = a \otimes m$）分析边界两侧恒定变形梯度 $A$ 和 $B$ 的相容性。这涉及检查旋转后的能量阱之间是否存在秩-1 连接。
3. 一阶层片（简单层片）： 作者研究了通过将恒定梯度替换为简单层片（一阶微观结构）是否可以实现相容性。这导出了一个涉及体积分数、旋转和振幅向量的方程组。
4. 符号计算： 对于立方-四方转变，简单层片的相容性条件被简化为 Dixon 结式之积 $F(m, R)$ 的消失。作者利用计算机辅助符号计算（MATLAB）证明了该函数并非恒等于零。
5. 泰勒集（Taylor set）分析： 文中定义了“泰勒集” $S(K) = \bigcap_{R \in SO(3)} K_{qc}R$，其中 $K_{qc}$ 是能量阱的拟凸化。该集合表征了无论晶粒几何形状或旋转如何，都能对应于零能微观结构的宏观变形梯度。作者利用几何性质、小因子关系和凸性论证推导出了该集合的新上界。

主要贡献与结果

• 恒定梯度的不相容性： 对于立方-四方转变，如果变换应变的两个特征值相等，恒定梯度可以在晶界处相容，即使相对旋转 $R$ 不在立方群 $P_{24}$ 中。然而，对于立方-正交转变（特征值互不相同），恒定梯度的相容性对于稠密开集的相对旋转而言是不成立的。
• 简单层片的不相容性： 关于立方-四方转变的主要结果（定理 8）是：允许通过两侧均为简单层片来实现相容性的晶界法向 $m$ 和相对旋转 $R$ 的集合，在流形 $S^2 \times SO(3)$ 中是一个测度为零的闭集。这是通过证明相容性条件简化为一个包含 8 个未知数的 9 个标量方程组，且所得代数条件（结式之积的消失）在通常情况下并不成立来证明的。对于立方-正交转变，作者也得到了一个类似但稍弱的结果（对几乎所有的变形参数均成立）（定理 10）。
• 高阶层片的必要性： 简单层片测度为零的结果表明，为了实现相容性，在晶界处通常需要更高阶的层片（例如双层片）。作者推测，如果一侧边界是简单层片而另一侧是双层片（或者更广泛地说，如果两侧层片的阶数之和至少为 5），则对于一般的 $(m, R)$，相容性是可以实现的。
• 泰勒集界限： 本文为立方-四方和立方-正交转变建立了新的泰勒集 $S(K)$ 上界。
  • 对于立方-四方转变，若 $D = \text{diag}(v_1, v_2, v_3) \in \Delta(K)$，则 $v_1 v_2 v_3 = \eta_1^2 \eta_2$，且对角线元素满足涉及 $\eta_1$ 和 $\eta_2$ 的特定不等式（定理 19）。
  • 这些界限意味着对 $K_{qc}$ 中正对角矩阵的特征描述（定理 18），并回收了 Peigney [37] 的结果，同时提供了一个独立的简单证明。
  • 这些界限将 Bhattacharya & Kohn [15, 16] 从几何线性化理论扩展到了非线性设定。

意义与主张
本文声称，多晶体中观察到的复杂高阶层片微观结构（如 BaTiO$_3$ 和 Ru$_{50}$Nb$_{50}$ 中）是运动学相容性约束下的必然结果。结果表明，对于一般的取向，简单微观结构不足以补偿晶界处的几何失配。

泰勒集的定义和分析提供了一个严谨的框架，用于识别在任何多晶配置中在能量上都是可容许的宏观变形，且该定义独立于特定的晶粒形状或旋转。所推导的上界精细化了对多晶体中“可恢复应变”的理解。

作者对所需微观结构的复杂度保持谦逊态度，指出虽然泰勒集保证了零能微观结构的存在，但在实践中实现这些微观结构所需的层片阶数可能高得不切实际。他们建议未来的工作可以侧重于开发使用低阶层片的近似模型，以捕捉晶粒间的相关性，并扩展分析以包含滑移和施加拉伸。