技术摘要：一种用于偏微分方程输入到状态稳定性的统一李雅普诺夫方法

问题陈述

本文探讨了在外部扰动作用下建立偏微分方程（PDE）输入到状态稳定性（ISS）的挑战，特别关注边界扰动。虽然 ISS 理论在有限维系统和具有分布（域内）扰动的 PDE 方面已发展成熟，但针对具有边界扰动的 PDE 的分析仍然困难。这种困难源于边界扰动在系统的抽象表述中引入了无界输入算子，从而为标准的稳定性分析造成了重大障碍。

处理边界扰动的现有方法包括特征函数展开、半群理论、单调性方法和 De Giorgi 迭代。然而，这些方法往往存在局限性：

• 基于线性算子的方法（例如特征函数展开）通常仅限于一维线性偏微分方程。
• 基于索伯列夫嵌入的经典李雅普诺夫方法（CLM）难以处理狄利克雷型边界扰动，因为由此产生的李雅普诺夫导数中的边界项难以处理。
• 许多现有技术不易推广到非线性偏微分方程或高维域。

因此，需要一个统一的框架，能够处理各类偏微分方程（抛物型、双曲型、线性、非线性）和各种边界条件（包括狄利克雷条件），而无需依赖复杂的谱分析或容许性条件。

方法论：广义李雅普诺夫方法（GLM）

本文提出并展示了广义李雅普诺夫方法（GLM），该方法依赖于**广义 ISS-李雅普诺夫泛函（GISS-LFs）**的构造。

核心概念

与仅依赖于系统状态 $x$ 的经典 ISS-李雅普诺夫泛函（CISS-LFs）不同，GISS-LF（记为 $\bar{V}(x, u)$）明确包含了外部输入（扰动）$u$。该泛函被构造为应用于变换后状态的经典李雅普诺夫候选项之和：
$$\bar{V}(x, u) = \sum_{i \in I} V(h_i(x, u))$$
其中 $h_i(x, u)$ 是根据扰动幅度对状态进行平移的连续函数。

关键技术步骤

1. 截断函数：该方法利用Stampacchia 截断技术。对于给定的扰动界，定义截断函数 $g(s)$ 及其积分 $G(s)$。这些函数在负自变量时为零，在正自变量时表现为幂函数（$s^p$）。
2. 依赖扰动的平移：基于扰动的上确界范数构造常数 $M$（例如 $M = \phi^{-1}(\|d\|_\infty) + \dots$）。然后通过评估平移状态上的李雅普诺夫候选项来形成 GISS-LF，例如 $V(w - M)$ 和 $V(-w - M)$。
3. 导数分析：利用分部积分（或高维情况下的格林公式）计算 GISS-LF 的时间导数。截断函数的特定结构以及 $M$ 的选择确保了涉及扰动的边界项变为非正或相互抵消。
4. 不等式：分析依赖于基本微分不等式（Agmon、Poincaré、Jensen、Young、Gronwall）以及截断函数的特定性质（性质 G1–G8），以推导衰减率和 ISS 估计。

主要贡献与结果

本文系统地介绍了为三类代表性偏微分方程构造 GISS-LF 的教程，并在任意 $q \in [2, \infty]$ 的 $L^q$ 空间中建立了 ISS 估计。

1. N 维非线性抛物型方程

• 系统：具有混合非线性边界扰动（$\Gamma_1$ 上为狄利克雷条件，$\Gamma_2$ 上为罗宾/诺伊曼条件）和分布域内扰动的高维抛物型方程。
• 构造：GISS-LF 构造为 $\bar{V}(w) = V(w - M) + V(-w - M)$，其中 $V(w) = \int_\Omega G(w) dy$。
• 结果：证明了该系统在 $L^q$ 范数下是 ISS 的。估计表明初始状态的影响呈指数衰减，且扰动带来的增益是有界的。

2. 一维一阶非线性双曲型方程

• 系统：一个模拟半导体制造的双曲型方程，其中速度取决于总质量（状态的积分）。
• 构造：使用加权 GISS-LF：$\bar{V}(\rho) = V(\rho - M) + V(-\rho - M)$，并引入指数权重 $e^{-ry}$ 以处理边界耦合。
• 结果：
  • 全局 ISS：在速度函数具有常数下界的假设下建立。
  • 局部 ISS：针对一般速度函数建立，其中衰减率取决于初始状态和扰动的界。
  • 推导了局部和全局 $L^q$ 范数的估计。

3. 一维二阶线性双曲型方程（波动方程）

• 系统：具有边界速度阻尼和边界扰动的波动方程。
• 构造：将状态分解为特征变量（$w_t \pm c w_y$）。GISS-LF 是涉及这些被 $M$ 平移的特征变量的四项之和：
  $$\bar{V}(w) = \sum V_i(\text{特征变量} \pm M)$$
• 结果：该方法成功同时处理了边界阻尼和扰动项。推导了 $L^q$ 范数下的显式 ISS 估计。值得注意的是，本文强调，在此框架下，无扰动系统是超稳定的（有限时间稳定）。

意义与主张

本文将 GLM 定位为针对具有边界扰动的偏微分方程，相对于经典李雅普诺夫方法（CLM）的重大进步。

• 处理狄利克雷扰动：主要主张是 GLM 克服了 CLM 在处理狄利克雷边界扰动方面的特定局限性。通过将扰动界显式地通过平移 $M$ 纳入李雅普诺夫泛函，该方法避免了经典方法中因无法界定边界项而遇到的“障碍”。
• 统一框架：作者声称 GLM 提供了一种统一的方法，适用于抛物型、一阶双曲型和二阶双曲型方程，涵盖线性和非线性情况。
• 简单性与高效性：该方法主要依赖于分部积分和标准不等式，规避了以下需求：
  • 验证输入算子的容许性条件（半群方法所需）。
  • 复杂的谱分析或特征函数展开（里斯谱方法所需）。
• 灵活性：该方法允许在任意 $L^q$ 空间（$q \in [2, \infty]$）中构造 ISS 估计，提供了比局限于 $L^2$ 的方法更全面的系统鲁棒性表征。

本文结论指出，尽管由于偏微分方程结构的多样性，为所有偏微分方程构造普遍适用的 GISS-LF 仍然是一个未解决的挑战，但 GLM 为最具代表性的偏微分方程类提供了强大且系统的工具，为控制器设计和观测器综合的未来应用铺平了道路。