[论文解读] A Canonical Extension of Korn's First Inequality to H(Curl) motivated by Gradient Plasticity with Plastic Spin

Patrizio Neff, Dirk Pauly+1 more|arXiv (Cornell University)|Jun 23, 2011

Elasticity and Material Modeling参考文献 20被引用 4

一句话总结

本文在空间 $\overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega, \mathbb{R}^{3\times 3})$ 上建立了科恩第一个不等式的典范推广，证明了在切向边界条件为零的条件下，张量场 $P$ 的 $L^2$-范数被其对称部分 $\operatorname{sym}P$ 与旋度 $\operatorname{Curl}P$ 的和所控制。该结果统一并推广了科恩与庞加莱的不等式，为包含塑性自旋的梯度塑性模型提供了基础估计。

ABSTRACT

We prove a Korn-type inequality in H(Curl) for tensor fields.

研究动机与目标

• 在边界上张量场的切向迹为零的条件下，于空间 $\overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega, \mathbb{R}^{3\times 3})$ 中建立一个新的科恩型不等式。
• 通过位错密度张量 $\operatorname{Curl}P$，为包含塑性自旋的无穷小梯度塑性模型提供数学基础。
• 将经典估计——科恩第一不等式与庞加莱估计——统一并推广为张量场的单一 coercive 不等式。
• 解决在非对称塑性畸变下，率无关梯度塑性变分公式中 coercivity 的开放问题。

提出的方法

• 作者将空间 $\overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega, \mathbb{R}^{3\times 3})$ 定义为在边界上满足 $\nabla v_n$ 的法向分量为零的光滑张量场的完备化，其范数由 $\operatorname{sym}P$ 与 $\operatorname{Curl}P$ 构成。
• 他们利用泛函分析技巧与算子核的结构，证明了对所有 $P \in \overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega, \mathbb{R}^{3\times 3})$，有不等式 $ c\|P\|_{L^2} \leq \|\operatorname{sym}P\|_{L^2} + \|\operatorname{Curl}P\|_{L^2} $。
• 证明依赖于 Hodge 分解，且空间 $\overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega)$ 适合于建模具有非对称自旋的塑性畸变。
• 作者表明，当 $P = \nabla v$ 时，该不等式退化为科恩第一不等式的非标准变体：$ c\|\nabla v\|_{L^2} \leq \|\operatorname{sym}\nabla v\|_{L^2} $，且在 $\nabla v_n$ 于 $\partial\Omega$ 处为法向时成立，从而证明其统一性。
• 作者将结果推广至二维情形，并与 Garroni 等人的相关结果进行比较，表明在高维中，切向边界条件 $\nu \times P = 0$ 比 $\operatorname{skew}P$ 的归一化条件更自然。

实验结果

研究问题

• RQ1 在物理上合理的边界条件下，是否可以将科恩型不等式推广至 $\mathsf{H}(\operatorname{Curl})$ 中具有非对称分量的张量场？
• RQ2 结合 $\|\operatorname{sym}P\|_{L^2}$ 与 $\|\operatorname{Curl}P\|_{L^2}$ 是否能构成空间 $\overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega, \mathbb{R}^{3\times 3})$ 的 coercive 范数？
• RQ3 该估计是否可作为具有塑性自旋的梯度塑性模型中解的存在性与唯一性的基础？
• RQ4 在三维中，对于此类模型，切向边界条件 $\nu \times P = 0$ 在 $\partial\Omega$ 上是否比 $\operatorname{skew}P$ 的归一化条件更合适？
• RQ5 该不等式是否在单一、典范的框架中统一了科恩与庞加莱的估计？

主要发现

• 本文建立了精确的 coercive 不等式：对所有 $P \in \overset{\circ}{\mathsf{H}}(\operatorname{Curl}; \Omega, \mathbb{R}^{3\times 3})$，有 $ c\|P\|_{L^2} \leq \|\operatorname{sym}P\|_{L^2} + \|\operatorname{Curl}P\|_{L^2} $，其中 $c > 0$ 仅依赖于 $\Omega$。
• 当 $P = \nabla v$ 时，不等式退化为科恩第一不等式的非标准变体：$ c\|\nabla v\|_{L^2} \leq \|\operatorname{sym}\nabla v\|_{L^2} $，在 $\nabla v_n$ 于 $\partial\Omega$ 处为法向的条件下成立。
• 当 $P$ 为反对称时，不等式退化为庞加莱型估计，证实其作为两类经典不等式推广的性质。
• 该结果适用于具有连通 Lipschitz 边界的有界区域 $\Omega \subset \mathbb{R}^3$，确保其在真实物理区域中的适用性。
• 在二维情形下，不等式具有相同结构，且作者表明，Garroni 等人所用的归一化条件 $\int_\Omega \operatorname{skew}P = 0$ 比 $\mathbb{R}^3$ 中的切向边界条件 $\nu \times P = 0$ 更不自然。
• 该不等式为具有塑性自旋的梯度塑性变分公式提供了必要的 coercivity 估计，使该模型的解的存在性与唯一性证明成为可能。