[论文解读] Right and Left Joint System Representation of a Rational Matrix Function in General Position (System Representation Theory for Dummies)

Victor Katsnelson|ArXiv.org|Jun 12, 2007

Matrix Theory and Algorithms参考文献 28被引用 7

一句话总结

本文提出了一种针对一般位置下有理矩阵函数的新型联合右/左系统表示方法，通过极点矩阵和零点矩阵，以及半残差矩阵，表达双变量函数 $ R(x)R^{-1}(y) $ 和 $ R^{-1}(x)R(y) $。关键贡献在于推导出耦合矩阵 $ S^r $ 和 $ S^l $ 的显式实现，这些实现涉及Sylvester-Lyapunov方程，且二者互为逆矩阵，从而为谱分解和形变理论提供了新框架。

ABSTRACT

For a rational matrix function R of one variable in general position, the matrix functions R(x)/R(y) and R(y)\R(x) of two variables are considered. For these matrix functions of two variables, representations which are analogous to the system representations (or realizations) of a rational matrix function of one variable are constructed. This representation is called the joint right [the joint left] system representation.

研究动机与目标

• 为一般位置下的有理矩阵函数发展一种新的系统表示理论，将标量有理函数分解推广至矩阵情形。
• 构造双变量矩阵函数 $ R(x)R^{-1}(y) $ 和 $ R^{-1}(x)R(y) $ 的显式实现，类比于单变量有理函数的标准系统实现。
• 引入并分析基于极点矩阵、零点矩阵、半残差矩阵以及耦合矩阵 $ S^r $ 和 $ S^l $ 的右/左联合系统表示。
• 通过互逆性 $ S^r S^l = S^l S^r = I $ 建立右/左表示之间的对偶性，强调结构对称性。
• 为Fuchsian系统的形变理论以及有理矩阵函数的谱（Wiener-Hopf）分解提供理论基础。

提出的方法

• 该方法通过极点矩阵 $ A_{/cal P} $、$ A_{/cal N} $ 和半残差矩阵 $ F_{/cal P}, G_{/cal P}, F_{/cal N}, G_{/cal N} $，分别对 $ R(z) $ 和 $ R^{-1}(z) $ 构造加法分解。
• 联合右系统表示推导为 $ R(x)R^{-1}(y) = I + (x-y)F_{/cal P}(xI - A_{/cal P})^{-1}(S^r)^{-1}(yI - A_{/cal N})^{-1}G_{/cal N} $，其中 $ S^r $ 满足Sylvester-Lyapunov方程。
• 联合左系统表示为 $ R^{-1}(x)R(y) = I + (x-y)F_{/cal N}(xI - A_{/cal N})^{-1}(S^l)^{-1}(yI - A_{/cal P})^{-1}G_{/cal P} $，其中 $ S^l $ 满足对偶的Sylvester-Lyapunov方程。
• 通过底层系统方程推导出恒等式 $ S^r S^l = S^l S^r = I $，证明耦合矩阵 $ S^r $ 和 $ S^l $ 互为逆矩阵。
• 该方法基于经典实现理论，但引入了右/左表示之间对偶性的新关注点，尤其在零极点耦合的背景下。
• 该框架被应用于谱分解，从系统表示中推导出显式公式，并与文献中已知结果（特别是Sakhnovich、Gohberg和Livšic的工作）建立联系。

实验结果

研究问题

• RQ1 双变量矩阵函数 $ R(x)R^{-1}(y) $ 和 $ R^{-1}(x)R(y) $ 如何以类比于标准有理函数实现的系统理论形式表示？
• RQ2 极点矩阵 $ A_{/cal P} $、$ A_{/cal N} $ 以及半残差矩阵 $ F_{/cal P}, G_{/cal P}, F_{/cal N}, G_{/cal N} $ 在构建联合系统表示中的作用是什么？
• RQ3 右/左耦合矩阵 $ S^r $ 和 $ S^l $ 如何定义？在有理矩阵函数的背景下，它们之间的结构关系是什么？
• RQ4 联合系统表示能否用于推导有理矩阵函数谱（Wiener-Hopf）分解的显式公式？
• RQ5 互逆性 $ S^r S^l = S^l S^r = I $ 的意义是什么？它如何反映右/左表示之间的对偶性？

主要发现

• 成功显式构造了 $ R(x)R^{-1}(y) $ 的联合右系统表示：$ I + (x-y)F_{/cal P}(xI - A_{/cal P})^{-1}(S^r)^{-1}(yI - A_{/cal N})^{-1}G_{/cal N} $，其中 $ S^r $ 满足Sylvester-Lyapunov方程。
• 联合左系统表示为 $ R^{-1}(x)R(y) = I + (x-y)F_{/cal N}(xI - A_{/cal N})^{-1}(S^l)^{-1}(yI - A_{/cal P})^{-1}G_{/cal P} $，其中 $ S^l $ 满足对偶方程。
• 证明了耦合矩阵 $ S^r $ 和 $ S^l $ 互为逆矩阵：$ S^r S^l = S^l S^r = I $，确保右/左表示之间的一致性。
• 该方法为已知的有理矩阵函数实现结果提供了新的、自包含的推导，强调对偶性与结构对称性，且无需预先掌握实现理论知识。
• 该框架通过系统表示表达因子，支持有理矩阵函数的谱分解，并从耦合矩阵中推导出显式公式。
• 本文建立了系统表示与经典矩问题及结构化矩阵求逆理论之间的联系，强调了Livšic和Sakhnovich在该理论发展中的基础性作用。