We consider linear scalar wave equations with a hereditary integral term of the kind used to model viscoelastic solids. The kernel in this Volterra integral is a sum of decaying exponentials (The so-called Maxwell, or Zener model) and this allows the introduction of one of two types of families of internal variables, each of which evolve according to an ordinary differential equation (ODE). There is one such ODE for each decaying exponential, and the introduction of these ODEs means that the Volterra integral can be removed from the governing equation. The two types of internal variable are distinguished by whether the unknown appears in the Volterra integral, or whether its time derivative appears; we call the resulting problems the displacement and velocity forms. We define fully discrete formulations for each of these forms by using continuous Galerkin finite element approximations in space and an implicit `Crank-Nicolson' type of finite difference method in time. We prove stability and a priori bounds, and (using the FEniCS environment, https://fenicsproject.org/) give some numerical results. These bounds do not require Gr\"onwall's inequality and so can be regarded to be of high quality, allowing confidence in long time integration without an a priori exponential build up of error. As far as we are aware this is the first time that these two formulations have been described together with accompanying proofs of such high quality stability and error bounds. The extension of the results to vector-valued viscoelasticity problems is straightforward and summarised at the end. The numerical results are reproducible by acquiring the python sources from https://github.com/Yongseok7717, or by running a custom built docker container (instructions are given).
翻译:我们考虑的线性卡通波方程式, 其具有遗传性的整体性, 用于模拟粘结固体。 Volterra 的内核是衰变指数( 所谓的 Maxwell 或 Zener 模型) 的总和, 允许引入两种类型的内部变量, 每种变量都根据普通差异方程式( ODE) 演化。 每个衰变指数都有一个这样的 ODE 。 引入这些 ODE 意味着 Voltula 整体可以从治理方程式中移除。 两种内部变量的区别是, 未知的在Volterra 整体中出现, 或是否其时间衍生出来; 我们称之为衰变的指数指数指数指数化指数化指数化指数( 所谓的Maxwell, 或Zenerg) 。 我们定义了一种完全不切合的公式, 并且“ 时间值” 和“ 预置的曲线” 都来自 FENICS 环境, https://fencisproprol. org/), 使得某些刻度的数值级结果具有高度的内值 。 这些绑定的内值是, 的内值 。 的内值是, 。 这些值的内存的内值是远值 。,, 。