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

2000 Fiscal Year Final Research Report Summary

Research on infinite precision numerical simulation of partial differential equations

Research Project

Project/Area Number 10354001
Research Category

Grant-in-Aid for Scientific Research (A).

Allocation TypeSingle-year Grants
Section展開研究
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionThe University of Tokushima

Principal Investigator

IMAI Hitoshi  The University of Tokushima, Faculty of Engineering, Professor, 工学部, 教授 (80203298)

Co-Investigator(Kenkyū-buntansha) TOMOEDA Kenji  Osaka Institute of Technology, Faculty of Engineering, Professor, 工学部, 教授 (60033916)
TABATA Masahisa  Kyushu University, Faculty of Mathematics, Professor, 大学院・数理学研究院, 教授 (30093272)
IKEDA Tsutomu  Ryukoku University, Faculty of Science and Technology, Professor, 理工学部, 教授 (50151296)
NISHIDA Takaaki  Kyoto University, Graduate School of Science, Professor, 大学院・理学研究科, 教授 (70026110)
NAKAO Mitsuhiro  Kyushu University, Faculty of Mathematics, Professor, 大学院・数理学研究院, 教授 (10136418)
Project Period (FY) 1998 – 2000
Keywordsmultiple precision / parallel computing / PVM / simulation / spectral method / verification / arbitrary / infinite
Research Abstract

In the term of the project (three years) many results were obtained. Important results are shown as follows.
1. Building of the parallel computing environment.
High-performance workstations were purchased and connected by the high-speed network. PVM (Parallel Virtual Machine) was implemented on these workstations. Thus, the parallel computing environment was built at Imai's laboratory at Tokusima University.
2. Development of Infinite Precision Numerical Simulation.
Errors in numerical simulations originate from truncation errors in discretization and rounding errors. Infinite Precision Numerical Simulation was developed by combining the spectral (collocation) method and multiple precision arithmetic. The spectral (collocation) method is used for the control of truncation errors. Multiple precision arithmetic is used for the control of rounding errors. The method was applied to PDE systems with smooth solutions. The feature of the method, i.e. arbitrary reduction of errors, was observed. In a one-dimensional boundary value problem errors were approximately 10^<-2300>. This is incredible compared with results by other numerical methods.
3. Development of the library and its release.
The library for Infinite Precision Numerical Simulation was developed. The subroutine of Gauss elimination in multiple precision arithmetic was developed. Its parallelization was performed by using PVM.The library was released by up-loading the report of the research project on Imai's home page.
4. Related results.
Many related results were obtained as for development of infinite magnifying in visualization, development of parallel computing by using domain decomposition, basic research and application of Infinite Precision Numerical Simulation to inverse problems, free boundary problems and fluid mechanics, research on verification.

  • Research Products

    (74 results)

All Other

