On the Lyapunov equation with the state matrix in companion form

技术摘要：关于伴随矩阵形式下的李雅普诺夫方程

问题陈述
本文研究了连续时间李雅普诺夫方程中唯一解 $X$ 的逐元素非负性，其中 $A \in \mathbb{R}^{n \times n}$ 是与多项式 $a(s)$ 相关联的 Hurwitz 伴随矩阵，$Q = Q^\top \succeq 0$ 是正半定矩阵。

虽然标准的李雅普诺夫理论保证了 $X$ 是对称且正半定的（在 Loewner 序下），但这一性质并不意味着 $X$ 是逐元素非负的（即对于所有 $i,j$，都有 $X_{ij} \geq 0$）。本文探讨了由 Luigi Fortuna 教授提出的 猜想 1.1，该猜想认为：若 $A$ 是 Hurwitz 伴随矩阵且 $Q \suc0$，则解 $X$ 是逐元素非负的。这一性质与正半定性不同，在正系统理论中具有特殊意义，因为逐元素非负性确保了物理量（如质量、浓度或种群）的守恒。

研究方法
证明策略依赖于将一般问题简化为涉及初等对称多项式和 Cauchy 型矩阵的特定代数结构。其方法论通过以下步骤进行：

1. 问题简化：

   • 秩-1 约化： 利用李雅普诺夫方程的线性性质以及任何正半定矩阵 $Q$ 都可以分解为秩-1 矩阵之和（$Q = \sum q_i q_i^\top$）的特性，作者假设在不失一般性的情况下，$Q = qq^\top$。
   • 可对角化： 作者认为解 $X$ 是 $A$ 的连续函数。因此，只需证明对于可对角化的伴随矩阵（其特征值互不相同）结论成立。不可对角化的情形可以通过具有任意接近系数的可对角化矩阵来逼近。

2. 谱分解：

   • 假设 $A$ 是可对角化的，且具有互不相同的实特征值 $-\lambda_i$（排序为 $0 < \lambda_1 < \dots < \lambda_n$），作者利用了 $A^\top$ 的特征向量。这些特征向量 $v_j$ 是使用特征值的初等对称多项式 $\sigma_m^{(j)}$ 构建的。
   • 强迫向量 $q$ 在此特征基下展开为：$q = \sum a_i v_i$。

3. 积分表示与二次型：

   • 利用李雅普诺夫解的积分公式 $X = \int_0^\infty e^{A^\top t} Q e^{At} dt$，作者推导出了条目 $X_{kl}$ 的显式表达式。
   • 条目 $X_{kl}$ 被证明是一个二次型 $a^\top M a$，其中矩阵 $M$ 的元素定义为：
     $$M_{ij} = \frac{\sigma_{n-k}^{(i)}\sigma_{n-l}^{(j)} + \sigma_{n-k}^{(j)}\sigma_{n-l}^{(i}}{\lambda_i + \lambda_j}$$
   • 该矩阵 $M$ 被分解为 $M = \Delta C \Delta$，其中 $\Delta$ 是对角矩阵，$C$ 是一个 Cauchy 型矩阵，其元素为 $C_{ij} = \frac{r_i + r_j}{\lambda_i + \lambda_j}$。

4. 正性验证：

   • 若矩阵 $M$ 是正半定的，则 $X_{kl}$ 的非负性成立。由于 $\Delta$ 是非奇异的，这等价于证明 $C \succeq 0$。
   • 作者引用了已有的结果 [8] 来确认此类 Cauchy 型矩阵是正半定的。

主要贡献与结果

• 定理 1（主要结果）： 本文证明了在 $A$ 仅具有实特征值 的特定条件下，猜想 1.1 成立。在此假设下，唯一的解 $X$ 是逐元素非负的。
• 全正性分析： 作者研究了一个更强的性质：全非负性（所有子式均非负）。
  • 他们提供了一个反例，表明即使在特征值为实数的情况下，$X$ 通常也不是全非负的。
  • 定理 2： 他们建立了一个全正性的充分条件：如果强迫向量 $q$ 在 $A^\top$ 的特征基中有非负展开（具体而言，$q = \sum \alpha_j v_j$ 且 $\alpha_j \geq 0$），则 $X$ 是全正的。这是通过将 $X$ 分解为全正矩阵的乘积（涉及 Vandermonde 矩阵和 Cauchy 矩阵）来证明的。

意义与主张
本文声称解决了关于伴随矩阵李雅普诺夫解结构性质的一个长期存在的猜想，特别是在正系统领域内。

• 动机： $X$ 的逐元素非负性受正系统最优控制的启发。具体而言，对于具有非负输入矩阵的单输入系统，与相关代数 Riccati 方程（重写为李雅普诺夫方程）相关的逐元素非负解，意味着最优调节器可以通过仅使用正电压电源的硬件来实现。
• 范围与局限性： 作者对其证明的普适性保持审慎。他们明确指出，实特征值 的假设是一个限制。本文留下的悬而未决的问题是：该猜想是否对于具有复特征值的 Hurwitz 伴随矩阵同样成立。
• 理论价值： 该工作将李雅普诺夫理论与 Cauchy 型矩阵及初等对称多项式联系起来，证明了 $X$ 的逐元素非负性源于一类与 Kwong（或 anti-Loewner）矩阵对偶的特定矩阵的正半定性。

总之，本文提供了严谨的证明，表明具有实谱的 Hurwitz 伴属矩阵的李雅普诺夫解是逐元素非负的，同时也澄清了全正性需要强迫向量的额外约束。