[论文解读] An Analytic Proof of the Matrix Spectral Factorization Theorem

Lasha Ephremidze, G. Janshia+1 more|ArXiv.org|Oct 21, 2007

Algebraic and Geometric Analysis参考文献 16被引用 3

一句话总结

本文利用 Hardy 空间理论与酉矩阵函数，提出矩阵谱分解定理的一个新颖解析证明，证明在可积条件 $ \log\det S(z) \in L_1(\mathbb{T}) $ 下，单位圆上任意正定矩阵函数均存在规范谱分解 $ S(z) = \chi^+(z)(\chi^+(z))^* $。该证明通过迭代酉变换将问题约化为外函数，从而得到一种构造性且概念简洁的方法，并具有直接的算法实现意义。

ABSTRACT

An analytic proof is proposed of Wiener's theorem on factorization of positive definite matrix-functions.

研究动机与目标

• 在 Hardy 空间框架内，提供矩阵谱分解定理的新解析证明，避免使用泛函分析或不变子空间理论。
• 证明谱因子 $ \chi^+(z) \in H_2^r $ 的存在性及其行列式为外函数，可直接由 $ H_p $ 空间理论与酉矩阵函数理论导出。
• 通过揭示酉矩阵函数在吸收技术复杂性中的决定性作用，将存在性证明与有效计算方法统一。
• 建立规范分解 $ S(z) = \chi^+(z)(\chi^+(z))^* $，其中 $ \chi^+(0) $ 为正定矩阵，且在酉矩阵乘子意义下唯一。

提出的方法

• 对 $ S(z) $ 进行下三角 Cholesky 类似分解 $ S(z) = A(z)A(z)^* $，其中 $ A(z) $ 的元素属于 $ L_2(\mathbb{T}) $，并保证对角线元素为正。
• 通过 Poisson-Jensen 公式定义外解析函数 $ f_j^+(z) \in H_2^O $：$ f_j^+(z) = \exp\left(\frac{1}{2\pi}\int_0^{2\pi}\frac{e^{it}+z}{e^{it}-z}\log f_{jj}(e^{it})\,dt\right) $，使得在 $ \mathbb{T} $ 几乎处处有 $ |f_j^+(z)| = f_{jj}(z) $。
• 构造酉矩阵函数 $ U_j(z) $，使得 $ f_j^+(z)/f_{jj}(z) = u_j(z) $ 且 $ |u_j(z)| = 1 $，从而构成对角酉矩阵 $ U(z) $。
• 通过递推关系 $ M_m(z) = M_{m-1}(z)V_m(z) $ 定义一列矩阵函数 $ M_m(z) $，其中 $ V_m(z) $ 为利用递推引理构造的分块酉矩阵，以保持解析性与边界行为。
• 利用恒等式 $ M_r(z) = M(z)U_2(z)\cdots U_r(z) $ 证明 $ \det M_r(z) = \prod_{j=1}^r f_j^+(z) $，且由于每个 $ f_j^+ $ 均为外函数，其乘积亦为外函数。
• 最终得出 $ M_r(z) \in H_2^r $，$ M_r(z)M_r(z)^* = S(z) $ 几乎处处在 $ \mathbb{T} $ 上成立，且 $ \det M_r(z) $ 为外函数，从而完成规范分解的证明。

实验结果

研究问题

• RQ1 能否仅通过 Hardy 空间理论与酉矩阵函数理论证明矩阵谱分解定理，而无需引入不变子空间或泛函分析？
• RQ2 在对数行列式可积条件下，如何从矩阵函数 $ S(z) $ 显式构造规范谱因子 $ \chi^+(z) $？
• RQ3 酉矩阵函数在简化谱分解问题并吸收其技术复杂性方面起到何种作用？
• RQ4 是否存在一种直接的解析证明，既能证明谱因子的存在性，又能导出有效的计算算法？
• RQ5 外函数的乘积是否仍为外函数？该性质如何确保谱因子行列式的外性？

主要发现

• 对于任意 $ r\times r $ 正定矩阵函数 $ S(z) \in L_1(\mathbb{T}) $，若满足 $ \log\det S(z) \in L_1(\mathbb{T}) $，则谱分解 $ S(z) = \chi^+(z)(\chi^+(z))^* $ 存在，且 $ \chi^+(z) \in H_2^r $，其行列式为外函数。
• 规范谱因子 $ \chi^+(z) $ 由 $ \chi^+(0) $ 为正定矩阵的条件唯一确定，其构造方法为对下三角因子 $ A(z) $ 依次应用酉变换。
• 行列式 $ \det \chi^+(z) $ 为外函数，因其为外函数 $ f_j^+(z) $ 的乘积，而每个 $ f_j^+ $ 均通过 $ \log f_{jj}(z) \in L_1(\mathbb{T}) $ 的 Poisson 积分公式定义。
• 该证明完全为解析且构造性，仅依赖于 Hardy 空间理论与酉矩阵函数，未使用不变子空间或高级泛函分析。
• 该方法自然导出一种有效计算 $ \chi^+(z) $ 的算法，因为酉矩阵吸收了复杂性，使问题简化为求解外函数与简单的矩阵乘法。
• 最终谱因子 $ \chi^+(z) = M_r(z) $ 在单位圆内解析，且满足 $ M_r(z) \in L_2^+(\mathbb{T}) $，从而保证其解析性与 $ H_2 $-可积性。