Rchr
J-GLOBAL ID：200901042789243762   Update date: Apr. 12, 2024

Watanabe Yoshitaka

ワタナベ ヨシタカ | Watanabe Yoshitaka
Affiliation and department：
Kyushu University Research Institute for Information Technology

About Kyushu University Research Institute for Information Technology


Homepage URL  (1)： http://ri2t.kyushu-u.ac.jp/~watanabe/
Research field  (2)： Applied mathematics and statistics ,  Basic mathematics
Research keywords  (32)： 精度保証付き数値計算 ,  計算機援用証明 ,  有限要素法 ,  熱対流問題 ,  区間演算 ,  Navier-Stokes方程式 ,  対称性破壊分岐点 ,  非自己共役固有値問題 ,  陰関数定理 ,  固有値解析 ,  固有値問題 ,  Navier-Stotes方程式 ,  非線形偏微分方程式 ,  非線形解析 ,  非線形微分方程式 ,  Stokes方程式 ,  分岐点 ,  線形化作用素の可逆性 ,  無限次元Newton法 ,  Rayleigh-Benard対流 ,  固有値の除外 ,  非線形楕円型方程式 ,  応用数学 ,  逆問題 ,  Oberbeck-Boussinesq方程式 ,  微分方程式 ,  関数方程式論 ,  複素固有値問題 ,  精度保証 ,  解曲線の追跡 ,  計算数学 ,  Computer Mathematics
Research theme for competitive and other funds  (21)：
  • 2021 - 2025 Computer-assisted solution verification for 3D flows with large Reynolds numbers
  • 2021 - 2025 精度保証付き数値計算の前進---有限と無限をつなぐもの---
  • 2020 - 2024 新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展
  • 2016 - 2020 Advanced research on the Numerical verification Method based on the Finite Element Method
  • 2015 - 2019 関数方程式に対する精度保証付き数値計算法の展開
Show all
Papers (64)：
  • Yoshitaka Watanabe, Tomoyuki Miyaji. Another computer-assisted proof of unimodality of solutions for Proudman-Johnson equation. Japan Journal of Industrial and Applied Mathematics. 2024
  • Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao. On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators. Acta Cybernetica. 2023. 26. 1. 71-82
  • Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. Inclusion method of optimal constant with quadratic convergence for H10-projection error estimates and its applications. Journal of Computational and Applied Mathematics. 2023. 417. 114521-114521
  • Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao. Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces. JOURNAL OF SCIENTIFIC COMPUTING. 2023. 94. 2
  • Kenta Kobayashi, Yoshitaka Watanabe. Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem. JSIAM Letters. 2022. 14. 92-95
ｍore...
MISC (53)：
ｍore...
Books (5)：
  • Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
    Springer Singapore 2019
  • 応用数理ハンドブック
    朝倉書店 2013
  • Special Section on Recent Progress in Verified Numerical Computations
    Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1, pp. 1-110 2013
  • 日本シミュレーション学会編: シミュレーション辞典
    コロナ社 2012
  • 実例で学ぶ精度保証付き数値計算 : 理論と実装
    サイエンス社 2011
Lectures and oral presentations  (232)：
  • 無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算
    (日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178, 2024年3月17日~20日. 2024)
  • 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について
    (日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024年3月17日~20日 2024)
  • 線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算
    (日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日~6日. 2024)
  • 近似楕円型線形作用素のノルムに関する収束性評価の改良
    (日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日~6日. 2024)
  • Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations
    (Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum, February 21-22, 2024, Institute for Analysis, Karlsruhe Institute of Technology, Karlsruhe, Germany. 2024)
ｍore...
Education (4)：
  • - 1991 Kyushu University
  • - 1991 Kyushu University Graduate School, Division of Natural Science
  • - 1989 Kyushu University School of Sciences
  • - 1989 Kyushu University Faculty of Science
Professional career (2)：
  • (BLANK)
  • (BLANK)
Work history (1)：
  • 2008 - 2018 Kyushu University
Awards (1)：
  • 2011/09 - 日本応用数理学会 論文賞(JJIAM部門)
Association Membership(s) (2)：
日本数学会 ,  応用数理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM