基于复西尔维斯特矩阵方程的改进双阶尺度分裂数值计算方法

Improved Numerical Calculation Method for Second-Order Scale Splitting Based on the Complex Sylvester Matrix Equation

摘要: 连续时间的矩阵方程是矩阵方程中十分重要的一个类型，在矩形域上的椭圆边值问题的数值解法、线性统计、振动结构的共振控制、二次矩阵的特征值配置问题、受噪声影响的图像复原等问题中有重要地位。由于连续时间的矩阵方程广泛的应用背景，因此，对连续时间的Sylvester方程的数值解法的研究具有重要的理论和实际意义．改进的双步尺度分裂(MDSS)方法是研究一类大型复杂对称线性系统的一种有效方法。在本文中，我们将在双步尺度分裂(DSS)方法的基础上通过改进，得到MDSS方法，来求解复数域上的连续时间的西尔维斯特矩阵方程的近似解，证明了该迭代序列在任意初始条件的情况下都收敛于西尔维斯特矩阵方程的唯一解，并确定了其最优参数和相应的最优收敛因子。最后，给出了一个测试问题来说明该新技术的有效性。

Abstract: The continuous time matrix equation is a very important type of matrix equation, which plays an important role in numerical solutions of elliptic boundary value problems in rectangular domains, linear statistics, resonance control of vibration structures, eigenvalue assignment of quadratic matrices, image restoration affected by noise, and other problems. Due to the wide application background of continuous time matrix equations, the study of numerical solutions for the continuous time Sylvester equation has important theoretical and practical significance. The improved two-step scale splitting (MDSS) method is an effective method for studying a class of large complex symmetric linear systems. In this article, we will improve the two-step scale splitting (DSS) method and obtain the MDSS method to solve the approximate solution of the continuous time Sylvester matrix equation in the complex field. We prove that the iterative sequence converges to a unique solution of the Sylvester matrix equation under any initial condition, and determine its optimal parameters and corresponding optimal convergence factors. Finally, a testing question was presented to demonstrate the effectiveness of the new technology.

1. 引言

在这里，我们重点关注西尔维斯特矩阵方程：

$AX+XB=C,A\in {ℂ}^{m\times m},B\in {ℂ}^{n\times n},C\in {ℂ}^{m\times n}$ (1)

其中必须确定矩阵 $X\in {ℂ}^{m\times n}$ 。式(1)在控制理论和许多其他工程分支中具有非常重要的应用。矩阵方程在科学计算和工程技术等诸多领域都有着广泛的应用，如控制论 [1] 、系统理论、信号处理 [2] 、图像恢复 [3] 、极点配置 [4] 、扰动分析、模型降阶 [5] 、神经网络 [6] 、矩阵逼近问题 [7] 、电力系统 [8] 、微分方程的数值解 [9] 等。因此，对连续时间的Sylvester方程数值解法的研究具有重要的理论和实际意义。对于Sylvester矩阵方程，传统的求解方法是将这个矩阵方程用Kronecker积转化为形如的等价线性方程组，然后再用求解线性方程组的方法去计算其数值解。然而在实际问题中，遇到的系数矩阵与规模一般都是较大的，用Kronecker积转化后，会使阶数也变得非常大，在很大程度上增加了工作量及计算机的储存空间，而要得到其解析式也十分困难，此时这种传统的解决方法变得不可行．近年来，国内外许多学者致力于研究线性方程组的各种求解方法，并推广到矩阵方程的求解，这些方法可以概括为直接法和迭代法两大类。直接法是一种精确的求解方法，常见的直接法有Bartels-stewart法 [10] 和Hessenberg-Schur法 [11] ，其原理是利用正交相似变换将矩阵转化为三角矩阵或者上Hessenberg矩阵，然后再利用回代法求解线性方程。当求解一些小型线性矩阵方程时，我们通常采用直接法。但对于大型稀疏Sylvester矩阵方程，由于系数矩阵的规模非常大，直接法在求解方程时可能会产生许多非零元，将消耗大量的存储空间和计算时间，所以对于大型稀疏矩阵，我们一般采用迭代法来求解。古典迭代法是基于矩阵分裂的迭代算法，其基本思想是将线性方程组问题转化为求解一个不动点方程的问题，进而构造迭代格式。因此，分裂法是常见的有效迭代法，包括Jacobi迭代法、Gauss-Seidel迭代法、SOR迭代法、交替方向法 [12] 、HSS迭代法 [13] 和Smith方法 [14] 等。在本文中，我们将在双步尺度分裂(DSS)方法的基础上通过改进，得到MDSS方法，来求解复数域上的连续时间的西尔维斯特矩阵方程的近似解，证明了该迭代序列在任意初始条件的情况下都收敛于西尔维斯特矩阵方程的唯一解，并确定了其最优参数和相应的最优收敛因子。最后，给出了一个测试问题来说明该新技术的有效性。

