基本解组 有界增长 可积 自变量变换 线性微分系统 数学研究 类比方法 不变量