吉林大学学报(理学版)

• 数学 • 上一篇    下一篇

非线性方程组重根的可信验证方法

桑海风1,2, 万保成1,3   

  1. 1. 吉林大学 数学学院, 长春 130012; 2. 北华大学 数学与统计学院, 吉林 吉林 132013;3. 吉林农业大学 信息技术学院, 长春 130118
  • 收稿日期:2013-10-08 出版日期:2014-07-26 发布日期:2014-09-26
  • 通讯作者: 万保成 E-mail:wanbaocheng@163.com

Verifying Methods of Multiple Roots of Nonlinear Equations

SANG Haifeng1,2, WAN Baocheng1,3   

  1. 1. College of Mathematics, Jilin University, Changchun 130012, China;2. College of Mathematics and Statistics, Beihua University, Jilin 132013,
    Jilin Province, China;3. College of Information Technology, Jilin Agricultural University, Changchun 130118, China
  • Received:2013-10-08 Online:2014-07-26 Published:2014-09-26
  • Contact: WAN Baocheng E-mail:wanbaocheng@163.com

摘要:

利用区间算法及边界矩阵理论, 研究非线性方程组重根的可信性验证方法. 提出一种可信验证算法, 该算法输出一个近似解及其相应的误差界, 使得在近似解的误差界范围内必存在一个精确解.

关键词: 非线性方程组, 可信性验证, 区间算法

Abstract:

We studied the verifying methods of the multiple roots of nonlinear equations with the help of the interval algorithm and bordered system,  proposing the verifying algorithm, by which an approximate solution and its error bound are output so as to get  an exact solution  within the computed bounds.

Key words: nonlinear equations, certification, interval algorithm

中图分类号: 

  • O241.7