Development of analyzing tools of dynamical systems based on verified numerics

基于验证数值的动力系统分析工具的开发

• 批准号: 18K03410
• 负责人: Yamamoto Nobito
• 金额: $ 2.83万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K03410/
• 关键词: 数値解析; 精度保証付き数値計算; 力学系; Lyapunov関数; ホモクリニック軌道; 非双曲型平衡点; 微分方程式; 複素力学系; 精度保証法; 精度保証; Lyapunov 関数; 精度保証付き数値計算法; 常微分方程式; 偏微分方程式

项目成果

非双曲型平衡点に対する局所Lyapunov関数の精度保証による構成

非双曲平衡点精度保证的局部Lyapunov函数的构造

• 发表时间: 2019
• 作者: 中村 正男 (電気通信大学);新田 光輝 (電気通信大学);山本 野人 (電気通信大学)
• 通讯作者: 山本 野人 (電気通信大学)

On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases

二维情况下围绕非双曲平衡构造局部李亚普诺夫函数的数值验证方法

• 发表时间: 2022
• 期刊: JSIAM Letters
• 影响因子: 0.4
• 作者: Koki Nitta;Toshiki Sasaki;Nobito Yamamoto
• 通讯作者: Nobito Yamamoto

双曲型平衡点近傍の局所Lyapunov関数を用いたホモクリニック軌道の精度保証

使用双曲平衡点附近的局部 Lyapunov 函数保证同宿轨迹的精度

• 发表时间: 2019
• 作者: 新田 光輝;山本 野人
• 通讯作者: 山本 野人

離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について

离散动力系统中非双曲不动点附近精度保证的李雅普诺夫函数的构造

• 发表时间: 2021
• 作者: 皆本 啓吾 (電気通信大学);新田 光輝 (電気通信大学);山本 野人 (電気通信大学)
• 通讯作者: 山本 野人 (電気通信大学)

非双曲型平衡点近傍でのLyapunov関数の数式処理・精度保証による構成

通过公式处理构造Lyapunov函数在非双曲平衡点附近并保证精度

• 发表时间: 2020
• 作者: 新田 光輝 (電気通信大学);笹木 俊希 (電気通信大学);山本 野人 (電気通信大学)
• 通讯作者: 山本 野人 (電気通信大学)