Kyushu University · Graduate School of Mathematics for Innovation · 准教授

Research keywordscomputer-assisted proofs・infinite-dimensional linear operators・elliptic partial differential equations・Hilbert space operator theory・resolvent estimates・Galerkin discretization・finite element error bounds・Kolmogorov flow stability・Navier-Stokes equations・eigenvalue exclusion

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term2026 · Japan Journal of Industrial and Applied Mathematics 43 2026年1月
• Quantitative lower bounds estimates for the norm of resolvent using Galerkin approximation and its applications2026 · Japan Journal of Industrial and Applied Mathematics 43 2026年3月
• A computer-assisted proof for solutions of Elkouh’s equation related to Navier-Stokes equations,2025 · Fixed Point Theory and Algorithms for Sciences and Engineering 7 2025年5月
• Stability analysis of Kolmogorov flow by an eigenvalue excluding method2025 · Japan Journal of Industrial and Applied Mathematics 42 2107 - 2132 2025年6月

• 補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平2024 · 研究課題/領域番号： 24K00538 2024年4月 - 2028年3月
• 計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---2024 · 研究課題/領域番号： 24H00694 2024年4月 - 2029年3月
• 非線形現象解明に向けた計算機援用解析学の構築2022 · 研究課題/領域番号： 20224001 2008年 - 2011年
• 精度保証付き数値計算の前進---有限と無限をつなぐもの---2021 · 研究課題/領域番号： 21H01000 2021年 - 2024年

• Official profile