About: シルベスター方程式

数学、制御理論におけるシルベスター方程式（シルベスターほうていしき、英: Sylvester equation）とは、次の形式の行列方程式である。 ここで行列 A,B,C は与えられており、等式を満たすような行列 X が求めるべき解である。全ての行列の成分は複素数であるとする。方程式が意味を持つために、行列は適当なサイズでなければならない。例えば、全ての行列が同一サイズの正方行列である等である。より一般には、A と B がそれぞれサイズ n , m の正方行列であれば、X と C はいずれも n 行 m 列の行列でなければいけない。 シルベスター方程式が一意的な解 X を持つのは、行列 A と −B が共通する固有値を持たないとき、またそのときに限る。 より一般的には、方程式 AX + XB = C は（次元が有限とは限らない）バナッハ空間上の有界作用素間の等式であるとして考察されてきた。この場合も解についての条件はほとんど同じである：方程式が一意的な解 X を持つのは、A と −B のスペクトルが交わりを持たないとき、またそのときに限る。