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

Development and analysis of high-quality numerical methods and simulation for flow problems

Research Project

Project/Area Number 16104001
Research Category

Grant-in-Aid for Scientific Research (S)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKyushu University

Principal Investigator

TABATA Masahisa  Kyushu University, 大学院・数理学研究院, 教授 (30093272)

Co-Investigator(Kenkyū-buntansha) NAKAO Mitsuhiro  九州大学, 大学院・数理学研究院, 教授 (10136418)
NAKAKI Tatsuyuki  広島大学, 大学院・理学研究科, 教授 (50172284)
WATANABE Yoshitaka  九州大学, 情報基盤研究開発センター, 准教授 (90243972)
KIMURA Masato  九州大学, 大学院・数理学研究院, 准教授 (70263358)
NAGATOU Kaori  九州大学, 大学院・数理学研究院, 准教授 (40326426)
SUZUKI Atushi  九州大学, 大学院・数理学研究院, 助教 (60284155)
Project Period (FY) 2004 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥79,040,000 (Direct Cost: ¥60,800,000、Indirect Cost: ¥18,240,000)
Fiscal Year 2008: ¥11,570,000 (Direct Cost: ¥8,900,000、Indirect Cost: ¥2,670,000)
Fiscal Year 2007: ¥11,310,000 (Direct Cost: ¥8,700,000、Indirect Cost: ¥2,610,000)
Fiscal Year 2006: ¥12,220,000 (Direct Cost: ¥9,400,000、Indirect Cost: ¥2,820,000)
Fiscal Year 2005: ¥20,540,000 (Direct Cost: ¥15,800,000、Indirect Cost: ¥4,740,000)
Fiscal Year 2004: ¥23,400,000 (Direct Cost: ¥18,000,000、Indirect Cost: ¥5,400,000)
Keywords非圧縮粘性流体 / 移動境界問題 / 有限要素法 / 計算機援用証明 / 精度保証計算 / 特性曲線有限要素法 / 二流体問題 / 創生解 / 精度保証付き数値計算 / 多孔質媒体流 / 混相流 / エネルギー安定性 / 渦群緩和振動 / 本質的スペクトル / ナヴィエ・ストークス問題 / 特性曲線法 / 事前事後誤差評価 / 熱対流問題 / 温度依存粘性 / 安定性 / 特性有限要素法
Research Abstract

流れ問題は非線形偏微分方程式で記述され, 解析的に解を求めることは一般に不可能である. 本研究では計算機を用いて高品質の数値解を得るための数値的手法の開発と解析と数値シミュレーションを行った. 熱対流問題に対する有限要素法の誤差評価の確立とその応用, 流れ問題に対する精度保証付き数値計算法の確立とその応用, 混相流問題に対するエネルギー安定有限要素法の開発, ナヴィエ・ストークス方程式のための特性曲線有限要素法の開発の成果を得た.

Report

(6 results)
  • 2008 Annual Research Report   Final Research Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (179 results)

