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

Construction of a Practical Computation Code for Heat Convection Problems with Slow Flow

Research Project

Project/Area Number 11554003
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section展開研究
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKYUSHU UNIVERSITY

Principal Investigator

TABATA Masahisa  Faculty of Mathematics, Kyushu University, Prof., 大学院・数理研究院, 教授 (30093272)

Co-Investigator(Kenkyū-buntansha) FUKUMOTO Yasuhide  Faculty of Mathematics, Kyushu University, Assoc. Prof., 大学院・数理研究院, 助教授 (30192727)
HONDA Satoru  Hiroshima Univ., Graduate School of Science, Prof., 大学院・理学研究科, 教授 (00219239)
NAKAO Mitsuhiro  Faculty of Mathematics, Kyushu University, Prof., 大学院・数理研究院, 教授 (10136418)
SUZUKI Atsushi  Faculty of Mathematics, Kyushu University, Assistant, 大学院・数理研究院, 助手 (60284155)
YAMAMOTO Nobito  Univ. of Electro-Communications, Assoc. Prof., 電気通信学部, 助教授 (30210545)
Project Period (FY) 1999 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥12,700,000 (Direct Cost: ¥12,700,000)
Fiscal Year 2001: ¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2000: ¥4,100,000 (Direct Cost: ¥4,100,000)
Fiscal Year 1999: ¥5,800,000 (Direct Cost: ¥5,800,000)
KeywordsFinite element method / Parallel computation / Earth's mantle convection / Melting glass convection / Temperature dependent viscosity / Heat convection problems / Error estimation constant / Accuracy guaranteed computation / 一様可解性 / 硝子溶解問題 / 渦輪の速度 / 安定化有限要素法 / 部分領域分割 / クリロフ部分空間法 / 精度保証付き計算 / 誤差評価 / 計算機援用証明 / マントル対流 / 渦輪 / 地球マントル対流問題 / ナヴィエ・ストークス方程式 / 硝子溶融問題 / 精度保証付き固有値問題 / 数値シミュレーション
Research Abstract

(1) We have built a finite element scheme for solving numerically heat convection problems with slow flow like Earth's mantle convection in geophysics and melting glass convection in glass product furnaces. We have shown unconditional stability of the scheme and the convergence rate of the finite element solutions. These problems are modeled by Rayleigh-Benard equations with infinite Prandtl number, whose viscosity is strongly dependent on temperature. The obtained scheme is practically useful for three-dimensional problems. In order to reduce computation load we have employed the tetrahedral linear element for every unknown functions, velocity, pressure and temperature, and used stabilized finite element method.
(2) We have constructed a computation code for the scheme mentioned above and implemented it on parallel computers. The Earth's mantle convection problem is solved in a spherically symmetric domain. By virtue of this property we have divided the domain into the union of congrue … More nt subdomains, which have allowed us to keep only stiffness matrices in a representative subdomain in solving Stokes equations by a preconditioned iterative method. As a result the required memory has reduced drastically. We could get speeding up of about 20 times in using 24 CPUs of Fujitsu GP7000, a shared memory type computer at Computing and Communications Center, Kyushu University. Using this code, we have studied the viscosity ratio dependency of stationary temperature fields and flow patterns. When the ratio increases, the heads of plumes flatten and the number of plumes increases.
(3) We have presented a numerical verification method for solutions of the Navier-Stokes equations, and succeeded in the verification for low Reynolds number problems. Performing accuracy guaranteed computation, we have given a computer aided proof to the existence of bifurcation branches for two-dimensional heat convection problems.
(4) Using a code for the convection in a three-dimensional sphere, we have studied the relation between the existence of continents and mantle convection. We have shown numerically that plumes arive under continents in some tens of billion years. Less

Report

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

    (42 results)

All Other

