耗散性
耗散性(dissipativity)用储存函数和供给率描述动态系统的广义能量收支。供给率决定外部信号按什么规则计入收支;储存函数则衡量系统内部积累了多少。无源性是供给率取输入输出内积的一种特殊耗散性。
从积分定义到微分不等式
设系统状态为 、输入为 、输出为 。给定实值供给率 ,若存在非负函数 ,使每条允许轨迹、每个有限时段都满足 称系统关于 耗散。可微情况下,只要沿轨迹有 ,积分即可得到定义中的关系。供给率可以有负值:这表示系统正在向外送出已有储存量,而非每个时刻都在吸收能量。[1][2]
选择不同供给率得到不同结论。取 就是无源性;取正数 ,令 并利用 ,得到 。在零初始储存时,这给出输入到输出的 增益不超过 ;非零初态多出明确的初始储存项。
标量系统的配平方证明
考虑 ,使用归一化变量。取 、,计算 这直接证明供给率为 的耗散性。对零初态和平方可积输入,积分后有 。证明同时说明不等式的松弛来自哪一个平方项。
若从零开始在有限时段施加 ,则 ,储存量为 。累计供给为 两者差为 ,逐时核对了积分收支。图中这个“储存”是所选数学函数的数值,没有把归一化变量冒充为实际焦耳。
一般系数与可检查条件
对 ,,尝试 。供给率与导数之差为 对 配平方,余项为 ,所以条件 足以证明给定增益界。变式。 取 ,选择 ,余项恰好为零,得到 增益不超过二分之一。
储存函数不必唯一,也不必是系统真实物理能量。若它不能约束所有内部方向,仅有输入输出耗散性不能推出全部内部状态稳定;例如独立附加一个不影响输出的增长状态,并不会改变上述端口不等式。要得出状态收敛,应检查储存函数的正定、适当径向增长以及导数或可检测条件。
参考资料
- ↑ Jan C. Willems,Dissipative Dynamical Systems Part I: General Theory (1972),官方摘要说明储存函数与供给率,Archive for Rational Mechanics and Analysis 45:321–351;下列计算独立推导。
- ↑ Eugenio Schuster,ME450 Nonlinear Systems and Control, Lecture8 (2024),PDF第12—16页,储存函数与无源供给率;本文另以一般供给率作同样的积分比较。