Computer-assisted proof for stationary solution existence of Navier-Stokes equation on 3D domain

3D域上Navier-Stokes方程平稳解存在性的计算机辅助证明

• 批准号: 18K03411
• 负责人: LIU Xuefeng
• 金额: $ 2.83万
• 依托单位: Niigata University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K03411/
• 关键词: 非線形偏微分方程式; 有限要素法; 精度保証付き数値計算; 誤差評価; 固有値問題; 非圧縮条件; Hypercircle; ナビエ・ストークス方程式; 計算機援用証明; 厳密計算ライブラリ; Hypercirle法; ナビエストークス方程式; Hypercircle法; 事前誤差評価; Stokes方程式

项目成果

微分作用素の固有関数の誤差評価と形状最適化への応用

微分算子本征函数的误差评估及其在形状优化中的应用

• 发表时间: 2021
• 作者: Joshi Ashish;Peters Robert;劉 雪峰
• 通讯作者: 劉 雪峰

非凸領域における境界値問題に対する局所誤差評価

非凸区域边值问题的局部误差评估

• 发表时间: 2021
• 作者: K. Miyoshi;A. Shiota;S. Kato;S. Yamamoto;K. Fujiwara;and Shijo Nishigori;中野 泰河
• 通讯作者: 中野 泰河

精度保証付き数値計算の基礎

保证精度的数值计算基础

• 发表时间: 2018
• 作者: 鈴木剛;渡邉真莉;魯楊帆;野原実;高木英典;片山尚幸;澤博;藤澤正美;金井輝人;石井順久;板谷治郎;溝川貴司;辛埴;岡﨑浩三;大石進一編著
• 通讯作者: 大石進一編著

Explicit Finite Element Error Estimates for Nonhomogeneous Neumann Problems

非齐次诺依曼问题的显式有限元误差估计

• DOI: 10.21136/am.2018.0095-18
• 发表时间: 2018
• 期刊: Applications of Mathematics
• 影响因子: 0.7
• 作者: Li Qin;Liu Xuefeng
• 通讯作者: Liu Xuefeng

Helmholtz方程式の非斉次Neumann境界値問題に対する定量的な事後誤差評価

亥姆霍兹方程非齐次诺伊曼边值问题的定量后验误差评估

• 发表时间: 2021
• 作者: Vahedi Javad;Peters Robert;Missaoui Ahmed;Honecker Andreas;Trambly de Laissardi?re Guy;薄葉季路;Usuba Toshimichi;Ken-Ichi Nakamura;薄葉季路;山本野人（電気通信大学） 新田光輝（電気通信大学）;中野 泰河,劉 雪峰
• 通讯作者: 中野 泰河,劉 雪峰