研究業績リスト
会議発表プレゼンテーション
公開済 14/06/2024
第50回数値解析シンポジウム, 12/06/2024–14/06/2024
会議発表プレゼンテーション
公開済 08/09/2022
日本応用数理学会2022年度年会
会議発表プレゼンテーション
離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について
公開済 05/03/2021
日本応用数理学会第17回 研究部会連合発表会, zoom
会議発表プレゼンテーション
非双曲型平衡点近傍での Lyapunov 関数の精度保証法による構成について
公開済 20/12/2020
2020 年度応用数学合同研究集会, zoom
会議発表プレゼンテーション
公開済 08/09/2020
日本応用数理学会 2020年度 年会, zoom
会議発表プレゼンテーション
Fixed-point theorems as tools of verified numerics on ODEs
公開済 19/07/2019
ICIAM 2019, スペイン
会議発表プレゼンテーション
Numerical verification methods for limit cycles in dynamical systems
公開済 16/03/2014
International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), 早稲田大学
会議発表プレゼンテーション
Numerical verification methods for limit cycles in dynamical systems
公開済 15/03/2014
The International Workshop on Numerical Verification and its Applications 2014, Waseda University, Tokyo, Japan
Poincar ́e map is a general tool to treat limit cycles in dynamical systems. In or- der to prove existence of a limit cycle by validated computation, Zgliczyn ́ski ver- ified existence of a fixed point of a Poincar ́e map using a fixed point theorem[5]. However it was not an easy work to specify ’first return time’ Ts, a time period between an initial point x0 on the Poincar ́e section Γ and x1 := φ(Ts, x0) ∈ Γ, where φ(t, x0) denotes a point on the trajectory from x0 at time t. Of course one have to verify that there is no point φ(t, x0) ∈ Γ for any t ∈ (0, Ts). Zgliczyn ́ski proposed a way to handle the situation and showed numerical examples to ap- peal effectiveness of his method.
Hereafter we propose another way in which one has not to construct a Poincar ́e map any longer.
会議発表プレゼンテーション
LyapunovTracing による常微分方程式の精度保証法について
公開済 10/09/2013
日本応用数理学会2013年度年会
会議発表プレゼンテーション
リミットサイクルの吸引域に含まれる領域の精度保証法による同定
公開済 21/09/2012
2012 年度日本数学会秋季総合分科会