1D PDE的周期边界条件下的表示与稳定性分析

周期边界条件的偏微分方程常用于建模大尺度空间环境中的过程，假设解在某有限区间之外可周期延拓。然而，这类偏微分方程的解常不收敛到唯一平衡态，而是收敛于微分算子 nullspace（如 $\frac{\partial^2}{\partial x^2}$）中存在的非稳态轨迹。为分析这种收敛行为，本文证明了对于广泛的线性二阶1D偏微分方程（包括周期及更一般的边界条件），如何使用部分积分方程（PIE）表示来建模这些轨迹。具体而言，首先证明了满足边界条件的任意PDE状态可唯一表示为位于微分算子 $\frac{\partial^2}{\partial x^2}$ 映象域和 nullspace 中的两个分量。随后推导了线性PDE的等价PIE表示，显式定义了这两个状态分量的动力学。最后定义了一种仅需其中一个状态分量收敛于零即可实现的指数稳定性概念，证明了该稳定性可通过求解线性算子不等式来检验。本文以热方程和波方程为例，展示了可借此验证指数稳定性且具备紧致衰减速率界限。