Existence of solutions for time-dependent Signorini-type problems in linearised viscoelasticity

技术摘要：线性粘弹性中时变 Signorini 型问题解的存在性

问题表述
本文研究了受限于在给定半空间内运动的三维线性粘弹性体的数学建模。该物体受随时间变化的施加体力的影响，并采用各向同性、均匀材料属性的线性化弹性理论进行建模。约束由 Signorini 型条件控制，该条件要求物体的变形构型不得穿过由单位法向量 $q$ 定义的半空间边界。

其核心挑战在于如何为一个结合了记忆依赖型本构关系（粘性）和单边接触约束的双曲变分不等式建立适定（well-posed）的初值边值问题。本文特别关注处理初始时刻物体可能已经与障碍物接触的情况，这类场景由于模型限制，在以往的文献中常被排除在外。目标问题 $P(\Omega)$ 旨在寻求一个位移场 $u$，使其满足特定的正则性要求，并满足涉及惯性、弹性、粘性和外力的双曲变分不等式组。

方法论
解的存在性通过两层近似策略来建立：

1. 惩罚法（Penalization）： 通过引入惩罚参数 $\kappa > 0$ 来放宽单边约束。这使得变分不等式转化为一系列惩罚变分方程 $P_\kappa(\Omega)$。惩罚项代表违反约束条件的能量代价，其通过一个涉及间隙函数负部分的非线性算子来构建。
2. Galerkin 离散化： 使用 Galerkin 方法对惩罚后的问题进行空间离散。通过将问题投影到由正交基生成的有限维子空间上，将偏微分方程简化为常微分方程（ODE）系统。由于非线性惩罚项的 Lipschitz 连续性，这些 ODE 系统解的存在性由标准定理保证。

关键分析工具与结果
当离散维度 $m \to \infty$ 且惩罚参数 $\kappa \to 0$ 时，向极限过程的过渡依赖于几个关键的分析步骤：

• 能量估计： 在适当的 Sobolev-Bochner 空间（如 $L^\infty(0, T; V(\Omega))$, $L^\infty(0, T; L^2(\Omega))$ 等）中导出近似解的一致界。这些估计利用了 Korn 不等式、弹性张量和粘性张量的正定性以及 Gronwall 不等式。
• 迹算子的紧致性： 本文的一个重要贡献是 引理 4.2，它建立了随时间变化的迹算子的紧致性。这一结果对于处理由接触条件引起的边界项至关重要，并通过 Aubin-Lions-Simon 定理进行了证明。
• 单调性与收敛性： 惩罚算子的单调性和 Lipschitz 连续性允许应用 Minty-Browder 型论证。这确保了惩罚解的极限满足原始变分不等式，并且在极限过程中约束被严格执行。
• 初始条件： 该方法显式地处理了初始速度数据 $u_1$，并允许初始位移 $u_0$ 与障碍物接触（即 $u_0 \in U(\Omega)$），克服了以往研究中要求非接触初始状态或施加终值条件的局限性。

主要定理

• 定理 4.4： 在假设施加体力 $f$ 属于 $H^1(0, T; L^2(\Omega))$ 的条件下，本文证明了时变 Signorini 问题 $P(\Omega)$ 至少存在一个解。该解具有正则性 $u \in L^\infty(0, T; U(\Omega))$ 且 $\dot{u} \in C^0([0, T]; L^2(\Omega)) \cap L^2(0, T; V(\Omega))$。
• 定理 4.5： 对于满足特定“小规模条件”（暗示弹性效应相对于粘性效应占主导地位）的材料，本文证明了渐近稳定性。具体而言，如果在时间 $T_0$ 后移除外部作用力，物体将以指数衰减速率返回其参考构型。这符合 Kelvin-Voigt 材料的理论行为。

意义与创新性
本文声称在粘弹性障碍物问题领域做出了以下几项独特贡献：

1. 新颖的解概念： 它引入了一种适用于线性化粘弹性中时变 Signorini 问题的解概念，该概念与经典的椭圆障碍问题相一致，并能够容纳初始接触障碍物的情况。
2. 方法论进步： 不同于以往依赖于向量值测度或施加终值条件的工作，本方法采用了结合新型迹算子紧致性结果的惩罚法。
3. 广泛的适用性： 该方法适用于三维中的向量量级问题，且不需要相关研究中常见的额外正则性假设或特定的初始配置（非接触）。
4. 渐近分析： 本文提供了在外部力撤除后解呈指数衰减的严格证明，证实了受限条件下 Kelvin-Voigt 粘弹性体的能量耗散这一物理直觉。

这项工作综合了变分不等式、几何约束框架和演化方程理论的思想，解决了此前在三维时变粘弹性背景下被认为尚未解决的一类问题。