展开 常微分方程基解矩阵要加向量符号吗