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

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)
伊理 正夫  中央大学, 理工学部, 教授 (40010722)
Project Period (FY) 1996 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥9,400,000 (Direct Cost: ¥9,400,000)
Fiscal Year 1997: ¥4,500,000 (Direct Cost: ¥4,500,000)
Fiscal Year 1996: ¥4,900,000 (Direct Cost: ¥4,900,000)
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.

Report

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

    (34 results)

All Other

All Publications (34 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
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Nakao, M.T.: "Constructive L^2 error estimates for finite element solutions of the Stokes equations" Reliable Computing. 4(to appear). (1998)

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 中尾 充宏: "精度保証付き数値計算" (株)日本評論社(出版予定), 約100頁 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Nakao, M.T.& Yamamoto, N.: Validated numerical computations (in Japanese). Nihon-hyoron-sha (to apperar), (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Nakao,M.T.: "Numerical veritication of solutions for nonlinear elliptic problems using L^∞ residual method" Journal of Mathematical Analysis and Applintions. 217. 246-262 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Nakao,M.T.: "Constructive L^2 error estimates for finite element solutions of the Stokes eqpations" Reliable Computing. 4・2(to appear). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Nakao,M.T.: "Numerical Verification of solutions for variational inequalities" Numerische Mathematrk. (to appear). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Tsuchiya,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)

    • Related Report
      1997 Annual Research Report
  • [Publications] Murota,K.: "Characterizing a valuated delta-matroid as a family of delta-matroids" Journal of Operations Research Society of Japan. 40. 565-578 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Sugihara,M.: "Numerical conformal mapping onto paralell slit domains with applcation to potential flow analysis" Theoretical and Applied Mechanics. 46. 295-305 (1997)

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

    • Related Report
      1997 Annual Research Report
  • [Publications] Watnabe,Y.: "Veratied computation of solutions for nondifferentiable elliptic equations related to MHD equilibria" Nonlinear Analysis,Theory,Methods & Appliations. 28. 577-587 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Sugihara,M.: "Numerical solution of Burgers eqration with a large Reynolds number" Reliable Compnting. 2. 173-179 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Ohtsuka,K.: "Mathematical analysis of 3-D fructure phenomenon by Grifith′s energy balance theory under increasing" Theoretical and Applied Mechanics. 45. 99-103 loads (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Ishihara,k.: "Optimum SOR iterations for finite difference equations arising from nonlinear periodic boundary value problems" Mathematica Japonica. 44. 435-448 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Iohara,T.: "Benard-Marangoni convection with a deformable surface" Kokyuroku,RIMS,Kyoto Univ.974. 30-42 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Fu,R.: "Finite element analysis of free vibration of liquid-tilled axisymmetric tanks" Acta Mathematicae Applicatae Sinica. 12. 50-58 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Ushijima,T.: "Advances in Numerical Mathematics" Kinokuniya,Tokyo, 278 (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