關于函數矩陣與矩陣微分方程北京理工大學高數教研室*第1頁，講稿共46頁，2023年5月2日，星期三稱為函數矩陣，其中所有的元素都是定義在閉區間上的實函數。函數矩陣與數字矩陣一樣也有加法，數乘，乘法，轉置等幾種運算，并且運算法則完全相同。例：已知北京理工大學高數教研室*第2頁，講稿共46頁，2023年5月2日，星期三計算定義：設為一個階函數矩陣，如果存在階函數矩陣使得對于任何都有那么我們稱在區間是可逆的。北京理工大學高數教研室*第3頁，講稿共46頁，2023年5月2日，星期三稱是的逆矩陣，一般記為例：已知那么在區間上是可逆的，其逆為北京理工大學高數教研室*第4頁，講稿共46頁，2023年5月2日，星期三函數矩陣可逆的充分必要條件定理:階矩陣在區間上可逆的充分必要條件是在上處處不為零，并且其中為矩陣的伴隨矩陣。定義：區間上的型矩陣函數不恒等于零的子式的最高階數稱為的秩。北京理工大學高數教研室*第5頁，講稿共46頁，2023年5月2日，星期三特別地，設為區間上的階矩陣函數，如果的秩為，則稱一個滿秩矩陣。注意：對于階矩陣函數而言，滿秩與可逆不是等價的。即：可逆的一定是滿秩的，但是滿秩的卻不一定是可逆的。例：已知北京理工大學高數教研室*第6頁，講稿共46頁，2023年5月2日，星期三那么。于是在任何區間上的秩都是2。即是滿秩的。但是在上是否可逆，完全依賴于的取值。當區間包含有原點時，在上有零點，從而是不可逆的。函數矩陣對純量的導數和積分

定義：如果的所有各元素在處有極限，即北京理工大學高數教研室*第7頁，講稿共46頁，2023年5月2日，星期三其中為固定常數。則稱在處有極限，且記為其中北京理工大學高數教研室*第8頁，講稿共46頁，2023年5月2日，星期三如果的各元素在處連續，即則稱在處連續，且記為其中北京理工大學高數教研室*第9頁，講稿共46頁，2023年5月2日，星期三容易驗證下面的等式是成立的：設則北京理工大學高數教研室*第10頁，講稿共46頁，2023年5月2日，星期三定義：如果的所有各元素在點處(或在區間上)可導，便稱此函數矩陣在點處(或在區間上)可導，并且記為北京理工大學高數教研室*第11頁，講稿共46頁，2023年5月2日，星期三北京理工大學高數教研室*第12頁，講稿共46頁，2023年5月2日，星期三函數矩陣的導數運算有下列性質：是常數矩陣的充分必要條件是設均可導，則北京理工大學高數教研室*第13頁，講稿共46頁，2023年5月2日，星期三設是的純量函數，是函數矩陣，與均可導，則特別地，當是常數時有北京理工大學高數教研室*第14頁，講稿共46頁，2023年5月2日，星期三(4)設均可導，且與是可乘的，則因為矩陣沒有交換律，所以北京理工大學高數教研室*第15頁，講稿共46頁，2023年5月2日，星期三(5)如果與均可導，則(6)設為矩陣函數，是的純量函數，與均可導，則北京理工大學高數教研室*第16頁，講稿共46頁，2023年5月2日，星期三定義：如果函數矩陣的所有各元素在上可積，則稱在上可積，且北京理工大學高數教研室*第17頁，講稿共46頁，2023年5月2日，星期三函數矩陣的定積分具有如下性質：例1

：已知函數矩陣試計算北京理工大學高數教研室*第18頁，講稿共46頁，2023年5月2日，星期三證明：北京理工大學高數教研室*第19頁，講稿共46頁，2023年5月2日，星期三由于，所以下面求。由伴隨矩陣公式可得北京理工大學高數教研室*第20頁，講稿共46頁，2023年5月2日，星期三再求北京理工大學高數教研室*第21頁，講稿共46頁，2023年5月2日，星期三例2：已知函數矩陣北京理工大學高數教研室*第22頁，講稿共46頁，2023年5月2日，星期三試求例3：已知函數矩陣試求證明：北京理工大學高數教研室*第23頁，講稿共46頁，2023年5月2日，星期三同樣可以求得北京理工大學高數教研室*第24頁，講稿共46頁，2023年5月2日，星期三例4：已知函數矩陣試計算北京理工大學高數教研室*第25頁，講稿共46頁，2023年5月2日，星期三函數向量的線性相關性定義：設有定義在區間上的個連續的函數向量如果存在一組不全為零的常實數使得對于所有的等式成立，我們稱，在上線性相關。北京理工大學高數教研室*第26頁，講稿共46頁，2023年5月2日，星期三否則就說線性無關。即如果只有在等式才成立，那么就說線性無關。定義：設是個定義在區間上的連續函數向量記北京理工大學高數教研室*第27頁，講稿共46頁，2023年5月2日，星期三以為元素的常數矩陣稱為的Gram矩陣，稱為Gram行列式。定理：定義在區間上的連續函數向量線性無關的充要條件是它的Gram矩陣為滿秩矩陣。北京理工大學高數教研室*第28頁，講稿共46頁，2023年5月2日，星期三例：設則于是的Gram矩陣為北京理工大學高數教研室*第29頁，講稿共46頁，2023年5月2日，星期三所以故當時，在上是線性無關的。北京理工大學高數教研室*第30頁，講稿共46頁，2023年5月2日，星期三定義：設是個定義在區間上的有階導數的函數向量，記那么稱矩陣北京理工大學高數教研室*第31頁，講稿共46頁，2023年5月2日，星期三北京理工大學高數教研室*第32頁，講稿共46頁，2023年5月2日，星期三是的Wronski矩陣。其中分別是的一階，二階，…，階導數矩陣。定理：設是的Wronski矩陣。如果在區間上的某個點，常數矩陣的秩等于，則向量在上線性無關。北京理工大學高數教研室*第33頁，講稿共46頁，2023年5月2日，星期三例：設則因為的秩為2，所以與線性無關。北京理工大學高數教研室*第34頁，講稿共46頁，2023年5月2日，星期三

函數矩陣在微分方程中的應用形如北京理工大學高數教研室*第35頁，講稿共46頁，2023年5月2日，星期三的線性微分方程組在引進函數矩陣與函數向量以后可以表示成如下形式其中北京理工大學高數教研室*第36頁，講稿共46頁，2023年5月2日，星期三北京理工大學高數教研室*第37頁，講稿共46頁，2023年5月2日，星期三上述方程組的初始條件為可以表示成定理：設是一個階常數矩陣，則微分方程組滿足初始條件的解為北京理工大學高數教研室*第38頁，講稿共46頁，2023年5月2日，星期三定理：設是一個階常數矩陣，則微分方程組滿足初始條件的解為例1：設北京理工大學高數教研室*第39頁，講稿共46頁，2023年5月2日，星期三求微分方程組滿足初始條件的解。解：首先計算出矩陣函數北京理工大學高數教研室*第40頁，講稿共46頁，2023年5月2日，星期三由前面的定理可知微分方程組滿足初始條件的解為北京理工大學高數教研室*第41頁，講稿共46頁，2023年5月2日，星期三例2：設求微分方程組滿足初始條件