2. 复西尔维斯特矩阵方程的MDSS算法的研究

在本节中，先给出本文中使用的一些基本定义和符号。

符号 $ℂ$ 是所有复数的集合，维数为n的复向量的集合用 ${ℂ}^n$ 表示。符号 $ℝ$ 是所有实数的集合，并用 ${ℝ}^n$ 表示维数为n的实向量的集合。具有m行和n列的复数(或实数)矩阵的集合用 ${ℂ}^{m\times n}$ (或 ${ℝ}^{m\times n}$ )表示。用 $\otimes$ 表示克罗内克积，用I表示单位矩阵，用0表示零矩阵为0。此外，A^T是A的转置，以及我们得到 $A^H={\bar{A}}^{\text{T}}$ ，其中 $\bar{A}$ 表示矩阵A的共轭。

对于向量x，我们定义 ${\Vert x\Vert }_2$ 为向量x的2范数，以及我们定义 ${\Vert .\Vert }_F$ 向量x的Frobenius范数，其中对于任意矩阵A，我们定义 ${\Vert A\Vert }_F=\sqrt{tr\left(A{A}^H\right)}$ 。在这期间，我们定义 $tr\left(A\right)$ 为矩阵A的迹。同样的，我们定义Sp(A)为矩阵A的谱，则矩阵A的谱半径定义为 $\rho \left(A\right)$ 。我们使得矩阵 $A=\left(a_1,a_2,\cdots ,a_n\right)\in {ℂ}^{m\times n}$ ，其中 $a_k$ 是矩阵A的第k列。接着，我们可以定义 $vec\left(A\right)={\left(a_1,a_2,\cdots ,a_n\right)}^{\text{T}}$ ，其中 $vec\left(A\right)$ 是 ${ℂ}^{m\times n}$ 中的向量。

在研究本文提出的新算法前，我们将列出其他求解复西尔维斯特矩阵方程的算法，我们计划简要描述一下求解矩阵方程(1)的MHSS、PMHSS和GMHSS迭代方法 [15] [16] 。

2.1. 解决矩阵方程(1)的MHSS算法

通过计算求解 $X^{\left(k+1\right)}\in {ℂ}^{m\times n}$ ，再使用下列式子，使得 ${\left\{X^{\left(k\right)}\right\}}_{k=0}^{\infty }$ 收敛。

