存在唯一性定理 特征变换 有限元解 轮流 连续可微 函数方法 游戏 数值分析