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

1997 Fiscal Year Final Research Report Summary

New Approaches to Scientific Computing and Applied Analysis

Research Project

Project/Area Number 08304018
Research Category

Grant-in-Aid for Scientific Research (A)

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

Principal Investigator

NAKAO Mitsyhiro  KYUSYU UNIVERSITY Graduate School of Mathematics, Professor, 大学院・数理学研究科, 教授 (10136418)

Co-Investigator(Kenkyū-buntansha) YAMAMOTO Tetsuro  Ehime University, Mathematics, professor, 理学部, 教授 (80034560)
MORI Masatake  Kyoto University, Res.Inst.Math.Sci., professor, 数理解析研究所, 教授 (20010936)
MUROTA Kazuo  Kyoto University, Res.Inst.Math.Sci., professor, 数理解析研究所, 教授 (50134466)
NISHIDA Takaaki  Kyoto University, Mathematics, Professor, 大学院・理学研究科, 教授 (70026110)
USHIJIMA Teruo  Univ.Elec.Comm., Computer Science, Professor, 電気通信学部, 教授 (10012410)
Project Period (FY) 1996 – 1997
KeywordsNumerical analysis / Numerical solution of PDEs / Mathematical analysis for nonlinear phenomena / Validated computation
Research Abstract

In this research, we extended and improved the general and existing numerical methods as well as analyzed and developed some new methods for the numerical analysis for individual mathematical problems appeared in the natural phenomena. The important research results done by investigators and co-investigators are as follows :
1. (by Nakao) Several refinements were established for the numerical verification methods of solutions for elliptic problems. And the basic formulation and some numerical results were obtained for the eigenvalue problems of second order elliptic operator. Moreover, some a posteriori and constructive a priori error estimates for the finite element solutions of the Stokes problems, which is a preliminary result for the verified computation of solutions for the Navier-Stokes equation.
2. (by Ishihara) The convergence analysis was done on some iterative method for nonlinear equations.
3. (by Iso) A practically efficient technique was established for the ill-posed problems by using the boundary element method.
4. (by Ushijima) Using Steklov operator, several results of mathematical and numerical analysis were derived for the finite element approximation of the infinite dimensional problems.
5. (by Ohtsuka) The modelization and analysis were carried out for the fracture phenomena.
6. (by Tadata) The accurate computational method for the drag and lift coefficients was obtained for the Navier-Stokes equations.
7. (by Mori and Sugihara) Double exponential formula was studied with application to the Sinc approximation of functions as well as several kinds of difference schemes for PDEs were analyzed.
8. (by Nishida) Some bifurcation phenomena were studied by the computer assisted proof.
9. (by Murota) The method of discrete convex analysis was established for the nonlinear optimization.
10. (by Yamamoto) Some mathematical results were established for nonlinear SOR method.

  • Research Products

    (20 results)

All Other

All Publications (20 results)

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

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Nakao, M.T.: "Constructive L^2 error estimates for finite element solutions of the Stokes equations" Reliable Computing. 4(to appear). (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Nakao, M.T.: "Numerical verification of solutions for variational in equalities" Numerische Mathematik. (to appear). (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Tsuchiya, T.: "Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points" Japan J.Indust.Appl.Math.14. 357-372 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Murota, K.: "Characterizing a valuated delta-matroid as a tamily of delta-matroid" Journal of Operations Research society of Japan. 40. 565-578 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Sugihara, M.: "Numerical conformal mapping on to parallel slit domains with application to potential flow analysis" Theoretical and Applied Mechanics. 46. 295-305 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 中尾 充宏: "精度保証付き数値計算" (株)日本評論社(出版予定), 約100頁 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Watanabe, Y., Nakao, M.T.& Yamamoto, N.: "Verified computation of solutions for nondif-ferentiable elliptic equation related to MHD equilibria" Nonlinear Analysis, Teory, Methods and Applications. 28. 577-587 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T.& Yamamoto, N.: "Numerical verification of solutions for nonlinear elliptic problems using L^* residual method" Jouranal of Mathematical Analysis and Applicatons. 217. 246-262 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T.Yamamoto, N.& Kimura, S.: "On best constant in the optimal error stimates for the H^1_-projection into piecewise polynomial spaces, Preprint Series in Graduate School of Mathematics, Kyushu University, Kyushu-MPS-1996-21" Journal of Approximation Theory.(to appear). (1996)

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

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tsuchiya, T.& Nakao, M.T.: "Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points" Japan Journal of Industrial and Applied Mathematics. 14. 357-372 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T., Yamamoto, N.& Watanabe, Y.: "Constructive L^2 error estimates for finite element solutions of the Stokes equations, Reliable Computing" 4. 1-10 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Ryoo, C-S & Nakao, M.T.: "Numerical verification of solutions for variational inequalities, Preprint Series, Graduate School of Mathematics, Kyushu University, Kyushu-MPS-1997-33" to appear in Numerische Mathematik.(1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T., Yamamoto, N.& Watanabe, Y.: "A posteriori and constructive a priori error bounds for finite element solutions of Stokes equations" to appear in Journal of Computational and Applied Mathematics. (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Murota, K.: "Characterizing a valuated delta-matroid as a family of delta-matroid" Journal of Operations Research Society of Japan. 40. 565-578 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Sugihara, M.: "Numerical conformal mapping onto parallel slit domains with applications to potential flow analysis" Theoretical and Applied Mechanics. 46. 295-305 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Usijima, T.: "Finite eliment analysis for the eigenvalue problem of the linear water wave in a water region with reentrant corner" to appear in Japan Journal of Industrial and Applied Mathematics.

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T., Yamamoto, N.& Watamabe, Y.: Guaranteed error bounds for finite element solutions of the Stokes problem, in Scientific Computing and Validated Numerics (G.Alefeld et al.eds.). Akademie Verlag, Berlin, 258-264 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nakao, M.T.& Yamamoto, N.: Validated numerical computations (in Japanese). Nihon-hyoron-sha (to apperar), (1998)

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

URL: 

Published: 1999-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi