Kronecker积及其应用

合集下载

(完整版)Kronecker积及其应用

(完整版)Kronecker积及其应用

矩阵的Kronecker 积及其应用陈蔚(集美大学理学院数学系2005届,厦门 361021)[摘要] 本文主要介绍了矩阵理论中的Kronecker 积,通过对概念的引入,性质、定理的推导,简单地体现出矩阵的Kronecker 积在求解几类矩阵方程中的应用.[关键词] Kronecker 积,特征值,拉直,1ti i i A XB F ==∑矩阵方程,AX +F XB =矩阵方程,X-F AXB =矩阵方程,矩阵微分方程0、引言众所周知,我们学习到的矩阵运算中,普遍提及的均是乘积问题,两矩阵可以相乘的条件是:前面矩阵的列数必须等于后面矩阵的行数,如果不满足这个条件,则我们就无法求解这两个矩阵的乘积,但我们却可以求它们的Kronecker 积。

对于矩阵的Kronecker 积问题,绝大多数人是陌生的。

本文主要介绍了Kronecker 积的定义、性质、应用,让大家一起来领略这个新知识点的风采。

文中所用到的符号均可从参考文献[1—11]中找到。

一、 矩阵的Kronecker 积的概念[1]1.1定义 设()m n ij A a C ⨯=∈, C b B qp ij ⨯∈=)(,则称如下的分块矩阵111212122212n n mp nq m m mn B B a a a B a a a BB B A BC a a a BBB ⨯⎛⎫⎪⎪⊗=∈ ⎪⎪⎝⎭为A 与B 的Kronecker 积(也称为直积或张量积)。

B A ⊗是一个n m ⨯块的分块矩阵,所以上式还可以简写为B A ⊗=()ij a B 。

例1.1 设),,(321a a a T A =, ),(21b b B T =,求B A ⊗和A B ⊗.解 B A ⊗=()111221223132123T a Ba ab a b a b a b a b a b Ba B⎛⎫⎪= ⎪ ⎪⎝⎭,,,,,,A B ⊗=()11121321222312Tb A b a b a b a b a b a b a b A ⎛⎫=⎪⎝⎭,,,,,。

kronecker运算

kronecker运算

kronecker运算Kronecker运算是数学中的一种操作,是由德国数学家利奥波德·克罗内克于19世纪末提出的。

它在代数学、线性代数和群论等领域都有着广泛的应用。

下面我将详细介绍Kronecker运算的定义、性质以及应用。

首先,我们来看一下Kronecker运算的定义。

给定两个矩阵A和B,它们的Kronecker运算记作A ⊗ B。

设A是m×n阶矩阵,B是p×q阶矩阵,那么它们的Kronecker运算的结果是一个mp×nq阶矩阵,它的每个元素都是由矩阵A和B对应位置的元素相乘得到的。

举个例子来说明,假设有两个矩阵A和B如下:A = [a11 a12a21 a22]B = [b11 b12b21 b22]那么它们的Kronecker运算A⊗B的结果为:[a11B a12Ba21B a22B]其中每个元素都是由原矩阵的相应元素相乘得到的。

通过这样的定义,我们可以发现Kronecker运算具有一些特定的性质。

首先,Kronecker运算满足结合律,即对于任意的矩阵A、B和C,都有(A⊗B)⊗C = A⊗(B⊗C)。

其次,Kronecker运算还满足分配律,即对于任意的矩阵A、B和C,都有(A+B)⊗C = A⊗C + B⊗C,以及A⊗(B+C) = A⊗B + A⊗C。

另外,Kronecker运算还具有一些有用的性质。

例如,设A是m×n阶矩阵,B是p×q阶矩阵,C是n×s阶矩阵,D是q×r阶矩阵,那么有以下性质:1. (A⊗B)(C⊗D) = (AC)⊗(BD);2. (A⊗B)T = AT ⊗ BT;3.如果A和B均为对称矩阵,则它们的Kronecker积A⊗B也是对称矩阵;4.若A是奇异矩阵,则它的任意Kronecker乘积A⊗B也是奇异矩阵,其中B是一个任意矩阵。

Kronecker运算在代数学、线性代数以及群论等领域中都有广泛的应用。

kronecker product 解方程

kronecker product 解方程

kronecker product 解方程1. 引言在数学和计算机科学领域,kronecker product(克罗内克积)是一种常见的线性代数运算,它在解决方程组和矩阵运算中起着重要的作用。

本文将介绍kronecker product的基本概念,以及它在解方程中的应用。

2. kronecker product的定义kronecker product是指两个矩阵的乘积运算,其定义如下:设A是一个m×n的矩阵,B是一个p×q的矩阵,那么它们的kronecker product记作A⊗B,它是一个mp×nq的矩阵,其中每个元素是A矩阵中的元素乘以B矩阵中的所有元素。

3. kronecker product的性质- 结合律:(A⊗B)⊗C = A⊗(B⊗C)- 分配律:A⊗(B+C) = A⊗B + A⊗C- 数乘结合律:k(A⊗B) = (kA)⊗B = A⊗(kB),其中k为一个常数 - 归一性质:对于单位矩阵I,有I⊗A = A⊗I = A4. kronecker product在解方程中的应用kronecker product在解方程中起着重要的作用,通过使用kronecker product,我们可以将一个大型方程组拆分成较小的子方程组,从而简化求解过程。

5. 示例假设我们要解以下的线性方程组:Ax = b其中A是一个m×n的矩阵,x是一个n维向量,b是一个m维向量。

我们可以使用kronecker product将该方程组转化成一个更简单的形式。

我们将A分解为两个矩阵A1和A2,分别是p×q和r×s的矩阵,即A = A1⊗A2。

我们可以将x分解为两个向量x1和x2,分别是q维和s维的向量,即x = [x1;x2]。

同样地,b也可以分解为两个向量b1和b2,分别是p维和r维的向量,即b = [b1;b2]。

将原方程组改写为:(A1⊗A2)x = b(A1⊗A2)(x1⊗x2) = b(A1x1)⊗(A2x2) = bA1x1 = b1A2x2 = b2这样,我们将原方程组拆分成了两个较小的子方程组,分别是A1x1 = b1和A2x2 = b2。

-矩阵的Kronecker乘积的性质与应用

-矩阵的Kronecker乘积的性质与应用

摘要按照矩阵乘法的定义,我们知道要计算矩阵的乘积AB,就要求矩阵A的列数和矩阵B的行数相等,否则乘积AB是没有意义的。

那是不是两个矩阵不满足这个条件就不能计算它们的乘积呢本文将介绍矩阵的一种特殊乘积BA ,它对矩阵的行数和列数的并没有具体的要求,它叫做矩阵的Kronecker积(也叫直积或张量积)。

本文将从矩阵的Kronecker积的定义出发,对矩阵的Kronecker积进行介绍和必要的说明。

之后,对Kronecker积的运算规律,可逆性,秩,特征值,特征向量等性质进行了具体的探究,得出结论并加以证明。

此外,还对矩阵的拉直以及矩阵的拉直的性质进行了说明和必要的证明。

矩阵的Kronecker积是一种非常重要的矩阵乘积,它应用很广,理论方面在诸如矩阵方程的求解,矩阵微分方程的求解等矩阵理论的研究中有着广泛的应用,实际应用方面在诸如图像处理,信息处理等方面也起到重要的作用。

本文讨论矩阵的Kronecker积的性质之后还会具体介绍它在矩阵方程中的一些应用。

关键词:矩阵;Kronecker积;矩阵的拉直;矩阵方程;矩阵微分方程Properties and Applications of matrix KroneckerproductAbstractAccording to the definition of matrix multiplication, we know that to calculate the matrix product AB, requires the number of columns of the matrix A and matrix B is equal to the number of rows, otherwise the product AB makes no is not two matrices not satisfy this condition will not be able to calculate their product doThis article will describe a special matrix product BA , the number of rows and columns of a matrix and its no specific requirements, it is called the matrix Kronecker product (also called direct product or tensor product).This paper will define the matrix Kronecker product of view, the Kronecker product matrix are introduced and the necessary instructions. Thereafter, the operation rules Kronecker product, the nature of reversibility, rank, eigenvalues, eigenvectors, etc. specific inquiry, draw conclusions and to prove it. In addition, the properties of the stretch of matrix and its nature have been described and the necessary proof.Kronecker product matrix is a very important matrix product, its use is very broad, theoretical research, and other matrix solving differential equations, such as solving the matrix equation matrix theory has been widely applied in practical applications such as image processing aspects of information processing, also play an important role. After the article discusses the nature of the matrix Kronecker product it will introduce a number of specific applications in the matrix equation. Keywords:Matrix; Kronecker product; Stretch of matrix; Matrix equation; Matrix Differential Equations目录摘要 ........................................................................ I Abstract ................................................................... II 第一章 矩阵的Kronecker 积 . (1)矩阵的Kronecker 积的定义 ................................................ 1 矩阵的Kronecker 积的性质 ................................................ 1 第二章 Kronecker 积的有关定理及推论 .......................................... 6 第三章 矩阵的拉直 (9)矩阵的拉直的定义 ......................................................... 9 矩阵的拉直的性质 ......................................................... 9 第四章 矩阵的Kronecker 积与矩阵方程 .. (11)矩阵的Kronecker 积与Lyapunov 矩阵方程 ................................... 11 矩阵的Kronecker 积与一般线性矩阵方程 .................................... 13 矩阵的Kronecker 积与矩阵微分方程 ........................................ 14 参考文献.................................................................... 16 致谢 .. (18)符号说明W a W a 属于集合元素nm ij a A ⨯=)( 矩阵的记法列元素的行为以n m j i a ij⨯ij A )( 列的元素行的矩阵j i AT A 的转置矩阵A H A 的共轭转置矩阵A1-A 的逆矩阵矩阵A→A 按行拉直得到的列向量矩阵AA det 的行列式方阵AtrA 的主对角元素之和的迹,方阵A A)(A rank 的秩矩阵A)(A λ 的特征值方阵An I 阶单位矩阵nR 实数域 C 复数域n C 维复向量的全体n n m C ⨯ 复矩阵全体n m ⨯O 零矩阵B A ⊗ 的和矩阵B A Kronecker 积第一章 矩阵的Kronecker 积矩阵的Kronecker 积的定义定义设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,定义A 和B 的Kronecker 积(或直积,张量积)B A ⊗为:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B a B a B a B a B a B a B a B a B a B A mn m m n n 212222111211 可以看出,其结果是一个)()(nq mp ⨯矩阵,同时也是一个以B a ij 为子块的分块矩阵.例 设⎥⎦⎤⎢⎣⎡-=1201A ,[]31-=B ,则 ⎥⎦⎤⎢⎣⎡---=⎥⎦⎤⎢⎣⎡-=⊗316200312B B O BB A []⎥⎦⎤⎢⎣⎡---=-=⊗361203013A A A B 由此可见,B A ⊗与A B ⊗具有相同的阶数,但是它们并不相等,也就是说,Kronecker 积不满足交换律.矩阵的Kronecker 积的性质虽然Kronecker 积不满足交换律,但是具有以下一些性质: 性质 设矩阵n m C A ⨯∈,矩阵q p C O ⨯∈,则O O A A O =⊗=⊗(这个O 为)()(nq mp ⨯矩阵).证明:略.性质 设k 为任一常数,矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则)()()(B A k kB A B kA ⊗=⊗=⊗.证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n ka ka ka ka ka ka ka ka ka kA 212222111211, 根据Kronecker 积的定义可以得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B kA mn m m n n mn m m n n 212222111211212222111211)()()()()()()()()()(, ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B ka B ka B ka B ka B ka B ka B ka B ka B ka kB a kB a kB a kB a kB a kB a kB a kB a kB a kB A mn m m n n mn m m n n 212222111211212222111211)()()()()()()()()()(, 即)(B A k B kA ⊗=⊗,)()(B A k kB A ⊗=⊗. 所以)()()(B A k kB A B kA ⊗=⊗=⊗.性质 设A ,B 为同阶矩阵(同阶是为了可以做加法),则C B C A C B A ⊗+⊗=⊗+)(,B C A C B A C ⊗+⊗=+⊗)(.证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n b b b b b b b b b B 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=+mn mn m m m m n n n n b a b a b a b a b a ba b a b a b a B A221122222221211112121111,根据Kronecker 积的定义可以得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=⊗+C b a C b a C b a C b a Cb aC b a C b a C b a C b a C B A mn mn m m m m n n n n )()()()()()()()()()(221122222221211112121111*,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗C a C a C a C a C a C a C a C a C a C A mn m m n n 212222111211 *, ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗C b C b C b C b C b C b C b C b C b C B mn m m n n 212222111211 *,由*,*得:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=⊗C b C a C b C a C b C a C b C a C b C a C b C a C b C a C b C a C b C a C A mn mn m m m m n n n n 221122222221211112121111 *, 由*,*可得:C B C A C B A ⊗+⊗=⊗+)(.同理设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n c c c c c cc c c C 212222111211可证:B C A C B A C ⊗+⊗=+⊗)(.性质 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,矩阵s r C F ⨯∈,则)()(F B A F B A ⊗⊗=⊗⊗证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⊗⊗⊗⊗⊗⊗⊗⊗⊗=⊗⊗)()()()()()()()()()(212222111211F B a F B a F B a F B a F B a F B a F B a F B a F B a F B A mn m m n n)(212222111211F B A F B a B a B a B a B a B a B a B a B a mn m m n n ⊗⊗=⊗⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡= 得证.性质设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,矩阵s n C F ⨯∈,矩阵t q C D ⨯∈,则)()())((BD AF D F B A ⊗=⊗⊗证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=ns n n s s f f f f f f f f f F212222111211, 则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗⊗D f D f Df D f D f Df D f D f D f B a B a B a B a B a B a B a B a B a D F B A ns n n s s mn m m n n212222111211212222111211))(()()()()()()()()()()()(112111112211211121111BD AF BD f a BD f a BD f a BD c a BD f a BD f a BD f a BD f a BD f a nk ks mk n k k mk n k k mk nk ks k n k k k n k k k n k ks k n k k k n k k k ⊗=⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎣⎡=∑∑∑∑∑∑∑∑∑=========得证.性质 设矩阵m m C A ⨯∈可逆, 且矩阵n n C B ⨯∈可逆,则B A ⊗可逆,且111)(---⊗=⊗B A B A .证明:mn n m I I I BB AA B A B A =⊗=⊗=⊗⊗----)()())((1111(这里I n 与数的乘法中的1起到相同的作用), 故111)(---⊗=⊗B A B A .性质 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则T T T B A B A ⊗=⊗)(H H H B A B A ⊗=⊗)(证明: ij T T T ji ij T B A B a B A ][])[(⊗==⊗ 得证.同理可证:H H H B A B A ⊗=⊗)(.性质 两个正交(酉)矩阵的Kronecker 积还是正交(酉)矩阵. 证明:设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈.因为A ,B 都是正交(酉)矩阵,所以有m T T I A A AA ==,n T T I B B BB ==. 由性质和性质可得:mn n m T T T T T I I I BB AA B A B A B A B A =⊗=⊗=⊗⊗=⊗⊗))(())((. mn m n T T T T T I I I B B A A B A B A B A B A =⊗=⊗=⊗⊗=⊗⊗))(()()(.故mn T T I B A B A B A B A =⊗⊗=⊗⊗)()())((. 得证.第二章 Kronecker 积的有关定理及推论定理 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则)()()(B rank A rank B A rank =⊗.证明:设rank A=r ,rank B=s ,A ,B 的标准形分别为:1111--⎥⎦⎤⎢⎣⎡=Q O O O I P A r ,1212--⎥⎦⎤⎢⎣⎡=Q O O O I P B s其中i P ,i Q =i (1,2)均为非奇异矩阵,则由性质和可以得:`1211211211121112121111)()()()(----------⊗⎥⎦⎤⎢⎣⎡⊗=⊗⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⊗=⎪⎪⎭⎫⎝⎛⎥⎦⎤⎢⎣⎡⊗⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡=⊗Q Q O O O I P P Q Q O O O I O O O I P P Q O O O I P Q O O O I P B A rss r s r 所以)()()(B rank A rank s r B A rank =•=⊗ 得证.定理 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若x 是A 关于特征值λ的一个特征向量,y 是A 关于特征值μ的一个特征向量,则y x ⊗是B A ⊗对应特征值λμ的一个特征向量.证明:因为x ,y 都是非零向量,所以x ⊗y 也是非零向量,由性质和性质可得:)()()()()())((y x y x By Ax y x B A ⊗=⊗=⊗=⊗⊗λμμλ.所以,y x ⊗是B A ⊗对应特征值λμ的一个特征向量.推论 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若A 的特征值是1λ,2λ,…,m λ;B 的特征值是1μ,2μ,…,n μ,则B A ⊗的特征值为t s μλ,m s ≤≤1,n t ≤≤1(k 重根算k 个).定理 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若x 是A 关于特征值λ的一个特征向量,y 是A 关于特征值μ的一个特征向量,则y x ⊗是B I I A m n ⊗+⊗对应特征值μλ+的一个特征向量.证明:由性质,性质可以得到:)()()()())((y x y x y I Ax y x I A n n ⊗=⊗=⊗=⊗⊗λλ, )()()()())((y x y x By x I y x B I m m ⊗=⊗=⊗=⊗⊗μμ,故))(())(())(())((y x y x B I y x I A y x B I I A m n m n ⊗+=⊗⊗+⊗⊗=⊗⊗+⊗μλ.所以,y x ⊗是B I I A m n ⊗+⊗对应特征值μλ+的一个特征向量.推论 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m s C x ∈和n t C y ∈,若1x ,2x ,…,m x 是A 关于特征值1λ,2λ,…,m λ的特征向量,1y ,2y ,…,n y 是B 关于特征值1μ,2μ,…,n μ的特征向量,则B I I A m n ⊗+⊗的n m •个特征值为{t s μλ+}.(s=1,2,…,m ;t=1,2,…,n ).例 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m i C x ∈和n j C y ∈,若1x ,2x ,…,m x 是A 关于特征值1λ,2λ,…,m λ的特征向量,1y , 2y ,…,n y 是B 关于特征值1μ,2μ,…,n μ的特征向量,证明:矩阵)()(B A I I n m ⊗-⊗的特征值是j i μλ-1,对应的特征向量为j i y x ⊗.(i=1,2,…,m ;j=1,2,…,n ).证明:由性质和性质可得:))(()()()()())((j i j i j j i i j i j i y x y x By Ax y x B A ⊗=⊗=⊗=⊗⊗μλμλ,故有:))(1())(()())(()())(())(())](()[(j i j i j i j i j i j i j i j i mn j i j i n m j i n m y x y x y x y x y x I y x B A y x I I y x B A I I ⊗-=⊗-⊗=⊗-⊗=⊗⊗-⊗⊗=⊗⊗-⊗μλμλμλ所以,矩阵)()(B A I I n m ⊗-⊗的特征值是j i μλ-1,对应的特征向量j i y x ⊗. 定理 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,则trB trA B A tr •=⊗)(证明:由Kronecker 积和迹的定义可得:trBtrA trB a trB a trB a B a tr B a tr B a tr B A tr nn nn •=+++=+++=⊗ 22112211)()()()(得证.定理 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,则m n B A B A )(det )(det )det(=⊗证明:设A 的特征值为1λ,2λ,…,m λ,B 的特征值为1μ,2μ,…,n μ, 由推论可得:mn m n n m n m m n n nj j m nj j mnji nj j j i B A B A )(det )(det )()()())(())(()()()()()det(21211212111112,11=====⊗∏∏∏∏===μμμλλλμλμλμλμλμλμλμλμλμλμλ得证.第三章 矩阵的拉直矩阵的拉直的定义定义 设n m ij a A ⨯=)(,定义矩阵A 的按行拉直为:T mn m n n a a a a a a A A vec )()(1221111,,,,,,,,, ==→即矩阵A 的拉直是一个mn 元的列向量,它是由矩阵A 所有元素按行顺序依次排成一列得到的.例如:⎥⎦⎤⎢⎣⎡=d c b a A ,则矩阵A 的拉直为T d c b a A )(,,,=→.矩阵的拉直的性质矩阵的拉直具有以下性质: 性质 设矩阵nm C A ⨯∈,矩阵nm CB ⨯∈,k 和l 是常数,则(lB kA +=→→+B l A k .证明:略.性质 设n m ij t a t A ⨯=))(()(,则dtt dA (=dt d)(t A . 证明:左边==))((dtt dA vet ij a vet ((′)))(n m t ⨯ = [(a 11′(t ),…,a n 1′(t ),a 21′(t ),…,a n 2′(t ),…,a 1m ′(t ),…,a mn ′(t ) ]T=[(a 11(t ),…,a n 1(t ),a 21(t ),…,a n 2(t ),…,a 1m (t ),…,a mn (t ) )T ]′ = ))](([t A vet ′=))](([t A vec dtd=右边,得证. 性质设矩阵nm C A ⨯∈,矩阵pn CX ⨯∈,矩阵qp CB ⨯∈,则→⊗=X B A T)(.证明:设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,T n x x X )(1,, =→,其中,T i x 是X 的第i 行=i (1,2,…,)n ,则⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=B x a x a B x a x a AXB T n mn T m Tn n T )()(111111 ,⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=→n x x X 1 所以T Tn mn T m T n n T B x a x a B x a x a ])()[(111111++++= ,, →⊗=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=X B A x x B a B a B a B a x a x a B x a x a B n T mn T m T n T n mn m T n n T )()()()()(11111111111 得证. 推论 设矩阵m m C A ⨯∈,矩阵n m C X ⨯∈,矩阵n n C B ⨯∈,则有1.AX →⊗=X I A n )( 2.→⊗=X B I Tm )(.3(AX +)→⊗+⊗=X B I I A Tm n )(.第四章 矩阵的Kronecker 积与矩阵方程矩阵的Kronecker 积与Lyapunov 矩阵方程设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,矩阵n m C F ⨯∈,解Lyapunov 矩阵方程:AX+XB=F.第一步:将方程两边拉直,由推论可得:→→=⊗+⊗C X B I I A Tm n )(.第二步:判断是否有解,根据线性方程组是否有解的判别条件可得:矩阵方程有解的充要条件是:Tm n B I I A rank ⊗+⊗(┊)()T m n B I I A rank C ⊗+⊗=→,:有唯一解的充要条件是det(A ⊗I n + I m ⊗B T )≠0,即A 和(-B )没有公共的特征值或者说A 和B 无互为相反数的特征值.例 分别在下2列条件下解矩阵方程AX+XB=C.(1) ⎥⎦⎤⎢⎣⎡-=0112A ,⎥⎦⎤⎢⎣⎡=42-1-3B ,⎥⎦⎤⎢⎣⎡--=1081710C (2) ⎥⎦⎤⎢⎣⎡=3201A ,⎥⎦⎤⎢⎣⎡--=1052B ,⎥⎦⎤⎢⎣⎡--=11353C 解:(1) 首先计算A 和B 的特征值,解0=-A I λ得:121==λλ,解0=-B I μ得:5221==μμ,.观察有无互为相反数的特征值发现,A 和B 没有互为相反数的特征值,所以矩阵方程有唯一解. 将矩阵方程两边拉直,得到:→→=⊗+⊗C X B I I A Tm n )(.设⎥⎦⎤⎢⎣⎡=4321x x x x X ,计算⎥⎦⎤⎢⎣⎡--=4123TB ,将A ,T B ,X ,C 代入得: ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡--⊗⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⊗⎥⎦⎤⎢⎣⎡-108171041231001100101124321x x x x ,计算得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------108171041102301106101254321x x x x , 根据矩阵的乘法的定义可以求得:21314321-===-=x x x x ,,,. 故矩阵方程AX+XB=C 的唯一解为:⎥⎦⎤⎢⎣⎡--=2131X . (2) 同样先计算A 和B 的特征值,解0=-A I λ得:3121==λλ,, 解0=-B I μ得:1221-==μμ,.通过观察可知:021=+μλ. 一所以矩阵方程的解不唯,即存在通解. 将矩阵方程两边拉直,得到:→→=⊗+⊗C X B I I A Tm n )(.设⎥⎦⎤⎢⎣⎡=4321x x x xX ,计算⎥⎦⎤⎢⎣⎡--=1502TB ,将A ,T B ,X ,C 代入得: ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡--⊗⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⊗⎥⎦⎤⎢⎣⎡1135315021001100132014321x x x x , - 计算得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--113532520050200050034321x x x x ,根据矩阵的乘法的定义可以求得:c x x c x x -=-===3114321,,,. 故矩阵方程AX+XB=C 的通解为:⎥⎦⎤⎢⎣⎡--=c c X 311(c 为任意常数).矩阵的Kronecker 积与一般线性矩阵方程设矩阵n m k C A ⨯∈,矩阵q p C B ⨯∈,矩阵q m C F ⨯=,解一般线性矩阵方程:F XB Ark k k=∑=1(r = 1,2,…).第一步,将矩阵方程两边拉直,由性质可以得到:∑=→→=⊗rk T kk F X B A 1)][(.第二步:判断是否有解,根据线性方程组是否有解的判别条件可得:矩阵方程有解的充要条件是:∑⊗)((Tkk B A rank ┊))(()1∑=→⊗=rk Tkk B A rank F . 即∑=⊗rk Tkk B A 1)(的所有特征值均不为0. 例 设A 和C 都是n ⨯n 矩阵,A 的特征值λi (i=0,1,2,…,n )R ∈(实数),求证:矩阵方程C XA A AXA X =++22有唯一解.证明:将两边方程拉直得到:→→=⊗+⊗+⊗C X A A A A I I T T n n ])([(22,化简得到:→→=⊗+⊗+C X A A A A I TTn ])()([22.由定义可知:T A A ⊗的2n 个特征值是=j i j i ,(λλ0,1,2,…,n ). 故:2)()(2T T n A A A A I ⊗+⊗+的2n 个特征值是:22)21(43)()(1j i j i j i λλλλλλ++=++>00(=j i ,,1,2,…,n ). 即2)()(2T T n A A A A I ⊗+⊗+是可逆的,由唯一解的判断方法可知:矩阵方程C XA A AXA X =++22有唯一解.例 在下列条件下解矩阵方程C XB A XB A =+2211.已知:⎥⎦⎤⎢⎣⎡-=20311A ,⎥⎦⎤⎢⎣⎡-=13101B ,⎥⎦⎤⎢⎣⎡-=11022A ,⎥⎦⎤⎢⎣⎡-=01232B ,⎥⎦⎤⎢⎣⎡--=48213C . 解:将矩阵方程两边拉直得到:→→=⊗+⊗C X B A B A T T)(2211. *设⎥⎦⎤⎢⎣⎡=4321x x x xX ,计算⎥⎦⎤⎢⎣⎡-=11301T B 和 ⎥⎦⎤⎢⎣⎡-=02132TB 代入*得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡-⊗⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-⊗⎥⎦⎤⎢⎣⎡-4821302131102113020314321x x x x .计算化简得:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------4821320027313331390564321x x x x . 根据矩阵的乘法的定义可以求得:10214321===-=x x x x ,,,.计算T T B A B A rank 2211(⊗+⊗┊4)()2211=⊗+⊗=TT B A B A rank C , 所以方程有唯一解:⎥⎦⎤⎢⎣⎡-=1021X . 矩阵的Kronecker 积与矩阵微分方程设m m C A ⨯∈矩阵,n n C B ⨯∈矩阵,n m C t X ⨯∈)(,求下列矩阵微分方程初值问题的解:⎪⎩⎪⎨⎧=+=0)0()()()(X X B t X t AX dt t dX 引理:设m m C A ⨯∈矩阵A ,矩阵n m C B ⨯∈,则n A I A I e e n ⊗=⊗,B m B I e I e m ⊗=⊗. 证明:因为性质可得:∑∑∞=∞=⊗⊗=⊗=11)(!1)(!1k k k k kI A I A k I A k enn A k kI e I A k ⊗=⊗=∑∞=1)!1(. 同理可证:B m B I e I e m ⊗=⊗.将矩阵微分方程两边拉直,由推论可以得到:⎪⎩⎪⎨⎧=⊗+⊗=→00(()()(X X t X B I I A dt t X d T m n 由引理可得:T t B At tB AtB I I A t TT m n e X e X ee X et X )()()(000)(=⊗==→→⊗+⊗,又因为∑∑∞=∞====11!1))(!1()(k Bt k k T k k k T Tt B e t B k t B k eT ,故Bt At e X e t X 0)(= 这就是微分方程的解.例 求解下列矩阵微分方程的初值问题:⎪⎩⎪⎨⎧=+=0)0()()()(X X B t X t AX dt t dX已知:⎥⎦⎤⎢⎣⎡=0011A ,⎥⎦⎤⎢⎣⎡-=0011B ,⎥⎦⎤⎢⎣⎡=10010X . 解:可计算得到:⎥⎦⎤⎢⎣⎡-=101t tAte e e,⎥⎦⎤⎢⎣⎡-=101t t Bte e e .由式可以得到: ⎥⎦⎤⎢⎣⎡--==10)1()(220t tBtAt e e eX e t X . 即的解为⎥⎦⎤⎢⎣⎡--=10)1()(22t te e t X . 通过本章的学习,我们知道矩阵的Kronecker 积在解矩阵方程领域有很大的作用,利用Kronecker 积的性质,我们可以解决Lyapunov 矩阵方程,一般矩阵方程,矩阵微分方程的初值问题等问题.参考文献[1]矩阵论简明教程(第三版).徐仲等编.北京:科学出版社..[2]矩阵论教程(第2版).张绍飞,赵迪编.北京:机械工业出版社..[3]矩阵论引论(第2版).陈祖明,周家胜编.北京:北京航空航天大学出版社..[4]矩阵论十讲.李乔,张晓东编.合肥:中国科学技术大学出版社..[5]矩阵理论及方法.谢冬秀,雷纪刚,陈桂芝编.北京:科学出版社.2012.[6]H-矩阵类的理论及应用.徐仲等编.北京:科学出版社.2013.[7]高等代数教程(上).王萼芳编.北京:清华大学出版社.1997(2008重印).[8]常微分方程(第二版).东北师范大学微分方程教研室.北京:高等教育出版社.(重印).[9]矩阵分析与应用(第2版).张贤达编.北京:清华大学出版社.2013(重印).[10]线性代数及其应用.毛立新,咸美新编.北京:高等教育出版社..[11]线性代数(第2版).钟玉泉,周建编.北京:科学出版社..[12]矩阵理论与方法(第2版).吴昌悫,魏洪增编.北京:电子工业出版社..[13]线性代数学习指导.赵春燕,单净,王麟编.哈尔滨:哈尔滨工程大学出版社..[14]矩阵论.张凯院等编.北京:科学出版社.2013.[15]矩阵论导教·导学·导考.张凯院,徐仲编.西安:西北工业大学出版社..[16]矩阵函数与矩阵方程.柏兆俊,高卫国,苏仰锋编.北京:高等教育出版社..[17]矩阵分析.姜志侠,孟品超,李延忠编.北京:清华大学出版社.2015.[18]矩阵论札论.梁昌洪编.北京:科学出版社.2014.[19]线性代数及其应用.马新顺,王涛,郭燕编.北京:高等教育出版社..[20]矩阵论引论.田振际,王永铎,吴德军编.北京:科学出版社.2013.[21]线性代数及其应用(第2版).河北农业大学理学院编.北京:高等教育出版社..(重印).[22]线性代数及其应用.王坤龙编.北京:电子工业出版社..[23]线性代数(第2版).许峰,范爱华编.合肥:中国科学技术大学出版社..[24]线性代数及其应用.俞方元编.上海:同济大学出版社..[25]线性代数学习指导.谢政,陈挚编.北京:清华大学出版社..[26]高等线性代数学.黎景辉,白正简,周国晖编.北京:高等教育出版社..[27]线性代数讲义.江惠坤,邵荣,范红军编.北京:科学出版社.2013.[28]线性代数.贾屹峰编.上海:上海交通大学出版社.2012.[29]线性代数.侯亚君,艾玲,沙萍,林洪娟编.北京:机械工业出版社.(重印).[30]线性代数.郝秀敏,姜庆华编.北京:经济科学出版社..[31]线性代数.韩旸,王静宇,周莉编.北京:化学工业出版社..[32]线性代数重点难点考点辅导与精析.高淑萍,张剑湖编.西安:西北工业大学出版社..[33]线性代数.傅媛编.武汉:武汉大学出版社.(重印).[34]跟我学线性代数:导学与习题精解.董晓波编.北京:机械工业出版社..[35]线性代数同步学习辅导.陈绍林,唐道远编.北京:科学出版社,.[36]线性代数及应用.刘三明编.南京:南京大学出版社..[37]线性代数.谭福锦,黎进香编.北京.人民邮电出版社..[38]工程数学.线性代数(第6版).同济大学数学系编.北京:高等教育出版社..[39]矩阵分析与计算.李继根,张新发编.武汉:武汉大学出版社..[40]矩阵计算的理论与方法.徐树方编.北京:北京大学出版社..[41]矩阵分析及其应用.曾祥金,吴华安编.武汉:武汉大学出版社..[42]矩阵理论与应用.张跃辉编.北京:科学出版社..致谢通过一个月来不断的努力,终于完成了这篇毕业论文。

kronecker积例题

kronecker积例题

kronecker积例题Kronecker积是一种矩阵运算,用于计算两个矩阵的乘积。

它的定义如下:设A为m×n的矩阵,B为p×q的矩阵,那么A和B的Kronecker积记作A ⊗ B,结果为一个mp × nq的矩阵。

具体计算方式如下:A ⊗B = [ a11B, a12B, ..., a1nB ][ a21B, a22B, ..., a2nB ][ ... , ... , ..., ... ][ am1B, am2B, ..., amnB ]其中,aijB表示将矩阵B的每个元素都乘以aij得到的新矩阵。

为了更好地理解Kronecker积,下面举一个例题来说明。

假设有两个矩阵A和B,分别如下:A = [ 1, 2 ][ 3, 4 ]B = [ 5, 6 ][ 7, 8 ]我们来计算A ⊗ B:A ⊗B = [ 1 B, 2 B ][ 3 B, 4 B ]= [ [ 1 5, 1 6 ], [ 2 5, 2 6 ] ] [ [ 3 5, 3 6 ], [ 4 5, 4 6 ] ] = [ [ 5, 6 ], [ 10, 12 ] ][ [ 15, 18 ], [ 20, 24 ] ]因此,A ⊗ B的结果为一个4×4的矩阵:[ 5, 6, 0, 0 ][ 10, 12, 0, 0 ][ 0, 0, 5, 6 ][ 0, 0, 10, 12 ]这个例题展示了如何计算两个矩阵的Kronecker积。

当然,在实际应用中,矩阵的规模可能更大,但计算方式是类似的。

需要注意的是,Kronecker积具有一些特殊的性质,比如分配律和结合律。

此外,Kronecker积在很多领域中有广泛的应用,比如图像处理、信号处理和量子力学等。

希望这个例题能够帮助你理解Kronecker积的概念和计算方法。

如果还有其他问题,欢迎继续提问。

克罗内克 Kronecker 积及其应用

克罗内克 Kronecker 积及其应用

L
a m1 B T M
=
AT
⊗ BT
L amn BT
同理可证 ( A ⊗ B) H = AH ⊗ B H 。
证毕
(1 — 2) (1 — 3)
2
定理 1—3 设 A,B 分别为 m 阶和 n 阶可逆矩阵,则 A ⊗ B 也为可逆矩阵,且 ( A ⊗ B)−1 = A−1 ⊗ B −1
(1 — 4)
λ

A = .P O
P
−1
,
0
λm
从而由式(1—1)有
B
=
µ1 Q
O
∗ Q −1
0
µ p
λ1 A ⊗ B = (P ⊗ Q)( O


µ1
O
∗ )(P −1 ⊗ Q −1 )
0
λm 0
µ p
λ1
µ1
O


= (P ⊗ Q)
0
µ p O
(P ⊗ Q)−1
0
λm
= ( A ⊗ A(k−1) )(B ⊗ B (k−1) )
证毕
= A(k)B(k)
关于 Kronecker 积的多项式的特征值问题,我们有下面的结论。
(1 — 8)
p
∑ 定理 1—10 设 f (x, y) = aij xi y j 是变量 x, y 的复系数多项式,对于 i, j=0
A ∈ C m×n , B ∈ C n× p 定义 m n 阶矩阵:
L
a22 B L
L L
a2n B L

C
mp×nq
a m1 B
am2 B
L
amn B
为 A 的克罗内克(Kronecker)积,或称 A 与 B 的直积,或张量积,简记为 A ⊗ B = (aij B) m×n , 即 A ⊗ B

几类特殊矩阵kronecker积

几类特殊矩阵kronecker积

几类特殊矩阵kronecker积Kronecker积是将两个矩阵A和B乘积,也就是向量积(outer product或tensor prodct)。

它可以理解为“非常大的”网格中每一对元素进行乘积,并将这些乘积汇总到一个新的矩阵中。

具体而言,它的定义如下:Kronecker积:Given two matrices A and B, their Kronecker product is denoted as A#B, and defined by an m×n matrix C of the following form:C_{ij}=A_{i1}B_{1j}+A_{i2}B_{2j}+...+A_{in}B_{nj}Kronecker积有几类特殊的应用:1、向量积矩阵:Kronecker积可以用来表示两个向量的向量积矩阵,即A#B=vec(b)vec(a)T。

其中vec(b)和vec(a)T表示两个向量,另外一个向量作为列,另一个向量作为行,并且转置后形成一个m×n矩阵。

2、数值分解矩阵:Kronecker积可以用来表示一个数字分解矩阵,即A#B=UTV,其中UT和V可以看作是特征向量,它们可以用来分解原矩阵,而T是某个对角矩阵,用来表示特征值。

3、傅里叶变换:Kronecker积也可以用来表示傅里叶变换,即A#B=FDFT,其中FDFT表示两个实矩阵D和F的乘积,它们可以用来将原信号进行快速傅里叶变换。

4、卷积矩阵:Kronecker积也可以用来表示卷积矩阵,即A#B=C,其中C可以看作是一个m×n矩阵,它可以用来表示两个向量的卷积形式。

5、单位阵:Kronecker积也可以用来表示单位阵,即A#B=I,其中I可以看作是一个m×n矩阵,它可以用来表示两个向量的单位阵形式。

矩阵Kronecker乘积性质及应用

矩阵Kronecker乘积性质及应用

矩阵Kronecker乘积的性质与应用摘要按照矩阵乘法的定义,我们知道要计算矩阵的乘积AB,就要求矩阵A的列数和矩阵B的行数相等,否则乘积AB是没有意义的。

那是不是两个矩阵不满足这个条件就不能计算它们的乘积呢?本文将介绍矩阵的一种特殊乘积BA ,它对矩阵的行数和列数的并没有具体的要求,它叫做矩阵的Kronecker积(也叫直积或张量积)。

本文将从矩阵的Kronecker积的定义出发,对矩阵的Kronecker 积进行介绍和必要的说明。

之后,对Kronecker积的运算规律,可逆性,秩,特征值,特征向量等性质进行了具体的探究,得出结论并加以证明。

此外,还对矩阵的拉直以及矩阵的拉直的性质进行了说明和必要的证明。

矩阵的Kronecker积是一种非常重要的矩阵乘积,它应用很广,理论方面在诸如矩阵方程的求解,矩阵微分方程的求解等矩阵理论的研究中有着广泛的应用,实际应用方面在诸如图像处理,信息处理等方面也起到重要的作用。

本文讨论矩阵的Kronecker积的性质之后还会具体介绍它在矩阵方程中的一些应用。

关键词:矩阵;Kronecker积;矩阵的拉直;矩阵方程;矩阵微分方程Properties and Applications of matrix KroneckerproductAbstractAccording to the definition of matrix multiplication, we know that to calculate the matrix product AB, requires the number of columns of the matrix A and matrix B is equal to the number of rows, otherwise the product AB makes no sense.That is not two matrices not satisfy this condition will not be able to calculate their product do?This article will describe a special matrix product BA , the number of rows and columns of a matrix and its no specific requirements, it is called the matrix Kronecker product (also called direct product or tensor product).This paper will define the matrix Kronecker product of view, the Kronecker product matrix are introduced and the necessary instructions. Thereafter, the operation rules Kronecker product, the nature of reversibility, rank, eigenvalues, eigenvectors, etc. specific inquiry, draw conclusions and to prove it. In addition, the properties of the stretch of matrix and its nature have been described and the necessary proof.Kronecker product matrix is a very important matrix product, its use is very broad, theoretical research, and other matrix solving differential equations, such as solving the matrix equation matrix theory has been widely applied in practical applications such as image processing aspects of information processing, also play an important role. After the article discusses the nature of the matrix Kronecker product it will introduce a number of specific applications in the matrix equation. Keywords:Matrix; Kronecker product; Stretch of matrix; Matrix equation; Matrix Differential Equations目录摘要 .................................................................................................................................................... Abstract ............................................................................................................................................ I 第一章 矩阵的Kronecker 积 01.1 矩阵的Kronecker 积的定义 ........................................................................................... 0 1.2 矩阵的Kronecker 积的性质 ........................................................................................... 0 第二章 Kronecker 积的有关定理及推论 ...................................................................................... 5 第三章 矩阵的拉直 . (8)3.1矩阵的拉直的定义 ............................................................................................................ 8 3.2矩阵的拉直的性质 ............................................................................................................ 8 第四章 矩阵的Kronecker 积与矩阵方程 .. (10)4.1矩阵的Kronecker 积与Lyapunov 矩阵方程 ................................................................ 10 4.2矩阵的Kronecker 积与一般线性矩阵方程 .................................................................. 12 4.3矩阵的Kronecker 积与矩阵微分方程 .......................................................................... 13 参考文献......................................................................................................................................... 15 致谢 (17)符号说明W a W a 属于集合元素nm ij a A ⨯=)( 矩阵的记法列元素的行为以n m j i a ij⨯ij A )( 列的元素行的矩阵j i AT A 的转置矩阵A H A 的共轭转置矩阵A 1-A 的逆矩阵矩阵A→A 按行拉直得到的列向量矩阵AA det 的行列式方阵AtrA 的主对角元素之和的迹,方阵A A)(A rank 的秩矩阵A)(A λ 的特征值方阵An I 阶单位矩阵nR 实数域 C 复数域n C 维复向量的全体n n m C ⨯ 复矩阵全体n m ⨯O 零矩阵B A ⊗ 的和矩阵B A Kronecker 积第一章 矩阵的Kronecker 积1.1 矩阵的Kronecker 积的定义定义1.1设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,定义A 和B 的Kronecker 积(或直积,张量积)B A ⊗为:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B a B a B a B a B a B a B a B a B a B A mn m m n n 212222111211 可以看出,其结果是一个)()(nq mp ⨯矩阵,同时也是一个以B a ij 为子块的分块矩阵.例1.1 设⎥⎦⎤⎢⎣⎡-=1201A ,[]31-=B ,则 ⎥⎦⎤⎢⎣⎡---=⎥⎦⎤⎢⎣⎡-=⊗316200312B B O BB A []⎥⎦⎤⎢⎣⎡---=-=⊗361203013A A A B 由此可见,B A ⊗与A B ⊗具有相同的阶数,但是它们并不相等,也就是说,Kronecker 积不满足交换律.1.2 矩阵的Kronecker 积的性质虽然Kronecker 积不满足交换律,但是具有以下一些性质: 性质1.2.1 设矩阵n m C A ⨯∈,矩阵q p C O ⨯∈,则O O A A O =⊗=⊗(这个O 为)()(nq mp ⨯矩阵).证明:略.性质1.2.2 设k 为任一常数,矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则)()()(B A k kB A B kA ⊗=⊗=⊗.证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n ka ka ka ka ka ka ka ka ka kA 212222111211,根据Kronecker 积的定义可以得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B kA mn m m n n mn m m n n 212222111211212222111211)()()()()()()()()()(, ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B ka B ka B ka B ka B ka B ka B ka B ka B ka kB a kB a kB a kB a kB a kB a kB a kB a kB a kB A mn m m n n mn m m n n 212222111211212222111211)()()()()()()()()()(, 即)(B A k B kA ⊗=⊗,)()(B A k kB A ⊗=⊗. 所以)()()(B A k kB A B kA ⊗=⊗=⊗.性质1.2.3 设A ,B 为同阶矩阵(同阶是为了可以做加法),则C B C A C B A ⊗+⊗=⊗+)(,B C A C B A C ⊗+⊗=+⊗)(.证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n b b b b b b b b b B 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=+mn mn m m m m n n n n b a b a b a b a b a ba b a b a b a B A221122222221211112121111,根据Kronecker 积的定义可以得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=⊗+C b a C b a C b a C b a Cb aC b a C b a C b a C b a C B A mn mn m m m m n n n n )()()()()()()()()()(221122222221211112121111(1.1)*,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗C a C a C a C a C a C a C a C a C a C A mn m m n n 212222111211 (1.2)*, ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗C b C b C b C b C b C b C b C b C b C B mn m m n n 212222111211 (1.3)*,由(1.2)*,(1.3)*得:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=⊗C b C a C b C a C b C a C b C a C b C a C b C a C b C a C b C a C b C a C A mn mn m m m m n n n n 221122222221211112121111 (1.4)*, 由(1.1)*,(1.4)*可得:C B C A C B A ⊗+⊗=⊗+)(.同理设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n c c c c c cc c c C 212222111211可证:B C A C B A C ⊗+⊗=+⊗)(.性质1.2.4 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,矩阵s r C F ⨯∈,则)()(F B A F B A ⊗⊗=⊗⊗证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⊗⊗⊗⊗⊗⊗⊗⊗⊗=⊗⊗)()()()()()()()()()(212222111211F B a F B a F B a F B a F B a F B a F B a F B a F B a F B A mn m m n n)(212222111211F B A F B a B a B a B a B a B a B a B a B a mn m m n n ⊗⊗=⊗⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡= 得证.性质1.2.5设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,矩阵s n C F ⨯∈,矩阵t q C D ⨯∈,则)()())((BD AF D F B A ⊗=⊗⊗证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=ns n n s s f f f f f f f f f F212222111211, 则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗⊗D f D f D f D f D f Df D f D f D f B a B a B a B a B a B a B a B a B a D F B A ns n n s s mn m m n n212222111211212222111211))(()()()()()()()()()()()(112111112211211121111BD AF BD f a BD f a BD f a BD c a BD f a BD f a BD f a BD f a BD f a nk ks mk n k k mk n k k mk nk ks k n k k k n k k k n k ks k n k k k n k k k ⊗=⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎣⎡=∑∑∑∑∑∑∑∑∑=========得证.性质1.2.6 设矩阵m m C A ⨯∈可逆, 且矩阵n n C B ⨯∈可逆,则B A ⊗可逆,且111)(---⊗=⊗B A B A .证明:mn n m I I I BB AA B A B A =⊗=⊗=⊗⊗----)()())((1111(这里I n 与数的乘法中的1起到相同的作用), 故111)(---⊗=⊗B A B A .性质1.2.7 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则T T T B A B A ⊗=⊗)(H H H B A B A ⊗=⊗)(证明: ij T T T ji ij T B A B a B A ][])[(⊗==⊗ 得证.同理可证:H H H B A B A ⊗=⊗)(.性质1.2.8 两个正交(酉)矩阵的Kronecker 积还是正交(酉)矩阵. 证明:设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈.因为A ,B 都是正交(酉)矩阵,所以有m T T I A A AA ==,n T T I B B BB ==. 由性质1.2.7和性质1.2.5可得:mn n m T T T T T I I I BB AA B A B A B A B A =⊗=⊗=⊗⊗=⊗⊗))(())((. mn m n T T T T T I I I B B A A B A B A B A B A =⊗=⊗=⊗⊗=⊗⊗))(()()(.故mn T T I B A B A B A B A =⊗⊗=⊗⊗)()())((. 得证.第二章 Kronecker 积的有关定理及推论定理2.2.2 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则)()()(B rank A rank B A rank =⊗.证明:设rank A =r ,rank B=s ,A ,B 的标准形分别为:1111--⎥⎦⎤⎢⎣⎡=Q O O O I P A r ,1212--⎥⎦⎤⎢⎣⎡=Q O O O I P B s其中i P ,i Q =i (1,2)均为非奇异矩阵,则由性质1.2.5和1.2.6可以得:`1211211211121112121111)()()()(----------⊗⎥⎦⎤⎢⎣⎡⊗=⊗⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⊗=⎪⎪⎭⎫⎝⎛⎥⎦⎤⎢⎣⎡⊗⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡=⊗Q Q O O O I P P Q Q O O O I O O O I P P Q O O O I P Q O O O I P B A rss r s r 所以)()()(B rank A rank s r B A rank =•=⊗ 得证.定理2.2.3 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若x 是A 关于特征值λ的一个特征向量,y 是A 关于特征值μ的一个特征向量,则y x ⊗是B A ⊗对应特征值λμ的一个特征向量.证明:因为x ,y 都是非零向量,所以x ⊗y 也是非零向量,由性质1.2.2和性质1.2.5可得:)()()()()())((y x y x By Ax y x B A ⊗=⊗=⊗=⊗⊗λμμλ.所以,y x ⊗是B A ⊗对应特征值λμ的一个特征向量.推论2.2.4 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若A 的特征值是1λ,2λ,…,m λ;B 的特征值是1μ,2μ,…,n μ,则B A ⊗的特征值为t s μλ,m s ≤≤1,n t ≤≤1(k 重根算k 个).定理2.2.5 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若x 是A 关于特征值λ的一个特征向量,y 是A 关于特征值μ的一个特征向量,则y x ⊗是B I I A m n ⊗+⊗对应特征值μλ+的一个特征向量.证明:由性质1.2.3,性质1.2.5可以得到:)()()()())((y x y x y I Ax y x I A n n ⊗=⊗=⊗=⊗⊗λλ, )()()()())((y x y x By x I y x B I m m ⊗=⊗=⊗=⊗⊗μμ,故))(())(())(())((y x y x B I y x I A y x B I I A m n m n ⊗+=⊗⊗+⊗⊗=⊗⊗+⊗μλ.所以,y x ⊗是B I I A m n ⊗+⊗对应特征值μλ+的一个特征向量.推论2.2.6 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m s C x ∈和n t C y ∈,若1x ,2x ,…,m x 是A 关于特征值1λ,2λ,…,m λ的特征向量,1y ,2y ,…,n y 是B 关于特征值1μ,2μ,…,n μ的特征向量,则B I I A m n ⊗+⊗的n m •个特征值为{t s μλ+}.(s=1,2,…,m ;t=1,2,…,n ).例2.2 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m i C x ∈和n j C y ∈,若1x ,2x ,…,m x 是A 关于特征值1λ,2λ,…,m λ的特征向量,1y , 2y ,…,n y 是B 关于特征值1μ,2μ,…,n μ的特征向量,证明:矩阵)()(B A I I n m ⊗-⊗的特征值是j i μλ-1,对应的特征向量为j i y x ⊗.(i=1,2,…,m ;j=1,2,…,n ).证明:由性质1.2.3和性质1.2.5可得:))(()()()()())((j i j i j j i i j i j i y x y x By Ax y x B A ⊗=⊗=⊗=⊗⊗μλμλ,故有:))(1())(()())(()())(())(())](()[(j i j i j i j i j i j i j i j i mn j i j i n m j i n m y x y x y x y x y x I y x B A y x I I y x B A I I ⊗-=⊗-⊗=⊗-⊗=⊗⊗-⊗⊗=⊗⊗-⊗μλμλμλ所以,矩阵)()(B A I I n m ⊗-⊗的特征值是j i μλ-1,对应的特征向量j i y x ⊗. 定理2.2.7 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,则trB trA B A tr •=⊗)(证明:由Kronecker 积和迹的定义可得:trBtrA trB a trB a trB a B a tr B a tr B a tr B A tr nn nn •=+++=+++=⊗ 22112211)()()()(得证.定理2.2.8 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,则m n B A B A )(det )(det )det(=⊗证明:设A 的特征值为1λ,2λ,…,m λ,B 的特征值为1μ,2μ,…,n μ, 由推论2.2.4可得:mn m n n m n m m n n nj j m nj j mnji nj j j i B A B A )(det )(det )()()())(())(()()()()()det(21211212111112,11=====⊗∏∏∏∏===μμμλλλμλμλμλμλμλμλμλμλμλμλ得证.第三章 矩阵的拉直3.1矩阵的拉直的定义定义3.1 设n m ij a A ⨯=)(,定义矩阵A 的按行拉直为:T mn m n n a a a a a a A A vec )()(1221111,,,,,,,,, ==→即矩阵A 的拉直是一个mn 元的列向量,它是由矩阵A 所有元素按行顺序依次排成一列得到的.例如:⎥⎦⎤⎢⎣⎡=d c b a A ,则矩阵A 的拉直为T d c b a A )(,,,=→.3.2矩阵的拉直的性质矩阵的拉直具有以下性质:性质 3.2.1 设矩阵n m C A ⨯∈,矩阵n m C B ⨯∈,k 和l 是常数,则)(lB kA +=→→+B l A k .证明:略.性质3.2.2 设n m ij t a t A ⨯=))(()(,则dtt dA )(=dt d)(t A . 证明:左边==))((dtt dA vet ij a vet ((′)))(n m t ⨯ = [(a 11′(t ),…,a n 1′(t ),a 21′(t ),…,a n 2′(t ),…,a 1m ′(t ),…,a mn ′(t ) ]T =[(a 11(t ),…,a n 1(t ),a 21(t ),…,a n 2(t ),…,a 1m (t ),…,a mn (t ) )T ]′ = ))](([t A vet ′=))](([t A vec dtd=右边,得证. 性质 3.2.3设矩阵n m C A ⨯∈,矩阵p n C X ⨯∈,矩阵q p C B ⨯∈,则AXB →⊗=X B A T)(.证明:设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,T n x x X )(1,, =→,其中,T i x 是X 的第i 行=i (1,2,…,)n ,则⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=B x a x a B x a x a AXB T n mn T m Tn n T )()(111111 ,⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=→n x x X 1 所以AXB T Tn mn T m T n n T B x a x a B x a x a ])()[(111111++++= ,, →⊗=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=X B A x x B a B a B a B a x a x a B x a x a B n T mn T m T n T n mn m T n n T )()()()()(11111111111 得证. 推论3.2.4 设矩阵m m C A ⨯∈,矩阵n m C X ⨯∈,矩阵n n C B ⨯∈,则有1.AX →⊗=X I A n )( 2.XB →⊗=X B I Tm )(.3(AX +XB )→⊗+⊗=X B I I A Tm n )(.第四章 矩阵的Kronecker 积与矩阵方程4.1矩阵的Kronecker 积与Lyapunov 矩阵方程设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,矩阵n m C F ⨯∈,解Lyapunov 矩阵方程: AX+XB=F .第一步:将方程两边拉直,由推论3.2.4可得:→→=⊗+⊗C X B I I A Tm n )(. (4.1) 第二步:判断是否有解,根据线性方程组是否有解的判别条件可得:矩阵方程(4.1)有解的充要条件是:Tm n B I I A rank ⊗+⊗(┊)()T m n B I I A rank C ⊗+⊗=→,:有唯一解的充要条件是det(A ⊗I n + I m ⊗B T )≠0,即A 和(-B )没有公共的特征值或者说A 和B 无互为相反数的特征值.例4.1 分别在下2列条件下解矩阵方程AX+XB=C.(1) ⎥⎦⎤⎢⎣⎡-=0112A ,⎥⎦⎤⎢⎣⎡=42-1-3B ,⎥⎦⎤⎢⎣⎡--=1081710C (2) ⎥⎦⎤⎢⎣⎡=3201A ,⎥⎦⎤⎢⎣⎡--=1052B ,⎥⎦⎤⎢⎣⎡--=11353C 解:(1) 首先计算A 和B 的特征值,解0=-A I λ得:121==λλ,解0=-B I μ得:5221==μμ,.观察有无互为相反数的特征值发现,A 和B 没有互为相反数的特征值,所以矩阵方程有唯一解. 将矩阵方程两边拉直,得到:→→=⊗+⊗C X B I I A Tm n )(. (4.1)设⎥⎦⎤⎢⎣⎡=4321x x x x X ,计算⎥⎦⎤⎢⎣⎡--=4123TB ,将A ,T B ,X ,C 代入(4.1)得: ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡--⊗⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⊗⎥⎦⎤⎢⎣⎡-108171041231001100101124321x x x x ,计算得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------108171041102301106101254321x x x x , 根据矩阵的乘法的定义可以求得:21314321-===-=x x x x ,,,. 故矩阵方程AX+XB=C 的唯一解为:⎥⎦⎤⎢⎣⎡--=2131X . (2) 同样先计算A 和B 的特征值,解0=-A I λ得:3121==λλ,, 解0=-B I μ得:1221-==μμ,.通过观察可知:021=+μλ. 一所以矩阵方程的解不唯,即存在通解. 将矩阵方程两边拉直,得到:→→=⊗+⊗C X B I I A Tm n )(. (4.1)设⎥⎦⎤⎢⎣⎡=4321x x x xX ,计算⎥⎦⎤⎢⎣⎡--=1502TB ,将A ,T B ,X ,C 代入(4.1)得: ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡--⊗⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⊗⎥⎦⎤⎢⎣⎡1135315021001100132014321x x x x , - 计算得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--113532520050200050034321x x x x ,根据矩阵的乘法的定义可以求得:c x x c x x -=-===3114321,,,. 故矩阵方程AX+XB=C 的通解为:⎥⎦⎤⎢⎣⎡--=c c X 311(c 为任意常数).4.2矩阵的Kronecker 积与一般线性矩阵方程设矩阵n m k C A ⨯∈,矩阵q p C B ⨯∈,矩阵q m C F ⨯=,解一般线性矩阵方程:F XB Ark k k=∑=1(r = 1,2,…).第一步,将矩阵方程两边拉直,由性质3.2.3可以得到:∑=→→=⊗rk T kkF X B A1)][(. (4.2)第二步:判断是否有解,根据线性方程组是否有解的判别条件可得:矩阵方程(4.2)有解的充要条件是:∑⊗)((Tkk B A rank ┊))(()1∑=→⊗=rk Tkk B A rank F . 即∑=⊗rk Tkk B A 1)(的所有特征值均不为0. 例4.2 设A 和C 都是n ⨯n 矩阵,A 的特征值λi (i=0,1,2,…,n )R ∈(实数),求证:矩阵方程C XA A AXA X =++22有唯一解.证明:将两边方程拉直得到:→→=⊗+⊗+⊗C X A A A A I I T T n n ])([(22,化简得到:→→=⊗+⊗+C X A A A A I TTn ])()([22.由定义3.1可知:T A A ⊗的2n 个特征值是=j i j i ,(λλ0,1,2,…,n ). 故:2)()(2T T n A A A A I ⊗+⊗+的2n 个特征值是:22)21(43)()(1j i j i j i λλλλλλ++=++>00(=j i ,,1,2,…,n ). 即2)()(2T T n A A A A I ⊗+⊗+是可逆的,由唯一解的判断方法可知:矩阵方程C XA A AXA X =++22有唯一解.例4.3 在下列条件下解矩阵方程C XB A XB A =+2211.已知:⎥⎦⎤⎢⎣⎡-=20311A ,⎥⎦⎤⎢⎣⎡-=13101B ,⎥⎦⎤⎢⎣⎡-=11022A ,⎥⎦⎤⎢⎣⎡-=01232B ,⎥⎦⎤⎢⎣⎡--=48213C . 解:将矩阵方程两边拉直得到:→→=⊗+⊗C X B A B A T T)(2211. (4.3)*设⎥⎦⎤⎢⎣⎡=4321x x x xX ,计算⎥⎦⎤⎢⎣⎡-=11301T B 和 ⎥⎦⎤⎢⎣⎡-=02132TB 代入(4.3)*得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡-⊗⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-⊗⎥⎦⎤⎢⎣⎡-4821302131102113020314321x x x x .计算化简得:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------4821320027313331390564321x x x x . 根据矩阵的乘法的定义可以求得:10214321===-=x x x x ,,,.计算T T B A B A rank 2211(⊗+⊗┊4)()2211=⊗+⊗=TT B A B A rank C , 所以方程有唯一解:⎥⎦⎤⎢⎣⎡-=1021X . 4.3矩阵的Kronecker 积与矩阵微分方程设m m C A ⨯∈矩阵,n n C B ⨯∈矩阵,n m C t X ⨯∈)(,求下列矩阵微分方程初值问题的解:⎪⎩⎪⎨⎧=+=0)0()()()(X X B t X t AX dt t dX (4.3)引理:设m m C A ⨯∈矩阵A ,矩阵n m C B ⨯∈,则n A I A I e e n ⊗=⊗,B m B I e I e m ⊗=⊗. 证明:因为性质1.2.5可得:∑∑∞=∞=⊗⊗=⊗=11)(!1)(!1k k k k kI A I A k I A k enn A k kI e I A k ⊗=⊗=∑∞=1)!1(. 同理可证:B m B I e I e m ⊗=⊗.将矩阵微分方程(4.3)两边拉直,由推论3.2.4可以得到:⎪⎩⎪⎨⎧=⊗+⊗=→0)0()()()(X X t X B I I A dt t X d T m n (4.4)由引理可得:T t B At tB AtB I I A t TT m n e X e X ee X et X )()()(000)(=⊗==→→⊗+⊗,又因为∑∑∞=∞====11!1))(!1()(k Bt k k T k k k T Tt B e t B k t B k eT ,故Bt At e X e t X 0)(= (4.5) 这就是微分方程(4.3)的解.例4.4 求解下列矩阵微分方程的初值问题:⎪⎩⎪⎨⎧=+=0)0()()()(X X B t X t AX dt t dX (4.6)已知:⎥⎦⎤⎢⎣⎡=0011A ,⎥⎦⎤⎢⎣⎡-=0011B ,⎥⎦⎤⎢⎣⎡=10010X . 解:可计算得到:⎥⎦⎤⎢⎣⎡-=101t tAte e e,⎥⎦⎤⎢⎣⎡-=101t t Bte e e .由(4.5)式可以得到: ⎥⎦⎤⎢⎣⎡--==10)1()(220t tBtAt e e eX e t X . 即(4.6)的解为⎥⎦⎤⎢⎣⎡--=10)1()(22t te e t X . 通过本章的学习,我们知道矩阵的Kronecker 积在解矩阵方程领域有很大的作用,利用Kronecker 积的性质,我们可以解决Lyapunov 矩阵方程,一般矩阵方程,矩阵微分方程的初值问题等问题.参考文献[1]矩阵论简明教程(第三版).徐仲等编.北京:科学出版社.2014.1.[2]矩阵论教程(第2版).张绍飞,赵迪编.北京:机械工业出版社.2012.5.[3]矩阵论引论(第2版).陈祖明,周家胜编.北京:北京航空航天大学出版社.2012.10.[4]矩阵论十讲.李乔,张晓东编.合肥:中国科学技术大学出版社.2015.3.[5]矩阵理论及方法.谢冬秀,雷纪刚,陈桂芝编.北京:科学出版社.2012.[6]H-矩阵类的理论及应用.徐仲等编.北京:科学出版社.2013.[7]高等代数教程(上).王萼芳编.北京:清华大学出版社.1997(2008重印).[8]常微分方程(第二版).东北师范大学微分方程教研室.北京:高等教育出版社.2005.4(2012.12重印).[9]矩阵分析与应用(第2版).张贤达编.北京:清华大学出版社.2013(2014.6重印).[10]线性代数及其应用.毛立新,咸美新编.北京:高等教育出版社.2015.8.[11]线性代数(第2版).钟玉泉,周建编.北京:科学出版社.2015.1.[12]矩阵理论与方法(第2版).吴昌悫,魏洪增编.北京:电子工业出版社.2013.8.[13]线性代数学习指导.赵春燕,单净,王麟编.哈尔滨:哈尔滨工程大学出版社.2012.2.[14]矩阵论.张凯院等编.北京:科学出版社.2013.[15]矩阵论导教·导学·导考.张凯院,徐仲编.西安:西北工业大学出版社.2014.8.[16]矩阵函数与矩阵方程.柏兆俊,高卫国,苏仰锋编.北京:高等教育出版社.2015.5.[17]矩阵分析.姜志侠,孟品超,李延忠编.北京:清华大学出版社.2015.[18]矩阵论札论.梁昌洪编.北京:科学出版社.2014.[19]线性代数及其应用.马新顺,王涛,郭燕编.北京:高等教育出版社.2014.7.[20]矩阵论引论.田振际,王永铎,吴德军编.北京:科学出版社.2013.[21]线性代数及其应用(第2版).河北农业大学理学院编.北京:高等教育出版社.2006.11.(2015.2重印).[22]线性代数及其应用.王坤龙编.北京:电子工业出版社.2014.10.[23]线性代数(第2版).许峰,范爱华编.合肥:中国科学技术大学出版社.2013.4.[24]线性代数及其应用.俞方元编.上海:同济大学出版社.2014.8.[25]线性代数学习指导.谢政,陈挚编.北京:清华大学出版社.2012.10.[26]高等线性代数学.黎景辉,白正简,周国晖编.北京:高等教育出版社.2014.9.[27]线性代数讲义.江惠坤,邵荣,范红军编.北京:科学出版社.2013.[28]线性代数.贾屹峰编.上海:上海交通大学出版社.2012.[29]线性代数.侯亚君,艾玲,沙萍,林洪娟编.北京:机械工业出版社.2012.1(2012.7重印).[30]线性代数.郝秀敏,姜庆华编.北京:经济科学出版社.2013.7.[31]线性代数.韩旸,王静宇,周莉编.北京:化学工业出版社.2013.8.[32]线性代数重点难点考点辅导与精析.高淑萍,张剑湖编.西安:西北工业大学出版社.2014.5.[33]线性代数.傅媛编.武汉:武汉大学出版社.2013.2(2013.11重印).[34]跟我学线性代数:导学与习题精解.董晓波编.北京:机械工业出版社.2014.1.[35]线性代数同步学习辅导.陈绍林,唐道远编.北京:科学出版社,2014.7.[36]线性代数及应用.刘三明编.南京:南京大学出版社.2012.8.[37]线性代数.谭福锦,黎进香编.北京.人民邮电出版社.2012.8.[38]工程数学.线性代数(第6版).同济大学数学系编.北京:高等教育出版社.2014.6.[39]矩阵分析与计算.李继根,张新发编.武汉:武汉大学出版社.2013.10.[40]矩阵计算的理论与方法.徐树方编.北京:北京大学出版社.1995.8.[41]矩阵分析及其应用.曾祥金,吴华安编.武汉:武汉大学出版社.2007.8.[42]矩阵理论与应用.张跃辉编.北京:科学出版社.2011.8.致谢通过一个月来不断的努力,终于完成了这篇毕业论文。

kronecker积和张量积

kronecker积和张量积

kronecker积和张量积Kronecker积和张量积是线性代数中重要的概念,它们在矩阵和向量运算中起着关键的作用。

本文将介绍Kronecker积和张量积的定义、性质以及它们在实际问题中的应用。

一、Kronecker积的定义和性质Kronecker积是两个矩阵的一种运算,它的定义如下:设A是m×n 的矩阵,B是p×q的矩阵,则A和B的Kronecker积记作A⊗B,它是一个mp×nq的矩阵,其中的每个元素都是由A和B对应位置的元素相乘得到的。

Kronecker积具有以下性质:1. 结合律:(A⊗B)⊗C = A⊗(B⊗C),对于任意的矩阵A、B和C成立。

2. 分配律:(A+B)⊗C = A⊗C + B⊗C,对于任意的矩阵A、B和C 成立。

3. 乘法结合律:(kA)⊗B = A⊗(kB) = k(A⊗B),其中k是一个标量。

4. 转置性质:(A⊗B)ᵀ = Aᵀ⊗Bᵀ,其中A和B分别是矩阵A和B的转置。

Kronecker积在矩阵运算中有广泛的应用,例如在图像处理中,可以利用Kronecker积对图像进行缩放、旋转等操作。

此外,在量子力学中,Kronecker积也被用来描述多粒子系统的态空间。

二、张量积的定义和性质张量积是向量空间中的一种运算,它的定义如下:设V和W分别是两个向量空间,v是V中的向量,w是W中的向量,则v和w的张量积记作v⊗w,它是一个新的向量,它的维度是V和W的维度的乘积。

张量积具有以下性质:1. 结合律:(v⊗w)⊗u = v⊗(w⊗u),对于任意的向量v、w和u成立。

2. 分配律:(v+w)⊗u = v⊗u + w⊗u,对于任意的向量v、w和u成立。

3. 乘法结合律:(kv)⊗w = v⊗(kw) = k(v⊗w),其中k是一个标量。

4. 转置性质:(v⊗w)ᵀ = vᵀ⊗wᵀ,其中v和w分别是向量v和w的转置。

张量积在量子力学中有重要的应用,它被用来描述多粒子系统的态空间。

克罗内克积的特征值

克罗内克积的特征值

克罗内克积的特征值克罗内克积(Kronecker product)是一种用于矩阵计算的运算符号,其运算结果为两个矩阵的逐元素乘积。

在数学中,克罗内克积的特征值问题也是一个重要的研究方向。

本文将从定义、性质、计算方法以及应用等方面进行详细阐述,全文约1200字以上。

一、克罗内克积的定义及性质C(i,j)=A(i,j)·B其中,A(i,j)表示矩阵A中的第i行第j列元素,B为任意标量。

1. 尺寸性质:若A为m×n矩阵,B为p×q矩阵,则A ⊗ B为mp×nq矩阵。

2.线性性质:对于任意标量α和β,有(αA⊗B+βC⊗D)=α(A⊗B)+β(C⊗D)。

3.结合律:(A⊗B)⊗C=A⊗(B⊗C)。

4.转置性质:(A⊗B)T=AT⊗BT。

5.特殊性质:若A、B都为对角矩阵,则A⊗B也是对角矩阵。

二、克罗内克积的计算方法1.直接计算法:根据克罗内克积的定义,直接将两个矩阵的对应元素相乘得到新的矩阵。

这种方法适用于小规模矩阵的运算,但对于大规模矩阵的计算会变得非常复杂和低效。

2.分块矩阵计算法:将大规模矩阵拆分为若干个较小的子矩阵,然后利用子矩阵之间的克罗内克积性质进行计算。

这种方法能够有效地减少计算量和运算时间,适用于大规模矩阵的计算。

三、克罗内克积的特征值及应用1.控制论中的应用:在系统控制领域,经常需要分析和设计多变量系统的特征值,因为特征值与系统的稳定性和动态性能相关。

通过克罗内克积可以将多变量系统的特征值问题转化为单变量系统的特征值问题,从而简化了分析和设计过程。

2.信号处理中的应用:克罗内克积被广泛应用于信号处理中的滤波器设计、频谱分析等方面。

通过构造合适的克罗内克积矩阵,可以实现对信号的增强、去噪和谱密度估计等操作。

3.图像处理中的应用:图像是二维数据,通过克罗内克积可以将图像的空间域和频域分析相结合。

克罗内克积能够实现图像的多尺度分析、纹理合成和图像压缩等功能。

kronecker运算

kronecker运算

kronecker运算(最新版)目录1.Kronecker 运算的定义和符号2.Kronecker 运算的性质3.Kronecker 运算的应用4.Kronecker 运算的示例正文Kronecker 运算是一种矩阵运算,它是由德国数学家 Kronecker 发明的,用来处理矩阵的特殊运算。

Kronecker 运算的定义是:给定两个矩阵 A 和 B,它们的 Kronecker 运算结果是一个新的矩阵 C,其中 C 的元素是 A 和 B 的对应行和列的乘积之和。

Kronecker 运算用符号“⊕”表示。

例如,给定矩阵 A = [[1, 2], [3, 4]] 和矩阵 B = [[a, b], [c, d]],则矩阵 A 和 B 的 Kronecker 运算结果 C 为:C = A ⊕ B = [[(1*a + 3*c), (1*b + 3*d)], [(2*a + 4*c), (2*b + 4*d)]]Kronecker 运算有很多有用的性质。

首先,它满足结合律,即 (A ⊕B) ⊕ C = A ⊕ (B ⊕ C)。

其次,Kronecker 运算满足分配律,即 A ⊕(B + C) = A ⊕ B + A ⊕ C。

此外,Kronecker 运算还满足矩阵乘法的一些基本性质,如行列式、秩、逆等的保持。

Kronecker 运算在很多领域都有应用,如线性代数、概率论、信号处理等。

例如,在信号处理中,Kronecker 运算常用于构造线性时不变系统(LTI)的特性矩阵,从而分析系统的稳定性和因果性。

在机器学习中,Kronecker 运算也常用于计算两个矩阵的相似度,或者用于特征提取和降维等任务。

kronecker积的行列式

kronecker积的行列式

kronecker积的行列式摘要:1.引言2.Kronecker 积的定义3.Kronecker 积的性质4.Kronecker 积的行列式5.应用与实际意义6.总结正文:在线性代数中,我们经常会遇到矩阵的运算,其中一个重要的概念就是Kronecker 积。

Kronecker 积在许多数学和工程问题中都有广泛的应用,尤其是在处理张量运算和计算复杂网络的稳定性时。

本文将详细介绍Kronecker 积的定义、性质、行列式以及其在实际问题中的应用。

首先,我们来了解Kronecker 积的定义。

给定两个矩阵A 和B,Kronecker 积记作AB,是一个新的矩阵,其元素为A 和B 对应元素的乘积。

具体地,设A = [a11, a12, ..., a1n]、B = [b11, b21, ..., bm1],那么AB = [a11b11, a11b21, ..., a1nbm1]。

接着,我们来看Kronecker 积的一些性质。

首先,Kronecker 积满足交换律,即AB = BA。

其次,Kronecker 积也满足结合律,但需要注意的是,结合律仅在特定的条件下成立。

此外,Kronecker 积还满足分配律,即(A + B)C = AC + BC。

在了解了Kronecker 积的定义和性质之后,我们来探讨Kronecker 积的行列式。

设A 和B 是n 阶方阵,C = AB,那么C 的行列式|C|可以表示为n!|A|·|B|,其中|A|和|B|分别是矩阵A 和B 的行列式。

这个结论可以通过矩阵的行列式定义以及代数余子式的方法来证明。

最后,我们来看一下Kronecker 积在实际问题中的应用。

在处理张量运算时,Kronecker 积提供了一种便捷的方式,可以将张量的某些分量相互联系起来。

此外,在计算复杂网络的稳定性时,Kronecker 积可以帮助我们更好地描述网络中的元素关系,从而为分析网络的稳定性提供有力的工具。

kronecker积的行列式

kronecker积的行列式

kronecker积的行列式(实用版)目录1.Kronecker 积的定义2.Kronecker 积的行列式公式3.Kronecker 积行列式的性质4.Kronecker 积行列式的应用正文1.Kronecker 积的定义在矩阵论中,Kronecker 积是一种特殊的矩阵乘积,用于将两个矩阵的元素逐个相乘。

设矩阵 A 是一个 m×n 矩阵,矩阵 B 是一个 p×q 矩阵,则它们的 Kronecker 积是一个 mp×nq 矩阵,表示为 AB。

其中,AB 的元素由 A 的行和 B 的列对应元素相乘得到。

例如,如果 A = [[a11, a12], [a21, a22]],B = [[b11, b12], [b21, b22]],则 AB = [[a11b11, a11b12, a12b11, a12b12], [a21b21, a21b22, a22b21, a22b22]]。

2.Kronecker 积的行列式公式Kronecker 积的行列式是一个重要的概念,它可以通过简单的公式计算。

设 A 是一个 m×n 矩阵,B 是一个 p×q 矩阵,则它们的 Kronecker 积的行列式|AB| = |A|·|B|。

其中,|A|和|B|分别表示矩阵 A 和 B 的行列式。

3.Kronecker 积行列式的性质Kronecker 积行列式具有一些有趣的性质。

首先,它满足交换律,即|AB| = |BA|。

其次,Kronecker 积行列式与矩阵的乘法满足分配律,即|A(BC)| = |A|·|BC|。

此外,Kronecker 积行列式还满足行列式的性质,如行列式的某一行(或列)乘以一个常数 k,则行列式的值也要乘以 k。

4.Kronecker 积行列式的应用Kronecker 积行列式在许多领域都有广泛的应用,如线性代数、概率论、工程学等。

kronecker积a

kronecker积a

kronecker积aKronecker乘积是一种矩阵乘法,用于描述线性变换。

它是由德国数学家L. Kronecker定义的,他是直观几何学的创始人之一。

Kronecker积定义了两个n维矩阵的乘积,它的定义非常简单,但具有非常丰富的应用。

Kronecker乘积定义为:设A为m x n矩阵,B为q x r矩阵,Kronecker乘积AB为m x n x q x r矩阵,它由m x q行和n x r列构成,下标分别为(i,j,k,l),其中:AB(i,j,k,l) = A(i,j) x B(k,l)。

Kronecker乘积的主要特点是其结果并不像矩阵加法、矩阵乘法或者Kronecker标量乘积(即A x B)那样形成一个矩阵,它是一个四阶矩阵。

Kronecker乘积的最重要的应用就是它可以用来描述一个n维的线性变换的作用。

特别地,设P是一个n x n的正定矩阵,另外设f 是一个n维的向量,则作用在f上的P的线性变换T可以定义为T(f) = Pf。

这里,P是n x n矩阵,而f是n x 1列向量,两者之间的乘积可以非常直观地表示为Kronecker乘积:Pf = P x f,其中x表示Kronecker乘积。

Kronecker乘积还有另外一些应用。

例如,它可以用来表示矩阵的相似性。

设A和B是两个m x n矩阵,则两者的Kronecker乘积可以定义为:A x B = A x B,其中x表示Kronecker乘积。

若A x B = 0,则A和B互为orthogonal,也就是说A和B是相似的,可以通过某一变换转换成一致的矩阵。

Kronecker乘积还可以用来表示矩阵的可加和可乘性质。

若A和B都是m x n矩阵,则定义A+B = A + B,称为可加性。

也就是说,两个m x n矩阵可以加起来得到一个m x n矩阵。

同样地,定义A x B = A x B,称为可乘性。

也就是说,两个m x n矩阵可以乘起来得到一个m x n矩阵。

Kronecker乘积清华大学《矩阵分析》讲义张贤达

Kronecker乘积清华大学《矩阵分析》讲义张贤达

么 A ⊗ B 的 mp 个特征值为 λi µ j (i = 1,2L, m; j = 1,2.L, p).
证 由第三章§2 知,A 与 B 一定与 Jordan 标准形相似,即存在可逆矩阵 P 与 Q,使得
λ

P −1 AP
=
J1
=
O
,
0
λm
Q −1BQ
=
J2
=
µ1
O

0
µ p
即有
例 1—1

A
=
a c
b d
,
B
=
xy,
那么
A

B
=
aB cB
ax
bB dB
=
ay cx
cy
bx by dx
dy 4×2
xa
B

A
=
xA yA
=
xc
ya
yc
xb ac
xd
=
cx
yb ay
yd cy
bx dx by
dy 4×2
由这个例子可以看出, A ⊗ B 与 B ⊗ A 一般不是同一矩阵,即 Kronecker 积不满足交换律,但它们的阶
p
∑ = aij (Ai ⊗ B j )(xr ⊗ ys ) i, j=0
p
∑ = aij (Ai xr ⊗ B j ys ) i, j=0
7
p
∑ =
aij λir
µ
j s
xr

ys
i, j=0
= f (λr , µs )xr ⊗ ys
证毕
特别地,若取 f (x, y) = xy ,则有

矩阵Kronecker乘积性质及应用

矩阵Kronecker乘积性质及应用

矩阵Kronecker乘积的性质与应用摘要按照矩阵乘法的定义,我们知道要计算矩阵的乘积AB,就要求矩阵A的列数和矩阵B的行数相等,否则乘积AB是没有意义的。

那是不是两个矩阵不满足这个条件就不能计算它们的乘积呢?本文将介绍矩阵的一种特殊乘积BA ,它对矩阵的行数和列数的并没有具体的要求,它叫做矩阵的Kronecker积(也叫直积或张量积)。

本文将从矩阵的Kronecker积的定义出发,对矩阵的Kronecker 积进行介绍和必要的说明。

之后,对Kronecker积的运算规律,可逆性,秩,特征值,特征向量等性质进行了具体的探究,得出结论并加以证明。

此外,还对矩阵的拉直以及矩阵的拉直的性质进行了说明和必要的证明。

矩阵的Kronecker积是一种非常重要的矩阵乘积,它应用很广,理论方面在诸如矩阵方程的求解,矩阵微分方程的求解等矩阵理论的研究中有着广泛的应用,实际应用方面在诸如图像处理,信息处理等方面也起到重要的作用。

本文讨论矩阵的Kronecker积的性质之后还会具体介绍它在矩阵方程中的一些应用。

关键词:矩阵;Kronecker积;矩阵的拉直;矩阵方程;矩阵微分方程Properties and Applications of matrix KroneckerproductAbstractAccording to the definition of matrix multiplication, we know that to calculate the matrix product AB, requires the number of columns of the matrix A and matrix B is equal to the number of rows, otherwise the product AB makes no sense.That is not two matrices not satisfy this condition will not be able to calculate their product do?This article will describe a special matrix product BA , the number of rows and columns of a matrix and its no specific requirements, it is called the matrix Kronecker product (also called direct product or tensor product).This paper will define the matrix Kronecker product of view, the Kronecker product matrix are introduced and the necessary instructions. Thereafter, the operation rules Kronecker product, the nature of reversibility, rank, eigenvalues, eigenvectors, etc. specific inquiry, draw conclusions and to prove it. In addition, the properties of the stretch of matrix and its nature have been described and the necessary proof.Kronecker product matrix is a very important matrix product, its use is very broad, theoretical research, and other matrix solving differential equations, such as solving the matrix equation matrix theory has been widely applied in practical applications such as image processing aspects of information processing, also play an important role. After the article discusses the nature of the matrix Kronecker product it will introduce a number of specific applications in the matrix equation. Keywords:Matrix; Kronecker product; Stretch of matrix; Matrix equation; Matrix Differential Equations目录摘要 .................................................................................................................................................... Abstract ............................................................................................................................................ I 第一章 矩阵的Kronecker 积 01.1 矩阵的Kronecker 积的定义 ........................................................................................... 0 1.2 矩阵的Kronecker 积的性质 ........................................................................................... 0 第二章 Kronecker 积的有关定理及推论 ...................................................................................... 5 第三章 矩阵的拉直 . (8)3.1矩阵的拉直的定义 ............................................................................................................ 8 3.2矩阵的拉直的性质 ............................................................................................................ 8 第四章 矩阵的Kronecker 积与矩阵方程 .. (10)4.1矩阵的Kronecker 积与Lyapunov 矩阵方程 ................................................................ 10 4.2矩阵的Kronecker 积与一般线性矩阵方程 .................................................................. 12 4.3矩阵的Kronecker 积与矩阵微分方程 .......................................................................... 13 参考文献......................................................................................................................................... 15 致谢 (17)符号说明W a W a 属于集合元素nm ij a A ⨯=)( 矩阵的记法列元素的行为以n m j i a ij⨯ij A )( 列的元素行的矩阵j i AT A 的转置矩阵A H A 的共轭转置矩阵A 1-A 的逆矩阵矩阵A→A 按行拉直得到的列向量矩阵AA det 的行列式方阵AtrA 的主对角元素之和的迹,方阵A A)(A rank 的秩矩阵A)(A λ 的特征值方阵An I 阶单位矩阵nR 实数域 C 复数域n C 维复向量的全体n n m C ⨯ 复矩阵全体n m ⨯O 零矩阵B A ⊗ 的和矩阵B A Kronecker 积第一章 矩阵的Kronecker 积1.1 矩阵的Kronecker 积的定义定义1.1设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,定义A 和B 的Kronecker 积(或直积,张量积)B A ⊗为:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B a B a B a B a B a B a B a B a B a B A mn m m n n 212222111211 可以看出,其结果是一个)()(nq mp ⨯矩阵,同时也是一个以B a ij 为子块的分块矩阵.例1.1 设⎥⎦⎤⎢⎣⎡-=1201A ,[]31-=B ,则 ⎥⎦⎤⎢⎣⎡---=⎥⎦⎤⎢⎣⎡-=⊗316200312B B O BB A []⎥⎦⎤⎢⎣⎡---=-=⊗361203013A A A B 由此可见,B A ⊗与A B ⊗具有相同的阶数,但是它们并不相等,也就是说,Kronecker 积不满足交换律.1.2 矩阵的Kronecker 积的性质虽然Kronecker 积不满足交换律,但是具有以下一些性质: 性质1.2.1 设矩阵n m C A ⨯∈,矩阵q p C O ⨯∈,则O O A A O =⊗=⊗(这个O 为)()(nq mp ⨯矩阵).证明:略.性质1.2.2 设k 为任一常数,矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则)()()(B A k kB A B kA ⊗=⊗=⊗.证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n ka ka ka ka ka ka ka ka ka kA 212222111211,根据Kronecker 积的定义可以得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B ka B kA mn m m n n mn m m n n 212222111211212222111211)()()()()()()()()()(, ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗B ka B ka B ka B ka B ka B ka B ka B ka B ka kB a kB a kB a kB a kB a kB a kB a kB a kB a kB A mn m m n n mn m m n n 212222111211212222111211)()()()()()()()()()(, 即)(B A k B kA ⊗=⊗,)()(B A k kB A ⊗=⊗. 所以)()()(B A k kB A B kA ⊗=⊗=⊗.性质1.2.3 设A ,B 为同阶矩阵(同阶是为了可以做加法),则C B C A C B A ⊗+⊗=⊗+)(,B C A C B A C ⊗+⊗=+⊗)(.证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n b b b b b b b b b B 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=+mn mn m m m m n n n n b a b a b a b a b a ba b a b a b a B A221122222221211112121111,根据Kronecker 积的定义可以得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=⊗+C b a C b a C b a C b a Cb aC b a C b a C b a C b a C B A mn mn m m m m n n n n )()()()()()()()()()(221122222221211112121111(1.1)*,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗C a C a C a C a C a C a C a C a C a C A mn m m n n 212222111211 (1.2)*, ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗C b C b C b C b C b C b C b C b C b C B mn m m n n 212222111211 (1.3)*,由(1.2)*,(1.3)*得:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+++++++++=⊗C b C a C b C a C b C a C b C a C b C a C b C a C b C a C b C a C b C a C A mn mn m m m m n n n n 221122222221211112121111 (1.4)*, 由(1.1)*,(1.4)*可得:C B C A C B A ⊗+⊗=⊗+)(.同理设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n c c c c c cc c c C 212222111211可证:B C A C B A C ⊗+⊗=+⊗)(.性质1.2.4 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,矩阵s r C F ⨯∈,则)()(F B A F B A ⊗⊗=⊗⊗证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⊗⊗⊗⊗⊗⊗⊗⊗⊗=⊗⊗)()()()()()()()()()(212222111211F B a F B a F B a F B a F B a F B a F B a F B a F B a F B A mn m m n n)(212222111211F B A F B a B a B a B a B a B a B a B a B a mn m m n n ⊗⊗=⊗⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡= 得证.性质1.2.5设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,矩阵s n C F ⨯∈,矩阵t q C D ⨯∈,则)()())((BD AF D F B A ⊗=⊗⊗证明:不失一般性,设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=ns n n s s f f f f f f f f f F212222111211, 则:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⊗⊗D f D f D f D f D f Df D f D f D f B a B a B a B a B a B a B a B a B a D F B A ns n n s s mn m m n n212222111211212222111211))(()()()()()()()()()()()(112111112211211121111BD AF BD f a BD f a BD f a BD c a BD f a BD f a BD f a BD f a BD f a nk ks mk n k k mk n k k mk nk ks k n k k k n k k k n k ks k n k k k n k k k ⊗=⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎣⎡=∑∑∑∑∑∑∑∑∑=========得证.性质1.2.6 设矩阵m m C A ⨯∈可逆, 且矩阵n n C B ⨯∈可逆,则B A ⊗可逆,且111)(---⊗=⊗B A B A .证明:mn n m I I I BB AA B A B A =⊗=⊗=⊗⊗----)()())((1111(这里I n 与数的乘法中的1起到相同的作用), 故111)(---⊗=⊗B A B A .性质1.2.7 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则T T T B A B A ⊗=⊗)(H H H B A B A ⊗=⊗)(证明: ij T T T ji ij T B A B a B A ][])[(⊗==⊗ 得证.同理可证:H H H B A B A ⊗=⊗)(.性质1.2.8 两个正交(酉)矩阵的Kronecker 积还是正交(酉)矩阵. 证明:设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈.因为A ,B 都是正交(酉)矩阵,所以有m T T I A A AA ==,n T T I B B BB ==. 由性质1.2.7和性质1.2.5可得:mn n m T T T T T I I I BB AA B A B A B A B A =⊗=⊗=⊗⊗=⊗⊗))(())((. mn m n T T T T T I I I B B A A B A B A B A B A =⊗=⊗=⊗⊗=⊗⊗))(()()(.故mn T T I B A B A B A B A =⊗⊗=⊗⊗)()())((. 得证.第二章 Kronecker 积的有关定理及推论定理2.2.2 设矩阵n m C A ⨯∈,矩阵q p C B ⨯∈,则)()()(B rank A rank B A rank =⊗.证明:设rank A =r ,rank B=s ,A ,B 的标准形分别为:1111--⎥⎦⎤⎢⎣⎡=Q O O O I P A r ,1212--⎥⎦⎤⎢⎣⎡=Q O O O I P B s其中i P ,i Q =i (1,2)均为非奇异矩阵,则由性质1.2.5和1.2.6可以得:`1211211211121112121111)()()()(----------⊗⎥⎦⎤⎢⎣⎡⊗=⊗⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⊗=⎪⎪⎭⎫⎝⎛⎥⎦⎤⎢⎣⎡⊗⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡=⊗Q Q O O O I P P Q Q O O O I O O O I P P Q O O O I P Q O O O I P B A rss r s r 所以)()()(B rank A rank s r B A rank =•=⊗ 得证.定理2.2.3 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若x 是A 关于特征值λ的一个特征向量,y 是A 关于特征值μ的一个特征向量,则y x ⊗是B A ⊗对应特征值λμ的一个特征向量.证明:因为x ,y 都是非零向量,所以x ⊗y 也是非零向量,由性质1.2.2和性质1.2.5可得:)()()()()())((y x y x By Ax y x B A ⊗=⊗=⊗=⊗⊗λμμλ.所以,y x ⊗是B A ⊗对应特征值λμ的一个特征向量.推论2.2.4 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若A 的特征值是1λ,2λ,…,m λ;B 的特征值是1μ,2μ,…,n μ,则B A ⊗的特征值为t s μλ,m s ≤≤1,n t ≤≤1(k 重根算k 个).定理2.2.5 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m C x ∈和n C y ∈,若x 是A 关于特征值λ的一个特征向量,y 是A 关于特征值μ的一个特征向量,则y x ⊗是B I I A m n ⊗+⊗对应特征值μλ+的一个特征向量.证明:由性质1.2.3,性质1.2.5可以得到:)()()()())((y x y x y I Ax y x I A n n ⊗=⊗=⊗=⊗⊗λλ, )()()()())((y x y x By x I y x B I m m ⊗=⊗=⊗=⊗⊗μμ,故))(())(())(())((y x y x B I y x I A y x B I I A m n m n ⊗+=⊗⊗+⊗⊗=⊗⊗+⊗μλ.所以,y x ⊗是B I I A m n ⊗+⊗对应特征值μλ+的一个特征向量.推论2.2.6 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m s C x ∈和n t C y ∈,若1x ,2x ,…,m x 是A 关于特征值1λ,2λ,…,m λ的特征向量,1y ,2y ,…,n y 是B 关于特征值1μ,2μ,…,n μ的特征向量,则B I I A m n ⊗+⊗的n m •个特征值为{t s μλ+}.(s=1,2,…,m ;t=1,2,…,n ).例2.2 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,对于向量m i C x ∈和n j C y ∈,若1x ,2x ,…,m x 是A 关于特征值1λ,2λ,…,m λ的特征向量,1y , 2y ,…,n y 是B 关于特征值1μ,2μ,…,n μ的特征向量,证明:矩阵)()(B A I I n m ⊗-⊗的特征值是j i μλ-1,对应的特征向量为j i y x ⊗.(i=1,2,…,m ;j=1,2,…,n ).证明:由性质1.2.3和性质1.2.5可得:))(()()()()())((j i j i j j i i j i j i y x y x By Ax y x B A ⊗=⊗=⊗=⊗⊗μλμλ,故有:))(1())(()())(()())(())(())](()[(j i j i j i j i j i j i j i j i mn j i j i n m j i n m y x y x y x y x y x I y x B A y x I I y x B A I I ⊗-=⊗-⊗=⊗-⊗=⊗⊗-⊗⊗=⊗⊗-⊗μλμλμλ所以,矩阵)()(B A I I n m ⊗-⊗的特征值是j i μλ-1,对应的特征向量j i y x ⊗. 定理2.2.7 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,则trB trA B A tr •=⊗)(证明:由Kronecker 积和迹的定义可得:trBtrA trB a trB a trB a B a tr B a tr B a tr B A tr nn nn •=+++=+++=⊗ 22112211)()()()(得证.定理2.2.8 设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,则m n B A B A )(det )(det )det(=⊗证明:设A 的特征值为1λ,2λ,…,m λ,B 的特征值为1μ,2μ,…,n μ, 由推论2.2.4可得:mn m n n m n m m n n nj j m nj j mnji nj j j i B A B A )(det )(det )()()())(())(()()()()()det(21211212111112,11=====⊗∏∏∏∏===μμμλλλμλμλμλμλμλμλμλμλμλμλ得证.第三章 矩阵的拉直3.1矩阵的拉直的定义定义3.1 设n m ij a A ⨯=)(,定义矩阵A 的按行拉直为:T mn m n n a a a a a a A A vec )()(1221111,,,,,,,,, ==→即矩阵A 的拉直是一个mn 元的列向量,它是由矩阵A 所有元素按行顺序依次排成一列得到的.例如:⎥⎦⎤⎢⎣⎡=d c b a A ,则矩阵A 的拉直为T d c b a A )(,,,=→.3.2矩阵的拉直的性质矩阵的拉直具有以下性质:性质 3.2.1 设矩阵n m C A ⨯∈,矩阵n m C B ⨯∈,k 和l 是常数,则)(lB kA +=→→+B l A k .证明:略.性质3.2.2 设n m ij t a t A ⨯=))(()(,则dtt dA )(=dt d)(t A . 证明:左边==))((dtt dA vet ij a vet ((′)))(n m t ⨯ = [(a 11′(t ),…,a n 1′(t ),a 21′(t ),…,a n 2′(t ),…,a 1m ′(t ),…,a mn ′(t ) ]T =[(a 11(t ),…,a n 1(t ),a 21(t ),…,a n 2(t ),…,a 1m (t ),…,a mn (t ) )T ]′ = ))](([t A vet ′=))](([t A vec dtd=右边,得证. 性质 3.2.3设矩阵n m C A ⨯∈,矩阵p n C X ⨯∈,矩阵q p C B ⨯∈,则AXB →⊗=X B A T)(.证明:设⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=mn m m n n a a a a a aa a a A 212222111211,T n x x X )(1,, =→,其中,T i x 是X 的第i 行=i (1,2,…,)n ,则⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=B x a x a B x a x a AXB T n mn T m Tn n T )()(111111 ,⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=→n x x X 1 所以AXB T Tn mn T m T n n T B x a x a B x a x a ])()[(111111++++= ,, →⊗=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡++++=X B A x x B a B a B a B a x a x a B x a x a B n T mn T m T n T n mn m T n n T )()()()()(11111111111 得证. 推论3.2.4 设矩阵m m C A ⨯∈,矩阵n m C X ⨯∈,矩阵n n C B ⨯∈,则有1.AX →⊗=X I A n )( 2.XB →⊗=X B I Tm )(.3(AX +XB )→⊗+⊗=X B I I A Tm n )(.第四章 矩阵的Kronecker 积与矩阵方程4.1矩阵的Kronecker 积与Lyapunov 矩阵方程设矩阵m m C A ⨯∈,矩阵n n C B ⨯∈,矩阵n m C F ⨯∈,解Lyapunov 矩阵方程: AX+XB=F .第一步:将方程两边拉直,由推论3.2.4可得:→→=⊗+⊗C X B I I A Tm n )(. (4.1) 第二步:判断是否有解,根据线性方程组是否有解的判别条件可得:矩阵方程(4.1)有解的充要条件是:Tm n B I I A rank ⊗+⊗(┊)()T m n B I I A rank C ⊗+⊗=→,:有唯一解的充要条件是det(A ⊗I n + I m ⊗B T )≠0,即A 和(-B )没有公共的特征值或者说A 和B 无互为相反数的特征值.例4.1 分别在下2列条件下解矩阵方程AX+XB=C.(1) ⎥⎦⎤⎢⎣⎡-=0112A ,⎥⎦⎤⎢⎣⎡=42-1-3B ,⎥⎦⎤⎢⎣⎡--=1081710C (2) ⎥⎦⎤⎢⎣⎡=3201A ,⎥⎦⎤⎢⎣⎡--=1052B ,⎥⎦⎤⎢⎣⎡--=11353C 解:(1) 首先计算A 和B 的特征值,解0=-A I λ得:121==λλ,解0=-B I μ得:5221==μμ,.观察有无互为相反数的特征值发现,A 和B 没有互为相反数的特征值,所以矩阵方程有唯一解. 将矩阵方程两边拉直,得到:→→=⊗+⊗C X B I I A Tm n )(. (4.1)设⎥⎦⎤⎢⎣⎡=4321x x x x X ,计算⎥⎦⎤⎢⎣⎡--=4123TB ,将A ,T B ,X ,C 代入(4.1)得: ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡--⊗⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⊗⎥⎦⎤⎢⎣⎡-108171041231001100101124321x x x x ,计算得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------108171041102301106101254321x x x x , 根据矩阵的乘法的定义可以求得:21314321-===-=x x x x ,,,. 故矩阵方程AX+XB=C 的唯一解为:⎥⎦⎤⎢⎣⎡--=2131X . (2) 同样先计算A 和B 的特征值,解0=-A I λ得:3121==λλ,, 解0=-B I μ得:1221-==μμ,.通过观察可知:021=+μλ. 一所以矩阵方程的解不唯,即存在通解. 将矩阵方程两边拉直,得到:→→=⊗+⊗C X B I I A Tm n )(. (4.1)设⎥⎦⎤⎢⎣⎡=4321x x x xX ,计算⎥⎦⎤⎢⎣⎡--=1502TB ,将A ,T B ,X ,C 代入(4.1)得: ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡--⊗⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⊗⎥⎦⎤⎢⎣⎡1135315021001100132014321x x x x , - 计算得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--113532520050200050034321x x x x ,根据矩阵的乘法的定义可以求得:c x x c x x -=-===3114321,,,. 故矩阵方程AX+XB=C 的通解为:⎥⎦⎤⎢⎣⎡--=c c X 311(c 为任意常数).4.2矩阵的Kronecker 积与一般线性矩阵方程设矩阵n m k C A ⨯∈,矩阵q p C B ⨯∈,矩阵q m C F ⨯=,解一般线性矩阵方程:F XB Ark k k=∑=1(r = 1,2,…).第一步,将矩阵方程两边拉直,由性质3.2.3可以得到:∑=→→=⊗rk T kkF X B A1)][(. (4.2)第二步:判断是否有解,根据线性方程组是否有解的判别条件可得:矩阵方程(4.2)有解的充要条件是:∑⊗)((Tkk B A rank ┊))(()1∑=→⊗=rk Tkk B A rank F . 即∑=⊗rk Tkk B A 1)(的所有特征值均不为0. 例4.2 设A 和C 都是n ⨯n 矩阵,A 的特征值λi (i=0,1,2,…,n )R ∈(实数),求证:矩阵方程C XA A AXA X =++22有唯一解.证明:将两边方程拉直得到:→→=⊗+⊗+⊗C X A A A A I I T T n n ])([(22,化简得到:→→=⊗+⊗+C X A A A A I TTn ])()([22.由定义3.1可知:T A A ⊗的2n 个特征值是=j i j i ,(λλ0,1,2,…,n ). 故:2)()(2T T n A A A A I ⊗+⊗+的2n 个特征值是:22)21(43)()(1j i j i j i λλλλλλ++=++>00(=j i ,,1,2,…,n ). 即2)()(2T T n A A A A I ⊗+⊗+是可逆的,由唯一解的判断方法可知:矩阵方程C XA A AXA X =++22有唯一解.例4.3 在下列条件下解矩阵方程C XB A XB A =+2211.已知:⎥⎦⎤⎢⎣⎡-=20311A ,⎥⎦⎤⎢⎣⎡-=13101B ,⎥⎦⎤⎢⎣⎡-=11022A ,⎥⎦⎤⎢⎣⎡-=01232B ,⎥⎦⎤⎢⎣⎡--=48213C . 解:将矩阵方程两边拉直得到:→→=⊗+⊗C X B A B A T T)(2211. (4.3)*设⎥⎦⎤⎢⎣⎡=4321x x x xX ,计算⎥⎦⎤⎢⎣⎡-=11301T B 和 ⎥⎦⎤⎢⎣⎡-=02132TB 代入(4.3)*得到:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡-⊗⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-⊗⎥⎦⎤⎢⎣⎡-4821302131102113020314321x x x x .计算化简得:⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------4821320027313331390564321x x x x . 根据矩阵的乘法的定义可以求得:10214321===-=x x x x ,,,.计算T T B A B A rank 2211(⊗+⊗┊4)()2211=⊗+⊗=TT B A B A rank C , 所以方程有唯一解:⎥⎦⎤⎢⎣⎡-=1021X . 4.3矩阵的Kronecker 积与矩阵微分方程设m m C A ⨯∈矩阵,n n C B ⨯∈矩阵,n m C t X ⨯∈)(,求下列矩阵微分方程初值问题的解:⎪⎩⎪⎨⎧=+=0)0()()()(X X B t X t AX dt t dX (4.3)引理:设m m C A ⨯∈矩阵A ,矩阵n m C B ⨯∈,则n A I A I e e n ⊗=⊗,B m B I e I e m ⊗=⊗. 证明:因为性质1.2.5可得:∑∑∞=∞=⊗⊗=⊗=11)(!1)(!1k k k k kI A I A k I A k enn A k kI e I A k ⊗=⊗=∑∞=1)!1(. 同理可证:B m B I e I e m ⊗=⊗.将矩阵微分方程(4.3)两边拉直,由推论3.2.4可以得到:⎪⎩⎪⎨⎧=⊗+⊗=→0)0()()()(X X t X B I I A dt t X d T m n (4.4)由引理可得:T t B At tB AtB I I A t TT m n e X e X ee X et X )()()(000)(=⊗==→→⊗+⊗,又因为∑∑∞=∞====11!1))(!1()(k Bt k k T k k k T Tt B e t B k t B k eT ,故Bt At e X e t X 0)(= (4.5) 这就是微分方程(4.3)的解.例4.4 求解下列矩阵微分方程的初值问题:⎪⎩⎪⎨⎧=+=0)0()()()(X X B t X t AX dt t dX (4.6)已知:⎥⎦⎤⎢⎣⎡=0011A ,⎥⎦⎤⎢⎣⎡-=0011B ,⎥⎦⎤⎢⎣⎡=10010X . 解:可计算得到:⎥⎦⎤⎢⎣⎡-=101t tAte e e,⎥⎦⎤⎢⎣⎡-=101t t Bte e e .由(4.5)式可以得到: ⎥⎦⎤⎢⎣⎡--==10)1()(220t tBtAt e e eX e t X . 即(4.6)的解为⎥⎦⎤⎢⎣⎡--=10)1()(22t te e t X . 通过本章的学习,我们知道矩阵的Kronecker 积在解矩阵方程领域有很大的作用,利用Kronecker 积的性质,我们可以解决Lyapunov 矩阵方程,一般矩阵方程,矩阵微分方程的初值问题等问题.参考文献[1]矩阵论简明教程(第三版).徐仲等编.北京:科学出版社.2014.1.[2]矩阵论教程(第2版).张绍飞,赵迪编.北京:机械工业出版社.2012.5.[3]矩阵论引论(第2版).陈祖明,周家胜编.北京:北京航空航天大学出版社.2012.10.[4]矩阵论十讲.李乔,张晓东编.合肥:中国科学技术大学出版社.2015.3.[5]矩阵理论及方法.谢冬秀,雷纪刚,陈桂芝编.北京:科学出版社.2012.[6]H-矩阵类的理论及应用.徐仲等编.北京:科学出版社.2013.[7]高等代数教程(上).王萼芳编.北京:清华大学出版社.1997(2008重印).[8]常微分方程(第二版).东北师范大学微分方程教研室.北京:高等教育出版社.2005.4(2012.12重印).[9]矩阵分析与应用(第2版).张贤达编.北京:清华大学出版社.2013(2014.6重印).[10]线性代数及其应用.毛立新,咸美新编.北京:高等教育出版社.2015.8.[11]线性代数(第2版).钟玉泉,周建编.北京:科学出版社.2015.1.[12]矩阵理论与方法(第2版).吴昌悫,魏洪增编.北京:电子工业出版社.2013.8.[13]线性代数学习指导.赵春燕,单净,王麟编.哈尔滨:哈尔滨工程大学出版社.2012.2.[14]矩阵论.张凯院等编.北京:科学出版社.2013.[15]矩阵论导教·导学·导考.张凯院,徐仲编.西安:西北工业大学出版社.2014.8.[16]矩阵函数与矩阵方程.柏兆俊,高卫国,苏仰锋编.北京:高等教育出版社.2015.5.[17]矩阵分析.姜志侠,孟品超,李延忠编.北京:清华大学出版社.2015.[18]矩阵论札论.梁昌洪编.北京:科学出版社.2014.[19]线性代数及其应用.马新顺,王涛,郭燕编.北京:高等教育出版社.2014.7.[20]矩阵论引论.田振际,王永铎,吴德军编.北京:科学出版社.2013.[21]线性代数及其应用(第2版).河北农业大学理学院编.北京:高等教育出版社.2006.11.(2015.2重印).[22]线性代数及其应用.王坤龙编.北京:电子工业出版社.2014.10.[23]线性代数(第2版).许峰,范爱华编.合肥:中国科学技术大学出版社.2013.4.[24]线性代数及其应用.俞方元编.上海:同济大学出版社.2014.8.[25]线性代数学习指导.谢政,陈挚编.北京:清华大学出版社.2012.10.[26]高等线性代数学.黎景辉,白正简,周国晖编.北京:高等教育出版社.2014.9.[27]线性代数讲义.江惠坤,邵荣,范红军编.北京:科学出版社.2013.[28]线性代数.贾屹峰编.上海:上海交通大学出版社.2012.[29]线性代数.侯亚君,艾玲,沙萍,林洪娟编.北京:机械工业出版社.2012.1(2012.7重印).[30]线性代数.郝秀敏,姜庆华编.北京:经济科学出版社.2013.7.[31]线性代数.韩旸,王静宇,周莉编.北京:化学工业出版社.2013.8.[32]线性代数重点难点考点辅导与精析.高淑萍,张剑湖编.西安:西北工业大学出版社.2014.5.[33]线性代数.傅媛编.武汉:武汉大学出版社.2013.2(2013.11重印).[34]跟我学线性代数:导学与习题精解.董晓波编.北京:机械工业出版社.2014.1.[35]线性代数同步学习辅导.陈绍林,唐道远编.北京:科学出版社,2014.7.[36]线性代数及应用.刘三明编.南京:南京大学出版社.2012.8.[37]线性代数.谭福锦,黎进香编.北京.人民邮电出版社.2012.8.[38]工程数学.线性代数(第6版).同济大学数学系编.北京:高等教育出版社.2014.6.[39]矩阵分析与计算.李继根,张新发编.武汉:武汉大学出版社.2013.10.[40]矩阵计算的理论与方法.徐树方编.北京:北京大学出版社.1995.8.[41]矩阵分析及其应用.曾祥金,吴华安编.武汉:武汉大学出版社.2007.8.[42]矩阵理论与应用.张跃辉编.北京:科学出版社.2011.8.致谢通过一个月来不断的努力,终于完成了这篇毕业论文。

特殊矩阵的kronecker积

特殊矩阵的kronecker积

特殊矩阵的kronecker积Kronecker积(也称为Kronecker乘积或Kronecker叉积)是一种有关数学矩阵乘法的数学概念,由意大利数学家L. Kronecker于1897年提出。

它要求将两个矩阵的每一个元素相乘,然后再将结果矩阵重新排列。

Kronecker积可以产生一系列特殊的矩阵,可以发挥重要的作用,例如,它可以帮助解决一些大型线性系统的复杂问题,是应用于线性代数和多维微积分中的基本概念。

一、Kronecker积的概念Kronecker积是一种矩阵乘法,它要求将矩阵A和矩阵B的每一个元素都相乘,然后将乘积的结果保存在一个新的矩阵中,新矩阵的大小是AB的大小。

它也可以表示为:把矩阵A和矩阵B的每一个元素都带入到AB乘积的公式中,而不是把它们的乘积带入,最后再将乘积的结果保存在新矩阵中。

二、Kronecker积的运算下面介绍Kronecker积的运算要点:1、首先将A和B中的每一个元素都带入到AB乘积的公式中;2、然后将A和B中的每一个元素分别扩展为新的矩阵(新矩阵的大小是AB的大小);3、再把新的矩阵的每一个都相乘,并将运算的结果保存在新的矩阵中;4、最后将这个结果矩阵再重新排列(这步骤非常重要),得到最终的Kronecker积。

三、Kronecker积的应用Kronecker积可以用来指示矩阵的形状,因为它可以将复杂的矩阵拆解成多个比较简单的张成,它还可以帮助解决一些大型线性系统的复杂问题。

Kronecker积还可以根据给定的特殊矩阵生成特殊的新矩阵,这种新矩阵可以解决复杂的矩阵处理问题,此外,Kronecker积还可以在矩阵的多重积分中起到重要作用。

四、特殊矩阵的Kronecker积Kronecker积可以用来生成许多特殊的矩阵,这些特殊的矩阵可以更好地服务多维数学变换,并且可以使用Kronecker积快速地连接而不是展开。

比如,可以使用Kronecker积来计算矩阵的循环操作,如果给定两个特殊矩阵,那么它们的Kronecker积可以被用来表示相似变换(比如,线性变换或变换矩阵)。

克罗内克(Kronecker)积及其应用.pdf

克罗内克(Kronecker)积及其应用.pdf

L
a22 B L
L L
a2n B L

C
mp×nq
a m1 B
am2 B
L
amn B
为 A 的克罗内克(Kronecker)积,或称 A 与 B 的直积,或张量积,简记为 A ⊗ B = (aij B) m×n , 即 A ⊗ B
是一个 m × n 块的分块矩阵,最后是一个 mp × nq 阶的矩阵。
p
∑ f ( A; B) = aij Ai ⊗ B j iA 和 B 的特征值分别是 λ1 , λ2 L, λm 和 µ1 , µ2 ,Lµn ,它们对应的特征向量分别是
x1, x2 ,L xm 和 y1 , y2 ,L yn ,则矩阵 f ( A; B) 的特征值是 f (λr ; µs ) ,而对应 f (λr ; µs ) 的特
1
1
O
O
1
1
A1 =
0
, B1 =
0
O
0
O
0
A1 中数 1 的个数为 rank(A), B1 中数 1 的个数为 rank(B)。
由式(1—6)有
A = M −1 A1 N −1 , B = P −1B1Q −1
于是,由式(1—1)有
A ⊗ B = (M −1 A1 N −1 ) ⊗ (P −1B1Q −1 ) = (M −1 ⊗ P −1 )( A1 ⊗ B1 )(N −1 ⊗ Q −1 )
再由此种初等矩阵的性质知 PT P = I ,有
PT (A ⊗ B)P = PT (A ⊗ I n ) (I m ⊗ B)P = PT (A ⊗ I n ) PPT (I m ⊗ B)P
=( I n ⊗ A )( B ⊗ I m )

kronecker积的行列式

kronecker积的行列式

kronecker积的行列式【原创版】目录1.引言2.Kronecker 积的定义3.Kronecker 积的行列式4.应用实例5.结论正文1.引言在数学领域,行列式是一种重要的数学工具,广泛应用于线性代数、概率论、微积分等数学分支。

Kronecker 积是行列式的一种扩展,它可以用来表示两个矩阵的乘积。

本文将介绍 Kronecker 积的行列式的相关知识。

2.Kronecker 积的定义Kronecker 积,记作 AB,是由两个矩阵 A 和 B 的元素逐个相乘得到的一个新的矩阵,其元素为 aij * bkl。

其中,aij 表示矩阵 A 的第 i 行第 j 列元素,bkl 表示矩阵 B 的第 k 行第 l 列元素。

矩阵 A 和 B 的维度分别为 m×n 和 p×q,则 Kronecker 积 AB 是一个 mp×nq 矩阵。

3.Kronecker 积的行列式Kronecker 积的行列式是一个重要的数学概念,它可以通过计算矩阵A 和矩阵 B 的行列式得到。

设矩阵 A 的行列式为|A|,矩阵 B 的行列式为|B|,则 Kronecker 积 AB 的行列式为|AB| = |A| * |B|。

4.应用实例Kronecker 积的行列式在实际应用中有广泛的应用,例如在求解线性方程组、计算矩阵的秩、研究线性变换等方面都有重要的作用。

下面举一个简单的例子来说明 Kronecker 积的行列式的应用。

例:设矩阵 A = [[1, 2], [3, 4]],矩阵 B = [[5, 6], [7, 8]],求 Kronecker 积 AB 的行列式。

解:首先计算矩阵 A 和矩阵 B 的行列式,|A| = 1 * 4 - 2 * 3 = -2,|B| = 5 * 8 - 6 * 7 = 2,然后计算 Kronecker 积的行列式,|AB| = |A| * |B| = -2 * 2 = -4。

第8讲矩阵的直积及其应用

第8讲矩阵的直积及其应用

第8讲矩阵的直积及其应用内容:1.矩阵直积的定义与性质2.矩阵直积在解矩阵方程中的应用矩阵直积(Kronecker 积)在矩阵论及系统控制等工程 研究领域有十分重要的应用.运用矩阵直积运算,能够将线 性矩阵方程转化为线性代数方程组.§ 1矩阵直积的定义与性质 1.1矩阵直积定义1.1 设A=(a j )・c mn , Bwc pq ,称如下的分块积,张量积),记为A ® B . A ®B 是一个m"个块的分块矩阵, 简写为 A 二 B =(a ij B) C mp nq .显然A _ B 与Bi A 为同阶矩阵,但一般 A : B = B : A ,即矩例1.1 设 A t ;], —Jxy T 二X : y T ,称xy T 为向量x 与y 的外积.#1 -1 0 0、*1 0-1 0B =,A =2 0 1T 」 7<0 1 0T 」右 x = (X 1,X 2,…,X n )T , y = (%”2,…,y n )T • C n , 则a n Ba 12B … a 1n B矩阵B =a 21B I-a 22B … a 2n B al a m1Ba m2B …amnB为A 与B 的直积(Krionecker阵的直积不满足交换律对单位矩阵, 有 E m : E n 二 E n : E mmn ・定义1.21.2 矩阵直积的性质定理1.1 矩阵的直积具有如下基本性质:(1)k(A :B) =(kA) :B = A :(kB);(2)(A:B):C=A:(B:C);(3) A :工(B C) = A:." B A:.“ C , (B C ):." A = B :.“ A C :.“ A ;(4)(A :B)^A T:B T;(5)(A :B)H= A H:B H;(6)若A C m n B C p q,C • C n s,D C q t,则(A :B)(C :D) =(AC) :(BD),若 B 二E g , C 二E n,贝y (A :E g)(E n :D) = A _ D ;(7)若A , B均可逆,则A _ B可逆,且(A: B)"1"':B J;(8)若A和B都是对角矩阵、上(下)三角矩阵、实对称矩阵、Hermite矩阵、正交矩阵、酉矩阵,则A二B也分别是这种类型的矩阵.l定义 1.3二元复系数多项式为 f (x, y)二為cx y j,若矩阵,j=0A C m m,BC n n,则mn阶矩阵f(A,B) l八 C j A i : B j,其中A^ E m , i,j £B— E n .定理1.2l设 f (x, y) = V C ij X i y j,i,j=0lf(A,B)八• C j A,:B j, A m m 的i, j=0特征值为‘1,‘2,…,'m , B nn的特征值为」1匕,…,J,则f (代B)的全体特征值为fU j),(i =1,2/ ,m, j =1,2/ ,n).证明由Schur定理知存在酉矩阵P,Q使得% *、佔*、P H AP = '-2+=A , QH AQ =+=B1 ,I '-m丿其中A , B i为上三角矩阵,由定理 1.1知,P:Q为酉矩阵,A : B i j为上三角矩阵,贝Ul(P . Q)」f(A, B)(P _ Q)=為q(p H _ Q H)(A i - B j)(P : Q)i,j=0l l二 ' C j(P H A i P^ (Q H B j Q)二 ' C j A;:B?二f(A,BJi,j =0 i,j=0也是上三角矩阵.且f (代B)与f(A;,B i)有相同的特征值.则f(A,,B;)的对角元即为f (A,B)的全部特征值.因为勺 1 B1j* ' 个k出* \A1@ =爲B j+,,-k B1 =< 几j 2 i A j< 人kh因此,f(A;,B i)的对角元为f('「j),(i =12…,m, j =1,2,…,n).推论1.1 设A m渐的特征值为几入2,…,g , B n濒的特征值为•1匕,…C,则(1 ) A:B 的特征值为v l j , (i =1,2,…,m, j =1,2,…,n);(2 ) A:E n E m:B的mn个特征值为「和,i=1,2,…,m , j =12 ,n ;(3)det(A : B) =(det A))n (det(B))m;(4)tr(A : B) =(trA)(trB).定理1.3 设 A C m n,B C p q,贝》rank(A : B) =rank(A) rank(B).证明记rank(A)=「A , rank(B)=「B,有相应阶数的可逆矩阵PQS,T 使得PAQ=£A :L A I'SB T J] :1=B I , 1 0 0 1 0 0贝U A: B =(P J A I Q J^(S^B I T」)=(P「S」)(A I:B I)(Q‘:T‘),由S」,Q「T 1可逆,则rank(A : B)=rank(A : BJ = r A r B二rank (A) rank(B).§ 2矩阵直积在解矩阵方程中的应用2.1 矩阵的拉直定义2/ 设 A =®)乏C m妙,码=(%®,…&)丁, (i =1,2,…,n),令vec(A)=以;,称vec(A)为矩阵A的列拉直.矩阵A也可以按行拉芒n丿直为行向量,记作rvec(A),有rvec( A) = (vec(A T ))T, vec(A T) = (rvec(A))T.定理 2.1 设A c m n,B• c n P,C • C p q,贝yvec(ABC) =(C T _ A)vec(B).证明记B^bb, ,b p),C=(cpC2, ,C q),则广AB GAB C2vec(ABC) = (ABc「AB C2,…,ABc q)=lABC q而AB G = 5人6 c2i Ab2飞pi Ab p = (5 A,c2i A, ,c pi A)vec(B),c11A c21A …c p1A'_pz. c|2 A C22A c p2 A T故vec(ABC) = :::: vec(B) = (C T竖A)vec(B).fjqAGqA C pq A 』 推论 2.1 设 A E C m >m ,B E C n >n ,X E C 吶,贝U(1) vec(AX) =(En : A)vec(X); (2) vec(XB) =(B] E m )vec(X);(3)vec(AX XB)=(E n : A 〜丁 : E m )vec(X).2.2线性矩阵方程在系统控制等工程领域,经常遇到矩阵方程( Lyapunov 型方程)AX XB 二F 的求解问题,其中A C m m ,C nn ,F • C m n 为已知常数矩阵,x c mn 为未知矩阵.利用矩阵的直积和拉 直,可以给出线性矩阵方程的可解性及解法一般的线性矩阵方程可表示为A .XB 1 • A 2XB 2• A p XB p 二C ,其中A ・C mm ,B 「C nn (i =12 ,P ),C C mn 为已知常数矩阵,X C mn 未知矩阵.定理2.2 线性矩阵方程 MBr A 2XB 2A p XB p 二c 有解的充分必要条件是 rank(A) = rank(A :b),其中 A -、B 「: A ,b = vec(C),imA C mm ,B 「C nn (i =1,2' ,p),^ C m n 为已知常数矩阵,X- C mn 未知 矩阵.pp证明 7 AXB j =C 有解,=vecL A XB j )=vec(C)有解i =1i =1pp='、vec (AXBj =vec(C)有解,=' (Bj : AJvec(X) =vec(C)有解i =1i dau rank (A) = rank (A b)定理2.3 设A mm 的特征值为■1/2/ ,'m ,B n n 的特征值为 人廿…,叫,则矩阵方程 AX • XB 二F 有唯一解的充要条件是i」j =0 , (i =1,2,…,m, j =1,2,…,n),其中 A C m m, B C n n, F • C m n 为已知常数矩阵,X c mn为未矩阵.证明AX X^F 有唯一解,二vec(AX • XB)二vec(F)有唯一解二(E「A • Bj E m)vec(X)二vec(F)有唯一解= E^ A B^ Em的特征值不为零二i W =0 (i =1,2, ,m, j =1,2/ ,n)推论2.1 设A^xm的特征值为九」2,…丄m,B n述的特征值为•1,廿…,叫,则矩阵方程AX XB =0有非零解的充分必要条件是存在i 与j,使入+u j =0,(1 兰i 兰m,1 兰j 兰n).推论2.2 设A^C叹,则矩阵方程AX+XA—F有唯一解的充分必要条件是'S时必有• X /■ (A),其中-(A)为A的谱,—为的共轭复数•定理2.4 设A mm的特征值为■1,'2/' ,-m , B n n的特征值为l,…,^n ,则矩阵方程V A'XB^ F有唯一解的充分必要条件是i m1 • Jj •…(C。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

矩阵的Kronecker 积及其应用陈蔚(集美大学理学院数学系2005届,厦门 361021)[摘要] 本文主要介绍了矩阵理论中的Kronecker 积,通过对概念的引入,性质、定理的推导,简单地体现出矩阵的Kronecker 积在求解几类矩阵方程中的应用。

[关键词] Kronecker 积,特征值,拉直,1ti ii A XB F==∑矩阵方程,AX +FXB =矩阵方程,X -F AXB =矩阵方程,矩阵微分方程0、引言众所周知,我们学习到的矩阵运算中,普遍提及的均是乘积问题,两矩阵可以相乘的条件是:前面矩阵的列数必须等于后面矩阵的行数,如果不满足这个条件,则我们就无法求解这两个矩阵的乘积,但我们却可以求它们的Kronecker 积.对于矩阵的Kronecker 积问题,绝大多数人是陌生的.本文主要介绍了Kronecker 积的定义、性质、应用,让大家一起来领略这个新知识点的风采.文中所用到的符号均可从参考文献[1-11]中找到.一、 矩阵的Kronecker 积的概念[1]1.1定义 设()m n ij A a C ⨯=∈, C b B q p ij ⨯∈=)(,则称如下的分块矩阵111212122212n n m p nq m m m n B B a a a B a a a BB B A BC a a a BBB ⨯⎛⎫⎪⎪⊗=∈ ⎪⎪⎝⎭为A 与B 的Kronecker 积(也称为直积或张量积).BA ⊗是一个n m ⨯块的分块矩阵,所以上式还可以简写为B A ⊗=()ij a B .例1.1 设,,(321a a a TA =, ),(21b bB T =,求B A ⊗和A B ⊗.解 B A ⊗=()111221223132123T a B a a b a b a b a b a b a b Ba B⎛⎫⎪= ⎪⎪⎝⎭,,,,,, A B ⊗=()11121321222312Tb A b a b a b a b a b a b a b A ⎛⎫= ⎪⎝⎭,,,,,.这个例子表明,矩阵的Kronecker 积与乘积一样不满足交换律,即BA ⊗≠ AB ⊗.二、 矩阵的Kronecker 积的性质、定理及推论由定义1.1,容易证明性质2.1 )()()(kB A B kA B A k ⊗=⊗=⊗.性质2.2 设A 1与A 2为同阶矩阵,则(1)1212()A A B A B A B +=+⊗⊗⊗. (2)1212()B A A B A B A +=+⊗⊗⊗.性质2.3 (A ⊗B )⊗C =A ⊗(B ⊗C ).性质2.4 设A =)(a ij n m ⨯,B =)(b ij r l ⨯,C =)(c ij p n ⨯,D =)(d ij s r ⨯,则(B A ⊗)(D C ⊗)=AC ⊗BD .证 (B A ⊗)(D C ⊗)=()ij a B ()ij c D=1112112n m m m n a a a BBB a a a BBB ⎛⎫ ⎪ ⎪⎪⎝⎭1112112p n n np c c c DDD c c c DDD ⎛⎫⎪ ⎪⎪⎝⎭=1112111112111nn nk k k k k kp k k k nnn m k k m k k m k kp k k k a c a c a c B D B DB D a c a c a c B D B DB D ======⎛⎫⎪⎪⎪ ⎪ ⎪⎝⎭∑∑∑∑∑∑=1112111112111n n n k k k k k kp k k k n n n m k k m k k m k kp k k k a c a c a c BD BD BD a c a c a c BDBD BD ======⎛⎫⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎪⎪ ⎪⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭∑∑∑∑∑∑=BD AC ⊗.推论2.1 (1)()()1212l l A A A B B B ⊗⊗⊗⊗⊗⊗=1122l l A B A B A B ⊗⊗⊗ .(2)()()()1122l l A B A B A B ⊗⊗⊗ =()()1212l l A A A B B B ⊗ .上面两个式子只要等号右边有意义,则左边也有意义,而且两边相等. 推论2.2 若A 为m 阶矩阵,B 为n 阶矩阵,则A B ⊗=()()()()n m m n A E E BE B A E =⊗⊗⊗⊗.利用性质2.1—2.4及推论2.1,可以得到以下常用到的性质. 设A 是m 阶矩阵,B 是n 阶矩阵.性质2.5 若A 、B 都可逆,则B A ⊗也可逆,且()111A BA B---=⊗⊗.证 根据性质2.4,1111()()m n mn A B A B AA BB E E E ----===⊗⊗⊗⊗,1111()()m n mnA AB A B A B B E E E ----===⊗⊗⊗⊗,∴()111A BA B---=⊗⊗.推论2.3 若A i 均为方阵,且A i 均可逆(i =1,2,…),则()12121111i i A A A A A A ----=⊗⊗⊗⊗⊗⊗ .证 运用归纳法. 当i =2时,由性质2.5知:等式成立.设当i =k 时,()12111112k k A A A A A A ----=⊗⊗⊗⊗⊗⊗ 成立.则当i =k +1时,根据性质2.5,有:()1211k k A A A A +-⊗⊗⊗⊗ =()12111k k A A A A --+⊗⊗⊗⊗=1111121k k A A A A ----+⊗⊗⊗⊗ ,从而,等式成立.推论2.4 ()()()()DB CA D C B A 1111----⊗=⊗⊗.证 由性质2.4、2.5知: 111111()()()()C A B D C A B D ------=⊗⊗⊗⊗ =()()DB CA D B C A 111111------⊗=⊗.性质2.6 若A 、B 均为上(下)三角矩阵,则B A ⊗也是上(下)三角矩阵. 性质2.7 若A 、B 均为对角阵,则B A ⊗也是对角阵.性质2.8 若A 、B 均为对称矩阵,则B A ⊗也是对称矩阵.定义2.1 酉变换在酉空间的标准正交基下的矩阵A 称为酉矩阵,即A 满足:H HA A A A E==.性质2.9 若A 、B 均为酉矩阵,则B A ⊗也为酉矩阵.定义2.2 Hermite 变换在酉空间的标准正交基下的矩阵A 称为Hermite 矩 阵,即A 满足: H A A =.性质2.10 若A 、B 均为Hermite 矩阵,则B A ⊗也为Hermite 矩阵. 性质2.11 设A =)(a ij n m ⨯,B =)(b ij q p ⨯,则()TTTA BA B =⊗⊗,()HH HA BA B=⊗⊗.性质2.12 设A =)(a ij n m ⨯,B =)(b ij q p ⨯,则rank(B A ⊗)=rank )(A rank )(B . 证 设rank )(A =r 1,rank )(B =r 2.对矩阵A ,必存在可逆矩阵M 、N ,使得1N A MA =,其中A 1=⎪⎪⎭⎫⎝⎛0001E r.对矩阵B ,必存在可逆矩阵P 、Q ,使得1Q B PB =,其中B 1=⎪⎪⎭⎫⎝⎛0002E r.则由性质2.4知:A B ⊗= 1)(M A N ⊗1)(PB Q =()M P ⊗11()B A ⊗()N Q ⊗. 由性质2.5知:M P ⊗、Q N ⊗仍为可逆矩阵.∵矩阵乘以可逆矩阵后,其秩不变. ∴rank(B A ⊗)=rank (A 1⊗B 1)=r 1r 2= rank )(A rank )(B .[2]定理2.1设x x x n ,,,21 是n 个线性无关的m 维列向量,y y y q ,,,21 是q 个线性无关的p 维列向量,则nq 个mp 维列向量i j y x ⊗(i =1,2,…,n ;j =1,2,…, q )线性无关.反之,若向量组i j y x ⊗(i =1,2,…,n ;j =1,2,…, q )线性无关,则x x x n ,,,21 和y y y q ,,,21 均线性无关.证 令),,,(),,,(2121b b b y a a a x pj j j mj j j Tj T j ==,,A =(x x x n ,,,21 )=)(a ij n m ⨯,B=),,,21(y y y q =)(b ij q p ⨯,则有rank )(A =n , rank )(B =q .∵B A ⊗=()1111212,,,,,,,,n n n q q y y y y y y x x x x x x ⊗⊗⊗⊗⊗⊗ , ∴rank (B A ⊗)= )(A rank )(B rank =nq .又∵B A ⊗是mp ×nq 矩阵,∴B A ⊗是列满秩矩阵,即B A ⊗的列向量组(1,2,,;1,2,,)i j i n j q y x ==⊗ 是线性无关的.反之,若列向量组(1,2,,;1,2,,)i j i n j q y x ==⊗ 是线性无关的,则B A ⊗是列满秩的,∴rank(B A ⊗)=nq =rank )(A rank )(B .下证rank ()A =n ,rank )(B =q .假设rank ()A <n ,则rank )(B 必>q ,矛盾.∴有rank ()A =n . 同理,得:rank )(B =q .即A 、B 为列满秩的矩阵. ∴x x x n ,,,21 和y y y q ,,,21 是线性无关的.性质2.13 设A 为m 阶矩阵,B 为n 阶矩阵,则有B A ⊗相似于A B ⊗.三、矩阵的Kronecker 积的特征值考虑由变量x 、y 组成的复系数多项式(),0,ljiij i j fx y yc x ==∑和mn 阶矩阵(),0,li j ij i j fA B c A B ==∑⊗ 其中,A 为m 阶矩阵,B 为n 阶矩阵.例3.1 设y x x y x f 2),(+=,把),(y x f 写成:),(y x f =y x y x 2101+,于是,2(,)n f A B A E A B =+⊗⊗.特别地,若),(y x f =xy ,则有B A B A f ⊗=),(.定理3.1 设λλλm ,,,21 是m 阶矩阵A 的特征值,x x x m ,,,21 为A 的对应于λλλm ,,,21 的特征向量;μμμn ,,,21 是n 阶矩阵B 的特征值,y y y n ,,,21 是B 的对应于μμμn ,,,21 的特征向量,则mn 个数),(μλs r f (1,2,,;1,r m j == 2,…,)n 为),(B A f 的特征值,r s y x ⊗是对应于),(μλs r f 的特征向量.证 由y y x x s s s r r r B A μλ==,知:y y B x x A s is s i r i r r i μλ==,. ∴),(B A f )(r s x y ⊗=,0()l i j ij i j c A B =⊗∑)(r s x y ⊗=()B A c j i lj i ij ⊗∑=0,)(r s x y ⊗=())(0,0,y x c y B x A c s js r i r lj i ij s jr ilj i ij μλ⊗=⊗∑∑===),(μλs r f )(r s x y ⊗.推论3.1 B A ⊗的特征值是mn 个值μλs r ),,2,1;,,2,1(n j m r ==,μλs r 对应的特征向量是 r s y x ⊗ ),,2,1;,,2,1(n j m r ==.推论3.2 m n A E B E +⊗⊗的特征值是μλs r +,其对应的特征向量是r s y x ⊗ ),,2,1;,,2,1(n j m r ==.推论3.3(推论3.2的推广) ()()n m A E E B αβ+⊗⊗的特征值为μλβαs r +,其对应的特征向量为x y r s ⊗),,2,1;,,2,1(n j m r ==.类似的,()()m n A E B E αβ+⊗⊗的特征值为μλβαs r +,其对应的特征向 量为r s y x ⊗),,2,1;,,2,1(n j m r ==.注意:对矩阵m n A E B E +⊗⊗,我们将其称为矩阵A 和B 的Kronecker 和(或称为直和),记作B A ⊕.性质3.1 设A 为m 阶矩阵,特征值为λλλm ,,,21 ;B 为n 阶矩阵,特征 值为μμμn ,,,21 ,则det()(det )(det )n m A B A B ⊗=.证一 由推论3.1知:=⊗)det(B A ⎪⎭⎫⎝⎛∏=∏⎪⎭⎫ ⎝⎛∏=∏∏∏======n j j mmi n i mi n j j n i j mi nj i 111111μλμλμλ=()()()()B A mnmn mmnm n n det det 2121=μμμλλλ .证二 由性质2.4知:()()()m n A B A E B E =⊗⊗⊗,且()()det det mm B BE =⊗,又由性质2.13知:n A E ⊗相似于n E A ⊗,即()()()det det det nn n A E A E A==⊗⊗,∴()()det()det det nmA B A B ⊗=.性质3.2 设A 为m 阶矩阵,特征值为λλλm ,,,21 ;B 为n 阶矩阵,特征 值μμμn ,,,21 ,则tr ()A B ⊗=tr ()A tr ()B .证 ∵tr ⎪⎭⎫ ⎝⎛⎪⎭⎫ ⎝⎛==⊗∑∑∑∑====nj j mi i j mi nj i B A 1111)(μλμλ=tr )(A tr )(B .对于矩阵的Kronecker 积也存在幂的定义.定义3.1 记[]k A A A A =⊗⊗⊗ ,称为Kronecker 积的幂. 设A =)(a ij n m ⨯,B =)(b ij q p ⨯,则()B A AB k k k ][][][=.四、 矩阵的Kronecker 积的应用定义4.1 设A =()a ij n m ⨯,记()12,,,(1,2,,)i i mi T i i n a a a a == ,令vec()A =⎪⎪⎪⎪⎪⎭⎫⎝⎛a a a n 21,则vec()A 称为矩阵A 的列拉直(列展开).定义4.2 设A =()a ij n m ⨯,记()),,2,1(,,,,21m i a a a a in i i Ti ==令)(vec _____A ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=a a a m 21,则称)(vec _____A 为矩阵的行拉直(行展开).定理4.1 设C C C q p p n n m B X A ⨯⨯⨯∈∈∈,,,则(1)vec()AXB =()TB A ⊗vec()X .(2)__________vec ()()vec ()TAXB A B X =⊗.证(1)记()12,,,p x x x X = ,(1,2,,)n i i p x C ∈= ;()12,,,q b b b B = ,(1,2,,)pj j q b C ∈= ,则vec()AXB =1212vec(,,,)q q AXb AXb AXb AXb AXb AXb ⎛⎫ ⎪⎪= ⎪ ⎪⎝⎭. 而121212(,,,)p ii i pi i i pi AXbb b b b b b AX AX AX A A A =+++= vec()X ,∴112111222212vec()vec()()vec()p p Tq q pq A A A A AA AXB X X AA A b b b b b b AB b b b ⎛⎫⎪⎪== ⎪ ⎪⎪⎝⎭⊗.(2)设A =()a ij n m ⨯,()112212,,,,,vec TT Tn T n n X X x x x x x x x X x x ⎛⎫⎛⎫ ⎪ ⎪⎪⎪=== ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭,则)(XB A AXB ==111121121212Tjn T i i ijin Tj m m m j m n T n x B a a a a x B a a a a x B a a a a x B ⎛⎫⎛⎫ ⎪ ⎪ ⎪⎪ ⎪⎪⎪ ⎪ ⎪ ⎪⎪⎪ ⎪⎝⎭⎪⎝⎭=()()11111111()T j T j T j n n T Tj j j j j n n T Tij j ij j j n n T T m j j m j j j B a x a x B B a x a x B B a x a x B ======⎛⎫⎛⎫⎡⎤∑∑ ⎪ ⎪⎣⎦ ⎪ ⎪⎪ ⎪ ⎪ ⎪⎡⎤=∑∑ ⎪ ⎪⎣⎦ ⎪ ⎪⎪ ⎪ ⎪ ⎪⎡⎤ ⎪ ⎪∑∑⎣⎦⎝⎭⎝⎭ ,即11__________11vec ()(vec ()n T j j j n T Tij j j n Tm j j j a x B AXB X a x B A B a x B ===⎛⎫∑ ⎪ ⎪⎪⎪==∑⊗ ⎪ ⎪⎪ ⎪⎪∑⎝⎭).推论4.1 αβα=+)vec(B A )vec(A +β)vec(B . 推论4.2 )(vec vec((vec )vec(__________A A A A TT==));.推论4.3 设A 为m 阶矩阵,B 为n 阶矩阵,∈C M n m ⨯,则(1)__________vec()()vec()vec ()()vec ()n n AX X AX X A A E E ==⊗⊗,.(2))(vec ()(vec )vec()()vec(__________X XB X XB B E E B Tm n T),⊗=⊗=.(3)vec()()vec()T n m AX XB X A E B E +=+⊗⊗,__________vec ()(vec ()Tm n AX XB X A E B E +=+⊗⊗).证(1)vec()vec()n AX AXE =∴根据定理4.1知:vec()()vec()()vec()T n n AX X X A A E E ==⊗⊗ 同理可证)(vec _____AX . (2)仿(1)可证得.(3)∵)vec()vec()vec(XB AX XB AX +=+,∴根据(1)、(2)知:)vec(XB AX +=()vec()n X A E ⊗()vec()T n X B E ⊗ =()vec()T n m X A E E B +⊗⊗. 同理可证)(vec _____XB AX +.推论4.4 设C C q p n m B A ⨯⨯∈∈,,则__________vec()vec(),vec ()vec ()A B A B A B A B⊗=⊗=.接下来,我们就用矩阵Kronecker 积和拉直概念相结合,看看它们在其它领域的运用.在系统控制等工程领域,经常遇到两类特殊的线性矩阵方程:AX +F XB =和X-F AXB =.它们在系统稳定性、控制性问题中有着基本的作用,广泛的应用.而这两个方程又是1ti i i A XB F ==∑型矩阵方程的特殊情况.4.1 1ti i i A XB F ==∑型矩阵方程一般的线性矩阵方程可表示为:1122t t F A XB A XB A XB +++= (1)其中,A i 为m 阶矩阵,B i 为n 阶矩阵(i =1,2,…, t )F C n m ⨯∈均是已知矩阵,X C n m ⨯∈是未知矩阵.利用矩阵的Kronecker 积和拉直,可以给出该线性矩阵方程的可解性及其解法.[3]定理4.2矩阵X C n m ⨯∈是矩阵方程(1)的解的充分必要条件为x =vec(X )是该线性方程组()1vec()i t T i i x F A B =⎡⎤=∑⊗⎢⎥⎣⎦的解. 证 对(1)两边同时列拉直,得:vec (F )=11vec()vec()t ti i i i i i A XB A XB ===∑∑.又根据定理4.1知:1vec()()vec()tT i i F X A B ==∑⊗,∴该矩阵方程组与矩阵方程(1)等价,即解相同.定理4.3 矩阵X Cnm ⨯∈是矩阵方程(1)的解的充分必要条件为x =_____vec ()X是该线性方程组1[()]tTi ii B A =∑⊗)(vec _____F x =的解.例4.1求解矩阵方程1122A XB A XB F +=.其中122201,2121AA ⎛⎫⎛⎫== ⎪ ⎪---⎝⎭⎝⎭12100246,,111336B B F -⎛⎫⎛⎫⎛⎫=== ⎪ ⎪ ⎪--⎝⎭⎝⎭⎝⎭. 解 设1234x x X x x ⎛⎫=⎪⎝⎭,则根据定理4.2知:()1vec()vec()i t T i i X F A B =⎡⎤=∑⊗⎢⎥⎣⎦. 121101,0123TTBB --⎛⎫⎛⎫== ⎪ ⎪⎝⎭⎝⎭ 12122222000*********,0022020300214263T T A A B B ---⎛⎫⎛⎫⎪ ⎪-- ⎪ ⎪== ⎪ ⎪ ⎪ ⎪-----⎝⎭⎝⎭⊗⊗∴.12122223210202254244T T A A B B --⎛⎫ ⎪- ⎪= ⎪ ⎪----⎝⎭⊗⊗+.则132422234210230225642446x x x x --⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪⎪ ⎪=⎪ ⎪ ⎪- ⎪ ⎪ ⎪----⎝⎭⎝⎭⎝⎭得:,,,1234.0121x x x x ===-=-∴⎪⎪⎭⎫⎝⎛--=0121X.推论4.5 由定理4.2和线性方程组的可解性条件知:矩阵方程(1)有解 的充分必要条件为:系数矩阵的秩等于增广矩阵的秩,即:rank(G )=rank[G vec(F )]有唯一解的充分必要条件为G (G =1tT i i i A B =∑⊗)可逆.4.2 AX +F XB =矩阵方程矩阵方程AX +F XB =中A 为m 阶矩阵,B 为n 阶矩阵,F C n m ⨯∈.下面运 用矩阵的Kronecker 积和拉直来给出该方程的求解过程及其解.首先,对方程的两边列拉直,得:vec(AX +XB )=vec(F ). 由推论4.3(3)知:有vec()()vec()T n m F X A E E B =+⊗⊗. (2) 再由推论4.5知:方程有解的充分必要条件为:rank ()T n m A E E B +⊗⊗=rank [()vec()]T n m F A E E B +⊗⊗ .且方程有唯一解的充分必要条件为:矩阵()T n m A E E B +⊗⊗可逆.类似的,若是对方程两边行拉直,则方程有解的充分必要条件为: rank (Tm n A E B E +⊗⊗)=rank[_____(vec ()Tm n F A E B E +⊗⊗ ].注意到:(T m n A E B E +⊗⊗)即为矩阵A 和T B 的Kronecker 和,所以上式也可以写为:rank (TA B ⊕)=rank[_____(vec ()TF A B ⊕ )]且方程有唯一解的充分必要条件为:矩阵(T A B ⊕)可逆.例4.2 求解矩阵方程AX +F XB = 其中,113405,,020129AB F --⎛⎫⎛⎫⎛⎫=== ⎪ ⎪ ⎪--⎝⎭⎝⎭⎝⎭.解 设1234x x X x x ⎛⎫=⎪⎝⎭.1100300002000300,0011401002041T n m A E E B --⎛⎫⎛⎫⎪ ⎪- ⎪ ⎪== ⎪ ⎪-- ⎪ ⎪-⎝⎭⎝⎭⊗⊗∴210001004001041T n mA E EB --⎛⎫ ⎪- ⎪= ⎪- ⎪⎝⎭⊗+⊗,则⎪⎪⎪⎪⎪⎭⎫⎝⎛-=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----952010401004001000124231x x x x .得:,,,.12341221x x x x ==-=-=-∴⎪⎪⎭⎫⎝⎛---=1221X.定理4.4 设λλλm ,,,21 是m 阶矩阵A 的特征值, μμμn ,,,21 是n 阶矩阵B的特征值,则AX +F XB =矩阵方程有唯一解的充分必要条件为:0≠+μλj i),,2,1;,,2,1(n j m i ==,即A和-B 没有共同的特征值.证 ∵AX +F XB =矩阵方程等价于线性方程组(2),则由推论3.2知: 矩阵()T n m A E E B +⊗⊗的特征值是μλj i +),,2,1;,,2,1(n j m i ==.又∵AX +F XB =矩阵方程有唯一解的充分必要条件为矩阵()T n m A E E B +⊗⊗ 可逆,∴其特征值均非零,即0≠+μλj i .定理4.5设A 为m 阶矩阵,B 为n 阶矩阵,且A 、B 为稳定矩阵,即A 、B 的特征值均具有负实部,则AX +F XB =矩阵方程有唯一解,且解X C n m ⨯∈可表示成:X =dt F e e Bt At ⎰+∞-0.推广(1)设λλλm ,,,21 是m 阶矩阵A 的特征值, μμμn ,,,21 是n 阶矩阵B 的特征值,则齐次方程AX +=XB 0有非零解的充分必要条件为:存在j i 00,, 使得j i o μλ+0=0.(2)设A 为m 阶矩阵, 则齐次方程AX -0=XB 一定有非零解. 4.3 X -F AXB =矩阵方程X-F AXB =矩阵方程常出现在系统稳定性研究中,对于它的求解我们同样可以运用矩阵的Kronecker 积和拉直来解决.设A 为m 阶矩阵,B 为n 阶矩阵,F C n m ⨯∈.首先对方程两边进行列拉直, 得:)vec()vec()(T m n X F E A B -=⊗.则根据推论4.5知:X -F AXB =矩阵方程有解的充分必要条件为rank )(T m n E A B -⊗=rank[)vec()(T m n F E A B -⊗ ],且 有唯一解的充分必要条件为:矩阵)(T m n E A B -⊗可逆.定理4.6 设λλλm ,,,21 是m 阶矩阵A 的特征值, μμμn ,,,21 是n 阶矩阵B 的特征值,则X -F AXB =矩阵方程有唯一解的充分必要条件为:1≠μλj i 1,i =(2,,;1,2,,)m j n = . 证明同定理4.4,此略. 4.4矩阵微分方程运用Kronecker 积性质和拉直定义,可将矩阵微分方程的求解转化为常系数 齐次线性微分方程组初值问题的求解,从而变为我们所熟悉的解法.再进一步求 出矩阵微分方程的初值问题.[5]定理4.7矩阵微分方程⎪⎩⎪⎨⎧=+=X X Bt X t AX dtt dX 0)0()()()(的解为e X e Bt At t X 0)(=其中,A 为m 阶矩阵,B 为n 阶矩阵,X C n m ⨯∈.证 对矩阵微分方程的两边进行行拉直,得:____________________0(vec ())(vec ()vec ((0))vec ()T m n d X t X A E B E dt X X ⎧⎪=+⎪⊗⊗⎨⎪=⎪⎩), 则问题就转化为求解常系数齐次线性微分方程组初值问题.再根据满足初始条件的矩阵微分方程解的定理及定理4.1(2)知:))((vec _____t X (00vec()()vec()T Tm n A E B E B At t e e e X X ⊗⊗+=⋅=⊗⋅)00vec[]vec()()T t B TAt At Bt e e e X X e ==, ∴矩阵微分方程初值问题的解为e X e Bt At t X 0)(=.例4.3 求解矩阵微分方程的初值问题⎪⎪⎩⎪⎪⎨⎧⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎭⎫⎝⎛-+⎪⎪⎭⎫ ⎝⎛-=1102)0(1001)()(2011)(X t X t X dt t dX .解 令A =⎪⎪⎭⎫⎝⎛-2011,B =⎪⎪⎭⎫⎝⎛-1001,X 0=⎪⎪⎭⎫⎝⎛-1102.∵A 的特征值为1,2.其中,特征值1的基础解系为⎪⎪⎭⎫⎝⎛01,特征值2的基础解系为⎪⎪⎭⎫⎝⎛-11,∴存在可逆矩阵M =⎪⎪⎭⎫⎝⎛-1011,使得:M eAt=⎪⎪⎭⎫⎝⎛e t et200M1-=⎪⎪⎭⎫⎝⎛-=⎪⎪⎭⎫ ⎝⎛⎪⎪⎭⎫ ⎝⎛⎪⎪⎭⎫ ⎝⎛-eeee e tt tt t et22201011001011.又∵B 是对角矩阵,∴=eBt⎪⎪⎭⎫ ⎝⎛-e e t t 00. 则由定理4.7知:e X eBt Att X 0)(==⎪⎪⎭⎫⎝⎛-e e e e t t t t220⎪⎪⎭⎫ ⎝⎛-1102⎪⎪⎭⎫ ⎝⎛-e e t t00=⎪⎪⎭⎫ ⎝⎛---ee e eet tttt3321.致谢语本文在撰写过程中得到黄朝霞副教授的悉心指导,在此表示衷心的感谢!参考文献[1] 程云鹏.《矩阵论》[M].西北工业大学出版社,1999[2] 史荣昌.《矩阵分析》[M].北京理工大学出版社,1996 [3] 戴华.《矩阵论》[M].科学出版社,2001[4] 陈公宁.《矩阵理论与应用》[M].高等教育出版社,1990[5] 董增福.《矩阵分析教程》[M].哈尔滨工业大学出版社,2003 [6] 李乔.《矩阵论八讲》[M].上海科学技术出版社,1988 [7] 李俊杰.《矩阵分析》[M].机械工业出版社,1995[8] 张凯院.《矩阵论 导教.导学.导考》[M].西北工业大学出版社,2004[9] 张凯院.《矩阵论 典型例题解析及自测试题》[M].西北工业大学出版社,2001 [10]黄廷祝.《矩阵理论》[M].高等教育出版社,2003[11]北京大学数学系几何与代数教研室代数小组.《高等代数》[M]. 高等教育出版社,2001The Kronecker Product Of A Matrix And Its ApplicationsChen wei(Mathematics Department, Science school, Jimei University , Xiamen 361021)Abstract: In this paper,the Kronecker product about matrix theories is introduced.By the introduction of the concept and the deduction of the properties and the theorems,the application of the Kronecker product in matrix equation is given.Keywords: Kronecker product 、characteristic value 、straight-line method 、1ti i i A XB F ==∑matrixequation 、AX +F XB = matrix equation 、X -F AXB =matrix equation 、matrix differential equation。

相关文档
最新文档