精读笔记
Problem Setting
论文标题：Dissipativity properties of a class of nonlinear time-delay systems via Bessel–Legendre inequalities（arXiv preprint / 2026-07-07）。这篇论文处理的是多常数离散时滞系统的耗散性判定问题，系统可以是非线性的，供给率是一般二次型，因此覆盖 impedance passivity、scattering passivity 等特殊情形。真正困难点不是写出耗散不等式，而是要构造一个依赖历史轨迹的 storage，使其沿解的导数能被供给率控制。延迟系统里，storage 导数会产生历史区间上的导数积分项；如果估计太粗，条件极保守；如果估计太细，又会失去 tractable 判据。本文的关键矛盾就是：如何引入更多历史信息来降低保守性，同时在线性情形仍保留 LMI 形式。
Motivation
已有路线的不足在于，大量 delay-independent 或低阶 Jensen / Wirtinger 型判据只利用端点、均值或一阶形状信息，对历史轨迹的利用非常有限。对于耗散性而非单纯稳定性，问题更紧，因为 storage derivative 还要和输入输出供给率精确配平。作者的核心观察是：Bessel–Legendre inequality 已经在时滞稳定性 LMI hierarchy 中证明过可以系统性地利用高阶历史投影，因此它也应当能迁移到耗散性判据中。这里缺的不是新的耗散性概念，而是一个能把“历史轨迹形状”组织进 storage、又能导出可验证矩阵条件的机制。
Core Idea
论文的真正核心是把延迟历史区间上的状态轨迹投影到 Legendre 多项式基上，用这些 moments 作为 storage 的有限维扩展状态。这样，历史不再被压缩成 x(t) 和 x(t-τ_i) 两个端点，而是以可调阶数 N 的方式携带区间内形状信息。Bessel–Legendre inequality 则给出导数能量积分的下界，使 Lyapunov–Krasovskii 泛函求导后出现的负积分项可以被一个显式二次型替代。
本质区别在于建模方式的变化：prior 的 Jensen / Wirtinger 判据对应低阶投影或非常粗的历史压缩；本文把这种压缩变成一个层级化的正交投影框架。它引入的 inductive bias 是“延迟历史的有效信息可由低阶正交矩刻画”，因此阶数 N 越高理论上越能贴近真实积分项。对线性系统，这个信息重组恰好与二次 storage、线性 dynamics 和二次供给率兼容，因而能落到 LMI。
Method
第一，storage 设计解决的是延迟历史无法由普通 Lyapunov function 表达的问题。作者使用 S1(x(t))、Legendre moment 二次项、区间积分项 Θ_i 和导数双积分项共同组成 Lyapunov–Krasovskii storage；核心变化是把历史轨迹显式变成判据变量，而不是作为不可控 residual。
第二，Legendre moment dynamics 解决的是额外状态如何闭合的问题。通过 Legendre 多项式的边界值和导数展开，Ω_k^i 的时间导数可以写成当前态、延迟态和低阶 moments 的线性组合；这保证了在线性系统中扩展状态不会引入新的无限维未知量。
第三，Bessel–Legendre inequality 解决的是导数积分项估计问题。storage 中的双积分项求导后产生正的 τ_i^2 \dot{x}^T R_i \dot{x} 和负的区间导数能量积分；后者用 Bessel–Legendre 下界替换，形成可写成 ζ^T Γ^T R Γ ζ 的显式负项。
第四，非线性情形得到的是全局非线性矩阵不等式，线性情形则通过二次 storage 和线性 f,h,g 把所有项收集成 LMI。delay-independent 判据是把 P_N 和 R_i 设为零后得到的简化版本，本质上牺牲历史形状信息来换取对 τ 的独立性。
Key Insight / Why It Works
最核心的有效性来源不是“用了新的 storage 形式”本身，而是 Legendre 投影让历史区间上的导数能量估计形成一个 hierarchy。Jensen 是 N=0，Wirtinger 可理解为低阶特例；Bessel–Legendre 的作用是把积分估计从单一粗界推广成可调分辨率的正交投影下界。这个下界越紧，storage derivative 中可用于抵消不利项的负二次型越强，因此 LMI 更可能可行。
真正贡献最可能在于把 Seuret–Gouaisbaut 稳定性分析中的 Bessel–Legendre hierarchy 移植到 general quadratic dissipativity，并处理 multiple discrete delays 和输入输出供给率项。它不是新的非线性耗散理论，也不是新的 LMI 技术；更像是一个结构化泛函模板 + 正交投影不等式在耗散性问题上的组合。
辅助部分包括负反馈互联无源性命题和 delay-independent corollary：这些结论基本沿用标准 dissipativity/passivity 逻辑，新增信息有限。线性 LMI 部分是最可用的工程输出，但其增益究竟来自 Bessel–Legendre 更紧的积分估计，还是来自更大的 storage 变量空间，文中未充分说明。可以直接判断：本文的主要提升应归因于 better inductive bias / richer Lyapunov functional class，而不是 scaling、数据覆盖、retrieval 或 test-time compute。
Relation To Prior Work
最接近的技术谱系是 Lyapunov–Krasovskii functional + integral inequality + LMI hierarchy。与 Jensen / Wirtinger 判据相比，本质差异是历史信息压缩方式从低阶固定估计变成 Legendre 正交投影层级；这在机制上确实可能减少保守性。与 Seuret and Gouaisbaut 2015 的稳定性 hierarchy 相比，本文的新意不在 Bessel–Legendre inequality 本身，而在将其嵌入耗散性供给率框架，并处理输入输出项。
与 nonlinear dissipativity / passivity 文献相比，本文给出的非线性条件仍是典型 storage derivative ≤ supply 的路线，只是 storage 结构更复杂。与 port-Hamiltonian delay 系统相关工作相比，本文更一般但结构性更弱：它没有深度利用 Hamiltonian/skew-symmetric/dissipation 结构，而是走通用矩阵不等式路线。因此实质创新是“通用耗散性判据的 Bessel–Legendre 化”，不是某个新的物理结构定理。
Dataset / Evaluation
这篇是控制理论论文，没有 dataset，也没有通常意义上的实验 benchmark。evaluation 主要是定理证明和线性系统 LMI 可解形式的给出。它验证了一个形式 claim：在给定 storage 模板和 Bessel–Legendre inequality 下，条件成立则系统耗散；线性时条件可写成 LMI。
但它没有充分验证性能 claim：没有系统数值例子比较 Jensen、Wirtinger、Bessel–Legendre 在可行域或最大允许延迟上的差异；也没有展示阶数 N 增大是否在实际 SDP 中稳定带来更少保守性；没有真实物理系统或 port-Hamiltonian 案例。因而本文更像是一个理论框架 note，而不是完整展示 practical advantage 的论文。核心 claim 中“tractable LMI”被支持了，“less conservative”主要是由 prior inequality hierarchy 间接支撑。
Limitation
第一，非线性部分的可用性有限。条件要求存在 S1、Θ_i、P_N、R_i 使全局非线性矩阵不等式成立，但论文没有给出系统化搜索方法；这实际把耗散性验证问题转移成 storage/function synthesis 问题。除非系统有特殊结构，否则这个条件很难直接用。
第二，scalability 上限不清。Legendre 阶数 N 和延迟数 q 同时增大时，扩展状态维度和 LMI 尺寸线性/块状增加，但 SDP 数值复杂度会更快恶化；高阶 moments 也可能带来数值病态。文中未充分说明如何选择 N，也未说明是否存在收益递减或可行性单调性。
第三，判据是充分非必要，且保守性来源不只在积分不等式。storage 模板本身、R_i 半正定约束、Θ_i 的形式、供给率矩阵结构都会限制可行域。尤其 impedance passive 情形下 S22=0 导致 B^T R_i B=0 的约束，说明为了保持输入二次项不破坏供给率，R_i 的选择被严重限制；这可能抵消 Bessel–Legendre 带来的部分增益。
第四，适用对象较窄：常数离散延迟、固定 τ、连续可微历史、二次供给率。time-varying delay、distributed delay、不确定系统、闭环综合问题都没有处理。所谓 delay-independent 条件是退化模板，并没有从 Bessel–Legendre 机制中获得新能力。
Takeaway
- 1. 最值得记住的是：Bessel–Legendre hierarchy 可以自然迁移到耗散性分析，把延迟历史的利用从端点/均值提升为正交 moment 表示。
- 2. 对线性多时滞系统，本文给出的是一个可实现的 LMI 模板；它的价值在于提供了 systematic certificate search，而不是给出新的耗散性概念。
- 3. 真正可迁移的 insight 是：在含记忆系统里，减少保守性的关键往往不是更复杂的 supply rate，而是更好地组织历史轨迹信息；Legendre moments 是一种相对干净的有限维化方式。
- 4. 未来真正值得做的是数值层面的归因：区分高阶积分不等式带来的增益、storage 变量扩张带来的增益、以及 SDP scaling 成本，并把该框架接到结构化系统如 port-Hamiltonian delay systems 或 SOS-based nonlinear verification。
一句话总结
这篇论文处在 Lyapunov–Krasovskii/LMI 时滞系统分析谱系中，真正贡献是把 Bessel–Legendre 正交投影层级用于一般二次供给率下的耗散性判据，本质上是用更丰富的历史轨迹表示来降低传统积分估计的保守性。