Studies on verified numerical computations for nonlinear hyperbolic partial differential equations
Studies on verified numerical computations for nonlinear hyperbolic partial differential equations
非线性双曲偏微分方程数值计算验证研究
批准号：
18K13453
负责人：
Akitoshi Takayasu
金额：
$2.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(91)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Rigorous numerics for nonlinear heat equations in the complex plane of time
复杂时间平面中非线性热方程的严格数值计算
复杂时间平面中非线性热方程的严格数值计算
DOI：
10.1007/s00211-022-01291-2
发表时间：
2022
期刊：
Numerische Mathematik
影响因子：
2.1
作者：
[Takayasu Akitoshi, Lessard Jean-Philippe, Jaquette Jonathan, Okamoto Hisashi]
通讯作者：
Okamoto Hisashi
フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算
傅里叶谱法保证延迟Duffing方程周期解精度数值计算
傅里叶谱法保证延迟Duffing方程周期解精度数值计算
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[市川葵, 高安亮紀]
通讯作者：
高安亮紀
A rigorous forward integration method for time-dependent PDEs
时间相关偏微分方程的严格前向积分方法
时间相关偏微分方程的严格前向积分方法
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Akitoshi Takayasu, Jean-Philippe Lessard]
通讯作者：
Jean-Philippe Lessard
Rigorous numerical computations for 1D advection equations with variable coefficients
具有变系数的一维平流方程的严格数值计算
具有变系数的一维平流方程的严格数值计算
DOI：
10.1007/s13160-019-00345-7
发表时间：
2019
期刊：
Japan Journal of Industrial and Applied Mathematics
影响因子：
0.9
作者：
[A. Takayasu, S. Yoon, and Y. Endo]
通讯作者：
and Y. Endo
Computer-assisted proofs for a nonlinear heat equation in the complex plane of time
复杂时间平面中非线性热方程的计算机辅助证明
复杂时间平面中非线性热方程的计算机辅助证明
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[松田拓也, 神田夏輝, 池田達彦, 松永隆佑, Akitoshi Takayasu]
通讯作者：
Akitoshi Takayasu
共 75 条