All Publications (42 results)

  • [Publications] Tabata, M.: "Uniform solvability of finite element solutions in approximate domains"Japan Journal of Industrial and Applied Mathematics. 18. 567-585 (2001)

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Nakao, M.T.et al.: "Verified numerical computations for an inverse elliptic eigenvalue problem with finite data"Japan Journal of Industrial and Applied Mathematics. 18. 587-602 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Nakao, M.T., Yamamoto, N.: "A guaranteed bound of the optimal constant in the error estimates for linear triangular element"Computing Supplementum. 15. 709-721 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Yoshida, M., Honda, S.et al.: "Numerical simulation for the prediction of the plate motions: Effects of lateral viscosity variations in the lithosphere"Earth Planets Space. 53. 709-721 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fukumoto, Y.: "Higher-order asymptotic theory for the velocity field induced by an inviscidced vortex ring"Fluid Dynnamics Research. 30. 67-95 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Tabata: "Uniform solvability of finite element solutions in approximate domains"Japan Journal of Industrial and Applied Mathematics. 18. 567-585 (2001)

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

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. T. Nakao, Y. Watanabe, and N. Yamamoto: "Verified numerical computations for an inverse elliptic eigenvalue problem with finite data"Japan Journal of Industrial and Applied Mathematics. 18. 587-602 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. T. Nakao and N. Yamamoto: "A guaranteed bound of the optimal constant in the error estimates for linear triangular element"Computing Supplementum. 15. 165-173 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Honda, T. Nakakuki, Y. Tatsumi, and T. Eguchi: "A simple model of mantle convection including a past history of yielding"Geophysical Research Letters. 27. 1559-1564 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Yoshida, S. Honda, M. Kido, and Y. Iwase: "Numerical simulation for the prediction of the plate motions : Effects of lateral viscosity variations in the lithosphere"Earth Planets and Space. 53. 709-721 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Fukumoto and H. K. Moffatt: "Motion and expansion of a viscous vortex ring. Part 1. A higher-order asymptotic formula for the velocity"Journal of Fluid Mechanics. 417. 1-45 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Fukumoto: "Higher-order asymptotic theory for the velocity field induced by an inviscid vortex ring"Fluid Dynamics Research. 30. 67-95 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Kimura and N. Yamamoto: "On explicit bounds in the error for the H^1_0-projection into piecewise polynomial spaces"Bulletin of Informatics and Cybernetics. 31. 109-116 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] N. Yamamoto: "A simple method for error bounds of eigenvalues of symmetric matrices"Linear Algebra and its Application. 324. 227-234 (2001)

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Tabata, M.: "Uniform solvability of finite element solutions in approximate domains"Japan Journal of Industrial and Applied Mathematics. 18. 567-585 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Mizuyama, Y., Tabata, M.: "Lagrangian finite element analysis of the free surface of an incompressible dielectric liquid under an electric field"Theoretical Applied Mechanics. 50. 403-410 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Nakao, M.T.et al.: "Verified numerical computations for an inverse elliptic eigenvalue problem with finite data"Japan Journal of Industrial and Applied Mathematics. 18. 587-602 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Nakao, M.T., Yamamoto, N.: "A guaranteed bound of the optimal constant in the error estimates for linear triangular element"Computing Supplementum. 15. 165-173 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yoshida, M., Honda, S.et al.: "Numerical simulation for the prediction of the plate motions : Effects of lateral viscosity variations in the lithosphere"Earth Planets Space. 53. 709-721 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Fukumoto, Y.: "Higher-order asymptotic theory for the velocity field induced by an inviscid vortex ring"Fluid Dynnamics Research. 30. 67-95 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] M.Tabata and A.Suzuki: "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. 190. 387-402 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Tabata and D.Tagami: "Error estimates for finite element approximations of drag and lift in nonstationary Navier-Stokes flows"Japan Journal of Industrial and Applied Mathematics. 17. 371-389 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Tabata and D.Tagami: "A finite element analysis of a linearized problem of the Navier-Stokes equations with surface tension"SIAM Journal on Numerical Analysis. 38. 40-57 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Tabata: "Uniform solvability of finite element solutions in approximate domains"Japan Journal of Industrial and Applied Mathematics. (発表予定).

    • Related Report
      2000 Annual Research Report
  • [Publications] S.Honda,M.Yoshida,S.Ootorii and Y.Iwase: "The timescales of plume generation caused by continental aggregation, Earth Planet"Sci.Lett.. 176. 31-43 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] S.Honda,T.Nakakuki,Y.Tatsumi and T.Eguchi: "A simple model of mantle convection including a past history of yielding "Geophys.Res.Lett.. 27. 1559-1564 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.T.Nakao,S.H.Lee and C.S.Ryoo: "Numerical verification of solutions for elasto-plastic torsion problems"Computers & Mathematics with Applications. 39. 195-204 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.T.Nakao,Y.Watanabe and N.Yamamoto: "Verified numerical computations for an inverse elliptic eigenvalue problem with finite data"Japan Journal of Industrial and Applied Mathematics. (発表予定).

    • Related Report
      2000 Annual Research Report
  • [Publications] T.Rozi and Y.Fukumoto: "The Most Unstable Perturbation of Wave-Packet Form inside Hill's Vortex"J.Phys.Soc.Japan. 69. 2700-2701 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Y.Fukumoto and H.K.Moffatt: "Motion and expansion of a viscous vortex ring : Part 1. A higher-order asymptotic formula for the velocity"J.Fluid Mech.. 417. 1-45 (2000)

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

    • Related Report
      2000 Annual Research Report
  • [Publications] N.Yamamoto: "A simple method for error bounds of eigenvalues of symmetric matrices"Linear Algebra and its Applications. (発表予定).

    • Related Report
      2000 Annual Research Report
  • [Publications] Suzuki,A.: "Numorical solution of an unsteady Earth's mantle convection problem by a stabilized finite element method"Theoretical and Applied Mechanics. 48. 371-378 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Tabata,M.: "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. (発表予定).

    • Related Report
      1999 Annual Research Report
  • [Publications] Watanabe,Y.: "A numerical verification method of solutions for the Navier-Strokes equations"Reliable Computing. 5. 347-357 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Honda,S.: "The timescales of plume generation caused by continental aggregation"Earth and Planetary Science Letters. (発表予定).

    • Related Report
      1999 Annual Research Report
  • [Publications] Fukumoto,Y.: "Motion and expansion of a viscous vortex ring.Part1.A higher-order asymptotic formula for the velocity"Journal of Fluid Mechanics. (発表予定).

    • Related Report
      1999 Annual Research Report
  • [Publications] Nagatou,K.: "An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness"Numerical Functional Analysis and Optimization. 20. 543-565 (1999)

    • Related Report
      1999 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi