Polyconvexity implies Hill's inequality in ${\rm SL}(2)$

技术摘要：$SL(2)$ 中多凸性蕴含希尔不等式 (Hill's Inequality)

问题陈述
在可压缩非线性弹性理论中，秩一凸性（Legendre-Hadamard 椭圆性）、多凸性以及真应力-真应变单调性条件（TSTS-M+）的本构条件通常是相互独立的。虽然 TSTS-M+ 确保了具有物理意义的行为（如单轴拉伸中柯西应力的增加），但仅靠多凸性并不能保证这一点。然而，在不可压缩情况下，柯西应力简化为基尔希霍夫应力（Kirchhoff stress），且 TSTS-M+ 简化为希尔不等式。该不等式要求柯曦霍夫应力相对于体积保持变形流形上的对数伸张张量具有单调性。

文献中关于在不可压缩设定下这些稳定性条件之间关系的描述存在关键空白。虽然已知在三维（$n=3$）情况下，多凸性并不一定蕴含希尔不等式，但在二维不可压缩情况（$SL(2)$）下的具体关系仍需澄清。本文旨在探讨在$SL(2)$ 的特定语境下，先验独立的“多凸性”与“希尔不等式”这两个概念是否有关联。

方法论
作者分析了各向同性且客观的能量函数 $W^{inc}: SL(n) \to \mathbb{R}$，其中 $SL(n)$ 是特殊线性群（代表体积保持变形）。其研究方法依赖于以下理论框架：

1. 流形定义： 能量使用对数伸张张量 $X = \log V$ 进行重新参数化，其中 $V$ 是左伸张张量。这建立了将各向同性伸张流形映射到偏离对称张量线性空间 $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$ 的联系。
2. 应力定义： 基尔希霍夫应力张量 $\hat{\tau}$ 被定义为重新参数化后的能量 $\tilde{W}^{inc}$ 在 $dev\,Sym(n)$ 上的内在梯度。本文建立了一个严格的联系，即 $\hat{\tau}$ 的矩阵单调性与其主成分向量 $\hat{\tau}(\ell)$ 的向量单调性之间的关系，其中 $\ell = (\log \lambda_1, \dots, \log \lambda_n)$。
3. 凸性特征描述：
   • 对于 $SL(2)$，本文利用了对于客观各向同性函数而言，秩一凸性与多凸性等价的结论（定理 2.3，基于 Mielke [23] 和 Ghiba 等人 [9]）。
   • 利用通过符号奇异值来表征多凸性（定理 2.6，Wiedemann 和 Peter [42]）。
   • 利用各向同性张量函数的向量单调性与矩阵单调性之间的等价性（定理 2.12）。

主要贡献与结果

1. 单调性类型的等价性： 本文证明了对于 $SL(n)$ 上的各向同性函数，基尔希霍夫应力张量是（严格/强）矩阵单调的，当且仅当其主成分向量函数是（严格/强）向量单调的（定理 2.12）。这一结果架起了张量型本构不等式与标量谱表示之间的桥梁。

2. 主定理（多凸性 $\implies$ $SL(2)$ 中的希尔不等式）：
   核心结果（定理 1.2）指出：对于客观、各向同性且可微的能量函数 $W^{inc}: SL(2) \to \mathbb{R}$，多凸性蕴含弱希尔不等式。

   • 证明策略 1： 利用定理 2.3，在 $SL(2)$中的多凸性意味着存在一个凸的、非减的函数$\phi$，使得能量取决于谱间隙（spectral gap）。该凸函数与对数伸张变量的复合在约束集 $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$ 上构成一个凸函数。凸函数的梯度是单调的，通过已建立的等价性，这便推导出了希尔不等式。
   • 证明策略 2： 另一种证明方法使用了符号奇异值分解以及生成函数 $\Psi$ 的凸性。通过分析该函数在不可压缩性对应的切片，作者展示了简化后的谱函数的严格凸性，从而得出相同的结论。

3. 与高维情况的区别： 本文明确指出，该蕴含关系在 $n=2$ 时成立，但在 $n=3$ 时失效。在三维情况下，存在既满足秩一凸性（甚至多凸性）却不满足希尔不等式的能量函数。本文引用了相关反例，即尽管能量满足多凸性，但柯西应力响应在单轴拉伸中并非单调。

意义与主张
本文声称澄清了在二维不可压缩材料中，Legendre-Hadamard 椭圆性、多凸性与希尔不等式之间紧密的联系。通过提供两种替代证明，作者证明了在 $SL(2)$ 中，多凸性的要求足以保证弱希尔不等式（即基尔希霍夫应力相对于对数应变的单调性）。

作者对三维情况的研究保持了审慎的态度。他们承认在 $SL(3)$ 中，多凸性并不蕴含希尔不等式，且在三维情况下 Legendre-Hadamard 椭圆性与多凸性之间的关系仍是一个开放性问题。本文并非提出新的实验应用，而是为二维不可压缩材料的本构不等式提供了理论上的整合，强化了使用多凸性能量来确保此类特定背景下材料稳定性的有效性。