精读笔记

Problem Setting

[Polynomial iISS for a class of Timoshenko equations with external disturbances and infinite history memory]（arXiv preprint / 2026-07-16）

这篇论文解决的不是 Timoshenko 系统的常规能量衰减，而是：在无限历史记忆和域内外扰同时存在时，能否在自然状态空间中给出 polynomial iISS 估计。系统是经典 Timoshenko 两变量梁模型，旋转方程中含无限历史记忆项，两个方程分别受 f、h 域内扰动。

真正困难点在于三件事叠加：第一，记忆耗散只直接作用在 history variable 上，不直接给出全状态耗散；第二，外扰破坏无扰 Lyapunov 单调性，传统能量衰减证明不能直接迁移到 iISS；第三，多项式稳定情形下不能依赖指数 Gronwall，而要把 memory kernel 的衰减结构转化为状态范数的多项式输入-状态估计。

以前方法卡在两个位置。Timoshenko-memory 文献主要处理无扰稳定，能量法可做 decay 但不回答扰动增益。抽象 PiISS 文献虽然有 semi-uniform 框架，但用图范数 ||X0||_A，要求初值属于生成元定义域；这对 PDE 的 classical iISS 语义不自然，也把问题转移到高正则初值上。本文的关键矛盾就是：既要保留自然能量空间，又要从弱记忆耗散推出对全状态的 polynomial iISS。

Motivation

已有路线不够的原因很明确：无扰稳定性只说明 f=h=0 时能量如何衰减；ISS/iISS 文献多数偏指数稳定或抛物型 PDE；已有 PiISS 定义在抽象双线性系统里用图范数，和 PDE 控制里更标准的状态范数估计不一致。

作者的核心观察是，Timoshenko 无限记忆系统本身已经有一套成熟的 multiplier/Lyapunov 技术，可以把 memory damping 传递到机械能量；但一旦加入扰动，原有 Lyapunov functional 不再耗散，必须重新设计交叉项来吸收输入项和边界项。另一个观察是，Tolksdorf 条件给出的 g' <= -k0 H(g) 不只是 relaxation assumption，它可以变成 g^delta1 加权记忆耗散，是连接 memory decay 与 polynomial iISS 的关键桥。

关键缺口不是“缺一个定义”这么简单，而是缺一个在具体双曲-记忆 PDE 上可闭合的 PiISS 证明，且这个证明不能靠 graph norm 偷换状态空间。

Core Idea

核心思想是把无限历史记忆变量 eta^t 作为状态的一部分，但稳定性估计始终回到自然能量范数，而不是生成元图范数。这样做改变了建模方式：历史不再是外部卷积尾项，而是一个带 transport 结构的内部状态；扰动也不再被当成破坏项，而是进入 iISS 累积增益。

理论上它成立的原因是，memory kernel 的 Tolksdorf 条件提供了一个“非指数耗散通道”：g'(s) 控制 H(g(s))，再由 H 的幂型上下界控制 g(s)^delta1。Lyapunov 设计的任务就是把机械变量的能量耗散需求压到这个 g^delta1 加权记忆项上。相比 prior，本文不是提出新的物理模型，而是重新组织了已有 Timoshenko multiplier 技术，使其输出 classical iISS 形式的 state-norm estimate。

Method

1. History-variable reformulation：把 ∫_0^∞ g(s)psi_xx(t-s)ds 改写成 eta^t=psi(t)-psi(t-s)。它解决的是无限记忆项难以作为 semigroup 状态处理的问题；核心变化是系统变成扩展 Hilbert 空间上的一阶演化方程。

2. Natural energy space：状态空间包含 phi、phi_t、psi、psi_t、eta^t，并用能量型范数与分量范数证明等价。它解决的是 PiISS 定义中图范数不自然的问题；核心变化是初始状态和运行状态用同一个范数度量。

3. Well-posedness：用 Lumer-Phillips 证明生成 contraction semigroup，surjectivity 通过 Lax-Milgram 和 elliptic regularity。它主要是基础设施，不是本文最深的 insight；必要性在于后续 Lyapunov 估计需要合法作用在 mild/strong solution 上。

4. Composite Lyapunov functional：L = NE + N1I1 + N2I2 + J + boundary-compensating terms + muK。每个交叉项都在处理单纯能量无法耗散的变量：I1 控制 psi_x，I2 把记忆卷积和 psi_t 绑定，J 处理 Timoshenko 耦合，K 处理速度项，q(x) 边界项处理 J 中冒出的 boundary flux。

5. Tolksdorf-to-polynomial step：从 L' <= -sigma(e1+∫g^delta1|eta_x|^2)+input 出发，用 g 的积分性和插值不等式把 ∫g^delta1|eta_x|^2 转成能量幂次，得到 polynomial iISS；delta1=1 时退化为线性耗散，给出 EiISS。

Key Insight / Why It Works

最核心的贡献是把 memory kernel 的结构条件转成 Lyapunov 可用的有效耗散，而不是 PiISS 定义本身。定义层面的修正重要，但真正让结果成立的是：g' 的负性只控制历史变量，作者通过一组交叉 multiplier 把机械能量传递到这个历史耗散通道上。

equal wave speed ratio 是整个证明的结构支点。J(t) 的导数中会出现 phi_t psi_xt 型混合项，只有 rho1/k = rho2/b 结合 b_hat+g0=b 才能抵消。这个不是技术小条件，而是当前方法闭合的必要结构；没有它，整个 Lyapunov 机制会断。