All Publications (74 results)

  • [Publications] 今井仁司(共著者に竹内敏己): "偏微分方程式の任意精度数値シミュレーションについて"数理解析研究所講究録. Vol.1040. 92-99 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 今井仁司(共著者に竹内敏己): "滑らかな解を持つ偏微分方程式の任意精度数値シミュレーション"統計数理研究所共同研究リポート. Vol.110. 158-167 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.IMAI(共著者にT.TAKEUCHI): "On Numerical Simulation of Partial Differential Equations in Infinite Precision"Advances in Mathematical Sciences and Applications. Vol.9,No.2. 1007-1016 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.KUSHIDA(共著者にH.IMAI,T.TAKEUCHI): "On Multiple Precision Calculation of Eigenvalues and Eigenvectors of Matrices"NIFS-PROC. 40. 48-57 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.IMAI(共著者にT.TAKEUCHI): "Application of the Infinite-Precision Numerical Simulation to an Inverse Problem"NIFS-PROC. 40. 38-47 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Imai(共著者にT.Takeuchi): "A DIRECT APPROACH TO AN INVERSE PROBLEM"GAKUTO International Series, Mathematical Sciences and Applications. Vol.12. 223-232 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Tarmizi(共著者に今井仁司,竹内敏己): "1次元1相ステファン問題の無限精度数値シミュレーション"信学技報,電子情報通信学会. Vol.99,No.20. 45-52 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 今井仁司(共著者に竹内敏己): "NUMERICAL SIMULATION OF ONE-PHASE STEFAN PROBLEMS IN ARBITRARY"数理解析研究所講究録. Vol.1129. 129-138 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.IMAI(共著者にT.TAKEUCHI): "Infinite Precision Numerical Simulation for PDE systems and Its Applications"数理解析研究所講究録. Vol.1147. 42-50 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Tarmizi(共著者にH.IMAI and T.TAKEUCHI): "NUMERICAL SIMULATION OF SOME ONE-DIMENSIONAL FREE BOUNDARY PROBLEMS IN ARBITRARY PRECISION"GAKUTO International Series, Mathematical Sciences and Applications. Vol.14. 440-452 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Tarmizi(共著者にH.IMAI and T.TAKEUCHI): "NUMERICAL SIMULATION OF ONE-DIMENSIONAL FREE BOUNDARY PROBLEMS IN INFINITE PRECISION"GAKUTO International Series, Mathematical Sciences and Applications. Vol.10,No.2(in press). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Ikeda: "Parallel computation of interfacial dynamics"Gakuto International Series, Mathematical Sciences and Applications. Vol.11. 52-61 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Ikeda: "Parallel computation of spots-and-stripes patterns formed by motile bacteria"Proceedings of Third China-Japan Joint Seminar on Numerical Mathematics (eds.Z.C.Shi and M.Mori), Science Press Beijing. 57-72 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Ikeda(共著者にT.Ikeda): "Bifurcation phenomena from standing pulse solutions of bistable reaction-diffusion systems"Journal of Dynamics and Differential Equations. Vol.12,No.1. 117-167 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Ikeda: "Hopf bifurcation of traveling pulses in some bistable reaction-diffusion systems"Methods and Applications of Analysis. Vol.7,No.1. 165-194 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Mimura(共著者にT.Ikeda): "Dynamics of travelling breathers arising in reaction-diffusion systems-ODE modelling approach-"Hiroshima Mathematical Journal. Vol.30,No.2. 221-256 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 射場博之(共著者に磯祐介): "Laplace方程式のBEM解析における収束評価の精密化"境界要素法論文集. 第16集. 31-36 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] S.L.Zhang(共著者にC.H.Jin): "Product-Type Krylov-Subspace Methods for Solving Nonsymmetric Linear Systems"GAKUTO International Series, Mathematical Science and Applications. Vol.11. 95-106 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Tabata: "A precise computation of drag coefficients of a sphere"The International Journal of Computational Fluid Dynamics. Vol.9. 303-311 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Itakura(共著者にM.Tabata): "An error analysis of streaklines as curves"Japan Journal of Industrial and Applied Mathematics. Vol.16. 1-23 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] A.Suzuki(共著者にM.Tabata): "Numerical solution of an unsteady Earth's mantle convection problem by a stabilized finite element method"Theoretical and Applied Mechanics. Vol.48. 371-378 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Tabata: "Error estimates for finite element approximations of drag and lift in nonstationary Navier-Stokes flows"Japan Journal of Industrial and Applied Mathematics. Vol.17. 371-389 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Tabata: "A stabilized finite element method for the Rayleigh-Benard equations with infinite Prandtl number in a spherical shell"Computational Methods in Applied Mechanics and Engineering. Vol.190. 387-402 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Tomoeda: "Numerical computations to support splitting phenomena in some diffusion equations"INFORMATION. Vol.3. 331-339 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Nakaki(共著者にK.Tomoeda): "Numerical waiting time of interfaces in one-dimensional porous medium equations"Free Boundary Problems : Theory and Applications, Mathematical Sciences and Applications. Vol.14. 324-333 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Nakao,M.T: "On best constant in the optimal error stimates for the H^1_0-projection into piecewise polynomial spaces"Journal of Approximation Theory. Vol.93. 491-500 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Nakao,M.T: "Numerical verifications of eigenvalues of second-order elliptic operators"Japan Journal of Industrial and Applied Mathematics. Vol.16. 307-320 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Nagatou(共著者にK Nakao,M.T.): "An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness"Numerical Functional Analysis and Optimization. Vol.20. 543-565 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Minamoto,T.(共著者にNakao,M.T): "Numerical verification method for solutions of the perturbed Gelfand equation"Methods and Applications of Analysis. Vol.7. 251-262 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Toyonaga,K.(共著者にNakao,M.T): "Numerical enclosure for the optimal threshold probability in discounted Markov decision processes"Bulletin of Informatics and Cybernetics. Vol.32. 81-90 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Pyi Aye(共著者にT.Nishida): "Heat convection of compressible fluid, in Recent Developments in Domain Decomposition Methods and Flow Problems,"Mathematical Sciences and Applications. Vol.11. 107-115 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Nishida: "Bifurcation problems for equations of fluid dynamics and computer assisted proof"Taiwanese Journal of Mathematics. Vol.4,No.1. 119-127 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Nishida(共著者にT.Ikeda): "Pattern Formation of Heat Convection Problems"Lecture Notes in Computational Science and Engineering, Springer, ed.by T.Miyoshi. 1-10 (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Y.Watanabe(共著者にM.Nakao,T.Nishida): "A numerical verification of bifurcated solutions for the heat convection problems"Journal of Mathematical Fluid Mechanics. (to appear). (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] S.Fujima: "Iso-P2P1/P1/P1 domain-decomposition finite-element method for the Navier-Stokes equations"Domain Decomposition Methods 10, J.Mandel,C.Farhat and X-C.Cai(eds.),Contemporary Mathematics,A.M.S.,. Vol.218. 246-253 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] S.Fujima: "Mortar element method for flow problems in primitive variables form"The International Journal of Computational Fluid Dynamics. Vol.9. 209-219 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 藤間昌一: "A domain-decomposition finite-element scheme for flow problems-Choice of elements-"数理解析研究所講究録. Vol.1129. 9-22 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Imai (Coauthor : T.Takeuchi): "On arbitrary precision numerical simulation of partial differential equations"RIMS Kokyuroku, Kyoto University. Vol.1040. 92-99 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.Imai (Coauthor : T.Takeuchi): "Arbitrary precision numerical simulation of partial differential equations with smooth solutions"Cooperative Research Report, The Institute of Statistical Mathematics. Vol.110. 158-167 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.IMAI (Coauthor : T.TAKEUCHI): "On Numerical Simulation of Partial Differential Equations in Infinite Precision"Advances in Mathematical Sciences and Applications. Vol.9, No.2. 1007-1016 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.KUSHIDA (Coauthor : H.IMAI, T.TAKEUCHI): "On Multiple Precision Calculation of Eigenvalues and Eigenvectors of Matrices"NIFS-PROC. 40. 48-57 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.IMAI (Coauthor : T.TAKEUCHI): "Application of the Infinite-Precision Numerical Simulation to an Inverse Problem"NIFS-PROC. 40. 38-47 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.Imai (Coauthor : T.Takeuchi): "A DIRECT APPROACH TO AN INVERSE PROBLEM"GAKUTO International Series, Mathematical Sciences and Applications. Vol.12. 223-232 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tarmizi (Coauthor : H.Imai, T.Takeuchi): "Infinite precision numerical simulation of a one-dimensional one-phase Stefan problem"Technical Report of IEICE. Vol.99, No.20. 45-52 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tarmizi (Coauthor : H.Imai, T.Takeuchi): "NUMERICAL SIMULATION OF ONE-PHASE STEFAN PROBLEMS IN ARBITRARY"RIMS Kokyuroku, Kyoto University. Vol.1129. 129-138 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.IMAI (Coauthor : T.TAKEUCHI): "Infinite Precision Numerical Simulation for PDE systems and Its Applications"RIMS Kokyuroku, Kyoto University. Vol.1147. 42-50 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tarmizi (Coauthor : H.Imai, T.Takeuchi): "NUMERICAL SIMULATION OF SOME ONE-DIMENSIONAL FREE BOUNDARY PROBLEMS IN ARBITRARY PRECISION"GAKUTO International Series, Mathematical Sciences and Applications. Vol.14. 440-452 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tarmizi (Coauthor : H.Imai, T.Takeuchi): "NUMERICAL SIMULATION OF ONE-DIMENSIONAL FREE BOUNDARY PROBLEMS IN INFINITE PRECISION"GAKUTO International Series, Mathematical Sciences and Applications. Vol.10, No.2 (in press). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Ikeda: "Parallel computation of interfacial dynamics"Gakuto International Series, Mathematical Sciences and Applications. Vol.11. 52-61 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Ikeda: "Parallel computation of spots-and-stripes patterns formed by motile bacteria"Proceedings of Third China-Japan Joint Seminar on Numerical Mathematics (eds. Z.C.Shi and M.Mori), Science Press Beijing. 57-72 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.Ikeda (Coauthor : T.Ikeda): "Bifurcation phenomena from standing pulse solutions of bistable reaction-diffusion systems"Journal of Dynamics and Differential Equations. Vol.12, No.1. 117-167 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Ikeda: "Hopf bifurcation of traveling pulses in some bistable reaction-diffusion systems"Methods and Applications of Analysis. Vol.7, No.1. 165-194 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.Mimura (Coauthor : T.Ikeda): "Dynamics of traveling breathers arising in reaction-diffusion systems -ODE modelling approach-"Hiroshima Mathematical Journal. Vol.30, No.2. 221-256 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.Matoba (Coauthor : Y.Iso): "Improvement of the convergence estimate in BEM analysis for Laplace equations"Proceeding of BEM. Vol.16. 31-36 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S.L.Zhang (Coauthor : C.H.Jin): "Product-Type Krylov-Subspace Methods for Solving Nonsymmetric Linear Systems"GAKUTO International Series, Mathematical Science and Applications. Vol.11. 95-106 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.Tabata: "A precise computation of drag coefficients of a sphere"The International Journal of Computational Fluid Dynamics. Vol.9. 303-311 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Itakura (Coauthor : M.Tabata): "An error analysis of streaklines as curves"Japan Journal of Industrial and Applied Mathematics. Vol.16. 1-23 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] A.Suzuki (Coauthor : M.Tabata): "Numerical solution of an unsteady Earth's mantle convection problem by a stabilized finite element method"Theoretical and Applied Mechanics. Vol.48. 371-378 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.Tabata: "Error estimates for finite element approximations of drag and lift in nonstationary Navier-Stokes flows"Japan Journal of Industrial and Applied Mathematics. Vol.17. 371-389 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.Tabata: "A stabilized finite element method for the Rayleigh-Benard equations with infinite Prandtl number in a spherical shell"Computational Methods in Applied Mechanics and Engineering. Vol.190. 387-402 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Tomoeda: "Numerical computations to support splitting phenomena in some diffusion equations"INFORMATION. Vol.3. 331-339 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Nakaki (Coauthor : K.Tomoeda): "Numerical waiting time of interfaces in one-dimensional porous medium equations"Free Boundary Problems : Theory and Applications, Mathematical Sciences and Applications. Vol.14. 324-333 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T: "On best constant in the optimal error stimates for the H^1_0-projection into piecewise polynomial spaces"Journal of Approximation Theory. Vol.93. 491-500 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T: "Numerical verifications of eigenvalues of second-order elliptic operators"Japan Journal of Industrial and Applied Mathematics. Vol.16. 307-320 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nagatou (Coauthor : K Nakao, M.T.): "An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness"Numerical Functional Analysis and Optimization. Vol.20. 543-565 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Minamoto, T.(Coauthor : Nakao, M.T): "Numerical verification method for solutions of the perturbed Gelfand equation"Methods and Applications of Analysis. Vol.7. 251-262 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Toyonaga, K.(Coauthor : Nakao, M.T): "Numerical enclosure for the optimal threshold probability in discounted Markov decision processes"Bulletin of Informatics and Cybernetics. Vol.32. 81-90 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Pyi Ay (Coauthor : T.Nishida): "Heat convection of compressible fluid, in Recent Developments in Domain Decomposition Methods and Flow Problems"Mathematical Sciences and Applications. Vol.11. 107-115 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Nishida: "Bifurcation problems for equations of fluid dynamics and computer assisted proof"Taiwanese Journal of Mathematics. Vol.4, No.1. 119-127 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Nishida (Coauthor : T.Ikeda): "Pattern Formation of Heat Convection Problems"Lecture Notes in Computational Science and Engineering, Springer, ed.by T.Miyoshi. 1-10 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Y.Watanabe (Coauthor : M.Nakao, T.Nishida): "A numerical verification of bifurcated solutions for the heat convection problems"Journal of Mathematical Fluid Mechanics. (to appear). (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S.Fujima: "Iso-P2 P1/P1/P1 domain-decomposition finite-element method for the Navier-Stokes equations"Domain Decomposition Methods 10, J.Mandel, C.Farhat and X-C.Cai (eds.), Contemporary Mathematics, A.M.S.. Vol.218. 246-253 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S.FUJIMA: "Mortar element method for flow problems in primitive variables form"The International Journal of Computational Fluid Dynamics. Vol.9. 209-219 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S.FUJIMA: "A domain-decomposition finite-element scheme for flow problems -Choice of elements-"RIMS Kokyuroku, Kyoto University. Vol.1129. 9-22 (2000)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2002-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi