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

階段関数基底による非線形境界値問題の解の数値的存在自動検証法の開発と実装

Research Project

Project/Area Number 15760045
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Engineering fundamentals
Research InstitutionShibaura Institute of Technology

Principal Investigator

神澤 雄智  芝浦工業大学, 工学部, 助教授 (00298176)

Project Period (FY) 2003 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥3,100,000 (Direct Cost: ¥3,100,000)
Fiscal Year 2005: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2004: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2003: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords非線形問題 / 常微分方程式 / 1次元楕円型境界値問題 / 階段関数基底 / 階段関数線形系 / 1次元楕円型境界値問 / 精度保証付き数値計算 / 非線形境界値問題 / 階段関数 / 解の存在検証 / 区間演算 / ノルム評価
Research Abstract

17年度前半は、16年度後半に開発した方法に基づいて1次元楕円型境界値問題を含む常微分方程式の多点境界値問題の解の数値的存在検証アルゴリズムを改良し、より荒い近似解に対しても存在検証が成功するように計算誤差を軽減した。これによって、前年度に成功していた、抵抗パラメータのより小さいDuffing方程式・van der Pol方程式の結合系の周期解求解問題などに本手法を適用し、従来法との計算精度、計算時間の点での比較検討を行なった。17年度後半は本研究が、より高次元の楕円型境界値問題に適用できるための問題点を洗い出し、本手法をより広範囲の問題に適用できるための指針を得た。また、効率化された階段関数係数線形系システムを非線形常微分方程式系に適用し、効率化の度合を評価した。
また、本研究成果を広く世に知らしめ、さらなる改良を目的とする議論のために、工学的な立場からInternational Symposium on Nonlinear Theory and Its Applicationsに出席し、活発な議論を行なった

Report

(3 results)
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • Research Products

    (3 results)

All 2005 2004

All Journal Article (3 results)

  • [Journal Article] A Numerical Method of Proving the Existence of Solutions for Nonlinear ODEs Using Affine Arithmetic and Green's Function Expression2005

    • Author(s)
      Kanzawa, Y., Oishi, S.
    • Journal Title

      Proc.International Symposium on Nonlinear Theory and Its Applications

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Numerical Method of Proving the Existence of Solutions for Nonlinear ODEs Using Green's Function Expression2004

    • Author(s)
      Kanzawa, Y., Oishi, S.
    • Journal Title

      Proc.of SCAN2004

      Pages: 60-60

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Numerical Method of Proving the Existence of Solutions for Nonlinear ODEs Using Green's Function Expression2004

    • Author(s)
      Kanzawa, Y., Oishi, S.
    • Journal Title

      Proc.of NOLTA2004

      Pages: 154-157

    • Related Report
      2004 Annual Research Report

URL: 

Published: 2003-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi