Rchr
J-GLOBAL ID：201301084573341023
Update date: Feb. 01, 2024
Takayasu Akitoshi
タカヤス アキトシ | Takayasu Akitoshi
Affiliation and department：
Job title：
Associate Professor
Homepage URL (1)：
http://www.risk.tsukuba.ac.jp/~takitoshi/
Research field (3)：
Computational science
, Applied mathematics and statistics
, Basic mathematics
Research keywords (3)：
Infinite dimensional dynamical systems
, Rigorous numerics
, Numerical analysis
Research theme for competitive and other funds (4)：
- 2022 - 2026 Studies on rigorous integrator for infinite dimensional dynamical systems
- 2021 - 2024 無限次元力学系に対する計算機援用証明を通した国際共同研究
- 2018 - 2022 双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究
- 2015 - 2018 Studies on verified numerical computations for nonlinear parabolic partial differential equations
Papers (29)：
-
Akira, Imakura, Keiichi, Morikuni, Akitoshi, Takayasu. Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS. 2023. 424. 1-18
-
Lessard, Jean-Philippe, Matsue, Kaname, Takayasu, Akitoshi. Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. JOURNAL OF NONLINEAR SCIENCE. 2023. 33. 3
-
Imakura, Akira, Morikuni, Keiichi, Takayasu, Akitoshi. Complex moment-based methods for differential eigenvalue problems. NUMERICAL ALGORITHMS. 2023. 92. 1:SI. 693-721
-
Jaquette, Jonathan, Lessard, Jean-Philippe, Takayasu, Akitoshi. Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Communications in Nonlinear Science and Numerical Simulation. 2022. 107
-
Lessard, Jean-Philippe, Matsue, Kaname, Takayasu, Akitoshi. A geometric characterization of unstable blow-up solutions with computer-assisted proof. arXiv:2103.12390 [math.DS]. 2021
ｍore...
Books (1)：
-
精度保証付き数値計算の基礎
2018 ISBN:9784339028874
Lectures and oral presentations (101)：
-
微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算
(2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023), 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会, 函館)
-
自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法
(第49回数値解析シンポジウム, 岩手)
-
あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算
(日本数学会2023年度年会)
-
常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
(日本数学会2023年度年会)
-
Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価
(日本応用数理学会若手の会 第8回学生研究発表会)
ｍore...
Professional career (1)：
Awards (7)：
Association Membership(s) (3)：
The Mathematical Society of Japan
, The Japan Society for Industrial and Applied Mathematics
, JAPAN SOCIETY FOR SIMULATION TECHNOLOGY