All 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article (106 results) (of which Peer Reviewed: 73 results) Presentation (67 results) Book (3 results) Remarks (3 results)

  • [Journal Article] Numerical verification method for infinite dimensional eigenvalue problems2009

    • Author(s)
      Nagatou, K.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (to appear)

      Pages: 226-226

    • NAID

      10028169340

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] An iterative substructuring solver for the Stokes equations2009

    • Author(s)
      Suzuki, A.
    • Journal Title

      Proceedings of the First International Conference on Parallel, Distributed and Grid Computing for Engineering(eds. Topping, B. H. V., Ivanyi, P.) (Civil-Comp Press)(to appear)

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A single-step characteristic-curve finite element scheme second order in time for the incompressible Navier-Stokes equations2009

    • Author(s)
      Notsu, H. and Tabata, M.
    • Journal Title

      Journal of Scientific Computing 38

      Pages: 1-14

    • NAID

      120001000460

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009

    • Author(s)
      Kim, M. -N., Nakao, M. T., Watanabe, Y. and Nishida, T.
    • Journal Title

      Numerische Mathematik 111

      Pages: 389-406

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] On very accurate verification of solutions for boundary value problems by using spectral methods2009

    • Author(s)
      Nakao, M. T. and Kinoshita, T.
    • Journal Title

      JSIAM Letters 1

      Pages: 21-24

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] ある拡散現象における解のサポートの反復した分離・融合について2009

    • Author(s)
      友枝謙二, 中木達幸
    • Journal Title

      日本応用数理学会論文誌 19

      Pages: 25-37

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Watanabe, Y., Plum, M. and Nakao, M. T.
    • Journal Title

      ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift fur Angewandte Mathematik und Mechanik 89

      Pages: 5-18

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Watanabe, Y.
    • Journal Title

      ournal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] An iterative substructuring method for the discretized Stokes equations by a stabilized finite element method2009

    • Author(s)
      Suzuki, A.
    • Journal Title

      Proceedings of ALGORITMY 2009(eds. Handlovicova, A., Frolkovic, P., Mikula, K., Sevcovic, D.) (House of STU)

      Pages: 41-50

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A mass-conservative characteristic finite element scheme for convection-diffusion problems2009

    • Author(s)
      H. Rui, M. Tabata
    • Journal Title

      Journal of Scientific Computing to appear

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A single-step characteristic-curve finite element scheme of second order in time for the incompressible Navier-Stokes equations2009

    • Author(s)
      H. Notsu, M. Tabata
    • Journal Title

      Journal of Scientific Computing 38

      Pages: 1-14

    • NAID

      120001000460

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the L^2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

    • Author(s)
      T. Kinoshita, et al.
    • Journal Title

      Numerical Functional Analysis and Optimization to appear

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ある拡散現象における解のサポートの反復した分離・融合について2009

    • Author(s)
      友枝謙二, 中木達幸
    • Journal Title

      日本応用数理学会論文誌 19(掲載決定)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Y. Watanabe, et al.
    • Journal Title

      ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift fur Angewandte Mathematik und Mechanik 89

      Pages: 5-18

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Y. Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009

    • Author(s)
      M. -N. Kim, et al.
    • Journal Title

      Applied Mathematics Letters 111

      Pages: 389-406

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Phase field model for mode III crack growth in two dimensional elasticity2009

    • Author(s)
      T. Takaishi, M. Kimura
    • Journal Title

      Kybemetika to appear

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Finite element matrices in congruent subdomains and some techniques for practical problems2009

    • Author(s)
      A. Suzuki
    • Journal Title

      Domain Decomposition Methods : Algorithms and Practice to appear

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An iterative substructuring method for the discretized Stokes equations by a stabilized finite element method2009

    • Author(s)
      A. Suzuki
    • Journal Title

      Proceedings of ALGORITMY 2009 to appear

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An iterative substructuring solver for the Stokes equations2009

    • Author(s)
      A. Suzuki
    • Journal Title

      Proceedings of the First International Conference on Parallel, Distributed and Grid Computing for Engineering to appear

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of Bi-Harmonic problems2008

    • Author(s)
      Nakao, M. T., Hashimoto, K. and Nagatou, K.
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications 28

      Pages: 139-148

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • Author(s)
      Nakao, M. T. and Hashimoto, K.
    • Journal Title

      Journal of Computational and Applied Mathematics 218

      Pages: 106-115

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • Author(s)
      Nakao, M. T. and Kinoshita, T.
    • Journal Title

      Applied Mathematics Letters 21

      Pages: 1310-1314

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Application of a curvature adjusted method in image segmentation2008

    • Author(s)
      Benes, M., Kimura, M., Paus, P., Sevcovic, D., Tsujikawa, T. and Yazaki, S.
    • Journal Title

      Bulletin of the Institute of Mathematics, Academia Sinica, NewSeries 3

      Pages: 509-523

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Validated computations for fundamental solutions of linear ordinary differential equations2008

    • Author(s)
      Nagatou, K.
    • Journal Title

      International Series of Numerical Mathematics 157

      Pages: 43-50

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A computational approach to constructive a priori and a posteriori errorestimates for finite element approximations of bi-harmonic problems2008

    • Author(s)
      M. T. Nakao, et al.
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications 28

      Pages: 139-148

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • Author(s)
      M. T. Nakao, K. Hashimoto
    • Journal Title

      Journal of Computational and Applied Mathematics 218

      Pages: 106-115

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Some remarks on the behavior of the finite element solution in nonsmooth domains2008

    • Author(s)
      M. T. Nakao, et al.
    • Journal Title

      Applied Mathematics Letters 21

      Pages: 1310-1314

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Application of a curvature adjusted method in image segmentation2008

    • Author(s)
      M. Benes, et al.
    • Journal Title

      Bulletin of the Institute of Mathematics, Academia Sinica, New Series 3

      Pages: 509-523

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Validated computations for fundamental solutions of linear ordinary differential equations2008

    • Author(s)
      K. Nagatou
    • Journal Title

      International Series of Numerical Mathematics 157

      Pages: 43-50

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Numerical verification method for spectral problems2008

    • Author(s)
      K. Nagatou
    • Journal Title

      RIMS Kokyuroku 1607

      Pages: 13-31

    • Related Report
      2008 Annual Research Report
  • [Journal Article] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • Author(s)
      M.T.Nakao and T.Kinoshita
    • Journal Title

      Applied Mathematics Letters to appear(印刷中)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2008

    • Author(s)
      M.-N.Kim, et. al.
    • Journal Title

      Numerische Mathematik to appear(印刷中)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ディリクレ境界条件を考慮した変形エルミート型3次要素の作成2007

    • Author(s)
      上田裕喜, 田端正久
    • Journal Title

      日本応用数理学会論文誌 17

      Pages: 469-479

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Finite element schemes based on energy-stable approximation for two-fluid flow problems with surface tension2007

    • Author(s)
      Tabata, M.
    • Journal Title

      Hokkaido Mathematical Journal 36

      Pages: 875-890

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical simulation of Rayleigh-Taylor problems by an energy-stable finite element scheme2007

    • Author(s)
      Tabata, M.
    • Journal Title

      energy-stable finite element scheme, Proceedings of The Fourth International Workshop on Scientific Computing and Applications (eds. Guo, B.-Y., Shi, Z.-C.) (Science Press,)

      Pages: 63-73

    • NAID

      120006655075

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Discrepancy between theory and real computation on the stability of some finite element schemes2007

    • Author(s)
      Tabata, M.
    • Journal Title

      Journal of Computational and Applied Mathematics 199

      Pages: 424-431

    • NAID

      120000981486

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • Author(s)
      Minamoto, T. and Nakao, M. T.
    • Journal Title

      Journal of Computational and Applied Mathematics 202

      Pages: 177-185

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains2007

    • Author(s)
      Hashimoto, K., Kobayashi, K. and Nakao, M. T.
    • Journal Title

      Hokkaido Mathematical Journal 36

      Pages: 777-799

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] ある非線形拡散方程式におけるサポート分離現象に関する数値的、数学的考察2007

    • Author(s)
      友枝謙二, 中木達幸
    • Journal Title

      日本応用数理学会論文誌 17

      Pages: 291-300

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • Author(s)
      Nishida, T., Sugihara, K. and Kimura, M.
    • Journal Title

      Journal of Computational and Applied Mathematics 202

      Pages: 377-391

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • Author(s)
      Nagatou, K., Hashimoto, K. and Nakao, M. T.
    • Journal Title

      Journal of Computational and Applied Mathematics 199

      Pages: 445-451

    • NAID

      120000981497

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Finite element schemes based on energy-stable approximation for two-fluid flow problems with surface tension2007

    • Author(s)
      M.Tabata
    • Journal Title

      Hokkaido Mathematical Journal 36

      Pages: 875-890

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Numerical simulation of Rayleigh-Taylor problems by an energy-stable finite element scheme2007

    • Author(s)
      M.Tabata
    • Journal Title

      Proceedings of The Fourth International Workshop on Scientific Computing and Applications

      Pages: 63-73

    • NAID

      120006655075

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • Author(s)
      T.Minamoto and M.T.Nakao
    • Journal Title

      Journal of Computational and Applied Mathematics 1

      Pages: 177-185

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Verified numerical computation of solutions for the stationary Navier-Stokesequation in nonconvex polygonal domains2007

    • Author(s)
      M.T.Nakao, et. al.
    • Journal Title

      Hokkaido Mathematical Journal 36

      Pages: 777-799

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On guaranteed error bounds of finite element approximations for non-coerciveelliptic problems and its applications2007

    • Author(s)
      M.T.Nakao and K.Hashimoto
    • Journal Title

      Journal of Computational and Applied Mathematics to appear(印刷中)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ある非線形拡散方程式におけるサポート分離現象に関する数値的、数学的考察2007

    • Author(s)
      友枝 謙二, 中木 達幸
    • Journal Title

      日本応用数理学会論文誌 17

      Pages: 291-300

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ストークス方程式に対する平衡化前処理付き領域分割法2007

    • Author(s)
      鈴木 厚
    • Journal Title

      計算工学講演論文集 12

      Pages: 833-834

    • Related Report
      2007 Annual Research Report
  • [Journal Article] Discrepancy between theory and real computation on the stability of some finite element schemes2007

    • Author(s)
      M.Tabata
    • Journal Title

      Journal of Computational and Applied Mathematics 199

      Pages: 424-431

    • NAID

      120000981486

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • Author(s)
      K.Nagatou, et al.
    • Journal Title

      Journal of Computational and Applied Mathematics 199

      Pages: 445-451

    • NAID

      120000981497

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2007

    • Author(s)
      M.T.Nakao, et al.
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications to appear(印刷中)

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • Author(s)
      T.Nishida, et al.
    • Journal Title

      Journal of Computational and Applied Mathematics 202

      Pages: 377-391

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Robustness of a characteristic finite element scheme of second order in time increment2006

    • Author(s)
      Tabata, M. and Fujima, S.
    • Journal Title

      Computational Fluid Dynamics 2004(eds. Groth, C., Zingg, D. W.) (Springer-Verlag)

      Pages: 177-182

    • NAID

      120006654337

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Finite element approximation to infinite Prandtl number Boussinesq equations with temperature-dependent coefficients-Thermal convection problems in a spherical shell2006

    • Author(s)
      Tabata, M.
    • Journal Title

      Future Generation Computer Systems 22

      Pages: 521-531

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical computations of a melting glass convection in the furnace2006

    • Author(s)
      Tagami, D. and Tabata, M.
    • Journal Title

      Proceedings of The Seventh China-Japan Seminar on Numerical Mathematics (eds. Shi, Z.-C., Okamoto, H.) (Science Press,)

      Pages: 149-160

    • NAID

      120006655073

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Finite element schemes for two-fluids flow problems2006

    • Author(s)
      Tabata, M. and Kaizu, S.
    • Journal Title

      Proceedings of The Seventh China-Japan Seminar on Numerical Mathematics (eds. Shi, Z.-C., Okamoto, H.) (Science Press,)

      Pages: 134-148

    • NAID

      120006655074

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006

    • Author(s)
      Watanabe, Y.
    • Journal Title

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (eds. Simos, T., Psihoyios, G., Tsitouras, C.) (Wiley)

      Pages: 535-539

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Performance comparison of vector-calculations between Itanium2 and other processors2006

    • Author(s)
      Nanri, T. Watanabe, Y. and Sato, H.
    • Journal Title

      Proceedings of International Workshop on Innovative Architecture

      Pages: 141-146

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] 亀裂進展に伴うエネルギー解放率の数学解析に関する再考察2006

    • Author(s)
      木村正人, 若野功
    • Journal Title

      日本応用数理学会論文誌 16

      Pages: 345-358

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains2006

    • Author(s)
      Hashimoto, K., Nagatou, K. and Nakao, M. T.
    • Journal Title

      Information 9

      Pages: 573-580

    • NAID

      120000981499

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Robustness of a characteristic finite element of second order in time increment2006

    • Author(s)
      M.Tabata, et al.
    • Journal Title

      Computational Fluid Dynamics 2004, Proceedings of the Third International Conference on Computational Fluid Dynamics

      Pages: 177-182

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Finite element approximation to infinite Prandtl number Boussinesq equations with temperature dependent coefficients - Thermal convection problems in a spherical shell2006

    • Author(s)
      M.Tabata
    • Journal Title

      Future Generation Computer Systems 22

      Pages: 521-531

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006

    • Author(s)
      Y.Watanabe
    • Journal Title

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006

      Pages: 535-539

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains2006

    • Author(s)
      K.Hashimoto, et al.
    • Journal Title

      Information 9

      Pages: 573-580

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Discrepancy between theory and real computation on the stability of some finite element schemes2006

    • Author(s)
      Tabata, M.
    • Journal Title

      Journal of Computational and Applied Mathematics (in press)

    • NAID

      120000981486

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Finite element approximation to infinite Prandtl number Bossinessq equations with temperature dependent coefficients - Thermal convection problems in a spherical shell2006

    • Author(s)
      Tabata, M.
    • Journal Title

      Future Generation Computer Systems 22・4

      Pages: 521-531

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Error estimates of finite element methods for nonstationary thermal convection problems with temperature-dependent coefficients2005

    • Author(s)
      Tabata, M. and Tagami, D.
    • Journal Title

      Numerische Mathematik 100

      Pages: 351-372

    • NAID

      120000981467

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • Author(s)
      Nakao, M. T., Hashimoto, K. and Watanabe, Y.
    • Journal Title

      Computing 75

      Pages: 1-14

    • NAID

      120000981466

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Numerical verification method for solutions of singularly perturbed problems with nonlinearity2005

    • Author(s)
      Hashimoto, K., Abe, R., Nakao, M. T. and Watanabe, Y.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 22

      Pages: 111-131

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical verification methods for solutions for the free boundary problems2005

    • Author(s)
      Hashimoto, K., Kobayashi, K. and Nakao, M. T.
    • Journal Title

      Numerical Functional Analysis and Optimization 26

      Pages: 523-542

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部善隆, 山本野人, 中尾充宏
    • Journal Title

      日本応用数理学会論文誌 15

      Pages: 509-520

    • NAID

      110002976854

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Stability analysis for Allen-Cahn type equation associated with the total variation energy2005

    • Author(s)
      Shirakawa, K. and Kimura, M.
    • Journal Title

      Nonlinear Analysis 60

      Pages: 257-282

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] 速い移流を持つStrum-Liouville問題の第1固有値の精密な漸近挙動2005

    • Author(s)
      木村正人, 永田真一
    • Journal Title

      日本応用数理学会論文誌 15

      Pages: 209-220

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Finite element matrices in congruent subdomains and their effective use for large-scale computations2005

    • Author(s)
      Suzuki, A. and Tabata, M.
    • Journal Title

      International Journal for Numerical Methods in Engineering 62

      Pages: 1807-1831

    • NAID

      120000981469

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Error estimates of finite element methods for nonstationary thermal convection problems with temperature-dependent coefficients2005

    • Author(s)
      Tabata, M., Tagami, D.
    • Journal Title

      Numerische Mathematik 100・2

      Pages: 351-372

    • NAID

      120000981467

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Finite element matrices in congruent subdomains and their effective use for large scale computatuions2005

    • Author(s)
      Suzuki, A., Tabata, M.
    • Journal Title

      International Journal for Numerical Methods in Engineering 62・13

      Pages: 1807-1831

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • Author(s)
      Nakao, M.T., Hashimoto, K., Watanabe, Y.
    • Journal Title

      Computing 75・1

      Pages: 1-14

    • NAID

      120000981466

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A numerical verification method for solutions of singularly perturbed problems with nonlinearity2005

    • Author(s)
      Hashimoto, K., Abe, R., Nakao, M.T., Watanabe, Y.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 22・1

      Pages: 111-131

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Numerical verification methods for solutions of the free boundary problems2005

    • Author(s)
      Hashimoto, K., Kobayashi, K., Nakao, M.T.
    • Journal Title

      Numerical Functional Analysis and Optimization 26・4-5

      Pages: 523-542

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部 善隆, 山本 野人, 中尾 充宏
    • Journal Title

      日本応用数理学会論文誌 15・4

      Pages: 509-520

    • NAID

      110002976854

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Stability analysis for Allen-Cahn type equation associated with the total variation energy2005

    • Author(s)
      Shirakawa, K., Kimura, M.
    • Journal Title

      Nonlinear Analysis 60・2

      Pages: 257-282

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 速い移流を持つStrum-Liouville問題の第1固有有値の精密な漸近挙動2005

    • Author(s)
      木村正人, 永田真一
    • Journal Title

      日本応用数理学会論文誌 15・3

      Pages: 209-220

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Finite element matrices in congruent subdomains and their effective use for large scale computations2005

    • Author(s)
      Suzuki, A., Tabata, M.
    • Journal Title

      International Journal for Numerical Methods in Engineering 62(in press)

    • NAID

      120000981469

    • Related Report
      2004 Annual Research Report
  • [Journal Article] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • Author(s)
      Nakao, M. T. and Watanabe, Y.
    • Journal Title

      Numerical Algorithms(Special issue for Proceedings of Scientific Computing, Computer Arithmetic, and Validated Numerics 2002) 37

      Pages: 311-323

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Computations on relaxation oscillation of five point vortices2004

    • Author(s)
      Nakaki, T.
    • Journal Title

      Advances in Scientific Computing and Applications (eds. Y. Lu, W. Sun, T. Tang) (Science Press)

      Pages: 314-320

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A singular limit method for the Stefan problem, Numerical Mathematics and Advanced Applications2004

    • Author(s)
      Murakawa, H. and Nakaki, T.
    • Journal Title

      Proceedings of the 5th European Conference on Numerical Mathematics and Applications (Springer)

      Pages: 651-657

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Relaxation oscillations of point vortices in a plane2004

    • Author(s)
      Nakaki, T.
    • Journal Title

      Theoretical and Applied Mechanics Japan 53

      Pages: 95-102

    • NAID

      130004939047

    • Related Report
      2008 Final Research Report 2004 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Numerical verification of nontrivial solutions for the heat convection problem2004

    • Author(s)
      Watanabe, Y., Yamamoto, N., Nakao, M. T. and Nishida, T.
    • Journal Title

      Journal of Mathematical Fluid Mechanics 6

      Pages: 1-20

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • Author(s)
      Nakao, M.T., Watanabe, Y.
    • Journal Title

      Numerical Algorithms 37

      Pages: 311-323

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A numerical verification of nontrivial solutions for the heat convection problem2004

    • Author(s)
      Watanabe, Y. et al.
    • Journal Title

      Journal of Mathematical Fluid Mechanics 6・1

      Pages: 1-20

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid2004

    • Author(s)
      Nagatou, K.
    • Journal Title

      Journal of Computational and Applied Mathematics 169・1

      Pages: 33-44

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A numerical method to Stefan problems and its application to the flow through porous media2004

    • Author(s)
      Nakaki, T., Murakawa, H.
    • Journal Title

      Proceedings of 4th European Congress on Computational Methods in Applied Sciences and Engineering 2

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Navier-Stokes方程式のための圧力安定化・特性曲線法結合有限要素スキーム2003

    • Author(s)
      野津裕史, 田端正久
    • Journal Title

      日本応用数理学会論文誌 18

      Pages: 427-445

    • Related Report
      2008 Annual Research Report 2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A mass-conservative characteristic finite element scheme for convection-diffusion problems

    • Author(s)
      Rui, H. and Tabata, M.
    • Journal Title

      Journal of Scientific Computing (in press)

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator

    • Author(s)
      Kinoshita, T., Hashimoto, K. and Nakao, M. T.
    • Journal Title

      Numerical Functional Analysis and Optimization (to appear)

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A numerical verification method for two-coupled elliptic partial differential equations

    • Author(s)
      Watanabe, Y.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (to appear)

    • NAID

      10028168961

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Benard problem

    • Author(s)
      Watanabe, Y. and Nakao, M. T.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (to appear)

    • NAID

      10028169295

    • Related Report
      2008 Final Research Report
  • [Journal Article] Shape derivative of minimum potential energy : abstract theory and applications

    • Author(s)
      Kimura, M.
    • Journal Title

      Jindrich Necas Center for Mathematical Modeling Lecture notes Volume IV, Topics in Mathematical Modeling (to appear)

      Pages: 1-38

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems

    • Author(s)
      Nagatou, K., Hashimoto, K., Nakao, M.T.
    • Journal Title

      Journal of Computational and Applied Mathematics (to appear)

    • NAID

      120000981497

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Finite element approximation to infinite Prandtl number Boussines equations with temperature dependent coefficients--thermal convection problems in a spherical shell

    • Author(s)
      Tabata, M.
    • Journal Title

      Future Generation Computer Systems 発表予定

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Error estimates of finite element methods for nonstationary thermal convection problems with temperature-dependent coefficients

    • Author(s)
      Tabata, M., Tagami, D.
    • Journal Title

      Numerische Mathematik 発表予定

    • NAID

      120000981467

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Robustness of a characteristic finite element scheme of second order in time increment

    • Author(s)
      Tabata, M., Fujima, S.
    • Journal Title

      Computational Fluid Dynamics Journal 発表予定

    • NAID

      120006654337

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A numerical method to verify the invertibility of liner elliptic operators with applications to nonlinear problems

    • Author(s)
      Nakao, M.T.et al.
    • Journal Title

      Computing 発表予定

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A numerical verification method for solutions of singularly perturbed problems with nonlinearity

    • Author(s)
      Hashimoto, K. et al.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 発表予定

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Stability analysis for Allen-Cahn type equation associated with the total variation energy

    • Author(s)
      Shirakawa, K., Kimura, M.
    • Journal Title

      Nonlinear Analysis 発表予定

    • Related Report
      2004 Annual Research Report
  • [Presentation] On the numerical verification method of solutions for evolutional equations2009

    • Author(s)
      M. T. Nakao
    • Organizer
      International Workshop on Verified Computations and Related Topics
    • Place of Presentation
      University of Karlsruhe, Karlsruhe, Germany
    • Year and Date
      2009-03-09
    • Related Report
      2008 Annual Research Report
  • [Presentation] Manufactured solutions and numerical convergence study for two fluid flow problems2009

    • Author(s)
      M. Tabata
    • Organizer
      45th Applied Mathematics Conference
    • Place of Presentation
      Rydges Oasis Resort, Caloundra, Australia
    • Year and Date
      2009-02-05
    • Related Report
      2008 Annual Research Report
  • [Presentation] Computer assisted proofs for differential equations2009

    • Author(s)
      K. Nagatou
    • Organizer
      The 26th Kyushu Symposium on Partial Differential Equations
    • Place of Presentation
      Kyushu University International Hall, Fukuoka
    • Year and Date
      2009-01-27
    • Related Report
      2008 Annual Research Report
  • [Presentation] 二流体問題のためのベンチマーク問題とスキームの収束精度2008

    • Author(s)
      田端 正久
    • Organizer
      第22回数値流体力学シンポジウム
    • Place of Presentation
      国立オリンピック記念青少年総合センター, 東京
    • Year and Date
      2008-12-17
    • Related Report
      2008 Annual Research Report
  • [Presentation] A numerical convergence study for two-fluid flow problems2008

    • Author(s)
      M. Tabata
    • Organizer
      International Conference on Partial Differential Equations and Applications
    • Place of Presentation
      City University of Hong Kong, Hong Kong
    • Year and Date
      2008-12-07
    • Related Report
      2008 Annual Research Report
  • [Presentation] Validated computations for elliptic systems of FitzHugh-Nagumo type2008

    • Author(s)
      K. Nagatou
    • Organizer
      13th GAMM-IMACS International Symposiumon Scientific Computing, Computer Arithmetic, and Validated Numerics
    • Place of Presentation
      The University of Texas at El Paso, USA
    • Year and Date
      2008-09-30
    • Related Report
      2008 Annual Research Report
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • Author(s)
      渡部 善隆
    • Organizer
      日本数学会2008年度秋季総合分科会
    • Place of Presentation
      東京工業大学大岡山キャンパス, 東京
    • Year and Date
      2008-09-27
    • Related Report
      2008 Annual Research Report
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • Author(s)
      渡部 善隆
    • Organizer
      日本応用数理学会2008年度年会
    • Place of Presentation
      東京大学柏キャンパス, 柏
    • Year and Date
      2008-09-18
    • Related Report
      2008 Annual Research Report
  • [Presentation] 固有値問題に対する数値的検証法とその応用2008

    • Author(s)
      長藤 かおり
    • Organizer
      日本応用数理学会2008年度年会・オーガナイズドセッション特別講演
    • Place of Presentation
      東京大学柏キャンパス, 柏
    • Year and Date
      2008-09-17
    • Related Report
      2008 Annual Research Report
  • [Presentation] Finite difference methods for Allen-Cahn/Cahn-Hilliard equations2008

    • Author(s)
      M. Kimura
    • Organizer
      Czech-Japanese Seminar in Applied Mathematics 2008
    • Place of Presentation
      Takachiho, Miyazaki
    • Year and Date
      2008-09-07
    • Related Report
      2008 Annual Research Report
  • [Presentation] An iterative substructuring algorithm with congruent subdomains2008

    • Author(s)
      A. Suzuki
    • Organizer
      Czech-Japanese Seminar in Applied Mathematics 2008
    • Place of Presentation
      Takachiho, Miyazaki
    • Year and Date
      2008-09-03
    • Related Report
      2008 Annual Research Report
  • [Presentation] Collision of some five point vortices in a plane2008

    • Author(s)
      中木 達幸
    • Organizer
      オイラー方程式の数理 : 渦運動150年
    • Place of Presentation
      京都大学数理解析研究所, 京都
    • Year and Date
      2008-07-18
    • Related Report
      2008 Annual Research Report
  • [Presentation] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • Author(s)
      M. T. Nakao
    • Organizer
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • Place of Presentation
      Cardiff, United Kingdom
    • Year and Date
      2008-07-16
    • Related Report
      2008 Annual Research Report
  • [Presentation] Eigenvalue exeluding on 1-D Schroedinger operators2008

    • Author(s)
      K. Nagatou
    • Organizer
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • Place of Presentation
      Cardiff, United Kingdom
    • Year and Date
      2008-07-16
    • Related Report
      2008 Annual Research Report
  • [Presentation] Numerical simulations of multi-phase flow problems by an energy-stable finite element scheme2008

    • Author(s)
      M. Tabata
    • Organizer
      Fifth International Conference on Computational Fluid Dynamics
    • Place of Presentation
      Seoul National University, Seoul, Korea
    • Year and Date
      2008-07-08
    • Related Report
      2008 Annual Research Report
  • [Presentation] Finte element characteristic methods for flow problems2008

    • Author(s)
      M. Tabata
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Pusan National University, Busan, Korea
    • Year and Date
      2008-06-03
    • Related Report
      2008 Annual Research Report
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      M. T. Nakao
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Pusan National University, Busan, Korea
    • Year and Date
      2008-06-03
    • Related Report
      2008 Annual Research Report
  • [Presentation] ストークス方程式に対する部分構造反復法の高速実装2008

    • Author(s)
      鈴木 厚
    • Organizer
      第13回計算工学講演会
    • Place of Presentation
      仙台市民会館, 仙台
    • Year and Date
      2008-05-21
    • Related Report
      2008 Annual Research Report
  • [Presentation] Numerical verification for a spectral problem on 1-D Schrodinger operators2008

    • Author(s)
      K.Nagatou
    • Organizer
      Spectral and Scattering Theory and Related Topics
    • Place of Presentation
      RIMS, Kyoto University
    • Year and Date
      2008-01-15
    • Related Report
      2007 Annual Research Report
  • [Presentation] A numerical convergence study for two-fluid flow problems2008

    • Author(s)
      Tabata, M.
    • Organizer
      International Conference on Partial Differential Equations and Applications
    • Place of Presentation
      Hong Kong
    • Related Report
      2008 Final Research Report
  • [Presentation] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • Place of Presentation
      Daejeon, Korea
    • Related Report
      2008 Annual Research Report 2008 Final Research Report
  • [Presentation] 固有値問題に対する数値的検証法とその応用2008

    • Author(s)
      長藤かおり
    • Organizer
      日本応用数理学会008年度年会・オーガナイズドセッション特別講演
    • Place of Presentation
      東京大学柏キャンパス
    • Related Report
      2008 Final Research Report
  • [Presentation] Eigenvalue excluding on 1-D Schroedinger operators2008

    • Author(s)
      Nagatou, K.
    • Organizer
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • Place of Presentation
      Cardiff, UK
    • Related Report
      2008 Final Research Report
  • [Presentation] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • Place of Presentation
      Cardiff, UK
    • Related Report
      2008 Final Research Report
  • [Presentation] Finite element characteristic methods for flow problems2008

    • Author(s)
      Tabata, M.
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Busan, Korea
    • Related Report
      2008 Final Research Report
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Busan, Korea
    • Related Report
      2008 Final Research Report
  • [Presentation] 1次元シュレディンガー作用素のスペクトルに対する数値的検証法2008

    • Author(s)
      長藤かおり
    • Organizer
      日本数学会2008年度年会, 特別講演
    • Place of Presentation
      近畿大学
    • Related Report
      2008 Final Research Report
  • [Presentation] Finite difference methods for Allen-Cahn/Cahn-Hilliard equations2008

    • Author(s)
      M. Kimura
    • Organizer
      The Second China-Japan-Korea Conference on Numerical Mathematics
    • Place of Presentation
      Weihai, China
    • Related Report
      2008 Annual Research Report
  • [Presentation] Computer Assisted Proofs for Partial Differential Equations2008

    • Author(s)
      K. Nagatou
    • Organizer
      Numbers, Functions, Equations'08
    • Place of Presentation
      Noszvaj, Hungary
    • Related Report
      2008 Annual Research Report
  • [Presentation] エネルギー安定有限要素スキームによる多流体問題のシミュレーション2007

    • Author(s)
      田端 正久
    • Organizer
      第21回数値流体力学シンポジウム
    • Place of Presentation
      秋葉原コンベンションホール,東京
    • Year and Date
      2007-12-19
    • Related Report
      2007 Annual Research Report
  • [Presentation] Numerical verification method of solutions for nonlinear PDEs and its applications2007

    • Author(s)
      M.T.Nakao
    • Organizer
      Taiwan-Japan Joint Workshop on Numerical Analysis and Scientific Computation
    • Place of Presentation
      Institute of Mathematics, Academia Sinica, Taipei, Taiwan
    • Year and Date
      2007-12-02
    • Related Report
      2007 Annual Research Report
  • [Presentation] 並行Poiseuille流れの不安定性に対する計算機援用証明2007

    • Author(s)
      渡部 善隆
    • Organizer
      計算科学の基盤技術としての高速アルゴリズムとその周辺
    • Place of Presentation
      京都大学数理解析研究所, 京都
    • Year and Date
      2007-11-14
    • Related Report
      2007 Annual Research Report
  • [Presentation] 多流体問題の数値シミュレーション2007

    • Author(s)
      田端 正久
    • Organizer
      計算科学の基盤技術としての高速アルゴリズムとその周辺
    • Place of Presentation
      京都大学数理解析研究所, 京都
    • Year and Date
      2007-11-06
    • Related Report
      2007 Annual Research Report
  • [Presentation] Numerical simulations of multi-fluid flow problems by an energy-stablefinite element scheme2007

    • Author(s)
      M.Tabata
    • Organizer
      The 3rd East Asia SIAM Conference
    • Place of Presentation
      International Conference Center of Xiamen University, Xiamen, China
    • Year and Date
      2007-11-03
    • Related Report
      2007 Annual Research Report
  • [Presentation] シュレデインガー作用素のスペクトル・ギャップにおける固有値非存在検証2007

    • Author(s)
      長藤 かおり
    • Organizer
      日本数学会2007年度秋季総合分科会
    • Place of Presentation
      東北大学川内北キャンパス, 仙台
    • Year and Date
      2007-09-24
    • Related Report
      2007 Annual Research Report
  • [Presentation] 混相流の数値解析-流体の併合2007

    • Author(s)
      田端 正久
    • Organizer
      日本数学会200年度秋季総合分科会
    • Place of Presentation
      東北大学川内北キャンパス,仙台
    • Year and Date
      2007-09-23
    • Related Report
      2007 Annual Research Report
  • [Presentation] ある反応拡散方程式系に対する精度保証付き数値計算2007

    • Author(s)
      渡部 善隆
    • Organizer
      日本数学会2007年度秋季総合分科会
    • Place of Presentation
      東北大学川内北キャンパス, 仙台
    • Year and Date
      2007-09-23
    • Related Report
      2007 Annual Research Report
  • [Presentation] Validated computations for fundamental solutons of linear ordinary differential operators2007

    • Author(s)
      K.Nagatou
    • Organizer
      International Symposium on Nonlinear Theory and its Applications
    • Place of Presentation
      Simon Fraser University at Harbour Centre, Vancouver, Canada
    • Year and Date
      2007-09-18
    • Related Report
      2007 Annual Research Report
  • [Presentation] 併合を伴う混相流の数値シミュレーション2007

    • Author(s)
      田端 正久
    • Organizer
      日本応用数理学会2007年度年会
    • Place of Presentation
      北海道大学工学部, 札幌
    • Year and Date
      2007-09-17
    • Related Report
      2007 Annual Research Report
  • [Presentation] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007

    • Author(s)
      渡部 善隆
    • Organizer
      日本応用数理学会2007年度年会
    • Place of Presentation
      北海道大学工学部, 札幌
    • Year and Date
      2007-09-16
    • Related Report
      2007 Annual Research Report
  • [Presentation] ストークス方程式の平衡化前処理付き領域分割法ソルバー2007

    • Author(s)
      鈴木 厚
    • Organizer
      日本応用数理学会2007年度年会
    • Place of Presentation
      北海道大学工学部, 札幌
    • Year and Date
      2007-09-15
    • Related Report
      2007 Annual Research Report
  • [Presentation] Eigenvalue problems on 1-D Schrodinger operators2007

    • Author(s)
      K.Nagatou
    • Organizer
      Conference on Inequalities and Applications '07
    • Place of Presentation
      De La Motte Castle, Noszvaj, Hungary
    • Year and Date
      2007-09-13
    • Related Report
      2007 Annual Research Report
  • [Presentation] The guaranteed a priori error estimates in the finite element method and the spectral method with applications to nonlinear PDEs2007

    • Author(s)
      M.T.Nakao
    • Organizer
      Conference on Inequalities and Applications '07
    • Place of Presentation
      De La Motte Castle, Noszvaj, Hungary
    • Year and Date
      2007-09-13
    • Related Report
      2007 Annual Research Report
  • [Presentation] Numerical verificationmethod for a Schroedingerequationwithessential spectrum2007

    • Author(s)
      K.Nagatou
    • Organizer
      DIFFERENCIALEGYENLETEK SZEMINARIUM
    • Place of Presentation
      University of Szeged, Hungary
    • Year and Date
      2007-09-06
    • Related Report
      2007 Annual Research Report
  • [Presentation] Some numerical simulations of multi-phase problems by an energy-stable finite element scheme2007

    • Author(s)
      M.Tabata
    • Organizer
      Computational Linear Algebra with Applications
    • Place of Presentation
      Hotel Sklar, Harrachov, Czech Republic
    • Year and Date
      2007-08-22
    • Related Report
      2007 Annual Research Report
  • [Presentation] Relaxation oscillation of point vortices with a center vortex2007

    • Author(s)
      T.Nakaki
    • Organizer
      Equadiff2007
    • Place of Presentation
      Vienna University of Technology, Austria
    • Year and Date
      2007-08-09
    • Related Report
      2007 Annual Research Report
  • [Presentation] Finite element shemes based on energy-stable approximation for applications to a glass product process2007

    • Author(s)
      M.Tabata
    • Organizer
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-29
    • Related Report
      2007 Annual Research Report
  • [Presentation] A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems2007

    • Author(s)
      Y.Watanabe
    • Organizer
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-29
    • Related Report
      2007 Annual Research Report
  • [Presentation] 3-D implementation of characteristic Galerkin method with P1-interpolation2007

    • Author(s)
      A.Suzuki
    • Organizer
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-29
    • Related Report
      2007 Annual Research Report
  • [Presentation] On guaranteed error bounds of the finite element method with applications to stationary Navier-Stokes equations2007

    • Author(s)
      M.T.Nakao
    • Organizer
      International Conference on Rencent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-28
    • Related Report
      2007 Annual Research Report
  • [Presentation] Numerical computations to moving boundaries in some flow problems2007

    • Author(s)
      T.Nakaki
    • Organizer
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-27
    • Related Report
      2007 Annual Research Report
  • [Presentation] Numerical verification methods for solutions of partial differential equations2007

    • Author(s)
      M.T.Nakao
    • Organizer
      6th International Congress on Industrial and Applied Mathematics
    • Place of Presentation
      Zurich, Switzerland
    • Year and Date
      2007-06-17
    • Related Report
      2007 Annual Research Report
  • [Presentation] On constructive a priori and a posteriori error estimates for the finite element approximations of noncoercive elliptic problems2007

    • Author(s)
      M.T.Nakao
    • Organizer
      6th International Congress on Industrial and Applied Mathematics
    • Place of Presentation
      Zurich, Switzerland
    • Year and Date
      2007-06-16
    • Related Report
      2007 Annual Research Report
  • [Presentation] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • Author(s)
      M.T.Nakao
    • Organizer
      International Conference on SCIentific Compution And Differential Equations
    • Place of Presentation
      Le Palms du Grand Large Saint-Malo, France
    • Year and Date
      2007-06-10
    • Related Report
      2007 Annual Research Report
  • [Presentation] エネルギー安定有限要素スキームによる砂時計のシミュレーション2007

    • Author(s)
      田端 正久
    • Organizer
      第12回日本計算工学講演会
    • Place of Presentation
      国立青少年オリンピック記念センター,東京
    • Year and Date
      2007-05-23
    • Related Report
      2007 Annual Research Report
  • [Presentation] Numerical simulations of multi-fluid flow problems by an energy-stable finite element scheme2007

    • Author(s)
      Tabata, M.
    • Organizer
      The 3rd East Asia SIAM Conference
    • Place of Presentation
      Xiamen, China
    • Related Report
      2008 Final Research Report
  • [Presentation] Some numerical simulations of multi-phase problems by an energy-stable finite element scheme2007

    • Author(s)
      Tabata, M.
    • Organizer
      Computational Linear Algebra with Applications
    • Place of Presentation
      Harrachov, Czech Republic
    • Related Report
      2008 Final Research Report
  • [Presentation] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • Author(s)
      Nakao, M. T.
    • Organizer
      SciCADE 2007, International Conference on SCIentific Computation and Differential Equations
    • Place of Presentation
      Saint Malo, France
    • Related Report
      2008 Final Research Report
  • [Presentation] Energy-stable finite element schemes for multiphase flow problems2006

    • Author(s)
      Tabata, M.
    • Organizer
      The First China-Japan-Korea Joint Conference on Numerical Mathematics
    • Place of Presentation
      Sapporo
    • Related Report
      2008 Final Research Report
  • [Presentation] Validated computation for infinite dimensional eigenvalue problems2006

    • Author(s)
      Nagatou, K.
    • Organizer
      12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
    • Place of Presentation
      Duisburg, Germany
    • Related Report
      2008 Final Research Report
  • [Presentation] Numerical verification methods of bifurcating solutions for two-and three-dimensional Rayleigh-Benard problems2006

    • Author(s)
      Nakao, M. T.
    • Organizer
      The First China-Japan-Korea Joint Conference on Numerical Mathematics
    • Place of Presentation
      Sapporo
    • Related Report
      2008 Final Research Report
  • [Presentation] Some computer assisted proofs on the bifurcation structure of solutions for heat convection problems2005

    • Author(s)
      Nakao, M. T., Watanabe, Y., Yamamoto, N., Nishida, T. and Kim, M.-N.
    • Organizer
      International Symposium on Nonlinear Theory and its Applications 2005
    • Place of Presentation
      Bruges, Belgium
    • Related Report
      2008 Final Research Report
  • [Presentation] ストークス方程式の有限要素法による大規模並列計算手法とその数理2005

    • Author(s)
      鈴木厚
    • Organizer
      日本数学会秋季総合分科会 特別講演
    • Place of Presentation
      岡山大学
    • Related Report
      2008 Final Research Report
  • [Presentation] Finite element approximation to infinite Prandtl number Boussinesq equations and numerical simulation of melting glass convection2005

    • Author(s)
      Tabata, M.
    • Organizer
      The Third IMACS Conference on Mathematical Modelling and Computational Methods in Applied Sciences and Engineering
    • Place of Presentation
      Pilsen, Czech Republic
    • Related Report
      2008 Final Research Report
  • [Presentation] The Fifth Gregynog Workshop on Computation and Analytic Problems in Spectral Theory2005

    • Author(s)
      Nagatou, K.
    • Organizer
      Newtown
    • Place of Presentation
      United Kingdom
    • Related Report
      2008 Final Research Report
  • [Presentation] Mass-conservative and energy-conservative finite element schemes for flow problems2005

    • Author(s)
      Tabata, M.
    • Organizer
      The Fourth International Workshop on Scientific Computing and Its Applications
    • Place of Presentation
      Shanghai, China
    • Related Report
      2008 Final Research Report
  • [Presentation] 平面上の渦点群の挙動2005

    • Author(s)
      中木達幸
    • Organizer
      日本数学会特別講演
    • Place of Presentation
      日本大学
    • Related Report
      2008 Final Research Report
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • Author(s)
      田端正久, 中尾充宏
    • Total Pages
      120
    • Publisher
      講談社
    • Related Report
      2008 Final Research Report
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • Author(s)
      田端 正久, 中尾 充宏
    • Publisher
      講談社
    • Related Report
      2008 Annual Research Report
  • [Book] Domain Decomposition Methods : Algorithms and Practice(eds. Magoules, F.)(Civil-Comp Press)

    • Author(s)
      Suzuki, A. and Tabata, M.(分担執筆)(to appear)
    • Total Pages
      37
    • Publisher
      Finite element matrices in congruent subdomains and some techniques for practical problems
    • Related Report
      2008 Final Research Report
  • [Remarks]

    • URL

      http://www2.math.kyushu-u.ac.jp/~tabata/

    • Related Report
      2008 Final Research Report
  • [Remarks]

    • URL

      http://www2.math.kyushu-u.ac.jp/~tabata/

    • Related Report
      2008 Annual Research Report
  • [Remarks]

    • URL

      http://www2.math.kyushu-u.ac.jp/~tabata/

    • Related Report
      2007 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi