处理半线性抛物方程时引用布劳威尔（Brouwer）不动点定理证明了离散解的存在唯一性，并得到了时间最大模、空间L2模的误差估计。
Brouwer fixed points theorem is used to prove the uniqueness of the approximate solution of semi-linear parabolic problems and the error estimate for time in max norm and space in L2 norm is obtained .
布劳威尔不动点定理