离散Gronwall引理（可证明数值格式的误差估计）————————来自孙志忠老师的非线性发展方程的
原文：https://www.cnblogs.com/zyj-zyj/p/14493905.html
