Martingales, laminates and minimal Korn inequalities

技术摘要：鞅、层状结构与极小 Korn 不等式

问题陈述
Korn 不等式确立了向量场 $u$ 的梯度 $\nabla u$ 的 $L^2$ 范数可以由其对称部分 $\text{Sym}(\nabla u)$ 的 $L^2$ 范数来控制。虽然 $\text{Sym}(\nabla u)$ 拥有 $d(d+1)/2$ 个分量，但全梯度拥有 $d^2$ 个分量。在 [J. Math. Pures Appl. 148 (2021)] 中，Chipot 提出了一个问题，即确定在 Korn 型不等式中控制 $\nabla u$ 所需的最少标量测量值（线性泛函）的数量。具体而言，他定义了 $N(d)$ 为最小整数 $k$，使得存在 $k$ 个作用在 $d \times d$ 实矩阵空间 $M_d(\mathbb{R})$ 上的线性泛函 $\ell_1, \dots, \ell_k$，满足：
$$\|\nabla u\|_{L^2(\mathbb{R}^d)} \lesssim \sum_{i=1}^k \|\ell_i(\nabla u)\|_{L^2(\mathbb{R}^d)}$$
对于所有 $u \in C_c^\infty(\mathbb{R}^d, \mathbb{R}^d)$ 均成立。针对涉及 $H^1$ 范数的第二类 Korn 不等式，定义了一个类似的量 $N'(d, \Omega)$。尽管 Chipot 建立了通用的界限并计算了低维度的特定值，但在高维情况下 $N(d)$ 的渐近增长率以及 $N'(d)$ 的精确值仍是一个开放问题。

方法论
本文利用变分法中的语言——特别是秩一凸性（rank-one convexity）和拟凸性（quasiconvexity）——对 Chipot 的问题进行了重新表述。其核心的方法论创新在于建立了层状结构（laminates，由秩一凸组合产生的概率测度）与鞅（martingales，特指二进鞅）之间的系统性联系。

1. 代数特征化： 作者将 Korn 型不等式的存在性转化为：所测量的泛函子空间的直交补必须避开非零秩一矩阵。这使得该偏微分方程（PDE）问题简化为一个关于最大维度的代数拓扑问题，即避开秩一方向的矩阵子空间的极大维度，记作 $n_K(d, 1)$。
2. 鞅-层状结构联系： 为了估计这些不等式的常数，作者利用二进树构造了显式的层状结构族。一个重心为零的有限阶层状结构可以被视为一个增量为秩一矩阵的鞅。这使得应用 Burkholder 的锐利鞅不等式来推导相关不等式关联的定量界限成为可能。
3. 拓扑工具： 通过关于非奇异双线性映射和实射影空间（$\mathbb{R}P^{d-1}$）浸入的结果来确定 $N(d)$ 的精确值，从而将该问题与经典代数拓扑结果联系起来。

主要贡献与结果

• 代数特征化： 本文证明了 $N(d) = d^2 - n_{\mathbb{R}}(d, 1)$ 且 $N'(d) = d^2 - n_{\mathbb{C}}(d, 1)$。这建立了最小测量数与避开秩一矩阵的子空间维度之间的联系。
• $N(d)$ 和 $N'(d)$ 的锐利界限：
  • 渐近行为： 作者确立了当 $d \to \infty$ 时 $N(d) \sim 2d$，具体为 $N(d) = 2d(1 - o(1))$。这解决了 $N(d)$ 是线性增长还是平方增长的问题，表明其本质上是线性的。
  • 精确值： 他们证明对于所有 $d$，$N'(d) = 2d - 1$。对于 $N(d)$，他们证明了 $N(d) \le 2d - 2$（当 $d = 2n+1$ 时达到），并给出了下界 $N(d) \ge 2\lceil \log_2(d) \rceil$。
  • 特定维度： 本文计算了 $d \le 19$ 时 $N(d)$ 的精确值，并提供了直到 $d=33$ 的界限。值得注意的是，当且仅当 $d \in \{1, 2, 4, 8\}$ 时，$N(d) = d$。
• 维度最优不等式： 作者利用汉克尔矩阵（Hankel matrices, $H$）空间导出了维度最优的 Korn 不等式。他们证明：
  $$\|u\|_{H^1(\Omega)} \lesssim \|u\|_{L^2(\Omega)} + \|P_H(\nabla u)\|_{L^2(\Omega)}$$
  其中 $\dim(H) = 2d - 1$。这被证明是第二类不等式的最小可能维度。
• 定量常数： 利用鞅-层状结构联系，本文提供了这些不等式的锐利估计。
  • 对于汉克尔-Korn 不等式，常数 $C(H(d))$ 随维度呈指数级增长，具体为 $\log(C(H(d))) \approx \frac{2G}{\pi}d$，其中 $G$ 是卡塔兰常数（Catalan's constant）。
  • 对于维度 $k \approx d^2$ 的一般子空间，常数可以做到与维度无关；但对于维度接近最小 $N(d)$ 的情况，常数会随 $d$ 增长。
• 推广： 结果被扩展到：
  • 向量场 $u: \mathbb{R}^m \to \mathbb{R}^d$ 的矩形情形 $N(m, d)$。
  • $p \neq 2$ 时的 $L^p$ 估计，表明最小测量数 $N_p(d)$ 仍然等于 $N_2(d)$。
• Ornstein 非不等式： 作为副产品，该方法为 Ornstein 非不等式提供了一个新的、快速且定量的证明。它表明，对于任何核空间包含秩为 2 的矩阵的一阶齐次算子 $L$，不等式 $\|\nabla u\|_{L^1} \lesssim \|L(u)\|_{L^1}$ 均不成立。此外，本文量化了当 $p \to 1$ 或 $p \to \infty$ 时必要常数的爆炸情况，显示其缩放比例为 $p^* - 1$（其中 $p^* = \max(p, p/(p-1))$）。

意义
本文声称提供了一种纯代数特征化方法，用于判定何时成立极小 Korn 型不等式，并给出了此前未知的锐利界限。通过将层状结构与鞅联系起来，作者为变分法提供了一种新工具，允许显式构造反例（层状结构）并计算锐利常数，从而超越了定性的存在性证明。研究结果简化并回收了 Chipot 的发现，同时将其显著扩展到更高维度，并提供了最优的维度估计。通过将该偏微分方程问题与代数拓扑（特别是非奇异双线性映射和射影空间）联系起来，突显了一种创新的研究路径。此外，对 Ornstein 非不等式的定量证明也被视为该开发出的理论体系的一个重要应用。