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

Numerical Analysis of Evolution Systems

Research Project

Project/Area Number 08304016
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionNAGOYA UNIVERSITY

Principal Investigator

MITSUI Taketomo  Grad.Sch.of Human Informatics, Nagoya Univ., Professor, 大学院・人間情報学研究科, 教授 (50027380)

Co-Investigator(Kenkyū-buntansha) MUROTA Kazuo  Kyoto Univ., Prof., 数理解析研究所, 教授 (50134466)
NAKASHIMA Masaharu  Kagoshima Univ., Prof., 理学部, 教授 (40041230)
NAKAO Mitsuhiro  Kyushu Univ., Prof., 数理学研究科, 教授 (10136418)
SHINOHARA Yoshitane  Tokushima Univ., Prof., 工学部, 教授 (40035803)
KOTO Toshiyuki  Univ.of Electro-Communications, Assoc.Prof., 電気通信学部, 助教授 (30234793)
Project Period (FY) 1996 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥12,600,000 (Direct Cost: ¥12,600,000)
Fiscal Year 1998: ¥4,200,000 (Direct Cost: ¥4,200,000)
Fiscal Year 1997: ¥4,200,000 (Direct Cost: ¥4,200,000)
Fiscal Year 1996: ¥4,200,000 (Direct Cost: ¥4,200,000)
KeywordsMathematical modelling / Evolution systems / Differential equations / Numerical solutions / Discretization / Stability / Computational mathematical sciences
Research Abstract

The project. has been carried out., aiming to study the evolution systems in both analytical and numerical points of view. The systems are known to appear in mathematical modelling of broad area in science and engineering. The results obtained by the listed investigators as well as by their collaborators are as follows.
Discrete variable methods for systems with time-delay or randomness. Linear and nonlinear analysis has been done for their stability. Physical applications are also considered.
Long-term integration of Hamiltonian systems. Algebraic correspondence between Hamilton systems and their symplectic numerical integrators is unveiled. Symplecticness and the conservative quantities are also studied.
Self-validating numerical solution of differential equations. The solution of parabolic partial differential equations is successfully achieved. Ordinary differential equation case is also tackled.
Parallelism for evolution systems. Across-the-step and across-the-method parallelism have been studied with analysis of convergence.
Stable and high-performance numerical methods. Various modification have been introduced for Runge-Kutta schemes to attain the purpose. Sonic of them have been tested numerically.
The achievement, of the research work has been or is to be published in many articles, a part. of which is listed in the following page.

Report

(4 results)
  • 1998 Annual Research Report   Final Research Report Summary
  • 1997 Annual Research Report
  • 1996 Annual Research Report
  • Research Products

    (46 results)

All Other

