韦斯特方程 - 版本历史

2024年5月6日 (一) 09:27 思无涯咿呀咿呀

2024-05-06T09:27:12Z

2021年9月23日 (四) 08:25 唐糖糖

2021-09-23T08:25:27Z

唐糖糖：/* 参考文献 */

2021-09-23T08:09:23Z

参考文献

唐糖糖：/* 引用 */

2021-09-23T08:09:01Z

引用

唐糖糖：/* 数值解 */

2021-09-23T08:07:40Z

数值解

2021年9月23日 (四) 08:07 唐糖糖

2021-09-23T08:07:17Z

2021年9月23日 (四) 08:04 唐糖糖

2021-09-23T08:04:08Z

2021年9月23日 (四) 07:47 唐糖糖

2021-09-23T07:47:46Z

2021年9月23日 (四) 07:43 唐糖糖

2021-09-23T07:43:21Z

2021年9月20日 (一) 08:22 唐糖糖

2021-09-20T08:22:16Z

←上一版本	2024年5月6日 (一) 09:27的版本
第91行：	第91行：


−	+	[[Category:待润色]]

←上一版本		2021年9月23日 (四) 08:25的版本
第83行：		第83行：
	*[http://reference.wolfram.com/mathematica/ref/LyapunovSolve.html Mathematica 函数求解 Sylvester 方程]		*[http://reference.wolfram.com/mathematica/ref/LyapunovSolve.html Mathematica 函数求解 Sylvester 方程]
	*[http://www.mathworks.co.uk/help/matlab/ref/sylvester.html MATLAB 函数求解 Sylvester 方程]		*[http://www.mathworks.co.uk/help/matlab/ref/sylvester.html MATLAB 函数求解 Sylvester 方程]
		+
		+
		+	==编者推荐==
		+	===CSDN===
		+	[https://blog.csdn.net/Taylent/article/details/105863731?ops_request_misc=%257B%2522request%255Fid%2522%253A%2522163238486016780366527606%2522%252C%2522scm%2522%253A%252220140713.130102334.pc%255Fall.%2522%257D&request_id=163238486016780366527606&biz_id=0&utm_medium=distribute.pc_search_result.none-task-blog-2~all~first_rank_ecpm_v1~rank_v31_ecpm-1-105863731.pc_search_result_cache&utm_term=%E9%9F%A6%E6%96%AF%E7%89%B9%E6%96%B9%E7%A8%8B&spm=1018.2226.3001.4187 西尔维斯特方程（Sylvester equation）一般求解方法]
		+
		+
		+
		+
		+

@@ 第68行： / 第68行： @@
-==参考文献==
+==脚注==
 {{Reflist}}
 ==参考文献==

@@ 第72行： / 第72行： @@
-==引用==
+==参考文献==
 *{{cite journal |first=J. |last=Sylvester |title=Sur l'equations en matrices <math>px = xq</math> |journal=C. R. Acad. Sci. Paris |volume=99 |year=1884 |issue=2 |pages=67–71, 115–116 }}
 *{{cite journal |first=R. H. |last=Bartels |first2=G. W. |last2=Stewart |title=Solution of the matrix equation <math>AX +XB = C</math> |journal=Comm. ACM |volume=15 |year=1972 |issue=9 |pages=820–826 |doi=10.1145/361573.361582 }}
@@ 第79行： / 第79行： @@
 *{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE Transactions on Image Processing |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|arxiv=1502.03121|bibcode=2015ITIP...24.4109W |pmid=26208345}}
 *{{cite book|last1=Birkhoff and MacLane|title=A survey of Modern Algebra|publisher=Macmillan|pages=213, 299}}
 == 外部链接==

@@ 第61行： / 第61行： @@
 ==数值解==
-韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将 矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web | url=https://octave.sourceforge.io/control/function/lyap.html | title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用<code>syl</code>命令。<ref>{{Cite web | url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html | title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref>The <code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|pmid=26208345 |arxiv=1502.03121|bibcode=2015ITIP...24.4109W}}</ref>。
+韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将 矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web | url=https://octave.sourceforge.io/control/function/lyap.html | title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用<code>syl</code>命令。<ref>{{Cite web | url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html | title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref><code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|pmid=26208345 |arxiv=1502.03121|bibcode=2015ITIP...24.4109W}}</ref>。
 ==相关条目==

←上一版本		2021年9月23日 (四) 08:07的版本
第61行：		第61行：

	==数值解==		==数值解==
−	韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web \| url=https://octave.sourceforge.io/control/function/lyap.html \| title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用~~<code>sylvester</code>~~<code>syl</code>命令。<ref>{{Cite web \| url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html \| title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref>The <code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal \|first=Q. \|last=Wei \|first2=N. \|last2=Dobigeon \|first3=J.-Y. \|last3=Tourneret \|title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation\|journal=IEEE \|volume=24 \|year=2015 \|issue=11 \|pages=4109–4121 \|doi=10.1109/TIP.2015.2458572\|pmid=26208345 \|arxiv=1502.03121\|bibcode=2015ITIP...24.4109W}}</ref>。	+	韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web \| url=https://octave.sourceforge.io/control/function/lyap.html \| title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用<code>syl</code>命令。<ref>{{Cite web \| url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html \| title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref>The <code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal \|first=Q. \|last=Wei \|first2=N. \|last2=Dobigeon \|first3=J.-Y. \|last3=Tourneret \|title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation\|journal=IEEE \|volume=24 \|year=2015 \|issue=11 \|pages=4109–4121 \|doi=10.1109/TIP.2015.2458572\|pmid=26208345 \|arxiv=1502.03121\|bibcode=2015ITIP...24.4109W}}</ref>。

@@ 第8行： / 第8行： @@
-其中''A''，''B''，''C''为已知的矩阵，问题是要找到能够满足方程的矩阵X。所有矩阵的系数都是复数。为了使方程有意义，矩阵的行和列需要满足一定条件，''A''和 ''B'' 都要是方阵，大小分别是''n''和''m''，而''X''和''C''要是''n x'' ''m''列的矩阵，''n''和''m''也可以相等，四个矩阵都是大小相同的方阵。
+其中''A''，''B''，''C''为已知的矩阵，问题是要找到能够满足方程的矩阵X。所有矩阵的系数都是复数。为了使方程有意义，矩阵的行和列需要满足一定条件，''A''和 ''B'' 都要是方阵，大小分别是''n''和''m''，然后 x 和 c 都有 n 行和 m 列。
+当且仅当 ''A'' 和-''b'' 没有共同的本征值时，西尔韦斯特有唯一解 ''X'' 。更一般地，方程 <math>A X + X B = C.</math> 也可以视为(可能无限维中)巴拿赫空间中有界算子的方程。此情形下，有唯一解 ''X'' 的充分必要条件几乎相同:  ''A'' 和-''B'' 的谱不相交<ref>Bhatia and Rosenthal, 1997</ref>。
@@ 第23行： / 第22行： @@
-'''定理'''。给定矩阵 <math>A\in \mathbb{C}^{n\times n}</math>和<math>B\in \mathbb{C}^{m\times m}</math>，韦斯特方程 <math>AX+XB=C</math>对任意  <math>C\in\mathbb{C}^{n\times m}</math>有唯一解 ''X'' 当且仅当 ''A'' 和''-B'' 不共享任何特征值。
+'''定理''' 给定矩阵 <math>A\in \mathbb{C}^{n\times n}</math>和<math>B\in \mathbb{C}^{m\times m}</math>，韦斯特方程 <math>AX+XB=C</math>对任意  <math>C\in\mathbb{C}^{n\times m}</math>有唯一解 ''X'' 当且仅当 ''A'' 和''-B'' 不共享任何特征值。
-'''证明'''。方程<math>AX+XB=C</math>是一个m和n未知的线性系统，涉及和未知数等量的方程。因此，对于任意给定的 C，它是唯一可解的当且仅当齐次方程 <math>
+'''证明''' 方程<math>AX+XB=C</math>是一个m和n未知的线性系统，涉及和未知数等量的方程。因此，对于任意给定的 C，它是唯一可解的当且仅当齐次方程 <math>
 AX+XB=0</math>仅存在平凡解<math>0</math>。
@@ 第42行： / 第41行： @@
-'''Q.E.D.'''
+'''Q.E.D.''' 作为谱映射定理的另一种形式，证明的第(i)部分<math>p(-B)</math>的非奇异性也可以用贝祖特的互素多项式恒等式来证明。设 q 是-''B'' 的特征多项式。由于 ''A'' 和-''B'' 不共享任何特征值，所以 p 和 q 互素。因此存在多项式 f 和 g，使得 <math>p(z)f(z)+q(z)g(z)\equiv 1</math>。利用 Cayley-Hamilton 定理，可得<math>q(-B)=0</math>，这意味着 <math>p(-B)</math>是非奇异的。
 ==Roth消去法则==
@@ 第63行： / 第61行： @@
 ==数值解==
-韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将 矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web | url=https://octave.sourceforge.io/control/function/lyap.html | title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用<code>syl</code>命令。<ref>{{Cite web | url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html | title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref>The <code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|pmid=26208345 |arxiv=1502.03121|bibcode=2015ITIP...24.4109W}}</ref>。
+韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将 矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web | url=https://octave.sourceforge.io/control/function/lyap.html | title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用<code>sylvester</code><code>syl</code>命令。<ref>{{Cite web | url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html | title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref>The <code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|pmid=26208345 |arxiv=1502.03121|bibcode=2015ITIP...24.4109W}}</ref>。

@@ 第18行： / 第18行： @@
 利用克罗内克积符号和向量化算子操作符<math>\operatorname{vec}</math>，我们可以以下形式重写韦斯特方程:
 :<math> (I_m \otimes A +  B^T \otimes I_n) \operatorname{vec}X = \operatorname{vec}C,</math>
 其中 ''A'' 是 ''n'' ''×'' ''m''的矩阵，''B'' 是''m'' ''×'' ''m''的矩阵，''X'' 是''n'' ''×'' ''m''的矩阵，<math>I_k</math> 是 <math>k \times k</math>的单位矩阵。在这种形式下，该方程可以看作是一个大小为<math>mn \times mn</math>的线性系统<ref>然而，不建议为了数值解重写这种形式的方程，因为这个版本计算代价较高，并且存在病态。</ref>。然而，不建议为了数值解重写这种形式的方程，因为这个版本计算代价较高，并且存在病态。
 '''定理'''。给定矩阵 <math>A\in \mathbb{C}^{n\times n}</math>和<math>B\in \mathbb{C}^{m\times m}</math>，韦斯特方程 <math>AX+XB=C</math>对任意  <math>C\in\mathbb{C}^{n\times m}</math>有唯一解 ''X'' 当且仅当 ''A'' 和''-B'' 不共享任何特征值。
 '''证明'''。方程<math>AX+XB=C</math>是一个m和n未知的线性系统，涉及和未知数等量的方程。因此，对于任意给定的 C，它是唯一可解的当且仅当齐次方程 <math>
-AX+XB=0
+AX+XB=0</math>仅存在平凡解<math>0</math>。
 </math>仅存在平凡解<math>0</math>。
 (i)假设 ''A'' 和-''B'' 不共享任何特征值。设 ''X'' 是上述齐次方程的解。于是有 <math>AX=X(-B)</math>，它可以被数学归纳法提升到 <math>
-A^kX = X(-B)^k
+A^kX = X(-B)^k</math>
 对任意 <math>k \ge 0</math>都成立。因此，对于任意多项式 p，<math>
-p(A) X = X p(-B)
+p(A) X = X p(-B)</math>，特别地，设 <math>p</math> 是 ''A'' 的特征多项式。那么由 Cayley-Hamilton 定理可得<math>p(A)=0</math>。同时谱映射定理告诉我们<math>
-</math>，特别地，设 <math>p</math> 是 ''A'' 的特征多项式。那么由 Cayley-Hamilton 定理可得<math>p(A)=0</math>。同时谱映射定理告诉我们<math>
+\sigma(p(-B)) = p(\sigma(-B)),</math>，其中 <math>\sigma(\cdot)</math>表示矩阵的谱。由于 ''A'' 和-''B'' 不共享任何特征值，<math>p(\sigma(-B))</math>不包含零，因此 <math>p(-B)</math>是非奇异的。从而得到<math>X= 0</math>。这证明了定理的“当”部分。
 \sigma(p(-B)) = p(\sigma(-B)),
 (ii)现在假设 ''A'' 和-''B'' 有一个相同的特征值 λ。设 u 是 ''A'' 的对应右特征向量，v 是-''B'' 的对应左特征向量，并且 <math>X=u{v}^*</math>。于是<math>X\neq 0</math>，而<math>
 AX+XB = A(uv^*)-(uv^*)(-B) = \lambda uv^*-\lambda uv^* = 0.
 </math>。因此，''X'' 是上述齐次方程的非平凡解。这证明了定理的“仅当”部分得证。
 '''Q.E.D.'''
 作为谱映射定理的另一种形式，证明的第(i)部分<math>p(-B)</math>的非奇异性也可以用贝祖特的互素多项式恒等式来证明。设 q 是-''B'' 的特征多项式。由于 ''A'' 和-''B'' 不共享任何特征值，所以 p 和 q 互素。因此存在多项式 f 和 g，使得 <math>p(z)f(z)+q(z)g(z)\equiv 1</math>。利用 Cayley-Hamilton 定理，可得<math>q(-B)=0</math>，这意味着 <math>p(-B)</math>是非奇异的。
 这个定理对实矩阵仍然成立，但需要注意的是考虑它们的复特征值。充分条件的证明仍然适用; 对于必要条件的证明，请注意 <math>\mathrm{Re}(uv^*)</math>和 <math>\mathrm{Im}(uv^*)</math> 都满足齐次方程 ''AX + XB = 0''，而它们不能同时为零。
-=Roth消去法则=
+==Roth消去法则==
 给定两个大小分别为''n'' 和 ''m'' 的复方阵 ''A'' 和 ''B''，以及大小为 ''n × m'' 的矩阵 ''C''，我们可以确认下列两个大小为 ''n + m'' 的方阵[math]\begin{bmatrix} A & C \\ 0 & B \end{bmatrix}[/math]和[math]\begin{bmatrix} A & 0 \\0&B \end{bmatrix}[/math]是否相似。当存在矩阵 ''X'' 使得 ''AX-XB'' ''='' ''C'' ，这两个矩阵就是相似的。换句话说，''X'' 是维斯特方程的解。这就是众所周知的'''Roth消去法则'''<ref>{{cite journal|last1=Gerrish|first1=F|last2=Ward|first2=A.G.B|title=Sylvester's matrix equation and Roth's removal rule|journal=The Mathematical Gazette|date=Nov 1998|volume=82|issue=495|pages=423–430|doi=10.2307/3619888}}</ref>。
 一种简便的检查方式如下：如果''AX-XB = C''，那么：
 <math>\begin{bmatrix}I_n & X \\ 0 & I_m \end{bmatrix} \begin{bmatrix} A&C\\0&B \end{bmatrix} \begin{bmatrix} I_n & -X \\ 0& I_m \end{bmatrix} = \begin{bmatrix} A&0\\0&B \end{bmatrix}.</math>
 Roth消去法则无法一般化到巴拿赫空间中的无穷维有界算子中。<ref>Bhatia and Rosenthal, p.3</ref>
 ==数值解==
 韦斯特方程数值解的一个经典算法是 Bartels-Stewart 算法，该算法通过 QR 算法将 矩阵''A'' 和 ''B'' 转化为舒尔形式，然后通过逆向取代法求解三角矩阵。在LAPACK，或是GNU Octave的lyap函数中，该算法的计算代价是<math>\mathcal{O}(n^3)</math><ref>{{Cite web | url=https://octave.sourceforge.io/control/function/lyap.html | title=Function Reference: Lyap}}</ref>。也可以参阅该语言中的 sylvester 函数。自 GNU Octave Version 4.0以来，不推荐使用<code>syl</code>命令。<ref>{{Cite web | url=https://www.gnu.org/software/octave/doc/interpreter/Functions-of-a-Matrix.html | title=Functions of a Matrix (GNU Octave (version 4.4.1))}}</ref><ref>The <code>syl</code> 命令自从GNU Octave 4.0版本以后就弃用了。</ref>在某些特定的图像处理应用程序中，导出的韦斯特方程有会有解析解<ref>{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|pmid=26208345 |arxiv=1502.03121|bibcode=2015ITIP...24.4109W}}</ref>。
 ==相关条目==
@@ 第62行： / 第70行： @@
 *代数Riccati方程
-==脚注==
 {{Reflist}}
 ==引用==
@@ 第72行： / 第82行： @@
 *{{cite journal |first=Q. |last=Wei |first2=N.  |last2=Dobigeon |first3=J.-Y.  |last3=Tourneret |title=Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation|journal=IEEE Transactions on Image Processing |volume=24 |year=2015 |issue=11 |pages=4109–4121 |doi=10.1109/TIP.2015.2458572|arxiv=1502.03121|bibcode=2015ITIP...24.4109W |pmid=26208345}}
 *{{cite book|last1=Birkhoff and MacLane|title=A survey of Modern Algebra|publisher=Macmillan|pages=213, 299}}
 == 外部链接==

@@ 第1行： / 第1行： @@
 {{#seo:
-|keywords=情感分析、文本情感分析、意见挖掘、Web2.0
+|keywords=西尔韦斯特方程，控制论，矩阵方程
-|description=文本情感分析是指用自然语言处理、文本挖掘以及计算机语言学等方法来识别、提取、量化和研究原素材中的情感状态和主观信息。情感分析被广泛应用于来源于用户的素材，如评论和调查回复，在线和社交媒体；也被应用于来源于卫生保健的素材，其应用范围涵盖了从市场营销到客户服务到临床医学的各个方面。
+|description=西尔韦斯特方程是控制论中的矩阵方程。
 }}
@@ 第11行： / 第9行： @@
 <math>A X + X B = C.</math>
 其中''A''，''B''，''C''为已知的矩阵，问题是要找到能够满足方程的矩阵X。所有矩阵的系数都是复数。为了使方程有意义，矩阵的行和列需要满足一定条件，''A'' 和 ''B'' 都要是方阵，大小分别是''n''和''m''，而''X''和''C''要是''n x'' ''m''列的矩阵，''n''和''m''也可以相等，四个矩阵都是大小相同的方阵。
 当且仅当 ''A'' 和-''b'' 没有共同的本征值时，西尔韦斯特有唯一解 ''X'' 。更一般地，方程 <math>A X + X B = C.</math> 也可以视为(可能无限维中)巴拿赫空间中有界算子的方程。在这种情况下，此情形下，有唯一解 ''X'' 的充分必要条件几乎相同:  ''A'' 和-''B'' 的谱不相交<ref>Bhatia and Rosenthal, 1997</ref>。