第8讲 矩阵直积及其应用.doc

第8讲 矩阵的直积及其应用 内容：1. 矩阵直积的定义与性质 2. 矩阵直积在解矩阵方程中的应用 矩阵直积（Kronecker积）在矩阵论及系统控制等工程研究领域有十分重要的应用．运用矩阵直积运算，能够将线性矩阵方程转化为线性代数方程组． §1 矩阵直积的定义与性质 1.1 矩阵直积 定义1.1 设，，称如下的分块矩阵为与的直积（Krionecker积，张量积），记为．是一个个块的分块矩阵，简写为． 显然与为同阶矩阵，但一般，即矩阵的直积不满足交换律. 对单位矩阵，有. 例1.1 设，，则 ，. 定义1.2 若，则 ，称为向量与的外积. 1.2 矩阵直积的性质 定理1.1 矩阵的直积具有如下基本性质： （1）； （2）； （3），； （4）； （5）； （6）若则 ， 若，，则； （7）若，均可逆，则可逆，且； （8）若和都是对角矩阵、上（下）三角矩阵、实对称矩阵、Hermite矩阵、正交矩阵、酉矩阵，则也分别是这种类型的矩阵. 定义1.3二元复系数多项式为，若矩阵，，则阶矩阵，其中，. 定理1.2 设，，的特征值为，的特征值为，则的全体特征值为，． 证明 由Schur定理知存在酉矩阵使得 ，， 其中，为上三角矩阵，由定理1.1知， 为酉矩阵，为上三角矩阵，则 也是上三角矩阵. 且与有相同的特征值. 则的对角元即为的全部特征值. 因为 ，． 因此，的对角元为，． 推论1.1 设的特征值为，的特征值为，则 （1）的特征值为，； （2）的个特征值为，，； （3）； （4）. 定理1.3 设，则． 证明 记，，有相应阶数的可逆矩阵使得， 则 ，由 ，可逆，则 ． §2 矩阵直积在解矩阵方程中的应用 2.1 矩阵的拉直 定义2.1 设，，， 令 ，称为矩阵的列拉直．矩阵也可以按行拉直为行向量，记作，有 , ． 定理2.1 设，则 ． 证明 记，则 ， 而 故 ． 推论2.1 设，则 （1）； （2）； （3） 2.2 线性矩阵方程 在系统控制等工程领域，经常遇到矩阵方程（Lyapunov型方程）的求解问题，其中，，为已知常数矩阵，为未知矩阵. 利用矩阵的直积和拉直，可以给出线性矩阵方程的可解性及解法. 一般的线性矩阵方程可表示为， 其中为已知常数矩阵，未知矩阵. 定理2.2 线性矩阵方程有解的充分必要条件是，其中，，为已知常数矩阵，未知矩阵. 证明 有解，有解 有解，有解 定理2.3 设的特征值为，的特征值为，则矩阵方程有唯一解的充要条件是，，其中，，为已知常数矩阵，为未矩阵． 证明 有唯一解，有唯一解有唯一解 的特征值不为零 推论2.1 设的特征值为，的特征值为，则矩阵方程有非零解的充分必要条件是存在与，使，． 推论2.2 设，则矩阵方程有唯一解的充分必要条件是时必有，其中为的谱，为的共轭复数. 定理2.4 设的特征值为，的特征值为，则矩阵方程有唯一解的充分必要条件是 ，．其中为已知常数矩阵，为未知矩阵． 定理2.5 若矩阵方程中矩阵的所有特征值具有负实部（称这类矩阵为稳定矩阵），则该矩阵方程有唯一解 ，其中，，为已知常数矩阵，为未知矩阵． 证明 设的特征值为，存在可逆矩阵，使，其中，取0或1． 则 ，这里，为单位上三角矩阵，它的非零元素的形式为.设的特征值为，类似可得出，存在可逆矩阵，，其中，为单位上三角矩阵，它的非零元素的形式为． 因 的右端乘积矩阵的元素都是因子的关于的多项式倍数的组合，且积分存在．令，则 ，．两边求积分，可得 ，即 ．也就是的解，因积分存在，且的所有特征值实部为负，则，．唯一性可由定理2.3得出. 推论2.3 设的特征值满足，则方程的唯一解为．如果为Hermite正定矩阵，则解矩阵也是Hermite正定矩阵． 证明 只需证明后一结论即可. 当时，有．且对，由于可逆，则，于是当正定时，有，从而有，故为正定矩阵． integrated energy, chemicals and textile Yibin city, are the three core pillars of the industry. In 2014, the wuliangye brand value to 73.58 billion yuan, the citys liquor industry slip to stabilise. Promoting deep development of integrated energy, advanced equipment manufacturing industry, changning district, s