All Publications (46 results)

  • [Publications] Y.Komori: "Rooted tree analysis of the order conditions of ROW-type scheme for stochastic dif-ferential equations" BIT. 37. 43-66 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Y.Saito: "Stability analysis of numerical schemes for stochastic differential equations" SIAM J. Number. Anal.33. 2254-2267 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Ogawa: "On the spectra of pulses in nearly integrable system" SIAM J. Math. Anal. 57. 485-500 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Koto: "A criterion for P-stability properties of Runge-Kutta methods" BIT. 38. 737-750 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Koto: "The stability of natural Runge-Kutta methods for nonlinear delay differential equa-tions" Japan J. Industr. Appl. Math.14. 111-123 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] K.Murota: "Valuated matroid intersection I: optimality criteria" SIAM J. Discrete Math.9. 545-561 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 三井斌友: "微分方程式の数値解法I(第2刷),岩波講座応用数学[方法 3]" 岩波書店, 126 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 中尾 充宏: "精度保証付き数値計算" 日本評論社, 149 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] B.-F.Feng & T.Mitsui: "A finite difference method for the Korteweg-de Vries and the Kadomtsev-Petviashvili equations" J.Comput.Appl.Math.90. 95-116 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] S.Maede: "On a certain application of symplectic mappings-Discrete version of Hamiltonian systems (in Japanese)" Bull.Japan SIAM. 8. 30-39 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Koto: "A criterion for P-stability properties of Runge-Kutta methods" BIT. 38. 737-750 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] K.Kubota: "A Fortran 77 preprocessor for reverse mode automatic differentiation with recursive checkpointing" Optim.Meth.Software. 10. 319-335 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Z.Ali, Y.Shinohara, H.Imai, H.Sakaguchi & K.Okmoto: "Exis-tence and uniqueness of quasiperiodic solutions to perturbed non-linear oscillators" Japan J.Industr.Appl.Math.15. 1-15 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] C.-S.Ryoo & M.T.Nakao: "Numerical verifications of solutions for variational inequalities" Numer.Math.81. 305-320 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Nguyen huu Cong & T.Mitsui: "A class of explicit parallel two-step Runge-Kutta methods" Japan J.Industr.Appl.Math.14. 303-313 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Ogawa & H.Suzuki: "On the spectra of pulses in nearly inte-grable system" SIAM J.Math.Anal.57. 485-500 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Koto: "The stability of natural Runge-Kutta methods for non-linear delay differential equations" Japan J.Industr.Appl.Math.14. 111-123 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] K.Ikeda & K.Murota: "Recursive bifurcation as sources of com-plexity in soil shearing behavior" Soils and Foundations. 37. 17-29 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Minamoto & M.T.Nakao: "Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case" Reliable Computing. 3. 137-147 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Nguyen huu Cong & T.Mitsui: "Collocation-based two-step Runge-Kutta methods" Japan J.Industr.Appl.Math.13. 171-183 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Y.Komori, H.Sugiura & T.Mitsui: "Rooted tree analysis of the order conditions of ROW-type scheme for stochatic differential equations" BIT. 37. 43-66 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Y.Saito & T.Mitsui: "Stability analysis of numerical schemes for stochastic differential equations" SIAM J.Numer.Anal.33. 2254-2267 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Y.Watanabe, M.T.Nakao & N.Yamamoto: "Verified computation of solutions for nondifferentiable elliptic equations related to MHD equilibria" Nonlinear Anal.Theory, Meth-ods & Applic.28. 577-587 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] K.Murota: "Valuated matroid intersection I : optimality criteria" SIAM J.Discrete Math.9. 545-561 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] M.Shimada & H.Yoshida: "Long-term conservation of adiabatic invariants by using symplectic integrators" Publ.Astron.Soc.Japan. 48. 147-155 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] S.Yamada & K.Ozawa: "Attainable orders of phase and amplifi-cation errors of explicit parallel Runge-Kutta methods" Interdisciplinary Information Sci.2. 153-157 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] B-F.Feng: "A finite difference method for the Korteweg-de Vrics and the Kadomtscv-Pctviashvili equations" J.Comput.Appl.Math.90. 95-116 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 阿部 邦美: "ランク落ちした連立一次方程式に対するCR法の収束定理" 月間地球. 20. 799-803 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 前田茂: "シンプレクティック写像の応用について-ハミルトン系の離散版" 応用数理. 8-3. 30-39 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Koto: "A criterion for P-stability properties of Range-Kutta mcthods" BIT. 38. 737-750 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Z.Ali: "Existence and uniqueness of quasiperiodic solutions to perturbed nonlinear oscillators" Japan J.Industr.Appl.Math.15. 1-15 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] C-S.Ryoo: "Numerical verifications of solutions for variational incqualities" Numer.Math.81. 305-320 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 中尾 充宏: "精度保証付き数値計算" 日本評論社, 149 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 久保田 光一: "アルゴリズムの自動微分と応用" コロナ社, 282 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Nguyen huu Cong: "A class of explicit parallel two-step Runge-Kutta methods" Japan J.Industr.Appl.Math.14. 303-313 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 阿部邦美: "MRTR法:CG型の三項漸化式に基づく非対称行列のための反復解法" 日本応用数理学会論文誌. 7. 37-50 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Ogawa: "On the spectra of pulses in nearly integrable system" SIAM J.Math.Anal. 57. 485-500 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Koto: "The stability of natural Runge-Kutta methods for nonlinear delay differential equations" Japan J.Industr.Appl.Math.14. 111-123 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] K.Ikeda: "Recursive bifurcation as sources of complexity in soil shearing behavior" Soils and Foundations. 37. 17-29 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Minamoto: "Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case" Reliable Computing. 3. 137-147 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Nguyen huu Cong: "Collocation-based two-step Runge-Kutta methods" Japan J.Industr.Appl.Math.13. 171-183 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Y.Komori: "Rooted tree analysis of the order conditions of ROW-type scheme for stochastic differential equtions" BIT. 37. 43-66 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Y.Saito: "Stability analysis of numerical schemes for stochastic differential equations" SIAM J.Numer,Anal.33. 2254-2267 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Y.Watanabe: "Verified computation of solutions for nondifferentiable elliptic equations related to MHD equilibria." Nonlinear Anal.Theory,Methods & Applic.28. 577-587 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] K.Kurota: "Valuated matroid intersection I : optimality criteria" SIAM J.Discrete Math.9. 545-561 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] M.Shimada: "Long-term conservation of adiabatic invariants by using symplectic integrators" Publ.Astron.Soc.Japan. 48. 147-155 (1996)

    • Related Report
      1996 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi