类型b:学术报告(综述/理论性论文)
本文档是Jan C. Willems于1972年发表在《Archive for Rational Mechanics and Analysis》上的经典论文《Dissipative Dynamical Systems - Part I: General Theory》的第一部分。该论文属于系统理论与控制理论领域,旨在建立耗散动力系统(dissipative dynamical systems)的统一理论框架,为稳定性分析、网络理论和最优控制等领域提供数学基础。
Jan C. Willems是20世纪系统与控制理论的重要学者,其工作与Popov、Yakubovich、Kalman等先驱的研究密切相关。本文的学术背景源于1960年代对反馈控制系统中无源性(passivity)和小增益定理(small gain theorem)的探索。Willems提出耗散性的概念,将无源性推广为更一般的“能量耗散”性质,并建立状态空间(state-space)与李雅普诺夫函数(Lyapunov function)的联系。
耗散动力系统的核心定义基于“供给率”(supply rate)和“存储函数”(storage function)。系统称为耗散的,若存在非负存储函数( S(x) ),使得对任意状态轨迹满足:
[ S(x0) + \int{t_0}^{t_1} w(u(t), y(t)) \, dt \geq S(x_1) ]
其中( w(u,y) )为供给率,描述能量输入/输出的瞬时速率。这一不等式体现了能量守恒与耗散的基本物理原理。
支持理论:
- 通过类比电路理论中的无源网络(passive networks)和热力学第二定律,说明耗散性是动态系统的普适性质。
- 引入“可用存储”(available storage)和“需供量”(required supply)两个极值函数,证明它们分别是最小和最大可能的存储函数(Theorem 1-2)。
Willems指出,存储函数通常不唯一,而是介于可用存储( S_a )和需供量( S_r )之间的凸集(Theorem 3)。这一结论揭示了传统物理模型中“唯一能量函数”假设的局限性。
论据:
- 以线性矩阵不等式(linear matrix inequalities, LMIs)为例,说明存储函数与Riccati方程的解的关联。
- 批评经典热力学和连续介质力学中“历史依赖泛函”的缺陷,强调状态空间模型对等效历史(equivalent histories)的刻画优势。
通过中性互联约束(neutral interconnection constraint)将多个耗散子系统连接后,新系统的总存储函数为各子系统存储函数之和(Theorem 5)。这一结果为复杂系统的模块化分析奠定基础。
应用案例:
- 电路理论中RLC网络的能量存储与耗散分析(Section 7.3)。
- 反馈系统的稳定性证明(Section 7.2),将Popov准则和小增益定理统一为耗散性框架的特例。
耗散性直接关联稳定性:若存储函数在平衡点( x^* )处取得局部极小值,则( x^* )是稳定的,且存储函数可作为李雅普诺夫函数(Theorem 6)。
支持证据:
- 通过非线性反馈系统的例子(Lur’e问题),展示如何构造李雅普诺夫函数(Section 7.2)。
- 对比传统频域稳定性判据(如圆判据、正实性条件),说明耗散理论的普适性。
将热力学第一、第二定律表述为耗散性的特例:内能( e(x) )对应守恒的存储函数,熵( s(x) )对应耗散性(Section 7.4)。
争议点:
- 不可逆热力学系统中熵函数的非唯一性,与Meixner的观点一致,反驳了经典理论中“熵必须唯一”的假设。
本文是系统理论领域的里程碑式工作,其数学严谨性与物理直观性的结合,使其成为后续研究的基石。