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

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
Project Status Completed (Fiscal Year 2000)
Budget Amount *help
¥26,900,000 (Direct Cost: ¥26,900,000)
Fiscal Year 2000: ¥5,400,000 (Direct Cost: ¥5,400,000)
Fiscal Year 1999: ¥5,300,000 (Direct Cost: ¥5,300,000)
Fiscal Year 1998: ¥16,200,000 (Direct Cost: ¥16,200,000)
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.

Report

(4 results)
  • 2000 Annual Research Report   Final Research Report Summary
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • Research Products

    (109 results)

All Other

All Publications (109 results)

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

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

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

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

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

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] T.Ikeda: "Parallel computation of interfacial dynamics"Gakuto International Series, Mathematical Sciences and Applications. Vol.11. 52-61 (1998)

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] K.Tomoeda: "Numerical computations to support splitting phenomena in some diffusion equations"INFORMATION. Vol.3. 331-339 (2000)

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.IMAI (Coauthor : T.TAKEUCHI): "Application of the Infinite-Precision Numerical Simulation to an Inverse Problem"NIFS-PROC. 40. 38-47 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] T.Ikeda: "Parallel computation of interfacial dynamics"Gakuto International Series, Mathematical Sciences and Applications. Vol.11. 52-61 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] K.Tomoeda: "Numerical computations to support splitting phenomena in some diffusion equations"INFORMATION. Vol.3. 331-339 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Imai (共著者に T.Takeuchi): "Infinite Precision Numerical Simulation for PDE systems and Its Applications"数理解析研究所講究録. Vol.1147. 42-50 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Tarmizi (共著者に 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)

    • Related Report
      2000 Annual Research Report
  • [Publications] Tarmizi (共著者に H.Imai,T.Takeuchi): "NUMERICAL SIMULATION OF ONE-DIMENSIONAL FREE BOUNDARY PROBLEMS IN INFINITE PRECISION"Advances in Mathematical Sciences and Applications. Vol.10,No.2(in press). (2000)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [Publications] Minamoto,T. (共著者に Nakao,M.T): "Numerical verification method for solutions of the perturbed Gelfand equation"Methoda and Applications of Analysis. Vol.7. 251-262 (2000)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [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)

    • Related Report
      2000 Annual Research Report
  • [Publications] 藤間昌一: "A domain-decomposition finite-element scheme for flow problems-Choice of elements-"数理解析研究所講究録. Vol.1129. 9-22 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] H,Imai (共著者にT.Takeuchi): "A DIRECT APPROACH TO AN INVERSE PROBLEM"GAKUTO International Series,Mathematical Scinces and Applications. Vol.12. 223-232 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] H,Imai (共著者にT.Takeuchi): "IN NUMERICAL SIMULATION OF PARTIAL DIFFERENRIAL EQUATIONS IN INFINITE PRECISION"Advances in Mathematical Sciences and Applications. Vol.9,No.2. 1007-1016 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] K.Itakura (共著者にM.Tabata): "An error analysis of streaklines as curves"Japan Journal of Industrial and Applied Mathematics. Vol.16. 1-23 (1999)

    • Related Report
      1999 Annual Research Report
  • [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)

    • Related Report
      1999 Annual Research Report
  • [Publications] K.Tomoeda: "Numerical computations to support splitting phenomena in some diffusion equations"Information. Vol.3(to appear). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] T.Nakaki (共著者にK.Tomoeda): "Numerical approach to the waiting time for the one-dimesional porous medium equation"Preprint Series in Mathematics,Kyusyu University. 1999-14. 1-14 (1999)

    • Related Report
      1999 Annual Research Report
  • [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)

    • Related Report
      1999 Annual Research Report
  • [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)

    • Related Report
      1999 Annual Research Report
  • [Publications] T.Nishida: "Bifurcation problems for equations of fluid dynamics and computer assisted proof"Taiwanese Journal of Mathematics. Vol.4,No.1. 1-9 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] M.Nakao (共著者にT.Nishida): "A numerical verification of bifurcated solutions for the heat convection problems"Journal of Mathematical Fluid Mechanics. (to appear). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] T.TAKEUCHI(共著者:H.IMAI他): "On Numerical Simulation of Partial Differential Equations in Arbitrary Precision" Science International(Lahore). (in press).

    • Related Report
      1998 Annual Research Report
  • [Publications] H.IMAI(共著者:T.TAKEUCHI他): "On Numerical Simulation of Partial Differential Equations in Infinite Precision" Advances in Mathematical Sciences and Applications. (in press).

    • Related Report
      1998 Annual Research Report
  • [Publications] M.KUSHIDA(共著者:H.IMAI, T.TAKEUCHI): "On Multiple Precision Calculation of Eigenvalues and Eigenvectors of Matrices" NIFS-PROC. (in press).

    • Related Report
      1998 Annual Research Report
  • [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. 57-72 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Nakao,M.T.: "Numerical verification of solutions for nonlinear elliptic problems using L^∞ residual method" Journal of Mathematical Analysis and Applications. Vol.217. 246-262 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Nakao,M.T.: "On best constant in the optimal error stimates for the H^1_0-projection into piecewise polynomial spaces" Journal of Journal of Approximation Theory. Vol.93. 491-500 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Pyi Aye(共著者:Takaaki Nishida): "Heat convection of compressible fluid" Mathematical Sciences and Applications. Vol.11. 107-115 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] M.Tabata: "A precise computation of drag coefficients of a sphere" The International Journal of Computational Fluid Dynamics. Vol.9. 303-311 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shoichi Fujima: "Iso-P2 P1/P1/P1 domain-decomposition/finite-element method for the Navier-Stokes equations" “Domain Decomposition Methods 10", Contemporary Mathemat-ics,American Mathematical Society. Vol.218. 246-253 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shoichi Fujima: "Mortar element method for flow problems in primitive variables form" International Journal of Computational Fluid Dynamics. Vol.9. 209-219 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 磯 祐介: "熱方程式逆問題" 応用数理. Vol.8. 19-23 (1998)

    • Related Report
      1998 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi