解上面的一阶线性微分方程，证明下面的公式：W（t）=W（t0）e∫tt0[a11（t）+a22（t）+…+ann（t）]dt，t0，t∈[a，b]。

将下面的初值问题化为与之等价的一阶方程组的初值问题：x”+2x’+7tx=e-t，x（1）=-2。

证：对于方程y’=-AT（t）y的任一解y=ψ（t）必有ψT（t）φ（t）=常数。

试证：如果φ（t）是x’=Ax满足初值条件φ（t0）=η的解，那么φ（t）=[expA（t-t0）]η。

试求方程组x’=Ax的一个基解矩阵，并计算exp（At），其中A为：

假设A是n×n矩阵，试证：对任意的常数c1，c2都有exp（c1A+c2A）=exp（c1A）·exp（c2A）。

试求方程组x’=Ax+f（t）的解φ（t）：

设Φ（t）为方程x’=Ax（A为n×n常数矩阵）的标准基解矩阵（即Φ（0）=E）。证明：Φ（t）Φ-1（t0）=Φ（t-t0），其中t0为某一值。

试计算矩阵的特征值及对应的特征向量：

给定方程组x’=A（t）x，这里A（t）是区间a≤t≤b上的连续n×n矩阵，设Φ（t）为方程组的一个基解矩阵，n为向量函数F（t，x）在a≤t≤b，‖x‖＜+∞上连续，t0∈[a，b]。试证明初值问题的唯一解φ（t）是积分方程组：x（t）=Φ（t）Φ-1（t0）η+∫tt0Φ（t）Φ-1（s）F（s，x（s））ds（**）的连续。反之（**）的连续解也是初值问题（*）的解。