摘要
本文提出一种偏微分方程解的数值验算方法.首先应用有限元的方法求偏微分方程的数值解,然后将偏微分方程的解转化为一个紧算子的不动点,我们验证算子在某一个集合中满足不动点定理,从而偏微分方程的解存在.接着通过分析的方法将不动点定理的条件转化为计算机可以计算的条件,最后结合区间验算的方法避免计算机计算过程中存在的截断误差,从而证明所求近似解的附近存在精确解.
出处
《赤峰学院学报(自然科学版)》
2015年第18期7-9,共3页
Journal of Chifeng University(Natural Science Edition)
基金
教育部留学回国人员科研启动基金资助项目资助