数学模型 Banach不动点定理 Cauchy 问题 B 解 非线性发展方程 非负解 极限解 半线性偏微分方程组