• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Annual Research Report

誤差を含む代数問題に対する信頼性の高い数値数式融合計算の研究

Research Project

Project/Area Number 21500026
Research InstitutionTokai University

Principal Investigator

関川 浩  東海大学, 理学部, 准教授 (00396178)

Co-Investigator(Kenkyū-buntansha) 白柳 潔  東海大学, 理学部, 教授 (80396176)
Keywords多項式 / 誤差 / 近似 / 数値数式融合計算 / 安定化理論 / 凸包構成 / 連立代数方程式
Research Abstract

本年度の成果のうち、研究実施計画における第一の目標、すなわち、昨年度の結果を進展させる研究に関わるものは以下の通りである。1.本研究における主要な計算手段である安定化理論について、昨年度提案した新しい利用法であるISCZ法(係数を区間とシンボルのペアとし、ゼロ書き換えの正しさをチェックする手法:Interval-Symbol Method with Correct Zero Rewriting)を凸包構成アルゴリズムに適用した実験を行い、有効性を確認した。2.重要な問題である近似因数分解に利用可能な、与えられた因子を持つ多項式列の性質の解明について、実数係数の場合に昨年度得た結果を複素数係数の場合に拡張した(投稿中)。
研究実施計画における第二の目標、すなわち、係数に誤差のある場合の連立代数方程式に関わる成果は以下の通りである。1.二変数で式が二本の連立代数方程式f(x,y)=g(x,y)=0に解があると仮定する。f、gの係数をどれ程動かすと解が存在しなくなるか、その限界を、fとgの終結式を用いて評価する手法を提案した。2.f_i(x^1,…,x_n)(1≦i≦n)を実数係数のn変数多項式とする。連立代数方程式f_1=…=f_n=0において単純な孤立実数解が存在する場合に、f_iの係数をどれ程動かすと単純な孤立実数解が存在しなくなるか、その変動の限界を評価する手法を提案した。具体的には、f_1=…=f_n=0の単純な孤立実数解のうち、注目しているものをx^<(o)>とするとき、x^<(0)>を初期値とするNewton法が単純な孤立実数解に収束するような係数変動の限界を、Kantorovichの定理を利用して評価する。孤立解の存在する連立一次方程式を、行列Aとベクトルx、bを用いてAx=bと書くとき、孤立解が存在するような係数変動の限界は行列Aのノルムと条件数を用いて表現できるという、数値線形代数における既知の結果がある。本成果は、この結果の拡張にあたるといえる。

  • Research Products

    (5 results)

All 2011 2010

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (4 results)

  • [Journal Article] Solvability of Bivariate Polynomial Systems under Perturbation2010

    • Author(s)
      Hiroshi Sekigawa, Kiyoshi Shirayanagi
    • Journal Title

      ACM Communications in Computer Algebra

      Volume: 44 Pages: 147-148

    • Peer Reviewed
  • [Presentation] 係数に誤差のある実係数連立代数方程式の孤立実数解について2011

    • Author(s)
      関川浩, 白柳潔
    • Organizer
      Risa/Asir Conference 2011
    • Place of Presentation
      神戸大学(神戸市)
    • Year and Date
      2011-03-21
  • [Presentation] Solvability of Bivariate Polynomial Systems under Perturbation2010

    • Author(s)
      H. Sekigawa and K. Shirayanagi
    • Organizer
      International Symposium on Symbolic and Algebraic Computation 2010
    • Place of Presentation
      ミュンヘン工科大学(ドイツ)
    • Year and Date
      20100726-27
  • [Presentation] 安定化理論に基づくISCZ法の凸包構成への応用2010

    • Author(s)
      白柳潔, 関川浩
    • Organizer
      京都大学数理解析研究所研究集会Computer Algebra-Design of Algorithms, Implementations and Applications
    • Place of Presentation
      京都大学(京都市)
    • Year and Date
      2010-12-03
  • [Presentation] 係数に誤差のある連立代数方程式の可解性について2010

    • Author(s)
      関川浩, 白柳潔
    • Organizer
      第19回日本数式処理学会大会
    • Place of Presentation
      名古屋大学(名古屋市)
    • Year and Date
      2010-06-13

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi