函数逼近论 Timan定理 算子 边值问题 微分方程 一对一连续 渐近估计 连续模