PiISS 衰减率的来源相当清楚：不是 scaling，不是数据，也不是数值现象，而是 nonlinear dissipation inequality + interpolation。delta1 越接近 1，记忆核越接近指数型，得到 EiISS；delta1>1 时耗散变弱，变成 polynomial。状态范数估计里指数从能量层面再开方，因此 PiISS 状态衰减比能量衰减慢一半，这可能是 proof-induced loss，文中未充分说明 sharpness。

哪些可能只是辅助：well-posedness 证明、常数选择、多个 epsilon/lambda 的调参基本是工程化的能量闭合；它们复杂但不是概念创新。真正可迁移的是“自然状态范数 + memory-weighted dissipation + interpolation-to-iISS”这条路线。

增益形式也值得注意：输入只以 ∫||f||^2 和 ∫||h||^2 的平方根进入状态范数，本质是 L2-energy input gain。这是标准 iISS 风格，但并不说明对持续有界输入的 ISS，也不说明对边界扰动或粗糙输入的鲁棒性。

Relation To Prior Work

它最接近两条谱系：一条是 Timoshenko systems with memory 的能量衰减文献，尤其 Ammar-Khodja/Racke、Messaoudi/Said-Houari、Guesmia 等基于 multiplier 和 history variable 的路线；另一条是 infinite-dimensional ISS/iISS，尤其 Wakaiki 的 polynomial/semi-uniform ISS 框架。

和 Timoshenko-memory prior 的本质差异是加入外扰并转到 iISS，而不是只做无扰 decay。无扰时的很多技术并非新发明，本文是把这些技术改造成带输入项可闭合的 Lyapunov estimate。

和 Wakaiki 的差异更概念性：Wakaiki 的 PiISS 用 graph norm，适合抽象半群但对 PDE classical iISS 不够自然；本文坚持 state norm，从而更接近控制意义上的鲁棒性。不过这不是完全一般的 PiISS 理论，而是针对一个结构很强的具体 PDE 给出的 construction。

看似新的地方里，history-variable reformulation、辅助 multiplier、边界 q(x) 处理都属于已有能量方法的重组；实质创新在于把这些重组到 iISS 证明中，并在 Tolksdorf 条件下给出自然范数 PiISS/EiISS。

Dataset / Evaluation

这是纯理论 PDE/control 论文，没有 dataset，也没有实验 benchmark。evaluation 等价于证明链是否支持 claim：适定性、Lyapunov 等价性、耗散不等式、PiISS/EiISS 估计。

证明支持的范围相当明确：一维区间、Dirichlet 边界、域内 L2 时间扰动、无限历史记忆、等波速比、g 满足 Tolksdorf 条件且 delta1<3/2。它没有验证跨边界条件、边界扰动、非等波速、非线性 Timoshenko、或更一般 memory kernel。

因此 evaluation 对“本文所设系统具有 PiISS/EiISS”是充分的；但对“全面刻画扰动和历史记忆影响”这个更宽 claim 支持有限。尤其 rate 的 optimality、条件的必要性、与频域衰减结果的一致性都没有被系统评估。

Limitation

第一，等波速比是硬前提。论文结论不能自然外推到 unequal wave speeds；作者在 conclusion 中也明确指出 psi_xt 混合项无法处理。这说明方法依赖结构抵消，而不是完全一般的鲁棒稳定机制。

第二，delta1<3/2 是关键阈值，来自 g^{1/2} 和 g^{2-delta1} 的积分性需求。这个阈值是否是系统真实上限，还是当前 Hölder/interpolation 证明的 artifact，文中未充分说明。

第三，PiISS 估计可能偏保守。无扰时能量层和状态层给出的 decay rate 不完全一致，且证明过程中多次使用 Young、Friedrichs、粗糙插值和常数吸收；rate sharpness 没有论证。

第四，扰动模型较窄：只考虑域内 L2 输入，增益是能量型累积；没有边界扰动、持久有界扰动、非匹配扰动、随机扰动或反馈控制误差的处理。实际工程里的 beam disturbance 往往不止这个形式。

第五，所谓“weaker structural conditions”仍然在 Tolksdorf 框架内，且需要 g 单调、正、可微、g0<b。更一般的 relaxation kernels、非单调材料响应或有限正则记忆核不在覆盖范围内。

Takeaway

• 1. 对非指数稳定 PDE 做 iISS，关键不是套用 ISS 定义，而是找到能把弱耗散转成状态范数耗散的插值结构；本文给了一个可复用模板。
• 2. 自然状态范数 PiISS 比 graph-norm PiISS 更符合 PDE 控制语义，但代价是证明高度依赖具体 PDE 的 multiplier 结构。
• 3. Timoshenko-memory 系统里，equal wave speed ratio 仍是分水岭；有外扰时，不等波速问题比无扰 polynomial decay 更难，不是简单加高阶能量就能解决。
• 4. 最值得迁移的 insight 是：把 memory kernel 的衰减假设写成加权历史耗散，再通过 Lyapunov 交叉项把主系统能量压到该耗散通道上；这可能适用于其他带无限记忆的双曲系统。

一句话总结

这篇论文把 Timoshenko 无限记忆系统的传统能量衰减技术推进到自然状态范数下的 polynomial iISS，是一篇结构条件很强但机制清楚的 PDE 鲁棒稳定性工作。