Research on the influence of perturbation to algebraic problems and coping methodology for them

2020 Fiscal Year Final Research Report

• Project/Area Number: 18K11172
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Tokyo University of Science
• Principal Investigator: Sekigawa Hirosi 東京理科大学, 理学部第一部応用数学科, 教授 (00396178)
• Co-Investigator(Kenkyū-buntansha): 白柳 潔 東邦大学, 理学部, 教授 (80396176)
• Project Period (FY): 2018-04-01 – 2021-03-31
• Keywords: 摂動 / 誤差 / 安定性 / 代数方程式 / 多項式 / 数値数式融合計算 / 安定化理論

Outline of Final Research Achievements

Some algebraic problems can be unstable if they contain errors, for example, in the coefficients of polynomials. In such cases, we carried out research on the influence of perturbations of coefficients, methods for posing stable related problems, and algorithms that efficiently solve the posed problems. Furthermore, we studied the application of the stabilization techniques that make the constructed algorithms more efficient. Our main results are as follows: (1) The continuity of the roots of simultaneous algebraic equations satisfying some conditions with respect to the coefficients. (2) Algorithms for interpolation of black-box polynomials whose values contain errors. (3) Confirmation of the effectiveness of the stabilization techniques and a log method based on the techniques.

Free Research Field

数値数式融合計算

Academic Significance and Societal Importance of the Research Achievements

計算機により数学的な計算を行う方法には数値計算と数式処理の二つがある。数値計算は計算が高速かつ、入力データに誤差があっても計算可能だが、結果の保証が必要である。数式処理は結果は信頼できるが、計算が低速であり、誤差のある入力は受け付けない。
本研究の成果は、信頼性の高い数式処理を基礎に、数値計算、数式処理双方の長所を合わせ持つ計算方法を確立する一歩となるものである。こういった計算方法は様々な分野における数学的な計算に利用できる可能性を秘めている。