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

Numerical Verification Methods for Dynamical Systems described by ODEs

Research Project

Project/Area Number 17540106
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionThe University of Electro-Communications

Principal Investigator

YAMAMOTO Nobito  The University of Electro-Communications, Department of Electro-Communications, Professor (30210545)

Co-Investigator(Kenkyū-buntansha) NAKAMURA Ken-ichi  UEC, Department of Electro-Communications, Assistant Professor (40293120)
Project Period (FY) 2005 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥2,700,000 (Direct Cost: ¥2,700,000)
Fiscal Year 2006: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2005: ¥1,600,000 (Direct Cost: ¥1,600,000)
Keywordsnumerical verification method / dynamical system / ODE / non-linear system / chaos / 精度補償
Research Abstract

The present research has two purposes.
1. Investigating self-validated computation methods which have been developed so far, we select various techniques as useful tools for study of dynamical systems.
2. We develop new theoretical scheme and techniques for improvement of self-validated computation of dynamical systems.
There are several methods for self-validated computation of initial value problems of ODEs. Among them, Lohner method and TM method are well-known, which have their theoretical base on Taylor expansion and its error estimation. The main reason which extends the error in the validated computation is so-called wrapping effect. These methods use QR factorization in order to reduce the wrapping effect. We applied this technique to the Nakao's method which has been developed for validated computation of PDEs and tried to construct a numerical verification methods for ODEs based on the Nakao's method. But we found that a straightforward application does not work well. Then we have investigated
1) Reduction of the wrapping effect in the step-wise procedure by the Nakao's method.
2) How to handle the large size matrices which appear in the whole time procedure by the Nakao's method
3) Applications of the Nakao's method on boundary value problems to ODEs in order to get narrow error bound at the end point
and obtained some results on new theoretical scheme and techniques for improvement of self-validated computation of dynamical systems

Report

(3 results)
  • 2006 Annual Research Report   Final Research Report Summary
  • 2005 Annual Research Report
  • Research Products

    (12 results)

All 2007 2006 2005

All Journal Article (7 results) (of which Peer Reviewed: 3 results) Presentation (5 results)

  • [Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • Author(s)
      N.Yamamoto, K.Genma
    • Journal Title

      Journal of Computational and Applied Mathematics 199

      Pages: 286-296

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • Author(s)
      N. Yamamoto, K. Genma
    • Journal Title

      Journal of Computational and Applied Mathematics 199

      Pages: 286-296

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • Author(s)
      Yamamoto, N., Genma, K.
    • Journal Title

      J. Comput. Appl. Math. 199

      Pages: 286-296

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 多倍長演算を利用したBessel関数の精度保証付き数値計算2005

    • Author(s)
      山本 野人, 松田 望
    • Journal Title

      日本応用数理学会論文誌 15巻3号

      Pages: 347-359

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部 善隆, 山本 野人, 中尾 充宏
    • Journal Title

      日本応用数理学会論文誌 15巻4号

      Pages: 509-520

    • NAID

      110002976854

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] 多倍長演算を利用したBessel関数の精度保証つき数値計算2005

    • Author(s)
      山本野人, 松田望
    • Journal Title

      日本応用数理学会論文誌 15・3

      Pages: 347-359

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部 善隆, 山本 野人, 中尾 充宏
    • Journal Title

      日本応用数理学会論文誌 15・4

      Pages: 509-520

    • NAID

      110002976854

    • Related Report
      2005 Annual Research Report
  • [Presentation] 常微分方程式初期値問題に対する精度保証付き計算の新手法2007

    • Author(s)
      山本 野人, 小森 喬
    • Organizer
      日本応用数理学会研究部会連合講演会
    • Place of Presentation
      名古屋大学,名古屋市
    • Year and Date
      2007-03-03
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 常微分方程式の精度保証法に関する新しい計算技法について2006

    • Author(s)
      山本 野人, 小森 喬, 足立 英輔
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学,大津市
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] A numerical verification method for ODEs with narrow errorbounds2006

    • Author(s)
      N.Yamamoto
    • Organizer
      SCAN2006
    • Place of Presentation
      Duisburg,Germany
    • Year and Date
      2006-09-26
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] A numerical verification method for nonlinear two-point boundary value problems2006

    • Author(s)
      N.Yamamoto
    • Organizer
      ICNAAM2006
    • Place of Presentation
      Crete,Greece
    • Year and Date
      2006-09-15
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] A Numerical Verification Method for ODEs based on Nakao's Theory2006

    • Author(s)
      N.Yamamoto
    • Organizer
      NOLTA2006
    • Place of Presentation
      Bologna,Italy
    • Year and Date
      2006-09-11
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi