On the Characterization of the Duhem Hysteresis Operator with Clockwise Input-Output Dynamics

技术摘要：关于具有顺时针输入-输出动力学的 Duhem 滞回算子的表征

问题陈述
滞回（Hysteresis）是物理系统中普遍存在的非线性现象（例如，压电致动器、铁磁材料、机械系统）。虽然输入-输出（I/O）行为通常被表征为逆时针（CCW）或顺时针（CW），但现有文献广泛分析了与输入到输出导数相关的钝性（CCW）动力学，却缺乏针对 Duhem 滞回算子在 CW 动力学背景下的严谨框架。具体而言，需要表征表现出 CW I/O 行为的 Duhem 算子，在这种情况下，供能率（supply rate）定义为输出与输入导数的乘积 ($y\dot{u}$)，而非输入与输出导数的乘积 ($\dot{y}u$)。这对于具有滞回摩擦的机械系统尤为重要，因为相对位移与摩擦力之间的关系通常遵循 CW 动力学。

方法论
作者研究了一类由以下微分方程定义的特定 Duhem 滞回算子：
$$\dot{y}(t) = f_1(y(t), u(t))\dot{u}_+(t) + f_2(y(t), u(t))\dot{u}_-(t)$$
其中 $\dot{u}_+$ 和 $\dot{u}_-$ 分别代表输入导数的正部分和负部分。

为了表征 CW 特性，论文引入了三个由算子定义函数 $f_1$ 和 $f_2$ 推导出的辅助函数：

1. 无滞回函数（Anhysteresis Function, $f_{an}$）： 一个满足 $f_1 = f_2$ 的曲线，代表滞回环塌陷的点集轨迹。
2. 遍历函数（Traversing Function, $\omega_\Phi$）： 描述当应用单调递增或递减输入时，算子的轨迹。
3. 相交函数（Intersecting Function, $\Lambda$）： 定义了遍历轨迹与无滞回曲线之间的唯一交点。

利用这些函数，作者构建了一个存储函数 $H_\curvearrowright: \mathbb{R}^2 \to \mathbb{R}^+$，该函数是无滞回函数积分与遍历函数积分之差。该方法的核心在于推导 $f_1$ 和 $f_2$ 的充分条件（特别是关于派生函数 $F$ 相对于无滞回曲线的正负性），以确保该存储函数的时间导数满足 CW 耗散不等式：
$$\frac{d}{dt}H_\curvearrowright(y(t), u(t)) \leq y(t)\dot{u}(t)$$

主要贡献

1. CW 动力学的充分条件： 论文为 Duhem 算子的函数 $f_1$ 和 $f_2$ 提供了显式的充分条件，以保证该算子表现出顺时针 I/O 动力学。这在定理 1 中得到了形式化。
2. 存储函数的显式构建： 不同于以往仅建立存在性的研究，本文提供了一个满足 CW 耗散不等式的存储函数 $H_\curvearrowright$（公式 20）的显式构建方法。该函数被证明是对应于供能率 $y\dot{u}$ 的“可用存储函数”（available storage function）。
3. 饱和输出的泛化： 命题 2 将结果扩展到了具有饱和输出的 Duhem 算子，这是 Dahl 模型等物理模型中的常见特征。
4. 稳定性分析框架： 论文展示了如何利用构建的存储函数作为李雅普诺夫函数，来分析包含 CW 滞回系统的稳定性。

结果

• 理论验证： 作者证明，如果构建的函数 $H_\curvearrowright$ 满足耗散不等式，则该算子是 CW 的。证明依赖于相交函数 $\Lambda$ 的性质以及遍历函数 $\omega_\Phi$ 的行为。
• 在 Dahl 模型中的应用： 该理论被应用于描述摩擦的 Dahl 模型。论文显式地推导了 Dahl 模型的存储函数 $H_\curvearrowright$（公式 26），并验证了其满足所需的耗散不等式。
• 二阶系统的稳定性： 利用导出的存储函数，作者分析了一个由 Dahl 模型描述的具有滞回摩擦的二阶机械系统。通过构建复合李雅普诺夫函数 $V = \frac{1}{2}kx_1^2 + \frac{1}{2}mx_2^2 + H_\curvearrowright(x_3, x_1)$，他们证明了该系统从施加力到速度是钝性的。因此，一个简单的比例反馈控制律（$F = -dx_2$）被证明可以保证速度渐近收敛至零，而无需精确了解摩擦参数（$\rho$ 和 $F_C$）。

意义
该论文声称其主要意义在于为现有的 CCW 表征结果提供了对偶扩展，特别是针对具有 CW I/O 动力学的系统。通过为具有 CW 行为的 Duhem 算子建立严谨的耗散框架，这项工作使得在无需反转算子（这在物理上可能无法实现或不可逆）的情况下，能够对具有滞回摩擦的机械系统进行稳定性分析。此外，存储函数的显式构建为系统辨识提供了一个实用的工具，允许研究人员根据 CW 特性来限制拟合测量数据的 Duhem 算子类别。这些结果弥合了抽象耗散理论与控制系统中摩擦诱导滞回建模的实际应用之间的鸿沟。