$\{\begin{array}{l}\left(\alpha I+W\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\beta I+U\right)=\left(\alpha I-iT\right)X^{\left(k\right)}+X^{\left(k\right)}\left(\beta I-iV\right)+C\\ \left(\alpha I+T\right)X^{\left(k+1\right)}+X^{\left(k+1\right)}\left(\beta I+V\right)=\left(\alpha I+iW\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\beta I+iU\right)-iC\end{array}$ (2)

其中， $\alpha >0$ 和 $\beta >0$ ， $X^{\left(0\right)}\in {ℂ}^{m\times n}$ 是一个初始矩阵，I是单位矩阵。因此我们得到矩阵

$M\left(\gamma \right)={\left(\gamma I+D\right)}^{-1}\left(\gamma I+iH\right){\left(\gamma I+H\right)}^{-1}\left(\gamma I-iD\right)$

为MHSS方法的迭代矩阵，其中为 $H=I\otimes W+U\otimes I$ ， $D=I\otimes T+V\otimes I$ 和 $\gamma =\alpha +\beta$ 。此外，还证明了 $\rho \left(M\left(\gamma \right)\right)\le \sigma \left(\gamma \right)<1$ ，其中

$\sigma \left(\gamma \right):=\max \frac{\sqrt{{\gamma }^2+{\left({\lambda }_i^W+{\lambda }_j^U\right)}^2}}{\gamma +{\lambda }_i^W+{\lambda }_j^U}$

因此，MHSS迭代收敛于西尔维斯特矩阵等式(1)的精确解 $X^{\ast }\in {ℂ}^{m\times n}$ ，其中得到最优参数 $\tilde{\gamma }=\sqrt{{\lambda }_{\min }{\lambda }_{\max }}$ ，其中 ${\lambda }_{\min }={\lambda }_{\min }^W+{\lambda }_{\min }^U$ ， ${\lambda }_{\max }={\lambda }_{\max }^W+{\lambda }_{\max }^U$ ，同时 ${\lambda }_{\min }^W=\min Sp\left(W\right)$ ， ${\lambda }_{\min }^U=\min Sp\left(U\right)$ ， ${\lambda }_{\max }^U=\max Sp\left(U\right)$ 以及 ${\lambda }_{\max }^W=\max Sp\left(W\right)$ 。此外还有

$\sigma \left(\tilde{\gamma }\right)=\frac{\sqrt{\kappa \left(H\right)+1}}{\sqrt{\kappa \left(H\right)}+1}$

其中

$\kappa \left(H\right)=\frac{{\lambda }_{\min }}{{\lambda }_{\max }}$

2.2. 解决矩阵方程(1)的PMHSS算法

通过计算求解 $X^{\left(k+1\right)}\in {ℂ}^{m\times n}$ ，再使用下列式子，使得 ${\left\{X^{\left(k\right)}\right\}}_{k=0}^{\infty }$ 收敛。

$\{\begin{array}{l}\left(\gamma P_1+W\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\gamma P_2+U\right)=\left(\gamma P_1-iT\right)X^{\left(k\right)}+X^{\left(k\right)}\left(\gamma P_2-iV\right)+C\\ \left(\gamma P_1+T\right)X^{\left(k+1\right)}+X^{\left(k+1\right)}\left(\gamma P_2+V\right)=\left(\gamma P_1+iW\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\gamma P_2+iU\right)-iC\end{array}$ (3)

其中 $\gamma >0$ 和 $X^{\left(0\right)}\in {ℂ}^{m\times n}$ 是一个初始矩阵， $P_1$ 和 $P_2$ 是对称正定矩阵。而且

$P\left(\gamma \right)={\left(\gamma P+D\right)}^{-1}\left(\gamma P+iH\right){\left(\gamma P+H\right)}^{-1}\left(\gamma P-iD\right)$

为PMHSS方法的迭代矩阵，其中 $P=I\otimes P_1+P_2^T\otimes I$ 。

2.3. 解决矩阵方程(1)的GMHSS算法

通过计算求解 $X^{\left(k+1\right)}\in {ℂ}^{m\times n}$ ，再使用下列式子，使得 ${\left\{X^{\left(k\right)}\right\}}_{k=0}^{\infty }$ 收敛。

$\{\begin{array}{l}\left(\alpha I+W\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\beta I+U\right)=\left(\alpha I-iT\right)X^{\left(k\right)}+X^{\left(k\right)}\left(\beta I-iV\right)+C\\ \left(\tau I+T\right)X^{\left(k+1\right)}+X^{\left(k+1\right)}\left(\mu I+V\right)=\left(\tau I+iW\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\mu I+iU\right)-iC\end{array}$ (4)

其中， $\alpha$ 、 $\beta$ 、 $\tau$ 和 $\mu$ 为实正常数。GMHSS方法的迭代矩阵为

$M\left(\gamma ,\theta \right)={\left(\theta I+D\right)}^{-1}\left(\theta I+iH\right){\left(\gamma I+H\right)}^{-1}\left(\gamma I-iD\right)$

因此，对于不同的参数 $\alpha$ 、 $\beta$ 、 $\tau$ 和 $\mu$ ，提出了不同的方法。

接着，便是本文提出算法的研究：

2.4. 解决矩阵方程(1)的MDSS算法

在本节中，我们尝试应用MDSS迭代方法来求解矩阵方程(1)。首先，设 $A=W+iT$ 和 $B=U+iV$ ，其中W、T、U和V是实对称正定矩阵，根据上述等式以及变换，我们可以将矩阵方程(1)写成

$\left(W+iT\right)X+X\left(U+iV\right)=C.$ (5)

现在假设 $\alpha$ 和 $\beta$ 是一个正的实常数。通过在等式(6)中分别乘以式子 $\left(\alpha -\beta i\right)$ 和 $\left(\beta -\alpha i\right)$ ，我们得到

$\left(\alpha W+i\alpha T-i\beta W+\beta T\right)X+X\left(\alpha U+i\alpha V-i\beta U+\beta V\right)=\left(\alpha -i\beta \right)C$ (6)

以及式子

$\left(\beta W+i\beta T-i\alpha W+\alpha T\right)X+X\left(\beta U+i\beta V-i\alpha U+\alpha V\right)=\left(\beta -i\alpha \right)C$ (7)

在这里，我们使得 $C_1=\left(\alpha -i\beta \right)C$ ， $C_2=\left(\beta -i\alpha \right)C$ ，然后我们得到

$\left(\alpha W+\beta T\right)X+X\left(\alpha U+\beta V\right)=i\left(\beta W-\alpha T\right)X+iX\left(\beta U-\alpha V\right)+C_1$ (8)

以及

$\left(\alpha T+\beta W\right)X+X\left(\alpha V+\beta U\right)=i\left(\alpha W-\beta T\right)X+iX\left(\alpha U-\beta V\right)+C_2$ (9)

然后通过上述式子，我们得到了求解矩阵方程(1)的算法。

通过计算求解 $X^{\left(k+1\right)}\in {ℂ}^{m\times n}$ ，再使用下列式子，使得 ${\left\{X^{\left(k\right)}\right\}}_{k=0}^{\infty }$ 收敛：

$\{\begin{array}{l}\left(\alpha W+\beta T\right)X^{\left(k+\frac{1}{2}\right)}+X^{\left(k+\frac{1}{2}\right)}\left(\alpha U+\beta V\right)=i\left(\beta W-\alpha T\right)X^{\left(k\right)}+i{X}^{\left(k\right)}\left(\beta U-\beta V\right)+C_1\\ \left(\alpha T+\beta W\right)X^{\left(k+1\right)}+X^{\left(k+1\right)}\left(\alpha V+\beta U\right)=i\left(\alpha W-\beta T\right)X^{\left(k+\frac{1}{2}\right)}+i{X}^{\left(k+\frac{1}{2}\right)}\left(\alpha U-\beta V\right)+C_2\end{array}$ (10)

其中， $\alpha >0$ 和 $\beta >0$ ， $X^{\left(0\right)}\in {ℂ}^{m\times n}$ 是一个初始矩阵，I是单位矩阵。很明显，矩阵 $\alpha W+\beta T$ ， $\alpha U+\beta V$ ， $\alpha T+\beta W$ 和 $\alpha V+\beta U$ 是对称正定的。

对此，我们可以得到以下定理。

定理2.1 首先，我们定义 $E=D+iH$ ，得到

$D=I\otimes W+U\otimes I,H=I\otimes T+V\otimes I$ (11)

其中，I是单位矩阵。根据上述式子，便得到了MDSS方法的迭代矩阵，如下式所示：

$K\left(\alpha ,\beta \right)={\left(\alpha H+\beta D\right)}^{-1}\left(\alpha D-\beta H\right){\left(\alpha D+\beta H\right)}^{-1}\left(\beta D-\alpha H\right)$ (12)

对此，我们得到迭代矩阵 $K\left(\alpha ,\beta \right)$ 的谱半径为

$\rho \left(K\left(\alpha ,\beta \right)\right)=\max \left|\frac{\left(\alpha \lambda -\beta \right)\left(\alpha -\beta \lambda \right)}{\left(\alpha \lambda +\beta \right)\left(\alpha +\beta \lambda \right)}\right|<1,\forall \alpha ,\beta >0$ (13)

其中 $Sp\left(D{H}^{-1}\right)$ 表示矩阵 $D{H}^{-1}$ 的谱，则MDSS迭代(11)在任意初始条件下都收敛于矩阵方程(1)的唯一精确解 $X^{\ast }\in {ℂ}^{m\times n}$ 。

证明：通过使用Kronecker积，我们可以按照以下的计算结构编写算法(3.1)：

$\{\begin{array}{l}\left(I\otimes \left(\alpha W+\beta T\right)+{\left(\alpha U+\beta V\right)}^T\otimes I\right)X^{\left(k+\frac{1}{2}\right)}=\left(I\otimes i\left(\beta W-\alpha T\right)+i\left(\beta U-\alpha V\right)\otimes I\right)X^{\left(k\right)}+C_1\\ \left(I\otimes \left(\alpha T+\beta W\right)+\left(\alpha V+\beta U\right)\otimes I\right)X^{\left(k+1\right)}=\left(I\otimes i\left(\alpha W-\beta T\right)+i\left(\alpha U-\beta V\right)\otimes I\right)X^{\left(k+\frac{1}{2}\right)}+C_2\end{array}$ (14)

接着，根据算法演练，上述两个等式，可以分别重写为

$\left(\alpha D+\beta H\right)x^{\left(k+\frac{1}{2}\right)}=i\left(\beta D-\alpha H\right)x^{\left(k+1\right)}+C_1$ (15)

$\left(\alpha H+\beta D\right)x^{\left(k+1\right)}=i\left(\alpha D-\beta H\right)x^{\left(k+\frac{1}{2}\right)}+C_2$ (16)

其中，我们设定 $C_1=vec\left(C_1\right)$ 、 $C_2=vec\left(C_2\right)$ 、 $x^{\left(k\right)}=vec\left(x^{\left(k\right)}\right)$ 。根据上述等式转换，我们得到

$Q_1={\left(\alpha D+\beta H\right)}^{-1}\left(\alpha H-\beta D\right)$ (17)

以及

$Q_2={\left(\alpha H+\beta D\right)}^{-1}\left(\alpha D-\beta H\right)$ (18)

因此，算法MDSS过程的迭代矩阵为

$K\left(\alpha ,\beta \right)=Q_2{Q}_1={\left(\alpha H+\beta D\right)}^{-1}\left(\alpha D-\beta H\right){\left(\alpha D+\beta H\right)}^{-1}\left(\alpha H-\beta D\right)$

接着，我们假设 ${\lambda }_{p,q}^H$ ， ${\lambda }_p^T$ 和 ${\lambda }_q^V$ 分别表示H，T和V的特征值( $p=1,\cdots ,m$ ， $q=1,\cdots ,n$ )。可以得到

${\lambda }_{p,q}^H={\lambda }_p^T+{\lambda }_q^V>0,p=1,\cdots ,m;q=1,\cdots ,n$

其中H是非奇异的，因此，对于算法MDSS的迭代矩阵 $K\left(\alpha ,\beta \right)$ 的谱半径 $\rho \left(K\left(\alpha ,\beta \right)\right)$ ，我们可以写出来，得到以下结果

$\begin{array}{c}\rho \left(K\left(\alpha ,\beta \right)\right)=\rho \left({\left(\alpha H+\beta D\right)}^{-1}\left(\alpha D-\beta H\right){\left(\alpha D+\beta H\right)}^{-1}\left(\alpha H-\beta D\right)\right)\\ =\rho \left(H^{-1}{\left(\alpha I+\beta D{H}^{-1}\right)}^{-1}\left(\alpha D{H}^{-1}-\beta I\right)H{H}^{-1}{\left(\alpha D{H}^{-1}+\beta I\right)}^{-1}\left(\alpha I-\beta D{H}^{-1}\right)H\right)\\ =\rho \left({\left(\alpha I+\beta D{H}^{-1}\right)}^{-1}\left(\alpha D{H}^{-1}-\beta I\right){\left(\alpha D{H}^{-1}+\beta I\right)}^{-1}\left(\alpha I-\beta D{H}^{-1}\right)\right)\end{array}$

$\begin{array}{l}={\max }_{\lambda \in Sp\left(D{H}^{-1}\right)}\left|\frac{\alpha -\beta \lambda }{\alpha +\beta \lambda }\times \frac{\alpha \lambda -\beta }{\alpha \lambda +\beta }\right|\\ ={\max }_{\lambda \in Sp\left(D{H}^{-1}\right)}\left|\frac{{\alpha }^2\lambda +{\beta }^2\lambda -\alpha \beta -\alpha \beta {\lambda }^2}{{\alpha }^2\lambda +{\beta }^2\lambda +\alpha \beta +\alpha \beta {\lambda }^2}\right|\\ ={\max }_{\lambda \in Sp\left(D{H}^{-1}\right)}\left|\frac{\alpha \lambda \left[\left(\alpha +\frac{{\beta }^2}{\alpha }\right)-\beta \left(\lambda +\frac{1}{\lambda }\right)\right]}{\alpha \lambda \left[\left(\alpha +\frac{{\beta }^2}{\alpha }\right)+\beta \left(\lambda +\frac{1}{\lambda }\right)\right]}\right|\\ ={\max }_{\lambda \in Sp\left(D{H}^{-1}\right)}\left|\frac{\left(\alpha +\frac{\beta }{\alpha }\right)-\beta \left(\lambda +\frac{1}{\lambda }\right)}{\left(\alpha +\frac{\beta }{\alpha }\right)+\beta \left(\lambda +\frac{1}{\lambda }\right)}\right|\end{array}$ (19)

根据上述一系列等式，其中等式中任何一个 $\alpha ,\beta ,\lambda >0$ ，因此我们可以得到下列不等式

$\left(\alpha +\frac{\beta }{\alpha }\right)-\beta \left(\lambda +\frac{1}{\lambda }\right)<\left(\alpha +\frac{\beta }{\alpha }\right)+\beta \left(\lambda +\frac{1}{\lambda }\right)$ (20)

因此，我们得到，迭代矩阵 $K\left(\alpha ,\beta \right)$ 的谱半径 $\rho \left(K\left(\alpha ,\beta \right)\right)$ ，有以下关系式：

$\rho \left(K\left(\alpha ,\beta \right)\right)={\max }_{\lambda \in Sp\left(D{H}^{-1}\right)}\left|\frac{\left(\alpha \lambda -\beta \right)\left(\alpha -\beta \lambda \right)}{\left(\alpha \lambda +\beta \right)\left(\alpha +\beta \lambda \right)}\right|<1,\forall \alpha ,\beta >0$ (21)

根据上述不等式(22)，表明了MDSS迭代(11)在任意初始条件下都收敛于矩阵方程(1)的唯一精确解 $X^{*}\in {ℂ}^{m\times n}$ 。定理得证。

根据上述定理，我们得到该算法可以在任意初始条件下都收敛于唯一的精确解。对此，我们还需得到参数，使得算法的谱半径 $\rho \left(K\left(\alpha ,\beta \right)\right)$ 取得最小值。因此，我们需要得到定理，并证明定理的可行性。

定理2.2 此外，使函数 $\rho \left(K\left(\alpha ,\beta \right)\right)$ 最小化的参数 $\alpha ,\beta$ 为

$\frac{{\alpha }^{\ast }}{{\beta }^{\ast }}=\frac{\sqrt{uv}+\sqrt{uv}-4}{2}$ (22)

其中

$\begin{array}{l}u=\underset{{\lambda }_{\min }\le \zeta \le {\lambda }_{\max }}{\min }\left\{\zeta +{\zeta }^{-1}\right\}\\ v=\underset{{\lambda }_{\min }\le \zeta \le {\lambda }_{\max }}{\max }\left\{\zeta +{\zeta }^{-1}\right\}\end{array}$ (23)

并设为

${\lambda }_{\min }={\min }_{{\lambda }_j\in Sp\left(D{H}^{-1}\right)}\left\{{\lambda }_j\right\},{\lambda }_{\max }={\max }_{{\lambda }_j\in Sp\left(D{H}^{-1}\right)}\left\{{\lambda }_j\right\}$ (24)

接着，我们得到收敛因子 $\rho \left(K\left(\alpha ,\beta \right)\right)$

$\rho \left(K\left(\alpha ,\beta \right)\right)=\frac{\sqrt{\kappa -1}}{\sqrt{\kappa +1}}$ (25)

其中，

$\kappa =\frac{u}{v}$ (26)

证明：从上述所得到的等式与结果上可以看出

$\rho \left(K\left(\alpha ,\beta \right)\right)=\max \left\{\frac{\alpha +{\beta }^2{\alpha }^{-1}-\beta u}{\alpha +{\beta }^2{\alpha }^{-1}+\beta u},\frac{\alpha +{\beta }^2{\alpha }^{-1}-\beta v}{\alpha +{\beta }^2{\alpha }^{-1}+\beta v}\right\}$ (27)

接着，我们可以根据下列等式得到其最小值

$\frac{{\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}-{\beta }^{\ast }u}{{\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}+{\beta }^{\ast }u}=-\frac{{\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}-{\beta }^{\ast }v}{{\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}+{\beta }^{\ast }v}$ (28)

当上述等式成立时，我们便可以得到谱半径 $\rho \left(K\left(\alpha ,\beta \right)\right)$ 的最小值。根据上述关系，我们得到

${\left({\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}\right)}^2={\beta }^{\ast }{}^{2}uv$ (29)

接着得到下列等式

${\alpha }^{\ast }{}^2-{\alpha }^{\ast }{\beta }^{\ast }\sqrt{uv}+{\beta }^{\ast }{}^2=0$ (30)

因此，通过求解上述等式，对于谱半径 $\rho \left(K\left(\alpha ,\beta \right)\right)$ ，我们得到

$\rho \left(K\left({\alpha }^{\ast },{\beta }^{\ast }\right)\right)=\frac{{\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}-{\beta }^{\ast }v}{{\alpha }^{\ast }+{\beta }^{\ast }{}^2{\alpha }^{\ast }{}^{-1}+{\beta }^{\ast }v}$ (31)

根据上述结果以及等式，我们最终可以得到最小化的谱半径的值

$\rho \left(K\left({\alpha }^{\ast },{\beta }^{\ast }\right)\right)=\frac{\sqrt{uv}-u}{\sqrt{uv}+u}=\frac{\sqrt{\frac{v}{u}}-1}{\sqrt{\frac{v}{u}}+1}=\frac{\sqrt{\kappa }-1}{\sqrt{\kappa }+1}$ (32)

定理得证。

3. 数值例子

为了测试文中提出的新方法的有效性，我们给出了一个求解西尔维斯特矩阵等式的测试问题(1.1)的方法。所有的计算和绘图都是在MATLAB软件上完成的。我们使用X⁽⁰⁾ = 0 (零矩阵)来进行初始迭代，如果当前的迭代满足以下条件，则终止迭代

$\frac{{\Vert R\left(X^{\left(K\right)}\right)\Vert }_F}{{\Vert R\left(X^{\left(0\right)}\right)\Vert }_F}\le {10}^{-10}$

其中 $R\left(X^{\left(K\right)}\right)=C-A{X}^{\left(K\right)}-X^{\left(K\right)}B$ 。在测试过程中，我们会报告迭代次数(IT)和计算时间(以秒为单位)。对于西尔维斯特矩阵方程 $AX+XB=C$ ，与 $A=W+iT$ ， $B=U+iV$ ，其中，我们假设

$W=U=\left(K+\frac{3-\sqrt{3}}{\theta }{I}_n\right),T=V=\left(K+\frac{3+\sqrt{3}}{\theta }{I}_n\right)$

其中，矩阵K的形式为 $K=I_n\otimes V_m+V_m\otimes I_m$ ，其中 $V_m=h^{-2}Tri\left(-1,2,-1\right)\in {ℝ}^{m\times m}$ 。因此，K是一个大小为n × n的对角矩阵，具有 $n=m^2$ 。 $I_n$ 和 $I_m$ 分别是维数为n和m的单位矩阵。在这里，我们设置了

$\theta =h=\frac{1}{m+1}$ 。

此外，对于矩阵C，我们设置C = K。同时，我们通过把矩阵方程(1)乘以 $h^2$ 来将它归一化。最后，我们用 ${\alpha }^{\ast }$ 和 ${\beta }^{\ast }$ 表示了MDSS方法中的最优参数。这些参数通过实验被指定，使每种方法的迭代次数最少。

在数值实验中，我们设置 $m=2$ 。通过输入上述参数，在MATLAB中得到如下图形：

从图1可以看出，本文提出的MDSS算法在任意的初始条件下，可以收敛于唯一的数值解，说明算法在实际应用中的可行性也可以得到验证。

Figure 1. The number of iterations of MDSS algorithm under logarithmic conditions

图1. MDSS算法在对数条件下的迭代次数

4. 结论

在本文中，我们在双步尺度分裂(DSS)方法的基础上通过改进，得到MDSS方法，来求解复数域上的连续时间的西尔维斯特矩阵方程的近似解，证明了该迭代序列在任意初始条件的情况下都收敛于西尔维斯特矩阵方程的唯一解，并确定了其最优参数和相应的最优收敛因子。最后，通过数值实验可以证明该算法的可行性。